Log files for model zeroconf.1000-8-false and tool configuration prism_from-prism_to-tra_ex
[92284682.0, 92284682.0, 92284682.0, 92284682.0, 92284682.0]
Log file: prism_from-prism_to-tra_ex_zeroconf.1000-8-false_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 22.965 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:40:54 GMT+02:00 2026
Hostname: n23m0048.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957707/tmp7ojrjqe5prism_from-prism_to-tra_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957707/tmplym9won1prism_from-prism_to-tra_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957707/tmp7ojrjqe5prism_from-prism_to-tra_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... 472954 937022 1329315 1774594 1870338 states
Reachable states exploration and model construction done in 13.013 secs.
Sorting reachable states list...
Time for model construction: 15.566 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.4957707/tmplym9won1prism_from-prism_to-tra_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp"...
Time for exporting: 6.731 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 92284682 bytes
Log file: prism_from-prism_to-tra_ex_zeroconf.1000-8-false_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 22.887 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:24:29 GMT+02:00 2026
Hostname: n23m0357.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957149/tmprcb527fpprism_from-prism_to-tra_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957149/tmpe6hmxg60prism_from-prism_to-tra_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957149/tmprcb527fpprism_from-prism_to-tra_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... 460447 870182 1308407 1756295 1870338 states
Reachable states exploration and model construction done in 12.907 secs.
Sorting reachable states list...
Time for model construction: 15.388 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.4957149/tmpe6hmxg60prism_from-prism_to-tra_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp"...
Time for exporting: 6.735 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 92284682 bytes
Log file: prism_from-prism_to-tra_ex_zeroconf.1000-8-false_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 24.197 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:34:00 GMT+02:00 2026
Hostname: n23m0279.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957521/tmpq8a6s3prprism_from-prism_to-tra_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957521/tmpnnzwdbbnprism_from-prism_to-tra_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957521/tmpq8a6s3prprism_from-prism_to-tra_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... 393891 841382 1241910 1624356 1870338 states
Reachable states exploration and model construction done in 13.643 secs.
Sorting reachable states list...
Time for model construction: 16.566 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.4957521/tmpnnzwdbbnprism_from-prism_to-tra_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp"...
Time for exporting: 6.939 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 92284682 bytes
Log file: prism_from-prism_to-tra_ex_zeroconf.1000-8-false_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 23.189 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:01:53 GMT+02:00 2026
Hostname: r23m0209.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958486/tmpb7mimq8_prism_from-prism_to-tra_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958486/tmpmo4xi4s4prism_from-prism_to-tra_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958486/tmpb7mimq8_prism_from-prism_to-tra_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... 463272 912034 1362075 1747066 1870338 states
Reachable states exploration and model construction done in 12.89 secs.
Sorting reachable states list...
Time for model construction: 15.858 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.4958486/tmpmo4xi4s4prism_from-prism_to-tra_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp"...
Time for exporting: 6.644 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 92284682 bytes
Log file: prism_from-prism_to-tra_ex_zeroconf.1000-8-false_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 20.716 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:55:56 GMT+02:00 2026
Hostname: n23m0045.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955990/tmpa285k6yaprism_from-prism_to-tra_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955990/tmpucdr6b_5prism_from-prism_to-tra_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955990/tmpa285k6yaprism_from-prism_to-tra_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... 529489 1037692 1519509 1870338 states
Reachable states exploration and model construction done in 11.029 secs.
Sorting reachable states list...
Time for model construction: 13.335 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.4955990/tmpucdr6b_5prism_from-prism_to-tra_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp"...
Time for exporting: 6.7 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 92284682 bytes