Log files for model nand.40-4 and tool configuration prism_from-prism_to-tra-gz_ex
[27752331.0, 27752331.0, 27752331.0, 27752331.0, 27752331.0]
Log file: prism_from-prism_to-tra-gz_ex_nand.40-4_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: 19.680 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:50:27 GMT+02:00 2026
Hostname: n23m0042.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958013/tmpj_pgl0j7prism_from-prism_to-tra-gz_ex_nand.40-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958013/tmpvt0p74m7prism_from-prism_to-tra-gz_ex_nand.40-4_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958013/tmpj_pgl0j7prism_from-prism_to-tra-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... 1997744 3999522 states
Reachable states exploration and model construction done in 5.974 secs.
Sorting reachable states list...
Time for model construction: 7.11 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958013/tmpvt0p74m7prism_from-prism_to-tra-gz_ex_nand.40-4_tmp_outdir_/model.pexp"...
Time for exporting: 11.98 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 27752331 bytes
Log file: prism_from-prism_to-tra-gz_ex_nand.40-4_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: 21.522 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:30:06 GMT+02:00 2026
Hostname: r23m0212.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4954944/tmpuzgbxjxlprism_from-prism_to-tra-gz_ex_nand.40-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954944/tmpu3pyxdc6prism_from-prism_to-tra-gz_ex_nand.40-4_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954944/tmpuzgbxjxlprism_from-prism_to-tra-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... 1825499 3710458 3999522 states
Reachable states exploration and model construction done in 6.413 secs.
Sorting reachable states list...
Time for model construction: 7.6 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4954944/tmpu3pyxdc6prism_from-prism_to-tra-gz_ex_nand.40-4_tmp_outdir_/model.pexp"...
Time for exporting: 13.258 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 27752331 bytes
Log file: prism_from-prism_to-tra-gz_ex_nand.40-4_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: 20.109 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:58:26 GMT+02:00 2026
Hostname: n23m0060.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958329/tmpd83tywk4prism_from-prism_to-tra-gz_ex_nand.40-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958329/tmp83dqsr5bprism_from-prism_to-tra-gz_ex_nand.40-4_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958329/tmpd83tywk4prism_from-prism_to-tra-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... 1864649 3796460 3999522 states
Reachable states exploration and model construction done in 6.301 secs.
Sorting reachable states list...
Time for model construction: 7.54 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958329/tmp83dqsr5bprism_from-prism_to-tra-gz_ex_nand.40-4_tmp_outdir_/model.pexp"...
Time for exporting: 11.962 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 27752331 bytes
Log file: prism_from-prism_to-tra-gz_ex_nand.40-4_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: 19.957 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:33:24 GMT+02:00 2026
Hostname: n23m0301.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957505/tmp6hoan9dtprism_from-prism_to-tra-gz_ex_nand.40-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957505/tmp6e8imtb4prism_from-prism_to-tra-gz_ex_nand.40-4_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957505/tmp6hoan9dtprism_from-prism_to-tra-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... 1913440 3866302 3999522 states
Reachable states exploration and model construction done in 6.342 secs.
Sorting reachable states list...
Time for model construction: 7.393 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957505/tmp6e8imtb4prism_from-prism_to-tra-gz_ex_nand.40-4_tmp_outdir_/model.pexp"...
Time for exporting: 11.956 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 27752331 bytes
Log file: prism_from-prism_to-tra-gz_ex_nand.40-4_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: 20.159 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:08:16 GMT+02:00 2026
Hostname: n23m0314.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956505/tmpcr9vkjoxprism_from-prism_to-tra-gz_ex_nand.40-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956505/tmp4jaqf9t8prism_from-prism_to-tra-gz_ex_nand.40-4_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956505/tmpcr9vkjoxprism_from-prism_to-tra-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... 1903536 3854866 3999522 states
Reachable states exploration and model construction done in 6.201 secs.
Sorting reachable states list...
Time for model construction: 7.449 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956505/tmp4jaqf9t8prism_from-prism_to-tra-gz_ex_nand.40-4_tmp_outdir_/model.pexp"...
Time for exporting: 12.087 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 27752331 bytes