[101.925, 97.268, 100.982, 102.094, 102.509]

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

Version: 4.11
Date: Mon Oct 12 22:42:07 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.4955456/tmpafkkz3opprism_from-prism_to-tra_ex_polling.18-16_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955456/tmp4xwdvvw9prism_from-prism_to-tra_ex_polling.18-16_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955456/tmpafkkz3opprism_from-prism_to-tra_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... 185175 396466 606359 823984 1022678 1261379 1456729 1685019 1907360 2095002 2319813 2515873 2739026 2922991 3124398 3307379 3523227 3700702 3920343 4089395 4305272 4482063 4695361 4866658 5074358 5252881 5444367 5626308 5823814 6025913 6246759 6460079 6699780 6885461 7077888 states
Reachable states exploration and model construction done in 104.16 secs.
Sorting reachable states list...

Time for model construction: 111.082 seconds.

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

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955456/tmp4xwdvvw9prism_from-prism_to-tra_ex_polling.18-16_tmp_outdir_/model.pexp"...
Time for exporting: 101.925 seconds.


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

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

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

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958009/tmpk7mfx7z4prism_from-prism_to-tra_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... 177030 372449 575880 778617 958898 1162688 1343683 1550142 1726259 1924051 2086924 2269452 2458567 2651019 2831127 3000770 3191090 3325810 3536526 3694187 3898399 4076286 4280835 4458244 4662031 4843161 5029719 5209753 5383526 5584349 5793159 5985341 6198174 6373426 6539149 6784023 7012163 7077888 states
Reachable states exploration and model construction done in 111.829 secs.
Sorting reachable states list...

Time for model construction: 119.096 seconds.

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

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958009/tmpmpswwmo6prism_from-prism_to-tra_ex_polling.18-16_tmp_outdir_/model.pexp"...
Time for exporting: 97.268 seconds.


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

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

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

Version: 4.11
Date: Mon Oct 12 23:13:01 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.4956653/tmpq75ab1w_prism_from-prism_to-tra_ex_polling.18-16_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956653/tmpchw775zfprism_from-prism_to-tra_ex_polling.18-16_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956653/tmpq75ab1w_prism_from-prism_to-tra_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... 183289 391199 597061 813111 1019476 1247035 1454531 1673704 1883208 2093473 2311737 2507315 2728011 2917990 3140197 3319350 3525312 3707906 3929398 4099273 4306459 4492442 4709864 4891940 5106149 5288183 5486673 5660348 5880861 6093705 6303549 6523093 6758578 6943527 7077888 states
Reachable states exploration and model construction done in 103.662 secs.
Sorting reachable states list...

Time for model construction: 110.477 seconds.

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

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956653/tmpchw775zfprism_from-prism_to-tra_ex_polling.18-16_tmp_outdir_/model.pexp"...
Time for exporting: 100.982 seconds.


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

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

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

Version: 4.11
Date: Mon Oct 12 22:55:24 GMT+02:00 2026
Hostname: n23m0310.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955981/tmpjcdh6focprism_from-prism_to-tra_ex_polling.18-16_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955981/tmpca0b4x29prism_from-prism_to-tra_ex_polling.18-16_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955981/tmpjcdh6focprism_from-prism_to-tra_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... 177684 383715 586604 789143 989865 1210188 1383533 1604140 1755679 1972946 2132226 2327882 2500801 2682019 2837249 3017102 3196798 3326489 3521351 3683204 3878361 4040331 4225895 4388993 4553766 4733154 4895945 5084890 5244339 5419927 5566849 5736579 5928124 6116083 6306611 6514707 6729388 6930987 7077888 states
Reachable states exploration and model construction done in 116.717 secs.
Sorting reachable states list...

Time for model construction: 124.407 seconds.

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

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955981/tmpca0b4x29prism_from-prism_to-tra_ex_polling.18-16_tmp_outdir_/model.pexp"...
Time for exporting: 102.094 seconds.


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

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

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

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954884/tmp435ppynxprism_from-prism_to-tra_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... 174991 375298 576137 783752 980171 1201065 1385432 1603480 1779756 1996725 2158087 2362280 2522104 2712099 2858521 3039489 3208600 3333294 3525696 3665352 3839831 4007814 4180290 4364687 4517403 4708429 4866100 5034213 5195553 5359480 5546018 5722978 5894774 6070613 6250074 6446191 6596203 6798459 6991117 7077888 states
Reachable states exploration and model construction done in 118.45 secs.
Sorting reachable states list...

Time for model construction: 126.179 seconds.

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

Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4954884/tmpol9djij7prism_from-prism_to-tra_ex_polling.18-16_tmp_outdir_/model.pexp"...
Time for exporting: 102.509 seconds.


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

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