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 DLCround-PT-05a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961600236
=====================================================================

--------------------
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 DLCround-PT-05a-UpperBounds-0
FORMULA_NAME DLCround-PT-05a-UpperBounds-1
FORMULA_NAME DLCround-PT-05a-UpperBounds-10
FORMULA_NAME DLCround-PT-05a-UpperBounds-11
FORMULA_NAME DLCround-PT-05a-UpperBounds-12
FORMULA_NAME DLCround-PT-05a-UpperBounds-13
FORMULA_NAME DLCround-PT-05a-UpperBounds-14
FORMULA_NAME DLCround-PT-05a-UpperBounds-15
FORMULA_NAME DLCround-PT-05a-UpperBounds-2
FORMULA_NAME DLCround-PT-05a-UpperBounds-3
FORMULA_NAME DLCround-PT-05a-UpperBounds-4
FORMULA_NAME DLCround-PT-05a-UpperBounds-5
FORMULA_NAME DLCround-PT-05a-UpperBounds-6
FORMULA_NAME DLCround-PT-05a-UpperBounds-7
FORMULA_NAME DLCround-PT-05a-UpperBounds-8
FORMULA_NAME DLCround-PT-05a-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496537490506


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DLCround-PT-05a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
DLCround-PT-05a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ DLCround-PT-05a @ 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: 1222/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 167 places, 1055 transitions, 79 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 906 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-05a-UpperBounds.task
lola: MAX(p83) : MAX(p107) : MAX(p44) : MAX(p137) : MAX(p143) : MAX(p20) : MAX(p39) : MAX(p26) : MAX(p1) : MAX(p83) : MAX(p153) : MAX(p158) : MAX(p90) : MAX(p148) : MAX(p156) : MAX(p80)
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(p83)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 17 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: 106122 markings, 976472 edges, 21224 markings/sec, 0 secs
lola: 219950 markings, 2045416 edges, 22766 markings/sec, 5 secs
lola: 336226 markings, 3146516 edges, 23255 markings/sec, 10 secs
lola: 452734 markings, 4240273 edges, 23302 markings/sec, 15 secs
lola: 565298 markings, 5313346 edges, 22513 markings/sec, 20 secs
lola: 680542 markings, 6394285 edges, 23049 markings/sec, 25 secs
lola: 796571 markings, 7494506 edges, 23206 markings/sec, 30 secs
lola: 911713 markings, 8579103 edges, 23028 markings/sec, 35 secs
lola: 1024469 markings, 9644218 edges, 22551 markings/sec, 40 secs
lola: 1140943 markings, 10742154 edges, 23295 markings/sec, 45 secs
lola: 1256326 markings, 11867890 edges, 23077 markings/sec, 50 secs
lola: 1366968 markings, 12954708 edges, 22128 markings/sec, 55 secs
lola: 1479368 markings, 14038143 edges, 22480 markings/sec, 60 secs
lola: 1592430 markings, 15142157 edges, 22612 markings/sec, 65 secs
lola: 1705195 markings, 16231267 edges, 22553 markings/sec, 70 secs
lola: 1817830 markings, 17321673 edges, 22527 markings/sec, 75 secs
lola: 1928346 markings, 18383269 edges, 22103 markings/sec, 80 secs
lola: 2037287 markings, 19452901 edges, 21788 markings/sec, 85 secs
lola: 2150189 markings, 20533653 edges, 22580 markings/sec, 90 secs
lola: 2263643 markings, 21601582 edges, 22691 markings/sec, 95 secs
lola: 2377718 markings, 22710818 edges, 22815 markings/sec, 100 secs
lola: 2495818 markings, 23842221 edges, 23620 markings/sec, 105 secs
lola: 2612152 markings, 24916923 edges, 23267 markings/sec, 110 secs
lola: 2726623 markings, 25989550 edges, 22894 markings/sec, 115 secs
lola: 2842215 markings, 27077269 edges, 23118 markings/sec, 120 secs
lola: 2959444 markings, 28187262 edges, 23446 markings/sec, 125 secs
lola: 3075359 markings, 29295133 edges, 23183 markings/sec, 130 secs
lola: 3188341 markings, 30374578 edges, 22596 markings/sec, 135 secs
lola: 3299507 markings, 31439602 edges, 22233 markings/sec, 140 secs
lola: 3412779 markings, 32511565 edges, 22654 markings/sec, 145 secs
lola: 3521338 markings, 33551581 edges, 21712 markings/sec, 150 secs
lola: 3626631 markings, 34574382 edges, 21059 markings/sec, 155 secs
lola: 3733024 markings, 35595212 edges, 21279 markings/sec, 160 secs
lola: 3842798 markings, 36660574 edges, 21955 markings/sec, 165 secs
lola: 3958879 markings, 37761409 edges, 23216 markings/sec, 170 secs
lola: 4074691 markings, 38870502 edges, 23162 markings/sec, 175 secs
lola: 4191013 markings, 39993660 edges, 23264 markings/sec, 180 secs
lola: 4300975 markings, 41063706 edges, 21992 markings/sec, 185 secs
lola: 4416639 markings, 42133072 edges, 23133 markings/sec, 190 secs
lola: 4532359 markings, 43216743 edges, 23144 markings/sec, 195 secs
lola: 4641002 markings, 44239640 edges, 21729 markings/sec, 200 secs
lola: 4753666 markings, 45330095 edges, 22533 markings/sec, 205 secs
lola: 4867073 markings, 46442939 edges, 22681 markings/sec, 210 secs
lola: 4979089 markings, 47496861 edges, 22403 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(p107)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 17 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p44)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 17 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: 103533 markings, 561444 edges, 20707 markings/sec, 0 secs
lola: 217770 markings, 1186963 edges, 22847 markings/sec, 5 secs
lola: 331172 markings, 1850447 edges, 22680 markings/sec, 10 secs
lola: 437463 markings, 2506459 edges, 21258 markings/sec, 15 secs
lola: 552227 markings, 3142224 edges, 22953 markings/sec, 20 secs
lola: 662554 markings, 3792226 edges, 22065 markings/sec, 25 secs
lola: 772468 markings, 4408359 edges, 21983 markings/sec, 30 secs
lola: 886406 markings, 5048452 edges, 22788 markings/sec, 35 secs
lola: 995000 markings, 5686969 edges, 21719 markings/sec, 40 secs
lola: 1102838 markings, 6313185 edges, 21568 markings/sec, 45 secs
lola: 1218270 markings, 6954224 edges, 23086 markings/sec, 50 secs
lola: 1334846 markings, 7589214 edges, 23315 markings/sec, 55 secs
lola: 1447009 markings, 8253187 edges, 22433 markings/sec, 60 secs
lola: 1559119 markings, 8901585 edges, 22422 markings/sec, 65 secs
lola: 1668012 markings, 9502445 edges, 21779 markings/sec, 70 secs
lola: 1774291 markings, 10108866 edges, 21256 markings/sec, 75 secs
lola: 1879076 markings, 10751098 edges, 20957 markings/sec, 80 secs
lola: 1984427 markings, 11356603 edges, 21070 markings/sec, 85 secs
lola: 2089079 markings, 11971796 edges, 20930 markings/sec, 90 secs
lola: 2192005 markings, 12608844 edges, 20585 markings/sec, 95 secs
lola: 2297474 markings, 13220482 edges, 21094 markings/sec, 100 secs
lola: 2401061 markings, 13865325 edges, 20717 markings/sec, 105 secs
lola: 2503195 markings, 14474517 edges, 20427 markings/sec, 110 secs
lola: 2607273 markings, 15106585 edges, 20816 markings/sec, 115 secs
lola: 2711621 markings, 15743243 edges, 20870 markings/sec, 120 secs
lola: 2822412 markings, 16391845 edges, 22158 markings/sec, 125 secs
lola: 2934654 markings, 17052918 edges, 22448 markings/sec, 130 secs
lola: 3044579 markings, 17696684 edges, 21985 markings/sec, 135 secs
lola: 3155344 markings, 18349359 edges, 22153 markings/sec, 140 secs
lola: 3266039 markings, 19010349 edges, 22139 markings/sec, 145 secs
lola: 3374930 markings, 19652491 edges, 21778 markings/sec, 150 secs
lola: 3488313 markings, 20345298 edges, 22677 markings/sec, 155 secs
lola: 3600536 markings, 21044361 edges, 22445 markings/sec, 160 secs
lola: 3714446 markings, 21734197 edges, 22782 markings/sec, 165 secs
lola: 3827678 markings, 22417930 edges, 22646 markings/sec, 170 secs
lola: 3940465 markings, 23117356 edges, 22557 markings/sec, 175 secs
lola: 4054598 markings, 23794883 edges, 22827 markings/sec, 180 secs
lola: 4168375 markings, 24470010 edges, 22755 markings/sec, 185 secs
lola: 4281527 markings, 25144398 edges, 22630 markings/sec, 190 secs
lola: 4394654 markings, 25841060 edges, 22625 markings/sec, 195 secs
lola: 4504935 markings, 26509098 edges, 22056 markings/sec, 200 secs
lola: 4617077 markings, 27231942 edges, 22428 markings/sec, 205 secs
lola: 4729918 markings, 27933188 edges, 22568 markings/sec, 210 secs
lola: 4844041 markings, 28591923 edges, 22825 markings/sec, 215 secs
lola: 4957441 markings, 29276391 edges, 22680 markings/sec, 220 secs
lola: 5070917 markings, 29958866 edges, 22695 markings/sec, 225 secs
lola: 5183902 markings, 30616714 edges, 22597 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 237 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 12 bytes per marking, with 17 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 4 will run for 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p143)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 17 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 17 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: 193574 markings, 994882 edges, 38715 markings/sec, 0 secs
lola: 392096 markings, 2026427 edges, 39704 markings/sec, 5 secs
lola: 586258 markings, 3026006 edges, 38832 markings/sec, 10 secs
lola: 785661 markings, 4069282 edges, 39881 markings/sec, 15 secs
lola: 978874 markings, 5073318 edges, 38643 markings/sec, 20 secs
lola: 1182748 markings, 6125142 edges, 40775 markings/sec, 25 secs
lola: 1382110 markings, 7154726 edges, 39872 markings/sec, 30 secs
lola: 1572810 markings, 8143120 edges, 38140 markings/sec, 35 secs
lola: 1774341 markings, 9197749 edges, 40306 markings/sec, 40 secs
lola: 1955395 markings, 10136324 edges, 36211 markings/sec, 45 secs
lola: 2153557 markings, 11175117 edges, 39632 markings/sec, 50 secs
lola: 2340626 markings, 12155905 edges, 37414 markings/sec, 55 secs
lola: 2522988 markings, 13122665 edges, 36472 markings/sec, 60 secs
lola: 2707679 markings, 14087979 edges, 36938 markings/sec, 65 secs
lola: 2889212 markings, 15045742 edges, 36307 markings/sec, 70 secs
lola: 3071245 markings, 16003800 edges, 36407 markings/sec, 75 secs
lola: 3253233 markings, 16965055 edges, 36398 markings/sec, 80 secs
lola: 3435698 markings, 17917929 edges, 36493 markings/sec, 85 secs
lola: 3627972 markings, 18930780 edges, 38455 markings/sec, 90 secs
lola: 3825408 markings, 19960860 edges, 39487 markings/sec, 95 secs
lola: 4023787 markings, 21002218 edges, 39676 markings/sec, 100 secs
lola: 4214577 markings, 22003434 edges, 38158 markings/sec, 105 secs
lola: 4408594 markings, 23027340 edges, 38803 markings/sec, 110 secs
lola: 4590439 markings, 23977468 edges, 36369 markings/sec, 115 secs
lola: 4772248 markings, 24930174 edges, 36362 markings/sec, 120 secs
lola: 4954943 markings, 25892920 edges, 36539 markings/sec, 125 secs
lola: 5142201 markings, 26879105 edges, 37452 markings/sec, 130 secs
lola: 5333194 markings, 27905599 edges, 38199 markings/sec, 135 secs
lola: 5525954 markings, 28928757 edges, 38552 markings/sec, 140 secs
lola: 5722676 markings, 29971294 edges, 39344 markings/sec, 145 secs
lola: 5920614 markings, 31011553 edges, 39588 markings/sec, 150 secs
lola: 6118242 markings, 32058869 edges, 39526 markings/sec, 155 secs
lola: 6314665 markings, 33088744 edges, 39285 markings/sec, 160 secs
lola: 6505372 markings, 34109928 edges, 38141 markings/sec, 165 secs
lola: 6701821 markings, 35155647 edges, 39290 markings/sec, 170 secs
lola: 6898793 markings, 36198230 edges, 39394 markings/sec, 175 secs
lola: 7096054 markings, 37246700 edges, 39452 markings/sec, 180 secs
lola: 7287721 markings, 38255404 edges, 38333 markings/sec, 185 secs
lola: 7483809 markings, 39301993 edges, 39218 markings/sec, 190 secs
lola: 7680268 markings, 40347472 edges, 39292 markings/sec, 195 secs
lola: 7875294 markings, 41372636 edges, 39005 markings/sec, 200 secs
lola: 8069471 markings, 42396486 edges, 38835 markings/sec, 205 secs
lola: 8265280 markings, 43429145 edges, 39162 markings/sec, 210 secs
lola: 8455930 markings, 44456055 edges, 38130 markings/sec, 215 secs
lola: 8651598 markings, 45501934 edges, 39134 markings/sec, 220 secs
lola: 8846683 markings, 46537223 edges, 39017 markings/sec, 225 secs
lola: 9036283 markings, 47540818 edges, 37920 markings/sec, 230 secs
lola: 9228475 markings, 48561525 edges, 38438 markings/sec, 235 secs
lola: 9423317 markings, 49604026 edges, 38968 markings/sec, 240 secs
lola: 9618100 markings, 50651485 edges, 38957 markings/sec, 245 secs
lola: 9813270 markings, 51678406 edges, 39034 markings/sec, 250 secs
lola: 10007182 markings, 52711953 edges, 38782 markings/sec, 255 secs
lola: 10201583 markings, 53752351 edges, 38880 markings/sec, 260 secs
lola: 10397458 markings, 54791362 edges, 39175 markings/sec, 265 secs
lola: 10592236 markings, 55829263 edges, 38956 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p39)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 17 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: 116117 markings, 696572 edges, 23223 markings/sec, 0 secs
lola: 232940 markings, 1423513 edges, 23365 markings/sec, 5 secs
lola: 349116 markings, 2169736 edges, 23235 markings/sec, 10 secs
lola: 465958 markings, 2892736 edges, 23368 markings/sec, 15 secs
lola: 579118 markings, 3597857 edges, 22632 markings/sec, 20 secs
lola: 684340 markings, 4299561 edges, 21044 markings/sec, 25 secs
lola: 791019 markings, 4955006 edges, 21336 markings/sec, 30 secs
lola: 904820 markings, 5663413 edges, 22760 markings/sec, 35 secs
lola: 1021411 markings, 6400478 edges, 23318 markings/sec, 40 secs
lola: 1138217 markings, 7130355 edges, 23361 markings/sec, 45 secs
lola: 1252993 markings, 7854870 edges, 22955 markings/sec, 50 secs
lola: 1360734 markings, 8528287 edges, 21548 markings/sec, 55 secs
lola: 1468443 markings, 9217541 edges, 21542 markings/sec, 60 secs
lola: 1580817 markings, 9901168 edges, 22475 markings/sec, 65 secs
lola: 1686049 markings, 10581965 edges, 21046 markings/sec, 70 secs
lola: 1795279 markings, 11303760 edges, 21846 markings/sec, 75 secs
lola: 1907857 markings, 12046140 edges, 22516 markings/sec, 80 secs
lola: 2021141 markings, 12756652 edges, 22657 markings/sec, 85 secs
lola: 2127176 markings, 13430611 edges, 21207 markings/sec, 90 secs
lola: 2231669 markings, 14106289 edges, 20899 markings/sec, 95 secs
lola: 2334972 markings, 14795792 edges, 20661 markings/sec, 100 secs
lola: 2444970 markings, 15526669 edges, 22000 markings/sec, 105 secs
lola: 2557547 markings, 16247056 edges, 22515 markings/sec, 110 secs
lola: 2668829 markings, 16957811 edges, 22256 markings/sec, 115 secs
lola: 2782534 markings, 17681858 edges, 22741 markings/sec, 120 secs
lola: 2896198 markings, 18411651 edges, 22733 markings/sec, 125 secs
lola: 3008255 markings, 19155522 edges, 22411 markings/sec, 130 secs
lola: 3118263 markings, 19864538 edges, 22002 markings/sec, 135 secs
lola: 3229674 markings, 20595841 edges, 22282 markings/sec, 140 secs
lola: 3338760 markings, 21308810 edges, 21817 markings/sec, 145 secs
lola: 3451727 markings, 22030638 edges, 22593 markings/sec, 150 secs
lola: 3564294 markings, 22798094 edges, 22513 markings/sec, 155 secs
lola: 3677202 markings, 23551542 edges, 22582 markings/sec, 160 secs
lola: 3789908 markings, 24312733 edges, 22541 markings/sec, 165 secs
lola: 3903542 markings, 25053475 edges, 22727 markings/sec, 170 secs
lola: 4016979 markings, 25801520 edges, 22687 markings/sec, 175 secs
lola: 4129581 markings, 26568384 edges, 22520 markings/sec, 180 secs
lola: 4241212 markings, 27321040 edges, 22326 markings/sec, 185 secs
lola: 4349652 markings, 28044969 edges, 21688 markings/sec, 190 secs
lola: 4458397 markings, 28769187 edges, 21749 markings/sec, 195 secs
lola: 4561946 markings, 29481272 edges, 20710 markings/sec, 200 secs
lola: 4667770 markings, 30202595 edges, 21165 markings/sec, 205 secs
lola: 4772957 markings, 30870183 edges, 21037 markings/sec, 210 secs
lola: 4876469 markings, 31580852 edges, 20702 markings/sec, 215 secs
lola: 4981651 markings, 32265087 edges, 21036 markings/sec, 220 secs
lola: 5085446 markings, 32955535 edges, 20759 markings/sec, 225 secs
lola: 5192672 markings, 33684853 edges, 21445 markings/sec, 230 secs
lola: 5295970 markings, 34377871 edges, 20660 markings/sec, 235 secs
lola: 5400078 markings, 35083289 edges, 20822 markings/sec, 240 secs
lola: 5505586 markings, 35818088 edges, 21102 markings/sec, 245 secs
lola: 5610049 markings, 36523351 edges, 20893 markings/sec, 250 secs
lola: 5713776 markings, 37213972 edges, 20745 markings/sec, 255 secs
lola: 5817743 markings, 37922888 edges, 20793 markings/sec, 260 secs
lola: 5921708 markings, 38610703 edges, 20793 markings/sec, 265 secs
lola: 6029049 markings, 39339924 edges, 21468 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 17 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: 191501 markings, 1075649 edges, 38300 markings/sec, 0 secs
lola: 386746 markings, 2182229 edges, 39049 markings/sec, 5 secs
lola: 572299 markings, 3230150 edges, 37111 markings/sec, 10 secs
lola: 756834 markings, 4277178 edges, 36907 markings/sec, 15 secs
lola: 942226 markings, 5334319 edges, 37078 markings/sec, 20 secs
lola: 1137299 markings, 6454643 edges, 39015 markings/sec, 25 secs
lola: 1328527 markings, 7553584 edges, 38246 markings/sec, 30 secs
lola: 1524242 markings, 8681497 edges, 39143 markings/sec, 35 secs
lola: 1713803 markings, 9759691 edges, 37912 markings/sec, 40 secs
lola: 1910129 markings, 10890372 edges, 39265 markings/sec, 45 secs
lola: 2115524 markings, 12053226 edges, 41079 markings/sec, 50 secs
lola: 2316238 markings, 13188130 edges, 40143 markings/sec, 55 secs
lola: 2509332 markings, 14279423 edges, 38619 markings/sec, 60 secs
lola: 2709023 markings, 15417139 edges, 39938 markings/sec, 65 secs
lola: 2909558 markings, 16557987 edges, 40107 markings/sec, 70 secs
lola: 3101486 markings, 17664190 edges, 38386 markings/sec, 75 secs
lola: 3300690 markings, 18797824 edges, 39841 markings/sec, 80 secs
lola: 3499133 markings, 19938313 edges, 39689 markings/sec, 85 secs
lola: 3692135 markings, 21047359 edges, 38600 markings/sec, 90 secs
lola: 3882011 markings, 22134609 edges, 37975 markings/sec, 95 secs
lola: 4074050 markings, 23242755 edges, 38408 markings/sec, 100 secs
lola: 4266712 markings, 24351173 edges, 38532 markings/sec, 105 secs
lola: 4459450 markings, 25468313 edges, 38548 markings/sec, 110 secs
lola: 4650750 markings, 26576687 edges, 38260 markings/sec, 115 secs
lola: 4838419 markings, 27656562 edges, 37534 markings/sec, 120 secs
lola: 5029233 markings, 28756306 edges, 38163 markings/sec, 125 secs
lola: 5219895 markings, 29858085 edges, 38132 markings/sec, 130 secs
lola: 5412133 markings, 30965859 edges, 38448 markings/sec, 135 secs
lola: 5597493 markings, 32029196 edges, 37072 markings/sec, 140 secs
lola: 5792652 markings, 33155187 edges, 39032 markings/sec, 145 secs
lola: 5981975 markings, 34247112 edges, 37865 markings/sec, 150 secs
lola: 6174449 markings, 35356175 edges, 38495 markings/sec, 155 secs
lola: 6371894 markings, 36492144 edges, 39489 markings/sec, 160 secs
lola: 6568823 markings, 37624024 edges, 39386 markings/sec, 165 secs
lola: 6760740 markings, 38732867 edges, 38383 markings/sec, 170 secs
lola: 6941398 markings, 39780708 edges, 36132 markings/sec, 175 secs
lola: 7122360 markings, 40832481 edges, 36192 markings/sec, 180 secs
lola: 7301807 markings, 41869487 edges, 35889 markings/sec, 185 secs
lola: 7481243 markings, 42919360 edges, 35887 markings/sec, 190 secs
lola: 7660483 markings, 43957710 edges, 35848 markings/sec, 195 secs
lola: 7836207 markings, 44979381 edges, 35145 markings/sec, 200 secs
lola: 8015163 markings, 46017304 edges, 35791 markings/sec, 205 secs
lola: 8205668 markings, 47119613 edges, 38101 markings/sec, 210 secs
lola: 8402536 markings, 48255623 edges, 39374 markings/sec, 215 secs
lola: 8593992 markings, 49367841 edges, 38291 markings/sec, 220 secs
lola: 8787116 markings, 50499436 edges, 38625 markings/sec, 225 secs
lola: 8979684 markings, 51618924 edges, 38514 markings/sec, 230 secs
lola: 9173606 markings, 52742015 edges, 38784 markings/sec, 235 secs
lola: 9369470 markings, 53881191 edges, 39173 markings/sec, 240 secs
lola: 9560076 markings, 54995737 edges, 38121 markings/sec, 245 secs
lola: 9747887 markings, 56084480 edges, 37562 markings/sec, 250 secs
lola: 9938976 markings, 57194410 edges, 38218 markings/sec, 255 secs
lola: 10133572 markings, 58308557 edges, 38919 markings/sec, 260 secs
lola: 10325308 markings, 59428442 edges, 38347 markings/sec, 265 secs
lola: 10516719 markings, 60542839 edges, 38282 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 17 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: 145268 markings, 602864 edges, 29054 markings/sec, 0 secs
lola: 287248 markings, 1199705 edges, 28396 markings/sec, 5 secs
lola: 426929 markings, 1788781 edges, 27936 markings/sec, 10 secs
lola: 568788 markings, 2389594 edges, 28372 markings/sec, 15 secs
lola: 711837 markings, 2990409 edges, 28610 markings/sec, 20 secs
lola: 854261 markings, 3590255 edges, 28485 markings/sec, 25 secs
lola: 994797 markings, 4182206 edges, 28107 markings/sec, 30 secs
lola: 1138646 markings, 4795316 edges, 28770 markings/sec, 35 secs
lola: 1281701 markings, 5403872 edges, 28611 markings/sec, 40 secs
lola: 1423514 markings, 6013875 edges, 28363 markings/sec, 45 secs
lola: 1566653 markings, 6618338 edges, 28628 markings/sec, 50 secs
lola: 1707311 markings, 7215875 edges, 28132 markings/sec, 55 secs
lola: 1850002 markings, 7825006 edges, 28538 markings/sec, 60 secs
lola: 1993209 markings, 8440414 edges, 28641 markings/sec, 65 secs
lola: 2138968 markings, 9063320 edges, 29152 markings/sec, 70 secs
lola: 2284152 markings, 9681848 edges, 29037 markings/sec, 75 secs
lola: 2428844 markings, 10311186 edges, 28938 markings/sec, 80 secs
lola: 2573614 markings, 10927436 edges, 28954 markings/sec, 85 secs
lola: 2713460 markings, 11532488 edges, 27969 markings/sec, 90 secs
lola: 2847088 markings, 12119330 edges, 26726 markings/sec, 95 secs
lola: 2980943 markings, 12703996 edges, 26771 markings/sec, 100 secs
lola: 3116483 markings, 13292514 edges, 27108 markings/sec, 105 secs
lola: 3250115 markings, 13871229 edges, 26726 markings/sec, 110 secs
lola: 3383947 markings, 14450920 edges, 26766 markings/sec, 115 secs
lola: 3517670 markings, 15034840 edges, 26745 markings/sec, 120 secs
lola: 3656223 markings, 15639141 edges, 27711 markings/sec, 125 secs
lola: 3799732 markings, 16264306 edges, 28702 markings/sec, 130 secs
lola: 3944124 markings, 16888517 edges, 28878 markings/sec, 135 secs
lola: 4090241 markings, 17524311 edges, 29223 markings/sec, 140 secs
lola: 4235039 markings, 18155394 edges, 28960 markings/sec, 145 secs
lola: 4377281 markings, 18771993 edges, 28448 markings/sec, 150 secs
lola: 4518813 markings, 19386591 edges, 28306 markings/sec, 155 secs
lola: 4660887 markings, 20010968 edges, 28415 markings/sec, 160 secs
lola: 4801708 markings, 20618960 edges, 28164 markings/sec, 165 secs
lola: 4945181 markings, 21248847 edges, 28695 markings/sec, 170 secs
lola: 5089273 markings, 21878023 edges, 28818 markings/sec, 175 secs
lola: 5234120 markings, 22503556 edges, 28969 markings/sec, 180 secs
lola: 5374092 markings, 23120623 edges, 27994 markings/sec, 185 secs
lola: 5513853 markings, 23727800 edges, 27952 markings/sec, 190 secs
lola: 5656357 markings, 24358570 edges, 28501 markings/sec, 195 secs
lola: 5802205 markings, 24999945 edges, 29170 markings/sec, 200 secs
lola: 5941588 markings, 25611145 edges, 27877 markings/sec, 205 secs
lola: 6075717 markings, 26195530 edges, 26826 markings/sec, 210 secs
lola: 6208949 markings, 26776692 edges, 26646 markings/sec, 215 secs
lola: 6342240 markings, 27361032 edges, 26658 markings/sec, 220 secs
lola: 6474040 markings, 27935151 edges, 26360 markings/sec, 225 secs
lola: 6606197 markings, 28527020 edges, 26431 markings/sec, 230 secs
lola: 6742266 markings, 29117083 edges, 27214 markings/sec, 235 secs
lola: 6884225 markings, 29749051 edges, 28392 markings/sec, 240 secs
lola: 7024211 markings, 30372254 edges, 27997 markings/sec, 245 secs
lola: 7165315 markings, 30992424 edges, 28221 markings/sec, 250 secs
lola: 7307911 markings, 31623849 edges, 28519 markings/sec, 255 secs
lola: 7449439 markings, 32242986 edges, 28306 markings/sec, 260 secs
lola: 7590620 markings, 32875228 edges, 28236 markings/sec, 265 secs
lola: 7729313 markings, 33500992 edges, 27739 markings/sec, 270 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p83)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 17 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: 113443 markings, 1044239 edges, 22689 markings/sec, 0 secs
lola: 228504 markings, 2123998 edges, 23012 markings/sec, 5 secs
lola: 344608 markings, 3223163 edges, 23221 markings/sec, 10 secs
lola: 461522 markings, 4324030 edges, 23383 markings/sec, 15 secs
lola: 571978 markings, 5378476 edges, 22091 markings/sec, 20 secs
lola: 686141 markings, 6447402 edges, 22833 markings/sec, 25 secs
lola: 801890 markings, 7542621 edges, 23150 markings/sec, 30 secs
lola: 908385 markings, 8548373 edges, 21299 markings/sec, 35 secs
lola: 1012453 markings, 9526374 edges, 20814 markings/sec, 40 secs
lola: 1123580 markings, 10577062 edges, 22225 markings/sec, 45 secs
lola: 1228428 markings, 11596182 edges, 20970 markings/sec, 50 secs
lola: 1331755 markings, 12610179 edges, 20665 markings/sec, 55 secs
lola: 1436447 markings, 13624953 edges, 20938 markings/sec, 60 secs
lola: 1542879 markings, 14658027 edges, 21286 markings/sec, 65 secs
lola: 1648591 markings, 15680274 edges, 21142 markings/sec, 70 secs
lola: 1754131 markings, 16708092 edges, 21108 markings/sec, 75 secs
lola: 1858866 markings, 17719575 edges, 20947 markings/sec, 80 secs
lola: 1964405 markings, 18749338 edges, 21108 markings/sec, 85 secs
lola: 2069314 markings, 19761741 edges, 20982 markings/sec, 90 secs
lola: 2174805 markings, 20765391 edges, 21098 markings/sec, 95 secs
lola: 2280292 markings, 21760442 edges, 21097 markings/sec, 100 secs
lola: 2384946 markings, 22777950 edges, 20931 markings/sec, 105 secs
lola: 2491470 markings, 23801050 edges, 21305 markings/sec, 110 secs
lola: 2602593 markings, 24830704 edges, 22225 markings/sec, 115 secs
lola: 2713288 markings, 25865590 edges, 22139 markings/sec, 120 secs
lola: 2828104 markings, 26944050 edges, 22963 markings/sec, 125 secs
lola: 2941827 markings, 28020610 edges, 22745 markings/sec, 130 secs
lola: 3048453 markings, 29041057 edges, 21325 markings/sec, 135 secs
lola: 3152852 markings, 30035260 edges, 20880 markings/sec, 140 secs
lola: 3261660 markings, 31075497 edges, 21762 markings/sec, 145 secs
lola: 3373276 markings, 32138629 edges, 22323 markings/sec, 150 secs
lola: 3486962 markings, 33219698 edges, 22737 markings/sec, 155 secs
lola: 3596479 markings, 34288645 edges, 21903 markings/sec, 160 secs
lola: 3708898 markings, 35366830 edges, 22484 markings/sec, 165 secs
lola: 3821146 markings, 36452503 edges, 22450 markings/sec, 170 secs
lola: 3931833 markings, 37503782 edges, 22137 markings/sec, 175 secs
lola: 4041432 markings, 38549420 edges, 21920 markings/sec, 180 secs
lola: 4153736 markings, 39634724 edges, 22461 markings/sec, 185 secs
lola: 4265981 markings, 40726879 edges, 22449 markings/sec, 190 secs
lola: 4381269 markings, 41805420 edges, 23058 markings/sec, 195 secs
lola: 4495784 markings, 42873928 edges, 22903 markings/sec, 200 secs
lola: 4609976 markings, 43949720 edges, 22838 markings/sec, 205 secs
lola: 4721875 markings, 45020790 edges, 22380 markings/sec, 210 secs
lola: 4832900 markings, 46111586 edges, 22205 markings/sec, 215 secs
lola: 4945775 markings, 47174528 edges, 22575 markings/sec, 220 secs
lola: 5059318 markings, 48251936 edges, 22709 markings/sec, 225 secs
lola: 5171616 markings, 49350841 edges, 22460 markings/sec, 230 secs
lola: 5284321 markings, 50470369 edges, 22541 markings/sec, 235 secs
lola: 5396065 markings, 51574910 edges, 22349 markings/sec, 240 secs
lola: 5511162 markings, 52705139 edges, 23019 markings/sec, 245 secs
lola: 5621419 markings, 53780756 edges, 22051 markings/sec, 250 secs
lola: 5732005 markings, 54864912 edges, 22117 markings/sec, 255 secs
lola: 5845158 markings, 55983464 edges, 22631 markings/sec, 260 secs
lola: 5956114 markings, 57081014 edges, 22191 markings/sec, 265 secs
lola: 6069877 markings, 58179432 edges, 22753 markings/sec, 270 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 280 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p153)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 17 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 11 will run for 336 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p158)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 17 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 12 will run for 420 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p90)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 17 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 13 will run for 560 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p148)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 17 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 14 will run for 840 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p156)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 17 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 15 will run for 1681 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p80)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 17 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: 123904 markings, 1125966 edges, 24781 markings/sec, 0 secs
lola: 246718 markings, 2246337 edges, 24563 markings/sec, 5 secs
lola: 368335 markings, 3388770 edges, 24323 markings/sec, 10 secs
lola: 490296 markings, 4525056 edges, 24392 markings/sec, 15 secs
lola: 610689 markings, 5668086 edges, 24079 markings/sec, 20 secs
lola: 728722 markings, 6801908 edges, 23607 markings/sec, 25 secs
lola: 845504 markings, 7937171 edges, 23356 markings/sec, 30 secs
lola: 963108 markings, 9061479 edges, 23521 markings/sec, 35 secs
lola: 1081044 markings, 10209759 edges, 23587 markings/sec, 40 secs
lola: 1199784 markings, 11369155 edges, 23748 markings/sec, 45 secs
lola: 1314712 markings, 12488680 edges, 22986 markings/sec, 50 secs
lola: 1422186 markings, 13552196 edges, 21495 markings/sec, 55 secs
lola: 1530451 markings, 14615765 edges, 21653 markings/sec, 60 secs
lola: 1642095 markings, 15718390 edges, 22329 markings/sec, 65 secs
lola: 1756498 markings, 16863537 edges, 22881 markings/sec, 70 secs
lola: 1872916 markings, 18010216 edges, 23284 markings/sec, 75 secs
lola: 1990085 markings, 19136208 edges, 23434 markings/sec, 80 secs
lola: 2105422 markings, 20288313 edges, 23067 markings/sec, 85 secs
lola: 2217663 markings, 21418221 edges, 22448 markings/sec, 90 secs
lola: 2327485 markings, 22518305 edges, 21964 markings/sec, 95 secs
lola: 2441127 markings, 23653190 edges, 22728 markings/sec, 100 secs
lola: 2556794 markings, 24768491 edges, 23133 markings/sec, 105 secs
lola: 2669365 markings, 25891286 edges, 22514 markings/sec, 110 secs
lola: 2787059 markings, 27081680 edges, 23539 markings/sec, 115 secs
lola: 2899829 markings, 28207355 edges, 22554 markings/sec, 120 secs
lola: 3016253 markings, 29257968 edges, 23285 markings/sec, 125 secs
lola: 3137103 markings, 30366885 edges, 24170 markings/sec, 130 secs
lola: 3257025 markings, 31486002 edges, 23984 markings/sec, 135 secs
lola: 3376048 markings, 32605039 edges, 23805 markings/sec, 140 secs
lola: 3494600 markings, 33773706 edges, 23710 markings/sec, 145 secs
lola: 3611322 markings, 34886305 edges, 23344 markings/sec, 150 secs
lola: 3730018 markings, 36019548 edges, 23739 markings/sec, 155 secs
lola: 3846198 markings, 37174813 edges, 23236 markings/sec, 160 secs
lola: 3962057 markings, 38361731 edges, 23172 markings/sec, 165 secs
lola: 4078158 markings, 39541125 edges, 23220 markings/sec, 170 secs
lola: 4193410 markings, 40686494 edges, 23050 markings/sec, 175 secs
lola: 4309468 markings, 41822951 edges, 23212 markings/sec, 180 secs
lola: 4427541 markings, 42986407 edges, 23615 markings/sec, 185 secs
lola: 4544201 markings, 44185490 edges, 23332 markings/sec, 190 secs
lola: 4662014 markings, 45351104 edges, 23563 markings/sec, 195 secs
lola: 4785239 markings, 46474236 edges, 24645 markings/sec, 200 secs
lola: 4907234 markings, 47591129 edges, 24399 markings/sec, 205 secs
lola: 5026507 markings, 48683133 edges, 23855 markings/sec, 210 secs
lola: 5146452 markings, 49812924 edges, 23989 markings/sec, 215 secs
lola: 5263909 markings, 50924941 edges, 23491 markings/sec, 220 secs
lola: 5380051 markings, 52040245 edges, 23228 markings/sec, 225 secs
lola: 5501229 markings, 53139578 edges, 24236 markings/sec, 230 secs
lola: 5620165 markings, 54255068 edges, 23787 markings/sec, 235 secs
lola: 5732053 markings, 55398858 edges, 22378 markings/sec, 240 secs
lola: 5842651 markings, 56528689 edges, 22120 markings/sec, 245 secs
lola: 5953458 markings, 57646240 edges, 22161 markings/sec, 250 secs
lola: 6066723 markings, 58763944 edges, 22653 markings/sec, 255 secs
lola: 6180998 markings, 59937519 edges, 22855 markings/sec, 260 secs
lola: 6293905 markings, 61106510 edges, 22581 markings/sec, 265 secs
lola: 6406052 markings, 62259306 edges, 22429 markings/sec, 270 secs
lola: 6521633 markings, 63405551 edges, 23116 markings/sec, 275 secs
lola: 6638367 markings, 64538544 edges, 23347 markings/sec, 280 secs
lola: 6754257 markings, 65679685 edges, 23178 markings/sec, 285 secs
lola: 6867961 markings, 66790552 edges, 22741 markings/sec, 290 secs
lola: 6981333 markings, 67970661 edges, 22674 markings/sec, 295 secs
lola: 7093912 markings, 69112143 edges, 22516 markings/sec, 300 secs
lola: 7208504 markings, 70305633 edges, 22918 markings/sec, 305 secs
lola: 7323401 markings, 71475560 edges, 22979 markings/sec, 310 secs
lola: 7436765 markings, 72662128 edges, 22673 markings/sec, 315 secs
lola: 7549800 markings, 73837852 edges, 22607 markings/sec, 320 secs
lola: 7659298 markings, 74984098 edges, 21900 markings/sec, 325 secs
lola: 7768956 markings, 76106986 edges, 21932 markings/sec, 330 secs
lola: 7879109 markings, 77227611 edges, 22031 markings/sec, 335 secs
lola: 7991051 markings, 78393788 edges, 22388 markings/sec, 340 secs
lola: 8102169 markings, 79590561 edges, 22224 markings/sec, 345 secs
lola: 8218844 markings, 80775825 edges, 23335 markings/sec, 350 secs
lola: 8327698 markings, 81851807 edges, 21771 markings/sec, 355 secs
lola: 8431351 markings, 82931948 edges, 20731 markings/sec, 360 secs
lola: 8536990 markings, 84003526 edges, 21128 markings/sec, 365 secs
lola: 8646561 markings, 85147621 edges, 21914 markings/sec, 370 secs
lola: 8760074 markings, 86336697 edges, 22703 markings/sec, 375 secs
lola: 8873482 markings, 87525388 edges, 22682 markings/sec, 380 secs
lola: 8989080 markings, 88722173 edges, 23120 markings/sec, 385 secs
lola: 9103211 markings, 89872303 edges, 22826 markings/sec, 390 secs
lola: 9219209 markings, 91026955 edges, 23200 markings/sec, 395 secs
lola: 9333863 markings, 92187665 edges, 22931 markings/sec, 400 secs
lola: 9442130 markings, 93341323 edges, 21653 markings/sec, 405 secs
lola: 9546557 markings, 94405110 edges, 20885 markings/sec, 410 secs
lola: 9650022 markings, 95489145 edges, 20693 markings/sec, 415 secs
lola: 9756987 markings, 96576476 edges, 21393 markings/sec, 420 secs
lola: 9868863 markings, 97734343 edges, 22375 markings/sec, 425 secs
lola: 9982549 markings, 98838950 edges, 22737 markings/sec, 430 secs
lola: 10099592 markings, 99963201 edges, 23409 markings/sec, 435 secs
lola: 10214193 markings, 101083881 edges, 22920 markings/sec, 440 secs
lola: 10320115 markings, 102127811 edges, 21184 markings/sec, 445 secs
lola: 10424036 markings, 103193837 edges, 20784 markings/sec, 450 secs
lola: 10527737 markings, 104270814 edges, 20740 markings/sec, 455 secs
lola: 10631409 markings, 105333215 edges, 20734 markings/sec, 460 secs
lola: 10736188 markings, 106369343 edges, 20956 markings/sec, 465 secs
lola: 10846174 markings, 107454256 edges, 21997 markings/sec, 470 secs
lola: 10958775 markings, 108610994 edges, 22520 markings/sec, 475 secs
lola: 11068549 markings, 109712253 edges, 21955 markings/sec, 480 secs
lola: 11173071 markings, 110766467 edges, 20904 markings/sec, 485 secs
lola: 11274004 markings, 111833493 edges, 20187 markings/sec, 490 secs
lola: 11379305 markings, 112844163 edges, 21060 markings/sec, 495 secs
lola: 11485647 markings, 113906728 edges, 21268 markings/sec, 500 secs
lola: 11592352 markings, 114944676 edges, 21341 markings/sec, 505 secs
lola: 11695758 markings, 116008862 edges, 20681 markings/sec, 510 secs
lola: 11798621 markings, 117105810 edges, 20573 markings/sec, 515 secs
lola: 11907811 markings, 118240299 edges, 21838 markings/sec, 520 secs
lola: 12018206 markings, 119411862 edges, 22079 markings/sec, 525 secs
lola: 12125295 markings, 120565602 edges, 21418 markings/sec, 530 secs
lola: 12235679 markings, 121724610 edges, 22077 markings/sec, 535 secs
lola: 12346272 markings, 122892166 edges, 22119 markings/sec, 540 secs
lola: 12455723 markings, 124012856 edges, 21890 markings/sec, 545 secs
lola: 12565196 markings, 125125510 edges, 21895 markings/sec, 550 secs
lola: 12670111 markings, 126220048 edges, 20983 markings/sec, 555 secs
lola: 12768729 markings, 127267967 edges, 19724 markings/sec, 560 secs
lola: 12869754 markings, 128357566 edges, 20205 markings/sec, 565 secs
lola: 12973125 markings, 129446776 edges, 20674 markings/sec, 570 secs
lola: 13074662 markings, 130529411 edges, 20307 markings/sec, 575 secs
lola: 13181653 markings, 131623134 edges, 21398 markings/sec, 580 secs
lola: 13288756 markings, 132794020 edges, 21421 markings/sec, 585 secs
lola: 13397848 markings, 133965736 edges, 21818 markings/sec, 590 secs
lola: 13506279 markings, 135117906 edges, 21686 markings/sec, 595 secs
lola: 13616623 markings, 136320892 edges, 22069 markings/sec, 600 secs
lola: 13726216 markings, 137499778 edges, 21919 markings/sec, 605 secs
lola: 13835329 markings, 138645409 edges, 21823 markings/sec, 610 secs
lola: 13944027 markings, 139800919 edges, 21740 markings/sec, 615 secs
lola: 14054317 markings, 140987572 edges, 22058 markings/sec, 620 secs
lola: 14165219 markings, 142175974 edges, 22180 markings/sec, 625 secs
lola: 14277037 markings, 143345354 edges, 22364 markings/sec, 630 secs
lola: 14388909 markings, 144517724 edges, 22374 markings/sec, 635 secs
lola: 14497875 markings, 145709248 edges, 21793 markings/sec, 640 secs
lola: 14606337 markings, 146891903 edges, 21692 markings/sec, 645 secs
lola: 14715295 markings, 148062052 edges, 21792 markings/sec, 650 secs
lola: 14828381 markings, 149255231 edges, 22617 markings/sec, 655 secs
lola: 14942735 markings, 150446726 edges, 22871 markings/sec, 660 secs
lola: 15057828 markings, 151626976 edges, 23019 markings/sec, 665 secs
lola: 15169933 markings, 152845856 edges, 22421 markings/sec, 670 secs
lola: 15281487 markings, 153991400 edges, 22311 markings/sec, 675 secs
lola: 15394390 markings, 155195427 edges, 22581 markings/sec, 680 secs
lola: 15507190 markings, 156329167 edges, 22560 markings/sec, 685 secs
lola: 15624677 markings, 157470436 edges, 23497 markings/sec, 690 secs
lola: 15738931 markings, 158630294 edges, 22851 markings/sec, 695 secs
lola: 15849394 markings, 159802977 edges, 22093 markings/sec, 700 secs
lola: 15960226 markings, 161010619 edges, 22166 markings/sec, 705 secs
lola: 16075082 markings, 162178241 edges, 22971 markings/sec, 710 secs
lola: 16183908 markings, 163350224 edges, 21765 markings/sec, 715 secs
lola: 16297720 markings, 164479785 edges, 22762 markings/sec, 720 secs
lola: 16409187 markings, 165688035 edges, 22293 markings/sec, 725 secs
lola: 16516232 markings, 166857906 edges, 21409 markings/sec, 730 secs
lola: 16619252 markings, 167966645 edges, 20604 markings/sec, 735 secs
lola: 16722411 markings, 169084878 edges, 20632 markings/sec, 740 secs
lola: 16834315 markings, 170266922 edges, 22381 markings/sec, 745 secs
lola: 16946184 markings, 171454351 edges, 22374 markings/sec, 750 secs
lola: 17057072 markings, 172662143 edges, 22178 markings/sec, 755 secs
lola: 17168437 markings, 173858595 edges, 22273 markings/sec, 760 secs
lola: 17281178 markings, 175053624 edges, 22548 markings/sec, 765 secs
lola: 17393447 markings, 176197522 edges, 22454 markings/sec, 770 secs
lola: 17504730 markings, 177348661 edges, 22257 markings/sec, 775 secs
lola: 17614121 markings, 178514945 edges, 21878 markings/sec, 780 secs
lola: 17727203 markings, 179702258 edges, 22616 markings/sec, 785 secs
lola: 17836678 markings, 180904185 edges, 21895 markings/sec, 790 secs
lola: 17948298 markings, 182099913 edges, 22324 markings/sec, 795 secs
lola: 18065778 markings, 183226807 edges, 23496 markings/sec, 800 secs
lola: 18177832 markings, 184428188 edges, 22411 markings/sec, 805 secs
lola: 18287975 markings, 185600687 edges, 22029 markings/sec, 810 secs
lola: 18394397 markings, 186777578 edges, 21284 markings/sec, 815 secs
lola: 18507176 markings, 187899370 edges, 22556 markings/sec, 820 secs
lola: 18614332 markings, 188972089 edges, 21431 markings/sec, 825 secs
lola: 18716823 markings, 190087431 edges, 20498 markings/sec, 830 secs
lola: 18819226 markings, 191205673 edges, 20481 markings/sec, 835 secs
lola: 18921579 markings, 192258077 edges, 20471 markings/sec, 840 secs
lola: 19027282 markings, 193327444 edges, 21141 markings/sec, 845 secs
lola: 19126894 markings, 194422808 edges, 19922 markings/sec, 850 secs
lola: 19228014 markings, 195520993 edges, 20224 markings/sec, 855 secs
lola: 19338626 markings, 196658870 edges, 22122 markings/sec, 860 secs
lola: 19446950 markings, 197771734 edges, 21665 markings/sec, 865 secs
lola: 19555264 markings, 198918970 edges, 21663 markings/sec, 870 secs
lola: 19662032 markings, 200117843 edges, 21354 markings/sec, 875 secs
lola: 19768980 markings, 201306259 edges, 21390 markings/sec, 880 secs
lola: 19875007 markings, 202456261 edges, 21205 markings/sec, 885 secs
lola: 19982044 markings, 203533687 edges, 21407 markings/sec, 890 secs
lola: 20084660 markings, 204603909 edges, 20523 markings/sec, 895 secs
lola: 20184970 markings, 205692795 edges, 20062 markings/sec, 900 secs
lola: 20285529 markings, 206821917 edges, 20112 markings/sec, 905 secs
lola: 20390199 markings, 207957948 edges, 20934 markings/sec, 910 secs
lola: 20493355 markings, 209071929 edges, 20631 markings/sec, 915 secs
lola: 20597309 markings, 210170109 edges, 20791 markings/sec, 920 secs
lola: 20699852 markings, 211289118 edges, 20509 markings/sec, 925 secs
lola: 20801660 markings, 212398757 edges, 20362 markings/sec, 930 secs
lola: 20902900 markings, 213499842 edges, 20248 markings/sec, 935 secs
lola: 21013428 markings, 214697082 edges, 22106 markings/sec, 940 secs
lola: 21123703 markings, 215868172 edges, 22055 markings/sec, 945 secs
lola: 21233880 markings, 216953190 edges, 22035 markings/sec, 950 secs
lola: 21340294 markings, 218041388 edges, 21283 markings/sec, 955 secs
lola: 21442048 markings, 219165152 edges, 20351 markings/sec, 960 secs
lola: 21546446 markings, 220245485 edges, 20880 markings/sec, 965 secs
lola: 21648849 markings, 221337150 edges, 20481 markings/sec, 970 secs
lola: 21753208 markings, 222471270 edges, 20872 markings/sec, 975 secs
lola: 21859402 markings, 223603890 edges, 21239 markings/sec, 980 secs
lola: 21968755 markings, 224782411 edges, 21871 markings/sec, 985 secs
lola: 22078405 markings, 225988067 edges, 21930 markings/sec, 990 secs
lola: 22184378 markings, 227091145 edges, 21195 markings/sec, 995 secs
lola: 22289356 markings, 228242277 edges, 20996 markings/sec, 1000 secs
lola: 22395439 markings, 229409614 edges, 21217 markings/sec, 1005 secs
lola: 22504002 markings, 230600198 edges, 21713 markings/sec, 1010 secs
lola: 22615584 markings, 231766496 edges, 22316 markings/sec, 1015 secs
lola: 22728923 markings, 232929587 edges, 22668 markings/sec, 1020 secs
lola: 22839970 markings, 234084410 edges, 22209 markings/sec, 1025 secs
lola: 22947667 markings, 235274090 edges, 21539 markings/sec, 1030 secs
lola: 23057709 markings, 236441699 edges, 22008 markings/sec, 1035 secs
lola: 23166779 markings, 237599756 edges, 21814 markings/sec, 1040 secs
lola: 23267183 markings, 238740944 edges, 20081 markings/sec, 1045 secs
lola: 23368197 markings, 239839156 edges, 20203 markings/sec, 1050 secs
lola: 23469043 markings, 240956440 edges, 20169 markings/sec, 1055 secs
lola: 23571820 markings, 242045418 edges, 20555 markings/sec, 1060 secs
lola: 23677498 markings, 243127159 edges, 21136 markings/sec, 1065 secs
lola: 23779324 markings, 244247749 edges, 20365 markings/sec, 1070 secs
lola: 23881929 markings, 245346420 edges, 20521 markings/sec, 1075 secs
lola: 23983086 markings, 246494986 edges, 20231 markings/sec, 1080 secs
lola: 24090001 markings, 247559007 edges, 21383 markings/sec, 1085 secs
lola: 24193372 markings, 248656612 edges, 20674 markings/sec, 1090 secs
lola: 24297004 markings, 249728027 edges, 20726 markings/sec, 1095 secs
lola: 24396673 markings, 250818660 edges, 19934 markings/sec, 1100 secs
lola: 24498363 markings, 251922554 edges, 20338 markings/sec, 1105 secs
lola: 24602634 markings, 253088656 edges, 20854 markings/sec, 1110 secs
lola: 24708116 markings, 254205949 edges, 21096 markings/sec, 1115 secs
lola: 24810324 markings, 255298215 edges, 20442 markings/sec, 1120 secs
lola: 24912263 markings, 256404050 edges, 20388 markings/sec, 1125 secs
lola: 25019983 markings, 257543084 edges, 21544 markings/sec, 1130 secs
lola: 25133328 markings, 258727292 edges, 22669 markings/sec, 1135 secs
lola: 25242947 markings, 259917154 edges, 21924 markings/sec, 1140 secs
lola: 25353428 markings, 261116802 edges, 22096 markings/sec, 1145 secs
lola: 25459838 markings, 262307427 edges, 21282 markings/sec, 1150 secs
lola: 25561650 markings, 263419191 edges, 20362 markings/sec, 1155 secs
lola: 25664649 markings, 264511311 edges, 20600 markings/sec, 1160 secs
lola: 25771134 markings, 265612047 edges, 21297 markings/sec, 1165 secs
lola: 25880029 markings, 266765497 edges, 21779 markings/sec, 1170 secs
lola: 25990733 markings, 267912245 edges, 22141 markings/sec, 1175 secs
lola: 26098895 markings, 269115302 edges, 21632 markings/sec, 1180 secs
lola: 26207832 markings, 270341665 edges, 21787 markings/sec, 1185 secs
lola: 26318109 markings, 271553914 edges, 22055 markings/sec, 1190 secs
lola: 26427147 markings, 272756304 edges, 21808 markings/sec, 1195 secs
lola: 26539244 markings, 273930322 edges, 22419 markings/sec, 1200 secs
lola: 26648743 markings, 275066052 edges, 21900 markings/sec, 1205 secs
lola: 26755868 markings, 276179930 edges, 21425 markings/sec, 1210 secs
lola: 26862236 markings, 277320691 edges, 21274 markings/sec, 1215 secs
lola: 26969648 markings, 278497279 edges, 21482 markings/sec, 1220 secs
lola: 27077927 markings, 279702752 edges, 21656 markings/sec, 1225 secs
lola: 27186932 markings, 280903234 edges, 21801 markings/sec, 1230 secs
lola: 27293361 markings, 282078867 edges, 21286 markings/sec, 1235 secs
lola: 27395201 markings, 283187961 edges, 20368 markings/sec, 1240 secs
lola: 27497685 markings, 284296350 edges, 20497 markings/sec, 1245 secs
lola: 27598732 markings, 285425408 edges, 20209 markings/sec, 1250 secs
lola: 27699554 markings, 286544459 edges, 20164 markings/sec, 1255 secs
lola: 27803764 markings, 287624193 edges, 20842 markings/sec, 1260 secs
lola: 27907757 markings, 288700770 edges, 20799 markings/sec, 1265 secs
lola: 28010179 markings, 289847330 edges, 20484 markings/sec, 1270 secs
lola: 28115878 markings, 290997018 edges, 21140 markings/sec, 1275 secs
lola: 28228657 markings, 292112542 edges, 22556 markings/sec, 1280 secs
lola: 28331847 markings, 293217759 edges, 20638 markings/sec, 1285 secs
lola: 28432351 markings, 294354093 edges, 20101 markings/sec, 1290 secs
lola: 28535063 markings, 295511439 edges, 20542 markings/sec, 1295 secs
lola: 28644145 markings, 296711330 edges, 21816 markings/sec, 1300 secs
lola: 28751554 markings, 297910405 edges, 21482 markings/sec, 1305 secs
lola: 28861622 markings, 299092640 edges, 22014 markings/sec, 1310 secs
lola: 28967485 markings, 300263251 edges, 21173 markings/sec, 1315 secs
lola: 29071217 markings, 301358186 edges, 20746 markings/sec, 1320 secs
lola: 29172259 markings, 302477269 edges, 20208 markings/sec, 1325 secs
lola: 29276000 markings, 303628770 edges, 20748 markings/sec, 1330 secs
lola: 29383285 markings, 304817506 edges, 21457 markings/sec, 1335 secs
lola: 29491078 markings, 305987459 edges, 21559 markings/sec, 1340 secs
lola: 29598516 markings, 307181483 edges, 21488 markings/sec, 1345 secs
lola: 29708754 markings, 308384876 edges, 22048 markings/sec, 1350 secs
lola: 29823339 markings, 309604275 edges, 22917 markings/sec, 1355 secs
lola: 29933058 markings, 310819698 edges, 21944 markings/sec, 1360 secs
lola: 30040449 markings, 312047851 edges, 21478 markings/sec, 1365 secs
lola: 30147629 markings, 313228876 edges, 21436 markings/sec, 1370 secs
lola: 30254483 markings, 314439050 edges, 21371 markings/sec, 1375 secs
lola: 30359180 markings, 315594975 edges, 20939 markings/sec, 1380 secs
lola: 30462013 markings, 316673757 edges, 20567 markings/sec, 1385 secs
lola: 30565901 markings, 317811212 edges, 20778 markings/sec, 1390 secs
lola: 30670615 markings, 318887406 edges, 20943 markings/sec, 1395 secs
lola: 30777579 markings, 319989613 edges, 21393 markings/sec, 1400 secs
lola: 30883321 markings, 321172921 edges, 21148 markings/sec, 1405 secs
lola: 30990062 markings, 322331215 edges, 21348 markings/sec, 1410 secs
lola: 31093553 markings, 323462212 edges, 20698 markings/sec, 1415 secs
lola: 31202268 markings, 324664273 edges, 21743 markings/sec, 1420 secs
lola: 31310305 markings, 325874095 edges, 21607 markings/sec, 1425 secs
lola: 31419130 markings, 327060210 edges, 21765 markings/sec, 1430 secs
lola: 31518744 markings, 328141774 edges, 19923 markings/sec, 1435 secs
lola: 31622913 markings, 329180761 edges, 20834 markings/sec, 1440 secs
lola: 31728176 markings, 330310977 edges, 21053 markings/sec, 1445 secs
lola: 31834645 markings, 331503257 edges, 21294 markings/sec, 1450 secs
lola: 31943723 markings, 332705753 edges, 21816 markings/sec, 1455 secs
lola: 32053581 markings, 333870192 edges, 21972 markings/sec, 1460 secs
lola: 32158745 markings, 335059995 edges, 21033 markings/sec, 1465 secs
lola: 32264996 markings, 336232365 edges, 21250 markings/sec, 1470 secs
lola: 32374607 markings, 337430514 edges, 21922 markings/sec, 1475 secs
lola: 32485177 markings, 338632528 edges, 22114 markings/sec, 1480 secs
lola: 32594682 markings, 339871856 edges, 21901 markings/sec, 1485 secs
lola: 32704981 markings, 341099044 edges, 22060 markings/sec, 1490 secs
lola: 32816124 markings, 342301621 edges, 22229 markings/sec, 1495 secs
lola: 32925004 markings, 343531990 edges, 21776 markings/sec, 1500 secs
lola: 33031945 markings, 344766877 edges, 21388 markings/sec, 1505 secs
lola: 33141526 markings, 345952935 edges, 21916 markings/sec, 1510 secs
lola: 33248480 markings, 347160946 edges, 21391 markings/sec, 1515 secs
lola: 33359079 markings, 348332017 edges, 22120 markings/sec, 1520 secs
lola: 33471286 markings, 349512161 edges, 22441 markings/sec, 1525 secs
lola: 33590702 markings, 350621335 edges, 23883 markings/sec, 1530 secs
lola: 33708599 markings, 351739420 edges, 23579 markings/sec, 1535 secs
lola: 33822149 markings, 352920021 edges, 22710 markings/sec, 1540 secs
lola: 33935517 markings, 354091746 edges, 22674 markings/sec, 1545 secs
lola: 34047864 markings, 355275108 edges, 22469 markings/sec, 1550 secs
lola: 34157750 markings, 356495643 edges, 21977 markings/sec, 1555 secs
lola: 34267374 markings, 357706304 edges, 21925 markings/sec, 1560 secs
lola: 34373475 markings, 358881005 edges, 21220 markings/sec, 1565 secs
lola: 34483236 markings, 360070248 edges, 21952 markings/sec, 1570 secs
lola: 34597946 markings, 361186407 edges, 22942 markings/sec, 1575 secs
lola: 34709684 markings, 362300498 edges, 22348 markings/sec, 1580 secs
lola: 34819055 markings, 363518964 edges, 21874 markings/sec, 1585 secs
lola: 34922836 markings, 364700109 edges, 20756 markings/sec, 1590 secs
lola: 35027876 markings, 365903217 edges, 21008 markings/sec, 1595 secs
lola: 35136261 markings, 367116990 edges, 21677 markings/sec, 1600 secs
lola: 35244276 markings, 368361222 edges, 21603 markings/sec, 1605 secs
lola: 35351541 markings, 369593154 edges, 21453 markings/sec, 1610 secs
lola: 35459731 markings, 370827867 edges, 21638 markings/sec, 1615 secs
lola: 35569431 markings, 372032778 edges, 21940 markings/sec, 1620 secs
lola: 35677062 markings, 373255080 edges, 21526 markings/sec, 1625 secs
lola: 35786316 markings, 374439951 edges, 21851 markings/sec, 1630 secs
lola: 35897498 markings, 375598807 edges, 22236 markings/sec, 1635 secs
lola: 36005427 markings, 376787371 edges, 21586 markings/sec, 1640 secs
lola: 36112809 markings, 377986431 edges, 21476 markings/sec, 1645 secs
lola: 36222141 markings, 379172315 edges, 21866 markings/sec, 1650 secs
lola: 36276885 markings, 379796716 edges, 10949 markings/sec, 1655 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown 1 unknown 1 1 unknown unknown unknown unknown unknown 1 1 1 1 1 unknown
FORMULA DLCround-PT-05a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05a-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05a-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05a-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05a-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05a-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05a-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05a-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05a-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-05a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496541013540

--------------------
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="DLCround-PT-05a"
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/DLCround-PT-05a.tgz
mv DLCround-PT-05a 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 DLCround-PT-05a, 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 r178-csrt-149580961600236"
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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;