About the Execution of LoLA for DES-PT-30a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4366.380 | 3540170.00 | 3556586.00 | 530.10 | ? ? ? ? ? ? ? ? 1 ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..............
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is DES-PT-30a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309100281
=====================================================================
--------------------
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-30a-UpperBounds-0
FORMULA_NAME DES-PT-30a-UpperBounds-1
FORMULA_NAME DES-PT-30a-UpperBounds-10
FORMULA_NAME DES-PT-30a-UpperBounds-11
FORMULA_NAME DES-PT-30a-UpperBounds-12
FORMULA_NAME DES-PT-30a-UpperBounds-13
FORMULA_NAME DES-PT-30a-UpperBounds-14
FORMULA_NAME DES-PT-30a-UpperBounds-15
FORMULA_NAME DES-PT-30a-UpperBounds-2
FORMULA_NAME DES-PT-30a-UpperBounds-3
FORMULA_NAME DES-PT-30a-UpperBounds-4
FORMULA_NAME DES-PT-30a-UpperBounds-5
FORMULA_NAME DES-PT-30a-UpperBounds-6
FORMULA_NAME DES-PT-30a-UpperBounds-7
FORMULA_NAME DES-PT-30a-UpperBounds-8
FORMULA_NAME DES-PT-30a-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494628462281
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DES-PT-30a @ 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: 425/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 234 places, 191 transitions, 175 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 216 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-30a-UpperBounds.task
lola: MAX(p79) : MAX(p92) : MAX(p58) : MAX(p4) : MAX(p186) : MAX(p62) : MAX(p223) : MAX(p85) : MAX(p47) : MAX(p140) : MAX(p199) : MAX(p150) : MAX(p195) : MAX(p82) : MAX(p199) : MAX(p137)
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(p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 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: 847617 markings, 1719287 edges, 169523 markings/sec, 0 secs
lola: 1700284 markings, 3453844 edges, 170533 markings/sec, 5 secs
lola: 2580917 markings, 5242371 edges, 176127 markings/sec, 10 secs
lola: 3451474 markings, 7009368 edges, 174111 markings/sec, 15 secs
lola: 4344991 markings, 8817150 edges, 178703 markings/sec, 20 secs
lola: 5122313 markings, 10455132 edges, 155464 markings/sec, 25 secs
lola: 5923264 markings, 12149106 edges, 160190 markings/sec, 30 secs
lola: 6769887 markings, 13880034 edges, 169325 markings/sec, 35 secs
lola: 7638082 markings, 15666266 edges, 173639 markings/sec, 40 secs
lola: 8453230 markings, 17433443 edges, 163030 markings/sec, 45 secs
lola: 9319738 markings, 19193097 edges, 173302 markings/sec, 50 secs
lola: 10155873 markings, 20971480 edges, 167227 markings/sec, 55 secs
lola: 10981999 markings, 22694732 edges, 165225 markings/sec, 60 secs
lola: 11851338 markings, 24444081 edges, 173868 markings/sec, 65 secs
lola: 12711579 markings, 26210508 edges, 172048 markings/sec, 70 secs
lola: 13552854 markings, 27963833 edges, 168255 markings/sec, 75 secs
lola: 14400016 markings, 29695982 edges, 169432 markings/sec, 80 secs
lola: 15237784 markings, 31456492 edges, 167554 markings/sec, 85 secs
lola: 16030265 markings, 33143064 edges, 158496 markings/sec, 90 secs
lola: 16866521 markings, 34820686 edges, 167251 markings/sec, 95 secs
lola: 17742027 markings, 36586871 edges, 175101 markings/sec, 100 secs
lola: 18587639 markings, 38378113 edges, 169122 markings/sec, 105 secs
lola: 19390323 markings, 40110952 edges, 160537 markings/sec, 110 secs
lola: 20258139 markings, 41842062 edges, 173563 markings/sec, 115 secs
lola: 21091831 markings, 43601868 edges, 166738 markings/sec, 120 secs
lola: 21903768 markings, 45307898 edges, 162387 markings/sec, 125 secs
lola: 22767598 markings, 47021161 edges, 172766 markings/sec, 130 secs
lola: 23611342 markings, 48762643 edges, 168749 markings/sec, 135 secs
lola: 24461298 markings, 50526259 edges, 169991 markings/sec, 140 secs
lola: 25281317 markings, 52230373 edges, 164004 markings/sec, 145 secs
lola: 26120859 markings, 53975483 edges, 167908 markings/sec, 150 secs
lola: 26916487 markings, 55683507 edges, 159126 markings/sec, 155 secs
lola: 27743384 markings, 57361019 edges, 165379 markings/sec, 160 secs
lola: 28611543 markings, 59085926 edges, 173632 markings/sec, 165 secs
lola: 29443124 markings, 60830835 edges, 166316 markings/sec, 170 secs
lola: 30238976 markings, 62535159 edges, 159170 markings/sec, 175 secs
lola: 31083649 markings, 64236982 edges, 168935 markings/sec, 180 secs
lola: 31906928 markings, 65965516 edges, 164656 markings/sec, 185 secs
lola: 32704091 markings, 67659876 edges, 159433 markings/sec, 190 secs
lola: 33554339 markings, 69346654 edges, 170050 markings/sec, 195 secs
lola: 34394516 markings, 71062930 edges, 168035 markings/sec, 200 secs
lola: 35236409 markings, 72816483 edges, 168379 markings/sec, 205 secs
lola: 36001412 markings, 74503022 edges, 153001 markings/sec, 210 secs
lola: 36875622 markings, 76237902 edges, 174842 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(p92)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 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: 1070925 markings, 1553025 edges, 214185 markings/sec, 0 secs
lola: 2129437 markings, 3223048 edges, 211702 markings/sec, 5 secs
lola: 3147377 markings, 5013911 edges, 203588 markings/sec, 10 secs
lola: 4133322 markings, 6690729 edges, 197189 markings/sec, 15 secs
lola: 5025223 markings, 8486021 edges, 178380 markings/sec, 20 secs
lola: 5893609 markings, 10297873 edges, 173677 markings/sec, 25 secs
lola: 6703446 markings, 12161141 edges, 161967 markings/sec, 30 secs
lola: 7543288 markings, 14023772 edges, 167968 markings/sec, 35 secs
lola: 8412304 markings, 15802534 edges, 173803 markings/sec, 40 secs
lola: 9289235 markings, 17531412 edges, 175386 markings/sec, 45 secs
lola: 10169711 markings, 19319437 edges, 176095 markings/sec, 50 secs
lola: 10983479 markings, 21005488 edges, 162754 markings/sec, 55 secs
lola: 11840387 markings, 22723678 edges, 171382 markings/sec, 60 secs
lola: 12686807 markings, 24452399 edges, 169284 markings/sec, 65 secs
lola: 13538238 markings, 26162878 edges, 170286 markings/sec, 70 secs
lola: 14401649 markings, 27925608 edges, 172682 markings/sec, 75 secs
lola: 15251002 markings, 29655313 edges, 169871 markings/sec, 80 secs
lola: 16101235 markings, 31397701 edges, 170047 markings/sec, 85 secs
lola: 16951314 markings, 33137527 edges, 170016 markings/sec, 90 secs
lola: 17802741 markings, 34901040 edges, 170285 markings/sec, 95 secs
lola: 18634896 markings, 36596821 edges, 166431 markings/sec, 100 secs
lola: 19476829 markings, 38325736 edges, 168387 markings/sec, 105 secs
lola: 20355402 markings, 40145104 edges, 175715 markings/sec, 110 secs
lola: 21310500 markings, 41861872 edges, 191020 markings/sec, 115 secs
lola: 22220118 markings, 43570660 edges, 181924 markings/sec, 120 secs
lola: 23044496 markings, 45354867 edges, 164876 markings/sec, 125 secs
lola: 23881910 markings, 47047684 edges, 167483 markings/sec, 130 secs
lola: 24718561 markings, 48740429 edges, 167330 markings/sec, 135 secs
lola: 25553130 markings, 50484417 edges, 166914 markings/sec, 140 secs
lola: 26364425 markings, 52319794 edges, 162259 markings/sec, 145 secs
lola: 27126692 markings, 54138326 edges, 152453 markings/sec, 150 secs
lola: 27892965 markings, 55957982 edges, 153255 markings/sec, 155 secs
lola: 28679905 markings, 57813675 edges, 157388 markings/sec, 160 secs
lola: 29489252 markings, 59629192 edges, 161869 markings/sec, 165 secs
lola: 30377831 markings, 61431293 edges, 177716 markings/sec, 170 secs
lola: 31255483 markings, 63228763 edges, 175530 markings/sec, 175 secs
lola: 32091226 markings, 65095563 edges, 167149 markings/sec, 180 secs
lola: 32878730 markings, 66947375 edges, 157501 markings/sec, 185 secs
lola: 33725633 markings, 68750305 edges, 169381 markings/sec, 190 secs
lola: 34545353 markings, 70628915 edges, 163944 markings/sec, 195 secs
lola: 35337930 markings, 72469447 edges, 158515 markings/sec, 200 secs
lola: 36139851 markings, 74297218 edges, 160384 markings/sec, 205 secs
lola: 36938857 markings, 76122096 edges, 159801 markings/sec, 210 secs
lola: 37821197 markings, 77949760 edges, 176468 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(p58)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 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: 1530296 markings, 1677398 edges, 306059 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 3 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 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: 1253977 markings, 1839236 edges, 250795 markings/sec, 0 secs
lola: 2526087 markings, 3727997 edges, 254422 markings/sec, 5 secs
lola: 3722210 markings, 5596082 edges, 239225 markings/sec, 10 secs
lola: 4967099 markings, 7402237 edges, 248978 markings/sec, 15 secs
lola: 6158680 markings, 9221706 edges, 238316 markings/sec, 20 secs
lola: 7341493 markings, 11087504 edges, 236563 markings/sec, 25 secs
lola: 8536453 markings, 12898052 edges, 238992 markings/sec, 30 secs
lola: 9795090 markings, 14736577 edges, 251727 markings/sec, 35 secs
lola: 10966985 markings, 16530903 edges, 234379 markings/sec, 40 secs
lola: 12052237 markings, 18333535 edges, 217050 markings/sec, 45 secs
lola: 13255360 markings, 20107110 edges, 240625 markings/sec, 50 secs
lola: 14451607 markings, 21873852 edges, 239249 markings/sec, 55 secs
lola: 15614652 markings, 23665311 edges, 232609 markings/sec, 60 secs
lola: 16805276 markings, 25481724 edges, 238125 markings/sec, 65 secs
lola: 18016517 markings, 27323240 edges, 242248 markings/sec, 70 secs
lola: 19226904 markings, 29149201 edges, 242077 markings/sec, 75 secs
lola: 20406270 markings, 30973402 edges, 235873 markings/sec, 80 secs
lola: 21516212 markings, 32811599 edges, 221988 markings/sec, 85 secs
lola: 22711768 markings, 34584690 edges, 239111 markings/sec, 90 secs
lola: 23882582 markings, 36380933 edges, 234163 markings/sec, 95 secs
lola: 25097003 markings, 38216348 edges, 242884 markings/sec, 100 secs
lola: 26312317 markings, 40040475 edges, 243063 markings/sec, 105 secs
lola: 27488525 markings, 41833138 edges, 235242 markings/sec, 110 secs
lola: 28558627 markings, 43635610 edges, 214020 markings/sec, 115 secs
lola: 29657982 markings, 45422985 edges, 219871 markings/sec, 120 secs
lola: 30848611 markings, 47179900 edges, 238126 markings/sec, 125 secs
lola: 32030896 markings, 48934289 edges, 236457 markings/sec, 130 secs
lola: 33212408 markings, 50710255 edges, 236302 markings/sec, 135 secs
lola: 34359818 markings, 52487550 edges, 229482 markings/sec, 140 secs
lola: 35542276 markings, 54267952 edges, 236492 markings/sec, 145 secs
lola: 36719437 markings, 56068687 edges, 235432 markings/sec, 150 secs
lola: 37874388 markings, 57860937 edges, 230990 markings/sec, 155 secs
lola: 39049304 markings, 59666153 edges, 234983 markings/sec, 160 secs
lola: 40194000 markings, 61499297 edges, 228939 markings/sec, 165 secs
lola: 41377398 markings, 63318167 edges, 236680 markings/sec, 170 secs
lola: 42583170 markings, 65158546 edges, 241154 markings/sec, 175 secs
lola: 43728394 markings, 66997994 edges, 229045 markings/sec, 180 secs
lola: 44832277 markings, 68838540 edges, 220777 markings/sec, 185 secs
lola: 45947596 markings, 70637157 edges, 223064 markings/sec, 190 secs
lola: 47129848 markings, 72391557 edges, 236450 markings/sec, 195 secs
lola: 48261980 markings, 74206861 edges, 226426 markings/sec, 200 secs
lola: 49466980 markings, 76020023 edges, 241000 markings/sec, 205 secs
lola: 50702904 markings, 77848884 edges, 247185 markings/sec, 210 secs
lola: 51889592 markings, 79640588 edges, 237338 markings/sec, 215 secs
lola: 53061771 markings, 81431201 edges, 234436 markings/sec, 220 secs
lola: 54095291 markings, 83222699 edges, 206704 markings/sec, 225 secs
lola: 55196023 markings, 85025401 edges, 220146 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p186)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 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: 1055855 markings, 1930572 edges, 211171 markings/sec, 0 secs
lola: 2151326 markings, 3841928 edges, 219094 markings/sec, 5 secs
lola: 3209335 markings, 5809534 edges, 211602 markings/sec, 10 secs
lola: 4270471 markings, 7744884 edges, 212227 markings/sec, 15 secs
lola: 5321543 markings, 9682563 edges, 210214 markings/sec, 20 secs
lola: 6331071 markings, 11633217 edges, 201906 markings/sec, 25 secs
lola: 7371225 markings, 13530529 edges, 208031 markings/sec, 30 secs
lola: 8399372 markings, 15433165 edges, 205629 markings/sec, 35 secs
lola: 9385927 markings, 17339452 edges, 197311 markings/sec, 40 secs
lola: 10404846 markings, 19182452 edges, 203784 markings/sec, 45 secs
lola: 11395476 markings, 21048292 edges, 198126 markings/sec, 50 secs
lola: 12375745 markings, 22904835 edges, 196054 markings/sec, 55 secs
lola: 13327404 markings, 24631593 edges, 190332 markings/sec, 60 secs
lola: 14278092 markings, 26452392 edges, 190138 markings/sec, 65 secs
lola: 15229898 markings, 28220063 edges, 190361 markings/sec, 70 secs
lola: 16202742 markings, 30006299 edges, 194569 markings/sec, 75 secs
lola: 17155954 markings, 31847819 edges, 190642 markings/sec, 80 secs
lola: 18151468 markings, 33650292 edges, 199103 markings/sec, 85 secs
lola: 19107757 markings, 35465252 edges, 191258 markings/sec, 90 secs
lola: 20077297 markings, 37278929 edges, 193908 markings/sec, 95 secs
lola: 21035680 markings, 39020083 edges, 191677 markings/sec, 100 secs
lola: 21939181 markings, 40781441 edges, 180700 markings/sec, 105 secs
lola: 22898618 markings, 42513360 edges, 191887 markings/sec, 110 secs
lola: 23815828 markings, 44252435 edges, 183442 markings/sec, 115 secs
lola: 24743496 markings, 45996135 edges, 185534 markings/sec, 120 secs
lola: 25688951 markings, 47713849 edges, 189091 markings/sec, 125 secs
lola: 26588747 markings, 49461720 edges, 179959 markings/sec, 130 secs
lola: 27531102 markings, 51166288 edges, 188471 markings/sec, 135 secs
lola: 28432181 markings, 52884289 edges, 180216 markings/sec, 140 secs
lola: 29338650 markings, 54572993 edges, 181294 markings/sec, 145 secs
lola: 30249627 markings, 56239095 edges, 182195 markings/sec, 150 secs
lola: 31141027 markings, 57953553 edges, 178280 markings/sec, 155 secs
lola: 32064306 markings, 59620976 edges, 184656 markings/sec, 160 secs
lola: 32941970 markings, 61317279 edges, 175533 markings/sec, 165 secs
lola: 33854885 markings, 62979820 edges, 182583 markings/sec, 170 secs
lola: 34743463 markings, 64659634 edges, 177716 markings/sec, 175 secs
lola: 35644054 markings, 66349432 edges, 180118 markings/sec, 180 secs
lola: 36558850 markings, 68013412 edges, 182959 markings/sec, 185 secs
lola: 37429919 markings, 69703858 edges, 174214 markings/sec, 190 secs
lola: 38347301 markings, 71360276 edges, 183476 markings/sec, 195 secs
lola: 39228401 markings, 73049845 edges, 176220 markings/sec, 200 secs
lola: 40125968 markings, 74698149 edges, 179513 markings/sec, 205 secs
lola: 41005679 markings, 76351871 edges, 175942 markings/sec, 210 secs
lola: 41928404 markings, 78016323 edges, 184545 markings/sec, 215 secs
lola: 42848334 markings, 79740502 edges, 183986 markings/sec, 220 secs
lola: 43754925 markings, 81461133 edges, 181318 markings/sec, 225 secs
lola: 44580550 markings, 83095340 edges, 165125 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 237 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 24 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: 800806 markings, 1624831 edges, 160161 markings/sec, 0 secs
lola: 1606933 markings, 3267804 edges, 161225 markings/sec, 5 secs
lola: 2417667 markings, 4907071 edges, 162147 markings/sec, 10 secs
lola: 3216340 markings, 6538623 edges, 159735 markings/sec, 15 secs
lola: 4032218 markings, 8192398 edges, 163176 markings/sec, 20 secs
lola: 4772548 markings, 9736125 edges, 148066 markings/sec, 25 secs
lola: 5537382 markings, 11340767 edges, 152967 markings/sec, 30 secs
lola: 6278345 markings, 12890214 edges, 148193 markings/sec, 35 secs
lola: 7090593 markings, 14534330 edges, 162450 markings/sec, 40 secs
lola: 7883432 markings, 16180607 edges, 158568 markings/sec, 45 secs
lola: 8617195 markings, 17767198 edges, 146753 markings/sec, 50 secs
lola: 9412830 markings, 19395068 edges, 159127 markings/sec, 55 secs
lola: 10171383 markings, 21016849 edges, 151711 markings/sec, 60 secs
lola: 10935581 markings, 22601114 edges, 152840 markings/sec, 65 secs
lola: 11738862 markings, 24206351 edges, 160656 markings/sec, 70 secs
lola: 12532316 markings, 25839529 edges, 158691 markings/sec, 75 secs
lola: 13332442 markings, 27488871 edges, 160025 markings/sec, 80 secs
lola: 14067816 markings, 29054141 edges, 147075 markings/sec, 85 secs
lola: 14859936 markings, 30675381 edges, 158424 markings/sec, 90 secs
lola: 15618170 markings, 32282905 edges, 151647 markings/sec, 95 secs
lola: 16381478 markings, 33881864 edges, 152662 markings/sec, 100 secs
lola: 17194239 markings, 35494729 edges, 162552 markings/sec, 105 secs
lola: 17989963 markings, 37131145 edges, 159145 markings/sec, 110 secs
lola: 18797008 markings, 38795641 edges, 161409 markings/sec, 115 secs
lola: 19536743 markings, 40383123 edges, 147947 markings/sec, 120 secs
lola: 20329583 markings, 41999898 edges, 158568 markings/sec, 125 secs
lola: 21099668 markings, 43626762 edges, 154017 markings/sec, 130 secs
lola: 21857934 markings, 45217941 edges, 151653 markings/sec, 135 secs
lola: 22666062 markings, 46816120 edges, 161626 markings/sec, 140 secs
lola: 23454239 markings, 48436828 edges, 157635 markings/sec, 145 secs
lola: 24247655 markings, 50088798 edges, 158683 markings/sec, 150 secs
lola: 24971040 markings, 51668693 edges, 144677 markings/sec, 155 secs
lola: 25773693 markings, 53269678 edges, 160531 markings/sec, 160 secs
lola: 26542951 markings, 54894804 edges, 153852 markings/sec, 165 secs
lola: 27294875 markings, 56478175 edges, 150385 markings/sec, 170 secs
lola: 28103870 markings, 58057355 edges, 161799 markings/sec, 175 secs
lola: 28889038 markings, 59686020 edges, 157034 markings/sec, 180 secs
lola: 29683606 markings, 61333847 edges, 158914 markings/sec, 185 secs
lola: 30401747 markings, 62922504 edges, 143628 markings/sec, 190 secs
lola: 31218463 markings, 64532372 edges, 163343 markings/sec, 195 secs
lola: 31994712 markings, 66169254 edges, 155250 markings/sec, 200 secs
lola: 32749268 markings, 67769645 edges, 150911 markings/sec, 205 secs
lola: 33561110 markings, 69353011 edges, 162368 markings/sec, 210 secs
lola: 34341714 markings, 70963289 edges, 156121 markings/sec, 215 secs
lola: 35129793 markings, 72604514 edges, 157616 markings/sec, 220 secs
lola: 35850804 markings, 74188004 edges, 144202 markings/sec, 225 secs
lola: 36654792 markings, 75781772 edges, 160798 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p223)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 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: 898359 markings, 1886165 edges, 179672 markings/sec, 0 secs
lola: 1746852 markings, 3762956 edges, 169699 markings/sec, 5 secs
lola: 2614379 markings, 5613716 edges, 173505 markings/sec, 10 secs
lola: 3471709 markings, 7448086 edges, 171466 markings/sec, 15 secs
lola: 4301481 markings, 9285733 edges, 165954 markings/sec, 20 secs
lola: 5155444 markings, 11107380 edges, 170793 markings/sec, 25 secs
lola: 5976550 markings, 12926520 edges, 164221 markings/sec, 30 secs
lola: 6816114 markings, 14710184 edges, 167913 markings/sec, 35 secs
lola: 7635594 markings, 16529275 edges, 163896 markings/sec, 40 secs
lola: 8483052 markings, 18332218 edges, 169492 markings/sec, 45 secs
lola: 9285137 markings, 20112728 edges, 160417 markings/sec, 50 secs
lola: 10110292 markings, 21858262 edges, 165031 markings/sec, 55 secs
lola: 10897204 markings, 23612916 edges, 157382 markings/sec, 60 secs
lola: 11706722 markings, 25319102 edges, 161904 markings/sec, 65 secs
lola: 12477907 markings, 27041465 edges, 154237 markings/sec, 70 secs
lola: 13292891 markings, 28760560 edges, 162997 markings/sec, 75 secs
lola: 14072360 markings, 30503209 edges, 155894 markings/sec, 80 secs
lola: 14883099 markings, 32211031 edges, 162148 markings/sec, 85 secs
lola: 15677569 markings, 33992703 edges, 158894 markings/sec, 90 secs
lola: 16493491 markings, 35703373 edges, 163184 markings/sec, 95 secs
lola: 17289738 markings, 37490759 edges, 159249 markings/sec, 100 secs
lola: 18108445 markings, 39207868 edges, 163741 markings/sec, 105 secs
lola: 18898030 markings, 40983480 edges, 157917 markings/sec, 110 secs
lola: 19711994 markings, 42688848 edges, 162793 markings/sec, 115 secs
lola: 20497717 markings, 44453308 edges, 157145 markings/sec, 120 secs
lola: 21304812 markings, 46150838 edges, 161419 markings/sec, 125 secs
lola: 22088026 markings, 47902543 edges, 156643 markings/sec, 130 secs
lola: 22888585 markings, 49586633 edges, 160112 markings/sec, 135 secs
lola: 23665174 markings, 51324880 edges, 155318 markings/sec, 140 secs
lola: 24463158 markings, 52999467 edges, 159597 markings/sec, 145 secs
lola: 25232140 markings, 54727698 edges, 153796 markings/sec, 150 secs
lola: 26027727 markings, 56389547 edges, 159117 markings/sec, 155 secs
lola: 26784476 markings, 58090734 edges, 151350 markings/sec, 160 secs
lola: 27567146 markings, 59730912 edges, 156534 markings/sec, 165 secs
lola: 28319823 markings, 61415839 edges, 150535 markings/sec, 170 secs
lola: 29094069 markings, 63046390 edges, 154849 markings/sec, 175 secs
lola: 29832189 markings, 64694693 edges, 147624 markings/sec, 180 secs
lola: 30602857 markings, 66323562 edges, 154134 markings/sec, 185 secs
lola: 31347875 markings, 67973492 edges, 149004 markings/sec, 190 secs
lola: 32120047 markings, 69609937 edges, 154434 markings/sec, 195 secs
lola: 32874484 markings, 71286677 edges, 150887 markings/sec, 200 secs
lola: 33648383 markings, 72925551 edges, 154780 markings/sec, 205 secs
lola: 34397397 markings, 74585787 edges, 149803 markings/sec, 210 secs
lola: 35168359 markings, 76219247 edges, 154192 markings/sec, 215 secs
lola: 35912030 markings, 77868000 edges, 148734 markings/sec, 220 secs
lola: 36678565 markings, 79494761 edges, 153307 markings/sec, 225 secs
lola: 37421229 markings, 81136705 edges, 148533 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p85)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 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: 896774 markings, 1821821 edges, 179355 markings/sec, 0 secs
lola: 1792839 markings, 3642820 edges, 179213 markings/sec, 5 secs
lola: 2702921 markings, 5490378 edges, 182016 markings/sec, 10 secs
lola: 3607545 markings, 7323684 edges, 180925 markings/sec, 15 secs
lola: 4526681 markings, 9188266 edges, 183827 markings/sec, 20 secs
lola: 5334380 markings, 10897783 edges, 161540 markings/sec, 25 secs
lola: 6155693 markings, 12637036 edges, 164263 markings/sec, 30 secs
lola: 7054285 markings, 14444210 edges, 179718 markings/sec, 35 secs
lola: 7947734 markings, 16308806 edges, 178690 markings/sec, 40 secs
lola: 8782362 markings, 18101500 edges, 166926 markings/sec, 45 secs
lola: 9686919 markings, 19953443 edges, 180911 markings/sec, 50 secs
lola: 10526132 markings, 21755544 edges, 167843 markings/sec, 55 secs
lola: 11399133 markings, 23520494 edges, 174600 markings/sec, 60 secs
lola: 12321867 markings, 25362465 edges, 184547 markings/sec, 65 secs
lola: 13201931 markings, 27229492 edges, 176013 markings/sec, 70 secs
lola: 14033837 markings, 29021655 edges, 166381 markings/sec, 75 secs
lola: 14941984 markings, 30841444 edges, 181629 markings/sec, 80 secs
lola: 15810178 markings, 32673360 edges, 173639 markings/sec, 85 secs
lola: 16670229 markings, 34460981 edges, 172010 markings/sec, 90 secs
lola: 17580190 markings, 36282467 edges, 181992 markings/sec, 95 secs
lola: 18475954 markings, 38138871 edges, 179153 markings/sec, 100 secs
lola: 19341249 markings, 39975249 edges, 173059 markings/sec, 105 secs
lola: 20229666 markings, 41770361 edges, 177683 markings/sec, 110 secs
lola: 21091046 markings, 43589969 edges, 172276 markings/sec, 115 secs
lola: 21927313 markings, 45360529 edges, 167253 markings/sec, 120 secs
lola: 22828683 markings, 47138791 edges, 180274 markings/sec, 125 secs
lola: 23696685 markings, 48936800 edges, 173600 markings/sec, 130 secs
lola: 24576470 markings, 50762297 edges, 175957 markings/sec, 135 secs
lola: 25425544 markings, 52522735 edges, 169815 markings/sec, 140 secs
lola: 26291712 markings, 54332771 edges, 173234 markings/sec, 145 secs
lola: 27118389 markings, 56086896 edges, 165335 markings/sec, 150 secs
lola: 27986370 markings, 57829225 edges, 173596 markings/sec, 155 secs
lola: 28879335 markings, 59636620 edges, 178593 markings/sec, 160 secs
lola: 29749907 markings, 61472477 edges, 174114 markings/sec, 165 secs
lola: 30557603 markings, 63226739 edges, 161539 markings/sec, 170 secs
lola: 31444812 markings, 64997097 edges, 177442 markings/sec, 175 secs
lola: 32292212 markings, 66783682 edges, 169480 markings/sec, 180 secs
lola: 33129592 markings, 68527017 edges, 167476 markings/sec, 185 secs
lola: 34001408 markings, 70293480 edges, 174363 markings/sec, 190 secs
lola: 34871029 markings, 72071220 edges, 173924 markings/sec, 195 secs
lola: 35718324 markings, 73848857 edges, 169459 markings/sec, 200 secs
lola: 36578677 markings, 75601489 edges, 172071 markings/sec, 205 secs
lola: 37433565 markings, 77395001 edges, 170978 markings/sec, 210 secs
lola: 38263613 markings, 79148867 edges, 166010 markings/sec, 215 secs
lola: 39136455 markings, 80901290 edges, 174568 markings/sec, 220 secs
lola: 40004545 markings, 82672944 edges, 173618 markings/sec, 225 secs
lola: 40877727 markings, 84493103 edges, 174636 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p47)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 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: 983224 markings, 1890092 edges, 196645 markings/sec, 0 secs
lola: 1857883 markings, 3704622 edges, 174932 markings/sec, 5 secs
lola: 2705076 markings, 5502624 edges, 169439 markings/sec, 10 secs
lola: 3520945 markings, 7282307 edges, 163174 markings/sec, 15 secs
lola: 4360544 markings, 9048168 edges, 167920 markings/sec, 20 secs
lola: 5188276 markings, 10859347 edges, 165546 markings/sec, 25 secs
lola: 6027993 markings, 12612941 edges, 167943 markings/sec, 30 secs
lola: 6854220 markings, 14370620 edges, 165245 markings/sec, 35 secs
lola: 7664013 markings, 16136215 edges, 161959 markings/sec, 40 secs
lola: 8491707 markings, 17879166 edges, 165539 markings/sec, 45 secs
lola: 9302446 markings, 19657498 edges, 162148 markings/sec, 50 secs
lola: 10136637 markings, 21391966 edges, 166838 markings/sec, 55 secs
lola: 10977896 markings, 23178391 edges, 168252 markings/sec, 60 secs
lola: 11903910 markings, 24988811 edges, 185203 markings/sec, 65 secs
lola: 12781636 markings, 26815042 edges, 175545 markings/sec, 70 secs
lola: 13625637 markings, 28664485 edges, 168800 markings/sec, 75 secs
lola: 14446957 markings, 30390481 edges, 164264 markings/sec, 80 secs
lola: 15304784 markings, 32221693 edges, 171565 markings/sec, 85 secs
lola: 16086478 markings, 34006798 edges, 156339 markings/sec, 90 secs
lola: 16889824 markings, 35668133 edges, 160669 markings/sec, 95 secs
lola: 17701273 markings, 37455498 edges, 162290 markings/sec, 100 secs
lola: 18479771 markings, 39208413 edges, 155700 markings/sec, 105 secs
lola: 19269655 markings, 40933703 edges, 157977 markings/sec, 110 secs
lola: 20050472 markings, 42593445 edges, 156163 markings/sec, 115 secs
lola: 20856885 markings, 44340899 edges, 161283 markings/sec, 120 secs
lola: 21616664 markings, 46074412 edges, 151956 markings/sec, 125 secs
lola: 22428677 markings, 47792811 edges, 162403 markings/sec, 130 secs
lola: 23211056 markings, 49522069 edges, 156476 markings/sec, 135 secs
lola: 24030897 markings, 51299790 edges, 163968 markings/sec, 140 secs
lola: 24788972 markings, 53044260 edges, 151615 markings/sec, 145 secs
lola: 25605439 markings, 54739703 edges, 163293 markings/sec, 150 secs
lola: 26393163 markings, 56480648 edges, 157545 markings/sec, 155 secs
lola: 27189049 markings, 58235854 edges, 159177 markings/sec, 160 secs
lola: 27945703 markings, 59954007 edges, 151331 markings/sec, 165 secs
lola: 28736637 markings, 61590750 edges, 158187 markings/sec, 170 secs
lola: 29531008 markings, 63343241 edges, 158874 markings/sec, 175 secs
lola: 30304298 markings, 65068916 edges, 154658 markings/sec, 180 secs
lola: 31071831 markings, 66792776 edges, 153507 markings/sec, 185 secs
lola: 31859483 markings, 68449939 edges, 157530 markings/sec, 190 secs
lola: 32661845 markings, 70197070 edges, 160472 markings/sec, 195 secs
lola: 33433529 markings, 71935643 edges, 154337 markings/sec, 200 secs
lola: 34236636 markings, 73701045 edges, 160621 markings/sec, 205 secs
lola: 35039292 markings, 75382974 edges, 160531 markings/sec, 210 secs
lola: 35906707 markings, 77141558 edges, 173483 markings/sec, 215 secs
lola: 36682725 markings, 78859288 edges, 155204 markings/sec, 220 secs
lola: 37412704 markings, 80566251 edges, 145996 markings/sec, 225 secs
lola: 38141245 markings, 82199903 edges, 145708 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p140)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 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: 790619 markings, 1762518 edges, 158124 markings/sec, 0 secs
lola: 1594410 markings, 3562167 edges, 160758 markings/sec, 5 secs
lola: 2360237 markings, 5289523 edges, 153165 markings/sec, 10 secs
lola: 3143789 markings, 7065723 edges, 156710 markings/sec, 15 secs
lola: 3954087 markings, 8956028 edges, 162060 markings/sec, 20 secs
lola: 4721200 markings, 10764946 edges, 153423 markings/sec, 25 secs
lola: 5520904 markings, 12621318 edges, 159941 markings/sec, 30 secs
lola: 6394665 markings, 14510738 edges, 174752 markings/sec, 35 secs
lola: 7238474 markings, 16418579 edges, 168762 markings/sec, 40 secs
lola: 8041018 markings, 18265172 edges, 160509 markings/sec, 45 secs
lola: 8855623 markings, 20111999 edges, 162921 markings/sec, 50 secs
lola: 9743505 markings, 21966926 edges, 177576 markings/sec, 55 secs
lola: 10582277 markings, 23728701 edges, 167754 markings/sec, 60 secs
lola: 11332451 markings, 25472794 edges, 150035 markings/sec, 65 secs
lola: 12114732 markings, 27211665 edges, 156456 markings/sec, 70 secs
lola: 12894635 markings, 29056589 edges, 155981 markings/sec, 75 secs
lola: 13727132 markings, 30889195 edges, 166499 markings/sec, 80 secs
lola: 14521113 markings, 32696526 edges, 158796 markings/sec, 85 secs
lola: 15362808 markings, 34590047 edges, 168339 markings/sec, 90 secs
lola: 16177525 markings, 36479072 edges, 162943 markings/sec, 95 secs
lola: 16920173 markings, 38263444 edges, 148530 markings/sec, 100 secs
lola: 17728124 markings, 40155564 edges, 161590 markings/sec, 105 secs
lola: 18588772 markings, 42066716 edges, 172130 markings/sec, 110 secs
lola: 19459116 markings, 43959972 edges, 174069 markings/sec, 115 secs
lola: 20291766 markings, 45860860 edges, 166530 markings/sec, 120 secs
lola: 21121280 markings, 47715068 edges, 165903 markings/sec, 125 secs
lola: 21953548 markings, 49569201 edges, 166454 markings/sec, 130 secs
lola: 22811793 markings, 51425098 edges, 171649 markings/sec, 135 secs
lola: 23649035 markings, 53285499 edges, 167448 markings/sec, 140 secs
lola: 24437143 markings, 55087225 edges, 157622 markings/sec, 145 secs
lola: 25214993 markings, 56916151 edges, 155570 markings/sec, 150 secs
lola: 26046949 markings, 58726350 edges, 166391 markings/sec, 155 secs
lola: 26921158 markings, 60568868 edges, 174842 markings/sec, 160 secs
lola: 27884767 markings, 62478365 edges, 192722 markings/sec, 165 secs
lola: 28735552 markings, 64230472 edges, 170157 markings/sec, 170 secs
lola: 29475939 markings, 65935369 edges, 148077 markings/sec, 175 secs
lola: 30227613 markings, 67642396 edges, 150335 markings/sec, 180 secs
lola: 31054271 markings, 69448267 edges, 165332 markings/sec, 185 secs
lola: 31831143 markings, 71264598 edges, 155374 markings/sec, 190 secs
lola: 32678358 markings, 73081296 edges, 169443 markings/sec, 195 secs
lola: 33435105 markings, 74855812 edges, 151349 markings/sec, 200 secs
lola: 34239807 markings, 76625814 edges, 160940 markings/sec, 205 secs
lola: 35030563 markings, 78479970 edges, 158151 markings/sec, 210 secs
lola: 35856618 markings, 80284380 edges, 165211 markings/sec, 215 secs
lola: 36626761 markings, 82077344 edges, 154029 markings/sec, 220 secs
lola: 37483768 markings, 83910349 edges, 171401 markings/sec, 225 secs
lola: 38295666 markings, 85786137 edges, 162380 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p199)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 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: 1024396 markings, 1926590 edges, 204879 markings/sec, 0 secs
lola: 2116430 markings, 3848909 edges, 218407 markings/sec, 5 secs
lola: 3165263 markings, 5820337 edges, 209767 markings/sec, 10 secs
lola: 4229828 markings, 7767822 edges, 212913 markings/sec, 15 secs
lola: 5273283 markings, 9719127 edges, 208691 markings/sec, 20 secs
lola: 6275598 markings, 11676701 edges, 200463 markings/sec, 25 secs
lola: 7311970 markings, 13582698 edges, 207274 markings/sec, 30 secs
lola: 8333668 markings, 15505145 edges, 204340 markings/sec, 35 secs
lola: 9321881 markings, 17429574 edges, 197643 markings/sec, 40 secs
lola: 10359345 markings, 19327330 edges, 207493 markings/sec, 45 secs
lola: 11355075 markings, 21221055 edges, 199146 markings/sec, 50 secs
lola: 12342972 markings, 23115539 edges, 197579 markings/sec, 55 secs
lola: 13303458 markings, 24873715 edges, 192097 markings/sec, 60 secs
lola: 14226382 markings, 26664478 edges, 184585 markings/sec, 65 secs
lola: 15164217 markings, 28418875 edges, 187567 markings/sec, 70 secs
lola: 16117939 markings, 30196391 edges, 190744 markings/sec, 75 secs
lola: 17052674 markings, 32012415 edges, 186947 markings/sec, 80 secs
lola: 18027471 markings, 33802668 edges, 194959 markings/sec, 85 secs
lola: 18962517 markings, 35601107 edges, 187009 markings/sec, 90 secs
lola: 19913170 markings, 37389811 edges, 190131 markings/sec, 95 secs
lola: 20875250 markings, 39160570 edges, 192416 markings/sec, 100 secs
lola: 21779280 markings, 40944433 edges, 180806 markings/sec, 105 secs
lola: 22748009 markings, 42711509 edges, 193746 markings/sec, 110 secs
lola: 23665901 markings, 44478805 edges, 183578 markings/sec, 115 secs
lola: 24611277 markings, 46255722 edges, 189075 markings/sec, 120 secs
lola: 25566020 markings, 48016496 edges, 190949 markings/sec, 125 secs
lola: 26475780 markings, 49803720 edges, 181952 markings/sec, 130 secs
lola: 27431955 markings, 51553107 edges, 191235 markings/sec, 135 secs
lola: 28337846 markings, 53293627 edges, 181178 markings/sec, 140 secs
lola: 29258568 markings, 55027102 edges, 184144 markings/sec, 145 secs
lola: 30190386 markings, 56744118 edges, 186364 markings/sec, 150 secs
lola: 31070684 markings, 58478187 edges, 176060 markings/sec, 155 secs
lola: 32004015 markings, 60182339 edges, 186666 markings/sec, 160 secs
lola: 32892164 markings, 61893139 edges, 177630 markings/sec, 165 secs
lola: 33799729 markings, 63590297 edges, 181513 markings/sec, 170 secs
lola: 34699020 markings, 65275335 edges, 179858 markings/sec, 175 secs
lola: 35585654 markings, 66980113 edges, 177327 markings/sec, 180 secs
lola: 36507126 markings, 68660965 edges, 184294 markings/sec, 185 secs
lola: 37367731 markings, 70362350 edges, 172121 markings/sec, 190 secs
lola: 38289324 markings, 72043878 edges, 184319 markings/sec, 195 secs
lola: 39168816 markings, 73739987 edges, 175898 markings/sec, 200 secs
lola: 40070513 markings, 75433236 edges, 180339 markings/sec, 205 secs
lola: 40974740 markings, 77113238 edges, 180845 markings/sec, 210 secs
lola: 41885122 markings, 78782968 edges, 182076 markings/sec, 215 secs
lola: 42794560 markings, 80502267 edges, 181888 markings/sec, 220 secs
lola: 43670313 markings, 82214481 edges, 175151 markings/sec, 225 secs
lola: 44472347 markings, 83837502 edges, 160407 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p150)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 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: 807953 markings, 1637791 edges, 161591 markings/sec, 0 secs
lola: 1606154 markings, 3266295 edges, 159640 markings/sec, 5 secs
lola: 2415555 markings, 4902413 edges, 161880 markings/sec, 10 secs
lola: 3212681 markings, 6530731 edges, 159425 markings/sec, 15 secs
lola: 4026153 markings, 8179291 edges, 162694 markings/sec, 20 secs
lola: 4766282 markings, 9720233 edges, 148026 markings/sec, 25 secs
lola: 5532548 markings, 11329221 edges, 153253 markings/sec, 30 secs
lola: 6275808 markings, 12885093 edges, 148652 markings/sec, 35 secs
lola: 7087559 markings, 14527804 edges, 162350 markings/sec, 40 secs
lola: 7892955 markings, 16199033 edges, 161079 markings/sec, 45 secs
lola: 8650477 markings, 17826051 edges, 151504 markings/sec, 50 secs
lola: 9460748 markings, 19488409 edges, 162054 markings/sec, 55 secs
lola: 10221982 markings, 21131125 edges, 152247 markings/sec, 60 secs
lola: 11001203 markings, 22735849 edges, 155844 markings/sec, 65 secs
lola: 11808057 markings, 24363147 edges, 161371 markings/sec, 70 secs
lola: 12608266 markings, 25997347 edges, 160042 markings/sec, 75 secs
lola: 13407519 markings, 27656240 edges, 159851 markings/sec, 80 secs
lola: 14178231 markings, 29267585 edges, 154142 markings/sec, 85 secs
lola: 14982107 markings, 30927564 edges, 160775 markings/sec, 90 secs
lola: 15740194 markings, 32554785 edges, 151617 markings/sec, 95 secs
lola: 16517660 markings, 34152888 edges, 155493 markings/sec, 100 secs
lola: 17325120 markings, 35788448 edges, 161492 markings/sec, 105 secs
lola: 18130013 markings, 37432668 edges, 160979 markings/sec, 110 secs
lola: 18930219 markings, 39090948 edges, 160041 markings/sec, 115 secs
lola: 19710409 markings, 40708551 edges, 156038 markings/sec, 120 secs
lola: 20502650 markings, 42357387 edges, 158448 markings/sec, 125 secs
lola: 21258419 markings, 43973457 edges, 151154 markings/sec, 130 secs
lola: 22030694 markings, 45560909 edges, 154455 markings/sec, 135 secs
lola: 22832909 markings, 47188111 edges, 160443 markings/sec, 140 secs
lola: 23629263 markings, 48814659 edges, 159271 markings/sec, 145 secs
lola: 24422362 markings, 50455655 edges, 158620 markings/sec, 150 secs
lola: 25185367 markings, 52046409 edges, 152601 markings/sec, 155 secs
lola: 25971885 markings, 53671536 edges, 157304 markings/sec, 160 secs
lola: 26715937 markings, 55271684 edges, 148810 markings/sec, 165 secs
lola: 27481082 markings, 56848452 edges, 153029 markings/sec, 170 secs
lola: 28275505 markings, 58445894 edges, 158885 markings/sec, 175 secs
lola: 29063873 markings, 60058363 edges, 157674 markings/sec, 180 secs
lola: 29854732 markings, 61693103 edges, 158172 markings/sec, 185 secs
lola: 30602419 markings, 63266515 edges, 149537 markings/sec, 190 secs
lola: 31391493 markings, 64884194 edges, 157815 markings/sec, 195 secs
lola: 32139202 markings, 66484275 edges, 149542 markings/sec, 200 secs
lola: 32893009 markings, 68056771 edges, 150761 markings/sec, 205 secs
lola: 33688580 markings, 69632855 edges, 159114 markings/sec, 210 secs
lola: 34462239 markings, 71221458 edges, 154732 markings/sec, 215 secs
lola: 35239624 markings, 72840148 edges, 155477 markings/sec, 220 secs
lola: 35954432 markings, 74412131 edges, 142962 markings/sec, 225 secs
lola: 36761742 markings, 76012618 edges, 161462 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p195)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 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: 1011393 markings, 1900209 edges, 202279 markings/sec, 0 secs
lola: 2087482 markings, 3797857 edges, 215218 markings/sec, 5 secs
lola: 3126488 markings, 5743086 edges, 207801 markings/sec, 10 secs
lola: 4176207 markings, 7663895 edges, 209944 markings/sec, 15 secs
lola: 5193880 markings, 9580883 edges, 203535 markings/sec, 20 secs
lola: 6190502 markings, 11511925 edges, 199324 markings/sec, 25 secs
lola: 7220343 markings, 13402787 edges, 205968 markings/sec, 30 secs
lola: 8212532 markings, 15294710 edges, 198438 markings/sec, 35 secs
lola: 9200740 markings, 17182487 edges, 197642 markings/sec, 40 secs
lola: 10212815 markings, 19046082 edges, 202415 markings/sec, 45 secs
lola: 11186532 markings, 20923147 edges, 194743 markings/sec, 50 secs
lola: 12173441 markings, 22780773 edges, 197382 markings/sec, 55 secs
lola: 13137622 markings, 24558366 edges, 192836 markings/sec, 60 secs
lola: 14060373 markings, 26370832 edges, 184550 markings/sec, 65 secs
lola: 15011670 markings, 28108990 edges, 190259 markings/sec, 70 secs
lola: 15954666 markings, 29911633 edges, 188599 markings/sec, 75 secs
lola: 16915151 markings, 31734322 edges, 192097 markings/sec, 80 secs
lola: 17893535 markings, 33532363 edges, 195677 markings/sec, 85 secs
lola: 18825717 markings, 35352313 edges, 186436 markings/sec, 90 secs
lola: 19792074 markings, 37145508 edges, 193271 markings/sec, 95 secs
lola: 20742363 markings, 38926784 edges, 190058 markings/sec, 100 secs
lola: 21669906 markings, 40721232 edges, 185509 markings/sec, 105 secs
lola: 22629801 markings, 42476781 edges, 191979 markings/sec, 110 secs
lola: 23545195 markings, 44252814 edges, 183079 markings/sec, 115 secs
lola: 24481218 markings, 46002745 edges, 187205 markings/sec, 120 secs
lola: 25415428 markings, 47746578 edges, 186842 markings/sec, 125 secs
lola: 26328921 markings, 49513933 edges, 182699 markings/sec, 130 secs
lola: 27279112 markings, 51252505 edges, 190038 markings/sec, 135 secs
lola: 28189275 markings, 53019201 edges, 182033 markings/sec, 140 secs
lola: 29126064 markings, 54766666 edges, 187358 markings/sec, 145 secs
lola: 30054874 markings, 56504990 edges, 185762 markings/sec, 150 secs
lola: 30965169 markings, 58259989 edges, 182059 markings/sec, 155 secs
lola: 31904196 markings, 59981299 edges, 187805 markings/sec, 160 secs
lola: 32793709 markings, 61718987 edges, 177903 markings/sec, 165 secs
lola: 33726053 markings, 63438690 edges, 186469 markings/sec, 170 secs
lola: 34627275 markings, 65151193 edges, 180244 markings/sec, 175 secs
lola: 35533336 markings, 66874300 edges, 181212 markings/sec, 180 secs
lola: 36459395 markings, 68575193 edges, 185212 markings/sec, 185 secs
lola: 37308976 markings, 70255938 edges, 169916 markings/sec, 190 secs
lola: 38239244 markings, 71949262 edges, 186054 markings/sec, 195 secs
lola: 39126442 markings, 73658960 edges, 177440 markings/sec, 200 secs
lola: 40034470 markings, 75364127 edges, 181606 markings/sec, 205 secs
lola: 40944591 markings, 77056666 edges, 182024 markings/sec, 210 secs
lola: 41869653 markings, 78753234 edges, 185012 markings/sec, 215 secs
lola: 42791828 markings, 80496732 edges, 184435 markings/sec, 220 secs
lola: 43678812 markings, 82229302 edges, 177397 markings/sec, 225 secs
lola: 44491326 markings, 83878193 edges, 162503 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p82)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 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: 887128 markings, 1804860 edges, 177426 markings/sec, 0 secs
lola: 1758379 markings, 3573781 edges, 174250 markings/sec, 5 secs
lola: 2643164 markings, 5371423 edges, 176957 markings/sec, 10 secs
lola: 3519270 markings, 7150563 edges, 175221 markings/sec, 15 secs
lola: 4419570 markings, 8973364 edges, 180060 markings/sec, 20 secs
lola: 5203152 markings, 10625968 edges, 156716 markings/sec, 25 secs
lola: 6009642 markings, 12331891 edges, 161298 markings/sec, 30 secs
lola: 6862781 markings, 14076445 edges, 170628 markings/sec, 35 secs
lola: 7739476 markings, 15881278 edges, 175339 markings/sec, 40 secs
lola: 8556742 markings, 17660337 edges, 163453 markings/sec, 45 secs
lola: 9435581 markings, 19438417 edges, 175768 markings/sec, 50 secs
lola: 10279064 markings, 21224010 edges, 168697 markings/sec, 55 secs
lola: 11115930 markings, 22967616 edges, 167373 markings/sec, 60 secs
lola: 11992197 markings, 24736307 edges, 175253 markings/sec, 65 secs
lola: 12862293 markings, 26520499 edges, 174019 markings/sec, 70 secs
lola: 13708696 markings, 28304567 edges, 169281 markings/sec, 75 secs
lola: 14573977 markings, 30058487 edges, 173056 markings/sec, 80 secs
lola: 15424904 markings, 31841409 edges, 170185 markings/sec, 85 secs
lola: 16243576 markings, 33580820 edges, 163734 markings/sec, 90 secs
lola: 17117152 markings, 35326525 edges, 174715 markings/sec, 95 secs
lola: 17989922 markings, 37115822 edges, 174554 markings/sec, 100 secs
lola: 18860031 markings, 38927676 edges, 174022 markings/sec, 105 secs
lola: 19676746 markings, 40662087 edges, 163343 markings/sec, 110 secs
lola: 20549113 markings, 42432578 edges, 174473 markings/sec, 115 secs
lola: 21360212 markings, 44178610 edges, 162220 markings/sec, 120 secs
lola: 22189159 markings, 45876795 edges, 165789 markings/sec, 125 secs
lola: 23061422 markings, 47621040 edges, 174453 markings/sec, 130 secs
lola: 23906031 markings, 49380212 edges, 168922 markings/sec, 135 secs
lola: 24737250 markings, 51137307 edges, 166244 markings/sec, 140 secs
lola: 25590195 markings, 52861582 edges, 170589 markings/sec, 145 secs
lola: 26428213 markings, 54616336 edges, 167604 markings/sec, 150 secs
lola: 27237114 markings, 56332308 edges, 161780 markings/sec, 155 secs
lola: 28089825 markings, 58040974 edges, 170542 markings/sec, 160 secs
lola: 28952699 markings, 59800383 edges, 172575 markings/sec, 165 secs
lola: 29812151 markings, 61592563 edges, 171890 markings/sec, 170 secs
lola: 30603467 markings, 63317473 edges, 158263 markings/sec, 175 secs
lola: 31484155 markings, 65076159 edges, 176138 markings/sec, 180 secs
lola: 32306358 markings, 66830799 edges, 164441 markings/sec, 185 secs
lola: 33134866 markings, 68539257 edges, 165702 markings/sec, 190 secs
lola: 33994334 markings, 70272475 edges, 171894 markings/sec, 195 secs
lola: 34844975 markings, 72019285 edges, 170128 markings/sec, 200 secs
lola: 35676733 markings, 73765587 edges, 166352 markings/sec, 205 secs
lola: 36525960 markings, 75495863 edges, 169845 markings/sec, 210 secs
lola: 37367809 markings, 77259137 edges, 168370 markings/sec, 215 secs
lola: 38182729 markings, 78987613 edges, 162984 markings/sec, 220 secs
lola: 39028376 markings, 80682605 edges, 169129 markings/sec, 225 secs
lola: 39879538 markings, 82410592 edges, 170232 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p199)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 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: 1034227 markings, 1943852 edges, 206845 markings/sec, 0 secs
lola: 2134285 markings, 3877082 edges, 220012 markings/sec, 5 secs
lola: 3195025 markings, 5871053 edges, 212148 markings/sec, 10 secs
lola: 4262435 markings, 7835092 edges, 213482 markings/sec, 15 secs
lola: 5314156 markings, 9794539 edges, 210344 markings/sec, 20 secs
lola: 6321788 markings, 11764964 edges, 201526 markings/sec, 25 secs
lola: 7365121 markings, 13689831 edges, 208667 markings/sec, 30 secs
lola: 8400168 markings, 15618744 edges, 207009 markings/sec, 35 secs
lola: 9387496 markings, 17550554 edges, 197466 markings/sec, 40 secs
lola: 10424317 markings, 19457429 edges, 207364 markings/sec, 45 secs
lola: 11434299 markings, 21358485 edges, 201996 markings/sec, 50 secs
lola: 12409746 markings, 23251641 edges, 195089 markings/sec, 55 secs
lola: 13380448 markings, 25029746 edges, 194140 markings/sec, 60 secs
lola: 14321120 markings, 26840237 edges, 188134 markings/sec, 65 secs
lola: 15285321 markings, 28654644 edges, 192840 markings/sec, 70 secs
lola: 16268386 markings, 30466062 edges, 196613 markings/sec, 75 secs
lola: 17211833 markings, 32319720 edges, 188689 markings/sec, 80 secs
lola: 18205771 markings, 34147103 edges, 198788 markings/sec, 85 secs
lola: 19173088 markings, 35966999 edges, 193463 markings/sec, 90 secs
lola: 20122217 markings, 37802036 edges, 189826 markings/sec, 95 secs
lola: 21106697 markings, 39605001 edges, 196896 markings/sec, 100 secs
lola: 22040268 markings, 41408229 edges, 186714 markings/sec, 105 secs
lola: 22994224 markings, 43202975 edges, 190791 markings/sec, 110 secs
lola: 23955694 markings, 44979768 edges, 192294 markings/sec, 115 secs
lola: 24867795 markings, 46775606 edges, 182420 markings/sec, 120 secs
lola: 25828073 markings, 48525103 edges, 192056 markings/sec, 125 secs
lola: 26739809 markings, 50281014 edges, 182347 markings/sec, 130 secs
lola: 27671326 markings, 52031982 edges, 186303 markings/sec, 135 secs
lola: 28618220 markings, 53780188 edges, 189379 markings/sec, 140 secs
lola: 29518565 markings, 55549404 edges, 180069 markings/sec, 145 secs
lola: 30470966 markings, 57287191 edges, 190480 markings/sec, 150 secs
lola: 31376799 markings, 59031317 edges, 181167 markings/sec, 155 secs
lola: 32297151 markings, 60761493 edges, 184070 markings/sec, 160 secs
lola: 33222970 markings, 62477313 edges, 185164 markings/sec, 165 secs
lola: 34117108 markings, 64215527 edges, 178828 markings/sec, 170 secs
lola: 35052263 markings, 65924182 edges, 187031 markings/sec, 175 secs
lola: 35940415 markings, 67651606 edges, 177630 markings/sec, 180 secs
lola: 36860444 markings, 69358119 edges, 184006 markings/sec, 185 secs
lola: 37762790 markings, 71064188 edges, 180469 markings/sec, 190 secs
lola: 38664689 markings, 72785978 edges, 180380 markings/sec, 195 secs
lola: 39596075 markings, 74491535 edges, 186277 markings/sec, 200 secs
lola: 40472985 markings, 76223678 edges, 175382 markings/sec, 205 secs
lola: 41406757 markings, 77928988 edges, 186754 markings/sec, 210 secs
lola: 42360666 markings, 79676220 edges, 190782 markings/sec, 215 secs
lola: 43281419 markings, 81434019 edges, 184151 markings/sec, 220 secs
lola: 44108157 markings, 83101260 edges, 165348 markings/sec, 225 secs
lola: 44933371 markings, 84774559 edges, 165043 markings/sec, 230 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 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 24 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: 778624 markings, 1633317 edges, 155725 markings/sec, 0 secs
lola: 1503317 markings, 3141409 edges, 144939 markings/sec, 5 secs
lola: 2157703 markings, 4612668 edges, 130877 markings/sec, 10 secs
lola: 2844322 markings, 6025294 edges, 137324 markings/sec, 15 secs
lola: 3582405 markings, 7571996 edges, 147617 markings/sec, 20 secs
lola: 4257651 markings, 9075599 edges, 135049 markings/sec, 25 secs
lola: 4969526 markings, 10542640 edges, 142375 markings/sec, 30 secs
lola: 5676693 markings, 12039381 edges, 141433 markings/sec, 35 secs
lola: 6378284 markings, 13520119 edges, 140318 markings/sec, 40 secs
lola: 7080616 markings, 15055658 edges, 140466 markings/sec, 45 secs
lola: 7808357 markings, 16621541 edges, 145548 markings/sec, 50 secs
lola: 8414925 markings, 18047501 edges, 121314 markings/sec, 55 secs
lola: 9022882 markings, 19449587 edges, 121591 markings/sec, 60 secs
lola: 9578985 markings, 20780180 edges, 111221 markings/sec, 65 secs
lola: 10171507 markings, 22167625 edges, 118504 markings/sec, 70 secs
lola: 10726560 markings, 23438257 edges, 111011 markings/sec, 75 secs
lola: 11348613 markings, 24853241 edges, 124411 markings/sec, 80 secs
lola: 11911511 markings, 26239707 edges, 112580 markings/sec, 85 secs
lola: 12482384 markings, 27520218 edges, 114175 markings/sec, 90 secs
lola: 13111370 markings, 28981243 edges, 125797 markings/sec, 95 secs
lola: 13662102 markings, 30387989 edges, 110146 markings/sec, 100 secs
lola: 14282593 markings, 31727578 edges, 124098 markings/sec, 105 secs
lola: 14853595 markings, 33208143 edges, 114200 markings/sec, 110 secs
lola: 15522724 markings, 34763283 edges, 133826 markings/sec, 115 secs
lola: 16211610 markings, 36329591 edges, 137777 markings/sec, 120 secs
lola: 16791997 markings, 37834005 edges, 116077 markings/sec, 125 secs
lola: 17626788 markings, 39578266 edges, 166958 markings/sec, 130 secs
lola: 18411799 markings, 41222094 edges, 157002 markings/sec, 135 secs
lola: 19197101 markings, 42841428 edges, 157060 markings/sec, 140 secs
lola: 20026542 markings, 44541751 edges, 165888 markings/sec, 145 secs
lola: 20798004 markings, 46207336 edges, 154292 markings/sec, 150 secs
lola: 21651180 markings, 47926656 edges, 170635 markings/sec, 155 secs
lola: 22365501 markings, 49521458 edges, 142864 markings/sec, 160 secs
lola: 23048658 markings, 51068837 edges, 136631 markings/sec, 165 secs
lola: 23723453 markings, 52587297 edges, 134959 markings/sec, 170 secs
lola: 24382513 markings, 54044474 edges, 131812 markings/sec, 175 secs
lola: 25081251 markings, 55620540 edges, 139748 markings/sec, 180 secs
lola: 25758000 markings, 57113381 edges, 135350 markings/sec, 185 secs
lola: 26543301 markings, 58800360 edges, 157060 markings/sec, 190 secs
lola: 27248111 markings, 60374226 edges, 140962 markings/sec, 195 secs
lola: 27903809 markings, 61879341 edges, 131140 markings/sec, 200 secs
lola: 28575403 markings, 63385036 edges, 134319 markings/sec, 205 secs
lola: 29235190 markings, 64864684 edges, 131957 markings/sec, 210 secs
lola: 29966793 markings, 66408767 edges, 146321 markings/sec, 215 secs
lola: 30539726 markings, 67735478 edges, 114587 markings/sec, 220 secs
lola: 31133101 markings, 69131636 edges, 118675 markings/sec, 225 secs
lola: 31731728 markings, 70579207 edges, 119725 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA DES-PT-30a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494632002451
--------------------
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="DES-PT-30a"
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/DES-PT-30a.tgz
mv DES-PT-30a 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 DES-PT-30a, 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 r018-ebro-149436309100281"
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 ;