Log files for model herman.15 and tool configuration prism_from-prism_to-umb_ex
[0.293, 0.294, 0.292, 0.301, 0.303]
Log file: prism_from-prism_to-umb_ex_herman.15_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 23.109 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:30:25 GMT+02:00 2026
Hostname: n23m0056.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957389/tmpsx8s93tgprism_from-prism_to-umb_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957389/tmpd_bfz2ivprism_from-prism_to-umb_ex_herman.15_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957389/tmpsx8s93tgprism_from-prism_to-umb_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... 901 4144 12493 17892 26612 31664 32768 states
Reachable states exploration and model construction done in 21.69 secs.
Sorting reachable states list...
Time for model construction: 22.231 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957389/tmpd_bfz2ivprism_from-prism_to-umb_ex_herman.15_tmp_outdir_/model.umb"...
Time for exporting: 0.293 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 230123520 bytes
Log file: prism_from-prism_to-umb_ex_herman.15_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 25.328 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:34:07 GMT+02:00 2026
Hostname: n23m0276.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955118/tmpk6bvku78prism_from-prism_to-umb_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955118/tmpmwdydup2prism_from-prism_to-umb_ex_herman.15_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955118/tmpk6bvku78prism_from-prism_to-umb_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... 513 3841 8193 16313 23729 28752 32144 32768 states
Reachable states exploration and model construction done in 23.766 secs.
Sorting reachable states list...
Time for model construction: 24.443 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955118/tmpmwdydup2prism_from-prism_to-umb_ex_herman.15_tmp_outdir_/model.umb"...
Time for exporting: 0.294 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 230123520 bytes
Log file: prism_from-prism_to-umb_ex_herman.15_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 24.515 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:14:47 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.4956715/tmplr5gxk8pprism_from-prism_to-umb_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956715/tmpcx9qypewprism_from-prism_to-umb_ex_herman.15_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956715/tmplr5gxk8pprism_from-prism_to-umb_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... 773 4033 9617 16438 24640 29697 32516 32768 states
Reachable states exploration and model construction done in 23.1 secs.
Sorting reachable states list...
Time for model construction: 23.644 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956715/tmpcx9qypewprism_from-prism_to-umb_ex_herman.15_tmp_outdir_/model.umb"...
Time for exporting: 0.292 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 230123520 bytes
Log file: prism_from-prism_to-umb_ex_herman.15_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 24.829 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:38:41 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.4955299/tmpm6_7g3byprism_from-prism_to-umb_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955299/tmpur8737asprism_from-prism_to-umb_ex_herman.15_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955299/tmpm6_7g3byprism_from-prism_to-umb_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 3993 8989 16396 24592 29389 32357 32768 states
Reachable states exploration and model construction done in 23.288 secs.
Sorting reachable states list...
Time for model construction: 23.901 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955299/tmpur8737asprism_from-prism_to-umb_ex_herman.15_tmp_outdir_/model.umb"...
Time for exporting: 0.301 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 230123520 bytes
Log file: prism_from-prism_to-umb_ex_herman.15_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 25.562 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:29:14 GMT+02:00 2026
Hostname: n23m0242.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957344/tmpnwlcofs1prism_from-prism_to-umb_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957344/tmp7pirs4p5prism_from-prism_to-umb_ex_herman.15_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957344/tmpnwlcofs1prism_from-prism_to-umb_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... 609 3841 8209 16321 23560 28692 31890 32768 states
Reachable states exploration and model construction done in 24.015 secs.
Sorting reachable states list...
Time for model construction: 24.65 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957344/tmp7pirs4p5prism_from-prism_to-umb_ex_herman.15_tmp_outdir_/model.umb"...
Time for exporting: 0.303 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 230123520 bytes