About the Execution of LoLA for S_PolyORBLF-COL-S06J06T06
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
667.970 | 3539666.00 | 3550194.00 | 13299.50 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_PolyORBLF-COL-S06J06T06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681500407
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-0
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-1
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-15
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-2
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-3
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-4
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-5
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-6
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-7
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-8
FORMULA_NAME PolyORBLF-COL-S06J06T06-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496433923848
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-COL-S06J06T06: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBLF-COL-S06J06T06: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-COL-S06J06T06 @ 3537 seconds
----- Start make result stdout -----
lola: LoLA will run for 3537 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 11440/65536 symbol table entries, 3572 collisions
lola: preprocessing...
lola: finding significant places
lola: 700 places, 10740 transitions, 642 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3155 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J06T06-UpperBounds.task
lola: MAX(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) : MAX(p55 + p56 + p57 + p58 + p59 + p60) : MAX(p392) : MAX(p393 + p394 + p395 + p396 + p397 + p398) : MAX(p275 + p276 + p277 + p278 + p279 + p280) : MAX(p287 + p288 + p289 + p290 + p291 + p292) : MAX(p533 + p534 + p535 + p536 + p537 + p538) : MAX(p565 + p566 + p567 + p568 + p569 + p570) : MAX(p565 + p566 + p567 + p568 + p569 + p570) : MAX(p0 + p1 + p2 + p3 + p4 + p5) : MAX(p146 + p147 + p148 + p149 + p150 + p151) : MAX(p618) : MAX(p429 + p430 + p431 + p432 + p433 + p434) : MAX(p269 + p270 + p271 + p272 + p273 + p274) : MAX(p96) : MAX(p146 + p147 + p148 + p149 + p150 + p151)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 8305 markings, 11488 edges, 1661 markings/sec, 0 secs
lola: 16518 markings, 23179 edges, 1643 markings/sec, 5 secs
lola: 24786 markings, 35320 edges, 1654 markings/sec, 10 secs
lola: 33251 markings, 46597 edges, 1693 markings/sec, 15 secs
lola: 41454 markings, 58456 edges, 1641 markings/sec, 20 secs
lola: 49595 markings, 70966 edges, 1628 markings/sec, 25 secs
lola: 56954 markings, 84344 edges, 1472 markings/sec, 30 secs
lola: 63892 markings, 116844 edges, 1388 markings/sec, 35 secs
lola: 70845 markings, 143281 edges, 1391 markings/sec, 40 secs
lola: 77773 markings, 167813 edges, 1386 markings/sec, 45 secs
lola: 84605 markings, 194427 edges, 1366 markings/sec, 50 secs
lola: 91217 markings, 217946 edges, 1322 markings/sec, 55 secs
lola: 97753 markings, 241371 edges, 1307 markings/sec, 60 secs
lola: 105356 markings, 259518 edges, 1521 markings/sec, 65 secs
lola: 112715 markings, 280763 edges, 1472 markings/sec, 70 secs
lola: 120752 markings, 295883 edges, 1607 markings/sec, 75 secs
lola: 128659 markings, 315466 edges, 1581 markings/sec, 80 secs
lola: 136608 markings, 334713 edges, 1590 markings/sec, 85 secs
lola: 144461 markings, 352283 edges, 1571 markings/sec, 90 secs
lola: 152896 markings, 366943 edges, 1687 markings/sec, 95 secs
lola: 160627 markings, 390131 edges, 1546 markings/sec, 100 secs
lola: 168301 markings, 413957 edges, 1535 markings/sec, 105 secs
lola: 176368 markings, 431123 edges, 1613 markings/sec, 110 secs
lola: 184527 markings, 447925 edges, 1632 markings/sec, 115 secs
lola: 192313 markings, 471275 edges, 1557 markings/sec, 120 secs
lola: 200351 markings, 490877 edges, 1608 markings/sec, 125 secs
lola: 208138 markings, 511776 edges, 1557 markings/sec, 130 secs
lola: 216000 markings, 531609 edges, 1572 markings/sec, 135 secs
lola: 224005 markings, 549507 edges, 1601 markings/sec, 140 secs
lola: 232236 markings, 583598 edges, 1646 markings/sec, 145 secs
lola: 240414 markings, 613956 edges, 1636 markings/sec, 150 secs
lola: 248744 markings, 641466 edges, 1666 markings/sec, 155 secs
lola: 257074 markings, 673426 edges, 1666 markings/sec, 160 secs
lola: 265205 markings, 702496 edges, 1626 markings/sec, 165 secs
lola: 273388 markings, 728095 edges, 1637 markings/sec, 170 secs
lola: 281809 markings, 740968 edges, 1684 markings/sec, 175 secs
lola: 290324 markings, 752640 edges, 1703 markings/sec, 180 secs
lola: 299028 markings, 764747 edges, 1741 markings/sec, 185 secs
lola: 307647 markings, 776893 edges, 1724 markings/sec, 190 secs
lola: 316111 markings, 789677 edges, 1693 markings/sec, 195 secs
lola: 324516 markings, 802706 edges, 1681 markings/sec, 200 secs
lola: 332949 markings, 816883 edges, 1687 markings/sec, 205 secs
lola: 341587 markings, 829961 edges, 1728 markings/sec, 210 secs
lola: 350116 markings, 843488 edges, 1706 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p55 + p56 + p57 + p58 + p59 + p60)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 8604 markings, 12670 edges, 1721 markings/sec, 0 secs
lola: 17349 markings, 31902 edges, 1749 markings/sec, 5 secs
lola: 26513 markings, 63317 edges, 1833 markings/sec, 10 secs
lola: 35899 markings, 84741 edges, 1877 markings/sec, 15 secs
lola: 45068 markings, 105593 edges, 1834 markings/sec, 20 secs
lola: 54098 markings, 128126 edges, 1806 markings/sec, 25 secs
lola: 63174 markings, 151468 edges, 1815 markings/sec, 30 secs
lola: 72182 markings, 181529 edges, 1802 markings/sec, 35 secs
lola: 81121 markings, 204331 edges, 1788 markings/sec, 40 secs
lola: 89784 markings, 213027 edges, 1733 markings/sec, 45 secs
lola: 98462 markings, 221720 edges, 1736 markings/sec, 50 secs
lola: 107151 markings, 230425 edges, 1738 markings/sec, 55 secs
lola: 115857 markings, 239146 edges, 1741 markings/sec, 60 secs
lola: 124664 markings, 248050 edges, 1761 markings/sec, 65 secs
lola: 133508 markings, 256925 edges, 1769 markings/sec, 70 secs
lola: 142297 markings, 265731 edges, 1758 markings/sec, 75 secs
lola: 151116 markings, 274565 edges, 1764 markings/sec, 80 secs
lola: 159927 markings, 283392 edges, 1762 markings/sec, 85 secs
lola: 168660 markings, 292177 edges, 1747 markings/sec, 90 secs
lola: 177430 markings, 301334 edges, 1754 markings/sec, 95 secs
lola: 186173 markings, 310111 edges, 1749 markings/sec, 100 secs
lola: 194909 markings, 319046 edges, 1747 markings/sec, 105 secs
lola: 203668 markings, 328005 edges, 1752 markings/sec, 110 secs
lola: 212505 markings, 336875 edges, 1767 markings/sec, 115 secs
lola: 221295 markings, 345681 edges, 1758 markings/sec, 120 secs
lola: 230105 markings, 354507 edges, 1762 markings/sec, 125 secs
lola: 238824 markings, 363259 edges, 1744 markings/sec, 130 secs
lola: 247550 markings, 372101 edges, 1745 markings/sec, 135 secs
lola: 256373 markings, 381154 edges, 1765 markings/sec, 140 secs
lola: 265088 markings, 390057 edges, 1743 markings/sec, 145 secs
lola: 273942 markings, 399345 edges, 1771 markings/sec, 150 secs
lola: 282756 markings, 408175 edges, 1763 markings/sec, 155 secs
lola: 291526 markings, 416979 edges, 1754 markings/sec, 160 secs
lola: 300310 markings, 425797 edges, 1757 markings/sec, 165 secs
lola: 309120 markings, 434623 edges, 1762 markings/sec, 170 secs
lola: 317887 markings, 443596 edges, 1753 markings/sec, 175 secs
lola: 326702 markings, 452762 edges, 1763 markings/sec, 180 secs
lola: 335421 markings, 461990 edges, 1744 markings/sec, 185 secs
lola: 344242 markings, 470844 edges, 1764 markings/sec, 190 secs
lola: 353010 markings, 479628 edges, 1754 markings/sec, 195 secs
lola: 361864 markings, 488955 edges, 1771 markings/sec, 200 secs
lola: 370679 markings, 498096 edges, 1763 markings/sec, 205 secs
lola: 379490 markings, 507022 edges, 1762 markings/sec, 210 secs
lola: 388301 markings, 515849 edges, 1762 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p392)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 8777 markings, 8852 edges, 1755 markings/sec, 0 secs
lola: 17540 markings, 17631 edges, 1753 markings/sec, 5 secs
lola: 26288 markings, 26443 edges, 1750 markings/sec, 10 secs
lola: 35065 markings, 35236 edges, 1755 markings/sec, 15 secs
lola: 43801 markings, 43986 edges, 1747 markings/sec, 20 secs
lola: 52542 markings, 52762 edges, 1748 markings/sec, 25 secs
lola: 61278 markings, 61514 edges, 1747 markings/sec, 30 secs
lola: 70031 markings, 70283 edges, 1751 markings/sec, 35 secs
lola: 78771 markings, 79038 edges, 1748 markings/sec, 40 secs
lola: 87542 markings, 87890 edges, 1754 markings/sec, 45 secs
lola: 96369 markings, 96845 edges, 1765 markings/sec, 50 secs
lola: 105153 markings, 105644 edges, 1757 markings/sec, 55 secs
lola: 113908 markings, 114415 edges, 1751 markings/sec, 60 secs
lola: 122606 markings, 123129 edges, 1740 markings/sec, 65 secs
lola: 131313 markings, 131852 edges, 1741 markings/sec, 70 secs
lola: 140060 markings, 140615 edges, 1749 markings/sec, 75 secs
lola: 148706 markings, 149275 edges, 1729 markings/sec, 80 secs
lola: 157125 markings, 157858 edges, 1684 markings/sec, 85 secs
lola: 165586 markings, 166480 edges, 1692 markings/sec, 90 secs
lola: 173939 markings, 174850 edges, 1671 markings/sec, 95 secs
lola: 182308 markings, 183252 edges, 1674 markings/sec, 100 secs
lola: 190729 markings, 191856 edges, 1684 markings/sec, 105 secs
lola: 199230 markings, 200471 edges, 1700 markings/sec, 110 secs
lola: 207538 markings, 209213 edges, 1662 markings/sec, 115 secs
lola: 216017 markings, 217709 edges, 1696 markings/sec, 120 secs
lola: 224485 markings, 226713 edges, 1694 markings/sec, 125 secs
lola: 232949 markings, 235243 edges, 1693 markings/sec, 130 secs
lola: 241416 markings, 243725 edges, 1693 markings/sec, 135 secs
lola: 249885 markings, 252208 edges, 1694 markings/sec, 140 secs
lola: 258247 markings, 260606 edges, 1672 markings/sec, 145 secs
lola: 266621 markings, 269160 edges, 1675 markings/sec, 150 secs
lola: 275051 markings, 277804 edges, 1686 markings/sec, 155 secs
lola: 283525 markings, 286631 edges, 1695 markings/sec, 160 secs
lola: 291967 markings, 295089 edges, 1688 markings/sec, 165 secs
lola: 300412 markings, 303548 edges, 1689 markings/sec, 170 secs
lola: 308807 markings, 312091 edges, 1679 markings/sec, 175 secs
lola: 317241 markings, 320674 edges, 1687 markings/sec, 180 secs
lola: 325701 markings, 329168 edges, 1692 markings/sec, 185 secs
lola: 334195 markings, 338018 edges, 1699 markings/sec, 190 secs
lola: 342628 markings, 346581 edges, 1687 markings/sec, 195 secs
lola: 351063 markings, 355031 edges, 1687 markings/sec, 200 secs
lola: 359508 markings, 363573 edges, 1689 markings/sec, 205 secs
lola: 367953 markings, 372101 edges, 1689 markings/sec, 210 secs
lola: 376083 markings, 380286 edges, 1626 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p393 + p394 + p395 + p396 + p397 + p398)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 8478 markings, 10738 edges, 1696 markings/sec, 0 secs
lola: 16820 markings, 23554 edges, 1668 markings/sec, 5 secs
lola: 24955 markings, 35628 edges, 1627 markings/sec, 10 secs
lola: 32823 markings, 59491 edges, 1574 markings/sec, 15 secs
lola: 40652 markings, 88137 edges, 1566 markings/sec, 20 secs
lola: 48397 markings, 111467 edges, 1549 markings/sec, 25 secs
lola: 56375 markings, 129118 edges, 1596 markings/sec, 30 secs
lola: 64315 markings, 146288 edges, 1588 markings/sec, 35 secs
lola: 72163 markings, 162924 edges, 1570 markings/sec, 40 secs
lola: 80088 markings, 180869 edges, 1585 markings/sec, 45 secs
lola: 88123 markings, 194133 edges, 1607 markings/sec, 50 secs
lola: 96138 markings, 206394 edges, 1603 markings/sec, 55 secs
lola: 104131 markings, 218934 edges, 1599 markings/sec, 60 secs
lola: 112044 markings, 230255 edges, 1583 markings/sec, 65 secs
lola: 120018 markings, 242312 edges, 1595 markings/sec, 70 secs
lola: 127716 markings, 266847 edges, 1540 markings/sec, 75 secs
lola: 135413 markings, 292139 edges, 1539 markings/sec, 80 secs
lola: 143448 markings, 306147 edges, 1607 markings/sec, 85 secs
lola: 151466 markings, 319419 edges, 1604 markings/sec, 90 secs
lola: 159499 markings, 332286 edges, 1607 markings/sec, 95 secs
lola: 167418 markings, 350222 edges, 1584 markings/sec, 100 secs
lola: 175458 markings, 363520 edges, 1608 markings/sec, 105 secs
lola: 183382 markings, 377716 edges, 1585 markings/sec, 110 secs
lola: 191084 markings, 404291 edges, 1540 markings/sec, 115 secs
lola: 199040 markings, 419898 edges, 1591 markings/sec, 120 secs
lola: 206921 markings, 438784 edges, 1576 markings/sec, 125 secs
lola: 214972 markings, 451374 edges, 1610 markings/sec, 130 secs
lola: 222810 markings, 472141 edges, 1568 markings/sec, 135 secs
lola: 230726 markings, 490040 edges, 1583 markings/sec, 140 secs
lola: 238737 markings, 505986 edges, 1602 markings/sec, 145 secs
lola: 246726 markings, 522786 edges, 1598 markings/sec, 150 secs
lola: 254616 markings, 539476 edges, 1578 markings/sec, 155 secs
lola: 262411 markings, 557104 edges, 1559 markings/sec, 160 secs
lola: 270270 markings, 572816 edges, 1572 markings/sec, 165 secs
lola: 278063 markings, 589237 edges, 1559 markings/sec, 170 secs
lola: 285917 markings, 605922 edges, 1571 markings/sec, 175 secs
lola: 293776 markings, 621700 edges, 1572 markings/sec, 180 secs
lola: 301634 markings, 637803 edges, 1572 markings/sec, 185 secs
lola: 309412 markings, 652656 edges, 1556 markings/sec, 190 secs
lola: 316860 markings, 660117 edges, 1490 markings/sec, 195 secs
lola: 324316 markings, 667586 edges, 1491 markings/sec, 200 secs
lola: 331755 markings, 675039 edges, 1488 markings/sec, 205 secs
lola: 339177 markings, 682474 edges, 1484 markings/sec, 210 secs
lola: 346586 markings, 689897 edges, 1482 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p275 + p276 + p277 + p278 + p279 + p280)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 7300 markings, 8234 edges, 1460 markings/sec, 0 secs
lola: 14517 markings, 16651 edges, 1443 markings/sec, 5 secs
lola: 21500 markings, 26873 edges, 1397 markings/sec, 10 secs
lola: 28640 markings, 35150 edges, 1428 markings/sec, 15 secs
lola: 35797 markings, 43176 edges, 1431 markings/sec, 20 secs
lola: 42895 markings, 51392 edges, 1420 markings/sec, 25 secs
lola: 49843 markings, 61500 edges, 1390 markings/sec, 30 secs
lola: 56732 markings, 70487 edges, 1378 markings/sec, 35 secs
lola: 63557 markings, 79501 edges, 1365 markings/sec, 40 secs
lola: 70347 markings, 89313 edges, 1358 markings/sec, 45 secs
lola: 77100 markings, 99381 edges, 1351 markings/sec, 50 secs
lola: 84102 markings, 108471 edges, 1400 markings/sec, 55 secs
lola: 90956 markings, 117474 edges, 1371 markings/sec, 60 secs
lola: 97747 markings, 127641 edges, 1358 markings/sec, 65 secs
lola: 104877 markings, 137284 edges, 1426 markings/sec, 70 secs
lola: 111842 markings, 146298 edges, 1393 markings/sec, 75 secs
lola: 118724 markings, 156529 edges, 1376 markings/sec, 80 secs
lola: 125656 markings, 166592 edges, 1386 markings/sec, 85 secs
lola: 132617 markings, 176544 edges, 1392 markings/sec, 90 secs
lola: 139880 markings, 185808 edges, 1453 markings/sec, 95 secs
lola: 146720 markings, 195855 edges, 1368 markings/sec, 100 secs
lola: 153729 markings, 205918 edges, 1402 markings/sec, 105 secs
lola: 160559 markings, 215722 edges, 1366 markings/sec, 110 secs
lola: 167479 markings, 225514 edges, 1384 markings/sec, 115 secs
lola: 174288 markings, 234212 edges, 1362 markings/sec, 120 secs
lola: 181056 markings, 244019 edges, 1354 markings/sec, 125 secs
lola: 187997 markings, 253821 edges, 1388 markings/sec, 130 secs
lola: 194886 markings, 262764 edges, 1378 markings/sec, 135 secs
lola: 201666 markings, 272481 edges, 1356 markings/sec, 140 secs
lola: 208317 markings, 281262 edges, 1330 markings/sec, 145 secs
lola: 215312 markings, 291103 edges, 1399 markings/sec, 150 secs
lola: 222281 markings, 300721 edges, 1394 markings/sec, 155 secs
lola: 229647 markings, 310946 edges, 1473 markings/sec, 160 secs
lola: 236818 markings, 321248 edges, 1434 markings/sec, 165 secs
lola: 244183 markings, 331809 edges, 1473 markings/sec, 170 secs
lola: 251184 markings, 339958 edges, 1400 markings/sec, 175 secs
lola: 258471 markings, 350741 edges, 1457 markings/sec, 180 secs
lola: 265794 markings, 360775 edges, 1465 markings/sec, 185 secs
lola: 272986 markings, 369449 edges, 1438 markings/sec, 190 secs
lola: 280212 markings, 380476 edges, 1445 markings/sec, 195 secs
lola: 287337 markings, 390575 edges, 1425 markings/sec, 200 secs
lola: 294530 markings, 401382 edges, 1439 markings/sec, 205 secs
lola: 301830 markings, 411602 edges, 1460 markings/sec, 210 secs
lola: 308979 markings, 421732 edges, 1430 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p287 + p288 + p289 + p290 + p291 + p292)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 8583 markings, 12006 edges, 1717 markings/sec, 0 secs
lola: 17110 markings, 25197 edges, 1705 markings/sec, 5 secs
lola: 25723 markings, 37940 edges, 1723 markings/sec, 10 secs
lola: 34118 markings, 60831 edges, 1679 markings/sec, 15 secs
lola: 42421 markings, 90803 edges, 1661 markings/sec, 20 secs
lola: 50663 markings, 99543 edges, 1648 markings/sec, 25 secs
lola: 58886 markings, 107840 edges, 1645 markings/sec, 30 secs
lola: 67092 markings, 116112 edges, 1641 markings/sec, 35 secs
lola: 75177 markings, 124280 edges, 1617 markings/sec, 40 secs
lola: 83328 markings, 132505 edges, 1630 markings/sec, 45 secs
lola: 91463 markings, 140715 edges, 1627 markings/sec, 50 secs
lola: 99707 markings, 149034 edges, 1649 markings/sec, 55 secs
lola: 107894 markings, 157295 edges, 1637 markings/sec, 60 secs
lola: 116103 markings, 165578 edges, 1642 markings/sec, 65 secs
lola: 124235 markings, 173795 edges, 1626 markings/sec, 70 secs
lola: 132373 markings, 182007 edges, 1628 markings/sec, 75 secs
lola: 140525 markings, 190235 edges, 1630 markings/sec, 80 secs
lola: 148776 markings, 198560 edges, 1650 markings/sec, 85 secs
lola: 156981 markings, 206828 edges, 1641 markings/sec, 90 secs
lola: 165157 markings, 215079 edges, 1635 markings/sec, 95 secs
lola: 173277 markings, 223284 edges, 1624 markings/sec, 100 secs
lola: 181400 markings, 231482 edges, 1625 markings/sec, 105 secs
lola: 189561 markings, 239718 edges, 1632 markings/sec, 110 secs
lola: 197784 markings, 248015 edges, 1645 markings/sec, 115 secs
lola: 205990 markings, 256295 edges, 1641 markings/sec, 120 secs
lola: 214153 markings, 264532 edges, 1633 markings/sec, 125 secs
lola: 222284 markings, 272748 edges, 1626 markings/sec, 130 secs
lola: 230432 markings, 280971 edges, 1630 markings/sec, 135 secs
lola: 238583 markings, 289198 edges, 1630 markings/sec, 140 secs
lola: 246770 markings, 297449 edges, 1637 markings/sec, 145 secs
lola: 254969 markings, 305754 edges, 1640 markings/sec, 150 secs
lola: 263136 markings, 314070 edges, 1633 markings/sec, 155 secs
lola: 271388 markings, 322487 edges, 1650 markings/sec, 160 secs
lola: 279565 markings, 330840 edges, 1635 markings/sec, 165 secs
lola: 287777 markings, 339186 edges, 1642 markings/sec, 170 secs
lola: 295934 markings, 347447 edges, 1631 markings/sec, 175 secs
lola: 304112 markings, 355690 edges, 1636 markings/sec, 180 secs
lola: 312292 markings, 363946 edges, 1636 markings/sec, 185 secs
lola: 320442 markings, 372309 edges, 1630 markings/sec, 190 secs
lola: 328623 markings, 380565 edges, 1636 markings/sec, 195 secs
lola: 336816 markings, 388843 edges, 1639 markings/sec, 200 secs
lola: 344953 markings, 397195 edges, 1627 markings/sec, 205 secs
lola: 353097 markings, 405427 edges, 1629 markings/sec, 210 secs
lola: 361264 markings, 413783 edges, 1633 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p533 + p534 + p535 + p536 + p537 + p538)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 8304 markings, 9700 edges, 1661 markings/sec, 0 secs
lola: 16503 markings, 17941 edges, 1640 markings/sec, 5 secs
lola: 24566 markings, 26025 edges, 1613 markings/sec, 10 secs
lola: 32773 markings, 34259 edges, 1641 markings/sec, 15 secs
lola: 40978 markings, 42540 edges, 1641 markings/sec, 20 secs
lola: 49185 markings, 50774 edges, 1641 markings/sec, 25 secs
lola: 57247 markings, 58854 edges, 1612 markings/sec, 30 secs
lola: 65303 markings, 66923 edges, 1611 markings/sec, 35 secs
lola: 73353 markings, 74985 edges, 1610 markings/sec, 40 secs
lola: 81403 markings, 83051 edges, 1610 markings/sec, 45 secs
lola: 89465 markings, 91125 edges, 1612 markings/sec, 50 secs
lola: 97551 markings, 99226 edges, 1617 markings/sec, 55 secs
lola: 105822 markings, 107528 edges, 1654 markings/sec, 60 secs
lola: 113985 markings, 115720 edges, 1633 markings/sec, 65 secs
lola: 122160 markings, 123926 edges, 1635 markings/sec, 70 secs
lola: 130356 markings, 132154 edges, 1639 markings/sec, 75 secs
lola: 138584 markings, 140429 edges, 1646 markings/sec, 80 secs
lola: 146769 markings, 148643 edges, 1637 markings/sec, 85 secs
lola: 154908 markings, 156805 edges, 1628 markings/sec, 90 secs
lola: 163079 markings, 165024 edges, 1634 markings/sec, 95 secs
lola: 171336 markings, 173335 edges, 1651 markings/sec, 100 secs
lola: 179505 markings, 181527 edges, 1634 markings/sec, 105 secs
lola: 187660 markings, 189737 edges, 1631 markings/sec, 110 secs
lola: 195900 markings, 198009 edges, 1648 markings/sec, 115 secs
lola: 204044 markings, 206201 edges, 1629 markings/sec, 120 secs
lola: 212320 markings, 214502 edges, 1655 markings/sec, 125 secs
lola: 220467 markings, 222680 edges, 1629 markings/sec, 130 secs
lola: 228560 markings, 230786 edges, 1619 markings/sec, 135 secs
lola: 236656 markings, 238895 edges, 1619 markings/sec, 140 secs
lola: 244802 markings, 247064 edges, 1629 markings/sec, 145 secs
lola: 253005 markings, 255298 edges, 1641 markings/sec, 150 secs
lola: 261222 markings, 263549 edges, 1643 markings/sec, 155 secs
lola: 269448 markings, 271838 edges, 1645 markings/sec, 160 secs
lola: 277607 markings, 280021 edges, 1632 markings/sec, 165 secs
lola: 285765 markings, 288212 edges, 1632 markings/sec, 170 secs
lola: 293570 markings, 296030 edges, 1561 markings/sec, 175 secs
lola: 301341 markings, 303815 edges, 1554 markings/sec, 180 secs
lola: 309015 markings, 311524 edges, 1535 markings/sec, 185 secs
lola: 316491 markings, 319031 edges, 1495 markings/sec, 190 secs
lola: 323985 markings, 326541 edges, 1499 markings/sec, 195 secs
lola: 331851 markings, 334433 edges, 1573 markings/sec, 200 secs
lola: 339761 markings, 342374 edges, 1582 markings/sec, 205 secs
lola: 347893 markings, 350546 edges, 1626 markings/sec, 210 secs
lola: 356136 markings, 358821 edges, 1649 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p565 + p566 + p567 + p568 + p569 + p570)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 8505 markings, 8527 edges, 1701 markings/sec, 0 secs
lola: 16962 markings, 16997 edges, 1691 markings/sec, 5 secs
lola: 25428 markings, 25476 edges, 1693 markings/sec, 10 secs
lola: 33875 markings, 33937 edges, 1689 markings/sec, 15 secs
lola: 42299 markings, 42373 edges, 1685 markings/sec, 20 secs
lola: 50741 markings, 50828 edges, 1688 markings/sec, 25 secs
lola: 59200 markings, 59301 edges, 1692 markings/sec, 30 secs
lola: 67675 markings, 67790 edges, 1695 markings/sec, 35 secs
lola: 76136 markings, 76263 edges, 1692 markings/sec, 40 secs
lola: 84578 markings, 84718 edges, 1688 markings/sec, 45 secs
lola: 93000 markings, 93154 edges, 1684 markings/sec, 50 secs
lola: 101425 markings, 101592 edges, 1685 markings/sec, 55 secs
lola: 109842 markings, 110021 edges, 1683 markings/sec, 60 secs
lola: 118165 markings, 118359 edges, 1665 markings/sec, 65 secs
lola: 126582 markings, 126789 edges, 1683 markings/sec, 70 secs
lola: 134955 markings, 135174 edges, 1675 markings/sec, 75 secs
lola: 143334 markings, 143567 edges, 1676 markings/sec, 80 secs
lola: 151681 markings, 151927 edges, 1669 markings/sec, 85 secs
lola: 160060 markings, 160318 edges, 1676 markings/sec, 90 secs
lola: 168548 markings, 168820 edges, 1698 markings/sec, 95 secs
lola: 177094 markings, 177379 edges, 1709 markings/sec, 100 secs
lola: 185620 markings, 185919 edges, 1705 markings/sec, 105 secs
lola: 194105 markings, 194417 edges, 1697 markings/sec, 110 secs
lola: 202591 markings, 202917 edges, 1697 markings/sec, 115 secs
lola: 211087 markings, 211425 edges, 1699 markings/sec, 120 secs
lola: 219579 markings, 219930 edges, 1698 markings/sec, 125 secs
lola: 228079 markings, 228445 edges, 1700 markings/sec, 130 secs
lola: 236622 markings, 237018 edges, 1709 markings/sec, 135 secs
lola: 245159 markings, 245569 edges, 1707 markings/sec, 140 secs
lola: 253682 markings, 254105 edges, 1705 markings/sec, 145 secs
lola: 262184 markings, 262620 edges, 1700 markings/sec, 150 secs
lola: 270663 markings, 271114 edges, 1696 markings/sec, 155 secs
lola: 279138 markings, 279601 edges, 1695 markings/sec, 160 secs
lola: 287595 markings, 288071 edges, 1691 markings/sec, 165 secs
lola: 296111 markings, 296601 edges, 1703 markings/sec, 170 secs
lola: 304615 markings, 305118 edges, 1701 markings/sec, 175 secs
lola: 313110 markings, 313626 edges, 1699 markings/sec, 180 secs
lola: 321624 markings, 322154 edges, 1703 markings/sec, 185 secs
lola: 330093 markings, 330637 edges, 1694 markings/sec, 190 secs
lola: 338573 markings, 339129 edges, 1696 markings/sec, 195 secs
lola: 347040 markings, 347610 edges, 1693 markings/sec, 200 secs
lola: 355575 markings, 356158 edges, 1707 markings/sec, 205 secs
lola: 364081 markings, 364677 edges, 1701 markings/sec, 210 secs
lola: 372586 markings, 373195 edges, 1701 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p565 + p566 + p567 + p568 + p569 + p570)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 8628 markings, 8650 edges, 1726 markings/sec, 0 secs
lola: 17183 markings, 17218 edges, 1711 markings/sec, 5 secs
lola: 25763 markings, 25811 edges, 1716 markings/sec, 10 secs
lola: 34303 markings, 34365 edges, 1708 markings/sec, 15 secs
lola: 42843 markings, 42918 edges, 1708 markings/sec, 20 secs
lola: 51371 markings, 51459 edges, 1706 markings/sec, 25 secs
lola: 59939 markings, 60042 edges, 1714 markings/sec, 30 secs
lola: 68516 markings, 68632 edges, 1715 markings/sec, 35 secs
lola: 77062 markings, 77191 edges, 1709 markings/sec, 40 secs
lola: 85634 markings, 85775 edges, 1714 markings/sec, 45 secs
lola: 94153 markings, 94308 edges, 1704 markings/sec, 50 secs
lola: 102692 markings, 102861 edges, 1708 markings/sec, 55 secs
lola: 111227 markings, 111410 edges, 1707 markings/sec, 60 secs
lola: 119838 markings, 120034 edges, 1722 markings/sec, 65 secs
lola: 128402 markings, 128611 edges, 1713 markings/sec, 70 secs
lola: 136977 markings, 137199 edges, 1715 markings/sec, 75 secs
lola: 145516 markings, 145752 edges, 1708 markings/sec, 80 secs
lola: 154030 markings, 154280 edges, 1703 markings/sec, 85 secs
lola: 162565 markings, 162827 edges, 1707 markings/sec, 90 secs
lola: 171130 markings, 171406 edges, 1713 markings/sec, 95 secs
lola: 179708 markings, 179997 edges, 1716 markings/sec, 100 secs
lola: 188263 markings, 188565 edges, 1711 markings/sec, 105 secs
lola: 196836 markings, 197153 edges, 1715 markings/sec, 110 secs
lola: 205352 markings, 205682 edges, 1703 markings/sec, 115 secs
lola: 213903 markings, 214246 edges, 1710 markings/sec, 120 secs
lola: 222436 markings, 222794 edges, 1707 markings/sec, 125 secs
lola: 230989 markings, 231360 edges, 1711 markings/sec, 130 secs
lola: 239535 markings, 239937 edges, 1709 markings/sec, 135 secs
lola: 248114 markings, 248529 edges, 1716 markings/sec, 140 secs
lola: 256661 markings, 257089 edges, 1709 markings/sec, 145 secs
lola: 265195 markings, 265636 edges, 1707 markings/sec, 150 secs
lola: 273705 markings, 274160 edges, 1702 markings/sec, 155 secs
lola: 282217 markings, 282685 edges, 1702 markings/sec, 160 secs
lola: 290719 markings, 291200 edges, 1700 markings/sec, 165 secs
lola: 299311 markings, 299806 edges, 1718 markings/sec, 170 secs
lola: 307495 markings, 308003 edges, 1637 markings/sec, 175 secs
lola: 316094 markings, 316615 edges, 1720 markings/sec, 180 secs
lola: 324667 markings, 325201 edges, 1715 markings/sec, 185 secs
lola: 333223 markings, 333771 edges, 1711 markings/sec, 190 secs
lola: 341785 markings, 342346 edges, 1712 markings/sec, 195 secs
lola: 350380 markings, 350955 edges, 1719 markings/sec, 200 secs
lola: 359003 markings, 359591 edges, 1725 markings/sec, 205 secs
lola: 367591 markings, 368192 edges, 1718 markings/sec, 210 secs
lola: 376202 markings, 376817 edges, 1722 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 7310 markings, 7400 edges, 1462 markings/sec, 0 secs
lola: 14973 markings, 15154 edges, 1533 markings/sec, 5 secs
lola: 22763 markings, 23034 edges, 1558 markings/sec, 10 secs
lola: 30347 markings, 30697 edges, 1517 markings/sec, 15 secs
lola: 37613 markings, 38054 edges, 1453 markings/sec, 20 secs
lola: 45005 markings, 45649 edges, 1478 markings/sec, 25 secs
lola: 52449 markings, 53484 edges, 1489 markings/sec, 30 secs
lola: 59997 markings, 61111 edges, 1510 markings/sec, 35 secs
lola: 67658 markings, 68862 edges, 1532 markings/sec, 40 secs
lola: 75400 markings, 76707 edges, 1548 markings/sec, 45 secs
lola: 83080 markings, 84477 edges, 1536 markings/sec, 50 secs
lola: 90755 markings, 92231 edges, 1535 markings/sec, 55 secs
lola: 98560 markings, 100127 edges, 1561 markings/sec, 60 secs
lola: 106467 markings, 108126 edges, 1581 markings/sec, 65 secs
lola: 114260 markings, 115998 edges, 1559 markings/sec, 70 secs
lola: 121911 markings, 123751 edges, 1530 markings/sec, 75 secs
lola: 129698 markings, 131617 edges, 1557 markings/sec, 80 secs
lola: 137259 markings, 139268 edges, 1512 markings/sec, 85 secs
lola: 145024 markings, 147125 edges, 1553 markings/sec, 90 secs
lola: 152733 markings, 154925 edges, 1542 markings/sec, 95 secs
lola: 160091 markings, 162361 edges, 1472 markings/sec, 100 secs
lola: 167910 markings, 170270 edges, 1564 markings/sec, 105 secs
lola: 175751 markings, 178215 edges, 1568 markings/sec, 110 secs
lola: 183582 markings, 186125 edges, 1566 markings/sec, 115 secs
lola: 191270 markings, 193904 edges, 1538 markings/sec, 120 secs
lola: 198970 markings, 201683 edges, 1540 markings/sec, 125 secs
lola: 206827 markings, 209631 edges, 1571 markings/sec, 130 secs
lola: 214704 markings, 217610 edges, 1575 markings/sec, 135 secs
lola: 222446 markings, 225443 edges, 1548 markings/sec, 140 secs
lola: 230210 markings, 233297 edges, 1553 markings/sec, 145 secs
lola: 237929 markings, 241096 edges, 1544 markings/sec, 150 secs
lola: 245617 markings, 248876 edges, 1538 markings/sec, 155 secs
lola: 253146 markings, 256495 edges, 1506 markings/sec, 160 secs
lola: 260997 markings, 264445 edges, 1570 markings/sec, 165 secs
lola: 268740 markings, 272484 edges, 1549 markings/sec, 170 secs
lola: 276323 markings, 280576 edges, 1517 markings/sec, 175 secs
lola: 283644 markings, 288079 edges, 1464 markings/sec, 180 secs
lola: 291302 markings, 296214 edges, 1532 markings/sec, 185 secs
lola: 298747 markings, 303837 edges, 1489 markings/sec, 190 secs
lola: 306474 markings, 311723 edges, 1545 markings/sec, 195 secs
lola: 314229 markings, 319593 edges, 1551 markings/sec, 200 secs
lola: 321926 markings, 327380 edges, 1539 markings/sec, 205 secs
lola: 329699 markings, 335244 edges, 1555 markings/sec, 210 secs
lola: 337145 markings, 342769 edges, 1489 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p146 + p147 + p148 + p149 + p150 + p151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 8402 markings, 10582 edges, 1680 markings/sec, 0 secs
lola: 16968 markings, 23723 edges, 1713 markings/sec, 5 secs
lola: 25477 markings, 36545 edges, 1702 markings/sec, 10 secs
lola: 33800 markings, 64560 edges, 1665 markings/sec, 15 secs
lola: 42090 markings, 93136 edges, 1658 markings/sec, 20 secs
lola: 50357 markings, 117261 edges, 1653 markings/sec, 25 secs
lola: 58940 markings, 133529 edges, 1717 markings/sec, 30 secs
lola: 67437 markings, 152906 edges, 1699 markings/sec, 35 secs
lola: 75911 markings, 169790 edges, 1695 markings/sec, 40 secs
lola: 84429 markings, 188167 edges, 1704 markings/sec, 45 secs
lola: 93052 markings, 201681 edges, 1725 markings/sec, 50 secs
lola: 101633 markings, 215046 edges, 1716 markings/sec, 55 secs
lola: 110157 markings, 227366 edges, 1705 markings/sec, 60 secs
lola: 118703 markings, 240201 edges, 1709 markings/sec, 65 secs
lola: 126982 markings, 264052 edges, 1656 markings/sec, 70 secs
lola: 135230 markings, 291834 edges, 1650 markings/sec, 75 secs
lola: 143849 markings, 306818 edges, 1724 markings/sec, 80 secs
lola: 152437 markings, 321238 edges, 1718 markings/sec, 85 secs
lola: 161035 markings, 334703 edges, 1720 markings/sec, 90 secs
lola: 169572 markings, 354171 edges, 1707 markings/sec, 95 secs
lola: 178137 markings, 367531 edges, 1713 markings/sec, 100 secs
lola: 186525 markings, 390650 edges, 1678 markings/sec, 105 secs
lola: 194940 markings, 412047 edges, 1683 markings/sec, 110 secs
lola: 203440 markings, 430221 edges, 1700 markings/sec, 115 secs
lola: 211991 markings, 447041 edges, 1710 markings/sec, 120 secs
lola: 220449 markings, 466389 edges, 1692 markings/sec, 125 secs
lola: 228934 markings, 486123 edges, 1697 markings/sec, 130 secs
lola: 237255 markings, 503207 edges, 1664 markings/sec, 135 secs
lola: 245578 markings, 520354 edges, 1665 markings/sec, 140 secs
lola: 253830 markings, 537851 edges, 1650 markings/sec, 145 secs
lola: 261938 markings, 556139 edges, 1622 markings/sec, 150 secs
lola: 270119 markings, 572611 edges, 1636 markings/sec, 155 secs
lola: 278224 markings, 589550 edges, 1621 markings/sec, 160 secs
lola: 286404 markings, 606730 edges, 1636 markings/sec, 165 secs
lola: 294553 markings, 624316 edges, 1630 markings/sec, 170 secs
lola: 302732 markings, 640932 edges, 1636 markings/sec, 175 secs
lola: 310782 markings, 654028 edges, 1610 markings/sec, 180 secs
lola: 318540 markings, 661800 edges, 1552 markings/sec, 185 secs
lola: 326288 markings, 669562 edges, 1550 markings/sec, 190 secs
lola: 334022 markings, 677310 edges, 1547 markings/sec, 195 secs
lola: 341742 markings, 685043 edges, 1544 markings/sec, 200 secs
lola: 349471 markings, 692787 edges, 1546 markings/sec, 205 secs
lola: 357239 markings, 700569 edges, 1554 markings/sec, 210 secs
lola: 364960 markings, 708304 edges, 1544 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p618)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 8156 markings, 9551 edges, 1631 markings/sec, 0 secs
lola: 16235 markings, 17668 edges, 1616 markings/sec, 5 secs
lola: 24191 markings, 25649 edges, 1591 markings/sec, 10 secs
lola: 32253 markings, 33738 edges, 1612 markings/sec, 15 secs
lola: 40331 markings, 41892 edges, 1616 markings/sec, 20 secs
lola: 48403 markings, 49991 edges, 1614 markings/sec, 25 secs
lola: 56313 markings, 57919 edges, 1582 markings/sec, 30 secs
lola: 64236 markings, 65854 edges, 1585 markings/sec, 35 secs
lola: 72149 markings, 73779 edges, 1583 markings/sec, 40 secs
lola: 79831 markings, 81476 edges, 1536 markings/sec, 45 secs
lola: 87678 markings, 89335 edges, 1569 markings/sec, 50 secs
lola: 95512 markings, 97181 edges, 1567 markings/sec, 55 secs
lola: 103549 markings, 105244 edges, 1607 markings/sec, 60 secs
lola: 111515 markings, 113245 edges, 1593 markings/sec, 65 secs
lola: 119462 markings, 121218 edges, 1589 markings/sec, 70 secs
lola: 127476 markings, 129269 edges, 1603 markings/sec, 75 secs
lola: 135561 markings, 137392 edges, 1617 markings/sec, 80 secs
lola: 143630 markings, 145496 edges, 1614 markings/sec, 85 secs
lola: 151594 markings, 153486 edges, 1593 markings/sec, 90 secs
lola: 159550 markings, 161455 edges, 1591 markings/sec, 95 secs
lola: 167620 markings, 169577 edges, 1614 markings/sec, 100 secs
lola: 175562 markings, 177577 edges, 1588 markings/sec, 105 secs
lola: 183564 markings, 185631 edges, 1600 markings/sec, 110 secs
lola: 191577 markings, 193671 edges, 1603 markings/sec, 115 secs
lola: 199572 markings, 201720 edges, 1599 markings/sec, 120 secs
lola: 207611 markings, 209784 edges, 1608 markings/sec, 125 secs
lola: 215615 markings, 217821 edges, 1601 markings/sec, 130 secs
lola: 223544 markings, 225762 edges, 1586 markings/sec, 135 secs
lola: 231440 markings, 233670 edges, 1579 markings/sec, 140 secs
lola: 239350 markings, 241592 edges, 1582 markings/sec, 145 secs
lola: 247363 markings, 249639 edges, 1603 markings/sec, 150 secs
lola: 255369 markings, 257673 edges, 1601 markings/sec, 155 secs
lola: 263396 markings, 265739 edges, 1605 markings/sec, 160 secs
lola: 271451 markings, 273851 edges, 1611 markings/sec, 165 secs
lola: 279372 markings, 281788 edges, 1584 markings/sec, 170 secs
lola: 287355 markings, 289804 edges, 1597 markings/sec, 175 secs
lola: 295272 markings, 297736 edges, 1583 markings/sec, 180 secs
lola: 303221 markings, 305704 edges, 1590 markings/sec, 185 secs
lola: 311193 markings, 313715 edges, 1594 markings/sec, 190 secs
lola: 319191 markings, 321740 edges, 1600 markings/sec, 195 secs
lola: 327062 markings, 329624 edges, 1574 markings/sec, 200 secs
lola: 335049 markings, 337640 edges, 1597 markings/sec, 205 secs
lola: 342918 markings, 345543 edges, 1574 markings/sec, 210 secs
lola: 350882 markings, 353539 edges, 1593 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p429 + p430 + p431 + p432 + p433 + p434)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 8869 markings, 11794 edges, 1774 markings/sec, 0 secs
lola: 17441 markings, 31743 edges, 1714 markings/sec, 5 secs
lola: 25960 markings, 54934 edges, 1704 markings/sec, 10 secs
lola: 34423 markings, 73509 edges, 1693 markings/sec, 15 secs
lola: 42744 markings, 94808 edges, 1664 markings/sec, 20 secs
lola: 50931 markings, 117282 edges, 1637 markings/sec, 25 secs
lola: 59105 markings, 139880 edges, 1635 markings/sec, 30 secs
lola: 67318 markings, 162684 edges, 1643 markings/sec, 35 secs
lola: 75715 markings, 187760 edges, 1679 markings/sec, 40 secs
lola: 84098 markings, 207323 edges, 1677 markings/sec, 45 secs
lola: 92269 markings, 233821 edges, 1634 markings/sec, 50 secs
lola: 100449 markings, 259919 edges, 1636 markings/sec, 55 secs
lola: 108772 markings, 284907 edges, 1665 markings/sec, 60 secs
lola: 117015 markings, 309382 edges, 1649 markings/sec, 65 secs
lola: 125207 markings, 336364 edges, 1638 markings/sec, 70 secs
lola: 133505 markings, 362049 edges, 1660 markings/sec, 75 secs
lola: 141752 markings, 389370 edges, 1649 markings/sec, 80 secs
lola: 150045 markings, 416205 edges, 1659 markings/sec, 85 secs
lola: 158491 markings, 443723 edges, 1689 markings/sec, 90 secs
lola: 166944 markings, 458020 edges, 1691 markings/sec, 95 secs
lola: 175503 markings, 473025 edges, 1712 markings/sec, 100 secs
lola: 183915 markings, 489824 edges, 1682 markings/sec, 105 secs
lola: 192416 markings, 505529 edges, 1700 markings/sec, 110 secs
lola: 200917 markings, 521081 edges, 1700 markings/sec, 115 secs
lola: 209403 markings, 537086 edges, 1697 markings/sec, 120 secs
lola: 217906 markings, 552971 edges, 1701 markings/sec, 125 secs
lola: 226413 markings, 568680 edges, 1701 markings/sec, 130 secs
lola: 235016 markings, 583358 edges, 1721 markings/sec, 135 secs
lola: 243545 markings, 607720 edges, 1706 markings/sec, 140 secs
lola: 251746 markings, 633631 edges, 1640 markings/sec, 145 secs
lola: 259983 markings, 663380 edges, 1647 markings/sec, 150 secs
lola: 268296 markings, 691941 edges, 1663 markings/sec, 155 secs
lola: 276326 markings, 716253 edges, 1606 markings/sec, 160 secs
lola: 284362 markings, 746430 edges, 1607 markings/sec, 165 secs
lola: 292404 markings, 778680 edges, 1608 markings/sec, 170 secs
lola: 300472 markings, 812267 edges, 1614 markings/sec, 175 secs
lola: 308638 markings, 839504 edges, 1633 markings/sec, 180 secs
lola: 316659 markings, 858840 edges, 1604 markings/sec, 185 secs
lola: 324829 markings, 881434 edges, 1634 markings/sec, 190 secs
lola: 333095 markings, 906438 edges, 1653 markings/sec, 195 secs
lola: 341134 markings, 923727 edges, 1608 markings/sec, 200 secs
lola: 349006 markings, 940165 edges, 1574 markings/sec, 205 secs
lola: 357016 markings, 970855 edges, 1602 markings/sec, 210 secs
lola: 365029 markings, 1003537 edges, 1603 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p269 + p270 + p271 + p272 + p273 + p274)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 8201 markings, 9596 edges, 1640 markings/sec, 0 secs
lola: 16304 markings, 17737 edges, 1621 markings/sec, 5 secs
lola: 24291 markings, 25750 edges, 1597 markings/sec, 10 secs
lola: 32384 markings, 33870 edges, 1619 markings/sec, 15 secs
lola: 40479 markings, 42041 edges, 1619 markings/sec, 20 secs
lola: 48584 markings, 50172 edges, 1621 markings/sec, 25 secs
lola: 56518 markings, 58124 edges, 1587 markings/sec, 30 secs
lola: 64455 markings, 66073 edges, 1587 markings/sec, 35 secs
lola: 72023 markings, 73653 edges, 1514 markings/sec, 40 secs
lola: 77004 markings, 78645 edges, 996 markings/sec, 45 secs
lola: 81931 markings, 83579 edges, 985 markings/sec, 50 secs
lola: 86838 markings, 88493 edges, 981 markings/sec, 55 secs
lola: 91874 markings, 93537 edges, 1007 markings/sec, 60 secs
lola: 96852 markings, 98523 edges, 996 markings/sec, 65 secs
lola: 102049 markings, 103740 edges, 1039 markings/sec, 70 secs
lola: 107119 markings, 108831 edges, 1014 markings/sec, 75 secs
lola: 112190 markings, 113921 edges, 1014 markings/sec, 80 secs
lola: 117212 markings, 118961 edges, 1004 markings/sec, 85 secs
lola: 123152 markings, 124919 edges, 1188 markings/sec, 90 secs
lola: 131255 markings, 133054 edges, 1621 markings/sec, 95 secs
lola: 139295 markings, 141141 edges, 1608 markings/sec, 100 secs
lola: 147331 markings, 149206 edges, 1607 markings/sec, 105 secs
lola: 155282 markings, 157180 edges, 1590 markings/sec, 110 secs
lola: 163396 markings, 165342 edges, 1623 markings/sec, 115 secs
lola: 171457 markings, 173465 edges, 1612 markings/sec, 120 secs
lola: 179647 markings, 181669 edges, 1638 markings/sec, 125 secs
lola: 187895 markings, 189973 edges, 1650 markings/sec, 130 secs
lola: 196215 markings, 198325 edges, 1664 markings/sec, 135 secs
lola: 204454 markings, 206614 edges, 1648 markings/sec, 140 secs
lola: 212821 markings, 215007 edges, 1673 markings/sec, 145 secs
lola: 221068 markings, 223282 edges, 1649 markings/sec, 150 secs
lola: 229258 markings, 231484 edges, 1638 markings/sec, 155 secs
lola: 237432 markings, 239671 edges, 1635 markings/sec, 160 secs
lola: 245680 markings, 247948 edges, 1650 markings/sec, 165 secs
lola: 253966 markings, 256263 edges, 1657 markings/sec, 170 secs
lola: 262267 markings, 264595 edges, 1660 markings/sec, 175 secs
lola: 270608 markings, 273002 edges, 1668 markings/sec, 180 secs
lola: 278801 markings, 281216 edges, 1639 markings/sec, 185 secs
lola: 287057 markings, 289506 edges, 1651 markings/sec, 190 secs
lola: 295228 markings, 297691 edges, 1634 markings/sec, 195 secs
lola: 303463 markings, 305947 edges, 1647 markings/sec, 200 secs
lola: 310849 markings, 313371 edges, 1477 markings/sec, 205 secs
lola: 319106 markings, 321654 edges, 1651 markings/sec, 210 secs
lola: 327268 markings, 329830 edges, 1632 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p96)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 8673 markings, 12023 edges, 1735 markings/sec, 0 secs
lola: 17250 markings, 24498 edges, 1715 markings/sec, 5 secs
lola: 25930 markings, 36683 edges, 1736 markings/sec, 10 secs
lola: 34696 markings, 48548 edges, 1753 markings/sec, 15 secs
lola: 43139 markings, 61068 edges, 1689 markings/sec, 20 secs
lola: 51505 markings, 73665 edges, 1673 markings/sec, 25 secs
lola: 58894 markings, 96689 edges, 1478 markings/sec, 30 secs
lola: 66189 markings, 121049 edges, 1459 markings/sec, 35 secs
lola: 73464 markings, 151711 edges, 1455 markings/sec, 40 secs
lola: 80859 markings, 179152 edges, 1479 markings/sec, 45 secs
lola: 88170 markings, 206532 edges, 1462 markings/sec, 50 secs
lola: 95379 markings, 232787 edges, 1442 markings/sec, 55 secs
lola: 102891 markings, 255722 edges, 1502 markings/sec, 60 secs
lola: 110741 markings, 276782 edges, 1570 markings/sec, 65 secs
lola: 118776 markings, 292593 edges, 1607 markings/sec, 70 secs
lola: 126746 markings, 311422 edges, 1594 markings/sec, 75 secs
lola: 134743 markings, 329890 edges, 1599 markings/sec, 80 secs
lola: 142562 markings, 347891 edges, 1564 markings/sec, 85 secs
lola: 150757 markings, 363719 edges, 1639 markings/sec, 90 secs
lola: 158806 markings, 383459 edges, 1610 markings/sec, 95 secs
lola: 166414 markings, 408465 edges, 1522 markings/sec, 100 secs
lola: 174397 markings, 426435 edges, 1597 markings/sec, 105 secs
lola: 182657 markings, 441233 edges, 1652 markings/sec, 110 secs
lola: 190265 markings, 466274 edges, 1522 markings/sec, 115 secs
lola: 198257 markings, 486012 edges, 1598 markings/sec, 120 secs
lola: 206094 markings, 506553 edges, 1567 markings/sec, 125 secs
lola: 213921 markings, 527037 edges, 1565 markings/sec, 130 secs
lola: 221784 markings, 546875 edges, 1573 markings/sec, 135 secs
lola: 230178 markings, 572052 edges, 1679 markings/sec, 140 secs
lola: 238333 markings, 602627 edges, 1631 markings/sec, 145 secs
lola: 246567 markings, 635918 edges, 1647 markings/sec, 150 secs
lola: 254989 markings, 666293 edges, 1684 markings/sec, 155 secs
lola: 263169 markings, 694829 edges, 1636 markings/sec, 160 secs
lola: 271314 markings, 724738 edges, 1629 markings/sec, 165 secs
lola: 279788 markings, 737878 edges, 1695 markings/sec, 170 secs
lola: 288495 markings, 749890 edges, 1741 markings/sec, 175 secs
lola: 296980 markings, 762715 edges, 1697 markings/sec, 180 secs
lola: 305374 markings, 780554 edges, 1679 markings/sec, 185 secs
lola: 313706 markings, 811562 edges, 1666 markings/sec, 190 secs
lola: 322063 markings, 840028 edges, 1671 markings/sec, 195 secs
lola: 330287 markings, 868849 edges, 1645 markings/sec, 200 secs
lola: 338842 markings, 884180 edges, 1711 markings/sec, 205 secs
lola: 347176 markings, 913587 edges, 1667 markings/sec, 210 secs
lola: 355445 markings, 929878 edges, 1654 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p146 + p147 + p148 + p149 + p150 + p151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2568 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 8064 markings, 9958 edges, 1613 markings/sec, 0 secs
lola: 16498 markings, 23088 edges, 1687 markings/sec, 5 secs
lola: 24911 markings, 35545 edges, 1683 markings/sec, 10 secs
lola: 33134 markings, 61405 edges, 1645 markings/sec, 15 secs
lola: 41318 markings, 90443 edges, 1637 markings/sec, 20 secs
lola: 49441 markings, 114067 edges, 1625 markings/sec, 25 secs
lola: 57867 markings, 131900 edges, 1685 markings/sec, 30 secs
lola: 66276 markings, 150332 edges, 1682 markings/sec, 35 secs
lola: 74581 markings, 167682 edges, 1661 markings/sec, 40 secs
lola: 82991 markings, 185735 edges, 1682 markings/sec, 45 secs
lola: 91479 markings, 199313 edges, 1698 markings/sec, 50 secs
lola: 99939 markings, 212336 edges, 1692 markings/sec, 55 secs
lola: 108383 markings, 224649 edges, 1689 markings/sec, 60 secs
lola: 116792 markings, 237293 edges, 1682 markings/sec, 65 secs
lola: 125003 markings, 255864 edges, 1642 markings/sec, 70 secs
lola: 133103 markings, 286263 edges, 1620 markings/sec, 75 secs
lola: 141544 markings, 302702 edges, 1688 markings/sec, 80 secs
lola: 150024 markings, 316879 edges, 1696 markings/sec, 85 secs
lola: 158468 markings, 331008 edges, 1689 markings/sec, 90 secs
lola: 166877 markings, 349158 edges, 1682 markings/sec, 95 secs
lola: 175353 markings, 363391 edges, 1695 markings/sec, 100 secs
lola: 183713 markings, 378917 edges, 1672 markings/sec, 105 secs
lola: 191897 markings, 405777 edges, 1637 markings/sec, 110 secs
lola: 200320 markings, 421872 edges, 1685 markings/sec, 115 secs
lola: 208623 markings, 442170 edges, 1661 markings/sec, 120 secs
lola: 217140 markings, 454914 edges, 1703 markings/sec, 125 secs
lola: 225463 markings, 476424 edges, 1665 markings/sec, 130 secs
lola: 233837 markings, 495363 edges, 1675 markings/sec, 135 secs
lola: 242224 markings, 514172 edges, 1677 markings/sec, 140 secs
lola: 250699 markings, 530944 edges, 1695 markings/sec, 145 secs
lola: 258980 markings, 548281 edges, 1656 markings/sec, 150 secs
lola: 267230 markings, 566937 edges, 1650 markings/sec, 155 secs
lola: 275522 markings, 583312 edges, 1658 markings/sec, 160 secs
lola: 283765 markings, 602573 edges, 1649 markings/sec, 165 secs
lola: 292067 markings, 619194 edges, 1660 markings/sec, 170 secs
lola: 300396 markings, 635471 edges, 1666 markings/sec, 175 secs
lola: 308644 markings, 651887 edges, 1650 markings/sec, 180 secs
lola: 316549 markings, 659806 edges, 1581 markings/sec, 185 secs
lola: 324429 markings, 667699 edges, 1576 markings/sec, 190 secs
lola: 332299 markings, 675584 edges, 1574 markings/sec, 195 secs
lola: 340136 markings, 683435 edges, 1567 markings/sec, 200 secs
lola: 347972 markings, 691285 edges, 1567 markings/sec, 205 secs
lola: 355827 markings, 699154 edges, 1571 markings/sec, 210 secs
lola: 363696 markings, 707038 edges, 1574 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T06-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496437463514
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PolyORBLF-COL-S06J06T06"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_PolyORBLF-COL-S06J06T06.tgz
mv S_PolyORBLF-COL-S06J06T06 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 S_PolyORBLF-COL-S06J06T06, 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 r128-smll-149441681500407"
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 '
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 ;