About the Execution of LoLA for S_DES-PT-10b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
3672.250 | 3540146.00 | 3554896.00 | 742.80 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-3253
Executing tool lola
Input is S_DES-PT-10b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455700254
=====================================================================
--------------------
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 DES-PT-10b-UpperBounds-0
FORMULA_NAME DES-PT-10b-UpperBounds-1
FORMULA_NAME DES-PT-10b-UpperBounds-10
FORMULA_NAME DES-PT-10b-UpperBounds-11
FORMULA_NAME DES-PT-10b-UpperBounds-12
FORMULA_NAME DES-PT-10b-UpperBounds-13
FORMULA_NAME DES-PT-10b-UpperBounds-14
FORMULA_NAME DES-PT-10b-UpperBounds-15
FORMULA_NAME DES-PT-10b-UpperBounds-2
FORMULA_NAME DES-PT-10b-UpperBounds-3
FORMULA_NAME DES-PT-10b-UpperBounds-4
FORMULA_NAME DES-PT-10b-UpperBounds-5
FORMULA_NAME DES-PT-10b-UpperBounds-6
FORMULA_NAME DES-PT-10b-UpperBounds-7
FORMULA_NAME DES-PT-10b-UpperBounds-8
FORMULA_NAME DES-PT-10b-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496451409417
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_DES-PT-10b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_DES-PT-10b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DES-PT-10b @ 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: 591/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 320 places, 271 transitions, 255 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 368 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-10b-UpperBounds.task
lola: MAX(p236) : MAX(p185) : MAX(p171) : MAX(p294) : MAX(p18) : MAX(p273) : MAX(p246) : MAX(p91) : MAX(p137) : MAX(p275) : MAX(p14) : MAX(p42) : MAX(p283) : MAX(p42) : MAX(p234) : MAX(p62)
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(p236)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 1212067 markings, 1291651 edges, 242413 markings/sec, 0 secs
lola: 2260029 markings, 2536844 edges, 209592 markings/sec, 5 secs
lola: 3480252 markings, 3817388 edges, 244045 markings/sec, 10 secs
lola: 4674697 markings, 5044063 edges, 238889 markings/sec, 15 secs
lola: 5688393 markings, 6273877 edges, 202739 markings/sec, 20 secs
lola: 6741276 markings, 7523566 edges, 210577 markings/sec, 25 secs
lola: 7826116 markings, 8800719 edges, 216968 markings/sec, 30 secs
lola: 8925615 markings, 10066932 edges, 219900 markings/sec, 35 secs
lola: 10052840 markings, 11318839 edges, 225445 markings/sec, 40 secs
lola: 11112952 markings, 12513972 edges, 212022 markings/sec, 45 secs
lola: 12250537 markings, 13690295 edges, 227517 markings/sec, 50 secs
lola: 13412369 markings, 14876884 edges, 232366 markings/sec, 55 secs
lola: 14460050 markings, 16085175 edges, 209536 markings/sec, 60 secs
lola: 15652061 markings, 17390196 edges, 238402 markings/sec, 65 secs
lola: 16574778 markings, 18712497 edges, 184543 markings/sec, 70 secs
lola: 17131838 markings, 20116861 edges, 111412 markings/sec, 75 secs
lola: 17662706 markings, 21455548 edges, 106174 markings/sec, 80 secs
lola: 18293789 markings, 22721829 edges, 126217 markings/sec, 85 secs
lola: 19115246 markings, 23979537 edges, 164291 markings/sec, 90 secs
lola: 20015967 markings, 25202430 edges, 180144 markings/sec, 95 secs
lola: 20734039 markings, 26452477 edges, 143614 markings/sec, 100 secs
lola: 21554401 markings, 27734479 edges, 164072 markings/sec, 105 secs
lola: 22377880 markings, 28987891 edges, 164696 markings/sec, 110 secs
lola: 23413279 markings, 30193474 edges, 207080 markings/sec, 115 secs
lola: 24511695 markings, 31426013 edges, 219683 markings/sec, 120 secs
lola: 25701035 markings, 32651547 edges, 237868 markings/sec, 125 secs
lola: 26863242 markings, 33843988 edges, 232441 markings/sec, 130 secs
lola: 27898367 markings, 35098413 edges, 207025 markings/sec, 135 secs
lola: 29015155 markings, 36324859 edges, 223358 markings/sec, 140 secs
lola: 29895667 markings, 37543917 edges, 176102 markings/sec, 145 secs
lola: 30786794 markings, 38707854 edges, 178225 markings/sec, 150 secs
lola: 31720383 markings, 39899335 edges, 186718 markings/sec, 155 secs
lola: 32458080 markings, 41198142 edges, 147539 markings/sec, 160 secs
lola: 33135410 markings, 42459643 edges, 135466 markings/sec, 165 secs
lola: 33923702 markings, 43721321 edges, 157658 markings/sec, 170 secs
lola: 34543923 markings, 45024945 edges, 124044 markings/sec, 175 secs
lola: 35333040 markings, 46262196 edges, 157823 markings/sec, 180 secs
lola: 35914397 markings, 47524192 edges, 116271 markings/sec, 185 secs
lola: 36605406 markings, 48720805 edges, 138202 markings/sec, 190 secs
lola: 37288646 markings, 49970347 edges, 136648 markings/sec, 195 secs
lola: 37946545 markings, 51182845 edges, 131580 markings/sec, 200 secs
lola: 38713137 markings, 52380725 edges, 153318 markings/sec, 205 secs
lola: 39280179 markings, 53623413 edges, 113408 markings/sec, 210 secs
lola: 40005320 markings, 54832908 edges, 145028 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p185)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 909784 markings, 1094660 edges, 181957 markings/sec, 0 secs
lola: 1800351 markings, 2361534 edges, 178113 markings/sec, 5 secs
lola: 2525201 markings, 3765012 edges, 144970 markings/sec, 10 secs
lola: 3354457 markings, 5021375 edges, 165851 markings/sec, 15 secs
lola: 4073941 markings, 6311608 edges, 143897 markings/sec, 20 secs
lola: 4848823 markings, 7541924 edges, 154976 markings/sec, 25 secs
lola: 5568560 markings, 8802649 edges, 143947 markings/sec, 30 secs
lola: 6317475 markings, 10006980 edges, 149783 markings/sec, 35 secs
lola: 7027099 markings, 11239017 edges, 141925 markings/sec, 40 secs
lola: 7758456 markings, 12409996 edges, 146271 markings/sec, 45 secs
lola: 8444659 markings, 13610250 edges, 137241 markings/sec, 50 secs
lola: 9167083 markings, 14745401 edges, 144485 markings/sec, 55 secs
lola: 9818656 markings, 15923810 edges, 130315 markings/sec, 60 secs
lola: 10627496 markings, 17212485 edges, 161768 markings/sec, 65 secs
lola: 11411412 markings, 18537098 edges, 156783 markings/sec, 70 secs
lola: 12180801 markings, 19926759 edges, 153878 markings/sec, 75 secs
lola: 13082557 markings, 20986348 edges, 180351 markings/sec, 80 secs
lola: 13958686 markings, 22061172 edges, 175226 markings/sec, 85 secs
lola: 14838553 markings, 23095115 edges, 175973 markings/sec, 90 secs
lola: 15690459 markings, 24085430 edges, 170381 markings/sec, 95 secs
lola: 16589828 markings, 25109894 edges, 179874 markings/sec, 100 secs
lola: 17457766 markings, 26157576 edges, 173588 markings/sec, 105 secs
lola: 18337306 markings, 27141387 edges, 175908 markings/sec, 110 secs
lola: 19172703 markings, 28205632 edges, 167079 markings/sec, 115 secs
lola: 20074627 markings, 29265086 edges, 180385 markings/sec, 120 secs
lola: 20954807 markings, 30208930 edges, 176036 markings/sec, 125 secs
lola: 21821741 markings, 31146448 edges, 173387 markings/sec, 130 secs
lola: 22682977 markings, 32120745 edges, 172247 markings/sec, 135 secs
lola: 23534543 markings, 33065490 edges, 170313 markings/sec, 140 secs
lola: 24400345 markings, 34017669 edges, 173160 markings/sec, 145 secs
lola: 25299451 markings, 34981863 edges, 179821 markings/sec, 150 secs
lola: 26221898 markings, 36026779 edges, 184489 markings/sec, 155 secs
lola: 27120356 markings, 37120329 edges, 179692 markings/sec, 160 secs
lola: 28022827 markings, 38098418 edges, 180494 markings/sec, 165 secs
lola: 28916465 markings, 39053596 edges, 178728 markings/sec, 170 secs
lola: 29803164 markings, 40045865 edges, 177340 markings/sec, 175 secs
lola: 30578162 markings, 41213948 edges, 155000 markings/sec, 180 secs
lola: 31391356 markings, 42344973 edges, 162639 markings/sec, 185 secs
lola: 32334023 markings, 43343856 edges, 188533 markings/sec, 190 secs
lola: 33287122 markings, 44362096 edges, 190620 markings/sec, 195 secs
lola: 34158730 markings, 45261478 edges, 174322 markings/sec, 200 secs
lola: 35032955 markings, 46180607 edges, 174845 markings/sec, 205 secs
lola: 35902738 markings, 47094923 edges, 173957 markings/sec, 210 secs
lola: 36779101 markings, 48068609 edges, 175273 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p171)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 629613 markings, 1427217 edges, 125923 markings/sec, 0 secs
lola: 1249813 markings, 2850698 edges, 124040 markings/sec, 5 secs
lola: 1829928 markings, 4239415 edges, 116023 markings/sec, 10 secs
lola: 2409785 markings, 5562156 edges, 115971 markings/sec, 15 secs
lola: 2951509 markings, 6851565 edges, 108345 markings/sec, 20 secs
lola: 3538128 markings, 8240742 edges, 117324 markings/sec, 25 secs
lola: 4520329 markings, 9384516 edges, 196440 markings/sec, 30 secs
lola: 5474277 markings, 10452895 edges, 190790 markings/sec, 35 secs
lola: 6385368 markings, 11557887 edges, 182218 markings/sec, 40 secs
lola: 7432188 markings, 12694040 edges, 209364 markings/sec, 45 secs
lola: 8401131 markings, 13733582 edges, 193789 markings/sec, 50 secs
lola: 9329316 markings, 14769198 edges, 185637 markings/sec, 55 secs
lola: 10306319 markings, 15931979 edges, 195401 markings/sec, 60 secs
lola: 11362060 markings, 17056434 edges, 211148 markings/sec, 65 secs
lola: 12423280 markings, 18192735 edges, 212244 markings/sec, 70 secs
lola: 13302570 markings, 19127407 edges, 175858 markings/sec, 75 secs
lola: 14198106 markings, 20085436 edges, 179107 markings/sec, 80 secs
lola: 15260162 markings, 21338686 edges, 212411 markings/sec, 85 secs
lola: 16307233 markings, 22606523 edges, 209414 markings/sec, 90 secs
lola: 17395837 markings, 23848624 edges, 217721 markings/sec, 95 secs
lola: 18499547 markings, 25072019 edges, 220742 markings/sec, 100 secs
lola: 19607379 markings, 26288129 edges, 221566 markings/sec, 105 secs
lola: 20674896 markings, 27447612 edges, 213503 markings/sec, 110 secs
lola: 21790560 markings, 28671330 edges, 223133 markings/sec, 115 secs
lola: 22921628 markings, 29912620 edges, 226214 markings/sec, 120 secs
lola: 24032619 markings, 31117885 edges, 222198 markings/sec, 125 secs
lola: 25155926 markings, 32339223 edges, 224661 markings/sec, 130 secs
lola: 26214887 markings, 33537914 edges, 211792 markings/sec, 135 secs
lola: 27269751 markings, 34682995 edges, 210973 markings/sec, 140 secs
lola: 28369569 markings, 35927814 edges, 219964 markings/sec, 145 secs
lola: 29474597 markings, 37126348 edges, 221006 markings/sec, 150 secs
lola: 30601852 markings, 38352139 edges, 225451 markings/sec, 155 secs
lola: 31299878 markings, 39662143 edges, 139605 markings/sec, 160 secs
lola: 32085902 markings, 40871491 edges, 157205 markings/sec, 165 secs
lola: 32988860 markings, 41957006 edges, 180592 markings/sec, 170 secs
lola: 33864373 markings, 43045597 edges, 175103 markings/sec, 175 secs
lola: 34777876 markings, 44053700 edges, 182701 markings/sec, 180 secs
lola: 35674268 markings, 45094758 edges, 179278 markings/sec, 185 secs
lola: 36561456 markings, 46183398 edges, 177438 markings/sec, 190 secs
lola: 37466180 markings, 47149875 edges, 180945 markings/sec, 195 secs
lola: 38391371 markings, 48144642 edges, 185038 markings/sec, 200 secs
lola: 39268851 markings, 49285476 edges, 175496 markings/sec, 205 secs
lola: 40089984 markings, 50244860 edges, 164227 markings/sec, 210 secs
lola: 40937507 markings, 51226156 edges, 169505 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p294)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 862833 markings, 1223365 edges, 172567 markings/sec, 0 secs
lola: 1765555 markings, 2435872 edges, 180544 markings/sec, 5 secs
lola: 2649682 markings, 3727647 edges, 176825 markings/sec, 10 secs
lola: 3657813 markings, 4953555 edges, 201626 markings/sec, 15 secs
lola: 4529347 markings, 5932850 edges, 174307 markings/sec, 20 secs
lola: 5396980 markings, 7249754 edges, 173527 markings/sec, 25 secs
lola: 6361415 markings, 8336178 edges, 192887 markings/sec, 30 secs
lola: 7198467 markings, 9339996 edges, 167410 markings/sec, 35 secs
lola: 8063618 markings, 10652996 edges, 173030 markings/sec, 40 secs
lola: 9005838 markings, 11654835 edges, 188444 markings/sec, 45 secs
lola: 9821341 markings, 12670882 edges, 163101 markings/sec, 50 secs
lola: 10698145 markings, 13961816 edges, 175361 markings/sec, 55 secs
lola: 11595884 markings, 14915884 edges, 179548 markings/sec, 60 secs
lola: 12395760 markings, 15935945 edges, 159975 markings/sec, 65 secs
lola: 13263492 markings, 17197623 edges, 173546 markings/sec, 70 secs
lola: 14135724 markings, 18124277 edges, 174446 markings/sec, 75 secs
lola: 14918562 markings, 19125466 edges, 156568 markings/sec, 80 secs
lola: 15744690 markings, 20343825 edges, 165226 markings/sec, 85 secs
lola: 16615503 markings, 21269264 edges, 174163 markings/sec, 90 secs
lola: 17398572 markings, 22248801 edges, 156614 markings/sec, 95 secs
lola: 18416667 markings, 23658892 edges, 203619 markings/sec, 100 secs
lola: 19312505 markings, 24612577 edges, 179168 markings/sec, 105 secs
lola: 20256442 markings, 25806583 edges, 188787 markings/sec, 110 secs
lola: 21199334 markings, 26832985 edges, 188578 markings/sec, 115 secs
lola: 22152109 markings, 27969769 edges, 190555 markings/sec, 120 secs
lola: 23079997 markings, 29123929 edges, 185578 markings/sec, 125 secs
lola: 23967393 markings, 30168343 edges, 177479 markings/sec, 130 secs
lola: 24881352 markings, 31212143 edges, 182792 markings/sec, 135 secs
lola: 25793624 markings, 32292281 edges, 182454 markings/sec, 140 secs
lola: 26652138 markings, 33501405 edges, 171703 markings/sec, 145 secs
lola: 27342647 markings, 34774069 edges, 138102 markings/sec, 150 secs
lola: 28012051 markings, 36002048 edges, 133881 markings/sec, 155 secs
lola: 28919694 markings, 37059487 edges, 181529 markings/sec, 160 secs
lola: 29810119 markings, 38069661 edges, 178085 markings/sec, 165 secs
lola: 30714407 markings, 39273273 edges, 180858 markings/sec, 170 secs
lola: 31688546 markings, 40332507 edges, 194828 markings/sec, 175 secs
lola: 32574133 markings, 41341454 edges, 177117 markings/sec, 180 secs
lola: 33422423 markings, 42378778 edges, 169658 markings/sec, 185 secs
lola: 34301427 markings, 43320928 edges, 175801 markings/sec, 190 secs
lola: 35195199 markings, 44332127 edges, 178754 markings/sec, 195 secs
lola: 36114449 markings, 45325628 edges, 183850 markings/sec, 200 secs
lola: 37032888 markings, 46317403 edges, 183688 markings/sec, 205 secs
lola: 37938652 markings, 47339349 edges, 181153 markings/sec, 210 secs
lola: 38843159 markings, 48330586 edges, 180901 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 870881 markings, 1154131 edges, 174176 markings/sec, 0 secs
lola: 1745702 markings, 2408188 edges, 174964 markings/sec, 5 secs
lola: 2663911 markings, 3674228 edges, 183642 markings/sec, 10 secs
lola: 3489828 markings, 4862192 edges, 165183 markings/sec, 15 secs
lola: 4361288 markings, 6013599 edges, 174292 markings/sec, 20 secs
lola: 5179817 markings, 7208034 edges, 163706 markings/sec, 25 secs
lola: 5982704 markings, 8357828 edges, 160577 markings/sec, 30 secs
lola: 6822435 markings, 9445561 edges, 167946 markings/sec, 35 secs
lola: 7600556 markings, 10590767 edges, 155624 markings/sec, 40 secs
lola: 8371746 markings, 11698582 edges, 154238 markings/sec, 45 secs
lola: 9237396 markings, 12688109 edges, 173130 markings/sec, 50 secs
lola: 10113659 markings, 13676784 edges, 175253 markings/sec, 55 secs
lola: 10998404 markings, 14716818 edges, 176949 markings/sec, 60 secs
lola: 11877964 markings, 15741895 edges, 175912 markings/sec, 65 secs
lola: 12768811 markings, 16771797 edges, 178169 markings/sec, 70 secs
lola: 13633606 markings, 17716433 edges, 172959 markings/sec, 75 secs
lola: 14565398 markings, 18806368 edges, 186358 markings/sec, 80 secs
lola: 15413572 markings, 19826901 edges, 169635 markings/sec, 85 secs
lola: 16254025 markings, 20804556 edges, 168091 markings/sec, 90 secs
lola: 17125203 markings, 21821352 edges, 174236 markings/sec, 95 secs
lola: 18027348 markings, 22855353 edges, 180429 markings/sec, 100 secs
lola: 18934588 markings, 23868071 edges, 181448 markings/sec, 105 secs
lola: 19809776 markings, 24873327 edges, 175038 markings/sec, 110 secs
lola: 20717967 markings, 25906702 edges, 181638 markings/sec, 115 secs
lola: 21565071 markings, 26827247 edges, 169421 markings/sec, 120 secs
lola: 22421822 markings, 27733816 edges, 171350 markings/sec, 125 secs
lola: 23282714 markings, 28666282 edges, 172178 markings/sec, 130 secs
lola: 24145076 markings, 29602247 edges, 172472 markings/sec, 135 secs
lola: 25020618 markings, 30539283 edges, 175108 markings/sec, 140 secs
lola: 25878463 markings, 31567539 edges, 171569 markings/sec, 145 secs
lola: 26679339 markings, 32537280 edges, 160175 markings/sec, 150 secs
lola: 27500733 markings, 33443168 edges, 164279 markings/sec, 155 secs
lola: 28308969 markings, 34395268 edges, 161647 markings/sec, 160 secs
lola: 29155320 markings, 35335688 edges, 169270 markings/sec, 165 secs
lola: 29977768 markings, 36248293 edges, 164490 markings/sec, 170 secs
lola: 30853152 markings, 37211632 edges, 175077 markings/sec, 175 secs
lola: 31762262 markings, 38247058 edges, 181822 markings/sec, 180 secs
lola: 32721146 markings, 39314654 edges, 191777 markings/sec, 185 secs
lola: 33616786 markings, 40281216 edges, 179128 markings/sec, 190 secs
lola: 34508412 markings, 41227756 edges, 178325 markings/sec, 195 secs
lola: 35392594 markings, 42222043 edges, 176836 markings/sec, 200 secs
lola: 36271942 markings, 43189254 edges, 175870 markings/sec, 205 secs
lola: 37170339 markings, 44149950 edges, 179679 markings/sec, 210 secs
lola: 38124079 markings, 45213702 edges, 190748 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p273)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 1280493 markings, 1381753 edges, 256099 markings/sec, 0 secs
lola: 2392873 markings, 2714789 edges, 222476 markings/sec, 5 secs
lola: 3661780 markings, 4044237 edges, 253781 markings/sec, 10 secs
lola: 4803677 markings, 5352866 edges, 228379 markings/sec, 15 secs
lola: 5861021 markings, 6642396 edges, 211469 markings/sec, 20 secs
lola: 6941615 markings, 7974699 edges, 216119 markings/sec, 25 secs
lola: 8054460 markings, 9307155 edges, 222569 markings/sec, 30 secs
lola: 9195177 markings, 10613986 edges, 228143 markings/sec, 35 secs
lola: 10349891 markings, 11857612 edges, 230943 markings/sec, 40 secs
lola: 11552570 markings, 13100817 edges, 240536 markings/sec, 45 secs
lola: 12617299 markings, 14365096 edges, 212946 markings/sec, 50 secs
lola: 13864880 markings, 15731695 edges, 249516 markings/sec, 55 secs
lola: 14770037 markings, 17078606 edges, 181031 markings/sec, 60 secs
lola: 15310975 markings, 18442264 edges, 108188 markings/sec, 65 secs
lola: 15830974 markings, 19752778 edges, 104000 markings/sec, 70 secs
lola: 16398461 markings, 21006392 edges, 113497 markings/sec, 75 secs
lola: 17246998 markings, 22273203 edges, 169707 markings/sec, 80 secs
lola: 18101704 markings, 23534751 edges, 170941 markings/sec, 85 secs
lola: 18698435 markings, 24767666 edges, 119346 markings/sec, 90 secs
lola: 19525611 markings, 26055873 edges, 165435 markings/sec, 95 secs
lola: 20344252 markings, 27317417 edges, 163728 markings/sec, 100 secs
lola: 21365299 markings, 28548959 edges, 204209 markings/sec, 105 secs
lola: 22434939 markings, 29828312 edges, 213928 markings/sec, 110 secs
lola: 23665952 markings, 31119236 edges, 246203 markings/sec, 115 secs
lola: 24748415 markings, 32356465 edges, 216493 markings/sec, 120 secs
lola: 25783907 markings, 33620647 edges, 207098 markings/sec, 125 secs
lola: 26784456 markings, 34881217 edges, 200110 markings/sec, 130 secs
lola: 27723606 markings, 36110814 edges, 187830 markings/sec, 135 secs
lola: 28610783 markings, 37260950 edges, 177435 markings/sec, 140 secs
lola: 29510128 markings, 38495726 edges, 179869 markings/sec, 145 secs
lola: 30064691 markings, 39838046 edges, 110913 markings/sec, 150 secs
lola: 30744508 markings, 41118097 edges, 135963 markings/sec, 155 secs
lola: 31415003 markings, 42416510 edges, 134099 markings/sec, 160 secs
lola: 32057042 markings, 43694462 edges, 128408 markings/sec, 165 secs
lola: 32806995 markings, 44944756 edges, 149991 markings/sec, 170 secs
lola: 33327687 markings, 46193637 edges, 104138 markings/sec, 175 secs
lola: 33965199 markings, 47395693 edges, 127502 markings/sec, 180 secs
lola: 34625462 markings, 48641292 edges, 132053 markings/sec, 185 secs
lola: 35228408 markings, 49879803 edges, 120589 markings/sec, 190 secs
lola: 35964436 markings, 51105160 edges, 147206 markings/sec, 195 secs
lola: 36487702 markings, 52357688 edges, 104653 markings/sec, 200 secs
lola: 37126021 markings, 53561294 edges, 127664 markings/sec, 205 secs
lola: 37909083 markings, 54835528 edges, 156612 markings/sec, 210 secs
lola: 38426852 markings, 56152123 edges, 103554 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p246)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 1337082 markings, 1457233 edges, 267416 markings/sec, 0 secs
lola: 2520740 markings, 2860138 edges, 236732 markings/sec, 5 secs
lola: 3894953 markings, 4284394 edges, 274843 markings/sec, 10 secs
lola: 5024958 markings, 5635611 edges, 226001 markings/sec, 15 secs
lola: 6116402 markings, 6996649 edges, 218289 markings/sec, 20 secs
lola: 7282767 markings, 8373204 edges, 233273 markings/sec, 25 secs
lola: 8482236 markings, 9763432 edges, 239894 markings/sec, 30 secs
lola: 9613604 markings, 11099353 edges, 226274 markings/sec, 35 secs
lola: 10864405 markings, 12391825 edges, 250160 markings/sec, 40 secs
lola: 12142271 markings, 13699836 edges, 255573 markings/sec, 45 secs
lola: 13257608 markings, 15052580 edges, 223067 markings/sec, 50 secs
lola: 14492596 markings, 16468684 edges, 246998 markings/sec, 55 secs
lola: 15092613 markings, 17900264 edges, 120003 markings/sec, 60 secs
lola: 15620632 markings, 19238966 edges, 105604 markings/sec, 65 secs
lola: 16148425 markings, 20510438 edges, 105559 markings/sec, 70 secs
lola: 17041111 markings, 21829198 edges, 178537 markings/sec, 75 secs
lola: 17794936 markings, 23117823 edges, 150765 markings/sec, 80 secs
lola: 18494911 markings, 24386176 edges, 139995 markings/sec, 85 secs
lola: 19338786 markings, 25722506 edges, 168775 markings/sec, 90 secs
lola: 20183847 markings, 27040503 edges, 169012 markings/sec, 95 secs
lola: 21180350 markings, 28330892 edges, 199301 markings/sec, 100 secs
lola: 22277855 markings, 29669468 edges, 219501 markings/sec, 105 secs
lola: 23597012 markings, 31048195 edges, 263831 markings/sec, 110 secs
lola: 24770575 markings, 32388625 edges, 234713 markings/sec, 115 secs
lola: 25878151 markings, 33743471 edges, 221515 markings/sec, 120 secs
lola: 26951683 markings, 35076925 edges, 214706 markings/sec, 125 secs
lola: 27909842 markings, 36333214 edges, 191632 markings/sec, 130 secs
lola: 28835291 markings, 37573605 edges, 185090 markings/sec, 135 secs
lola: 29669067 markings, 38912850 edges, 166755 markings/sec, 140 secs
lola: 30298310 markings, 40280694 edges, 125849 markings/sec, 145 secs
lola: 31105008 markings, 41626127 edges, 161340 markings/sec, 150 secs
lola: 31691863 markings, 43007719 edges, 117371 markings/sec, 155 secs
lola: 32396877 markings, 44337561 edges, 141003 markings/sec, 160 secs
lola: 33056000 markings, 45626419 edges, 131825 markings/sec, 165 secs
lola: 33691560 markings, 46877926 edges, 127112 markings/sec, 170 secs
lola: 34447276 markings, 48157115 edges, 151143 markings/sec, 175 secs
lola: 35007586 markings, 49463370 edges, 112062 markings/sec, 180 secs
lola: 35674711 markings, 50734065 edges, 133425 markings/sec, 185 secs
lola: 36324479 markings, 52007012 edges, 129954 markings/sec, 190 secs
lola: 36956551 markings, 53240236 edges, 126414 markings/sec, 195 secs
lola: 37694655 markings, 54551416 edges, 147621 markings/sec, 200 secs
lola: 38323019 markings, 55890325 edges, 125673 markings/sec, 205 secs
lola: 39040028 markings, 57252444 edges, 143402 markings/sec, 210 secs
lola: 39675267 markings, 58614936 edges, 127048 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 871075 markings, 1346101 edges, 174215 markings/sec, 0 secs
lola: 1752789 markings, 2642554 edges, 176343 markings/sec, 5 secs
lola: 2574159 markings, 3886657 edges, 164274 markings/sec, 10 secs
lola: 3535134 markings, 5080497 edges, 192195 markings/sec, 15 secs
lola: 4422670 markings, 6218604 edges, 177507 markings/sec, 20 secs
lola: 5283521 markings, 7321521 edges, 172170 markings/sec, 25 secs
lola: 6167558 markings, 8452717 edges, 176807 markings/sec, 30 secs
lola: 6993201 markings, 9540757 edges, 165129 markings/sec, 35 secs
lola: 7870060 markings, 10643990 edges, 175372 markings/sec, 40 secs
lola: 8692465 markings, 11716626 edges, 164481 markings/sec, 45 secs
lola: 9507276 markings, 12844500 edges, 162962 markings/sec, 50 secs
lola: 10338467 markings, 13933024 edges, 166238 markings/sec, 55 secs
lola: 11206423 markings, 15068299 edges, 173591 markings/sec, 60 secs
lola: 12078063 markings, 16314673 edges, 174328 markings/sec, 65 secs
lola: 12865269 markings, 17532544 edges, 157441 markings/sec, 70 secs
lola: 13597297 markings, 18676628 edges, 146406 markings/sec, 75 secs
lola: 14431192 markings, 19923561 edges, 166779 markings/sec, 80 secs
lola: 15163445 markings, 21091729 edges, 146451 markings/sec, 85 secs
lola: 15833787 markings, 22309005 edges, 134068 markings/sec, 90 secs
lola: 16610120 markings, 23572652 edges, 155267 markings/sec, 95 secs
lola: 17374624 markings, 24780159 edges, 152901 markings/sec, 100 secs
lola: 18061808 markings, 25994032 edges, 137437 markings/sec, 105 secs
lola: 18776440 markings, 27207510 edges, 142926 markings/sec, 110 secs
lola: 19446352 markings, 28500320 edges, 133982 markings/sec, 115 secs
lola: 20036459 markings, 29759882 edges, 118021 markings/sec, 120 secs
lola: 20760550 markings, 30936101 edges, 144818 markings/sec, 125 secs
lola: 21488858 markings, 32265262 edges, 145662 markings/sec, 130 secs
lola: 22131187 markings, 33560098 edges, 128466 markings/sec, 135 secs
lola: 22929829 markings, 34858613 edges, 159728 markings/sec, 140 secs
lola: 23745469 markings, 36158287 edges, 163128 markings/sec, 145 secs
lola: 24537254 markings, 37400670 edges, 158357 markings/sec, 150 secs
lola: 25308474 markings, 38612453 edges, 154244 markings/sec, 155 secs
lola: 26052278 markings, 39801187 edges, 148761 markings/sec, 160 secs
lola: 26781433 markings, 40934448 edges, 145831 markings/sec, 165 secs
lola: 27526016 markings, 42074820 edges, 148917 markings/sec, 170 secs
lola: 28226174 markings, 43147040 edges, 140032 markings/sec, 175 secs
lola: 28980425 markings, 44332170 edges, 150850 markings/sec, 180 secs
lola: 29754591 markings, 45527322 edges, 154833 markings/sec, 185 secs
lola: 30534466 markings, 46730427 edges, 155975 markings/sec, 190 secs
lola: 31251183 markings, 47946717 edges, 143343 markings/sec, 195 secs
lola: 31990350 markings, 49079186 edges, 147833 markings/sec, 200 secs
lola: 32719138 markings, 50195414 edges, 145758 markings/sec, 205 secs
lola: 33408622 markings, 51304698 edges, 137897 markings/sec, 210 secs
lola: 34118793 markings, 52473427 edges, 142034 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p137)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 957647 markings, 1251674 edges, 191529 markings/sec, 0 secs
lola: 1967427 markings, 2519860 edges, 201956 markings/sec, 5 secs
lola: 2939285 markings, 3782760 edges, 194372 markings/sec, 10 secs
lola: 3935773 markings, 5024812 edges, 199298 markings/sec, 15 secs
lola: 4915057 markings, 6243570 edges, 195857 markings/sec, 20 secs
lola: 5847242 markings, 7494519 edges, 186437 markings/sec, 25 secs
lola: 6781823 markings, 8725154 edges, 186916 markings/sec, 30 secs
lola: 7771952 markings, 9878986 edges, 198026 markings/sec, 35 secs
lola: 8738470 markings, 11059048 edges, 193304 markings/sec, 40 secs
lola: 9650337 markings, 12266519 edges, 182373 markings/sec, 45 secs
lola: 10539156 markings, 13437228 edges, 177764 markings/sec, 50 secs
lola: 11479413 markings, 14593012 edges, 188051 markings/sec, 55 secs
lola: 12449085 markings, 15678044 edges, 193934 markings/sec, 60 secs
lola: 13388640 markings, 16782758 edges, 187911 markings/sec, 65 secs
lola: 14310218 markings, 17950538 edges, 184316 markings/sec, 70 secs
lola: 15202637 markings, 19094924 edges, 178484 markings/sec, 75 secs
lola: 16004047 markings, 20201757 edges, 160282 markings/sec, 80 secs
lola: 16808525 markings, 21335253 edges, 160896 markings/sec, 85 secs
lola: 17512702 markings, 22351776 edges, 140835 markings/sec, 90 secs
lola: 18335762 markings, 23409582 edges, 164612 markings/sec, 95 secs
lola: 19039388 markings, 24396874 edges, 140725 markings/sec, 100 secs
lola: 19733198 markings, 25463178 edges, 138762 markings/sec, 105 secs
lola: 20455487 markings, 26508173 edges, 144458 markings/sec, 110 secs
lola: 21125377 markings, 27465875 edges, 133978 markings/sec, 115 secs
lola: 21712450 markings, 28430623 edges, 117415 markings/sec, 120 secs
lola: 22322205 markings, 29407136 edges, 121951 markings/sec, 125 secs
lola: 22964682 markings, 30377207 edges, 128495 markings/sec, 130 secs
lola: 23756426 markings, 31533416 edges, 158349 markings/sec, 135 secs
lola: 24772522 markings, 32762688 edges, 203219 markings/sec, 140 secs
lola: 25709654 markings, 34039962 edges, 187426 markings/sec, 145 secs
lola: 26673265 markings, 35272477 edges, 192722 markings/sec, 150 secs
lola: 27655200 markings, 36517144 edges, 196387 markings/sec, 155 secs
lola: 28658330 markings, 37707682 edges, 200626 markings/sec, 160 secs
lola: 29604233 markings, 38944986 edges, 189181 markings/sec, 165 secs
lola: 30519895 markings, 40172206 edges, 183132 markings/sec, 170 secs
lola: 31456031 markings, 41433978 edges, 187227 markings/sec, 175 secs
lola: 32394655 markings, 42603641 edges, 187725 markings/sec, 180 secs
lola: 33351545 markings, 43706428 edges, 191378 markings/sec, 185 secs
lola: 34296712 markings, 44868867 edges, 189033 markings/sec, 190 secs
lola: 35219318 markings, 46040239 edges, 184521 markings/sec, 195 secs
lola: 36095782 markings, 47202229 edges, 175293 markings/sec, 200 secs
lola: 36967626 markings, 48324242 edges, 174369 markings/sec, 205 secs
lola: 37849816 markings, 49509868 edges, 176438 markings/sec, 210 secs
lola: 38813896 markings, 50626687 edges, 192816 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p275)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 597113 markings, 1292754 edges, 119423 markings/sec, 0 secs
lola: 1127225 markings, 2628125 edges, 106022 markings/sec, 5 secs
lola: 1694942 markings, 3885209 edges, 113543 markings/sec, 10 secs
lola: 2273686 markings, 5218175 edges, 115749 markings/sec, 15 secs
lola: 2930766 markings, 6532818 edges, 131416 markings/sec, 20 secs
lola: 3619017 markings, 7794868 edges, 137650 markings/sec, 25 secs
lola: 4302715 markings, 9089435 edges, 136740 markings/sec, 30 secs
lola: 5021917 markings, 10333243 edges, 143840 markings/sec, 35 secs
lola: 5683133 markings, 11670833 edges, 132243 markings/sec, 40 secs
lola: 6296395 markings, 13194943 edges, 122652 markings/sec, 45 secs
lola: 6986609 markings, 14434708 edges, 138043 markings/sec, 50 secs
lola: 7574112 markings, 15859977 edges, 117501 markings/sec, 55 secs
lola: 8258914 markings, 17148118 edges, 136960 markings/sec, 60 secs
lola: 8821197 markings, 18452903 edges, 112457 markings/sec, 65 secs
lola: 9483341 markings, 19752778 edges, 132429 markings/sec, 70 secs
lola: 10054734 markings, 20996524 edges, 114279 markings/sec, 75 secs
lola: 10644633 markings, 22363862 edges, 117980 markings/sec, 80 secs
lola: 11257473 markings, 23540332 edges, 122568 markings/sec, 85 secs
lola: 11799609 markings, 24852859 edges, 108427 markings/sec, 90 secs
lola: 12436832 markings, 26084107 edges, 127445 markings/sec, 95 secs
lola: 13069763 markings, 27505611 edges, 126586 markings/sec, 100 secs
lola: 13766574 markings, 28888466 edges, 139362 markings/sec, 105 secs
lola: 14396574 markings, 30379386 edges, 126000 markings/sec, 110 secs
lola: 15152642 markings, 31623542 edges, 151214 markings/sec, 115 secs
lola: 15806841 markings, 32835776 edges, 130840 markings/sec, 120 secs
lola: 16444901 markings, 34033944 edges, 127612 markings/sec, 125 secs
lola: 17129775 markings, 35244124 edges, 136975 markings/sec, 130 secs
lola: 17813471 markings, 36391427 edges, 136739 markings/sec, 135 secs
lola: 18458146 markings, 37540104 edges, 128935 markings/sec, 140 secs
lola: 19022513 markings, 38722106 edges, 112873 markings/sec, 145 secs
lola: 19579480 markings, 39906561 edges, 111393 markings/sec, 150 secs
lola: 20373950 markings, 41039545 edges, 158894 markings/sec, 155 secs
lola: 21251536 markings, 42113667 edges, 175517 markings/sec, 160 secs
lola: 21963480 markings, 43288032 edges, 142389 markings/sec, 165 secs
lola: 22703559 markings, 44482644 edges, 148016 markings/sec, 170 secs
lola: 23404075 markings, 45607749 edges, 140103 markings/sec, 175 secs
lola: 24086234 markings, 46732040 edges, 136432 markings/sec, 180 secs
lola: 24773287 markings, 47836654 edges, 137411 markings/sec, 185 secs
lola: 25349756 markings, 49018196 edges, 115294 markings/sec, 190 secs
lola: 25986428 markings, 50177781 edges, 127334 markings/sec, 195 secs
lola: 26617565 markings, 51346023 edges, 126227 markings/sec, 200 secs
lola: 27498003 markings, 52413039 edges, 176088 markings/sec, 205 secs
lola: 28321361 markings, 53586745 edges, 164672 markings/sec, 210 secs
lola: 29191010 markings, 54811559 edges, 173930 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 642987 markings, 1461121 edges, 128597 markings/sec, 0 secs
lola: 1436339 markings, 2920776 edges, 158670 markings/sec, 5 secs
lola: 2662688 markings, 4263849 edges, 245270 markings/sec, 10 secs
lola: 3862682 markings, 5728422 edges, 239999 markings/sec, 15 secs
lola: 5098545 markings, 7095625 edges, 247173 markings/sec, 20 secs
lola: 6277450 markings, 8311555 edges, 235781 markings/sec, 25 secs
lola: 7476778 markings, 9618904 edges, 239866 markings/sec, 30 secs
lola: 8538477 markings, 10894279 edges, 212340 markings/sec, 35 secs
lola: 9699432 markings, 12311995 edges, 232191 markings/sec, 40 secs
lola: 10861954 markings, 13561629 edges, 232504 markings/sec, 45 secs
lola: 11985120 markings, 14759856 edges, 224633 markings/sec, 50 secs
lola: 13077251 markings, 15924197 edges, 218426 markings/sec, 55 secs
lola: 14265150 markings, 17326952 edges, 237580 markings/sec, 60 secs
lola: 15423368 markings, 18734015 edges, 231644 markings/sec, 65 secs
lola: 16573870 markings, 20034331 edges, 230100 markings/sec, 70 secs
lola: 17701851 markings, 21268828 edges, 225596 markings/sec, 75 secs
lola: 18794618 markings, 22465810 edges, 218553 markings/sec, 80 secs
lola: 19872737 markings, 23645860 edges, 215624 markings/sec, 85 secs
lola: 20934646 markings, 24809254 edges, 212382 markings/sec, 90 secs
lola: 22068096 markings, 26175344 edges, 226690 markings/sec, 95 secs
lola: 23234014 markings, 27598861 edges, 233184 markings/sec, 100 secs
lola: 24361928 markings, 28851615 edges, 225583 markings/sec, 105 secs
lola: 25448823 markings, 30032308 edges, 217379 markings/sec, 110 secs
lola: 26504800 markings, 31179906 edges, 211195 markings/sec, 115 secs
lola: 27539605 markings, 32315575 edges, 206961 markings/sec, 120 secs
lola: 28596147 markings, 33503787 edges, 211308 markings/sec, 125 secs
lola: 29679484 markings, 34673003 edges, 216667 markings/sec, 130 secs
lola: 30779289 markings, 35836908 edges, 219961 markings/sec, 135 secs
lola: 31870030 markings, 36989773 edges, 218148 markings/sec, 140 secs
lola: 32958695 markings, 38140503 edges, 217733 markings/sec, 145 secs
lola: 33963557 markings, 39254831 edges, 200972 markings/sec, 150 secs
lola: 34880149 markings, 40337034 edges, 183318 markings/sec, 155 secs
lola: 35821905 markings, 41440255 edges, 188351 markings/sec, 160 secs
lola: 36766573 markings, 42535234 edges, 188934 markings/sec, 165 secs
lola: 37773006 markings, 43694022 edges, 201287 markings/sec, 170 secs
lola: 38679529 markings, 44772005 edges, 181305 markings/sec, 175 secs
lola: 39587274 markings, 45875223 edges, 181549 markings/sec, 180 secs
lola: 40535240 markings, 46963817 edges, 189593 markings/sec, 185 secs
lola: 41456970 markings, 48037040 edges, 184346 markings/sec, 190 secs
lola: 42364707 markings, 49130076 edges, 181547 markings/sec, 195 secs
lola: 43302549 markings, 50230667 edges, 187568 markings/sec, 200 secs
lola: 44205910 markings, 51272922 edges, 180672 markings/sec, 205 secs
lola: 45061368 markings, 52298979 edges, 171092 markings/sec, 210 secs
lola: 45930743 markings, 53341497 edges, 173875 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 871765 markings, 1348683 edges, 174353 markings/sec, 0 secs
lola: 1557768 markings, 2260898 edges, 137201 markings/sec, 5 secs
lola: 2318887 markings, 3231020 edges, 152224 markings/sec, 10 secs
lola: 2958849 markings, 4284534 edges, 127992 markings/sec, 15 secs
lola: 3729782 markings, 5301260 edges, 154187 markings/sec, 20 secs
lola: 4578839 markings, 6251250 edges, 169811 markings/sec, 25 secs
lola: 5411441 markings, 7170103 edges, 166520 markings/sec, 30 secs
lola: 6232562 markings, 8084819 edges, 164224 markings/sec, 35 secs
lola: 7060758 markings, 9013257 edges, 165639 markings/sec, 40 secs
lola: 7889613 markings, 9923982 edges, 165771 markings/sec, 45 secs
lola: 8736799 markings, 10923657 edges, 169437 markings/sec, 50 secs
lola: 9580997 markings, 11885217 edges, 168840 markings/sec, 55 secs
lola: 10412322 markings, 12842540 edges, 166265 markings/sec, 60 secs
lola: 11231458 markings, 13800852 edges, 163827 markings/sec, 65 secs
lola: 12065375 markings, 14763184 edges, 166783 markings/sec, 70 secs
lola: 12864402 markings, 15729324 edges, 159805 markings/sec, 75 secs
lola: 13440009 markings, 16842550 edges, 115121 markings/sec, 80 secs
lola: 13976789 markings, 18004389 edges, 107356 markings/sec, 85 secs
lola: 14516813 markings, 19159798 edges, 108005 markings/sec, 90 secs
lola: 15104439 markings, 20345712 edges, 117525 markings/sec, 95 secs
lola: 15719372 markings, 21524885 edges, 122987 markings/sec, 100 secs
lola: 16323967 markings, 22741589 edges, 120919 markings/sec, 105 secs
lola: 16814941 markings, 23995557 edges, 98195 markings/sec, 110 secs
lola: 17281876 markings, 25219405 edges, 93387 markings/sec, 115 secs
lola: 17757412 markings, 26420167 edges, 95107 markings/sec, 120 secs
lola: 18274344 markings, 27623115 edges, 103386 markings/sec, 125 secs
lola: 18952978 markings, 28847022 edges, 135727 markings/sec, 130 secs
lola: 19625217 markings, 30059393 edges, 134448 markings/sec, 135 secs
lola: 20305105 markings, 31242822 edges, 135978 markings/sec, 140 secs
lola: 20978721 markings, 32371082 edges, 134723 markings/sec, 145 secs
lola: 21642688 markings, 33483885 edges, 132793 markings/sec, 150 secs
lola: 22302431 markings, 34585874 edges, 131949 markings/sec, 155 secs
lola: 22971365 markings, 35679159 edges, 133787 markings/sec, 160 secs
lola: 23592450 markings, 36732934 edges, 124217 markings/sec, 165 secs
lola: 24289005 markings, 37903308 edges, 139311 markings/sec, 170 secs
lola: 24967857 markings, 39029365 edges, 135770 markings/sec, 175 secs
lola: 25642421 markings, 40155681 edges, 134913 markings/sec, 180 secs
lola: 26307801 markings, 41260479 edges, 133076 markings/sec, 185 secs
lola: 26979277 markings, 42368801 edges, 134295 markings/sec, 190 secs
lola: 27662981 markings, 43487591 edges, 136741 markings/sec, 195 secs
lola: 28392839 markings, 44650333 edges, 145972 markings/sec, 200 secs
lola: 29162571 markings, 45791427 edges, 153946 markings/sec, 205 secs
lola: 29916675 markings, 46899022 edges, 150821 markings/sec, 210 secs
lola: 30676404 markings, 47980284 edges, 151946 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p283)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 874450 markings, 1254782 edges, 174890 markings/sec, 0 secs
lola: 1683187 markings, 2511133 edges, 161747 markings/sec, 5 secs
lola: 2459703 markings, 3764553 edges, 155303 markings/sec, 10 secs
lola: 3070751 markings, 5089589 edges, 122210 markings/sec, 15 secs
lola: 3770119 markings, 6405527 edges, 139874 markings/sec, 20 secs
lola: 4433993 markings, 7727040 edges, 132775 markings/sec, 25 secs
lola: 5091569 markings, 9060368 edges, 131515 markings/sec, 30 secs
lola: 5928657 markings, 10167589 edges, 167418 markings/sec, 35 secs
lola: 6738793 markings, 11199379 edges, 162027 markings/sec, 40 secs
lola: 7540503 markings, 12506022 edges, 160342 markings/sec, 45 secs
lola: 8326975 markings, 13847322 edges, 157294 markings/sec, 50 secs
lola: 8917924 markings, 15263101 edges, 118190 markings/sec, 55 secs
lola: 9644300 markings, 16605398 edges, 145275 markings/sec, 60 secs
lola: 10284255 markings, 17959734 edges, 127991 markings/sec, 65 secs
lola: 10959385 markings, 19310509 edges, 135026 markings/sec, 70 secs
lola: 12015628 markings, 20495676 edges, 211249 markings/sec, 75 secs
lola: 12599056 markings, 21812294 edges, 116686 markings/sec, 80 secs
lola: 13349942 markings, 23127991 edges, 150177 markings/sec, 85 secs
lola: 14078429 markings, 24482590 edges, 145697 markings/sec, 90 secs
lola: 14841240 markings, 25753934 edges, 152562 markings/sec, 95 secs
lola: 15748617 markings, 26884497 edges, 181475 markings/sec, 100 secs
lola: 16266745 markings, 28176404 edges, 103626 markings/sec, 105 secs
lola: 17051442 markings, 29473299 edges, 156939 markings/sec, 110 secs
lola: 17723347 markings, 30750658 edges, 134381 markings/sec, 115 secs
lola: 18515505 markings, 31922761 edges, 158432 markings/sec, 120 secs
lola: 19351948 markings, 33101316 edges, 167289 markings/sec, 125 secs
lola: 19854244 markings, 34369472 edges, 100459 markings/sec, 130 secs
lola: 20662500 markings, 35645858 edges, 161651 markings/sec, 135 secs
lola: 21296573 markings, 36873782 edges, 126815 markings/sec, 140 secs
lola: 22096115 markings, 37991689 edges, 159908 markings/sec, 145 secs
lola: 22889630 markings, 39170477 edges, 158703 markings/sec, 150 secs
lola: 23393183 markings, 40415499 edges, 100711 markings/sec, 155 secs
lola: 24178897 markings, 41654539 edges, 157143 markings/sec, 160 secs
lola: 24799321 markings, 42851781 edges, 124085 markings/sec, 165 secs
lola: 25576089 markings, 43953297 edges, 155354 markings/sec, 170 secs
lola: 26369560 markings, 45073042 edges, 158694 markings/sec, 175 secs
lola: 26848835 markings, 46282457 edges, 95855 markings/sec, 180 secs
lola: 27584129 markings, 47449264 edges, 147059 markings/sec, 185 secs
lola: 28207827 markings, 48631552 edges, 124740 markings/sec, 190 secs
lola: 28914648 markings, 49765338 edges, 141364 markings/sec, 195 secs
lola: 29797858 markings, 50871344 edges, 176642 markings/sec, 200 secs
lola: 30347674 markings, 52254703 edges, 109963 markings/sec, 205 secs
lola: 31221159 markings, 53688432 edges, 174697 markings/sec, 210 secs
lola: 31913057 markings, 55040314 edges, 138380 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 866544 markings, 1341838 edges, 173309 markings/sec, 0 secs
lola: 1553693 markings, 2255967 edges, 137430 markings/sec, 5 secs
lola: 2314084 markings, 3225359 edges, 152078 markings/sec, 10 secs
lola: 2955104 markings, 4277857 edges, 128204 markings/sec, 15 secs
lola: 3724628 markings, 5292945 edges, 153905 markings/sec, 20 secs
lola: 4572342 markings, 6244371 edges, 169543 markings/sec, 25 secs
lola: 5403858 markings, 7161653 edges, 166303 markings/sec, 30 secs
lola: 6224416 markings, 8076447 edges, 164112 markings/sec, 35 secs
lola: 7051595 markings, 9003622 edges, 165436 markings/sec, 40 secs
lola: 7878797 markings, 9912224 edges, 165440 markings/sec, 45 secs
lola: 8725579 markings, 10911537 edges, 169356 markings/sec, 50 secs
lola: 9570065 markings, 11873252 edges, 168897 markings/sec, 55 secs
lola: 10402254 markings, 12831590 edges, 166438 markings/sec, 60 secs
lola: 11223269 markings, 13788237 edges, 164203 markings/sec, 65 secs
lola: 12055765 markings, 14752215 edges, 166499 markings/sec, 70 secs
lola: 12858032 markings, 15722042 edges, 160453 markings/sec, 75 secs
lola: 13435937 markings, 16837341 edges, 115581 markings/sec, 80 secs
lola: 13974979 markings, 18000366 edges, 107808 markings/sec, 85 secs
lola: 14515425 markings, 19158211 edges, 108089 markings/sec, 90 secs
lola: 15103694 markings, 20344941 edges, 117654 markings/sec, 95 secs
lola: 15719619 markings, 21525450 edges, 123185 markings/sec, 100 secs
lola: 16324871 markings, 22744537 edges, 121050 markings/sec, 105 secs
lola: 16816180 markings, 23999333 edges, 98262 markings/sec, 110 secs
lola: 17284627 markings, 25222945 edges, 93689 markings/sec, 115 secs
lola: 17758192 markings, 26422202 edges, 94713 markings/sec, 120 secs
lola: 18274723 markings, 27623710 edges, 103306 markings/sec, 125 secs
lola: 18954501 markings, 28848657 edges, 135956 markings/sec, 130 secs
lola: 19629159 markings, 30064239 edges, 134932 markings/sec, 135 secs
lola: 20312884 markings, 31255940 edges, 136745 markings/sec, 140 secs
lola: 20994285 markings, 32397039 edges, 136280 markings/sec, 145 secs
lola: 21663332 markings, 33519230 edges, 133809 markings/sec, 150 secs
lola: 22334712 markings, 34638648 edges, 134276 markings/sec, 155 secs
lola: 23008626 markings, 35740230 edges, 134783 markings/sec, 160 secs
lola: 23634049 markings, 36819865 edges, 125085 markings/sec, 165 secs
lola: 24339161 markings, 37988708 edges, 141022 markings/sec, 170 secs
lola: 25027087 markings, 39126913 edges, 137585 markings/sec, 175 secs
lola: 25703498 markings, 40259834 edges, 135282 markings/sec, 180 secs
lola: 26375711 markings, 41371338 edges, 134443 markings/sec, 185 secs
lola: 27051571 markings, 42487505 edges, 135172 markings/sec, 190 secs
lola: 27750710 markings, 43623735 edges, 139828 markings/sec, 195 secs
lola: 28476705 markings, 44781269 edges, 145199 markings/sec, 200 secs
lola: 29248175 markings, 45913482 edges, 154294 markings/sec, 205 secs
lola: 29999448 markings, 47018604 edges, 150255 markings/sec, 210 secs
lola: 30750530 markings, 48093787 edges, 150216 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p234)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 1276689 markings, 1356839 edges, 255338 markings/sec, 0 secs
lola: 2397687 markings, 2686865 edges, 224200 markings/sec, 5 secs
lola: 3699527 markings, 4021068 edges, 260368 markings/sec, 10 secs
lola: 4953983 markings, 5305853 edges, 250891 markings/sec, 15 secs
lola: 6041193 markings, 6597810 edges, 217442 markings/sec, 20 secs
lola: 7095862 markings, 7917684 edges, 210934 markings/sec, 25 secs
lola: 8248239 markings, 9233581 edges, 230475 markings/sec, 30 secs
lola: 9375998 markings, 10545882 edges, 225552 markings/sec, 35 secs
lola: 10561773 markings, 11844297 edges, 237155 markings/sec, 40 secs
lola: 11672735 markings, 13060937 edges, 222192 markings/sec, 45 secs
lola: 12841412 markings, 14278765 edges, 233735 markings/sec, 50 secs
lola: 14049872 markings, 15502372 edges, 241692 markings/sec, 55 secs
lola: 15164562 markings, 16792621 edges, 222938 markings/sec, 60 secs
lola: 16379233 markings, 18125445 edges, 242934 markings/sec, 65 secs
lola: 17128584 markings, 19533440 edges, 149870 markings/sec, 70 secs
lola: 17679031 markings, 20916986 edges, 110089 markings/sec, 75 secs
lola: 18211326 markings, 22246146 edges, 106459 markings/sec, 80 secs
lola: 19105617 markings, 23509446 edges, 178858 markings/sec, 85 secs
lola: 19804726 markings, 24798752 edges, 139822 markings/sec, 90 secs
lola: 20617877 markings, 26054123 edges, 162630 markings/sec, 95 secs
lola: 21456178 markings, 27345280 edges, 167660 markings/sec, 100 secs
lola: 22385495 markings, 28618061 edges, 185863 markings/sec, 105 secs
lola: 23231270 markings, 29856931 edges, 169155 markings/sec, 110 secs
lola: 24350487 markings, 31131690 edges, 223843 markings/sec, 115 secs
lola: 25547148 markings, 32383612 edges, 239332 markings/sec, 120 secs
lola: 26777312 markings, 33645206 edges, 246033 markings/sec, 125 secs
lola: 27874088 markings, 34916739 edges, 219355 markings/sec, 130 secs
lola: 29027990 markings, 36196747 edges, 230780 markings/sec, 135 secs
lola: 30159780 markings, 37450207 edges, 226358 markings/sec, 140 secs
lola: 30991403 markings, 38720645 edges, 166325 markings/sec, 145 secs
lola: 31958293 markings, 39925186 edges, 193378 markings/sec, 150 secs
lola: 32852865 markings, 41231782 edges, 178914 markings/sec, 155 secs
lola: 33519284 markings, 42577143 edges, 133284 markings/sec, 160 secs
lola: 34363140 markings, 43869300 edges, 168771 markings/sec, 165 secs
lola: 34991147 markings, 45222615 edges, 125601 markings/sec, 170 secs
lola: 35799392 markings, 46499169 edges, 161649 markings/sec, 175 secs
lola: 36422430 markings, 47785031 edges, 124608 markings/sec, 180 secs
lola: 37136355 markings, 49016304 edges, 142785 markings/sec, 185 secs
lola: 37829709 markings, 50299995 edges, 138671 markings/sec, 190 secs
lola: 38536834 markings, 51526283 edges, 141425 markings/sec, 195 secs
lola: 39296333 markings, 52764510 edges, 151900 markings/sec, 200 secs
lola: 39912126 markings, 53995781 edges, 123159 markings/sec, 205 secs
lola: 40684181 markings, 55258630 edges, 154411 markings/sec, 210 secs
lola: 41320975 markings, 56580917 edges, 127359 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p62)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 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: 821712 markings, 1371224 edges, 164342 markings/sec, 0 secs
lola: 1692494 markings, 2641535 edges, 174156 markings/sec, 5 secs
lola: 2572076 markings, 3797562 edges, 175916 markings/sec, 10 secs
lola: 3426303 markings, 4987790 edges, 170845 markings/sec, 15 secs
lola: 4300817 markings, 6183007 edges, 174903 markings/sec, 20 secs
lola: 5076452 markings, 7444980 edges, 155127 markings/sec, 25 secs
lola: 5817926 markings, 8734639 edges, 148295 markings/sec, 30 secs
lola: 6497881 markings, 10062373 edges, 135991 markings/sec, 35 secs
lola: 7145792 markings, 11406209 edges, 129582 markings/sec, 40 secs
lola: 7817810 markings, 12694405 edges, 134404 markings/sec, 45 secs
lola: 8501764 markings, 14026267 edges, 136791 markings/sec, 50 secs
lola: 9227447 markings, 15389693 edges, 145137 markings/sec, 55 secs
lola: 10021678 markings, 16674581 edges, 158846 markings/sec, 60 secs
lola: 10795390 markings, 17866162 edges, 154742 markings/sec, 65 secs
lola: 11583785 markings, 19097923 edges, 157679 markings/sec, 70 secs
lola: 12319198 markings, 20368862 edges, 147083 markings/sec, 75 secs
lola: 13065980 markings, 21553718 edges, 149356 markings/sec, 80 secs
lola: 13832131 markings, 22845539 edges, 153230 markings/sec, 85 secs
lola: 14556607 markings, 24143523 edges, 144895 markings/sec, 90 secs
lola: 15321083 markings, 25396560 edges, 152895 markings/sec, 95 secs
lola: 16069546 markings, 26629371 edges, 149693 markings/sec, 100 secs
lola: 16885602 markings, 27903775 edges, 163211 markings/sec, 105 secs
lola: 17625439 markings, 29175423 edges, 147967 markings/sec, 110 secs
lola: 18385736 markings, 30413312 edges, 152059 markings/sec, 115 secs
lola: 19141450 markings, 31645720 edges, 151143 markings/sec, 120 secs
lola: 19871545 markings, 32854356 edges, 146019 markings/sec, 125 secs
lola: 20639112 markings, 34074049 edges, 153513 markings/sec, 130 secs
lola: 21455365 markings, 35239833 edges, 163251 markings/sec, 135 secs
lola: 22255261 markings, 36382447 edges, 159979 markings/sec, 140 secs
lola: 22965141 markings, 37547202 edges, 141976 markings/sec, 145 secs
lola: 23612688 markings, 38849242 edges, 129509 markings/sec, 150 secs
lola: 24427356 markings, 40146973 edges, 162934 markings/sec, 155 secs
lola: 25197862 markings, 41414263 edges, 154101 markings/sec, 160 secs
lola: 25969229 markings, 42678157 edges, 154273 markings/sec, 165 secs
lola: 26736185 markings, 43928836 edges, 153391 markings/sec, 170 secs
lola: 27495927 markings, 45166005 edges, 151948 markings/sec, 175 secs
lola: 28214203 markings, 46405867 edges, 143655 markings/sec, 180 secs
lola: 28922344 markings, 47629136 edges, 141628 markings/sec, 185 secs
lola: 29728483 markings, 48818943 edges, 161228 markings/sec, 190 secs
lola: 30548021 markings, 49988619 edges, 163908 markings/sec, 195 secs
lola: 31274196 markings, 51208871 edges, 145235 markings/sec, 200 secs
lola: 32014198 markings, 52535398 edges, 148000 markings/sec, 205 secs
lola: 32796787 markings, 53820048 edges, 156518 markings/sec, 210 secs
lola: 33471379 markings, 55098259 edges, 134918 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA DES-PT-10b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496454949563
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_DES-PT-10b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_DES-PT-10b.tgz
mv S_DES-PT-10b execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_DES-PT-10b, 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 r098-ebro-149488455700254"
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 ;