Log files for model herman.15 and tool configuration prism_from-prism_to-tra-gz_ex
[27.556, 31.244, 29.805, 30.092, 30.099]
Log file: prism_from-prism_to-tra-gz_ex_herman.15_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: 49.011 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:57:18 GMT+02:00 2026
Hostname: n23m0269.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958287/tmpjxphatq_prism_from-prism_to-tra-gz_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958287/tmp55syauq_prism_from-prism_to-tra-gz_ex_herman.15_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958287/tmpjxphatq_prism_from-prism_to-tra-gz_ex_herman.15_tmp_indir_/model.prism"...
Type: DTMC
Modules: process1 process2 process3 process4 process5 process6 process7 process8 process9 process10 process11 process12 process13 process14 process15
Actions: [step]
Variables: x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15
Labels: "stable"
Rewards: "steps"
Building model (engine:explicit)...
Computing reachable states... 1000 5917 14557 20436 28735 32320 32768 states
Reachable states exploration and model construction done in 20.305 secs.
Sorting reachable states list...
Time for model construction: 20.858 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958287/tmp55syauq_prism_from-prism_to-tra-gz_ex_herman.15_tmp_outdir_/model.pexp"...
Time for exporting: 27.556 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 41599977 bytes
Log file: prism_from-prism_to-tra-gz_ex_herman.15_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: 53.349 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:02:28 GMT+02:00 2026
Hostname: n23m0295.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958529/tmp4ykmr6s5prism_from-prism_to-tra-gz_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958529/tmpn9v4ik23prism_from-prism_to-tra-gz_ex_herman.15_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958529/tmp4ykmr6s5prism_from-prism_to-tra-gz_ex_herman.15_tmp_indir_/model.prism"...
Type: DTMC
Modules: process1 process2 process3 process4 process5 process6 process7 process8 process9 process10 process11 process12 process13 process14 process15
Actions: [step]
Variables: x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15
Labels: "stable"
Rewards: "steps"
Building model (engine:explicit)...
Computing reachable states... 913 4223 13186 18369 27709 31776 32768 states
Reachable states exploration and model construction done in 21.012 secs.
Sorting reachable states list...
Time for model construction: 21.493 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958529/tmpn9v4ik23prism_from-prism_to-tra-gz_ex_herman.15_tmp_outdir_/model.pexp"...
Time for exporting: 31.244 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 41599977 bytes
Log file: prism_from-prism_to-tra-gz_ex_herman.15_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: 54.415 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:39:16 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.4955317/tmp0nde2k3wprism_from-prism_to-tra-gz_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955317/tmpkynkfiy4prism_from-prism_to-tra-gz_ex_herman.15_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955317/tmp0nde2k3wprism_from-prism_to-tra-gz_ex_herman.15_tmp_indir_/model.prism"...
Type: DTMC
Modules: process1 process2 process3 process4 process5 process6 process7 process8 process9 process10 process11 process12 process13 process14 process15
Actions: [step]
Variables: x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15
Labels: "stable"
Rewards: "steps"
Building model (engine:explicit)...
Computing reachable states... 765 3981 8961 16392 24589 29218 32326 32768 states
Reachable states exploration and model construction done in 23.345 secs.
Sorting reachable states list...
Time for model construction: 23.967 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955317/tmpkynkfiy4prism_from-prism_to-tra-gz_ex_herman.15_tmp_outdir_/model.pexp"...
Time for exporting: 29.805 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 41599977 bytes
Log file: prism_from-prism_to-tra-gz_ex_herman.15_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: 53.025 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:37:45 GMT+02:00 2026
Hostname: r23m0206.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957609/tmpt7beoykcprism_from-prism_to-tra-gz_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957609/tmpxfca_bhaprism_from-prism_to-tra-gz_ex_herman.15_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957609/tmpt7beoykcprism_from-prism_to-tra-gz_ex_herman.15_tmp_indir_/model.prism"...
Type: DTMC
Modules: process1 process2 process3 process4 process5 process6 process7 process8 process9 process10 process11 process12 process13 process14 process15
Actions: [step]
Variables: x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15
Labels: "stable"
Rewards: "steps"
Building model (engine:explicit)...
Computing reachable states... 897 4101 12513 17536 26560 31504 32768 states
Reachable states exploration and model construction done in 21.791 secs.
Sorting reachable states list...
Time for model construction: 22.301 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957609/tmpxfca_bhaprism_from-prism_to-tra-gz_ex_herman.15_tmp_outdir_/model.pexp"...
Time for exporting: 30.092 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 41599977 bytes
Log file: prism_from-prism_to-tra-gz_ex_herman.15_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: 54.287 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:43:15 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.4955493/tmphi4b1ebdprism_from-prism_to-tra-gz_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955493/tmp5jhrreq0prism_from-prism_to-tra-gz_ex_herman.15_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955493/tmphi4b1ebdprism_from-prism_to-tra-gz_ex_herman.15_tmp_indir_/model.prism"...
Type: DTMC
Modules: process1 process2 process3 process4 process5 process6 process7 process8 process9 process10 process11 process12 process13 process14 process15
Actions: [step]
Variables: x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15
Labels: "stable"
Rewards: "steps"
Building model (engine:explicit)...
Computing reachable states... 769 4033 9233 16433 24640 29712 32514 32768 states
Reachable states exploration and model construction done in 22.956 secs.
Sorting reachable states list...
Time for model construction: 23.537 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955493/tmp5jhrreq0prism_from-prism_to-tra-gz_ex_herman.15_tmp_outdir_/model.pexp"...
Time for exporting: 30.099 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 41599977 bytes