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_PolyORBNT-COL-S10J80, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r138-smll-149479231500083
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496309398657


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBNT-COL-S10J80: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBNT-COL-S10J80: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBNT-COL-S10J80 @ 3535 seconds
----- Start make result stdout -----
lola: LoLA will run for 3535 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 15274/65536 symbol table entries, 4901 collisions
lola: preprocessing...
lola: finding significant places
lola: 1694 places, 13580 transitions, 1502 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4378 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J80-UpperBounds.task
lola: MAX(p1267) : MAX(p102) : MAX(p1352) : MAX(p1438) : MAX(p1439) : MAX(p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p11 + p10 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80) : MAX(p1352) : MAX(p103) : MAX(p1612 + p1613 + p1614 + p1615 + p1616 + p1617 + p1618 + p1619 + p1620 + p1621 + p1622 + p1623 + p1624 + p1625 + p1626 + p1627 + p1628 + p1629 + p1630 + p1631 + p1632 + p1633 + p1634 + p1635 + p1636 + p1637 + p1638 + p1639 + p1640 + p1641 + p1642 + p1643 + p1644 + p1645 + p1646 + p1647 + p1648 + p1649 + p1650 + p1651 + p1652 + p1653 + p1654 + p1655 + p1656 + p1657 + p1658 + p1659 + p1660 + p1661 + p1662 + p1663 + p1664 + p1665 + p1666 + p1667 + p1668 + p1669 + p1670 + p1671 + p1672 + p1673 + p1674 + p1675 + p1676 + p1677 + p1678 + p1679 + p1680 + p1681 + p1682 + p1683 + p1684 + p1685 + p1686 + p1687 + p1688 + p1689 + p1690 + p1691 + p1692) : MAX(p1264) : MAX(p442) : MAX(p1269) : MAX(p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113) : MAX(p1353) : MAX(p1439)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1267)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1794 markings, 6462 edges, 359 markings/sec, 0 secs
lola: 3517 markings, 11719 edges, 345 markings/sec, 5 secs
lola: 5192 markings, 15638 edges, 335 markings/sec, 10 secs
lola: 6995 markings, 22246 edges, 361 markings/sec, 15 secs
lola: 8532 markings, 24855 edges, 307 markings/sec, 20 secs
lola: 10263 markings, 26845 edges, 346 markings/sec, 25 secs
lola: 11948 markings, 28888 edges, 337 markings/sec, 30 secs
lola: 13531 markings, 30659 edges, 317 markings/sec, 35 secs
lola: 15371 markings, 32932 edges, 368 markings/sec, 40 secs
lola: 17056 markings, 34850 edges, 337 markings/sec, 45 secs
lola: 18860 markings, 37068 edges, 361 markings/sec, 50 secs
lola: 20575 markings, 39032 edges, 343 markings/sec, 55 secs
lola: 22345 markings, 41201 edges, 354 markings/sec, 60 secs
lola: 24096 markings, 43221 edges, 350 markings/sec, 65 secs
lola: 25827 markings, 45328 edges, 346 markings/sec, 70 secs
lola: 27622 markings, 47414 edges, 359 markings/sec, 75 secs
lola: 29309 markings, 49457 edges, 337 markings/sec, 80 secs
lola: 31146 markings, 51608 edges, 367 markings/sec, 85 secs
lola: 32787 markings, 53579 edges, 328 markings/sec, 90 secs
lola: 34675 markings, 55883 edges, 378 markings/sec, 95 secs
lola: 36336 markings, 57874 edges, 332 markings/sec, 100 secs
lola: 38185 markings, 60160 edges, 370 markings/sec, 105 secs
lola: 39862 markings, 62071 edges, 335 markings/sec, 110 secs
lola: 41656 markings, 64275 edges, 359 markings/sec, 115 secs
lola: 43394 markings, 66277 edges, 348 markings/sec, 120 secs
lola: 45124 markings, 68383 edges, 346 markings/sec, 125 secs
lola: 46924 markings, 70481 edges, 360 markings/sec, 130 secs
lola: 48590 markings, 72491 edges, 333 markings/sec, 135 secs
lola: 50453 markings, 74743 edges, 373 markings/sec, 140 secs
lola: 52114 markings, 76757 edges, 332 markings/sec, 145 secs
lola: 53958 markings, 79035 edges, 369 markings/sec, 150 secs
lola: 55648 markings, 80969 edges, 338 markings/sec, 155 secs
lola: 57412 markings, 83127 edges, 353 markings/sec, 160 secs
lola: 59183 markings, 85183 edges, 354 markings/sec, 165 secs
lola: 60870 markings, 87223 edges, 337 markings/sec, 170 secs
lola: 62722 markings, 89451 edges, 370 markings/sec, 175 secs
lola: 64392 markings, 91489 edges, 334 markings/sec, 180 secs
lola: 66221 markings, 93744 edges, 366 markings/sec, 185 secs
lola: 67935 markings, 95716 edges, 343 markings/sec, 190 secs
lola: 69670 markings, 97828 edges, 347 markings/sec, 195 secs
lola: 71475 markings, 99938 edges, 361 markings/sec, 200 secs
lola: 73145 markings, 102027 edges, 334 markings/sec, 205 secs
lola: 75003 markings, 104326 edges, 372 markings/sec, 210 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(p102)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1788 markings, 6438 edges, 358 markings/sec, 0 secs
lola: 3443 markings, 11640 edges, 331 markings/sec, 5 secs
lola: 4899 markings, 14576 edges, 291 markings/sec, 10 secs
lola: 6702 markings, 21161 edges, 361 markings/sec, 15 secs
lola: 8187 markings, 24605 edges, 297 markings/sec, 20 secs
lola: 9485 markings, 26135 edges, 260 markings/sec, 25 secs
lola: 10781 markings, 27908 edges, 259 markings/sec, 30 secs
lola: 12082 markings, 29797 edges, 260 markings/sec, 35 secs
lola: 13379 markings, 31324 edges, 259 markings/sec, 40 secs
lola: 14675 markings, 33072 edges, 259 markings/sec, 45 secs
lola: 15975 markings, 34992 edges, 260 markings/sec, 50 secs
lola: 17273 markings, 36599 edges, 260 markings/sec, 55 secs
lola: 18568 markings, 38377 edges, 259 markings/sec, 60 secs
lola: 19869 markings, 40297 edges, 260 markings/sec, 65 secs
lola: 21164 markings, 42061 edges, 259 markings/sec, 70 secs
lola: 22459 markings, 43681 edges, 259 markings/sec, 75 secs
lola: 23759 markings, 45595 edges, 260 markings/sec, 80 secs
lola: 25057 markings, 47369 edges, 260 markings/sec, 85 secs
lola: 26352 markings, 49005 edges, 259 markings/sec, 90 secs
lola: 27651 markings, 50895 edges, 260 markings/sec, 95 secs
lola: 28945 markings, 52667 edges, 259 markings/sec, 100 secs
lola: 30242 markings, 54527 edges, 259 markings/sec, 105 secs
lola: 31540 markings, 56191 edges, 260 markings/sec, 110 secs
lola: 32836 markings, 57970 edges, 259 markings/sec, 115 secs
lola: 34135 markings, 59883 edges, 260 markings/sec, 120 secs
lola: 35431 markings, 61486 edges, 259 markings/sec, 125 secs
lola: 36726 markings, 63271 edges, 259 markings/sec, 130 secs
lola: 38026 markings, 65181 edges, 260 markings/sec, 135 secs
lola: 39322 markings, 66953 edges, 259 markings/sec, 140 secs
lola: 40618 markings, 68644 edges, 259 markings/sec, 145 secs
lola: 41918 markings, 70478 edges, 260 markings/sec, 150 secs
lola: 43214 markings, 72257 edges, 259 markings/sec, 155 secs
lola: 44514 markings, 74170 edges, 260 markings/sec, 160 secs
lola: 45811 markings, 75776 edges, 259 markings/sec, 165 secs
lola: 47107 markings, 77559 edges, 259 markings/sec, 170 secs
lola: 48406 markings, 79466 edges, 260 markings/sec, 175 secs
lola: 49702 markings, 81239 edges, 259 markings/sec, 180 secs
lola: 50997 markings, 82903 edges, 259 markings/sec, 185 secs
lola: 52292 markings, 84758 edges, 259 markings/sec, 190 secs
lola: 53574 markings, 86518 edges, 256 markings/sec, 195 secs
lola: 54855 markings, 88406 edges, 256 markings/sec, 200 secs
lola: 56132 markings, 89986 edges, 255 markings/sec, 205 secs
lola: 57425 markings, 91767 edges, 259 markings/sec, 210 secs
lola: 58715 markings, 93663 edges, 258 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(p1352)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1794 markings, 6462 edges, 359 markings/sec, 0 secs
lola: 3613 markings, 11822 edges, 364 markings/sec, 5 secs
lola: 5451 markings, 16595 edges, 368 markings/sec, 10 secs
lola: 7259 markings, 23218 edges, 362 markings/sec, 15 secs
lola: 9153 markings, 25544 edges, 379 markings/sec, 20 secs
lola: 11019 markings, 27854 edges, 373 markings/sec, 25 secs
lola: 12882 markings, 29980 edges, 373 markings/sec, 30 secs
lola: 14785 markings, 32012 edges, 381 markings/sec, 35 secs
lola: 16632 markings, 34456 edges, 369 markings/sec, 40 secs
lola: 18478 markings, 36871 edges, 369 markings/sec, 45 secs
lola: 20395 markings, 38972 edges, 383 markings/sec, 50 secs
lola: 22234 markings, 41406 edges, 368 markings/sec, 55 secs
lola: 24160 markings, 43490 edges, 385 markings/sec, 60 secs
lola: 26005 markings, 45928 edges, 369 markings/sec, 65 secs
lola: 27929 markings, 48010 edges, 385 markings/sec, 70 secs
lola: 29774 markings, 50450 edges, 369 markings/sec, 75 secs
lola: 31621 markings, 52872 edges, 369 markings/sec, 80 secs
lola: 33543 markings, 54972 edges, 384 markings/sec, 85 secs
lola: 35383 markings, 57404 edges, 368 markings/sec, 90 secs
lola: 37307 markings, 59488 edges, 385 markings/sec, 95 secs
lola: 39154 markings, 61926 edges, 369 markings/sec, 100 secs
lola: 41045 markings, 64288 edges, 378 markings/sec, 105 secs
lola: 42923 markings, 66450 edges, 376 markings/sec, 110 secs
lola: 44766 markings, 68882 edges, 369 markings/sec, 115 secs
lola: 46692 markings, 70969 edges, 385 markings/sec, 120 secs
lola: 48541 markings, 73406 edges, 370 markings/sec, 125 secs
lola: 50439 markings, 75761 edges, 380 markings/sec, 130 secs
lola: 52312 markings, 77927 edges, 375 markings/sec, 135 secs
lola: 54158 markings, 80366 edges, 369 markings/sec, 140 secs
lola: 56083 markings, 82454 edges, 385 markings/sec, 145 secs
lola: 57931 markings, 84888 edges, 370 markings/sec, 150 secs
lola: 59808 markings, 87278 edges, 375 markings/sec, 155 secs
lola: 61701 markings, 89415 edges, 379 markings/sec, 160 secs
lola: 63550 markings, 91848 edges, 370 markings/sec, 165 secs
lola: 65474 markings, 93936 edges, 385 markings/sec, 170 secs
lola: 67323 markings, 96370 edges, 370 markings/sec, 175 secs
lola: 69168 markings, 98806 edges, 369 markings/sec, 180 secs
lola: 71097 markings, 100900 edges, 386 markings/sec, 185 secs
lola: 72946 markings, 103332 edges, 370 markings/sec, 190 secs
lola: 74821 markings, 105737 edges, 375 markings/sec, 195 secs
lola: 76724 markings, 107868 edges, 381 markings/sec, 200 secs
lola: 78578 markings, 110303 edges, 371 markings/sec, 205 secs
lola: 80503 markings, 112675 edges, 385 markings/sec, 210 secs
lola: 82384 markings, 114858 edges, 376 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(p1438)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1797 markings, 6472 edges, 359 markings/sec, 0 secs
lola: 3563 markings, 11768 edges, 353 markings/sec, 5 secs
lola: 5327 markings, 16135 edges, 353 markings/sec, 10 secs
lola: 7128 markings, 22730 edges, 360 markings/sec, 15 secs
lola: 8869 markings, 25292 edges, 348 markings/sec, 20 secs
lola: 10597 markings, 27197 edges, 346 markings/sec, 25 secs
lola: 12327 markings, 29422 edges, 346 markings/sec, 30 secs
lola: 14055 markings, 31325 edges, 346 markings/sec, 35 secs
lola: 15797 markings, 33576 edges, 348 markings/sec, 40 secs
lola: 17567 markings, 35558 edges, 354 markings/sec, 45 secs
lola: 19334 markings, 37856 edges, 353 markings/sec, 50 secs
lola: 21101 markings, 39833 edges, 353 markings/sec, 55 secs
lola: 22867 markings, 42131 edges, 353 markings/sec, 60 secs
lola: 24634 markings, 44108 edges, 353 markings/sec, 65 secs
lola: 26402 markings, 46408 edges, 354 markings/sec, 70 secs
lola: 28166 markings, 48382 edges, 353 markings/sec, 75 secs
lola: 29935 markings, 50684 edges, 354 markings/sec, 80 secs
lola: 31698 markings, 52978 edges, 353 markings/sec, 85 secs
lola: 33468 markings, 54960 edges, 354 markings/sec, 90 secs
lola: 35230 markings, 57254 edges, 352 markings/sec, 95 secs
lola: 36999 markings, 59235 edges, 354 markings/sec, 100 secs
lola: 38765 markings, 61533 edges, 353 markings/sec, 105 secs
lola: 40531 markings, 63511 edges, 353 markings/sec, 110 secs
lola: 42299 markings, 65814 edges, 354 markings/sec, 115 secs
lola: 44067 markings, 67792 edges, 354 markings/sec, 120 secs
lola: 45837 markings, 70097 edges, 354 markings/sec, 125 secs
lola: 47601 markings, 72397 edges, 353 markings/sec, 130 secs
lola: 49372 markings, 74378 edges, 354 markings/sec, 135 secs
lola: 51136 markings, 76678 edges, 353 markings/sec, 140 secs
lola: 52904 markings, 78656 edges, 354 markings/sec, 145 secs
lola: 54669 markings, 80958 edges, 353 markings/sec, 150 secs
lola: 56433 markings, 82932 edges, 353 markings/sec, 155 secs
lola: 58201 markings, 85237 edges, 354 markings/sec, 160 secs
lola: 59964 markings, 87210 edges, 353 markings/sec, 165 secs
lola: 61732 markings, 89514 edges, 354 markings/sec, 170 secs
lola: 63496 markings, 91815 edges, 353 markings/sec, 175 secs
lola: 65261 markings, 93790 edges, 353 markings/sec, 180 secs
lola: 67027 markings, 96095 edges, 353 markings/sec, 185 secs
lola: 68791 markings, 98069 edges, 353 markings/sec, 190 secs
lola: 70557 markings, 100374 edges, 353 markings/sec, 195 secs
lola: 72316 markings, 102672 edges, 352 markings/sec, 200 secs
lola: 74084 markings, 104651 edges, 354 markings/sec, 205 secs
lola: 75847 markings, 106953 edges, 353 markings/sec, 210 secs
lola: 77610 markings, 108925 edges, 353 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(p1439)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1801 markings, 6484 edges, 360 markings/sec, 0 secs
lola: 3615 markings, 11824 edges, 363 markings/sec, 5 secs
lola: 5412 markings, 16449 edges, 359 markings/sec, 10 secs
lola: 7205 markings, 23014 edges, 359 markings/sec, 15 secs
lola: 9074 markings, 25519 edges, 374 markings/sec, 20 secs
lola: 10877 markings, 27504 edges, 361 markings/sec, 25 secs
lola: 12639 markings, 29766 edges, 352 markings/sec, 30 secs
lola: 14432 markings, 31742 edges, 359 markings/sec, 35 secs
lola: 16279 markings, 34115 edges, 369 markings/sec, 40 secs
lola: 18127 markings, 36183 edges, 370 markings/sec, 45 secs
lola: 19951 markings, 38545 edges, 365 markings/sec, 50 secs
lola: 21735 markings, 40542 edges, 357 markings/sec, 55 secs
lola: 23500 markings, 42839 edges, 353 markings/sec, 60 secs
lola: 25260 markings, 45129 edges, 352 markings/sec, 65 secs
lola: 27024 markings, 47103 edges, 353 markings/sec, 70 secs
lola: 28784 markings, 49395 edges, 352 markings/sec, 75 secs
lola: 30558 markings, 51380 edges, 355 markings/sec, 80 secs
lola: 32368 markings, 53728 edges, 362 markings/sec, 85 secs
lola: 34129 markings, 55698 edges, 352 markings/sec, 90 secs
lola: 35905 markings, 58011 edges, 355 markings/sec, 95 secs
lola: 37729 markings, 60050 edges, 365 markings/sec, 100 secs
lola: 39557 markings, 62419 edges, 366 markings/sec, 105 secs
lola: 41375 markings, 64780 edges, 364 markings/sec, 110 secs
lola: 43177 markings, 66795 edges, 360 markings/sec, 115 secs
lola: 45027 markings, 69189 edges, 370 markings/sec, 120 secs
lola: 46815 markings, 71190 edges, 358 markings/sec, 125 secs
lola: 48634 markings, 73552 edges, 364 markings/sec, 130 secs
lola: 50454 markings, 75588 edges, 364 markings/sec, 135 secs
lola: 52266 markings, 77941 edges, 362 markings/sec, 140 secs
lola: 54074 markings, 80290 edges, 362 markings/sec, 145 secs
lola: 55885 markings, 82319 edges, 362 markings/sec, 150 secs
lola: 57695 markings, 84669 edges, 362 markings/sec, 155 secs
lola: 59420 markings, 86601 edges, 345 markings/sec, 160 secs
lola: 61291 markings, 89021 edges, 374 markings/sec, 165 secs
lola: 63195 markings, 91479 edges, 381 markings/sec, 170 secs
lola: 64798 markings, 93272 edges, 321 markings/sec, 175 secs
lola: 66692 markings, 95720 edges, 379 markings/sec, 180 secs
lola: 68604 markings, 97860 edges, 382 markings/sec, 185 secs
lola: 70518 markings, 100330 edges, 383 markings/sec, 190 secs
lola: 72422 markings, 102792 edges, 381 markings/sec, 195 secs
lola: 74330 markings, 104926 edges, 382 markings/sec, 200 secs
lola: 76244 markings, 107397 edges, 383 markings/sec, 205 secs
lola: 78150 markings, 109861 edges, 381 markings/sec, 210 secs
lola: 80067 markings, 112005 edges, 383 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(p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1927 markings, 3767 edges, 385 markings/sec, 0 secs
lola: 4087 markings, 6543 edges, 432 markings/sec, 5 secs
lola: 6187 markings, 9245 edges, 420 markings/sec, 10 secs
lola: 8234 markings, 11870 edges, 409 markings/sec, 15 secs
lola: 10286 markings, 14494 edges, 410 markings/sec, 20 secs
lola: 12341 markings, 17119 edges, 411 markings/sec, 25 secs
lola: 14388 markings, 19741 edges, 409 markings/sec, 30 secs
lola: 16425 markings, 22360 edges, 407 markings/sec, 35 secs
lola: 18458 markings, 24972 edges, 407 markings/sec, 40 secs
lola: 20493 markings, 27584 edges, 407 markings/sec, 45 secs
lola: 22524 markings, 30208 edges, 406 markings/sec, 50 secs
lola: 24559 markings, 32810 edges, 407 markings/sec, 55 secs
lola: 26596 markings, 35421 edges, 407 markings/sec, 60 secs
lola: 28630 markings, 38028 edges, 407 markings/sec, 65 secs
lola: 30668 markings, 40637 edges, 408 markings/sec, 70 secs
lola: 32636 markings, 50734 edges, 394 markings/sec, 75 secs
lola: 34684 markings, 53354 edges, 410 markings/sec, 80 secs
lola: 36723 markings, 55969 edges, 408 markings/sec, 85 secs
lola: 38766 markings, 58584 edges, 409 markings/sec, 90 secs
lola: 40807 markings, 61194 edges, 408 markings/sec, 95 secs
lola: 42855 markings, 63811 edges, 410 markings/sec, 100 secs
lola: 44890 markings, 66421 edges, 407 markings/sec, 105 secs
lola: 46921 markings, 69027 edges, 406 markings/sec, 110 secs
lola: 48952 markings, 71642 edges, 406 markings/sec, 115 secs
lola: 50979 markings, 74243 edges, 405 markings/sec, 120 secs
lola: 53004 markings, 76846 edges, 405 markings/sec, 125 secs
lola: 55030 markings, 79456 edges, 405 markings/sec, 130 secs
lola: 57067 markings, 82062 edges, 407 markings/sec, 135 secs
lola: 59095 markings, 84662 edges, 406 markings/sec, 140 secs
lola: 61121 markings, 87260 edges, 405 markings/sec, 145 secs
lola: 63100 markings, 96116 edges, 396 markings/sec, 150 secs
lola: 65130 markings, 99970 edges, 406 markings/sec, 155 secs
lola: 67202 markings, 102624 edges, 414 markings/sec, 160 secs
lola: 69252 markings, 105244 edges, 410 markings/sec, 165 secs
lola: 71303 markings, 107867 edges, 410 markings/sec, 170 secs
lola: 73356 markings, 110490 edges, 411 markings/sec, 175 secs
lola: 75398 markings, 113111 edges, 408 markings/sec, 180 secs
lola: 77438 markings, 115732 edges, 408 markings/sec, 185 secs
lola: 79477 markings, 118352 edges, 408 markings/sec, 190 secs
lola: 81509 markings, 120970 edges, 406 markings/sec, 195 secs
lola: 83540 markings, 123578 edges, 406 markings/sec, 200 secs
lola: 85580 markings, 126190 edges, 408 markings/sec, 205 secs
lola: 87611 markings, 128797 edges, 406 markings/sec, 210 secs
lola: 89650 markings, 131405 edges, 408 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(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p11 + p10 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1806 markings, 6507 edges, 361 markings/sec, 0 secs
lola: 3576 markings, 11782 edges, 354 markings/sec, 5 secs
lola: 5325 markings, 16127 edges, 350 markings/sec, 10 secs
lola: 7113 markings, 22673 edges, 358 markings/sec, 15 secs
lola: 8822 markings, 25240 edges, 342 markings/sec, 20 secs
lola: 10516 markings, 27107 edges, 339 markings/sec, 25 secs
lola: 12237 markings, 29322 edges, 344 markings/sec, 30 secs
lola: 13954 markings, 31214 edges, 343 markings/sec, 35 secs
lola: 15673 markings, 33439 edges, 344 markings/sec, 40 secs
lola: 17445 markings, 35421 edges, 354 markings/sec, 45 secs
lola: 19222 markings, 37729 edges, 355 markings/sec, 50 secs
lola: 20998 markings, 39717 edges, 355 markings/sec, 55 secs
lola: 22770 markings, 42021 edges, 354 markings/sec, 60 secs
lola: 24523 markings, 43983 edges, 351 markings/sec, 65 secs
lola: 26295 markings, 46288 edges, 354 markings/sec, 70 secs
lola: 28063 markings, 48266 edges, 354 markings/sec, 75 secs
lola: 29842 markings, 50578 edges, 356 markings/sec, 80 secs
lola: 31614 markings, 52563 edges, 354 markings/sec, 85 secs
lola: 33392 markings, 54874 edges, 356 markings/sec, 90 secs
lola: 35164 markings, 57180 edges, 354 markings/sec, 95 secs
lola: 36943 markings, 59171 edges, 356 markings/sec, 100 secs
lola: 38718 markings, 61480 edges, 355 markings/sec, 105 secs
lola: 40492 markings, 63467 edges, 355 markings/sec, 110 secs
lola: 42271 markings, 65781 edges, 356 markings/sec, 115 secs
lola: 44048 markings, 67770 edges, 355 markings/sec, 120 secs
lola: 45828 markings, 70086 edges, 356 markings/sec, 125 secs
lola: 47600 markings, 72390 edges, 354 markings/sec, 130 secs
lola: 49383 markings, 74389 edges, 357 markings/sec, 135 secs
lola: 51158 markings, 76702 edges, 355 markings/sec, 140 secs
lola: 52938 markings, 78693 edges, 356 markings/sec, 145 secs
lola: 54714 markings, 81008 edges, 355 markings/sec, 150 secs
lola: 56491 markings, 82995 edges, 355 markings/sec, 155 secs
lola: 58273 markings, 85315 edges, 356 markings/sec, 160 secs
lola: 60045 markings, 87626 edges, 354 markings/sec, 165 secs
lola: 61825 markings, 89619 edges, 356 markings/sec, 170 secs
lola: 63602 markings, 91934 edges, 355 markings/sec, 175 secs
lola: 65379 markings, 93923 edges, 355 markings/sec, 180 secs
lola: 67157 markings, 96241 edges, 356 markings/sec, 185 secs
lola: 68931 markings, 98227 edges, 355 markings/sec, 190 secs
lola: 70711 markings, 100546 edges, 356 markings/sec, 195 secs
lola: 72484 markings, 102860 edges, 355 markings/sec, 200 secs
lola: 74263 markings, 104850 edges, 356 markings/sec, 205 secs
lola: 76040 markings, 107170 edges, 355 markings/sec, 210 secs
lola: 77813 markings, 109153 edges, 355 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(p1352)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1804 markings, 6496 edges, 361 markings/sec, 0 secs
lola: 3626 markings, 11836 edges, 364 markings/sec, 5 secs
lola: 5415 markings, 16461 edges, 358 markings/sec, 10 secs
lola: 7134 markings, 22753 edges, 344 markings/sec, 15 secs
lola: 8942 markings, 25320 edges, 362 markings/sec, 20 secs
lola: 10758 markings, 27259 edges, 363 markings/sec, 25 secs
lola: 12498 markings, 29569 edges, 348 markings/sec, 30 secs
lola: 14311 markings, 31507 edges, 363 markings/sec, 35 secs
lola: 16060 markings, 33838 edges, 350 markings/sec, 40 secs
lola: 17892 markings, 35819 edges, 366 markings/sec, 45 secs
lola: 19644 markings, 38159 edges, 350 markings/sec, 50 secs
lola: 21468 markings, 40377 edges, 365 markings/sec, 55 secs
lola: 23224 markings, 42476 edges, 351 markings/sec, 60 secs
lola: 24995 markings, 44763 edges, 354 markings/sec, 65 secs
lola: 26796 markings, 46786 edges, 360 markings/sec, 70 secs
lola: 28538 markings, 49113 edges, 348 markings/sec, 75 secs
lola: 30369 markings, 51096 edges, 366 markings/sec, 80 secs
lola: 32117 markings, 53427 edges, 350 markings/sec, 85 secs
lola: 33942 markings, 55404 edges, 365 markings/sec, 90 secs
lola: 35689 markings, 57734 edges, 349 markings/sec, 95 secs
lola: 37514 markings, 59712 edges, 365 markings/sec, 100 secs
lola: 39265 markings, 62046 edges, 350 markings/sec, 105 secs
lola: 41058 markings, 64308 edges, 359 markings/sec, 110 secs
lola: 42843 markings, 66357 edges, 357 markings/sec, 115 secs
lola: 44588 markings, 68689 edges, 349 markings/sec, 120 secs
lola: 46418 markings, 70672 edges, 366 markings/sec, 125 secs
lola: 48165 markings, 73000 edges, 349 markings/sec, 130 secs
lola: 49994 markings, 74984 edges, 366 markings/sec, 135 secs
lola: 51748 markings, 77317 edges, 351 markings/sec, 140 secs
lola: 53549 markings, 79564 edges, 360 markings/sec, 145 secs
lola: 55324 markings, 81626 edges, 355 markings/sec, 150 secs
lola: 57072 markings, 83960 edges, 350 markings/sec, 155 secs
lola: 59007 markings, 86058 edges, 387 markings/sec, 160 secs
lola: 60861 markings, 88499 edges, 371 markings/sec, 165 secs
lola: 62688 markings, 90757 edges, 365 markings/sec, 170 secs
lola: 64457 markings, 92828 edges, 354 markings/sec, 175 secs
lola: 66204 markings, 95160 edges, 349 markings/sec, 180 secs
lola: 68033 markings, 97146 edges, 366 markings/sec, 185 secs
lola: 69789 markings, 99477 edges, 351 markings/sec, 190 secs
lola: 71615 markings, 101460 edges, 365 markings/sec, 195 secs
lola: 73371 markings, 103792 edges, 351 markings/sec, 200 secs
lola: 75121 markings, 106125 edges, 350 markings/sec, 205 secs
lola: 76952 markings, 108114 edges, 366 markings/sec, 210 secs
lola: 78711 markings, 110447 edges, 352 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(p103)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1802 markings, 6485 edges, 360 markings/sec, 0 secs
lola: 3505 markings, 11707 edges, 341 markings/sec, 5 secs
lola: 5106 markings, 15323 edges, 320 markings/sec, 10 secs
lola: 6915 markings, 21945 edges, 362 markings/sec, 15 secs
lola: 8431 markings, 24748 edges, 303 markings/sec, 20 secs
lola: 9996 markings, 26540 edges, 313 markings/sec, 25 secs
lola: 11677 markings, 28604 edges, 336 markings/sec, 30 secs
lola: 13107 markings, 30096 edges, 286 markings/sec, 35 secs
lola: 14855 markings, 32192 edges, 350 markings/sec, 40 secs
lola: 16405 markings, 34030 edges, 310 markings/sec, 45 secs
lola: 18134 markings, 36081 edges, 346 markings/sec, 50 secs
lola: 19698 markings, 37957 edges, 313 markings/sec, 55 secs
lola: 21435 markings, 40015 edges, 347 markings/sec, 60 secs
lola: 23005 markings, 41900 edges, 314 markings/sec, 65 secs
lola: 24743 markings, 43960 edges, 348 markings/sec, 70 secs
lola: 26307 markings, 45835 edges, 313 markings/sec, 75 secs
lola: 28049 markings, 47914 edges, 348 markings/sec, 80 secs
lola: 29611 markings, 49774 edges, 312 markings/sec, 85 secs
lola: 31363 markings, 51901 edges, 350 markings/sec, 90 secs
lola: 32912 markings, 53791 edges, 310 markings/sec, 95 secs
lola: 34676 markings, 55886 edges, 353 markings/sec, 100 secs
lola: 36224 markings, 57746 edges, 310 markings/sec, 105 secs
lola: 37996 markings, 59903 edges, 354 markings/sec, 110 secs
lola: 39534 markings, 61696 edges, 308 markings/sec, 115 secs
lola: 41306 markings, 63896 edges, 354 markings/sec, 120 secs
lola: 42847 markings, 65652 edges, 308 markings/sec, 125 secs
lola: 44598 markings, 67817 edges, 350 markings/sec, 130 secs
lola: 46164 markings, 69613 edges, 313 markings/sec, 135 secs
lola: 47886 markings, 71733 edges, 344 markings/sec, 140 secs
lola: 49478 markings, 73572 edges, 318 markings/sec, 145 secs
lola: 51172 markings, 75646 edges, 339 markings/sec, 150 secs
lola: 52796 markings, 77536 edges, 325 markings/sec, 155 secs
lola: 54456 markings, 79557 edges, 332 markings/sec, 160 secs
lola: 56114 markings, 81503 edges, 332 markings/sec, 165 secs
lola: 57738 markings, 83471 edges, 325 markings/sec, 170 secs
lola: 59432 markings, 85467 edges, 339 markings/sec, 175 secs
lola: 61018 markings, 87377 edges, 317 markings/sec, 180 secs
lola: 62761 markings, 89512 edges, 349 markings/sec, 185 secs
lola: 64311 markings, 91396 edges, 310 markings/sec, 190 secs
lola: 66056 markings, 93559 edges, 349 markings/sec, 195 secs
lola: 67597 markings, 95330 edges, 308 markings/sec, 200 secs
lola: 69275 markings, 97397 edges, 336 markings/sec, 205 secs
lola: 70875 markings, 99254 edges, 320 markings/sec, 210 secs
lola: 72552 markings, 101296 edges, 335 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1612 + p1613 + p1614 + p1615 + p1616 + p1617 + p1618 + p1619 + p1620 + p1621 + p1622 + p1623 + p1624 + p1625 + p1626 + p1627 + p1628 + p1629 + p1630 + p1631 + p1632 + p1633 + p1634 + p1635 + p1636 + p1637 + p1638 + p1639 + p1640 + p1641 + p1642 + p1643 + p1644 + p1645 + p1646 + p1647 + p1648 + p1649 + p1650 + p1651 + p1652 + p1653 + p1654 + p1655 + p1656 + p1657 + p1658 + p1659 + p1660 + p166... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1768 markings, 6366 edges, 354 markings/sec, 0 secs
lola: 3425 markings, 11621 edges, 331 markings/sec, 5 secs
lola: 4871 markings, 14480 edges, 289 markings/sec, 10 secs
lola: 6669 markings, 21036 edges, 360 markings/sec, 15 secs
lola: 8165 markings, 24580 edges, 299 markings/sec, 20 secs
lola: 9461 markings, 26106 edges, 259 markings/sec, 25 secs
lola: 10756 markings, 27874 edges, 259 markings/sec, 30 secs
lola: 12056 markings, 29766 edges, 260 markings/sec, 35 secs
lola: 13351 markings, 31291 edges, 259 markings/sec, 40 secs
lola: 14644 markings, 33031 edges, 259 markings/sec, 45 secs
lola: 15945 markings, 34956 edges, 260 markings/sec, 50 secs
lola: 17239 markings, 36560 edges, 259 markings/sec, 55 secs
lola: 18532 markings, 38332 edges, 259 markings/sec, 60 secs
lola: 19832 markings, 40251 edges, 260 markings/sec, 65 secs
lola: 21126 markings, 41851 edges, 259 markings/sec, 70 secs
lola: 22418 markings, 43630 edges, 258 markings/sec, 75 secs
lola: 23716 markings, 45541 edges, 260 markings/sec, 80 secs
lola: 25009 markings, 47307 edges, 259 markings/sec, 85 secs
lola: 26307 markings, 48929 edges, 260 markings/sec, 90 secs
lola: 27608 markings, 50842 edges, 260 markings/sec, 95 secs
lola: 28915 markings, 52628 edges, 261 markings/sec, 100 secs
lola: 30223 markings, 54489 edges, 262 markings/sec, 105 secs
lola: 31530 markings, 56176 edges, 261 markings/sec, 110 secs
lola: 32834 markings, 57966 edges, 261 markings/sec, 115 secs
lola: 34143 markings, 59893 edges, 262 markings/sec, 120 secs
lola: 35446 markings, 61506 edges, 261 markings/sec, 125 secs
lola: 36749 markings, 63299 edges, 261 markings/sec, 130 secs
lola: 38057 markings, 65217 edges, 262 markings/sec, 135 secs
lola: 39362 markings, 67003 edges, 261 markings/sec, 140 secs
lola: 40667 markings, 68742 edges, 261 markings/sec, 145 secs
lola: 41973 markings, 70545 edges, 261 markings/sec, 150 secs
lola: 43277 markings, 72335 edges, 261 markings/sec, 155 secs
lola: 44585 markings, 74260 edges, 262 markings/sec, 160 secs
lola: 45889 markings, 75874 edges, 261 markings/sec, 165 secs
lola: 47194 markings, 77671 edges, 261 markings/sec, 170 secs
lola: 48503 markings, 79588 edges, 262 markings/sec, 175 secs
lola: 49805 markings, 81370 edges, 260 markings/sec, 180 secs
lola: 51106 markings, 83122 edges, 260 markings/sec, 185 secs
lola: 52410 markings, 84901 edges, 261 markings/sec, 190 secs
lola: 53711 markings, 86690 edges, 260 markings/sec, 195 secs
lola: 55016 markings, 88605 edges, 261 markings/sec, 200 secs
lola: 56317 markings, 90384 edges, 260 markings/sec, 205 secs
lola: 57617 markings, 92009 edges, 260 markings/sec, 210 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(p1264)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1779 markings, 6403 edges, 356 markings/sec, 0 secs
lola: 3436 markings, 11633 edges, 331 markings/sec, 5 secs
lola: 4890 markings, 14549 edges, 291 markings/sec, 10 secs
lola: 6687 markings, 21104 edges, 359 markings/sec, 15 secs
lola: 8175 markings, 24590 edges, 298 markings/sec, 20 secs
lola: 9469 markings, 26114 edges, 259 markings/sec, 25 secs
lola: 10774 markings, 27896 edges, 261 markings/sec, 30 secs
lola: 12089 markings, 29804 edges, 263 markings/sec, 35 secs
lola: 13398 markings, 31348 edges, 262 markings/sec, 40 secs
lola: 14707 markings, 33109 edges, 262 markings/sec, 45 secs
lola: 16021 markings, 35052 edges, 263 markings/sec, 50 secs
lola: 17330 markings, 36671 edges, 262 markings/sec, 55 secs
lola: 18640 markings, 38469 edges, 262 markings/sec, 60 secs
lola: 19953 markings, 40401 edges, 263 markings/sec, 65 secs
lola: 21262 markings, 42184 edges, 262 markings/sec, 70 secs
lola: 22571 markings, 43819 edges, 262 markings/sec, 75 secs
lola: 23884 markings, 45749 edges, 263 markings/sec, 80 secs
lola: 25194 markings, 47541 edges, 262 markings/sec, 85 secs
lola: 26505 markings, 49310 edges, 262 markings/sec, 90 secs
lola: 27816 markings, 51100 edges, 262 markings/sec, 95 secs
lola: 29125 markings, 52892 edges, 262 markings/sec, 100 secs
lola: 30438 markings, 54824 edges, 263 markings/sec, 105 secs
lola: 31748 markings, 56449 edges, 262 markings/sec, 110 secs
lola: 33058 markings, 58249 edges, 262 markings/sec, 115 secs
lola: 34356 markings, 60156 edges, 260 markings/sec, 120 secs
lola: 35663 markings, 61941 edges, 261 markings/sec, 125 secs
lola: 36970 markings, 63575 edges, 261 markings/sec, 130 secs
lola: 38282 markings, 65497 edges, 262 markings/sec, 135 secs
lola: 39592 markings, 67293 edges, 262 markings/sec, 140 secs
lola: 40905 markings, 69219 edges, 263 markings/sec, 145 secs
lola: 42214 markings, 70846 edges, 262 markings/sec, 150 secs
lola: 43523 markings, 72641 edges, 262 markings/sec, 155 secs
lola: 44836 markings, 74571 edges, 263 markings/sec, 160 secs
lola: 46146 markings, 76358 edges, 262 markings/sec, 165 secs
lola: 47455 markings, 77997 edges, 262 markings/sec, 170 secs
lola: 48768 markings, 79915 edges, 263 markings/sec, 175 secs
lola: 50076 markings, 81708 edges, 262 markings/sec, 180 secs
lola: 51389 markings, 83640 edges, 263 markings/sec, 185 secs
lola: 52698 markings, 85259 edges, 262 markings/sec, 190 secs
lola: 54007 markings, 87061 edges, 262 markings/sec, 195 secs
lola: 55313 markings, 88972 edges, 261 markings/sec, 200 secs
lola: 56620 markings, 90762 edges, 261 markings/sec, 205 secs
lola: 57927 markings, 92521 edges, 261 markings/sec, 210 secs
lola: 59236 markings, 94309 edges, 262 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(p442)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1783 markings, 6416 edges, 357 markings/sec, 0 secs
lola: 3486 markings, 11686 edges, 341 markings/sec, 5 secs
lola: 5073 markings, 15223 edges, 317 markings/sec, 10 secs
lola: 6867 markings, 21768 edges, 359 markings/sec, 15 secs
lola: 8289 markings, 24601 edges, 284 markings/sec, 20 secs
lola: 9793 markings, 26309 edges, 301 markings/sec, 25 secs
lola: 11460 markings, 28378 edges, 333 markings/sec, 30 secs
lola: 12851 markings, 29832 edges, 278 markings/sec, 35 secs
lola: 14569 markings, 31846 edges, 344 markings/sec, 40 secs
lola: 16091 markings, 33700 edges, 304 markings/sec, 45 secs
lola: 17771 markings, 35667 edges, 336 markings/sec, 50 secs
lola: 19361 markings, 37602 edges, 318 markings/sec, 55 secs
lola: 21059 markings, 39585 edges, 340 markings/sec, 60 secs
lola: 22661 markings, 41538 edges, 320 markings/sec, 65 secs
lola: 24340 markings, 43500 edges, 336 markings/sec, 70 secs
lola: 25846 markings, 45348 edges, 301 markings/sec, 75 secs
lola: 27368 markings, 47124 edges, 304 markings/sec, 80 secs
lola: 28938 markings, 49061 edges, 314 markings/sec, 85 secs
lola: 30486 markings, 50854 edges, 310 markings/sec, 90 secs
lola: 32079 markings, 52823 edges, 319 markings/sec, 95 secs
lola: 33599 markings, 54577 edges, 304 markings/sec, 100 secs
lola: 35182 markings, 56546 edges, 317 markings/sec, 105 secs
lola: 36635 markings, 58215 edges, 291 markings/sec, 110 secs
lola: 38278 markings, 60260 edges, 329 markings/sec, 115 secs
lola: 39754 markings, 61946 edges, 295 markings/sec, 120 secs
lola: 41406 markings, 64008 edges, 330 markings/sec, 125 secs
lola: 42865 markings, 65673 edges, 292 markings/sec, 130 secs
lola: 44523 markings, 67742 edges, 332 markings/sec, 135 secs
lola: 45975 markings, 69397 edges, 290 markings/sec, 140 secs
lola: 47642 markings, 71480 edges, 333 markings/sec, 145 secs
lola: 49087 markings, 73126 edges, 289 markings/sec, 150 secs
lola: 50754 markings, 75208 edges, 333 markings/sec, 155 secs
lola: 52195 markings, 76848 edges, 288 markings/sec, 160 secs
lola: 53866 markings, 78937 edges, 334 markings/sec, 165 secs
lola: 55314 markings, 80588 edges, 290 markings/sec, 170 secs
lola: 56975 markings, 82660 edges, 332 markings/sec, 175 secs
lola: 58433 markings, 84327 edges, 292 markings/sec, 180 secs
lola: 60084 markings, 86385 edges, 330 markings/sec, 185 secs
lola: 61555 markings, 88071 edges, 294 markings/sec, 190 secs
lola: 63186 markings, 90100 edges, 326 markings/sec, 195 secs
lola: 64669 markings, 91805 edges, 297 markings/sec, 200 secs
lola: 66285 markings, 93812 edges, 323 markings/sec, 205 secs
lola: 67787 markings, 95547 edges, 300 markings/sec, 210 secs
lola: 69382 markings, 97521 edges, 319 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(p1269)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1727 markings, 6210 edges, 345 markings/sec, 0 secs
lola: 3437 markings, 11634 edges, 342 markings/sec, 5 secs
lola: 5166 markings, 15542 edges, 346 markings/sec, 10 secs
lola: 6927 markings, 21992 edges, 352 markings/sec, 15 secs
lola: 8577 markings, 24902 edges, 330 markings/sec, 20 secs
lola: 10468 markings, 27080 edges, 378 markings/sec, 25 secs
lola: 12171 markings, 29121 edges, 341 markings/sec, 30 secs
lola: 13946 markings, 31132 edges, 355 markings/sec, 35 secs
lola: 15861 markings, 33455 edges, 383 markings/sec, 40 secs
lola: 17942 markings, 35862 edges, 416 markings/sec, 45 secs
lola: 19728 markings, 37999 edges, 357 markings/sec, 50 secs
lola: 21751 markings, 40510 edges, 405 markings/sec, 55 secs
lola: 23608 markings, 42663 edges, 371 markings/sec, 60 secs
lola: 25533 markings, 45015 edges, 385 markings/sec, 65 secs
lola: 27540 markings, 47320 edges, 401 markings/sec, 70 secs
lola: 29473 markings, 49632 edges, 387 markings/sec, 75 secs
lola: 31595 markings, 52271 edges, 424 markings/sec, 80 secs
lola: 33581 markings, 54556 edges, 397 markings/sec, 85 secs
lola: 35580 markings, 56971 edges, 400 markings/sec, 90 secs
lola: 37694 markings, 59426 edges, 423 markings/sec, 95 secs
lola: 39627 markings, 61801 edges, 387 markings/sec, 100 secs
lola: 41680 markings, 64300 edges, 411 markings/sec, 105 secs
lola: 43748 markings, 66682 edges, 414 markings/sec, 110 secs
lola: 45685 markings, 69065 edges, 387 markings/sec, 115 secs
lola: 47771 markings, 71618 edges, 417 markings/sec, 120 secs
lola: 49806 markings, 73948 edges, 407 markings/sec, 125 secs
lola: 51748 markings, 76268 edges, 388 markings/sec, 130 secs
lola: 53860 markings, 78930 edges, 422 markings/sec, 135 secs
lola: 55874 markings, 81228 edges, 403 markings/sec, 140 secs
lola: 57831 markings, 83573 edges, 391 markings/sec, 145 secs
lola: 59939 markings, 86208 edges, 422 markings/sec, 150 secs
lola: 61942 markings, 88512 edges, 401 markings/sec, 155 secs
lola: 63910 markings, 90872 edges, 394 markings/sec, 160 secs
lola: 66014 markings, 93508 edges, 421 markings/sec, 165 secs
lola: 68023 markings, 95816 edges, 402 markings/sec, 170 secs
lola: 69977 markings, 98155 edges, 391 markings/sec, 175 secs
lola: 72080 markings, 100805 edges, 421 markings/sec, 180 secs
lola: 74106 markings, 103126 edges, 405 markings/sec, 185 secs
lola: 76051 markings, 105502 edges, 389 markings/sec, 190 secs
lola: 78135 markings, 108072 edges, 417 markings/sec, 195 secs
lola: 80191 markings, 110442 edges, 411 markings/sec, 200 secs
lola: 82147 markings, 112859 edges, 391 markings/sec, 205 secs
lola: 84182 markings, 115328 edges, 407 markings/sec, 210 secs
lola: 86271 markings, 117792 edges, 418 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(p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 3126 markings, 11302 edges, 625 markings/sec, 0 secs
lola: 5531 markings, 16883 edges, 481 markings/sec, 5 secs
lola: 8187 markings, 24542 edges, 531 markings/sec, 10 secs
lola: 10116 markings, 26666 edges, 386 markings/sec, 15 secs
lola: 12040 markings, 29105 edges, 385 markings/sec, 20 secs
lola: 13973 markings, 31235 edges, 387 markings/sec, 25 secs
lola: 15903 markings, 33695 edges, 386 markings/sec, 30 secs
lola: 17852 markings, 35875 edges, 390 markings/sec, 35 secs
lola: 19797 markings, 38374 edges, 389 markings/sec, 40 secs
lola: 21747 markings, 40555 edges, 390 markings/sec, 45 secs
lola: 23707 markings, 43071 edges, 392 markings/sec, 50 secs
lola: 25653 markings, 45569 edges, 389 markings/sec, 55 secs
lola: 27610 markings, 47758 edges, 391 markings/sec, 60 secs
lola: 29563 markings, 50267 edges, 391 markings/sec, 65 secs
lola: 31516 markings, 52452 edges, 391 markings/sec, 70 secs
lola: 33471 markings, 54963 edges, 391 markings/sec, 75 secs
lola: 35425 markings, 57473 edges, 391 markings/sec, 80 secs
lola: 37382 markings, 59663 edges, 391 markings/sec, 85 secs
lola: 39339 markings, 62176 edges, 391 markings/sec, 90 secs
lola: 41288 markings, 64565 edges, 390 markings/sec, 95 secs
lola: 43246 markings, 66873 edges, 392 markings/sec, 100 secs
lola: 45199 markings, 69382 edges, 391 markings/sec, 105 secs
lola: 47153 markings, 71569 edges, 391 markings/sec, 110 secs
lola: 49111 markings, 74085 edges, 392 markings/sec, 115 secs
lola: 51058 markings, 76590 edges, 389 markings/sec, 120 secs
lola: 53012 markings, 78776 edges, 391 markings/sec, 125 secs
lola: 54960 markings, 81282 edges, 390 markings/sec, 130 secs
lola: 56903 markings, 83784 edges, 389 markings/sec, 135 secs
lola: 58859 markings, 85972 edges, 391 markings/sec, 140 secs
lola: 60808 markings, 88480 edges, 390 markings/sec, 145 secs
lola: 62758 markings, 90662 edges, 390 markings/sec, 150 secs
lola: 64712 markings, 93176 edges, 391 markings/sec, 155 secs
lola: 66657 markings, 95683 edges, 389 markings/sec, 160 secs
lola: 68608 markings, 97865 edges, 390 markings/sec, 165 secs
lola: 70561 markings, 100378 edges, 391 markings/sec, 170 secs
lola: 72505 markings, 102885 edges, 389 markings/sec, 175 secs
lola: 74463 markings, 105075 edges, 392 markings/sec, 180 secs
lola: 76413 markings, 107586 edges, 390 markings/sec, 185 secs
lola: 78363 markings, 110099 edges, 390 markings/sec, 190 secs
lola: 80240 markings, 112199 edges, 375 markings/sec, 195 secs
lola: 82196 markings, 114718 edges, 391 markings/sec, 200 secs
lola: 84158 markings, 117245 edges, 392 markings/sec, 205 secs
lola: 86126 markings, 119447 edges, 394 markings/sec, 210 secs
lola: 88077 markings, 121963 edges, 390 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(p1353)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1789 markings, 6439 edges, 358 markings/sec, 0 secs
lola: 3622 markings, 11831 edges, 367 markings/sec, 5 secs
lola: 5292 markings, 16000 edges, 334 markings/sec, 10 secs
lola: 7029 markings, 22361 edges, 347 markings/sec, 15 secs
lola: 8848 markings, 25219 edges, 364 markings/sec, 20 secs
lola: 10700 markings, 27198 edges, 370 markings/sec, 25 secs
lola: 12543 markings, 29617 edges, 369 markings/sec, 30 secs
lola: 14461 markings, 31667 edges, 384 markings/sec, 35 secs
lola: 16318 markings, 34117 edges, 371 markings/sec, 40 secs
lola: 18207 markings, 36436 edges, 378 markings/sec, 45 secs
lola: 20073 markings, 38623 edges, 373 markings/sec, 50 secs
lola: 21805 markings, 40915 edges, 346 markings/sec, 55 secs
lola: 23582 markings, 42866 edges, 355 markings/sec, 60 secs
lola: 25284 markings, 45149 edges, 340 markings/sec, 65 secs
lola: 27073 markings, 47085 edges, 358 markings/sec, 70 secs
lola: 28833 markings, 49432 edges, 352 markings/sec, 75 secs
lola: 30631 markings, 51379 edges, 360 markings/sec, 80 secs
lola: 32339 markings, 53667 edges, 342 markings/sec, 85 secs
lola: 34183 markings, 55664 edges, 369 markings/sec, 90 secs
lola: 35956 markings, 58024 edges, 355 markings/sec, 95 secs
lola: 37788 markings, 60291 edges, 366 markings/sec, 100 secs
lola: 39559 markings, 62364 edges, 354 markings/sec, 105 secs
lola: 41277 markings, 64659 edges, 344 markings/sec, 110 secs
lola: 43086 markings, 66626 edges, 362 markings/sec, 115 secs
lola: 44854 markings, 68977 edges, 354 markings/sec, 120 secs
lola: 46706 markings, 70984 edges, 370 markings/sec, 125 secs
lola: 48469 markings, 73328 edges, 353 markings/sec, 130 secs
lola: 50306 markings, 75321 edges, 367 markings/sec, 135 secs
lola: 52070 markings, 77666 edges, 353 markings/sec, 140 secs
lola: 53828 markings, 80010 edges, 352 markings/sec, 145 secs
lola: 55669 markings, 82007 edges, 368 markings/sec, 150 secs
lola: 57432 markings, 84348 edges, 353 markings/sec, 155 secs
lola: 59270 markings, 86343 edges, 368 markings/sec, 160 secs
lola: 61029 markings, 88681 edges, 352 markings/sec, 165 secs
lola: 62820 markings, 90967 edges, 358 markings/sec, 170 secs
lola: 64621 markings, 93005 edges, 360 markings/sec, 175 secs
lola: 66377 markings, 95346 edges, 351 markings/sec, 180 secs
lola: 68211 markings, 97339 edges, 367 markings/sec, 185 secs
lola: 69970 markings, 99673 edges, 352 markings/sec, 190 secs
lola: 71773 markings, 101946 edges, 361 markings/sec, 195 secs
lola: 73560 markings, 103996 edges, 357 markings/sec, 200 secs
lola: 75318 markings, 106338 edges, 352 markings/sec, 205 secs
lola: 77152 markings, 108331 edges, 367 markings/sec, 210 secs
lola: 78918 markings, 110671 edges, 353 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1439)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 6008 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: 1803 markings, 6495 edges, 361 markings/sec, 0 secs
lola: 3624 markings, 11834 edges, 364 markings/sec, 5 secs
lola: 5466 markings, 16648 edges, 368 markings/sec, 10 secs
lola: 7275 markings, 23275 edges, 362 markings/sec, 15 secs
lola: 9167 markings, 25622 edges, 378 markings/sec, 20 secs
lola: 11054 markings, 27699 edges, 377 markings/sec, 25 secs
lola: 12949 markings, 30107 edges, 379 markings/sec, 30 secs
lola: 14838 markings, 32188 edges, 378 markings/sec, 35 secs
lola: 16739 markings, 34630 edges, 380 markings/sec, 40 secs
lola: 18634 markings, 37071 edges, 379 markings/sec, 45 secs
lola: 20539 markings, 39203 edges, 381 markings/sec, 50 secs
lola: 22437 markings, 41648 edges, 380 markings/sec, 55 secs
lola: 24335 markings, 43774 edges, 380 markings/sec, 60 secs
lola: 26239 markings, 46225 edges, 381 markings/sec, 65 secs
lola: 28147 markings, 48360 edges, 382 markings/sec, 70 secs
lola: 30033 markings, 50792 edges, 377 markings/sec, 75 secs
lola: 31928 markings, 53235 edges, 379 markings/sec, 80 secs
lola: 33827 markings, 55361 edges, 380 markings/sec, 85 secs
lola: 35723 markings, 57806 edges, 379 markings/sec, 90 secs
lola: 37623 markings, 59932 edges, 380 markings/sec, 95 secs
lola: 39521 markings, 62379 edges, 380 markings/sec, 100 secs
lola: 41413 markings, 64821 edges, 378 markings/sec, 105 secs
lola: 43312 markings, 66947 edges, 380 markings/sec, 110 secs
lola: 45207 markings, 69392 edges, 379 markings/sec, 115 secs
lola: 47107 markings, 71517 edges, 380 markings/sec, 120 secs
lola: 49006 markings, 73968 edges, 380 markings/sec, 125 secs
lola: 50900 markings, 76412 edges, 379 markings/sec, 130 secs
lola: 52803 markings, 78542 edges, 381 markings/sec, 135 secs
lola: 54698 markings, 80989 edges, 379 markings/sec, 140 secs
lola: 56595 markings, 83112 edges, 379 markings/sec, 145 secs
lola: 58493 markings, 85562 edges, 380 markings/sec, 150 secs
lola: 60385 markings, 88007 edges, 378 markings/sec, 155 secs
lola: 62283 markings, 90132 edges, 380 markings/sec, 160 secs
lola: 64179 markings, 92581 edges, 379 markings/sec, 165 secs
lola: 66070 markings, 95026 edges, 378 markings/sec, 170 secs
lola: 67971 markings, 97152 edges, 380 markings/sec, 175 secs
lola: 69869 markings, 99604 edges, 380 markings/sec, 180 secs
lola: 71761 markings, 101721 edges, 378 markings/sec, 185 secs
lola: 73658 markings, 104174 edges, 379 markings/sec, 190 secs
lola: 75552 markings, 106622 edges, 379 markings/sec, 195 secs
lola: 77448 markings, 108745 edges, 379 markings/sec, 200 secs
lola: 79344 markings, 111197 edges, 379 markings/sec, 205 secs
lola: 81237 markings, 113646 edges, 379 markings/sec, 210 secs
lola: 83131 markings, 115765 edges, 379 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBNT-COL-S10J80-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S10J80-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496312938114

--------------------
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_PolyORBNT-COL-S10J80"
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_PolyORBNT-COL-S10J80.tgz
mv S_PolyORBNT-COL-S10J80 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_PolyORBNT-COL-S10J80, 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 r138-smll-149479231500083"
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 ;