About the Execution of LoLA for DNAwalker-PT-04track28LL
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
4802.590 | 3540091.00 | 3548298.00 | 1540.00 | 1 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 DNAwalker-PT-04track28LL, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440263800029
=====================================================================
--------------------
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-04track28LL-UpperBounds-0
FORMULA_NAME DNAwalker-PT-04track28LL-UpperBounds-1
FORMULA_NAME DNAwalker-PT-04track28LL-UpperBounds-10
FORMULA_NAME DNAwalker-PT-04track28LL-UpperBounds-11
FORMULA_NAME DNAwalker-PT-04track28LL-UpperBounds-12
FORMULA_NAME DNAwalker-PT-04track28LL-UpperBounds-13
FORMULA_NAME DNAwalker-PT-04track28LL-UpperBounds-14
FORMULA_NAME DNAwalker-PT-04track28LL-UpperBounds-15
FORMULA_NAME DNAwalker-PT-04track28LL-UpperBounds-2
FORMULA_NAME DNAwalker-PT-04track28LL-UpperBounds-3
FORMULA_NAME DNAwalker-PT-04track28LL-UpperBounds-4
FORMULA_NAME DNAwalker-PT-04track28LL-UpperBounds-5
FORMULA_NAME DNAwalker-PT-04track28LL-UpperBounds-6
FORMULA_NAME DNAwalker-PT-04track28LL-UpperBounds-7
FORMULA_NAME DNAwalker-PT-04track28LL-UpperBounds-8
FORMULA_NAME DNAwalker-PT-04track28LL-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494653959322
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DNAwalker-PT-04track28LL @ 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-04track28LL-UpperBounds.task
lola: MAX(B18) : MAX(B26) : MAX(A7) : MAX(A24) : MAX(B10) : MAX(A28) : MAX(A6) : MAX(A17) : MAX(B10) : MAX(B26) : MAX(A5) : MAX(A6) : MAX(A26) : MAX(A23) : MAX(A1) : MAX(A11)
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(B18)
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(B26)
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 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A7)
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: 947587 markings, 2253518 edges, 189517 markings/sec, 0 secs
lola: 1786106 markings, 4891725 edges, 167704 markings/sec, 5 secs
lola: 2490145 markings, 7839025 edges, 140808 markings/sec, 10 secs
lola: 3187672 markings, 10273351 edges, 139505 markings/sec, 15 secs
lola: 3809912 markings, 13007012 edges, 124448 markings/sec, 20 secs
lola: 4390110 markings, 15634792 edges, 116040 markings/sec, 25 secs
lola: 5001980 markings, 18202943 edges, 122374 markings/sec, 30 secs
lola: 5604474 markings, 20766750 edges, 120499 markings/sec, 35 secs
lola: 6187171 markings, 23454386 edges, 116539 markings/sec, 40 secs
lola: 6784714 markings, 26134000 edges, 119509 markings/sec, 45 secs
lola: 7384709 markings, 28638334 edges, 119999 markings/sec, 50 secs
lola: 7970149 markings, 31307364 edges, 117088 markings/sec, 55 secs
lola: 8545921 markings, 33943373 edges, 115154 markings/sec, 60 secs
lola: 9277885 markings, 36384905 edges, 146393 markings/sec, 65 secs
lola: 9875035 markings, 39178180 edges, 119430 markings/sec, 70 secs
lola: 10420232 markings, 41878656 edges, 109039 markings/sec, 75 secs
lola: 11020984 markings, 44533139 edges, 120150 markings/sec, 80 secs
lola: 11625670 markings, 47090444 edges, 120937 markings/sec, 85 secs
lola: 12194525 markings, 49748859 edges, 113771 markings/sec, 90 secs
lola: 12793238 markings, 52339892 edges, 119743 markings/sec, 95 secs
lola: 13325840 markings, 55110061 edges, 106520 markings/sec, 100 secs
lola: 13903134 markings, 57806911 edges, 115459 markings/sec, 105 secs
lola: 14455058 markings, 60596828 edges, 110385 markings/sec, 110 secs
lola: 15047346 markings, 63326456 edges, 118458 markings/sec, 115 secs
lola: 15680317 markings, 65892718 edges, 126594 markings/sec, 120 secs
lola: 16262934 markings, 68500390 edges, 116523 markings/sec, 125 secs
lola: 16893608 markings, 70940815 edges, 126135 markings/sec, 130 secs
lola: 17536108 markings, 73432681 edges, 128500 markings/sec, 135 secs
lola: 18224695 markings, 75818862 edges, 137717 markings/sec, 140 secs
lola: 18828730 markings, 78376421 edges, 120807 markings/sec, 145 secs
lola: 19484379 markings, 80833874 edges, 131130 markings/sec, 150 secs
lola: 20107874 markings, 83481417 edges, 124699 markings/sec, 155 secs
lola: 20747825 markings, 86221027 edges, 127990 markings/sec, 160 secs
lola: 21311454 markings, 89151600 edges, 112726 markings/sec, 165 secs
lola: 21880817 markings, 91987057 edges, 113873 markings/sec, 170 secs
lola: 22429610 markings, 94968095 edges, 109759 markings/sec, 175 secs
lola: 22981704 markings, 98034517 edges, 110419 markings/sec, 180 secs
lola: 23605230 markings, 100620217 edges, 124705 markings/sec, 185 secs
lola: 24309267 markings, 102758180 edges, 140807 markings/sec, 190 secs
lola: 24982830 markings, 104914337 edges, 134713 markings/sec, 195 secs
lola: 25622241 markings, 107119095 edges, 127882 markings/sec, 200 secs
lola: 26266632 markings, 109326161 edges, 128878 markings/sec, 205 secs
lola: 26893280 markings, 111514748 edges, 125330 markings/sec, 210 secs
lola: 27528993 markings, 113791489 edges, 127143 markings/sec, 215 secs
lola: 28100622 markings, 116270282 edges, 114326 markings/sec, 220 secs
lola: 28731032 markings, 118612296 edges, 126082 markings/sec, 225 secs
lola: 29310260 markings, 120808989 edges, 115846 markings/sec, 230 secs
lola: 29873098 markings, 123086452 edges, 112568 markings/sec, 235 secs
lola: 30458742 markings, 125444532 edges, 117129 markings/sec, 240 secs
lola: 31000335 markings, 127922066 edges, 108319 markings/sec, 245 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 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A24)
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: 960443 markings, 1791394 edges, 192089 markings/sec, 0 secs
lola: 1959873 markings, 3950590 edges, 199886 markings/sec, 5 secs
lola: 2813657 markings, 5815275 edges, 170757 markings/sec, 10 secs
lola: 3580815 markings, 7776314 edges, 153432 markings/sec, 15 secs
lola: 4377895 markings, 9724734 edges, 159416 markings/sec, 20 secs
lola: 5159664 markings, 11683302 edges, 156354 markings/sec, 25 secs
lola: 5926170 markings, 13783555 edges, 153301 markings/sec, 30 secs
lola: 6691465 markings, 15840046 edges, 153059 markings/sec, 35 secs
lola: 7475771 markings, 17808565 edges, 156861 markings/sec, 40 secs
lola: 8269806 markings, 19761643 edges, 158807 markings/sec, 45 secs
lola: 9048199 markings, 21754760 edges, 155679 markings/sec, 50 secs
lola: 9857367 markings, 23951104 edges, 161834 markings/sec, 55 secs
lola: 10750101 markings, 26493448 edges, 178547 markings/sec, 60 secs
lola: 11594877 markings, 28747310 edges, 168955 markings/sec, 65 secs
lola: 12410916 markings, 30692649 edges, 163208 markings/sec, 70 secs
lola: 13277668 markings, 32952621 edges, 173350 markings/sec, 75 secs
lola: 14012176 markings, 34834533 edges, 146902 markings/sec, 80 secs
lola: 14830978 markings, 37075784 edges, 163760 markings/sec, 85 secs
lola: 15606253 markings, 39393595 edges, 155055 markings/sec, 90 secs
lola: 16391965 markings, 42102069 edges, 157142 markings/sec, 95 secs
lola: 17169245 markings, 44335825 edges, 155456 markings/sec, 100 secs
lola: 17913632 markings, 46758698 edges, 148877 markings/sec, 105 secs
lola: 18705203 markings, 49230500 edges, 158314 markings/sec, 110 secs
lola: 19524379 markings, 51545327 edges, 163835 markings/sec, 115 secs
lola: 20393695 markings, 53784644 edges, 173863 markings/sec, 120 secs
lola: 21227508 markings, 55870912 edges, 166763 markings/sec, 125 secs
lola: 22078874 markings, 57990015 edges, 170273 markings/sec, 130 secs
lola: 22955746 markings, 60169079 edges, 175374 markings/sec, 135 secs
lola: 23835205 markings, 62334249 edges, 175892 markings/sec, 140 secs
lola: 24674594 markings, 64662476 edges, 167878 markings/sec, 145 secs
lola: 25413088 markings, 67139111 edges, 147699 markings/sec, 150 secs
lola: 26161959 markings, 69602728 edges, 149774 markings/sec, 155 secs
lola: 26977372 markings, 72032969 edges, 163083 markings/sec, 160 secs
lola: 27856824 markings, 74311190 edges, 175890 markings/sec, 165 secs
lola: 28647242 markings, 76491448 edges, 158084 markings/sec, 170 secs
lola: 29469137 markings, 78805022 edges, 164379 markings/sec, 175 secs
lola: 30264957 markings, 81198965 edges, 159164 markings/sec, 180 secs
lola: 30996117 markings, 83477478 edges, 146232 markings/sec, 185 secs
lola: 31714616 markings, 85843386 edges, 143700 markings/sec, 190 secs
lola: 32537208 markings, 88007403 edges, 164518 markings/sec, 195 secs
lola: 33391297 markings, 90107716 edges, 170818 markings/sec, 200 secs
lola: 34174097 markings, 92520995 edges, 156560 markings/sec, 205 secs
lola: 35018089 markings, 94498938 edges, 168798 markings/sec, 210 secs
lola: 35867697 markings, 96416305 edges, 169922 markings/sec, 215 secs
lola: 36550341 markings, 98384898 edges, 136529 markings/sec, 220 secs
lola: 37248203 markings, 100333365 edges, 139572 markings/sec, 225 secs
lola: 37925008 markings, 102336215 edges, 135361 markings/sec, 230 secs
lola: 38596426 markings, 104392588 edges, 134284 markings/sec, 235 secs
lola: 39253109 markings, 106296947 edges, 131337 markings/sec, 240 secs
lola: 39948384 markings, 108262899 edges, 139055 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B10)
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 5 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A28)
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: 824695 markings, 1825061 edges, 164939 markings/sec, 0 secs
lola: 1662877 markings, 3858678 edges, 167636 markings/sec, 5 secs
lola: 2420292 markings, 5813537 edges, 151483 markings/sec, 10 secs
lola: 3075500 markings, 7656508 edges, 131042 markings/sec, 15 secs
lola: 3676137 markings, 9720388 edges, 120127 markings/sec, 20 secs
lola: 4234951 markings, 11798366 edges, 111763 markings/sec, 25 secs
lola: 4763341 markings, 13820705 edges, 105678 markings/sec, 30 secs
lola: 5284698 markings, 15835545 edges, 104271 markings/sec, 35 secs
lola: 5801182 markings, 17843325 edges, 103297 markings/sec, 40 secs
lola: 6340736 markings, 19937998 edges, 107911 markings/sec, 45 secs
lola: 6860472 markings, 22010513 edges, 103947 markings/sec, 50 secs
lola: 7400522 markings, 23928566 edges, 108010 markings/sec, 55 secs
lola: 7861463 markings, 25604883 edges, 92188 markings/sec, 60 secs
lola: 8463002 markings, 27530607 edges, 120308 markings/sec, 65 secs
lola: 9170506 markings, 29638955 edges, 141501 markings/sec, 70 secs
lola: 9788648 markings, 31420623 edges, 123628 markings/sec, 75 secs
lola: 10342296 markings, 33357995 edges, 110730 markings/sec, 80 secs
lola: 10847945 markings, 35319151 edges, 101130 markings/sec, 85 secs
lola: 11352510 markings, 37269983 edges, 100913 markings/sec, 90 secs
lola: 11863443 markings, 39278690 edges, 102187 markings/sec, 95 secs
lola: 12393656 markings, 41144301 edges, 106043 markings/sec, 100 secs
lola: 12918069 markings, 43017775 edges, 104883 markings/sec, 105 secs
lola: 13484331 markings, 44990595 edges, 113252 markings/sec, 110 secs
lola: 14026295 markings, 46912345 edges, 108393 markings/sec, 115 secs
lola: 14598030 markings, 48947547 edges, 114347 markings/sec, 120 secs
lola: 15138722 markings, 51045750 edges, 108138 markings/sec, 125 secs
lola: 15678078 markings, 53121719 edges, 107871 markings/sec, 130 secs
lola: 16199468 markings, 55109477 edges, 104278 markings/sec, 135 secs
lola: 16845931 markings, 57399635 edges, 129293 markings/sec, 140 secs
lola: 17441750 markings, 59317041 edges, 119164 markings/sec, 145 secs
lola: 17948176 markings, 61331697 edges, 101285 markings/sec, 150 secs
lola: 18452202 markings, 63324997 edges, 100805 markings/sec, 155 secs
lola: 18960824 markings, 65314585 edges, 101724 markings/sec, 160 secs
lola: 19610216 markings, 67394657 edges, 129878 markings/sec, 165 secs
lola: 20265363 markings, 69017155 edges, 131029 markings/sec, 170 secs
lola: 20904183 markings, 70633011 edges, 127764 markings/sec, 175 secs
lola: 21561083 markings, 72509009 edges, 131380 markings/sec, 180 secs
lola: 22171748 markings, 74062705 edges, 122133 markings/sec, 185 secs
lola: 22775138 markings, 75774733 edges, 120678 markings/sec, 190 secs
lola: 23414285 markings, 77865348 edges, 127829 markings/sec, 195 secs
lola: 24041638 markings, 80355539 edges, 125471 markings/sec, 200 secs
lola: 24638230 markings, 82762378 edges, 119318 markings/sec, 205 secs
lola: 25264403 markings, 85291710 edges, 125235 markings/sec, 210 secs
lola: 25876054 markings, 87775650 edges, 122330 markings/sec, 215 secs
lola: 26469703 markings, 89986798 edges, 118730 markings/sec, 220 secs
lola: 27005591 markings, 91845599 edges, 107178 markings/sec, 225 secs
lola: 27560399 markings, 94139084 edges, 110962 markings/sec, 230 secs
lola: 28114478 markings, 96433226 edges, 110816 markings/sec, 235 secs
lola: 28646729 markings, 98495120 edges, 106450 markings/sec, 240 secs
lola: 29166810 markings, 100533036 edges, 104016 markings/sec, 245 secs
lola: 29672973 markings, 102526093 edges, 101233 markings/sec, 250 secs
lola: 30180115 markings, 104563221 edges, 101428 markings/sec, 255 secs
lola: 30681590 markings, 106574166 edges, 100295 markings/sec, 260 secs
lola: 31191106 markings, 108616237 edges, 101903 markings/sec, 265 secs
lola: 31688136 markings, 110601804 edges, 99406 markings/sec, 270 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A6)
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: 693000 markings, 2551900 edges, 138600 markings/sec, 0 secs
lola: 1309427 markings, 4924793 edges, 123285 markings/sec, 5 secs
lola: 1891072 markings, 7653809 edges, 116329 markings/sec, 10 secs
lola: 2511334 markings, 9976949 edges, 124052 markings/sec, 15 secs
lola: 3122872 markings, 12329841 edges, 122308 markings/sec, 20 secs
lola: 3702064 markings, 14933832 edges, 115838 markings/sec, 25 secs
lola: 4261085 markings, 17732336 edges, 111804 markings/sec, 30 secs
lola: 4810476 markings, 20593253 edges, 109878 markings/sec, 35 secs
lola: 5379568 markings, 23551521 edges, 113818 markings/sec, 40 secs
lola: 5971766 markings, 26308355 edges, 118440 markings/sec, 45 secs
lola: 6573268 markings, 29089028 edges, 120300 markings/sec, 50 secs
lola: 7162744 markings, 31888230 edges, 117895 markings/sec, 55 secs
lola: 7754544 markings, 34664819 edges, 118360 markings/sec, 60 secs
lola: 8338189 markings, 37414734 edges, 116729 markings/sec, 65 secs
lola: 8943833 markings, 40224887 edges, 121129 markings/sec, 70 secs
lola: 9516481 markings, 43020139 edges, 114530 markings/sec, 75 secs
lola: 10093634 markings, 45801914 edges, 115431 markings/sec, 80 secs
lola: 10663143 markings, 48575896 edges, 113902 markings/sec, 85 secs
lola: 11253239 markings, 51279337 edges, 118019 markings/sec, 90 secs
lola: 11846429 markings, 53659902 edges, 118638 markings/sec, 95 secs
lola: 12441741 markings, 55984340 edges, 119062 markings/sec, 100 secs
lola: 13030103 markings, 58382784 edges, 117672 markings/sec, 105 secs
lola: 13596539 markings, 61016753 edges, 113287 markings/sec, 110 secs
lola: 14114250 markings, 63912420 edges, 103542 markings/sec, 115 secs
lola: 14637135 markings, 66895919 edges, 104577 markings/sec, 120 secs
lola: 15366648 markings, 69070456 edges, 145903 markings/sec, 125 secs
lola: 16071357 markings, 71229628 edges, 140942 markings/sec, 130 secs
lola: 16753113 markings, 73350037 edges, 136351 markings/sec, 135 secs
lola: 17424676 markings, 75401980 edges, 134313 markings/sec, 140 secs
lola: 18007493 markings, 78026954 edges, 116563 markings/sec, 145 secs
lola: 18708796 markings, 80106421 edges, 140261 markings/sec, 150 secs
lola: 19427533 markings, 82034862 edges, 143747 markings/sec, 155 secs
lola: 20082043 markings, 84163069 edges, 130902 markings/sec, 160 secs
lola: 20780230 markings, 86133346 edges, 139637 markings/sec, 165 secs
lola: 21437092 markings, 88185026 edges, 131372 markings/sec, 170 secs
lola: 22078424 markings, 90746644 edges, 128266 markings/sec, 175 secs
lola: 22646733 markings, 93443807 edges, 113662 markings/sec, 180 secs
lola: 23214895 markings, 96121478 edges, 113632 markings/sec, 185 secs
lola: 23870307 markings, 98586471 edges, 131082 markings/sec, 190 secs
lola: 24578300 markings, 100848027 edges, 141599 markings/sec, 195 secs
lola: 25234079 markings, 103074635 edges, 131156 markings/sec, 200 secs
lola: 25879853 markings, 105179368 edges, 129155 markings/sec, 205 secs
lola: 26466164 markings, 107692688 edges, 117262 markings/sec, 210 secs
lola: 27118662 markings, 110075699 edges, 130500 markings/sec, 215 secs
lola: 27763790 markings, 112318387 edges, 129026 markings/sec, 220 secs
lola: 28369494 markings, 114729703 edges, 121141 markings/sec, 225 secs
lola: 29027562 markings, 117029532 edges, 131614 markings/sec, 230 secs
lola: 29620270 markings, 119426596 edges, 118542 markings/sec, 235 secs
lola: 30265346 markings, 121696219 edges, 129015 markings/sec, 240 secs
lola: 30877354 markings, 123824162 edges, 122402 markings/sec, 245 secs
lola: 31528549 markings, 125962226 edges, 130239 markings/sec, 250 secs
lola: 32169668 markings, 128182287 edges, 128224 markings/sec, 255 secs
lola: 32809572 markings, 130291237 edges, 127981 markings/sec, 260 secs
lola: 33441451 markings, 132481045 edges, 126376 markings/sec, 265 secs
lola: 34078512 markings, 134626319 edges, 127412 markings/sec, 270 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A17)
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: 848802 markings, 2385862 edges, 169760 markings/sec, 0 secs
lola: 1604464 markings, 4869995 edges, 151132 markings/sec, 5 secs
lola: 2335719 markings, 7300197 edges, 146251 markings/sec, 10 secs
lola: 2931243 markings, 9849150 edges, 119105 markings/sec, 15 secs
lola: 3657886 markings, 12101474 edges, 145329 markings/sec, 20 secs
lola: 4343746 markings, 14374598 edges, 137172 markings/sec, 25 secs
lola: 4994194 markings, 16803491 edges, 130090 markings/sec, 30 secs
lola: 5616260 markings, 19205667 edges, 124413 markings/sec, 35 secs
lola: 6179560 markings, 21698597 edges, 112660 markings/sec, 40 secs
lola: 6751080 markings, 24212001 edges, 114304 markings/sec, 45 secs
lola: 7297511 markings, 26765455 edges, 109286 markings/sec, 50 secs
lola: 7836457 markings, 29340739 edges, 107789 markings/sec, 55 secs
lola: 8377042 markings, 31921763 edges, 108117 markings/sec, 60 secs
lola: 9074896 markings, 34223213 edges, 139571 markings/sec, 65 secs
lola: 9695189 markings, 36699038 edges, 124059 markings/sec, 70 secs
lola: 10272638 markings, 39210518 edges, 115490 markings/sec, 75 secs
lola: 10830522 markings, 41854703 edges, 111577 markings/sec, 80 secs
lola: 11423072 markings, 44309735 edges, 118510 markings/sec, 85 secs
lola: 11986370 markings, 46835746 edges, 112660 markings/sec, 90 secs
lola: 12629333 markings, 49212421 edges, 128593 markings/sec, 95 secs
lola: 13217873 markings, 51669559 edges, 117708 markings/sec, 100 secs
lola: 13813701 markings, 54137749 edges, 119166 markings/sec, 105 secs
lola: 14438641 markings, 56574442 edges, 124988 markings/sec, 110 secs
lola: 15017251 markings, 59081883 edges, 115722 markings/sec, 115 secs
lola: 15573403 markings, 61576549 edges, 111230 markings/sec, 120 secs
lola: 16111771 markings, 64156483 edges, 107674 markings/sec, 125 secs
lola: 16699209 markings, 66559536 edges, 117488 markings/sec, 130 secs
lola: 17272504 markings, 68930854 edges, 114659 markings/sec, 135 secs
lola: 17851967 markings, 71364445 edges, 115893 markings/sec, 140 secs
lola: 18402085 markings, 73743820 edges, 110024 markings/sec, 145 secs
lola: 19073809 markings, 76053577 edges, 134345 markings/sec, 150 secs
lola: 19778792 markings, 78285471 edges, 140997 markings/sec, 155 secs
lola: 20483820 markings, 80605374 edges, 141006 markings/sec, 160 secs
lola: 21112398 markings, 82978046 edges, 125716 markings/sec, 165 secs
lola: 21681896 markings, 85422679 edges, 113900 markings/sec, 170 secs
lola: 22234295 markings, 87875250 edges, 110480 markings/sec, 175 secs
lola: 22775276 markings, 90391511 edges, 108196 markings/sec, 180 secs
lola: 23308220 markings, 92930253 edges, 106589 markings/sec, 185 secs
lola: 23929402 markings, 95298365 edges, 124236 markings/sec, 190 secs
lola: 24553037 markings, 97695279 edges, 124727 markings/sec, 195 secs
lola: 25131156 markings, 100159955 edges, 115624 markings/sec, 200 secs
lola: 25685572 markings, 102613279 edges, 110883 markings/sec, 205 secs
lola: 26221463 markings, 105163654 edges, 107178 markings/sec, 210 secs
lola: 26819155 markings, 107464190 edges, 119538 markings/sec, 215 secs
lola: 27362493 markings, 109932899 edges, 108668 markings/sec, 220 secs
lola: 27988973 markings, 112256441 edges, 125296 markings/sec, 225 secs
lola: 28567806 markings, 114670459 edges, 115767 markings/sec, 230 secs
lola: 29105507 markings, 117139194 edges, 107540 markings/sec, 235 secs
lola: 29806877 markings, 119407120 edges, 140274 markings/sec, 240 secs
lola: 30456526 markings, 121730953 edges, 129930 markings/sec, 245 secs
lola: 31047753 markings, 124293200 edges, 118245 markings/sec, 250 secs
lola: 31654751 markings, 126680304 edges, 121400 markings/sec, 255 secs
lola: 32221778 markings, 129163397 edges, 113405 markings/sec, 260 secs
lola: 32761465 markings, 131608966 edges, 107937 markings/sec, 265 secs
lola: 33291826 markings, 134071313 edges, 106072 markings/sec, 270 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B10)
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 315 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B26)
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 10 will run for 368 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A5)
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: 650602 markings, 2512322 edges, 130120 markings/sec, 0 secs
lola: 1282422 markings, 5181324 edges, 126364 markings/sec, 5 secs
lola: 1877639 markings, 7860570 edges, 119043 markings/sec, 10 secs
lola: 2450683 markings, 10605646 edges, 114609 markings/sec, 15 secs
lola: 3062880 markings, 13271610 edges, 122439 markings/sec, 20 secs
lola: 3643761 markings, 15811618 edges, 116176 markings/sec, 25 secs
lola: 4238633 markings, 18488703 edges, 118974 markings/sec, 30 secs
lola: 4796039 markings, 21301756 edges, 111481 markings/sec, 35 secs
lola: 5316836 markings, 24454658 edges, 104159 markings/sec, 40 secs
lola: 5912408 markings, 27126235 edges, 119114 markings/sec, 45 secs
lola: 6518739 markings, 29738578 edges, 121266 markings/sec, 50 secs
lola: 7095607 markings, 32313372 edges, 115374 markings/sec, 55 secs
lola: 7670597 markings, 34857496 edges, 114998 markings/sec, 60 secs
lola: 8251114 markings, 37466480 edges, 116103 markings/sec, 65 secs
lola: 8816209 markings, 40109652 edges, 113019 markings/sec, 70 secs
lola: 9450053 markings, 42399960 edges, 126769 markings/sec, 75 secs
lola: 10107114 markings, 44453499 edges, 131412 markings/sec, 80 secs
lola: 10737798 markings, 46708225 edges, 126137 markings/sec, 85 secs
lola: 11316479 markings, 49267557 edges, 115736 markings/sec, 90 secs
lola: 11902466 markings, 51706262 edges, 117197 markings/sec, 95 secs
lola: 12487594 markings, 54075717 edges, 117026 markings/sec, 100 secs
lola: 13070244 markings, 56426681 edges, 116530 markings/sec, 105 secs
lola: 13642928 markings, 58856642 edges, 114537 markings/sec, 110 secs
lola: 14207595 markings, 61529208 edges, 112933 markings/sec, 115 secs
lola: 14758389 markings, 64264686 edges, 110159 markings/sec, 120 secs
lola: 15264098 markings, 67143970 edges, 101142 markings/sec, 125 secs
lola: 15782562 markings, 69919023 edges, 103693 markings/sec, 130 secs
lola: 16299724 markings, 72766555 edges, 103432 markings/sec, 135 secs
lola: 16870025 markings, 75400798 edges, 114060 markings/sec, 140 secs
lola: 17395561 markings, 78278461 edges, 105107 markings/sec, 145 secs
lola: 17917041 markings, 81080477 edges, 104296 markings/sec, 150 secs
lola: 18430939 markings, 83900891 edges, 102780 markings/sec, 155 secs
lola: 18928489 markings, 86844458 edges, 99510 markings/sec, 160 secs
lola: 19400126 markings, 89992835 edges, 94327 markings/sec, 165 secs
lola: 19888115 markings, 93026588 edges, 97598 markings/sec, 170 secs
lola: 20398418 markings, 96031119 edges, 102061 markings/sec, 175 secs
lola: 20917624 markings, 98913039 edges, 103841 markings/sec, 180 secs
lola: 21447880 markings, 101789749 edges, 106051 markings/sec, 185 secs
lola: 21956769 markings, 104625331 edges, 101778 markings/sec, 190 secs
lola: 22445251 markings, 107684813 edges, 97696 markings/sec, 195 secs
lola: 22916477 markings, 110764588 edges, 94245 markings/sec, 200 secs
lola: 23383833 markings, 113940380 edges, 93471 markings/sec, 205 secs
lola: 23826763 markings, 117175182 edges, 88586 markings/sec, 210 secs
lola: 24432959 markings, 119758148 edges, 121239 markings/sec, 215 secs
lola: 24958120 markings, 122466027 edges, 105032 markings/sec, 220 secs
lola: 25463822 markings, 124984560 edges, 101140 markings/sec, 225 secs
lola: 25964623 markings, 127704913 edges, 100160 markings/sec, 230 secs
lola: 26458204 markings, 130358078 edges, 98716 markings/sec, 235 secs
lola: 26955410 markings, 133051993 edges, 99441 markings/sec, 240 secs
lola: 27469893 markings, 135830826 edges, 102897 markings/sec, 245 secs
lola: 28039403 markings, 138458687 edges, 113902 markings/sec, 250 secs
lola: 28554419 markings, 141251979 edges, 103003 markings/sec, 255 secs
lola: 29054941 markings, 144048106 edges, 100104 markings/sec, 260 secs
lola: 29557822 markings, 146799463 edges, 100576 markings/sec, 265 secs
lola: 30042591 markings, 149453801 edges, 96954 markings/sec, 270 secs
lola: 30524810 markings, 152126653 edges, 96444 markings/sec, 275 secs
lola: 31018523 markings, 154879249 edges, 98743 markings/sec, 280 secs
lola: 31484917 markings, 157521566 edges, 93279 markings/sec, 285 secs
lola: 31982215 markings, 160274187 edges, 99460 markings/sec, 290 secs
lola: 32474692 markings, 162952121 edges, 98495 markings/sec, 295 secs
lola: 32971009 markings, 165653338 edges, 99263 markings/sec, 300 secs
lola: 33510282 markings, 168344972 edges, 107855 markings/sec, 305 secs
lola: 33989878 markings, 171329108 edges, 95919 markings/sec, 310 secs
lola: 34456312 markings, 174087000 edges, 93287 markings/sec, 315 secs
lola: 34956160 markings, 176859713 edges, 99970 markings/sec, 320 secs
lola: 35468459 markings, 179648449 edges, 102460 markings/sec, 325 secs
lola: 36043108 markings, 182318195 edges, 114930 markings/sec, 330 secs
lola: 36599124 markings, 185044392 edges, 111203 markings/sec, 335 secs
lola: 37138032 markings, 187900679 edges, 107782 markings/sec, 340 secs
lola: 37687814 markings, 190776505 edges, 109956 markings/sec, 345 secs
lola: 38250132 markings, 193595784 edges, 112464 markings/sec, 350 secs
lola: 38759609 markings, 196166065 edges, 101895 markings/sec, 355 secs
lola: 39310884 markings, 198966647 edges, 110255 markings/sec, 360 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 368 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A6)
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: 692148 markings, 2546588 edges, 138430 markings/sec, 0 secs
lola: 1310014 markings, 4927502 edges, 123573 markings/sec, 5 secs
lola: 1879565 markings, 7600438 edges, 113910 markings/sec, 10 secs
lola: 2497541 markings, 9925850 edges, 123595 markings/sec, 15 secs
lola: 3109471 markings, 12268414 edges, 122386 markings/sec, 20 secs
lola: 3688598 markings, 14864568 edges, 115825 markings/sec, 25 secs
lola: 4246731 markings, 17661907 edges, 111627 markings/sec, 30 secs
lola: 4794883 markings, 20506361 edges, 109630 markings/sec, 35 secs
lola: 5361799 markings, 23484864 edges, 113383 markings/sec, 40 secs
lola: 5948410 markings, 26187440 edges, 117322 markings/sec, 45 secs
lola: 6539462 markings, 28920706 edges, 118210 markings/sec, 50 secs
lola: 7123159 markings, 31713244 edges, 116739 markings/sec, 55 secs
lola: 7718166 markings, 34464437 edges, 119001 markings/sec, 60 secs
lola: 8298707 markings, 37217147 edges, 116108 markings/sec, 65 secs
lola: 8901690 markings, 40024493 edges, 120597 markings/sec, 70 secs
lola: 9478612 markings, 42817541 edges, 115384 markings/sec, 75 secs
lola: 10053893 markings, 45638122 edges, 115056 markings/sec, 80 secs
lola: 10630551 markings, 48419473 edges, 115332 markings/sec, 85 secs
lola: 11202566 markings, 51052027 edges, 114403 markings/sec, 90 secs
lola: 11800050 markings, 53469886 edges, 119497 markings/sec, 95 secs
lola: 12378171 markings, 55745796 edges, 115624 markings/sec, 100 secs
lola: 12969764 markings, 58133452 edges, 118319 markings/sec, 105 secs
lola: 13545810 markings, 60728470 edges, 115209 markings/sec, 110 secs
lola: 14059672 markings, 63584945 edges, 102772 markings/sec, 115 secs
lola: 14571972 markings, 66501630 edges, 102460 markings/sec, 120 secs
lola: 15270633 markings, 68770724 edges, 139732 markings/sec, 125 secs
lola: 15981297 markings, 70922871 edges, 142133 markings/sec, 130 secs
lola: 16654906 markings, 73053166 edges, 134722 markings/sec, 135 secs
lola: 17313185 markings, 75041528 edges, 131656 markings/sec, 140 secs
lola: 17890561 markings, 77551940 edges, 115475 markings/sec, 145 secs
lola: 18557236 markings, 79708203 edges, 133335 markings/sec, 150 secs
lola: 19294453 markings, 81663547 edges, 147443 markings/sec, 155 secs
lola: 19954924 markings, 83711466 edges, 132094 markings/sec, 160 secs
lola: 20640968 markings, 85741968 edges, 137209 markings/sec, 165 secs
lola: 21292889 markings, 87749839 edges, 130384 markings/sec, 170 secs
lola: 21943928 markings, 90166885 edges, 130208 markings/sec, 175 secs
lola: 22529498 markings, 92853895 edges, 117114 markings/sec, 180 secs
lola: 23086914 markings, 95495037 edges, 111483 markings/sec, 185 secs
lola: 23692827 markings, 98026178 edges, 121183 markings/sec, 190 secs
lola: 24406545 markings, 100319742 edges, 142744 markings/sec, 195 secs
lola: 25074733 markings, 102525416 edges, 133638 markings/sec, 200 secs
lola: 25713917 markings, 104666772 edges, 127837 markings/sec, 205 secs
lola: 26328014 markings, 106996937 edges, 122819 markings/sec, 210 secs
lola: 26941774 markings, 109520899 edges, 122752 markings/sec, 215 secs
lola: 27606497 markings, 111791379 edges, 132945 markings/sec, 220 secs
lola: 28216740 markings, 114158478 edges, 122049 markings/sec, 225 secs
lola: 28879547 markings, 116537042 edges, 132561 markings/sec, 230 secs
lola: 29491147 markings, 118877247 edges, 122320 markings/sec, 235 secs
lola: 30136744 markings, 121277201 edges, 129119 markings/sec, 240 secs
lola: 30763972 markings, 123434169 edges, 125446 markings/sec, 245 secs
lola: 31405604 markings, 125582681 edges, 128326 markings/sec, 250 secs
lola: 32066862 markings, 127798747 edges, 132252 markings/sec, 255 secs
lola: 32691750 markings, 129920360 edges, 124978 markings/sec, 260 secs
lola: 33342841 markings, 132110622 edges, 130218 markings/sec, 265 secs
lola: 33977983 markings, 134296983 edges, 127028 markings/sec, 270 secs
lola: 34609073 markings, 136402444 edges, 126218 markings/sec, 275 secs
lola: 35209789 markings, 138420454 edges, 120143 markings/sec, 280 secs
lola: 35792406 markings, 141041590 edges, 116523 markings/sec, 285 secs
lola: 36348452 markings, 143492350 edges, 111209 markings/sec, 290 secs
lola: 36906466 markings, 145936133 edges, 111603 markings/sec, 295 secs
lola: 37458651 markings, 148447052 edges, 110437 markings/sec, 300 secs
lola: 38012278 markings, 151051860 edges, 110725 markings/sec, 305 secs
lola: 38529214 markings, 153459433 edges, 103387 markings/sec, 310 secs
lola: 39077741 markings, 156115208 edges, 109705 markings/sec, 315 secs
lola: 39618220 markings, 158713572 edges, 108096 markings/sec, 320 secs
lola: 40150079 markings, 161215616 edges, 106372 markings/sec, 325 secs
lola: 40638456 markings, 163989201 edges, 97675 markings/sec, 330 secs
lola: 41108932 markings, 166746097 edges, 94095 markings/sec, 335 secs
lola: 41694376 markings, 169266160 edges, 117089 markings/sec, 340 secs
lola: 42322911 markings, 171381932 edges, 125707 markings/sec, 345 secs
lola: 42967043 markings, 173569024 edges, 128826 markings/sec, 350 secs
lola: 43601970 markings, 175745832 edges, 126985 markings/sec, 355 secs
lola: 44228091 markings, 177962123 edges, 125224 markings/sec, 360 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 367 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A26)
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: 922202 markings, 2118444 edges, 184440 markings/sec, 0 secs
lola: 1603289 markings, 4301538 edges, 136217 markings/sec, 5 secs
lola: 2345465 markings, 6386732 edges, 148435 markings/sec, 10 secs
lola: 3057059 markings, 8495596 edges, 142319 markings/sec, 15 secs
lola: 3786428 markings, 10562678 edges, 145874 markings/sec, 20 secs
lola: 4468797 markings, 12787717 edges, 136474 markings/sec, 25 secs
lola: 5395884 markings, 15051319 edges, 185417 markings/sec, 30 secs
lola: 6123962 markings, 17255636 edges, 145616 markings/sec, 35 secs
lola: 6833522 markings, 19386741 edges, 141912 markings/sec, 40 secs
lola: 7484173 markings, 21510308 edges, 130130 markings/sec, 45 secs
lola: 8376406 markings, 23866922 edges, 178447 markings/sec, 50 secs
lola: 9000404 markings, 26035541 edges, 124800 markings/sec, 55 secs
lola: 9574883 markings, 28185041 edges, 114896 markings/sec, 60 secs
lola: 10192622 markings, 30378272 edges, 123548 markings/sec, 65 secs
lola: 10759646 markings, 32550238 edges, 113405 markings/sec, 70 secs
lola: 11465811 markings, 34781431 edges, 141233 markings/sec, 75 secs
lola: 12387396 markings, 36960125 edges, 184317 markings/sec, 80 secs
lola: 13318496 markings, 39370386 edges, 186220 markings/sec, 85 secs
lola: 14216233 markings, 42249541 edges, 179547 markings/sec, 90 secs
lola: 15136923 markings, 45141228 edges, 184138 markings/sec, 95 secs
lola: 16023293 markings, 47925083 edges, 177274 markings/sec, 100 secs
lola: 16949908 markings, 50471076 edges, 185323 markings/sec, 105 secs
lola: 17863898 markings, 53373390 edges, 182798 markings/sec, 110 secs
lola: 18600661 markings, 55259536 edges, 147353 markings/sec, 115 secs
lola: 19505268 markings, 57492945 edges, 180921 markings/sec, 120 secs
lola: 20386920 markings, 59711779 edges, 176330 markings/sec, 125 secs
lola: 21248553 markings, 61905161 edges, 172327 markings/sec, 130 secs
lola: 22106155 markings, 64051620 edges, 171520 markings/sec, 135 secs
lola: 22944923 markings, 66212317 edges, 167754 markings/sec, 140 secs
lola: 23767768 markings, 68351373 edges, 164569 markings/sec, 145 secs
lola: 24580531 markings, 70520385 edges, 162553 markings/sec, 150 secs
lola: 25404200 markings, 72674956 edges, 164734 markings/sec, 155 secs
lola: 26220551 markings, 74812298 edges, 163270 markings/sec, 160 secs
lola: 27041001 markings, 76942207 edges, 164090 markings/sec, 165 secs
lola: 27859029 markings, 79078527 edges, 163606 markings/sec, 170 secs
lola: 28664589 markings, 81237064 edges, 161112 markings/sec, 175 secs
lola: 29479804 markings, 83807192 edges, 163043 markings/sec, 180 secs
lola: 30246286 markings, 86328710 edges, 153296 markings/sec, 185 secs
lola: 31007668 markings, 88960528 edges, 152276 markings/sec, 190 secs
lola: 31741295 markings, 91539149 edges, 146725 markings/sec, 195 secs
lola: 32493823 markings, 94109463 edges, 150506 markings/sec, 200 secs
lola: 33224426 markings, 96689701 edges, 146121 markings/sec, 205 secs
lola: 33891210 markings, 99108761 edges, 133357 markings/sec, 210 secs
lola: 34669923 markings, 101701367 edges, 155743 markings/sec, 215 secs
lola: 35426053 markings, 104334658 edges, 151226 markings/sec, 220 secs
lola: 36183774 markings, 106938226 edges, 151544 markings/sec, 225 secs
lola: 36938368 markings, 109574045 edges, 150919 markings/sec, 230 secs
lola: 37678756 markings, 112158672 edges, 148078 markings/sec, 235 secs
lola: 38421416 markings, 115055415 edges, 148532 markings/sec, 240 secs
lola: 39149102 markings, 118090514 edges, 145537 markings/sec, 245 secs
lola: 39857705 markings, 121051617 edges, 141721 markings/sec, 250 secs
lola: 40617514 markings, 123662540 edges, 151962 markings/sec, 255 secs
lola: 41438035 markings, 126386544 edges, 164104 markings/sec, 260 secs
lola: 42207202 markings, 129005505 edges, 153833 markings/sec, 265 secs
lola: 42981360 markings, 131648189 edges, 154832 markings/sec, 270 secs
lola: 43744150 markings, 134297867 edges, 152558 markings/sec, 275 secs
lola: 44518735 markings, 137397710 edges, 154917 markings/sec, 280 secs
lola: 45258591 markings, 140458413 edges, 147971 markings/sec, 285 secs
lola: 46028997 markings, 143643179 edges, 154081 markings/sec, 290 secs
lola: 46790824 markings, 146820649 edges, 152365 markings/sec, 295 secs
lola: 47488307 markings, 149835875 edges, 139497 markings/sec, 300 secs
lola: 48056842 markings, 151934947 edges, 113707 markings/sec, 305 secs
lola: 48849142 markings, 154181509 edges, 158460 markings/sec, 310 secs
lola: 49510836 markings, 156502352 edges, 132339 markings/sec, 315 secs
lola: 50301752 markings, 158880013 edges, 158183 markings/sec, 320 secs
lola: 51012382 markings, 161264372 edges, 142126 markings/sec, 325 secs
lola: 51783993 markings, 163512073 edges, 154322 markings/sec, 330 secs
lola: 52507544 markings, 165999930 edges, 144710 markings/sec, 335 secs
lola: 53248687 markings, 168832319 edges, 148229 markings/sec, 340 secs
lola: 53953183 markings, 171625924 edges, 140899 markings/sec, 345 secs
lola: 54708211 markings, 174329729 edges, 151006 markings/sec, 350 secs
lola: 55433232 markings, 177334805 edges, 145004 markings/sec, 355 secs
lola: 56081178 markings, 179459492 edges, 129589 markings/sec, 360 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 368 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: 1201842 markings, 2164186 edges, 240368 markings/sec, 0 secs
lola: 2373925 markings, 4677061 edges, 234417 markings/sec, 5 secs
lola: 3525790 markings, 7174761 edges, 230373 markings/sec, 10 secs
lola: 4247507 markings, 8933908 edges, 144343 markings/sec, 15 secs
lola: 4935064 markings, 10979848 edges, 137511 markings/sec, 20 secs
lola: 5545532 markings, 12977894 edges, 122094 markings/sec, 25 secs
lola: 6180726 markings, 14983789 edges, 127039 markings/sec, 30 secs
lola: 6805919 markings, 16953973 edges, 125039 markings/sec, 35 secs
lola: 7462367 markings, 19034130 edges, 131290 markings/sec, 40 secs
lola: 8086698 markings, 21083957 edges, 124866 markings/sec, 45 secs
lola: 8690474 markings, 23195183 edges, 120755 markings/sec, 50 secs
lola: 9233260 markings, 25218718 edges, 108557 markings/sec, 55 secs
lola: 9803768 markings, 27291166 edges, 114102 markings/sec, 60 secs
lola: 10372797 markings, 29319862 edges, 113806 markings/sec, 65 secs
lola: 11341410 markings, 31652805 edges, 193723 markings/sec, 70 secs
lola: 12309497 markings, 34115059 edges, 193617 markings/sec, 75 secs
lola: 13331165 markings, 36546992 edges, 204334 markings/sec, 80 secs
lola: 14321150 markings, 39044897 edges, 197997 markings/sec, 85 secs
lola: 15343130 markings, 41537728 edges, 204396 markings/sec, 90 secs
lola: 16277103 markings, 43859910 edges, 186795 markings/sec, 95 secs
lola: 17137924 markings, 46023652 edges, 172164 markings/sec, 100 secs
lola: 18068507 markings, 48454104 edges, 186117 markings/sec, 105 secs
lola: 18965093 markings, 50698537 edges, 179317 markings/sec, 110 secs
lola: 19789756 markings, 53036155 edges, 164933 markings/sec, 115 secs
lola: 20355119 markings, 55068799 edges, 113073 markings/sec, 120 secs
lola: 20912152 markings, 57080441 edges, 111407 markings/sec, 125 secs
lola: 21525137 markings, 59112659 edges, 122597 markings/sec, 130 secs
lola: 22397117 markings, 61342820 edges, 174396 markings/sec, 135 secs
lola: 23306504 markings, 63654810 edges, 181877 markings/sec, 140 secs
lola: 24200545 markings, 65942924 edges, 178808 markings/sec, 145 secs
lola: 25099259 markings, 68121766 edges, 179743 markings/sec, 150 secs
lola: 26031323 markings, 70374182 edges, 186413 markings/sec, 155 secs
lola: 26926993 markings, 72549145 edges, 179134 markings/sec, 160 secs
lola: 27797858 markings, 74685666 edges, 174173 markings/sec, 165 secs
lola: 28656910 markings, 76746801 edges, 171810 markings/sec, 170 secs
lola: 29516263 markings, 78892281 edges, 171871 markings/sec, 175 secs
lola: 30377500 markings, 80985897 edges, 172247 markings/sec, 180 secs
lola: 31225373 markings, 83107712 edges, 169575 markings/sec, 185 secs
lola: 32086159 markings, 85374731 edges, 172157 markings/sec, 190 secs
lola: 32890846 markings, 87936451 edges, 160937 markings/sec, 195 secs
lola: 33686428 markings, 90496840 edges, 159116 markings/sec, 200 secs
lola: 34495622 markings, 93061166 edges, 161839 markings/sec, 205 secs
lola: 35285744 markings, 95629155 edges, 158024 markings/sec, 210 secs
lola: 36077648 markings, 98221091 edges, 158381 markings/sec, 215 secs
lola: 36879568 markings, 100943021 edges, 160384 markings/sec, 220 secs
lola: 37679442 markings, 103595001 edges, 159975 markings/sec, 225 secs
lola: 38522521 markings, 106215186 edges, 168616 markings/sec, 230 secs
lola: 39305320 markings, 108757353 edges, 156560 markings/sec, 235 secs
lola: 40085643 markings, 111309463 edges, 156065 markings/sec, 240 secs
lola: 40880501 markings, 114147723 edges, 158972 markings/sec, 245 secs
lola: 41643419 markings, 117079912 edges, 152584 markings/sec, 250 secs
lola: 42313328 markings, 119761500 edges, 133982 markings/sec, 255 secs
lola: 43044673 markings, 122082116 edges, 146269 markings/sec, 260 secs
lola: 43876321 markings, 124531817 edges, 166330 markings/sec, 265 secs
lola: 44680023 markings, 126867386 edges, 160740 markings/sec, 270 secs
lola: 45543241 markings, 129173921 edges, 172644 markings/sec, 275 secs
lola: 46316521 markings, 131828314 edges, 154656 markings/sec, 280 secs
lola: 47040163 markings, 134260444 edges, 144728 markings/sec, 285 secs
lola: 47871600 markings, 136616320 edges, 166287 markings/sec, 290 secs
lola: 48603652 markings, 139161560 edges, 146410 markings/sec, 295 secs
lola: 49432460 markings, 141589418 edges, 165762 markings/sec, 300 secs
lola: 50298830 markings, 144078247 edges, 173274 markings/sec, 305 secs
lola: 51178905 markings, 146622699 edges, 176015 markings/sec, 310 secs
lola: 52073657 markings, 148881632 edges, 178950 markings/sec, 315 secs
lola: 52953911 markings, 150996363 edges, 176051 markings/sec, 320 secs
lola: 53810794 markings, 153074449 edges, 171377 markings/sec, 325 secs
lola: 54641054 markings, 155396591 edges, 166052 markings/sec, 330 secs
lola: 55428784 markings, 157884639 edges, 157546 markings/sec, 335 secs
lola: 56212498 markings, 160464776 edges, 156743 markings/sec, 340 secs
lola: 57007336 markings, 162994225 edges, 158968 markings/sec, 345 secs
lola: 57747161 markings, 165758456 edges, 147965 markings/sec, 350 secs
lola: 58870552 markings, 168016412 edges, 224678 markings/sec, 355 secs
lola: 59754110 markings, 170148995 edges, 176712 markings/sec, 360 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 368 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A1)
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: 684568 markings, 2510223 edges, 136914 markings/sec, 0 secs
lola: 1384859 markings, 5063446 edges, 140058 markings/sec, 5 secs
lola: 2054258 markings, 7600771 edges, 133880 markings/sec, 10 secs
lola: 2687811 markings, 10182635 edges, 126711 markings/sec, 15 secs
lola: 3310051 markings, 12801238 edges, 124448 markings/sec, 20 secs
lola: 3930930 markings, 15343809 edges, 124176 markings/sec, 25 secs
lola: 4548950 markings, 17856542 edges, 123604 markings/sec, 30 secs
lola: 5103416 markings, 20522877 edges, 110893 markings/sec, 35 secs
lola: 5690917 markings, 23300624 edges, 117500 markings/sec, 40 secs
lola: 6281652 markings, 26030937 edges, 118147 markings/sec, 45 secs
lola: 6897164 markings, 28617893 edges, 123102 markings/sec, 50 secs
lola: 7578832 markings, 31120163 edges, 136334 markings/sec, 55 secs
lola: 8200714 markings, 33676882 edges, 124376 markings/sec, 60 secs
lola: 8816324 markings, 36210000 edges, 123122 markings/sec, 65 secs
lola: 9369932 markings, 38921362 edges, 110722 markings/sec, 70 secs
lola: 9968372 markings, 41553376 edges, 119688 markings/sec, 75 secs
lola: 10590309 markings, 44045784 edges, 124387 markings/sec, 80 secs
lola: 11172198 markings, 46670604 edges, 116378 markings/sec, 85 secs
lola: 11817174 markings, 49168721 edges, 128995 markings/sec, 90 secs
lola: 12434041 markings, 51759976 edges, 123373 markings/sec, 95 secs
lola: 13027475 markings, 54377892 edges, 118687 markings/sec, 100 secs
lola: 13558261 markings, 57006420 edges, 106157 markings/sec, 105 secs
lola: 14063414 markings, 59730591 edges, 101031 markings/sec, 110 secs
lola: 14626450 markings, 62304094 edges, 112607 markings/sec, 115 secs
lola: 15184201 markings, 64698412 edges, 111550 markings/sec, 120 secs
lola: 15698467 markings, 67027637 edges, 102853 markings/sec, 125 secs
lola: 16189167 markings, 69619128 edges, 98140 markings/sec, 130 secs
lola: 16706757 markings, 71995590 edges, 103518 markings/sec, 135 secs
lola: 17213047 markings, 74567861 edges, 101258 markings/sec, 140 secs
lola: 17704086 markings, 77214706 edges, 98208 markings/sec, 145 secs
lola: 18188648 markings, 79754945 edges, 96912 markings/sec, 150 secs
lola: 18622782 markings, 82589102 edges, 86827 markings/sec, 155 secs
lola: 19108108 markings, 85288703 edges, 97065 markings/sec, 160 secs
lola: 19568304 markings, 88056303 edges, 92039 markings/sec, 165 secs
lola: 20065816 markings, 90752477 edges, 99502 markings/sec, 170 secs
lola: 20557109 markings, 93450165 edges, 98259 markings/sec, 175 secs
lola: 21055601 markings, 95902473 edges, 99698 markings/sec, 180 secs
lola: 21495157 markings, 98626235 edges, 87911 markings/sec, 185 secs
lola: 21952176 markings, 101437609 edges, 91404 markings/sec, 190 secs
lola: 22404132 markings, 104032977 edges, 90391 markings/sec, 195 secs
lola: 22903220 markings, 106726858 edges, 99818 markings/sec, 200 secs
lola: 23425897 markings, 109287026 edges, 104535 markings/sec, 205 secs
lola: 23951085 markings, 111853228 edges, 105038 markings/sec, 210 secs
lola: 24441492 markings, 114659625 edges, 98081 markings/sec, 215 secs
lola: 24963122 markings, 117333332 edges, 104326 markings/sec, 220 secs
lola: 25472450 markings, 120071329 edges, 101866 markings/sec, 225 secs
lola: 26018604 markings, 122789931 edges, 109231 markings/sec, 230 secs
lola: 26618714 markings, 125375950 edges, 120022 markings/sec, 235 secs
lola: 27205044 markings, 128235391 edges, 117266 markings/sec, 240 secs
lola: 27803081 markings, 130935485 edges, 119607 markings/sec, 245 secs
lola: 28380341 markings, 133632014 edges, 115452 markings/sec, 250 secs
lola: 28946880 markings, 136382326 edges, 113308 markings/sec, 255 secs
lola: 29490230 markings, 139163381 edges, 108670 markings/sec, 260 secs
lola: 30025096 markings, 141899579 edges, 106973 markings/sec, 265 secs
lola: 30525966 markings, 144707099 edges, 100174 markings/sec, 270 secs
lola: 31028574 markings, 147430528 edges, 100522 markings/sec, 275 secs
lola: 31585366 markings, 150149084 edges, 111358 markings/sec, 280 secs
lola: 32084366 markings, 153089580 edges, 99800 markings/sec, 285 secs
lola: 32624526 markings, 155776906 edges, 108032 markings/sec, 290 secs
lola: 33160820 markings, 158541565 edges, 107259 markings/sec, 295 secs
lola: 33716324 markings, 161228277 edges, 111101 markings/sec, 300 secs
lola: 34232261 markings, 163949099 edges, 103187 markings/sec, 305 secs
lola: 34745436 markings, 166747095 edges, 102635 markings/sec, 310 secs
lola: 35292694 markings, 169645225 edges, 109452 markings/sec, 315 secs
lola: 35838475 markings, 172573598 edges, 109156 markings/sec, 320 secs
lola: 36365432 markings, 175409216 edges, 105391 markings/sec, 325 secs
lola: 36876524 markings, 178242578 edges, 102218 markings/sec, 330 secs
lola: 37345162 markings, 180777185 edges, 93728 markings/sec, 335 secs
lola: 37899585 markings, 183395985 edges, 110885 markings/sec, 340 secs
lola: 38461720 markings, 186129650 edges, 112427 markings/sec, 345 secs
lola: 39029423 markings, 188858752 edges, 113541 markings/sec, 350 secs
lola: 39554184 markings, 191598616 edges, 104952 markings/sec, 355 secs
lola: 40057426 markings, 194372756 edges, 100648 markings/sec, 360 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 368 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A11)
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: 924086 markings, 2500181 edges, 184817 markings/sec, 0 secs
lola: 1690221 markings, 5465153 edges, 153227 markings/sec, 5 secs
lola: 2340683 markings, 8657097 edges, 130092 markings/sec, 10 secs
lola: 3180420 markings, 11384935 edges, 167947 markings/sec, 15 secs
lola: 3919784 markings, 14314233 edges, 147873 markings/sec, 20 secs
lola: 4657507 markings, 17199994 edges, 147545 markings/sec, 25 secs
lola: 5317012 markings, 19553896 edges, 131901 markings/sec, 30 secs
lola: 5924357 markings, 21955309 edges, 121469 markings/sec, 35 secs
lola: 6455281 markings, 23937623 edges, 106185 markings/sec, 40 secs
lola: 7017053 markings, 26127667 edges, 112354 markings/sec, 45 secs
lola: 7544645 markings, 28682340 edges, 105518 markings/sec, 50 secs
lola: 8082967 markings, 31293674 edges, 107664 markings/sec, 55 secs
lola: 8613727 markings, 33996992 edges, 106152 markings/sec, 60 secs
lola: 9237936 markings, 36304550 edges, 124842 markings/sec, 65 secs
lola: 9842948 markings, 38500129 edges, 121002 markings/sec, 70 secs
lola: 10406048 markings, 40930713 edges, 112620 markings/sec, 75 secs
lola: 10917625 markings, 43746499 edges, 102315 markings/sec, 80 secs
lola: 11418248 markings, 46428046 edges, 100125 markings/sec, 85 secs
lola: 11929706 markings, 49081113 edges, 102292 markings/sec, 90 secs
lola: 12435335 markings, 51351983 edges, 101126 markings/sec, 95 secs
lola: 12964695 markings, 53938103 edges, 105872 markings/sec, 100 secs
lola: 13454795 markings, 56423680 edges, 98020 markings/sec, 105 secs
lola: 13938414 markings, 58795563 edges, 96724 markings/sec, 110 secs
lola: 14417922 markings, 61319166 edges, 95902 markings/sec, 115 secs
lola: 15114191 markings, 63746278 edges, 139254 markings/sec, 120 secs
lola: 15803959 markings, 66090449 edges, 137954 markings/sec, 125 secs
lola: 16441668 markings, 68665089 edges, 127542 markings/sec, 130 secs
lola: 17008349 markings, 71443206 edges, 113336 markings/sec, 135 secs
lola: 17576895 markings, 74202260 edges, 113709 markings/sec, 140 secs
lola: 18133772 markings, 76930825 edges, 111375 markings/sec, 145 secs
lola: 18634858 markings, 79910751 edges, 100217 markings/sec, 150 secs
lola: 19123460 markings, 82784998 edges, 97720 markings/sec, 155 secs
lola: 19712649 markings, 85254486 edges, 117838 markings/sec, 160 secs
lola: 20208401 markings, 87779224 edges, 99150 markings/sec, 165 secs
lola: 20785597 markings, 89985764 edges, 115439 markings/sec, 170 secs
lola: 21300502 markings, 92248445 edges, 102981 markings/sec, 175 secs
lola: 21726921 markings, 94787316 edges, 85284 markings/sec, 180 secs
lola: 22263882 markings, 97158854 edges, 107392 markings/sec, 185 secs
lola: 22862957 markings, 99704400 edges, 119815 markings/sec, 190 secs
lola: 23385340 markings, 102094883 edges, 104477 markings/sec, 195 secs
lola: 23883542 markings, 104392607 edges, 99640 markings/sec, 200 secs
lola: 24373470 markings, 106629843 edges, 97986 markings/sec, 205 secs
lola: 24783824 markings, 109202675 edges, 82071 markings/sec, 210 secs
lola: 25202334 markings, 111658673 edges, 83702 markings/sec, 215 secs
lola: 25694191 markings, 114056247 edges, 98371 markings/sec, 220 secs
lola: 26251717 markings, 117063220 edges, 111505 markings/sec, 225 secs
lola: 26687028 markings, 119523625 edges, 87062 markings/sec, 230 secs
lola: 27243648 markings, 122201110 edges, 111324 markings/sec, 235 secs
lola: 27760320 markings, 124997102 edges, 103334 markings/sec, 240 secs
lola: 28240769 markings, 127773136 edges, 96090 markings/sec, 245 secs
lola: 28944737 markings, 130886983 edges, 140794 markings/sec, 250 secs
lola: 29535348 markings, 134223298 edges, 118122 markings/sec, 255 secs
lola: 30071418 markings, 137429244 edges, 107214 markings/sec, 260 secs
lola: 30610111 markings, 140756690 edges, 107739 markings/sec, 265 secs
lola: 31095480 markings, 143355873 edges, 97074 markings/sec, 270 secs
lola: 31614837 markings, 146202322 edges, 103871 markings/sec, 275 secs
lola: 32122060 markings, 149077856 edges, 101445 markings/sec, 280 secs
lola: 32619447 markings, 152081751 edges, 99477 markings/sec, 285 secs
lola: 33365190 markings, 154205176 edges, 149149 markings/sec, 290 secs
lola: 34056733 markings, 156232753 edges, 138309 markings/sec, 295 secs
lola: 34748995 markings, 158356654 edges, 138452 markings/sec, 300 secs
lola: 35454342 markings, 160496430 edges, 141069 markings/sec, 305 secs
lola: 36135800 markings, 162718390 edges, 136292 markings/sec, 310 secs
lola: 36824023 markings, 165122027 edges, 137645 markings/sec, 315 secs
lola: 37509570 markings, 167323258 edges, 137109 markings/sec, 320 secs
lola: 38152947 markings, 169427486 edges, 128675 markings/sec, 325 secs
lola: 38829271 markings, 171618464 edges, 135265 markings/sec, 330 secs
lola: 39490358 markings, 173836333 edges, 132217 markings/sec, 335 secs
lola: 40126242 markings, 176063721 edges, 127177 markings/sec, 340 secs
lola: 40749052 markings, 178254026 edges, 124562 markings/sec, 345 secs
lola: 41372094 markings, 180472785 edges, 124608 markings/sec, 350 secs
lola: 42023570 markings, 182617436 edges, 130295 markings/sec, 355 secs
lola: 42663433 markings, 184640926 edges, 127973 markings/sec, 360 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown 1 unknown unknown unknown 1 1 unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DNAwalker-PT-04track28LL-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494657499413
--------------------
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-04track28LL"
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-04track28LL.tgz
mv DNAwalker-PT-04track28LL 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-04track28LL, 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-149440263800029"
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 ;