About the Execution of LoLA for DNAwalker-PT-06track28RL
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3582.820 | 3540106.00 | 3548070.00 | 1782.40 | 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 DNAwalker-PT-06track28RL, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440263800047
=====================================================================
--------------------
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 DNAwalker-PT-06track28RL-UpperBounds-0
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-1
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-10
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-11
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-12
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-13
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-14
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-15
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-2
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-3
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-4
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-5
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-6
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-7
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-8
FORMULA_NAME DNAwalker-PT-06track28RL-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494655053268
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DNAwalker-PT-06track28RL @ 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: 284/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 34 places, 250 transitions, 34 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 164 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-06track28RL-UpperBounds.task
lola: MAX(B5) : MAX(A2) : MAX(A12) : MAX(A16) : MAX(A20) : MAX(A23) : MAX(A25) : MAX(A15) : MAX(B6) : MAX(A25) : MAX(A22) : MAX(A9) : MAX(A21) : MAX(A18) : MAX(A23) : MAX(A21)
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(B5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 690467 markings, 2700413 edges, 138093 markings/sec, 0 secs
lola: 1312276 markings, 5373515 edges, 124362 markings/sec, 5 secs
lola: 1897876 markings, 7971357 edges, 117120 markings/sec, 10 secs
lola: 2506596 markings, 10770567 edges, 121744 markings/sec, 15 secs
lola: 3089662 markings, 13410975 edges, 116613 markings/sec, 20 secs
lola: 3593087 markings, 15641466 edges, 100685 markings/sec, 25 secs
lola: 4157477 markings, 18189005 edges, 112878 markings/sec, 30 secs
lola: 4750662 markings, 20990640 edges, 118637 markings/sec, 35 secs
lola: 5299405 markings, 23807773 edges, 109749 markings/sec, 40 secs
lola: 5744773 markings, 26019810 edges, 89074 markings/sec, 45 secs
lola: 6260808 markings, 29308388 edges, 103207 markings/sec, 50 secs
lola: 6792149 markings, 32259220 edges, 106268 markings/sec, 55 secs
lola: 7330785 markings, 35054593 edges, 107727 markings/sec, 60 secs
lola: 7840675 markings, 38057812 edges, 101978 markings/sec, 65 secs
lola: 8431035 markings, 40598436 edges, 118072 markings/sec, 70 secs
lola: 9066788 markings, 43341934 edges, 127151 markings/sec, 75 secs
lola: 9683420 markings, 45869454 edges, 123326 markings/sec, 80 secs
lola: 10239982 markings, 48752906 edges, 111312 markings/sec, 85 secs
lola: 10791065 markings, 51803967 edges, 110217 markings/sec, 90 secs
lola: 11304891 markings, 55131030 edges, 102765 markings/sec, 95 secs
lola: 11861524 markings, 58038854 edges, 111327 markings/sec, 100 secs
lola: 12500343 markings, 60931919 edges, 127764 markings/sec, 105 secs
lola: 13055566 markings, 63782950 edges, 111045 markings/sec, 110 secs
lola: 13672847 markings, 66526483 edges, 123456 markings/sec, 115 secs
lola: 14260071 markings, 69217231 edges, 117445 markings/sec, 120 secs
lola: 14797902 markings, 72148197 edges, 107566 markings/sec, 125 secs
lola: 15265934 markings, 75012175 edges, 93606 markings/sec, 130 secs
lola: 15772973 markings, 77897508 edges, 101408 markings/sec, 135 secs
lola: 16318819 markings, 80740063 edges, 109169 markings/sec, 140 secs
lola: 16895608 markings, 83530294 edges, 115358 markings/sec, 145 secs
lola: 17450028 markings, 86359894 edges, 110884 markings/sec, 150 secs
lola: 17946443 markings, 89177701 edges, 99283 markings/sec, 155 secs
lola: 18481904 markings, 91960752 edges, 107092 markings/sec, 160 secs
lola: 19054104 markings, 94766759 edges, 114440 markings/sec, 165 secs
lola: 19670263 markings, 97259227 edges, 123232 markings/sec, 170 secs
lola: 20247203 markings, 99901109 edges, 115388 markings/sec, 175 secs
lola: 20773752 markings, 102838539 edges, 105310 markings/sec, 180 secs
lola: 21296212 markings, 105932819 edges, 104492 markings/sec, 185 secs
lola: 21780014 markings, 108703905 edges, 96760 markings/sec, 190 secs
lola: 22256311 markings, 111506463 edges, 95259 markings/sec, 195 secs
lola: 22730185 markings, 114321289 edges, 94775 markings/sec, 200 secs
lola: 23204513 markings, 117133128 edges, 94866 markings/sec, 205 secs
lola: 23687214 markings, 119709310 edges, 96540 markings/sec, 210 secs
lola: 24160607 markings, 122366091 edges, 94679 markings/sec, 215 secs
lola: 24643009 markings, 125142600 edges, 96480 markings/sec, 220 secs
lola: 25106228 markings, 127944476 edges, 92644 markings/sec, 225 secs
lola: 25571484 markings, 130667254 edges, 93051 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 1125596 markings, 2312176 edges, 225119 markings/sec, 0 secs
lola: 2045197 markings, 5170029 edges, 183920 markings/sec, 5 secs
lola: 3098425 markings, 7803025 edges, 210646 markings/sec, 10 secs
lola: 4044166 markings, 10223249 edges, 189148 markings/sec, 15 secs
lola: 4685546 markings, 12604706 edges, 128276 markings/sec, 20 secs
lola: 5322755 markings, 14913020 edges, 127442 markings/sec, 25 secs
lola: 5923561 markings, 17127840 edges, 120161 markings/sec, 30 secs
lola: 6530982 markings, 19385253 edges, 121484 markings/sec, 35 secs
lola: 7134896 markings, 21616430 edges, 120783 markings/sec, 40 secs
lola: 7715350 markings, 23783063 edges, 116091 markings/sec, 45 secs
lola: 8312126 markings, 25913434 edges, 119355 markings/sec, 50 secs
lola: 8897616 markings, 28197889 edges, 117098 markings/sec, 55 secs
lola: 9503420 markings, 30394540 edges, 121161 markings/sec, 60 secs
lola: 10102276 markings, 32654865 edges, 119771 markings/sec, 65 secs
lola: 10676161 markings, 34865278 edges, 114777 markings/sec, 70 secs
lola: 11265820 markings, 37177488 edges, 117932 markings/sec, 75 secs
lola: 11971190 markings, 39544530 edges, 141074 markings/sec, 80 secs
lola: 12916321 markings, 42080409 edges, 189026 markings/sec, 85 secs
lola: 13847522 markings, 44533628 edges, 186240 markings/sec, 90 secs
lola: 14747609 markings, 46983589 edges, 180017 markings/sec, 95 secs
lola: 15605376 markings, 49785643 edges, 171553 markings/sec, 100 secs
lola: 16421050 markings, 52739250 edges, 163135 markings/sec, 105 secs
lola: 17155407 markings, 55612704 edges, 146871 markings/sec, 110 secs
lola: 17882945 markings, 58686985 edges, 145508 markings/sec, 115 secs
lola: 18780256 markings, 61333311 edges, 179462 markings/sec, 120 secs
lola: 19688493 markings, 63855457 edges, 181647 markings/sec, 125 secs
lola: 20486011 markings, 66705462 edges, 159504 markings/sec, 130 secs
lola: 21102830 markings, 69251357 edges, 123364 markings/sec, 135 secs
lola: 21802195 markings, 71278366 edges, 139873 markings/sec, 140 secs
lola: 22605422 markings, 73895431 edges, 160645 markings/sec, 145 secs
lola: 23131422 markings, 76272089 edges, 105200 markings/sec, 150 secs
lola: 23637027 markings, 78545876 edges, 101121 markings/sec, 155 secs
lola: 24417024 markings, 80933306 edges, 155999 markings/sec, 160 secs
lola: 25182529 markings, 83461576 edges, 153101 markings/sec, 165 secs
lola: 25859797 markings, 86217341 edges, 135454 markings/sec, 170 secs
lola: 26577281 markings, 88970684 edges, 143497 markings/sec, 175 secs
lola: 27338645 markings, 91618171 edges, 152273 markings/sec, 180 secs
lola: 28042908 markings, 94299995 edges, 140853 markings/sec, 185 secs
lola: 28587726 markings, 96703504 edges, 108964 markings/sec, 190 secs
lola: 29008780 markings, 98627139 edges, 84211 markings/sec, 195 secs
lola: 29660612 markings, 101123955 edges, 130366 markings/sec, 200 secs
lola: 30156380 markings, 103791333 edges, 99154 markings/sec, 205 secs
lola: 30986186 markings, 106103550 edges, 165961 markings/sec, 210 secs
lola: 31764040 markings, 108340092 edges, 155571 markings/sec, 215 secs
lola: 32491201 markings, 111012985 edges, 145432 markings/sec, 220 secs
lola: 33246514 markings, 113541954 edges, 151063 markings/sec, 225 secs
lola: 34005411 markings, 115923107 edges, 151779 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 837715 markings, 2202190 edges, 167543 markings/sec, 0 secs
lola: 1468840 markings, 4614783 edges, 126225 markings/sec, 5 secs
lola: 2201502 markings, 6890228 edges, 146532 markings/sec, 10 secs
lola: 2947026 markings, 9210498 edges, 149105 markings/sec, 15 secs
lola: 3699668 markings, 11461229 edges, 150528 markings/sec, 20 secs
lola: 4384586 markings, 13784256 edges, 136984 markings/sec, 25 secs
lola: 4971865 markings, 16194610 edges, 117456 markings/sec, 30 secs
lola: 5649133 markings, 18543594 edges, 135454 markings/sec, 35 secs
lola: 6312451 markings, 20845442 edges, 132664 markings/sec, 40 secs
lola: 7176447 markings, 23070492 edges, 172799 markings/sec, 45 secs
lola: 8023586 markings, 25298712 edges, 169428 markings/sec, 50 secs
lola: 8775233 markings, 27540221 edges, 150329 markings/sec, 55 secs
lola: 9374006 markings, 29890641 edges, 119755 markings/sec, 60 secs
lola: 9945776 markings, 32233217 edges, 114354 markings/sec, 65 secs
lola: 10631489 markings, 34602272 edges, 137143 markings/sec, 70 secs
lola: 11436891 markings, 36809679 edges, 161080 markings/sec, 75 secs
lola: 12284834 markings, 39235560 edges, 169589 markings/sec, 80 secs
lola: 12972703 markings, 41550343 edges, 137574 markings/sec, 85 secs
lola: 13538424 markings, 43945889 edges, 113144 markings/sec, 90 secs
lola: 14090429 markings, 46288539 edges, 110401 markings/sec, 95 secs
lola: 14752025 markings, 48541490 edges, 132319 markings/sec, 100 secs
lola: 15529190 markings, 50765810 edges, 155433 markings/sec, 105 secs
lola: 16116380 markings, 53217330 edges, 117438 markings/sec, 110 secs
lola: 16798601 markings, 55521558 edges, 136444 markings/sec, 115 secs
lola: 17420060 markings, 57869692 edges, 124292 markings/sec, 120 secs
lola: 18243903 markings, 60061173 edges, 164769 markings/sec, 125 secs
lola: 19004085 markings, 62364414 edges, 152036 markings/sec, 130 secs
lola: 19599233 markings, 64720087 edges, 119030 markings/sec, 135 secs
lola: 20233878 markings, 67076628 edges, 126929 markings/sec, 140 secs
lola: 20931359 markings, 69336075 edges, 139496 markings/sec, 145 secs
lola: 21702661 markings, 71697399 edges, 154260 markings/sec, 150 secs
lola: 22396510 markings, 73908442 edges, 138770 markings/sec, 155 secs
lola: 23168668 markings, 76117667 edges, 154432 markings/sec, 160 secs
lola: 23956482 markings, 78368056 edges, 157563 markings/sec, 165 secs
lola: 24829471 markings, 80847830 edges, 174598 markings/sec, 170 secs
lola: 25701558 markings, 83282477 edges, 174417 markings/sec, 175 secs
lola: 26395287 markings, 85710870 edges, 138746 markings/sec, 180 secs
lola: 27182365 markings, 88198616 edges, 157416 markings/sec, 185 secs
lola: 28041673 markings, 90655540 edges, 171862 markings/sec, 190 secs
lola: 28909485 markings, 93111554 edges, 173562 markings/sec, 195 secs
lola: 29762958 markings, 95475915 edges, 170695 markings/sec, 200 secs
lola: 30558845 markings, 97926243 edges, 159177 markings/sec, 205 secs
lola: 31363732 markings, 100380461 edges, 160977 markings/sec, 210 secs
lola: 32150625 markings, 102789371 edges, 157379 markings/sec, 215 secs
lola: 32901925 markings, 105122943 edges, 150260 markings/sec, 220 secs
lola: 33738094 markings, 107593561 edges, 167234 markings/sec, 225 secs
lola: 34564812 markings, 110138104 edges, 165344 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 717658 markings, 1696204 edges, 143532 markings/sec, 0 secs
lola: 1398353 markings, 3369522 edges, 136139 markings/sec, 5 secs
lola: 1989717 markings, 5207285 edges, 118273 markings/sec, 10 secs
lola: 2592038 markings, 7019456 edges, 120464 markings/sec, 15 secs
lola: 3187630 markings, 8867947 edges, 119118 markings/sec, 20 secs
lola: 3785586 markings, 10621320 edges, 119591 markings/sec, 25 secs
lola: 4371393 markings, 12442475 edges, 117161 markings/sec, 30 secs
lola: 4960354 markings, 14213157 edges, 117792 markings/sec, 35 secs
lola: 5541986 markings, 15951348 edges, 116326 markings/sec, 40 secs
lola: 6119772 markings, 17713003 edges, 115557 markings/sec, 45 secs
lola: 6768967 markings, 19422959 edges, 129839 markings/sec, 50 secs
lola: 7376856 markings, 21140001 edges, 121578 markings/sec, 55 secs
lola: 7958652 markings, 22905615 edges, 116359 markings/sec, 60 secs
lola: 8516319 markings, 24692885 edges, 111533 markings/sec, 65 secs
lola: 9080808 markings, 26492921 edges, 112898 markings/sec, 70 secs
lola: 9666628 markings, 28288905 edges, 117164 markings/sec, 75 secs
lola: 10250955 markings, 30064410 edges, 116865 markings/sec, 80 secs
lola: 10799538 markings, 31778867 edges, 109717 markings/sec, 85 secs
lola: 11365410 markings, 33674747 edges, 113174 markings/sec, 90 secs
lola: 11901442 markings, 35490850 edges, 107206 markings/sec, 95 secs
lola: 12459066 markings, 37239555 edges, 111525 markings/sec, 100 secs
lola: 13030789 markings, 39118376 edges, 114345 markings/sec, 105 secs
lola: 13650024 markings, 40895875 edges, 123847 markings/sec, 110 secs
lola: 14217336 markings, 42742280 edges, 113462 markings/sec, 115 secs
lola: 14739043 markings, 44475062 edges, 104341 markings/sec, 120 secs
lola: 15270172 markings, 46250996 edges, 106226 markings/sec, 125 secs
lola: 15798468 markings, 48058822 edges, 105659 markings/sec, 130 secs
lola: 16368502 markings, 49727828 edges, 114007 markings/sec, 135 secs
lola: 16873405 markings, 51541495 edges, 100981 markings/sec, 140 secs
lola: 17367998 markings, 53320154 edges, 98919 markings/sec, 145 secs
lola: 17898397 markings, 55112782 edges, 106080 markings/sec, 150 secs
lola: 18397819 markings, 56802271 edges, 99884 markings/sec, 155 secs
lola: 18875685 markings, 58498627 edges, 95573 markings/sec, 160 secs
lola: 19365380 markings, 60196819 edges, 97939 markings/sec, 165 secs
lola: 19931075 markings, 62027116 edges, 113139 markings/sec, 170 secs
lola: 20498771 markings, 63828899 edges, 113539 markings/sec, 175 secs
lola: 21029171 markings, 65600367 edges, 106080 markings/sec, 180 secs
lola: 21528382 markings, 67337211 edges, 99842 markings/sec, 185 secs
lola: 22100337 markings, 69121136 edges, 114391 markings/sec, 190 secs
lola: 22608369 markings, 70865878 edges, 101606 markings/sec, 195 secs
lola: 23147539 markings, 72690249 edges, 107834 markings/sec, 200 secs
lola: 23654979 markings, 74515078 edges, 101488 markings/sec, 205 secs
lola: 24183370 markings, 76387708 edges, 105678 markings/sec, 210 secs
lola: 24717395 markings, 78244193 edges, 106805 markings/sec, 215 secs
lola: 25227305 markings, 80141708 edges, 101982 markings/sec, 220 secs
lola: 25752549 markings, 81981108 edges, 105049 markings/sec, 225 secs
lola: 26303662 markings, 83834506 edges, 110223 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 1253058 markings, 2352670 edges, 250612 markings/sec, 0 secs
lola: 2479806 markings, 4821343 edges, 245350 markings/sec, 5 secs
lola: 3489802 markings, 7040675 edges, 201999 markings/sec, 10 secs
lola: 4278553 markings, 8996118 edges, 157750 markings/sec, 15 secs
lola: 4986952 markings, 11045010 edges, 141680 markings/sec, 20 secs
lola: 5631021 markings, 13062839 edges, 128814 markings/sec, 25 secs
lola: 6271453 markings, 15097043 edges, 128086 markings/sec, 30 secs
lola: 6986355 markings, 17207657 edges, 142980 markings/sec, 35 secs
lola: 7554762 markings, 19246374 edges, 113681 markings/sec, 40 secs
lola: 8269980 markings, 21393685 edges, 143044 markings/sec, 45 secs
lola: 8808873 markings, 23459237 edges, 107779 markings/sec, 50 secs
lola: 9375593 markings, 25558296 edges, 113344 markings/sec, 55 secs
lola: 9966350 markings, 27615094 edges, 118151 markings/sec, 60 secs
lola: 10753258 markings, 29853312 edges, 157382 markings/sec, 65 secs
lola: 11720789 markings, 32230957 edges, 193506 markings/sec, 70 secs
lola: 12698354 markings, 34587867 edges, 195513 markings/sec, 75 secs
lola: 13715508 markings, 36923981 edges, 203431 markings/sec, 80 secs
lola: 14716359 markings, 39275205 edges, 200170 markings/sec, 85 secs
lola: 15545731 markings, 41599031 edges, 165874 markings/sec, 90 secs
lola: 16526335 markings, 43968376 edges, 196121 markings/sec, 95 secs
lola: 17445530 markings, 46260305 edges, 183839 markings/sec, 100 secs
lola: 18235867 markings, 48577738 edges, 158067 markings/sec, 105 secs
lola: 18815017 markings, 50648743 edges, 115830 markings/sec, 110 secs
lola: 19382380 markings, 52693839 edges, 113473 markings/sec, 115 secs
lola: 20076294 markings, 54828269 edges, 138783 markings/sec, 120 secs
lola: 20955727 markings, 57101574 edges, 175887 markings/sec, 125 secs
lola: 21880051 markings, 59426166 edges, 184865 markings/sec, 130 secs
lola: 22794611 markings, 61773537 edges, 182912 markings/sec, 135 secs
lola: 23694280 markings, 63963021 edges, 179934 markings/sec, 140 secs
lola: 24642882 markings, 66255869 edges, 189720 markings/sec, 145 secs
lola: 25551028 markings, 68460643 edges, 181629 markings/sec, 150 secs
lola: 26436374 markings, 70626971 edges, 177069 markings/sec, 155 secs
lola: 27310588 markings, 72736642 edges, 174843 markings/sec, 160 secs
lola: 28181549 markings, 74911249 edges, 174192 markings/sec, 165 secs
lola: 29051172 markings, 77038522 edges, 173925 markings/sec, 170 secs
lola: 29920582 markings, 79202714 edges, 173882 markings/sec, 175 secs
lola: 30805482 markings, 81564481 edges, 176980 markings/sec, 180 secs
lola: 31638647 markings, 84224439 edges, 166633 markings/sec, 185 secs
lola: 32450010 markings, 86851053 edges, 162273 markings/sec, 190 secs
lola: 33270441 markings, 89476536 edges, 164086 markings/sec, 195 secs
lola: 34078765 markings, 92110949 edges, 161665 markings/sec, 200 secs
lola: 34897058 markings, 94690285 edges, 163659 markings/sec, 205 secs
lola: 35761457 markings, 97306429 edges, 172880 markings/sec, 210 secs
lola: 36549304 markings, 99848892 edges, 157569 markings/sec, 215 secs
lola: 37342596 markings, 102378310 edges, 158658 markings/sec, 220 secs
lola: 38146681 markings, 104926461 edges, 160817 markings/sec, 225 secs
lola: 38953096 markings, 107708513 edges, 161283 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 718320 markings, 1990632 edges, 143664 markings/sec, 0 secs
lola: 1311114 markings, 3969578 edges, 118559 markings/sec, 5 secs
lola: 1919244 markings, 5862416 edges, 121626 markings/sec, 10 secs
lola: 2532578 markings, 7757837 edges, 122667 markings/sec, 15 secs
lola: 3195767 markings, 9664077 edges, 132638 markings/sec, 20 secs
lola: 3804827 markings, 11578129 edges, 121812 markings/sec, 25 secs
lola: 4408569 markings, 13520906 edges, 120748 markings/sec, 30 secs
lola: 4919705 markings, 15422546 edges, 102227 markings/sec, 35 secs
lola: 5523551 markings, 17353475 edges, 120769 markings/sec, 40 secs
lola: 6071187 markings, 19395188 edges, 109527 markings/sec, 45 secs
lola: 6558123 markings, 21292752 edges, 97387 markings/sec, 50 secs
lola: 7028242 markings, 23236034 edges, 94024 markings/sec, 55 secs
lola: 7503743 markings, 25154026 edges, 95100 markings/sec, 60 secs
lola: 7946043 markings, 26926866 edges, 88460 markings/sec, 65 secs
lola: 8452527 markings, 28898740 edges, 101297 markings/sec, 70 secs
lola: 8910130 markings, 30765498 edges, 91521 markings/sec, 75 secs
lola: 9388981 markings, 32712486 edges, 95770 markings/sec, 80 secs
lola: 9855008 markings, 34597061 edges, 93205 markings/sec, 85 secs
lola: 10347390 markings, 36449518 edges, 98476 markings/sec, 90 secs
lola: 10827598 markings, 38235857 edges, 96042 markings/sec, 95 secs
lola: 11372076 markings, 40127484 edges, 108896 markings/sec, 100 secs
lola: 11947211 markings, 42006123 edges, 115027 markings/sec, 105 secs
lola: 12513424 markings, 44002136 edges, 113243 markings/sec, 110 secs
lola: 13048819 markings, 45865061 edges, 107079 markings/sec, 115 secs
lola: 13541497 markings, 47748391 edges, 98536 markings/sec, 120 secs
lola: 14021496 markings, 49714898 edges, 96000 markings/sec, 125 secs
lola: 14482730 markings, 51594471 edges, 92247 markings/sec, 130 secs
lola: 14936346 markings, 53535737 edges, 90723 markings/sec, 135 secs
lola: 15406448 markings, 55384477 edges, 94020 markings/sec, 140 secs
lola: 15870220 markings, 57149705 edges, 92754 markings/sec, 145 secs
lola: 16358679 markings, 58982641 edges, 97692 markings/sec, 150 secs
lola: 16930849 markings, 61039389 edges, 114434 markings/sec, 155 secs
lola: 17510026 markings, 63041300 edges, 115835 markings/sec, 160 secs
lola: 18060671 markings, 65206187 edges, 110129 markings/sec, 165 secs
lola: 18598859 markings, 67182518 edges, 107638 markings/sec, 170 secs
lola: 19103329 markings, 69167365 edges, 100894 markings/sec, 175 secs
lola: 19601261 markings, 71293537 edges, 99586 markings/sec, 180 secs
lola: 20075719 markings, 73317885 edges, 94892 markings/sec, 185 secs
lola: 20545644 markings, 75291322 edges, 93985 markings/sec, 190 secs
lola: 21017579 markings, 77291809 edges, 94387 markings/sec, 195 secs
lola: 21448618 markings, 79053710 edges, 86208 markings/sec, 200 secs
lola: 21906378 markings, 80891734 edges, 91552 markings/sec, 205 secs
lola: 22392518 markings, 82795037 edges, 97228 markings/sec, 210 secs
lola: 22878633 markings, 84632190 edges, 97223 markings/sec, 215 secs
lola: 23414294 markings, 86456223 edges, 107132 markings/sec, 220 secs
lola: 24079334 markings, 88416869 edges, 133008 markings/sec, 225 secs
lola: 24621494 markings, 90291191 edges, 108432 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 814835 markings, 2089802 edges, 162967 markings/sec, 0 secs
lola: 1577078 markings, 4319478 edges, 152449 markings/sec, 5 secs
lola: 2175001 markings, 6706075 edges, 119585 markings/sec, 10 secs
lola: 2755315 markings, 9124499 edges, 116063 markings/sec, 15 secs
lola: 3400843 markings, 11447068 edges, 129106 markings/sec, 20 secs
lola: 4109261 markings, 13791235 edges, 141684 markings/sec, 25 secs
lola: 4771901 markings, 16105871 edges, 132528 markings/sec, 30 secs
lola: 5352242 markings, 18437385 edges, 116068 markings/sec, 35 secs
lola: 6006444 markings, 20767349 edges, 130840 markings/sec, 40 secs
lola: 6836920 markings, 22915912 edges, 166095 markings/sec, 45 secs
lola: 7468000 markings, 25157770 edges, 126216 markings/sec, 50 secs
lola: 8163848 markings, 27431249 edges, 139170 markings/sec, 55 secs
lola: 8927796 markings, 29613022 edges, 152790 markings/sec, 60 secs
lola: 9535116 markings, 31931394 edges, 121464 markings/sec, 65 secs
lola: 10378533 markings, 34103217 edges, 168683 markings/sec, 70 secs
lola: 11020894 markings, 36374339 edges, 128472 markings/sec, 75 secs
lola: 11634462 markings, 38769420 edges, 122714 markings/sec, 80 secs
lola: 12320933 markings, 41063617 edges, 137294 markings/sec, 85 secs
lola: 13027338 markings, 43360718 edges, 141281 markings/sec, 90 secs
lola: 13730509 markings, 45500208 edges, 140634 markings/sec, 95 secs
lola: 14369069 markings, 47839893 edges, 127712 markings/sec, 100 secs
lola: 14961377 markings, 50096507 edges, 118462 markings/sec, 105 secs
lola: 15515152 markings, 52354457 edges, 110755 markings/sec, 110 secs
lola: 16066475 markings, 54700788 edges, 110265 markings/sec, 115 secs
lola: 16759311 markings, 56897533 edges, 138567 markings/sec, 120 secs
lola: 17410025 markings, 59304878 edges, 130143 markings/sec, 125 secs
lola: 18019421 markings, 61662113 edges, 121879 markings/sec, 130 secs
lola: 18583358 markings, 63964648 edges, 112787 markings/sec, 135 secs
lola: 19118397 markings, 66246896 edges, 107008 markings/sec, 140 secs
lola: 19653510 markings, 68592991 edges, 107023 markings/sec, 145 secs
lola: 20393088 markings, 70740691 edges, 147916 markings/sec, 150 secs
lola: 21017748 markings, 73107077 edges, 124932 markings/sec, 155 secs
lola: 21635449 markings, 75479174 edges, 123540 markings/sec, 160 secs
lola: 22298252 markings, 77742139 edges, 132561 markings/sec, 165 secs
lola: 22938022 markings, 80071374 edges, 127954 markings/sec, 170 secs
lola: 23785050 markings, 82173842 edges, 169406 markings/sec, 175 secs
lola: 24415177 markings, 84471354 edges, 126025 markings/sec, 180 secs
lola: 25053226 markings, 86816941 edges, 127610 markings/sec, 185 secs
lola: 25740871 markings, 89064179 edges, 137529 markings/sec, 190 secs
lola: 26429736 markings, 91300055 edges, 137773 markings/sec, 195 secs
lola: 27047525 markings, 93586567 edges, 123558 markings/sec, 200 secs
lola: 27614409 markings, 95883693 edges, 113377 markings/sec, 205 secs
lola: 28190074 markings, 98196023 edges, 115133 markings/sec, 210 secs
lola: 28778240 markings, 100461268 edges, 117633 markings/sec, 215 secs
lola: 29408650 markings, 102719888 edges, 126082 markings/sec, 220 secs
lola: 30030188 markings, 104958579 edges, 124308 markings/sec, 225 secs
lola: 30753161 markings, 107104462 edges, 144595 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 726546 markings, 2016499 edges, 145309 markings/sec, 0 secs
lola: 1336932 markings, 4049984 edges, 122077 markings/sec, 5 secs
lola: 1967783 markings, 6012952 edges, 126170 markings/sec, 10 secs
lola: 2603497 markings, 7932798 edges, 127143 markings/sec, 15 secs
lola: 3275321 markings, 9889590 edges, 134365 markings/sec, 20 secs
lola: 3888344 markings, 11860078 edges, 122605 markings/sec, 25 secs
lola: 4504875 markings, 13878257 edges, 123306 markings/sec, 30 secs
lola: 5071138 markings, 15821370 edges, 113253 markings/sec, 35 secs
lola: 5655838 markings, 17865283 edges, 116940 markings/sec, 40 secs
lola: 6210190 markings, 19914742 edges, 110870 markings/sec, 45 secs
lola: 6724077 markings, 21969991 edges, 102777 markings/sec, 50 secs
lola: 7213057 markings, 24000081 edges, 97796 markings/sec, 55 secs
lola: 7656470 markings, 25757295 edges, 88683 markings/sec, 60 secs
lola: 8150940 markings, 27767527 edges, 98894 markings/sec, 65 secs
lola: 8673377 markings, 29742693 edges, 104487 markings/sec, 70 secs
lola: 9156160 markings, 31820137 edges, 96557 markings/sec, 75 secs
lola: 9667479 markings, 33820698 edges, 102264 markings/sec, 80 secs
lola: 10165745 markings, 35782204 edges, 99653 markings/sec, 85 secs
lola: 10679347 markings, 37689566 edges, 102720 markings/sec, 90 secs
lola: 11224428 markings, 39652366 edges, 109016 markings/sec, 95 secs
lola: 11827888 markings, 41606360 edges, 120692 markings/sec, 100 secs
lola: 12413057 markings, 43636075 edges, 117034 markings/sec, 105 secs
lola: 12978108 markings, 45604300 edges, 113010 markings/sec, 110 secs
lola: 13500338 markings, 47547876 edges, 104446 markings/sec, 115 secs
lola: 13996898 markings, 49610909 edges, 99312 markings/sec, 120 secs
lola: 14484617 markings, 51601033 edges, 97544 markings/sec, 125 secs
lola: 14948035 markings, 53578516 edges, 92684 markings/sec, 130 secs
lola: 15438350 markings, 55516033 edges, 98063 markings/sec, 135 secs
lola: 15927234 markings, 57357229 edges, 97777 markings/sec, 140 secs
lola: 16422740 markings, 59256738 edges, 99101 markings/sec, 145 secs
lola: 17009288 markings, 61291598 edges, 117310 markings/sec, 150 secs
lola: 17585285 markings, 63313120 edges, 115199 markings/sec, 155 secs
lola: 18136498 markings, 65521532 edges, 110243 markings/sec, 160 secs
lola: 18679972 markings, 67529288 edges, 108695 markings/sec, 165 secs
lola: 19185029 markings, 69505445 edges, 101011 markings/sec, 170 secs
lola: 19680676 markings, 71653362 edges, 99129 markings/sec, 175 secs
lola: 20154952 markings, 73640293 edges, 94855 markings/sec, 180 secs
lola: 20619553 markings, 75629578 edges, 92920 markings/sec, 185 secs
lola: 21106376 markings, 77631459 edges, 97365 markings/sec, 190 secs
lola: 21579776 markings, 79583526 edges, 94680 markings/sec, 195 secs
lola: 22060116 markings, 81493591 edges, 96068 markings/sec, 200 secs
lola: 22558984 markings, 83407126 edges, 99774 markings/sec, 205 secs
lola: 23052580 markings, 85270373 edges, 98719 markings/sec, 210 secs
lola: 23652172 markings, 87095100 edges, 119918 markings/sec, 215 secs
lola: 24296213 markings, 89134315 edges, 128808 markings/sec, 220 secs
lola: 24841916 markings, 91060723 edges, 109141 markings/sec, 225 secs
lola: 25386194 markings, 92975256 edges, 108856 markings/sec, 230 secs
lola: 25920676 markings, 94855095 edges, 106896 markings/sec, 235 secs
lola: 26451533 markings, 96746760 edges, 106171 markings/sec, 240 secs
lola: 26980838 markings, 98572137 edges, 105861 markings/sec, 245 secs
lola: 27553632 markings, 100601378 edges, 114559 markings/sec, 250 secs
lola: 28099772 markings, 102456205 edges, 109228 markings/sec, 255 secs
lola: 28616574 markings, 104260098 edges, 103360 markings/sec, 260 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 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 923012 markings, 1979490 edges, 184602 markings/sec, 0 secs
lola: 2049633 markings, 4296787 edges, 225324 markings/sec, 5 secs
lola: 3184295 markings, 6795205 edges, 226932 markings/sec, 10 secs
lola: 4093180 markings, 8967634 edges, 181777 markings/sec, 15 secs
lola: 4793424 markings, 11014014 edges, 140049 markings/sec, 20 secs
lola: 5438352 markings, 13092429 edges, 128986 markings/sec, 25 secs
lola: 6038750 markings, 15015600 edges, 120080 markings/sec, 30 secs
lola: 6705320 markings, 17003250 edges, 133314 markings/sec, 35 secs
lola: 7278167 markings, 19084559 edges, 114569 markings/sec, 40 secs
lola: 7974711 markings, 21255136 edges, 139309 markings/sec, 45 secs
lola: 8511156 markings, 23350008 edges, 107289 markings/sec, 50 secs
lola: 9072619 markings, 25459128 edges, 112293 markings/sec, 55 secs
lola: 9664173 markings, 27511943 edges, 118311 markings/sec, 60 secs
lola: 10437761 markings, 29751523 edges, 154718 markings/sec, 65 secs
lola: 11299851 markings, 31972009 edges, 172418 markings/sec, 70 secs
lola: 12185983 markings, 34182367 edges, 177226 markings/sec, 75 secs
lola: 13130173 markings, 36523409 edges, 188838 markings/sec, 80 secs
lola: 13864283 markings, 38647053 edges, 146822 markings/sec, 85 secs
lola: 14524403 markings, 40600129 edges, 132024 markings/sec, 90 secs
lola: 15082038 markings, 42560977 edges, 111527 markings/sec, 95 secs
lola: 15964420 markings, 44896701 edges, 176476 markings/sec, 100 secs
lola: 16822035 markings, 47236303 edges, 171523 markings/sec, 105 secs
lola: 17738277 markings, 49599247 edges, 183248 markings/sec, 110 secs
lola: 18507557 markings, 51868684 edges, 153856 markings/sec, 115 secs
lola: 19103123 markings, 53932649 edges, 119113 markings/sec, 120 secs
lola: 19967806 markings, 56252057 edges, 172937 markings/sec, 125 secs
lola: 20851528 markings, 58517030 edges, 176744 markings/sec, 130 secs
lola: 21721307 markings, 60957078 edges, 173956 markings/sec, 135 secs
lola: 22570842 markings, 63134956 edges, 169907 markings/sec, 140 secs
lola: 23467278 markings, 65395781 edges, 179287 markings/sec, 145 secs
lola: 24339717 markings, 67633031 edges, 174488 markings/sec, 150 secs
lola: 25179974 markings, 69806969 edges, 168051 markings/sec, 155 secs
lola: 26013807 markings, 71866133 edges, 166767 markings/sec, 160 secs
lola: 26838654 markings, 74025636 edges, 164969 markings/sec, 165 secs
lola: 27664107 markings, 76138192 edges, 165091 markings/sec, 170 secs
lola: 28482709 markings, 78291668 edges, 163720 markings/sec, 175 secs
lola: 29317654 markings, 80591775 edges, 166989 markings/sec, 180 secs
lola: 30117927 markings, 83268460 edges, 160055 markings/sec, 185 secs
lola: 30884905 markings, 85888310 edges, 153396 markings/sec, 190 secs
lola: 31661573 markings, 88473198 edges, 155334 markings/sec, 195 secs
lola: 32423524 markings, 91105927 edges, 152390 markings/sec, 200 secs
lola: 33198919 markings, 93720720 edges, 155079 markings/sec, 205 secs
lola: 34044069 markings, 96419086 edges, 169030 markings/sec, 210 secs
lola: 34807765 markings, 99011053 edges, 152739 markings/sec, 215 secs
lola: 35574689 markings, 101574295 edges, 153385 markings/sec, 220 secs
lola: 36342910 markings, 104141794 edges, 153644 markings/sec, 225 secs
lola: 37119125 markings, 106949577 edges, 155243 markings/sec, 230 secs
lola: 37880363 markings, 109844184 edges, 152248 markings/sec, 235 secs
lola: 38589506 markings, 112598990 edges, 141829 markings/sec, 240 secs
lola: 39267666 markings, 114981189 edges, 135632 markings/sec, 245 secs
lola: 40111120 markings, 117374304 edges, 168691 markings/sec, 250 secs
lola: 40843263 markings, 119728032 edges, 146429 markings/sec, 255 secs
lola: 41617346 markings, 122128477 edges, 154817 markings/sec, 260 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 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 782764 markings, 2595344 edges, 156553 markings/sec, 0 secs
lola: 1507038 markings, 4967144 edges, 144855 markings/sec, 5 secs
lola: 2162442 markings, 7778024 edges, 131081 markings/sec, 10 secs
lola: 2812603 markings, 10817943 edges, 130032 markings/sec, 15 secs
lola: 3464926 markings, 13565018 edges, 130465 markings/sec, 20 secs
lola: 4129857 markings, 16294496 edges, 132986 markings/sec, 25 secs
lola: 4808635 markings, 18889802 edges, 135756 markings/sec, 30 secs
lola: 5446238 markings, 21722967 edges, 127521 markings/sec, 35 secs
lola: 6018572 markings, 24481109 edges, 114467 markings/sec, 40 secs
lola: 6597049 markings, 27289452 edges, 115695 markings/sec, 45 secs
lola: 7163150 markings, 30182875 edges, 113220 markings/sec, 50 secs
lola: 7742890 markings, 32933237 edges, 115948 markings/sec, 55 secs
lola: 8333898 markings, 35676060 edges, 118202 markings/sec, 60 secs
lola: 8884978 markings, 38424686 edges, 110216 markings/sec, 65 secs
lola: 9459460 markings, 41174675 edges, 114896 markings/sec, 70 secs
lola: 10074492 markings, 43825808 edges, 123006 markings/sec, 75 secs
lola: 10712686 markings, 46265013 edges, 127639 markings/sec, 80 secs
lola: 11332831 markings, 48641864 edges, 124029 markings/sec, 85 secs
lola: 11956631 markings, 51052802 edges, 124760 markings/sec, 90 secs
lola: 12578310 markings, 53451877 edges, 124336 markings/sec, 95 secs
lola: 13208399 markings, 55801092 edges, 126018 markings/sec, 100 secs
lola: 13776585 markings, 58564338 edges, 113637 markings/sec, 105 secs
lola: 14329068 markings, 61398933 edges, 110497 markings/sec, 110 secs
lola: 14878424 markings, 64220913 edges, 109871 markings/sec, 115 secs
lola: 15435012 markings, 67012532 edges, 111318 markings/sec, 120 secs
lola: 15988566 markings, 69827738 edges, 110711 markings/sec, 125 secs
lola: 16527393 markings, 72762364 edges, 107765 markings/sec, 130 secs
lola: 17028427 markings, 75864062 edges, 100207 markings/sec, 135 secs
lola: 17597498 markings, 78866650 edges, 113814 markings/sec, 140 secs
lola: 18200555 markings, 81732853 edges, 120611 markings/sec, 145 secs
lola: 18773323 markings, 84800591 edges, 114554 markings/sec, 150 secs
lola: 19296541 markings, 88053060 edges, 104644 markings/sec, 155 secs
lola: 19830284 markings, 91299235 edges, 106749 markings/sec, 160 secs
lola: 20324443 markings, 94695614 edges, 98832 markings/sec, 165 secs
lola: 20891955 markings, 97778560 edges, 113502 markings/sec, 170 secs
lola: 21444302 markings, 101003002 edges, 110469 markings/sec, 175 secs
lola: 22002731 markings, 104098904 edges, 111686 markings/sec, 180 secs
lola: 22577738 markings, 107227859 edges, 115001 markings/sec, 185 secs
lola: 23158550 markings, 110116869 edges, 116162 markings/sec, 190 secs
lola: 23748668 markings, 112973067 edges, 118024 markings/sec, 195 secs
lola: 24273463 markings, 116174807 edges, 104959 markings/sec, 200 secs
lola: 24794341 markings, 119335537 edges, 104176 markings/sec, 205 secs
lola: 25306415 markings, 122635494 edges, 102415 markings/sec, 210 secs
lola: 25840681 markings, 125991414 edges, 106853 markings/sec, 215 secs
lola: 26435036 markings, 128882421 edges, 118871 markings/sec, 220 secs
lola: 26987365 markings, 131577377 edges, 110466 markings/sec, 225 secs
lola: 27529493 markings, 134044968 edges, 108426 markings/sec, 230 secs
lola: 28043807 markings, 136786922 edges, 102863 markings/sec, 235 secs
lola: 28584125 markings, 139332153 edges, 108064 markings/sec, 240 secs
lola: 29104976 markings, 141958098 edges, 104170 markings/sec, 245 secs
lola: 29609930 markings, 144489978 edges, 100991 markings/sec, 250 secs
lola: 30164671 markings, 147177657 edges, 110948 markings/sec, 255 secs
lola: 30696349 markings, 149985154 edges, 106336 markings/sec, 260 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 270 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 1276472 markings, 2303510 edges, 255294 markings/sec, 0 secs
lola: 2337311 markings, 5079735 edges, 212168 markings/sec, 5 secs
lola: 3536473 markings, 7713410 edges, 239832 markings/sec, 10 secs
lola: 4730765 markings, 10467338 edges, 238858 markings/sec, 15 secs
lola: 5452404 markings, 12924110 edges, 144328 markings/sec, 20 secs
lola: 6080256 markings, 15251105 edges, 125570 markings/sec, 25 secs
lola: 6684811 markings, 17512116 edges, 120911 markings/sec, 30 secs
lola: 7297881 markings, 19739134 edges, 122614 markings/sec, 35 secs
lola: 7920253 markings, 21943412 edges, 124474 markings/sec, 40 secs
lola: 8490921 markings, 24130967 edges, 114134 markings/sec, 45 secs
lola: 9098770 markings, 26247855 edges, 121570 markings/sec, 50 secs
lola: 9672829 markings, 28508598 edges, 114812 markings/sec, 55 secs
lola: 10279785 markings, 30783804 edges, 121391 markings/sec, 60 secs
lola: 10883928 markings, 33050251 edges, 120829 markings/sec, 65 secs
lola: 11458366 markings, 35251972 edges, 114888 markings/sec, 70 secs
lola: 12057985 markings, 37578036 edges, 119924 markings/sec, 75 secs
lola: 12751182 markings, 39895217 edges, 138639 markings/sec, 80 secs
lola: 13832125 markings, 42438805 edges, 216189 markings/sec, 85 secs
lola: 14792638 markings, 44662195 edges, 192103 markings/sec, 90 secs
lola: 15820257 markings, 47021993 edges, 205524 markings/sec, 95 secs
lola: 16834225 markings, 49641505 edges, 202794 markings/sec, 100 secs
lola: 17786040 markings, 52475670 edges, 190363 markings/sec, 105 secs
lola: 18675586 markings, 55401311 edges, 177909 markings/sec, 110 secs
lola: 19509789 markings, 58212659 edges, 166841 markings/sec, 115 secs
lola: 20369827 markings, 61235722 edges, 172008 markings/sec, 120 secs
lola: 21420500 markings, 63659698 edges, 210135 markings/sec, 125 secs
lola: 22434961 markings, 66230191 edges, 202892 markings/sec, 130 secs
lola: 23313625 markings, 69047149 edges, 175733 markings/sec, 135 secs
lola: 24077815 markings, 71740126 edges, 152838 markings/sec, 140 secs
lola: 24945706 markings, 73904656 edges, 173578 markings/sec, 145 secs
lola: 25719153 markings, 76477865 edges, 154689 markings/sec, 150 secs
lola: 26238106 markings, 78806291 edges, 103791 markings/sec, 155 secs
lola: 26768840 markings, 81109109 edges, 106147 markings/sec, 160 secs
lola: 27712145 markings, 83475386 edges, 188661 markings/sec, 165 secs
lola: 28564013 markings, 86075639 edges, 170374 markings/sec, 170 secs
lola: 29317367 markings, 88786936 edges, 150671 markings/sec, 175 secs
lola: 30161106 markings, 91462765 edges, 168748 markings/sec, 180 secs
lola: 31000501 markings, 94115013 edges, 167879 markings/sec, 185 secs
lola: 31809383 markings, 96779794 edges, 161776 markings/sec, 190 secs
lola: 32380274 markings, 99197586 edges, 114178 markings/sec, 195 secs
lola: 32876395 markings, 101389700 edges, 99224 markings/sec, 200 secs
lola: 33611427 markings, 103996861 edges, 147006 markings/sec, 205 secs
lola: 34084719 markings, 106393138 edges, 94658 markings/sec, 210 secs
lola: 35025292 markings, 108685051 edges, 188115 markings/sec, 215 secs
lola: 35895106 markings, 110909592 edges, 173963 markings/sec, 220 secs
lola: 36709293 markings, 113537690 edges, 162837 markings/sec, 225 secs
lola: 37537281 markings, 116063525 edges, 165598 markings/sec, 230 secs
lola: 38375094 markings, 118432229 edges, 167563 markings/sec, 235 secs
lola: 39211240 markings, 120807196 edges, 167229 markings/sec, 240 secs
lola: 39837803 markings, 123286968 edges, 125313 markings/sec, 245 secs
lola: 40685492 markings, 125549712 edges, 169538 markings/sec, 250 secs
lola: 41415953 markings, 127931675 edges, 146092 markings/sec, 255 secs
lola: 42262565 markings, 130291799 edges, 169322 markings/sec, 260 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 270 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 746554 markings, 2272517 edges, 149311 markings/sec, 0 secs
lola: 1503370 markings, 4545681 edges, 151363 markings/sec, 5 secs
lola: 2292151 markings, 6760211 edges, 157756 markings/sec, 10 secs
lola: 3029449 markings, 9061124 edges, 147460 markings/sec, 15 secs
lola: 3722949 markings, 11280829 edges, 138700 markings/sec, 20 secs
lola: 4467954 markings, 13538488 edges, 149001 markings/sec, 25 secs
lola: 5222412 markings, 15749427 edges, 150892 markings/sec, 30 secs
lola: 5842503 markings, 18104814 edges, 124018 markings/sec, 35 secs
lola: 6553038 markings, 20378204 edges, 142107 markings/sec, 40 secs
lola: 7323989 markings, 22571571 edges, 154190 markings/sec, 45 secs
lola: 8040664 markings, 24830547 edges, 143335 markings/sec, 50 secs
lola: 8815585 markings, 27008948 edges, 154984 markings/sec, 55 secs
lola: 9547345 markings, 29220056 edges, 146352 markings/sec, 60 secs
lola: 10223879 markings, 31499251 edges, 135307 markings/sec, 65 secs
lola: 10931711 markings, 33723791 edges, 141566 markings/sec, 70 secs
lola: 11775229 markings, 35881870 edges, 168704 markings/sec, 75 secs
lola: 12514288 markings, 38146000 edges, 147812 markings/sec, 80 secs
lola: 13066719 markings, 40446554 edges, 110486 markings/sec, 85 secs
lola: 13886443 markings, 42631367 edges, 163945 markings/sec, 90 secs
lola: 14638415 markings, 44907938 edges, 150394 markings/sec, 95 secs
lola: 15217458 markings, 47172745 edges, 115809 markings/sec, 100 secs
lola: 15899331 markings, 49471371 edges, 136375 markings/sec, 105 secs
lola: 16709628 markings, 51607215 edges, 162059 markings/sec, 110 secs
lola: 17341805 markings, 53943367 edges, 126435 markings/sec, 115 secs
lola: 18086107 markings, 56228490 edges, 148860 markings/sec, 120 secs
lola: 18850691 markings, 58460180 edges, 152917 markings/sec, 125 secs
lola: 19617137 markings, 60633793 edges, 153289 markings/sec, 130 secs
lola: 20329105 markings, 62920474 edges, 142394 markings/sec, 135 secs
lola: 21081634 markings, 65108257 edges, 150506 markings/sec, 140 secs
lola: 21743968 markings, 67426783 edges, 132467 markings/sec, 145 secs
lola: 22486476 markings, 69640533 edges, 148502 markings/sec, 150 secs
lola: 23151884 markings, 71846569 edges, 133082 markings/sec, 155 secs
lola: 23987560 markings, 74019504 edges, 167135 markings/sec, 160 secs
lola: 24841010 markings, 76273516 edges, 170690 markings/sec, 165 secs
lola: 25778347 markings, 78672889 edges, 187467 markings/sec, 170 secs
lola: 26707959 markings, 81038362 edges, 185922 markings/sec, 175 secs
lola: 27470907 markings, 83419617 edges, 152590 markings/sec, 180 secs
lola: 28347930 markings, 85889880 edges, 175405 markings/sec, 185 secs
lola: 29383828 markings, 88205097 edges, 207180 markings/sec, 190 secs
lola: 30422727 markings, 90657049 edges, 207780 markings/sec, 195 secs
lola: 31457953 markings, 92950325 edges, 207045 markings/sec, 200 secs
lola: 32441199 markings, 95341039 edges, 196649 markings/sec, 205 secs
lola: 33417651 markings, 97664326 edges, 195290 markings/sec, 210 secs
lola: 34372693 markings, 100047837 edges, 191008 markings/sec, 215 secs
lola: 35317325 markings, 102376974 edges, 188926 markings/sec, 220 secs
lola: 36281862 markings, 104789825 edges, 192907 markings/sec, 225 secs
lola: 37315371 markings, 107218181 edges, 206702 markings/sec, 230 secs
lola: 38250691 markings, 109613761 edges, 187064 markings/sec, 235 secs
lola: 39175683 markings, 111871948 edges, 184998 markings/sec, 240 secs
lola: 40108045 markings, 114217727 edges, 186472 markings/sec, 245 secs
lola: 40912579 markings, 116627164 edges, 160907 markings/sec, 250 secs
lola: 41744417 markings, 119079965 edges, 166368 markings/sec, 255 secs
lola: 42550318 markings, 121537117 edges, 161180 markings/sec, 260 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 270 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 1253012 markings, 2352581 edges, 250602 markings/sec, 0 secs
lola: 2474794 markings, 4808988 edges, 244356 markings/sec, 5 secs
lola: 3481840 markings, 7016545 edges, 201409 markings/sec, 10 secs
lola: 4264306 markings, 8948088 edges, 156493 markings/sec, 15 secs
lola: 4967212 markings, 10972972 edges, 140581 markings/sec, 20 secs
lola: 5598541 markings, 12975929 edges, 126266 markings/sec, 25 secs
lola: 6242146 markings, 14996175 edges, 128721 markings/sec, 30 secs
lola: 6950794 markings, 17077300 edges, 141730 markings/sec, 35 secs
lola: 7516010 markings, 19102600 edges, 113043 markings/sec, 40 secs
lola: 8226285 markings, 21233920 edges, 142055 markings/sec, 45 secs
lola: 8763509 markings, 23277046 edges, 107445 markings/sec, 50 secs
lola: 9314899 markings, 25363149 edges, 110278 markings/sec, 55 secs
lola: 9910324 markings, 27400465 edges, 119085 markings/sec, 60 secs
lola: 10623905 markings, 29591463 edges, 142716 markings/sec, 65 secs
lola: 11624510 markings, 31942710 edges, 200121 markings/sec, 70 secs
lola: 12617624 markings, 34289067 edges, 198623 markings/sec, 75 secs
lola: 13614875 markings, 36622992 edges, 199450 markings/sec, 80 secs
lola: 14598002 markings, 38964177 edges, 196625 markings/sec, 85 secs
lola: 15453530 markings, 41278915 edges, 171106 markings/sec, 90 secs
lola: 16378014 markings, 43606844 edges, 184897 markings/sec, 95 secs
lola: 17303473 markings, 45942819 edges, 185092 markings/sec, 100 secs
lola: 18142784 markings, 48246526 edges, 167862 markings/sec, 105 secs
lola: 18722764 markings, 50312078 edges, 115996 markings/sec, 110 secs
lola: 19283580 markings, 52347220 edges, 112163 markings/sec, 115 secs
lola: 19900666 markings, 54380256 edges, 123417 markings/sec, 120 secs
lola: 20787672 markings, 56675831 edges, 177401 markings/sec, 125 secs
lola: 21711712 markings, 58940717 edges, 184808 markings/sec, 130 secs
lola: 22620191 markings, 61356721 edges, 181696 markings/sec, 135 secs
lola: 23498579 markings, 63502564 edges, 175678 markings/sec, 140 secs
lola: 24442606 markings, 65768680 edges, 188805 markings/sec, 145 secs
lola: 25356114 markings, 67998789 edges, 182702 markings/sec, 150 secs
lola: 26228391 markings, 70152005 edges, 174455 markings/sec, 155 secs
lola: 27099929 markings, 72229562 edges, 174308 markings/sec, 160 secs
lola: 27964742 markings, 74365254 edges, 172963 markings/sec, 165 secs
lola: 28826254 markings, 76474035 edges, 172302 markings/sec, 170 secs
lola: 29689085 markings, 78620774 edges, 172566 markings/sec, 175 secs
lola: 30561967 markings, 80879641 edges, 174576 markings/sec, 180 secs
lola: 31411473 markings, 83549642 edges, 169901 markings/sec, 185 secs
lola: 32229047 markings, 86138121 edges, 163515 markings/sec, 190 secs
lola: 33042358 markings, 88750865 edges, 162662 markings/sec, 195 secs
lola: 33849261 markings, 91332244 edges, 161381 markings/sec, 200 secs
lola: 34649925 markings, 93947061 edges, 160133 markings/sec, 205 secs
lola: 35533882 markings, 96614127 edges, 176791 markings/sec, 210 secs
lola: 36350513 markings, 99217726 edges, 163326 markings/sec, 215 secs
lola: 37154881 markings, 101794111 edges, 160874 markings/sec, 220 secs
lola: 37963446 markings, 104346407 edges, 161713 markings/sec, 225 secs
lola: 38770902 markings, 107053516 edges, 161491 markings/sec, 230 secs
lola: 39573881 markings, 109936108 edges, 160596 markings/sec, 235 secs
lola: 40368928 markings, 112802935 edges, 159009 markings/sec, 240 secs
lola: 40974474 markings, 115147623 edges, 121109 markings/sec, 245 secs
lola: 41883823 markings, 117496818 edges, 181870 markings/sec, 250 secs
lola: 42625570 markings, 119915940 edges, 148349 markings/sec, 255 secs
lola: 43430992 markings, 122325047 edges, 161084 markings/sec, 260 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 270 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 1278070 markings, 2306802 edges, 255614 markings/sec, 0 secs
lola: 2347833 markings, 5112334 edges, 213953 markings/sec, 5 secs
lola: 3551000 markings, 7757045 edges, 240633 markings/sec, 10 secs
lola: 4715519 markings, 10437137 edges, 232904 markings/sec, 15 secs
lola: 5443876 markings, 12887244 edges, 145671 markings/sec, 20 secs
lola: 6066369 markings, 15184232 edges, 124499 markings/sec, 25 secs
lola: 6661993 markings, 17427685 edges, 119125 markings/sec, 30 secs
lola: 7253477 markings, 19584001 edges, 118297 markings/sec, 35 secs
lola: 7873786 markings, 21735108 edges, 124062 markings/sec, 40 secs
lola: 8445804 markings, 23923997 edges, 114404 markings/sec, 45 secs
lola: 9048763 markings, 26093935 edges, 120592 markings/sec, 50 secs
lola: 9607891 markings, 28293741 edges, 111826 markings/sec, 55 secs
lola: 10213215 markings, 30570179 edges, 121065 markings/sec, 60 secs
lola: 10803063 markings, 32731974 edges, 117970 markings/sec, 65 secs
lola: 11386503 markings, 34935650 edges, 116688 markings/sec, 70 secs
lola: 11986137 markings, 37264754 edges, 119927 markings/sec, 75 secs
lola: 12603977 markings, 39569639 edges, 123568 markings/sec, 80 secs
lola: 13696713 markings, 42126166 edges, 218547 markings/sec, 85 secs
lola: 14758389 markings, 44589867 edges, 212335 markings/sec, 90 secs
lola: 15784262 markings, 46952203 edges, 205175 markings/sec, 95 secs
lola: 16800761 markings, 49548414 edges, 203300 markings/sec, 100 secs
lola: 17748958 markings, 52371773 edges, 189639 markings/sec, 105 secs
lola: 18645975 markings, 55299049 edges, 179403 markings/sec, 110 secs
lola: 19481018 markings, 58104904 edges, 167009 markings/sec, 115 secs
lola: 20328736 markings, 61151584 edges, 169544 markings/sec, 120 secs
lola: 21378974 markings, 63574878 edges, 210048 markings/sec, 125 secs
lola: 22398475 markings, 66132615 edges, 203900 markings/sec, 130 secs
lola: 23277665 markings, 68942038 edges, 175838 markings/sec, 135 secs
lola: 24055625 markings, 71661626 edges, 155592 markings/sec, 140 secs
lola: 24905674 markings, 73821733 edges, 170010 markings/sec, 145 secs
lola: 25696976 markings, 76394492 edges, 158260 markings/sec, 150 secs
lola: 26217815 markings, 78697186 edges, 104168 markings/sec, 155 secs
lola: 26720716 markings, 81013397 edges, 100580 markings/sec, 160 secs
lola: 27671845 markings, 83369447 edges, 190226 markings/sec, 165 secs
lola: 28529119 markings, 85955017 edges, 171455 markings/sec, 170 secs
lola: 29284021 markings, 88661200 edges, 150980 markings/sec, 175 secs
lola: 30120060 markings, 91356635 edges, 167208 markings/sec, 180 secs
lola: 30971285 markings, 93996760 edges, 170245 markings/sec, 185 secs
lola: 31774159 markings, 96650139 edges, 160575 markings/sec, 190 secs
lola: 32359010 markings, 99077751 edges, 116970 markings/sec, 195 secs
lola: 32855287 markings, 101289567 edges, 99255 markings/sec, 200 secs
lola: 33590894 markings, 103874822 edges, 147121 markings/sec, 205 secs
lola: 34122186 markings, 106503854 edges, 106258 markings/sec, 210 secs
lola: 35067308 markings, 108781552 edges, 189024 markings/sec, 215 secs
lola: 35929673 markings, 111026472 edges, 172473 markings/sec, 220 secs
lola: 36742400 markings, 113662701 edges, 162545 markings/sec, 225 secs
lola: 37575433 markings, 116169727 edges, 166607 markings/sec, 230 secs
lola: 38410208 markings, 118541240 edges, 166955 markings/sec, 235 secs
lola: 39243300 markings, 120914593 edges, 166618 markings/sec, 240 secs
lola: 39874270 markings, 123391902 edges, 126194 markings/sec, 245 secs
lola: 40717112 markings, 125649407 edges, 168568 markings/sec, 250 secs
lola: 41448357 markings, 128025449 edges, 146249 markings/sec, 255 secs
lola: 42294184 markings, 130391453 edges, 169165 markings/sec, 260 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DNAwalker-PT-06track28RL-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494658593374
--------------------
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="DNAwalker-PT-06track28RL"
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/DNAwalker-PT-06track28RL.tgz
mv DNAwalker-PT-06track28RL 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 DNAwalker-PT-06track28RL, 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 r028-blw3-149440263800047"
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 ;