Log files for model eajs.6-300-13 and tool configuration prism_from-prism_import_ex
[72.377, 73.439, 72.26, 73.902, 70.744]
Log file: prism_from-prism_import_ex_eajs.6-300-13_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 73.075 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:36:29 GMT+02:00 2026
Hostname: n23m0237.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966260/tmpivhdffj1prism_from-prism_import_ex_eajs.6-300-13_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966260/tmpivhdffj1prism_from-prism_import_ex_eajs.6-300-13_tmp_indir_/model.prism"...
Type: MDP
Modules: Battery Process_1 Process_2 Resources Process_3 Process_4 Process_6 Process_5
Actions: [tick]
Variables: battery_load failure_1 loc_1 t_1 t_2 loc_2 boost_1 user_1 t_3 loc_3 t_4 loc_4 loc_6 t_6 t_5 loc_5
Labels: "emptyBattery"
Rewards: "utilityLocal"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 341481 709241 1090155 1450247 1808698 2193872 2571271 2951258 3326144 3706078 4076287 4405507 4799246 5159721 5508534 5901869 6258030 6615482 6991522 7361313 7739521 7901694 states
Reachable states exploration and model construction done in 64.491 secs.
Sorting reachable states list...
Time for model construction: 72.377 seconds.
Type: MDP
States: 7901694 (1 initial)
Transitions: 19722777
Choices: 11897412
Max/avg: 12/1.51
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_eajs.6-300-13_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 74.200 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:15:59 GMT+02:00 2026
Hostname: n23m0287.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4965190/tmpcexpr6gqprism_from-prism_import_ex_eajs.6-300-13_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965190/tmpcexpr6gqprism_from-prism_import_ex_eajs.6-300-13_tmp_indir_/model.prism"...
Type: MDP
Modules: Battery Process_1 Process_2 Resources Process_3 Process_4 Process_6 Process_5
Actions: [tick]
Variables: battery_load failure_1 loc_1 t_1 t_2 loc_2 boost_1 user_1 t_3 loc_3 t_4 loc_4 loc_6 t_6 t_5 loc_5
Labels: "emptyBattery"
Rewards: "utilityLocal"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 310038 655650 1024356 1377758 1728968 2115640 2456243 2820490 3182070 3558904 3924817 4315952 4677746 5067903 5464692 5814818 6214806 6577561 6967915 7331566 7680569 7901694 states
Reachable states exploration and model construction done in 64.734 secs.
Sorting reachable states list...
Time for model construction: 73.439 seconds.
Type: MDP
States: 7901694 (1 initial)
Transitions: 19722777
Choices: 11897412
Max/avg: 12/1.51
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_eajs.6-300-13_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 72.941 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:39:48 GMT+02:00 2026
Hostname: n23m0032.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962838/tmpmasmev40prism_from-prism_import_ex_eajs.6-300-13_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962838/tmpmasmev40prism_from-prism_import_ex_eajs.6-300-13_tmp_indir_/model.prism"...
Type: MDP
Modules: Battery Process_1 Process_2 Resources Process_3 Process_4 Process_6 Process_5
Actions: [tick]
Variables: battery_load failure_1 loc_1 t_1 t_2 loc_2 boost_1 user_1 t_3 loc_3 t_4 loc_4 loc_6 t_6 t_5 loc_5
Labels: "emptyBattery"
Rewards: "utilityLocal"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 330963 692257 1053403 1419665 1777225 2152849 2527632 2916726 3282522 3635461 4026558 4377149 4736455 5133523 5487278 5875891 6238844 6611733 6983722 7342086 7733438 7901694 states
Reachable states exploration and model construction done in 64.383 secs.
Sorting reachable states list...
Time for model construction: 72.26 seconds.
Type: MDP
States: 7901694 (1 initial)
Transitions: 19722777
Choices: 11897412
Max/avg: 12/1.51
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_eajs.6-300-13_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 74.972 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:04:59 GMT+02:00 2026
Hostname: r23m0197.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964707/tmpv8i_czf6prism_from-prism_import_ex_eajs.6-300-13_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964707/tmpv8i_czf6prism_from-prism_import_ex_eajs.6-300-13_tmp_indir_/model.prism"...
Type: MDP
Modules: Battery Process_1 Process_2 Resources Process_3 Process_4 Process_6 Process_5
Actions: [tick]
Variables: battery_load failure_1 loc_1 t_1 t_2 loc_2 boost_1 user_1 t_3 loc_3 t_4 loc_4 loc_6 t_6 t_5 loc_5
Labels: "emptyBattery"
Rewards: "utilityLocal"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 341434 708790 1084831 1433692 1751813 2143615 2482867 2880985 3235884 3602138 3986088 4360670 4752238 5111001 5521045 5851407 6223810 6597036 6924242 7301520 7610382 7901694 states
Reachable states exploration and model construction done in 65.25 secs.
Sorting reachable states list...
Time for model construction: 73.902 seconds.
Type: MDP
States: 7901694 (1 initial)
Transitions: 19722777
Choices: 11897412
Max/avg: 12/1.51
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_eajs.6-300-13_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 71.476 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:20:17 GMT+02:00 2026
Hostname: n23m0042.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4961981/tmpo3u5bb2rprism_from-prism_import_ex_eajs.6-300-13_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4961981/tmpo3u5bb2rprism_from-prism_import_ex_eajs.6-300-13_tmp_indir_/model.prism"...
Type: MDP
Modules: Battery Process_1 Process_2 Resources Process_3 Process_4 Process_6 Process_5
Actions: [tick]
Variables: battery_load failure_1 loc_1 t_1 t_2 loc_2 boost_1 user_1 t_3 loc_3 t_4 loc_4 loc_6 t_6 t_5 loc_5
Labels: "emptyBattery"
Rewards: "utilityLocal"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 345780 715259 1097829 1487946 1866428 2253626 2644599 3059368 3429275 3812955 4217320 4562611 4970177 5338949 5735770 6142938 6519706 6921125 7326951 7697051 7901694 states
Reachable states exploration and model construction done in 61.772 secs.
Sorting reachable states list...
Time for model construction: 70.744 seconds.
Type: MDP
States: 7901694 (1 initial)
Transitions: 19722777
Choices: 11897412
Max/avg: 12/1.51
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g