MCC'2017 - Execution of r018-ebro-149436308900128

About the Execution of LoLA for CSRepetitions-PT-07

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
8217.670	3540207.00	3558013.00	710.10	? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?	normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be
..................
======
Generated by BenchKit 2-3253
Executing tool lola
Input is CSRepetitions-PT-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 1494620914048

Time: 3600 - MCC
----- Start make prepare
checking for too many tokens
----- Start make result
UpperBounds @ 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: 177550 markings,
lola: 337691 markings,
lola: 499455 markings,
lola: 660875 markings,
lola: 821280 markings,
lola: 985022 markings,
lola: 1147699 markings,
lola: 1307632 markings,
lola: 1465767 markings,
lola: 1624752 markings,
lola: 1783572 markings,
lola: 1943801 markings,
lola: 2102993 markings,
lola: 2260458 markings,
lola: 2416624 markings,
lola: 2574998 markings,
lola: 2732952 markings,
lola: 2887521 markings,
lola: 3041462 markings,
lola: 3194448 markings,
lola: 3347836 markings,
lola: 3500521 markings,
lola: 3652407 markings,
lola: 3807617 markings,
lola: 3963534 markings,
lola: 4093810 markings,
lola: 4214558 markings,
lola: 4327299 markings,
lola: 4433130 markings,
lola: 4538522 markings,
lola: 4644140 markings,
lola: 4749067 markings,
lola: 4858737 markings,
lola: 4972807 markings,
lola: 5085635 markings,
lola: 5198244 markings,
lola: 5310198 markings,
lola: 5429637 markings,
lola: 5551070 markings,
lola: 5672077 markings,
lola: 5792734 markings,
lola: 5914023 markings,
lola: 6036092 markings,
lola: 6158195 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: 121212 markings,
lola: 235375 markings,
lola: 347481 markings,
lola: 455721 markings,
lola: 564289 markings,
lola: 672559 markings,
lola: 777429 markings,
lola: 881977 markings,
lola: 984240 markings,
lola: 1088592 markings,
lola: 1195709 markings,
lola: 1298639 markings,
lola: 1402968 markings,
lola: 1504150 markings,
lola: 1605671 markings,
lola: 1708765 markings,
lola: 1809597 markings,
lola: 1909644 markings,
lola: 2007994 markings,
lola: 2103137 markings,
lola: 2211334 markings,
lola: 2315894 markings,
lola: 2418941 markings,
lola: 2520312 markings,
lola: 2617363 markings,
lola: 2721528 markings,
lola: 2821647 markings,
lola: 2920471 markings,
lola: 3017588 markings,
lola: 3113452 markings,
lola: 3214383 markings,
lola: 3316463 markings,
lola: 3413721 markings,
lola: 3513616 markings,
lola: 3609616 markings,
lola: 3705905 markings,
lola: 3803573 markings,
lola: 3899662 markings,
lola: 3994174 markings,
lola: 4086130 markings,
lola: 4174704 markings,
lola: 4277519 markings,
lola: 4380826 markings,
lola: 4481024 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: 112788 markings,
lola: 226379 markings,
lola: 338891 markings,
lola: 450966 markings,
lola: 562515 markings,
lola: 675768 markings,
lola: 787645 markings,
lola: 897867 markings,
lola: 1009541 markings,
lola: 1122096 markings,
lola: 1235034 markings,
lola: 1347684 markings,
lola: 1459510 markings,
lola: 1571143 markings,
lola: 1683603 markings,
lola: 1795918 markings,
lola: 1905934 markings,
lola: 2016698 markings,
lola: 2128396 markings,
lola: 2241599 markings,
lola: 2355732 markings,
lola: 2469297 markings,
lola: 2579624 markings,
lola: 2694216 markings,
lola: 2808889 markings,
lola: 2923287 markings,
lola: 3037204 markings,
lola: 3151090 markings,
lola: 3266056 markings,
lola: 3380812 markings,
lola: 3495092 markings,
lola: 3609103 markings,
lola: 3723346 markings,
lola: 3837866 markings,
lola: 3952323 markings,
lola: 4066145 markings,
lola: 4179866 markings,
lola: 4293079 markings,
lola: 4406157 markings,
lola: 4519199 markings,
lola: 4632240 markings,
lola: 4745028 markings,
lola: 4856777 markings,
lola: 4968504 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: 113760 markings,
lola: 227138 markings,
lola: 339692 markings,
lola: 451891 markings,
lola: 564469 markings,
lola: 677561 markings,
lola: 790588 markings,
lola: 903093 markings,
lola: 1015689 markings,
lola: 1129002 markings,
lola: 1242502 markings,
lola: 1355588 markings,
lola: 1468359 markings,
lola: 1581129 markings,
lola: 1694529 markings,
lola: 1807879 markings,
lola: 1921712 markings,
lola: 2035324 markings,
lola: 2149636 markings,
lola: 2264493 markings,
lola: 2379126 markings,
lola: 2493114 markings,
lola: 2606572 markings,
lola: 2720544 markings,
lola: 2834633 markings,
lola: 2948075 markings,
lola: 3060683 markings,
lola: 3172910 markings,
lola: 3285923 markings,
lola: 3398823 markings,
lola: 3510553 markings,
lola: 3621963 markings,
lola: 3734373 markings,
lola: 3847585 markings,
lola: 3960287 markings,
lola: 4072293 markings,
lola: 4183941 markings,
lola: 4295734 markings,
lola: 4407439 markings,
lola: 4519126 markings,
lola: 4630741 markings,
lola: 4742636 markings,
lola: 4854976 markings,
lola: 4967224 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: 120886 markings,
lola: 228954 markings,
lola: 338353 markings,
lola: 443266 markings,
lola: 544544 markings,
lola: 645904 markings,
lola: 748273 markings,
lola: 849816 markings,
lola: 950730 markings,
lola: 1048199 markings,
lola: 1154490 markings,
lola: 1255002 markings,
lola: 1353922 markings,
lola: 1450596 markings,
lola: 1545631 markings,
lola: 1644313 markings,
lola: 1741078 markings,
lola: 1832975 markings,
lola: 1929237 markings,
lola: 2021720 markings,
lola: 2113774 markings,
lola: 2217969 markings,
lola: 2315115 markings,
lola: 2411809 markings,
lola: 2506182 markings,
lola: 2598455 markings,
lola: 2694409 markings,
lola: 2788880 markings,
lola: 2880918 markings,
lola: 2978544 markings,
lola: 3072398 markings,
lola: 3166008 markings,
lola: 3266966 markings,
lola: 3365090 markings,
lola: 3461920 markings,
lola: 3557384 markings,
lola: 3649984 markings,
lola: 3746956 markings,
lola: 3841512 markings,
lola: 3931815 markings,
lola: 4026139 markings,
lola: 4116641 markings,
lola: 4207044 markings,
lola: 4311044 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: 114599 markings,
lola: 228177 markings,
lola: 341539 markings,
lola: 454367 markings,
lola: 567182 markings,
lola: 680074 markings,
lola: 792895 markings,
lola: 905650 markings,
lola: 1018402 markings,
lola: 1131254 markings,
lola: 1243865 markings,
lola: 1356467 markings,
lola: 1469034 markings,
lola: 1581521 markings,
lola: 1693541 markings,
lola: 1805355 markings,
lola: 1917210 markings,
lola: 2028893 markings,
lola: 2140649 markings,
lola: 2252162 markings,
lola: 2363737 markings,
lola: 2475274 markings,
lola: 2586645 markings,
lola: 2698136 markings,
lola: 2808703 markings,
lola: 2919211 markings,
lola: 3029382 markings,
lola: 3139579 markings,
lola: 3249772 markings,
lola: 3359846 markings,
lola: 3470099 markings,
lola: 3580356 markings,
lola: 3691120 markings,
lola: 3801835 markings,
lola: 3913056 markings,
lola: 4024118 markings,
lola: 4133842 markings,
lola: 4245406 markings,
lola: 4356891 markings,
lola: 4468484 markings,
lola: 4580021 markings,
lola: 4691452 markings,
lola: 4802932 markings,
lola: 4914078 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: 113225 markings,
lola: 227776 markings,
lola: 341693 markings,
lola: 454949 markings,
lola: 567661 markings,
lola: 681332 markings,
lola: 795195 markings,
lola: 905731 markings,
lola: 1018797 markings,
lola: 1133250 markings,
lola: 1248124 markings,
lola: 1362713 markings,
lola: 1476758 markings,
lola: 1590905 markings,
lola: 1705603 markings,
lola: 1820446 markings,
lola: 1933050 markings,
lola: 2044823 markings,
lola: 2156539 markings,
lola: 2269076 markings,
lola: 2381414 markings,
lola: 2492965 markings,
lola: 2604026 markings,
lola: 2715834 markings,
lola: 2827624 markings,
lola: 2939653 markings,
lola: 3053181 markings,
lola: 3167304 markings,
lola: 3282228 markings,
lola: 3397142 markings,
lola: 3511238 markings,
lola: 3625248 markings,
lola: 3739685 markings,
lola: 3854364 markings,
lola: 3968692 markings,
lola: 4082525 markings,
lola: 4196254 markings,
lola: 4309775 markings,
lola: 4423306 markings,
lola: 4536695 markings,
lola: 4650120 markings,
lola: 4763464 markings,
lola: 4877207 markings,
lola: 4990055 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: 181036 markings,
lola: 349942 markings,
lola: 516009 markings,
lola: 677268 markings,
lola: 843604 markings,
lola: 1009015 markings,
lola: 1172796 markings,
lola: 1334881 markings,
lola: 1497373 markings,
lola: 1660046 markings,
lola: 1823259 markings,
lola: 1986260 markings,
lola: 2149313 markings,
lola: 2310399 markings,
lola: 2469409 markings,
lola: 2634058 markings,
lola: 2793757 markings,
lola: 2951526 markings,
lola: 3108212 markings,
lola: 3263879 markings,
lola: 3419859 markings,
lola: 3575197 markings,
lola: 3729679 markings,
lola: 3890296 markings,
lola: 4038279 markings,
lola: 4160744 markings,
lola: 4280986 markings,
lola: 4387553 markings,
lola: 4493964 markings,
lola: 4599806 markings,
lola: 4705292 markings,
lola: 4811157 markings,
lola: 4925654 markings,
lola: 5039824 markings,
lola: 5154112 markings,
lola: 5268107 markings,
lola: 5385856 markings,
lola: 5509608 markings,
lola: 5632935 markings,
lola: 5755886 markings,
lola: 5877342 markings,
lola: 6000504 markings,
lola: 6123527 markings,
lola: 6245850 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: 178974 markings,
lola: 346732 markings,
lola: 511724 markings,
lola: 670857 markings,
lola: 835468 markings,
lola: 999679 markings,
lola: 1161714 markings,
lola: 1323608 markings,
lola: 1485027 markings,
lola: 1646627 markings,
lola: 1808846 markings,
lola: 1970377 markings,
lola: 2130666 markings,
lola: 2289957 markings,
lola: 2448087 markings,
lola: 2608245 markings,
lola: 2766282 markings,
lola: 2920926 markings,
lola: 3075540 markings,
lola: 3229030 markings,
lola: 3383445 markings,
lola: 3538058 markings,
lola: 3692111 markings,
lola: 3850468 markings,
lola: 4006404 markings,
lola: 4128772 markings,
lola: 4249623 markings,
lola: 4358285 markings,
lola: 4463982 markings,
lola: 4569502 markings,
lola: 4674378 markings,
lola: 4778427 markings,
lola: 4891031 markings,
lola: 5005247 markings,
lola: 5119084 markings,
lola: 5232977 markings,
lola: 5347378 markings,
lola: 5470784 markings,
lola: 5594081 markings,
lola: 5717381 markings,
lola: 5840436 markings,
lola: 5963934 markings,
lola: 6086648 markings,
lola: 6209622 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: 179891 markings,
lola: 350269 markings,
lola: 518390 markings,
lola: 682991 markings,
lola: 849728 markings,
lola: 1010607 markings,
lola: 1170078 markings,
lola: 1329623 markings,
lola: 1489433 markings,
lola: 1648957 markings,
lola: 1808259 markings,
lola: 1966614 markings,
lola: 2124315 markings,
lola: 2279722 markings,
lola: 2432511 markings,
lola: 2587862 markings,
lola: 2742229 markings,
lola: 2895730 markings,
lola: 3048054 markings,
lola: 3201036 markings,
lola: 3353644 markings,
lola: 3506208 markings,
lola: 3657541 markings,
lola: 3815903 markings,
lola: 3974227 markings,
lola: 4103823 markings,
lola: 4225697 markings,
lola: 4337213 markings,
lola: 4440784 markings,
lola: 4546467 markings,
lola: 4652092 markings,
lola: 4757172 markings,
lola: 4867435 markings,
lola: 4981668 markings,
lola: 5094974 markings,
lola: 5208599 markings,
lola: 5321079 markings,
lola: 5442899 markings,
lola: 5565912 markings,
lola: 5689092 markings,
lola: 5812111 markings,
lola: 5936326 markings,
lola: 6060997 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: 113474 markings,
lola: 227672 markings,
lola: 341466 markings,
lola: 455185 markings,
lola: 568898 markings,
lola: 682302 markings,
lola: 795595 markings,
lola: 908901 markings,
lola: 1022096 markings,
lola: 1134050 markings,
lola: 1247102 markings,
lola: 1359956 markings,
lola: 1472704 markings,
lola: 1585415 markings,
lola: 1698156 markings,
lola: 1810846 markings,
lola: 1923458 markings,
lola: 2035940 markings,
lola: 2148436 markings,
lola: 2260824 markings,
lola: 2373183 markings,
lola: 2485433 markings,
lola: 2597479 markings,
lola: 2708861 markings,
lola: 2820250 markings,
lola: 2931550 markings,
lola: 3042926 markings,
lola: 3154353 markings,
lola: 3265949 markings,
lola: 3377861 markings,
lola: 3490221 markings,
lola: 3602606 markings,
lola: 3714876 markings,
lola: 3827136 markings,
lola: 3939225 markings,
lola: 4051410 markings,
lola: 4163576 markings,
lola: 4272480 markings,
lola: 4384310 markings,
lola: 4495923 markings,
lola: 4607353 markings,
lola: 4718851 markings,
lola: 4830362 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: 114260 markings,
lola: 228173 markings,
lola: 343026 markings,
lola: 457408 markings,
lola: 572073 markings,
lola: 686753 markings,
lola: 800598 markings,
lola: 913743 markings,
lola: 1024921 markings,
lola: 1138129 markings,
lola: 1251347 markings,
lola: 1365328 markings,
lola: 1478819 markings,
lola: 1590617 markings,
lola: 1704251 markings,
lola: 1818246 markings,
lola: 1932307 markings,
lola: 2046363 markings,
lola: 2161174 markings,
lola: 2276552 markings,
lola: 2391523 markings,
lola: 2505923 markings,
lola: 2620319 markings,
lola: 2735474 markings,
lola: 2850500 markings,
lola: 2964967 markings,
lola: 3079170 markings,
lola: 3193779 markings,
lola: 3308951 markings,
lola: 3423878 markings,
lola: 3538055 markings,
lola: 3652236 markings,
lola: 3766915 markings,
lola: 3881690 markings,
lola: 3993606 markings,
lola: 4105856 markings,
lola: 4219099 markings,
lola: 4332465 markings,
lola: 4445973 markings,
lola: 4559467 markings,
lola: 4672865 markings,
lola: 4786123 markings,
lola: 4899147 markings,
lola: 5011957 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: 181011 markings,
lola: 345681 markings,
lola: 512550 markings,
lola: 675714 markings,
lola: 843713 markings,
lola: 1010377 markings,
lola: 1174749 markings,
lola: 1337846 markings,
lola: 1501783 markings,
lola: 1665942 markings,
lola: 1829918 markings,
lola: 1993147 markings,
lola: 2156146 markings,
lola: 2317425 markings,
lola: 2476368 markings,
lola: 2641654 markings,
lola: 2801221 markings,
lola: 2959092 markings,
lola: 3116182 markings,
lola: 3272934 markings,
lola: 3429232 markings,
lola: 3584999 markings,
lola: 3739468 markings,
lola: 3900004 markings,
lola: 4045133 markings,
lola: 4167328 markings,
lola: 4286519 markings,
lola: 4393121 markings,
lola: 4499349 markings,
lola: 4604482 markings,
lola: 4709274 markings,
lola: 4814751 markings,
lola: 4928703 markings,
lola: 5043102 markings,
lola: 5157398 markings,
lola: 5271368 markings,
lola: 5389165 markings,
lola: 5513176 markings,
lola: 5637285 markings,
lola: 5761233 markings,
lola: 5885292 markings,
lola: 6010455 markings,
lola: 6135432 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: 179603 markings,
lola: 347280 markings,
lola: 514421 markings,
lola: 678126 markings,
lola: 847288 markings,
lola: 1014946 markings,
lola: 1180202 markings,
lola: 1344027 markings,
lola: 1508451 markings,
lola: 1672585 markings,
lola: 1835840 markings,
lola: 1998676 markings,
lola: 2160909 markings,
lola: 2321325 markings,
lola: 2479778 markings,
lola: 2643864 markings,
lola: 2802276 markings,
lola: 2959293 markings,
lola: 3115556 markings,
lola: 3271096 markings,
lola: 3425689 markings,
lola: 3580602 markings,
lola: 3734927 markings,
lola: 3895601 markings,
lola: 4040612 markings,
lola: 4162710 markings,
lola: 4280686 markings,
lola: 4385727 markings,
lola: 4490177 markings,
lola: 4595908 markings,
lola: 4701578 markings,
lola: 4807051 markings,
lola: 4922056 markings,
lola: 5036524 markings,
lola: 5150812 markings,
lola: 5264675 markings,
lola: 5382033 markings,
lola: 5505837 markings,
lola: 5629581 markings,
lola: 5752898 markings,
lola: 5875914 markings,
lola: 5999718 markings,
lola: 6123357 markings,
lola: 6246999 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: 114349 markings,
lola: 229794 markings,
lola: 344532 markings,
lola: 459263 markings,
lola: 574249 markings,
lola: 689440 markings,
lola: 804512 markings,
lola: 918897 markings,
lola: 1033418 markings,
lola: 1148708 markings,
lola: 1264083 markings,
lola: 1378921 markings,
lola: 1493459 markings,
lola: 1608119 markings,
lola: 1723187 markings,
lola: 1838102 markings,
lola: 1952409 markings,
lola: 2066679 markings,
lola: 2181833 markings,
lola: 2297132 markings,
lola: 2411882 markings,
lola: 2525537 markings,
lola: 2639133 markings,
lola: 2753186 markings,
lola: 2867665 markings,
lola: 2981896 markings,
lola: 3096054 markings,
lola: 3210738 markings,
lola: 3325847 markings,
lola: 3439628 markings,
lola: 3552845 markings,
lola: 3665972 markings,
lola: 3779854 markings,
lola: 3893570 markings,
lola: 4006832 markings,
lola: 4119838 markings,
lola: 4232906 markings,
lola: 4346201 markings,
lola: 4459375 markings,
lola: 4573221 markings,
lola: 4687141 markings,
lola: 4800864 markings,
lola: 4914426 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: 113747 markings,
lola: 228584 markings,
lola: 342797 markings,
lola: 456420 markings,
lola: 570258 markings,
lola: 684305 markings,
lola: 798298 markings,
lola: 911770 markings,
lola: 1025205 markings,
lola: 1139353 markings,
lola: 1253216 markings,
lola: 1366829 markings,
lola: 1480208 markings,
lola: 1593522 markings,
lola: 1707144 markings,
lola: 1821097 markings,
lola: 1934508 markings,
lola: 2047777 markings,
lola: 2161868 markings,
lola: 2276415 markings,
lola: 2390658 markings,
lola: 2504297 markings,
lola: 2617652 markings,
lola: 2732295 markings,
lola: 2846994 markings,
lola: 2961226 markings,
lola: 3075102 markings,
lola: 3189451 markings,
lola: 3304138 markings,
lola: 3418635 markings,
lola: 3532507 markings,
lola: 3646296 markings,
lola: 3755783 markings,
lola: 3869978 markings,
lola: 3983962 markings,
lola: 4096938 markings,
lola: 4209879 markings,
lola: 4323146 markings,
lola: 4437064 markings,
lola: 4550936 markings,
lola: 4664807 markings,
lola: 4775232 markings,
lola: 4889016 markings,
lola: 5002752 markings,
lola: time limit
lola:
preliminary result:
lola: caught signal
FORMULA CSRepetitions-COL
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
FORMULA CSRepetitions
----- Kill lola
----- Finished stdout -----

BK_STOP 1494624454255

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

----- Start make prepare
----- Start make result
----- Start make result
----- Kill lola and
----- Finished stderr -----
ready (probing ssh) =============================================================== examination is UpperBounds is 3600 seconds is 16384 MBytes is r018-ebro-149436308900128 ========================================= 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 ----- 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) 511144 edges, 35510 markings/sec, 0 secs 888497 edges, 32028 markings/sec, 5 secs 1260729 edges, 32353 markings/sec, 10 secs 1643289 edges, 32284 markings/sec, 15 secs 2125487 edges, 32081 markings/sec, 20 secs 2612496 edges, 32748 markings/sec, 25 secs 3102508 edges, 32535 markings/sec, 30 secs 3466761 edges, 31987 markings/sec, 35 secs 3840497 edges, 31627 markings/sec, 40 secs 4231842 edges, 31797 markings/sec, 45 secs 4607979 edges, 31764 markings/sec, 50 secs 5004598 edges, 32046 markings/sec, 55 secs 5414837 edges, 31838 markings/sec, 60 secs 5780737 edges, 31493 markings/sec, 65 secs 6248226 edges, 31233 markings/sec, 70 secs 6720206 edges, 31675 markings/sec, 75 secs 7210658 edges, 31591 markings/sec, 80 secs 7564645 edges, 30914 markings/sec, 85 secs 7927213 edges, 30788 markings/sec, 90 secs 8298108 edges, 30597 markings/sec, 95 secs 8666954 edges, 30678 markings/sec, 100 secs 9041926 edges, 30537 markings/sec, 105 secs 9423426 edges, 30377 markings/sec, 110 secs 9828519 edges, 31042 markings/sec, 115 secs 10297397 edges, 31183 markings/sec, 120 secs 10675240 edges, 26055 markings/sec, 125 secs 11040447 edges, 24150 markings/sec, 130 secs 11363622 edges, 22548 markings/sec, 135 secs 11638178 edges, 21166 markings/sec, 140 secs 11930296 edges, 21078 markings/sec, 145 secs 12212246 edges, 21124 markings/sec, 150 secs 12511080 edges, 20985 markings/sec, 155 secs 12815509 edges, 21934 markings/sec, 160 secs 13119993 edges, 22814 markings/sec, 165 secs 13427331 edges, 22566 markings/sec, 170 secs 13726261 edges, 22522 markings/sec, 175 secs 14032240 edges, 22391 markings/sec, 180 secs 14287073 edges, 23888 markings/sec, 185 secs 14539118 edges, 24287 markings/sec, 190 secs 14792492 edges, 24201 markings/sec, 195 secs 15049584 edges, 24131 markings/sec, 200 secs 15307390 edges, 24258 markings/sec, 205 secs 15565977 edges, 24414 markings/sec, 210 secs 15829253 edges, 24421 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) 726995 edges, 24242 markings/sec, 0 secs 1493303 edges, 22833 markings/sec, 5 secs 2257637 edges, 22421 markings/sec, 10 secs 3052586 edges, 21648 markings/sec, 15 secs 3848101 edges, 21714 markings/sec, 20 secs 4616386 edges, 21654 markings/sec, 25 secs 5422070 edges, 20974 markings/sec, 30 secs 6204596 edges, 20910 markings/sec, 35 secs 7036260 edges, 20453 markings/sec, 40 secs 7845889 edges, 20870 markings/sec, 45 secs 8606695 edges, 21423 markings/sec, 50 secs 9393323 edges, 20586 markings/sec, 55 secs 10175061 edges, 20866 markings/sec, 60 secs 10995114 edges, 20236 markings/sec, 65 secs 11825192 edges, 20304 markings/sec, 70 secs 12630225 edges, 20619 markings/sec, 75 secs 13458212 edges, 20166 markings/sec, 80 secs 14289959 edges, 20009 markings/sec, 85 secs 15145029 edges, 19670 markings/sec, 90 secs 16020970 edges, 19029 markings/sec, 95 secs 16755893 edges, 21639 markings/sec, 100 secs 17527468 edges, 20912 markings/sec, 105 secs 18315031 edges, 20609 markings/sec, 110 secs 19114646 edges, 20274 markings/sec, 115 secs 19946364 edges, 19410 markings/sec, 120 secs 20725157 edges, 20833 markings/sec, 125 secs 21537439 edges, 20024 markings/sec, 130 secs 22365094 edges, 19765 markings/sec, 135 secs 23203434 edges, 19423 markings/sec, 140 secs 24059240 edges, 19173 markings/sec, 145 secs 24873798 edges, 20186 markings/sec, 150 secs 25679486 edges, 20416 markings/sec, 155 secs 26514618 edges, 19452 markings/sec, 160 secs 27336234 edges, 19979 markings/sec, 165 secs 28188516 edges, 19200 markings/sec, 170 secs 29041749 edges, 19258 markings/sec, 175 secs 29884793 edges, 19534 markings/sec, 180 secs 30742176 edges, 19218 markings/sec, 185 secs 31600436 edges, 18902 markings/sec, 190 secs 32460952 edges, 18391 markings/sec, 195 secs 33337685 edges, 17715 markings/sec, 200 secs 34094141 edges, 20563 markings/sec, 205 secs 34845758 edges, 20661 markings/sec, 210 secs 35617493 edges, 20040 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) 112831 edges, 22558 markings/sec, 0 secs 226423 edges, 22718 markings/sec, 5 secs 338935 edges, 22502 markings/sec, 10 secs 451009 edges, 22415 markings/sec, 15 secs 562558 edges, 22310 markings/sec, 20 secs 675812 edges, 22651 markings/sec, 25 secs 787688 edges, 22375 markings/sec, 30 secs 897910 edges, 22044 markings/sec, 35 secs 1009584 edges, 22335 markings/sec, 40 secs 1122139 edges, 22511 markings/sec, 45 secs 1235077 edges, 22588 markings/sec, 50 secs 1347727 edges, 22530 markings/sec, 55 secs 1459553 edges, 22365 markings/sec, 60 secs 1571186 edges, 22327 markings/sec, 65 secs 1683646 edges, 22492 markings/sec, 70 secs 1795961 edges, 22463 markings/sec, 75 secs 1905977 edges, 22003 markings/sec, 80 secs 2016742 edges, 22153 markings/sec, 85 secs 2128439 edges, 22340 markings/sec, 90 secs 2241642 edges, 22641 markings/sec, 95 secs 2355775 edges, 22827 markings/sec, 100 secs 2469340 edges, 22713 markings/sec, 105 secs 2579667 edges, 22065 markings/sec, 110 secs 2694259 edges, 22918 markings/sec, 115 secs 2808932 edges, 22935 markings/sec, 120 secs 2923330 edges, 22880 markings/sec, 125 secs 3037247 edges, 22783 markings/sec, 130 secs 3151133 edges, 22777 markings/sec, 135 secs 3266099 edges, 22993 markings/sec, 140 secs 3380855 edges, 22951 markings/sec, 145 secs 3495135 edges, 22856 markings/sec, 150 secs 3609146 edges, 22802 markings/sec, 155 secs 3723389 edges, 22849 markings/sec, 160 secs 3837909 edges, 22904 markings/sec, 165 secs 3952366 edges, 22891 markings/sec, 170 secs 4066188 edges, 22764 markings/sec, 175 secs 4179909 edges, 22744 markings/sec, 180 secs 4293122 edges, 22643 markings/sec, 185 secs 4406200 edges, 22616 markings/sec, 190 secs 4519242 edges, 22608 markings/sec, 195 secs 4632283 edges, 22608 markings/sec, 200 secs 4745072 edges, 22558 markings/sec, 205 secs 4856820 edges, 22350 markings/sec, 210 secs 4968547 edges, 22345 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) 113803 edges, 22752 markings/sec, 0 secs 227181 edges, 22676 markings/sec, 5 secs 339736 edges, 22511 markings/sec, 10 secs 451935 edges, 22440 markings/sec, 15 secs 564512 edges, 22516 markings/sec, 20 secs 677604 edges, 22618 markings/sec, 25 secs 790631 edges, 22605 markings/sec, 30 secs 903136 edges, 22501 markings/sec, 35 secs 1015732 edges, 22519 markings/sec, 40 secs 1129046 edges, 22663 markings/sec, 45 secs 1242545 edges, 22700 markings/sec, 50 secs 1355632 edges, 22617 markings/sec, 55 secs 1468402 edges, 22554 markings/sec, 60 secs 1581172 edges, 22554 markings/sec, 65 secs 1694572 edges, 22680 markings/sec, 70 secs 1807922 edges, 22670 markings/sec, 75 secs 1921755 edges, 22767 markings/sec, 80 secs 2035367 edges, 22722 markings/sec, 85 secs 2149679 edges, 22862 markings/sec, 90 secs 2264536 edges, 22971 markings/sec, 95 secs 2379169 edges, 22927 markings/sec, 100 secs 2493157 edges, 22798 markings/sec, 105 secs 2606615 edges, 22692 markings/sec, 110 secs 2720588 edges, 22794 markings/sec, 115 secs 2834677 edges, 22818 markings/sec, 120 secs 2948118 edges, 22688 markings/sec, 125 secs 3060726 edges, 22522 markings/sec, 130 secs 3172953 edges, 22445 markings/sec, 135 secs 3285966 edges, 22603 markings/sec, 140 secs 3398867 edges, 22580 markings/sec, 145 secs 3510596 edges, 22346 markings/sec, 150 secs 3622006 edges, 22282 markings/sec, 155 secs 3734416 edges, 22482 markings/sec, 160 secs 3847628 edges, 22642 markings/sec, 165 secs 3960330 edges, 22540 markings/sec, 170 secs 4072336 edges, 22401 markings/sec, 175 secs 4183984 edges, 22330 markings/sec, 180 secs 4295777 edges, 22359 markings/sec, 185 secs 4407483 edges, 22341 markings/sec, 190 secs 4519169 edges, 22337 markings/sec, 195 secs 4630784 edges, 22323 markings/sec, 200 secs 4742679 edges, 22379 markings/sec, 205 secs 4855019 edges, 22468 markings/sec, 210 secs 4967267 edges, 22450 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) 724846 edges, 24177 markings/sec, 0 secs 1449872 edges, 21614 markings/sec, 5 secs 2194988 edges, 21880 markings/sec, 10 secs 2954569 edges, 20983 markings/sec, 15 secs 3720376 edges, 20256 markings/sec, 20 secs 4425645 edges, 20272 markings/sec, 25 secs 5183125 edges, 20474 markings/sec, 30 secs 5960142 edges, 20309 markings/sec, 35 secs 6756805 edges, 20183 markings/sec, 40 secs 7597442 edges, 19494 markings/sec, 45 secs 8304584 edges, 21258 markings/sec, 50 secs 9045292 edges, 20102 markings/sec, 55 secs 9799382 edges, 19784 markings/sec, 60 secs 10561988 edges, 19335 markings/sec, 65 secs 11344939 edges, 19007 markings/sec, 70 secs 12113602 edges, 19736 markings/sec, 75 secs 12880423 edges, 19353 markings/sec, 80 secs 13675096 edges, 18379 markings/sec, 85 secs 14456725 edges, 19252 markings/sec, 90 secs 15269792 edges, 18497 markings/sec, 95 secs 16085813 edges, 18411 markings/sec, 100 secs 16805696 edges, 20839 markings/sec, 105 secs 17521426 edges, 19429 markings/sec, 110 secs 18258763 edges, 19339 markings/sec, 115 secs 19004008 edges, 18875 markings/sec, 120 secs 19770716 edges, 18455 markings/sec, 125 secs 20513390 edges, 19191 markings/sec, 130 secs 21263027 edges, 18894 markings/sec, 135 secs 22056972 edges, 18408 markings/sec, 140 secs 22851508 edges, 19525 markings/sec, 145 secs 23678848 edges, 18771 markings/sec, 150 secs 24510609 edges, 18722 markings/sec, 155 secs 25288393 edges, 20192 markings/sec, 160 secs 26085612 edges, 19625 markings/sec, 165 secs 26896210 edges, 19366 markings/sec, 170 secs 27720721 edges, 19093 markings/sec, 175 secs 28564095 edges, 18520 markings/sec, 180 secs 29381667 edges, 19394 markings/sec, 185 secs 30205432 edges, 18911 markings/sec, 190 secs 31059402 edges, 18061 markings/sec, 195 secs 31891679 edges, 18865 markings/sec, 200 secs 32754770 edges, 18100 markings/sec, 205 secs 33624171 edges, 18081 markings/sec, 210 secs 34338305 edges, 20800 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) 114762 edges, 22920 markings/sec, 0 secs 228340 edges, 22716 markings/sec, 5 secs 341701 edges, 22672 markings/sec, 10 secs 454529 edges, 22566 markings/sec, 15 secs 567345 edges, 22563 markings/sec, 20 secs 680236 edges, 22578 markings/sec, 25 secs 793057 edges, 22564 markings/sec, 30 secs 905812 edges, 22551 markings/sec, 35 secs 1018565 edges, 22550 markings/sec, 40 secs 1131416 edges, 22570 markings/sec, 45 secs 1244027 edges, 22522 markings/sec, 50 secs 1356629 edges, 22520 markings/sec, 55 secs 1469196 edges, 22513 markings/sec, 60 secs 1581683 edges, 22497 markings/sec, 65 secs 1693704 edges, 22404 markings/sec, 70 secs 1805517 edges, 22363 markings/sec, 75 secs 1917373 edges, 22371 markings/sec, 80 secs 2029055 edges, 22337 markings/sec, 85 secs 2140811 edges, 22351 markings/sec, 90 secs 2252324 edges, 22303 markings/sec, 95 secs 2363899 edges, 22315 markings/sec, 100 secs 2475436 edges, 22307 markings/sec, 105 secs 2586807 edges, 22274 markings/sec, 110 secs 2698299 edges, 22298 markings/sec, 115 secs 2808865 edges, 22113 markings/sec, 120 secs 2919373 edges, 22102 markings/sec, 125 secs 3029544 edges, 22034 markings/sec, 130 secs 3139741 edges, 22039 markings/sec, 135 secs 3249934 edges, 22039 markings/sec, 140 secs 3360008 edges, 22015 markings/sec, 145 secs 3470261 edges, 22051 markings/sec, 150 secs 3580518 edges, 22051 markings/sec, 155 secs 3691282 edges, 22153 markings/sec, 160 secs 3801997 edges, 22143 markings/sec, 165 secs 3913218 edges, 22244 markings/sec, 170 secs 4024280 edges, 22212 markings/sec, 175 secs 4134005 edges, 21945 markings/sec, 180 secs 4245568 edges, 22313 markings/sec, 185 secs 4357054 edges, 22297 markings/sec, 190 secs 4468646 edges, 22319 markings/sec, 195 secs 4580184 edges, 22307 markings/sec, 200 secs 4691615 edges, 22286 markings/sec, 205 secs 4803094 edges, 22296 markings/sec, 210 secs 4914240 edges, 22229 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) 113268 edges, 22645 markings/sec, 0 secs 227819 edges, 22910 markings/sec, 5 secs 341736 edges, 22783 markings/sec, 10 secs 454992 edges, 22651 markings/sec, 15 secs 567704 edges, 22542 markings/sec, 20 secs 681375 edges, 22734 markings/sec, 25 secs 795238 edges, 22773 markings/sec, 30 secs 905774 edges, 22107 markings/sec, 35 secs 1018841 edges, 22613 markings/sec, 40 secs 1133293 edges, 22891 markings/sec, 45 secs 1248167 edges, 22975 markings/sec, 50 secs 1362756 edges, 22918 markings/sec, 55 secs 1476802 edges, 22809 markings/sec, 60 secs 1590948 edges, 22829 markings/sec, 65 secs 1705646 edges, 22940 markings/sec, 70 secs 1820489 edges, 22969 markings/sec, 75 secs 1933094 edges, 22521 markings/sec, 80 secs 2044866 edges, 22355 markings/sec, 85 secs 2156582 edges, 22343 markings/sec, 90 secs 2269119 edges, 22507 markings/sec, 95 secs 2381457 edges, 22468 markings/sec, 100 secs 2493008 edges, 22310 markings/sec, 105 secs 2604070 edges, 22212 markings/sec, 110 secs 2715877 edges, 22362 markings/sec, 115 secs 2827667 edges, 22358 markings/sec, 120 secs 2939696 edges, 22406 markings/sec, 125 secs 3053224 edges, 22706 markings/sec, 130 secs 3167347 edges, 22825 markings/sec, 135 secs 3282272 edges, 22985 markings/sec, 140 secs 3397185 edges, 22983 markings/sec, 145 secs 3511281 edges, 22819 markings/sec, 150 secs 3625292 edges, 22802 markings/sec, 155 secs 3739728 edges, 22887 markings/sec, 160 secs 3854407 edges, 22936 markings/sec, 165 secs 3968735 edges, 22866 markings/sec, 170 secs 4082568 edges, 22767 markings/sec, 175 secs 4196297 edges, 22746 markings/sec, 180 secs 4309818 edges, 22704 markings/sec, 185 secs 4423349 edges, 22706 markings/sec, 190 secs 4536738 edges, 22678 markings/sec, 195 secs 4650163 edges, 22685 markings/sec, 200 secs 4763507 edges, 22669 markings/sec, 205 secs 4877250 edges, 22749 markings/sec, 210 secs 4990098 edges, 22570 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) 522338 edges, 36207 markings/sec, 0 secs 917020 edges, 33781 markings/sec, 5 secs 1295948 edges, 33213 markings/sec, 10 secs 1690400 edges, 32252 markings/sec, 15 secs 2197985 edges, 33267 markings/sec, 20 secs 2684521 edges, 33082 markings/sec, 25 secs 3157583 edges, 32756 markings/sec, 30 secs 3530849 edges, 32417 markings/sec, 35 secs 3918367 edges, 32498 markings/sec, 40 secs 4311849 edges, 32535 markings/sec, 45 secs 4706209 edges, 32643 markings/sec, 50 secs 5113739 edges, 32600 markings/sec, 55 secs 5518239 edges, 32611 markings/sec, 60 secs 5926013 edges, 32217 markings/sec, 65 secs 6419517 edges, 31802 markings/sec, 70 secs 6896357 edges, 32930 markings/sec, 75 secs 7350756 edges, 31940 markings/sec, 80 secs 7715400 edges, 31554 markings/sec, 85 secs 8088680 edges, 31337 markings/sec, 90 secs 8466209 edges, 31133 markings/sec, 95 secs 8841604 edges, 31196 markings/sec, 100 secs 9226870 edges, 31068 markings/sec, 105 secs 9623684 edges, 30896 markings/sec, 110 secs 10072865 edges, 32123 markings/sec, 115 secs 10517462 edges, 29597 markings/sec, 120 secs 10875794 edges, 24493 markings/sec, 125 secs 11251768 edges, 24048 markings/sec, 130 secs 11518970 edges, 21313 markings/sec, 135 secs 11802130 edges, 21282 markings/sec, 140 secs 12090886 edges, 21168 markings/sec, 145 secs 12384270 edges, 21097 markings/sec, 150 secs 12692919 edges, 21173 markings/sec, 155 secs 12994760 edges, 22899 markings/sec, 160 secs 13305589 edges, 22834 markings/sec, 165 secs 13606008 edges, 22858 markings/sec, 170 secs 13914473 edges, 22799 markings/sec, 175 secs 14197769 edges, 23550 markings/sec, 180 secs 14452210 edges, 24750 markings/sec, 185 secs 14710414 edges, 24665 markings/sec, 190 secs 14970399 edges, 24590 markings/sec, 195 secs 15230918 edges, 24291 markings/sec, 200 secs 15490301 edges, 24632 markings/sec, 205 secs 15756066 edges, 24605 markings/sec, 210 secs 16020929 edges, 24465 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 8 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(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) 515784 edges, 35795 markings/sec, 0 secs 909261 edges, 33552 markings/sec, 5 secs 1286624 edges, 32998 markings/sec, 10 secs 1673053 edges, 31827 markings/sec, 15 secs 2171897 edges, 32922 markings/sec, 20 secs 2658865 edges, 32842 markings/sec, 25 secs 3133194 edges, 32407 markings/sec, 30 secs 3504111 edges, 32379 markings/sec, 35 secs 3887050 edges, 32284 markings/sec, 40 secs 4281100 edges, 32320 markings/sec, 45 secs 4670815 edges, 32444 markings/sec, 50 secs 5071855 edges, 32306 markings/sec, 55 secs 5478078 edges, 32058 markings/sec, 60 secs 5865678 edges, 31858 markings/sec, 65 secs 6347971 edges, 31626 markings/sec, 70 secs 6823617 edges, 32032 markings/sec, 75 secs 7289826 edges, 31607 markings/sec, 80 secs 7643279 edges, 30929 markings/sec, 85 secs 8008086 edges, 30923 markings/sec, 90 secs 8387716 edges, 30698 markings/sec, 95 secs 8752341 edges, 30883 markings/sec, 100 secs 9134801 edges, 30923 markings/sec, 105 secs 9527019 edges, 30811 markings/sec, 110 secs 9952182 edges, 31671 markings/sec, 115 secs 10440356 edges, 31187 markings/sec, 120 secs 10780019 edges, 24474 markings/sec, 125 secs 11151826 edges, 24170 markings/sec, 130 secs 11442140 edges, 21732 markings/sec, 135 secs 11720917 edges, 21139 markings/sec, 140 secs 12009430 edges, 21104 markings/sec, 145 secs 12299091 edges, 20975 markings/sec, 150 secs 12598585 edges, 20810 markings/sec, 155 secs 12900224 edges, 22521 markings/sec, 160 secs 13209248 edges, 22843 markings/sec, 165 secs 13513853 edges, 22767 markings/sec, 170 secs 13817894 edges, 22779 markings/sec, 175 secs 14120317 edges, 22880 markings/sec, 180 secs 14372193 edges, 24681 markings/sec, 185 secs 14631118 edges, 24659 markings/sec, 190 secs 14889280 edges, 24660 markings/sec, 195 secs 15153591 edges, 24611 markings/sec, 200 secs 15412436 edges, 24700 markings/sec, 205 secs 15675498 edges, 24543 markings/sec, 210 secs 15940467 edges, 24595 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 9 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) 518916 edges, 35978 markings/sec, 0 secs 917883 edges, 34076 markings/sec, 5 secs 1300841 edges, 33624 markings/sec, 10 secs 1706264 edges, 32920 markings/sec, 15 secs 2219033 edges, 33347 markings/sec, 20 secs 2689004 edges, 32176 markings/sec, 25 secs 3151457 edges, 31894 markings/sec, 30 secs 3518289 edges, 31909 markings/sec, 35 secs 3898126 edges, 31962 markings/sec, 40 secs 4286669 edges, 31905 markings/sec, 45 secs 4669434 edges, 31860 markings/sec, 50 secs 5062142 edges, 31671 markings/sec, 55 secs 5464681 edges, 31540 markings/sec, 60 secs 5838782 edges, 31081 markings/sec, 65 secs 6297216 edges, 30558 markings/sec, 70 secs 6757969 edges, 31070 markings/sec, 75 secs 7238666 edges, 30873 markings/sec, 80 secs 7583618 edges, 30700 markings/sec, 85 secs 7942982 edges, 30465 markings/sec, 90 secs 8315030 edges, 30596 markings/sec, 95 secs 8681904 edges, 30522 markings/sec, 100 secs 9056148 edges, 30513 markings/sec, 105 secs 9437057 edges, 30267 markings/sec, 110 secs 9850753 edges, 31672 markings/sec, 115 secs 10332631 edges, 31665 markings/sec, 120 secs 10704161 edges, 25919 markings/sec, 125 secs 11075101 edges, 24375 markings/sec, 130 secs 11389698 edges, 22303 markings/sec, 135 secs 11658595 edges, 20714 markings/sec, 140 secs 11949219 edges, 21137 markings/sec, 145 secs 12235408 edges, 21125 markings/sec, 150 secs 12534632 edges, 21016 markings/sec, 155 secs 12838733 edges, 22053 markings/sec, 160 secs 13144348 edges, 22847 markings/sec, 165 secs 13451628 edges, 22661 markings/sec, 170 secs 13752897 edges, 22725 markings/sec, 175 secs 14063852 edges, 22496 markings/sec, 180 secs 14314676 edges, 24364 markings/sec, 185 secs 14570703 edges, 24603 markings/sec, 190 secs 14828559 edges, 24636 markings/sec, 195 secs 15091332 edges, 24604 markings/sec, 200 secs 15353829 edges, 24843 markings/sec, 205 secs 15619690 edges, 24934 markings/sec, 210 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) 113636 edges, 22695 markings/sec, 0 secs 227835 edges, 22840 markings/sec, 5 secs 341628 edges, 22759 markings/sec, 10 secs 455347 edges, 22744 markings/sec, 15 secs 569060 edges, 22743 markings/sec, 20 secs 682464 edges, 22681 markings/sec, 25 secs 795757 edges, 22659 markings/sec, 30 secs 909064 edges, 22661 markings/sec, 35 secs 1022258 edges, 22639 markings/sec, 40 secs 1134212 edges, 22391 markings/sec, 45 secs 1247264 edges, 22610 markings/sec, 50 secs 1360118 edges, 22571 markings/sec, 55 secs 1472866 edges, 22550 markings/sec, 60 secs 1585577 edges, 22542 markings/sec, 65 secs 1698318 edges, 22548 markings/sec, 70 secs 1811009 edges, 22538 markings/sec, 75 secs 1923620 edges, 22522 markings/sec, 80 secs 2036102 edges, 22496 markings/sec, 85 secs 2148598 edges, 22499 markings/sec, 90 secs 2260986 edges, 22478 markings/sec, 95 secs 2373345 edges, 22472 markings/sec, 100 secs 2485595 edges, 22450 markings/sec, 105 secs 2597641 edges, 22409 markings/sec, 110 secs 2709023 edges, 22276 markings/sec, 115 secs 2820412 edges, 22278 markings/sec, 120 secs 2931713 edges, 22260 markings/sec, 125 secs 3043088 edges, 22275 markings/sec, 130 secs 3154515 edges, 22285 markings/sec, 135 secs 3266111 edges, 22319 markings/sec, 140 secs 3378023 edges, 22382 markings/sec, 145 secs 3490383 edges, 22472 markings/sec, 150 secs 3602768 edges, 22477 markings/sec, 155 secs 3715039 edges, 22454 markings/sec, 160 secs 3827298 edges, 22452 markings/sec, 165 secs 3939387 edges, 22418 markings/sec, 170 secs 4051572 edges, 22437 markings/sec, 175 secs 4163738 edges, 22433 markings/sec, 180 secs 4272642 edges, 21781 markings/sec, 185 secs 4384472 edges, 22366 markings/sec, 190 secs 4496085 edges, 22323 markings/sec, 195 secs 4607515 edges, 22286 markings/sec, 200 secs 4719013 edges, 22300 markings/sec, 205 secs 4830524 edges, 22302 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) 114304 edges, 22852 markings/sec, 0 secs 228216 edges, 22783 markings/sec, 5 secs 343069 edges, 22971 markings/sec, 10 secs 457451 edges, 22876 markings/sec, 15 secs 572116 edges, 22933 markings/sec, 20 secs 686796 edges, 22936 markings/sec, 25 secs 800641 edges, 22769 markings/sec, 30 secs 913786 edges, 22629 markings/sec, 35 secs 1024965 edges, 22236 markings/sec, 40 secs 1138172 edges, 22642 markings/sec, 45 secs 1251390 edges, 22644 markings/sec, 50 secs 1365371 edges, 22796 markings/sec, 55 secs 1478863 edges, 22698 markings/sec, 60 secs 1590660 edges, 22360 markings/sec, 65 secs 1704294 edges, 22727 markings/sec, 70 secs 1818289 edges, 22799 markings/sec, 75 secs 1932350 edges, 22812 markings/sec, 80 secs 2046406 edges, 22811 markings/sec, 85 secs 2161217 edges, 22962 markings/sec, 90 secs 2276595 edges, 23076 markings/sec, 95 secs 2391566 edges, 22994 markings/sec, 100 secs 2505966 edges, 22880 markings/sec, 105 secs 2620362 edges, 22879 markings/sec, 110 secs 2735517 edges, 23031 markings/sec, 115 secs 2850543 edges, 23005 markings/sec, 120 secs 2965010 edges, 22893 markings/sec, 125 secs 3079213 edges, 22841 markings/sec, 130 secs 3193822 edges, 22922 markings/sec, 135 secs 3308994 edges, 23034 markings/sec, 140 secs 3423921 edges, 22985 markings/sec, 145 secs 3538098 edges, 22835 markings/sec, 150 secs 3652279 edges, 22836 markings/sec, 155 secs 3766958 edges, 22936 markings/sec, 160 secs 3881733 edges, 22955 markings/sec, 165 secs 3993649 edges, 22383 markings/sec, 170 secs 4105899 edges, 22450 markings/sec, 175 secs 4219143 edges, 22649 markings/sec, 180 secs 4332508 edges, 22673 markings/sec, 185 secs 4446016 edges, 22702 markings/sec, 190 secs 4559510 edges, 22699 markings/sec, 195 secs 4672909 edges, 22680 markings/sec, 200 secs 4786167 edges, 22652 markings/sec, 205 secs 4899190 edges, 22605 markings/sec, 210 secs 5012000 edges, 22562 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) 522266 edges, 36202 markings/sec, 0 secs 906770 edges, 32934 markings/sec, 5 secs 1288473 edges, 33374 markings/sec, 10 secs 1685835 edges, 32633 markings/sec, 15 secs 2198313 edges, 33600 markings/sec, 20 secs 2688299 edges, 33333 markings/sec, 25 secs 3162002 edges, 32874 markings/sec, 30 secs 3537950 edges, 32619 markings/sec, 35 secs 3928143 edges, 32787 markings/sec, 40 secs 4325928 edges, 32832 markings/sec, 45 secs 4723041 edges, 32795 markings/sec, 50 secs 5130552 edges, 32646 markings/sec, 55 secs 5532595 edges, 32600 markings/sec, 60 secs 5946574 edges, 32256 markings/sec, 65 secs 6445041 edges, 31789 markings/sec, 70 secs 6919714 edges, 33057 markings/sec, 75 secs 7368078 edges, 31913 markings/sec, 80 secs 7733464 edges, 31574 markings/sec, 85 secs 8106664 edges, 31418 markings/sec, 90 secs 8487020 edges, 31350 markings/sec, 95 secs 8864714 edges, 31260 markings/sec, 100 secs 9252102 edges, 31153 markings/sec, 105 secs 9644160 edges, 30894 markings/sec, 110 secs 10100726 edges, 32107 markings/sec, 115 secs 10537557 edges, 29026 markings/sec, 120 secs 10894739 edges, 24439 markings/sec, 125 secs 11264328 edges, 23838 markings/sec, 130 secs 11534053 edges, 21320 markings/sec, 135 secs 11817365 edges, 21246 markings/sec, 140 secs 12103709 edges, 21027 markings/sec, 145 secs 12395498 edges, 20958 markings/sec, 150 secs 12702034 edges, 21095 markings/sec, 155 secs 13003589 edges, 22790 markings/sec, 160 secs 13315095 edges, 22880 markings/sec, 165 secs 13614878 edges, 22859 markings/sec, 170 secs 13923150 edges, 22794 markings/sec, 175 secs 14204605 edges, 23559 markings/sec, 180 secs 14459635 edges, 24802 markings/sec, 185 secs 14719530 edges, 24822 markings/sec, 190 secs 14981632 edges, 24790 markings/sec, 195 secs 15247580 edges, 24812 markings/sec, 200 secs 15511216 edges, 25033 markings/sec, 205 secs 15780923 edges, 24995 markings/sec, 210 secs limit reached - aborting aborted or communication problem between parent and child process 13 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) 517911 edges, 35921 markings/sec, 0 secs 910537 edges, 33535 markings/sec, 5 secs 1292513 edges, 33428 markings/sec, 10 secs 1692530 edges, 32741 markings/sec, 15 secs 2210511 edges, 33832 markings/sec, 20 secs 2701567 edges, 33532 markings/sec, 25 secs 3174170 edges, 33051 markings/sec, 30 secs 3553211 edges, 32765 markings/sec, 35 secs 3943593 edges, 32885 markings/sec, 40 secs 4341563 edges, 32827 markings/sec, 45 secs 4738290 edges, 32651 markings/sec, 50 secs 5143935 edges, 32567 markings/sec, 55 secs 5542639 edges, 32447 markings/sec, 60 secs 5958287 edges, 32083 markings/sec, 65 secs 6452456 edges, 31691 markings/sec, 70 secs 6925942 edges, 32817 markings/sec, 75 secs 7370254 edges, 31682 markings/sec, 80 secs 7733977 edges, 31403 markings/sec, 85 secs 8105266 edges, 31253 markings/sec, 90 secs 8482683 edges, 31108 markings/sec, 95 secs 8855792 edges, 30919 markings/sec, 100 secs 9240637 edges, 30983 markings/sec, 105 secs 9634555 edges, 30865 markings/sec, 110 secs 10087585 edges, 32135 markings/sec, 115 secs 10523990 edges, 29002 markings/sec, 120 secs 10881140 edges, 24420 markings/sec, 125 secs 11251117 edges, 23595 markings/sec, 130 secs 11513936 edges, 21008 markings/sec, 135 secs 11791765 edges, 20890 markings/sec, 140 secs 12079634 edges, 21146 markings/sec, 145 secs 12374381 edges, 21134 markings/sec, 150 secs 12682914 edges, 21095 markings/sec, 155 secs 12984711 edges, 23001 markings/sec, 160 secs 13296380 edges, 22894 markings/sec, 165 secs 13597073 edges, 22858 markings/sec, 170 secs 13905201 edges, 22773 markings/sec, 175 secs 14189868 edges, 23472 markings/sec, 180 secs 14444279 edges, 24761 markings/sec, 185 secs 14703492 edges, 24749 markings/sec, 190 secs 14964094 edges, 24663 markings/sec, 195 secs 15227955 edges, 24603 markings/sec, 200 secs 15488728 edges, 24761 markings/sec, 205 secs 15755717 edges, 24728 markings/sec, 210 secs 16023254 edges, 24728 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 14 will run for 220 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(RequestBufferSlots) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 0 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 114392 edges, 22870 markings/sec, 0 secs 229837 edges, 23089 markings/sec, 5 secs 344575 edges, 22948 markings/sec, 10 secs 459306 edges, 22946 markings/sec, 15 secs 574293 edges, 22997 markings/sec, 20 secs 689484 edges, 23038 markings/sec, 25 secs 804555 edges, 23014 markings/sec, 30 secs 918940 edges, 22877 markings/sec, 35 secs 1033461 edges, 22904 markings/sec, 40 secs 1148751 edges, 23058 markings/sec, 45 secs 1264126 edges, 23075 markings/sec, 50 secs 1378965 edges, 22968 markings/sec, 55 secs 1493502 edges, 22908 markings/sec, 60 secs 1608163 edges, 22932 markings/sec, 65 secs 1723231 edges, 23014 markings/sec, 70 secs 1838145 edges, 22983 markings/sec, 75 secs 1952452 edges, 22861 markings/sec, 80 secs 2066722 edges, 22854 markings/sec, 85 secs 2181876 edges, 23031 markings/sec, 90 secs 2297176 edges, 23060 markings/sec, 95 secs 2411925 edges, 22950 markings/sec, 100 secs 2525580 edges, 22731 markings/sec, 105 secs 2639176 edges, 22719 markings/sec, 110 secs 2753229 edges, 22811 markings/sec, 115 secs 2867708 edges, 22896 markings/sec, 120 secs 2981939 edges, 22846 markings/sec, 125 secs 3096098 edges, 22832 markings/sec, 130 secs 3210781 edges, 22937 markings/sec, 135 secs 3325891 edges, 23022 markings/sec, 140 secs 3439671 edges, 22756 markings/sec, 145 secs 3552888 edges, 22643 markings/sec, 150 secs 3666015 edges, 22625 markings/sec, 155 secs 3779898 edges, 22776 markings/sec, 160 secs 3893613 edges, 22743 markings/sec, 165 secs 4006875 edges, 22652 markings/sec, 170 secs 4119881 edges, 22601 markings/sec, 175 secs 4232949 edges, 22614 markings/sec, 180 secs 4346245 edges, 22659 markings/sec, 185 secs 4459419 edges, 22635 markings/sec, 190 secs 4573264 edges, 22769 markings/sec, 195 secs 4687184 edges, 22784 markings/sec, 200 secs 4800907 edges, 22745 markings/sec, 205 secs 4914469 edges, 22712 markings/sec, 210 secs limit reached - aborting aborted or communication problem between parent and child process 15 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(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) 113790 edges, 22749 markings/sec, 0 secs 228627 edges, 22967 markings/sec, 5 secs 342840 edges, 22843 markings/sec, 10 secs 456464 edges, 22725 markings/sec, 15 secs 570301 edges, 22768 markings/sec, 20 secs 684348 edges, 22809 markings/sec, 25 secs 798341 edges, 22799 markings/sec, 30 secs 911813 edges, 22694 markings/sec, 35 secs 1025248 edges, 22687 markings/sec, 40 secs 1139396 edges, 22830 markings/sec, 45 secs 1253259 edges, 22773 markings/sec, 50 secs 1366872 edges, 22723 markings/sec, 55 secs 1480251 edges, 22676 markings/sec, 60 secs 1593565 edges, 22663 markings/sec, 65 secs 1707187 edges, 22724 markings/sec, 70 secs 1821140 edges, 22791 markings/sec, 75 secs 1934551 edges, 22682 markings/sec, 80 secs 2047820 edges, 22654 markings/sec, 85 secs 2161911 edges, 22818 markings/sec, 90 secs 2276458 edges, 22909 markings/sec, 95 secs 2390701 edges, 22849 markings/sec, 100 secs 2504341 edges, 22728 markings/sec, 105 secs 2617695 edges, 22671 markings/sec, 110 secs 2732338 edges, 22929 markings/sec, 115 secs 2847037 edges, 22940 markings/sec, 120 secs 2961269 edges, 22846 markings/sec, 125 secs 3075145 edges, 22775 markings/sec, 130 secs 3189494 edges, 22870 markings/sec, 135 secs 3304181 edges, 22937 markings/sec, 140 secs 3418678 edges, 22899 markings/sec, 145 secs 3532550 edges, 22774 markings/sec, 150 secs 3646339 edges, 22758 markings/sec, 155 secs 3755827 edges, 21897 markings/sec, 160 secs 3870022 edges, 22839 markings/sec, 165 secs 3984005 edges, 22797 markings/sec, 170 secs 4096981 edges, 22595 markings/sec, 175 secs 4209922 edges, 22588 markings/sec, 180 secs 4323189 edges, 22653 markings/sec, 185 secs 4437107 edges, 22784 markings/sec, 190 secs 4550979 edges, 22774 markings/sec, 195 secs 4664850 edges, 22774 markings/sec, 200 secs 4775276 edges, 22085 markings/sec, 205 secs 4889059 edges, 22757 markings/sec, 210 secs 5002796 edges, 22747 markings/sec, 215 secs reached - aborting unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown User defined signal 1 - aborting LoLA -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="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/CSRepetitions-PT-07.tgz
mv 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 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 r018-ebro-149436308900128"
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 ;