About the Execution of LoLA for GPPP-PT-C1000N0000000100
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-C1000N0000000100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264500578
=====================================================================
--------------------
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-C1000N0000000100-UpperBounds-0
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-1
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-10
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-11
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-12
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-13
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-14
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-15
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-2
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-3
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-4
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-5
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-6
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-7
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-8
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494725118375
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ GPPP-PT-C1000N0000000100 @ 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-C1000N0000000100-UpperBounds.task
lola: MAX(_1_3_BPG) : MAX(NADPH) : MAX(Ru5P) : MAX(a2) : MAX(ADP) : MAX(c2) : MAX(b2) : MAX(Gluc) : MAX(F6P) : MAX(GSSG) : MAX(Xu5P) : MAX(a1) : MAX(a2) : MAX(c2) : MAX(_3PG) : MAX(Ru5P)
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(_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: 4234958 markings, 9235337 edges, 846992 markings/sec, 0 secs
lola: 8428321 markings, 18422116 edges, 838673 markings/sec, 5 secs
lola: 12663736 markings, 27708017 edges, 847083 markings/sec, 10 secs
lola: 16851409 markings, 36891760 edges, 837535 markings/sec, 15 secs
lola: 21014998 markings, 46025923 edges, 832718 markings/sec, 20 secs
lola: 25161427 markings, 55139277 edges, 829286 markings/sec, 25 secs
lola: 29323533 markings, 64311073 edges, 832421 markings/sec, 30 secs
lola: 33467416 markings, 73473963 edges, 828777 markings/sec, 35 secs
lola: 37579376 markings, 82603336 edges, 822392 markings/sec, 40 secs
lola: 41662790 markings, 91707378 edges, 816683 markings/sec, 45 secs
lola: 45728898 markings, 100802322 edges, 813222 markings/sec, 50 secs
lola: 49726543 markings, 109949089 edges, 799529 markings/sec, 55 secs
lola: 53282923 markings, 119160376 edges, 711276 markings/sec, 60 secs
lola: 56803057 markings, 128289585 edges, 704027 markings/sec, 65 secs
lola: 60317433 markings, 137407047 edges, 702875 markings/sec, 70 secs
lola: 63836441 markings, 146537758 edges, 703802 markings/sec, 75 secs
lola: 67377279 markings, 155727344 edges, 708168 markings/sec, 80 secs
lola: 70917943 markings, 164916761 edges, 708133 markings/sec, 85 secs
lola: 74478653 markings, 174158628 edges, 712142 markings/sec, 90 secs
lola: 78030327 markings, 183377413 edges, 710335 markings/sec, 95 secs
lola: 81617988 markings, 192691635 edges, 717532 markings/sec, 100 secs
lola: 85208283 markings, 202019144 edges, 718059 markings/sec, 105 secs
lola: 88832967 markings, 211441300 edges, 724937 markings/sec, 110 secs
lola: 92424450 markings, 220783653 edges, 718297 markings/sec, 115 secs
lola: 96069137 markings, 230271439 edges, 728937 markings/sec, 120 secs
lola: 99685074 markings, 239693284 edges, 723187 markings/sec, 125 secs
lola: 103328283 markings, 249198228 edges, 728642 markings/sec, 130 secs
lola: 106983731 markings, 258742064 edges, 731090 markings/sec, 135 secs
lola: 110606129 markings, 268212929 edges, 724480 markings/sec, 140 secs
lola: 114256533 markings, 277762093 edges, 730081 markings/sec, 145 secs
lola: 117892727 markings, 287283393 edges, 727239 markings/sec, 150 secs
lola: 121515437 markings, 296778020 edges, 724542 markings/sec, 155 secs
lola: 125031978 markings, 305901548 edges, 703308 markings/sec, 160 secs
lola: 128386454 markings, 314595429 edges, 670895 markings/sec, 165 secs
lola: 131800409 markings, 323447892 edges, 682791 markings/sec, 170 secs
lola: 135221788 markings, 332321189 edges, 684276 markings/sec, 175 secs
lola: 138628036 markings, 341156627 edges, 681250 markings/sec, 180 secs
lola: 142051385 markings, 350037050 edges, 684670 markings/sec, 185 secs
lola: 145493018 markings, 358966369 edges, 688327 markings/sec, 190 secs
lola: 148964238 markings, 367980278 edges, 694244 markings/sec, 195 secs
lola: 152236118 markings, 376483341 edges, 654376 markings/sec, 200 secs
lola: 155657970 markings, 385383685 edges, 684370 markings/sec, 205 secs
lola: 159072862 markings, 394278860 edges, 682978 markings/sec, 210 secs
lola: 162575154 markings, 403413892 edges, 700458 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(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: 5159186 markings, 7918396 edges, 1031837 markings/sec, 0 secs
lola: 9805145 markings, 15092923 edges, 929192 markings/sec, 5 secs
lola: 14429047 markings, 22118348 edges, 924780 markings/sec, 10 secs
lola: 19074725 markings, 29130772 edges, 929136 markings/sec, 15 secs
lola: 23689217 markings, 36131253 edges, 922898 markings/sec, 20 secs
lola: 28200476 markings, 42912744 edges, 902252 markings/sec, 25 secs
lola: 32785578 markings, 49811021 edges, 917020 markings/sec, 30 secs
lola: 37307776 markings, 56672562 edges, 904440 markings/sec, 35 secs
lola: 41789787 markings, 63426005 edges, 896402 markings/sec, 40 secs
lola: 46323789 markings, 70230711 edges, 906800 markings/sec, 45 secs
lola: 50784997 markings, 77005602 edges, 892242 markings/sec, 50 secs
lola: 55211093 markings, 83675461 edges, 885219 markings/sec, 55 secs
lola: 59721293 markings, 90441167 edges, 902040 markings/sec, 60 secs
lola: 64124918 markings, 97110470 edges, 880725 markings/sec, 65 secs
lola: 68547018 markings, 103778066 edges, 884420 markings/sec, 70 secs
lola: 73135265 markings, 110681770 edges, 917649 markings/sec, 75 secs
lola: 77541364 markings, 117316571 edges, 881220 markings/sec, 80 secs
lola: 81719630 markings, 123623039 edges, 835653 markings/sec, 85 secs
lola: 86206337 markings, 130403780 edges, 897341 markings/sec, 90 secs
lola: 90588740 markings, 136985832 edges, 876481 markings/sec, 95 secs
lola: 95064314 markings, 143737244 edges, 895115 markings/sec, 100 secs
lola: 99478085 markings, 150439373 edges, 882754 markings/sec, 105 secs
lola: 103867247 markings, 157049264 edges, 877832 markings/sec, 110 secs
lola: 108362622 markings, 163806615 edges, 899075 markings/sec, 115 secs
lola: 112711233 markings, 170356900 edges, 869722 markings/sec, 120 secs
lola: 117149969 markings, 177043164 edges, 887747 markings/sec, 125 secs
lola: 121524419 markings, 183686695 edges, 874890 markings/sec, 130 secs
lola: 125854356 markings, 190207947 edges, 865987 markings/sec, 135 secs
lola: 130344473 markings, 196966239 edges, 898023 markings/sec, 140 secs
lola: 134732983 markings, 203585417 edges, 877702 markings/sec, 145 secs
lola: 139240469 markings, 210367170 edges, 901497 markings/sec, 150 secs
lola: 143673520 markings, 217052315 edges, 886610 markings/sec, 155 secs
lola: 148185258 markings, 223851163 edges, 902348 markings/sec, 160 secs
lola: 152638367 markings, 230585427 edges, 890622 markings/sec, 165 secs
lola: 157156296 markings, 237378351 edges, 903586 markings/sec, 170 secs
lola: 161596537 markings, 244104640 edges, 888048 markings/sec, 175 secs
lola: 166075002 markings, 250827095 edges, 895693 markings/sec, 180 secs
lola: 170486603 markings, 257519969 edges, 882320 markings/sec, 185 secs
lola: 174972719 markings, 264244453 edges, 897223 markings/sec, 190 secs
lola: 179383485 markings, 270938688 edges, 882153 markings/sec, 195 secs
lola: 183756935 markings, 277490976 edges, 874690 markings/sec, 200 secs
lola: 188122491 markings, 284123056 edges, 873111 markings/sec, 205 secs
lola: 192491501 markings, 290668938 edges, 873802 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Ru5P)
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: 5182359 markings, 7953099 edges, 1036472 markings/sec, 0 secs
lola: 9787031 markings, 15064359 edges, 920934 markings/sec, 5 secs
lola: 14400386 markings, 22076525 edges, 922671 markings/sec, 10 secs
lola: 19015643 markings, 29041052 edges, 923051 markings/sec, 15 secs
lola: 23608265 markings, 36000729 edges, 918524 markings/sec, 20 secs
lola: 28122550 markings, 42777422 edges, 902857 markings/sec, 25 secs
lola: 32704823 markings, 49688075 edges, 916455 markings/sec, 30 secs
lola: 37211927 markings, 56525827 edges, 901421 markings/sec, 35 secs
lola: 41656722 markings, 63216293 edges, 888959 markings/sec, 40 secs
lola: 46197180 markings, 70038505 edges, 908092 markings/sec, 45 secs
lola: 50661158 markings, 76813732 edges, 892796 markings/sec, 50 secs
lola: 55078259 markings, 83467026 edges, 883420 markings/sec, 55 secs
lola: 59566894 markings, 90205315 edges, 897727 markings/sec, 60 secs
lola: 63940023 markings, 96843665 edges, 874626 markings/sec, 65 secs
lola: 68303678 markings, 103417436 edges, 872731 markings/sec, 70 secs
lola: 72792145 markings, 110153574 edges, 897693 markings/sec, 75 secs
lola: 77159429 markings, 116768254 edges, 873457 markings/sec, 80 secs
lola: 81484841 markings, 123293632 edges, 865082 markings/sec, 85 secs
lola: 85965075 markings, 130022233 edges, 896047 markings/sec, 90 secs
lola: 90293495 markings, 136557118 edges, 865684 markings/sec, 95 secs
lola: 94696133 markings, 143175370 edges, 880528 markings/sec, 100 secs
lola: 99120601 markings, 149884534 edges, 884894 markings/sec, 105 secs
lola: 103314767 markings, 156180432 edges, 838833 markings/sec, 110 secs
lola: 107619401 markings, 162667527 edges, 860927 markings/sec, 115 secs
lola: 111864591 markings, 169110232 edges, 849038 markings/sec, 120 secs
lola: 116108441 markings, 175496822 edges, 848770 markings/sec, 125 secs
lola: 120521841 markings, 182133606 edges, 882680 markings/sec, 130 secs
lola: 124838827 markings, 188672019 edges, 863397 markings/sec, 135 secs
lola: 129146441 markings, 195156019 edges, 861523 markings/sec, 140 secs
lola: 133595951 markings, 201875348 edges, 889902 markings/sec, 145 secs
lola: 137922744 markings, 208400683 edges, 865359 markings/sec, 150 secs
lola: 142387972 markings, 215113993 edges, 893046 markings/sec, 155 secs
lola: 146795779 markings, 221760915 edges, 881561 markings/sec, 160 secs
lola: 151297283 markings, 228546979 edges, 900301 markings/sec, 165 secs
lola: 155651108 markings, 235130778 edges, 870765 markings/sec, 170 secs
lola: 160096427 markings, 241810316 edges, 889064 markings/sec, 175 secs
lola: 164500773 markings, 248492886 edges, 880869 markings/sec, 180 secs
lola: 168904301 markings, 255091272 edges, 880706 markings/sec, 185 secs
lola: 173278586 markings, 261735819 edges, 874857 markings/sec, 190 secs
lola: 177616713 markings, 268260071 edges, 867625 markings/sec, 195 secs
lola: 182075598 markings, 274995822 edges, 891777 markings/sec, 200 secs
lola: 186389939 markings, 281498035 edges, 862868 markings/sec, 205 secs
lola: 190832353 markings, 288202216 edges, 888483 markings/sec, 210 secs
lola: 193577463 markings, 292332218 edges, 549022 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(a2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 2000
lola: produced by: state space
lola: The maximum value of the given expression is 2000
lola: ========================================
lola: subprocess 4 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ADP)
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: 3804732 markings, 9067337 edges, 760946 markings/sec, 0 secs
lola: 7150235 markings, 17985030 edges, 669101 markings/sec, 5 secs
lola: 10295343 markings, 27171495 edges, 629022 markings/sec, 10 secs
lola: 13684395 markings, 35645630 edges, 677810 markings/sec, 15 secs
lola: 16990248 markings, 43913803 edges, 661171 markings/sec, 20 secs
lola: 19862525 markings, 52416597 edges, 574455 markings/sec, 25 secs
lola: 22428353 markings, 61179999 edges, 513166 markings/sec, 30 secs
lola: 25555173 markings, 69456077 edges, 625364 markings/sec, 35 secs
lola: 28670989 markings, 77246916 edges, 623163 markings/sec, 40 secs
lola: 31184370 markings, 84748737 edges, 502676 markings/sec, 45 secs
lola: 32863278 markings, 91456079 edges, 335782 markings/sec, 50 secs
lola: 34632664 markings, 97836420 edges, 353877 markings/sec, 55 secs
lola: 37239060 markings, 104346560 edges, 521279 markings/sec, 60 secs
lola: 39966316 markings, 111004907 edges, 545451 markings/sec, 65 secs
lola: 42255528 markings, 118742004 edges, 457842 markings/sec, 70 secs
lola: 44444074 markings, 125922889 edges, 437709 markings/sec, 75 secs
lola: 46416030 markings, 133166894 edges, 394391 markings/sec, 80 secs
lola: 48344426 markings, 140090620 edges, 385679 markings/sec, 85 secs
lola: 50317318 markings, 147044817 edges, 394578 markings/sec, 90 secs
lola: 52397920 markings, 154525192 edges, 416120 markings/sec, 95 secs
lola: 54334251 markings, 161495678 edges, 387266 markings/sec, 100 secs
lola: 56609727 markings, 169205225 edges, 455095 markings/sec, 105 secs
lola: 58307725 markings, 176237850 edges, 339600 markings/sec, 110 secs
lola: 60013677 markings, 183710350 edges, 341190 markings/sec, 115 secs
lola: 61884417 markings, 191758098 edges, 374148 markings/sec, 120 secs
lola: 64322513 markings, 198364879 edges, 487619 markings/sec, 125 secs
lola: 66277451 markings, 205695010 edges, 390988 markings/sec, 130 secs
lola: 68729014 markings, 212339551 edges, 490313 markings/sec, 135 secs
lola: 70693344 markings, 219600481 edges, 392866 markings/sec, 140 secs
lola: 73124172 markings, 226280164 edges, 486166 markings/sec, 145 secs
lola: 75060473 markings, 233369665 edges, 387260 markings/sec, 150 secs
lola: 77507280 markings, 240184599 edges, 489361 markings/sec, 155 secs
lola: 79478643 markings, 247324938 edges, 394273 markings/sec, 160 secs
lola: 81987828 markings, 254381601 edges, 501837 markings/sec, 165 secs
lola: 83952551 markings, 261483382 edges, 392945 markings/sec, 170 secs
lola: 86388418 markings, 269543114 edges, 487173 markings/sec, 175 secs
lola: 89202543 markings, 277790420 edges, 562825 markings/sec, 180 secs
lola: 92259874 markings, 285463877 edges, 611466 markings/sec, 185 secs
lola: 94632183 markings, 292690483 edges, 474462 markings/sec, 190 secs
lola: 96289340 markings, 299310979 edges, 331431 markings/sec, 195 secs
lola: 98229924 markings, 306637988 edges, 388117 markings/sec, 200 secs
lola: 100249083 markings, 314272573 edges, 403832 markings/sec, 205 secs
lola: 102318664 markings, 322097511 edges, 413916 markings/sec, 210 secs
lola: 104446070 markings, 330138505 edges, 425481 markings/sec, 215 secs
lola: 106627752 markings, 337486467 edges, 436336 markings/sec, 220 secs
lola: 108028143 markings, 344007721 edges, 280078 markings/sec, 225 secs
lola: 109494295 markings, 350831403 edges, 293230 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 239 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: 4393773 markings, 9583160 edges, 878755 markings/sec, 0 secs
lola: 8711622 markings, 19042812 edges, 863570 markings/sec, 5 secs
lola: 13024168 markings, 28498228 edges, 862509 markings/sec, 10 secs
lola: 17314984 markings, 37908705 edges, 858163 markings/sec, 15 secs
lola: 21609139 markings, 47329586 edges, 858831 markings/sec, 20 secs
lola: 25780752 markings, 56502467 edges, 834323 markings/sec, 25 secs
lola: 29921791 markings, 65630814 edges, 828208 markings/sec, 30 secs
lola: 34063209 markings, 74794276 edges, 828284 markings/sec, 35 secs
lola: 38187737 markings, 83956634 edges, 824906 markings/sec, 40 secs
lola: 42274047 markings, 93072405 edges, 817262 markings/sec, 45 secs
lola: 46279264 markings, 102033537 edges, 801043 markings/sec, 50 secs
lola: 50167983 markings, 111090278 edges, 777744 markings/sec, 55 secs
lola: 53691895 markings, 120220990 edges, 704782 markings/sec, 60 secs
lola: 57195899 markings, 129308732 edges, 700801 markings/sec, 65 secs
lola: 60678883 markings, 138344514 edges, 696597 markings/sec, 70 secs
lola: 64163350 markings, 147386042 edges, 696893 markings/sec, 75 secs
lola: 67684079 markings, 156523324 edges, 704146 markings/sec, 80 secs
lola: 71189361 markings, 165620740 edges, 701056 markings/sec, 85 secs
lola: 74722105 markings, 174790616 edges, 706549 markings/sec, 90 secs
lola: 78231300 markings, 183899735 edges, 701839 markings/sec, 95 secs
lola: 81756715 markings, 193051705 edges, 705083 markings/sec, 100 secs
lola: 85295933 markings, 202246505 edges, 707844 markings/sec, 105 secs
lola: 88844049 markings, 211470104 edges, 709623 markings/sec, 110 secs
lola: 92397888 markings, 220713791 edges, 710768 markings/sec, 115 secs
lola: 95979457 markings, 230036783 edges, 716314 markings/sec, 120 secs
lola: 99559629 markings, 239367255 edges, 716034 markings/sec, 125 secs
lola: 103129567 markings, 248678592 edges, 713988 markings/sec, 130 secs
lola: 106710229 markings, 258028317 edges, 716132 markings/sec, 135 secs
lola: 110289288 markings, 267384719 edges, 715812 markings/sec, 140 secs
lola: 113905760 markings, 276844946 edges, 723294 markings/sec, 145 secs
lola: 117478899 markings, 286196208 edges, 714628 markings/sec, 150 secs
lola: 121047977 markings, 295549828 edges, 713816 markings/sec, 155 secs
lola: 124534868 markings, 304613544 edges, 697378 markings/sec, 160 secs
lola: 127896989 markings, 313326745 edges, 672424 markings/sec, 165 secs
lola: 131235540 markings, 321983023 edges, 667710 markings/sec, 170 secs
lola: 134592844 markings, 330690019 edges, 671461 markings/sec, 175 secs
lola: 137934336 markings, 339357362 edges, 668298 markings/sec, 180 secs
lola: 140497226 markings, 346005525 edges, 512578 markings/sec, 185 secs
lola: 143867767 markings, 354749699 edges, 674108 markings/sec, 190 secs
lola: 147248517 markings, 363524135 edges, 676150 markings/sec, 195 secs
lola: 150651906 markings, 372365504 edges, 680678 markings/sec, 200 secs
lola: 154061522 markings, 381229694 edges, 681923 markings/sec, 205 secs
lola: 157489322 markings, 390152267 edges, 685560 markings/sec, 210 secs
lola: 160905379 markings, 399057245 edges, 683211 markings/sec, 215 secs
lola: 164320996 markings, 407970989 edges, 683123 markings/sec, 220 secs
lola: 167734884 markings, 416891577 edges, 682778 markings/sec, 225 secs
lola: 171150538 markings, 425828087 edges, 683131 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 239 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: 4805526 markings, 7379149 edges, 961105 markings/sec, 0 secs
lola: 9020255 markings, 13889682 edges, 842946 markings/sec, 5 secs
lola: 13245982 markings, 20325914 edges, 845145 markings/sec, 10 secs
lola: 17416238 markings, 26674133 edges, 834051 markings/sec, 15 secs
lola: 21642319 markings, 33041080 edges, 845216 markings/sec, 20 secs
lola: 25932551 markings, 39471682 edges, 858046 markings/sec, 25 secs
lola: 30143317 markings, 45846995 edges, 842153 markings/sec, 30 secs
lola: 34307720 markings, 52140543 edges, 832881 markings/sec, 35 secs
lola: 38491848 markings, 58455647 edges, 836826 markings/sec, 40 secs
lola: 42771041 markings, 64869166 edges, 855839 markings/sec, 45 secs
lola: 47034104 markings, 71329054 edges, 852613 markings/sec, 50 secs
lola: 51270301 markings, 77695969 edges, 847239 markings/sec, 55 secs
lola: 55435676 markings, 84003723 edges, 833075 markings/sec, 60 secs
lola: 59758059 markings, 90497379 edges, 864477 markings/sec, 65 secs
lola: 63934371 markings, 96834965 edges, 835262 markings/sec, 70 secs
lola: 68122461 markings, 103125823 edges, 837618 markings/sec, 75 secs
lola: 72452719 markings, 109633782 edges, 866052 markings/sec, 80 secs
lola: 76644355 markings, 115989238 edges, 838327 markings/sec, 85 secs
lola: 80821646 markings, 122262959 edges, 835458 markings/sec, 90 secs
lola: 85105683 markings, 128710626 edges, 856807 markings/sec, 95 secs
lola: 89370614 markings, 135176365 edges, 852986 markings/sec, 100 secs
lola: 93549120 markings, 141461463 edges, 835701 markings/sec, 105 secs
lola: 97743867 markings, 147792135 edges, 838949 markings/sec, 110 secs
lola: 102101473 markings, 154371010 edges, 871521 markings/sec, 115 secs
lola: 106290121 markings, 160674196 edges, 837730 markings/sec, 120 secs
lola: 110524210 markings, 167051988 edges, 846818 markings/sec, 125 secs
lola: 114812275 markings, 173544987 edges, 857613 markings/sec, 130 secs
lola: 119025139 markings, 179876517 edges, 842573 markings/sec, 135 secs
lola: 123296935 markings, 186311622 edges, 854359 markings/sec, 140 secs
lola: 127488103 markings, 192672040 edges, 838234 markings/sec, 145 secs
lola: 131538220 markings, 198743476 edges, 810023 markings/sec, 150 secs
lola: 135584559 markings, 204840878 edges, 809268 markings/sec, 155 secs
lola: 139642320 markings, 210991709 edges, 811552 markings/sec, 160 secs
lola: 142994119 markings, 216056991 edges, 670360 markings/sec, 165 secs
lola: 147176840 markings, 222364712 edges, 836544 markings/sec, 170 secs
lola: 151500363 markings, 228857526 edges, 864705 markings/sec, 175 secs
lola: 155723121 markings, 235233468 edges, 844552 markings/sec, 180 secs
lola: 160017447 markings, 241689766 edges, 858865 markings/sec, 185 secs
lola: 164226865 markings, 248077754 edges, 841884 markings/sec, 190 secs
lola: 168377138 markings, 254339260 edges, 830055 markings/sec, 195 secs
lola: 172650926 markings, 260755598 edges, 854758 markings/sec, 200 secs
lola: 176815739 markings, 267035182 edges, 832963 markings/sec, 205 secs
lola: 181097341 markings, 273487786 edges, 856320 markings/sec, 210 secs
lola: 185285541 markings, 279839192 edges, 837640 markings/sec, 215 secs
lola: 189436999 markings, 286080958 edges, 830292 markings/sec, 220 secs
lola: 193511701 markings, 292233267 edges, 814940 markings/sec, 225 secs
lola: 193519201 markings, 292244152 edges, 1500 markings/sec, 230 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 240 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: 4896705 markings, 8856726 edges, 979341 markings/sec, 0 secs
lola: 9845962 markings, 17797178 edges, 989851 markings/sec, 5 secs
lola: 13982283 markings, 25250292 edges, 827264 markings/sec, 10 secs
lola: 17970422 markings, 32461822 edges, 797628 markings/sec, 15 secs
lola: 21941816 markings, 39629108 edges, 794279 markings/sec, 20 secs
lola: 25947590 markings, 46867906 edges, 801155 markings/sec, 25 secs
lola: 29819560 markings, 53854579 edges, 774394 markings/sec, 30 secs
lola: 33744147 markings, 60980539 edges, 784917 markings/sec, 35 secs
lola: 37647197 markings, 68023245 edges, 780610 markings/sec, 40 secs
lola: 41658868 markings, 75265359 edges, 802334 markings/sec, 45 secs
lola: 45576243 markings, 82324272 edges, 783475 markings/sec, 50 secs
lola: 49517758 markings, 89457723 edges, 788303 markings/sec, 55 secs
lola: 53447345 markings, 96555074 edges, 785917 markings/sec, 60 secs
lola: 57352304 markings, 103664687 edges, 780992 markings/sec, 65 secs
lola: 61259753 markings, 110700027 edges, 781490 markings/sec, 70 secs
lola: 65185159 markings, 117774910 edges, 785081 markings/sec, 75 secs
lola: 69094712 markings, 124842512 edges, 781911 markings/sec, 80 secs
lola: 73018331 markings, 131963652 edges, 784724 markings/sec, 85 secs
lola: 77036687 markings, 139207208 edges, 803671 markings/sec, 90 secs
lola: 80901850 markings, 146195546 edges, 773033 markings/sec, 95 secs
lola: 84856118 markings, 153366554 edges, 790854 markings/sec, 100 secs
lola: 88820055 markings, 160529919 edges, 792787 markings/sec, 105 secs
lola: 92787787 markings, 167676447 edges, 793546 markings/sec, 110 secs
lola: 96706313 markings, 174718425 edges, 783705 markings/sec, 115 secs
lola: 100580616 markings, 181771979 edges, 774861 markings/sec, 120 secs
lola: 104471881 markings, 188864876 edges, 778253 markings/sec, 125 secs
lola: 108590189 markings, 196241283 edges, 823662 markings/sec, 130 secs
lola: 112549164 markings, 203403926 edges, 791795 markings/sec, 135 secs
lola: 116504858 markings, 210568405 edges, 791139 markings/sec, 140 secs
lola: 120503120 markings, 217799993 edges, 799652 markings/sec, 145 secs
lola: 124502095 markings, 225014791 edges, 799795 markings/sec, 150 secs
lola: 128490216 markings, 232212927 edges, 797624 markings/sec, 155 secs
lola: 132341580 markings, 239260693 edges, 770273 markings/sec, 160 secs
lola: 136291493 markings, 246344897 edges, 789983 markings/sec, 165 secs
lola: 140281296 markings, 253472686 edges, 797961 markings/sec, 170 secs
lola: 144187931 markings, 260634256 edges, 781327 markings/sec, 175 secs
lola: 148106353 markings, 267744837 edges, 783684 markings/sec, 180 secs
lola: 151986645 markings, 274668560 edges, 776058 markings/sec, 185 secs
lola: 155905830 markings, 281820102 edges, 783837 markings/sec, 190 secs
lola: 159733942 markings, 288777206 edges, 765622 markings/sec, 195 secs
lola: 163599512 markings, 295672050 edges, 773114 markings/sec, 200 secs
lola: 167446872 markings, 302728824 edges, 769472 markings/sec, 205 secs
lola: 171310333 markings, 309584350 edges, 772692 markings/sec, 210 secs
lola: 175126902 markings, 316619794 edges, 763314 markings/sec, 215 secs
lola: 179117568 markings, 323699587 edges, 798133 markings/sec, 220 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 241 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: 4031697 markings, 8791026 edges, 806339 markings/sec, 0 secs
lola: 7987485 markings, 17455864 edges, 791158 markings/sec, 5 secs
lola: 12085823 markings, 26440448 edges, 819668 markings/sec, 10 secs
lola: 16182321 markings, 35424911 edges, 819300 markings/sec, 15 secs
lola: 20292058 markings, 44439635 edges, 821947 markings/sec, 20 secs
lola: 24390774 markings, 53443679 edges, 819743 markings/sec, 25 secs
lola: 28395944 markings, 62246511 edges, 801034 markings/sec, 30 secs
lola: 32529434 markings, 71331072 edges, 826698 markings/sec, 35 secs
lola: 36673497 markings, 80438961 edges, 828813 markings/sec, 40 secs
lola: 40840276 markings, 89595654 edges, 833356 markings/sec, 45 secs
lola: 45003113 markings, 98744944 edges, 832567 markings/sec, 50 secs
lola: 48682936 markings, 107808992 edges, 735965 markings/sec, 55 secs
lola: 50858633 markings, 114755864 edges, 435139 markings/sec, 60 secs
lola: 53042168 markings, 121727994 edges, 436707 markings/sec, 65 secs
lola: 55260322 markings, 128812327 edges, 443631 markings/sec, 70 secs
lola: 57523241 markings, 136034231 edges, 452584 markings/sec, 75 secs
lola: 59802441 markings, 143315643 edges, 455840 markings/sec, 80 secs
lola: 62122188 markings, 150721019 edges, 463949 markings/sec, 85 secs
lola: 64448747 markings, 158157715 edges, 465312 markings/sec, 90 secs
lola: 66816385 markings, 165718328 edges, 473528 markings/sec, 95 secs
lola: 69192356 markings, 173304787 edges, 475194 markings/sec, 100 secs
lola: 71624562 markings, 181072538 edges, 486441 markings/sec, 105 secs
lola: 74098065 markings, 188971734 edges, 494701 markings/sec, 110 secs
lola: 76623366 markings, 197039720 edges, 505060 markings/sec, 115 secs
lola: 79171935 markings, 205179865 edges, 509714 markings/sec, 120 secs
lola: 81710202 markings, 213286203 edges, 507653 markings/sec, 125 secs
lola: 84280680 markings, 221493897 edges, 514096 markings/sec, 130 secs
lola: 86835499 markings, 229656442 edges, 510964 markings/sec, 135 secs
lola: 89436746 markings, 237966066 edges, 520249 markings/sec, 140 secs
lola: 92016022 markings, 246204601 edges, 515855 markings/sec, 145 secs
lola: 94589167 markings, 254422843 edges, 514629 markings/sec, 150 secs
lola: 97131020 markings, 262540124 edges, 508371 markings/sec, 155 secs
lola: 99630250 markings, 270524201 edges, 499846 markings/sec, 160 secs
lola: 102160261 markings, 278606430 edges, 506002 markings/sec, 165 secs
lola: 104696641 markings, 286708562 edges, 507276 markings/sec, 170 secs
lola: 107223983 markings, 294781218 edges, 505468 markings/sec, 175 secs
lola: 109849798 markings, 303169115 edges, 525163 markings/sec, 180 secs
lola: 112534721 markings, 311745994 edges, 536985 markings/sec, 185 secs
lola: 115244793 markings, 320403051 edges, 542014 markings/sec, 190 secs
lola: 118136945 markings, 329896508 edges, 578430 markings/sec, 195 secs
lola: 120644013 markings, 338005721 edges, 501414 markings/sec, 200 secs
lola: 122774366 markings, 344802953 edges, 426071 markings/sec, 205 secs
lola: 124955997 markings, 351759523 edges, 436326 markings/sec, 210 secs
lola: 127187186 markings, 358875862 edges, 446238 markings/sec, 215 secs
lola: 129391885 markings, 365914048 edges, 440940 markings/sec, 220 secs
lola: 131574002 markings, 372873448 edges, 436423 markings/sec, 225 secs
lola: 133877454 markings, 380225546 edges, 460690 markings/sec, 230 secs
lola: 136206246 markings, 387655929 edges, 465758 markings/sec, 235 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 241 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: 4880220 markings, 7491021 edges, 976044 markings/sec, 0 secs
lola: 9148203 markings, 14093499 edges, 853597 markings/sec, 5 secs
lola: 13516537 markings, 20752514 edges, 873667 markings/sec, 10 secs
lola: 17840840 markings, 27285666 edges, 864861 markings/sec, 15 secs
lola: 22236703 markings, 33907445 edges, 879173 markings/sec, 20 secs
lola: 26654115 markings, 40574897 edges, 883482 markings/sec, 25 secs
lola: 30924540 markings, 47040715 edges, 854085 markings/sec, 30 secs
lola: 35201208 markings, 53495250 edges, 855334 markings/sec, 35 secs
lola: 39604623 markings, 60096973 edges, 880683 markings/sec, 40 secs
lola: 43874901 markings, 66574246 edges, 854056 markings/sec, 45 secs
lola: 48159904 markings, 72998233 edges, 857001 markings/sec, 50 secs
lola: 52479019 markings, 79505142 edges, 863823 markings/sec, 55 secs
lola: 56749740 markings, 85968733 edges, 854144 markings/sec, 60 secs
lola: 60917733 markings, 92268680 edges, 833599 markings/sec, 65 secs
lola: 65104433 markings, 98598324 edges, 837340 markings/sec, 70 secs
lola: 69386919 markings, 105014791 edges, 856497 markings/sec, 75 secs
lola: 73566459 markings, 111352314 edges, 835908 markings/sec, 80 secs
lola: 77749571 markings, 117632146 edges, 836622 markings/sec, 85 secs
lola: 81983688 markings, 124003323 edges, 846823 markings/sec, 90 secs
lola: 86164674 markings, 130341160 edges, 836197 markings/sec, 95 secs
lola: 90310599 markings, 136581317 edges, 829185 markings/sec, 100 secs
lola: 94461867 markings, 142855188 edges, 830254 markings/sec, 105 secs
lola: 98732013 markings, 149276371 edges, 854029 markings/sec, 110 secs
lola: 102860097 markings, 155523537 edges, 825617 markings/sec, 115 secs
lola: 107002491 markings, 161779756 edges, 828479 markings/sec, 120 secs
lola: 111216192 markings, 168102049 edges, 842740 markings/sec, 125 secs
lola: 115291536 markings, 174287854 edges, 815069 markings/sec, 130 secs
lola: 119399835 markings, 180472067 edges, 821660 markings/sec, 135 secs
lola: 123629945 markings, 186820906 edges, 846022 markings/sec, 140 secs
lola: 127724109 markings, 193035179 edges, 818833 markings/sec, 145 secs
lola: 131909466 markings, 199340086 edges, 837071 markings/sec, 150 secs
lola: 136216461 markings, 205807429 edges, 861399 markings/sec, 155 secs
lola: 140401713 markings, 212133913 edges, 837050 markings/sec, 160 secs
lola: 144671489 markings, 218551042 edges, 853955 markings/sec, 165 secs
lola: 149036364 markings, 225169159 edges, 872975 markings/sec, 170 secs
lola: 153322557 markings, 231635149 edges, 857239 markings/sec, 175 secs
lola: 157712685 markings, 238226848 edges, 878026 markings/sec, 180 secs
lola: 162090754 markings, 244828138 edges, 875614 markings/sec, 185 secs
lola: 166166589 markings, 250966999 edges, 815167 markings/sec, 190 secs
lola: 170118615 markings, 256963096 edges, 790405 markings/sec, 195 secs
lola: 174490830 markings, 263557234 edges, 874443 markings/sec, 200 secs
lola: 178990776 markings, 270339631 edges, 899989 markings/sec, 205 secs
lola: 183239025 markings, 276750661 edges, 849650 markings/sec, 210 secs
lola: 187746717 markings, 283539072 edges, 901538 markings/sec, 215 secs
lola: 192119355 markings, 290147371 edges, 874528 markings/sec, 220 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 243 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: SUBRESULT
lola: result: 407
lola: produced by: state space
lola: The maximum value of the given expression is 407
lola: ========================================
lola: subprocess 11 will run for 291 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(a1)
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: SUBRESULT
lola: result: 2000
lola: produced by: state space
lola: The maximum value of the given expression is 2000
lola: ========================================
lola: subprocess 12 will run for 363 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(a2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 2000
lola: produced by: state space
lola: The maximum value of the given expression is 2000
lola: ========================================
lola: subprocess 13 will run for 484 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: 4499116 markings, 9813287 edges, 899823 markings/sec, 0 secs
lola: 8911699 markings, 19481244 edges, 882517 markings/sec, 5 secs
lola: 13185456 markings, 28852119 edges, 854751 markings/sec, 10 secs
lola: 17398334 markings, 38092022 edges, 842576 markings/sec, 15 secs
lola: 21668622 markings, 47460410 edges, 854058 markings/sec, 20 secs
lola: 25932216 markings, 56836029 edges, 852719 markings/sec, 25 secs
lola: 30207599 markings, 66262504 edges, 855077 markings/sec, 30 secs
lola: 34504765 markings, 75772474 edges, 859433 markings/sec, 35 secs
lola: 38725770 markings, 85156028 edges, 844201 markings/sec, 40 secs
lola: 42913487 markings, 94500175 edges, 837543 markings/sec, 45 secs
lola: 47073913 markings, 103812752 edges, 832085 markings/sec, 50 secs
lola: 50998385 markings, 113240075 edges, 784894 markings/sec, 55 secs
lola: 54651569 markings, 122709325 edges, 730637 markings/sec, 60 secs
lola: 58149181 markings, 131781332 edges, 699522 markings/sec, 65 secs
lola: 61624565 markings, 140798422 edges, 695077 markings/sec, 70 secs
lola: 65120870 markings, 149871229 edges, 699261 markings/sec, 75 secs
lola: 68623227 markings, 158960645 edges, 700471 markings/sec, 80 secs
lola: 72163004 markings, 168148333 edges, 707955 markings/sec, 85 secs
lola: 75775857 markings, 177525590 edges, 722571 markings/sec, 90 secs
lola: 79385354 markings, 186895303 edges, 721899 markings/sec, 95 secs
lola: 82996435 markings, 196271748 edges, 722216 markings/sec, 100 secs
lola: 86567675 markings, 205551932 edges, 714248 markings/sec, 105 secs
lola: 90120001 markings, 214788482 edges, 710465 markings/sec, 110 secs
lola: 93684563 markings, 224062041 edges, 712912 markings/sec, 115 secs
lola: 97267695 markings, 233393502 edges, 716626 markings/sec, 120 secs
lola: 100838271 markings, 242700457 edges, 714115 markings/sec, 125 secs
lola: 104413038 markings, 252030795 edges, 714953 markings/sec, 130 secs
lola: 107985221 markings, 261360809 edges, 714437 markings/sec, 135 secs
lola: 111551489 markings, 270684506 edges, 713254 markings/sec, 140 secs
lola: 115129969 markings, 280049015 edges, 715696 markings/sec, 145 secs
lola: 118703101 markings, 289403042 edges, 714626 markings/sec, 150 secs
lola: 122279237 markings, 298778011 edges, 715227 markings/sec, 155 secs
lola: 125676928 markings, 307572186 edges, 679538 markings/sec, 160 secs
lola: 129010787 markings, 316213952 edges, 666772 markings/sec, 165 secs
lola: 132344633 markings, 324859100 edges, 666769 markings/sec, 170 secs
lola: 135700458 markings, 333563058 edges, 671165 markings/sec, 175 secs
lola: 139059023 markings, 342274530 edges, 671713 markings/sec, 180 secs
lola: 142427544 markings, 351013057 edges, 673704 markings/sec, 185 secs
lola: 145807322 markings, 359782504 edges, 675956 markings/sec, 190 secs
lola: 149201460 markings, 368596563 edges, 678828 markings/sec, 195 secs
lola: 152631844 markings, 377512163 edges, 686077 markings/sec, 200 secs
lola: 156071989 markings, 386461378 edges, 688029 markings/sec, 205 secs
lola: 159488126 markings, 395361297 edges, 683227 markings/sec, 210 secs
lola: 162903478 markings, 404270186 edges, 683070 markings/sec, 215 secs
lola: 166410868 markings, 413431218 edges, 701478 markings/sec, 220 secs
lola: 169927740 markings, 422627425 edges, 703374 markings/sec, 225 secs
lola: 173430942 markings, 431799760 edges, 700640 markings/sec, 230 secs
lola: 177160651 markings, 440967815 edges, 745942 markings/sec, 235 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 604 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: 4475931 markings, 9625997 edges, 895186 markings/sec, 0 secs
lola: 8824925 markings, 19028821 edges, 869799 markings/sec, 5 secs
lola: 13106810 markings, 28390852 edges, 856377 markings/sec, 10 secs
lola: 16152764 markings, 35012846 edges, 609191 markings/sec, 15 secs
lola: 19296939 markings, 41846806 edges, 628835 markings/sec, 20 secs
lola: 22513491 markings, 48833818 edges, 643310 markings/sec, 25 secs
lola: 25703115 markings, 55771780 edges, 637925 markings/sec, 30 secs
lola: 29140746 markings, 63245630 edges, 687526 markings/sec, 35 secs
lola: 32494110 markings, 70529393 edges, 670673 markings/sec, 40 secs
lola: 36219172 markings, 78631936 edges, 745012 markings/sec, 45 secs
lola: 40202442 markings, 87316346 edges, 796654 markings/sec, 50 secs
lola: 43895000 markings, 95371705 edges, 738512 markings/sec, 55 secs
lola: 47931406 markings, 104176983 edges, 807281 markings/sec, 60 secs
lola: 51953157 markings, 112952861 edges, 804350 markings/sec, 65 secs
lola: 55977929 markings, 121733590 edges, 804954 markings/sec, 70 secs
lola: 59999061 markings, 130507620 edges, 804226 markings/sec, 75 secs
lola: 64058294 markings, 139370663 edges, 811847 markings/sec, 80 secs
lola: 68153776 markings, 148316598 edges, 819096 markings/sec, 85 secs
lola: 72257912 markings, 157286498 edges, 820827 markings/sec, 90 secs
lola: 76361745 markings, 166261238 edges, 820767 markings/sec, 95 secs
lola: 80481345 markings, 175273407 edges, 823920 markings/sec, 100 secs
lola: 84588122 markings, 184266823 edges, 821355 markings/sec, 105 secs
lola: 88713454 markings, 193303619 edges, 825066 markings/sec, 110 secs
lola: 91193117 markings, 199672036 edges, 495933 markings/sec, 115 secs
lola: 93867049 markings, 206587848 edges, 534786 markings/sec, 120 secs
lola: 96350198 markings, 213010153 edges, 496630 markings/sec, 125 secs
lola: 99049606 markings, 219991860 edges, 539882 markings/sec, 130 secs
lola: 101604494 markings, 226600018 edges, 510978 markings/sec, 135 secs
lola: 104137931 markings, 233153388 edges, 506687 markings/sec, 140 secs
lola: 106980736 markings, 240504455 edges, 568561 markings/sec, 145 secs
lola: 109935929 markings, 248152209 edges, 591039 markings/sec, 150 secs
lola: 112667218 markings, 255223333 edges, 546258 markings/sec, 155 secs
lola: 115395289 markings, 262275473 edges, 545614 markings/sec, 160 secs
lola: 118865381 markings, 270165415 edges, 694018 markings/sec, 165 secs
lola: 122562232 markings, 278278977 edges, 739370 markings/sec, 170 secs
lola: 125964906 markings, 285748933 edges, 680535 markings/sec, 175 secs
lola: 129695420 markings, 293938571 edges, 746103 markings/sec, 180 secs
lola: 133425901 markings, 302126633 edges, 746096 markings/sec, 185 secs
lola: 137184128 markings, 310381250 edges, 751645 markings/sec, 190 secs
lola: 141062387 markings, 318905268 edges, 775652 markings/sec, 195 secs
lola: 144935515 markings, 327422248 edges, 774626 markings/sec, 200 secs
lola: 148756342 markings, 335831680 edges, 764165 markings/sec, 205 secs
lola: 152583727 markings, 344265280 edges, 765477 markings/sec, 210 secs
lola: 156476084 markings, 352842889 edges, 778471 markings/sec, 215 secs
lola: 160135530 markings, 360806504 edges, 731889 markings/sec, 220 secs
lola: 163192551 markings, 367395556 edges, 611404 markings/sec, 225 secs
lola: 166190105 markings, 373876387 edges, 599511 markings/sec, 230 secs
lola: 169169736 markings, 380289316 edges, 595926 markings/sec, 235 secs
lola: 172122617 markings, 386688134 edges, 590576 markings/sec, 240 secs
lola: 175077050 markings, 393087320 edges, 590887 markings/sec, 245 secs
lola: 177494411 markings, 398338375 edges, 483472 markings/sec, 250 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 951 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Ru5P)
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: 4974736 markings, 7635205 edges, 994947 markings/sec, 0 secs
lola: 9174573 markings, 14137786 edges, 839967 markings/sec, 5 secs
lola: 13481815 markings, 20699532 edges, 861448 markings/sec, 10 secs
lola: 17718710 markings, 27104390 edges, 847379 markings/sec, 15 secs
lola: 21984772 markings, 33557124 edges, 853212 markings/sec, 20 secs
lola: 26361599 markings, 40129044 edges, 875365 markings/sec, 25 secs
lola: 30575401 markings, 46517660 edges, 842760 markings/sec, 30 secs
lola: 34819892 markings, 52879666 edges, 848898 markings/sec, 35 secs
lola: 39067904 markings, 59289376 edges, 849602 markings/sec, 40 secs
lola: 43398900 markings, 65826587 edges, 866199 markings/sec, 45 secs
lola: 47562619 markings, 72138555 edges, 832744 markings/sec, 50 secs
lola: 51763104 markings, 78465922 edges, 840097 markings/sec, 55 secs
lola: 56079526 markings, 84941695 edges, 863284 markings/sec, 60 secs
lola: 60325163 markings, 91378361 edges, 849127 markings/sec, 65 secs
lola: 63840814 markings, 96690087 edges, 703130 markings/sec, 70 secs
lola: 68003525 markings, 102937878 edges, 832542 markings/sec, 75 secs
lola: 72292838 markings, 109390064 edges, 857863 markings/sec, 80 secs
lola: 76519037 markings, 115794327 edges, 845240 markings/sec, 85 secs
lola: 80721006 markings, 122110890 edges, 840394 markings/sec, 90 secs
lola: 84479964 markings, 127808815 edges, 751792 markings/sec, 95 secs
lola: 88739502 markings, 134199720 edges, 851908 markings/sec, 100 secs
lola: 92941535 markings, 140573998 edges, 840407 markings/sec, 105 secs
lola: 97140749 markings, 146890754 edges, 839843 markings/sec, 110 secs
lola: 101355149 markings, 153222482 edges, 842880 markings/sec, 115 secs
lola: 105574192 markings, 159623944 edges, 843809 markings/sec, 120 secs
lola: 109779092 markings, 165952550 edges, 840980 markings/sec, 125 secs
lola: 114081430 markings, 172417662 edges, 860468 markings/sec, 130 secs
lola: 118286642 markings, 178798940 edges, 841042 markings/sec, 135 secs
lola: 122479937 markings, 185116385 edges, 838659 markings/sec, 140 secs
lola: 126730219 markings, 191496843 edges, 850056 markings/sec, 145 secs
lola: 130829549 markings, 197718584 edges, 819866 markings/sec, 150 secs
lola: 134908415 markings, 203862570 edges, 815773 markings/sec, 155 secs
lola: 139054913 markings, 210082350 edges, 829300 markings/sec, 160 secs
lola: 143167112 markings, 216326293 edges, 822440 markings/sec, 165 secs
lola: 147397595 markings, 222697822 edges, 846097 markings/sec, 170 secs
lola: 151743035 markings, 229231042 edges, 869088 markings/sec, 175 secs
lola: 156004259 markings, 235642294 edges, 852245 markings/sec, 180 secs
lola: 160389008 markings, 242258838 edges, 876950 markings/sec, 185 secs
lola: 164668061 markings, 248731741 edges, 855811 markings/sec, 190 secs
lola: 168963387 markings, 255180585 edges, 859065 markings/sec, 195 secs
lola: 173212493 markings, 261630178 edges, 849821 markings/sec, 200 secs
lola: 177432295 markings, 267996182 edges, 843960 markings/sec, 205 secs
lola: 181755314 markings, 274500454 edges, 864604 markings/sec, 210 secs
lola: 185991558 markings, 280887346 edges, 847249 markings/sec, 215 secs
lola: 190290889 markings, 287358126 edges, 859866 markings/sec, 220 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown 2000 unknown unknown unknown unknown unknown unknown 407 2000 2000 unknown unknown unknown
FORMULA GPPP-PT-C1000N0000000100-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000000100-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000000100-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000000100-UpperBounds-3 2000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000000100-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000000100-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000000100-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000000100-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000000100-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000000100-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000000100-UpperBounds-10 407 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000000100-UpperBounds-11 2000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000000100-UpperBounds-12 2000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000000100-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000000100-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000000100-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494727938483
--------------------
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-C1000N0000000100"
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-C1000N0000000100.tgz
mv GPPP-PT-C1000N0000000100 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-C1000N0000000100, 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-149440264500578"
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 ;