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

--------------------
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-C1000N0000001000-UpperBounds-0
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-1
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-10
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-11
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-12
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-13
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-14
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-15
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-2
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-3
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-4
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-5
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-6
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-7
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-8
FORMULA_NAME GPPP-PT-C1000N0000001000-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496399923298


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


checking for too many tokens
===========================================================================================
S_GPPP-PT-C1000N0000001000: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_GPPP-PT-C1000N0000001000 @ 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-C1000N0000001000-UpperBounds.task
lola: MAX(G6P) : MAX(NADPH) : MAX(ATP) : MAX(Pi) : MAX(G6P) : MAX(_2PG) : MAX(a2) : MAX(start) : MAX(Gluc) : MAX(ATP) : MAX(_3PG) : MAX(G6P) : MAX(Ru5P) : MAX(DHAP) : MAX(_2PG) : MAX(GSH)
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(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: 4294771 markings, 8560485 edges, 858954 markings/sec, 0 secs
lola: 8459414 markings, 16499053 edges, 832929 markings/sec, 5 secs
lola: 13086374 markings, 23902189 edges, 925392 markings/sec, 10 secs
lola: 17461432 markings, 30902282 edges, 875012 markings/sec, 15 secs
lola: 21475484 markings, 37922928 edges, 802810 markings/sec, 20 secs
lola: 24082286 markings, 43136532 edges, 521360 markings/sec, 25 secs
lola: 27656860 markings, 50279690 edges, 714915 markings/sec, 30 secs
lola: 31318975 markings, 57603922 edges, 732423 markings/sec, 35 secs
lola: 35012730 markings, 64991430 edges, 738751 markings/sec, 40 secs
lola: 38641472 markings, 72248916 edges, 725748 markings/sec, 45 secs
lola: 43290650 markings, 80190278 edges, 929836 markings/sec, 50 secs
lola: 47602444 markings, 87089147 edges, 862359 markings/sec, 55 secs
lola: 51796681 markings, 93799928 edges, 838847 markings/sec, 60 secs
lola: 55889466 markings, 101084805 edges, 818557 markings/sec, 65 secs
lola: 59915277 markings, 108375676 edges, 805162 markings/sec, 70 secs
lola: 63924017 markings, 115634335 edges, 801748 markings/sec, 75 secs
lola: 67966661 markings, 122950810 edges, 808529 markings/sec, 80 secs
lola: 71854314 markings, 129992839 edges, 777531 markings/sec, 85 secs
lola: 75792623 markings, 137125029 edges, 787662 markings/sec, 90 secs
lola: 79908786 markings, 144582483 edges, 823233 markings/sec, 95 secs
lola: 84020899 markings, 152033989 edges, 822423 markings/sec, 100 secs
lola: 88029246 markings, 159295923 edges, 801669 markings/sec, 105 secs
lola: 92005336 markings, 166505187 edges, 795218 markings/sec, 110 secs
lola: 95970528 markings, 173696718 edges, 793038 markings/sec, 115 secs
lola: 99826057 markings, 180688325 edges, 771106 markings/sec, 120 secs
lola: 103692408 markings, 187698424 edges, 773270 markings/sec, 125 secs
lola: 107886823 markings, 195305015 edges, 838883 markings/sec, 130 secs
lola: 111944266 markings, 202668814 edges, 811489 markings/sec, 135 secs
lola: 115953762 markings, 209942831 edges, 801899 markings/sec, 140 secs
lola: 119989488 markings, 217265210 edges, 807145 markings/sec, 145 secs
lola: 123879755 markings, 224327113 edges, 778053 markings/sec, 150 secs
lola: 127819403 markings, 231483643 edges, 787930 markings/sec, 155 secs
lola: 131602205 markings, 238350333 edges, 756560 markings/sec, 160 secs
lola: 135615050 markings, 245637171 edges, 802569 markings/sec, 165 secs
lola: 139607944 markings, 252891625 edges, 798579 markings/sec, 170 secs
lola: 143364512 markings, 259718296 edges, 751314 markings/sec, 175 secs
lola: 147246328 markings, 266769184 edges, 776363 markings/sec, 180 secs
lola: 151092188 markings, 273755848 edges, 769172 markings/sec, 185 secs
lola: 154978912 markings, 280823233 edges, 777345 markings/sec, 190 secs
lola: 158742052 markings, 287664934 edges, 752628 markings/sec, 195 secs
lola: 162846265 markings, 294049062 edges, 820843 markings/sec, 200 secs
lola: 166579725 markings, 299649250 edges, 746692 markings/sec, 205 secs
lola: 170456794 markings, 305557585 edges, 775414 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(NADPH)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 5043663 markings, 7880497 edges, 1008733 markings/sec, 0 secs
lola: 9271452 markings, 14537923 edges, 845558 markings/sec, 5 secs
lola: 13765458 markings, 21010168 edges, 898801 markings/sec, 10 secs
lola: 18039049 markings, 27207352 edges, 854718 markings/sec, 15 secs
lola: 22150310 markings, 33382226 edges, 822252 markings/sec, 20 secs
lola: 26268310 markings, 39611923 edges, 823600 markings/sec, 25 secs
lola: 29943519 markings, 45221123 edges, 735042 markings/sec, 30 secs
lola: 33465475 markings, 50602199 edges, 704391 markings/sec, 35 secs
lola: 36995080 markings, 56102372 edges, 705921 markings/sec, 40 secs
lola: 40767704 markings, 61897889 edges, 754525 markings/sec, 45 secs
lola: 44018380 markings, 66922658 edges, 650135 markings/sec, 50 secs
lola: 47779026 markings, 72609872 edges, 752129 markings/sec, 55 secs
lola: 51246404 markings, 77918375 edges, 693476 markings/sec, 60 secs
lola: 54960503 markings, 83669911 edges, 742820 markings/sec, 65 secs
lola: 59394481 markings, 89974501 edges, 886796 markings/sec, 70 secs
lola: 63867427 markings, 96289678 edges, 894589 markings/sec, 75 secs
lola: 68034311 markings, 102489623 edges, 833377 markings/sec, 80 secs
lola: 71628455 markings, 107846286 edges, 718829 markings/sec, 85 secs
lola: 75444916 markings, 113797667 edges, 763292 markings/sec, 90 secs
lola: 78925799 markings, 119185893 edges, 696177 markings/sec, 95 secs
lola: 82589168 markings, 124939780 edges, 732674 markings/sec, 100 secs
lola: 85942592 markings, 130240667 edges, 670685 markings/sec, 105 secs
lola: 89046938 markings, 135138562 edges, 620869 markings/sec, 110 secs
lola: 92377864 markings, 140379838 edges, 666185 markings/sec, 115 secs
lola: 96038682 markings, 145909601 edges, 732164 markings/sec, 120 secs
lola: 99708383 markings, 151402799 edges, 733940 markings/sec, 125 secs
lola: 103390247 markings, 157171588 edges, 736373 markings/sec, 130 secs
lola: 106188958 markings, 161790659 edges, 559742 markings/sec, 135 secs
lola: 109124252 markings, 166376856 edges, 587059 markings/sec, 140 secs
lola: 113023703 markings, 171968065 edges, 779890 markings/sec, 145 secs
lola: 116868414 markings, 177568519 edges, 768942 markings/sec, 150 secs
lola: 120492966 markings, 183013955 edges, 724910 markings/sec, 155 secs
lola: 125071229 markings, 189636607 edges, 915653 markings/sec, 160 secs
lola: 128631081 markings, 194760331 edges, 711970 markings/sec, 165 secs
lola: 132284057 markings, 200309566 edges, 730595 markings/sec, 170 secs
lola: 135804377 markings, 205711171 edges, 704064 markings/sec, 175 secs
lola: 139361858 markings, 211161780 edges, 711496 markings/sec, 180 secs
lola: 142803088 markings, 216513077 edges, 688246 markings/sec, 185 secs
lola: 145626361 markings, 220946392 edges, 564655 markings/sec, 190 secs
lola: 148975443 markings, 226149668 edges, 669816 markings/sec, 195 secs
lola: 152121825 markings, 231162749 edges, 629276 markings/sec, 200 secs
lola: 155523987 markings, 236454749 edges, 680432 markings/sec, 205 secs
lola: 158435814 markings, 241052865 edges, 582365 markings/sec, 210 secs
lola: 161588022 markings, 245977562 edges, 630442 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ATP)
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: 4542937 markings, 9725094 edges, 908587 markings/sec, 0 secs
lola: 8896402 markings, 19082838 edges, 870693 markings/sec, 5 secs
lola: 13155986 markings, 28240105 edges, 851917 markings/sec, 10 secs
lola: 17360600 markings, 37280621 edges, 840923 markings/sec, 15 secs
lola: 21488369 markings, 46157161 edges, 825554 markings/sec, 20 secs
lola: 25633984 markings, 55071477 edges, 829123 markings/sec, 25 secs
lola: 29727253 markings, 63873846 edges, 818654 markings/sec, 30 secs
lola: 33621511 markings, 72926220 edges, 778852 markings/sec, 35 secs
lola: 36672599 markings, 82525985 edges, 610218 markings/sec, 40 secs
lola: 39614112 markings, 91785143 edges, 588303 markings/sec, 45 secs
lola: 42501727 markings, 100875920 edges, 577523 markings/sec, 50 secs
lola: 45371925 markings, 109912780 edges, 574040 markings/sec, 55 secs
lola: 48230043 markings, 118912106 edges, 571624 markings/sec, 60 secs
lola: 51117184 markings, 128003457 edges, 577428 markings/sec, 65 secs
lola: 54091643 markings, 137369007 edges, 594892 markings/sec, 70 secs
lola: 57048687 markings, 146681295 edges, 591409 markings/sec, 75 secs
lola: 59958754 markings, 155844699 edges, 582013 markings/sec, 80 secs
lola: 62941955 markings, 165228516 edges, 596640 markings/sec, 85 secs
lola: 65907074 markings, 174554064 edges, 593024 markings/sec, 90 secs
lola: 68755370 markings, 183519603 edges, 569659 markings/sec, 95 secs
lola: 71561329 markings, 192352723 edges, 561192 markings/sec, 100 secs
lola: 74343721 markings, 201112910 edges, 556478 markings/sec, 105 secs
lola: 77120202 markings, 209855308 edges, 555296 markings/sec, 110 secs
lola: 79865957 markings, 218500696 edges, 549151 markings/sec, 115 secs
lola: 82597940 markings, 227103433 edges, 546397 markings/sec, 120 secs
lola: 85334206 markings, 235719374 edges, 547253 markings/sec, 125 secs
lola: 88086862 markings, 244387605 edges, 550531 markings/sec, 130 secs
lola: 90861506 markings, 253125148 edges, 554929 markings/sec, 135 secs
lola: 93723794 markings, 262122083 edges, 572458 markings/sec, 140 secs
lola: 96569137 markings, 271075134 edges, 569069 markings/sec, 145 secs
lola: 99327564 markings, 279758257 edges, 551685 markings/sec, 150 secs
lola: 102044384 markings, 288311102 edges, 543364 markings/sec, 155 secs
lola: 104709597 markings, 296702307 edges, 533043 markings/sec, 160 secs
lola: 107438892 markings, 305296114 edges, 545859 markings/sec, 165 secs
lola: 110118795 markings, 313734617 edges, 535981 markings/sec, 170 secs
lola: 112784330 markings, 322127401 edges, 533107 markings/sec, 175 secs
lola: 115486337 markings, 330636136 edges, 540401 markings/sec, 180 secs
lola: 118220916 markings, 339247159 edges, 546916 markings/sec, 185 secs
lola: 120978206 markings, 347930160 edges, 551458 markings/sec, 190 secs
lola: 123881720 markings, 357054496 edges, 580703 markings/sec, 195 secs
lola: 126834029 markings, 366340202 edges, 590462 markings/sec, 200 secs
lola: 129696934 markings, 375347205 edges, 572581 markings/sec, 205 secs
lola: 132519977 markings, 384229985 edges, 564609 markings/sec, 210 secs
lola: 135327611 markings, 393064748 edges, 561527 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pi)
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: 4589280 markings, 9148506 edges, 917856 markings/sec, 0 secs
lola: 8974724 markings, 17919392 edges, 877089 markings/sec, 5 secs
lola: 14400197 markings, 26600112 edges, 1085095 markings/sec, 10 secs
lola: 19403462 markings, 34605336 edges, 1000653 markings/sec, 15 secs
lola: 24314361 markings, 42600685 edges, 982180 markings/sec, 20 secs
lola: 28033648 markings, 50039258 edges, 743857 markings/sec, 25 secs
lola: 31958758 markings, 57882491 edges, 785022 markings/sec, 30 secs
lola: 36296514 markings, 66558005 edges, 867551 markings/sec, 35 secs
lola: 40492929 markings, 74950834 edges, 839283 markings/sec, 40 secs
lola: 44645436 markings, 83255850 edges, 830501 markings/sec, 45 secs
lola: 49101548 markings, 91675728 edges, 891222 markings/sec, 50 secs
lola: 53949978 markings, 99433217 edges, 969686 markings/sec, 55 secs
lola: 58569098 markings, 106823811 edges, 923824 markings/sec, 60 secs
lola: 63147851 markings, 114183712 edges, 915751 markings/sec, 65 secs
lola: 67246498 markings, 121554942 edges, 819729 markings/sec, 70 secs
lola: 71276661 markings, 128815018 edges, 806033 markings/sec, 75 secs
lola: 75331429 markings, 136128836 edges, 810954 markings/sec, 80 secs
lola: 79325244 markings, 143349400 edges, 798763 markings/sec, 85 secs
lola: 83330975 markings, 150564686 edges, 801146 markings/sec, 90 secs
lola: 87348833 markings, 157825155 edges, 803572 markings/sec, 95 secs
lola: 91380073 markings, 165080209 edges, 806248 markings/sec, 100 secs
lola: 95394212 markings, 172355895 edges, 802828 markings/sec, 105 secs
lola: 99303754 markings, 179389436 edges, 781908 markings/sec, 110 secs
lola: 103288792 markings, 186584649 edges, 797008 markings/sec, 115 secs
lola: 107168340 markings, 193602467 edges, 775910 markings/sec, 120 secs
lola: 111097322 markings, 200689071 edges, 785796 markings/sec, 125 secs
lola: 115027486 markings, 207817365 edges, 786033 markings/sec, 130 secs
lola: 118931030 markings, 214813140 edges, 780709 markings/sec, 135 secs
lola: 122821830 markings, 221875863 edges, 778160 markings/sec, 140 secs
lola: 126808233 markings, 229068622 edges, 797281 markings/sec, 145 secs
lola: 130803319 markings, 236272433 edges, 799017 markings/sec, 150 secs
lola: 134773934 markings, 243445750 edges, 794123 markings/sec, 155 secs
lola: 138736777 markings, 250602796 edges, 792569 markings/sec, 160 secs
lola: 142661901 markings, 257737606 edges, 785025 markings/sec, 165 secs
lola: 146662642 markings, 264888205 edges, 800148 markings/sec, 170 secs
lola: 150661047 markings, 272151459 edges, 799681 markings/sec, 175 secs
lola: 154591941 markings, 279258162 edges, 786179 markings/sec, 180 secs
lola: 158578437 markings, 286455039 edges, 797299 markings/sec, 185 secs
lola: 162523594 markings, 293547140 edges, 789031 markings/sec, 190 secs
lola: 166504896 markings, 300809421 edges, 796260 markings/sec, 195 secs
lola: 170482105 markings, 307969064 edges, 795442 markings/sec, 200 secs
lola: 174498247 markings, 315153169 edges, 803228 markings/sec, 205 secs
lola: 178455352 markings, 322345685 edges, 791421 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 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: 4803957 markings, 9578856 edges, 960791 markings/sec, 0 secs
lola: 9790654 markings, 18629038 edges, 997339 markings/sec, 5 secs
lola: 15123939 markings, 27162292 edges, 1066657 markings/sec, 10 secs
lola: 20058488 markings, 35088936 edges, 986910 markings/sec, 15 secs
lola: 23778196 markings, 42528352 edges, 743942 markings/sec, 20 secs
lola: 28116439 markings, 51198850 edges, 867649 markings/sec, 25 secs
lola: 32391510 markings, 59748992 edges, 855014 markings/sec, 30 secs
lola: 36436248 markings, 67838465 edges, 808948 markings/sec, 35 secs
lola: 40755943 markings, 76134746 edges, 863939 markings/sec, 40 secs
lola: 46051361 markings, 84607415 edges, 1059084 markings/sec, 45 secs
lola: 50794838 markings, 92196977 edges, 948695 markings/sec, 50 secs
lola: 55340676 markings, 100095120 edges, 909168 markings/sec, 55 secs
lola: 59806309 markings, 108177711 edges, 893127 markings/sec, 60 secs
lola: 64143448 markings, 116031041 edges, 867428 markings/sec, 65 secs
lola: 68508330 markings, 123932172 edges, 872976 markings/sec, 70 secs
lola: 72820045 markings, 131739016 edges, 862343 markings/sec, 75 secs
lola: 77042088 markings, 139389611 edges, 844409 markings/sec, 80 secs
lola: 81433051 markings, 147342720 edges, 878193 markings/sec, 85 secs
lola: 85699815 markings, 155072316 edges, 853353 markings/sec, 90 secs
lola: 89854752 markings, 162603398 edges, 830987 markings/sec, 95 secs
lola: 94124957 markings, 170345047 edges, 854041 markings/sec, 100 secs
lola: 98289899 markings, 177896141 edges, 832988 markings/sec, 105 secs
lola: 102343872 markings, 185249859 edges, 810795 markings/sec, 110 secs
lola: 106575378 markings, 192929486 edges, 846301 markings/sec, 115 secs
lola: 110619086 markings, 200259369 edges, 808742 markings/sec, 120 secs
lola: 114657134 markings, 207590555 edges, 807610 markings/sec, 125 secs
lola: 118609093 markings, 214760391 edges, 790392 markings/sec, 130 secs
lola: 122606161 markings, 222015672 edges, 799414 markings/sec, 135 secs
lola: 126524683 markings, 229133833 edges, 783704 markings/sec, 140 secs
lola: 130394513 markings, 236154605 edges, 773966 markings/sec, 145 secs
lola: 134364662 markings, 243366046 edges, 794030 markings/sec, 150 secs
lola: 138299856 markings, 250515758 edges, 787039 markings/sec, 155 secs
lola: 142216276 markings, 257631490 edges, 783284 markings/sec, 160 secs
lola: 146079899 markings, 264649843 edges, 772725 markings/sec, 165 secs
lola: 150009457 markings, 271790078 edges, 785912 markings/sec, 170 secs
lola: 153860174 markings, 278792596 edges, 770143 markings/sec, 175 secs
lola: 157769255 markings, 285893087 edges, 781816 markings/sec, 180 secs
lola: 162220201 markings, 293109965 edges, 890189 markings/sec, 185 secs
lola: 166418261 markings, 299407057 edges, 839612 markings/sec, 190 secs
lola: 170379997 markings, 305434711 edges, 792347 markings/sec, 195 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 223 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: 4342041 markings, 9318242 edges, 868408 markings/sec, 0 secs
lola: 8632710 markings, 18575174 edges, 858134 markings/sec, 5 secs
lola: 12839512 markings, 27654939 edges, 841360 markings/sec, 10 secs
lola: 17012960 markings, 36664733 edges, 834690 markings/sec, 15 secs
lola: 21189646 markings, 45682396 edges, 835337 markings/sec, 20 secs
lola: 25411828 markings, 54799676 edges, 844436 markings/sec, 25 secs
lola: 29501211 markings, 63630198 edges, 817877 markings/sec, 30 secs
lola: 33570737 markings, 72419164 edges, 813905 markings/sec, 35 secs
lola: 37638587 markings, 81203949 edges, 813570 markings/sec, 40 secs
lola: 41691855 markings, 89958407 edges, 810654 markings/sec, 45 secs
lola: 45783605 markings, 98796043 edges, 818350 markings/sec, 50 secs
lola: 49836232 markings, 107548804 edges, 810525 markings/sec, 55 secs
lola: 53934308 markings, 116400968 edges, 819615 markings/sec, 60 secs
lola: 57910215 markings, 124988568 edges, 795181 markings/sec, 65 secs
lola: 61827041 markings, 133449376 edges, 783365 markings/sec, 70 secs
lola: 65733080 markings, 141887159 edges, 781208 markings/sec, 75 secs
lola: 69661886 markings, 150373647 edges, 785761 markings/sec, 80 secs
lola: 73618638 markings, 158921135 edges, 791350 markings/sec, 85 secs
lola: 77516043 markings, 167339460 edges, 779481 markings/sec, 90 secs
lola: 81387511 markings, 175703253 edges, 774294 markings/sec, 95 secs
lola: 85269868 markings, 184090157 edges, 776471 markings/sec, 100 secs
lola: 89247505 markings, 192683014 edges, 795527 markings/sec, 105 secs
lola: 93051995 markings, 200895985 edges, 760898 markings/sec, 110 secs
lola: 95627868 markings, 206477842 edges, 515175 markings/sec, 115 secs
lola: 98152863 markings, 211942739 edges, 504999 markings/sec, 120 secs
lola: 100804607 markings, 217677781 edges, 530349 markings/sec, 125 secs
lola: 103208673 markings, 222885576 edges, 480813 markings/sec, 130 secs
lola: 105794669 markings, 228477823 edges, 517199 markings/sec, 135 secs
lola: 108591533 markings, 234536142 edges, 559373 markings/sec, 140 secs
lola: 111261265 markings, 240309191 edges, 533946 markings/sec, 145 secs
lola: 114020751 markings, 246284267 edges, 551897 markings/sec, 150 secs
lola: 116569287 markings, 251803603 edges, 509707 markings/sec, 155 secs
lola: 119009589 markings, 257089987 edges, 488060 markings/sec, 160 secs
lola: 121953149 markings, 263453840 edges, 588712 markings/sec, 165 secs
lola: 124743315 markings, 269496713 edges, 558033 markings/sec, 170 secs
lola: 127287418 markings, 275006910 edges, 508821 markings/sec, 175 secs
lola: 130232166 markings, 281372383 edges, 588950 markings/sec, 180 secs
lola: 133112501 markings, 287608869 edges, 576067 markings/sec, 185 secs
lola: 135799853 markings, 293429184 edges, 537470 markings/sec, 190 secs
lola: 138460368 markings, 299190839 edges, 532103 markings/sec, 195 secs
lola: 141300976 markings, 305332548 edges, 568122 markings/sec, 200 secs
lola: 144525132 markings, 312312506 edges, 644831 markings/sec, 205 secs
lola: 147449414 markings, 318645133 edges, 584856 markings/sec, 210 secs
lola: 150282777 markings, 324781860 edges, 566673 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 223 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(a2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4443636 markings, 6276506 edges, 888727 markings/sec, 0 secs
lola: 8795877 markings, 12433663 edges, 870448 markings/sec, 5 secs
lola: 13145735 markings, 18586705 edges, 869972 markings/sec, 10 secs
lola: 17534664 markings, 24794990 edges, 877786 markings/sec, 15 secs
lola: 21836327 markings, 30880183 edges, 860333 markings/sec, 20 secs
lola: 26141871 markings, 36971643 edges, 861109 markings/sec, 25 secs
lola: 30408000 markings, 43005594 edges, 853226 markings/sec, 30 secs
lola: 34727360 markings, 49115748 edges, 863872 markings/sec, 35 secs
lola: 39029306 markings, 55202198 edges, 860389 markings/sec, 40 secs
lola: 43343886 markings, 61305012 edges, 862916 markings/sec, 45 secs
lola: 47674517 markings, 67431713 edges, 866126 markings/sec, 50 secs
lola: 51995761 markings, 73544492 edges, 864249 markings/sec, 55 secs
lola: 56321040 markings, 79662606 edges, 865056 markings/sec, 60 secs
lola: 60565876 markings, 85667673 edges, 848967 markings/sec, 65 secs
lola: 64850237 markings, 91728067 edges, 856872 markings/sec, 70 secs
lola: 69159986 markings, 97824242 edges, 861950 markings/sec, 75 secs
lola: 73344021 markings, 103717398 edges, 836807 markings/sec, 80 secs
lola: 76864039 markings, 108365078 edges, 704004 markings/sec, 85 secs
lola: 80122964 markings, 112699293 edges, 651785 markings/sec, 90 secs
lola: 84318600 markings, 118526348 edges, 839127 markings/sec, 95 secs
lola: 88993385 markings, 125064498 edges, 934957 markings/sec, 100 secs
lola: 93604551 markings, 131513184 edges, 922233 markings/sec, 105 secs
lola: 98232735 markings, 137986140 edges, 925637 markings/sec, 110 secs
lola: 102889186 markings, 144498496 edges, 931290 markings/sec, 115 secs
lola: 107506658 markings, 150956476 edges, 923494 markings/sec, 120 secs
lola: 112313745 markings, 157555671 edges, 961417 markings/sec, 125 secs
lola: 117611050 markings, 165306996 edges, 1059461 markings/sec, 130 secs
lola: SUBRESULT
lola: result: 2000
lola: produced by: state space
lola: The maximum value of the given expression is 2000
lola: ========================================
lola: subprocess 7 will run for 233 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(start)
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: 4549240 markings, 9068425 edges, 909848 markings/sec, 0 secs
lola: 9060042 markings, 18055864 edges, 902160 markings/sec, 5 secs
lola: 14499174 markings, 26758477 edges, 1087826 markings/sec, 10 secs
lola: 19532297 markings, 34811472 edges, 1006625 markings/sec, 15 secs
lola: 24412214 markings, 42796392 edges, 975983 markings/sec, 20 secs
lola: 28117048 markings, 50206060 edges, 740967 markings/sec, 25 secs
lola: 32108014 markings, 58181004 edges, 798193 markings/sec, 30 secs
lola: 36511342 markings, 66987663 edges, 880666 markings/sec, 35 secs
lola: 40743803 markings, 75452584 edges, 846492 markings/sec, 40 secs
lola: 44916566 markings, 83798107 edges, 834553 markings/sec, 45 secs
lola: 49417359 markings, 92181027 edges, 900159 markings/sec, 50 secs
lola: 54381069 markings, 100122964 edges, 992742 markings/sec, 55 secs
lola: 59006482 markings, 107523623 edges, 925083 markings/sec, 60 secs
lola: 63586505 markings, 114968036 edges, 916005 markings/sec, 65 secs
lola: 67632219 markings, 122242253 edges, 809143 markings/sec, 70 secs
lola: 71619490 markings, 129436529 edges, 797454 markings/sec, 75 secs
lola: 75611291 markings, 136647219 edges, 798360 markings/sec, 80 secs
lola: 79582749 markings, 143789329 edges, 794292 markings/sec, 85 secs
lola: 83553790 markings, 150961048 edges, 794208 markings/sec, 90 secs
lola: 87580779 markings, 158225760 edges, 805398 markings/sec, 95 secs
lola: 91580372 markings, 165471597 edges, 799919 markings/sec, 100 secs
lola: 95603402 markings, 172711926 edges, 804606 markings/sec, 105 secs
lola: 99530393 markings, 179822898 edges, 785398 markings/sec, 110 secs
lola: 103503078 markings, 186959575 edges, 794537 markings/sec, 115 secs
lola: 107495962 markings, 194169451 edges, 798577 markings/sec, 120 secs
lola: 111505764 markings, 201405917 edges, 801960 markings/sec, 125 secs
lola: 115509840 markings, 208649993 edges, 800815 markings/sec, 130 secs
lola: 119535149 markings, 215951535 edges, 805062 markings/sec, 135 secs
lola: 123498319 markings, 223084782 edges, 792634 markings/sec, 140 secs
lola: 127486976 markings, 230258361 edges, 797731 markings/sec, 145 secs
lola: 131420490 markings, 237380427 edges, 786703 markings/sec, 150 secs
lola: 135363006 markings, 244492682 edges, 788503 markings/sec, 155 secs
lola: 139315125 markings, 251606305 edges, 790424 markings/sec, 160 secs
lola: 143252288 markings, 258778939 edges, 787433 markings/sec, 165 secs
lola: 147254477 markings, 266022525 edges, 800438 markings/sec, 170 secs
lola: 151203634 markings, 273087891 edges, 789831 markings/sec, 175 secs
lola: 155166953 markings, 280276716 edges, 792664 markings/sec, 180 secs
lola: 159073319 markings, 287287225 edges, 781273 markings/sec, 185 secs
lola: 162939027 markings, 294377104 edges, 773142 markings/sec, 190 secs
lola: 166849840 markings, 301378813 edges, 782163 markings/sec, 195 secs
lola: 170237905 markings, 307501020 edges, 677613 markings/sec, 200 secs
lola: 174080437 markings, 314477600 edges, 768506 markings/sec, 205 secs
lola: 177990472 markings, 321493772 edges, 782007 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 235 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: 4428178 markings, 8826300 edges, 885636 markings/sec, 0 secs
lola: 8423738 markings, 16817422 edges, 799112 markings/sec, 5 secs
lola: 13534776 markings, 25215439 edges, 1022208 markings/sec, 10 secs
lola: 18420763 markings, 33033017 edges, 977197 markings/sec, 15 secs
lola: 23378932 markings, 40966088 edges, 991634 markings/sec, 20 secs
lola: 27184682 markings, 48341328 edges, 761150 markings/sec, 25 secs
lola: 30636989 markings, 55238956 edges, 690461 markings/sec, 30 secs
lola: 34957810 markings, 63880595 edges, 864164 markings/sec, 35 secs
lola: 39133534 markings, 72232047 edges, 835145 markings/sec, 40 secs
lola: 43287182 markings, 80539340 edges, 830730 markings/sec, 45 secs
lola: 47471517 markings, 88908010 edges, 836867 markings/sec, 50 secs
lola: 52405740 markings, 96962437 edges, 986845 markings/sec, 55 secs
lola: 57015398 markings, 104337891 edges, 921932 markings/sec, 60 secs
lola: 61617379 markings, 111701060 edges, 920396 markings/sec, 65 secs
lola: 65914007 markings, 119149414 edges, 859326 markings/sec, 70 secs
lola: 69892880 markings, 126315955 edges, 795775 markings/sec, 75 secs
lola: 73730828 markings, 133240841 edges, 767590 markings/sec, 80 secs
lola: 77685300 markings, 140358573 edges, 790894 markings/sec, 85 secs
lola: 81504364 markings, 147265111 edges, 763813 markings/sec, 90 secs
lola: 85441765 markings, 154383928 edges, 787480 markings/sec, 95 secs
lola: 89447033 markings, 161619963 edges, 801054 markings/sec, 100 secs
lola: 92545363 markings, 167196064 edges, 619666 markings/sec, 105 secs
lola: 96460620 markings, 174270204 edges, 783051 markings/sec, 110 secs
lola: 100334921 markings, 181284151 edges, 774860 markings/sec, 115 secs
lola: 104226823 markings, 188281214 edges, 778380 markings/sec, 120 secs
lola: 108107071 markings, 195296538 edges, 776050 markings/sec, 125 secs
lola: 112015334 markings, 202339646 edges, 781653 markings/sec, 130 secs
lola: 115866713 markings, 209297672 edges, 770276 markings/sec, 135 secs
lola: 119778065 markings, 216357541 edges, 782270 markings/sec, 140 secs
lola: 123668992 markings, 223357922 edges, 778185 markings/sec, 145 secs
lola: 127573996 markings, 230431561 edges, 781001 markings/sec, 150 secs
lola: 131550778 markings, 237641052 edges, 795356 markings/sec, 155 secs
lola: 135551772 markings, 244870295 edges, 800199 markings/sec, 160 secs
lola: 139522691 markings, 252010163 edges, 794184 markings/sec, 165 secs
lola: 143518577 markings, 259214157 edges, 799177 markings/sec, 170 secs
lola: 147522558 markings, 266463518 edges, 800796 markings/sec, 175 secs
lola: 151517949 markings, 273715665 edges, 799078 markings/sec, 180 secs
lola: 155542569 markings, 280966781 edges, 804924 markings/sec, 185 secs
lola: 159498883 markings, 288137562 edges, 791263 markings/sec, 190 secs
lola: 163521441 markings, 295379859 edges, 804512 markings/sec, 195 secs
lola: 167474978 markings, 302461579 edges, 790707 markings/sec, 200 secs
lola: 171407707 markings, 309649156 edges, 786546 markings/sec, 205 secs
lola: 175389396 markings, 316851453 edges, 796338 markings/sec, 210 secs
lola: 178680315 markings, 322795677 edges, 658184 markings/sec, 215 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ATP)
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: 4613196 markings, 9876023 edges, 922639 markings/sec, 0 secs
lola: 8935605 markings, 19166618 edges, 864482 markings/sec, 5 secs
lola: 13034558 markings, 27979084 edges, 819791 markings/sec, 10 secs
lola: 17115288 markings, 36753031 edges, 816146 markings/sec, 15 secs
lola: 21255380 markings, 45655812 edges, 828018 markings/sec, 20 secs
lola: 25360333 markings, 54483264 edges, 820991 markings/sec, 25 secs
lola: 29461752 markings, 63303633 edges, 820284 markings/sec, 30 secs
lola: 33508976 markings, 72572453 edges, 809445 markings/sec, 35 secs
lola: 36602435 markings, 82305075 edges, 618692 markings/sec, 40 secs
lola: 39611933 markings, 91778243 edges, 601900 markings/sec, 45 secs
lola: 42594949 markings, 101169882 edges, 596603 markings/sec, 50 secs
lola: 45541639 markings, 110447406 edges, 589338 markings/sec, 55 secs
lola: 48481724 markings, 119704466 edges, 588017 markings/sec, 60 secs
lola: 51432140 markings, 128994964 edges, 590083 markings/sec, 65 secs
lola: 54384880 markings, 138292866 edges, 590548 markings/sec, 70 secs
lola: 57342176 markings, 147604952 edges, 591459 markings/sec, 75 secs
lola: 60301017 markings, 156922490 edges, 591768 markings/sec, 80 secs
lola: 63255336 markings, 166212381 edges, 590864 markings/sec, 85 secs
lola: 66069604 markings, 175065717 edges, 562854 markings/sec, 90 secs
lola: 68865911 markings, 183867310 edges, 559261 markings/sec, 95 secs
lola: 71721174 markings, 192856027 edges, 571053 markings/sec, 100 secs
lola: 74488077 markings, 201567334 edges, 553381 markings/sec, 105 secs
lola: 77212619 markings, 210145888 edges, 544908 markings/sec, 110 secs
lola: 79931942 markings, 218708842 edges, 543865 markings/sec, 115 secs
lola: 82712930 markings, 227465469 edges, 556198 markings/sec, 120 secs
lola: 85489558 markings, 236208677 edges, 555326 markings/sec, 125 secs
lola: 88319842 markings, 245121478 edges, 566057 markings/sec, 130 secs
lola: 91100627 markings, 253878273 edges, 556157 markings/sec, 135 secs
lola: 93967063 markings, 262887321 edges, 573287 markings/sec, 140 secs
lola: 96818457 markings, 271859953 edges, 570279 markings/sec, 145 secs
lola: 99614135 markings, 280660462 edges, 559136 markings/sec, 150 secs
lola: 102367020 markings, 289327243 edges, 550577 markings/sec, 155 secs
lola: 105099764 markings, 297930924 edges, 546549 markings/sec, 160 secs
lola: 107797581 markings, 306425249 edges, 539563 markings/sec, 165 secs
lola: 110448690 markings, 314773558 edges, 530222 markings/sec, 170 secs
lola: 113147017 markings, 323269781 edges, 539665 markings/sec, 175 secs
lola: 115850212 markings, 331781907 edges, 540639 markings/sec, 180 secs
lola: 118602252 markings, 340447868 edges, 550408 markings/sec, 185 secs
lola: 121367074 markings, 349154800 edges, 552964 markings/sec, 190 secs
lola: 124305977 markings, 358388553 edges, 587781 markings/sec, 195 secs
lola: 127213994 markings, 367535345 edges, 581603 markings/sec, 200 secs
lola: 130055715 markings, 376476007 edges, 568344 markings/sec, 205 secs
lola: 132871326 markings, 385335361 edges, 563122 markings/sec, 210 secs
lola: 135664827 markings, 394125964 edges, 558700 markings/sec, 215 secs
lola: 138426222 markings, 402816000 edges, 552279 markings/sec, 220 secs
lola: 141229604 markings, 411638498 edges, 560676 markings/sec, 225 secs
lola: 144035283 markings, 420467801 edges, 561136 markings/sec, 230 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 237 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: 4346944 markings, 9328188 edges, 869389 markings/sec, 0 secs
lola: 8620431 markings, 18551091 edges, 854697 markings/sec, 5 secs
lola: 12875498 markings, 27738562 edges, 851013 markings/sec, 10 secs
lola: 17096371 markings, 36854698 edges, 844175 markings/sec, 15 secs
lola: 21288267 markings, 45908972 edges, 838379 markings/sec, 20 secs
lola: 25460394 markings, 54921994 edges, 834425 markings/sec, 25 secs
lola: 29599638 markings, 63865204 edges, 827849 markings/sec, 30 secs
lola: 33720985 markings, 72769951 edges, 824269 markings/sec, 35 secs
lola: 37823221 markings, 81633805 edges, 820447 markings/sec, 40 secs
lola: 41933775 markings, 90515550 edges, 822111 markings/sec, 45 secs
lola: 46031946 markings, 99372142 edges, 819634 markings/sec, 50 secs
lola: 50127456 markings, 108222238 edges, 819102 markings/sec, 55 secs
lola: 54213152 markings, 117051254 edges, 817139 markings/sec, 60 secs
lola: 58304377 markings, 125893442 edges, 818245 markings/sec, 65 secs
lola: 62381011 markings, 134703441 edges, 815327 markings/sec, 70 secs
lola: 66437548 markings, 143470303 edges, 811307 markings/sec, 75 secs
lola: 70483803 markings, 152215361 edges, 809251 markings/sec, 80 secs
lola: 74528479 markings, 160957537 edges, 808935 markings/sec, 85 secs
lola: 78572676 markings, 169698237 edges, 808839 markings/sec, 90 secs
lola: 82618501 markings, 178443088 edges, 809165 markings/sec, 95 secs
lola: 86677633 markings, 187216369 edges, 811826 markings/sec, 100 secs
lola: 90714270 markings, 195940512 edges, 807327 markings/sec, 105 secs
lola: 94754822 markings, 204674989 edges, 808110 markings/sec, 110 secs
lola: 98801335 markings, 213420913 edges, 809303 markings/sec, 115 secs
lola: 102835401 markings, 222140667 edges, 806813 markings/sec, 120 secs
lola: 106914268 markings, 230957168 edges, 815773 markings/sec, 125 secs
lola: 110944905 markings, 239670041 edges, 806127 markings/sec, 130 secs
lola: 114977987 markings, 248386711 edges, 806616 markings/sec, 135 secs
lola: 119000336 markings, 257082262 edges, 804470 markings/sec, 140 secs
lola: 122916975 markings, 265541815 edges, 783328 markings/sec, 145 secs
lola: 125209712 markings, 270510791 edges, 458547 markings/sec, 150 secs
lola: 127380221 markings, 275206546 edges, 434102 markings/sec, 155 secs
lola: 129374775 markings, 279521796 edges, 398911 markings/sec, 160 secs
lola: 131392193 markings, 283893502 edges, 403484 markings/sec, 165 secs
lola: 134116257 markings, 289785005 edges, 544813 markings/sec, 170 secs
lola: 136466660 markings, 294876683 edges, 470081 markings/sec, 175 secs
lola: 138949488 markings, 300245440 edges, 496566 markings/sec, 180 secs
lola: 141144633 markings, 304999940 edges, 439029 markings/sec, 185 secs
lola: 143135308 markings, 309312245 edges, 398135 markings/sec, 190 secs
lola: 145600362 markings, 314642810 edges, 493011 markings/sec, 195 secs
lola: 147771663 markings, 319346343 edges, 434260 markings/sec, 200 secs
lola: 149919327 markings, 323989147 edges, 429533 markings/sec, 205 secs
lola: 152773096 markings, 330167570 edges, 570754 markings/sec, 210 secs
lola: 155262645 markings, 335559368 edges, 497910 markings/sec, 215 secs
lola: 157676685 markings, 340788444 edges, 482808 markings/sec, 220 secs
lola: 160323408 markings, 346509868 edges, 529345 markings/sec, 225 secs
lola: 162655557 markings, 351560708 edges, 466430 markings/sec, 230 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 236 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: 4774975 markings, 9520893 edges, 954995 markings/sec, 0 secs
lola: 9290939 markings, 17829495 edges, 903193 markings/sec, 5 secs
lola: 14169394 markings, 25635021 edges, 975691 markings/sec, 10 secs
lola: 18860247 markings, 33140387 edges, 938171 markings/sec, 15 secs
lola: 22543994 markings, 40059948 edges, 736749 markings/sec, 20 secs
lola: 25706671 markings, 46379314 edges, 632535 markings/sec, 25 secs
lola: 29864876 markings, 54695723 edges, 831641 markings/sec, 30 secs
lola: 33879841 markings, 62725654 edges, 802993 markings/sec, 35 secs
lola: 37854683 markings, 70675337 edges, 794968 markings/sec, 40 secs
lola: 42591180 markings, 79071124 edges, 947299 markings/sec, 45 secs
lola: 47156810 markings, 86376133 edges, 913126 markings/sec, 50 secs
lola: 51626837 markings, 93528178 edges, 894005 markings/sec, 55 secs
lola: 55909700 markings, 101123344 edges, 856573 markings/sec, 60 secs
lola: 60152182 markings, 108803651 edges, 848496 markings/sec, 65 secs
lola: 64209385 markings, 116145162 edges, 811441 markings/sec, 70 secs
lola: 68302109 markings, 123557696 edges, 818545 markings/sec, 75 secs
lola: 72376278 markings, 130939630 edges, 814834 markings/sec, 80 secs
lola: 76293442 markings, 138034865 edges, 783433 markings/sec, 85 secs
lola: 80391737 markings, 145454609 edges, 819659 markings/sec, 90 secs
lola: 84427750 markings, 152767814 edges, 807203 markings/sec, 95 secs
lola: 88396442 markings, 159966345 edges, 793738 markings/sec, 100 secs
lola: 92460875 markings, 167332062 edges, 812887 markings/sec, 105 secs
lola: 96621043 markings, 174875666 edges, 832034 markings/sec, 110 secs
lola: 100651467 markings, 182179961 edges, 806085 markings/sec, 115 secs
lola: 104751156 markings, 189620517 edges, 819938 markings/sec, 120 secs
lola: 109105608 markings, 197515257 edges, 870890 markings/sec, 125 secs
lola: 113244550 markings, 205029755 edges, 827788 markings/sec, 130 secs
lola: 117365844 markings, 212503542 edges, 824259 markings/sec, 135 secs
lola: 121559591 markings, 220118724 edges, 838749 markings/sec, 140 secs
lola: 125659541 markings, 227563301 edges, 819990 markings/sec, 145 secs
lola: 129676613 markings, 234855726 edges, 803414 markings/sec, 150 secs
lola: 133775936 markings, 242298414 edges, 819865 markings/sec, 155 secs
lola: 137885901 markings, 249759522 edges, 821993 markings/sec, 160 secs
lola: 141922662 markings, 257094192 edges, 807352 markings/sec, 165 secs
lola: 145983803 markings, 264477621 edges, 812228 markings/sec, 170 secs
lola: 150082520 markings, 271924724 edges, 819743 markings/sec, 175 secs
lola: 154054860 markings, 279142027 edges, 794468 markings/sec, 180 secs
lola: 157986921 markings, 286289197 edges, 786412 markings/sec, 185 secs
lola: 162348497 markings, 293302411 edges, 872315 markings/sec, 190 secs
lola: 166213225 markings, 299099504 edges, 772946 markings/sec, 195 secs
lola: 170165365 markings, 305091298 edges, 790428 markings/sec, 200 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Ru5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 84 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 5064133 markings, 7911204 edges, 1012827 markings/sec, 0 secs
lola: 9269537 markings, 14535125 edges, 841081 markings/sec, 5 secs
lola: 13866612 markings, 21148203 edges, 919415 markings/sec, 10 secs
lola: 18236967 markings, 27527681 edges, 874071 markings/sec, 15 secs
lola: 22402466 markings, 33782754 edges, 833100 markings/sec, 20 secs
lola: 26671986 markings, 40194629 edges, 853904 markings/sec, 25 secs
lola: 30310648 markings, 45802208 edges, 727732 markings/sec, 30 secs
lola: 33963360 markings, 51354608 edges, 730542 markings/sec, 35 secs
lola: 37513726 markings, 56891760 edges, 710073 markings/sec, 40 secs
lola: 41342793 markings, 62804894 edges, 765813 markings/sec, 45 secs
lola: 44749183 markings, 68041434 edges, 681278 markings/sec, 50 secs
lola: 48450497 markings, 73636352 edges, 740263 markings/sec, 55 secs
lola: 52041177 markings, 79164858 edges, 718136 markings/sec, 60 secs
lola: 56120187 markings, 85323548 edges, 815802 markings/sec, 65 secs
lola: 60658403 markings, 91772871 edges, 907643 markings/sec, 70 secs
lola: 65288509 markings, 98310926 edges, 926021 markings/sec, 75 secs
lola: 69314724 markings, 104397221 edges, 805243 markings/sec, 80 secs
lola: 73044599 markings, 110005918 edges, 745975 markings/sec, 85 secs
lola: 76814580 markings, 115917351 edges, 753996 markings/sec, 90 secs
lola: 80474090 markings, 121627763 edges, 731902 markings/sec, 95 secs
lola: 84089899 markings, 127287146 edges, 723162 markings/sec, 100 secs
lola: 87257756 markings, 132281223 edges, 633571 markings/sec, 105 secs
lola: 90523107 markings, 137500174 edges, 653070 markings/sec, 110 secs
lola: 94277222 markings, 143176885 edges, 750823 markings/sec, 115 secs
lola: 97920924 markings, 148798646 edges, 728740 markings/sec, 120 secs
lola: 101726668 markings, 154429213 edges, 761149 markings/sec, 125 secs
lola: 104971156 markings, 159802476 edges, 648898 markings/sec, 130 secs
lola: 107772991 markings, 164237832 edges, 560367 markings/sec, 135 secs
lola: 111310079 markings, 169515512 edges, 707418 markings/sec, 140 secs
lola: 115325188 markings, 175256783 edges, 803022 markings/sec, 145 secs
lola: 119134853 markings, 180945841 edges, 761933 markings/sec, 150 secs
lola: 123322723 markings, 187079709 edges, 837574 markings/sec, 155 secs
lola: 127355429 markings, 192906117 edges, 806541 markings/sec, 160 secs
lola: 131032596 markings, 198389225 edges, 735433 markings/sec, 165 secs
lola: 134599140 markings, 203862043 edges, 713309 markings/sec, 170 secs
lola: 138217236 markings, 209412914 edges, 723619 markings/sec, 175 secs
lola: 141778743 markings, 214938961 edges, 712301 markings/sec, 180 secs
lola: 144723479 markings, 219537424 edges, 588947 markings/sec, 185 secs
lola: 148172224 markings, 224857506 edges, 689749 markings/sec, 190 secs
lola: 151264768 markings, 229789959 edges, 618509 markings/sec, 195 secs
lola: 154682196 markings, 235097945 edges, 683486 markings/sec, 200 secs
lola: 157682667 markings, 239869893 edges, 600094 markings/sec, 205 secs
lola: 160664334 markings, 244507078 edges, 596333 markings/sec, 210 secs
lola: 163895749 markings, 249568500 edges, 646283 markings/sec, 215 secs
lola: 166934762 markings, 254301063 edges, 607803 markings/sec, 220 secs
lola: 169826768 markings, 258949529 edges, 578401 markings/sec, 225 secs
lola: 173112571 markings, 264203120 edges, 657161 markings/sec, 230 secs
lola: 177075865 markings, 269837596 edges, 792659 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(DHAP)
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: 4317706 markings, 9373496 edges, 863541 markings/sec, 0 secs
lola: 8565059 markings, 18679280 edges, 849471 markings/sec, 5 secs
lola: 12810277 markings, 27991939 edges, 849044 markings/sec, 10 secs
lola: 17033536 markings, 37259875 edges, 844652 markings/sec, 15 secs
lola: 21235689 markings, 46485208 edges, 840431 markings/sec, 20 secs
lola: 25434112 markings, 55704897 edges, 839685 markings/sec, 25 secs
lola: 29622188 markings, 64902986 edges, 837615 markings/sec, 30 secs
lola: 33811872 markings, 74105847 edges, 837937 markings/sec, 35 secs
lola: 37995120 markings, 83295820 edges, 836650 markings/sec, 40 secs
lola: 42160603 markings, 92448015 edges, 833097 markings/sec, 45 secs
lola: 45397938 markings, 99562538 edges, 647467 markings/sec, 50 secs
lola: 49524897 markings, 108631154 edges, 825392 markings/sec, 55 secs
lola: 53697758 markings, 117800678 edges, 834572 markings/sec, 60 secs
lola: 57831161 markings, 126884767 edges, 826681 markings/sec, 65 secs
lola: 61948547 markings, 135935072 edges, 823477 markings/sec, 70 secs
lola: 66079047 markings, 145014146 edges, 826100 markings/sec, 75 secs
lola: 70194046 markings, 154058956 edges, 823000 markings/sec, 80 secs
lola: 74346403 markings, 163185918 edges, 830471 markings/sec, 85 secs
lola: 78459118 markings, 172227147 edges, 822543 markings/sec, 90 secs
lola: 82560144 markings, 181242541 edges, 820205 markings/sec, 95 secs
lola: 86689958 markings, 190321226 edges, 825963 markings/sec, 100 secs
lola: 90788439 markings, 199330820 edges, 819696 markings/sec, 105 secs
lola: 94897773 markings, 208365951 edges, 821867 markings/sec, 110 secs
lola: 98994509 markings, 217373251 edges, 819347 markings/sec, 115 secs
lola: 103146112 markings, 226499548 edges, 830321 markings/sec, 120 secs
lola: 107084514 markings, 235159791 edges, 787680 markings/sec, 125 secs
lola: 111116647 markings, 244024613 edges, 806427 markings/sec, 130 secs
lola: 115128091 markings, 252845572 edges, 802289 markings/sec, 135 secs
lola: 119118230 markings, 261617767 edges, 798028 markings/sec, 140 secs
lola: 123161068 markings, 270507730 edges, 808568 markings/sec, 145 secs
lola: 127233830 markings, 279463522 edges, 814552 markings/sec, 150 secs
lola: 131297892 markings, 288400106 edges, 812812 markings/sec, 155 secs
lola: 135374811 markings, 297364930 edges, 815384 markings/sec, 160 secs
lola: 139462780 markings, 306354037 edges, 817594 markings/sec, 165 secs
lola: 143510651 markings, 315254783 edges, 809574 markings/sec, 170 secs
lola: 147572646 markings, 324188421 edges, 812399 markings/sec, 175 secs
lola: 151649829 markings, 333153605 edges, 815437 markings/sec, 180 secs
lola: 155823149 markings, 342330429 edges, 834664 markings/sec, 185 secs
lola: 159973594 markings, 351458687 edges, 830089 markings/sec, 190 secs
lola: 164116214 markings, 360567801 edges, 828524 markings/sec, 195 secs
lola: 167883128 markings, 368853302 edges, 753383 markings/sec, 200 secs
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(_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: 4368393 markings, 9374937 edges, 873679 markings/sec, 0 secs
lola: 8585943 markings, 18474333 edges, 843510 markings/sec, 5 secs
lola: 12764920 markings, 27493876 edges, 835795 markings/sec, 10 secs
lola: 16910588 markings, 36443538 edges, 829134 markings/sec, 15 secs
lola: 21059646 markings, 45402049 edges, 829812 markings/sec, 20 secs
lola: 25104561 markings, 54136046 edges, 808983 markings/sec, 25 secs
lola: 29042757 markings, 62640607 edges, 787639 markings/sec, 30 secs
lola: 32912521 markings, 70996939 edges, 773953 markings/sec, 35 secs
lola: 36937671 markings, 79690202 edges, 805030 markings/sec, 40 secs
lola: 40973776 markings, 88407674 edges, 807221 markings/sec, 45 secs
lola: 45073499 markings, 97261894 edges, 819945 markings/sec, 50 secs
lola: 49103021 markings, 105965661 edges, 805904 markings/sec, 55 secs
lola: 53107953 markings, 114616187 edges, 800986 markings/sec, 60 secs
lola: 57102581 markings, 123244517 edges, 798926 markings/sec, 65 secs
lola: 61210677 markings, 132117910 edges, 821619 markings/sec, 70 secs
lola: 65199169 markings, 140733421 edges, 797698 markings/sec, 75 secs
lola: 69194122 markings, 149363302 edges, 798991 markings/sec, 80 secs
lola: 73206064 markings, 158029369 edges, 802388 markings/sec, 85 secs
lola: 77199295 markings, 166655366 edges, 798646 markings/sec, 90 secs
lola: 81232331 markings, 175368150 edges, 806607 markings/sec, 95 secs
lola: 85255208 markings, 184058393 edges, 804575 markings/sec, 100 secs
lola: 89258872 markings, 192707643 edges, 800733 markings/sec, 105 secs
lola: 93168846 markings, 201149089 edges, 781995 markings/sec, 110 secs
lola: 95813281 markings, 206872278 edges, 528887 markings/sec, 115 secs
lola: 98539818 markings, 212780680 edges, 545307 markings/sec, 120 secs
lola: 101489095 markings, 219160123 edges, 589855 markings/sec, 125 secs
lola: 104154063 markings, 224933391 edges, 532994 markings/sec, 130 secs
lola: 107094544 markings, 231293652 edges, 588096 markings/sec, 135 secs
lola: 109937374 markings, 237451304 edges, 568566 markings/sec, 140 secs
lola: 112871932 markings, 243796592 edges, 586912 markings/sec, 145 secs
lola: 115634327 markings, 249779007 edges, 552479 markings/sec, 150 secs
lola: 118266049 markings, 255479454 edges, 526344 markings/sec, 155 secs
lola: 121203107 markings, 261829887 edges, 587412 markings/sec, 160 secs
lola: 124203320 markings, 268327113 edges, 600043 markings/sec, 165 secs
lola: 126960933 markings, 274299773 edges, 551523 markings/sec, 170 secs
lola: 129902669 markings, 280659423 edges, 588347 markings/sec, 175 secs
lola: 132992177 markings, 287348438 edges, 617902 markings/sec, 180 secs
lola: 135662227 markings, 293130622 edges, 534010 markings/sec, 185 secs
lola: 138400319 markings, 299061055 edges, 547618 markings/sec, 190 secs
lola: 141209474 markings, 305134534 edges, 561831 markings/sec, 195 secs
lola: 144355939 markings, 311946008 edges, 629293 markings/sec, 200 secs
lola: 147305554 markings, 318333570 edges, 589923 markings/sec, 205 secs
lola: 150008135 markings, 324187184 edges, 540516 markings/sec, 210 secs
lola: 152783201 markings, 330187477 edges, 555013 markings/sec, 215 secs
lola: 156032204 markings, 337218565 edges, 649801 markings/sec, 220 secs
lola: 158889932 markings, 343406012 edges, 571546 markings/sec, 225 secs
lola: 161670222 markings, 349427101 edges, 556058 markings/sec, 230 secs
lola: 164363323 markings, 355259674 edges, 538620 markings/sec, 235 secs
lola: 167056383 markings, 361092660 edges, 538612 markings/sec, 240 secs
lola: 170278279 markings, 368055423 edges, 644379 markings/sec, 245 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(GSH)
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: 4989884 markings, 7797835 edges, 997977 markings/sec, 0 secs
lola: 9321701 markings, 14608291 edges, 866363 markings/sec, 5 secs
lola: 13921879 markings, 21221697 edges, 920036 markings/sec, 10 secs
lola: 18231623 markings, 27515665 edges, 861949 markings/sec, 15 secs
lola: 22327830 markings, 33652418 edges, 819241 markings/sec, 20 secs
lola: 26496091 markings, 39935617 edges, 833652 markings/sec, 25 secs
lola: 30095634 markings, 45483867 edges, 719909 markings/sec, 30 secs
lola: 33610166 markings, 50823640 edges, 702906 markings/sec, 35 secs
lola: 37218543 markings, 56435913 edges, 721675 markings/sec, 40 secs
lola: 40999020 markings, 62255585 edges, 756095 markings/sec, 45 secs
lola: 44300549 markings, 67343922 edges, 660306 markings/sec, 50 secs
lola: 47933050 markings, 72848597 edges, 726500 markings/sec, 55 secs
lola: 51451841 markings, 78234748 edges, 703758 markings/sec, 60 secs
lola: 55246738 markings, 84078031 edges, 758979 markings/sec, 65 secs
lola: 59687435 markings, 90400624 edges, 888139 markings/sec, 70 secs
lola: 64336705 markings, 96942491 edges, 929854 markings/sec, 75 secs
lola: 68362996 markings, 103043168 edges, 805258 markings/sec, 80 secs
lola: 71915267 markings, 108310131 edges, 710454 markings/sec, 85 secs
lola: 75750606 markings, 114328730 edges, 767068 markings/sec, 90 secs
lola: 79313859 markings, 119773772 edges, 712651 markings/sec, 95 secs
lola: 82968847 markings, 125569391 edges, 730998 markings/sec, 100 secs
lola: 86344301 markings, 130843638 edges, 675091 markings/sec, 105 secs
lola: 89535293 markings, 135899713 edges, 638198 markings/sec, 110 secs
lola: 92941841 markings, 141199175 edges, 681310 markings/sec, 115 secs
lola: 96646816 markings, 146808168 edges, 740995 markings/sec, 120 secs
lola: 100397072 markings, 152417246 edges, 750051 markings/sec, 125 secs
lola: 104039453 markings, 158252129 edges, 728476 markings/sec, 130 secs
lola: 106954864 markings, 162970646 edges, 583082 markings/sec, 135 secs
lola: 110318137 markings, 168079929 edges, 672655 markings/sec, 140 secs
lola: 114244949 markings, 173732770 edges, 785362 markings/sec, 145 secs
lola: 118082610 markings, 179439829 edges, 767532 markings/sec, 150 secs
lola: 122390397 markings, 185658376 edges, 861557 markings/sec, 155 secs
lola: 126441418 markings, 191603759 edges, 810204 markings/sec, 160 secs
lola: 129876660 markings, 196624587 edges, 687048 markings/sec, 165 secs
lola: 133517479 markings, 202197631 edges, 728164 markings/sec, 170 secs
lola: 137142012 markings, 207745991 edges, 724907 markings/sec, 175 secs
lola: 140695695 markings, 213213878 edges, 710737 markings/sec, 180 secs
lola: 143739846 markings, 217987706 edges, 608830 markings/sec, 185 secs
lola: 146844369 markings, 222798084 edges, 620905 markings/sec, 190 secs
lola: 149997843 markings, 227793660 edges, 630695 markings/sec, 195 secs
lola: 153444495 markings, 233168720 edges, 689330 markings/sec, 200 secs
lola: 156699630 markings, 238335984 edges, 651027 markings/sec, 205 secs
lola: 159680229 markings, 242968326 edges, 596120 markings/sec, 210 secs
lola: 162936616 markings, 248117813 edges, 651277 markings/sec, 215 secs
lola: 166237188 markings, 253199637 edges, 660114 markings/sec, 220 secs
lola: 169284680 markings, 258077941 edges, 609498 markings/sec, 225 secs
lola: 172457554 markings, 263266684 edges, 634575 markings/sec, 230 secs
lola: 176621470 markings, 269190276 edges, 832783 markings/sec, 235 secs
lola: 180593862 markings, 274866653 edges, 794478 markings/sec, 240 secs
lola: 184733110 markings, 280683467 edges, 827850 markings/sec, 245 secs
lola: 188839114 markings, 287031481 edges, 821201 markings/sec, 250 secs
lola: 192155124 markings, 292169324 edges, 663202 markings/sec, 255 secs
lola: 196019025 markings, 298267795 edges, 772780 markings/sec, 260 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown 2000 unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-6 2000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA GPPP-PT-C1000N0000001000-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496403462166

--------------------
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-C1000N0000001000"
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-C1000N0000001000.tgz
mv S_GPPP-PT-C1000N0000001000 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-C1000N0000001000, 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-149441612600587"
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 ;