Log files for model nand.60-4 and tool configuration prism_from-prism_to-umb-xz_ex
[140.112, 128.61, 135.3, 132.191, 149.026]
Log file: prism_from-prism_to-umb-xz_ex_nand.60-4_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: 180.495 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:27:52 GMT+02:00 2026
Hostname: n23m0237.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4954859/tmpmlwdfz8bprism_from-prism_to-umb-xz_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954859/tmpb3c513p2prism_from-prism_to-umb-xz_ex_nand.60-4_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954859/tmpmlwdfz8bprism_from-prism_to-umb-xz_ex_nand.60-4_tmp_indir_/model.prism"...
Type: DTMC
Modules: multiplex
Actions: []
Variables: u c s z zx zy x y
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 1707952 3521004 5304335 7050785 8877098 10569608 12275523 13924826 15730846 17370385 18826082 states
Reachable states exploration and model construction done in 32.531 secs.
Sorting reachable states list...
Time for model construction: 38.212 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4954859/tmpb3c513p2prism_from-prism_to-umb-xz_ex_nand.60-4_tmp_outdir_/model.umbxz"...
Time for exporting: 140.112 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 18917264 bytes
Log file: prism_from-prism_to-umb-xz_ex_nand.60-4_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: 164.517 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:15:22 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.4956745/tmpe8uvtlqoprism_from-prism_to-umb-xz_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956745/tmpsqmulnxmprism_from-prism_to-umb-xz_ex_nand.60-4_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956745/tmpe8uvtlqoprism_from-prism_to-umb-xz_ex_nand.60-4_tmp_indir_/model.prism"...
Type: DTMC
Modules: multiplex
Actions: []
Variables: u c s z zx zy x y
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 1805032 3687077 5613573 7587757 9333485 11319740 12982092 14927112 16818089 18563040 18826082 states
Reachable states exploration and model construction done in 30.511 secs.
Sorting reachable states list...
Time for model construction: 35.272 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956745/tmpsqmulnxmprism_from-prism_to-umb-xz_ex_nand.60-4_tmp_outdir_/model.umbxz"...
Time for exporting: 128.61 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 18586372 bytes
Log file: prism_from-prism_to-umb-xz_ex_nand.60-4_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: 171.361 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:25:02 GMT+02:00 2026
Hostname: n23m0144.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957158/tmpsaoms25dprism_from-prism_to-umb-xz_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957158/tmprwjmkc2bprism_from-prism_to-umb-xz_ex_nand.60-4_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957158/tmpsaoms25dprism_from-prism_to-umb-xz_ex_nand.60-4_tmp_indir_/model.prism"...
Type: DTMC
Modules: multiplex
Actions: []
Variables: u c s z zx zy x y
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 1779154 3669109 5561458 7408474 9293963 11137231 12966390 14921873 16696361 18499832 18826082 states
Reachable states exploration and model construction done in 30.563 secs.
Sorting reachable states list...
Time for model construction: 35.44 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957158/tmprwjmkc2bprism_from-prism_to-umb-xz_ex_nand.60-4_tmp_outdir_/model.umbxz"...
Time for exporting: 135.3 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 18917264 bytes
Log file: prism_from-prism_to-umb-xz_ex_nand.60-4_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: 168.265 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:39:49 GMT+02:00 2026
Hostname: n23m0276.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955349/tmpl7wakop2prism_from-prism_to-umb-xz_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955349/tmpb2l1j1k9prism_from-prism_to-umb-xz_ex_nand.60-4_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955349/tmpl7wakop2prism_from-prism_to-umb-xz_ex_nand.60-4_tmp_indir_/model.prism"...
Type: DTMC
Modules: multiplex
Actions: []
Variables: u c s z zx zy x y
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 1801870 3687625 5553597 7524188 9247269 11164509 12938068 14852023 16734665 18491560 18826082 states
Reachable states exploration and model construction done in 30.84 secs.
Sorting reachable states list...
Time for model construction: 35.434 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955349/tmpb2l1j1k9prism_from-prism_to-umb-xz_ex_nand.60-4_tmp_outdir_/model.umbxz"...
Time for exporting: 132.191 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 18586372 bytes
Log file: prism_from-prism_to-umb-xz_ex_nand.60-4_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: 188.497 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:22:45 GMT+02:00 2026
Hostname: n23m0023.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957072/tmpwvq04bsdprism_from-prism_to-umb-xz_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957072/tmpg9fnef6cprism_from-prism_to-umb-xz_ex_nand.60-4_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957072/tmpwvq04bsdprism_from-prism_to-umb-xz_ex_nand.60-4_tmp_indir_/model.prism"...
Type: DTMC
Modules: multiplex
Actions: []
Variables: u c s z zx zy x y
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 1629209 3382935 5144660 6899049 8523304 10221798 11947288 13599409 15202905 16726603 18357735 18826082 states
Reachable states exploration and model construction done in 34.257 secs.
Sorting reachable states list...
Time for model construction: 38.498 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957072/tmpg9fnef6cprism_from-prism_to-umb-xz_ex_nand.60-4_tmp_outdir_/model.umbxz"...
Time for exporting: 149.026 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 18917264 bytes