Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_Angiogenesis-PT-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074000128
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496333053695


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_Angiogenesis-PT-20: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_Angiogenesis-PT-20: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Angiogenesis-PT-20 @ 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: 103/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 39 places, 64 transitions, 31 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 54 transition conflict sets
lola: TASK
lola: reading formula from Angiogenesis-PT-20-UpperBounds.task
lola: MAX(Pg) : MAX(PtP3P2) : MAX(GStarP3kP3) : MAX(KdStarPgStarP2) : MAX(Enz) : MAX(KdStarPgStarP2) : MAX(KdStarGStarP3kStarP2) : MAX(KdStarGStarPgStarP2) : MAX(KdStarGStarP3kP3) : MAX(Pip3) : MAX(PtP2) : MAX(Akt) : MAX(AktStar) : MAX(KdStarGStarP3k) : MAX(KdStarGP3) : MAX(GStarP3kP3)
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(Pg)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 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: 1247249 markings, 3078445 edges, 249450 markings/sec, 0 secs
lola: 2298246 markings, 5857614 edges, 210199 markings/sec, 5 secs
lola: 3316671 markings, 8600199 edges, 203685 markings/sec, 10 secs
lola: 4264598 markings, 11177488 edges, 189585 markings/sec, 15 secs
lola: 5196045 markings, 13721838 edges, 186289 markings/sec, 20 secs
lola: 6084834 markings, 16154029 edges, 177758 markings/sec, 25 secs
lola: 6933513 markings, 18513130 edges, 169736 markings/sec, 30 secs
lola: 7773370 markings, 20857496 edges, 167971 markings/sec, 35 secs
lola: 8598519 markings, 23155940 edges, 165030 markings/sec, 40 secs
lola: 9441072 markings, 25505888 edges, 168511 markings/sec, 45 secs
lola: 10296311 markings, 27884647 edges, 171048 markings/sec, 50 secs
lola: 11123224 markings, 30209279 edges, 165383 markings/sec, 55 secs
lola: 11921804 markings, 32462273 edges, 159716 markings/sec, 60 secs
lola: 12725126 markings, 34712978 edges, 160664 markings/sec, 65 secs
lola: 13511834 markings, 36932466 edges, 157342 markings/sec, 70 secs
lola: 14309189 markings, 39189527 edges, 159471 markings/sec, 75 secs
lola: 15115834 markings, 41488593 edges, 161329 markings/sec, 80 secs
lola: 15897153 markings, 43717893 edges, 156264 markings/sec, 85 secs
lola: 16680098 markings, 45950837 edges, 156589 markings/sec, 90 secs
lola: 17464995 markings, 48185766 edges, 156979 markings/sec, 95 secs
lola: 18240467 markings, 50388244 edges, 155094 markings/sec, 100 secs
lola: 18987165 markings, 52527058 edges, 149340 markings/sec, 105 secs
lola: 19732833 markings, 54654074 edges, 149134 markings/sec, 110 secs
lola: 20466332 markings, 56762569 edges, 146700 markings/sec, 115 secs
lola: 21200398 markings, 58870914 edges, 146813 markings/sec, 120 secs
lola: 21930568 markings, 60963580 edges, 146034 markings/sec, 125 secs
lola: 22676275 markings, 63087109 edges, 149141 markings/sec, 130 secs
lola: 23407448 markings, 65186563 edges, 146235 markings/sec, 135 secs
lola: 24132530 markings, 67281018 edges, 145016 markings/sec, 140 secs
lola: 24851493 markings, 69364134 edges, 143793 markings/sec, 145 secs
lola: 25589866 markings, 71487901 edges, 147675 markings/sec, 150 secs
lola: 26324560 markings, 73617191 edges, 146939 markings/sec, 155 secs
lola: 27059050 markings, 75735606 edges, 146898 markings/sec, 160 secs
lola: 27797005 markings, 77856020 edges, 147591 markings/sec, 165 secs
lola: 28525479 markings, 79952499 edges, 145695 markings/sec, 170 secs
lola: 29250890 markings, 82047431 edges, 145082 markings/sec, 175 secs
lola: 29978184 markings, 84152061 edges, 145459 markings/sec, 180 secs
lola: 30700604 markings, 86242644 edges, 144484 markings/sec, 185 secs
lola: 31427998 markings, 88337657 edges, 145479 markings/sec, 190 secs
lola: 32145766 markings, 90423003 edges, 143554 markings/sec, 195 secs
lola: 32842290 markings, 92464661 edges, 139305 markings/sec, 200 secs
lola: 33533298 markings, 94494335 edges, 138202 markings/sec, 205 secs
lola: 34263945 markings, 96596666 edges, 146129 markings/sec, 210 secs
lola: 34961292 markings, 98616668 edges, 139469 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(PtP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 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: 1693560 markings, 3338297 edges, 338712 markings/sec, 0 secs
lola: 3178375 markings, 6341933 edges, 296963 markings/sec, 5 secs
lola: 4610880 markings, 9260135 edges, 286501 markings/sec, 10 secs
lola: 6045677 markings, 12189682 edges, 286959 markings/sec, 15 secs
lola: 7400856 markings, 14976487 edges, 271036 markings/sec, 20 secs
lola: 8751383 markings, 17747482 edges, 270105 markings/sec, 25 secs
lola: 10086088 markings, 20484720 edges, 266941 markings/sec, 30 secs
lola: 11402494 markings, 23187283 edges, 263281 markings/sec, 35 secs
lola: 12699485 markings, 25852224 edges, 259398 markings/sec, 40 secs
lola: 13980860 markings, 28501178 edges, 256275 markings/sec, 45 secs
lola: 15224364 markings, 31100065 edges, 248701 markings/sec, 50 secs
lola: 16519194 markings, 33789294 edges, 258966 markings/sec, 55 secs
lola: 17772496 markings, 36391533 edges, 250660 markings/sec, 60 secs
lola: 19064145 markings, 39038637 edges, 258330 markings/sec, 65 secs
lola: 20303080 markings, 41620099 edges, 247787 markings/sec, 70 secs
lola: 21532143 markings, 44175493 edges, 245813 markings/sec, 75 secs
lola: 22753900 markings, 46730417 edges, 244351 markings/sec, 80 secs
lola: 23987474 markings, 49295036 edges, 246715 markings/sec, 85 secs
lola: 25185129 markings, 51812454 edges, 239531 markings/sec, 90 secs
lola: 26405803 markings, 54357483 edges, 244135 markings/sec, 95 secs
lola: 27623167 markings, 56894413 edges, 243473 markings/sec, 100 secs
lola: 28833701 markings, 59415886 edges, 242107 markings/sec, 105 secs
lola: 30094457 markings, 62030334 edges, 252151 markings/sec, 110 secs
lola: 31325088 markings, 64607937 edges, 246126 markings/sec, 115 secs
lola: 32567955 markings, 67205441 edges, 248573 markings/sec, 120 secs
lola: 33820514 markings, 69826389 edges, 250512 markings/sec, 125 secs
lola: 35064089 markings, 72434299 edges, 248715 markings/sec, 130 secs
lola: 36270069 markings, 74976120 edges, 241196 markings/sec, 135 secs
lola: 37510766 markings, 77563934 edges, 248139 markings/sec, 140 secs
lola: 38731580 markings, 80109583 edges, 244163 markings/sec, 145 secs
lola: 39937083 markings, 82638143 edges, 241101 markings/sec, 150 secs
lola: 41169823 markings, 85206546 edges, 246548 markings/sec, 155 secs
lola: 42401655 markings, 87773224 edges, 246366 markings/sec, 160 secs
lola: 43582535 markings, 90256242 edges, 236176 markings/sec, 165 secs
lola: 44778350 markings, 92755189 edges, 239163 markings/sec, 170 secs
lola: 46050712 markings, 95380870 edges, 254472 markings/sec, 175 secs
lola: 47217204 markings, 97856693 edges, 233298 markings/sec, 180 secs
lola: 48402576 markings, 100354984 edges, 237074 markings/sec, 185 secs
lola: 49607873 markings, 102883956 edges, 241059 markings/sec, 190 secs
lola: 50816193 markings, 105395724 edges, 241664 markings/sec, 195 secs
lola: 52023173 markings, 107884070 edges, 241396 markings/sec, 200 secs
lola: 53212029 markings, 110378962 edges, 237771 markings/sec, 205 secs
lola: 54427641 markings, 112915847 edges, 243122 markings/sec, 210 secs
lola: 55569966 markings, 115314279 edges, 228465 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(GStarP3kP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 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: 2068427 markings, 3749627 edges, 413685 markings/sec, 0 secs
lola: 4012163 markings, 7354439 edges, 388747 markings/sec, 5 secs
lola: 6137340 markings, 11305230 edges, 425035 markings/sec, 10 secs
lola: 8233957 markings, 15328677 edges, 419323 markings/sec, 15 secs
lola: 10274375 markings, 19254245 edges, 408084 markings/sec, 20 secs
lola: 12311557 markings, 23232733 edges, 407436 markings/sec, 25 secs
lola: 14308377 markings, 27183821 edges, 399364 markings/sec, 30 secs
lola: 16312329 markings, 31124548 edges, 400790 markings/sec, 35 secs
lola: 18315906 markings, 35153256 edges, 400715 markings/sec, 40 secs
lola: 20292540 markings, 39089239 edges, 395327 markings/sec, 45 secs
lola: 22162791 markings, 42863179 edges, 374050 markings/sec, 50 secs
lola: 24044848 markings, 46683100 edges, 376411 markings/sec, 55 secs
lola: 25965835 markings, 50520132 edges, 384197 markings/sec, 60 secs
lola: 27735571 markings, 54138061 edges, 353947 markings/sec, 65 secs
lola: 29545150 markings, 57853021 edges, 361916 markings/sec, 70 secs
lola: 31186952 markings, 61246235 edges, 328360 markings/sec, 75 secs
lola: 32843708 markings, 64712877 edges, 331351 markings/sec, 80 secs
lola: 34520658 markings, 68142628 edges, 335390 markings/sec, 85 secs
lola: 36341562 markings, 71928392 edges, 364181 markings/sec, 90 secs
lola: 38000572 markings, 75326158 edges, 331802 markings/sec, 95 secs
lola: 39654001 markings, 78709313 edges, 330686 markings/sec, 100 secs
lola: 41311152 markings, 82088890 edges, 331430 markings/sec, 105 secs
lola: 42954917 markings, 85470279 edges, 328753 markings/sec, 110 secs
lola: 44576361 markings, 88827428 edges, 324289 markings/sec, 115 secs
lola: 46223072 markings, 92218331 edges, 329342 markings/sec, 120 secs
lola: 47844802 markings, 95562674 edges, 324346 markings/sec, 125 secs
lola: 49514438 markings, 98977854 edges, 333927 markings/sec, 130 secs
lola: 51255667 markings, 102563021 edges, 348246 markings/sec, 135 secs
lola: 52942540 markings, 106115427 edges, 337375 markings/sec, 140 secs
lola: 54663046 markings, 109633474 edges, 344101 markings/sec, 145 secs
lola: 56339378 markings, 113187645 edges, 335266 markings/sec, 150 secs
lola: 58066060 markings, 116735884 edges, 345336 markings/sec, 155 secs
lola: 59763526 markings, 120222076 edges, 339493 markings/sec, 160 secs
lola: 61494010 markings, 123759487 edges, 346097 markings/sec, 165 secs
lola: 63185688 markings, 127280036 edges, 338336 markings/sec, 170 secs
lola: 64873035 markings, 130777146 edges, 337469 markings/sec, 175 secs
lola: 66601184 markings, 134335169 edges, 345630 markings/sec, 180 secs
lola: 68171163 markings, 137625334 edges, 313996 markings/sec, 185 secs
lola: 69724626 markings, 140870082 edges, 310693 markings/sec, 190 secs
lola: 71307264 markings, 144146981 edges, 316528 markings/sec, 195 secs
lola: 72821169 markings, 147397687 edges, 302781 markings/sec, 200 secs
lola: 74366217 markings, 150640927 edges, 309010 markings/sec, 205 secs
lola: 75950025 markings, 153882615 edges, 316762 markings/sec, 210 secs
lola: 77518763 markings, 157111900 edges, 313748 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(KdStarPgStarP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 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: 1619316 markings, 3400737 edges, 323863 markings/sec, 0 secs
lola: 3022630 markings, 6516974 edges, 280663 markings/sec, 5 secs
lola: 4345604 markings, 9492345 edges, 264595 markings/sec, 10 secs
lola: 5643578 markings, 12453297 edges, 259595 markings/sec, 15 secs
lola: 6819958 markings, 15163670 edges, 235276 markings/sec, 20 secs
lola: 7962172 markings, 17788548 edges, 228443 markings/sec, 25 secs
lola: 9060795 markings, 20323715 edges, 219725 markings/sec, 30 secs
lola: 10228735 markings, 23020783 edges, 233588 markings/sec, 35 secs
lola: 11362545 markings, 25669080 edges, 226762 markings/sec, 40 secs
lola: 12492806 markings, 28295804 edges, 226052 markings/sec, 45 secs
lola: 13560906 markings, 30788389 edges, 213620 markings/sec, 50 secs
lola: 14653383 markings, 33342927 edges, 218495 markings/sec, 55 secs
lola: 15700784 markings, 35804260 edges, 209480 markings/sec, 60 secs
lola: 16721630 markings, 38203605 edges, 204169 markings/sec, 65 secs
lola: 17731965 markings, 40587150 edges, 202067 markings/sec, 70 secs
lola: 18737178 markings, 42957108 edges, 201043 markings/sec, 75 secs
lola: 19737594 markings, 45319822 edges, 200083 markings/sec, 80 secs
lola: 20750257 markings, 47694382 edges, 202533 markings/sec, 85 secs
lola: 21751552 markings, 50050942 edges, 200259 markings/sec, 90 secs
lola: 22751007 markings, 52431420 edges, 199891 markings/sec, 95 secs
lola: 23774077 markings, 54851231 edges, 204614 markings/sec, 100 secs
lola: 24792825 markings, 57253651 edges, 203750 markings/sec, 105 secs
lola: 25766624 markings, 59583997 edges, 194760 markings/sec, 110 secs
lola: 26743586 markings, 61923234 edges, 195392 markings/sec, 115 secs
lola: 27705359 markings, 64222829 edges, 192355 markings/sec, 120 secs
lola: 28638016 markings, 66435911 edges, 186531 markings/sec, 125 secs
lola: 29578187 markings, 68662542 edges, 188034 markings/sec, 130 secs
lola: 30464190 markings, 70788666 edges, 177201 markings/sec, 135 secs
lola: 31331438 markings, 72860055 edges, 173450 markings/sec, 140 secs
lola: 32274748 markings, 75108539 edges, 188662 markings/sec, 145 secs
lola: 33214701 markings, 77353248 edges, 187991 markings/sec, 150 secs
lola: 34162957 markings, 79632266 edges, 189651 markings/sec, 155 secs
lola: 35112489 markings, 81899833 edges, 189906 markings/sec, 160 secs
lola: 36040200 markings, 84120486 edges, 185542 markings/sec, 165 secs
lola: 36959117 markings, 86320195 edges, 183783 markings/sec, 170 secs
lola: 37862601 markings, 88489363 edges, 180697 markings/sec, 175 secs
lola: 38754767 markings, 90635212 edges, 178433 markings/sec, 180 secs
lola: 39655207 markings, 92800559 edges, 180088 markings/sec, 185 secs
lola: 40541802 markings, 94930897 edges, 177319 markings/sec, 190 secs
lola: 41418643 markings, 97069675 edges, 175368 markings/sec, 195 secs
lola: 42323475 markings, 99245443 edges, 180966 markings/sec, 200 secs
lola: 43212459 markings, 101392224 edges, 177797 markings/sec, 205 secs
lola: 44107385 markings, 103541810 edges, 178985 markings/sec, 210 secs
lola: 44992165 markings, 105675977 edges, 176956 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(Enz)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 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: 2781953 markings, 4772246 edges, 556391 markings/sec, 0 secs
lola: 5348475 markings, 9227003 edges, 513304 markings/sec, 5 secs
lola: 7663112 markings, 13263472 edges, 462927 markings/sec, 10 secs
lola: 9886026 markings, 17162655 edges, 444583 markings/sec, 15 secs
lola: 12219093 markings, 21249936 edges, 466613 markings/sec, 20 secs
lola: 14474250 markings, 25219579 edges, 451031 markings/sec, 25 secs
lola: 16643472 markings, 29037197 edges, 433844 markings/sec, 30 secs
lola: 18811798 markings, 32863986 edges, 433665 markings/sec, 35 secs
lola: 20962832 markings, 36665947 edges, 430207 markings/sec, 40 secs
lola: 23029162 markings, 40324167 edges, 413266 markings/sec, 45 secs
lola: 25216629 markings, 44194629 edges, 437493 markings/sec, 50 secs
lola: 27400992 markings, 48068890 edges, 436873 markings/sec, 55 secs
lola: 29573258 markings, 51920868 edges, 434453 markings/sec, 60 secs
lola: 31710513 markings, 55726079 edges, 427451 markings/sec, 65 secs
lola: 33860488 markings, 59544487 edges, 429995 markings/sec, 70 secs
lola: 35901511 markings, 63180184 edges, 408205 markings/sec, 75 secs
lola: 37985799 markings, 66891273 edges, 416858 markings/sec, 80 secs
lola: 40062180 markings, 70593261 edges, 415276 markings/sec, 85 secs
lola: 42138230 markings, 74277733 edges, 415210 markings/sec, 90 secs
lola: 44137668 markings, 77846080 edges, 399888 markings/sec, 95 secs
lola: 46179695 markings, 81489956 edges, 408405 markings/sec, 100 secs
lola: 48331031 markings, 85304508 edges, 430267 markings/sec, 105 secs
lola: 50349128 markings, 88904213 edges, 403619 markings/sec, 110 secs
lola: 52292913 markings, 92378677 edges, 388757 markings/sec, 115 secs
lola: 54275709 markings, 95933711 edges, 396559 markings/sec, 120 secs
lola: 56190788 markings, 99363036 edges, 383016 markings/sec, 125 secs
lola: 58168320 markings, 102874772 edges, 395506 markings/sec, 130 secs
lola: 60106706 markings, 106337078 edges, 387677 markings/sec, 135 secs
lola: 61979337 markings, 109699243 edges, 374526 markings/sec, 140 secs
lola: 64021251 markings, 113350195 edges, 408383 markings/sec, 145 secs
lola: 65929978 markings, 116761750 edges, 381745 markings/sec, 150 secs
lola: 67784457 markings, 120084672 edges, 370896 markings/sec, 155 secs
lola: 69653241 markings, 123430711 edges, 373757 markings/sec, 160 secs
lola: 71578444 markings, 126892277 edges, 385041 markings/sec, 165 secs
lola: 73550941 markings, 130440569 edges, 394499 markings/sec, 170 secs
lola: 75506521 markings, 133928234 edges, 391116 markings/sec, 175 secs
lola: 77352541 markings, 137258898 edges, 369204 markings/sec, 180 secs
lola: 79244918 markings, 140649199 edges, 378475 markings/sec, 185 secs
lola: 81309905 markings, 144324827 edges, 412997 markings/sec, 190 secs
lola: 83279965 markings, 147843717 edges, 394012 markings/sec, 195 secs
lola: 85137704 markings, 151178490 edges, 371548 markings/sec, 200 secs
lola: 87087400 markings, 154666754 edges, 389939 markings/sec, 205 secs
lola: 88883899 markings, 157909842 edges, 359300 markings/sec, 210 secs
lola: 90767569 markings, 161280249 edges, 376734 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(KdStarPgStarP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 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: 1589730 markings, 3335281 edges, 317946 markings/sec, 0 secs
lola: 2842327 markings, 6115893 edges, 250519 markings/sec, 5 secs
lola: 4036642 markings, 8794913 edges, 238863 markings/sec, 10 secs
lola: 5197724 markings, 11435472 edges, 232216 markings/sec, 15 secs
lola: 6331250 markings, 14033391 edges, 226705 markings/sec, 20 secs
lola: 7446577 markings, 16603713 edges, 223065 markings/sec, 25 secs
lola: 8590097 markings, 19233943 edges, 228704 markings/sec, 30 secs
lola: 9691989 markings, 21783027 edges, 220378 markings/sec, 35 secs
lola: 10743133 markings, 24224531 edges, 210229 markings/sec, 40 secs
lola: 11781685 markings, 26643053 edges, 207710 markings/sec, 45 secs
lola: 12846199 markings, 29114464 edges, 212903 markings/sec, 50 secs
lola: 13928144 markings, 31645690 edges, 216389 markings/sec, 55 secs
lola: 14992437 markings, 34146452 edges, 212859 markings/sec, 60 secs
lola: 16061278 markings, 36646416 edges, 213768 markings/sec, 65 secs
lola: 17118911 markings, 39133726 edges, 211527 markings/sec, 70 secs
lola: 18162286 markings, 41595412 edges, 208675 markings/sec, 75 secs
lola: 19206549 markings, 44055975 edges, 208853 markings/sec, 80 secs
lola: 20226513 markings, 46464074 edges, 203993 markings/sec, 85 secs
lola: 21228666 markings, 48820823 edges, 200431 markings/sec, 90 secs
lola: 22224038 markings, 51173505 edges, 199074 markings/sec, 95 secs
lola: 23205699 markings, 53510402 edges, 196332 markings/sec, 100 secs
lola: 24191557 markings, 55837551 edges, 197172 markings/sec, 105 secs
lola: 25119070 markings, 58031513 edges, 185503 markings/sec, 110 secs
lola: 26054245 markings, 60273732 edges, 187035 markings/sec, 115 secs
lola: 27019418 markings, 62584687 edges, 193035 markings/sec, 120 secs
lola: 27990061 markings, 64902701 edges, 194129 markings/sec, 125 secs
lola: 28979118 markings, 67242809 edges, 197811 markings/sec, 130 secs
lola: 29909313 markings, 69461410 edges, 186039 markings/sec, 135 secs
lola: 30818915 markings, 71636155 edges, 181920 markings/sec, 140 secs
lola: 31748464 markings, 73853532 edges, 185910 markings/sec, 145 secs
lola: 32709590 markings, 76146071 edges, 192225 markings/sec, 150 secs
lola: 33666051 markings, 78440790 edges, 191292 markings/sec, 155 secs
lola: 34620256 markings, 80724980 edges, 190841 markings/sec, 160 secs
lola: 35556065 markings, 82968419 edges, 187162 markings/sec, 165 secs
lola: 36519192 markings, 85266102 edges, 192625 markings/sec, 170 secs
lola: 37468703 markings, 87537157 edges, 189902 markings/sec, 175 secs
lola: 38365229 markings, 89701176 edges, 179305 markings/sec, 180 secs
lola: 39298064 markings, 91942407 edges, 186567 markings/sec, 185 secs
lola: 40190951 markings, 94089651 edges, 178577 markings/sec, 190 secs
lola: 41088284 markings, 96255596 edges, 179467 markings/sec, 195 secs
lola: 42009908 markings, 98488894 edges, 184325 markings/sec, 200 secs
lola: 42889885 markings, 100616591 edges, 175995 markings/sec, 205 secs
lola: 43768067 markings, 102731924 edges, 175636 markings/sec, 210 secs
lola: 44683566 markings, 104926661 edges, 183100 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(KdStarGStarP3kStarP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 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: 1878892 markings, 3349666 edges, 375778 markings/sec, 0 secs
lola: 3531332 markings, 6385744 edges, 330488 markings/sec, 5 secs
lola: 5075276 markings, 9267757 edges, 308789 markings/sec, 10 secs
lola: 6607114 markings, 12123801 edges, 306368 markings/sec, 15 secs
lola: 7963316 markings, 14689749 edges, 271240 markings/sec, 20 secs
lola: 9363164 markings, 17317794 edges, 279970 markings/sec, 25 secs
lola: 10705391 markings, 19885956 edges, 268445 markings/sec, 30 secs
lola: 11986879 markings, 22316883 edges, 256298 markings/sec, 35 secs
lola: 13211069 markings, 24659811 edges, 244838 markings/sec, 40 secs
lola: 14430354 markings, 26995209 edges, 243857 markings/sec, 45 secs
lola: 15698819 markings, 29425836 edges, 253693 markings/sec, 50 secs
lola: 16907547 markings, 31749865 edges, 241746 markings/sec, 55 secs
lola: 18070337 markings, 33999481 edges, 232558 markings/sec, 60 secs
lola: 19260653 markings, 36283910 edges, 238063 markings/sec, 65 secs
lola: 20419523 markings, 38527857 edges, 231774 markings/sec, 70 secs
lola: 21586023 markings, 40777938 edges, 233300 markings/sec, 75 secs
lola: 22738253 markings, 43013291 edges, 230446 markings/sec, 80 secs
lola: 23916568 markings, 45277424 edges, 235663 markings/sec, 85 secs
lola: 25057626 markings, 47495039 edges, 228212 markings/sec, 90 secs
lola: 26170534 markings, 49677916 edges, 222582 markings/sec, 95 secs
lola: 27291952 markings, 51868578 edges, 224284 markings/sec, 100 secs
lola: 28429861 markings, 54074655 edges, 227582 markings/sec, 105 secs
lola: 29554718 markings, 56256798 edges, 224971 markings/sec, 110 secs
lola: 30678479 markings, 58434449 edges, 224752 markings/sec, 115 secs
lola: 31801857 markings, 60622738 edges, 224676 markings/sec, 120 secs
lola: 32971434 markings, 62927354 edges, 233915 markings/sec, 125 secs
lola: 34145134 markings, 65217685 edges, 234740 markings/sec, 130 secs
lola: 35330129 markings, 67525582 edges, 236999 markings/sec, 135 secs
lola: 36487489 markings, 69788138 edges, 231472 markings/sec, 140 secs
lola: 37631667 markings, 72036926 edges, 228836 markings/sec, 145 secs
lola: 38777049 markings, 74286625 edges, 229076 markings/sec, 150 secs
lola: 39922874 markings, 76533817 edges, 229165 markings/sec, 155 secs
lola: 41063149 markings, 78765438 edges, 228055 markings/sec, 160 secs
lola: 42213133 markings, 81009537 edges, 229997 markings/sec, 165 secs
lola: 43303833 markings, 83188586 edges, 218140 markings/sec, 170 secs
lola: 44463824 markings, 85446975 edges, 231998 markings/sec, 175 secs
lola: 45620297 markings, 87710008 edges, 231295 markings/sec, 180 secs
lola: 46752700 markings, 89942616 edges, 226481 markings/sec, 185 secs
lola: 47882173 markings, 92167862 edges, 225895 markings/sec, 190 secs
lola: 48999254 markings, 94379616 edges, 223416 markings/sec, 195 secs
lola: 50042370 markings, 96437275 edges, 208623 markings/sec, 200 secs
lola: 51080366 markings, 98508538 edges, 207599 markings/sec, 205 secs
lola: 52073231 markings, 100467795 edges, 198573 markings/sec, 210 secs
lola: 53070600 markings, 102444327 edges, 199474 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(KdStarGStarPgStarP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 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: 1772118 markings, 3466729 edges, 354424 markings/sec, 0 secs
lola: 3239996 markings, 6433420 edges, 293576 markings/sec, 5 secs
lola: 4624124 markings, 9269156 edges, 276826 markings/sec, 10 secs
lola: 5955514 markings, 12035403 edges, 266278 markings/sec, 15 secs
lola: 7338029 markings, 14918628 edges, 276503 markings/sec, 20 secs
lola: 8582171 markings, 17512392 edges, 248828 markings/sec, 25 secs
lola: 9903858 markings, 20297800 edges, 264337 markings/sec, 30 secs
lola: 11253948 markings, 23112403 edges, 270018 markings/sec, 35 secs
lola: 12596864 markings, 25916511 edges, 268583 markings/sec, 40 secs
lola: 13872849 markings, 28614794 edges, 255197 markings/sec, 45 secs
lola: 15161569 markings, 31327941 edges, 257744 markings/sec, 50 secs
lola: 16406133 markings, 33964007 edges, 248913 markings/sec, 55 secs
lola: 17649443 markings, 36593168 edges, 248662 markings/sec, 60 secs
lola: 18857999 markings, 39169609 edges, 241711 markings/sec, 65 secs
lola: 20060218 markings, 41726316 edges, 240444 markings/sec, 70 secs
lola: 21245759 markings, 44272090 edges, 237108 markings/sec, 75 secs
lola: 22392749 markings, 46746389 edges, 229398 markings/sec, 80 secs
lola: 23523280 markings, 49184059 edges, 226106 markings/sec, 85 secs
lola: 24712646 markings, 51706185 edges, 237873 markings/sec, 90 secs
lola: 25882259 markings, 54199897 edges, 233923 markings/sec, 95 secs
lola: 27037155 markings, 56675009 edges, 230979 markings/sec, 100 secs
lola: 28144222 markings, 59081806 edges, 221413 markings/sec, 105 secs
lola: 29271666 markings, 61540388 edges, 225489 markings/sec, 110 secs
lola: 30396049 markings, 63964384 edges, 224877 markings/sec, 115 secs
lola: 31478107 markings, 66303695 edges, 216412 markings/sec, 120 secs
lola: 32562726 markings, 68645825 edges, 216924 markings/sec, 125 secs
lola: 33672490 markings, 71050689 edges, 221953 markings/sec, 130 secs
lola: 34820617 markings, 73492614 edges, 229625 markings/sec, 135 secs
lola: 35908565 markings, 75850193 edges, 217590 markings/sec, 140 secs
lola: 36976797 markings, 78161629 edges, 213646 markings/sec, 145 secs
lola: 38052453 markings, 80491150 edges, 215131 markings/sec, 150 secs
lola: 39140789 markings, 82852905 edges, 217667 markings/sec, 155 secs
lola: 40238650 markings, 85207129 edges, 219572 markings/sec, 160 secs
lola: 41326465 markings, 87559120 edges, 217563 markings/sec, 165 secs
lola: 42425423 markings, 89904858 edges, 219792 markings/sec, 170 secs
lola: 43496965 markings, 92240325 edges, 214308 markings/sec, 175 secs
lola: 44557867 markings, 94543662 edges, 212180 markings/sec, 180 secs
lola: 45628291 markings, 96856568 edges, 214085 markings/sec, 185 secs
lola: 46688385 markings, 99127976 edges, 212019 markings/sec, 190 secs
lola: 47722064 markings, 101375021 edges, 206736 markings/sec, 195 secs
lola: 48771749 markings, 103656710 edges, 209937 markings/sec, 200 secs
lola: 49825030 markings, 105959152 edges, 210656 markings/sec, 205 secs
lola: 50875426 markings, 108238066 edges, 210079 markings/sec, 210 secs
lola: 51894081 markings, 110469226 edges, 203731 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(KdStarGStarP3kP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 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: 1697830 markings, 3460078 edges, 339566 markings/sec, 0 secs
lola: 3193843 markings, 6603155 edges, 299203 markings/sec, 5 secs
lola: 4546320 markings, 9486250 edges, 270495 markings/sec, 10 secs
lola: 5847210 markings, 12296785 edges, 260178 markings/sec, 15 secs
lola: 7249108 markings, 15253410 edges, 280380 markings/sec, 20 secs
lola: 8590745 markings, 18174879 edges, 268327 markings/sec, 25 secs
lola: 9945770 markings, 21157383 edges, 271005 markings/sec, 30 secs
lola: 11344683 markings, 24149155 edges, 279783 markings/sec, 35 secs
lola: 12636289 markings, 27027778 edges, 258321 markings/sec, 40 secs
lola: 13995245 markings, 29967095 edges, 271791 markings/sec, 45 secs
lola: 15292284 markings, 32806941 edges, 259408 markings/sec, 50 secs
lola: 16587611 markings, 35620235 edges, 259065 markings/sec, 55 secs
lola: 17885585 markings, 38447378 edges, 259595 markings/sec, 60 secs
lola: 19156914 markings, 41252534 edges, 254266 markings/sec, 65 secs
lola: 20441264 markings, 44064482 edges, 256870 markings/sec, 70 secs
lola: 21722122 markings, 46860892 edges, 256172 markings/sec, 75 secs
lola: 22979022 markings, 49573695 edges, 251380 markings/sec, 80 secs
lola: 24210326 markings, 52265318 edges, 246261 markings/sec, 85 secs
lola: 25426599 markings, 54956581 edges, 243255 markings/sec, 90 secs
lola: 26582906 markings, 57487801 edges, 231261 markings/sec, 95 secs
lola: 27639284 markings, 59841467 edges, 211276 markings/sec, 100 secs
lola: 28697692 markings, 62237879 edges, 211682 markings/sec, 105 secs
lola: 29845267 markings, 64751093 edges, 229515 markings/sec, 110 secs
lola: 30920090 markings, 67174623 edges, 214965 markings/sec, 115 secs
lola: 32002641 markings, 69605607 edges, 216510 markings/sec, 120 secs
lola: 33100528 markings, 72059674 edges, 219577 markings/sec, 125 secs
lola: 34162961 markings, 74455878 edges, 212487 markings/sec, 130 secs
lola: 35234035 markings, 76896815 edges, 214215 markings/sec, 135 secs
lola: 36435831 markings, 79525331 edges, 240359 markings/sec, 140 secs
lola: 37605210 markings, 82130878 edges, 233876 markings/sec, 145 secs
lola: 38726863 markings, 84673119 edges, 224331 markings/sec, 150 secs
lola: 39836315 markings, 87196916 edges, 221890 markings/sec, 155 secs
lola: 41012465 markings, 89794454 edges, 235230 markings/sec, 160 secs
lola: 42125149 markings, 92338945 edges, 222537 markings/sec, 165 secs
lola: 43261988 markings, 94901710 edges, 227368 markings/sec, 170 secs
lola: 44414737 markings, 97463836 edges, 230550 markings/sec, 175 secs
lola: 45522806 markings, 99984867 edges, 221614 markings/sec, 180 secs
lola: 46639340 markings, 102514310 edges, 223307 markings/sec, 185 secs
lola: 47745172 markings, 105030311 edges, 221166 markings/sec, 190 secs
lola: 48838229 markings, 107517981 edges, 218611 markings/sec, 195 secs
lola: 49871917 markings, 109923086 edges, 206738 markings/sec, 200 secs
lola: 50959693 markings, 112370529 edges, 217555 markings/sec, 205 secs
lola: 52055386 markings, 114834050 edges, 219139 markings/sec, 210 secs
lola: 53159859 markings, 117317696 edges, 220895 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(Pip3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 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: 2059689 markings, 3845160 edges, 411938 markings/sec, 0 secs
lola: 3867086 markings, 7354034 edges, 361479 markings/sec, 5 secs
lola: 5600905 markings, 10760556 edges, 346764 markings/sec, 10 secs
lola: 7287360 markings, 14104661 edges, 337291 markings/sec, 15 secs
lola: 8940258 markings, 17413011 edges, 330580 markings/sec, 20 secs
lola: 10563603 markings, 20686452 edges, 324669 markings/sec, 25 secs
lola: 12155904 markings, 23894425 edges, 318460 markings/sec, 30 secs
lola: 13716702 markings, 27060784 edges, 312160 markings/sec, 35 secs
lola: 15226748 markings, 30161634 edges, 302009 markings/sec, 40 secs
lola: 16732297 markings, 33256146 edges, 301110 markings/sec, 45 secs
lola: 18223954 markings, 36320339 edges, 298331 markings/sec, 50 secs
lola: 19699062 markings, 39373396 edges, 295022 markings/sec, 55 secs
lola: 21167499 markings, 42408704 edges, 293687 markings/sec, 60 secs
lola: 22639164 markings, 45442013 edges, 294333 markings/sec, 65 secs
lola: 24088406 markings, 48454119 edges, 289848 markings/sec, 70 secs
lola: 25533326 markings, 51438689 edges, 288984 markings/sec, 75 secs
lola: 26983524 markings, 54448090 edges, 290040 markings/sec, 80 secs
lola: 28441741 markings, 57505840 edges, 291643 markings/sec, 85 secs
lola: 29884531 markings, 60515836 edges, 288558 markings/sec, 90 secs
lola: 31306752 markings, 63495500 edges, 284444 markings/sec, 95 secs
lola: 32699292 markings, 66439428 edges, 278508 markings/sec, 100 secs
lola: 34108996 markings, 69418786 edges, 281941 markings/sec, 105 secs
lola: 35505108 markings, 72378466 edges, 279222 markings/sec, 110 secs
lola: 36886396 markings, 75305387 edges, 276258 markings/sec, 115 secs
lola: 38275811 markings, 78244237 edges, 277883 markings/sec, 120 secs
lola: 39656437 markings, 81173785 edges, 276125 markings/sec, 125 secs
lola: 41015999 markings, 84064559 edges, 271912 markings/sec, 130 secs
lola: 42386193 markings, 86977825 edges, 274039 markings/sec, 135 secs
lola: 43746443 markings, 89883647 edges, 272050 markings/sec, 140 secs
lola: 45111310 markings, 92789731 edges, 272973 markings/sec, 145 secs
lola: 46468655 markings, 95691192 edges, 271469 markings/sec, 150 secs
lola: 47809557 markings, 98560655 edges, 268180 markings/sec, 155 secs
lola: 49146653 markings, 101418842 edges, 267419 markings/sec, 160 secs
lola: 50473904 markings, 104277227 edges, 265450 markings/sec, 165 secs
lola: 51798239 markings, 107133219 edges, 264867 markings/sec, 170 secs
lola: 53163246 markings, 110032818 edges, 273001 markings/sec, 175 secs
lola: 54490666 markings, 112876009 edges, 265484 markings/sec, 180 secs
lola: 55791763 markings, 115689738 edges, 260219 markings/sec, 185 secs
lola: 57132178 markings, 118559936 edges, 268083 markings/sec, 190 secs
lola: 58452879 markings, 121404018 edges, 264140 markings/sec, 195 secs
lola: 59740956 markings, 124199584 edges, 257615 markings/sec, 200 secs
lola: 61052167 markings, 127028503 edges, 262242 markings/sec, 205 secs
lola: 62346565 markings, 129824476 edges, 258880 markings/sec, 210 secs
lola: 63633157 markings, 132614362 edges, 257318 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(PtP2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 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: 3370020 markings, 5791446 edges, 674004 markings/sec, 0 secs
lola: 6702090 markings, 11523213 edges, 666414 markings/sec, 5 secs
lola: 9508869 markings, 16714035 edges, 561356 markings/sec, 10 secs
lola: 11733345 markings, 21104294 edges, 444895 markings/sec, 15 secs
lola: 13875249 markings, 25345951 edges, 428381 markings/sec, 20 secs
lola: 15976510 markings, 29504347 edges, 420252 markings/sec, 25 secs
lola: 17974342 markings, 33514341 edges, 399566 markings/sec, 30 secs
lola: 20076752 markings, 37603902 edges, 420482 markings/sec, 35 secs
lola: 22076423 markings, 41593332 edges, 399934 markings/sec, 40 secs
lola: 24044910 markings, 45519699 edges, 393697 markings/sec, 45 secs
lola: 25867856 markings, 49306457 edges, 364589 markings/sec, 50 secs
lola: 27683542 markings, 53075127 edges, 363137 markings/sec, 55 secs
lola: 29424859 markings, 56777538 edges, 348263 markings/sec, 60 secs
lola: 31117094 markings, 60420884 edges, 338447 markings/sec, 65 secs
lola: 32738277 markings, 63981698 edges, 324237 markings/sec, 70 secs
lola: 34343177 markings, 67517526 edges, 320980 markings/sec, 75 secs
lola: 35946919 markings, 71050627 edges, 320748 markings/sec, 80 secs
lola: 37539692 markings, 74545476 edges, 318555 markings/sec, 85 secs
lola: 39089012 markings, 77982281 edges, 309864 markings/sec, 90 secs
lola: 40634050 markings, 81392983 edges, 309008 markings/sec, 95 secs
lola: 42160089 markings, 84782046 edges, 305208 markings/sec, 100 secs
lola: 43699504 markings, 88179369 edges, 307883 markings/sec, 105 secs
lola: 45239619 markings, 91571916 edges, 308023 markings/sec, 110 secs
lola: 46708157 markings, 94826943 edges, 293708 markings/sec, 115 secs
lola: 48177032 markings, 98060443 edges, 293775 markings/sec, 120 secs
lola: 49647896 markings, 101304798 edges, 294173 markings/sec, 125 secs
lola: 51118973 markings, 104535424 edges, 294215 markings/sec, 130 secs
lola: 52581595 markings, 107760004 edges, 292524 markings/sec, 135 secs
lola: 53997515 markings, 110916605 edges, 283184 markings/sec, 140 secs
lola: 55430882 markings, 114079981 edges, 286673 markings/sec, 145 secs
lola: 56871815 markings, 117231404 edges, 288187 markings/sec, 150 secs
lola: 58260630 markings, 120338574 edges, 277763 markings/sec, 155 secs
lola: 59655769 markings, 123455733 edges, 279028 markings/sec, 160 secs
lola: 61060076 markings, 126555407 edges, 280861 markings/sec, 165 secs
lola: 62443641 markings, 129648611 edges, 276713 markings/sec, 170 secs
lola: 63824564 markings, 132706839 edges, 276185 markings/sec, 175 secs
lola: 65209435 markings, 135776753 edges, 276974 markings/sec, 180 secs
lola: 66601025 markings, 138834577 edges, 278318 markings/sec, 185 secs
lola: 67946362 markings, 141864669 edges, 269067 markings/sec, 190 secs
lola: 69339294 markings, 144900568 edges, 278586 markings/sec, 195 secs
lola: 70702512 markings, 147916889 edges, 272644 markings/sec, 200 secs
lola: 71994483 markings, 150873185 edges, 258394 markings/sec, 205 secs
lola: 73322006 markings, 153845617 edges, 265505 markings/sec, 210 secs
lola: 74627005 markings, 156756310 edges, 261000 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(Akt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 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: 2388991 markings, 4043130 edges, 477798 markings/sec, 0 secs
lola: 4404535 markings, 7561244 edges, 403109 markings/sec, 5 secs
lola: 6324675 markings, 10946611 edges, 384028 markings/sec, 10 secs
lola: 8205806 markings, 14284229 edges, 376226 markings/sec, 15 secs
lola: 10010968 markings, 17519118 edges, 361032 markings/sec, 20 secs
lola: 11678050 markings, 20501256 edges, 333416 markings/sec, 25 secs
lola: 13320443 markings, 23454017 edges, 328479 markings/sec, 30 secs
lola: 14932495 markings, 26355218 edges, 322410 markings/sec, 35 secs
lola: 16533824 markings, 29234032 edges, 320266 markings/sec, 40 secs
lola: 18105446 markings, 32075630 edges, 314324 markings/sec, 45 secs
lola: 19698028 markings, 34972325 edges, 318516 markings/sec, 50 secs
lola: 21246495 markings, 37786471 edges, 309693 markings/sec, 55 secs
lola: 22848203 markings, 40685032 edges, 320342 markings/sec, 60 secs
lola: 24360972 markings, 43429306 edges, 302554 markings/sec, 65 secs
lola: 25863314 markings, 46163553 edges, 300468 markings/sec, 70 secs
lola: 27331215 markings, 48855151 edges, 293580 markings/sec, 75 secs
lola: 28891969 markings, 51697083 edges, 312151 markings/sec, 80 secs
lola: 30488835 markings, 54602919 edges, 319373 markings/sec, 85 secs
lola: 32064750 markings, 57483221 edges, 315183 markings/sec, 90 secs
lola: 33563103 markings, 60233787 edges, 299671 markings/sec, 95 secs
lola: 35055235 markings, 62973068 edges, 298426 markings/sec, 100 secs
lola: 36509016 markings, 65629625 edges, 290756 markings/sec, 105 secs
lola: 37969489 markings, 68311528 edges, 292095 markings/sec, 110 secs
lola: 39516454 markings, 71154858 edges, 309393 markings/sec, 115 secs
lola: 41071881 markings, 74007345 edges, 311085 markings/sec, 120 secs
lola: 42604298 markings, 76828404 edges, 306483 markings/sec, 125 secs
lola: 44000339 markings, 79401009 edges, 279208 markings/sec, 130 secs
lola: 45408352 markings, 81988166 edges, 281603 markings/sec, 135 secs
lola: 46857853 markings, 84647858 edges, 289900 markings/sec, 140 secs
lola: 48235927 markings, 87188311 edges, 275615 markings/sec, 145 secs
lola: 49622862 markings, 89736027 edges, 277387 markings/sec, 150 secs
lola: 51024517 markings, 92320335 edges, 280331 markings/sec, 155 secs
lola: 52465599 markings, 94985071 edges, 288216 markings/sec, 160 secs
lola: 53895732 markings, 97627865 edges, 286027 markings/sec, 165 secs
lola: 55329725 markings, 100275462 edges, 286799 markings/sec, 170 secs
lola: 56715994 markings, 102852033 edges, 277254 markings/sec, 175 secs
lola: 58140714 markings, 105476440 edges, 284944 markings/sec, 180 secs
lola: 59531803 markings, 108059084 edges, 278218 markings/sec, 185 secs
lola: 60915844 markings, 110622419 edges, 276808 markings/sec, 190 secs
lola: 62308537 markings, 113192588 edges, 278539 markings/sec, 195 secs
lola: 63712807 markings, 115781463 edges, 280854 markings/sec, 200 secs
lola: 65129865 markings, 118406675 edges, 283412 markings/sec, 205 secs
lola: 66511477 markings, 120976149 edges, 276322 markings/sec, 210 secs
lola: 67896355 markings, 123550513 edges, 276976 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(AktStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 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: 2427496 markings, 4108661 edges, 485499 markings/sec, 0 secs
lola: 4485631 markings, 7701485 edges, 411627 markings/sec, 5 secs
lola: 6403606 markings, 11085832 edges, 383595 markings/sec, 10 secs
lola: 8264537 markings, 14389677 edges, 372186 markings/sec, 15 secs
lola: 10042325 markings, 17574989 edges, 355558 markings/sec, 20 secs
lola: 11790732 markings, 20707431 edges, 349681 markings/sec, 25 secs
lola: 13516354 markings, 23810467 edges, 345124 markings/sec, 30 secs
lola: 15206003 markings, 26846318 edges, 337930 markings/sec, 35 secs
lola: 16849738 markings, 29804379 edges, 328747 markings/sec, 40 secs
lola: 18457604 markings, 32717383 edges, 321573 markings/sec, 45 secs
lola: 20047130 markings, 35596505 edges, 317905 markings/sec, 50 secs
lola: 21611222 markings, 38446695 edges, 312818 markings/sec, 55 secs
lola: 23186023 markings, 41300040 edges, 314960 markings/sec, 60 secs
lola: 24740564 markings, 44121180 edges, 310908 markings/sec, 65 secs
lola: 26270413 markings, 46912575 edges, 305970 markings/sec, 70 secs
lola: 27767258 markings, 49650148 edges, 299369 markings/sec, 75 secs
lola: 29292233 markings, 52428168 edges, 304995 markings/sec, 80 secs
lola: 30820031 markings, 55208196 edges, 305560 markings/sec, 85 secs
lola: 32322193 markings, 57953702 edges, 300432 markings/sec, 90 secs
lola: 33797613 markings, 60663436 edges, 295084 markings/sec, 95 secs
lola: 35275832 markings, 63375936 edges, 295644 markings/sec, 100 secs
lola: 36753976 markings, 66078179 edges, 295629 markings/sec, 105 secs
lola: 38199404 markings, 68735653 edges, 289086 markings/sec, 110 secs
lola: 39645512 markings, 71391248 edges, 289222 markings/sec, 115 secs
lola: 41117727 markings, 74089535 edges, 294443 markings/sec, 120 secs
lola: 42567590 markings, 76760685 edges, 289973 markings/sec, 125 secs
lola: 43985712 markings, 79372469 edges, 283624 markings/sec, 130 secs
lola: 45424130 markings, 82016443 edges, 287684 markings/sec, 135 secs
lola: 46863875 markings, 84659659 edges, 287949 markings/sec, 140 secs
lola: 48288085 markings, 87283393 edges, 284842 markings/sec, 145 secs
lola: 49699090 markings, 89875144 edges, 282201 markings/sec, 150 secs
lola: 51079686 markings, 92421197 edges, 276119 markings/sec, 155 secs
lola: 52465670 markings, 94985174 edges, 277197 markings/sec, 160 secs
lola: 53863645 markings, 97569779 edges, 279595 markings/sec, 165 secs
lola: 55280866 markings, 100185610 edges, 283444 markings/sec, 170 secs
lola: 56661475 markings, 102751228 edges, 276122 markings/sec, 175 secs
lola: 58072012 markings, 105351513 edges, 282107 markings/sec, 180 secs
lola: 59450250 markings, 107904949 edges, 275648 markings/sec, 185 secs
lola: 60827929 markings, 110461055 edges, 275536 markings/sec, 190 secs
lola: 62191428 markings, 112976201 edges, 272700 markings/sec, 195 secs
lola: 63570655 markings, 115520471 edges, 275845 markings/sec, 200 secs
lola: 64948176 markings, 118070765 edges, 275504 markings/sec, 205 secs
lola: 66293197 markings, 120572498 edges, 269004 markings/sec, 210 secs
lola: 67659144 markings, 123112610 edges, 273189 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStarP3k)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 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: 1857169 markings, 3344101 edges, 371434 markings/sec, 0 secs
lola: 3657501 markings, 6643379 edges, 360066 markings/sec, 5 secs
lola: 5389990 markings, 9829611 edges, 346498 markings/sec, 10 secs
lola: 7072890 markings, 12941552 edges, 336580 markings/sec, 15 secs
lola: 8695352 markings, 15980299 edges, 324492 markings/sec, 20 secs
lola: 10311912 markings, 18994300 edges, 323312 markings/sec, 25 secs
lola: 11867301 markings, 21938050 edges, 311078 markings/sec, 30 secs
lola: 13431276 markings, 24880464 edges, 312795 markings/sec, 35 secs
lola: 14976196 markings, 27792730 edges, 308984 markings/sec, 40 secs
lola: 16548353 markings, 30742835 edges, 314431 markings/sec, 45 secs
lola: 18031932 markings, 33574602 edges, 296716 markings/sec, 50 secs
lola: 19564145 markings, 36463742 edges, 306443 markings/sec, 55 secs
lola: 21086566 markings, 39344864 edges, 304484 markings/sec, 60 secs
lola: 22595010 markings, 42188867 edges, 301689 markings/sec, 65 secs
lola: 24048683 markings, 44975376 edges, 290735 markings/sec, 70 secs
lola: 25584449 markings, 47932798 edges, 307153 markings/sec, 75 secs
lola: 27119014 markings, 50877686 edges, 306913 markings/sec, 80 secs
lola: 28675866 markings, 53836742 edges, 311370 markings/sec, 85 secs
lola: 30228346 markings, 56801838 edges, 310496 markings/sec, 90 secs
lola: 31739354 markings, 59716216 edges, 302202 markings/sec, 95 secs
lola: 33296233 markings, 62681205 edges, 311376 markings/sec, 100 secs
lola: 34808972 markings, 65588015 edges, 302548 markings/sec, 105 secs
lola: 36314624 markings, 68480077 edges, 301130 markings/sec, 110 secs
lola: 37832177 markings, 71384515 edges, 303511 markings/sec, 115 secs
lola: 39315133 markings, 74250675 edges, 296591 markings/sec, 120 secs
lola: 40761796 markings, 77040114 edges, 289333 markings/sec, 125 secs
lola: 42201919 markings, 79845937 edges, 288025 markings/sec, 130 secs
lola: 43642116 markings, 82653136 edges, 288039 markings/sec, 135 secs
lola: 45067739 markings, 85433478 edges, 285125 markings/sec, 140 secs
lola: 46523568 markings, 88237310 edges, 291166 markings/sec, 145 secs
lola: 47938628 markings, 90993929 edges, 283012 markings/sec, 150 secs
lola: 49335740 markings, 93741974 edges, 279422 markings/sec, 155 secs
lola: 50769083 markings, 96515067 edges, 286669 markings/sec, 160 secs
lola: 52178532 markings, 99274145 edges, 281890 markings/sec, 165 secs
lola: 53589543 markings, 102020259 edges, 282202 markings/sec, 170 secs
lola: 54998842 markings, 104777444 edges, 281860 markings/sec, 175 secs
lola: 56444275 markings, 107585657 edges, 289087 markings/sec, 180 secs
lola: 57891985 markings, 110387979 edges, 289542 markings/sec, 185 secs
lola: 59267734 markings, 113101989 edges, 275150 markings/sec, 190 secs
lola: 60695380 markings, 115878979 edges, 285529 markings/sec, 195 secs
lola: 62099103 markings, 118620103 edges, 280745 markings/sec, 200 secs
lola: 63456929 markings, 121306496 edges, 271565 markings/sec, 205 secs
lola: 64831971 markings, 124020085 edges, 275008 markings/sec, 210 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(KdStarGP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 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: 2396345 markings, 3881002 edges, 479269 markings/sec, 0 secs
lola: 4502502 markings, 7333534 edges, 421231 markings/sec, 5 secs
lola: 6512746 markings, 10647941 edges, 402049 markings/sec, 10 secs
lola: 8467083 markings, 13868764 edges, 390867 markings/sec, 15 secs
lola: 10373262 markings, 17010874 edges, 381236 markings/sec, 20 secs
lola: 12230300 markings, 20092958 edges, 371408 markings/sec, 25 secs
lola: 14056201 markings, 23124016 edges, 365180 markings/sec, 30 secs
lola: 15866670 markings, 26111408 edges, 362094 markings/sec, 35 secs
lola: 17665081 markings, 29090628 edges, 359682 markings/sec, 40 secs
lola: 19432889 markings, 32019093 edges, 353562 markings/sec, 45 secs
lola: 21168031 markings, 34899693 edges, 347028 markings/sec, 50 secs
lola: 22925899 markings, 37807717 edges, 351574 markings/sec, 55 secs
lola: 24666186 markings, 40689449 edges, 348057 markings/sec, 60 secs
lola: 26383869 markings, 43556547 edges, 343537 markings/sec, 65 secs
lola: 28110138 markings, 46430560 edges, 345254 markings/sec, 70 secs
lola: 29841094 markings, 49303499 edges, 346191 markings/sec, 75 secs
lola: 31556025 markings, 52157651 edges, 342986 markings/sec, 80 secs
lola: 33208690 markings, 54914805 edges, 330533 markings/sec, 85 secs
lola: 34844764 markings, 57632037 edges, 327215 markings/sec, 90 secs
lola: 36491559 markings, 60359909 edges, 329359 markings/sec, 95 secs
lola: 38110014 markings, 63058453 edges, 323691 markings/sec, 100 secs
lola: 39741227 markings, 65771254 edges, 326243 markings/sec, 105 secs
lola: 41360112 markings, 68460552 edges, 323777 markings/sec, 110 secs
lola: 42969629 markings, 71143117 edges, 321903 markings/sec, 115 secs
lola: 44563861 markings, 73808009 edges, 318846 markings/sec, 120 secs
lola: 46111797 markings, 76387233 edges, 309587 markings/sec, 125 secs
lola: 47630085 markings, 78913387 edges, 303658 markings/sec, 130 secs
lola: 49154940 markings, 81449787 edges, 304971 markings/sec, 135 secs
lola: 50709865 markings, 84029939 edges, 310985 markings/sec, 140 secs
lola: 52267157 markings, 86644076 edges, 311458 markings/sec, 145 secs
lola: 53851809 markings, 89284056 edges, 316930 markings/sec, 150 secs
lola: 55418996 markings, 91895321 edges, 313437 markings/sec, 155 secs
lola: 56983732 markings, 94492468 edges, 312947 markings/sec, 160 secs
lola: 58574710 markings, 97135434 edges, 318196 markings/sec, 165 secs
lola: 60160833 markings, 99776674 edges, 317225 markings/sec, 170 secs
lola: 61728930 markings, 102391387 edges, 313619 markings/sec, 175 secs
lola: 63333198 markings, 105046905 edges, 320854 markings/sec, 180 secs
lola: 64883317 markings, 107618057 edges, 310024 markings/sec, 185 secs
lola: 66418378 markings, 110186260 edges, 307012 markings/sec, 190 secs
lola: 67992937 markings, 112808915 edges, 314912 markings/sec, 195 secs
lola: 69526279 markings, 115369172 edges, 306668 markings/sec, 200 secs
lola: 71065472 markings, 117940712 edges, 307839 markings/sec, 205 secs
lola: 72594173 markings, 120496885 edges, 305740 markings/sec, 210 secs
lola: 74134775 markings, 123063566 edges, 308120 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(GStarP3kP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 bytes per marking, with 0 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: 2208221 markings, 4006272 edges, 441644 markings/sec, 0 secs
lola: 4278380 markings, 7857379 edges, 414032 markings/sec, 5 secs
lola: 6352910 markings, 11711029 edges, 414906 markings/sec, 10 secs
lola: 8385895 markings, 15621950 edges, 406597 markings/sec, 15 secs
lola: 10370422 markings, 19437645 edges, 396905 markings/sec, 20 secs
lola: 12327060 markings, 23262558 edges, 391328 markings/sec, 25 secs
lola: 14266100 markings, 27095485 edges, 387808 markings/sec, 30 secs
lola: 16196477 markings, 30903417 edges, 386075 markings/sec, 35 secs
lola: 18072576 markings, 34659778 edges, 375220 markings/sec, 40 secs
lola: 19947122 markings, 38402330 edges, 374909 markings/sec, 45 secs
lola: 21801527 markings, 42172971 edges, 370881 markings/sec, 50 secs
lola: 23646102 markings, 45889388 edges, 368915 markings/sec, 55 secs
lola: 25491217 markings, 49590372 edges, 369023 markings/sec, 60 secs
lola: 27316452 markings, 53275362 edges, 365047 markings/sec, 65 secs
lola: 29056434 markings, 56840494 edges, 347996 markings/sec, 70 secs
lola: 30762164 markings, 60381008 edges, 341146 markings/sec, 75 secs
lola: 32423029 markings, 63822235 edges, 332173 markings/sec, 80 secs
lola: 34182616 markings, 67436506 edges, 351917 markings/sec, 85 secs
lola: 35823121 markings, 70882577 edges, 328101 markings/sec, 90 secs
lola: 37442962 markings, 74165717 edges, 323968 markings/sec, 95 secs
lola: 39118095 markings, 77628123 edges, 335027 markings/sec, 100 secs
lola: 40707617 markings, 80858618 edges, 317904 markings/sec, 105 secs
lola: 42400318 markings, 84327150 edges, 338540 markings/sec, 110 secs
lola: 44035389 markings, 87715764 edges, 327014 markings/sec, 115 secs
lola: 45662888 markings, 91062363 edges, 325500 markings/sec, 120 secs
lola: 47331405 markings, 94528160 edges, 333703 markings/sec, 125 secs
lola: 49024574 markings, 97996397 edges, 338634 markings/sec, 130 secs
lola: 50703642 markings, 101446673 edges, 335814 markings/sec, 135 secs
lola: 52326849 markings, 104819688 edges, 324641 markings/sec, 140 secs
lola: 53967603 markings, 108204003 edges, 328151 markings/sec, 145 secs
lola: 55574894 markings, 111574076 edges, 321458 markings/sec, 150 secs
lola: 57210776 markings, 114983306 edges, 327176 markings/sec, 155 secs
lola: 58827716 markings, 118299828 edges, 323388 markings/sec, 160 secs
lola: 60437860 markings, 121609458 edges, 322029 markings/sec, 165 secs
lola: 62095686 markings, 124975010 edges, 331565 markings/sec, 170 secs
lola: 63762945 markings, 128509223 edges, 333452 markings/sec, 175 secs
lola: 65359464 markings, 131765484 edges, 319304 markings/sec, 180 secs
lola: 67037681 markings, 135227545 edges, 335643 markings/sec, 185 secs
lola: 68605011 markings, 138526021 edges, 313466 markings/sec, 190 secs
lola: 70173154 markings, 141786158 edges, 313629 markings/sec, 195 secs
lola: 71727917 markings, 145068566 edges, 310953 markings/sec, 200 secs
lola: 73379409 markings, 148580176 edges, 330298 markings/sec, 205 secs
lola: 75081069 markings, 152076962 edges, 340332 markings/sec, 210 secs
lola: 76753594 markings, 155533487 edges, 334505 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 Angiogenesis-PT-20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496336593921

--------------------
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="S_Angiogenesis-PT-20"
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/S_Angiogenesis-PT-20.tgz
mv S_Angiogenesis-PT-20 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_Angiogenesis-PT-20, 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 r088-csrt-149441074000128"
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 ;