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-40a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309100299
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494630370322


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DES-PT-40a @ 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: 505/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 274 places, 231 transitions, 215 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 256 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-40a-UpperBounds.task
lola: MAX(p58) : MAX(p196) : MAX(p216) : MAX(p143) : MAX(p217) : MAX(p219) : MAX(p273) : MAX(p141) : MAX(p270) : MAX(p149) : MAX(p202) : MAX(p12) : MAX(p166) : MAX(p173) : MAX(p136) : MAX(p151)
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(p58)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 874588 markings, 1650328 edges, 174918 markings/sec, 0 secs
lola: 1658776 markings, 3278536 edges, 156838 markings/sec, 5 secs
lola: 2415893 markings, 4923278 edges, 151423 markings/sec, 10 secs
lola: 3182966 markings, 6506679 edges, 153415 markings/sec, 15 secs
lola: 3928062 markings, 8132630 edges, 149019 markings/sec, 20 secs
lola: 4681318 markings, 9717760 edges, 150651 markings/sec, 25 secs
lola: 5430071 markings, 11308453 edges, 149751 markings/sec, 30 secs
lola: 6169478 markings, 12914415 edges, 147881 markings/sec, 35 secs
lola: 6915578 markings, 14487668 edges, 149220 markings/sec, 40 secs
lola: 7648261 markings, 16088077 edges, 146537 markings/sec, 45 secs
lola: 8391828 markings, 17643295 edges, 148713 markings/sec, 50 secs
lola: 9121995 markings, 19242502 edges, 146033 markings/sec, 55 secs
lola: 9864311 markings, 20803348 edges, 148463 markings/sec, 60 secs
lola: 10595560 markings, 22399605 edges, 146250 markings/sec, 65 secs
lola: 11336943 markings, 23945365 edges, 148277 markings/sec, 70 secs
lola: 12059314 markings, 25529798 edges, 144474 markings/sec, 75 secs
lola: 12798370 markings, 27061954 edges, 147811 markings/sec, 80 secs
lola: 13512109 markings, 28640290 edges, 142748 markings/sec, 85 secs
lola: 14248483 markings, 30162630 edges, 147275 markings/sec, 90 secs
lola: 14963586 markings, 31728998 edges, 143021 markings/sec, 95 secs
lola: 15693707 markings, 33250645 edges, 146024 markings/sec, 100 secs
lola: 16409842 markings, 34815107 edges, 143227 markings/sec, 105 secs
lola: 17135912 markings, 36340247 edges, 145214 markings/sec, 110 secs
lola: 17856357 markings, 37883765 edges, 144089 markings/sec, 115 secs
lola: 18575953 markings, 39426863 edges, 143919 markings/sec, 120 secs
lola: 19301512 markings, 40960886 edges, 145112 markings/sec, 125 secs
lola: 20017360 markings, 42517356 edges, 143170 markings/sec, 130 secs
lola: 20736386 markings, 44031160 edges, 143805 markings/sec, 135 secs
lola: 21447706 markings, 45578491 edges, 142264 markings/sec, 140 secs
lola: 22175048 markings, 47104946 edges, 145468 markings/sec, 145 secs
lola: 22882872 markings, 48656694 edges, 141565 markings/sec, 150 secs
lola: 23623628 markings, 50192346 edges, 148151 markings/sec, 155 secs
lola: 24459518 markings, 51810359 edges, 167178 markings/sec, 160 secs
lola: 25275930 markings, 53478953 edges, 163282 markings/sec, 165 secs
lola: 26046364 markings, 55156583 edges, 154087 markings/sec, 170 secs
lola: 26812982 markings, 56768138 edges, 153324 markings/sec, 175 secs
lola: 27571227 markings, 58400593 edges, 151649 markings/sec, 180 secs
lola: 28301756 markings, 60042712 edges, 146106 markings/sec, 185 secs
lola: 29053183 markings, 61642095 edges, 150285 markings/sec, 190 secs
lola: 29777804 markings, 63208436 edges, 144924 markings/sec, 195 secs
lola: 30532951 markings, 64849989 edges, 151029 markings/sec, 200 secs
lola: 31231332 markings, 66444972 edges, 139676 markings/sec, 205 secs
lola: 31976976 markings, 68033975 edges, 149129 markings/sec, 210 secs
lola: 32698692 markings, 69593933 edges, 144343 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(p196)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 1400318 markings, 1799559 edges, 280064 markings/sec, 0 secs
lola: 2733316 markings, 3587574 edges, 266600 markings/sec, 5 secs
lola: 4009856 markings, 5329447 edges, 255308 markings/sec, 10 secs
lola: 5267904 markings, 7038386 edges, 251610 markings/sec, 15 secs
lola: 6508670 markings, 8728120 edges, 248153 markings/sec, 20 secs
lola: 7722955 markings, 10393584 edges, 242857 markings/sec, 25 secs
lola: 8936262 markings, 12032141 edges, 242661 markings/sec, 30 secs
lola: 10141208 markings, 13668843 edges, 240989 markings/sec, 35 secs
lola: 11311652 markings, 15277589 edges, 234089 markings/sec, 40 secs
lola: 12496266 markings, 16875335 edges, 236923 markings/sec, 45 secs
lola: 13654570 markings, 18452794 edges, 231661 markings/sec, 50 secs
lola: 14797919 markings, 20016223 edges, 228670 markings/sec, 55 secs
lola: 15939890 markings, 21575469 edges, 228394 markings/sec, 60 secs
lola: 17088721 markings, 23130079 edges, 229766 markings/sec, 65 secs
lola: 18227203 markings, 24677622 edges, 227696 markings/sec, 70 secs
lola: 19348966 markings, 26214096 edges, 224353 markings/sec, 75 secs
lola: 20462947 markings, 27732721 edges, 222796 markings/sec, 80 secs
lola: 21583282 markings, 29248735 edges, 224067 markings/sec, 85 secs
lola: 22694044 markings, 30760374 edges, 222152 markings/sec, 90 secs
lola: 23790349 markings, 32258247 edges, 219261 markings/sec, 95 secs
lola: 24885168 markings, 33754329 edges, 218964 markings/sec, 100 secs
lola: 25991414 markings, 35246305 edges, 221249 markings/sec, 105 secs
lola: 27082499 markings, 36736078 edges, 218217 markings/sec, 110 secs
lola: 28173325 markings, 38217153 edges, 218165 markings/sec, 115 secs
lola: 29241285 markings, 39679392 edges, 213592 markings/sec, 120 secs
lola: 30317707 markings, 41147234 edges, 215284 markings/sec, 125 secs
lola: 31399481 markings, 42607653 edges, 216355 markings/sec, 130 secs
lola: 32467992 markings, 44067171 edges, 213702 markings/sec, 135 secs
lola: 33532347 markings, 45507511 edges, 212871 markings/sec, 140 secs
lola: 34541807 markings, 46937226 edges, 201892 markings/sec, 145 secs
lola: 35525006 markings, 48395230 edges, 196640 markings/sec, 150 secs
lola: 36696263 markings, 50033031 edges, 234251 markings/sec, 155 secs
lola: 38002866 markings, 51762856 edges, 261321 markings/sec, 160 secs
lola: 39269029 markings, 53475640 edges, 253233 markings/sec, 165 secs
lola: 40516643 markings, 55189531 edges, 249523 markings/sec, 170 secs
lola: 41749376 markings, 56879524 edges, 246547 markings/sec, 175 secs
lola: 42977220 markings, 58571000 edges, 245569 markings/sec, 180 secs
lola: 44149932 markings, 60225964 edges, 234542 markings/sec, 185 secs
lola: 45387243 markings, 61910709 edges, 247462 markings/sec, 190 secs
lola: 46540754 markings, 63560197 edges, 230702 markings/sec, 195 secs
lola: 47757479 markings, 65211374 edges, 243345 markings/sec, 200 secs
lola: 48928144 markings, 66845351 edges, 234133 markings/sec, 205 secs
lola: 50100273 markings, 68468588 edges, 234426 markings/sec, 210 secs
lola: 51297766 markings, 70108214 edges, 239499 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(p216)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 919762 markings, 1693653 edges, 183952 markings/sec, 0 secs
lola: 1880815 markings, 3396594 edges, 192211 markings/sec, 5 secs
lola: 2848409 markings, 5121896 edges, 193519 markings/sec, 10 secs
lola: 3743373 markings, 6831195 edges, 178993 markings/sec, 15 secs
lola: 4653022 markings, 8532142 edges, 181930 markings/sec, 20 secs
lola: 5570600 markings, 10230990 edges, 183516 markings/sec, 25 secs
lola: 6437147 markings, 11922872 edges, 173309 markings/sec, 30 secs
lola: 7358283 markings, 13605509 edges, 184227 markings/sec, 35 secs
lola: 8214694 markings, 15277887 edges, 171282 markings/sec, 40 secs
lola: 9112754 markings, 16939394 edges, 179612 markings/sec, 45 secs
lola: 9980311 markings, 18587654 edges, 173511 markings/sec, 50 secs
lola: 10844375 markings, 20236647 edges, 172813 markings/sec, 55 secs
lola: 11739229 markings, 21880408 edges, 178971 markings/sec, 60 secs
lola: 12572190 markings, 23521041 edges, 166592 markings/sec, 65 secs
lola: 13461706 markings, 25140595 edges, 177903 markings/sec, 70 secs
lola: 14281264 markings, 26743163 edges, 163912 markings/sec, 75 secs
lola: 15145894 markings, 28326894 edges, 172926 markings/sec, 80 secs
lola: 15964844 markings, 29911804 edges, 163790 markings/sec, 85 secs
lola: 16806298 markings, 31494310 edges, 168291 markings/sec, 90 secs
lola: 17639306 markings, 33052372 edges, 166602 markings/sec, 95 secs
lola: 18460950 markings, 34626352 edges, 164329 markings/sec, 100 secs
lola: 19304561 markings, 36178760 edges, 168722 markings/sec, 105 secs
lola: 20109066 markings, 37750244 edges, 160901 markings/sec, 110 secs
lola: 20953574 markings, 39283430 edges, 168902 markings/sec, 115 secs
lola: 21737018 markings, 40844914 edges, 156689 markings/sec, 120 secs
lola: 22585045 markings, 42375026 edges, 169605 markings/sec, 125 secs
lola: 23366468 markings, 43919919 edges, 156285 markings/sec, 130 secs
lola: 24206544 markings, 45448978 edges, 168015 markings/sec, 135 secs
lola: 24998410 markings, 46981849 edges, 158373 markings/sec, 140 secs
lola: 25823681 markings, 48506013 edges, 165054 markings/sec, 145 secs
lola: 26613507 markings, 50031258 edges, 157965 markings/sec, 150 secs
lola: 27428954 markings, 51553806 edges, 163089 markings/sec, 155 secs
lola: 28222428 markings, 53058607 edges, 158695 markings/sec, 160 secs
lola: 29021986 markings, 54574889 edges, 159912 markings/sec, 165 secs
lola: 29822536 markings, 56070259 edges, 160110 markings/sec, 170 secs
lola: 30612957 markings, 57582104 edges, 158084 markings/sec, 175 secs
lola: 31417736 markings, 59073128 edges, 160956 markings/sec, 180 secs
lola: 32193863 markings, 60574212 edges, 155225 markings/sec, 185 secs
lola: 33000429 markings, 62054524 edges, 161313 markings/sec, 190 secs
lola: 33766022 markings, 63551320 edges, 153119 markings/sec, 195 secs
lola: 34569570 markings, 65015660 edges, 160710 markings/sec, 200 secs
lola: 35327291 markings, 66500285 edges, 151544 markings/sec, 205 secs
lola: 36127108 markings, 67955982 edges, 159963 markings/sec, 210 secs
lola: 36877222 markings, 69436012 edges, 150023 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p143)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 947816 markings, 1240274 edges, 189563 markings/sec, 0 secs
lola: 1903643 markings, 2500936 edges, 191165 markings/sec, 5 secs
lola: 2844419 markings, 3735299 edges, 188155 markings/sec, 10 secs
lola: 3775369 markings, 4934616 edges, 186190 markings/sec, 15 secs
lola: 4699001 markings, 6154657 edges, 184726 markings/sec, 20 secs
lola: 5643661 markings, 7396487 edges, 188932 markings/sec, 25 secs
lola: 6575985 markings, 8596486 edges, 186465 markings/sec, 30 secs
lola: 7504083 markings, 9878656 edges, 185620 markings/sec, 35 secs
lola: 8418142 markings, 11169733 edges, 182812 markings/sec, 40 secs
lola: 9442644 markings, 12579815 edges, 204900 markings/sec, 45 secs
lola: 10449492 markings, 13908279 edges, 201370 markings/sec, 50 secs
lola: 11412039 markings, 15186079 edges, 192509 markings/sec, 55 secs
lola: 12373548 markings, 16463088 edges, 192302 markings/sec, 60 secs
lola: 13296035 markings, 17680166 edges, 184497 markings/sec, 65 secs
lola: 14250413 markings, 18946601 edges, 190876 markings/sec, 70 secs
lola: 15171002 markings, 20201001 edges, 184118 markings/sec, 75 secs
lola: 16093764 markings, 21443807 edges, 184552 markings/sec, 80 secs
lola: 17047791 markings, 22790765 edges, 190805 markings/sec, 85 secs
lola: 17917682 markings, 24145180 edges, 173978 markings/sec, 90 secs
lola: 18940248 markings, 25609414 edges, 204513 markings/sec, 95 secs
lola: 19775757 markings, 27032748 edges, 167102 markings/sec, 100 secs
lola: 20680929 markings, 28447565 edges, 181034 markings/sec, 105 secs
lola: 21704915 markings, 29906924 edges, 204797 markings/sec, 110 secs
lola: 22692756 markings, 31191820 edges, 197568 markings/sec, 115 secs
lola: 23675310 markings, 32480022 edges, 196511 markings/sec, 120 secs
lola: 24641222 markings, 33733978 edges, 193182 markings/sec, 125 secs
lola: 25586925 markings, 35001671 edges, 189141 markings/sec, 130 secs
lola: 26533355 markings, 36280405 edges, 189286 markings/sec, 135 secs
lola: 27500663 markings, 37586792 edges, 193462 markings/sec, 140 secs
lola: 28360604 markings, 38927681 edges, 171988 markings/sec, 145 secs
lola: 29287274 markings, 40295814 edges, 185334 markings/sec, 150 secs
lola: 30283508 markings, 41741747 edges, 199247 markings/sec, 155 secs
lola: 31267234 markings, 43058682 edges, 196745 markings/sec, 160 secs
lola: 32264196 markings, 44376883 edges, 199392 markings/sec, 165 secs
lola: 33225390 markings, 45654943 edges, 192239 markings/sec, 170 secs
lola: 34166922 markings, 46963281 edges, 188306 markings/sec, 175 secs
lola: 35107110 markings, 48291217 edges, 188038 markings/sec, 180 secs
lola: 36070289 markings, 49668592 edges, 192636 markings/sec, 185 secs
lola: 36908596 markings, 51094760 edges, 167661 markings/sec, 190 secs
lola: 37834533 markings, 52556138 edges, 185187 markings/sec, 195 secs
lola: 38681373 markings, 54011987 edges, 169368 markings/sec, 200 secs
lola: 39492326 markings, 55514094 edges, 162191 markings/sec, 205 secs
lola: 40377585 markings, 57005373 edges, 177052 markings/sec, 210 secs
lola: 41370103 markings, 58528881 edges, 198504 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p217)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 950820 markings, 1701624 edges, 190164 markings/sec, 0 secs
lola: 1949516 markings, 3430026 edges, 199739 markings/sec, 5 secs
lola: 2923231 markings, 5171649 edges, 194743 markings/sec, 10 secs
lola: 3880694 markings, 6902829 edges, 191493 markings/sec, 15 secs
lola: 4789716 markings, 8639453 edges, 181804 markings/sec, 20 secs
lola: 5712621 markings, 10354335 edges, 184581 markings/sec, 25 secs
lola: 6651024 markings, 12055432 edges, 187681 markings/sec, 30 secs
lola: 7532182 markings, 13744167 edges, 176232 markings/sec, 35 secs
lola: 8430096 markings, 15411190 edges, 179583 markings/sec, 40 secs
lola: 9347317 markings, 17071608 edges, 183444 markings/sec, 45 secs
lola: 10212528 markings, 18737215 edges, 173042 markings/sec, 50 secs
lola: 11105314 markings, 20386747 edges, 178557 markings/sec, 55 secs
lola: 12007856 markings, 22026448 edges, 180508 markings/sec, 60 secs
lola: 12848153 markings, 23662805 edges, 168059 markings/sec, 65 secs
lola: 13734598 markings, 25262490 edges, 177289 markings/sec, 70 secs
lola: 14587727 markings, 26851245 edges, 170626 markings/sec, 75 secs
lola: 15426423 markings, 28452951 edges, 167739 markings/sec, 80 secs
lola: 16302946 markings, 30025329 edges, 175305 markings/sec, 85 secs
lola: 17125600 markings, 31603965 edges, 164531 markings/sec, 90 secs
lola: 17970757 markings, 33170066 edges, 169031 markings/sec, 95 secs
lola: 18824185 markings, 34721685 edges, 170686 markings/sec, 100 secs
lola: 19634186 markings, 36296643 edges, 162000 markings/sec, 105 secs
lola: 20496420 markings, 37841890 edges, 172447 markings/sec, 110 secs
lola: 21310892 markings, 39393299 edges, 162894 markings/sec, 115 secs
lola: 22144677 markings, 40945938 edges, 166757 markings/sec, 120 secs
lola: 22995140 markings, 42480405 edges, 170093 markings/sec, 125 secs
lola: 23793560 markings, 44039346 edges, 159684 markings/sec, 130 secs
lola: 24645403 markings, 45565206 edges, 170369 markings/sec, 135 secs
lola: 25452167 markings, 47096323 edges, 161353 markings/sec, 140 secs
lola: 26271209 markings, 48630487 edges, 163808 markings/sec, 145 secs
lola: 27112212 markings, 50144992 edges, 168201 markings/sec, 150 secs
lola: 27900858 markings, 51686055 edges, 157729 markings/sec, 155 secs
lola: 28744220 markings, 53197835 edges, 168672 markings/sec, 160 secs
lola: 29540942 markings, 54713130 edges, 159344 markings/sec, 165 secs
lola: 30353936 markings, 56228059 edges, 162599 markings/sec, 170 secs
lola: 31183413 markings, 57726467 edges, 165895 markings/sec, 175 secs
lola: 31960855 markings, 59245284 edges, 155488 markings/sec, 180 secs
lola: 32794574 markings, 60738042 edges, 166744 markings/sec, 185 secs
lola: 33581054 markings, 62239588 edges, 157296 markings/sec, 190 secs
lola: 34387651 markings, 63731940 edges, 161319 markings/sec, 195 secs
lola: 35198126 markings, 65209701 edges, 162095 markings/sec, 200 secs
lola: 35974774 markings, 66707759 edges, 155330 markings/sec, 205 secs
lola: 36793414 markings, 68173326 edges, 163728 markings/sec, 210 secs
lola: 37560187 markings, 69662715 edges, 153355 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p219)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 962696 markings, 1721627 edges, 192539 markings/sec, 0 secs
lola: 1959671 markings, 3448238 edges, 199395 markings/sec, 5 secs
lola: 2930866 markings, 5186287 edges, 194239 markings/sec, 10 secs
lola: 3886381 markings, 6914317 edges, 191103 markings/sec, 15 secs
lola: 4792642 markings, 8643938 edges, 181252 markings/sec, 20 secs
lola: 5711422 markings, 10352414 edges, 183756 markings/sec, 25 secs
lola: 6649715 markings, 12052101 edges, 187659 markings/sec, 30 secs
lola: 7527321 markings, 13735845 edges, 175521 markings/sec, 35 secs
lola: 8424607 markings, 15400756 edges, 179457 markings/sec, 40 secs
lola: 9343236 markings, 17062997 edges, 183726 markings/sec, 45 secs
lola: 10207926 markings, 18730765 edges, 172938 markings/sec, 50 secs
lola: 11103700 markings, 20382864 edges, 179155 markings/sec, 55 secs
lola: 12003736 markings, 22019350 edges, 180007 markings/sec, 60 secs
lola: 12843286 markings, 23654589 edges, 167910 markings/sec, 65 secs
lola: 13729678 markings, 25252636 edges, 177278 markings/sec, 70 secs
lola: 14580144 markings, 26840701 edges, 170093 markings/sec, 75 secs
lola: 15420243 markings, 28439506 edges, 168020 markings/sec, 80 secs
lola: 16293707 markings, 30010243 edges, 174693 markings/sec, 85 secs
lola: 17117114 markings, 31589323 edges, 164681 markings/sec, 90 secs
lola: 17961095 markings, 33152263 edges, 168796 markings/sec, 95 secs
lola: 18813212 markings, 34700436 edges, 170423 markings/sec, 100 secs
lola: 19620120 markings, 36272500 edges, 161382 markings/sec, 105 secs
lola: 20480549 markings, 37814762 edges, 172086 markings/sec, 110 secs
lola: 21292945 markings, 39363946 edges, 162479 markings/sec, 115 secs
lola: 22126033 markings, 40909988 edges, 166618 markings/sec, 120 secs
lola: 22974013 markings, 42442037 edges, 169596 markings/sec, 125 secs
lola: 23771112 markings, 43994748 edges, 159420 markings/sec, 130 secs
lola: 24618597 markings, 45517511 edges, 169497 markings/sec, 135 secs
lola: 25421260 markings, 47045770 edges, 160533 markings/sec, 140 secs
lola: 26241267 markings, 48570942 edges, 164001 markings/sec, 145 secs
lola: 27075579 markings, 50079005 edges, 166862 markings/sec, 150 secs
lola: 27860994 markings, 51611577 edges, 157083 markings/sec, 155 secs
lola: 28698988 markings, 53114683 edges, 167599 markings/sec, 160 secs
lola: 29490125 markings, 54624511 edges, 158227 markings/sec, 165 secs
lola: 30301018 markings, 56125595 edges, 162179 markings/sec, 170 secs
lola: 31112521 markings, 57603966 edges, 162301 markings/sec, 175 secs
lola: 31889319 markings, 59104188 edges, 155360 markings/sec, 180 secs
lola: 32714055 markings, 60576371 edges, 164947 markings/sec, 185 secs
lola: 33492566 markings, 62080436 edges, 155702 markings/sec, 190 secs
lola: 34306014 markings, 63561677 edges, 162690 markings/sec, 195 secs
lola: 35095896 markings, 65038271 edges, 157976 markings/sec, 200 secs
lola: 35885060 markings, 66527903 edges, 157833 markings/sec, 205 secs
lola: 36698044 markings, 67991856 edges, 162597 markings/sec, 210 secs
lola: 37461333 markings, 69483565 edges, 152658 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p273)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 851445 markings, 1762643 edges, 170289 markings/sec, 0 secs
lola: 1640642 markings, 3491333 edges, 157839 markings/sec, 5 secs
lola: 2418403 markings, 5177617 edges, 155552 markings/sec, 10 secs
lola: 3196032 markings, 6829831 edges, 155526 markings/sec, 15 secs
lola: 3945838 markings, 8488697 edges, 149961 markings/sec, 20 secs
lola: 4725656 markings, 10133696 edges, 155964 markings/sec, 25 secs
lola: 5468184 markings, 11786922 edges, 148506 markings/sec, 30 secs
lola: 6239167 markings, 13409259 edges, 154197 markings/sec, 35 secs
lola: 6982681 markings, 15050221 edges, 148703 markings/sec, 40 secs
lola: 7743182 markings, 16651639 edges, 152100 markings/sec, 45 secs
lola: 8485803 markings, 18282009 edges, 148524 markings/sec, 50 secs
lola: 9225533 markings, 19871817 edges, 147946 markings/sec, 55 secs
lola: 9968683 markings, 21471160 edges, 148630 markings/sec, 60 secs
lola: 10699933 markings, 23066857 edges, 146250 markings/sec, 65 secs
lola: 11436705 markings, 24632869 edges, 147354 markings/sec, 70 secs
lola: 12151633 markings, 26208745 edges, 142986 markings/sec, 75 secs
lola: 12879519 markings, 27747079 edges, 145577 markings/sec, 80 secs
lola: 13587824 markings, 29313938 edges, 141661 markings/sec, 85 secs
lola: 14310657 markings, 30840867 edges, 144567 markings/sec, 90 secs
lola: 15013956 markings, 32393567 edges, 140660 markings/sec, 95 secs
lola: 15732365 markings, 33915134 edges, 143682 markings/sec, 100 secs
lola: 16430377 markings, 35454944 edges, 139602 markings/sec, 105 secs
lola: 17145607 markings, 36969642 edges, 143046 markings/sec, 110 secs
lola: 17840040 markings, 38501372 edges, 138887 markings/sec, 115 secs
lola: 18552700 markings, 40010507 edges, 142532 markings/sec, 120 secs
lola: 19243568 markings, 41534201 edges, 138174 markings/sec, 125 secs
lola: 19952412 markings, 43034763 edges, 141769 markings/sec, 130 secs
lola: 20640995 markings, 44553840 edges, 137717 markings/sec, 135 secs
lola: 21345215 markings, 46042674 edges, 140844 markings/sec, 140 secs
lola: 22029459 markings, 47556512 edges, 136849 markings/sec, 145 secs
lola: 22731197 markings, 49037323 edges, 140348 markings/sec, 150 secs
lola: 23413633 markings, 50545500 edges, 136487 markings/sec, 155 secs
lola: 24110587 markings, 52018932 edges, 139391 markings/sec, 160 secs
lola: 24795497 markings, 53530387 edges, 136982 markings/sec, 165 secs
lola: 25490071 markings, 55004139 edges, 138915 markings/sec, 170 secs
lola: 26170852 markings, 56498392 edges, 136156 markings/sec, 175 secs
lola: 26862772 markings, 57976019 edges, 138384 markings/sec, 180 secs
lola: 27541173 markings, 59453652 edges, 135680 markings/sec, 185 secs
lola: 28231147 markings, 60939141 edges, 137995 markings/sec, 190 secs
lola: 28907680 markings, 62402284 edges, 135307 markings/sec, 195 secs
lola: 29592471 markings, 63893585 edges, 136958 markings/sec, 200 secs
lola: 30270051 markings, 65335604 edges, 135516 markings/sec, 205 secs
lola: 30943565 markings, 66822264 edges, 134703 markings/sec, 210 secs
lola: 31625223 markings, 68261241 edges, 136332 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p141)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 956069 markings, 1250236 edges, 191214 markings/sec, 0 secs
lola: 1918804 markings, 2522869 edges, 192547 markings/sec, 5 secs
lola: 2852438 markings, 3742677 edges, 186727 markings/sec, 10 secs
lola: 3794820 markings, 4966581 edges, 188476 markings/sec, 15 secs
lola: 4708888 markings, 6166770 edges, 182814 markings/sec, 20 secs
lola: 5627263 markings, 7367610 edges, 183675 markings/sec, 25 secs
lola: 6583857 markings, 8647052 edges, 191319 markings/sec, 30 secs
lola: 7480253 markings, 9919170 edges, 179279 markings/sec, 35 secs
lola: 8460885 markings, 11243568 edges, 196126 markings/sec, 40 secs
lola: 9461178 markings, 12592068 edges, 200059 markings/sec, 45 secs
lola: 10429736 markings, 13875955 edges, 193712 markings/sec, 50 secs
lola: 11382555 markings, 15143339 edges, 190564 markings/sec, 55 secs
lola: 12315792 markings, 16364931 edges, 186647 markings/sec, 60 secs
lola: 13234445 markings, 17605133 edges, 183731 markings/sec, 65 secs
lola: 14160162 markings, 18857568 edges, 185143 markings/sec, 70 secs
lola: 15114267 markings, 20129935 edges, 190821 markings/sec, 75 secs
lola: 15975481 markings, 21463063 edges, 172243 markings/sec, 80 secs
lola: 16916146 markings, 22802883 edges, 188133 markings/sec, 85 secs
lola: 17755143 markings, 24178447 edges, 167799 markings/sec, 90 secs
lola: 18663120 markings, 25589966 edges, 181595 markings/sec, 95 secs
lola: 19636926 markings, 27013276 edges, 194761 markings/sec, 100 secs
lola: 20605045 markings, 28336506 edges, 193624 markings/sec, 105 secs
lola: 21573374 markings, 29606318 edges, 193666 markings/sec, 110 secs
lola: 22523464 markings, 30835007 edges, 190018 markings/sec, 115 secs
lola: 23451941 markings, 32086677 edges, 185695 markings/sec, 120 secs
lola: 24381107 markings, 33340585 edges, 185833 markings/sec, 125 secs
lola: 25313882 markings, 34634741 edges, 186555 markings/sec, 130 secs
lola: 26174780 markings, 35968619 edges, 172180 markings/sec, 135 secs
lola: 27118748 markings, 37298230 edges, 188794 markings/sec, 140 secs
lola: 28061238 markings, 38671606 edges, 188498 markings/sec, 145 secs
lola: 29032570 markings, 39952841 edges, 194266 markings/sec, 150 secs
lola: 29984552 markings, 41218570 edges, 190396 markings/sec, 155 secs
lola: 30917278 markings, 42481335 edges, 186545 markings/sec, 160 secs
lola: 31831855 markings, 43784504 edges, 182915 markings/sec, 165 secs
lola: 32773518 markings, 45078983 edges, 188333 markings/sec, 170 secs
lola: 33588769 markings, 46448155 edges, 163050 markings/sec, 175 secs
lola: 34458943 markings, 47838054 edges, 174035 markings/sec, 180 secs
lola: 35308013 markings, 49252732 edges, 169814 markings/sec, 185 secs
lola: 36098093 markings, 50717217 edges, 158016 markings/sec, 190 secs
lola: 36970981 markings, 52186050 edges, 174578 markings/sec, 195 secs
lola: 37960810 markings, 53704477 edges, 197966 markings/sec, 200 secs
lola: 38793442 markings, 55032611 edges, 166526 markings/sec, 205 secs
lola: 39547071 markings, 56447723 edges, 150726 markings/sec, 210 secs
lola: 40324318 markings, 57886550 edges, 155449 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p270)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 804679 markings, 1499016 edges, 160936 markings/sec, 0 secs
lola: 1540128 markings, 3015239 edges, 147090 markings/sec, 5 secs
lola: 2230904 markings, 4513024 edges, 138155 markings/sec, 10 secs
lola: 2929676 markings, 5974604 edges, 139754 markings/sec, 15 secs
lola: 3610691 markings, 7462410 edges, 136203 markings/sec, 20 secs
lola: 4299823 markings, 8901325 edges, 137826 markings/sec, 25 secs
lola: 4973814 markings, 10368804 edges, 134798 markings/sec, 30 secs
lola: 5657999 markings, 11797231 edges, 136837 markings/sec, 35 secs
lola: 6326430 markings, 13257300 edges, 133686 markings/sec, 40 secs
lola: 7005658 markings, 14674523 edges, 135846 markings/sec, 45 secs
lola: 7669511 markings, 16129751 edges, 132771 markings/sec, 50 secs
lola: 8346759 markings, 17540876 edges, 135450 markings/sec, 55 secs
lola: 9003389 markings, 18973450 edges, 131326 markings/sec, 60 secs
lola: 9671993 markings, 20375578 edges, 133721 markings/sec, 65 secs
lola: 10326625 markings, 21798007 edges, 130926 markings/sec, 70 secs
lola: 10982139 markings, 23175509 edges, 131103 markings/sec, 75 secs
lola: 11631186 markings, 24574712 edges, 129809 markings/sec, 80 secs
lola: 12277992 markings, 25976032 edges, 129361 markings/sec, 85 secs
lola: 12927939 markings, 27334890 edges, 129989 markings/sec, 90 secs
lola: 13562598 markings, 28737404 edges, 126932 markings/sec, 95 secs
lola: 14211355 markings, 30078180 edges, 129751 markings/sec, 100 secs
lola: 14838860 markings, 31467686 edges, 125501 markings/sec, 105 secs
lola: 15480500 markings, 32800998 edges, 128328 markings/sec, 110 secs
lola: 16106490 markings, 34178879 edges, 125198 markings/sec, 115 secs
lola: 16750947 markings, 35514466 edges, 128891 markings/sec, 120 secs
lola: 17381427 markings, 36890725 edges, 126096 markings/sec, 125 secs
lola: 18023123 markings, 38229609 edges, 128339 markings/sec, 130 secs
lola: 18651231 markings, 39594938 edges, 125622 markings/sec, 135 secs
lola: 19286212 markings, 40929305 edges, 126996 markings/sec, 140 secs
lola: 19910622 markings, 42272865 edges, 124882 markings/sec, 145 secs
lola: 20534706 markings, 43633401 edges, 124817 markings/sec, 150 secs
lola: 21168174 markings, 44948597 edges, 126694 markings/sec, 155 secs
lola: 21780561 markings, 46312607 edges, 122477 markings/sec, 160 secs
lola: 22413365 markings, 47620328 edges, 126561 markings/sec, 165 secs
lola: 23026491 markings, 48974102 edges, 122625 markings/sec, 170 secs
lola: 23661449 markings, 50283945 edges, 126992 markings/sec, 175 secs
lola: 24281969 markings, 51645039 edges, 124104 markings/sec, 180 secs
lola: 24914304 markings, 52959834 edges, 126467 markings/sec, 185 secs
lola: 25535691 markings, 54305672 edges, 124277 markings/sec, 190 secs
lola: 26154529 markings, 55630362 edges, 123768 markings/sec, 195 secs
lola: 26774298 markings, 56935650 edges, 123954 markings/sec, 200 secs
lola: 27379118 markings, 58282120 edges, 120964 markings/sec, 205 secs
lola: 28003808 markings, 59563958 edges, 124938 markings/sec, 210 secs
lola: 28603278 markings, 60893194 edges, 119894 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p149)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 971052 markings, 1268102 edges, 194210 markings/sec, 0 secs
lola: 1944411 markings, 2557189 edges, 194672 markings/sec, 5 secs
lola: 2950819 markings, 3885757 edges, 201282 markings/sec, 10 secs
lola: 3941376 markings, 5177493 edges, 198111 markings/sec, 15 secs
lola: 4895925 markings, 6419218 edges, 190910 markings/sec, 20 secs
lola: 5910248 markings, 7741202 edges, 202865 markings/sec, 25 secs
lola: 6855172 markings, 8982687 edges, 188985 markings/sec, 30 secs
lola: 7876974 markings, 10319153 edges, 204360 markings/sec, 35 secs
lola: 8878986 markings, 11622156 edges, 200402 markings/sec, 40 secs
lola: 9815331 markings, 12934783 edges, 187269 markings/sec, 45 secs
lola: 10784353 markings, 14307806 edges, 193804 markings/sec, 50 secs
lola: 11816194 markings, 15710226 edges, 206368 markings/sec, 55 secs
lola: 12819476 markings, 17068656 edges, 200656 markings/sec, 60 secs
lola: 13787463 markings, 18357704 edges, 193597 markings/sec, 65 secs
lola: 14767466 markings, 19658906 edges, 196001 markings/sec, 70 secs
lola: 15804943 markings, 21032306 edges, 207495 markings/sec, 75 secs
lola: 16780119 markings, 22319542 edges, 195035 markings/sec, 80 secs
lola: 17780471 markings, 23625723 edges, 200070 markings/sec, 85 secs
lola: 18700496 markings, 24882752 edges, 184005 markings/sec, 90 secs
lola: 19709999 markings, 26260803 edges, 201901 markings/sec, 95 secs
lola: 20647737 markings, 27521365 edges, 187548 markings/sec, 100 secs
lola: 21635459 markings, 28913968 edges, 197544 markings/sec, 105 secs
lola: 22569964 markings, 30367057 edges, 186901 markings/sec, 110 secs
lola: 23555475 markings, 31773451 edges, 197102 markings/sec, 115 secs
lola: 24395497 markings, 33165457 edges, 168004 markings/sec, 120 secs
lola: 25271110 markings, 34646315 edges, 175123 markings/sec, 125 secs
lola: 26214663 markings, 36098286 edges, 188711 markings/sec, 130 secs
lola: 27222025 markings, 37499228 edges, 201472 markings/sec, 135 secs
lola: 28208587 markings, 38790287 edges, 197312 markings/sec, 140 secs
lola: 29212909 markings, 40105003 edges, 200864 markings/sec, 145 secs
lola: 30235684 markings, 41440406 edges, 204555 markings/sec, 150 secs
lola: 31257337 markings, 42767633 edges, 204331 markings/sec, 155 secs
lola: 32228050 markings, 44077496 edges, 194143 markings/sec, 160 secs
lola: 33256636 markings, 45473012 edges, 205717 markings/sec, 165 secs
lola: 34254324 markings, 46810437 edges, 199538 markings/sec, 170 secs
lola: 35169869 markings, 48176994 edges, 183109 markings/sec, 175 secs
lola: 36109705 markings, 49631417 edges, 187967 markings/sec, 180 secs
lola: 37121614 markings, 51066146 edges, 202382 markings/sec, 185 secs
lola: 38079433 markings, 52500990 edges, 191564 markings/sec, 190 secs
lola: 39077626 markings, 53821852 edges, 199639 markings/sec, 195 secs
lola: 40107064 markings, 55189111 edges, 205888 markings/sec, 200 secs
lola: 41153128 markings, 56573503 edges, 209213 markings/sec, 205 secs
lola: 42200242 markings, 57956519 edges, 209423 markings/sec, 210 secs
lola: 43121169 markings, 59282111 edges, 184185 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p202)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 964720 markings, 1725109 edges, 192944 markings/sec, 0 secs
lola: 1961994 markings, 3452810 edges, 199455 markings/sec, 5 secs
lola: 2931069 markings, 5186832 edges, 193815 markings/sec, 10 secs
lola: 3883170 markings, 6907023 edges, 190420 markings/sec, 15 secs
lola: 4783794 markings, 8629123 edges, 180125 markings/sec, 20 secs
lola: 5699120 markings, 10328645 edges, 183065 markings/sec, 25 secs
lola: 6630674 markings, 12014086 edges, 186311 markings/sec, 30 secs
lola: 7503857 markings, 13693021 edges, 174637 markings/sec, 35 secs
lola: 8396917 markings, 15348867 edges, 178612 markings/sec, 40 secs
lola: 9306484 markings, 16995381 edges, 181913 markings/sec, 45 secs
lola: 10160150 markings, 18651546 edges, 170733 markings/sec, 50 secs
lola: 11059436 markings, 20293306 edges, 179857 markings/sec, 55 secs
lola: 11945254 markings, 21919001 edges, 177164 markings/sec, 60 secs
lola: 12785968 markings, 23547294 edges, 168143 markings/sec, 65 secs
lola: 13666478 markings, 25128505 edges, 176102 markings/sec, 70 secs
lola: 14502925 markings, 26709748 edges, 167289 markings/sec, 75 secs
lola: 15350374 markings, 28298290 edges, 169490 markings/sec, 80 secs
lola: 16217876 markings, 29863167 edges, 173500 markings/sec, 85 secs
lola: 17036719 markings, 31448641 edges, 163769 markings/sec, 90 secs
lola: 17893592 markings, 33013737 edges, 171375 markings/sec, 95 secs
lola: 18741144 markings, 34571779 edges, 169510 markings/sec, 100 secs
lola: 19558668 markings, 36147889 edges, 163505 markings/sec, 105 secs
lola: 20417239 markings, 37684761 edges, 171714 markings/sec, 110 secs
lola: 21226831 markings, 39240510 edges, 161918 markings/sec, 115 secs
lola: 22059392 markings, 40779899 edges, 166512 markings/sec, 120 secs
lola: 22896959 markings, 42308832 edges, 167513 markings/sec, 125 secs
lola: 23701334 markings, 43860897 edges, 160875 markings/sec, 130 secs
lola: 24548032 markings, 45382342 edges, 169340 markings/sec, 135 secs
lola: 25351646 markings, 46918632 edges, 160723 markings/sec, 140 secs
lola: 26175205 markings, 48442862 edges, 164712 markings/sec, 145 secs
lola: 27003350 markings, 49953801 edges, 165629 markings/sec, 150 secs
lola: 27797970 markings, 51487778 edges, 158924 markings/sec, 155 secs
lola: 28637370 markings, 52988505 edges, 167880 markings/sec, 160 secs
lola: 29423087 markings, 54500503 edges, 157143 markings/sec, 165 secs
lola: 30239455 markings, 56001100 edges, 163274 markings/sec, 170 secs
lola: 31048317 markings, 57490055 edges, 161772 markings/sec, 175 secs
lola: 31834043 markings, 58995409 edges, 157145 markings/sec, 180 secs
lola: 32650111 markings, 60455466 edges, 163214 markings/sec, 185 secs
lola: 33416680 markings, 61957487 edges, 153314 markings/sec, 190 secs
lola: 34239657 markings, 63427812 edges, 164595 markings/sec, 195 secs
lola: 35018184 markings, 64911350 edges, 155705 markings/sec, 200 secs
lola: 35817273 markings, 66397712 edges, 159818 markings/sec, 205 secs
lola: 36627472 markings, 67865846 edges, 162040 markings/sec, 210 secs
lola: 37398365 markings, 69360275 edges, 154179 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 892526 markings, 1465406 edges, 178505 markings/sec, 0 secs
lola: 1915324 markings, 2936203 edges, 204560 markings/sec, 5 secs
lola: 2949447 markings, 4422641 edges, 206825 markings/sec, 10 secs
lola: 3964284 markings, 5822436 edges, 202967 markings/sec, 15 secs
lola: 4976183 markings, 7282486 edges, 202380 markings/sec, 20 secs
lola: 5859418 markings, 8744700 edges, 176647 markings/sec, 25 secs
lola: 6874010 markings, 10201056 edges, 202918 markings/sec, 30 secs
lola: 7879398 markings, 11638083 edges, 201078 markings/sec, 35 secs
lola: 8852654 markings, 13084314 edges, 194651 markings/sec, 40 secs
lola: 9751944 markings, 14505602 edges, 179858 markings/sec, 45 secs
lola: 10593713 markings, 15929332 edges, 168354 markings/sec, 50 secs
lola: 11472815 markings, 17277151 edges, 175820 markings/sec, 55 secs
lola: 12375444 markings, 18641940 edges, 180526 markings/sec, 60 secs
lola: 13296923 markings, 20040413 edges, 184296 markings/sec, 65 secs
lola: 14252158 markings, 21468935 edges, 191047 markings/sec, 70 secs
lola: 15217777 markings, 22796665 edges, 193124 markings/sec, 75 secs
lola: 16215806 markings, 24254463 edges, 199606 markings/sec, 80 secs
lola: 17188556 markings, 25718912 edges, 194550 markings/sec, 85 secs
lola: 18056592 markings, 27143791 edges, 173607 markings/sec, 90 secs
lola: 19026080 markings, 28564862 edges, 193898 markings/sec, 95 secs
lola: 19991017 markings, 30001039 edges, 192987 markings/sec, 100 secs
lola: 20834616 markings, 31415530 edges, 168720 markings/sec, 105 secs
lola: 21657999 markings, 32830888 edges, 164677 markings/sec, 110 secs
lola: 22561672 markings, 34194244 edges, 180735 markings/sec, 115 secs
lola: 23485736 markings, 35593246 edges, 184813 markings/sec, 120 secs
lola: 24448191 markings, 36962178 edges, 192491 markings/sec, 125 secs
lola: 25408393 markings, 38417463 edges, 192040 markings/sec, 130 secs
lola: 26327896 markings, 39795063 edges, 183901 markings/sec, 135 secs
lola: 27293901 markings, 41209124 edges, 193201 markings/sec, 140 secs
lola: 28257885 markings, 42600670 edges, 192797 markings/sec, 145 secs
lola: 29162751 markings, 43982540 edges, 180973 markings/sec, 150 secs
lola: 30108973 markings, 45377020 edges, 189244 markings/sec, 155 secs
lola: 30989646 markings, 46737245 edges, 176135 markings/sec, 160 secs
lola: 31871017 markings, 48131486 edges, 176274 markings/sec, 165 secs
lola: 32717557 markings, 49532694 edges, 169308 markings/sec, 170 secs
lola: 33572745 markings, 50917112 edges, 171038 markings/sec, 175 secs
lola: 34379417 markings, 52318023 edges, 161334 markings/sec, 180 secs
lola: 35216886 markings, 53622860 edges, 167494 markings/sec, 185 secs
lola: 36082201 markings, 54938868 edges, 173063 markings/sec, 190 secs
lola: 36976283 markings, 56283153 edges, 178816 markings/sec, 195 secs
lola: 37883971 markings, 57660414 edges, 181538 markings/sec, 200 secs
lola: 38813873 markings, 59022675 edges, 185980 markings/sec, 205 secs
lola: 39776418 markings, 60353451 edges, 192509 markings/sec, 210 secs
lola: 40774046 markings, 61821642 edges, 199526 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p166)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 515093 markings, 1486971 edges, 103019 markings/sec, 0 secs
lola: 1021451 markings, 3073004 edges, 101272 markings/sec, 5 secs
lola: 1557429 markings, 4654858 edges, 107196 markings/sec, 10 secs
lola: 2115033 markings, 6204682 edges, 111521 markings/sec, 15 secs
lola: 2635094 markings, 7811352 edges, 104012 markings/sec, 20 secs
lola: 3167507 markings, 9399515 edges, 106483 markings/sec, 25 secs
lola: 3733130 markings, 10907050 edges, 113125 markings/sec, 30 secs
lola: 4280582 markings, 12487030 edges, 109490 markings/sec, 35 secs
lola: 4800486 markings, 14068805 edges, 103981 markings/sec, 40 secs
lola: 5312829 markings, 15641327 edges, 102469 markings/sec, 45 secs
lola: 5849830 markings, 17293877 edges, 107400 markings/sec, 50 secs
lola: 6400690 markings, 18937539 edges, 110172 markings/sec, 55 secs
lola: 6943856 markings, 20570744 edges, 108633 markings/sec, 60 secs
lola: 7487473 markings, 22197608 edges, 108723 markings/sec, 65 secs
lola: 8048174 markings, 23748940 edges, 112140 markings/sec, 70 secs
lola: 8636471 markings, 25204218 edges, 117659 markings/sec, 75 secs
lola: 9124333 markings, 26756476 edges, 97572 markings/sec, 80 secs
lola: 9655687 markings, 28310069 edges, 106271 markings/sec, 85 secs
lola: 10157078 markings, 29973987 edges, 100278 markings/sec, 90 secs
lola: 10669826 markings, 31597059 edges, 102550 markings/sec, 95 secs
lola: 11211345 markings, 33221099 edges, 108304 markings/sec, 100 secs
lola: 11814496 markings, 34778274 edges, 120630 markings/sec, 105 secs
lola: 12313989 markings, 36390336 edges, 99899 markings/sec, 110 secs
lola: 12816116 markings, 38018422 edges, 100425 markings/sec, 115 secs
lola: 13329698 markings, 39651203 edges, 102716 markings/sec, 120 secs
lola: 13838490 markings, 41271272 edges, 101758 markings/sec, 125 secs
lola: 14426849 markings, 42829982 edges, 117672 markings/sec, 130 secs
lola: 15045770 markings, 44379292 edges, 123784 markings/sec, 135 secs
lola: 15578844 markings, 45965723 edges, 106615 markings/sec, 140 secs
lola: 16077606 markings, 47577614 edges, 99752 markings/sec, 145 secs
lola: 16580953 markings, 49233676 edges, 100669 markings/sec, 150 secs
lola: 17089626 markings, 50831824 edges, 101735 markings/sec, 155 secs
lola: 17649070 markings, 52421881 edges, 111889 markings/sec, 160 secs
lola: 18243053 markings, 53973193 edges, 118797 markings/sec, 165 secs
lola: 18681946 markings, 55476223 edges, 87779 markings/sec, 170 secs
lola: 19133852 markings, 57024823 edges, 90381 markings/sec, 175 secs
lola: 19584064 markings, 58631869 edges, 90042 markings/sec, 180 secs
lola: 20053870 markings, 60212393 edges, 93961 markings/sec, 185 secs
lola: 20551230 markings, 61767909 edges, 99472 markings/sec, 190 secs
lola: 20992643 markings, 63356118 edges, 88283 markings/sec, 195 secs
lola: 21447156 markings, 64958209 edges, 90903 markings/sec, 200 secs
lola: 21910660 markings, 66538023 edges, 92701 markings/sec, 205 secs
lola: 22393132 markings, 68079106 edges, 96494 markings/sec, 210 secs
lola: 22904716 markings, 69627062 edges, 102317 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p173)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 794800 markings, 1547567 edges, 158960 markings/sec, 0 secs
lola: 1589489 markings, 3104646 edges, 158938 markings/sec, 5 secs
lola: 2398659 markings, 4824955 edges, 161834 markings/sec, 10 secs
lola: 3188607 markings, 6638738 edges, 157990 markings/sec, 15 secs
lola: 3990504 markings, 8424335 edges, 160379 markings/sec, 20 secs
lola: 4785340 markings, 10186677 edges, 158967 markings/sec, 25 secs
lola: 5574317 markings, 11938246 edges, 157795 markings/sec, 30 secs
lola: 6351207 markings, 13647720 edges, 155378 markings/sec, 35 secs
lola: 7114231 markings, 15358095 edges, 152605 markings/sec, 40 secs
lola: 7884845 markings, 17070115 edges, 154123 markings/sec, 45 secs
lola: 8642110 markings, 18736107 edges, 151453 markings/sec, 50 secs
lola: 9359695 markings, 20317884 edges, 143517 markings/sec, 55 secs
lola: 10036002 markings, 21828442 edges, 135261 markings/sec, 60 secs
lola: 10709694 markings, 23316829 edges, 134738 markings/sec, 65 secs
lola: 11375500 markings, 24811080 edges, 133161 markings/sec, 70 secs
lola: 12049195 markings, 26288732 edges, 134739 markings/sec, 75 secs
lola: 12701582 markings, 27757010 edges, 130477 markings/sec, 80 secs
lola: 13367337 markings, 29220351 edges, 133151 markings/sec, 85 secs
lola: 14020736 markings, 30676649 edges, 130680 markings/sec, 90 secs
lola: 14688579 markings, 32144371 edges, 133569 markings/sec, 95 secs
lola: 15339674 markings, 33595556 edges, 130219 markings/sec, 100 secs
lola: 15991555 markings, 35043894 edges, 130376 markings/sec, 105 secs
lola: 16637616 markings, 36482207 edges, 129212 markings/sec, 110 secs
lola: 17295522 markings, 37927355 edges, 131581 markings/sec, 115 secs
lola: 17932047 markings, 39354805 edges, 127305 markings/sec, 120 secs
lola: 18576965 markings, 40776698 edges, 128984 markings/sec, 125 secs
lola: 19212049 markings, 42193863 edges, 127017 markings/sec, 130 secs
lola: 19859032 markings, 43615010 edges, 129397 markings/sec, 135 secs
lola: 20490943 markings, 45025858 edges, 126382 markings/sec, 140 secs
lola: 21126441 markings, 46423761 edges, 127100 markings/sec, 145 secs
lola: 21754642 markings, 47832299 edges, 125640 markings/sec, 150 secs
lola: 22394747 markings, 49233832 edges, 128021 markings/sec, 155 secs
lola: 23009156 markings, 50622062 edges, 122882 markings/sec, 160 secs
lola: 23632654 markings, 52004103 edges, 124700 markings/sec, 165 secs
lola: 24269344 markings, 53400580 edges, 127338 markings/sec, 170 secs
lola: 24889663 markings, 54785403 edges, 124064 markings/sec, 175 secs
lola: 25516083 markings, 56168088 edges, 125284 markings/sec, 180 secs
lola: 26134998 markings, 57554707 edges, 123783 markings/sec, 185 secs
lola: 26766434 markings, 58933669 edges, 126287 markings/sec, 190 secs
lola: 27378049 markings, 60304349 edges, 122323 markings/sec, 195 secs
lola: 27987860 markings, 61667192 edges, 121962 markings/sec, 200 secs
lola: 28614163 markings, 63039052 edges, 125261 markings/sec, 205 secs
lola: 29216451 markings, 64392144 edges, 120458 markings/sec, 210 secs
lola: 29831925 markings, 65736712 edges, 123095 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p136)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 936422 markings, 1226926 edges, 187284 markings/sec, 0 secs
lola: 1857232 markings, 2434525 edges, 184162 markings/sec, 5 secs
lola: 2766562 markings, 3618480 edges, 181866 markings/sec, 10 secs
lola: 3663892 markings, 4795133 edges, 179466 markings/sec, 15 secs
lola: 4579710 markings, 5988721 edges, 183164 markings/sec, 20 secs
lola: 5437054 markings, 7207234 edges, 171469 markings/sec, 25 secs
lola: 6359351 markings, 8445534 edges, 184459 markings/sec, 30 secs
lola: 7282462 markings, 9688676 edges, 184622 markings/sec, 35 secs
lola: 8211770 markings, 10920285 edges, 185862 markings/sec, 40 secs
lola: 9109480 markings, 12101414 edges, 179542 markings/sec, 45 secs
lola: 9983535 markings, 13282428 edges, 174811 markings/sec, 50 secs
lola: 10861753 markings, 14453728 edges, 175644 markings/sec, 55 secs
lola: 11717829 markings, 15682035 edges, 171215 markings/sec, 60 secs
lola: 12565671 markings, 16932888 edges, 169568 markings/sec, 65 secs
lola: 13397113 markings, 18205287 edges, 166288 markings/sec, 70 secs
lola: 14230923 markings, 19501260 edges, 166762 markings/sec, 75 secs
lola: 15115990 markings, 20776595 edges, 177013 markings/sec, 80 secs
lola: 16026741 markings, 22032140 edges, 182150 markings/sec, 85 secs
lola: 16956259 markings, 23246342 edges, 185904 markings/sec, 90 secs
lola: 17871408 markings, 24458669 edges, 183030 markings/sec, 95 secs
lola: 18778030 markings, 25670347 edges, 181324 markings/sec, 100 secs
lola: 19638504 markings, 26923821 edges, 172095 markings/sec, 105 secs
lola: 20496529 markings, 28186046 edges, 171605 markings/sec, 110 secs
lola: 21391202 markings, 29467088 edges, 178935 markings/sec, 115 secs
lola: 22328454 markings, 30725766 edges, 187450 markings/sec, 120 secs
lola: 23250251 markings, 31952121 edges, 184359 markings/sec, 125 secs
lola: 24135143 markings, 33194124 edges, 176978 markings/sec, 130 secs
lola: 25039398 markings, 34432665 edges, 180851 markings/sec, 135 secs
lola: 25833179 markings, 35758734 edges, 158756 markings/sec, 140 secs
lola: 26708138 markings, 37063578 edges, 174992 markings/sec, 145 secs
lola: 27451867 markings, 38437331 edges, 148746 markings/sec, 150 secs
lola: 28262750 markings, 39791747 edges, 162177 markings/sec, 155 secs
lola: 29092298 markings, 41127593 edges, 165910 markings/sec, 160 secs
lola: 29933595 markings, 42433769 edges, 168259 markings/sec, 165 secs
lola: 30672720 markings, 43793665 edges, 147825 markings/sec, 170 secs
lola: 31422266 markings, 45167610 edges, 149909 markings/sec, 175 secs
lola: 32161116 markings, 46593286 edges, 147770 markings/sec, 180 secs
lola: 32864243 markings, 48055408 edges, 140625 markings/sec, 185 secs
lola: 33688278 markings, 49407857 edges, 164807 markings/sec, 190 secs
lola: 34589667 markings, 50717624 edges, 180278 markings/sec, 195 secs
lola: 35453134 markings, 52117922 edges, 172693 markings/sec, 200 secs
lola: 36220828 markings, 53458833 edges, 153539 markings/sec, 205 secs
lola: 36996406 markings, 54819720 edges, 155116 markings/sec, 210 secs
lola: 37822534 markings, 56151069 edges, 165226 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 975060 markings, 1272715 edges, 195012 markings/sec, 0 secs
lola: 1936709 markings, 2547938 edges, 192330 markings/sec, 5 secs
lola: 2929067 markings, 3854154 edges, 198472 markings/sec, 10 secs
lola: 3949825 markings, 5192246 edges, 204152 markings/sec, 15 secs
lola: 4931272 markings, 6471433 edges, 196289 markings/sec, 20 secs
lola: 5941166 markings, 7772160 edges, 201979 markings/sec, 25 secs
lola: 6868489 markings, 8998427 edges, 185465 markings/sec, 30 secs
lola: 7885914 markings, 10338315 edges, 203485 markings/sec, 35 secs
lola: 8849887 markings, 11592366 edges, 192795 markings/sec, 40 secs
lola: 9892644 markings, 12966868 edges, 208551 markings/sec, 45 secs
lola: 10812623 markings, 14277112 edges, 183996 markings/sec, 50 secs
lola: 11800787 markings, 15654018 edges, 197633 markings/sec, 55 secs
lola: 12801501 markings, 17051711 edges, 200143 markings/sec, 60 secs
lola: 13811104 markings, 18390047 edges, 201921 markings/sec, 65 secs
lola: 14789033 markings, 19690837 edges, 195586 markings/sec, 70 secs
lola: 15782576 markings, 21010907 edges, 198709 markings/sec, 75 secs
lola: 16863191 markings, 22441202 edges, 216123 markings/sec, 80 secs
lola: 17856481 markings, 23752071 edges, 198658 markings/sec, 85 secs
lola: 18838626 markings, 25051180 edges, 196429 markings/sec, 90 secs
lola: 19801997 markings, 26339865 edges, 192674 markings/sec, 95 secs
lola: 20781626 markings, 27677687 edges, 195926 markings/sec, 100 secs
lola: 21777099 markings, 29014297 edges, 199095 markings/sec, 105 secs
lola: 22818216 markings, 30416854 edges, 208223 markings/sec, 110 secs
lola: 23693144 markings, 31779588 edges, 174986 markings/sec, 115 secs
lola: 24638842 markings, 33244724 edges, 189140 markings/sec, 120 secs
lola: 25624172 markings, 34670838 edges, 197066 markings/sec, 125 secs
lola: 26493569 markings, 36164072 edges, 173879 markings/sec, 130 secs
lola: 27414149 markings, 37601863 edges, 184116 markings/sec, 135 secs
lola: 28368327 markings, 39034636 edges, 190836 markings/sec, 140 secs
lola: 29335439 markings, 40390664 edges, 193422 markings/sec, 145 secs
lola: 30329390 markings, 41691018 edges, 198790 markings/sec, 150 secs
lola: 31376335 markings, 43063627 edges, 209389 markings/sec, 155 secs
lola: 32402451 markings, 44399662 edges, 205223 markings/sec, 160 secs
lola: 33420770 markings, 45721341 edges, 203664 markings/sec, 165 secs
lola: 34383498 markings, 47023301 edges, 192546 markings/sec, 170 secs
lola: 35425228 markings, 48442625 edges, 208346 markings/sec, 175 secs
lola: 36406887 markings, 49750748 edges, 196332 markings/sec, 180 secs
lola: 37350998 markings, 51123998 edges, 188822 markings/sec, 185 secs
lola: 38297764 markings, 52598866 edges, 189353 markings/sec, 190 secs
lola: 39241721 markings, 53988216 edges, 188791 markings/sec, 195 secs
lola: 40188138 markings, 55429886 edges, 189283 markings/sec, 200 secs
lola: 41200394 markings, 56779685 edges, 202451 markings/sec, 205 secs
lola: 42209442 markings, 58114878 edges, 201810 markings/sec, 210 secs
lola: 43304677 markings, 59561582 edges, 219047 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA DES-PT-40a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494633910529

--------------------
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-40a"
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-40a.tgz
mv DES-PT-40a 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-40a, 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-149436309100299"
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 ;