Log fms.8_prism_from-prism_import

Log file: prism_from-prism_import_ex_fms.8_rep1.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 57.960 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:31:46 GMT+02:00 2026
Hostname: n23m0255.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966030/tmprer3lwmzprism_from-prism_import_ex_fms.8_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966030/tmprer3lwmzprism_from-prism_import_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... 311992 616742 902805 1178449 1446065 1722754 1991943 2247748 2500439 2760272 3002604 3252760 3506459 3747856 3999026 4243549 4459455 states
Reachable states exploration and model construction done in 50.682 secs.
Sorting reachable states list...

Time for model construction: 57.286 seconds.

Type:        CTMC
States:      4459455 (1 initial)
Transitions: 38533968


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Log file: prism_from-prism_import_ex_fms.8_rep2.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 62.161 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:21:45 GMT+02:00 2026
Hostname: n23m0111.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4965441/tmpdyz624s1prism_from-prism_import_ex_fms.8_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965441/tmpdyz624s1prism_from-prism_import_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... 307563 613691 861961 1099998 1316645 1549577 1766394 2004611 2217299 2468270 2713663 2972782 3215835 3464550 3691949 3934404 4182306 4419406 4459455 states
Reachable states exploration and model construction done in 54.576 secs.
Sorting reachable states list...

Time for model construction: 61.401 seconds.

Type:        CTMC
States:      4459455 (1 initial)
Transitions: 38533968


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Log file: prism_from-prism_import_ex_fms.8_rep3.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 58.392 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:30:43 GMT+02:00 2026
Hostname: n23m0111.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4965968/tmp9i1oa3ioprism_from-prism_import_ex_fms.8_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965968/tmp9i1oa3ioprism_from-prism_import_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... 305032 586207 870434 1149020 1409867 1691667 1960054 2241232 2498619 2746103 3003273 3266010 3521436 3762720 4004530 4232987 4456982 4459455 states
Reachable states exploration and model construction done in 51.097 secs.
Sorting reachable states list...

Time for model construction: 57.645 seconds.

Type:        CTMC
States:      4459455 (1 initial)
Transitions: 38533968


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Log file: prism_from-prism_import_ex_fms.8_rep4.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 63.232 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:39:38 GMT+02:00 2026
Hostname: n23m0276.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966401/tmp_dp8jwgrprism_from-prism_import_ex_fms.8_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966401/tmp_dp8jwgrprism_from-prism_import_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... 289731 560957 814766 1067984 1325537 1579824 1828653 2073532 2325315 2563027 2809035 3043627 3272143 3508054 3743793 3939350 4147779 4375758 4459455 states
Reachable states exploration and model construction done in 55.399 secs.
Sorting reachable states list...

Time for model construction: 62.544 seconds.

Type:        CTMC
States:      4459455 (1 initial)
Transitions: 38533968


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Log file: prism_from-prism_import_ex_fms.8_rep5.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 62.179 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:23:45 GMT+02:00 2026
Hostname: n23m0056.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962113/tmpitzpkhk8prism_from-prism_import_ex_fms.8_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962113/tmpitzpkhk8prism_from-prism_import_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... 278307 549937 821836 1069356 1317300 1579334 1810970 2056543 2304619 2543984 2799783 3037391 3282295 3512179 3756328 3991668 4224787 4428352 4459455 states
Reachable states exploration and model construction done in 54.468 secs.
Sorting reachable states list...

Time for model construction: 61.419 seconds.

Type:        CTMC
States:      4459455 (1 initial)
Transitions: 38533968


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Log files for model fms.8 and tool configuration prism_from-prism_import_ex