Log files for model nand.60-4 and tool configuration prism_from-prism_to-tra-gz_ex
[133905217.0, 133905217.0, 133905217.0, 133905217.0, 133905217.0]
Log file: prism_from-prism_to-tra-gz_ex_nand.60-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: 96.462 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:57:18 GMT+02:00 2026
Hostname: n23m0120.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958284/tmp1sf6domgprism_from-prism_to-tra-gz_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958284/tmpdtp7pvfdprism_from-prism_to-tra-gz_ex_nand.60-4_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958284/tmp1sf6domgprism_from-prism_to-tra-gz_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... 1732855 3564030 5474924 7302053 9155762 10993421 12737937 14702046 16516928 18264555 18826082 states
Reachable states exploration and model construction done in 31.049 secs.
Sorting reachable states list...
Time for model construction: 36.543 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958284/tmpdtp7pvfdprism_from-prism_to-tra-gz_ex_nand.60-4_tmp_outdir_/model.pexp"...
Time for exporting: 59.25 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 133905217 bytes
Log file: prism_from-prism_to-tra-gz_ex_nand.60-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: 98.446 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:04:10 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.4956317/tmpveqsrbfaprism_from-prism_to-tra-gz_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956317/tmpvdlaiyxwprism_from-prism_to-tra-gz_ex_nand.60-4_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956317/tmpveqsrbfaprism_from-prism_to-tra-gz_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... 1678523 3429799 5229582 7072013 8777297 10588948 12267289 14009946 15633140 17412146 18826082 states
Reachable states exploration and model construction done in 32.734 secs.
Sorting reachable states list...
Time for model construction: 38.003 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956317/tmpvdlaiyxwprism_from-prism_to-tra-gz_ex_nand.60-4_tmp_outdir_/model.pexp"...
Time for exporting: 59.787 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 133905217 bytes
Log file: prism_from-prism_to-tra-gz_ex_nand.60-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: 97.870 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:30:09 GMT+02:00 2026
Hostname: n23m0043.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4954960/tmp7sj5usr7prism_from-prism_to-tra-gz_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954960/tmp8o3q9qmwprism_from-prism_to-tra-gz_ex_nand.60-4_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954960/tmp7sj5usr7prism_from-prism_to-tra-gz_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... 1748444 3599992 5510548 7330812 9186992 11009756 12808351 14756634 16501864 18222717 18826082 states
Reachable states exploration and model construction done in 31.326 secs.
Sorting reachable states list...
Time for model construction: 35.013 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4954960/tmp8o3q9qmwprism_from-prism_to-tra-gz_ex_nand.60-4_tmp_outdir_/model.pexp"...
Time for exporting: 59.27 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 133905217 bytes
Log file: prism_from-prism_to-tra-gz_ex_nand.60-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: 91.494 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:19:54 GMT+02:00 2026
Hostname: n23m0045.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956953/tmp1irhikerprism_from-prism_to-tra-gz_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956953/tmpuposqhe0prism_from-prism_to-tra-gz_ex_nand.60-4_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956953/tmp1irhikerprism_from-prism_to-tra-gz_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... 1791977 3677819 5605827 7449256 9201042 11201895 12999109 14943705 16835273 18581582 18826082 states
Reachable states exploration and model construction done in 30.547 secs.
Sorting reachable states list...
Time for model construction: 35.358 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956953/tmpuposqhe0prism_from-prism_to-tra-gz_ex_nand.60-4_tmp_outdir_/model.pexp"...
Time for exporting: 55.456 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 133905217 bytes
Log file: prism_from-prism_to-tra-gz_ex_nand.60-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: 95.591 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:20:28 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.4956984/tmp0hrks3aoprism_from-prism_to-tra-gz_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956984/tmp7vq9uqlxprism_from-prism_to-tra-gz_ex_nand.60-4_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956984/tmp0hrks3aoprism_from-prism_to-tra-gz_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... 1782839 3635941 5559983 7378250 9055998 11042985 12796326 14584850 16359203 18148622 18826082 states
Reachable states exploration and model construction done in 31.021 secs.
Sorting reachable states list...
Time for model construction: 35.918 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956984/tmp7vq9uqlxprism_from-prism_to-tra-gz_ex_nand.60-4_tmp_outdir_/model.pexp"...
Time for exporting: 59.046 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 133905217 bytes