Log files for model nand.40-4 and tool configuration prism_from-prism_to-tra_ex
[139718426.0, 139718426.0, 139718426.0, 139718426.0, 139718426.0]
Log file: prism_from-prism_to-tra_ex_nand.40-4_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 15.500 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:49:34 GMT+02:00 2026
Hostname: n23m0046.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955743/tmpc0c0ti3lprism_from-prism_to-tra_ex_nand.40-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955743/tmpqh2vkxphprism_from-prism_to-tra_ex_nand.40-4_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955743/tmpc0c0ti3lprism_from-prism_to-tra_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... 1865410 3834525 3999522 states
Reachable states exploration and model construction done in 6.237 secs.
Sorting reachable states list...
Time for model construction: 7.479 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955743/tmpqh2vkxphprism_from-prism_to-tra_ex_nand.40-4_tmp_outdir_/model.pexp"...
Time for exporting: 7.417 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 139718426 bytes
Log file: prism_from-prism_to-tra_ex_nand.40-4_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 15.646 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:05:55 GMT+02:00 2026
Hostname: n23m0033.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956398/tmp4q99xjx5prism_from-prism_to-tra_ex_nand.40-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956398/tmpq5wdswpoprism_from-prism_to-tra_ex_nand.40-4_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956398/tmp4q99xjx5prism_from-prism_to-tra_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... 1882246 3803666 3999522 states
Reachable states exploration and model construction done in 6.273 secs.
Sorting reachable states list...
Time for model construction: 7.506 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956398/tmpq5wdswpoprism_from-prism_to-tra_ex_nand.40-4_tmp_outdir_/model.pexp"...
Time for exporting: 7.475 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 139718426 bytes
Log file: prism_from-prism_to-tra_ex_nand.40-4_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 17.092 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:05:55 GMT+02:00 2026
Hostname: n23m0310.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956404/tmp9rlgruwhprism_from-prism_to-tra_ex_nand.40-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956404/tmpy72l1b55prism_from-prism_to-tra_ex_nand.40-4_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956404/tmp9rlgruwhprism_from-prism_to-tra_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... 1669187 3621808 3999522 states
Reachable states exploration and model construction done in 6.831 secs.
Sorting reachable states list...
Time for model construction: 8.1 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956404/tmpy72l1b55prism_from-prism_to-tra_ex_nand.40-4_tmp_outdir_/model.pexp"...
Time for exporting: 8.376 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 139718426 bytes
Log file: prism_from-prism_to-tra_ex_nand.40-4_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 16.872 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:55:36 GMT+02:00 2026
Hostname: n23m0307.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958233/tmp01f4qunqprism_from-prism_to-tra_ex_nand.40-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958233/tmp6xfpwr07prism_from-prism_to-tra_ex_nand.40-4_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958233/tmp01f4qunqprism_from-prism_to-tra_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... 1776299 3585619 3999522 states
Reachable states exploration and model construction done in 6.613 secs.
Sorting reachable states list...
Time for model construction: 7.886 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958233/tmp6xfpwr07prism_from-prism_to-tra_ex_nand.40-4_tmp_outdir_/model.pexp"...
Time for exporting: 8.357 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 139718426 bytes
Log file: prism_from-prism_to-tra_ex_nand.40-4_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 16.892 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:38:21 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.4957634/tmp4x62vdf7prism_from-prism_to-tra_ex_nand.40-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957634/tmpqfyd6n1sprism_from-prism_to-tra_ex_nand.40-4_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957634/tmp4x62vdf7prism_from-prism_to-tra_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... 1705220 3551558 3999522 states
Reachable states exploration and model construction done in 6.806 secs.
Sorting reachable states list...
Time for model construction: 8.025 seconds.
Type: DTMC
States: 3999522 (1 initial)
Transitions: 6288542
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957634/tmpqfyd6n1sprism_from-prism_to-tra_ex_nand.40-4_tmp_outdir_/model.pexp"...
Time for exporting: 8.228 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 139718426 bytes