Log files for model herman.15 and tool configuration prism_from-prism_to-tra_ex
[419647456.0, 419647456.0, 419647456.0, 419647456.0, 419647456.0]
Log file: prism_from-prism_to-tra_ex_herman.15_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: 49.498 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:28:39 GMT+02:00 2026
Hostname: n23m0301.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957319/tmp39qh0p6gprism_from-prism_to-tra_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957319/tmpu1fbe9d3prism_from-prism_to-tra_ex_herman.15_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957319/tmp39qh0p6gprism_from-prism_to-tra_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... 640 3853 8207 16327 22928 28672 31775 32767 32768 states
Reachable states exploration and model construction done in 24.49 secs.
Sorting reachable states list...
Time for model construction: 25.057 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957319/tmpu1fbe9d3prism_from-prism_to-tra_ex_herman.15_tmp_outdir_/model.pexp"...
Time for exporting: 23.754 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 419647456 bytes
Log file: prism_from-prism_to-tra_ex_herman.15_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: 48.485 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:52:10 GMT+02:00 2026
Hostname: n23m0102.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958073/tmp9rjc8akuprism_from-prism_to-tra_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958073/tmppq_q_sceprism_from-prism_to-tra_ex_herman.15_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958073/tmp9rjc8akuprism_from-prism_to-tra_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... 737 3901 8257 16360 24192 28866 32257 32768 states
Reachable states exploration and model construction done in 23.682 secs.
Sorting reachable states list...
Time for model construction: 24.255 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958073/tmppq_q_sceprism_from-prism_to-tra_ex_herman.15_tmp_outdir_/model.pexp"...
Time for exporting: 23.557 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 419647456 bytes
Log file: prism_from-prism_to-tra_ex_herman.15_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: 48.103 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:46:08 GMT+02:00 2026
Hostname: n23m0255.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955604/tmp06dbt5bcprism_from-prism_to-tra_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955604/tmpamdo0ux7prism_from-prism_to-tra_ex_herman.15_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955604/tmp06dbt5bcprism_from-prism_to-tra_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... 777 4033 9774 16448 24692 29712 32516 32768 states
Reachable states exploration and model construction done in 22.906 secs.
Sorting reachable states list...
Time for model construction: 23.503 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955604/tmpamdo0ux7prism_from-prism_to-tra_ex_herman.15_tmp_outdir_/model.pexp"...
Time for exporting: 23.981 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 419647456 bytes
Log file: prism_from-prism_to-tra_ex_herman.15_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: 48.157 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:04:27 GMT+02:00 2026
Hostname: n23m0113.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958545/tmpblz_t7kaprism_from-prism_to-tra_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958545/tmp_v_9miu8prism_from-prism_to-tra_ex_herman.15_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958545/tmpblz_t7kaprism_from-prism_to-tra_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 9217 16420 24640 29696 32514 32768 states
Reachable states exploration and model construction done in 23.015 secs.
Sorting reachable states list...
Time for model construction: 23.514 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958545/tmp_v_9miu8prism_from-prism_to-tra_ex_herman.15_tmp_outdir_/model.pexp"...
Time for exporting: 24.003 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 419647456 bytes
Log file: prism_from-prism_to-tra_ex_herman.15_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: 46.734 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:33:59 GMT+02:00 2026
Hostname: n23m0355.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957529/tmpwxsecyjdprism_from-prism_to-tra_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957529/tmpt1g9il02prism_from-prism_to-tra_ex_herman.15_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957529/tmpwxsecyjdprism_from-prism_to-tra_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 4129 12557 18048 26632 31744 32768 states
Reachable states exploration and model construction done in 21.555 secs.
Sorting reachable states list...
Time for model construction: 22.127 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957529/tmpt1g9il02prism_from-prism_to-tra_ex_herman.15_tmp_outdir_/model.pexp"...
Time for exporting: 23.968 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 419647456 bytes