Log files for model zeroconf.1000-8-false and tool configuration prism_from-prism_to-umb-gz_ex
[17163802.0, 17163786.0, 17163786.0, 17163786.0, 17163787.0]
Log file: prism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 14.895 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:50:40 GMT+02:00 2026
Hostname: r23m0215.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955780/tmpj_ry58d6prism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955780/tmpn10m221fprism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955780/tmpj_ry58d6prism_from-prism_to-umb-gz_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... 520931 1010524 1517716 1870338 states
Reachable states exploration and model construction done in 11.106 secs.
Sorting reachable states list...
Time for model construction: 13.534 seconds.
Type: MDP
States: 1870338 (1 initial)
Transitions: 4245554
Choices: 3443961
Max/avg: 4/1.84
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955780/tmpn10m221fprism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbgz"...
Time for exporting: 0.741 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 17163802 bytes
Log file: prism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 19.702 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:10:42 GMT+02:00 2026
Hostname: n23m0295.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956604/tmpjue2ye7rprism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956604/tmpbmu7ij97prism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956604/tmpjue2ye7rprism_from-prism_to-umb-gz_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... 460988 913375 1337128 1761710 1870338 states
Reachable states exploration and model construction done in 12.978 secs.
Sorting reachable states list...
Time for model construction: 15.925 seconds.
Type: MDP
States: 1870338 (1 initial)
Transitions: 4245554
Choices: 3443961
Max/avg: 4/1.84
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956604/tmpbmu7ij97prism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbgz"...
Time for exporting: 0.884 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 17163786 bytes
Log file: prism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 15.302 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:04:11 GMT+02:00 2026
Hostname: n23m0033.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956306/tmp55d178b5prism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956306/tmp_aisfq3mprism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956306/tmp55d178b5prism_from-prism_to-umb-gz_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... 499939 999418 1472519 1870338 states
Reachable states exploration and model construction done in 11.442 secs.
Sorting reachable states list...
Time for model construction: 13.874 seconds.
Type: MDP
States: 1870338 (1 initial)
Transitions: 4245554
Choices: 3443961
Max/avg: 4/1.84
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956306/tmp_aisfq3mprism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbgz"...
Time for exporting: 0.785 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 17163786 bytes
Log file: prism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 14.846 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:43:54 GMT+02:00 2026
Hostname: n23m0069.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957826/tmpsg50piurprism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957826/tmpx39ht96zprism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957826/tmpsg50piurprism_from-prism_to-umb-gz_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... 536774 1062822 1544831 1870338 states
Reachable states exploration and model construction done in 10.95 secs.
Sorting reachable states list...
Time for model construction: 13.459 seconds.
Type: MDP
States: 1870338 (1 initial)
Transitions: 4245554
Choices: 3443961
Max/avg: 4/1.84
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957826/tmpx39ht96zprism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbgz"...
Time for exporting: 0.783 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 17163786 bytes
Log file: prism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 16.758 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:53:02 GMT+02:00 2026
Hostname: n23m0050.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955886/tmpi3r9kmfsprism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955886/tmpx9ygb62oprism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955886/tmpi3r9kmfsprism_from-prism_to-umb-gz_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... 459426 900276 1349277 1776691 1870338 states
Reachable states exploration and model construction done in 12.567 secs.
Sorting reachable states list...
Time for model construction: 15.301 seconds.
Type: MDP
States: 1870338 (1 initial)
Transitions: 4245554
Choices: 3443961
Max/avg: 4/1.84
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955886/tmpx9ygb62oprism_from-prism_to-umb-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbgz"...
Time for exporting: 0.857 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 17163787 bytes