Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_GPPP-PT-C1000N0000000100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612600578
=====================================================================

--------------------
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 1496398836355


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


checking for too many tokens
===========================================================================================
S_GPPP-PT-C1000N0000000100: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 4214348 markings, 9190012 edges, 842870 markings/sec, 0 secs
lola: 8311293 markings, 18165523 edges, 819389 markings/sec, 5 secs
lola: 12494082 markings, 27335723 edges, 836558 markings/sec, 10 secs
lola: 16544739 markings, 36219024 edges, 810131 markings/sec, 15 secs
lola: 20648805 markings, 45222332 edges, 820813 markings/sec, 20 secs
lola: 24745595 markings, 54224017 edges, 819358 markings/sec, 25 secs
lola: 28843941 markings, 63252700 edges, 819669 markings/sec, 30 secs
lola: 32926958 markings, 72276114 edges, 816603 markings/sec, 35 secs
lola: 36979499 markings, 81269456 edges, 810508 markings/sec, 40 secs
lola: 41010240 markings, 90246714 edges, 806148 markings/sec, 45 secs
lola: 45028629 markings, 99229041 edges, 803678 markings/sec, 50 secs
lola: 49002481 markings, 108148258 edges, 794770 markings/sec, 55 secs
lola: 52514803 markings, 117169153 edges, 702464 markings/sec, 60 secs
lola: 55965047 markings, 126115869 edges, 690049 markings/sec, 65 secs
lola: 59403037 markings, 135034393 edges, 687598 markings/sec, 70 secs
lola: 62863070 markings, 144011994 edges, 692007 markings/sec, 75 secs
lola: 66324527 markings, 152994720 edges, 692291 markings/sec, 80 secs
lola: 69817764 markings, 162060986 edges, 698647 markings/sec, 85 secs
lola: 73322599 markings, 171157739 edges, 700967 markings/sec, 90 secs
lola: 76827599 markings, 180255357 edges, 701000 markings/sec, 95 secs
lola: 80346569 markings, 189390424 edges, 703794 markings/sec, 100 secs
lola: 83863087 markings, 198523350 edges, 703304 markings/sec, 105 secs
lola: 87408831 markings, 207738569 edges, 709149 markings/sec, 110 secs
lola: 90964443 markings, 216984859 edges, 711122 markings/sec, 115 secs
lola: 94535139 markings, 226275981 edges, 714139 markings/sec, 120 secs
lola: 98116421 markings, 235605255 edges, 716256 markings/sec, 125 secs
lola: 101677763 markings, 244890475 edges, 712268 markings/sec, 130 secs
lola: 105259647 markings, 254241898 edges, 716377 markings/sec, 135 secs
lola: 108843545 markings, 263604488 edges, 716780 markings/sec, 140 secs
lola: 112389799 markings, 272878436 edges, 709251 markings/sec, 145 secs
lola: 115979746 markings, 282272198 edges, 717989 markings/sec, 150 secs
lola: 119552672 markings, 291629766 edges, 714585 markings/sec, 155 secs
lola: 123102389 markings, 300906306 edges, 709943 markings/sec, 160 secs
lola: 126455715 markings, 309590402 edges, 670665 markings/sec, 165 secs
lola: 129775240 markings, 318196448 edges, 663905 markings/sec, 170 secs
lola: 133099978 markings, 326818214 edges, 664948 markings/sec, 175 secs
lola: 136456904 markings, 335524855 edges, 671385 markings/sec, 180 secs
lola: 139825114 markings, 344261817 edges, 673642 markings/sec, 185 secs
lola: 143198564 markings, 353013647 edges, 674690 markings/sec, 190 secs
lola: 146586412 markings, 361804803 edges, 677570 markings/sec, 195 secs
lola: 149993956 markings, 370655633 edges, 681509 markings/sec, 200 secs
lola: 153413348 markings, 379544225 edges, 683878 markings/sec, 205 secs
lola: 156843274 markings, 388469861 edges, 685985 markings/sec, 210 secs
lola: 160268204 markings, 397395632 edges, 684986 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: 5022292 markings, 7706516 edges, 1004458 markings/sec, 0 secs
lola: 9430703 markings, 14542784 edges, 881682 markings/sec, 5 secs
lola: 13915131 markings, 21364477 edges, 896886 markings/sec, 10 secs
lola: 18320483 markings, 28035114 edges, 881070 markings/sec, 15 secs
lola: 22861079 markings, 34846679 edges, 908119 markings/sec, 20 secs
lola: 27263018 markings, 41526367 edges, 880388 markings/sec, 25 secs
lola: 31652951 markings, 48126670 edges, 877987 markings/sec, 30 secs
lola: 36087389 markings, 54789248 edges, 886888 markings/sec, 35 secs
lola: 40433135 markings, 61377431 edges, 869149 markings/sec, 40 secs
lola: 44763924 markings, 67881694 edges, 866158 markings/sec, 45 secs
lola: 49142924 markings, 74473497 edges, 875800 markings/sec, 50 secs
lola: 53499395 markings, 81072343 edges, 871294 markings/sec, 55 secs
lola: 57764952 markings, 87500839 edges, 853111 markings/sec, 60 secs
lola: 62001404 markings, 93906502 edges, 847290 markings/sec, 65 secs
lola: 66388384 markings, 100496550 edges, 877396 markings/sec, 70 secs
lola: 70637412 markings, 106934581 edges, 849806 markings/sec, 75 secs
lola: 74873813 markings, 113332058 edges, 847280 markings/sec, 80 secs
lola: 79237720 markings, 119873737 edges, 872781 markings/sec, 85 secs
lola: 83456236 markings, 126276473 edges, 843703 markings/sec, 90 secs
lola: 87704039 markings, 132670627 edges, 849561 markings/sec, 95 secs
lola: 92046041 markings, 139188222 edges, 868400 markings/sec, 100 secs
lola: 96268380 markings, 145597795 edges, 844468 markings/sec, 105 secs
lola: 100501286 markings, 151973106 edges, 846581 markings/sec, 110 secs
lola: 104843717 markings, 158491335 edges, 868486 markings/sec, 115 secs
lola: 109043225 markings, 164861553 edges, 839902 markings/sec, 120 secs
lola: 113215499 markings, 171154032 edges, 834455 markings/sec, 125 secs
lola: 117511817 markings, 177597242 edges, 859264 markings/sec, 130 secs
lola: 121700261 markings, 183940994 edges, 837689 markings/sec, 135 secs
lola: 125885820 markings, 190253677 edges, 837112 markings/sec, 140 secs
lola: 130237621 markings, 196794909 edges, 870360 markings/sec, 145 secs
lola: 134420759 markings, 203097859 edges, 836628 markings/sec, 150 secs
lola: 138729983 markings, 209586764 edges, 861845 markings/sec, 155 secs
lola: 143036177 markings, 216122302 edges, 861239 markings/sec, 160 secs
lola: 147327549 markings, 222597884 edges, 858274 markings/sec, 165 secs
lola: 151796045 markings, 229316388 edges, 893699 markings/sec, 170 secs
lola: 156138663 markings, 235868325 edges, 868524 markings/sec, 175 secs
lola: 160544110 markings, 242496024 edges, 881089 markings/sec, 180 secs
lola: 164814279 markings, 248939931 edges, 854034 markings/sec, 185 secs
lola: 168619547 markings, 254697854 edges, 761054 markings/sec, 190 secs
lola: 172802459 markings, 260992050 edges, 836582 markings/sec, 195 secs
lola: 176821115 markings, 267043405 edges, 803731 markings/sec, 200 secs
lola: 181087079 markings, 273471256 edges, 853193 markings/sec, 205 secs
lola: 185289187 markings, 279844356 edges, 840422 markings/sec, 210 secs
lola: 189489997 markings, 286153361 edges, 840162 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 5003345 markings, 7678870 edges, 1000669 markings/sec, 0 secs
lola: 9361300 markings, 14448539 edges, 871591 markings/sec, 5 secs
lola: 13840547 markings, 21253108 edges, 895849 markings/sec, 10 secs
lola: 18224813 markings, 27890139 edges, 876853 markings/sec, 15 secs
lola: 22688591 markings, 34585234 edges, 892756 markings/sec, 20 secs
lola: 27031621 markings, 41167846 edges, 868606 markings/sec, 25 secs
lola: 31356755 markings, 47663784 edges, 865027 markings/sec, 30 secs
lola: 35651245 markings, 54146620 edges, 858898 markings/sec, 35 secs
lola: 40071749 markings, 60809652 edges, 884101 markings/sec, 40 secs
lola: 44324995 markings, 67248406 edges, 850649 markings/sec, 45 secs
lola: 48598691 markings, 73704795 edges, 854739 markings/sec, 50 secs
lola: 52960093 markings, 80240139 edges, 872280 markings/sec, 55 secs
lola: 57185151 markings, 86647608 edges, 845012 markings/sec, 60 secs
lola: 61383902 markings, 92940809 edges, 839750 markings/sec, 65 secs
lola: 65626883 markings, 99333675 edges, 848596 markings/sec, 70 secs
lola: 69889968 markings, 105789685 edges, 852617 markings/sec, 75 secs
lola: 74081237 markings, 112111447 edges, 838254 markings/sec, 80 secs
lola: 78262740 markings, 118433483 edges, 836301 markings/sec, 85 secs
lola: 82548067 markings, 124867553 edges, 857065 markings/sec, 90 secs
lola: 86722854 markings, 131201363 edges, 834957 markings/sec, 95 secs
lola: 90901062 markings, 137493056 edges, 835642 markings/sec, 100 secs
lola: 95201999 markings, 143946393 edges, 860187 markings/sec, 105 secs
lola: 99413635 markings, 150340731 edges, 842327 markings/sec, 110 secs
lola: 103632020 markings, 156694364 edges, 843677 markings/sec, 115 secs
lola: 107920307 markings, 163129036 edges, 857657 markings/sec, 120 secs
lola: 112047281 markings, 169392929 edges, 825395 markings/sec, 125 secs
lola: 116198099 markings, 175642494 edges, 830164 markings/sec, 130 secs
lola: 120434457 markings, 182000377 edges, 847272 markings/sec, 135 secs
lola: 124568183 markings, 188275427 edges, 826745 markings/sec, 140 secs
lola: 128660760 markings, 194433885 edges, 818515 markings/sec, 145 secs
lola: 132856211 markings, 200734148 edges, 839090 markings/sec, 150 secs
lola: 136992176 markings, 207012810 edges, 827193 markings/sec, 155 secs
lola: 141140874 markings, 213262852 edges, 829740 markings/sec, 160 secs
lola: 145407005 markings, 219667945 edges, 853226 markings/sec, 165 secs
lola: 149655436 markings, 226082606 edges, 849686 markings/sec, 170 secs
lola: 154011432 markings, 232633633 edges, 871199 markings/sec, 175 secs
lola: 158269972 markings, 239098891 edges, 851708 markings/sec, 180 secs
lola: 162455533 markings, 245413471 edges, 837112 markings/sec, 185 secs
lola: 166731425 markings, 251828533 edges, 855178 markings/sec, 190 secs
lola: 170850099 markings, 258037896 edges, 823735 markings/sec, 195 secs
lola: 175065905 markings, 264387316 edges, 843161 markings/sec, 200 secs
lola: 179177861 markings, 270629238 edges, 822391 markings/sec, 205 secs
lola: 183316404 markings, 276871965 edges, 827709 markings/sec, 210 secs
lola: 187540859 markings, 283216115 edges, 844891 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: 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: ========================================
lola: 3744212 markings, 8916321 edges, 748842 markings/sec, 0 secs
lola: 7033273 markings, 17619085 edges, 657812 markings/sec, 5 secs
lola: 10031019 markings, 26510861 edges, 599549 markings/sec, 10 secs
lola: 13259451 markings, 34583543 edges, 645686 markings/sec, 15 secs
lola: 16369055 markings, 42359451 edges, 621921 markings/sec, 20 secs
lola: 19230541 markings, 50256779 edges, 572297 markings/sec, 25 secs
lola: 21542469 markings, 58149888 edges, 462386 markings/sec, 30 secs
lola: 24371889 markings, 66527141 edges, 565884 markings/sec, 35 secs
lola: 27378261 markings, 74048721 edges, 601274 markings/sec, 40 secs
lola: 30396715 markings, 81602075 edges, 603691 markings/sec, 45 secs
lola: 32075284 markings, 88308445 edges, 335714 markings/sec, 50 secs
lola: 33484802 markings, 93938837 edges, 281904 markings/sec, 55 secs
lola: 35580516 markings, 100205638 edges, 419143 markings/sec, 60 secs
lola: 38161373 markings, 106650218 edges, 516171 markings/sec, 65 secs
lola: 40758492 markings, 113669899 edges, 519424 markings/sec, 70 secs
lola: 42961430 markings, 120763845 edges, 440588 markings/sec, 75 secs
lola: 44894181 markings, 127829722 edges, 386550 markings/sec, 80 secs
lola: 46853642 markings, 134874542 edges, 391892 markings/sec, 85 secs
lola: 48936169 markings, 141711376 edges, 416505 markings/sec, 90 secs
lola: 50904792 markings, 149157479 edges, 393725 markings/sec, 95 secs
lola: 53011511 markings, 156735741 edges, 421344 markings/sec, 100 secs
lola: 55259326 markings, 164827292 edges, 449563 markings/sec, 105 secs
lola: 57360952 markings, 171977394 edges, 420325 markings/sec, 110 secs
lola: 58997110 markings, 179276225 edges, 327232 markings/sec, 115 secs
lola: 60732627 markings, 186820141 edges, 347103 markings/sec, 120 secs
lola: 62902529 markings, 194302897 edges, 433980 markings/sec, 125 secs
lola: 64982819 markings, 200806993 edges, 416058 markings/sec, 130 secs
lola: 67105965 markings, 207815438 edges, 424629 markings/sec, 135 secs
lola: 69270613 markings, 214233274 edges, 432930 markings/sec, 140 secs
lola: 71371214 markings, 221482198 edges, 420120 markings/sec, 145 secs
lola: 73586526 markings, 227726432 edges, 443062 markings/sec, 150 secs
lola: 75537186 markings, 234901207 edges, 390132 markings/sec, 155 secs
lola: 77881064 markings, 241306894 edges, 468776 markings/sec, 160 secs
lola: 79793373 markings, 248542576 edges, 382462 markings/sec, 165 secs
lola: 82248318 markings, 255163726 edges, 490989 markings/sec, 170 secs
lola: 84128654 markings, 262133823 edges, 376067 markings/sec, 175 secs
lola: 86534786 markings, 270027583 edges, 481226 markings/sec, 180 secs
lola: 89328072 markings, 278110430 edges, 558657 markings/sec, 185 secs
lola: 92301813 markings, 285558673 edges, 594748 markings/sec, 190 secs
lola: 94607824 markings, 292592962 edges, 461202 markings/sec, 195 secs
lola: 96218535 markings, 299028002 edges, 322142 markings/sec, 200 secs
lola: 98085072 markings, 306094442 edges, 373307 markings/sec, 205 secs
lola: 100073186 markings, 313603911 edges, 397623 markings/sec, 210 secs
lola: 102133256 markings, 321392950 edges, 412014 markings/sec, 215 secs
lola: 104218063 markings, 329278534 edges, 416961 markings/sec, 220 secs
lola: 106375634 markings, 336730168 edges, 431514 markings/sec, 225 secs
lola: 107844064 markings, 343139335 edges, 293686 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: 4303273 markings, 9384849 edges, 860655 markings/sec, 0 secs
lola: 8532409 markings, 18650253 edges, 845827 markings/sec, 5 secs
lola: 12731562 markings, 27856359 edges, 839831 markings/sec, 10 secs
lola: 16978241 markings, 37169836 edges, 849336 markings/sec, 15 secs
lola: 21182471 markings, 46393350 edges, 840846 markings/sec, 20 secs
lola: 25386079 markings, 55633683 edges, 840722 markings/sec, 25 secs
lola: 29541439 markings, 64791601 edges, 831072 markings/sec, 30 secs
lola: 33675814 markings, 73935536 edges, 826875 markings/sec, 35 secs
lola: 37805761 markings, 83106253 edges, 825989 markings/sec, 40 secs
lola: 41932269 markings, 92306860 edges, 825302 markings/sec, 45 secs
lola: 46011134 markings, 101431559 edges, 815773 markings/sec, 50 secs
lola: 49982811 markings, 110611583 edges, 794335 markings/sec, 55 secs
lola: 53514343 markings, 119760684 edges, 706306 markings/sec, 60 secs
lola: 57023787 markings, 128862034 edges, 701889 markings/sec, 65 secs
lola: 60516387 markings, 137922840 edges, 698520 markings/sec, 70 secs
lola: 64001145 markings, 146965148 edges, 696952 markings/sec, 75 secs
lola: 67494266 markings, 156030698 edges, 698624 markings/sec, 80 secs
lola: 70991039 markings, 165106021 edges, 699355 markings/sec, 85 secs
lola: 74494569 markings, 174199993 edges, 700706 markings/sec, 90 secs
lola: 78019778 markings, 183349996 edges, 705042 markings/sec, 95 secs
lola: 81561013 markings, 192543566 edges, 708247 markings/sec, 100 secs
lola: 85106927 markings, 201755334 edges, 709183 markings/sec, 105 secs
lola: 88661241 markings, 210994992 edges, 710863 markings/sec, 110 secs
lola: 92220417 markings, 220252552 edges, 711835 markings/sec, 115 secs
lola: 95839803 markings, 229673824 edges, 723877 markings/sec, 120 secs
lola: 99429319 markings, 239026227 edges, 717903 markings/sec, 125 secs
lola: 103047959 markings, 248466498 edges, 723728 markings/sec, 130 secs
lola: 106642349 markings, 257850449 edges, 718878 markings/sec, 135 secs
lola: 110248163 markings, 267274137 edges, 721163 markings/sec, 140 secs
lola: 113861795 markings, 276728322 edges, 722726 markings/sec, 145 secs
lola: 117457600 markings, 286140053 edges, 719161 markings/sec, 150 secs
lola: 121043857 markings, 295539115 edges, 717251 markings/sec, 155 secs
lola: 124603506 markings, 304791435 edges, 711930 markings/sec, 160 secs
lola: 127972206 markings, 313521672 edges, 673740 markings/sec, 165 secs
lola: 131312494 markings, 322182424 edges, 668058 markings/sec, 170 secs
lola: 134688685 markings, 330938450 edges, 675238 markings/sec, 175 secs
lola: 138059908 markings, 339683008 edges, 674245 markings/sec, 180 secs
lola: 141414105 markings, 348383880 edges, 670839 markings/sec, 185 secs
lola: 144806443 markings, 357184545 edges, 678468 markings/sec, 190 secs
lola: 148189298 markings, 365967350 edges, 676571 markings/sec, 195 secs
lola: 151593690 markings, 374813372 edges, 680878 markings/sec, 200 secs
lola: 155015866 markings, 383712721 edges, 684435 markings/sec, 205 secs
lola: 158460376 markings, 392682586 edges, 688902 markings/sec, 210 secs
lola: 161911874 markings, 401683397 edges, 690300 markings/sec, 215 secs
lola: 165333584 markings, 410616512 edges, 684342 markings/sec, 220 secs
lola: 168759792 markings, 419572649 edges, 685242 markings/sec, 225 secs
lola: 172173492 markings, 428507623 edges, 682740 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: 4926992 markings, 7562375 edges, 985398 markings/sec, 0 secs
lola: 9305228 markings, 14362007 edges, 875647 markings/sec, 5 secs
lola: 13665529 markings, 20983970 edges, 872060 markings/sec, 10 secs
lola: 17955424 markings, 27450165 edges, 857979 markings/sec, 15 secs
lola: 22417129 markings, 34168586 edges, 892341 markings/sec, 20 secs
lola: 26780828 markings, 40776664 edges, 872740 markings/sec, 25 secs
lola: 31081444 markings, 47264194 edges, 860123 markings/sec, 30 secs
lola: 35327796 markings, 53689656 edges, 849270 markings/sec, 35 secs
lola: 39693735 markings, 60233683 edges, 873188 markings/sec, 40 secs
lola: 43697000 markings, 66294946 edges, 800653 markings/sec, 45 secs
lola: 47885557 markings, 72599807 edges, 837711 markings/sec, 50 secs
lola: 51958739 markings, 78771694 edges, 814636 markings/sec, 55 secs
lola: 55561268 markings, 84178994 edges, 720506 markings/sec, 60 secs
lola: 59522011 markings, 90135725 edges, 792149 markings/sec, 65 secs
lola: 63639672 markings, 96380983 edges, 823532 markings/sec, 70 secs
lola: 67805743 markings, 102634389 edges, 833214 markings/sec, 75 secs
lola: 71964877 markings, 108915344 edges, 831827 markings/sec, 80 secs
lola: 76292533 markings, 115436801 edges, 865531 markings/sec, 85 secs
lola: 80484362 markings, 121776442 edges, 838366 markings/sec, 90 secs
lola: 84637789 markings, 128053759 edges, 830685 markings/sec, 95 secs
lola: 88990166 markings, 134583217 edges, 870475 markings/sec, 100 secs
lola: 93166531 markings, 140917103 edges, 835273 markings/sec, 105 secs
lola: 97300746 markings, 147143993 edges, 826843 markings/sec, 110 secs
lola: 101574205 markings, 153556929 edges, 854692 markings/sec, 115 secs
lola: 105744737 markings, 159888666 edges, 834106 markings/sec, 120 secs
lola: 109904533 markings, 166150145 edges, 831959 markings/sec, 125 secs
lola: 114123690 markings, 172481780 edges, 843831 markings/sec, 130 secs
lola: 118254463 markings, 178747772 edges, 826155 markings/sec, 135 secs
lola: 122480263 markings, 185116944 edges, 845160 markings/sec, 140 secs
lola: 126788395 markings, 191585197 edges, 861626 markings/sec, 145 secs
lola: 130987255 markings, 197950412 edges, 839772 markings/sec, 150 secs
lola: 135086761 markings, 204136054 edges, 819901 markings/sec, 155 secs
lola: 139369567 markings, 210562414 edges, 856561 markings/sec, 160 secs
lola: 143611908 markings, 216963075 edges, 848468 markings/sec, 165 secs
lola: 147951369 markings, 223494049 edges, 867892 markings/sec, 170 secs
lola: 152211883 markings, 229962411 edges, 852103 markings/sec, 175 secs
lola: 156223303 markings, 235999736 edges, 802284 markings/sec, 180 secs
lola: 160292685 markings, 242110914 edges, 813876 markings/sec, 185 secs
lola: 164436656 markings, 248401832 edges, 828794 markings/sec, 190 secs
lola: 168620562 markings, 254699357 edges, 836781 markings/sec, 195 secs
lola: 172979359 markings, 261269193 edges, 871759 markings/sec, 200 secs
lola: 177149633 markings, 267551919 edges, 834055 markings/sec, 205 secs
lola: 180800791 markings, 273032750 edges, 730232 markings/sec, 210 secs
lola: 184457358 markings, 278560818 edges, 731313 markings/sec, 215 secs
lola: 188498881 markings, 284663069 edges, 808305 markings/sec, 220 secs
lola: 192605936 markings, 290838080 edges, 821411 markings/sec, 225 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: 4891498 markings, 8846312 edges, 978300 markings/sec, 0 secs
lola: 9875345 markings, 17849919 edges, 996769 markings/sec, 5 secs
lola: 14002074 markings, 25289753 edges, 825346 markings/sec, 10 secs
lola: 17648211 markings, 31871920 edges, 729227 markings/sec, 15 secs
lola: 21565714 markings, 38950284 edges, 783501 markings/sec, 20 secs
lola: 25519251 markings, 46093196 edges, 790707 markings/sec, 25 secs
lola: 29448410 markings, 53211256 edges, 785832 markings/sec, 30 secs
lola: 33401885 markings, 60338602 edges, 790695 markings/sec, 35 secs
lola: 37227710 markings, 67257323 edges, 765165 markings/sec, 40 secs
lola: 41130129 markings, 74289792 edges, 780484 markings/sec, 45 secs
lola: 45128215 markings, 81526784 edges, 799617 markings/sec, 50 secs
lola: 49113088 markings, 88745649 edges, 796975 markings/sec, 55 secs
lola: 53153771 markings, 96028215 edges, 808137 markings/sec, 60 secs
lola: 56931125 markings, 102835407 edges, 755471 markings/sec, 65 secs
lola: 60926971 markings, 110118528 edges, 799169 markings/sec, 70 secs
lola: 64945067 markings, 117354242 edges, 803619 markings/sec, 75 secs
lola: 68915349 markings, 124543875 edges, 794056 markings/sec, 80 secs
lola: 72935717 markings, 131798327 edges, 804074 markings/sec, 85 secs
lola: 76931209 markings, 139038397 edges, 799098 markings/sec, 90 secs
lola: 80883694 markings, 146159230 edges, 790497 markings/sec, 95 secs
lola: 84873747 markings, 153398856 edges, 798011 markings/sec, 100 secs
lola: 88640806 markings, 160171350 edges, 753412 markings/sec, 105 secs
lola: 92598099 markings, 167345682 edges, 791459 markings/sec, 110 secs
lola: 96521139 markings, 174422074 edges, 784608 markings/sec, 115 secs
lola: 100126058 markings, 180913524 edges, 720984 markings/sec, 120 secs
lola: 103839437 markings, 187600418 edges, 742676 markings/sec, 125 secs
lola: 107685139 markings, 194584030 edges, 769140 markings/sec, 130 secs
lola: 111557672 markings, 201604396 edges, 774507 markings/sec, 135 secs
lola: 115461075 markings, 208668684 edges, 780681 markings/sec, 140 secs
lola: 119320473 markings, 215626988 edges, 771880 markings/sec, 145 secs
lola: 123214022 markings, 222636288 edges, 778710 markings/sec, 150 secs
lola: 127045312 markings, 229583776 edges, 766258 markings/sec, 155 secs
lola: 130942145 markings, 236686097 edges, 779367 markings/sec, 160 secs
lola: 134979772 markings, 243932770 edges, 807525 markings/sec, 165 secs
lola: 138738864 markings, 250815826 edges, 751818 markings/sec, 170 secs
lola: 142643100 markings, 257763100 edges, 780847 markings/sec, 175 secs
lola: 146586417 markings, 264962228 edges, 788663 markings/sec, 180 secs
lola: 150570055 markings, 272173241 edges, 796728 markings/sec, 185 secs
lola: 154490317 markings, 279218777 edges, 784052 markings/sec, 190 secs
lola: 158463276 markings, 286430799 edges, 794592 markings/sec, 195 secs
lola: 162459656 markings, 293707624 edges, 799276 markings/sec, 200 secs
lola: 166447931 markings, 300775783 edges, 797655 markings/sec, 205 secs
lola: 170425658 markings, 308023917 edges, 795545 markings/sec, 210 secs
lola: 174175065 markings, 314755609 edges, 749881 markings/sec, 215 secs
lola: 178039392 markings, 321825058 edges, 772865 markings/sec, 220 secs
lola: 179414000 markings, 324225517 edges, 274922 markings/sec, 225 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: 4032557 markings, 8792925 edges, 806511 markings/sec, 0 secs
lola: 7985527 markings, 17451548 edges, 790594 markings/sec, 5 secs
lola: 11965746 markings, 26177219 edges, 796044 markings/sec, 10 secs
lola: 15955240 markings, 34925837 edges, 797899 markings/sec, 15 secs
lola: 19954992 markings, 43700012 edges, 799950 markings/sec, 20 secs
lola: 23952119 markings, 52480053 edges, 799425 markings/sec, 25 secs
lola: 27974822 markings, 61320267 edges, 804541 markings/sec, 30 secs
lola: 32028104 markings, 70229211 edges, 810656 markings/sec, 35 secs
lola: 36061406 markings, 79092801 edges, 806660 markings/sec, 40 secs
lola: 40123024 markings, 88020135 edges, 812324 markings/sec, 45 secs
lola: 44168650 markings, 96910903 edges, 809125 markings/sec, 50 secs
lola: 48091243 markings, 105906173 edges, 784519 markings/sec, 55 secs
lola: 50184508 markings, 112608811 edges, 418653 markings/sec, 60 secs
lola: 52343950 markings, 119500272 edges, 431888 markings/sec, 65 secs
lola: 54511134 markings, 126418226 edges, 433437 markings/sec, 70 secs
lola: 56723422 markings, 133482956 edges, 442458 markings/sec, 75 secs
lola: 58990328 markings, 140722120 edges, 453381 markings/sec, 80 secs
lola: 61291618 markings, 148070851 edges, 460258 markings/sec, 85 secs
lola: 63627741 markings, 155535482 edges, 467225 markings/sec, 90 secs
lola: 65971163 markings, 163012515 edges, 468684 markings/sec, 95 secs
lola: 68340385 markings, 170586133 edges, 473844 markings/sec, 100 secs
lola: 70718484 markings, 178177673 edges, 475620 markings/sec, 105 secs
lola: 73149995 markings, 185946719 edges, 486302 markings/sec, 110 secs
lola: 75583612 markings, 193719530 edges, 486723 markings/sec, 115 secs
lola: 78009706 markings, 201467482 edges, 485219 markings/sec, 120 secs
lola: 80456364 markings, 209278394 edges, 489332 markings/sec, 125 secs
lola: 82915714 markings, 217136906 edges, 491870 markings/sec, 130 secs
lola: 85396831 markings, 225062452 edges, 496223 markings/sec, 135 secs
lola: 87869744 markings, 232961033 edges, 494583 markings/sec, 140 secs
lola: 90340412 markings, 240851819 edges, 494134 markings/sec, 145 secs
lola: 92821696 markings, 248775736 edges, 496257 markings/sec, 150 secs
lola: 95341533 markings, 256827020 edges, 503967 markings/sec, 155 secs
lola: 97833009 markings, 264780846 edges, 498295 markings/sec, 160 secs
lola: 100336245 markings, 272779354 edges, 500647 markings/sec, 165 secs
lola: 102855548 markings, 280827104 edges, 503861 markings/sec, 170 secs
lola: 105382058 markings, 288897519 edges, 505302 markings/sec, 175 secs
lola: 107907777 markings, 296964811 edges, 505144 markings/sec, 180 secs
lola: 110533647 markings, 305352733 edges, 525174 markings/sec, 185 secs
lola: 113198896 markings, 313866421 edges, 533050 markings/sec, 190 secs
lola: 115916999 markings, 322593776 edges, 543621 markings/sec, 195 secs
lola: 118851676 markings, 332246524 edges, 586935 markings/sec, 200 secs
lola: 121139692 markings, 339586497 edges, 457603 markings/sec, 205 secs
lola: 123288543 markings, 346442812 edges, 429770 markings/sec, 210 secs
lola: 125455350 markings, 353350679 edges, 433361 markings/sec, 215 secs
lola: 127669489 markings, 360418224 edges, 442828 markings/sec, 220 secs
lola: 129923966 markings, 367608005 edges, 450895 markings/sec, 225 secs
lola: 132202640 markings, 374876929 edges, 455735 markings/sec, 230 secs
lola: 134497923 markings, 382202419 edges, 459057 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: 4804857 markings, 7377814 edges, 960971 markings/sec, 0 secs
lola: 8876839 markings, 13671603 edges, 814396 markings/sec, 5 secs
lola: 12000957 markings, 18474052 edges, 624824 markings/sec, 10 secs
lola: 16223192 markings, 24836958 edges, 844447 markings/sec, 15 secs
lola: 20214260 markings, 30882841 edges, 798214 markings/sec, 20 secs
lola: 24497698 markings, 37321092 edges, 856688 markings/sec, 25 secs
lola: 28755555 markings, 43767419 edges, 851571 markings/sec, 30 secs
lola: 33158831 markings, 50381354 edges, 880655 markings/sec, 35 secs
lola: 37464741 markings, 56916518 edges, 861182 markings/sec, 40 secs
lola: 41743635 markings, 63346554 edges, 855779 markings/sec, 45 secs
lola: 46080212 markings, 69859787 edges, 867315 markings/sec, 50 secs
lola: 50366955 markings, 76354621 edges, 857349 markings/sec, 55 secs
lola: 54567787 markings, 82669970 edges, 840166 markings/sec, 60 secs
lola: 58736509 markings, 88981468 edges, 833744 markings/sec, 65 secs
lola: 63062265 markings, 95480764 edges, 865151 markings/sec, 70 secs
lola: 67224576 markings, 101797274 edges, 832462 markings/sec, 75 secs
lola: 71428527 markings, 108120557 edges, 840790 markings/sec, 80 secs
lola: 75698625 markings, 114528214 edges, 854020 markings/sec, 85 secs
lola: 79914304 markings, 120923439 edges, 843136 markings/sec, 90 secs
lola: 84092888 markings, 127193335 edges, 835717 markings/sec, 95 secs
lola: 88315821 markings, 133551791 edges, 844587 markings/sec, 100 secs
lola: 92538629 markings, 139948820 edges, 844562 markings/sec, 105 secs
lola: 96665908 markings, 146167987 edges, 825456 markings/sec, 110 secs
lola: 100813762 markings, 152437089 edges, 829571 markings/sec, 115 secs
lola: 105138788 markings, 158940572 edges, 865005 markings/sec, 120 secs
lola: 109258157 markings, 165167922 edges, 823874 markings/sec, 125 secs
lola: 113400255 markings, 171422087 edges, 828420 markings/sec, 130 secs
lola: 117661135 markings, 177822913 edges, 852176 markings/sec, 135 secs
lola: 121759274 markings, 184025053 edges, 819628 markings/sec, 140 secs
lola: 125896717 markings, 190268690 edges, 827489 markings/sec, 145 secs
lola: 130192947 markings, 196725158 edges, 859246 markings/sec, 150 secs
lola: 134322908 markings, 202959355 edges, 825992 markings/sec, 155 secs
lola: 138524751 markings, 209283086 edges, 840369 markings/sec, 160 secs
lola: 142821752 markings, 215788651 edges, 859400 markings/sec, 165 secs
lola: 146989029 markings, 222064553 edges, 833455 markings/sec, 170 secs
lola: 151332325 markings, 228599773 edges, 868659 markings/sec, 175 secs
lola: 155590367 markings, 235045302 edges, 851608 markings/sec, 180 secs
lola: 159804177 markings, 241379656 edges, 842762 markings/sec, 185 secs
lola: 164107977 markings, 247897237 edges, 860760 markings/sec, 190 secs
lola: 168308211 markings, 254232103 edges, 840047 markings/sec, 195 secs
lola: 172633259 markings, 260728190 edges, 865010 markings/sec, 200 secs
lola: 176795822 markings, 267004528 edges, 832513 markings/sec, 205 secs
lola: 181116700 markings, 273515842 edges, 864176 markings/sec, 210 secs
lola: 185314545 markings, 279881064 edges, 839569 markings/sec, 215 secs
lola: 189511571 markings, 286182653 edges, 839405 markings/sec, 220 secs
lola: 193502276 markings, 292218477 edges, 798141 markings/sec, 225 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 242 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: subprocess 11 will run for 290 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(a1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: ========================================
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 362 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: subprocess 13 will run for 482 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: ========================================
lola: 4476606 markings, 9764596 edges, 895321 markings/sec, 0 secs
lola: 8871722 markings, 19394135 edges, 879023 markings/sec, 5 secs
lola: 13235189 markings, 28960660 edges, 872693 markings/sec, 10 secs
lola: 17267418 markings, 37804090 edges, 806446 markings/sec, 15 secs
lola: 21416454 markings, 46906408 edges, 829807 markings/sec, 20 secs
lola: 25774201 markings, 56488059 edges, 871549 markings/sec, 25 secs
lola: 30129491 markings, 66089028 edges, 871058 markings/sec, 30 secs
lola: 34439712 markings, 75629398 edges, 862044 markings/sec, 35 secs
lola: 38628132 markings, 84936011 edges, 837684 markings/sec, 40 secs
lola: 42864437 markings, 94392300 edges, 847261 markings/sec, 45 secs
lola: 47112682 markings, 103906639 edges, 849649 markings/sec, 50 secs
lola: 51046272 markings, 113363997 edges, 786718 markings/sec, 55 secs
lola: 54581001 markings, 122526508 edges, 706946 markings/sec, 60 secs
lola: 58147664 markings, 131777383 edges, 713333 markings/sec, 65 secs
lola: 61723157 markings, 141054001 edges, 715099 markings/sec, 70 secs
lola: 65224129 markings, 150138922 edges, 700194 markings/sec, 75 secs
lola: 68745593 markings, 159277973 edges, 704293 markings/sec, 80 secs
lola: 72301805 markings, 168508354 edges, 711242 markings/sec, 85 secs
lola: 75864311 markings, 177755477 edges, 712501 markings/sec, 90 secs
lola: 79492206 markings, 187172253 edges, 725579 markings/sec, 95 secs
lola: 83093119 markings, 196523027 edges, 720183 markings/sec, 100 secs
lola: 86757526 markings, 206045350 edges, 732881 markings/sec, 105 secs
lola: 90440257 markings, 215621349 edges, 736546 markings/sec, 110 secs
lola: 93947295 markings, 224745809 edges, 701408 markings/sec, 115 secs
lola: 97549463 markings, 234127726 edges, 720434 markings/sec, 120 secs
lola: 101187351 markings, 243611741 edges, 727578 markings/sec, 125 secs
lola: 104785591 markings, 253002541 edges, 719648 markings/sec, 130 secs
lola: 108373227 markings, 262373463 edges, 717527 markings/sec, 135 secs
lola: 112014078 markings, 271891758 edges, 728170 markings/sec, 140 secs
lola: 115606773 markings, 281293967 edges, 718539 markings/sec, 145 secs
lola: 119203827 markings, 290716560 edges, 719411 markings/sec, 150 secs
lola: 122810709 markings, 300152722 edges, 721376 markings/sec, 155 secs
lola: 126211242 markings, 308957149 edges, 680107 markings/sec, 160 secs
lola: 129564080 markings, 317648875 edges, 670568 markings/sec, 165 secs
lola: 132967316 markings, 326474109 edges, 680647 markings/sec, 170 secs
lola: 136351779 markings, 335252314 edges, 676893 markings/sec, 175 secs
lola: 139729814 markings, 344014832 edges, 675607 markings/sec, 180 secs
lola: 143110186 markings, 352784045 edges, 676074 markings/sec, 185 secs
lola: 146440356 markings, 361425663 edges, 666034 markings/sec, 190 secs
lola: 149871618 markings, 370337957 edges, 686252 markings/sec, 195 secs
lola: 153219564 markings, 379040314 edges, 669589 markings/sec, 200 secs
lola: 156714255 markings, 388133432 edges, 698938 markings/sec, 205 secs
lola: 160127064 markings, 397026956 edges, 682562 markings/sec, 210 secs
lola: 163518386 markings, 405874913 edges, 678264 markings/sec, 215 secs
lola: 166853026 markings, 414586623 edges, 666928 markings/sec, 220 secs
lola: 170132527 markings, 423162907 edges, 655900 markings/sec, 225 secs
lola: 173461712 markings, 431882159 edges, 665837 markings/sec, 230 secs
lola: 177029283 markings, 440654251 edges, 713514 markings/sec, 235 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 602 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: 4406743 markings, 9476923 edges, 881349 markings/sec, 0 secs
lola: 8749139 markings, 18864413 edges, 868479 markings/sec, 5 secs
lola: 12953350 markings, 28053065 edges, 840842 markings/sec, 10 secs
lola: 16026990 markings, 34740067 edges, 614728 markings/sec, 15 secs
lola: 19221712 markings, 41683934 edges, 638944 markings/sec, 20 secs
lola: 22522654 markings, 48853834 edges, 660188 markings/sec, 25 secs
lola: 25780023 markings, 55938119 edges, 651474 markings/sec, 30 secs
lola: 29303037 markings, 63602988 edges, 704603 markings/sec, 35 secs
lola: 32725948 markings, 71031161 edges, 684582 markings/sec, 40 secs
lola: 36592902 markings, 79446963 edges, 773391 markings/sec, 45 secs
lola: 40668181 markings, 88331534 edges, 815056 markings/sec, 50 secs
lola: 44703673 markings, 97136152 edges, 807098 markings/sec, 55 secs
lola: 48762844 markings, 105992854 edges, 811834 markings/sec, 60 secs
lola: 52834792 markings, 114872916 edges, 814390 markings/sec, 65 secs
lola: 56903061 markings, 123753430 edges, 813654 markings/sec, 70 secs
lola: 61026622 markings, 132753513 edges, 824712 markings/sec, 75 secs
lola: 65156455 markings, 141770198 edges, 825967 markings/sec, 80 secs
lola: 69309709 markings, 150843248 edges, 830651 markings/sec, 85 secs
lola: 73486822 markings, 159971413 edges, 835423 markings/sec, 90 secs
lola: 77664769 markings, 169111586 edges, 835589 markings/sec, 95 secs
lola: 81838432 markings, 178244668 edges, 834733 markings/sec, 100 secs
lola: 86024609 markings, 187415235 edges, 837235 markings/sec, 105 secs
lola: 89708907 markings, 195835777 edges, 736860 markings/sec, 110 secs
lola: 92271683 markings, 202459781 edges, 512555 markings/sec, 115 secs
lola: 95061445 markings, 209681440 edges, 557952 markings/sec, 120 secs
lola: 97766231 markings, 216672527 edges, 540957 markings/sec, 125 secs
lola: 100608509 markings, 224024957 edges, 568456 markings/sec, 130 secs
lola: 103260803 markings, 230886469 edges, 530459 markings/sec, 135 secs
lola: 106063632 markings, 238136081 edges, 560566 markings/sec, 140 secs
lola: 109128381 markings, 246067830 edges, 612950 markings/sec, 145 secs
lola: 111977473 markings, 253436681 edges, 569818 markings/sec, 150 secs
lola: 114843482 markings, 260844460 edges, 573202 markings/sec, 155 secs
lola: 118220382 markings, 268749092 edges, 675380 markings/sec, 160 secs
lola: 122011580 markings, 277067603 edges, 758240 markings/sec, 165 secs
lola: 125798962 markings, 285381583 edges, 757476 markings/sec, 170 secs
lola: 129565700 markings, 293653415 edges, 753348 markings/sec, 175 secs
lola: 133310281 markings, 301873866 edges, 748916 markings/sec, 180 secs
lola: 137068721 markings, 310129316 edges, 751688 markings/sec, 185 secs
lola: 140858177 markings, 318455531 edges, 757891 markings/sec, 190 secs
lola: 144675876 markings, 326854069 edges, 763540 markings/sec, 195 secs
lola: 148492153 markings, 335253068 edges, 763255 markings/sec, 200 secs
lola: 152317073 markings, 343673870 edges, 764984 markings/sec, 205 secs
lola: 156131756 markings, 352081892 edges, 762937 markings/sec, 210 secs
lola: 159782710 markings, 360049090 edges, 730191 markings/sec, 215 secs
lola: 162830877 markings, 366624893 edges, 609633 markings/sec, 220 secs
lola: 165768097 markings, 372949120 edges, 587444 markings/sec, 225 secs
lola: 168587390 markings, 379064770 edges, 563859 markings/sec, 230 secs
lola: 171458095 markings, 385239729 edges, 574141 markings/sec, 235 secs
lola: 174327940 markings, 391466578 edges, 573969 markings/sec, 240 secs
lola: 177176094 markings, 397588288 edges, 569631 markings/sec, 245 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 953 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: 4933039 markings, 7572350 edges, 986608 markings/sec, 0 secs
lola: 9239970 markings, 14245413 edges, 861386 markings/sec, 5 secs
lola: 13670717 markings, 20992184 edges, 886149 markings/sec, 10 secs
lola: 17990108 markings, 27501668 edges, 863878 markings/sec, 15 secs
lola: 22382884 markings, 34115743 edges, 878555 markings/sec, 20 secs
lola: 26738369 markings, 40707861 edges, 871097 markings/sec, 25 secs
lola: 30998631 markings, 47147331 edges, 852052 markings/sec, 30 secs
lola: 35226880 markings, 53533265 edges, 845650 markings/sec, 35 secs
lola: 39452537 markings, 59864228 edges, 845131 markings/sec, 40 secs
lola: 43589360 markings, 66132008 edges, 827365 markings/sec, 45 secs
lola: 47702998 markings, 72339561 edges, 822728 markings/sec, 50 secs
lola: 51860711 markings, 78620176 edges, 831543 markings/sec, 55 secs
lola: 55965911 markings, 84766442 edges, 821040 markings/sec, 60 secs
lola: 59983733 markings, 90841228 edges, 803564 markings/sec, 65 secs
lola: 63869147 markings, 96735936 edges, 777083 markings/sec, 70 secs
lola: 67865861 markings, 102721064 edges, 799343 markings/sec, 75 secs
lola: 71991542 markings, 108951795 edges, 825136 markings/sec, 80 secs
lola: 76224893 markings, 115333086 edges, 846670 markings/sec, 85 secs
lola: 80333681 markings, 121560523 edges, 821758 markings/sec, 90 secs
lola: 84439712 markings, 127749111 edges, 821206 markings/sec, 95 secs
lola: 88631231 markings, 134035550 edges, 838304 markings/sec, 100 secs
lola: 92739785 markings, 140261999 edges, 821711 markings/sec, 105 secs
lola: 96751943 markings, 146290525 edges, 802432 markings/sec, 110 secs
lola: 100775678 markings, 152382008 edges, 804747 markings/sec, 115 secs
lola: 104919919 markings, 158607139 edges, 828848 markings/sec, 120 secs
lola: 109000276 markings, 164799905 edges, 816071 markings/sec, 125 secs
lola: 112990792 markings, 170793473 edges, 798103 markings/sec, 130 secs
lola: 117130499 markings, 177013966 edges, 827941 markings/sec, 135 secs
lola: 121256579 markings, 183274179 edges, 825216 markings/sec, 140 secs
lola: 124822292 markings, 188648823 edges, 713143 markings/sec, 145 secs
lola: 128197559 markings, 193717048 edges, 675053 markings/sec, 150 secs
lola: 132042331 markings, 199540488 edges, 768954 markings/sec, 155 secs
lola: 136024566 markings, 205513926 edges, 796447 markings/sec, 160 secs
lola: 140228231 markings, 211886989 edges, 840733 markings/sec, 165 secs
lola: 144411714 markings, 218191030 edges, 836697 markings/sec, 170 secs
lola: 148785725 markings, 224780835 edges, 874802 markings/sec, 175 secs
lola: 153049193 markings, 231198042 edges, 852694 markings/sec, 180 secs
lola: 157419551 markings, 237780143 edges, 874072 markings/sec, 185 secs
lola: 161655935 markings, 244189912 edges, 847277 markings/sec, 190 secs
lola: 165928607 markings, 250603366 edges, 854534 markings/sec, 195 secs
lola: 170144033 markings, 257002031 edges, 843085 markings/sec, 200 secs
lola: 174343926 markings, 263337411 edges, 839979 markings/sec, 205 secs
lola: 178687927 markings, 269863537 edges, 868800 markings/sec, 210 secs
lola: 182920761 markings, 276239678 edges, 846567 markings/sec, 215 secs
lola: 187257182 markings, 282781804 edges, 867284 markings/sec, 220 secs
lola: 191501262 markings, 289182252 edges, 848816 markings/sec, 225 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 1496401657672

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_GPPP-PT-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/S_GPPP-PT-C1000N0000000100.tgz
mv S_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 S_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 r108-blw3-149441612600578"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;