Log files for model zeroconf.1000-8-false and tool configuration prism_from-prism_to-umb-xz_ex
[31.703, 26.868, 28.991, 31.909, 29.153]
Log file: prism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 48.866 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:52:10 GMT+02:00 2026
Hostname: n23m0303.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958091/tmprxt5vyf_prism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958091/tmp8p__yzxwprism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958091/tmprxt5vyf_prism_from-prism_to-umb-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... 408374 813115 1258060 1636253 1870338 states
Reachable states exploration and model construction done in 13.604 secs.
Sorting reachable states list...
Time for model construction: 16.513 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.4958091/tmp8p__yzxwprism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbxz"...
Time for exporting: 31.703 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 4420224 bytes
Log file: prism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 40.314 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:47:55 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.4957936/tmpsvo6xw1pprism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957936/tmp9cnyt94hprism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957936/tmpsvo6xw1pprism_from-prism_to-umb-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... 542826 1099226 1614079 1870338 states
Reachable states exploration and model construction done in 10.417 secs.
Sorting reachable states list...
Time for model construction: 12.875 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.4957936/tmp9cnyt94hprism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbxz"...
Time for exporting: 26.868 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 4413236 bytes
Log file: prism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 43.340 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:01:16 GMT+02:00 2026
Hostname: r23m0217.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956199/tmpit9d9n8_prism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956199/tmpd7cy47mqprism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956199/tmpit9d9n8_prism_from-prism_to-umb-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... 511731 1008320 1493476 1870338 states
Reachable states exploration and model construction done in 11.364 secs.
Sorting reachable states list...
Time for model construction: 13.761 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.4956199/tmpd7cy47mqprism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbxz"...
Time for exporting: 28.991 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 4411832 bytes
Log file: prism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 49.000 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:04:27 GMT+02:00 2026
Hostname: n23m0265.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958541/tmp1zl8bhfgprism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958541/tmptq4y91bwprism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958541/tmp1zl8bhfgprism_from-prism_to-umb-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... 436584 830067 1258525 1653382 1870338 states
Reachable states exploration and model construction done in 13.659 secs.
Sorting reachable states list...
Time for model construction: 16.403 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.4958541/tmptq4y91bwprism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbxz"...
Time for exporting: 31.909 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 4414604 bytes
Log file: prism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 43.348 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:29:14 GMT+02:00 2026
Hostname: n23m0248.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957346/tmp0ujbbsucprism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957346/tmp2xglrimfprism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957346/tmp0ujbbsucprism_from-prism_to-umb-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... 514478 1023329 1517145 1870338 states
Reachable states exploration and model construction done in 11.093 secs.
Sorting reachable states list...
Time for model construction: 13.593 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.4957346/tmp2xglrimfprism_from-prism_to-umb-xz_ex_zeroconf.1000-8-false_tmp_outdir_/model.umbxz"...
Time for exporting: 29.153 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 4414268 bytes