Log files for model mapk-cascade.4-30 and tool configuration prism_from-prism_import_ex
[1.756, 1.73, 1.332, 1.472, 1.349]
Log file: prism_from-prism_import_ex_mapk-cascade.4-30_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 2.401 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:21:45 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.4965445/tmp_7hvlz3_prism_from-prism_import_ex_mapk-cascade.4-30_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965445/tmp_7hvlz3_prism_from-prism_import_ex_mapk-cascade.4-30_tmp_indir_/model.prism"...
Type: CTMC
Modules: E1 E2 KPTASE KKPTASE MAPK MAPKK MAPKKK
Actions: [a_kkk_e1] [d_kkk_e1] [k_kkk_e1] [a_kkk_e2] [d_kkk_e2] [k_kkk_e2] [a_k_ptase] [d_k_ptase] [k_k_ptase] [a_kk_ptase] [d_kk_ptase] [k_kk_ptase] [a_k_kk] [d_k_kk] [k_k_kk] [a_kk_kkk] [d_kk_kkk] [k_kk_kkk]
Variables: e1 e2 kptase kkptase k k_kkpp kp kp_kkpp kp_ptase kpp kpp_ptase kk kk_kkkp kkp kkp_kkkp kkp_ptase kkpp kkpp_ptase kkk kkk_e1 kkkp kkkp_e2
Labels: "target"
Rewards: "time"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 99535 states
Reachable states exploration and model construction done in 1.57 secs.
Sorting reachable states list...
Time for model construction: 1.756 seconds.
Type: CTMC
States: 99535 (1 initial)
Transitions: 910872
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_mapk-cascade.4-30_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 2.370 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:09:43 GMT+02:00 2026
Hostname: n23m0263.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964917/tmp138hvpbaprism_from-prism_import_ex_mapk-cascade.4-30_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964917/tmp138hvpbaprism_from-prism_import_ex_mapk-cascade.4-30_tmp_indir_/model.prism"...
Type: CTMC
Modules: E1 E2 KPTASE KKPTASE MAPK MAPKK MAPKKK
Actions: [a_kkk_e1] [d_kkk_e1] [k_kkk_e1] [a_kkk_e2] [d_kkk_e2] [k_kkk_e2] [a_k_ptase] [d_k_ptase] [k_k_ptase] [a_kk_ptase] [d_kk_ptase] [k_kk_ptase] [a_k_kk] [d_k_kk] [k_k_kk] [a_kk_kkk] [d_kk_kkk] [k_kk_kkk]
Variables: e1 e2 kptase kkptase k k_kkpp kp kp_kkpp kp_ptase kpp kpp_ptase kk kk_kkkp kkp kkp_kkkp kkp_ptase kkpp kkpp_ptase kkk kkk_e1 kkkp kkkp_e2
Labels: "target"
Rewards: "time"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 99535 states
Reachable states exploration and model construction done in 1.549 secs.
Sorting reachable states list...
Time for model construction: 1.73 seconds.
Type: CTMC
States: 99535 (1 initial)
Transitions: 910872
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_mapk-cascade.4-30_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 1.873 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:40:21 GMT+02:00 2026
Hostname: n23m0107.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962847/tmp4oijcjboprism_from-prism_import_ex_mapk-cascade.4-30_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962847/tmp4oijcjboprism_from-prism_import_ex_mapk-cascade.4-30_tmp_indir_/model.prism"...
Type: CTMC
Modules: E1 E2 KPTASE KKPTASE MAPK MAPKK MAPKKK
Actions: [a_kkk_e1] [d_kkk_e1] [k_kkk_e1] [a_kkk_e2] [d_kkk_e2] [k_kkk_e2] [a_k_ptase] [d_k_ptase] [k_k_ptase] [a_kk_ptase] [d_kk_ptase] [k_kk_ptase] [a_k_kk] [d_k_kk] [k_k_kk] [a_kk_kkk] [d_kk_kkk] [k_kk_kkk]
Variables: e1 e2 kptase kkptase k k_kkpp kp kp_kkpp kp_ptase kpp kpp_ptase kk kk_kkkp kkp kkp_kkkp kkp_ptase kkpp kkpp_ptase kkk kkk_e1 kkkp kkkp_e2
Labels: "target"
Rewards: "time"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 99535 states
Reachable states exploration and model construction done in 1.178 secs.
Sorting reachable states list...
Time for model construction: 1.332 seconds.
Type: CTMC
States: 99535 (1 initial)
Transitions: 910872
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_mapk-cascade.4-30_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 2.328 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:41:12 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.4966473/tmplroco7krprism_from-prism_import_ex_mapk-cascade.4-30_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966473/tmplroco7krprism_from-prism_import_ex_mapk-cascade.4-30_tmp_indir_/model.prism"...
Type: CTMC
Modules: E1 E2 KPTASE KKPTASE MAPK MAPKK MAPKKK
Actions: [a_kkk_e1] [d_kkk_e1] [k_kkk_e1] [a_kkk_e2] [d_kkk_e2] [k_kkk_e2] [a_k_ptase] [d_k_ptase] [k_k_ptase] [a_kk_ptase] [d_kk_ptase] [k_kk_ptase] [a_k_kk] [d_k_kk] [k_k_kk] [a_kk_kkk] [d_kk_kkk] [k_kk_kkk]
Variables: e1 e2 kptase kkptase k k_kkpp kp kp_kkpp kp_ptase kpp kpp_ptase kk kk_kkkp kkp kkp_kkkp kkp_ptase kkpp kkpp_ptase kkk kkk_e1 kkkp kkkp_e2
Labels: "target"
Rewards: "time"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 99535 states
Reachable states exploration and model construction done in 1.177 secs.
Sorting reachable states list...
Time for model construction: 1.472 seconds.
Type: CTMC
States: 99535 (1 initial)
Transitions: 910872
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_mapk-cascade.4-30_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 1.881 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:28:11 GMT+02:00 2026
Hostname: n23m0107.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962301/tmpdwj_xgdcprism_from-prism_import_ex_mapk-cascade.4-30_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962301/tmpdwj_xgdcprism_from-prism_import_ex_mapk-cascade.4-30_tmp_indir_/model.prism"...
Type: CTMC
Modules: E1 E2 KPTASE KKPTASE MAPK MAPKK MAPKKK
Actions: [a_kkk_e1] [d_kkk_e1] [k_kkk_e1] [a_kkk_e2] [d_kkk_e2] [k_kkk_e2] [a_k_ptase] [d_k_ptase] [k_k_ptase] [a_kk_ptase] [d_kk_ptase] [k_kk_ptase] [a_k_kk] [d_k_kk] [k_k_kk] [a_kk_kkk] [d_kk_kkk] [k_kk_kkk]
Variables: e1 e2 kptase kkptase k k_kkpp kp kp_kkpp kp_ptase kpp kpp_ptase kk kk_kkkp kkp kkp_kkkp kkp_ptase kkpp kkpp_ptase kkk kkk_e1 kkkp kkkp_e2
Labels: "target"
Rewards: "time"
---------------------------------------------------------------------
Building model (engine:explicit)...
Computing reachable states... 99535 states
Reachable states exploration and model construction done in 1.193 secs.
Sorting reachable states list...
Time for model construction: 1.349 seconds.
Type: CTMC
States: 99535 (1 initial)
Transitions: 910872
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g