MCC'2017 - Execution of r098-ebro-149488455500137

About the Execution of LoLA for S_CSRepetitions-PT-10

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
7134.410	3540500.00	3555862.00	635.40	? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?	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 S_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 1496445791649

Time: 3600 - MCC
----- Start make prepare
============================
S_CSRepetitions-PT-10:
============================
translating PT Petri net complete

checking for too many tokens
============================
S_CSRepetitions-PT-10:
============================
translating formula complete
touch formulae;
----- Start make result
UpperBounds @ S_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: 21088 markings,
lola: 41913 markings,
lola: 62625 markings,
lola: 83575 markings,
lola: 104493 markings,
lola: 125353 markings,
lola: 146339 markings,
lola: 167240 markings,
lola: 188090 markings,
lola: 208923 markings,
lola: 229672 markings,
lola: 250023 markings,
lola: 270680 markings,
lola: 291702 markings,
lola: 312297 markings,
lola: 333085 markings,
lola: 353950 markings,
lola: 374518 markings,
lola: 394560 markings,
lola: 415146 markings,
lola: 435754 markings,
lola: 456167 markings,
lola: 476744 markings,
lola: 497269 markings,
lola: 517730 markings,
lola: 538422 markings,
lola: 559204 markings,
lola: 579922 markings,
lola: 600516 markings,
lola: 621136 markings,
lola: 641713 markings,
lola: 662069 markings,
lola: 682660 markings,
lola: 703174 markings,
lola: 723462 markings,
lola: 744038 markings,
lola: 764357 markings,
lola: 784463 markings,
lola: 805083 markings,
lola: 825627 markings,
lola: 846003 markings,
lola: 866448 markings,
lola: 886772 markings,
lola: 907110 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: 49264 markings,
lola: 96997 markings,
lola: 143490 markings,
lola: 189568 markings,
lola: 235246 markings,
lola: 280898 markings,
lola: 326757 markings,
lola: 372232 markings,
lola: 417383 markings,
lola: 461946 markings,
lola: 505631 markings,
lola: 550424 markings,
lola: 595681 markings,
lola: 640348 markings,
lola: 684928 markings,
lola: 728968 markings,
lola: 772481 markings,
lola: 816500 markings,
lola: 860360 markings,
lola: 903557 markings,
lola: 946759 markings,
lola: 989754 markings,
lola: 1032138 markings,
lola: 1076565 markings,
lola: 1121697 markings,
lola: 1166268 markings,
lola: 1210662 markings,
lola: 1254544 markings,
lola: 1297712 markings,
lola: 1341538 markings,
lola: 1385306 markings,
lola: 1428434 markings,
lola: 1471504 markings,
lola: 1514098 markings,
lola: 1556232 markings,
lola: 1599695 markings,
lola: 1643670 markings,
lola: 1687028 markings,
lola: 1730188 markings,
lola: 1772755 markings,
lola: 1815012 markings,
lola: 1857489 markings,
lola: 1899884 markings,
lola: 1942517 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: 22837 markings,
lola: 45530 markings,
lola: 68199 markings,
lola: 90842 markings,
lola: 113248 markings,
lola: 135706 markings,
lola: 158228 markings,
lola: 180796 markings,
lola: 203422 markings,
lola: 226012 markings,
lola: 248601 markings,
lola: 271173 markings,
lola: 293675 markings,
lola: 316351 markings,
lola: 338990 markings,
lola: 361606 markings,
lola: 384230 markings,
lola: 406753 markings,
lola: 429134 markings,
lola: 451478 markings,
lola: 473862 markings,
lola: 496203 markings,
lola: 518445 markings,
lola: 539569 markings,
lola: 560941 markings,
lola: 582388 markings,
lola: 604314 markings,
lola: 626296 markings,
lola: 648243 markings,
lola: 669969 markings,
lola: 692180 markings,
lola: 714342 markings,
lola: 736420 markings,
lola: 758703 markings,
lola: 780908 markings,
lola: 803067 markings,
lola: 825239 markings,
lola: 847362 markings,
lola: 869467 markings,
lola: 891557 markings,
lola: 913761 markings,
lola: 935918 markings,
lola: 958004 markings,
lola: 980154 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: 48876 markings,
lola: 96085 markings,
lola: 142469 markings,
lola: 188777 markings,
lola: 234086 markings,
lola: 278366 markings,
lola: 323778 markings,
lola: 368706 markings,
lola: 413503 markings,
lola: 457844 markings,
lola: 502145 markings,
lola: 547192 markings,
lola: 592593 markings,
lola: 637167 markings,
lola: 681806 markings,
lola: 725878 markings,
lola: 769455 markings,
lola: 813697 markings,
lola: 857835 markings,
lola: 901317 markings,
lola: 944856 markings,
lola: 987843 markings,
lola: 1030495 markings,
lola: 1074757 markings,
lola: 1119941 markings,
lola: 1164649 markings,
lola: 1209150 markings,
lola: 1253196 markings,
lola: 1296689 markings,
lola: 1340851 markings,
lola: 1384877 markings,
lola: 1428212 markings,
lola: 1471542 markings,
lola: 1514361 markings,
lola: 1556694 markings,
lola: 1600334 markings,
lola: 1644299 markings,
lola: 1687392 markings,
lola: 1730356 markings,
lola: 1772815 markings,
lola: 1815344 markings,
lola: 1858124 markings,
lola: 1900806 markings,
lola: 1943588 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: 62203 markings,
lola: 123058 markings,
lola: 184239 markings,
lola: 244691 markings,
lola: 304677 markings,
lola: 363270 markings,
lola: 422179 markings,
lola: 481384 markings,
lola: 540867 markings,
lola: 597758 markings,
lola: 653315 markings,
lola: 708366 markings,
lola: 764499 markings,
lola: 821605 markings,
lola: 878405 markings,
lola: 934991 markings,
lola: 989752 markings,
lola: 1044396 markings,
lola: 1098270 markings,
lola: 1151687 markings,
lola: 1205114 markings,
lola: 1257522 markings,
lola: 1310148 markings,
lola: 1360195 markings,
lola: 1408619 markings,
lola: 1456952 markings,
lola: 1501470 markings,
lola: 1543361 markings,
lola: 1575816 markings,
lola: 1603969 markings,
lola: 1632479 markings,
lola: 1660469 markings,
lola: 1688534 markings,
lola: 1716231 markings,
lola: 1744125 markings,
lola: 1772257 markings,
lola: 1800097 markings,
lola: 1827654 markings,
lola: 1855288 markings,
lola: 1883054 markings,
lola: 1910544 markings,
lola: 1938329 markings,
lola: 1959553 markings,
lola: 1987440 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: 22748 markings,
lola: 45449 markings,
lola: 68111 markings,
lola: 90763 markings,
lola: 113375 markings,
lola: 135972 markings,
lola: 158599 markings,
lola: 181201 markings,
lola: 203684 markings,
lola: 226108 markings,
lola: 248541 markings,
lola: 270909 markings,
lola: 293195 markings,
lola: 315623 markings,
lola: 337841 markings,
lola: 360218 markings,
lola: 382644 markings,
lola: 405020 markings,
lola: 427419 markings,
lola: 449738 markings,
lola: 472108 markings,
lola: 494379 markings,
lola: 516620 markings,
lola: 538928 markings,
lola: 561138 markings,
lola: 583328 markings,
lola: 605663 markings,
lola: 628062 markings,
lola: 650472 markings,
lola: 672874 markings,
lola: 695265 markings,
lola: 717591 markings,
lola: 739703 markings,
lola: 761880 markings,
lola: 783929 markings,
lola: 805970 markings,
lola: 828111 markings,
lola: 850281 markings,
lola: 872628 markings,
lola: 895018 markings,
lola: 917491 markings,
lola: 939984 markings,
lola: 962407 markings,
lola: 984733 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: 62862 markings,
lola: 125089 markings,
lola: 186492 markings,
lola: 247075 markings,
lola: 307142 markings,
lola: 365639 markings,
lola: 424876 markings,
lola: 484539 markings,
lola: 544843 markings,
lola: 604116 markings,
lola: 663604 markings,
lola: 721547 markings,
lola: 781040 markings,
lola: 840119 markings,
lola: 899663 markings,
lola: 957581 markings,
lola: 1015230 markings,
lola: 1071857 markings,
lola: 1128305 markings,
lola: 1184535 markings,
lola: 1240816 markings,
lola: 1296956 markings,
lola: 1350190 markings,
lola: 1400720 markings,
lola: 1449562 markings,
lola: 1494939 markings,
lola: 1536554 markings,
lola: 1571364 markings,
lola: 1599570 markings,
lola: 1627953 markings,
lola: 1655769 markings,
lola: 1683667 markings,
lola: 1711473 markings,
lola: 1739356 markings,
lola: 1767112 markings,
lola: 1794998 markings,
lola: 1822578 markings,
lola: 1850157 markings,
lola: 1878149 markings,
lola: 1905732 markings,
lola: 1933293 markings,
lola: 1955139 markings,
lola: 1982344 markings,
lola: 2009355 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: 21093 markings,
lola: 42383 markings,
lola: 63518 markings,
lola: 84720 markings,
lola: 105828 markings,
lola: 126779 markings,
lola: 147863 markings,
lola: 168906 markings,
lola: 189866 markings,
lola: 210797 markings,
lola: 231627 markings,
lola: 252440 markings,
lola: 273348 markings,
lola: 294433 markings,
lola: 315480 markings,
lola: 336369 markings,
lola: 357190 markings,
lola: 377906 markings,
lola: 398678 markings,
lola: 419676 markings,
lola: 440562 markings,
lola: 460995 markings,
lola: 481703 markings,
lola: 502067 markings,
lola: 522581 markings,
lola: 543566 markings,
lola: 564519 markings,
lola: 585289 markings,
lola: 606059 markings,
lola: 626647 markings,
lola: 646918 markings,
lola: 667201 markings,
lola: 687510 markings,
lola: 707753 markings,
lola: 728161 markings,
lola: 748669 markings,
lola: 769062 markings,
lola: 789155 markings,
lola: 809940 markings,
lola: 830525 markings,
lola: 850871 markings,
lola: 871326 markings,
lola: 891643 markings,
lola: 911835 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: 22965 markings,
lola: 45694 markings,
lola: 68383 markings,
lola: 91086 markings,
lola: 113748 markings,
lola: 136225 markings,
lola: 158704 markings,
lola: 181234 markings,
lola: 203689 markings,
lola: 226107 markings,
lola: 248541 markings,
lola: 270924 markings,
lola: 293299 markings,
lola: 315844 markings,
lola: 338338 markings,
lola: 360760 markings,
lola: 383353 markings,
lola: 405964 markings,
lola: 428608 markings,
lola: 451206 markings,
lola: 473853 markings,
lola: 496464 markings,
lola: 519055 markings,
lola: 541677 markings,
lola: 564193 markings,
lola: 586662 markings,
lola: 609380 markings,
lola: 632104 markings,
lola: 654782 markings,
lola: 677444 markings,
lola: 700083 markings,
lola: 722703 markings,
lola: 745324 markings,
lola: 767873 markings,
lola: 790229 markings,
lola: 812509 markings,
lola: 834844 markings,
lola: 857141 markings,
lola: 879425 markings,
lola: 901838 markings,
lola: 924213 markings,
lola: 946734 markings,
lola: 969218 markings,
lola: 991576 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: 48583 markings,
lola: 95498 markings,
lola: 142061 markings,
lola: 188339 markings,
lola: 233993 markings,
lola: 279415 markings,
lola: 325052 markings,
lola: 370282 markings,
lola: 415109 markings,
lola: 459441 markings,
lola: 503825 markings,
lola: 548704 markings,
lola: 593886 markings,
lola: 638702 markings,
lola: 683472 markings,
lola: 727595 markings,
lola: 771188 markings,
lola: 815471 markings,
lola: 859732 markings,
lola: 903334 markings,
lola: 947013 markings,
lola: 990201 markings,
lola: 1032603 markings,
lola: 1077235 markings,
lola: 1122421 markings,
lola: 1166952 markings,
lola: 1211496 markings,
lola: 1255536 markings,
lola: 1298724 markings,
lola: 1342675 markings,
lola: 1386640 markings,
lola: 1429744 markings,
lola: 1472852 markings,
lola: 1515537 markings,
lola: 1557651 markings,
lola: 1601215 markings,
lola: 1645176 markings,
lola: 1688440 markings,
lola: 1731373 markings,
lola: 1773669 markings,
lola: 1815610 markings,
lola: 1857918 markings,
lola: 1900417 markings,
lola: 1943007 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: 22857 markings,
lola: 45601 markings,
lola: 68297 markings,
lola: 90965 markings,
lola: 113496 markings,
lola: 136030 markings,
lola: 158571 markings,
lola: 181127 markings,
lola: 203747 markings,
lola: 226357 markings,
lola: 248997 markings,
lola: 271585 markings,
lola: 294074 markings,
lola: 316768 markings,
lola: 339422 markings,
lola: 362066 markings,
lola: 384701 markings,
lola: 407292 markings,
lola: 429862 markings,
lola: 452254 markings,
lola: 474732 markings,
lola: 497122 markings,
lola: 519462 markings,
lola: 541835 markings,
lola: 564183 markings,
lola: 586449 markings,
lola: 608723 markings,
lola: 631188 markings,
lola: 653632 markings,
lola: 676067 markings,
lola: 698463 markings,
lola: 720842 markings,
lola: 743204 markings,
lola: 765630 markings,
lola: 788025 markings,
lola: 810355 markings,
lola: 832704 markings,
lola: 854974 markings,
lola: 877240 markings,
lola: 899609 markings,
lola: 921977 markings,
lola: 944364 markings,
lola: 966703 markings,
lola: 989127 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: 20925 markings,
lola: 42221 markings,
lola: 63363 markings,
lola: 84588 markings,
lola: 105683 markings,
lola: 126674 markings,
lola: 147810 markings,
lola: 168895 markings,
lola: 189789 markings,
lola: 210696 markings,
lola: 231543 markings,
lola: 252400 markings,
lola: 273343 markings,
lola: 294460 markings,
lola: 315491 markings,
lola: 336390 markings,
lola: 357314 markings,
lola: 378091 markings,
lola: 398784 markings,
lola: 419779 markings,
lola: 440628 markings,
lola: 461266 markings,
lola: 482137 markings,
lola: 502734 markings,
lola: 523174 markings,
lola: 544163 markings,
lola: 564994 markings,
lola: 585644 markings,
lola: 606174 markings,
lola: 626572 markings,
lola: 646934 markings,
lola: 667329 markings,
lola: 687776 markings,
lola: 708307 markings,
lola: 728749 markings,
lola: 749229 markings,
lola: 769522 markings,
lola: 789493 markings,
lola: 810238 markings,
lola: 830789 markings,
lola: 851084 markings,
lola: 871408 markings,
lola: 891556 markings,
lola: 911624 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: 48673 markings,
lola: 96214 markings,
lola: 142900 markings,
lola: 189307 markings,
lola: 235041 markings,
lola: 280465 markings,
lola: 325865 markings,
lola: 371132 markings,
lola: 415954 markings,
lola: 460380 markings,
lola: 504591 markings,
lola: 549382 markings,
lola: 594563 markings,
lola: 639334 markings,
lola: 683987 markings,
lola: 728100 markings,
lola: 771729 markings,
lola: 816062 markings,
lola: 860421 markings,
lola: 903956 markings,
lola: 947427 markings,
lola: 990249 markings,
lola: 1032476 markings,
lola: 1076670 markings,
lola: 1121427 markings,
lola: 1165711 markings,
lola: 1209767 markings,
lola: 1253656 markings,
lola: 1297002 markings,
lola: 1340742 markings,
lola: 1384457 markings,
lola: 1427585 markings,
lola: 1470510 markings,
lola: 1513091 markings,
lola: 1554980 markings,
lola: 1597958 markings,
lola: 1641791 markings,
lola: 1685385 markings,
lola: 1728547 markings,
lola: 1771127 markings,
lola: 1813415 markings,
lola: 1855671 markings,
lola: 1898423 markings,
lola: 1940859 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: 22906 markings,
lola: 45593 markings,
lola: 68236 markings,
lola: 90906 markings,
lola: 113538 markings,
lola: 136125 markings,
lola: 158599 markings,
lola: 181092 markings,
lola: 203643 markings,
lola: 226190 markings,
lola: 248758 markings,
lola: 271253 markings,
lola: 293549 markings,
lola: 316009 markings,
lola: 338445 markings,
lola: 360846 markings,
lola: 383258 markings,
lola: 405795 markings,
lola: 428312 markings,
lola: 450839 markings,
lola: 473413 markings,
lola: 495937 markings,
lola: 518411 markings,
lola: 540946 markings,
lola: 563439 markings,
lola: 585729 markings,
lola: 608207 markings,
lola: 630637 markings,
lola: 653044 markings,
lola: 675425 markings,
lola: 697798 markings,
lola: 720322 markings,
lola: 742829 markings,
lola: 765425 markings,
lola: 787992 markings,
lola: 810491 markings,
lola: 833042 markings,
lola: 855529 markings,
lola: 877870 markings,
lola: 900248 markings,
lola: 922609 markings,
lola: 944916 markings,
lola: 967192 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: 20898 markings,
lola: 41938 markings,
lola: 62849 markings,
lola: 83795 markings,
lola: 104738 markings,
lola: 125559 markings,
lola: 146455 markings,
lola: 167280 markings,
lola: 188051 markings,
lola: 208749 markings,
lola: 229406 markings,
lola: 249938 markings,
lola: 270524 markings,
lola: 291530 markings,
lola: 312436 markings,
lola: 333289 markings,
lola: 354195 markings,
lola: 374889 markings,
lola: 395302 markings,
lola: 415992 markings,
lola: 436567 markings,
lola: 457152 markings,
lola: 477853 markings,
lola: 498442 markings,
lola: 518837 markings,
lola: 539559 markings,
lola: 560181 markings,
lola: 580743 markings,
lola: 601221 markings,
lola: 621708 markings,
lola: 642046 markings,
lola: 662359 markings,
lola: 682798 markings,
lola: 703053 markings,
lola: 723088 markings,
lola: 743429 markings,
lola: 763553 markings,
lola: 783559 markings,
lola: 803966 markings,
lola: 824373 markings,
lola: 844639 markings,
lola: 864926 markings,
lola: 885106 markings,
lola: 905228 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: 48827 markings,
lola: 96155 markings,
lola: 142968 markings,
lola: 189320 markings,
lola: 235334 markings,
lola: 281003 markings,
lola: 326976 markings,
lola: 372294 markings,
lola: 417419 markings,
lola: 462139 markings,
lola: 506160 markings,
lola: 551176 markings,
lola: 596695 markings,
lola: 641589 markings,
lola: 686404 markings,
lola: 730780 markings,
lola: 774376 markings,
lola: 818541 markings,
lola: 862875 markings,
lola: 906353 markings,
lola: 949673 markings,
lola: 992661 markings,
lola: 1034826 markings,
lola: 1079326 markings,
lola: 1124475 markings,
lola: 1168834 markings,
lola: 1213167 markings,
lola: 1257057 markings,
lola: 1300051 markings,
lola: 1344055 markings,
lola: 1387992 markings,
lola: 1431091 markings,
lola: 1474439 markings,
lola: 1517197 markings,
lola: 1559167 markings,
lola: 1602692 markings,
lola: 1646585 markings,
lola: 1689901 markings,
lola: 1733185 markings,
lola: 1775873 markings,
lola: 1817902 markings,
lola: 1860598 markings,
lola: 1903130 markings,
lola: 1945432 markings,
lola: time limit
lola:
preliminary result:
lola: caught signal
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 1496449332149

--------------------
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 r098-ebro-149488455500137 ========================================= 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 ----- =============================================================== translating PT Petri net model.pnml into LoLA format =============================================================== =============================================================== translating PT formula UpperBounds into LoLA format =============================================================== 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) 73743 edges, 4218 markings/sec, 0 secs 161717 edges, 4165 markings/sec, 5 secs 255600 edges, 4142 markings/sec, 10 secs 349239 edges, 4190 markings/sec, 15 secs 446531 edges, 4184 markings/sec, 20 secs 549812 edges, 4172 markings/sec, 25 secs 647003 edges, 4197 markings/sec, 30 secs 745471 edges, 4180 markings/sec, 35 secs 846266 edges, 4170 markings/sec, 40 secs 950376 edges, 4167 markings/sec, 45 secs 1057610 edges, 4150 markings/sec, 50 secs 1165208 edges, 4070 markings/sec, 55 secs 1273150 edges, 4131 markings/sec, 60 secs 1368264 edges, 4204 markings/sec, 65 secs 1467705 edges, 4119 markings/sec, 70 secs 1573402 edges, 4158 markings/sec, 75 secs 1676491 edges, 4173 markings/sec, 80 secs 1784565 edges, 4114 markings/sec, 85 secs 1899251 edges, 4008 markings/sec, 90 secs 1997803 edges, 4117 markings/sec, 95 secs 2105881 edges, 4122 markings/sec, 100 secs 2218968 edges, 4083 markings/sec, 105 secs 2331238 edges, 4115 markings/sec, 110 secs 2447318 edges, 4105 markings/sec, 115 secs 2568855 edges, 4092 markings/sec, 120 secs 2673818 edges, 4138 markings/sec, 125 secs 2772121 edges, 4156 markings/sec, 130 secs 2870842 edges, 4144 markings/sec, 135 secs 2974451 edges, 4119 markings/sec, 140 secs 3079296 edges, 4124 markings/sec, 145 secs 3188943 edges, 4115 markings/sec, 150 secs 3299562 edges, 4071 markings/sec, 155 secs 3401868 edges, 4118 markings/sec, 160 secs 3510030 edges, 4103 markings/sec, 165 secs 3626001 edges, 4058 markings/sec, 170 secs 3734767 edges, 4115 markings/sec, 175 secs 3851651 edges, 4064 markings/sec, 180 secs 3973899 edges, 4021 markings/sec, 185 secs 4079380 edges, 4124 markings/sec, 190 secs 4185369 edges, 4109 markings/sec, 195 secs 4296671 edges, 4075 markings/sec, 200 secs 4408113 edges, 4089 markings/sec, 205 secs 4525001 edges, 4065 markings/sec, 210 secs 4642214 edges, 4068 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) 270480 edges, 9853 markings/sec, 0 secs 566486 edges, 9547 markings/sec, 5 secs 870633 edges, 9299 markings/sec, 10 secs 1173277 edges, 9216 markings/sec, 15 secs 1491981 edges, 9136 markings/sec, 20 secs 1810370 edges, 9130 markings/sec, 25 secs 2121125 edges, 9172 markings/sec, 30 secs 2436317 edges, 9095 markings/sec, 35 secs 2763759 edges, 9030 markings/sec, 40 secs 3099655 edges, 8913 markings/sec, 45 secs 3439548 edges, 8737 markings/sec, 50 secs 3757513 edges, 8959 markings/sec, 55 secs 4063944 edges, 9051 markings/sec, 60 secs 4382941 edges, 8933 markings/sec, 65 secs 4703849 edges, 8916 markings/sec, 70 secs 5035277 edges, 8808 markings/sec, 75 secs 5379501 edges, 8703 markings/sec, 80 secs 5707084 edges, 8804 markings/sec, 85 secs 6037140 edges, 8772 markings/sec, 90 secs 6378954 edges, 8639 markings/sec, 95 secs 6722304 edges, 8640 markings/sec, 100 secs 7077760 edges, 8599 markings/sec, 105 secs 7445043 edges, 8477 markings/sec, 110 secs 7767491 edges, 8885 markings/sec, 115 secs 8073123 edges, 9026 markings/sec, 120 secs 8392497 edges, 8914 markings/sec, 125 secs 8712959 edges, 8879 markings/sec, 130 secs 9041803 edges, 8776 markings/sec, 135 secs 9384940 edges, 8634 markings/sec, 140 secs 9710975 edges, 8765 markings/sec, 145 secs 10039067 edges, 8754 markings/sec, 150 secs 10381470 edges, 8626 markings/sec, 155 secs 10723771 edges, 8614 markings/sec, 160 secs 11075904 edges, 8519 markings/sec, 165 secs 11440648 edges, 8427 markings/sec, 170 secs 11777562 edges, 8693 markings/sec, 175 secs 12108718 edges, 8795 markings/sec, 180 secs 12449980 edges, 8672 markings/sec, 185 secs 12792327 edges, 8632 markings/sec, 190 secs 13146017 edges, 8513 markings/sec, 195 secs 13505766 edges, 8451 markings/sec, 200 secs 13859991 edges, 8495 markings/sec, 205 secs 14213523 edges, 8479 markings/sec, 210 secs 14571718 edges, 8527 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) 34072 edges, 4567 markings/sec, 0 secs 70567 edges, 4539 markings/sec, 5 secs 108432 edges, 4534 markings/sec, 10 secs 145867 edges, 4529 markings/sec, 15 secs 184264 edges, 4481 markings/sec, 20 secs 223366 edges, 4492 markings/sec, 25 secs 262333 edges, 4504 markings/sec, 30 secs 300426 edges, 4514 markings/sec, 35 secs 339871 edges, 4525 markings/sec, 40 secs 380358 edges, 4518 markings/sec, 45 secs 420167 edges, 4518 markings/sec, 50 secs 461516 edges, 4514 markings/sec, 55 secs 504946 edges, 4500 markings/sec, 60 secs 542145 edges, 4535 markings/sec, 65 secs 580945 edges, 4528 markings/sec, 70 secs 621131 edges, 4523 markings/sec, 75 secs 661085 edges, 4525 markings/sec, 80 secs 702279 edges, 4505 markings/sec, 85 secs 743511 edges, 4476 markings/sec, 90 secs 785000 edges, 4469 markings/sec, 95 secs 824901 edges, 4477 markings/sec, 100 secs 866113 edges, 4468 markings/sec, 105 secs 908965 edges, 4448 markings/sec, 110 secs 948055 edges, 4225 markings/sec, 115 secs 989479 edges, 4274 markings/sec, 120 secs 1032372 edges, 4289 markings/sec, 125 secs 1071253 edges, 4385 markings/sec, 130 secs 1109000 edges, 4396 markings/sec, 135 secs 1146809 edges, 4389 markings/sec, 140 secs 1185777 edges, 4345 markings/sec, 145 secs 1225167 edges, 4442 markings/sec, 150 secs 1265844 edges, 4432 markings/sec, 155 secs 1308533 edges, 4416 markings/sec, 160 secs 1347288 edges, 4457 markings/sec, 165 secs 1387797 edges, 4441 markings/sec, 170 secs 1429549 edges, 4432 markings/sec, 175 secs 1471256 edges, 4434 markings/sec, 180 secs 1514096 edges, 4425 markings/sec, 185 secs 1557126 edges, 4421 markings/sec, 190 secs 1600171 edges, 4418 markings/sec, 195 secs 1639573 edges, 4441 markings/sec, 200 secs 1680328 edges, 4431 markings/sec, 205 secs 1723050 edges, 4417 markings/sec, 210 secs 1763831 edges, 4430 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) 267516 edges, 9775 markings/sec, 0 secs 559954 edges, 9442 markings/sec, 5 secs 864029 edges, 9277 markings/sec, 10 secs 1167972 edges, 9262 markings/sec, 15 secs 1483979 edges, 9062 markings/sec, 20 secs 1796203 edges, 8856 markings/sec, 25 secs 2097856 edges, 9082 markings/sec, 30 secs 2411404 edges, 8986 markings/sec, 35 secs 2736009 edges, 8959 markings/sec, 40 secs 3070763 edges, 8868 markings/sec, 45 secs 3410349 edges, 8860 markings/sec, 50 secs 3736502 edges, 9009 markings/sec, 55 secs 4044939 edges, 9080 markings/sec, 60 secs 4358486 edges, 8915 markings/sec, 65 secs 4680451 edges, 8928 markings/sec, 70 secs 5012424 edges, 8814 markings/sec, 75 secs 5355037 edges, 8715 markings/sec, 80 secs 5685767 edges, 8848 markings/sec, 85 secs 6018036 edges, 8828 markings/sec, 90 secs 6361809 edges, 8696 markings/sec, 95 secs 6706282 edges, 8708 markings/sec, 100 secs 7062743 edges, 8597 markings/sec, 105 secs 7428683 edges, 8530 markings/sec, 110 secs 7755514 edges, 8852 markings/sec, 115 secs 8061461 edges, 9037 markings/sec, 120 secs 8380718 edges, 8942 markings/sec, 125 secs 8701045 edges, 8900 markings/sec, 130 secs 9032495 edges, 8809 markings/sec, 135 secs 9376595 edges, 8699 markings/sec, 140 secs 9705263 edges, 8832 markings/sec, 145 secs 10036215 edges, 8805 markings/sec, 150 secs 10379587 edges, 8667 markings/sec, 155 secs 10724123 edges, 8666 markings/sec, 160 secs 11078030 edges, 8564 markings/sec, 165 secs 11445180 edges, 8467 markings/sec, 170 secs 11782157 edges, 8728 markings/sec, 175 secs 12113124 edges, 8793 markings/sec, 180 secs 12453473 edges, 8619 markings/sec, 185 secs 12793701 edges, 8593 markings/sec, 190 secs 13146443 edges, 8492 markings/sec, 195 secs 13508697 edges, 8506 markings/sec, 200 secs 13865007 edges, 8556 markings/sec, 205 secs 14222326 edges, 8536 markings/sec, 210 secs 14581072 edges, 8556 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) 128648 edges, 12441 markings/sec, 0 secs 254450 edges, 12171 markings/sec, 5 secs 380750 edges, 12236 markings/sec, 10 secs 507642 edges, 12090 markings/sec, 15 secs 636429 edges, 11997 markings/sec, 20 secs 764571 edges, 11719 markings/sec, 25 secs 891395 edges, 11782 markings/sec, 30 secs 1014060 edges, 11841 markings/sec, 35 secs 1137447 edges, 11897 markings/sec, 40 secs 1257416 edges, 11378 markings/sec, 45 secs 1376557 edges, 11111 markings/sec, 50 secs 1497221 edges, 11010 markings/sec, 55 secs 1616623 edges, 11227 markings/sec, 60 secs 1735810 edges, 11421 markings/sec, 65 secs 1855108 edges, 11360 markings/sec, 70 secs 1973107 edges, 11317 markings/sec, 75 secs 2089257 edges, 10952 markings/sec, 80 secs 2208056 edges, 10929 markings/sec, 85 secs 2325896 edges, 10775 markings/sec, 90 secs 2441108 edges, 10683 markings/sec, 95 secs 2557354 edges, 10685 markings/sec, 100 secs 2674405 edges, 10482 markings/sec, 105 secs 2786837 edges, 10525 markings/sec, 110 secs 2890700 edges, 10009 markings/sec, 115 secs 2990135 edges, 9685 markings/sec, 120 secs 3093366 edges, 9667 markings/sec, 125 secs 3183687 edges, 8904 markings/sec, 130 secs 3269857 edges, 8378 markings/sec, 135 secs 3335790 edges, 6491 markings/sec, 140 secs 3395507 edges, 5631 markings/sec, 145 secs 3455909 edges, 5702 markings/sec, 150 secs 3517436 edges, 5598 markings/sec, 155 secs 3578348 edges, 5613 markings/sec, 160 secs 3640728 edges, 5539 markings/sec, 165 secs 3702596 edges, 5579 markings/sec, 170 secs 3764450 edges, 5626 markings/sec, 175 secs 3825888 edges, 5568 markings/sec, 180 secs 3888763 edges, 5511 markings/sec, 185 secs 3951395 edges, 5527 markings/sec, 190 secs 4014488 edges, 5553 markings/sec, 195 secs 4077131 edges, 5498 markings/sec, 200 secs 4139472 edges, 5557 markings/sec, 205 secs 4182445 edges, 4245 markings/sec, 210 secs 4244698 edges, 5577 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) 33927 edges, 4550 markings/sec, 0 secs 70399 edges, 4540 markings/sec, 5 secs 108284 edges, 4532 markings/sec, 10 secs 145773 edges, 4530 markings/sec, 15 secs 184447 edges, 4522 markings/sec, 20 secs 223862 edges, 4519 markings/sec, 25 secs 262915 edges, 4525 markings/sec, 30 secs 301176 edges, 4520 markings/sec, 35 secs 340306 edges, 4497 markings/sec, 40 secs 380577 edges, 4485 markings/sec, 45 secs 420028 edges, 4487 markings/sec, 50 secs 461006 edges, 4474 markings/sec, 55 secs 503940 edges, 4457 markings/sec, 60 secs 540965 edges, 4486 markings/sec, 65 secs 578973 edges, 4444 markings/sec, 70 secs 618651 edges, 4475 markings/sec, 75 secs 658305 edges, 4485 markings/sec, 80 secs 699115 edges, 4475 markings/sec, 85 secs 740276 edges, 4480 markings/sec, 90 secs 781952 edges, 4464 markings/sec, 95 secs 821667 edges, 4474 markings/sec, 100 secs 862655 edges, 4454 markings/sec, 105 secs 905917 edges, 4448 markings/sec, 110 secs 946796 edges, 4462 markings/sec, 115 secs 989830 edges, 4442 markings/sec, 120 secs 1034323 edges, 4438 markings/sec, 125 secs 1073483 edges, 4467 markings/sec, 130 secs 1111975 edges, 4480 markings/sec, 135 secs 1150806 edges, 4482 markings/sec, 140 secs 1190867 edges, 4480 markings/sec, 145 secs 1230842 edges, 4478 markings/sec, 150 secs 1272062 edges, 4465 markings/sec, 155 secs 1314330 edges, 4422 markings/sec, 160 secs 1352916 edges, 4435 markings/sec, 165 secs 1393449 edges, 4410 markings/sec, 170 secs 1435229 edges, 4408 markings/sec, 175 secs 1476691 edges, 4428 markings/sec, 180 secs 1519578 edges, 4434 markings/sec, 185 secs 1563442 edges, 4469 markings/sec, 190 secs 1606177 edges, 4478 markings/sec, 195 secs 1646540 edges, 4495 markings/sec, 200 secs 1688161 edges, 4499 markings/sec, 205 secs 1730930 edges, 4485 markings/sec, 210 secs 1772572 edges, 4465 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) 129964 edges, 12572 markings/sec, 0 secs 258686 edges, 12445 markings/sec, 5 secs 385451 edges, 12281 markings/sec, 10 secs 512772 edges, 12117 markings/sec, 15 secs 641703 edges, 12013 markings/sec, 20 secs 769847 edges, 11699 markings/sec, 25 secs 896679 edges, 11847 markings/sec, 30 secs 1020801 edges, 11933 markings/sec, 35 secs 1145752 edges, 12061 markings/sec, 40 secs 1271089 edges, 11855 markings/sec, 45 secs 1398796 edges, 11898 markings/sec, 50 secs 1526701 edges, 11589 markings/sec, 55 secs 1650390 edges, 11899 markings/sec, 60 secs 1775586 edges, 11816 markings/sec, 65 secs 1899042 edges, 11909 markings/sec, 70 secs 2021769 edges, 11584 markings/sec, 75 secs 2144704 edges, 11530 markings/sec, 80 secs 2268205 edges, 11325 markings/sec, 85 secs 2389637 edges, 11290 markings/sec, 90 secs 2512389 edges, 11246 markings/sec, 95 secs 2636697 edges, 11256 markings/sec, 100 secs 2760313 edges, 11228 markings/sec, 105 secs 2869654 edges, 10647 markings/sec, 110 secs 2973342 edges, 10106 markings/sec, 115 secs 3077060 edges, 9768 markings/sec, 120 secs 3171176 edges, 9075 markings/sec, 125 secs 3255862 edges, 8323 markings/sec, 130 secs 3326692 edges, 6962 markings/sec, 135 secs 3386109 edges, 5641 markings/sec, 140 secs 3445939 edges, 5677 markings/sec, 145 secs 3506911 edges, 5563 markings/sec, 150 secs 3567875 edges, 5580 markings/sec, 155 secs 3629960 edges, 5561 markings/sec, 160 secs 3691782 edges, 5577 markings/sec, 165 secs 3752995 edges, 5551 markings/sec, 170 secs 3814244 edges, 5577 markings/sec, 175 secs 3877276 edges, 5516 markings/sec, 180 secs 3940182 edges, 5516 markings/sec, 185 secs 4003345 edges, 5598 markings/sec, 190 secs 4065624 edges, 5517 markings/sec, 195 secs 4128005 edges, 5512 markings/sec, 200 secs 4173340 edges, 4369 markings/sec, 205 secs 4232771 edges, 5441 markings/sec, 210 secs 4294729 edges, 5402 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) 73758 edges, 4219 markings/sec, 0 secs 163886 edges, 4258 markings/sec, 5 secs 260214 edges, 4227 markings/sec, 10 secs 353890 edges, 4240 markings/sec, 15 secs 452471 edges, 4222 markings/sec, 20 secs 557249 edges, 4190 markings/sec, 25 secs 654166 edges, 4217 markings/sec, 30 secs 752651 edges, 4209 markings/sec, 35 secs 855840 edges, 4192 markings/sec, 40 secs 959886 edges, 4186 markings/sec, 45 secs 1068751 edges, 4166 markings/sec, 50 secs 1178427 edges, 4163 markings/sec, 55 secs 1284525 edges, 4182 markings/sec, 60 secs 1381994 edges, 4217 markings/sec, 65 secs 1483148 edges, 4209 markings/sec, 70 secs 1588484 edges, 4178 markings/sec, 75 secs 1693196 edges, 4164 markings/sec, 80 secs 1803596 edges, 4143 markings/sec, 85 secs 1917764 edges, 4154 markings/sec, 90 secs 2021718 edges, 4200 markings/sec, 95 secs 2131243 edges, 4177 markings/sec, 100 secs 2248365 edges, 4087 markings/sec, 105 secs 2357469 edges, 4142 markings/sec, 110 secs 2474645 edges, 4073 markings/sec, 115 secs 2599273 edges, 4103 markings/sec, 120 secs 2697249 edges, 4197 markings/sec, 125 secs 2795086 edges, 4191 markings/sec, 130 secs 2898773 edges, 4154 markings/sec, 135 secs 3001753 edges, 4154 markings/sec, 140 secs 3108683 edges, 4118 markings/sec, 145 secs 3217252 edges, 4054 markings/sec, 150 secs 3323813 edges, 4057 markings/sec, 155 secs 3428020 edges, 4062 markings/sec, 160 secs 3535525 edges, 4049 markings/sec, 165 secs 3648832 edges, 4082 markings/sec, 170 secs 3761256 edges, 4102 markings/sec, 175 secs 3879176 edges, 4079 markings/sec, 180 secs 4003101 edges, 4019 markings/sec, 185 secs 4102793 edges, 4157 markings/sec, 190 secs 4210842 edges, 4117 markings/sec, 195 secs 4324979 edges, 4069 markings/sec, 200 secs 4435334 edges, 4091 markings/sec, 205 secs 4550712 edges, 4063 markings/sec, 210 secs 4671302 edges, 4038 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) 34279 edges, 4593 markings/sec, 0 secs 70823 edges, 4546 markings/sec, 5 secs 108765 edges, 4538 markings/sec, 10 secs 146313 edges, 4541 markings/sec, 15 secs 185030 edges, 4532 markings/sec, 20 secs 224316 edges, 4495 markings/sec, 25 secs 263072 edges, 4496 markings/sec, 30 secs 301220 edges, 4506 markings/sec, 35 secs 340311 edges, 4491 markings/sec, 40 secs 380577 edges, 4484 markings/sec, 45 secs 420028 edges, 4487 markings/sec, 50 secs 461037 edges, 4477 markings/sec, 55 secs 504134 edges, 4475 markings/sec, 60 secs 541360 edges, 4509 markings/sec, 65 secs 579806 edges, 4499 markings/sec, 70 secs 619610 edges, 4484 markings/sec, 75 secs 659549 edges, 4519 markings/sec, 80 secs 701043 edges, 4522 markings/sec, 85 secs 742534 edges, 4529 markings/sec, 90 secs 784487 edges, 4520 markings/sec, 95 secs 824892 edges, 4529 markings/sec, 100 secs 866639 edges, 4522 markings/sec, 105 secs 910004 edges, 4518 markings/sec, 110 secs 952010 edges, 4524 markings/sec, 115 secs 995785 edges, 4503 markings/sec, 120 secs 1041276 edges, 4494 markings/sec, 125 secs 1079824 edges, 4544 markings/sec, 130 secs 1118580 edges, 4545 markings/sec, 135 secs 1158741 edges, 4536 markings/sec, 140 secs 1198758 edges, 4532 markings/sec, 145 secs 1240079 edges, 4528 markings/sec, 150 secs 1281616 edges, 4524 markings/sec, 155 secs 1323722 edges, 4524 markings/sec, 160 secs 1363914 edges, 4510 markings/sec, 165 secs 1405076 edges, 4471 markings/sec, 170 secs 1448210 edges, 4456 markings/sec, 175 secs 1489365 edges, 4467 markings/sec, 180 secs 1532749 edges, 4459 markings/sec, 185 secs 1577421 edges, 4457 markings/sec, 190 secs 1618188 edges, 4483 markings/sec, 195 secs 1659010 edges, 4475 markings/sec, 200 secs 1700715 edges, 4504 markings/sec, 205 secs 1743298 edges, 4497 markings/sec, 210 secs 1785987 edges, 4472 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) 265414 edges, 9717 markings/sec, 0 secs 555671 edges, 9383 markings/sec, 5 secs 861476 edges, 9313 markings/sec, 10 secs 1164926 edges, 9256 markings/sec, 15 secs 1483351 edges, 9131 markings/sec, 20 secs 1802003 edges, 9084 markings/sec, 25 secs 2107256 edges, 9127 markings/sec, 30 secs 2421879 edges, 9046 markings/sec, 35 secs 2746852 edges, 8965 markings/sec, 40 secs 3083469 edges, 8866 markings/sec, 45 secs 3424675 edges, 8877 markings/sec, 50 secs 3746939 edges, 8976 markings/sec, 55 secs 4053147 edges, 9036 markings/sec, 60 secs 4371199 edges, 8963 markings/sec, 65 secs 4692768 edges, 8954 markings/sec, 70 secs 5024664 edges, 8825 markings/sec, 75 secs 5369329 edges, 8719 markings/sec, 80 secs 5699407 edges, 8857 markings/sec, 85 secs 6032264 edges, 8852 markings/sec, 90 secs 6377286 edges, 8720 markings/sec, 95 secs 6724347 edges, 8736 markings/sec, 100 secs 7081430 edges, 8638 markings/sec, 105 secs 7448940 edges, 8480 markings/sec, 110 secs 7772399 edges, 8926 markings/sec, 115 secs 8078517 edges, 9037 markings/sec, 120 secs 8397824 edges, 8906 markings/sec, 125 secs 8719804 edges, 8909 markings/sec, 130 secs 9049029 edges, 8808 markings/sec, 135 secs 9393646 edges, 8638 markings/sec, 140 secs 9720066 edges, 8790 markings/sec, 145 secs 10048651 edges, 8793 markings/sec, 150 secs 10392671 edges, 8621 markings/sec, 155 secs 10735432 edges, 8622 markings/sec, 160 secs 11088282 edges, 8537 markings/sec, 165 secs 11452923 edges, 8423 markings/sec, 170 secs 11788948 edges, 8713 markings/sec, 175 secs 12119508 edges, 8792 markings/sec, 180 secs 12461622 edges, 8653 markings/sec, 185 secs 12801817 edges, 8587 markings/sec, 190 secs 13153411 edges, 8459 markings/sec, 195 secs 13511209 edges, 8388 markings/sec, 200 secs 13863316 edges, 8462 markings/sec, 205 secs 14219018 edges, 8500 markings/sec, 210 secs 14575803 edges, 8518 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) 34096 edges, 4571 markings/sec, 0 secs 70653 edges, 4549 markings/sec, 5 secs 108653 edges, 4539 markings/sec, 10 secs 146085 edges, 4534 markings/sec, 15 secs 184634 edges, 4506 markings/sec, 20 secs 223941 edges, 4507 markings/sec, 25 secs 262887 edges, 4508 markings/sec, 30 secs 300986 edges, 4511 markings/sec, 35 secs 340398 edges, 4524 markings/sec, 40 secs 380931 edges, 4522 markings/sec, 45 secs 420950 edges, 4528 markings/sec, 50 secs 462274 edges, 4518 markings/sec, 55 secs 505831 edges, 4498 markings/sec, 60 secs 542815 edges, 4539 markings/sec, 65 secs 581671 edges, 4531 markings/sec, 70 secs 622014 edges, 4529 markings/sec, 75 secs 661918 edges, 4527 markings/sec, 80 secs 703198 edges, 4518 markings/sec, 85 secs 744881 edges, 4514 markings/sec, 90 secs 786337 edges, 4478 markings/sec, 95 secs 826553 edges, 4496 markings/sec, 100 secs 867995 edges, 4478 markings/sec, 105 secs 910702 edges, 4468 markings/sec, 110 secs 952335 edges, 4475 markings/sec, 115 secs 995775 edges, 4470 markings/sec, 120 secs 1040832 edges, 4453 markings/sec, 125 secs 1078883 edges, 4455 markings/sec, 130 secs 1117077 edges, 4493 markings/sec, 135 secs 1156520 edges, 4489 markings/sec, 140 secs 1196288 edges, 4487 markings/sec, 145 secs 1236954 edges, 4479 markings/sec, 150 secs 1278150 edges, 4476 markings/sec, 155 secs 1320116 edges, 4472 markings/sec, 160 secs 1359854 edges, 4485 markings/sec, 165 secs 1400960 edges, 4479 markings/sec, 170 secs 1444158 edges, 4466 markings/sec, 175 secs 1485314 edges, 4470 markings/sec, 180 secs 1528450 edges, 4454 markings/sec, 185 secs 1572919 edges, 4453 markings/sec, 190 secs 1614177 edges, 4474 markings/sec, 195 secs 1655275 edges, 4474 markings/sec, 200 secs 1696210 edges, 4477 markings/sec, 205 secs 1738692 edges, 4468 markings/sec, 210 secs 1781102 edges, 4485 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) 73101 edges, 4185 markings/sec, 0 secs 163109 edges, 4259 markings/sec, 5 secs 259548 edges, 4228 markings/sec, 10 secs 353343 edges, 4245 markings/sec, 15 secs 451766 edges, 4219 markings/sec, 20 secs 556616 edges, 4198 markings/sec, 25 secs 653935 edges, 4227 markings/sec, 30 secs 752596 edges, 4217 markings/sec, 35 secs 855414 edges, 4179 markings/sec, 40 secs 959362 edges, 4181 markings/sec, 45 secs 1068402 edges, 4169 markings/sec, 50 secs 1178209 edges, 4171 markings/sec, 55 secs 1284501 edges, 4189 markings/sec, 60 secs 1382149 edges, 4223 markings/sec, 65 secs 1483187 edges, 4206 markings/sec, 70 secs 1588590 edges, 4180 markings/sec, 75 secs 1693808 edges, 4185 markings/sec, 80 secs 1804719 edges, 4155 markings/sec, 85 secs 1918238 edges, 4139 markings/sec, 90 secs 2022128 edges, 4199 markings/sec, 95 secs 2131611 edges, 4170 markings/sec, 100 secs 2249528 edges, 4128 markings/sec, 105 secs 2359905 edges, 4174 markings/sec, 110 secs 2478268 edges, 4119 markings/sec, 115 secs 2603086 edges, 4088 markings/sec, 120 secs 2699611 edges, 4198 markings/sec, 125 secs 2797432 edges, 4166 markings/sec, 130 secs 2900675 edges, 4130 markings/sec, 135 secs 3002289 edges, 4106 markings/sec, 140 secs 3108364 edges, 4080 markings/sec, 145 secs 3217353 edges, 4072 markings/sec, 150 secs 3324448 edges, 4079 markings/sec, 155 secs 3429595 edges, 4089 markings/sec, 160 secs 3538512 edges, 4106 markings/sec, 165 secs 3651953 edges, 4088 markings/sec, 170 secs 3764525 edges, 4096 markings/sec, 175 secs 3882022 edges, 4059 markings/sec, 180 secs 4004456 edges, 3994 markings/sec, 185 secs 4104298 edges, 4149 markings/sec, 190 secs 4212222 edges, 4110 markings/sec, 195 secs 4326253 edges, 4059 markings/sec, 200 secs 4435726 edges, 4065 markings/sec, 205 secs 4550213 edges, 4030 markings/sec, 210 secs 4670101 edges, 4014 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) 266065 edges, 9735 markings/sec, 0 secs 560935 edges, 9508 markings/sec, 5 secs 866684 edges, 9337 markings/sec, 10 secs 1171424 edges, 9281 markings/sec, 15 secs 1490513 edges, 9147 markings/sec, 20 secs 1807883 edges, 9085 markings/sec, 25 secs 2113842 edges, 9080 markings/sec, 30 secs 2428002 edges, 9053 markings/sec, 35 secs 2753070 edges, 8964 markings/sec, 40 secs 3089309 edges, 8885 markings/sec, 45 secs 3430687 edges, 8842 markings/sec, 50 secs 3751154 edges, 8958 markings/sec, 55 secs 4057039 edges, 9036 markings/sec, 60 secs 4376137 edges, 8954 markings/sec, 65 secs 4697006 edges, 8931 markings/sec, 70 secs 5028486 edges, 8823 markings/sec, 75 secs 5373488 edges, 8726 markings/sec, 80 secs 5703753 edges, 8867 markings/sec, 85 secs 6037483 edges, 8872 markings/sec, 90 secs 6382158 edges, 8707 markings/sec, 95 secs 6727789 edges, 8694 markings/sec, 100 secs 7081881 edges, 8564 markings/sec, 105 secs 7447973 edges, 8445 markings/sec, 110 secs 7768177 edges, 8839 markings/sec, 115 secs 8071317 edges, 8951 markings/sec, 120 secs 8388394 edges, 8857 markings/sec, 125 secs 8705751 edges, 8811 markings/sec, 130 secs 9035888 edges, 8778 markings/sec, 135 secs 9379075 edges, 8669 markings/sec, 140 secs 9704457 edges, 8748 markings/sec, 145 secs 10033523 edges, 8743 markings/sec, 150 secs 10374727 edges, 8626 markings/sec, 155 secs 10715831 edges, 8585 markings/sec, 160 secs 11067831 edges, 8516 markings/sec, 165 secs 11428240 edges, 8378 markings/sec, 170 secs 11765306 edges, 8596 markings/sec, 175 secs 12095754 edges, 8767 markings/sec, 180 secs 12435324 edges, 8719 markings/sec, 185 secs 12780099 edges, 8632 markings/sec, 190 secs 13134027 edges, 8516 markings/sec, 195 secs 13491092 edges, 8458 markings/sec, 200 secs 13846139 edges, 8451 markings/sec, 205 secs 14199476 edges, 8550 markings/sec, 210 secs 14557242 edges, 8487 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) 34176 edges, 4581 markings/sec, 0 secs 70640 edges, 4537 markings/sec, 5 secs 108483 edges, 4529 markings/sec, 10 secs 146009 edges, 4534 markings/sec, 15 secs 184699 edges, 4526 markings/sec, 20 secs 224137 edges, 4517 markings/sec, 25 secs 262916 edges, 4495 markings/sec, 30 secs 300945 edges, 4499 markings/sec, 35 secs 340257 edges, 4510 markings/sec, 40 secs 380668 edges, 4509 markings/sec, 45 secs 420455 edges, 4514 markings/sec, 50 secs 461633 edges, 4499 markings/sec, 55 secs 504681 edges, 4459 markings/sec, 60 secs 541650 edges, 4492 markings/sec, 65 secs 580018 edges, 4487 markings/sec, 70 secs 619741 edges, 4480 markings/sec, 75 secs 659354 edges, 4482 markings/sec, 80 secs 700718 edges, 4507 markings/sec, 85 secs 741955 edges, 4503 markings/sec, 90 secs 783823 edges, 4505 markings/sec, 95 secs 824042 edges, 4515 markings/sec, 100 secs 865634 edges, 4505 markings/sec, 105 secs 908879 edges, 4495 markings/sec, 110 secs 950589 edges, 4507 markings/sec, 115 secs 994338 edges, 4499 markings/sec, 120 secs 1039362 edges, 4458 markings/sec, 125 secs 1077939 edges, 4496 markings/sec, 130 secs 1116138 edges, 4486 markings/sec, 135 secs 1155419 edges, 4481 markings/sec, 140 secs 1195219 edges, 4476 markings/sec, 145 secs 1235570 edges, 4475 markings/sec, 150 secs 1277297 edges, 4505 markings/sec, 155 secs 1319517 edges, 4501 markings/sec, 160 secs 1359542 edges, 4519 markings/sec, 165 secs 1400911 edges, 4513 markings/sec, 170 secs 1444455 edges, 4500 markings/sec, 175 secs 1485940 edges, 4510 markings/sec, 180 secs 1529539 edges, 4497 markings/sec, 185 secs 1574218 edges, 4468 markings/sec, 190 secs 1615283 edges, 4476 markings/sec, 195 secs 1656264 edges, 4472 markings/sec, 200 secs 1697326 edges, 4461 markings/sec, 205 secs 1739586 edges, 4455 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) 72996 edges, 4180 markings/sec, 0 secs 161836 edges, 4208 markings/sec, 5 secs 256784 edges, 4182 markings/sec, 10 secs 350502 edges, 4189 markings/sec, 15 secs 447558 edges, 4189 markings/sec, 20 secs 550817 edges, 4164 markings/sec, 25 secs 647507 edges, 4179 markings/sec, 30 secs 745619 edges, 4165 markings/sec, 35 secs 846040 edges, 4154 markings/sec, 40 secs 949642 edges, 4140 markings/sec, 45 secs 1056093 edges, 4131 markings/sec, 50 secs 1164802 edges, 4106 markings/sec, 55 secs 1272454 edges, 4117 markings/sec, 60 secs 1367382 edges, 4201 markings/sec, 65 secs 1468466 edges, 4181 markings/sec, 70 secs 1574367 edges, 4171 markings/sec, 75 secs 1677865 edges, 4181 markings/sec, 80 secs 1786473 edges, 4139 markings/sec, 85 secs 1903547 edges, 4083 markings/sec, 90 secs 2002026 edges, 4138 markings/sec, 95 secs 2110028 edges, 4115 markings/sec, 100 secs 2224812 edges, 4117 markings/sec, 105 secs 2336870 edges, 4140 markings/sec, 110 secs 2453659 edges, 4118 markings/sec, 115 secs 2575465 edges, 4079 markings/sec, 120 secs 2678638 edges, 4144 markings/sec, 125 secs 2775912 edges, 4124 markings/sec, 130 secs 2874868 edges, 4112 markings/sec, 135 secs 2977613 edges, 4096 markings/sec, 140 secs 3082432 edges, 4097 markings/sec, 145 secs 3190605 edges, 4068 markings/sec, 150 secs 3300929 edges, 4063 markings/sec, 155 secs 3402615 edges, 4088 markings/sec, 160 secs 3509361 edges, 4051 markings/sec, 165 secs 3624413 edges, 4007 markings/sec, 170 secs 3731569 edges, 4068 markings/sec, 175 secs 3847324 edges, 4025 markings/sec, 180 secs 3967919 edges, 4001 markings/sec, 185 secs 4073581 edges, 4081 markings/sec, 190 secs 4179042 edges, 4081 markings/sec, 195 secs 4288661 edges, 4053 markings/sec, 200 secs 4399649 edges, 4057 markings/sec, 205 secs 4514320 edges, 4036 markings/sec, 210 secs 4630792 edges, 4024 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) 267160 edges, 9765 markings/sec, 0 secs 560428 edges, 9466 markings/sec, 5 secs 867127 edges, 9363 markings/sec, 10 secs 1171526 edges, 9270 markings/sec, 15 secs 1492672 edges, 9203 markings/sec, 20 secs 1810924 edges, 9134 markings/sec, 25 secs 2122874 edges, 9195 markings/sec, 30 secs 2436863 edges, 9064 markings/sec, 35 secs 2764020 edges, 9025 markings/sec, 40 secs 3100912 edges, 8944 markings/sec, 45 secs 3444208 edges, 8804 markings/sec, 50 secs 3762442 edges, 9003 markings/sec, 55 secs 4070565 edges, 9104 markings/sec, 60 secs 4391926 edges, 8979 markings/sec, 65 secs 4715498 edges, 8963 markings/sec, 70 secs 5047748 edges, 8875 markings/sec, 75 secs 5395501 edges, 8719 markings/sec, 80 secs 5723637 edges, 8833 markings/sec, 85 secs 6054588 edges, 8867 markings/sec, 90 secs 6402297 edges, 8696 markings/sec, 95 secs 6747621 edges, 8664 markings/sec, 100 secs 7101020 edges, 8598 markings/sec, 105 secs 7467932 edges, 8433 markings/sec, 110 secs 7786833 edges, 8900 markings/sec, 115 secs 8091120 edges, 9030 markings/sec, 120 secs 8412069 edges, 8872 markings/sec, 125 secs 8732202 edges, 8867 markings/sec, 130 secs 9060291 edges, 8778 markings/sec, 135 secs 9404687 edges, 8599 markings/sec, 140 secs 9730603 edges, 8801 markings/sec, 145 secs 10058602 edges, 8787 markings/sec, 150 secs 10403775 edges, 8620 markings/sec, 155 secs 10749908 edges, 8670 markings/sec, 160 secs 11100684 edges, 8552 markings/sec, 165 secs 11466047 edges, 8394 markings/sec, 170 secs 11800157 edges, 8705 markings/sec, 175 secs 12130518 edges, 8779 markings/sec, 180 secs 12473138 edges, 8663 markings/sec, 185 secs 12817099 edges, 8657 markings/sec, 190 secs 13170141 edges, 8538 markings/sec, 195 secs 13532974 edges, 8406 markings/sec, 200 secs 13884951 edges, 8539 markings/sec, 205 secs 14238491 edges, 8506 markings/sec, 210 secs 14597657 edges, 8460 markings/sec, 215 secs reached - aborting unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 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="S_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/S_CSRepetitions-PT-10.tgz
mv S_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 S_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 r098-ebro-149488455500137"
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 ;