About the Execution of LoLA for GPPP-PT-C0100N0000001000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15925.840 | 3525036.00 | 3531459.00 | 1970.20 | ? 396 ? ? ? ? ? ? ? ? 396 ? ? ? ? ? | 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-C0100N0000001000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264400542
=====================================================================
--------------------
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-C0100N0000001000-UpperBounds-0
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-1
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-10
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-11
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-12
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-13
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-14
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-15
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-2
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-3
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-4
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-5
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-6
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-7
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-8
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494721116280
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ GPPP-PT-C0100N0000001000 @ 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-C0100N0000001000-UpperBounds.task
lola: MAX(F6P) : MAX(Xu5P) : MAX(GSSG) : MAX(b2) : MAX(Xu5P) : MAX(Lac) : MAX(c2) : MAX(E4P) : MAX(_3PG) : MAX(GAP) : MAX(F6P) : MAX(NADPH) : MAX(b2) : MAX(G6P) : MAX(Gluc) : MAX(_2PG)
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(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: 2379160 markings, 8309056 edges, 475832 markings/sec, 0 secs
lola: 4354788 markings, 15873640 edges, 395126 markings/sec, 5 secs
lola: 5606184 markings, 21407091 edges, 250279 markings/sec, 10 secs
lola: 6879897 markings, 27127090 edges, 254743 markings/sec, 15 secs
lola: 9129040 markings, 35144358 edges, 449829 markings/sec, 20 secs
lola: 10951978 markings, 42437157 edges, 364588 markings/sec, 25 secs
lola: 12097053 markings, 47593474 edges, 229015 markings/sec, 30 secs
lola: 13190342 markings, 52592893 edges, 218658 markings/sec, 35 secs
lola: 15183389 markings, 59847167 edges, 398609 markings/sec, 40 secs
lola: 17288725 markings, 67732822 edges, 421067 markings/sec, 45 secs
lola: 18971422 markings, 74789657 edges, 336539 markings/sec, 50 secs
lola: 20150819 markings, 79810842 edges, 235879 markings/sec, 55 secs
lola: 21165811 markings, 84346399 edges, 202998 markings/sec, 60 secs
lola: 22583595 markings, 90181327 edges, 283557 markings/sec, 65 secs
lola: 24967574 markings, 98526537 edges, 476796 markings/sec, 70 secs
lola: 26955834 markings, 106119324 edges, 397652 markings/sec, 75 secs
lola: 28683147 markings, 113317861 edges, 345463 markings/sec, 80 secs
lola: 30014493 markings, 118974374 edges, 266269 markings/sec, 85 secs
lola: 31193982 markings, 124282015 edges, 235898 markings/sec, 90 secs
lola: 32690806 markings, 130540543 edges, 299365 markings/sec, 95 secs
lola: 35106103 markings, 138815933 edges, 483059 markings/sec, 100 secs
lola: 37229345 markings, 146820549 edges, 424648 markings/sec, 105 secs
lola: 39104494 markings, 154133119 edges, 375030 markings/sec, 110 secs
lola: 40695872 markings, 160911352 edges, 318276 markings/sec, 115 secs
lola: 41981044 markings, 166389240 edges, 257034 markings/sec, 120 secs
lola: 42867616 markings, 170431242 edges, 177314 markings/sec, 125 secs
lola: 43944082 markings, 175526788 edges, 215293 markings/sec, 130 secs
lola: 46257990 markings, 183391044 edges, 462782 markings/sec, 135 secs
lola: 48570262 markings, 191570867 edges, 462454 markings/sec, 140 secs
lola: 50620975 markings, 199392519 edges, 410143 markings/sec, 145 secs
lola: 52481314 markings, 206754663 edges, 372068 markings/sec, 150 secs
lola: 54029551 markings, 213335788 edges, 309647 markings/sec, 155 secs
lola: 55422711 markings, 219232238 edges, 278632 markings/sec, 160 secs
lola: 56400809 markings, 223690766 edges, 195620 markings/sec, 165 secs
lola: 57555932 markings, 229056721 edges, 231025 markings/sec, 170 secs
lola: 59701833 markings, 236596956 edges, 429180 markings/sec, 175 secs
lola: 62092773 markings, 244825146 edges, 478188 markings/sec, 180 secs
lola: 64118637 markings, 252485541 edges, 405173 markings/sec, 185 secs
lola: 66150611 markings, 260243467 edges, 406395 markings/sec, 190 secs
lola: 67930326 markings, 267483357 edges, 355943 markings/sec, 195 secs
lola: 69394993 markings, 273647511 edges, 292933 markings/sec, 200 secs
lola: 70997871 markings, 280469023 edges, 320576 markings/sec, 205 secs
lola: 72068910 markings, 285355238 edges, 214208 markings/sec, 210 secs
lola: 73131901 markings, 290306334 edges, 212598 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(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: 3949505 markings, 7677917 edges, 789901 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 2 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(GSSG)
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: 4901953 markings, 7482419 edges, 980391 markings/sec, 0 secs
lola: 9232100 markings, 13972999 edges, 866029 markings/sec, 5 secs
lola: 13196708 markings, 20149419 edges, 792922 markings/sec, 10 secs
lola: 17134562 markings, 26018401 edges, 787571 markings/sec, 15 secs
lola: 20643428 markings, 31439915 edges, 701773 markings/sec, 20 secs
lola: 24288862 markings, 37055306 edges, 729087 markings/sec, 25 secs
lola: 28104346 markings, 42779290 edges, 763097 markings/sec, 30 secs
lola: 31938430 markings, 48770216 edges, 766817 markings/sec, 35 secs
lola: 35827046 markings, 54653383 edges, 777723 markings/sec, 40 secs
lola: 39582614 markings, 60374421 edges, 751114 markings/sec, 45 secs
lola: 43678140 markings, 66705809 edges, 819105 markings/sec, 50 secs
lola: 47524122 markings, 72511326 edges, 769196 markings/sec, 55 secs
lola: 51087015 markings, 78044859 edges, 712579 markings/sec, 60 secs
lola: 55160378 markings, 84242439 edges, 814673 markings/sec, 65 secs
lola: 58985176 markings, 90026987 edges, 764960 markings/sec, 70 secs
lola: 62726692 markings, 95901876 edges, 748303 markings/sec, 75 secs
lola: 66908251 markings, 102200641 edges, 836312 markings/sec, 80 secs
lola: 70805168 markings, 108080734 edges, 779383 markings/sec, 85 secs
lola: 74603012 markings, 114102129 edges, 759569 markings/sec, 90 secs
lola: 78823316 markings, 120407348 edges, 844061 markings/sec, 95 secs
lola: 82643750 markings, 126220930 edges, 764087 markings/sec, 100 secs
lola: 86426573 markings, 132187993 edges, 756565 markings/sec, 105 secs
lola: 90479419 markings, 138236734 edges, 810569 markings/sec, 110 secs
lola: 94198574 markings, 143960347 edges, 743831 markings/sec, 115 secs
lola: 97998984 markings, 149863170 edges, 760082 markings/sec, 120 secs
lola: 102004108 markings, 155846332 edges, 801025 markings/sec, 125 secs
lola: 105740199 markings, 161677829 edges, 747218 markings/sec, 130 secs
lola: 109592132 markings, 167548666 edges, 770387 markings/sec, 135 secs
lola: 113495098 markings, 173425247 edges, 780593 markings/sec, 140 secs
lola: 117266390 markings, 179320525 edges, 754258 markings/sec, 145 secs
lola: 121073232 markings, 185093435 edges, 761368 markings/sec, 150 secs
lola: 124804679 markings, 190761521 edges, 746289 markings/sec, 155 secs
lola: 128538098 markings, 196525518 edges, 746684 markings/sec, 160 secs
lola: 132258326 markings, 202126897 edges, 744046 markings/sec, 165 secs
lola: 135842707 markings, 207718561 edges, 716876 markings/sec, 170 secs
lola: 139775822 markings, 213686975 edges, 786623 markings/sec, 175 secs
lola: 143428375 markings, 219176370 edges, 730511 markings/sec, 180 secs
lola: 147137831 markings, 225058216 edges, 741891 markings/sec, 185 secs
lola: 151208979 markings, 231160200 edges, 814230 markings/sec, 190 secs
lola: 154890045 markings, 236749428 edges, 736213 markings/sec, 195 secs
lola: 158687858 markings, 242746010 edges, 759563 markings/sec, 200 secs
lola: 162697024 markings, 248720992 edges, 801833 markings/sec, 205 secs
lola: 166262083 markings, 254203434 edges, 713012 markings/sec, 210 secs
lola: 170108228 markings, 260188785 edges, 769229 markings/sec, 215 secs
lola: 174097640 markings, 266143877 edges, 797882 markings/sec, 220 secs
lola: 177656738 markings, 271686010 edges, 711820 markings/sec, 225 secs
lola: 181524535 markings, 277611921 edges, 773559 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(b2)
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: 3655002 markings, 7797050 edges, 731000 markings/sec, 0 secs
lola: 6633066 markings, 14766199 edges, 595613 markings/sec, 5 secs
lola: 9176551 markings, 21398293 edges, 508697 markings/sec, 10 secs
lola: 11707225 markings, 27995235 edges, 506135 markings/sec, 15 secs
lola: 14119938 markings, 34307932 edges, 482543 markings/sec, 20 secs
lola: 16705327 markings, 40853894 edges, 517078 markings/sec, 25 secs
lola: 19245286 markings, 47436745 edges, 507992 markings/sec, 30 secs
lola: 21673180 markings, 53818571 edges, 485579 markings/sec, 35 secs
lola: 24190376 markings, 60349589 edges, 503439 markings/sec, 40 secs
lola: 26568704 markings, 66496023 edges, 475666 markings/sec, 45 secs
lola: 29154540 markings, 73095711 edges, 517167 markings/sec, 50 secs
lola: 31654428 markings, 79593489 edges, 499978 markings/sec, 55 secs
lola: 34043631 markings, 85903529 edges, 477841 markings/sec, 60 secs
lola: 36538852 markings, 92353485 edges, 499044 markings/sec, 65 secs
lola: 38970450 markings, 98552049 edges, 486320 markings/sec, 70 secs
lola: 41502968 markings, 105081335 edges, 506504 markings/sec, 75 secs
lola: 43985543 markings, 111563535 edges, 496515 markings/sec, 80 secs
lola: 46330904 markings, 117762675 edges, 469072 markings/sec, 85 secs
lola: 48790952 markings, 124023148 edges, 492010 markings/sec, 90 secs
lola: 51249904 markings, 130318769 edges, 491790 markings/sec, 95 secs
lola: 53659450 markings, 136598581 edges, 481909 markings/sec, 100 secs
lola: 56083330 markings, 142919061 edges, 484776 markings/sec, 105 secs
lola: 58427834 markings, 149050790 edges, 468901 markings/sec, 110 secs
lola: 60970396 markings, 155468780 edges, 508512 markings/sec, 115 secs
lola: 63399942 markings, 161796575 edges, 485909 markings/sec, 120 secs
lola: 65800012 markings, 168112892 edges, 480014 markings/sec, 125 secs
lola: 68246310 markings, 174455428 edges, 489260 markings/sec, 130 secs
lola: 70638440 markings, 180559161 edges, 478426 markings/sec, 135 secs
lola: 73122584 markings, 186955656 edges, 496829 markings/sec, 140 secs
lola: 75531292 markings, 193248026 edges, 481742 markings/sec, 145 secs
lola: 77896216 markings, 199499294 edges, 472985 markings/sec, 150 secs
lola: 80452066 markings, 205947514 edges, 511170 markings/sec, 155 secs
lola: 82690728 markings, 211735914 edges, 447732 markings/sec, 160 secs
lola: 85122989 markings, 218098793 edges, 486452 markings/sec, 165 secs
lola: 87615297 markings, 224594904 edges, 498462 markings/sec, 170 secs
lola: 90110450 markings, 230980429 edges, 499031 markings/sec, 175 secs
lola: 92625448 markings, 237491480 edges, 503000 markings/sec, 180 secs
lola: 95125887 markings, 244011806 edges, 500088 markings/sec, 185 secs
lola: 97533628 markings, 250250114 edges, 481548 markings/sec, 190 secs
lola: 100081770 markings, 256736172 edges, 509628 markings/sec, 195 secs
lola: 102491782 markings, 263054172 edges, 482002 markings/sec, 200 secs
lola: 104815036 markings, 269190360 edges, 464651 markings/sec, 205 secs
lola: 107298497 markings, 275459437 edges, 496692 markings/sec, 210 secs
lola: 109745734 markings, 281806853 edges, 489447 markings/sec, 215 secs
lola: 111937090 markings, 287546383 edges, 438271 markings/sec, 220 secs
lola: 114346122 markings, 293810726 edges, 481806 markings/sec, 225 secs
lola: 116723800 markings, 299884223 edges, 475536 markings/sec, 230 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 236 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: 4166175 markings, 8096090 edges, 833235 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 5 will run for 257 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: 4662984 markings, 8421405 edges, 932597 markings/sec, 0 secs
lola: 9164271 markings, 16572792 edges, 900257 markings/sec, 5 secs
lola: 13595123 markings, 24597315 edges, 886170 markings/sec, 10 secs
lola: 18075101 markings, 32237013 edges, 895996 markings/sec, 15 secs
lola: 22381690 markings, 39569068 edges, 861318 markings/sec, 20 secs
lola: 26715158 markings, 46949337 edges, 866694 markings/sec, 25 secs
lola: 31074467 markings, 54102156 edges, 871862 markings/sec, 30 secs
lola: 35274587 markings, 61709516 edges, 840024 markings/sec, 35 secs
lola: 39664679 markings, 69661626 edges, 878018 markings/sec, 40 secs
lola: 44093738 markings, 77685066 edges, 885812 markings/sec, 45 secs
lola: 48549367 markings, 85757202 edges, 891126 markings/sec, 50 secs
lola: 53078986 markings, 93467576 edges, 905924 markings/sec, 55 secs
lola: 57693527 markings, 100588715 edges, 922908 markings/sec, 60 secs
lola: 62208536 markings, 107546842 edges, 903002 markings/sec, 65 secs
lola: 66690916 markings, 114456925 edges, 896476 markings/sec, 70 secs
lola: 70598874 markings, 121531807 edges, 781592 markings/sec, 75 secs
lola: 74222780 markings, 128283234 edges, 724781 markings/sec, 80 secs
lola: 77724488 markings, 134249360 edges, 700342 markings/sec, 85 secs
lola: 81545867 markings, 140761716 edges, 764276 markings/sec, 90 secs
lola: 85738370 markings, 147908208 edges, 838501 markings/sec, 95 secs
lola: 89971453 markings, 155126463 edges, 846617 markings/sec, 100 secs
lola: 93800482 markings, 161531127 edges, 765806 markings/sec, 105 secs
lola: 97376475 markings, 167265930 edges, 715199 markings/sec, 110 secs
lola: 101341918 markings, 173624560 edges, 793089 markings/sec, 115 secs
lola: 106091113 markings, 180761402 edges, 949839 markings/sec, 120 secs
lola: 110791623 markings, 187824393 edges, 940102 markings/sec, 125 secs
lola: 115426703 markings, 194780191 edges, 927016 markings/sec, 130 secs
lola: 120033089 markings, 201692930 edges, 921277 markings/sec, 135 secs
lola: 124089278 markings, 208188397 edges, 811238 markings/sec, 140 secs
lola: 128053096 markings, 214478968 edges, 792764 markings/sec, 145 secs
lola: 132259592 markings, 220966940 edges, 841299 markings/sec, 150 secs
lola: 135608326 markings, 226132927 edges, 669747 markings/sec, 155 secs
lola: 140007108 markings, 232921061 edges, 879756 markings/sec, 160 secs
lola: 144407448 markings, 239713696 edges, 880068 markings/sec, 165 secs
lola: 148813075 markings, 246516588 edges, 881125 markings/sec, 170 secs
lola: 153229287 markings, 253419811 edges, 883242 markings/sec, 175 secs
lola: 156603735 markings, 260182234 edges, 674890 markings/sec, 180 secs
lola: 159810287 markings, 266605038 edges, 641310 markings/sec, 185 secs
lola: 163090558 markings, 273175153 edges, 656054 markings/sec, 190 secs
lola: 167076423 markings, 279891161 edges, 797173 markings/sec, 195 secs
lola: 170795470 markings, 285854991 edges, 743809 markings/sec, 200 secs
lola: 174847540 markings, 292723926 edges, 810414 markings/sec, 205 secs
lola: 178673734 markings, 299632988 edges, 765239 markings/sec, 210 secs
lola: 182103964 markings, 305826575 edges, 686046 markings/sec, 215 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 260 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c2)
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: 3735302 markings, 9968200 edges, 747060 markings/sec, 0 secs
lola: 7273339 markings, 19833548 edges, 707607 markings/sec, 5 secs
lola: 10857938 markings, 28769695 edges, 716920 markings/sec, 10 secs
lola: 13878492 markings, 36009854 edges, 604111 markings/sec, 15 secs
lola: 16638094 markings, 42631484 edges, 551920 markings/sec, 20 secs
lola: 19321306 markings, 49069681 edges, 536642 markings/sec, 25 secs
lola: 21905575 markings, 55270511 edges, 516854 markings/sec, 30 secs
lola: 24580783 markings, 61689308 edges, 535042 markings/sec, 35 secs
lola: 27263385 markings, 68126039 edges, 536520 markings/sec, 40 secs
lola: 29904216 markings, 74462503 edges, 528166 markings/sec, 45 secs
lola: 32469488 markings, 80617685 edges, 513054 markings/sec, 50 secs
lola: 35014912 markings, 86725023 edges, 509085 markings/sec, 55 secs
lola: 37550729 markings, 92809615 edges, 507163 markings/sec, 60 secs
lola: 40086702 markings, 98894565 edges, 507195 markings/sec, 65 secs
lola: 42603829 markings, 104934140 edges, 503425 markings/sec, 70 secs
lola: 45029288 markings, 110753873 edges, 485092 markings/sec, 75 secs
lola: 47473254 markings, 116617897 edges, 488793 markings/sec, 80 secs
lola: 49916056 markings, 122479317 edges, 488560 markings/sec, 85 secs
lola: 52386545 markings, 128406875 edges, 494098 markings/sec, 90 secs
lola: 54836669 markings, 134285647 edges, 490025 markings/sec, 95 secs
lola: 57289068 markings, 140169744 edges, 490480 markings/sec, 100 secs
lola: 59750349 markings, 146075215 edges, 492256 markings/sec, 105 secs
lola: 62240899 markings, 152050748 edges, 498110 markings/sec, 110 secs
lola: 64665615 markings, 157868600 edges, 484943 markings/sec, 115 secs
lola: 67101882 markings, 163714113 edges, 487253 markings/sec, 120 secs
lola: 69532810 markings, 169546601 edges, 486186 markings/sec, 125 secs
lola: 71990896 markings, 175444827 edges, 491617 markings/sec, 130 secs
lola: 74453165 markings, 181352238 edges, 492454 markings/sec, 135 secs
lola: 76899251 markings, 187221196 edges, 489217 markings/sec, 140 secs
lola: 79361712 markings, 193129693 edges, 492492 markings/sec, 145 secs
lola: 81821320 markings, 199030923 edges, 491922 markings/sec, 150 secs
lola: 84260136 markings, 204882694 edges, 487763 markings/sec, 155 secs
lola: 86739927 markings, 210832312 edges, 495958 markings/sec, 160 secs
lola: 89229145 markings, 216804699 edges, 497844 markings/sec, 165 secs
lola: 91732387 markings, 222810789 edges, 500648 markings/sec, 170 secs
lola: 94212709 markings, 228761859 edges, 496064 markings/sec, 175 secs
lola: 96726298 markings, 234792762 edges, 502718 markings/sec, 180 secs
lola: 99257236 markings, 240864877 edges, 506188 markings/sec, 185 secs
lola: 101794031 markings, 246951297 edges, 507359 markings/sec, 190 secs
lola: 104344245 markings, 253069940 edges, 510043 markings/sec, 195 secs
lola: 106896718 markings, 259194122 edges, 510495 markings/sec, 200 secs
lola: 109463816 markings, 265353162 edges, 513420 markings/sec, 205 secs
lola: 112078814 markings, 271627222 edges, 523000 markings/sec, 210 secs
lola: 114701372 markings, 277920048 edges, 524512 markings/sec, 215 secs
lola: 117399681 markings, 284394444 edges, 539662 markings/sec, 220 secs
lola: 120275702 markings, 291361778 edges, 575204 markings/sec, 225 secs
lola: 122655622 markings, 297082847 edges, 475984 markings/sec, 230 secs
lola: 125183880 markings, 303222588 edges, 505652 markings/sec, 235 secs
lola: 127712516 markings, 309364485 edges, 505727 markings/sec, 240 secs
lola: 130186822 markings, 315314718 edges, 494861 markings/sec, 245 secs
lola: 132857914 markings, 321796368 edges, 534218 markings/sec, 250 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 261 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: 3733355 markings, 9962746 edges, 746671 markings/sec, 0 secs
lola: 7277222 markings, 19844421 edges, 708773 markings/sec, 5 secs
lola: 10705139 markings, 28403880 edges, 685583 markings/sec, 10 secs
lola: 13837450 markings, 35911375 edges, 626462 markings/sec, 15 secs
lola: 16686294 markings, 42746986 edges, 569769 markings/sec, 20 secs
lola: 19384268 markings, 49220824 edges, 539595 markings/sec, 25 secs
lola: 22026838 markings, 55561980 edges, 528514 markings/sec, 30 secs
lola: 24659173 markings, 61877493 edges, 526467 markings/sec, 35 secs
lola: 27340356 markings, 68310586 edges, 536237 markings/sec, 40 secs
lola: 30018562 markings, 74736792 edges, 535641 markings/sec, 45 secs
lola: 32660720 markings, 81076334 edges, 528432 markings/sec, 50 secs
lola: 35272133 markings, 87342220 edges, 522283 markings/sec, 55 secs
lola: 37797196 markings, 93400893 edges, 505013 markings/sec, 60 secs
lola: 40295739 markings, 99395959 edges, 499709 markings/sec, 65 secs
lola: 42780054 markings, 105356780 edges, 496863 markings/sec, 70 secs
lola: 45253113 markings, 111290763 edges, 494612 markings/sec, 75 secs
lola: 47703083 markings, 117169274 edges, 489994 markings/sec, 80 secs
lola: 50159252 markings, 123062503 edges, 491234 markings/sec, 85 secs
lola: 52676063 markings, 129101240 edges, 503362 markings/sec, 90 secs
lola: 55181584 markings, 135113007 edges, 501104 markings/sec, 95 secs
lola: 57733797 markings, 141236546 edges, 510443 markings/sec, 100 secs
lola: 60257322 markings, 147291411 edges, 504705 markings/sec, 105 secs
lola: 62802173 markings, 153397491 edges, 508970 markings/sec, 110 secs
lola: 65352380 markings, 159516487 edges, 510041 markings/sec, 115 secs
lola: 67883135 markings, 165589262 edges, 506151 markings/sec, 120 secs
lola: 70428469 markings, 171695747 edges, 509067 markings/sec, 125 secs
lola: 72970816 markings, 177795755 edges, 508469 markings/sec, 130 secs
lola: 75464625 markings, 183779145 edges, 498762 markings/sec, 135 secs
lola: 78024724 markings, 189921638 edges, 512020 markings/sec, 140 secs
lola: 80517284 markings, 195902141 edges, 498512 markings/sec, 145 secs
lola: 83023047 markings, 201914206 edges, 501153 markings/sec, 150 secs
lola: 85503620 markings, 207866033 edges, 496115 markings/sec, 155 secs
lola: 88027612 markings, 213921778 edges, 504798 markings/sec, 160 secs
lola: 90548786 markings, 219970926 edges, 504235 markings/sec, 165 secs
lola: 93077527 markings, 226038242 edges, 505748 markings/sec, 170 secs
lola: 95645061 markings, 232198443 edges, 513507 markings/sec, 175 secs
lola: 98206281 markings, 238343423 edges, 512244 markings/sec, 180 secs
lola: 100781502 markings, 244522024 edges, 515044 markings/sec, 185 secs
lola: 103417160 markings, 250845784 edges, 527132 markings/sec, 190 secs
lola: 106005907 markings, 257056804 edges, 517749 markings/sec, 195 secs
lola: 108652568 markings, 263406869 edges, 529332 markings/sec, 200 secs
lola: 111342784 markings, 269861382 edges, 538043 markings/sec, 205 secs
lola: 114023111 markings, 276292406 edges, 536065 markings/sec, 210 secs
lola: 116765779 markings, 282873260 edges, 548534 markings/sec, 215 secs
lola: 119619707 markings, 289723919 edges, 570786 markings/sec, 220 secs
lola: 122147395 markings, 295860500 edges, 505538 markings/sec, 225 secs
lola: 124721314 markings, 302110745 edges, 514784 markings/sec, 230 secs
lola: 127188242 markings, 308104653 edges, 493386 markings/sec, 235 secs
lola: 129627457 markings, 313968120 edges, 487843 markings/sec, 240 secs
lola: 132269958 markings, 320382649 edges, 528500 markings/sec, 245 secs
lola: 134943731 markings, 326873374 edges, 534755 markings/sec, 250 secs
lola: 137524966 markings, 333108525 edges, 516247 markings/sec, 255 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 260 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(_3PG)
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: 3821998 markings, 8921166 edges, 764400 markings/sec, 0 secs
lola: 7329694 markings, 17414730 edges, 701539 markings/sec, 5 secs
lola: 10548771 markings, 24370551 edges, 643815 markings/sec, 10 secs
lola: 13640426 markings, 31071706 edges, 618331 markings/sec, 15 secs
lola: 16666070 markings, 37630544 edges, 605129 markings/sec, 20 secs
lola: 19622731 markings, 44058221 edges, 591332 markings/sec, 25 secs
lola: 22503467 markings, 50296089 edges, 576147 markings/sec, 30 secs
lola: 25411715 markings, 56629968 edges, 581650 markings/sec, 35 secs
lola: 28500347 markings, 63328307 edges, 617726 markings/sec, 40 secs
lola: 31621390 markings, 70141460 edges, 624209 markings/sec, 45 secs
lola: 34468986 markings, 76361081 edges, 569519 markings/sec, 50 secs
lola: 37112699 markings, 82134985 edges, 528743 markings/sec, 55 secs
lola: 39716969 markings, 87822732 edges, 520854 markings/sec, 60 secs
lola: 42356143 markings, 93586306 edges, 527835 markings/sec, 65 secs
lola: 44942273 markings, 99234212 edges, 517226 markings/sec, 70 secs
lola: 47618305 markings, 105078758 edges, 535206 markings/sec, 75 secs
lola: 50248738 markings, 110823503 edges, 526087 markings/sec, 80 secs
lola: 52761386 markings, 116310152 edges, 502530 markings/sec, 85 secs
lola: 55376169 markings, 122017374 edges, 522957 markings/sec, 90 secs
lola: 57945908 markings, 127628873 edges, 513948 markings/sec, 95 secs
lola: 60475550 markings, 133152626 edges, 505928 markings/sec, 100 secs
lola: 62994559 markings, 138653672 edges, 503802 markings/sec, 105 secs
lola: 65505985 markings, 144135237 edges, 502285 markings/sec, 110 secs
lola: 68071956 markings, 149737325 edges, 513194 markings/sec, 115 secs
lola: 70657727 markings, 155383640 edges, 517154 markings/sec, 120 secs
lola: 73334858 markings, 161225896 edges, 535426 markings/sec, 125 secs
lola: 75938549 markings, 166911338 edges, 520738 markings/sec, 130 secs
lola: 78607366 markings, 172735466 edges, 533763 markings/sec, 135 secs
lola: 81268075 markings, 178542093 edges, 532142 markings/sec, 140 secs
lola: 83926167 markings, 184343938 edges, 531618 markings/sec, 145 secs
lola: 86599518 markings, 190179482 edges, 534670 markings/sec, 150 secs
lola: 89305076 markings, 196083430 edges, 541112 markings/sec, 155 secs
lola: 92033207 markings, 202033717 edges, 545626 markings/sec, 160 secs
lola: 94771634 markings, 208008626 edges, 547685 markings/sec, 165 secs
lola: 97523287 markings, 214011111 edges, 550331 markings/sec, 170 secs
lola: 100303418 markings, 220075749 edges, 556026 markings/sec, 175 secs
lola: 103060626 markings, 226088639 edges, 551442 markings/sec, 180 secs
lola: 105920021 markings, 232321263 edges, 571879 markings/sec, 185 secs
lola: 108725669 markings, 238436866 edges, 561130 markings/sec, 190 secs
lola: 111542813 markings, 244574427 edges, 563429 markings/sec, 195 secs
lola: 114509697 markings, 251032412 edges, 593377 markings/sec, 200 secs
lola: 117636640 markings, 257826612 edges, 625389 markings/sec, 205 secs
lola: 120386820 markings, 263852851 edges, 550036 markings/sec, 210 secs
lola: 123102384 markings, 269824942 edges, 543113 markings/sec, 215 secs
lola: 125818736 markings, 275800454 edges, 543270 markings/sec, 220 secs
lola: 128508487 markings, 281689743 edges, 537950 markings/sec, 225 secs
lola: 131432901 markings, 288118666 edges, 584883 markings/sec, 230 secs
lola: 134343915 markings, 294518796 edges, 582203 markings/sec, 235 secs
lola: 137199695 markings, 300798121 edges, 571156 markings/sec, 240 secs
lola: 140040115 markings, 307043894 edges, 568084 markings/sec, 245 secs
lola: 142694327 markings, 312857401 edges, 530842 markings/sec, 250 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 261 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: 3250944 markings, 10104565 edges, 650189 markings/sec, 0 secs
lola: 5727321 markings, 20312616 edges, 495275 markings/sec, 5 secs
lola: 7992103 markings, 30670433 edges, 452956 markings/sec, 10 secs
lola: 10450870 markings, 40913839 edges, 491753 markings/sec, 15 secs
lola: 13021383 markings, 49812950 edges, 514103 markings/sec, 20 secs
lola: 15415211 markings, 58116509 edges, 478766 markings/sec, 25 secs
lola: 17592619 markings, 65695301 edges, 435482 markings/sec, 30 secs
lola: 19795308 markings, 73334662 edges, 440538 markings/sec, 35 secs
lola: 21922563 markings, 80743450 edges, 425451 markings/sec, 40 secs
lola: 24050451 markings, 88119910 edges, 425578 markings/sec, 45 secs
lola: 26136711 markings, 95376734 edges, 417252 markings/sec, 50 secs
lola: 28263481 markings, 102758640 edges, 425354 markings/sec, 55 secs
lola: 30369324 markings, 110066282 edges, 421169 markings/sec, 60 secs
lola: 32432085 markings, 117242757 edges, 412552 markings/sec, 65 secs
lola: 34528151 markings, 124511052 edges, 419213 markings/sec, 70 secs
lola: 36568919 markings, 131616928 edges, 408154 markings/sec, 75 secs
lola: 38632395 markings, 138768008 edges, 412695 markings/sec, 80 secs
lola: 40670117 markings, 145842439 edges, 407544 markings/sec, 85 secs
lola: 42706598 markings, 152922000 edges, 407296 markings/sec, 90 secs
lola: 44756493 markings, 160029598 edges, 409979 markings/sec, 95 secs
lola: 46740409 markings, 166936795 edges, 396783 markings/sec, 100 secs
lola: 48794326 markings, 174054054 edges, 410783 markings/sec, 105 secs
lola: 50822264 markings, 181088125 edges, 405588 markings/sec, 110 secs
lola: 52799629 markings, 187967781 edges, 395473 markings/sec, 115 secs
lola: 54823310 markings, 194980624 edges, 404736 markings/sec, 120 secs
lola: 56806783 markings, 201863259 edges, 396695 markings/sec, 125 secs
lola: 58758901 markings, 208650367 edges, 390424 markings/sec, 130 secs
lola: 60756822 markings, 215574091 edges, 399584 markings/sec, 135 secs
lola: 62735957 markings, 222440938 edges, 395827 markings/sec, 140 secs
lola: 64673475 markings, 229176766 edges, 387504 markings/sec, 145 secs
lola: 66661645 markings, 236066126 edges, 397634 markings/sec, 150 secs
lola: 68630447 markings, 242893100 edges, 393760 markings/sec, 155 secs
lola: 70558832 markings, 249601656 edges, 385677 markings/sec, 160 secs
lola: 72567737 markings, 256560662 edges, 401781 markings/sec, 165 secs
lola: 74553709 markings, 263443403 edges, 397194 markings/sec, 170 secs
lola: 76525705 markings, 270280559 edges, 394399 markings/sec, 175 secs
lola: 78453134 markings, 276984694 edges, 385486 markings/sec, 180 secs
lola: 80435025 markings, 283849904 edges, 396378 markings/sec, 185 secs
lola: 82431075 markings, 290765962 edges, 399210 markings/sec, 190 secs
lola: 84409727 markings, 297622173 edges, 395730 markings/sec, 195 secs
lola: 86384115 markings, 304465526 edges, 394878 markings/sec, 200 secs
lola: 88354180 markings, 311294839 edges, 394013 markings/sec, 205 secs
lola: 90315136 markings, 318095700 edges, 392191 markings/sec, 210 secs
lola: 92288068 markings, 324945001 edges, 394586 markings/sec, 215 secs
lola: 94265292 markings, 331794186 edges, 395445 markings/sec, 220 secs
lola: 96251288 markings, 338673986 edges, 397199 markings/sec, 225 secs
lola: 98228627 markings, 345523531 edges, 395468 markings/sec, 230 secs
lola: 100216821 markings, 352411067 edges, 397639 markings/sec, 235 secs
lola: 102186773 markings, 359234679 edges, 393990 markings/sec, 240 secs
lola: 104187449 markings, 366151304 edges, 400135 markings/sec, 245 secs
lola: 106183130 markings, 373056667 edges, 399136 markings/sec, 250 secs
lola: 108185524 markings, 379987602 edges, 400479 markings/sec, 255 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 261 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: 2556272 markings, 8904140 edges, 511254 markings/sec, 0 secs
lola: 4562367 markings, 16830207 edges, 401219 markings/sec, 5 secs
lola: 6102753 markings, 23483356 edges, 308077 markings/sec, 10 secs
lola: 7876684 markings, 30592668 edges, 354786 markings/sec, 15 secs
lola: 10105382 markings, 38984037 edges, 445740 markings/sec, 20 secs
lola: 11818521 markings, 46299056 edges, 342628 markings/sec, 25 secs
lola: 13248997 markings, 52862061 edges, 286095 markings/sec, 30 secs
lola: 15592013 markings, 61333693 edges, 468603 markings/sec, 35 secs
lola: 17776263 markings, 69662841 edges, 436850 markings/sec, 40 secs
lola: 19594761 markings, 77273600 edges, 363700 markings/sec, 45 secs
lola: 20968174 markings, 83503754 edges, 274683 markings/sec, 50 secs
lola: 22672211 markings, 90459143 edges, 340807 markings/sec, 55 secs
lola: 25175951 markings, 99313312 edges, 500748 markings/sec, 60 secs
lola: 27308571 markings, 107505968 edges, 426524 markings/sec, 65 secs
lola: 29097463 markings, 115156162 edges, 357778 markings/sec, 70 secs
lola: 30582106 markings, 121581757 edges, 296929 markings/sec, 75 secs
lola: 31816452 markings, 127290300 edges, 246869 markings/sec, 80 secs
lola: 34177771 markings, 135535515 edges, 472264 markings/sec, 85 secs
lola: 36491372 markings, 144032793 edges, 462720 markings/sec, 90 secs
lola: 38646898 markings, 152253830 edges, 431105 markings/sec, 95 secs
lola: 40449348 markings, 159853024 edges, 360490 markings/sec, 100 secs
lola: 42044535 markings, 166700770 edges, 319037 markings/sec, 105 secs
lola: 43215339 markings, 171978213 edges, 234161 markings/sec, 110 secs
lola: 44863543 markings, 178616776 edges, 329641 markings/sec, 115 secs
lola: 47440297 markings, 187429135 edges, 515351 markings/sec, 120 secs
lola: 49673314 markings, 195806253 edges, 446603 markings/sec, 125 secs
lola: 51768666 markings, 203848645 edges, 419070 markings/sec, 130 secs
lola: 53587085 markings, 211444430 edges, 363684 markings/sec, 135 secs
lola: 55333556 markings, 218856481 edges, 349294 markings/sec, 140 secs
lola: 56631245 markings, 224727851 edges, 259538 markings/sec, 145 secs
lola: 58019261 markings, 230994925 edges, 277603 markings/sec, 150 secs
lola: 60649784 markings, 239730154 edges, 526105 markings/sec, 155 secs
lola: 63065410 markings, 248393020 edges, 483125 markings/sec, 160 secs
lola: 65189632 markings, 256549059 edges, 424844 markings/sec, 165 secs
lola: 67214811 markings, 264426006 edges, 405036 markings/sec, 170 secs
lola: 69007185 markings, 272009989 edges, 358475 markings/sec, 175 secs
lola: 70718238 markings, 279375255 edges, 342211 markings/sec, 180 secs
lola: 72010328 markings, 285124734 edges, 258418 markings/sec, 185 secs
lola: 73267483 markings, 290994921 edges, 251431 markings/sec, 190 secs
lola: 75688224 markings, 299233818 edges, 484148 markings/sec, 195 secs
lola: 78200373 markings, 307834736 edges, 502430 markings/sec, 200 secs
lola: 80324396 markings, 315876321 edges, 424805 markings/sec, 205 secs
lola: 82479507 markings, 324097112 edges, 431022 markings/sec, 210 secs
lola: 84402614 markings, 331687237 edges, 384621 markings/sec, 215 secs
lola: 86094405 markings, 338887100 edges, 338358 markings/sec, 220 secs
lola: 87697803 markings, 345911249 edges, 320680 markings/sec, 225 secs
lola: 89073344 markings, 351826604 edges, 275108 markings/sec, 230 secs
lola: 90293237 markings, 357408992 edges, 243979 markings/sec, 235 secs
lola: 92567436 markings, 365410866 edges, 454840 markings/sec, 240 secs
lola: 95079766 markings, 373940148 edges, 502466 markings/sec, 245 secs
lola: 97431732 markings, 382584250 edges, 470393 markings/sec, 250 secs
lola: 99529308 markings, 390640336 edges, 419515 markings/sec, 255 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 261 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NADPH)
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: 3695641 markings, 7890114 edges, 739128 markings/sec, 0 secs
lola: 6620310 markings, 14734318 edges, 584934 markings/sec, 5 secs
lola: 9096249 markings, 21180979 edges, 495188 markings/sec, 10 secs
lola: 11654554 markings, 27850061 edges, 511661 markings/sec, 15 secs
lola: 14053211 markings, 34153794 edges, 479731 markings/sec, 20 secs
lola: 16741978 markings, 40931948 edges, 537753 markings/sec, 25 secs
lola: 19398718 markings, 47853208 edges, 531348 markings/sec, 30 secs
lola: 21930546 markings, 54535121 edges, 506366 markings/sec, 35 secs
lola: 24576664 markings, 61329977 edges, 529224 markings/sec, 40 secs
lola: 27136054 markings, 67868897 edges, 511878 markings/sec, 45 secs
lola: 29559208 markings, 74179122 edges, 484631 markings/sec, 50 secs
lola: 32110494 markings, 80834722 edges, 510257 markings/sec, 55 secs
lola: 34567547 markings, 87230275 edges, 491411 markings/sec, 60 secs
lola: 37223020 markings, 93986492 edges, 531095 markings/sec, 65 secs
lola: 39811200 markings, 100735702 edges, 517636 markings/sec, 70 secs
lola: 42305674 markings, 107337922 edges, 498895 markings/sec, 75 secs
lola: 45022920 markings, 114193032 edges, 543449 markings/sec, 80 secs
lola: 47612996 markings, 120924465 edges, 518015 markings/sec, 85 secs
lola: 50096650 markings, 127473014 edges, 496731 markings/sec, 90 secs
lola: 52695960 markings, 134159291 edges, 519862 markings/sec, 95 secs
lola: 55296406 markings, 140799341 edges, 520089 markings/sec, 100 secs
lola: 57808884 markings, 147401083 edges, 502496 markings/sec, 105 secs
lola: 60384372 markings, 154096121 edges, 515098 markings/sec, 110 secs
lola: 62982496 markings, 160701970 edges, 519625 markings/sec, 115 secs
lola: 65525300 markings, 167331208 edges, 508561 markings/sec, 120 secs
lola: 68050408 markings, 173920418 edges, 505022 markings/sec, 125 secs
lola: 70409515 markings, 180031831 edges, 471821 markings/sec, 130 secs
lola: 73076448 markings, 186810253 edges, 533387 markings/sec, 135 secs
lola: 75620434 markings, 193491866 edges, 508797 markings/sec, 140 secs
lola: 78066684 markings, 199893282 edges, 489250 markings/sec, 145 secs
lola: 80590080 markings, 206269474 edges, 504679 markings/sec, 150 secs
lola: 83024186 markings, 212619275 edges, 486821 markings/sec, 155 secs
lola: 85394970 markings, 218876779 edges, 474157 markings/sec, 160 secs
lola: 87904422 markings, 225335374 edges, 501890 markings/sec, 165 secs
lola: 90395172 markings, 231685896 edges, 498150 markings/sec, 170 secs
lola: 92850579 markings, 238113170 edges, 491081 markings/sec, 175 secs
lola: 95324982 markings, 244560886 edges, 494881 markings/sec, 180 secs
lola: 97805520 markings, 250896265 edges, 496108 markings/sec, 185 secs
lola: 100210390 markings, 257118196 edges, 480974 markings/sec, 190 secs
lola: 102575137 markings, 263280269 edges, 472949 markings/sec, 195 secs
lola: 104863972 markings, 269303614 edges, 457767 markings/sec, 200 secs
lola: 107362750 markings, 275604244 edges, 499756 markings/sec, 205 secs
lola: 109820907 markings, 282000309 edges, 491631 markings/sec, 210 secs
lola: 112185426 markings, 288244837 edges, 472904 markings/sec, 215 secs
lola: 114673599 markings, 294613245 edges, 497635 markings/sec, 220 secs
lola: 117082836 markings, 300782756 edges, 481847 markings/sec, 225 secs
lola: 119464661 markings, 307032346 edges, 476365 markings/sec, 230 secs
lola: 121885322 markings, 313330049 edges, 484132 markings/sec, 235 secs
lola: 124335157 markings, 319555209 edges, 489967 markings/sec, 240 secs
lola: 126749112 markings, 325846303 edges, 482791 markings/sec, 245 secs
lola: 129135930 markings, 332073838 edges, 477364 markings/sec, 250 secs
lola: 131439474 markings, 338021297 edges, 460709 markings/sec, 255 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 260 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(b2)
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: 3695606 markings, 7890038 edges, 739121 markings/sec, 0 secs
lola: 6730440 markings, 15019809 edges, 606967 markings/sec, 5 secs
lola: 9329990 markings, 21820820 edges, 519910 markings/sec, 10 secs
lola: 11902187 markings, 28524450 edges, 514439 markings/sec, 15 secs
lola: 14313989 markings, 34763432 edges, 482360 markings/sec, 20 secs
lola: 16942552 markings, 41467009 edges, 525713 markings/sec, 25 secs
lola: 19445184 markings, 47972230 edges, 500526 markings/sec, 30 secs
lola: 21810459 markings, 54186016 edges, 473055 markings/sec, 35 secs
lola: 24294013 markings, 60634086 edges, 496711 markings/sec, 40 secs
lola: 26685464 markings, 66762380 edges, 478290 markings/sec, 45 secs
lola: 29204712 markings, 73222136 edges, 503850 markings/sec, 50 secs
lola: 31676186 markings, 79651754 edges, 494295 markings/sec, 55 secs
lola: 34040602 markings, 85892678 edges, 472883 markings/sec, 60 secs
lola: 36513376 markings, 92285705 edges, 494555 markings/sec, 65 secs
lola: 38921188 markings, 98424040 edges, 481562 markings/sec, 70 secs
lola: 41445822 markings, 104927976 edges, 504927 markings/sec, 75 secs
lola: 43862390 markings, 111239394 edges, 483314 markings/sec, 80 secs
lola: 46210487 markings, 117435880 edges, 469619 markings/sec, 85 secs
lola: 48808246 markings, 124061337 edges, 519552 markings/sec, 90 secs
lola: 51359542 markings, 130604196 edges, 510259 markings/sec, 95 secs
lola: 53812970 markings, 137039896 edges, 490686 markings/sec, 100 secs
lola: 56317996 markings, 143550412 edges, 501005 markings/sec, 105 secs
lola: 58778156 markings, 149852379 edges, 492032 markings/sec, 110 secs
lola: 61362105 markings, 156498749 edges, 516790 markings/sec, 115 secs
lola: 63860432 markings, 163037215 edges, 499665 markings/sec, 120 secs
lola: 66275797 markings, 169379403 edges, 483073 markings/sec, 125 secs
lola: 68868908 markings, 175922597 edges, 518622 markings/sec, 130 secs
lola: 71367338 markings, 182435259 edges, 499686 markings/sec, 135 secs
lola: 73791754 markings, 188837792 edges, 484883 markings/sec, 140 secs
lola: 76280869 markings, 195237667 edges, 497823 markings/sec, 145 secs
lola: 78707455 markings, 201421632 edges, 485317 markings/sec, 150 secs
lola: 81079422 markings, 207587122 edges, 474393 markings/sec, 155 secs
lola: 83460353 markings, 213801408 edges, 476186 markings/sec, 160 secs
lola: 85765276 markings, 219840106 edges, 460985 markings/sec, 165 secs
lola: 88297067 markings, 226229770 edges, 506358 markings/sec, 170 secs
lola: 90820644 markings, 232806030 edges, 504715 markings/sec, 175 secs
lola: 93186766 markings, 239061151 edges, 473224 markings/sec, 180 secs
lola: 95727290 markings, 245546477 edges, 508105 markings/sec, 185 secs
lola: 98251002 markings, 252027418 edges, 504742 markings/sec, 190 secs
lola: 100646860 markings, 258337851 edges, 479172 markings/sec, 195 secs
lola: 103120495 markings, 264758105 edges, 494727 markings/sec, 200 secs
lola: 105632796 markings, 271138256 edges, 502460 markings/sec, 205 secs
lola: 108048972 markings, 277458326 edges, 483235 markings/sec, 210 secs
lola: 110505666 markings, 283855609 edges, 491339 markings/sec, 215 secs
lola: 112962577 markings, 290147227 edges, 491382 markings/sec, 220 secs
lola: 115453946 markings, 296589261 edges, 498274 markings/sec, 225 secs
lola: 117918941 markings, 303031335 edges, 492999 markings/sec, 230 secs
lola: 120375030 markings, 309336335 edges, 491218 markings/sec, 235 secs
lola: 122855096 markings, 315741931 edges, 496013 markings/sec, 240 secs
lola: 125328754 markings, 322205197 edges, 494732 markings/sec, 245 secs
lola: 127710733 markings, 328372288 edges, 476396 markings/sec, 250 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 261 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: 5077841 markings, 8527246 edges, 1015568 markings/sec, 0 secs
lola: 9761491 markings, 16458979 edges, 936730 markings/sec, 5 secs
lola: 13871003 markings, 23785229 edges, 821902 markings/sec, 10 secs
lola: 18680439 markings, 31418382 edges, 961887 markings/sec, 15 secs
lola: 22684755 markings, 38445659 edges, 800863 markings/sec, 20 secs
lola: 27574507 markings, 45989875 edges, 977950 markings/sec, 25 secs
lola: 31926403 markings, 52816172 edges, 870379 markings/sec, 30 secs
lola: 36063179 markings, 60302560 edges, 827355 markings/sec, 35 secs
lola: 40936235 markings, 67728770 edges, 974611 markings/sec, 40 secs
lola: 45308959 markings, 74406589 edges, 874545 markings/sec, 45 secs
lola: 49556949 markings, 81133768 edges, 849598 markings/sec, 50 secs
lola: 53782172 markings, 88849211 edges, 845045 markings/sec, 55 secs
lola: 58595389 markings, 96079453 edges, 962643 markings/sec, 60 secs
lola: 62797692 markings, 102500508 edges, 840461 markings/sec, 65 secs
lola: 67240192 markings, 109259925 edges, 888500 markings/sec, 70 secs
lola: 71494901 markings, 116238430 edges, 850942 markings/sec, 75 secs
lola: 75595852 markings, 123688138 edges, 820190 markings/sec, 80 secs
lola: 79401083 markings, 130179784 edges, 761046 markings/sec, 85 secs
lola: 83166916 markings, 136650485 edges, 753167 markings/sec, 90 secs
lola: 86855928 markings, 143085684 edges, 737802 markings/sec, 95 secs
lola: 90404755 markings, 149398206 edges, 709765 markings/sec, 100 secs
lola: 93959857 markings, 155751327 edges, 711020 markings/sec, 105 secs
lola: 97506276 markings, 162110678 edges, 709284 markings/sec, 110 secs
lola: 100592737 markings, 167704232 edges, 617292 markings/sec, 115 secs
lola: 103252657 markings, 173343627 edges, 531984 markings/sec, 120 secs
lola: 105250908 markings, 179779527 edges, 399650 markings/sec, 125 secs
lola: 106993023 markings, 185922567 edges, 348423 markings/sec, 130 secs
lola: 108666781 markings, 191869688 edges, 334752 markings/sec, 135 secs
lola: 110311151 markings, 197832067 edges, 328874 markings/sec, 140 secs
lola: 112077869 markings, 203730038 edges, 353344 markings/sec, 145 secs
lola: 113638389 markings, 209681789 edges, 312104 markings/sec, 150 secs
lola: 115466331 markings, 215765591 edges, 365588 markings/sec, 155 secs
lola: 116979612 markings, 221463792 edges, 302656 markings/sec, 160 secs
lola: 118805831 markings, 227653100 edges, 365244 markings/sec, 165 secs
lola: 120377092 markings, 233427299 edges, 314252 markings/sec, 170 secs
lola: 122144949 markings, 239536266 edges, 353571 markings/sec, 175 secs
lola: 123692387 markings, 245253854 edges, 309488 markings/sec, 180 secs
lola: 125401736 markings, 251175812 edges, 341870 markings/sec, 185 secs
lola: 126948315 markings, 256831556 edges, 309316 markings/sec, 190 secs
lola: 128625550 markings, 262693649 edges, 335447 markings/sec, 195 secs
lola: 130193617 markings, 268390490 edges, 313613 markings/sec, 200 secs
lola: 131799163 markings, 274001231 edges, 321109 markings/sec, 205 secs
lola: 133452834 markings, 279978656 edges, 330734 markings/sec, 210 secs
lola: 135104130 markings, 285866521 edges, 330259 markings/sec, 215 secs
lola: 136715788 markings, 291605052 edges, 322332 markings/sec, 220 secs
lola: 138097219 markings, 296465284 edges, 276286 markings/sec, 225 secs
lola: 139757166 markings, 302424026 edges, 331989 markings/sec, 230 secs
lola: 141402550 markings, 308366645 edges, 329077 markings/sec, 235 secs
lola: 143183540 markings, 314298142 edges, 356198 markings/sec, 240 secs
lola: 144751164 markings, 320308866 edges, 313525 markings/sec, 245 secs
lola: 146606026 markings, 326536651 edges, 370972 markings/sec, 250 secs
lola: 148196591 markings, 332400039 edges, 318113 markings/sec, 255 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 261 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: 4588049 markings, 8285729 edges, 917610 markings/sec, 0 secs
lola: 8959164 markings, 16201395 edges, 874223 markings/sec, 5 secs
lola: 13254928 markings, 23981198 edges, 859153 markings/sec, 10 secs
lola: 17615660 markings, 31455003 edges, 872146 markings/sec, 15 secs
lola: 21860121 markings, 38681011 edges, 848892 markings/sec, 20 secs
lola: 26115917 markings, 45928740 edges, 851159 markings/sec, 25 secs
lola: 30440011 markings, 52953066 edges, 864819 markings/sec, 30 secs
lola: 34577488 markings, 60446928 edges, 827495 markings/sec, 35 secs
lola: 38878541 markings, 68237670 edges, 860211 markings/sec, 40 secs
lola: 43239128 markings, 76136865 edges, 872117 markings/sec, 45 secs
lola: 47626346 markings, 84084987 edges, 877444 markings/sec, 50 secs
lola: 52042514 markings, 91875144 edges, 883234 markings/sec, 55 secs
lola: 56609517 markings, 98918555 edges, 913401 markings/sec, 60 secs
lola: 61067900 markings, 105788774 edges, 891677 markings/sec, 65 secs
lola: 65478958 markings, 112588306 edges, 882212 markings/sec, 70 secs
lola: 69643817 markings, 119618697 edges, 832972 markings/sec, 75 secs
lola: 73028038 markings, 126248074 edges, 676844 markings/sec, 80 secs
lola: 76980776 markings, 132982114 edges, 790548 markings/sec, 85 secs
lola: 81074040 markings, 139957405 edges, 818653 markings/sec, 90 secs
lola: 85226824 markings, 147036050 edges, 830557 markings/sec, 95 secs
lola: 89356684 markings, 154078072 edges, 825972 markings/sec, 100 secs
lola: 93653002 markings, 161294589 edges, 859264 markings/sec, 105 secs
lola: 97434589 markings, 167359118 edges, 756317 markings/sec, 110 secs
lola: 101064090 markings, 173179076 edges, 725900 markings/sec, 115 secs
lola: 105634220 markings, 180077089 edges, 914026 markings/sec, 120 secs
lola: 110219795 markings, 186966263 edges, 917115 markings/sec, 125 secs
lola: 114731275 markings, 193736568 edges, 902296 markings/sec, 130 secs
lola: 119218292 markings, 200470171 edges, 897403 markings/sec, 135 secs
lola: 123328182 markings, 206969217 edges, 821978 markings/sec, 140 secs
lola: 127122225 markings, 213043541 edges, 758809 markings/sec, 145 secs
lola: 131275320 markings, 219448588 edges, 830619 markings/sec, 150 secs
lola: 135485523 markings, 225943417 edges, 842041 markings/sec, 155 secs
lola: 139775715 markings, 232564014 edges, 858038 markings/sec, 160 secs
lola: 144076130 markings, 239202441 edges, 860083 markings/sec, 165 secs
lola: 148406421 markings, 245888664 edges, 866058 markings/sec, 170 secs
lola: 152772885 markings, 252632581 edges, 873293 markings/sec, 175 secs
lola: 156214173 markings, 259401914 edges, 688258 markings/sec, 180 secs
lola: 159314482 markings, 265611951 edges, 620062 markings/sec, 185 secs
lola: 162487317 markings, 271966932 edges, 634567 markings/sec, 190 secs
lola: 165471739 markings, 277317690 edges, 596884 markings/sec, 195 secs
lola: 169245775 markings, 283369991 edges, 754807 markings/sec, 200 secs
lola: 173165901 markings, 289696323 edges, 784025 markings/sec, 205 secs
lola: 177178520 markings, 296927828 edges, 802524 markings/sec, 210 secs
lola: 180905932 markings, 303655020 edges, 745482 markings/sec, 215 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 300 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: 4178694 markings, 8638250 edges, 835739 markings/sec, 0 secs
lola: 8337216 markings, 16464987 edges, 831704 markings/sec, 5 secs
lola: 11836077 markings, 22864547 edges, 699772 markings/sec, 10 secs
lola: 15209015 markings, 29083995 edges, 674588 markings/sec, 15 secs
lola: 18584594 markings, 35226515 edges, 675116 markings/sec, 20 secs
lola: 21892508 markings, 41306509 edges, 661583 markings/sec, 25 secs
lola: 25241701 markings, 47509824 edges, 669839 markings/sec, 30 secs
lola: 29098545 markings, 54629185 edges, 771369 markings/sec, 35 secs
lola: 32642732 markings, 61239785 edges, 708837 markings/sec, 40 secs
lola: 35983219 markings, 67471951 edges, 668097 markings/sec, 45 secs
lola: 39250712 markings, 73567323 edges, 653499 markings/sec, 50 secs
lola: 42514348 markings, 79655398 edges, 652727 markings/sec, 55 secs
lola: 45749571 markings, 85691247 edges, 647045 markings/sec, 60 secs
lola: 48983686 markings, 91722751 edges, 646823 markings/sec, 65 secs
lola: 52148994 markings, 97628561 edges, 633062 markings/sec, 70 secs
lola: 55353640 markings, 103605401 edges, 640929 markings/sec, 75 secs
lola: 58578636 markings, 109620900 edges, 644999 markings/sec, 80 secs
lola: 61807442 markings, 115643919 edges, 645761 markings/sec, 85 secs
lola: 65039054 markings, 121671469 edges, 646322 markings/sec, 90 secs
lola: 68270000 markings, 127697012 edges, 646189 markings/sec, 95 secs
lola: 71492606 markings, 133706959 edges, 644521 markings/sec, 100 secs
lola: 74742504 markings, 139768278 edges, 649980 markings/sec, 105 secs
lola: 77999542 markings, 145842707 edges, 651408 markings/sec, 110 secs
lola: 81285419 markings, 151969992 edges, 657175 markings/sec, 115 secs
lola: 84578349 markings, 158110946 edges, 658586 markings/sec, 120 secs
lola: 87870764 markings, 164249633 edges, 658483 markings/sec, 125 secs
lola: 91091019 markings, 170253678 edges, 644051 markings/sec, 130 secs
lola: 94244320 markings, 176132904 edges, 630660 markings/sec, 135 secs
lola: 97583676 markings, 182357705 edges, 667871 markings/sec, 140 secs
lola: 100932861 markings, 188600634 edges, 669837 markings/sec, 145 secs
lola: 104324566 markings, 194920826 edges, 678341 markings/sec, 150 secs
lola: 107739045 markings, 201281872 edges, 682896 markings/sec, 155 secs
lola: 111246590 markings, 207811135 edges, 701509 markings/sec, 160 secs
lola: 114667987 markings, 214196888 edges, 684279 markings/sec, 165 secs
lola: 117973993 markings, 220381904 edges, 661201 markings/sec, 170 secs
lola: 121388308 markings, 226769202 edges, 682863 markings/sec, 175 secs
lola: 124906836 markings, 233352061 edges, 703706 markings/sec, 180 secs
lola: 128406623 markings, 239899400 edges, 699957 markings/sec, 185 secs
lola: 131842110 markings, 246326550 edges, 687097 markings/sec, 190 secs
lola: 135312293 markings, 252818975 edges, 694037 markings/sec, 195 secs
lola: 138760659 markings, 259270399 edges, 689673 markings/sec, 200 secs
lola: 142192968 markings, 265692018 edges, 686462 markings/sec, 205 secs
lola: 145530863 markings, 271937068 edges, 667579 markings/sec, 210 secs
lola: 148956919 markings, 278347072 edges, 685211 markings/sec, 215 secs
lola: 152339945 markings, 284676592 edges, 676605 markings/sec, 220 secs
lola: 155801315 markings, 291177361 edges, 692274 markings/sec, 225 secs
lola: 159211615 markings, 297553345 edges, 682060 markings/sec, 230 secs
lola: 162649781 markings, 303982437 edges, 687633 markings/sec, 235 secs
lola: 166039696 markings, 310323362 edges, 677983 markings/sec, 240 secs
lola: 169414060 markings, 316635462 edges, 674873 markings/sec, 245 secs
lola: 172685879 markings, 322759474 edges, 654364 markings/sec, 250 secs
lola: 176125599 markings, 329191863 edges, 687944 markings/sec, 255 secs
lola: 179589673 markings, 335668776 edges, 692815 markings/sec, 260 secs
lola: 183038370 markings, 342118819 edges, 689739 markings/sec, 265 secs
lola: 186432446 markings, 348467348 edges, 678815 markings/sec, 270 secs
lola: 189848061 markings, 354858403 edges, 683123 markings/sec, 275 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown 396 unknown unknown 396 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-1 396 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-4 396 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494724641316
--------------------
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-C0100N0000001000"
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-C0100N0000001000.tgz
mv GPPP-PT-C0100N0000001000 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-C0100N0000001000, 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-149440264400542"
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 ;