Log files for model nand.60-4 and tool configuration prism_from-prism_to-tra_ex
[33.489, 37.62, 38.092, 34.511, 39.593]
Log file: prism_from-prism_to-tra_ex_nand.60-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: 69.757 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:00:41 GMT+02:00 2026
Hostname: n23m0303.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956184/tmpm4ef6j8cprism_from-prism_to-tra_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956184/tmp581zqapfprism_from-prism_to-tra_ex_nand.60-4_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956184/tmpm4ef6j8cprism_from-prism_to-tra_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... 1841393 3734876 5554933 7528738 9391307 11239466 13042441 14967582 16891641 18558916 18826082 states
Reachable states exploration and model construction done in 30.551 secs.
Sorting reachable states list...
Time for model construction: 35.527 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956184/tmp581zqapfprism_from-prism_to-tra_ex_nand.60-4_tmp_outdir_/model.pexp"...
Time for exporting: 33.489 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 710577829 bytes
Log file: prism_from-prism_to-tra_ex_nand.60-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: 75.879 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:45:33 GMT+02:00 2026
Hostname: r23m0216.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955574/tmppyd3n5m0prism_from-prism_to-tra_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955574/tmpgz8m34jdprism_from-prism_to-tra_ex_nand.60-4_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955574/tmppyd3n5m0prism_from-prism_to-tra_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... 1725996 3421990 5221034 6936074 8601643 10289568 12073774 13844329 15632272 17437840 18826082 states
Reachable states exploration and model construction done in 32.667 secs.
Sorting reachable states list...
Time for model construction: 37.491 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955574/tmpgz8m34jdprism_from-prism_to-tra_ex_nand.60-4_tmp_outdir_/model.pexp"...
Time for exporting: 37.62 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 710577829 bytes
Log file: prism_from-prism_to-tra_ex_nand.60-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: 74.044 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:17:04 GMT+02:00 2026
Hostname: r23m0217.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956836/tmp8p87cnd7prism_from-prism_to-tra_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956836/tmp67iv32swprism_from-prism_to-tra_ex_nand.60-4_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956836/tmp8p87cnd7prism_from-prism_to-tra_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... 1784061 3658612 5589632 7422800 9257834 11261967 13080276 14893077 16703438 18462423 18826082 states
Reachable states exploration and model construction done in 30.68 secs.
Sorting reachable states list...
Time for model construction: 35.301 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956836/tmp67iv32swprism_from-prism_to-tra_ex_nand.60-4_tmp_outdir_/model.pexp"...
Time for exporting: 38.092 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 710577829 bytes
Log file: prism_from-prism_to-tra_ex_nand.60-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: 73.230 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:02:25 GMT+02:00 2026
Hostname: r23m0216.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956241/tmpwn8o81whprism_from-prism_to-tra_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956241/tmpioytsy4pprism_from-prism_to-tra_ex_nand.60-4_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956241/tmpwn8o81whprism_from-prism_to-tra_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... 1615304 3403055 5112041 6812014 8483514 10259225 11965530 13637909 15342402 17134522 18826082 states
Reachable states exploration and model construction done in 33.032 secs.
Sorting reachable states list...
Time for model construction: 38.063 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956241/tmpioytsy4pprism_from-prism_to-tra_ex_nand.60-4_tmp_outdir_/model.pexp"...
Time for exporting: 34.511 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 710577829 bytes
Log file: prism_from-prism_to-tra_ex_nand.60-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: 78.197 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:01:15 GMT+02:00 2026
Hostname: n23m0303.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956201/tmp8s8gykpzprism_from-prism_to-tra_ex_nand.60-4_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956201/tmph1_rj7hjprism_from-prism_to-tra_ex_nand.60-4_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956201/tmp8s8gykpzprism_from-prism_to-tra_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... 1664262 3482160 5250190 7087751 8757381 10556541 12300603 14068537 15795129 17571639 18826082 states
Reachable states exploration and model construction done in 32.649 secs.
Sorting reachable states list...
Time for model construction: 37.88 seconds.
Type: DTMC
States: 18826082 (1 initial)
Transitions: 29772212
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956201/tmph1_rj7hjprism_from-prism_to-tra_ex_nand.60-4_tmp_outdir_/model.pexp"...
Time for exporting: 39.593 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 710577829 bytes