Log files for model zeroconf.1000-8-false and tool configuration prism_from-prism_to-tra-xz_ex
[61.704, 55.318, 61.389, 84.517, 85.952]
Log file: prism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 75.856 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:29:14 GMT+02:00 2026
Hostname: n23m0107.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957334/tmpn2v9uyx_prism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957334/tmptz4hgf5hprism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957334/tmpn2v9uyx_prism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism"...
Type: MDP
Modules: environment host0
Actions: [] [reset] [time] [send] [rec]
Variables: b_ip7 b_ip6 b_ip5 b_ip4 b_ip3 b_ip2 b_ip1 b_ip0 n n0 n1 b z ip_mess x y coll probes mess defend ip l
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 533201 1046529 1530508 1870338 states
Reachable states exploration and model construction done in 10.964 secs.
Sorting reachable states list...
Time for model construction: 13.526 seconds.
Type: MDP
States: 1870338 (1 initial)
Transitions: 4245554
Choices: 3443961
Max/avg: 4/1.84
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957334/tmptz4hgf5hprism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp"...
Time for exporting: 61.704 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 6025384 bytes
Log file: prism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 68.580 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:16:28 GMT+02:00 2026
Hostname: n23m0057.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956802/tmpkxuzn7bmprism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956802/tmpllriaxsnprism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956802/tmpkxuzn7bmprism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism"...
Type: MDP
Modules: environment host0
Actions: [] [reset] [time] [send] [rec]
Variables: b_ip7 b_ip6 b_ip5 b_ip4 b_ip3 b_ip2 b_ip1 b_ip0 n n0 n1 b z ip_mess x y coll probes mess defend ip l
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 558663 1113449 1661352 1870338 states
Reachable states exploration and model construction done in 10.171 secs.
Sorting reachable states list...
Time for model construction: 12.683 seconds.
Type: MDP
States: 1870338 (1 initial)
Transitions: 4245554
Choices: 3443961
Max/avg: 4/1.84
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956802/tmpllriaxsnprism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp"...
Time for exporting: 55.318 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 6025384 bytes
Log file: prism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 75.431 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:06:29 GMT+02:00 2026
Hostname: n23m0314.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956441/tmpl87wiyk2prism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956441/tmpbu1m9t4oprism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956441/tmpl87wiyk2prism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism"...
Type: MDP
Modules: environment host0
Actions: [] [reset] [time] [send] [rec]
Variables: b_ip7 b_ip6 b_ip5 b_ip4 b_ip3 b_ip2 b_ip1 b_ip0 n n0 n1 b z ip_mess x y coll probes mess defend ip l
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 536757 1062763 1547254 1870338 states
Reachable states exploration and model construction done in 10.901 secs.
Sorting reachable states list...
Time for model construction: 13.376 seconds.
Type: MDP
States: 1870338 (1 initial)
Transitions: 4245554
Choices: 3443961
Max/avg: 4/1.84
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956441/tmpbu1m9t4oprism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp"...
Time for exporting: 61.389 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 6025384 bytes
Log file: prism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 100.123 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:07:41 GMT+02:00 2026
Hostname: n23m0049.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956475/tmpzdz_91rcprism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956475/tmpwvx75u68prism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956475/tmpzdz_91rcprism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism"...
Type: MDP
Modules: environment host0
Actions: [] [reset] [time] [send] [rec]
Variables: b_ip7 b_ip6 b_ip5 b_ip4 b_ip3 b_ip2 b_ip1 b_ip0 n n0 n1 b z ip_mess x y coll probes mess defend ip l
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 470547 923921 1391290 1813353 1870338 states
Reachable states exploration and model construction done in 12.418 secs.
Sorting reachable states list...
Time for model construction: 14.939 seconds.
Type: MDP
States: 1870338 (1 initial)
Transitions: 4245554
Choices: 3443961
Max/avg: 4/1.84
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956475/tmpwvx75u68prism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp"...
Time for exporting: 84.517 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 6025384 bytes
Log file: prism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 101.455 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:47:50 GMT+02:00 2026
Hostname: n23m0261.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955664/tmpckot8q0pprism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955664/tmpb40hwuirprism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955664/tmpckot8q0pprism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism"...
Type: MDP
Modules: environment host0
Actions: [] [reset] [time] [send] [rec]
Variables: b_ip7 b_ip6 b_ip5 b_ip4 b_ip3 b_ip2 b_ip1 b_ip0 n n0 n1 b z ip_mess x y coll probes mess defend ip l
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 474337 935133 1399583 1830455 1870338 states
Reachable states exploration and model construction done in 12.236 secs.
Sorting reachable states list...
Time for model construction: 14.823 seconds.
Type: MDP
States: 1870338 (1 initial)
Transitions: 4245554
Choices: 3443961
Max/avg: 4/1.84
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955664/tmpb40hwuirprism_from-prism_to-tra-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp"...
Time for exporting: 85.952 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 6025384 bytes