Log files for model nand.40-4 and tool configuration prism_from-prism_to-umb-gz_ex
[15988251.0, 15988251.0, 15988251.0, 15988252.0, 15988252.0]
Log file: prism_from-prism_to-umb-gz_ex_nand.40-4_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: 8.766 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:16:29 GMT+02:00 2026
Hostname: n23m0279.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956794/tmp2bq20joxprism_from-prism_to-umb-gz_ex_nand.40-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956794/tmp0a0a46m9prism_from-prism_to-umb-gz_ex_nand.40-4_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956794/tmp2bq20joxprism_from-prism_to-umb-gz_ex_nand.40-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... 1895667 3864045 3999522 states
Reachable states exploration and model construction done in 6.207 secs.
Sorting reachable states list...
Time for model construction: 7.441 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956794/tmp0a0a46m9prism_from-prism_to-umb-gz_ex_nand.40-4_tmp_outdir_/model.umbgz"...
Time for exporting: 0.739 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 15988251 bytes
Log file: prism_from-prism_to-umb-gz_ex_nand.40-4_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: 9.082 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:42:44 GMT+02:00 2026
Hostname: n23m0113.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957772/tmp8h3z4rzzprism_from-prism_to-umb-gz_ex_nand.40-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957772/tmp6ivazkp_prism_from-prism_to-umb-gz_ex_nand.40-4_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957772/tmp8h3z4rzzprism_from-prism_to-umb-gz_ex_nand.40-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... 1820549 3739522 3999522 states
Reachable states exploration and model construction done in 6.564 secs.
Sorting reachable states list...
Time for model construction: 7.729 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957772/tmp6ivazkp_prism_from-prism_to-umb-gz_ex_nand.40-4_tmp_outdir_/model.umbgz"...
Time for exporting: 0.752 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 15988251 bytes
Log file: prism_from-prism_to-umb-gz_ex_nand.40-4_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: 9.505 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:23:54 GMT+02:00 2026
Hostname: n23m0056.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957108/tmpk63s193cprism_from-prism_to-umb-gz_ex_nand.40-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957108/tmpnno6eb0jprism_from-prism_to-umb-gz_ex_nand.40-4_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957108/tmpk63s193cprism_from-prism_to-umb-gz_ex_nand.40-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... 1726475 3502101 3999522 states
Reachable states exploration and model construction done in 6.868 secs.
Sorting reachable states list...
Time for model construction: 8.027 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957108/tmpnno6eb0jprism_from-prism_to-umb-gz_ex_nand.40-4_tmp_outdir_/model.umbgz"...
Time for exporting: 0.742 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 15988251 bytes
Log file: prism_from-prism_to-umb-gz_ex_nand.40-4_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: 12.737 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:49:02 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.4955716/tmppkrh36xwprism_from-prism_to-umb-gz_ex_nand.40-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955716/tmpjl0ueornprism_from-prism_to-umb-gz_ex_nand.40-4_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955716/tmppkrh36xwprism_from-prism_to-umb-gz_ex_nand.40-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... 1727438 3473514 3999522 states
Reachable states exploration and model construction done in 6.9 secs.
Sorting reachable states list...
Time for model construction: 8.335 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955716/tmpjl0ueornprism_from-prism_to-umb-gz_ex_nand.40-4_tmp_outdir_/model.umbgz"...
Time for exporting: 0.876 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 15988252 bytes
Log file: prism_from-prism_to-umb-gz_ex_nand.40-4_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: 9.180 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:41:34 GMT+02:00 2026
Hostname: n23m0254.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955423/tmpaiw8xm83prism_from-prism_to-umb-gz_ex_nand.40-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955423/tmp97qdmqagprism_from-prism_to-umb-gz_ex_nand.40-4_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955423/tmpaiw8xm83prism_from-prism_to-umb-gz_ex_nand.40-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... 1751939 3600184 3999522 states
Reachable states exploration and model construction done in 6.662 secs.
Sorting reachable states list...
Time for model construction: 7.772 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955423/tmp97qdmqagprism_from-prism_to-umb-gz_ex_nand.40-4_tmp_outdir_/model.umbgz"...
Time for exporting: 0.74 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 15988252 bytes