fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r128-smll-149441681500380
Last Updated
June 27, 2017

About the Execution of LoLA for S_PolyORBLF-COL-S06J04T06

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
510.730 3539694.00 3549958.00 10326.20 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? 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-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 ;