About the Execution of LoLA for S_AutoFlight-PT-05b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6008.650 | 3540207.00 | 3550944.00 | 317.60 | ? ? ? ? ? ? ? ? ? 1 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 S_AutoFlight-PT-05b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074100191
=====================================================================
--------------------
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 AutoFlight-PT-05b-UpperBounds-0
FORMULA_NAME AutoFlight-PT-05b-UpperBounds-1
FORMULA_NAME AutoFlight-PT-05b-UpperBounds-10
FORMULA_NAME AutoFlight-PT-05b-UpperBounds-11
FORMULA_NAME AutoFlight-PT-05b-UpperBounds-12
FORMULA_NAME AutoFlight-PT-05b-UpperBounds-13
FORMULA_NAME AutoFlight-PT-05b-UpperBounds-14
FORMULA_NAME AutoFlight-PT-05b-UpperBounds-15
FORMULA_NAME AutoFlight-PT-05b-UpperBounds-2
FORMULA_NAME AutoFlight-PT-05b-UpperBounds-3
FORMULA_NAME AutoFlight-PT-05b-UpperBounds-4
FORMULA_NAME AutoFlight-PT-05b-UpperBounds-5
FORMULA_NAME AutoFlight-PT-05b-UpperBounds-6
FORMULA_NAME AutoFlight-PT-05b-UpperBounds-7
FORMULA_NAME AutoFlight-PT-05b-UpperBounds-8
FORMULA_NAME AutoFlight-PT-05b-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496334179431
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_AutoFlight-PT-05b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_AutoFlight-PT-05b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_AutoFlight-PT-05b @ 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: 962/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 482 places, 480 transitions, 448 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 535 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-05b-UpperBounds.task
lola: MAX(p411) : MAX(p245) : MAX(p216) : MAX(p23) : MAX(p126) : MAX(p404) : MAX(p172) : MAX(p238) : MAX(p13) : MAX(p69) : MAX(p397) : MAX(p70) : MAX(p384) : MAX(p298) : MAX(p262) : MAX(p329)
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(p411)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 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: 878367 markings, 1639696 edges, 175673 markings/sec, 0 secs
lola: 1685534 markings, 3239726 edges, 161433 markings/sec, 5 secs
lola: 2494210 markings, 4892762 edges, 161735 markings/sec, 10 secs
lola: 3249830 markings, 6491430 edges, 151124 markings/sec, 15 secs
lola: 4004034 markings, 8109179 edges, 150841 markings/sec, 20 secs
lola: 4779004 markings, 9773166 edges, 154994 markings/sec, 25 secs
lola: 5536772 markings, 11440189 edges, 151554 markings/sec, 30 secs
lola: 6311277 markings, 13138930 edges, 154901 markings/sec, 35 secs
lola: 7076976 markings, 14826128 edges, 153140 markings/sec, 40 secs
lola: 7846224 markings, 16576277 edges, 153850 markings/sec, 45 secs
lola: 8607150 markings, 18305489 edges, 152185 markings/sec, 50 secs
lola: 9344513 markings, 20030085 edges, 147473 markings/sec, 55 secs
lola: 10074249 markings, 21831673 edges, 145947 markings/sec, 60 secs
lola: 10800000 markings, 23650352 edges, 145150 markings/sec, 65 secs
lola: 11500042 markings, 25532111 edges, 140008 markings/sec, 70 secs
lola: 12227495 markings, 27348548 edges, 145491 markings/sec, 75 secs
lola: 12940302 markings, 29072529 edges, 142561 markings/sec, 80 secs
lola: 13672782 markings, 30787018 edges, 146496 markings/sec, 85 secs
lola: 14385059 markings, 32545886 edges, 142455 markings/sec, 90 secs
lola: 15071008 markings, 34469628 edges, 137190 markings/sec, 95 secs
lola: 15805868 markings, 36195150 edges, 146972 markings/sec, 100 secs
lola: 16551857 markings, 37883101 edges, 149198 markings/sec, 105 secs
lola: 17175437 markings, 39743099 edges, 124716 markings/sec, 110 secs
lola: 17740845 markings, 41615156 edges, 113082 markings/sec, 115 secs
lola: 18313528 markings, 43486051 edges, 114537 markings/sec, 120 secs
lola: 18958293 markings, 45198519 edges, 128953 markings/sec, 125 secs
lola: 19636464 markings, 46907421 edges, 135634 markings/sec, 130 secs
lola: 20290717 markings, 48831442 edges, 130851 markings/sec, 135 secs
lola: 20991617 markings, 50664109 edges, 140180 markings/sec, 140 secs
lola: 21676444 markings, 52458337 edges, 136965 markings/sec, 145 secs
lola: 22397180 markings, 54152459 edges, 144147 markings/sec, 150 secs
lola: 23118421 markings, 55933168 edges, 144248 markings/sec, 155 secs
lola: 23867471 markings, 57742023 edges, 149810 markings/sec, 160 secs
lola: 24604204 markings, 59575641 edges, 147347 markings/sec, 165 secs
lola: 25299545 markings, 61302879 edges, 139068 markings/sec, 170 secs
lola: 25966053 markings, 63046012 edges, 133302 markings/sec, 175 secs
lola: 26666747 markings, 64766585 edges, 140139 markings/sec, 180 secs
lola: 27378887 markings, 66450823 edges, 142428 markings/sec, 185 secs
lola: 28044413 markings, 68160167 edges, 133105 markings/sec, 190 secs
lola: 28737294 markings, 69838324 edges, 138576 markings/sec, 195 secs
lola: 29453647 markings, 71583850 edges, 143271 markings/sec, 200 secs
lola: 30078128 markings, 73409738 edges, 124896 markings/sec, 205 secs
lola: 30698565 markings, 75329202 edges, 124087 markings/sec, 210 secs
lola: 31344715 markings, 77048685 edges, 129230 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(p245)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 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: 881008 markings, 1946195 edges, 176202 markings/sec, 0 secs
lola: 1642523 markings, 3816882 edges, 152303 markings/sec, 5 secs
lola: 2385156 markings, 5697944 edges, 148527 markings/sec, 10 secs
lola: 3137770 markings, 7573254 edges, 150523 markings/sec, 15 secs
lola: 3826500 markings, 9364420 edges, 137746 markings/sec, 20 secs
lola: 4494615 markings, 11150112 edges, 133623 markings/sec, 25 secs
lola: 5171496 markings, 12938901 edges, 135376 markings/sec, 30 secs
lola: 5847854 markings, 14725508 edges, 135272 markings/sec, 35 secs
lola: 6509179 markings, 16481270 edges, 132265 markings/sec, 40 secs
lola: 7110470 markings, 18220033 edges, 120258 markings/sec, 45 secs
lola: 7706642 markings, 19959701 edges, 119234 markings/sec, 50 secs
lola: 8263484 markings, 21752619 edges, 111368 markings/sec, 55 secs
lola: 8853997 markings, 23479365 edges, 118103 markings/sec, 60 secs
lola: 9461092 markings, 25191002 edges, 121419 markings/sec, 65 secs
lola: 10073950 markings, 26863754 edges, 122572 markings/sec, 70 secs
lola: 10644599 markings, 28603925 edges, 114130 markings/sec, 75 secs
lola: 11196758 markings, 30373717 edges, 110432 markings/sec, 80 secs
lola: 11784287 markings, 32078098 edges, 117506 markings/sec, 85 secs
lola: 12293847 markings, 33881560 edges, 101912 markings/sec, 90 secs
lola: 12779447 markings, 35735756 edges, 97120 markings/sec, 95 secs
lola: 13258815 markings, 37585177 edges, 95874 markings/sec, 100 secs
lola: 13758709 markings, 39462692 edges, 99979 markings/sec, 105 secs
lola: 14282498 markings, 41479820 edges, 104758 markings/sec, 110 secs
lola: 14841057 markings, 43484585 edges, 111712 markings/sec, 115 secs
lola: 15401142 markings, 45473236 edges, 112017 markings/sec, 120 secs
lola: 15992208 markings, 47402217 edges, 118213 markings/sec, 125 secs
lola: 16539656 markings, 49328714 edges, 109490 markings/sec, 130 secs
lola: 17107560 markings, 51304900 edges, 113581 markings/sec, 135 secs
lola: 17639392 markings, 53227881 edges, 106366 markings/sec, 140 secs
lola: 18240743 markings, 55115657 edges, 120270 markings/sec, 145 secs
lola: 18799366 markings, 57040665 edges, 111725 markings/sec, 150 secs
lola: 19374013 markings, 58953499 edges, 114929 markings/sec, 155 secs
lola: 19956961 markings, 60918844 edges, 116590 markings/sec, 160 secs
lola: 20472785 markings, 62799222 edges, 103165 markings/sec, 165 secs
lola: 20962210 markings, 64633411 edges, 97885 markings/sec, 170 secs
lola: 21535443 markings, 66557921 edges, 114647 markings/sec, 175 secs
lola: 22088623 markings, 68492093 edges, 110636 markings/sec, 180 secs
lola: 22706889 markings, 70324487 edges, 123653 markings/sec, 185 secs
lola: 23250443 markings, 72360178 edges, 108711 markings/sec, 190 secs
lola: 23790208 markings, 74164155 edges, 107953 markings/sec, 195 secs
lola: 24428983 markings, 76143808 edges, 127755 markings/sec, 200 secs
lola: 24944717 markings, 78024024 edges, 103147 markings/sec, 205 secs
lola: 25463571 markings, 79811030 edges, 103771 markings/sec, 210 secs
lola: 25975215 markings, 81745600 edges, 102329 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(p216)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 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: 1262498 markings, 2020268 edges, 252500 markings/sec, 0 secs
lola: 2482988 markings, 4074715 edges, 244098 markings/sec, 5 secs
lola: 3681154 markings, 6105624 edges, 239633 markings/sec, 10 secs
lola: 4866729 markings, 8137916 edges, 237115 markings/sec, 15 secs
lola: 5953106 markings, 10149820 edges, 217275 markings/sec, 20 secs
lola: 7072105 markings, 12154986 edges, 223800 markings/sec, 25 secs
lola: 8131830 markings, 14088472 edges, 211945 markings/sec, 30 secs
lola: 9122143 markings, 16026158 edges, 198063 markings/sec, 35 secs
lola: 10153562 markings, 17947714 edges, 206284 markings/sec, 40 secs
lola: 11154383 markings, 19921849 edges, 200164 markings/sec, 45 secs
lola: 12370743 markings, 21842262 edges, 243272 markings/sec, 50 secs
lola: 13515984 markings, 23799154 edges, 229048 markings/sec, 55 secs
lola: 14640116 markings, 25747000 edges, 224826 markings/sec, 60 secs
lola: 15717397 markings, 27730725 edges, 215456 markings/sec, 65 secs
lola: 16873488 markings, 29711029 edges, 231218 markings/sec, 70 secs
lola: 17965809 markings, 31647269 edges, 218464 markings/sec, 75 secs
lola: 18945179 markings, 33593513 edges, 195874 markings/sec, 80 secs
lola: 19995765 markings, 35589256 edges, 210117 markings/sec, 85 secs
lola: 21037471 markings, 37504624 edges, 208341 markings/sec, 90 secs
lola: 22076000 markings, 39408189 edges, 207706 markings/sec, 95 secs
lola: 23090263 markings, 41335581 edges, 202853 markings/sec, 100 secs
lola: 24155344 markings, 43266957 edges, 213016 markings/sec, 105 secs
lola: 25222093 markings, 45143174 edges, 213350 markings/sec, 110 secs
lola: 26296812 markings, 47017123 edges, 214944 markings/sec, 115 secs
lola: 27345204 markings, 48951460 edges, 209678 markings/sec, 120 secs
lola: 28330725 markings, 50911876 edges, 197104 markings/sec, 125 secs
lola: 29344817 markings, 52831953 edges, 202818 markings/sec, 130 secs
lola: 30384615 markings, 54770749 edges, 207960 markings/sec, 135 secs
lola: 31351194 markings, 56690887 edges, 193316 markings/sec, 140 secs
lola: 32321807 markings, 58722025 edges, 194123 markings/sec, 145 secs
lola: 33511614 markings, 60604750 edges, 237961 markings/sec, 150 secs
lola: 34659050 markings, 62480164 edges, 229487 markings/sec, 155 secs
lola: 35675305 markings, 64270570 edges, 203251 markings/sec, 160 secs
lola: 36604512 markings, 66098895 edges, 185841 markings/sec, 165 secs
lola: 37652773 markings, 67915467 edges, 209652 markings/sec, 170 secs
lola: 38628675 markings, 69733104 edges, 195180 markings/sec, 175 secs
lola: 39612937 markings, 71586866 edges, 196852 markings/sec, 180 secs
lola: 40645605 markings, 73395782 edges, 206534 markings/sec, 185 secs
lola: 41684514 markings, 75217755 edges, 207782 markings/sec, 190 secs
lola: 42772995 markings, 77088009 edges, 217696 markings/sec, 195 secs
lola: 43730446 markings, 78927299 edges, 191490 markings/sec, 200 secs
lola: 44682362 markings, 80662000 edges, 190383 markings/sec, 205 secs
lola: 45797787 markings, 82496910 edges, 223085 markings/sec, 210 secs
lola: 46642446 markings, 84227418 edges, 168932 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(p23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p126)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 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 261 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p404)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 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 6 will run for 287 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p172)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 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: 1031019 markings, 1887832 edges, 206204 markings/sec, 0 secs
lola: 2138463 markings, 3900293 edges, 221489 markings/sec, 5 secs
lola: 3236076 markings, 5829895 edges, 219523 markings/sec, 10 secs
lola: 4317031 markings, 7720464 edges, 216191 markings/sec, 15 secs
lola: 5372037 markings, 9605548 edges, 211001 markings/sec, 20 secs
lola: 6434267 markings, 11509394 edges, 212446 markings/sec, 25 secs
lola: 7474878 markings, 13412590 edges, 208122 markings/sec, 30 secs
lola: 8547807 markings, 15302970 edges, 214586 markings/sec, 35 secs
lola: 9613194 markings, 17203973 edges, 213077 markings/sec, 40 secs
lola: 10691877 markings, 19078030 edges, 215737 markings/sec, 45 secs
lola: 11745612 markings, 20952466 edges, 210747 markings/sec, 50 secs
lola: 12807840 markings, 22826138 edges, 212446 markings/sec, 55 secs
lola: 13858227 markings, 24711685 edges, 210077 markings/sec, 60 secs
lola: 14895950 markings, 26589488 edges, 207545 markings/sec, 65 secs
lola: 15912643 markings, 28469583 edges, 203339 markings/sec, 70 secs
lola: 17029158 markings, 30392905 edges, 223303 markings/sec, 75 secs
lola: 18095217 markings, 32346052 edges, 213212 markings/sec, 80 secs
lola: 19201692 markings, 34287709 edges, 221295 markings/sec, 85 secs
lola: 20249480 markings, 36081194 edges, 209558 markings/sec, 90 secs
lola: 21246911 markings, 37826113 edges, 199486 markings/sec, 95 secs
lola: 22205815 markings, 39602499 edges, 191781 markings/sec, 100 secs
lola: 23212342 markings, 41409331 edges, 201305 markings/sec, 105 secs
lola: 24179177 markings, 43112415 edges, 193367 markings/sec, 110 secs
lola: 25158741 markings, 44850555 edges, 195913 markings/sec, 115 secs
lola: 26199659 markings, 46745114 edges, 208184 markings/sec, 120 secs
lola: 27167924 markings, 48730711 edges, 193653 markings/sec, 125 secs
lola: 28231912 markings, 50657155 edges, 212798 markings/sec, 130 secs
lola: 29317733 markings, 52566503 edges, 217164 markings/sec, 135 secs
lola: 30366900 markings, 54460523 edges, 209833 markings/sec, 140 secs
lola: 31415641 markings, 56298178 edges, 209748 markings/sec, 145 secs
lola: 32420166 markings, 58167581 edges, 200905 markings/sec, 150 secs
lola: 33438972 markings, 60039725 edges, 203761 markings/sec, 155 secs
lola: 34502341 markings, 61888242 edges, 212674 markings/sec, 160 secs
lola: 35534599 markings, 63757512 edges, 206452 markings/sec, 165 secs
lola: 36561252 markings, 65619463 edges, 205331 markings/sec, 170 secs
lola: 37623401 markings, 67535036 edges, 212430 markings/sec, 175 secs
lola: 38650282 markings, 69344963 edges, 205376 markings/sec, 180 secs
lola: 39680008 markings, 71180941 edges, 205945 markings/sec, 185 secs
lola: 40691582 markings, 73012080 edges, 202315 markings/sec, 190 secs
lola: 41690608 markings, 74952091 edges, 199805 markings/sec, 195 secs
lola: 42726412 markings, 76863711 edges, 207161 markings/sec, 200 secs
lola: 43782142 markings, 78743654 edges, 211146 markings/sec, 205 secs
lola: 44879717 markings, 80642236 edges, 219515 markings/sec, 210 secs
lola: 45941894 markings, 82503298 edges, 212435 markings/sec, 215 secs
lola: 46955699 markings, 84369097 edges, 202761 markings/sec, 220 secs
lola: 47997176 markings, 86243919 edges, 208295 markings/sec, 225 secs
lola: 49012903 markings, 88039963 edges, 203145 markings/sec, 230 secs
lola: 50028408 markings, 89877933 edges, 203101 markings/sec, 235 secs
lola: 50923547 markings, 91805833 edges, 179028 markings/sec, 240 secs
lola: 51885850 markings, 93679782 edges, 192461 markings/sec, 245 secs
lola: 52912808 markings, 95516658 edges, 205392 markings/sec, 250 secs
lola: 53931903 markings, 97346611 edges, 203819 markings/sec, 255 secs
lola: 55008033 markings, 99196737 edges, 215226 markings/sec, 260 secs
lola: 56013129 markings, 100969506 edges, 201019 markings/sec, 265 secs
lola: 57008762 markings, 102762568 edges, 199127 markings/sec, 270 secs
lola: 57995396 markings, 104514318 edges, 197327 markings/sec, 275 secs
lola: 59016086 markings, 106372075 edges, 204138 markings/sec, 280 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 287 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p238)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 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: 869986 markings, 1999282 edges, 173997 markings/sec, 0 secs
lola: 1611206 markings, 4016284 edges, 148244 markings/sec, 5 secs
lola: 2346141 markings, 6042417 edges, 146987 markings/sec, 10 secs
lola: 3078539 markings, 8044272 edges, 146480 markings/sec, 15 secs
lola: 3797340 markings, 10030904 edges, 143760 markings/sec, 20 secs
lola: 4495079 markings, 12006912 edges, 139548 markings/sec, 25 secs
lola: 5191276 markings, 13988161 edges, 139239 markings/sec, 30 secs
lola: 5874395 markings, 15941976 edges, 136624 markings/sec, 35 secs
lola: 6546918 markings, 17909710 edges, 134505 markings/sec, 40 secs
lola: 7211603 markings, 19877905 edges, 132937 markings/sec, 45 secs
lola: 7858731 markings, 21837996 edges, 129426 markings/sec, 50 secs
lola: 8530737 markings, 23786300 edges, 134401 markings/sec, 55 secs
lola: 9207227 markings, 25734201 edges, 135298 markings/sec, 60 secs
lola: 9863872 markings, 27647262 edges, 131329 markings/sec, 65 secs
lola: 10503789 markings, 29567266 edges, 127983 markings/sec, 70 secs
lola: 11136874 markings, 31510431 edges, 126617 markings/sec, 75 secs
lola: 11766580 markings, 33470060 edges, 125941 markings/sec, 80 secs
lola: 12415752 markings, 35401554 edges, 129834 markings/sec, 85 secs
lola: 13059510 markings, 37323534 edges, 128752 markings/sec, 90 secs
lola: 13699362 markings, 39253306 edges, 127970 markings/sec, 95 secs
lola: 14318436 markings, 41192295 edges, 123815 markings/sec, 100 secs
lola: 14946426 markings, 43145077 edges, 125598 markings/sec, 105 secs
lola: 15570442 markings, 45097297 edges, 124803 markings/sec, 110 secs
lola: 16200565 markings, 47038981 edges, 126025 markings/sec, 115 secs
lola: 16808267 markings, 49051615 edges, 121540 markings/sec, 120 secs
lola: 17427523 markings, 51005678 edges, 123851 markings/sec, 125 secs
lola: 18059539 markings, 52982172 edges, 126403 markings/sec, 130 secs
lola: 18667755 markings, 54931668 edges, 121643 markings/sec, 135 secs
lola: 19257173 markings, 56835312 edges, 117884 markings/sec, 140 secs
lola: 19854196 markings, 58746135 edges, 119405 markings/sec, 145 secs
lola: 20422212 markings, 60683134 edges, 113603 markings/sec, 150 secs
lola: 21012460 markings, 62582589 edges, 118050 markings/sec, 155 secs
lola: 21611894 markings, 64478321 edges, 119887 markings/sec, 160 secs
lola: 22152898 markings, 66430167 edges, 108201 markings/sec, 165 secs
lola: 22696653 markings, 68400259 edges, 108751 markings/sec, 170 secs
lola: 23255991 markings, 70332994 edges, 111868 markings/sec, 175 secs
lola: 23740240 markings, 72358789 edges, 96850 markings/sec, 180 secs
lola: 24235480 markings, 74277883 edges, 99048 markings/sec, 185 secs
lola: 24736455 markings, 76174080 edges, 100195 markings/sec, 190 secs
lola: 25294605 markings, 78007084 edges, 111630 markings/sec, 195 secs
lola: 25786721 markings, 79992247 edges, 98423 markings/sec, 200 secs
lola: 26326485 markings, 81862763 edges, 107953 markings/sec, 205 secs
lola: 26900647 markings, 83669781 edges, 114832 markings/sec, 210 secs
lola: 27504595 markings, 85475890 edges, 120790 markings/sec, 215 secs
lola: 28058111 markings, 87352201 edges, 110703 markings/sec, 220 secs
lola: 28569211 markings, 89284320 edges, 102220 markings/sec, 225 secs
lola: 29131024 markings, 91094983 edges, 112363 markings/sec, 230 secs
lola: 29682755 markings, 92908309 edges, 110346 markings/sec, 235 secs
lola: 30229631 markings, 94774142 edges, 109375 markings/sec, 240 secs
lola: 30754789 markings, 96678979 edges, 105032 markings/sec, 245 secs
lola: 31295871 markings, 98605236 edges, 108216 markings/sec, 250 secs
lola: 31873159 markings, 100548792 edges, 115458 markings/sec, 255 secs
lola: 32460993 markings, 102452350 edges, 117567 markings/sec, 260 secs
lola: 33058905 markings, 104358180 edges, 119582 markings/sec, 265 secs
lola: 33532275 markings, 106402435 edges, 94674 markings/sec, 270 secs
lola: 34056464 markings, 108342217 edges, 104838 markings/sec, 275 secs
lola: 34562667 markings, 110265011 edges, 101241 markings/sec, 280 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 287 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 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 9 will run for 328 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p69)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 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: 1243284 markings, 1934582 edges, 248657 markings/sec, 0 secs
lola: 2381209 markings, 3878370 edges, 227585 markings/sec, 5 secs
lola: 3530727 markings, 5782205 edges, 229904 markings/sec, 10 secs
lola: 4673784 markings, 7673870 edges, 228611 markings/sec, 15 secs
lola: 5820767 markings, 9583359 edges, 229397 markings/sec, 20 secs
lola: 6928535 markings, 11454970 edges, 221554 markings/sec, 25 secs
lola: 8034764 markings, 13321912 edges, 221246 markings/sec, 30 secs
lola: 9148951 markings, 15210970 edges, 222837 markings/sec, 35 secs
lola: 10242885 markings, 17081838 edges, 218787 markings/sec, 40 secs
lola: 11355332 markings, 18955703 edges, 222489 markings/sec, 45 secs
lola: 12453225 markings, 20823077 edges, 219579 markings/sec, 50 secs
lola: 13537090 markings, 22677246 edges, 216773 markings/sec, 55 secs
lola: 14620515 markings, 24546269 edges, 216685 markings/sec, 60 secs
lola: 15707930 markings, 26403078 edges, 217483 markings/sec, 65 secs
lola: 16809351 markings, 28279884 edges, 220284 markings/sec, 70 secs
lola: 17861965 markings, 30127238 edges, 210523 markings/sec, 75 secs
lola: 18913057 markings, 31977954 edges, 210218 markings/sec, 80 secs
lola: 19981385 markings, 33819511 edges, 213666 markings/sec, 85 secs
lola: 21055162 markings, 35649987 edges, 214755 markings/sec, 90 secs
lola: 22081825 markings, 37407905 edges, 205333 markings/sec, 95 secs
lola: 23120240 markings, 39172223 edges, 207683 markings/sec, 100 secs
lola: 24128631 markings, 40899267 edges, 201678 markings/sec, 105 secs
lola: 25132152 markings, 42620218 edges, 200704 markings/sec, 110 secs
lola: 26124602 markings, 44354465 edges, 198490 markings/sec, 115 secs
lola: 27124717 markings, 46093418 edges, 200023 markings/sec, 120 secs
lola: 28152545 markings, 47851181 edges, 205566 markings/sec, 125 secs
lola: 29180503 markings, 49595614 edges, 205592 markings/sec, 130 secs
lola: 30183202 markings, 51337099 edges, 200540 markings/sec, 135 secs
lola: 31150459 markings, 53049847 edges, 193451 markings/sec, 140 secs
lola: 32120966 markings, 54740158 edges, 194101 markings/sec, 145 secs
lola: 33125175 markings, 56468750 edges, 200842 markings/sec, 150 secs
lola: 34165291 markings, 58265892 edges, 208023 markings/sec, 155 secs
lola: 35208077 markings, 60080919 edges, 208557 markings/sec, 160 secs
lola: 36222767 markings, 61873840 edges, 202938 markings/sec, 165 secs
lola: 37217066 markings, 63574246 edges, 198860 markings/sec, 170 secs
lola: 38185910 markings, 65269729 edges, 193769 markings/sec, 175 secs
lola: 39158736 markings, 66965948 edges, 194565 markings/sec, 180 secs
lola: 40167719 markings, 68752154 edges, 201797 markings/sec, 185 secs
lola: 41193728 markings, 70552797 edges, 205202 markings/sec, 190 secs
lola: 42215477 markings, 72333578 edges, 204350 markings/sec, 195 secs
lola: 43273358 markings, 74181010 edges, 211576 markings/sec, 200 secs
lola: 44335465 markings, 76029885 edges, 212421 markings/sec, 205 secs
lola: 45343552 markings, 77838668 edges, 201617 markings/sec, 210 secs
lola: 46308950 markings, 79541918 edges, 193080 markings/sec, 215 secs
lola: 47263786 markings, 81235926 edges, 190967 markings/sec, 220 secs
lola: 48237191 markings, 82946038 edges, 194681 markings/sec, 225 secs
lola: 49238023 markings, 84725382 edges, 200166 markings/sec, 230 secs
lola: 50228944 markings, 86510109 edges, 198184 markings/sec, 235 secs
lola: 51225853 markings, 88301738 edges, 199382 markings/sec, 240 secs
lola: 52274345 markings, 90127632 edges, 209698 markings/sec, 245 secs
lola: 53292622 markings, 91972422 edges, 203655 markings/sec, 250 secs
lola: 54352472 markings, 93830413 edges, 211970 markings/sec, 255 secs
lola: 55403610 markings, 95654396 edges, 210228 markings/sec, 260 secs
lola: 56416982 markings, 97481043 edges, 202674 markings/sec, 265 secs
lola: 57424380 markings, 99301142 edges, 201480 markings/sec, 270 secs
lola: 58451171 markings, 101120676 edges, 205358 markings/sec, 275 secs
lola: 59458002 markings, 102938810 edges, 201366 markings/sec, 280 secs
lola: 60443872 markings, 104761521 edges, 197174 markings/sec, 285 secs
lola: 61459478 markings, 106550965 edges, 203121 markings/sec, 290 secs
lola: 62458516 markings, 108390781 edges, 199808 markings/sec, 295 secs
lola: 63502186 markings, 110233358 edges, 208734 markings/sec, 300 secs
lola: 64512482 markings, 112064426 edges, 202059 markings/sec, 305 secs
lola: 65522053 markings, 113906201 edges, 201914 markings/sec, 310 secs
lola: 66540750 markings, 115726875 edges, 203739 markings/sec, 315 secs
lola: 67574399 markings, 117582819 edges, 206730 markings/sec, 320 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 329 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p397)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 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: 1208635 markings, 1900348 edges, 241727 markings/sec, 0 secs
lola: 2332233 markings, 3817862 edges, 224720 markings/sec, 5 secs
lola: 3410421 markings, 5675685 edges, 215638 markings/sec, 10 secs
lola: 4448160 markings, 7513861 edges, 207548 markings/sec, 15 secs
lola: 5470109 markings, 9345529 edges, 204390 markings/sec, 20 secs
lola: 6478593 markings, 11157253 edges, 201697 markings/sec, 25 secs
lola: 7499392 markings, 12981034 edges, 204160 markings/sec, 30 secs
lola: 8508390 markings, 14786664 edges, 201800 markings/sec, 35 secs
lola: 9485435 markings, 16597251 edges, 195409 markings/sec, 40 secs
lola: 10488676 markings, 18391264 edges, 200648 markings/sec, 45 secs
lola: 11447434 markings, 20172656 edges, 191752 markings/sec, 50 secs
lola: 12372838 markings, 21877850 edges, 185081 markings/sec, 55 secs
lola: 13315331 markings, 23627747 edges, 188499 markings/sec, 60 secs
lola: 14246593 markings, 25357750 edges, 186252 markings/sec, 65 secs
lola: 15189407 markings, 27117793 edges, 188563 markings/sec, 70 secs
lola: 16114277 markings, 28844340 edges, 184974 markings/sec, 75 secs
lola: 17054690 markings, 30636586 edges, 188083 markings/sec, 80 secs
lola: 17964866 markings, 32357382 edges, 182035 markings/sec, 85 secs
lola: 18870884 markings, 34165354 edges, 181204 markings/sec, 90 secs
lola: 19745900 markings, 36080614 edges, 175003 markings/sec, 95 secs
lola: 20534198 markings, 38003282 edges, 157660 markings/sec, 100 secs
lola: 21413441 markings, 39891725 edges, 175849 markings/sec, 105 secs
lola: 22307981 markings, 41659786 edges, 178908 markings/sec, 110 secs
lola: 23223140 markings, 43471717 edges, 183032 markings/sec, 115 secs
lola: 24170863 markings, 45414390 edges, 189545 markings/sec, 120 secs
lola: 25096435 markings, 47227464 edges, 185114 markings/sec, 125 secs
lola: 25980718 markings, 48991135 edges, 176857 markings/sec, 130 secs
lola: 26887533 markings, 50805206 edges, 181363 markings/sec, 135 secs
lola: 27787356 markings, 52516857 edges, 179965 markings/sec, 140 secs
lola: 28709005 markings, 54233442 edges, 184330 markings/sec, 145 secs
lola: 29625123 markings, 55980588 edges, 183224 markings/sec, 150 secs
lola: 30509138 markings, 57721158 edges, 176803 markings/sec, 155 secs
lola: 31412050 markings, 59522618 edges, 180582 markings/sec, 160 secs
lola: 32339279 markings, 61257052 edges, 185446 markings/sec, 165 secs
lola: 33270464 markings, 63080300 edges, 186237 markings/sec, 170 secs
lola: 34202916 markings, 64956259 edges, 186490 markings/sec, 175 secs
lola: 35061701 markings, 66695227 edges, 171757 markings/sec, 180 secs
lola: 35960184 markings, 68413307 edges, 179697 markings/sec, 185 secs
lola: 36818483 markings, 70061076 edges, 171660 markings/sec, 190 secs
lola: 37666546 markings, 71716924 edges, 169613 markings/sec, 195 secs
lola: 38504747 markings, 73357002 edges, 167640 markings/sec, 200 secs
lola: 39325577 markings, 74962112 edges, 164166 markings/sec, 205 secs
lola: 40136002 markings, 76597075 edges, 162085 markings/sec, 210 secs
lola: 40967590 markings, 78228217 edges, 166318 markings/sec, 215 secs
lola: 41790041 markings, 79858541 edges, 164490 markings/sec, 220 secs
lola: 42628486 markings, 81524237 edges, 167689 markings/sec, 225 secs
lola: 43482862 markings, 83174613 edges, 170875 markings/sec, 230 secs
lola: 44306472 markings, 84788211 edges, 164722 markings/sec, 235 secs
lola: 45121703 markings, 86405780 edges, 163046 markings/sec, 240 secs
lola: 45938635 markings, 88090604 edges, 163386 markings/sec, 245 secs
lola: 46760815 markings, 89705229 edges, 164436 markings/sec, 250 secs
lola: 47557378 markings, 91340324 edges, 159313 markings/sec, 255 secs
lola: 48429792 markings, 93002381 edges, 174483 markings/sec, 260 secs
lola: 49302898 markings, 94699941 edges, 174621 markings/sec, 265 secs
lola: 50116349 markings, 96448652 edges, 162690 markings/sec, 270 secs
lola: 50982193 markings, 98145594 edges, 173169 markings/sec, 275 secs
lola: 51840747 markings, 99830197 edges, 171711 markings/sec, 280 secs
lola: 52707678 markings, 101540800 edges, 173386 markings/sec, 285 secs
lola: 53573679 markings, 103240486 edges, 173200 markings/sec, 290 secs
lola: 54441912 markings, 104972917 edges, 173647 markings/sec, 295 secs
lola: 55310926 markings, 106668731 edges, 173803 markings/sec, 300 secs
lola: 56164602 markings, 108326677 edges, 170735 markings/sec, 305 secs
lola: 57044979 markings, 110055067 edges, 176075 markings/sec, 310 secs
lola: 57927506 markings, 111765173 edges, 176505 markings/sec, 315 secs
lola: 58787393 markings, 113451669 edges, 171977 markings/sec, 320 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 329 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p70)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 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: 1234305 markings, 1919282 edges, 246861 markings/sec, 0 secs
lola: 2334235 markings, 3800997 edges, 219986 markings/sec, 5 secs
lola: 3447475 markings, 5649243 edges, 222648 markings/sec, 10 secs
lola: 4552437 markings, 7483367 edges, 220992 markings/sec, 15 secs
lola: 5650815 markings, 9306710 edges, 219676 markings/sec, 20 secs
lola: 6742476 markings, 11139859 edges, 218332 markings/sec, 25 secs
lola: 7823321 markings, 12964745 edges, 216169 markings/sec, 30 secs
lola: 8900301 markings, 14792340 edges, 215396 markings/sec, 35 secs
lola: 9971979 markings, 16619601 edges, 214336 markings/sec, 40 secs
lola: 11044410 markings, 18436986 edges, 214486 markings/sec, 45 secs
lola: 12111709 markings, 20247072 edges, 213460 markings/sec, 50 secs
lola: 13169348 markings, 22045998 edges, 211528 markings/sec, 55 secs
lola: 14208547 markings, 23837595 edges, 207840 markings/sec, 60 secs
lola: 15262234 markings, 25633561 edges, 210737 markings/sec, 65 secs
lola: 16306491 markings, 27425835 edges, 208851 markings/sec, 70 secs
lola: 17351338 markings, 29209865 edges, 208969 markings/sec, 75 secs
lola: 18374736 markings, 31027292 edges, 204680 markings/sec, 80 secs
lola: 19407730 markings, 32822566 edges, 206599 markings/sec, 85 secs
lola: 20445055 markings, 34594721 edges, 207465 markings/sec, 90 secs
lola: 21472366 markings, 36369324 edges, 205462 markings/sec, 95 secs
lola: 22520043 markings, 38148636 edges, 209535 markings/sec, 100 secs
lola: 23543285 markings, 39910122 edges, 204648 markings/sec, 105 secs
lola: 24583800 markings, 41677908 edges, 208103 markings/sec, 110 secs
lola: 25605810 markings, 43451038 edges, 204402 markings/sec, 115 secs
lola: 26614658 markings, 45228280 edges, 201770 markings/sec, 120 secs
lola: 27657979 markings, 46994754 edges, 208664 markings/sec, 125 secs
lola: 28680171 markings, 48742636 edges, 204438 markings/sec, 130 secs
lola: 29698216 markings, 50502962 edges, 203609 markings/sec, 135 secs
lola: 30685847 markings, 52236299 edges, 197526 markings/sec, 140 secs
lola: 31650247 markings, 53923719 edges, 192880 markings/sec, 145 secs
lola: 32621815 markings, 55612527 edges, 194314 markings/sec, 150 secs
lola: 33608320 markings, 57303701 edges, 197301 markings/sec, 155 secs
lola: 34599587 markings, 59029878 edges, 198253 markings/sec, 160 secs
lola: 35610358 markings, 60803908 edges, 202154 markings/sec, 165 secs
lola: 36642313 markings, 62591754 edges, 206391 markings/sec, 170 secs
lola: 37634329 markings, 64314064 edges, 198403 markings/sec, 175 secs
lola: 38633913 markings, 66054947 edges, 199917 markings/sec, 180 secs
lola: 39631012 markings, 67789804 edges, 199420 markings/sec, 185 secs
lola: 40621120 markings, 69543693 edges, 198022 markings/sec, 190 secs
lola: 41611572 markings, 71273298 edges, 198090 markings/sec, 195 secs
lola: 42593403 markings, 72998770 edges, 196366 markings/sec, 200 secs
lola: 43545523 markings, 74640435 edges, 190424 markings/sec, 205 secs
lola: 44482995 markings, 76287068 edges, 187494 markings/sec, 210 secs
lola: 45402102 markings, 77944868 edges, 183821 markings/sec, 215 secs
lola: 46415924 markings, 79732393 edges, 202764 markings/sec, 220 secs
lola: 47433465 markings, 81534886 edges, 203508 markings/sec, 225 secs
lola: 48440937 markings, 83307004 edges, 201494 markings/sec, 230 secs
lola: 49442514 markings, 85091574 edges, 200315 markings/sec, 235 secs
lola: 50399298 markings, 86829277 edges, 191357 markings/sec, 240 secs
lola: 51366471 markings, 88550420 edges, 193435 markings/sec, 245 secs
lola: 52365392 markings, 90294240 edges, 199784 markings/sec, 250 secs
lola: 53292216 markings, 91971807 edges, 185365 markings/sec, 255 secs
lola: 54274394 markings, 93693067 edges, 196436 markings/sec, 260 secs
lola: 55272772 markings, 95426436 edges, 199676 markings/sec, 265 secs
lola: 56240218 markings, 97150455 edges, 193489 markings/sec, 270 secs
lola: 57198615 markings, 98886351 edges, 191679 markings/sec, 275 secs
lola: 58168203 markings, 100625490 edges, 193918 markings/sec, 280 secs
lola: 59121272 markings, 102322731 edges, 190614 markings/sec, 285 secs
lola: 60067108 markings, 104063162 edges, 189167 markings/sec, 290 secs
lola: 61027357 markings, 105792721 edges, 192050 markings/sec, 295 secs
lola: 61999772 markings, 107520110 edges, 194483 markings/sec, 300 secs
lola: 62949635 markings, 109261253 edges, 189973 markings/sec, 305 secs
lola: 63929365 markings, 111006741 edges, 195946 markings/sec, 310 secs
lola: 64873020 markings, 112736563 edges, 188731 markings/sec, 315 secs
lola: 65833641 markings, 114466486 edges, 192124 markings/sec, 320 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 329 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p384)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 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: 1098641 markings, 2029062 edges, 219728 markings/sec, 0 secs
lola: 2180840 markings, 4062530 edges, 216440 markings/sec, 5 secs
lola: 3154978 markings, 6032430 edges, 194828 markings/sec, 10 secs
lola: 4061184 markings, 7989726 edges, 181241 markings/sec, 15 secs
lola: 4972429 markings, 9951762 edges, 182249 markings/sec, 20 secs
lola: 5844022 markings, 11925096 edges, 174319 markings/sec, 25 secs
lola: 6706164 markings, 13900242 edges, 172428 markings/sec, 30 secs
lola: 7553181 markings, 15865716 edges, 169403 markings/sec, 35 secs
lola: 8420299 markings, 17832738 edges, 173424 markings/sec, 40 secs
lola: 9255238 markings, 19842437 edges, 166988 markings/sec, 45 secs
lola: 10052129 markings, 21934229 edges, 159378 markings/sec, 50 secs
lola: 10725446 markings, 24058889 edges, 134663 markings/sec, 55 secs
lola: 11367176 markings, 26122636 edges, 128346 markings/sec, 60 secs
lola: 12141759 markings, 28047441 edges, 154917 markings/sec, 65 secs
lola: 12782603 markings, 30010412 edges, 128169 markings/sec, 70 secs
lola: 13368612 markings, 31955922 edges, 117202 markings/sec, 75 secs
lola: 14111982 markings, 33774114 edges, 148674 markings/sec, 80 secs
lola: 14810596 markings, 35625719 edges, 139723 markings/sec, 85 secs
lola: 15315654 markings, 37621834 edges, 101012 markings/sec, 90 secs
lola: 15852199 markings, 39710645 edges, 107309 markings/sec, 95 secs
lola: 16419352 markings, 41755602 edges, 113431 markings/sec, 100 secs
lola: 17139550 markings, 43763377 edges, 144040 markings/sec, 105 secs
lola: 17821593 markings, 45794291 edges, 136409 markings/sec, 110 secs
lola: 18364584 markings, 47984826 edges, 108598 markings/sec, 115 secs
lola: 19103658 markings, 49940267 edges, 147815 markings/sec, 120 secs
lola: 19796913 markings, 51809455 edges, 138651 markings/sec, 125 secs
lola: 20532124 markings, 53647160 edges, 147042 markings/sec, 130 secs
lola: 21248427 markings, 55484543 edges, 143261 markings/sec, 135 secs
lola: 21985216 markings, 57371628 edges, 147358 markings/sec, 140 secs
lola: 22760408 markings, 59388169 edges, 155038 markings/sec, 145 secs
lola: 23475533 markings, 61385944 edges, 143025 markings/sec, 150 secs
lola: 24047243 markings, 63493936 edges, 114342 markings/sec, 155 secs
lola: 24512646 markings, 65453321 edges, 93081 markings/sec, 160 secs
lola: 25049647 markings, 67362184 edges, 107400 markings/sec, 165 secs
lola: 25508935 markings, 69352263 edges, 91858 markings/sec, 170 secs
lola: 26066349 markings, 71366069 edges, 111483 markings/sec, 175 secs
lola: 26700012 markings, 73371065 edges, 126733 markings/sec, 180 secs
lola: 27316344 markings, 75396243 edges, 123266 markings/sec, 185 secs
lola: 27988088 markings, 77501339 edges, 134349 markings/sec, 190 secs
lola: 28674280 markings, 79558526 edges, 137238 markings/sec, 195 secs
lola: 29342097 markings, 81315757 edges, 133563 markings/sec, 200 secs
lola: 29928660 markings, 83117819 edges, 117313 markings/sec, 205 secs
lola: 30589157 markings, 84898508 edges, 132099 markings/sec, 210 secs
lola: 31263444 markings, 86667644 edges, 134857 markings/sec, 215 secs
lola: 31959389 markings, 88597902 edges, 139189 markings/sec, 220 secs
lola: 32630597 markings, 90384040 edges, 134242 markings/sec, 225 secs
lola: 33268861 markings, 92236895 edges, 127653 markings/sec, 230 secs
lola: 33863707 markings, 94162203 edges, 118969 markings/sec, 235 secs
lola: 34464326 markings, 96104761 edges, 120124 markings/sec, 240 secs
lola: 35069916 markings, 98121879 edges, 121118 markings/sec, 245 secs
lola: 35761867 markings, 100141601 edges, 138390 markings/sec, 250 secs
lola: 36235871 markings, 102151238 edges, 94801 markings/sec, 255 secs
lola: 36726425 markings, 104230195 edges, 98111 markings/sec, 260 secs
lola: 37222006 markings, 106352163 edges, 99116 markings/sec, 265 secs
lola: 37786245 markings, 108407570 edges, 112848 markings/sec, 270 secs
lola: 38391008 markings, 110463937 edges, 120953 markings/sec, 275 secs
lola: 39092646 markings, 112483470 edges, 140328 markings/sec, 280 secs
lola: 39801728 markings, 114407102 edges, 141816 markings/sec, 285 secs
lola: 40560708 markings, 116340803 edges, 151796 markings/sec, 290 secs
lola: 41240503 markings, 118193008 edges, 135959 markings/sec, 295 secs
lola: 41969688 markings, 120163535 edges, 145837 markings/sec, 300 secs
lola: 42681536 markings, 122132127 edges, 142370 markings/sec, 305 secs
lola: 43379297 markings, 124210438 edges, 139552 markings/sec, 310 secs
lola: 44018911 markings, 126155574 edges, 127923 markings/sec, 315 secs
lola: 44637623 markings, 128174943 edges, 123742 markings/sec, 320 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 328 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p298)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 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: 1164027 markings, 1763157 edges, 232805 markings/sec, 0 secs
lola: 2179795 markings, 3675223 edges, 203154 markings/sec, 5 secs
lola: 2982417 markings, 5545180 edges, 160524 markings/sec, 10 secs
lola: 3809725 markings, 7238607 edges, 165462 markings/sec, 15 secs
lola: 4602135 markings, 8930012 edges, 158482 markings/sec, 20 secs
lola: 5181876 markings, 10749072 edges, 115948 markings/sec, 25 secs
lola: 5926436 markings, 12591220 edges, 148912 markings/sec, 30 secs
lola: 6698167 markings, 14489886 edges, 154346 markings/sec, 35 secs
lola: 7519705 markings, 16177870 edges, 164308 markings/sec, 40 secs
lola: 8207767 markings, 17971576 edges, 137612 markings/sec, 45 secs
lola: 8843416 markings, 19816894 edges, 127130 markings/sec, 50 secs
lola: 9542388 markings, 21578958 edges, 139794 markings/sec, 55 secs
lola: 10153710 markings, 23380910 edges, 122264 markings/sec, 60 secs
lola: 10847542 markings, 25076464 edges, 138766 markings/sec, 65 secs
lola: 11509308 markings, 26906620 edges, 132353 markings/sec, 70 secs
lola: 12252359 markings, 28714674 edges, 148610 markings/sec, 75 secs
lola: 13041497 markings, 30528485 edges, 157828 markings/sec, 80 secs
lola: 13790828 markings, 32419870 edges, 149866 markings/sec, 85 secs
lola: 14550772 markings, 34296795 edges, 151989 markings/sec, 90 secs
lola: 15288610 markings, 36226162 edges, 147568 markings/sec, 95 secs
lola: 16032441 markings, 38150565 edges, 148766 markings/sec, 100 secs
lola: 16733669 markings, 40100699 edges, 140246 markings/sec, 105 secs
lola: 17404304 markings, 41927763 edges, 134127 markings/sec, 110 secs
lola: 18116490 markings, 43607497 edges, 142437 markings/sec, 115 secs
lola: 18832532 markings, 45294135 edges, 143208 markings/sec, 120 secs
lola: 19578491 markings, 46990321 edges, 149192 markings/sec, 125 secs
lola: 20308239 markings, 48835665 edges, 145950 markings/sec, 130 secs
lola: 20981480 markings, 50808964 edges, 134648 markings/sec, 135 secs
lola: 21797957 markings, 52644763 edges, 163295 markings/sec, 140 secs
lola: 22466545 markings, 54416620 edges, 133718 markings/sec, 145 secs
lola: 23128929 markings, 56118802 edges, 132477 markings/sec, 150 secs
lola: 23845058 markings, 57803743 edges, 143226 markings/sec, 155 secs
lola: 24610020 markings, 59629867 edges, 152992 markings/sec, 160 secs
lola: 25274578 markings, 61612830 edges, 132912 markings/sec, 165 secs
lola: 26000760 markings, 63539033 edges, 145236 markings/sec, 170 secs
lola: 26667261 markings, 65628494 edges, 133300 markings/sec, 175 secs
lola: 27428639 markings, 67499715 edges, 152276 markings/sec, 180 secs
lola: 28082652 markings, 69462111 edges, 130803 markings/sec, 185 secs
lola: 28760124 markings, 71374199 edges, 135494 markings/sec, 190 secs
lola: 29485789 markings, 73283262 edges, 145133 markings/sec, 195 secs
lola: 30172166 markings, 75165407 edges, 137275 markings/sec, 200 secs
lola: 30888518 markings, 77001496 edges, 143270 markings/sec, 205 secs
lola: 31548142 markings, 78827900 edges, 131925 markings/sec, 210 secs
lola: 32235933 markings, 80653839 edges, 137558 markings/sec, 215 secs
lola: 32944759 markings, 82492515 edges, 141765 markings/sec, 220 secs
lola: 33656202 markings, 84349438 edges, 142289 markings/sec, 225 secs
lola: 34370512 markings, 86155788 edges, 142862 markings/sec, 230 secs
lola: 35058982 markings, 88012940 edges, 137694 markings/sec, 235 secs
lola: 35693743 markings, 89893254 edges, 126952 markings/sec, 240 secs
lola: 36365796 markings, 91802316 edges, 134411 markings/sec, 245 secs
lola: 37086277 markings, 93621034 edges, 144096 markings/sec, 250 secs
lola: 37754695 markings, 95518756 edges, 133684 markings/sec, 255 secs
lola: 38461028 markings, 97349522 edges, 141267 markings/sec, 260 secs
lola: 39081666 markings, 99182064 edges, 124128 markings/sec, 265 secs
lola: 39759529 markings, 100883417 edges, 135573 markings/sec, 270 secs
lola: 40477852 markings, 102657309 edges, 143665 markings/sec, 275 secs
lola: 41148959 markings, 104544661 edges, 134221 markings/sec, 280 secs
lola: 41725853 markings, 106360341 edges, 115379 markings/sec, 285 secs
lola: 42360424 markings, 108069429 edges, 126914 markings/sec, 290 secs
lola: 42976148 markings, 109808686 edges, 123145 markings/sec, 295 secs
lola: 43644393 markings, 111543729 edges, 133649 markings/sec, 300 secs
lola: 44297918 markings, 113247834 edges, 130705 markings/sec, 305 secs
lola: 44952026 markings, 115057167 edges, 130822 markings/sec, 310 secs
lola: 45621200 markings, 116772899 edges, 133835 markings/sec, 315 secs
lola: 46222888 markings, 118502494 edges, 120338 markings/sec, 320 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 329 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p262)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 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: 936288 markings, 1787653 edges, 187258 markings/sec, 0 secs
lola: 1789397 markings, 3539594 edges, 170622 markings/sec, 5 secs
lola: 2619229 markings, 5277941 edges, 165966 markings/sec, 10 secs
lola: 3438964 markings, 7078231 edges, 163947 markings/sec, 15 secs
lola: 4256652 markings, 8855127 edges, 163538 markings/sec, 20 secs
lola: 5053749 markings, 10661314 edges, 159419 markings/sec, 25 secs
lola: 5849580 markings, 12519158 edges, 159166 markings/sec, 30 secs
lola: 6619927 markings, 14369864 edges, 154069 markings/sec, 35 secs
lola: 7335363 markings, 16213720 edges, 143087 markings/sec, 40 secs
lola: 8042121 markings, 18074664 edges, 141352 markings/sec, 45 secs
lola: 8775150 markings, 19879722 edges, 146606 markings/sec, 50 secs
lola: 9472472 markings, 21744305 edges, 139464 markings/sec, 55 secs
lola: 10146796 markings, 23603026 edges, 134865 markings/sec, 60 secs
lola: 10880830 markings, 25327794 edges, 146807 markings/sec, 65 secs
lola: 11602507 markings, 27044339 edges, 144335 markings/sec, 70 secs
lola: 12276485 markings, 28806020 edges, 134796 markings/sec, 75 secs
lola: 12931465 markings, 30579509 edges, 130996 markings/sec, 80 secs
lola: 13644526 markings, 32334051 edges, 142612 markings/sec, 85 secs
lola: 14304537 markings, 34183787 edges, 132002 markings/sec, 90 secs
lola: 14985633 markings, 35988193 edges, 136219 markings/sec, 95 secs
lola: 15643213 markings, 37829208 edges, 131516 markings/sec, 100 secs
lola: 16297953 markings, 39565975 edges, 130948 markings/sec, 105 secs
lola: 16931589 markings, 41314476 edges, 126727 markings/sec, 110 secs
lola: 17539397 markings, 43071570 edges, 121562 markings/sec, 115 secs
lola: 18186725 markings, 45042440 edges, 129466 markings/sec, 120 secs
lola: 18784350 markings, 47050044 edges, 119525 markings/sec, 125 secs
lola: 19302048 markings, 49075173 edges, 103540 markings/sec, 130 secs
lola: 19739756 markings, 50885718 edges, 87542 markings/sec, 135 secs
lola: 20294951 markings, 52649003 edges, 111039 markings/sec, 140 secs
lola: 20812658 markings, 54600536 edges, 103541 markings/sec, 145 secs
lola: 21356797 markings, 56457067 edges, 108828 markings/sec, 150 secs
lola: 21890293 markings, 58247085 edges, 106699 markings/sec, 155 secs
lola: 22503241 markings, 60177206 edges, 122590 markings/sec, 160 secs
lola: 23175107 markings, 62173057 edges, 134373 markings/sec, 165 secs
lola: 23756391 markings, 64225286 edges, 116257 markings/sec, 170 secs
lola: 24343873 markings, 66206893 edges, 117496 markings/sec, 175 secs
lola: 24979809 markings, 68053016 edges, 127187 markings/sec, 180 secs
lola: 25513154 markings, 69783297 edges, 106669 markings/sec, 185 secs
lola: 26003680 markings, 71550939 edges, 98105 markings/sec, 190 secs
lola: 26583425 markings, 73213716 edges, 115949 markings/sec, 195 secs
lola: 27131758 markings, 75139384 edges, 109667 markings/sec, 200 secs
lola: 27791771 markings, 77070569 edges, 132003 markings/sec, 205 secs
lola: 28430358 markings, 78761508 edges, 127717 markings/sec, 210 secs
lola: 28957321 markings, 80560214 edges, 105393 markings/sec, 215 secs
lola: 29521004 markings, 82348394 edges, 112737 markings/sec, 220 secs
lola: 30234346 markings, 84250973 edges, 142668 markings/sec, 225 secs
lola: 30872100 markings, 86193494 edges, 127551 markings/sec, 230 secs
lola: 31476382 markings, 88313324 edges, 120856 markings/sec, 235 secs
lola: 32096037 markings, 90376502 edges, 123931 markings/sec, 240 secs
lola: 32748122 markings, 92352024 edges, 130417 markings/sec, 245 secs
lola: 33385944 markings, 94340048 edges, 127564 markings/sec, 250 secs
lola: 33962050 markings, 96354450 edges, 115221 markings/sec, 255 secs
lola: 34690196 markings, 98175624 edges, 145629 markings/sec, 260 secs
lola: 35257702 markings, 100269874 edges, 113501 markings/sec, 265 secs
lola: 35805526 markings, 102416376 edges, 109565 markings/sec, 270 secs
lola: 36429893 markings, 104368261 edges, 124873 markings/sec, 275 secs
lola: 37003154 markings, 106427565 edges, 114652 markings/sec, 280 secs
lola: 37716799 markings, 108297564 edges, 142729 markings/sec, 285 secs
lola: 38352515 markings, 110266567 edges, 127143 markings/sec, 290 secs
lola: 38918341 markings, 112379835 edges, 113165 markings/sec, 295 secs
lola: 39550241 markings, 114340290 edges, 126380 markings/sec, 300 secs
lola: 40228841 markings, 116234016 edges, 135720 markings/sec, 305 secs
lola: 40846106 markings, 118207344 edges, 123453 markings/sec, 310 secs
lola: 41469686 markings, 120176218 edges, 124716 markings/sec, 315 secs
lola: 42063481 markings, 122216069 edges, 118759 markings/sec, 320 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 329 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p329)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 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: 1164184 markings, 2188184 edges, 232837 markings/sec, 0 secs
lola: 2321377 markings, 4423990 edges, 231439 markings/sec, 5 secs
lola: 3482561 markings, 6608097 edges, 232237 markings/sec, 10 secs
lola: 4619306 markings, 8774760 edges, 227349 markings/sec, 15 secs
lola: 5731443 markings, 10939564 edges, 222427 markings/sec, 20 secs
lola: 6946885 markings, 13061476 edges, 243088 markings/sec, 25 secs
lola: 8063476 markings, 15210990 edges, 223318 markings/sec, 30 secs
lola: 9180797 markings, 17350168 edges, 223464 markings/sec, 35 secs
lola: 10351040 markings, 19494295 edges, 234049 markings/sec, 40 secs
lola: 11493815 markings, 21694677 edges, 228555 markings/sec, 45 secs
lola: 12607793 markings, 23867537 edges, 222796 markings/sec, 50 secs
lola: 13699727 markings, 26000937 edges, 218387 markings/sec, 55 secs
lola: 14724815 markings, 27983123 edges, 205018 markings/sec, 60 secs
lola: 15880821 markings, 30106728 edges, 231201 markings/sec, 65 secs
lola: 16927677 markings, 32057493 edges, 209371 markings/sec, 70 secs
lola: 17973471 markings, 33953627 edges, 209159 markings/sec, 75 secs
lola: 19017617 markings, 35952240 edges, 208829 markings/sec, 80 secs
lola: 20108898 markings, 38055789 edges, 218256 markings/sec, 85 secs
lola: 21096464 markings, 39954097 edges, 197513 markings/sec, 90 secs
lola: 22141892 markings, 41906808 edges, 209086 markings/sec, 95 secs
lola: 23172366 markings, 43769729 edges, 206095 markings/sec, 100 secs
lola: 24144250 markings, 45664469 edges, 194377 markings/sec, 105 secs
lola: 25172787 markings, 47541987 edges, 205707 markings/sec, 110 secs
lola: 26282626 markings, 49479081 edges, 221968 markings/sec, 115 secs
lola: 27405788 markings, 51508101 edges, 224632 markings/sec, 120 secs
lola: 28532804 markings, 53558835 edges, 225403 markings/sec, 125 secs
lola: 29661855 markings, 55606143 edges, 225810 markings/sec, 130 secs
lola: 30769412 markings, 57596391 edges, 221511 markings/sec, 135 secs
lola: 31929039 markings, 59678144 edges, 231925 markings/sec, 140 secs
lola: 32879727 markings, 61825889 edges, 190138 markings/sec, 145 secs
lola: 34019503 markings, 63815277 edges, 227955 markings/sec, 150 secs
lola: 35146284 markings, 65842391 edges, 225356 markings/sec, 155 secs
lola: 36307508 markings, 67843722 edges, 232245 markings/sec, 160 secs
lola: 37420124 markings, 69885499 edges, 222523 markings/sec, 165 secs
lola: 38551950 markings, 71916167 edges, 226365 markings/sec, 170 secs
lola: 39727451 markings, 73924078 edges, 235100 markings/sec, 175 secs
lola: 40769810 markings, 75993696 edges, 208472 markings/sec, 180 secs
lola: 41837823 markings, 78036090 edges, 213603 markings/sec, 185 secs
lola: 42907425 markings, 80103322 edges, 213920 markings/sec, 190 secs
lola: 44036770 markings, 82158892 edges, 225869 markings/sec, 195 secs
lola: 45171720 markings, 84204915 edges, 226990 markings/sec, 200 secs
lola: 46297766 markings, 86181331 edges, 225209 markings/sec, 205 secs
lola: 47385351 markings, 88165780 edges, 217517 markings/sec, 210 secs
lola: 48449656 markings, 90163111 edges, 212861 markings/sec, 215 secs
lola: 49508047 markings, 92203407 edges, 211678 markings/sec, 220 secs
lola: 50525888 markings, 94230329 edges, 203568 markings/sec, 225 secs
lola: 51560947 markings, 96216727 edges, 207012 markings/sec, 230 secs
lola: 52624598 markings, 98209239 edges, 212730 markings/sec, 235 secs
lola: 53738068 markings, 100195825 edges, 222694 markings/sec, 240 secs
lola: 54901072 markings, 102231939 edges, 232601 markings/sec, 245 secs
lola: 56040235 markings, 104287410 edges, 227833 markings/sec, 250 secs
lola: 57159355 markings, 106273125 edges, 223824 markings/sec, 255 secs
lola: 58301802 markings, 108348876 edges, 228489 markings/sec, 260 secs
lola: 59418599 markings, 110332405 edges, 223359 markings/sec, 265 secs
lola: 60553632 markings, 112361939 edges, 227007 markings/sec, 270 secs
lola: 61638721 markings, 114360984 edges, 217018 markings/sec, 275 secs
lola: 62581283 markings, 116544478 edges, 188512 markings/sec, 280 secs
lola: 63580506 markings, 118633145 edges, 199845 markings/sec, 285 secs
lola: 64742686 markings, 120646571 edges, 232436 markings/sec, 290 secs
lola: 65856987 markings, 122667624 edges, 222860 markings/sec, 295 secs
lola: 66944551 markings, 124697097 edges, 217513 markings/sec, 300 secs
lola: 68021840 markings, 126714315 edges, 215458 markings/sec, 305 secs
lola: 69129194 markings, 128740744 edges, 221471 markings/sec, 310 secs
lola: 70164667 markings, 130758694 edges, 207095 markings/sec, 315 secs
lola: 71235267 markings, 132709942 edges, 214120 markings/sec, 320 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 1 1 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown
FORMULA AutoFlight-PT-05b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-05b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-05b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-05b-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-05b-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-05b-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-05b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-05b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-05b-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-05b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-05b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-05b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-05b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-05b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-05b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-05b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496337719638
--------------------
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_AutoFlight-PT-05b"
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_AutoFlight-PT-05b.tgz
mv S_AutoFlight-PT-05b 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_AutoFlight-PT-05b, 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-149441074100191"
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 ;