Log files for model zeroconf.1000-8-false and tool configuration prism_from-prism_to-tra-gz_ex
[10.179, 10.006, 10.785, 10.839, 9.731]
Log file: prism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 29.345 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:08:53 GMT+02:00 2026
Hostname: n23m0336.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956536/tmpy_u63osjprism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956536/tmphjk6i9qxprism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956536/tmpy_u63osjprism_from-prism_to-tra-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... 417118 878371 1251477 1656834 1870338 states
Reachable states exploration and model construction done in 13.569 secs.
Sorting reachable states list...
Time for model construction: 16.588 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.4956536/tmphjk6i9qxprism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp"...
Time for exporting: 10.179 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 20501952 bytes
Log file: prism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 24.220 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:04:26 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.4958542/tmp3u0icyidprism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958542/tmpjat9w4xiprism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958542/tmp3u0icyidprism_from-prism_to-tra-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... 531556 1054044 1535518 1870338 states
Reachable states exploration and model construction done in 10.99 secs.
Sorting reachable states list...
Time for model construction: 13.575 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.4958542/tmpjat9w4xiprism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp"...
Time for exporting: 10.006 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 20501952 bytes
Log file: prism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 24.638 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:04:11 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.4956324/tmp8700cbb2prism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956324/tmpr9164powprism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956324/tmp8700cbb2prism_from-prism_to-tra-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... 536755 1063241 1546473 1870338 states
Reachable states exploration and model construction done in 10.919 secs.
Sorting reachable states list...
Time for model construction: 13.235 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.4956324/tmpr9164powprism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp"...
Time for exporting: 10.785 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 20501952 bytes
Log file: prism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 26.602 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:51:34 GMT+02:00 2026
Hostname: n23m0047.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958060/tmpltq6_zu3prism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958060/tmp6288brn0prism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958060/tmpltq6_zu3prism_from-prism_to-tra-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... 455897 919205 1363353 1806449 1870338 states
Reachable states exploration and model construction done in 12.587 secs.
Sorting reachable states list...
Time for model construction: 15.058 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.4958060/tmp6288brn0prism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp"...
Time for exporting: 10.839 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 20501952 bytes
Log file: prism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 25.079 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:58:19 GMT+02:00 2026
Hostname: n23m0134.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956080/tmpaehjrfuxprism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956080/tmp2gpf76w8prism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956080/tmpaehjrfuxprism_from-prism_to-tra-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... 451437 915519 1413447 1864759 1870338 states
Reachable states exploration and model construction done in 12.04 secs.
Sorting reachable states list...
Time for model construction: 14.728 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.4956080/tmp2gpf76w8prism_from-prism_to-tra-gz_ex_zeroconf.1000-8-false_tmp_outdir_/model.pexp"...
Time for exporting: 9.731 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 20501952 bytes