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_BridgeAndVehicles-COL-V50P50N20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074400362
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496342661447


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_BridgeAndVehicles-COL-V50P50N20: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_BridgeAndVehicles-COL-V50P50N20: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_BridgeAndVehicles-COL-V50P50N20 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2486/65536 symbol table entries, 22 collisions
lola: preprocessing...
lola: finding significant places
lola: 138 places, 2348 transitions, 131 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2693 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V50P50N20-UpperBounds.task
lola: MAX(p1) : MAX(p82 + p83) : MAX(p80) : MAX(p54) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p98 + p97 + p96 + p95 + p94 + p93 + p87 + p88 + p89 + p90 + p91 + p92 + p99) : MAX(p56 + p57) : MAX(p82 + p83) : MAX(p79) : MAX(p79) : MAX(p54) : MAX(p54) : MAX(p0) : MAX(p79) : MAX(p84 + p85) : MAX(p54) : MAX(p54)
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(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 76340 markings, 127194 edges, 15268 markings/sec, 0 secs
lola: 154818 markings, 258829 edges, 15696 markings/sec, 5 secs
lola: 236736 markings, 396475 edges, 16384 markings/sec, 10 secs
lola: 316672 markings, 530059 edges, 15987 markings/sec, 15 secs
lola: 396756 markings, 663747 edges, 16017 markings/sec, 20 secs
lola: 475070 markings, 793532 edges, 15663 markings/sec, 25 secs
lola: 555110 markings, 927292 edges, 16008 markings/sec, 30 secs
lola: 629554 markings, 1050694 edges, 14889 markings/sec, 35 secs
lola: 694396 markings, 1158480 edges, 12968 markings/sec, 40 secs
lola: 704266 markings, 1175801 edges, 1974 markings/sec, 45 secs
lola: 714632 markings, 1193543 edges, 2073 markings/sec, 50 secs
lola: 725048 markings, 1211516 edges, 2083 markings/sec, 55 secs
lola: 736874 markings, 1231724 edges, 2365 markings/sec, 60 secs
lola: 746852 markings, 1248766 edges, 1996 markings/sec, 65 secs
lola: 757210 markings, 1266698 edges, 2072 markings/sec, 70 secs
lola: 767776 markings, 1284885 edges, 2113 markings/sec, 75 secs
lola: 779302 markings, 1304960 edges, 2305 markings/sec, 80 secs
lola: 789346 markings, 1321871 edges, 2009 markings/sec, 85 secs
lola: 799180 markings, 1338759 edges, 1967 markings/sec, 90 secs
lola: 808872 markings, 1355372 edges, 1938 markings/sec, 95 secs
lola: 820656 markings, 1375464 edges, 2357 markings/sec, 100 secs
lola: 831174 markings, 1393614 edges, 2104 markings/sec, 105 secs
lola: 841862 markings, 1411934 edges, 2138 markings/sec, 110 secs
lola: 853730 markings, 1432184 edges, 2374 markings/sec, 115 secs
lola: 863982 markings, 1449968 edges, 2050 markings/sec, 120 secs
lola: 873346 markings, 1466025 edges, 1873 markings/sec, 125 secs
lola: 882708 markings, 1481957 edges, 1872 markings/sec, 130 secs
lola: 893652 markings, 1500893 edges, 2189 markings/sec, 135 secs
lola: 903832 markings, 1518216 edges, 2036 markings/sec, 140 secs
lola: 914238 markings, 1536075 edges, 2081 markings/sec, 145 secs
lola: 926014 markings, 1556003 edges, 2355 markings/sec, 150 secs
lola: 936230 markings, 1573578 edges, 2043 markings/sec, 155 secs
lola: 945856 markings, 1590191 edges, 1925 markings/sec, 160 secs
lola: 956110 markings, 1607609 edges, 2051 markings/sec, 165 secs
lola: 967814 markings, 1627744 edges, 2341 markings/sec, 170 secs
lola: 977962 markings, 1645065 edges, 2030 markings/sec, 175 secs
lola: 988082 markings, 1662382 edges, 2024 markings/sec, 180 secs
lola: 998970 markings, 1680991 edges, 2178 markings/sec, 185 secs
lola: 1008444 markings, 1697149 edges, 1895 markings/sec, 190 secs
lola: 1017770 markings, 1713160 edges, 1865 markings/sec, 195 secs
lola: 1029214 markings, 1732702 edges, 2289 markings/sec, 200 secs
lola: 1039124 markings, 1749518 edges, 1982 markings/sec, 205 secs
lola: 1049172 markings, 1766783 edges, 2010 markings/sec, 210 secs
lola: 1060738 markings, 1786397 edges, 2313 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(p82 + p83)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 24024 markings, 54045 edges, 4805 markings/sec, 0 secs
lola: 47407 markings, 107411 edges, 4677 markings/sec, 5 secs
lola: 70870 markings, 160663 edges, 4693 markings/sec, 10 secs
lola: 95242 markings, 216339 edges, 4874 markings/sec, 15 secs
lola: 119887 markings, 272723 edges, 4929 markings/sec, 20 secs
lola: 143538 markings, 326220 edges, 4730 markings/sec, 25 secs
lola: 165957 markings, 377789 edges, 4484 markings/sec, 30 secs
lola: 188463 markings, 428374 edges, 4501 markings/sec, 35 secs
lola: 210984 markings, 479242 edges, 4504 markings/sec, 40 secs
lola: 235601 markings, 535234 edges, 4923 markings/sec, 45 secs
lola: 260517 markings, 591218 edges, 4983 markings/sec, 50 secs
lola: 283231 markings, 642260 edges, 4543 markings/sec, 55 secs
lola: 292881 markings, 665490 edges, 1930 markings/sec, 60 secs
lola: 302297 markings, 686459 edges, 1883 markings/sec, 65 secs
lola: 321954 markings, 749367 edges, 3931 markings/sec, 70 secs
lola: 336206 markings, 785753 edges, 2850 markings/sec, 75 secs
lola: 344564 markings, 805105 edges, 1672 markings/sec, 80 secs
lola: 361476 markings, 857268 edges, 3382 markings/sec, 85 secs
lola: 377386 markings, 901023 edges, 3182 markings/sec, 90 secs
lola: 384585 markings, 917595 edges, 1440 markings/sec, 95 secs
lola: 397675 markings, 955263 edges, 2618 markings/sec, 100 secs
lola: 416659 markings, 1010941 edges, 3797 markings/sec, 105 secs
lola: 424401 markings, 1029113 edges, 1548 markings/sec, 110 secs
lola: 439880 markings, 1074265 edges, 3096 markings/sec, 115 secs
lola: 457160 markings, 1123043 edges, 3456 markings/sec, 120 secs
lola: 465128 markings, 1141503 edges, 1594 markings/sec, 125 secs
lola: 483111 markings, 1197981 edges, 3597 markings/sec, 130 secs
lola: 496272 markings, 1231031 edges, 2632 markings/sec, 135 secs
lola: 504291 markings, 1249754 edges, 1604 markings/sec, 140 secs
lola: 526044 markings, 1315803 edges, 4351 markings/sec, 145 secs
lola: 534068 markings, 1334897 edges, 1605 markings/sec, 150 secs
lola: 548191 markings, 1376668 edges, 2825 markings/sec, 155 secs
lola: 562942 markings, 1417036 edges, 2950 markings/sec, 160 secs
lola: 569998 markings, 1433408 edges, 1411 markings/sec, 165 secs
lola: 589131 markings, 1491697 edges, 3827 markings/sec, 170 secs
lola: 597591 markings, 1511906 edges, 1692 markings/sec, 175 secs
lola: 611552 markings, 1553671 edges, 2792 markings/sec, 180 secs
lola: 625242 markings, 1589519 edges, 2738 markings/sec, 185 secs
lola: 637227 markings, 1623463 edges, 2397 markings/sec, 190 secs
lola: 651660 markings, 1663398 edges, 2887 markings/sec, 195 secs
lola: 661532 markings, 1689641 edges, 1974 markings/sec, 200 secs
lola: 677648 markings, 1735526 edges, 3223 markings/sec, 205 secs
lola: 689003 markings, 1767121 edges, 2271 markings/sec, 210 secs
lola: 703236 markings, 1806054 edges, 2847 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(p80)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 15938 markings, 36238 edges, 3188 markings/sec, 0 secs
lola: 32162 markings, 77232 edges, 3245 markings/sec, 5 secs
lola: 60220 markings, 160362 edges, 5612 markings/sec, 10 secs
lola: 73143 markings, 191140 edges, 2585 markings/sec, 15 secs
lola: 92435 markings, 244907 edges, 3858 markings/sec, 20 secs
lola: 116197 markings, 314169 edges, 4752 markings/sec, 25 secs
lola: 129129 markings, 344232 edges, 2586 markings/sec, 30 secs
lola: 151930 markings, 416022 edges, 4560 markings/sec, 35 secs
lola: 170030 markings, 461773 edges, 3620 markings/sec, 40 secs
lola: 185843 markings, 503683 edges, 3163 markings/sec, 45 secs
lola: 211280 markings, 578544 edges, 5087 markings/sec, 50 secs
lola: 223790 markings, 607706 edges, 2502 markings/sec, 55 secs
lola: 249421 markings, 687218 edges, 5126 markings/sec, 60 secs
lola: 263191 markings, 719728 edges, 2754 markings/sec, 65 secs
lola: 284598 markings, 783123 edges, 4281 markings/sec, 70 secs
lola: 303151 markings, 832050 edges, 3711 markings/sec, 75 secs
lola: 320293 markings, 879219 edges, 3428 markings/sec, 80 secs
lola: 341655 markings, 939927 edges, 4272 markings/sec, 85 secs
lola: 354583 markings, 972474 edges, 2586 markings/sec, 90 secs
lola: 378307 markings, 1042582 edges, 4745 markings/sec, 95 secs
lola: 389612 markings, 1068732 edges, 2261 markings/sec, 100 secs
lola: 414317 markings, 1142890 edges, 4941 markings/sec, 105 secs
lola: 425940 markings, 1169996 edges, 2325 markings/sec, 110 secs
lola: 450518 markings, 1242944 edges, 4916 markings/sec, 115 secs
lola: 466114 markings, 1284409 edges, 3119 markings/sec, 120 secs
lola: 486787 markings, 1342359 edges, 4135 markings/sec, 125 secs
lola: 506944 markings, 1402922 edges, 4031 markings/sec, 130 secs
lola: 521946 markings, 1437876 edges, 3000 markings/sec, 135 secs
lola: 544915 markings, 1504525 edges, 4594 markings/sec, 140 secs
lola: 562870 markings, 1556630 edges, 3591 markings/sec, 145 secs
lola: 578252 markings, 1594173 edges, 3076 markings/sec, 150 secs
lola: 599708 markings, 1655783 edges, 4291 markings/sec, 155 secs
lola: 620298 markings, 1714174 edges, 4118 markings/sec, 160 secs
lola: 637274 markings, 1761976 edges, 3395 markings/sec, 165 secs
lola: 652183 markings, 1799295 edges, 2982 markings/sec, 170 secs
lola: 670541 markings, 1850785 edges, 3672 markings/sec, 175 secs
lola: 689278 markings, 1903195 edges, 3747 markings/sec, 180 secs
lola: 710667 markings, 1959647 edges, 4278 markings/sec, 185 secs
lola: 726049 markings, 1996674 edges, 3076 markings/sec, 190 secs
lola: 737082 markings, 2021807 edges, 2207 markings/sec, 195 secs
lola: 753659 markings, 2056776 edges, 3315 markings/sec, 200 secs
lola: 773961 markings, 2115793 edges, 4060 markings/sec, 205 secs
lola: 797696 markings, 2180637 edges, 4747 markings/sec, 210 secs
lola: 812266 markings, 2215935 edges, 2914 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(p54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 15184 markings, 29609 edges, 3037 markings/sec, 0 secs
lola: 21900 markings, 46050 edges, 1343 markings/sec, 5 secs
lola: 31812 markings, 66608 edges, 1982 markings/sec, 10 secs
lola: 40206 markings, 85449 edges, 1679 markings/sec, 15 secs
lola: 50605 markings, 109759 edges, 2080 markings/sec, 20 secs
lola: 59147 markings, 130290 edges, 1708 markings/sec, 25 secs
lola: 71068 markings, 159645 edges, 2384 markings/sec, 30 secs
lola: 78108 markings, 176824 edges, 1408 markings/sec, 35 secs
lola: 86501 markings, 196172 edges, 1679 markings/sec, 40 secs
lola: 96167 markings, 218337 edges, 1933 markings/sec, 45 secs
lola: 106355 markings, 242536 edges, 2038 markings/sec, 50 secs
lola: 116477 markings, 263667 edges, 2024 markings/sec, 55 secs
lola: 129827 markings, 292468 edges, 2670 markings/sec, 60 secs
lola: 136662 markings, 309076 edges, 1367 markings/sec, 65 secs
lola: 147941 markings, 335532 edges, 2256 markings/sec, 70 secs
lola: 155693 markings, 353635 edges, 1550 markings/sec, 75 secs
lola: 164425 markings, 373834 edges, 1746 markings/sec, 80 secs
lola: 175020 markings, 398586 edges, 2119 markings/sec, 85 secs
lola: 183954 markings, 419090 edges, 1787 markings/sec, 90 secs
lola: 193992 markings, 443621 edges, 2008 markings/sec, 95 secs
lola: 201397 markings, 460936 edges, 1481 markings/sec, 100 secs
lola: 209238 markings, 479056 edges, 1568 markings/sec, 105 secs
lola: 219560 markings, 503198 edges, 2064 markings/sec, 110 secs
lola: 228850 markings, 524675 edges, 1858 markings/sec, 115 secs
lola: 238421 markings, 547971 edges, 1914 markings/sec, 120 secs
lola: 246317 markings, 566429 edges, 1579 markings/sec, 125 secs
lola: 254502 markings, 585153 edges, 1637 markings/sec, 130 secs
lola: 265013 markings, 609990 edges, 2102 markings/sec, 135 secs
lola: 275906 markings, 635525 edges, 2179 markings/sec, 140 secs
lola: 282978 markings, 652634 edges, 1414 markings/sec, 145 secs
lola: 291948 markings, 673106 edges, 1794 markings/sec, 150 secs
lola: 302058 markings, 696716 edges, 2022 markings/sec, 155 secs
lola: 311205 markings, 717875 edges, 1829 markings/sec, 160 secs
lola: 320728 markings, 741083 edges, 1905 markings/sec, 165 secs
lola: 328144 markings, 758313 edges, 1483 markings/sec, 170 secs
lola: 338789 markings, 782754 edges, 2129 markings/sec, 175 secs
lola: 347415 markings, 803419 edges, 1725 markings/sec, 180 secs
lola: 358539 markings, 829648 edges, 2225 markings/sec, 185 secs
lola: 366198 markings, 847282 edges, 1532 markings/sec, 190 secs
lola: 376345 markings, 870760 edges, 2029 markings/sec, 195 secs
lola: 384212 markings, 889730 edges, 1573 markings/sec, 200 secs
lola: 394250 markings, 913208 edges, 2008 markings/sec, 205 secs
lola: 401356 markings, 929802 edges, 1421 markings/sec, 210 secs
lola: 412169 markings, 954666 edges, 2163 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(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p98 + p97 + p96 + p95 + p94 + p93 + p87 + p88 + p89 + p90 + p91 + p92 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 5 will run for 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p56 + p57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 14142 markings, 31671 edges, 2828 markings/sec, 0 secs
lola: 27114 markings, 63463 edges, 2594 markings/sec, 5 secs
lola: 39342 markings, 93939 edges, 2446 markings/sec, 10 secs
lola: 51692 markings, 125223 edges, 2470 markings/sec, 15 secs
lola: 64048 markings, 157477 edges, 2471 markings/sec, 20 secs
lola: 76940 markings, 190278 edges, 2578 markings/sec, 25 secs
lola: 88902 markings, 222097 edges, 2392 markings/sec, 30 secs
lola: 99990 markings, 250919 edges, 2218 markings/sec, 35 secs
lola: 111240 markings, 279879 edges, 2250 markings/sec, 40 secs
lola: 122914 markings, 311201 edges, 2335 markings/sec, 45 secs
lola: 135476 markings, 344330 edges, 2512 markings/sec, 50 secs
lola: 146749 markings, 373623 edges, 2255 markings/sec, 55 secs
lola: 157864 markings, 403388 edges, 2223 markings/sec, 60 secs
lola: 168762 markings, 433396 edges, 2180 markings/sec, 65 secs
lola: 180029 markings, 462226 edges, 2253 markings/sec, 70 secs
lola: 191192 markings, 491375 edges, 2233 markings/sec, 75 secs
lola: 202291 markings, 521404 edges, 2220 markings/sec, 80 secs
lola: 213289 markings, 551093 edges, 2200 markings/sec, 85 secs
lola: 224488 markings, 581603 edges, 2240 markings/sec, 90 secs
lola: 236242 markings, 611960 edges, 2351 markings/sec, 95 secs
lola: 247832 markings, 643803 edges, 2318 markings/sec, 100 secs
lola: 260261 markings, 678031 edges, 2486 markings/sec, 105 secs
lola: 272135 markings, 711120 edges, 2375 markings/sec, 110 secs
lola: 283925 markings, 743382 edges, 2358 markings/sec, 115 secs
lola: 296796 markings, 776296 edges, 2574 markings/sec, 120 secs
lola: 308871 markings, 809199 edges, 2415 markings/sec, 125 secs
lola: 321013 markings, 843481 edges, 2428 markings/sec, 130 secs
lola: 332530 markings, 875845 edges, 2303 markings/sec, 135 secs
lola: 344214 markings, 908378 edges, 2337 markings/sec, 140 secs
lola: 355334 markings, 939252 edges, 2224 markings/sec, 145 secs
lola: 368378 markings, 972837 edges, 2609 markings/sec, 150 secs
lola: 380429 markings, 1005806 edges, 2410 markings/sec, 155 secs
lola: 391118 markings, 1036059 edges, 2138 markings/sec, 160 secs
lola: 402131 markings, 1067028 edges, 2203 markings/sec, 165 secs
lola: 413822 markings, 1099891 edges, 2338 markings/sec, 170 secs
lola: 425920 markings, 1133454 edges, 2420 markings/sec, 175 secs
lola: 437658 markings, 1167013 edges, 2348 markings/sec, 180 secs
lola: 449936 markings, 1199470 edges, 2456 markings/sec, 185 secs
lola: 462332 markings, 1232509 edges, 2479 markings/sec, 190 secs
lola: 474398 markings, 1266348 edges, 2413 markings/sec, 195 secs
lola: 486734 markings, 1300924 edges, 2467 markings/sec, 200 secs
lola: 498176 markings, 1334178 edges, 2288 markings/sec, 205 secs
lola: 510266 markings, 1367983 edges, 2418 markings/sec, 210 secs
lola: 521664 markings, 1400547 edges, 2280 markings/sec, 215 secs
lola: 533857 markings, 1436849 edges, 2439 markings/sec, 220 secs
lola: 545786 markings, 1469065 edges, 2386 markings/sec, 225 secs
lola: 558855 markings, 1502463 edges, 2614 markings/sec, 230 secs
lola: 570534 markings, 1534951 edges, 2336 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p82 + p83)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 23715 markings, 53327 edges, 4743 markings/sec, 0 secs
lola: 47081 markings, 106688 edges, 4673 markings/sec, 5 secs
lola: 71371 markings, 161747 edges, 4858 markings/sec, 10 secs
lola: 95703 markings, 217509 edges, 4866 markings/sec, 15 secs
lola: 119816 markings, 272636 edges, 4823 markings/sec, 20 secs
lola: 144426 markings, 328311 edges, 4922 markings/sec, 25 secs
lola: 168353 markings, 382826 edges, 4785 markings/sec, 30 secs
lola: 192620 markings, 438155 edges, 4853 markings/sec, 35 secs
lola: 216548 markings, 492316 edges, 4786 markings/sec, 40 secs
lola: 240708 markings, 546419 edges, 4832 markings/sec, 45 secs
lola: 264486 markings, 600537 edges, 4756 markings/sec, 50 secs
lola: 285892 markings, 648748 edges, 4281 markings/sec, 55 secs
lola: 294240 markings, 668683 edges, 1670 markings/sec, 60 secs
lola: 303755 markings, 689657 edges, 1903 markings/sec, 65 secs
lola: 326602 markings, 763409 edges, 4569 markings/sec, 70 secs
lola: 337826 markings, 789617 edges, 2245 markings/sec, 75 secs
lola: 345818 markings, 808068 edges, 1598 markings/sec, 80 secs
lola: 365579 markings, 871096 edges, 3952 markings/sec, 85 secs
lola: 379413 markings, 905919 edges, 2767 markings/sec, 90 secs
lola: 387486 markings, 924564 edges, 1615 markings/sec, 95 secs
lola: 405924 markings, 982816 edges, 3688 markings/sec, 100 secs
lola: 420206 markings, 1019421 edges, 2856 markings/sec, 105 secs
lola: 428325 markings, 1038205 edges, 1624 markings/sec, 110 secs
lola: 448233 markings, 1102450 edges, 3982 markings/sec, 115 secs
lola: 459943 markings, 1129665 edges, 2342 markings/sec, 120 secs
lola: 467445 markings, 1146922 edges, 1500 markings/sec, 125 secs
lola: 489606 markings, 1214966 edges, 4432 markings/sec, 130 secs
lola: 498851 markings, 1237037 edges, 1849 markings/sec, 135 secs
lola: 513577 markings, 1279781 edges, 2945 markings/sec, 140 secs
lola: 530059 markings, 1325473 edges, 3296 markings/sec, 145 secs
lola: 537942 markings, 1343729 edges, 1577 markings/sec, 150 secs
lola: 559345 markings, 1408376 edges, 4281 markings/sec, 155 secs
lola: 567862 markings, 1428344 edges, 1703 markings/sec, 160 secs
lola: 585856 markings, 1484902 edges, 3599 markings/sec, 165 secs
lola: 597027 markings, 1510579 edges, 2234 markings/sec, 170 secs
lola: 612000 markings, 1555271 edges, 2995 markings/sec, 175 secs
lola: 625322 markings, 1589674 edges, 2664 markings/sec, 180 secs
lola: 638597 markings, 1628025 edges, 2655 markings/sec, 185 secs
lola: 652323 markings, 1664952 edges, 2745 markings/sec, 190 secs
lola: 663912 markings, 1697536 edges, 2318 markings/sec, 195 secs
lola: 678685 markings, 1737984 edges, 2955 markings/sec, 200 secs
lola: 691494 markings, 1775497 edges, 2562 markings/sec, 205 secs
lola: 703719 markings, 1807176 edges, 2445 markings/sec, 210 secs
lola: 718639 markings, 1852111 edges, 2984 markings/sec, 215 secs
lola: 728458 markings, 1874749 edges, 1964 markings/sec, 220 secs
lola: 744691 markings, 1922075 edges, 3247 markings/sec, 225 secs
lola: 753440 markings, 1944461 edges, 1750 markings/sec, 230 secs
lola: 767913 markings, 1985226 edges, 2895 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 15931 markings, 36223 edges, 3186 markings/sec, 0 secs
lola: 32143 markings, 77095 edges, 3242 markings/sec, 5 secs
lola: 59219 markings, 159844 edges, 5415 markings/sec, 10 secs
lola: 72215 markings, 190074 edges, 2599 markings/sec, 15 secs
lola: 91469 markings, 245861 edges, 3851 markings/sec, 20 secs
lola: 114742 markings, 312531 edges, 4655 markings/sec, 25 secs
lola: 127598 markings, 342364 edges, 2571 markings/sec, 30 secs
lola: 154901 markings, 427659 edges, 5461 markings/sec, 35 secs
lola: 169204 markings, 461507 edges, 2861 markings/sec, 40 secs
lola: 189488 markings, 519834 edges, 4057 markings/sec, 45 secs
lola: 211073 markings, 580173 edges, 4317 markings/sec, 50 secs
lola: 225834 markings, 617056 edges, 2952 markings/sec, 55 secs
lola: 251634 markings, 694514 edges, 5160 markings/sec, 60 secs
lola: 264616 markings, 724819 edges, 2596 markings/sec, 65 secs
lola: 291374 markings, 806102 edges, 5352 markings/sec, 70 secs
lola: 305163 markings, 838465 edges, 2758 markings/sec, 75 secs
lola: 330763 markings, 916085 edges, 5120 markings/sec, 80 secs
lola: 344703 markings, 948894 edges, 2788 markings/sec, 85 secs
lola: 369686 markings, 1024273 edges, 4997 markings/sec, 90 secs
lola: 383622 markings, 1057082 edges, 2787 markings/sec, 95 secs
lola: 409202 markings, 1133194 edges, 5116 markings/sec, 100 secs
lola: 423434 markings, 1167992 edges, 2846 markings/sec, 105 secs
lola: 448142 markings, 1239874 edges, 4942 markings/sec, 110 secs
lola: 467566 markings, 1296033 edges, 3885 markings/sec, 115 secs
lola: 484587 markings, 1339437 edges, 3404 markings/sec, 120 secs
lola: 508016 markings, 1407825 edges, 4686 markings/sec, 125 secs
lola: 523971 markings, 1450028 edges, 3191 markings/sec, 130 secs
lola: 543797 markings, 1504548 edges, 3965 markings/sec, 135 secs
lola: 566715 markings, 1570098 edges, 4584 markings/sec, 140 secs
lola: 586184 markings, 1627168 edges, 3894 markings/sec, 145 secs
lola: 602651 markings, 1667992 edges, 3293 markings/sec, 150 secs
lola: 621743 markings, 1720374 edges, 3818 markings/sec, 155 secs
lola: 641745 markings, 1777300 edges, 4000 markings/sec, 160 secs
lola: 661318 markings, 1832186 edges, 3915 markings/sec, 165 secs
lola: 681052 markings, 1886953 edges, 3947 markings/sec, 170 secs
lola: 702223 markings, 1942884 edges, 4234 markings/sec, 175 secs
lola: 718498 markings, 1982082 edges, 3255 markings/sec, 180 secs
lola: 729483 markings, 2007735 edges, 2197 markings/sec, 185 secs
lola: 745319 markings, 2041434 edges, 3167 markings/sec, 190 secs
lola: 766087 markings, 2102235 edges, 4154 markings/sec, 195 secs
lola: 791082 markings, 2170551 edges, 4999 markings/sec, 200 secs
lola: 804965 markings, 2203953 edges, 2777 markings/sec, 205 secs
lola: 818504 markings, 2234885 edges, 2708 markings/sec, 210 secs
lola: 833533 markings, 2274476 edges, 3006 markings/sec, 215 secs
lola: 861709 markings, 2357627 edges, 5635 markings/sec, 220 secs
lola: 877110 markings, 2394834 edges, 3080 markings/sec, 225 secs
lola: 889166 markings, 2422073 edges, 2411 markings/sec, 230 secs
lola: 902050 markings, 2452561 edges, 2577 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 14838 markings, 33714 edges, 2968 markings/sec, 0 secs
lola: 27029 markings, 60962 edges, 2438 markings/sec, 5 secs
lola: 55568 markings, 151198 edges, 5708 markings/sec, 10 secs
lola: 69910 markings, 185323 edges, 2868 markings/sec, 15 secs
lola: 87956 markings, 234534 edges, 3609 markings/sec, 20 secs
lola: 113071 markings, 308542 edges, 5023 markings/sec, 25 secs
lola: 126266 markings, 339252 edges, 2639 markings/sec, 30 secs
lola: 150977 markings, 417513 edges, 4942 markings/sec, 35 secs
lola: 167384 markings, 457389 edges, 3281 markings/sec, 40 secs
lola: 184031 markings, 502147 edges, 3329 markings/sec, 45 secs
lola: 208692 markings, 574405 edges, 4932 markings/sec, 50 secs
lola: 221384 markings, 603951 edges, 2538 markings/sec, 55 secs
lola: 248620 markings, 687216 edges, 5447 markings/sec, 60 secs
lola: 261975 markings, 718519 edges, 2671 markings/sec, 65 secs
lola: 286003 markings, 793340 edges, 4806 markings/sec, 70 secs
lola: 301859 markings, 830972 edges, 3171 markings/sec, 75 secs
lola: 323561 markings, 895921 edges, 4340 markings/sec, 80 secs
lola: 341411 markings, 941529 edges, 3570 markings/sec, 85 secs
lola: 363566 markings, 1007777 edges, 4431 markings/sec, 90 secs
lola: 380015 markings, 1048949 edges, 3290 markings/sec, 95 secs
lola: 401145 markings, 1112506 edges, 4226 markings/sec, 100 secs
lola: 416784 markings, 1151146 edges, 3128 markings/sec, 105 secs
lola: 440026 markings, 1220544 edges, 4648 markings/sec, 110 secs
lola: 454405 markings, 1254306 edges, 2876 markings/sec, 115 secs
lola: 478882 markings, 1326196 edges, 4895 markings/sec, 120 secs
lola: 494932 markings, 1369769 edges, 3210 markings/sec, 125 secs
lola: 514501 markings, 1423265 edges, 3914 markings/sec, 130 secs
lola: 537450 markings, 1489494 edges, 4590 markings/sec, 135 secs
lola: 554405 markings, 1535816 edges, 3391 markings/sec, 140 secs
lola: 572330 markings, 1583024 edges, 3585 markings/sec, 145 secs
lola: 594428 markings, 1646231 edges, 4420 markings/sec, 150 secs
lola: 615180 markings, 1705069 edges, 4150 markings/sec, 155 secs
lola: 634128 markings, 1759886 edges, 3790 markings/sec, 160 secs
lola: 652168 markings, 1807500 edges, 3608 markings/sec, 165 secs
lola: 670975 markings, 1858478 edges, 3761 markings/sec, 170 secs
lola: 690116 markings, 1911407 edges, 3828 markings/sec, 175 secs
lola: 712100 markings, 1966740 edges, 4397 markings/sec, 180 secs
lola: 725191 markings, 1997919 edges, 2618 markings/sec, 185 secs
lola: 739809 markings, 2028333 edges, 2924 markings/sec, 190 secs
lola: 752371 markings, 2057536 edges, 2512 markings/sec, 195 secs
lola: 782781 markings, 2150379 edges, 6082 markings/sec, 200 secs
lola: 799293 markings, 2190362 edges, 3302 markings/sec, 205 secs
lola: 810355 markings, 2216464 edges, 2212 markings/sec, 210 secs
lola: 823821 markings, 2247623 edges, 2693 markings/sec, 215 secs
lola: 843147 markings, 2305648 edges, 3865 markings/sec, 220 secs
lola: 866026 markings, 2368104 edges, 4576 markings/sec, 225 secs
lola: 878946 markings, 2399175 edges, 2584 markings/sec, 230 secs
lola: 890270 markings, 2424810 edges, 2265 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 14457 markings, 27991 edges, 2891 markings/sec, 0 secs
lola: 21374 markings, 44811 edges, 1383 markings/sec, 5 secs
lola: 31777 markings, 66503 edges, 2081 markings/sec, 10 secs
lola: 41006 markings, 87366 edges, 1846 markings/sec, 15 secs
lola: 51988 markings, 113067 edges, 2196 markings/sec, 20 secs
lola: 59955 markings, 132076 edges, 1593 markings/sec, 25 secs
lola: 73285 markings, 165187 edges, 2666 markings/sec, 30 secs
lola: 81738 markings, 184942 edges, 1691 markings/sec, 35 secs
lola: 90654 markings, 205613 edges, 1783 markings/sec, 40 secs
lola: 101604 markings, 231179 edges, 2190 markings/sec, 45 secs
lola: 110328 markings, 252177 edges, 1745 markings/sec, 50 secs
lola: 125692 markings, 282451 edges, 3073 markings/sec, 55 secs
lola: 134727 markings, 304406 edges, 1807 markings/sec, 60 secs
lola: 145777 markings, 330187 edges, 2210 markings/sec, 65 secs
lola: 153351 markings, 347995 edges, 1515 markings/sec, 70 secs
lola: 162877 markings, 370187 edges, 1905 markings/sec, 75 secs
lola: 173890 markings, 395892 edges, 2203 markings/sec, 80 secs
lola: 182528 markings, 416627 edges, 1728 markings/sec, 85 secs
lola: 194156 markings, 444087 edges, 2326 markings/sec, 90 secs
lola: 202366 markings, 463262 edges, 1642 markings/sec, 95 secs
lola: 211054 markings, 483379 edges, 1738 markings/sec, 100 secs
lola: 222322 markings, 509744 edges, 2254 markings/sec, 105 secs
lola: 233881 markings, 536967 edges, 2312 markings/sec, 110 secs
lola: 241523 markings, 555372 edges, 1528 markings/sec, 115 secs
lola: 251316 markings, 577825 edges, 1959 markings/sec, 120 secs
lola: 261848 markings, 602436 edges, 2106 markings/sec, 125 secs
lola: 272396 markings, 626957 edges, 2110 markings/sec, 130 secs
lola: 280681 markings, 647100 edges, 1657 markings/sec, 135 secs
lola: 287944 markings, 664081 edges, 1453 markings/sec, 140 secs
lola: 296774 markings, 684227 edges, 1766 markings/sec, 145 secs
lola: 305974 markings, 706160 edges, 1840 markings/sec, 150 secs
lola: 316242 markings, 730159 edges, 2054 markings/sec, 155 secs
lola: 323949 markings, 748406 edges, 1541 markings/sec, 160 secs
lola: 333309 markings, 770155 edges, 1872 markings/sec, 165 secs
lola: 344505 markings, 796476 edges, 2239 markings/sec, 170 secs
lola: 355728 markings, 822837 edges, 2245 markings/sec, 175 secs
lola: 363263 markings, 840564 edges, 1507 markings/sec, 180 secs
lola: 371425 markings, 859261 edges, 1632 markings/sec, 185 secs
lola: 381086 markings, 882171 edges, 1932 markings/sec, 190 secs
lola: 391243 markings, 905960 edges, 2031 markings/sec, 195 secs
lola: 399378 markings, 925139 edges, 1627 markings/sec, 200 secs
lola: 409069 markings, 947322 edges, 1938 markings/sec, 205 secs
lola: 418293 markings, 969393 edges, 1845 markings/sec, 210 secs
lola: 429229 markings, 995126 edges, 2187 markings/sec, 215 secs
lola: 437383 markings, 1013831 edges, 1631 markings/sec, 220 secs
lola: 447770 markings, 1038125 edges, 2077 markings/sec, 225 secs
lola: 458686 markings, 1063743 edges, 2183 markings/sec, 230 secs
lola: 466485 markings, 1082118 edges, 1560 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 15745 markings, 31186 edges, 3149 markings/sec, 0 secs
lola: 23133 markings, 48987 edges, 1478 markings/sec, 5 secs
lola: 34471 markings, 72320 edges, 2268 markings/sec, 10 secs
lola: 44975 markings, 96457 edges, 2101 markings/sec, 15 secs
lola: 55779 markings, 122171 edges, 2161 markings/sec, 20 secs
lola: 67528 markings, 151038 edges, 2350 markings/sec, 25 secs
lola: 76794 markings, 173575 edges, 1853 markings/sec, 30 secs
lola: 85665 markings, 194365 edges, 1774 markings/sec, 35 secs
lola: 95465 markings, 216773 edges, 1960 markings/sec, 40 secs
lola: 106604 markings, 243159 edges, 2228 markings/sec, 45 secs
lola: 117913 markings, 266218 edges, 2262 markings/sec, 50 secs
lola: 131493 markings, 296539 edges, 2716 markings/sec, 55 secs
lola: 139019 markings, 313716 edges, 1505 markings/sec, 60 secs
lola: 148340 markings, 336423 edges, 1864 markings/sec, 65 secs
lola: 155862 markings, 354008 edges, 1504 markings/sec, 70 secs
lola: 164894 markings, 374936 edges, 1806 markings/sec, 75 secs
lola: 176111 markings, 401206 edges, 2243 markings/sec, 80 secs
lola: 186971 markings, 426589 edges, 2172 markings/sec, 85 secs
lola: 196225 markings, 449087 edges, 1851 markings/sec, 90 secs
lola: 204773 markings, 468767 edges, 1710 markings/sec, 95 secs
lola: 216060 markings, 494808 edges, 2257 markings/sec, 100 secs
lola: 225279 markings, 516861 edges, 1844 markings/sec, 105 secs
lola: 236741 markings, 543828 edges, 2292 markings/sec, 110 secs
lola: 245009 markings, 563314 edges, 1654 markings/sec, 115 secs
lola: 253496 markings, 582956 edges, 1697 markings/sec, 120 secs
lola: 264769 markings, 609372 edges, 2255 markings/sec, 125 secs
lola: 276320 markings, 636589 edges, 2310 markings/sec, 130 secs
lola: 284594 markings, 656117 edges, 1655 markings/sec, 135 secs
lola: 293782 markings, 677468 edges, 1838 markings/sec, 140 secs
lola: 304848 markings, 703359 edges, 2213 markings/sec, 145 secs
lola: 316458 markings, 730774 edges, 2322 markings/sec, 150 secs
lola: 324677 markings, 750118 edges, 1644 markings/sec, 155 secs
lola: 333417 markings, 770411 edges, 1748 markings/sec, 160 secs
lola: 344285 markings, 795921 edges, 2174 markings/sec, 165 secs
lola: 355709 markings, 822800 edges, 2285 markings/sec, 170 secs
lola: 363885 markings, 842031 edges, 1635 markings/sec, 175 secs
lola: 373529 markings, 864124 edges, 1929 markings/sec, 180 secs
lola: 382937 markings, 886545 edges, 1882 markings/sec, 185 secs
lola: 393938 markings, 912562 edges, 2200 markings/sec, 190 secs
lola: 401720 markings, 930496 edges, 1556 markings/sec, 195 secs
lola: 412270 markings, 954921 edges, 2110 markings/sec, 200 secs
lola: 421545 markings, 976539 edges, 1855 markings/sec, 205 secs
lola: 430351 markings, 997895 edges, 1761 markings/sec, 210 secs
lola: 439079 markings, 1017820 edges, 1746 markings/sec, 215 secs
lola: 449495 markings, 1042207 edges, 2083 markings/sec, 220 secs
lola: 459671 markings, 1066230 edges, 2035 markings/sec, 225 secs
lola: 466340 markings, 1081788 edges, 1334 markings/sec, 230 secs
lola: 475559 markings, 1102929 edges, 1844 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 5625 markings, 7307 edges, 1125 markings/sec, 0 secs
lola: 10435 markings, 17481 edges, 962 markings/sec, 5 secs
lola: 14839 markings, 28117 edges, 881 markings/sec, 10 secs
lola: 19147 markings, 38375 edges, 862 markings/sec, 15 secs
lola: 23370 markings, 48024 edges, 845 markings/sec, 20 secs
lola: 29102 markings, 56808 edges, 1146 markings/sec, 25 secs
lola: 33737 markings, 68045 edges, 927 markings/sec, 30 secs
lola: 38125 markings, 78535 edges, 878 markings/sec, 35 secs
lola: 42220 markings, 88242 edges, 819 markings/sec, 40 secs
lola: 47021 markings, 96237 edges, 960 markings/sec, 45 secs
lola: 51890 markings, 106303 edges, 974 markings/sec, 50 secs
lola: 56486 markings, 117346 edges, 919 markings/sec, 55 secs
lola: 60654 markings, 127372 edges, 834 markings/sec, 60 secs
lola: 64704 markings, 136016 edges, 810 markings/sec, 65 secs
lola: 70336 markings, 145409 edges, 1126 markings/sec, 70 secs
lola: 75326 markings, 157459 edges, 998 markings/sec, 75 secs
lola: 80006 markings, 168684 edges, 936 markings/sec, 80 secs
lola: 84611 markings, 178313 edges, 921 markings/sec, 85 secs
lola: 90389 markings, 188581 edges, 1156 markings/sec, 90 secs
lola: 95310 markings, 200461 edges, 984 markings/sec, 95 secs
lola: 99925 markings, 211526 edges, 923 markings/sec, 100 secs
lola: 104964 markings, 220706 edges, 1008 markings/sec, 105 secs
lola: 110485 markings, 232076 edges, 1104 markings/sec, 110 secs
lola: 115357 markings, 243836 edges, 974 markings/sec, 115 secs
lola: 119853 markings, 254404 edges, 899 markings/sec, 120 secs
lola: 125406 markings, 263375 edges, 1111 markings/sec, 125 secs
lola: 130462 markings, 275408 edges, 1011 markings/sec, 130 secs
lola: 135163 markings, 286641 edges, 940 markings/sec, 135 secs
lola: 139794 markings, 296349 edges, 926 markings/sec, 140 secs
lola: 145494 markings, 306984 edges, 1140 markings/sec, 145 secs
lola: 150176 markings, 318213 edges, 936 markings/sec, 150 secs
lola: 154265 markings, 327921 edges, 818 markings/sec, 155 secs
lola: 159001 markings, 335846 edges, 947 markings/sec, 160 secs
lola: 163940 markings, 346915 edges, 988 markings/sec, 165 secs
lola: 168130 markings, 356997 edges, 838 markings/sec, 170 secs
lola: 172148 markings, 366410 edges, 804 markings/sec, 175 secs
lola: 177744 markings, 375812 edges, 1119 markings/sec, 180 secs
lola: 182923 markings, 388334 edges, 1036 markings/sec, 185 secs
lola: 187596 markings, 399364 edges, 935 markings/sec, 190 secs
lola: 193177 markings, 408782 edges, 1116 markings/sec, 195 secs
lola: 198340 markings, 421279 edges, 1033 markings/sec, 200 secs
lola: 203078 markings, 432555 edges, 948 markings/sec, 205 secs
lola: 208680 markings, 442139 edges, 1120 markings/sec, 210 secs
lola: 213799 markings, 454540 edges, 1024 markings/sec, 215 secs
lola: 218409 markings, 465425 edges, 922 markings/sec, 220 secs
lola: 223694 markings, 474484 edges, 1057 markings/sec, 225 secs
lola: 228497 markings, 486111 edges, 961 markings/sec, 230 secs
lola: 232940 markings, 496542 edges, 889 markings/sec, 235 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 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 15988 markings, 36366 edges, 3198 markings/sec, 0 secs
lola: 29919 markings, 69663 edges, 2786 markings/sec, 5 secs
lola: 57554 markings, 155769 edges, 5527 markings/sec, 10 secs
lola: 70058 markings, 185615 edges, 2501 markings/sec, 15 secs
lola: 87457 markings, 233250 edges, 3480 markings/sec, 20 secs
lola: 113322 markings, 309170 edges, 5173 markings/sec, 25 secs
lola: 126573 markings, 339968 edges, 2650 markings/sec, 30 secs
lola: 152861 markings, 423921 edges, 5258 markings/sec, 35 secs
lola: 168355 markings, 459605 edges, 3099 markings/sec, 40 secs
lola: 188202 markings, 515483 edges, 3969 markings/sec, 45 secs
lola: 211125 markings, 580261 edges, 4585 markings/sec, 50 secs
lola: 225174 markings, 614824 edges, 2810 markings/sec, 55 secs
lola: 251783 markings, 694884 edges, 5322 markings/sec, 60 secs
lola: 264574 markings, 724714 edges, 2558 markings/sec, 65 secs
lola: 291230 markings, 805742 edges, 5331 markings/sec, 70 secs
lola: 304981 markings, 838033 edges, 2750 markings/sec, 75 secs
lola: 329823 markings, 913915 edges, 4968 markings/sec, 80 secs
lola: 344070 markings, 947378 edges, 2849 markings/sec, 85 secs
lola: 369186 markings, 1023025 edges, 5023 markings/sec, 90 secs
lola: 383211 markings, 1056121 edges, 2805 markings/sec, 95 secs
lola: 408491 markings, 1131410 edges, 5056 markings/sec, 100 secs
lola: 421466 markings, 1161749 edges, 2595 markings/sec, 105 secs
lola: 446982 markings, 1237131 edges, 5103 markings/sec, 110 secs
lola: 464421 markings, 1285470 edges, 3488 markings/sec, 115 secs
lola: 483443 markings, 1336959 edges, 3804 markings/sec, 120 secs
lola: 506175 markings, 1403404 edges, 4546 markings/sec, 125 secs
lola: 519905 markings, 1437114 edges, 2746 markings/sec, 130 secs
lola: 542163 markings, 1500787 edges, 4452 markings/sec, 135 secs
lola: 563795 markings, 1563040 edges, 4326 markings/sec, 140 secs
lola: 578749 markings, 1602243 edges, 2991 markings/sec, 145 secs
lola: 596800 markings, 1651750 edges, 3610 markings/sec, 150 secs
lola: 617395 markings, 1710431 edges, 4119 markings/sec, 155 secs
lola: 636535 markings, 1764779 edges, 3828 markings/sec, 160 secs
lola: 654563 markings, 1815529 edges, 3606 markings/sec, 165 secs
lola: 672320 markings, 1862978 edges, 3551 markings/sec, 170 secs
lola: 690219 markings, 1911706 edges, 3580 markings/sec, 175 secs
lola: 711694 markings, 1965780 edges, 4295 markings/sec, 180 secs
lola: 724812 markings, 1997074 edges, 2624 markings/sec, 185 secs
lola: 739622 markings, 2027866 edges, 2962 markings/sec, 190 secs
lola: 753245 markings, 2060339 edges, 2725 markings/sec, 195 secs
lola: 782749 markings, 2150299 edges, 5901 markings/sec, 200 secs
lola: 799453 markings, 2190762 edges, 3341 markings/sec, 205 secs
lola: 810920 markings, 2217704 edges, 2293 markings/sec, 210 secs
lola: 825408 markings, 2251365 edges, 2898 markings/sec, 215 secs
lola: 850485 markings, 2330275 edges, 5015 markings/sec, 220 secs
lola: 870888 markings, 2379823 edges, 4081 markings/sec, 225 secs
lola: 883435 markings, 2409752 edges, 2509 markings/sec, 230 secs
lola: 897558 markings, 2442372 edges, 2825 markings/sec, 235 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 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p84 + p85)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 34007 markings, 76649 edges, 6801 markings/sec, 0 secs
lola: 69136 markings, 157122 edges, 7026 markings/sec, 5 secs
lola: 103951 markings, 236319 edges, 6963 markings/sec, 10 secs
lola: 138795 markings, 315705 edges, 6969 markings/sec, 15 secs
lola: 173498 markings, 394341 edges, 6941 markings/sec, 20 secs
lola: 208312 markings, 473150 edges, 6963 markings/sec, 25 secs
lola: 242655 markings, 550957 edges, 6869 markings/sec, 30 secs
lola: 276901 markings, 628248 edges, 6849 markings/sec, 35 secs
lola: 286226 markings, 649569 edges, 1865 markings/sec, 40 secs
lola: 291982 markings, 663333 edges, 1151 markings/sec, 45 secs
lola: 297786 markings, 675621 edges, 1161 markings/sec, 50 secs
lola: 303309 markings, 688681 edges, 1105 markings/sec, 55 secs
lola: 328021 markings, 766116 edges, 4942 markings/sec, 60 secs
lola: 334419 markings, 781459 edges, 1280 markings/sec, 65 secs
lola: 339670 markings, 793958 edges, 1050 markings/sec, 70 secs
lola: 344977 markings, 806012 edges, 1061 markings/sec, 75 secs
lola: 360526 markings, 853867 edges, 3110 markings/sec, 80 secs
lola: 373597 markings, 891855 edges, 2614 markings/sec, 85 secs
lola: 379371 markings, 905801 edges, 1155 markings/sec, 90 secs
lola: 384167 markings, 916760 edges, 959 markings/sec, 95 secs
lola: 389526 markings, 929152 edges, 1072 markings/sec, 100 secs
lola: 412494 markings, 1000811 edges, 4594 markings/sec, 105 secs
lola: 418742 markings, 1015890 edges, 1250 markings/sec, 110 secs
lola: 423570 markings, 1027330 edges, 966 markings/sec, 115 secs
lola: 428504 markings, 1038573 edges, 987 markings/sec, 120 secs
lola: 449659 markings, 1105565 edges, 4231 markings/sec, 125 secs
lola: 456119 markings, 1120499 edges, 1292 markings/sec, 130 secs
lola: 461507 markings, 1133293 edges, 1078 markings/sec, 135 secs
lola: 466839 markings, 1145528 edges, 1066 markings/sec, 140 secs
lola: 487970 markings, 1211068 edges, 4226 markings/sec, 145 secs
lola: 494323 markings, 1226299 edges, 1271 markings/sec, 150 secs
lola: 499369 markings, 1238177 edges, 1009 markings/sec, 155 secs
lola: 508358 markings, 1262568 edges, 1798 markings/sec, 160 secs
lola: 525682 markings, 1314936 edges, 3465 markings/sec, 165 secs
lola: 531487 markings, 1328860 edges, 1161 markings/sec, 170 secs
lola: 536624 markings, 1340615 edges, 1027 markings/sec, 175 secs
lola: 555983 markings, 1400506 edges, 3872 markings/sec, 180 secs
lola: 562356 markings, 1415595 edges, 1275 markings/sec, 185 secs
lola: 567359 markings, 1427295 edges, 1001 markings/sec, 190 secs
lola: 583339 markings, 1476180 edges, 3196 markings/sec, 195 secs
lola: 592508 markings, 1499852 edges, 1834 markings/sec, 200 secs
lola: 597851 markings, 1512450 edges, 1069 markings/sec, 205 secs
lola: 613144 markings, 1558869 edges, 3059 markings/sec, 210 secs
lola: 622331 markings, 1582517 edges, 1837 markings/sec, 215 secs
lola: 627451 markings, 1594557 edges, 1024 markings/sec, 220 secs
lola: 644168 markings, 1645991 edges, 3343 markings/sec, 225 secs
lola: 650588 markings, 1660783 edges, 1284 markings/sec, 230 secs
lola: 655338 markings, 1671828 edges, 950 markings/sec, 235 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 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 15201 markings, 29643 edges, 3040 markings/sec, 0 secs
lola: 21872 markings, 45985 edges, 1334 markings/sec, 5 secs
lola: 31784 markings, 66524 edges, 1982 markings/sec, 10 secs
lola: 39934 markings, 84834 edges, 1630 markings/sec, 15 secs
lola: 49823 markings, 107907 edges, 1978 markings/sec, 20 secs
lola: 58246 markings, 128043 edges, 1685 markings/sec, 25 secs
lola: 70132 markings, 157409 edges, 2377 markings/sec, 30 secs
lola: 77888 markings, 176217 edges, 1551 markings/sec, 35 secs
lola: 86492 markings, 196152 edges, 1721 markings/sec, 40 secs
lola: 96815 markings, 219867 edges, 2065 markings/sec, 45 secs
lola: 106988 markings, 244110 edges, 2035 markings/sec, 50 secs
lola: 118621 markings, 267394 edges, 2327 markings/sec, 55 secs
lola: 131993 markings, 297872 edges, 2674 markings/sec, 60 secs
lola: 141999 markings, 321105 edges, 2001 markings/sec, 65 secs
lola: 150886 markings, 342563 edges, 1777 markings/sec, 70 secs
lola: 159591 markings, 362749 edges, 1741 markings/sec, 75 secs
lola: 170489 markings, 387843 edges, 2180 markings/sec, 80 secs
lola: 180299 markings, 411271 edges, 1962 markings/sec, 85 secs
lola: 192255 markings, 439329 edges, 2391 markings/sec, 90 secs
lola: 200841 markings, 459621 edges, 1717 markings/sec, 95 secs
lola: 209735 markings, 480240 edges, 1779 markings/sec, 100 secs
lola: 220693 markings, 505929 edges, 2192 markings/sec, 105 secs
lola: 231446 markings, 530974 edges, 2151 markings/sec, 110 secs
lola: 240210 markings, 552305 edges, 1753 markings/sec, 115 secs
lola: 249347 markings, 573202 edges, 1827 markings/sec, 120 secs
lola: 260224 markings, 598495 edges, 2175 markings/sec, 125 secs
lola: 268964 markings, 619604 edges, 1748 markings/sec, 130 secs
lola: 280129 markings, 645779 edges, 2233 markings/sec, 135 secs
lola: 288250 markings, 664786 edges, 1624 markings/sec, 140 secs
lola: 298797 markings, 688992 edges, 2109 markings/sec, 145 secs
lola: 308385 markings, 711917 edges, 1918 markings/sec, 150 secs
lola: 319781 markings, 738792 edges, 2279 markings/sec, 155 secs
lola: 327777 markings, 757466 edges, 1599 markings/sec, 160 secs
lola: 338512 markings, 782067 edges, 2147 markings/sec, 165 secs
lola: 347290 markings, 803169 edges, 1756 markings/sec, 170 secs
lola: 358470 markings, 829513 edges, 2236 markings/sec, 175 secs
lola: 366651 markings, 848306 edges, 1636 markings/sec, 180 secs
lola: 377344 markings, 873153 edges, 2139 markings/sec, 185 secs
lola: 387705 markings, 897417 edges, 2072 markings/sec, 190 secs
lola: 396249 markings, 918067 edges, 1709 markings/sec, 195 secs
lola: 405028 markings, 938129 edges, 1756 markings/sec, 200 secs
lola: 415720 markings, 963204 edges, 2138 markings/sec, 205 secs
lola: 426748 markings, 989140 edges, 2206 markings/sec, 210 secs
lola: 434578 markings, 1007527 edges, 1566 markings/sec, 215 secs
lola: 444894 markings, 1031246 edges, 2063 markings/sec, 220 secs
lola: 455398 markings, 1055750 edges, 2101 markings/sec, 225 secs
lola: 463753 markings, 1076022 edges, 1671 markings/sec, 230 secs
lola: 473548 markings, 1098165 edges, 1959 markings/sec, 235 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 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 524 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: 15853 markings, 31413 edges, 3171 markings/sec, 0 secs
lola: 23133 markings, 48987 edges, 1456 markings/sec, 5 secs
lola: 34380 markings, 72129 edges, 2249 markings/sec, 10 secs
lola: 44853 markings, 96148 edges, 2095 markings/sec, 15 secs
lola: 55667 markings, 121871 edges, 2163 markings/sec, 20 secs
lola: 67203 markings, 150388 edges, 2307 markings/sec, 25 secs
lola: 76377 markings, 172668 edges, 1835 markings/sec, 30 secs
lola: 85184 markings, 193235 edges, 1761 markings/sec, 35 secs
lola: 94171 markings, 213986 edges, 1797 markings/sec, 40 secs
lola: 105658 markings, 240914 edges, 2297 markings/sec, 45 secs
lola: 116234 markings, 263146 edges, 2115 markings/sec, 50 secs
lola: 130616 markings, 294377 edges, 2876 markings/sec, 55 secs
lola: 139643 markings, 315285 edges, 1805 markings/sec, 60 secs
lola: 149725 markings, 339756 edges, 2016 markings/sec, 65 secs
lola: 158521 markings, 360389 edges, 1759 markings/sec, 70 secs
lola: 168238 markings, 382590 edges, 1943 markings/sec, 75 secs
lola: 178618 markings, 407220 edges, 2076 markings/sec, 80 secs
lola: 188672 markings, 430702 edges, 2011 markings/sec, 85 secs
lola: 196373 markings, 449386 edges, 1540 markings/sec, 90 secs
lola: 203995 markings, 467135 edges, 1524 markings/sec, 95 secs
lola: 213058 markings, 487799 edges, 1813 markings/sec, 100 secs
lola: 223123 markings, 511732 edges, 2013 markings/sec, 105 secs
lola: 234430 markings, 538293 edges, 2261 markings/sec, 110 secs
lola: 242049 markings, 556270 edges, 1524 markings/sec, 115 secs
lola: 251791 markings, 578927 edges, 1948 markings/sec, 120 secs
lola: 262707 markings, 604471 edges, 2183 markings/sec, 125 secs
lola: 273406 markings, 629430 edges, 2140 markings/sec, 130 secs
lola: 282238 markings, 650879 edges, 1766 markings/sec, 135 secs
lola: 291067 markings, 671060 edges, 1766 markings/sec, 140 secs
lola: 301859 markings, 696222 edges, 2158 markings/sec, 145 secs
lola: 311405 markings, 718273 edges, 1909 markings/sec, 150 secs
lola: 320990 markings, 741727 edges, 1917 markings/sec, 155 secs
lola: 329576 markings, 761403 edges, 1717 markings/sec, 160 secs
lola: 339596 markings, 784673 edges, 2004 markings/sec, 165 secs
lola: 347393 markings, 803375 edges, 1559 markings/sec, 170 secs
lola: 357617 markings, 827481 edges, 2045 markings/sec, 175 secs
lola: 365000 markings, 844663 edges, 1477 markings/sec, 180 secs
lola: 375421 markings, 868557 edges, 2084 markings/sec, 185 secs
lola: 385363 markings, 891574 edges, 1988 markings/sec, 190 secs
lola: 395120 markings, 915411 edges, 1951 markings/sec, 195 secs
lola: 402425 markings, 932078 edges, 1461 markings/sec, 200 secs
lola: 412242 markings, 954852 edges, 1963 markings/sec, 205 secs
lola: 421553 markings, 976554 edges, 1862 markings/sec, 210 secs
lola: 430476 markings, 998206 edges, 1785 markings/sec, 215 secs
lola: 438779 markings, 1017066 edges, 1661 markings/sec, 220 secs
lola: 448796 markings, 1040565 edges, 2003 markings/sec, 225 secs
lola: 459586 markings, 1066019 edges, 2158 markings/sec, 230 secs
lola: 466740 markings, 1082726 edges, 1431 markings/sec, 235 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 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496346201118

--------------------
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_BridgeAndVehicles-COL-V50P50N20"
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_BridgeAndVehicles-COL-V50P50N20.tgz
mv S_BridgeAndVehicles-COL-V50P50N20 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_BridgeAndVehicles-COL-V50P50N20, 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 r088-csrt-149441074400362"
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 ;