Log files for model fms.8 and tool configuration prism_from-prism_to-tra-gz_ex
[260890949.0, 260890949.0, 260890949.0, 260890949.0, 260890949.0]
Log file: prism_from-prism_to-tra-gz_ex_fms.8_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 184.530 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:32:24 GMT+02:00 2026
Hostname: n23m0050.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955053/tmpwabbte4vprism_from-prism_to-tra-gz_ex_fms.8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955053/tmp_ex_1lymprism_from-prism_to-tra-gz_ex_fms.8_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955053/tmpwabbte4vprism_from-prism_to-tra-gz_ex_fms.8_tmp_indir_/model.prism"...
Type: CTMC
Modules: machine1 machine2 machine3 machine12
Actions: [] [t1] [p1p2] [fp12] [t2] [p2p3] [t3] [t12]
Variables: P1 P1wM1 P1M1 P1d P1s P1wP2 M1 P2 P2wM2 P2M2 P2s P2wP1 M2 P3 P3M2 P3s P12 P12wM3 P12M3 P12s M3
Rewards: "productivity"
Building model (engine:explicit)...
Computing reachable states... 282947 545913 825989 1063823 1314046 1563612 1802900 2037704 2282688 2513588 2750594 2981791 3217995 3454985 3676851 3910109 4136565 4361402 4459455 states
Reachable states exploration and model construction done in 55.47 secs.
Sorting reachable states list...
Time for model construction: 62.455 seconds.
Type: CTMC
States: 4459455 (1 initial)
Transitions: 38533968
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955053/tmp_ex_1lymprism_from-prism_to-tra-gz_ex_fms.8_tmp_outdir_/model.pexp"...
Time for exporting: 119.987 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 260890949 bytes
Log file: prism_from-prism_to-tra-gz_ex_fms.8_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 178.067 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:14:12 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.4956686/tmp3a2jaac7prism_from-prism_to-tra-gz_ex_fms.8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956686/tmpyuax6m3nprism_from-prism_to-tra-gz_ex_fms.8_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956686/tmp3a2jaac7prism_from-prism_to-tra-gz_ex_fms.8_tmp_indir_/model.prism"...
Type: CTMC
Modules: machine1 machine2 machine3 machine12
Actions: [] [t1] [p1p2] [fp12] [t2] [p2p3] [t3] [t12]
Variables: P1 P1wM1 P1M1 P1d P1s P1wP2 M1 P2 P2wM2 P2M2 P2s P2wP1 M2 P3 P3M2 P3s P12 P12wM3 P12M3 P12s M3
Rewards: "productivity"
Building model (engine:explicit)...
Computing reachable states... 313362 610000 897713 1171621 1435859 1711920 1976479 2245797 2491306 2758611 3005625 3263317 3517554 3770398 4020845 4266464 4459455 states
Reachable states exploration and model construction done in 50.653 secs.
Sorting reachable states list...
Time for model construction: 57.084 seconds.
Type: CTMC
States: 4459455 (1 initial)
Transitions: 38533968
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956686/tmpyuax6m3nprism_from-prism_to-tra-gz_ex_fms.8_tmp_outdir_/model.pexp"...
Time for exporting: 120.262 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 260890949 bytes
Log file: prism_from-prism_to-tra-gz_ex_fms.8_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 181.740 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:32:14 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.4957454/tmphgvv1kxoprism_from-prism_to-tra-gz_ex_fms.8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957454/tmp4qho6y8tprism_from-prism_to-tra-gz_ex_fms.8_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957454/tmphgvv1kxoprism_from-prism_to-tra-gz_ex_fms.8_tmp_indir_/model.prism"...
Type: CTMC
Modules: machine1 machine2 machine3 machine12
Actions: [] [t1] [p1p2] [fp12] [t2] [p2p3] [t3] [t12]
Variables: P1 P1wM1 P1M1 P1d P1s P1wP2 M1 P2 P2wM2 P2M2 P2s P2wP1 M2 P3 P3M2 P3s P12 P12wM3 P12M3 P12s M3
Rewards: "productivity"
Building model (engine:explicit)...
Computing reachable states... 305887 587399 869771 1143727 1401751 1664056 1919429 2159861 2419224 2658232 2908102 3138838 3379342 3619953 3841365 4063968 4293280 4459455 states
Reachable states exploration and model construction done in 53.287 secs.
Sorting reachable states list...
Time for model construction: 59.645 seconds.
Type: CTMC
States: 4459455 (1 initial)
Transitions: 38533968
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957454/tmp4qho6y8tprism_from-prism_to-tra-gz_ex_fms.8_tmp_outdir_/model.pexp"...
Time for exporting: 121.366 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 260890949 bytes
Log file: prism_from-prism_to-tra-gz_ex_fms.8_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 157.313 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:54:45 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.4955946/tmpj5oukdazprism_from-prism_to-tra-gz_ex_fms.8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955946/tmp9d590ie7prism_from-prism_to-tra-gz_ex_fms.8_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955946/tmpj5oukdazprism_from-prism_to-tra-gz_ex_fms.8_tmp_indir_/model.prism"...
Type: CTMC
Modules: machine1 machine2 machine3 machine12
Actions: [] [t1] [p1p2] [fp12] [t2] [p2p3] [t3] [t12]
Variables: P1 P1wM1 P1M1 P1d P1s P1wP2 M1 P2 P2wM2 P2M2 P2s P2wP1 M2 P3 P3M2 P3s P12 P12wM3 P12M3 P12s M3
Rewards: "productivity"
Building model (engine:explicit)...
Computing reachable states... 325001 647550 940847 1242121 1525655 1804600 2072517 2338873 2601953 2882481 3131364 3399926 3658730 3908684 4158815 4410769 4459455 states
Reachable states exploration and model construction done in 48.651 secs.
Sorting reachable states list...
Time for model construction: 54.92 seconds.
Type: CTMC
States: 4459455 (1 initial)
Transitions: 38533968
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955946/tmp9d590ie7prism_from-prism_to-tra-gz_ex_fms.8_tmp_outdir_/model.pexp"...
Time for exporting: 101.737 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 260890949 bytes
Log file: prism_from-prism_to-tra-gz_ex_fms.8_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 170.843 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:54:10 GMT+02:00 2026
Hostname: n23m0033.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955924/tmplbhs2crdprism_from-prism_to-tra-gz_ex_fms.8_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955924/tmpojzpgb98prism_from-prism_to-tra-gz_ex_fms.8_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955924/tmplbhs2crdprism_from-prism_to-tra-gz_ex_fms.8_tmp_indir_/model.prism"...
Type: CTMC
Modules: machine1 machine2 machine3 machine12
Actions: [] [t1] [p1p2] [fp12] [t2] [p2p3] [t3] [t12]
Variables: P1 P1wM1 P1M1 P1d P1s P1wP2 M1 P2 P2wM2 P2M2 P2s P2wP1 M2 P3 P3M2 P3s P12 P12wM3 P12M3 P12s M3
Rewards: "productivity"
Building model (engine:explicit)...
Computing reachable states... 308160 608899 892050 1170850 1432605 1700516 1950112 2206082 2472080 2724179 2961065 3209485 3454441 3699044 3946168 4189327 4421529 4459455 states
Reachable states exploration and model construction done in 51.745 secs.
Sorting reachable states list...
Time for model construction: 58.186 seconds.
Type: CTMC
States: 4459455 (1 initial)
Transitions: 38533968
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955924/tmpojzpgb98prism_from-prism_to-tra-gz_ex_fms.8_tmp_outdir_/model.pexp"...
Time for exporting: 111.968 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 260890949 bytes