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_GPPP-PT-C0100N0000010000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612600551
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496396408258


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


checking for too many tokens
===========================================================================================
S_GPPP-PT-C0100N0000010000: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_GPPP-PT-C0100N0000010000 @ 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: 55/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 33 places, 22 transitions, 21 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 30 transition conflict sets
lola: TASK
lola: reading formula from GPPP-PT-C0100N0000010000-UpperBounds.task
lola: MAX(Xu5P) : MAX(_1_3_BPG) : MAX(F6P) : MAX(Lac) : MAX(E4P) : MAX(Pi) : MAX(GAP) : MAX(E4P) : MAX(Lac) : MAX(Gluc) : MAX(PEP) : MAX(NADplus) : MAX(PEP) : MAX(NADplus) : MAX(R5P) : MAX(E4P)
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(Xu5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 3834703 markings, 7456255 edges, 766941 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 396
lola: produced by: state space
lola: The maximum value of the given expression is 396
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(_1_3_BPG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 3565228 markings, 9493137 edges, 713046 markings/sec, 0 secs
lola: 6908117 markings, 18814024 edges, 668578 markings/sec, 5 secs
lola: 10400349 markings, 27674180 edges, 698446 markings/sec, 10 secs
lola: 13445514 markings, 34971111 edges, 609033 markings/sec, 15 secs
lola: 16186815 markings, 41548769 edges, 548260 markings/sec, 20 secs
lola: 18827299 markings, 47884385 edges, 528097 markings/sec, 25 secs
lola: 21461351 markings, 54204543 edges, 526810 markings/sec, 30 secs
lola: 24070774 markings, 60465527 edges, 521885 markings/sec, 35 secs
lola: 26582299 markings, 66491668 edges, 502305 markings/sec, 40 secs
lola: 29131183 markings, 72607572 edges, 509777 markings/sec, 45 secs
lola: 31714086 markings, 78805050 edges, 516581 markings/sec, 50 secs
lola: 34226049 markings, 84832497 edges, 502393 markings/sec, 55 secs
lola: 36691063 markings, 90746950 edges, 493003 markings/sec, 60 secs
lola: 39196928 markings, 96759632 edges, 501173 markings/sec, 65 secs
lola: 41700819 markings, 102767397 edges, 500778 markings/sec, 70 secs
lola: 44202387 markings, 108769504 edges, 500314 markings/sec, 75 secs
lola: 46371704 markings, 113974501 edges, 433863 markings/sec, 80 secs
lola: 48738074 markings, 119652455 edges, 473274 markings/sec, 85 secs
lola: 51037890 markings, 125170597 edges, 459963 markings/sec, 90 secs
lola: 53165817 markings, 130276206 edges, 425585 markings/sec, 95 secs
lola: 55319308 markings, 135443407 edges, 430698 markings/sec, 100 secs
lola: 57467713 markings, 140598300 edges, 429681 markings/sec, 105 secs
lola: 59634074 markings, 145796282 edges, 433272 markings/sec, 110 secs
lola: 61817308 markings, 151034681 edges, 436647 markings/sec, 115 secs
lola: 64005769 markings, 156285555 edges, 437692 markings/sec, 120 secs
lola: 66328844 markings, 161859302 edges, 464615 markings/sec, 125 secs
lola: 68695169 markings, 167536901 edges, 473265 markings/sec, 130 secs
lola: 71094437 markings, 173293666 edges, 479854 markings/sec, 135 secs
lola: 73490154 markings, 179041829 edges, 479143 markings/sec, 140 secs
lola: 75661535 markings, 184251978 edges, 434276 markings/sec, 145 secs
lola: 77884433 markings, 189585056 edges, 444580 markings/sec, 150 secs
lola: 80283175 markings, 195340519 edges, 479748 markings/sec, 155 secs
lola: 82753554 markings, 201267958 edges, 494076 markings/sec, 160 secs
lola: 85226700 markings, 207201446 edges, 494629 markings/sec, 165 secs
lola: 87735650 markings, 213221407 edges, 501790 markings/sec, 170 secs
lola: 90233058 markings, 219213492 edges, 499482 markings/sec, 175 secs
lola: 92732239 markings, 225209630 edges, 499836 markings/sec, 180 secs
lola: 95257397 markings, 231268061 edges, 505032 markings/sec, 185 secs
lola: 97784439 markings, 237331602 edges, 505408 markings/sec, 190 secs
lola: 100351285 markings, 243489797 edges, 513369 markings/sec, 195 secs
lola: 102900089 markings, 249604946 edges, 509761 markings/sec, 200 secs
lola: 105411773 markings, 255631286 edges, 502337 markings/sec, 205 secs
lola: 107993651 markings, 261825883 edges, 516376 markings/sec, 210 secs
lola: 110613681 markings, 268112152 edges, 524006 markings/sec, 215 secs
lola: 113249448 markings, 274436539 edges, 527153 markings/sec, 220 secs
lola: 115758698 markings, 280456812 edges, 501850 markings/sec, 225 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(F6P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 2448150 markings, 8522331 edges, 489630 markings/sec, 0 secs
lola: 4475771 markings, 16410382 edges, 405524 markings/sec, 5 secs
lola: 5857707 markings, 22482858 edges, 276387 markings/sec, 10 secs
lola: 6986867 markings, 27615787 edges, 225832 markings/sec, 15 secs
lola: 9413776 markings, 36215395 edges, 485382 markings/sec, 20 secs
lola: 11285680 markings, 43872063 edges, 374381 markings/sec, 25 secs
lola: 12687382 markings, 50195751 edges, 280340 markings/sec, 30 secs
lola: 13918792 markings, 55593031 edges, 246282 markings/sec, 35 secs
lola: 16446486 markings, 64528388 edges, 505539 markings/sec, 40 secs
lola: 18402992 markings, 72313419 edges, 391301 markings/sec, 45 secs
lola: 20023475 markings, 79260010 edges, 324097 markings/sec, 50 secs
lola: 21351892 markings, 85228218 edges, 265683 markings/sec, 55 secs
lola: 23280982 markings, 92626717 edges, 385818 markings/sec, 60 secs
lola: 25696744 markings, 101310939 edges, 483152 markings/sec, 65 secs
lola: 27781573 markings, 109519466 edges, 416966 markings/sec, 70 secs
lola: 29572830 markings, 117008626 edges, 358251 markings/sec, 75 secs
lola: 30887252 markings, 122950666 edges, 262884 markings/sec, 80 secs
lola: 32300626 markings, 129314368 edges, 282675 markings/sec, 85 secs
lola: 34949969 markings, 138243992 edges, 529869 markings/sec, 90 secs
lola: 36689122 markings, 144766434 edges, 347831 markings/sec, 95 secs
lola: 38806205 markings, 152908087 edges, 423417 markings/sec, 100 secs
lola: 40615274 markings, 160586366 edges, 361814 markings/sec, 105 secs
lola: 42148938 markings, 167187784 edges, 306733 markings/sec, 110 secs
lola: 43454005 markings, 173044594 edges, 261013 markings/sec, 115 secs
lola: 45386622 markings, 180367537 edges, 386523 markings/sec, 120 secs
lola: 47910602 markings, 189154451 edges, 504796 markings/sec, 125 secs
lola: 50112803 markings, 197479601 edges, 440440 markings/sec, 130 secs
lola: 52175603 markings, 205490419 edges, 412560 markings/sec, 135 secs
lola: 53933038 markings, 212907435 edges, 351487 markings/sec, 140 secs
lola: 55626637 markings, 220145900 edges, 338720 markings/sec, 145 secs
lola: 56879747 markings, 225828079 edges, 250622 markings/sec, 150 secs
lola: 58537806 markings, 232628556 edges, 331612 markings/sec, 155 secs
lola: 61136248 markings, 241312525 edges, 519688 markings/sec, 160 secs
lola: 63448175 markings, 249844721 edges, 462385 markings/sec, 165 secs
lola: 65548989 markings, 257896712 edges, 420163 markings/sec, 170 secs
lola: 67460150 markings, 265435100 edges, 382232 markings/sec, 175 secs
lola: 69128325 markings, 272504995 edges, 333635 markings/sec, 180 secs
lola: 70759691 markings, 279498473 edges, 326273 markings/sec, 185 secs
lola: 71909028 markings, 284644890 edges, 229867 markings/sec, 190 secs
lola: 73014961 markings, 289691684 edges, 221187 markings/sec, 195 secs
lola: 75144125 markings, 297233156 edges, 425833 markings/sec, 200 secs
lola: 77683577 markings, 305935405 edges, 507890 markings/sec, 205 secs
lola: 79877708 markings, 314084674 edges, 438826 markings/sec, 210 secs
lola: 81840173 markings, 321614741 edges, 392493 markings/sec, 215 secs
lola: 83712548 markings, 328847609 edges, 374475 markings/sec, 220 secs
lola: 85337564 markings, 335679698 edges, 325003 markings/sec, 225 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Lac)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4491615 markings, 8111147 edges, 898323 markings/sec, 0 secs
lola: 8813885 markings, 15938211 edges, 864454 markings/sec, 5 secs
lola: 13032475 markings, 23578276 edges, 843718 markings/sec, 10 secs
lola: 17230656 markings, 30799666 edges, 839636 markings/sec, 15 secs
lola: 21361187 markings, 37831508 edges, 826106 markings/sec, 20 secs
lola: 25422208 markings, 44747122 edges, 812204 markings/sec, 25 secs
lola: 29668710 markings, 51702104 edges, 849300 markings/sec, 30 secs
lola: 33783986 markings, 59009611 edges, 823055 markings/sec, 35 secs
lola: 37769586 markings, 66228910 edges, 797120 markings/sec, 40 secs
lola: 42163684 markings, 74188609 edges, 878820 markings/sec, 45 secs
lola: 46574514 markings, 82179361 edges, 882166 markings/sec, 50 secs
lola: 51035186 markings, 90260986 edges, 892134 markings/sec, 55 secs
lola: 55545096 markings, 97258932 edges, 901982 markings/sec, 60 secs
lola: 59841937 markings, 103899417 edges, 859368 markings/sec, 65 secs
lola: 63982947 markings, 110282048 edges, 828202 markings/sec, 70 secs
lola: 68241298 markings, 116847491 edges, 851670 markings/sec, 75 secs
lola: 71692854 markings, 123723164 edges, 690311 markings/sec, 80 secs
lola: 75525228 markings, 130502286 edges, 766475 markings/sec, 85 secs
lola: 79521519 markings, 137311355 edges, 799258 markings/sec, 90 secs
lola: 83626128 markings, 144307352 edges, 820922 markings/sec, 95 secs
lola: 87363258 markings, 150678834 edges, 747426 markings/sec, 100 secs
lola: 91415648 markings, 157589314 edges, 810478 markings/sec, 105 secs
lola: 95542240 markings, 164324448 edges, 825318 markings/sec, 110 secs
lola: 99397500 markings, 170506749 edges, 771052 markings/sec, 115 secs
lola: 103788349 markings, 177313054 edges, 878170 markings/sec, 120 secs
lola: 108473367 markings, 184345422 edges, 937004 markings/sec, 125 secs
lola: 112978127 markings, 191105661 edges, 900952 markings/sec, 130 secs
lola: 117443231 markings, 197806381 edges, 893021 markings/sec, 135 secs
lola: 121657862 markings, 204284788 edges, 842926 markings/sec, 140 secs
lola: 125429125 markings, 210334655 edges, 754253 markings/sec, 145 secs
lola: 129355703 markings, 216487769 edges, 785316 markings/sec, 150 secs
lola: 133517870 markings, 222907804 edges, 832433 markings/sec, 155 secs
lola: 137662509 markings, 229302724 edges, 828928 markings/sec, 160 secs
lola: 141952613 markings, 235923985 edges, 858021 markings/sec, 165 secs
lola: 146246544 markings, 242553143 edges, 858786 markings/sec, 170 secs
lola: 150600738 markings, 249277729 edges, 870839 markings/sec, 175 secs
lola: 154592555 markings, 256153606 edges, 798363 markings/sec, 180 secs
lola: 157632106 markings, 262242119 edges, 607910 markings/sec, 185 secs
lola: 160426407 markings, 267839104 edges, 558860 markings/sec, 190 secs
lola: 163549253 markings, 274093852 edges, 624569 markings/sec, 195 secs
lola: 167540317 markings, 280635083 edges, 798213 markings/sec, 200 secs
lola: 171230584 markings, 286552709 edges, 738053 markings/sec, 205 secs
lola: 175300730 markings, 293540306 edges, 814029 markings/sec, 210 secs
lola: 179119414 markings, 300437232 edges, 763737 markings/sec, 215 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(E4P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 3667026 markings, 9777385 edges, 733405 markings/sec, 0 secs
lola: 7136705 markings, 19452146 edges, 693936 markings/sec, 5 secs
lola: 10733246 markings, 28470997 edges, 719308 markings/sec, 10 secs
lola: 13931366 markings, 36136737 edges, 639624 markings/sec, 15 secs
lola: 16872979 markings, 43194857 edges, 588323 markings/sec, 20 secs
lola: 19676794 markings, 49922559 edges, 560763 markings/sec, 25 secs
lola: 22378820 markings, 56405973 edges, 540405 markings/sec, 30 secs
lola: 24838574 markings, 62307968 edges, 491951 markings/sec, 35 secs
lola: 27289317 markings, 68188145 edges, 490149 markings/sec, 40 secs
lola: 29949835 markings, 74571932 edges, 532104 markings/sec, 45 secs
lola: 32601497 markings, 80934384 edges, 530332 markings/sec, 50 secs
lola: 35173749 markings, 87106192 edges, 514450 markings/sec, 55 secs
lola: 37692736 markings, 93150337 edges, 503797 markings/sec, 60 secs
lola: 40068235 markings, 98850104 edges, 475100 markings/sec, 65 secs
lola: 42568886 markings, 104850224 edges, 500130 markings/sec, 70 secs
lola: 45140457 markings, 111020615 edges, 514314 markings/sec, 75 secs
lola: 47744340 markings, 117268195 edges, 520777 markings/sec, 80 secs
lola: 50135005 markings, 123004528 edges, 478133 markings/sec, 85 secs
lola: 52639393 markings, 129013352 edges, 500878 markings/sec, 90 secs
lola: 55049826 markings, 134796825 edges, 482087 markings/sec, 95 secs
lola: 57434957 markings, 140519642 edges, 477026 markings/sec, 100 secs
lola: 59991982 markings, 146654831 edges, 511405 markings/sec, 105 secs
lola: 62548368 markings, 152788421 edges, 511277 markings/sec, 110 secs
lola: 65164683 markings, 159066098 edges, 523263 markings/sec, 115 secs
lola: 67720179 markings, 165197519 edges, 511099 markings/sec, 120 secs
lola: 70318457 markings, 171431767 edges, 519656 markings/sec, 125 secs
lola: 72766236 markings, 177304811 edges, 489556 markings/sec, 130 secs
lola: 75271585 markings, 183315937 edges, 501070 markings/sec, 135 secs
lola: 77782079 markings, 189339704 edges, 502099 markings/sec, 140 secs
lola: 80200645 markings, 195142469 edges, 483713 markings/sec, 145 secs
lola: 82614788 markings, 200935082 edges, 482829 markings/sec, 150 secs
lola: 85188920 markings, 207110811 edges, 514826 markings/sec, 155 secs
lola: 87744433 markings, 213242311 edges, 511103 markings/sec, 160 secs
lola: 90345616 markings, 219483463 edges, 520237 markings/sec, 165 secs
lola: 93001696 markings, 225856265 edges, 531216 markings/sec, 170 secs
lola: 95604377 markings, 232100820 edges, 520536 markings/sec, 175 secs
lola: 98146009 markings, 238198716 edges, 508326 markings/sec, 180 secs
lola: 100716464 markings, 244365995 edges, 514091 markings/sec, 185 secs
lola: 103270506 markings, 250493960 edges, 510808 markings/sec, 190 secs
lola: 105880052 markings, 256754943 edges, 521909 markings/sec, 195 secs
lola: 108483402 markings, 263000977 edges, 520670 markings/sec, 200 secs
lola: 111068337 markings, 269203057 edges, 516987 markings/sec, 205 secs
lola: 113705424 markings, 275529963 edges, 527417 markings/sec, 210 secs
lola: 116337307 markings, 281845218 edges, 526377 markings/sec, 215 secs
lola: 119139110 markings, 288569452 edges, 560361 markings/sec, 220 secs
lola: 121757062 markings, 294922040 edges, 523590 markings/sec, 225 secs
lola: 124255271 markings, 300990676 edges, 499642 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pi)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4474941 markings, 8080944 edges, 894988 markings/sec, 0 secs
lola: 8701935 markings, 15735536 edges, 845399 markings/sec, 5 secs
lola: 12973630 markings, 23471754 edges, 854339 markings/sec, 10 secs
lola: 17124333 markings, 30618668 edges, 830141 markings/sec, 15 secs
lola: 21187162 markings, 37535078 edges, 812566 markings/sec, 20 secs
lola: 25236598 markings, 44431036 edges, 809887 markings/sec, 25 secs
lola: 29247869 markings, 51027195 edges, 802254 markings/sec, 30 secs
lola: 33060777 markings, 57699805 edges, 762582 markings/sec, 35 secs
lola: 37145088 markings, 65097616 edges, 816862 markings/sec, 40 secs
lola: 41330630 markings, 72679512 edges, 837108 markings/sec, 45 secs
lola: 45429428 markings, 80104851 edges, 819760 markings/sec, 50 secs
lola: 49552568 markings, 87574828 edges, 824628 markings/sec, 55 secs
lola: 53655872 markings, 94353804 edges, 820661 markings/sec, 60 secs
lola: 57774720 markings, 100713881 edges, 823770 markings/sec, 65 secs
lola: 61734092 markings, 106815620 edges, 791874 markings/sec, 70 secs
lola: 65910643 markings, 113253886 edges, 835310 markings/sec, 75 secs
lola: 69754766 markings, 119840927 edges, 768825 markings/sec, 80 secs
lola: 72828936 markings, 125909081 edges, 614834 markings/sec, 85 secs
lola: 76441314 markings, 132063067 edges, 722476 markings/sec, 90 secs
lola: 80082442 markings, 138267435 edges, 728226 markings/sec, 95 secs
lola: 83777702 markings, 144565788 edges, 739052 markings/sec, 100 secs
lola: 87718541 markings, 151284376 edges, 788168 markings/sec, 105 secs
lola: 91603136 markings, 157909092 edges, 776919 markings/sec, 110 secs
lola: 95484343 markings, 164231597 edges, 776241 markings/sec, 115 secs
lola: 99062393 markings, 169969400 edges, 715610 markings/sec, 120 secs
lola: 102741122 markings, 175745587 edges, 735746 markings/sec, 125 secs
lola: 106974224 markings, 182095681 edges, 846620 markings/sec, 130 secs
lola: 110946544 markings, 188056878 edges, 794464 markings/sec, 135 secs
lola: 115055102 markings, 194222548 edges, 821712 markings/sec, 140 secs
lola: 119095568 markings, 200286014 edges, 808093 markings/sec, 145 secs
lola: 122829934 markings, 206171083 edges, 746873 markings/sec, 150 secs
lola: 126203641 markings, 211575306 edges, 674741 markings/sec, 155 secs
lola: 129926116 markings, 217367671 edges, 744495 markings/sec, 160 secs
lola: 133718741 markings, 223217871 edges, 758525 markings/sec, 165 secs
lola: 137544273 markings, 229120225 edges, 765106 markings/sec, 170 secs
lola: 141433139 markings, 235122145 edges, 777773 markings/sec, 175 secs
lola: 145309432 markings, 241106321 edges, 775259 markings/sec, 180 secs
lola: 149278181 markings, 247235127 edges, 793750 markings/sec, 185 secs
lola: 153303771 markings, 253568385 edges, 805118 markings/sec, 190 secs
lola: 156383739 markings, 259741562 edges, 615994 markings/sec, 195 secs
lola: 159209413 markings, 265401503 edges, 565135 markings/sec, 200 secs
lola: 162011905 markings, 271014737 edges, 560498 markings/sec, 205 secs
lola: 165386239 markings, 277180570 edges, 674867 markings/sec, 210 secs
lola: 168878506 markings, 282781056 edges, 698453 markings/sec, 215 secs
lola: 172371693 markings, 288382424 edges, 698637 markings/sec, 220 secs
lola: 176288478 markings, 295323803 edges, 783357 markings/sec, 225 secs
lola: 179990606 markings, 302008479 edges, 740426 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(GAP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 3178596 markings, 9809657 edges, 635719 markings/sec, 0 secs
lola: 5590951 markings, 19694763 edges, 482471 markings/sec, 5 secs
lola: 7812865 markings, 29849746 edges, 444383 markings/sec, 10 secs
lola: 9670871 markings, 38223780 edges, 371601 markings/sec, 15 secs
lola: 12407927 markings, 47679364 edges, 547411 markings/sec, 20 secs
lola: 14810913 markings, 56023525 edges, 480597 markings/sec, 25 secs
lola: 16980623 markings, 63562872 edges, 433942 markings/sec, 30 secs
lola: 19125766 markings, 71009107 edges, 429029 markings/sec, 35 secs
lola: 21219420 markings, 78292957 edges, 418731 markings/sec, 40 secs
lola: 23300050 markings, 85510032 edges, 416126 markings/sec, 45 secs
lola: 25347057 markings, 92635695 edges, 409401 markings/sec, 50 secs
lola: 27420221 markings, 99822982 edges, 414633 markings/sec, 55 secs
lola: 29406389 markings, 106740797 edges, 397234 markings/sec, 60 secs
lola: 31401175 markings, 113652478 edges, 398957 markings/sec, 65 secs
lola: 33330092 markings, 120368615 edges, 385783 markings/sec, 70 secs
lola: 35325029 markings, 127283488 edges, 398987 markings/sec, 75 secs
lola: 37268924 markings, 134030477 edges, 388779 markings/sec, 80 secs
lola: 39172297 markings, 140648229 edges, 380675 markings/sec, 85 secs
lola: 41086948 markings, 147286761 edges, 382930 markings/sec, 90 secs
lola: 42940402 markings, 153736039 edges, 370691 markings/sec, 95 secs
lola: 44820692 markings, 160252255 edges, 376058 markings/sec, 100 secs
lola: 46635074 markings, 166569983 edges, 362876 markings/sec, 105 secs
lola: 48511463 markings, 173069459 edges, 375278 markings/sec, 110 secs
lola: 50343637 markings, 179432832 edges, 366435 markings/sec, 115 secs
lola: 52209134 markings, 185910646 edges, 373099 markings/sec, 120 secs
lola: 54093125 markings, 192442818 edges, 376798 markings/sec, 125 secs
lola: 55956587 markings, 198927336 edges, 372692 markings/sec, 130 secs
lola: 57822554 markings, 205390081 edges, 373193 markings/sec, 135 secs
lola: 59644843 markings, 211715785 edges, 364458 markings/sec, 140 secs
lola: 61481907 markings, 218097333 edges, 367413 markings/sec, 145 secs
lola: 63340433 markings, 224538326 edges, 371705 markings/sec, 150 secs
lola: 64943341 markings, 230116850 edges, 320582 markings/sec, 155 secs
lola: 66779245 markings, 236474558 edges, 367181 markings/sec, 160 secs
lola: 68588218 markings, 242746350 edges, 361795 markings/sec, 165 secs
lola: 70378338 markings, 248972122 edges, 358024 markings/sec, 170 secs
lola: 72132711 markings, 255047336 edges, 350875 markings/sec, 175 secs
lola: 73998004 markings, 261513139 edges, 373059 markings/sec, 180 secs
lola: 75826153 markings, 267871776 edges, 365630 markings/sec, 185 secs
lola: 77721765 markings, 274437255 edges, 379122 markings/sec, 190 secs
lola: 79657231 markings, 281143379 edges, 387093 markings/sec, 195 secs
lola: 81569546 markings, 287772660 edges, 382463 markings/sec, 200 secs
lola: 83466147 markings, 294355298 edges, 379320 markings/sec, 205 secs
lola: 85392754 markings, 301041791 edges, 385321 markings/sec, 210 secs
lola: 87152059 markings, 307133494 edges, 351861 markings/sec, 215 secs
lola: 89053830 markings, 313721733 edges, 380354 markings/sec, 220 secs
lola: 90974987 markings, 320378643 edges, 384231 markings/sec, 225 secs
lola: 92919937 markings, 327117945 edges, 388990 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(E4P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 3681060 markings, 9816715 edges, 736212 markings/sec, 0 secs
lola: 7134729 markings, 19446607 edges, 690734 markings/sec, 5 secs
lola: 10620170 markings, 28200584 edges, 697088 markings/sec, 10 secs
lola: 13529722 markings, 35172964 edges, 581910 markings/sec, 15 secs
lola: 16074420 markings, 41279037 edges, 508940 markings/sec, 20 secs
lola: 18545227 markings, 47207444 edges, 494161 markings/sec, 25 secs
lola: 21035462 markings, 53182498 edges, 498047 markings/sec, 30 secs
lola: 23582680 markings, 59294437 edges, 509444 markings/sec, 35 secs
lola: 26112508 markings, 65364662 edges, 505966 markings/sec, 40 secs
lola: 28671220 markings, 71504097 edges, 511742 markings/sec, 45 secs
lola: 31218153 markings, 77615471 edges, 509387 markings/sec, 50 secs
lola: 33707913 markings, 83589146 edges, 497952 markings/sec, 55 secs
lola: 36176890 markings, 89513190 edges, 493795 markings/sec, 60 secs
lola: 38597336 markings, 95320705 edges, 484089 markings/sec, 65 secs
lola: 40976299 markings, 101028848 edges, 475793 markings/sec, 70 secs
lola: 43352887 markings, 106731180 edges, 475318 markings/sec, 75 secs
lola: 45756054 markings, 112497393 edges, 480633 markings/sec, 80 secs
lola: 48143400 markings, 118225555 edges, 477469 markings/sec, 85 secs
lola: 50491537 markings, 123859651 edges, 469627 markings/sec, 90 secs
lola: 52838306 markings, 129490561 edges, 469354 markings/sec, 95 secs
lola: 55162542 markings, 135067395 edges, 464847 markings/sec, 100 secs
lola: 57494704 markings, 140663079 edges, 466432 markings/sec, 105 secs
lola: 59834707 markings, 146277650 edges, 468001 markings/sec, 110 secs
lola: 62164344 markings, 151867205 edges, 465927 markings/sec, 115 secs
lola: 64470303 markings, 157399852 edges, 461192 markings/sec, 120 secs
lola: 66777602 markings, 162935988 edges, 461460 markings/sec, 125 secs
lola: 69102211 markings, 168513492 edges, 464922 markings/sec, 130 secs
lola: 71443318 markings, 174130793 edges, 468221 markings/sec, 135 secs
lola: 73815497 markings, 179822653 edges, 474436 markings/sec, 140 secs
lola: 76252291 markings, 185668989 edges, 487359 markings/sec, 145 secs
lola: 78688475 markings, 191514284 edges, 487237 markings/sec, 150 secs
lola: 81160452 markings, 197445385 edges, 494395 markings/sec, 155 secs
lola: 83637670 markings, 203388965 edges, 495444 markings/sec, 160 secs
lola: 86111081 markings, 209323545 edges, 494682 markings/sec, 165 secs
lola: 88577502 markings, 215241195 edges, 493284 markings/sec, 170 secs
lola: 91088034 markings, 221264553 edges, 502106 markings/sec, 175 secs
lola: 93571517 markings, 227223171 edges, 496697 markings/sec, 180 secs
lola: 96086725 markings, 233257843 edges, 503042 markings/sec, 185 secs
lola: 98609944 markings, 239311775 edges, 504644 markings/sec, 190 secs
lola: 101147252 markings, 245399738 edges, 507462 markings/sec, 195 secs
lola: 103692825 markings, 251506966 edges, 509115 markings/sec, 200 secs
lola: 106213425 markings, 257554736 edges, 504120 markings/sec, 205 secs
lola: 108730056 markings, 263592735 edges, 503326 markings/sec, 210 secs
lola: 111345929 markings, 269868949 edges, 523175 markings/sec, 215 secs
lola: 114010157 markings, 276261247 edges, 532846 markings/sec, 220 secs
lola: 116655846 markings, 282609589 edges, 529138 markings/sec, 225 secs
lola: 119308782 markings, 288976726 edges, 530587 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Lac)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4403629 markings, 7951801 edges, 880726 markings/sec, 0 secs
lola: 8687161 markings, 15708788 edges, 856706 markings/sec, 5 secs
lola: 12950040 markings, 23429008 edges, 852576 markings/sec, 10 secs
lola: 17212682 markings, 30769038 edges, 852528 markings/sec, 15 secs
lola: 21307648 markings, 37740410 edges, 818993 markings/sec, 20 secs
lola: 25440306 markings, 44777933 edges, 826532 markings/sec, 25 secs
lola: 29713798 markings, 51774414 edges, 854698 markings/sec, 30 secs
lola: 33841222 markings, 59113352 edges, 825485 markings/sec, 35 secs
lola: 38073483 markings, 66779311 edges, 846452 markings/sec, 40 secs
lola: 42468237 markings, 74740291 edges, 878951 markings/sec, 45 secs
lola: 46827324 markings, 82637372 edges, 871817 markings/sec, 50 secs
lola: 51154613 markings, 90477423 edges, 865458 markings/sec, 55 secs
lola: 55624307 markings, 97381383 edges, 893939 markings/sec, 60 secs
lola: 59930554 markings, 104036011 edges, 861249 markings/sec, 65 secs
lola: 64179415 markings, 110584783 edges, 849772 markings/sec, 70 secs
lola: 68480752 markings, 117286203 edges, 860267 markings/sec, 75 secs
lola: 71783264 markings, 123904270 edges, 660502 markings/sec, 80 secs
lola: 75506730 markings, 130470589 edges, 744693 markings/sec, 85 secs
lola: 79437518 markings, 137168519 edges, 786158 markings/sec, 90 secs
lola: 83502642 markings, 144096947 edges, 813025 markings/sec, 95 secs
lola: 87584333 markings, 151055679 edges, 816338 markings/sec, 100 secs
lola: 91612176 markings, 157924468 edges, 805569 markings/sec, 105 secs
lola: 95444636 markings, 164167933 edges, 766492 markings/sec, 110 secs
lola: 98819410 markings, 169579757 edges, 674955 markings/sec, 115 secs
lola: 102724467 markings, 175720664 edges, 781011 markings/sec, 120 secs
lola: 107177261 markings, 182400361 edges, 890559 markings/sec, 125 secs
lola: 111470607 markings, 188843342 edges, 858669 markings/sec, 130 secs
lola: 115803087 markings, 195345034 edges, 866496 markings/sec, 135 secs
lola: 120129848 markings, 201844460 edges, 865352 markings/sec, 140 secs
lola: 123765391 markings, 207669579 edges, 727109 markings/sec, 145 secs
lola: 127399843 markings, 213471624 edges, 726890 markings/sec, 150 secs
lola: 131278506 markings, 219453475 edges, 775733 markings/sec, 155 secs
lola: 135212693 markings, 225522564 edges, 786837 markings/sec, 160 secs
lola: 139326657 markings, 231871002 edges, 822793 markings/sec, 165 secs
lola: 143344556 markings, 238072858 edges, 803580 markings/sec, 170 secs
lola: 147412984 markings, 244354317 edges, 813686 markings/sec, 175 secs
lola: 151537220 markings, 250724111 edges, 824847 markings/sec, 180 secs
lola: 155155287 markings, 257280838 edges, 723613 markings/sec, 185 secs
lola: 157984755 markings, 262948492 edges, 565894 markings/sec, 190 secs
lola: 161094741 markings, 269177737 edges, 621997 markings/sec, 195 secs
lola: 164456331 markings, 275682428 edges, 672318 markings/sec, 200 secs
lola: 168199064 markings, 281691494 edges, 748547 markings/sec, 205 secs
lola: 171889440 markings, 287609156 edges, 738075 markings/sec, 210 secs
lola: 175982555 markings, 294773970 edges, 818623 markings/sec, 215 secs
lola: 179749454 markings, 301574309 edges, 753380 markings/sec, 220 secs
lola: 182106165 markings, 305830981 edges, 471342 markings/sec, 225 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Gluc)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4483598 markings, 8096594 edges, 896720 markings/sec, 0 secs
lola: 8774230 markings, 15866444 edges, 858126 markings/sec, 5 secs
lola: 13031011 markings, 23575681 edges, 851356 markings/sec, 10 secs
lola: 17338391 markings, 30983002 edges, 861476 markings/sec, 15 secs
lola: 21468302 markings, 38013882 edges, 825982 markings/sec, 20 secs
lola: 25602648 markings, 45054501 edges, 826869 markings/sec, 25 secs
lola: 29746969 markings, 51827610 edges, 828864 markings/sec, 30 secs
lola: 33740740 markings, 58931364 edges, 798754 markings/sec, 35 secs
lola: 37872149 markings, 66414683 edges, 826282 markings/sec, 40 secs
lola: 42087296 markings, 74050244 edges, 843029 markings/sec, 45 secs
lola: 46155779 markings, 81420738 edges, 813697 markings/sec, 50 secs
lola: 50284863 markings, 88901595 edges, 825817 markings/sec, 55 secs
lola: 54613378 markings, 95827584 edges, 865703 markings/sec, 60 secs
lola: 59000026 markings, 102601952 edges, 877330 markings/sec, 65 secs
lola: 63239296 markings, 109135655 edges, 847854 markings/sec, 70 secs
lola: 67474682 markings, 115665363 edges, 847077 markings/sec, 75 secs
lola: 70957451 markings, 122250086 edges, 696554 markings/sec, 80 secs
lola: 74445481 markings, 128662812 edges, 697606 markings/sec, 85 secs
lola: 78376996 markings, 135361191 edges, 786303 markings/sec, 90 secs
lola: 82390232 markings, 142200693 edges, 802647 markings/sec, 95 secs
lola: 86234260 markings, 148753537 edges, 768806 markings/sec, 100 secs
lola: 90158066 markings, 155444662 edges, 784761 markings/sec, 105 secs
lola: 94163862 markings, 162113908 edges, 801159 markings/sec, 110 secs
lola: 97784736 markings, 167920614 edges, 724175 markings/sec, 115 secs
lola: 101427118 markings, 173761171 edges, 728476 markings/sec, 120 secs
lola: 105947307 markings, 180546120 edges, 904038 markings/sec, 125 secs
lola: 110360937 markings, 187178071 edges, 882726 markings/sec, 130 secs
lola: 114682711 markings, 193663703 edges, 864355 markings/sec, 135 secs
lola: 118798354 markings, 199839974 edges, 823129 markings/sec, 140 secs
lola: 122654841 markings, 205890602 edges, 771297 markings/sec, 145 secs
lola: 126076505 markings, 211371664 edges, 684333 markings/sec, 150 secs
lola: 129702927 markings, 217023410 edges, 725284 markings/sec, 155 secs
lola: 133444303 markings, 222794507 edges, 748275 markings/sec, 160 secs
lola: 137289194 markings, 228726594 edges, 768978 markings/sec, 165 secs
lola: 141231646 markings, 234811373 edges, 788490 markings/sec, 170 secs
lola: 145279613 markings, 241060413 edges, 809593 markings/sec, 175 secs
lola: 149242439 markings, 247179532 edges, 792565 markings/sec, 180 secs
lola: 153240773 markings, 253442752 edges, 799667 markings/sec, 185 secs
lola: 156164195 markings, 259301793 edges, 584684 markings/sec, 190 secs
lola: 158855868 markings, 264693352 edges, 538335 markings/sec, 195 secs
lola: 161628498 markings, 270246807 edges, 554526 markings/sec, 200 secs
lola: 164751771 markings, 276153883 edges, 624655 markings/sec, 205 secs
lola: 168060084 markings, 281468622 edges, 661663 markings/sec, 210 secs
lola: 171389202 markings, 286807021 edges, 665824 markings/sec, 215 secs
lola: 175153049 markings, 293275831 edges, 752769 markings/sec, 220 secs
lola: 178626537 markings, 299540849 edges, 694698 markings/sec, 225 secs
lola: 181916853 markings, 305490727 edges, 658063 markings/sec, 230 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(PEP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4692249 markings, 8439241 edges, 938450 markings/sec, 0 secs
lola: 8354125 markings, 14470054 edges, 732375 markings/sec, 5 secs
lola: 11817711 markings, 20191128 edges, 692717 markings/sec, 10 secs
lola: 15201511 markings, 25770970 edges, 676760 markings/sec, 15 secs
lola: 18725647 markings, 31579749 edges, 704827 markings/sec, 20 secs
lola: 22521808 markings, 37955444 edges, 759232 markings/sec, 25 secs
lola: 25762945 markings, 43400427 edges, 648227 markings/sec, 30 secs
lola: 28903563 markings, 48676617 edges, 628124 markings/sec, 35 secs
lola: 32016014 markings, 53905651 edges, 622490 markings/sec, 40 secs
lola: 35189041 markings, 59235975 edges, 634605 markings/sec, 45 secs
lola: 38219378 markings, 64326790 edges, 606067 markings/sec, 50 secs
lola: 41370798 markings, 69620930 edges, 630284 markings/sec, 55 secs
lola: 44552430 markings, 74965968 edges, 636326 markings/sec, 60 secs
lola: 47836390 markings, 80482771 edges, 656792 markings/sec, 65 secs
lola: 51216177 markings, 86160453 edges, 675957 markings/sec, 70 secs
lola: 54682440 markings, 91983432 edges, 693253 markings/sec, 75 secs
lola: 58207202 markings, 97904705 edges, 704952 markings/sec, 80 secs
lola: 61696670 markings, 103766536 edges, 697894 markings/sec, 85 secs
lola: 65017078 markings, 109344128 edges, 664082 markings/sec, 90 secs
lola: 68256280 markings, 114785223 edges, 647840 markings/sec, 95 secs
lola: 71429248 markings, 120115085 edges, 634594 markings/sec, 100 secs
lola: 74685909 markings, 125585134 edges, 651332 markings/sec, 105 secs
lola: 78139588 markings, 131385779 edges, 690736 markings/sec, 110 secs
lola: 81625611 markings, 137246629 edges, 697205 markings/sec, 115 secs
lola: 85145323 markings, 143170267 edges, 703942 markings/sec, 120 secs
lola: 88924946 markings, 149529851 edges, 755925 markings/sec, 125 secs
lola: 92861477 markings, 156154054 edges, 787306 markings/sec, 130 secs
lola: 96840708 markings, 162851299 edges, 795846 markings/sec, 135 secs
lola: 100632725 markings, 169231474 edges, 758403 markings/sec, 140 secs
lola: 104448835 markings, 175653715 edges, 763222 markings/sec, 145 secs
lola: 108252095 markings, 182058569 edges, 760652 markings/sec, 150 secs
lola: 111995444 markings, 188353168 edges, 748670 markings/sec, 155 secs
lola: 115791365 markings, 194742230 edges, 759184 markings/sec, 160 secs
lola: 119326980 markings, 200691246 edges, 707123 markings/sec, 165 secs
lola: 122936924 markings, 206767538 edges, 721989 markings/sec, 170 secs
lola: 126569372 markings, 212879815 edges, 726490 markings/sec, 175 secs
lola: 130197162 markings, 218985942 edges, 725558 markings/sec, 180 secs
lola: 133720918 markings, 224915806 edges, 704751 markings/sec, 185 secs
lola: 137337005 markings, 231001855 edges, 723217 markings/sec, 190 secs
lola: 140787437 markings, 236808599 edges, 690086 markings/sec, 195 secs
lola: 144313039 markings, 242742812 edges, 705120 markings/sec, 200 secs
lola: 147674807 markings, 248400315 edges, 672354 markings/sec, 205 secs
lola: 151206956 markings, 254346023 edges, 706430 markings/sec, 210 secs
lola: 154556587 markings, 259982550 edges, 669926 markings/sec, 215 secs
lola: 157880083 markings, 265578465 edges, 664699 markings/sec, 220 secs
lola: 161177046 markings, 271125858 edges, 659393 markings/sec, 225 secs
lola: 164544715 markings, 276807005 edges, 673534 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NADplus)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4425164 markings, 7990797 edges, 885033 markings/sec, 0 secs
lola: 8705419 markings, 15741839 edges, 856051 markings/sec, 5 secs
lola: 12874038 markings, 23291301 edges, 833724 markings/sec, 10 secs
lola: 17189184 markings, 30728930 edges, 863029 markings/sec, 15 secs
lola: 21370084 markings, 37846723 edges, 836180 markings/sec, 20 secs
lola: 25533927 markings, 44937428 edges, 832769 markings/sec, 25 secs
lola: 29812832 markings, 51933219 edges, 855781 markings/sec, 30 secs
lola: 33945259 markings, 59301806 edges, 826485 markings/sec, 35 secs
lola: 38174974 markings, 66963224 edges, 845943 markings/sec, 40 secs
lola: 42555086 markings, 74897669 edges, 876022 markings/sec, 45 secs
lola: 46902416 markings, 82773412 edges, 869466 markings/sec, 50 secs
lola: 51215797 markings, 90588327 edges, 862676 markings/sec, 55 secs
lola: 55431333 markings, 97083745 edges, 843107 markings/sec, 60 secs
lola: 59893877 markings, 103979399 edges, 892509 markings/sec, 65 secs
lola: 64225497 markings, 110655972 edges, 866324 markings/sec, 70 secs
lola: 68593424 markings, 117510814 edges, 873585 markings/sec, 75 secs
lola: 72009096 markings, 124356625 edges, 683134 markings/sec, 80 secs
lola: 75880294 markings, 131107170 edges, 774240 markings/sec, 85 secs
lola: 79983921 markings, 138099522 edges, 820725 markings/sec, 90 secs
lola: 84163094 markings, 145222853 edges, 835835 markings/sec, 95 secs
lola: 88336966 markings, 152338804 edges, 834774 markings/sec, 100 secs
lola: 92571553 markings, 159559031 edges, 846917 markings/sec, 105 secs
lola: 96621390 markings, 166055058 edges, 809967 markings/sec, 110 secs
lola: 100487517 markings, 172254578 edges, 773225 markings/sec, 115 secs
lola: 105032990 markings, 179176713 edges, 909095 markings/sec, 120 secs
lola: 109709402 markings, 186200305 edges, 935282 markings/sec, 125 secs
lola: 114292614 markings, 193078283 edges, 916642 markings/sec, 130 secs
lola: 118783788 markings, 199818122 edges, 898235 markings/sec, 135 secs
lola: 122998435 markings, 206440995 edges, 842929 markings/sec, 140 secs
lola: 126787314 markings, 212510258 edges, 757776 markings/sec, 145 secs
lola: 130940029 markings, 218931262 edges, 830543 markings/sec, 150 secs
lola: 135196173 markings, 225497077 edges, 851229 markings/sec, 155 secs
lola: 139585104 markings, 232269862 edges, 877786 markings/sec, 160 secs
lola: 143977444 markings, 239049985 edges, 878468 markings/sec, 165 secs
lola: 148372515 markings, 245836426 edges, 879014 markings/sec, 170 secs
lola: 152567999 markings, 252316431 edges, 839097 markings/sec, 175 secs
lola: 156018089 markings, 259009143 edges, 690018 markings/sec, 180 secs
lola: 159192842 markings, 265368299 edges, 634951 markings/sec, 185 secs
lola: 162467461 markings, 271927149 edges, 654924 markings/sec, 190 secs
lola: 166323914 markings, 278684359 edges, 771291 markings/sec, 195 secs
lola: 170120929 markings, 284773359 edges, 759403 markings/sec, 200 secs
lola: 174286484 markings, 291712981 edges, 833111 markings/sec, 205 secs
lola: 178190098 markings, 298755855 edges, 780723 markings/sec, 210 secs
lola: 181928564 markings, 305514164 edges, 747693 markings/sec, 215 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(PEP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4974286 markings, 8898216 edges, 994857 markings/sec, 0 secs
lola: 8956593 markings, 15460288 edges, 796461 markings/sec, 5 secs
lola: 12811404 markings, 21817776 edges, 770962 markings/sec, 10 secs
lola: 16670445 markings, 28203069 edges, 771808 markings/sec, 15 secs
lola: 20903921 markings, 35237288 edges, 846695 markings/sec, 20 secs
lola: 24675244 markings, 41573006 edges, 754265 markings/sec, 25 secs
lola: 28295829 markings, 47655799 edges, 724117 markings/sec, 30 secs
lola: 31800329 markings, 53542792 edges, 700900 markings/sec, 35 secs
lola: 35343406 markings, 59495382 edges, 708615 markings/sec, 40 secs
lola: 38845439 markings, 65378841 edges, 700407 markings/sec, 45 secs
lola: 42348117 markings, 71263095 edges, 700536 markings/sec, 50 secs
lola: 45870276 markings, 77179866 edges, 704432 markings/sec, 55 secs
lola: 49378640 markings, 83073516 edges, 701673 markings/sec, 60 secs
lola: 52896915 markings, 88983757 edges, 703655 markings/sec, 65 secs
lola: 56444181 markings, 94943082 edges, 709453 markings/sec, 70 secs
lola: 59956918 markings, 100843666 edges, 702547 markings/sec, 75 secs
lola: 63491260 markings, 106780850 edges, 706868 markings/sec, 80 secs
lola: 67010194 markings, 112692073 edges, 703787 markings/sec, 85 secs
lola: 70593763 markings, 118711556 edges, 716714 markings/sec, 90 secs
lola: 74176170 markings, 124728891 edges, 716481 markings/sec, 95 secs
lola: 77836344 markings, 130876467 edges, 732035 markings/sec, 100 secs
lola: 81594347 markings, 137194096 edges, 751601 markings/sec, 105 secs
lola: 85370067 markings, 143548349 edges, 755144 markings/sec, 110 secs
lola: 89295660 markings, 150161039 edges, 785119 markings/sec, 115 secs
lola: 93122178 markings, 156592687 edges, 765304 markings/sec, 120 secs
lola: 97030475 markings, 163170223 edges, 781659 markings/sec, 125 secs
lola: 100791969 markings, 169500038 edges, 752299 markings/sec, 130 secs
lola: 104587634 markings, 175887219 edges, 759133 markings/sec, 135 secs
lola: 108424380 markings, 182344785 edges, 767349 markings/sec, 140 secs
lola: 112106536 markings, 188540059 edges, 736431 markings/sec, 145 secs
lola: 115936292 markings, 194985951 edges, 765951 markings/sec, 150 secs
lola: 119613244 markings, 201173414 edges, 735390 markings/sec, 155 secs
lola: 123358771 markings, 207476612 edges, 749105 markings/sec, 160 secs
lola: 127234535 markings, 214000479 edges, 775153 markings/sec, 165 secs
lola: 130946149 markings, 220245744 edges, 742323 markings/sec, 170 secs
lola: 134762748 markings, 226669623 edges, 763320 markings/sec, 175 secs
lola: 138426005 markings, 232834353 edges, 732651 markings/sec, 180 secs
lola: 142157246 markings, 239114677 edges, 746248 markings/sec, 185 secs
lola: 145933696 markings, 245475937 edges, 755290 markings/sec, 190 secs
lola: 149576126 markings, 251600417 edges, 728486 markings/sec, 195 secs
lola: 153329116 markings, 257918363 edges, 750598 markings/sec, 200 secs
lola: 156895503 markings, 263919078 edges, 713277 markings/sec, 205 secs
lola: 160598919 markings, 270153581 edges, 740683 markings/sec, 210 secs
lola: 164376792 markings, 276511187 edges, 755575 markings/sec, 215 secs
lola: 168245882 markings, 283023753 edges, 773818 markings/sec, 220 secs
lola: 172138739 markings, 289577149 edges, 778571 markings/sec, 225 secs
lola: 175850992 markings, 295823823 edges, 742451 markings/sec, 230 secs
lola: 179664190 markings, 302243274 edges, 762640 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NADplus)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4653879 markings, 8404951 edges, 930776 markings/sec, 0 secs
lola: 9127779 markings, 16506700 edges, 894780 markings/sec, 5 secs
lola: 13542820 markings, 24502596 edges, 883008 markings/sec, 10 secs
lola: 18027258 markings, 32155630 edges, 896888 markings/sec, 15 secs
lola: 22133824 markings, 39147181 edges, 821313 markings/sec, 20 secs
lola: 26365774 markings, 46354064 edges, 846390 markings/sec, 25 secs
lola: 30696363 markings, 53417363 edges, 866118 markings/sec, 30 secs
lola: 34829214 markings, 60902832 edges, 826570 markings/sec, 35 secs
lola: 39158603 markings, 68744968 edges, 865878 markings/sec, 40 secs
lola: 43537476 markings, 76677248 edges, 875775 markings/sec, 45 secs
lola: 47932214 markings, 84639029 edges, 878948 markings/sec, 50 secs
lola: 52385905 markings, 92403262 edges, 890738 markings/sec, 55 secs
lola: 56947143 markings, 99438674 edges, 912248 markings/sec, 60 secs
lola: 61367739 markings, 106250995 edges, 884119 markings/sec, 65 secs
lola: 65735785 markings, 112984134 edges, 873609 markings/sec, 70 secs
lola: 69825188 markings, 119982014 edges, 817881 markings/sec, 75 secs
lola: 73248014 markings, 126622970 edges, 684565 markings/sec, 80 secs
lola: 77218228 markings, 133386584 edges, 794043 markings/sec, 85 secs
lola: 81330950 markings, 140395431 edges, 822544 markings/sec, 90 secs
lola: 85482692 markings, 147472500 edges, 830348 markings/sec, 95 secs
lola: 89650891 markings, 154579518 edges, 833640 markings/sec, 100 secs
lola: 93993612 markings, 161840847 edges, 868544 markings/sec, 105 secs
lola: 97815852 markings, 167970509 edges, 764448 markings/sec, 110 secs
lola: 101795739 markings, 174332265 edges, 795977 markings/sec, 115 secs
lola: 106538701 markings, 181442094 edges, 948592 markings/sec, 120 secs
lola: 111119367 markings, 188316238 edges, 916133 markings/sec, 125 secs
lola: 115628323 markings, 195082774 edges, 901791 markings/sec, 130 secs
lola: 120143899 markings, 201866941 edges, 903115 markings/sec, 135 secs
lola: 124133639 markings, 208259465 edges, 797948 markings/sec, 140 secs
lola: 128029075 markings, 214441946 edges, 779087 markings/sec, 145 secs
lola: 132221239 markings, 220907578 edges, 838433 markings/sec, 150 secs
lola: 136533195 markings, 227560168 edges, 862391 markings/sec, 155 secs
lola: 140909139 markings, 234313352 edges, 875189 markings/sec, 160 secs
lola: 145298049 markings, 241088812 edges, 877782 markings/sec, 165 secs
lola: 149712548 markings, 247905804 edges, 882900 markings/sec, 170 secs
lola: 154001061 markings, 254959996 edges, 857703 markings/sec, 175 secs
lola: 157243969 markings, 261464666 edges, 648582 markings/sec, 180 secs
lola: 160445489 markings, 267877316 edges, 640304 markings/sec, 185 secs
lola: 163734473 markings, 274464805 edges, 657797 markings/sec, 190 secs
lola: 167747527 markings, 280967387 edges, 802611 markings/sec, 195 secs
lola: 171613807 markings, 287167176 edges, 773256 markings/sec, 200 secs
lola: 175736865 markings, 294328779 edges, 824612 markings/sec, 205 secs
lola: 179537590 markings, 301185767 edges, 760145 markings/sec, 210 secs
lola: 181877215 markings, 305411362 edges, 467925 markings/sec, 215 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 251 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(R5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: 4128067 markings, 8022586 edges, 825613 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: subprocess 15 will run for 496 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(E4P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 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: ========================================
lola: 3744022 markings, 9992640 edges, 748804 markings/sec, 0 secs
lola: 7263042 markings, 19804709 edges, 703804 markings/sec, 5 secs
lola: 10864648 markings, 28785454 edges, 720321 markings/sec, 10 secs
lola: 13941847 markings, 36161932 edges, 615440 markings/sec, 15 secs
lola: 16771479 markings, 42951434 edges, 565926 markings/sec, 20 secs
lola: 19512127 markings, 49527439 edges, 548130 markings/sec, 25 secs
lola: 22170869 markings, 55907234 edges, 531748 markings/sec, 30 secs
lola: 24834765 markings, 62298799 edges, 532779 markings/sec, 35 secs
lola: 27490490 markings, 68671007 edges, 531145 markings/sec, 40 secs
lola: 29936441 markings, 74539732 edges, 489190 markings/sec, 45 secs
lola: 32536699 markings, 80778831 edges, 520052 markings/sec, 50 secs
lola: 35122797 markings, 86984012 edges, 517220 markings/sec, 55 secs
lola: 37680267 markings, 93120324 edges, 511494 markings/sec, 60 secs
lola: 40231667 markings, 99242256 edges, 510280 markings/sec, 65 secs
lola: 42736278 markings, 105251860 edges, 500922 markings/sec, 70 secs
lola: 45258260 markings, 111303161 edges, 504396 markings/sec, 75 secs
lola: 47726733 markings, 117226013 edges, 493695 markings/sec, 80 secs
lola: 50180974 markings, 123114607 edges, 490848 markings/sec, 85 secs
lola: 52661653 markings, 129066759 edges, 496136 markings/sec, 90 secs
lola: 55156717 markings, 135053367 edges, 499013 markings/sec, 95 secs
lola: 57624479 markings, 140974364 edges, 493552 markings/sec, 100 secs
lola: 60091688 markings, 146894081 edges, 493442 markings/sec, 105 secs
lola: 62561153 markings, 152819180 edges, 493893 markings/sec, 110 secs
lola: 65031064 markings, 158745493 edges, 493982 markings/sec, 115 secs
lola: 67497942 markings, 164664381 edges, 493376 markings/sec, 120 secs
lola: 69988243 markings, 170639711 edges, 498060 markings/sec, 125 secs
lola: 72487649 markings, 176636314 edges, 499881 markings/sec, 130 secs
lola: 74991583 markings, 182644237 edges, 500787 markings/sec, 135 secs
lola: 77508134 markings, 188682506 edges, 503310 markings/sec, 140 secs
lola: 80022296 markings, 194714585 edges, 502832 markings/sec, 145 secs
lola: 82508623 markings, 200680116 edges, 497265 markings/sec, 150 secs
lola: 85115766 markings, 206935298 edges, 521429 markings/sec, 155 secs
lola: 87684686 markings, 213098954 edges, 513784 markings/sec, 160 secs
lola: 90222372 markings, 219187904 edges, 507537 markings/sec, 165 secs
lola: 92770267 markings, 225300856 edges, 509579 markings/sec, 170 secs
lola: 95313098 markings, 231401788 edges, 508566 markings/sec, 175 secs
lola: 97888303 markings, 237580607 edges, 515041 markings/sec, 180 secs
lola: 100474172 markings, 243784607 edges, 517174 markings/sec, 185 secs
lola: 103034200 markings, 249926887 edges, 512006 markings/sec, 190 secs
lola: 105676504 markings, 256266384 edges, 528461 markings/sec, 195 secs
lola: 108292809 markings, 262543826 edges, 523261 markings/sec, 200 secs
lola: 110955982 markings, 268933777 edges, 532635 markings/sec, 205 secs
lola: 113628246 markings, 275344999 edges, 534453 markings/sec, 210 secs
lola: 116347680 markings, 281870090 edges, 543887 markings/sec, 215 secs
lola: 119145195 markings, 288584019 edges, 559503 markings/sec, 220 secs
lola: 121763799 markings, 294938243 edges, 523721 markings/sec, 225 secs
lola: 124288492 markings, 301070527 edges, 504939 markings/sec, 230 secs
lola: 126656640 markings, 306765429 edges, 473630 markings/sec, 235 secs
lola: 129226043 markings, 313002657 edges, 513881 markings/sec, 240 secs
lola: 131884550 markings, 319456211 edges, 531701 markings/sec, 245 secs
lola: 134554239 markings, 325937354 edges, 533938 markings/sec, 250 secs
lola: 137059925 markings, 331962261 edges, 501137 markings/sec, 255 secs
lola: 139668267 markings, 338293647 edges, 521668 markings/sec, 260 secs
lola: 142399251 markings, 344921647 edges, 546197 markings/sec, 265 secs
lola: 145051104 markings, 351360067 edges, 530371 markings/sec, 270 secs
lola: 147529808 markings, 357320014 edges, 495741 markings/sec, 275 secs
lola: 150144529 markings, 363667006 edges, 522944 markings/sec, 280 secs
lola: 152728281 markings, 369941266 edges, 516750 markings/sec, 285 secs
lola: 155267858 markings, 376110162 edges, 507915 markings/sec, 290 secs
lola: 157747090 markings, 382070228 edges, 495846 markings/sec, 295 secs
lola: 160356313 markings, 388404947 edges, 521845 markings/sec, 300 secs
lola: 163049219 markings, 394941993 edges, 538581 markings/sec, 305 secs
lola: 165643558 markings, 401242806 edges, 518868 markings/sec, 310 secs
lola: 168126361 markings, 407210982 edges, 496561 markings/sec, 315 secs
lola: 170695102 markings, 413448759 edges, 513748 markings/sec, 320 secs
lola: 173266636 markings, 419694425 edges, 514307 markings/sec, 325 secs
lola: 175662498 markings, 425456079 edges, 479172 markings/sec, 330 secs
lola: 178182834 markings, 431575934 edges, 504067 markings/sec, 335 secs
lola: 180701627 markings, 437694461 edges, 503759 markings/sec, 340 secs
lola: 183155312 markings, 443657485 edges, 490737 markings/sec, 345 secs
lola: 185586209 markings, 449500841 edges, 486179 markings/sec, 350 secs
lola: 188184779 markings, 455810664 edges, 519714 markings/sec, 355 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 396 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 2 unknown
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-0 396 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-14 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000010000-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496399815473

--------------------
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_GPPP-PT-C0100N0000010000"
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_GPPP-PT-C0100N0000010000.tgz
mv S_GPPP-PT-C0100N0000010000 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_GPPP-PT-C0100N0000010000, 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 r108-blw3-149441612600551"
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 ;