About the Execution of LoLA for DES-PT-20b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
3654.880 | 3540203.00 | 3555515.00 | 647.50 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is DES-PT-20b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309100272
=====================================================================
--------------------
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-20b-UpperBounds-0
FORMULA_NAME DES-PT-20b-UpperBounds-1
FORMULA_NAME DES-PT-20b-UpperBounds-10
FORMULA_NAME DES-PT-20b-UpperBounds-11
FORMULA_NAME DES-PT-20b-UpperBounds-12
FORMULA_NAME DES-PT-20b-UpperBounds-13
FORMULA_NAME DES-PT-20b-UpperBounds-14
FORMULA_NAME DES-PT-20b-UpperBounds-15
FORMULA_NAME DES-PT-20b-UpperBounds-2
FORMULA_NAME DES-PT-20b-UpperBounds-3
FORMULA_NAME DES-PT-20b-UpperBounds-4
FORMULA_NAME DES-PT-20b-UpperBounds-5
FORMULA_NAME DES-PT-20b-UpperBounds-6
FORMULA_NAME DES-PT-20b-UpperBounds-7
FORMULA_NAME DES-PT-20b-UpperBounds-8
FORMULA_NAME DES-PT-20b-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494628222887
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DES-PT-20b @ 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: 671/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 360 places, 311 transitions, 295 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 408 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-20b-UpperBounds.task
lola: MAX(p51) : MAX(p221) : MAX(p166) : MAX(p10) : MAX(p179) : MAX(p118) : MAX(p235) : MAX(p301) : MAX(p328) : MAX(p84) : MAX(p142) : MAX(p14) : MAX(p264) : MAX(p312) : MAX(p122) : MAX(p306)
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(p51)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 947346 markings, 1084342 edges, 189469 markings/sec, 0 secs
lola: 1789915 markings, 2072521 edges, 168514 markings/sec, 5 secs
lola: 2590563 markings, 3076785 edges, 160130 markings/sec, 10 secs
lola: 3371441 markings, 4068002 edges, 156176 markings/sec, 15 secs
lola: 4133866 markings, 5038781 edges, 152485 markings/sec, 20 secs
lola: 4880445 markings, 5973964 edges, 149316 markings/sec, 25 secs
lola: 5628294 markings, 6926849 edges, 149570 markings/sec, 30 secs
lola: 6330171 markings, 7959830 edges, 140375 markings/sec, 35 secs
lola: 7007944 markings, 9024988 edges, 135555 markings/sec, 40 secs
lola: 7857145 markings, 10058639 edges, 169840 markings/sec, 45 secs
lola: 8713500 markings, 11145060 edges, 171271 markings/sec, 50 secs
lola: 9605787 markings, 12209870 edges, 178457 markings/sec, 55 secs
lola: 10398243 markings, 13108270 edges, 158491 markings/sec, 60 secs
lola: 11253327 markings, 14130689 edges, 171017 markings/sec, 65 secs
lola: 12128989 markings, 15229087 edges, 175132 markings/sec, 70 secs
lola: 12924124 markings, 16207694 edges, 159027 markings/sec, 75 secs
lola: 13755594 markings, 17250320 edges, 166294 markings/sec, 80 secs
lola: 14411525 markings, 18336860 edges, 131186 markings/sec, 85 secs
lola: 15178500 markings, 19442271 edges, 153395 markings/sec, 90 secs
lola: 16005034 markings, 20640534 edges, 165307 markings/sec, 95 secs
lola: 16711896 markings, 21737557 edges, 141372 markings/sec, 100 secs
lola: 17541429 markings, 22825281 edges, 165907 markings/sec, 105 secs
lola: 18278650 markings, 23929329 edges, 147444 markings/sec, 110 secs
lola: 18945702 markings, 24969077 edges, 133410 markings/sec, 115 secs
lola: 19564915 markings, 26143416 edges, 123843 markings/sec, 120 secs
lola: 20288560 markings, 27193634 edges, 144729 markings/sec, 125 secs
lola: 20966383 markings, 28310619 edges, 135565 markings/sec, 130 secs
lola: 21608497 markings, 29396276 edges, 128423 markings/sec, 135 secs
lola: 22392186 markings, 30445532 edges, 156738 markings/sec, 140 secs
lola: 23259564 markings, 31429154 edges, 173476 markings/sec, 145 secs
lola: 23951512 markings, 32598142 edges, 138390 markings/sec, 150 secs
lola: 24594580 markings, 33621728 edges, 128614 markings/sec, 155 secs
lola: 25346487 markings, 34659571 edges, 150381 markings/sec, 160 secs
lola: 26237229 markings, 35786424 edges, 178148 markings/sec, 165 secs
lola: 27034816 markings, 36905311 edges, 159517 markings/sec, 170 secs
lola: 27745184 markings, 38010468 edges, 142074 markings/sec, 175 secs
lola: 28289454 markings, 39085244 edges, 108854 markings/sec, 180 secs
lola: 28890041 markings, 40113903 edges, 120117 markings/sec, 185 secs
lola: 29629705 markings, 41125035 edges, 147933 markings/sec, 190 secs
lola: 30238454 markings, 42252327 edges, 121750 markings/sec, 195 secs
lola: 30844417 markings, 43339250 edges, 121193 markings/sec, 200 secs
lola: 31531275 markings, 44370377 edges, 137372 markings/sec, 205 secs
lola: 32230247 markings, 45477608 edges, 139794 markings/sec, 210 secs
lola: 32824145 markings, 46535769 edges, 118780 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(p221)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 1281560 markings, 1342615 edges, 256312 markings/sec, 0 secs
lola: 2397696 markings, 2608173 edges, 223227 markings/sec, 5 secs
lola: 3643022 markings, 3907020 edges, 249065 markings/sec, 10 secs
lola: 4873278 markings, 5171563 edges, 246051 markings/sec, 15 secs
lola: 6106748 markings, 6428198 edges, 246694 markings/sec, 20 secs
lola: 7167915 markings, 7689124 edges, 212233 markings/sec, 25 secs
lola: 8364923 markings, 8995986 edges, 239402 markings/sec, 30 secs
lola: 9456654 markings, 10269342 edges, 218346 markings/sec, 35 secs
lola: 10628936 markings, 11529876 edges, 234456 markings/sec, 40 secs
lola: 11795942 markings, 12776478 edges, 233401 markings/sec, 45 secs
lola: 12991046 markings, 14006426 edges, 239021 markings/sec, 50 secs
lola: 14183010 markings, 15230267 edges, 238393 markings/sec, 55 secs
lola: 15436125 markings, 16530743 edges, 250623 markings/sec, 60 secs
lola: 16667639 markings, 17861158 edges, 246303 markings/sec, 65 secs
lola: 17568364 markings, 19152006 edges, 180145 markings/sec, 70 secs
lola: 18355051 markings, 20445453 edges, 157337 markings/sec, 75 secs
lola: 18901712 markings, 21854213 edges, 109332 markings/sec, 80 secs
lola: 19459376 markings, 23105097 edges, 111533 markings/sec, 85 secs
lola: 20384894 markings, 24356625 edges, 185104 markings/sec, 90 secs
lola: 21323120 markings, 25637583 edges, 187645 markings/sec, 95 secs
lola: 22249182 markings, 26896828 edges, 185212 markings/sec, 100 secs
lola: 23382502 markings, 28122808 edges, 226664 markings/sec, 105 secs
lola: 24582100 markings, 29399130 edges, 239920 markings/sec, 110 secs
lola: 25835340 markings, 30682028 edges, 250648 markings/sec, 115 secs
lola: 27069617 markings, 31946644 edges, 246855 markings/sec, 120 secs
lola: 28151940 markings, 33196996 edges, 216465 markings/sec, 125 secs
lola: 29348733 markings, 34509444 edges, 239359 markings/sec, 130 secs
lola: 30549179 markings, 35817905 edges, 240089 markings/sec, 135 secs
lola: 31734131 markings, 37118774 edges, 236990 markings/sec, 140 secs
lola: 32730030 markings, 38386320 edges, 199180 markings/sec, 145 secs
lola: 33788041 markings, 39641485 edges, 211602 markings/sec, 150 secs
lola: 34590946 markings, 40927168 edges, 160581 markings/sec, 155 secs
lola: 35541823 markings, 42172997 edges, 190175 markings/sec, 160 secs
lola: 36318818 markings, 43468543 edges, 155399 markings/sec, 165 secs
lola: 37162022 markings, 44682285 edges, 168641 markings/sec, 170 secs
lola: 37967778 markings, 45906285 edges, 161151 markings/sec, 175 secs
lola: 38745441 markings, 47125834 edges, 155533 markings/sec, 180 secs
lola: 39592275 markings, 48335149 edges, 169367 markings/sec, 185 secs
lola: 40334877 markings, 49532659 edges, 148520 markings/sec, 190 secs
lola: 41276392 markings, 50741011 edges, 188303 markings/sec, 195 secs
lola: 42479159 markings, 51964080 edges, 240553 markings/sec, 200 secs
lola: 43639820 markings, 53169808 edges, 232132 markings/sec, 205 secs
lola: 44855843 markings, 54404803 edges, 243205 markings/sec, 210 secs
lola: 46084473 markings, 55713794 edges, 245726 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(p166)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 1006567 markings, 1176152 edges, 201313 markings/sec, 0 secs
lola: 1873743 markings, 2212305 edges, 173435 markings/sec, 5 secs
lola: 2677258 markings, 3238250 edges, 160703 markings/sec, 10 secs
lola: 3463839 markings, 4221436 edges, 157316 markings/sec, 15 secs
lola: 4222336 markings, 5193416 edges, 151699 markings/sec, 20 secs
lola: 4957025 markings, 6131498 edges, 146938 markings/sec, 25 secs
lola: 5731084 markings, 7117585 edges, 154812 markings/sec, 30 secs
lola: 6417310 markings, 8167511 edges, 137245 markings/sec, 35 secs
lola: 7146335 markings, 9221619 edges, 145805 markings/sec, 40 secs
lola: 7991694 markings, 10301419 edges, 169072 markings/sec, 45 secs
lola: 8871793 markings, 11401301 edges, 176020 markings/sec, 50 secs
lola: 9734701 markings, 12415076 edges, 172582 markings/sec, 55 secs
lola: 10612095 markings, 13389641 edges, 175479 markings/sec, 60 secs
lola: 11489897 markings, 14481618 edges, 175560 markings/sec, 65 secs
lola: 12365616 markings, 15610778 edges, 175144 markings/sec, 70 secs
lola: 13208030 markings, 16592606 edges, 168483 markings/sec, 75 secs
lola: 13928108 markings, 17708357 edges, 144016 markings/sec, 80 secs
lola: 14626842 markings, 18861561 edges, 139747 markings/sec, 85 secs
lola: 15524208 markings, 20010662 edges, 179473 markings/sec, 90 secs
lola: 16204843 markings, 21186209 edges, 136127 markings/sec, 95 secs
lola: 17010315 markings, 22269114 edges, 161094 markings/sec, 100 secs
lola: 17831798 markings, 23405678 edges, 164297 markings/sec, 105 secs
lola: 18443839 markings, 24507604 edges, 122408 markings/sec, 110 secs
lola: 19044651 markings, 25719340 edges, 120162 markings/sec, 115 secs
lola: 19791769 markings, 26818174 edges, 149424 markings/sec, 120 secs
lola: 20438297 markings, 27924044 edges, 129306 markings/sec, 125 secs
lola: 21092533 markings, 29022915 edges, 130847 markings/sec, 130 secs
lola: 21946207 markings, 30101418 edges, 170735 markings/sec, 135 secs
lola: 22800667 markings, 31142761 edges, 170892 markings/sec, 140 secs
lola: 23411124 markings, 32289135 edges, 122091 markings/sec, 145 secs
lola: 24091563 markings, 33323675 edges, 136088 markings/sec, 150 secs
lola: 24970513 markings, 34413397 edges, 175790 markings/sec, 155 secs
lola: 25828832 markings, 35517668 edges, 171664 markings/sec, 160 secs
lola: 26535960 markings, 36648379 edges, 141426 markings/sec, 165 secs
lola: 27163804 markings, 37751693 edges, 125569 markings/sec, 170 secs
lola: 27718924 markings, 38843381 edges, 111024 markings/sec, 175 secs
lola: 28362829 markings, 39902072 edges, 128781 markings/sec, 180 secs
lola: 28928693 markings, 41092666 edges, 113173 markings/sec, 185 secs
lola: 29564499 markings, 42154620 edges, 127161 markings/sec, 190 secs
lola: 30254955 markings, 43212758 edges, 138091 markings/sec, 195 secs
lola: 30908683 markings, 44280266 edges, 130746 markings/sec, 200 secs
lola: 31485311 markings, 45345323 edges, 115326 markings/sec, 205 secs
lola: 32157599 markings, 46395774 edges, 134458 markings/sec, 210 secs
lola: 32978071 markings, 47407907 edges, 164094 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(p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 619111 markings, 1278776 edges, 123822 markings/sec, 0 secs
lola: 1161024 markings, 2621814 edges, 108383 markings/sec, 5 secs
lola: 1726638 markings, 3906585 edges, 113123 markings/sec, 10 secs
lola: 2287267 markings, 5179023 edges, 112126 markings/sec, 15 secs
lola: 2833674 markings, 6418378 edges, 109281 markings/sec, 20 secs
lola: 3357603 markings, 7679552 edges, 104786 markings/sec, 25 secs
lola: 3898257 markings, 8941335 edges, 108131 markings/sec, 30 secs
lola: 4442595 markings, 10172408 edges, 108868 markings/sec, 35 secs
lola: 4971157 markings, 11366191 edges, 105712 markings/sec, 40 secs
lola: 5472874 markings, 12573368 edges, 100343 markings/sec, 45 secs
lola: 5996233 markings, 13791704 edges, 104672 markings/sec, 50 secs
lola: 6523581 markings, 14980468 edges, 105470 markings/sec, 55 secs
lola: 7034441 markings, 16130333 edges, 102172 markings/sec, 60 secs
lola: 7512656 markings, 17316657 edges, 95643 markings/sec, 65 secs
lola: 8024490 markings, 18469900 edges, 102367 markings/sec, 70 secs
lola: 8530636 markings, 19604017 edges, 101229 markings/sec, 75 secs
lola: 9001076 markings, 20735562 edges, 94088 markings/sec, 80 secs
lola: 9495148 markings, 21880259 edges, 98814 markings/sec, 85 secs
lola: 9991884 markings, 22995943 edges, 99347 markings/sec, 90 secs
lola: 10461896 markings, 24076213 edges, 94002 markings/sec, 95 secs
lola: 10932824 markings, 25211982 edges, 94186 markings/sec, 100 secs
lola: 11394061 markings, 26237519 edges, 92247 markings/sec, 105 secs
lola: 11829398 markings, 27258873 edges, 87067 markings/sec, 110 secs
lola: 12864196 markings, 28399074 edges, 206960 markings/sec, 115 secs
lola: 13841354 markings, 29412610 edges, 195432 markings/sec, 120 secs
lola: 14867546 markings, 30524890 edges, 205238 markings/sec, 125 secs
lola: 15891668 markings, 31630113 edges, 204824 markings/sec, 130 secs
lola: 16873474 markings, 32655863 edges, 196361 markings/sec, 135 secs
lola: 17819386 markings, 33624884 edges, 189182 markings/sec, 140 secs
lola: 18820495 markings, 34694871 edges, 200222 markings/sec, 145 secs
lola: 19778585 markings, 35691502 edges, 191618 markings/sec, 150 secs
lola: 20775723 markings, 36757650 edges, 199428 markings/sec, 155 secs
lola: 21730955 markings, 37751325 edges, 191046 markings/sec, 160 secs
lola: 22468572 markings, 38874057 edges, 147523 markings/sec, 165 secs
lola: 23553507 markings, 40042832 edges, 216987 markings/sec, 170 secs
lola: 24623311 markings, 41206107 edges, 213961 markings/sec, 175 secs
lola: 25677975 markings, 42342808 edges, 210933 markings/sec, 180 secs
lola: 26715634 markings, 43459513 edges, 207532 markings/sec, 185 secs
lola: 27743300 markings, 44567033 edges, 205533 markings/sec, 190 secs
lola: 28626430 markings, 45697476 edges, 176626 markings/sec, 195 secs
lola: 29685168 markings, 46856464 edges, 211748 markings/sec, 200 secs
lola: 30748026 markings, 48012412 edges, 212572 markings/sec, 205 secs
lola: 31801804 markings, 49146525 edges, 210756 markings/sec, 210 secs
lola: 32835625 markings, 50261214 edges, 206764 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(p179)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 1024624 markings, 1285310 edges, 204925 markings/sec, 0 secs
lola: 2044933 markings, 2425653 edges, 204062 markings/sec, 5 secs
lola: 2906775 markings, 3572010 edges, 172368 markings/sec, 10 secs
lola: 3825212 markings, 4794190 edges, 183687 markings/sec, 15 secs
lola: 4782416 markings, 6020021 edges, 191441 markings/sec, 20 secs
lola: 5717857 markings, 7218660 edges, 187088 markings/sec, 25 secs
lola: 6679712 markings, 8382348 edges, 192371 markings/sec, 30 secs
lola: 7630552 markings, 9516599 edges, 190168 markings/sec, 35 secs
lola: 8551335 markings, 10594399 edges, 184157 markings/sec, 40 secs
lola: 9424097 markings, 11635005 edges, 174552 markings/sec, 45 secs
lola: 10412014 markings, 12778543 edges, 197583 markings/sec, 50 secs
lola: 11245509 markings, 13928045 edges, 166699 markings/sec, 55 secs
lola: 12233868 markings, 15072551 edges, 197672 markings/sec, 60 secs
lola: 13204158 markings, 16197716 edges, 194058 markings/sec, 65 secs
lola: 14165014 markings, 17309818 edges, 192171 markings/sec, 70 secs
lola: 14810258 markings, 18512796 edges, 129049 markings/sec, 75 secs
lola: 15736389 markings, 19588436 edges, 185226 markings/sec, 80 secs
lola: 16511454 markings, 20709136 edges, 155013 markings/sec, 85 secs
lola: 17413296 markings, 21879717 edges, 180368 markings/sec, 90 secs
lola: 18304507 markings, 23028984 edges, 178242 markings/sec, 95 secs
lola: 19220650 markings, 24180779 edges, 183229 markings/sec, 100 secs
lola: 20142351 markings, 25365682 edges, 184340 markings/sec, 105 secs
lola: 21055961 markings, 26543061 edges, 182722 markings/sec, 110 secs
lola: 21981602 markings, 27674051 edges, 185128 markings/sec, 115 secs
lola: 22915800 markings, 28777689 edges, 186840 markings/sec, 120 secs
lola: 23823745 markings, 29840904 edges, 181589 markings/sec, 125 secs
lola: 24700494 markings, 30882328 edges, 175350 markings/sec, 130 secs
lola: 25638358 markings, 32002110 edges, 187573 markings/sec, 135 secs
lola: 26551107 markings, 33111837 edges, 182550 markings/sec, 140 secs
lola: 27453166 markings, 34206168 edges, 180412 markings/sec, 145 secs
lola: 28292816 markings, 35278422 edges, 167930 markings/sec, 150 secs
lola: 29150576 markings, 36345052 edges, 171552 markings/sec, 155 secs
lola: 30019803 markings, 37398228 edges, 173845 markings/sec, 160 secs
lola: 30849090 markings, 38459711 edges, 165857 markings/sec, 165 secs
lola: 31670697 markings, 39507190 edges, 164321 markings/sec, 170 secs
lola: 32503021 markings, 40542183 edges, 166465 markings/sec, 175 secs
lola: 33351895 markings, 41563481 edges, 169775 markings/sec, 180 secs
lola: 34238276 markings, 42578815 edges, 177276 markings/sec, 185 secs
lola: 35062803 markings, 43594416 edges, 164905 markings/sec, 190 secs
lola: 35971423 markings, 44634156 edges, 181724 markings/sec, 195 secs
lola: 36887095 markings, 45701174 edges, 183134 markings/sec, 200 secs
lola: 37738004 markings, 46708458 edges, 170182 markings/sec, 205 secs
lola: 38680057 markings, 47819785 edges, 188411 markings/sec, 210 secs
lola: 39574483 markings, 48928533 edges, 178885 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(p118)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 892714 markings, 1300560 edges, 178543 markings/sec, 0 secs
lola: 1649326 markings, 2410286 edges, 151322 markings/sec, 5 secs
lola: 2371736 markings, 3446782 edges, 144482 markings/sec, 10 secs
lola: 3153524 markings, 4548575 edges, 156358 markings/sec, 15 secs
lola: 3937446 markings, 5672233 edges, 156784 markings/sec, 20 secs
lola: 4802815 markings, 6746535 edges, 173074 markings/sec, 25 secs
lola: 5533674 markings, 7923998 edges, 146172 markings/sec, 30 secs
lola: 6318208 markings, 9023013 edges, 156907 markings/sec, 35 secs
lola: 7085416 markings, 10172419 edges, 153442 markings/sec, 40 secs
lola: 7853942 markings, 11314696 edges, 153705 markings/sec, 45 secs
lola: 8482077 markings, 12480272 edges, 125627 markings/sec, 50 secs
lola: 9243789 markings, 13589744 edges, 152342 markings/sec, 55 secs
lola: 9931125 markings, 14736637 edges, 137467 markings/sec, 60 secs
lola: 10734041 markings, 15763784 edges, 160583 markings/sec, 65 secs
lola: 11532108 markings, 16818364 edges, 159613 markings/sec, 70 secs
lola: 12245382 markings, 17934785 edges, 142655 markings/sec, 75 secs
lola: 13050425 markings, 18973648 edges, 161009 markings/sec, 80 secs
lola: 13827396 markings, 20060512 edges, 155394 markings/sec, 85 secs
lola: 14624712 markings, 21148822 edges, 159463 markings/sec, 90 secs
lola: 15309059 markings, 22320989 edges, 136869 markings/sec, 95 secs
lola: 15928390 markings, 23499633 edges, 123866 markings/sec, 100 secs
lola: 16594595 markings, 24536508 edges, 133241 markings/sec, 105 secs
lola: 17244932 markings, 25733670 edges, 130067 markings/sec, 110 secs
lola: 17856347 markings, 26866415 edges, 122283 markings/sec, 115 secs
lola: 18678065 markings, 27935768 edges, 164344 markings/sec, 120 secs
lola: 19484901 markings, 28972415 edges, 161367 markings/sec, 125 secs
lola: 20128961 markings, 30102384 edges, 128812 markings/sec, 130 secs
lola: 20749388 markings, 31257044 edges, 124085 markings/sec, 135 secs
lola: 21381238 markings, 32317123 edges, 126370 markings/sec, 140 secs
lola: 22123652 markings, 33366694 edges, 148483 markings/sec, 145 secs
lola: 22837144 markings, 34522233 edges, 142698 markings/sec, 150 secs
lola: 23496202 markings, 35666977 edges, 131812 markings/sec, 155 secs
lola: 24156273 markings, 36772245 edges, 132014 markings/sec, 160 secs
lola: 24757685 markings, 37920312 edges, 120282 markings/sec, 165 secs
lola: 25388709 markings, 38996079 edges, 126205 markings/sec, 170 secs
lola: 26033513 markings, 40005591 edges, 128961 markings/sec, 175 secs
lola: 26779370 markings, 41042807 edges, 149171 markings/sec, 180 secs
lola: 27546756 markings, 42081056 edges, 153477 markings/sec, 185 secs
lola: 28306365 markings, 43146652 edges, 151922 markings/sec, 190 secs
lola: 29013336 markings, 44227965 edges, 141394 markings/sec, 195 secs
lola: 29736890 markings, 45265652 edges, 144711 markings/sec, 200 secs
lola: 30393237 markings, 46432163 edges, 131269 markings/sec, 205 secs
lola: 31006138 markings, 47503759 edges, 122580 markings/sec, 210 secs
lola: 31657672 markings, 48574654 edges, 130307 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(p235)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 1217549 markings, 1275594 edges, 243510 markings/sec, 0 secs
lola: 2290822 markings, 2487744 edges, 214655 markings/sec, 5 secs
lola: 3469331 markings, 3706188 edges, 235702 markings/sec, 10 secs
lola: 4624398 markings, 4893059 edges, 231013 markings/sec, 15 secs
lola: 5780053 markings, 6072985 edges, 231131 markings/sec, 20 secs
lola: 6791371 markings, 7266485 edges, 202264 markings/sec, 25 secs
lola: 7924249 markings, 8486793 edges, 226576 markings/sec, 30 secs
lola: 8990371 markings, 9722973 edges, 213224 markings/sec, 35 secs
lola: 10094782 markings, 10897559 edges, 220882 markings/sec, 40 secs
lola: 11151819 markings, 12084615 edges, 211407 markings/sec, 45 secs
lola: 12293548 markings, 13247443 edges, 228346 markings/sec, 50 secs
lola: 13414466 markings, 14406525 edges, 224184 markings/sec, 55 secs
lola: 14576908 markings, 15580706 edges, 232488 markings/sec, 60 secs
lola: 15699262 markings, 16777765 edges, 224471 markings/sec, 65 secs
lola: 16809971 markings, 17978920 edges, 222142 markings/sec, 70 secs
lola: 17444348 markings, 19140780 edges, 126875 markings/sec, 75 secs
lola: 18193763 markings, 20390027 edges, 149883 markings/sec, 80 secs
lola: 18683074 markings, 21675014 edges, 97862 markings/sec, 85 secs
lola: 19252064 markings, 22846189 edges, 113798 markings/sec, 90 secs
lola: 20102442 markings, 24002073 edges, 170076 markings/sec, 95 secs
lola: 20960273 markings, 25192687 edges, 171566 markings/sec, 100 secs
lola: 21836215 markings, 26383635 edges, 175188 markings/sec, 105 secs
lola: 22849838 markings, 27511097 edges, 202725 markings/sec, 110 secs
lola: 23883972 markings, 28642950 edges, 206827 markings/sec, 115 secs
lola: 25015818 markings, 29794297 edges, 226369 markings/sec, 120 secs
lola: 26134736 markings, 30946321 edges, 223784 markings/sec, 125 secs
lola: 27243360 markings, 32077318 edges, 221725 markings/sec, 130 secs
lola: 28191674 markings, 33220516 edges, 189663 markings/sec, 135 secs
lola: 29280930 markings, 34397916 edges, 217851 markings/sec, 140 secs
lola: 30371916 markings, 35570150 edges, 218197 markings/sec, 145 secs
lola: 31460301 markings, 36744741 edges, 217677 markings/sec, 150 secs
lola: 32328357 markings, 37890954 edges, 173611 markings/sec, 155 secs
lola: 33312784 markings, 39046205 edges, 196885 markings/sec, 160 secs
lola: 34077505 markings, 40235837 edges, 152944 markings/sec, 165 secs
lola: 34945531 markings, 41407470 edges, 173605 markings/sec, 170 secs
lola: 35694977 markings, 42596888 edges, 149889 markings/sec, 175 secs
lola: 36564537 markings, 43755110 edges, 173912 markings/sec, 180 secs
lola: 37269293 markings, 44899487 edges, 140951 markings/sec, 185 secs
lola: 38117791 markings, 46032000 edges, 169700 markings/sec, 190 secs
lola: 38828046 markings, 47182866 edges, 142051 markings/sec, 195 secs
lola: 39671046 markings, 48308890 edges, 168600 markings/sec, 200 secs
lola: 40363277 markings, 49435910 edges, 138446 markings/sec, 205 secs
lola: 41201611 markings, 50553213 edges, 167667 markings/sec, 210 secs
lola: 41989531 markings, 51709715 edges, 157584 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(p301)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 1178102 markings, 1285636 edges, 235620 markings/sec, 0 secs
lola: 2232297 markings, 2529658 edges, 210839 markings/sec, 5 secs
lola: 3387376 markings, 3745957 edges, 231016 markings/sec, 10 secs
lola: 4433620 markings, 4960942 edges, 209249 markings/sec, 15 secs
lola: 5475657 markings, 6195171 edges, 208407 markings/sec, 20 secs
lola: 6465335 markings, 7426015 edges, 197936 markings/sec, 25 secs
lola: 7499804 markings, 8642160 edges, 206894 markings/sec, 30 secs
lola: 8637622 markings, 9820719 edges, 227564 markings/sec, 35 secs
lola: 9791310 markings, 11008998 edges, 230738 markings/sec, 40 secs
lola: 10905516 markings, 12258910 edges, 222841 markings/sec, 45 secs
lola: 11919511 markings, 13547741 edges, 202799 markings/sec, 50 secs
lola: 12468313 markings, 14941954 edges, 109760 markings/sec, 55 secs
lola: 12970354 markings, 16231933 edges, 100408 markings/sec, 60 secs
lola: 13570615 markings, 17467628 edges, 120052 markings/sec, 65 secs
lola: 14304483 markings, 18678688 edges, 146774 markings/sec, 70 secs
lola: 15049161 markings, 19909100 edges, 148936 markings/sec, 75 secs
lola: 15799316 markings, 21154139 edges, 150031 markings/sec, 80 secs
lola: 16635948 markings, 22358128 edges, 167326 markings/sec, 85 secs
lola: 17581733 markings, 23526762 edges, 189157 markings/sec, 90 secs
lola: 18703955 markings, 24724372 edges, 224444 markings/sec, 95 secs
lola: 19851478 markings, 25916085 edges, 229505 markings/sec, 100 secs
lola: 20806173 markings, 27128840 edges, 190939 markings/sec, 105 secs
lola: 21802496 markings, 28365004 edges, 199265 markings/sec, 110 secs
lola: 22793506 markings, 29600214 edges, 198202 markings/sec, 115 secs
lola: 23701707 markings, 30777405 edges, 181640 markings/sec, 120 secs
lola: 24576891 markings, 31958451 edges, 175037 markings/sec, 125 secs
lola: 25380801 markings, 33191138 edges, 160782 markings/sec, 130 secs
lola: 25956497 markings, 34504574 edges, 115139 markings/sec, 135 secs
lola: 26649221 markings, 35788813 edges, 138545 markings/sec, 140 secs
lola: 27247499 markings, 37083410 edges, 119656 markings/sec, 145 secs
lola: 27916684 markings, 38359519 edges, 133837 markings/sec, 150 secs
lola: 28607769 markings, 39583635 edges, 138217 markings/sec, 155 secs
lola: 29132437 markings, 40788043 edges, 104934 markings/sec, 160 secs
lola: 29755470 markings, 41986555 edges, 124607 markings/sec, 165 secs
lola: 30373203 markings, 43202455 edges, 123547 markings/sec, 170 secs
lola: 30973902 markings, 44414310 edges, 120140 markings/sec, 175 secs
lola: 31694983 markings, 45599817 edges, 144216 markings/sec, 180 secs
lola: 32172245 markings, 46815174 edges, 95452 markings/sec, 185 secs
lola: 32791300 markings, 47998718 edges, 123811 markings/sec, 190 secs
lola: 33414153 markings, 49205963 edges, 124571 markings/sec, 195 secs
lola: 34028207 markings, 50459015 edges, 122811 markings/sec, 200 secs
lola: 34627283 markings, 51716378 edges, 119815 markings/sec, 205 secs
lola: 35244648 markings, 52999569 edges, 123473 markings/sec, 210 secs
lola: 35890196 markings, 54256001 edges, 129110 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(p328)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 621934 markings, 1291855 edges, 124387 markings/sec, 0 secs
lola: 1155016 markings, 2569280 edges, 106616 markings/sec, 5 secs
lola: 1688947 markings, 3884495 edges, 106786 markings/sec, 10 secs
lola: 2254408 markings, 5180180 edges, 113092 markings/sec, 15 secs
lola: 2806909 markings, 6452075 edges, 110500 markings/sec, 20 secs
lola: 3349617 markings, 7755263 edges, 108542 markings/sec, 25 secs
lola: 3889440 markings, 8996815 edges, 107965 markings/sec, 30 secs
lola: 4417155 markings, 10264648 edges, 105543 markings/sec, 35 secs
lola: 4805884 markings, 11701486 edges, 77746 markings/sec, 40 secs
lola: 5101929 markings, 13300870 edges, 59209 markings/sec, 45 secs
lola: 5533190 markings, 14672303 edges, 86252 markings/sec, 50 secs
lola: 5960368 markings, 16028149 edges, 85436 markings/sec, 55 secs
lola: 6402821 markings, 17371813 edges, 88491 markings/sec, 60 secs
lola: 6838764 markings, 18744248 edges, 87189 markings/sec, 65 secs
lola: 7268250 markings, 20099014 edges, 85897 markings/sec, 70 secs
lola: 8027901 markings, 21015407 edges, 151930 markings/sec, 75 secs
lola: 8846878 markings, 21944566 edges, 163795 markings/sec, 80 secs
lola: 9564492 markings, 22845517 edges, 143523 markings/sec, 85 secs
lola: 10336190 markings, 23716349 edges, 154340 markings/sec, 90 secs
lola: 11117050 markings, 24604863 edges, 156172 markings/sec, 95 secs
lola: 11686698 markings, 25775964 edges, 113930 markings/sec, 100 secs
lola: 12164575 markings, 27048438 edges, 95575 markings/sec, 105 secs
lola: 12856042 markings, 27929492 edges, 138293 markings/sec, 110 secs
lola: 13560922 markings, 28679983 edges, 140976 markings/sec, 115 secs
lola: 14230135 markings, 29392531 edges, 133843 markings/sec, 120 secs
lola: 14868337 markings, 30072164 edges, 127640 markings/sec, 125 secs
lola: 15484256 markings, 30914865 edges, 123184 markings/sec, 130 secs
lola: 16251288 markings, 31923795 edges, 153406 markings/sec, 135 secs
lola: 17023995 markings, 32806876 edges, 154541 markings/sec, 140 secs
lola: 17740115 markings, 33793527 edges, 143224 markings/sec, 145 secs
lola: 18442574 markings, 35080068 edges, 140492 markings/sec, 150 secs
lola: 18970042 markings, 36330066 edges, 105494 markings/sec, 155 secs
lola: 19682611 markings, 37361299 edges, 142514 markings/sec, 160 secs
lola: 20451488 markings, 38242405 edges, 153775 markings/sec, 165 secs
lola: 21188791 markings, 39144299 edges, 147461 markings/sec, 170 secs
lola: 21828939 markings, 40344684 edges, 128030 markings/sec, 175 secs
lola: 22387980 markings, 41565584 edges, 111808 markings/sec, 180 secs
lola: 23003748 markings, 42676827 edges, 123154 markings/sec, 185 secs
lola: 23768860 markings, 43540246 edges, 153022 markings/sec, 190 secs
lola: 24505675 markings, 44380232 edges, 147363 markings/sec, 195 secs
lola: 25132728 markings, 45432170 edges, 125411 markings/sec, 200 secs
lola: 25797494 markings, 46624955 edges, 132953 markings/sec, 205 secs
lola: 26258527 markings, 47869060 edges, 92207 markings/sec, 210 secs
lola: 27000376 markings, 48748515 edges, 148370 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(p84)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 653079 markings, 1152020 edges, 130616 markings/sec, 0 secs
lola: 1176830 markings, 2254063 edges, 104750 markings/sec, 5 secs
lola: 1846096 markings, 3222764 edges, 133853 markings/sec, 10 secs
lola: 2420659 markings, 4428456 edges, 114913 markings/sec, 15 secs
lola: 2919130 markings, 5650273 edges, 99694 markings/sec, 20 secs
lola: 3389952 markings, 6831660 edges, 94164 markings/sec, 25 secs
lola: 3876733 markings, 7968526 edges, 97356 markings/sec, 30 secs
lola: 4408339 markings, 9136764 edges, 106321 markings/sec, 35 secs
lola: 4978425 markings, 10243582 edges, 114017 markings/sec, 40 secs
lola: 5649297 markings, 11328338 edges, 134174 markings/sec, 45 secs
lola: 6331073 markings, 12411099 edges, 136355 markings/sec, 50 secs
lola: 6948792 markings, 13514525 edges, 123544 markings/sec, 55 secs
lola: 7544900 markings, 14628084 edges, 119222 markings/sec, 60 secs
lola: 8106127 markings, 15781465 edges, 112245 markings/sec, 65 secs
lola: 8692888 markings, 16883729 edges, 117352 markings/sec, 70 secs
lola: 9234931 markings, 18009755 edges, 108409 markings/sec, 75 secs
lola: 9792963 markings, 19067969 edges, 111606 markings/sec, 80 secs
lola: 10343766 markings, 20165786 edges, 110161 markings/sec, 85 secs
lola: 10879423 markings, 21226494 edges, 107131 markings/sec, 90 secs
lola: 11422192 markings, 22301411 edges, 108554 markings/sec, 95 secs
lola: 11977011 markings, 23326318 edges, 110964 markings/sec, 100 secs
lola: 12672670 markings, 24259311 edges, 139132 markings/sec, 105 secs
lola: 13285137 markings, 25288812 edges, 122493 markings/sec, 110 secs
lola: 13885256 markings, 26272746 edges, 120024 markings/sec, 115 secs
lola: 14467272 markings, 27355799 edges, 116403 markings/sec, 120 secs
lola: 15019568 markings, 28441679 edges, 110459 markings/sec, 125 secs
lola: 15575966 markings, 29472131 edges, 111280 markings/sec, 130 secs
lola: 16245230 markings, 30532712 edges, 133853 markings/sec, 135 secs
lola: 16880370 markings, 31652104 edges, 127028 markings/sec, 140 secs
lola: 17540250 markings, 32787593 edges, 131976 markings/sec, 145 secs
lola: 18183322 markings, 33907009 edges, 128614 markings/sec, 150 secs
lola: 18753672 markings, 35121264 edges, 114070 markings/sec, 155 secs
lola: 19317549 markings, 36294558 edges, 112775 markings/sec, 160 secs
lola: 19897444 markings, 37494161 edges, 115979 markings/sec, 165 secs
lola: 20475255 markings, 38664811 edges, 115562 markings/sec, 170 secs
lola: 21003912 markings, 39832357 edges, 105731 markings/sec, 175 secs
lola: 21572120 markings, 40957209 edges, 113642 markings/sec, 180 secs
lola: 22099593 markings, 42079298 edges, 105495 markings/sec, 185 secs
lola: 22646282 markings, 43230199 edges, 109338 markings/sec, 190 secs
lola: 23178981 markings, 44332863 edges, 106540 markings/sec, 195 secs
lola: 23699530 markings, 45472085 edges, 104110 markings/sec, 200 secs
lola: 24241457 markings, 46549550 edges, 108385 markings/sec, 205 secs
lola: 25017840 markings, 47510587 edges, 155277 markings/sec, 210 secs
lola: 25610774 markings, 48571132 edges, 118587 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(p142)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 795684 markings, 1246955 edges, 159137 markings/sec, 0 secs
lola: 1514845 markings, 2489629 edges, 143832 markings/sec, 5 secs
lola: 2221639 markings, 3688471 edges, 141359 markings/sec, 10 secs
lola: 2914890 markings, 4985922 edges, 138650 markings/sec, 15 secs
lola: 3481230 markings, 6260029 edges, 113268 markings/sec, 20 secs
lola: 4094917 markings, 7536899 edges, 122737 markings/sec, 25 secs
lola: 4750147 markings, 8742735 edges, 131046 markings/sec, 30 secs
lola: 5295430 markings, 10011501 edges, 109057 markings/sec, 35 secs
lola: 5825490 markings, 11273676 edges, 106012 markings/sec, 40 secs
lola: 6335240 markings, 12514398 edges, 101950 markings/sec, 45 secs
lola: 6953394 markings, 13668351 edges, 123631 markings/sec, 50 secs
lola: 7525167 markings, 14840083 edges, 114355 markings/sec, 55 secs
lola: 8096006 markings, 16051016 edges, 114168 markings/sec, 60 secs
lola: 8730705 markings, 17274197 edges, 126940 markings/sec, 65 secs
lola: 9258144 markings, 18583261 edges, 105488 markings/sec, 70 secs
lola: 9742728 markings, 19816963 edges, 96917 markings/sec, 75 secs
lola: 10322353 markings, 21043343 edges, 115925 markings/sec, 80 secs
lola: 10917572 markings, 22279859 edges, 119044 markings/sec, 85 secs
lola: 11462617 markings, 23507929 edges, 109009 markings/sec, 90 secs
lola: 12139691 markings, 24798739 edges, 135415 markings/sec, 95 secs
lola: 12780537 markings, 26102335 edges, 128169 markings/sec, 100 secs
lola: 13404258 markings, 27306020 edges, 124744 markings/sec, 105 secs
lola: 14028553 markings, 28465632 edges, 124859 markings/sec, 110 secs
lola: 14638877 markings, 29684308 edges, 122065 markings/sec, 115 secs
lola: 15291168 markings, 30880576 edges, 130458 markings/sec, 120 secs
lola: 15878891 markings, 32086229 edges, 117545 markings/sec, 125 secs
lola: 16443187 markings, 33369103 edges, 112859 markings/sec, 130 secs
lola: 16999029 markings, 34623872 edges, 111168 markings/sec, 135 secs
lola: 17494027 markings, 35823670 edges, 99000 markings/sec, 140 secs
lola: 18003422 markings, 37064371 edges, 101879 markings/sec, 145 secs
lola: 18527422 markings, 38308056 edges, 104800 markings/sec, 150 secs
lola: 19131137 markings, 39489434 edges, 120743 markings/sec, 155 secs
lola: 19614340 markings, 40769129 edges, 96641 markings/sec, 160 secs
lola: 20078461 markings, 42072958 edges, 92824 markings/sec, 165 secs
lola: 20655146 markings, 43301853 edges, 115337 markings/sec, 170 secs
lola: 21122160 markings, 44545343 edges, 93403 markings/sec, 175 secs
lola: 21680970 markings, 45667485 edges, 111762 markings/sec, 180 secs
lola: 22130373 markings, 46923147 edges, 89881 markings/sec, 185 secs
lola: 22697524 markings, 48096399 edges, 113430 markings/sec, 190 secs
lola: 23188940 markings, 49318272 edges, 98283 markings/sec, 195 secs
lola: 23679217 markings, 50554733 edges, 98055 markings/sec, 200 secs
lola: 24249857 markings, 51741009 edges, 114128 markings/sec, 205 secs
lola: 24907341 markings, 52839531 edges, 131497 markings/sec, 210 secs
lola: 25523905 markings, 53924635 edges, 123313 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(p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 628305 markings, 1300262 edges, 125661 markings/sec, 0 secs
lola: 1175671 markings, 2659116 edges, 109473 markings/sec, 5 secs
lola: 1748046 markings, 3960138 edges, 114475 markings/sec, 10 secs
lola: 2311559 markings, 5239578 edges, 112703 markings/sec, 15 secs
lola: 2861276 markings, 6485079 edges, 109943 markings/sec, 20 secs
lola: 3392230 markings, 7732638 edges, 106191 markings/sec, 25 secs
lola: 3924069 markings, 9004336 edges, 106368 markings/sec, 30 secs
lola: 4471304 markings, 10244762 edges, 109447 markings/sec, 35 secs
lola: 5010815 markings, 11463578 edges, 107902 markings/sec, 40 secs
lola: 5527969 markings, 12658498 edges, 103431 markings/sec, 45 secs
lola: 6041914 markings, 13903470 edges, 102789 markings/sec, 50 secs
lola: 6570435 markings, 15097323 edges, 105704 markings/sec, 55 secs
lola: 7082649 markings, 16251517 edges, 102443 markings/sec, 60 secs
lola: 7556989 markings, 17424997 edges, 94868 markings/sec, 65 secs
lola: 8076446 markings, 18596797 edges, 103891 markings/sec, 70 secs
lola: 8572860 markings, 19710896 edges, 99283 markings/sec, 75 secs
lola: 9083903 markings, 20826704 edges, 102209 markings/sec, 80 secs
lola: 10157985 markings, 21996535 edges, 214816 markings/sec, 85 secs
lola: 11161636 markings, 23033036 edges, 200730 markings/sec, 90 secs
lola: 12217895 markings, 24180740 edges, 211252 markings/sec, 95 secs
lola: 13264974 markings, 25313499 edges, 209416 markings/sec, 100 secs
lola: 14257656 markings, 26338613 edges, 198536 markings/sec, 105 secs
lola: 15229530 markings, 27340085 edges, 194375 markings/sec, 110 secs
lola: 16257434 markings, 28445250 edges, 205581 markings/sec, 115 secs
lola: 17237708 markings, 29457133 edges, 196055 markings/sec, 120 secs
lola: 18262481 markings, 30560446 edges, 204955 markings/sec, 125 secs
lola: 19177081 markings, 31578766 edges, 182920 markings/sec, 130 secs
lola: 20053836 markings, 32783472 edges, 175351 markings/sec, 135 secs
lola: 21157770 markings, 33987053 edges, 220787 markings/sec, 140 secs
lola: 22254411 markings, 35165883 edges, 219328 markings/sec, 145 secs
lola: 23329697 markings, 36324418 edges, 215057 markings/sec, 150 secs
lola: 24386946 markings, 37466336 edges, 211450 markings/sec, 155 secs
lola: 25410551 markings, 38602160 edges, 204721 markings/sec, 160 secs
lola: 26354609 markings, 39779134 edges, 188812 markings/sec, 165 secs
lola: 27457873 markings, 40983162 edges, 220653 markings/sec, 170 secs
lola: 28552101 markings, 42158234 edges, 218846 markings/sec, 175 secs
lola: 29630309 markings, 43321043 edges, 215642 markings/sec, 180 secs
lola: 30691884 markings, 44464198 edges, 212315 markings/sec, 185 secs
lola: 31751952 markings, 45605160 edges, 212014 markings/sec, 190 secs
lola: 32635809 markings, 46746363 edges, 176771 markings/sec, 195 secs
lola: 33650374 markings, 47827382 edges, 202913 markings/sec, 200 secs
lola: 34646989 markings, 48879173 edges, 199323 markings/sec, 205 secs
lola: 35631427 markings, 49927539 edges, 196888 markings/sec, 210 secs
lola: 36604011 markings, 50964135 edges, 194517 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(p264)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 1144145 markings, 1214759 edges, 228829 markings/sec, 0 secs
lola: 2138368 markings, 2374676 edges, 198845 markings/sec, 5 secs
lola: 3258251 markings, 3529773 edges, 223977 markings/sec, 10 secs
lola: 4361280 markings, 4673902 edges, 220606 markings/sec, 15 secs
lola: 5443296 markings, 5807151 edges, 216403 markings/sec, 20 secs
lola: 6399970 markings, 6970658 edges, 191335 markings/sec, 25 secs
lola: 7374214 markings, 8161601 edges, 194849 markings/sec, 30 secs
lola: 8402101 markings, 9284353 edges, 205577 markings/sec, 35 secs
lola: 9385378 markings, 10420173 edges, 196655 markings/sec, 40 secs
lola: 10464707 markings, 11525920 edges, 215866 markings/sec, 45 secs
lola: 11542519 markings, 12638715 edges, 215562 markings/sec, 50 secs
lola: 12633237 markings, 13779944 edges, 218144 markings/sec, 55 secs
lola: 13704973 markings, 14954563 edges, 214347 markings/sec, 60 secs
lola: 14496409 markings, 16135847 edges, 158287 markings/sec, 65 secs
lola: 15205159 markings, 17343713 edges, 141750 markings/sec, 70 secs
lola: 15725814 markings, 18679387 edges, 104131 markings/sec, 75 secs
lola: 16226337 markings, 19887652 edges, 100105 markings/sec, 80 secs
lola: 16971718 markings, 21037060 edges, 149076 markings/sec, 85 secs
lola: 17749202 markings, 22192773 edges, 155497 markings/sec, 90 secs
lola: 18532460 markings, 23368171 edges, 156652 markings/sec, 95 secs
lola: 19328883 markings, 24506387 edges, 159285 markings/sec, 100 secs
lola: 20295896 markings, 25609594 edges, 193403 markings/sec, 105 secs
lola: 21348348 markings, 26708547 edges, 210490 markings/sec, 110 secs
lola: 22435532 markings, 27832407 edges, 217437 markings/sec, 115 secs
lola: 23499103 markings, 28922329 edges, 212714 markings/sec, 120 secs
lola: 24415990 markings, 30041837 edges, 183377 markings/sec, 125 secs
lola: 25454659 markings, 31184906 edges, 207734 markings/sec, 130 secs
lola: 26486092 markings, 32308544 edges, 206287 markings/sec, 135 secs
lola: 27307982 markings, 33470898 edges, 164378 markings/sec, 140 secs
lola: 28200375 markings, 34562873 edges, 178479 markings/sec, 145 secs
lola: 29088896 markings, 35689094 edges, 177704 markings/sec, 150 secs
lola: 29750230 markings, 36874552 edges, 132267 markings/sec, 155 secs
lola: 30449414 markings, 38050708 edges, 139837 markings/sec, 160 secs
lola: 31183358 markings, 39212113 edges, 146789 markings/sec, 165 secs
lola: 31793791 markings, 40400147 edges, 122087 markings/sec, 170 secs
lola: 32585309 markings, 41537909 edges, 158304 markings/sec, 175 secs
lola: 33081523 markings, 42661856 edges, 99243 markings/sec, 180 secs
lola: 33757618 markings, 43779539 edges, 135219 markings/sec, 185 secs
lola: 34406250 markings, 44913174 edges, 129726 markings/sec, 190 secs
lola: 35044030 markings, 46030315 edges, 127556 markings/sec, 195 secs
lola: 35779790 markings, 47115566 edges, 147152 markings/sec, 200 secs
lola: 36305549 markings, 48245983 edges, 105152 markings/sec, 205 secs
lola: 36976056 markings, 49348732 edges, 134101 markings/sec, 210 secs
lola: 37599185 markings, 50508451 edges, 124626 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(p312)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 1203609 markings, 1315826 edges, 240722 markings/sec, 0 secs
lola: 2259180 markings, 2565477 edges, 211114 markings/sec, 5 secs
lola: 3448974 markings, 3810797 edges, 237959 markings/sec, 10 secs
lola: 4504421 markings, 5046764 edges, 211089 markings/sec, 15 secs
lola: 5568129 markings, 6299947 edges, 212742 markings/sec, 20 secs
lola: 6572703 markings, 7542776 edges, 200915 markings/sec, 25 secs
lola: 7623514 markings, 8770944 edges, 210162 markings/sec, 30 secs
lola: 8785334 markings, 9977952 edges, 232364 markings/sec, 35 secs
lola: 9941826 markings, 11193311 edges, 231298 markings/sec, 40 secs
lola: 11104492 markings, 12480419 edges, 232533 markings/sec, 45 secs
lola: 12018034 markings, 13772873 edges, 182708 markings/sec, 50 secs
lola: 12537121 markings, 15099454 edges, 103817 markings/sec, 55 secs
lola: 13025562 markings, 16354837 edges, 97688 markings/sec, 60 secs
lola: 13626186 markings, 17571081 edges, 120125 markings/sec, 65 secs
lola: 14338724 markings, 18756196 edges, 142508 markings/sec, 70 secs
lola: 15082490 markings, 19967864 edges, 148753 markings/sec, 75 secs
lola: 15825809 markings, 21189599 edges, 148664 markings/sec, 80 secs
lola: 16657192 markings, 22380165 edges, 166277 markings/sec, 85 secs
lola: 17610635 markings, 23556106 edges, 190689 markings/sec, 90 secs
lola: 18753198 markings, 24776289 edges, 228513 markings/sec, 95 secs
lola: 19926691 markings, 25994572 edges, 234699 markings/sec, 100 secs
lola: 20870880 markings, 27207566 edges, 188838 markings/sec, 105 secs
lola: 21877552 markings, 28450968 edges, 201334 markings/sec, 110 secs
lola: 22861020 markings, 29682794 edges, 196694 markings/sec, 115 secs
lola: 23753203 markings, 30851129 edges, 178437 markings/sec, 120 secs
lola: 24626791 markings, 32025493 edges, 174718 markings/sec, 125 secs
lola: 25397663 markings, 33242536 edges, 154174 markings/sec, 130 secs
lola: 25965018 markings, 34520136 edges, 113471 markings/sec, 135 secs
lola: 26643829 markings, 35782763 edges, 135762 markings/sec, 140 secs
lola: 27222784 markings, 37029777 edges, 115791 markings/sec, 145 secs
lola: 27877699 markings, 38284394 edges, 130983 markings/sec, 150 secs
lola: 28574188 markings, 39489340 edges, 139298 markings/sec, 155 secs
lola: 29072794 markings, 40675659 edges, 99721 markings/sec, 160 secs
lola: 29687876 markings, 41854940 edges, 123016 markings/sec, 165 secs
lola: 30317025 markings, 43048801 edges, 125830 markings/sec, 170 secs
lola: 30885646 markings, 44244087 edges, 113724 markings/sec, 175 secs
lola: 31561966 markings, 45431306 edges, 135264 markings/sec, 180 secs
lola: 32066921 markings, 46616658 edges, 100991 markings/sec, 185 secs
lola: 32680755 markings, 47785085 edges, 122767 markings/sec, 190 secs
lola: 33293187 markings, 48959140 edges, 122486 markings/sec, 195 secs
lola: 33897090 markings, 50187519 edges, 120781 markings/sec, 200 secs
lola: 34479668 markings, 51406333 edges, 116516 markings/sec, 205 secs
lola: 35088731 markings, 52665888 edges, 121813 markings/sec, 210 secs
lola: 35679201 markings, 53913234 edges, 118094 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(p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 565619 markings, 1376250 edges, 113124 markings/sec, 0 secs
lola: 1162977 markings, 2601833 edges, 119472 markings/sec, 5 secs
lola: 1690379 markings, 3798398 edges, 105480 markings/sec, 10 secs
lola: 2214961 markings, 4958508 edges, 104916 markings/sec, 15 secs
lola: 2729269 markings, 6092847 edges, 102862 markings/sec, 20 secs
lola: 3263718 markings, 7196522 edges, 106890 markings/sec, 25 secs
lola: 3753317 markings, 8285488 edges, 97920 markings/sec, 30 secs
lola: 4233008 markings, 9358938 edges, 95938 markings/sec, 35 secs
lola: 4711258 markings, 10411887 edges, 95650 markings/sec, 40 secs
lola: 5181245 markings, 11447952 edges, 93997 markings/sec, 45 secs
lola: 5647323 markings, 12470235 edges, 93216 markings/sec, 50 secs
lola: 6109201 markings, 13476453 edges, 92376 markings/sec, 55 secs
lola: 6576775 markings, 14463822 edges, 93515 markings/sec, 60 secs
lola: 7028776 markings, 15433475 edges, 90400 markings/sec, 65 secs
lola: 7468680 markings, 16393253 edges, 87981 markings/sec, 70 secs
lola: 7883568 markings, 17344701 edges, 82978 markings/sec, 75 secs
lola: 8444214 markings, 18555832 edges, 112129 markings/sec, 80 secs
lola: 9070678 markings, 19622823 edges, 125293 markings/sec, 85 secs
lola: 9774581 markings, 20609282 edges, 140781 markings/sec, 90 secs
lola: 10511909 markings, 21662421 edges, 147466 markings/sec, 95 secs
lola: 11303881 markings, 22917664 edges, 158394 markings/sec, 100 secs
lola: 12026761 markings, 24120312 edges, 144576 markings/sec, 105 secs
lola: 12741387 markings, 25337283 edges, 142925 markings/sec, 110 secs
lola: 13344080 markings, 26473466 edges, 120539 markings/sec, 115 secs
lola: 13945254 markings, 27653231 edges, 120235 markings/sec, 120 secs
lola: 14537401 markings, 28804315 edges, 118429 markings/sec, 125 secs
lola: 15174590 markings, 29989662 edges, 127438 markings/sec, 130 secs
lola: 15769913 markings, 31206103 edges, 119065 markings/sec, 135 secs
lola: 16387169 markings, 32305515 edges, 123451 markings/sec, 140 secs
lola: 17075317 markings, 33423569 edges, 137630 markings/sec, 145 secs
lola: 17629580 markings, 34582927 edges, 110853 markings/sec, 150 secs
lola: 18222370 markings, 35801264 edges, 118558 markings/sec, 155 secs
lola: 18802501 markings, 36945206 edges, 116026 markings/sec, 160 secs
lola: 19570615 markings, 38205932 edges, 153623 markings/sec, 165 secs
lola: 20225828 markings, 39348895 edges, 131043 markings/sec, 170 secs
lola: 20910421 markings, 40505629 edges, 136919 markings/sec, 175 secs
lola: 21499923 markings, 41705831 edges, 117900 markings/sec, 180 secs
lola: 22076039 markings, 42874646 edges, 115223 markings/sec, 185 secs
lola: 22704246 markings, 44066907 edges, 125641 markings/sec, 190 secs
lola: 23265477 markings, 45138829 edges, 112246 markings/sec, 195 secs
lola: 23932723 markings, 46113924 edges, 133449 markings/sec, 200 secs
lola: 24643479 markings, 47159675 edges, 142151 markings/sec, 205 secs
lola: 25223653 markings, 48314457 edges, 116035 markings/sec, 210 secs
lola: 25807655 markings, 49440939 edges, 116800 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p306)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 1206333 markings, 1320881 edges, 241267 markings/sec, 0 secs
lola: 2265659 markings, 2578853 edges, 211865 markings/sec, 5 secs
lola: 3438877 markings, 3800129 edges, 234644 markings/sec, 10 secs
lola: 4488474 markings, 5030113 edges, 209919 markings/sec, 15 secs
lola: 5560338 markings, 6291844 edges, 214373 markings/sec, 20 secs
lola: 6579237 markings, 7549666 edges, 203780 markings/sec, 25 secs
lola: 7629856 markings, 8777501 edges, 210124 markings/sec, 30 secs
lola: 8791248 markings, 9984189 edges, 232278 markings/sec, 35 secs
lola: 9934084 markings, 11185498 edges, 228567 markings/sec, 40 secs
lola: 11081870 markings, 12454970 edges, 229557 markings/sec, 45 secs
lola: 12015736 markings, 13767120 edges, 186773 markings/sec, 50 secs
lola: 12554693 markings, 15142231 edges, 107791 markings/sec, 55 secs
lola: 13056445 markings, 16426351 edges, 100350 markings/sec, 60 secs
lola: 13673404 markings, 17672759 edges, 123392 markings/sec, 65 secs
lola: 14442723 markings, 18889926 edges, 153864 markings/sec, 70 secs
lola: 15182468 markings, 20144239 edges, 147949 markings/sec, 75 secs
lola: 15940356 markings, 21400492 edges, 151578 markings/sec, 80 secs
lola: 16868333 markings, 22594942 edges, 185595 markings/sec, 85 secs
lola: 17791781 markings, 23769715 edges, 184690 markings/sec, 90 secs
lola: 18939252 markings, 24972547 edges, 229494 markings/sec, 95 secs
lola: 20085859 markings, 26160686 edges, 229321 markings/sec, 100 secs
lola: 20991058 markings, 27352400 edges, 181040 markings/sec, 105 secs
lola: 21968897 markings, 28579010 edges, 195568 markings/sec, 110 secs
lola: 22949045 markings, 29793710 edges, 196030 markings/sec, 115 secs
lola: 23828744 markings, 30950081 edges, 175940 markings/sec, 120 secs
lola: 24706414 markings, 32134770 edges, 175534 markings/sec, 125 secs
lola: 25444057 markings, 33373679 edges, 147529 markings/sec, 130 secs
lola: 26047036 markings, 34675428 edges, 120596 markings/sec, 135 secs
lola: 26781292 markings, 35935196 edges, 146851 markings/sec, 140 secs
lola: 27329737 markings, 37238686 edges, 109689 markings/sec, 145 secs
lola: 27998590 markings, 38517797 edges, 133771 markings/sec, 150 secs
lola: 28658417 markings, 39728986 edges, 131965 markings/sec, 155 secs
lola: 29200672 markings, 40918999 edges, 108451 markings/sec, 160 secs
lola: 29836673 markings, 42119499 edges, 127200 markings/sec, 165 secs
lola: 30420802 markings, 43338282 edges, 116826 markings/sec, 170 secs
lola: 31043103 markings, 44547811 edges, 124460 markings/sec, 175 secs
lola: 31743066 markings, 45729036 edges, 139993 markings/sec, 180 secs
lola: 32233989 markings, 46933414 edges, 98185 markings/sec, 185 secs
lola: 32855314 markings, 48122207 edges, 124265 markings/sec, 190 secs
lola: 33488448 markings, 49340356 edges, 126627 markings/sec, 195 secs
lola: 34091561 markings, 50589614 edges, 120623 markings/sec, 200 secs
lola: 34693508 markings, 51853347 edges, 120389 markings/sec, 205 secs
lola: 35310977 markings, 53136651 edges, 123494 markings/sec, 210 secs
lola: 36005648 markings, 54385195 edges, 138934 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DES-PT-20b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494631763090
--------------------
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-20b"
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-20b.tgz
mv DES-PT-20b 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-20b, 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-149436309100272"
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 ;