Log files for model zeroconf.1000-8-false and tool configuration prism_from-prism_import_ex
[13.623, 24.139, 13.272, 14.235, 13.619]
Log file: prism_from-prism_import_ex_zeroconf.1000-8-false_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 14.257 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:23:12 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.4962088/tmpv0nv81vuprism_from-prism_import_ex_zeroconf.1000-8-false_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962088/tmpv0nv81vuprism_from-prism_import_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... 516126 1016125 1500985 1870338 states
Reachable states exploration and model construction done in 11.258 secs.
Sorting reachable states list...
Time for model construction: 13.623 seconds.
Type: MDP
States: 1870338 (1 initial)
Transitions: 4245554
Choices: 3443961
Max/avg: 4/1.84
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_zeroconf.1000-8-false_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 26.602 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:50:12 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.4966877/tmpw7l102u0prism_from-prism_import_ex_zeroconf.1000-8-false_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966877/tmpw7l102u0prism_from-prism_import_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... 320072 622155 898917 1190721 1488434 1762778 1870338 states
Reachable states exploration and model construction done in 19.195 secs.
Sorting reachable states list...
Time for model construction: 24.139 seconds.
Type: MDP
States: 1870338 (1 initial)
Transitions: 4245554
Choices: 3443961
Max/avg: 4/1.84
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_zeroconf.1000-8-false_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 13.891 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:20:12 GMT+02:00 2026
Hostname: r23m0197.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4965382/tmpcxiwoeo6prism_from-prism_import_ex_zeroconf.1000-8-false_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965382/tmpcxiwoeo6prism_from-prism_import_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... 536828 1069527 1564396 1870338 states
Reachable states exploration and model construction done in 10.776 secs.
Sorting reachable states list...
Time for model construction: 13.272 seconds.
Type: MDP
States: 1870338 (1 initial)
Transitions: 4245554
Choices: 3443961
Max/avg: 4/1.84
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_zeroconf.1000-8-false_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 14.921 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:07:07 GMT+02:00 2026
Hostname: n23m0125.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964794/tmpwaymwzyyprism_from-prism_import_ex_zeroconf.1000-8-false_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964794/tmpwaymwzyyprism_from-prism_import_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... 452999 965832 1451625 1870338 states
Reachable states exploration and model construction done in 11.799 secs.
Sorting reachable states list...
Time for model construction: 14.235 seconds.
Type: MDP
States: 1870338 (1 initial)
Transitions: 4245554
Choices: 3443961
Max/avg: 4/1.84
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_zeroconf.1000-8-false_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 14.300 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:08:08 GMT+02:00 2026
Hostname: r23m0206.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964859/tmpp2spbuc_prism_from-prism_import_ex_zeroconf.1000-8-false_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964859/tmpp2spbuc_prism_from-prism_import_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... 523940 1025369 1506500 1870338 states
Reachable states exploration and model construction done in 11.211 secs.
Sorting reachable states list...
Time for model construction: 13.619 seconds.
Type: MDP
States: 1870338 (1 initial)
Transitions: 4245554
Choices: 3443961
Max/avg: 4/1.84
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g