fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r108-blw3-149441612600542
Last Updated
June 27, 2017

About the Execution of LoLA for S_GPPP-PT-C0100N0000001000

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15952.770 3520231.00 3526391.00 1803.50 ? 396 ? ? ? ? ? ? ? ? 396 ? ? ? ? ? normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is 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 ;