MCC'2017 - Execution of r018-ebro-149436308900137

About the Execution of LoLA for CSRepetitions-PT-10

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
7220.760	3540232.00	3557578.00	750.20	? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?	normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be
..................
======
Generated by BenchKit 2-3253
Executing tool lola
Input is CSRepetitions-PT-10,
Time confinement
Memory confinement
Number of cores is 4
Run identifier
============================

--------------------
content from stdout:

=== Data for post analysis

The expected result
NUM_VECTOR

here is the order used
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C
FORMULA_NAME CSRepetitions-C

=== Now, execution

BK_START 1494621260866

Time: 3600 - MCC
----- Start make prepare
checking for too many tokens
----- Start make result
UpperBounds @ CSRepetitions-PT-10
----- Start make result
lola: LoLA will run
lola: NET
lola: reading net
lola: finished parsing
lola: closed net
lola: 3611/65536
lola: preprocessing...
lola: finding significant
lola: 1311 places,
lola: computing forward-conflicting
lola: computing back-conflicting
lola: 3501 transition
lola: TASK
lola: reading formula
lola: MAX(RequestBuffer_100
lola: computing a
lola: RUNNING
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 20910 markings,
lola: 42182 markings,
lola: 63163 markings,
lola: 84354 markings,
lola: 105461 markings,
lola: 126437 markings,
lola: 147537 markings,
lola: 168593 markings,
lola: 189537 markings,
lola: 210470 markings,
lola: 231314 markings,
lola: 252149 markings,
lola: 273010 markings,
lola: 294076 markings,
lola: 315045 markings,
lola: 335921 markings,
lola: 356846 markings,
lola: 377622 markings,
lola: 398308 markings,
lola: 419224 markings,
lola: 439984 markings,
lola: 460514 markings,
lola: 481306 markings,
lola: 501878 markings,
lola: 522320 markings,
lola: 543217 markings,
lola: 564078 markings,
lola: 584786 markings,
lola: 605387 markings,
lola: 625871 markings,
lola: 646107 markings,
lola: 666255 markings,
lola: 686531 markings,
lola: 706637 markings,
lola: 726649 markings,
lola: 746830 markings,
lola: 766846 markings,
lola: 786599 markings,
lola: 807055 markings,
lola: 827369 markings,
lola: 847534 markings,
lola: 867738 markings,
lola: 887791 markings,
lola: 907735 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 48587 markings,
lola: 95387 markings,
lola: 140339 markings,
lola: 185016 markings,
lola: 229616 markings,
lola: 274895 markings,
lola: 320938 markings,
lola: 366343 markings,
lola: 411071 markings,
lola: 455555 markings,
lola: 500046 markings,
lola: 544876 markings,
lola: 589362 markings,
lola: 634529 markings,
lola: 678975 markings,
lola: 722870 markings,
lola: 765746 markings,
lola: 808991 markings,
lola: 852197 markings,
lola: 895576 markings,
lola: 938251 markings,
lola: 980612 markings,
lola: 1021910 markings,
lola: 1063391 markings,
lola: 1108093 markings,
lola: 1152246 markings,
lola: 1195464 markings,
lola: 1238911 markings,
lola: 1281958 markings,
lola: 1324886 markings,
lola: 1368379 markings,
lola: 1411406 markings,
lola: 1454004 markings,
lola: 1496675 markings,
lola: 1538512 markings,
lola: 1579963 markings,
lola: 1624219 markings,
lola: 1667645 markings,
lola: 1710379 markings,
lola: 1753463 markings,
lola: 1795888 markings,
lola: 1836525 markings,
lola: 1878443 markings,
lola: 1919605 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 22550 markings,
lola: 45200 markings,
lola: 67703 markings,
lola: 90148 markings,
lola: 112218 markings,
lola: 134602 markings,
lola: 156968 markings,
lola: 179490 markings,
lola: 202051 markings,
lola: 224603 markings,
lola: 247255 markings,
lola: 269863 markings,
lola: 292413 markings,
lola: 315109 markings,
lola: 337787 markings,
lola: 360429 markings,
lola: 383072 markings,
lola: 405679 markings,
lola: 428270 markings,
lola: 450854 markings,
lola: 473451 markings,
lola: 495733 markings,
lola: 517909 markings,
lola: 540116 markings,
lola: 562291 markings,
lola: 584432 markings,
lola: 606731 markings,
lola: 629346 markings,
lola: 651997 markings,
lola: 674609 markings,
lola: 697220 markings,
lola: 719784 markings,
lola: 742306 markings,
lola: 764753 markings,
lola: 787155 markings,
lola: 809504 markings,
lola: 831891 markings,
lola: 854227 markings,
lola: 876521 markings,
lola: 898894 markings,
lola: 921044 markings,
lola: 943447 markings,
lola: 965786 markings,
lola: 988070 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 48720 markings,
lola: 96319 markings,
lola: 143335 markings,
lola: 189691 markings,
lola: 235389 markings,
lola: 280980 markings,
lola: 326656 markings,
lola: 372520 markings,
lola: 417849 markings,
lola: 462838 markings,
lola: 507419 markings,
lola: 552959 markings,
lola: 598840 markings,
lola: 643943 markings,
lola: 689070 markings,
lola: 733765 markings,
lola: 777656 markings,
lola: 822722 markings,
lola: 867365 markings,
lola: 911221 markings,
lola: 955511 markings,
lola: 998489 markings,
lola: 1040530 markings,
lola: 1085419 markings,
lola: 1130478 markings,
lola: 1175186 markings,
lola: 1220306 markings,
lola: 1264294 markings,
lola: 1307650 markings,
lola: 1352766 markings,
lola: 1396990 markings,
lola: 1440060 markings,
lola: 1484212 markings,
lola: 1527201 markings,
lola: 1569200 markings,
lola: 1613970 markings,
lola: 1658136 markings,
lola: 1701204 markings,
lola: 1745002 markings,
lola: 1787617 markings,
lola: 1829049 markings,
lola: 1871855 markings,
lola: 1914213 markings,
lola: 1956094 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 62045 markings,
lola: 123277 markings,
lola: 183468 markings,
lola: 242980 markings,
lola: 301864 markings,
lola: 359362 markings,
lola: 417639 markings,
lola: 476867 markings,
lola: 536393 markings,
lola: 595394 markings,
lola: 654284 markings,
lola: 711814 markings,
lola: 770422 markings,
lola: 829646 markings,
lola: 888905 markings,
lola: 947022 markings,
lola: 1004087 markings,
lola: 1060358 markings,
lola: 1116525 markings,
lola: 1172033 markings,
lola: 1228125 markings,
lola: 1283084 markings,
lola: 1337664 markings,
lola: 1388394 markings,
lola: 1437851 markings,
lola: 1484535 markings,
lola: 1525300 markings,
lola: 1563567 markings,
lola: 1591948 markings,
lola: 1620331 markings,
lola: 1648336 markings,
lola: 1676232 markings,
lola: 1704191 markings,
lola: 1732160 markings,
lola: 1759968 markings,
lola: 1787847 markings,
lola: 1815441 markings,
lola: 1842796 markings,
lola: 1870593 markings,
lola: 1897924 markings,
lola: 1925655 markings,
lola: 1949404 markings,
lola: 1974218 markings,
lola: 2000758 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 22569 markings,
lola: 45296 markings,
lola: 68008 markings,
lola: 90709 markings,
lola: 113389 markings,
lola: 136050 markings,
lola: 158696 markings,
lola: 181372 markings,
lola: 204042 markings,
lola: 226689 markings,
lola: 249356 markings,
lola: 271916 markings,
lola: 294487 markings,
lola: 317252 markings,
lola: 339964 markings,
lola: 362633 markings,
lola: 385312 markings,
lola: 407946 markings,
lola: 430513 markings,
lola: 453133 markings,
lola: 475681 markings,
lola: 498058 markings,
lola: 520344 markings,
lola: 542635 markings,
lola: 564690 markings,
lola: 586966 markings,
lola: 609442 markings,
lola: 631911 markings,
lola: 654369 markings,
lola: 676918 markings,
lola: 699539 markings,
lola: 722156 markings,
lola: 744759 markings,
lola: 767337 markings,
lola: 789948 markings,
lola: 812500 markings,
lola: 835093 markings,
lola: 857628 markings,
lola: 880107 markings,
lola: 902724 markings,
lola: 925344 markings,
lola: 947934 markings,
lola: 970528 markings,
lola: 993052 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 61974 markings,
lola: 123986 markings,
lola: 185098 markings,
lola: 245512 markings,
lola: 305635 markings,
lola: 364294 markings,
lola: 423643 markings,
lola: 483105 markings,
lola: 543375 markings,
lola: 601825 markings,
lola: 661305 markings,
lola: 719116 markings,
lola: 777616 markings,
lola: 836889 markings,
lola: 896282 markings,
lola: 954582 markings,
lola: 1011888 markings,
lola: 1068260 markings,
lola: 1124116 markings,
lola: 1179749 markings,
lola: 1235118 markings,
lola: 1290784 markings,
lola: 1344234 markings,
lola: 1394757 markings,
lola: 1444230 markings,
lola: 1490361 markings,
lola: 1531259 markings,
lola: 1567768 markings,
lola: 1595906 markings,
lola: 1624165 markings,
lola: 1651941 markings,
lola: 1679728 markings,
lola: 1707539 markings,
lola: 1735361 markings,
lola: 1762897 markings,
lola: 1790609 markings,
lola: 1818273 markings,
lola: 1845829 markings,
lola: 1873718 markings,
lola: 1901183 markings,
lola: 1928938 markings,
lola: 1952016 markings,
lola: 1978145 markings,
lola: 2005445 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 21193 markings,
lola: 42504 markings,
lola: 63705 markings,
lola: 84968 markings,
lola: 106126 markings,
lola: 127042 markings,
lola: 147978 markings,
lola: 169002 markings,
lola: 189952 markings,
lola: 210935 markings,
lola: 231821 markings,
lola: 252733 markings,
lola: 273726 markings,
lola: 294847 markings,
lola: 315957 markings,
lola: 336934 markings,
lola: 357857 markings,
lola: 378561 markings,
lola: 399184 markings,
lola: 420067 markings,
lola: 440858 markings,
lola: 461465 markings,
lola: 482325 markings,
lola: 502927 markings,
lola: 523417 markings,
lola: 544400 markings,
lola: 565198 markings,
lola: 585898 markings,
lola: 606652 markings,
lola: 627311 markings,
lola: 647853 markings,
lola: 668469 markings,
lola: 689090 markings,
lola: 709673 markings,
lola: 730127 markings,
lola: 750605 markings,
lola: 770924 markings,
lola: 791174 markings,
lola: 811938 markings,
lola: 832507 markings,
lola: 852836 markings,
lola: 873102 markings,
lola: 893334 markings,
lola: 913509 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 22812 markings,
lola: 45541 markings,
lola: 68215 markings,
lola: 90779 markings,
lola: 113272 markings,
lola: 135746 markings,
lola: 158216 markings,
lola: 180695 markings,
lola: 203146 markings,
lola: 225580 markings,
lola: 248003 markings,
lola: 270356 markings,
lola: 292649 markings,
lola: 315129 markings,
lola: 337661 markings,
lola: 360245 markings,
lola: 382850 markings,
lola: 405452 markings,
lola: 428029 markings,
lola: 450573 markings,
lola: 473169 markings,
lola: 495730 markings,
lola: 518261 markings,
lola: 540853 markings,
lola: 563364 markings,
lola: 585835 markings,
lola: 608495 markings,
lola: 631168 markings,
lola: 653807 markings,
lola: 676431 markings,
lola: 699032 markings,
lola: 721612 markings,
lola: 744179 markings,
lola: 766815 markings,
lola: 789397 markings,
lola: 811903 markings,
lola: 834472 markings,
lola: 856979 markings,
lola: 879460 markings,
lola: 902054 markings,
lola: 924644 markings,
lola: 947159 markings,
lola: 969447 markings,
lola: 991722 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 48607 markings,
lola: 95937 markings,
lola: 142664 markings,
lola: 189046 markings,
lola: 234983 markings,
lola: 280939 markings,
lola: 326988 markings,
lola: 372871 markings,
lola: 418180 markings,
lola: 463107 markings,
lola: 507528 markings,
lola: 553053 markings,
lola: 598967 markings,
lola: 644046 markings,
lola: 688988 markings,
lola: 733570 markings,
lola: 777423 markings,
lola: 822279 markings,
lola: 867130 markings,
lola: 911120 markings,
lola: 955528 markings,
lola: 999223 markings,
lola: 1042219 markings,
lola: 1088261 markings,
lola: 1133896 markings,
lola: 1178208 markings,
lola: 1223431 markings,
lola: 1267776 markings,
lola: 1311127 markings,
lola: 1356299 markings,
lola: 1400269 markings,
lola: 1443327 markings,
lola: 1487216 markings,
lola: 1529863 markings,
lola: 1571351 markings,
lola: 1616648 markings,
lola: 1660917 markings,
lola: 1704046 markings,
lola: 1748383 markings,
lola: 1791459 markings,
lola: 1833476 markings,
lola: 1877553 markings,
lola: 1920679 markings,
lola: 1962794 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 22966 markings,
lola: 45734 markings,
lola: 68472 markings,
lola: 91229 markings,
lola: 113934 markings,
lola: 136599 markings,
lola: 159284 markings,
lola: 181994 markings,
lola: 204639 markings,
lola: 227101 markings,
lola: 249576 markings,
lola: 272019 markings,
lola: 294386 markings,
lola: 316935 markings,
lola: 339419 markings,
lola: 361866 markings,
lola: 384278 markings,
lola: 406644 markings,
lola: 428968 markings,
lola: 451333 markings,
lola: 473763 markings,
lola: 496140 markings,
lola: 518450 markings,
lola: 540815 markings,
lola: 563119 markings,
lola: 585383 markings,
lola: 607850 markings,
lola: 630414 markings,
lola: 653028 markings,
lola: 675642 markings,
lola: 698162 markings,
lola: 720717 markings,
lola: 743264 markings,
lola: 765893 markings,
lola: 788472 markings,
lola: 810979 markings,
lola: 833540 markings,
lola: 856047 markings,
lola: 878518 markings,
lola: 901089 markings,
lola: 923684 markings,
lola: 946171 markings,
lola: 968571 markings,
lola: 990979 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 20490 markings,
lola: 41669 markings,
lola: 62812 markings,
lola: 83909 markings,
lola: 104914 markings,
lola: 125787 markings,
lola: 146778 markings,
lola: 167804 markings,
lola: 188858 markings,
lola: 209868 markings,
lola: 230826 markings,
lola: 251748 markings,
lola: 272727 markings,
lola: 293878 markings,
lola: 314904 markings,
lola: 335810 markings,
lola: 356761 markings,
lola: 377581 markings,
lola: 398338 markings,
lola: 419336 markings,
lola: 440123 markings,
lola: 460692 markings,
lola: 481535 markings,
lola: 502152 markings,
lola: 522619 markings,
lola: 543532 markings,
lola: 564390 markings,
lola: 585080 markings,
lola: 605795 markings,
lola: 626395 markings,
lola: 646919 markings,
lola: 667472 markings,
lola: 688043 markings,
lola: 708539 markings,
lola: 728932 markings,
lola: 749357 markings,
lola: 769627 markings,
lola: 789740 markings,
lola: 810410 markings,
lola: 830827 markings,
lola: 851155 markings,
lola: 871648 markings,
lola: 891992 markings,
lola: 912181 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 49216 markings,
lola: 95780 markings,
lola: 142791 markings,
lola: 189446 markings,
lola: 235734 markings,
lola: 281770 markings,
lola: 327939 markings,
lola: 374091 markings,
lola: 419677 markings,
lola: 464875 markings,
lola: 509422 markings,
lola: 555081 markings,
lola: 600975 markings,
lola: 645967 markings,
lola: 691079 markings,
lola: 735304 markings,
lola: 778700 markings,
lola: 823409 markings,
lola: 867588 markings,
lola: 910103 markings,
lola: 952617 markings,
lola: 995372 markings,
lola: 1038199 markings,
lola: 1083555 markings,
lola: 1129133 markings,
lola: 1173826 markings,
lola: 1218939 markings,
lola: 1263220 markings,
lola: 1306611 markings,
lola: 1351650 markings,
lola: 1395971 markings,
lola: 1439307 markings,
lola: 1483361 markings,
lola: 1526657 markings,
lola: 1569017 markings,
lola: 1614190 markings,
lola: 1658700 markings,
lola: 1702061 markings,
lola: 1746357 markings,
lola: 1789548 markings,
lola: 1831420 markings,
lola: 1875048 markings,
lola: 1917884 markings,
lola: 1960167 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 22842 markings,
lola: 45529 markings,
lola: 68141 markings,
lola: 90742 markings,
lola: 113191 markings,
lola: 135617 markings,
lola: 158038 markings,
lola: 180496 markings,
lola: 202917 markings,
lola: 225309 markings,
lola: 247707 markings,
lola: 270070 markings,
lola: 292376 markings,
lola: 314893 markings,
lola: 337511 markings,
lola: 360092 markings,
lola: 382684 markings,
lola: 405198 markings,
lola: 427707 markings,
lola: 450175 markings,
lola: 472632 markings,
lola: 494950 markings,
lola: 517153 markings,
lola: 539389 markings,
lola: 561560 markings,
lola: 583712 markings,
lola: 606002 markings,
lola: 627947 markings,
lola: 650284 markings,
lola: 672658 markings,
lola: 695087 markings,
lola: 717162 markings,
lola: 739474 markings,
lola: 761878 markings,
lola: 784231 markings,
lola: 806590 markings,
lola: 828977 markings,
lola: 851333 markings,
lola: 873620 markings,
lola: 895957 markings,
lola: 918376 markings,
lola: 940763 markings,
lola: 963292 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 20935 markings,
lola: 42254 markings,
lola: 63421 markings,
lola: 84661 markings,
lola: 105777 markings,
lola: 126764 markings,
lola: 147903 markings,
lola: 169002 markings,
lola: 189982 markings,
lola: 210958 markings,
lola: 231643 markings,
lola: 252331 markings,
lola: 273157 markings,
lola: 294260 markings,
lola: 315287 markings,
lola: 336223 markings,
lola: 357202 markings,
lola: 378040 markings,
lola: 398798 markings,
lola: 419782 markings,
lola: 440630 markings,
lola: 461197 markings,
lola: 481954 markings,
lola: 502501 markings,
lola: 522900 markings,
lola: 543751 markings,
lola: 564526 markings,
lola: 585176 markings,
lola: 605838 markings,
lola: 626379 markings,
lola: 646888 markings,
lola: 667423 markings,
lola: 687987 markings,
lola: 708503 markings,
lola: 728866 markings,
lola: 749300 markings,
lola: 769550 markings,
lola: 789637 markings,
lola: 810306 markings,
lola: 830854 markings,
lola: 851297 markings,
lola: 871889 markings,
lola: 892303 markings,
lola: 912550 markings,
lola: local time
lola: Child process
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 4804
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 49311 markings,
lola: 97424 markings,
lola: 144746 markings,
lola: 191629 markings,
lola: 238045 markings,
lola: 284380 markings,
lola: 330710 markings,
lola: 376589 markings,
lola: 422217 markings,
lola: 467451 markings,
lola: 512098 markings,
lola: 558091 markings,
lola: 604282 markings,
lola: 649425 markings,
lola: 694973 markings,
lola: 739822 markings,
lola: 783642 markings,
lola: 829336 markings,
lola: 874091 markings,
lola: 917646 markings,
lola: 962394 markings,
lola: 1005821 markings,
lola: 1048031 markings,
lola: 1094595 markings,
lola: 1140242 markings,
lola: 1185081 markings,
lola: 1230180 markings,
lola: 1274645 markings,
lola: 1318468 markings,
lola: 1363726 markings,
lola: 1408080 markings,
lola: 1452017 markings,
lola: 1495891 markings,
lola: 1539024 markings,
lola: 1582253 markings,
lola: 1627448 markings,
lola: 1671663 markings,
lola: 1715743 markings,
lola: 1759723 markings,
lola: 1802958 markings,
lola: 1846093 markings,
lola: 1889798 markings,
lola: 1932810 markings,
lola: 1975382 markings,
lola: time limit
lola: lola:
preliminary result:

FORMULA CSRepetitions-COL
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
----- Kill lola
----- Finished stdout -----

BK_STOP 1494624801098

--------------------
content from stderr:

----- Start make prepare
----- Start make result
----- Start make result
----- Kill lola and
----- Finished stderr -----
ready (probing ssh) =============================================================== examination is UpperBounds is 3600 seconds is 16384 MBytes is r018-ebro-149436308900137 ========================================= generated by BenchKit (invocation template) is a vector of positive values to build the result vector(from text file) OL-10-UpperBounds-0 OL-10-UpperBounds-1 OL-10-UpperBounds-10 OL-10-UpperBounds-11 OL-10-UpperBounds-12 OL-10-UpperBounds-13 OL-10-UpperBounds-14 OL-10-UpperBounds-15 OL-10-UpperBounds-2 OL-10-UpperBounds-3 OL-10-UpperBounds-4 OL-10-UpperBounds-5 OL-10-UpperBounds-6 OL-10-UpperBounds-7 OL-10-UpperBounds-8 OL-10-UpperBounds-9 of the tool begins stdout ----- stdout ----- @ 3540 seconds stdout ----- for 3540 seconds at most (--timelimit) from model.pnml.lola file model.pnml.lola symbol table entries, 88 collisions places 2300 transitions, 1201 significant places sets sets conflict sets from CSRepetitions-COL-10-UpperBounds.task + RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + RequestBuffer_22 + RequestBuffer_23 + RequestBuffer_24 + RequestBuffer_25 + RequestBuffer_26 + RequestBuffer_27 + RequestBuffer_28 + RequestBuffer_29 + RequestBuffer_30 + RequestBuffer_31 + RequestBuffer_32 + RequestBuffer_33 + RequestBuffer_34 + RequestBuffer_35 + RequestBuffer_36 + RequestBuffer_37 + RequestBuffer_38 + RequestBuffer_39 + RequestBuffer_40 + RequestBuffer_41 + RequestBuffer_42 + RequestBuffer_43 + RequestBuffer_44 + RequestBuffer_45 + RequestBuffer_46 + RequestBuffer_47 + RequestBuffer_48 + RequestBuffer_49 + RequestBuffer_50 + RequestBuffer_51 + RequestBuffer_52 + RequestBuffer_53 + RequestBuffer_54 + RequestBuffer_55 + RequestBuffer_56 + RequestBuffer_57 + RequestBuffer_58 + RequestBuffer_59 + RequestBuffer_60 + RequestBuffer_61 + RequestBuffer_62 + RequestBuffer_63 + RequestBuffer_64 + RequestBuffer_65 + RequestBuffer_66 + RequestBuffer_67 + RequestBuffer_68 + RequestBuffer_69 + RequestBuffer_70 + RequestBuffer_71 + RequestBuffer_72 + RequestBuffer_73 + RequestBuffer_74 + RequestBuffer_75 + RequestBuffer_76 + RequestBuffer_77 + RequestBuffer_78 + RequestBuffer_79 + RequestBuffer_80 + RequestBuffer_81 + RequestBuffer_82 + RequestBuffer_83 + RequestBuffer_84 + RequestBuffer_85 + RequestBuffer_86 + RequestBuffer_87 + RequestBuffer_88 + RequestBuffer_89 + RequestBuffer_90 + RequestBuffer_91 + RequestBuffer_92 + RequestBuffer_93 + RequestBuffer_94 + RequestBuffer_95 + RequestBuffer_96 + RequestBuffer_97 + RequestBuffer_98 + RequestBuffer_99) : MAX(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_26 + Client_Sending_27 + Client_Sending_28 + Client_Sending_29 + Client_Sending_30 + Client_Sending_31 + Client_Sending_32 + Client_Sending_33 + Client_Sending_34 + Client_Sending_35 + Client_Sending_36 + Client_Sending_37 + Client_Sending_38 + Client_Sending_39 + Client_Sending_40 + Client_Sending_41 + Client_Sending_42 + Client_Sending_43 + Client_Sending_44 + Client_Sending_45 + Client_Sending_46 + Client_Sending_47 + Client_Sending_48 + Client_Sending_49 + Client_Sending_50 + Client_Sending_51 + Client_Sending_52 + Client_Sending_53 + Client_Sending_54 + Client_Sending_55 + Client_Sending_56 + Client_Sending_57 + Client_Sending_58 + Client_Sending_59 + Client_Sending_60 + Client_Sending_61 + Client_Sending_62 + Client_Sending_63 + Client_Sending_64 + Client_Sending_65 + Client_Sending_66 + Client_Sending_67 + Client_Sending_68 + Client_Sending_69 + Client_Sending_70 + Client_Sending_71 + Client_Sending_72 + Client_Sending_73 + Client_Sending_74 + Client_Sending_75 + Client_Sending_76 + Client_Sending_77 + Client_Sending_78 + Client_Sending_79 + Client_Sending_80 + Client_Sending_81 + Client_Sending_82 + Client_Sending_83 + Client_Sending_84 + Client_Sending_85 + Client_Sending_86 + Client_Sending_87 + Client_Sending_88 + Client_Sending_89 + Client_Sending_90 + Client_Sending_91 + Client_Sending_92 + Client_Sending_93 + Client_Sending_94 + Client_Sending_95 + Client_Sending_96 + Client_Sending_97 + Client_Sending_98 + Client_Sending_99 + Client_Sending_100 + Client_Sending_9 + Client_Sending_8 + Client_Sending_7 + Client_Sending_6 + Client_Sending_5 + Client_Sending_4 + Client_Sending_3 + Client_Sending_2 + Client_Sending_1) : MAX(RequestBufferSlots) : MAX(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_26 + Client_Sending_27 + Client_Sending_28 + Client_Sending_29 + Client_Sending_30 + Client_Sending_31 + Client_Sending_32 + Client_Sending_33 + Client_Sending_34 + Client_Sending_35 + Client_Sending_36 + Client_Sending_37 + Client_Sending_38 + Client_Sending_39 + Client_Sending_40 + Client_Sending_41 + Client_Sending_42 + Client_Sending_43 + Client_Sending_44 + Client_Sending_45 + Client_Sending_46 + Client_Sending_47 + Client_Sending_48 + Client_Sending_49 + Client_Sending_50 + Client_Sending_51 + Client_Sending_52 + Client_Sending_53 + Client_Sending_54 + Client_Sending_55 + Client_Sending_56 + Client_Sending_57 + Client_Sending_58 + Client_Sending_59 + Client_Sending_60 + Client_Sending_61 + Client_Sending_62 + Client_Sending_63 + Client_Sending_64 + Client_Sending_65 + Client_Sending_66 + Client_Sending_67 + Client_Sending_68 + Client_Sending_69 + Client_Sending_70 + Client_Sending_71 + Client_Sending_72 + Client_Sending_73 + Client_Sending_74 + Client_Sending_75 + Client_Sending_76 + Client_Sending_77 + Client_Sending_78 + Client_Sending_79 + Client_Sending_80 + Client_Sending_81 + Client_Sending_82 + Client_Sending_83 + Client_Sending_84 + Client_Sending_85 + Client_Sending_86 + Client_Sending_87 + Client_Sending_88 + Client_Sending_89 + Client_Sending_90 + Client_Sending_91 + Client_Sending_92 + Client_Sending_93 + Client_Sending_94 + Client_Sending_95 + Client_Sending_96 + Client_Sending_97 + Client_Sending_98 + Client_Sending_99 + Client_Sending_100 + Client_Sending_9 + Client_Sending_8 + Client_Sending_7 + Client_Sending_6 + Client_Sending_5 + Client_Sending_4 + Client_Sending_3 + Client_Sending_2 + Client_Sending_1) : MAX(Server_Waiting_10 + Server_Waiting_9 + Server_Waiting_8 + Server_Waiting_7 + Server_Waiting_6 + Server_Waiting_5 + Server_Waiting_4 + Server_Waiting_3 + Server_Waiting_2 + Server_Waiting_1) : MAX(Server_Anwering_4_1 + Server_Anwering_4_2 + Server_Anwering_4_3 + Server_Anwering_4_4 + Server_Anwering_4_5 + Server_Anwering_4_6 + Server_Anwering_4_7 + Server_Anwering_4_8 + Server_Anwering_4_9 + Server_Anwering_19_10 + Server_Anwering_49_1 + Server_Anwering_49_2 + Server_Anwering_49_3 + Server_Anwering_49_4 + Server_Anwering_49_5 + Server_Anwering_49_6 + Server_Anwering_49_7 + Server_Anwering_49_8 + Server_Anwering_49_9 + Server_Anwering_36_1 + Server_Anwering_36_2 + Server_Anwering_36_3 + Server_Anwering_36_4 + Server_Anwering_36_5 + Server_Anwering_36_6 + Server_Anwering_36_7 + Server_Anwering_36_8 + Server_Anwering_36_9 + Server_Anwering_23_1 + Server_Anwering_23_2 + Server_Anwering_23_3 + Server_Anwering_23_4 + Server_Anwering_23_5 + Server_Anwering_23_6 + Server_Anwering_23_7 + Server_Anwering_23_8 + Server_Anwering_23_9 + Server_Anwering_10_1 + Server_Anwering_10_2 + Server_Anwering_10_3 + Server_Anwering_10_4 + Server_Anwering_10_5 + Server_Anwering_10_6 + Server_Anwering_10_7 + Server_Anwering_10_8 + Server_Anwering_10_9 + Server_Anwering_98_1 + Server_Anwering_98_2 + Server_Anwering_98_3 + Server_Anwering_98_4 + Server_Anwering_98_5 + Server_Anwering_98_6 + Server_Anwering_98_7 + Server_Anwering_98_8 + Server_Anwering_98_9 + Server_Anwering_85_1 + Server_Anwering_85_2 + Server_Anwering_85_3 + Server_Anwering_85_4 + Server_Anwering_85_5 + Server_Anwering_85_6 + Server_Anwering_85_7 + Server_Anwering_85_8 + Server_Anwering_85_9 + Server_Anwering_72_1 + Server_Anwering_72_2 + Server_Anwering_72_3 + Server_Anwering_72_4 + Server_Anwering_72_5 + Server_Anwering_72_6 + Server_Anwering_72_7 + Server_Anwering_72_8 + Server_Anwering_72_9 + Server_Anwering_20_10 + Server_Anwering_32_10 + Server_Anwering_44_10 + Server_Anwering_56_10 + Server_Anwering_68_10 + Server_Anwering_5_1 + Server_Anwering_5_2 + Server_Anwering_5_3 + Server_Anwering_5_4 + Server_Anwering_5_5 + Server_Anwering_5_6 + Server_Anwering_5_7 + Server_Anwering_5_8 + Server_Anwering_5_9 + Server_Anwering_37_1 + Server_Anwering_37_2 + Server_Anwering_37_3 + Server_Anwering_37_4 + Server_Anwering_37_5 + Server_Anwering_37_6 + Server_Anwering_37_7 + Server_Anwering_37_8 + Server_Anwering_37_9 + Server_Anwering_81_10 + Server_Anwering_24_1 + Server_Anwering_24_2 + Server_Anwering_24_3 + Server_Anwering_24_4 + Server_Anwering_24_5 + Server_Anwering_24_6 + Server_Anwering_24_7 + Server_Anwering_24_8 + Server_Anwering_24_9 + Server_Anwering_93_10 + Server_Anwering_11_1 + Server_Anwering_11_2 + Server_Anwering_11_3 + Server_Anwering_11_4 + Server_Anwering_11_5 + Server_Anwering_11_6 + Server_Anwering_11_7 + Server_Anwering_11_8 + Server_Anwering_11_9 + Server_Anwering_5_10 + Server_Anwering_99_1 + Server_Anwering_99_2 + Server_Anwering_99_3 + Server_Anwering_99_4 + Server_Anwering_99_5 + Server_Anwering_99_6 + Server_Anwering_99_7 + Server_Anwering_99_8 + Server_Anwering_99_9 + Server_Anwering_86_1 + Server_Anwering_86_2 + Server_Anwering_86_3 + Server_Anwering_86_4 + Server_Anwering_86_5 + Server_Anwering_86_6 + Server_Anwering_86_7 + Server_Anwering_86_8 + Server_Anwering_86_9 + Server_Anwering_73_1 + Server_Anwering_73_2 + Server_Anwering_73_3 + Server_Anwering_73_4 + Server_Anwering_73_5 + Server_Anwering_73_6 + Server_Anwering_73_7 + Server_Anwering_73_8 + Server_Anwering_73_9 + Server_Anwering_60_1 + Server_Anwering_60_2 + Server_Anwering_60_3 + Server_Anwering_60_4 + Server_Anwering_60_5 + Server_Anwering_60_6 + Server_Anwering_60_7 + Server_Anwering_60_8 + Server_Anwering_60_9 + Server_Anwering_6_1 + Server_Anwering_6_2 + Server_Anwering_6_3 + Server_Anwering_6_4 + Server_Anwering_6_5 + Server_Anwering_6_6 + Server_Anwering_6_7 + Server_Anwering_6_8 + Server_Anwering_6_9 + Server_Anwering_13_10 + Server_Anwering_25_10 + Server_Anwering_37_10 + Server_Anwering_49_10 + Server_Anwering_38_1 + Server_Anwering_38_2 + Server_Anwering_38_3 + Server_Anwering_38_4 + Server_Anwering_38_5 + Server_Anwering_38_6 + Server_Anwering_38_7 + Server_Anwering_38_8 + Server_Anwering_38_9 + Server_Anwering_25_1 + Server_Anwering_25_2 + Server_Anwering_25_3 + Server_Anwering_25_4 + Server_Anwering_25_5 + Server_Anwering_25_6 + Server_Anwering_25_7 + Server_Anwering_25_8 + Server_Anwering_25_9 + Server_Anwering_12_1 + Server_Anwering_12_2 + Server_Anwering_12_3 + Server_Anwering_12_4 + Server_Anwering_12_5 + Server_Anwering_12_6 + Server_Anwering_12_7 + Server_Anwering_12_8 + Server_Anwering_12_9 + Server_Anwering_50_10 + Server_Anwering_62_10 + Server_Anwering_74_10 + Server_Anwering_87_1 + Server_Anwering_87_2 + Server_Anwering_87_3 + Server_Anwering_87_4 + Server_Anwering_87_5 + Server_Anwering_87_6 + Server_Anwering_87_7 + Server_Anwering_87_8 + Server_Anwering_87_9 + Server_Anwering_86_10 + Server_Anwering_74_1 + Server_Anwering_74_2 + Server_Anwering_74_3 + Server_Anwering_74_4 + Server_Anwering_74_5 + Server_Anwering_74_6 + Server_Anwering_74_7 + Server_Anwering_74_8 + Server_Anwering_74_9 + Server_Anwering_98_10 + Server_Anwering_61_1 + Server_Anwering_61_2 + Server_Anwering_61_3 + Server_Anwering_61_4 + Server_Anwering_61_5 + Server_Anwering_61_6 + Server_Anwering_61_7 + Server_Anwering_61_8 + Server_Anwering_61_9 + Server_Anwering_7_1 + Server_Anwering_7_2 + Server_Anwering_7_3 + Server_Anwering_7_4 + Server_Anwering_7_5 + Server_Anwering_7_6 + Server_Anwering_7_7 + Server_Anwering_7_8 + Server_Anwering_7_9 + Server_Anwering_18_10 + Server_Anwering_39_1 + Server_Anwering_39_2 + Server_Anwering_39_3 + Server_Anwering_39_4 + Server_Anwering_39_5 + Server_Anwering_39_6 + Server_Anwering_39_7 + Server_Anwering_39_8 + Server_Anwering_39_9 + Server_Anwering_26_1 + Server_Anwering_26_2 + Server_Anwering_26_3 + Server_Anwering_26_4 + Server_Anwering_26_5 + Server_Anwering_26_6 + Server_Anwering_26_7 + Server_Anwering_26_8 + Server_Anwering_26_9 + Server_Anwering_13_1 + Server_Anwering_13_2 + Server_Anwering_13_3 + Server_Anwering_13_4 + Server_Anwering_13_5 + Server_Anwering_13_6 + Server_Anwering_13_7 + Server_Anwering_13_8 + Server_Anwering_13_9 + Server_Anwering_88_1 + Server_Anwering_88_2 + Server_Anwering_88_3 + Server_Anwering_88_4 + Server_Anwering_88_5 + Server_Anwering_88_6 + Server_Anwering_88_7 + Server_Anwering_88_8 + Server_Anwering_88_9 + Server_Anwering_75_1 + Server_Anwering_75_2 + Server_Anwering_75_3 + Server_Anwering_75_4 + Server_Anwering_75_5 + Server_Anwering_75_6 + Server_Anwering_75_7 + Server_Anwering_75_8 + Server_Anwering_75_9 + Server_Anwering_62_1 + Server_Anwering_62_2 + Server_Anwering_62_3 + Server_Anwering_62_4 + Server_Anwering_62_5 + Server_Anwering_62_6 + Server_Anwering_62_7 + Server_Anwering_62_8 + Server_Anwering_62_9 + Server_Anwering_31_10 + Server_Anwering_43_10 + Server_Anwering_8_1 + Server_Anwering_8_2 + Server_Anwering_8_3 + Server_Anwering_8_4 + Server_Anwering_8_5 + Server_Anwering_8_6 + Server_Anwering_8_7 + Server_Anwering_8_8 + Server_Anwering_8_9 + Server_Anwering_55_10 + Server_Anwering_67_10 + Server_Anwering_79_10 + Server_Anwering_27_1 + Server_Anwering_27_2 + Server_Anwering_27_3 + Server_Anwering_27_4 + Server_Anwering_27_5 + Server_Anwering_27_6 + Server_Anwering_27_7 + Server_Anwering_27_8 + Server_Anwering_27_9 + Server_Anwering_80_10 + Server_Anwering_14_1 + Server_Anwering_14_2 + Server_Anwering_14_3 + Server_Anwering_14_4 + Server_Anwering_14_5 + Server_Anwering_14_6 + Server_Anwering_14_7 + Server_Anwering_14_8 + Server_Anwering_14_9 + Server_Anwering_92_10 + Server_Anwering_4_10 + Server_Anwering_89_1 + Server_Anwering_89_2 + Server_Anwering_89_3 + Server_Anwering_89_4 + Server_Anwering_89_5 + Server_Anwering_89_6 + Server_Anwering_89_7 + Server_Anwering_89_8 + Server_Anwering_89_9 + Server_Anwering_76_1 + Server_Anwering_76_2 + Server_Anwering_76_3 + Server_Anwering_76_4 + Server_Anwering_76_5 + Server_Anwering_76_6 + Server_Anwering_76_7 + Server_Anwering_76_8 + Server_Anwering_76_9 + Server_Anwering_63_1 + Server_Anwering_63_2 + Server_Anwering_63_3 + Server_Anwering_63_4 + Server_Anwering_63_5 + Server_Anwering_63_6 + Server_Anwering_63_7 + Server_Anwering_63_8 + Server_Anwering_63_9 + Server_Anwering_50_1 + Server_Anwering_50_2 + Server_Anwering_50_3 + Server_Anwering_50_4 + Server_Anwering_50_5 + Server_Anwering_50_6 + Server_Anwering_50_7 + Server_Anwering_50_8 + Server_Anwering_50_9 + Server_Anwering_9_1 + Server_Anwering_9_2 + Server_Anwering_9_3 + Server_Anwering_9_4 + Server_Anwering_9_5 + Server_Anwering_9_6 + Server_Anwering_9_7 + Server_Anwering_9_8 + Server_Anwering_9_9 + Server_Anwering_12_10 + Server_Anwering_24_10 + Server_Anwering_36_10 + Server_Anwering_48_10 + Server_Anwering_28_1 + Server_Anwering_28_2 + Server_Anwering_28_3 + Server_Anwering_28_4 + Server_Anwering_28_5 + Server_Anwering_28_6 + Server_Anwering_28_7 + Server_Anwering_28_8 + Server_Anwering_28_9 + Server_Anwering_15_1 + Server_Anwering_15_2 + Server_Anwering_15_3 + Server_Anwering_15_4 + Server_Anwering_15_5 + Server_Anwering_15_6 + Server_Anwering_15_7 + Server_Anwering_15_8 + Server_Anwering_15_9 + Server_Anwering_61_10 + Server_Anwering_73_10 + Server_Anwering_77_1 + Server_Anwering_77_2 + Server_Anwering_77_3 + Server_Anwering_77_4 + Server_Anwering_77_5 + Server_Anwering_77_6 + Server_Anwering_77_7 + Server_Anwering_77_8 + Server_Anwering_77_9 + Server_Anwering_85_10 + Server_Anwering_64_1 + Server_Anwering_64_2 + Server_Anwering_64_3 + Server_Anwering_64_4 + Server_Anwering_64_5 + Server_Anwering_64_6 + Server_Anwering_64_7 + Server_Anwering_64_8 + Server_Anwering_64_9 + Server_Anwering_97_10 + Server_Anwering_51_1 + Server_Anwering_51_2 + Server_Anwering_51_3 + Server_Anwering_51_4 + Server_Anwering_51_5 + Server_Anwering_51_6 + Server_Anwering_51_7 + Server_Anwering_51_8 + Server_Anwering_51_9 + Server_Anwering_9_10 + Server_Anwering_17_10 + Server_Anwering_29_10 + Server_Anwering_29_1 + Server_Anwering_29_2 + Server_Anwering_29_3 + Server_Anwering_29_4 + Server_Anwering_29_5 + Server_Anwering_29_6 + Server_Anwering_29_7 + Server_Anwering_29_8 + Server_Anwering_29_9 + Server_Anwering_16_1 + Server_Anwering_16_2 + Server_Anwering_16_3 + Server_Anwering_16_4 + Server_Anwering_16_5 + Server_Anwering_16_6 + Server_Anwering_16_7 + Server_Anwering_16_8 + Server_Anwering_16_9 + Server_Anwering_84_9 + Server_Anwering_84_8 + Server_Anwering_84_7 + Server_Anwering_84_6 + Server_Anwering_84_5 + Server_Anwering_84_4 + Server_Anwering_84_3 + Server_Anwering_84_2 + Server_Anwering_84_1 + Server_Anwering_78_1 + Server_Anwering_78_2 + Server_Anwering_78_3 + Server_Anwering_78_4 + Server_Anwering_78_5 + Server_Anwering_78_6 + Server_Anwering_78_7 + Server_Anwering_78_8 + Server_Anwering_78_9 + Server_Anwering_65_1 + Server_Anwering_65_2 + Server_Anwering_65_3 + Server_Anwering_65_4 + Server_Anwering_65_5 + Server_Anwering_65_6 + Server_Anwering_65_7 + Server_Anwering_65_8 + Server_Anwering_65_9 + Server_Anwering_52_1 + Server_Anwering_52_2 + Server_Anwering_52_3 + Server_Anwering_52_4 + Server_Anwering_52_5 + Server_Anwering_52_6 + Server_Anwering_52_7 + Server_Anwering_52_8 + Server_Anwering_52_9 + Server_Anwering_30_10 + Server_Anwering_42_10 + Server_Anwering_54_10 + Server_Anwering_66_10 + Server_Anwering_78_10 + Server_Anwering_17_1 + Server_Anwering_17_2 + Server_Anwering_17_3 + Server_Anwering_17_4 + Server_Anwering_17_5 + Server_Anwering_17_6 + Server_Anwering_17_7 + Server_Anwering_17_8 + Server_Anwering_17_9 + Server_Anwering_91_10 + Server_Anwering_3_10 + Server_Anwering_79_1 + Server_Anwering_79_2 + Server_Anwering_79_3 + Server_Anwering_79_4 + Server_Anwering_79_5 + Server_Anwering_79_6 + Server_Anwering_79_7 + Server_Anwering_79_8 + Server_Anwering_79_9 + Server_Anwering_66_1 + Server_Anwering_66_2 + Server_Anwering_66_3 + Server_Anwering_66_4 + Server_Anwering_66_5 + Server_Anwering_66_6 + Server_Anwering_66_7 + Server_Anwering_66_8 + Server_Anwering_66_9 + Server_Anwering_53_1 + Server_Anwering_53_2 + Server_Anwering_53_3 + Server_Anwering_53_4 + Server_Anwering_53_5 + Server_Anwering_53_6 + Server_Anwering_53_7 + Server_Anwering_53_8 + Server_Anwering_53_9 + Server_Anwering_40_1 + Server_Anwering_40_2 + Server_Anwering_40_3 + Server_Anwering_40_4 + Server_Anwering_40_5 + Server_Anwering_40_6 + Server_Anwering_40_7 + Server_Anwering_40_8 + Server_Anwering_40_9 + Server_Anwering_11_10 + Server_Anwering_23_10 + Server_Anwering_35_10 + Server_Anwering_47_10 + Server_Anwering_59_10 + Server_Anwering_18_1 + Server_Anwering_18_2 + Server_Anwering_18_3 + Server_Anwering_18_4 + Server_Anwering_18_5 + Server_Anwering_18_6 + Server_Anwering_18_7 + Server_Anwering_18_8 + Server_Anwering_18_9 + Server_Anwering_60_10 + Server_Anwering_72_10 + Server_Anwering_67_1 + Server_Anwering_67_2 + Server_Anwering_67_3 + Server_Anwering_67_4 + Server_Anwering_67_5 + Server_Anwering_67_6 + Server_Anwering_67_7 + Server_Anwering_67_8 + Server_Anwering_67_9 + Server_Anwering_84_10 + Server_Anwering_54_1 + Server_Anwering_54_2 + Server_Anwering_54_3 + Server_Anwering_54_4 + Server_Anwering_54_5 + Server_Anwering_54_6 + Server_Anwering_54_7 + Server_Anwering_54_8 + Server_Anwering_54_9 + Server_Anwering_96_10 + Server_Anwering_41_1 + Server_Anwering_41_2 + Server_Anwering_41_3 + Server_Anwering_41_4 + Server_Anwering_41_5 + Server_Anwering_41_6 + Server_Anwering_41_7 + Server_Anwering_41_8 + Server_Anwering_41_9 + Server_Anwering_8_10 + Server_Anwering_90_1 + Server_Anwering_90_2 + Server_Anwering_90_3 + Server_Anwering_90_4 + Server_Anwering_90_5 + Server_Anwering_90_6 + Server_Anwering_90_7 + Server_Anwering_90_8 + Server_Anwering_90_9 + Server_Anwering_16_10 + Server_Anwering_28_10 + Server_Anwering_19_1 + Server_Anwering_19_2 + Server_Anwering_19_3 + Server_Anwering_19_4 + Server_Anwering_19_5 + Server_Anwering_19_6 + Server_Anwering_19_7 + Server_Anwering_19_8 + Server_Anwering_19_9 + Server_Anwering_68_1 + Server_Anwering_68_2 + Server_Anwering_68_3 + Server_Anwering_68_4 + Server_Anwering_68_5 + Server_Anwering_68_6 + Server_Anwering_68_7 + Server_Anwering_68_8 + Server_Anwering_68_9 + Server_Anwering_55_1 + Server_Anwering_55_2 + Server_Anwering_55_3 + Server_Anwering_55_4 + Server_Anwering_55_5 + Server_Anwering_55_6 + Server_Anwering_55_7 + Server_Anwering_55_8 + Server_Anwering_55_9 + Server_Anwering_42_1 + Server_Anwering_42_2 + Server_Anwering_42_3 + Server_Anwering_42_4 + Server_Anwering_42_5 + Server_Anwering_42_6 + Server_Anwering_42_7 + Server_Anwering_42_8 + Server_Anwering_42_9 + Server_Anwering_41_10 + Server_Anwering_53_10 + Server_Anwering_65_10 + Server_Anwering_77_10 + Server_Anwering_89_10 + Server_Anwering_91_1 + Server_Anwering_91_2 + Server_Anwering_91_3 + Server_Anwering_91_4 + Server_Anwering_91_5 + Server_Anwering_91_6 + Server_Anwering_91_7 + Server_Anwering_91_8 + Server_Anwering_91_9 + Server_Anwering_87_10 + Server_Anwering_97_9 + Server_Anwering_97_8 + Server_Anwering_97_7 + Server_Anwering_97_6 + Server_Anwering_97_5 + Server_Anwering_97_4 + Server_Anwering_97_3 + Server_Anwering_97_2 + Server_Anwering_97_1 + Server_Anwering_75_10 + Server_Anwering_63_10 + Server_Anwering_51_10 + Server_Anwering_22_9 + Server_Anwering_22_8 + Server_Anwering_22_7 + Server_Anwering_22_6 + Server_Anwering_22_5 + Server_Anwering_22_4 + Server_Anwering_22_3 + Server_Anwering_22_2 + Server_Anwering_22_1 + Server_Anwering_35_9 + Server_Anwering_35_8 + Server_Anwering_35_7 + Server_Anwering_35_6 + Server_Anwering_35_5 + Server_Anwering_35_4 + Server_Anwering_35_3 + Server_Anwering_35_2 + Server_Anwering_35_1 + Server_Anwering_48_9 + Server_Anwering_48_8 + Server_Anwering_48_7 + Server_Anwering_48_6 + Server_Anwering_48_5 + Server_Anwering_48_4 + Server_Anwering_48_3 + Server_Anwering_48_2 + Server_Anwering_48_1 + Server_Anwering_38_10 + Server_Anwering_26_10 + Server_Anwering_14_10 + Server_Anwering_3_9 + Server_Anwering_3_8 + Server_Anwering_3_7 + Server_Anwering_3_6 + Server_Anwering_3_5 + Server_Anwering_3_4 + Server_Anwering_3_3 + Server_Anwering_3_2 + Server_Anwering_3_1 + Server_Anwering_70_9 + Server_Anwering_70_8 + Server_Anwering_70_7 + Server_Anwering_70_6 + Server_Anwering_70_5 + Server_Anwering_70_4 + Server_Anwering_70_3 + Server_Anwering_70_2 + Server_Anwering_70_1 + Server_Anwering_83_9 + Server_Anwering_83_8 + Server_Anwering_83_7 + Server_Anwering_83_6 + Server_Anwering_83_5 + Server_Anwering_83_4 + Server_Anwering_83_3 + Server_Anwering_83_2 + Server_Anwering_83_1 + Server_Anwering_96_9 + Server_Anwering_96_8 + Server_Anwering_96_7 + Server_Anwering_96_6 + Server_Anwering_96_5 + Server_Anwering_96_4 + Server_Anwering_96_3 + Server_Anwering_96_2 + Server_Anwering_96_1 + Server_Anwering_6_10 + Server_Anwering_21_9 + Server_Anwering_90_10 + Server_Anwering_100_10 + Server_Anwering_2_10 + Server_Anwering_69_1 + Server_Anwering_69_2 + Server_Anwering_69_3 + Server_Anwering_69_4 + Server_Anwering_69_5 + Server_Anwering_69_6 + Server_Anwering_69_7 + Server_Anwering_69_8 + Server_Anwering_69_9 + Server_Anwering_56_1 + Server_Anwering_56_2 + Server_Anwering_56_3 + Server_Anwering_56_4 + Server_Anwering_56_5 + Server_Anwering_56_6 + Server_Anwering_56_7 + Server_Anwering_56_8 + Server_Anwering_56_9 + Server_Anwering_43_1 + Server_Anwering_43_2 + Server_Anwering_43_3 + Server_Anwering_43_4 + Server_Anwering_43_5 + Server_Anwering_43_6 + Server_Anwering_43_7 + Server_Anwering_43_8 + Server_Anwering_43_9 + Server_Anwering_30_1 + Server_Anwering_30_2 + Server_Anwering_30_3 + Server_Anwering_30_4 + Server_Anwering_30_5 + Server_Anwering_30_6 + Server_Anwering_30_7 + Server_Anwering_30_8 + Server_Anwering_30_9 + Server_Anwering_10_10 + Server_Anwering_92_1 + Server_Anwering_92_2 + Server_Anwering_92_3 + Server_Anwering_92_4 + Server_Anwering_92_5 + Server_Anwering_92_6 + Server_Anwering_92_7 + Server_Anwering_92_8 + Server_Anwering_92_9 + Server_Anwering_22_10 + Server_Anwering_34_10 + Server_Anwering_46_10 + Server_Anwering_58_10 + Server_Anwering_71_10 + Server_Anwering_57_1 + Server_Anwering_57_2 + Server_Anwering_57_3 + Server_Anwering_57_4 + Server_Anwering_57_5 + Server_Anwering_57_6 + Server_Anwering_57_7 + Server_Anwering_57_8 + Server_Anwering_57_9 + Server_Anwering_83_10 + Server_Anwering_44_1 + Server_Anwering_44_2 + Server_Anwering_44_3 + Server_Anwering_44_4 + Server_Anwering_44_5 + Server_Anwering_44_6 + Server_Anwering_44_7 + Server_Anwering_44_8 + Server_Anwering_44_9 + Server_Anwering_95_10 + Server_Anwering_31_1 + Server_Anwering_31_2 + Server_Anwering_31_3 + Server_Anwering_31_4 + Server_Anwering_31_5 + Server_Anwering_31_6 + Server_Anwering_31_7 + Server_Anwering_31_8 + Server_Anwering_31_9 + Server_Anwering_7_10 + Server_Anwering_93_1 + Server_Anwering_93_2 + Server_Anwering_93_3 + Server_Anwering_93_4 + Server_Anwering_93_5 + Server_Anwering_93_6 + Server_Anwering_93_7 + Server_Anwering_93_8 + Server_Anwering_93_9 + Server_Anwering_80_1 + Server_Anwering_80_2 + Server_Anwering_80_3 + Server_Anwering_80_4 + Server_Anwering_80_5 + Server_Anwering_80_6 + Server_Anwering_80_7 + Server_Anwering_80_8 + Server_Anwering_80_9 + Server_Anwering_15_10 + Server_Anwering_27_10 + Server_Anwering_39_10 + Server_Anwering_58_1 + Server_Anwering_58_2 + Server_Anwering_58_3 + Server_Anwering_58_4 + Server_Anwering_58_5 + Server_Anwering_58_6 + Server_Anwering_58_7 + Server_Anwering_58_8 + Server_Anwering_58_9 + Server_Anwering_45_1 + Server_Anwering_45_2 + Server_Anwering_45_3 + Server_Anwering_45_4 + Server_Anwering_45_5 + Server_Anwering_45_6 + Server_Anwering_45_7 + Server_Anwering_45_8 + Server_Anwering_45_9 + Server_Anwering_32_1 + Server_Anwering_32_2 + Server_Anwering_32_3 + Server_Anwering_32_4 + Server_Anwering_32_5 + Server_Anwering_32_6 + Server_Anwering_32_7 + Server_Anwering_32_8 + Server_Anwering_32_9 + Server_Anwering_40_10 + Server_Anwering_52_10 + Server_Anwering_64_10 + Server_Anwering_76_10 + Server_Anwering_88_10 + Server_Anwering_94_1 + Server_Anwering_94_2 + Server_Anwering_94_3 + Server_Anwering_94_4 + Server_Anwering_94_5 + Server_Anwering_94_6 + Server_Anwering_94_7 + Server_Anwering_94_8 + Server_Anwering_94_9 + Server_Anwering_81_1 + Server_Anwering_81_2 + Server_Anwering_81_3 + Server_Anwering_81_4 + Server_Anwering_81_5 + Server_Anwering_81_6 + Server_Anwering_81_7 + Server_Anwering_81_8 + Server_Anwering_81_9 + Server_Anwering_1_1 + Server_Anwering_1_2 + Server_Anwering_1_3 + Server_Anwering_1_4 + Server_Anwering_1_5 + Server_Anwering_1_6 + Server_Anwering_1_7 + Server_Anwering_1_8 + Server_Anwering_1_9 + Server_Anwering_1_10 + Server_Anwering_59_1 + Server_Anwering_59_2 + Server_Anwering_59_3 + Server_Anwering_59_4 + Server_Anwering_59_5 + Server_Anwering_59_6 + Server_Anwering_59_7 + Server_Anwering_59_8 + Server_Anwering_59_9 + Server_Anwering_46_1 + Server_Anwering_46_2 + Server_Anwering_46_3 + Server_Anwering_46_4 + Server_Anwering_46_5 + Server_Anwering_46_6 + Server_Anwering_46_7 + Server_Anwering_46_8 + Server_Anwering_46_9 + Server_Anwering_21_8 + Server_Anwering_33_1 + Server_Anwering_33_2 + Server_Anwering_33_3 + Server_Anwering_33_4 + Server_Anwering_33_5 + Server_Anwering_33_6 + Server_Anwering_33_7 + Server_Anwering_33_8 + Server_Anwering_33_9 + Server_Anwering_20_1 + Server_Anwering_20_2 + Server_Anwering_20_3 + Server_Anwering_20_4 + Server_Anwering_20_5 + Server_Anwering_20_6 + Server_Anwering_20_7 + Server_Anwering_20_8 + Server_Anwering_20_9 + Server_Anwering_95_1 + Server_Anwering_95_2 + Server_Anwering_95_3 + Server_Anwering_95_4 + Server_Anwering_95_5 + Server_Anwering_95_6 + Server_Anwering_95_7 + Server_Anwering_95_8 + Server_Anwering_95_9 + Server_Anwering_82_1 + Server_Anwering_82_2 + Server_Anwering_82_3 + Server_Anwering_82_4 + Server_Anwering_82_5 + Server_Anwering_82_6 + Server_Anwering_82_7 + Server_Anwering_82_8 + Server_Anwering_82_9 + Server_Anwering_21_10 + Server_Anwering_33_10 + Server_Anwering_45_10 + Server_Anwering_57_10 + Server_Anwering_69_10 + Server_Anwering_100_1 + Server_Anwering_2_1 + Server_Anwering_100_2 + Server_Anwering_100_3 + Server_Anwering_2_2 + Server_Anwering_100_4 + Server_Anwering_2_3 + Server_Anwering_100_5 + Server_Anwering_2_4 + Server_Anwering_2_5 + Server_Anwering_100_6 + Server_Anwering_100_7 + Server_Anwering_2_6 + Server_Anwering_2_7 + Server_Anwering_100_8 + Server_Anwering_100_9 + Server_Anwering_2_8 + Server_Anwering_2_9 + Server_Anwering_70_10 + Server_Anwering_47_1 + Server_Anwering_47_2 + Server_Anwering_47_3 + Server_Anwering_47_4 + Server_Anwering_47_5 + Server_Anwering_47_6 + Server_Anwering_47_7 + Server_Anwering_47_8 + Server_Anwering_47_9 + Server_Anwering_82_10 + Server_Anwering_34_1 + Server_Anwering_34_2 + Server_Anwering_34_3 + Server_Anwering_34_4 + Server_Anwering_34_5 + Server_Anwering_34_6 + Server_Anwering_34_7 + Server_Anwering_34_8 + Server_Anwering_34_9 + Server_Anwering_94_10 + Server_Anwering_21_1 + Server_Anwering_21_2 + Server_Anwering_21_3 + Server_Anwering_21_4 + Server_Anwering_21_5 + Server_Anwering_21_6 + Server_Anwering_21_7 + Server_Anwering_99_10 + Server_Anwering_71_1 + Server_Anwering_71_2 + Server_Anwering_71_3 + Server_Anwering_71_4 + Server_Anwering_71_5 + Server_Anwering_71_6 + Server_Anwering_71_7 + Server_Anwering_71_8 + Server_Anwering_71_9) : MAX(Server_Waiting_10 + Server_Waiting_9 + Server_Waiting_8 + Server_Waiting_7 + Server_Waiting_6 + Server_Waiting_5 + Server_Waiting_4 + Server_Waiting_3 + Server_Waiting_2 + Server_Waiting_1) : MAX(RequestBuffer_100 + RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + RequestBuffer_22 + RequestBuffer_23 + RequestBuffer_24 + RequestBuffer_25 + RequestBuffer_26 + RequestBuffer_27 + RequestBuffer_28 + RequestBuffer_29 + RequestBuffer_30 + RequestBuffer_31 + RequestBuffer_32 + RequestBuffer_33 + RequestBuffer_34 + RequestBuffer_35 + RequestBuffer_36 + RequestBuffer_37 + RequestBuffer_38 + RequestBuffer_39 + RequestBuffer_40 + RequestBuffer_41 + RequestBuffer_42 + RequestBuffer_43 + RequestBuffer_44 + RequestBuffer_45 + RequestBuffer_46 + RequestBuffer_47 + RequestBuffer_48 + RequestBuffer_49 + RequestBuffer_50 + RequestBuffer_51 + RequestBuffer_52 + RequestBuffer_53 + RequestBuffer_54 + RequestBuffer_55 + RequestBuffer_56 + RequestBuffer_57 + RequestBuffer_58 + RequestBuffer_59 + RequestBuffer_60 + RequestBuffer_61 + RequestBuffer_62 + RequestBuffer_63 + RequestBuffer_64 + RequestBuffer_65 + RequestBuffer_66 + RequestBuffer_67 + RequestBuffer_68 + RequestBuffer_69 + RequestBuffer_70 + RequestBuffer_71 + RequestBuffer_72 + RequestBuffer_73 + RequestBuffer_74 + RequestBuffer_75 + RequestBuffer_76 + RequestBuffer_77 + RequestBuffer_78 + RequestBuffer_79 + RequestBuffer_80 + RequestBuffer_81 + RequestBuffer_82 + RequestBuffer_83 + RequestBuffer_84 + RequestBuffer_85 + RequestBuffer_86 + RequestBuffer_87 + RequestBuffer_88 + RequestBuffer_89 + RequestBuffer_90 + RequestBuffer_91 + RequestBuffer_92 + RequestBuffer_93 + RequestBuffer_94 + RequestBuffer_95 + RequestBuffer_96 + RequestBuffer_97 + RequestBuffer_98 + RequestBuffer_99) : MAX(Server_Anwering_4_1 + Server_Anwering_4_2 + Server_Anwering_4_3 + Server_Anwering_4_4 + Server_Anwering_4_5 + Server_Anwering_4_6 + Server_Anwering_4_7 + Server_Anwering_4_8 + Server_Anwering_4_9 + Server_Anwering_19_10 + Server_Anwering_49_1 + Server_Anwering_49_2 + Server_Anwering_49_3 + Server_Anwering_49_4 + Server_Anwering_49_5 + Server_Anwering_49_6 + Server_Anwering_49_7 + Server_Anwering_49_8 + Server_Anwering_49_9 + Server_Anwering_36_1 + Server_Anwering_36_2 + Server_Anwering_36_3 + Server_Anwering_36_4 + Server_Anwering_36_5 + Server_Anwering_36_6 + Server_Anwering_36_7 + Server_Anwering_36_8 + Server_Anwering_36_9 + Server_Anwering_23_1 + Server_Anwering_23_2 + Server_Anwering_23_3 + Server_Anwering_23_4 + Server_Anwering_23_5 + Server_Anwering_23_6 + Server_Anwering_23_7 + Server_Anwering_23_8 + Server_Anwering_23_9 + Server_Anwering_10_1 + Server_Anwering_10_2 + Server_Anwering_10_3 + Server_Anwering_10_4 + Server_Anwering_10_5 + Server_Anwering_10_6 + Server_Anwering_10_7 + Server_Anwering_10_8 + Server_Anwering_10_9 + Server_Anwering_98_1 + Server_Anwering_98_2 + Server_Anwering_98_3 + Server_Anwering_98_4 + Server_Anwering_98_5 + Server_Anwering_98_6 + Server_Anwering_98_7 + Server_Anwering_98_8 + Server_Anwering_98_9 + Server_Anwering_85_1 + Server_Anwering_85_2 + Server_Anwering_85_3 + Server_Anwering_85_4 + Server_Anwering_85_5 + Server_Anwering_85_6 + Server_Anwering_85_7 + Server_Anwering_85_8 + Server_Anwering_85_9 + Server_Anwering_72_1 + Server_Anwering_72_2 + Server_Anwering_72_3 + Server_Anwering_72_4 + Server_Anwering_72_5 + Server_Anwering_72_6 + Server_Anwering_72_7 + Server_Anwering_72_8 + Server_Anwering_72_9 + Server_Anwering_20_10 + Server_Anwering_32_10 + Server_Anwering_44_10 + Server_Anwering_56_10 + Server_Anwering_68_10 + Server_Anwering_5_1 + Server_Anwering_5_2 + Server_Anwering_5_3 + Server_Anwering_5_4 + Server_Anwering_5_5 + Server_Anwering_5_6 + Server_Anwering_5_7 + Server_Anwering_5_8 + Server_Anwering_5_9 + Server_Anwering_37_1 + Server_Anwering_37_2 + Server_Anwering_37_3 + Server_Anwering_37_4 + Server_Anwering_37_5 + Server_Anwering_37_6 + Server_Anwering_37_7 + Server_Anwering_37_8 + Server_Anwering_37_9 + Server_Anwering_81_10 + Server_Anwering_24_1 + Server_Anwering_24_2 + Server_Anwering_24_3 + Server_Anwering_24_4 + Server_Anwering_24_5 + Server_Anwering_24_6 + Server_Anwering_24_7 + Server_Anwering_24_8 + Server_Anwering_24_9 + Server_Anwering_93_10 + Server_Anwering_11_1 + Server_Anwering_11_2 + Server_Anwering_11_3 + Server_Anwering_11_4 + Server_Anwering_11_5 + Server_Anwering_11_6 + Server_Anwering_11_7 + Server_Anwering_11_8 + Server_Anwering_11_9 + Server_Anwering_5_10 + Server_Anwering_99_1 + Server_Anwering_99_2 + Server_Anwering_99_3 + Server_Anwering_99_4 + Server_Anwering_99_5 + Server_Anwering_99_6 + Server_Anwering_99_7 + Server_Anwering_99_8 + Server_Anwering_99_9 + Server_Anwering_86_1 + Server_Anwering_86_2 + Server_Anwering_86_3 + Server_Anwering_86_4 + Server_Anwering_86_5 + Server_Anwering_86_6 + Server_Anwering_86_7 + Server_Anwering_86_8 + Server_Anwering_86_9 + Server_Anwering_73_1 + Server_Anwering_73_2 + Server_Anwering_73_3 + Server_Anwering_73_4 + Server_Anwering_73_5 + Server_Anwering_73_6 + Server_Anwering_73_7 + Server_Anwering_73_8 + Server_Anwering_73_9 + Server_Anwering_60_1 + Server_Anwering_60_2 + Server_Anwering_60_3 + Server_Anwering_60_4 + Server_Anwering_60_5 + Server_Anwering_60_6 + Server_Anwering_60_7 + Server_Anwering_60_8 + Server_Anwering_60_9 + Server_Anwering_6_1 + Server_Anwering_6_2 + Server_Anwering_6_3 + Server_Anwering_6_4 + Server_Anwering_6_5 + Server_Anwering_6_6 + Server_Anwering_6_7 + Server_Anwering_6_8 + Server_Anwering_6_9 + Server_Anwering_13_10 + Server_Anwering_25_10 + Server_Anwering_37_10 + Server_Anwering_49_10 + Server_Anwering_38_1 + Server_Anwering_38_2 + Server_Anwering_38_3 + Server_Anwering_38_4 + Server_Anwering_38_5 + Server_Anwering_38_6 + Server_Anwering_38_7 + Server_Anwering_38_8 + Server_Anwering_38_9 + Server_Anwering_25_1 + Server_Anwering_25_2 + Server_Anwering_25_3 + Server_Anwering_25_4 + Server_Anwering_25_5 + Server_Anwering_25_6 + Server_Anwering_25_7 + Server_Anwering_25_8 + Server_Anwering_25_9 + Server_Anwering_12_1 + Server_Anwering_12_2 + Server_Anwering_12_3 + Server_Anwering_12_4 + Server_Anwering_12_5 + Server_Anwering_12_6 + Server_Anwering_12_7 + Server_Anwering_12_8 + Server_Anwering_12_9 + Server_Anwering_50_10 + Server_Anwering_62_10 + Server_Anwering_74_10 + Server_Anwering_87_1 + Server_Anwering_87_2 + Server_Anwering_87_3 + Server_Anwering_87_4 + Server_Anwering_87_5 + Server_Anwering_87_6 + Server_Anwering_87_7 + Server_Anwering_87_8 + Server_Anwering_87_9 + Server_Anwering_86_10 + Server_Anwering_74_1 + Server_Anwering_74_2 + Server_Anwering_74_3 + Server_Anwering_74_4 + Server_Anwering_74_5 + Server_Anwering_74_6 + Server_Anwering_74_7 + Server_Anwering_74_8 + Server_Anwering_74_9 + Server_Anwering_98_10 + Server_Anwering_61_1 + Server_Anwering_61_2 + Server_Anwering_61_3 + Server_Anwering_61_4 + Server_Anwering_61_5 + Server_Anwering_61_6 + Server_Anwering_61_7 + Server_Anwering_61_8 + Server_Anwering_61_9 + Server_Anwering_7_1 + Server_Anwering_7_2 + Server_Anwering_7_3 + Server_Anwering_7_4 + Server_Anwering_7_5 + Server_Anwering_7_6 + Server_Anwering_7_7 + Server_Anwering_7_8 + Server_Anwering_7_9 + Server_Anwering_18_10 + Server_Anwering_39_1 + Server_Anwering_39_2 + Server_Anwering_39_3 + Server_Anwering_39_4 + Server_Anwering_39_5 + Server_Anwering_39_6 + Server_Anwering_39_7 + Server_Anwering_39_8 + Server_Anwering_39_9 + Server_Anwering_26_1 + Server_Anwering_26_2 + Server_Anwering_26_3 + Server_Anwering_26_4 + Server_Anwering_26_5 + Server_Anwering_26_6 + Server_Anwering_26_7 + Server_Anwering_26_8 + Server_Anwering_26_9 + Server_Anwering_13_1 + Server_Anwering_13_2 + Server_Anwering_13_3 + Server_Anwering_13_4 + Server_Anwering_13_5 + Server_Anwering_13_6 + Server_Anwering_13_7 + Server_Anwering_13_8 + Server_Anwering_13_9 + Server_Anwering_88_1 + Server_Anwering_88_2 + Server_Anwering_88_3 + Server_Anwering_88_4 + Server_Anwering_88_5 + Server_Anwering_88_6 + Server_Anwering_88_7 + Server_Anwering_88_8 + Server_Anwering_88_9 + Server_Anwering_75_1 + Server_Anwering_75_2 + Server_Anwering_75_3 + Server_Anwering_75_4 + Server_Anwering_75_5 + Server_Anwering_75_6 + Server_Anwering_75_7 + Server_Anwering_75_8 + Server_Anwering_75_9 + Server_Anwering_62_1 + Server_Anwering_62_2 + Server_Anwering_62_3 + Server_Anwering_62_4 + Server_Anwering_62_5 + Server_Anwering_62_6 + Server_Anwering_62_7 + Server_Anwering_62_8 + Server_Anwering_62_9 + Server_Anwering_31_10 + Server_Anwering_43_10 + Server_Anwering_8_1 + Server_Anwering_8_2 + Server_Anwering_8_3 + Server_Anwering_8_4 + Server_Anwering_8_5 + Server_Anwering_8_6 + Server_Anwering_8_7 + Server_Anwering_8_8 + Server_Anwering_8_9 + Server_Anwering_55_10 + Server_Anwering_67_10 + Server_Anwering_79_10 + Server_Anwering_27_1 + Server_Anwering_27_2 + Server_Anwering_27_3 + Server_Anwering_27_4 + Server_Anwering_27_5 + Server_Anwering_27_6 + Server_Anwering_27_7 + Server_Anwering_27_8 + Server_Anwering_27_9 + Server_Anwering_80_10 + Server_Anwering_14_1 + Server_Anwering_14_2 + Server_Anwering_14_3 + Server_Anwering_14_4 + Server_Anwering_14_5 + Server_Anwering_14_6 + Server_Anwering_14_7 + Server_Anwering_14_8 + Server_Anwering_14_9 + Server_Anwering_92_10 + Server_Anwering_4_10 + Server_Anwering_89_1 + Server_Anwering_89_2 + Server_Anwering_89_3 + Server_Anwering_89_4 + Server_Anwering_89_5 + Server_Anwering_89_6 + Server_Anwering_89_7 + Server_Anwering_89_8 + Server_Anwering_89_9 + Server_Anwering_76_1 + Server_Anwering_76_2 + Server_Anwering_76_3 + Server_Anwering_76_4 + Server_Anwering_76_5 + Server_Anwering_76_6 + Server_Anwering_76_7 + Server_Anwering_76_8 + Server_Anwering_76_9 + Server_Anwering_63_1 + Server_Anwering_63_2 + Server_Anwering_63_3 + Server_Anwering_63_4 + Server_Anwering_63_5 + Server_Anwering_63_6 + Server_Anwering_63_7 + Server_Anwering_63_8 + Server_Anwering_63_9 + Server_Anwering_50_1 + Server_Anwering_50_2 + Server_Anwering_50_3 + Server_Anwering_50_4 + Server_Anwering_50_5 + Server_Anwering_50_6 + Server_Anwering_50_7 + Server_Anwering_50_8 + Server_Anwering_50_9 + Server_Anwering_9_1 + Server_Anwering_9_2 + Server_Anwering_9_3 + Server_Anwering_9_4 + Server_Anwering_9_5 + Server_Anwering_9_6 + Server_Anwering_9_7 + Server_Anwering_9_8 + Server_Anwering_9_9 + Server_Anwering_12_10 + Server_Anwering_24_10 + Server_Anwering_36_10 + Server_Anwering_48_10 + Server_Anwering_28_1 + Server_Anwering_28_2 + Server_Anwering_28_3 + Server_Anwering_28_4 + Server_Anwering_28_5 + Server_Anwering_28_6 + Server_Anwering_28_7 + Server_Anwering_28_8 + Server_Anwering_28_9 + Server_Anwering_15_1 + Server_Anwering_15_2 + Server_Anwering_15_3 + Server_Anwering_15_4 + Server_Anwering_15_5 + Server_Anwering_15_6 + Server_Anwering_15_7 + Server_Anwering_15_8 + Server_Anwering_15_9 + Server_Anwering_61_10 + Server_Anwering_73_10 + Server_Anwering_77_1 + Server_Anwering_77_2 + Server_Anwering_77_3 + Server_Anwering_77_4 + Server_Anwering_77_5 + Server_Anwering_77_6 + Server_Anwering_77_7 + Server_Anwering_77_8 + Server_Anwering_77_9 + Server_Anwering_85_10 + Server_Anwering_64_1 + Server_Anwering_64_2 + Server_Anwering_64_3 + Server_Anwering_64_4 + Server_Anwering_64_5 + Server_Anwering_64_6 + Server_Anwering_64_7 + Server_Anwering_64_8 + Server_Anwering_64_9 + Server_Anwering_97_10 + Server_Anwering_51_1 + Server_Anwering_51_2 + Server_Anwering_51_3 + Server_Anwering_51_4 + Server_Anwering_51_5 + Server_Anwering_51_6 + Server_Anwering_51_7 + Server_Anwering_51_8 + Server_Anwering_51_9 + Server_Anwering_9_10 + Server_Anwering_17_10 + Server_Anwering_29_10 + Server_Anwering_29_1 + Server_Anwering_29_2 + Server_Anwering_29_3 + Server_Anwering_29_4 + Server_Anwering_29_5 + Server_Anwering_29_6 + Server_Anwering_29_7 + Server_Anwering_29_8 + Server_Anwering_29_9 + Server_Anwering_16_1 + Server_Anwering_16_2 + Server_Anwering_16_3 + Server_Anwering_16_4 + Server_Anwering_16_5 + Server_Anwering_16_6 + Server_Anwering_16_7 + Server_Anwering_16_8 + Server_Anwering_16_9 + Server_Anwering_84_9 + Server_Anwering_84_8 + Server_Anwering_84_7 + Server_Anwering_84_6 + Server_Anwering_84_5 + Server_Anwering_84_4 + Server_Anwering_84_3 + Server_Anwering_84_2 + Server_Anwering_84_1 + Server_Anwering_78_1 + Server_Anwering_78_2 + Server_Anwering_78_3 + Server_Anwering_78_4 + Server_Anwering_78_5 + Server_Anwering_78_6 + Server_Anwering_78_7 + Server_Anwering_78_8 + Server_Anwering_78_9 + Server_Anwering_65_1 + Server_Anwering_65_2 + Server_Anwering_65_3 + Server_Anwering_65_4 + Server_Anwering_65_5 + Server_Anwering_65_6 + Server_Anwering_65_7 + Server_Anwering_65_8 + Server_Anwering_65_9 + Server_Anwering_52_1 + Server_Anwering_52_2 + Server_Anwering_52_3 + Server_Anwering_52_4 + Server_Anwering_52_5 + Server_Anwering_52_6 + Server_Anwering_52_7 + Server_Anwering_52_8 + Server_Anwering_52_9 + Server_Anwering_30_10 + Server_Anwering_42_10 + Server_Anwering_54_10 + Server_Anwering_66_10 + Server_Anwering_78_10 + Server_Anwering_17_1 + Server_Anwering_17_2 + Server_Anwering_17_3 + Server_Anwering_17_4 + Server_Anwering_17_5 + Server_Anwering_17_6 + Server_Anwering_17_7 + Server_Anwering_17_8 + Server_Anwering_17_9 + Server_Anwering_91_10 + Server_Anwering_3_10 + Server_Anwering_79_1 + Server_Anwering_79_2 + Server_Anwering_79_3 + Server_Anwering_79_4 + Server_Anwering_79_5 + Server_Anwering_79_6 + Server_Anwering_79_7 + Server_Anwering_79_8 + Server_Anwering_79_9 + Server_Anwering_66_1 + Server_Anwering_66_2 + Server_Anwering_66_3 + Server_Anwering_66_4 + Server_Anwering_66_5 + Server_Anwering_66_6 + Server_Anwering_66_7 + Server_Anwering_66_8 + Server_Anwering_66_9 + Server_Anwering_53_1 + Server_Anwering_53_2 + Server_Anwering_53_3 + Server_Anwering_53_4 + Server_Anwering_53_5 + Server_Anwering_53_6 + Server_Anwering_53_7 + Server_Anwering_53_8 + Server_Anwering_53_9 + Server_Anwering_40_1 + Server_Anwering_40_2 + Server_Anwering_40_3 + Server_Anwering_40_4 + Server_Anwering_40_5 + Server_Anwering_40_6 + Server_Anwering_40_7 + Server_Anwering_40_8 + Server_Anwering_40_9 + Server_Anwering_11_10 + Server_Anwering_23_10 + Server_Anwering_35_10 + Server_Anwering_47_10 + Server_Anwering_59_10 + Server_Anwering_18_1 + Server_Anwering_18_2 + Server_Anwering_18_3 + Server_Anwering_18_4 + Server_Anwering_18_5 + Server_Anwering_18_6 + Server_Anwering_18_7 + Server_Anwering_18_8 + Server_Anwering_18_9 + Server_Anwering_60_10 + Server_Anwering_72_10 + Server_Anwering_67_1 + Server_Anwering_67_2 + Server_Anwering_67_3 + Server_Anwering_67_4 + Server_Anwering_67_5 + Server_Anwering_67_6 + Server_Anwering_67_7 + Server_Anwering_67_8 + Server_Anwering_67_9 + Server_Anwering_84_10 + Server_Anwering_54_1 + Server_Anwering_54_2 + Server_Anwering_54_3 + Server_Anwering_54_4 + Server_Anwering_54_5 + Server_Anwering_54_6 + Server_Anwering_54_7 + Server_Anwering_54_8 + Server_Anwering_54_9 + Server_Anwering_96_10 + Server_Anwering_41_1 + Server_Anwering_41_2 + Server_Anwering_41_3 + Server_Anwering_41_4 + Server_Anwering_41_5 + Server_Anwering_41_6 + Server_Anwering_41_7 + Server_Anwering_41_8 + Server_Anwering_41_9 + Server_Anwering_8_10 + Server_Anwering_90_1 + Server_Anwering_90_2 + Server_Anwering_90_3 + Server_Anwering_90_4 + Server_Anwering_90_5 + Server_Anwering_90_6 + Server_Anwering_90_7 + Server_Anwering_90_8 + Server_Anwering_90_9 + Server_Anwering_16_10 + Server_Anwering_28_10 + Server_Anwering_19_1 + Server_Anwering_19_2 + Server_Anwering_19_3 + Server_Anwering_19_4 + Server_Anwering_19_5 + Server_Anwering_19_6 + Server_Anwering_19_7 + Server_Anwering_19_8 + Server_Anwering_19_9 + Server_Anwering_68_1 + Server_Anwering_68_2 + Server_Anwering_68_3 + Server_Anwering_68_4 + Server_Anwering_68_5 + Server_Anwering_68_6 + Server_Anwering_68_7 + Server_Anwering_68_8 + Server_Anwering_68_9 + Server_Anwering_55_1 + Server_Anwering_55_2 + Server_Anwering_55_3 + Server_Anwering_55_4 + Server_Anwering_55_5 + Server_Anwering_55_6 + Server_Anwering_55_7 + Server_Anwering_55_8 + Server_Anwering_55_9 + Server_Anwering_42_1 + Server_Anwering_42_2 + Server_Anwering_42_3 + Server_Anwering_42_4 + Server_Anwering_42_5 + Server_Anwering_42_6 + Server_Anwering_42_7 + Server_Anwering_42_8 + Server_Anwering_42_9 + Server_Anwering_41_10 + Server_Anwering_53_10 + Server_Anwering_65_10 + Server_Anwering_77_10 + Server_Anwering_89_10 + Server_Anwering_91_1 + Server_Anwering_91_2 + Server_Anwering_91_3 + Server_Anwering_91_4 + Server_Anwering_91_5 + Server_Anwering_91_6 + Server_Anwering_91_7 + Server_Anwering_91_8 + Server_Anwering_91_9 + Server_Anwering_87_10 + Server_Anwering_97_9 + Server_Anwering_97_8 + Server_Anwering_97_7 + Server_Anwering_97_6 + Server_Anwering_97_5 + Server_Anwering_97_4 + Server_Anwering_97_3 + Server_Anwering_97_2 + Server_Anwering_97_1 + Server_Anwering_75_10 + Server_Anwering_63_10 + Server_Anwering_51_10 + Server_Anwering_22_9 + Server_Anwering_22_8 + Server_Anwering_22_7 + Server_Anwering_22_6 + Server_Anwering_22_5 + Server_Anwering_22_4 + Server_Anwering_22_3 + Server_Anwering_22_2 + Server_Anwering_22_1 + Server_Anwering_35_9 + Server_Anwering_35_8 + Server_Anwering_35_7 + Server_Anwering_35_6 + Server_Anwering_35_5 + Server_Anwering_35_4 + Server_Anwering_35_3 + Server_Anwering_35_2 + Server_Anwering_35_1 + Server_Anwering_48_9 + Server_Anwering_48_8 + Server_Anwering_48_7 + Server_Anwering_48_6 + Server_Anwering_48_5 + Server_Anwering_48_4 + Server_Anwering_48_3 + Server_Anwering_48_2 + Server_Anwering_48_1 + Server_Anwering_38_10 + Server_Anwering_26_10 + Server_Anwering_14_10 + Server_Anwering_3_9 + Server_Anwering_3_8 + Server_Anwering_3_7 + Server_Anwering_3_6 + Server_Anwering_3_5 + Server_Anwering_3_4 + Server_Anwering_3_3 + Server_Anwering_3_2 + Server_Anwering_3_1 + Server_Anwering_70_9 + Server_Anwering_70_8 + Server_Anwering_70_7 + Server_Anwering_70_6 + Server_Anwering_70_5 + Server_Anwering_70_4 + Server_Anwering_70_3 + Server_Anwering_70_2 + Server_Anwering_70_1 + Server_Anwering_83_9 + Server_Anwering_83_8 + Server_Anwering_83_7 + Server_Anwering_83_6 + Server_Anwering_83_5 + Server_Anwering_83_4 + Server_Anwering_83_3 + Server_Anwering_83_2 + Server_Anwering_83_1 + Server_Anwering_96_9 + Server_Anwering_96_8 + Server_Anwering_96_7 + Server_Anwering_96_6 + Server_Anwering_96_5 + Server_Anwering_96_4 + Server_Anwering_96_3 + Server_Anwering_96_2 + Server_Anwering_96_1 + Server_Anwering_6_10 + Server_Anwering_21_9 + Server_Anwering_90_10 + Server_Anwering_100_10 + Server_Anwering_2_10 + Server_Anwering_69_1 + Server_Anwering_69_2 + Server_Anwering_69_3 + Server_Anwering_69_4 + Server_Anwering_69_5 + Server_Anwering_69_6 + Server_Anwering_69_7 + Server_Anwering_69_8 + Server_Anwering_69_9 + Server_Anwering_56_1 + Server_Anwering_56_2 + Server_Anwering_56_3 + Server_Anwering_56_4 + Server_Anwering_56_5 + Server_Anwering_56_6 + Server_Anwering_56_7 + Server_Anwering_56_8 + Server_Anwering_56_9 + Server_Anwering_43_1 + Server_Anwering_43_2 + Server_Anwering_43_3 + Server_Anwering_43_4 + Server_Anwering_43_5 + Server_Anwering_43_6 + Server_Anwering_43_7 + Server_Anwering_43_8 + Server_Anwering_43_9 + Server_Anwering_30_1 + Server_Anwering_30_2 + Server_Anwering_30_3 + Server_Anwering_30_4 + Server_Anwering_30_5 + Server_Anwering_30_6 + Server_Anwering_30_7 + Server_Anwering_30_8 + Server_Anwering_30_9 + Server_Anwering_10_10 + Server_Anwering_92_1 + Server_Anwering_92_2 + Server_Anwering_92_3 + Server_Anwering_92_4 + Server_Anwering_92_5 + Server_Anwering_92_6 + Server_Anwering_92_7 + Server_Anwering_92_8 + Server_Anwering_92_9 + Server_Anwering_22_10 + Server_Anwering_34_10 + Server_Anwering_46_10 + Server_Anwering_58_10 + Server_Anwering_71_10 + Server_Anwering_57_1 + Server_Anwering_57_2 + Server_Anwering_57_3 + Server_Anwering_57_4 + Server_Anwering_57_5 + Server_Anwering_57_6 + Server_Anwering_57_7 + Server_Anwering_57_8 + Server_Anwering_57_9 + Server_Anwering_83_10 + Server_Anwering_44_1 + Server_Anwering_44_2 + Server_Anwering_44_3 + Server_Anwering_44_4 + Server_Anwering_44_5 + Server_Anwering_44_6 + Server_Anwering_44_7 + Server_Anwering_44_8 + Server_Anwering_44_9 + Server_Anwering_95_10 + Server_Anwering_31_1 + Server_Anwering_31_2 + Server_Anwering_31_3 + Server_Anwering_31_4 + Server_Anwering_31_5 + Server_Anwering_31_6 + Server_Anwering_31_7 + Server_Anwering_31_8 + Server_Anwering_31_9 + Server_Anwering_7_10 + Server_Anwering_93_1 + Server_Anwering_93_2 + Server_Anwering_93_3 + Server_Anwering_93_4 + Server_Anwering_93_5 + Server_Anwering_93_6 + Server_Anwering_93_7 + Server_Anwering_93_8 + Server_Anwering_93_9 + Server_Anwering_80_1 + Server_Anwering_80_2 + Server_Anwering_80_3 + Server_Anwering_80_4 + Server_Anwering_80_5 + Server_Anwering_80_6 + Server_Anwering_80_7 + Server_Anwering_80_8 + Server_Anwering_80_9 + Server_Anwering_15_10 + Server_Anwering_27_10 + Server_Anwering_39_10 + Server_Anwering_58_1 + Server_Anwering_58_2 + Server_Anwering_58_3 + Server_Anwering_58_4 + Server_Anwering_58_5 + Server_Anwering_58_6 + Server_Anwering_58_7 + Server_Anwering_58_8 + Server_Anwering_58_9 + Server_Anwering_45_1 + Server_Anwering_45_2 + Server_Anwering_45_3 + Server_Anwering_45_4 + Server_Anwering_45_5 + Server_Anwering_45_6 + Server_Anwering_45_7 + Server_Anwering_45_8 + Server_Anwering_45_9 + Server_Anwering_32_1 + Server_Anwering_32_2 + Server_Anwering_32_3 + Server_Anwering_32_4 + Server_Anwering_32_5 + Server_Anwering_32_6 + Server_Anwering_32_7 + Server_Anwering_32_8 + Server_Anwering_32_9 + Server_Anwering_40_10 + Server_Anwering_52_10 + Server_Anwering_64_10 + Server_Anwering_76_10 + Server_Anwering_88_10 + Server_Anwering_94_1 + Server_Anwering_94_2 + Server_Anwering_94_3 + Server_Anwering_94_4 + Server_Anwering_94_5 + Server_Anwering_94_6 + Server_Anwering_94_7 + Server_Anwering_94_8 + Server_Anwering_94_9 + Server_Anwering_81_1 + Server_Anwering_81_2 + Server_Anwering_81_3 + Server_Anwering_81_4 + Server_Anwering_81_5 + Server_Anwering_81_6 + Server_Anwering_81_7 + Server_Anwering_81_8 + Server_Anwering_81_9 + Server_Anwering_1_1 + Server_Anwering_1_2 + Server_Anwering_1_3 + Server_Anwering_1_4 + Server_Anwering_1_5 + Server_Anwering_1_6 + Server_Anwering_1_7 + Server_Anwering_1_8 + Server_Anwering_1_9 + Server_Anwering_1_10 + Server_Anwering_59_1 + Server_Anwering_59_2 + Server_Anwering_59_3 + Server_Anwering_59_4 + Server_Anwering_59_5 + Server_Anwering_59_6 + Server_Anwering_59_7 + Server_Anwering_59_8 + Server_Anwering_59_9 + Server_Anwering_46_1 + Server_Anwering_46_2 + Server_Anwering_46_3 + Server_Anwering_46_4 + Server_Anwering_46_5 + Server_Anwering_46_6 + Server_Anwering_46_7 + Server_Anwering_46_8 + Server_Anwering_46_9 + Server_Anwering_21_8 + Server_Anwering_33_1 + Server_Anwering_33_2 + Server_Anwering_33_3 + Server_Anwering_33_4 + Server_Anwering_33_5 + Server_Anwering_33_6 + Server_Anwering_33_7 + Server_Anwering_33_8 + Server_Anwering_33_9 + Server_Anwering_20_1 + Server_Anwering_20_2 + Server_Anwering_20_3 + Server_Anwering_20_4 + Server_Anwering_20_5 + Server_Anwering_20_6 + Server_Anwering_20_7 + Server_Anwering_20_8 + Server_Anwering_20_9 + Server_Anwering_95_1 + Server_Anwering_95_2 + Server_Anwering_95_3 + Server_Anwering_95_4 + Server_Anwering_95_5 + Server_Anwering_95_6 + Server_Anwering_95_7 + Server_Anwering_95_8 + Server_Anwering_95_9 + Server_Anwering_82_1 + Server_Anwering_82_2 + Server_Anwering_82_3 + Server_Anwering_82_4 + Server_Anwering_82_5 + Server_Anwering_82_6 + Server_Anwering_82_7 + Server_Anwering_82_8 + Server_Anwering_82_9 + Server_Anwering_21_10 + Server_Anwering_33_10 + Server_Anwering_45_10 + Server_Anwering_57_10 + Server_Anwering_69_10 + Server_Anwering_100_1 + Server_Anwering_2_1 + Server_Anwering_100_2 + Server_Anwering_100_3 + Server_Anwering_2_2 + Server_Anwering_100_4 + Server_Anwering_2_3 + Server_Anwering_100_5 + Server_Anwering_2_4 + Server_Anwering_2_5 + Server_Anwering_100_6 + Server_Anwering_100_7 + Server_Anwering_2_6 + Server_Anwering_2_7 + Server_Anwering_100_8 + Server_Anwering_100_9 + Server_Anwering_2_8 + Server_Anwering_2_9 + Server_Anwering_70_10 + Server_Anwering_47_1 + Server_Anwering_47_2 + Server_Anwering_47_3 + Server_Anwering_47_4 + Server_Anwering_47_5 + Server_Anwering_47_6 + Server_Anwering_47_7 + Server_Anwering_47_8 + Server_Anwering_47_9 + Server_Anwering_82_10 + Server_Anwering_34_1 + Server_Anwering_34_2 + Server_Anwering_34_3 + Server_Anwering_34_4 + Server_Anwering_34_5 + Server_Anwering_34_6 + Server_Anwering_34_7 + Server_Anwering_34_8 + Server_Anwering_34_9 + Server_Anwering_94_10 + Server_Anwering_21_1 + Server_Anwering_21_2 + Server_Anwering_21_3 + Server_Anwering_21_4 + Server_Anwering_21_5 + Server_Anwering_21_6 + Server_Anwering_21_7 + Server_Anwering_99_10 + Server_Anwering_71_1 + Server_Anwering_71_2 + Server_Anwering_71_3 + Server_Anwering_71_4 + Server_Anwering_71_5 + Server_Anwering_71_6 + Server_Anwering_71_7 + Server_Anwering_71_8 + Server_Anwering_71_9) : MAX(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_26 + Client_Sending_27 + Client_Sending_28 + Client_Sending_29 + Client_Sending_30 + Client_Sending_31 + Client_Sending_32 + Client_Sending_33 + Client_Sending_34 + Client_Sending_35 + Client_Sending_36 + Client_Sending_37 + Client_Sending_38 + Client_Sending_39 + Client_Sending_40 + Client_Sending_41 + Client_Sending_42 + Client_Sending_43 + Client_Sending_44 + Client_Sending_45 + Client_Sending_46 + Client_Sending_47 + Client_Sending_48 + Client_Sending_49 + Client_Sending_50 + Client_Sending_51 + Client_Sending_52 + Client_Sending_53 + Client_Sending_54 + Client_Sending_55 + Client_Sending_56 + Client_Sending_57 + Client_Sending_58 + Client_Sending_59 + Client_Sending_60 + Client_Sending_61 + Client_Sending_62 + Client_Sending_63 + Client_Sending_64 + Client_Sending_65 + Client_Sending_66 + Client_Sending_67 + Client_Sending_68 + Client_Sending_69 + Client_Sending_70 + Client_Sending_71 + Client_Sending_72 + Client_Sending_73 + Client_Sending_74 + Client_Sending_75 + Client_Sending_76 + Client_Sending_77 + Client_Sending_78 + Client_Sending_79 + Client_Sending_80 + Client_Sending_81 + Client_Sending_82 + Client_Sending_83 + Client_Sending_84 + Client_Sending_85 + Client_Sending_86 + Client_Sending_87 + Client_Sending_88 + Client_Sending_89 + Client_Sending_90 + Client_Sending_91 + Client_Sending_92 + Client_Sending_93 + Client_Sending_94 + Client_Sending_95 + Client_Sending_96 + Client_Sending_97 + Client_Sending_98 + Client_Sending_99 + Client_Sending_100 + Client_Sending_9 + Client_Sending_8 + Client_Sending_7 + Client_Sending_6 + Client_Sending_5 + Client_Sending_4 + Client_Sending_3 + Client_Sending_2 + Client_Sending_1) : MAX(Server_Anwering_4_1 + Server_Anwering_4_2 + Server_Anwering_4_3 + Server_Anwering_4_4 + Server_Anwering_4_5 + Server_Anwering_4_6 + Server_Anwering_4_7 + Server_Anwering_4_8 + Server_Anwering_4_9 + Server_Anwering_19_10 + Server_Anwering_49_1 + Server_Anwering_49_2 + Server_Anwering_49_3 + Server_Anwering_49_4 + Server_Anwering_49_5 + Server_Anwering_49_6 + Server_Anwering_49_7 + Server_Anwering_49_8 + Server_Anwering_49_9 + Server_Anwering_36_1 + Server_Anwering_36_2 + Server_Anwering_36_3 + Server_Anwering_36_4 + Server_Anwering_36_5 + Server_Anwering_36_6 + Server_Anwering_36_7 + Server_Anwering_36_8 + Server_Anwering_36_9 + Server_Anwering_23_1 + Server_Anwering_23_2 + Server_Anwering_23_3 + Server_Anwering_23_4 + Server_Anwering_23_5 + Server_Anwering_23_6 + Server_Anwering_23_7 + Server_Anwering_23_8 + Server_Anwering_23_9 + Server_Anwering_10_1 + Server_Anwering_10_2 + Server_Anwering_10_3 + Server_Anwering_10_4 + Server_Anwering_10_5 + Server_Anwering_10_6 + Server_Anwering_10_7 + Server_Anwering_10_8 + Server_Anwering_10_9 + Server_Anwering_98_1 + Server_Anwering_98_2 + Server_Anwering_98_3 + Server_Anwering_98_4 + Server_Anwering_98_5 + Server_Anwering_98_6 + Server_Anwering_98_7 + Server_Anwering_98_8 + Server_Anwering_98_9 + Server_Anwering_85_1 + Server_Anwering_85_2 + Server_Anwering_85_3 + Server_Anwering_85_4 + Server_Anwering_85_5 + Server_Anwering_85_6 + Server_Anwering_85_7 + Server_Anwering_85_8 + Server_Anwering_85_9 + Server_Anwering_72_1 + Server_Anwering_72_2 + Server_Anwering_72_3 + Server_Anwering_72_4 + Server_Anwering_72_5 + Server_Anwering_72_6 + Server_Anwering_72_7 + Server_Anwering_72_8 + Server_Anwering_72_9 + Server_Anwering_20_10 + Server_Anwering_32_10 + Server_Anwering_44_10 + Server_Anwering_56_10 + Server_Anwering_68_10 + Server_Anwering_5_1 + Server_Anwering_5_2 + Server_Anwering_5_3 + Server_Anwering_5_4 + Server_Anwering_5_5 + Server_Anwering_5_6 + Server_Anwering_5_7 + Server_Anwering_5_8 + Server_Anwering_5_9 + Server_Anwering_37_1 + Server_Anwering_37_2 + Server_Anwering_37_3 + Server_Anwering_37_4 + Server_Anwering_37_5 + Server_Anwering_37_6 + Server_Anwering_37_7 + Server_Anwering_37_8 + Server_Anwering_37_9 + Server_Anwering_81_10 + Server_Anwering_24_1 + Server_Anwering_24_2 + Server_Anwering_24_3 + Server_Anwering_24_4 + Server_Anwering_24_5 + Server_Anwering_24_6 + Server_Anwering_24_7 + Server_Anwering_24_8 + Server_Anwering_24_9 + Server_Anwering_93_10 + Server_Anwering_11_1 + Server_Anwering_11_2 + Server_Anwering_11_3 + Server_Anwering_11_4 + Server_Anwering_11_5 + Server_Anwering_11_6 + Server_Anwering_11_7 + Server_Anwering_11_8 + Server_Anwering_11_9 + Server_Anwering_5_10 + Server_Anwering_99_1 + Server_Anwering_99_2 + Server_Anwering_99_3 + Server_Anwering_99_4 + Server_Anwering_99_5 + Server_Anwering_99_6 + Server_Anwering_99_7 + Server_Anwering_99_8 + Server_Anwering_99_9 + Server_Anwering_86_1 + Server_Anwering_86_2 + Server_Anwering_86_3 + Server_Anwering_86_4 + Server_Anwering_86_5 + Server_Anwering_86_6 + Server_Anwering_86_7 + Server_Anwering_86_8 + Server_Anwering_86_9 + Server_Anwering_73_1 + Server_Anwering_73_2 + Server_Anwering_73_3 + Server_Anwering_73_4 + Server_Anwering_73_5 + Server_Anwering_73_6 + Server_Anwering_73_7 + Server_Anwering_73_8 + Server_Anwering_73_9 + Server_Anwering_60_1 + Server_Anwering_60_2 + Server_Anwering_60_3 + Server_Anwering_60_4 + Server_Anwering_60_5 + Server_Anwering_60_6 + Server_Anwering_60_7 + Server_Anwering_60_8 + Server_Anwering_60_9 + Server_Anwering_6_1 + Server_Anwering_6_2 + Server_Anwering_6_3 + Server_Anwering_6_4 + Server_Anwering_6_5 + Server_Anwering_6_6 + Server_Anwering_6_7 + Server_Anwering_6_8 + Server_Anwering_6_9 + Server_Anwering_13_10 + Server_Anwering_25_10 + Server_Anwering_37_10 + Server_Anwering_49_10 + Server_Anwering_38_1 + Server_Anwering_38_2 + Server_Anwering_38_3 + Server_Anwering_38_4 + Server_Anwering_38_5 + Server_Anwering_38_6 + Server_Anwering_38_7 + Server_Anwering_38_8 + Server_Anwering_38_9 + Server_Anwering_25_1 + Server_Anwering_25_2 + Server_Anwering_25_3 + Server_Anwering_25_4 + Server_Anwering_25_5 + Server_Anwering_25_6 + Server_Anwering_25_7 + Server_Anwering_25_8 + Server_Anwering_25_9 + Server_Anwering_12_1 + Server_Anwering_12_2 + Server_Anwering_12_3 + Server_Anwering_12_4 + Server_Anwering_12_5 + Server_Anwering_12_6 + Server_Anwering_12_7 + Server_Anwering_12_8 + Server_Anwering_12_9 + Server_Anwering_50_10 + Server_Anwering_62_10 + Server_Anwering_74_10 + Server_Anwering_87_1 + Server_Anwering_87_2 + Server_Anwering_87_3 + Server_Anwering_87_4 + Server_Anwering_87_5 + Server_Anwering_87_6 + Server_Anwering_87_7 + Server_Anwering_87_8 + Server_Anwering_87_9 + Server_Anwering_86_10 + Server_Anwering_74_1 + Server_Anwering_74_2 + Server_Anwering_74_3 + Server_Anwering_74_4 + Server_Anwering_74_5 + Server_Anwering_74_6 + Server_Anwering_74_7 + Server_Anwering_74_8 + Server_Anwering_74_9 + Server_Anwering_98_10 + Server_Anwering_61_1 + Server_Anwering_61_2 + Server_Anwering_61_3 + Server_Anwering_61_4 + Server_Anwering_61_5 + Server_Anwering_61_6 + Server_Anwering_61_7 + Server_Anwering_61_8 + Server_Anwering_61_9 + Server_Anwering_7_1 + Server_Anwering_7_2 + Server_Anwering_7_3 + Server_Anwering_7_4 + Server_Anwering_7_5 + Server_Anwering_7_6 + Server_Anwering_7_7 + Server_Anwering_7_8 + Server_Anwering_7_9 + Server_Anwering_18_10 + Server_Anwering_39_1 + Server_Anwering_39_2 + Server_Anwering_39_3 + Server_Anwering_39_4 + Server_Anwering_39_5 + Server_Anwering_39_6 + Server_Anwering_39_7 + Server_Anwering_39_8 + Server_Anwering_39_9 + Server_Anwering_26_1 + Server_Anwering_26_2 + Server_Anwering_26_3 + Server_Anwering_26_4 + Server_Anwering_26_5 + Server_Anwering_26_6 + Server_Anwering_26_7 + Server_Anwering_26_8 + Server_Anwering_26_9 + Server_Anwering_13_1 + Server_Anwering_13_2 + Server_Anwering_13_3 + Server_Anwering_13_4 + Server_Anwering_13_5 + Server_Anwering_13_6 + Server_Anwering_13_7 + Server_Anwering_13_8 + Server_Anwering_13_9 + Server_Anwering_88_1 + Server_Anwering_88_2 + Server_Anwering_88_3 + Server_Anwering_88_4 + Server_Anwering_88_5 + Server_Anwering_88_6 + Server_Anwering_88_7 + Server_Anwering_88_8 + Server_Anwering_88_9 + Server_Anwering_75_1 + Server_Anwering_75_2 + Server_Anwering_75_3 + Server_Anwering_75_4 + Server_Anwering_75_5 + Server_Anwering_75_6 + Server_Anwering_75_7 + Server_Anwering_75_8 + Server_Anwering_75_9 + Server_Anwering_62_1 + Server_Anwering_62_2 + Server_Anwering_62_3 + Server_Anwering_62_4 + Server_Anwering_62_5 + Server_Anwering_62_6 + Server_Anwering_62_7 + Server_Anwering_62_8 + Server_Anwering_62_9 + Server_Anwering_31_10 + Server_Anwering_43_10 + Server_Anwering_8_1 + Server_Anwering_8_2 + Server_Anwering_8_3 + Server_Anwering_8_4 + Server_Anwering_8_5 + Server_Anwering_8_6 + Server_Anwering_8_7 + Server_Anwering_8_8 + Server_Anwering_8_9 + Server_Anwering_55_10 + Server_Anwering_67_10 + Server_Anwering_79_10 + Server_Anwering_27_1 + Server_Anwering_27_2 + Server_Anwering_27_3 + Server_Anwering_27_4 + Server_Anwering_27_5 + Server_Anwering_27_6 + Server_Anwering_27_7 + Server_Anwering_27_8 + Server_Anwering_27_9 + Server_Anwering_80_10 + Server_Anwering_14_1 + Server_Anwering_14_2 + Server_Anwering_14_3 + Server_Anwering_14_4 + Server_Anwering_14_5 + Server_Anwering_14_6 + Server_Anwering_14_7 + Server_Anwering_14_8 + Server_Anwering_14_9 + Server_Anwering_92_10 + Server_Anwering_4_10 + Server_Anwering_89_1 + Server_Anwering_89_2 + Server_Anwering_89_3 + Server_Anwering_89_4 + Server_Anwering_89_5 + Server_Anwering_89_6 + Server_Anwering_89_7 + Server_Anwering_89_8 + Server_Anwering_89_9 + Server_Anwering_76_1 + Server_Anwering_76_2 + Server_Anwering_76_3 + Server_Anwering_76_4 + Server_Anwering_76_5 + Server_Anwering_76_6 + Server_Anwering_76_7 + Server_Anwering_76_8 + Server_Anwering_76_9 + Server_Anwering_63_1 + Server_Anwering_63_2 + Server_Anwering_63_3 + Server_Anwering_63_4 + Server_Anwering_63_5 + Server_Anwering_63_6 + Server_Anwering_63_7 + Server_Anwering_63_8 + Server_Anwering_63_9 + Server_Anwering_50_1 + Server_Anwering_50_2 + Server_Anwering_50_3 + Server_Anwering_50_4 + Server_Anwering_50_5 + Server_Anwering_50_6 + Server_Anwering_50_7 + Server_Anwering_50_8 + Server_Anwering_50_9 + Server_Anwering_9_1 + Server_Anwering_9_2 + Server_Anwering_9_3 + Server_Anwering_9_4 + Server_Anwering_9_5 + Server_Anwering_9_6 + Server_Anwering_9_7 + Server_Anwering_9_8 + Server_Anwering_9_9 + Server_Anwering_12_10 + Server_Anwering_24_10 + Server_Anwering_36_10 + Server_Anwering_48_10 + Server_Anwering_28_1 + Server_Anwering_28_2 + Server_Anwering_28_3 + Server_Anwering_28_4 + Server_Anwering_28_5 + Server_Anwering_28_6 + Server_Anwering_28_7 + Server_Anwering_28_8 + Server_Anwering_28_9 + Server_Anwering_15_1 + Server_Anwering_15_2 + Server_Anwering_15_3 + Server_Anwering_15_4 + Server_Anwering_15_5 + Server_Anwering_15_6 + Server_Anwering_15_7 + Server_Anwering_15_8 + Server_Anwering_15_9 + Server_Anwering_61_10 + Server_Anwering_73_10 + Server_Anwering_77_1 + Server_Anwering_77_2 + Server_Anwering_77_3 + Server_Anwering_77_4 + Server_Anwering_77_5 + Server_Anwering_77_6 + Server_Anwering_77_7 + Server_Anwering_77_8 + Server_Anwering_77_9 + Server_Anwering_85_10 + Server_Anwering_64_1 + Server_Anwering_64_2 + Server_Anwering_64_3 + Server_Anwering_64_4 + Server_Anwering_64_5 + Server_Anwering_64_6 + Server_Anwering_64_7 + Server_Anwering_64_8 + Server_Anwering_64_9 + Server_Anwering_97_10 + Server_Anwering_51_1 + Server_Anwering_51_2 + Server_Anwering_51_3 + Server_Anwering_51_4 + Server_Anwering_51_5 + Server_Anwering_51_6 + Server_Anwering_51_7 + Server_Anwering_51_8 + Server_Anwering_51_9 + Server_Anwering_9_10 + Server_Anwering_17_10 + Server_Anwering_29_10 + Server_Anwering_29_1 + Server_Anwering_29_2 + Server_Anwering_29_3 + Server_Anwering_29_4 + Server_Anwering_29_5 + Server_Anwering_29_6 + Server_Anwering_29_7 + Server_Anwering_29_8 + Server_Anwering_29_9 + Server_Anwering_16_1 + Server_Anwering_16_2 + Server_Anwering_16_3 + Server_Anwering_16_4 + Server_Anwering_16_5 + Server_Anwering_16_6 + Server_Anwering_16_7 + Server_Anwering_16_8 + Server_Anwering_16_9 + Server_Anwering_84_9 + Server_Anwering_84_8 + Server_Anwering_84_7 + Server_Anwering_84_6 + Server_Anwering_84_5 + Server_Anwering_84_4 + Server_Anwering_84_3 + Server_Anwering_84_2 + Server_Anwering_84_1 + Server_Anwering_78_1 + Server_Anwering_78_2 + Server_Anwering_78_3 + Server_Anwering_78_4 + Server_Anwering_78_5 + Server_Anwering_78_6 + Server_Anwering_78_7 + Server_Anwering_78_8 + Server_Anwering_78_9 + Server_Anwering_65_1 + Server_Anwering_65_2 + Server_Anwering_65_3 + Server_Anwering_65_4 + Server_Anwering_65_5 + Server_Anwering_65_6 + Server_Anwering_65_7 + Server_Anwering_65_8 + Server_Anwering_65_9 + Server_Anwering_52_1 + Server_Anwering_52_2 + Server_Anwering_52_3 + Server_Anwering_52_4 + Server_Anwering_52_5 + Server_Anwering_52_6 + Server_Anwering_52_7 + Server_Anwering_52_8 + Server_Anwering_52_9 + Server_Anwering_30_10 + Server_Anwering_42_10 + Server_Anwering_54_10 + Server_Anwering_66_10 + Server_Anwering_78_10 + Server_Anwering_17_1 + Server_Anwering_17_2 + Server_Anwering_17_3 + Server_Anwering_17_4 + Server_Anwering_17_5 + Server_Anwering_17_6 + Server_Anwering_17_7 + Server_Anwering_17_8 + Server_Anwering_17_9 + Server_Anwering_91_10 + Server_Anwering_3_10 + Server_Anwering_79_1 + Server_Anwering_79_2 + Server_Anwering_79_3 + Server_Anwering_79_4 + Server_Anwering_79_5 + Server_Anwering_79_6 + Server_Anwering_79_7 + Server_Anwering_79_8 + Server_Anwering_79_9 + Server_Anwering_66_1 + Server_Anwering_66_2 + Server_Anwering_66_3 + Server_Anwering_66_4 + Server_Anwering_66_5 + Server_Anwering_66_6 + Server_Anwering_66_7 + Server_Anwering_66_8 + Server_Anwering_66_9 + Server_Anwering_53_1 + Server_Anwering_53_2 + Server_Anwering_53_3 + Server_Anwering_53_4 + Server_Anwering_53_5 + Server_Anwering_53_6 + Server_Anwering_53_7 + Server_Anwering_53_8 + Server_Anwering_53_9 + Server_Anwering_40_1 + Server_Anwering_40_2 + Server_Anwering_40_3 + Server_Anwering_40_4 + Server_Anwering_40_5 + Server_Anwering_40_6 + Server_Anwering_40_7 + Server_Anwering_40_8 + Server_Anwering_40_9 + Server_Anwering_11_10 + Server_Anwering_23_10 + Server_Anwering_35_10 + Server_Anwering_47_10 + Server_Anwering_59_10 + Server_Anwering_18_1 + Server_Anwering_18_2 + Server_Anwering_18_3 + Server_Anwering_18_4 + Server_Anwering_18_5 + Server_Anwering_18_6 + Server_Anwering_18_7 + Server_Anwering_18_8 + Server_Anwering_18_9 + Server_Anwering_60_10 + Server_Anwering_72_10 + Server_Anwering_67_1 + Server_Anwering_67_2 + Server_Anwering_67_3 + Server_Anwering_67_4 + Server_Anwering_67_5 + Server_Anwering_67_6 + Server_Anwering_67_7 + Server_Anwering_67_8 + Server_Anwering_67_9 + Server_Anwering_84_10 + Server_Anwering_54_1 + Server_Anwering_54_2 + Server_Anwering_54_3 + Server_Anwering_54_4 + Server_Anwering_54_5 + Server_Anwering_54_6 + Server_Anwering_54_7 + Server_Anwering_54_8 + Server_Anwering_54_9 + Server_Anwering_96_10 + Server_Anwering_41_1 + Server_Anwering_41_2 + Server_Anwering_41_3 + Server_Anwering_41_4 + Server_Anwering_41_5 + Server_Anwering_41_6 + Server_Anwering_41_7 + Server_Anwering_41_8 + Server_Anwering_41_9 + Server_Anwering_8_10 + Server_Anwering_90_1 + Server_Anwering_90_2 + Server_Anwering_90_3 + Server_Anwering_90_4 + Server_Anwering_90_5 + Server_Anwering_90_6 + Server_Anwering_90_7 + Server_Anwering_90_8 + Server_Anwering_90_9 + Server_Anwering_16_10 + Server_Anwering_28_10 + Server_Anwering_19_1 + Server_Anwering_19_2 + Server_Anwering_19_3 + Server_Anwering_19_4 + Server_Anwering_19_5 + Server_Anwering_19_6 + Server_Anwering_19_7 + Server_Anwering_19_8 + Server_Anwering_19_9 + Server_Anwering_68_1 + Server_Anwering_68_2 + Server_Anwering_68_3 + Server_Anwering_68_4 + Server_Anwering_68_5 + Server_Anwering_68_6 + Server_Anwering_68_7 + Server_Anwering_68_8 + Server_Anwering_68_9 + Server_Anwering_55_1 + Server_Anwering_55_2 + Server_Anwering_55_3 + Server_Anwering_55_4 + Server_Anwering_55_5 + Server_Anwering_55_6 + Server_Anwering_55_7 + Server_Anwering_55_8 + Server_Anwering_55_9 + Server_Anwering_42_1 + Server_Anwering_42_2 + Server_Anwering_42_3 + Server_Anwering_42_4 + Server_Anwering_42_5 + Server_Anwering_42_6 + Server_Anwering_42_7 + Server_Anwering_42_8 + Server_Anwering_42_9 + Server_Anwering_41_10 + Server_Anwering_53_10 + Server_Anwering_65_10 + Server_Anwering_77_10 + Server_Anwering_89_10 + Server_Anwering_91_1 + Server_Anwering_91_2 + Server_Anwering_91_3 + Server_Anwering_91_4 + Server_Anwering_91_5 + Server_Anwering_91_6 + Server_Anwering_91_7 + Server_Anwering_91_8 + Server_Anwering_91_9 + Server_Anwering_87_10 + Server_Anwering_97_9 + Server_Anwering_97_8 + Server_Anwering_97_7 + Server_Anwering_97_6 + Server_Anwering_97_5 + Server_Anwering_97_4 + Server_Anwering_97_3 + Server_Anwering_97_2 + Server_Anwering_97_1 + Server_Anwering_75_10 + Server_Anwering_63_10 + Server_Anwering_51_10 + Server_Anwering_22_9 + Server_Anwering_22_8 + Server_Anwering_22_7 + Server_Anwering_22_6 + Server_Anwering_22_5 + Server_Anwering_22_4 + Server_Anwering_22_3 + Server_Anwering_22_2 + Server_Anwering_22_1 + Server_Anwering_35_9 + Server_Anwering_35_8 + Server_Anwering_35_7 + Server_Anwering_35_6 + Server_Anwering_35_5 + Server_Anwering_35_4 + Server_Anwering_35_3 + Server_Anwering_35_2 + Server_Anwering_35_1 + Server_Anwering_48_9 + Server_Anwering_48_8 + Server_Anwering_48_7 + Server_Anwering_48_6 + Server_Anwering_48_5 + Server_Anwering_48_4 + Server_Anwering_48_3 + Server_Anwering_48_2 + Server_Anwering_48_1 + Server_Anwering_38_10 + Server_Anwering_26_10 + Server_Anwering_14_10 + Server_Anwering_3_9 + Server_Anwering_3_8 + Server_Anwering_3_7 + Server_Anwering_3_6 + Server_Anwering_3_5 + Server_Anwering_3_4 + Server_Anwering_3_3 + Server_Anwering_3_2 + Server_Anwering_3_1 + Server_Anwering_70_9 + Server_Anwering_70_8 + Server_Anwering_70_7 + Server_Anwering_70_6 + Server_Anwering_70_5 + Server_Anwering_70_4 + Server_Anwering_70_3 + Server_Anwering_70_2 + Server_Anwering_70_1 + Server_Anwering_83_9 + Server_Anwering_83_8 + Server_Anwering_83_7 + Server_Anwering_83_6 + Server_Anwering_83_5 + Server_Anwering_83_4 + Server_Anwering_83_3 + Server_Anwering_83_2 + Server_Anwering_83_1 + Server_Anwering_96_9 + Server_Anwering_96_8 + Server_Anwering_96_7 + Server_Anwering_96_6 + Server_Anwering_96_5 + Server_Anwering_96_4 + Server_Anwering_96_3 + Server_Anwering_96_2 + Server_Anwering_96_1 + Server_Anwering_6_10 + Server_Anwering_21_9 + Server_Anwering_90_10 + Server_Anwering_100_10 + Server_Anwering_2_10 + Server_Anwering_69_1 + Server_Anwering_69_2 + Server_Anwering_69_3 + Server_Anwering_69_4 + Server_Anwering_69_5 + Server_Anwering_69_6 + Server_Anwering_69_7 + Server_Anwering_69_8 + Server_Anwering_69_9 + Server_Anwering_56_1 + Server_Anwering_56_2 + Server_Anwering_56_3 + Server_Anwering_56_4 + Server_Anwering_56_5 + Server_Anwering_56_6 + Server_Anwering_56_7 + Server_Anwering_56_8 + Server_Anwering_56_9 + Server_Anwering_43_1 + Server_Anwering_43_2 + Server_Anwering_43_3 + Server_Anwering_43_4 + Server_Anwering_43_5 + Server_Anwering_43_6 + Server_Anwering_43_7 + Server_Anwering_43_8 + Server_Anwering_43_9 + Server_Anwering_30_1 + Server_Anwering_30_2 + Server_Anwering_30_3 + Server_Anwering_30_4 + Server_Anwering_30_5 + Server_Anwering_30_6 + Server_Anwering_30_7 + Server_Anwering_30_8 + Server_Anwering_30_9 + Server_Anwering_10_10 + Server_Anwering_92_1 + Server_Anwering_92_2 + Server_Anwering_92_3 + Server_Anwering_92_4 + Server_Anwering_92_5 + Server_Anwering_92_6 + Server_Anwering_92_7 + Server_Anwering_92_8 + Server_Anwering_92_9 + Server_Anwering_22_10 + Server_Anwering_34_10 + Server_Anwering_46_10 + Server_Anwering_58_10 + Server_Anwering_71_10 + Server_Anwering_57_1 + Server_Anwering_57_2 + Server_Anwering_57_3 + Server_Anwering_57_4 + Server_Anwering_57_5 + Server_Anwering_57_6 + Server_Anwering_57_7 + Server_Anwering_57_8 + Server_Anwering_57_9 + Server_Anwering_83_10 + Server_Anwering_44_1 + Server_Anwering_44_2 + Server_Anwering_44_3 + Server_Anwering_44_4 + Server_Anwering_44_5 + Server_Anwering_44_6 + Server_Anwering_44_7 + Server_Anwering_44_8 + Server_Anwering_44_9 + Server_Anwering_95_10 + Server_Anwering_31_1 + Server_Anwering_31_2 + Server_Anwering_31_3 + Server_Anwering_31_4 + Server_Anwering_31_5 + Server_Anwering_31_6 + Server_Anwering_31_7 + Server_Anwering_31_8 + Server_Anwering_31_9 + Server_Anwering_7_10 + Server_Anwering_93_1 + Server_Anwering_93_2 + Server_Anwering_93_3 + Server_Anwering_93_4 + Server_Anwering_93_5 + Server_Anwering_93_6 + Server_Anwering_93_7 + Server_Anwering_93_8 + Server_Anwering_93_9 + Server_Anwering_80_1 + Server_Anwering_80_2 + Server_Anwering_80_3 + Server_Anwering_80_4 + Server_Anwering_80_5 + Server_Anwering_80_6 + Server_Anwering_80_7 + Server_Anwering_80_8 + Server_Anwering_80_9 + Server_Anwering_15_10 + Server_Anwering_27_10 + Server_Anwering_39_10 + Server_Anwering_58_1 + Server_Anwering_58_2 + Server_Anwering_58_3 + Server_Anwering_58_4 + Server_Anwering_58_5 + Server_Anwering_58_6 + Server_Anwering_58_7 + Server_Anwering_58_8 + Server_Anwering_58_9 + Server_Anwering_45_1 + Server_Anwering_45_2 + Server_Anwering_45_3 + Server_Anwering_45_4 + Server_Anwering_45_5 + Server_Anwering_45_6 + Server_Anwering_45_7 + Server_Anwering_45_8 + Server_Anwering_45_9 + Server_Anwering_32_1 + Server_Anwering_32_2 + Server_Anwering_32_3 + Server_Anwering_32_4 + Server_Anwering_32_5 + Server_Anwering_32_6 + Server_Anwering_32_7 + Server_Anwering_32_8 + Server_Anwering_32_9 + Server_Anwering_40_10 + Server_Anwering_52_10 + Server_Anwering_64_10 + Server_Anwering_76_10 + Server_Anwering_88_10 + Server_Anwering_94_1 + Server_Anwering_94_2 + Server_Anwering_94_3 + Server_Anwering_94_4 + Server_Anwering_94_5 + Server_Anwering_94_6 + Server_Anwering_94_7 + Server_Anwering_94_8 + Server_Anwering_94_9 + Server_Anwering_81_1 + Server_Anwering_81_2 + Server_Anwering_81_3 + Server_Anwering_81_4 + Server_Anwering_81_5 + Server_Anwering_81_6 + Server_Anwering_81_7 + Server_Anwering_81_8 + Server_Anwering_81_9 + Server_Anwering_1_1 + Server_Anwering_1_2 + Server_Anwering_1_3 + Server_Anwering_1_4 + Server_Anwering_1_5 + Server_Anwering_1_6 + Server_Anwering_1_7 + Server_Anwering_1_8 + Server_Anwering_1_9 + Server_Anwering_1_10 + Server_Anwering_59_1 + Server_Anwering_59_2 + Server_Anwering_59_3 + Server_Anwering_59_4 + Server_Anwering_59_5 + Server_Anwering_59_6 + Server_Anwering_59_7 + Server_Anwering_59_8 + Server_Anwering_59_9 + Server_Anwering_46_1 + Server_Anwering_46_2 + Server_Anwering_46_3 + Server_Anwering_46_4 + Server_Anwering_46_5 + Server_Anwering_46_6 + Server_Anwering_46_7 + Server_Anwering_46_8 + Server_Anwering_46_9 + Server_Anwering_21_8 + Server_Anwering_33_1 + Server_Anwering_33_2 + Server_Anwering_33_3 + Server_Anwering_33_4 + Server_Anwering_33_5 + Server_Anwering_33_6 + Server_Anwering_33_7 + Server_Anwering_33_8 + Server_Anwering_33_9 + Server_Anwering_20_1 + Server_Anwering_20_2 + Server_Anwering_20_3 + Server_Anwering_20_4 + Server_Anwering_20_5 + Server_Anwering_20_6 + Server_Anwering_20_7 + Server_Anwering_20_8 + Server_Anwering_20_9 + Server_Anwering_95_1 + Server_Anwering_95_2 + Server_Anwering_95_3 + Server_Anwering_95_4 + Server_Anwering_95_5 + Server_Anwering_95_6 + Server_Anwering_95_7 + Server_Anwering_95_8 + Server_Anwering_95_9 + Server_Anwering_82_1 + Server_Anwering_82_2 + Server_Anwering_82_3 + Server_Anwering_82_4 + Server_Anwering_82_5 + Server_Anwering_82_6 + Server_Anwering_82_7 + Server_Anwering_82_8 + Server_Anwering_82_9 + Server_Anwering_21_10 + Server_Anwering_33_10 + Server_Anwering_45_10 + Server_Anwering_57_10 + Server_Anwering_69_10 + Server_Anwering_100_1 + Server_Anwering_2_1 + Server_Anwering_100_2 + Server_Anwering_100_3 + Server_Anwering_2_2 + Server_Anwering_100_4 + Server_Anwering_2_3 + Server_Anwering_100_5 + Server_Anwering_2_4 + Server_Anwering_2_5 + Server_Anwering_100_6 + Server_Anwering_100_7 + Server_Anwering_2_6 + Server_Anwering_2_7 + Server_Anwering_100_8 + Server_Anwering_100_9 + Server_Anwering_2_8 + Server_Anwering_2_9 + Server_Anwering_70_10 + Server_Anwering_47_1 + Server_Anwering_47_2 + Server_Anwering_47_3 + Server_Anwering_47_4 + Server_Anwering_47_5 + Server_Anwering_47_6 + Server_Anwering_47_7 + Server_Anwering_47_8 + Server_Anwering_47_9 + Server_Anwering_82_10 + Server_Anwering_34_1 + Server_Anwering_34_2 + Server_Anwering_34_3 + Server_Anwering_34_4 + Server_Anwering_34_5 + Server_Anwering_34_6 + Server_Anwering_34_7 + Server_Anwering_34_8 + Server_Anwering_34_9 + Server_Anwering_94_10 + Server_Anwering_21_1 + Server_Anwering_21_2 + Server_Anwering_21_3 + Server_Anwering_21_4 + Server_Anwering_21_5 + Server_Anwering_21_6 + Server_Anwering_21_7 + Server_Anwering_99_10 + Server_Anwering_71_1 + Server_Anwering_71_2 + Server_Anwering_71_3 + Server_Anwering_71_4 + Server_Anwering_71_5 + Server_Anwering_71_6 + Server_Anwering_71_7 + Server_Anwering_71_8 + Server_Anwering_71_9) : MAX(RequestBuffer_100 + RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + RequestBuffer_22 + RequestBuffer_23 + RequestBuffer_24 + RequestBuffer_25 + RequestBuffer_26 + RequestBuffer_27 + RequestBuffer_28 + RequestBuffer_29 + RequestBuffer_30 + RequestBuffer_31 + RequestBuffer_32 + RequestBuffer_33 + RequestBuffer_34 + RequestBuffer_35 + RequestBuffer_36 + RequestBuffer_37 + RequestBuffer_38 + RequestBuffer_39 + RequestBuffer_40 + RequestBuffer_41 + RequestBuffer_42 + RequestBuffer_43 + RequestBuffer_44 + RequestBuffer_45 + RequestBuffer_46 + RequestBuffer_47 + RequestBuffer_48 + RequestBuffer_49 + RequestBuffer_50 + RequestBuffer_51 + RequestBuffer_52 + RequestBuffer_53 + RequestBuffer_54 + RequestBuffer_55 + RequestBuffer_56 + RequestBuffer_57 + RequestBuffer_58 + RequestBuffer_59 + RequestBuffer_60 + RequestBuffer_61 + RequestBuffer_62 + RequestBuffer_63 + RequestBuffer_64 + RequestBuffer_65 + RequestBuffer_66 + RequestBuffer_67 + RequestBuffer_68 + RequestBuffer_69 + RequestBuffer_70 + RequestBuffer_71 + RequestBuffer_72 + RequestBuffer_73 + RequestBuffer_74 + RequestBuffer_75 + RequestBuffer_76 + RequestBuffer_77 + RequestBuffer_78 + RequestBuffer_79 + RequestBuffer_80 + RequestBuffer_81 + RequestBuffer_82 + RequestBuffer_83 + RequestBuffer_84 + RequestBuffer_85 + RequestBuffer_86 + RequestBuffer_87 + RequestBuffer_88 + RequestBuffer_89 + RequestBuffer_90 + RequestBuffer_91 + RequestBuffer_92 + RequestBuffer_93 + RequestBuffer_94 + RequestBuffer_95 + RequestBuffer_96 + RequestBuffer_97 + RequestBuffer_98 + RequestBuffer_99) : MAX(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_26 + Client_Sending_27 + Client_Sending_28 + Client_Sending_29 + Client_Sending_30 + Client_Sending_31 + Client_Sending_32 + Client_Sending_33 + Client_Sending_34 + Client_Sending_35 + Client_Sending_36 + Client_Sending_37 + Client_Sending_38 + Client_Sending_39 + Client_Sending_40 + Client_Sending_41 + Client_Sending_42 + Client_Sending_43 + Client_Sending_44 + Client_Sending_45 + Client_Sending_46 + Client_Sending_47 + Client_Sending_48 + Client_Sending_49 + Client_Sending_50 + Client_Sending_51 + Client_Sending_52 + Client_Sending_53 + Client_Sending_54 + Client_Sending_55 + Client_Sending_56 + Client_Sending_57 + Client_Sending_58 + Client_Sending_59 + Client_Sending_60 + Client_Sending_61 + Client_Sending_62 + Client_Sending_63 + Client_Sending_64 + Client_Sending_65 + Client_Sending_66 + Client_Sending_67 + Client_Sending_68 + Client_Sending_69 + Client_Sending_70 + Client_Sending_71 + Client_Sending_72 + Client_Sending_73 + Client_Sending_74 + Client_Sending_75 + Client_Sending_76 + Client_Sending_77 + Client_Sending_78 + Client_Sending_79 + Client_Sending_80 + Client_Sending_81 + Client_Sending_82 + Client_Sending_83 + Client_Sending_84 + Client_Sending_85 + Client_Sending_86 + Client_Sending_87 + Client_Sending_88 + Client_Sending_89 + Client_Sending_90 + Client_Sending_91 + Client_Sending_92 + Client_Sending_93 + Client_Sending_94 + Client_Sending_95 + Client_Sending_96 + Client_Sending_97 + Client_Sending_98 + Client_Sending_99 + Client_Sending_100 + Client_Sending_9 + Client_Sending_8 + Client_Sending_7 + Client_Sending_6 + Client_Sending_5 + Client_Sending_4 + Client_Sending_3 + Client_Sending_2 + Client_Sending_1) : MAX(RequestBufferSlots) : MAX(RequestBuffer_100 + RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + RequestBuffer_21 + RequestBuffer_22 + RequestBuffer_23 + RequestBuffer_24 + RequestBuffer_25 + RequestBuffer_26 + RequestBuffer_27 + RequestBuffer_28 + RequestBuffer_29 + RequestBuffer_30 + RequestBuffer_31 + RequestBuffer_32 + RequestBuffer_33 + RequestBuffer_34 + RequestBuffer_35 + RequestBuffer_36 + RequestBuffer_37 + RequestBuffer_38 + RequestBuffer_39 + RequestBuffer_40 + RequestBuffer_41 + RequestBuffer_42 + RequestBuffer_43 + RequestBuffer_44 + RequestBuffer_45 + RequestBuffer_46 + RequestBuffer_47 + RequestBuffer_48 + RequestBuffer_49 + RequestBuffer_50 + RequestBuffer_51 + RequestBuffer_52 + RequestBuffer_53 + RequestBuffer_54 + RequestBuffer_55 + RequestBuffer_56 + RequestBuffer_57 + RequestBuffer_58 + RequestBuffer_59 + RequestBuffer_60 + RequestBuffer_61 + RequestBuffer_62 + RequestBuffer_63 + RequestBuffer_64 + RequestBuffer_65 + RequestBuffer_66 + RequestBuffer_67 + RequestBuffer_68 + RequestBuffer_69 + RequestBuffer_70 + RequestBuffer_71 + RequestBuffer_72 + RequestBuffer_73 + RequestBuffer_74 + RequestBuffer_75 + RequestBuffer_76 + RequestBuffer_77 + RequestBuffer_78 + RequestBuffer_79 + RequestBuffer_80 + RequestBuffer_81 + RequestBuffer_82 + RequestBuffer_83 + RequestBuffer_84 + RequestBuffer_85 + RequestBuffer_86 + RequestBuffer_87 + RequestBuffer_88 + RequestBuffer_89 + RequestBuffer_90 + RequestBuffer_91 + RequestBuffer_92 + RequestBuffer_93 + RequestBuffer_94 + RequestBuffer_95 + RequestBuffer_96 + RequestBuffer_97 + RequestBuffer_98 + RequestBuffer_99) : MAX(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_26 + Client_Sending_27 + Client_Sending_28 + Client_Sending_29 + Client_Sending_30 + Client_Sending_31 + Client_Sending_32 + Client_Sending_33 + Client_Sending_34 + Client_Sending_35 + Client_Sending_36 + Client_Sending_37 + Client_Sending_38 + Client_Sending_39 + Client_Sending_40 + Client_Sending_41 + Client_Sending_42 + Client_Sending_43 + Client_Sending_44 + Client_Sending_45 + Client_Sending_46 + Client_Sending_47 + Client_Sending_48 + Client_Sending_49 + Client_Sending_50 + Client_Sending_51 + Client_Sending_52 + Client_Sending_53 + Client_Sending_54 + Client_Sending_55 + Client_Sending_56 + Client_Sending_57 + Client_Sending_58 + Client_Sending_59 + Client_Sending_60 + Client_Sending_61 + Client_Sending_62 + Client_Sending_63 + Client_Sending_64 + Client_Sending_65 + Client_Sending_66 + Client_Sending_67 + Client_Sending_68 + Client_Sending_69 + Client_Sending_70 + Client_Sending_71 + Client_Sending_72 + Client_Sending_73 + Client_Sending_74 + Client_Sending_75 + Client_Sending_76 + Client_Sending_77 + Client_Sending_78 + Client_Sending_79 + Client_Sending_80 + Client_Sending_81 + Client_Sending_82 + Client_Sending_83 + Client_Sending_84 + Client_Sending_85 + Client_Sending_86 + Client_Sending_87 + Client_Sending_88 + Client_Sending_89 + Client_Sending_90 + Client_Sending_91 + Client_Sending_92 + Client_Sending_93 + Client_Sending_94 + Client_Sending_95 + Client_Sending_96 + Client_Sending_97 + Client_Sending_98 + Client_Sending_99 + Client_Sending_100 + Client_Sending_9 + Client_Sending_8 + Client_Sending_7 + Client_Sending_6 + Client_Sending_5 + Client_Sending_4 + Client_Sending_3 + Client_Sending_2 + Client_Sending_1) collection of formulas 0 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(RequestBuffer_100 + RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + Reque... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 73040 edges, 4182 markings/sec, 0 secs 162931 edges, 4254 markings/sec, 5 secs 258486 edges, 4196 markings/sec, 10 secs 352440 edges, 4238 markings/sec, 15 secs 450747 edges, 4221 markings/sec, 20 secs 555291 edges, 4195 markings/sec, 25 secs 652652 edges, 4220 markings/sec, 30 secs 751228 edges, 4211 markings/sec, 35 secs 853962 edges, 4189 markings/sec, 40 secs 958083 edges, 4187 markings/sec, 45 secs 1067517 edges, 4169 markings/sec, 50 secs 1176885 edges, 4167 markings/sec, 55 secs 1283160 edges, 4172 markings/sec, 60 secs 1380103 edges, 4213 markings/sec, 65 secs 1481095 edges, 4194 markings/sec, 70 secs 1586385 edges, 4175 markings/sec, 75 secs 1691221 edges, 4185 markings/sec, 80 secs 1801928 edges, 4155 markings/sec, 85 secs 1916024 edges, 4137 markings/sec, 90 secs 2019004 edges, 4183 markings/sec, 95 secs 2128191 edges, 4152 markings/sec, 100 secs 2246182 edges, 4106 markings/sec, 105 secs 2355421 edges, 4158 markings/sec, 110 secs 2473644 edges, 4114 markings/sec, 115 secs 2597651 edges, 4088 markings/sec, 120 secs 2695767 edges, 4179 markings/sec, 125 secs 2793104 edges, 4172 markings/sec, 130 secs 2896128 edges, 4142 markings/sec, 135 secs 2998108 edges, 4120 markings/sec, 140 secs 3104941 edges, 4097 markings/sec, 145 secs 3212529 edges, 4047 markings/sec, 150 secs 3319415 edges, 4030 markings/sec, 155 secs 3422589 edges, 4055 markings/sec, 160 secs 3530085 edges, 4021 markings/sec, 165 secs 3641419 edges, 4002 markings/sec, 170 secs 3750980 edges, 4036 markings/sec, 175 secs 3865911 edges, 4003 markings/sec, 180 secs 3987909 edges, 3951 markings/sec, 185 secs 4088453 edges, 4091 markings/sec, 190 secs 4194276 edges, 4063 markings/sec, 195 secs 4305208 edges, 4033 markings/sec, 200 secs 4415181 edges, 4041 markings/sec, 205 secs 4529931 edges, 4011 markings/sec, 210 secs 4645679 edges, 3989 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 1 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_26 + Client_Sending_27 + Client_Sending_28 + Client_Sending_2... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 265437 edges, 9717 markings/sec, 0 secs 554956 edges, 9360 markings/sec, 5 secs 851793 edges, 8990 markings/sec, 10 secs 1140425 edges, 8935 markings/sec, 15 secs 1454845 edges, 8920 markings/sec, 20 secs 1773499 edges, 9056 markings/sec, 25 secs 2076387 edges, 9209 markings/sec, 30 secs 2393294 edges, 9081 markings/sec, 35 secs 2719594 edges, 8946 markings/sec, 40 secs 3050719 edges, 8897 markings/sec, 45 secs 3394181 edges, 8898 markings/sec, 50 secs 3722384 edges, 8966 markings/sec, 55 secs 4025522 edges, 8897 markings/sec, 60 secs 4338081 edges, 9033 markings/sec, 65 secs 4660087 edges, 8889 markings/sec, 70 secs 4992133 edges, 8779 markings/sec, 75 secs 5323130 edges, 8575 markings/sec, 80 secs 5651803 edges, 8649 markings/sec, 85 secs 5980877 edges, 8641 markings/sec, 90 secs 6312089 edges, 8676 markings/sec, 95 secs 6654104 edges, 8535 markings/sec, 100 secs 7003926 edges, 8472 markings/sec, 105 secs 7351911 edges, 8260 markings/sec, 110 secs 7684667 edges, 8296 markings/sec, 115 secs 7980047 edges, 8940 markings/sec, 120 secs 8287766 edges, 8831 markings/sec, 125 secs 8604381 edges, 8644 markings/sec, 130 secs 8923583 edges, 8689 markings/sec, 135 secs 9256460 edges, 8609 markings/sec, 140 secs 9591639 edges, 8586 markings/sec, 145 secs 9910760 edges, 8699 markings/sec, 150 secs 10243457 edges, 8605 markings/sec, 155 secs 10586762 edges, 8520 markings/sec, 160 secs 10928475 edges, 8534 markings/sec, 165 secs 11284086 edges, 8367 markings/sec, 170 secs 11641496 edges, 8290 markings/sec, 175 secs 11958476 edges, 8851 markings/sec, 180 secs 12292768 edges, 8685 markings/sec, 185 secs 12641396 edges, 8547 markings/sec, 190 secs 12982155 edges, 8617 markings/sec, 195 secs 13337689 edges, 8485 markings/sec, 200 secs 13705360 edges, 8127 markings/sec, 205 secs 14027496 edges, 8384 markings/sec, 210 secs 14372182 edges, 8232 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 2 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(RequestBufferSlots) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 33608 edges, 4510 markings/sec, 0 secs 69990 edges, 4530 markings/sec, 5 secs 107592 edges, 4501 markings/sec, 10 secs 144708 edges, 4489 markings/sec, 15 secs 182585 edges, 4414 markings/sec, 20 secs 221376 edges, 4477 markings/sec, 25 secs 260422 edges, 4473 markings/sec, 30 secs 298130 edges, 4504 markings/sec, 35 secs 337327 edges, 4512 markings/sec, 40 secs 377948 edges, 4510 markings/sec, 45 secs 417613 edges, 4530 markings/sec, 50 secs 459078 edges, 4522 markings/sec, 55 secs 502336 edges, 4510 markings/sec, 60 secs 540182 edges, 4539 markings/sec, 65 secs 578876 edges, 4536 markings/sec, 70 secs 619019 edges, 4528 markings/sec, 75 secs 659064 edges, 4529 markings/sec, 80 secs 700505 edges, 4521 markings/sec, 85 secs 741841 edges, 4518 markings/sec, 90 secs 783875 edges, 4517 markings/sec, 95 secs 824087 edges, 4519 markings/sec, 100 secs 865265 edges, 4456 markings/sec, 105 secs 908025 edges, 4435 markings/sec, 110 secs 949014 edges, 4441 markings/sec, 115 secs 992165 edges, 4435 markings/sec, 120 secs 1036595 edges, 4428 markings/sec, 125 secs 1075335 edges, 4460 markings/sec, 130 secs 1114061 edges, 4523 markings/sec, 135 secs 1153478 edges, 4530 markings/sec, 140 secs 1193751 edges, 4522 markings/sec, 145 secs 1234479 edges, 4522 markings/sec, 150 secs 1276320 edges, 4513 markings/sec, 155 secs 1318687 edges, 4504 markings/sec, 160 secs 1358224 edges, 4489 markings/sec, 165 secs 1399298 edges, 4480 markings/sec, 170 secs 1442361 edges, 4470 markings/sec, 175 secs 1483828 edges, 4477 markings/sec, 180 secs 1526984 edges, 4467 markings/sec, 185 secs 1571492 edges, 4459 markings/sec, 190 secs 1612987 edges, 4475 markings/sec, 195 secs 1653363 edges, 4430 markings/sec, 200 secs 1694471 edges, 4481 markings/sec, 205 secs 1736986 edges, 4468 markings/sec, 210 secs 1779025 edges, 4457 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 3 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_26 + Client_Sending_27 + Client_Sending_28 + Client_Sending_2... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 266448 edges, 9744 markings/sec, 0 secs 561783 edges, 9520 markings/sec, 5 secs 869599 edges, 9403 markings/sec, 10 secs 1174064 edges, 9271 markings/sec, 15 secs 1493067 edges, 9140 markings/sec, 20 secs 1810796 edges, 9118 markings/sec, 25 secs 2120216 edges, 9135 markings/sec, 30 secs 2438633 edges, 9173 markings/sec, 35 secs 2767656 edges, 9066 markings/sec, 40 secs 3106064 edges, 8998 markings/sec, 45 secs 3455531 edges, 8916 markings/sec, 50 secs 3774799 edges, 9108 markings/sec, 55 secs 4084724 edges, 9176 markings/sec, 60 secs 4409775 edges, 9021 markings/sec, 65 secs 4735671 edges, 9025 markings/sec, 70 secs 5070197 edges, 8939 markings/sec, 75 secs 5423727 edges, 8778 markings/sec, 80 secs 5751950 edges, 9013 markings/sec, 85 secs 6089590 edges, 8929 markings/sec, 90 secs 6444758 edges, 8771 markings/sec, 95 secs 6791691 edges, 8858 markings/sec, 100 secs 7150170 edges, 8596 markings/sec, 105 secs 7521787 edges, 8408 markings/sec, 110 secs 7825652 edges, 8978 markings/sec, 115 secs 8133768 edges, 9012 markings/sec, 120 secs 8463334 edges, 8942 markings/sec, 125 secs 8781625 edges, 9024 markings/sec, 130 secs 9115402 edges, 8798 markings/sec, 135 secs 9471994 edges, 8671 markings/sec, 140 secs 9790837 edges, 9023 markings/sec, 145 secs 10127431 edges, 8845 markings/sec, 150 secs 10483979 edges, 8614 markings/sec, 155 secs 10824506 edges, 8830 markings/sec, 160 secs 11184029 edges, 8598 markings/sec, 165 secs 11561003 edges, 8400 markings/sec, 170 secs 11881827 edges, 8954 markings/sec, 175 secs 12216729 edges, 8833 markings/sec, 180 secs 12571670 edges, 8614 markings/sec, 185 secs 12911780 edges, 8760 markings/sec, 190 secs 13267105 edges, 8523 markings/sec, 195 secs 13635686 edges, 8286 markings/sec, 200 secs 13975691 edges, 8561 markings/sec, 205 secs 14326964 edges, 8472 markings/sec, 210 secs 14695118 edges, 8376 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 4 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Server_Waiting_10 + Server_Waiting_9 + Server_Waiting_8 + Server_Waiting_7 + Server_Waiting_6 + Server_Waiting_5 + Server_Waiting_4 + Server_Waiting_3 + Server_Waiting_2 + Server_Waiting_1) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 128316 edges, 12409 markings/sec, 0 secs 254874 edges, 12246 markings/sec, 5 secs 379116 edges, 12038 markings/sec, 10 secs 504018 edges, 11902 markings/sec, 15 secs 630220 edges, 11777 markings/sec, 20 secs 756035 edges, 11500 markings/sec, 25 secs 882462 edges, 11655 markings/sec, 30 secs 1004496 edges, 11846 markings/sec, 35 secs 1128311 edges, 11905 markings/sec, 40 secs 1252380 edges, 11800 markings/sec, 45 secs 1378758 edges, 11778 markings/sec, 50 secs 1504629 edges, 11506 markings/sec, 55 secs 1628614 edges, 11722 markings/sec, 60 secs 1752897 edges, 11845 markings/sec, 65 secs 1876466 edges, 11852 markings/sec, 70 secs 1999015 edges, 11623 markings/sec, 75 secs 2120668 edges, 11413 markings/sec, 80 secs 2243045 edges, 11254 markings/sec, 85 secs 2363868 edges, 11233 markings/sec, 90 secs 2484632 edges, 11102 markings/sec, 95 secs 2608167 edges, 11218 markings/sec, 100 secs 2730453 edges, 10992 markings/sec, 105 secs 2843560 edges, 10916 markings/sec, 110 secs 2949789 edges, 10146 markings/sec, 115 secs 3052301 edges, 9891 markings/sec, 120 secs 3150591 edges, 9337 markings/sec, 125 secs 3232713 edges, 8153 markings/sec, 130 secs 3311002 edges, 7653 markings/sec, 135 secs 3369670 edges, 5676 markings/sec, 140 secs 3429934 edges, 5677 markings/sec, 145 secs 3490866 edges, 5601 markings/sec, 150 secs 3551894 edges, 5579 markings/sec, 155 secs 3613793 edges, 5592 markings/sec, 160 secs 3675634 edges, 5594 markings/sec, 165 secs 3737645 edges, 5562 markings/sec, 170 secs 3798654 edges, 5576 markings/sec, 175 secs 3861040 edges, 5519 markings/sec, 180 secs 3923425 edges, 5471 markings/sec, 185 secs 3985630 edges, 5559 markings/sec, 190 secs 4048623 edges, 5466 markings/sec, 195 secs 4109774 edges, 5546 markings/sec, 200 secs 4162000 edges, 4750 markings/sec, 205 secs 4214695 edges, 4963 markings/sec, 210 secs 4274913 edges, 5308 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 5 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Server_Anwering_4_1 + Server_Anwering_4_2 + Server_Anwering_4_3 + Server_Anwering_4_4 + Server_Anwering_4_5 + Server_Anwering_4_6 + Server_Anwering_4_7 + Server_Anwering_4_8 + Server_Anwering_4_9 + Server_Anwering_19_10 + Server_Anwering_49_1 + Server_Anwering_49_2 + Server_Anwering_49_3 + Server_Anwering_49_4 + Server_Anwering_49_5 + Server_Anwering_49_6 + Server_Anwering_49_7 + Server_Anweri... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 33631 edges, 4514 markings/sec, 0 secs 70167 edges, 4545 markings/sec, 5 secs 108120 edges, 4542 markings/sec, 10 secs 145663 edges, 4540 markings/sec, 15 secs 184469 edges, 4536 markings/sec, 20 secs 223961 edges, 4532 markings/sec, 25 secs 263064 edges, 4529 markings/sec, 30 secs 301451 edges, 4535 markings/sec, 35 secs 340882 edges, 4534 markings/sec, 40 secs 381478 edges, 4529 markings/sec, 45 secs 421582 edges, 4533 markings/sec, 50 secs 462944 edges, 4512 markings/sec, 55 secs 506630 edges, 4514 markings/sec, 60 secs 543635 edges, 4553 markings/sec, 65 secs 582593 edges, 4542 markings/sec, 70 secs 623027 edges, 4534 markings/sec, 75 secs 663033 edges, 4536 markings/sec, 80 secs 704317 edges, 4527 markings/sec, 85 secs 746078 edges, 4513 markings/sec, 90 secs 787778 edges, 4524 markings/sec, 95 secs 828345 edges, 4510 markings/sec, 100 secs 869893 edges, 4475 markings/sec, 105 secs 912267 edges, 4457 markings/sec, 110 secs 953893 edges, 4458 markings/sec, 115 secs 996776 edges, 4411 markings/sec, 120 secs 1041972 edges, 4455 markings/sec, 125 secs 1079956 edges, 4495 markings/sec, 130 secs 1118300 edges, 4494 markings/sec, 135 secs 1157972 edges, 4492 markings/sec, 140 secs 1197759 edges, 4510 markings/sec, 145 secs 1239019 edges, 4524 markings/sec, 150 secs 1280599 edges, 4523 markings/sec, 155 secs 1322786 edges, 4521 markings/sec, 160 secs 1362902 edges, 4516 markings/sec, 165 secs 1404523 edges, 4522 markings/sec, 170 secs 1448193 edges, 4510 markings/sec, 175 secs 1489841 edges, 4519 markings/sec, 180 secs 1533695 edges, 4507 markings/sec, 185 secs 1578877 edges, 4496 markings/sec, 190 secs 1619875 edges, 4523 markings/sec, 195 secs 1660939 edges, 4524 markings/sec, 200 secs 1703035 edges, 4518 markings/sec, 205 secs 1745664 edges, 4519 markings/sec, 210 secs 1788983 edges, 4505 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 6 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Server_Waiting_10 + Server_Waiting_9 + Server_Waiting_8 + Server_Waiting_7 + Server_Waiting_6 + Server_Waiting_5 + Server_Waiting_4 + Server_Waiting_3 + Server_Waiting_2 + Server_Waiting_1) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 128181 edges, 12395 markings/sec, 0 secs 256358 edges, 12402 markings/sec, 5 secs 382520 edges, 12222 markings/sec, 10 secs 509476 edges, 12083 markings/sec, 15 secs 638377 edges, 12025 markings/sec, 20 secs 766764 edges, 11732 markings/sec, 25 secs 894337 edges, 11870 markings/sec, 30 secs 1017644 edges, 11892 markings/sec, 35 secs 1142679 edges, 12054 markings/sec, 40 secs 1266424 edges, 11690 markings/sec, 45 secs 1393614 edges, 11896 markings/sec, 50 secs 1521370 edges, 11562 markings/sec, 55 secs 1643398 edges, 11700 markings/sec, 60 secs 1768600 edges, 11855 markings/sec, 65 secs 1891932 edges, 11879 markings/sec, 70 secs 2015214 edges, 11660 markings/sec, 75 secs 2137165 edges, 11461 markings/sec, 80 secs 2260176 edges, 11274 markings/sec, 85 secs 2380606 edges, 11171 markings/sec, 90 secs 2501654 edges, 11127 markings/sec, 95 secs 2623868 edges, 11074 markings/sec, 100 secs 2747277 edges, 11133 markings/sec, 105 secs 2857401 edges, 10690 markings/sec, 110 secs 2961954 edges, 10105 markings/sec, 115 secs 3065596 edges, 9895 markings/sec, 120 secs 3162072 edges, 9226 markings/sec, 125 secs 3245157 edges, 8180 markings/sec, 130 secs 3319389 edges, 7302 markings/sec, 135 secs 3378290 edges, 5628 markings/sec, 140 secs 3437768 edges, 5652 markings/sec, 145 secs 3498708 edges, 5555 markings/sec, 150 secs 3559732 edges, 5557 markings/sec, 155 secs 3621101 edges, 5562 markings/sec, 160 secs 3682962 edges, 5564 markings/sec, 165 secs 3744198 edges, 5507 markings/sec, 170 secs 3804733 edges, 5542 markings/sec, 175 secs 3867521 edges, 5533 markings/sec, 180 secs 3930077 edges, 5511 markings/sec, 185 secs 3993006 edges, 5578 markings/sec, 190 secs 4055615 edges, 5493 markings/sec, 195 secs 4117478 edges, 5551 markings/sec, 200 secs 4167166 edges, 4616 markings/sec, 205 secs 4223285 edges, 5226 markings/sec, 210 secs 4285620 edges, 5460 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 7 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(RequestBuffer_100 + RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + Reque... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 74167 edges, 4239 markings/sec, 0 secs 164464 edges, 4262 markings/sec, 5 secs 261071 edges, 4240 markings/sec, 10 secs 354865 edges, 4253 markings/sec, 15 secs 453912 edges, 4232 markings/sec, 20 secs 558506 edges, 4183 markings/sec, 25 secs 654720 edges, 4187 markings/sec, 30 secs 753069 edges, 4205 markings/sec, 35 secs 856339 edges, 4190 markings/sec, 40 secs 960456 edges, 4197 markings/sec, 45 secs 1069577 edges, 4177 markings/sec, 50 secs 1180117 edges, 4182 markings/sec, 55 secs 1286090 edges, 4199 markings/sec, 60 secs 1384215 edges, 4224 markings/sec, 65 secs 1485404 edges, 4222 markings/sec, 70 secs 1591312 edges, 4195 markings/sec, 75 secs 1696859 edges, 4185 markings/sec, 80 secs 1807726 edges, 4141 markings/sec, 85 secs 1920298 edges, 4125 markings/sec, 90 secs 2023428 edges, 4177 markings/sec, 95 secs 2132807 edges, 4158 markings/sec, 100 secs 2250404 edges, 4121 markings/sec, 105 secs 2360875 edges, 4172 markings/sec, 110 secs 2479312 edges, 4120 markings/sec, 115 secs 2604644 edges, 4098 markings/sec, 120 secs 2700667 edges, 4197 markings/sec, 125 secs 2798371 edges, 4160 markings/sec, 130 secs 2901932 edges, 4140 markings/sec, 135 secs 3004748 edges, 4151 markings/sec, 140 secs 3111806 edges, 4132 markings/sec, 145 secs 3222571 edges, 4108 markings/sec, 150 secs 3329942 edges, 4123 markings/sec, 155 secs 3437238 edges, 4124 markings/sec, 160 secs 3545754 edges, 4117 markings/sec, 165 secs 3659279 edges, 4091 markings/sec, 170 secs 3772524 edges, 4096 markings/sec, 175 secs 3890928 edges, 4064 markings/sec, 180 secs 4011598 edges, 4050 markings/sec, 185 secs 4113350 edges, 4153 markings/sec, 190 secs 4221337 edges, 4114 markings/sec, 195 secs 4337343 edges, 4066 markings/sec, 200 secs 4444621 edges, 4053 markings/sec, 205 secs 4560314 edges, 4046 markings/sec, 210 secs 4681601 edges, 4035 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 8 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Server_Anwering_4_1 + Server_Anwering_4_2 + Server_Anwering_4_3 + Server_Anwering_4_4 + Server_Anwering_4_5 + Server_Anwering_4_6 + Server_Anwering_4_7 + Server_Anwering_4_8 + Server_Anwering_4_9 + Server_Anwering_19_10 + Server_Anwering_49_1 + Server_Anwering_49_2 + Server_Anwering_49_3 + Server_Anwering_49_4 + Server_Anwering_49_5 + Server_Anwering_49_6 + Server_Anwering_49_7 + Server_Anweri... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 34043 edges, 4562 markings/sec, 0 secs 70578 edges, 4546 markings/sec, 5 secs 108456 edges, 4535 markings/sec, 10 secs 145800 edges, 4513 markings/sec, 15 secs 184288 edges, 4499 markings/sec, 20 secs 223418 edges, 4495 markings/sec, 25 secs 262321 edges, 4494 markings/sec, 30 secs 300236 edges, 4496 markings/sec, 35 secs 339449 edges, 4490 markings/sec, 40 secs 379610 edges, 4487 markings/sec, 45 secs 419053 edges, 4485 markings/sec, 50 secs 459975 edges, 4471 markings/sec, 55 secs 502846 edges, 4459 markings/sec, 60 secs 540202 edges, 4496 markings/sec, 65 secs 578655 edges, 4506 markings/sec, 70 secs 618684 edges, 4517 markings/sec, 75 secs 658680 edges, 4521 markings/sec, 80 secs 699992 edges, 4520 markings/sec, 85 secs 741413 edges, 4515 markings/sec, 90 secs 783359 edges, 4509 markings/sec, 95 secs 823613 edges, 4519 markings/sec, 100 secs 865262 edges, 4512 markings/sec, 105 secs 908629 edges, 4506 markings/sec, 110 secs 950423 edges, 4518 markings/sec, 115 secs 994242 edges, 4502 markings/sec, 120 secs 1039597 edges, 4494 markings/sec, 125 secs 1078481 edges, 4532 markings/sec, 130 secs 1117017 edges, 4535 markings/sec, 135 secs 1156870 edges, 4528 markings/sec, 140 secs 1196926 edges, 4525 markings/sec, 145 secs 1238020 edges, 4520 markings/sec, 150 secs 1279640 edges, 4516 markings/sec, 155 secs 1321780 edges, 4513 markings/sec, 160 secs 1361943 edges, 4527 markings/sec, 165 secs 1403513 edges, 4516 markings/sec, 170 secs 1447211 edges, 4501 markings/sec, 175 secs 1488719 edges, 4514 markings/sec, 180 secs 1532426 edges, 4501 markings/sec, 185 secs 1577505 edges, 4496 markings/sec, 190 secs 1618622 edges, 4519 markings/sec, 195 secs 1659706 edges, 4518 markings/sec, 200 secs 1701548 edges, 4503 markings/sec, 205 secs 1743717 edges, 4458 markings/sec, 210 secs 1786275 edges, 4455 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 9 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_26 + Client_Sending_27 + Client_Sending_28 + Client_Sending_2... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 265571 edges, 9721 markings/sec, 0 secs 558797 edges, 9466 markings/sec, 5 secs 865180 edges, 9345 markings/sec, 10 secs 1169704 edges, 9276 markings/sec, 15 secs 1490079 edges, 9187 markings/sec, 20 secs 1810593 edges, 9191 markings/sec, 25 secs 2123000 edges, 9210 markings/sec, 30 secs 2441546 edges, 9177 markings/sec, 35 secs 2769659 edges, 9062 markings/sec, 40 secs 3107811 edges, 8985 markings/sec, 45 secs 3456570 edges, 8884 markings/sec, 50 secs 3775583 edges, 9105 markings/sec, 55 secs 4085499 edges, 9183 markings/sec, 60 secs 4410579 edges, 9016 markings/sec, 65 secs 4735197 edges, 8988 markings/sec, 70 secs 5068752 edges, 8916 markings/sec, 75 secs 5421625 edges, 8771 markings/sec, 80 secs 5748953 edges, 8971 markings/sec, 85 secs 6087555 edges, 8970 markings/sec, 90 secs 6443829 edges, 8798 markings/sec, 95 secs 6791804 edges, 8882 markings/sec, 100 secs 7156932 edges, 8739 markings/sec, 105 secs 7536978 edges, 8599 markings/sec, 110 secs 7843249 edges, 9208 markings/sec, 115 secs 8155481 edges, 9127 markings/sec, 120 secs 8489037 edges, 8862 markings/sec, 125 secs 8803790 edges, 9045 markings/sec, 130 secs 9142385 edges, 8869 markings/sec, 135 secs 9504146 edges, 8670 markings/sec, 140 secs 9817005 edges, 9034 markings/sec, 145 secs 10153268 edges, 8794 markings/sec, 150 secs 10510599 edges, 8612 markings/sec, 155 secs 10849337 edges, 8778 markings/sec, 160 secs 11206692 edges, 8529 markings/sec, 165 secs 11582552 edges, 8298 markings/sec, 170 secs 11900377 edges, 9059 markings/sec, 175 secs 12238278 edges, 8854 markings/sec, 180 secs 12599447 edges, 8626 markings/sec, 185 secs 12938123 edges, 8867 markings/sec, 190 secs 13298907 edges, 8615 markings/sec, 195 secs 13679525 edges, 8403 markings/sec, 200 secs 14020407 edges, 8815 markings/sec, 205 secs 14381209 edges, 8625 markings/sec, 210 secs 14759504 edges, 8423 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 10 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Server_Anwering_4_1 + Server_Anwering_4_2 + Server_Anwering_4_3 + Server_Anwering_4_4 + Server_Anwering_4_5 + Server_Anwering_4_6 + Server_Anwering_4_7 + Server_Anwering_4_8 + Server_Anwering_4_9 + Server_Anwering_19_10 + Server_Anwering_49_1 + Server_Anwering_49_2 + Server_Anwering_49_3 + Server_Anwering_49_4 + Server_Anwering_49_5 + Server_Anwering_49_6 + Server_Anwering_49_7 + Server_Anweri... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 34280 edges, 4593 markings/sec, 0 secs 70875 edges, 4554 markings/sec, 5 secs 108932 edges, 4548 markings/sec, 10 secs 146565 edges, 4551 markings/sec, 15 secs 185341 edges, 4541 markings/sec, 20 secs 224985 edges, 4533 markings/sec, 25 secs 264049 edges, 4537 markings/sec, 30 secs 302543 edges, 4542 markings/sec, 35 secs 341864 edges, 4529 markings/sec, 40 secs 382116 edges, 4492 markings/sec, 45 secs 421974 edges, 4495 markings/sec, 50 secs 463126 edges, 4489 markings/sec, 55 secs 506441 edges, 4473 markings/sec, 60 secs 543117 edges, 4510 markings/sec, 65 secs 581668 edges, 4497 markings/sec, 70 secs 621605 edges, 4489 markings/sec, 75 secs 661145 edges, 4482 markings/sec, 80 secs 702110 edges, 4473 markings/sec, 85 secs 743244 edges, 4465 markings/sec, 90 secs 784748 edges, 4473 markings/sec, 95 secs 824708 edges, 4486 markings/sec, 100 secs 866034 edges, 4475 markings/sec, 105 secs 908971 edges, 4462 markings/sec, 110 secs 950336 edges, 4473 markings/sec, 115 secs 993773 edges, 4461 markings/sec, 120 secs 1038661 edges, 4453 markings/sec, 125 secs 1077320 edges, 4493 markings/sec, 130 secs 1115740 edges, 4513 markings/sec, 135 secs 1155403 edges, 4523 markings/sec, 140 secs 1195558 edges, 4523 markings/sec, 145 secs 1236328 edges, 4504 markings/sec, 150 secs 1277958 edges, 4511 markings/sec, 155 secs 1320222 edges, 4509 markings/sec, 160 secs 1360321 edges, 4526 markings/sec, 165 secs 1401809 edges, 4516 markings/sec, 170 secs 1445444 edges, 4501 markings/sec, 175 secs 1486895 edges, 4512 markings/sec, 180 secs 1530499 edges, 4501 markings/sec, 185 secs 1575504 edges, 4494 markings/sec, 190 secs 1616834 edges, 4514 markings/sec, 195 secs 1658074 edges, 4519 markings/sec, 200 secs 1699641 edges, 4497 markings/sec, 205 secs 1742187 edges, 4480 markings/sec, 210 secs 1784786 edges, 4482 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 11 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(RequestBuffer_100 + RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + Reque... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 71502 edges, 4098 markings/sec, 0 secs 160617 edges, 4236 markings/sec, 5 secs 256610 edges, 4229 markings/sec, 10 secs 350829 edges, 4219 markings/sec, 15 secs 448304 edges, 4201 markings/sec, 20 secs 552026 edges, 4175 markings/sec, 25 secs 649038 edges, 4198 markings/sec, 30 secs 747944 edges, 4205 markings/sec, 35 secs 850239 edges, 4211 markings/sec, 40 secs 954976 edges, 4202 markings/sec, 45 secs 1064540 edges, 4192 markings/sec, 50 secs 1174915 edges, 4184 markings/sec, 55 secs 1282099 edges, 4196 markings/sec, 60 secs 1379103 edges, 4230 markings/sec, 65 secs 1480392 edges, 4205 markings/sec, 70 secs 1585898 edges, 4181 markings/sec, 75 secs 1690769 edges, 4190 markings/sec, 80 secs 1801658 edges, 4164 markings/sec, 85 secs 1916154 edges, 4151 markings/sec, 90 secs 2019657 edges, 4200 markings/sec, 95 secs 2129086 edges, 4157 markings/sec, 100 secs 2247177 edges, 4114 markings/sec, 105 secs 2356591 edges, 4169 markings/sec, 110 secs 2475080 edges, 4123 markings/sec, 115 secs 2599490 edges, 4093 markings/sec, 120 secs 2697076 edges, 4183 markings/sec, 125 secs 2794462 edges, 4172 markings/sec, 130 secs 2897646 edges, 4138 markings/sec, 135 secs 3000276 edges, 4143 markings/sec, 140 secs 3107496 edges, 4120 markings/sec, 145 secs 3217253 edges, 4105 markings/sec, 150 secs 3325232 edges, 4111 markings/sec, 155 secs 3431155 edges, 4114 markings/sec, 160 secs 3539723 edges, 4099 markings/sec, 165 secs 3652996 edges, 4079 markings/sec, 170 secs 3765346 edges, 4085 markings/sec, 175 secs 3882706 edges, 4054 markings/sec, 180 secs 4005464 edges, 4023 markings/sec, 185 secs 4105198 edges, 4134 markings/sec, 190 secs 4212400 edges, 4083 markings/sec, 195 secs 4326688 edges, 4066 markings/sec, 200 secs 4436942 edges, 4099 markings/sec, 205 secs 4552619 edges, 4069 markings/sec, 210 secs 4673438 edges, 4038 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 12 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_26 + Client_Sending_27 + Client_Sending_28 + Client_Sending_2... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 270200 edges, 9843 markings/sec, 0 secs 557668 edges, 9313 markings/sec, 5 secs 865955 edges, 9402 markings/sec, 10 secs 1172420 edges, 9331 markings/sec, 15 secs 1495642 edges, 9258 markings/sec, 20 secs 1815527 edges, 9207 markings/sec, 25 secs 2130654 edges, 9234 markings/sec, 30 secs 2450466 edges, 9230 markings/sec, 35 secs 2780004 edges, 9117 markings/sec, 40 secs 3120040 edges, 9040 markings/sec, 45 secs 3471621 edges, 8909 markings/sec, 50 secs 3789516 edges, 9132 markings/sec, 55 secs 4098419 edges, 9179 markings/sec, 60 secs 4425812 edges, 8998 markings/sec, 65 secs 4748595 edges, 9022 markings/sec, 70 secs 5082308 edges, 8845 markings/sec, 75 secs 5433085 edges, 8679 markings/sec, 80 secs 5757107 edges, 8942 markings/sec, 85 secs 6091392 edges, 8836 markings/sec, 90 secs 6435176 edges, 8503 markings/sec, 95 secs 6769778 edges, 8503 markings/sec, 100 secs 7123628 edges, 8551 markings/sec, 105 secs 7498812 edges, 8565 markings/sec, 110 secs 7814279 edges, 9071 markings/sec, 115 secs 8123188 edges, 9116 markings/sec, 120 secs 8452062 edges, 8939 markings/sec, 125 secs 8771232 edges, 9023 markings/sec, 130 secs 9107633 edges, 8856 markings/sec, 135 secs 9462840 edges, 8678 markings/sec, 140 secs 9783323 edges, 9008 markings/sec, 145 secs 10119405 edges, 8864 markings/sec, 150 secs 10476853 edges, 8667 markings/sec, 155 secs 10818104 edges, 8811 markings/sec, 160 secs 11179467 edges, 8659 markings/sec, 165 secs 11559318 edges, 8472 markings/sec, 170 secs 11883130 edges, 9035 markings/sec, 175 secs 12221231 edges, 8902 markings/sec, 180 secs 12579844 edges, 8672 markings/sec, 185 secs 12921669 edges, 8859 markings/sec, 190 secs 13282982 edges, 8638 markings/sec, 195 secs 13658875 edges, 8374 markings/sec, 200 secs 14000576 edges, 8726 markings/sec, 205 secs 14358577 edges, 8567 markings/sec, 210 secs 14733832 edges, 8457 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 13 will run for 220 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(RequestBufferSlots) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 34077 edges, 4568 markings/sec, 0 secs 70561 edges, 4537 markings/sec, 5 secs 108360 edges, 4522 markings/sec, 10 secs 145727 edges, 4520 markings/sec, 15 secs 184143 edges, 4490 markings/sec, 20 secs 223158 edges, 4485 markings/sec, 25 secs 262043 edges, 4484 markings/sec, 30 secs 299917 edges, 4492 markings/sec, 35 secs 339028 edges, 4484 markings/sec, 40 secs 379135 edges, 4478 markings/sec, 45 secs 418480 edges, 4480 markings/sec, 50 secs 459467 edges, 4473 markings/sec, 55 secs 502291 edges, 4461 markings/sec, 60 secs 539832 edges, 4503 markings/sec, 65 secs 578408 edges, 4524 markings/sec, 70 secs 618431 edges, 4516 markings/sec, 75 secs 658361 edges, 4518 markings/sec, 80 secs 699483 edges, 4503 markings/sec, 85 secs 740841 edges, 4502 markings/sec, 90 secs 782695 edges, 4494 markings/sec, 95 secs 822684 edges, 4491 markings/sec, 100 secs 863730 edges, 4464 markings/sec, 105 secs 906777 edges, 4441 markings/sec, 110 secs 947673 edges, 4447 markings/sec, 115 secs 990683 edges, 4434 markings/sec, 120 secs 1035068 edges, 4430 markings/sec, 125 secs 1074083 edges, 4458 markings/sec, 130 secs 1111786 edges, 4389 markings/sec, 135 secs 1150451 edges, 4467 markings/sec, 140 secs 1190500 edges, 4475 markings/sec, 145 secs 1230489 edges, 4486 markings/sec, 150 secs 1271238 edges, 4415 markings/sec, 155 secs 1313989 edges, 4462 markings/sec, 160 secs 1352914 edges, 4481 markings/sec, 165 secs 1393949 edges, 4471 markings/sec, 170 secs 1436525 edges, 4472 markings/sec, 175 secs 1478404 edges, 4477 markings/sec, 180 secs 1521511 edges, 4471 markings/sec, 185 secs 1565471 edges, 4457 markings/sec, 190 secs 1607751 edges, 4467 markings/sec, 195 secs 1648141 edges, 4484 markings/sec, 200 secs 1689646 edges, 4477 markings/sec, 205 secs 1732543 edges, 4506 markings/sec, 210 secs limit reached - aborting aborted or communication problem between parent and child process 14 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(RequestBuffer_100 + RequestBuffer_1 + RequestBuffer_2 + RequestBuffer_3 + RequestBuffer_4 + RequestBuffer_5 + RequestBuffer_6 + RequestBuffer_7 + RequestBuffer_8 + RequestBuffer_9 + RequestBuffer_10 + RequestBuffer_11 + RequestBuffer_12 + RequestBuffer_13 + RequestBuffer_14 + RequestBuffer_15 + RequestBuffer_16 + RequestBuffer_17 + RequestBuffer_18 + RequestBuffer_19 + RequestBuffer_20 + Reque... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 73142 edges, 4187 markings/sec, 0 secs 163281 edges, 4264 markings/sec, 5 secs 259793 edges, 4233 markings/sec, 10 secs 353636 edges, 4248 markings/sec, 15 secs 452226 edges, 4223 markings/sec, 20 secs 557150 edges, 4197 markings/sec, 25 secs 654353 edges, 4228 markings/sec, 30 secs 753070 edges, 4220 markings/sec, 35 secs 856520 edges, 4196 markings/sec, 40 secs 960565 edges, 4195 markings/sec, 45 secs 1068817 edges, 4137 markings/sec, 50 secs 1177840 edges, 4138 markings/sec, 55 secs 1283772 edges, 4165 markings/sec, 60 secs 1381080 edges, 4221 markings/sec, 65 secs 1482292 edges, 4205 markings/sec, 70 secs 1587818 edges, 4187 markings/sec, 75 secs 1693251 edges, 4196 markings/sec, 80 secs 1804404 edges, 4168 markings/sec, 85 secs 1918313 edges, 4152 markings/sec, 90 secs 2022145 edges, 4197 markings/sec, 95 secs 2131623 edges, 4170 markings/sec, 100 secs 2249228 edges, 4113 markings/sec, 105 secs 2358839 edges, 4151 markings/sec, 110 secs 2476982 edges, 4109 markings/sec, 115 secs 2601288 edges, 4080 markings/sec, 120 secs 2697897 edges, 4170 markings/sec, 125 secs 2795130 edges, 4155 markings/sec, 130 secs 2898144 edges, 4130 markings/sec, 135 secs 3000517 edges, 4132 markings/sec, 140 secs 3107430 edges, 4108 markings/sec, 145 secs 3217056 edges, 4102 markings/sec, 150 secs 3324954 edges, 4107 markings/sec, 155 secs 3430874 edges, 4113 markings/sec, 160 secs 3539556 edges, 4103 markings/sec, 165 secs 3652643 edges, 4073 markings/sec, 170 secs 3764974 edges, 4087 markings/sec, 175 secs 3882207 edges, 4050 markings/sec, 180 secs 4005030 edges, 4017 markings/sec, 185 secs 4104686 edges, 4134 markings/sec, 190 secs 4212537 edges, 4110 markings/sec, 195 secs 4327591 edges, 4089 markings/sec, 200 secs 4438211 edges, 4118 markings/sec, 205 secs 4554395 edges, 4083 markings/sec, 210 secs 4675596 edges, 4049 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 15 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Client_Sending_10 + Client_Sending_11 + Client_Sending_12 + Client_Sending_13 + Client_Sending_14 + Client_Sending_15 + Client_Sending_16 + Client_Sending_17 + Client_Sending_18 + Client_Sending_19 + Client_Sending_20 + Client_Sending_21 + Client_Sending_22 + Client_Sending_23 + Client_Sending_24 + Client_Sending_25 + Client_Sending_26 + Client_Sending_27 + Client_Sending_28 + Client_Sending_2... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 270656 edges, 9862 markings/sec, 0 secs 569779 edges, 9623 markings/sec, 5 secs 877924 edges, 9464 markings/sec, 10 secs 1188251 edges, 9377 markings/sec, 15 secs 1512752 edges, 9283 markings/sec, 20 secs 1831597 edges, 9267 markings/sec, 25 secs 2146004 edges, 9266 markings/sec, 30 secs 2470939 edges, 9176 markings/sec, 35 secs 2799194 edges, 9126 markings/sec, 40 secs 3139056 edges, 9047 markings/sec, 45 secs 3494015 edges, 8929 markings/sec, 50 secs 3809876 edges, 9199 markings/sec, 55 secs 4121608 edges, 9238 markings/sec, 60 secs 4453511 edges, 9029 markings/sec, 65 secs 4775857 edges, 9110 markings/sec, 70 secs 5116367 edges, 8970 markings/sec, 75 secs 5476804 edges, 8764 markings/sec, 80 secs 5799209 edges, 9139 markings/sec, 85 secs 6140164 edges, 8951 markings/sec, 90 secs 6504735 edges, 8711 markings/sec, 95 secs 6847197 edges, 8950 markings/sec, 100 secs 7211077 edges, 8685 markings/sec, 105 secs 7595075 edges, 8442 markings/sec, 110 secs 7885271 edges, 9313 markings/sec, 115 secs 8200683 edges, 9129 markings/sec, 120 secs 8534078 edges, 8968 markings/sec, 125 secs 8855816 edges, 9020 markings/sec, 130 secs 9197914 edges, 8893 markings/sec, 135 secs 9548912 edges, 8765 markings/sec, 140 secs 9873683 edges, 9052 markings/sec, 145 secs 10218022 edges, 8871 markings/sec, 150 secs 10571739 edges, 8787 markings/sec, 155 secs 10921851 edges, 8775 markings/sec, 160 secs 11289046 edges, 8627 markings/sec, 165 secs 11656435 edges, 8646 markings/sec, 170 secs 11982733 edges, 9039 markings/sec, 175 secs 12327331 edges, 8843 markings/sec, 180 secs 12680603 edges, 8816 markings/sec, 185 secs 13033504 edges, 8796 markings/sec, 190 secs 13402417 edges, 8647 markings/sec, 195 secs 13772792 edges, 8627 markings/sec, 200 secs 14122527 edges, 8741 markings/sec, 205 secs 14489565 edges, 8602 markings/sec, 210 secs 14864727 edges, 8514 markings/sec, 215 secs reached - aborting unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknowncaught signal User defined signal 1 - aborting LoLA -10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN and sara stdout ----- stderr ----- stderr ----- stderr ----- sara stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CSRepetitions-PT-10"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/CSRepetitions-PT-10.tgz
mv CSRepetitions-PT-10 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is CSRepetitions-PT-10, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r018-ebro-149436308900137"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;