About the Execution of LoLA for S_GPPP-PT-C0100N0000100000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15941.000 | 3375070.00 | 3378675.00 | 1864.60 | ? ? ? ? ? ? 200 ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_GPPP-PT-C0100N0000100000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612600560
=====================================================================
--------------------
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-C0100N0000100000-UpperBounds-0
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-1
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-10
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-11
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-12
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-13
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-14
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-15
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-2
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-3
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-4
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-5
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-6
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-7
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-8
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496397315251
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_GPPP-PT-C0100N0000100000: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_GPPP-PT-C0100N0000100000: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_GPPP-PT-C0100N0000100000 @ 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-C0100N0000100000-UpperBounds.task
lola: MAX(PEP) : MAX(_1_3_BPG) : MAX(Pyr) : MAX(PEP) : MAX(Pi) : MAX(DHAP) : MAX(Pi) : MAX(c1) : MAX(_2PG) : MAX(G6P) : MAX(c1) : MAX(NADPplus) : MAX(NADplus) : MAX(GSH) : MAX(a2) : MAX(PEP)
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(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: 5040421 markings, 9008207 edges, 1008084 markings/sec, 0 secs
lola: 9138948 markings, 15759430 edges, 819705 markings/sec, 5 secs
lola: 13057572 markings, 22218187 edges, 783725 markings/sec, 10 secs
lola: 16999143 markings, 28698269 edges, 788314 markings/sec, 15 secs
lola: 21279039 markings, 35867191 edges, 855979 markings/sec, 20 secs
lola: 25138603 markings, 42351546 edges, 771913 markings/sec, 25 secs
lola: 28564163 markings, 48106457 edges, 685112 markings/sec, 30 secs
lola: 31945409 markings, 53786817 edges, 676249 markings/sec, 35 secs
lola: 35497307 markings, 59753841 edges, 710380 markings/sec, 40 secs
lola: 38925731 markings, 65513316 edges, 685685 markings/sec, 45 secs
lola: 42311292 markings, 71200901 edges, 677112 markings/sec, 50 secs
lola: 45855221 markings, 77154422 edges, 708786 markings/sec, 55 secs
lola: 49412154 markings, 83129903 edges, 711387 markings/sec, 60 secs
lola: 52972463 markings, 89111077 edges, 712062 markings/sec, 65 secs
lola: 56610343 markings, 95222113 edges, 727576 markings/sec, 70 secs
lola: 60228174 markings, 101299549 edges, 723566 markings/sec, 75 secs
lola: 63497400 markings, 106791242 edges, 653845 markings/sec, 80 secs
lola: 66890432 markings, 112490966 edges, 678606 markings/sec, 85 secs
lola: 70349488 markings, 118301226 edges, 691811 markings/sec, 90 secs
lola: 73921812 markings, 124301714 edges, 714465 markings/sec, 95 secs
lola: 77578713 markings, 130443617 edges, 731380 markings/sec, 100 secs
lola: 81155527 markings, 136455761 edges, 715363 markings/sec, 105 secs
lola: 84805683 markings, 142599472 edges, 730031 markings/sec, 110 secs
lola: 88547892 markings, 148895125 edges, 748442 markings/sec, 115 secs
lola: 92391592 markings, 155363917 edges, 768740 markings/sec, 120 secs
lola: 96093615 markings, 161598335 edges, 740405 markings/sec, 125 secs
lola: 99921371 markings, 168034643 edges, 765551 markings/sec, 130 secs
lola: 103853484 markings, 174652728 edges, 786423 markings/sec, 135 secs
lola: 107732230 markings, 181178796 edges, 775749 markings/sec, 140 secs
lola: 111619007 markings, 187719892 edges, 777355 markings/sec, 145 secs
lola: 115491776 markings, 194238598 edges, 774554 markings/sec, 150 secs
lola: 118960652 markings, 200074809 edges, 693775 markings/sec, 155 secs
lola: 122560994 markings, 206135251 edges, 720068 markings/sec, 160 secs
lola: 126116770 markings, 212118147 edges, 711155 markings/sec, 165 secs
lola: 129854581 markings, 218409808 edges, 747562 markings/sec, 170 secs
lola: 133371208 markings, 224326804 edges, 703325 markings/sec, 175 secs
lola: 137017092 markings, 230464048 edges, 729177 markings/sec, 180 secs
lola: 140455480 markings, 236249942 edges, 687678 markings/sec, 185 secs
lola: 144075893 markings, 242344074 edges, 724083 markings/sec, 190 secs
lola: 147570587 markings, 248224699 edges, 698939 markings/sec, 195 secs
lola: 151187151 markings, 254312717 edges, 723313 markings/sec, 200 secs
lola: 154487568 markings, 259866530 edges, 660083 markings/sec, 205 secs
lola: 158024559 markings, 265820849 edges, 707398 markings/sec, 210 secs
lola: 161419986 markings, 271534530 edges, 679085 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(_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: 3631912 markings, 9679493 edges, 726382 markings/sec, 0 secs
lola: 7068046 markings, 19260271 edges, 687227 markings/sec, 5 secs
lola: 10681084 markings, 28346112 edges, 722608 markings/sec, 10 secs
lola: 13723491 markings, 35638035 edges, 608481 markings/sec, 15 secs
lola: 16357626 markings, 41958531 edges, 526827 markings/sec, 20 secs
lola: 18890778 markings, 48037145 edges, 506630 markings/sec, 25 secs
lola: 21491223 markings, 54276095 edges, 520089 markings/sec, 30 secs
lola: 24100332 markings, 60536597 edges, 521822 markings/sec, 35 secs
lola: 26675456 markings, 66715196 edges, 515025 markings/sec, 40 secs
lola: 29258159 markings, 72912285 edges, 516541 markings/sec, 45 secs
lola: 31849086 markings, 79128967 edges, 518185 markings/sec, 50 secs
lola: 34428168 markings, 85317409 edges, 515816 markings/sec, 55 secs
lola: 36994368 markings, 91474815 edges, 513240 markings/sec, 60 secs
lola: 39252820 markings, 96893745 edges, 451690 markings/sec, 65 secs
lola: 41624884 markings, 102585098 edges, 474413 markings/sec, 70 secs
lola: 44104769 markings, 108535311 edges, 495977 markings/sec, 75 secs
lola: 46565015 markings, 114438338 edges, 492049 markings/sec, 80 secs
lola: 49022930 markings, 120335987 edges, 491583 markings/sec, 85 secs
lola: 51476485 markings, 126222949 edges, 490711 markings/sec, 90 secs
lola: 53905883 markings, 132051923 edges, 485880 markings/sec, 95 secs
lola: 56237681 markings, 137646913 edges, 466360 markings/sec, 100 secs
lola: 58605831 markings, 143328917 edges, 473630 markings/sec, 105 secs
lola: 61041691 markings, 149173525 edges, 487172 markings/sec, 110 secs
lola: 63475708 markings, 155013670 edges, 486803 markings/sec, 115 secs
lola: 65968156 markings, 160994229 edges, 498490 markings/sec, 120 secs
lola: 68444509 markings, 166935499 edges, 495271 markings/sec, 125 secs
lola: 70826518 markings, 172650678 edges, 476402 markings/sec, 130 secs
lola: 73158917 markings, 178246969 edges, 466480 markings/sec, 135 secs
lola: 75437518 markings, 183714203 edges, 455720 markings/sec, 140 secs
lola: 77662631 markings, 189053009 edges, 445023 markings/sec, 145 secs
lola: 79940586 markings, 194518443 edges, 455591 markings/sec, 150 secs
lola: 82206161 markings, 199954224 edges, 453115 markings/sec, 155 secs
lola: 84491888 markings, 205438530 edges, 457145 markings/sec, 160 secs
lola: 86778846 markings, 210925684 edges, 457392 markings/sec, 165 secs
lola: 89154016 markings, 216624499 edges, 475034 markings/sec, 170 secs
lola: 91600125 markings, 222493473 edges, 489222 markings/sec, 175 secs
lola: 94111693 markings, 228519343 edges, 502314 markings/sec, 180 secs
lola: 96382153 markings, 233966804 edges, 454092 markings/sec, 185 secs
lola: 98856754 markings, 239903903 edges, 494920 markings/sec, 190 secs
lola: 101424535 markings, 246064761 edges, 513556 markings/sec, 195 secs
lola: 103925176 markings, 252064462 edges, 500128 markings/sec, 200 secs
lola: 106515469 markings, 258279259 edges, 518059 markings/sec, 205 secs
lola: 109133220 markings, 264560184 edges, 523550 markings/sec, 210 secs
lola: 111773291 markings, 270894330 edges, 528014 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(Pyr)
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: 4158313 markings, 8771069 edges, 831663 markings/sec, 0 secs
lola: 7771769 markings, 16213647 edges, 722691 markings/sec, 5 secs
lola: 11300925 markings, 23482904 edges, 705831 markings/sec, 10 secs
lola: 14788006 markings, 30664649 edges, 697416 markings/sec, 15 secs
lola: 18198393 markings, 37686972 edges, 682077 markings/sec, 20 secs
lola: 21743635 markings, 44984499 edges, 709048 markings/sec, 25 secs
lola: 25288581 markings, 52290876 edges, 708989 markings/sec, 30 secs
lola: 28972205 markings, 59920270 edges, 736725 markings/sec, 35 secs
lola: 32671162 markings, 67581777 edges, 739791 markings/sec, 40 secs
lola: 36268359 markings, 75033146 edges, 719439 markings/sec, 45 secs
lola: 39863371 markings, 82480388 edges, 719002 markings/sec, 50 secs
lola: 43444723 markings, 89899367 edges, 716270 markings/sec, 55 secs
lola: 46977629 markings, 97218623 edges, 706581 markings/sec, 60 secs
lola: 50466983 markings, 104448197 edges, 697871 markings/sec, 65 secs
lola: 54119484 markings, 112014772 edges, 730500 markings/sec, 70 secs
lola: 57761836 markings, 119560394 edges, 728470 markings/sec, 75 secs
lola: 61328968 markings, 126951047 edges, 713426 markings/sec, 80 secs
lola: 64936858 markings, 134425906 edges, 721578 markings/sec, 85 secs
lola: 68515593 markings, 141840795 edges, 715747 markings/sec, 90 secs
lola: 71973383 markings, 149006194 edges, 691558 markings/sec, 95 secs
lola: 75452624 markings, 156216192 edges, 695848 markings/sec, 100 secs
lola: 78883034 markings, 163325362 edges, 686082 markings/sec, 105 secs
lola: 82264288 markings, 170327718 edges, 676251 markings/sec, 110 secs
lola: 85681576 markings, 177410105 edges, 683458 markings/sec, 115 secs
lola: 89072207 markings, 184437838 edges, 678126 markings/sec, 120 secs
lola: 92460382 markings, 191460616 edges, 677635 markings/sec, 125 secs
lola: 95835766 markings, 198553900 edges, 675077 markings/sec, 130 secs
lola: 98974954 markings, 205082397 edges, 627838 markings/sec, 135 secs
lola: 101931510 markings, 211249058 edges, 591311 markings/sec, 140 secs
lola: 104844912 markings, 217328551 edges, 582680 markings/sec, 145 secs
lola: 107749157 markings, 223392887 edges, 580849 markings/sec, 150 secs
lola: 110811182 markings, 229798233 edges, 612405 markings/sec, 155 secs
lola: 113824444 markings, 236109222 edges, 602652 markings/sec, 160 secs
lola: 117015897 markings, 242768877 edges, 638291 markings/sec, 165 secs
lola: 120129847 markings, 249268054 edges, 622790 markings/sec, 170 secs
lola: 123231271 markings, 255741930 edges, 620285 markings/sec, 175 secs
lola: 126374334 markings, 262303274 edges, 628613 markings/sec, 180 secs
lola: 129444232 markings, 268713031 edges, 613980 markings/sec, 185 secs
lola: 132394909 markings, 274875312 edges, 590135 markings/sec, 190 secs
lola: 135339689 markings, 281026543 edges, 588956 markings/sec, 195 secs
lola: 138248220 markings, 287098808 edges, 581706 markings/sec, 200 secs
lola: 141163405 markings, 293189540 edges, 583037 markings/sec, 205 secs
lola: 144049520 markings, 299217157 edges, 577223 markings/sec, 210 secs
lola: 146931344 markings, 305239403 edges, 576365 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(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: 4724323 markings, 8489467 edges, 944865 markings/sec, 0 secs
lola: 8635580 markings, 14917549 edges, 782251 markings/sec, 5 secs
lola: 12427791 markings, 21190257 edges, 758442 markings/sec, 10 secs
lola: 16248568 markings, 27469035 edges, 764155 markings/sec, 15 secs
lola: 20377294 markings, 34352670 edges, 825745 markings/sec, 20 secs
lola: 24131344 markings, 40659426 edges, 750810 markings/sec, 25 secs
lola: 27654457 markings, 46577990 edges, 704623 markings/sec, 30 secs
lola: 31093626 markings, 52355856 edges, 687834 markings/sec, 35 secs
lola: 34514444 markings, 58102469 edges, 684164 markings/sec, 40 secs
lola: 37825582 markings, 63665235 edges, 662228 markings/sec, 45 secs
lola: 41134666 markings, 69224313 edges, 661817 markings/sec, 50 secs
lola: 44507192 markings, 74889908 edges, 674505 markings/sec, 55 secs
lola: 47927986 markings, 80636543 edges, 684159 markings/sec, 60 secs
lola: 51385361 markings, 86444700 edges, 691475 markings/sec, 65 secs
lola: 54819971 markings, 92214502 edges, 686922 markings/sec, 70 secs
lola: 58274217 markings, 98017179 edges, 690849 markings/sec, 75 secs
lola: 61764023 markings, 103879508 edges, 697961 markings/sec, 80 secs
lola: 65262464 markings, 109756215 edges, 699688 markings/sec, 85 secs
lola: 68784436 markings, 115672482 edges, 704394 markings/sec, 90 secs
lola: 72339220 markings, 121643407 edges, 710957 markings/sec, 95 secs
lola: 75903662 markings, 127630371 edges, 712888 markings/sec, 100 secs
lola: 79586236 markings, 133815686 edges, 736515 markings/sec, 105 secs
lola: 83274374 markings, 140021396 edges, 737628 markings/sec, 110 secs
lola: 87121561 markings, 146497669 edges, 769437 markings/sec, 115 secs
lola: 91006359 markings, 153032309 edges, 776960 markings/sec, 120 secs
lola: 94874858 markings, 159542782 edges, 773700 markings/sec, 125 secs
lola: 98673146 markings, 165943107 edges, 759658 markings/sec, 130 secs
lola: 102399441 markings, 172204811 edges, 745259 markings/sec, 135 secs
lola: 106256183 markings, 178695488 edges, 771348 markings/sec, 140 secs
lola: 109973311 markings, 184950252 edges, 743426 markings/sec, 145 secs
lola: 113720808 markings, 191257423 edges, 749499 markings/sec, 150 secs
lola: 117350278 markings, 197369921 edges, 725894 markings/sec, 155 secs
lola: 120570074 markings, 202784113 edges, 643959 markings/sec, 160 secs
lola: 124165828 markings, 208834754 edges, 719151 markings/sec, 165 secs
lola: 127946078 markings, 215197216 edges, 756050 markings/sec, 170 secs
lola: 131605544 markings, 221366566 edges, 731893 markings/sec, 175 secs
lola: 135285800 markings, 227549555 edges, 736051 markings/sec, 180 secs
lola: 139050606 markings, 233886914 edges, 752961 markings/sec, 185 secs
lola: 142548470 markings, 239772569 edges, 699573 markings/sec, 190 secs
lola: 146298461 markings, 246085179 edges, 749998 markings/sec, 195 secs
lola: 149792957 markings, 251965206 edges, 698899 markings/sec, 200 secs
lola: 153553940 markings, 258296215 edges, 752197 markings/sec, 205 secs
lola: 157097792 markings, 264259560 edges, 708770 markings/sec, 210 secs
lola: 160758378 markings, 270421957 edges, 732117 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(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: 4445046 markings, 8026810 edges, 889009 markings/sec, 0 secs
lola: 8779736 markings, 15876445 edges, 866938 markings/sec, 5 secs
lola: 13096074 markings, 23693526 edges, 863268 markings/sec, 10 secs
lola: 17461190 markings, 31192064 edges, 873023 markings/sec, 15 secs
lola: 21607594 markings, 38251174 edges, 829281 markings/sec, 20 secs
lola: 25814552 markings, 45415391 edges, 841392 markings/sec, 25 secs
lola: 30137372 markings, 52453695 edges, 864564 markings/sec, 30 secs
lola: 34247153 markings, 59848591 edges, 821956 markings/sec, 35 secs
lola: 38480866 markings, 67517244 edges, 846743 markings/sec, 40 secs
lola: 42829547 markings, 75394904 edges, 869736 markings/sec, 45 secs
lola: 47163568 markings, 83246578 edges, 866804 markings/sec, 50 secs
lola: 51487185 markings, 91019458 edges, 864723 markings/sec, 55 secs
lola: 56064766 markings, 98079267 edges, 915516 markings/sec, 60 secs
lola: 60488198 markings, 104895393 edges, 884686 markings/sec, 65 secs
lola: 64878134 markings, 111662070 edges, 877987 markings/sec, 70 secs
lola: 69127257 markings, 118576232 edges, 849825 markings/sec, 75 secs
lola: 72430664 markings, 125201045 edges, 660681 markings/sec, 80 secs
lola: 76368155 markings, 131938345 edges, 787498 markings/sec, 85 secs
lola: 80428602 markings, 138857321 edges, 812089 markings/sec, 90 secs
lola: 84548897 markings, 145880609 edges, 824059 markings/sec, 95 secs
lola: 88694674 markings, 152949032 edges, 829155 markings/sec, 100 secs
lola: 92955412 markings, 160170551 edges, 852148 markings/sec, 105 secs
lola: 96903890 markings, 166508069 edges, 789696 markings/sec, 110 secs
lola: 100767742 markings, 172703905 edges, 772770 markings/sec, 115 secs
lola: 105319456 markings, 179605820 edges, 910343 markings/sec, 120 secs
lola: 109935160 markings, 186539113 edges, 923141 markings/sec, 125 secs
lola: 114462704 markings, 193333523 edges, 905509 markings/sec, 130 secs
lola: 118980370 markings, 200113141 edges, 903533 markings/sec, 135 secs
lola: 123141285 markings, 206669832 edges, 832183 markings/sec, 140 secs
lola: 126923129 markings, 212727821 edges, 756369 markings/sec, 145 secs
lola: 130978269 markings, 218990484 edges, 811028 markings/sec, 150 secs
lola: 135209875 markings, 225518197 edges, 846321 markings/sec, 155 secs
lola: 139531859 markings, 232187833 edges, 864397 markings/sec, 160 secs
lola: 143918070 markings, 238958033 edges, 877242 markings/sec, 165 secs
lola: 148300137 markings, 245724425 edges, 876413 markings/sec, 170 secs
lola: 152700427 markings, 252520993 edges, 880058 markings/sec, 175 secs
lola: 156062219 markings, 259097533 edges, 672358 markings/sec, 180 secs
lola: 158871497 markings, 264724631 edges, 561856 markings/sec, 185 secs
lola: 162027581 markings, 271046115 edges, 631217 markings/sec, 190 secs
lola: 165716746 markings, 277710608 edges, 737833 markings/sec, 195 secs
lola: 169396454 markings, 283611631 edges, 735942 markings/sec, 200 secs
lola: 173297590 markings, 289933359 edges, 780227 markings/sec, 205 secs
lola: 177276376 markings, 297108853 edges, 795757 markings/sec, 210 secs
lola: 180952303 markings, 303745193 edges, 735185 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(DHAP)
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: 3353285 markings, 9909918 edges, 670657 markings/sec, 0 secs
lola: 6072342 markings, 19662349 edges, 543811 markings/sec, 5 secs
lola: 8956256 markings, 29392394 edges, 576783 markings/sec, 10 secs
lola: 11791178 markings, 37284394 edges, 566984 markings/sec, 15 secs
lola: 14295463 markings, 44273894 edges, 500857 markings/sec, 20 secs
lola: 16676565 markings, 50922274 edges, 476220 markings/sec, 25 secs
lola: 19002765 markings, 57421097 edges, 465240 markings/sec, 30 secs
lola: 21328586 markings, 63917389 edges, 465164 markings/sec, 35 secs
lola: 23643774 markings, 70381202 edges, 463038 markings/sec, 40 secs
lola: 25970217 markings, 76876869 edges, 465289 markings/sec, 45 secs
lola: 28268796 markings, 83297365 edges, 459716 markings/sec, 50 secs
lola: 30576197 markings, 89742874 edges, 461480 markings/sec, 55 secs
lola: 32878215 markings, 96169404 edges, 460404 markings/sec, 60 secs
lola: 35150870 markings, 102514320 edges, 454531 markings/sec, 65 secs
lola: 37414101 markings, 108833536 edges, 452646 markings/sec, 70 secs
lola: 39439381 markings, 114493679 edges, 405056 markings/sec, 75 secs
lola: 41677569 markings, 120741214 edges, 447638 markings/sec, 80 secs
lola: 43873143 markings, 126870325 edges, 439115 markings/sec, 85 secs
lola: 46046424 markings, 132937171 edges, 434656 markings/sec, 90 secs
lola: 48210617 markings, 138978767 edges, 432839 markings/sec, 95 secs
lola: 50356746 markings, 144970642 edges, 429226 markings/sec, 100 secs
lola: 52514385 markings, 150995153 edges, 431528 markings/sec, 105 secs
lola: 54637352 markings, 156925379 edges, 424593 markings/sec, 110 secs
lola: 56832704 markings, 163053535 edges, 439070 markings/sec, 115 secs
lola: 59078599 markings, 169322987 edges, 449179 markings/sec, 120 secs
lola: 61326888 markings, 175598805 edges, 449658 markings/sec, 125 secs
lola: 63572201 markings, 181866559 edges, 449063 markings/sec, 130 secs
lola: 65816312 markings, 188130941 edges, 448822 markings/sec, 135 secs
lola: 68088002 markings, 194467983 edges, 454338 markings/sec, 140 secs
lola: 70345154 markings, 200766888 edges, 451430 markings/sec, 145 secs
lola: 72582371 markings, 207010785 edges, 447443 markings/sec, 150 secs
lola: 74830033 markings, 213284407 edges, 449532 markings/sec, 155 secs
lola: 77072269 markings, 219542758 edges, 448447 markings/sec, 160 secs
lola: 79295851 markings, 225746354 edges, 444716 markings/sec, 165 secs
lola: 81443309 markings, 231737360 edges, 429492 markings/sec, 170 secs
lola: 83338109 markings, 237024455 edges, 378960 markings/sec, 175 secs
lola: 85457355 markings, 242939042 edges, 423849 markings/sec, 180 secs
lola: 87728431 markings, 249272227 edges, 454215 markings/sec, 185 secs
lola: 89959289 markings, 255497769 edges, 446172 markings/sec, 190 secs
lola: 92236090 markings, 261846266 edges, 455360 markings/sec, 195 secs
lola: 94387598 markings, 267846218 edges, 430302 markings/sec, 200 secs
lola: 96621828 markings, 274078513 edges, 446846 markings/sec, 205 secs
lola: 98847958 markings, 280286641 edges, 445226 markings/sec, 210 secs
lola: 101108308 markings, 286586549 edges, 452070 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(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: 4603707 markings, 8314059 edges, 920741 markings/sec, 0 secs
lola: 9008327 markings, 16290344 edges, 880924 markings/sec, 5 secs
lola: 13365127 markings, 24180765 edges, 871360 markings/sec, 10 secs
lola: 17831282 markings, 31822010 edges, 893231 markings/sec, 15 secs
lola: 22108142 markings, 39103476 edges, 855372 markings/sec, 20 secs
lola: 26338933 markings, 46308475 edges, 846158 markings/sec, 25 secs
lola: 30637295 markings, 53310429 edges, 859672 markings/sec, 30 secs
lola: 34740458 markings, 60742129 edges, 820633 markings/sec, 35 secs
lola: 39027061 markings, 68506660 edges, 857321 markings/sec, 40 secs
lola: 43358131 markings, 76352425 edges, 866214 markings/sec, 45 secs
lola: 47680948 markings, 84183895 edges, 864563 markings/sec, 50 secs
lola: 52028738 markings, 91854320 edges, 869558 markings/sec, 55 secs
lola: 56548794 markings, 98824949 edges, 904011 markings/sec, 60 secs
lola: 60957433 markings, 105618579 edges, 881728 markings/sec, 65 secs
lola: 65319745 markings, 112342804 edges, 872462 markings/sec, 70 secs
lola: 69475922 markings, 119282357 edges, 831235 markings/sec, 75 secs
lola: 72772172 markings, 125812315 edges, 659250 markings/sec, 80 secs
lola: 76675560 markings, 132462133 edges, 780678 markings/sec, 85 secs
lola: 80724996 markings, 139362482 edges, 809887 markings/sec, 90 secs
lola: 83897897 markings, 144770625 edges, 634580 markings/sec, 95 secs
lola: 88014044 markings, 151788299 edges, 823229 markings/sec, 100 secs
lola: 92185561 markings, 158902632 edges, 834303 markings/sec, 105 secs
lola: 96250810 markings, 165460773 edges, 813050 markings/sec, 110 secs
lola: 100054018 markings, 171559456 edges, 760642 markings/sec, 115 secs
lola: 104432974 markings, 178278211 edges, 875791 markings/sec, 120 secs
lola: 109057568 markings, 185222127 edges, 924919 markings/sec, 125 secs
lola: 113579371 markings, 192007933 edges, 904361 markings/sec, 130 secs
lola: 118060476 markings, 198732665 edges, 896221 markings/sec, 135 secs
lola: 122312009 markings, 205341421 edges, 850307 markings/sec, 140 secs
lola: 126070699 markings, 211362365 edges, 751738 markings/sec, 145 secs
lola: 130108079 markings, 217648236 edges, 807476 markings/sec, 150 secs
lola: 134284592 markings, 224090710 edges, 835303 markings/sec, 155 secs
lola: 138580005 markings, 230718571 edges, 859083 markings/sec, 160 secs
lola: 142887243 markings, 237366620 edges, 861448 markings/sec, 165 secs
lola: 147217663 markings, 244052980 edges, 866084 markings/sec, 170 secs
lola: 151574711 markings, 250781831 edges, 871410 markings/sec, 175 secs
lola: 155337466 markings, 257645769 edges, 752551 markings/sec, 180 secs
lola: 158465327 markings, 263911095 edges, 625572 markings/sec, 185 secs
lola: 161616853 markings, 270223474 edges, 630305 markings/sec, 190 secs
lola: 165280415 markings, 277010849 edges, 732712 markings/sec, 195 secs
lola: 169092064 markings, 283123515 edges, 762330 markings/sec, 200 secs
lola: 173024834 markings, 289443491 edges, 786554 markings/sec, 205 secs
lola: 177149489 markings, 296879716 edges, 824931 markings/sec, 210 secs
lola: 180947878 markings, 303736335 edges, 759678 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(c1)
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: 3744126 markings, 9992933 edges, 748825 markings/sec, 0 secs
lola: 7289288 markings, 19877787 edges, 709032 markings/sec, 5 secs
lola: 10933917 markings, 28951399 edges, 728926 markings/sec, 10 secs
lola: 14061205 markings, 36448223 edges, 625458 markings/sec, 15 secs
lola: 16963695 markings, 43412560 edges, 580498 markings/sec, 20 secs
lola: 19771382 markings, 50149437 edges, 561537 markings/sec, 25 secs
lola: 22532460 markings, 56774566 edges, 552216 markings/sec, 30 secs
lola: 25230253 markings, 63248077 edges, 539559 markings/sec, 35 secs
lola: 27923337 markings, 69709665 edges, 538617 markings/sec, 40 secs
lola: 30636662 markings, 76219867 edges, 542665 markings/sec, 45 secs
lola: 33323232 markings, 82666195 edges, 537314 markings/sec, 50 secs
lola: 35986196 markings, 89055738 edges, 532593 markings/sec, 55 secs
lola: 38634330 markings, 95409648 edges, 529627 markings/sec, 60 secs
lola: 41269034 markings, 101731287 edges, 526941 markings/sec, 65 secs
lola: 43886087 markings, 108010522 edges, 523411 markings/sec, 70 secs
lola: 46484432 markings, 114245067 edges, 519669 markings/sec, 75 secs
lola: 49054788 markings, 120412345 edges, 514071 markings/sec, 80 secs
lola: 51619856 markings, 126566972 edges, 513014 markings/sec, 85 secs
lola: 54181818 markings, 132714151 edges, 512392 markings/sec, 90 secs
lola: 56734338 markings, 138838644 edges, 510504 markings/sec, 95 secs
lola: 59284708 markings, 144957924 edges, 510074 markings/sec, 100 secs
lola: 61904775 markings, 151244513 edges, 524013 markings/sec, 105 secs
lola: 64493820 markings, 157456440 edges, 517809 markings/sec, 110 secs
lola: 67064365 markings, 163624114 edges, 514109 markings/sec, 115 secs
lola: 69646895 markings, 169820421 edges, 516506 markings/sec, 120 secs
lola: 72247984 markings, 176061358 edges, 520218 markings/sec, 125 secs
lola: 74838667 markings, 182277146 edges, 518137 markings/sec, 130 secs
lola: 77399451 markings, 188421595 edges, 512157 markings/sec, 135 secs
lola: 80031067 markings, 194735459 edges, 526323 markings/sec, 140 secs
lola: 82606894 markings, 200916234 edges, 515165 markings/sec, 145 secs
lola: 85229264 markings, 207207602 edges, 524474 markings/sec, 150 secs
lola: 87851790 markings, 213499833 edges, 524505 markings/sec, 155 secs
lola: 90477051 markings, 219798835 edges, 525052 markings/sec, 160 secs
lola: 93111677 markings, 226120096 edges, 526925 markings/sec, 165 secs
lola: 95763525 markings, 232482501 edges, 530370 markings/sec, 170 secs
lola: 98427539 markings, 238874246 edges, 532803 markings/sec, 175 secs
lola: 101091691 markings, 245266683 edges, 532830 markings/sec, 180 secs
lola: 103789336 markings, 251738538 edges, 539529 markings/sec, 185 secs
lola: 106476260 markings, 258185142 edges, 537385 markings/sec, 190 secs
lola: 109193493 markings, 264704589 edges, 543447 markings/sec, 195 secs
lola: 111919371 markings, 271244840 edges, 545176 markings/sec, 200 secs
lola: 114669869 markings, 277844020 edges, 550100 markings/sec, 205 secs
lola: 117487858 markings, 284605933 edges, 563598 markings/sec, 210 secs
lola: 120456438 markings, 291796052 edges, 593716 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(_2PG)
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: 4253918 markings, 8843914 edges, 850784 markings/sec, 0 secs
lola: 8475198 markings, 16727596 edges, 844256 markings/sec, 5 secs
lola: 12007195 markings, 23189827 edges, 706399 markings/sec, 10 secs
lola: 15473942 markings, 29537493 edges, 693349 markings/sec, 15 secs
lola: 18853578 markings, 35755749 edges, 675927 markings/sec, 20 secs
lola: 22223417 markings, 41945293 edges, 673968 markings/sec, 25 secs
lola: 25712352 markings, 48298520 edges, 697787 markings/sec, 30 secs
lola: 29615300 markings, 55591735 edges, 780590 markings/sec, 35 secs
lola: 33168462 markings, 62221027 edges, 710632 markings/sec, 40 secs
lola: 36568271 markings, 68563849 edges, 679962 markings/sec, 45 secs
lola: 39959931 markings, 74890146 edges, 678332 markings/sec, 50 secs
lola: 43297493 markings, 81116947 edges, 667512 markings/sec, 55 secs
lola: 46642099 markings, 87355095 edges, 668921 markings/sec, 60 secs
lola: 49952064 markings, 93530496 edges, 661993 markings/sec, 65 secs
lola: 53279114 markings, 99735701 edges, 665410 markings/sec, 70 secs
lola: 56592259 markings, 105915777 edges, 662629 markings/sec, 75 secs
lola: 59898318 markings, 112082980 edges, 661212 markings/sec, 80 secs
lola: 63219513 markings, 118277289 edges, 664239 markings/sec, 85 secs
lola: 66541317 markings, 124472802 edges, 664361 markings/sec, 90 secs
lola: 69879532 markings, 130698660 edges, 667643 markings/sec, 95 secs
lola: 73217858 markings, 136924864 edges, 667665 markings/sec, 100 secs
lola: 76558542 markings, 143155532 edges, 668137 markings/sec, 105 secs
lola: 79910835 markings, 149406647 edges, 670459 markings/sec, 110 secs
lola: 83275426 markings, 155680969 edges, 672918 markings/sec, 115 secs
lola: 86643715 markings, 161961583 edges, 673658 markings/sec, 120 secs
lola: 90025444 markings, 168266943 edges, 676346 markings/sec, 125 secs
lola: 93427727 markings, 174610646 edges, 680457 markings/sec, 130 secs
lola: 96853698 markings, 180996939 edges, 685194 markings/sec, 135 secs
lola: 100292373 markings, 187406836 edges, 687735 markings/sec, 140 secs
lola: 103302747 markings, 193016758 edges, 602075 markings/sec, 145 secs
lola: 106790187 markings, 199514418 edges, 697488 markings/sec, 150 secs
lola: 110334442 markings, 206114274 edges, 708851 markings/sec, 155 secs
lola: 113844791 markings, 212658298 edges, 702070 markings/sec, 160 secs
lola: 117243028 markings, 219015738 edges, 679647 markings/sec, 165 secs
lola: 120704465 markings, 225491454 edges, 692287 markings/sec, 170 secs
lola: 124329206 markings, 232272193 edges, 724948 markings/sec, 175 secs
lola: 127963054 markings, 239069839 edges, 726770 markings/sec, 180 secs
lola: 131520208 markings, 245724860 edges, 711431 markings/sec, 185 secs
lola: 135106565 markings, 252434242 edges, 717271 markings/sec, 190 secs
lola: 138650271 markings, 259063901 edges, 708741 markings/sec, 195 secs
lola: 142182701 markings, 265672722 edges, 706486 markings/sec, 200 secs
lola: 145645548 markings, 272151701 edges, 692569 markings/sec, 205 secs
lola: 149253604 markings, 278921230 edges, 721611 markings/sec, 210 secs
lola: 152760910 markings, 285478865 edges, 701461 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(G6P)
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: 5198953 markings, 8708496 edges, 1039791 markings/sec, 0 secs
lola: 9860512 markings, 16646964 edges, 932312 markings/sec, 5 secs
lola: 13864208 markings, 23772953 edges, 800739 markings/sec, 10 secs
lola: 18703438 markings, 31454491 edges, 967846 markings/sec, 15 secs
lola: 22714511 markings, 38495264 edges, 802215 markings/sec, 20 secs
lola: 27502844 markings, 45875213 edges, 957667 markings/sec, 25 secs
lola: 31826733 markings, 52657844 edges, 864778 markings/sec, 30 secs
lola: 35930091 markings, 60080702 edges, 820672 markings/sec, 35 secs
lola: 40835703 markings, 67577972 edges, 981122 markings/sec, 40 secs
lola: 45187283 markings, 74220683 edges, 870316 markings/sec, 45 secs
lola: 49434114 markings, 80933124 edges, 849366 markings/sec, 50 secs
lola: 53590421 markings, 88529620 edges, 831261 markings/sec, 55 secs
lola: 58261058 markings, 95568797 edges, 934127 markings/sec, 60 secs
lola: 62472424 markings, 102003552 edges, 842273 markings/sec, 65 secs
lola: 66870053 markings, 108694393 edges, 879526 markings/sec, 70 secs
lola: 71107448 markings, 115476725 edges, 847479 markings/sec, 75 secs
lola: 75144865 markings, 122919668 edges, 807483 markings/sec, 80 secs
lola: 79025067 markings, 129536345 edges, 776040 markings/sec, 85 secs
lola: 82736211 markings, 135907598 edges, 742229 markings/sec, 90 secs
lola: 86493887 markings, 142444193 edges, 751535 markings/sec, 95 secs
lola: 90090486 markings, 148838601 edges, 719320 markings/sec, 100 secs
lola: 93699943 markings, 155285846 edges, 721891 markings/sec, 105 secs
lola: 97302509 markings, 161745315 edges, 720513 markings/sec, 110 secs
lola: 100418775 markings, 167386169 edges, 623253 markings/sec, 115 secs
lola: 103023110 markings, 172620300 edges, 520867 markings/sec, 120 secs
lola: 105027451 markings, 179075662 edges, 400868 markings/sec, 125 secs
lola: 106861430 markings, 185383138 edges, 366796 markings/sec, 130 secs
lola: 108519828 markings, 191330586 edges, 331680 markings/sec, 135 secs
lola: 110226421 markings, 197460590 edges, 341319 markings/sec, 140 secs
lola: 111926010 markings, 203465551 edges, 339918 markings/sec, 145 secs
lola: 113605139 markings, 209566627 edges, 335826 markings/sec, 150 secs
lola: 115456422 markings, 215727681 edges, 370257 markings/sec, 155 secs
lola: 117012476 markings, 221543055 edges, 311211 markings/sec, 160 secs
lola: 118859572 markings, 227844073 edges, 369419 markings/sec, 165 secs
lola: 120434763 markings, 233662065 edges, 315038 markings/sec, 170 secs
lola: 122205607 markings, 239803567 edges, 354169 markings/sec, 175 secs
lola: 123796009 markings, 245651603 edges, 318080 markings/sec, 180 secs
lola: 125527673 markings, 251680900 edges, 346333 markings/sec, 185 secs
lola: 127147142 markings, 257558347 edges, 323894 markings/sec, 190 secs
lola: 128821647 markings, 263462128 edges, 334901 markings/sec, 195 secs
lola: 130449852 markings, 269321245 edges, 325641 markings/sec, 200 secs
lola: 132088719 markings, 275180289 edges, 327773 markings/sec, 205 secs
lola: 133734682 markings, 281020451 edges, 329193 markings/sec, 210 secs
lola: 135324146 markings, 286796369 edges, 317893 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(c1)
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: 3718508 markings, 9921151 edges, 743702 markings/sec, 0 secs
lola: 7171545 markings, 19549298 edges, 690607 markings/sec, 5 secs
lola: 10780789 markings, 28584815 edges, 721849 markings/sec, 10 secs
lola: 13863174 markings, 35973141 edges, 616477 markings/sec, 15 secs
lola: 16700688 markings, 42781610 edges, 567503 markings/sec, 20 secs
lola: 19439361 markings, 49352993 edges, 547735 markings/sec, 25 secs
lola: 22089631 markings, 55712436 edges, 530054 markings/sec, 30 secs
lola: 24736045 markings, 62062024 edges, 529283 markings/sec, 35 secs
lola: 27270831 markings, 68143940 edges, 506957 markings/sec, 40 secs
lola: 29906275 markings, 74467444 edges, 527089 markings/sec, 45 secs
lola: 32522990 markings, 80745872 edges, 523343 markings/sec, 50 secs
lola: 35098058 markings, 86924523 edges, 515014 markings/sec, 55 secs
lola: 37673052 markings, 93102987 edges, 514999 markings/sec, 60 secs
lola: 40218128 markings, 99209700 edges, 509015 markings/sec, 65 secs
lola: 42749730 markings, 105284032 edges, 506320 markings/sec, 70 secs
lola: 45276447 markings, 111346712 edges, 505343 markings/sec, 75 secs
lola: 47806970 markings, 117418568 edges, 506105 markings/sec, 80 secs
lola: 50326011 markings, 123462554 edges, 503808 markings/sec, 85 secs
lola: 52827849 markings, 129465381 edges, 500368 markings/sec, 90 secs
lola: 55305708 markings, 135410671 edges, 495572 markings/sec, 95 secs
lola: 57777045 markings, 141340382 edges, 494267 markings/sec, 100 secs
lola: 60269073 markings, 147319698 edges, 498406 markings/sec, 105 secs
lola: 62724795 markings, 153211859 edges, 491144 markings/sec, 110 secs
lola: 65184309 markings, 159113057 edges, 491903 markings/sec, 115 secs
lola: 67654036 markings, 165038938 edges, 493945 markings/sec, 120 secs
lola: 70156850 markings, 171044263 edges, 500563 markings/sec, 125 secs
lola: 72637214 markings, 176995315 edges, 496073 markings/sec, 130 secs
lola: 75103851 markings, 182913527 edges, 493327 markings/sec, 135 secs
lola: 77609314 markings, 188925141 edges, 501093 markings/sec, 140 secs
lola: 80120687 markings, 194950586 edges, 502275 markings/sec, 145 secs
lola: 82602763 markings, 200906233 edges, 496415 markings/sec, 150 secs
lola: 85134856 markings, 206981216 edges, 506419 markings/sec, 155 secs
lola: 87649070 markings, 213013622 edges, 502843 markings/sec, 160 secs
lola: 90150398 markings, 219015392 edges, 500266 markings/sec, 165 secs
lola: 92683845 markings, 225093489 edges, 506689 markings/sec, 170 secs
lola: 95215548 markings, 231167630 edges, 506341 markings/sec, 175 secs
lola: 97772010 markings, 237301975 edges, 511292 markings/sec, 180 secs
lola: 100420605 markings, 243656083 edges, 529719 markings/sec, 185 secs
lola: 103093419 markings, 250069226 edges, 534563 markings/sec, 190 secs
lola: 105720885 markings, 256372933 edges, 525493 markings/sec, 195 secs
lola: 108339599 markings, 262656034 edges, 523743 markings/sec, 200 secs
lola: 110965310 markings, 268956190 edges, 525142 markings/sec, 205 secs
lola: 113640065 markings, 275373235 edges, 534951 markings/sec, 210 secs
lola: 116368133 markings, 281919249 edges, 545614 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(NADPplus)
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: 4509357 markings, 7715718 edges, 901871 markings/sec, 0 secs
lola: 8385794 markings, 14448076 edges, 775287 markings/sec, 5 secs
lola: 12335980 markings, 21401772 edges, 790037 markings/sec, 10 secs
lola: 15927299 markings, 27825671 edges, 718264 markings/sec, 15 secs
lola: 19563196 markings, 34350018 edges, 727179 markings/sec, 20 secs
lola: 23103150 markings, 40708124 edges, 707991 markings/sec, 25 secs
lola: 26399476 markings, 46735402 edges, 659265 markings/sec, 30 secs
lola: 30232669 markings, 53627111 edges, 766639 markings/sec, 35 secs
lola: 33639739 markings, 59766927 edges, 681414 markings/sec, 40 secs
lola: 37317220 markings, 66268641 edges, 735496 markings/sec, 45 secs
lola: 40805030 markings, 72513438 edges, 697562 markings/sec, 50 secs
lola: 44412792 markings, 78953315 edges, 721552 markings/sec, 55 secs
lola: 48041624 markings, 85433092 edges, 725766 markings/sec, 60 secs
lola: 51458552 markings, 91631908 edges, 683386 markings/sec, 65 secs
lola: 55134128 markings, 98298541 edges, 735115 markings/sec, 70 secs
lola: 58470340 markings, 104373030 edges, 667242 markings/sec, 75 secs
lola: 62097660 markings, 110779949 edges, 725464 markings/sec, 80 secs
lola: 65525804 markings, 116933227 edges, 685629 markings/sec, 85 secs
lola: 69167524 markings, 123407577 edges, 728344 markings/sec, 90 secs
lola: 72691752 markings, 129679645 edges, 704846 markings/sec, 95 secs
lola: 76100692 markings, 135829613 edges, 681788 markings/sec, 100 secs
lola: 79767692 markings, 142442667 edges, 733400 markings/sec, 105 secs
lola: 83068468 markings, 148459574 edges, 660155 markings/sec, 110 secs
lola: 86780126 markings, 155117341 edges, 742332 markings/sec, 115 secs
lola: 90154628 markings, 161195317 edges, 674900 markings/sec, 120 secs
lola: 93771815 markings, 167599504 edges, 723437 markings/sec, 125 secs
lola: 97292636 markings, 173907158 edges, 704164 markings/sec, 130 secs
lola: 100888608 markings, 180324571 edges, 719194 markings/sec, 135 secs
lola: 104470232 markings, 186745881 edges, 716325 markings/sec, 140 secs
lola: 107856656 markings, 192858577 edges, 677285 markings/sec, 145 secs
lola: 111588636 markings, 199569611 edges, 746396 markings/sec, 150 secs
lola: 115016695 markings, 205788712 edges, 685612 markings/sec, 155 secs
lola: 118746478 markings, 212495445 edges, 745957 markings/sec, 160 secs
lola: 122168771 markings, 218680725 edges, 684459 markings/sec, 165 secs
lola: 125831340 markings, 225165271 edges, 732514 markings/sec, 170 secs
lola: 129261513 markings, 231327620 edges, 686035 markings/sec, 175 secs
lola: 132883188 markings, 237765626 edges, 724335 markings/sec, 180 secs
lola: 136376180 markings, 244007488 edges, 698598 markings/sec, 185 secs
lola: 139822140 markings, 250200213 edges, 689192 markings/sec, 190 secs
lola: 143424850 markings, 256642159 edges, 720542 markings/sec, 195 secs
lola: 146768330 markings, 262736169 edges, 668696 markings/sec, 200 secs
lola: 150627884 markings, 269670184 edges, 771911 markings/sec, 205 secs
lola: 153989500 markings, 275766654 edges, 672323 markings/sec, 210 secs
lola: 157699781 markings, 282394792 edges, 742056 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(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: 4439724 markings, 8017189 edges, 887945 markings/sec, 0 secs
lola: 8710790 markings, 15751552 edges, 854213 markings/sec, 5 secs
lola: 13128539 markings, 23752312 edges, 883550 markings/sec, 10 secs
lola: 17637264 markings, 31491751 edges, 901745 markings/sec, 15 secs
lola: 21926266 markings, 38793713 edges, 857800 markings/sec, 20 secs
lola: 26226742 markings, 46117441 edges, 860095 markings/sec, 25 secs
lola: 30640434 markings, 53316140 edges, 882738 markings/sec, 30 secs
lola: 34805396 markings, 60859696 edges, 832992 markings/sec, 35 secs
lola: 39180043 markings, 68783789 edges, 874929 markings/sec, 40 secs
lola: 43585356 markings, 76764095 edges, 881063 markings/sec, 45 secs
lola: 47846385 markings, 84483674 edges, 852206 markings/sec, 50 secs
lola: 52296383 markings, 92265373 edges, 890000 markings/sec, 55 secs
lola: 56889446 markings, 99349833 edges, 918613 markings/sec, 60 secs
lola: 61380456 markings, 106270579 edges, 898202 markings/sec, 65 secs
lola: 65880597 markings, 113207600 edges, 900028 markings/sec, 70 secs
lola: 69985443 markings, 120303029 edges, 820969 markings/sec, 75 secs
lola: 73416770 markings, 126910221 edges, 686265 markings/sec, 80 secs
lola: 77377668 markings, 133658338 edges, 792180 markings/sec, 85 secs
lola: 81488022 markings, 140663023 edges, 822071 markings/sec, 90 secs
lola: 85651444 markings, 147760264 edges, 832684 markings/sec, 95 secs
lola: 89850562 markings, 154919892 edges, 839824 markings/sec, 100 secs
lola: 94191173 markings, 162157707 edges, 868122 markings/sec, 105 secs
lola: 98053817 markings, 168352099 edges, 772529 markings/sec, 110 secs
lola: 102151763 markings, 174864188 edges, 819589 markings/sec, 115 secs
lola: 106951203 markings, 182061132 edges, 959888 markings/sec, 120 secs
lola: 111605191 markings, 189045311 edges, 930798 markings/sec, 125 secs
lola: 116041955 markings, 195703510 edges, 887353 markings/sec, 130 secs
lola: 120639485 markings, 202657862 edges, 919506 markings/sec, 135 secs
lola: 124628775 markings, 209052590 edges, 797858 markings/sec, 140 secs
lola: 128644100 markings, 215390477 edges, 803065 markings/sec, 145 secs
lola: 132914138 markings, 221976651 edges, 854008 markings/sec, 150 secs
lola: 137306174 markings, 228752735 edges, 878407 markings/sec, 155 secs
lola: 141750892 markings, 235612851 edges, 888944 markings/sec, 160 secs
lola: 146163766 markings, 242425663 edges, 882575 markings/sec, 165 secs
lola: 150587186 markings, 249256852 edges, 884684 markings/sec, 170 secs
lola: 154707509 markings, 256383883 edges, 824065 markings/sec, 175 secs
lola: 157936134 markings, 262851112 edges, 645725 markings/sec, 180 secs
lola: 161142923 markings, 269274236 edges, 641358 markings/sec, 185 secs
lola: 164715409 markings, 276095924 edges, 714497 markings/sec, 190 secs
lola: 168626459 markings, 282376871 edges, 782210 markings/sec, 195 secs
lola: 172549924 markings, 288668196 edges, 784693 markings/sec, 200 secs
lola: 176748322 markings, 296155595 edges, 839680 markings/sec, 205 secs
lola: 180596411 markings, 303103103 edges, 769618 markings/sec, 210 secs
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(GSH)
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: 4593669 markings, 7869383 edges, 918734 markings/sec, 0 secs
lola: 8506530 markings, 14681444 edges, 782572 markings/sec, 5 secs
lola: 12398108 markings, 21519828 edges, 778316 markings/sec, 10 secs
lola: 15999304 markings, 27983808 edges, 720239 markings/sec, 15 secs
lola: 19652719 markings, 34509274 edges, 730683 markings/sec, 20 secs
lola: 23215324 markings, 40887063 edges, 712521 markings/sec, 25 secs
lola: 26555903 markings, 47003133 edges, 668116 markings/sec, 30 secs
lola: 30156495 markings, 53487134 edges, 720118 markings/sec, 35 secs
lola: 33121157 markings, 58781549 edges, 592932 markings/sec, 40 secs
lola: 36700188 markings, 65131250 edges, 715806 markings/sec, 45 secs
lola: 40253232 markings, 71458771 edges, 710609 markings/sec, 50 secs
lola: 43737070 markings, 77738998 edges, 696768 markings/sec, 55 secs
lola: 47407111 markings, 84366870 edges, 734008 markings/sec, 60 secs
lola: 50163120 markings, 89452307 edges, 551202 markings/sec, 65 secs
lola: 53916269 markings, 96091091 edges, 750630 markings/sec, 70 secs
lola: 57290483 markings, 102134823 edges, 674843 markings/sec, 75 secs
lola: 60249970 markings, 107381637 edges, 591897 markings/sec, 80 secs
lola: 63928250 markings, 113966585 edges, 735656 markings/sec, 85 secs
lola: 67310006 markings, 120138748 edges, 676351 markings/sec, 90 secs
lola: 71187159 markings, 127127774 edges, 775431 markings/sec, 95 secs
lola: 74624472 markings, 133364628 edges, 687463 markings/sec, 100 secs
lola: 78470216 markings, 140181078 edges, 769149 markings/sec, 105 secs
lola: 82048555 markings, 146625818 edges, 715668 markings/sec, 110 secs
lola: 85854776 markings, 153390417 edges, 761244 markings/sec, 115 secs
lola: 89417528 markings, 159807350 edges, 712550 markings/sec, 120 secs
lola: 93054171 markings, 166278536 edges, 727329 markings/sec, 125 secs
lola: 96602704 markings, 172612794 edges, 709707 markings/sec, 130 secs
lola: 100102424 markings, 178910020 edges, 699944 markings/sec, 135 secs
lola: 103767273 markings, 185510963 edges, 732970 markings/sec, 140 secs
lola: 106768716 markings, 191029993 edges, 600289 markings/sec, 145 secs
lola: 110379119 markings, 197451526 edges, 722081 markings/sec, 150 secs
lola: 113823712 markings, 203644552 edges, 688919 markings/sec, 155 secs
lola: 117448900 markings, 210090717 edges, 725038 markings/sec, 160 secs
lola: 120813485 markings, 216124119 edges, 672917 markings/sec, 165 secs
lola: 124300624 markings, 222341532 edges, 697428 markings/sec, 170 secs
lola: 127770868 markings, 228546943 edges, 694049 markings/sec, 175 secs
lola: 131031016 markings, 234501372 edges, 652030 markings/sec, 180 secs
lola: 134828720 markings, 241341925 edges, 759541 markings/sec, 185 secs
lola: 138187489 markings, 247433256 edges, 671754 markings/sec, 190 secs
lola: 141945316 markings, 254113742 edges, 751565 markings/sec, 195 secs
lola: 145431876 markings, 260405277 edges, 697312 markings/sec, 200 secs
lola: 149094453 markings, 266893893 edges, 732515 markings/sec, 205 secs
lola: 152529969 markings, 273077993 edges, 687103 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(a2)
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: 4265861 markings, 8288746 edges, 853172 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 200
lola: produced by: state space
lola: The maximum value of the given expression is 200
lola: ========================================
lola: subprocess 15 will run for 433 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: 5048155 markings, 9020511 edges, 1009631 markings/sec, 0 secs
lola: 9030230 markings, 15567943 edges, 796415 markings/sec, 5 secs
lola: 12805262 markings, 21809323 edges, 755006 markings/sec, 10 secs
lola: 16638047 markings, 28122475 edges, 766557 markings/sec, 15 secs
lola: 20778516 markings, 35026632 edges, 828094 markings/sec, 20 secs
lola: 24449820 markings, 41194303 edges, 734261 markings/sec, 25 secs
lola: 27956318 markings, 47085075 edges, 701300 markings/sec, 30 secs
lola: 31356455 markings, 52797668 edges, 680027 markings/sec, 35 secs
lola: 34763305 markings, 58520838 edges, 681370 markings/sec, 40 secs
lola: 38112437 markings, 64147279 edges, 669826 markings/sec, 45 secs
lola: 41505931 markings, 69847998 edges, 678699 markings/sec, 50 secs
lola: 44977127 markings, 75679491 edges, 694239 markings/sec, 55 secs
lola: 48448730 markings, 81511438 edges, 694321 markings/sec, 60 secs
lola: 51940183 markings, 87376940 edges, 698291 markings/sec, 65 secs
lola: 55480824 markings, 93324617 edges, 708128 markings/sec, 70 secs
lola: 58961382 markings, 99171574 edges, 696112 markings/sec, 75 secs
lola: 62419513 markings, 104980667 edges, 691626 markings/sec, 80 secs
lola: 65918473 markings, 110858158 edges, 699792 markings/sec, 85 secs
lola: 69473690 markings, 116830150 edges, 711043 markings/sec, 90 secs
lola: 73126830 markings, 122966371 edges, 730628 markings/sec, 95 secs
lola: 76719848 markings, 129001260 edges, 718604 markings/sec, 100 secs
lola: 80534161 markings, 135410968 edges, 762863 markings/sec, 105 secs
lola: 84213717 markings, 141602059 edges, 735911 markings/sec, 110 secs
lola: 88179047 markings, 148274575 edges, 793066 markings/sec, 115 secs
lola: 92166911 markings, 154985973 edges, 797573 markings/sec, 120 secs
lola: 95969776 markings, 161384734 edges, 760573 markings/sec, 125 secs
lola: 99866074 markings, 167941884 edges, 779260 markings/sec, 130 secs
lola: 103726727 markings, 174439357 edges, 772131 markings/sec, 135 secs
lola: 107499853 markings, 180787542 edges, 754625 markings/sec, 140 secs
lola: 111374871 markings, 187309243 edges, 775004 markings/sec, 145 secs
lola: 115140806 markings, 193656631 edges, 753187 markings/sec, 150 secs
lola: 118872431 markings, 199926531 edges, 746325 markings/sec, 155 secs
lola: 122663058 markings, 206306993 edges, 758125 markings/sec, 160 secs
lola: 126396594 markings, 212589216 edges, 746707 markings/sec, 165 secs
lola: 130267816 markings, 219104784 edges, 774244 markings/sec, 170 secs
lola: 134058685 markings, 225492512 edges, 758174 markings/sec, 175 secs
lola: 137774675 markings, 231738005 edges, 743198 markings/sec, 180 secs
lola: 141544947 markings, 238085085 edges, 754054 markings/sec, 185 secs
lola: 145233083 markings, 244290461 edges, 737627 markings/sec, 190 secs
lola: 149022336 markings, 250668587 edges, 757851 markings/sec, 195 secs
lola: 152646119 markings, 256767615 edges, 724757 markings/sec, 200 secs
lola: 156356688 markings, 263012944 edges, 742114 markings/sec, 205 secs
lola: 160016076 markings, 269179473 edges, 731878 markings/sec, 210 secs
lola: 163828625 markings, 275588501 edges, 762510 markings/sec, 215 secs
lola: 167780644 markings, 282241179 edges, 790404 markings/sec, 220 secs
lola: 171583205 markings, 288652551 edges, 760512 markings/sec, 225 secs
lola: 175388637 markings, 295046373 edges, 761086 markings/sec, 230 secs
lola: 179214094 markings, 301486396 edges, 765091 markings/sec, 235 secs
lola: 182876681 markings, 307649404 edges, 732517 markings/sec, 240 secs
lola: 186666114 markings, 314029123 edges, 757887 markings/sec, 245 secs
lola: 190277963 markings, 320107647 edges, 722370 markings/sec, 250 secs
lola: 193985759 markings, 326349326 edges, 741559 markings/sec, 255 secs
lola: 197581855 markings, 332414794 edges, 719219 markings/sec, 260 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 200 unknown
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-14 200 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000100000-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496400690321
--------------------
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-C0100N0000100000"
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-C0100N0000100000.tgz
mv S_GPPP-PT-C0100N0000100000 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-C0100N0000100000, 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-149441612600560"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;