Log files for model eajs.5-250-11 and tool configuration prism_from-prism_to-tra-xz_ex
[166.932, 163.19, 164.086, 165.577, 128.385]
Log file: prism_from-prism_to-tra-xz_ex_eajs.5-250-11_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: 191.200 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:57:09 GMT+02:00 2026
Hostname: n23m0252.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956043/tmpom3ba72kprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956043/tmpj28nbp0tprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956043/tmpom3ba72kprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_indir_/model.prism"...
Type: MDP
Modules: Battery Process_1 Process_2 Resources Process_3 Process_5 Process_4
Actions: [tick]
Variables: battery_load failure_1 loc_1 t_1 t_2 loc_2 boost_1 user_1 t_3 loc_3 loc_5 t_5 t_4 loc_4
Labels: "emptyBattery"
Rewards: "utilityLocal"
Building model (engine:explicit)...
Computing reachable states... 398716 839095 1282972 1728114 2172990 2640275 3049471 states
Reachable states exploration and model construction done in 20.779 secs.
Sorting reachable states list...
Time for model construction: 23.307 seconds.
Type: MDP
States: 3049471 (1 initial)
Transitions: 6977654
Choices: 4256193
Max/avg: 10/1.40
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956043/tmpj28nbp0tprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_outdir_/model.pexp"...
Time for exporting: 166.932 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 12385624 bytes
Log file: prism_from-prism_to-tra-xz_ex_eajs.5-250-11_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: 188.283 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:30:06 GMT+02:00 2026
Hostname: n23m0272.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4954952/tmp25_5g4nuprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954952/tmp2mfzs4ecprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954952/tmp25_5g4nuprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_indir_/model.prism"...
Type: MDP
Modules: Battery Process_1 Process_2 Resources Process_3 Process_5 Process_4
Actions: [tick]
Variables: battery_load failure_1 loc_1 t_1 t_2 loc_2 boost_1 user_1 t_3 loc_3 loc_5 t_5 t_4 loc_4
Labels: "emptyBattery"
Rewards: "utilityLocal"
Building model (engine:explicit)...
Computing reachable states... 407376 822425 1227202 1669122 2082405 2499208 2927555 3049471 states
Reachable states exploration and model construction done in 21.793 secs.
Sorting reachable states list...
Time for model construction: 24.358 seconds.
Type: MDP
States: 3049471 (1 initial)
Transitions: 6977654
Choices: 4256193
Max/avg: 10/1.40
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4954952/tmp2mfzs4ecprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_outdir_/model.pexp"...
Time for exporting: 163.19 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 12385624 bytes
Log file: prism_from-prism_to-tra-xz_ex_eajs.5-250-11_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: 187.556 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:19:20 GMT+02:00 2026
Hostname: n23m0144.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956927/tmpe09b9kwtprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956927/tmp4ewx4w9sprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956927/tmpe09b9kwtprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_indir_/model.prism"...
Type: MDP
Modules: Battery Process_1 Process_2 Resources Process_3 Process_5 Process_4
Actions: [tick]
Variables: battery_load failure_1 loc_1 t_1 t_2 loc_2 boost_1 user_1 t_3 loc_3 loc_5 t_5 t_4 loc_4
Labels: "emptyBattery"
Rewards: "utilityLocal"
Building model (engine:explicit)...
Computing reachable states... 413819 860706 1320441 1776263 2228659 2697905 3049471 states
Reachable states exploration and model construction done in 20.351 secs.
Sorting reachable states list...
Time for model construction: 22.814 seconds.
Type: MDP
States: 3049471 (1 initial)
Transitions: 6977654
Choices: 4256193
Max/avg: 10/1.40
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956927/tmp4ewx4w9sprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_outdir_/model.pexp"...
Time for exporting: 164.086 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 12385624 bytes
Log file: prism_from-prism_to-tra-xz_ex_eajs.5-250-11_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: 189.799 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:27:27 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.4957264/tmpqfu2eztgprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957264/tmp9ndxgyruprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957264/tmpqfu2eztgprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_indir_/model.prism"...
Type: MDP
Modules: Battery Process_1 Process_2 Resources Process_3 Process_5 Process_4
Actions: [tick]
Variables: battery_load failure_1 loc_1 t_1 t_2 loc_2 boost_1 user_1 t_3 loc_3 loc_5 t_5 t_4 loc_4
Labels: "emptyBattery"
Rewards: "utilityLocal"
Building model (engine:explicit)...
Computing reachable states... 390098 824717 1273745 1701203 2140474 2606814 3048719 3049471 states
Reachable states exploration and model construction done in 21.013 secs.
Sorting reachable states list...
Time for model construction: 23.506 seconds.
Type: MDP
States: 3049471 (1 initial)
Transitions: 6977654
Choices: 4256193
Max/avg: 10/1.40
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957264/tmp9ndxgyruprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_outdir_/model.pexp"...
Time for exporting: 165.577 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 12385624 bytes
Log file: prism_from-prism_to-tra-xz_ex_eajs.5-250-11_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: 150.995 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:56:33 GMT+02:00 2026
Hostname: n23m0322.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956030/tmpnjilcei0prism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956030/tmppxrlugvrprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956030/tmpnjilcei0prism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_indir_/model.prism"...
Type: MDP
Modules: Battery Process_1 Process_2 Resources Process_3 Process_5 Process_4
Actions: [tick]
Variables: battery_load failure_1 loc_1 t_1 t_2 loc_2 boost_1 user_1 t_3 loc_3 loc_5 t_5 t_4 loc_4
Labels: "emptyBattery"
Rewards: "utilityLocal"
Building model (engine:explicit)...
Computing reachable states... 466865 966864 1473791 1987867 2475584 3009506 3049471 states
Reachable states exploration and model construction done in 18.23 secs.
Sorting reachable states list...
Time for model construction: 20.599 seconds.
Type: MDP
States: 3049471 (1 initial)
Transitions: 6977654
Choices: 4256193
Max/avg: 10/1.40
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956030/tmppxrlugvrprism_from-prism_to-tra-xz_ex_eajs.5-250-11_tmp_outdir_/model.pexp"...
Time for exporting: 128.385 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 12385624 bytes