MCC'2017 - Execution of r048-smll-149440869500074

About the Execution of LoLA for Peterson-PT-6

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
741.330	3539138.00	3545721.00	13684.20	? ? ? 6 ? ? 6 ? ? ? ? ? ? 6 ? ?	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-3254
Executing tool lola
Input is Peterson-PT-6,
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 Peterson-COL-6-
FORMULA_NAME Peterson-COL-6-
FORMULA_NAME Peterson-COL-6-
FORMULA_NAME Peterson-COL-6-
FORMULA_NAME Peterson-COL-6-
FORMULA_NAME Peterson-COL-6-
FORMULA_NAME Peterson-COL-6-
FORMULA_NAME Peterson-COL-6-
FORMULA_NAME Peterson-COL-6-
FORMULA_NAME Peterson-COL-6-
FORMULA_NAME Peterson-COL-6-
FORMULA_NAME Peterson-COL-6-
FORMULA_NAME Peterson-COL-6-
FORMULA_NAME Peterson-COL-6-
FORMULA_NAME Peterson-COL-6-
FORMULA_NAME Peterson-COL-6-

=== Now, execution

BK_START 1494506993970

Time: 3600 - MCC
----- Start make prepare
checking for too many tokens
----- Start make result
UpperBounds @ Peterson-PT-6
----- Start make result
lola: LoLA will run
lola: NET
lola: reading net
lola: finished parsing
lola: closed net
lola: 3360/65536
lola: preprocessing...
lola: finding significant
lola: 1330 places,
lola: computing forward-conflicting
lola: computing back-conflicting
lola: 3129 transition
lola: TASK
lola: reading formula
lola: MAX(AskForSection_5_0
lola: computing a
lola: RUNNING
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 164
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 49776 markings,
lola: 98653 markings,
lola: 146945 markings,
lola: 193789 markings,
lola: 241984 markings,
lola: 289791 markings,
lola: 334879 markings,
lola: 382097 markings,
lola: 428949 markings,
lola: 474225 markings,
lola: 518589 markings,
lola: 561340 markings,
lola: 603926 markings,
lola: 645221 markings,
lola: 686511 markings,
lola: 728064 markings,
lola: 769339 markings,
lola: 810571 markings,
lola: 851050 markings,
lola: 892275 markings,
lola: 933200 markings,
lola: 974591 markings,
lola: 1016165 markings,
lola: 1057687 markings,
lola: 1099249 markings,
lola: 1140868 markings,
lola: 1182377 markings,
lola: 1223615 markings,
lola: 1264783 markings,
lola: 1307311 markings,
lola: 1349596 markings,
lola: 1391859 markings,
lola: 1433214 markings,
lola: 1475217 markings,
lola: 1517790 markings,
lola: 1559754 markings,
lola: 1601702 markings,
lola: 1642915 markings,
lola: 1684017 markings,
lola: 1726332 markings,
lola: 1768685 markings,
lola: 1810825 markings,
lola: 1852249 markings,
lola: 1893523 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 164
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 53267 markings,
lola: 105808 markings,
lola: 158200 markings,
lola: 210157 markings,
lola: 261965 markings,
lola: 313530 markings,
lola: 365015 markings,
lola: 416302 markings,
lola: 467408 markings,
lola: 518409 markings,
lola: 569207 markings,
lola: 619796 markings,
lola: 670325 markings,
lola: 720715 markings,
lola: 770948 markings,
lola: 821099 markings,
lola: 871035 markings,
lola: 920994 markings,
lola: 970735 markings,
lola: 1020337 markings,
lola: 1070092 markings,
lola: 1119475 markings,
lola: 1167898 markings,
lola: 1217210 markings,
lola: 1261156 markings,
lola: 1305141 markings,
lola: 1348890 markings,
lola: 1392641 markings,
lola: 1436571 markings,
lola: 1481017 markings,
lola: 1525037 markings,
lola: 1569375 markings,
lola: 1613369 markings,
lola: 1657053 markings,
lola: 1701440 markings,
lola: 1745237 markings,
lola: 1789073 markings,
lola: 1832664 markings,
lola: 1876506 markings,
lola: 1920624 markings,
lola: 1964449 markings,
lola: 2008962 markings,
lola: 2052637 markings,
lola: 2095682 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 164
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 35276 markings,
lola: 84549 markings,
lola: 132652 markings,
lola: 182176 markings,
lola: 231366 markings,
lola: 280070 markings,
lola: 327237 markings,
lola: 375880 markings,
lola: 424135 markings,
lola: 471506 markings,
lola: 518439 markings,
lola: 563691 markings,
lola: 608715 markings,
lola: 653741 markings,
lola: 698632 markings,
lola: 741702 markings,
lola: 785774 markings,
lola: 830442 markings,
lola: 875697 markings,
lola: 920724 markings,
lola: 965510 markings,
lola: 1010131 markings,
lola: 1055305 markings,
lola: 1099841 markings,
lola: 1145165 markings,
lola: 1190058 markings,
lola: 1233264 markings,
lola: 1277467 markings,
lola: 1321768 markings,
lola: 1365570 markings,
lola: 1408952 markings,
lola: 1453508 markings,
lola: 1497820 markings,
lola: 1541877 markings,
lola: 1585859 markings,
lola: 1630354 markings,
lola: 1674877 markings,
lola: 1718755 markings,
lola: 1762267 markings,
lola: 1805893 markings,
lola: 1850272 markings,
lola: 1894518 markings,
lola: 1937207 markings,
lola: 1979463 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 164
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 49347 markings,
lola: 97921 markings,
lola: 146141 markings,
lola: 194206 markings,
lola: 241979 markings,
lola: 289620 markings,
lola: 337062 markings,
lola: 384132 markings,
lola: 431007 markings,
lola: 477627 markings,
lola: 522916 markings,
lola: 568932 markings,
lola: 610598 markings,
lola: 652612 markings,
lola: 694708 markings,
lola: 736266 markings,
lola: 778191 markings,
lola: 819749 markings,
lola: 861619 markings,
lola: 903340 markings,
lola: 945077 markings,
lola: 986577 markings,
lola: 1027055 markings,
lola: 1066614 markings,
lola: 1106262 markings,
lola: 1146578 markings,
lola: 1186032 markings,
lola: 1225290 markings,
lola: 1264981 markings,
lola: 1303978 markings,
lola: 1342248 markings,
lola: 1380653 markings,
lola: 1419569 markings,
lola: 1458359 markings,
lola: 1496993 markings,
lola: 1536455 markings,
lola: 1576414 markings,
lola: 1615241 markings,
lola: 1653964 markings,
lola: 1692859 markings,
lola: 1731249 markings,
lola: 1769155 markings,
lola: 1807392 markings,
lola: 1845783 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 164
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 47531 markings,
lola: 94639 markings,
lola: 141415 markings,
lola: 187981 markings,
lola: 234413 markings,
lola: 280622 markings,
lola: 326663 markings,
lola: 372694 markings,
lola: 418490 markings,
lola: 464237 markings,
lola: 509877 markings,
lola: 555419 markings,
lola: 598793 markings,
lola: 639188 markings,
lola: 679119 markings,
lola: 719092 markings,
lola: 758816 markings,
lola: 799185 markings,
lola: 839429 markings,
lola: 879594 markings,
lola: 919461 markings,
lola: 959524 markings,
lola: 999248 markings,
lola: 1039279 markings,
lola: 1079070 markings,
lola: 1118807 markings,
lola: 1158143 markings,
lola: 1198685 markings,
lola: 1238757 markings,
lola: 1278903 markings,
lola: 1318260 markings,
lola: 1358023 markings,
lola: 1397788 markings,
lola: 1438194 markings,
lola: 1478142 markings,
lola: 1518047 markings,
lola: 1557335 markings,
lola: 1596411 markings,
lola: 1636447 markings,
lola: 1676029 markings,
lola: 1715738 markings,
lola: 1755653 markings,
lola: 1795748 markings,
lola: 1835337 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 164
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 52422 markings,
lola: 104140 markings,
lola: 155670 markings,
lola: 206766 markings,
lola: 257702 markings,
lola: 308475 markings,
lola: 359057 markings,
lola: 409458 markings,
lola: 459682 markings,
lola: 509814 markings,
lola: 559765 markings,
lola: 609550 markings,
lola: 659191 markings,
lola: 708868 markings,
lola: 758226 markings,
lola: 807621 markings,
lola: 856836 markings,
lola: 905904 markings,
lola: 955029 markings,
lola: 1003993 markings,
lola: 1052951 markings,
lola: 1101686 markings,
lola: 1150167 markings,
lola: 1197989 markings,
lola: 1243357 markings,
lola: 1286724 markings,
lola: 1329755 markings,
lola: 1373020 markings,
lola: 1416201 markings,
lola: 1459707 markings,
lola: 1503479 markings,
lola: 1546677 markings,
lola: 1590512 markings,
lola: 1633654 markings,
lola: 1677136 markings,
lola: 1720488 markings,
lola: 1763347 markings,
lola: 1806528 markings,
lola: 1850038 markings,
lola: 1893149 markings,
lola: 1936887 markings,
lola: 1981156 markings,
lola: 2024641 markings,
lola: 2067314 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 164
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 56076 markings,
lola: 109404 markings,
lola: 162637 markings,
lola: 217230 markings,
lola: 271884 markings,
lola: 326118 markings,
lola: 380244 markings,
lola: 432447 markings,
lola: 480212 markings,
lola: 527702 markings,
lola: 574469 markings,
lola: 621009 markings,
lola: 668457 markings,
lola: 716362 markings,
lola: 763858 markings,
lola: 810419 markings,
lola: 857455 markings,
lola: 904688 markings,
lola: 951902 markings,
lola: 998640 markings,
lola: 1045285 markings,
lola: 1093456 markings,
lola: 1140376 markings,
lola: 1187748 markings,
lola: 1234527 markings,
lola: 1282934 markings,
lola: 1330392 markings,
lola: 1377760 markings,
lola: 1424268 markings,
lola: 1471698 markings,
lola: 1519477 markings,
lola: 1566593 markings,
lola: 1614050 markings,
lola: 1661357 markings,
lola: 1707785 markings,
lola: 1755362 markings,
lola: 1802701 markings,
lola: 1850099 markings,
lola: 1896395 markings,
lola: 1943717 markings,
lola: 1990799 markings,
lola: 2037485 markings,
lola: 2083878 markings,
lola: 2130284 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 164
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum
lola: ======================
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 164
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 56830 markings,
lola: 112655 markings,
lola: 168071 markings,
lola: 222988 markings,
lola: 276334 markings,
lola: 329445 markings,
lola: 383195 markings,
lola: 436458 markings,
lola: 486552 markings,
lola: 536865 markings,
lola: 587362 markings,
lola: 637141 markings,
lola: 687157 markings,
lola: 736215 markings,
lola: 784581 markings,
lola: 833843 markings,
lola: 884363 markings,
lola: 934470 markings,
lola: 984040 markings,
lola: 1033993 markings,
lola: 1081940 markings,
lola: 1131085 markings,
lola: 1180684 markings,
lola: 1229621 markings,
lola: 1278842 markings,
lola: 1326975 markings,
lola: 1375119 markings,
lola: 1425515 markings,
lola: 1475004 markings,
lola: 1523742 markings,
lola: 1572997 markings,
lola: 1622504 markings,
lola: 1672074 markings,
lola: 1721735 markings,
lola: 1769819 markings,
lola: 1819359 markings,
lola: 1869533 markings,
lola: 1918900 markings,
lola: 1966527 markings,
lola: 2013848 markings,
lola: 2062864 markings,
lola: 2110648 markings,
lola: 2158475 markings,
lola: 2206755 markings,
lola: 2254603 markings,
lola: 2302819 markings,
lola: 2351389 markings,
lola: 2398990 markings,
lola: 2446617 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 164
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 53686 markings,
lola: 106224 markings,
lola: 158222 markings,
lola: 209933 markings,
lola: 261169 markings,
lola: 310993 markings,
lola: 361392 markings,
lola: 412115 markings,
lola: 462046 markings,
lola: 511151 markings,
lola: 558216 markings,
lola: 605068 markings,
lola: 651920 markings,
lola: 698706 markings,
lola: 743480 markings,
lola: 789462 markings,
lola: 836160 markings,
lola: 883266 markings,
lola: 930052 markings,
lola: 976984 markings,
lola: 1023971 markings,
lola: 1070658 markings,
lola: 1117467 markings,
lola: 1164281 markings,
lola: 1210866 markings,
lola: 1256163 markings,
lola: 1302600 markings,
lola: 1348585 markings,
lola: 1393087 markings,
lola: 1439571 markings,
lola: 1486035 markings,
lola: 1532171 markings,
lola: 1578155 markings,
lola: 1624450 markings,
lola: 1670684 markings,
lola: 1716478 markings,
lola: 1761838 markings,
lola: 1807223 markings,
lola: 1853489 markings,
lola: 1899561 markings,
lola: 1943989 markings,
lola: 1988300 markings,
lola: 2034061 markings,
lola: 2079923 markings,
lola: 2125562 markings,
lola: 2171223 markings,
lola: 2219257 markings,
lola: 2266176 markings,
lola: 2311982 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 164
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 52386 markings,
lola: 103830 markings,
lola: 154795 markings,
lola: 205138 markings,
lola: 255321 markings,
lola: 303254 markings,
lola: 353049 markings,
lola: 402318 markings,
lola: 450203 markings,
lola: 499569 markings,
lola: 546018 markings,
lola: 592219 markings,
lola: 637791 markings,
lola: 683703 markings,
lola: 729231 markings,
lola: 775438 markings,
lola: 822002 markings,
lola: 867661 markings,
lola: 913029 markings,
lola: 958453 markings,
lola: 1003939 markings,
lola: 1047749 markings,
lola: 1091789 markings,
lola: 1136563 markings,
lola: 1182812 markings,
lola: 1228456 markings,
lola: 1274537 markings,
lola: 1319623 markings,
lola: 1365526 markings,
lola: 1411810 markings,
lola: 1457148 markings,
lola: 1502425 markings,
lola: 1548415 markings,
lola: 1593139 markings,
lola: 1638057 markings,
lola: 1680920 markings,
lola: 1724553 markings,
lola: 1770084 markings,
lola: 1815016 markings,
lola: 1858658 markings,
lola: 1901935 markings,
lola: 1945822 markings,
lola: 1990735 markings,
lola: 2035330 markings,
lola: 2079837 markings,
lola: 2124401 markings,
lola: 2168801 markings,
lola: 2215608 markings,
lola: 2261489 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 164
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum
lola: ======================
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 164
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 56850 markings,
lola: 112497 markings,
lola: 167591 markings,
lola: 222308 markings,
lola: 275739 markings,
lola: 328627 markings,
lola: 382255 markings,
lola: 435432 markings,
lola: 485569 markings,
lola: 535741 markings,
lola: 586146 markings,
lola: 635526 markings,
lola: 685419 markings,
lola: 734349 markings,
lola: 782559 markings,
lola: 831686 markings,
lola: 881915 markings,
lola: 931583 markings,
lola: 980836 markings,
lola: 1030321 markings,
lola: 1078076 markings,
lola: 1126795 markings,
lola: 1176207 markings,
lola: 1224524 markings,
lola: 1273831 markings,
lola: 1321343 markings,
lola: 1369127 markings,
lola: 1419056 markings,
lola: 1468339 markings,
lola: 1516566 markings,
lola: 1565885 markings,
lola: 1614991 markings,
lola: 1663960 markings,
lola: 1713078 markings,
lola: 1760657 markings,
lola: 1809496 markings,
lola: 1859352 markings,
lola: 1908205 markings,
lola: 1956235 markings,
lola: 2003095 markings,
lola: 2051807 markings,
lola: 2099289 markings,
lola: 2146767 markings,
lola: 2194609 markings,
lola: 2242575 markings,
lola: 2289917 markings,
lola: 2338699 markings,
lola: 2385726 markings,
lola: 2433285 markings,
lola: 2479765 markings,
lola: 2527111 markings,
lola: 2576041 markings,
lola: 2625082 markings,
lola: 2674180 markings,
lola: 2723689 markings,
lola: 2772147 markings,
lola: 2821699 markings,
lola: 2870741 markings,
lola: 2918406 markings,
lola: 2967228 markings,
lola: 3015680 markings,
lola: 3063436 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 164
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 34906 markings,
lola: 69400 markings,
lola: 103595 markings,
lola: 137594 markings,
lola: 171596 markings,
lola: 205453 markings,
lola: 238882 markings,
lola: 272298 markings,
lola: 305713 markings,
lola: 338866 markings,
lola: 371790 markings,
lola: 404612 markings,
lola: 437289 markings,
lola: 469639 markings,
lola: 501669 markings,
lola: 532658 markings,
lola: 564725 markings,
lola: 593108 markings,
lola: 620905 markings,
lola: 648944 markings,
lola: 676532 markings,
lola: 704762 markings,
lola: 732008 markings,
lola: 759809 markings,
lola: 787642 markings,
lola: 815362 markings,
lola: 843274 markings,
lola: 871311 markings,
lola: 898885 markings,
lola: 927037 markings,
lola: 954852 markings,
lola: 983020 markings,
lola: 1010156 markings,
lola: 1037987 markings,
lola: 1065878 markings,
lola: 1093689 markings,
lola: 1120907 markings,
lola: 1148297 markings,
lola: 1176403 markings,
lola: 1203831 markings,
lola: 1231167 markings,
lola: 1259020 markings,
lola: 1286434 markings,
lola: 1313162 markings,
lola: 1339367 markings,
lola: 1377234 markings,
lola: 1417448 markings,
lola: 1457980 markings,
lola: 1497625 markings,
lola: 1537650 markings,
lola: 1578963 markings,
lola: 1619669 markings,
lola: 1658880 markings,
lola: 1698276 markings,
lola: 1738243 markings,
lola: 1777984 markings,
lola: 1817228 markings,
lola: 1858016 markings,
lola: 1897476 markings,
lola: 1936856 markings,
lola: 1976969 markings,
lola: 2016152 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 164
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum
lola: ======================
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 164
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 51229 markings,
lola: 101313 markings,
lola: 150920 markings,
lola: 200292 markings,
lola: 249200 markings,
lola: 297126 markings,
lola: 345086 markings,
lola: 393498 markings,
lola: 441689 markings,
lola: 489077 markings,
lola: 534713 markings,
lola: 579953 markings,
lola: 624756 markings,
lola: 669715 markings,
lola: 713786 markings,
lola: 757315 markings,
lola: 800878 markings,
lola: 845775 markings,
lola: 891093 markings,
lola: 935950 markings,
lola: 980707 markings,
lola: 1025610 markings,
lola: 1070368 markings,
lola: 1115190 markings,
lola: 1160165 markings,
lola: 1204861 markings,
lola: 1247977 markings,
lola: 1292159 markings,
lola: 1336246 markings,
lola: 1379124 markings,
lola: 1423200 markings,
lola: 1467710 markings,
lola: 1511653 markings,
lola: 1555341 markings,
lola: 1599155 markings,
lola: 1643464 markings,
lola: 1687650 markings,
lola: 1731661 markings,
lola: 1773949 markings,
lola: 1815555 markings,
lola: 1857997 markings,
lola: 1900580 markings,
lola: 1941542 markings,
lola: 1982247 markings,
lola: 2024406 markings,
lola: 2066797 markings,
lola: 2108421 markings,
lola: 2150820 markings,
lola: 2193614 markings,
lola: 2237697 markings,
lola: 2280708 markings,
lola: 2323238 markings,
lola: 2366014 markings,
lola: 2407739 markings,
lola: 2450359 markings,
lola: 2492973 markings,
lola: 2534718 markings,
lola: 2574790 markings,
lola: 2615353 markings,
lola: 2657645 markings,
lola: 2699794 markings,
lola: 2741315 markings,
lola: 2783776 markings,
lola: 2824921 markings,
lola: 2864555 markings,
lola: 2904061 markings,
lola: 2944511 markings,
lola: 2985101 markings,
lola: 3025803 markings,
lola: 3066128 markings,
lola: 3106357 markings,
lola: 3146889 markings,
lola: 3187518 markings,
lola: 3228446 markings,
lola: 3269091 markings,
lola: 3309892 markings,
lola: 3350448 markings,
lola: 3392309 markings,
lola: 3435408 markings,
lola: 3477382 markings,
lola: 3519077 markings,
lola: 3561777 markings,
lola: 3603930 markings,
lola: 3644644 markings,
lola: 3686668 markings,
lola: 3728980 markings,
lola: 3771243 markings,
lola: 3813797 markings,
lola: 3857385 markings,
lola: 3899567 markings,
lola: 3941849 markings,
lola: 3984607 markings,
lola: 4027860 markings,
lola: 4070392 markings,
lola: 4113893 markings,
lola: 4158007 markings,
lola: 4202017 markings,
lola: 4246408 markings,
lola: 4291737 markings,
lola: 4335644 markings,
lola: 4379259 markings,
lola: 4423689 markings,
lola: 4467458 markings,
lola: 4509719 markings,
lola: 4554226 markings,
lola: 4598551 markings,
lola: 4643183 markings,
lola: 4686952 markings,
lola: 4729134 markings,
lola: 4773191 markings,
lola: 4817273 markings,
lola: 4861317 markings,
lola: 4905903 markings,
lola: 4950019 markings,
lola: 4993572 markings,
lola: 5035972 markings,
lola: 5079054 markings,
lola: 5122514 markings,
lola: 5164510 markings,
lola: 5206986 markings,
lola: 5249488 markings,
lola: 5292089 markings,
lola: 5335292 markings,
lola: 5378824 markings,
lola: time limit
lola:
preliminary result:
lola: caught signal
FORMULA Peterson-COL-6-UpperBounds-0
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
FORMULA Peterson-COL-
----- Kill lola
----- Finished stdout -----

BK_STOP 1494510533108

--------------------
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 r048-smll-149440869500074 ========================================= generated by BenchKit (invocation template) is a vector of positive values to build the result vector(from text file) UpperBounds-0 UpperBounds-1 UpperBounds-10 UpperBounds-11 UpperBounds-12 UpperBounds-13 UpperBounds-14 UpperBounds-15 UpperBounds-2 UpperBounds-3 UpperBounds-4 UpperBounds-5 UpperBounds-6 UpperBounds-7 UpperBounds-8 UpperBounds-9 of the tool begins stdout ----- stdout ----- @ 3539 seconds stdout ----- for 3539 seconds at most (--timelimit) from model.pnml.lola file model.pnml.lola symbol table entries, 1 collisions places 2030 transitions, 1303 significant places sets sets conflict sets from Peterson-COL-6-UpperBounds.task + AskForSection_5_1 + AskForSection_5_2 + AskForSection_5_3 + AskForSection_5_4 + AskForSection_5_5 + AskForSection_6_0 + AskForSection_6_1 + AskForSection_6_2 + AskForSection_6_3 + AskForSection_6_4 + AskForSection_6_5 + AskForSection_0_0 + AskForSection_0_1 + AskForSection_0_2 + AskForSection_0_3 + AskForSection_0_4 + AskForSection_0_5 + AskForSection_1_0 + AskForSection_1_1 + AskForSection_1_2 + AskForSection_1_3 + AskForSection_1_4 + AskForSection_1_5 + AskForSection_2_0 + AskForSection_2_1 + AskForSection_2_2 + AskForSection_2_3 + AskForSection_2_4 + AskForSection_2_5 + AskForSection_3_0 + AskForSection_3_1 + AskForSection_3_2 + AskForSection_3_3 + AskForSection_3_4 + AskForSection_3_5 + AskForSection_4_0 + AskForSection_4_1 + AskForSection_4_2 + AskForSection_4_3 + AskForSection_4_4 + AskForSection_4_5) : MAX(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_0_5 + TestIdentity_1_0_6 + TestIdentity_3_4_5 + TestIdentity_6_3_0 + TestIdentity_6_3_1 + TestIdentity_6_3_2 + TestIdentity_6_3_3 + TestIdentity_6_3_4 + TestIdentity_6_3_5 + TestIdentity_6_3_6 + TestIdentity_3_5_0 + TestIdentity_3_5_1 + TestIdentity_3_5_2 + TestIdentity_3_5_3 + TestIdentity_3_5_4 + TestIdentity_3_5_5 + TestIdentity_3_5_6 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_1_1_5 + TestIdentity_1_1_6 + TestIdentity_3_4_4 + TestIdentity_6_4_0 + TestIdentity_6_4_1 + TestIdentity_6_4_2 + TestIdentity_6_4_3 + TestIdentity_6_4_4 + TestIdentity_6_4_5 + TestIdentity_6_4_6 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_4_0_5 + TestIdentity_4_0_6 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3 + TestIdentity_1_2_4 + TestIdentity_1_2_5 + TestIdentity_1_2_6 + TestIdentity_3_4_3 + TestIdentity_6_5_0 + TestIdentity_6_5_1 + TestIdentity_6_5_2 + TestIdentity_6_5_3 + TestIdentity_6_5_4 + TestIdentity_6_5_5 + TestIdentity_6_5_6 + TestIdentity_4_1_0 + TestIdentity_4_1_1 + TestIdentity_4_1_2 + TestIdentity_4_1_3 + TestIdentity_4_1_4 + TestIdentity_4_1_5 + TestIdentity_4_1_6 + TestIdentity_1_3_0 + TestIdentity_1_3_1 + TestIdentity_1_3_2 + TestIdentity_1_3_3 + TestIdentity_1_3_4 + TestIdentity_1_3_5 + TestIdentity_1_3_6 + TestIdentity_3_4_2 + TestIdentity_4_2_0 + TestIdentity_4_2_1 + TestIdentity_4_2_2 + TestIdentity_4_2_3 + TestIdentity_4_2_4 + TestIdentity_4_2_5 + TestIdentity_4_2_6 + TestIdentity_1_4_0 + TestIdentity_1_4_1 + TestIdentity_1_4_2 + TestIdentity_1_4_3 + TestIdentity_1_4_4 + TestIdentity_1_4_5 + TestIdentity_1_4_6 + TestIdentity_4_3_0 + TestIdentity_4_3_1 + TestIdentity_4_3_2 + TestIdentity_4_3_3 + TestIdentity_4_3_4 + TestIdentity_4_3_5 + TestIdentity_4_3_6 + TestIdentity_1_5_0 + TestIdentity_1_5_1 + TestIdentity_1_5_2 + TestIdentity_1_5_3 + TestIdentity_1_5_4 + TestIdentity_1_5_5 + TestIdentity_1_5_6 + TestIdentity_4_4_0 + TestIdentity_4_4_1 + TestIdentity_4_4_2 + TestIdentity_4_4_3 + TestIdentity_4_4_4 + TestIdentity_4_4_5 + TestIdentity_4_4_6 + TestIdentity_2_0_0 + TestIdentity_2_0_1 + TestIdentity_2_0_2 + TestIdentity_2_0_3 + TestIdentity_2_0_4 + TestIdentity_2_0_5 + TestIdentity_2_0_6 + TestIdentity_4_5_0 + TestIdentity_4_5_1 + TestIdentity_4_5_2 + TestIdentity_4_5_3 + TestIdentity_4_5_4 + TestIdentity_4_5_5 + TestIdentity_4_5_6 + TestIdentity_2_1_0 + TestIdentity_2_1_1 + TestIdentity_2_1_2 + TestIdentity_2_1_3 + TestIdentity_2_1_4 + TestIdentity_2_1_5 + TestIdentity_2_1_6 + TestIdentity_3_4_1 + TestIdentity_3_4_0 + TestIdentity_5_0_0 + TestIdentity_5_0_1 + TestIdentity_5_0_2 + TestIdentity_5_0_3 + TestIdentity_5_0_4 + TestIdentity_5_0_5 + TestIdentity_5_0_6 + TestIdentity_2_2_0 + TestIdentity_2_2_1 + TestIdentity_2_2_2 + TestIdentity_2_2_3 + TestIdentity_2_2_4 + TestIdentity_2_2_5 + TestIdentity_2_2_6 + TestIdentity_5_1_0 + TestIdentity_5_1_1 + TestIdentity_5_1_2 + TestIdentity_5_1_3 + TestIdentity_5_1_4 + TestIdentity_5_1_5 + TestIdentity_5_1_6 + TestIdentity_2_3_0 + TestIdentity_2_3_1 + TestIdentity_2_3_2 + TestIdentity_2_3_3 + TestIdentity_2_3_4 + TestIdentity_2_3_5 + TestIdentity_2_3_6 + TestIdentity_5_2_0 + TestIdentity_5_2_1 + TestIdentity_5_2_2 + TestIdentity_5_2_3 + TestIdentity_5_2_4 + TestIdentity_5_2_5 + TestIdentity_5_2_6 + TestIdentity_2_4_0 + TestIdentity_2_4_1 + TestIdentity_2_4_2 + TestIdentity_2_4_3 + TestIdentity_2_4_4 + TestIdentity_2_4_5 + TestIdentity_2_4_6 + TestIdentity_0_0_0 + TestIdentity_0_0_1 + TestIdentity_0_0_2 + TestIdentity_0_0_3 + TestIdentity_0_0_4 + TestIdentity_0_0_5 + TestIdentity_0_0_6 + TestIdentity_5_3_0 + TestIdentity_5_3_1 + TestIdentity_5_3_2 + TestIdentity_5_3_3 + TestIdentity_5_3_4 + TestIdentity_5_3_5 + TestIdentity_5_3_6 + TestIdentity_2_5_0 + TestIdentity_2_5_1 + TestIdentity_2_5_2 + TestIdentity_2_5_3 + TestIdentity_2_5_4 + TestIdentity_2_5_5 + TestIdentity_2_5_6 + TestIdentity_0_1_0 + TestIdentity_0_1_1 + TestIdentity_0_1_2 + TestIdentity_0_1_3 + TestIdentity_0_1_4 + TestIdentity_0_1_5 + TestIdentity_0_1_6 + TestIdentity_5_4_0 + TestIdentity_5_4_1 + TestIdentity_5_4_2 + TestIdentity_5_4_3 + TestIdentity_5_4_4 + TestIdentity_5_4_5 + TestIdentity_5_4_6 + TestIdentity_3_0_0 + TestIdentity_3_0_1 + TestIdentity_3_0_2 + TestIdentity_3_0_3 + TestIdentity_3_0_4 + TestIdentity_3_0_5 + TestIdentity_3_0_6 + TestIdentity_0_2_0 + TestIdentity_0_2_1 + TestIdentity_0_2_2 + TestIdentity_0_2_3 + TestIdentity_0_2_4 + TestIdentity_0_2_5 + TestIdentity_0_2_6 + TestIdentity_5_5_0 + TestIdentity_5_5_1 + TestIdentity_5_5_2 + TestIdentity_5_5_3 + TestIdentity_5_5_4 + TestIdentity_5_5_5 + TestIdentity_5_5_6 + TestIdentity_3_1_0 + TestIdentity_3_1_1 + TestIdentity_3_1_2 + TestIdentity_3_1_3 + TestIdentity_3_1_4 + TestIdentity_3_1_5 + TestIdentity_3_1_6 + TestIdentity_0_3_0 + TestIdentity_0_3_1 + TestIdentity_0_3_2 + TestIdentity_0_3_3 + TestIdentity_0_3_4 + TestIdentity_0_3_5 + TestIdentity_0_3_6 + TestIdentity_6_2_5 + TestIdentity_6_2_4 + TestIdentity_6_0_0 + TestIdentity_6_0_1 + TestIdentity_6_0_2 + TestIdentity_6_0_3 + TestIdentity_6_0_4 + TestIdentity_6_0_5 + TestIdentity_6_0_6 + TestIdentity_3_2_0 + TestIdentity_3_2_1 + TestIdentity_3_2_2 + TestIdentity_3_2_3 + TestIdentity_3_2_4 + TestIdentity_3_2_5 + TestIdentity_3_2_6 + TestIdentity_0_4_0 + TestIdentity_0_4_1 + TestIdentity_0_4_2 + TestIdentity_0_4_3 + TestIdentity_0_4_4 + TestIdentity_0_4_5 + TestIdentity_0_4_6 + TestIdentity_6_2_3 + TestIdentity_6_1_0 + TestIdentity_6_1_1 + TestIdentity_6_1_2 + TestIdentity_6_1_3 + TestIdentity_6_1_4 + TestIdentity_6_1_5 + TestIdentity_6_1_6 + TestIdentity_3_3_0 + TestIdentity_3_3_1 + TestIdentity_3_3_2 + TestIdentity_3_3_3 + TestIdentity_3_3_4 + TestIdentity_3_3_5 + TestIdentity_3_3_6 + TestIdentity_0_5_0 + TestIdentity_0_5_1 + TestIdentity_0_5_2 + TestIdentity_0_5_3 + TestIdentity_0_5_4 + TestIdentity_0_5_5 + TestIdentity_0_5_6 + TestIdentity_6_2_2 + TestIdentity_6_2_1 + TestIdentity_6_2_0 + TestIdentity_6_2_6 + TestIdentity_3_4_6) : MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5 + CS_6) : MAX(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_0_5 + IsEndLoop_0_0_6 + IsEndLoop_5_3_0 + IsEndLoop_5_3_1 + IsEndLoop_5_3_2 + IsEndLoop_5_3_3 + IsEndLoop_5_3_4 + IsEndLoop_5_3_5 + IsEndLoop_5_3_6 + IsEndLoop_2_5_0 + IsEndLoop_2_5_1 + IsEndLoop_2_5_2 + IsEndLoop_2_5_3 + IsEndLoop_2_5_4 + IsEndLoop_2_5_5 + IsEndLoop_2_5_6 + IsEndLoop_0_1_0 + IsEndLoop_0_1_1 + IsEndLoop_0_1_2 + IsEndLoop_0_1_3 + IsEndLoop_0_1_4 + IsEndLoop_0_1_5 + IsEndLoop_0_1_6 + IsEndLoop_5_4_0 + IsEndLoop_5_4_1 + IsEndLoop_5_4_2 + IsEndLoop_5_4_3 + IsEndLoop_5_4_4 + IsEndLoop_5_4_5 + IsEndLoop_5_4_6 + IsEndLoop_3_0_0 + IsEndLoop_3_0_1 + IsEndLoop_3_0_2 + IsEndLoop_3_0_3 + IsEndLoop_3_0_4 + IsEndLoop_3_0_5 + IsEndLoop_3_0_6 + IsEndLoop_0_2_0 + IsEndLoop_0_2_1 + IsEndLoop_0_2_2 + IsEndLoop_0_2_3 + IsEndLoop_0_2_4 + IsEndLoop_0_2_5 + IsEndLoop_0_2_6 + IsEndLoop_5_5_0 + IsEndLoop_5_5_1 + IsEndLoop_5_5_2 + IsEndLoop_5_5_3 + IsEndLoop_5_5_4 + IsEndLoop_5_5_5 + IsEndLoop_5_5_6 + IsEndLoop_3_1_0 + IsEndLoop_3_1_1 + IsEndLoop_3_1_2 + IsEndLoop_3_1_3 + IsEndLoop_3_1_4 + IsEndLoop_3_1_5 + IsEndLoop_3_1_6 + IsEndLoop_0_3_0 + IsEndLoop_0_3_1 + IsEndLoop_0_3_2 + IsEndLoop_0_3_3 + IsEndLoop_0_3_4 + IsEndLoop_0_3_5 + IsEndLoop_0_3_6 + IsEndLoop_6_0_0 + IsEndLoop_6_0_1 + IsEndLoop_6_0_2 + IsEndLoop_6_0_3 + IsEndLoop_6_0_4 + IsEndLoop_6_0_5 + IsEndLoop_6_0_6 + IsEndLoop_3_2_0 + IsEndLoop_3_2_1 + IsEndLoop_3_2_2 + IsEndLoop_3_2_3 + IsEndLoop_3_2_4 + IsEndLoop_3_2_5 + IsEndLoop_3_2_6 + IsEndLoop_0_4_0 + IsEndLoop_0_4_1 + IsEndLoop_0_4_2 + IsEndLoop_0_4_3 + IsEndLoop_0_4_4 + IsEndLoop_0_4_5 + IsEndLoop_0_4_6 + IsEndLoop_6_1_0 + IsEndLoop_6_1_1 + IsEndLoop_6_1_2 + IsEndLoop_6_1_3 + IsEndLoop_6_1_4 + IsEndLoop_6_1_5 + IsEndLoop_6_1_6 + IsEndLoop_3_3_0 + IsEndLoop_3_3_1 + IsEndLoop_3_3_2 + IsEndLoop_3_3_3 + IsEndLoop_3_3_4 + IsEndLoop_3_3_5 + IsEndLoop_3_3_6 + IsEndLoop_0_5_0 + IsEndLoop_0_5_1 + IsEndLoop_0_5_2 + IsEndLoop_0_5_3 + IsEndLoop_0_5_4 + IsEndLoop_0_5_5 + IsEndLoop_0_5_6 + IsEndLoop_6_2_0 + IsEndLoop_6_2_1 + IsEndLoop_6_2_2 + IsEndLoop_6_2_3 + IsEndLoop_6_2_4 + IsEndLoop_6_2_5 + IsEndLoop_6_2_6 + IsEndLoop_3_4_0 + IsEndLoop_3_4_1 + IsEndLoop_3_4_2 + IsEndLoop_3_4_3 + IsEndLoop_3_4_4 + IsEndLoop_3_4_5 + IsEndLoop_3_4_6 + IsEndLoop_1_0_0 + IsEndLoop_1_0_1 + IsEndLoop_1_0_2 + IsEndLoop_1_0_3 + IsEndLoop_1_0_4 + IsEndLoop_1_0_5 + IsEndLoop_1_0_6 + IsEndLoop_6_3_0 + IsEndLoop_6_3_1 + IsEndLoop_6_3_2 + IsEndLoop_6_3_3 + IsEndLoop_6_3_4 + IsEndLoop_6_3_5 + IsEndLoop_6_3_6 + IsEndLoop_3_5_0 + IsEndLoop_3_5_1 + IsEndLoop_3_5_2 + IsEndLoop_3_5_3 + IsEndLoop_3_5_4 + IsEndLoop_3_5_5 + IsEndLoop_3_5_6 + IsEndLoop_1_1_0 + IsEndLoop_1_1_1 + IsEndLoop_1_1_2 + IsEndLoop_1_1_3 + IsEndLoop_1_1_4 + IsEndLoop_1_1_5 + IsEndLoop_1_1_6 + IsEndLoop_6_4_0 + IsEndLoop_6_4_1 + IsEndLoop_6_4_2 + IsEndLoop_6_4_3 + IsEndLoop_6_4_4 + IsEndLoop_6_4_5 + IsEndLoop_6_4_6 + IsEndLoop_4_0_0 + IsEndLoop_4_0_1 + IsEndLoop_4_0_2 + IsEndLoop_4_0_3 + IsEndLoop_4_0_4 + IsEndLoop_4_0_5 + IsEndLoop_4_0_6 + IsEndLoop_1_2_0 + IsEndLoop_1_2_1 + IsEndLoop_1_2_2 + IsEndLoop_1_2_3 + IsEndLoop_1_2_4 + IsEndLoop_1_2_5 + IsEndLoop_1_2_6 + IsEndLoop_6_5_0 + IsEndLoop_6_5_1 + IsEndLoop_6_5_2 + IsEndLoop_6_5_3 + IsEndLoop_6_5_4 + IsEndLoop_6_5_5 + IsEndLoop_6_5_6 + IsEndLoop_4_1_0 + IsEndLoop_4_1_1 + IsEndLoop_4_1_2 + IsEndLoop_4_1_3 + IsEndLoop_4_1_4 + IsEndLoop_4_1_5 + IsEndLoop_4_1_6 + IsEndLoop_1_3_0 + IsEndLoop_1_3_1 + IsEndLoop_1_3_2 + IsEndLoop_1_3_3 + IsEndLoop_1_3_4 + IsEndLoop_1_3_5 + IsEndLoop_1_3_6 + IsEndLoop_4_2_0 + IsEndLoop_4_2_1 + IsEndLoop_4_2_2 + IsEndLoop_4_2_3 + IsEndLoop_4_2_4 + IsEndLoop_4_2_5 + IsEndLoop_4_2_6 + IsEndLoop_1_4_0 + IsEndLoop_1_4_1 + IsEndLoop_1_4_2 + IsEndLoop_1_4_3 + IsEndLoop_1_4_4 + IsEndLoop_1_4_5 + IsEndLoop_1_4_6 + IsEndLoop_4_3_0 + IsEndLoop_4_3_1 + IsEndLoop_4_3_2 + IsEndLoop_4_3_3 + IsEndLoop_4_3_4 + IsEndLoop_4_3_5 + IsEndLoop_4_3_6 + IsEndLoop_1_5_0 + IsEndLoop_1_5_1 + IsEndLoop_1_5_2 + IsEndLoop_1_5_3 + IsEndLoop_1_5_4 + IsEndLoop_1_5_5 + IsEndLoop_1_5_6 + IsEndLoop_4_4_0 + IsEndLoop_4_4_1 + IsEndLoop_4_4_2 + IsEndLoop_4_4_3 + IsEndLoop_4_4_4 + IsEndLoop_4_4_5 + IsEndLoop_4_4_6 + IsEndLoop_2_0_0 + IsEndLoop_2_0_1 + IsEndLoop_2_0_2 + IsEndLoop_2_0_3 + IsEndLoop_2_0_4 + IsEndLoop_2_0_5 + IsEndLoop_2_0_6 + IsEndLoop_4_5_0 + IsEndLoop_4_5_1 + IsEndLoop_4_5_2 + IsEndLoop_4_5_3 + IsEndLoop_4_5_4 + IsEndLoop_4_5_5 + IsEndLoop_4_5_6 + IsEndLoop_2_1_0 + IsEndLoop_2_1_1 + IsEndLoop_2_1_2 + IsEndLoop_2_1_3 + IsEndLoop_2_1_4 + IsEndLoop_2_1_5 + IsEndLoop_2_1_6 + IsEndLoop_5_0_0 + IsEndLoop_5_0_1 + IsEndLoop_5_0_2 + IsEndLoop_5_0_3 + IsEndLoop_5_0_4 + IsEndLoop_5_0_5 + IsEndLoop_5_0_6 + IsEndLoop_2_2_0 + IsEndLoop_2_2_1 + IsEndLoop_2_2_2 + IsEndLoop_2_2_3 + IsEndLoop_2_2_4 + IsEndLoop_2_2_5 + IsEndLoop_2_2_6 + IsEndLoop_5_1_0 + IsEndLoop_5_1_1 + IsEndLoop_5_1_2 + IsEndLoop_5_1_3 + IsEndLoop_5_1_4 + IsEndLoop_5_1_5 + IsEndLoop_5_1_6 + IsEndLoop_2_3_0 + IsEndLoop_2_3_1 + IsEndLoop_2_3_2 + IsEndLoop_2_3_3 + IsEndLoop_2_3_4 + IsEndLoop_2_3_5 + IsEndLoop_2_3_6 + IsEndLoop_5_2_0 + IsEndLoop_5_2_1 + IsEndLoop_5_2_2 + IsEndLoop_5_2_3 + IsEndLoop_5_2_4 + IsEndLoop_5_2_5 + IsEndLoop_2_4_0 + IsEndLoop_2_4_1 + IsEndLoop_2_4_2 + IsEndLoop_2_4_3 + IsEndLoop_2_4_4 + IsEndLoop_2_4_5 + IsEndLoop_2_4_6 + IsEndLoop_5_2_6) : MAX(BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_3_6 + BeginLoop_1_5_0 + BeginLoop_1_5_1 + BeginLoop_1_5_2 + BeginLoop_1_5_3 + BeginLoop_1_5_4 + BeginLoop_1_5_5 + BeginLoop_1_5_6 + BeginLoop_4_4_0 + BeginLoop_4_4_1 + BeginLoop_4_4_2 + BeginLoop_4_4_3 + BeginLoop_4_4_4 + BeginLoop_4_4_5 + BeginLoop_4_4_6 + BeginLoop_2_0_0 + BeginLoop_2_0_1 + BeginLoop_2_0_2 + BeginLoop_2_0_3 + BeginLoop_2_0_4 + BeginLoop_2_0_5 + BeginLoop_2_0_6 + BeginLoop_4_5_0 + BeginLoop_4_5_1 + BeginLoop_4_5_2 + BeginLoop_4_5_3 + BeginLoop_4_5_4 + BeginLoop_4_5_5 + BeginLoop_4_5_6 + BeginLoop_2_1_0 + BeginLoop_2_1_1 + BeginLoop_2_1_2 + BeginLoop_2_1_3 + BeginLoop_2_1_4 + BeginLoop_2_1_5 + BeginLoop_2_1_6 + BeginLoop_5_0_0 + BeginLoop_5_0_1 + BeginLoop_5_0_2 + BeginLoop_5_0_3 + BeginLoop_5_0_4 + BeginLoop_5_0_5 + BeginLoop_5_0_6 + BeginLoop_2_2_0 + BeginLoop_2_2_1 + BeginLoop_2_2_2 + BeginLoop_2_2_3 + BeginLoop_2_2_4 + BeginLoop_2_2_5 + BeginLoop_2_2_6 + BeginLoop_5_1_0 + BeginLoop_5_1_1 + BeginLoop_5_1_2 + BeginLoop_5_1_3 + BeginLoop_5_1_4 + BeginLoop_5_1_5 + BeginLoop_5_1_6 + BeginLoop_2_3_0 + BeginLoop_2_3_1 + BeginLoop_2_3_2 + BeginLoop_2_3_3 + BeginLoop_2_3_4 + BeginLoop_2_3_5 + BeginLoop_2_3_6 + BeginLoop_5_2_0 + BeginLoop_5_2_1 + BeginLoop_5_2_2 + BeginLoop_5_2_3 + BeginLoop_5_2_4 + BeginLoop_5_2_5 + BeginLoop_5_2_6 + BeginLoop_2_4_0 + BeginLoop_2_4_1 + BeginLoop_2_4_2 + BeginLoop_2_4_3 + BeginLoop_2_4_4 + BeginLoop_2_4_5 + BeginLoop_2_4_6 + BeginLoop_0_0_0 + BeginLoop_0_0_1 + BeginLoop_0_0_2 + BeginLoop_0_0_3 + BeginLoop_0_0_4 + BeginLoop_0_0_5 + BeginLoop_0_0_6 + BeginLoop_5_3_0 + BeginLoop_5_3_1 + BeginLoop_5_3_2 + BeginLoop_5_3_3 + BeginLoop_5_3_4 + BeginLoop_5_3_5 + BeginLoop_5_3_6 + BeginLoop_2_5_0 + BeginLoop_2_5_1 + BeginLoop_2_5_2 + BeginLoop_2_5_3 + BeginLoop_2_5_4 + BeginLoop_2_5_5 + BeginLoop_2_5_6 + BeginLoop_0_1_0 + BeginLoop_0_1_1 + BeginLoop_0_1_2 + BeginLoop_0_1_3 + BeginLoop_0_1_4 + BeginLoop_0_1_5 + BeginLoop_0_1_6 + BeginLoop_5_4_0 + BeginLoop_5_4_1 + BeginLoop_5_4_2 + BeginLoop_5_4_3 + BeginLoop_5_4_4 + BeginLoop_5_4_5 + BeginLoop_5_4_6 + BeginLoop_3_0_0 + BeginLoop_3_0_1 + BeginLoop_3_0_2 + BeginLoop_3_0_3 + BeginLoop_3_0_4 + BeginLoop_3_0_5 + BeginLoop_3_0_6 + BeginLoop_0_2_0 + BeginLoop_0_2_1 + BeginLoop_0_2_2 + BeginLoop_0_2_3 + BeginLoop_0_2_4 + BeginLoop_0_2_5 + BeginLoop_0_2_6 + BeginLoop_5_5_0 + BeginLoop_5_5_1 + BeginLoop_5_5_2 + BeginLoop_5_5_3 + BeginLoop_5_5_4 + BeginLoop_5_5_5 + BeginLoop_5_5_6 + BeginLoop_3_1_0 + BeginLoop_3_1_1 + BeginLoop_3_1_2 + BeginLoop_3_1_3 + BeginLoop_3_1_4 + BeginLoop_3_1_5 + BeginLoop_3_1_6 + BeginLoop_0_3_0 + BeginLoop_0_3_1 + BeginLoop_0_3_2 + BeginLoop_0_3_3 + BeginLoop_0_3_4 + BeginLoop_0_3_5 + BeginLoop_0_3_6 + BeginLoop_6_0_0 + BeginLoop_6_0_1 + BeginLoop_6_0_2 + BeginLoop_6_0_3 + BeginLoop_6_0_4 + BeginLoop_6_0_5 + BeginLoop_6_0_6 + BeginLoop_3_2_0 + BeginLoop_3_2_1 + BeginLoop_3_2_2 + BeginLoop_3_2_3 + BeginLoop_3_2_4 + BeginLoop_3_2_5 + BeginLoop_3_2_6 + BeginLoop_0_4_0 + BeginLoop_0_4_1 + BeginLoop_0_4_2 + BeginLoop_0_4_3 + BeginLoop_0_4_4 + BeginLoop_0_4_5 + BeginLoop_0_4_6 + BeginLoop_6_1_0 + BeginLoop_6_1_1 + BeginLoop_6_1_2 + BeginLoop_6_1_3 + BeginLoop_6_1_4 + BeginLoop_6_1_5 + BeginLoop_6_1_6 + BeginLoop_3_3_0 + BeginLoop_3_3_1 + BeginLoop_3_3_2 + BeginLoop_3_3_3 + BeginLoop_3_3_4 + BeginLoop_3_3_5 + BeginLoop_3_3_6 + BeginLoop_0_5_0 + BeginLoop_0_5_1 + BeginLoop_0_5_2 + BeginLoop_0_5_3 + BeginLoop_0_5_4 + BeginLoop_0_5_5 + BeginLoop_0_5_6 + BeginLoop_6_2_0 + BeginLoop_6_2_1 + BeginLoop_6_2_2 + BeginLoop_6_2_3 + BeginLoop_6_2_4 + BeginLoop_6_2_5 + BeginLoop_6_2_6 + BeginLoop_3_4_0 + BeginLoop_3_4_1 + BeginLoop_3_4_2 + BeginLoop_3_4_3 + BeginLoop_3_4_4 + BeginLoop_3_4_5 + BeginLoop_3_4_6 + BeginLoop_1_0_0 + BeginLoop_1_0_1 + BeginLoop_1_0_2 + BeginLoop_1_0_3 + BeginLoop_1_0_4 + BeginLoop_1_0_5 + BeginLoop_1_0_6 + BeginLoop_6_3_0 + BeginLoop_6_3_1 + BeginLoop_6_3_2 + BeginLoop_6_3_3 + BeginLoop_6_3_4 + BeginLoop_6_3_5 + BeginLoop_6_3_6 + BeginLoop_3_5_0 + BeginLoop_3_5_1 + BeginLoop_3_5_2 + BeginLoop_3_5_3 + BeginLoop_3_5_4 + BeginLoop_3_5_5 + BeginLoop_3_5_6 + BeginLoop_1_1_0 + BeginLoop_1_1_1 + BeginLoop_1_1_2 + BeginLoop_1_1_3 + BeginLoop_1_1_4 + BeginLoop_1_1_5 + BeginLoop_1_1_6 + BeginLoop_6_4_0 + BeginLoop_6_4_1 + BeginLoop_6_4_2 + BeginLoop_6_4_3 + BeginLoop_6_4_4 + BeginLoop_6_4_5 + BeginLoop_6_4_6 + BeginLoop_4_0_0 + BeginLoop_4_0_1 + BeginLoop_4_0_2 + BeginLoop_4_0_3 + BeginLoop_4_0_4 + BeginLoop_4_0_5 + BeginLoop_4_0_6 + BeginLoop_1_2_0 + BeginLoop_1_2_1 + BeginLoop_1_2_2 + BeginLoop_1_2_3 + BeginLoop_1_2_4 + BeginLoop_1_2_5 + BeginLoop_1_2_6 + BeginLoop_6_5_0 + BeginLoop_6_5_1 + BeginLoop_6_5_2 + BeginLoop_6_5_3 + BeginLoop_6_5_4 + BeginLoop_6_5_5 + BeginLoop_6_5_6 + BeginLoop_4_1_0 + BeginLoop_4_1_1 + BeginLoop_4_1_2 + BeginLoop_4_1_3 + BeginLoop_4_1_4 + BeginLoop_4_1_5 + BeginLoop_4_1_6 + BeginLoop_1_3_0 + BeginLoop_1_3_1 + BeginLoop_1_3_2 + BeginLoop_1_3_3 + BeginLoop_1_3_4 + BeginLoop_1_3_5 + BeginLoop_1_3_6 + BeginLoop_4_2_0 + BeginLoop_4_2_1 + BeginLoop_4_2_2 + BeginLoop_4_2_3 + BeginLoop_4_2_4 + BeginLoop_4_2_5 + BeginLoop_4_2_6 + BeginLoop_1_4_0 + BeginLoop_1_4_1 + BeginLoop_1_4_2 + BeginLoop_1_4_3 + BeginLoop_1_4_4 + BeginLoop_1_4_5 + BeginLoop_1_4_6) : MAX(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_0_5 + TestIdentity_1_0_6 + TestIdentity_3_4_5 + TestIdentity_6_3_0 + TestIdentity_6_3_1 + TestIdentity_6_3_2 + TestIdentity_6_3_3 + TestIdentity_6_3_4 + TestIdentity_6_3_5 + TestIdentity_6_3_6 + TestIdentity_3_5_0 + TestIdentity_3_5_1 + TestIdentity_3_5_2 + TestIdentity_3_5_3 + TestIdentity_3_5_4 + TestIdentity_3_5_5 + TestIdentity_3_5_6 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_1_1_5 + TestIdentity_1_1_6 + TestIdentity_3_4_4 + TestIdentity_6_4_0 + TestIdentity_6_4_1 + TestIdentity_6_4_2 + TestIdentity_6_4_3 + TestIdentity_6_4_4 + TestIdentity_6_4_5 + TestIdentity_6_4_6 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_4_0_5 + TestIdentity_4_0_6 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3 + TestIdentity_1_2_4 + TestIdentity_1_2_5 + TestIdentity_1_2_6 + TestIdentity_3_4_3 + TestIdentity_6_5_0 + TestIdentity_6_5_1 + TestIdentity_6_5_2 + TestIdentity_6_5_3 + TestIdentity_6_5_4 + TestIdentity_6_5_5 + TestIdentity_6_5_6 + TestIdentity_4_1_0 + TestIdentity_4_1_1 + TestIdentity_4_1_2 + TestIdentity_4_1_3 + TestIdentity_4_1_4 + TestIdentity_4_1_5 + TestIdentity_4_1_6 + TestIdentity_1_3_0 + TestIdentity_1_3_1 + TestIdentity_1_3_2 + TestIdentity_1_3_3 + TestIdentity_1_3_4 + TestIdentity_1_3_5 + TestIdentity_1_3_6 + TestIdentity_3_4_2 + TestIdentity_4_2_0 + TestIdentity_4_2_1 + TestIdentity_4_2_2 + TestIdentity_4_2_3 + TestIdentity_4_2_4 + TestIdentity_4_2_5 + TestIdentity_4_2_6 + TestIdentity_1_4_0 + TestIdentity_1_4_1 + TestIdentity_1_4_2 + TestIdentity_1_4_3 + TestIdentity_1_4_4 + TestIdentity_1_4_5 + TestIdentity_1_4_6 + TestIdentity_4_3_0 + TestIdentity_4_3_1 + TestIdentity_4_3_2 + TestIdentity_4_3_3 + TestIdentity_4_3_4 + TestIdentity_4_3_5 + TestIdentity_4_3_6 + TestIdentity_1_5_0 + TestIdentity_1_5_1 + TestIdentity_1_5_2 + TestIdentity_1_5_3 + TestIdentity_1_5_4 + TestIdentity_1_5_5 + TestIdentity_1_5_6 + TestIdentity_4_4_0 + TestIdentity_4_4_1 + TestIdentity_4_4_2 + TestIdentity_4_4_3 + TestIdentity_4_4_4 + TestIdentity_4_4_5 + TestIdentity_4_4_6 + TestIdentity_2_0_0 + TestIdentity_2_0_1 + TestIdentity_2_0_2 + TestIdentity_2_0_3 + TestIdentity_2_0_4 + TestIdentity_2_0_5 + TestIdentity_2_0_6 + TestIdentity_4_5_0 + TestIdentity_4_5_1 + TestIdentity_4_5_2 + TestIdentity_4_5_3 + TestIdentity_4_5_4 + TestIdentity_4_5_5 + TestIdentity_4_5_6 + TestIdentity_2_1_0 + TestIdentity_2_1_1 + TestIdentity_2_1_2 + TestIdentity_2_1_3 + TestIdentity_2_1_4 + TestIdentity_2_1_5 + TestIdentity_2_1_6 + TestIdentity_3_4_1 + TestIdentity_3_4_0 + TestIdentity_5_0_0 + TestIdentity_5_0_1 + TestIdentity_5_0_2 + TestIdentity_5_0_3 + TestIdentity_5_0_4 + TestIdentity_5_0_5 + TestIdentity_5_0_6 + TestIdentity_2_2_0 + TestIdentity_2_2_1 + TestIdentity_2_2_2 + TestIdentity_2_2_3 + TestIdentity_2_2_4 + TestIdentity_2_2_5 + TestIdentity_2_2_6 + TestIdentity_5_1_0 + TestIdentity_5_1_1 + TestIdentity_5_1_2 + TestIdentity_5_1_3 + TestIdentity_5_1_4 + TestIdentity_5_1_5 + TestIdentity_5_1_6 + TestIdentity_2_3_0 + TestIdentity_2_3_1 + TestIdentity_2_3_2 + TestIdentity_2_3_3 + TestIdentity_2_3_4 + TestIdentity_2_3_5 + TestIdentity_2_3_6 + TestIdentity_5_2_0 + TestIdentity_5_2_1 + TestIdentity_5_2_2 + TestIdentity_5_2_3 + TestIdentity_5_2_4 + TestIdentity_5_2_5 + TestIdentity_5_2_6 + TestIdentity_2_4_0 + TestIdentity_2_4_1 + TestIdentity_2_4_2 + TestIdentity_2_4_3 + TestIdentity_2_4_4 + TestIdentity_2_4_5 + TestIdentity_2_4_6 + TestIdentity_0_0_0 + TestIdentity_0_0_1 + TestIdentity_0_0_2 + TestIdentity_0_0_3 + TestIdentity_0_0_4 + TestIdentity_0_0_5 + TestIdentity_0_0_6 + TestIdentity_5_3_0 + TestIdentity_5_3_1 + TestIdentity_5_3_2 + TestIdentity_5_3_3 + TestIdentity_5_3_4 + TestIdentity_5_3_5 + TestIdentity_5_3_6 + TestIdentity_2_5_0 + TestIdentity_2_5_1 + TestIdentity_2_5_2 + TestIdentity_2_5_3 + TestIdentity_2_5_4 + TestIdentity_2_5_5 + TestIdentity_2_5_6 + TestIdentity_0_1_0 + TestIdentity_0_1_1 + TestIdentity_0_1_2 + TestIdentity_0_1_3 + TestIdentity_0_1_4 + TestIdentity_0_1_5 + TestIdentity_0_1_6 + TestIdentity_5_4_0 + TestIdentity_5_4_1 + TestIdentity_5_4_2 + TestIdentity_5_4_3 + TestIdentity_5_4_4 + TestIdentity_5_4_5 + TestIdentity_5_4_6 + TestIdentity_3_0_0 + TestIdentity_3_0_1 + TestIdentity_3_0_2 + TestIdentity_3_0_3 + TestIdentity_3_0_4 + TestIdentity_3_0_5 + TestIdentity_3_0_6 + TestIdentity_0_2_0 + TestIdentity_0_2_1 + TestIdentity_0_2_2 + TestIdentity_0_2_3 + TestIdentity_0_2_4 + TestIdentity_0_2_5 + TestIdentity_0_2_6 + TestIdentity_5_5_0 + TestIdentity_5_5_1 + TestIdentity_5_5_2 + TestIdentity_5_5_3 + TestIdentity_5_5_4 + TestIdentity_5_5_5 + TestIdentity_5_5_6 + TestIdentity_3_1_0 + TestIdentity_3_1_1 + TestIdentity_3_1_2 + TestIdentity_3_1_3 + TestIdentity_3_1_4 + TestIdentity_3_1_5 + TestIdentity_3_1_6 + TestIdentity_0_3_0 + TestIdentity_0_3_1 + TestIdentity_0_3_2 + TestIdentity_0_3_3 + TestIdentity_0_3_4 + TestIdentity_0_3_5 + TestIdentity_0_3_6 + TestIdentity_6_2_5 + TestIdentity_6_2_4 + TestIdentity_6_0_0 + TestIdentity_6_0_1 + TestIdentity_6_0_2 + TestIdentity_6_0_3 + TestIdentity_6_0_4 + TestIdentity_6_0_5 + TestIdentity_6_0_6 + TestIdentity_3_2_0 + TestIdentity_3_2_1 + TestIdentity_3_2_2 + TestIdentity_3_2_3 + TestIdentity_3_2_4 + TestIdentity_3_2_5 + TestIdentity_3_2_6 + TestIdentity_0_4_0 + TestIdentity_0_4_1 + TestIdentity_0_4_2 + TestIdentity_0_4_3 + TestIdentity_0_4_4 + TestIdentity_0_4_5 + TestIdentity_0_4_6 + TestIdentity_6_2_3 + TestIdentity_6_1_0 + TestIdentity_6_1_1 + TestIdentity_6_1_2 + TestIdentity_6_1_3 + TestIdentity_6_1_4 + TestIdentity_6_1_5 + TestIdentity_6_1_6 + TestIdentity_3_3_0 + TestIdentity_3_3_1 + TestIdentity_3_3_2 + TestIdentity_3_3_3 + TestIdentity_3_3_4 + TestIdentity_3_3_5 + TestIdentity_3_3_6 + TestIdentity_0_5_0 + TestIdentity_0_5_1 + TestIdentity_0_5_2 + TestIdentity_0_5_3 + TestIdentity_0_5_4 + TestIdentity_0_5_5 + TestIdentity_0_5_6 + TestIdentity_6_2_2 + TestIdentity_6_2_1 + TestIdentity_6_2_0 + TestIdentity_6_2_6 + TestIdentity_3_4_6) : MAX(TestTurn_0_0 + TestTurn_0_1 + TestTurn_0_2 + TestTurn_0_3 + TestTurn_0_4 + TestTurn_0_5 + TestTurn_1_0 + TestTurn_1_1 + TestTurn_1_2 + TestTurn_1_3 + TestTurn_1_4 + TestTurn_1_5 + TestTurn_2_0 + TestTurn_2_1 + TestTurn_2_2 + TestTurn_2_3 + TestTurn_2_4 + TestTurn_2_5 + TestTurn_3_0 + TestTurn_3_1 + TestTurn_3_2 + TestTurn_3_3 + TestTurn_3_4 + TestTurn_3_5 + TestTurn_4_0 + TestTurn_4_1 + TestTurn_4_2 + TestTurn_4_3 + TestTurn_4_4 + TestTurn_4_5 + TestTurn_5_0 + TestTurn_5_1 + TestTurn_5_2 + TestTurn_5_3 + TestTurn_5_4 + TestTurn_5_5 + TestTurn_6_0 + TestTurn_6_1 + TestTurn_6_2 + TestTurn_6_3 + TestTurn_6_4 + TestTurn_6_5) : MAX(Turn_2_0 + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_2_4 + Turn_2_5 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_3_4 + Turn_3_5 + Turn_4_0 + Turn_4_1 + Turn_4_2 + Turn_4_3 + Turn_4_4 + Turn_4_5 + Turn_5_0 + Turn_5_1 + Turn_5_2 + Turn_5_3 + Turn_5_4 + Turn_5_5 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_0_5 + Turn_1_0 + Turn_1_1 + Turn_1_2 + Turn_1_3 + Turn_1_4 + Turn_1_5 + Turn_1_6 + Turn_0_6 + Turn_5_6 + Turn_4_6 + Turn_3_6 + Turn_2_6) : MAX(EndTurn_1_0 + EndTurn_1_1 + EndTurn_1_2 + EndTurn_1_3 + EndTurn_1_4 + EndTurn_1_5 + EndTurn_2_0 + EndTurn_2_1 + EndTurn_2_2 + EndTurn_2_3 + EndTurn_2_4 + EndTurn_2_5 + EndTurn_3_0 + EndTurn_3_1 + EndTurn_3_2 + EndTurn_3_3 + EndTurn_3_4 + EndTurn_3_5 + EndTurn_4_0 + EndTurn_4_1 + EndTurn_4_2 + EndTurn_4_3 + EndTurn_4_4 + EndTurn_4_5 + EndTurn_5_0 + EndTurn_5_1 + EndTurn_5_2 + EndTurn_5_3 + EndTurn_5_4 + EndTurn_5_5 + EndTurn_6_0 + EndTurn_6_1 + EndTurn_6_2 + EndTurn_6_3 + EndTurn_6_4 + EndTurn_6_5 + EndTurn_0_4 + EndTurn_0_3 + EndTurn_0_2 + EndTurn_0_1 + EndTurn_0_0 + EndTurn_0_5) : MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5 + CS_6) : MAX(Idle_0 + Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5 + Idle_6) : MAX(Turn_2_0 + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_2_4 + Turn_2_5 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_3_4 + Turn_3_5 + Turn_4_0 + Turn_4_1 + Turn_4_2 + Turn_4_3 + Turn_4_4 + Turn_4_5 + Turn_5_0 + Turn_5_1 + Turn_5_2 + Turn_5_3 + Turn_5_4 + Turn_5_5 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_0_5 + Turn_1_0 + Turn_1_1 + Turn_1_2 + Turn_1_3 + Turn_1_4 + Turn_1_5 + Turn_1_6 + Turn_0_6 + Turn_5_6 + Turn_4_6 + Turn_3_6 + Turn_2_6) : MAX(EndTurn_1_0 + EndTurn_1_1 + EndTurn_1_2 + EndTurn_1_3 + EndTurn_1_4 + EndTurn_1_5 + EndTurn_2_0 + EndTurn_2_1 + EndTurn_2_2 + EndTurn_2_3 + EndTurn_2_4 + EndTurn_2_5 + EndTurn_3_0 + EndTurn_3_1 + EndTurn_3_2 + EndTurn_3_3 + EndTurn_3_4 + EndTurn_3_5 + EndTurn_4_0 + EndTurn_4_1 + EndTurn_4_2 + EndTurn_4_3 + EndTurn_4_4 + EndTurn_4_5 + EndTurn_5_0 + EndTurn_5_1 + EndTurn_5_2 + EndTurn_5_3 + EndTurn_5_4 + EndTurn_5_5 + EndTurn_6_0 + EndTurn_6_1 + EndTurn_6_2 + EndTurn_6_3 + EndTurn_6_4 + EndTurn_6_5 + EndTurn_0_4 + EndTurn_0_3 + EndTurn_0_2 + EndTurn_0_1 + EndTurn_0_0 + EndTurn_0_5) : MAX(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_0_5 + IsEndLoop_0_0_6 + IsEndLoop_5_3_0 + IsEndLoop_5_3_1 + IsEndLoop_5_3_2 + IsEndLoop_5_3_3 + IsEndLoop_5_3_4 + IsEndLoop_5_3_5 + IsEndLoop_5_3_6 + IsEndLoop_2_5_0 + IsEndLoop_2_5_1 + IsEndLoop_2_5_2 + IsEndLoop_2_5_3 + IsEndLoop_2_5_4 + IsEndLoop_2_5_5 + IsEndLoop_2_5_6 + IsEndLoop_0_1_0 + IsEndLoop_0_1_1 + IsEndLoop_0_1_2 + IsEndLoop_0_1_3 + IsEndLoop_0_1_4 + IsEndLoop_0_1_5 + IsEndLoop_0_1_6 + IsEndLoop_5_4_0 + IsEndLoop_5_4_1 + IsEndLoop_5_4_2 + IsEndLoop_5_4_3 + IsEndLoop_5_4_4 + IsEndLoop_5_4_5 + IsEndLoop_5_4_6 + IsEndLoop_3_0_0 + IsEndLoop_3_0_1 + IsEndLoop_3_0_2 + IsEndLoop_3_0_3 + IsEndLoop_3_0_4 + IsEndLoop_3_0_5 + IsEndLoop_3_0_6 + IsEndLoop_0_2_0 + IsEndLoop_0_2_1 + IsEndLoop_0_2_2 + IsEndLoop_0_2_3 + IsEndLoop_0_2_4 + IsEndLoop_0_2_5 + IsEndLoop_0_2_6 + IsEndLoop_5_5_0 + IsEndLoop_5_5_1 + IsEndLoop_5_5_2 + IsEndLoop_5_5_3 + IsEndLoop_5_5_4 + IsEndLoop_5_5_5 + IsEndLoop_5_5_6 + IsEndLoop_3_1_0 + IsEndLoop_3_1_1 + IsEndLoop_3_1_2 + IsEndLoop_3_1_3 + IsEndLoop_3_1_4 + IsEndLoop_3_1_5 + IsEndLoop_3_1_6 + IsEndLoop_0_3_0 + IsEndLoop_0_3_1 + IsEndLoop_0_3_2 + IsEndLoop_0_3_3 + IsEndLoop_0_3_4 + IsEndLoop_0_3_5 + IsEndLoop_0_3_6 + IsEndLoop_6_0_0 + IsEndLoop_6_0_1 + IsEndLoop_6_0_2 + IsEndLoop_6_0_3 + IsEndLoop_6_0_4 + IsEndLoop_6_0_5 + IsEndLoop_6_0_6 + IsEndLoop_3_2_0 + IsEndLoop_3_2_1 + IsEndLoop_3_2_2 + IsEndLoop_3_2_3 + IsEndLoop_3_2_4 + IsEndLoop_3_2_5 + IsEndLoop_3_2_6 + IsEndLoop_0_4_0 + IsEndLoop_0_4_1 + IsEndLoop_0_4_2 + IsEndLoop_0_4_3 + IsEndLoop_0_4_4 + IsEndLoop_0_4_5 + IsEndLoop_0_4_6 + IsEndLoop_6_1_0 + IsEndLoop_6_1_1 + IsEndLoop_6_1_2 + IsEndLoop_6_1_3 + IsEndLoop_6_1_4 + IsEndLoop_6_1_5 + IsEndLoop_6_1_6 + IsEndLoop_3_3_0 + IsEndLoop_3_3_1 + IsEndLoop_3_3_2 + IsEndLoop_3_3_3 + IsEndLoop_3_3_4 + IsEndLoop_3_3_5 + IsEndLoop_3_3_6 + IsEndLoop_0_5_0 + IsEndLoop_0_5_1 + IsEndLoop_0_5_2 + IsEndLoop_0_5_3 + IsEndLoop_0_5_4 + IsEndLoop_0_5_5 + IsEndLoop_0_5_6 + IsEndLoop_6_2_0 + IsEndLoop_6_2_1 + IsEndLoop_6_2_2 + IsEndLoop_6_2_3 + IsEndLoop_6_2_4 + IsEndLoop_6_2_5 + IsEndLoop_6_2_6 + IsEndLoop_3_4_0 + IsEndLoop_3_4_1 + IsEndLoop_3_4_2 + IsEndLoop_3_4_3 + IsEndLoop_3_4_4 + IsEndLoop_3_4_5 + IsEndLoop_3_4_6 + IsEndLoop_1_0_0 + IsEndLoop_1_0_1 + IsEndLoop_1_0_2 + IsEndLoop_1_0_3 + IsEndLoop_1_0_4 + IsEndLoop_1_0_5 + IsEndLoop_1_0_6 + IsEndLoop_6_3_0 + IsEndLoop_6_3_1 + IsEndLoop_6_3_2 + IsEndLoop_6_3_3 + IsEndLoop_6_3_4 + IsEndLoop_6_3_5 + IsEndLoop_6_3_6 + IsEndLoop_3_5_0 + IsEndLoop_3_5_1 + IsEndLoop_3_5_2 + IsEndLoop_3_5_3 + IsEndLoop_3_5_4 + IsEndLoop_3_5_5 + IsEndLoop_3_5_6 + IsEndLoop_1_1_0 + IsEndLoop_1_1_1 + IsEndLoop_1_1_2 + IsEndLoop_1_1_3 + IsEndLoop_1_1_4 + IsEndLoop_1_1_5 + IsEndLoop_1_1_6 + IsEndLoop_6_4_0 + IsEndLoop_6_4_1 + IsEndLoop_6_4_2 + IsEndLoop_6_4_3 + IsEndLoop_6_4_4 + IsEndLoop_6_4_5 + IsEndLoop_6_4_6 + IsEndLoop_4_0_0 + IsEndLoop_4_0_1 + IsEndLoop_4_0_2 + IsEndLoop_4_0_3 + IsEndLoop_4_0_4 + IsEndLoop_4_0_5 + IsEndLoop_4_0_6 + IsEndLoop_1_2_0 + IsEndLoop_1_2_1 + IsEndLoop_1_2_2 + IsEndLoop_1_2_3 + IsEndLoop_1_2_4 + IsEndLoop_1_2_5 + IsEndLoop_1_2_6 + IsEndLoop_6_5_0 + IsEndLoop_6_5_1 + IsEndLoop_6_5_2 + IsEndLoop_6_5_3 + IsEndLoop_6_5_4 + IsEndLoop_6_5_5 + IsEndLoop_6_5_6 + IsEndLoop_4_1_0 + IsEndLoop_4_1_1 + IsEndLoop_4_1_2 + IsEndLoop_4_1_3 + IsEndLoop_4_1_4 + IsEndLoop_4_1_5 + IsEndLoop_4_1_6 + IsEndLoop_1_3_0 + IsEndLoop_1_3_1 + IsEndLoop_1_3_2 + IsEndLoop_1_3_3 + IsEndLoop_1_3_4 + IsEndLoop_1_3_5 + IsEndLoop_1_3_6 + IsEndLoop_4_2_0 + IsEndLoop_4_2_1 + IsEndLoop_4_2_2 + IsEndLoop_4_2_3 + IsEndLoop_4_2_4 + IsEndLoop_4_2_5 + IsEndLoop_4_2_6 + IsEndLoop_1_4_0 + IsEndLoop_1_4_1 + IsEndLoop_1_4_2 + IsEndLoop_1_4_3 + IsEndLoop_1_4_4 + IsEndLoop_1_4_5 + IsEndLoop_1_4_6 + IsEndLoop_4_3_0 + IsEndLoop_4_3_1 + IsEndLoop_4_3_2 + IsEndLoop_4_3_3 + IsEndLoop_4_3_4 + IsEndLoop_4_3_5 + IsEndLoop_4_3_6 + IsEndLoop_1_5_0 + IsEndLoop_1_5_1 + IsEndLoop_1_5_2 + IsEndLoop_1_5_3 + IsEndLoop_1_5_4 + IsEndLoop_1_5_5 + IsEndLoop_1_5_6 + IsEndLoop_4_4_0 + IsEndLoop_4_4_1 + IsEndLoop_4_4_2 + IsEndLoop_4_4_3 + IsEndLoop_4_4_4 + IsEndLoop_4_4_5 + IsEndLoop_4_4_6 + IsEndLoop_2_0_0 + IsEndLoop_2_0_1 + IsEndLoop_2_0_2 + IsEndLoop_2_0_3 + IsEndLoop_2_0_4 + IsEndLoop_2_0_5 + IsEndLoop_2_0_6 + IsEndLoop_4_5_0 + IsEndLoop_4_5_1 + IsEndLoop_4_5_2 + IsEndLoop_4_5_3 + IsEndLoop_4_5_4 + IsEndLoop_4_5_5 + IsEndLoop_4_5_6 + IsEndLoop_2_1_0 + IsEndLoop_2_1_1 + IsEndLoop_2_1_2 + IsEndLoop_2_1_3 + IsEndLoop_2_1_4 + IsEndLoop_2_1_5 + IsEndLoop_2_1_6 + IsEndLoop_5_0_0 + IsEndLoop_5_0_1 + IsEndLoop_5_0_2 + IsEndLoop_5_0_3 + IsEndLoop_5_0_4 + IsEndLoop_5_0_5 + IsEndLoop_5_0_6 + IsEndLoop_2_2_0 + IsEndLoop_2_2_1 + IsEndLoop_2_2_2 + IsEndLoop_2_2_3 + IsEndLoop_2_2_4 + IsEndLoop_2_2_5 + IsEndLoop_2_2_6 + IsEndLoop_5_1_0 + IsEndLoop_5_1_1 + IsEndLoop_5_1_2 + IsEndLoop_5_1_3 + IsEndLoop_5_1_4 + IsEndLoop_5_1_5 + IsEndLoop_5_1_6 + IsEndLoop_2_3_0 + IsEndLoop_2_3_1 + IsEndLoop_2_3_2 + IsEndLoop_2_3_3 + IsEndLoop_2_3_4 + IsEndLoop_2_3_5 + IsEndLoop_2_3_6 + IsEndLoop_5_2_0 + IsEndLoop_5_2_1 + IsEndLoop_5_2_2 + IsEndLoop_5_2_3 + IsEndLoop_5_2_4 + IsEndLoop_5_2_5 + IsEndLoop_2_4_0 + IsEndLoop_2_4_1 + IsEndLoop_2_4_2 + IsEndLoop_2_4_3 + IsEndLoop_2_4_4 + IsEndLoop_2_4_5 + IsEndLoop_2_4_6 + IsEndLoop_5_2_6) : MAX(Turn_2_0 + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_2_4 + Turn_2_5 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_3_4 + Turn_3_5 + Turn_4_0 + Turn_4_1 + Turn_4_2 + Turn_4_3 + Turn_4_4 + Turn_4_5 + Turn_5_0 + Turn_5_1 + Turn_5_2 + Turn_5_3 + Turn_5_4 + Turn_5_5 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_0_5 + Turn_1_0 + Turn_1_1 + Turn_1_2 + Turn_1_3 + Turn_1_4 + Turn_1_5 + Turn_1_6 + Turn_0_6 + Turn_5_6 + Turn_4_6 + Turn_3_6 + Turn_2_6) : MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5 + CS_6) collection of formulas 0 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(AskForSection_5_0 + AskForSection_5_1 + AskForSection_5_2 + AskForSection_5_3 + AskForSection_5_4 + AskForSection_5_5 + AskForSection_6_0 + AskForSection_6_1 + AskForSection_6_2 + AskForSection_6_3 + AskForSection_6_4 + AskForSection_6_5 + AskForSection_0_0 + AskForSection_0_1 + AskForSection_0_2 + AskForSection_0_3 + AskForSection_0_4 + AskForSection_0_5 + AskForSection_1_0 + AskForSection_1_... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 9 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 96256 edges, 9955 markings/sec, 0 secs 208601 edges, 9775 markings/sec, 5 secs 331080 edges, 9658 markings/sec, 10 secs 486838 edges, 9369 markings/sec, 15 secs 610178 edges, 9639 markings/sec, 20 secs 741559 edges, 9561 markings/sec, 25 secs 943416 edges, 9018 markings/sec, 30 secs 1088119 edges, 9444 markings/sec, 35 secs 1242152 edges, 9370 markings/sec, 40 secs 1437735 edges, 9055 markings/sec, 45 secs 1652276 edges, 8873 markings/sec, 50 secs 1913068 edges, 8550 markings/sec, 55 secs 2174606 edges, 8517 markings/sec, 60 secs 2427291 edges, 8259 markings/sec, 65 secs 2679692 edges, 8258 markings/sec, 70 secs 2927335 edges, 8311 markings/sec, 75 secs 3173022 edges, 8255 markings/sec, 80 secs 3424216 edges, 8246 markings/sec, 85 secs 3678121 edges, 8096 markings/sec, 90 secs 3931093 edges, 8245 markings/sec, 95 secs 4184727 edges, 8185 markings/sec, 100 secs 4434194 edges, 8278 markings/sec, 105 secs 4680339 edges, 8315 markings/sec, 110 secs 4929277 edges, 8304 markings/sec, 115 secs 5180128 edges, 8312 markings/sec, 120 secs 5437384 edges, 8324 markings/sec, 125 secs 5692184 edges, 8302 markings/sec, 130 secs 5945227 edges, 8248 markings/sec, 135 secs 6187276 edges, 8234 markings/sec, 140 secs 6419465 edges, 8506 markings/sec, 145 secs 6649242 edges, 8457 markings/sec, 150 secs 6879193 edges, 8453 markings/sec, 155 secs 7121986 edges, 8271 markings/sec, 160 secs 7356665 edges, 8401 markings/sec, 165 secs 7589042 edges, 8515 markings/sec, 170 secs 7817807 edges, 8393 markings/sec, 175 secs 8051239 edges, 8390 markings/sec, 180 secs 8296826 edges, 8243 markings/sec, 185 secs 8548744 edges, 8220 markings/sec, 190 secs 8777270 edges, 8463 markings/sec, 195 secs 9004491 edges, 8471 markings/sec, 200 secs 9230514 edges, 8428 markings/sec, 205 secs 9469321 edges, 8285 markings/sec, 210 secs 9706686 edges, 8255 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(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_0_5 + TestIdentity_1_0_6 + TestIdentity_3_4_5 + TestIdentity_6_3_0 + TestIdentity_6_3_1 + TestIdentity_6_3_2 + TestIdentity_6_3_3 + TestIdentity_6_3_4 + TestIdentity_6_3_5 + TestIdentity_6_3_6 + TestIdentity_3_5_0 + TestIdentity_3_5_1 + TestIdentity_3_5_2 + TestIdentity_3_5_3... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 9 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 131802 edges, 10653 markings/sec, 0 secs 267181 edges, 10508 markings/sec, 5 secs 407072 edges, 10478 markings/sec, 10 secs 554335 edges, 10391 markings/sec, 15 secs 700467 edges, 10362 markings/sec, 20 secs 848726 edges, 10313 markings/sec, 25 secs 998190 edges, 10297 markings/sec, 30 secs 1149392 edges, 10257 markings/sec, 35 secs 1302039 edges, 10221 markings/sec, 40 secs 1455454 edges, 10200 markings/sec, 45 secs 1611833 edges, 10160 markings/sec, 50 secs 1772159 edges, 10118 markings/sec, 55 secs 1931252 edges, 10106 markings/sec, 60 secs 2091660 edges, 10078 markings/sec, 65 secs 2255308 edges, 10047 markings/sec, 70 secs 2420159 edges, 10030 markings/sec, 75 secs 2586026 edges, 9987 markings/sec, 80 secs 2751570 edges, 9992 markings/sec, 85 secs 2918915 edges, 9948 markings/sec, 90 secs 3088934 edges, 9920 markings/sec, 95 secs 3256542 edges, 9951 markings/sec, 100 secs 3427948 edges, 9877 markings/sec, 105 secs 3617329 edges, 9685 markings/sec, 110 secs 3795233 edges, 9862 markings/sec, 115 secs 4104116 edges, 8789 markings/sec, 120 secs 4405153 edges, 8797 markings/sec, 125 secs 4715584 edges, 8750 markings/sec, 130 secs 5026700 edges, 8750 markings/sec, 135 secs 5335432 edges, 8786 markings/sec, 140 secs 5645692 edges, 8889 markings/sec, 145 secs 5950050 edges, 8804 markings/sec, 150 secs 6255823 edges, 8868 markings/sec, 155 secs 6573106 edges, 8799 markings/sec, 160 secs 6884292 edges, 8737 markings/sec, 165 secs 7194314 edges, 8877 markings/sec, 170 secs 7490196 edges, 8759 markings/sec, 175 secs 7796516 edges, 8767 markings/sec, 180 secs 8109585 edges, 8718 markings/sec, 185 secs 8422151 edges, 8768 markings/sec, 190 secs 8730275 edges, 8824 markings/sec, 195 secs 9045758 edges, 8765 markings/sec, 200 secs 9356088 edges, 8903 markings/sec, 205 secs 9658543 edges, 8735 markings/sec, 210 secs 9946423 edges, 8609 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(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5 + CS_6) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 9 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 74243 edges, 7055 markings/sec, 0 secs 195125 edges, 9855 markings/sec, 5 secs 323698 edges, 9621 markings/sec, 10 secs 463065 edges, 9905 markings/sec, 15 secs 608169 edges, 9838 markings/sec, 20 secs 764754 edges, 9741 markings/sec, 25 secs 973109 edges, 9433 markings/sec, 30 secs 1125982 edges, 9729 markings/sec, 35 secs 1286347 edges, 9651 markings/sec, 40 secs 1474814 edges, 9474 markings/sec, 45 secs 1675387 edges, 9387 markings/sec, 50 secs 1921722 edges, 9050 markings/sec, 55 secs 2174379 edges, 9005 markings/sec, 60 secs 2429301 edges, 9005 markings/sec, 65 secs 2687302 edges, 8978 markings/sec, 70 secs 2962506 edges, 8614 markings/sec, 75 secs 3226692 edges, 8814 markings/sec, 80 secs 3481817 edges, 8934 markings/sec, 85 secs 3733433 edges, 9051 markings/sec, 90 secs 3985515 edges, 9005 markings/sec, 95 secs 4235464 edges, 8957 markings/sec, 100 secs 4487488 edges, 8924 markings/sec, 105 secs 4730139 edges, 9035 markings/sec, 110 secs 4980605 edges, 8907 markings/sec, 115 secs 5224386 edges, 9065 markings/sec, 120 secs 5477101 edges, 8979 markings/sec, 125 secs 5747780 edges, 8641 markings/sec, 130 secs 5996254 edges, 8841 markings/sec, 135 secs 6250627 edges, 8860 markings/sec, 140 secs 6504325 edges, 8760 markings/sec, 145 secs 6763657 edges, 8676 markings/sec, 150 secs 7022661 edges, 8911 markings/sec, 155 secs 7275372 edges, 8862 markings/sec, 160 secs 7527569 edges, 8811 markings/sec, 165 secs 7779829 edges, 8796 markings/sec, 170 secs 8031065 edges, 8899 markings/sec, 175 secs 8289608 edges, 8905 markings/sec, 180 secs 8550590 edges, 8776 markings/sec, 185 secs 8819455 edges, 8702 markings/sec, 190 secs 9072334 edges, 8725 markings/sec, 195 secs 9327398 edges, 8876 markings/sec, 200 secs 9583585 edges, 8849 markings/sec, 205 secs 9851187 edges, 8538 markings/sec, 210 secs 10120932 edges, 8451 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(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_0_5 + IsEndLoop_0_0_6 + IsEndLoop_5_3_0 + IsEndLoop_5_3_1 + IsEndLoop_5_3_2 + IsEndLoop_5_3_3 + IsEndLoop_5_3_4 + IsEndLoop_5_3_5 + IsEndLoop_5_3_6 + IsEndLoop_2_5_0 + IsEndLoop_2_5_1 + IsEndLoop_2_5_2 + IsEndLoop_2_5_3 + IsEndLoop_2_5_4 + IsEndLoop_2_5_5 + IsEndLoop_2_5_6 + IsEndLoop_0_1_0 + ... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 9 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 74730 edges, 9869 markings/sec, 0 secs 156788 edges, 9715 markings/sec, 5 secs 239758 edges, 9644 markings/sec, 10 secs 325845 edges, 9613 markings/sec, 15 secs 417278 edges, 9555 markings/sec, 20 secs 512637 edges, 9528 markings/sec, 25 secs 612192 edges, 9488 markings/sec, 30 secs 718255 edges, 9414 markings/sec, 35 secs 825989 edges, 9375 markings/sec, 40 secs 942245 edges, 9324 markings/sec, 45 secs 1098928 edges, 9058 markings/sec, 50 secs 1230512 edges, 9203 markings/sec, 55 secs 1477989 edges, 8333 markings/sec, 60 secs 1735971 edges, 8403 markings/sec, 65 secs 1984944 edges, 8419 markings/sec, 70 secs 2243742 edges, 8312 markings/sec, 75 secs 2488529 edges, 8385 markings/sec, 80 secs 2750491 edges, 8312 markings/sec, 85 secs 3003415 edges, 8374 markings/sec, 90 secs 3260529 edges, 8344 markings/sec, 95 secs 3508264 edges, 8347 markings/sec, 100 secs 3762292 edges, 8300 markings/sec, 105 secs 4004937 edges, 8096 markings/sec, 110 secs 4250714 edges, 7912 markings/sec, 115 secs 4500565 edges, 7930 markings/sec, 120 secs 4723147 edges, 8063 markings/sec, 125 secs 4963656 edges, 7891 markings/sec, 130 secs 5220659 edges, 7852 markings/sec, 135 secs 5456890 edges, 7938 markings/sec, 140 secs 5697251 edges, 7799 markings/sec, 145 secs 5947622 edges, 7654 markings/sec, 150 secs 6197060 edges, 7681 markings/sec, 155 secs 6434473 edges, 7783 markings/sec, 160 secs 6688220 edges, 7758 markings/sec, 165 secs 6950652 edges, 7727 markings/sec, 170 secs 7195852 edges, 7892 markings/sec, 175 secs 7435651 edges, 7992 markings/sec, 180 secs 7688677 edges, 7765 markings/sec, 185 secs 7945484 edges, 7745 markings/sec, 190 secs 8196365 edges, 7779 markings/sec, 195 secs 8445001 edges, 7678 markings/sec, 200 secs 8690920 edges, 7581 markings/sec, 205 secs 8926084 edges, 7647 markings/sec, 210 secs 9160539 edges, 7678 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(BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_3_6 + BeginLoop_1_5_0 + BeginLoop_1_5_1 + BeginLoop_1_5_2 + BeginLoop_1_5_3 + BeginLoop_1_5_4 + BeginLoop_1_5_5 + BeginLoop_1_5_6 + BeginLoop_4_4_0 + BeginLoop_4_4_1 + BeginLoop_4_4_2 + BeginLoop_4_4_3 + BeginLoop_4_4_4 + BeginLoop_4_4_5 + BeginLoop_4_4_6 + BeginLoop_2_0_0 + ... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 9 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 119168 edges, 9506 markings/sec, 0 secs 241937 edges, 9422 markings/sec, 5 secs 368324 edges, 9355 markings/sec, 10 secs 497434 edges, 9313 markings/sec, 15 secs 627965 edges, 9286 markings/sec, 20 secs 760144 edges, 9242 markings/sec, 25 secs 895785 edges, 9208 markings/sec, 30 secs 1030696 edges, 9206 markings/sec, 35 secs 1168947 edges, 9159 markings/sec, 40 secs 1307589 edges, 9149 markings/sec, 45 secs 1448231 edges, 9128 markings/sec, 50 secs 1590287 edges, 9108 markings/sec, 55 secs 1783711 edges, 8675 markings/sec, 60 secs 2062226 edges, 8079 markings/sec, 65 secs 2349563 edges, 7986 markings/sec, 70 secs 2623806 edges, 7995 markings/sec, 75 secs 2907744 edges, 7945 markings/sec, 80 secs 3189396 edges, 8074 markings/sec, 85 secs 3477303 edges, 8049 markings/sec, 90 secs 3759457 edges, 8033 markings/sec, 95 secs 4040254 edges, 7973 markings/sec, 100 secs 4318802 edges, 8013 markings/sec, 105 secs 4597317 edges, 7945 markings/sec, 110 secs 4874143 edges, 8006 markings/sec, 115 secs 5153441 edges, 7958 markings/sec, 120 secs 5434391 edges, 7947 markings/sec, 125 secs 5711488 edges, 7867 markings/sec, 130 secs 5993799 edges, 8108 markings/sec, 135 secs 6273377 edges, 8014 markings/sec, 140 secs 6548144 edges, 8029 markings/sec, 145 secs 6824550 edges, 7871 markings/sec, 150 secs 7108531 edges, 7953 markings/sec, 155 secs 7388082 edges, 7953 markings/sec, 160 secs 7665381 edges, 8081 markings/sec, 165 secs 7948877 edges, 7990 markings/sec, 170 secs 8227815 edges, 7981 markings/sec, 175 secs 8504536 edges, 7858 markings/sec, 180 secs 8777801 edges, 7815 markings/sec, 185 secs 9054513 edges, 8007 markings/sec, 190 secs 9333927 edges, 7916 markings/sec, 195 secs 9607895 edges, 7942 markings/sec, 200 secs 9887476 edges, 7983 markings/sec, 205 secs 10168030 edges, 8019 markings/sec, 210 secs 10448782 edges, 7918 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(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_0_5 + TestIdentity_1_0_6 + TestIdentity_3_4_5 + TestIdentity_6_3_0 + TestIdentity_6_3_1 + TestIdentity_6_3_2 + TestIdentity_6_3_3 + TestIdentity_6_3_4 + TestIdentity_6_3_5 + TestIdentity_6_3_6 + TestIdentity_3_5_0 + TestIdentity_3_5_1 + TestIdentity_3_5_2 + TestIdentity_3_5_3... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 9 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 129838 edges, 10484 markings/sec, 0 secs 262696 edges, 10344 markings/sec, 5 secs 399893 edges, 10306 markings/sec, 10 secs 544363 edges, 10219 markings/sec, 15 secs 688302 edges, 10187 markings/sec, 20 secs 833748 edges, 10155 markings/sec, 25 secs 981245 edges, 10116 markings/sec, 30 secs 1129056 edges, 10080 markings/sec, 35 secs 1278941 edges, 10045 markings/sec, 40 secs 1429405 edges, 10026 markings/sec, 45 secs 1583349 edges, 9990 markings/sec, 50 secs 1738934 edges, 9957 markings/sec, 55 secs 1896035 edges, 9928 markings/sec, 60 secs 2053240 edges, 9935 markings/sec, 65 secs 2214317 edges, 9872 markings/sec, 70 secs 2376317 edges, 9879 markings/sec, 75 secs 2538600 edges, 9843 markings/sec, 80 secs 2702878 edges, 9814 markings/sec, 85 secs 2866297 edges, 9825 markings/sec, 90 secs 3032235 edges, 9793 markings/sec, 95 secs 3197761 edges, 9792 markings/sec, 100 secs 3365145 edges, 9747 markings/sec, 105 secs 3536779 edges, 9696 markings/sec, 110 secs 3725494 edges, 9564 markings/sec, 115 secs 3978807 edges, 9074 markings/sec, 120 secs 4274999 edges, 8673 markings/sec, 125 secs 4580760 edges, 8606 markings/sec, 130 secs 4886117 edges, 8653 markings/sec, 135 secs 5185800 edges, 8636 markings/sec, 140 secs 5494031 edges, 8701 markings/sec, 145 secs 5803542 edges, 8754 markings/sec, 150 secs 6103093 edges, 8640 markings/sec, 155 secs 6411145 edges, 8767 markings/sec, 160 secs 6719227 edges, 8628 markings/sec, 165 secs 7020083 edges, 8696 markings/sec, 170 secs 7328057 edges, 8670 markings/sec, 175 secs 7629060 edges, 8572 markings/sec, 180 secs 7929721 edges, 8636 markings/sec, 185 secs 8235941 edges, 8702 markings/sec, 190 secs 8539992 edges, 8622 markings/sec, 195 secs 8844599 edges, 8748 markings/sec, 200 secs 9131934 edges, 8854 markings/sec, 205 secs 9438993 edges, 8697 markings/sec, 210 secs 9764915 edges, 8535 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 6 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(TestTurn_0_0 + TestTurn_0_1 + TestTurn_0_2 + TestTurn_0_3 + TestTurn_0_4 + TestTurn_0_5 + TestTurn_1_0 + TestTurn_1_1 + TestTurn_1_2 + TestTurn_1_3 + TestTurn_1_4 + TestTurn_1_5 + TestTurn_2_0 + TestTurn_2_1 + TestTurn_2_2 + TestTurn_2_3 + TestTurn_2_4 + TestTurn_2_5 + TestTurn_3_0 + TestTurn_3_1 + TestTurn_3_2 + TestTurn_3_3 + TestTurn_3_4 + TestTurn_3_5 + TestTurn_4_0 + TestTurn_4_1 + TestTu... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 9 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 152220 edges, 11215 markings/sec, 0 secs 306216 edges, 10666 markings/sec, 5 secs 461196 edges, 10647 markings/sec, 10 secs 627619 edges, 10919 markings/sec, 15 secs 797562 edges, 10931 markings/sec, 20 secs 971437 edges, 10847 markings/sec, 25 secs 1148093 edges, 10825 markings/sec, 30 secs 1367489 edges, 10441 markings/sec, 35 secs 1696099 edges, 9553 markings/sec, 40 secs 2026192 edges, 9498 markings/sec, 45 secs 2355392 edges, 9353 markings/sec, 50 secs 2697291 edges, 9308 markings/sec, 55 secs 3028652 edges, 9490 markings/sec, 60 secs 3354557 edges, 9581 markings/sec, 65 secs 3682403 edges, 9499 markings/sec, 70 secs 4011305 edges, 9312 markings/sec, 75 secs 4347739 edges, 9407 markings/sec, 80 secs 4679430 edges, 9447 markings/sec, 85 secs 5002033 edges, 9443 markings/sec, 90 secs 5330912 edges, 9348 markings/sec, 95 secs 5671649 edges, 9329 markings/sec, 100 secs 5992161 edges, 9634 markings/sec, 105 secs 6332920 edges, 9384 markings/sec, 110 secs 6653937 edges, 9474 markings/sec, 115 secs 6994655 edges, 9356 markings/sec, 120 secs 7315964 edges, 9681 markings/sec, 125 secs 7666800 edges, 9492 markings/sec, 130 secs 7989204 edges, 9474 markings/sec, 135 secs 8325328 edges, 9302 markings/sec, 140 secs 8652157 edges, 9486 markings/sec, 145 secs 8973536 edges, 9556 markings/sec, 150 secs 9316138 edges, 9423 markings/sec, 155 secs 9648582 edges, 9491 markings/sec, 160 secs 9966275 edges, 9461 markings/sec, 165 secs 10310838 edges, 9286 markings/sec, 170 secs 10639746 edges, 9515 markings/sec, 175 secs 10974325 edges, 9468 markings/sec, 180 secs 11293762 edges, 9480 markings/sec, 185 secs 11629378 edges, 9259 markings/sec, 190 secs 11957949 edges, 9464 markings/sec, 195 secs 12291752 edges, 9416 markings/sec, 200 secs 12617913 edges, 9337 markings/sec, 205 secs 12943242 edges, 9279 markings/sec, 210 secs 13267236 edges, 9281 markings/sec, 215 secs limit reached - aborting aborted or communication problem between parent and child process 7 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Turn_2_0 + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_2_4 + Turn_2_5 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_3_4 + Turn_3_5 + Turn_4_0 + Turn_4_1 + Turn_4_2 + Turn_4_3 + Turn_4_4 + Turn_4_5 + Turn_5_0 + Turn_5_1 + Turn_5_2 + Turn_5_3 + Turn_5_4 + Turn_5_5 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_0_5 + Turn_1_0 + Turn_1_1 + Turn_1_2 + Turn_1_3 + Turn_1_4 + Turn_1_5 + ... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 9 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) value of the given expression is 6 ================== 8 will run for 249 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(EndTurn_1_0 + EndTurn_1_1 + EndTurn_1_2 + EndTurn_1_3 + EndTurn_1_4 + EndTurn_1_5 + EndTurn_2_0 + EndTurn_2_1 + EndTurn_2_2 + EndTurn_2_3 + EndTurn_2_4 + EndTurn_2_5 + EndTurn_3_0 + EndTurn_3_1 + EndTurn_3_2 + EndTurn_3_3 + EndTurn_3_4 + EndTurn_3_5 + EndTurn_4_0 + EndTurn_4_1 + EndTurn_4_2 + EndTurn_4_3 + EndTurn_4_4 + EndTurn_4_5 + EndTurn_5_0 + EndTurn_5_1 + EndTurn_5_2 + EndTurn_5_3 + EndT... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 9 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 114405 edges, 11366 markings/sec, 0 secs 248914 edges, 11165 markings/sec, 5 secs 391775 edges, 11083 markings/sec, 10 secs 543182 edges, 10983 markings/sec, 15 secs 726930 edges, 10669 markings/sec, 20 secs 916179 edges, 10622 markings/sec, 25 secs 1089532 edges, 10750 markings/sec, 30 secs 1272041 edges, 10653 markings/sec, 35 secs 1528184 edges, 10019 markings/sec, 40 secs 1802790 edges, 10063 markings/sec, 45 secs 2078142 edges, 10099 markings/sec, 50 secs 2347869 edges, 9956 markings/sec, 55 secs 2619280 edges, 10003 markings/sec, 60 secs 2904221 edges, 9812 markings/sec, 65 secs 3199508 edges, 9673 markings/sec, 70 secs 3485220 edges, 9852 markings/sec, 75 secs 3755634 edges, 10104 markings/sec, 80 secs 4029222 edges, 10021 markings/sec, 85 secs 4311576 edges, 9914 markings/sec, 90 secs 4589693 edges, 9991 markings/sec, 95 secs 4891109 edges, 9589 markings/sec, 100 secs 5176629 edges, 9829 markings/sec, 105 secs 5448425 edges, 9920 markings/sec, 110 secs 5732961 edges, 9787 markings/sec, 115 secs 6003501 edges, 9844 markings/sec, 120 secs 6297272 edges, 9627 markings/sec, 125 secs 6598673 edges, 9629 markings/sec, 130 secs 6868977 edges, 10079 markings/sec, 135 secs 7148663 edges, 9898 markings/sec, 140 secs 7433850 edges, 9748 markings/sec, 145 secs 7707241 edges, 9851 markings/sec, 150 secs 7981665 edges, 9901 markings/sec, 155 secs 8257049 edges, 9914 markings/sec, 160 secs 8525597 edges, 9932 markings/sec, 165 secs 8824674 edges, 9617 markings/sec, 170 secs 9101337 edges, 9908 markings/sec, 175 secs 9377784 edges, 10035 markings/sec, 180 secs 9652600 edges, 9873 markings/sec, 185 secs 9947202 edges, 9525 markings/sec, 190 secs 10241338 edges, 9464 markings/sec, 195 secs 10523176 edges, 9803 markings/sec, 200 secs 10823957 edges, 9557 markings/sec, 205 secs 11122921 edges, 9565 markings/sec, 210 secs 11407239 edges, 9656 markings/sec, 215 secs 11698238 edges, 9570 markings/sec, 220 secs 11989949 edges, 9643 markings/sec, 225 secs 12276274 edges, 9714 markings/sec, 230 secs 12575273 edges, 9520 markings/sec, 235 secs 12871678 edges, 9525 markings/sec, 240 secs limit reached - aborting aborted or communication problem between parent and child process 9 will run for 249 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5 + CS_6) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 9 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 117398 edges, 10737 markings/sec, 0 secs 251431 edges, 10508 markings/sec, 5 secs 394947 edges, 10400 markings/sec, 10 secs 543358 edges, 10342 markings/sec, 15 secs 699965 edges, 10247 markings/sec, 20 secs 897594 edges, 9965 markings/sec, 25 secs 1080401 edges, 10080 markings/sec, 30 secs 1244191 edges, 10145 markings/sec, 35 secs 1429132 edges, 9986 markings/sec, 40 secs 1636320 edges, 9821 markings/sec, 45 secs 1892911 edges, 9413 markings/sec, 50 secs 2154318 edges, 9370 markings/sec, 55 secs 2419340 edges, 9370 markings/sec, 60 secs 2687635 edges, 9357 markings/sec, 65 secs 2974339 edges, 8955 markings/sec, 70 secs 3247899 edges, 9196 markings/sec, 75 secs 3512802 edges, 9340 markings/sec, 80 secs 3777594 edges, 9421 markings/sec, 85 secs 4040505 edges, 9357 markings/sec, 90 secs 4299110 edges, 9386 markings/sec, 95 secs 4561856 edges, 9397 markings/sec, 100 secs 4818303 edges, 9337 markings/sec, 105 secs 5075732 edges, 9362 markings/sec, 110 secs 5338068 edges, 9363 markings/sec, 115 secs 5602586 edges, 9317 markings/sec, 120 secs 5877170 edges, 9059 markings/sec, 125 secs 6134104 edges, 9287 markings/sec, 130 secs 6401797 edges, 9197 markings/sec, 135 secs 6676167 edges, 8900 markings/sec, 140 secs 6942946 edges, 9297 markings/sec, 145 secs 7207719 edges, 9293 markings/sec, 150 secs 7473110 edges, 9227 markings/sec, 155 secs 7733494 edges, 9197 markings/sec, 160 secs 7998282 edges, 9259 markings/sec, 165 secs 8267540 edges, 9247 markings/sec, 170 secs 8537428 edges, 9159 markings/sec, 175 secs 8817098 edges, 9072 markings/sec, 180 secs 9080480 edges, 9077 markings/sec, 185 secs 9347045 edges, 9253 markings/sec, 190 secs 9613148 edges, 9214 markings/sec, 195 secs 9893626 edges, 8886 markings/sec, 200 secs 10173535 edges, 8862 markings/sec, 205 secs 10442959 edges, 9152 markings/sec, 210 secs 10706255 edges, 9172 markings/sec, 215 secs 10972195 edges, 9128 markings/sec, 220 secs 11241579 edges, 9132 markings/sec, 225 secs 11475615 edges, 9607 markings/sec, 230 secs 11732309 edges, 9384 markings/sec, 235 secs 11998969 edges, 9161 markings/sec, 240 secs limit reached - aborting aborted or communication problem between parent and child process 10 will run for 249 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Idle_0 + Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5 + Idle_6) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 9 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 114789 edges, 10477 markings/sec, 0 secs 244583 edges, 10289 markings/sec, 5 secs 383447 edges, 10193 markings/sec, 10 secs 532805 edges, 10069 markings/sec, 15 secs 684524 edges, 10037 markings/sec, 20 secs 904961 edges, 9587 markings/sec, 25 secs 1062283 edges, 9959 markings/sec, 30 secs 1220625 edges, 9854 markings/sec, 35 secs 1424004 edges, 9577 markings/sec, 40 secs 1587459 edges, 9873 markings/sec, 45 secs 1834620 edges, 9290 markings/sec, 50 secs 2079506 edges, 9240 markings/sec, 55 secs 2347787 edges, 9114 markings/sec, 60 secs 2609396 edges, 9182 markings/sec, 65 secs 2875699 edges, 9106 markings/sec, 70 secs 3129758 edges, 9241 markings/sec, 75 secs 3385422 edges, 9313 markings/sec, 80 secs 3647627 edges, 9132 markings/sec, 85 secs 3912491 edges, 9074 markings/sec, 90 secs 4172120 edges, 9085 markings/sec, 95 secs 4432595 edges, 9097 markings/sec, 100 secs 4716969 edges, 8762 markings/sec, 105 secs 4996400 edges, 8808 markings/sec, 110 secs 5262301 edges, 8955 markings/sec, 115 secs 5515612 edges, 9250 markings/sec, 120 secs 5779555 edges, 9129 markings/sec, 125 secs 6027839 edges, 9216 markings/sec, 130 secs 6289527 edges, 9017 markings/sec, 135 secs 6541212 edges, 9181 markings/sec, 140 secs 6792264 edges, 9257 markings/sec, 145 secs 7055798 edges, 9068 markings/sec, 150 secs 7319152 edges, 9055 markings/sec, 155 secs 7572795 edges, 9198 markings/sec, 160 secs 7836573 edges, 8945 markings/sec, 165 secs 8103404 edges, 8984 markings/sec, 170 secs 8365221 edges, 8573 markings/sec, 175 secs 8620708 edges, 8727 markings/sec, 180 secs 8876963 edges, 9106 markings/sec, 185 secs 9136842 edges, 8986 markings/sec, 190 secs 9404973 edges, 8728 markings/sec, 195 secs 9680399 edges, 8655 markings/sec, 200 secs 9946287 edges, 8777 markings/sec, 205 secs 10205349 edges, 8983 markings/sec, 210 secs 10464351 edges, 8919 markings/sec, 215 secs 10720641 edges, 8901 markings/sec, 220 secs 10979366 edges, 8913 markings/sec, 225 secs 11236765 edges, 8880 markings/sec, 230 secs 11467050 edges, 9361 markings/sec, 235 secs 11715591 edges, 9176 markings/sec, 240 secs limit reached - aborting aborted or communication problem between parent and child process 11 will run for 249 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Turn_2_0 + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_2_4 + Turn_2_5 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_3_4 + Turn_3_5 + Turn_4_0 + Turn_4_1 + Turn_4_2 + Turn_4_3 + Turn_4_4 + Turn_4_5 + Turn_5_0 + Turn_5_1 + Turn_5_2 + Turn_5_3 + Turn_5_4 + Turn_5_5 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_0_5 + Turn_1_0 + Turn_1_1 + Turn_1_2 + Turn_1_3 + Turn_1_4 + Turn_1_5 + ... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 9 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) value of the given expression is 6 ================== 12 will run for 311 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(EndTurn_1_0 + EndTurn_1_1 + EndTurn_1_2 + EndTurn_1_3 + EndTurn_1_4 + EndTurn_1_5 + EndTurn_2_0 + EndTurn_2_1 + EndTurn_2_2 + EndTurn_2_3 + EndTurn_2_4 + EndTurn_2_5 + EndTurn_3_0 + EndTurn_3_1 + EndTurn_3_2 + EndTurn_3_3 + EndTurn_3_4 + EndTurn_3_5 + EndTurn_4_0 + EndTurn_4_1 + EndTurn_4_2 + EndTurn_4_3 + EndTurn_4_4 + EndTurn_4_5 + EndTurn_5_0 + EndTurn_5_1 + EndTurn_5_2 + EndTurn_5_3 + EndT... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 9 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 114454 edges, 11370 markings/sec, 0 secs 248489 edges, 11129 markings/sec, 5 secs 390519 edges, 11019 markings/sec, 10 secs 541281 edges, 10943 markings/sec, 15 secs 725265 edges, 10686 markings/sec, 20 secs 914064 edges, 10578 markings/sec, 25 secs 1086823 edges, 10726 markings/sec, 30 secs 1268849 edges, 10635 markings/sec, 35 secs 1522715 edges, 10027 markings/sec, 40 secs 1796476 edges, 10034 markings/sec, 45 secs 2070783 edges, 10081 markings/sec, 50 secs 2337755 edges, 9876 markings/sec, 55 secs 2608066 edges, 9979 markings/sec, 60 secs 2893017 edges, 9786 markings/sec, 65 secs 3187500 edges, 9642 markings/sec, 70 secs 3472536 edges, 9825 markings/sec, 75 secs 3742729 edges, 10046 markings/sec, 80 secs 4013706 edges, 9934 markings/sec, 85 secs 4293814 edges, 9851 markings/sec, 90 secs 4571146 edges, 9897 markings/sec, 95 secs 4866832 edges, 9551 markings/sec, 100 secs 5153552 edges, 9744 markings/sec, 105 secs 5420204 edges, 9882 markings/sec, 110 secs 5706207 edges, 9663 markings/sec, 115 secs 5969913 edges, 9861 markings/sec, 120 secs 6266025 edges, 9502 markings/sec, 125 secs 6563683 edges, 9557 markings/sec, 130 secs 6834071 edges, 9986 markings/sec, 135 secs 7110135 edges, 9857 markings/sec, 140 secs 7396107 edges, 9645 markings/sec, 145 secs 7664132 edges, 9864 markings/sec, 150 secs 7936994 edges, 9821 markings/sec, 155 secs 8213460 edges, 9794 markings/sec, 160 secs 8475487 edges, 9824 markings/sec, 165 secs 8766383 edges, 9516 markings/sec, 170 secs 9045653 edges, 9768 markings/sec, 175 secs 9318578 edges, 9971 markings/sec, 180 secs 9596475 edges, 9771 markings/sec, 185 secs 9879884 edges, 9606 markings/sec, 190 secs 10174984 edges, 9372 markings/sec, 195 secs 10452179 edges, 9742 markings/sec, 200 secs 10753615 edges, 9496 markings/sec, 205 secs 11050193 edges, 9496 markings/sec, 210 secs 11338862 edges, 9568 markings/sec, 215 secs 11620613 edges, 9593 markings/sec, 220 secs 11916339 edges, 9468 markings/sec, 225 secs 12196425 edges, 9756 markings/sec, 230 secs 12492223 edges, 9405 markings/sec, 235 secs 12789391 edges, 9512 markings/sec, 240 secs 13082911 edges, 9296 markings/sec, 245 secs 13377957 edges, 9469 markings/sec, 250 secs 13656872 edges, 9786 markings/sec, 255 secs 13932379 edges, 9808 markings/sec, 260 secs 14199533 edges, 9820 markings/sec, 265 secs 14465537 edges, 9902 markings/sec, 270 secs 14752169 edges, 9692 markings/sec, 275 secs 15024095 edges, 9910 markings/sec, 280 secs 15300090 edges, 9808 markings/sec, 285 secs 15584614 edges, 9533 markings/sec, 290 secs 15856983 edges, 9764 markings/sec, 295 secs 16127832 edges, 9690 markings/sec, 300 secs 16419954 edges, 9551 markings/sec, 305 secs limit reached - aborting aborted or communication problem between parent and child process 13 will run for 311 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_0_5 + IsEndLoop_0_0_6 + IsEndLoop_5_3_0 + IsEndLoop_5_3_1 + IsEndLoop_5_3_2 + IsEndLoop_5_3_3 + IsEndLoop_5_3_4 + IsEndLoop_5_3_5 + IsEndLoop_5_3_6 + IsEndLoop_2_5_0 + IsEndLoop_2_5_1 + IsEndLoop_2_5_2 + IsEndLoop_2_5_3 + IsEndLoop_2_5_4 + IsEndLoop_2_5_5 + IsEndLoop_2_5_6 + IsEndLoop_0_1_0 + ... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 9 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 51820 edges, 6981 markings/sec, 0 secs 107720 edges, 6899 markings/sec, 5 secs 166003 edges, 6839 markings/sec, 10 secs 224715 edges, 6800 markings/sec, 15 secs 285122 edges, 6800 markings/sec, 20 secs 346273 edges, 6771 markings/sec, 25 secs 411607 edges, 6686 markings/sec, 30 secs 478284 edges, 6683 markings/sec, 35 secs 545830 edges, 6683 markings/sec, 40 secs 615961 edges, 6631 markings/sec, 45 secs 689811 edges, 6585 markings/sec, 50 secs 764788 edges, 6564 markings/sec, 55 secs 841819 edges, 6535 markings/sec, 60 secs 923640 edges, 6470 markings/sec, 65 secs 1010851 edges, 6406 markings/sec, 70 secs 1122389 edges, 6198 markings/sec, 75 secs 1211545 edges, 6413 markings/sec, 80 secs 1369005 edges, 5677 markings/sec, 85 secs 1535123 edges, 5559 markings/sec, 90 secs 1707063 edges, 5608 markings/sec, 95 secs 1882943 edges, 5518 markings/sec, 100 secs 2042896 edges, 5646 markings/sec, 105 secs 2222947 edges, 5449 markings/sec, 110 secs 2384662 edges, 5560 markings/sec, 115 secs 2552123 edges, 5567 markings/sec, 120 secs 2723360 edges, 5544 markings/sec, 125 secs 2891687 edges, 5582 markings/sec, 130 secs 3061742 edges, 5607 markings/sec, 135 secs 3236512 edges, 5515 markings/sec, 140 secs 3395522 edges, 5630 markings/sec, 145 secs 3564009 edges, 5563 markings/sec, 150 secs 3725669 edges, 5634 markings/sec, 155 secs 3909135 edges, 5427 markings/sec, 160 secs 4075459 edges, 5566 markings/sec, 165 secs 4245861 edges, 5578 markings/sec, 170 secs 4413995 edges, 5562 markings/sec, 175 secs 4588771 edges, 5444 markings/sec, 180 secs 4756974 edges, 5478 markings/sec, 185 secs 4913697 edges, 5621 markings/sec, 190 secs 5084822 edges, 5486 markings/sec, 195 secs 5258122 edges, 5467 markings/sec, 200 secs 5423119 edges, 5571 markings/sec, 205 secs 5583290 edges, 5483 markings/sec, 210 secs 5757846 edges, 5346 markings/sec, 215 secs 5934544 edges, 5241 markings/sec, 220 secs 6161110 edges, 7573 markings/sec, 225 secs 6425168 edges, 8043 markings/sec, 230 secs 6687364 edges, 8106 markings/sec, 235 secs 6952121 edges, 7929 markings/sec, 240 secs 7208875 edges, 8005 markings/sec, 245 secs 7457631 edges, 8263 markings/sec, 250 secs 7710983 edges, 8141 markings/sec, 255 secs 7979004 edges, 7842 markings/sec, 260 secs 8232169 edges, 7879 markings/sec, 265 secs 8489430 edges, 7993 markings/sec, 270 secs 8744888 edges, 7948 markings/sec, 275 secs 8995952 edges, 7849 markings/sec, 280 secs 9238690 edges, 8158 markings/sec, 285 secs 9493180 edges, 7892 markings/sec, 290 secs 9754432 edges, 7876 markings/sec, 295 secs 10009963 edges, 8023 markings/sec, 300 secs 10263325 edges, 7837 markings/sec, 305 secs limit reached - aborting aborted or communication problem between parent and child process 14 will run for 311 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(Turn_2_0 + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_2_4 + Turn_2_5 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_3_4 + Turn_3_5 + Turn_4_0 + Turn_4_1 + Turn_4_2 + Turn_4_3 + Turn_4_4 + Turn_4_5 + Turn_5_0 + Turn_5_1 + Turn_5_2 + Turn_5_3 + Turn_5_4 + Turn_5_5 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_0_5 + Turn_1_0 + Turn_1_1 + Turn_1_2 + Turn_1_3 + Turn_1_4 + Turn_1_5 + ... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 9 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) value of the given expression is 6 ================== 15 will run for 623 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5 + CS_6) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 9 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 111336 edges, 10246 markings/sec, 0 secs 238601 edges, 10017 markings/sec, 5 secs 374687 edges, 9921 markings/sec, 10 secs 515223 edges, 9874 markings/sec, 15 secs 663596 edges, 9782 markings/sec, 20 secs 845773 edges, 9585 markings/sec, 25 secs 1029395 edges, 9592 markings/sec, 30 secs 1182947 edges, 9682 markings/sec, 35 secs 1343931 edges, 9638 markings/sec, 40 secs 1531165 edges, 9478 markings/sec, 45 secs 1764496 edges, 9127 markings/sec, 50 secs 2003282 edges, 9048 markings/sec, 55 secs 2263237 edges, 8961 markings/sec, 60 secs 2518689 edges, 8992 markings/sec, 65 secs 2780461 edges, 8814 markings/sec, 70 secs 3047575 edges, 8706 markings/sec, 75 secs 3316754 edges, 8713 markings/sec, 80 secs 3569820 edges, 8979 markings/sec, 85 secs 3824436 edges, 9064 markings/sec, 90 secs 4074764 edges, 8971 markings/sec, 95 secs 4320158 edges, 8951 markings/sec, 100 secs 4571155 edges, 8981 markings/sec, 105 secs 4816839 edges, 8952 markings/sec, 110 secs 5062703 edges, 8964 markings/sec, 115 secs 5313446 edges, 8995 markings/sec, 120 secs 5564880 edges, 8939 markings/sec, 125 secs 5830723 edges, 8623 markings/sec, 130 secs 6076638 edges, 8836 markings/sec, 135 secs 6332167 edges, 8817 markings/sec, 140 secs 6589814 edges, 8576 markings/sec, 145 secs 6846304 edges, 8815 markings/sec, 150 secs 7101745 edges, 8902 markings/sec, 155 secs 7355236 edges, 8789 markings/sec, 160 secs 7604763 edges, 8738 markings/sec, 165 secs 7855244 edges, 8763 markings/sec, 170 secs 8109615 edges, 8862 markings/sec, 175 secs 8369218 edges, 8837 markings/sec, 180 secs 8625782 edges, 8802 markings/sec, 185 secs 8881719 edges, 8458 markings/sec, 190 secs 9127897 edges, 8321 markings/sec, 195 secs 9375040 edges, 8488 markings/sec, 200 secs 9619242 edges, 8517 markings/sec, 205 secs 9878301 edges, 8192 markings/sec, 210 secs 10138349 edges, 8141 markings/sec, 215 secs 10386071 edges, 8432 markings/sec, 220 secs 10629094 edges, 8478 markings/sec, 225 secs 10875782 edges, 8325 markings/sec, 230 secs 11118835 edges, 8480 markings/sec, 235 secs 11357240 edges, 8559 markings/sec, 240 secs 11576949 edges, 8817 markings/sec, 245 secs 11820400 edges, 8602 markings/sec, 250 secs 12058530 edges, 8506 markings/sec, 255 secs 12296371 edges, 8555 markings/sec, 260 secs 12542314 edges, 8345 markings/sec, 265 secs 12776948 edges, 8524 markings/sec, 270 secs 13007811 edges, 8523 markings/sec, 275 secs 13239049 edges, 8349 markings/sec, 280 secs 13491678 edges, 8014 markings/sec, 285 secs 13734907 edges, 8113 markings/sec, 290 secs 13969790 edges, 8458 markings/sec, 295 secs 14198907 edges, 8430 markings/sec, 300 secs 14430969 edges, 8304 markings/sec, 305 secs 14663228 edges, 8492 markings/sec, 310 secs 14902185 edges, 8229 markings/sec, 315 secs 15151926 edges, 7927 markings/sec, 320 secs 15403635 edges, 7901 markings/sec, 325 secs 15661093 edges, 8090 markings/sec, 330 secs 15924447 edges, 8118 markings/sec, 335 secs 16178524 edges, 8140 markings/sec, 340 secs 16432949 edges, 8065 markings/sec, 345 secs 16683831 edges, 8046 markings/sec, 350 secs 16938424 edges, 8106 markings/sec, 355 secs 17192469 edges, 8126 markings/sec, 360 secs 17453449 edges, 8186 markings/sec, 365 secs 17718850 edges, 8129 markings/sec, 370 secs 17981590 edges, 8160 markings/sec, 375 secs 18241864 edges, 8111 markings/sec, 380 secs 18486967 edges, 8372 markings/sec, 385 secs 18722293 edges, 8620 markings/sec, 390 secs 18964023 edges, 8395 markings/sec, 395 secs 19213156 edges, 8339 markings/sec, 400 secs 19450010 edges, 8540 markings/sec, 405 secs 19691475 edges, 8431 markings/sec, 410 secs 19947395 edges, 8143 markings/sec, 415 secs 20189066 edges, 8405 markings/sec, 420 secs 20424911 edges, 8462 markings/sec, 425 secs 20662950 edges, 8453 markings/sec, 430 secs 20901049 edges, 8511 markings/sec, 435 secs 21136435 edges, 8718 markings/sec, 440 secs 21381044 edges, 8436 markings/sec, 445 secs 21628091 edges, 8456 markings/sec, 450 secs 21867692 edges, 8552 markings/sec, 455 secs 22111471 edges, 8651 markings/sec, 460 secs 22379319 edges, 8506 markings/sec, 465 secs 22632646 edges, 8700 markings/sec, 470 secs 22877390 edges, 8823 markings/sec, 475 secs 23126636 edges, 8802 markings/sec, 480 secs 23374482 edges, 8878 markings/sec, 485 secs 23618747 edges, 9066 markings/sec, 490 secs 23873183 edges, 8781 markings/sec, 495 secs 24132017 edges, 8723 markings/sec, 500 secs 24379312 edges, 8886 markings/sec, 505 secs 24631311 edges, 8754 markings/sec, 510 secs 24897739 edges, 8452 markings/sec, 515 secs 25149849 edges, 8901 markings/sec, 520 secs 25399990 edges, 8865 markings/sec, 525 secs 25649787 edges, 8926 markings/sec, 530 secs 25909289 edges, 8754 markings/sec, 535 secs 26180865 edges, 8436 markings/sec, 540 secs 26426872 edges, 8811 markings/sec, 545 secs 26673433 edges, 8816 markings/sec, 550 secs 26922307 edges, 8809 markings/sec, 555 secs 27169806 edges, 8917 markings/sec, 560 secs 27416586 edges, 8823 markings/sec, 565 secs 27665527 edges, 8711 markings/sec, 570 secs 27929532 edges, 8480 markings/sec, 575 secs 28185080 edges, 8616 markings/sec, 580 secs 28440781 edges, 8692 markings/sec, 585 secs 28711496 edges, 8399 markings/sec, 590 secs 28978230 edges, 8495 markings/sec, 595 secs 29243941 edges, 8500 markings/sec, 600 secs 29506925 edges, 8520 markings/sec, 605 secs 29748574 edges, 8641 markings/sec, 610 secs 29975781 edges, 8706 markings/sec, 615 secs reached - aborting unknown unknown unknown unknown unknown unknown unknown 6 unknown unknown unknown 6 unknown unknown 6 User defined signal 1 - aborting LoLA CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 6-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 6-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 6-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 6-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 6-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 6-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 6-UpperBounds-7 6 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 6-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 6-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 6-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 6-UpperBounds-11 6 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 6-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 6-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 6-UpperBounds-14 6 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN 6-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="Peterson-PT-6"
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/Peterson-PT-6.tgz
mv Peterson-PT-6 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is Peterson-PT-6, 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 r048-smll-149440869500074"
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 ;