About the Execution of LoLA for GPPP-PT-C0100N0000010000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15939.660 | 3434776.00 | 3440537.00 | 2599.50 | 396 ? ? ? ? ? 2 ? ? ? ? ? ? ? ? ? | 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 GPPP-PT-C0100N0000010000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264500551
=====================================================================
--------------------
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 1494722428305
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 4053995 markings, 7879427 edges, 810799 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: 3580356 markings, 9535528 edges, 716071 markings/sec, 0 secs
lola: 6973169 markings, 18995806 edges, 678563 markings/sec, 5 secs
lola: 10405268 markings, 27685981 edges, 686420 markings/sec, 10 secs
lola: 13330359 markings, 34694789 edges, 585018 markings/sec, 15 secs
lola: 15948173 markings, 40976257 edges, 523563 markings/sec, 20 secs
lola: 18469952 markings, 47027005 edges, 504356 markings/sec, 25 secs
lola: 20992100 markings, 53078480 edges, 504430 markings/sec, 30 secs
lola: 23516696 markings, 59135999 edges, 504919 markings/sec, 35 secs
lola: 26034064 markings, 65176419 edges, 503474 markings/sec, 40 secs
lola: 28486386 markings, 71060693 edges, 490464 markings/sec, 45 secs
lola: 30771264 markings, 76542906 edges, 456976 markings/sec, 50 secs
lola: 33079856 markings, 82082080 edges, 461718 markings/sec, 55 secs
lola: 35392355 markings, 87630831 edges, 462500 markings/sec, 60 secs
lola: 37714293 markings, 93201944 edges, 464388 markings/sec, 65 secs
lola: 40030873 markings, 98760411 edges, 463316 markings/sec, 70 secs
lola: 42327738 markings, 104271832 edges, 459373 markings/sec, 75 secs
lola: 44585622 markings, 109689070 edges, 451577 markings/sec, 80 secs
lola: 46889682 markings, 115217436 edges, 460812 markings/sec, 85 secs
lola: 49195342 markings, 120749571 edges, 461132 markings/sec, 90 secs
lola: 51502346 markings, 126284925 edges, 461401 markings/sec, 95 secs
lola: 53801061 markings, 131800555 edges, 459743 markings/sec, 100 secs
lola: 56089773 markings, 137291951 edges, 457742 markings/sec, 105 secs
lola: 58340665 markings, 142692699 edges, 450178 markings/sec, 110 secs
lola: 60610738 markings, 148139387 edges, 454015 markings/sec, 115 secs
lola: 62866692 markings, 153552370 edges, 451191 markings/sec, 120 secs
lola: 65119919 markings, 158958710 edges, 450645 markings/sec, 125 secs
lola: 67376180 markings, 164372080 edges, 451252 markings/sec, 130 secs
lola: 69619736 markings, 169755371 edges, 448711 markings/sec, 135 secs
lola: 71898678 markings, 175223755 edges, 455788 markings/sec, 140 secs
lola: 74151794 markings, 180629230 edges, 450623 markings/sec, 145 secs
lola: 76392560 markings, 186005632 edges, 448153 markings/sec, 150 secs
lola: 78718161 markings, 191585455 edges, 465120 markings/sec, 155 secs
lola: 81120263 markings, 197348977 edges, 480420 markings/sec, 160 secs
lola: 83245937 markings, 202449094 edges, 425135 markings/sec, 165 secs
lola: 85621240 markings, 208148177 edges, 475061 markings/sec, 170 secs
lola: 88067765 markings, 214018140 edges, 489305 markings/sec, 175 secs
lola: 90351636 markings, 219497977 edges, 456774 markings/sec, 180 secs
lola: 92591789 markings, 224872536 edges, 448031 markings/sec, 185 secs
lola: 94870163 markings, 230338999 edges, 455675 markings/sec, 190 secs
lola: 97143979 markings, 235794689 edges, 454763 markings/sec, 195 secs
lola: 99391886 markings, 241188021 edges, 449581 markings/sec, 200 secs
lola: 101776044 markings, 246908236 edges, 476832 markings/sec, 205 secs
lola: 104288335 markings, 252935921 edges, 502458 markings/sec, 210 secs
lola: 106525812 markings, 258304149 edges, 447495 markings/sec, 215 secs
lola: 108868490 markings, 263924793 edges, 468536 markings/sec, 220 secs
lola: 111363126 markings, 269910151 edges, 498927 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: 2354513 markings, 8234427 edges, 470903 markings/sec, 0 secs
lola: 4413099 markings, 16144904 edges, 411717 markings/sec, 5 secs
lola: 5840094 markings, 22404354 edges, 285399 markings/sec, 10 secs
lola: 7474250 markings, 29240192 edges, 326831 markings/sec, 15 secs
lola: 9694553 markings, 37270425 edges, 444061 markings/sec, 20 secs
lola: 11305468 markings, 43972801 edges, 322183 markings/sec, 25 secs
lola: 12316824 markings, 48582081 edges, 202271 markings/sec, 30 secs
lola: 13467457 markings, 54001880 edges, 230127 markings/sec, 35 secs
lola: 15870020 markings, 62345281 edges, 480513 markings/sec, 40 secs
lola: 17856595 markings, 70006235 edges, 397315 markings/sec, 45 secs
lola: 19543580 markings, 77043801 edges, 337397 markings/sec, 50 secs
lola: 20670388 markings, 82192632 edges, 225362 markings/sec, 55 secs
lola: 21802942 markings, 87525720 edges, 226511 markings/sec, 60 secs
lola: 24206065 markings, 95745860 edges, 480625 markings/sec, 65 secs
lola: 26360449 markings, 103819335 edges, 430877 markings/sec, 70 secs
lola: 28147503 markings, 111022122 edges, 357411 markings/sec, 75 secs
lola: 29720990 markings, 117634032 edges, 314697 markings/sec, 80 secs
lola: 30702269 markings, 122131535 edges, 196256 markings/sec, 85 secs
lola: 31809897 markings, 127245815 edges, 221526 markings/sec, 90 secs
lola: 33968211 markings, 134877190 edges, 431663 markings/sec, 95 secs
lola: 36256211 markings, 143095118 edges, 457600 markings/sec, 100 secs
lola: 38268865 markings, 150799634 edges, 402531 markings/sec, 105 secs
lola: 39952070 markings, 157707716 edges, 336641 markings/sec, 110 secs
lola: 41526751 markings, 164382721 edges, 314936 markings/sec, 115 secs
lola: 42480103 markings, 168662601 edges, 190670 markings/sec, 120 secs
lola: 43492312 markings, 173224267 edges, 202442 markings/sec, 125 secs
lola: 45230598 markings, 179794876 edges, 347657 markings/sec, 130 secs
lola: 47613551 markings, 188064749 edges, 476591 markings/sec, 135 secs
lola: 49734250 markings, 196029365 edges, 424140 markings/sec, 140 secs
lola: 51739034 markings, 203732453 edges, 400957 markings/sec, 145 secs
lola: 53356338 markings, 210453987 edges, 323461 markings/sec, 150 secs
lola: 54897799 markings, 217180762 edges, 308292 markings/sec, 155 secs
lola: 56176240 markings, 222652663 edges, 255688 markings/sec, 160 secs
lola: 57168910 markings, 227124590 edges, 198534 markings/sec, 165 secs
lola: 58876726 markings, 233696374 edges, 341563 markings/sec, 170 secs
lola: 61299782 markings, 241913027 edges, 484611 markings/sec, 175 secs
lola: 63492779 markings, 250023923 edges, 438599 markings/sec, 180 secs
lola: 65516055 markings, 257765364 edges, 404655 markings/sec, 185 secs
lola: 67370553 markings, 265066599 edges, 370900 markings/sec, 190 secs
lola: 68982579 markings, 271900745 edges, 322405 markings/sec, 195 secs
lola: 70540075 markings, 278726996 edges, 311499 markings/sec, 200 secs
lola: 71598031 markings, 283187580 edges, 211591 markings/sec, 205 secs
lola: 72554465 markings, 287503489 edges, 191287 markings/sec, 210 secs
lola: 74052684 markings, 293634239 edges, 299644 markings/sec, 215 secs
lola: 76554923 markings, 302033300 edges, 500448 markings/sec, 220 secs
lola: 78906146 markings, 310425340 edges, 470245 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: 4432338 markings, 8003836 edges, 886468 markings/sec, 0 secs
lola: 8930959 markings, 16150282 edges, 899724 markings/sec, 5 secs
lola: 13402951 markings, 24249237 edges, 894398 markings/sec, 10 secs
lola: 17738188 markings, 31663554 edges, 867047 markings/sec, 15 secs
lola: 21956311 markings, 38844814 edges, 843625 markings/sec, 20 secs
lola: 26197830 markings, 46068287 edges, 848304 markings/sec, 25 secs
lola: 30410042 markings, 52898854 edges, 842442 markings/sec, 30 secs
lola: 34609026 markings, 60504019 edges, 839797 markings/sec, 35 secs
lola: 38977283 markings, 68416505 edges, 873651 markings/sec, 40 secs
lola: 43344788 markings, 76328289 edges, 873501 markings/sec, 45 secs
lola: 47760921 markings, 84328795 edges, 883227 markings/sec, 50 secs
lola: 52186489 markings, 92096919 edges, 885114 markings/sec, 55 secs
lola: 56689406 markings, 99041538 edges, 900583 markings/sec, 60 secs
lola: 61018626 markings, 105712857 edges, 865844 markings/sec, 65 secs
lola: 65290643 markings, 112297984 edges, 854403 markings/sec, 70 secs
lola: 69370860 markings, 119062599 edges, 816043 markings/sec, 75 secs
lola: 72554037 markings, 125440812 edges, 636635 markings/sec, 80 secs
lola: 76521305 markings, 132199047 edges, 793454 markings/sec, 85 secs
lola: 80614758 markings, 139174477 edges, 818691 markings/sec, 90 secs
lola: 84603480 markings, 145973470 edges, 797744 markings/sec, 95 secs
lola: 88641930 markings, 152858790 edges, 807690 markings/sec, 100 secs
lola: 92751490 markings, 159845514 edges, 821912 markings/sec, 105 secs
lola: 96560486 markings, 165957388 edges, 761799 markings/sec, 110 secs
lola: 100310873 markings, 171971331 edges, 750077 markings/sec, 115 secs
lola: 104807824 markings, 178839453 edges, 899390 markings/sec, 120 secs
lola: 109469719 markings, 185840641 edges, 932379 markings/sec, 125 secs
lola: 113952288 markings, 192567575 edges, 896514 markings/sec, 130 secs
lola: 118445894 markings, 199311060 edges, 898721 markings/sec, 135 secs
lola: 122531829 markings, 205693545 edges, 817187 markings/sec, 140 secs
lola: 126182335 markings, 211541187 edges, 730101 markings/sec, 145 secs
lola: 130226383 markings, 217830723 edges, 808810 markings/sec, 150 secs
lola: 134409349 markings, 224283163 edges, 836593 markings/sec, 155 secs
lola: 138692269 markings, 230891861 edges, 856584 markings/sec, 160 secs
lola: 142932662 markings, 237437086 edges, 848079 markings/sec, 165 secs
lola: 147234658 markings, 244079163 edges, 860399 markings/sec, 170 secs
lola: 151513894 markings, 250688202 edges, 855847 markings/sec, 175 secs
lola: 155208059 markings, 257386556 edges, 738833 markings/sec, 180 secs
lola: 158225141 markings, 263429997 edges, 603416 markings/sec, 185 secs
lola: 161233319 markings, 269455296 edges, 601636 markings/sec, 190 secs
lola: 164430276 markings, 275640932 edges, 639391 markings/sec, 195 secs
lola: 168036749 markings, 281431204 edges, 721295 markings/sec, 200 secs
lola: 171711679 markings, 287324131 edges, 734986 markings/sec, 205 secs
lola: 175842233 markings, 294521708 edges, 826111 markings/sec, 210 secs
lola: 179570824 markings, 301248508 edges, 745718 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: 3715942 markings, 9913954 edges, 743188 markings/sec, 0 secs
lola: 7160981 markings, 19519715 edges, 689008 markings/sec, 5 secs
lola: 10694749 markings, 28378935 edges, 706754 markings/sec, 10 secs
lola: 13788817 markings, 35794665 edges, 618814 markings/sec, 15 secs
lola: 16684032 markings, 42741561 edges, 579043 markings/sec, 20 secs
lola: 19479946 markings, 49450215 edges, 559183 markings/sec, 25 secs
lola: 22158124 markings, 55876708 edges, 535636 markings/sec, 30 secs
lola: 24797853 markings, 62210330 edges, 527946 markings/sec, 35 secs
lola: 27465467 markings, 68610833 edges, 533523 markings/sec, 40 secs
lola: 30135132 markings, 75016458 edges, 533933 markings/sec, 45 secs
lola: 32767921 markings, 81333590 edges, 526558 markings/sec, 50 secs
lola: 35387471 markings, 87619108 edges, 523910 markings/sec, 55 secs
lola: 37780386 markings, 93360701 edges, 478583 markings/sec, 60 secs
lola: 40351219 markings, 99528989 edges, 514167 markings/sec, 65 secs
lola: 42920855 markings, 105694685 edges, 513927 markings/sec, 70 secs
lola: 45470710 markings, 111812703 edges, 509971 markings/sec, 75 secs
lola: 47933909 markings, 117723012 edges, 492640 markings/sec, 80 secs
lola: 50511945 markings, 123908763 edges, 515607 markings/sec, 85 secs
lola: 53082035 markings, 130075315 edges, 514018 markings/sec, 90 secs
lola: 55585313 markings, 136081652 edges, 500656 markings/sec, 95 secs
lola: 58109317 markings, 142137674 edges, 504801 markings/sec, 100 secs
lola: 60615496 markings, 148150821 edges, 501236 markings/sec, 105 secs
lola: 63107081 markings, 154129048 edges, 498317 markings/sec, 110 secs
lola: 65537907 markings, 159961592 edges, 486165 markings/sec, 115 secs
lola: 68017444 markings, 165911012 edges, 495907 markings/sec, 120 secs
lola: 70564279 markings, 172021492 edges, 509367 markings/sec, 125 secs
lola: 73085125 markings, 178069970 edges, 504169 markings/sec, 130 secs
lola: 75630445 markings, 184177503 edges, 509064 markings/sec, 135 secs
lola: 78204211 markings, 190352428 edges, 514753 markings/sec, 140 secs
lola: 80682599 markings, 196298728 edges, 495678 markings/sec, 145 secs
lola: 83198790 markings, 202335872 edges, 503238 markings/sec, 150 secs
lola: 85667008 markings, 208257994 edges, 493644 markings/sec, 155 secs
lola: 88173562 markings, 214271982 edges, 501311 markings/sec, 160 secs
lola: 90666299 markings, 220252709 edges, 498547 markings/sec, 165 secs
lola: 93145403 markings, 226200923 edges, 495821 markings/sec, 170 secs
lola: 95589916 markings, 232066174 edges, 488903 markings/sec, 175 secs
lola: 97963499 markings, 237760953 edges, 474717 markings/sec, 180 secs
lola: 100307251 markings, 243384170 edges, 468750 markings/sec, 185 secs
lola: 102465317 markings, 248561880 edges, 431613 markings/sec, 190 secs
lola: 104742042 markings, 254024397 edges, 455345 markings/sec, 195 secs
lola: 107054115 markings, 259571793 edges, 462415 markings/sec, 200 secs
lola: 109503253 markings, 265447875 edges, 489828 markings/sec, 205 secs
lola: 112135770 markings, 271763878 edges, 526503 markings/sec, 210 secs
lola: 114782487 markings, 278114519 edges, 529343 markings/sec, 215 secs
lola: 117398008 markings, 284390400 edges, 523104 markings/sec, 220 secs
lola: 120189413 markings, 291154474 edges, 558281 markings/sec, 225 secs
lola: 122483348 markings, 296668432 edges, 458787 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: 4238010 markings, 7651832 edges, 847602 markings/sec, 0 secs
lola: 8192999 markings, 14813880 edges, 790998 markings/sec, 5 secs
lola: 12416232 markings, 22462219 edges, 844647 markings/sec, 10 secs
lola: 16446288 markings, 29447141 edges, 806011 markings/sec, 15 secs
lola: 20367971 markings, 36140455 edges, 784337 markings/sec, 20 secs
lola: 24335746 markings, 42896762 edges, 793555 markings/sec, 25 secs
lola: 28409582 markings, 49682793 edges, 814767 markings/sec, 30 secs
lola: 32387365 markings, 56480125 edges, 795557 markings/sec, 35 secs
lola: 35661505 markings, 62410392 edges, 654828 markings/sec, 40 secs
lola: 39913176 markings, 70111809 edges, 850334 markings/sec, 45 secs
lola: 44145133 markings, 77778164 edges, 846391 markings/sec, 50 secs
lola: 48244886 markings, 85205644 edges, 819951 markings/sec, 55 secs
lola: 52337001 markings, 92327727 edges, 818423 markings/sec, 60 secs
lola: 56379410 markings, 98564006 edges, 808482 markings/sec, 65 secs
lola: 60484217 markings, 104889279 edges, 820961 markings/sec, 70 secs
lola: 64641111 markings, 111296621 edges, 831379 markings/sec, 75 secs
lola: 68766441 markings, 117856033 edges, 825066 markings/sec, 80 secs
lola: 71848320 markings, 124034580 edges, 616376 markings/sec, 85 secs
lola: 75405040 markings, 130297350 edges, 711344 markings/sec, 90 secs
lola: 79207200 markings, 136775859 edges, 760432 markings/sec, 95 secs
lola: 83006103 markings, 143250381 edges, 759781 markings/sec, 100 secs
lola: 86804695 markings, 149726283 edges, 759718 markings/sec, 105 secs
lola: 90545244 markings, 156104629 edges, 748110 markings/sec, 110 secs
lola: 94410147 markings, 162508871 edges, 772981 markings/sec, 115 secs
lola: 97798578 markings, 167942798 edges, 677686 markings/sec, 120 secs
lola: 101199414 markings, 173396065 edges, 680167 markings/sec, 125 secs
lola: 105299724 markings, 179576197 edges, 820062 markings/sec, 130 secs
lola: 109509458 markings, 185900272 edges, 841947 markings/sec, 135 secs
lola: 113692729 markings, 192178056 edges, 836654 markings/sec, 140 secs
lola: 117896730 markings, 198486936 edges, 840800 markings/sec, 145 secs
lola: 121893116 markings, 204667163 edges, 799277 markings/sec, 150 secs
lola: 125307259 markings, 210139434 edges, 682829 markings/sec, 155 secs
lola: 128965561 markings, 215886108 edges, 731660 markings/sec, 160 secs
lola: 132875515 markings, 221916854 edges, 781991 markings/sec, 165 secs
lola: 136916950 markings, 228152122 edges, 808287 markings/sec, 170 secs
lola: 140985137 markings, 234430839 edges, 813637 markings/sec, 175 secs
lola: 145103308 markings, 240787865 edges, 823634 markings/sec, 180 secs
lola: 149142999 markings, 247026326 edges, 807938 markings/sec, 185 secs
lola: 153164629 markings, 253290954 edges, 804326 markings/sec, 190 secs
lola: 156267539 markings, 259508809 edges, 620582 markings/sec, 195 secs
lola: 159125105 markings, 265232625 edges, 571513 markings/sec, 200 secs
lola: 161995859 markings, 270982588 edges, 574151 markings/sec, 205 secs
lola: 165412364 markings, 277222468 edges, 683301 markings/sec, 210 secs
lola: 168855088 markings, 282743499 edges, 688545 markings/sec, 215 secs
lola: 172474497 markings, 288547271 edges, 723882 markings/sec, 220 secs
lola: 176550016 markings, 295800411 edges, 815104 markings/sec, 225 secs
lola: 180382742 markings, 302709910 edges, 766545 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: 3167924 markings, 9765854 edges, 633585 markings/sec, 0 secs
lola: 5598965 markings, 19730526 edges, 486208 markings/sec, 5 secs
lola: 7842110 markings, 29984523 edges, 448629 markings/sec, 10 secs
lola: 10242796 markings, 40196175 edges, 480137 markings/sec, 15 secs
lola: 12765544 markings, 48923027 edges, 504550 markings/sec, 20 secs
lola: 15038611 markings, 56810883 edges, 454613 markings/sec, 25 secs
lola: 17036621 markings, 63757823 edges, 399602 markings/sec, 30 secs
lola: 19027967 markings, 70669995 edges, 398269 markings/sec, 35 secs
lola: 20964397 markings, 77404408 edges, 387286 markings/sec, 40 secs
lola: 22908059 markings, 84149031 edges, 388732 markings/sec, 45 secs
lola: 24807545 markings, 90755899 edges, 379897 markings/sec, 50 secs
lola: 26730327 markings, 97426142 edges, 384556 markings/sec, 55 secs
lola: 28609370 markings, 103962988 edges, 375809 markings/sec, 60 secs
lola: 30537458 markings, 110649511 edges, 385618 markings/sec, 65 secs
lola: 32386501 markings, 117083555 edges, 369809 markings/sec, 70 secs
lola: 34283996 markings, 123661771 edges, 379499 markings/sec, 75 secs
lola: 36121631 markings, 130057842 edges, 367527 markings/sec, 80 secs
lola: 37994915 markings, 136550576 edges, 374657 markings/sec, 85 secs
lola: 39790626 markings, 142801974 edges, 359142 markings/sec, 90 secs
lola: 41663042 markings, 149289388 edges, 374483 markings/sec, 95 secs
lola: 43507898 markings, 155713738 edges, 368971 markings/sec, 100 secs
lola: 45408418 markings, 162296621 edges, 380104 markings/sec, 105 secs
lola: 47266241 markings, 168745769 edges, 371565 markings/sec, 110 secs
lola: 49112964 markings, 175162961 edges, 369345 markings/sec, 115 secs
lola: 50987570 markings, 181662398 edges, 374921 markings/sec, 120 secs
lola: 52800171 markings, 187969727 edges, 362520 markings/sec, 125 secs
lola: 54676121 markings, 194468760 edges, 375190 markings/sec, 130 secs
lola: 56502919 markings, 200815384 edges, 365360 markings/sec, 135 secs
lola: 58359743 markings, 207259747 edges, 371365 markings/sec, 140 secs
lola: 60192804 markings, 213613696 edges, 366612 markings/sec, 145 secs
lola: 61997164 markings, 219892447 edges, 360872 markings/sec, 150 secs
lola: 63816503 markings, 226193052 edges, 363868 markings/sec, 155 secs
lola: 65590141 markings, 232345227 edges, 354728 markings/sec, 160 secs
lola: 67338357 markings, 238420866 edges, 349643 markings/sec, 165 secs
lola: 69121988 markings, 244599876 edges, 356726 markings/sec, 170 secs
lola: 70872932 markings, 250677969 edges, 350189 markings/sec, 175 secs
lola: 72707169 markings, 257046403 edges, 366847 markings/sec, 180 secs
lola: 74561142 markings, 263469410 edges, 370795 markings/sec, 185 secs
lola: 76406324 markings, 269866894 edges, 369036 markings/sec, 190 secs
lola: 78271579 markings, 276352021 edges, 373051 markings/sec, 195 secs
lola: 80187174 markings, 282986774 edges, 383119 markings/sec, 200 secs
lola: 82118365 markings, 289677829 edges, 386238 markings/sec, 205 secs
lola: 84053129 markings, 296383535 edges, 386953 markings/sec, 210 secs
lola: 85983228 markings, 303077163 edges, 386020 markings/sec, 215 secs
lola: 87899727 markings, 309736575 edges, 383300 markings/sec, 220 secs
lola: 89858119 markings, 316519776 edges, 391678 markings/sec, 225 secs
lola: 91827324 markings, 323341908 edges, 393841 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: 3696812 markings, 9860847 edges, 739362 markings/sec, 0 secs
lola: 7089125 markings, 19319309 edges, 678463 markings/sec, 5 secs
lola: 10601369 markings, 28155425 edges, 702449 markings/sec, 10 secs
lola: 13571387 markings, 35272938 edges, 594004 markings/sec, 15 secs
lola: 16158026 markings, 41479692 edges, 517328 markings/sec, 20 secs
lola: 18664383 markings, 47493338 edges, 501271 markings/sec, 25 secs
lola: 21195508 markings, 53566500 edges, 506225 markings/sec, 30 secs
lola: 23699727 markings, 59575174 edges, 500844 markings/sec, 35 secs
lola: 26171131 markings, 65505186 edges, 494281 markings/sec, 40 secs
lola: 28652439 markings, 71458892 edges, 496262 markings/sec, 45 secs
lola: 31127888 markings, 77399015 edges, 495090 markings/sec, 50 secs
lola: 33571601 markings, 83261996 edges, 488743 markings/sec, 55 secs
lola: 36011685 markings, 89116772 edges, 488017 markings/sec, 60 secs
lola: 38429856 markings, 94919000 edges, 483634 markings/sec, 65 secs
lola: 40839937 markings, 100701650 edges, 482016 markings/sec, 70 secs
lola: 43230172 markings, 106436740 edges, 478047 markings/sec, 75 secs
lola: 45599618 markings, 112122045 edges, 473889 markings/sec, 80 secs
lola: 47962455 markings, 117791485 edges, 472567 markings/sec, 85 secs
lola: 50336892 markings, 123488767 edges, 474887 markings/sec, 90 secs
lola: 52721945 markings, 129211480 edges, 477011 markings/sec, 95 secs
lola: 55093827 markings, 134902362 edges, 474376 markings/sec, 100 secs
lola: 57462838 markings, 140586571 edges, 473802 markings/sec, 105 secs
lola: 59853815 markings, 146323410 edges, 478195 markings/sec, 110 secs
lola: 62249692 markings, 152071916 edges, 479175 markings/sec, 115 secs
lola: 64656050 markings, 157845585 edges, 481272 markings/sec, 120 secs
lola: 67020248 markings, 163518242 edges, 472840 markings/sec, 125 secs
lola: 69375556 markings, 169169439 edges, 471062 markings/sec, 130 secs
lola: 71713109 markings, 174778044 edges, 467511 markings/sec, 135 secs
lola: 74115512 markings, 180542302 edges, 480481 markings/sec, 140 secs
lola: 76519888 markings, 186311050 edges, 480875 markings/sec, 145 secs
lola: 78922653 markings, 192076032 edges, 480553 markings/sec, 150 secs
lola: 81417528 markings, 198062262 edges, 498975 markings/sec, 155 secs
lola: 83895266 markings, 204007100 edges, 495548 markings/sec, 160 secs
lola: 86470668 markings, 210186132 edges, 515080 markings/sec, 165 secs
lola: 89014350 markings, 216289253 edges, 508736 markings/sec, 170 secs
lola: 91484771 markings, 222216517 edges, 494084 markings/sec, 175 secs
lola: 94031674 markings, 228327375 edges, 509381 markings/sec, 180 secs
lola: 96599509 markings, 234488824 edges, 513567 markings/sec, 185 secs
lola: 99232586 markings, 240805727 edges, 526615 markings/sec, 190 secs
lola: 101850889 markings, 247087652 edges, 523661 markings/sec, 195 secs
lola: 104478988 markings, 253393313 edges, 525620 markings/sec, 200 secs
lola: 107123206 markings, 259737467 edges, 528844 markings/sec, 205 secs
lola: 109786353 markings, 266127170 edges, 532629 markings/sec, 210 secs
lola: 112503189 markings, 272645545 edges, 543367 markings/sec, 215 secs
lola: 115264759 markings, 279271622 edges, 552314 markings/sec, 220 secs
lola: 118059044 markings, 285976808 edges, 558857 markings/sec, 225 secs
lola: 120877050 markings, 292806856 edges, 563601 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: 4443894 markings, 8024680 edges, 888779 markings/sec, 0 secs
lola: 8842483 markings, 15990050 edges, 879718 markings/sec, 5 secs
lola: 13100173 markings, 23700892 edges, 851538 markings/sec, 10 secs
lola: 17271975 markings, 30869901 edges, 834360 markings/sec, 15 secs
lola: 21398588 markings, 37895298 edges, 825323 markings/sec, 20 secs
lola: 25416582 markings, 44737600 edges, 803599 markings/sec, 25 secs
lola: 29483437 markings, 51404982 edges, 813371 markings/sec, 30 secs
lola: 33380740 markings, 58279269 edges, 779461 markings/sec, 35 secs
lola: 37424901 markings, 65604519 edges, 808832 markings/sec, 40 secs
lola: 41732265 markings, 73407131 edges, 861473 markings/sec, 45 secs
lola: 45967398 markings, 81079451 edges, 847027 markings/sec, 50 secs
lola: 50159054 markings, 88673716 edges, 838331 markings/sec, 55 secs
lola: 54448059 markings, 95571973 edges, 857801 markings/sec, 60 secs
lola: 58748036 markings, 102213587 edges, 859995 markings/sec, 65 secs
lola: 62980480 markings, 108736709 edges, 846489 markings/sec, 70 secs
lola: 67073168 markings, 115046296 edges, 818538 markings/sec, 75 secs
lola: 70631747 markings, 121597662 edges, 711716 markings/sec, 80 secs
lola: 73911912 markings, 127753728 edges, 656033 markings/sec, 85 secs
lola: 77588348 markings, 134017389 edges, 735287 markings/sec, 90 secs
lola: 81502422 markings, 140687531 edges, 782815 markings/sec, 95 secs
lola: 85474238 markings, 147458061 edges, 794363 markings/sec, 100 secs
lola: 89352818 markings, 154071169 edges, 775716 markings/sec, 105 secs
lola: 93475750 markings, 161005174 edges, 824586 markings/sec, 110 secs
lola: 97100835 markings, 166823908 edges, 725017 markings/sec, 115 secs
lola: 100774665 markings, 172715004 edges, 734766 markings/sec, 120 secs
lola: 105191080 markings, 179413505 edges, 883283 markings/sec, 125 secs
lola: 109790655 markings, 186322261 edges, 919915 markings/sec, 130 secs
lola: 114318598 markings, 193117272 edges, 905589 markings/sec, 135 secs
lola: 118651112 markings, 199619013 edges, 866503 markings/sec, 140 secs
lola: 122738275 markings, 206024249 edges, 817433 markings/sec, 145 secs
lola: 126419391 markings, 211920903 edges, 736223 markings/sec, 150 secs
lola: 130432185 markings, 218147974 edges, 802559 markings/sec, 155 secs
lola: 134584653 markings, 224553791 edges, 830494 markings/sec, 160 secs
lola: 138882681 markings, 231185940 edges, 859606 markings/sec, 165 secs
lola: 143109328 markings, 237709622 edges, 845329 markings/sec, 170 secs
lola: 147253566 markings, 244108280 edges, 828848 markings/sec, 175 secs
lola: 151381524 markings, 250483737 edges, 825592 markings/sec, 180 secs
lola: 155127315 markings, 257224799 edges, 749158 markings/sec, 185 secs
lola: 158245577 markings, 263470921 edges, 623652 markings/sec, 190 secs
lola: 161362535 markings, 269714110 edges, 623392 markings/sec, 195 secs
lola: 164728835 markings, 276117285 edges, 673260 markings/sec, 200 secs
lola: 168291849 markings, 281840275 edges, 712603 markings/sec, 205 secs
lola: 171853967 markings, 287552283 edges, 712424 markings/sec, 210 secs
lola: 175955645 markings, 294725702 edges, 820336 markings/sec, 215 secs
lola: 179778257 markings, 301628276 edges, 764522 markings/sec, 220 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: 4292928 markings, 7751370 edges, 858586 markings/sec, 0 secs
lola: 8430156 markings, 15243353 edges, 827446 markings/sec, 5 secs
lola: 12544759 markings, 22694974 edges, 822921 markings/sec, 10 secs
lola: 16735153 markings, 29939142 edges, 838079 markings/sec, 15 secs
lola: 20711474 markings, 36725401 edges, 795264 markings/sec, 20 secs
lola: 24433910 markings, 43063930 edges, 744487 markings/sec, 25 secs
lola: 28464329 markings, 49770593 edges, 806084 markings/sec, 30 secs
lola: 32310093 markings, 56340149 edges, 769153 markings/sec, 35 secs
lola: 36263222 markings, 63500315 edges, 790626 markings/sec, 40 secs
lola: 40486191 markings, 71149739 edges, 844594 markings/sec, 45 secs
lola: 44730266 markings, 78838245 edges, 848815 markings/sec, 50 secs
lola: 48944243 markings, 86472610 edges, 842795 markings/sec, 55 secs
lola: 53141380 markings, 93563194 edges, 839427 markings/sec, 60 secs
lola: 57264814 markings, 99928200 edges, 824687 markings/sec, 65 secs
lola: 61300878 markings, 106147845 edges, 807213 markings/sec, 70 secs
lola: 65326890 markings, 112353794 edges, 805202 markings/sec, 75 secs
lola: 69206574 markings, 118734603 edges, 775937 markings/sec, 80 secs
lola: 72245006 markings, 124829168 edges, 607686 markings/sec, 85 secs
lola: 75798168 markings, 130967106 edges, 710632 markings/sec, 90 secs
lola: 79542439 markings, 137347293 edges, 748854 markings/sec, 95 secs
lola: 83433666 markings, 143979329 edges, 778245 markings/sec, 100 secs
lola: 87280569 markings, 150537769 edges, 769381 markings/sec, 105 secs
lola: 91286880 markings, 157369813 edges, 801262 markings/sec, 110 secs
lola: 95262846 markings, 163876394 edges, 795193 markings/sec, 115 secs
lola: 98822451 markings, 169584632 edges, 711921 markings/sec, 120 secs
lola: 102746728 markings, 175754011 edges, 784855 markings/sec, 125 secs
lola: 107151617 markings, 182361884 edges, 880978 markings/sec, 130 secs
lola: 111415099 markings, 188760046 edges, 852696 markings/sec, 135 secs
lola: 115812682 markings, 195359434 edges, 879517 markings/sec, 140 secs
lola: 120178485 markings, 201922106 edges, 873161 markings/sec, 145 secs
lola: 123951181 markings, 207967169 edges, 754539 markings/sec, 150 secs
lola: 127595347 markings, 213773174 edges, 728833 markings/sec, 155 secs
lola: 131573033 markings, 219907705 edges, 795537 markings/sec, 160 secs
lola: 135650254 markings, 226197891 edges, 815444 markings/sec, 165 secs
lola: 139699098 markings, 232445863 edges, 809769 markings/sec, 170 secs
lola: 143710763 markings, 238638299 edges, 802333 markings/sec, 175 secs
lola: 147826476 markings, 244992736 edges, 823143 markings/sec, 180 secs
lola: 152021727 markings, 251472688 edges, 839050 markings/sec, 185 secs
lola: 155510959 markings, 257993302 edges, 697846 markings/sec, 190 secs
lola: 158055621 markings, 263090430 edges, 508932 markings/sec, 195 secs
lola: 161068047 markings, 269124269 edges, 602485 markings/sec, 200 secs
lola: 164299309 markings, 275431973 edges, 646252 markings/sec, 205 secs
lola: 168122874 markings, 281569313 edges, 764713 markings/sec, 210 secs
lola: 171775144 markings, 287425890 edges, 730454 markings/sec, 215 secs
lola: 175623244 markings, 294124478 edges, 769620 markings/sec, 220 secs
lola: 179134105 markings, 300466636 edges, 702172 markings/sec, 225 secs
lola: 181879572 markings, 305416089 edges, 549093 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: 4890691 markings, 8762667 edges, 978138 markings/sec, 0 secs
lola: 8681255 markings, 15013740 edges, 758113 markings/sec, 5 secs
lola: 12365790 markings, 21092726 edges, 736907 markings/sec, 10 secs
lola: 15883146 markings, 26868874 edges, 703471 markings/sec, 15 secs
lola: 19587514 markings, 33026174 edges, 740874 markings/sec, 20 secs
lola: 23171931 markings, 39047607 edges, 716883 markings/sec, 25 secs
lola: 26422595 markings, 44508362 edges, 650133 markings/sec, 30 secs
lola: 29479024 markings, 49643314 edges, 611286 markings/sec, 35 secs
lola: 32705894 markings, 55064063 edges, 645374 markings/sec, 40 secs
lola: 36086419 markings, 60743722 edges, 676105 markings/sec, 45 secs
lola: 39470307 markings, 66428460 edges, 676778 markings/sec, 50 secs
lola: 42896205 markings, 72183548 edges, 685180 markings/sec, 55 secs
lola: 46273600 markings, 77857416 edges, 675479 markings/sec, 60 secs
lola: 49537231 markings, 83339945 edges, 652726 markings/sec, 65 secs
lola: 52766922 markings, 88765391 edges, 645938 markings/sec, 70 secs
lola: 56013303 markings, 94219051 edges, 649276 markings/sec, 75 secs
lola: 59244887 markings, 99647776 edges, 646317 markings/sec, 80 secs
lola: 62573095 markings, 105238624 edges, 665642 markings/sec, 85 secs
lola: 65967966 markings, 110941215 edges, 678974 markings/sec, 90 secs
lola: 69391115 markings, 116691466 edges, 684630 markings/sec, 95 secs
lola: 72829725 markings, 122467373 edges, 687722 markings/sec, 100 secs
lola: 76305006 markings, 128304554 edges, 695056 markings/sec, 105 secs
lola: 79975742 markings, 134474986 edges, 734147 markings/sec, 110 secs
lola: 83472614 markings, 140354712 edges, 699374 markings/sec, 115 secs
lola: 87202658 markings, 146632662 edges, 746009 markings/sec, 120 secs
lola: 91020134 markings, 153055262 edges, 763495 markings/sec, 125 secs
lola: 94833950 markings, 159473870 edges, 762763 markings/sec, 130 secs
lola: 98733654 markings, 166043055 edges, 779941 markings/sec, 135 secs
lola: 102576535 markings, 172502535 edges, 768576 markings/sec, 140 secs
lola: 106502811 markings, 179110538 edges, 785255 markings/sec, 145 secs
lola: 110306442 markings, 185524968 edges, 760726 markings/sec, 150 secs
lola: 113790450 markings, 191374301 edges, 696802 markings/sec, 155 secs
lola: 117043462 markings, 196848560 edges, 650602 markings/sec, 160 secs
lola: 120837163 markings, 203233528 edges, 758740 markings/sec, 165 secs
lola: 124565523 markings, 209517804 edges, 745672 markings/sec, 170 secs
lola: 128278824 markings, 215757096 edges, 742660 markings/sec, 175 secs
lola: 132074351 markings, 222145907 edges, 759105 markings/sec, 180 secs
lola: 135694441 markings, 228237048 edges, 724018 markings/sec, 185 secs
lola: 139246318 markings, 234216011 edges, 710375 markings/sec, 190 secs
lola: 142852578 markings, 240284077 edges, 721252 markings/sec, 195 secs
lola: 146133198 markings, 245807167 edges, 656124 markings/sec, 200 secs
lola: 149339775 markings, 251202703 edges, 641315 markings/sec, 205 secs
lola: 152650296 markings, 256774674 edges, 662104 markings/sec, 210 secs
lola: 156209546 markings, 262765333 edges, 711850 markings/sec, 215 secs
lola: 159435881 markings, 268194873 edges, 645267 markings/sec, 220 secs
lola: 163086519 markings, 274340248 edges, 730128 markings/sec, 225 secs
lola: 166551736 markings, 280171684 edges, 693043 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 238 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: 4398840 markings, 7943113 edges, 879768 markings/sec, 0 secs
lola: 8645658 markings, 15633633 edges, 849364 markings/sec, 5 secs
lola: 12868376 markings, 23281106 edges, 844544 markings/sec, 10 secs
lola: 17117327 markings, 30606749 edges, 849790 markings/sec, 15 secs
lola: 21048621 markings, 37299389 edges, 786259 markings/sec, 20 secs
lola: 25027814 markings, 44075407 edges, 795839 markings/sec, 25 secs
lola: 29098649 markings, 50787875 edges, 814167 markings/sec, 30 secs
lola: 33011042 markings, 57609687 edges, 782479 markings/sec, 35 secs
lola: 37181902 markings, 65164345 edges, 834172 markings/sec, 40 secs
lola: 41470314 markings, 72932568 edges, 857682 markings/sec, 45 secs
lola: 45712079 markings, 80616870 edges, 848353 markings/sec, 50 secs
lola: 49938627 markings, 88274329 edges, 845310 markings/sec, 55 secs
lola: 54205276 markings, 95199818 edges, 853330 markings/sec, 60 secs
lola: 58427212 markings, 101719301 edges, 844387 markings/sec, 65 secs
lola: 62586824 markings, 108129915 edges, 831922 markings/sec, 70 secs
lola: 66699355 markings, 114469904 edges, 822506 markings/sec, 75 secs
lola: 70306106 markings, 120945356 edges, 721350 markings/sec, 80 secs
lola: 73545124 markings, 127129082 edges, 647804 markings/sec, 85 secs
lola: 77388504 markings, 133676857 edges, 768676 markings/sec, 90 secs
lola: 81272999 markings, 140296504 edges, 776899 markings/sec, 95 secs
lola: 85098097 markings, 146816648 edges, 765020 markings/sec, 100 secs
lola: 89183652 markings, 153782910 edges, 817111 markings/sec, 105 secs
lola: 93440145 markings, 160943902 edges, 851299 markings/sec, 110 secs
lola: 96938570 markings, 166563697 edges, 699685 markings/sec, 115 secs
lola: 100432731 markings, 172166731 edges, 698832 markings/sec, 120 secs
lola: 104623394 markings, 178563344 edges, 838133 markings/sec, 125 secs
lola: 108885101 markings, 184963304 edges, 852341 markings/sec, 130 secs
lola: 113125319 markings, 191326553 edges, 848044 markings/sec, 135 secs
lola: 117400871 markings, 197742788 edges, 855110 markings/sec, 140 secs
lola: 121549329 markings, 204111278 edges, 829692 markings/sec, 145 secs
lola: 125109815 markings, 209823161 edges, 712097 markings/sec, 150 secs
lola: 128754245 markings, 215560215 edges, 728886 markings/sec, 155 secs
lola: 132750328 markings, 221723712 edges, 799217 markings/sec, 160 secs
lola: 137015054 markings, 228303582 edges, 852945 markings/sec, 165 secs
lola: 141257779 markings, 234851624 edges, 848545 markings/sec, 170 secs
lola: 145519994 markings, 241431630 edges, 852443 markings/sec, 175 secs
lola: 149821503 markings, 248074178 edges, 860302 markings/sec, 180 secs
lola: 154001861 markings, 254961599 edges, 836072 markings/sec, 185 secs
lola: 157049781 markings, 261075697 edges, 609584 markings/sec, 190 secs
lola: 160053408 markings, 267091987 edges, 600725 markings/sec, 195 secs
lola: 163100826 markings, 273195717 edges, 609484 markings/sec, 200 secs
lola: 166804049 markings, 279454361 edges, 740645 markings/sec, 205 secs
lola: 170206973 markings, 284911328 edges, 680585 markings/sec, 210 secs
lola: 174002038 markings, 291203143 edges, 759013 markings/sec, 215 secs
lola: 177783699 markings, 298023414 edges, 756332 markings/sec, 220 secs
lola: 181382105 markings, 304520614 edges, 719681 markings/sec, 225 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 238 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: 4750632 markings, 8530988 edges, 950126 markings/sec, 0 secs
lola: 8504692 markings, 14724506 edges, 750812 markings/sec, 5 secs
lola: 12079525 markings, 20614356 edges, 714967 markings/sec, 10 secs
lola: 15636200 markings, 26488080 edges, 711335 markings/sec, 15 secs
lola: 19458340 markings, 32809413 edges, 764428 markings/sec, 20 secs
lola: 23213091 markings, 39116708 edges, 750950 markings/sec, 25 secs
lola: 26521390 markings, 44674576 edges, 661660 markings/sec, 30 secs
lola: 29805085 markings, 50190757 edges, 656739 markings/sec, 35 secs
lola: 33095009 markings, 55717949 edges, 657985 markings/sec, 40 secs
lola: 36444879 markings, 61345657 edges, 669974 markings/sec, 45 secs
lola: 39701201 markings, 66816301 edges, 651264 markings/sec, 50 secs
lola: 42968425 markings, 72304850 edges, 653445 markings/sec, 55 secs
lola: 46238913 markings, 77799146 edges, 654098 markings/sec, 60 secs
lola: 49503873 markings, 83283773 edges, 652992 markings/sec, 65 secs
lola: 52706834 markings, 88664614 edges, 640592 markings/sec, 70 secs
lola: 55966822 markings, 94141007 edges, 651998 markings/sec, 75 secs
lola: 59252749 markings, 99660952 edges, 657185 markings/sec, 80 secs
lola: 62576608 markings, 105244450 edges, 664772 markings/sec, 85 secs
lola: 65893208 markings, 110815802 edges, 663320 markings/sec, 90 secs
lola: 69227901 markings, 116417354 edges, 666939 markings/sec, 95 secs
lola: 72586500 markings, 122058691 edges, 671720 markings/sec, 100 secs
lola: 75955584 markings, 127717767 edges, 673817 markings/sec, 105 secs
lola: 79514600 markings, 133695107 edges, 711803 markings/sec, 110 secs
lola: 83009686 markings, 139576319 edges, 699017 markings/sec, 115 secs
lola: 86619467 markings, 145650515 edges, 721956 markings/sec, 120 secs
lola: 90429789 markings, 152062204 edges, 762064 markings/sec, 125 secs
lola: 93810622 markings, 157764957 edges, 676167 markings/sec, 130 secs
lola: 97435042 markings, 163850609 edges, 724884 markings/sec, 135 secs
lola: 100996943 markings, 169854187 edges, 712380 markings/sec, 140 secs
lola: 104542645 markings, 175811575 edges, 709140 markings/sec, 145 secs
lola: 108159482 markings, 181905599 edges, 723367 markings/sec, 150 secs
lola: 111633916 markings, 187745276 edges, 694887 markings/sec, 155 secs
lola: 115178664 markings, 193719089 edges, 708950 markings/sec, 160 secs
lola: 118688621 markings, 199617339 edges, 701991 markings/sec, 165 secs
lola: 122190135 markings, 205520398 edges, 700303 markings/sec, 170 secs
lola: 125806604 markings, 211596279 edges, 723294 markings/sec, 175 secs
lola: 129484440 markings, 217790891 edges, 735567 markings/sec, 180 secs
lola: 133002771 markings, 223707247 edges, 703666 markings/sec, 185 secs
lola: 136673250 markings, 229885427 edges, 734096 markings/sec, 190 secs
lola: 140155440 markings, 235744967 edges, 696438 markings/sec, 195 secs
lola: 143750524 markings, 241797295 edges, 719017 markings/sec, 200 secs
lola: 147233303 markings, 247657224 edges, 696556 markings/sec, 205 secs
lola: 150673156 markings, 253452194 edges, 687971 markings/sec, 210 secs
lola: 154164136 markings, 259322543 edges, 698196 markings/sec, 215 secs
lola: 157587824 markings, 265094622 edges, 684738 markings/sec, 220 secs
lola: 160808311 markings, 270505778 edges, 644097 markings/sec, 225 secs
lola: 164417936 markings, 276580587 edges, 721925 markings/sec, 230 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 239 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: 4645215 markings, 8389224 edges, 929043 markings/sec, 0 secs
lola: 9035956 markings, 16340415 edges, 878148 markings/sec, 5 secs
lola: 13337285 markings, 24130361 edges, 860266 markings/sec, 10 secs
lola: 17606854 markings, 31439867 edges, 853914 markings/sec, 15 secs
lola: 21683226 markings, 38379766 edges, 815274 markings/sec, 20 secs
lola: 25728714 markings, 45269124 edges, 809098 markings/sec, 25 secs
lola: 29818163 markings, 51941782 edges, 817890 markings/sec, 30 secs
lola: 33803701 markings, 59045289 edges, 797108 markings/sec, 35 secs
lola: 37983619 markings, 66616480 edges, 835984 markings/sec, 40 secs
lola: 42268976 markings, 74379306 edges, 857071 markings/sec, 45 secs
lola: 46529100 markings, 82097122 edges, 852025 markings/sec, 50 secs
lola: 50813480 markings, 89859349 edges, 856876 markings/sec, 55 secs
lola: 55194222 markings, 96719245 edges, 876148 markings/sec, 60 secs
lola: 59418811 markings, 103247381 edges, 844918 markings/sec, 65 secs
lola: 63521246 markings, 109570194 edges, 820487 markings/sec, 70 secs
lola: 67790484 markings, 116152216 edges, 853848 markings/sec, 75 secs
lola: 71190904 markings, 122717706 edges, 680084 markings/sec, 80 secs
lola: 74669776 markings, 129044847 edges, 695774 markings/sec, 85 secs
lola: 78468150 markings, 135516501 edges, 759675 markings/sec, 90 secs
lola: 82433355 markings, 142274431 edges, 793041 markings/sec, 95 secs
lola: 86502282 markings, 149210659 edges, 813785 markings/sec, 100 secs
lola: 90617685 markings, 156228387 edges, 823081 markings/sec, 105 secs
lola: 94733562 markings, 163027571 edges, 823175 markings/sec, 110 secs
lola: 98359122 markings, 168841680 edges, 725112 markings/sec, 115 secs
lola: 102294375 markings, 175077377 edges, 787051 markings/sec, 120 secs
lola: 106897167 markings, 181980028 edges, 920558 markings/sec, 125 secs
lola: 111334159 markings, 188638576 edges, 887398 markings/sec, 130 secs
lola: 115762239 markings, 195283738 edges, 885616 markings/sec, 135 secs
lola: 120206529 markings, 201966767 edges, 888858 markings/sec, 140 secs
lola: 124004619 markings, 208052780 edges, 759618 markings/sec, 145 secs
lola: 127719177 markings, 213964060 edges, 742912 markings/sec, 150 secs
lola: 131696686 markings, 220098431 edges, 795502 markings/sec, 155 secs
lola: 135765137 markings, 226375174 edges, 813690 markings/sec, 160 secs
lola: 139967955 markings, 232860763 edges, 840564 markings/sec, 165 secs
lola: 144211941 markings, 239412101 edges, 848797 markings/sec, 170 secs
lola: 148486253 markings, 246011722 edges, 854862 markings/sec, 175 secs
lola: 152795953 markings, 252668703 edges, 861940 markings/sec, 180 secs
lola: 156114041 markings, 259201344 edges, 663618 markings/sec, 185 secs
lola: 159182657 markings, 265347910 edges, 613723 markings/sec, 190 secs
lola: 162322793 markings, 271637408 edges, 628027 markings/sec, 195 secs
lola: 165978530 markings, 278130444 edges, 731147 markings/sec, 200 secs
lola: 169730709 markings, 284147626 edges, 750436 markings/sec, 205 secs
lola: 173644923 markings, 290558131 edges, 782843 markings/sec, 210 secs
lola: 177385288 markings, 297304190 edges, 748073 markings/sec, 215 secs
lola: 180889648 markings, 303628934 edges, 700872 markings/sec, 220 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 244 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: 4084168 markings, 7937882 edges, 816834 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 481 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: ========================================
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3730930 markings, 9955958 edges, 746186 markings/sec, 0 secs
lola: 7215547 markings, 19672116 edges, 696923 markings/sec, 5 secs
lola: 10744485 markings, 28497991 edges, 705788 markings/sec, 10 secs
lola: 13634177 markings, 35423709 edges, 577938 markings/sec, 15 secs
lola: 16178772 markings, 41529403 edges, 508919 markings/sec, 20 secs
lola: 18623876 markings, 47396232 edges, 489021 markings/sec, 25 secs
lola: 21101176 markings, 53340208 edges, 495460 markings/sec, 30 secs
lola: 23565161 markings, 59252318 edges, 492797 markings/sec, 35 secs
lola: 26040138 markings, 65190818 edges, 494995 markings/sec, 40 secs
lola: 28466399 markings, 71012782 edges, 485252 markings/sec, 45 secs
lola: 30867097 markings, 76772981 edges, 480140 markings/sec, 50 secs
lola: 33304299 markings, 82620681 edges, 487440 markings/sec, 55 secs
lola: 35738248 markings, 88460622 edges, 486790 markings/sec, 60 secs
lola: 38165260 markings, 94283963 edges, 485402 markings/sec, 65 secs
lola: 40646228 markings, 100236977 edges, 496194 markings/sec, 70 secs
lola: 43107725 markings, 106143126 edges, 492299 markings/sec, 75 secs
lola: 45554439 markings, 112013719 edges, 489343 markings/sec, 80 secs
lola: 47966197 markings, 117800497 edges, 482352 markings/sec, 85 secs
lola: 50379147 markings, 123590025 edges, 482590 markings/sec, 90 secs
lola: 52794816 markings, 129386317 edges, 483134 markings/sec, 95 secs
lola: 55191306 markings, 135136417 edges, 479298 markings/sec, 100 secs
lola: 57632283 markings, 140993142 edges, 488195 markings/sec, 105 secs
lola: 59754895 markings, 146086168 edges, 424522 markings/sec, 110 secs
lola: 62175290 markings, 151893311 edges, 484079 markings/sec, 115 secs
lola: 64594612 markings, 157698250 edges, 483864 markings/sec, 120 secs
lola: 66980462 markings, 163422798 edges, 477170 markings/sec, 125 secs
lola: 69366850 markings, 169148499 edges, 477278 markings/sec, 130 secs
lola: 71763891 markings, 174899875 edges, 479408 markings/sec, 135 secs
lola: 74256512 markings, 180880490 edges, 498524 markings/sec, 140 secs
lola: 76691396 markings, 186722471 edges, 486977 markings/sec, 145 secs
lola: 79115913 markings, 192539755 edges, 484903 markings/sec, 150 secs
lola: 81640787 markings, 198597729 edges, 504975 markings/sec, 155 secs
lola: 84113589 markings, 204530892 edges, 494560 markings/sec, 160 secs
lola: 86661190 markings, 210643368 edges, 509520 markings/sec, 165 secs
lola: 88800208 markings, 215775788 edges, 427804 markings/sec, 170 secs
lola: 91280678 markings, 221726754 edges, 496094 markings/sec, 175 secs
lola: 93760741 markings, 227677290 edges, 496013 markings/sec, 180 secs
lola: 96301052 markings, 233772160 edges, 508062 markings/sec, 185 secs
lola: 98887762 markings, 239978480 edges, 517342 markings/sec, 190 secs
lola: 101456525 markings, 246141589 edges, 513753 markings/sec, 195 secs
lola: 104026819 markings, 252308668 edges, 514059 markings/sec, 200 secs
lola: 106660526 markings, 258627765 edges, 526741 markings/sec, 205 secs
lola: 109324964 markings, 265019980 edges, 532888 markings/sec, 210 secs
lola: 112003511 markings, 271446588 edges, 535709 markings/sec, 215 secs
lola: 114670499 markings, 277845533 edges, 533398 markings/sec, 220 secs
lola: 117360330 markings, 284299924 edges, 537966 markings/sec, 225 secs
lola: 120269540 markings, 291346945 edges, 581842 markings/sec, 230 secs
lola: 122712764 markings, 297220324 edges, 488645 markings/sec, 235 secs
lola: 125232621 markings, 303339760 edges, 503971 markings/sec, 240 secs
lola: 127771054 markings, 309505123 edges, 507687 markings/sec, 245 secs
lola: 130206174 markings, 315361359 edges, 487024 markings/sec, 250 secs
lola: 132870038 markings, 321825532 edges, 532773 markings/sec, 255 secs
lola: 135562187 markings, 328359827 edges, 538430 markings/sec, 260 secs
lola: 138216986 markings, 334805144 edges, 530960 markings/sec, 265 secs
lola: 140598548 markings, 340531995 edges, 476312 markings/sec, 270 secs
lola: 143188611 markings, 346819347 edges, 518013 markings/sec, 275 secs
lola: 145808400 markings, 353180060 edges, 523958 markings/sec, 280 secs
lola: 148424886 markings, 359533615 edges, 523297 markings/sec, 285 secs
lola: 150884842 markings, 365447872 edges, 491991 markings/sec, 290 secs
lola: 153421350 markings, 371607300 edges, 507302 markings/sec, 295 secs
lola: 155994474 markings, 377856297 edges, 514625 markings/sec, 300 secs
lola: 158555753 markings, 384058854 edges, 512256 markings/sec, 305 secs
lola: 160975457 markings, 389893760 edges, 483941 markings/sec, 310 secs
lola: 163559771 markings, 396169119 edges, 516863 markings/sec, 315 secs
lola: 166157327 markings, 402477311 edges, 519511 markings/sec, 320 secs
lola: 168533292 markings, 408190404 edges, 475193 markings/sec, 325 secs
lola: 171076160 markings, 414364895 edges, 508574 markings/sec, 330 secs
lola: 173642270 markings, 420597179 edges, 513222 markings/sec, 335 secs
lola: 176089166 markings, 426537740 edges, 489379 markings/sec, 340 secs
lola: 178453594 markings, 432227107 edges, 472886 markings/sec, 345 secs
lola: 180952147 markings, 438296610 edges, 499711 markings/sec, 350 secs
lola: 183350993 markings, 444127621 edges, 479769 markings/sec, 355 secs
lola: 185751693 markings, 449898988 edges, 480140 markings/sec, 360 secs
lola: 188313873 markings, 456121003 edges, 512436 markings/sec, 365 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 1494725863081
--------------------
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="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/GPPP-PT-C0100N0000010000.tgz
mv 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 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 r028-blw3-149440264500551"
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 ;