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

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

=== Now, execution of the tool begins

BK_START 1494633107064


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DES-PT-60a @ 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: 665/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 354 places, 311 transitions, 295 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 336 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-60a-UpperBounds.task
lola: MAX(p285) : MAX(p329) : MAX(p109) : MAX(p177) : MAX(p323) : MAX(p102) : MAX(p87) : MAX(p102) : MAX(p100) : MAX(p190) : MAX(p35) : MAX(p46) : MAX(p260) : MAX(p180) : MAX(p165) : MAX(p122)
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(p285)
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: 1162533 markings, 1482926 edges, 232507 markings/sec, 0 secs
lola: 2376680 markings, 3075716 edges, 242829 markings/sec, 5 secs
lola: 3527556 markings, 4639569 edges, 230175 markings/sec, 10 secs
lola: 4653495 markings, 6176472 edges, 225188 markings/sec, 15 secs
lola: 5780925 markings, 7700470 edges, 225486 markings/sec, 20 secs
lola: 6888665 markings, 9210816 edges, 221548 markings/sec, 25 secs
lola: 7959423 markings, 10670782 edges, 214152 markings/sec, 30 secs
lola: 8973322 markings, 12056217 edges, 202780 markings/sec, 35 secs
lola: 9952255 markings, 13390054 edges, 195787 markings/sec, 40 secs
lola: 10924224 markings, 14712173 edges, 194394 markings/sec, 45 secs
lola: 11891364 markings, 16027843 edges, 193428 markings/sec, 50 secs
lola: 12859619 markings, 17338572 edges, 193651 markings/sec, 55 secs
lola: 13820147 markings, 18644240 edges, 192106 markings/sec, 60 secs
lola: 14776855 markings, 19945828 edges, 191342 markings/sec, 65 secs
lola: 15728225 markings, 21242357 edges, 190274 markings/sec, 70 secs
lola: 16674223 markings, 22532522 edges, 189200 markings/sec, 75 secs
lola: 17616389 markings, 23814404 edges, 188433 markings/sec, 80 secs
lola: 18558665 markings, 25093451 edges, 188455 markings/sec, 85 secs
lola: 19492831 markings, 26368681 edges, 186833 markings/sec, 90 secs
lola: 20431813 markings, 27643520 edges, 187796 markings/sec, 95 secs
lola: 21364705 markings, 28912916 edges, 186578 markings/sec, 100 secs
lola: 22290383 markings, 30174930 edges, 185136 markings/sec, 105 secs
lola: 23216175 markings, 31436864 edges, 185158 markings/sec, 110 secs
lola: 24133754 markings, 32687381 edges, 183516 markings/sec, 115 secs
lola: 25050262 markings, 33936414 edges, 183302 markings/sec, 120 secs
lola: 25960396 markings, 35176179 edges, 182027 markings/sec, 125 secs
lola: 26862291 markings, 36404707 edges, 180379 markings/sec, 130 secs
lola: 27757273 markings, 37621577 edges, 178996 markings/sec, 135 secs
lola: 28643377 markings, 38826960 edges, 177221 markings/sec, 140 secs
lola: 29527307 markings, 40028609 edges, 176786 markings/sec, 145 secs
lola: 30408845 markings, 41227212 edges, 176308 markings/sec, 150 secs
lola: 31283763 markings, 42417240 edges, 174984 markings/sec, 155 secs
lola: 32157088 markings, 43603573 edges, 174665 markings/sec, 160 secs
lola: 33031129 markings, 44795002 edges, 174808 markings/sec, 165 secs
lola: 33914640 markings, 45999707 edges, 176702 markings/sec, 170 secs
lola: 34796704 markings, 47200326 edges, 176413 markings/sec, 175 secs
lola: 35669601 markings, 48387948 edges, 174579 markings/sec, 180 secs
lola: 36574834 markings, 49621825 edges, 181047 markings/sec, 185 secs
lola: 37531429 markings, 50921513 edges, 191319 markings/sec, 190 secs
lola: 38537997 markings, 52296561 edges, 201314 markings/sec, 195 secs
lola: 39594649 markings, 53742661 edges, 211330 markings/sec, 200 secs
lola: 40664261 markings, 55197439 edges, 213922 markings/sec, 205 secs
lola: 41738027 markings, 56648863 edges, 214753 markings/sec, 210 secs
lola: 42799501 markings, 58095558 edges, 212295 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(p329)
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: 942737 markings, 1473163 edges, 188547 markings/sec, 0 secs
lola: 1818307 markings, 2837710 edges, 175114 markings/sec, 5 secs
lola: 2733571 markings, 4278852 edges, 183053 markings/sec, 10 secs
lola: 3607803 markings, 5769021 edges, 174846 markings/sec, 15 secs
lola: 4457231 markings, 7308428 edges, 169886 markings/sec, 20 secs
lola: 5307836 markings, 8831952 edges, 170121 markings/sec, 25 secs
lola: 6160723 markings, 10342298 edges, 170577 markings/sec, 30 secs
lola: 6970131 markings, 11845556 edges, 161882 markings/sec, 35 secs
lola: 7823687 markings, 13332380 edges, 170711 markings/sec, 40 secs
lola: 8611172 markings, 14817879 edges, 157497 markings/sec, 45 secs
lola: 9461271 markings, 16295764 edges, 170020 markings/sec, 50 secs
lola: 10242056 markings, 17755509 edges, 156157 markings/sec, 55 secs
lola: 11073006 markings, 19226332 edges, 166190 markings/sec, 60 secs
lola: 11874319 markings, 20686898 edges, 160263 markings/sec, 65 secs
lola: 12678214 markings, 22148142 edges, 160779 markings/sec, 70 secs
lola: 13485086 markings, 23571881 edges, 161374 markings/sec, 75 secs
lola: 14230494 markings, 24958484 edges, 149082 markings/sec, 80 secs
lola: 14991232 markings, 26287875 edges, 152148 markings/sec, 85 secs
lola: 15703265 markings, 27615275 edges, 142407 markings/sec, 90 secs
lola: 16441242 markings, 28910785 edges, 147595 markings/sec, 95 secs
lola: 17141609 markings, 30213953 edges, 140073 markings/sec, 100 secs
lola: 17875719 markings, 31501865 edges, 146822 markings/sec, 105 secs
lola: 18571483 markings, 32795379 edges, 139153 markings/sec, 110 secs
lola: 19298794 markings, 34080259 edges, 145462 markings/sec, 115 secs
lola: 19999759 markings, 35371401 edges, 140193 markings/sec, 120 secs
lola: 20724292 markings, 36652877 edges, 144907 markings/sec, 125 secs
lola: 21420140 markings, 37934409 edges, 139170 markings/sec, 130 secs
lola: 22126110 markings, 39201226 edges, 141194 markings/sec, 135 secs
lola: 22832883 markings, 40474092 edges, 141355 markings/sec, 140 secs
lola: 23528088 markings, 41738980 edges, 139041 markings/sec, 145 secs
lola: 24238609 markings, 43005289 edges, 142104 markings/sec, 150 secs
lola: 24925807 markings, 44265516 edges, 137440 markings/sec, 155 secs
lola: 25639973 markings, 45523823 edges, 142833 markings/sec, 160 secs
lola: 26304382 markings, 46778987 edges, 132882 markings/sec, 165 secs
lola: 27032706 markings, 48031467 edges, 145665 markings/sec, 170 secs
lola: 27695021 markings, 49285511 edges, 132463 markings/sec, 175 secs
lola: 28412074 markings, 50518153 edges, 143411 markings/sec, 180 secs
lola: 29068388 markings, 51764241 edges, 131263 markings/sec, 185 secs
lola: 29779652 markings, 52987313 edges, 142253 markings/sec, 190 secs
lola: 30435417 markings, 54230527 edges, 131153 markings/sec, 195 secs
lola: 31140942 markings, 55454387 edges, 141105 markings/sec, 200 secs
lola: 31798406 markings, 56687929 edges, 131493 markings/sec, 205 secs
lola: 32497439 markings, 57911095 edges, 139807 markings/sec, 210 secs
lola: 33162003 markings, 59142710 edges, 132913 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(p109)
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: 788021 markings, 1478434 edges, 157604 markings/sec, 0 secs
lola: 1510391 markings, 2963718 edges, 144474 markings/sec, 5 secs
lola: 2184647 markings, 4425725 edges, 134851 markings/sec, 10 secs
lola: 2874949 markings, 5866462 edges, 138060 markings/sec, 15 secs
lola: 3546451 markings, 7330960 edges, 134300 markings/sec, 20 secs
lola: 4230586 markings, 8757332 edges, 136827 markings/sec, 25 secs
lola: 4897719 markings, 10214605 edges, 133427 markings/sec, 30 secs
lola: 5579278 markings, 11636695 edges, 136312 markings/sec, 35 secs
lola: 6244813 markings, 13095185 edges, 133107 markings/sec, 40 secs
lola: 6922948 markings, 14509026 edges, 135627 markings/sec, 45 secs
lola: 7582797 markings, 15951239 edges, 131970 markings/sec, 50 secs
lola: 8265059 markings, 17364720 edges, 136452 markings/sec, 55 secs
lola: 9010767 markings, 18806160 edges, 149142 markings/sec, 60 secs
lola: 9745616 markings, 20306149 edges, 146970 markings/sec, 65 secs
lola: 10449995 markings, 21805664 edges, 140876 markings/sec, 70 secs
lola: 11120955 markings, 23302455 edges, 134192 markings/sec, 75 secs
lola: 11798130 markings, 24726925 edges, 135435 markings/sec, 80 secs
lola: 12510215 markings, 26240039 edges, 142417 markings/sec, 85 secs
lola: 13146485 markings, 27703698 edges, 127254 markings/sec, 90 secs
lola: 13834503 markings, 29126382 edges, 137604 markings/sec, 95 secs
lola: 14490831 markings, 30577547 edges, 131266 markings/sec, 100 secs
lola: 15180869 markings, 32061151 edges, 138008 markings/sec, 105 secs
lola: 15809560 markings, 33501700 edges, 125738 markings/sec, 110 secs
lola: 16482411 markings, 34968658 edges, 134570 markings/sec, 115 secs
lola: 17137349 markings, 36363025 edges, 130988 markings/sec, 120 secs
lola: 17818945 markings, 37838391 edges, 136319 markings/sec, 125 secs
lola: 18478991 markings, 39318767 edges, 132009 markings/sec, 130 secs
lola: 19113364 markings, 40756054 edges, 126875 markings/sec, 135 secs
lola: 19789540 markings, 42152380 edges, 135235 markings/sec, 140 secs
lola: 20430617 markings, 43575374 edges, 128215 markings/sec, 145 secs
lola: 21104119 markings, 45023411 edges, 134700 markings/sec, 150 secs
lola: 21726328 markings, 46446915 edges, 124442 markings/sec, 155 secs
lola: 22374642 markings, 47898818 edges, 129663 markings/sec, 160 secs
lola: 23037724 markings, 49265185 edges, 132616 markings/sec, 165 secs
lola: 23702101 markings, 50728066 edges, 132875 markings/sec, 170 secs
lola: 24367356 markings, 52194513 edges, 133051 markings/sec, 175 secs
lola: 24983019 markings, 53605521 edges, 123133 markings/sec, 180 secs
lola: 25670663 markings, 55008131 edges, 137529 markings/sec, 185 secs
lola: 26332221 markings, 56422347 edges, 132312 markings/sec, 190 secs
lola: 27051305 markings, 57900040 edges, 143817 markings/sec, 195 secs
lola: 27734189 markings, 59377297 edges, 136577 markings/sec, 200 secs
lola: 28362823 markings, 60825172 edges, 125727 markings/sec, 205 secs
lola: 29001865 markings, 62276042 edges, 127808 markings/sec, 210 secs
lola: 29609220 markings, 63684072 edges, 121471 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(p177)
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: 725537 markings, 1478260 edges, 145107 markings/sec, 0 secs
lola: 1454232 markings, 2954313 edges, 145739 markings/sec, 5 secs
lola: 2183099 markings, 4429760 edges, 145773 markings/sec, 10 secs
lola: 2906064 markings, 5900632 edges, 144593 markings/sec, 15 secs
lola: 3572467 markings, 7254488 edges, 133281 markings/sec, 20 secs
lola: 4222287 markings, 8582271 edges, 129964 markings/sec, 25 secs
lola: 4864152 markings, 9879982 edges, 128373 markings/sec, 30 secs
lola: 5508817 markings, 11186959 edges, 128933 markings/sec, 35 secs
lola: 6159749 markings, 12517918 edges, 130186 markings/sec, 40 secs
lola: 6813121 markings, 13840769 edges, 130674 markings/sec, 45 secs
lola: 7466216 markings, 15161027 edges, 130619 markings/sec, 50 secs
lola: 8111965 markings, 16480449 edges, 129150 markings/sec, 55 secs
lola: 8792766 markings, 17865202 edges, 136160 markings/sec, 60 secs
lola: 9514803 markings, 19329760 edges, 144407 markings/sec, 65 secs
lola: 10184443 markings, 20690668 edges, 133928 markings/sec, 70 secs
lola: 10817930 markings, 22050592 edges, 126697 markings/sec, 75 secs
lola: 11476997 markings, 23438901 edges, 131813 markings/sec, 80 secs
lola: 12187881 markings, 24869479 edges, 142177 markings/sec, 85 secs
lola: 12890089 markings, 26331809 edges, 140442 markings/sec, 90 secs
lola: 13607941 markings, 27829191 edges, 143570 markings/sec, 95 secs
lola: 14299070 markings, 29296940 edges, 138226 markings/sec, 100 secs
lola: 15026431 markings, 30791446 edges, 145472 markings/sec, 105 secs
lola: 15716688 markings, 32268362 edges, 138051 markings/sec, 110 secs
lola: 16403248 markings, 33719810 edges, 137312 markings/sec, 115 secs
lola: 17129611 markings, 35130351 edges, 145273 markings/sec, 120 secs
lola: 17826064 markings, 36555470 edges, 139291 markings/sec, 125 secs
lola: 18544105 markings, 38070260 edges, 143608 markings/sec, 130 secs
lola: 19223386 markings, 39521475 edges, 135856 markings/sec, 135 secs
lola: 19950329 markings, 40975816 edges, 145389 markings/sec, 140 secs
lola: 20650500 markings, 42451087 edges, 140034 markings/sec, 145 secs
lola: 21327571 markings, 43904667 edges, 135414 markings/sec, 150 secs
lola: 22019271 markings, 45325842 edges, 138340 markings/sec, 155 secs
lola: 22731886 markings, 46732389 edges, 142523 markings/sec, 160 secs
lola: 23424746 markings, 48153148 edges, 138572 markings/sec, 165 secs
lola: 24126676 markings, 49637002 edges, 140386 markings/sec, 170 secs
lola: 24790421 markings, 51055667 edges, 132749 markings/sec, 175 secs
lola: 25519803 markings, 52507304 edges, 145876 markings/sec, 180 secs
lola: 26208273 markings, 53954958 edges, 137694 markings/sec, 185 secs
lola: 26882444 markings, 55399753 edges, 134834 markings/sec, 190 secs
lola: 27560943 markings, 56798909 edges, 135700 markings/sec, 195 secs
lola: 28260787 markings, 58182252 edges, 139969 markings/sec, 200 secs
lola: 28946248 markings, 59586778 edges, 137092 markings/sec, 205 secs
lola: 29622285 markings, 61013235 edges, 135207 markings/sec, 210 secs
lola: 30270888 markings, 62397346 edges, 129721 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(p323)
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: 778660 markings, 1462672 edges, 155732 markings/sec, 0 secs
lola: 1486059 markings, 2790789 edges, 141480 markings/sec, 5 secs
lola: 2221535 markings, 4173345 edges, 147095 markings/sec, 10 secs
lola: 3056674 markings, 5635159 edges, 167028 markings/sec, 15 secs
lola: 3897783 markings, 7164489 edges, 168222 markings/sec, 20 secs
lola: 4695878 markings, 8668252 edges, 159619 markings/sec, 25 secs
lola: 5498251 markings, 10168820 edges, 160475 markings/sec, 30 secs
lola: 6285604 markings, 11648501 edges, 157471 markings/sec, 35 secs
lola: 7072346 markings, 13138981 edges, 157348 markings/sec, 40 secs
lola: 7858785 markings, 14612768 edges, 157288 markings/sec, 45 secs
lola: 8642556 markings, 16103330 edges, 156754 markings/sec, 50 secs
lola: 9434102 markings, 17584389 edges, 158309 markings/sec, 55 secs
lola: 10210494 markings, 19063885 edges, 155278 markings/sec, 60 secs
lola: 10995843 markings, 20531655 edges, 157070 markings/sec, 65 secs
lola: 11741711 markings, 21952627 edges, 149174 markings/sec, 70 secs
lola: 12519684 markings, 23410128 edges, 155595 markings/sec, 75 secs
lola: 13291126 markings, 24876546 edges, 154288 markings/sec, 80 secs
lola: 14044591 markings, 26293891 edges, 150693 markings/sec, 85 secs
lola: 14775934 markings, 27670659 edges, 146269 markings/sec, 90 secs
lola: 15483930 markings, 29023214 edges, 141599 markings/sec, 95 secs
lola: 16192640 markings, 30327366 edges, 141742 markings/sec, 100 secs
lola: 16842529 markings, 31611402 edges, 129978 markings/sec, 105 secs
lola: 17552016 markings, 32880102 edges, 141897 markings/sec, 110 secs
lola: 18202684 markings, 34168260 edges, 130134 markings/sec, 115 secs
lola: 18901776 markings, 35428424 edges, 139818 markings/sec, 120 secs
lola: 19543065 markings, 36679665 edges, 128258 markings/sec, 125 secs
lola: 20194835 markings, 37915203 edges, 130354 markings/sec, 130 secs
lola: 20866732 markings, 39147884 edges, 134379 markings/sec, 135 secs
lola: 21496436 markings, 40396023 edges, 125941 markings/sec, 140 secs
lola: 22184296 markings, 41619407 edges, 137572 markings/sec, 145 secs
lola: 22833383 markings, 42900371 edges, 129817 markings/sec, 150 secs
lola: 23516560 markings, 44150515 edges, 136635 markings/sec, 155 secs
lola: 24183953 markings, 45437279 edges, 133479 markings/sec, 160 secs
lola: 24854645 markings, 46710694 edges, 134138 markings/sec, 165 secs
lola: 25550847 markings, 47987208 edges, 139240 markings/sec, 170 secs
lola: 26196810 markings, 49258372 edges, 129193 markings/sec, 175 secs
lola: 26900829 markings, 50525316 edges, 140804 markings/sec, 180 secs
lola: 27545637 markings, 51804368 edges, 128962 markings/sec, 185 secs
lola: 28241985 markings, 53059439 edges, 139270 markings/sec, 190 secs
lola: 28895698 markings, 54331554 edges, 130743 markings/sec, 195 secs
lola: 29564306 markings, 55588362 edges, 133722 markings/sec, 200 secs
lola: 30244780 markings, 56854058 edges, 136095 markings/sec, 205 secs
lola: 30890388 markings, 58112807 edges, 129122 markings/sec, 210 secs
lola: 31583083 markings, 59364555 edges, 138539 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(p102)
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: 774060 markings, 1434597 edges, 154812 markings/sec, 0 secs
lola: 1488108 markings, 2907471 edges, 142810 markings/sec, 5 secs
lola: 2152255 markings, 4340170 edges, 132829 markings/sec, 10 secs
lola: 2827112 markings, 5746568 edges, 134971 markings/sec, 15 secs
lola: 3487767 markings, 7192338 edges, 132131 markings/sec, 20 secs
lola: 4167840 markings, 8608524 edges, 136015 markings/sec, 25 secs
lola: 4827171 markings, 10046831 edges, 131866 markings/sec, 30 secs
lola: 5499500 markings, 11456188 edges, 134466 markings/sec, 35 secs
lola: 6159041 markings, 12890185 edges, 131908 markings/sec, 40 secs
lola: 6821157 markings, 14277572 edges, 132423 markings/sec, 45 secs
lola: 7474529 markings, 15693125 edges, 130674 markings/sec, 50 secs
lola: 8128299 markings, 17094829 edges, 130754 markings/sec, 55 secs
lola: 8781172 markings, 18475861 edges, 130575 markings/sec, 60 secs
lola: 9425973 markings, 19887667 edges, 128960 markings/sec, 65 secs
lola: 10082401 markings, 21254056 edges, 131286 markings/sec, 70 secs
lola: 10704610 markings, 22634899 edges, 124442 markings/sec, 75 secs
lola: 11360333 markings, 23985340 edges, 131145 markings/sec, 80 secs
lola: 11986989 markings, 25373653 edges, 125331 markings/sec, 85 secs
lola: 12634039 markings, 26720689 edges, 129410 markings/sec, 90 secs
lola: 13268173 markings, 28103605 edges, 126827 markings/sec, 95 secs
lola: 13918635 markings, 29454041 edges, 130092 markings/sec, 100 secs
lola: 14551904 markings, 30842382 edges, 126654 markings/sec, 105 secs
lola: 15198070 markings, 32190339 edges, 129233 markings/sec, 110 secs
lola: 15832257 markings, 33567275 edges, 126837 markings/sec, 115 secs
lola: 16468637 markings, 34914736 edges, 127276 markings/sec, 120 secs
lola: 17102667 markings, 36268378 edges, 126806 markings/sec, 125 secs
lola: 17718757 markings, 37617457 edges, 123218 markings/sec, 130 secs
lola: 18367239 markings, 38955197 edges, 129696 markings/sec, 135 secs
lola: 19145636 markings, 40402384 edges, 155679 markings/sec, 140 secs
lola: 19834247 markings, 41861618 edges, 137722 markings/sec, 145 secs
lola: 20506067 markings, 43339678 edges, 134364 markings/sec, 150 secs
lola: 21198399 markings, 44770415 edges, 138466 markings/sec, 155 secs
lola: 21831563 markings, 46183275 edges, 126633 markings/sec, 160 secs
lola: 22506379 markings, 47628272 edges, 134963 markings/sec, 165 secs
lola: 23148781 markings, 49076665 edges, 128480 markings/sec, 170 secs
lola: 23816853 markings, 50441792 edges, 133614 markings/sec, 175 secs
lola: 24469375 markings, 51890986 edges, 130504 markings/sec, 180 secs
lola: 25127307 markings, 53319804 edges, 131586 markings/sec, 185 secs
lola: 25728253 markings, 54719345 edges, 120189 markings/sec, 190 secs
lola: 26404150 markings, 56119949 edges, 135179 markings/sec, 195 secs
lola: 27040932 markings, 57507555 edges, 127356 markings/sec, 200 secs
lola: 27692174 markings, 58939679 edges, 130248 markings/sec, 205 secs
lola: 28332363 markings, 60365474 edges, 128038 markings/sec, 210 secs
lola: 28956153 markings, 61781407 edges, 124758 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(p87)
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: 723423 markings, 1316834 edges, 144685 markings/sec, 0 secs
lola: 1357770 markings, 2655405 edges, 126869 markings/sec, 5 secs
lola: 1986504 markings, 3943190 edges, 125747 markings/sec, 10 secs
lola: 2591970 markings, 5256704 edges, 121093 markings/sec, 15 secs
lola: 3196484 markings, 6508071 edges, 120903 markings/sec, 20 secs
lola: 3777414 markings, 7799834 edges, 116186 markings/sec, 25 secs
lola: 4369363 markings, 9032837 edges, 118390 markings/sec, 30 secs
lola: 4958382 markings, 10311654 edges, 117804 markings/sec, 35 secs
lola: 5556364 markings, 11556320 edges, 119596 markings/sec, 40 secs
lola: 6145728 markings, 12830376 edges, 117873 markings/sec, 45 secs
lola: 6727672 markings, 14093189 edges, 116389 markings/sec, 50 secs
lola: 7320711 markings, 15327082 edges, 118608 markings/sec, 55 secs
lola: 7890042 markings, 16590136 edges, 113866 markings/sec, 60 secs
lola: 8483310 markings, 17822127 edges, 118654 markings/sec, 65 secs
lola: 9072924 markings, 19109387 edges, 117923 markings/sec, 70 secs
lola: 9674581 markings, 20354396 edges, 120331 markings/sec, 75 secs
lola: 10263197 markings, 21625254 edges, 117723 markings/sec, 80 secs
lola: 10840240 markings, 22892143 edges, 115409 markings/sec, 85 secs
lola: 11437859 markings, 24128482 edges, 119524 markings/sec, 90 secs
lola: 12005322 markings, 25390093 edges, 113493 markings/sec, 95 secs
lola: 12604389 markings, 26625208 edges, 119813 markings/sec, 100 secs
lola: 13193695 markings, 27909932 edges, 117861 markings/sec, 105 secs
lola: 13796471 markings, 29168324 edges, 120555 markings/sec, 110 secs
lola: 14386886 markings, 30440431 edges, 118083 markings/sec, 115 secs
lola: 14971891 markings, 31731527 edges, 117001 markings/sec, 120 secs
lola: 15590558 markings, 33005149 edges, 123733 markings/sec, 125 secs
lola: 16175125 markings, 34303400 edges, 116913 markings/sec, 130 secs
lola: 16793814 markings, 35587863 edges, 123738 markings/sec, 135 secs
lola: 17413182 markings, 36937204 edges, 123874 markings/sec, 140 secs
lola: 18057911 markings, 38281004 edges, 128946 markings/sec, 145 secs
lola: 18685760 markings, 39647408 edges, 125570 markings/sec, 150 secs
lola: 19340704 markings, 41018821 edges, 130989 markings/sec, 155 secs
lola: 19995314 markings, 42437583 edges, 130922 markings/sec, 160 secs
lola: 20665919 markings, 43867461 edges, 134121 markings/sec, 165 secs
lola: 21339012 markings, 45301480 edges, 134619 markings/sec, 170 secs
lola: 22007571 markings, 46753640 edges, 133712 markings/sec, 175 secs
lola: 22680867 markings, 48166372 edges, 134659 markings/sec, 180 secs
lola: 23346363 markings, 49620653 edges, 133099 markings/sec, 185 secs
lola: 24023813 markings, 51036167 edges, 135490 markings/sec, 190 secs
lola: 24682471 markings, 52485426 edges, 131732 markings/sec, 195 secs
lola: 25358313 markings, 53885601 edges, 135168 markings/sec, 200 secs
lola: 26006543 markings, 55325770 edges, 129646 markings/sec, 205 secs
lola: 26684230 markings, 56721740 edges, 135537 markings/sec, 210 secs
lola: 27333585 markings, 58156806 edges, 129871 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(p102)
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: 789612 markings, 1468267 edges, 157922 markings/sec, 0 secs
lola: 1509545 markings, 2952447 edges, 143987 markings/sec, 5 secs
lola: 2186466 markings, 4416297 edges, 135384 markings/sec, 10 secs
lola: 2872542 markings, 5846696 edges, 137215 markings/sec, 15 secs
lola: 3541064 markings, 7304069 edges, 133704 markings/sec, 20 secs
lola: 4224080 markings, 8730093 edges, 136603 markings/sec, 25 secs
lola: 4890758 markings, 10189843 edges, 133336 markings/sec, 30 secs
lola: 5571614 markings, 11610209 edges, 136171 markings/sec, 35 secs
lola: 6234583 markings, 13061567 edges, 132594 markings/sec, 40 secs
lola: 6913252 markings, 14482037 edges, 135734 markings/sec, 45 secs
lola: 7576069 markings, 15921708 edges, 132563 markings/sec, 50 secs
lola: 8251704 markings, 17336846 edges, 135127 markings/sec, 55 secs
lola: 8916847 markings, 18785270 edges, 133029 markings/sec, 60 secs
lola: 9583672 markings, 20185802 edges, 133365 markings/sec, 65 secs
lola: 10244691 markings, 21615017 edges, 132204 markings/sec, 70 secs
lola: 10904483 markings, 23028070 edges, 131958 markings/sec, 75 secs
lola: 11560893 markings, 24421329 edges, 131282 markings/sec, 80 secs
lola: 12212418 markings, 25841360 edges, 130305 markings/sec, 85 secs
lola: 12873017 markings, 27220286 edges, 132120 markings/sec, 90 secs
lola: 13512487 markings, 28639035 edges, 127894 markings/sec, 95 secs
lola: 14175521 markings, 30003571 edges, 132607 markings/sec, 100 secs
lola: 14810516 markings, 31409306 edges, 126999 markings/sec, 105 secs
lola: 15466147 markings, 32770109 edges, 131126 markings/sec, 110 secs
lola: 16094610 markings, 34152360 edges, 125693 markings/sec, 115 secs
lola: 16747326 markings, 35512861 edges, 130543 markings/sec, 120 secs
lola: 17388898 markings, 36907236 edges, 128314 markings/sec, 125 secs
lola: 18055802 markings, 38290854 edges, 133381 markings/sec, 130 secs
lola: 18798448 markings, 39714658 edges, 148529 markings/sec, 135 secs
lola: 19530916 markings, 41212321 edges, 146494 markings/sec, 140 secs
lola: 20233390 markings, 42699572 edges, 140495 markings/sec, 145 secs
lola: 20902011 markings, 44187196 edges, 133724 markings/sec, 150 secs
lola: 21577975 markings, 45612310 edges, 135193 markings/sec, 155 secs
lola: 22283115 markings, 47104968 edges, 141028 markings/sec, 160 secs
lola: 22912825 markings, 48566244 edges, 125942 markings/sec, 165 secs
lola: 23603668 markings, 49983919 edges, 138169 markings/sec, 170 secs
lola: 24260986 markings, 51425646 edges, 131464 markings/sec, 175 secs
lola: 24939756 markings, 52899501 edges, 135754 markings/sec, 180 secs
lola: 25572136 markings, 54342532 edges, 126476 markings/sec, 185 secs
lola: 26228840 markings, 55812336 edges, 131341 markings/sec, 190 secs
lola: 26890193 markings, 57180820 edges, 132271 markings/sec, 195 secs
lola: 27559196 markings, 58648164 edges, 133801 markings/sec, 200 secs
lola: 28225293 markings, 60119254 edges, 133219 markings/sec, 205 secs
lola: 28845384 markings, 61540061 edges, 124018 markings/sec, 210 secs
lola: 29523930 markings, 62936012 edges, 135709 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(p100)
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: 803389 markings, 1495194 edges, 160678 markings/sec, 0 secs
lola: 1526825 markings, 2984764 edges, 144687 markings/sec, 5 secs
lola: 2204041 markings, 4450752 edges, 135443 markings/sec, 10 secs
lola: 2892498 markings, 5886658 edges, 137691 markings/sec, 15 secs
lola: 3561878 markings, 7348299 edges, 133876 markings/sec, 20 secs
lola: 4245051 markings, 8774412 edges, 136635 markings/sec, 25 secs
lola: 4911725 markings, 10231419 edges, 133335 markings/sec, 30 secs
lola: 5592102 markings, 11650816 edges, 136075 markings/sec, 35 secs
lola: 6254507 markings, 13102756 edges, 132481 markings/sec, 40 secs
lola: 6934140 markings, 14519487 edges, 135927 markings/sec, 45 secs
lola: 7592048 markings, 15954234 edges, 131582 markings/sec, 50 secs
lola: 8264060 markings, 17361957 edges, 134402 markings/sec, 55 secs
lola: 8926099 markings, 18802089 edges, 132408 markings/sec, 60 secs
lola: 9590051 markings, 20196663 edges, 132790 markings/sec, 65 secs
lola: 10250284 markings, 21623525 edges, 132047 markings/sec, 70 secs
lola: 10911272 markings, 23039548 edges, 132198 markings/sec, 75 secs
lola: 11569435 markings, 24436734 edges, 131633 markings/sec, 80 secs
lola: 12221481 markings, 25857250 edges, 130409 markings/sec, 85 secs
lola: 12881858 markings, 27236561 edges, 132075 markings/sec, 90 secs
lola: 13523077 markings, 28658823 edges, 128244 markings/sec, 95 secs
lola: 14187697 markings, 30027664 edges, 132924 markings/sec, 100 secs
lola: 14825519 markings, 31437893 edges, 127564 markings/sec, 105 secs
lola: 15484638 markings, 32809658 edges, 131824 markings/sec, 110 secs
lola: 16124015 markings, 34213300 edges, 127875 markings/sec, 115 secs
lola: 16777616 markings, 35579514 edges, 130720 markings/sec, 120 secs
lola: 17421299 markings, 36976472 edges, 128737 markings/sec, 125 secs
lola: 18076958 markings, 38340257 edges, 131132 markings/sec, 130 secs
lola: 18714738 markings, 39738594 edges, 127556 markings/sec, 135 secs
lola: 19366597 markings, 41098309 edges, 130372 markings/sec, 140 secs
lola: 20007662 markings, 42491810 edges, 128213 markings/sec, 145 secs
lola: 20653634 markings, 43858697 edges, 129194 markings/sec, 150 secs
lola: 21335695 markings, 45230975 edges, 136412 markings/sec, 155 secs
lola: 22102016 markings, 46722993 edges, 153264 markings/sec, 160 secs
lola: 22803812 markings, 48205753 edges, 140359 markings/sec, 165 secs
lola: 23488877 markings, 49710071 edges, 137013 markings/sec, 170 secs
lola: 24175648 markings, 51135447 edges, 137354 markings/sec, 175 secs
lola: 24868179 markings, 52612380 edges, 138506 markings/sec, 180 secs
lola: 25512430 markings, 54078656 edges, 128850 markings/sec, 185 secs
lola: 26187542 markings, 55538092 edges, 135022 markings/sec, 190 secs
lola: 26842072 markings, 56936398 edges, 130906 markings/sec, 195 secs
lola: 27515909 markings, 58403872 edges, 134767 markings/sec, 200 secs
lola: 28169779 markings, 59863294 edges, 130774 markings/sec, 205 secs
lola: 28807922 markings, 61310465 edges, 127629 markings/sec, 210 secs
lola: 29485211 markings, 62696237 edges, 135458 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(p190)
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: 872133 markings, 1125241 edges, 174427 markings/sec, 0 secs
lola: 1722719 markings, 2249790 edges, 170117 markings/sec, 5 secs
lola: 2560183 markings, 3349641 edges, 167493 markings/sec, 10 secs
lola: 3363451 markings, 4447974 edges, 160654 markings/sec, 15 secs
lola: 4187991 markings, 5551070 edges, 164908 markings/sec, 20 secs
lola: 5055537 markings, 6717347 edges, 173509 markings/sec, 25 secs
lola: 5937105 markings, 7896229 edges, 176314 markings/sec, 30 secs
lola: 6801271 markings, 9048804 edges, 172833 markings/sec, 35 secs
lola: 7596485 markings, 10215827 edges, 159043 markings/sec, 40 secs
lola: 8376055 markings, 11394081 edges, 155914 markings/sec, 45 secs
lola: 9145574 markings, 12571333 edges, 153904 markings/sec, 50 secs
lola: 9972117 markings, 13703368 edges, 165309 markings/sec, 55 secs
lola: 10844479 markings, 14872058 edges, 174472 markings/sec, 60 secs
lola: 11716307 markings, 16026093 edges, 174366 markings/sec, 65 secs
lola: 12515843 markings, 17184917 edges, 159907 markings/sec, 70 secs
lola: 13341676 markings, 18330794 edges, 165167 markings/sec, 75 secs
lola: 14177919 markings, 19507535 edges, 167249 markings/sec, 80 secs
lola: 15086416 markings, 20743570 edges, 181699 markings/sec, 85 secs
lola: 15947207 markings, 21949548 edges, 172158 markings/sec, 90 secs
lola: 16731647 markings, 23189642 edges, 156888 markings/sec, 95 secs
lola: 17486982 markings, 24447957 edges, 151067 markings/sec, 100 secs
lola: 18237699 markings, 25685905 edges, 150143 markings/sec, 105 secs
lola: 19042721 markings, 26880454 edges, 161004 markings/sec, 110 secs
lola: 19789481 markings, 28166884 edges, 149352 markings/sec, 115 secs
lola: 20537899 markings, 29532757 edges, 149684 markings/sec, 120 secs
lola: 21211778 markings, 30876654 edges, 134776 markings/sec, 125 secs
lola: 21927895 markings, 32144552 edges, 143223 markings/sec, 130 secs
lola: 22724685 markings, 33279672 edges, 159358 markings/sec, 135 secs
lola: 23508947 markings, 34480342 edges, 156852 markings/sec, 140 secs
lola: 24240468 markings, 35760090 edges, 146304 markings/sec, 145 secs
lola: 25026560 markings, 37083163 edges, 157218 markings/sec, 150 secs
lola: 25854150 markings, 38472259 edges, 165518 markings/sec, 155 secs
lola: 26632218 markings, 39833098 edges, 155614 markings/sec, 160 secs
lola: 27396795 markings, 41167947 edges, 152915 markings/sec, 165 secs
lola: 28080542 markings, 42503918 edges, 136749 markings/sec, 170 secs
lola: 28804721 markings, 43820793 edges, 144836 markings/sec, 175 secs
lola: 29504963 markings, 45231427 edges, 140048 markings/sec, 180 secs
lola: 30149818 markings, 46589497 edges, 128971 markings/sec, 185 secs
lola: 30753916 markings, 47943739 edges, 120820 markings/sec, 190 secs
lola: 31351959 markings, 49303620 edges, 119609 markings/sec, 195 secs
lola: 32048822 markings, 50603860 edges, 139373 markings/sec, 200 secs
lola: 32661481 markings, 51959764 edges, 122532 markings/sec, 205 secs
lola: 33257036 markings, 53361623 edges, 119111 markings/sec, 210 secs
lola: 33836405 markings, 54717415 edges, 115874 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(p35)
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: 864915 markings, 1248592 edges, 172983 markings/sec, 0 secs
lola: 1552805 markings, 2498678 edges, 137578 markings/sec, 5 secs
lola: 2245913 markings, 3814361 edges, 138622 markings/sec, 10 secs
lola: 3148364 markings, 5113245 edges, 180490 markings/sec, 15 secs
lola: 4077845 markings, 6446878 edges, 185896 markings/sec, 20 secs
lola: 4993372 markings, 7763040 edges, 183105 markings/sec, 25 secs
lola: 5888902 markings, 9057579 edges, 179106 markings/sec, 30 secs
lola: 6789792 markings, 10344408 edges, 180178 markings/sec, 35 secs
lola: 7668863 markings, 11619242 edges, 175814 markings/sec, 40 secs
lola: 8549801 markings, 12878654 edges, 176188 markings/sec, 45 secs
lola: 9406990 markings, 14121909 edges, 171438 markings/sec, 50 secs
lola: 10261519 markings, 15344242 edges, 170906 markings/sec, 55 secs
lola: 11162996 markings, 16603684 edges, 180295 markings/sec, 60 secs
lola: 12087935 markings, 17852630 edges, 184988 markings/sec, 65 secs
lola: 12985616 markings, 19063364 edges, 179536 markings/sec, 70 secs
lola: 13850048 markings, 20248479 edges, 172886 markings/sec, 75 secs
lola: 14655009 markings, 21414189 edges, 160992 markings/sec, 80 secs
lola: 15375628 markings, 22641341 edges, 144124 markings/sec, 85 secs
lola: 15992199 markings, 23935735 edges, 123314 markings/sec, 90 secs
lola: 16851961 markings, 25250365 edges, 171952 markings/sec, 95 secs
lola: 17760902 markings, 26568831 edges, 181788 markings/sec, 100 secs
lola: 18651561 markings, 27863416 edges, 178132 markings/sec, 105 secs
lola: 19526848 markings, 29137711 edges, 175057 markings/sec, 110 secs
lola: 20393368 markings, 30388722 edges, 173304 markings/sec, 115 secs
lola: 21239280 markings, 31616255 edges, 169182 markings/sec, 120 secs
lola: 22168823 markings, 32878765 edges, 185909 markings/sec, 125 secs
lola: 23057659 markings, 34079955 edges, 177767 markings/sec, 130 secs
lola: 23869103 markings, 35267496 edges, 162289 markings/sec, 135 secs
lola: 24672991 markings, 36495214 edges, 160778 markings/sec, 140 secs
lola: 25470673 markings, 37781974 edges, 159536 markings/sec, 145 secs
lola: 26393111 markings, 39053964 edges, 184488 markings/sec, 150 secs
lola: 27158272 markings, 40243019 edges, 153032 markings/sec, 155 secs
lola: 28005269 markings, 41508059 edges, 169399 markings/sec, 160 secs
lola: 28873972 markings, 42732501 edges, 173741 markings/sec, 165 secs
lola: 29517043 markings, 43927208 edges, 128614 markings/sec, 170 secs
lola: 30395599 markings, 45205414 edges, 175711 markings/sec, 175 secs
lola: 31179301 markings, 46417548 edges, 156740 markings/sec, 180 secs
lola: 31793511 markings, 47601269 edges, 122842 markings/sec, 185 secs
lola: 32438902 markings, 48846636 edges, 129078 markings/sec, 190 secs
lola: 33206901 markings, 50027720 edges, 153600 markings/sec, 195 secs
lola: 34053825 markings, 51318875 edges, 169385 markings/sec, 200 secs
lola: 34904841 markings, 52593864 edges, 170203 markings/sec, 205 secs
lola: 35744113 markings, 53855710 edges, 167854 markings/sec, 210 secs
lola: 36565306 markings, 55111146 edges, 164239 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(p46)
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: 944040 markings, 1336834 edges, 188808 markings/sec, 0 secs
lola: 1711723 markings, 2655515 edges, 153537 markings/sec, 5 secs
lola: 2439241 markings, 4035319 edges, 145504 markings/sec, 10 secs
lola: 3256654 markings, 5449816 edges, 163483 markings/sec, 15 secs
lola: 4286905 markings, 6932894 edges, 206050 markings/sec, 20 secs
lola: 5302574 markings, 8395030 edges, 203134 markings/sec, 25 secs
lola: 6302395 markings, 9832143 edges, 199964 markings/sec, 30 secs
lola: 7282394 markings, 11243919 edges, 196000 markings/sec, 35 secs
lola: 8243553 markings, 12631225 edges, 192232 markings/sec, 40 secs
lola: 9195033 markings, 14003774 edges, 190296 markings/sec, 45 secs
lola: 10133460 markings, 15357141 edges, 187685 markings/sec, 50 secs
lola: 11063679 markings, 16684892 edges, 186044 markings/sec, 55 secs
lola: 11971862 markings, 17999293 edges, 181637 markings/sec, 60 secs
lola: 12878824 markings, 19293756 edges, 181392 markings/sec, 65 secs
lola: 13762399 markings, 20572694 edges, 176715 markings/sec, 70 secs
lola: 14745306 markings, 21950575 edges, 196581 markings/sec, 75 secs
lola: 15760496 markings, 23323412 edges, 203038 markings/sec, 80 secs
lola: 16739761 markings, 24642199 edges, 195853 markings/sec, 85 secs
lola: 17676194 markings, 25907955 edges, 187287 markings/sec, 90 secs
lola: 18557901 markings, 27156504 edges, 176341 markings/sec, 95 secs
lola: 19424580 markings, 28391047 edges, 173336 markings/sec, 100 secs
lola: 20208133 markings, 29695827 edges, 156711 markings/sec, 105 secs
lola: 20848447 markings, 31036151 edges, 128063 markings/sec, 110 secs
lola: 21631712 markings, 32456600 edges, 156653 markings/sec, 115 secs
lola: 22654640 markings, 33935693 edges, 204586 markings/sec, 120 secs
lola: 23642504 markings, 35373612 edges, 197573 markings/sec, 125 secs
lola: 24609074 markings, 36773085 edges, 193314 markings/sec, 130 secs
lola: 25551366 markings, 38139101 edges, 188458 markings/sec, 135 secs
lola: 26466206 markings, 39467334 edges, 182968 markings/sec, 140 secs
lola: 27363056 markings, 40770568 edges, 179370 markings/sec, 145 secs
lola: 28280620 markings, 42094108 edges, 183513 markings/sec, 150 secs
lola: 29301740 markings, 43474797 edges, 204224 markings/sec, 155 secs
lola: 30260417 markings, 44774176 edges, 191735 markings/sec, 160 secs
lola: 31145765 markings, 46026622 edges, 177070 markings/sec, 165 secs
lola: 31969140 markings, 47282726 edges, 164675 markings/sec, 170 secs
lola: 32864050 markings, 48611942 edges, 178982 markings/sec, 175 secs
lola: 33729973 markings, 50030790 edges, 173185 markings/sec, 180 secs
lola: 34696756 markings, 51367403 edges, 193357 markings/sec, 185 secs
lola: 35643465 markings, 52667278 edges, 189342 markings/sec, 190 secs
lola: 36360972 markings, 53955063 edges, 143501 markings/sec, 195 secs
lola: 37318036 markings, 55288722 edges, 191413 markings/sec, 200 secs
lola: 38220593 markings, 56564326 edges, 180511 markings/sec, 205 secs
lola: 38898647 markings, 57793151 edges, 135611 markings/sec, 210 secs
lola: 39772209 markings, 59169944 edges, 174712 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(p260)
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: 616965 markings, 1308852 edges, 123393 markings/sec, 0 secs
lola: 1234922 markings, 2727845 edges, 123591 markings/sec, 5 secs
lola: 1886967 markings, 4140932 edges, 130409 markings/sec, 10 secs
lola: 2501196 markings, 5565439 edges, 122846 markings/sec, 15 secs
lola: 3139679 markings, 7004503 edges, 127697 markings/sec, 20 secs
lola: 3817115 markings, 8562691 edges, 135487 markings/sec, 25 secs
lola: 4434180 markings, 10044348 edges, 123413 markings/sec, 30 secs
lola: 5049227 markings, 11454712 edges, 123009 markings/sec, 35 secs
lola: 5689900 markings, 12969870 edges, 128135 markings/sec, 40 secs
lola: 6397015 markings, 14478674 edges, 141423 markings/sec, 45 secs
lola: 7083604 markings, 16009432 edges, 137318 markings/sec, 50 secs
lola: 7721081 markings, 17488912 edges, 127495 markings/sec, 55 secs
lola: 8363860 markings, 18969908 edges, 128556 markings/sec, 60 secs
lola: 9023920 markings, 20431576 edges, 132012 markings/sec, 65 secs
lola: 9707901 markings, 21872055 edges, 136796 markings/sec, 70 secs
lola: 10449560 markings, 23372880 edges, 148332 markings/sec, 75 secs
lola: 11071300 markings, 24791164 edges, 124348 markings/sec, 80 secs
lola: 11692652 markings, 26247204 edges, 124270 markings/sec, 85 secs
lola: 12367667 markings, 27736435 edges, 135003 markings/sec, 90 secs
lola: 13005652 markings, 29259067 edges, 127597 markings/sec, 95 secs
lola: 13705351 markings, 30786183 edges, 139940 markings/sec, 100 secs
lola: 14345542 markings, 32274012 edges, 128038 markings/sec, 105 secs
lola: 15029257 markings, 33759618 edges, 136743 markings/sec, 110 secs
lola: 15701321 markings, 35316871 edges, 134413 markings/sec, 115 secs
lola: 16359976 markings, 36859541 edges, 131731 markings/sec, 120 secs
lola: 16973969 markings, 38326515 edges, 122799 markings/sec, 125 secs
lola: 17595253 markings, 39796231 edges, 124257 markings/sec, 130 secs
lola: 18244077 markings, 41285244 edges, 129765 markings/sec, 135 secs
lola: 18942388 markings, 42766295 edges, 139662 markings/sec, 140 secs
lola: 19623556 markings, 44288966 edges, 136234 markings/sec, 145 secs
lola: 20288579 markings, 45789239 edges, 133005 markings/sec, 150 secs
lola: 20910504 markings, 47296122 edges, 124385 markings/sec, 155 secs
lola: 21622847 markings, 48772937 edges, 142469 markings/sec, 160 secs
lola: 22327609 markings, 50269196 edges, 140952 markings/sec, 165 secs
lola: 23002740 markings, 51780762 edges, 135026 markings/sec, 170 secs
lola: 23658888 markings, 53262084 edges, 131230 markings/sec, 175 secs
lola: 24285514 markings, 54726487 edges, 125325 markings/sec, 180 secs
lola: 24935363 markings, 56194362 edges, 129970 markings/sec, 185 secs
lola: 25569766 markings, 57663863 edges, 126881 markings/sec, 190 secs
lola: 26220905 markings, 59060122 edges, 130228 markings/sec, 195 secs
lola: 26893807 markings, 60467688 edges, 134580 markings/sec, 200 secs
lola: 27614026 markings, 61924228 edges, 144044 markings/sec, 205 secs
lola: 28393308 markings, 63446501 edges, 155856 markings/sec, 210 secs
lola: 29025034 markings, 64845659 edges, 126345 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(p180)
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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 14 will run for 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p165)
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: 732047 markings, 1492684 edges, 146409 markings/sec, 0 secs
lola: 1461888 markings, 2977206 edges, 145968 markings/sec, 5 secs
lola: 2191318 markings, 4453449 edges, 145886 markings/sec, 10 secs
lola: 2897661 markings, 5887415 edges, 141269 markings/sec, 15 secs
lola: 3557991 markings, 7232059 edges, 132066 markings/sec, 20 secs
lola: 4210795 markings, 8553005 edges, 130561 markings/sec, 25 secs
lola: 4863029 markings, 9870734 edges, 130447 markings/sec, 30 secs
lola: 5517226 markings, 11211484 edges, 130839 markings/sec, 35 secs
lola: 6179808 markings, 12555894 edges, 132516 markings/sec, 40 secs
lola: 6840392 markings, 13892849 edges, 132117 markings/sec, 45 secs
lola: 7502386 markings, 15231441 edges, 132399 markings/sec, 50 secs
lola: 8167874 markings, 16593052 edges, 133098 markings/sec, 55 secs
lola: 8889794 markings, 18054739 edges, 144384 markings/sec, 60 secs
lola: 9615743 markings, 19525661 edges, 145190 markings/sec, 65 secs
lola: 10231573 markings, 20836004 edges, 123166 markings/sec, 70 secs
lola: 10907468 markings, 22259212 edges, 135179 markings/sec, 75 secs
lola: 11598586 markings, 23692451 edges, 138224 markings/sec, 80 secs
lola: 12319067 markings, 25150279 edges, 144096 markings/sec, 85 secs
lola: 13048957 markings, 26674129 edges, 145978 markings/sec, 90 secs
lola: 13720315 markings, 28149807 edges, 134272 markings/sec, 95 secs
lola: 14470126 markings, 29654298 edges, 149962 markings/sec, 100 secs
lola: 15184357 markings, 31157698 edges, 142846 markings/sec, 105 secs
lola: 15874930 markings, 32614639 edges, 138115 markings/sec, 110 secs
lola: 16589412 markings, 34050066 edges, 142896 markings/sec, 115 secs
lola: 17303282 markings, 35484445 edges, 142774 markings/sec, 120 secs
lola: 18017425 markings, 36996548 edges, 142829 markings/sec, 125 secs
lola: 18723563 markings, 38460625 edges, 141228 markings/sec, 130 secs
lola: 19419904 markings, 39912896 edges, 139268 markings/sec, 135 secs
lola: 20144478 markings, 41407787 edges, 144915 markings/sec, 140 secs
lola: 20835769 markings, 42886806 edges, 138258 markings/sec, 145 secs
lola: 21515892 markings, 44317281 edges, 136025 markings/sec, 150 secs
lola: 22232597 markings, 45723222 edges, 143341 markings/sec, 155 secs
lola: 22929227 markings, 47125920 edges, 139326 markings/sec, 160 secs
lola: 23645072 markings, 48638125 edges, 143169 markings/sec, 165 secs
lola: 24325890 markings, 50076905 edges, 136164 markings/sec, 170 secs
lola: 25037606 markings, 51525980 edges, 142343 markings/sec, 175 secs
lola: 25749114 markings, 53007143 edges, 142302 markings/sec, 180 secs
lola: 26428621 markings, 54464469 edges, 135901 markings/sec, 185 secs
lola: 27110966 markings, 55889963 edges, 136469 markings/sec, 190 secs
lola: 27829317 markings, 57287335 edges, 143670 markings/sec, 195 secs
lola: 28513066 markings, 58685859 edges, 136750 markings/sec, 200 secs
lola: 29221446 markings, 60179735 edges, 141676 markings/sec, 205 secs
lola: 29889029 markings, 61604878 edges, 133517 markings/sec, 210 secs
lola: 30610782 markings, 63052003 edges, 144351 markings/sec, 215 secs
lola: 31305522 markings, 64511488 edges, 138948 markings/sec, 220 secs
lola: 31973720 markings, 65952043 edges, 133640 markings/sec, 225 secs
lola: 32655831 markings, 67361824 edges, 136422 markings/sec, 230 secs
lola: 33366374 markings, 68748034 edges, 142109 markings/sec, 235 secs
lola: 34043974 markings, 70139152 edges, 135520 markings/sec, 240 secs
lola: 34745911 markings, 71617624 edges, 140387 markings/sec, 245 secs
lola: 35408035 markings, 73029986 edges, 132425 markings/sec, 250 secs
lola: 36122986 markings, 74460241 edges, 142990 markings/sec, 255 secs
lola: 36803764 markings, 75890541 edges, 136156 markings/sec, 260 secs
lola: 37447308 markings, 77274706 edges, 128709 markings/sec, 265 secs
lola: 38116682 markings, 78668938 edges, 133875 markings/sec, 270 secs
lola: 38816505 markings, 80028656 edges, 139965 markings/sec, 275 secs
lola: 39478532 markings, 81380576 edges, 132405 markings/sec, 280 secs
lola: 40170825 markings, 82836022 edges, 138459 markings/sec, 285 secs
lola: 40818057 markings, 84210360 edges, 129446 markings/sec, 290 secs
lola: 41498772 markings, 85599851 edges, 136143 markings/sec, 295 secs
lola: 42193061 markings, 87034024 edges, 138858 markings/sec, 300 secs
lola: 42842624 markings, 88432869 edges, 129913 markings/sec, 305 secs
lola: 43491194 markings, 89803159 edges, 129714 markings/sec, 310 secs
lola: 44190266 markings, 91172810 edges, 139814 markings/sec, 315 secs
lola: 44871795 markings, 92538649 edges, 136306 markings/sec, 320 secs
lola: 45567353 markings, 94020334 edges, 139112 markings/sec, 325 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 332 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: 747614 markings, 1522317 edges, 149523 markings/sec, 0 secs
lola: 1489864 markings, 3027118 edges, 148450 markings/sec, 5 secs
lola: 2233489 markings, 4530191 edges, 148725 markings/sec, 10 secs
lola: 2940123 markings, 5965992 edges, 141327 markings/sec, 15 secs
lola: 3599030 markings, 7311153 edges, 131781 markings/sec, 20 secs
lola: 4252949 markings, 8642260 edges, 130784 markings/sec, 25 secs
lola: 4907563 markings, 9965576 edges, 130923 markings/sec, 30 secs
lola: 5569668 markings, 11304474 edges, 132421 markings/sec, 35 secs
lola: 6228992 markings, 12653977 edges, 131865 markings/sec, 40 secs
lola: 6889687 markings, 13997506 edges, 132139 markings/sec, 45 secs
lola: 7550379 markings, 15333537 edges, 132138 markings/sec, 50 secs
lola: 8221536 markings, 16693290 edges, 134231 markings/sec, 55 secs
lola: 8943794 markings, 18163007 edges, 144452 markings/sec, 60 secs
lola: 9656777 markings, 19607790 edges, 142597 markings/sec, 65 secs
lola: 10262350 markings, 20897118 edges, 121115 markings/sec, 70 secs
lola: 10917982 markings, 22281015 edges, 131126 markings/sec, 75 secs
lola: 11591521 markings, 23678577 edges, 134708 markings/sec, 80 secs
lola: 12290775 markings, 25087223 edges, 139851 markings/sec, 85 secs
lola: 12999095 markings, 26573160 edges, 141664 markings/sec, 90 secs
lola: 13659101 markings, 28010382 edges, 132001 markings/sec, 95 secs
lola: 14384819 markings, 29473190 edges, 145144 markings/sec, 100 secs
lola: 15077943 markings, 30925053 edges, 138625 markings/sec, 105 secs
lola: 15749300 markings, 32358036 edges, 134271 markings/sec, 110 secs
lola: 16437252 markings, 33758828 edges, 137590 markings/sec, 115 secs
lola: 17118064 markings, 35153012 edges, 136162 markings/sec, 120 secs
lola: 17821764 markings, 36581984 edges, 140740 markings/sec, 125 secs
lola: 18512720 markings, 38011887 edges, 138191 markings/sec, 130 secs
lola: 19151404 markings, 39419504 edges, 127737 markings/sec, 135 secs
lola: 19886571 markings, 40867495 edges, 147033 markings/sec, 140 secs
lola: 20574109 markings, 42302418 edges, 137508 markings/sec, 145 secs
lola: 21232918 markings, 43710732 edges, 131762 markings/sec, 150 secs
lola: 21912585 markings, 45092988 edges, 135933 markings/sec, 155 secs
lola: 22587668 markings, 46471630 edges, 135017 markings/sec, 160 secs
lola: 23282647 markings, 47882416 edges, 138996 markings/sec, 165 secs
lola: 23970196 markings, 49305096 edges, 137510 markings/sec, 170 secs
lola: 24606554 markings, 50711272 edges, 127272 markings/sec, 175 secs
lola: 25336975 markings, 52146399 edges, 146084 markings/sec, 180 secs
lola: 26020067 markings, 53576559 edges, 136618 markings/sec, 185 secs
lola: 26677799 markings, 54990415 edges, 131546 markings/sec, 190 secs
lola: 27356103 markings, 56371571 edges, 135661 markings/sec, 195 secs
lola: 28027139 markings, 57721871 edges, 134207 markings/sec, 200 secs
lola: 28707137 markings, 59100783 edges, 136000 markings/sec, 205 secs
lola: 29383841 markings, 60511221 edges, 135341 markings/sec, 210 secs
lola: 30017146 markings, 61885182 edges, 126661 markings/sec, 215 secs
lola: 30723871 markings, 63287200 edges, 141345 markings/sec, 220 secs
lola: 31390868 markings, 64691157 edges, 133399 markings/sec, 225 secs
lola: 32045799 markings, 66092844 edges, 130986 markings/sec, 230 secs
lola: 32711008 markings, 67464505 edges, 133042 markings/sec, 235 secs
lola: 33397390 markings, 68807573 edges, 137276 markings/sec, 240 secs
lola: 34057098 markings, 70164758 edges, 131942 markings/sec, 245 secs
lola: 34739628 markings, 71600885 edges, 136506 markings/sec, 250 secs
lola: 35383550 markings, 72974767 edges, 128784 markings/sec, 255 secs
lola: 36078261 markings, 74374169 edges, 138942 markings/sec, 260 secs
lola: 36754560 markings, 75785077 edges, 135260 markings/sec, 265 secs
lola: 37406692 markings, 77177991 edges, 130426 markings/sec, 270 secs
lola: 38057910 markings, 78547232 edges, 130244 markings/sec, 275 secs
lola: 38734444 markings, 79875241 edges, 135307 markings/sec, 280 secs
lola: 39387635 markings, 81183736 edges, 130638 markings/sec, 285 secs
lola: 40063933 markings, 82628324 edges, 135260 markings/sec, 290 secs
lola: 40718359 markings, 83982527 edges, 130885 markings/sec, 295 secs
lola: 41363067 markings, 85335628 edges, 128942 markings/sec, 300 secs
lola: 42054863 markings, 86760276 edges, 138359 markings/sec, 305 secs
lola: 42723360 markings, 88163680 edges, 133699 markings/sec, 310 secs
lola: 43363864 markings, 89510654 edges, 128101 markings/sec, 315 secs
lola: 44037954 markings, 90867831 edges, 134818 markings/sec, 320 secs
lola: 44698595 markings, 92208240 edges, 132128 markings/sec, 325 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DES-PT-60a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494636647274

--------------------
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-60a"
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-60a.tgz
mv DES-PT-60a 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-60a, 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-149436309200335"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;