MCC'2017 - Execution of r018-ebro-149436309000182

About the Execution of LoLA for DatabaseWithMutex-PT-20

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
10938.970	3540227.00	3556574.00	992.60	? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?	normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be
.................
======
Generated by BenchKit 2-3253
Executing tool lola
Input is DatabaseWithMutex-PT-20,
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 DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut
FORMULA_NAME DatabaseWithMut

=== Now, execution

BK_START 1494623390980

Time: 3600 - MCC
----- Start make prepare
checking for too many tokens
----- Start make result
UpperBounds @ DatabaseWithMutex-PT-20
----- Start make result
lola: LoLA will run
lola: NET
lola: reading net
lola: finished parsing
lola: closed net
lola: 6460/65536
lola: preprocessing...
lola: finding significant
lola: 3260 places,
lola: computing forward-conflicting
lola: computing back-conflicting
lola: 4080 transition
lola: TASK
lola: reading formula
lola: MAX(Active_14_1
lola: computing a
lola: RUNNING
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 11200
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 56748 markings,
lola: 112534 markings,
lola: 168278 markings,
lola: 224248 markings,
lola: 280067 markings,
lola: 335837 markings,
lola: 391371 markings,
lola: 447333 markings,
lola: 503527 markings,
lola: 559533 markings,
lola: 614982 markings,
lola: 668004 markings,
lola: 723344 markings,
lola: 779413 markings,
lola: 834796 markings,
lola: 890042 markings,
lola: 945047 markings,
lola: 1001111 markings,
lola: 1056575 markings,
lola: 1111361 markings,
lola: 1166417 markings,
lola: 1221746 markings,
lola: 1277658 markings,
lola: 1330741 markings,
lola: 1383940 markings,
lola: 1439383 markings,
lola: 1494195 markings,
lola: 1549016 markings,
lola: 1604162 markings,
lola: 1658819 markings,
lola: 1713972 markings,
lola: 1768690 markings,
lola: 1823370 markings,
lola: 1878461 markings,
lola: 1933475 markings,
lola: 1988709 markings,
lola: 2040878 markings,
lola: 2096259 markings,
lola: 2152199 markings,
lola: 2207928 markings,
lola: 2263890 markings,
lola: 2319899 markings,
lola: 2374802 markings,
lola: 2430423 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 11200
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 36540 markings,
lola: 73228 markings,
lola: 109710 markings,
lola: 146011 markings,
lola: 182296 markings,
lola: 218746 markings,
lola: 255413 markings,
lola: 292166 markings,
lola: 329057 markings,
lola: 365880 markings,
lola: 402610 markings,
lola: 439330 markings,
lola: 476066 markings,
lola: 512917 markings,
lola: 549534 markings,
lola: 586169 markings,
lola: 622736 markings,
lola: 659506 markings,
lola: 696362 markings,
lola: 733325 markings,
lola: 769869 markings,
lola: 806395 markings,
lola: 842928 markings,
lola: 879406 markings,
lola: 916051 markings,
lola: 952944 markings,
lola: 989750 markings,
lola: 1026813 markings,
lola: 1063633 markings,
lola: 1100440 markings,
lola: 1137353 markings,
lola: 1174265 markings,
lola: 1211209 markings,
lola: 1248204 markings,
lola: 1285032 markings,
lola: 1321844 markings,
lola: 1358515 markings,
lola: 1394915 markings,
lola: 1431577 markings,
lola: 1468371 markings,
lola: 1504971 markings,
lola: 1541624 markings,
lola: 1578339 markings,
lola: 1615097 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 11200
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 35856 markings,
lola: 71701 markings,
lola: 107637 markings,
lola: 143834 markings,
lola: 179577 markings,
lola: 215421 markings,
lola: 251096 markings,
lola: 286744 markings,
lola: 322351 markings,
lola: 357934 markings,
lola: 393473 markings,
lola: 428949 markings,
lola: 464772 markings,
lola: 500570 markings,
lola: 536353 markings,
lola: 571539 markings,
lola: 606964 markings,
lola: 643397 markings,
lola: 677670 markings,
lola: 711304 markings,
lola: 745644 markings,
lola: 781762 markings,
lola: 817567 markings,
lola: 854116 markings,
lola: 889855 markings,
lola: 926057 markings,
lola: 962105 markings,
lola: 998079 markings,
lola: 1034116 markings,
lola: 1070202 markings,
lola: 1106371 markings,
lola: 1142661 markings,
lola: 1178888 markings,
lola: 1215041 markings,
lola: 1249779 markings,
lola: 1284666 markings,
lola: 1320350 markings,
lola: 1357182 markings,
lola: 1393312 markings,
lola: 1427838 markings,
lola: 1462527 markings,
lola: 1497104 markings,
lola: 1531553 markings,
lola: 1566176 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 11200
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 34603 markings,
lola: 69333 markings,
lola: 104025 markings,
lola: 138784 markings,
lola: 173165 markings,
lola: 207602 markings,
lola: 241594 markings,
lola: 275952 markings,
lola: 310539 markings,
lola: 345084 markings,
lola: 379944 markings,
lola: 414714 markings,
lola: 448706 markings,
lola: 482652 markings,
lola: 516938 markings,
lola: 551352 markings,
lola: 585897 markings,
lola: 620574 markings,
lola: 655082 markings,
lola: 689752 markings,
lola: 724471 markings,
lola: 759128 markings,
lola: 792698 markings,
lola: 827124 markings,
lola: 861584 markings,
lola: 896025 markings,
lola: 930247 markings,
lola: 964533 markings,
lola: 998904 markings,
lola: 1033267 markings,
lola: 1066880 markings,
lola: 1101485 markings,
lola: 1135061 markings,
lola: 1169367 markings,
lola: 1203666 markings,
lola: 1237118 markings,
lola: 1270613 markings,
lola: 1304832 markings,
lola: 1338647 markings,
lola: 1372971 markings,
lola: 1407195 markings,
lola: 1441096 markings,
lola: 1474465 markings,
lola: 1507914 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 11200
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 36334 markings,
lola: 70333 markings,
lola: 104044 markings,
lola: 136785 markings,
lola: 168419 markings,
lola: 201323 markings,
lola: 233216 markings,
lola: 264720 markings,
lola: 295404 markings,
lola: 324945 markings,
lola: 358150 markings,
lola: 389580 markings,
lola: 421265 markings,
lola: 453356 markings,
lola: 484678 markings,
lola: 517620 markings,
lola: 549589 markings,
lola: 581453 markings,
lola: 617050 markings,
lola: 649399 markings,
lola: 681139 markings,
lola: 713098 markings,
lola: 744179 markings,
lola: 776644 markings,
lola: 808071 markings,
lola: 838431 markings,
lola: 868470 markings,
lola: 896923 markings,
lola: 926008 markings,
lola: 956953 markings,
lola: 987149 markings,
lola: 1017911 markings,
lola: 1048492 markings,
lola: 1077831 markings,
lola: 1109540 markings,
lola: 1139740 markings,
lola: 1171088 markings,
lola: 1205320 markings,
lola: 1237414 markings,
lola: 1269079 markings,
lola: 1300042 markings,
lola: 1329867 markings,
lola: 1361463 markings,
lola: 1391857 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 11200
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 45579 markings,
lola: 91075 markings,
lola: 136700 markings,
lola: 181911 markings,
lola: 226566 markings,
lola: 271347 markings,
lola: 315809 markings,
lola: 360179 markings,
lola: 404759 markings,
lola: 448890 markings,
lola: 492232 markings,
lola: 536277 markings,
lola: 579975 markings,
lola: 623542 markings,
lola: 666838 markings,
lola: 709448 markings,
lola: 751201 markings,
lola: 792961 markings,
lola: 834299 markings,
lola: 877088 markings,
lola: 919939 markings,
lola: 962436 markings,
lola: 1005243 markings,
lola: 1047989 markings,
lola: 1090427 markings,
lola: 1133359 markings,
lola: 1176240 markings,
lola: 1218712 markings,
lola: 1261962 markings,
lola: 1305336 markings,
lola: 1347977 markings,
lola: 1390782 markings,
lola: 1432857 markings,
lola: 1476858 markings,
lola: 1520816 markings,
lola: 1564535 markings,
lola: 1607861 markings,
lola: 1650985 markings,
lola: 1694474 markings,
lola: 1738001 markings,
lola: 1780878 markings,
lola: 1823568 markings,
lola: 1866111 markings,
lola: 1909663 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 11200
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 56669 markings,
lola: 113916 markings,
lola: 169975 markings,
lola: 227273 markings,
lola: 284390 markings,
lola: 341546 markings,
lola: 398867 markings,
lola: 455841 markings,
lola: 512663 markings,
lola: 569683 markings,
lola: 626871 markings,
lola: 680731 markings,
lola: 737792 markings,
lola: 794482 markings,
lola: 850950 markings,
lola: 907713 markings,
lola: 964520 markings,
lola: 1021405 markings,
lola: 1077758 markings,
lola: 1133860 markings,
lola: 1190049 markings,
lola: 1246353 markings,
lola: 1303147 markings,
lola: 1356212 markings,
lola: 1412984 markings,
lola: 1469554 markings,
lola: 1525854 markings,
lola: 1582242 markings,
lola: 1638741 markings,
lola: 1695301 markings,
lola: 1751633 markings,
lola: 1807992 markings,
lola: 1864177 markings,
lola: 1920422 markings,
lola: 1977137 markings,
lola: 2030381 markings,
lola: 2087283 markings,
lola: 2144429 markings,
lola: 2201461 markings,
lola: 2258583 markings,
lola: 2315031 markings,
lola: 2370314 markings,
lola: 2425331 markings,
lola: 2481311 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 11200
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 36561 markings,
lola: 70841 markings,
lola: 104918 markings,
lola: 137823 markings,
lola: 170177 markings,
lola: 203707 markings,
lola: 235991 markings,
lola: 267978 markings,
lola: 299123 markings,
lola: 328935 markings,
lola: 363058 markings,
lola: 395347 markings,
lola: 428052 markings,
lola: 460557 markings,
lola: 491465 markings,
lola: 525500 markings,
lola: 557581 markings,
lola: 592629 markings,
lola: 627342 markings,
lola: 660668 markings,
lola: 693759 markings,
lola: 725644 markings,
lola: 756705 markings,
lola: 789290 markings,
lola: 820628 markings,
lola: 851484 markings,
lola: 881624 markings,
lola: 910641 markings,
lola: 943034 markings,
lola: 974530 markings,
lola: 1005666 markings,
lola: 1037543 markings,
lola: 1068546 markings,
lola: 1100251 markings,
lola: 1131959 markings,
lola: 1161968 markings,
lola: 1199114 markings,
lola: 1232648 markings,
lola: 1265760 markings,
lola: 1298036 markings,
lola: 1329095 markings,
lola: 1361661 markings,
lola: 1392843 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 11200
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 32716 markings,
lola: 65005 markings,
lola: 97119 markings,
lola: 128726 markings,
lola: 160687 markings,
lola: 192580 markings,
lola: 224252 markings,
lola: 256154 markings,
lola: 287810 markings,
lola: 319081 markings,
lola: 349888 markings,
lola: 381106 markings,
lola: 412075 markings,
lola: 442820 markings,
lola: 474038 markings,
lola: 505133 markings,
lola: 535923 markings,
lola: 566291 markings,
lola: 596800 markings,
lola: 627446 markings,
lola: 657665 markings,
lola: 688993 markings,
lola: 720074 markings,
lola: 751552 markings,
lola: 782206 markings,
lola: 813707 markings,
lola: 844800 markings,
lola: 875311 markings,
lola: 906483 markings,
lola: 936990 markings,
lola: 967569 markings,
lola: 998939 markings,
lola: 1029918 markings,
lola: 1061271 markings,
lola: 1092260 markings,
lola: 1123233 markings,
lola: 1153984 markings,
lola: 1184452 markings,
lola: 1214771 markings,
lola: 1245476 markings,
lola: 1276143 markings,
lola: 1306160 markings,
lola: 1336503 markings,
lola: 1367062 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 11200
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 36780 markings,
lola: 73394 markings,
lola: 109758 markings,
lola: 146362 markings,
lola: 182498 markings,
lola: 218722 markings,
lola: 254852 markings,
lola: 290902 markings,
lola: 326887 markings,
lola: 362921 markings,
lola: 398991 markings,
lola: 435098 markings,
lola: 471446 markings,
lola: 507418 markings,
lola: 543498 markings,
lola: 579725 markings,
lola: 616026 markings,
lola: 652604 markings,
lola: 687202 markings,
lola: 722197 markings,
lola: 757709 markings,
lola: 793925 markings,
lola: 830329 markings,
lola: 866676 markings,
lola: 902825 markings,
lola: 938942 markings,
lola: 975030 markings,
lola: 1011109 markings,
lola: 1047321 markings,
lola: 1083637 markings,
lola: 1120043 markings,
lola: 1156436 markings,
lola: 1193161 markings,
lola: 1229602 markings,
lola: 1266092 markings,
lola: 1302616 markings,
lola: 1339376 markings,
lola: 1376310 markings,
lola: 1412271 markings,
lola: 1447612 markings,
lola: 1482919 markings,
lola: 1518295 markings,
lola: 1553470 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 11200
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 36171 markings,
lola: 69993 markings,
lola: 103750 markings,
lola: 136483 markings,
lola: 168133 markings,
lola: 201432 markings,
lola: 233393 markings,
lola: 264981 markings,
lola: 295806 markings,
lola: 325370 markings,
lola: 358725 markings,
lola: 390724 markings,
lola: 422777 markings,
lola: 454784 markings,
lola: 485796 markings,
lola: 518611 markings,
lola: 550288 markings,
lola: 582689 markings,
lola: 618388 markings,
lola: 651230 markings,
lola: 683553 markings,
lola: 715086 markings,
lola: 745625 markings,
lola: 777661 markings,
lola: 808715 markings,
lola: 838852 markings,
lola: 869103 markings,
lola: 898226 markings,
lola: 928300 markings,
lola: 959839 markings,
lola: 990433 markings,
lola: 1022184 markings,
lola: 1052997 markings,
lola: 1082757 markings,
lola: 1114733 markings,
lola: 1145346 markings,
lola: 1178673 markings,
lola: 1212677 markings,
lola: 1245604 markings,
lola: 1277304 markings,
lola: 1308639 markings,
lola: 1339284 markings,
lola: 1371373 markings,
lola: 1402036 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 11200
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 44796 markings,
lola: 90668 markings,
lola: 133546 markings,
lola: 178886 markings,
lola: 222452 markings,
lola: 265134 markings,
lola: 308796 markings,
lola: 352723 markings,
lola: 395788 markings,
lola: 437378 markings,
lola: 480183 markings,
lola: 526067 markings,
lola: 573170 markings,
lola: 620222 markings,
lola: 666983 markings,
lola: 713984 markings,
lola: 760714 markings,
lola: 806771 markings,
lola: 853064 markings,
lola: 899135 markings,
lola: 945327 markings,
lola: 991263 markings,
lola: 1037254 markings,
lola: 1081261 markings,
lola: 1127471 markings,
lola: 1173495 markings,
lola: 1219454 markings,
lola: 1265323 markings,
lola: 1311434 markings,
lola: 1357069 markings,
lola: 1402372 markings,
lola: 1447515 markings,
lola: 1492869 markings,
lola: 1536958 markings,
lola: 1582885 markings,
lola: 1628636 markings,
lola: 1674317 markings,
lola: 1719918 markings,
lola: 1765100 markings,
lola: 1810272 markings,
lola: 1855255 markings,
lola: 1900636 markings,
lola: 1945935 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 11200
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 33021 markings,
lola: 65444 markings,
lola: 97470 markings,
lola: 128987 markings,
lola: 160894 markings,
lola: 192699 markings,
lola: 224260 markings,
lola: 256193 markings,
lola: 287853 markings,
lola: 319087 markings,
lola: 349796 markings,
lola: 381000 markings,
lola: 412026 markings,
lola: 442814 markings,
lola: 474033 markings,
lola: 505102 markings,
lola: 535801 markings,
lola: 566104 markings,
lola: 596509 markings,
lola: 627046 markings,
lola: 657190 markings,
lola: 688460 markings,
lola: 719387 markings,
lola: 750670 markings,
lola: 780971 markings,
lola: 812208 markings,
lola: 843001 markings,
lola: 873189 markings,
lola: 904062 markings,
lola: 934562 markings,
lola: 965213 markings,
lola: 996522 markings,
lola: 1027534 markings,
lola: 1058801 markings,
lola: 1089772 markings,
lola: 1120842 markings,
lola: 1151653 markings,
lola: 1182217 markings,
lola: 1212520 markings,
lola: 1243351 markings,
lola: 1274220 markings,
lola: 1304489 markings,
lola: 1334866 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 11200
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 57275 markings,
lola: 114632 markings,
lola: 171768 markings,
lola: 229108 markings,
lola: 286401 markings,
lola: 343759 markings,
lola: 400907 markings,
lola: 457683 markings,
lola: 514309 markings,
lola: 571159 markings,
lola: 628193 markings,
lola: 681528 markings,
lola: 738368 markings,
lola: 795139 markings,
lola: 851750 markings,
lola: 908463 markings,
lola: 965119 markings,
lola: 1021610 markings,
lola: 1077964 markings,
lola: 1134075 markings,
lola: 1190159 markings,
lola: 1246433 markings,
lola: 1303205 markings,
lola: 1355893 markings,
lola: 1412618 markings,
lola: 1469221 markings,
lola: 1525667 markings,
lola: 1582362 markings,
lola: 1639339 markings,
lola: 1696077 markings,
lola: 1752846 markings,
lola: 1809492 markings,
lola: 1866033 markings,
lola: 1922722 markings,
lola: 1979838 markings,
lola: 2033219 markings,
lola: 2090335 markings,
lola: 2147518 markings,
lola: 2204674 markings,
lola: 2261891 markings,
lola: 2319227 markings,
lola: 2376493 markings,
lola: 2433648 markings,
lola: 2490806 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 11200
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 34687 markings,
lola: 69621 markings,
lola: 104489 markings,
lola: 139067 markings,
lola: 173651 markings,
lola: 208281 markings,
lola: 242939 markings,
lola: 277453 markings,
lola: 311971 markings,
lola: 346558 markings,
lola: 381053 markings,
lola: 415622 markings,
lola: 450335 markings,
lola: 484938 markings,
lola: 519543 markings,
lola: 554167 markings,
lola: 588728 markings,
lola: 623388 markings,
lola: 657852 markings,
lola: 692255 markings,
lola: 726678 markings,
lola: 761123 markings,
lola: 795451 markings,
lola: 829677 markings,
lola: 863982 markings,
lola: 898350 markings,
lola: 932846 markings,
lola: 967394 markings,
lola: 1001886 markings,
lola: 1036485 markings,
lola: 1071194 markings,
lola: 1105806 markings,
lola: 1140488 markings,
lola: 1175324 markings,
lola: 1210129 markings,
lola: 1244856 markings,
lola: 1279523 markings,
lola: 1314261 markings,
lola: 1348912 markings,
lola: 1383645 markings,
lola: 1418356 markings,
lola: 1453042 markings,
lola: 1487723 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 11200
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 35686 markings,
lola: 69721 markings,
lola: 103382 markings,
lola: 136033 markings,
lola: 167480 markings,
lola: 200771 markings,
lola: 232577 markings,
lola: 264043 markings,
lola: 294760 markings,
lola: 324283 markings,
lola: 357401 markings,
lola: 389216 markings,
lola: 421174 markings,
lola: 452985 markings,
lola: 483802 markings,
lola: 516000 markings,
lola: 547600 markings,
lola: 579244 markings,
lola: 615642 markings,
lola: 648513 markings,
lola: 680896 markings,
lola: 712507 markings,
lola: 743441 markings,
lola: 775444 markings,
lola: 806670 markings,
lola: 836581 markings,
lola: 867034 markings,
lola: 896161 markings,
lola: 925913 markings,
lola: 957306 markings,
lola: 987913 markings,
lola: 1019271 markings,
lola: 1050122 markings,
lola: 1079468 markings,
lola: 1111756 markings,
lola: 1142250 markings,
lola: 1174799 markings,
lola: 1208927 markings,
lola: 1241688 markings,
lola: 1274124 markings,
lola: 1305656 markings,
lola: 1335849 markings,
lola: 1368381 markings,
lola: 1399283 markings,
lola: time limit
lola:
preliminary result:
lola: caught signal
FORMULA DatabaseWithMutex
FORMULA DatabaseWithM
FORMULA DatabaseWithM
FORMULA DatabaseWithM
FORMULA DatabaseWithM
FORMULA DatabaseWithM
FORMULA DatabaseWithM
FORMULA DatabaseWithM
FORMULA DatabaseWithM
FORMULA DatabaseWithM
FORMULA DatabaseWithM
FORMULA DatabaseWithM
FORMULA DatabaseWithM
FORMULA DatabaseWithM
FORMULA DatabaseWithM
FORMULA DatabaseWithM
----- Kill lola
----- Finished stdout -----

BK_STOP 1494626931207

--------------------
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-149436309000182 ========================================= generated by BenchKit (invocation template) is a vector of positive values to build the result vector(from text file) ex-COL-20-UpperBounds-0 ex-COL-20-UpperBounds-1 ex-COL-20-UpperBounds-10 ex-COL-20-UpperBounds-11 ex-COL-20-UpperBounds-12 ex-COL-20-UpperBounds-13 ex-COL-20-UpperBounds-14 ex-COL-20-UpperBounds-15 ex-COL-20-UpperBounds-2 ex-COL-20-UpperBounds-3 ex-COL-20-UpperBounds-4 ex-COL-20-UpperBounds-5 ex-COL-20-UpperBounds-6 ex-COL-20-UpperBounds-7 ex-COL-20-UpperBounds-8 ex-COL-20-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, 161 collisions places 3200 transitions, 2800 significant places sets sets conflict sets from DatabaseWithMutex-COL-20-UpperBounds.task + Active_14_2 + Active_14_3 + Active_14_4 + Active_14_5 + Active_14_6 + Active_14_7 + Active_14_8 + Active_14_9 + Active_2_1 + Active_2_2 + Active_2_3 + Active_2_4 + Active_2_5 + Active_2_6 + Active_2_7 + Active_2_8 + Active_2_9 + Active_4_10 + Active_4_11 + Active_4_12 + Active_4_13 + Active_4_14 + Active_4_15 + Active_4_16 + Active_4_17 + Active_4_18 + Active_4_19 + Active_4_20 + Active_15_1 + Active_15_2 + Active_15_3 + Active_15_4 + Active_15_5 + Active_15_6 + Active_15_7 + Active_15_8 + Active_15_9 + Active_3_1 + Active_3_2 + Active_3_3 + Active_3_4 + Active_3_5 + Active_3_6 + Active_3_7 + Active_3_8 + Active_3_9 + Active_9_10 + Active_9_11 + Active_9_12 + Active_9_13 + Active_9_14 + Active_9_15 + Active_9_16 + Active_9_17 + Active_9_18 + Active_9_19 + Active_9_20 + Active_16_1 + Active_16_2 + Active_16_3 + Active_16_4 + Active_16_5 + Active_16_6 + Active_16_7 + Active_16_8 + Active_16_9 + Active_4_1 + Active_4_2 + Active_4_3 + Active_4_4 + Active_4_5 + Active_4_6 + Active_4_7 + Active_4_8 + Active_4_9 + Active_14_10 + Active_14_11 + Active_14_12 + Active_14_13 + Active_14_14 + Active_14_15 + Active_14_16 + Active_14_17 + Active_14_18 + Active_14_19 + Active_14_20 + Active_17_1 + Active_17_2 + Active_17_3 + Active_17_4 + Active_17_5 + Active_17_6 + Active_17_7 + Active_17_8 + Active_17_9 + Active_5_1 + Active_5_2 + Active_5_3 + Active_5_4 + Active_5_5 + Active_5_6 + Active_5_7 + Active_5_8 + Active_5_9 + Active_3_10 + Active_3_11 + Active_3_12 + Active_3_13 + Active_3_14 + Active_3_15 + Active_3_16 + Active_3_17 + Active_3_18 + Active_3_19 + Active_3_20 + Active_19_10 + Active_19_11 + Active_19_12 + Active_19_13 + Active_19_14 + Active_19_15 + Active_19_16 + Active_19_17 + Active_19_18 + Active_19_19 + Active_19_20 + Active_20_10 + Active_20_11 + Active_20_12 + Active_20_13 + Active_20_14 + Active_20_15 + Active_20_16 + Active_20_17 + Active_20_18 + Active_20_19 + Active_18_1 + Active_18_2 + Active_18_3 + Active_18_4 + Active_18_5 + Active_18_6 + Active_18_7 + Active_18_8 + Active_18_9 + Active_20_20 + Active_6_1 + Active_6_2 + Active_6_3 + Active_6_4 + Active_6_5 + Active_6_6 + Active_6_7 + Active_6_8 + Active_6_9 + Active_8_10 + Active_8_11 + Active_8_12 + Active_8_13 + Active_8_14 + Active_8_15 + Active_8_16 + Active_8_17 + Active_8_18 + Active_8_19 + Active_8_20 + Active_19_1 + Active_19_2 + Active_19_3 + Active_19_4 + Active_19_5 + Active_19_6 + Active_19_7 + Active_19_8 + Active_19_9 + Active_7_1 + Active_7_2 + Active_7_3 + Active_7_4 + Active_7_5 + Active_7_6 + Active_7_7 + Active_7_8 + Active_7_9 + Active_13_10 + Active_13_11 + Active_13_12 + Active_13_13 + Active_13_14 + Active_13_15 + Active_13_16 + Active_13_17 + Active_13_18 + Active_13_19 + Active_13_20 + Active_8_1 + Active_8_2 + Active_8_3 + Active_8_4 + Active_8_5 + Active_8_6 + Active_8_7 + Active_8_8 + Active_8_9 + Active_2_10 + Active_2_11 + Active_2_12 + Active_2_13 + Active_2_14 + Active_2_15 + Active_2_16 + Active_2_17 + Active_2_18 + Active_2_19 + Active_2_20 + Active_18_10 + Active_18_11 + Active_18_12 + Active_18_13 + Active_18_14 + Active_18_15 + Active_18_16 + Active_18_17 + Active_18_18 + Active_18_19 + Active_18_20 + Active_9_1 + Active_9_2 + Active_9_3 + Active_9_4 + Active_9_5 + Active_9_6 + Active_9_7 + Active_9_8 + Active_9_9 + Active_7_10 + Active_7_11 + Active_7_12 + Active_7_13 + Active_7_14 + Active_7_15 + Active_7_16 + Active_7_17 + Active_7_18 + Active_7_19 + Active_7_20 + Active_12_10 + Active_12_11 + Active_12_12 + Active_12_13 + Active_12_14 + Active_12_15 + Active_12_16 + Active_12_17 + Active_12_18 + Active_12_19 + Active_12_20 + Active_1_10 + Active_1_11 + Active_1_12 + Active_1_13 + Active_1_14 + Active_1_15 + Active_1_16 + Active_1_17 + Active_1_18 + Active_1_19 + Active_1_20 + Active_20_1 + Active_20_2 + Active_20_3 + Active_20_4 + Active_20_5 + Active_20_6 + Active_20_7 + Active_20_8 + Active_20_9 + Active_17_10 + Active_17_11 + Active_17_12 + Active_17_13 + Active_17_14 + Active_17_15 + Active_17_16 + Active_17_17 + Active_17_18 + Active_17_19 + Active_17_20 + Active_6_10 + Active_6_11 + Active_6_12 + Active_6_13 + Active_6_14 + Active_6_15 + Active_6_16 + Active_6_17 + Active_6_18 + Active_6_19 + Active_6_20 + Active_11_10 + Active_11_11 + Active_11_12 + Active_11_13 + Active_11_14 + Active_11_15 + Active_11_16 + Active_11_17 + Active_11_18 + Active_11_19 + Active_11_20 + Active_10_1 + Active_10_2 + Active_10_3 + Active_10_4 + Active_10_5 + Active_10_6 + Active_10_7 + Active_10_8 + Active_10_9 + Active_16_10 + Active_16_11 + Active_16_12 + Active_16_13 + Active_16_14 + Active_16_15 + Active_16_16 + Active_16_17 + Active_16_18 + Active_16_19 + Active_5_19 + Active_5_18 + Active_5_17 + Active_5_16 + Active_5_15 + Active_5_14 + Active_5_13 + Active_5_12 + Active_5_11 + Active_5_10 + Active_11_8 + Active_11_7 + Active_11_6 + Active_11_5 + Active_11_4 + Active_11_3 + Active_11_2 + Active_11_1 + Active_11_9 + Active_16_20 + Active_5_20 + Active_10_10 + Active_10_11 + Active_10_12 + Active_10_13 + Active_10_14 + Active_10_15 + Active_10_16 + Active_10_17 + Active_10_18 + Active_10_19 + Active_10_20 + Active_12_1 + Active_12_2 + Active_12_3 + Active_12_4 + Active_12_5 + Active_12_6 + Active_12_7 + Active_12_8 + Active_12_9 + Active_13_1 + Active_13_2 + Active_13_3 + Active_13_4 + Active_13_5 + Active_13_6 + Active_13_7 + Active_13_8 + Active_13_9 + Active_1_1 + Active_1_2 + Active_1_3 + Active_1_4 + Active_1_5 + Active_1_6 + Active_1_7 + Active_1_8 + Active_1_9 + Active_15_10 + Active_15_11 + Active_15_12 + Active_15_13 + Active_15_14 + Active_15_15 + Active_15_16 + Active_15_17 + Active_15_18 + Active_15_19 + Active_15_20) : MAX(updating_18_10 + updating_18_11 + updating_18_12 + updating_18_13 + updating_18_14 + updating_18_15 + updating_18_16 + updating_18_17 + updating_18_18 + updating_18_19 + updating_18_20 + updating_6_10 + updating_6_11 + updating_6_12 + updating_6_13 + updating_6_14 + updating_6_15 + updating_6_16 + updating_6_17 + updating_6_18 + updating_6_19 + updating_6_20 + updating_6_1 + updating_6_2 + updating_6_3 + updating_6_4 + updating_6_5 + updating_6_6 + updating_6_7 + updating_6_8 + updating_6_9 + updating_7_1 + updating_7_2 + updating_7_3 + updating_7_4 + updating_7_5 + updating_7_6 + updating_7_7 + updating_7_8 + updating_7_9 + updating_12_10 + updating_12_11 + updating_12_12 + updating_12_13 + updating_12_14 + updating_12_15 + updating_12_16 + updating_12_17 + updating_12_18 + updating_12_19 + updating_12_20 + updating_10_1 + updating_10_2 + updating_10_3 + updating_10_4 + updating_10_5 + updating_10_6 + updating_10_7 + updating_10_8 + updating_10_9 + updating_8_1 + updating_8_2 + updating_8_3 + updating_8_4 + updating_8_5 + updating_8_6 + updating_8_7 + updating_8_8 + updating_8_9 + updating_17_10 + updating_17_11 + updating_17_12 + updating_17_13 + updating_17_14 + updating_17_15 + updating_17_16 + updating_17_17 + updating_17_18 + updating_17_19 + updating_17_20 + updating_11_1 + updating_11_2 + updating_11_3 + updating_11_4 + updating_11_5 + updating_11_6 + updating_11_7 + updating_11_8 + updating_11_9 + updating_5_10 + updating_5_11 + updating_5_12 + updating_5_13 + updating_5_14 + updating_5_15 + updating_5_16 + updating_5_17 + updating_5_18 + updating_5_19 + updating_5_20 + updating_9_1 + updating_9_2 + updating_9_3 + updating_9_4 + updating_9_5 + updating_9_6 + updating_9_7 + updating_9_8 + updating_9_9 + updating_12_1 + updating_12_2 + updating_12_3 + updating_12_4 + updating_12_5 + updating_12_6 + updating_12_7 + updating_12_8 + updating_12_9 + updating_11_10 + updating_11_11 + updating_11_12 + updating_11_13 + updating_11_14 + updating_11_15 + updating_11_16 + updating_11_17 + updating_11_18 + updating_11_19 + updating_11_20 + updating_13_1 + updating_13_2 + updating_13_3 + updating_13_4 + updating_13_5 + updating_13_6 + updating_13_7 + updating_13_8 + updating_13_9 + updating_16_10 + updating_16_11 + updating_16_12 + updating_16_13 + updating_16_14 + updating_16_15 + updating_16_16 + updating_16_17 + updating_16_18 + updating_16_19 + updating_16_20 + updating_14_1 + updating_14_2 + updating_14_3 + updating_14_4 + updating_14_5 + updating_14_6 + updating_14_7 + updating_14_8 + updating_14_9 + updating_4_10 + updating_4_11 + updating_4_12 + updating_4_13 + updating_4_14 + updating_4_15 + updating_4_16 + updating_4_17 + updating_4_18 + updating_4_19 + updating_4_20 + updating_15_1 + updating_15_2 + updating_15_3 + updating_15_4 + updating_15_5 + updating_15_6 + updating_15_7 + updating_15_8 + updating_15_9 + updating_9_10 + updating_9_11 + updating_9_12 + updating_9_13 + updating_9_14 + updating_9_15 + updating_9_16 + updating_9_17 + updating_9_18 + updating_9_19 + updating_10_10 + updating_10_11 + updating_10_12 + updating_10_13 + updating_10_14 + updating_10_15 + updating_10_16 + updating_10_17 + updating_10_18 + updating_10_19 + updating_10_20 + updating_16_1 + updating_16_2 + updating_16_3 + updating_16_4 + updating_16_5 + updating_16_6 + updating_16_7 + updating_16_8 + updating_16_9 + updating_15_10 + updating_15_11 + updating_15_12 + updating_15_13 + updating_15_14 + updating_15_15 + updating_15_16 + updating_15_17 + updating_15_18 + updating_15_19 + updating_17_1 + updating_17_2 + updating_17_3 + updating_17_4 + updating_17_5 + updating_17_6 + updating_17_7 + updating_17_8 + updating_3_10 + updating_3_11 + updating_3_12 + updating_3_13 + updating_3_14 + updating_3_15 + updating_3_16 + updating_3_17 + updating_3_18 + updating_3_19 + updating_3_20 + updating_18_1 + updating_18_2 + updating_18_3 + updating_18_4 + updating_18_5 + updating_18_6 + updating_18_7 + updating_18_8 + updating_8_10 + updating_8_11 + updating_8_12 + updating_8_13 + updating_8_14 + updating_8_15 + updating_8_16 + updating_8_17 + updating_8_18 + updating_8_19 + updating_19_1 + updating_19_2 + updating_19_3 + updating_19_4 + updating_19_5 + updating_19_6 + updating_19_7 + updating_19_8 + updating_19_9 + updating_1_1 + updating_1_2 + updating_1_3 + updating_1_4 + updating_1_5 + updating_1_6 + updating_1_7 + updating_1_8 + updating_14_10 + updating_14_11 + updating_14_12 + updating_14_13 + updating_14_14 + updating_14_15 + updating_14_16 + updating_14_17 + updating_14_18 + updating_14_19 + updating_2_10 + updating_2_11 + updating_2_12 + updating_2_13 + updating_2_14 + updating_2_15 + updating_2_16 + updating_2_17 + updating_2_18 + updating_2_19 + updating_2_20 + updating_2_1 + updating_2_2 + updating_2_3 + updating_2_4 + updating_2_5 + updating_2_6 + updating_2_7 + updating_2_8 + updating_19_10 + updating_19_11 + updating_19_12 + updating_19_13 + updating_19_14 + updating_19_15 + updating_19_16 + updating_19_17 + updating_19_18 + updating_19_19 + updating_7_16 + updating_7_17 + updating_7_18 + updating_7_19 + updating_7_20 + updating_7_15 + updating_7_14 + updating_7_13 + updating_7_12 + updating_7_11 + updating_7_10 + updating_20_10 + updating_20_11 + updating_20_12 + updating_20_13 + updating_20_14 + updating_20_15 + updating_20_16 + updating_20_17 + updating_20_18 + updating_20_19 + updating_20_20 + updating_3_1 + updating_3_2 + updating_3_3 + updating_3_4 + updating_3_5 + updating_3_6 + updating_3_7 + updating_3_8 + updating_3_9 + updating_19_20 + updating_2_9 + updating_14_20 + updating_1_9 + updating_4_1 + updating_4_2 + updating_4_3 + updating_4_4 + updating_4_5 + updating_4_6 + updating_4_7 + updating_4_8 + updating_4_9 + updating_13_10 + updating_13_11 + updating_13_12 + updating_13_13 + updating_13_14 + updating_13_15 + updating_13_16 + updating_13_17 + updating_13_18 + updating_13_19 + updating_13_20 + updating_8_20 + updating_1_10 + updating_1_11 + updating_1_12 + updating_1_13 + updating_1_14 + updating_1_15 + updating_1_16 + updating_1_17 + updating_1_18 + updating_1_19 + updating_1_20 + updating_20_1 + updating_20_2 + updating_20_3 + updating_20_4 + updating_20_5 + updating_20_6 + updating_20_7 + updating_20_8 + updating_20_9 + updating_18_9 + updating_17_9 + updating_15_20 + updating_9_20 + updating_5_1 + updating_5_2 + updating_5_3 + updating_5_4 + updating_5_5 + updating_5_6 + updating_5_7 + updating_5_8 + updating_5_9) : MAX(RecBuff_20_10 + RecBuff_20_11 + RecBuff_20_12 + RecBuff_20_13 + RecBuff_20_14 + RecBuff_20_15 + RecBuff_20_16 + RecBuff_20_17 + RecBuff_20_18 + RecBuff_20_19 + RecBuff_20_20 + RecBuff_3_1 + RecBuff_3_2 + RecBuff_3_3 + RecBuff_3_4 + RecBuff_3_5 + RecBuff_3_6 + RecBuff_3_7 + RecBuff_3_8 + RecBuff_3_9 + RecBuff_2_10 + RecBuff_2_11 + RecBuff_2_12 + RecBuff_2_13 + RecBuff_2_14 + RecBuff_2_15 + RecBuff_2_16 + RecBuff_2_17 + RecBuff_2_18 + RecBuff_2_19 + RecBuff_2_20 + RecBuff_4_1 + RecBuff_4_2 + RecBuff_4_3 + RecBuff_4_4 + RecBuff_4_5 + RecBuff_4_6 + RecBuff_4_7 + RecBuff_4_8 + RecBuff_4_9 + RecBuff_13_10 + RecBuff_13_11 + RecBuff_13_12 + RecBuff_13_13 + RecBuff_13_14 + RecBuff_13_15 + RecBuff_13_16 + RecBuff_13_17 + RecBuff_13_18 + RecBuff_13_19 + RecBuff_13_20 + RecBuff_7_10 + RecBuff_7_11 + RecBuff_7_12 + RecBuff_7_13 + RecBuff_7_14 + RecBuff_7_15 + RecBuff_7_16 + RecBuff_7_17 + RecBuff_7_18 + RecBuff_7_19 + RecBuff_7_20 + RecBuff_5_1 + RecBuff_5_2 + RecBuff_5_3 + RecBuff_5_4 + RecBuff_5_5 + RecBuff_5_6 + RecBuff_5_7 + RecBuff_5_8 + RecBuff_5_9 + RecBuff_18_10 + RecBuff_18_11 + RecBuff_18_12 + RecBuff_18_13 + RecBuff_18_14 + RecBuff_18_15 + RecBuff_18_16 + RecBuff_18_17 + RecBuff_18_18 + RecBuff_18_19 + RecBuff_18_20 + RecBuff_6_1 + RecBuff_6_2 + RecBuff_6_3 + RecBuff_6_4 + RecBuff_6_5 + RecBuff_6_6 + RecBuff_6_7 + RecBuff_6_8 + RecBuff_6_9 + RecBuff_1_10 + RecBuff_1_11 + RecBuff_1_12 + RecBuff_1_13 + RecBuff_1_14 + RecBuff_1_15 + RecBuff_1_16 + RecBuff_1_17 + RecBuff_1_18 + RecBuff_1_19 + RecBuff_1_20 + RecBuff_20_1 + RecBuff_20_2 + RecBuff_20_3 + RecBuff_20_4 + RecBuff_20_5 + RecBuff_20_6 + RecBuff_20_7 + RecBuff_20_8 + RecBuff_20_9 + RecBuff_7_1 + RecBuff_7_2 + RecBuff_7_3 + RecBuff_7_4 + RecBuff_7_5 + RecBuff_7_6 + RecBuff_7_7 + RecBuff_7_8 + RecBuff_7_9 + RecBuff_12_10 + RecBuff_12_11 + RecBuff_12_12 + RecBuff_12_13 + RecBuff_12_14 + RecBuff_12_15 + RecBuff_12_16 + RecBuff_12_17 + RecBuff_12_18 + RecBuff_12_19 + RecBuff_12_20 + RecBuff_6_10 + RecBuff_6_11 + RecBuff_6_12 + RecBuff_6_13 + RecBuff_6_14 + RecBuff_6_15 + RecBuff_6_16 + RecBuff_6_17 + RecBuff_6_18 + RecBuff_6_19 + RecBuff_6_20 + RecBuff_8_1 + RecBuff_8_2 + RecBuff_8_3 + RecBuff_8_4 + RecBuff_8_5 + RecBuff_8_6 + RecBuff_8_7 + RecBuff_8_8 + RecBuff_8_9 + RecBuff_17_10 + RecBuff_17_11 + RecBuff_17_12 + RecBuff_17_13 + RecBuff_17_14 + RecBuff_17_15 + RecBuff_17_16 + RecBuff_17_17 + RecBuff_17_18 + RecBuff_17_19 + RecBuff_17_20 + RecBuff_19_19 + RecBuff_9_1 + RecBuff_9_2 + RecBuff_9_3 + RecBuff_9_4 + RecBuff_9_5 + RecBuff_9_6 + RecBuff_9_7 + RecBuff_9_8 + RecBuff_9_9 + RecBuff_10_1 + RecBuff_10_2 + RecBuff_10_3 + RecBuff_10_4 + RecBuff_10_5 + RecBuff_10_6 + RecBuff_10_7 + RecBuff_10_8 + RecBuff_10_9 + RecBuff_11_10 + RecBuff_11_11 + RecBuff_11_12 + RecBuff_11_13 + RecBuff_11_14 + RecBuff_11_15 + RecBuff_11_16 + RecBuff_11_17 + RecBuff_11_18 + RecBuff_11_19 + RecBuff_11_20 + RecBuff_11_1 + RecBuff_11_2 + RecBuff_11_3 + RecBuff_11_4 + RecBuff_11_5 + RecBuff_11_6 + RecBuff_11_7 + RecBuff_11_8 + RecBuff_11_9 + RecBuff_5_10 + RecBuff_5_11 + RecBuff_5_12 + RecBuff_5_13 + RecBuff_5_14 + RecBuff_5_15 + RecBuff_5_16 + RecBuff_5_17 + RecBuff_5_18 + RecBuff_5_19 + RecBuff_5_20 + RecBuff_19_18 + RecBuff_12_1 + RecBuff_12_2 + RecBuff_12_3 + RecBuff_12_4 + RecBuff_12_5 + RecBuff_12_6 + RecBuff_12_7 + RecBuff_12_8 + RecBuff_12_9 + RecBuff_16_10 + RecBuff_16_11 + RecBuff_16_12 + RecBuff_16_13 + RecBuff_16_14 + RecBuff_16_15 + RecBuff_16_16 + RecBuff_16_17 + RecBuff_16_18 + RecBuff_16_19 + RecBuff_16_20 + RecBuff_19_17 + RecBuff_19_16 + RecBuff_19_15 + RecBuff_19_14 + RecBuff_19_13 + RecBuff_19_12 + RecBuff_19_11 + RecBuff_19_10 + RecBuff_13_1 + RecBuff_13_2 + RecBuff_13_3 + RecBuff_13_4 + RecBuff_13_5 + RecBuff_13_6 + RecBuff_13_7 + RecBuff_13_8 + RecBuff_13_9 + RecBuff_10_10 + RecBuff_10_11 + RecBuff_10_12 + RecBuff_10_13 + RecBuff_10_14 + RecBuff_10_15 + RecBuff_10_16 + RecBuff_10_17 + RecBuff_10_18 + RecBuff_10_19 + RecBuff_10_20 + RecBuff_14_1 + RecBuff_14_2 + RecBuff_14_3 + RecBuff_14_4 + RecBuff_14_5 + RecBuff_14_6 + RecBuff_14_7 + RecBuff_14_8 + RecBuff_14_9 + RecBuff_4_10 + RecBuff_4_11 + RecBuff_4_12 + RecBuff_4_13 + RecBuff_4_14 + RecBuff_4_15 + RecBuff_4_16 + RecBuff_4_17 + RecBuff_4_18 + RecBuff_4_19 + RecBuff_4_20 + RecBuff_15_1 + RecBuff_15_2 + RecBuff_15_3 + RecBuff_15_4 + RecBuff_15_5 + RecBuff_15_6 + RecBuff_15_7 + RecBuff_15_8 + RecBuff_15_10 + RecBuff_15_11 + RecBuff_15_12 + RecBuff_15_13 + RecBuff_15_14 + RecBuff_15_15 + RecBuff_15_16 + RecBuff_15_17 + RecBuff_15_18 + RecBuff_15_19 + RecBuff_15_20 + RecBuff_14_20 + RecBuff_14_19 + RecBuff_14_18 + RecBuff_14_17 + RecBuff_14_16 + RecBuff_14_15 + RecBuff_14_14 + RecBuff_14_13 + RecBuff_14_12 + RecBuff_14_11 + RecBuff_14_10 + RecBuff_1_8 + RecBuff_1_7 + RecBuff_1_6 + RecBuff_1_5 + RecBuff_1_4 + RecBuff_1_3 + RecBuff_1_2 + RecBuff_1_1 + RecBuff_3_20 + RecBuff_3_19 + RecBuff_3_18 + RecBuff_3_17 + RecBuff_3_16 + RecBuff_3_15 + RecBuff_3_14 + RecBuff_3_13 + RecBuff_3_12 + RecBuff_3_11 + RecBuff_3_10 + RecBuff_17_9 + RecBuff_17_8 + RecBuff_17_7 + RecBuff_17_6 + RecBuff_17_5 + RecBuff_17_4 + RecBuff_17_3 + RecBuff_17_2 + RecBuff_17_1 + RecBuff_16_9 + RecBuff_16_8 + RecBuff_16_7 + RecBuff_16_6 + RecBuff_16_5 + RecBuff_16_4 + RecBuff_18_1 + RecBuff_18_2 + RecBuff_18_3 + RecBuff_18_4 + RecBuff_18_5 + RecBuff_18_6 + RecBuff_18_7 + RecBuff_18_8 + RecBuff_18_9 + RecBuff_16_3 + RecBuff_16_2 + RecBuff_16_1 + RecBuff_1_9 + RecBuff_9_20 + RecBuff_9_19 + RecBuff_9_18 + RecBuff_9_17 + RecBuff_9_16 + RecBuff_9_15 + RecBuff_9_14 + RecBuff_9_13 + RecBuff_9_12 + RecBuff_9_11 + RecBuff_9_10 + RecBuff_8_10 + RecBuff_8_11 + RecBuff_8_12 + RecBuff_8_13 + RecBuff_8_14 + RecBuff_8_15 + RecBuff_8_16 + RecBuff_8_17 + RecBuff_8_18 + RecBuff_8_19 + RecBuff_8_20 + RecBuff_15_9 + RecBuff_19_1 + RecBuff_19_2 + RecBuff_19_3 + RecBuff_19_4 + RecBuff_19_5 + RecBuff_19_6 + RecBuff_19_7 + RecBuff_19_8 + RecBuff_19_9 + RecBuff_2_1 + RecBuff_2_2 + RecBuff_2_3 + RecBuff_2_4 + RecBuff_2_5 + RecBuff_2_6 + RecBuff_2_7 + RecBuff_2_8 + RecBuff_2_9 + RecBuff_19_20) : MAX(MesBuffReply_12_1 + MesBuffReply_12_2 + MesBuffReply_12_3 + MesBuffReply_12_4 + MesBuffReply_12_5 + MesBuffReply_12_6 + MesBuffReply_12_7 + MesBuffReply_12_8 + MesBuffReply_12_9 + MesBuffReply_13_1 + MesBuffReply_13_2 + MesBuffReply_13_3 + MesBuffReply_13_4 + MesBuffReply_13_5 + MesBuffReply_13_6 + MesBuffReply_13_7 + MesBuffReply_13_8 + MesBuffReply_13_9 + MesBuffReply_14_10 + MesBuffReply_14_11 + MesBuffReply_14_12 + MesBuffReply_14_13 + MesBuffReply_14_14 + MesBuffReply_14_15 + MesBuffReply_14_16 + MesBuffReply_14_17 + MesBuffReply_14_18 + MesBuffReply_14_19 + MesBuffReply_14_20 + MesBuffReply_14_1 + MesBuffReply_14_2 + MesBuffReply_14_3 + MesBuffReply_14_4 + MesBuffReply_14_5 + MesBuffReply_14_6 + MesBuffReply_14_7 + MesBuffReply_14_8 + MesBuffReply_14_9 + MesBuffReply_4_10 + MesBuffReply_4_11 + MesBuffReply_4_12 + MesBuffReply_4_13 + MesBuffReply_4_14 + MesBuffReply_4_15 + MesBuffReply_4_16 + MesBuffReply_4_17 + MesBuffReply_4_18 + MesBuffReply_4_19 + MesBuffReply_4_20 + MesBuffReply_19_10 + MesBuffReply_19_11 + MesBuffReply_19_12 + MesBuffReply_19_13 + MesBuffReply_19_14 + MesBuffReply_19_15 + MesBuffReply_19_16 + MesBuffReply_19_17 + MesBuffReply_19_18 + MesBuffReply_19_19 + MesBuffReply_19_20 + MesBuffReply_15_1 + MesBuffReply_15_2 + MesBuffReply_15_3 + MesBuffReply_15_4 + MesBuffReply_15_5 + MesBuffReply_15_6 + MesBuffReply_15_7 + MesBuffReply_15_8 + MesBuffReply_15_9 + MesBuffReply_20_10 + MesBuffReply_20_11 + MesBuffReply_20_12 + MesBuffReply_20_13 + MesBuffReply_20_14 + MesBuffReply_20_15 + MesBuffReply_20_16 + MesBuffReply_20_17 + MesBuffReply_20_18 + MesBuffReply_20_19 + MesBuffReply_20_20 + MesBuffReply_9_10 + MesBuffReply_9_11 + MesBuffReply_9_12 + MesBuffReply_9_13 + MesBuffReply_9_14 + MesBuffReply_9_15 + MesBuffReply_9_16 + MesBuffReply_9_17 + MesBuffReply_9_18 + MesBuffReply_9_19 + MesBuffReply_9_20 + MesBuffReply_16_1 + MesBuffReply_16_2 + MesBuffReply_16_3 + MesBuffReply_16_4 + MesBuffReply_16_5 + MesBuffReply_16_6 + MesBuffReply_16_7 + MesBuffReply_16_8 + MesBuffReply_16_9 + MesBuffReply_13_10 + MesBuffReply_13_11 + MesBuffReply_13_12 + MesBuffReply_13_13 + MesBuffReply_13_14 + MesBuffReply_13_15 + MesBuffReply_13_16 + MesBuffReply_13_17 + MesBuffReply_13_18 + MesBuffReply_13_19 + MesBuffReply_13_20 + MesBuffReply_17_1 + MesBuffReply_17_2 + MesBuffReply_17_3 + MesBuffReply_17_4 + MesBuffReply_17_5 + MesBuffReply_17_6 + MesBuffReply_17_7 + MesBuffReply_17_8 + MesBuffReply_17_9 + MesBuffReply_1_1 + MesBuffReply_1_2 + MesBuffReply_1_3 + MesBuffReply_1_4 + MesBuffReply_1_5 + MesBuffReply_1_6 + MesBuffReply_1_7 + MesBuffReply_1_8 + MesBuffReply_1_9 + MesBuffReply_3_10 + MesBuffReply_3_11 + MesBuffReply_3_12 + MesBuffReply_3_13 + MesBuffReply_3_14 + MesBuffReply_3_15 + MesBuffReply_3_16 + MesBuffReply_3_17 + MesBuffReply_3_18 + MesBuffReply_3_19 + MesBuffReply_3_20 + MesBuffReply_18_10 + MesBuffReply_18_11 + MesBuffReply_18_12 + MesBuffReply_18_13 + MesBuffReply_18_14 + MesBuffReply_18_15 + MesBuffReply_18_16 + MesBuffReply_18_17 + MesBuffReply_18_18 + MesBuffReply_18_19 + MesBuffReply_18_20 + MesBuffReply_18_1 + MesBuffReply_18_2 + MesBuffReply_18_3 + MesBuffReply_18_4 + MesBuffReply_18_5 + MesBuffReply_18_6 + MesBuffReply_18_7 + MesBuffReply_18_8 + MesBuffReply_18_9 + MesBuffReply_2_1 + MesBuffReply_2_2 + MesBuffReply_2_3 + MesBuffReply_2_4 + MesBuffReply_2_5 + MesBuffReply_2_6 + MesBuffReply_2_7 + MesBuffReply_2_8 + MesBuffReply_2_9 + MesBuffReply_8_10 + MesBuffReply_8_11 + MesBuffReply_8_12 + MesBuffReply_8_13 + MesBuffReply_8_14 + MesBuffReply_8_15 + MesBuffReply_8_16 + MesBuffReply_8_17 + MesBuffReply_8_18 + MesBuffReply_8_19 + MesBuffReply_8_20 + MesBuffReply_19_1 + MesBuffReply_19_2 + MesBuffReply_19_3 + MesBuffReply_19_4 + MesBuffReply_19_5 + MesBuffReply_19_6 + MesBuffReply_19_7 + MesBuffReply_19_8 + MesBuffReply_19_9 + MesBuffReply_3_1 + MesBuffReply_3_2 + MesBuffReply_3_3 + MesBuffReply_3_4 + MesBuffReply_3_5 + MesBuffReply_3_6 + MesBuffReply_3_7 + MesBuffReply_3_8 + MesBuffReply_3_9 + MesBuffReply_12_10 + MesBuffReply_12_11 + MesBuffReply_12_12 + MesBuffReply_12_13 + MesBuffReply_12_14 + MesBuffReply_12_15 + MesBuffReply_12_16 + MesBuffReply_12_17 + MesBuffReply_12_18 + MesBuffReply_12_19 + MesBuffReply_12_20 + MesBuffReply_4_1 + MesBuffReply_4_2 + MesBuffReply_4_3 + MesBuffReply_4_4 + MesBuffReply_4_5 + MesBuffReply_4_6 + MesBuffReply_4_7 + MesBuffReply_4_8 + MesBuffReply_4_9 + MesBuffReply_2_10 + MesBuffReply_2_11 + MesBuffReply_2_12 + MesBuffReply_2_13 + MesBuffReply_2_14 + MesBuffReply_2_15 + MesBuffReply_2_16 + MesBuffReply_2_17 + MesBuffReply_2_18 + MesBuffReply_2_19 + MesBuffReply_2_20 + MesBuffReply_17_10 + MesBuffReply_17_11 + MesBuffReply_17_12 + MesBuffReply_17_13 + MesBuffReply_17_14 + MesBuffReply_17_15 + MesBuffReply_17_16 + MesBuffReply_17_17 + MesBuffReply_17_18 + MesBuffReply_17_19 + MesBuffReply_17_20 + MesBuffReply_5_1 + MesBuffReply_5_2 + MesBuffReply_5_3 + MesBuffReply_5_4 + MesBuffReply_5_5 + MesBuffReply_5_6 + MesBuffReply_5_7 + MesBuffReply_5_8 + MesBuffReply_5_9 + MesBuffReply_7_10 + MesBuffReply_7_11 + MesBuffReply_7_12 + MesBuffReply_7_13 + MesBuffReply_7_14 + MesBuffReply_7_15 + MesBuffReply_7_16 + MesBuffReply_7_17 + MesBuffReply_7_18 + MesBuffReply_7_19 + MesBuffReply_6_1 + MesBuffReply_6_2 + MesBuffReply_6_3 + MesBuffReply_6_4 + MesBuffReply_6_5 + MesBuffReply_6_6 + MesBuffReply_6_7 + MesBuffReply_6_8 + MesBuffReply_6_9 + MesBuffReply_11_10 + MesBuffReply_11_11 + MesBuffReply_11_12 + MesBuffReply_11_13 + MesBuffReply_11_14 + MesBuffReply_11_15 + MesBuffReply_11_16 + MesBuffReply_11_17 + MesBuffReply_11_18 + MesBuffReply_11_19 + MesBuffReply_11_20 + MesBuffReply_7_1 + MesBuffReply_7_2 + MesBuffReply_7_3 + MesBuffReply_7_4 + MesBuffReply_7_5 + MesBuffReply_7_6 + MesBuffReply_7_7 + MesBuffReply_7_8 + MesBuffReply_7_9 + MesBuffReply_1_10 + MesBuffReply_1_11 + MesBuffReply_1_12 + MesBuffReply_1_13 + MesBuffReply_1_14 + MesBuffReply_1_15 + MesBuffReply_1_16 + MesBuffReply_1_17 + MesBuffReply_1_18 + MesBuffReply_1_19 + MesBuffReply_1_20 + MesBuffReply_20_1 + MesBuffReply_20_2 + MesBuffReply_20_3 + MesBuffReply_20_4 + MesBuffReply_20_5 + MesBuffReply_20_6 + MesBuffReply_20_7 + MesBuffReply_20_8 + MesBuffReply_20_9 + MesBuffReply_16_10 + MesBuffReply_16_11 + MesBuffReply_16_12 + MesBuffReply_16_13 + MesBuffReply_16_14 + MesBuffReply_16_15 + MesBuffReply_16_16 + MesBuffReply_16_17 + MesBuffReply_16_18 + MesBuffReply_16_19 + MesBuffReply_16_20 + MesBuffReply_10_10 + MesBuffReply_10_11 + MesBuffReply_10_12 + MesBuffReply_10_13 + MesBuffReply_10_14 + MesBuffReply_10_15 + MesBuffReply_10_16 + MesBuffReply_10_17 + MesBuffReply_10_18 + MesBuffReply_10_19 + MesBuffReply_10_20 + MesBuffReply_9_9 + MesBuffReply_9_8 + MesBuffReply_9_7 + MesBuffReply_9_6 + MesBuffReply_9_5 + MesBuffReply_9_4 + MesBuffReply_9_3 + MesBuffReply_9_2 + MesBuffReply_9_1 + MesBuffReply_10_1 + MesBuffReply_10_2 + MesBuffReply_10_3 + MesBuffReply_10_4 + MesBuffReply_10_5 + MesBuffReply_10_6 + MesBuffReply_10_7 + MesBuffReply_10_8 + MesBuffReply_10_9 + MesBuffReply_6_20 + MesBuffReply_6_19 + MesBuffReply_6_18 + MesBuffReply_6_17 + MesBuffReply_6_16 + MesBuffReply_6_15 + MesBuffReply_6_14 + MesBuffReply_6_13 + MesBuffReply_6_12 + MesBuffReply_6_11 + MesBuffReply_6_10 + MesBuffReply_8_9 + MesBuffReply_8_8 + MesBuffReply_15_10 + MesBuffReply_15_11 + MesBuffReply_15_12 + MesBuffReply_15_13 + MesBuffReply_15_14 + MesBuffReply_15_15 + MesBuffReply_15_16 + MesBuffReply_15_17 + MesBuffReply_15_18 + MesBuffReply_15_19 + MesBuffReply_8_7 + MesBuffReply_8_6 + MesBuffReply_8_5 + MesBuffReply_8_4 + MesBuffReply_8_3 + MesBuffReply_8_2 + MesBuffReply_8_1 + MesBuffReply_15_20 + MesBuffReply_11_1 + MesBuffReply_11_2 + MesBuffReply_11_3 + MesBuffReply_11_4 + MesBuffReply_11_5 + MesBuffReply_11_6 + MesBuffReply_11_7 + MesBuffReply_11_8 + MesBuffReply_11_9 + MesBuffReply_5_10 + MesBuffReply_5_11 + MesBuffReply_5_12 + MesBuffReply_5_13 + MesBuffReply_5_14 + MesBuffReply_5_15 + MesBuffReply_5_16 + MesBuffReply_5_17 + MesBuffReply_5_18 + MesBuffReply_5_19 + MesBuffReply_5_20 + MesBuffReply_7_20) : MAX(all_active_10 + all_active_11 + all_active_12 + all_active_13 + all_active_14 + all_active_15 + all_active_16 + all_active_17 + all_active_18 + all_active_19 + all_active_20 + all_active_1 + all_active_2 + all_active_4 + all_active_5 + all_active_6 + all_active_8 + all_active_9 + all_active_7 + all_active_3) : MAX(WaitMutex_11_10 + WaitMutex_11_11 + WaitMutex_11_12 + WaitMutex_11_13 + WaitMutex_11_14 + WaitMutex_11_15 + WaitMutex_11_16 + WaitMutex_11_17 + WaitMutex_11_18 + WaitMutex_11_19 + WaitMutex_11_20 + WaitMutex_7_1 + WaitMutex_7_2 + WaitMutex_7_3 + WaitMutex_7_4 + WaitMutex_7_5 + WaitMutex_7_6 + WaitMutex_7_7 + WaitMutex_7_8 + WaitMutex_7_9 + WaitMutex_11_1 + WaitMutex_11_2 + WaitMutex_11_3 + WaitMutex_11_4 + WaitMutex_11_5 + WaitMutex_11_6 + WaitMutex_11_7 + WaitMutex_11_8 + WaitMutex_11_9 + WaitMutex_5_10 + WaitMutex_5_11 + WaitMutex_5_12 + WaitMutex_5_13 + WaitMutex_5_14 + WaitMutex_5_15 + WaitMutex_5_16 + WaitMutex_5_17 + WaitMutex_5_18 + WaitMutex_5_19 + WaitMutex_5_20 + WaitMutex_8_1 + WaitMutex_8_2 + WaitMutex_8_3 + WaitMutex_8_4 + WaitMutex_8_5 + WaitMutex_8_6 + WaitMutex_8_7 + WaitMutex_8_8 + WaitMutex_8_9 + WaitMutex_16_10 + WaitMutex_16_11 + WaitMutex_16_12 + WaitMutex_16_13 + WaitMutex_16_14 + WaitMutex_16_15 + WaitMutex_16_16 + WaitMutex_16_17 + WaitMutex_16_18 + WaitMutex_16_19 + WaitMutex_16_20 + WaitMutex_12_1 + WaitMutex_12_2 + WaitMutex_12_3 + WaitMutex_12_4 + WaitMutex_12_5 + WaitMutex_12_6 + WaitMutex_12_7 + WaitMutex_12_8 + WaitMutex_12_9 + WaitMutex_9_1 + WaitMutex_9_2 + WaitMutex_9_3 + WaitMutex_9_4 + WaitMutex_9_5 + WaitMutex_9_6 + WaitMutex_9_7 + WaitMutex_9_8 + WaitMutex_9_9 + WaitMutex_13_1 + WaitMutex_13_2 + WaitMutex_13_3 + WaitMutex_13_4 + WaitMutex_13_5 + WaitMutex_13_6 + WaitMutex_13_7 + WaitMutex_13_8 + WaitMutex_13_9 + WaitMutex_10_10 + WaitMutex_10_11 + WaitMutex_10_12 + WaitMutex_10_13 + WaitMutex_10_14 + WaitMutex_10_15 + WaitMutex_10_16 + WaitMutex_10_17 + WaitMutex_10_18 + WaitMutex_10_19 + WaitMutex_10_20 + WaitMutex_14_1 + WaitMutex_14_2 + WaitMutex_14_3 + WaitMutex_14_4 + WaitMutex_14_5 + WaitMutex_14_6 + WaitMutex_14_7 + WaitMutex_14_8 + WaitMutex_14_9 + WaitMutex_4_10 + WaitMutex_4_11 + WaitMutex_4_12 + WaitMutex_4_13 + WaitMutex_4_14 + WaitMutex_4_15 + WaitMutex_4_16 + WaitMutex_4_17 + WaitMutex_4_18 + WaitMutex_4_19 + WaitMutex_4_20 + WaitMutex_15_10 + WaitMutex_15_11 + WaitMutex_15_12 + WaitMutex_15_13 + WaitMutex_15_14 + WaitMutex_15_15 + WaitMutex_15_16 + WaitMutex_15_17 + WaitMutex_15_18 + WaitMutex_15_19 + WaitMutex_15_20 + WaitMutex_15_1 + WaitMutex_15_2 + WaitMutex_15_3 + WaitMutex_15_4 + WaitMutex_15_5 + WaitMutex_15_6 + WaitMutex_15_7 + WaitMutex_15_8 + WaitMutex_15_9 + WaitMutex_9_10 + WaitMutex_9_11 + WaitMutex_9_12 + WaitMutex_9_13 + WaitMutex_9_14 + WaitMutex_9_15 + WaitMutex_9_16 + WaitMutex_9_17 + WaitMutex_9_18 + WaitMutex_9_19 + WaitMutex_9_20 + WaitMutex_16_1 + WaitMutex_16_2 + WaitMutex_16_3 + WaitMutex_16_4 + WaitMutex_16_5 + WaitMutex_16_6 + WaitMutex_16_7 + WaitMutex_16_8 + WaitMutex_16_9 + WaitMutex_17_1 + WaitMutex_17_2 + WaitMutex_17_3 + WaitMutex_17_4 + WaitMutex_17_5 + WaitMutex_17_6 + WaitMutex_17_7 + WaitMutex_17_8 + WaitMutex_17_9 + WaitMutex_3_10 + WaitMutex_3_11 + WaitMutex_3_12 + WaitMutex_3_13 + WaitMutex_3_14 + WaitMutex_3_15 + WaitMutex_3_16 + WaitMutex_3_17 + WaitMutex_3_18 + WaitMutex_3_19 + WaitMutex_3_20 + WaitMutex_14_10 + WaitMutex_14_11 + WaitMutex_14_12 + WaitMutex_14_13 + WaitMutex_14_14 + WaitMutex_14_15 + WaitMutex_14_16 + WaitMutex_14_17 + WaitMutex_14_18 + WaitMutex_14_19 + WaitMutex_14_20 + WaitMutex_18_1 + WaitMutex_18_2 + WaitMutex_18_3 + WaitMutex_18_4 + WaitMutex_18_5 + WaitMutex_18_6 + WaitMutex_18_7 + WaitMutex_18_8 + WaitMutex_18_9 + WaitMutex_8_10 + WaitMutex_8_11 + WaitMutex_8_12 + WaitMutex_8_13 + WaitMutex_8_14 + WaitMutex_8_15 + WaitMutex_8_16 + WaitMutex_8_17 + WaitMutex_8_18 + WaitMutex_8_19 + WaitMutex_8_20 + WaitMutex_19_1 + WaitMutex_19_2 + WaitMutex_19_3 + WaitMutex_19_4 + WaitMutex_19_5 + WaitMutex_19_6 + WaitMutex_19_7 + WaitMutex_19_8 + WaitMutex_19_9 + WaitMutex_19_10 + WaitMutex_19_11 + WaitMutex_19_12 + WaitMutex_19_13 + WaitMutex_19_14 + WaitMutex_19_15 + WaitMutex_19_16 + WaitMutex_19_17 + WaitMutex_19_18 + WaitMutex_19_19 + WaitMutex_19_20 + WaitMutex_20_10 + WaitMutex_20_11 + WaitMutex_20_12 + WaitMutex_20_13 + WaitMutex_20_14 + WaitMutex_20_15 + WaitMutex_20_16 + WaitMutex_20_17 + WaitMutex_20_18 + WaitMutex_20_19 + WaitMutex_20_20 + WaitMutex_2_10 + WaitMutex_2_11 + WaitMutex_2_12 + WaitMutex_2_13 + WaitMutex_2_14 + WaitMutex_2_15 + WaitMutex_2_16 + WaitMutex_2_17 + WaitMutex_2_18 + WaitMutex_2_19 + WaitMutex_2_20 + WaitMutex_10_8 + WaitMutex_10_7 + WaitMutex_13_10 + WaitMutex_13_11 + WaitMutex_13_12 + WaitMutex_13_13 + WaitMutex_13_14 + WaitMutex_13_15 + WaitMutex_13_16 + WaitMutex_13_17 + WaitMutex_13_18 + WaitMutex_13_19 + WaitMutex_13_20 + WaitMutex_10_6 + WaitMutex_10_5 + WaitMutex_10_4 + WaitMutex_10_3 + WaitMutex_10_2 + WaitMutex_10_1 + WaitMutex_6_8 + WaitMutex_6_7 + WaitMutex_6_6 + WaitMutex_6_5 + WaitMutex_6_4 + WaitMutex_1_1 + WaitMutex_1_2 + WaitMutex_1_3 + WaitMutex_1_4 + WaitMutex_1_5 + WaitMutex_1_6 + WaitMutex_1_7 + WaitMutex_1_8 + WaitMutex_1_9 + WaitMutex_6_3 + WaitMutex_7_10 + WaitMutex_7_11 + WaitMutex_7_12 + WaitMutex_7_13 + WaitMutex_7_14 + WaitMutex_7_15 + WaitMutex_7_16 + WaitMutex_7_17 + WaitMutex_7_18 + WaitMutex_7_19 + WaitMutex_7_20 + WaitMutex_2_1 + WaitMutex_2_2 + WaitMutex_2_3 + WaitMutex_2_4 + WaitMutex_2_5 + WaitMutex_2_6 + WaitMutex_2_7 + WaitMutex_2_8 + WaitMutex_2_9 + WaitMutex_6_2 + WaitMutex_6_1 + WaitMutex_18_10 + WaitMutex_18_11 + WaitMutex_18_12 + WaitMutex_18_13 + WaitMutex_18_14 + WaitMutex_18_15 + WaitMutex_18_16 + WaitMutex_18_17 + WaitMutex_18_18 + WaitMutex_18_19 + WaitMutex_18_20 + WaitMutex_17_19 + WaitMutex_17_18 + WaitMutex_17_17 + WaitMutex_17_16 + WaitMutex_17_15 + WaitMutex_17_14 + WaitMutex_17_13 + WaitMutex_17_12 + WaitMutex_17_11 + WaitMutex_17_10 + WaitMutex_3_1 + WaitMutex_3_2 + WaitMutex_3_3 + WaitMutex_3_4 + WaitMutex_3_5 + WaitMutex_3_6 + WaitMutex_3_7 + WaitMutex_3_8 + WaitMutex_3_9 + WaitMutex_5_8 + WaitMutex_5_7 + WaitMutex_5_6 + WaitMutex_5_5 + WaitMutex_5_4 + WaitMutex_5_3 + WaitMutex_5_2 + WaitMutex_1_10 + WaitMutex_1_11 + WaitMutex_1_12 + WaitMutex_1_13 + WaitMutex_1_14 + WaitMutex_1_15 + WaitMutex_1_16 + WaitMutex_1_17 + WaitMutex_1_18 + WaitMutex_1_19 + WaitMutex_1_20 + WaitMutex_20_1 + WaitMutex_20_2 + WaitMutex_20_3 + WaitMutex_20_4 + WaitMutex_20_5 + WaitMutex_20_6 + WaitMutex_20_7 + WaitMutex_20_8 + WaitMutex_5_1 + WaitMutex_12_10 + WaitMutex_12_11 + WaitMutex_12_12 + WaitMutex_12_13 + WaitMutex_12_14 + WaitMutex_12_15 + WaitMutex_12_16 + WaitMutex_12_17 + WaitMutex_12_18 + WaitMutex_12_19 + WaitMutex_4_1 + WaitMutex_4_2 + WaitMutex_4_3 + WaitMutex_4_4 + WaitMutex_4_5 + WaitMutex_4_6 + WaitMutex_4_7 + WaitMutex_4_8 + WaitMutex_6_20 + WaitMutex_6_19 + WaitMutex_6_18 + WaitMutex_6_17 + WaitMutex_6_16 + WaitMutex_6_15 + WaitMutex_6_14 + WaitMutex_6_13 + WaitMutex_6_12 + WaitMutex_6_11 + WaitMutex_6_10 + WaitMutex_4_9 + WaitMutex_12_20 + WaitMutex_20_9 + WaitMutex_5_9 + WaitMutex_17_20 + WaitMutex_6_9 + WaitMutex_10_9) : MAX(Active_14_1 + Active_14_2 + Active_14_3 + Active_14_4 + Active_14_5 + Active_14_6 + Active_14_7 + Active_14_8 + Active_14_9 + Active_2_1 + Active_2_2 + Active_2_3 + Active_2_4 + Active_2_5 + Active_2_6 + Active_2_7 + Active_2_8 + Active_2_9 + Active_4_10 + Active_4_11 + Active_4_12 + Active_4_13 + Active_4_14 + Active_4_15 + Active_4_16 + Active_4_17 + Active_4_18 + Active_4_19 + Active_4_20 + Active_15_1 + Active_15_2 + Active_15_3 + Active_15_4 + Active_15_5 + Active_15_6 + Active_15_7 + Active_15_8 + Active_15_9 + Active_3_1 + Active_3_2 + Active_3_3 + Active_3_4 + Active_3_5 + Active_3_6 + Active_3_7 + Active_3_8 + Active_3_9 + Active_9_10 + Active_9_11 + Active_9_12 + Active_9_13 + Active_9_14 + Active_9_15 + Active_9_16 + Active_9_17 + Active_9_18 + Active_9_19 + Active_9_20 + Active_16_1 + Active_16_2 + Active_16_3 + Active_16_4 + Active_16_5 + Active_16_6 + Active_16_7 + Active_16_8 + Active_16_9 + Active_4_1 + Active_4_2 + Active_4_3 + Active_4_4 + Active_4_5 + Active_4_6 + Active_4_7 + Active_4_8 + Active_4_9 + Active_14_10 + Active_14_11 + Active_14_12 + Active_14_13 + Active_14_14 + Active_14_15 + Active_14_16 + Active_14_17 + Active_14_18 + Active_14_19 + Active_14_20 + Active_17_1 + Active_17_2 + Active_17_3 + Active_17_4 + Active_17_5 + Active_17_6 + Active_17_7 + Active_17_8 + Active_17_9 + Active_5_1 + Active_5_2 + Active_5_3 + Active_5_4 + Active_5_5 + Active_5_6 + Active_5_7 + Active_5_8 + Active_5_9 + Active_3_10 + Active_3_11 + Active_3_12 + Active_3_13 + Active_3_14 + Active_3_15 + Active_3_16 + Active_3_17 + Active_3_18 + Active_3_19 + Active_3_20 + Active_19_10 + Active_19_11 + Active_19_12 + Active_19_13 + Active_19_14 + Active_19_15 + Active_19_16 + Active_19_17 + Active_19_18 + Active_19_19 + Active_19_20 + Active_20_10 + Active_20_11 + Active_20_12 + Active_20_13 + Active_20_14 + Active_20_15 + Active_20_16 + Active_20_17 + Active_20_18 + Active_20_19 + Active_18_1 + Active_18_2 + Active_18_3 + Active_18_4 + Active_18_5 + Active_18_6 + Active_18_7 + Active_18_8 + Active_18_9 + Active_20_20 + Active_6_1 + Active_6_2 + Active_6_3 + Active_6_4 + Active_6_5 + Active_6_6 + Active_6_7 + Active_6_8 + Active_6_9 + Active_8_10 + Active_8_11 + Active_8_12 + Active_8_13 + Active_8_14 + Active_8_15 + Active_8_16 + Active_8_17 + Active_8_18 + Active_8_19 + Active_8_20 + Active_19_1 + Active_19_2 + Active_19_3 + Active_19_4 + Active_19_5 + Active_19_6 + Active_19_7 + Active_19_8 + Active_19_9 + Active_7_1 + Active_7_2 + Active_7_3 + Active_7_4 + Active_7_5 + Active_7_6 + Active_7_7 + Active_7_8 + Active_7_9 + Active_13_10 + Active_13_11 + Active_13_12 + Active_13_13 + Active_13_14 + Active_13_15 + Active_13_16 + Active_13_17 + Active_13_18 + Active_13_19 + Active_13_20 + Active_8_1 + Active_8_2 + Active_8_3 + Active_8_4 + Active_8_5 + Active_8_6 + Active_8_7 + Active_8_8 + Active_8_9 + Active_2_10 + Active_2_11 + Active_2_12 + Active_2_13 + Active_2_14 + Active_2_15 + Active_2_16 + Active_2_17 + Active_2_18 + Active_2_19 + Active_2_20 + Active_18_10 + Active_18_11 + Active_18_12 + Active_18_13 + Active_18_14 + Active_18_15 + Active_18_16 + Active_18_17 + Active_18_18 + Active_18_19 + Active_18_20 + Active_9_1 + Active_9_2 + Active_9_3 + Active_9_4 + Active_9_5 + Active_9_6 + Active_9_7 + Active_9_8 + Active_9_9 + Active_7_10 + Active_7_11 + Active_7_12 + Active_7_13 + Active_7_14 + Active_7_15 + Active_7_16 + Active_7_17 + Active_7_18 + Active_7_19 + Active_7_20 + Active_12_10 + Active_12_11 + Active_12_12 + Active_12_13 + Active_12_14 + Active_12_15 + Active_12_16 + Active_12_17 + Active_12_18 + Active_12_19 + Active_12_20 + Active_1_10 + Active_1_11 + Active_1_12 + Active_1_13 + Active_1_14 + Active_1_15 + Active_1_16 + Active_1_17 + Active_1_18 + Active_1_19 + Active_1_20 + Active_20_1 + Active_20_2 + Active_20_3 + Active_20_4 + Active_20_5 + Active_20_6 + Active_20_7 + Active_20_8 + Active_20_9 + Active_17_10 + Active_17_11 + Active_17_12 + Active_17_13 + Active_17_14 + Active_17_15 + Active_17_16 + Active_17_17 + Active_17_18 + Active_17_19 + Active_17_20 + Active_6_10 + Active_6_11 + Active_6_12 + Active_6_13 + Active_6_14 + Active_6_15 + Active_6_16 + Active_6_17 + Active_6_18 + Active_6_19 + Active_6_20 + Active_11_10 + Active_11_11 + Active_11_12 + Active_11_13 + Active_11_14 + Active_11_15 + Active_11_16 + Active_11_17 + Active_11_18 + Active_11_19 + Active_11_20 + Active_10_1 + Active_10_2 + Active_10_3 + Active_10_4 + Active_10_5 + Active_10_6 + Active_10_7 + Active_10_8 + Active_10_9 + Active_16_10 + Active_16_11 + Active_16_12 + Active_16_13 + Active_16_14 + Active_16_15 + Active_16_16 + Active_16_17 + Active_16_18 + Active_16_19 + Active_5_19 + Active_5_18 + Active_5_17 + Active_5_16 + Active_5_15 + Active_5_14 + Active_5_13 + Active_5_12 + Active_5_11 + Active_5_10 + Active_11_8 + Active_11_7 + Active_11_6 + Active_11_5 + Active_11_4 + Active_11_3 + Active_11_2 + Active_11_1 + Active_11_9 + Active_16_20 + Active_5_20 + Active_10_10 + Active_10_11 + Active_10_12 + Active_10_13 + Active_10_14 + Active_10_15 + Active_10_16 + Active_10_17 + Active_10_18 + Active_10_19 + Active_10_20 + Active_12_1 + Active_12_2 + Active_12_3 + Active_12_4 + Active_12_5 + Active_12_6 + Active_12_7 + Active_12_8 + Active_12_9 + Active_13_1 + Active_13_2 + Active_13_3 + Active_13_4 + Active_13_5 + Active_13_6 + Active_13_7 + Active_13_8 + Active_13_9 + Active_1_1 + Active_1_2 + Active_1_3 + Active_1_4 + Active_1_5 + Active_1_6 + Active_1_7 + Active_1_8 + Active_1_9 + Active_15_10 + Active_15_11 + Active_15_12 + Active_15_13 + Active_15_14 + Active_15_15 + Active_15_16 + Active_15_17 + Active_15_18 + Active_15_19 + Active_15_20) : MAX(all_active_10 + all_active_11 + all_active_12 + all_active_13 + all_active_14 + all_active_15 + all_active_16 + all_active_17 + all_active_18 + all_active_19 + all_active_20 + all_active_1 + all_active_2 + all_active_4 + all_active_5 + all_active_6 + all_active_8 + all_active_9 + all_active_7 + all_active_3) : MAX(Acknowledge_19_20 + Acknowledge_8_1 + Acknowledge_8_2 + Acknowledge_8_3 + Acknowledge_8_4 + Acknowledge_8_5 + Acknowledge_8_6 + Acknowledge_8_7 + Acknowledge_8_8 + Acknowledge_8_9 + Acknowledge_7_10 + Acknowledge_7_11 + Acknowledge_7_12 + Acknowledge_7_13 + Acknowledge_7_14 + Acknowledge_7_15 + Acknowledge_7_16 + Acknowledge_7_17 + Acknowledge_7_18 + Acknowledge_7_19 + Acknowledge_7_20 + Acknowledge_20_10 + Acknowledge_20_11 + Acknowledge_20_12 + Acknowledge_20_13 + Acknowledge_20_14 + Acknowledge_20_15 + Acknowledge_20_16 + Acknowledge_20_17 + Acknowledge_20_18 + Acknowledge_20_19 + Acknowledge_20_20 + Acknowledge_9_1 + Acknowledge_9_2 + Acknowledge_9_3 + Acknowledge_9_4 + Acknowledge_9_5 + Acknowledge_9_6 + Acknowledge_9_7 + Acknowledge_9_8 + Acknowledge_9_9 + Acknowledge_13_10 + Acknowledge_13_11 + Acknowledge_13_12 + Acknowledge_13_13 + Acknowledge_13_14 + Acknowledge_13_15 + Acknowledge_13_16 + Acknowledge_13_17 + Acknowledge_13_18 + Acknowledge_13_19 + Acknowledge_13_20 + Acknowledge_1_10 + Acknowledge_1_11 + Acknowledge_1_12 + Acknowledge_1_13 + Acknowledge_1_14 + Acknowledge_1_15 + Acknowledge_1_16 + Acknowledge_1_17 + Acknowledge_1_18 + Acknowledge_1_19 + Acknowledge_1_20 + Acknowledge_20_1 + Acknowledge_20_2 + Acknowledge_20_3 + Acknowledge_20_4 + Acknowledge_20_5 + Acknowledge_20_6 + Acknowledge_20_7 + Acknowledge_20_8 + Acknowledge_20_9 + Acknowledge_18_10 + Acknowledge_18_11 + Acknowledge_18_12 + Acknowledge_18_13 + Acknowledge_18_14 + Acknowledge_18_15 + Acknowledge_18_16 + Acknowledge_18_17 + Acknowledge_18_18 + Acknowledge_18_19 + Acknowledge_18_20 + Acknowledge_6_10 + Acknowledge_6_11 + Acknowledge_6_12 + Acknowledge_6_13 + Acknowledge_6_14 + Acknowledge_6_15 + Acknowledge_6_16 + Acknowledge_6_17 + Acknowledge_6_18 + Acknowledge_6_19 + Acknowledge_6_20 + Acknowledge_12_10 + Acknowledge_12_11 + Acknowledge_12_12 + Acknowledge_12_13 + Acknowledge_12_14 + Acknowledge_12_15 + Acknowledge_12_16 + Acknowledge_12_17 + Acknowledge_12_18 + Acknowledge_12_19 + Acknowledge_12_20 + Acknowledge_10_1 + Acknowledge_10_2 + Acknowledge_10_3 + Acknowledge_10_4 + Acknowledge_10_5 + Acknowledge_10_6 + Acknowledge_10_7 + Acknowledge_10_8 + Acknowledge_10_9 + Acknowledge_17_10 + Acknowledge_17_11 + Acknowledge_17_12 + Acknowledge_17_13 + Acknowledge_17_14 + Acknowledge_17_15 + Acknowledge_17_16 + Acknowledge_17_17 + Acknowledge_17_18 + Acknowledge_17_19 + Acknowledge_17_20 + Acknowledge_11_1 + Acknowledge_11_2 + Acknowledge_11_3 + Acknowledge_11_4 + Acknowledge_11_5 + Acknowledge_11_6 + Acknowledge_11_7 + Acknowledge_11_8 + Acknowledge_11_9 + Acknowledge_5_10 + Acknowledge_5_11 + Acknowledge_5_12 + Acknowledge_5_13 + Acknowledge_5_14 + Acknowledge_5_15 + Acknowledge_5_16 + Acknowledge_5_17 + Acknowledge_5_18 + Acknowledge_5_19 + Acknowledge_5_20 + Acknowledge_12_1 + Acknowledge_12_2 + Acknowledge_12_3 + Acknowledge_12_4 + Acknowledge_12_5 + Acknowledge_12_6 + Acknowledge_12_7 + Acknowledge_12_8 + Acknowledge_12_9 + Acknowledge_11_10 + Acknowledge_11_11 + Acknowledge_11_12 + Acknowledge_11_13 + Acknowledge_11_14 + Acknowledge_11_15 + Acknowledge_11_16 + Acknowledge_11_17 + Acknowledge_11_18 + Acknowledge_11_19 + Acknowledge_11_20 + Acknowledge_13_1 + Acknowledge_13_2 + Acknowledge_13_3 + Acknowledge_13_4 + Acknowledge_13_5 + Acknowledge_13_6 + Acknowledge_13_7 + Acknowledge_13_8 + Acknowledge_13_9 + Acknowledge_16_10 + Acknowledge_16_11 + Acknowledge_16_12 + Acknowledge_16_13 + Acknowledge_16_14 + Acknowledge_16_15 + Acknowledge_16_16 + Acknowledge_16_17 + Acknowledge_16_18 + Acknowledge_16_19 + Acknowledge_16_20 + Acknowledge_14_1 + Acknowledge_14_2 + Acknowledge_14_3 + Acknowledge_14_4 + Acknowledge_14_5 + Acknowledge_14_6 + Acknowledge_14_7 + Acknowledge_14_8 + Acknowledge_14_9 + Acknowledge_4_10 + Acknowledge_4_11 + Acknowledge_4_12 + Acknowledge_4_13 + Acknowledge_4_14 + Acknowledge_4_15 + Acknowledge_4_16 + Acknowledge_4_17 + Acknowledge_4_18 + Acknowledge_4_19 + Acknowledge_4_20 + Acknowledge_1_1 + Acknowledge_1_2 + Acknowledge_1_3 + Acknowledge_1_4 + Acknowledge_1_5 + Acknowledge_1_6 + Acknowledge_1_7 + Acknowledge_1_8 + Acknowledge_1_9 + Acknowledge_15_1 + Acknowledge_15_2 + Acknowledge_15_3 + Acknowledge_15_4 + Acknowledge_15_5 + Acknowledge_15_6 + Acknowledge_15_7 + Acknowledge_15_8 + Acknowledge_15_9 + Acknowledge_2_1 + Acknowledge_2_2 + Acknowledge_2_3 + Acknowledge_2_4 + Acknowledge_2_5 + Acknowledge_2_6 + Acknowledge_2_7 + Acknowledge_2_8 + Acknowledge_2_9 + Acknowledge_9_10 + Acknowledge_9_11 + Acknowledge_9_12 + Acknowledge_9_13 + Acknowledge_9_14 + Acknowledge_9_15 + Acknowledge_9_16 + Acknowledge_9_17 + Acknowledge_9_18 + Acknowledge_9_19 + Acknowledge_9_20 + Acknowledge_10_10 + Acknowledge_10_11 + Acknowledge_10_12 + Acknowledge_10_13 + Acknowledge_10_14 + Acknowledge_10_15 + Acknowledge_10_16 + Acknowledge_10_17 + Acknowledge_10_18 + Acknowledge_10_19 + Acknowledge_10_20 + Acknowledge_16_1 + Acknowledge_16_2 + Acknowledge_16_3 + Acknowledge_16_4 + Acknowledge_16_5 + Acknowledge_16_6 + Acknowledge_16_7 + Acknowledge_16_8 + Acknowledge_16_9 + Acknowledge_3_1 + Acknowledge_3_2 + Acknowledge_3_3 + Acknowledge_3_4 + Acknowledge_3_5 + Acknowledge_3_6 + Acknowledge_3_7 + Acknowledge_3_8 + Acknowledge_15_10 + Acknowledge_15_11 + Acknowledge_15_12 + Acknowledge_15_13 + Acknowledge_15_14 + Acknowledge_15_15 + Acknowledge_15_16 + Acknowledge_15_17 + Acknowledge_15_18 + Acknowledge_15_19 + Acknowledge_15_20 + Acknowledge_17_1 + Acknowledge_17_2 + Acknowledge_17_3 + Acknowledge_17_4 + Acknowledge_17_5 + Acknowledge_17_6 + Acknowledge_17_7 + Acknowledge_17_8 + Acknowledge_17_9 + Acknowledge_3_10 + Acknowledge_3_11 + Acknowledge_3_12 + Acknowledge_3_13 + Acknowledge_3_14 + Acknowledge_3_15 + Acknowledge_3_16 + Acknowledge_3_17 + Acknowledge_3_18 + Acknowledge_3_19 + Acknowledge_3_20 + Acknowledge_4_1 + Acknowledge_4_2 + Acknowledge_4_3 + Acknowledge_4_4 + Acknowledge_4_5 + Acknowledge_4_6 + Acknowledge_4_7 + Acknowledge_4_8 + Acknowledge_19_9 + Acknowledge_19_8 + Acknowledge_19_7 + Acknowledge_19_6 + Acknowledge_19_5 + Acknowledge_19_4 + Acknowledge_19_3 + Acknowledge_19_2 + Acknowledge_19_1 + Acknowledge_18_1 + Acknowledge_18_2 + Acknowledge_18_3 + Acknowledge_18_4 + Acknowledge_18_5 + Acknowledge_18_6 + Acknowledge_18_7 + Acknowledge_18_8 + Acknowledge_18_9 + Acknowledge_5_1 + Acknowledge_5_2 + Acknowledge_5_3 + Acknowledge_5_4 + Acknowledge_5_5 + Acknowledge_5_6 + Acknowledge_5_7 + Acknowledge_5_8 + Acknowledge_8_10 + Acknowledge_8_11 + Acknowledge_8_12 + Acknowledge_8_13 + Acknowledge_8_14 + Acknowledge_8_15 + Acknowledge_8_16 + Acknowledge_8_17 + Acknowledge_8_18 + Acknowledge_8_19 + Acknowledge_8_20 + Acknowledge_5_9 + Acknowledge_4_9 + Acknowledge_6_1 + Acknowledge_6_2 + Acknowledge_6_3 + Acknowledge_6_4 + Acknowledge_6_5 + Acknowledge_6_6 + Acknowledge_6_7 + Acknowledge_6_8 + Acknowledge_6_9 + Acknowledge_14_10 + Acknowledge_14_11 + Acknowledge_14_12 + Acknowledge_14_13 + Acknowledge_14_14 + Acknowledge_14_15 + Acknowledge_14_16 + Acknowledge_14_17 + Acknowledge_14_18 + Acknowledge_14_19 + Acknowledge_14_20 + Acknowledge_2_10 + Acknowledge_2_11 + Acknowledge_2_12 + Acknowledge_2_13 + Acknowledge_2_14 + Acknowledge_2_15 + Acknowledge_2_16 + Acknowledge_2_17 + Acknowledge_2_18 + Acknowledge_2_19 + Acknowledge_2_20 + Acknowledge_3_9 + Acknowledge_7_1 + Acknowledge_7_2 + Acknowledge_7_3 + Acknowledge_7_4 + Acknowledge_7_5 + Acknowledge_7_6 + Acknowledge_7_7 + Acknowledge_7_8 + Acknowledge_7_9 + Acknowledge_19_10 + Acknowledge_19_11 + Acknowledge_19_12 + Acknowledge_19_13 + Acknowledge_19_14 + Acknowledge_19_15 + Acknowledge_19_16 + Acknowledge_19_17 + Acknowledge_19_18 + Acknowledge_19_19) : MAX(RecBuff_20_10 + RecBuff_20_11 + RecBuff_20_12 + RecBuff_20_13 + RecBuff_20_14 + RecBuff_20_15 + RecBuff_20_16 + RecBuff_20_17 + RecBuff_20_18 + RecBuff_20_19 + RecBuff_20_20 + RecBuff_3_1 + RecBuff_3_2 + RecBuff_3_3 + RecBuff_3_4 + RecBuff_3_5 + RecBuff_3_6 + RecBuff_3_7 + RecBuff_3_8 + RecBuff_3_9 + RecBuff_2_10 + RecBuff_2_11 + RecBuff_2_12 + RecBuff_2_13 + RecBuff_2_14 + RecBuff_2_15 + RecBuff_2_16 + RecBuff_2_17 + RecBuff_2_18 + RecBuff_2_19 + RecBuff_2_20 + RecBuff_4_1 + RecBuff_4_2 + RecBuff_4_3 + RecBuff_4_4 + RecBuff_4_5 + RecBuff_4_6 + RecBuff_4_7 + RecBuff_4_8 + RecBuff_4_9 + RecBuff_13_10 + RecBuff_13_11 + RecBuff_13_12 + RecBuff_13_13 + RecBuff_13_14 + RecBuff_13_15 + RecBuff_13_16 + RecBuff_13_17 + RecBuff_13_18 + RecBuff_13_19 + RecBuff_13_20 + RecBuff_7_10 + RecBuff_7_11 + RecBuff_7_12 + RecBuff_7_13 + RecBuff_7_14 + RecBuff_7_15 + RecBuff_7_16 + RecBuff_7_17 + RecBuff_7_18 + RecBuff_7_19 + RecBuff_7_20 + RecBuff_5_1 + RecBuff_5_2 + RecBuff_5_3 + RecBuff_5_4 + RecBuff_5_5 + RecBuff_5_6 + RecBuff_5_7 + RecBuff_5_8 + RecBuff_5_9 + RecBuff_18_10 + RecBuff_18_11 + RecBuff_18_12 + RecBuff_18_13 + RecBuff_18_14 + RecBuff_18_15 + RecBuff_18_16 + RecBuff_18_17 + RecBuff_18_18 + RecBuff_18_19 + RecBuff_18_20 + RecBuff_6_1 + RecBuff_6_2 + RecBuff_6_3 + RecBuff_6_4 + RecBuff_6_5 + RecBuff_6_6 + RecBuff_6_7 + RecBuff_6_8 + RecBuff_6_9 + RecBuff_1_10 + RecBuff_1_11 + RecBuff_1_12 + RecBuff_1_13 + RecBuff_1_14 + RecBuff_1_15 + RecBuff_1_16 + RecBuff_1_17 + RecBuff_1_18 + RecBuff_1_19 + RecBuff_1_20 + RecBuff_20_1 + RecBuff_20_2 + RecBuff_20_3 + RecBuff_20_4 + RecBuff_20_5 + RecBuff_20_6 + RecBuff_20_7 + RecBuff_20_8 + RecBuff_20_9 + RecBuff_7_1 + RecBuff_7_2 + RecBuff_7_3 + RecBuff_7_4 + RecBuff_7_5 + RecBuff_7_6 + RecBuff_7_7 + RecBuff_7_8 + RecBuff_7_9 + RecBuff_12_10 + RecBuff_12_11 + RecBuff_12_12 + RecBuff_12_13 + RecBuff_12_14 + RecBuff_12_15 + RecBuff_12_16 + RecBuff_12_17 + RecBuff_12_18 + RecBuff_12_19 + RecBuff_12_20 + RecBuff_6_10 + RecBuff_6_11 + RecBuff_6_12 + RecBuff_6_13 + RecBuff_6_14 + RecBuff_6_15 + RecBuff_6_16 + RecBuff_6_17 + RecBuff_6_18 + RecBuff_6_19 + RecBuff_6_20 + RecBuff_8_1 + RecBuff_8_2 + RecBuff_8_3 + RecBuff_8_4 + RecBuff_8_5 + RecBuff_8_6 + RecBuff_8_7 + RecBuff_8_8 + RecBuff_8_9 + RecBuff_17_10 + RecBuff_17_11 + RecBuff_17_12 + RecBuff_17_13 + RecBuff_17_14 + RecBuff_17_15 + RecBuff_17_16 + RecBuff_17_17 + RecBuff_17_18 + RecBuff_17_19 + RecBuff_17_20 + RecBuff_19_19 + RecBuff_9_1 + RecBuff_9_2 + RecBuff_9_3 + RecBuff_9_4 + RecBuff_9_5 + RecBuff_9_6 + RecBuff_9_7 + RecBuff_9_8 + RecBuff_9_9 + RecBuff_10_1 + RecBuff_10_2 + RecBuff_10_3 + RecBuff_10_4 + RecBuff_10_5 + RecBuff_10_6 + RecBuff_10_7 + RecBuff_10_8 + RecBuff_10_9 + RecBuff_11_10 + RecBuff_11_11 + RecBuff_11_12 + RecBuff_11_13 + RecBuff_11_14 + RecBuff_11_15 + RecBuff_11_16 + RecBuff_11_17 + RecBuff_11_18 + RecBuff_11_19 + RecBuff_11_20 + RecBuff_11_1 + RecBuff_11_2 + RecBuff_11_3 + RecBuff_11_4 + RecBuff_11_5 + RecBuff_11_6 + RecBuff_11_7 + RecBuff_11_8 + RecBuff_11_9 + RecBuff_5_10 + RecBuff_5_11 + RecBuff_5_12 + RecBuff_5_13 + RecBuff_5_14 + RecBuff_5_15 + RecBuff_5_16 + RecBuff_5_17 + RecBuff_5_18 + RecBuff_5_19 + RecBuff_5_20 + RecBuff_19_18 + RecBuff_12_1 + RecBuff_12_2 + RecBuff_12_3 + RecBuff_12_4 + RecBuff_12_5 + RecBuff_12_6 + RecBuff_12_7 + RecBuff_12_8 + RecBuff_12_9 + RecBuff_16_10 + RecBuff_16_11 + RecBuff_16_12 + RecBuff_16_13 + RecBuff_16_14 + RecBuff_16_15 + RecBuff_16_16 + RecBuff_16_17 + RecBuff_16_18 + RecBuff_16_19 + RecBuff_16_20 + RecBuff_19_17 + RecBuff_19_16 + RecBuff_19_15 + RecBuff_19_14 + RecBuff_19_13 + RecBuff_19_12 + RecBuff_19_11 + RecBuff_19_10 + RecBuff_13_1 + RecBuff_13_2 + RecBuff_13_3 + RecBuff_13_4 + RecBuff_13_5 + RecBuff_13_6 + RecBuff_13_7 + RecBuff_13_8 + RecBuff_13_9 + RecBuff_10_10 + RecBuff_10_11 + RecBuff_10_12 + RecBuff_10_13 + RecBuff_10_14 + RecBuff_10_15 + RecBuff_10_16 + RecBuff_10_17 + RecBuff_10_18 + RecBuff_10_19 + RecBuff_10_20 + RecBuff_14_1 + RecBuff_14_2 + RecBuff_14_3 + RecBuff_14_4 + RecBuff_14_5 + RecBuff_14_6 + RecBuff_14_7 + RecBuff_14_8 + RecBuff_14_9 + RecBuff_4_10 + RecBuff_4_11 + RecBuff_4_12 + RecBuff_4_13 + RecBuff_4_14 + RecBuff_4_15 + RecBuff_4_16 + RecBuff_4_17 + RecBuff_4_18 + RecBuff_4_19 + RecBuff_4_20 + RecBuff_15_1 + RecBuff_15_2 + RecBuff_15_3 + RecBuff_15_4 + RecBuff_15_5 + RecBuff_15_6 + RecBuff_15_7 + RecBuff_15_8 + RecBuff_15_10 + RecBuff_15_11 + RecBuff_15_12 + RecBuff_15_13 + RecBuff_15_14 + RecBuff_15_15 + RecBuff_15_16 + RecBuff_15_17 + RecBuff_15_18 + RecBuff_15_19 + RecBuff_15_20 + RecBuff_14_20 + RecBuff_14_19 + RecBuff_14_18 + RecBuff_14_17 + RecBuff_14_16 + RecBuff_14_15 + RecBuff_14_14 + RecBuff_14_13 + RecBuff_14_12 + RecBuff_14_11 + RecBuff_14_10 + RecBuff_1_8 + RecBuff_1_7 + RecBuff_1_6 + RecBuff_1_5 + RecBuff_1_4 + RecBuff_1_3 + RecBuff_1_2 + RecBuff_1_1 + RecBuff_3_20 + RecBuff_3_19 + RecBuff_3_18 + RecBuff_3_17 + RecBuff_3_16 + RecBuff_3_15 + RecBuff_3_14 + RecBuff_3_13 + RecBuff_3_12 + RecBuff_3_11 + RecBuff_3_10 + RecBuff_17_9 + RecBuff_17_8 + RecBuff_17_7 + RecBuff_17_6 + RecBuff_17_5 + RecBuff_17_4 + RecBuff_17_3 + RecBuff_17_2 + RecBuff_17_1 + RecBuff_16_9 + RecBuff_16_8 + RecBuff_16_7 + RecBuff_16_6 + RecBuff_16_5 + RecBuff_16_4 + RecBuff_18_1 + RecBuff_18_2 + RecBuff_18_3 + RecBuff_18_4 + RecBuff_18_5 + RecBuff_18_6 + RecBuff_18_7 + RecBuff_18_8 + RecBuff_18_9 + RecBuff_16_3 + RecBuff_16_2 + RecBuff_16_1 + RecBuff_1_9 + RecBuff_9_20 + RecBuff_9_19 + RecBuff_9_18 + RecBuff_9_17 + RecBuff_9_16 + RecBuff_9_15 + RecBuff_9_14 + RecBuff_9_13 + RecBuff_9_12 + RecBuff_9_11 + RecBuff_9_10 + RecBuff_8_10 + RecBuff_8_11 + RecBuff_8_12 + RecBuff_8_13 + RecBuff_8_14 + RecBuff_8_15 + RecBuff_8_16 + RecBuff_8_17 + RecBuff_8_18 + RecBuff_8_19 + RecBuff_8_20 + RecBuff_15_9 + RecBuff_19_1 + RecBuff_19_2 + RecBuff_19_3 + RecBuff_19_4 + RecBuff_19_5 + RecBuff_19_6 + RecBuff_19_7 + RecBuff_19_8 + RecBuff_19_9 + RecBuff_2_1 + RecBuff_2_2 + RecBuff_2_3 + RecBuff_2_4 + RecBuff_2_5 + RecBuff_2_6 + RecBuff_2_7 + RecBuff_2_8 + RecBuff_2_9 + RecBuff_19_20) : MAX(Mutex_10 + Mutex_11 + Mutex_12 + Mutex_13 + Mutex_14 + Mutex_15 + Mutex_16 + Mutex_17 + Mutex_18 + Mutex_19 + Mutex_20 + Mutex_1 + Mutex_2 + Mutex_3 + Mutex_4 + Mutex_5 + Mutex_6 + Mutex_7 + Mutex_8 + Mutex_9) : MAX(Modify_7_10 + Modify_7_11 + Modify_7_12 + Modify_7_13 + Modify_7_14 + Modify_7_15 + Modify_7_16 + Modify_7_17 + Modify_7_18 + Modify_7_19 + Modify_7_20 + Modify_14_10 + Modify_14_11 + Modify_14_12 + Modify_14_13 + Modify_14_14 + Modify_14_15 + Modify_14_16 + Modify_14_17 + Modify_14_18 + Modify_14_19 + Modify_14_20 + Modify_19_10 + Modify_19_11 + Modify_19_12 + Modify_19_13 + Modify_19_14 + Modify_19_15 + Modify_19_16 + Modify_19_17 + Modify_19_18 + Modify_19_19 + Modify_19_20 + Modify_1_10 + Modify_1_11 + Modify_1_12 + Modify_1_13 + Modify_1_14 + Modify_1_15 + Modify_1_16 + Modify_1_17 + Modify_1_18 + Modify_1_19 + Modify_1_20 + Modify_20_1 + Modify_20_2 + Modify_20_3 + Modify_20_4 + Modify_20_5 + Modify_20_6 + Modify_20_7 + Modify_20_8 + Modify_20_9 + Modify_20_10 + Modify_20_11 + Modify_20_12 + Modify_20_13 + Modify_20_14 + Modify_20_15 + Modify_20_16 + Modify_20_17 + Modify_20_18 + Modify_20_19 + Modify_20_20 + Modify_1_1 + Modify_1_2 + Modify_1_3 + Modify_1_4 + Modify_1_5 + Modify_1_6 + Modify_1_7 + Modify_1_8 + Modify_1_9 + Modify_6_10 + Modify_6_11 + Modify_6_12 + Modify_6_13 + Modify_6_14 + Modify_6_15 + Modify_6_16 + Modify_6_17 + Modify_6_18 + Modify_6_19 + Modify_6_20 + Modify_13_10 + Modify_13_11 + Modify_13_12 + Modify_13_13 + Modify_13_14 + Modify_13_15 + Modify_13_16 + Modify_13_17 + Modify_13_18 + Modify_13_19 + Modify_13_20 + Modify_2_1 + Modify_2_2 + Modify_2_3 + Modify_2_4 + Modify_2_5 + Modify_2_6 + Modify_2_7 + Modify_2_8 + Modify_2_9 + Modify_18_10 + Modify_18_11 + Modify_18_12 + Modify_18_13 + Modify_18_14 + Modify_18_15 + Modify_18_16 + Modify_18_17 + Modify_18_18 + Modify_18_19 + Modify_18_20 + Modify_3_1 + Modify_3_2 + Modify_3_3 + Modify_3_4 + Modify_3_5 + Modify_3_6 + Modify_3_7 + Modify_3_8 + Modify_3_9 + Modify_10_1 + Modify_10_2 + Modify_10_3 + Modify_10_4 + Modify_10_5 + Modify_10_6 + Modify_10_7 + Modify_10_8 + Modify_10_9 + Modify_4_1 + Modify_4_2 + Modify_4_3 + Modify_4_4 + Modify_4_5 + Modify_4_6 + Modify_4_7 + Modify_4_8 + Modify_4_9 + Modify_11_1 + Modify_11_2 + Modify_11_3 + Modify_11_4 + Modify_11_5 + Modify_11_6 + Modify_11_7 + Modify_11_8 + Modify_11_9 + Modify_5_10 + Modify_5_11 + Modify_5_12 + Modify_5_13 + Modify_5_14 + Modify_5_15 + Modify_5_16 + Modify_5_17 + Modify_5_18 + Modify_5_19 + Modify_5_20 + Modify_12_10 + Modify_12_11 + Modify_12_12 + Modify_12_13 + Modify_12_14 + Modify_12_15 + Modify_12_16 + Modify_12_17 + Modify_12_18 + Modify_12_19 + Modify_12_20 + Modify_5_1 + Modify_5_2 + Modify_5_3 + Modify_5_4 + Modify_5_5 + Modify_5_6 + Modify_5_7 + Modify_5_8 + Modify_5_9 + Modify_12_1 + Modify_12_2 + Modify_12_3 + Modify_12_4 + Modify_12_5 + Modify_12_6 + Modify_12_7 + Modify_12_8 + Modify_12_9 + Modify_17_10 + Modify_17_11 + Modify_17_12 + Modify_17_13 + Modify_17_14 + Modify_17_15 + Modify_17_16 + Modify_17_17 + Modify_17_18 + Modify_17_19 + Modify_17_20 + Modify_6_1 + Modify_6_2 + Modify_6_3 + Modify_6_4 + Modify_6_5 + Modify_6_6 + Modify_6_7 + Modify_6_8 + Modify_6_9 + Modify_13_1 + Modify_13_2 + Modify_13_3 + Modify_13_4 + Modify_13_5 + Modify_13_6 + Modify_13_7 + Modify_13_8 + Modify_13_9 + Modify_7_1 + Modify_7_2 + Modify_7_3 + Modify_7_4 + Modify_7_5 + Modify_7_6 + Modify_7_7 + Modify_7_8 + Modify_7_9 + Modify_14_1 + Modify_14_2 + Modify_14_3 + Modify_14_4 + Modify_14_5 + Modify_14_6 + Modify_14_7 + Modify_14_8 + Modify_4_10 + Modify_4_11 + Modify_4_12 + Modify_4_13 + Modify_4_14 + Modify_4_15 + Modify_4_16 + Modify_4_17 + Modify_4_18 + Modify_4_19 + Modify_4_20 + Modify_11_10 + Modify_11_11 + Modify_11_12 + Modify_11_13 + Modify_11_14 + Modify_11_15 + Modify_11_16 + Modify_11_17 + Modify_11_18 + Modify_11_19 + Modify_11_20 + Modify_8_1 + Modify_8_2 + Modify_8_3 + Modify_8_4 + Modify_8_5 + Modify_8_6 + Modify_8_7 + Modify_8_8 + Modify_8_9 + Modify_15_1 + Modify_15_2 + Modify_15_3 + Modify_15_4 + Modify_15_5 + Modify_15_6 + Modify_15_7 + Modify_15_8 + Modify_15_9 + Modify_9_10 + Modify_9_11 + Modify_9_12 + Modify_9_13 + Modify_9_14 + Modify_9_15 + Modify_9_16 + Modify_9_17 + Modify_9_18 + Modify_9_19 + Modify_9_20 + Modify_16_10 + Modify_16_11 + Modify_16_12 + Modify_16_13 + Modify_16_14 + Modify_16_15 + Modify_16_16 + Modify_16_17 + Modify_16_18 + Modify_16_19 + Modify_16_20 + Modify_19_8 + Modify_19_7 + Modify_19_6 + Modify_19_5 + Modify_19_4 + Modify_19_3 + Modify_19_2 + Modify_19_1 + Modify_9_1 + Modify_9_2 + Modify_9_3 + Modify_9_4 + Modify_9_5 + Modify_9_6 + Modify_9_7 + Modify_9_8 + Modify_9_9 + Modify_16_1 + Modify_16_2 + Modify_16_3 + Modify_16_4 + Modify_16_5 + Modify_16_6 + Modify_16_7 + Modify_16_8 + Modify_16_9 + Modify_15_19 + Modify_15_18 + Modify_15_17 + Modify_15_16 + Modify_15_15 + Modify_15_14 + Modify_15_13 + Modify_15_12 + Modify_15_11 + Modify_15_10 + Modify_17_1 + Modify_17_2 + Modify_17_3 + Modify_17_4 + Modify_17_5 + Modify_17_6 + Modify_17_7 + Modify_17_8 + Modify_17_9 + Modify_3_10 + Modify_3_11 + Modify_3_12 + Modify_3_13 + Modify_3_14 + Modify_3_15 + Modify_3_16 + Modify_3_17 + Modify_3_18 + Modify_3_19 + Modify_3_20 + Modify_8_19 + Modify_8_18 + Modify_8_17 + Modify_8_16 + Modify_8_15 + Modify_10_10 + Modify_10_11 + Modify_10_12 + Modify_10_13 + Modify_10_14 + Modify_10_15 + Modify_10_16 + Modify_10_17 + Modify_10_18 + Modify_10_19 + Modify_10_20 + Modify_8_14 + Modify_8_13 + Modify_8_12 + Modify_8_11 + Modify_8_10 + Modify_18_8 + Modify_18_7 + Modify_18_6 + Modify_18_5 + Modify_18_4 + Modify_18_3 + Modify_18_2 + Modify_18_1 + Modify_18_9 + Modify_8_20 + Modify_15_20 + Modify_19_9 + Modify_14_9 + Modify_2_10 + Modify_2_11 + Modify_2_12 + Modify_2_13 + Modify_2_14 + Modify_2_15 + Modify_2_16 + Modify_2_17 + Modify_2_18 + Modify_2_19 + Modify_2_20) : MAX(Acknowledge_19_20 + Acknowledge_8_1 + Acknowledge_8_2 + Acknowledge_8_3 + Acknowledge_8_4 + Acknowledge_8_5 + Acknowledge_8_6 + Acknowledge_8_7 + Acknowledge_8_8 + Acknowledge_8_9 + Acknowledge_7_10 + Acknowledge_7_11 + Acknowledge_7_12 + Acknowledge_7_13 + Acknowledge_7_14 + Acknowledge_7_15 + Acknowledge_7_16 + Acknowledge_7_17 + Acknowledge_7_18 + Acknowledge_7_19 + Acknowledge_7_20 + Acknowledge_20_10 + Acknowledge_20_11 + Acknowledge_20_12 + Acknowledge_20_13 + Acknowledge_20_14 + Acknowledge_20_15 + Acknowledge_20_16 + Acknowledge_20_17 + Acknowledge_20_18 + Acknowledge_20_19 + Acknowledge_20_20 + Acknowledge_9_1 + Acknowledge_9_2 + Acknowledge_9_3 + Acknowledge_9_4 + Acknowledge_9_5 + Acknowledge_9_6 + Acknowledge_9_7 + Acknowledge_9_8 + Acknowledge_9_9 + Acknowledge_13_10 + Acknowledge_13_11 + Acknowledge_13_12 + Acknowledge_13_13 + Acknowledge_13_14 + Acknowledge_13_15 + Acknowledge_13_16 + Acknowledge_13_17 + Acknowledge_13_18 + Acknowledge_13_19 + Acknowledge_13_20 + Acknowledge_1_10 + Acknowledge_1_11 + Acknowledge_1_12 + Acknowledge_1_13 + Acknowledge_1_14 + Acknowledge_1_15 + Acknowledge_1_16 + Acknowledge_1_17 + Acknowledge_1_18 + Acknowledge_1_19 + Acknowledge_1_20 + Acknowledge_20_1 + Acknowledge_20_2 + Acknowledge_20_3 + Acknowledge_20_4 + Acknowledge_20_5 + Acknowledge_20_6 + Acknowledge_20_7 + Acknowledge_20_8 + Acknowledge_20_9 + Acknowledge_18_10 + Acknowledge_18_11 + Acknowledge_18_12 + Acknowledge_18_13 + Acknowledge_18_14 + Acknowledge_18_15 + Acknowledge_18_16 + Acknowledge_18_17 + Acknowledge_18_18 + Acknowledge_18_19 + Acknowledge_18_20 + Acknowledge_6_10 + Acknowledge_6_11 + Acknowledge_6_12 + Acknowledge_6_13 + Acknowledge_6_14 + Acknowledge_6_15 + Acknowledge_6_16 + Acknowledge_6_17 + Acknowledge_6_18 + Acknowledge_6_19 + Acknowledge_6_20 + Acknowledge_12_10 + Acknowledge_12_11 + Acknowledge_12_12 + Acknowledge_12_13 + Acknowledge_12_14 + Acknowledge_12_15 + Acknowledge_12_16 + Acknowledge_12_17 + Acknowledge_12_18 + Acknowledge_12_19 + Acknowledge_12_20 + Acknowledge_10_1 + Acknowledge_10_2 + Acknowledge_10_3 + Acknowledge_10_4 + Acknowledge_10_5 + Acknowledge_10_6 + Acknowledge_10_7 + Acknowledge_10_8 + Acknowledge_10_9 + Acknowledge_17_10 + Acknowledge_17_11 + Acknowledge_17_12 + Acknowledge_17_13 + Acknowledge_17_14 + Acknowledge_17_15 + Acknowledge_17_16 + Acknowledge_17_17 + Acknowledge_17_18 + Acknowledge_17_19 + Acknowledge_17_20 + Acknowledge_11_1 + Acknowledge_11_2 + Acknowledge_11_3 + Acknowledge_11_4 + Acknowledge_11_5 + Acknowledge_11_6 + Acknowledge_11_7 + Acknowledge_11_8 + Acknowledge_11_9 + Acknowledge_5_10 + Acknowledge_5_11 + Acknowledge_5_12 + Acknowledge_5_13 + Acknowledge_5_14 + Acknowledge_5_15 + Acknowledge_5_16 + Acknowledge_5_17 + Acknowledge_5_18 + Acknowledge_5_19 + Acknowledge_5_20 + Acknowledge_12_1 + Acknowledge_12_2 + Acknowledge_12_3 + Acknowledge_12_4 + Acknowledge_12_5 + Acknowledge_12_6 + Acknowledge_12_7 + Acknowledge_12_8 + Acknowledge_12_9 + Acknowledge_11_10 + Acknowledge_11_11 + Acknowledge_11_12 + Acknowledge_11_13 + Acknowledge_11_14 + Acknowledge_11_15 + Acknowledge_11_16 + Acknowledge_11_17 + Acknowledge_11_18 + Acknowledge_11_19 + Acknowledge_11_20 + Acknowledge_13_1 + Acknowledge_13_2 + Acknowledge_13_3 + Acknowledge_13_4 + Acknowledge_13_5 + Acknowledge_13_6 + Acknowledge_13_7 + Acknowledge_13_8 + Acknowledge_13_9 + Acknowledge_16_10 + Acknowledge_16_11 + Acknowledge_16_12 + Acknowledge_16_13 + Acknowledge_16_14 + Acknowledge_16_15 + Acknowledge_16_16 + Acknowledge_16_17 + Acknowledge_16_18 + Acknowledge_16_19 + Acknowledge_16_20 + Acknowledge_14_1 + Acknowledge_14_2 + Acknowledge_14_3 + Acknowledge_14_4 + Acknowledge_14_5 + Acknowledge_14_6 + Acknowledge_14_7 + Acknowledge_14_8 + Acknowledge_14_9 + Acknowledge_4_10 + Acknowledge_4_11 + Acknowledge_4_12 + Acknowledge_4_13 + Acknowledge_4_14 + Acknowledge_4_15 + Acknowledge_4_16 + Acknowledge_4_17 + Acknowledge_4_18 + Acknowledge_4_19 + Acknowledge_4_20 + Acknowledge_1_1 + Acknowledge_1_2 + Acknowledge_1_3 + Acknowledge_1_4 + Acknowledge_1_5 + Acknowledge_1_6 + Acknowledge_1_7 + Acknowledge_1_8 + Acknowledge_1_9 + Acknowledge_15_1 + Acknowledge_15_2 + Acknowledge_15_3 + Acknowledge_15_4 + Acknowledge_15_5 + Acknowledge_15_6 + Acknowledge_15_7 + Acknowledge_15_8 + Acknowledge_15_9 + Acknowledge_2_1 + Acknowledge_2_2 + Acknowledge_2_3 + Acknowledge_2_4 + Acknowledge_2_5 + Acknowledge_2_6 + Acknowledge_2_7 + Acknowledge_2_8 + Acknowledge_2_9 + Acknowledge_9_10 + Acknowledge_9_11 + Acknowledge_9_12 + Acknowledge_9_13 + Acknowledge_9_14 + Acknowledge_9_15 + Acknowledge_9_16 + Acknowledge_9_17 + Acknowledge_9_18 + Acknowledge_9_19 + Acknowledge_9_20 + Acknowledge_10_10 + Acknowledge_10_11 + Acknowledge_10_12 + Acknowledge_10_13 + Acknowledge_10_14 + Acknowledge_10_15 + Acknowledge_10_16 + Acknowledge_10_17 + Acknowledge_10_18 + Acknowledge_10_19 + Acknowledge_10_20 + Acknowledge_16_1 + Acknowledge_16_2 + Acknowledge_16_3 + Acknowledge_16_4 + Acknowledge_16_5 + Acknowledge_16_6 + Acknowledge_16_7 + Acknowledge_16_8 + Acknowledge_16_9 + Acknowledge_3_1 + Acknowledge_3_2 + Acknowledge_3_3 + Acknowledge_3_4 + Acknowledge_3_5 + Acknowledge_3_6 + Acknowledge_3_7 + Acknowledge_3_8 + Acknowledge_15_10 + Acknowledge_15_11 + Acknowledge_15_12 + Acknowledge_15_13 + Acknowledge_15_14 + Acknowledge_15_15 + Acknowledge_15_16 + Acknowledge_15_17 + Acknowledge_15_18 + Acknowledge_15_19 + Acknowledge_15_20 + Acknowledge_17_1 + Acknowledge_17_2 + Acknowledge_17_3 + Acknowledge_17_4 + Acknowledge_17_5 + Acknowledge_17_6 + Acknowledge_17_7 + Acknowledge_17_8 + Acknowledge_17_9 + Acknowledge_3_10 + Acknowledge_3_11 + Acknowledge_3_12 + Acknowledge_3_13 + Acknowledge_3_14 + Acknowledge_3_15 + Acknowledge_3_16 + Acknowledge_3_17 + Acknowledge_3_18 + Acknowledge_3_19 + Acknowledge_3_20 + Acknowledge_4_1 + Acknowledge_4_2 + Acknowledge_4_3 + Acknowledge_4_4 + Acknowledge_4_5 + Acknowledge_4_6 + Acknowledge_4_7 + Acknowledge_4_8 + Acknowledge_19_9 + Acknowledge_19_8 + Acknowledge_19_7 + Acknowledge_19_6 + Acknowledge_19_5 + Acknowledge_19_4 + Acknowledge_19_3 + Acknowledge_19_2 + Acknowledge_19_1 + Acknowledge_18_1 + Acknowledge_18_2 + Acknowledge_18_3 + Acknowledge_18_4 + Acknowledge_18_5 + Acknowledge_18_6 + Acknowledge_18_7 + Acknowledge_18_8 + Acknowledge_18_9 + Acknowledge_5_1 + Acknowledge_5_2 + Acknowledge_5_3 + Acknowledge_5_4 + Acknowledge_5_5 + Acknowledge_5_6 + Acknowledge_5_7 + Acknowledge_5_8 + Acknowledge_8_10 + Acknowledge_8_11 + Acknowledge_8_12 + Acknowledge_8_13 + Acknowledge_8_14 + Acknowledge_8_15 + Acknowledge_8_16 + Acknowledge_8_17 + Acknowledge_8_18 + Acknowledge_8_19 + Acknowledge_8_20 + Acknowledge_5_9 + Acknowledge_4_9 + Acknowledge_6_1 + Acknowledge_6_2 + Acknowledge_6_3 + Acknowledge_6_4 + Acknowledge_6_5 + Acknowledge_6_6 + Acknowledge_6_7 + Acknowledge_6_8 + Acknowledge_6_9 + Acknowledge_14_10 + Acknowledge_14_11 + Acknowledge_14_12 + Acknowledge_14_13 + Acknowledge_14_14 + Acknowledge_14_15 + Acknowledge_14_16 + Acknowledge_14_17 + Acknowledge_14_18 + Acknowledge_14_19 + Acknowledge_14_20 + Acknowledge_2_10 + Acknowledge_2_11 + Acknowledge_2_12 + Acknowledge_2_13 + Acknowledge_2_14 + Acknowledge_2_15 + Acknowledge_2_16 + Acknowledge_2_17 + Acknowledge_2_18 + Acknowledge_2_19 + Acknowledge_2_20 + Acknowledge_3_9 + Acknowledge_7_1 + Acknowledge_7_2 + Acknowledge_7_3 + Acknowledge_7_4 + Acknowledge_7_5 + Acknowledge_7_6 + Acknowledge_7_7 + Acknowledge_7_8 + Acknowledge_7_9 + Acknowledge_19_10 + Acknowledge_19_11 + Acknowledge_19_12 + Acknowledge_19_13 + Acknowledge_19_14 + Acknowledge_19_15 + Acknowledge_19_16 + Acknowledge_19_17 + Acknowledge_19_18 + Acknowledge_19_19) : MAX(Message_10_10 + Message_10_11 + Message_10_12 + Message_10_13 + Message_10_14 + Message_10_15 + Message_10_16 + Message_10_17 + Message_10_18 + Message_10_19 + Message_10_20 + Message_15_1 + Message_15_2 + Message_15_3 + Message_15_4 + Message_15_5 + Message_15_6 + Message_15_7 + Message_15_8 + Message_15_9 + Message_9_10 + Message_9_11 + Message_9_12 + Message_9_13 + Message_9_14 + Message_9_15 + Message_9_16 + Message_9_17 + Message_9_18 + Message_9_19 + Message_9_20 + Message_16_1 + Message_16_2 + Message_16_3 + Message_16_4 + Message_16_5 + Message_16_6 + Message_16_7 + Message_16_8 + Message_16_9 + Message_15_10 + Message_15_11 + Message_15_12 + Message_15_13 + Message_15_14 + Message_15_15 + Message_15_16 + Message_15_17 + Message_15_18 + Message_15_19 + Message_15_20 + Message_17_1 + Message_17_2 + Message_17_3 + Message_17_4 + Message_17_5 + Message_17_6 + Message_17_7 + Message_17_8 + Message_17_9 + Message_3_10 + Message_3_11 + Message_3_12 + Message_3_13 + Message_3_14 + Message_3_15 + Message_3_16 + Message_3_17 + Message_3_18 + Message_3_19 + Message_3_20 + Message_1_1 + Message_1_2 + Message_1_3 + Message_1_4 + Message_1_5 + Message_1_6 + Message_1_7 + Message_1_8 + Message_1_9 + Message_18_1 + Message_18_2 + Message_18_3 + Message_18_4 + Message_18_5 + Message_18_6 + Message_18_7 + Message_18_8 + Message_18_9 + Message_2_1 + Message_2_2 + Message_2_3 + Message_2_4 + Message_2_5 + Message_2_6 + Message_2_7 + Message_2_8 + Message_2_9 + Message_8_10 + Message_8_11 + Message_8_12 + Message_8_13 + Message_8_14 + Message_8_15 + Message_8_16 + Message_8_17 + Message_8_18 + Message_8_19 + Message_8_20 + Message_19_1 + Message_19_2 + Message_19_3 + Message_19_4 + Message_19_5 + Message_19_6 + Message_19_7 + Message_19_8 + Message_19_9 + Message_3_1 + Message_3_2 + Message_3_3 + Message_3_4 + Message_3_5 + Message_3_6 + Message_3_7 + Message_3_8 + Message_3_9 + Message_14_10 + Message_14_11 + Message_14_12 + Message_14_13 + Message_14_14 + Message_14_15 + Message_14_16 + Message_14_17 + Message_14_18 + Message_14_19 + Message_14_20 + Message_2_10 + Message_2_11 + Message_2_12 + Message_2_13 + Message_2_14 + Message_2_15 + Message_2_16 + Message_2_17 + Message_2_18 + Message_2_19 + Message_4_1 + Message_4_2 + Message_4_3 + Message_4_4 + Message_4_5 + Message_4_6 + Message_4_7 + Message_4_8 + Message_4_9 + Message_2_20 + Message_19_10 + Message_19_11 + Message_19_12 + Message_19_13 + Message_19_14 + Message_19_15 + Message_19_16 + Message_19_17 + Message_19_18 + Message_19_19 + Message_19_20 + Message_20_10 + Message_20_11 + Message_20_12 + Message_20_13 + Message_20_14 + Message_20_15 + Message_20_16 + Message_20_17 + Message_20_18 + Message_20_19 + Message_20_20 + Message_5_1 + Message_5_2 + Message_5_3 + Message_5_4 + Message_5_5 + Message_5_6 + Message_5_7 + Message_5_8 + Message_5_9 + Message_7_10 + Message_7_11 + Message_7_12 + Message_7_13 + Message_7_14 + Message_7_15 + Message_7_16 + Message_7_17 + Message_7_18 + Message_7_19 + Message_7_20 + Message_6_1 + Message_6_2 + Message_6_3 + Message_6_4 + Message_6_5 + Message_6_6 + Message_6_7 + Message_6_8 + Message_6_9 + Message_13_10 + Message_13_11 + Message_13_12 + Message_13_13 + Message_13_14 + Message_13_15 + Message_13_16 + Message_13_17 + Message_13_18 + Message_13_19 + Message_13_20 + Message_7_1 + Message_7_2 + Message_7_3 + Message_7_4 + Message_7_5 + Message_7_6 + Message_7_7 + Message_7_8 + Message_7_9 + Message_1_10 + Message_1_11 + Message_1_12 + Message_1_13 + Message_1_14 + Message_1_15 + Message_1_16 + Message_1_17 + Message_1_18 + Message_1_19 + Message_1_20 + Message_20_1 + Message_20_2 + Message_20_3 + Message_20_4 + Message_20_5 + Message_20_6 + Message_20_7 + Message_20_8 + Message_20_9 + Message_18_10 + Message_18_11 + Message_18_12 + Message_18_13 + Message_18_14 + Message_18_15 + Message_18_16 + Message_18_17 + Message_18_18 + Message_18_19 + Message_18_20 + Message_8_1 + Message_8_2 + Message_8_3 + Message_8_4 + Message_8_5 + Message_8_6 + Message_8_7 + Message_8_8 + Message_8_9 + Message_6_10 + Message_6_11 + Message_6_12 + Message_6_13 + Message_6_14 + Message_6_15 + Message_6_16 + Message_6_17 + Message_6_18 + Message_6_19 + Message_6_20 + Message_9_1 + Message_9_2 + Message_9_3 + Message_9_4 + Message_9_5 + Message_9_6 + Message_9_7 + Message_9_8 + Message_9_9 + Message_10_1 + Message_10_2 + Message_10_3 + Message_10_4 + Message_10_5 + Message_10_6 + Message_10_7 + Message_10_8 + Message_10_9 + Message_11_1 + Message_11_2 + Message_11_3 + Message_11_4 + Message_11_5 + Message_11_6 + Message_11_7 + Message_11_8 + Message_11_9 + Message_5_10 + Message_5_11 + Message_5_12 + Message_5_13 + Message_5_14 + Message_5_15 + Message_5_16 + Message_5_17 + Message_5_18 + Message_5_19 + Message_5_20 + Message_12_1 + Message_12_2 + Message_12_3 + Message_12_4 + Message_12_5 + Message_12_6 + Message_12_7 + Message_12_8 + Message_12_9 + Message_11_20 + Message_11_19 + Message_11_18 + Message_11_17 + Message_11_16 + Message_11_15 + Message_11_14 + Message_11_13 + Message_11_12 + Message_11_11 + Message_11_10 + Message_13_1 + Message_13_2 + Message_13_3 + Message_13_4 + Message_13_5 + Message_13_6 + Message_13_7 + Message_13_8 + Message_13_9 + Message_17_20 + Message_17_19 + Message_17_18 + Message_16_10 + Message_16_11 + Message_16_12 + Message_16_13 + Message_16_14 + Message_16_15 + Message_16_16 + Message_16_17 + Message_16_18 + Message_16_19 + Message_17_17 + Message_17_16 + Message_16_20 + Message_17_15 + Message_17_14 + Message_17_13 + Message_17_12 + Message_17_11 + Message_17_10 + Message_12_20 + Message_12_19 + Message_12_18 + Message_12_17 + Message_12_16 + Message_14_1 + Message_14_2 + Message_14_3 + Message_14_4 + Message_14_5 + Message_14_6 + Message_14_7 + Message_14_8 + Message_14_9 + Message_4_10 + Message_4_11 + Message_4_12 + Message_4_13 + Message_4_14 + Message_4_15 + Message_4_16 + Message_4_17 + Message_4_18 + Message_4_19 + Message_4_20 + Message_12_15 + Message_12_14 + Message_12_13 + Message_12_12 + Message_12_11 + Message_12_10) : MAX(MesBuffReply_12_1 + MesBuffReply_12_2 + MesBuffReply_12_3 + MesBuffReply_12_4 + MesBuffReply_12_5 + MesBuffReply_12_6 + MesBuffReply_12_7 + MesBuffReply_12_8 + MesBuffReply_12_9 + MesBuffReply_13_1 + MesBuffReply_13_2 + MesBuffReply_13_3 + MesBuffReply_13_4 + MesBuffReply_13_5 + MesBuffReply_13_6 + MesBuffReply_13_7 + MesBuffReply_13_8 + MesBuffReply_13_9 + MesBuffReply_14_10 + MesBuffReply_14_11 + MesBuffReply_14_12 + MesBuffReply_14_13 + MesBuffReply_14_14 + MesBuffReply_14_15 + MesBuffReply_14_16 + MesBuffReply_14_17 + MesBuffReply_14_18 + MesBuffReply_14_19 + MesBuffReply_14_20 + MesBuffReply_14_1 + MesBuffReply_14_2 + MesBuffReply_14_3 + MesBuffReply_14_4 + MesBuffReply_14_5 + MesBuffReply_14_6 + MesBuffReply_14_7 + MesBuffReply_14_8 + MesBuffReply_14_9 + MesBuffReply_4_10 + MesBuffReply_4_11 + MesBuffReply_4_12 + MesBuffReply_4_13 + MesBuffReply_4_14 + MesBuffReply_4_15 + MesBuffReply_4_16 + MesBuffReply_4_17 + MesBuffReply_4_18 + MesBuffReply_4_19 + MesBuffReply_4_20 + MesBuffReply_19_10 + MesBuffReply_19_11 + MesBuffReply_19_12 + MesBuffReply_19_13 + MesBuffReply_19_14 + MesBuffReply_19_15 + MesBuffReply_19_16 + MesBuffReply_19_17 + MesBuffReply_19_18 + MesBuffReply_19_19 + MesBuffReply_19_20 + MesBuffReply_15_1 + MesBuffReply_15_2 + MesBuffReply_15_3 + MesBuffReply_15_4 + MesBuffReply_15_5 + MesBuffReply_15_6 + MesBuffReply_15_7 + MesBuffReply_15_8 + MesBuffReply_15_9 + MesBuffReply_20_10 + MesBuffReply_20_11 + MesBuffReply_20_12 + MesBuffReply_20_13 + MesBuffReply_20_14 + MesBuffReply_20_15 + MesBuffReply_20_16 + MesBuffReply_20_17 + MesBuffReply_20_18 + MesBuffReply_20_19 + MesBuffReply_20_20 + MesBuffReply_9_10 + MesBuffReply_9_11 + MesBuffReply_9_12 + MesBuffReply_9_13 + MesBuffReply_9_14 + MesBuffReply_9_15 + MesBuffReply_9_16 + MesBuffReply_9_17 + MesBuffReply_9_18 + MesBuffReply_9_19 + MesBuffReply_9_20 + MesBuffReply_16_1 + MesBuffReply_16_2 + MesBuffReply_16_3 + MesBuffReply_16_4 + MesBuffReply_16_5 + MesBuffReply_16_6 + MesBuffReply_16_7 + MesBuffReply_16_8 + MesBuffReply_16_9 + MesBuffReply_13_10 + MesBuffReply_13_11 + MesBuffReply_13_12 + MesBuffReply_13_13 + MesBuffReply_13_14 + MesBuffReply_13_15 + MesBuffReply_13_16 + MesBuffReply_13_17 + MesBuffReply_13_18 + MesBuffReply_13_19 + MesBuffReply_13_20 + MesBuffReply_17_1 + MesBuffReply_17_2 + MesBuffReply_17_3 + MesBuffReply_17_4 + MesBuffReply_17_5 + MesBuffReply_17_6 + MesBuffReply_17_7 + MesBuffReply_17_8 + MesBuffReply_17_9 + MesBuffReply_1_1 + MesBuffReply_1_2 + MesBuffReply_1_3 + MesBuffReply_1_4 + MesBuffReply_1_5 + MesBuffReply_1_6 + MesBuffReply_1_7 + MesBuffReply_1_8 + MesBuffReply_1_9 + MesBuffReply_3_10 + MesBuffReply_3_11 + MesBuffReply_3_12 + MesBuffReply_3_13 + MesBuffReply_3_14 + MesBuffReply_3_15 + MesBuffReply_3_16 + MesBuffReply_3_17 + MesBuffReply_3_18 + MesBuffReply_3_19 + MesBuffReply_3_20 + MesBuffReply_18_10 + MesBuffReply_18_11 + MesBuffReply_18_12 + MesBuffReply_18_13 + MesBuffReply_18_14 + MesBuffReply_18_15 + MesBuffReply_18_16 + MesBuffReply_18_17 + MesBuffReply_18_18 + MesBuffReply_18_19 + MesBuffReply_18_20 + MesBuffReply_18_1 + MesBuffReply_18_2 + MesBuffReply_18_3 + MesBuffReply_18_4 + MesBuffReply_18_5 + MesBuffReply_18_6 + MesBuffReply_18_7 + MesBuffReply_18_8 + MesBuffReply_18_9 + MesBuffReply_2_1 + MesBuffReply_2_2 + MesBuffReply_2_3 + MesBuffReply_2_4 + MesBuffReply_2_5 + MesBuffReply_2_6 + MesBuffReply_2_7 + MesBuffReply_2_8 + MesBuffReply_2_9 + MesBuffReply_8_10 + MesBuffReply_8_11 + MesBuffReply_8_12 + MesBuffReply_8_13 + MesBuffReply_8_14 + MesBuffReply_8_15 + MesBuffReply_8_16 + MesBuffReply_8_17 + MesBuffReply_8_18 + MesBuffReply_8_19 + MesBuffReply_8_20 + MesBuffReply_19_1 + MesBuffReply_19_2 + MesBuffReply_19_3 + MesBuffReply_19_4 + MesBuffReply_19_5 + MesBuffReply_19_6 + MesBuffReply_19_7 + MesBuffReply_19_8 + MesBuffReply_19_9 + MesBuffReply_3_1 + MesBuffReply_3_2 + MesBuffReply_3_3 + MesBuffReply_3_4 + MesBuffReply_3_5 + MesBuffReply_3_6 + MesBuffReply_3_7 + MesBuffReply_3_8 + MesBuffReply_3_9 + MesBuffReply_12_10 + MesBuffReply_12_11 + MesBuffReply_12_12 + MesBuffReply_12_13 + MesBuffReply_12_14 + MesBuffReply_12_15 + MesBuffReply_12_16 + MesBuffReply_12_17 + MesBuffReply_12_18 + MesBuffReply_12_19 + MesBuffReply_12_20 + MesBuffReply_4_1 + MesBuffReply_4_2 + MesBuffReply_4_3 + MesBuffReply_4_4 + MesBuffReply_4_5 + MesBuffReply_4_6 + MesBuffReply_4_7 + MesBuffReply_4_8 + MesBuffReply_4_9 + MesBuffReply_2_10 + MesBuffReply_2_11 + MesBuffReply_2_12 + MesBuffReply_2_13 + MesBuffReply_2_14 + MesBuffReply_2_15 + MesBuffReply_2_16 + MesBuffReply_2_17 + MesBuffReply_2_18 + MesBuffReply_2_19 + MesBuffReply_2_20 + MesBuffReply_17_10 + MesBuffReply_17_11 + MesBuffReply_17_12 + MesBuffReply_17_13 + MesBuffReply_17_14 + MesBuffReply_17_15 + MesBuffReply_17_16 + MesBuffReply_17_17 + MesBuffReply_17_18 + MesBuffReply_17_19 + MesBuffReply_17_20 + MesBuffReply_5_1 + MesBuffReply_5_2 + MesBuffReply_5_3 + MesBuffReply_5_4 + MesBuffReply_5_5 + MesBuffReply_5_6 + MesBuffReply_5_7 + MesBuffReply_5_8 + MesBuffReply_5_9 + MesBuffReply_7_10 + MesBuffReply_7_11 + MesBuffReply_7_12 + MesBuffReply_7_13 + MesBuffReply_7_14 + MesBuffReply_7_15 + MesBuffReply_7_16 + MesBuffReply_7_17 + MesBuffReply_7_18 + MesBuffReply_7_19 + MesBuffReply_6_1 + MesBuffReply_6_2 + MesBuffReply_6_3 + MesBuffReply_6_4 + MesBuffReply_6_5 + MesBuffReply_6_6 + MesBuffReply_6_7 + MesBuffReply_6_8 + MesBuffReply_6_9 + MesBuffReply_11_10 + MesBuffReply_11_11 + MesBuffReply_11_12 + MesBuffReply_11_13 + MesBuffReply_11_14 + MesBuffReply_11_15 + MesBuffReply_11_16 + MesBuffReply_11_17 + MesBuffReply_11_18 + MesBuffReply_11_19 + MesBuffReply_11_20 + MesBuffReply_7_1 + MesBuffReply_7_2 + MesBuffReply_7_3 + MesBuffReply_7_4 + MesBuffReply_7_5 + MesBuffReply_7_6 + MesBuffReply_7_7 + MesBuffReply_7_8 + MesBuffReply_7_9 + MesBuffReply_1_10 + MesBuffReply_1_11 + MesBuffReply_1_12 + MesBuffReply_1_13 + MesBuffReply_1_14 + MesBuffReply_1_15 + MesBuffReply_1_16 + MesBuffReply_1_17 + MesBuffReply_1_18 + MesBuffReply_1_19 + MesBuffReply_1_20 + MesBuffReply_20_1 + MesBuffReply_20_2 + MesBuffReply_20_3 + MesBuffReply_20_4 + MesBuffReply_20_5 + MesBuffReply_20_6 + MesBuffReply_20_7 + MesBuffReply_20_8 + MesBuffReply_20_9 + MesBuffReply_16_10 + MesBuffReply_16_11 + MesBuffReply_16_12 + MesBuffReply_16_13 + MesBuffReply_16_14 + MesBuffReply_16_15 + MesBuffReply_16_16 + MesBuffReply_16_17 + MesBuffReply_16_18 + MesBuffReply_16_19 + MesBuffReply_16_20 + MesBuffReply_10_10 + MesBuffReply_10_11 + MesBuffReply_10_12 + MesBuffReply_10_13 + MesBuffReply_10_14 + MesBuffReply_10_15 + MesBuffReply_10_16 + MesBuffReply_10_17 + MesBuffReply_10_18 + MesBuffReply_10_19 + MesBuffReply_10_20 + MesBuffReply_9_9 + MesBuffReply_9_8 + MesBuffReply_9_7 + MesBuffReply_9_6 + MesBuffReply_9_5 + MesBuffReply_9_4 + MesBuffReply_9_3 + MesBuffReply_9_2 + MesBuffReply_9_1 + MesBuffReply_10_1 + MesBuffReply_10_2 + MesBuffReply_10_3 + MesBuffReply_10_4 + MesBuffReply_10_5 + MesBuffReply_10_6 + MesBuffReply_10_7 + MesBuffReply_10_8 + MesBuffReply_10_9 + MesBuffReply_6_20 + MesBuffReply_6_19 + MesBuffReply_6_18 + MesBuffReply_6_17 + MesBuffReply_6_16 + MesBuffReply_6_15 + MesBuffReply_6_14 + MesBuffReply_6_13 + MesBuffReply_6_12 + MesBuffReply_6_11 + MesBuffReply_6_10 + MesBuffReply_8_9 + MesBuffReply_8_8 + MesBuffReply_15_10 + MesBuffReply_15_11 + MesBuffReply_15_12 + MesBuffReply_15_13 + MesBuffReply_15_14 + MesBuffReply_15_15 + MesBuffReply_15_16 + MesBuffReply_15_17 + MesBuffReply_15_18 + MesBuffReply_15_19 + MesBuffReply_8_7 + MesBuffReply_8_6 + MesBuffReply_8_5 + MesBuffReply_8_4 + MesBuffReply_8_3 + MesBuffReply_8_2 + MesBuffReply_8_1 + MesBuffReply_15_20 + MesBuffReply_11_1 + MesBuffReply_11_2 + MesBuffReply_11_3 + MesBuffReply_11_4 + MesBuffReply_11_5 + MesBuffReply_11_6 + MesBuffReply_11_7 + MesBuffReply_11_8 + MesBuffReply_11_9 + MesBuffReply_5_10 + MesBuffReply_5_11 + MesBuffReply_5_12 + MesBuffReply_5_13 + MesBuffReply_5_14 + MesBuffReply_5_15 + MesBuffReply_5_16 + MesBuffReply_5_17 + MesBuffReply_5_18 + MesBuffReply_5_19 + MesBuffReply_5_20 + MesBuffReply_7_20) : MAX(Mutex_10 + Mutex_11 + Mutex_12 + Mutex_13 + Mutex_14 + Mutex_15 + Mutex_16 + Mutex_17 + Mutex_18 + Mutex_19 + Mutex_20 + Mutex_1 + Mutex_2 + Mutex_3 + Mutex_4 + Mutex_5 + Mutex_6 + Mutex_7 + Mutex_8 + Mutex_9) collection of formulas 0 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Active_14_1 + Active_14_2 + Active_14_3 + Active_14_4 + Active_14_5 + Active_14_6 + Active_14_7 + Active_14_8 + Active_14_9 + Active_2_1 + Active_2_2 + Active_2_3 + Active_2_4 + Active_2_5 + Active_2_6 + Active_2_7 + Active_2_8 + Active_2_9 + Active_4_10 + Active_4_11 + Active_4_12 + Active_4_13 + Active_4_14 + Active_4_15 + Active_4_16 + Active_4_17 + Active_4_18 + Active_4_19 + Active_4_20 +... (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) 61720 edges, 11350 markings/sec, 0 secs 124129 edges, 11157 markings/sec, 5 secs 186301 edges, 11149 markings/sec, 10 secs 247509 edges, 11194 markings/sec, 15 secs 309951 edges, 11164 markings/sec, 20 secs 371297 edges, 11154 markings/sec, 25 secs 432836 edges, 11107 markings/sec, 30 secs 495423 edges, 11192 markings/sec, 35 secs 556585 edges, 11239 markings/sec, 40 secs 619295 edges, 11201 markings/sec, 45 secs 681363 edges, 11090 markings/sec, 50 secs 766751 edges, 10604 markings/sec, 55 secs 834372 edges, 11068 markings/sec, 60 secs 897066 edges, 11214 markings/sec, 65 secs 957407 edges, 11077 markings/sec, 70 secs 1019269 edges, 11049 markings/sec, 75 secs 1080887 edges, 11001 markings/sec, 80 secs 1141917 edges, 11213 markings/sec, 85 secs 1204000 edges, 11093 markings/sec, 90 secs 1265049 edges, 10957 markings/sec, 95 secs 1325326 edges, 11011 markings/sec, 100 secs 1387272 edges, 11066 markings/sec, 105 secs 1448148 edges, 11182 markings/sec, 110 secs 1524529 edges, 10617 markings/sec, 115 secs 1600632 edges, 10640 markings/sec, 120 secs 1661035 edges, 11089 markings/sec, 125 secs 1722456 edges, 10962 markings/sec, 130 secs 1783304 edges, 10964 markings/sec, 135 secs 1843909 edges, 11029 markings/sec, 140 secs 1905095 edges, 10931 markings/sec, 145 secs 1965203 edges, 11031 markings/sec, 150 secs 2026531 edges, 10944 markings/sec, 155 secs 2087740 edges, 10936 markings/sec, 160 secs 2147786 edges, 11018 markings/sec, 165 secs 2209364 edges, 11003 markings/sec, 170 secs 2272449 edges, 11047 markings/sec, 175 secs 2361371 edges, 10434 markings/sec, 180 secs 2423370 edges, 11076 markings/sec, 185 secs 2484274 edges, 11188 markings/sec, 190 secs 2546625 edges, 11146 markings/sec, 195 secs 2609292 edges, 11192 markings/sec, 200 secs 2670266 edges, 11202 markings/sec, 205 secs 2731781 edges, 10981 markings/sec, 210 secs 2794022 edges, 11124 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(updating_18_10 + updating_18_11 + updating_18_12 + updating_18_13 + updating_18_14 + updating_18_15 + updating_18_16 + updating_18_17 + updating_18_18 + updating_18_19 + updating_18_20 + updating_6_10 + updating_6_11 + updating_6_12 + updating_6_13 + updating_6_14 + updating_6_15 + updating_6_16 + updating_6_17 + updating_6_18 + updating_6_19 + updating_6_20 + updating_6_1 + updating_6_2 + upd... (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) 40755 edges, 7308 markings/sec, 0 secs 77673 edges, 7338 markings/sec, 5 secs 114678 edges, 7296 markings/sec, 10 secs 152770 edges, 7260 markings/sec, 15 secs 189281 edges, 7257 markings/sec, 20 secs 225959 edges, 7290 markings/sec, 25 secs 262856 edges, 7333 markings/sec, 30 secs 299839 edges, 7351 markings/sec, 35 secs 336960 edges, 7378 markings/sec, 40 secs 374012 edges, 7365 markings/sec, 45 secs 410974 edges, 7346 markings/sec, 50 secs 447921 edges, 7344 markings/sec, 55 secs 484888 edges, 7347 markings/sec, 60 secs 521969 edges, 7370 markings/sec, 65 secs 558813 edges, 7323 markings/sec, 70 secs 595679 edges, 7327 markings/sec, 75 secs 632474 edges, 7313 markings/sec, 80 secs 669474 edges, 7354 markings/sec, 85 secs 706561 edges, 7371 markings/sec, 90 secs 743755 edges, 7393 markings/sec, 95 secs 780525 edges, 7309 markings/sec, 100 secs 817283 edges, 7305 markings/sec, 105 secs 854042 edges, 7307 markings/sec, 110 secs 890747 edges, 7296 markings/sec, 115 secs 927623 edges, 7329 markings/sec, 120 secs 964745 edges, 7379 markings/sec, 125 secs 1001784 edges, 7361 markings/sec, 130 secs 1039077 edges, 7413 markings/sec, 135 secs 1076126 edges, 7364 markings/sec, 140 secs 1113165 edges, 7361 markings/sec, 145 secs 1150308 edges, 7383 markings/sec, 150 secs 1187449 edges, 7382 markings/sec, 155 secs 1224626 edges, 7389 markings/sec, 160 secs 1261851 edges, 7399 markings/sec, 165 secs 1298910 edges, 7366 markings/sec, 170 secs 1335951 edges, 7362 markings/sec, 175 secs 1372851 edges, 7334 markings/sec, 180 secs 1409481 edges, 7280 markings/sec, 185 secs 1446371 edges, 7332 markings/sec, 190 secs 1483394 edges, 7359 markings/sec, 195 secs 1520224 edges, 7320 markings/sec, 200 secs 1557106 edges, 7331 markings/sec, 205 secs 1594050 edges, 7343 markings/sec, 210 secs 1631039 edges, 7352 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(RecBuff_20_10 + RecBuff_20_11 + RecBuff_20_12 + RecBuff_20_13 + RecBuff_20_14 + RecBuff_20_15 + RecBuff_20_16 + RecBuff_20_17 + RecBuff_20_18 + RecBuff_20_19 + RecBuff_20_20 + RecBuff_3_1 + RecBuff_3_2 + RecBuff_3_3 + RecBuff_3_4 + RecBuff_3_5 + RecBuff_3_6 + RecBuff_3_7 + RecBuff_3_8 + RecBuff_3_9 + RecBuff_2_10 + RecBuff_2_11 + RecBuff_2_12 + RecBuff_2_13 + RecBuff_2_14 + RecBuff_2_15 + RecB... (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) 38943 edges, 7171 markings/sec, 0 secs 78872 edges, 7169 markings/sec, 5 secs 117257 edges, 7187 markings/sec, 10 secs 155926 edges, 7239 markings/sec, 15 secs 193721 edges, 7149 markings/sec, 20 secs 231610 edges, 7169 markings/sec, 25 secs 269325 edges, 7135 markings/sec, 30 secs 307014 edges, 7130 markings/sec, 35 secs 344694 edges, 7121 markings/sec, 40 secs 382325 edges, 7117 markings/sec, 45 secs 419904 edges, 7108 markings/sec, 50 secs 457419 edges, 7095 markings/sec, 55 secs 495286 edges, 7165 markings/sec, 60 secs 533127 edges, 7160 markings/sec, 65 secs 570993 edges, 7157 markings/sec, 70 secs 608184 edges, 7037 markings/sec, 75 secs 645671 edges, 7085 markings/sec, 80 secs 684161 edges, 7287 markings/sec, 85 secs 743473 edges, 6855 markings/sec, 90 secs 794777 edges, 6727 markings/sec, 95 secs 847640 edges, 6868 markings/sec, 100 secs 887241 edges, 7224 markings/sec, 105 secs 926484 edges, 7161 markings/sec, 110 secs 965924 edges, 7310 markings/sec, 115 secs 1003705 edges, 7148 markings/sec, 120 secs 1041994 edges, 7240 markings/sec, 125 secs 1080088 edges, 7210 markings/sec, 130 secs 1118146 edges, 7195 markings/sec, 135 secs 1156229 edges, 7207 markings/sec, 140 secs 1194361 edges, 7217 markings/sec, 145 secs 1232617 edges, 7234 markings/sec, 150 secs 1270956 edges, 7258 markings/sec, 155 secs 1309270 edges, 7245 markings/sec, 160 secs 1347471 edges, 7231 markings/sec, 165 secs 1384239 edges, 6948 markings/sec, 170 secs 1421158 edges, 6977 markings/sec, 175 secs 1458884 edges, 7137 markings/sec, 180 secs 1498043 edges, 7366 markings/sec, 185 secs 1537376 edges, 7226 markings/sec, 190 secs 1590264 edges, 6905 markings/sec, 195 secs 1642056 edges, 6938 markings/sec, 200 secs 1695366 edges, 6915 markings/sec, 205 secs 1748164 edges, 6890 markings/sec, 210 secs 1800438 edges, 6925 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(MesBuffReply_12_1 + MesBuffReply_12_2 + MesBuffReply_12_3 + MesBuffReply_12_4 + MesBuffReply_12_5 + MesBuffReply_12_6 + MesBuffReply_12_7 + MesBuffReply_12_8 + MesBuffReply_12_9 + MesBuffReply_13_1 + MesBuffReply_13_2 + MesBuffReply_13_3 + MesBuffReply_13_4 + MesBuffReply_13_5 + MesBuffReply_13_6 + MesBuffReply_13_7 + MesBuffReply_13_8 + MesBuffReply_13_9 + MesBuffReply_14_10 + MesBuffReply_14... (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) 35523 edges, 6921 markings/sec, 0 secs 70904 edges, 6946 markings/sec, 5 secs 106244 edges, 6938 markings/sec, 10 secs 141655 edges, 6952 markings/sec, 15 secs 176680 edges, 6876 markings/sec, 20 secs 211763 edges, 6887 markings/sec, 25 secs 246392 edges, 6798 markings/sec, 30 secs 281394 edges, 6872 markings/sec, 35 secs 316630 edges, 6917 markings/sec, 40 secs 351822 edges, 6909 markings/sec, 45 secs 387335 edges, 6972 markings/sec, 50 secs 422759 edges, 6954 markings/sec, 55 secs 457388 edges, 6798 markings/sec, 60 secs 491970 edges, 6789 markings/sec, 65 secs 526899 edges, 6857 markings/sec, 70 secs 561958 edges, 6883 markings/sec, 75 secs 597149 edges, 6909 markings/sec, 80 secs 632478 edges, 6935 markings/sec, 85 secs 669296 edges, 6902 markings/sec, 90 secs 704617 edges, 6934 markings/sec, 95 secs 739988 edges, 6944 markings/sec, 100 secs 775294 edges, 6931 markings/sec, 105 secs 809493 edges, 6714 markings/sec, 110 secs 844564 edges, 6885 markings/sec, 115 secs 879671 edges, 6892 markings/sec, 120 secs 914756 edges, 6888 markings/sec, 125 secs 949621 edges, 6844 markings/sec, 130 secs 984550 edges, 6857 markings/sec, 135 secs 1019565 edges, 6874 markings/sec, 140 secs 1054572 edges, 6873 markings/sec, 145 secs 1088815 edges, 6723 markings/sec, 150 secs 1124068 edges, 6921 markings/sec, 155 secs 1158275 edges, 6715 markings/sec, 160 secs 1193222 edges, 6861 markings/sec, 165 secs 1228165 edges, 6860 markings/sec, 170 secs 1262242 edges, 6690 markings/sec, 175 secs 1296368 edges, 6699 markings/sec, 180 secs 1331230 edges, 6844 markings/sec, 185 secs 1365678 edges, 6763 markings/sec, 190 secs 1400645 edges, 6865 markings/sec, 195 secs 1435510 edges, 6845 markings/sec, 200 secs 1470047 edges, 6780 markings/sec, 205 secs 1504042 edges, 6674 markings/sec, 210 secs 1538119 edges, 6690 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(all_active_10 + all_active_11 + all_active_12 + all_active_13 + all_active_14 + all_active_15 + all_active_16 + all_active_17 + all_active_18 + all_active_19 + all_active_20 + all_active_1 + all_active_2 + all_active_4 + all_active_5 + all_active_6 + all_active_8 + all_active_9 + all_active_7 + all_active_3) ==================== 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) 155617 edges, 7267 markings/sec, 0 secs 332852 edges, 6800 markings/sec, 5 secs 516405 edges, 6742 markings/sec, 10 secs 708681 edges, 6548 markings/sec, 15 secs 914839 edges, 6327 markings/sec, 20 secs 1095741 edges, 6581 markings/sec, 25 secs 1292284 edges, 6379 markings/sec, 30 secs 1495502 edges, 6301 markings/sec, 35 secs 1704295 edges, 6137 markings/sec, 40 secs 1929571 edges, 5908 markings/sec, 45 secs 2112181 edges, 6641 markings/sec, 50 secs 2305252 edges, 6286 markings/sec, 55 secs 2497665 edges, 6337 markings/sec, 60 secs 2683255 edges, 6418 markings/sec, 65 secs 2880864 edges, 6264 markings/sec, 70 secs 3065563 edges, 6588 markings/sec, 75 secs 3257208 edges, 6394 markings/sec, 80 secs 3446054 edges, 6373 markings/sec, 85 secs 3587137 edges, 7119 markings/sec, 90 secs 3762793 edges, 6470 markings/sec, 95 secs 3942446 edges, 6348 markings/sec, 100 secs 4134899 edges, 6392 markings/sec, 105 secs 4338405 edges, 6216 markings/sec, 110 secs 4528722 edges, 6493 markings/sec, 115 secs 4724113 edges, 6285 markings/sec, 120 secs 4932710 edges, 6072 markings/sec, 125 secs 5132605 edges, 6008 markings/sec, 130 secs 5342831 edges, 5691 markings/sec, 135 secs 5549163 edges, 5817 markings/sec, 140 secs 5736670 edges, 6189 markings/sec, 145 secs 5928577 edges, 6039 markings/sec, 150 secs 6115485 edges, 6152 markings/sec, 155 secs 6300877 edges, 6116 markings/sec, 160 secs 6504446 edges, 5868 markings/sec, 165 secs 6680755 edges, 6342 markings/sec, 170 secs 6872220 edges, 6040 markings/sec, 175 secs 7054412 edges, 6270 markings/sec, 180 secs 7206464 edges, 6846 markings/sec, 185 secs 7378956 edges, 6419 markings/sec, 190 secs 7557749 edges, 6333 markings/sec, 195 secs 7744037 edges, 6193 markings/sec, 200 secs 7945088 edges, 5965 markings/sec, 205 secs 8123397 edges, 6319 markings/sec, 210 secs 8311992 edges, 6079 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(WaitMutex_11_10 + WaitMutex_11_11 + WaitMutex_11_12 + WaitMutex_11_13 + WaitMutex_11_14 + WaitMutex_11_15 + WaitMutex_11_16 + WaitMutex_11_17 + WaitMutex_11_18 + WaitMutex_11_19 + WaitMutex_11_20 + WaitMutex_7_1 + WaitMutex_7_2 + WaitMutex_7_3 + WaitMutex_7_4 + WaitMutex_7_5 + WaitMutex_7_6 + WaitMutex_7_7 + WaitMutex_7_8 + WaitMutex_7_9 + WaitMutex_11_1 + WaitMutex_11_2 + WaitMutex_11_3 + Wai... (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) 47302 edges, 9116 markings/sec, 0 secs 96303 edges, 9099 markings/sec, 5 secs 145586 edges, 9125 markings/sec, 10 secs 194802 edges, 9042 markings/sec, 15 secs 243682 edges, 8931 markings/sec, 20 secs 292928 edges, 8956 markings/sec, 25 secs 341915 edges, 8892 markings/sec, 30 secs 390986 edges, 8874 markings/sec, 35 secs 440301 edges, 8916 markings/sec, 40 secs 489356 edges, 8826 markings/sec, 45 secs 537874 edges, 8668 markings/sec, 50 secs 588274 edges, 8809 markings/sec, 55 secs 636592 edges, 8740 markings/sec, 60 secs 686320 edges, 8713 markings/sec, 65 secs 735519 edges, 8659 markings/sec, 70 secs 785807 edges, 8522 markings/sec, 75 secs 847082 edges, 8351 markings/sec, 80 secs 903559 edges, 8352 markings/sec, 85 secs 966334 edges, 8268 markings/sec, 90 secs 1014857 edges, 8558 markings/sec, 95 secs 1062092 edges, 8570 markings/sec, 100 secs 1111788 edges, 8499 markings/sec, 105 secs 1161442 edges, 8561 markings/sec, 110 secs 1211315 edges, 8549 markings/sec, 115 secs 1265437 edges, 8488 markings/sec, 120 secs 1317617 edges, 8586 markings/sec, 125 secs 1364559 edges, 8576 markings/sec, 130 secs 1412368 edges, 8494 markings/sec, 135 secs 1460476 edges, 8650 markings/sec, 140 secs 1505938 edges, 8675 markings/sec, 145 secs 1554356 edges, 8528 markings/sec, 150 secs 1601348 edges, 8561 markings/sec, 155 secs 1649473 edges, 8415 markings/sec, 160 secs 1702038 edges, 8800 markings/sec, 165 secs 1753342 edges, 8792 markings/sec, 170 secs 1802225 edges, 8744 markings/sec, 175 secs 1852957 edges, 8665 markings/sec, 180 secs 1907091 edges, 8625 markings/sec, 185 secs 1960120 edges, 8698 markings/sec, 190 secs 2010802 edges, 8705 markings/sec, 195 secs 2072583 edges, 8575 markings/sec, 200 secs 2135864 edges, 8538 markings/sec, 205 secs 2199806 edges, 8509 markings/sec, 210 secs 2248351 edges, 8710 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(Active_14_1 + Active_14_2 + Active_14_3 + Active_14_4 + Active_14_5 + Active_14_6 + Active_14_7 + Active_14_8 + Active_14_9 + Active_2_1 + Active_2_2 + Active_2_3 + Active_2_4 + Active_2_5 + Active_2_6 + Active_2_7 + Active_2_8 + Active_2_9 + Active_4_10 + Active_4_11 + Active_4_12 + Active_4_13 + Active_4_14 + Active_4_15 + Active_4_16 + Active_4_17 + Active_4_18 + Active_4_19 + Active_4_20 +... (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) 61640 edges, 11334 markings/sec, 0 secs 125607 edges, 11449 markings/sec, 5 secs 188291 edges, 11212 markings/sec, 10 secs 250650 edges, 11460 markings/sec, 15 secs 314485 edges, 11423 markings/sec, 20 secs 378360 edges, 11431 markings/sec, 25 secs 440741 edges, 11464 markings/sec, 30 secs 504432 edges, 11395 markings/sec, 35 secs 567969 edges, 11364 markings/sec, 40 secs 630046 edges, 11404 markings/sec, 45 secs 693954 edges, 11438 markings/sec, 50 secs 787593 edges, 10772 markings/sec, 55 secs 849712 edges, 11412 markings/sec, 60 secs 913034 edges, 11338 markings/sec, 65 secs 976214 edges, 11294 markings/sec, 70 secs 1037950 edges, 11353 markings/sec, 75 secs 1101472 edges, 11361 markings/sec, 80 secs 1165072 edges, 11377 markings/sec, 85 secs 1227867 edges, 11271 markings/sec, 90 secs 1289202 edges, 11220 markings/sec, 95 secs 1352019 edges, 11238 markings/sec, 100 secs 1415003 edges, 11261 markings/sec, 105 secs 1476800 edges, 11359 markings/sec, 110 secs 1569635 edges, 10613 markings/sec, 115 secs 1631381 edges, 11354 markings/sec, 120 secs 1694663 edges, 11314 markings/sec, 125 secs 1757591 edges, 11260 markings/sec, 130 secs 1819731 edges, 11278 markings/sec, 135 secs 1882192 edges, 11300 markings/sec, 140 secs 1945431 edges, 11312 markings/sec, 145 secs 2008473 edges, 11266 markings/sec, 150 secs 2069800 edges, 11272 markings/sec, 155 secs 2132612 edges, 11237 markings/sec, 160 secs 2195565 edges, 11249 markings/sec, 165 secs 2257253 edges, 11343 markings/sec, 170 secs 2350270 edges, 10649 markings/sec, 175 secs 2412709 edges, 11380 markings/sec, 180 secs 2476093 edges, 11429 markings/sec, 185 secs 2539842 edges, 11406 markings/sec, 190 secs 2603683 edges, 11424 markings/sec, 195 secs 2665100 edges, 11290 markings/sec, 200 secs 2726999 edges, 11057 markings/sec, 205 secs 2788630 edges, 11003 markings/sec, 210 secs 2849574 edges, 11196 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 7 will run for 220 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(all_active_10 + all_active_11 + all_active_12 + all_active_13 + all_active_14 + all_active_15 + all_active_16 + all_active_17 + all_active_18 + all_active_19 + all_active_20 + all_active_1 + all_active_2 + all_active_4 + all_active_5 + all_active_6 + all_active_8 + all_active_9 + all_active_7 + all_active_3) ==================== 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) 156727 edges, 7312 markings/sec, 0 secs 336032 edges, 6856 markings/sec, 5 secs 520881 edges, 6815 markings/sec, 10 secs 715589 edges, 6581 markings/sec, 15 secs 922572 edges, 6471 markings/sec, 20 secs 1112595 edges, 6706 markings/sec, 25 secs 1312361 edges, 6457 markings/sec, 30 secs 1516808 edges, 6397 markings/sec, 35 secs 1730245 edges, 6229 markings/sec, 40 secs 1960547 edges, 5962 markings/sec, 45 secs 2141314 edges, 6825 markings/sec, 50 secs 2339831 edges, 6458 markings/sec, 55 secs 2534080 edges, 6541 markings/sec, 60 secs 2724165 edges, 6501 markings/sec, 65 secs 2934014 edges, 6182 markings/sec, 70 secs 3111649 edges, 6807 markings/sec, 75 secs 3309011 edges, 6416 markings/sec, 80 secs 3476224 edges, 7010 markings/sec, 85 secs 3644604 edges, 6943 markings/sec, 90 secs 3826697 edges, 6665 markings/sec, 95 secs 4013248 edges, 6618 markings/sec, 100 secs 4210673 edges, 6377 markings/sec, 105 secs 4420319 edges, 6212 markings/sec, 110 secs 4607715 edges, 6517 markings/sec, 115 secs 4808099 edges, 6268 markings/sec, 120 secs 5014770 edges, 6171 markings/sec, 125 secs 5227378 edges, 6028 markings/sec, 130 secs 5453077 edges, 5803 markings/sec, 135 secs 5643576 edges, 6479 markings/sec, 140 secs 5841851 edges, 6299 markings/sec, 145 secs 6046007 edges, 6227 markings/sec, 150 secs 6236144 edges, 6375 markings/sec, 155 secs 6434542 edges, 6201 markings/sec, 160 secs 6629097 edges, 6341 markings/sec, 165 secs 6820366 edges, 6342 markings/sec, 170 secs 7032667 edges, 6002 markings/sec, 175 secs 7174147 edges, 7429 markings/sec, 180 secs 7353694 edges, 6707 markings/sec, 185 secs 7539422 edges, 6622 markings/sec, 190 secs 7732800 edges, 6455 markings/sec, 195 secs 7938914 edges, 6212 markings/sec, 200 secs 8124594 edges, 6513 markings/sec, 205 secs 8318684 edges, 6236 markings/sec, 210 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(Acknowledge_19_20 + Acknowledge_8_1 + Acknowledge_8_2 + Acknowledge_8_3 + Acknowledge_8_4 + Acknowledge_8_5 + Acknowledge_8_6 + Acknowledge_8_7 + Acknowledge_8_8 + Acknowledge_8_9 + Acknowledge_7_10 + Acknowledge_7_11 + Acknowledge_7_12 + Acknowledge_7_13 + Acknowledge_7_14 + Acknowledge_7_15 + Acknowledge_7_16 + Acknowledge_7_17 + Acknowledge_7_18 + Acknowledge_7_19 + Acknowledge_7_20 + Ackno... (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) 51266 edges, 6543 markings/sec, 0 secs 106950 edges, 6458 markings/sec, 5 secs 159720 edges, 6423 markings/sec, 10 secs 219461 edges, 6321 markings/sec, 15 secs 272829 edges, 6392 markings/sec, 20 secs 333007 edges, 6379 markings/sec, 25 secs 398656 edges, 6334 markings/sec, 30 secs 451659 edges, 6380 markings/sec, 35 secs 503862 edges, 6331 markings/sec, 40 secs 554823 edges, 6254 markings/sec, 45 secs 614159 edges, 6161 markings/sec, 50 secs 665329 edges, 6244 markings/sec, 55 secs 723734 edges, 6194 markings/sec, 60 secs 787819 edges, 6149 markings/sec, 65 secs 840029 edges, 6244 markings/sec, 70 secs 890996 edges, 6219 markings/sec, 75 secs 941674 edges, 6158 markings/sec, 80 secs 998319 edges, 6074 markings/sec, 85 secs 1050931 edges, 6102 markings/sec, 90 secs 1106424 edges, 6129 markings/sec, 95 secs 1170906 edges, 6044 markings/sec, 100 secs 1221759 edges, 6266 markings/sec, 105 secs 1272939 edges, 6216 markings/sec, 110 secs 1329941 edges, 6296 markings/sec, 115 secs 1397148 edges, 6131 markings/sec, 120 secs 1450919 edges, 6300 markings/sec, 125 secs 1506747 edges, 6219 markings/sec, 130 secs 1565722 edges, 6102 markings/sec, 135 secs 1621676 edges, 6234 markings/sec, 140 secs 1685027 edges, 6101 markings/sec, 145 secs 1748411 edges, 6116 markings/sec, 150 secs 1798654 edges, 6274 markings/sec, 155 secs 1851889 edges, 6196 markings/sec, 160 secs 1904110 edges, 6271 markings/sec, 165 secs 1957090 edges, 6198 markings/sec, 170 secs 2007912 edges, 6195 markings/sec, 175 secs 2058896 edges, 6150 markings/sec, 180 secs 2114379 edges, 6094 markings/sec, 185 secs 2174833 edges, 6064 markings/sec, 190 secs 2226560 edges, 6141 markings/sec, 195 secs 2278764 edges, 6133 markings/sec, 200 secs 2345970 edges, 6003 markings/sec, 205 secs 2403261 edges, 6069 markings/sec, 210 secs 2453506 edges, 6112 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(RecBuff_20_10 + RecBuff_20_11 + RecBuff_20_12 + RecBuff_20_13 + RecBuff_20_14 + RecBuff_20_15 + RecBuff_20_16 + RecBuff_20_17 + RecBuff_20_18 + RecBuff_20_19 + RecBuff_20_20 + RecBuff_3_1 + RecBuff_3_2 + RecBuff_3_3 + RecBuff_3_4 + RecBuff_3_5 + RecBuff_3_6 + RecBuff_3_7 + RecBuff_3_8 + RecBuff_3_9 + RecBuff_2_10 + RecBuff_2_11 + RecBuff_2_12 + RecBuff_2_13 + RecBuff_2_14 + RecBuff_2_15 + RecB... (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) 40306 edges, 7356 markings/sec, 0 secs 80762 edges, 7323 markings/sec, 5 secs 119837 edges, 7273 markings/sec, 10 secs 158533 edges, 7321 markings/sec, 15 secs 196717 edges, 7227 markings/sec, 20 secs 235027 edges, 7245 markings/sec, 25 secs 273205 edges, 7226 markings/sec, 30 secs 311339 edges, 7210 markings/sec, 35 secs 349369 edges, 7197 markings/sec, 40 secs 387488 edges, 7207 markings/sec, 45 secs 425606 edges, 7214 markings/sec, 50 secs 463758 edges, 7221 markings/sec, 55 secs 502195 edges, 7270 markings/sec, 60 secs 540212 edges, 7194 markings/sec, 65 secs 578378 edges, 7216 markings/sec, 70 secs 617300 edges, 7245 markings/sec, 75 secs 655841 edges, 7260 markings/sec, 80 secs 698462 edges, 7316 markings/sec, 85 secs 758407 edges, 6920 markings/sec, 90 secs 811336 edges, 6999 markings/sec, 95 secs 861122 edges, 7102 markings/sec, 100 secs 902015 edges, 7243 markings/sec, 105 secs 940509 edges, 7281 markings/sec, 110 secs 978944 edges, 7269 markings/sec, 115 secs 1017141 edges, 7230 markings/sec, 120 secs 1055313 edges, 7223 markings/sec, 125 secs 1093478 edges, 7218 markings/sec, 130 secs 1131604 edges, 7216 markings/sec, 135 secs 1169903 edges, 7242 markings/sec, 140 secs 1208268 edges, 7263 markings/sec, 145 secs 1246763 edges, 7281 markings/sec, 150 secs 1286044 edges, 7279 markings/sec, 155 secs 1324825 edges, 7345 markings/sec, 160 secs 1363354 edges, 7288 markings/sec, 165 secs 1401935 edges, 7298 markings/sec, 170 secs 1440510 edges, 7305 markings/sec, 175 secs 1479364 edges, 7352 markings/sec, 180 secs 1518394 edges, 7387 markings/sec, 185 secs 1566027 edges, 7192 markings/sec, 190 secs 1619697 edges, 7068 markings/sec, 195 secs 1673100 edges, 7061 markings/sec, 200 secs 1727379 edges, 7075 markings/sec, 205 secs 1781258 edges, 7035 markings/sec, 210 secs limit reached - aborting aborted or communication problem between parent and child process 10 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Mutex_10 + Mutex_11 + Mutex_12 + Mutex_13 + Mutex_14 + Mutex_15 + Mutex_16 + Mutex_17 + Mutex_18 + Mutex_19 + Mutex_20 + Mutex_1 + Mutex_2 + Mutex_3 + Mutex_4 + Mutex_5 + Mutex_6 + Mutex_7 + Mutex_8 + Mutex_9) ==================== 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) 154782 edges, 7234 markings/sec, 0 secs 330513 edges, 6764 markings/sec, 5 secs 515252 edges, 6751 markings/sec, 10 secs 706792 edges, 6547 markings/sec, 15 secs 913379 edges, 6330 markings/sec, 20 secs 1096428 edges, 6660 markings/sec, 25 secs 1293423 edges, 6392 markings/sec, 30 secs 1497431 edges, 6318 markings/sec, 35 secs 1707308 edges, 6165 markings/sec, 40 secs 1933733 edges, 5913 markings/sec, 45 secs 2116232 edges, 6671 markings/sec, 50 secs 2311168 edges, 6400 markings/sec, 55 secs 2505049 edges, 6411 markings/sec, 60 secs 2690291 edges, 6401 markings/sec, 65 secs 2889056 edges, 6202 markings/sec, 70 secs 3070788 edges, 6563 markings/sec, 75 secs 3262045 edges, 6335 markings/sec, 80 secs 3449358 edges, 6480 markings/sec, 85 secs 3595220 edges, 7140 markings/sec, 90 secs 3770841 edges, 6568 markings/sec, 95 secs 3954708 edges, 6465 markings/sec, 100 secs 4145657 edges, 6307 markings/sec, 105 secs 4348907 edges, 6108 markings/sec, 110 secs 4535057 edges, 6407 markings/sec, 115 secs 4728116 edges, 6211 markings/sec, 120 secs 4935405 edges, 6027 markings/sec, 125 secs 5137491 edges, 6050 markings/sec, 130 secs 5352204 edges, 5825 markings/sec, 135 secs 5559822 edges, 6015 markings/sec, 140 secs 5750303 edges, 6308 markings/sec, 145 secs 5951479 edges, 6119 markings/sec, 150 secs 6137769 edges, 6350 markings/sec, 155 secs 6328465 edges, 6163 markings/sec, 160 secs 6532934 edges, 5952 markings/sec, 165 secs 6713170 edges, 6395 markings/sec, 170 secs 6908782 edges, 6123 markings/sec, 175 secs 7080630 edges, 6665 markings/sec, 180 secs 7248731 edges, 6801 markings/sec, 185 secs 7428382 edges, 6585 markings/sec, 190 secs 7604608 edges, 6340 markings/sec, 195 secs 7797729 edges, 6267 markings/sec, 200 secs 8003401 edges, 6129 markings/sec, 205 secs 8185669 edges, 6418 markings/sec, 210 secs 8379896 edges, 6133 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 11 will run for 220 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Modify_7_10 + Modify_7_11 + Modify_7_12 + Modify_7_13 + Modify_7_14 + Modify_7_15 + Modify_7_16 + Modify_7_17 + Modify_7_18 + Modify_7_19 + Modify_7_20 + Modify_14_10 + Modify_14_11 + Modify_14_12 + Modify_14_13 + Modify_14_14 + Modify_14_15 + Modify_14_16 + Modify_14_17 + Modify_14_18 + Modify_14_19 + Modify_14_20 + Modify_19_10 + Modify_19_11 + Modify_19_12 + Modify_19_13 + Modify_19_14 + Mo... (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) 127196 edges, 8959 markings/sec, 0 secs 239133 edges, 9174 markings/sec, 5 secs 373478 edges, 8576 markings/sec, 10 secs 484071 edges, 9068 markings/sec, 15 secs 610224 edges, 8713 markings/sec, 20 secs 739181 edges, 8536 markings/sec, 25 secs 856670 edges, 8732 markings/sec, 30 secs 969172 edges, 8785 markings/sec, 35 secs 1089703 edges, 8613 markings/sec, 40 secs 1226232 edges, 8318 markings/sec, 45 secs 1357394 edges, 8561 markings/sec, 50 secs 1458253 edges, 9177 markings/sec, 55 secs 1539670 edges, 9421 markings/sec, 60 secs 1621654 edges, 9410 markings/sec, 65 secs 1706896 edges, 9352 markings/sec, 70 secs 1787100 edges, 9400 markings/sec, 75 secs 1868596 edges, 9346 markings/sec, 80 secs 1956333 edges, 9211 markings/sec, 85 secs 2037789 edges, 9259 markings/sec, 90 secs 2119356 edges, 9214 markings/sec, 95 secs 2200087 edges, 9238 markings/sec, 100 secs 2284363 edges, 9187 markings/sec, 105 secs 2365980 edges, 9198 markings/sec, 110 secs 2477537 edges, 8801 markings/sec, 115 secs 2556040 edges, 9242 markings/sec, 120 secs 2635994 edges, 9205 markings/sec, 125 secs 2720143 edges, 9192 markings/sec, 130 secs 2804843 edges, 9174 markings/sec, 135 secs 2885684 edges, 9222 markings/sec, 140 secs 2965104 edges, 9127 markings/sec, 145 secs 3043911 edges, 9061 markings/sec, 150 secs 3127062 edges, 9029 markings/sec, 155 secs 3210157 edges, 9071 markings/sec, 160 secs 3311968 edges, 8818 markings/sec, 165 secs 3391261 edges, 9185 markings/sec, 170 secs 3473528 edges, 9150 markings/sec, 175 secs 3554751 edges, 9136 markings/sec, 180 secs 3632696 edges, 9120 markings/sec, 185 secs 3714139 edges, 9036 markings/sec, 190 secs 3796016 edges, 9034 markings/sec, 195 secs 3882500 edges, 8997 markings/sec, 200 secs 3962397 edges, 9076 markings/sec, 205 secs 4042227 edges, 9060 markings/sec, 210 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(Acknowledge_19_20 + Acknowledge_8_1 + Acknowledge_8_2 + Acknowledge_8_3 + Acknowledge_8_4 + Acknowledge_8_5 + Acknowledge_8_6 + Acknowledge_8_7 + Acknowledge_8_8 + Acknowledge_8_9 + Acknowledge_7_10 + Acknowledge_7_11 + Acknowledge_7_12 + Acknowledge_7_13 + Acknowledge_7_14 + Acknowledge_7_15 + Acknowledge_7_16 + Acknowledge_7_17 + Acknowledge_7_18 + Acknowledge_7_19 + Acknowledge_7_20 + Ackno... (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) 51712 edges, 6604 markings/sec, 0 secs 107731 edges, 6485 markings/sec, 5 secs 160343 edges, 6405 markings/sec, 10 secs 220182 edges, 6303 markings/sec, 15 secs 273111 edges, 6381 markings/sec, 20 secs 333293 edges, 6361 markings/sec, 25 secs 398664 edges, 6312 markings/sec, 30 secs 451729 edges, 6387 markings/sec, 35 secs 503968 edges, 6332 markings/sec, 40 secs 554829 edges, 6247 markings/sec, 45 secs 614026 edges, 6142 markings/sec, 50 secs 665222 edges, 6241 markings/sec, 55 secs 723647 edges, 6205 markings/sec, 60 secs 787809 edges, 6158 markings/sec, 65 secs 840021 edges, 6244 markings/sec, 70 secs 890939 edges, 6214 markings/sec, 75 secs 941459 edges, 6140 markings/sec, 80 secs 997903 edges, 6061 markings/sec, 85 secs 1050433 edges, 6081 markings/sec, 90 secs 1105781 edges, 6107 markings/sec, 95 secs 1170244 edges, 6029 markings/sec, 100 secs 1220905 edges, 6254 markings/sec, 105 secs 1271998 edges, 6185 markings/sec, 110 secs 1327718 edges, 6257 markings/sec, 115 secs 1395353 edges, 6060 markings/sec, 120 secs 1447663 edges, 6247 markings/sec, 125 secs 1503725 edges, 6159 markings/sec, 130 secs 1561944 edges, 6038 markings/sec, 135 secs 1617505 edges, 6175 markings/sec, 140 secs 1679869 edges, 6100 markings/sec, 145 secs 1743542 edges, 6130 markings/sec, 150 secs 1794827 edges, 6262 markings/sec, 155 secs 1847104 edges, 6202 markings/sec, 160 secs 1900508 edges, 6253 markings/sec, 165 secs 1953817 edges, 6194 markings/sec, 170 secs 2003132 edges, 6214 markings/sec, 175 secs 2054860 edges, 6162 markings/sec, 180 secs 2109251 edges, 6113 markings/sec, 185 secs 2171732 edges, 6061 markings/sec, 190 secs 2223928 edges, 6166 markings/sec, 195 secs 2275155 edges, 6174 markings/sec, 200 secs 2341216 edges, 6054 markings/sec, 205 secs 2400236 edges, 6075 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(Message_10_10 + Message_10_11 + Message_10_12 + Message_10_13 + Message_10_14 + Message_10_15 + Message_10_16 + Message_10_17 + Message_10_18 + Message_10_19 + Message_10_20 + Message_15_1 + Message_15_2 + Message_15_3 + Message_15_4 + Message_15_5 + Message_15_6 + Message_15_7 + Message_15_8 + Message_15_9 + Message_9_10 + Message_9_11 + Message_9_12 + Message_9_13 + Message_9_14 + Message_9_... (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) 62292 edges, 11455 markings/sec, 0 secs 126412 edges, 11471 markings/sec, 5 secs 190190 edges, 11427 markings/sec, 10 secs 252667 edges, 11468 markings/sec, 15 secs 316680 edges, 11459 markings/sec, 20 secs 380759 edges, 11472 markings/sec, 25 secs 442966 edges, 11430 markings/sec, 30 secs 506376 edges, 11355 markings/sec, 35 secs 569714 edges, 11325 markings/sec, 40 secs 631773 edges, 11370 markings/sec, 45 secs 695306 edges, 11407 markings/sec, 50 secs 788399 edges, 10667 markings/sec, 55 secs 850295 edges, 11368 markings/sec, 60 secs 913779 edges, 11354 markings/sec, 65 secs 977022 edges, 11322 markings/sec, 70 secs 1039397 edges, 11343 markings/sec, 75 secs 1102158 edges, 11331 markings/sec, 80 secs 1165280 edges, 11298 markings/sec, 85 secs 1228343 edges, 11271 markings/sec, 90 secs 1289420 edges, 11222 markings/sec, 95 secs 1352131 edges, 11217 markings/sec, 100 secs 1415112 edges, 11255 markings/sec, 105 secs 1476859 edges, 11354 markings/sec, 110 secs 1569312 edges, 10538 markings/sec, 115 secs 1631011 edges, 11345 markings/sec, 120 secs 1694326 edges, 11321 markings/sec, 125 secs 1757402 edges, 11289 markings/sec, 130 secs 1819973 edges, 11339 markings/sec, 135 secs 1882844 edges, 11395 markings/sec, 140 secs 1946296 edges, 11348 markings/sec, 145 secs 2009699 edges, 11354 markings/sec, 150 secs 2071398 edges, 11329 markings/sec, 155 secs 2134570 edges, 11308 markings/sec, 160 secs 2197972 edges, 11338 markings/sec, 165 secs 2260148 edges, 11423 markings/sec, 170 secs 2353301 edges, 10676 markings/sec, 175 secs 2417136 edges, 11423 markings/sec, 180 secs 2479378 edges, 11437 markings/sec, 185 secs 2543242 edges, 11431 markings/sec, 190 secs 2607132 edges, 11443 markings/sec, 195 secs 2669586 edges, 11467 markings/sec, 200 secs 2733572 edges, 11453 markings/sec, 205 secs 2797365 edges, 11431 markings/sec, 210 secs 2859583 edges, 11432 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(MesBuffReply_12_1 + MesBuffReply_12_2 + MesBuffReply_12_3 + MesBuffReply_12_4 + MesBuffReply_12_5 + MesBuffReply_12_6 + MesBuffReply_12_7 + MesBuffReply_12_8 + MesBuffReply_12_9 + MesBuffReply_13_1 + MesBuffReply_13_2 + MesBuffReply_13_3 + MesBuffReply_13_4 + MesBuffReply_13_5 + MesBuffReply_13_6 + MesBuffReply_13_7 + MesBuffReply_13_8 + MesBuffReply_13_9 + MesBuffReply_14_10 + MesBuffReply_14... (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) 35608 edges, 6937 markings/sec, 0 secs 71195 edges, 6987 markings/sec, 5 secs 106717 edges, 6974 markings/sec, 10 secs 141943 edges, 6916 markings/sec, 15 secs 177175 edges, 6917 markings/sec, 20 secs 212455 edges, 6926 markings/sec, 25 secs 247763 edges, 6932 markings/sec, 30 secs 282924 edges, 6903 markings/sec, 35 secs 318089 edges, 6904 markings/sec, 40 secs 353323 edges, 6917 markings/sec, 45 secs 388466 edges, 6899 markings/sec, 50 secs 423682 edges, 6914 markings/sec, 55 secs 459046 edges, 6943 markings/sec, 60 secs 494299 edges, 6921 markings/sec, 65 secs 529552 edges, 6921 markings/sec, 70 secs 564826 edges, 6925 markings/sec, 75 secs 600034 edges, 6912 markings/sec, 80 secs 635345 edges, 6932 markings/sec, 85 secs 672117 edges, 6893 markings/sec, 90 secs 707169 edges, 6881 markings/sec, 95 secs 742236 edges, 6885 markings/sec, 100 secs 777326 edges, 6889 markings/sec, 105 secs 812297 edges, 6866 markings/sec, 110 secs 847163 edges, 6845 markings/sec, 115 secs 882114 edges, 6861 markings/sec, 120 secs 917126 edges, 6874 markings/sec, 125 secs 952269 edges, 6899 markings/sec, 130 secs 987463 edges, 6910 markings/sec, 135 secs 1022604 edges, 6898 markings/sec, 140 secs 1057851 edges, 6920 markings/sec, 145 secs 1093209 edges, 6942 markings/sec, 150 secs 1128469 edges, 6922 markings/sec, 155 secs 1163803 edges, 6936 markings/sec, 160 secs 1199291 edges, 6967 markings/sec, 165 secs 1234747 edges, 6961 markings/sec, 170 secs 1270128 edges, 6945 markings/sec, 175 secs 1305444 edges, 6933 markings/sec, 180 secs 1340834 edges, 6948 markings/sec, 185 secs 1376136 edges, 6930 markings/sec, 190 secs 1411519 edges, 6947 markings/sec, 195 secs 1446882 edges, 6942 markings/sec, 200 secs 1482218 edges, 6937 markings/sec, 205 secs 1517551 edges, 6936 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(Mutex_10 + Mutex_11 + Mutex_12 + Mutex_13 + Mutex_14 + Mutex_15 + Mutex_16 + Mutex_17 + Mutex_18 + Mutex_19 + Mutex_20 + Mutex_1 + Mutex_2 + Mutex_3 + Mutex_4 + Mutex_5 + Mutex_6 + Mutex_7 + Mutex_8 + Mutex_9) ==================== 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) 152566 edges, 7137 markings/sec, 0 secs 328839 edges, 6807 markings/sec, 5 secs 513417 edges, 6732 markings/sec, 10 secs 704188 edges, 6530 markings/sec, 15 secs 910462 edges, 6289 markings/sec, 20 secs 1092154 edges, 6658 markings/sec, 25 secs 1287698 edges, 6361 markings/sec, 30 secs 1490969 edges, 6293 markings/sec, 35 secs 1699991 edges, 6143 markings/sec, 40 secs 1923750 edges, 5905 markings/sec, 45 secs 2107255 edges, 6624 markings/sec, 50 secs 2303137 edges, 6363 markings/sec, 55 secs 2497212 edges, 6392 markings/sec, 60 secs 2681040 edges, 6362 markings/sec, 65 secs 2874798 edges, 6163 markings/sec, 70 secs 3056375 edges, 6440 markings/sec, 75 secs 3244544 edges, 6320 markings/sec, 80 secs 3440397 edges, 6329 markings/sec, 85 secs 3579685 edges, 7280 markings/sec, 90 secs 3756260 edges, 6574 markings/sec, 95 secs 3941452 edges, 6477 markings/sec, 100 secs 4131878 edges, 6322 markings/sec, 105 secs 4332807 edges, 6187 markings/sec, 110 secs 4522007 edges, 6401 markings/sec, 115 secs 4714215 edges, 6245 markings/sec, 120 secs 4922748 edges, 5982 markings/sec, 125 secs 5122119 edges, 6091 markings/sec, 130 secs 5337800 edges, 5825 markings/sec, 135 secs 5548502 edges, 5950 markings/sec, 140 secs 5737918 edges, 6279 markings/sec, 145 secs 5934261 edges, 6121 markings/sec, 150 secs 6122506 edges, 6272 markings/sec, 155 secs 6310582 edges, 6170 markings/sec, 160 secs 6518922 edges, 5869 markings/sec, 165 secs 6694545 edges, 6458 markings/sec, 170 secs 6889466 edges, 6099 markings/sec, 175 secs 7065637 edges, 6510 markings/sec, 180 secs 7227310 edges, 6826 markings/sec, 185 secs 7404750 edges, 6552 markings/sec, 190 secs 7588162 edges, 6487 markings/sec, 195 secs 7778635 edges, 6306 markings/sec, 200 secs 7988476 edges, 6039 markings/sec, 205 secs 8166041 edges, 6506 markings/sec, 210 secs 8361692 edges, 6180 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 -COL-20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN utex-COL-20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN utex-COL-20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN utex-COL-20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN utex-COL-20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN utex-COL-20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN utex-COL-20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN utex-COL-20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN utex-COL-20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN utex-COL-20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN utex-COL-20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN utex-COL-20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN utex-COL-20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN utex-COL-20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN utex-COL-20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN utex-COL-20-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="DatabaseWithMutex-PT-20"
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/DatabaseWithMutex-PT-20.tgz
mv DatabaseWithMutex-PT-20 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 DatabaseWithMutex-PT-20, 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-149436309000182"
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 ;