Log files for model nand.60-4 and tool configuration prism_from-prism_to-tra-xz_ex
[36994628.0, 36994628.0, 36994628.0, 36994628.0, 36994628.0]
Log file: prism_from-prism_to-tra-xz_ex_nand.60-4_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 503.906 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:50: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.4957998/tmpq3rj_mfuprism_from-prism_to-tra-xz_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957998/tmp5vhohzfqprism_from-prism_to-tra-xz_ex_nand.60-4_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957998/tmpq3rj_mfuprism_from-prism_to-tra-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... 1677896 3524982 5301289 7007350 8732570 10515042 12303188 14094783 15755042 17554067 18826082 states
Reachable states exploration and model construction done in 32.683 secs.
Sorting reachable states list...
Time for model construction: 37.076 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957998/tmp5vhohzfqprism_from-prism_to-tra-xz_ex_nand.60-4_tmp_outdir_/model.pexp"...
Time for exporting: 466.007 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 36994628 bytes
Log file: prism_from-prism_to-tra-xz_ex_nand.60-4_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 404.236 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:54:11 GMT+02:00 2026
Hostname: r23m0219.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955918/tmpludatws5prism_from-prism_to-tra-xz_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955918/tmpbovy72fuprism_from-prism_to-tra-xz_ex_nand.60-4_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955918/tmpludatws5prism_from-prism_to-tra-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... 1755326 3647026 5564507 7420632 9145478 11140782 12962439 14756252 16612447 18390165 18826082 states
Reachable states exploration and model construction done in 30.641 secs.
Sorting reachable states list...
Time for model construction: 35.393 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955918/tmpbovy72fuprism_from-prism_to-tra-xz_ex_nand.60-4_tmp_outdir_/model.pexp"...
Time for exporting: 368.203 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 36994628 bytes
Log file: prism_from-prism_to-tra-xz_ex_nand.60-4_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 405.534 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:30:42 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.4954978/tmp4mor2mitprism_from-prism_to-tra-xz_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954978/tmpi4ci7qlzprism_from-prism_to-tra-xz_ex_nand.60-4_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954978/tmp4mor2mitprism_from-prism_to-tra-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... 1785585 3658378 5602697 7457772 9284467 11273732 13062221 14900900 16731353 18465584 18826082 states
Reachable states exploration and model construction done in 30.778 secs.
Sorting reachable states list...
Time for model construction: 34.901 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4954978/tmpi4ci7qlzprism_from-prism_to-tra-xz_ex_nand.60-4_tmp_outdir_/model.pexp"...
Time for exporting: 368.591 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 36994628 bytes
Log file: prism_from-prism_to-tra-xz_ex_nand.60-4_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 501.686 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:10:40 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.4956588/tmp_5lo_ukeprism_from-prism_to-tra-xz_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956588/tmpxkr0rue9prism_from-prism_to-tra-xz_ex_nand.60-4_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956588/tmp_5lo_ukeprism_from-prism_to-tra-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... 1714655 3506404 5267577 6954601 8742002 10439267 12068419 13796563 15483919 17216054 18761641 18826082 states
Reachable states exploration and model construction done in 33.168 secs.
Sorting reachable states list...
Time for model construction: 39.404 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956588/tmpxkr0rue9prism_from-prism_to-tra-xz_ex_nand.60-4_tmp_outdir_/model.pexp"...
Time for exporting: 461.599 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 36994628 bytes
Log file: prism_from-prism_to-tra-xz_ex_nand.60-4_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 497.559 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:42:41 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.4955465/tmps4dsu91uprism_from-prism_to-tra-xz_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955465/tmpnk5h7yafprism_from-prism_to-tra-xz_ex_nand.60-4_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955465/tmps4dsu91uprism_from-prism_to-tra-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... 1720796 3596244 5412426 7129458 8822671 10621959 12364070 14038288 15816467 17533677 18826082 states
Reachable states exploration and model construction done in 32.689 secs.
Sorting reachable states list...
Time for model construction: 37.879 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955465/tmpnk5h7yafprism_from-prism_to-tra-xz_ex_nand.60-4_tmp_outdir_/model.pexp"...
Time for exporting: 459.019 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 36994628 bytes