Log files for model herman.15 and tool configuration prism_from-prism_to-tra-xz_ex
[10604716.0, 10604716.0, 10604716.0, 10604716.0, 10604716.0]
Log file: prism_from-prism_to-tra-xz_ex_herman.15_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 218.275 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:53:17 GMT+02:00 2026
Hostname: n23m0294.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958140/tmp39d7owdrprism_from-prism_to-tra-xz_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958140/tmpku6xlgxyprism_from-prism_to-tra-xz_ex_herman.15_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958140/tmp39d7owdrprism_from-prism_to-tra-xz_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 4025 9093 16406 24608 29541 32378 32768 states
Reachable states exploration and model construction done in 23.263 secs.
Sorting reachable states list...
Time for model construction: 23.768 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958140/tmpku6xlgxyprism_from-prism_to-tra-xz_ex_herman.15_tmp_outdir_/model.pexp"...
Time for exporting: 193.866 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 10604716 bytes
Log file: prism_from-prism_to-tra-xz_ex_herman.15_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 252.838 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:55:35 GMT+02:00 2026
Hostname: n23m0054.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958215/tmprs45c7qdprism_from-prism_to-tra-xz_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958215/tmp2t5l9zxxprism_from-prism_to-tra-xz_ex_herman.15_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958215/tmprs45c7qdprism_from-prism_to-tra-xz_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... 511 3561 8065 15105 18432 25600 30736 32640 32768 states
Reachable states exploration and model construction done in 25.696 secs.
Sorting reachable states list...
Time for model construction: 26.282 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958215/tmp2t5l9zxxprism_from-prism_to-tra-xz_ex_herman.15_tmp_outdir_/model.pexp"...
Time for exporting: 225.91 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 10604716 bytes
Log file: prism_from-prism_to-tra-xz_ex_herman.15_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 214.730 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:42:06 GMT+02:00 2026
Hostname: n23m0259.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955458/tmp4439bymzprism_from-prism_to-tra-xz_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955458/tmp256yu4x3prism_from-prism_to-tra-xz_ex_herman.15_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955458/tmp4439bymzprism_from-prism_to-tra-xz_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... 921 4237 12802 18176 26624 31746 32768 states
Reachable states exploration and model construction done in 21.495 secs.
Sorting reachable states list...
Time for model construction: 22.07 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955458/tmp256yu4x3prism_from-prism_to-tra-xz_ex_herman.15_tmp_outdir_/model.pexp"...
Time for exporting: 192.034 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 10604716 bytes
Log file: prism_from-prism_to-tra-xz_ex_herman.15_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 204.351 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:36:25 GMT+02:00 2026
Hostname: n23m0070.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955213/tmp38vx9xh0prism_from-prism_to-tra-xz_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955213/tmpf6cmqvrrprism_from-prism_to-tra-xz_ex_herman.15_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955213/tmp38vx9xh0prism_from-prism_to-tra-xz_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 5857 14457 20192 28704 32268 32768 states
Reachable states exploration and model construction done in 20.229 secs.
Sorting reachable states list...
Time for model construction: 20.843 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955213/tmpf6cmqvrrprism_from-prism_to-tra-xz_ex_herman.15_tmp_outdir_/model.pexp"...
Time for exporting: 181.822 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 10604716 bytes
Log file: prism_from-prism_to-tra-xz_ex_herman.15_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 199.363 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:42:45 GMT+02:00 2026
Hostname: n23m0057.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957780/tmp1ss9tj33prism_from-prism_to-tra-xz_ex_herman.15_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957780/tmp90hdhhenprism_from-prism_to-tra-xz_ex_herman.15_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957780/tmp1ss9tj33prism_from-prism_to-tra-xz_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... 895 4130 12807 18051 26632 31745 32768 states
Reachable states exploration and model construction done in 21.156 secs.
Sorting reachable states list...
Time for model construction: 21.632 seconds.
Type: DTMC
States: 32768 (32768 initial)
Transitions: 14348908
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957780/tmp90hdhhenprism_from-prism_to-tra-xz_ex_herman.15_tmp_outdir_/model.pexp"...
Time for exporting: 177.164 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 10604716 bytes