[1635.842, 1400.782, 1511.99, 1658.647, 1402.369]

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 1758.997 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:18:47 GMT+02:00 2026
Hostname: n23m0264.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956904/tmpzyth0bgwprism_from-prism_to-tra-xz_ex_polling.18-16_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956904/tmp9zpwepn2prism_from-prism_to-tra-xz_ex_polling.18-16_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956904/tmpzyth0bgwprism_from-prism_to-tra-xz_ex_polling.18-16_tmp_indir_/model.prism"...

Type:        CTMC
Modules:     server station1 station2 station3 station4 station5 station6 station7 station8 station9 station10 station11 station12 station13 station14 station15 station16 station17 station18
Actions:     [] [loop1a] [loop1b] [serve1] [loop2a] [loop2b] [serve2] [loop3a] [loop3b] [serve3] [loop4a] [loop4b] [serve4] [loop5a] [loop5b] [serve5] [loop6a] [loop6b] [serve6] [loop7a] [loop7b] [serve7] [loop8a] [loop8b] [serve8] [loop9a] [loop9b] [serve9] [loop10a] [loop10b] [serve10] [loop11a] [loop11b] [serve11] [loop12a] [loop12b] [serve12] [loop13a] [loop13b] [serve13] [loop14a] [loop14b] [serve14] [loop15a] [loop15b] [serve15] [loop16a] [loop16b] [serve16] [loop17a] [loop17b] [serve17] [loop18a] [loop18b] [serve18]
Variables:   s a s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18
Labels:      "serve_s2" "serve_s1"

Building model (engine:explicit)...

Computing reachable states... 179932 377115 582156 779375 976816 1176152 1363181 1583816 1765128 1976348 2139500 2353272 2520104 2718828 2887529 3077371 3246556 3415244 3592339 3747185 3949374 4098487 4290391 4446953 4630676 4794593 4961639 5117765 5271664 5474919 5649247 5845365 6023509 6214912 6363799 6567606 6766340 6988313 7077888 states
Reachable states exploration and model construction done in 115.651 secs.
Sorting reachable states list...

Time for model construction: 122.419 seconds.

Type:        CTMC
States:      7077888 (1 initial)
Transitions: 69599232

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956904/tmp9zpwepn2prism_from-prism_to-tra-xz_ex_polling.18-16_tmp_outdir_/model.pexp"...
Time for exporting: 1635.842 seconds.


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

############################## Output files ##############################
model.pexp.xz:	Size of output file is 96858436 bytes

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 1513.132 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:17:38 GMT+02:00 2026
Hostname: n23m0071.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956861/tmpexl1oli7prism_from-prism_to-tra-xz_ex_polling.18-16_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956861/tmp1qdt6tfdprism_from-prism_to-tra-xz_ex_polling.18-16_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956861/tmpexl1oli7prism_from-prism_to-tra-xz_ex_polling.18-16_tmp_indir_/model.prism"...

Type:        CTMC
Modules:     server station1 station2 station3 station4 station5 station6 station7 station8 station9 station10 station11 station12 station13 station14 station15 station16 station17 station18
Actions:     [] [loop1a] [loop1b] [serve1] [loop2a] [loop2b] [serve2] [loop3a] [loop3b] [serve3] [loop4a] [loop4b] [serve4] [loop5a] [loop5b] [serve5] [loop6a] [loop6b] [serve6] [loop7a] [loop7b] [serve7] [loop8a] [loop8b] [serve8] [loop9a] [loop9b] [serve9] [loop10a] [loop10b] [serve10] [loop11a] [loop11b] [serve11] [loop12a] [loop12b] [serve12] [loop13a] [loop13b] [serve13] [loop14a] [loop14b] [serve14] [loop15a] [loop15b] [serve15] [loop16a] [loop16b] [serve16] [loop17a] [loop17b] [serve17] [loop18a] [loop18b] [serve18]
Variables:   s a s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18
Labels:      "serve_s2" "serve_s1"

Building model (engine:explicit)...

Computing reachable states... 183038 392065 599462 815636 1017354 1255841 1449307 1676922 1896540 2082895 2298735 2499585 2718229 2906457 3124322 3305764 3515015 3691128 3904424 4082696 4295203 4473172 4682519 4864197 5056290 5226844 5426051 5620646 5836728 6029856 6240792 6463742 6638395 6887355 7077888 states
Reachable states exploration and model construction done in 104.459 secs.
Sorting reachable states list...

Time for model construction: 111.632 seconds.

Type:        CTMC
States:      7077888 (1 initial)
Transitions: 69599232

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956861/tmp1qdt6tfdprism_from-prism_to-tra-xz_ex_polling.18-16_tmp_outdir_/model.pexp"...
Time for exporting: 1400.782 seconds.


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

############################## Output files ##############################
model.pexp.xz:	Size of output file is 96858436 bytes

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 1632.358 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 00:02:28 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.4958517/tmp499vobgvprism_from-prism_to-tra-xz_ex_polling.18-16_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958517/tmp3fa59fd8prism_from-prism_to-tra-xz_ex_polling.18-16_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958517/tmp499vobgvprism_from-prism_to-tra-xz_ex_polling.18-16_tmp_indir_/model.prism"...

Type:        CTMC
Modules:     server station1 station2 station3 station4 station5 station6 station7 station8 station9 station10 station11 station12 station13 station14 station15 station16 station17 station18
Actions:     [] [loop1a] [loop1b] [serve1] [loop2a] [loop2b] [serve2] [loop3a] [loop3b] [serve3] [loop4a] [loop4b] [serve4] [loop5a] [loop5b] [serve5] [loop6a] [loop6b] [serve6] [loop7a] [loop7b] [serve7] [loop8a] [loop8b] [serve8] [loop9a] [loop9b] [serve9] [loop10a] [loop10b] [serve10] [loop11a] [loop11b] [serve11] [loop12a] [loop12b] [serve12] [loop13a] [loop13b] [serve13] [loop14a] [loop14b] [serve14] [loop15a] [loop15b] [serve15] [loop16a] [loop16b] [serve16] [loop17a] [loop17b] [serve17] [loop18a] [loop18b] [serve18]
Variables:   s a s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18
Labels:      "serve_s2" "serve_s1"

Building model (engine:explicit)...

Computing reachable states... 176578 375135 580915 788310 991104 1216798 1390906 1624687 1807714 2025475 2207349 2407553 2587877 2795573 2940898 3153168 3304517 3493863 3654786 3828968 3988995 4153474 4343435 4502285 4701118 4868620 5058848 5223401 5402284 5570639 5769613 5962926 6165554 6351697 6574768 6791438 6991813 7077888 states
Reachable states exploration and model construction done in 112.009 secs.
Sorting reachable states list...

Time for model construction: 119.532 seconds.

Type:        CTMC
States:      7077888 (1 initial)
Transitions: 69599232

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958517/tmp3fa59fd8prism_from-prism_to-tra-xz_ex_polling.18-16_tmp_outdir_/model.pexp"...
Time for exporting: 1511.99 seconds.


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

############################## Output files ##############################
model.pexp.xz:	Size of output file is 96858436 bytes

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 1785.227 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:18:12 GMT+02:00 2026
Hostname: n23m0254.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956880/tmpk03ba2jqprism_from-prism_to-tra-xz_ex_polling.18-16_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956880/tmp4wfudi5gprism_from-prism_to-tra-xz_ex_polling.18-16_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956880/tmpk03ba2jqprism_from-prism_to-tra-xz_ex_polling.18-16_tmp_indir_/model.prism"...

Type:        CTMC
Modules:     server station1 station2 station3 station4 station5 station6 station7 station8 station9 station10 station11 station12 station13 station14 station15 station16 station17 station18
Actions:     [] [loop1a] [loop1b] [serve1] [loop2a] [loop2b] [serve2] [loop3a] [loop3b] [serve3] [loop4a] [loop4b] [serve4] [loop5a] [loop5b] [serve5] [loop6a] [loop6b] [serve6] [loop7a] [loop7b] [serve7] [loop8a] [loop8b] [serve8] [loop9a] [loop9b] [serve9] [loop10a] [loop10b] [serve10] [loop11a] [loop11b] [serve11] [loop12a] [loop12b] [serve12] [loop13a] [loop13b] [serve13] [loop14a] [loop14b] [serve14] [loop15a] [loop15b] [serve15] [loop16a] [loop16b] [serve16] [loop17a] [loop17b] [serve17] [loop18a] [loop18b] [serve18]
Variables:   s a s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18
Labels:      "serve_s2" "serve_s1"

Building model (engine:explicit)...

Computing reachable states... 175949 374821 579272 777680 977758 1196930 1374472 1592997 1767475 1985231 2148791 2343650 2505026 2694038 2844880 3012154 3197301 3320048 3504407 3656190 3829631 3999007 4165369 4339014 4490464 4678229 4841342 5012290 5176516 5340524 5525975 5693776 5886465 6060334 6227228 6432169 6602241 6811771 7029700 7077888 states
Reachable states exploration and model construction done in 118.219 secs.
Sorting reachable states list...

Time for model construction: 125.845 seconds.

Type:        CTMC
States:      7077888 (1 initial)
Transitions: 69599232

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956880/tmp4wfudi5gprism_from-prism_to-tra-xz_ex_polling.18-16_tmp_outdir_/model.pexp"...
Time for exporting: 1658.647 seconds.


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

############################## Output files ##############################
model.pexp.xz:	Size of output file is 96858436 bytes

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 1514.239 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 22:44:58 GMT+02:00 2026
Hostname: n23m0279.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955560/tmpp9cws8k7prism_from-prism_to-tra-xz_ex_polling.18-16_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955560/tmpf730cg6aprism_from-prism_to-tra-xz_ex_polling.18-16_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955560/tmpp9cws8k7prism_from-prism_to-tra-xz_ex_polling.18-16_tmp_indir_/model.prism"...

Type:        CTMC
Modules:     server station1 station2 station3 station4 station5 station6 station7 station8 station9 station10 station11 station12 station13 station14 station15 station16 station17 station18
Actions:     [] [loop1a] [loop1b] [serve1] [loop2a] [loop2b] [serve2] [loop3a] [loop3b] [serve3] [loop4a] [loop4b] [serve4] [loop5a] [loop5b] [serve5] [loop6a] [loop6b] [serve6] [loop7a] [loop7b] [serve7] [loop8a] [loop8b] [serve8] [loop9a] [loop9b] [serve9] [loop10a] [loop10b] [serve10] [loop11a] [loop11b] [serve11] [loop12a] [loop12b] [serve12] [loop13a] [loop13b] [serve13] [loop14a] [loop14b] [serve14] [loop15a] [loop15b] [serve15] [loop16a] [loop16b] [serve16] [loop17a] [loop17b] [serve17] [loop18a] [loop18b] [serve18]
Variables:   s a s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18
Labels:      "serve_s2" "serve_s1"

Building model (engine:explicit)...

Computing reachable states... 184043 394981 612810 824257 1028397 1262096 1458465 1686869 1909853 2096887 2320517 2503148 2722303 2907488 3123159 3304821 3516223 3695417 3908114 4079849 4294361 4478806 4692656 4875241 5067100 5239708 5427650 5628116 5849069 6049096 6271499 6501623 6684821 6910143 7077888 states
Reachable states exploration and model construction done in 104.259 secs.
Sorting reachable states list...

Time for model construction: 111.083 seconds.

Type:        CTMC
States:      7077888 (1 initial)
Transitions: 69599232

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955560/tmpf730cg6aprism_from-prism_to-tra-xz_ex_polling.18-16_tmp_outdir_/model.pexp"...
Time for exporting: 1402.369 seconds.


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

############################## Output files ##############################
model.pexp.xz:	Size of output file is 96858436 bytes