Log files for model herman.15 and tool configuration prism_from-prism_import_ex
[23.84, 20.658, 18.946, 23.594, 25.788]
Log file: prism_from-prism_import_ex_herman.15_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 24.435 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:32:17 GMT+02:00 2026
Hostname: n23m0111.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966062/tmpc1hxds6vprism_from-prism_import_ex_herman.15_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966062/tmpc1hxds6vprism_from-prism_import_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... 801 4040 9297 16396 24591 29184 32320 32768 states
Reachable states exploration and model construction done in 23.259 secs.
Sorting reachable states list...
Time for model construction: 23.84 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_herman.15_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 21.202 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:10:45 GMT+02:00 2026
Hostname: r23m0198.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964967/tmphmxn5pbbprism_from-prism_import_ex_herman.15_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964967/tmphmxn5pbbprism_from-prism_import_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... 1009 5677 14577 20435 28704 32285 32768 states
Reachable states exploration and model construction done in 20.18 secs.
Sorting reachable states list...
Time for model construction: 20.658 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_herman.15_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 19.481 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:39:14 GMT+02:00 2026
Hostname: n23m0107.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962798/tmp46fcllo7prism_from-prism_import_ex_herman.15_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962798/tmp46fcllo7prism_from-prism_import_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... 1115 7423 16329 24713 31002 32768 states
Reachable states exploration and model construction done in 18.434 secs.
Sorting reachable states list...
Time for model construction: 18.946 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_herman.15_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 24.272 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:46:57 GMT+02:00 2026
Hostname: n23m0107.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4963142/tmpcd0wd67sprism_from-prism_import_ex_herman.15_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4963142/tmpcd0wd67sprism_from-prism_import_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 4077 10143 16448 24832 30449 32576 32768 states
Reachable states exploration and model construction done in 22.92 secs.
Sorting reachable states list...
Time for model construction: 23.594 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_herman.15_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 26.589 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:30:43 GMT+02:00 2026
Hostname: n23m0291.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4965975/tmpb6f1in6sprism_from-prism_import_ex_herman.15_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965975/tmpb6f1in6sprism_from-prism_import_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 3697 8160 15885 20462 27521 31232 32753 32768 states
Reachable states exploration and model construction done in 25.033 secs.
Sorting reachable states list...
Time for model construction: 25.788 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g