About the Execution of LoLA for AutoFlight-PT-06b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
4529.320 | 3540095.00 | 3550632.00 | 190.10 | 1 ? 1 ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is AutoFlight-PT-06b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-csrt-149436126000209
=====================================================================
--------------------
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 AutoFlight-PT-06b-UpperBounds-0
FORMULA_NAME AutoFlight-PT-06b-UpperBounds-1
FORMULA_NAME AutoFlight-PT-06b-UpperBounds-10
FORMULA_NAME AutoFlight-PT-06b-UpperBounds-11
FORMULA_NAME AutoFlight-PT-06b-UpperBounds-12
FORMULA_NAME AutoFlight-PT-06b-UpperBounds-13
FORMULA_NAME AutoFlight-PT-06b-UpperBounds-14
FORMULA_NAME AutoFlight-PT-06b-UpperBounds-15
FORMULA_NAME AutoFlight-PT-06b-UpperBounds-2
FORMULA_NAME AutoFlight-PT-06b-UpperBounds-3
FORMULA_NAME AutoFlight-PT-06b-UpperBounds-4
FORMULA_NAME AutoFlight-PT-06b-UpperBounds-5
FORMULA_NAME AutoFlight-PT-06b-UpperBounds-6
FORMULA_NAME AutoFlight-PT-06b-UpperBounds-7
FORMULA_NAME AutoFlight-PT-06b-UpperBounds-8
FORMULA_NAME AutoFlight-PT-06b-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494599769800
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ AutoFlight-PT-06b @ 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: 1146/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 574 places, 572 transitions, 534 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 636 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-06b-UpperBounds.task
lola: MAX(p483) : MAX(p202) : MAX(p155) : MAX(p573) : MAX(p167) : MAX(p150) : MAX(p554) : MAX(p526) : MAX(p354) : MAX(p280) : MAX(p499) : MAX(p161) : MAX(p353) : MAX(p544) : MAX(p357) : MAX(p302)
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(p483)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p202)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 941778 markings, 1694768 edges, 188356 markings/sec, 0 secs
lola: 1708373 markings, 3493839 edges, 153319 markings/sec, 5 secs
lola: 2565671 markings, 5246919 edges, 171460 markings/sec, 10 secs
lola: 3549514 markings, 6953984 edges, 196769 markings/sec, 15 secs
lola: 4399331 markings, 8723357 edges, 169963 markings/sec, 20 secs
lola: 5207158 markings, 10394950 edges, 161565 markings/sec, 25 secs
lola: 5914512 markings, 12031271 edges, 141471 markings/sec, 30 secs
lola: 6589599 markings, 13692218 edges, 135017 markings/sec, 35 secs
lola: 7361444 markings, 15419924 edges, 154369 markings/sec, 40 secs
lola: 8103351 markings, 17141765 edges, 148381 markings/sec, 45 secs
lola: 8820305 markings, 18870412 edges, 143391 markings/sec, 50 secs
lola: 9502620 markings, 20462921 edges, 136463 markings/sec, 55 secs
lola: 10116036 markings, 22108532 edges, 122683 markings/sec, 60 secs
lola: 10780237 markings, 23730230 edges, 132840 markings/sec, 65 secs
lola: 11438249 markings, 25366844 edges, 131602 markings/sec, 70 secs
lola: 12071592 markings, 27151373 edges, 126669 markings/sec, 75 secs
lola: 12729994 markings, 28835311 edges, 131680 markings/sec, 80 secs
lola: 13371239 markings, 30579666 edges, 128249 markings/sec, 85 secs
lola: 14063182 markings, 32375892 edges, 138389 markings/sec, 90 secs
lola: 14770986 markings, 34133644 edges, 141561 markings/sec, 95 secs
lola: 15469868 markings, 35925536 edges, 139776 markings/sec, 100 secs
lola: 16108083 markings, 37743934 edges, 127643 markings/sec, 105 secs
lola: 16803286 markings, 39606288 edges, 139041 markings/sec, 110 secs
lola: 17555596 markings, 41362180 edges, 150462 markings/sec, 115 secs
lola: 18184938 markings, 43184172 edges, 125868 markings/sec, 120 secs
lola: 18922715 markings, 44943615 edges, 147555 markings/sec, 125 secs
lola: 19544429 markings, 46530879 edges, 124343 markings/sec, 130 secs
lola: 20174492 markings, 48150203 edges, 126013 markings/sec, 135 secs
lola: 20841125 markings, 49780115 edges, 133327 markings/sec, 140 secs
lola: 21439213 markings, 51431810 edges, 119618 markings/sec, 145 secs
lola: 22049939 markings, 53058358 edges, 122145 markings/sec, 150 secs
lola: 22690322 markings, 54655732 edges, 128077 markings/sec, 155 secs
lola: 23327722 markings, 56223392 edges, 127480 markings/sec, 160 secs
lola: 23970890 markings, 57800772 edges, 128634 markings/sec, 165 secs
lola: 24627950 markings, 59375149 edges, 131412 markings/sec, 170 secs
lola: 25262805 markings, 60998611 edges, 126971 markings/sec, 175 secs
lola: 25916360 markings, 62709309 edges, 130711 markings/sec, 180 secs
lola: 26567442 markings, 64433589 edges, 130216 markings/sec, 185 secs
lola: 27187322 markings, 66162393 edges, 123976 markings/sec, 190 secs
lola: 27860482 markings, 67865138 edges, 134632 markings/sec, 195 secs
lola: 28566169 markings, 69599081 edges, 141137 markings/sec, 200 secs
lola: 29214334 markings, 71438596 edges, 129633 markings/sec, 205 secs
lola: 29857702 markings, 73238337 edges, 128674 markings/sec, 210 secs
lola: 30486838 markings, 75090413 edges, 125827 markings/sec, 215 secs
lola: 31085501 markings, 76766936 edges, 119733 markings/sec, 220 secs
lola: 31667905 markings, 78437899 edges, 116481 markings/sec, 225 secs
lola: 32236116 markings, 80109038 edges, 113642 markings/sec, 230 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 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p155)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 1210620 markings, 1659997 edges, 242124 markings/sec, 0 secs
lola: 2462081 markings, 3310373 edges, 250292 markings/sec, 5 secs
lola: 3736139 markings, 4954068 edges, 254812 markings/sec, 10 secs
lola: 4877395 markings, 6523407 edges, 228251 markings/sec, 15 secs
lola: 5973922 markings, 8055871 edges, 219305 markings/sec, 20 secs
lola: 7075330 markings, 9618538 edges, 220282 markings/sec, 25 secs
lola: 8264649 markings, 11293920 edges, 237864 markings/sec, 30 secs
lola: 9424577 markings, 12972112 edges, 231986 markings/sec, 35 secs
lola: 10539229 markings, 14632123 edges, 222930 markings/sec, 40 secs
lola: 11670735 markings, 16299705 edges, 226301 markings/sec, 45 secs
lola: 12793140 markings, 17977219 edges, 224481 markings/sec, 50 secs
lola: 13889822 markings, 19640185 edges, 219336 markings/sec, 55 secs
lola: 14937927 markings, 21210599 edges, 209621 markings/sec, 60 secs
lola: 15921271 markings, 22757760 edges, 196669 markings/sec, 65 secs
lola: 16929061 markings, 24369897 edges, 201558 markings/sec, 70 secs
lola: 17973356 markings, 25968826 edges, 208859 markings/sec, 75 secs
lola: 18986114 markings, 27541986 edges, 202552 markings/sec, 80 secs
lola: 20047655 markings, 29164724 edges, 212308 markings/sec, 85 secs
lola: 21104210 markings, 30815163 edges, 211311 markings/sec, 90 secs
lola: 22097461 markings, 32482235 edges, 198650 markings/sec, 95 secs
lola: 23152291 markings, 34152620 edges, 210966 markings/sec, 100 secs
lola: 24153455 markings, 35818203 edges, 200233 markings/sec, 105 secs
lola: 25076405 markings, 37511855 edges, 184590 markings/sec, 110 secs
lola: 26017284 markings, 39178269 edges, 188176 markings/sec, 115 secs
lola: 27000399 markings, 40809818 edges, 196623 markings/sec, 120 secs
lola: 27922732 markings, 42492112 edges, 184467 markings/sec, 125 secs
lola: 28745036 markings, 44137804 edges, 164461 markings/sec, 130 secs
lola: 29601716 markings, 45620125 edges, 171336 markings/sec, 135 secs
lola: 30437608 markings, 47118950 edges, 167178 markings/sec, 140 secs
lola: 31290888 markings, 48659550 edges, 170656 markings/sec, 145 secs
lola: 32286287 markings, 50307173 edges, 199080 markings/sec, 150 secs
lola: 33105366 markings, 52020858 edges, 163816 markings/sec, 155 secs
lola: 34033701 markings, 53654227 edges, 185667 markings/sec, 160 secs
lola: 34828429 markings, 55268638 edges, 158946 markings/sec, 165 secs
lola: 35655329 markings, 56751890 edges, 165380 markings/sec, 170 secs
lola: 36395821 markings, 58265314 edges, 148098 markings/sec, 175 secs
lola: 37134213 markings, 59808035 edges, 147678 markings/sec, 180 secs
lola: 38030829 markings, 61355311 edges, 179323 markings/sec, 185 secs
lola: 38832899 markings, 62963090 edges, 160414 markings/sec, 190 secs
lola: 39648811 markings, 64644749 edges, 163182 markings/sec, 195 secs
lola: 40296153 markings, 66486629 edges, 129468 markings/sec, 200 secs
lola: 40864959 markings, 68255172 edges, 113761 markings/sec, 205 secs
lola: 41445505 markings, 69988504 edges, 116109 markings/sec, 210 secs
lola: 42012211 markings, 71738582 edges, 113341 markings/sec, 215 secs
lola: 42543880 markings, 73554521 edges, 106334 markings/sec, 220 secs
lola: 43070913 markings, 75402073 edges, 105407 markings/sec, 225 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p573)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 679673 markings, 1539991 edges, 135935 markings/sec, 0 secs
lola: 1436063 markings, 3176748 edges, 151278 markings/sec, 5 secs
lola: 2060280 markings, 4747435 edges, 124843 markings/sec, 10 secs
lola: 2665827 markings, 6337888 edges, 121109 markings/sec, 15 secs
lola: 3276643 markings, 8053390 edges, 122163 markings/sec, 20 secs
lola: 3917135 markings, 9854896 edges, 128098 markings/sec, 25 secs
lola: 4566978 markings, 11604509 edges, 129969 markings/sec, 30 secs
lola: 5185804 markings, 13418271 edges, 123765 markings/sec, 35 secs
lola: 5766440 markings, 15201519 edges, 116127 markings/sec, 40 secs
lola: 6356563 markings, 16915364 edges, 118025 markings/sec, 45 secs
lola: 6933986 markings, 18629927 edges, 115485 markings/sec, 50 secs
lola: 7520298 markings, 20337479 edges, 117262 markings/sec, 55 secs
lola: 8081789 markings, 22107264 edges, 112298 markings/sec, 60 secs
lola: 8629942 markings, 23871000 edges, 109631 markings/sec, 65 secs
lola: 9194310 markings, 25633247 edges, 112874 markings/sec, 70 secs
lola: 9779303 markings, 27439033 edges, 116999 markings/sec, 75 secs
lola: 10371713 markings, 29219928 edges, 118482 markings/sec, 80 secs
lola: 10956559 markings, 30978571 edges, 116969 markings/sec, 85 secs
lola: 11537620 markings, 32715849 edges, 116212 markings/sec, 90 secs
lola: 12105514 markings, 34455961 edges, 113579 markings/sec, 95 secs
lola: 12683321 markings, 36197156 edges, 115561 markings/sec, 100 secs
lola: 13268317 markings, 37886775 edges, 116999 markings/sec, 105 secs
lola: 13831511 markings, 39602960 edges, 112639 markings/sec, 110 secs
lola: 14379674 markings, 41309037 edges, 109633 markings/sec, 115 secs
lola: 14944326 markings, 42985971 edges, 112930 markings/sec, 120 secs
lola: 15516908 markings, 44645911 edges, 114516 markings/sec, 125 secs
lola: 16059929 markings, 46280267 edges, 108604 markings/sec, 130 secs
lola: 16600307 markings, 47924366 edges, 108076 markings/sec, 135 secs
lola: 17160705 markings, 49600890 edges, 112080 markings/sec, 140 secs
lola: 17702298 markings, 51304685 edges, 108319 markings/sec, 145 secs
lola: 18237207 markings, 53006918 edges, 106982 markings/sec, 150 secs
lola: 18790168 markings, 54654864 edges, 110592 markings/sec, 155 secs
lola: 19324853 markings, 56295156 edges, 106937 markings/sec, 160 secs
lola: 19869929 markings, 57985131 edges, 109015 markings/sec, 165 secs
lola: 20405564 markings, 59657487 edges, 107127 markings/sec, 170 secs
lola: 20935736 markings, 61347018 edges, 106034 markings/sec, 175 secs
lola: 21478735 markings, 62996961 edges, 108600 markings/sec, 180 secs
lola: 22040052 markings, 64675716 edges, 112263 markings/sec, 185 secs
lola: 22568604 markings, 66354904 edges, 105710 markings/sec, 190 secs
lola: 23086924 markings, 67998257 edges, 103664 markings/sec, 195 secs
lola: 23576695 markings, 69693572 edges, 97954 markings/sec, 200 secs
lola: 24092224 markings, 71316965 edges, 103106 markings/sec, 205 secs
lola: 24608901 markings, 73027165 edges, 103335 markings/sec, 210 secs
lola: 25113747 markings, 74752948 edges, 100969 markings/sec, 215 secs
lola: 25631329 markings, 76439781 edges, 103516 markings/sec, 220 secs
lola: 26155905 markings, 78134348 edges, 104915 markings/sec, 225 secs
lola: 26662365 markings, 79841261 edges, 101292 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p167)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 1228985 markings, 1770899 edges, 245797 markings/sec, 0 secs
lola: 2487879 markings, 3577196 edges, 251779 markings/sec, 5 secs
lola: 3748321 markings, 5388800 edges, 252088 markings/sec, 10 secs
lola: 4866804 markings, 7208089 edges, 223697 markings/sec, 15 secs
lola: 5617637 markings, 9079452 edges, 150167 markings/sec, 20 secs
lola: 6242025 markings, 11043720 edges, 124878 markings/sec, 25 secs
lola: 6838099 markings, 13030388 edges, 119215 markings/sec, 30 secs
lola: 7411101 markings, 15043767 edges, 114600 markings/sec, 35 secs
lola: 7950350 markings, 17087973 edges, 107850 markings/sec, 40 secs
lola: 8511369 markings, 19143428 edges, 112204 markings/sec, 45 secs
lola: 9081842 markings, 21090596 edges, 114095 markings/sec, 50 secs
lola: 9632358 markings, 22971129 edges, 110103 markings/sec, 55 secs
lola: 10180664 markings, 24826893 edges, 109661 markings/sec, 60 secs
lola: 10745137 markings, 26723357 edges, 112895 markings/sec, 65 secs
lola: 11322966 markings, 28642306 edges, 115566 markings/sec, 70 secs
lola: 11862703 markings, 30585064 edges, 107947 markings/sec, 75 secs
lola: 12393221 markings, 32525468 edges, 106104 markings/sec, 80 secs
lola: 12908244 markings, 34486578 edges, 103005 markings/sec, 85 secs
lola: 13429516 markings, 36424968 edges, 104254 markings/sec, 90 secs
lola: 13953390 markings, 38323011 edges, 104775 markings/sec, 95 secs
lola: 14455539 markings, 40214023 edges, 100430 markings/sec, 100 secs
lola: 14956874 markings, 41905928 edges, 100267 markings/sec, 105 secs
lola: 15460731 markings, 43615465 edges, 100771 markings/sec, 110 secs
lola: 15955872 markings, 45316079 edges, 99028 markings/sec, 115 secs
lola: 16525960 markings, 47053741 edges, 114018 markings/sec, 120 secs
lola: 17077806 markings, 48819039 edges, 110369 markings/sec, 125 secs
lola: 17584832 markings, 50586795 edges, 101405 markings/sec, 130 secs
lola: 18093562 markings, 52262374 edges, 101746 markings/sec, 135 secs
lola: 18693842 markings, 54003204 edges, 120056 markings/sec, 140 secs
lola: 19230436 markings, 55780666 edges, 107319 markings/sec, 145 secs
lola: 19737660 markings, 57495873 edges, 101445 markings/sec, 150 secs
lola: 20326120 markings, 59196814 edges, 117692 markings/sec, 155 secs
lola: 21197298 markings, 60883541 edges, 174236 markings/sec, 160 secs
lola: 22017284 markings, 62561762 edges, 163997 markings/sec, 165 secs
lola: 22660536 markings, 64382818 edges, 128650 markings/sec, 170 secs
lola: 23325224 markings, 66227403 edges, 132938 markings/sec, 175 secs
lola: 24024423 markings, 67921645 edges, 139840 markings/sec, 180 secs
lola: 24699171 markings, 69622413 edges, 134950 markings/sec, 185 secs
lola: 25296380 markings, 71362043 edges, 119442 markings/sec, 190 secs
lola: 25829039 markings, 73157357 edges, 106532 markings/sec, 195 secs
lola: 26400973 markings, 74870496 edges, 114387 markings/sec, 200 secs
lola: 27043079 markings, 76463714 edges, 128421 markings/sec, 205 secs
lola: 27677150 markings, 78067890 edges, 126814 markings/sec, 210 secs
lola: 28259307 markings, 79602650 edges, 116431 markings/sec, 215 secs
lola: 29066675 markings, 81091792 edges, 161474 markings/sec, 220 secs
lola: 29697982 markings, 82665293 edges, 126261 markings/sec, 225 secs
lola: 30332053 markings, 84293753 edges, 126814 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 236 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 68 bytes per marking, with 10 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: 680018 markings, 1832413 edges, 136004 markings/sec, 0 secs
lola: 1429852 markings, 3620537 edges, 149967 markings/sec, 5 secs
lola: 2192984 markings, 5445320 edges, 152626 markings/sec, 10 secs
lola: 2930587 markings, 7253876 edges, 147521 markings/sec, 15 secs
lola: 3631919 markings, 9048442 edges, 140266 markings/sec, 20 secs
lola: 4342319 markings, 10857633 edges, 142080 markings/sec, 25 secs
lola: 5016149 markings, 12682340 edges, 134766 markings/sec, 30 secs
lola: 5701410 markings, 14467082 edges, 137052 markings/sec, 35 secs
lola: 6375056 markings, 16264612 edges, 134729 markings/sec, 40 secs
lola: 7033894 markings, 18080434 edges, 131768 markings/sec, 45 secs
lola: 7687949 markings, 19817862 edges, 130811 markings/sec, 50 secs
lola: 8303470 markings, 21506167 edges, 123104 markings/sec, 55 secs
lola: 8919466 markings, 23134494 edges, 123199 markings/sec, 60 secs
lola: 9525617 markings, 24845289 edges, 121230 markings/sec, 65 secs
lola: 10172048 markings, 26580376 edges, 129286 markings/sec, 70 secs
lola: 10815385 markings, 28307910 edges, 128667 markings/sec, 75 secs
lola: 11427013 markings, 29955475 edges, 122326 markings/sec, 80 secs
lola: 12018303 markings, 31587906 edges, 118258 markings/sec, 85 secs
lola: 12635966 markings, 33278207 edges, 123533 markings/sec, 90 secs
lola: 13247948 markings, 34919788 edges, 122396 markings/sec, 95 secs
lola: 13865861 markings, 36535066 edges, 123583 markings/sec, 100 secs
lola: 14519214 markings, 38280079 edges, 130671 markings/sec, 105 secs
lola: 15107034 markings, 39912305 edges, 117564 markings/sec, 110 secs
lola: 15701432 markings, 41553476 edges, 118880 markings/sec, 115 secs
lola: 16341266 markings, 43341360 edges, 127967 markings/sec, 120 secs
lola: 16989390 markings, 45066181 edges, 129625 markings/sec, 125 secs
lola: 17654430 markings, 46896677 edges, 133008 markings/sec, 130 secs
lola: 18237971 markings, 48479379 edges, 116708 markings/sec, 135 secs
lola: 18852893 markings, 50139294 edges, 122984 markings/sec, 140 secs
lola: 19439818 markings, 51797515 edges, 117385 markings/sec, 145 secs
lola: 20025507 markings, 53430609 edges, 117138 markings/sec, 150 secs
lola: 20648498 markings, 55176833 edges, 124598 markings/sec, 155 secs
lola: 21330250 markings, 57048100 edges, 136350 markings/sec, 160 secs
lola: 21979648 markings, 58835306 edges, 129880 markings/sec, 165 secs
lola: 22611620 markings, 60651318 edges, 126394 markings/sec, 170 secs
lola: 23255372 markings, 62445745 edges, 128750 markings/sec, 175 secs
lola: 23920145 markings, 64275212 edges, 132955 markings/sec, 180 secs
lola: 24558201 markings, 66047486 edges, 127611 markings/sec, 185 secs
lola: 25221084 markings, 67837654 edges, 132577 markings/sec, 190 secs
lola: 25876692 markings, 69645268 edges, 131122 markings/sec, 195 secs
lola: 26521434 markings, 71433888 edges, 128948 markings/sec, 200 secs
lola: 27188092 markings, 73243667 edges, 133332 markings/sec, 205 secs
lola: 27839704 markings, 75053758 edges, 130322 markings/sec, 210 secs
lola: 28509461 markings, 76866960 edges, 133951 markings/sec, 215 secs
lola: 29149758 markings, 78695022 edges, 128059 markings/sec, 220 secs
lola: 29803893 markings, 80531697 edges, 130827 markings/sec, 225 secs
lola: 30448961 markings, 82322471 edges, 129014 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p554)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 1084597 markings, 1782284 edges, 216919 markings/sec, 0 secs
lola: 2009916 markings, 3536908 edges, 185064 markings/sec, 5 secs
lola: 2886186 markings, 5276004 edges, 175254 markings/sec, 10 secs
lola: 3715540 markings, 7031847 edges, 165871 markings/sec, 15 secs
lola: 4510404 markings, 8812818 edges, 158973 markings/sec, 20 secs
lola: 5353082 markings, 10494640 edges, 168536 markings/sec, 25 secs
lola: 6166715 markings, 12214024 edges, 162727 markings/sec, 30 secs
lola: 6977691 markings, 13948383 edges, 162195 markings/sec, 35 secs
lola: 7783572 markings, 15705948 edges, 161176 markings/sec, 40 secs
lola: 8588778 markings, 17423756 edges, 161041 markings/sec, 45 secs
lola: 9394144 markings, 19119980 edges, 161073 markings/sec, 50 secs
lola: 10187962 markings, 20824289 edges, 158764 markings/sec, 55 secs
lola: 10956123 markings, 22550339 edges, 153632 markings/sec, 60 secs
lola: 11718192 markings, 24289176 edges, 152414 markings/sec, 65 secs
lola: 12505056 markings, 25977785 edges, 157373 markings/sec, 70 secs
lola: 13254181 markings, 27682155 edges, 149825 markings/sec, 75 secs
lola: 14018647 markings, 29365672 edges, 152893 markings/sec, 80 secs
lola: 14761276 markings, 31078748 edges, 148526 markings/sec, 85 secs
lola: 15513986 markings, 32750662 edges, 150542 markings/sec, 90 secs
lola: 16237756 markings, 34464171 edges, 144754 markings/sec, 95 secs
lola: 16958084 markings, 36139644 edges, 144066 markings/sec, 100 secs
lola: 17685348 markings, 37835158 edges, 145453 markings/sec, 105 secs
lola: 18400893 markings, 39497997 edges, 143109 markings/sec, 110 secs
lola: 19097559 markings, 41162038 edges, 139333 markings/sec, 115 secs
lola: 19779024 markings, 42779486 edges, 136293 markings/sec, 120 secs
lola: 20488965 markings, 44377245 edges, 141988 markings/sec, 125 secs
lola: 21140575 markings, 45947424 edges, 130322 markings/sec, 130 secs
lola: 21803262 markings, 47450829 edges, 132537 markings/sec, 135 secs
lola: 22425859 markings, 48859205 edges, 124519 markings/sec, 140 secs
lola: 23058573 markings, 50387750 edges, 126543 markings/sec, 145 secs
lola: 23715867 markings, 51903265 edges, 131459 markings/sec, 150 secs
lola: 24347102 markings, 53424694 edges, 126247 markings/sec, 155 secs
lola: 25014823 markings, 54956822 edges, 133544 markings/sec, 160 secs
lola: 25626020 markings, 56526928 edges, 122239 markings/sec, 165 secs
lola: 26262201 markings, 58050993 edges, 127236 markings/sec, 170 secs
lola: 26875437 markings, 59623679 edges, 122647 markings/sec, 175 secs
lola: 27519781 markings, 61166439 edges, 128869 markings/sec, 180 secs
lola: 28139893 markings, 62731866 edges, 124022 markings/sec, 185 secs
lola: 28775073 markings, 64254175 edges, 127036 markings/sec, 190 secs
lola: 29407489 markings, 65795798 edges, 126483 markings/sec, 195 secs
lola: 30038633 markings, 67309143 edges, 126229 markings/sec, 200 secs
lola: 30671987 markings, 68812974 edges, 126671 markings/sec, 205 secs
lola: 31276801 markings, 70388224 edges, 120963 markings/sec, 210 secs
lola: 31903616 markings, 71957946 edges, 125363 markings/sec, 215 secs
lola: 32547024 markings, 73585544 edges, 128682 markings/sec, 220 secs
lola: 33190420 markings, 75167037 edges, 128679 markings/sec, 225 secs
lola: 33847423 markings, 76753685 edges, 131401 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p526)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 894057 markings, 1572765 edges, 178811 markings/sec, 0 secs
lola: 1787895 markings, 3118935 edges, 178768 markings/sec, 5 secs
lola: 2650362 markings, 4647202 edges, 172493 markings/sec, 10 secs
lola: 3523368 markings, 6197190 edges, 174601 markings/sec, 15 secs
lola: 4425442 markings, 7800834 edges, 180415 markings/sec, 20 secs
lola: 5322047 markings, 9395618 edges, 179321 markings/sec, 25 secs
lola: 6183160 markings, 10996116 edges, 172223 markings/sec, 30 secs
lola: 6900852 markings, 12573038 edges, 143538 markings/sec, 35 secs
lola: 7555541 markings, 14163511 edges, 130938 markings/sec, 40 secs
lola: 8171427 markings, 15784183 edges, 123177 markings/sec, 45 secs
lola: 8762216 markings, 17413148 edges, 118158 markings/sec, 50 secs
lola: 9346074 markings, 19048516 edges, 116772 markings/sec, 55 secs
lola: 9919738 markings, 20700499 edges, 114733 markings/sec, 60 secs
lola: 10478954 markings, 22331445 edges, 111843 markings/sec, 65 secs
lola: 11007296 markings, 24064077 edges, 105668 markings/sec, 70 secs
lola: 11557238 markings, 25741663 edges, 109988 markings/sec, 75 secs
lola: 12112624 markings, 27381985 edges, 111077 markings/sec, 80 secs
lola: 12657059 markings, 28932477 edges, 108887 markings/sec, 85 secs
lola: 13211117 markings, 30543665 edges, 110812 markings/sec, 90 secs
lola: 13728487 markings, 32135569 edges, 103474 markings/sec, 95 secs
lola: 14254769 markings, 33760910 edges, 105256 markings/sec, 100 secs
lola: 14795123 markings, 35350712 edges, 108071 markings/sec, 105 secs
lola: 15303051 markings, 36875046 edges, 101586 markings/sec, 110 secs
lola: 15812115 markings, 38391985 edges, 101813 markings/sec, 115 secs
lola: 16320177 markings, 39944281 edges, 101612 markings/sec, 120 secs
lola: 16820223 markings, 41512814 edges, 100009 markings/sec, 125 secs
lola: 17322727 markings, 43036880 edges, 100501 markings/sec, 130 secs
lola: 17823909 markings, 44587254 edges, 100236 markings/sec, 135 secs
lola: 18308924 markings, 46123734 edges, 97003 markings/sec, 140 secs
lola: 18801043 markings, 47693308 edges, 98424 markings/sec, 145 secs
lola: 19287398 markings, 49237967 edges, 97271 markings/sec, 150 secs
lola: 19744934 markings, 50817785 edges, 91507 markings/sec, 155 secs
lola: 20204948 markings, 52421353 edges, 92003 markings/sec, 160 secs
lola: 20675553 markings, 53954676 edges, 94121 markings/sec, 165 secs
lola: 21140884 markings, 55506120 edges, 93066 markings/sec, 170 secs
lola: 21597002 markings, 57088194 edges, 91224 markings/sec, 175 secs
lola: 22078283 markings, 58628337 edges, 96256 markings/sec, 180 secs
lola: 22538472 markings, 60190041 edges, 92038 markings/sec, 185 secs
lola: 22994392 markings, 61788779 edges, 91184 markings/sec, 190 secs
lola: 23456628 markings, 63341019 edges, 92447 markings/sec, 195 secs
lola: 23923836 markings, 64899408 edges, 93442 markings/sec, 200 secs
lola: 24392452 markings, 66449393 edges, 93723 markings/sec, 205 secs
lola: 24855595 markings, 68006832 edges, 92629 markings/sec, 210 secs
lola: 25305836 markings, 69579418 edges, 90048 markings/sec, 215 secs
lola: 25774098 markings, 71111397 edges, 93652 markings/sec, 220 secs
lola: 26207232 markings, 72714039 edges, 86627 markings/sec, 225 secs
lola: 26648174 markings, 74248734 edges, 88188 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p354)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 1106154 markings, 1586143 edges, 221231 markings/sec, 0 secs
lola: 2089885 markings, 3155422 edges, 196746 markings/sec, 5 secs
lola: 2994351 markings, 4680202 edges, 180893 markings/sec, 10 secs
lola: 3855951 markings, 6191587 edges, 172320 markings/sec, 15 secs
lola: 4743194 markings, 7675549 edges, 177449 markings/sec, 20 secs
lola: 5578974 markings, 9222647 edges, 167156 markings/sec, 25 secs
lola: 6410762 markings, 10739893 edges, 166358 markings/sec, 30 secs
lola: 7208783 markings, 12259262 edges, 159604 markings/sec, 35 secs
lola: 8025329 markings, 13760918 edges, 163309 markings/sec, 40 secs
lola: 8850981 markings, 15274336 edges, 165130 markings/sec, 45 secs
lola: 9626234 markings, 16763357 edges, 155051 markings/sec, 50 secs
lola: 10359700 markings, 18237950 edges, 146693 markings/sec, 55 secs
lola: 11109943 markings, 19755701 edges, 150049 markings/sec, 60 secs
lola: 11877567 markings, 21263164 edges, 153525 markings/sec, 65 secs
lola: 12623217 markings, 22764026 edges, 149130 markings/sec, 70 secs
lola: 13334075 markings, 24190091 edges, 142172 markings/sec, 75 secs
lola: 14038280 markings, 25633060 edges, 140841 markings/sec, 80 secs
lola: 14740308 markings, 27033175 edges, 140406 markings/sec, 85 secs
lola: 15437219 markings, 28495474 edges, 139382 markings/sec, 90 secs
lola: 16140339 markings, 30015907 edges, 140624 markings/sec, 95 secs
lola: 16852292 markings, 31548068 edges, 142391 markings/sec, 100 secs
lola: 17552684 markings, 33091910 edges, 140078 markings/sec, 105 secs
lola: 18254556 markings, 34650176 edges, 140374 markings/sec, 110 secs
lola: 18999864 markings, 36193517 edges, 149062 markings/sec, 115 secs
lola: 19713112 markings, 37740451 edges, 142650 markings/sec, 120 secs
lola: 20397258 markings, 39331509 edges, 136829 markings/sec, 125 secs
lola: 21106326 markings, 40892058 edges, 141814 markings/sec, 130 secs
lola: 21766628 markings, 42488163 edges, 132060 markings/sec, 135 secs
lola: 22495446 markings, 44018362 edges, 145764 markings/sec, 140 secs
lola: 23198007 markings, 45564806 edges, 140512 markings/sec, 145 secs
lola: 23849432 markings, 47152037 edges, 130285 markings/sec, 150 secs
lola: 24542251 markings, 48702013 edges, 138564 markings/sec, 155 secs
lola: 25221041 markings, 50255328 edges, 135758 markings/sec, 160 secs
lola: 25916619 markings, 51784819 edges, 139116 markings/sec, 165 secs
lola: 26562464 markings, 53345886 edges, 129169 markings/sec, 170 secs
lola: 27226111 markings, 54894986 edges, 132729 markings/sec, 175 secs
lola: 27888513 markings, 56461668 edges, 132480 markings/sec, 180 secs
lola: 28517505 markings, 58032249 edges, 125798 markings/sec, 185 secs
lola: 29099545 markings, 59628247 edges, 116408 markings/sec, 190 secs
lola: 29694923 markings, 61206449 edges, 119076 markings/sec, 195 secs
lola: 30312219 markings, 62812288 edges, 123459 markings/sec, 200 secs
lola: 30812761 markings, 64515790 edges, 100108 markings/sec, 205 secs
lola: 31250710 markings, 66193895 edges, 87590 markings/sec, 210 secs
lola: 31746668 markings, 67836133 edges, 99192 markings/sec, 215 secs
lola: 32310365 markings, 69490458 edges, 112739 markings/sec, 220 secs
lola: 32849350 markings, 71151349 edges, 107797 markings/sec, 225 secs
lola: 33295779 markings, 72877453 edges, 89286 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p280)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 728036 markings, 1860927 edges, 145607 markings/sec, 0 secs
lola: 1522885 markings, 3610936 edges, 158970 markings/sec, 5 secs
lola: 2183635 markings, 5469290 edges, 132150 markings/sec, 10 secs
lola: 2818435 markings, 7269760 edges, 126960 markings/sec, 15 secs
lola: 3406162 markings, 9054056 edges, 117545 markings/sec, 20 secs
lola: 4003885 markings, 10827987 edges, 119545 markings/sec, 25 secs
lola: 4566483 markings, 12607139 edges, 112520 markings/sec, 30 secs
lola: 5082508 markings, 14421221 edges, 103205 markings/sec, 35 secs
lola: 5591533 markings, 16256535 edges, 101805 markings/sec, 40 secs
lola: 6108071 markings, 18031178 edges, 103308 markings/sec, 45 secs
lola: 6623589 markings, 19735175 edges, 103104 markings/sec, 50 secs
lola: 7175222 markings, 21453506 edges, 110327 markings/sec, 55 secs
lola: 7708536 markings, 23145871 edges, 106663 markings/sec, 60 secs
lola: 8216657 markings, 24906715 edges, 101624 markings/sec, 65 secs
lola: 8723337 markings, 26610285 edges, 101336 markings/sec, 70 secs
lola: 9230202 markings, 28323227 edges, 101373 markings/sec, 75 secs
lola: 9748367 markings, 30026915 edges, 103633 markings/sec, 80 secs
lola: 10291129 markings, 31707835 edges, 108552 markings/sec, 85 secs
lola: 10819963 markings, 33351830 edges, 105767 markings/sec, 90 secs
lola: 11323477 markings, 35019148 edges, 100703 markings/sec, 95 secs
lola: 11854444 markings, 36750334 edges, 106193 markings/sec, 100 secs
lola: 12349738 markings, 38450833 edges, 99059 markings/sec, 105 secs
lola: 12841911 markings, 40119757 edges, 98435 markings/sec, 110 secs
lola: 13309693 markings, 41736885 edges, 93556 markings/sec, 115 secs
lola: 13824087 markings, 43318818 edges, 102879 markings/sec, 120 secs
lola: 14314420 markings, 44941938 edges, 98067 markings/sec, 125 secs
lola: 14841238 markings, 46678550 edges, 105364 markings/sec, 130 secs
lola: 15368392 markings, 48459459 edges, 105431 markings/sec, 135 secs
lola: 15878708 markings, 50284295 edges, 102063 markings/sec, 140 secs
lola: 16364276 markings, 52072014 edges, 97114 markings/sec, 145 secs
lola: 16855496 markings, 53773990 edges, 98244 markings/sec, 150 secs
lola: 17358722 markings, 55494397 edges, 100645 markings/sec, 155 secs
lola: 17858098 markings, 57250708 edges, 99875 markings/sec, 160 secs
lola: 18332143 markings, 58982338 edges, 94809 markings/sec, 165 secs
lola: 18848479 markings, 60710694 edges, 103267 markings/sec, 170 secs
lola: 19358096 markings, 62447308 edges, 101923 markings/sec, 175 secs
lola: 19846457 markings, 64165570 edges, 97672 markings/sec, 180 secs
lola: 20339064 markings, 65930423 edges, 98521 markings/sec, 185 secs
lola: 20840835 markings, 67642729 edges, 100354 markings/sec, 190 secs
lola: 21330320 markings, 69321501 edges, 97897 markings/sec, 195 secs
lola: 21780106 markings, 70890540 edges, 89957 markings/sec, 200 secs
lola: 22265378 markings, 72497449 edges, 97054 markings/sec, 205 secs
lola: 22737138 markings, 74084139 edges, 94352 markings/sec, 210 secs
lola: 23174445 markings, 75636606 edges, 87461 markings/sec, 215 secs
lola: 23681654 markings, 77368397 edges, 101442 markings/sec, 220 secs
lola: 24180467 markings, 79093279 edges, 99763 markings/sec, 225 secs
lola: 24658856 markings, 80792854 edges, 95678 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 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p499)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 11 will run for 283 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p161)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 745680 markings, 1804896 edges, 149136 markings/sec, 0 secs
lola: 1467035 markings, 3608946 edges, 144271 markings/sec, 5 secs
lola: 2172794 markings, 5362960 edges, 141152 markings/sec, 10 secs
lola: 2856925 markings, 7035654 edges, 136826 markings/sec, 15 secs
lola: 3551508 markings, 8758070 edges, 138917 markings/sec, 20 secs
lola: 4231754 markings, 10522600 edges, 136049 markings/sec, 25 secs
lola: 4830749 markings, 12326399 edges, 119799 markings/sec, 30 secs
lola: 5436952 markings, 14091549 edges, 121241 markings/sec, 35 secs
lola: 6034925 markings, 15838752 edges, 119595 markings/sec, 40 secs
lola: 6608535 markings, 17539596 edges, 114722 markings/sec, 45 secs
lola: 7239165 markings, 19247207 edges, 126126 markings/sec, 50 secs
lola: 7821141 markings, 20927919 edges, 116395 markings/sec, 55 secs
lola: 8412073 markings, 22674285 edges, 118186 markings/sec, 60 secs
lola: 9013057 markings, 24405451 edges, 120197 markings/sec, 65 secs
lola: 9620859 markings, 26075593 edges, 121560 markings/sec, 70 secs
lola: 10197430 markings, 27720486 edges, 115314 markings/sec, 75 secs
lola: 10777561 markings, 29420347 edges, 116026 markings/sec, 80 secs
lola: 11370762 markings, 31093116 edges, 118640 markings/sec, 85 secs
lola: 11960196 markings, 32804795 edges, 117887 markings/sec, 90 secs
lola: 12536790 markings, 34472968 edges, 115319 markings/sec, 95 secs
lola: 13130545 markings, 36143705 edges, 118751 markings/sec, 100 secs
lola: 13694598 markings, 37886214 edges, 112811 markings/sec, 105 secs
lola: 14288605 markings, 39554345 edges, 118801 markings/sec, 110 secs
lola: 14867100 markings, 41247750 edges, 115699 markings/sec, 115 secs
lola: 15454171 markings, 42914362 edges, 117414 markings/sec, 120 secs
lola: 16032043 markings, 44617448 edges, 115574 markings/sec, 125 secs
lola: 16604888 markings, 46307531 edges, 114569 markings/sec, 130 secs
lola: 17178126 markings, 47912894 edges, 114648 markings/sec, 135 secs
lola: 17769493 markings, 49596074 edges, 118273 markings/sec, 140 secs
lola: 18365867 markings, 51290398 edges, 119275 markings/sec, 145 secs
lola: 18960968 markings, 53048754 edges, 119020 markings/sec, 150 secs
lola: 19539503 markings, 54760594 edges, 115707 markings/sec, 155 secs
lola: 20114025 markings, 56494392 edges, 114904 markings/sec, 160 secs
lola: 20629423 markings, 58046000 edges, 103080 markings/sec, 165 secs
lola: 21162601 markings, 59572169 edges, 106636 markings/sec, 170 secs
lola: 21721975 markings, 61225361 edges, 111875 markings/sec, 175 secs
lola: 22260414 markings, 62778766 edges, 107688 markings/sec, 180 secs
lola: 22788523 markings, 64338414 edges, 105622 markings/sec, 185 secs
lola: 23328343 markings, 65890760 edges, 107964 markings/sec, 190 secs
lola: 23863204 markings, 67502407 edges, 106972 markings/sec, 195 secs
lola: 24364056 markings, 69021442 edges, 100170 markings/sec, 200 secs
lola: 24887582 markings, 70604476 edges, 104705 markings/sec, 205 secs
lola: 25425836 markings, 72195409 edges, 107651 markings/sec, 210 secs
lola: 25945168 markings, 73727535 edges, 103866 markings/sec, 215 secs
lola: 26459178 markings, 75288937 edges, 102802 markings/sec, 220 secs
lola: 26993710 markings, 76861899 edges, 106906 markings/sec, 225 secs
lola: 27506882 markings, 78445359 edges, 102634 markings/sec, 230 secs
lola: 28010340 markings, 80013532 edges, 100692 markings/sec, 235 secs
lola: 28518563 markings, 81592567 edges, 101645 markings/sec, 240 secs
lola: 29021396 markings, 83161901 edges, 100567 markings/sec, 245 secs
lola: 29521400 markings, 84742851 edges, 100001 markings/sec, 250 secs
lola: 30033807 markings, 86305841 edges, 102481 markings/sec, 255 secs
lola: 30570261 markings, 87863040 edges, 107291 markings/sec, 260 secs
lola: 31074443 markings, 89456628 edges, 100836 markings/sec, 265 secs
lola: 31586640 markings, 91029808 edges, 102439 markings/sec, 270 secs
lola: 32094132 markings, 92597101 edges, 101498 markings/sec, 275 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 283 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p353)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 1040006 markings, 1483012 edges, 208001 markings/sec, 0 secs
lola: 1960948 markings, 2943231 edges, 184188 markings/sec, 5 secs
lola: 2830440 markings, 4397257 edges, 173898 markings/sec, 10 secs
lola: 3667016 markings, 5844531 edges, 167315 markings/sec, 15 secs
lola: 4497851 markings, 7269242 edges, 166167 markings/sec, 20 secs
lola: 5294335 markings, 8711892 edges, 159297 markings/sec, 25 secs
lola: 6073508 markings, 10148730 edges, 155835 markings/sec, 30 secs
lola: 6851253 markings, 11567438 edges, 155549 markings/sec, 35 secs
lola: 7621668 markings, 12987513 edges, 154083 markings/sec, 40 secs
lola: 8367023 markings, 14409079 edges, 149071 markings/sec, 45 secs
lola: 9140469 markings, 15840791 edges, 154689 markings/sec, 50 secs
lola: 9869544 markings, 17253377 edges, 145815 markings/sec, 55 secs
lola: 10591597 markings, 18681305 edges, 144411 markings/sec, 60 secs
lola: 11275421 markings, 20133503 edges, 136765 markings/sec, 65 secs
lola: 12009710 markings, 21538329 edges, 146858 markings/sec, 70 secs
lola: 12720672 markings, 22945966 edges, 142192 markings/sec, 75 secs
lola: 13413096 markings, 24353153 edges, 138485 markings/sec, 80 secs
lola: 14126531 markings, 25803699 edges, 142687 markings/sec, 85 secs
lola: 14832402 markings, 27221225 edges, 141174 markings/sec, 90 secs
lola: 15523199 markings, 28642212 edges, 138159 markings/sec, 95 secs
lola: 16169684 markings, 30076845 edges, 129297 markings/sec, 100 secs
lola: 16839367 markings, 31516747 edges, 133937 markings/sec, 105 secs
lola: 17489285 markings, 32956240 edges, 129984 markings/sec, 110 secs
lola: 18135842 markings, 34401706 edges, 129311 markings/sec, 115 secs
lola: 18830694 markings, 35810354 edges, 138970 markings/sec, 120 secs
lola: 19485815 markings, 37240578 edges, 131024 markings/sec, 125 secs
lola: 20115062 markings, 38693841 edges, 125849 markings/sec, 130 secs
lola: 20744117 markings, 40157924 edges, 125811 markings/sec, 135 secs
lola: 21399342 markings, 41605357 edges, 131045 markings/sec, 140 secs
lola: 22039236 markings, 43049008 edges, 127979 markings/sec, 145 secs
lola: 22705936 markings, 44478422 edges, 133340 markings/sec, 150 secs
lola: 23325894 markings, 45932668 edges, 123992 markings/sec, 155 secs
lola: 23969497 markings, 47392432 edges, 128721 markings/sec, 160 secs
lola: 24620926 markings, 48865688 edges, 130286 markings/sec, 165 secs
lola: 25255204 markings, 50309805 edges, 126856 markings/sec, 170 secs
lola: 25886472 markings, 51721374 edges, 126254 markings/sec, 175 secs
lola: 26487480 markings, 53156257 edges, 120202 markings/sec, 180 secs
lola: 27097206 markings, 54584901 edges, 121945 markings/sec, 185 secs
lola: 27725942 markings, 56013957 edges, 125747 markings/sec, 190 secs
lola: 28290932 markings, 57474034 edges, 112998 markings/sec, 195 secs
lola: 28825493 markings, 58989131 edges, 106912 markings/sec, 200 secs
lola: 29427436 markings, 60434395 edges, 120389 markings/sec, 205 secs
lola: 30001770 markings, 61910680 edges, 114867 markings/sec, 210 secs
lola: 30536181 markings, 63454955 edges, 106882 markings/sec, 215 secs
lola: 30960525 markings, 65044412 edges, 84869 markings/sec, 220 secs
lola: 31399788 markings, 66621884 edges, 87853 markings/sec, 225 secs
lola: 31849242 markings, 68144890 edges, 89891 markings/sec, 230 secs
lola: 32404905 markings, 69673434 edges, 111133 markings/sec, 235 secs
lola: 32881072 markings, 71238170 edges, 95233 markings/sec, 240 secs
lola: 33297700 markings, 72842550 edges, 83326 markings/sec, 245 secs
lola: 33683003 markings, 74388743 edges, 77061 markings/sec, 250 secs
lola: 34102436 markings, 75980549 edges, 83887 markings/sec, 255 secs
lola: 34528038 markings, 77533918 edges, 85120 markings/sec, 260 secs
lola: 34930713 markings, 78990352 edges, 80535 markings/sec, 265 secs
lola: 35323474 markings, 80442091 edges, 78552 markings/sec, 270 secs
lola: 35717361 markings, 81914356 edges, 78777 markings/sec, 275 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 283 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p544)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 712504 markings, 1618953 edges, 142501 markings/sec, 0 secs
lola: 1406080 markings, 3210681 edges, 138715 markings/sec, 5 secs
lola: 1994038 markings, 4881670 edges, 117592 markings/sec, 10 secs
lola: 2600595 markings, 6426659 edges, 121311 markings/sec, 15 secs
lola: 3190580 markings, 7996430 edges, 117997 markings/sec, 20 secs
lola: 3739554 markings, 9500935 edges, 109795 markings/sec, 25 secs
lola: 4278681 markings, 11104837 edges, 107825 markings/sec, 30 secs
lola: 4875603 markings, 12617860 edges, 119384 markings/sec, 35 secs
lola: 5455284 markings, 14131681 edges, 115936 markings/sec, 40 secs
lola: 5966986 markings, 15668386 edges, 102340 markings/sec, 45 secs
lola: 6460090 markings, 17326665 edges, 98621 markings/sec, 50 secs
lola: 6952439 markings, 18967858 edges, 98470 markings/sec, 55 secs
lola: 7435396 markings, 20551704 edges, 96591 markings/sec, 60 secs
lola: 7945355 markings, 22040506 edges, 101992 markings/sec, 65 secs
lola: 8444940 markings, 23529947 edges, 99917 markings/sec, 70 secs
lola: 8959126 markings, 24996684 edges, 102837 markings/sec, 75 secs
lola: 9453212 markings, 26463145 edges, 98817 markings/sec, 80 secs
lola: 9980183 markings, 27972011 edges, 105394 markings/sec, 85 secs
lola: 10465858 markings, 29510542 edges, 97135 markings/sec, 90 secs
lola: 10935405 markings, 30945144 edges, 93909 markings/sec, 95 secs
lola: 11427661 markings, 32431258 edges, 98451 markings/sec, 100 secs
lola: 11914734 markings, 33872524 edges, 97415 markings/sec, 105 secs
lola: 12378164 markings, 35416101 edges, 92686 markings/sec, 110 secs
lola: 12888507 markings, 36882386 edges, 102069 markings/sec, 115 secs
lola: 13361980 markings, 38433690 edges, 94695 markings/sec, 120 secs
lola: 13839001 markings, 39970054 edges, 95404 markings/sec, 125 secs
lola: 14314520 markings, 41529305 edges, 95104 markings/sec, 130 secs
lola: 14790672 markings, 42982761 edges, 95230 markings/sec, 135 secs
lola: 15245337 markings, 44523952 edges, 90933 markings/sec, 140 secs
lola: 15700513 markings, 45969926 edges, 91035 markings/sec, 145 secs
lola: 16151413 markings, 47496295 edges, 90180 markings/sec, 150 secs
lola: 16643777 markings, 49018426 edges, 98473 markings/sec, 155 secs
lola: 17082111 markings, 50574787 edges, 87667 markings/sec, 160 secs
lola: 17544529 markings, 52028654 edges, 92484 markings/sec, 165 secs
lola: 17998029 markings, 53573135 edges, 90700 markings/sec, 170 secs
lola: 18466635 markings, 55099018 edges, 93721 markings/sec, 175 secs
lola: 18893288 markings, 56764156 edges, 85331 markings/sec, 180 secs
lola: 19356956 markings, 58287516 edges, 92734 markings/sec, 185 secs
lola: 19814588 markings, 59753457 edges, 91526 markings/sec, 190 secs
lola: 20246985 markings, 61217853 edges, 86479 markings/sec, 195 secs
lola: 20668114 markings, 62709543 edges, 84226 markings/sec, 200 secs
lola: 21123694 markings, 64235266 edges, 91116 markings/sec, 205 secs
lola: 21571863 markings, 65685399 edges, 89634 markings/sec, 210 secs
lola: 22035756 markings, 67189358 edges, 92779 markings/sec, 215 secs
lola: 22509854 markings, 68706341 edges, 94820 markings/sec, 220 secs
lola: 22977704 markings, 70141455 edges, 93570 markings/sec, 225 secs
lola: 23431411 markings, 71668387 edges, 90741 markings/sec, 230 secs
lola: 23887820 markings, 73084615 edges, 91282 markings/sec, 235 secs
lola: 24329656 markings, 74569589 edges, 88367 markings/sec, 240 secs
lola: 24747562 markings, 76163148 edges, 83581 markings/sec, 245 secs
lola: 25202748 markings, 77557304 edges, 91037 markings/sec, 250 secs
lola: 25644979 markings, 78961802 edges, 88446 markings/sec, 255 secs
lola: 26064312 markings, 80372398 edges, 83867 markings/sec, 260 secs
lola: 26492385 markings, 81846379 edges, 85615 markings/sec, 265 secs
lola: 26923519 markings, 83381787 edges, 86227 markings/sec, 270 secs
lola: 27326394 markings, 84870450 edges, 80575 markings/sec, 275 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 283 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p357)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 789968 markings, 1610914 edges, 157994 markings/sec, 0 secs
lola: 1615104 markings, 3167255 edges, 165027 markings/sec, 5 secs
lola: 2381489 markings, 4677802 edges, 153277 markings/sec, 10 secs
lola: 3095959 markings, 6209149 edges, 142894 markings/sec, 15 secs
lola: 3788608 markings, 7745883 edges, 138530 markings/sec, 20 secs
lola: 4475861 markings, 9259210 edges, 137451 markings/sec, 25 secs
lola: 5157891 markings, 10847169 edges, 136406 markings/sec, 30 secs
lola: 5813643 markings, 12341093 edges, 131150 markings/sec, 35 secs
lola: 6486764 markings, 13885862 edges, 134624 markings/sec, 40 secs
lola: 7137830 markings, 15423715 edges, 130213 markings/sec, 45 secs
lola: 7799498 markings, 16927019 edges, 132334 markings/sec, 50 secs
lola: 8447549 markings, 18445002 edges, 129610 markings/sec, 55 secs
lola: 9084483 markings, 19963080 edges, 127387 markings/sec, 60 secs
lola: 9741375 markings, 21518847 edges, 131378 markings/sec, 65 secs
lola: 10426576 markings, 23095661 edges, 137040 markings/sec, 70 secs
lola: 11077098 markings, 24686541 edges, 130104 markings/sec, 75 secs
lola: 11727584 markings, 26255034 edges, 130097 markings/sec, 80 secs
lola: 12399763 markings, 27835389 edges, 134436 markings/sec, 85 secs
lola: 13047594 markings, 29450413 edges, 129566 markings/sec, 90 secs
lola: 13708249 markings, 31024796 edges, 132131 markings/sec, 95 secs
lola: 14332235 markings, 32581614 edges, 124797 markings/sec, 100 secs
lola: 14972432 markings, 34086167 edges, 128039 markings/sec, 105 secs
lola: 15598850 markings, 35605510 edges, 125284 markings/sec, 110 secs
lola: 16219403 markings, 37145810 edges, 124111 markings/sec, 115 secs
lola: 16842609 markings, 38667873 edges, 124641 markings/sec, 120 secs
lola: 17471058 markings, 40178374 edges, 125690 markings/sec, 125 secs
lola: 18092075 markings, 41706794 edges, 124203 markings/sec, 130 secs
lola: 18703222 markings, 43214913 edges, 122229 markings/sec, 135 secs
lola: 19330900 markings, 44733145 edges, 125536 markings/sec, 140 secs
lola: 19926120 markings, 46300404 edges, 119044 markings/sec, 145 secs
lola: 20540191 markings, 47825875 edges, 122814 markings/sec, 150 secs
lola: 21145560 markings, 49345948 edges, 121074 markings/sec, 155 secs
lola: 21749600 markings, 50882605 edges, 120808 markings/sec, 160 secs
lola: 22379058 markings, 52407605 edges, 125892 markings/sec, 165 secs
lola: 22984842 markings, 53914457 edges, 121157 markings/sec, 170 secs
lola: 23583508 markings, 55466181 edges, 119733 markings/sec, 175 secs
lola: 24187977 markings, 57003230 edges, 120894 markings/sec, 180 secs
lola: 24805491 markings, 58517040 edges, 123503 markings/sec, 185 secs
lola: 25400200 markings, 60048874 edges, 118942 markings/sec, 190 secs
lola: 25976323 markings, 61602265 edges, 115225 markings/sec, 195 secs
lola: 26578063 markings, 63118906 edges, 120348 markings/sec, 200 secs
lola: 27168474 markings, 64655408 edges, 118082 markings/sec, 205 secs
lola: 27756573 markings, 66184890 edges, 117620 markings/sec, 210 secs
lola: 28336542 markings, 67731369 edges, 115994 markings/sec, 215 secs
lola: 28932411 markings, 69242423 edges, 119174 markings/sec, 220 secs
lola: 29518203 markings, 70777791 edges, 117158 markings/sec, 225 secs
lola: 30110859 markings, 72307127 edges, 118531 markings/sec, 230 secs
lola: 30708816 markings, 73829337 edges, 119591 markings/sec, 235 secs
lola: 31301609 markings, 75341533 edges, 118559 markings/sec, 240 secs
lola: 31872569 markings, 76882739 edges, 114192 markings/sec, 245 secs
lola: 32448260 markings, 78437376 edges, 115138 markings/sec, 250 secs
lola: 33052759 markings, 79919426 edges, 120900 markings/sec, 255 secs
lola: 33615617 markings, 81443705 edges, 112572 markings/sec, 260 secs
lola: 34193095 markings, 82960990 edges, 115496 markings/sec, 265 secs
lola: 34759794 markings, 84471220 edges, 113340 markings/sec, 270 secs
lola: 35313241 markings, 86028572 edges, 110689 markings/sec, 275 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 283 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p302)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 1049455 markings, 1543191 edges, 209891 markings/sec, 0 secs
lola: 2108187 markings, 3082093 edges, 211746 markings/sec, 5 secs
lola: 3057578 markings, 4585845 edges, 189878 markings/sec, 10 secs
lola: 3748462 markings, 6257944 edges, 138177 markings/sec, 15 secs
lola: 4483223 markings, 7842018 edges, 146952 markings/sec, 20 secs
lola: 5170865 markings, 9459651 edges, 137528 markings/sec, 25 secs
lola: 5972138 markings, 10945542 edges, 160255 markings/sec, 30 secs
lola: 6674238 markings, 12568198 edges, 140420 markings/sec, 35 secs
lola: 7339103 markings, 14214795 edges, 132973 markings/sec, 40 secs
lola: 8046972 markings, 15799292 edges, 141574 markings/sec, 45 secs
lola: 8733590 markings, 17368743 edges, 137324 markings/sec, 50 secs
lola: 9512277 markings, 18878797 edges, 155737 markings/sec, 55 secs
lola: 10249444 markings, 20429190 edges, 147433 markings/sec, 60 secs
lola: 10876863 markings, 21962864 edges, 125484 markings/sec, 65 secs
lola: 11509877 markings, 23464434 edges, 126603 markings/sec, 70 secs
lola: 12141988 markings, 24997977 edges, 126422 markings/sec, 75 secs
lola: 12841170 markings, 26474390 edges, 139836 markings/sec, 80 secs
lola: 13419377 markings, 28022283 edges, 115641 markings/sec, 85 secs
lola: 14039318 markings, 29556430 edges, 123988 markings/sec, 90 secs
lola: 14710381 markings, 31020907 edges, 134213 markings/sec, 95 secs
lola: 15338030 markings, 32501109 edges, 125530 markings/sec, 100 secs
lola: 15991134 markings, 33978328 edges, 130621 markings/sec, 105 secs
lola: 16671570 markings, 35418439 edges, 136087 markings/sec, 110 secs
lola: 17364848 markings, 36833209 edges, 138656 markings/sec, 115 secs
lola: 18050520 markings, 38252087 edges, 137134 markings/sec, 120 secs
lola: 18693930 markings, 39649702 edges, 128682 markings/sec, 125 secs
lola: 19363447 markings, 41071933 edges, 133903 markings/sec, 130 secs
lola: 19947742 markings, 42571181 edges, 116859 markings/sec, 135 secs
lola: 20565417 markings, 44048701 edges, 123535 markings/sec, 140 secs
lola: 21179370 markings, 45523086 edges, 122791 markings/sec, 145 secs
lola: 21705221 markings, 47129027 edges, 105170 markings/sec, 150 secs
lola: 22321775 markings, 48579557 edges, 123311 markings/sec, 155 secs
lola: 22923122 markings, 50028415 edges, 120269 markings/sec, 160 secs
lola: 23540725 markings, 51485808 edges, 123521 markings/sec, 165 secs
lola: 24123302 markings, 52927229 edges, 116515 markings/sec, 170 secs
lola: 24757374 markings, 54384697 edges, 126814 markings/sec, 175 secs
lola: 25336713 markings, 55946028 edges, 115868 markings/sec, 180 secs
lola: 25909442 markings, 57516626 edges, 114546 markings/sec, 185 secs
lola: 26426744 markings, 59156147 edges, 103460 markings/sec, 190 secs
lola: 26956052 markings, 60759171 edges, 105862 markings/sec, 195 secs
lola: 27456405 markings, 62340685 edges, 100071 markings/sec, 200 secs
lola: 28001310 markings, 63849137 edges, 108981 markings/sec, 205 secs
lola: 28531940 markings, 65388151 edges, 106126 markings/sec, 210 secs
lola: 29115620 markings, 66937690 edges, 116736 markings/sec, 215 secs
lola: 29583758 markings, 68537107 edges, 93628 markings/sec, 220 secs
lola: 30038659 markings, 70114075 edges, 90980 markings/sec, 225 secs
lola: 30486244 markings, 71770368 edges, 89517 markings/sec, 230 secs
lola: 30967551 markings, 73394622 edges, 96261 markings/sec, 235 secs
lola: 31451775 markings, 75008314 edges, 96845 markings/sec, 240 secs
lola: 31920297 markings, 76656119 edges, 93704 markings/sec, 245 secs
lola: 32355732 markings, 78245871 edges, 87087 markings/sec, 250 secs
lola: 32865351 markings, 79827603 edges, 101924 markings/sec, 255 secs
lola: 33444530 markings, 81334474 edges, 115836 markings/sec, 260 secs
lola: 34028568 markings, 82836706 edges, 116808 markings/sec, 265 secs
lola: 34526230 markings, 84389083 edges, 99532 markings/sec, 270 secs
lola: 35047212 markings, 85959623 edges, 104196 markings/sec, 275 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown
FORMULA AutoFlight-PT-06b-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494603309895
--------------------
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="AutoFlight-PT-06b"
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/AutoFlight-PT-06b.tgz
mv AutoFlight-PT-06b execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is AutoFlight-PT-06b, 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 r008-csrt-149436126000209"
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 ;