MCC'2017 - Execution of r048-smll-149440869500029

About the Execution of LoLA for Peterson-COL-6

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
888.580	3540122.00	3546463.00	11232.60	? ? ? 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-COL-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 1494487895575

Time: 3600 - MCC
----- Start make prepare
checking for too many tokens
----- Start make result
UpperBounds @ Peterson-COL-6
----- Start make result
lola: LoLA will run
lola: NET
lola: reading net
lola: finished parsing
lola: closed net
lola: 3486/65536
lola: preprocessing...
lola: finding significant
lola: 1372 places,
lola: computing forward-conflicting
lola: computing back-conflicting
lola: 3297 transition
lola: TASK
lola: reading formula
lola: MAX(p910 +
lola: computing a
lola: RUNNING
lola: subprocess
lola: ====================
lola: ...considering
lola: ====================
lola: SUBTASK
lola: computing
lola: STORE
lola: using a bit-perfect
lola: using 172
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 51886 markings,
lola: 103348 markings,
lola: 154431 markings,
lola: 205424 markings,
lola: 255765 markings,
lola: 305072 markings,
lola: 355110 markings,
lola: 405075 markings,
lola: 455293 markings,
lola: 503966 markings,
lola: 550314 markings,
lola: 597566 markings,
lola: 644604 markings,
lola: 691384 markings,
lola: 739256 markings,
lola: 785555 markings,
lola: 833111 markings,
lola: 878043 markings,
lola: 924603 markings,
lola: 970282 markings,
lola: 1016818 markings,
lola: 1064040 markings,
lola: 1109286 markings,
lola: 1154202 markings,
lola: 1198488 markings,
lola: 1244920 markings,
lola: 1289254 markings,
lola: 1333946 markings,
lola: 1380651 markings,
lola: 1424874 markings,
lola: 1470043 markings,
lola: 1516571 markings,
lola: 1557444 markings,
lola: 1602244 markings,
lola: 1648801 markings,
lola: 1695160 markings,
lola: 1738122 markings,
lola: 1781247 markings,
lola: 1825833 markings,
lola: 1872787 markings,
lola: 1918646 markings,
lola: 1962868 markings,
lola: 2009271 markings,
lola: 2054401 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 172
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 54672 markings,
lola: 108409 markings,
lola: 161628 markings,
lola: 214553 markings,
lola: 267144 markings,
lola: 319334 markings,
lola: 371333 markings,
lola: 423113 markings,
lola: 474700 markings,
lola: 526048 markings,
lola: 577111 markings,
lola: 628063 markings,
lola: 678893 markings,
lola: 729511 markings,
lola: 780016 markings,
lola: 830215 markings,
lola: 880341 markings,
lola: 930277 markings,
lola: 980253 markings,
lola: 1029755 markings,
lola: 1079386 markings,
lola: 1128619 markings,
lola: 1177797 markings,
lola: 1226014 markings,
lola: 1274142 markings,
lola: 1317462 markings,
lola: 1361009 markings,
lola: 1404318 markings,
lola: 1448318 markings,
lola: 1491505 markings,
lola: 1535268 markings,
lola: 1578628 markings,
lola: 1621484 markings,
lola: 1664764 markings,
lola: 1708016 markings,
lola: 1751394 markings,
lola: 1794598 markings,
lola: 1839283 markings,
lola: 1882060 markings,
lola: 1925441 markings,
lola: 1968001 markings,
lola: 2012062 markings,
lola: 2055177 markings,
lola: 2098523 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 172
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 59797 markings,
lola: 118874 markings,
lola: 177575 markings,
lola: 234935 markings,
lola: 291899 markings,
lola: 349091 markings,
lola: 405782 markings,
lola: 461629 markings,
lola: 517514 markings,
lola: 574698 markings,
lola: 630524 markings,
lola: 684871 markings,
lola: 739163 markings,
lola: 791619 markings,
lola: 844185 markings,
lola: 896564 markings,
lola: 950029 markings,
lola: 1003588 markings,
lola: 1056881 markings,
lola: 1111336 markings,
lola: 1165645 markings,
lola: 1218879 markings,
lola: 1270578 markings,
lola: 1325196 markings,
lola: 1377980 markings,
lola: 1433795 markings,
lola: 1482991 markings,
lola: 1535847 markings,
lola: 1585590 markings,
lola: 1639698 markings,
lola: 1695143 markings,
lola: 1748499 markings,
lola: 1804736 markings,
lola: 1856215 markings,
lola: 1910361 markings,
lola: 1965554 markings,
lola: 2022146 markings,
lola: 2068533 markings,
lola: 2121995 markings,
lola: 2175591 markings,
lola: 2230989 markings,
lola: 2284939 markings,
lola: 2339966 markings,
lola: 2396564 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 172
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 50425 markings,
lola: 100346 markings,
lola: 150109 markings,
lola: 200300 markings,
lola: 250892 markings,
lola: 301485 markings,
lola: 351997 markings,
lola: 402412 markings,
lola: 452951 markings,
lola: 503443 markings,
lola: 553801 markings,
lola: 604246 markings,
lola: 654702 markings,
lola: 704879 markings,
lola: 754848 markings,
lola: 804696 markings,
lola: 854215 markings,
lola: 902381 markings,
lola: 950863 markings,
lola: 995095 markings,
lola: 1042499 markings,
lola: 1087263 markings,
lola: 1133598 markings,
lola: 1178474 markings,
lola: 1225611 markings,
lola: 1273790 markings,
lola: 1318580 markings,
lola: 1364766 markings,
lola: 1413465 markings,
lola: 1459270 markings,
lola: 1505509 markings,
lola: 1553920 markings,
lola: 1601290 markings,
lola: 1646491 markings,
lola: 1692173 markings,
lola: 1737901 markings,
lola: 1786902 markings,
lola: 1835451 markings,
lola: 1881634 markings,
lola: 1930251 markings,
lola: 1973495 markings,
lola: 2020497 markings,
lola: 2068148 markings,
lola: 2116443 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 172
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 48184 markings,
lola: 95800 markings,
lola: 143201 markings,
lola: 190407 markings,
lola: 237133 markings,
lola: 283642 markings,
lola: 330025 markings,
lola: 376280 markings,
lola: 422204 markings,
lola: 467936 markings,
lola: 513609 markings,
lola: 558953 markings,
lola: 604249 markings,
lola: 649344 markings,
lola: 694402 markings,
lola: 738917 markings,
lola: 780286 markings,
lola: 819135 markings,
lola: 857941 markings,
lola: 899538 markings,
lola: 940035 markings,
lola: 980245 markings,
lola: 1021082 markings,
lola: 1062155 markings,
lola: 1103673 markings,
lola: 1144234 markings,
lola: 1184285 markings,
lola: 1225390 markings,
lola: 1265896 markings,
lola: 1306495 markings,
lola: 1347051 markings,
lola: 1388292 markings,
lola: 1430512 markings,
lola: 1470701 markings,
lola: 1511843 markings,
lola: 1552217 markings,
lola: 1592155 markings,
lola: 1632261 markings,
lola: 1672520 markings,
lola: 1714367 markings,
lola: 1754440 markings,
lola: 1794893 markings,
lola: 1836352 markings,
lola: 1877869 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 172
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 54795 markings,
lola: 108653 markings,
lola: 161992 markings,
lola: 215029 markings,
lola: 267731 markings,
lola: 320037 markings,
lola: 369767 markings,
lola: 419318 markings,
lola: 468823 markings,
lola: 518194 markings,
lola: 567216 markings,
lola: 616141 markings,
lola: 664980 markings,
lola: 713575 markings,
lola: 762073 markings,
lola: 810402 markings,
lola: 858478 markings,
lola: 906525 markings,
lola: 954603 markings,
lola: 1003145 markings,
lola: 1050773 markings,
lola: 1098279 markings,
lola: 1145640 markings,
lola: 1191958 markings,
lola: 1238726 markings,
lola: 1283957 markings,
lola: 1325393 markings,
lola: 1366706 markings,
lola: 1407903 markings,
lola: 1449932 markings,
lola: 1491239 markings,
lola: 1532734 markings,
lola: 1574085 markings,
lola: 1615224 markings,
lola: 1656257 markings,
lola: 1697841 markings,
lola: 1739332 markings,
lola: 1780111 markings,
lola: 1821523 markings,
lola: 1863069 markings,
lola: 1903761 markings,
lola: 1945100 markings,
lola: 1986405 markings,
lola: 2028154 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 172
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 62319 markings,
lola: 123167 markings,
lola: 183431 markings,
lola: 242839 markings,
lola: 302254 markings,
lola: 361200 markings,
lola: 419722 markings,
lola: 476902 markings,
lola: 525539 markings,
lola: 574863 markings,
lola: 623359 markings,
lola: 671694 markings,
lola: 719864 markings,
lola: 765632 markings,
lola: 813645 markings,
lola: 861609 markings,
lola: 909080 markings,
lola: 956526 markings,
lola: 1004681 markings,
lola: 1052023 markings,
lola: 1099899 markings,
lola: 1148277 markings,
lola: 1195491 markings,
lola: 1243362 markings,
lola: 1292389 markings,
lola: 1339830 markings,
lola: 1387364 markings,
lola: 1435737 markings,
lola: 1484059 markings,
lola: 1533395 markings,
lola: 1582296 markings,
lola: 1631179 markings,
lola: 1680250 markings,
lola: 1728897 markings,
lola: 1777441 markings,
lola: 1826005 markings,
lola: 1871984 markings,
lola: 1920380 markings,
lola: 1968538 markings,
lola: 2015926 markings,
lola: 2062662 markings,
lola: 2109814 markings,
lola: 2157883 markings,
lola: 2206188 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 172
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 172
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 59805 markings,
lola: 118974 markings,
lola: 177712 markings,
lola: 236126 markings,
lola: 293099 markings,
lola: 349335 markings,
lola: 408888 markings,
lola: 469077 markings,
lola: 527277 markings,
lola: 584319 markings,
lola: 642741 markings,
lola: 700562 markings,
lola: 754554 markings,
lola: 808764 markings,
lola: 863839 markings,
lola: 920792 markings,
lola: 977674 markings,
lola: 1032629 markings,
lola: 1088536 markings,
lola: 1146480 markings,
lola: 1201145 markings,
lola: 1254807 markings,
lola: 1311792 markings,
lola: 1365993 markings,
lola: 1423787 markings,
lola: 1480046 markings,
lola: 1533535 markings,
lola: 1591208 markings,
lola: 1642050 markings,
lola: 1698492 markings,
lola: 1752687 markings,
lola: 1804888 markings,
lola: 1862108 markings,
lola: 1919256 markings,
lola: 1970858 markings,
lola: 2026185 markings,
lola: 2082265 markings,
lola: 2137198 markings,
lola: 2194177 markings,
lola: 2252742 markings,
lola: 2310007 markings,
lola: 2357281 markings,
lola: 2408049 markings,
lola: 2462715 markings,
lola: 2520498 markings,
lola: 2576294 markings,
lola: 2630635 markings,
lola: 2684304 markings,
lola: 2735976 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 172
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 59119 markings,
lola: 117497 markings,
lola: 175444 markings,
lola: 232070 markings,
lola: 288360 markings,
lola: 344894 markings,
lola: 400967 markings,
lola: 456685 markings,
lola: 511435 markings,
lola: 567910 markings,
lola: 623397 markings,
lola: 676958 markings,
lola: 730813 markings,
lola: 783243 markings,
lola: 834678 markings,
lola: 886867 markings,
lola: 937457 markings,
lola: 988484 markings,
lola: 1041412 markings,
lola: 1095535 markings,
lola: 1148721 markings,
lola: 1201159 markings,
lola: 1253450 markings,
lola: 1306281 markings,
lola: 1359126 markings,
lola: 1413238 markings,
lola: 1463239 markings,
lola: 1517288 markings,
lola: 1569041 markings,
lola: 1621168 markings,
lola: 1674103 markings,
lola: 1726406 markings,
lola: 1781681 markings,
lola: 1833416 markings,
lola: 1886054 markings,
lola: 1940648 markings,
lola: 1996317 markings,
lola: 2046957 markings,
lola: 2096195 markings,
lola: 2148336 markings,
lola: 2202866 markings,
lola: 2257377 markings,
lola: 2310332 markings,
lola: 2365837 markings,
lola: 2421166 markings,
lola: 2467326 markings,
lola: 2509725 markings,
lola: 2558251 markings,
lola: 2610915 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 172
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 60612 markings,
lola: 120507 markings,
lola: 179988 markings,
lola: 238190 markings,
lola: 295806 markings,
lola: 353823 markings,
lola: 411299 markings,
lola: 467655 markings,
lola: 525296 markings,
lola: 582512 markings,
lola: 638329 markings,
lola: 693924 markings,
lola: 748259 markings,
lola: 801068 markings,
lola: 854385 markings,
lola: 908019 markings,
lola: 962253 markings,
lola: 1017643 markings,
lola: 1072354 markings,
lola: 1127127 markings,
lola: 1178854 markings,
lola: 1232361 markings,
lola: 1286222 markings,
lola: 1338686 markings,
lola: 1391448 markings,
lola: 1445601 markings,
lola: 1499250 markings,
lola: 1550672 markings,
lola: 1604686 markings,
lola: 1651466 markings,
lola: 1703261 markings,
lola: 1759312 markings,
lola: 1808522 markings,
lola: 1858079 markings,
lola: 1909026 markings,
lola: 1962321 markings,
lola: 2015841 markings,
lola: 2067517 markings,
lola: 2122107 markings,
lola: 2172117 markings,
lola: 2224319 markings,
lola: 2278215 markings,
lola: 2333256 markings,
lola: 2380400 markings,
lola: 2430486 markings,
lola: 2481873 markings,
lola: 2535566 markings,
lola: 2588794 markings,
lola: 2641376 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 172
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 172
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 62556 markings,
lola: 124322 markings,
lola: 185694 markings,
lola: 246682 markings,
lola: 306206 markings,
lola: 365450 markings,
lola: 425893 markings,
lola: 485734 markings,
lola: 544017 markings,
lola: 600512 markings,
lola: 658762 markings,
lola: 714723 markings,
lola: 768849 markings,
lola: 823429 markings,
lola: 878211 markings,
lola: 935836 markings,
lola: 991620 markings,
lola: 1045958 markings,
lola: 1101512 markings,
lola: 1157659 markings,
lola: 1213299 markings,
lola: 1266123 markings,
lola: 1322890 markings,
lola: 1376480 markings,
lola: 1433740 markings,
lola: 1490113 markings,
lola: 1544097 markings,
lola: 1603597 markings,
lola: 1655337 markings,
lola: 1714277 markings,
lola: 1766322 markings,
lola: 1822286 markings,
lola: 1883253 markings,
lola: 1938459 markings,
lola: 1992465 markings,
lola: 2048992 markings,
lola: 2105825 markings,
lola: 2161539 markings,
lola: 2220800 markings,
lola: 2281312 markings,
lola: 2335667 markings,
lola: 2384488 markings,
lola: 2441874 markings,
lola: 2499164 markings,
lola: 2559755 markings,
lola: 2614716 markings,
lola: 2671501 markings,
lola: 2724790 markings,
lola: 2779768 markings,
lola: 2836839 markings,
lola: 2893475 markings,
lola: 2951890 markings,
lola: 3011787 markings,
lola: 3073350 markings,
lola: 3135098 markings,
lola: 3195782 markings,
lola: 3256133 markings,
lola: 3316173 markings,
lola: 3374982 markings,
lola: 3433198 markings,
lola: 3490491 markings,
lola: 3546849 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 172
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 53672 markings,
lola: 106689 markings,
lola: 159599 markings,
lola: 212579 markings,
lola: 265365 markings,
lola: 318054 markings,
lola: 369386 markings,
lola: 420447 markings,
lola: 473138 markings,
lola: 525744 markings,
lola: 578381 markings,
lola: 630998 markings,
lola: 683411 markings,
lola: 735634 markings,
lola: 787708 markings,
lola: 839528 markings,
lola: 889780 markings,
lola: 940322 markings,
lola: 987393 markings,
lola: 1034587 markings,
lola: 1079742 markings,
lola: 1128002 markings,
lola: 1175239 markings,
lola: 1224499 markings,
lola: 1274414 markings,
lola: 1321798 markings,
lola: 1370237 markings,
lola: 1419407 markings,
lola: 1465045 markings,
lola: 1511796 markings,
lola: 1562396 markings,
lola: 1610125 markings,
lola: 1658332 markings,
lola: 1705474 markings,
lola: 1754559 markings,
lola: 1805438 markings,
lola: 1854903 markings,
lola: 1904445 markings,
lola: 1950995 markings,
lola: 1999759 markings,
lola: 2049186 markings,
lola: 2099486 markings,
lola: 2142901 markings,
lola: 2189542 markings,
lola: 2237273 markings,
lola: 2286621 markings,
lola: 2335482 markings,
lola: 2384327 markings,
lola: 2434328 markings,
lola: 2475152 markings,
lola: 2516260 markings,
lola: 2563119 markings,
lola: 2611428 markings,
lola: 2659072 markings,
lola: 2707646 markings,
lola: 2755808 markings,
lola: 2802961 markings,
lola: 2850263 markings,
lola: 2896909 markings,
lola: 2944411 markings,
lola: 2991530 markings,
lola: 3037441 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 172
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 172
lola: using a prefix
lola: SEARCH
lola: using bound
lola: RUNNING
lola: 58199 markings,
lola: 115707 markings,
lola: 172843 markings,
lola: 228725 markings,
lola: 284083 markings,
lola: 338827 markings,
lola: 393140 markings,
lola: 447519 markings,
lola: 500481 markings,
lola: 555245 markings,
lola: 609194 markings,
lola: 662027 markings,
lola: 714445 markings,
lola: 766786 markings,
lola: 818642 markings,
lola: 869623 markings,
lola: 921357 markings,
lola: 973993 markings,
lola: 1025411 markings,
lola: 1078592 markings,
lola: 1131660 markings,
lola: 1184220 markings,
lola: 1235267 markings,
lola: 1287499 markings,
lola: 1339730 markings,
lola: 1393203 markings,
lola: 1446852 markings,
lola: 1495999 markings,
lola: 1548476 markings,
lola: 1599707 markings,
lola: 1652751 markings,
lola: 1707618 markings,
lola: 1759819 markings,
lola: 1814436 markings,
lola: 1864014 markings,
lola: 1917590 markings,
lola: 1971599 markings,
lola: 2026383 markings,
lola: 2071376 markings,
lola: 2123934 markings,
lola: 2176359 markings,
lola: 2230452 markings,
lola: 2283183 markings,
lola: 2336856 markings,
lola: 2392152 markings,
lola: 2444152 markings,
lola: 2486712 markings,
lola: 2529075 markings,
lola: 2581467 markings,
lola: 2633464 markings,
lola: 2685986 markings,
lola: 2740596 markings,
lola: 2791891 markings,
lola: 2842951 markings,
lola: 2892722 markings,
lola: 2943866 markings,
lola: 2995357 markings,
lola: 3049946 markings,
lola: 3104474 markings,
lola: 3156036 markings,
lola: 3206198 markings,
lola: 3254706 markings,
lola: 3303374 markings,
lola: 3356696 markings,
lola: 3408194 markings,
lola: 3459301 markings,
lola: 3512614 markings,
lola: 3565222 markings,
lola: 3617587 markings,
lola: 3670974 markings,
lola: 3723343 markings,
lola: 3775564 markings,
lola: 3825824 markings,
lola: 3877796 markings,
lola: 3931732 markings,
lola: 3986607 markings,
lola: 4038241 markings,
lola: 4089595 markings,
lola: 4139179 markings,
lola: 4189403 markings,
lola: 4240529 markings,
lola: 4292074 markings,
lola: 4344695 markings,
lola: 4397091 markings,
lola: 4449814 markings,
lola: 4502608 markings,
lola: 4554942 markings,
lola: 4606880 markings,
lola: 4658200 markings,
lola: 4708755 markings,
lola: 4758747 markings,
lola: 4807769 markings,
lola: 4855769 markings,
lola: 4902245 markings,
lola: 4946622 markings,
lola: 4986601 markings,
lola: 5001202 markings,
lola: 5050764 markings,
lola: 5100635 markings,
lola: 5149357 markings,
lola: 5200334 markings,
lola: 5249271 markings,
lola: 5286901 markings,
lola: 5330031 markings,
lola: 5386481 markings,
lola: 5442272 markings,
lola: 5497820 markings,
lola: 5551688 markings,
lola: 5605940 markings,
lola: 5660056 markings,
lola: 5714014 markings,
lola: 5768059 markings,
lola: 5821125 markings,
lola: 5874826 markings,
lola: 5927932 markings,
lola: 5980408 markings,
lola: 6032050 markings,
lola: 6081981 markings,
lola: 6132403 markings,
lola: 6182813 markings,
lola: 6234310 markings,
lola: 6285253 markings,
lola: 6335506 markings,
lola: 6387343 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 1494491435697

--------------------
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-149440869500029 ========================================= 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 ----- @ 3540 seconds stdout ----- for 3540 seconds at most (--timelimit) from model.pnml.lola file model.pnml.lola symbol table entries, 6 collisions places 2114 transitions, 1345 significant places sets sets conflict sets from Peterson-COL-6-UpperBounds.task p911 + p912 + p913 + p914 + p915 + p916 + p917 + p918 + p919 + p920 + p921 + p922 + p923 + p924 + p925 + p926 + p927 + p928 + p929 + p930 + p931 + p932 + p934 + p935 + p936 + p937 + p938 + p940 + p941 + p942 + p943 + p944 + p946 + p947 + p948 + p949 + p950 + p951 + p945 + p939 + p933) : MAX(p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601) : MAX(p301 + p302 + p303 + p304 + p305 + p306 + p307) : MAX(p1078 + p1079 + p1080 + p1081 + p1082 + p1083 + p1084 + p1085 + p1086 + p1087 + p1088 + p1089 + p1090 + p1091 + p1092 + p1093 + p1094 + p1095 + p1096 + p1097 + p1098 + p1099 + p1100 + p1101 + p1102 + p1103 + p1104 + p1105 + p1106 + p1107 + p1108 + p1109 + p1110 + p1111 + p1112 + p1113 + p1114 + p1115 + p1116 + p1117 + p1118 + p1119 + p1120 + p1121 + p1122 + p1123 + p1124 + p1125 + p1126 + p1127 + p1128 + p1129 + p1130 + p1131 + p1132 + p1133 + p1134 + p1135 + p1136 + p1137 + p1138 + p1139 + p1140 + p1141 + p1142 + p1143 + p1144 + p1145 + p1146 + p1147 + p1148 + p1149 + p1150 + p1151 + p1152 + p1153 + p1154 + p1155 + p1156 + p1157 + p1158 + p1159 + p1160 + p1161 + p1162 + p1163 + p1164 + p1165 + p1166 + p1167 + p1168 + p1169 + p1170 + p1171 + p1172 + p1173 + p1174 + p1175 + p1176 + p1177 + p1178 + p1179 + p1180 + p1181 + p1182 + p1183 + p1184 + p1185 + p1186 + p1187 + p1188 + p1189 + p1190 + p1191 + p1192 + p1193 + p1194 + p1195 + p1196 + p1197 + p1198 + p1199 + p1200 + p1201 + p1202 + p1203 + p1204 + p1205 + p1206 + p1207 + p1208 + p1209 + p1210 + p1211 + p1212 + p1213 + p1214 + p1215 + p1216 + p1217 + p1218 + p1219 + p1220 + p1221 + p1222 + p1223 + p1224 + p1225 + p1226 + p1227 + p1228 + p1229 + p1230 + p1231 + p1232 + p1233 + p1234 + p1235 + p1236 + p1237 + p1238 + p1239 + p1240 + p1241 + p1242 + p1243 + p1244 + p1245 + p1246 + p1247 + p1248 + p1249 + p1250 + p1251 + p1252 + p1253 + p1254 + p1255 + p1256 + p1257 + p1258 + p1259 + p1260 + p1261 + p1262 + p1263 + p1264 + p1265 + p1266 + p1267 + p1268 + p1269 + p1270 + p1271 + p1272 + p1273 + p1274 + p1275 + p1276 + p1277 + p1278 + p1279 + p1280 + p1281 + p1282 + p1283 + p1284 + p1285 + p1286 + p1287 + p1288 + p1289 + p1290 + p1291 + p1292 + p1293 + p1294 + p1295 + p1296 + p1297 + p1298 + p1299 + p1300 + p1301 + p1302 + p1303 + p1304 + p1305 + p1306 + p1307 + p1308 + p1309 + p1310 + p1311 + p1312 + p1313 + p1314 + p1315 + p1316 + p1317 + p1318 + p1319 + p1320 + p1321 + p1322 + p1323 + p1324 + p1325 + p1326 + p1327 + p1328 + p1329 + p1330 + p1331 + p1332 + p1333 + p1334 + p1335 + p1336 + p1337 + p1338 + p1339 + p1340 + p1341 + p1342 + p1343 + p1344 + p1345 + p1346 + p1347 + p1348 + p1349 + p1350 + p1351 + p1352 + p1353 + p1354 + p1355 + p1356 + p1357 + p1358 + p1359 + p1360 + p1361 + p1362 + p1363 + p1364 + p1365 + p1366 + p1367 + p1368 + p1369 + p1370 + p1371) : MAX(p7 + p8 + p9 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p98 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p78 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p77 + p76 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p75 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p74 + p73 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p90 + p99) : MAX(p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601) : MAX(p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1006 + p1007 + p1008 + p1009 + p1010 + p1011 + p1012 + p1013 + p1014 + p1015 + p1016 + p1017 + p1018 + p1019 + p1020 + p1021 + p1022 + p1023 + p1024 + p1025 + p1026 + p1027 + p1028 + p1029 + p1030 + p1031 + p1032 + p1033 + p1034 + p1035 + p994 + p995 + p996 + p997 + p998 + p999) : MAX(p952 + p953 + p954 + p955 + p956 + p957 + p959 + p960 + p961 + p962 + p963 + p964 + p966 + p967 + p968 + p969 + p970 + p971 + p973 + p974 + p975 + p976 + p977 + p978 + p980 + p981 + p982 + p983 + p984 + p985 + p987 + p988 + p989 + p990 + p991 + p992 + p993 + p986 + p979 + p972 + p965 + p958) : MAX(p1036 + p1037 + p1038 + p1039 + p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p1049 + p1050 + p1051 + p1052 + p1053 + p1054 + p1055 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1074 + p1075 + p1076 + p1077) : MAX(p301 + p302 + p303 + p304 + p305 + p306 + p307) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6) : MAX(p952 + p953 + p954 + p955 + p956 + p957 + p959 + p960 + p961 + p962 + p963 + p964 + p966 + p967 + p968 + p969 + p970 + p971 + p973 + p974 + p975 + p976 + p977 + p978 + p980 + p981 + p982 + p983 + p984 + p985 + p987 + p988 + p989 + p990 + p991 + p992 + p993 + p986 + p979 + p972 + p965 + p958) : MAX(p1036 + p1037 + p1038 + p1039 + p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p1049 + p1050 + p1051 + p1052 + p1053 + p1054 + p1055 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1074 + p1075 + p1076 + p1077) : MAX(p1078 + p1079 + p1080 + p1081 + p1082 + p1083 + p1084 + p1085 + p1086 + p1087 + p1088 + p1089 + p1090 + p1091 + p1092 + p1093 + p1094 + p1095 + p1096 + p1097 + p1098 + p1099 + p1100 + p1101 + p1102 + p1103 + p1104 + p1105 + p1106 + p1107 + p1108 + p1109 + p1110 + p1111 + p1112 + p1113 + p1114 + p1115 + p1116 + p1117 + p1118 + p1119 + p1120 + p1121 + p1122 + p1123 + p1124 + p1125 + p1126 + p1127 + p1128 + p1129 + p1130 + p1131 + p1132 + p1133 + p1134 + p1135 + p1136 + p1137 + p1138 + p1139 + p1140 + p1141 + p1142 + p1143 + p1144 + p1145 + p1146 + p1147 + p1148 + p1149 + p1150 + p1151 + p1152 + p1153 + p1154 + p1155 + p1156 + p1157 + p1158 + p1159 + p1160 + p1161 + p1162 + p1163 + p1164 + p1165 + p1166 + p1167 + p1168 + p1169 + p1170 + p1171 + p1172 + p1173 + p1174 + p1175 + p1176 + p1177 + p1178 + p1179 + p1180 + p1181 + p1182 + p1183 + p1184 + p1185 + p1186 + p1187 + p1188 + p1189 + p1190 + p1191 + p1192 + p1193 + p1194 + p1195 + p1196 + p1197 + p1198 + p1199 + p1200 + p1201 + p1202 + p1203 + p1204 + p1205 + p1206 + p1207 + p1208 + p1209 + p1210 + p1211 + p1212 + p1213 + p1214 + p1215 + p1216 + p1217 + p1218 + p1219 + p1220 + p1221 + p1222 + p1223 + p1224 + p1225 + p1226 + p1227 + p1228 + p1229 + p1230 + p1231 + p1232 + p1233 + p1234 + p1235 + p1236 + p1237 + p1238 + p1239 + p1240 + p1241 + p1242 + p1243 + p1244 + p1245 + p1246 + p1247 + p1248 + p1249 + p1250 + p1251 + p1252 + p1253 + p1254 + p1255 + p1256 + p1257 + p1258 + p1259 + p1260 + p1261 + p1262 + p1263 + p1264 + p1265 + p1266 + p1267 + p1268 + p1269 + p1270 + p1271 + p1272 + p1273 + p1274 + p1275 + p1276 + p1277 + p1278 + p1279 + p1280 + p1281 + p1282 + p1283 + p1284 + p1285 + p1286 + p1287 + p1288 + p1289 + p1290 + p1291 + p1292 + p1293 + p1294 + p1295 + p1296 + p1297 + p1298 + p1299 + p1300 + p1301 + p1302 + p1303 + p1304 + p1305 + p1306 + p1307 + p1308 + p1309 + p1310 + p1311 + p1312 + p1313 + p1314 + p1315 + p1316 + p1317 + p1318 + p1319 + p1320 + p1321 + p1322 + p1323 + p1324 + p1325 + p1326 + p1327 + p1328 + p1329 + p1330 + p1331 + p1332 + p1333 + p1334 + p1335 + p1336 + p1337 + p1338 + p1339 + p1340 + p1341 + p1342 + p1343 + p1344 + p1345 + p1346 + p1347 + p1348 + p1349 + p1350 + p1351 + p1352 + p1353 + p1354 + p1355 + p1356 + p1357 + p1358 + p1359 + p1360 + p1361 + p1362 + p1363 + p1364 + p1365 + p1366 + p1367 + p1368 + p1369 + p1370 + p1371) : MAX(p952 + p953 + p954 + p955 + p956 + p957 + p959 + p960 + p961 + p962 + p963 + p964 + p966 + p967 + p968 + p969 + p970 + p971 + p973 + p974 + p975 + p976 + p977 + p978 + p980 + p981 + p982 + p983 + p984 + p985 + p987 + p988 + p989 + p990 + p991 + p992 + p993 + p986 + p979 + p972 + p965 + p958) : MAX(p301 + p302 + p303 + p304 + p305 + p306 + p307) collection of formulas 0 will run for 221 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p910 + p911 + p912 + p913 + p914 + p915 + p916 + p917 + p918 + p919 + p920 + p921 + p922 + p923 + p924 + p925 + p926 + p927 + p928 + p929 + p930 + p931 + p932 + p934 + p935 + p936 + p937 + p938 + p940 + p941 + p942 + p943 + p944 + p946 + p947 + p948 + p949 + p950 + p951 + p945 + p939 + p933) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 31 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 78629 edges, 10377 markings/sec, 0 secs 162433 edges, 10292 markings/sec, 5 secs 250846 edges, 10217 markings/sec, 10 secs 340442 edges, 10199 markings/sec, 15 secs 444081 edges, 10068 markings/sec, 20 secs 569607 edges, 9861 markings/sec, 25 secs 675903 edges, 10008 markings/sec, 30 secs 783308 edges, 9993 markings/sec, 35 secs 882698 edges, 10044 markings/sec, 40 secs 1005199 edges, 9735 markings/sec, 45 secs 1138608 edges, 9270 markings/sec, 50 secs 1254287 edges, 9450 markings/sec, 55 secs 1372117 edges, 9408 markings/sec, 60 secs 1519408 edges, 9356 markings/sec, 65 secs 1662590 edges, 9574 markings/sec, 70 secs 1844176 edges, 9260 markings/sec, 75 secs 2023589 edges, 9511 markings/sec, 80 secs 2217354 edges, 8986 markings/sec, 85 secs 2374518 edges, 9312 markings/sec, 90 secs 2550441 edges, 9136 markings/sec, 95 secs 2703995 edges, 9307 markings/sec, 100 secs 2848657 edges, 9444 markings/sec, 105 secs 3009141 edges, 9049 markings/sec, 110 secs 3176764 edges, 8983 markings/sec, 115 secs 3353651 edges, 8857 markings/sec, 120 secs 3497590 edges, 9286 markings/sec, 125 secs 3674956 edges, 8867 markings/sec, 130 secs 3842219 edges, 8938 markings/sec, 135 secs 3973026 edges, 9341 markings/sec, 140 secs 4146911 edges, 8845 markings/sec, 145 secs 4308142 edges, 9034 markings/sec, 150 secs 4445397 edges, 9306 markings/sec, 155 secs 4672734 edges, 8175 markings/sec, 160 secs 4834875 edges, 8960 markings/sec, 165 secs 4974617 edges, 9311 markings/sec, 170 secs 5118616 edges, 9272 markings/sec, 175 secs 5310532 edges, 8592 markings/sec, 180 secs 5493302 edges, 8625 markings/sec, 185 secs 5662102 edges, 8917 markings/sec, 190 secs 5785224 edges, 9391 markings/sec, 195 secs 5928920 edges, 9172 markings/sec, 200 secs 6106108 edges, 8844 markings/sec, 205 secs 6239203 edges, 9281 markings/sec, 210 secs 6396139 edges, 9026 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(p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 31 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 136224 edges, 10934 markings/sec, 0 secs 278743 edges, 10747 markings/sec, 5 secs 424174 edges, 10644 markings/sec, 10 secs 571754 edges, 10585 markings/sec, 15 secs 724153 edges, 10518 markings/sec, 20 secs 878567 edges, 10438 markings/sec, 25 secs 1032897 edges, 10400 markings/sec, 30 secs 1188408 edges, 10356 markings/sec, 35 secs 1345318 edges, 10317 markings/sec, 40 secs 1503131 edges, 10270 markings/sec, 45 secs 1664426 edges, 10213 markings/sec, 50 secs 1825662 edges, 10190 markings/sec, 55 secs 1988498 edges, 10166 markings/sec, 60 secs 2152466 edges, 10124 markings/sec, 65 secs 2317516 edges, 10101 markings/sec, 70 secs 2485315 edges, 10040 markings/sec, 75 secs 2653626 edges, 10025 markings/sec, 80 secs 2823676 edges, 9987 markings/sec, 85 secs 2990741 edges, 9995 markings/sec, 90 secs 3162478 edges, 9900 markings/sec, 95 secs 3333485 edges, 9926 markings/sec, 100 secs 3510148 edges, 9847 markings/sec, 105 secs 3686227 edges, 9836 markings/sec, 110 secs 3876948 edges, 9643 markings/sec, 115 secs 4066266 edges, 9626 markings/sec, 120 secs 4364021 edges, 8664 markings/sec, 125 secs 4668544 edges, 8709 markings/sec, 130 secs 4975050 edges, 8662 markings/sec, 135 secs 5285219 edges, 8800 markings/sec, 140 secs 5583452 edges, 8637 markings/sec, 145 secs 5882623 edges, 8753 markings/sec, 150 secs 6191861 edges, 8672 markings/sec, 155 secs 6500787 edges, 8571 markings/sec, 160 secs 6804332 edges, 8656 markings/sec, 165 secs 7109030 edges, 8650 markings/sec, 170 secs 7413267 edges, 8676 markings/sec, 175 secs 7713673 edges, 8641 markings/sec, 180 secs 8010061 edges, 8937 markings/sec, 185 secs 8326911 edges, 8555 markings/sec, 190 secs 8625346 edges, 8676 markings/sec, 195 secs 8933754 edges, 8512 markings/sec, 200 secs 9232529 edges, 8812 markings/sec, 205 secs 9543929 edges, 8623 markings/sec, 210 secs 9843344 edges, 8669 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(p301 + p302 + p303 + p304 + p305 + p306 + p307) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 31 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 91079 edges, 11959 markings/sec, 0 secs 189291 edges, 11815 markings/sec, 5 secs 291606 edges, 11740 markings/sec, 10 secs 418348 edges, 11472 markings/sec, 15 secs 549837 edges, 11393 markings/sec, 20 secs 672618 edges, 11438 markings/sec, 25 secs 800481 edges, 11338 markings/sec, 30 secs 939702 edges, 11169 markings/sec, 35 secs 1080489 edges, 11177 markings/sec, 40 secs 1200353 edges, 11437 markings/sec, 45 secs 1342220 edges, 11165 markings/sec, 50 secs 1507162 edges, 10869 markings/sec, 55 secs 1674749 edges, 10858 markings/sec, 60 secs 1870479 edges, 10491 markings/sec, 65 secs 2063073 edges, 10513 markings/sec, 70 secs 2264410 edges, 10476 markings/sec, 75 secs 2461894 edges, 10693 markings/sec, 80 secs 2661640 edges, 10712 markings/sec, 85 secs 2869811 edges, 10659 markings/sec, 90 secs 3059317 edges, 10891 markings/sec, 95 secs 3240675 edges, 10862 markings/sec, 100 secs 3439328 edges, 10647 markings/sec, 105 secs 3659581 edges, 10340 markings/sec, 110 secs 3837149 edges, 10924 markings/sec, 115 secs 4034504 edges, 10557 markings/sec, 120 secs 4197599 edges, 11163 markings/sec, 125 secs 4437262 edges, 9839 markings/sec, 130 secs 4625932 edges, 10571 markings/sec, 135 secs 4810612 edges, 9949 markings/sec, 140 secs 4991328 edges, 10822 markings/sec, 145 secs 5151857 edges, 11089 markings/sec, 150 secs 5339795 edges, 10671 markings/sec, 155 secs 5494759 edges, 11247 markings/sec, 160 secs 5704293 edges, 10296 markings/sec, 165 secs 5886672 edges, 10829 markings/sec, 170 secs 6050029 edges, 11039 markings/sec, 175 secs 6205373 edges, 11318 markings/sec, 180 secs 6481934 edges, 9277 markings/sec, 185 secs 6663101 edges, 10692 markings/sec, 190 secs 6848145 edges, 10719 markings/sec, 195 secs 7014953 edges, 11080 markings/sec, 200 secs 7185378 edges, 10790 markings/sec, 205 secs 7349574 edges, 11005 markings/sec, 210 secs 7503609 edges, 11320 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(p1078 + p1079 + p1080 + p1081 + p1082 + p1083 + p1084 + p1085 + p1086 + p1087 + p1088 + p1089 + p1090 + p1091 + p1092 + p1093 + p1094 + p1095 + p1096 + p1097 + p1098 + p1099 + p1100 + p1101 + p1102 + p1103 + p1104 + p1105 + p1106 + p1107 + p1108 + p1109 + p1110 + p1111 + p1112 + p1113 + p1114 + p1115 + p1116 + p1117 + p1118 + p1119 + p1120 + p1121 + p1122 + p1123 + p1124 + p1125 + p1126 + p112... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 31 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 75878 edges, 10085 markings/sec, 0 secs 157910 edges, 9984 markings/sec, 5 secs 241615 edges, 9953 markings/sec, 10 secs 326255 edges, 10038 markings/sec, 15 secs 415163 edges, 10118 markings/sec, 20 secs 503960 edges, 10119 markings/sec, 25 secs 594089 edges, 10102 markings/sec, 30 secs 685207 edges, 10083 markings/sec, 35 secs 775483 edges, 10108 markings/sec, 40 secs 865151 edges, 10098 markings/sec, 45 secs 955554 edges, 10072 markings/sec, 50 secs 1046352 edges, 10089 markings/sec, 55 secs 1137118 edges, 10091 markings/sec, 60 secs 1232622 edges, 10035 markings/sec, 65 secs 1328928 edges, 9994 markings/sec, 70 secs 1427468 edges, 9970 markings/sec, 75 secs 1532788 edges, 9904 markings/sec, 80 secs 1674463 edges, 9633 markings/sec, 85 secs 1811189 edges, 9696 markings/sec, 90 secs 2024069 edges, 8846 markings/sec, 95 secs 2170497 edges, 9481 markings/sec, 100 secs 2371442 edges, 8953 markings/sec, 105 secs 2541240 edges, 9267 markings/sec, 110 secs 2740925 edges, 8975 markings/sec, 115 secs 2905645 edges, 9427 markings/sec, 120 secs 3053186 edges, 9636 markings/sec, 125 secs 3258722 edges, 8958 markings/sec, 130 secs 3436196 edges, 9237 markings/sec, 135 secs 3569194 edges, 9740 markings/sec, 140 secs 3749461 edges, 9161 markings/sec, 145 secs 3918762 edges, 9248 markings/sec, 150 secs 4052893 edges, 9682 markings/sec, 155 secs 4202325 edges, 9474 markings/sec, 160 secs 4388315 edges, 9040 markings/sec, 165 secs 4563320 edges, 9136 markings/sec, 170 secs 4735183 edges, 9146 markings/sec, 175 secs 4857988 edges, 9800 markings/sec, 180 secs 4985733 edges, 9710 markings/sec, 185 secs 5157163 edges, 9237 markings/sec, 190 secs 5291182 edges, 9723 markings/sec, 195 secs 5501846 edges, 8649 markings/sec, 200 secs 5661840 edges, 9400 markings/sec, 205 secs 5810037 edges, 9530 markings/sec, 210 secs 5948761 edges, 9659 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(p7 + p8 + p9 + p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p15... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 31 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 117533 edges, 9637 markings/sec, 0 secs 237744 edges, 9523 markings/sec, 5 secs 361239 edges, 9480 markings/sec, 10 secs 483405 edges, 9441 markings/sec, 15 secs 610180 edges, 9345 markings/sec, 20 secs 738871 edges, 9302 markings/sec, 25 secs 868890 edges, 9277 markings/sec, 30 secs 999086 edges, 9251 markings/sec, 35 secs 1131551 edges, 9185 markings/sec, 40 secs 1265929 edges, 9146 markings/sec, 45 secs 1400900 edges, 9135 markings/sec, 50 secs 1539450 edges, 9069 markings/sec, 55 secs 1677761 edges, 9059 markings/sec, 60 secs 1816722 edges, 9019 markings/sec, 65 secs 1956838 edges, 9012 markings/sec, 70 secs 2104683 edges, 8903 markings/sec, 75 secs 2319530 edges, 8274 markings/sec, 80 secs 2594224 edges, 7770 markings/sec, 85 secs 2866672 edges, 7761 markings/sec, 90 secs 3141591 edges, 8319 markings/sec, 95 secs 3431996 edges, 8099 markings/sec, 100 secs 3721850 edges, 8042 markings/sec, 105 secs 4008356 edges, 8167 markings/sec, 110 secs 4293517 edges, 8215 markings/sec, 115 secs 4573241 edges, 8304 markings/sec, 120 secs 4858602 edges, 8112 markings/sec, 125 secs 5151422 edges, 8010 markings/sec, 130 secs 5427582 edges, 8221 markings/sec, 135 secs 5725296 edges, 8101 markings/sec, 140 secs 6007334 edges, 8120 markings/sec, 145 secs 6292593 edges, 8111 markings/sec, 150 secs 6582073 edges, 8248 markings/sec, 155 secs 6860918 edges, 8444 markings/sec, 160 secs 7158632 edges, 8038 markings/sec, 165 secs 7434338 edges, 8228 markings/sec, 170 secs 7722107 edges, 8075 markings/sec, 175 secs 8007083 edges, 7988 markings/sec, 180 secs 8289596 edges, 8021 markings/sec, 185 secs 8573987 edges, 8052 markings/sec, 190 secs 8855151 edges, 8369 markings/sec, 195 secs 9141187 edges, 8015 markings/sec, 200 secs 9426133 edges, 8091 markings/sec, 205 secs 9715863 edges, 8292 markings/sec, 210 secs 10003345 edges, 8303 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(p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 31 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 136577 edges, 10959 markings/sec, 0 secs 279447 edges, 10772 markings/sec, 5 secs 425111 edges, 10668 markings/sec, 10 secs 573150 edges, 10607 markings/sec, 15 secs 725679 edges, 10540 markings/sec, 20 secs 880663 edges, 10461 markings/sec, 25 secs 1028094 edges, 9946 markings/sec, 30 secs 1177182 edges, 9910 markings/sec, 35 secs 1327156 edges, 9901 markings/sec, 40 secs 1478412 edges, 9874 markings/sec, 45 secs 1633279 edges, 9804 markings/sec, 50 secs 1788260 edges, 9785 markings/sec, 55 secs 1944375 edges, 9768 markings/sec, 60 secs 2100283 edges, 9719 markings/sec, 65 secs 2258883 edges, 9700 markings/sec, 70 secs 2418479 edges, 9666 markings/sec, 75 secs 2580598 edges, 9615 markings/sec, 80 secs 2742621 edges, 9609 markings/sec, 85 secs 2902602 edges, 9616 markings/sec, 90 secs 3070230 edges, 9708 markings/sec, 95 secs 3234680 edges, 9526 markings/sec, 100 secs 3400585 edges, 9501 markings/sec, 105 secs 3568091 edges, 9472 markings/sec, 110 secs 3751106 edges, 9264 markings/sec, 115 secs 3925719 edges, 9354 markings/sec, 120 secs 4126399 edges, 9046 markings/sec, 125 secs 4411495 edges, 8287 markings/sec, 130 secs 4704161 edges, 8263 markings/sec, 135 secs 5001136 edges, 8239 markings/sec, 140 secs 5296941 edges, 8406 markings/sec, 145 secs 5582480 edges, 8261 markings/sec, 150 secs 5871396 edges, 8299 markings/sec, 155 secs 6164352 edges, 8270 markings/sec, 160 secs 6453802 edges, 8228 markings/sec, 165 secs 6745230 edges, 8207 markings/sec, 170 secs 7030426 edges, 8317 markings/sec, 175 secs 7325304 edges, 8298 markings/sec, 180 secs 7611464 edges, 8156 markings/sec, 185 secs 7899693 edges, 8282 markings/sec, 190 secs 8191914 edges, 8309 markings/sec, 195 secs 8481656 edges, 8138 markings/sec, 200 secs 8763707 edges, 8268 markings/sec, 205 secs 9045541 edges, 8261 markings/sec, 210 secs 9352409 edges, 8350 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(p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1006 + p1007 + p1008 + p1009 + p1010 + p1011 + p1012 + p1013 + p1014 + p1015 + p1016 + p1017 + p1018 + p1019 + p1020 + p1021 + p1022 + p1023 + p1024 + p1025 + p1026 + p1027 + p1028 + p1029 + p1030 + p1031 + p1032 + p1033 + p1034 + p1035 + p994 + p995 + p996 + p997 + p998 + p999) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 31 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 166887 edges, 12464 markings/sec, 0 secs 340155 edges, 12170 markings/sec, 5 secs 518714 edges, 12053 markings/sec, 10 secs 697228 edges, 11882 markings/sec, 15 secs 879711 edges, 11883 markings/sec, 20 secs 1065152 edges, 11789 markings/sec, 25 secs 1253841 edges, 11704 markings/sec, 30 secs 1458398 edges, 11436 markings/sec, 35 secs 1790746 edges, 9727 markings/sec, 40 secs 2127491 edges, 9865 markings/sec, 45 secs 2469478 edges, 9699 markings/sec, 50 secs 2819185 edges, 9667 markings/sec, 55 secs 3154926 edges, 9634 markings/sec, 60 secs 3469753 edges, 9154 markings/sec, 65 secs 3807930 edges, 9603 markings/sec, 70 secs 4152703 edges, 9593 markings/sec, 75 secs 4471670 edges, 9494 markings/sec, 80 secs 4812391 edges, 9489 markings/sec, 85 secs 5142639 edges, 9631 markings/sec, 90 secs 5485566 edges, 9468 markings/sec, 95 secs 5821599 edges, 9575 markings/sec, 100 secs 6155386 edges, 9676 markings/sec, 105 secs 6490176 edges, 9443 markings/sec, 110 secs 6827105 edges, 9574 markings/sec, 115 secs 7156188 edges, 9805 markings/sec, 120 secs 7506773 edges, 9488 markings/sec, 125 secs 7832436 edges, 9507 markings/sec, 130 secs 8167698 edges, 9675 markings/sec, 135 secs 8516438 edges, 9664 markings/sec, 140 secs 8857521 edges, 9867 markings/sec, 145 secs 9200647 edges, 9780 markings/sec, 150 secs 9543257 edges, 9777 markings/sec, 155 secs 9885464 edges, 9814 markings/sec, 160 secs 10228249 edges, 9729 markings/sec, 165 secs 10570229 edges, 9709 markings/sec, 170 secs 10895804 edges, 9713 markings/sec, 175 secs 11227128 edges, 9196 markings/sec, 180 secs 11561022 edges, 9679 markings/sec, 185 secs 11889414 edges, 9632 markings/sec, 190 secs 12237627 edges, 9478 markings/sec, 195 secs 12567146 edges, 9347 markings/sec, 200 secs 12897815 edges, 9430 markings/sec, 205 secs 13229685 edges, 9614 markings/sec, 210 secs 13571025 edges, 9661 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(p952 + p953 + p954 + p955 + p956 + p957 + p959 + p960 + p961 + p962 + p963 + p964 + p966 + p967 + p968 + p969 + p970 + p971 + p973 + p974 + p975 + p976 + p977 + p978 + p980 + p981 + p982 + p983 + p984 + p985 + p987 + p988 + p989 + p990 + p991 + p992 + p993 + p986 + p979 + p972 + p965 + p958) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 31 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(p1036 + p1037 + p1038 + p1039 + p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p1049 + p1050 + p1051 + p1052 + p1053 + p1054 + p1055 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1074 + p1075 + p1076 + p1077) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 31 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 90667 edges, 11961 markings/sec, 0 secs 188367 edges, 11834 markings/sec, 5 secs 289626 edges, 11748 markings/sec, 10 secs 393648 edges, 11683 markings/sec, 15 secs 520206 edges, 11395 markings/sec, 20 secs 657441 edges, 11247 markings/sec, 25 secs 772707 edges, 11911 markings/sec, 30 secs 893501 edges, 12038 markings/sec, 35 secs 1043439 edges, 11640 markings/sec, 40 secs 1212072 edges, 11408 markings/sec, 45 secs 1359737 edges, 11684 markings/sec, 50 secs 1512000 edges, 11564 markings/sec, 55 secs 1726873 edges, 10798 markings/sec, 60 secs 1948401 edges, 10842 markings/sec, 65 secs 2175175 edges, 11015 markings/sec, 70 secs 2373247 edges, 11391 markings/sec, 75 secs 2554250 edges, 11376 markings/sec, 80 secs 2776182 edges, 10991 markings/sec, 85 secs 2980466 edges, 11181 markings/sec, 90 secs 3146284 edges, 11589 markings/sec, 95 secs 3357614 edges, 10933 markings/sec, 100 secs 3583911 edges, 10732 markings/sec, 105 secs 3769448 edges, 11397 markings/sec, 110 secs 3990870 edges, 10840 markings/sec, 115 secs 4154857 edges, 11559 markings/sec, 120 secs 4352127 edges, 11252 markings/sec, 125 secs 4579962 edges, 10698 markings/sec, 130 secs 4754836 edges, 11535 markings/sec, 135 secs 5010944 edges, 10168 markings/sec, 140 secs 5193315 edges, 11288 markings/sec, 145 secs 5414722 edges, 10839 markings/sec, 150 secs 5650086 edges, 10440 markings/sec, 155 secs 5827644 edges, 11444 markings/sec, 160 secs 6010902 edges, 11430 markings/sec, 165 secs 6255324 edges, 10320 markings/sec, 170 secs 6456641 edges, 11065 markings/sec, 175 secs 6628401 edges, 11216 markings/sec, 180 secs 6815428 edges, 10987 markings/sec, 185 secs 6986927 edges, 11396 markings/sec, 190 secs 7154820 edges, 11713 markings/sec, 195 secs 7319983 edges, 11453 markings/sec, 200 secs 7614113 edges, 9455 markings/sec, 205 secs 7856076 edges, 10154 markings/sec, 210 secs 8055346 edges, 10933 markings/sec, 215 secs 8223770 edges, 11557 markings/sec, 220 secs 8411683 edges, 11159 markings/sec, 225 secs 8627424 edges, 10868 markings/sec, 230 secs 8849426 edges, 10734 markings/sec, 235 secs 9076424 edges, 10334 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(p301 + p302 + p303 + p304 + p305 + p306 + p307) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 31 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 89969 edges, 11824 markings/sec, 0 secs 186933 edges, 11676 markings/sec, 5 secs 287736 edges, 11589 markings/sec, 10 secs 413176 edges, 11325 markings/sec, 15 secs 543128 edges, 11258 markings/sec, 20 secs 664474 edges, 11307 markings/sec, 25 secs 790774 edges, 11215 markings/sec, 30 secs 919506 edges, 11144 markings/sec, 35 secs 1066912 edges, 10950 markings/sec, 40 secs 1186918 edges, 11295 markings/sec, 45 secs 1323079 edges, 11097 markings/sec, 50 secs 1490086 edges, 10712 markings/sec, 55 secs 1654839 edges, 10771 markings/sec, 60 secs 1837241 edges, 10486 markings/sec, 65 secs 2038454 edges, 10287 markings/sec, 70 secs 2231391 edges, 10438 markings/sec, 75 secs 2422189 edges, 10118 markings/sec, 80 secs 2615484 edges, 10205 markings/sec, 85 secs 2811808 edges, 10586 markings/sec, 90 secs 2997048 edges, 10825 markings/sec, 95 secs 3188007 edges, 10637 markings/sec, 100 secs 3385970 edges, 10488 markings/sec, 105 secs 3587921 edges, 10458 markings/sec, 110 secs 3781855 edges, 10566 markings/sec, 115 secs 3973188 edges, 10569 markings/sec, 120 secs 4139967 edges, 10822 markings/sec, 125 secs 4369155 edges, 10000 markings/sec, 130 secs 4542270 edges, 10810 markings/sec, 135 secs 4739697 edges, 10351 markings/sec, 140 secs 4937260 edges, 10425 markings/sec, 145 secs 5095206 edges, 10587 markings/sec, 150 secs 5279123 edges, 10461 markings/sec, 155 secs 5430811 edges, 11055 markings/sec, 160 secs 5630070 edges, 10347 markings/sec, 165 secs 5814839 edges, 10528 markings/sec, 170 secs 5977884 edges, 10919 markings/sec, 175 secs 6130038 edges, 11134 markings/sec, 180 secs 6348007 edges, 10128 markings/sec, 185 secs 6574837 edges, 9848 markings/sec, 190 secs 6764578 edges, 10428 markings/sec, 195 secs 6929197 edges, 10906 markings/sec, 200 secs 7091211 edges, 10902 markings/sec, 205 secs 7265784 edges, 10591 markings/sec, 210 secs 7418646 edges, 11101 markings/sec, 215 secs 7573833 edges, 11066 markings/sec, 220 secs 7836694 edges, 9232 markings/sec, 225 secs 8129734 edges, 8480 markings/sec, 230 secs 8359566 edges, 9705 markings/sec, 235 secs 8538065 edges, 10533 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(p0 + p1 + p2 + p3 + p4 + p5 + p6) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 31 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 92708 edges, 12122 markings/sec, 0 secs 192286 edges, 11979 markings/sec, 5 secs 296498 edges, 11896 markings/sec, 10 secs 424023 edges, 11640 markings/sec, 15 secs 556823 edges, 11523 markings/sec, 20 secs 679310 edges, 11603 markings/sec, 25 secs 806603 edges, 11495 markings/sec, 30 secs 949738 edges, 11271 markings/sec, 35 secs 1076745 edges, 11528 markings/sec, 40 secs 1209479 edges, 11443 markings/sec, 45 secs 1365040 edges, 11163 markings/sec, 50 secs 1525458 edges, 11119 markings/sec, 55 secs 1703791 edges, 10867 markings/sec, 60 secs 1907299 edges, 10562 markings/sec, 65 secs 2107278 edges, 10663 markings/sec, 70 secs 2305144 edges, 10727 markings/sec, 75 secs 2513389 edges, 10847 markings/sec, 80 secs 2703505 edges, 11078 markings/sec, 85 secs 2902560 edges, 10942 markings/sec, 90 secs 3092385 edges, 10955 markings/sec, 95 secs 3291460 edges, 10345 markings/sec, 100 secs 3479025 edges, 10701 markings/sec, 105 secs 3678773 edges, 10772 markings/sec, 110 secs 3860702 edges, 10493 markings/sec, 115 secs 4046150 edges, 10552 markings/sec, 120 secs 4211170 edges, 10831 markings/sec, 125 secs 4382543 edges, 10730 markings/sec, 130 secs 4578089 edges, 10284 markings/sec, 135 secs 4739570 edges, 10803 markings/sec, 140 secs 4986003 edges, 9356 markings/sec, 145 secs 5176634 edges, 10359 markings/sec, 150 secs 5321052 edges, 11210 markings/sec, 155 secs 5537971 edges, 9842 markings/sec, 160 secs 5737082 edges, 9911 markings/sec, 165 secs 5930387 edges, 10189 markings/sec, 170 secs 6083944 edges, 10659 markings/sec, 175 secs 6246885 edges, 10704 markings/sec, 180 secs 6430305 edges, 10335 markings/sec, 185 secs 6579884 edges, 10918 markings/sec, 190 secs 6782144 edges, 10002 markings/sec, 195 secs 6962364 edges, 10440 markings/sec, 200 secs 7121576 edges, 10779 markings/sec, 205 secs 7271275 edges, 11008 markings/sec, 210 secs 7517082 edges, 9429 markings/sec, 215 secs 7715195 edges, 10017 markings/sec, 220 secs 7898908 edges, 10277 markings/sec, 225 secs 8061326 edges, 10739 markings/sec, 230 secs 8220582 edges, 10646 markings/sec, 235 secs 8388593 edges, 10516 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(p952 + p953 + p954 + p955 + p956 + p957 + p959 + p960 + p961 + p962 + p963 + p964 + p966 + p967 + p968 + p969 + p970 + p971 + p973 + p974 + p975 + p976 + p977 + p978 + p980 + p981 + p982 + p983 + p984 + p985 + p987 + p988 + p989 + p990 + p991 + p992 + p993 + p986 + p979 + p972 + p965 + p958) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 31 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(p1036 + p1037 + p1038 + p1039 + p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p1049 + p1050 + p1051 + p1052 + p1053 + p1054 + p1055 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1074 + p1075 + p1076 + p1077) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 31 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 95163 edges, 12511 markings/sec, 0 secs 197276 edges, 12353 markings/sec, 5 secs 303491 edges, 12274 markings/sec, 10 secs 413455 edges, 12198 markings/sec, 15 secs 550602 edges, 11905 markings/sec, 20 secs 688084 edges, 11849 markings/sec, 25 secs 806149 edges, 12089 markings/sec, 30 secs 933507 edges, 11968 markings/sec, 35 secs 1079408 edges, 11657 markings/sec, 40 secs 1250477 edges, 11299 markings/sec, 45 secs 1394385 edges, 11650 markings/sec, 50 secs 1570208 edges, 11192 markings/sec, 55 secs 1779409 edges, 10825 markings/sec, 60 secs 2001677 edges, 10916 markings/sec, 65 secs 2229131 edges, 10956 markings/sec, 70 secs 2408592 edges, 11525 markings/sec, 75 secs 2602973 edges, 11157 markings/sec, 80 secs 2823025 edges, 10868 markings/sec, 85 secs 3023138 edges, 11111 markings/sec, 90 secs 3204196 edges, 11229 markings/sec, 95 secs 3402089 edges, 11128 markings/sec, 100 secs 3631806 edges, 10565 markings/sec, 105 secs 3815737 edges, 11353 markings/sec, 110 secs 4030930 edges, 10718 markings/sec, 115 secs 4192451 edges, 11452 markings/sec, 120 secs 4382335 edges, 11275 markings/sec, 125 secs 4612600 edges, 10797 markings/sec, 130 secs 4789669 edges, 11900 markings/sec, 135 secs 5057511 edges, 10348 markings/sec, 140 secs 5243365 edges, 11788 markings/sec, 145 secs 5509547 edges, 10409 markings/sec, 150 secs 5716284 edges, 11193 markings/sec, 155 secs 5876119 edges, 12193 markings/sec, 160 secs 6107279 edges, 11041 markings/sec, 165 secs 6336804 edges, 10801 markings/sec, 170 secs 6544070 edges, 11305 markings/sec, 175 secs 6712210 edges, 11367 markings/sec, 180 secs 6891838 edges, 11143 markings/sec, 185 secs 7062198 edges, 11852 markings/sec, 190 secs 7234891 edges, 12102 markings/sec, 195 secs 7464888 edges, 10871 markings/sec, 200 secs 7773555 edges, 9764 markings/sec, 205 secs 7973795 edges, 11477 markings/sec, 210 secs 8171975 edges, 11458 markings/sec, 215 secs 8336925 edges, 12118 markings/sec, 220 secs 8568337 edges, 10992 markings/sec, 225 secs 8791179 edges, 11357 markings/sec, 230 secs 9028097 edges, 10658 markings/sec, 235 secs 9246253 edges, 10996 markings/sec, 240 secs 9454582 edges, 11414 markings/sec, 245 secs 9661805 edges, 11327 markings/sec, 250 secs 9838136 edges, 11683 markings/sec, 255 secs 9988173 edges, 11979 markings/sec, 260 secs 10106362 edges, 12313 markings/sec, 265 secs 10224172 edges, 12350 markings/sec, 270 secs 10352042 edges, 12137 markings/sec, 275 secs 10482604 edges, 12070 markings/sec, 280 secs 10615516 edges, 12008 markings/sec, 285 secs 10759553 edges, 11762 markings/sec, 290 secs 10908164 edges, 11643 markings/sec, 295 secs 11065198 edges, 11459 markings/sec, 300 secs 11229278 edges, 11272 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(p1078 + p1079 + p1080 + p1081 + p1082 + p1083 + p1084 + p1085 + p1086 + p1087 + p1088 + p1089 + p1090 + p1091 + p1092 + p1093 + p1094 + p1095 + p1096 + p1097 + p1098 + p1099 + p1100 + p1101 + p1102 + p1103 + p1104 + p1105 + p1106 + p1107 + p1108 + p1109 + p1110 + p1111 + p1112 + p1113 + p1114 + p1115 + p1116 + p1117 + p1118 + p1119 + p1120 + p1121 + p1122 + p1123 + p1124 + p1125 + p1126 + p112... (shortened) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 31 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 81144 edges, 10734 markings/sec, 0 secs 168359 edges, 10603 markings/sec, 5 secs 257957 edges, 10582 markings/sec, 10 secs 347536 edges, 10596 markings/sec, 15 secs 440377 edges, 10557 markings/sec, 20 secs 533845 edges, 10538 markings/sec, 25 secs 626229 edges, 10266 markings/sec, 30 secs 717104 edges, 10212 markings/sec, 35 secs 810831 edges, 10538 markings/sec, 40 secs 905369 edges, 10521 markings/sec, 45 secs 999960 edges, 10527 markings/sec, 50 secs 1094409 edges, 10523 markings/sec, 55 secs 1191239 edges, 10483 markings/sec, 60 secs 1291776 edges, 10445 markings/sec, 65 secs 1393493 edges, 10415 markings/sec, 70 secs 1500649 edges, 10364 markings/sec, 75 secs 1642358 edges, 10050 markings/sec, 80 secs 1782955 edges, 10108 markings/sec, 85 secs 1992483 edges, 9414 markings/sec, 90 secs 2154472 edges, 9439 markings/sec, 95 secs 2354406 edges, 9031 markings/sec, 100 secs 2530454 edges, 9652 markings/sec, 105 secs 2733433 edges, 9447 markings/sec, 110 secs 2903565 edges, 9852 markings/sec, 115 secs 3062886 edges, 9983 markings/sec, 120 secs 3267932 edges, 9477 markings/sec, 125 secs 3450092 edges, 9688 markings/sec, 130 secs 3584280 edges, 9834 markings/sec, 135 secs 3771127 edges, 9128 markings/sec, 140 secs 3940669 edges, 9350 markings/sec, 145 secs 4075091 edges, 10120 markings/sec, 150 secs 4256937 edges, 9546 markings/sec, 155 secs 4430155 edges, 9641 markings/sec, 160 secs 4618084 edges, 9428 markings/sec, 165 secs 4779304 edges, 9817 markings/sec, 170 secs 4907428 edges, 10176 markings/sec, 175 secs 5061755 edges, 9893 markings/sec, 180 secs 5218873 edges, 9908 markings/sec, 185 secs 5426399 edges, 9310 markings/sec, 190 secs 5592116 edges, 9753 markings/sec, 195 secs 5754020 edges, 9885 markings/sec, 200 secs 5901022 edges, 10060 markings/sec, 205 secs 6143659 edges, 8683 markings/sec, 210 secs 6336222 edges, 9328 markings/sec, 215 secs 6511450 edges, 9546 markings/sec, 220 secs 6669452 edges, 9870 markings/sec, 225 secs 6827433 edges, 9772 markings/sec, 230 secs 6987781 edges, 9769 markings/sec, 235 secs 7137863 edges, 10000 markings/sec, 240 secs 7417561 edges, 8165 markings/sec, 245 secs 7681851 edges, 8222 markings/sec, 250 secs 7866130 edges, 9372 markings/sec, 255 secs 8030623 edges, 9662 markings/sec, 260 secs 8202060 edges, 9529 markings/sec, 265 secs 8366056 edges, 9715 markings/sec, 270 secs 8535978 edges, 9632 markings/sec, 275 secs 8722145 edges, 9431 markings/sec, 280 secs 8904781 edges, 9460 markings/sec, 285 secs 9090025 edges, 9329 markings/sec, 290 secs 9273110 edges, 9500 markings/sec, 295 secs 9449194 edges, 9424 markings/sec, 300 secs 9642238 edges, 9182 markings/sec, 305 secs limit reached - aborting aborted or communication problem between parent and child process 14 will run for 312 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p952 + p953 + p954 + p955 + p956 + p957 + p959 + p960 + p961 + p962 + p963 + p964 + p966 + p967 + p968 + p969 + p970 + p971 + p973 + p974 + p975 + p976 + p977 + p978 + p980 + p981 + p982 + p983 + p984 + p985 + p987 + p988 + p989 + p990 + p991 + p992 + p993 + p986 + p979 + p972 + p965 + p958) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 31 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 624 seconds at most (--localtimelimit=-1) ==================== subproblem: MAX(p301 + p302 + p303 + p304 + p305 + p306 + p307) ==================== bound of an expression encoder (--encoder=bit) bytes per marking, with 31 unused bits tree store (--store=prefix) preserving stubborn set method with insertion algorithm(--stubborn=tarjan) 88448 edges, 11640 markings/sec, 0 secs 183835 edges, 11502 markings/sec, 5 secs 283134 edges, 11427 markings/sec, 10 secs 406825 edges, 11176 markings/sec, 15 secs 534984 edges, 11072 markings/sec, 20 secs 652192 edges, 10949 markings/sec, 25 secs 775024 edges, 10863 markings/sec, 30 secs 895662 edges, 10876 markings/sec, 35 secs 1040808 edges, 10592 markings/sec, 40 secs 1158511 edges, 10953 markings/sec, 45 secs 1288259 edges, 10790 markings/sec, 50 secs 1442602 edges, 10567 markings/sec, 55 secs 1603014 edges, 10484 markings/sec, 60 secs 1776507 edges, 10468 markings/sec, 65 secs 1964626 edges, 10371 markings/sec, 70 secs 2164906 edges, 10196 markings/sec, 75 secs 2355936 edges, 10347 markings/sec, 80 secs 2546373 edges, 10527 markings/sec, 85 secs 2758835 edges, 10284 markings/sec, 90 secs 2947386 edges, 10636 markings/sec, 95 secs 3131012 edges, 10614 markings/sec, 100 secs 3320147 edges, 10512 markings/sec, 105 secs 3527279 edges, 10209 markings/sec, 110 secs 3720359 edges, 10446 markings/sec, 115 secs 3916185 edges, 10446 markings/sec, 120 secs 4082573 edges, 10695 markings/sec, 125 secs 4254330 edges, 10730 markings/sec, 130 secs 4482215 edges, 9829 markings/sec, 135 secs 4663501 edges, 10495 markings/sec, 140 secs 4865305 edges, 10246 markings/sec, 145 secs 5040202 edges, 10609 markings/sec, 150 secs 5190204 edges, 10973 markings/sec, 155 secs 5372582 edges, 10440 markings/sec, 160 secs 5525346 edges, 10923 markings/sec, 165 secs 5740221 edges, 9916 markings/sec, 170 secs 5904823 edges, 10715 markings/sec, 175 secs 6063313 edges, 10802 markings/sec, 180 secs 6217740 edges, 10957 markings/sec, 185 secs 6495813 edges, 8999 markings/sec, 190 secs 6669275 edges, 10512 markings/sec, 195 secs 6850621 edges, 10485 markings/sec, 200 secs 7013333 edges, 10819 markings/sec, 205 secs 7179549 edges, 10546 markings/sec, 210 secs 7341298 edges, 10735 markings/sec, 215 secs 7491668 edges, 11059 markings/sec, 220 secs 7674857 edges, 10400 markings/sec, 225 secs 7970553 edges, 8512 markings/sec, 230 secs 8263827 edges, 8473 markings/sec, 235 secs 8439392 edges, 10478 markings/sec, 240 secs 8616550 edges, 10399 markings/sec, 245 secs 8794375 edges, 10504 markings/sec, 250 secs 8952061 edges, 10922 markings/sec, 255 secs 9151119 edges, 10259 markings/sec, 260 secs 9352614 edges, 10212 markings/sec, 265 secs 9556638 edges, 9954 markings/sec, 270 secs 9752183 edges, 10229 markings/sec, 275 secs 9943602 edges, 10298 markings/sec, 280 secs 10085959 edges, 10918 markings/sec, 285 secs 10234607 edges, 10906 markings/sec, 290 secs 10418854 edges, 10312 markings/sec, 295 secs 10615264 edges, 10032 markings/sec, 300 secs 10825794 edges, 9702 markings/sec, 305 secs 11038846 edges, 9734 markings/sec, 310 secs 11201178 edges, 10664 markings/sec, 315 secs 11379522 edges, 10300 markings/sec, 320 secs 11560210 edges, 10221 markings/sec, 325 secs 11722048 edges, 10663 markings/sec, 330 secs 11903747 edges, 10522 markings/sec, 335 secs 12084468 edges, 10473 markings/sec, 340 secs 12256624 edges, 10677 markings/sec, 345 secs 12426769 edges, 10474 markings/sec, 350 secs 12595139 edges, 10444 markings/sec, 355 secs 12775140 edges, 10052 markings/sec, 360 secs 12946774 edges, 10394 markings/sec, 365 secs 13081801 edges, 10787 markings/sec, 370 secs 13218702 edges, 10975 markings/sec, 375 secs 13394494 edges, 10327 markings/sec, 380 secs 13590937 edges, 10271 markings/sec, 385 secs 13804824 edges, 9917 markings/sec, 390 secs 14008737 edges, 10045 markings/sec, 395 secs 14199327 edges, 10225 markings/sec, 400 secs 14383829 edges, 10309 markings/sec, 405 secs 14545562 edges, 10524 markings/sec, 410 secs 14708673 edges, 10479 markings/sec, 415 secs 14861075 edges, 10545 markings/sec, 420 secs 15007410 edges, 10559 markings/sec, 425 secs 15150736 edges, 10467 markings/sec, 430 secs 15298300 edges, 10388 markings/sec, 435 secs 15449258 edges, 10264 markings/sec, 440 secs 15608241 edges, 10111 markings/sec, 445 secs 15770856 edges, 9998 markings/sec, 450 secs 15941716 edges, 9804 markings/sec, 455 secs 16125243 edges, 9600 markings/sec, 460 secs 16315647 edges, 9295 markings/sec, 465 secs 16526430 edges, 8875 markings/sec, 470 secs 16808638 edges, 7996 markings/sec, 475 secs 17633448 edges, 2920 markings/sec, 480 secs 17845443 edges, 9912 markings/sec, 485 secs 18043935 edges, 9974 markings/sec, 490 secs 18238805 edges, 9744 markings/sec, 495 secs 18428469 edges, 10195 markings/sec, 500 secs 18652173 edges, 9787 markings/sec, 505 secs 19034070 edges, 7526 markings/sec, 510 secs 19338367 edges, 8626 markings/sec, 515 secs 19424911 edges, 11290 markings/sec, 520 secs 19517122 edges, 11158 markings/sec, 525 secs 19613233 edges, 11110 markings/sec, 530 secs 19738615 edges, 10774 markings/sec, 535 secs 19859123 edges, 10850 markings/sec, 540 secs 19977649 edges, 10823 markings/sec, 545 secs 20096738 edges, 10792 markings/sec, 550 secs 20215384 edges, 10809 markings/sec, 555 secs 20348089 edges, 10613 markings/sec, 560 secs 20471720 edges, 10740 markings/sec, 565 secs 20605728 edges, 10621 markings/sec, 570 secs 20748559 edges, 10495 markings/sec, 575 secs 20912948 edges, 10328 markings/sec, 580 secs 21101412 edges, 9986 markings/sec, 585 secs 21288968 edges, 10084 markings/sec, 590 secs 21481445 edges, 10082 markings/sec, 595 secs 21656273 edges, 10299 markings/sec, 600 secs 21837582 edges, 10189 markings/sec, 605 secs 22026143 edges, 10051 markings/sec, 610 secs 22195089 edges, 10367 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-COL-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-COL-6.tgz
mv Peterson-COL-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-COL-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-149440869500029"
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 ;