About the Execution of LoLA for BridgeAndVehicles-COL-V80P20N20
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
980.120 | 3539528.00 | 3550386.00 | 212.50 | ? 80 ? ? ? 1 ? ? 1 1 ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is BridgeAndVehicles-COL-V80P20N20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-csrt-149436126200389
=====================================================================
--------------------
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-V80P20N20-UpperBounds-0
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-1
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-15
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-2
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-3
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-4
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-5
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-6
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-7
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-8
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494610001666
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ BridgeAndVehicles-COL-V80P20N20 @ 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: 3926/65536 symbol table entries, 711 collisions
lola: preprocessing...
lola: finding significant places
lola: 198 places, 3728 transitions, 191 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4253 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V80P20N20-UpperBounds.task
lola: MAX(p87) : MAX(p86) : 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 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p98 + p97 + p96 + p95 + p94 + p93 + p88 + p89 + p90 + p91 + p92 + p99) : MAX(p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197) : MAX(p169) : MAX(p170) : MAX(p169) : MAX(p170) : MAX(p0 + p1) : MAX(p169) : MAX(p171) : MAX(p175) : MAX(p85) : 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 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p98 + p97 + p96 + p95 + p94 + p93 + p88 + p89 + p90 + p91 + p92 + p99) : MAX(p171) : MAX(p173 + p174)
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(p87)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 10695 markings, 18515 edges, 2139 markings/sec, 0 secs
lola: 20986 markings, 43405 edges, 2058 markings/sec, 5 secs
lola: 29321 markings, 63355 edges, 1667 markings/sec, 10 secs
lola: 35989 markings, 78405 edges, 1334 markings/sec, 15 secs
lola: 48232 markings, 103398 edges, 2449 markings/sec, 20 secs
lola: 56701 markings, 123678 edges, 1694 markings/sec, 25 secs
lola: 65315 markings, 140629 edges, 1723 markings/sec, 30 secs
lola: 73725 markings, 160736 edges, 1682 markings/sec, 35 secs
lola: 83261 markings, 184636 edges, 1907 markings/sec, 40 secs
lola: 105154 markings, 256940 edges, 4379 markings/sec, 45 secs
lola: 126389 markings, 327465 edges, 4247 markings/sec, 50 secs
lola: 146184 markings, 394637 edges, 3959 markings/sec, 55 secs
lola: 155045 markings, 419131 edges, 1772 markings/sec, 60 secs
lola: 166582 markings, 449646 edges, 2307 markings/sec, 65 secs
lola: 177494 markings, 476101 edges, 2182 markings/sec, 70 secs
lola: 185270 markings, 494666 edges, 1555 markings/sec, 75 secs
lola: 191242 markings, 508478 edges, 1194 markings/sec, 80 secs
lola: 202392 markings, 533760 edges, 2230 markings/sec, 85 secs
lola: 210103 markings, 552216 edges, 1542 markings/sec, 90 secs
lola: 218956 markings, 572330 edges, 1771 markings/sec, 95 secs
lola: 226454 markings, 589739 edges, 1500 markings/sec, 100 secs
lola: 241791 markings, 637872 edges, 3067 markings/sec, 105 secs
lola: 261270 markings, 702743 edges, 3896 markings/sec, 110 secs
lola: 281389 markings, 769417 edges, 4024 markings/sec, 115 secs
lola: 298144 markings, 824990 edges, 3351 markings/sec, 120 secs
lola: 310826 markings, 853648 edges, 2536 markings/sec, 125 secs
lola: 320166 markings, 876054 edges, 1868 markings/sec, 130 secs
lola: 326768 markings, 891584 edges, 1320 markings/sec, 135 secs
lola: 338537 markings, 918209 edges, 2354 markings/sec, 140 secs
lola: 346829 markings, 937951 edges, 1658 markings/sec, 145 secs
lola: 356225 markings, 959417 edges, 1879 markings/sec, 150 secs
lola: 363950 markings, 977357 edges, 1545 markings/sec, 155 secs
lola: 384374 markings, 1043790 edges, 4085 markings/sec, 160 secs
lola: 405966 markings, 1115464 edges, 4318 markings/sec, 165 secs
lola: 426715 markings, 1185782 edges, 4150 markings/sec, 170 secs
lola: 441404 markings, 1222918 edges, 2938 markings/sec, 175 secs
lola: 451166 markings, 1246503 edges, 1952 markings/sec, 180 secs
lola: 458426 markings, 1263743 edges, 1452 markings/sec, 185 secs
lola: 468632 markings, 1286419 edges, 2041 markings/sec, 190 secs
lola: 477603 markings, 1307938 edges, 1794 markings/sec, 195 secs
lola: 486401 markings, 1327888 edges, 1760 markings/sec, 200 secs
lola: 494465 markings, 1346751 edges, 1613 markings/sec, 205 secs
lola: 511672 markings, 1401231 edges, 3441 markings/sec, 210 secs
lola: 532693 markings, 1471146 edges, 4204 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(p86)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 2 will run for 237 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 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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 3 will run for 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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 4 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p169)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 8610 markings, 15668 edges, 1722 markings/sec, 0 secs
lola: 19456 markings, 44198 edges, 2169 markings/sec, 5 secs
lola: 29240 markings, 70851 edges, 1957 markings/sec, 10 secs
lola: 38851 markings, 96850 edges, 1922 markings/sec, 15 secs
lola: 49046 markings, 125441 edges, 2039 markings/sec, 20 secs
lola: 58128 markings, 149873 edges, 1816 markings/sec, 25 secs
lola: 68685 markings, 181976 edges, 2111 markings/sec, 30 secs
lola: 75806 markings, 201751 edges, 1424 markings/sec, 35 secs
lola: 83030 markings, 222427 edges, 1445 markings/sec, 40 secs
lola: 92122 markings, 248765 edges, 1818 markings/sec, 45 secs
lola: 101285 markings, 275926 edges, 1833 markings/sec, 50 secs
lola: 109783 markings, 301039 edges, 1700 markings/sec, 55 secs
lola: 118416 markings, 326579 edges, 1727 markings/sec, 60 secs
lola: 127432 markings, 353342 edges, 1803 markings/sec, 65 secs
lola: 135157 markings, 375522 edges, 1545 markings/sec, 70 secs
lola: 146169 markings, 409452 edges, 2202 markings/sec, 75 secs
lola: 153894 markings, 431393 edges, 1545 markings/sec, 80 secs
lola: 161951 markings, 454895 edges, 1611 markings/sec, 85 secs
lola: 170135 markings, 479408 edges, 1637 markings/sec, 90 secs
lola: 178101 markings, 503140 edges, 1593 markings/sec, 95 secs
lola: 185820 markings, 526349 edges, 1544 markings/sec, 100 secs
lola: 193742 markings, 550323 edges, 1584 markings/sec, 105 secs
lola: 202482 markings, 576859 edges, 1748 markings/sec, 110 secs
lola: 210343 markings, 600440 edges, 1572 markings/sec, 115 secs
lola: 218790 markings, 626167 edges, 1689 markings/sec, 120 secs
lola: 226668 markings, 650256 edges, 1576 markings/sec, 125 secs
lola: 235256 markings, 676404 edges, 1718 markings/sec, 130 secs
lola: 244174 markings, 704340 edges, 1784 markings/sec, 135 secs
lola: 252987 markings, 731053 edges, 1763 markings/sec, 140 secs
lola: 260639 markings, 753056 edges, 1530 markings/sec, 145 secs
lola: 268343 markings, 775847 edges, 1541 markings/sec, 150 secs
lola: 275643 markings, 797687 edges, 1460 markings/sec, 155 secs
lola: 282690 markings, 818971 edges, 1409 markings/sec, 160 secs
lola: 290002 markings, 841102 edges, 1462 markings/sec, 165 secs
lola: 297296 markings, 863267 edges, 1459 markings/sec, 170 secs
lola: 303897 markings, 883663 edges, 1320 markings/sec, 175 secs
lola: 310458 markings, 903685 edges, 1312 markings/sec, 180 secs
lola: 317017 markings, 924038 edges, 1312 markings/sec, 185 secs
lola: 324075 markings, 945624 edges, 1412 markings/sec, 190 secs
lola: 331486 markings, 968627 edges, 1482 markings/sec, 195 secs
lola: 338532 markings, 990258 edges, 1409 markings/sec, 200 secs
lola: 345291 markings, 1011552 edges, 1352 markings/sec, 205 secs
lola: 352224 markings, 1032607 edges, 1387 markings/sec, 210 secs
lola: 358729 markings, 1053004 edges, 1301 markings/sec, 215 secs
lola: 365607 markings, 1074208 edges, 1376 markings/sec, 220 secs
lola: 373224 markings, 1097929 edges, 1523 markings/sec, 225 secs
lola: 381252 markings, 1123503 edges, 1606 markings/sec, 230 secs
lola: 389814 markings, 1149869 edges, 1712 markings/sec, 235 secs
lola: 396715 markings, 1169566 edges, 1380 markings/sec, 240 secs
lola: 403881 markings, 1190849 edges, 1433 markings/sec, 245 secs
lola: 411162 markings, 1212755 edges, 1456 markings/sec, 250 secs
lola: 418396 markings, 1234712 edges, 1447 markings/sec, 255 secs
lola: 425774 markings, 1257258 edges, 1476 markings/sec, 260 secs
lola: 432190 markings, 1277046 edges, 1283 markings/sec, 265 secs
lola: 438230 markings, 1295303 edges, 1208 markings/sec, 270 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 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p170)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 11726 markings, 25431 edges, 2345 markings/sec, 0 secs
lola: 23237 markings, 52518 edges, 2302 markings/sec, 5 secs
lola: 32271 markings, 73779 edges, 1807 markings/sec, 10 secs
lola: 38966 markings, 84658 edges, 1339 markings/sec, 15 secs
lola: 47424 markings, 98270 edges, 1692 markings/sec, 20 secs
lola: 53650 markings, 113506 edges, 1245 markings/sec, 25 secs
lola: 60224 markings, 129259 edges, 1315 markings/sec, 30 secs
lola: 66769 markings, 144910 edges, 1309 markings/sec, 35 secs
lola: 73066 markings, 159519 edges, 1259 markings/sec, 40 secs
lola: 79676 markings, 167900 edges, 1322 markings/sec, 45 secs
lola: 86206 markings, 180543 edges, 1306 markings/sec, 50 secs
lola: 91736 markings, 193894 edges, 1106 markings/sec, 55 secs
lola: 98149 markings, 209289 edges, 1283 markings/sec, 60 secs
lola: 104738 markings, 222408 edges, 1318 markings/sec, 65 secs
lola: 111874 markings, 235262 edges, 1427 markings/sec, 70 secs
lola: 117862 markings, 249620 edges, 1198 markings/sec, 75 secs
lola: 124836 markings, 263579 edges, 1395 markings/sec, 80 secs
lola: 136403 markings, 300277 edges, 2313 markings/sec, 85 secs
lola: 148682 markings, 340330 edges, 2456 markings/sec, 90 secs
lola: 160435 markings, 379723 edges, 2351 markings/sec, 95 secs
lola: 172021 markings, 416888 edges, 2317 markings/sec, 100 secs
lola: 183247 markings, 454449 edges, 2245 markings/sec, 105 secs
lola: 194354 markings, 492099 edges, 2221 markings/sec, 110 secs
lola: 198940 markings, 503866 edges, 917 markings/sec, 115 secs
lola: 205977 markings, 524987 edges, 1407 markings/sec, 120 secs
lola: 213635 markings, 541498 edges, 1532 markings/sec, 125 secs
lola: 219365 markings, 555495 edges, 1146 markings/sec, 130 secs
lola: 225430 markings, 570148 edges, 1213 markings/sec, 135 secs
lola: 231332 markings, 584201 edges, 1180 markings/sec, 140 secs
lola: 237831 markings, 598647 edges, 1300 markings/sec, 145 secs
lola: 243945 markings, 612443 edges, 1223 markings/sec, 150 secs
lola: 249488 markings, 625829 edges, 1109 markings/sec, 155 secs
lola: 255294 markings, 639709 edges, 1161 markings/sec, 160 secs
lola: 261859 markings, 654225 edges, 1313 markings/sec, 165 secs
lola: 268138 markings, 669291 edges, 1256 markings/sec, 170 secs
lola: 274822 markings, 684687 edges, 1337 markings/sec, 175 secs
lola: 286638 markings, 723351 edges, 2363 markings/sec, 180 secs
lola: 298504 markings, 761897 edges, 2373 markings/sec, 185 secs
lola: 309892 markings, 800222 edges, 2278 markings/sec, 190 secs
lola: 322067 markings, 839175 edges, 2435 markings/sec, 195 secs
lola: 333658 markings, 878311 edges, 2318 markings/sec, 200 secs
lola: 344341 markings, 911645 edges, 2137 markings/sec, 205 secs
lola: 351700 markings, 921823 edges, 1472 markings/sec, 210 secs
lola: 359556 markings, 933689 edges, 1571 markings/sec, 215 secs
lola: 366664 markings, 950085 edges, 1422 markings/sec, 220 secs
lola: 373031 markings, 965494 edges, 1273 markings/sec, 225 secs
lola: 379568 markings, 981310 edges, 1307 markings/sec, 230 secs
lola: 386200 markings, 996783 edges, 1326 markings/sec, 235 secs
lola: 393795 markings, 1012964 edges, 1519 markings/sec, 240 secs
lola: 399890 markings, 1027720 edges, 1219 markings/sec, 245 secs
lola: 406137 markings, 1042838 edges, 1249 markings/sec, 250 secs
lola: 412473 markings, 1057984 edges, 1267 markings/sec, 255 secs
lola: 418628 markings, 1071925 edges, 1231 markings/sec, 260 secs
lola: 425630 markings, 1087647 edges, 1400 markings/sec, 265 secs
lola: 431880 markings, 1102690 edges, 1250 markings/sec, 270 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 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p169)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 8554 markings, 15528 edges, 1711 markings/sec, 0 secs
lola: 19080 markings, 43369 edges, 2105 markings/sec, 5 secs
lola: 27861 markings, 66634 edges, 1756 markings/sec, 10 secs
lola: 37301 markings, 93019 edges, 1888 markings/sec, 15 secs
lola: 46631 markings, 118612 edges, 1866 markings/sec, 20 secs
lola: 56096 markings, 144988 edges, 1893 markings/sec, 25 secs
lola: 67001 markings, 177619 edges, 2181 markings/sec, 30 secs
lola: 75062 markings, 199721 edges, 1612 markings/sec, 35 secs
lola: 82996 markings, 222329 edges, 1587 markings/sec, 40 secs
lola: 91213 markings, 246156 edges, 1643 markings/sec, 45 secs
lola: 98834 markings, 268302 edges, 1524 markings/sec, 50 secs
lola: 106794 markings, 291617 edges, 1592 markings/sec, 55 secs
lola: 114688 markings, 314925 edges, 1579 markings/sec, 60 secs
lola: 123415 markings, 340749 edges, 1745 markings/sec, 65 secs
lola: 132155 markings, 366785 edges, 1748 markings/sec, 70 secs
lola: 140264 markings, 391642 edges, 1622 markings/sec, 75 secs
lola: 149625 markings, 419132 edges, 1872 markings/sec, 80 secs
lola: 157218 markings, 441101 edges, 1519 markings/sec, 85 secs
lola: 163622 markings, 459903 edges, 1281 markings/sec, 90 secs
lola: 170363 markings, 479999 edges, 1348 markings/sec, 95 secs
lola: 177154 markings, 500320 edges, 1358 markings/sec, 100 secs
lola: 184545 markings, 522480 edges, 1478 markings/sec, 105 secs
lola: 192362 markings, 546203 edges, 1563 markings/sec, 110 secs
lola: 199536 markings, 567614 edges, 1435 markings/sec, 115 secs
lola: 207439 markings, 591550 edges, 1581 markings/sec, 120 secs
lola: 214968 markings, 614951 edges, 1506 markings/sec, 125 secs
lola: 221478 markings, 634312 edges, 1302 markings/sec, 130 secs
lola: 228768 markings, 657129 edges, 1458 markings/sec, 135 secs
lola: 235903 markings, 678370 edges, 1427 markings/sec, 140 secs
lola: 244533 markings, 705423 edges, 1726 markings/sec, 145 secs
lola: 253479 markings, 732392 edges, 1789 markings/sec, 150 secs
lola: 260895 markings, 753744 edges, 1483 markings/sec, 155 secs
lola: 268075 markings, 775118 edges, 1436 markings/sec, 160 secs
lola: 275316 markings, 796687 edges, 1448 markings/sec, 165 secs
lola: 282385 markings, 818072 edges, 1414 markings/sec, 170 secs
lola: 289738 markings, 840311 edges, 1471 markings/sec, 175 secs
lola: 297077 markings, 862601 edges, 1468 markings/sec, 180 secs
lola: 304287 markings, 884897 edges, 1442 markings/sec, 185 secs
lola: 311391 markings, 906607 edges, 1421 markings/sec, 190 secs
lola: 319090 markings, 930091 edges, 1540 markings/sec, 195 secs
lola: 326191 markings, 952157 edges, 1420 markings/sec, 200 secs
lola: 334165 markings, 976609 edges, 1595 markings/sec, 205 secs
lola: 341439 markings, 999350 edges, 1455 markings/sec, 210 secs
lola: 349629 markings, 1024480 edges, 1638 markings/sec, 215 secs
lola: 356832 markings, 1047061 edges, 1441 markings/sec, 220 secs
lola: 364546 markings, 1071185 edges, 1543 markings/sec, 225 secs
lola: 371889 markings, 1093715 edges, 1469 markings/sec, 230 secs
lola: 378038 markings, 1113029 edges, 1230 markings/sec, 235 secs
lola: 386645 markings, 1140695 edges, 1721 markings/sec, 240 secs
lola: 394249 markings, 1162376 edges, 1521 markings/sec, 245 secs
lola: 401260 markings, 1183050 edges, 1402 markings/sec, 250 secs
lola: 408651 markings, 1205159 edges, 1478 markings/sec, 255 secs
lola: 416024 markings, 1227595 edges, 1475 markings/sec, 260 secs
lola: 423018 markings, 1248934 edges, 1399 markings/sec, 265 secs
lola: 429959 markings, 1270096 edges, 1388 markings/sec, 270 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 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p170)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 13119 markings, 28625 edges, 2624 markings/sec, 0 secs
lola: 25515 markings, 58130 edges, 2479 markings/sec, 5 secs
lola: 33260 markings, 75856 edges, 1549 markings/sec, 10 secs
lola: 41420 markings, 87430 edges, 1632 markings/sec, 15 secs
lola: 49397 markings, 103039 edges, 1595 markings/sec, 20 secs
lola: 55715 markings, 118501 edges, 1264 markings/sec, 25 secs
lola: 62431 markings, 134601 edges, 1343 markings/sec, 30 secs
lola: 69135 markings, 150639 edges, 1341 markings/sec, 35 secs
lola: 76190 markings, 163920 edges, 1411 markings/sec, 40 secs
lola: 84401 markings, 176144 edges, 1642 markings/sec, 45 secs
lola: 90593 markings, 191158 edges, 1238 markings/sec, 50 secs
lola: 97006 markings, 206563 edges, 1283 markings/sec, 55 secs
lola: 103592 markings, 221103 edges, 1317 markings/sec, 60 secs
lola: 111201 markings, 233647 edges, 1522 markings/sec, 65 secs
lola: 117484 markings, 248758 edges, 1257 markings/sec, 70 secs
lola: 124480 markings, 262747 edges, 1399 markings/sec, 75 secs
lola: 135680 markings, 297896 edges, 2240 markings/sec, 80 secs
lola: 147805 markings, 337420 edges, 2425 markings/sec, 85 secs
lola: 159602 markings, 377061 edges, 2359 markings/sec, 90 secs
lola: 171807 markings, 416135 edges, 2441 markings/sec, 95 secs
lola: 183651 markings, 455869 edges, 2369 markings/sec, 100 secs
lola: 195066 markings, 494599 edges, 2283 markings/sec, 105 secs
lola: 199202 markings, 504521 edges, 827 markings/sec, 110 secs
lola: 206788 markings, 526820 edges, 1517 markings/sec, 115 secs
lola: 214432 markings, 543490 edges, 1529 markings/sec, 120 secs
lola: 220826 markings, 558980 edges, 1279 markings/sec, 125 secs
lola: 227582 markings, 575182 edges, 1351 markings/sec, 130 secs
lola: 234125 markings, 590635 edges, 1309 markings/sec, 135 secs
lola: 241143 markings, 605662 edges, 1404 markings/sec, 140 secs
lola: 247478 markings, 621044 edges, 1267 markings/sec, 145 secs
lola: 254098 markings, 636850 edges, 1324 markings/sec, 150 secs
lola: 260983 markings, 652096 edges, 1377 markings/sec, 155 secs
lola: 267444 markings, 667681 edges, 1292 markings/sec, 160 secs
lola: 274061 markings, 682887 edges, 1323 markings/sec, 165 secs
lola: 286063 markings, 721497 edges, 2400 markings/sec, 170 secs
lola: 298712 markings, 762629 edges, 2530 markings/sec, 175 secs
lola: 311041 markings, 804265 edges, 2466 markings/sec, 180 secs
lola: 323579 markings, 844217 edges, 2508 markings/sec, 185 secs
lola: 334069 markings, 879699 edges, 2098 markings/sec, 190 secs
lola: 343672 markings, 910603 edges, 1921 markings/sec, 195 secs
lola: 350650 markings, 920291 edges, 1396 markings/sec, 200 secs
lola: 358320 markings, 931217 edges, 1534 markings/sec, 205 secs
lola: 365327 markings, 946908 edges, 1401 markings/sec, 210 secs
lola: 371308 markings, 961358 edges, 1196 markings/sec, 215 secs
lola: 378378 markings, 978335 edges, 1414 markings/sec, 220 secs
lola: 385042 markings, 994216 edges, 1333 markings/sec, 225 secs
lola: 392763 markings, 1010384 edges, 1544 markings/sec, 230 secs
lola: 399129 markings, 1025858 edges, 1273 markings/sec, 235 secs
lola: 405587 markings, 1041463 edges, 1292 markings/sec, 240 secs
lola: 411924 markings, 1056611 edges, 1267 markings/sec, 245 secs
lola: 418317 markings, 1071302 edges, 1279 markings/sec, 250 secs
lola: 425665 markings, 1087735 edges, 1470 markings/sec, 255 secs
lola: 432202 markings, 1103495 edges, 1307 markings/sec, 260 secs
lola: 438839 markings, 1119051 edges, 1327 markings/sec, 265 secs
lola: 445610 markings, 1134419 edges, 1354 markings/sec, 270 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 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 6952 markings, 17346 edges, 1390 markings/sec, 0 secs
lola: 13829 markings, 35973 edges, 1375 markings/sec, 5 secs
lola: 20928 markings, 54715 edges, 1420 markings/sec, 10 secs
lola: 28205 markings, 74073 edges, 1455 markings/sec, 15 secs
lola: 35450 markings, 93706 edges, 1449 markings/sec, 20 secs
lola: 42161 markings, 113809 edges, 1342 markings/sec, 25 secs
lola: 48907 markings, 134212 edges, 1349 markings/sec, 30 secs
lola: 55764 markings, 155160 edges, 1371 markings/sec, 35 secs
lola: 62673 markings, 176595 edges, 1382 markings/sec, 40 secs
lola: 69341 markings, 197141 edges, 1334 markings/sec, 45 secs
lola: 76319 markings, 219076 edges, 1396 markings/sec, 50 secs
lola: 83129 markings, 240460 edges, 1362 markings/sec, 55 secs
lola: 90168 markings, 261394 edges, 1408 markings/sec, 60 secs
lola: 96867 markings, 282130 edges, 1340 markings/sec, 65 secs
lola: 103403 markings, 302619 edges, 1307 markings/sec, 70 secs
lola: 110294 markings, 324570 edges, 1378 markings/sec, 75 secs
lola: 116975 markings, 345893 edges, 1336 markings/sec, 80 secs
lola: 123277 markings, 366284 edges, 1260 markings/sec, 85 secs
lola: 129516 markings, 386497 edges, 1248 markings/sec, 90 secs
lola: 136310 markings, 408542 edges, 1359 markings/sec, 95 secs
lola: 142954 markings, 430033 edges, 1329 markings/sec, 100 secs
lola: 149905 markings, 452563 edges, 1390 markings/sec, 105 secs
lola: 156452 markings, 474913 edges, 1309 markings/sec, 110 secs
lola: 163531 markings, 498014 edges, 1416 markings/sec, 115 secs
lola: 170341 markings, 519314 edges, 1362 markings/sec, 120 secs
lola: 176615 markings, 538455 edges, 1255 markings/sec, 125 secs
lola: 183178 markings, 559568 edges, 1313 markings/sec, 130 secs
lola: 189426 markings, 579480 edges, 1250 markings/sec, 135 secs
lola: 195908 markings, 600507 edges, 1296 markings/sec, 140 secs
lola: 202736 markings, 622414 edges, 1366 markings/sec, 145 secs
lola: 209450 markings, 644325 edges, 1343 markings/sec, 150 secs
lola: 216239 markings, 666535 edges, 1358 markings/sec, 155 secs
lola: 222762 markings, 688478 edges, 1305 markings/sec, 160 secs
lola: 229518 markings, 711278 edges, 1351 markings/sec, 165 secs
lola: 235659 markings, 731171 edges, 1228 markings/sec, 170 secs
lola: 242033 markings, 752687 edges, 1275 markings/sec, 175 secs
lola: 248960 markings, 776152 edges, 1385 markings/sec, 180 secs
lola: 256171 markings, 799578 edges, 1442 markings/sec, 185 secs
lola: 262542 markings, 822044 edges, 1274 markings/sec, 190 secs
lola: 269859 markings, 845755 edges, 1463 markings/sec, 195 secs
lola: 276003 markings, 867540 edges, 1229 markings/sec, 200 secs
lola: 282410 markings, 887791 edges, 1281 markings/sec, 205 secs
lola: 288453 markings, 906042 edges, 1209 markings/sec, 210 secs
lola: 294403 markings, 925059 edges, 1190 markings/sec, 215 secs
lola: 300105 markings, 943734 edges, 1140 markings/sec, 220 secs
lola: 306240 markings, 963369 edges, 1227 markings/sec, 225 secs
lola: 312195 markings, 982833 edges, 1191 markings/sec, 230 secs
lola: 318712 markings, 1004201 edges, 1303 markings/sec, 235 secs
lola: 325312 markings, 1025862 edges, 1320 markings/sec, 240 secs
lola: 331795 markings, 1047630 edges, 1297 markings/sec, 245 secs
lola: 338620 markings, 1070628 edges, 1365 markings/sec, 250 secs
lola: 345462 markings, 1093080 edges, 1368 markings/sec, 255 secs
lola: 351144 markings, 1112129 edges, 1136 markings/sec, 260 secs
lola: 357182 markings, 1132596 edges, 1208 markings/sec, 265 secs
lola: 363094 markings, 1152479 edges, 1182 markings/sec, 270 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 277 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p169)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 8606 markings, 15658 edges, 1721 markings/sec, 0 secs
lola: 18142 markings, 40810 edges, 1907 markings/sec, 5 secs
lola: 26276 markings, 62759 edges, 1627 markings/sec, 10 secs
lola: 35066 markings, 86214 edges, 1758 markings/sec, 15 secs
lola: 43758 markings, 110508 edges, 1738 markings/sec, 20 secs
lola: 52043 markings, 133155 edges, 1657 markings/sec, 25 secs
lola: 61584 markings, 160954 edges, 1908 markings/sec, 30 secs
lola: 71043 markings, 188461 edges, 1892 markings/sec, 35 secs
lola: 79063 markings, 211031 edges, 1604 markings/sec, 40 secs
lola: 87047 markings, 234021 edges, 1597 markings/sec, 45 secs
lola: 95350 markings, 258483 edges, 1661 markings/sec, 50 secs
lola: 104066 markings, 283742 edges, 1743 markings/sec, 55 secs
lola: 112580 markings, 308775 edges, 1703 markings/sec, 60 secs
lola: 121465 markings, 335072 edges, 1777 markings/sec, 65 secs
lola: 130517 markings, 362073 edges, 1810 markings/sec, 70 secs
lola: 139711 markings, 389883 edges, 1839 markings/sec, 75 secs
lola: 148458 markings, 415742 edges, 1749 markings/sec, 80 secs
lola: 155116 markings, 434857 edges, 1332 markings/sec, 85 secs
lola: 162387 markings, 456200 edges, 1454 markings/sec, 90 secs
lola: 168664 markings, 474877 edges, 1255 markings/sec, 95 secs
lola: 175259 markings, 494469 edges, 1319 markings/sec, 100 secs
lola: 181863 markings, 514291 edges, 1321 markings/sec, 105 secs
lola: 188756 markings, 535009 edges, 1379 markings/sec, 110 secs
lola: 196730 markings, 559100 edges, 1595 markings/sec, 115 secs
lola: 204677 markings, 583613 edges, 1589 markings/sec, 120 secs
lola: 212224 markings, 606205 edges, 1509 markings/sec, 125 secs
lola: 220916 markings, 632614 edges, 1738 markings/sec, 130 secs
lola: 229038 markings, 657916 edges, 1624 markings/sec, 135 secs
lola: 236781 markings, 681048 edges, 1549 markings/sec, 140 secs
lola: 245291 markings, 707608 edges, 1702 markings/sec, 145 secs
lola: 254361 markings, 734897 edges, 1814 markings/sec, 150 secs
lola: 261998 markings, 756951 edges, 1527 markings/sec, 155 secs
lola: 269605 markings, 779512 edges, 1521 markings/sec, 160 secs
lola: 276918 markings, 801633 edges, 1463 markings/sec, 165 secs
lola: 284922 markings, 825902 edges, 1601 markings/sec, 170 secs
lola: 292233 markings, 847971 edges, 1462 markings/sec, 175 secs
lola: 300084 markings, 871898 edges, 1570 markings/sec, 180 secs
lola: 308058 markings, 896176 edges, 1595 markings/sec, 185 secs
lola: 315911 markings, 920624 edges, 1571 markings/sec, 190 secs
lola: 323564 markings, 943968 edges, 1531 markings/sec, 195 secs
lola: 331385 markings, 968355 edges, 1564 markings/sec, 200 secs
lola: 339260 markings, 992564 edges, 1575 markings/sec, 205 secs
lola: 347145 markings, 1017116 edges, 1577 markings/sec, 210 secs
lola: 355344 markings, 1042355 edges, 1640 markings/sec, 215 secs
lola: 363294 markings, 1067574 edges, 1590 markings/sec, 220 secs
lola: 372280 markings, 1094995 edges, 1797 markings/sec, 225 secs
lola: 381378 markings, 1123870 edges, 1820 markings/sec, 230 secs
lola: 390760 markings, 1152448 edges, 1876 markings/sec, 235 secs
lola: 398711 markings, 1175466 edges, 1590 markings/sec, 240 secs
lola: 406725 markings, 1199410 edges, 1603 markings/sec, 245 secs
lola: 414680 markings, 1223432 edges, 1591 markings/sec, 250 secs
lola: 422344 markings, 1246873 edges, 1533 markings/sec, 255 secs
lola: 430218 markings, 1270879 edges, 1575 markings/sec, 260 secs
lola: 438190 markings, 1295177 edges, 1594 markings/sec, 265 secs
lola: 445976 markings, 1319343 edges, 1557 markings/sec, 270 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 277 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p171)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 53148 markings, 86229 edges, 10630 markings/sec, 0 secs
lola: 115906 markings, 190213 edges, 12552 markings/sec, 5 secs
lola: 161664 markings, 266718 edges, 9152 markings/sec, 10 secs
lola: 222488 markings, 367838 edges, 12165 markings/sec, 15 secs
lola: 280312 markings, 463444 edges, 11565 markings/sec, 20 secs
lola: 327945 markings, 542296 edges, 9527 markings/sec, 25 secs
lola: 387846 markings, 640926 edges, 11980 markings/sec, 30 secs
lola: 436938 markings, 724409 edges, 9818 markings/sec, 35 secs
lola: 490166 markings, 811342 edges, 10646 markings/sec, 40 secs
lola: 545476 markings, 902712 edges, 11062 markings/sec, 45 secs
lola: 588120 markings, 974089 edges, 8529 markings/sec, 50 secs
lola: 642982 markings, 1064901 edges, 10972 markings/sec, 55 secs
lola: 698408 markings, 1157091 edges, 11085 markings/sec, 60 secs
lola: 743806 markings, 1231799 edges, 9080 markings/sec, 65 secs
lola: 804302 markings, 1331824 edges, 12099 markings/sec, 70 secs
lola: 851756 markings, 1411352 edges, 9491 markings/sec, 75 secs
lola: 912568 markings, 1511377 edges, 12162 markings/sec, 80 secs
lola: 968334 markings, 1605746 edges, 11153 markings/sec, 85 secs
lola: 1024170 markings, 1697416 edges, 11167 markings/sec, 90 secs
lola: 1086350 markings, 1800150 edges, 12436 markings/sec, 95 secs
lola: 1135764 markings, 1882135 edges, 9883 markings/sec, 100 secs
lola: 1198175 markings, 1985791 edges, 12482 markings/sec, 105 secs
lola: 1247354 markings, 2067074 edges, 9836 markings/sec, 110 secs
lola: 1309580 markings, 2170243 edges, 12445 markings/sec, 115 secs
lola: 1359254 markings, 2252673 edges, 9935 markings/sec, 120 secs
lola: 1421526 markings, 2355928 edges, 12454 markings/sec, 125 secs
lola: 1471142 markings, 2438290 edges, 9923 markings/sec, 130 secs
lola: 1533318 markings, 2541367 edges, 12435 markings/sec, 135 secs
lola: 1582944 markings, 2623775 edges, 9925 markings/sec, 140 secs
lola: 1645198 markings, 2726992 edges, 12451 markings/sec, 145 secs
lola: 1693802 markings, 2807744 edges, 9721 markings/sec, 150 secs
lola: 1755262 markings, 2909729 edges, 12292 markings/sec, 155 secs
lola: 1803464 markings, 2989740 edges, 9640 markings/sec, 160 secs
lola: 1858676 markings, 3081372 edges, 11042 markings/sec, 165 secs
lola: 1900814 markings, 3151266 edges, 8428 markings/sec, 170 secs
lola: 1956526 markings, 3243724 edges, 11142 markings/sec, 175 secs
lola: 2002722 markings, 3320418 edges, 9239 markings/sec, 180 secs
lola: 2057507 markings, 3411448 edges, 10957 markings/sec, 185 secs
lola: 2099470 markings, 3480969 edges, 8393 markings/sec, 190 secs
lola: 2154292 markings, 3572113 edges, 10964 markings/sec, 195 secs
lola: 2196432 markings, 3642006 edges, 8428 markings/sec, 200 secs
lola: 2250248 markings, 3731087 edges, 10763 markings/sec, 205 secs
lola: 2295922 markings, 3806479 edges, 9135 markings/sec, 210 secs
lola: 2342140 markings, 3884647 edges, 9244 markings/sec, 215 secs
lola: 2352440 markings, 3901982 edges, 2060 markings/sec, 220 secs
lola: 2357044 markings, 3908642 edges, 921 markings/sec, 225 secs
lola: 2361834 markings, 3915545 edges, 958 markings/sec, 230 secs
lola: 2366570 markings, 3922398 edges, 947 markings/sec, 235 secs
lola: 2371410 markings, 3929412 edges, 968 markings/sec, 240 secs
lola: 2376218 markings, 3936378 edges, 962 markings/sec, 245 secs
lola: 2381032 markings, 3943343 edges, 963 markings/sec, 250 secs
lola: 2385896 markings, 3950362 edges, 973 markings/sec, 255 secs
lola: 2390592 markings, 3957160 edges, 939 markings/sec, 260 secs
lola: 2395582 markings, 3964512 edges, 998 markings/sec, 265 secs
lola: 2399668 markings, 3970600 edges, 817 markings/sec, 270 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 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p175)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 30822 markings, 50378 edges, 6164 markings/sec, 0 secs
lola: 65328 markings, 107886 edges, 6901 markings/sec, 5 secs
lola: 101252 markings, 167506 edges, 7185 markings/sec, 10 secs
lola: 133154 markings, 221700 edges, 6380 markings/sec, 15 secs
lola: 162112 markings, 269374 edges, 5792 markings/sec, 20 secs
lola: 197522 markings, 328347 edges, 7082 markings/sec, 25 secs
lola: 230396 markings, 383056 edges, 6575 markings/sec, 30 secs
lola: 263560 markings, 438868 edges, 6633 markings/sec, 35 secs
lola: 291682 markings, 486832 edges, 5624 markings/sec, 40 secs
lola: 326405 markings, 543458 edges, 6945 markings/sec, 45 secs
lola: 362064 markings, 603680 edges, 7132 markings/sec, 50 secs
lola: 401478 markings, 669203 edges, 7883 markings/sec, 55 secs
lola: 431686 markings, 720620 edges, 6042 markings/sec, 60 secs
lola: 465770 markings, 776180 edges, 6817 markings/sec, 65 secs
lola: 500282 markings, 834513 edges, 6902 markings/sec, 70 secs
lola: 538522 markings, 898033 edges, 7648 markings/sec, 75 secs
lola: 568246 markings, 948604 edges, 5945 markings/sec, 80 secs
lola: 603172 markings, 1005614 edges, 6985 markings/sec, 85 secs
lola: 638564 markings, 1064831 edges, 7078 markings/sec, 90 secs
lola: 676782 markings, 1129025 edges, 7644 markings/sec, 95 secs
lola: 704082 markings, 1174665 edges, 5460 markings/sec, 100 secs
lola: 742280 markings, 1237914 edges, 7640 markings/sec, 105 secs
lola: 780368 markings, 1301342 edges, 7618 markings/sec, 110 secs
lola: 815182 markings, 1360289 edges, 6963 markings/sec, 115 secs
lola: 843597 markings, 1407281 edges, 5683 markings/sec, 120 secs
lola: 880442 markings, 1468774 edges, 7369 markings/sec, 125 secs
lola: 918919 markings, 1532743 edges, 7695 markings/sec, 130 secs
lola: 951466 markings, 1587587 edges, 6509 markings/sec, 135 secs
lola: 975992 markings, 1628416 edges, 4905 markings/sec, 140 secs
lola: 1009066 markings, 1683612 edges, 6615 markings/sec, 145 secs
lola: 1044774 markings, 1742838 edges, 7142 markings/sec, 150 secs
lola: 1077820 markings, 1798910 edges, 6609 markings/sec, 155 secs
lola: 1109626 markings, 1851061 edges, 6361 markings/sec, 160 secs
lola: 1146756 markings, 1912929 edges, 7426 markings/sec, 165 secs
lola: 1182538 markings, 1973297 edges, 7156 markings/sec, 170 secs
lola: 1210950 markings, 2020492 edges, 5682 markings/sec, 175 secs
lola: 1247152 markings, 2080935 edges, 7240 markings/sec, 180 secs
lola: 1285672 markings, 2145006 edges, 7704 markings/sec, 185 secs
lola: 1315010 markings, 2195008 edges, 5868 markings/sec, 190 secs
lola: 1349130 markings, 2250854 edges, 6824 markings/sec, 195 secs
lola: 1385318 markings, 2311013 edges, 7238 markings/sec, 200 secs
lola: 1418884 markings, 2368003 edges, 6713 markings/sec, 205 secs
lola: 1446250 markings, 2413065 edges, 5473 markings/sec, 210 secs
lola: 1482632 markings, 2473566 edges, 7276 markings/sec, 215 secs
lola: 1519276 markings, 2535223 edges, 7329 markings/sec, 220 secs
lola: 1546828 markings, 2581061 edges, 5510 markings/sec, 225 secs
lola: 1582146 markings, 2640058 edges, 7064 markings/sec, 230 secs
lola: 1619468 markings, 2702249 edges, 7464 markings/sec, 235 secs
lola: 1646208 markings, 2747009 edges, 5348 markings/sec, 240 secs
lola: 1682180 markings, 2806857 edges, 7194 markings/sec, 245 secs
lola: 1720220 markings, 2870167 edges, 7608 markings/sec, 250 secs
lola: 1748664 markings, 2918487 edges, 5689 markings/sec, 255 secs
lola: 1784098 markings, 2976872 edges, 7087 markings/sec, 260 secs
lola: 1821378 markings, 3038923 edges, 7456 markings/sec, 265 secs
lola: 1849342 markings, 3086431 edges, 5593 markings/sec, 270 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 277 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p85)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 14308 markings, 27479 edges, 2862 markings/sec, 0 secs
lola: 24499 markings, 52099 edges, 2038 markings/sec, 5 secs
lola: 32189 markings, 70229 edges, 1538 markings/sec, 10 secs
lola: 42253 markings, 87976 edges, 2013 markings/sec, 15 secs
lola: 51913 markings, 111290 edges, 1932 markings/sec, 20 secs
lola: 58475 markings, 126900 edges, 1312 markings/sec, 25 secs
lola: 68445 markings, 146396 edges, 1994 markings/sec, 30 secs
lola: 76487 markings, 164496 edges, 1608 markings/sec, 35 secs
lola: 91760 markings, 209873 edges, 3055 markings/sec, 40 secs
lola: 113325 markings, 281721 edges, 4313 markings/sec, 45 secs
lola: 135651 markings, 355827 edges, 4465 markings/sec, 50 secs
lola: 155224 markings, 415144 edges, 3915 markings/sec, 55 secs
lola: 167006 markings, 443562 edges, 2356 markings/sec, 60 secs
lola: 174789 markings, 462324 edges, 1557 markings/sec, 65 secs
lola: 180865 markings, 476410 edges, 1215 markings/sec, 70 secs
lola: 191458 markings, 500261 edges, 2119 markings/sec, 75 secs
lola: 199034 markings, 518457 edges, 1515 markings/sec, 80 secs
lola: 206885 markings, 536063 edges, 1570 markings/sec, 85 secs
lola: 214461 markings, 554200 edges, 1515 markings/sec, 90 secs
lola: 223637 markings, 578896 edges, 1835 markings/sec, 95 secs
lola: 244370 markings, 647639 edges, 4147 markings/sec, 100 secs
lola: 266208 markings, 720297 edges, 4368 markings/sec, 105 secs
lola: 286508 markings, 789162 edges, 4060 markings/sec, 110 secs
lola: 299674 markings, 819144 edges, 2633 markings/sec, 115 secs
lola: 308040 markings, 839389 edges, 1673 markings/sec, 120 secs
lola: 314697 markings, 855149 edges, 1331 markings/sec, 125 secs
lola: 325205 markings, 878517 edges, 2102 markings/sec, 130 secs
lola: 334849 markings, 901671 edges, 1929 markings/sec, 135 secs
lola: 343880 markings, 922165 edges, 1806 markings/sec, 140 secs
lola: 352173 markings, 941561 edges, 1659 markings/sec, 145 secs
lola: 367827 markings, 990940 edges, 3131 markings/sec, 150 secs
lola: 387645 markings, 1057127 edges, 3964 markings/sec, 155 secs
lola: 409902 markings, 1131013 edges, 4451 markings/sec, 160 secs
lola: 428440 markings, 1183739 edges, 3708 markings/sec, 165 secs
lola: 438896 markings, 1209069 edges, 2091 markings/sec, 170 secs
lola: 446480 markings, 1227169 edges, 1517 markings/sec, 175 secs
lola: 453510 markings, 1242330 edges, 1406 markings/sec, 180 secs
lola: 463655 markings, 1266633 edges, 2029 markings/sec, 185 secs
lola: 470559 markings, 1282893 edges, 1381 markings/sec, 190 secs
lola: 480742 markings, 1306373 edges, 2037 markings/sec, 195 secs
lola: 492437 markings, 1339091 edges, 2339 markings/sec, 200 secs
lola: 513942 markings, 1410826 edges, 4301 markings/sec, 205 secs
lola: 536502 markings, 1485751 edges, 4512 markings/sec, 210 secs
lola: 555872 markings, 1543649 edges, 3874 markings/sec, 215 secs
lola: 567643 markings, 1572199 edges, 2354 markings/sec, 220 secs
lola: 576005 markings, 1592183 edges, 1672 markings/sec, 225 secs
lola: 585547 markings, 1613183 edges, 1908 markings/sec, 230 secs
lola: 595580 markings, 1637365 edges, 2007 markings/sec, 235 secs
lola: 604377 markings, 1657342 edges, 1759 markings/sec, 240 secs
lola: 612721 markings, 1676849 edges, 1669 markings/sec, 245 secs
lola: 632092 markings, 1739088 edges, 3874 markings/sec, 250 secs
lola: 654198 markings, 1812450 edges, 4421 markings/sec, 255 secs
lola: 675256 markings, 1883853 edges, 4212 markings/sec, 260 secs
lola: 689184 markings, 1916494 edges, 2786 markings/sec, 265 secs
lola: 697347 markings, 1936097 edges, 1633 markings/sec, 270 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 277 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 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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 14 will run for 415 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p171)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 47532 markings, 76956 edges, 9506 markings/sec, 0 secs
lola: 108040 markings, 177039 edges, 12102 markings/sec, 5 secs
lola: 155714 markings, 257287 edges, 9535 markings/sec, 10 secs
lola: 215394 markings, 355880 edges, 11936 markings/sec, 15 secs
lola: 274919 markings, 454277 edges, 11905 markings/sec, 20 secs
lola: 319468 markings, 528670 edges, 8910 markings/sec, 25 secs
lola: 374078 markings, 618286 edges, 10922 markings/sec, 30 secs
lola: 429138 markings, 710284 edges, 11012 markings/sec, 35 secs
lola: 471136 markings, 779576 edges, 8400 markings/sec, 40 secs
lola: 530617 markings, 877817 edges, 11896 markings/sec, 45 secs
lola: 577188 markings, 956380 edges, 9314 markings/sec, 50 secs
lola: 637468 markings, 1056061 edges, 12056 markings/sec, 55 secs
lola: 698630 markings, 1157480 edges, 12232 markings/sec, 60 secs
lola: 746021 markings, 1235496 edges, 9478 markings/sec, 65 secs
lola: 805406 markings, 1333756 edges, 11877 markings/sec, 70 secs
lola: 852359 markings, 1412367 edges, 9391 markings/sec, 75 secs
lola: 911812 markings, 1510054 edges, 11891 markings/sec, 80 secs
lola: 968094 markings, 1605386 edges, 11256 markings/sec, 85 secs
lola: 1018910 markings, 1688426 edges, 10163 markings/sec, 90 secs
lola: 1076274 markings, 1783548 edges, 11473 markings/sec, 95 secs
lola: 1119870 markings, 1855695 edges, 8719 markings/sec, 100 secs
lola: 1176372 markings, 1948986 edges, 11300 markings/sec, 105 secs
lola: 1221330 markings, 2024368 edges, 8992 markings/sec, 110 secs
lola: 1282090 markings, 2124184 edges, 12152 markings/sec, 115 secs
lola: 1331836 markings, 2208606 edges, 9949 markings/sec, 120 secs
lola: 1386542 markings, 2298030 edges, 10941 markings/sec, 125 secs
lola: 1443834 markings, 2393773 edges, 11458 markings/sec, 130 secs
lola: 1494641 markings, 2477692 edges, 10161 markings/sec, 135 secs
lola: 1553526 markings, 2575090 edges, 11777 markings/sec, 140 secs
lola: 1601620 markings, 2655114 edges, 9619 markings/sec, 145 secs
lola: 1661360 markings, 2753753 edges, 11948 markings/sec, 150 secs
lola: 1708218 markings, 2831964 edges, 9372 markings/sec, 155 secs
lola: 1767528 markings, 2930132 edges, 11862 markings/sec, 160 secs
lola: 1813016 markings, 3005946 edges, 9098 markings/sec, 165 secs
lola: 1870286 markings, 3100726 edges, 11454 markings/sec, 170 secs
lola: 1916926 markings, 3178440 edges, 9328 markings/sec, 175 secs
lola: 1971748 markings, 3269660 edges, 10964 markings/sec, 180 secs
lola: 2020180 markings, 3348900 edges, 9686 markings/sec, 185 secs
lola: 2070328 markings, 3433657 edges, 10030 markings/sec, 190 secs
lola: 2125949 markings, 3524370 edges, 11124 markings/sec, 195 secs
lola: 2171758 markings, 3601301 edges, 9162 markings/sec, 200 secs
lola: 2231964 markings, 3700514 edges, 12041 markings/sec, 205 secs
lola: 2278390 markings, 3777818 edges, 9285 markings/sec, 210 secs
lola: 2338196 markings, 3877076 edges, 11961 markings/sec, 215 secs
lola: 2352028 markings, 3901364 edges, 2766 markings/sec, 220 secs
lola: 2356342 markings, 3907630 edges, 863 markings/sec, 225 secs
lola: 2360770 markings, 3914026 edges, 886 markings/sec, 230 secs
lola: 2365038 markings, 3920182 edges, 854 markings/sec, 235 secs
lola: 2369428 markings, 3926562 edges, 878 markings/sec, 240 secs
lola: 2373688 markings, 3932706 edges, 852 markings/sec, 245 secs
lola: 2377950 markings, 3938885 edges, 852 markings/sec, 250 secs
lola: 2382416 markings, 3945347 edges, 893 markings/sec, 255 secs
lola: 2386926 markings, 3951866 edges, 902 markings/sec, 260 secs
lola: 2391826 markings, 3959083 edges, 980 markings/sec, 265 secs
lola: 2396382 markings, 3965671 edges, 911 markings/sec, 270 secs
lola: 2399980 markings, 3971068 edges, 720 markings/sec, 275 secs
lola: 2403610 markings, 3976550 edges, 726 markings/sec, 280 secs
lola: 2406964 markings, 3982269 edges, 671 markings/sec, 285 secs
lola: 2410356 markings, 3988042 edges, 678 markings/sec, 290 secs
lola: 2413686 markings, 3993705 edges, 666 markings/sec, 295 secs
lola: 2417002 markings, 3999508 edges, 663 markings/sec, 300 secs
lola: 2420390 markings, 4005270 edges, 678 markings/sec, 305 secs
lola: 2423692 markings, 4010879 edges, 660 markings/sec, 310 secs
lola: 2426980 markings, 4016462 edges, 658 markings/sec, 315 secs
lola: 2430408 markings, 4022288 edges, 686 markings/sec, 320 secs
lola: 2433782 markings, 4028138 edges, 675 markings/sec, 325 secs
lola: 2436986 markings, 4033625 edges, 641 markings/sec, 330 secs
lola: 2440070 markings, 4038845 edges, 617 markings/sec, 335 secs
lola: 2443194 markings, 4044133 edges, 625 markings/sec, 340 secs
lola: 2446306 markings, 4049303 edges, 622 markings/sec, 345 secs
lola: 2449406 markings, 4054455 edges, 620 markings/sec, 350 secs
lola: 2452580 markings, 4059822 edges, 635 markings/sec, 355 secs
lola: 2455700 markings, 4064902 edges, 624 markings/sec, 360 secs
lola: 2459090 markings, 4069939 edges, 678 markings/sec, 365 secs
lola: 2469184 markings, 4086913 edges, 2019 markings/sec, 370 secs
lola: 2473302 markings, 4092844 edges, 824 markings/sec, 375 secs
lola: 2477480 markings, 4098906 edges, 836 markings/sec, 380 secs
lola: 2481684 markings, 4104966 edges, 841 markings/sec, 385 secs
lola: 2485880 markings, 4111055 edges, 839 markings/sec, 390 secs
lola: 2490068 markings, 4117124 edges, 838 markings/sec, 395 secs
lola: 2494276 markings, 4123198 edges, 842 markings/sec, 400 secs
lola: 2498448 markings, 4129251 edges, 834 markings/sec, 405 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 416 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p173 + p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 764 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: 6163 markings, 11553 edges, 1233 markings/sec, 0 secs
lola: 11360 markings, 22923 edges, 1039 markings/sec, 5 secs
lola: 16886 markings, 35228 edges, 1105 markings/sec, 10 secs
lola: 21815 markings, 46250 edges, 986 markings/sec, 15 secs
lola: 27503 markings, 59423 edges, 1138 markings/sec, 20 secs
lola: 33295 markings, 72879 edges, 1158 markings/sec, 25 secs
lola: 38526 markings, 83762 edges, 1046 markings/sec, 30 secs
lola: 44585 markings, 98621 edges, 1212 markings/sec, 35 secs
lola: 51556 markings, 115141 edges, 1394 markings/sec, 40 secs
lola: 58408 markings, 131557 edges, 1370 markings/sec, 45 secs
lola: 65109 markings, 147045 edges, 1340 markings/sec, 50 secs
lola: 71255 markings, 159571 edges, 1229 markings/sec, 55 secs
lola: 76555 markings, 172435 edges, 1060 markings/sec, 60 secs
lola: 81363 markings, 184241 edges, 962 markings/sec, 65 secs
lola: 87245 markings, 198696 edges, 1176 markings/sec, 70 secs
lola: 93648 markings, 213792 edges, 1281 markings/sec, 75 secs
lola: 99957 markings, 229492 edges, 1262 markings/sec, 80 secs
lola: 106384 markings, 244882 edges, 1285 markings/sec, 85 secs
lola: 113035 markings, 261204 edges, 1330 markings/sec, 90 secs
lola: 119688 markings, 276057 edges, 1331 markings/sec, 95 secs
lola: 125983 markings, 288623 edges, 1259 markings/sec, 100 secs
lola: 132082 markings, 303327 edges, 1220 markings/sec, 105 secs
lola: 138028 markings, 317889 edges, 1189 markings/sec, 110 secs
lola: 143823 markings, 332118 edges, 1159 markings/sec, 115 secs
lola: 150447 markings, 349025 edges, 1325 markings/sec, 120 secs
lola: 157572 markings, 366097 edges, 1425 markings/sec, 125 secs
lola: 163667 markings, 380767 edges, 1219 markings/sec, 130 secs
lola: 169984 markings, 396005 edges, 1263 markings/sec, 135 secs
lola: 176332 markings, 412019 edges, 1270 markings/sec, 140 secs
lola: 182766 markings, 427940 edges, 1287 markings/sec, 145 secs
lola: 189456 markings, 445066 edges, 1338 markings/sec, 150 secs
lola: 196299 markings, 461637 edges, 1369 markings/sec, 155 secs
lola: 203455 markings, 478087 edges, 1431 markings/sec, 160 secs
lola: 209912 markings, 490593 edges, 1291 markings/sec, 165 secs
lola: 216726 markings, 505671 edges, 1363 markings/sec, 170 secs
lola: 223130 markings, 521281 edges, 1281 markings/sec, 175 secs
lola: 229180 markings, 536053 edges, 1210 markings/sec, 180 secs
lola: 235310 markings, 551172 edges, 1226 markings/sec, 185 secs
lola: 240977 markings, 565108 edges, 1133 markings/sec, 190 secs
lola: 246819 markings, 579932 edges, 1168 markings/sec, 195 secs
lola: 253513 markings, 597365 edges, 1339 markings/sec, 200 secs
lola: 260383 markings, 614217 edges, 1374 markings/sec, 205 secs
lola: 267065 markings, 630137 edges, 1336 markings/sec, 210 secs
lola: 272990 markings, 644651 edges, 1185 markings/sec, 215 secs
lola: 279594 markings, 661427 edges, 1321 markings/sec, 220 secs
lola: 285772 markings, 676943 edges, 1236 markings/sec, 225 secs
lola: 292069 markings, 691958 edges, 1259 markings/sec, 230 secs
lola: 298625 markings, 709276 edges, 1311 markings/sec, 235 secs
lola: 304922 markings, 725269 edges, 1259 markings/sec, 240 secs
lola: 311014 markings, 740472 edges, 1218 markings/sec, 245 secs
lola: 317276 markings, 756172 edges, 1252 markings/sec, 250 secs
lola: 323939 markings, 772607 edges, 1333 markings/sec, 255 secs
lola: 331069 markings, 789384 edges, 1426 markings/sec, 260 secs
lola: 337047 markings, 802244 edges, 1196 markings/sec, 265 secs
lola: 343116 markings, 813788 edges, 1214 markings/sec, 270 secs
lola: 349814 markings, 827991 edges, 1340 markings/sec, 275 secs
lola: 356208 markings, 843364 edges, 1279 markings/sec, 280 secs
lola: 362709 markings, 859342 edges, 1300 markings/sec, 285 secs
lola: 369082 markings, 874974 edges, 1275 markings/sec, 290 secs
lola: 375194 markings, 890026 edges, 1222 markings/sec, 295 secs
lola: 381110 markings, 904598 edges, 1183 markings/sec, 300 secs
lola: 386899 markings, 918832 edges, 1158 markings/sec, 305 secs
lola: 392497 markings, 932708 edges, 1120 markings/sec, 310 secs
lola: 398134 markings, 947210 edges, 1127 markings/sec, 315 secs
lola: 405532 markings, 966568 edges, 1480 markings/sec, 320 secs
lola: 412773 markings, 985294 edges, 1448 markings/sec, 325 secs
lola: 419709 markings, 1002559 edges, 1387 markings/sec, 330 secs
lola: 427249 markings, 1020824 edges, 1508 markings/sec, 335 secs
lola: 432979 markings, 1033587 edges, 1146 markings/sec, 340 secs
lola: 439853 markings, 1052317 edges, 1375 markings/sec, 345 secs
lola: 446736 markings, 1069466 edges, 1377 markings/sec, 350 secs
lola: 453131 markings, 1085131 edges, 1279 markings/sec, 355 secs
lola: 459824 markings, 1102846 edges, 1339 markings/sec, 360 secs
lola: 466082 markings, 1117732 edges, 1252 markings/sec, 365 secs
lola: 472352 markings, 1134504 edges, 1254 markings/sec, 370 secs
lola: 477376 markings, 1146294 edges, 1005 markings/sec, 375 secs
lola: 483238 markings, 1162188 edges, 1172 markings/sec, 380 secs
lola: 489691 markings, 1178147 edges, 1291 markings/sec, 385 secs
lola: 496698 markings, 1195696 edges, 1401 markings/sec, 390 secs
lola: 503730 markings, 1213646 edges, 1406 markings/sec, 395 secs
lola: 510362 markings, 1230697 edges, 1326 markings/sec, 400 secs
lola: 516229 markings, 1245231 edges, 1173 markings/sec, 405 secs
lola: 523203 markings, 1261840 edges, 1395 markings/sec, 410 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown 80 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-1 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494613541194
--------------------
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="BridgeAndVehicles-COL-V80P20N20"
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/BridgeAndVehicles-COL-V80P20N20.tgz
mv BridgeAndVehicles-COL-V80P20N20 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 BridgeAndVehicles-COL-V80P20N20, 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 r008-csrt-149436126200389"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;