Log files for model eajs.5-250-11 and tool configuration prism_from-prism_import_ex
[21.055, 19.563, 22.471, 24.007, 19.834]
Log file: prism_from-prism_import_ex_eajs.5-250-11_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 21.651 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:10:58 GMT+02:00 2026
Hostname: n23m0046.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4961607/tmp4btkssggprism_from-prism_import_ex_eajs.5-250-11_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4961607/tmp4btkssggprism_from-prism_import_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... 420476 874012 1322915 1847927 2375688 2922838 3049471 states
Reachable states exploration and model construction done in 18.885 secs.
Sorting reachable states list...
Time for model construction: 21.055 seconds.
Type: MDP
States: 3049471 (1 initial)
Transitions: 6977654
Choices: 4256193
Max/avg: 10/1.40
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_eajs.5-250-11_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 20.120 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:41:27 GMT+02:00 2026
Hostname: n23m0097.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962891/tmp1dchjb6eprism_from-prism_import_ex_eajs.5-250-11_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962891/tmp1dchjb6eprism_from-prism_import_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... 484500 1018945 1532751 2083707 2590161 3049471 states
Reachable states exploration and model construction done in 17.66 secs.
Sorting reachable states list...
Time for model construction: 19.563 seconds.
Type: MDP
States: 3049471 (1 initial)
Transitions: 6977654
Choices: 4256193
Max/avg: 10/1.40
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_eajs.5-250-11_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 23.090 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 08:53:06 GMT+02:00 2026
Hostname: n23m0261.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964154/tmpiuqyivfzprism_from-prism_import_ex_eajs.5-250-11_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964154/tmpiuqyivfzprism_from-prism_import_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... 427746 889126 1354555 1823132 2286221 2765372 3049471 states
Reachable states exploration and model construction done in 19.949 secs.
Sorting reachable states list...
Time for model construction: 22.471 seconds.
Type: MDP
States: 3049471 (1 initial)
Transitions: 6977654
Choices: 4256193
Max/avg: 10/1.40
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_eajs.5-250-11_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 24.738 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:45:25 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.4966713/tmp8wqsp41zprism_from-prism_import_ex_eajs.5-250-11_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966713/tmp8wqsp41zprism_from-prism_import_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... 388238 821224 1253256 1666905 2109792 2562161 2974564 3049471 states
Reachable states exploration and model construction done in 21.547 secs.
Sorting reachable states list...
Time for model construction: 24.007 seconds.
Type: MDP
States: 3049471 (1 initial)
Transitions: 6977654
Choices: 4256193
Max/avg: 10/1.40
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_eajs.5-250-11_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 20.623 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:56:09 GMT+02:00 2026
Hostname: n23m0110.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4967176/tmp11qh2yplprism_from-prism_import_ex_eajs.5-250-11_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4967176/tmp11qh2yplprism_from-prism_import_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... 478911 1011099 1505169 2056692 2553477 3049471 states
Reachable states exploration and model construction done in 17.802 secs.
Sorting reachable states list...
Time for model construction: 19.834 seconds.
Type: MDP
States: 3049471 (1 initial)
Transitions: 6977654
Choices: 4256193
Max/avg: 10/1.40
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g