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-C0100N0000001000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612600542
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-0
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-1
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-10
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-11
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-12
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-13
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-14
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-15
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-2
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-3
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-4
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-5
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-6
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-7
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-8
FORMULA_NAME GPPP-PT-C0100N0000001000-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496395097270


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


checking for too many tokens
===========================================================================================
S_GPPP-PT-C0100N0000001000: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_GPPP-PT-C0100N0000001000 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 55/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 33 places, 22 transitions, 21 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 30 transition conflict sets
lola: TASK
lola: reading formula from GPPP-PT-C0100N0000001000-UpperBounds.task
lola: MAX(F6P) : MAX(Xu5P) : MAX(GSSG) : MAX(b2) : MAX(Xu5P) : MAX(Lac) : MAX(c2) : MAX(E4P) : MAX(_3PG) : MAX(GAP) : MAX(F6P) : MAX(NADPH) : MAX(b2) : MAX(G6P) : MAX(Gluc) : MAX(_2PG)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(F6P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2213217 markings, 7768327 edges, 442643 markings/sec, 0 secs
lola: 4323620 markings, 15729547 edges, 422081 markings/sec, 5 secs
lola: 5646665 markings, 21602542 edges, 264609 markings/sec, 10 secs
lola: 6978768 markings, 27572867 edges, 266421 markings/sec, 15 secs
lola: 9328446 markings, 35887278 edges, 469936 markings/sec, 20 secs
lola: 11141770 markings, 43224667 edges, 362665 markings/sec, 25 secs
lola: 12492116 markings, 49379891 edges, 270069 markings/sec, 30 secs
lola: 14164557 markings, 56371595 edges, 334488 markings/sec, 35 secs
lola: 16630696 markings, 65230401 edges, 493228 markings/sec, 40 secs
lola: 18580150 markings, 73061599 edges, 389891 markings/sec, 45 secs
lola: 20135689 markings, 79724884 edges, 311108 markings/sec, 50 secs
lola: 21422987 markings, 85580283 edges, 257460 markings/sec, 55 secs
lola: 23441850 markings, 93130953 edges, 403773 markings/sec, 60 secs
lola: 25776704 markings, 101602665 edges, 466971 markings/sec, 65 secs
lola: 27795643 markings, 109581847 edges, 403788 markings/sec, 70 secs
lola: 29539244 markings, 116868399 edges, 348720 markings/sec, 75 secs
lola: 30778976 markings, 122464427 edges, 247946 markings/sec, 80 secs
lola: 32038093 markings, 128386109 edges, 251823 markings/sec, 85 secs
lola: 34653388 markings, 137157677 edges, 523059 markings/sec, 90 secs
lola: 36894093 markings, 145515891 edges, 448141 markings/sec, 95 secs
lola: 38930607 markings, 153418993 edges, 407303 markings/sec, 100 secs
lola: 40678147 markings, 160839273 edges, 349508 markings/sec, 105 secs
lola: 42206783 markings, 167419833 edges, 305727 markings/sec, 110 secs
lola: 43527841 markings, 173410410 edges, 264212 markings/sec, 115 secs
lola: 45538070 markings, 180923390 edges, 402046 markings/sec, 120 secs
lola: 48052900 markings, 189674399 edges, 502966 markings/sec, 125 secs
lola: 50207561 markings, 197857954 edges, 430932 markings/sec, 130 secs
lola: 52257285 markings, 205826178 edges, 409945 markings/sec, 135 secs
lola: 53998729 markings, 213198992 edges, 348289 markings/sec, 140 secs
lola: 55682637 markings, 220386422 edges, 336782 markings/sec, 145 secs
lola: 56925126 markings, 226007907 edges, 248498 markings/sec, 150 secs
lola: 58563396 markings, 232709224 edges, 327654 markings/sec, 155 secs
lola: 61135564 markings, 241310033 edges, 514434 markings/sec, 160 secs
lola: 63441685 markings, 249818676 edges, 461224 markings/sec, 165 secs
lola: 65576469 markings, 258006286 edges, 426957 markings/sec, 170 secs
lola: 67525759 markings, 265704940 edges, 389858 markings/sec, 175 secs
lola: 69215110 markings, 272852220 edges, 337870 markings/sec, 180 secs
lola: 70914978 markings, 280119758 edges, 339974 markings/sec, 185 secs
lola: 71989688 markings, 285016998 edges, 214942 markings/sec, 190 secs
lola: 73192513 markings, 290618755 edges, 240565 markings/sec, 195 secs
lola: 75498616 markings, 298536587 edges, 461221 markings/sec, 200 secs
lola: 77923702 markings, 306817895 edges, 485017 markings/sec, 205 secs
lola: 80066715 markings, 314842339 edges, 428603 markings/sec, 210 secs
lola: 82185947 markings, 322925857 edges, 423846 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Xu5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4100471 markings, 7969149 edges, 820094 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 396
lola: produced by: state space
lola: The maximum value of the given expression is 396
lola: ========================================
lola: subprocess 2 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(GSSG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4758908 markings, 7266952 edges, 951782 markings/sec, 0 secs
lola: 9143263 markings, 13814627 edges, 876871 markings/sec, 5 secs
lola: 13313806 markings, 20317065 edges, 834109 markings/sec, 10 secs
lola: 17554802 markings, 26671783 edges, 848199 markings/sec, 15 secs
lola: 21220724 markings, 32258315 edges, 733184 markings/sec, 20 secs
lola: 25142319 markings, 38423899 edges, 784319 markings/sec, 25 secs
lola: 29096756 markings, 44308056 edges, 790887 markings/sec, 30 secs
lola: 32606603 markings, 49781458 edges, 701969 markings/sec, 35 secs
lola: 36554390 markings, 55807718 edges, 789557 markings/sec, 40 secs
lola: 40478842 markings, 61714753 edges, 784890 markings/sec, 45 secs
lola: 43994588 markings, 67202617 edges, 703149 markings/sec, 50 secs
lola: 47923454 markings, 73139038 edges, 785773 markings/sec, 55 secs
lola: 51673016 markings, 78872592 edges, 749912 markings/sec, 60 secs
lola: 55458889 markings, 84714611 edges, 757175 markings/sec, 65 secs
lola: 59291120 markings, 90472704 edges, 766446 markings/sec, 70 secs
lola: 62989769 markings, 96277253 edges, 739730 markings/sec, 75 secs
lola: 66891644 markings, 102172941 edges, 780375 markings/sec, 80 secs
lola: 70373150 markings, 107457195 edges, 696301 markings/sec, 85 secs
lola: 74221784 markings, 113515855 edges, 769727 markings/sec, 90 secs
lola: 78225182 markings, 119485378 edges, 800680 markings/sec, 95 secs
lola: 81826625 markings, 125056825 edges, 720289 markings/sec, 100 secs
lola: 85690544 markings, 130993872 edges, 772784 markings/sec, 105 secs
lola: 89571782 markings, 136824326 edges, 776248 markings/sec, 110 secs
lola: 92943530 markings, 142102122 edges, 674350 markings/sec, 115 secs
lola: 96775558 markings, 147886686 edges, 766406 markings/sec, 120 secs
lola: 100482275 markings, 153549593 edges, 741343 markings/sec, 125 secs
lola: 104223880 markings, 159324176 edges, 748321 markings/sec, 130 secs
lola: 107842275 markings, 164759357 edges, 723679 markings/sec, 135 secs
lola: 111490388 markings, 170485591 edges, 729623 markings/sec, 140 secs
lola: 115358858 markings, 176322716 edges, 773694 markings/sec, 145 secs
lola: 118793732 markings, 181541790 edges, 686975 markings/sec, 150 secs
lola: 122587877 markings, 187505140 edges, 758829 markings/sec, 155 secs
lola: 126397628 markings, 193170400 edges, 761950 markings/sec, 160 secs
lola: 129678539 markings, 198315920 edges, 656182 markings/sec, 165 secs
lola: 133533194 markings, 204176611 edges, 770931 markings/sec, 170 secs
lola: 137338469 markings, 209903516 edges, 761055 markings/sec, 175 secs
lola: 140727002 markings, 215187920 edges, 677707 markings/sec, 180 secs
lola: 144447532 markings, 220807733 edges, 744106 markings/sec, 185 secs
lola: 148053408 markings, 226378432 edges, 721175 markings/sec, 190 secs
lola: 152060576 markings, 232501111 edges, 801434 markings/sec, 195 secs
lola: 155840423 markings, 238190513 edges, 755969 markings/sec, 200 secs
lola: 159496448 markings, 243920195 edges, 731205 markings/sec, 205 secs
lola: 163386001 markings, 249805119 edges, 777911 markings/sec, 210 secs
lola: 166924311 markings, 255143749 edges, 707662 markings/sec, 215 secs
lola: 170670877 markings, 261082704 edges, 749313 markings/sec, 220 secs
lola: 174697454 markings, 267079784 edges, 805315 markings/sec, 225 secs
lola: 178159761 markings, 272402549 edges, 692461 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(b2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3638191 markings, 7757822 edges, 727638 markings/sec, 0 secs
lola: 6605916 markings, 14695962 edges, 593545 markings/sec, 5 secs
lola: 9174934 markings, 21394418 edges, 513804 markings/sec, 10 secs
lola: 11679486 markings, 27920554 edges, 500910 markings/sec, 15 secs
lola: 14094471 markings, 34247902 edges, 482997 markings/sec, 20 secs
lola: 16697688 markings, 40836978 edges, 520643 markings/sec, 25 secs
lola: 19223438 markings, 47379416 edges, 505150 markings/sec, 30 secs
lola: 21693298 markings, 53865355 edges, 493972 markings/sec, 35 secs
lola: 24241970 markings, 60491759 edges, 509734 markings/sec, 40 secs
lola: 26673157 markings, 66736457 edges, 486237 markings/sec, 45 secs
lola: 29237604 markings, 73298386 edges, 512889 markings/sec, 50 secs
lola: 31757820 markings, 79881254 edges, 504043 markings/sec, 55 secs
lola: 34169151 markings, 86251686 edges, 482266 markings/sec, 60 secs
lola: 36783056 markings, 92921586 edges, 522781 markings/sec, 65 secs
lola: 39361344 markings, 99532603 edges, 515658 markings/sec, 70 secs
lola: 41847410 markings, 106057572 edges, 497213 markings/sec, 75 secs
lola: 44346849 markings, 112549668 edges, 499888 markings/sec, 80 secs
lola: 46889248 markings, 119058797 edges, 508480 markings/sec, 85 secs
lola: 49540708 markings, 125930314 edges, 530292 markings/sec, 90 secs
lola: 52061694 markings, 132494746 edges, 504197 markings/sec, 95 secs
lola: 54453192 markings, 138760271 edges, 478300 markings/sec, 100 secs
lola: 57118665 markings, 145475980 edges, 533095 markings/sec, 105 secs
lola: 59707159 markings, 152255520 edges, 517699 markings/sec, 110 secs
lola: 62189686 markings, 158826824 edges, 496505 markings/sec, 115 secs
lola: 64851088 markings, 165542909 edges, 532280 markings/sec, 120 secs
lola: 67426772 markings, 172231873 edges, 515137 markings/sec, 125 secs
lola: 69876454 markings, 178695808 edges, 489936 markings/sec, 130 secs
lola: 72491472 markings, 185390682 edges, 523004 markings/sec, 135 secs
lola: 75090095 markings, 192057269 edges, 519725 markings/sec, 140 secs
lola: 77516627 markings, 198442578 edges, 485306 markings/sec, 145 secs
lola: 79989464 markings, 204861907 edges, 494567 markings/sec, 150 secs
lola: 82574609 markings, 211433623 edges, 517029 markings/sec, 155 secs
lola: 85057130 markings, 217934634 edges, 496504 markings/sec, 160 secs
lola: 87526033 markings, 224354883 edges, 493781 markings/sec, 165 secs
lola: 89933150 markings, 230551419 edges, 481423 markings/sec, 170 secs
lola: 92470928 markings, 237049503 edges, 507556 markings/sec, 175 secs
lola: 94932734 markings, 243492244 edges, 492361 markings/sec, 180 secs
lola: 97285714 markings, 249670794 edges, 470596 markings/sec, 185 secs
lola: 99892112 markings, 256231284 edges, 521280 markings/sec, 190 secs
lola: 102357430 markings, 262686103 edges, 493064 markings/sec, 195 secs
lola: 104733644 markings, 268976454 edges, 475243 markings/sec, 200 secs
lola: 107287804 markings, 275435078 edges, 510832 markings/sec, 205 secs
lola: 109777624 markings, 281889720 edges, 497964 markings/sec, 210 secs
lola: 112201102 markings, 288281383 edges, 484696 markings/sec, 215 secs
lola: 114612666 markings, 294473769 edges, 482313 markings/sec, 220 secs
lola: 117144492 markings, 300940670 edges, 506365 markings/sec, 225 secs
lola: 119563666 markings, 307306831 edges, 483835 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Xu5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4201663 markings, 8164633 edges, 840333 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 396
lola: produced by: state space
lola: The maximum value of the given expression is 396
lola: subprocess 5 will run for 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Lac)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: ========================================
lola: 4692879 markings, 8475570 edges, 938576 markings/sec, 0 secs
lola: 9188252 markings, 16616266 edges, 899075 markings/sec, 5 secs
lola: 13624673 markings, 24650755 edges, 887284 markings/sec, 10 secs
lola: 18163116 markings, 32386926 edges, 907689 markings/sec, 15 secs
lola: 22467019 markings, 39714418 edges, 860781 markings/sec, 20 secs
lola: 26806314 markings, 47104641 edges, 867859 markings/sec, 25 secs
lola: 31179850 markings, 54293040 edges, 874707 markings/sec, 30 secs
lola: 35392090 markings, 61922402 edges, 842448 markings/sec, 35 secs
lola: 39782558 markings, 69875243 edges, 878094 markings/sec, 40 secs
lola: 44214762 markings, 77904270 edges, 886441 markings/sec, 45 secs
lola: 48657817 markings, 85953646 edges, 888611 markings/sec, 50 secs
lola: 53209770 markings, 93668317 edges, 910391 markings/sec, 55 secs
lola: 57826174 markings, 100793139 edges, 923281 markings/sec, 60 secs
lola: 62365268 markings, 107788362 edges, 907819 markings/sec, 65 secs
lola: 66836187 markings, 114680854 edges, 894184 markings/sec, 70 secs
lola: 70709538 markings, 121753484 edges, 774670 markings/sec, 75 secs
lola: 74350859 markings, 128501586 edges, 728264 markings/sec, 80 secs
lola: 78396484 markings, 135394401 edges, 809125 markings/sec, 85 secs
lola: 82579207 markings, 142522840 edges, 836545 markings/sec, 90 secs
lola: 86779016 markings, 149682570 edges, 839962 markings/sec, 95 secs
lola: 91014619 markings, 156905278 edges, 847121 markings/sec, 100 secs
lola: 95338679 markings, 163998009 edges, 864812 markings/sec, 105 secs
lola: 99250185 markings, 170270533 edges, 782301 markings/sec, 110 secs
lola: 103657752 markings, 177117506 edges, 881513 markings/sec, 115 secs
lola: 108416593 markings, 184260218 edges, 951768 markings/sec, 120 secs
lola: 113093803 markings, 191279256 edges, 935442 markings/sec, 125 secs
lola: 117719345 markings, 198220740 edges, 925108 markings/sec, 130 secs
lola: 122189909 markings, 205145828 edges, 894113 markings/sec, 135 secs
lola: 126055619 markings, 211338188 edges, 773142 markings/sec, 140 secs
lola: 130189648 markings, 217774136 edges, 826806 markings/sec, 145 secs
lola: 134475727 markings, 224385745 edges, 857216 markings/sec, 150 secs
lola: 138880432 markings, 231182469 edges, 880941 markings/sec, 155 secs
lola: 143286799 markings, 237983752 edges, 881273 markings/sec, 160 secs
lola: 147711245 markings, 244815220 edges, 884889 markings/sec, 165 secs
lola: 152164249 markings, 251692793 edges, 890601 markings/sec, 170 secs
lola: 155857271 markings, 258687004 edges, 738604 markings/sec, 175 secs
lola: 158589865 markings, 264160550 edges, 546519 markings/sec, 180 secs
lola: 161837891 markings, 270666203 edges, 649605 markings/sec, 185 secs
lola: 165588449 markings, 277504847 edges, 750112 markings/sec, 190 secs
lola: 169407768 markings, 283629761 edges, 763864 markings/sec, 195 secs
lola: 173425881 markings, 290163880 edges, 803623 markings/sec, 200 secs
lola: 177413726 markings, 297353661 edges, 797569 markings/sec, 205 secs
lola: 181200218 markings, 304191089 edges, 757298 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 261 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: 3714062 markings, 9908689 edges, 742812 markings/sec, 0 secs
lola: 7218374 markings, 19680033 edges, 700862 markings/sec, 5 secs
lola: 10828900 markings, 28699981 edges, 722105 markings/sec, 10 secs
lola: 13926228 markings, 36124382 edges, 619466 markings/sec, 15 secs
lola: 16779755 markings, 42971345 edges, 570705 markings/sec, 20 secs
lola: 19530318 markings, 49571243 edges, 550113 markings/sec, 25 secs
lola: 22227020 markings, 56041989 edges, 539340 markings/sec, 30 secs
lola: 24896939 markings, 62447987 edges, 533984 markings/sec, 35 secs
lola: 27565660 markings, 68851428 edges, 533744 markings/sec, 40 secs
lola: 30232178 markings, 75249314 edges, 533304 markings/sec, 45 secs
lola: 32850988 markings, 81533078 edges, 523762 markings/sec, 50 secs
lola: 35443739 markings, 87753924 edges, 518550 markings/sec, 55 secs
lola: 38021458 markings, 93939086 edges, 515544 markings/sec, 60 secs
lola: 40630922 markings, 100200153 edges, 521893 markings/sec, 65 secs
lola: 43192535 markings, 106346437 edges, 512323 markings/sec, 70 secs
lola: 45711706 markings, 112390952 edges, 503834 markings/sec, 75 secs
lola: 48221006 markings, 118411815 edges, 501860 markings/sec, 80 secs
lola: 50717122 markings, 124400876 edges, 499223 markings/sec, 85 secs
lola: 53206260 markings, 130373280 edges, 497828 markings/sec, 90 secs
lola: 55671744 markings, 136288892 edges, 493097 markings/sec, 95 secs
lola: 58135191 markings, 142199678 edges, 492689 markings/sec, 100 secs
lola: 60602668 markings, 148119986 edges, 493495 markings/sec, 105 secs
lola: 63058971 markings, 154013621 edges, 491261 markings/sec, 110 secs
lola: 65512208 markings, 159899810 edges, 490647 markings/sec, 115 secs
lola: 67988631 markings, 165842109 edges, 495285 markings/sec, 120 secs
lola: 70475042 markings, 171807403 edges, 497282 markings/sec, 125 secs
lola: 72938362 markings, 177717693 edges, 492664 markings/sec, 130 secs
lola: 75392192 markings, 183605462 edges, 490766 markings/sec, 135 secs
lola: 77905887 markings, 189636710 edges, 502739 markings/sec, 140 secs
lola: 80385459 markings, 195585825 edges, 495914 markings/sec, 145 secs
lola: 82881998 markings, 201575890 edges, 499308 markings/sec, 150 secs
lola: 85375429 markings, 207558454 edges, 498686 markings/sec, 155 secs
lola: 87891541 markings, 213595262 edges, 503222 markings/sec, 160 secs
lola: 90395587 markings, 219603470 edges, 500809 markings/sec, 165 secs
lola: 92890641 markings, 225590018 edges, 499011 markings/sec, 170 secs
lola: 95410838 markings, 231636619 edges, 504039 markings/sec, 175 secs
lola: 97954911 markings, 237740405 edges, 508815 markings/sec, 180 secs
lola: 100508677 markings, 243867467 edges, 510753 markings/sec, 185 secs
lola: 103054282 markings, 249975505 edges, 509121 markings/sec, 190 secs
lola: 105640589 markings, 256180175 edges, 517261 markings/sec, 195 secs
lola: 108303197 markings, 262568839 edges, 532522 markings/sec, 200 secs
lola: 110918550 markings, 268843517 edges, 523071 markings/sec, 205 secs
lola: 113612431 markings, 275306887 edges, 538776 markings/sec, 210 secs
lola: 116314503 markings, 281790668 edges, 540414 markings/sec, 215 secs
lola: 119125461 markings, 288536697 edges, 562192 markings/sec, 220 secs
lola: 121755475 markings, 294918225 edges, 526003 markings/sec, 225 secs
lola: 124302055 markings, 301103116 edges, 509316 markings/sec, 230 secs
lola: 126632680 markings, 306707693 edges, 466125 markings/sec, 235 secs
lola: 129184621 markings, 312903050 edges, 510388 markings/sec, 240 secs
lola: 131830529 markings, 319326369 edges, 529182 markings/sec, 245 secs
lola: 134486013 markings, 325773395 edges, 531097 markings/sec, 250 secs
lola: 136922147 markings, 331630528 edges, 487227 markings/sec, 255 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 261 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(E4P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3688154 markings, 9836592 edges, 737631 markings/sec, 0 secs
lola: 7168961 markings, 19542060 edges, 696161 markings/sec, 5 secs
lola: 10681706 markings, 28347624 edges, 702549 markings/sec, 10 secs
lola: 13653010 markings, 35468771 edges, 594261 markings/sec, 15 secs
lola: 16411273 markings, 42087182 edges, 551653 markings/sec, 20 secs
lola: 19063235 markings, 48450576 edges, 530392 markings/sec, 25 secs
lola: 21701052 markings, 54779678 edges, 527563 markings/sec, 30 secs
lola: 24338192 markings, 61107179 edges, 527428 markings/sec, 35 secs
lola: 26976367 markings, 67437245 edges, 527635 markings/sec, 40 secs
lola: 29601297 markings, 73735588 edges, 524986 markings/sec, 45 secs
lola: 32193283 markings, 79954839 edges, 518397 markings/sec, 50 secs
lola: 34759799 markings, 86112947 edges, 513303 markings/sec, 55 secs
lola: 37303340 markings, 92216144 edges, 508708 markings/sec, 60 secs
lola: 39825479 markings, 98267677 edges, 504428 markings/sec, 65 secs
lola: 42419222 markings, 104491272 edges, 518749 markings/sec, 70 secs
lola: 44982714 markings, 110642032 edges, 512698 markings/sec, 75 secs
lola: 47542515 markings, 116784103 edges, 511960 markings/sec, 80 secs
lola: 50093765 markings, 122905576 edges, 510250 markings/sec, 85 secs
lola: 52646245 markings, 129029868 edges, 510496 markings/sec, 90 secs
lola: 55180629 markings, 135110702 edges, 506877 markings/sec, 95 secs
lola: 57659226 markings, 141057776 edges, 495719 markings/sec, 100 secs
lola: 60131004 markings, 146988435 edges, 494356 markings/sec, 105 secs
lola: 62621772 markings, 152964589 edges, 498154 markings/sec, 110 secs
lola: 65128493 markings, 158979083 edges, 501344 markings/sec, 115 secs
lola: 67644819 markings, 165016785 edges, 503265 markings/sec, 120 secs
lola: 70188361 markings, 171119745 edges, 508708 markings/sec, 125 secs
lola: 72724161 markings, 177203808 edges, 507160 markings/sec, 130 secs
lola: 75202675 markings, 183150704 edges, 495703 markings/sec, 135 secs
lola: 77718018 markings, 189185832 edges, 503069 markings/sec, 140 secs
lola: 80206384 markings, 195156273 edges, 497673 markings/sec, 145 secs
lola: 82686064 markings, 201106073 edges, 495936 markings/sec, 150 secs
lola: 85189656 markings, 207112569 edges, 500718 markings/sec, 155 secs
lola: 87693057 markings, 213119079 edges, 500680 markings/sec, 160 secs
lola: 90181681 markings, 219090471 edges, 497725 markings/sec, 165 secs
lola: 92711910 markings, 225160748 edges, 506046 markings/sec, 170 secs
lola: 95243806 markings, 231235593 edges, 506379 markings/sec, 175 secs
lola: 97825516 markings, 237430131 edges, 516342 markings/sec, 180 secs
lola: 100402312 markings, 243612254 edges, 515359 markings/sec, 185 secs
lola: 102938628 markings, 249697421 edges, 507263 markings/sec, 190 secs
lola: 105537053 markings, 255931724 edges, 519685 markings/sec, 195 secs
lola: 108142202 markings, 262182343 edges, 521030 markings/sec, 200 secs
lola: 110800202 markings, 268559574 edges, 531600 markings/sec, 205 secs
lola: 113508738 markings, 275058159 edges, 541707 markings/sec, 210 secs
lola: 116223606 markings, 281572095 edges, 542974 markings/sec, 215 secs
lola: 119105071 markings, 288487879 edges, 576293 markings/sec, 220 secs
lola: 121757332 markings, 294922682 edges, 530452 markings/sec, 225 secs
lola: 124314860 markings, 301133858 edges, 511506 markings/sec, 230 secs
lola: 126676671 markings, 306813698 edges, 472362 markings/sec, 235 secs
lola: 129256171 markings, 313075099 edges, 515900 markings/sec, 240 secs
lola: 131934490 markings, 319576249 edges, 535664 markings/sec, 245 secs
lola: 134692688 markings, 326270035 edges, 551640 markings/sec, 250 secs
lola: 137243071 markings, 332403602 edges, 510077 markings/sec, 255 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 261 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: 3908056 markings, 9156535 edges, 781611 markings/sec, 0 secs
lola: 7488478 markings, 17757260 edges, 716084 markings/sec, 5 secs
lola: 10698241 markings, 24697955 edges, 641953 markings/sec, 10 secs
lola: 13743026 markings, 31289607 edges, 608957 markings/sec, 15 secs
lola: 16693503 markings, 37698737 edges, 590095 markings/sec, 20 secs
lola: 19629880 markings, 44076015 edges, 587275 markings/sec, 25 secs
lola: 22564405 markings, 50447713 edges, 586905 markings/sec, 30 secs
lola: 25548100 markings, 56901118 edges, 596739 markings/sec, 35 secs
lola: 28690753 markings, 63743952 edges, 628531 markings/sec, 40 secs
lola: 31754006 markings, 70431173 edges, 612651 markings/sec, 45 secs
lola: 34534020 markings, 76503153 edges, 556003 markings/sec, 50 secs
lola: 37253182 markings, 82441785 edges, 543832 markings/sec, 55 secs
lola: 39938435 markings, 88306313 edges, 537051 markings/sec, 60 secs
lola: 42618543 markings, 94160028 edges, 536022 markings/sec, 65 secs
lola: 45285195 markings, 99983921 edges, 533330 markings/sec, 70 secs
lola: 47873434 markings, 105636172 edges, 517648 markings/sec, 75 secs
lola: 50506146 markings, 111386046 edges, 526542 markings/sec, 80 secs
lola: 53213347 markings, 117295107 edges, 541440 markings/sec, 85 secs
lola: 55894697 markings, 123150112 edges, 536270 markings/sec, 90 secs
lola: 58493200 markings, 128824732 edges, 519701 markings/sec, 95 secs
lola: 61103328 markings, 134524551 edges, 522026 markings/sec, 100 secs
lola: 63727218 markings, 140251306 edges, 524778 markings/sec, 105 secs
lola: 66370441 markings, 146022243 edges, 528645 markings/sec, 110 secs
lola: 69003422 markings, 151772814 edges, 526596 markings/sec, 115 secs
lola: 71843839 markings, 157971524 edges, 568083 markings/sec, 120 secs
lola: 74559406 markings, 163899228 edges, 543113 markings/sec, 125 secs
lola: 77286663 markings, 169853413 edges, 545451 markings/sec, 130 secs
lola: 80010436 markings, 175797358 edges, 544755 markings/sec, 135 secs
lola: 82767682 markings, 181814775 edges, 551449 markings/sec, 140 secs
lola: 85562614 markings, 187914679 edges, 558986 markings/sec, 145 secs
lola: 88205434 markings, 193681750 edges, 528564 markings/sec, 150 secs
lola: 90958793 markings, 199689671 edges, 550672 markings/sec, 155 secs
lola: 93675416 markings, 205617005 edges, 543325 markings/sec, 160 secs
lola: 96434328 markings, 211636149 edges, 551782 markings/sec, 165 secs
lola: 99295263 markings, 217876896 edges, 572187 markings/sec, 170 secs
lola: 102153689 markings, 224110848 edges, 571685 markings/sec, 175 secs
lola: 105034273 markings, 230390274 edges, 576117 markings/sec, 180 secs
lola: 107905650 markings, 236649112 edges, 574275 markings/sec, 185 secs
lola: 110839586 markings, 243041756 edges, 586787 markings/sec, 190 secs
lola: 113817425 markings, 249525936 edges, 595568 markings/sec, 195 secs
lola: 116920879 markings, 256274775 edges, 620691 markings/sec, 200 secs
lola: 119931020 markings, 262854872 edges, 602028 markings/sec, 205 secs
lola: 122773570 markings, 269104903 edges, 568510 markings/sec, 210 secs
lola: 125443887 markings, 274983542 edges, 534063 markings/sec, 215 secs
lola: 128243549 markings, 281109385 edges, 559932 markings/sec, 220 secs
lola: 131278471 markings, 287780548 edges, 606984 markings/sec, 225 secs
lola: 134352953 markings, 294538561 edges, 614896 markings/sec, 230 secs
lola: 137335180 markings, 301094826 edges, 596445 markings/sec, 235 secs
lola: 140279803 markings, 307568247 edges, 588925 markings/sec, 240 secs
lola: 143173922 markings, 313934574 edges, 578824 markings/sec, 245 secs
lola: 145956229 markings, 320025431 edges, 556461 markings/sec, 250 secs
lola: 148826232 markings, 326335325 edges, 574001 markings/sec, 255 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 261 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(GAP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3280380 markings, 10224444 edges, 656076 markings/sec, 0 secs
lola: 5765458 markings, 20485853 edges, 497016 markings/sec, 5 secs
lola: 8049783 markings, 30934591 edges, 456865 markings/sec, 10 secs
lola: 10631136 markings, 41533582 edges, 516271 markings/sec, 15 secs
lola: 13209193 markings, 50466513 edges, 515611 markings/sec, 20 secs
lola: 15633398 markings, 58874828 edges, 484841 markings/sec, 25 secs
lola: 17849803 markings, 66592138 edges, 443281 markings/sec, 30 secs
lola: 20063231 markings, 74267050 edges, 442686 markings/sec, 35 secs
lola: 22237163 markings, 81840178 edges, 434786 markings/sec, 40 secs
lola: 24542327 markings, 89832003 edges, 461033 markings/sec, 45 secs
lola: 26821200 markings, 97742022 edges, 455775 markings/sec, 50 secs
lola: 28932519 markings, 105088495 edges, 422264 markings/sec, 55 secs
lola: 31001474 markings, 112262053 edges, 413791 markings/sec, 60 secs
lola: 33000665 markings, 119224587 edges, 399838 markings/sec, 65 secs
lola: 35117658 markings, 126561592 edges, 423399 markings/sec, 70 secs
lola: 37122287 markings, 133523611 edges, 400926 markings/sec, 75 secs
lola: 39108603 markings, 140426370 edges, 397263 markings/sec, 80 secs
lola: 41119861 markings, 147401856 edges, 402252 markings/sec, 85 secs
lola: 43145657 markings, 154451505 edges, 405159 markings/sec, 90 secs
lola: 45231053 markings, 161680121 edges, 417079 markings/sec, 95 secs
lola: 47245041 markings, 168672569 edges, 402798 markings/sec, 100 secs
lola: 49277999 markings, 175737546 edges, 406592 markings/sec, 105 secs
lola: 51297817 markings, 182739969 edges, 403964 markings/sec, 110 secs
lola: 53267792 markings, 189599125 edges, 393995 markings/sec, 115 secs
lola: 55367089 markings, 196873500 edges, 419859 markings/sec, 120 secs
lola: 57396782 markings, 203910334 edges, 405939 markings/sec, 125 secs
lola: 59373903 markings, 210793512 edges, 395424 markings/sec, 130 secs
lola: 61459235 markings, 218018975 edges, 417066 markings/sec, 135 secs
lola: 63501822 markings, 225099047 edges, 408517 markings/sec, 140 secs
lola: 65483637 markings, 231976702 edges, 396363 markings/sec, 145 secs
lola: 67495684 markings, 238969541 edges, 402409 markings/sec, 150 secs
lola: 69522233 markings, 245991318 edges, 405310 markings/sec, 155 secs
lola: 71517251 markings, 252908021 edges, 399004 markings/sec, 160 secs
lola: 73514221 markings, 259840847 edges, 399394 markings/sec, 165 secs
lola: 75554931 markings, 266927846 edges, 408142 markings/sec, 170 secs
lola: 77621675 markings, 274089135 edges, 413349 markings/sec, 175 secs
lola: 79684393 markings, 281238508 edges, 412544 markings/sec, 180 secs
lola: 81683985 markings, 288169046 edges, 399918 markings/sec, 185 secs
lola: 83666729 markings, 295045857 edges, 396549 markings/sec, 190 secs
lola: 85663275 markings, 301984288 edges, 399309 markings/sec, 195 secs
lola: 87708207 markings, 309069420 edges, 408986 markings/sec, 200 secs
lola: 89756075 markings, 316164858 edges, 409574 markings/sec, 205 secs
lola: 91776942 markings, 323166586 edges, 404173 markings/sec, 210 secs
lola: 93812472 markings, 330218837 edges, 407106 markings/sec, 215 secs
lola: 95816290 markings, 337161088 edges, 400764 markings/sec, 220 secs
lola: 97795852 markings, 344018296 edges, 395912 markings/sec, 225 secs
lola: 99820900 markings, 351033601 edges, 405010 markings/sec, 230 secs
lola: 101836607 markings, 358016423 edges, 403141 markings/sec, 235 secs
lola: 103850973 markings, 364994492 edges, 402873 markings/sec, 240 secs
lola: 105851789 markings, 371917944 edges, 400163 markings/sec, 245 secs
lola: 107889551 markings, 378963219 edges, 407552 markings/sec, 250 secs
lola: 109925481 markings, 386010444 edges, 407186 markings/sec, 255 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 261 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(F6P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2612180 markings, 9101566 edges, 522436 markings/sec, 0 secs
lola: 4694828 markings, 17444405 edges, 416530 markings/sec, 5 secs
lola: 6378035 markings, 24689594 edges, 336641 markings/sec, 10 secs
lola: 8480882 markings, 32721744 edges, 420569 markings/sec, 15 secs
lola: 10540642 markings, 40827406 edges, 411952 markings/sec, 20 secs
lola: 12142101 markings, 47781169 edges, 320292 markings/sec, 25 secs
lola: 13535471 markings, 54342289 edges, 278674 markings/sec, 30 secs
lola: 16122722 markings, 63314363 edges, 517450 markings/sec, 35 secs
lola: 18211524 markings, 71501771 edges, 417760 markings/sec, 40 secs
lola: 19924539 markings, 78787981 edges, 342603 markings/sec, 45 secs
lola: 21303224 markings, 85005993 edges, 275737 markings/sec, 50 secs
lola: 23263231 markings, 92571098 edges, 392001 markings/sec, 55 secs
lola: 25707374 markings, 101349734 edges, 488829 markings/sec, 60 secs
lola: 27805678 markings, 109626339 edges, 419661 markings/sec, 65 secs
lola: 29612619 markings, 117172731 edges, 361388 markings/sec, 70 secs
lola: 30855714 markings, 122821722 edges, 248619 markings/sec, 75 secs
lola: 32035389 markings, 128375967 edges, 235935 markings/sec, 80 secs
lola: 34725141 markings, 137420471 edges, 537950 markings/sec, 85 secs
lola: 37040269 markings, 146067155 edges, 463026 markings/sec, 90 secs
lola: 39121478 markings, 154205733 edges, 416242 markings/sec, 95 secs
lola: 40904157 markings, 161866924 edges, 356536 markings/sec, 100 secs
lola: 42426719 markings, 168422338 edges, 304512 markings/sec, 105 secs
lola: 43739874 markings, 174444738 edges, 262631 markings/sec, 110 secs
lola: 45959069 markings, 182450655 edges, 443839 markings/sec, 115 secs
lola: 48483232 markings, 191251849 edges, 504833 markings/sec, 120 secs
lola: 50641807 markings, 199475468 edges, 431715 markings/sec, 125 secs
lola: 52632082 markings, 207424382 edges, 398055 markings/sec, 130 secs
lola: 54371774 markings, 214812630 edges, 347938 markings/sec, 135 secs
lola: 55972260 markings, 221725085 edges, 320097 markings/sec, 140 secs
lola: 57305489 markings, 227774007 edges, 266646 markings/sec, 145 secs
lola: 59392945 markings, 235462022 edges, 417491 markings/sec, 150 secs
lola: 61683943 markings, 243323780 edges, 458200 markings/sec, 155 secs
lola: 63618848 markings, 250528087 edges, 386981 markings/sec, 160 secs
lola: 65755938 markings, 258720897 edges, 427418 markings/sec, 165 secs
lola: 67736419 markings, 266621552 edges, 396096 markings/sec, 170 secs
lola: 69471741 markings, 273988309 edges, 347064 markings/sec, 175 secs
lola: 71150920 markings, 281171285 edges, 335836 markings/sec, 180 secs
lola: 72391802 markings, 286804217 edges, 248176 markings/sec, 185 secs
lola: 74026797 markings, 293552558 edges, 326999 markings/sec, 190 secs
lola: 76635472 markings, 302287171 edges, 521735 markings/sec, 195 secs
lola: 79056694 markings, 310978230 edges, 484244 markings/sec, 200 secs
lola: 81186878 markings, 319083482 edges, 426037 markings/sec, 205 secs
lola: 83278066 markings, 327180721 edges, 418238 markings/sec, 210 secs
lola: 85145328 markings, 334900153 edges, 373452 markings/sec, 215 secs
lola: 86856132 markings, 342171172 edges, 342161 markings/sec, 220 secs
lola: 88479407 markings, 349102442 edges, 324655 markings/sec, 225 secs
lola: 89761998 markings, 354897306 edges, 256518 markings/sec, 230 secs
lola: 91389868 markings, 361568393 edges, 325574 markings/sec, 235 secs
lola: 93902057 markings, 370065251 edges, 502438 markings/sec, 240 secs
lola: 96326974 markings, 378526633 edges, 484983 markings/sec, 245 secs
lola: 98428636 markings, 386505755 edges, 420332 markings/sec, 250 secs
lola: 100577331 markings, 394662440 edges, 429739 markings/sec, 255 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 261 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NADPH)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3678037 markings, 7851429 edges, 735607 markings/sec, 0 secs
lola: 6661894 markings, 14843022 edges, 596771 markings/sec, 5 secs
lola: 9232962 markings, 21573741 edges, 514214 markings/sec, 10 secs
lola: 11804276 markings, 28252098 edges, 514263 markings/sec, 15 secs
lola: 14267510 markings, 34649477 edges, 492647 markings/sec, 20 secs
lola: 16943640 markings, 41470674 edges, 535226 markings/sec, 25 secs
lola: 19504474 markings, 48130209 edges, 512167 markings/sec, 30 secs
lola: 21943076 markings, 54576655 edges, 487720 markings/sec, 35 secs
lola: 24524002 markings, 61209974 edges, 516185 markings/sec, 40 secs
lola: 27069602 markings, 67698104 edges, 509120 markings/sec, 45 secs
lola: 29616062 markings, 74343178 edges, 509292 markings/sec, 50 secs
lola: 32146992 markings, 80930732 edges, 506186 markings/sec, 55 secs
lola: 34556926 markings, 87204090 edges, 481987 markings/sec, 60 secs
lola: 37168936 markings, 93807894 edges, 522402 markings/sec, 65 secs
lola: 39656974 markings, 100318111 edges, 497608 markings/sec, 70 secs
lola: 42064434 markings, 106652238 edges, 481492 markings/sec, 75 secs
lola: 44661824 markings, 113372588 edges, 519478 markings/sec, 80 secs
lola: 47238151 markings, 119931206 edges, 515265 markings/sec, 85 secs
lola: 49728144 markings, 126450184 edges, 497999 markings/sec, 90 secs
lola: 52212008 markings, 132897600 edges, 496773 markings/sec, 95 secs
lola: 54577219 markings, 139047788 edges, 473042 markings/sec, 100 secs
lola: 57170972 markings, 145637225 edges, 518751 markings/sec, 105 secs
lola: 59685719 markings, 152194531 edges, 502949 markings/sec, 110 secs
lola: 62069600 markings, 158489993 edges, 476776 markings/sec, 115 secs
lola: 64573422 markings, 164910922 edges, 500764 markings/sec, 120 secs
lola: 67059620 markings, 171259543 edges, 497240 markings/sec, 125 secs
lola: 69495560 markings, 177637743 edges, 487188 markings/sec, 130 secs
lola: 71963042 markings, 184050826 edges, 493496 markings/sec, 135 secs
lola: 74470902 markings, 190496660 edges, 501572 markings/sec, 140 secs
lola: 77072444 markings, 197194808 edges, 520308 markings/sec, 145 secs
lola: 79615190 markings, 203852930 edges, 508549 markings/sec, 150 secs
lola: 82069264 markings, 210227143 edges, 490815 markings/sec, 155 secs
lola: 84704242 markings, 216923986 edges, 526996 markings/sec, 160 secs
lola: 87256603 markings, 223621899 edges, 510472 markings/sec, 165 secs
lola: 89747788 markings, 230116911 edges, 498237 markings/sec, 170 secs
lola: 92390636 markings, 236832008 edges, 528570 markings/sec, 175 secs
lola: 94881283 markings, 243350109 edges, 498129 markings/sec, 180 secs
lola: 97239146 markings, 249564175 edges, 471573 markings/sec, 185 secs
lola: 99875266 markings, 256192221 edges, 527224 markings/sec, 190 secs
lola: 102405205 markings, 262822676 edges, 505988 markings/sec, 195 secs
lola: 104781008 markings, 269107224 edges, 475161 markings/sec, 200 secs
lola: 107379315 markings, 275639495 edges, 519661 markings/sec, 205 secs
lola: 109951290 markings, 282347951 edges, 514395 markings/sec, 210 secs
lola: 112358334 markings, 288724936 edges, 481409 markings/sec, 215 secs
lola: 114951236 markings, 295241009 edges, 518580 markings/sec, 220 secs
lola: 117432641 markings, 301706406 edges, 496281 markings/sec, 225 secs
lola: 119839626 markings, 308083728 edges, 481397 markings/sec, 230 secs
lola: 122401850 markings, 314546779 edges, 512445 markings/sec, 235 secs
lola: 124904574 markings, 321049563 edges, 500545 markings/sec, 240 secs
lola: 127284634 markings, 327356812 edges, 476012 markings/sec, 245 secs
lola: 129840209 markings, 333808030 edges, 511115 markings/sec, 250 secs
lola: 132340539 markings, 340298910 edges, 500066 markings/sec, 255 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 261 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: 3695046 markings, 7888803 edges, 739009 markings/sec, 0 secs
lola: 6700678 markings, 14944518 edges, 601126 markings/sec, 5 secs
lola: 9269642 markings, 21664043 edges, 513793 markings/sec, 10 secs
lola: 11884984 markings, 28479528 edges, 523068 markings/sec, 15 secs
lola: 14431957 markings, 35035639 edges, 509395 markings/sec, 20 secs
lola: 17154728 markings, 42015238 edges, 544554 markings/sec, 25 secs
lola: 19747146 markings, 48794307 edges, 518484 markings/sec, 30 secs
lola: 22208044 markings, 55277666 edges, 492180 markings/sec, 35 secs
lola: 24887008 markings, 62032593 edges, 535793 markings/sec, 40 secs
lola: 27464576 markings, 68744328 edges, 515514 markings/sec, 45 secs
lola: 29936004 markings, 75229033 edges, 494286 markings/sec, 50 secs
lola: 32534860 markings, 81985974 edges, 519771 markings/sec, 55 secs
lola: 35087438 markings, 88462587 edges, 510516 markings/sec, 60 secs
lola: 37655572 markings, 95156937 edges, 513627 markings/sec, 65 secs
lola: 40223114 markings, 101849832 edges, 513508 markings/sec, 70 secs
lola: 42716386 markings, 108310797 edges, 498654 markings/sec, 75 secs
lola: 45455794 markings, 115311553 edges, 547882 markings/sec, 80 secs
lola: 48069489 markings, 122156361 edges, 522739 markings/sec, 85 secs
lola: 50614872 markings, 128783324 edges, 509077 markings/sec, 90 secs
lola: 53348020 markings, 135727399 edges, 546630 markings/sec, 95 secs
lola: 55946832 markings, 142542396 edges, 519762 markings/sec, 100 secs
lola: 58459918 markings, 149122877 edges, 502617 markings/sec, 105 secs
lola: 61140854 markings, 155930720 edges, 536187 markings/sec, 110 secs
lola: 63669881 markings, 162520314 edges, 505805 markings/sec, 115 secs
lola: 66059822 markings, 168840915 edges, 477988 markings/sec, 120 secs
lola: 68600960 markings, 175307630 edges, 508228 markings/sec, 125 secs
lola: 71119667 markings, 181775025 edges, 503741 markings/sec, 130 secs
lola: 73552494 markings, 188162556 edges, 486565 markings/sec, 135 secs
lola: 76070161 markings, 194713092 edges, 503533 markings/sec, 140 secs
lola: 78612512 markings, 201174581 edges, 508470 markings/sec, 145 secs
lola: 81133268 markings, 207740736 edges, 504151 markings/sec, 150 secs
lola: 83642794 markings, 214295742 edges, 501905 markings/sec, 155 secs
lola: 86101160 markings, 220618197 edges, 491673 markings/sec, 160 secs
lola: 88678236 markings, 227232461 edges, 515415 markings/sec, 165 secs
lola: 91193990 markings, 233830034 edges, 503151 markings/sec, 170 secs
lola: 93639474 markings, 240183929 edges, 489097 markings/sec, 175 secs
lola: 96284222 markings, 246907204 edges, 528950 markings/sec, 180 secs
lola: 98768476 markings, 253427288 edges, 496851 markings/sec, 185 secs
lola: 101135975 markings, 259632954 edges, 473500 markings/sec, 190 secs
lola: 103719754 markings, 266156049 edges, 516756 markings/sec, 195 secs
lola: 106196535 markings, 272635695 edges, 495356 markings/sec, 200 secs
lola: 108544162 markings, 278842841 edges, 469525 markings/sec, 205 secs
lola: 111087493 markings, 285267589 edges, 508666 markings/sec, 210 secs
lola: 113575064 markings, 291719323 edges, 497514 markings/sec, 215 secs
lola: 115992028 markings, 298105234 edges, 483393 markings/sec, 220 secs
lola: 118532770 markings, 304571614 edges, 508148 markings/sec, 225 secs
lola: 121040854 markings, 311049090 edges, 501617 markings/sec, 230 secs
lola: 123433206 markings, 317361052 edges, 478470 markings/sec, 235 secs
lola: 125976679 markings, 323851490 edges, 508695 markings/sec, 240 secs
lola: 128500904 markings, 330361705 edges, 504845 markings/sec, 245 secs
lola: 130892959 markings, 336671449 edges, 478411 markings/sec, 250 secs
lola: 133451222 markings, 343184981 edges, 511653 markings/sec, 255 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 261 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(G6P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 5117058 markings, 8585962 edges, 1023412 markings/sec, 0 secs
lola: 9758125 markings, 16453476 edges, 928213 markings/sec, 5 secs
lola: 13853915 markings, 23754269 edges, 819158 markings/sec, 10 secs
lola: 18658484 markings, 31383881 edges, 960914 markings/sec, 15 secs
lola: 22773929 markings, 38594316 edges, 823089 markings/sec, 20 secs
lola: 27654733 markings, 46118237 edges, 976161 markings/sec, 25 secs
lola: 32054378 markings, 53019306 edges, 879929 markings/sec, 30 secs
lola: 36235480 markings, 60589783 edges, 836220 markings/sec, 35 secs
lola: 41101481 markings, 67977784 edges, 973200 markings/sec, 40 secs
lola: 45450863 markings, 74623394 edges, 869876 markings/sec, 45 secs
lola: 49701631 markings, 81370103 edges, 850154 markings/sec, 50 secs
lola: 53978280 markings, 89143460 edges, 855330 markings/sec, 55 secs
lola: 58759052 markings, 96329854 edges, 956154 markings/sec, 60 secs
lola: 62931884 markings, 102705534 edges, 834566 markings/sec, 65 secs
lola: 67368235 markings, 109455557 edges, 887270 markings/sec, 70 secs
lola: 71667248 markings, 116584743 edges, 859803 markings/sec, 75 secs
lola: 75757600 markings, 123963760 edges, 818070 markings/sec, 80 secs
lola: 79545852 markings, 130427898 edges, 757650 markings/sec, 85 secs
lola: 83296009 markings, 136872573 edges, 750031 markings/sec, 90 secs
lola: 86961400 markings, 143273201 edges, 733078 markings/sec, 95 secs
lola: 90498171 markings, 149565190 edges, 707354 markings/sec, 100 secs
lola: 94040441 markings, 155895266 edges, 708454 markings/sec, 105 secs
lola: 97577629 markings, 162239341 edges, 707438 markings/sec, 110 secs
lola: 100609351 markings, 167734295 edges, 606344 markings/sec, 115 secs
lola: 103221376 markings, 173218560 edges, 522405 markings/sec, 120 secs
lola: 105207746 markings, 179628549 edges, 397274 markings/sec, 125 secs
lola: 106989117 markings, 185903892 edges, 356274 markings/sec, 130 secs
lola: 108704105 markings, 192005927 edges, 342998 markings/sec, 135 secs
lola: 110405472 markings, 198188825 edges, 340273 markings/sec, 140 secs
lola: 112255243 markings, 204313404 edges, 369954 markings/sec, 145 secs
lola: 113868054 markings, 210358155 edges, 322562 markings/sec, 150 secs
lola: 115712697 markings, 216653950 edges, 368929 markings/sec, 155 secs
lola: 117338497 markings, 222616958 edges, 325160 markings/sec, 160 secs
lola: 119116930 markings, 228822948 edges, 355687 markings/sec, 165 secs
lola: 120745110 markings, 234769019 edges, 325636 markings/sec, 170 secs
lola: 122492552 markings, 240915888 edges, 349488 markings/sec, 175 secs
lola: 124147807 markings, 246899346 edges, 331051 markings/sec, 180 secs
lola: 125837442 markings, 252924267 edges, 337927 markings/sec, 185 secs
lola: 127499035 markings, 258840792 edges, 332319 markings/sec, 190 secs
lola: 129145002 markings, 264824210 edges, 329193 markings/sec, 195 secs
lola: 130929577 markings, 270737055 edges, 356915 markings/sec, 200 secs
lola: 132445717 markings, 276563838 edges, 303228 markings/sec, 205 secs
lola: 134284763 markings, 282701394 edges, 367809 markings/sec, 210 secs
lola: 135823144 markings, 288451209 edges, 307676 markings/sec, 215 secs
lola: 137610767 markings, 294529914 edges, 357525 markings/sec, 220 secs
lola: 139163212 markings, 300278837 edges, 310489 markings/sec, 225 secs
lola: 140875884 markings, 306230918 edges, 342534 markings/sec, 230 secs
lola: 142444116 markings, 311991949 edges, 313646 markings/sec, 235 secs
lola: 144134235 markings, 317896344 edges, 338024 markings/sec, 240 secs
lola: 145725772 markings, 323640106 edges, 318307 markings/sec, 245 secs
lola: 147334852 markings, 329351319 edges, 321816 markings/sec, 250 secs
lola: 148947344 markings, 335119973 edges, 322498 markings/sec, 255 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 262 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: 4456435 markings, 8047334 edges, 891287 markings/sec, 0 secs
lola: 8790014 markings, 15895044 edges, 866716 markings/sec, 5 secs
lola: 13070036 markings, 23646359 edges, 856004 markings/sec, 10 secs
lola: 17390943 markings, 31072412 edges, 864181 markings/sec, 15 secs
lola: 21561271 markings, 38172166 edges, 834066 markings/sec, 20 secs
lola: 25723547 markings, 45260431 edges, 832455 markings/sec, 25 secs
lola: 29974607 markings, 52192648 edges, 850212 markings/sec, 30 secs
lola: 34028018 markings, 59451671 edges, 810682 markings/sec, 35 secs
lola: 38196467 markings, 67002020 edges, 833690 markings/sec, 40 secs
lola: 42511320 markings, 74818414 edges, 862971 markings/sec, 45 secs
lola: 46805050 markings, 82597067 edges, 858746 markings/sec, 50 secs
lola: 51071590 markings, 90326979 edges, 853308 markings/sec, 55 secs
lola: 55620118 markings, 97374675 edges, 909706 markings/sec, 60 secs
lola: 60005301 markings, 104151154 edges, 877037 markings/sec, 65 secs
lola: 64345608 markings, 110841156 edges, 868061 markings/sec, 70 secs
lola: 68633905 markings, 117591633 edges, 857659 markings/sec, 75 secs
lola: 71960190 markings, 124258666 edges, 665257 markings/sec, 80 secs
lola: 75728327 markings, 130848159 edges, 753627 markings/sec, 85 secs
lola: 79707252 markings, 137628045 edges, 795785 markings/sec, 90 secs
lola: 83771270 markings, 144554866 edges, 812804 markings/sec, 95 secs
lola: 87846013 markings, 151501760 edges, 814949 markings/sec, 100 secs
lola: 91974615 markings, 158542846 edges, 825720 markings/sec, 105 secs
lola: 96047578 markings, 165134836 edges, 814593 markings/sec, 110 secs
lola: 99841228 markings, 171218269 edges, 758730 markings/sec, 115 secs
lola: 104166996 markings, 177879966 edges, 865154 markings/sec, 120 secs
lola: 108771071 markings, 184792187 edges, 920815 markings/sec, 125 secs
lola: 113279232 markings, 191557523 edges, 901632 markings/sec, 130 secs
lola: 117755699 markings, 198275295 edges, 895293 markings/sec, 135 secs
lola: 122061226 markings, 204939689 edges, 861105 markings/sec, 140 secs
lola: 125840471 markings, 210993558 edges, 755849 markings/sec, 145 secs
lola: 129864098 markings, 217271879 edges, 804725 markings/sec, 150 secs
lola: 134034245 markings, 223704446 edges, 834029 markings/sec, 155 secs
lola: 138313078 markings, 230306632 edges, 855767 markings/sec, 160 secs
lola: 142602295 markings, 236926865 edges, 857843 markings/sec, 165 secs
lola: 146902295 markings, 243565685 edges, 860000 markings/sec, 170 secs
lola: 151233083 markings, 250254509 edges, 866158 markings/sec, 175 secs
lola: 155071411 markings, 257112828 edges, 767666 markings/sec, 180 secs
lola: 158202162 markings, 263383973 edges, 626150 markings/sec, 185 secs
lola: 161344446 markings, 269677869 edges, 628457 markings/sec, 190 secs
lola: 164883694 markings, 276374582 edges, 707850 markings/sec, 195 secs
lola: 168675079 markings, 282454825 edges, 758277 markings/sec, 200 secs
lola: 172517077 markings, 288615535 edges, 768400 markings/sec, 205 secs
lola: 176583017 markings, 295856999 edges, 813188 markings/sec, 210 secs
lola: 180317757 markings, 302596869 edges, 746948 markings/sec, 215 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(_2PG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4204292 markings, 8708488 edges, 840858 markings/sec, 0 secs
lola: 8393576 markings, 16569810 edges, 837857 markings/sec, 5 secs
lola: 11905708 markings, 23009935 edges, 702426 markings/sec, 10 secs
lola: 15285309 markings, 29201397 edges, 675920 markings/sec, 15 secs
lola: 18608930 markings, 35286994 edges, 664724 markings/sec, 20 secs
lola: 21866618 markings, 41242177 edges, 651538 markings/sec, 25 secs
lola: 25156895 markings, 47298660 edges, 658055 markings/sec, 30 secs
lola: 28908828 markings, 54275316 edges, 750387 markings/sec, 35 secs
lola: 32490978 markings, 60956749 edges, 716430 markings/sec, 40 secs
lola: 35927587 markings, 67367815 edges, 687322 markings/sec, 45 secs
lola: 39351981 markings, 73756124 edges, 684879 markings/sec, 50 secs
lola: 42686012 markings, 79975989 edges, 666806 markings/sec, 55 secs
lola: 46015547 markings, 86186966 edges, 665907 markings/sec, 60 secs
lola: 49370094 markings, 92444110 edges, 670909 markings/sec, 65 secs
lola: 52736993 markings, 98724203 edges, 673380 markings/sec, 70 secs
lola: 56009571 markings, 104829319 edges, 654516 markings/sec, 75 secs
lola: 59292789 markings, 110952906 edges, 656644 markings/sec, 80 secs
lola: 62567161 markings, 117060187 edges, 654874 markings/sec, 85 secs
lola: 65834913 markings, 123155367 edges, 653550 markings/sec, 90 secs
lola: 69122817 markings, 129288179 edges, 657581 markings/sec, 95 secs
lola: 72422504 markings, 135441779 edges, 659937 markings/sec, 100 secs
lola: 75715473 markings, 141582783 edges, 658594 markings/sec, 105 secs
lola: 79004488 markings, 147716385 edges, 657803 markings/sec, 110 secs
lola: 82298909 markings, 153860451 edges, 658884 markings/sec, 115 secs
lola: 85612998 markings, 160039736 edges, 662818 markings/sec, 120 secs
lola: 88961159 markings, 166282690 edges, 669632 markings/sec, 125 secs
lola: 92298117 markings, 172504308 edges, 667392 markings/sec, 130 secs
lola: 95645057 markings, 178743722 edges, 669388 markings/sec, 135 secs
lola: 99004519 markings, 185006078 edges, 671892 markings/sec, 140 secs
lola: 102368043 markings, 191274927 edges, 672705 markings/sec, 145 secs
lola: 105764339 markings, 197603254 edges, 679259 markings/sec, 150 secs
lola: 109218857 markings, 204037362 edges, 690904 markings/sec, 155 secs
lola: 112887519 markings, 210877361 edges, 733732 markings/sec, 160 secs
lola: 116326309 markings, 217307082 edges, 687758 markings/sec, 165 secs
lola: 119772508 markings, 223750419 edges, 689240 markings/sec, 170 secs
lola: 123440597 markings, 230611888 edges, 733618 markings/sec, 175 secs
lola: 127110046 markings, 237476011 edges, 733890 markings/sec, 180 secs
lola: 130671567 markings, 244138448 edges, 712304 markings/sec, 185 secs
lola: 134227635 markings, 250791586 edges, 711214 markings/sec, 190 secs
lola: 137781075 markings, 257438959 edges, 710688 markings/sec, 195 secs
lola: 141346602 markings, 264109496 edges, 713105 markings/sec, 200 secs
lola: 144860323 markings, 270683089 edges, 702744 markings/sec, 205 secs
lola: 148392946 markings, 277292154 edges, 706525 markings/sec, 210 secs
lola: 151938905 markings, 283926120 edges, 709192 markings/sec, 215 secs
lola: 155456430 markings, 290506949 edges, 703505 markings/sec, 220 secs
lola: 158909093 markings, 296966962 edges, 690533 markings/sec, 225 secs
lola: 162431666 markings, 303565377 edges, 704515 markings/sec, 230 secs
lola: 165916251 markings, 310096410 edges, 696917 markings/sec, 235 secs
lola: 169338729 markings, 316497165 edges, 684496 markings/sec, 240 secs
lola: 172714957 markings, 322813107 edges, 675246 markings/sec, 245 secs
lola: 176294325 markings, 329503543 edges, 715874 markings/sec, 250 secs
lola: 179846751 markings, 336145634 edges, 710485 markings/sec, 255 secs
lola: 183338205 markings, 342677745 edges, 698291 markings/sec, 260 secs
lola: 186745921 markings, 349053799 edges, 681543 markings/sec, 265 secs
lola: 190201508 markings, 355518890 edges, 691117 markings/sec, 270 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown 396 unknown unknown 396 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-1 396 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-4 396 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C0100N0000001000-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496398617501

--------------------
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-C0100N0000001000"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_GPPP-PT-C0100N0000001000.tgz
mv S_GPPP-PT-C0100N0000001000 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_GPPP-PT-C0100N0000001000, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r108-blw3-149441612600542"
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 ;