MCC'2017 - Execution of r098-ebro-149488455600182

About the Execution of LoLA for S_DatabaseWithMutex-PT-20

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
10924.430	3539519.00	3556403.00	667.70	? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?	normal

Execution Chart

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

Trace from the execution

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

Time: 3600 - MCC
----- Start make prepare
============================
S_DatabaseWithMutex-PT-20:
============================
translating PT Petri net complete

checking for too many tokens
============================
S_DatabaseWithMutex-PT-20:
============================
translating formula complete
touch formulae;
----- Start make result
UpperBounds @ S_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: 57464 markings,
lola: 114367 markings,
lola: 169933 markings,
lola: 227120 markings,
lola: 283916 markings,
lola: 340851 markings,
lola: 397183 markings,
lola: 453029 markings,
lola: 508560 markings,
lola: 564247 markings,
lola: 620106 markings,
lola: 672823 markings,
lola: 728721 markings,
lola: 784375 markings,
lola: 840568 markings,
lola: 895959 markings,
lola: 951695 markings,
lola: 1007687 markings,
lola: 1063306 markings,
lola: 1118894 markings,
lola: 1174757 markings,
lola: 1230866 markings,
lola: 1287213 markings,
lola: 1340504 markings,
lola: 1396102 markings,
lola: 1452276 markings,
lola: 1508567 markings,
lola: 1564648 markings,
lola: 1620721 markings,
lola: 1676490 markings,
lola: 1731832 markings,
lola: 1787261 markings,
lola: 1842710 markings,
lola: 1897990 markings,
lola: 1953607 markings,
lola: 2007174 markings,
lola: 2061552 markings,
lola: 2118352 markings,
lola: 2175014 markings,
lola: 2231572 markings,
lola: 2288319 markings,
lola: 2344986 markings,
lola: 2401583 markings,
lola: 2458188 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: 37384 markings,
lola: 75133 markings,
lola: 112685 markings,
lola: 149921 markings,
lola: 186926 markings,
lola: 224510 markings,
lola: 261553 markings,
lola: 298638 markings,
lola: 335800 markings,
lola: 372702 markings,
lola: 408891 markings,
lola: 445281 markings,
lola: 481628 markings,
lola: 518079 markings,
lola: 554734 markings,
lola: 591723 markings,
lola: 628768 markings,
lola: 665499 markings,
lola: 702448 markings,
lola: 739212 markings,
lola: 775541 markings,
lola: 811755 markings,
lola: 848230 markings,
lola: 884815 markings,
lola: 921326 markings,
lola: 958346 markings,
lola: 995542 markings,
lola: 1032679 markings,
lola: 1069763 markings,
lola: 1106422 markings,
lola: 1143463 markings,
lola: 1180427 markings,
lola: 1217534 markings,
lola: 1254674 markings,
lola: 1291567 markings,
lola: 1328667 markings,
lola: 1365524 markings,
lola: 1402331 markings,
lola: 1439187 markings,
lola: 1475990 markings,
lola: 1512725 markings,
lola: 1549765 markings,
lola: 1586314 markings,
lola: 1622022 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: 36666 markings,
lola: 73062 markings,
lola: 109045 markings,
lola: 145295 markings,
lola: 181124 markings,
lola: 217062 markings,
lola: 252975 markings,
lola: 288885 markings,
lola: 324844 markings,
lola: 360814 markings,
lola: 396829 markings,
lola: 432899 markings,
lola: 469160 markings,
lola: 505373 markings,
lola: 541543 markings,
lola: 577351 markings,
lola: 613355 markings,
lola: 650071 markings,
lola: 683669 markings,
lola: 718322 markings,
lola: 751961 markings,
lola: 788172 markings,
lola: 824117 markings,
lola: 860232 markings,
lola: 894826 markings,
lola: 930709 markings,
lola: 966524 markings,
lola: 1002346 markings,
lola: 1038082 markings,
lola: 1073867 markings,
lola: 1109626 markings,
lola: 1145369 markings,
lola: 1181422 markings,
lola: 1217352 markings,
lola: 1253248 markings,
lola: 1289225 markings,
lola: 1325039 markings,
lola: 1361567 markings,
lola: 1397479 markings,
lola: 1432266 markings,
lola: 1466782 markings,
lola: 1501472 markings,
lola: 1535987 markings,
lola: 1570503 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: 34378 markings,
lola: 68557 markings,
lola: 102333 markings,
lola: 137144 markings,
lola: 171953 markings,
lola: 206837 markings,
lola: 241747 markings,
lola: 276712 markings,
lola: 311674 markings,
lola: 346573 markings,
lola: 381319 markings,
lola: 416225 markings,
lola: 451072 markings,
lola: 485857 markings,
lola: 520603 markings,
lola: 555396 markings,
lola: 590322 markings,
lola: 625434 markings,
lola: 660246 markings,
lola: 695057 markings,
lola: 729484 markings,
lola: 764045 markings,
lola: 798201 markings,
lola: 831701 markings,
lola: 865613 markings,
lola: 899481 markings,
lola: 933415 markings,
lola: 967300 markings,
lola: 1001268 markings,
lola: 1035261 markings,
lola: 1069309 markings,
lola: 1103395 markings,
lola: 1137432 markings,
lola: 1171794 markings,
lola: 1206220 markings,
lola: 1240505 markings,
lola: 1274833 markings,
lola: 1308910 markings,
lola: 1342869 markings,
lola: 1377516 markings,
lola: 1411694 markings,
lola: 1445306 markings,
lola: 1478899 markings,
lola: 1512753 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: 35589 markings,
lola: 68712 markings,
lola: 101780 markings,
lola: 134332 markings,
lola: 165319 markings,
lola: 198687 markings,
lola: 229294 markings,
lola: 258553 markings,
lola: 288353 markings,
lola: 318069 markings,
lola: 350509 markings,
lola: 382938 markings,
lola: 414034 markings,
lola: 446464 markings,
lola: 476497 markings,
lola: 508114 markings,
lola: 540240 markings,
lola: 570861 markings,
lola: 607777 markings,
lola: 641635 markings,
lola: 673799 markings,
lola: 706320 markings,
lola: 737286 markings,
lola: 768603 markings,
lola: 799803 markings,
lola: 829670 markings,
lola: 860148 markings,
lola: 888628 markings,
lola: 915870 markings,
lola: 947172 markings,
lola: 976604 markings,
lola: 1006104 markings,
lola: 1036331 markings,
lola: 1066049 markings,
lola: 1096497 markings,
lola: 1127007 markings,
lola: 1156322 markings,
lola: 1190781 markings,
lola: 1223684 markings,
lola: 1254858 markings,
lola: 1286634 markings,
lola: 1316623 markings,
lola: 1346826 markings,
lola: 1377355 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: 44966 markings,
lola: 90145 markings,
lola: 135329 markings,
lola: 180286 markings,
lola: 224836 markings,
lola: 269308 markings,
lola: 313529 markings,
lola: 357831 markings,
lola: 401508 markings,
lola: 445952 markings,
lola: 489801 markings,
lola: 533922 markings,
lola: 577417 markings,
lola: 620735 markings,
lola: 663818 markings,
lola: 706432 markings,
lola: 748178 markings,
lola: 790003 markings,
lola: 831336 markings,
lola: 873941 markings,
lola: 916668 markings,
lola: 959047 markings,
lola: 1001704 markings,
lola: 1044398 markings,
lola: 1086807 markings,
lola: 1129315 markings,
lola: 1172023 markings,
lola: 1214611 markings,
lola: 1257485 markings,
lola: 1300749 markings,
lola: 1343767 markings,
lola: 1386775 markings,
lola: 1429032 markings,
lola: 1472999 markings,
lola: 1516896 markings,
lola: 1560543 markings,
lola: 1603609 markings,
lola: 1646244 markings,
lola: 1689894 markings,
lola: 1733816 markings,
lola: 1776020 markings,
lola: 1818608 markings,
lola: 1860348 markings,
lola: 1903699 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: 55841 markings,
lola: 112355 markings,
lola: 168214 markings,
lola: 224845 markings,
lola: 281375 markings,
lola: 337998 markings,
lola: 394703 markings,
lola: 449617 markings,
lola: 505845 markings,
lola: 562492 markings,
lola: 619251 markings,
lola: 672669 markings,
lola: 729163 markings,
lola: 785672 markings,
lola: 841987 markings,
lola: 898651 markings,
lola: 955125 markings,
lola: 1011647 markings,
lola: 1068433 markings,
lola: 1124463 markings,
lola: 1180616 markings,
lola: 1237244 markings,
lola: 1294127 markings,
lola: 1347099 markings,
lola: 1403820 markings,
lola: 1460506 markings,
lola: 1516897 markings,
lola: 1573619 markings,
lola: 1630189 markings,
lola: 1686749 markings,
lola: 1743332 markings,
lola: 1799326 markings,
lola: 1855212 markings,
lola: 1911651 markings,
lola: 1968380 markings,
lola: 2020437 markings,
lola: 2076019 markings,
lola: 2132535 markings,
lola: 2189519 markings,
lola: 2246671 markings,
lola: 2302811 markings,
lola: 2358210 markings,
lola: 2413827 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: 36579 markings,
lola: 70784 markings,
lola: 104488 markings,
lola: 136981 markings,
lola: 168949 markings,
lola: 202602 markings,
lola: 234909 markings,
lola: 266800 markings,
lola: 297962 markings,
lola: 327557 markings,
lola: 361655 markings,
lola: 393870 markings,
lola: 426418 markings,
lola: 458760 markings,
lola: 489676 markings,
lola: 523334 markings,
lola: 555381 markings,
lola: 589941 markings,
lola: 625007 markings,
lola: 658059 markings,
lola: 690533 markings,
lola: 722364 markings,
lola: 752640 markings,
lola: 785547 markings,
lola: 816669 markings,
lola: 847249 markings,
lola: 877110 markings,
lola: 906300 markings,
lola: 937677 markings,
lola: 969183 markings,
lola: 999145 markings,
lola: 1031307 markings,
lola: 1062012 markings,
lola: 1093079 markings,
lola: 1124522 markings,
lola: 1154693 markings,
lola: 1189670 markings,
lola: 1223358 markings,
lola: 1255570 markings,
lola: 1288343 markings,
lola: 1319792 markings,
lola: 1351145 markings,
lola: 1382619 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: 32634 markings,
lola: 64884 markings,
lola: 96832 markings,
lola: 128290 markings,
lola: 160066 markings,
lola: 191969 markings,
lola: 223673 markings,
lola: 255817 markings,
lola: 287679 markings,
lola: 319191 markings,
lola: 349990 markings,
lola: 381262 markings,
lola: 412272 markings,
lola: 443003 markings,
lola: 474297 markings,
lola: 505422 markings,
lola: 536262 markings,
lola: 566726 markings,
lola: 597367 markings,
lola: 628074 markings,
lola: 658374 markings,
lola: 689794 markings,
lola: 720933 markings,
lola: 752423 markings,
lola: 783236 markings,
lola: 814717 markings,
lola: 845600 markings,
lola: 875966 markings,
lola: 907053 markings,
lola: 937449 markings,
lola: 967925 markings,
lola: 999300 markings,
lola: 1030321 markings,
lola: 1061723 markings,
lola: 1092732 markings,
lola: 1123741 markings,
lola: 1154536 markings,
lola: 1185086 markings,
lola: 1215522 markings,
lola: 1246305 markings,
lola: 1277044 markings,
lola: 1307034 markings,
lola: 1337447 markings,
lola: 1368090 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: 36855 markings,
lola: 73411 markings,
lola: 109737 markings,
lola: 146082 markings,
lola: 182139 markings,
lola: 218229 markings,
lola: 254260 markings,
lola: 290274 markings,
lola: 326308 markings,
lola: 362474 markings,
lola: 398656 markings,
lola: 434884 markings,
lola: 471309 markings,
lola: 507618 markings,
lola: 543894 markings,
lola: 580213 markings,
lola: 616666 markings,
lola: 653325 markings,
lola: 687917 markings,
lola: 722856 markings,
lola: 758475 markings,
lola: 794827 markings,
lola: 831142 markings,
lola: 867422 markings,
lola: 903437 markings,
lola: 939550 markings,
lola: 975659 markings,
lola: 1011892 markings,
lola: 1048388 markings,
lola: 1084872 markings,
lola: 1121379 markings,
lola: 1157902 markings,
lola: 1194733 markings,
lola: 1231248 markings,
lola: 1267879 markings,
lola: 1304487 markings,
lola: 1341383 markings,
lola: 1378142 markings,
lola: 1413744 markings,
lola: 1448708 markings,
lola: 1483665 markings,
lola: 1518698 markings,
lola: 1553563 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: 35923 markings,
lola: 69892 markings,
lola: 103465 markings,
lola: 136082 markings,
lola: 167582 markings,
lola: 200942 markings,
lola: 231542 markings,
lola: 262953 markings,
lola: 293616 markings,
lola: 323182 markings,
lola: 356205 markings,
lola: 388086 markings,
lola: 419812 markings,
lola: 451753 markings,
lola: 482887 markings,
lola: 515250 markings,
lola: 546964 markings,
lola: 578237 markings,
lola: 614768 markings,
lola: 647692 markings,
lola: 679989 markings,
lola: 711702 markings,
lola: 742690 markings,
lola: 774600 markings,
lola: 805913 markings,
lola: 835746 markings,
lola: 866258 markings,
lola: 895212 markings,
lola: 924961 markings,
lola: 956359 markings,
lola: 987046 markings,
lola: 1018273 markings,
lola: 1049387 markings,
lola: 1078956 markings,
lola: 1111365 markings,
lola: 1141692 markings,
lola: 1173766 markings,
lola: 1207950 markings,
lola: 1240506 markings,
lola: 1272618 markings,
lola: 1304035 markings,
lola: 1334021 markings,
lola: 1366544 markings,
lola: 1397333 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: 44588 markings,
lola: 90483 markings,
lola: 133339 markings,
lola: 178670 markings,
lola: 222261 markings,
lola: 265089 markings,
lola: 309036 markings,
lola: 353505 markings,
lola: 396795 markings,
lola: 438604 markings,
lola: 481529 markings,
lola: 527660 markings,
lola: 575056 markings,
lola: 622295 markings,
lola: 669550 markings,
lola: 716911 markings,
lola: 764179 markings,
lola: 811143 markings,
lola: 857978 markings,
lola: 904403 markings,
lola: 950734 markings,
lola: 996865 markings,
lola: 1043350 markings,
lola: 1087606 markings,
lola: 1133783 markings,
lola: 1179525 markings,
lola: 1224942 markings,
lola: 1270471 markings,
lola: 1316112 markings,
lola: 1361793 markings,
lola: 1407347 markings,
lola: 1452397 markings,
lola: 1497834 markings,
lola: 1541923 markings,
lola: 1587445 markings,
lola: 1633302 markings,
lola: 1679132 markings,
lola: 1724662 markings,
lola: 1770114 markings,
lola: 1815699 markings,
lola: 1860428 markings,
lola: 1905933 markings,
lola: 1951006 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: 32130 markings,
lola: 64486 markings,
lola: 96629 markings,
lola: 128196 markings,
lola: 159999 markings,
lola: 191905 markings,
lola: 223570 markings,
lola: 255529 markings,
lola: 287334 markings,
lola: 318710 markings,
lola: 349641 markings,
lola: 381005 markings,
lola: 412102 markings,
lola: 442872 markings,
lola: 474234 markings,
lola: 505490 markings,
lola: 536463 markings,
lola: 566971 markings,
lola: 597632 markings,
lola: 628286 markings,
lola: 658548 markings,
lola: 689996 markings,
lola: 721125 markings,
lola: 752645 markings,
lola: 783462 markings,
lola: 815045 markings,
lola: 846125 markings,
lola: 876706 markings,
lola: 908012 markings,
lola: 938601 markings,
lola: 969338 markings,
lola: 1000865 markings,
lola: 1032041 markings,
lola: 1063725 markings,
lola: 1094778 markings,
lola: 1125888 markings,
lola: 1156796 markings,
lola: 1187361 markings,
lola: 1218124 markings,
lola: 1249083 markings,
lola: 1279997 markings,
lola: 1310000 markings,
lola: 1340804 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: 57353 markings,
lola: 114722 markings,
lola: 171918 markings,
lola: 229473 markings,
lola: 286761 markings,
lola: 343959 markings,
lola: 401155 markings,
lola: 458032 markings,
lola: 514833 markings,
lola: 571767 markings,
lola: 629100 markings,
lola: 682837 markings,
lola: 739872 markings,
lola: 796780 markings,
lola: 853287 markings,
lola: 910015 markings,
lola: 966976 markings,
lola: 1023523 markings,
lola: 1079780 markings,
lola: 1135848 markings,
lola: 1191801 markings,
lola: 1247993 markings,
lola: 1304502 markings,
lola: 1357055 markings,
lola: 1413520 markings,
lola: 1469987 markings,
lola: 1526238 markings,
lola: 1582700 markings,
lola: 1639325 markings,
lola: 1696087 markings,
lola: 1752638 markings,
lola: 1809217 markings,
lola: 1865546 markings,
lola: 1922162 markings,
lola: 1979145 markings,
lola: 2032527 markings,
lola: 2089708 markings,
lola: 2147054 markings,
lola: 2204023 markings,
lola: 2261108 markings,
lola: 2318332 markings,
lola: 2375401 markings,
lola: 2432382 markings,
lola: 2488983 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: 34398 markings,
lola: 69300 markings,
lola: 104168 markings,
lola: 138918 markings,
lola: 173672 markings,
lola: 208541 markings,
lola: 243343 markings,
lola: 278019 markings,
lola: 312770 markings,
lola: 347529 markings,
lola: 382249 markings,
lola: 416984 markings,
lola: 451699 markings,
lola: 486534 markings,
lola: 521358 markings,
lola: 556201 markings,
lola: 591045 markings,
lola: 625893 markings,
lola: 660528 markings,
lola: 695167 markings,
lola: 729867 markings,
lola: 764543 markings,
lola: 798974 markings,
lola: 833198 markings,
lola: 867441 markings,
lola: 901693 markings,
lola: 935940 markings,
lola: 970211 markings,
lola: 1004541 markings,
lola: 1038893 markings,
lola: 1073293 markings,
lola: 1107737 markings,
lola: 1142316 markings,
lola: 1176821 markings,
lola: 1211334 markings,
lola: 1245857 markings,
lola: 1280385 markings,
lola: 1314988 markings,
lola: 1349552 markings,
lola: 1384199 markings,
lola: 1418923 markings,
lola: 1453738 markings,
lola: 1488354 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: 36170 markings,
lola: 70346 markings,
lola: 104272 markings,
lola: 137049 markings,
lola: 168861 markings,
lola: 202204 markings,
lola: 234148 markings,
lola: 265820 markings,
lola: 296652 markings,
lola: 326241 markings,
lola: 359894 markings,
lola: 391937 markings,
lola: 424207 markings,
lola: 456478 markings,
lola: 487432 markings,
lola: 520552 markings,
lola: 552204 markings,
lola: 585236 markings,
lola: 620772 markings,
lola: 653805 markings,
lola: 686321 markings,
lola: 717920 markings,
lola: 748368 markings,
lola: 780832 markings,
lola: 811819 markings,
lola: 842262 markings,
lola: 872285 markings,
lola: 901518 markings,
lola: 932081 markings,
lola: 963618 markings,
lola: 993882 markings,
lola: 1025885 markings,
lola: 1056497 markings,
lola: 1086949 markings,
lola: 1118565 markings,
lola: 1149236 markings,
lola: 1183243 markings,
lola: 1217086 markings,
lola: 1249385 markings,
lola: 1282193 markings,
lola: 1313374 markings,
lola: 1344661 markings,
lola: 1376436 markings,
lola: 1407398 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 1496451238171

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

----- Start make prepare
----- Start make result
----- Start make result
----- Kill lola and
----- Finished stderr -----
ready (probing ssh) =============================================================== examination is UpperBounds is 3600 seconds is 16384 MBytes is r098-ebro-149488455600182 ========================================= 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 ----- =============================================================== translating PT Petri net model.pnml into LoLA format =============================================================== =============================================================== translating PT formula UpperBounds into LoLA format =============================================================== stdout ----- @ 3539 seconds stdout ----- for 3539 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) 62524 edges, 11493 markings/sec, 0 secs 126064 edges, 11381 markings/sec, 5 secs 188249 edges, 11113 markings/sec, 10 secs 250495 edges, 11437 markings/sec, 15 secs 314005 edges, 11359 markings/sec, 20 secs 377656 edges, 11387 markings/sec, 25 secs 438957 edges, 11266 markings/sec, 30 secs 501433 edges, 11169 markings/sec, 35 secs 563577 edges, 11106 markings/sec, 40 secs 624292 edges, 11137 markings/sec, 45 secs 686788 edges, 11172 markings/sec, 50 secs 777381 edges, 10543 markings/sec, 55 secs 840052 edges, 11180 markings/sec, 60 secs 902327 edges, 11131 markings/sec, 65 secs 963657 edges, 11239 markings/sec, 70 secs 1025496 edges, 11078 markings/sec, 75 secs 1087935 edges, 11147 markings/sec, 80 secs 1148891 edges, 11198 markings/sec, 85 secs 1211131 edges, 11124 markings/sec, 90 secs 1273339 edges, 11118 markings/sec, 95 secs 1334165 edges, 11173 markings/sec, 100 secs 1396900 edges, 11222 markings/sec, 105 secs 1459957 edges, 11269 markings/sec, 110 secs 1544448 edges, 10658 markings/sec, 115 secs 1613499 edges, 11120 markings/sec, 120 secs 1676381 edges, 11235 markings/sec, 125 secs 1737639 edges, 11258 markings/sec, 130 secs 1800390 edges, 11216 markings/sec, 135 secs 1863126 edges, 11215 markings/sec, 140 secs 1923856 edges, 11154 markings/sec, 145 secs 1985815 edges, 11068 markings/sec, 150 secs 2047863 edges, 11086 markings/sec, 155 secs 2108270 edges, 11090 markings/sec, 160 secs 2170087 edges, 11056 markings/sec, 165 secs 2232197 edges, 11123 markings/sec, 170 secs 2310248 edges, 10713 markings/sec, 175 secs 2384991 edges, 10876 markings/sec, 180 secs 2446766 edges, 11360 markings/sec, 185 secs 2510141 edges, 11332 markings/sec, 190 secs 2573350 edges, 11312 markings/sec, 195 secs 2635131 edges, 11349 markings/sec, 200 secs 2698511 edges, 11333 markings/sec, 205 secs 2761740 edges, 11319 markings/sec, 210 secs 2824255 edges, 11321 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) 41605 edges, 7477 markings/sec, 0 secs 79591 edges, 7550 markings/sec, 5 secs 117959 edges, 7510 markings/sec, 10 secs 156704 edges, 7447 markings/sec, 15 secs 193941 edges, 7401 markings/sec, 20 secs 231759 edges, 7517 markings/sec, 25 secs 269033 edges, 7409 markings/sec, 30 secs 306353 edges, 7417 markings/sec, 35 secs 343744 edges, 7432 markings/sec, 40 secs 380879 edges, 7380 markings/sec, 45 secs 417293 edges, 7238 markings/sec, 50 secs 453911 edges, 7278 markings/sec, 55 secs 490486 edges, 7269 markings/sec, 60 secs 527162 edges, 7290 markings/sec, 65 secs 564047 edges, 7331 markings/sec, 70 secs 601269 edges, 7398 markings/sec, 75 secs 638544 edges, 7409 markings/sec, 80 secs 675505 edges, 7346 markings/sec, 85 secs 712685 edges, 7390 markings/sec, 90 secs 749678 edges, 7353 markings/sec, 95 secs 786235 edges, 7266 markings/sec, 100 secs 822674 edges, 7243 markings/sec, 105 secs 859378 edges, 7295 markings/sec, 110 secs 896192 edges, 7317 markings/sec, 115 secs 932930 edges, 7302 markings/sec, 120 secs 970182 edges, 7404 markings/sec, 125 secs 1007612 edges, 7439 markings/sec, 130 secs 1044980 edges, 7427 markings/sec, 135 secs 1082295 edges, 7417 markings/sec, 140 secs 1119183 edges, 7332 markings/sec, 145 secs 1156455 edges, 7408 markings/sec, 150 secs 1193652 edges, 7393 markings/sec, 155 secs 1230990 edges, 7421 markings/sec, 160 secs 1268363 edges, 7428 markings/sec, 165 secs 1305486 edges, 7379 markings/sec, 170 secs 1342817 edges, 7420 markings/sec, 175 secs 1379903 edges, 7371 markings/sec, 180 secs 1416944 edges, 7361 markings/sec, 185 secs 1454027 edges, 7371 markings/sec, 190 secs 1491062 edges, 7361 markings/sec, 195 secs 1528027 edges, 7347 markings/sec, 200 secs 1565296 edges, 7408 markings/sec, 205 secs 1602075 edges, 7310 markings/sec, 210 secs 1638004 edges, 7142 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) 40130 edges, 7333 markings/sec, 0 secs 80267 edges, 7279 markings/sec, 5 secs 119115 edges, 7197 markings/sec, 10 secs 157414 edges, 7250 markings/sec, 15 secs 195325 edges, 7166 markings/sec, 20 secs 233308 edges, 7188 markings/sec, 25 secs 271265 edges, 7183 markings/sec, 30 secs 309259 edges, 7182 markings/sec, 35 secs 347263 edges, 7192 markings/sec, 40 secs 385278 edges, 7194 markings/sec, 45 secs 423378 edges, 7203 markings/sec, 50 secs 461494 edges, 7214 markings/sec, 55 secs 499843 edges, 7252 markings/sec, 60 secs 538104 edges, 7243 markings/sec, 65 secs 576360 edges, 7234 markings/sec, 70 secs 614213 edges, 7162 markings/sec, 75 secs 652888 edges, 7201 markings/sec, 80 secs 693896 edges, 7343 markings/sec, 85 secs 753074 edges, 6720 markings/sec, 90 secs 805404 edges, 6931 markings/sec, 95 secs 855150 edges, 6728 markings/sec, 100 secs 896077 edges, 7242 markings/sec, 105 secs 934067 edges, 7189 markings/sec, 110 secs 972268 edges, 7223 markings/sec, 115 secs 1008852 edges, 6919 markings/sec, 120 secs 1046818 edges, 7177 markings/sec, 125 secs 1084676 edges, 7163 markings/sec, 130 secs 1122542 edges, 7164 markings/sec, 135 secs 1160320 edges, 7147 markings/sec, 140 secs 1198187 edges, 7157 markings/sec, 145 secs 1235989 edges, 7152 markings/sec, 150 secs 1273774 edges, 7149 markings/sec, 155 secs 1311873 edges, 7211 markings/sec, 160 secs 1349887 edges, 7186 markings/sec, 165 secs 1387827 edges, 7179 markings/sec, 170 secs 1425849 edges, 7195 markings/sec, 175 secs 1464545 edges, 7163 markings/sec, 180 secs 1503125 edges, 7306 markings/sec, 185 secs 1543689 edges, 7182 markings/sec, 190 secs 1596846 edges, 6957 markings/sec, 195 secs 1648529 edges, 6903 markings/sec, 200 secs 1701971 edges, 6938 markings/sec, 205 secs 1754840 edges, 6903 markings/sec, 210 secs 1806976 edges, 6903 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) 35293 edges, 6876 markings/sec, 0 secs 70112 edges, 6836 markings/sec, 5 secs 104521 edges, 6755 markings/sec, 10 secs 139984 edges, 6962 markings/sec, 15 secs 175447 edges, 6962 markings/sec, 20 secs 210983 edges, 6977 markings/sec, 25 secs 246548 edges, 6982 markings/sec, 30 secs 282170 edges, 6993 markings/sec, 35 secs 317786 edges, 6992 markings/sec, 40 secs 353338 edges, 6980 markings/sec, 45 secs 388737 edges, 6949 markings/sec, 50 secs 424298 edges, 6981 markings/sec, 55 secs 459797 edges, 6969 markings/sec, 60 secs 495235 edges, 6957 markings/sec, 65 secs 530633 edges, 6949 markings/sec, 70 secs 566077 edges, 6959 markings/sec, 75 secs 601659 edges, 6985 markings/sec, 80 secs 637429 edges, 7022 markings/sec, 85 secs 674555 edges, 6962 markings/sec, 90 secs 710022 edges, 6962 markings/sec, 95 secs 745096 edges, 6885 markings/sec, 100 secs 780303 edges, 6912 markings/sec, 105 secs 815100 edges, 6831 markings/sec, 110 secs 849226 edges, 6700 markings/sec, 115 secs 883775 edges, 6782 markings/sec, 120 secs 918277 edges, 6774 markings/sec, 125 secs 952849 edges, 6787 markings/sec, 130 secs 987368 edges, 6777 markings/sec, 135 secs 1021972 edges, 6794 markings/sec, 140 secs 1056604 edges, 6799 markings/sec, 145 secs 1091290 edges, 6810 markings/sec, 150 secs 1126015 edges, 6817 markings/sec, 155 secs 1160691 edges, 6807 markings/sec, 160 secs 1195694 edges, 6872 markings/sec, 165 secs 1230767 edges, 6885 markings/sec, 170 secs 1265692 edges, 6857 markings/sec, 175 secs 1300667 edges, 6866 markings/sec, 180 secs 1335384 edges, 6815 markings/sec, 185 secs 1369978 edges, 6792 markings/sec, 190 secs 1405275 edges, 6929 markings/sec, 195 secs 1440093 edges, 6836 markings/sec, 200 secs 1474335 edges, 6722 markings/sec, 205 secs 1508558 edges, 6719 markings/sec, 210 secs 1543048 edges, 6771 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) 151878 edges, 7118 markings/sec, 0 secs 322850 edges, 6625 markings/sec, 5 secs 504961 edges, 6614 markings/sec, 10 secs 694274 edges, 6510 markings/sec, 15 secs 901975 edges, 6197 markings/sec, 20 secs 1078683 edges, 6674 markings/sec, 25 secs 1266331 edges, 6121 markings/sec, 30 secs 1455405 edges, 5852 markings/sec, 35 secs 1659086 edges, 5960 markings/sec, 40 secs 1873595 edges, 5943 markings/sec, 45 secs 2068653 edges, 6488 markings/sec, 50 secs 2259768 edges, 6486 markings/sec, 55 secs 2462591 edges, 6219 markings/sec, 60 secs 2640375 edges, 6486 markings/sec, 65 secs 2825147 edges, 6007 markings/sec, 70 secs 3013052 edges, 6323 markings/sec, 75 secs 3199943 edges, 6425 markings/sec, 80 secs 3402708 edges, 6124 markings/sec, 85 secs 3544301 edges, 7383 markings/sec, 90 secs 3715920 edges, 6772 markings/sec, 95 secs 3905224 edges, 6433 markings/sec, 100 secs 4090999 edges, 6504 markings/sec, 105 secs 4288901 edges, 6193 markings/sec, 110 secs 4482792 edges, 6263 markings/sec, 115 secs 4671473 edges, 6240 markings/sec, 120 secs 4874630 edges, 5973 markings/sec, 125 secs 5072969 edges, 6096 markings/sec, 130 secs 5277818 edges, 5696 markings/sec, 135 secs 5501297 edges, 5448 markings/sec, 140 secs 5670036 edges, 6260 markings/sec, 145 secs 5857241 edges, 5886 markings/sec, 150 secs 6048136 edges, 5900 markings/sec, 155 secs 6227264 edges, 6045 markings/sec, 160 secs 6416158 edges, 5944 markings/sec, 165 secs 6604364 edges, 6090 markings/sec, 170 secs 6789492 edges, 6102 markings/sec, 175 secs 6987898 edges, 5863 markings/sec, 180 secs 7136699 edges, 6892 markings/sec, 185 secs 7301441 edges, 6581 markings/sec, 190 secs 7485740 edges, 6235 markings/sec, 195 secs 7661004 edges, 6355 markings/sec, 200 secs 7851375 edges, 5998 markings/sec, 205 secs 8041247 edges, 6041 markings/sec, 210 secs 8224841 edges, 6106 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) 46633 edges, 8993 markings/sec, 0 secs 95331 edges, 9036 markings/sec, 5 secs 144147 edges, 9037 markings/sec, 10 secs 193015 edges, 8991 markings/sec, 15 secs 241741 edges, 8910 markings/sec, 20 secs 290587 edges, 8894 markings/sec, 25 secs 339405 edges, 8844 markings/sec, 30 secs 388303 edges, 8860 markings/sec, 35 secs 436687 edges, 8735 markings/sec, 40 secs 486087 edges, 8889 markings/sec, 45 secs 535119 edges, 8770 markings/sec, 50 secs 585789 edges, 8824 markings/sec, 55 secs 633784 edges, 8699 markings/sec, 60 secs 683348 edges, 8664 markings/sec, 65 secs 732329 edges, 8617 markings/sec, 70 secs 782603 edges, 8523 markings/sec, 75 secs 843534 edges, 8349 markings/sec, 80 secs 900184 edges, 8365 markings/sec, 85 secs 961588 edges, 8267 markings/sec, 90 secs 1011540 edges, 8521 markings/sec, 95 secs 1058462 edges, 8545 markings/sec, 100 secs 1108076 edges, 8476 markings/sec, 105 secs 1157759 edges, 8531 markings/sec, 110 secs 1207578 edges, 8539 markings/sec, 115 secs 1260228 edges, 8482 markings/sec, 120 secs 1313382 edges, 8502 markings/sec, 125 secs 1359873 edges, 8542 markings/sec, 130 secs 1407837 edges, 8518 markings/sec, 135 secs 1455851 edges, 8575 markings/sec, 140 secs 1500997 edges, 8653 markings/sec, 145 secs 1548570 edges, 8604 markings/sec, 150 secs 1596922 edges, 8602 markings/sec, 155 secs 1645390 edges, 8451 markings/sec, 160 secs 1698009 edges, 8793 markings/sec, 165 secs 1748816 edges, 8779 markings/sec, 170 secs 1798007 edges, 8729 markings/sec, 175 secs 1848257 edges, 8613 markings/sec, 180 secs 1899706 edges, 8527 markings/sec, 185 secs 1954983 edges, 8730 markings/sec, 190 secs 2006061 edges, 8784 markings/sec, 195 secs 2065295 edges, 8441 markings/sec, 200 secs 2127243 edges, 8518 markings/sec, 205 secs 2193531 edges, 8348 markings/sec, 210 secs 2240500 edges, 8670 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 6 will run for 220 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) 60802 edges, 11168 markings/sec, 0 secs 123947 edges, 11303 markings/sec, 5 secs 186171 edges, 11172 markings/sec, 10 secs 248113 edges, 11326 markings/sec, 15 secs 311354 edges, 11306 markings/sec, 20 secs 374610 edges, 11325 markings/sec, 25 secs 436368 edges, 11341 markings/sec, 30 secs 497814 edges, 10983 markings/sec, 35 secs 560750 edges, 11246 markings/sec, 40 secs 622370 edges, 11329 markings/sec, 45 secs 685843 edges, 11352 markings/sec, 50 secs 776921 edges, 10684 markings/sec, 55 secs 840500 edges, 11299 markings/sec, 60 secs 903720 edges, 11302 markings/sec, 65 secs 966493 edges, 11263 markings/sec, 70 secs 1028380 edges, 11333 markings/sec, 75 secs 1091565 edges, 11295 markings/sec, 80 secs 1154718 edges, 11304 markings/sec, 85 secs 1216559 edges, 11357 markings/sec, 90 secs 1279214 edges, 11206 markings/sec, 95 secs 1342006 edges, 11231 markings/sec, 100 secs 1403675 edges, 11326 markings/sec, 105 secs 1467273 edges, 11377 markings/sec, 110 secs 1559294 edges, 10594 markings/sec, 115 secs 1621708 edges, 11344 markings/sec, 120 secs 1685108 edges, 11337 markings/sec, 125 secs 1748128 edges, 11278 markings/sec, 130 secs 1809905 edges, 11344 markings/sec, 135 secs 1873106 edges, 11314 markings/sec, 140 secs 1936377 edges, 11312 markings/sec, 145 secs 1998012 edges, 11317 markings/sec, 150 secs 2060632 edges, 11199 markings/sec, 155 secs 2123141 edges, 11177 markings/sec, 160 secs 2184630 edges, 11288 markings/sec, 165 secs 2247992 edges, 11346 markings/sec, 170 secs 2338404 edges, 10411 markings/sec, 175 secs 2400270 edges, 11116 markings/sec, 180 secs 2463497 edges, 11303 markings/sec, 185 secs 2527181 edges, 11397 markings/sec, 190 secs 2589328 edges, 11430 markings/sec, 195 secs 2652176 edges, 11228 markings/sec, 200 secs 2714192 edges, 11080 markings/sec, 205 secs 2774769 edges, 11123 markings/sec, 210 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) 156822 edges, 7316 markings/sec, 0 secs 335635 edges, 6841 markings/sec, 5 secs 518535 edges, 6741 markings/sec, 10 secs 710063 edges, 6499 markings/sec, 15 secs 917650 edges, 6394 markings/sec, 20 secs 1104649 edges, 6731 markings/sec, 25 secs 1304594 edges, 6461 markings/sec, 30 secs 1510691 edges, 6378 markings/sec, 35 secs 1722612 edges, 6232 markings/sec, 40 secs 1953954 edges, 5919 markings/sec, 45 secs 2132319 edges, 6820 markings/sec, 50 secs 2330451 edges, 6443 markings/sec, 55 secs 2524575 edges, 6510 markings/sec, 60 secs 2712688 edges, 6468 markings/sec, 65 secs 2918684 edges, 6183 markings/sec, 70 secs 3099117 edges, 6732 markings/sec, 75 secs 3295338 edges, 6409 markings/sec, 80 secs 3466664 edges, 6912 markings/sec, 85 secs 3630304 edges, 7013 markings/sec, 90 secs 3810221 edges, 6610 markings/sec, 95 secs 3997825 edges, 6495 markings/sec, 100 secs 4189951 edges, 6366 markings/sec, 105 secs 4402716 edges, 6055 markings/sec, 110 secs 4582875 edges, 6581 markings/sec, 115 secs 4781359 edges, 6224 markings/sec, 120 secs 4986324 edges, 6116 markings/sec, 125 secs 5197683 edges, 5972 markings/sec, 130 secs 5416837 edges, 5838 markings/sec, 135 secs 5614307 edges, 6275 markings/sec, 140 secs 5806260 edges, 6301 markings/sec, 145 secs 6015793 edges, 5992 markings/sec, 150 secs 6193186 edges, 6432 markings/sec, 155 secs 6389463 edges, 6141 markings/sec, 160 secs 6584862 edges, 6213 markings/sec, 165 secs 6775324 edges, 6289 markings/sec, 170 secs 6975011 edges, 6034 markings/sec, 175 secs 7130094 edges, 6995 markings/sec, 180 secs 7299818 edges, 6738 markings/sec, 185 secs 7488853 edges, 6442 markings/sec, 190 secs 7672499 edges, 6555 markings/sec, 195 secs 7872288 edges, 6290 markings/sec, 200 secs 8064790 edges, 6271 markings/sec, 205 secs 8253857 edges, 6295 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) 51140 edges, 6527 markings/sec, 0 secs 106791 edges, 6450 markings/sec, 5 secs 159147 edges, 6390 markings/sec, 10 secs 218368 edges, 6292 markings/sec, 15 secs 271741 edges, 6355 markings/sec, 20 secs 331601 edges, 6381 markings/sec, 25 secs 397706 edges, 6341 markings/sec, 30 secs 451051 edges, 6429 markings/sec, 35 secs 503532 edges, 6372 markings/sec, 40 secs 554934 edges, 6302 markings/sec, 45 secs 614398 edges, 6160 markings/sec, 50 secs 665550 edges, 6254 markings/sec, 55 secs 724115 edges, 6202 markings/sec, 60 secs 788144 edges, 6146 markings/sec, 65 secs 840473 edges, 6259 markings/sec, 70 secs 891509 edges, 6225 markings/sec, 75 secs 942229 edges, 6168 markings/sec, 80 secs 999088 edges, 6093 markings/sec, 85 secs 1051742 edges, 6128 markings/sec, 90 secs 1107457 edges, 6141 markings/sec, 95 secs 1172189 edges, 6060 markings/sec, 100 secs 1223003 edges, 6284 markings/sec, 105 secs 1274695 edges, 6228 markings/sec, 110 secs 1332400 edges, 6298 markings/sec, 115 secs 1398834 edges, 6163 markings/sec, 120 secs 1452475 edges, 6296 markings/sec, 125 secs 1508394 edges, 6177 markings/sec, 130 secs 1566971 edges, 6073 markings/sec, 135 secs 1622984 edges, 6217 markings/sec, 140 secs 1685840 edges, 6079 markings/sec, 145 secs 1749054 edges, 6095 markings/sec, 150 secs 1799449 edges, 6275 markings/sec, 155 secs 1852862 edges, 6204 markings/sec, 160 secs 1904878 edges, 6280 markings/sec, 165 secs 1957950 edges, 6202 markings/sec, 170 secs 2009041 edges, 6202 markings/sec, 175 secs 2059815 edges, 6159 markings/sec, 180 secs 2115941 edges, 6110 markings/sec, 185 secs 2176114 edges, 6087 markings/sec, 190 secs 2227743 edges, 6157 markings/sec, 195 secs 2280726 edges, 6148 markings/sec, 200 secs 2348697 edges, 5998 markings/sec, 205 secs 2405161 edges, 6083 markings/sec, 210 secs 2455392 edges, 6129 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) 40417 edges, 7371 markings/sec, 0 secs 80790 edges, 7311 markings/sec, 5 secs 119815 edges, 7265 markings/sec, 10 secs 158249 edges, 7269 markings/sec, 15 secs 196352 edges, 7211 markings/sec, 20 secs 234529 edges, 7218 markings/sec, 25 secs 272605 edges, 7206 markings/sec, 30 secs 310664 edges, 7203 markings/sec, 35 secs 348783 edges, 7207 markings/sec, 40 secs 386997 edges, 7233 markings/sec, 45 secs 425266 edges, 7236 markings/sec, 50 secs 463542 edges, 7246 markings/sec, 55 secs 502057 edges, 7285 markings/sec, 60 secs 540445 edges, 7262 markings/sec, 65 secs 578778 edges, 7255 markings/sec, 70 secs 617986 edges, 7264 markings/sec, 75 secs 656488 edges, 7291 markings/sec, 80 secs 699742 edges, 7332 markings/sec, 85 secs 759492 edges, 6918 markings/sec, 90 secs 812327 edges, 6988 markings/sec, 95 secs 861897 edges, 7124 markings/sec, 100 secs 902967 edges, 7270 markings/sec, 105 secs 941331 edges, 7263 markings/sec, 110 secs 979699 edges, 7256 markings/sec, 115 secs 1017761 edges, 7203 markings/sec, 120 secs 1055960 edges, 7223 markings/sec, 125 secs 1094115 edges, 7222 markings/sec, 130 secs 1132435 edges, 7247 markings/sec, 135 secs 1170982 edges, 7299 markings/sec, 140 secs 1209557 edges, 7297 markings/sec, 145 secs 1248384 edges, 7301 markings/sec, 150 secs 1287544 edges, 7305 markings/sec, 155 secs 1326453 edges, 7366 markings/sec, 160 secs 1365059 edges, 7303 markings/sec, 165 secs 1403783 edges, 7326 markings/sec, 170 secs 1442482 edges, 7322 markings/sec, 175 secs 1481434 edges, 7379 markings/sec, 180 secs 1520286 edges, 7352 markings/sec, 185 secs 1568229 edges, 7120 markings/sec, 190 secs 1621320 edges, 6993 markings/sec, 195 secs 1674224 edges, 6991 markings/sec, 200 secs 1727982 edges, 7007 markings/sec, 205 secs 1781399 edges, 6973 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) 153697 edges, 7185 markings/sec, 0 secs 329829 edges, 6794 markings/sec, 5 secs 513800 edges, 6715 markings/sec, 10 secs 704468 edges, 6523 markings/sec, 15 secs 910931 edges, 6300 markings/sec, 20 secs 1093324 edges, 6672 markings/sec, 25 secs 1280807 edges, 6120 markings/sec, 30 secs 1483271 edges, 6282 markings/sec, 35 secs 1691920 edges, 6133 markings/sec, 40 secs 1914677 edges, 5913 markings/sec, 45 secs 2099925 edges, 6605 markings/sec, 50 secs 2294324 edges, 6376 markings/sec, 55 secs 2491205 edges, 6345 markings/sec, 60 secs 2675276 edges, 6388 markings/sec, 65 secs 2868567 edges, 6227 markings/sec, 70 secs 3052378 edges, 6473 markings/sec, 75 secs 3240260 edges, 6343 markings/sec, 80 secs 3437203 edges, 6255 markings/sec, 85 secs 3575458 edges, 7306 markings/sec, 90 secs 3750690 edges, 6585 markings/sec, 95 secs 3937186 edges, 6459 markings/sec, 100 secs 4128161 edges, 6343 markings/sec, 105 secs 4327741 edges, 6198 markings/sec, 110 secs 4517614 edges, 6382 markings/sec, 115 secs 4709499 edges, 6263 markings/sec, 120 secs 4918063 edges, 5967 markings/sec, 125 secs 5116471 edges, 6102 markings/sec, 130 secs 5331352 edges, 5791 markings/sec, 135 secs 5542722 edges, 5950 markings/sec, 140 secs 5731870 edges, 6280 markings/sec, 145 secs 5927761 edges, 6137 markings/sec, 150 secs 6118408 edges, 6245 markings/sec, 155 secs 6306638 edges, 6223 markings/sec, 160 secs 6514143 edges, 5914 markings/sec, 165 secs 6692130 edges, 6482 markings/sec, 170 secs 6886430 edges, 6065 markings/sec, 175 secs 7062038 edges, 6415 markings/sec, 180 secs 7221394 edges, 6837 markings/sec, 185 secs 7396879 edges, 6511 markings/sec, 190 secs 7580040 edges, 6422 markings/sec, 195 secs 7769953 edges, 6283 markings/sec, 200 secs 7978558 edges, 5997 markings/sec, 205 secs 8154808 edges, 6505 markings/sec, 210 secs 8349784 edges, 6158 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) 126240 edges, 8918 markings/sec, 0 secs 238143 edges, 9179 markings/sec, 5 secs 372575 edges, 8571 markings/sec, 10 secs 483344 edges, 9066 markings/sec, 15 secs 609576 edges, 8718 markings/sec, 20 secs 739091 edges, 8566 markings/sec, 25 secs 857623 edges, 8789 markings/sec, 30 secs 970642 edges, 8894 markings/sec, 35 secs 1092794 edges, 8658 markings/sec, 40 secs 1229949 edges, 8362 markings/sec, 45 secs 1363189 edges, 8585 markings/sec, 50 secs 1460677 edges, 9226 markings/sec, 55 secs 1542422 edges, 9479 markings/sec, 60 secs 1625549 edges, 9448 markings/sec, 65 secs 1710787 edges, 9451 markings/sec, 70 secs 1793030 edges, 9472 markings/sec, 75 secs 1875937 edges, 9454 markings/sec, 80 secs 1963132 edges, 9393 markings/sec, 85 secs 2045324 edges, 9367 markings/sec, 90 secs 2127297 edges, 9285 markings/sec, 95 secs 2208379 edges, 9266 markings/sec, 100 secs 2293006 edges, 9226 markings/sec, 105 secs 2377432 edges, 9297 markings/sec, 110 secs 2488379 edges, 8851 markings/sec, 115 secs 2566376 edges, 9235 markings/sec, 120 secs 2649061 edges, 9148 markings/sec, 125 secs 2731836 edges, 9083 markings/sec, 130 secs 2816582 edges, 9106 markings/sec, 135 secs 2893298 edges, 9128 markings/sec, 140 secs 2972415 edges, 9136 markings/sec, 145 secs 3051679 edges, 9111 markings/sec, 150 secs 3136727 edges, 9010 markings/sec, 155 secs 3220518 edges, 9087 markings/sec, 160 secs 3320844 edges, 8818 markings/sec, 165 secs 3401532 edges, 9104 markings/sec, 170 secs 3481448 edges, 9171 markings/sec, 175 secs 3562231 edges, 9166 markings/sec, 180 secs 3640870 edges, 9106 markings/sec, 185 secs 3722750 edges, 9090 markings/sec, 190 secs 3804674 edges, 9117 markings/sec, 195 secs 3895669 edges, 8946 markings/sec, 200 secs 3973681 edges, 9101 markings/sec, 205 secs 4050870 edges, 9015 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) 50233 edges, 6426 markings/sec, 0 secs 106387 edges, 6471 markings/sec, 5 secs 158845 edges, 6429 markings/sec, 10 secs 218132 edges, 6313 markings/sec, 15 secs 271622 edges, 6361 markings/sec, 20 secs 331488 edges, 6381 markings/sec, 25 secs 397443 edges, 6333 markings/sec, 30 secs 450540 edges, 6392 markings/sec, 35 secs 502729 edges, 6361 markings/sec, 40 secs 554442 edges, 6275 markings/sec, 45 secs 613794 edges, 6186 markings/sec, 50 secs 665227 edges, 6273 markings/sec, 55 secs 723783 edges, 6219 markings/sec, 60 secs 787912 edges, 6154 markings/sec, 65 secs 840377 edges, 6272 markings/sec, 70 secs 891629 edges, 6251 markings/sec, 75 secs 942494 edges, 6195 markings/sec, 80 secs 999423 edges, 6102 markings/sec, 85 secs 1052071 edges, 6132 markings/sec, 90 secs 1107748 edges, 6131 markings/sec, 95 secs 1172519 edges, 6052 markings/sec, 100 secs 1223366 edges, 6290 markings/sec, 105 secs 1275174 edges, 6226 markings/sec, 110 secs 1332803 edges, 6304 markings/sec, 115 secs 1399178 edges, 6163 markings/sec, 120 secs 1452805 edges, 6317 markings/sec, 125 secs 1509561 edges, 6216 markings/sec, 130 secs 1568104 edges, 6116 markings/sec, 135 secs 1625142 edges, 6261 markings/sec, 140 secs 1688475 edges, 6118 markings/sec, 145 secs 1752471 edges, 6147 markings/sec, 150 secs 1802838 edges, 6305 markings/sec, 155 secs 1856800 edges, 6235 markings/sec, 160 secs 1907433 edges, 6337 markings/sec, 165 secs 1961120 edges, 6211 markings/sec, 170 secs 2012215 edges, 6222 markings/sec, 175 secs 2063103 edges, 6182 markings/sec, 180 secs 2121783 edges, 6113 markings/sec, 185 secs 2179886 edges, 6153 markings/sec, 190 secs 2231571 edges, 6192 markings/sec, 195 secs 2285168 edges, 6183 markings/sec, 200 secs 2356758 edges, 6001 markings/sec, 205 secs 2410467 edges, 6161 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) 62413 edges, 11471 markings/sec, 0 secs 126502 edges, 11474 markings/sec, 5 secs 190417 edges, 11439 markings/sec, 10 secs 253036 edges, 11511 markings/sec, 15 secs 317045 edges, 11458 markings/sec, 20 secs 380961 edges, 11440 markings/sec, 25 secs 443217 edges, 11439 markings/sec, 30 secs 506729 edges, 11375 markings/sec, 35 secs 570245 edges, 11360 markings/sec, 40 secs 632989 edges, 11387 markings/sec, 45 secs 696288 edges, 11467 markings/sec, 50 secs 789804 edges, 10747 markings/sec, 55 secs 852335 edges, 11407 markings/sec, 60 secs 915520 edges, 11382 markings/sec, 65 secs 978658 edges, 11301 markings/sec, 70 secs 1042099 edges, 11346 markings/sec, 75 secs 1104117 edges, 11392 markings/sec, 80 secs 1167295 edges, 11309 markings/sec, 85 secs 1230260 edges, 11251 markings/sec, 90 secs 1291294 edges, 11214 markings/sec, 95 secs 1353872 edges, 11191 markings/sec, 100 secs 1416712 edges, 11238 markings/sec, 105 secs 1478251 edges, 11302 markings/sec, 110 secs 1570488 edges, 10511 markings/sec, 115 secs 1632407 edges, 11293 markings/sec, 120 secs 1695102 edges, 11293 markings/sec, 125 secs 1758061 edges, 11250 markings/sec, 130 secs 1820647 edges, 11292 markings/sec, 135 secs 1882831 edges, 11325 markings/sec, 140 secs 1946307 edges, 11352 markings/sec, 145 secs 2009489 edges, 11310 markings/sec, 150 secs 2071119 edges, 11316 markings/sec, 155 secs 2134077 edges, 11266 markings/sec, 160 secs 2197406 edges, 11323 markings/sec, 165 secs 2259445 edges, 11397 markings/sec, 170 secs 2352521 edges, 10676 markings/sec, 175 secs 2416421 edges, 11436 markings/sec, 180 secs 2478829 edges, 11469 markings/sec, 185 secs 2542514 edges, 11394 markings/sec, 190 secs 2606317 edges, 11417 markings/sec, 195 secs 2668600 edges, 11445 markings/sec, 200 secs 2732387 edges, 11414 markings/sec, 205 secs 2796085 edges, 11396 markings/sec, 210 secs 2857659 edges, 11320 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) 35313 edges, 6880 markings/sec, 0 secs 70870 edges, 6980 markings/sec, 5 secs 106389 edges, 6974 markings/sec, 10 secs 141792 edges, 6950 markings/sec, 15 secs 177196 edges, 6951 markings/sec, 20 secs 212718 edges, 6974 markings/sec, 25 secs 248174 edges, 6960 markings/sec, 30 secs 283500 edges, 6935 markings/sec, 35 secs 318903 edges, 6950 markings/sec, 40 secs 354314 edges, 6952 markings/sec, 45 secs 389683 edges, 6944 markings/sec, 50 secs 425070 edges, 6947 markings/sec, 55 secs 460436 edges, 6943 markings/sec, 60 secs 495924 edges, 6967 markings/sec, 65 secs 531401 edges, 6965 markings/sec, 70 secs 566898 edges, 6969 markings/sec, 75 secs 602394 edges, 6969 markings/sec, 80 secs 637896 edges, 6970 markings/sec, 85 secs 674843 edges, 6927 markings/sec, 90 secs 710136 edges, 6928 markings/sec, 95 secs 745485 edges, 6940 markings/sec, 100 secs 780811 edges, 6935 markings/sec, 105 secs 815886 edges, 6886 markings/sec, 110 secs 850752 edges, 6845 markings/sec, 115 secs 885638 edges, 6849 markings/sec, 120 secs 920531 edges, 6850 markings/sec, 125 secs 955421 edges, 6849 markings/sec, 130 secs 990333 edges, 6854 markings/sec, 135 secs 1025307 edges, 6866 markings/sec, 140 secs 1060302 edges, 6870 markings/sec, 145 secs 1095348 edges, 6880 markings/sec, 150 secs 1130439 edges, 6889 markings/sec, 155 secs 1165665 edges, 6916 markings/sec, 160 secs 1200818 edges, 6901 markings/sec, 165 secs 1235978 edges, 6903 markings/sec, 170 secs 1271148 edges, 6905 markings/sec, 175 secs 1306323 edges, 6906 markings/sec, 180 secs 1341577 edges, 6921 markings/sec, 185 secs 1376788 edges, 6913 markings/sec, 190 secs 1412085 edges, 6929 markings/sec, 195 secs 1447458 edges, 6945 markings/sec, 200 secs 1482929 edges, 6963 markings/sec, 205 secs 1518193 edges, 6923 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) 154777 edges, 7234 markings/sec, 0 secs 332917 edges, 6835 markings/sec, 5 secs 517462 edges, 6785 markings/sec, 10 secs 710557 edges, 6555 markings/sec, 15 secs 917125 edges, 6362 markings/sec, 20 secs 1102007 edges, 6669 markings/sec, 25 secs 1298805 edges, 6389 markings/sec, 30 secs 1503872 edges, 6334 markings/sec, 35 secs 1713728 edges, 6166 markings/sec, 40 secs 1941198 edges, 5918 markings/sec, 45 secs 2122180 edges, 6731 markings/sec, 50 secs 2318534 edges, 6409 markings/sec, 55 secs 2512373 edges, 6454 markings/sec, 60 secs 2699688 edges, 6454 markings/sec, 65 secs 2901286 edges, 6191 markings/sec, 70 secs 3082126 edges, 6624 markings/sec, 75 secs 3275715 edges, 6330 markings/sec, 80 secs 3456283 edges, 6606 markings/sec, 85 secs 3606545 edges, 7107 markings/sec, 90 secs 3784939 edges, 6607 markings/sec, 95 secs 3970497 edges, 6503 markings/sec, 100 secs 4161963 edges, 6320 markings/sec, 105 secs 4369994 edges, 6090 markings/sec, 110 secs 4553519 edges, 6493 markings/sec, 115 secs 4749778 edges, 6197 markings/sec, 120 secs 4955289 edges, 6089 markings/sec, 125 secs 5162571 edges, 6005 markings/sec, 130 secs 5377226 edges, 5847 markings/sec, 135 secs 5580863 edges, 6113 markings/sec, 140 secs 5771681 edges, 6307 markings/sec, 145 secs 5977780 edges, 6053 markings/sec, 150 secs 6159457 edges, 6401 markings/sec, 155 secs 6352352 edges, 6122 markings/sec, 160 secs 6552780 edges, 6090 markings/sec, 165 secs 6739596 edges, 6323 markings/sec, 170 secs 6935604 edges, 6134 markings/sec, 175 secs 7099613 edges, 6801 markings/sec, 180 secs 7268345 edges, 6769 markings/sec, 185 secs 7453564 edges, 6460 markings/sec, 190 secs 7633658 edges, 6562 markings/sec, 195 secs 7830921 edges, 6236 markings/sec, 200 secs 8030943 edges, 6257 markings/sec, 205 secs 8220523 edges, 6355 markings/sec, 210 secs 8418075 edges, 6192 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="S_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/S_DatabaseWithMutex-PT-20.tgz
mv S_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 S_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 r098-ebro-149488455600182"
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 ;