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-S06J04T06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681500380
=====================================================================

--------------------
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-S06J04T06-UpperBounds-0
FORMULA_NAME PolyORBLF-COL-S06J04T06-UpperBounds-1
FORMULA_NAME PolyORBLF-COL-S06J04T06-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S06J04T06-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S06J04T06-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S06J04T06-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S06J04T06-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S06J04T06-UpperBounds-15
FORMULA_NAME PolyORBLF-COL-S06J04T06-UpperBounds-2
FORMULA_NAME PolyORBLF-COL-S06J04T06-UpperBounds-3
FORMULA_NAME PolyORBLF-COL-S06J04T06-UpperBounds-4
FORMULA_NAME PolyORBLF-COL-S06J04T06-UpperBounds-5
FORMULA_NAME PolyORBLF-COL-S06J04T06-UpperBounds-6
FORMULA_NAME PolyORBLF-COL-S06J04T06-UpperBounds-7
FORMULA_NAME PolyORBLF-COL-S06J04T06-UpperBounds-8
FORMULA_NAME PolyORBLF-COL-S06J04T06-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496418778757


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-COL-S06J04T06: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBLF-COL-S06J04T06: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-COL-S06J04T06 @ 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: 11132/65536 symbol table entries, 3572 collisions
lola: preprocessing...
lola: finding significant places
lola: 632 places, 10500 transitions, 578 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2723 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J04T06-UpperBounds.task
lola: MAX(p559 + p560 + p561 + p562 + p563 + p564) : MAX(p7 + p8 + p9 + p10 + p11 + p12) : MAX(p441 + p442 + p443 + p444 + p445 + p446) : MAX(p131 + p132 + p133 + p134 + p135 + p136) : MAX(p422 + p423 + p424 + p425 + p426 + p427) : MAX(p565 + p566 + p567 + p568 + p569 + p570) : MAX(p458 + p457 + p456 + p455 + p454 + p453) : MAX(p295 + p294 + p293 + p292 + p291 + p290) : MAX(p106) : MAX(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) : MAX(p421) : MAX(p528) : MAX(p170 + p171 + p172 + p173 + p174 + p175) : MAX(p434 + p435 + p436 + p437 + p438 + p439) : MAX(p246) : MAX(p434 + p435 + p436 + p437 + p438 + p439)
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(p559 + p560 + p561 + p562 + p563 + p564)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 8034 markings, 8999 edges, 1607 markings/sec, 0 secs
lola: 16108 markings, 17425 edges, 1615 markings/sec, 5 secs
lola: 24147 markings, 25857 edges, 1608 markings/sec, 10 secs
lola: 32163 markings, 34243 edges, 1603 markings/sec, 15 secs
lola: 40241 markings, 42701 edges, 1616 markings/sec, 20 secs
lola: 48209 markings, 51126 edges, 1594 markings/sec, 25 secs
lola: 56206 markings, 60040 edges, 1599 markings/sec, 30 secs
lola: 64285 markings, 68449 edges, 1616 markings/sec, 35 secs
lola: 72346 markings, 76877 edges, 1612 markings/sec, 40 secs
lola: 80262 markings, 85224 edges, 1583 markings/sec, 45 secs
lola: 88260 markings, 93629 edges, 1600 markings/sec, 50 secs
lola: 96328 markings, 102756 edges, 1614 markings/sec, 55 secs
lola: 104433 markings, 111208 edges, 1621 markings/sec, 60 secs
lola: 112512 markings, 119683 edges, 1616 markings/sec, 65 secs
lola: 120555 markings, 128106 edges, 1609 markings/sec, 70 secs
lola: 128657 markings, 136588 edges, 1620 markings/sec, 75 secs
lola: 136686 markings, 145000 edges, 1606 markings/sec, 80 secs
lola: 144813 markings, 153481 edges, 1625 markings/sec, 85 secs
lola: 152772 markings, 161910 edges, 1592 markings/sec, 90 secs
lola: 160867 markings, 170362 edges, 1619 markings/sec, 95 secs
lola: 168905 markings, 178756 edges, 1608 markings/sec, 100 secs
lola: 176933 markings, 187173 edges, 1606 markings/sec, 105 secs
lola: 185018 markings, 195610 edges, 1617 markings/sec, 110 secs
lola: 193015 markings, 204094 edges, 1599 markings/sec, 115 secs
lola: 201088 markings, 212587 edges, 1615 markings/sec, 120 secs
lola: 209070 markings, 221579 edges, 1596 markings/sec, 125 secs
lola: 216948 markings, 230721 edges, 1576 markings/sec, 130 secs
lola: 224939 markings, 239393 edges, 1598 markings/sec, 135 secs
lola: 232982 markings, 248233 edges, 1609 markings/sec, 140 secs
lola: 240965 markings, 256614 edges, 1597 markings/sec, 145 secs
lola: 249121 markings, 265121 edges, 1631 markings/sec, 150 secs
lola: 257235 markings, 273580 edges, 1623 markings/sec, 155 secs
lola: 265237 markings, 281974 edges, 1600 markings/sec, 160 secs
lola: 273224 markings, 290366 edges, 1597 markings/sec, 165 secs
lola: 281294 markings, 298828 edges, 1614 markings/sec, 170 secs
lola: 289360 markings, 307257 edges, 1613 markings/sec, 175 secs
lola: 297469 markings, 315737 edges, 1622 markings/sec, 180 secs
lola: 305553 markings, 324181 edges, 1617 markings/sec, 185 secs
lola: 313618 markings, 332615 edges, 1613 markings/sec, 190 secs
lola: 321621 markings, 341000 edges, 1601 markings/sec, 195 secs
lola: 329490 markings, 350921 edges, 1574 markings/sec, 200 secs
lola: 337644 markings, 359390 edges, 1631 markings/sec, 205 secs
lola: 345769 markings, 367856 edges, 1625 markings/sec, 210 secs
lola: 353893 markings, 376343 edges, 1625 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(p7 + p8 + p9 + p10 + p11 + p12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 8243 markings, 8676 edges, 1649 markings/sec, 0 secs
lola: 16441 markings, 17289 edges, 1640 markings/sec, 5 secs
lola: 24656 markings, 25942 edges, 1643 markings/sec, 10 secs
lola: 32890 markings, 34611 edges, 1647 markings/sec, 15 secs
lola: 41074 markings, 43258 edges, 1637 markings/sec, 20 secs
lola: 49306 markings, 52084 edges, 1646 markings/sec, 25 secs
lola: 57545 markings, 60754 edges, 1648 markings/sec, 30 secs
lola: 65842 markings, 69479 edges, 1659 markings/sec, 35 secs
lola: 74072 markings, 78118 edges, 1646 markings/sec, 40 secs
lola: 82298 markings, 86787 edges, 1645 markings/sec, 45 secs
lola: 90495 markings, 95450 edges, 1639 markings/sec, 50 secs
lola: 98850 markings, 104184 edges, 1671 markings/sec, 55 secs
lola: 107099 markings, 112875 edges, 1650 markings/sec, 60 secs
lola: 115335 markings, 121512 edges, 1647 markings/sec, 65 secs
lola: 123476 markings, 130144 edges, 1628 markings/sec, 70 secs
lola: 131645 markings, 139748 edges, 1634 markings/sec, 75 secs
lola: 139947 markings, 148849 edges, 1660 markings/sec, 80 secs
lola: 148100 markings, 157945 edges, 1631 markings/sec, 85 secs
lola: 156321 markings, 166602 edges, 1644 markings/sec, 90 secs
lola: 164478 markings, 175225 edges, 1631 markings/sec, 95 secs
lola: 172668 markings, 183870 edges, 1638 markings/sec, 100 secs
lola: 180940 markings, 192555 edges, 1654 markings/sec, 105 secs
lola: 189042 markings, 201188 edges, 1620 markings/sec, 110 secs
lola: 197375 markings, 209925 edges, 1667 markings/sec, 115 secs
lola: 205629 markings, 218614 edges, 1651 markings/sec, 120 secs
lola: 213839 markings, 227267 edges, 1642 markings/sec, 125 secs
lola: 222056 markings, 236355 edges, 1643 markings/sec, 130 secs
lola: 230306 markings, 245038 edges, 1650 markings/sec, 135 secs
lola: 238564 markings, 253701 edges, 1652 markings/sec, 140 secs
lola: 246546 markings, 262312 edges, 1596 markings/sec, 145 secs
lola: 254782 markings, 271466 edges, 1647 markings/sec, 150 secs
lola: 262964 markings, 280103 edges, 1636 markings/sec, 155 secs
lola: 270945 markings, 288712 edges, 1596 markings/sec, 160 secs
lola: 279132 markings, 297346 edges, 1637 markings/sec, 165 secs
lola: 287291 markings, 305952 edges, 1632 markings/sec, 170 secs
lola: 295612 markings, 314673 edges, 1664 markings/sec, 175 secs
lola: 303853 markings, 323369 edges, 1648 markings/sec, 180 secs
lola: 312088 markings, 332040 edges, 1647 markings/sec, 185 secs
lola: 320235 markings, 340626 edges, 1629 markings/sec, 190 secs
lola: 328470 markings, 349485 edges, 1647 markings/sec, 195 secs
lola: 336616 markings, 358092 edges, 1629 markings/sec, 200 secs
lola: 344623 markings, 367138 edges, 1601 markings/sec, 205 secs
lola: 352880 markings, 376284 edges, 1651 markings/sec, 210 secs
lola: 360917 markings, 385520 edges, 1607 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(p441 + p442 + p443 + p444 + p445 + p446)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 8361 markings, 9414 edges, 1672 markings/sec, 0 secs
lola: 16953 markings, 18477 edges, 1718 markings/sec, 5 secs
lola: 25550 markings, 27543 edges, 1719 markings/sec, 10 secs
lola: 34184 markings, 36629 edges, 1727 markings/sec, 15 secs
lola: 42809 markings, 45701 edges, 1725 markings/sec, 20 secs
lola: 51389 markings, 54770 edges, 1716 markings/sec, 25 secs
lola: 59801 markings, 63743 edges, 1682 markings/sec, 30 secs
lola: 68340 markings, 73274 edges, 1708 markings/sec, 35 secs
lola: 76906 markings, 82330 edges, 1713 markings/sec, 40 secs
lola: 85493 markings, 91397 edges, 1717 markings/sec, 45 secs
lola: 93924 markings, 100886 edges, 1686 markings/sec, 50 secs
lola: 102543 markings, 109953 edges, 1724 markings/sec, 55 secs
lola: 111138 markings, 119050 edges, 1719 markings/sec, 60 secs
lola: 119765 markings, 128141 edges, 1725 markings/sec, 65 secs
lola: 128392 markings, 137224 edges, 1725 markings/sec, 70 secs
lola: 136994 markings, 146277 edges, 1720 markings/sec, 75 secs
lola: 145578 markings, 155332 edges, 1717 markings/sec, 80 secs
lola: 154226 markings, 164409 edges, 1730 markings/sec, 85 secs
lola: 162748 markings, 173465 edges, 1704 markings/sec, 90 secs
lola: 171338 markings, 182530 edges, 1718 markings/sec, 95 secs
lola: 179970 markings, 191630 edges, 1726 markings/sec, 100 secs
lola: 188579 markings, 200719 edges, 1722 markings/sec, 105 secs
lola: 197150 markings, 209840 edges, 1714 markings/sec, 110 secs
lola: 205758 markings, 218914 edges, 1722 markings/sec, 115 secs
lola: 214359 markings, 227966 edges, 1720 markings/sec, 120 secs
lola: 222955 markings, 237039 edges, 1719 markings/sec, 125 secs
lola: 231222 markings, 246478 edges, 1653 markings/sec, 130 secs
lola: 239798 markings, 255565 edges, 1715 markings/sec, 135 secs
lola: 248428 markings, 264636 edges, 1726 markings/sec, 140 secs
lola: 257069 markings, 273732 edges, 1728 markings/sec, 145 secs
lola: 265516 markings, 282714 edges, 1689 markings/sec, 150 secs
lola: 273881 markings, 292173 edges, 1673 markings/sec, 155 secs
lola: 282490 markings, 301246 edges, 1722 markings/sec, 160 secs
lola: 291088 markings, 310306 edges, 1720 markings/sec, 165 secs
lola: 299558 markings, 319363 edges, 1694 markings/sec, 170 secs
lola: 308186 markings, 328461 edges, 1726 markings/sec, 175 secs
lola: 316793 markings, 337519 edges, 1721 markings/sec, 180 secs
lola: 325354 markings, 346555 edges, 1712 markings/sec, 185 secs
lola: 334024 markings, 355646 edges, 1734 markings/sec, 190 secs
lola: 342573 markings, 364688 edges, 1710 markings/sec, 195 secs
lola: 350988 markings, 374195 edges, 1683 markings/sec, 200 secs
lola: 359554 markings, 383266 edges, 1713 markings/sec, 205 secs
lola: 368023 markings, 392255 edges, 1694 markings/sec, 210 secs
lola: 376398 markings, 401744 edges, 1675 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(p131 + p132 + p133 + p134 + p135 + p136)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 7835 markings, 8738 edges, 1567 markings/sec, 0 secs
lola: 15854 markings, 17154 edges, 1604 markings/sec, 5 secs
lola: 23876 markings, 25579 edges, 1604 markings/sec, 10 secs
lola: 31928 markings, 34011 edges, 1610 markings/sec, 15 secs
lola: 39931 markings, 42428 edges, 1601 markings/sec, 20 secs
lola: 47964 markings, 50833 edges, 1607 markings/sec, 25 secs
lola: 55973 markings, 59248 edges, 1602 markings/sec, 30 secs
lola: 63779 markings, 68075 edges, 1561 markings/sec, 35 secs
lola: 71807 markings, 76489 edges, 1606 markings/sec, 40 secs
lola: 79865 markings, 84905 edges, 1612 markings/sec, 45 secs
lola: 87824 markings, 93314 edges, 1592 markings/sec, 50 secs
lola: 95635 markings, 102036 edges, 1562 markings/sec, 55 secs
lola: 103657 markings, 110454 edges, 1604 markings/sec, 60 secs
lola: 111679 markings, 118886 edges, 1604 markings/sec, 65 secs
lola: 119712 markings, 127304 edges, 1607 markings/sec, 70 secs
lola: 127753 markings, 135721 edges, 1608 markings/sec, 75 secs
lola: 135768 markings, 144138 edges, 1603 markings/sec, 80 secs
lola: 143823 markings, 152546 edges, 1611 markings/sec, 85 secs
lola: 151820 markings, 160944 edges, 1599 markings/sec, 90 secs
lola: 159825 markings, 169402 edges, 1601 markings/sec, 95 secs
lola: 167828 markings, 177803 edges, 1601 markings/sec, 100 secs
lola: 175863 markings, 186213 edges, 1607 markings/sec, 105 secs
lola: 183858 markings, 194626 edges, 1599 markings/sec, 110 secs
lola: 191922 markings, 203045 edges, 1613 markings/sec, 115 secs
lola: 199842 markings, 211459 edges, 1584 markings/sec, 120 secs
lola: 207855 markings, 219871 edges, 1603 markings/sec, 125 secs
lola: 215871 markings, 228289 edges, 1603 markings/sec, 130 secs
lola: 223903 markings, 236709 edges, 1606 markings/sec, 135 secs
lola: 231654 markings, 245520 edges, 1550 markings/sec, 140 secs
lola: 239633 markings, 253944 edges, 1596 markings/sec, 145 secs
lola: 247690 markings, 262356 edges, 1611 markings/sec, 150 secs
lola: 255720 markings, 270768 edges, 1606 markings/sec, 155 secs
lola: 263693 markings, 279188 edges, 1595 markings/sec, 160 secs
lola: 271489 markings, 287936 edges, 1559 markings/sec, 165 secs
lola: 279470 markings, 296309 edges, 1596 markings/sec, 170 secs
lola: 287457 markings, 304708 edges, 1597 markings/sec, 175 secs
lola: 295344 markings, 313088 edges, 1577 markings/sec, 180 secs
lola: 303338 markings, 321463 edges, 1599 markings/sec, 185 secs
lola: 311362 markings, 329871 edges, 1605 markings/sec, 190 secs
lola: 319336 markings, 338268 edges, 1595 markings/sec, 195 secs
lola: 327353 markings, 346666 edges, 1603 markings/sec, 200 secs
lola: 335406 markings, 355072 edges, 1611 markings/sec, 205 secs
lola: 343375 markings, 363483 edges, 1594 markings/sec, 210 secs
lola: 351170 markings, 372244 edges, 1559 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(p422 + p423 + p424 + p425 + p426 + p427)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 4872 markings, 6731 edges, 974 markings/sec, 0 secs
lola: 9739 markings, 13890 edges, 973 markings/sec, 5 secs
lola: 14584 markings, 20973 edges, 969 markings/sec, 10 secs
lola: 19462 markings, 28046 edges, 976 markings/sec, 15 secs
lola: 24367 markings, 34895 edges, 981 markings/sec, 20 secs
lola: 29182 markings, 41749 edges, 963 markings/sec, 25 secs
lola: 33960 markings, 49103 edges, 956 markings/sec, 30 secs
lola: 38679 markings, 55735 edges, 944 markings/sec, 35 secs
lola: 43437 markings, 62824 edges, 952 markings/sec, 40 secs
lola: 48180 markings, 69612 edges, 949 markings/sec, 45 secs
lola: 53082 markings, 76537 edges, 980 markings/sec, 50 secs
lola: 57973 markings, 83719 edges, 978 markings/sec, 55 secs
lola: 62843 markings, 90705 edges, 974 markings/sec, 60 secs
lola: 67749 markings, 97945 edges, 981 markings/sec, 65 secs
lola: 72692 markings, 104912 edges, 989 markings/sec, 70 secs
lola: 77609 markings, 111780 edges, 983 markings/sec, 75 secs
lola: 82514 markings, 119324 edges, 981 markings/sec, 80 secs
lola: 87314 markings, 126122 edges, 960 markings/sec, 85 secs
lola: 92142 markings, 133208 edges, 966 markings/sec, 90 secs
lola: 96974 markings, 140217 edges, 966 markings/sec, 95 secs
lola: 101829 markings, 147278 edges, 971 markings/sec, 100 secs
lola: 106716 markings, 154030 edges, 977 markings/sec, 105 secs
lola: 111539 markings, 161031 edges, 965 markings/sec, 110 secs
lola: 116292 markings, 168284 edges, 951 markings/sec, 115 secs
lola: 121001 markings, 174928 edges, 942 markings/sec, 120 secs
lola: 125754 markings, 181943 edges, 951 markings/sec, 125 secs
lola: 130489 markings, 188760 edges, 947 markings/sec, 130 secs
lola: 135386 markings, 195791 edges, 979 markings/sec, 135 secs
lola: 140251 markings, 202917 edges, 973 markings/sec, 140 secs
lola: 145133 markings, 210302 edges, 976 markings/sec, 145 secs
lola: 150049 markings, 217465 edges, 983 markings/sec, 150 secs
lola: 154977 markings, 224395 edges, 986 markings/sec, 155 secs
lola: 159863 markings, 232033 edges, 977 markings/sec, 160 secs
lola: 164643 markings, 238941 edges, 956 markings/sec, 165 secs
lola: 169428 markings, 245898 edges, 957 markings/sec, 170 secs
lola: 174267 markings, 253245 edges, 968 markings/sec, 175 secs
lola: 179121 markings, 260208 edges, 971 markings/sec, 180 secs
lola: 183953 markings, 267104 edges, 966 markings/sec, 185 secs
lola: 188686 markings, 274505 edges, 947 markings/sec, 190 secs
lola: 193392 markings, 281086 edges, 941 markings/sec, 195 secs
lola: 198141 markings, 288149 edges, 950 markings/sec, 200 secs
lola: 202874 markings, 294954 edges, 947 markings/sec, 205 secs
lola: 207766 markings, 301942 edges, 978 markings/sec, 210 secs
lola: 212626 markings, 309157 edges, 972 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(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 2312 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: 7232 markings, 8078 edges, 1446 markings/sec, 0 secs
lola: 14611 markings, 15823 edges, 1476 markings/sec, 5 secs
lola: 21963 markings, 23543 edges, 1470 markings/sec, 10 secs
lola: 29337 markings, 31283 edges, 1475 markings/sec, 15 secs
lola: 36705 markings, 39019 edges, 1474 markings/sec, 20 secs
lola: 44098 markings, 46748 edges, 1479 markings/sec, 25 secs
lola: 51475 markings, 54504 edges, 1475 markings/sec, 30 secs
lola: 58843 markings, 62309 edges, 1474 markings/sec, 35 secs
lola: 66044 markings, 70380 edges, 1440 markings/sec, 40 secs
lola: 73403 markings, 78118 edges, 1472 markings/sec, 45 secs
lola: 80761 markings, 85827 edges, 1472 markings/sec, 50 secs
lola: 88043 markings, 93532 edges, 1456 markings/sec, 55 secs
lola: 95173 markings, 101490 edges, 1426 markings/sec, 60 secs
lola: 102536 markings, 109207 edges, 1473 markings/sec, 65 secs
lola: 109848 markings, 116921 edges, 1462 markings/sec, 70 secs
lola: 117196 markings, 124613 edges, 1470 markings/sec, 75 secs
lola: 124586 markings, 132320 edges, 1478 markings/sec, 80 secs
lola: 131906 markings, 140034 edges, 1464 markings/sec, 85 secs
lola: 139251 markings, 147721 edges, 1469 markings/sec, 90 secs
lola: 146546 markings, 155392 edges, 1459 markings/sec, 95 secs
lola: 153877 markings, 163082 edges, 1466 markings/sec, 100 secs
lola: 161196 markings, 170831 edges, 1464 markings/sec, 105 secs
lola: 168514 markings, 178519 edges, 1464 markings/sec, 110 secs
lola: 175855 markings, 186202 edges, 1468 markings/sec, 115 secs
lola: 183166 markings, 193900 edges, 1462 markings/sec, 120 secs
lola: 190489 markings, 201592 edges, 1465 markings/sec, 125 secs
lola: 197767 markings, 209329 edges, 1456 markings/sec, 130 secs
lola: 205125 markings, 217013 edges, 1472 markings/sec, 135 secs
lola: 212480 markings, 224752 edges, 1471 markings/sec, 140 secs
lola: 219797 markings, 232440 edges, 1463 markings/sec, 145 secs
lola: 227136 markings, 240173 edges, 1468 markings/sec, 150 secs
lola: 234280 markings, 248312 edges, 1429 markings/sec, 155 secs
lola: 241614 markings, 256039 edges, 1467 markings/sec, 160 secs
lola: 248968 markings, 263720 edges, 1471 markings/sec, 165 secs
lola: 256292 markings, 271413 edges, 1465 markings/sec, 170 secs
lola: 263626 markings, 279146 edges, 1467 markings/sec, 175 secs
lola: 270812 markings, 287227 edges, 1437 markings/sec, 180 secs
lola: 278152 markings, 294920 edges, 1468 markings/sec, 185 secs
lola: 285463 markings, 302621 edges, 1462 markings/sec, 190 secs
lola: 292798 markings, 310324 edges, 1467 markings/sec, 195 secs
lola: 300070 markings, 318044 edges, 1454 markings/sec, 200 secs
lola: 307410 markings, 325745 edges, 1468 markings/sec, 205 secs
lola: 314751 markings, 333476 edges, 1468 markings/sec, 210 secs
lola: 322082 markings, 341176 edges, 1466 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(p458 + p457 + p456 + p455 + p454 + p453)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 7814 markings, 8558 edges, 1563 markings/sec, 0 secs
lola: 15679 markings, 16685 edges, 1573 markings/sec, 5 secs
lola: 23428 markings, 24725 edges, 1550 markings/sec, 10 secs
lola: 30757 markings, 32308 edges, 1466 markings/sec, 15 secs
lola: 38581 markings, 40413 edges, 1565 markings/sec, 20 secs
lola: 46413 markings, 48545 edges, 1566 markings/sec, 25 secs
lola: 54291 markings, 57177 edges, 1576 markings/sec, 30 secs
lola: 62067 markings, 65232 edges, 1555 markings/sec, 35 secs
lola: 69848 markings, 73301 edges, 1556 markings/sec, 40 secs
lola: 77714 markings, 81436 edges, 1573 markings/sec, 45 secs
lola: 85469 markings, 89479 edges, 1551 markings/sec, 50 secs
lola: 93241 markings, 97538 edges, 1554 markings/sec, 55 secs
lola: 101179 markings, 105722 edges, 1588 markings/sec, 60 secs
lola: 108957 markings, 113769 edges, 1556 markings/sec, 65 secs
lola: 116639 markings, 121778 edges, 1536 markings/sec, 70 secs
lola: 124401 markings, 129837 edges, 1552 markings/sec, 75 secs
lola: 132353 markings, 138438 edges, 1590 markings/sec, 80 secs
lola: 140134 markings, 146505 edges, 1556 markings/sec, 85 secs
lola: 148053 markings, 155161 edges, 1584 markings/sec, 90 secs
lola: 155786 markings, 163175 edges, 1547 markings/sec, 95 secs
lola: 163491 markings, 171206 edges, 1541 markings/sec, 100 secs
lola: 171355 markings, 179344 edges, 1573 markings/sec, 105 secs
lola: 179239 markings, 187501 edges, 1577 markings/sec, 110 secs
lola: 187057 markings, 195592 edges, 1564 markings/sec, 115 secs
lola: 194928 markings, 203717 edges, 1574 markings/sec, 120 secs
lola: 202720 markings, 211816 edges, 1558 markings/sec, 125 secs
lola: 210632 markings, 220000 edges, 1582 markings/sec, 130 secs
lola: 218505 markings, 228175 edges, 1575 markings/sec, 135 secs
lola: 226286 markings, 236233 edges, 1556 markings/sec, 140 secs
lola: 234119 markings, 244339 edges, 1567 markings/sec, 145 secs
lola: 242047 markings, 252550 edges, 1586 markings/sec, 150 secs
lola: 249838 markings, 260634 edges, 1558 markings/sec, 155 secs
lola: 257682 markings, 268737 edges, 1569 markings/sec, 160 secs
lola: 265499 markings, 276848 edges, 1563 markings/sec, 165 secs
lola: 273239 markings, 284950 edges, 1548 markings/sec, 170 secs
lola: 280998 markings, 293490 edges, 1552 markings/sec, 175 secs
lola: 288867 markings, 301629 edges, 1574 markings/sec, 180 secs
lola: 296721 markings, 309753 edges, 1571 markings/sec, 185 secs
lola: 304517 markings, 317843 edges, 1559 markings/sec, 190 secs
lola: 312457 markings, 326043 edges, 1588 markings/sec, 195 secs
lola: 320273 markings, 334142 edges, 1563 markings/sec, 200 secs
lola: 328141 markings, 342734 edges, 1574 markings/sec, 205 secs
lola: 335947 markings, 350823 edges, 1561 markings/sec, 210 secs
lola: 343734 markings, 358930 edges, 1557 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(p295 + p294 + p293 + p292 + p291 + p290)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 6350 markings, 8351 edges, 1270 markings/sec, 0 secs
lola: 12105 markings, 16135 edges, 1151 markings/sec, 5 secs
lola: 16845 markings, 22850 edges, 948 markings/sec, 10 secs
lola: 21565 markings, 29470 edges, 944 markings/sec, 15 secs
lola: 26292 markings, 36399 edges, 945 markings/sec, 20 secs
lola: 31047 markings, 43310 edges, 951 markings/sec, 25 secs
lola: 35797 markings, 49973 edges, 950 markings/sec, 30 secs
lola: 40574 markings, 56426 edges, 955 markings/sec, 35 secs
lola: 45364 markings, 62813 edges, 958 markings/sec, 40 secs
lola: 50052 markings, 69651 edges, 938 markings/sec, 45 secs
lola: 54738 markings, 76882 edges, 937 markings/sec, 50 secs
lola: 59424 markings, 84202 edges, 937 markings/sec, 55 secs
lola: 64055 markings, 90647 edges, 926 markings/sec, 60 secs
lola: 71020 markings, 98367 edges, 1393 markings/sec, 65 secs
lola: 77340 markings, 106979 edges, 1264 markings/sec, 70 secs
lola: 83959 markings, 115370 edges, 1324 markings/sec, 75 secs
lola: 89899 markings, 123683 edges, 1188 markings/sec, 80 secs
lola: 94612 markings, 130342 edges, 943 markings/sec, 85 secs
lola: 99338 markings, 136951 edges, 945 markings/sec, 90 secs
lola: 104068 markings, 143892 edges, 946 markings/sec, 95 secs
lola: 108849 markings, 150896 edges, 956 markings/sec, 100 secs
lola: 113631 markings, 157565 edges, 956 markings/sec, 105 secs
lola: 118442 markings, 164125 edges, 962 markings/sec, 110 secs
lola: 123273 markings, 170525 edges, 966 markings/sec, 115 secs
lola: 127992 markings, 177412 edges, 944 markings/sec, 120 secs
lola: 132706 markings, 184678 edges, 943 markings/sec, 125 secs
lola: 137422 markings, 191921 edges, 943 markings/sec, 130 secs
lola: 142104 markings, 198590 edges, 936 markings/sec, 135 secs
lola: 148979 markings, 206250 edges, 1375 markings/sec, 140 secs
lola: 155320 markings, 214913 edges, 1268 markings/sec, 145 secs
lola: 160984 markings, 222645 edges, 1133 markings/sec, 150 secs
lola: 165728 markings, 229223 edges, 949 markings/sec, 155 secs
lola: 170437 markings, 235960 edges, 942 markings/sec, 160 secs
lola: 175163 markings, 242774 edges, 945 markings/sec, 165 secs
lola: 179957 markings, 249830 edges, 959 markings/sec, 170 secs
lola: 184746 markings, 256525 edges, 958 markings/sec, 175 secs
lola: 189568 markings, 263016 edges, 964 markings/sec, 180 secs
lola: 194355 markings, 269490 edges, 957 markings/sec, 185 secs
lola: 199074 markings, 276467 edges, 944 markings/sec, 190 secs
lola: 203792 markings, 283679 edges, 944 markings/sec, 195 secs
lola: 208497 markings, 291003 edges, 941 markings/sec, 200 secs
lola: 213593 markings, 297601 edges, 1019 markings/sec, 205 secs
lola: 220516 markings, 305980 edges, 1385 markings/sec, 210 secs
lola: 227029 markings, 314857 edges, 1303 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(p106)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 7536 markings, 7903 edges, 1507 markings/sec, 0 secs
lola: 15031 markings, 15787 edges, 1499 markings/sec, 5 secs
lola: 22542 markings, 23726 edges, 1502 markings/sec, 10 secs
lola: 30052 markings, 31640 edges, 1502 markings/sec, 15 secs
lola: 37310 markings, 39759 edges, 1452 markings/sec, 20 secs
lola: 44809 markings, 47703 edges, 1500 markings/sec, 25 secs
lola: 52316 markings, 55599 edges, 1501 markings/sec, 30 secs
lola: 59598 markings, 63686 edges, 1456 markings/sec, 35 secs
lola: 67097 markings, 71628 edges, 1500 markings/sec, 40 secs
lola: 74584 markings, 79537 edges, 1497 markings/sec, 45 secs
lola: 81817 markings, 87614 edges, 1447 markings/sec, 50 secs
lola: 89099 markings, 95667 edges, 1456 markings/sec, 55 secs
lola: 96657 markings, 103548 edges, 1512 markings/sec, 60 secs
lola: 104124 markings, 111480 edges, 1493 markings/sec, 65 secs
lola: 111436 markings, 119603 edges, 1462 markings/sec, 70 secs
lola: 118941 markings, 127586 edges, 1501 markings/sec, 75 secs
lola: 126441 markings, 135498 edges, 1500 markings/sec, 80 secs
lola: 133706 markings, 143688 edges, 1453 markings/sec, 85 secs
lola: 141215 markings, 151600 edges, 1502 markings/sec, 90 secs
lola: 148696 markings, 159535 edges, 1496 markings/sec, 95 secs
lola: 156017 markings, 167611 edges, 1464 markings/sec, 100 secs
lola: 163515 markings, 175643 edges, 1500 markings/sec, 105 secs
lola: 171013 markings, 183596 edges, 1500 markings/sec, 110 secs
lola: 178587 markings, 191564 edges, 1515 markings/sec, 115 secs
lola: 186160 markings, 200112 edges, 1515 markings/sec, 120 secs
lola: 193438 markings, 208403 edges, 1456 markings/sec, 125 secs
lola: 200913 markings, 216732 edges, 1495 markings/sec, 130 secs
lola: 208638 markings, 224937 edges, 1545 markings/sec, 135 secs
lola: 216109 markings, 232882 edges, 1494 markings/sec, 140 secs
lola: 223688 markings, 240882 edges, 1516 markings/sec, 145 secs
lola: 231509 markings, 249159 edges, 1564 markings/sec, 150 secs
lola: 239323 markings, 257437 edges, 1563 markings/sec, 155 secs
lola: 246907 markings, 265880 edges, 1517 markings/sec, 160 secs
lola: 254409 markings, 274192 edges, 1500 markings/sec, 165 secs
lola: 261677 markings, 282299 edges, 1454 markings/sec, 170 secs
lola: 268898 markings, 290381 edges, 1444 markings/sec, 175 secs
lola: 276431 markings, 298299 edges, 1507 markings/sec, 180 secs
lola: 283957 markings, 306237 edges, 1505 markings/sec, 185 secs
lola: 291470 markings, 314124 edges, 1503 markings/sec, 190 secs
lola: 298718 markings, 322233 edges, 1450 markings/sec, 195 secs
lola: 306120 markings, 330172 edges, 1480 markings/sec, 200 secs
lola: 313479 markings, 338266 edges, 1472 markings/sec, 205 secs
lola: 320748 markings, 346427 edges, 1454 markings/sec, 210 secs
lola: 328236 markings, 354363 edges, 1498 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(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)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 7857 markings, 8805 edges, 1571 markings/sec, 0 secs
lola: 15701 markings, 17082 edges, 1569 markings/sec, 5 secs
lola: 23581 markings, 25375 edges, 1576 markings/sec, 10 secs
lola: 31432 markings, 33637 edges, 1570 markings/sec, 15 secs
lola: 39304 markings, 41925 edges, 1574 markings/sec, 20 secs
lola: 47241 markings, 50277 edges, 1587 markings/sec, 25 secs
lola: 55091 markings, 58564 edges, 1570 markings/sec, 30 secs
lola: 63029 markings, 66887 edges, 1588 markings/sec, 35 secs
lola: 70880 markings, 75172 edges, 1570 markings/sec, 40 secs
lola: 78797 markings, 83499 edges, 1583 markings/sec, 45 secs
lola: 86659 markings, 91778 edges, 1572 markings/sec, 50 secs
lola: 94533 markings, 100078 edges, 1575 markings/sec, 55 secs
lola: 102420 markings, 108389 edges, 1577 markings/sec, 60 secs
lola: 110416 markings, 116771 edges, 1599 markings/sec, 65 secs
lola: 118314 markings, 125042 edges, 1580 markings/sec, 70 secs
lola: 126090 markings, 133295 edges, 1555 markings/sec, 75 secs
lola: 133992 markings, 141790 edges, 1580 markings/sec, 80 secs
lola: 141829 markings, 150439 edges, 1567 markings/sec, 85 secs
lola: 149641 markings, 158671 edges, 1562 markings/sec, 90 secs
lola: 157505 markings, 166954 edges, 1573 markings/sec, 95 secs
lola: 165366 markings, 175239 edges, 1572 markings/sec, 100 secs
lola: 173228 markings, 183565 edges, 1572 markings/sec, 105 secs
lola: 181060 markings, 191827 edges, 1566 markings/sec, 110 secs
lola: 188904 markings, 200091 edges, 1569 markings/sec, 115 secs
lola: 196717 markings, 208321 edges, 1563 markings/sec, 120 secs
lola: 204611 markings, 216601 edges, 1579 markings/sec, 125 secs
lola: 212331 markings, 224850 edges, 1544 markings/sec, 130 secs
lola: 220130 markings, 233127 edges, 1560 markings/sec, 135 secs
lola: 228167 markings, 241544 edges, 1607 markings/sec, 140 secs
lola: 235948 markings, 249772 edges, 1556 markings/sec, 145 secs
lola: 243796 markings, 258032 edges, 1570 markings/sec, 150 secs
lola: 251761 markings, 266381 edges, 1593 markings/sec, 155 secs
lola: 259640 markings, 274674 edges, 1576 markings/sec, 160 secs
lola: 267476 markings, 282904 edges, 1567 markings/sec, 165 secs
lola: 275273 markings, 291654 edges, 1559 markings/sec, 170 secs
lola: 283132 markings, 299953 edges, 1572 markings/sec, 175 secs
lola: 291039 markings, 308258 edges, 1581 markings/sec, 180 secs
lola: 298883 markings, 316519 edges, 1569 markings/sec, 185 secs
lola: 306717 markings, 324953 edges, 1567 markings/sec, 190 secs
lola: 314511 markings, 333261 edges, 1559 markings/sec, 195 secs
lola: 322203 markings, 341679 edges, 1538 markings/sec, 200 secs
lola: 329892 markings, 350776 edges, 1538 markings/sec, 205 secs
lola: 337529 markings, 359090 edges, 1527 markings/sec, 210 secs
lola: 345352 markings, 367744 edges, 1565 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(p421)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 7928 markings, 8598 edges, 1586 markings/sec, 0 secs
lola: 15894 markings, 16773 edges, 1593 markings/sec, 5 secs
lola: 23770 markings, 24884 edges, 1575 markings/sec, 10 secs
lola: 31749 markings, 33064 edges, 1596 markings/sec, 15 secs
lola: 39631 markings, 41182 edges, 1576 markings/sec, 20 secs
lola: 47447 markings, 49241 edges, 1563 markings/sec, 25 secs
lola: 55320 markings, 57809 edges, 1575 markings/sec, 30 secs
lola: 63267 markings, 65984 edges, 1589 markings/sec, 35 secs
lola: 71099 markings, 74037 edges, 1566 markings/sec, 40 secs
lola: 78988 markings, 82161 edges, 1578 markings/sec, 45 secs
lola: 86923 markings, 90307 edges, 1587 markings/sec, 50 secs
lola: 94923 markings, 98542 edges, 1600 markings/sec, 55 secs
lola: 103095 markings, 106921 edges, 1634 markings/sec, 60 secs
lola: 111180 markings, 115281 edges, 1617 markings/sec, 65 secs
lola: 119128 markings, 123467 edges, 1590 markings/sec, 70 secs
lola: 126989 markings, 131780 edges, 1572 markings/sec, 75 secs
lola: 135299 markings, 140482 edges, 1662 markings/sec, 80 secs
lola: 143275 markings, 148695 edges, 1595 markings/sec, 85 secs
lola: 151244 markings, 157369 edges, 1594 markings/sec, 90 secs
lola: 158970 markings, 165361 edges, 1545 markings/sec, 95 secs
lola: 166864 markings, 173519 edges, 1579 markings/sec, 100 secs
lola: 174862 markings, 181719 edges, 1600 markings/sec, 105 secs
lola: 183017 markings, 190106 edges, 1631 markings/sec, 110 secs
lola: 191155 markings, 198484 edges, 1628 markings/sec, 115 secs
lola: 199347 markings, 206911 edges, 1638 markings/sec, 120 secs
lola: 207369 markings, 215144 edges, 1604 markings/sec, 125 secs
lola: 215282 markings, 223274 edges, 1583 markings/sec, 130 secs
lola: 223173 markings, 231435 edges, 1578 markings/sec, 135 secs
lola: 231049 markings, 239560 edges, 1575 markings/sec, 140 secs
lola: 239275 markings, 248015 edges, 1645 markings/sec, 145 secs
lola: 247216 markings, 256194 edges, 1588 markings/sec, 150 secs
lola: 255275 markings, 264490 edges, 1612 markings/sec, 155 secs
lola: 263436 markings, 272857 edges, 1632 markings/sec, 160 secs
lola: 271407 markings, 281072 edges, 1594 markings/sec, 165 secs
lola: 279272 markings, 289278 edges, 1573 markings/sec, 170 secs
lola: 287157 markings, 297407 edges, 1577 markings/sec, 175 secs
lola: 295302 markings, 305815 edges, 1629 markings/sec, 180 secs
lola: 303311 markings, 314074 edges, 1602 markings/sec, 185 secs
lola: 311515 markings, 322506 edges, 1641 markings/sec, 190 secs
lola: 319645 markings, 330939 edges, 1626 markings/sec, 195 secs
lola: 327920 markings, 339886 edges, 1655 markings/sec, 200 secs
lola: 335827 markings, 348016 edges, 1581 markings/sec, 205 secs
lola: 343746 markings, 356175 edges, 1584 markings/sec, 210 secs
lola: 351600 markings, 364351 edges, 1571 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(p528)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 7930 markings, 8883 edges, 1586 markings/sec, 0 secs
lola: 16073 markings, 17470 edges, 1629 markings/sec, 5 secs
lola: 24218 markings, 26014 edges, 1629 markings/sec, 10 secs
lola: 32319 markings, 34557 edges, 1620 markings/sec, 15 secs
lola: 40423 markings, 43057 edges, 1621 markings/sec, 20 secs
lola: 48551 markings, 51591 edges, 1626 markings/sec, 25 secs
lola: 56608 markings, 60096 edges, 1611 markings/sec, 30 secs
lola: 64472 markings, 68988 edges, 1573 markings/sec, 35 secs
lola: 72531 markings, 77472 edges, 1612 markings/sec, 40 secs
lola: 80659 markings, 85993 edges, 1626 markings/sec, 45 secs
lola: 88719 markings, 94506 edges, 1612 markings/sec, 50 secs
lola: 96607 markings, 103348 edges, 1578 markings/sec, 55 secs
lola: 104685 markings, 111850 edges, 1616 markings/sec, 60 secs
lola: 112780 markings, 120388 edges, 1619 markings/sec, 65 secs
lola: 120987 markings, 128959 edges, 1641 markings/sec, 70 secs
lola: 129069 markings, 137471 edges, 1616 markings/sec, 75 secs
lola: 137187 markings, 145991 edges, 1624 markings/sec, 80 secs
lola: 145258 markings, 154472 edges, 1614 markings/sec, 85 secs
lola: 153360 markings, 162968 edges, 1620 markings/sec, 90 secs
lola: 161417 markings, 171494 edges, 1611 markings/sec, 95 secs
lola: 169469 markings, 179984 edges, 1610 markings/sec, 100 secs
lola: 177545 markings, 188466 edges, 1615 markings/sec, 105 secs
lola: 185683 markings, 197016 edges, 1628 markings/sec, 110 secs
lola: 193752 markings, 205508 edges, 1614 markings/sec, 115 secs
lola: 201774 markings, 214030 edges, 1604 markings/sec, 120 secs
lola: 209933 markings, 222614 edges, 1632 markings/sec, 125 secs
lola: 218141 markings, 231207 edges, 1642 markings/sec, 130 secs
lola: 226224 markings, 239780 edges, 1617 markings/sec, 135 secs
lola: 234076 markings, 248731 edges, 1570 markings/sec, 140 secs
lola: 242215 markings, 257313 edges, 1628 markings/sec, 145 secs
lola: 250459 markings, 265924 edges, 1649 markings/sec, 150 secs
lola: 258603 markings, 274512 edges, 1629 markings/sec, 155 secs
lola: 266650 markings, 283045 edges, 1609 markings/sec, 160 secs
lola: 274608 markings, 291971 edges, 1592 markings/sec, 165 secs
lola: 282762 markings, 300570 edges, 1631 markings/sec, 170 secs
lola: 290942 markings, 309144 edges, 1636 markings/sec, 175 secs
lola: 299046 markings, 317791 edges, 1621 markings/sec, 180 secs
lola: 307503 markings, 326680 edges, 1691 markings/sec, 185 secs
lola: 315959 markings, 335549 edges, 1691 markings/sec, 190 secs
lola: 324352 markings, 344399 edges, 1679 markings/sec, 195 secs
lola: 332815 markings, 353272 edges, 1693 markings/sec, 200 secs
lola: 341259 markings, 362159 edges, 1689 markings/sec, 205 secs
lola: 349415 markings, 371388 edges, 1631 markings/sec, 210 secs
lola: 357879 markings, 380269 edges, 1693 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(p170 + p171 + p172 + p173 + p174 + p175)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 7491 markings, 7687 edges, 1498 markings/sec, 0 secs
lola: 15003 markings, 15445 edges, 1502 markings/sec, 5 secs
lola: 22533 markings, 23200 edges, 1506 markings/sec, 10 secs
lola: 30005 markings, 30919 edges, 1494 markings/sec, 15 secs
lola: 37555 markings, 38744 edges, 1510 markings/sec, 20 secs
lola: 45107 markings, 46505 edges, 1510 markings/sec, 25 secs
lola: 52593 markings, 54249 edges, 1497 markings/sec, 30 secs
lola: 60157 markings, 62045 edges, 1513 markings/sec, 35 secs
lola: 67643 markings, 69782 edges, 1497 markings/sec, 40 secs
lola: 75155 markings, 77516 edges, 1502 markings/sec, 45 secs
lola: 82681 markings, 85266 edges, 1505 markings/sec, 50 secs
lola: 90205 markings, 93110 edges, 1505 markings/sec, 55 secs
lola: 97734 markings, 100881 edges, 1506 markings/sec, 60 secs
lola: 105226 markings, 108623 edges, 1498 markings/sec, 65 secs
lola: 112736 markings, 116375 edges, 1502 markings/sec, 70 secs
lola: 120277 markings, 124143 edges, 1508 markings/sec, 75 secs
lola: 127812 markings, 131939 edges, 1507 markings/sec, 80 secs
lola: 135312 markings, 139664 edges, 1500 markings/sec, 85 secs
lola: 142858 markings, 147446 edges, 1509 markings/sec, 90 secs
lola: 150427 markings, 155243 edges, 1514 markings/sec, 95 secs
lola: 157947 markings, 163011 edges, 1504 markings/sec, 100 secs
lola: 165435 markings, 170726 edges, 1498 markings/sec, 105 secs
lola: 172914 markings, 178465 edges, 1496 markings/sec, 110 secs
lola: 180364 markings, 186234 edges, 1490 markings/sec, 115 secs
lola: 187892 markings, 193990 edges, 1506 markings/sec, 120 secs
lola: 195378 markings, 201745 edges, 1497 markings/sec, 125 secs
lola: 202916 markings, 209531 edges, 1508 markings/sec, 130 secs
lola: 210428 markings, 217294 edges, 1502 markings/sec, 135 secs
lola: 217882 markings, 225049 edges, 1491 markings/sec, 140 secs
lola: 225252 markings, 232651 edges, 1474 markings/sec, 145 secs
lola: 232647 markings, 240291 edges, 1479 markings/sec, 150 secs
lola: 240185 markings, 248072 edges, 1508 markings/sec, 155 secs
lola: 247713 markings, 255818 edges, 1506 markings/sec, 160 secs
lola: 255137 markings, 263595 edges, 1485 markings/sec, 165 secs
lola: 262734 markings, 271420 edges, 1519 markings/sec, 170 secs
lola: 270229 markings, 279172 edges, 1499 markings/sec, 175 secs
lola: 277676 markings, 286893 edges, 1489 markings/sec, 180 secs
lola: 285156 markings, 294658 edges, 1496 markings/sec, 185 secs
lola: 292623 markings, 302383 edges, 1493 markings/sec, 190 secs
lola: 300052 markings, 310119 edges, 1486 markings/sec, 195 secs
lola: 307332 markings, 317867 edges, 1456 markings/sec, 200 secs
lola: 314812 markings, 325619 edges, 1496 markings/sec, 205 secs
lola: 322390 markings, 333437 edges, 1516 markings/sec, 210 secs
lola: 329825 markings, 341188 edges, 1487 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(p434 + p435 + p436 + p437 + p438 + p439)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 4896 markings, 6507 edges, 979 markings/sec, 0 secs
lola: 9734 markings, 12978 edges, 968 markings/sec, 5 secs
lola: 14575 markings, 19451 edges, 968 markings/sec, 10 secs
lola: 19507 markings, 26168 edges, 986 markings/sec, 15 secs
lola: 24357 markings, 32816 edges, 970 markings/sec, 20 secs
lola: 29320 markings, 39474 edges, 993 markings/sec, 25 secs
lola: 34241 markings, 46033 edges, 984 markings/sec, 30 secs
lola: 38903 markings, 52302 edges, 932 markings/sec, 35 secs
lola: 43695 markings, 58649 edges, 958 markings/sec, 40 secs
lola: 48472 markings, 65045 edges, 955 markings/sec, 45 secs
lola: 52784 markings, 70819 edges, 862 markings/sec, 50 secs
lola: 57510 markings, 77101 edges, 945 markings/sec, 55 secs
lola: 62189 markings, 83525 edges, 936 markings/sec, 60 secs
lola: 66956 markings, 90015 edges, 953 markings/sec, 65 secs
lola: 71681 markings, 96320 edges, 945 markings/sec, 70 secs
lola: 76397 markings, 102564 edges, 943 markings/sec, 75 secs
lola: 81108 markings, 108967 edges, 942 markings/sec, 80 secs
lola: 85793 markings, 115434 edges, 937 markings/sec, 85 secs
lola: 90518 markings, 121901 edges, 945 markings/sec, 90 secs
lola: 95233 markings, 128356 edges, 943 markings/sec, 95 secs
lola: 99916 markings, 134846 edges, 937 markings/sec, 100 secs
lola: 104617 markings, 141144 edges, 940 markings/sec, 105 secs
lola: 109260 markings, 147554 edges, 929 markings/sec, 110 secs
lola: 113835 markings, 154047 edges, 915 markings/sec, 115 secs
lola: 118473 markings, 160632 edges, 928 markings/sec, 120 secs
lola: 123296 markings, 167419 edges, 965 markings/sec, 125 secs
lola: 128136 markings, 174235 edges, 968 markings/sec, 130 secs
lola: 132990 markings, 181083 edges, 971 markings/sec, 135 secs
lola: 137848 markings, 187908 edges, 972 markings/sec, 140 secs
lola: 142641 markings, 194711 edges, 959 markings/sec, 145 secs
lola: 147474 markings, 201680 edges, 967 markings/sec, 150 secs
lola: 152179 markings, 208535 edges, 941 markings/sec, 155 secs
lola: 157024 markings, 215708 edges, 969 markings/sec, 160 secs
lola: 161712 markings, 222910 edges, 938 markings/sec, 165 secs
lola: 166719 markings, 230223 edges, 1001 markings/sec, 170 secs
lola: 171924 markings, 237302 edges, 1041 markings/sec, 175 secs
lola: 177159 markings, 244257 edges, 1047 markings/sec, 180 secs
lola: 182083 markings, 250938 edges, 985 markings/sec, 185 secs
lola: 187022 markings, 257647 edges, 988 markings/sec, 190 secs
lola: 191960 markings, 264328 edges, 988 markings/sec, 195 secs
lola: 196882 markings, 271002 edges, 984 markings/sec, 200 secs
lola: 201709 markings, 277817 edges, 965 markings/sec, 205 secs
lola: 206619 markings, 284701 edges, 982 markings/sec, 210 secs
lola: 211509 markings, 291499 edges, 978 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(p246)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 8266 markings, 8701 edges, 1653 markings/sec, 0 secs
lola: 16454 markings, 17302 edges, 1638 markings/sec, 5 secs
lola: 24557 markings, 25841 edges, 1621 markings/sec, 10 secs
lola: 32686 markings, 34402 edges, 1626 markings/sec, 15 secs
lola: 40783 markings, 42934 edges, 1619 markings/sec, 20 secs
lola: 48916 markings, 51658 edges, 1627 markings/sec, 25 secs
lola: 56989 markings, 60169 edges, 1615 markings/sec, 30 secs
lola: 65177 markings, 68776 edges, 1638 markings/sec, 35 secs
lola: 73254 markings, 77284 edges, 1615 markings/sec, 40 secs
lola: 81414 markings, 85848 edges, 1632 markings/sec, 45 secs
lola: 89531 markings, 94400 edges, 1623 markings/sec, 50 secs
lola: 97700 markings, 102987 edges, 1634 markings/sec, 55 secs
lola: 105879 markings, 111579 edges, 1636 markings/sec, 60 secs
lola: 114055 markings, 120140 edges, 1635 markings/sec, 65 secs
lola: 122085 markings, 128665 edges, 1606 markings/sec, 70 secs
lola: 130100 markings, 137939 edges, 1603 markings/sec, 75 secs
lola: 138259 markings, 147086 edges, 1632 markings/sec, 80 secs
lola: 146348 markings, 156086 edges, 1618 markings/sec, 85 secs
lola: 154396 markings, 164585 edges, 1610 markings/sec, 90 secs
lola: 162427 markings, 173081 edges, 1606 markings/sec, 95 secs
lola: 170528 markings, 181625 edges, 1620 markings/sec, 100 secs
lola: 178704 markings, 190193 edges, 1635 markings/sec, 105 secs
lola: 186674 markings, 198701 edges, 1594 markings/sec, 110 secs
lola: 194927 markings, 207337 edges, 1651 markings/sec, 115 secs
lola: 203012 markings, 215869 edges, 1617 markings/sec, 120 secs
lola: 211126 markings, 224405 edges, 1623 markings/sec, 125 secs
lola: 219254 markings, 233410 edges, 1626 markings/sec, 130 secs
lola: 227444 markings, 242014 edges, 1638 markings/sec, 135 secs
lola: 235561 markings, 250542 edges, 1623 markings/sec, 140 secs
lola: 243560 markings, 259067 edges, 1600 markings/sec, 145 secs
lola: 251525 markings, 267556 edges, 1593 markings/sec, 150 secs
lola: 259613 markings, 276562 edges, 1618 markings/sec, 155 secs
lola: 267637 markings, 285110 edges, 1605 markings/sec, 160 secs
lola: 275593 markings, 293613 edges, 1591 markings/sec, 165 secs
lola: 283747 markings, 302196 edges, 1631 markings/sec, 170 secs
lola: 291841 markings, 310750 edges, 1619 markings/sec, 175 secs
lola: 300084 markings, 319411 edges, 1649 markings/sec, 180 secs
lola: 308398 markings, 328114 edges, 1663 markings/sec, 185 secs
lola: 316466 markings, 336638 edges, 1614 markings/sec, 190 secs
lola: 324592 markings, 345258 edges, 1625 markings/sec, 195 secs
lola: 332694 markings, 353959 edges, 1620 markings/sec, 200 secs
lola: 340669 markings, 362466 edges, 1595 markings/sec, 205 secs
lola: 348872 markings, 371690 edges, 1641 markings/sec, 210 secs
lola: 356968 markings, 381174 edges, 1619 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p434 + p435 + p436 + p437 + p438 + p439)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 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: 5080 markings, 6768 edges, 1016 markings/sec, 0 secs
lola: 10093 markings, 13449 edges, 1003 markings/sec, 5 secs
lola: 15099 markings, 20154 edges, 1001 markings/sec, 10 secs
lola: 19986 markings, 26819 edges, 977 markings/sec, 15 secs
lola: 24874 markings, 33551 edges, 978 markings/sec, 20 secs
lola: 30016 markings, 40402 edges, 1028 markings/sec, 25 secs
lola: 35066 markings, 47149 edges, 1010 markings/sec, 30 secs
lola: 39898 markings, 53633 edges, 966 markings/sec, 35 secs
lola: 44883 markings, 60236 edges, 997 markings/sec, 40 secs
lola: 49835 markings, 66838 edges, 990 markings/sec, 45 secs
lola: 54658 markings, 73325 edges, 965 markings/sec, 50 secs
lola: 59579 markings, 79950 edges, 984 markings/sec, 55 secs
lola: 64513 markings, 86663 edges, 987 markings/sec, 60 secs
lola: 69429 markings, 93317 edges, 983 markings/sec, 65 secs
lola: 74041 markings, 99481 edges, 922 markings/sec, 70 secs
lola: 78903 markings, 106015 edges, 972 markings/sec, 75 secs
lola: 83585 markings, 112468 edges, 936 markings/sec, 80 secs
lola: 88409 markings, 118963 edges, 965 markings/sec, 85 secs
lola: 93252 markings, 125639 edges, 969 markings/sec, 90 secs
lola: 98150 markings, 132345 edges, 980 markings/sec, 95 secs
lola: 103031 markings, 139037 edges, 976 markings/sec, 100 secs
lola: 107860 markings, 145728 edges, 966 markings/sec, 105 secs
lola: 112384 markings, 151989 edges, 905 markings/sec, 110 secs
lola: 116931 markings, 158490 edges, 909 markings/sec, 115 secs
lola: 121545 markings, 165024 edges, 923 markings/sec, 120 secs
lola: 126306 markings, 171721 edges, 952 markings/sec, 125 secs
lola: 130907 markings, 178202 edges, 920 markings/sec, 130 secs
lola: 135575 markings, 184778 edges, 934 markings/sec, 135 secs
lola: 140310 markings, 191428 edges, 947 markings/sec, 140 secs
lola: 144925 markings, 197960 edges, 923 markings/sec, 145 secs
lola: 149542 markings, 204685 edges, 923 markings/sec, 150 secs
lola: 154112 markings, 211397 edges, 914 markings/sec, 155 secs
lola: 158881 markings, 218588 edges, 954 markings/sec, 160 secs
lola: 163587 markings, 225820 edges, 941 markings/sec, 165 secs
lola: 168685 markings, 232929 edges, 1020 markings/sec, 170 secs
lola: 173697 markings, 239747 edges, 1002 markings/sec, 175 secs
lola: 178650 markings, 246330 edges, 991 markings/sec, 180 secs
lola: 183532 markings, 252941 edges, 976 markings/sec, 185 secs
lola: 188357 markings, 259474 edges, 965 markings/sec, 190 secs
lola: 193064 markings, 265848 edges, 941 markings/sec, 195 secs
lola: 197762 markings, 272212 edges, 940 markings/sec, 200 secs
lola: 202304 markings, 278608 edges, 908 markings/sec, 205 secs
lola: 206916 markings, 285126 edges, 922 markings/sec, 210 secs
lola: 211534 markings, 291542 edges, 924 markings/sec, 215 secs
lola: time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496422318451

--------------------
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-S06J04T06"
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-S06J04T06.tgz
mv S_PolyORBLF-COL-S06J04T06 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-S06J04T06, 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-149441681500380"
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 ;