MCC'2017 - Execution of r098-ebro-149488455500128

About the Execution of LoLA for S_CSRepetitions-PT-07

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
8224.240	3540381.00	3556560.00	792.60	? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?	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-07,
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 1496445469243

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

checking for too many tokens
============================
S_CSRepetitions-PT-07:
============================
translating formula complete
touch formulae;
----- Start make result
UpperBounds @ S_CSRepetitions-PT-07
----- Start make result
lola: LoLA will run
lola: NET
lola: reading net
lola: finished parsing
lola: closed net
lola: 1331/65536
lola: preprocessing...
lola: finding significant
lola: 498 places,
lola: computing forward-conflicting
lola: computing back-conflicting
lola: 1275 transition
lola: TASK
lola: reading formula
lola: MAX(Server_Waiting_7
lola: computing a
lola: RUNNING
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 1768
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 174735 markings,
lola: 341708 markings,
lola: 503864 markings,
lola: 662558 markings,
lola: 825144 markings,
lola: 989711 markings,
lola: 1152534 markings,
lola: 1313252 markings,
lola: 1473794 markings,
lola: 1634271 markings,
lola: 1795551 markings,
lola: 1956369 markings,
lola: 2116383 markings,
lola: 2276162 markings,
lola: 2434425 markings,
lola: 2594909 markings,
lola: 2754127 markings,
lola: 2909949 markings,
lola: 3065603 markings,
lola: 3220057 markings,
lola: 3375411 markings,
lola: 3529466 markings,
lola: 3682830 markings,
lola: 3839947 markings,
lola: 3995455 markings,
lola: 4118775 markings,
lola: 4239031 markings,
lola: 4348840 markings,
lola: 4454350 markings,
lola: 4559664 markings,
lola: 4664510 markings,
lola: 4769054 markings,
lola: 4879741 markings,
lola: 4992610 markings,
lola: 5104603 markings,
lola: 5215294 markings,
lola: 5322702 markings,
lola: 5444168 markings,
lola: 5566539 markings,
lola: 5688355 markings,
lola: 5809975 markings,
lola: 5932232 markings,
lola: 6050952 markings,
lola: 6173548 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 1768
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 121887 markings,
lola: 236736 markings,
lola: 350028 markings,
lola: 458782 markings,
lola: 568301 markings,
lola: 677599 markings,
lola: 782520 markings,
lola: 888634 markings,
lola: 991806 markings,
lola: 1097177 markings,
lola: 1205869 markings,
lola: 1308880 markings,
lola: 1414986 markings,
lola: 1517123 markings,
lola: 1620597 markings,
lola: 1724295 markings,
lola: 1823266 markings,
lola: 1925105 markings,
lola: 2022285 markings,
lola: 2119800 markings,
lola: 2226046 markings,
lola: 2330380 markings,
lola: 2433524 markings,
lola: 2534202 markings,
lola: 2631466 markings,
lola: 2734575 markings,
lola: 2834018 markings,
lola: 2931856 markings,
lola: 3028126 markings,
lola: 3122069 markings,
lola: 3222644 markings,
lola: 3322687 markings,
lola: 3419056 markings,
lola: 3517166 markings,
lola: 3611606 markings,
lola: 3707565 markings,
lola: 3803929 markings,
lola: 3898643 markings,
lola: 3992278 markings,
lola: 4084473 markings,
lola: 4174707 markings,
lola: 4277730 markings,
lola: 4380338 markings,
lola: 4479905 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 1768
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 115604 markings,
lola: 231037 markings,
lola: 345834 markings,
lola: 460572 markings,
lola: 575591 markings,
lola: 690932 markings,
lola: 806092 markings,
lola: 920596 markings,
lola: 1035023 markings,
lola: 1150185 markings,
lola: 1265574 markings,
lola: 1380472 markings,
lola: 1495020 markings,
lola: 1609689 markings,
lola: 1724783 markings,
lola: 1839749 markings,
lola: 1954165 markings,
lola: 2068440 markings,
lola: 2183566 markings,
lola: 2298770 markings,
lola: 2413343 markings,
lola: 2527225 markings,
lola: 2640160 markings,
lola: 2753335 markings,
lola: 2866397 markings,
lola: 2979163 markings,
lola: 3091534 markings,
lola: 3204619 markings,
lola: 3318057 markings,
lola: 3431377 markings,
lola: 3544093 markings,
lola: 3656626 markings,
lola: 3769688 markings,
lola: 3882568 markings,
lola: 3995210 markings,
lola: 4107477 markings,
lola: 4219734 markings,
lola: 4332288 markings,
lola: 4444849 markings,
lola: 4557337 markings,
lola: 4669720 markings,
lola: 4783146 markings,
lola: 4896404 markings,
lola: 5009869 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 1768
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 115559 markings,
lola: 230923 markings,
lola: 345750 markings,
lola: 460325 markings,
lola: 575052 markings,
lola: 690137 markings,
lola: 805046 markings,
lola: 918207 markings,
lola: 1032418 markings,
lola: 1147514 markings,
lola: 1262300 markings,
lola: 1376796 markings,
lola: 1491052 markings,
lola: 1605645 markings,
lola: 1720770 markings,
lola: 1835536 markings,
lola: 1949608 markings,
lola: 2063555 markings,
lola: 2178484 markings,
lola: 2293641 markings,
lola: 2408119 markings,
lola: 2522183 markings,
lola: 2636359 markings,
lola: 2751072 markings,
lola: 2865720 markings,
lola: 2979518 markings,
lola: 3093306 markings,
lola: 3207563 markings,
lola: 3322224 markings,
lola: 3436685 markings,
lola: 3550571 markings,
lola: 3664383 markings,
lola: 3778760 markings,
lola: 3890137 markings,
lola: 4004083 markings,
lola: 4117794 markings,
lola: 4231456 markings,
lola: 4345141 markings,
lola: 4457908 markings,
lola: 4570733 markings,
lola: 4683455 markings,
lola: 4796120 markings,
lola: 4908414 markings,
lola: 5020691 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 1768
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 121489 markings,
lola: 235589 markings,
lola: 347673 markings,
lola: 455708 markings,
lola: 564973 markings,
lola: 673598 markings,
lola: 777870 markings,
lola: 883580 markings,
lola: 985645 markings,
lola: 1089755 markings,
lola: 1196985 markings,
lola: 1300218 markings,
lola: 1404740 markings,
lola: 1505147 markings,
lola: 1605263 markings,
lola: 1707528 markings,
lola: 1807433 markings,
lola: 1907446 markings,
lola: 2004683 markings,
lola: 2097584 markings,
lola: 2206611 markings,
lola: 2310245 markings,
lola: 2412506 markings,
lola: 2513623 markings,
lola: 2610214 markings,
lola: 2712637 markings,
lola: 2811936 markings,
lola: 2908915 markings,
lola: 3006095 markings,
lola: 3101272 markings,
lola: 3199699 markings,
lola: 3301195 markings,
lola: 3398486 markings,
lola: 3497770 markings,
lola: 3593309 markings,
lola: 3686981 markings,
lola: 3785409 markings,
lola: 3880783 markings,
lola: 3974691 markings,
lola: 4067031 markings,
lola: 4158475 markings,
lola: 4257758 markings,
lola: 4361715 markings,
lola: 4461500 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 1768
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 115071 markings,
lola: 230259 markings,
lola: 345075 markings,
lola: 459626 markings,
lola: 573918 markings,
lola: 688073 markings,
lola: 802060 markings,
lola: 916049 markings,
lola: 1029819 markings,
lola: 1143802 markings,
lola: 1257613 markings,
lola: 1371400 markings,
lola: 1483447 markings,
lola: 1594142 markings,
lola: 1706330 markings,
lola: 1818877 markings,
lola: 1932151 markings,
lola: 2045290 markings,
lola: 2158495 markings,
lola: 2271536 markings,
lola: 2384520 markings,
lola: 2497468 markings,
lola: 2610503 markings,
lola: 2723541 markings,
lola: 2836377 markings,
lola: 2949133 markings,
lola: 3061585 markings,
lola: 3173341 markings,
lola: 3285202 markings,
lola: 3396908 markings,
lola: 3508608 markings,
lola: 3620312 markings,
lola: 3732676 markings,
lola: 3845481 markings,
lola: 3958132 markings,
lola: 4070892 markings,
lola: 4183473 markings,
lola: 4296372 markings,
lola: 4409464 markings,
lola: 4522668 markings,
lola: 4635163 markings,
lola: 4747357 markings,
lola: 4859458 markings,
lola: 4971679 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 1768
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 113330 markings,
lola: 228641 markings,
lola: 343206 markings,
lola: 457518 markings,
lola: 572079 markings,
lola: 687082 markings,
lola: 801906 markings,
lola: 915948 markings,
lola: 1029976 markings,
lola: 1144695 markings,
lola: 1259789 markings,
lola: 1374241 markings,
lola: 1488305 markings,
lola: 1602432 markings,
lola: 1717158 markings,
lola: 1831739 markings,
lola: 1945583 markings,
lola: 2059353 markings,
lola: 2174085 markings,
lola: 2288918 markings,
lola: 2403434 markings,
lola: 2517490 markings,
lola: 2631572 markings,
lola: 2746203 markings,
lola: 2860695 markings,
lola: 2974691 markings,
lola: 3088377 markings,
lola: 3202471 markings,
lola: 3316083 markings,
lola: 3429505 markings,
lola: 3542408 markings,
lola: 3655278 markings,
lola: 3768781 markings,
lola: 3882099 markings,
lola: 3994909 markings,
lola: 4107377 markings,
lola: 4219887 markings,
lola: 4332762 markings,
lola: 4445558 markings,
lola: 4558092 markings,
lola: 4670453 markings,
lola: 4782781 markings,
lola: 4894893 markings,
lola: 5006943 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 1768
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 178776 markings,
lola: 346922 markings,
lola: 512774 markings,
lola: 674839 markings,
lola: 841474 markings,
lola: 1007957 markings,
lola: 1172000 markings,
lola: 1334749 markings,
lola: 1498599 markings,
lola: 1662379 markings,
lola: 1826079 markings,
lola: 1988930 markings,
lola: 2151925 markings,
lola: 2312699 markings,
lola: 2470920 markings,
lola: 2634987 markings,
lola: 2794496 markings,
lola: 2952594 markings,
lola: 3109805 markings,
lola: 3265910 markings,
lola: 3422308 markings,
lola: 3578314 markings,
lola: 3733737 markings,
lola: 3895255 markings,
lola: 4042158 markings,
lola: 4164324 markings,
lola: 4283464 markings,
lola: 4389807 markings,
lola: 4496151 markings,
lola: 4602252 markings,
lola: 4708254 markings,
lola: 4814947 markings,
lola: 4929812 markings,
lola: 5044204 markings,
lola: 5158366 markings,
lola: 5272366 markings,
lola: 5390262 markings,
lola: 5514183 markings,
lola: 5637950 markings,
lola: 5761348 markings,
lola: 5884841 markings,
lola: 6008804 markings,
lola: 6131544 markings,
lola: 6253686 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 1768
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 176468 markings,
lola: 346403 markings,
lola: 513484 markings,
lola: 676864 markings,
lola: 844189 markings,
lola: 1008583 markings,
lola: 1171940 markings,
lola: 1334820 markings,
lola: 1497642 markings,
lola: 1660855 markings,
lola: 1823641 markings,
lola: 1986309 markings,
lola: 2148976 markings,
lola: 2309082 markings,
lola: 2466453 markings,
lola: 2630038 markings,
lola: 2789239 markings,
lola: 2946617 markings,
lola: 3103302 markings,
lola: 3259661 markings,
lola: 3415744 markings,
lola: 3571337 markings,
lola: 3726599 markings,
lola: 3887126 markings,
lola: 4035300 markings,
lola: 4157379 markings,
lola: 4277513 markings,
lola: 4383902 markings,
lola: 4489871 markings,
lola: 4595615 markings,
lola: 4700883 markings,
lola: 4806278 markings,
lola: 4921006 markings,
lola: 5035005 markings,
lola: 5148875 markings,
lola: 5261975 markings,
lola: 5377624 markings,
lola: 5500235 markings,
lola: 5623917 markings,
lola: 5747469 markings,
lola: 5870916 markings,
lola: 5995388 markings,
lola: 6119274 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 1768
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 180967 markings,
lola: 351830 markings,
lola: 520131 markings,
lola: 684921 markings,
lola: 854624 markings,
lola: 1021834 markings,
lola: 1185214 markings,
lola: 1348090 markings,
lola: 1511403 markings,
lola: 1674946 markings,
lola: 1839504 markings,
lola: 2003487 markings,
lola: 2167180 markings,
lola: 2328524 markings,
lola: 2487991 markings,
lola: 2653129 markings,
lola: 2812533 markings,
lola: 2970483 markings,
lola: 3127941 markings,
lola: 3284992 markings,
lola: 3441841 markings,
lola: 3597690 markings,
lola: 3754190 markings,
lola: 3915493 markings,
lola: 4057736 markings,
lola: 4179428 markings,
lola: 4296428 markings,
lola: 4402022 markings,
lola: 4507536 markings,
lola: 4612854 markings,
lola: 4717662 markings,
lola: 4824148 markings,
lola: 4938452 markings,
lola: 5052161 markings,
lola: 5165836 markings,
lola: 5278807 markings,
lola: 5397035 markings,
lola: 5521262 markings,
lola: 5645760 markings,
lola: 5769644 markings,
lola: 5893822 markings,
lola: 6017045 markings,
lola: 6141444 markings,
lola: 6266214 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 1768
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 113322 markings,
lola: 227799 markings,
lola: 341986 markings,
lola: 455908 markings,
lola: 569604 markings,
lola: 683130 markings,
lola: 796660 markings,
lola: 910064 markings,
lola: 1023481 markings,
lola: 1135464 markings,
lola: 1247534 markings,
lola: 1359303 markings,
lola: 1471205 markings,
lola: 1583169 markings,
lola: 1695442 markings,
lola: 1807766 markings,
lola: 1920081 markings,
lola: 2032979 markings,
lola: 2145447 markings,
lola: 2257342 markings,
lola: 2369220 markings,
lola: 2481028 markings,
lola: 2593817 markings,
lola: 2706763 markings,
lola: 2819772 markings,
lola: 2932688 markings,
lola: 3045435 markings,
lola: 3158098 markings,
lola: 3271088 markings,
lola: 3383926 markings,
lola: 3496837 markings,
lola: 3609727 markings,
lola: 3722305 markings,
lola: 3834939 markings,
lola: 3947580 markings,
lola: 4060075 markings,
lola: 4172669 markings,
lola: 4285077 markings,
lola: 4397168 markings,
lola: 4509200 markings,
lola: 4621451 markings,
lola: 4733383 markings,
lola: 4845436 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 1768
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 115165 markings,
lola: 230169 markings,
lola: 344550 markings,
lola: 458471 markings,
lola: 572766 markings,
lola: 687253 markings,
lola: 801634 markings,
lola: 915360 markings,
lola: 1029104 markings,
lola: 1143771 markings,
lola: 1258687 markings,
lola: 1373022 markings,
lola: 1486995 markings,
lola: 1600831 markings,
lola: 1714378 markings,
lola: 1827854 markings,
lola: 1940832 markings,
lola: 2053904 markings,
lola: 2168466 markings,
lola: 2283450 markings,
lola: 2398081 markings,
lola: 2512198 markings,
lola: 2626185 markings,
lola: 2740892 markings,
lola: 2854902 markings,
lola: 2968410 markings,
lola: 3081629 markings,
lola: 3195326 markings,
lola: 3309730 markings,
lola: 3424163 markings,
lola: 3538026 markings,
lola: 3651725 markings,
lola: 3765970 markings,
lola: 3880160 markings,
lola: 3993904 markings,
lola: 4107519 markings,
lola: 4221047 markings,
lola: 4334731 markings,
lola: 4448335 markings,
lola: 4561548 markings,
lola: 4674386 markings,
lola: 4787101 markings,
lola: 4899855 markings,
lola: 5012866 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 1768
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 177365 markings,
lola: 346336 markings,
lola: 512733 markings,
lola: 675391 markings,
lola: 842219 markings,
lola: 1008304 markings,
lola: 1172278 markings,
lola: 1335309 markings,
lola: 1498756 markings,
lola: 1662101 markings,
lola: 1825182 markings,
lola: 1987267 markings,
lola: 2148778 markings,
lola: 2308392 markings,
lola: 2465600 markings,
lola: 2628593 markings,
lola: 2787360 markings,
lola: 2943943 markings,
lola: 3099908 markings,
lola: 3255808 markings,
lola: 3412159 markings,
lola: 3568048 markings,
lola: 3723165 markings,
lola: 3883484 markings,
lola: 4032961 markings,
lola: 4155277 markings,
lola: 4274380 markings,
lola: 4380940 markings,
lola: 4486762 markings,
lola: 4592314 markings,
lola: 4697853 markings,
lola: 4802855 markings,
lola: 4917801 markings,
lola: 5031881 markings,
lola: 5145939 markings,
lola: 5259727 markings,
lola: 5376535 markings,
lola: 5500191 markings,
lola: 5623930 markings,
lola: 5747355 markings,
lola: 5870793 markings,
lola: 5995368 markings,
lola: 6119623 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 1768
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 181653 markings,
lola: 351379 markings,
lola: 518499 markings,
lola: 682159 markings,
lola: 849039 markings,
lola: 1014827 markings,
lola: 1178468 markings,
lola: 1341207 markings,
lola: 1504418 markings,
lola: 1667987 markings,
lola: 1831227 markings,
lola: 1994259 markings,
lola: 2156742 markings,
lola: 2314889 markings,
lola: 2472668 markings,
lola: 2636887 markings,
lola: 2795385 markings,
lola: 2951898 markings,
lola: 3107400 markings,
lola: 3263239 markings,
lola: 3419284 markings,
lola: 3574664 markings,
lola: 3729462 markings,
lola: 3889300 markings,
lola: 4037106 markings,
lola: 4158867 markings,
lola: 4278549 markings,
lola: 4384462 markings,
lola: 4489979 markings,
lola: 4595495 markings,
lola: 4700700 markings,
lola: 4806022 markings,
lola: 4920474 markings,
lola: 5034306 markings,
lola: 5147944 markings,
lola: 5261221 markings,
lola: 5377707 markings,
lola: 5500938 markings,
lola: 5624148 markings,
lola: 5747036 markings,
lola: 5869786 markings,
lola: 5993831 markings,
lola: 6117759 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 1768
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 113729 markings,
lola: 228174 markings,
lola: 341964 markings,
lola: 455659 markings,
lola: 569929 markings,
lola: 684830 markings,
lola: 799380 markings,
lola: 913275 markings,
lola: 1027234 markings,
lola: 1141778 markings,
lola: 1256175 markings,
lola: 1369862 markings,
lola: 1482769 markings,
lola: 1596745 markings,
lola: 1710988 markings,
lola: 1825354 markings,
lola: 1938900 markings,
lola: 2052245 markings,
lola: 2166772 markings,
lola: 2279842 markings,
lola: 2394147 markings,
lola: 2507843 markings,
lola: 2621614 markings,
lola: 2736216 markings,
lola: 2850488 markings,
lola: 2964449 markings,
lola: 3077326 markings,
lola: 3190579 markings,
lola: 3304396 markings,
lola: 3418548 markings,
lola: 3532072 markings,
lola: 3645504 markings,
lola: 3758929 markings,
lola: 3872049 markings,
lola: 3984998 markings,
lola: 4097641 markings,
lola: 4210071 markings,
lola: 4323161 markings,
lola: 4436469 markings,
lola: 4549861 markings,
lola: 4663274 markings,
lola: 4776574 markings,
lola: 4889833 markings,
lola: 5002985 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 1768
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 115270 markings,
lola: 229589 markings,
lola: 343309 markings,
lola: 456698 markings,
lola: 570356 markings,
lola: 684104 markings,
lola: 797659 markings,
lola: 911322 markings,
lola: 1025127 markings,
lola: 1139702 markings,
lola: 1254502 markings,
lola: 1368855 markings,
lola: 1482992 markings,
lola: 1597166 markings,
lola: 1711499 markings,
lola: 1825380 markings,
lola: 1938647 markings,
lola: 2051388 markings,
lola: 2165026 markings,
lola: 2279004 markings,
lola: 2392523 markings,
lola: 2505602 markings,
lola: 2618546 markings,
lola: 2732322 markings,
lola: 2845921 markings,
lola: 2959328 markings,
lola: 3072453 markings,
lola: 3185770 markings,
lola: 3299471 markings,
lola: 3412972 markings,
lola: 3525948 markings,
lola: 3638628 markings,
lola: 3751948 markings,
lola: 3865749 markings,
lola: 3979492 markings,
lola: 4092811 markings,
lola: 4206133 markings,
lola: 4319062 markings,
lola: 4431870 markings,
lola: 4544456 markings,
lola: 4657532 markings,
lola: 4770766 markings,
lola: 4884063 markings,
lola: local time
lola: time limit
lola:
preliminary result:
FORMULA CSRepetitions-COL
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
----- Kill lola
----- Finished stdout -----

BK_STOP 1496449009624

--------------------
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-149488455500128 ========================================= generated by BenchKit (invocation template) is a vector of positive values to build the result vector(from text file) OL-07-UpperBounds-0 OL-07-UpperBounds-1 OL-07-UpperBounds-10 OL-07-UpperBounds-11 OL-07-UpperBounds-12 OL-07-UpperBounds-13 OL-07-UpperBounds-14 OL-07-UpperBounds-15 OL-07-UpperBounds-2 OL-07-UpperBounds-3 OL-07-UpperBounds-4 OL-07-UpperBounds-5 OL-07-UpperBounds-6 OL-07-UpperBounds-7 OL-07-UpperBounds-8 OL-07-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, 4 collisions places 833 transitions, 442 significant places sets sets conflict sets from CSRepetitions-COL-07-UpperBounds.task + Server_Waiting_6 + Server_Waiting_5 + Server_Waiting_4 + Server_Waiting_3 + Server_Waiting_2 + Server_Waiting_1) : 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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_7 + Server_Anwering_48_6 + 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_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_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_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_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_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_48_5 + Server_Anwering_48_4 + Server_Anwering_48_3 + Server_Anwering_48_2 + Server_Anwering_48_1 + 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_21_7 + Server_Anwering_21_6 + Server_Anwering_21_5 + Server_Anwering_21_4 + Server_Anwering_21_3 + Server_Anwering_21_2 + Server_Anwering_21_1 + Server_Anwering_34_7 + Server_Anwering_34_6 + Server_Anwering_34_5 + Server_Anwering_34_4 + Server_Anwering_34_3 + Server_Anwering_34_2 + Server_Anwering_34_1 + Server_Anwering_47_7 + Server_Anwering_47_6 + Server_Anwering_47_5 + Server_Anwering_47_4 + Server_Anwering_47_3 + Server_Anwering_47_2 + Server_Anwering_47_1 + 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_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_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_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_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_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_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_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_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_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_2_1 + Server_Anwering_2_2 + Server_Anwering_2_3 + Server_Anwering_2_4 + Server_Anwering_2_5 + Server_Anwering_2_6 + Server_Anwering_2_7 + Server_Anwering_22_1 + Server_Anwering_22_2 + Server_Anwering_22_3 + Server_Anwering_22_4 + Server_Anwering_22_5 + Server_Anwering_22_6 + Server_Anwering_22_7) : 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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_7 + Server_Anwering_48_6 + 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_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_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_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_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_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_48_5 + Server_Anwering_48_4 + Server_Anwering_48_3 + Server_Anwering_48_2 + Server_Anwering_48_1 + 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_21_7 + Server_Anwering_21_6 + Server_Anwering_21_5 + Server_Anwering_21_4 + Server_Anwering_21_3 + Server_Anwering_21_2 + Server_Anwering_21_1 + Server_Anwering_34_7 + Server_Anwering_34_6 + Server_Anwering_34_5 + Server_Anwering_34_4 + Server_Anwering_34_3 + Server_Anwering_34_2 + Server_Anwering_34_1 + Server_Anwering_47_7 + Server_Anwering_47_6 + Server_Anwering_47_5 + Server_Anwering_47_4 + Server_Anwering_47_3 + Server_Anwering_47_2 + Server_Anwering_47_1 + 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_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_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_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_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_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_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_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_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_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_2_1 + Server_Anwering_2_2 + Server_Anwering_2_3 + Server_Anwering_2_4 + Server_Anwering_2_5 + Server_Anwering_2_6 + Server_Anwering_2_7 + Server_Anwering_22_1 + Server_Anwering_22_2 + Server_Anwering_22_3 + Server_Anwering_22_4 + Server_Anwering_22_5 + Server_Anwering_22_6 + Server_Anwering_22_7) : 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_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(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) : 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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_7 + Server_Anwering_48_6 + 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_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_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_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_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_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_48_5 + Server_Anwering_48_4 + Server_Anwering_48_3 + Server_Anwering_48_2 + Server_Anwering_48_1 + 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_21_7 + Server_Anwering_21_6 + Server_Anwering_21_5 + Server_Anwering_21_4 + Server_Anwering_21_3 + Server_Anwering_21_2 + Server_Anwering_21_1 + Server_Anwering_34_7 + Server_Anwering_34_6 + Server_Anwering_34_5 + Server_Anwering_34_4 + Server_Anwering_34_3 + Server_Anwering_34_2 + Server_Anwering_34_1 + Server_Anwering_47_7 + Server_Anwering_47_6 + Server_Anwering_47_5 + Server_Anwering_47_4 + Server_Anwering_47_3 + Server_Anwering_47_2 + Server_Anwering_47_1 + 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_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_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_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_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_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_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_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_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_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_2_1 + Server_Anwering_2_2 + Server_Anwering_2_3 + Server_Anwering_2_4 + Server_Anwering_2_5 + Server_Anwering_2_6 + Server_Anwering_2_7 + Server_Anwering_22_1 + Server_Anwering_22_2 + Server_Anwering_22_3 + Server_Anwering_22_4 + Server_Anwering_22_5 + Server_Anwering_22_6 + Server_Anwering_22_7) : MAX(Server_Waiting_7 + Server_Waiting_6 + Server_Waiting_5 + Server_Waiting_4 + Server_Waiting_3 + Server_Waiting_2 + Server_Waiting_1) : MAX(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_49 + Client_Waiting_48 + Client_Waiting_47 + Client_Waiting_46 + Client_Waiting_45 + Client_Waiting_44 + Client_Waiting_43 + Client_Waiting_42 + Client_Waiting_41 + Client_Waiting_40 + Client_Waiting_39 + Client_Waiting_38 + Client_Waiting_37 + Client_Waiting_36 + Client_Waiting_35 + Client_Waiting_34 + Client_Waiting_33 + Client_Waiting_32 + Client_Waiting_31 + Client_Waiting_30 + Client_Waiting_29 + Client_Waiting_28 + Client_Waiting_27 + Client_Waiting_26 + Client_Waiting_25 + Client_Waiting_24 + Client_Waiting_23 + Client_Waiting_22 + Client_Waiting_21 + Client_Waiting_20 + Client_Waiting_19 + Client_Waiting_18 + Client_Waiting_17 + Client_Waiting_16 + Client_Waiting_15 + Client_Waiting_14 + Client_Waiting_13 + Client_Waiting_12 + Client_Waiting_11 + Client_Waiting_10) : MAX(Server_Waiting_7 + Server_Waiting_6 + Server_Waiting_5 + Server_Waiting_4 + Server_Waiting_3 + Server_Waiting_2 + Server_Waiting_1) : MAX(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) : 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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_7 + Server_Anwering_48_6 + 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_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_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_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_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_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_48_5 + Server_Anwering_48_4 + Server_Anwering_48_3 + Server_Anwering_48_2 + Server_Anwering_48_1 + 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_21_7 + Server_Anwering_21_6 + Server_Anwering_21_5 + Server_Anwering_21_4 + Server_Anwering_21_3 + Server_Anwering_21_2 + Server_Anwering_21_1 + Server_Anwering_34_7 + Server_Anwering_34_6 + Server_Anwering_34_5 + Server_Anwering_34_4 + Server_Anwering_34_3 + Server_Anwering_34_2 + Server_Anwering_34_1 + Server_Anwering_47_7 + Server_Anwering_47_6 + Server_Anwering_47_5 + Server_Anwering_47_4 + Server_Anwering_47_3 + Server_Anwering_47_2 + Server_Anwering_47_1 + 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_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_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_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_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_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_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_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_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_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_2_1 + Server_Anwering_2_2 + Server_Anwering_2_3 + Server_Anwering_2_4 + Server_Anwering_2_5 + Server_Anwering_2_6 + Server_Anwering_2_7 + Server_Anwering_22_1 + Server_Anwering_22_2 + Server_Anwering_22_3 + Server_Anwering_22_4 + Server_Anwering_22_5 + Server_Anwering_22_6 + Server_Anwering_22_7) : MAX(Server_Waiting_7 + Server_Waiting_6 + Server_Waiting_5 + Server_Waiting_4 + Server_Waiting_3 + Server_Waiting_2 + Server_Waiting_1) : MAX(Server_Waiting_7 + Server_Waiting_6 + Server_Waiting_5 + Server_Waiting_4 + Server_Waiting_3 + Server_Waiting_2 + Server_Waiting_1) : MAX(RequestBufferSlots) : 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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_7 + Server_Anwering_48_6 + 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_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_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_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_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_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_48_5 + Server_Anwering_48_4 + Server_Anwering_48_3 + Server_Anwering_48_2 + Server_Anwering_48_1 + 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_21_7 + Server_Anwering_21_6 + Server_Anwering_21_5 + Server_Anwering_21_4 + Server_Anwering_21_3 + Server_Anwering_21_2 + Server_Anwering_21_1 + Server_Anwering_34_7 + Server_Anwering_34_6 + Server_Anwering_34_5 + Server_Anwering_34_4 + Server_Anwering_34_3 + Server_Anwering_34_2 + Server_Anwering_34_1 + Server_Anwering_47_7 + Server_Anwering_47_6 + Server_Anwering_47_5 + Server_Anwering_47_4 + Server_Anwering_47_3 + Server_Anwering_47_2 + Server_Anwering_47_1 + 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_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_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_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_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_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_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_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_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_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_2_1 + Server_Anwering_2_2 + Server_Anwering_2_3 + Server_Anwering_2_4 + Server_Anwering_2_5 + Server_Anwering_2_6 + Server_Anwering_2_7 + Server_Anwering_22_1 + Server_Anwering_22_2 + Server_Anwering_22_3 + Server_Anwering_22_4 + Server_Anwering_22_5 + Server_Anwering_22_6 + Server_Anwering_22_7) collection of formulas 0 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(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) 502344 edges, 34947 markings/sec, 0 secs 897623 edges, 33395 markings/sec, 5 secs 1269905 edges, 32431 markings/sec, 10 secs 1648042 edges, 31739 markings/sec, 15 secs 2138111 edges, 32517 markings/sec, 20 secs 2627636 edges, 32913 markings/sec, 25 secs 3113032 edges, 32565 markings/sec, 30 secs 3480522 edges, 32144 markings/sec, 35 secs 3859391 edges, 32108 markings/sec, 40 secs 4253088 edges, 32095 markings/sec, 45 secs 4637807 edges, 32256 markings/sec, 50 secs 5036551 edges, 32164 markings/sec, 55 secs 5448268 edges, 32003 markings/sec, 60 secs 5827065 edges, 31956 markings/sec, 65 secs 6303491 edges, 31653 markings/sec, 70 secs 6780058 edges, 32097 markings/sec, 75 secs 7263674 edges, 31844 markings/sec, 80 secs 7616651 edges, 31164 markings/sec, 85 secs 7983725 edges, 31131 markings/sec, 90 secs 8363583 edges, 30891 markings/sec, 95 secs 8732446 edges, 31071 markings/sec, 100 secs 9112853 edges, 30811 markings/sec, 105 secs 9502194 edges, 30673 markings/sec, 110 secs 9921243 edges, 31423 markings/sec, 115 secs 10402725 edges, 31102 markings/sec, 120 secs 10749223 edges, 24664 markings/sec, 125 secs 11117598 edges, 24051 markings/sec, 130 secs 11418453 edges, 21962 markings/sec, 135 secs 11694655 edges, 21102 markings/sec, 140 secs 11982606 edges, 21063 markings/sec, 145 secs 12272142 edges, 20969 markings/sec, 150 secs 12570454 edges, 20909 markings/sec, 155 secs 12870399 edges, 22137 markings/sec, 160 secs 13174976 edges, 22574 markings/sec, 165 secs 13476049 edges, 22399 markings/sec, 170 secs 13770463 edges, 22138 markings/sec, 175 secs 14068706 edges, 21482 markings/sec, 180 secs 14317239 edges, 24293 markings/sec, 185 secs 14572005 edges, 24474 markings/sec, 190 secs 14827067 edges, 24363 markings/sec, 195 secs 15086645 edges, 24324 markings/sec, 200 secs 15345266 edges, 24451 markings/sec, 205 secs 15598441 edges, 23744 markings/sec, 210 secs 15862503 edges, 24519 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) 732155 edges, 24377 markings/sec, 0 secs 1503305 edges, 22970 markings/sec, 5 secs 2275376 edges, 22658 markings/sec, 10 secs 3080224 edges, 21751 markings/sec, 15 secs 3874139 edges, 21904 markings/sec, 20 secs 4650224 edges, 21860 markings/sec, 25 secs 5467253 edges, 20984 markings/sec, 30 secs 6257662 edges, 21223 markings/sec, 35 secs 7094901 edges, 20634 markings/sec, 40 secs 7904458 edges, 21074 markings/sec, 45 secs 8676778 edges, 21738 markings/sec, 50 secs 9483975 edges, 20602 markings/sec, 55 secs 10271101 edges, 21221 markings/sec, 60 secs 11100465 edges, 20427 markings/sec, 65 secs 11931306 edges, 20695 markings/sec, 70 secs 12746371 edges, 20740 markings/sec, 75 secs 13581539 edges, 19794 markings/sec, 80 secs 14420487 edges, 20368 markings/sec, 85 secs 15275255 edges, 19436 markings/sec, 90 secs 16121529 edges, 19503 markings/sec, 95 secs 16871618 edges, 21249 markings/sec, 100 secs 17644164 edges, 20867 markings/sec, 105 secs 18425582 edges, 20629 markings/sec, 110 secs 19224834 edges, 20136 markings/sec, 115 secs 20049393 edges, 19453 markings/sec, 120 secs 20829671 edges, 20622 markings/sec, 125 secs 21638803 edges, 19889 markings/sec, 130 secs 22457752 edges, 19568 markings/sec, 135 secs 23287736 edges, 19254 markings/sec, 140 secs 24138141 edges, 18789 markings/sec, 145 secs 24932898 edges, 20115 markings/sec, 150 secs 25730082 edges, 20009 markings/sec, 155 secs 26553404 edges, 19274 markings/sec, 160 secs 27367061 edges, 19622 markings/sec, 165 secs 28205834 edges, 18888 markings/sec, 170 secs 29054336 edges, 19192 markings/sec, 175 secs 29887422 edges, 19273 markings/sec, 180 secs 30731715 edges, 18943 markings/sec, 185 secs 31581644 edges, 18727 markings/sec, 190 secs 32445440 edges, 18439 markings/sec, 195 secs 33337691 edges, 18047 markings/sec, 200 secs 34095479 edges, 20605 markings/sec, 205 secs 34841743 edges, 20522 markings/sec, 210 secs 35608539 edges, 19913 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(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_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_36_1 + Server_Anwering_36_2 + Server_Anwering_36_3 + Server_Anwer... (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) 115647 edges, 23121 markings/sec, 0 secs 231080 edges, 23087 markings/sec, 5 secs 345878 edges, 22959 markings/sec, 10 secs 460615 edges, 22948 markings/sec, 15 secs 575635 edges, 23004 markings/sec, 20 secs 690975 edges, 23068 markings/sec, 25 secs 806135 edges, 23032 markings/sec, 30 secs 920639 edges, 22901 markings/sec, 35 secs 1035066 edges, 22885 markings/sec, 40 secs 1150228 edges, 23032 markings/sec, 45 secs 1265617 edges, 23078 markings/sec, 50 secs 1380515 edges, 22980 markings/sec, 55 secs 1495063 edges, 22910 markings/sec, 60 secs 1609732 edges, 22934 markings/sec, 65 secs 1724826 edges, 23019 markings/sec, 70 secs 1839792 edges, 22993 markings/sec, 75 secs 1954208 edges, 22883 markings/sec, 80 secs 2068483 edges, 22855 markings/sec, 85 secs 2183609 edges, 23025 markings/sec, 90 secs 2298813 edges, 23041 markings/sec, 95 secs 2413386 edges, 22915 markings/sec, 100 secs 2527268 edges, 22776 markings/sec, 105 secs 2640203 edges, 22587 markings/sec, 110 secs 2753379 edges, 22635 markings/sec, 115 secs 2866441 edges, 22612 markings/sec, 120 secs 2979206 edges, 22553 markings/sec, 125 secs 3091577 edges, 22474 markings/sec, 130 secs 3204662 edges, 22617 markings/sec, 135 secs 3318100 edges, 22688 markings/sec, 140 secs 3431420 edges, 22664 markings/sec, 145 secs 3544136 edges, 22543 markings/sec, 150 secs 3656669 edges, 22507 markings/sec, 155 secs 3769731 edges, 22612 markings/sec, 160 secs 3882612 edges, 22576 markings/sec, 165 secs 3995253 edges, 22528 markings/sec, 170 secs 4107520 edges, 22453 markings/sec, 175 secs 4219778 edges, 22451 markings/sec, 180 secs 4332331 edges, 22511 markings/sec, 185 secs 4444892 edges, 22512 markings/sec, 190 secs 4557380 edges, 22498 markings/sec, 195 secs 4669763 edges, 22477 markings/sec, 200 secs 4783189 edges, 22685 markings/sec, 205 secs 4896448 edges, 22652 markings/sec, 210 secs 5009912 edges, 22693 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(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_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_36_1 + Server_Anwering_36_2 + Server_Anwering_36_3 + Server_Anwer... (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) 115602 edges, 23112 markings/sec, 0 secs 230966 edges, 23073 markings/sec, 5 secs 345794 edges, 22965 markings/sec, 10 secs 460368 edges, 22915 markings/sec, 15 secs 575095 edges, 22945 markings/sec, 20 secs 690180 edges, 23017 markings/sec, 25 secs 805089 edges, 22982 markings/sec, 30 secs 918250 edges, 22632 markings/sec, 35 secs 1032462 edges, 22842 markings/sec, 40 secs 1147558 edges, 23019 markings/sec, 45 secs 1262343 edges, 22957 markings/sec, 50 secs 1376839 edges, 22899 markings/sec, 55 secs 1491095 edges, 22851 markings/sec, 60 secs 1605689 edges, 22919 markings/sec, 65 secs 1720813 edges, 23025 markings/sec, 70 secs 1835580 edges, 22953 markings/sec, 75 secs 1949652 edges, 22814 markings/sec, 80 secs 2063598 edges, 22789 markings/sec, 85 secs 2178527 edges, 22986 markings/sec, 90 secs 2293685 edges, 23031 markings/sec, 95 secs 2408162 edges, 22896 markings/sec, 100 secs 2522227 edges, 22813 markings/sec, 105 secs 2636403 edges, 22835 markings/sec, 110 secs 2751115 edges, 22943 markings/sec, 115 secs 2865763 edges, 22930 markings/sec, 120 secs 2979561 edges, 22760 markings/sec, 125 secs 3093349 edges, 22758 markings/sec, 130 secs 3207606 edges, 22851 markings/sec, 135 secs 3322267 edges, 22932 markings/sec, 140 secs 3436728 edges, 22892 markings/sec, 145 secs 3550614 edges, 22777 markings/sec, 150 secs 3664426 edges, 22762 markings/sec, 155 secs 3778804 edges, 22875 markings/sec, 160 secs 3890180 edges, 22275 markings/sec, 165 secs 4004126 edges, 22789 markings/sec, 170 secs 4117837 edges, 22742 markings/sec, 175 secs 4231499 edges, 22732 markings/sec, 180 secs 4345184 edges, 22737 markings/sec, 185 secs 4457951 edges, 22553 markings/sec, 190 secs 4570777 edges, 22565 markings/sec, 195 secs 4683498 edges, 22544 markings/sec, 200 secs 4796164 edges, 22533 markings/sec, 205 secs 4908457 edges, 22459 markings/sec, 210 secs 5020734 edges, 22455 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(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) 729015 edges, 24298 markings/sec, 0 secs 1494983 edges, 22820 markings/sec, 5 secs 2259074 edges, 22417 markings/sec, 10 secs 3052517 edges, 21607 markings/sec, 15 secs 3852894 edges, 21853 markings/sec, 20 secs 4622961 edges, 21725 markings/sec, 25 secs 5426202 edges, 20854 markings/sec, 30 secs 6218669 edges, 21142 markings/sec, 35 secs 7046400 edges, 20413 markings/sec, 40 secs 7853925 edges, 20822 markings/sec, 45 secs 8614934 edges, 21446 markings/sec, 50 secs 9406479 edges, 20647 markings/sec, 55 secs 10189745 edges, 20904 markings/sec, 60 secs 11004465 edges, 20081 markings/sec, 65 secs 11821394 edges, 20023 markings/sec, 70 secs 12621797 edges, 20453 markings/sec, 75 secs 13439247 edges, 19981 markings/sec, 80 secs 14272184 edges, 20003 markings/sec, 85 secs 15115865 edges, 19447 markings/sec, 90 secs 15992235 edges, 18580 markings/sec, 95 secs 16718692 edges, 21805 markings/sec, 100 secs 17486173 edges, 20727 markings/sec, 105 secs 18264424 edges, 20452 markings/sec, 110 secs 19060159 edges, 20223 markings/sec, 115 secs 19877671 edges, 19318 markings/sec, 120 secs 20652460 edges, 20485 markings/sec, 125 secs 21454626 edges, 19860 markings/sec, 130 secs 22271877 edges, 19396 markings/sec, 135 secs 23098117 edges, 19436 markings/sec, 140 secs 23940723 edges, 19035 markings/sec, 145 secs 24757909 edges, 19685 markings/sec, 150 secs 25558004 edges, 20299 markings/sec, 155 secs 26383046 edges, 19458 markings/sec, 160 secs 27197969 edges, 19857 markings/sec, 165 secs 28037341 edges, 19108 markings/sec, 170 secs 28892419 edges, 18734 markings/sec, 175 secs 29717511 edges, 19686 markings/sec, 180 secs 30562423 edges, 19075 markings/sec, 185 secs 31419620 edges, 18782 markings/sec, 190 secs 32289739 edges, 18468 markings/sec, 195 secs 33171495 edges, 18289 markings/sec, 200 secs 33962641 edges, 19857 markings/sec, 205 secs 34703176 edges, 20791 markings/sec, 210 secs 35483692 edges, 19957 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(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 + Reques... (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) 115233 edges, 23014 markings/sec, 0 secs 230421 edges, 23038 markings/sec, 5 secs 345237 edges, 22963 markings/sec, 10 secs 459789 edges, 22910 markings/sec, 15 secs 574080 edges, 22858 markings/sec, 20 secs 688235 edges, 22831 markings/sec, 25 secs 802222 edges, 22797 markings/sec, 30 secs 916211 edges, 22798 markings/sec, 35 secs 1029981 edges, 22754 markings/sec, 40 secs 1143964 edges, 22797 markings/sec, 45 secs 1257775 edges, 22762 markings/sec, 50 secs 1371563 edges, 22757 markings/sec, 55 secs 1483609 edges, 22409 markings/sec, 60 secs 1594304 edges, 22139 markings/sec, 65 secs 1706492 edges, 22438 markings/sec, 70 secs 1819039 edges, 22509 markings/sec, 75 secs 1932313 edges, 22655 markings/sec, 80 secs 2045452 edges, 22628 markings/sec, 85 secs 2158657 edges, 22641 markings/sec, 90 secs 2271698 edges, 22608 markings/sec, 95 secs 2384682 edges, 22597 markings/sec, 100 secs 2497630 edges, 22590 markings/sec, 105 secs 2610665 edges, 22607 markings/sec, 110 secs 2723703 edges, 22608 markings/sec, 115 secs 2836539 edges, 22567 markings/sec, 120 secs 2949295 edges, 22551 markings/sec, 125 secs 3061748 edges, 22490 markings/sec, 130 secs 3173503 edges, 22351 markings/sec, 135 secs 3285364 edges, 22372 markings/sec, 140 secs 3397070 edges, 22341 markings/sec, 145 secs 3508770 edges, 22340 markings/sec, 150 secs 3620474 edges, 22341 markings/sec, 155 secs 3732838 edges, 22473 markings/sec, 160 secs 3845643 edges, 22561 markings/sec, 165 secs 3958294 edges, 22530 markings/sec, 170 secs 4071054 edges, 22552 markings/sec, 175 secs 4183636 edges, 22516 markings/sec, 180 secs 4296534 edges, 22580 markings/sec, 185 secs 4409626 edges, 22618 markings/sec, 190 secs 4522831 edges, 22641 markings/sec, 195 secs 4635325 edges, 22499 markings/sec, 200 secs 4747519 edges, 22439 markings/sec, 205 secs 4859620 edges, 22420 markings/sec, 210 secs 4971841 edges, 22444 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_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_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_36_1 + Server_Anwering_36_2 + Server_Anwering_36_3 + Server_Anwer... (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) 113373 edges, 22666 markings/sec, 0 secs 228684 edges, 23062 markings/sec, 5 secs 343249 edges, 22913 markings/sec, 10 secs 457561 edges, 22862 markings/sec, 15 secs 572122 edges, 22912 markings/sec, 20 secs 687125 edges, 23001 markings/sec, 25 secs 801949 edges, 22965 markings/sec, 30 secs 915991 edges, 22808 markings/sec, 35 secs 1030019 edges, 22806 markings/sec, 40 secs 1144738 edges, 22944 markings/sec, 45 secs 1259833 edges, 23019 markings/sec, 50 secs 1374284 edges, 22890 markings/sec, 55 secs 1488348 edges, 22813 markings/sec, 60 secs 1602475 edges, 22825 markings/sec, 65 secs 1717201 edges, 22945 markings/sec, 70 secs 1831782 edges, 22916 markings/sec, 75 secs 1945626 edges, 22769 markings/sec, 80 secs 2059396 edges, 22754 markings/sec, 85 secs 2174128 edges, 22946 markings/sec, 90 secs 2288961 edges, 22967 markings/sec, 95 secs 2403478 edges, 22903 markings/sec, 100 secs 2517533 edges, 22811 markings/sec, 105 secs 2631615 edges, 22816 markings/sec, 110 secs 2746246 edges, 22926 markings/sec, 115 secs 2860738 edges, 22898 markings/sec, 120 secs 2974735 edges, 22799 markings/sec, 125 secs 3088420 edges, 22737 markings/sec, 130 secs 3202514 edges, 22819 markings/sec, 135 secs 3316126 edges, 22722 markings/sec, 140 secs 3429548 edges, 22684 markings/sec, 145 secs 3542451 edges, 22581 markings/sec, 150 secs 3655321 edges, 22574 markings/sec, 155 secs 3768824 edges, 22701 markings/sec, 160 secs 3882142 edges, 22664 markings/sec, 165 secs 3994952 edges, 22562 markings/sec, 170 secs 4107420 edges, 22494 markings/sec, 175 secs 4219931 edges, 22502 markings/sec, 180 secs 4332805 edges, 22575 markings/sec, 185 secs 4445602 edges, 22559 markings/sec, 190 secs 4558135 edges, 22507 markings/sec, 195 secs 4670497 edges, 22472 markings/sec, 200 secs 4782824 edges, 22466 markings/sec, 205 secs 4894937 edges, 22422 markings/sec, 210 secs 5006986 edges, 22410 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(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) 515123 edges, 35755 markings/sec, 0 secs 909704 edges, 33629 markings/sec, 5 secs 1288959 edges, 33170 markings/sec, 10 secs 1683426 edges, 32413 markings/sec, 15 secs 2191186 edges, 33327 markings/sec, 20 secs 2681347 edges, 33297 markings/sec, 25 secs 3155762 edges, 32809 markings/sec, 30 secs 3530533 edges, 32550 markings/sec, 35 secs 3921030 edges, 32770 markings/sec, 40 secs 4317332 edges, 32756 markings/sec, 45 secs 4713323 edges, 32740 markings/sec, 50 secs 5120741 edges, 32570 markings/sec, 55 secs 5523791 edges, 32599 markings/sec, 60 secs 5933486 edges, 32155 markings/sec, 65 secs 6424808 edges, 31644 markings/sec, 70 secs 6899092 edges, 32813 markings/sec, 75 secs 7352458 edges, 31902 markings/sec, 80 secs 7718131 edges, 31620 markings/sec, 85 secs 8092149 edges, 31442 markings/sec, 90 secs 8470756 edges, 31221 markings/sec, 95 secs 8847604 edges, 31280 markings/sec, 100 secs 9234709 edges, 31201 markings/sec, 105 secs 9632057 edges, 31085 markings/sec, 110 secs 10086564 edges, 32304 markings/sec, 115 secs 10528442 edges, 29381 markings/sec, 120 secs 10885838 edges, 24433 markings/sec, 125 secs 11257406 edges, 23828 markings/sec, 130 secs 11525321 edges, 21269 markings/sec, 135 secs 11808393 edges, 21269 markings/sec, 140 secs 12098453 edges, 21220 markings/sec, 145 secs 12392621 edges, 21200 markings/sec, 150 secs 12702533 edges, 21339 markings/sec, 155 secs 13006898 edges, 22973 markings/sec, 160 secs 13318330 edges, 22878 markings/sec, 165 secs 13617508 edges, 22832 markings/sec, 170 secs 13925961 edges, 22800 markings/sec, 175 secs 14206887 edges, 23579 markings/sec, 180 secs 14461762 edges, 24784 markings/sec, 185 secs 14720919 edges, 24753 markings/sec, 190 secs 14981872 edges, 24680 markings/sec, 195 secs 15246642 edges, 24699 markings/sec, 200 secs 15507717 edges, 24793 markings/sec, 205 secs 15772856 edges, 24548 markings/sec, 210 secs 16037372 edges, 24428 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 8 will run for 220 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Client_Waiting_1 + Client_Waiting_2 + Client_Waiting_3 + Client_Waiting_4 + Client_Waiting_5 + Client_Waiting_6 + Client_Waiting_7 + Client_Waiting_8 + Client_Waiting_9 + Client_Waiting_49 + Client_Waiting_48 + Client_Waiting_47 + Client_Waiting_46 + Client_Waiting_45 + Client_Waiting_44 + Client_Waiting_43 + Client_Waiting_42 + Client_Waiting_41 + Client_Waiting_40 + Client_Waiting_39 + Clien... (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) 507796 edges, 35294 markings/sec, 0 secs 908543 edges, 33987 markings/sec, 5 secs 1290459 edges, 33416 markings/sec, 10 secs 1689160 edges, 32676 markings/sec, 15 secs 2199930 edges, 33465 markings/sec, 20 secs 2683171 edges, 32879 markings/sec, 25 secs 3155617 edges, 32671 markings/sec, 30 secs 3530696 edges, 32576 markings/sec, 35 secs 3918938 edges, 32564 markings/sec, 40 secs 4313748 edges, 32643 markings/sec, 45 secs 4707140 edges, 32557 markings/sec, 50 secs 5113871 edges, 32534 markings/sec, 55 secs 5517516 edges, 32533 markings/sec, 60 secs 5921747 edges, 32021 markings/sec, 65 secs 6409156 edges, 31474 markings/sec, 70 secs 6884255 edges, 32717 markings/sec, 75 secs 7340389 edges, 31840 markings/sec, 80 secs 7703346 edges, 31476 markings/sec, 85 secs 8076281 edges, 31337 markings/sec, 90 secs 8456707 edges, 31272 markings/sec, 95 secs 8831952 edges, 31217 markings/sec, 100 secs 9217146 edges, 31119 markings/sec, 105 secs 9617305 edges, 31052 markings/sec, 110 secs 10063196 edges, 32105 markings/sec, 115 secs 10509262 edges, 29635 markings/sec, 120 secs 10865857 edges, 24416 markings/sec, 125 secs 11244186 edges, 24027 markings/sec, 130 secs 11508949 edges, 21278 markings/sec, 135 secs 11790961 edges, 21194 markings/sec, 140 secs 12078803 edges, 21149 markings/sec, 145 secs 12372651 edges, 21054 markings/sec, 150 secs 12680967 edges, 21079 markings/sec, 155 secs 12981655 edges, 22946 markings/sec, 160 secs 13292046 edges, 22800 markings/sec, 165 secs 13591994 edges, 22774 markings/sec, 170 secs 13898163 edges, 22620 markings/sec, 175 secs 14181022 edges, 23130 markings/sec, 180 secs 14432679 edges, 24522 markings/sec, 185 secs 14692022 edges, 24736 markings/sec, 190 secs 14952368 edges, 24710 markings/sec, 195 secs 15217751 edges, 24689 markings/sec, 200 secs 15479517 edges, 24894 markings/sec, 205 secs 15747296 edges, 24777 markings/sec, 210 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(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) 522140 edges, 36193 markings/sec, 0 secs 921142 edges, 34173 markings/sec, 5 secs 1304534 edges, 33660 markings/sec, 10 secs 1712201 edges, 32958 markings/sec, 15 secs 2235132 edges, 33941 markings/sec, 20 secs 2721783 edges, 33442 markings/sec, 25 secs 3185773 edges, 32676 markings/sec, 30 secs 3562699 edges, 32575 markings/sec, 35 secs 3950715 edges, 32663 markings/sec, 40 secs 4347246 edges, 32709 markings/sec, 45 secs 4747294 edges, 32912 markings/sec, 50 secs 5156103 edges, 32797 markings/sec, 55 secs 5556078 edges, 32739 markings/sec, 60 secs 5980944 edges, 32269 markings/sec, 65 secs 6472822 edges, 31893 markings/sec, 70 secs 6953742 edges, 33028 markings/sec, 75 secs 7392609 edges, 31881 markings/sec, 80 secs 7761441 edges, 31590 markings/sec, 85 secs 8134341 edges, 31492 markings/sec, 90 secs 8515683 edges, 31410 markings/sec, 95 secs 8896259 edges, 31370 markings/sec, 100 secs 9285826 edges, 31170 markings/sec, 105 secs 9678216 edges, 31300 markings/sec, 110 secs 10147335 edges, 32261 markings/sec, 115 secs 10571223 edges, 28449 markings/sec, 120 secs 10931278 edges, 24338 markings/sec, 125 secs 11287524 edges, 23400 markings/sec, 130 secs 11559081 edges, 21119 markings/sec, 135 secs 11840484 edges, 21103 markings/sec, 140 secs 12125303 edges, 21064 markings/sec, 145 secs 12419811 edges, 20962 markings/sec, 150 secs 12725675 edges, 21297 markings/sec, 155 secs 13028827 edges, 22861 markings/sec, 160 secs 13341181 edges, 22742 markings/sec, 165 secs 13637609 edges, 22735 markings/sec, 170 secs 13943617 edges, 22594 markings/sec, 175 secs 14220644 edges, 23646 markings/sec, 180 secs 14476862 edges, 24845 markings/sec, 185 secs 14737263 edges, 24900 markings/sec, 190 secs 14999720 edges, 24777 markings/sec, 195 secs 15264906 edges, 24836 markings/sec, 200 secs 15525430 edges, 24645 markings/sec, 205 secs 15793656 edges, 24880 markings/sec, 210 secs 16064238 edges, 24954 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 10 will run for 220 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(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 + Reques... (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) 113484 edges, 22664 markings/sec, 0 secs 227961 edges, 22895 markings/sec, 5 secs 342148 edges, 22837 markings/sec, 10 secs 456070 edges, 22784 markings/sec, 15 secs 569767 edges, 22739 markings/sec, 20 secs 683292 edges, 22705 markings/sec, 25 secs 796823 edges, 22706 markings/sec, 30 secs 910226 edges, 22681 markings/sec, 35 secs 1023643 edges, 22683 markings/sec, 40 secs 1135626 edges, 22397 markings/sec, 45 secs 1247696 edges, 22414 markings/sec, 50 secs 1359466 edges, 22354 markings/sec, 55 secs 1471368 edges, 22380 markings/sec, 60 secs 1583331 edges, 22393 markings/sec, 65 secs 1695605 edges, 22455 markings/sec, 70 secs 1807928 edges, 22465 markings/sec, 75 secs 1920243 edges, 22463 markings/sec, 80 secs 2033141 edges, 22580 markings/sec, 85 secs 2145610 edges, 22494 markings/sec, 90 secs 2257504 edges, 22379 markings/sec, 95 secs 2369383 edges, 22376 markings/sec, 100 secs 2481190 edges, 22362 markings/sec, 105 secs 2593979 edges, 22558 markings/sec, 110 secs 2706925 edges, 22589 markings/sec, 115 secs 2819934 edges, 22602 markings/sec, 120 secs 2932851 edges, 22583 markings/sec, 125 secs 3045598 edges, 22549 markings/sec, 130 secs 3158260 edges, 22533 markings/sec, 135 secs 3271250 edges, 22598 markings/sec, 140 secs 3384088 edges, 22568 markings/sec, 145 secs 3496999 edges, 22582 markings/sec, 150 secs 3609889 edges, 22578 markings/sec, 155 secs 3722467 edges, 22516 markings/sec, 160 secs 3835101 edges, 22527 markings/sec, 165 secs 3947742 edges, 22528 markings/sec, 170 secs 4060237 edges, 22499 markings/sec, 175 secs 4172831 edges, 22519 markings/sec, 180 secs 4285239 edges, 22482 markings/sec, 185 secs 4397330 edges, 22418 markings/sec, 190 secs 4509362 edges, 22406 markings/sec, 195 secs 4621613 edges, 22450 markings/sec, 200 secs 4733545 edges, 22386 markings/sec, 205 secs 4845598 edges, 22411 markings/sec, 210 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(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_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_36_1 + Server_Anwering_36_2 + Server_Anwering_36_3 + Server_Anwer... (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) 115209 edges, 23033 markings/sec, 0 secs 230213 edges, 23001 markings/sec, 5 secs 344594 edges, 22876 markings/sec, 10 secs 458515 edges, 22784 markings/sec, 15 secs 572810 edges, 22859 markings/sec, 20 secs 687296 edges, 22897 markings/sec, 25 secs 801677 edges, 22876 markings/sec, 30 secs 915403 edges, 22745 markings/sec, 35 secs 1029147 edges, 22749 markings/sec, 40 secs 1143814 edges, 22933 markings/sec, 45 secs 1258731 edges, 22983 markings/sec, 50 secs 1373065 edges, 22867 markings/sec, 55 secs 1487038 edges, 22795 markings/sec, 60 secs 1600875 edges, 22767 markings/sec, 65 secs 1714421 edges, 22709 markings/sec, 70 secs 1827897 edges, 22695 markings/sec, 75 secs 1940876 edges, 22596 markings/sec, 80 secs 2053947 edges, 22614 markings/sec, 85 secs 2168509 edges, 22912 markings/sec, 90 secs 2283493 edges, 22997 markings/sec, 95 secs 2398124 edges, 22926 markings/sec, 100 secs 2512241 edges, 22823 markings/sec, 105 secs 2626228 edges, 22797 markings/sec, 110 secs 2740935 edges, 22941 markings/sec, 115 secs 2854946 edges, 22802 markings/sec, 120 secs 2968453 edges, 22702 markings/sec, 125 secs 3081673 edges, 22644 markings/sec, 130 secs 3195369 edges, 22739 markings/sec, 135 secs 3309773 edges, 22881 markings/sec, 140 secs 3424206 edges, 22887 markings/sec, 145 secs 3538069 edges, 22773 markings/sec, 150 secs 3651768 edges, 22740 markings/sec, 155 secs 3766013 edges, 22849 markings/sec, 160 secs 3880203 edges, 22838 markings/sec, 165 secs 3993947 edges, 22749 markings/sec, 170 secs 4107562 edges, 22723 markings/sec, 175 secs 4221090 edges, 22706 markings/sec, 180 secs 4334774 edges, 22737 markings/sec, 185 secs 4448378 edges, 22721 markings/sec, 190 secs 4561592 edges, 22643 markings/sec, 195 secs 4674429 edges, 22568 markings/sec, 200 secs 4787145 edges, 22543 markings/sec, 205 secs 4899898 edges, 22551 markings/sec, 210 secs 5012909 edges, 22602 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 12 will run for 220 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(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) 510550 edges, 35473 markings/sec, 0 secs 908359 edges, 33794 markings/sec, 5 secs 1288871 edges, 33279 markings/sec, 10 secs 1684960 edges, 32532 markings/sec, 15 secs 2193492 edges, 33366 markings/sec, 20 secs 2682351 edges, 33217 markings/sec, 25 secs 3156397 edges, 32795 markings/sec, 30 secs 3531938 edges, 32606 markings/sec, 35 secs 3921361 edges, 32689 markings/sec, 40 secs 4316700 edges, 32669 markings/sec, 45 secs 4711012 edges, 32616 markings/sec, 50 secs 5116547 edges, 32417 markings/sec, 55 secs 5517132 edges, 32302 markings/sec, 60 secs 5919711 edges, 31923 markings/sec, 65 secs 6406173 edges, 31442 markings/sec, 70 secs 6879966 edges, 32599 markings/sec, 75 secs 7336188 edges, 31753 markings/sec, 80 secs 7696881 edges, 31317 markings/sec, 85 secs 8067606 edges, 31193 markings/sec, 90 secs 8447520 edges, 31180 markings/sec, 95 secs 8822927 edges, 31270 markings/sec, 100 secs 9209252 edges, 31178 markings/sec, 105 secs 9610313 edges, 31023 markings/sec, 110 secs 10052927 edges, 32064 markings/sec, 115 secs 10503167 edges, 29895 markings/sec, 120 secs 10859789 edges, 24463 markings/sec, 125 secs 11237354 edges, 23821 markings/sec, 130 secs 11501339 edges, 21312 markings/sec, 135 secs 11782679 edges, 21164 markings/sec, 140 secs 12069527 edges, 21110 markings/sec, 145 secs 12363520 edges, 21108 markings/sec, 150 secs 12672741 edges, 21000 markings/sec, 155 secs 12972759 edges, 22989 markings/sec, 160 secs 13283393 edges, 22816 markings/sec, 165 secs 13584480 edges, 22812 markings/sec, 170 secs 13892346 edges, 22758 markings/sec, 175 secs 14178792 edges, 23362 markings/sec, 180 secs 14432593 edges, 24731 markings/sec, 185 secs 14692050 edges, 24748 markings/sec, 190 secs 14952130 edges, 24685 markings/sec, 195 secs 15217515 edges, 24688 markings/sec, 200 secs 15479476 edges, 24915 markings/sec, 205 secs 15748007 edges, 24851 markings/sec, 210 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(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) 524117 edges, 36331 markings/sec, 0 secs 920171 edges, 33945 markings/sec, 5 secs 1301082 edges, 33424 markings/sec, 10 secs 1703831 edges, 32732 markings/sec, 15 secs 2216835 edges, 33376 markings/sec, 20 secs 2701229 edges, 33158 markings/sec, 25 secs 3170206 edges, 32728 markings/sec, 30 secs 3546324 edges, 32548 markings/sec, 35 secs 3934288 edges, 32642 markings/sec, 40 secs 4330564 edges, 32714 markings/sec, 45 secs 4726437 edges, 32648 markings/sec, 50 secs 5133247 edges, 32606 markings/sec, 55 secs 5533849 edges, 32497 markings/sec, 60 secs 5939300 edges, 31629 markings/sec, 65 secs 6431186 edges, 31556 markings/sec, 70 secs 6905025 edges, 32844 markings/sec, 75 secs 7354531 edges, 31700 markings/sec, 80 secs 7716331 edges, 31303 markings/sec, 85 secs 8086989 edges, 31100 markings/sec, 90 secs 8464768 edges, 31168 markings/sec, 95 secs 8840233 edges, 31209 markings/sec, 100 secs 9225486 edges, 31076 markings/sec, 105 secs 9623259 edges, 30960 markings/sec, 110 secs 10069671 edges, 31968 markings/sec, 115 secs 10514519 edges, 29561 markings/sec, 120 secs 10870357 edges, 24352 markings/sec, 125 secs 11246486 edges, 23936 markings/sec, 130 secs 11510470 edges, 21183 markings/sec, 135 secs 11791237 edges, 21103 markings/sec, 140 secs 12078455 edges, 21103 markings/sec, 145 secs 12372228 edges, 21041 markings/sec, 150 secs 12680343 edges, 21064 markings/sec, 155 secs 12980152 edges, 22890 markings/sec, 160 secs 13290068 edges, 22766 markings/sec, 165 secs 13589563 edges, 22728 markings/sec, 170 secs 13896229 edges, 22655 markings/sec, 175 secs 14181190 edges, 23297 markings/sec, 180 secs 14434085 edges, 24646 markings/sec, 185 secs 14692471 edges, 24642 markings/sec, 190 secs 14951454 edges, 24578 markings/sec, 195 secs 15215503 edges, 24550 markings/sec, 200 secs 15476260 edges, 24809 markings/sec, 205 secs 15744216 edges, 24786 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(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) 113772 edges, 22746 markings/sec, 0 secs 228218 edges, 22889 markings/sec, 5 secs 342007 edges, 22758 markings/sec, 10 secs 455702 edges, 22739 markings/sec, 15 secs 569972 edges, 22854 markings/sec, 20 secs 684873 edges, 22980 markings/sec, 25 secs 799423 edges, 22910 markings/sec, 30 secs 913318 edges, 22779 markings/sec, 35 secs 1027278 edges, 22792 markings/sec, 40 secs 1141821 edges, 22909 markings/sec, 45 secs 1256218 edges, 22879 markings/sec, 50 secs 1369905 edges, 22737 markings/sec, 55 secs 1482812 edges, 22581 markings/sec, 60 secs 1596788 edges, 22795 markings/sec, 65 secs 1711031 edges, 22849 markings/sec, 70 secs 1825398 edges, 22873 markings/sec, 75 secs 1938943 edges, 22709 markings/sec, 80 secs 2052288 edges, 22669 markings/sec, 85 secs 2166815 edges, 22905 markings/sec, 90 secs 2279886 edges, 22614 markings/sec, 95 secs 2394190 edges, 22861 markings/sec, 100 secs 2507887 edges, 22739 markings/sec, 105 secs 2621658 edges, 22754 markings/sec, 110 secs 2736259 edges, 22920 markings/sec, 115 secs 2850532 edges, 22854 markings/sec, 120 secs 2964492 edges, 22792 markings/sec, 125 secs 3077370 edges, 22575 markings/sec, 130 secs 3190623 edges, 22651 markings/sec, 135 secs 3304439 edges, 22763 markings/sec, 140 secs 3418591 edges, 22830 markings/sec, 145 secs 3532115 edges, 22705 markings/sec, 150 secs 3645547 edges, 22686 markings/sec, 155 secs 3758972 edges, 22685 markings/sec, 160 secs 3872092 edges, 22624 markings/sec, 165 secs 3985042 edges, 22590 markings/sec, 170 secs 4097685 edges, 22529 markings/sec, 175 secs 4210114 edges, 22486 markings/sec, 180 secs 4323204 edges, 22618 markings/sec, 185 secs 4436512 edges, 22662 markings/sec, 190 secs 4549905 edges, 22678 markings/sec, 195 secs 4663317 edges, 22683 markings/sec, 200 secs 4776618 edges, 22660 markings/sec, 205 secs 4889876 edges, 22652 markings/sec, 210 secs 5003028 edges, 22630 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 15 will run for 220 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_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_36_1 + Server_Anwering_36_2 + Server_Anwering_36_3 + Server_Anwer... (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) 115313 edges, 23054 markings/sec, 0 secs 229632 edges, 22864 markings/sec, 5 secs 343353 edges, 22744 markings/sec, 10 secs 456741 edges, 22678 markings/sec, 15 secs 570399 edges, 22732 markings/sec, 20 secs 684147 edges, 22750 markings/sec, 25 secs 797702 edges, 22711 markings/sec, 30 secs 911365 edges, 22733 markings/sec, 35 secs 1025170 edges, 22761 markings/sec, 40 secs 1139745 edges, 22915 markings/sec, 45 secs 1254545 edges, 22960 markings/sec, 50 secs 1368898 edges, 22871 markings/sec, 55 secs 1483036 edges, 22827 markings/sec, 60 secs 1597209 edges, 22835 markings/sec, 65 secs 1711543 edges, 22867 markings/sec, 70 secs 1825423 edges, 22776 markings/sec, 75 secs 1938690 edges, 22653 markings/sec, 80 secs 2051431 edges, 22548 markings/sec, 85 secs 2165069 edges, 22728 markings/sec, 90 secs 2279047 edges, 22796 markings/sec, 95 secs 2392566 edges, 22704 markings/sec, 100 secs 2505645 edges, 22616 markings/sec, 105 secs 2618589 edges, 22589 markings/sec, 110 secs 2732365 edges, 22755 markings/sec, 115 secs 2845964 edges, 22720 markings/sec, 120 secs 2959371 edges, 22681 markings/sec, 125 secs 3072496 edges, 22625 markings/sec, 130 secs 3185813 edges, 22663 markings/sec, 135 secs 3299514 edges, 22740 markings/sec, 140 secs 3413015 edges, 22700 markings/sec, 145 secs 3525991 edges, 22595 markings/sec, 150 secs 3638671 edges, 22536 markings/sec, 155 secs 3751991 edges, 22664 markings/sec, 160 secs 3865792 edges, 22760 markings/sec, 165 secs 3979536 edges, 22749 markings/sec, 170 secs 4092854 edges, 22664 markings/sec, 175 secs 4206177 edges, 22664 markings/sec, 180 secs 4319105 edges, 22586 markings/sec, 185 secs 4431913 edges, 22562 markings/sec, 190 secs 4544500 edges, 22517 markings/sec, 195 secs 4657575 edges, 22615 markings/sec, 200 secs 4770809 edges, 22647 markings/sec, 205 secs 4884106 edges, 22659 markings/sec, 210 secs limit reached - aborting reached - aborting unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown -07-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-07-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-07-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-07-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-07-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-07-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-07-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-07-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-07-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-07-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-07-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-07-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-07-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-07-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-07-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN -COL-07-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-07"
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-07.tgz
mv S_CSRepetitions-PT-07 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-07, 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-149488455500128"
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 ;