About the Execution of LoLA for AutoFlight-PT-05b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6002.140 | 3540137.00 | 3549812.00 | 270.10 | ? ? ? ? ? ? ? ? ? 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 AutoFlight-PT-05b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-csrt-149436126000191
=====================================================================
--------------------
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 1494599462658
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 905201 markings, 1695386 edges, 181040 markings/sec, 0 secs
lola: 1750279 markings, 3371330 edges, 169016 markings/sec, 5 secs
lola: 2560070 markings, 5031475 edges, 161958 markings/sec, 10 secs
lola: 3353327 markings, 6716047 edges, 158651 markings/sec, 15 secs
lola: 4175092 markings, 8489993 edges, 164353 markings/sec, 20 secs
lola: 5002976 markings, 10267866 edges, 165577 markings/sec, 25 secs
lola: 5810899 markings, 12033427 edges, 161585 markings/sec, 30 secs
lola: 6639447 markings, 13850083 edges, 165710 markings/sec, 35 secs
lola: 7444379 markings, 15657139 edges, 160986 markings/sec, 40 secs
lola: 8233232 markings, 17436449 edges, 157771 markings/sec, 45 secs
lola: 9016676 markings, 19293889 edges, 156689 markings/sec, 50 secs
lola: 9795278 markings, 21069548 edges, 155720 markings/sec, 55 secs
lola: 10517648 markings, 22922749 edges, 144474 markings/sec, 60 secs
lola: 11250975 markings, 24877433 edges, 146665 markings/sec, 65 secs
lola: 11991904 markings, 26716337 edges, 148186 markings/sec, 70 secs
lola: 12715152 markings, 28550996 edges, 144650 markings/sec, 75 secs
lola: 13475501 markings, 30341677 edges, 152070 markings/sec, 80 secs
lola: 14227311 markings, 32125401 edges, 150362 markings/sec, 85 secs
lola: 14963155 markings, 34200008 edges, 147169 markings/sec, 90 secs
lola: 15723615 markings, 35993853 edges, 152092 markings/sec, 95 secs
lola: 16480066 markings, 37739780 edges, 151290 markings/sec, 100 secs
lola: 17113525 markings, 39543368 edges, 126692 markings/sec, 105 secs
lola: 17674650 markings, 41395047 edges, 112225 markings/sec, 110 secs
lola: 18247217 markings, 43289593 edges, 114513 markings/sec, 115 secs
lola: 18902075 markings, 45077756 edges, 130972 markings/sec, 120 secs
lola: 19603119 markings, 46815271 edges, 140209 markings/sec, 125 secs
lola: 20272514 markings, 48766354 edges, 133879 markings/sec, 130 secs
lola: 20986176 markings, 50650505 edges, 142732 markings/sec, 135 secs
lola: 21694590 markings, 52497516 edges, 141683 markings/sec, 140 secs
lola: 22451161 markings, 54274391 edges, 151314 markings/sec, 145 secs
lola: 23183274 markings, 56092763 edges, 146423 markings/sec, 150 secs
lola: 23947829 markings, 57922645 edges, 152911 markings/sec, 155 secs
lola: 24673079 markings, 59753119 edges, 145050 markings/sec, 160 secs
lola: 25393646 markings, 61510493 edges, 144113 markings/sec, 165 secs
lola: 26030223 markings, 63197582 edges, 127315 markings/sec, 170 secs
lola: 26725299 markings, 64924343 edges, 139015 markings/sec, 175 secs
lola: 27444556 markings, 66607214 edges, 143851 markings/sec, 180 secs
lola: 28113140 markings, 68319582 edges, 133717 markings/sec, 185 secs
lola: 28809861 markings, 70008795 edges, 139344 markings/sec, 190 secs
lola: 29496144 markings, 71720601 edges, 137257 markings/sec, 195 secs
lola: 30109010 markings, 73508548 edges, 122573 markings/sec, 200 secs
lola: 30724103 markings, 75395916 edges, 123019 markings/sec, 205 secs
lola: 31361038 markings, 77099353 edges, 127387 markings/sec, 210 secs
lola: 32028813 markings, 78819858 edges, 133555 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: 912070 markings, 2017488 edges, 182414 markings/sec, 0 secs
lola: 1688808 markings, 3927179 edges, 155348 markings/sec, 5 secs
lola: 2408788 markings, 5758754 edges, 143996 markings/sec, 10 secs
lola: 3125517 markings, 7548587 edges, 143346 markings/sec, 15 secs
lola: 3852262 markings, 9420108 edges, 145349 markings/sec, 20 secs
lola: 4531596 markings, 11271314 edges, 135867 markings/sec, 25 secs
lola: 5209162 markings, 13056334 edges, 135513 markings/sec, 30 secs
lola: 5884341 markings, 14809345 edges, 135036 markings/sec, 35 secs
lola: 6535973 markings, 16566894 edges, 130326 markings/sec, 40 secs
lola: 7164850 markings, 18375870 edges, 125775 markings/sec, 45 secs
lola: 7791046 markings, 20175107 edges, 125239 markings/sec, 50 secs
lola: 8372933 markings, 22034446 edges, 116377 markings/sec, 55 secs
lola: 8988378 markings, 23848632 edges, 123089 markings/sec, 60 secs
lola: 9617059 markings, 25633413 edges, 125736 markings/sec, 65 secs
lola: 10237135 markings, 27414135 edges, 124015 markings/sec, 70 secs
lola: 10838865 markings, 29226214 edges, 120346 markings/sec, 75 secs
lola: 11432226 markings, 31040900 edges, 118672 markings/sec, 80 secs
lola: 12015666 markings, 32844123 edges, 116688 markings/sec, 85 secs
lola: 12540803 markings, 34762843 edges, 105027 markings/sec, 90 secs
lola: 13049109 markings, 36760022 edges, 101661 markings/sec, 95 secs
lola: 13571653 markings, 38731825 edges, 104509 markings/sec, 100 secs
lola: 14112927 markings, 40793187 edges, 108255 markings/sec, 105 secs
lola: 14653801 markings, 42837743 edges, 108175 markings/sec, 110 secs
lola: 15209965 markings, 44746796 edges, 111233 markings/sec, 115 secs
lola: 15777511 markings, 46796537 edges, 113509 markings/sec, 120 secs
lola: 16321662 markings, 48603361 edges, 108830 markings/sec, 125 secs
lola: 16858018 markings, 50598275 edges, 107271 markings/sec, 130 secs
lola: 17433502 markings, 52498171 edges, 115097 markings/sec, 135 secs
lola: 18005048 markings, 54405456 edges, 114309 markings/sec, 140 secs
lola: 18578246 markings, 56230151 edges, 114640 markings/sec, 145 secs
lola: 19099987 markings, 58075416 edges, 104348 markings/sec, 150 secs
lola: 19674166 markings, 59930015 edges, 114836 markings/sec, 155 secs
lola: 20216485 markings, 61874838 edges, 108464 markings/sec, 160 secs
lola: 20696031 markings, 63718299 edges, 95909 markings/sec, 165 secs
lola: 21253901 markings, 65548814 edges, 111574 markings/sec, 170 secs
lola: 21828285 markings, 67473781 edges, 114877 markings/sec, 175 secs
lola: 22369628 markings, 69374233 edges, 108269 markings/sec, 180 secs
lola: 22946329 markings, 71306537 edges, 115340 markings/sec, 185 secs
lola: 23508458 markings, 73198114 edges, 112426 markings/sec, 190 secs
lola: 24081006 markings, 75054126 edges, 114510 markings/sec, 195 secs
lola: 24689302 markings, 76995557 edges, 121659 markings/sec, 200 secs
lola: 25206762 markings, 78986783 edges, 103492 markings/sec, 205 secs
lola: 25777933 markings, 80986150 edges, 114234 markings/sec, 210 secs
lola: 26338318 markings, 82981309 edges, 112077 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: 1225615 markings, 1961569 edges, 245123 markings/sec, 0 secs
lola: 2398208 markings, 3927049 edges, 234519 markings/sec, 5 secs
lola: 3533911 markings, 5867787 edges, 227141 markings/sec, 10 secs
lola: 4665158 markings, 7807849 edges, 226249 markings/sec, 15 secs
lola: 5735133 markings, 9727473 edges, 213995 markings/sec, 20 secs
lola: 6784120 markings, 11602534 edges, 209797 markings/sec, 25 secs
lola: 7797852 markings, 13482478 edges, 202746 markings/sec, 30 secs
lola: 8793063 markings, 15361766 edges, 199042 markings/sec, 35 secs
lola: 9787626 markings, 17271079 edges, 198913 markings/sec, 40 secs
lola: 10792392 markings, 19224125 edges, 200953 markings/sec, 45 secs
lola: 11926569 markings, 21147444 edges, 226835 markings/sec, 50 secs
lola: 13080865 markings, 23080158 edges, 230859 markings/sec, 55 secs
lola: 14215557 markings, 24996214 edges, 226938 markings/sec, 60 secs
lola: 15292529 markings, 26926916 edges, 215394 markings/sec, 65 secs
lola: 16357706 markings, 28861015 edges, 213035 markings/sec, 70 secs
lola: 17458944 markings, 30749655 edges, 220248 markings/sec, 75 secs
lola: 18481673 markings, 32644369 edges, 204546 markings/sec, 80 secs
lola: 19477409 markings, 34571602 edges, 199147 markings/sec, 85 secs
lola: 20502259 markings, 36467576 edges, 204970 markings/sec, 90 secs
lola: 21514918 markings, 38370089 edges, 202532 markings/sec, 95 secs
lola: 22552101 markings, 40346112 edges, 207437 markings/sec, 100 secs
lola: 23590998 markings, 42287146 edges, 207779 markings/sec, 105 secs
lola: 24664682 markings, 44168406 edges, 214737 markings/sec, 110 secs
lola: 25729742 markings, 46071983 edges, 213012 markings/sec, 115 secs
lola: 26812749 markings, 48004970 edges, 216601 markings/sec, 120 secs
lola: 27921135 markings, 50008789 edges, 221677 markings/sec, 125 secs
lola: 28911102 markings, 52022439 edges, 197993 markings/sec, 130 secs
lola: 29996223 markings, 54016989 edges, 217024 markings/sec, 135 secs
lola: 31031978 markings, 56033835 edges, 207151 markings/sec, 140 secs
lola: 32025856 markings, 58122975 edges, 198776 markings/sec, 145 secs
lola: 33120111 markings, 60027771 edges, 218851 markings/sec, 150 secs
lola: 34366396 markings, 61976386 edges, 249257 markings/sec, 155 secs
lola: 35475342 markings, 63894559 edges, 221789 markings/sec, 160 secs
lola: 36470684 markings, 65822791 edges, 199068 markings/sec, 165 secs
lola: 37511021 markings, 67675923 edges, 208067 markings/sec, 170 secs
lola: 38515597 markings, 69502946 edges, 200915 markings/sec, 175 secs
lola: 39489710 markings, 71347813 edges, 194823 markings/sec, 180 secs
lola: 40536520 markings, 73214224 edges, 209362 markings/sec, 185 secs
lola: 41628754 markings, 75122152 edges, 218447 markings/sec, 190 secs
lola: 42741508 markings, 77027839 edges, 222551 markings/sec, 195 secs
lola: 43722308 markings, 78906554 edges, 196160 markings/sec, 200 secs
lola: 44717615 markings, 80715125 edges, 199061 markings/sec, 205 secs
lola: 45853666 markings, 82602569 edges, 227210 markings/sec, 210 secs
lola: 46759863 markings, 84453253 edges, 181239 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: 1075189 markings, 1960030 edges, 215038 markings/sec, 0 secs
lola: 2126099 markings, 3878062 edges, 210182 markings/sec, 5 secs
lola: 3160521 markings, 5698362 edges, 206884 markings/sec, 10 secs
lola: 4179509 markings, 7504092 edges, 203798 markings/sec, 15 secs
lola: 5190159 markings, 9295673 edges, 202130 markings/sec, 20 secs
lola: 6242680 markings, 11160844 edges, 210504 markings/sec, 25 secs
lola: 7346146 markings, 13176833 edges, 220693 markings/sec, 30 secs
lola: 8453757 markings, 15150389 edges, 221522 markings/sec, 35 secs
lola: 9470519 markings, 16955899 edges, 203352 markings/sec, 40 secs
lola: 10514910 markings, 18765891 edges, 208878 markings/sec, 45 secs
lola: 11531320 markings, 20570972 edges, 203282 markings/sec, 50 secs
lola: 12531376 markings, 22343554 edges, 200011 markings/sec, 55 secs
lola: 13542837 markings, 24161573 edges, 202292 markings/sec, 60 secs
lola: 14596525 markings, 26043918 edges, 210738 markings/sec, 65 secs
lola: 15646299 markings, 27964565 edges, 209955 markings/sec, 70 secs
lola: 16719900 markings, 29876566 edges, 214720 markings/sec, 75 secs
lola: 17785814 markings, 31783917 edges, 213183 markings/sec, 80 secs
lola: 18866892 markings, 33713550 edges, 216216 markings/sec, 85 secs
lola: 19986795 markings, 35618704 edges, 223981 markings/sec, 90 secs
lola: 21073138 markings, 37522774 edges, 217269 markings/sec, 95 secs
lola: 22144058 markings, 39486865 edges, 214184 markings/sec, 100 secs
lola: 23245173 markings, 41470007 edges, 220223 markings/sec, 105 secs
lola: 24185231 markings, 43123318 edges, 188012 markings/sec, 110 secs
lola: 25232481 markings, 44980878 edges, 209450 markings/sec, 115 secs
lola: 26222954 markings, 46786832 edges, 198095 markings/sec, 120 secs
lola: 27097512 markings, 48621870 edges, 174912 markings/sec, 125 secs
lola: 28077450 markings, 50381285 edges, 195988 markings/sec, 130 secs
lola: 29138657 markings, 52251922 edges, 212241 markings/sec, 135 secs
lola: 30194329 markings, 54158725 edges, 211134 markings/sec, 140 secs
lola: 31287116 markings, 56038631 edges, 218557 markings/sec, 145 secs
lola: 32306155 markings, 57958859 edges, 203808 markings/sec, 150 secs
lola: 33350155 markings, 59877668 edges, 208800 markings/sec, 155 secs
lola: 34426611 markings, 61757630 edges, 215291 markings/sec, 160 secs
lola: 35485993 markings, 63657301 edges, 211876 markings/sec, 165 secs
lola: 36536107 markings, 65572921 edges, 210023 markings/sec, 170 secs
lola: 37622054 markings, 67532491 edges, 217189 markings/sec, 175 secs
lola: 38672458 markings, 69384963 edges, 210081 markings/sec, 180 secs
lola: 39720877 markings, 71255363 edges, 209684 markings/sec, 185 secs
lola: 40752877 markings, 73120458 edges, 206400 markings/sec, 190 secs
lola: 41746135 markings, 75046715 edges, 198652 markings/sec, 195 secs
lola: 42781410 markings, 76954848 edges, 207055 markings/sec, 200 secs
lola: 43849004 markings, 78850602 edges, 213519 markings/sec, 205 secs
lola: 44928703 markings, 80730739 edges, 215940 markings/sec, 210 secs
lola: 45997776 markings, 82608628 edges, 213815 markings/sec, 215 secs
lola: 47036056 markings, 84522596 edges, 207656 markings/sec, 220 secs
lola: 48096578 markings, 86416992 edges, 212104 markings/sec, 225 secs
lola: 49125172 markings, 88242293 edges, 205719 markings/sec, 230 secs
lola: 50150024 markings, 90096969 edges, 204970 markings/sec, 235 secs
lola: 51038682 markings, 92068604 edges, 177732 markings/sec, 240 secs
lola: 52028894 markings, 93940043 edges, 198042 markings/sec, 245 secs
lola: 53075452 markings, 95807994 edges, 209312 markings/sec, 250 secs
lola: 54121914 markings, 97643034 edges, 209292 markings/sec, 255 secs
lola: 55179942 markings, 99490485 edges, 211606 markings/sec, 260 secs
lola: 56216396 markings, 101345822 edges, 207291 markings/sec, 265 secs
lola: 57251170 markings, 103187613 edges, 206955 markings/sec, 270 secs
lola: 58272664 markings, 105022304 edges, 204299 markings/sec, 275 secs
lola: 59295243 markings, 106866226 edges, 204516 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: 871585 markings, 2003104 edges, 174317 markings/sec, 0 secs
lola: 1629489 markings, 4068302 edges, 151581 markings/sec, 5 secs
lola: 2373494 markings, 6110082 edges, 148801 markings/sec, 10 secs
lola: 3093826 markings, 8080652 edges, 144066 markings/sec, 15 secs
lola: 3813830 markings, 10077496 edges, 144001 markings/sec, 20 secs
lola: 4515496 markings, 12065280 edges, 140333 markings/sec, 25 secs
lola: 5218437 markings, 14070756 edges, 140588 markings/sec, 30 secs
lola: 5902046 markings, 16029178 edges, 136722 markings/sec, 35 secs
lola: 6571997 markings, 17978002 edges, 133990 markings/sec, 40 secs
lola: 7229078 markings, 19928615 edges, 131416 markings/sec, 45 secs
lola: 7873007 markings, 21879526 edges, 128786 markings/sec, 50 secs
lola: 8539788 markings, 23816891 edges, 133356 markings/sec, 55 secs
lola: 9210418 markings, 25742626 edges, 134126 markings/sec, 60 secs
lola: 9860094 markings, 27635087 edges, 129935 markings/sec, 65 secs
lola: 10493491 markings, 29536033 edges, 126679 markings/sec, 70 secs
lola: 11121149 markings, 31462940 edges, 125532 markings/sec, 75 secs
lola: 11752492 markings, 33407654 edges, 126269 markings/sec, 80 secs
lola: 12388923 markings, 35339174 edges, 127286 markings/sec, 85 secs
lola: 13032009 markings, 37247750 edges, 128617 markings/sec, 90 secs
lola: 13670364 markings, 39142739 edges, 127671 markings/sec, 95 secs
lola: 14284927 markings, 41079395 edges, 122913 markings/sec, 100 secs
lola: 14903315 markings, 43030685 edges, 123678 markings/sec, 105 secs
lola: 15536054 markings, 44955533 edges, 126548 markings/sec, 110 secs
lola: 16160576 markings, 46871094 edges, 124904 markings/sec, 115 secs
lola: 16746355 markings, 48850024 edges, 117156 markings/sec, 120 secs
lola: 17359764 markings, 50757470 edges, 122682 markings/sec, 125 secs
lola: 17966282 markings, 52704209 edges, 121304 markings/sec, 130 secs
lola: 18582403 markings, 54647641 edges, 123224 markings/sec, 135 secs
lola: 19188061 markings, 56634247 edges, 121132 markings/sec, 140 secs
lola: 19806867 markings, 58607455 edges, 123761 markings/sec, 145 secs
lola: 20403939 markings, 60604306 edges, 119414 markings/sec, 150 secs
lola: 21010692 markings, 62578967 edges, 121351 markings/sec, 155 secs
lola: 21619698 markings, 64515492 edges, 121801 markings/sec, 160 secs
lola: 22179892 markings, 66521234 edges, 112039 markings/sec, 165 secs
lola: 22728254 markings, 68507667 edges, 109672 markings/sec, 170 secs
lola: 23287181 markings, 70454392 edges, 111785 markings/sec, 175 secs
lola: 23769409 markings, 72482431 edges, 96446 markings/sec, 180 secs
lola: 24285909 markings, 74455266 edges, 103300 markings/sec, 185 secs
lola: 24804120 markings, 76403264 edges, 103642 markings/sec, 190 secs
lola: 25380106 markings, 78290545 edges, 115197 markings/sec, 195 secs
lola: 25870008 markings, 80353574 edges, 97980 markings/sec, 200 secs
lola: 26449133 markings, 82237911 edges, 115825 markings/sec, 205 secs
lola: 27041353 markings, 84103164 edges, 118444 markings/sec, 210 secs
lola: 27668620 markings, 85957807 edges, 125453 markings/sec, 215 secs
lola: 28202062 markings, 87984783 edges, 106688 markings/sec, 220 secs
lola: 28763511 markings, 89867368 edges, 112290 markings/sec, 225 secs
lola: 29316970 markings, 91755202 edges, 110692 markings/sec, 230 secs
lola: 29904149 markings, 93622104 edges, 117436 markings/sec, 235 secs
lola: 30463480 markings, 95564247 edges, 111866 markings/sec, 240 secs
lola: 30973906 markings, 97530119 edges, 102085 markings/sec, 245 secs
lola: 31559989 markings, 99468829 edges, 117217 markings/sec, 250 secs
lola: 32135585 markings, 101426656 edges, 115119 markings/sec, 255 secs
lola: 32733968 markings, 103348988 edges, 119677 markings/sec, 260 secs
lola: 33282375 markings, 105328023 edges, 109681 markings/sec, 265 secs
lola: 33756057 markings, 107396363 edges, 94736 markings/sec, 270 secs
lola: 34315252 markings, 109289806 edges, 111839 markings/sec, 275 secs
lola: 34876801 markings, 111246509 edges, 112310 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: 1242613 markings, 1933603 edges, 248523 markings/sec, 0 secs
lola: 2390465 markings, 3895501 edges, 229570 markings/sec, 5 secs
lola: 3556710 markings, 5825471 edges, 233249 markings/sec, 10 secs
lola: 4713099 markings, 7738480 edges, 231278 markings/sec, 15 secs
lola: 5861982 markings, 9651774 edges, 229777 markings/sec, 20 secs
lola: 6984050 markings, 11547997 edges, 224414 markings/sec, 25 secs
lola: 8106943 markings, 13441532 edges, 224579 markings/sec, 30 secs
lola: 9224128 markings, 15337285 edges, 223437 markings/sec, 35 secs
lola: 10317299 markings, 17207886 edges, 218634 markings/sec, 40 secs
lola: 11438133 markings, 19087737 edges, 224167 markings/sec, 45 secs
lola: 12538673 markings, 20964880 edges, 220108 markings/sec, 50 secs
lola: 13622328 markings, 22826266 edges, 216731 markings/sec, 55 secs
lola: 14709914 markings, 24699247 edges, 217517 markings/sec, 60 secs
lola: 15754545 markings, 26476842 edges, 208926 markings/sec, 65 secs
lola: 16772563 markings, 28214878 edges, 203604 markings/sec, 70 secs
lola: 17777504 markings, 29973254 edges, 200988 markings/sec, 75 secs
lola: 18802723 markings, 31778460 edges, 205044 markings/sec, 80 secs
lola: 19875842 markings, 33639090 edges, 214624 markings/sec, 85 secs
lola: 20912248 markings, 35400723 edges, 207281 markings/sec, 90 secs
lola: 21924235 markings, 37140666 edges, 202397 markings/sec, 95 secs
lola: 22964014 markings, 38903747 edges, 207956 markings/sec, 100 secs
lola: 23975913 markings, 40646259 edges, 202380 markings/sec, 105 secs
lola: 24994690 markings, 42375422 edges, 203755 markings/sec, 110 secs
lola: 26004366 markings, 44149046 edges, 201935 markings/sec, 115 secs
lola: 27024413 markings, 45926568 edges, 204009 markings/sec, 120 secs
lola: 28029625 markings, 47644065 edges, 201042 markings/sec, 125 secs
lola: 29058520 markings, 49387940 edges, 205779 markings/sec, 130 secs
lola: 30122269 markings, 51225514 edges, 212750 markings/sec, 135 secs
lola: 31147413 markings, 53044444 edges, 205029 markings/sec, 140 secs
lola: 32169976 markings, 54832953 edges, 204513 markings/sec, 145 secs
lola: 33221935 markings, 56632630 edges, 210392 markings/sec, 150 secs
lola: 34219738 markings, 58361757 edges, 199561 markings/sec, 155 secs
lola: 35201337 markings, 60069663 edges, 196320 markings/sec, 160 secs
lola: 36178349 markings, 61795084 edges, 195402 markings/sec, 165 secs
lola: 37227203 markings, 63594182 edges, 209771 markings/sec, 170 secs
lola: 38254850 markings, 65387970 edges, 205529 markings/sec, 175 secs
lola: 39284537 markings, 67173411 edges, 205937 markings/sec, 180 secs
lola: 40295207 markings, 68967028 edges, 202134 markings/sec, 185 secs
lola: 41319024 markings, 70766445 edges, 204763 markings/sec, 190 secs
lola: 42338212 markings, 72539861 edges, 203838 markings/sec, 195 secs
lola: 43362855 markings, 74341327 edges, 204929 markings/sec, 200 secs
lola: 44396941 markings, 76139674 edges, 206817 markings/sec, 205 secs
lola: 45399564 markings, 77938988 edges, 200525 markings/sec, 210 secs
lola: 46420271 markings, 79739892 edges, 204141 markings/sec, 215 secs
lola: 47441747 markings, 81548539 edges, 204295 markings/sec, 220 secs
lola: 48452856 markings, 83329413 edges, 202222 markings/sec, 225 secs
lola: 49470422 markings, 85136393 edges, 203513 markings/sec, 230 secs
lola: 50458394 markings, 86930196 edges, 197594 markings/sec, 235 secs
lola: 51472867 markings, 88731993 edges, 202895 markings/sec, 240 secs
lola: 52499265 markings, 90537412 edges, 205280 markings/sec, 245 secs
lola: 53503790 markings, 92342216 edges, 200905 markings/sec, 250 secs
lola: 54526459 markings, 94136051 edges, 204534 markings/sec, 255 secs
lola: 55546976 markings, 95908517 edges, 204103 markings/sec, 260 secs
lola: 56538823 markings, 97697870 edges, 198369 markings/sec, 265 secs
lola: 57512502 markings, 99464524 edges, 194736 markings/sec, 270 secs
lola: 58512797 markings, 101222546 edges, 200059 markings/sec, 275 secs
lola: 59489350 markings, 103003804 edges, 195311 markings/sec, 280 secs
lola: 60450833 markings, 104775024 edges, 192297 markings/sec, 285 secs
lola: 61437874 markings, 106512394 edges, 197408 markings/sec, 290 secs
lola: 62399800 markings, 108275615 edges, 192385 markings/sec, 295 secs
lola: 63406620 markings, 110061288 edges, 201364 markings/sec, 300 secs
lola: 64393599 markings, 111834032 edges, 197396 markings/sec, 305 secs
lola: 65365443 markings, 113608962 edges, 194369 markings/sec, 310 secs
lola: 66349633 markings, 115399602 edges, 196838 markings/sec, 315 secs
lola: 67349091 markings, 117173440 edges, 199892 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: 1184490 markings, 1862030 edges, 236898 markings/sec, 0 secs
lola: 2278700 markings, 3729783 edges, 218842 markings/sec, 5 secs
lola: 3339265 markings, 5552640 edges, 212113 markings/sec, 10 secs
lola: 4371599 markings, 7383432 edges, 206467 markings/sec, 15 secs
lola: 5389782 markings, 9197679 edges, 203637 markings/sec, 20 secs
lola: 6394110 markings, 11010608 edges, 200866 markings/sec, 25 secs
lola: 7391898 markings, 12784426 edges, 199558 markings/sec, 30 secs
lola: 8374119 markings, 14544899 edges, 196444 markings/sec, 35 secs
lola: 9339278 markings, 16339290 edges, 193032 markings/sec, 40 secs
lola: 10308138 markings, 18069444 edges, 193772 markings/sec, 45 secs
lola: 11258684 markings, 19835503 edges, 190109 markings/sec, 50 secs
lola: 12210835 markings, 21569457 edges, 190430 markings/sec, 55 secs
lola: 13162519 markings, 23351821 edges, 190337 markings/sec, 60 secs
lola: 14098882 markings, 25089664 edges, 187273 markings/sec, 65 secs
lola: 15000168 markings, 26748391 edges, 180257 markings/sec, 70 secs
lola: 15875500 markings, 28400323 edges, 175066 markings/sec, 75 secs
lola: 16753511 markings, 30073993 edges, 175602 markings/sec, 80 secs
lola: 17627163 markings, 31711412 edges, 174730 markings/sec, 85 secs
lola: 18486705 markings, 33422348 edges, 171908 markings/sec, 90 secs
lola: 19340652 markings, 35109449 edges, 170789 markings/sec, 95 secs
lola: 20116750 markings, 36991294 edges, 155220 markings/sec, 100 secs
lola: 20961170 markings, 38853396 edges, 168884 markings/sec, 105 secs
lola: 21760941 markings, 40557373 edges, 159954 markings/sec, 110 secs
lola: 22607773 markings, 42269894 edges, 169366 markings/sec, 115 secs
lola: 23458804 markings, 43968339 edges, 170206 markings/sec, 120 secs
lola: 24338863 markings, 45764137 edges, 176012 markings/sec, 125 secs
lola: 25201464 markings, 47424648 edges, 172520 markings/sec, 130 secs
lola: 26044038 markings, 49138813 edges, 168515 markings/sec, 135 secs
lola: 26921726 markings, 50876030 edges, 175538 markings/sec, 140 secs
lola: 27800423 markings, 52539096 edges, 175739 markings/sec, 145 secs
lola: 28694069 markings, 54206857 edges, 178729 markings/sec, 150 secs
lola: 29570575 markings, 55883294 edges, 175301 markings/sec, 155 secs
lola: 30429996 markings, 57560252 edges, 171884 markings/sec, 160 secs
lola: 31278343 markings, 59270959 edges, 169669 markings/sec, 165 secs
lola: 32162350 markings, 60925550 edges, 176801 markings/sec, 170 secs
lola: 33096715 markings, 62740291 edges, 186873 markings/sec, 175 secs
lola: 34048525 markings, 64640216 edges, 190362 markings/sec, 180 secs
lola: 34926828 markings, 66368052 edges, 175661 markings/sec, 185 secs
lola: 35796961 markings, 68093053 edges, 174027 markings/sec, 190 secs
lola: 36691740 markings, 69805636 edges, 178956 markings/sec, 195 secs
lola: 37590423 markings, 71571167 edges, 179737 markings/sec, 200 secs
lola: 38480294 markings, 73310778 edges, 177974 markings/sec, 205 secs
lola: 39350197 markings, 75008439 edges, 173981 markings/sec, 210 secs
lola: 40207948 markings, 76729423 edges, 171550 markings/sec, 215 secs
lola: 41091350 markings, 78466202 edges, 176680 markings/sec, 220 secs
lola: 41960604 markings, 80181330 edges, 173851 markings/sec, 225 secs
lola: 42842403 markings, 81924406 edges, 176360 markings/sec, 230 secs
lola: 43719409 markings, 83629848 edges, 175401 markings/sec, 235 secs
lola: 44583519 markings, 85360161 edges, 172822 markings/sec, 240 secs
lola: 45443372 markings, 87060576 edges, 171971 markings/sec, 245 secs
lola: 46304574 markings, 88821280 edges, 172240 markings/sec, 250 secs
lola: 47148583 markings, 90546872 edges, 168802 markings/sec, 255 secs
lola: 48015555 markings, 92218459 edges, 173394 markings/sec, 260 secs
lola: 48897629 markings, 93894439 edges, 176415 markings/sec, 265 secs
lola: 49719909 markings, 95646736 edges, 164456 markings/sec, 270 secs
lola: 50574819 markings, 97342513 edges, 170982 markings/sec, 275 secs
lola: 51425488 markings, 99029467 edges, 170134 markings/sec, 280 secs
lola: 52280233 markings, 100707991 edges, 170949 markings/sec, 285 secs
lola: 53149265 markings, 102376222 edges, 173806 markings/sec, 290 secs
lola: 54011868 markings, 104104376 edges, 172521 markings/sec, 295 secs
lola: 54880689 markings, 105820352 edges, 173764 markings/sec, 300 secs
lola: 55732201 markings, 107497972 edges, 170302 markings/sec, 305 secs
lola: 56606728 markings, 109190665 edges, 174905 markings/sec, 310 secs
lola: 57479359 markings, 110888253 edges, 174526 markings/sec, 315 secs
lola: 58361221 markings, 112593629 edges, 176372 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: 1222322 markings, 1899272 edges, 244464 markings/sec, 0 secs
lola: 2347937 markings, 3823351 edges, 225123 markings/sec, 5 secs
lola: 3484725 markings, 5707833 edges, 227358 markings/sec, 10 secs
lola: 4610259 markings, 7573929 edges, 225107 markings/sec, 15 secs
lola: 5728382 markings, 9435438 edges, 223625 markings/sec, 20 secs
lola: 6823059 markings, 11280782 edges, 218935 markings/sec, 25 secs
lola: 7919971 markings, 13128884 edges, 219382 markings/sec, 30 secs
lola: 9002055 markings, 14968036 edges, 216417 markings/sec, 35 secs
lola: 10070544 markings, 16788864 edges, 213698 markings/sec, 40 secs
lola: 11139891 markings, 18605961 edges, 213869 markings/sec, 45 secs
lola: 12208339 markings, 20421710 edges, 213690 markings/sec, 50 secs
lola: 13275214 markings, 22235278 edges, 213375 markings/sec, 55 secs
lola: 14325669 markings, 24031373 edges, 210091 markings/sec, 60 secs
lola: 15409092 markings, 25885201 edges, 216685 markings/sec, 65 secs
lola: 16469934 markings, 27703789 edges, 212168 markings/sec, 70 secs
lola: 17493670 markings, 29468389 edges, 204747 markings/sec, 75 secs
lola: 18512064 markings, 31274515 edges, 203679 markings/sec, 80 secs
lola: 19536665 markings, 33055212 edges, 204920 markings/sec, 85 secs
lola: 20609848 markings, 34876662 edges, 214637 markings/sec, 90 secs
lola: 21623971 markings, 36640611 edges, 202825 markings/sec, 95 secs
lola: 22672281 markings, 38397287 edges, 209662 markings/sec, 100 secs
lola: 23709293 markings, 40185268 edges, 207402 markings/sec, 105 secs
lola: 24761085 markings, 41985091 edges, 210358 markings/sec, 110 secs
lola: 25785786 markings, 43766790 edges, 204940 markings/sec, 115 secs
lola: 26758753 markings, 45482038 edges, 194593 markings/sec, 120 secs
lola: 27763214 markings, 47175795 edges, 200892 markings/sec, 125 secs
lola: 28726431 markings, 48823072 edges, 192643 markings/sec, 130 secs
lola: 29694856 markings, 50497178 edges, 193685 markings/sec, 135 secs
lola: 30660124 markings, 52197157 edges, 193054 markings/sec, 140 secs
lola: 31614424 markings, 53861614 edges, 190860 markings/sec, 145 secs
lola: 32564901 markings, 55515059 edges, 190095 markings/sec, 150 secs
lola: 33600781 markings, 57288869 edges, 207176 markings/sec, 155 secs
lola: 34652581 markings, 59121547 edges, 210360 markings/sec, 160 secs
lola: 35687725 markings, 60943043 edges, 207029 markings/sec, 165 secs
lola: 36737944 markings, 62752603 edges, 210044 markings/sec, 170 secs
lola: 37772479 markings, 64545624 edges, 206907 markings/sec, 175 secs
lola: 38807586 markings, 66349958 edges, 207021 markings/sec, 180 secs
lola: 39829054 markings, 68143972 edges, 204294 markings/sec, 185 secs
lola: 40851063 markings, 69946251 edges, 204402 markings/sec, 190 secs
lola: 41857605 markings, 71706281 edges, 201308 markings/sec, 195 secs
lola: 42894088 markings, 73518153 edges, 207297 markings/sec, 200 secs
lola: 43934036 markings, 75314441 edges, 207990 markings/sec, 205 secs
lola: 44931332 markings, 77107733 edges, 199459 markings/sec, 210 secs
lola: 45947933 markings, 78905861 edges, 203320 markings/sec, 215 secs
lola: 46962950 markings, 80693960 edges, 203003 markings/sec, 220 secs
lola: 47982269 markings, 82493665 edges, 203864 markings/sec, 225 secs
lola: 48992618 markings, 84294675 edges, 202070 markings/sec, 230 secs
lola: 49997642 markings, 86095793 edges, 201005 markings/sec, 235 secs
lola: 50992218 markings, 87879309 edges, 198915 markings/sec, 240 secs
lola: 52018879 markings, 89688239 edges, 205332 markings/sec, 245 secs
lola: 53023979 markings, 91489495 edges, 201020 markings/sec, 250 secs
lola: 54039793 markings, 93283947 edges, 203163 markings/sec, 255 secs
lola: 55051268 markings, 95057636 edges, 202295 markings/sec, 260 secs
lola: 56064676 markings, 96835109 edges, 202682 markings/sec, 265 secs
lola: 57047561 markings, 98607383 edges, 196577 markings/sec, 270 secs
lola: 58037932 markings, 100400022 edges, 198074 markings/sec, 275 secs
lola: 59044084 markings, 102182649 edges, 201230 markings/sec, 280 secs
lola: 60034410 markings, 104008486 edges, 198065 markings/sec, 285 secs
lola: 61030311 markings, 105800164 edges, 199180 markings/sec, 290 secs
lola: 62028787 markings, 107573809 edges, 199695 markings/sec, 295 secs
lola: 63009566 markings, 109366294 edges, 196156 markings/sec, 300 secs
lola: 64011838 markings, 111170487 edges, 200454 markings/sec, 305 secs
lola: 64997903 markings, 112966065 edges, 197213 markings/sec, 310 secs
lola: 65983736 markings, 114761977 edges, 197167 markings/sec, 315 secs
lola: 67001704 markings, 116547087 edges, 203594 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 328 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: 1143183 markings, 2131109 edges, 228637 markings/sec, 0 secs
lola: 2261016 markings, 4225130 edges, 223567 markings/sec, 5 secs
lola: 3269569 markings, 6268206 edges, 201711 markings/sec, 10 secs
lola: 4209525 markings, 8269116 edges, 187991 markings/sec, 15 secs
lola: 5118821 markings, 10299215 edges, 181859 markings/sec, 20 secs
lola: 6028598 markings, 12360776 edges, 181955 markings/sec, 25 secs
lola: 6886925 markings, 14326141 edges, 171665 markings/sec, 30 secs
lola: 7705475 markings, 16203463 edges, 163710 markings/sec, 35 secs
lola: 8545097 markings, 18110338 edges, 167924 markings/sec, 40 secs
lola: 9327128 markings, 20063522 edges, 156406 markings/sec, 45 secs
lola: 10099412 markings, 22032725 edges, 154457 markings/sec, 50 secs
lola: 10730128 markings, 24077066 edges, 126143 markings/sec, 55 secs
lola: 11346315 markings, 26031539 edges, 123237 markings/sec, 60 secs
lola: 12041843 markings, 27804941 edges, 139106 markings/sec, 65 secs
lola: 12673245 markings, 29614282 edges, 126280 markings/sec, 70 secs
lola: 13208560 markings, 31471042 edges, 107063 markings/sec, 75 secs
lola: 13914189 markings, 33352160 edges, 141126 markings/sec, 80 secs
lola: 14729131 markings, 35323521 edges, 162988 markings/sec, 85 secs
lola: 15235003 markings, 37303913 edges, 101174 markings/sec, 90 secs
lola: 15750625 markings, 39302428 edges, 103124 markings/sec, 95 secs
lola: 16310872 markings, 41445881 edges, 112049 markings/sec, 100 secs
lola: 17035706 markings, 43463248 edges, 144967 markings/sec, 105 secs
lola: 17759876 markings, 45540415 edges, 144834 markings/sec, 110 secs
lola: 18306816 markings, 47735415 edges, 109388 markings/sec, 115 secs
lola: 19028996 markings, 49767095 edges, 144436 markings/sec, 120 secs
lola: 19780638 markings, 51774884 edges, 150328 markings/sec, 125 secs
lola: 20596981 markings, 53779751 edges, 163269 markings/sec, 130 secs
lola: 21354735 markings, 55801690 edges, 151551 markings/sec, 135 secs
lola: 22140667 markings, 57723059 edges, 157186 markings/sec, 140 secs
lola: 22904732 markings, 59723466 edges, 152813 markings/sec, 145 secs
lola: 23599220 markings, 61767387 edges, 138898 markings/sec, 150 secs
lola: 24149056 markings, 63935129 edges, 109967 markings/sec, 155 secs
lola: 24670273 markings, 66068194 edges, 104243 markings/sec, 160 secs
lola: 25181229 markings, 67921395 edges, 102191 markings/sec, 165 secs
lola: 25644058 markings, 69963258 edges, 92566 markings/sec, 170 secs
lola: 26244078 markings, 71858979 edges, 120004 markings/sec, 175 secs
lola: 26798344 markings, 73725207 edges, 110853 markings/sec, 180 secs
lola: 27363543 markings, 75584183 edges, 113040 markings/sec, 185 secs
lola: 27957976 markings, 77401649 edges, 118887 markings/sec, 190 secs
lola: 28558987 markings, 79113609 edges, 120202 markings/sec, 195 secs
lola: 29161082 markings, 80920985 edges, 120419 markings/sec, 200 secs
lola: 29825507 markings, 82890580 edges, 132885 markings/sec, 205 secs
lola: 30532577 markings, 84739098 edges, 141414 markings/sec, 210 secs
lola: 31222890 markings, 86562373 edges, 138063 markings/sec, 215 secs
lola: 31896670 markings, 88372204 edges, 134756 markings/sec, 220 secs
lola: 32577958 markings, 90280439 edges, 136258 markings/sec, 225 secs
lola: 33282125 markings, 92268003 edges, 140833 markings/sec, 230 secs
lola: 33882703 markings, 94229364 edges, 120116 markings/sec, 235 secs
lola: 34486661 markings, 96191901 edges, 120792 markings/sec, 240 secs
lola: 35096112 markings, 98172531 edges, 121890 markings/sec, 245 secs
lola: 35773336 markings, 100195364 edges, 135445 markings/sec, 250 secs
lola: 36252483 markings, 102225442 edges, 95829 markings/sec, 255 secs
lola: 36753216 markings, 104353030 edges, 100147 markings/sec, 260 secs
lola: 37238902 markings, 106435032 edges, 97137 markings/sec, 265 secs
lola: 37787922 markings, 108413669 edges, 109804 markings/sec, 270 secs
lola: 38380672 markings, 110428801 edges, 118550 markings/sec, 275 secs
lola: 39072131 markings, 112447462 edges, 138292 markings/sec, 280 secs
lola: 39805566 markings, 114420024 edges, 146687 markings/sec, 285 secs
lola: 40575866 markings, 116370873 edges, 154060 markings/sec, 290 secs
lola: 41255629 markings, 118251099 edges, 135953 markings/sec, 295 secs
lola: 41993302 markings, 120259999 edges, 147535 markings/sec, 300 secs
lola: 42735142 markings, 122261610 edges, 148368 markings/sec, 305 secs
lola: 43407638 markings, 124327936 edges, 134499 markings/sec, 310 secs
lola: 44101591 markings, 126358488 edges, 138791 markings/sec, 315 secs
lola: 44681936 markings, 128320376 edges, 116069 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 329 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: 1179908 markings, 1806245 edges, 235982 markings/sec, 0 secs
lola: 2181193 markings, 3680259 edges, 200257 markings/sec, 5 secs
lola: 2987473 markings, 5562827 edges, 161256 markings/sec, 10 secs
lola: 3835021 markings, 7280286 edges, 169510 markings/sec, 15 secs
lola: 4612445 markings, 8965317 edges, 155485 markings/sec, 20 secs
lola: 5198578 markings, 10777789 edges, 117227 markings/sec, 25 secs
lola: 5983076 markings, 12746622 edges, 156900 markings/sec, 30 secs
lola: 6769788 markings, 14666385 edges, 157342 markings/sec, 35 secs
lola: 7653795 markings, 16446058 edges, 176801 markings/sec, 40 secs
lola: 8305379 markings, 18284570 edges, 130317 markings/sec, 45 secs
lola: 9003369 markings, 20154711 edges, 139598 markings/sec, 50 secs
lola: 9676844 markings, 22033928 edges, 134695 markings/sec, 55 secs
lola: 10325788 markings, 23814397 edges, 129789 markings/sec, 60 secs
lola: 11032848 markings, 25510365 edges, 141412 markings/sec, 65 secs
lola: 11670834 markings, 27323607 edges, 127597 markings/sec, 70 secs
lola: 12377857 markings, 28978761 edges, 141405 markings/sec, 75 secs
lola: 13121025 markings, 30784611 edges, 148634 markings/sec, 80 secs
lola: 13888138 markings, 32612141 edges, 153423 markings/sec, 85 secs
lola: 14575622 markings, 34362694 edges, 137497 markings/sec, 90 secs
lola: 15246242 markings, 36142522 edges, 134124 markings/sec, 95 secs
lola: 15940919 markings, 37919172 edges, 138935 markings/sec, 100 secs
lola: 16565625 markings, 39671141 edges, 124941 markings/sec, 105 secs
lola: 17227419 markings, 41450553 edges, 132359 markings/sec, 110 secs
lola: 17953054 markings, 43160231 edges, 145127 markings/sec, 115 secs
lola: 18660891 markings, 44864708 edges, 141567 markings/sec, 120 secs
lola: 19442838 markings, 46664439 edges, 156389 markings/sec, 125 secs
lola: 20209294 markings, 48552259 edges, 153291 markings/sec, 130 secs
lola: 20895515 markings, 50541594 edges, 137244 markings/sec, 135 secs
lola: 21672056 markings, 52380787 edges, 155308 markings/sec, 140 secs
lola: 22424137 markings, 54286693 edges, 150416 markings/sec, 145 secs
lola: 23148519 markings, 56160227 edges, 144876 markings/sec, 150 secs
lola: 23929453 markings, 58014482 edges, 156187 markings/sec, 155 secs
lola: 24708108 markings, 59876642 edges, 155731 markings/sec, 160 secs
lola: 25354048 markings, 61858216 edges, 129188 markings/sec, 165 secs
lola: 26078518 markings, 63755775 edges, 144894 markings/sec, 170 secs
lola: 26744697 markings, 65810105 edges, 133236 markings/sec, 175 secs
lola: 27496501 markings, 67672706 edges, 150361 markings/sec, 180 secs
lola: 28138222 markings, 69658894 edges, 128344 markings/sec, 185 secs
lola: 28815941 markings, 71574281 edges, 135544 markings/sec, 190 secs
lola: 29527685 markings, 73412180 edges, 142349 markings/sec, 195 secs
lola: 30215718 markings, 75284265 edges, 137607 markings/sec, 200 secs
lola: 30945141 markings, 77168830 edges, 145885 markings/sec, 205 secs
lola: 31653344 markings, 79051008 edges, 141641 markings/sec, 210 secs
lola: 32320430 markings, 80919582 edges, 133417 markings/sec, 215 secs
lola: 33044166 markings, 82734159 edges, 144747 markings/sec, 220 secs
lola: 33746075 markings, 84547227 edges, 140382 markings/sec, 225 secs
lola: 34449458 markings, 86343843 edges, 140677 markings/sec, 230 secs
lola: 35118181 markings, 88140012 edges, 133745 markings/sec, 235 secs
lola: 35745424 markings, 90012740 edges, 125449 markings/sec, 240 secs
lola: 36404359 markings, 91914689 edges, 131787 markings/sec, 245 secs
lola: 37117668 markings, 93699879 edges, 142662 markings/sec, 250 secs
lola: 37769504 markings, 95566679 edges, 130367 markings/sec, 255 secs
lola: 38471253 markings, 97388008 edges, 140350 markings/sec, 260 secs
lola: 39059804 markings, 99115889 edges, 117710 markings/sec, 265 secs
lola: 39736573 markings, 100813388 edges, 135354 markings/sec, 270 secs
lola: 40423450 markings, 102510430 edges, 137375 markings/sec, 275 secs
lola: 41049765 markings, 104257809 edges, 125263 markings/sec, 280 secs
lola: 41624727 markings, 106038053 edges, 114992 markings/sec, 285 secs
lola: 42240281 markings, 107780562 edges, 123111 markings/sec, 290 secs
lola: 42863409 markings, 109509483 edges, 124626 markings/sec, 295 secs
lola: 43536759 markings, 111244172 edges, 134670 markings/sec, 300 secs
lola: 44207799 markings, 112995297 edges, 134208 markings/sec, 305 secs
lola: 44855848 markings, 114846621 edges, 129610 markings/sec, 310 secs
lola: 45515641 markings, 116550686 edges, 131959 markings/sec, 315 secs
lola: 46140832 markings, 118313553 edges, 125038 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: 968836 markings, 1850112 edges, 193767 markings/sec, 0 secs
lola: 1850926 markings, 3663957 edges, 176418 markings/sec, 5 secs
lola: 2714432 markings, 5463811 edges, 172701 markings/sec, 10 secs
lola: 3536503 markings, 7277655 edges, 164414 markings/sec, 15 secs
lola: 4352929 markings, 9051720 edges, 163285 markings/sec, 20 secs
lola: 5140372 markings, 10843725 edges, 157489 markings/sec, 25 secs
lola: 5889814 markings, 12627432 edges, 149888 markings/sec, 30 secs
lola: 6619830 markings, 14369740 edges, 146003 markings/sec, 35 secs
lola: 7338223 markings, 16221246 edges, 143679 markings/sec, 40 secs
lola: 8060036 markings, 18112952 edges, 144363 markings/sec, 45 secs
lola: 8796163 markings, 19969259 edges, 147225 markings/sec, 50 secs
lola: 9514886 markings, 21844293 edges, 143745 markings/sec, 55 secs
lola: 10205996 markings, 23733178 edges, 138222 markings/sec, 60 secs
lola: 10973753 markings, 25552675 edges, 153551 markings/sec, 65 secs
lola: 11743558 markings, 27377585 edges, 153961 markings/sec, 70 secs
lola: 12377424 markings, 29089261 edges, 126773 markings/sec, 75 secs
lola: 13038435 markings, 30811925 edges, 132202 markings/sec, 80 secs
lola: 13720821 markings, 32577711 edges, 136477 markings/sec, 85 secs
lola: 14375292 markings, 34347975 edges, 130894 markings/sec, 90 secs
lola: 15017440 markings, 36105078 edges, 128430 markings/sec, 95 secs
lola: 15657796 markings, 37864249 edges, 128071 markings/sec, 100 secs
lola: 16351675 markings, 39714522 edges, 138776 markings/sec, 105 secs
lola: 17043214 markings, 41598750 edges, 138308 markings/sec, 110 secs
lola: 17705545 markings, 43516079 edges, 132466 markings/sec, 115 secs
lola: 18322692 markings, 45528166 edges, 123429 markings/sec, 120 secs
lola: 18921219 markings, 47587015 edges, 119705 markings/sec, 125 secs
lola: 19442366 markings, 49685670 edges, 104229 markings/sec, 130 secs
lola: 19995719 markings, 51734145 edges, 110671 markings/sec, 135 secs
lola: 20576955 markings, 53782015 edges, 116247 markings/sec, 140 secs
lola: 21167287 markings, 55835415 edges, 118066 markings/sec, 145 secs
lola: 21729751 markings, 57819478 edges, 112493 markings/sec, 150 secs
lola: 22355221 markings, 59771779 edges, 125094 markings/sec, 155 secs
lola: 22989608 markings, 61695795 edges, 126877 markings/sec, 160 secs
lola: 23578277 markings, 63657594 edges, 117734 markings/sec, 165 secs
lola: 24190065 markings, 65603113 edges, 122358 markings/sec, 170 secs
lola: 24740397 markings, 67349224 edges, 110066 markings/sec, 175 secs
lola: 25301973 markings, 69050491 edges, 112315 markings/sec, 180 secs
lola: 25771137 markings, 70860226 edges, 93833 markings/sec, 185 secs
lola: 26401996 markings, 72558583 edges, 126172 markings/sec, 190 secs
lola: 26904743 markings, 74580874 edges, 100549 markings/sec, 195 secs
lola: 27540325 markings, 76309649 edges, 127116 markings/sec, 200 secs
lola: 28152211 markings, 78080618 edges, 122377 markings/sec, 205 secs
lola: 28751022 markings, 79860117 edges, 119762 markings/sec, 210 secs
lola: 29358567 markings, 81773763 edges, 121509 markings/sec, 215 secs
lola: 29990018 markings, 83633938 edges, 126290 markings/sec, 220 secs
lola: 30642395 markings, 85445281 edges, 130475 markings/sec, 225 secs
lola: 31209602 markings, 87360251 edges, 113441 markings/sec, 230 secs
lola: 31788768 markings, 89280664 edges, 115833 markings/sec, 235 secs
lola: 32367369 markings, 91205092 edges, 115720 markings/sec, 240 secs
lola: 32966746 markings, 93103624 edges, 119875 markings/sec, 245 secs
lola: 33580956 markings, 94989037 edges, 122842 markings/sec, 250 secs
lola: 34178502 markings, 96848758 edges, 119509 markings/sec, 255 secs
lola: 34837147 markings, 98689010 edges, 131729 markings/sec, 260 secs
lola: 35398934 markings, 100771725 edges, 112357 markings/sec, 265 secs
lola: 35925652 markings, 102770998 edges, 105344 markings/sec, 270 secs
lola: 36515120 markings, 104611659 edges, 117894 markings/sec, 275 secs
lola: 37068677 markings, 106609222 edges, 110711 markings/sec, 280 secs
lola: 37759508 markings, 108398891 edges, 138166 markings/sec, 285 secs
lola: 38356016 markings, 110279428 edges, 119302 markings/sec, 290 secs
lola: 38893342 markings, 112287148 edges, 107465 markings/sec, 295 secs
lola: 39501197 markings, 114161895 edges, 121571 markings/sec, 300 secs
lola: 40154624 markings, 115985023 edges, 130685 markings/sec, 305 secs
lola: 40719425 markings, 117889946 edges, 112960 markings/sec, 310 secs
lola: 41331001 markings, 119735752 edges, 122315 markings/sec, 315 secs
lola: 41905983 markings, 121615790 edges, 114996 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: 1153804 markings, 2164892 edges, 230761 markings/sec, 0 secs
lola: 2253737 markings, 4289855 edges, 219987 markings/sec, 5 secs
lola: 3256918 markings, 6223388 edges, 200636 markings/sec, 10 secs
lola: 4441356 markings, 8439245 edges, 236888 markings/sec, 15 secs
lola: 5483552 markings, 10460061 edges, 208439 markings/sec, 20 secs
lola: 6549493 markings, 12367887 edges, 213188 markings/sec, 25 secs
lola: 7589062 markings, 14291826 edges, 207914 markings/sec, 30 secs
lola: 8704869 markings, 16433209 edges, 223161 markings/sec, 35 secs
lola: 9883331 markings, 18594814 edges, 235692 markings/sec, 40 secs
lola: 11035658 markings, 20801688 edges, 230465 markings/sec, 45 secs
lola: 12135146 markings, 22962965 edges, 219898 markings/sec, 50 secs
lola: 13267728 markings, 25112531 edges, 226516 markings/sec, 55 secs
lola: 14366695 markings, 27267904 edges, 219793 markings/sec, 60 secs
lola: 15541010 markings, 29523825 edges, 234863 markings/sec, 65 secs
lola: 16734183 markings, 31699568 edges, 238635 markings/sec, 70 secs
lola: 17895010 markings, 33819261 edges, 232165 markings/sec, 75 secs
lola: 19002882 markings, 35927078 edges, 221574 markings/sec, 80 secs
lola: 20100429 markings, 38042304 edges, 219509 markings/sec, 85 secs
lola: 21172889 markings, 40075374 edges, 214492 markings/sec, 90 secs
lola: 22261134 markings, 42115113 edges, 217649 markings/sec, 95 secs
lola: 23359881 markings, 44169266 edges, 219749 markings/sec, 100 secs
lola: 24464898 markings, 46261990 edges, 221003 markings/sec, 105 secs
lola: 25546336 markings, 48194229 edges, 216288 markings/sec, 110 secs
lola: 26617784 markings, 50066785 edges, 214290 markings/sec, 115 secs
lola: 27646695 markings, 51978536 edges, 205782 markings/sec, 120 secs
lola: 28720204 markings, 53903770 edges, 214702 markings/sec, 125 secs
lola: 29780734 markings, 55816844 edges, 212106 markings/sec, 130 secs
lola: 30867440 markings, 57771933 edges, 217341 markings/sec, 135 secs
lola: 31949403 markings, 59719572 edges, 216393 markings/sec, 140 secs
lola: 32882691 markings, 61831564 edges, 186658 markings/sec, 145 secs
lola: 33987722 markings, 63762405 edges, 221006 markings/sec, 150 secs
lola: 35083180 markings, 65736775 edges, 219092 markings/sec, 155 secs
lola: 36205491 markings, 67677821 edges, 224462 markings/sec, 160 secs
lola: 37280591 markings, 69664664 edges, 215020 markings/sec, 165 secs
lola: 38414083 markings, 71646100 edges, 226698 markings/sec, 170 secs
lola: 39544169 markings, 73620100 edges, 226017 markings/sec, 175 secs
lola: 40579751 markings, 75623762 edges, 207116 markings/sec, 180 secs
lola: 41600669 markings, 77639435 edges, 204184 markings/sec, 185 secs
lola: 42672052 markings, 79631594 edges, 214277 markings/sec, 190 secs
lola: 43754803 markings, 81671088 edges, 216550 markings/sec, 195 secs
lola: 44889406 markings, 83701682 edges, 226921 markings/sec, 200 secs
lola: 46033356 markings, 85711255 edges, 228790 markings/sec, 205 secs
lola: 47167670 markings, 87765062 edges, 226863 markings/sec, 210 secs
lola: 48269194 markings, 89793172 edges, 220305 markings/sec, 215 secs
lola: 49305577 markings, 91822113 edges, 207277 markings/sec, 220 secs
lola: 50353597 markings, 93869316 edges, 209604 markings/sec, 225 secs
lola: 51396707 markings, 95917438 edges, 208622 markings/sec, 230 secs
lola: 52489391 markings, 97939911 edges, 218537 markings/sec, 235 secs
lola: 53603632 markings, 99956741 edges, 222848 markings/sec, 240 secs
lola: 54739848 markings, 101942021 edges, 227243 markings/sec, 245 secs
lola: 55867273 markings, 103973397 edges, 225485 markings/sec, 250 secs
lola: 56981292 markings, 105955628 edges, 222804 markings/sec, 255 secs
lola: 58103593 markings, 107989892 edges, 224460 markings/sec, 260 secs
lola: 59218368 markings, 109970861 edges, 222955 markings/sec, 265 secs
lola: 60336433 markings, 111986316 edges, 223613 markings/sec, 270 secs
lola: 61457345 markings, 113958605 edges, 224182 markings/sec, 275 secs
lola: 62383853 markings, 116085106 edges, 185302 markings/sec, 280 secs
lola: 63336784 markings, 118167914 edges, 190586 markings/sec, 285 secs
lola: 64499268 markings, 120160752 edges, 232497 markings/sec, 290 secs
lola: 65573649 markings, 122155750 edges, 214876 markings/sec, 295 secs
lola: 66650537 markings, 124184361 edges, 215378 markings/sec, 300 secs
lola: 67725830 markings, 126161027 edges, 215059 markings/sec, 305 secs
lola: 68787938 markings, 128148968 edges, 212422 markings/sec, 310 secs
lola: 69852618 markings, 130186271 edges, 212936 markings/sec, 315 secs
lola: 70923955 markings, 132169036 edges, 214267 markings/sec, 320 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 1 1 unknown unknown 1 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 1494603002795
--------------------
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="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/AutoFlight-PT-05b.tgz
mv 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 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 r008-csrt-149436126000191"
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 ;