Log files for model mapk-cascade.4-30 and tool configuration prism_from-prism_to-umb-xz_ex
[1016352.0, 1016420.0, 1015484.0, 1016256.0, 1016352.0]
Log file: prism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 10.762 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:51:22 GMT+02:00 2026
Hostname: n23m0301.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955820/tmpidqmbxghprism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955820/tmp7mql7q16prism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955820/tmpidqmbxghprism_from-prism_to-umb-xz_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.456 secs.
Sorting reachable states list...
Time for model construction: 1.781 seconds.
Type: CTMC
States: 99535 (1 initial)
Transitions: 910872
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955820/tmp7mql7q16prism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_tmp_outdir_/model.umbxz"...
Time for exporting: 6.613 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 1016352 bytes
Log file: prism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 8.419 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:08:16 GMT+02:00 2026
Hostname: n23m0334.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956507/tmp2qdo4sclprism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956507/tmpwks1ojbwprism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956507/tmp2qdo4sclprism_from-prism_to-umb-xz_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.466 secs.
Sorting reachable states list...
Time for model construction: 1.712 seconds.
Type: CTMC
States: 99535 (1 initial)
Transitions: 910872
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956507/tmpwks1ojbwprism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_tmp_outdir_/model.umbxz"...
Time for exporting: 6.069 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 1016420 bytes
Log file: prism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 7.809 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:47:16 GMT+02:00 2026
Hostname: n23m0043.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955646/tmptkw9703dprism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955646/tmp9bruf1zsprism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955646/tmptkw9703dprism_from-prism_to-umb-xz_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.332 secs.
Sorting reachable states list...
Time for model construction: 1.511 seconds.
Type: CTMC
States: 99535 (1 initial)
Transitions: 910872
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955646/tmp9bruf1zsprism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_tmp_outdir_/model.umbxz"...
Time for exporting: 5.66 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 1015484 bytes
Log file: prism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 8.817 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:32:57 GMT+02:00 2026
Hostname: r23m0219.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955062/tmpy78mrq85prism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955062/tmp79fjuv2eprism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955062/tmpy78mrq85prism_from-prism_to-umb-xz_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.396 secs.
Sorting reachable states list...
Time for model construction: 1.575 seconds.
Type: CTMC
States: 99535 (1 initial)
Transitions: 910872
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955062/tmp79fjuv2eprism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_tmp_outdir_/model.umbxz"...
Time for exporting: 6.616 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 1016256 bytes
Log file: prism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 7.634 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:01:15 GMT+02:00 2026
Hostname: n23m0307.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956203/tmpu1lmt8e2prism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956203/tmp_pyawj_wprism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956203/tmpu1lmt8e2prism_from-prism_to-umb-xz_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.364 secs.
Sorting reachable states list...
Time for model construction: 1.541 seconds.
Type: CTMC
States: 99535 (1 initial)
Transitions: 910872
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956203/tmp_pyawj_wprism_from-prism_to-umb-xz_ex_mapk-cascade.4-30_tmp_outdir_/model.umbxz"...
Time for exporting: 5.502 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 1016352 bytes