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)
..................
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.5K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 115 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 353 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 17 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 21K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is GPPP-PT-C1000N0000000100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-blw7-152649998400345
=====================================================================

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

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

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-00
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-01
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-02
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-03
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-04
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-05
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-06
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-07
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-08
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-09
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-10
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-11
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-12
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-13
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-14
FORMULA_NAME GPPP-PT-C1000N0000000100-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1526752126135

info: Time: 3600 - MCC
===========================================================================================
prep: translating GPPP-PT-C1000N0000000100 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating GPPP-PT-C1000N0000000100 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ GPPP-PT-C1000N0000000100 @ 3570 seconds
lola: LoLA will run for 3570 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: Size of bit vector: 1056
lola: finding significant places
lola: 33 places, 22 transitions, 21 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 30 transition conflict sets
lola: TASK
lola: reading formula from GPPP-PT-C1000N0000000100-UpperBounds.task
lola: MAX(c1) : MAX(Pyr) : MAX(GSSG) : MAX(Ru5P) : MAX(_2PG) : MAX(Ru5P) : MAX(NADH) : MAX(Xu5P) : MAX(F6P) : MAX(NADH) : MAX(GSH) : MAX(a2) : MAX(_3PG) : MAX(FBP) : MAX(_2PG) : MAX(F6P)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(c1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(c1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000000100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 7000
lola: SUBRESULT
lola: result: 7000
lola: produced by: state space
lola: The maximum value of the given expression is 7000
lola: 0 markings, 0 edges
lola: ========================================
check_solution: Constraint R1 = 6.91116055299e-310 is below its lower bound 1
check_solution: Constraint R3 = 0 is above its equality of -100
check_solution: Constraint R6 = 6.15378779518e-313 is above its equality of -400
check_solution: Constraint R9 = 2.12199580776e-314 is above its equality of -2000
check_solution: Constraint R11 = 1.06099789568e-313 is above its equality of -3000
check_solution: Constraint R12 = 1.48539705397e-313 is above its equality of -200
check_solution: Constraint R13 = 1.90979621226e-313 is above its equality of -7000
check_solution: Constraint R23 = 6.15378779518e-313 is above its equality of -1
check_solution: Constraint R25 = 7.00258611177e-313 is above its equality of -200

Seriously low accuracy found ||*|| = 7000 (rel. error 1)

FORMULA GPPP-PT-C1000N0000000100-UpperBounds-0 7000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Pyr)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Pyr)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000000100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 3879553 markings, 8476371 edges, 775911 markings/sec, 30 secs
lola: 6634235 markings, 17142921 edges, 550936 markings/sec, 35 secs
lola: 11439392 markings, 25511380 edges, 961031 markings/sec, 40 secs
lola: 16415202 markings, 33613076 edges, 995162 markings/sec, 45 secs
lola: 21272812 markings, 41539423 edges, 971522 markings/sec, 50 secs
lola: 24727259 markings, 49505779 edges, 690889 markings/sec, 55 secs
lola: 27438191 markings, 57892392 edges, 542186 markings/sec, 60 secs
lola: 30264880 markings, 66499832 edges, 565338 markings/sec, 65 secs
lola: 33016908 markings, 74894766 edges, 550406 markings/sec, 70 secs
lola: 36992330 markings, 83093507 edges, 795084 markings/sec, 75 secs
lola: 41792085 markings, 90903755 edges, 959951 markings/sec, 80 secs
lola: 46475625 markings, 98541631 edges, 936708 markings/sec, 85 secs
lola: 50362584 markings, 105896977 edges, 777392 markings/sec, 90 secs
lola: 53895927 markings, 113148855 edges, 706669 markings/sec, 95 secs
lola: 57384347 markings, 120309577 edges, 697684 markings/sec, 100 secs
lola: 60819359 markings, 127413324 edges, 687002 markings/sec, 105 secs
lola: 63964778 markings, 133939260 edges, 629084 markings/sec, 110 secs
lola: 67340982 markings, 140809487 edges, 675241 markings/sec, 115 secs
lola: 70623868 markings, 147599320 edges, 656577 markings/sec, 120 secs
lola: 73915603 markings, 154351850 edges, 658347 markings/sec, 125 secs
lola: 77021932 markings, 160843543 edges, 621266 markings/sec, 130 secs
lola: 80388194 markings, 167694225 edges, 673252 markings/sec, 135 secs
lola: 83648772 markings, 174440709 edges, 652116 markings/sec, 140 secs
lola: 86887396 markings, 181106690 edges, 647725 markings/sec, 145 secs
lola: 90183437 markings, 187866599 edges, 659208 markings/sec, 150 secs
lola: 93442004 markings, 194531189 edges, 651713 markings/sec, 155 secs
lola: 96697695 markings, 201214833 edges, 651138 markings/sec, 160 secs
lola: 99961764 markings, 207923867 edges, 652814 markings/sec, 165 secs
lola: 103195559 markings, 214640057 edges, 646759 markings/sec, 170 secs
lola: 106262254 markings, 221046229 edges, 613339 markings/sec, 175 secs
lola: 109347629 markings, 227245710 edges, 617075 markings/sec, 180 secs
lola: 112593825 markings, 234044334 edges, 649239 markings/sec, 185 secs
lola: 115856118 markings, 240652739 edges, 652459 markings/sec, 190 secs
lola: 119062498 markings, 247456178 edges, 641276 markings/sec, 195 secs
lola: 122314284 markings, 254097233 edges, 650357 markings/sec, 200 secs
lola: 125631843 markings, 260814646 edges, 663512 markings/sec, 205 secs
lola: 128810095 markings, 267582056 edges, 635650 markings/sec, 210 secs
lola: 132112335 markings, 274352447 edges, 660448 markings/sec, 215 secs
lola: 135441007 markings, 281105730 edges, 665734 markings/sec, 220 secs
lola: 138718994 markings, 287837604 edges, 655597 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7000 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5391764 KB
lola: time consumption: 322 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GSSG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GSSG)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000000100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 100
lola: SUBRESULT
lola: result: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: 0 markings, 0 edges
lola: ========================================

FORMULA GPPP-PT-C1000N0000000100-UpperBounds-2 100 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 249 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Ru5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Ru5P)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000000100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 800 markings, 800 edges, 160 markings/sec, 25 secs
lola: 5102672 markings, 7830182 edges, 1020374 markings/sec, 30 secs
lola: 9676187 markings, 14895490 edges, 914703 markings/sec, 35 secs
lola: 14208105 markings, 21802087 edges, 906384 markings/sec, 40 secs
lola: 18665555 markings, 28550365 edges, 891490 markings/sec, 45 secs
lola: 23361896 markings, 35615776 edges, 939268 markings/sec, 50 secs
lola: 27972816 markings, 42560571 edges, 922184 markings/sec, 55 secs
lola: 32583296 markings, 49500357 edges, 922096 markings/sec, 60 secs
lola: 37149128 markings, 56430701 edges, 913166 markings/sec, 65 secs
lola: 41719097 markings, 63306190 edges, 913994 markings/sec, 70 secs
lola: 46102926 markings, 69894109 edges, 876766 markings/sec, 75 secs
lola: 50533035 markings, 76615053 edges, 886022 markings/sec, 80 secs
lola: 54948067 markings, 83259959 edges, 883006 markings/sec, 85 secs
lola: 59385543 markings, 89929561 edges, 887495 markings/sec, 90 secs
lola: 63849285 markings, 96703721 edges, 892748 markings/sec, 95 secs
lola: 68290559 markings, 103398595 edges, 888255 markings/sec, 100 secs
lola: 72836667 markings, 110221656 edges, 909222 markings/sec, 105 secs
lola: 77348569 markings, 117037033 edges, 902380 markings/sec, 110 secs
lola: 81887591 markings, 123857356 edges, 907804 markings/sec, 115 secs
lola: 86388503 markings, 130689301 edges, 900182 markings/sec, 120 secs
lola: 90872711 markings, 137451688 edges, 896842 markings/sec, 125 secs
lola: 95445311 markings, 144318599 edges, 914520 markings/sec, 130 secs
lola: 99935885 markings, 151092493 edges, 898115 markings/sec, 135 secs
lola: 104345135 markings, 157727898 edges, 881850 markings/sec, 140 secs
lola: 108796072 markings, 164482637 edges, 890187 markings/sec, 145 secs
lola: 112709066 markings, 170353772 edges, 782599 markings/sec, 150 secs
lola: 116778191 markings, 176488534 edges, 813825 markings/sec, 155 secs
lola: 121093547 markings, 183018453 edges, 863071 markings/sec, 160 secs
lola: 124768339 markings, 188571983 edges, 734958 markings/sec, 165 secs
lola: 129206673 markings, 195238303 edges, 887667 markings/sec, 170 secs
lola: 133683896 markings, 202015985 edges, 895445 markings/sec, 175 secs
lola: 138118485 markings, 208711817 edges, 886918 markings/sec, 180 secs
lola: 142514532 markings, 215308008 edges, 879209 markings/sec, 185 secs
lola: 145884496 markings, 220408527 edges, 673993 markings/sec, 190 secs
lola: 149571270 markings, 225962784 edges, 737355 markings/sec, 195 secs
lola: 153596237 markings, 232039700 edges, 804993 markings/sec, 200 secs
lola: 157824171 markings, 238405357 edges, 845587 markings/sec, 205 secs
lola: 162052949 markings, 244763484 edges, 845756 markings/sec, 210 secs
lola: 166155013 markings, 250949885 edges, 820413 markings/sec, 215 secs
lola: 170412286 markings, 257414648 edges, 851455 markings/sec, 220 secs
lola: 174661817 markings, 263802031 edges, 849906 markings/sec, 225 secs
lola: 179058353 markings, 270445718 edges, 879307 markings/sec, 230 secs
lola: 183639229 markings, 277326480 edges, 916175 markings/sec, 235 secs
lola: 188071894 markings, 284046037 edges, 886533 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7000 unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7009312 KB
lola: time consumption: 571 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 249 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(_2PG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(_2PG)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000000100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 3847 markings, 5032 edges, 769 markings/sec, 25 secs
lola: 3630347 markings, 7801378 edges, 725300 markings/sec, 30 secs
lola: 7425680 markings, 16011460 edges, 759067 markings/sec, 35 secs
lola: 10402545 markings, 22518120 edges, 595373 markings/sec, 40 secs
lola: 12654737 markings, 27412028 edges, 450438 markings/sec, 45 secs
lola: 15097870 markings, 32718371 edges, 488627 markings/sec, 50 secs
lola: 17440258 markings, 37819503 edges, 468478 markings/sec, 55 secs
lola: 20129614 markings, 43653119 edges, 537871 markings/sec, 60 secs
lola: 22707093 markings, 49253224 edges, 515496 markings/sec, 65 secs
lola: 26722567 markings, 56785951 edges, 803095 markings/sec, 70 secs
lola: 31157535 markings, 64538621 edges, 886994 markings/sec, 75 secs
lola: 35515289 markings, 72163617 edges, 871551 markings/sec, 80 secs
lola: 39634381 markings, 79366376 edges, 823818 markings/sec, 85 secs
lola: 43708652 markings, 86493426 edges, 814854 markings/sec, 90 secs
lola: 47809055 markings, 93663766 edges, 820081 markings/sec, 95 secs
lola: 51787787 markings, 100628974 edges, 795746 markings/sec, 100 secs
lola: 55496007 markings, 107119835 edges, 741644 markings/sec, 105 secs
lola: 58785819 markings, 112873474 edges, 657962 markings/sec, 110 secs
lola: 62199578 markings, 118845527 edges, 682752 markings/sec, 115 secs
lola: 65781331 markings, 125118778 edges, 716351 markings/sec, 120 secs
lola: 69324584 markings, 131334833 edges, 708651 markings/sec, 125 secs
lola: 72973995 markings, 137728864 edges, 729882 markings/sec, 130 secs
lola: 76732769 markings, 144319709 edges, 751755 markings/sec, 135 secs
lola: 80904142 markings, 151641440 edges, 834275 markings/sec, 140 secs
lola: 85105941 markings, 159004608 edges, 840360 markings/sec, 145 secs
lola: 87578465 markings, 164586590 edges, 494505 markings/sec, 150 secs
lola: 89919997 markings, 170643693 edges, 468306 markings/sec, 155 secs
lola: 92004538 markings, 176034104 edges, 416908 markings/sec, 160 secs
lola: 94097551 markings, 181452144 edges, 418603 markings/sec, 165 secs
lola: 96111307 markings, 186654394 edges, 402751 markings/sec, 170 secs
lola: 98188823 markings, 192028013 edges, 415503 markings/sec, 175 secs
lola: 100221617 markings, 197290878 edges, 406559 markings/sec, 180 secs
lola: 102540471 markings, 203282488 edges, 463771 markings/sec, 185 secs
lola: 105225736 markings, 209457337 edges, 537053 markings/sec, 190 secs
lola: 109217844 markings, 216530846 edges, 798422 markings/sec, 195 secs
lola: 112739346 markings, 222774029 edges, 704300 markings/sec, 200 secs
lola: 116681627 markings, 229762268 edges, 788456 markings/sec, 205 secs
lola: 120653986 markings, 236808524 edges, 794472 markings/sec, 210 secs
lola: 124478628 markings, 243589804 edges, 764928 markings/sec, 215 secs
lola: 128458219 markings, 250652806 edges, 795918 markings/sec, 220 secs
lola: 131981981 markings, 256899512 edges, 704752 markings/sec, 225 secs
lola: 135269086 markings, 262736933 edges, 657421 markings/sec, 230 secs
lola: 139159218 markings, 269648400 edges, 778026 markings/sec, 235 secs
lola: 142549371 markings, 275673680 edges, 678031 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7000 unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5573248 KB
lola: time consumption: 821 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 249 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Ru5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Ru5P)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000000100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 913 markings, 913 edges, 183 markings/sec, 25 secs
lola: 5138895 markings, 7886276 edges, 1027596 markings/sec, 30 secs
lola: 9881956 markings, 15210670 edges, 948612 markings/sec, 35 secs
lola: 14590346 markings, 22357087 edges, 941678 markings/sec, 40 secs
lola: 19222040 markings, 29357231 edges, 926339 markings/sec, 45 secs
lola: 23852833 markings, 36380887 edges, 926159 markings/sec, 50 secs
lola: 28454378 markings, 43315590 edges, 920309 markings/sec, 55 secs
lola: 33158807 markings, 50381592 edges, 940886 markings/sec, 60 secs
lola: 37704984 markings, 57261348 edges, 909235 markings/sec, 65 secs
lola: 42234219 markings, 64088956 edges, 905847 markings/sec, 70 secs
lola: 46408201 markings, 70359626 edges, 834796 markings/sec, 75 secs
lola: 50465938 markings, 76513930 edges, 811547 markings/sec, 80 secs
lola: 54626321 markings, 82757200 edges, 832077 markings/sec, 85 secs
lola: 58273340 markings, 88272948 edges, 729404 markings/sec, 90 secs
lola: 62477169 markings, 94586840 edges, 840766 markings/sec, 95 secs
lola: 66695789 markings, 100980092 edges, 843724 markings/sec, 100 secs
lola: 71066335 markings, 107551774 edges, 874109 markings/sec, 105 secs
lola: 75170766 markings, 113756741 edges, 820886 markings/sec, 110 secs
lola: 79227811 markings, 119859039 edges, 811409 markings/sec, 115 secs
lola: 83417831 markings, 126217123 edges, 838004 markings/sec, 120 secs
lola: 87216930 markings, 131908502 edges, 759820 markings/sec, 125 secs
lola: 90746809 markings, 137247901 edges, 705976 markings/sec, 130 secs
lola: 94319288 markings, 142649843 edges, 714496 markings/sec, 135 secs
lola: 98457683 markings, 148857660 edges, 827679 markings/sec, 140 secs
lola: 102559805 markings, 155083750 edges, 820424 markings/sec, 145 secs
lola: 106435660 markings, 160890255 edges, 775171 markings/sec, 150 secs
lola: 110141129 markings, 166515163 edges, 741094 markings/sec, 155 secs
lola: 114624479 markings, 173246950 edges, 896670 markings/sec, 160 secs
lola: 118981672 markings, 179813842 edges, 871439 markings/sec, 165 secs
lola: 122934845 markings, 185787177 edges, 790635 markings/sec, 170 secs
lola: 127146073 markings, 192133951 edges, 842246 markings/sec, 175 secs
lola: 131350505 markings, 198467303 edges, 840886 markings/sec, 180 secs
lola: 135557177 markings, 204799400 edges, 841334 markings/sec, 185 secs
lola: 140011962 markings, 211564614 edges, 890957 markings/sec, 190 secs
lola: 144492420 markings, 218306623 edges, 896092 markings/sec, 195 secs
lola: 148466908 markings, 224282868 edges, 794898 markings/sec, 200 secs
lola: 152611320 markings, 230547420 edges, 828882 markings/sec, 205 secs
lola: 156445590 markings, 236348395 edges, 766854 markings/sec, 210 secs
lola: 160493333 markings, 242418389 edges, 809549 markings/sec, 215 secs
lola: 164620001 markings, 248663931 edges, 825334 markings/sec, 220 secs
lola: 168325409 markings, 254258222 edges, 741082 markings/sec, 225 secs
lola: 172471567 markings, 260483098 edges, 829232 markings/sec, 230 secs
lola: 176936129 markings, 267212500 edges, 892912 markings/sec, 235 secs
lola: 181406209 markings, 273958535 edges, 894016 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7000 unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6759760 KB
lola: time consumption: 1070 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 249 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NADH)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NADH)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000000100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 749 markings, 749 edges, 150 markings/sec, 25 secs
lola: 3381033 markings, 7366005 edges, 676057 markings/sec, 30 secs
lola: 7232334 markings, 15801135 edges, 770260 markings/sec, 35 secs
lola: 10989613 markings, 24036777 edges, 751456 markings/sec, 40 secs
lola: 14295799 markings, 31286553 edges, 661237 markings/sec, 45 secs
lola: 17056476 markings, 37341905 edges, 552135 markings/sec, 50 secs
lola: 19705834 markings, 43153778 edges, 529872 markings/sec, 55 secs
lola: 22489085 markings, 49262494 edges, 556650 markings/sec, 60 secs
lola: 25474507 markings, 55828567 edges, 597084 markings/sec, 65 secs
lola: 28095828 markings, 61603142 edges, 524264 markings/sec, 70 secs
lola: 30872803 markings, 67731161 edges, 555395 markings/sec, 75 secs
lola: 34028694 markings, 74718360 edges, 631178 markings/sec, 80 secs
lola: 37059510 markings, 81445427 edges, 606163 markings/sec, 85 secs
lola: 40006826 markings, 88007957 edges, 589463 markings/sec, 90 secs
lola: 42855047 markings, 94371641 edges, 569644 markings/sec, 95 secs
lola: 45689268 markings, 100715161 edges, 566844 markings/sec, 100 secs
lola: 48565901 markings, 107168557 edges, 575327 markings/sec, 105 secs
lola: 51717661 markings, 115103498 edges, 630352 markings/sec, 110 secs
lola: 54441995 markings, 122165824 edges, 544867 markings/sec, 115 secs
lola: 57091627 markings, 129037697 edges, 529926 markings/sec, 120 secs
lola: 59904755 markings, 136335763 edges, 562626 markings/sec, 125 secs
lola: 62354875 markings, 142693195 edges, 490024 markings/sec, 130 secs
lola: 64993064 markings, 149539741 edges, 527638 markings/sec, 135 secs
lola: 67620067 markings, 156356956 edges, 525401 markings/sec, 140 secs
lola: 70376879 markings, 163511979 edges, 551362 markings/sec, 145 secs
lola: 72785529 markings, 169764086 edges, 481730 markings/sec, 150 secs
lola: 75499067 markings, 176806969 edges, 542708 markings/sec, 155 secs
lola: 78553321 markings, 184735153 edges, 610851 markings/sec, 160 secs
lola: 81463546 markings, 192290249 edges, 582045 markings/sec, 165 secs
lola: 84422749 markings, 199977516 edges, 591841 markings/sec, 170 secs
lola: 87072428 markings, 206864075 edges, 529936 markings/sec, 175 secs
lola: 89693401 markings, 213679286 edges, 524195 markings/sec, 180 secs
lola: 92332115 markings, 220542845 edges, 527743 markings/sec, 185 secs
lola: 94939653 markings, 227329903 edges, 521508 markings/sec, 190 secs
lola: 97613491 markings, 234294131 edges, 534768 markings/sec, 195 secs
lola: 100424621 markings, 241622787 edges, 562226 markings/sec, 200 secs
lola: 103230962 markings, 248945277 edges, 561268 markings/sec, 205 secs
lola: 105997945 markings, 256167991 edges, 553397 markings/sec, 210 secs
lola: 108557295 markings, 262856165 edges, 511870 markings/sec, 215 secs
lola: 111603989 markings, 270820954 edges, 609339 markings/sec, 220 secs
lola: 114637101 markings, 278756740 edges, 606622 markings/sec, 225 secs
lola: 117647283 markings, 286639232 edges, 602036 markings/sec, 230 secs
lola: 120667045 markings, 294552911 edges, 603952 markings/sec, 235 secs
lola: 123892760 markings, 302950823 edges, 645143 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7000 unknown 100 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4860212 KB
lola: time consumption: 1320 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Xu5P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Xu5P)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000000100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 1 markings, 0 edges, 0 markings/sec, 25 secs
lola: SUBRESULT
lola: result: 407
lola: produced by: state space
lola: The maximum value of the given expression is 407
lola: 3321817 markings, 4777163 edges

FORMULA GPPP-PT-C1000N0000000100-UpperBounds-7 407 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(F6P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(F6P)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000000100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 3083 markings, 3561 edges, 617 markings/sec, 25 secs
lola: 3063333 markings, 6671279 edges, 612050 markings/sec, 30 secs
lola: 6552511 markings, 14311684 edges, 697836 markings/sec, 35 secs
lola: 9697450 markings, 21203883 edges, 628988 markings/sec, 40 secs
lola: 12970444 markings, 28380146 edges, 654599 markings/sec, 45 secs
lola: 16417215 markings, 35939446 edges, 689354 markings/sec, 50 secs
lola: 18969662 markings, 41538088 edges, 510489 markings/sec, 55 secs
lola: 21628322 markings, 47372754 edges, 531732 markings/sec, 60 secs
lola: 24138046 markings, 52888843 edges, 501945 markings/sec, 65 secs
lola: 26906296 markings, 58972555 edges, 553650 markings/sec, 70 secs
lola: 29850440 markings, 65442931 edges, 588829 markings/sec, 75 secs
lola: 32502586 markings, 71271857 edges, 530429 markings/sec, 80 secs
lola: 35184794 markings, 77167095 edges, 536442 markings/sec, 85 secs
lola: 38243386 markings, 83888604 edges, 611718 markings/sec, 90 secs
lola: 41085522 markings, 90135280 edges, 568427 markings/sec, 95 secs
lola: 44057964 markings, 96668069 edges, 594488 markings/sec, 100 secs
lola: 47003733 markings, 103292267 edges, 589154 markings/sec, 105 secs
lola: 49422050 markings, 110173212 edges, 483663 markings/sec, 110 secs
lola: 51508911 markings, 116833015 edges, 417372 markings/sec, 115 secs
lola: 53508405 markings, 123221804 edges, 399899 markings/sec, 120 secs
lola: 55480691 markings, 129516550 edges, 394457 markings/sec, 125 secs
lola: 57485580 markings, 135920828 edges, 400978 markings/sec, 130 secs
lola: 59393289 markings, 142008854 edges, 381542 markings/sec, 135 secs
lola: 61248212 markings, 147930895 edges, 370985 markings/sec, 140 secs
lola: 63051969 markings, 153692483 edges, 360751 markings/sec, 145 secs
lola: 65075842 markings, 160157247 edges, 404775 markings/sec, 150 secs
lola: 66839648 markings, 165792863 edges, 352761 markings/sec, 155 secs
lola: 68688559 markings, 171696395 edges, 369782 markings/sec, 160 secs
lola: 70463697 markings, 177364129 edges, 355028 markings/sec, 165 secs
lola: 72267784 markings, 183128979 edges, 360817 markings/sec, 170 secs
lola: 74059412 markings, 188847516 edges, 358326 markings/sec, 175 secs
lola: 75695866 markings, 194076646 edges, 327291 markings/sec, 180 secs
lola: 77610760 markings, 200190313 edges, 382979 markings/sec, 185 secs
lola: 79642778 markings, 206684113 edges, 406404 markings/sec, 190 secs
lola: 81446967 markings, 212445826 edges, 360838 markings/sec, 195 secs
lola: 83535137 markings, 219115589 edges, 417634 markings/sec, 200 secs
lola: 85574958 markings, 225629900 edges, 407964 markings/sec, 205 secs
lola: 87731811 markings, 232518788 edges, 431371 markings/sec, 210 secs
lola: 89680899 markings, 238745042 edges, 389818 markings/sec, 215 secs
lola: 91485229 markings, 244506204 edges, 360866 markings/sec, 220 secs
lola: 93129601 markings, 249757869 edges, 328874 markings/sec, 225 secs
lola: 95309319 markings, 256723705 edges, 435944 markings/sec, 230 secs
lola: 97400066 markings, 263401575 edges, 418149 markings/sec, 235 secs
lola: 99382509 markings, 269733999 edges, 396489 markings/sec, 240 secs
lola: 101343829 markings, 275995936 edges, 392264 markings/sec, 245 secs
lola: 103344587 markings, 282390415 edges, 400152 markings/sec, 250 secs
lola: 105177560 markings, 288239424 edges, 366595 markings/sec, 255 secs
lola: 107199509 markings, 294702795 edges, 404390 markings/sec, 260 secs
lola: 109119830 markings, 300837600 edges, 384064 markings/sec, 265 secs
lola: 111054719 markings, 307018891 edges, 386978 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7000 unknown 100 unknown unknown unknown unknown 407 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4310116 KB
lola: time consumption: 1630 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NADH)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NADH)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000000100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 3977481 markings, 8671993 edges, 795496 markings/sec, 30 secs
lola: 7797103 markings, 17038576 edges, 763924 markings/sec, 35 secs
lola: 11541361 markings, 25246982 edges, 748852 markings/sec, 40 secs
lola: 15229887 markings, 33334872 edges, 737705 markings/sec, 45 secs
lola: 18903507 markings, 41393622 edges, 734724 markings/sec, 50 secs
lola: 22573755 markings, 49448360 edges, 734050 markings/sec, 55 secs
lola: 26226782 markings, 57484888 edges, 730605 markings/sec, 60 secs
lola: 29845977 markings, 65464073 edges, 723839 markings/sec, 65 secs
lola: 33445972 markings, 73426799 edges, 719999 markings/sec, 70 secs
lola: 36987493 markings, 81287030 edges, 708304 markings/sec, 75 secs
lola: 40481322 markings, 89069898 edges, 698766 markings/sec, 80 secs
lola: 43963950 markings, 96847915 edges, 696526 markings/sec, 85 secs
lola: 47402425 markings, 104553365 edges, 687695 markings/sec, 90 secs
lola: 50915403 markings, 113024924 edges, 702596 markings/sec, 95 secs
lola: 54335365 markings, 121889282 edges, 683992 markings/sec, 100 secs
lola: 57670411 markings, 130539507 edges, 667009 markings/sec, 105 secs
lola: 60964301 markings, 139085018 edges, 658778 markings/sec, 110 secs
lola: 64227635 markings, 147553118 edges, 652667 markings/sec, 115 secs
lola: 67471887 markings, 155972533 edges, 648850 markings/sec, 120 secs
lola: 70688662 markings, 164321581 edges, 643355 markings/sec, 125 secs
lola: 73856851 markings, 172544781 edges, 633638 markings/sec, 130 secs
lola: 77025791 markings, 180770410 edges, 633788 markings/sec, 135 secs
lola: 80196562 markings, 189000561 edges, 634154 markings/sec, 140 secs
lola: 83350391 markings, 197191371 edges, 630766 markings/sec, 145 secs
lola: 86493336 markings, 205358625 edges, 628589 markings/sec, 150 secs
lola: 89625878 markings, 213503287 edges, 626508 markings/sec, 155 secs
lola: 92755381 markings, 221644499 edges, 625901 markings/sec, 160 secs
lola: 95866605 markings, 229743481 edges, 622245 markings/sec, 165 secs
lola: 98961279 markings, 237807516 edges, 618935 markings/sec, 170 secs
lola: 102042761 markings, 245842887 edges, 616296 markings/sec, 175 secs
lola: 105115179 markings, 253862678 edges, 614484 markings/sec, 180 secs
lola: 108171129 markings, 261844857 edges, 611190 markings/sec, 185 secs
lola: 111214269 markings, 269803150 edges, 608628 markings/sec, 190 secs
lola: 113788563 markings, 276534913 edges, 514859 markings/sec, 195 secs
lola: 116399816 markings, 283372698 edges, 522251 markings/sec, 200 secs
lola: 118745686 markings, 289519781 edges, 469174 markings/sec, 205 secs
lola: 121273893 markings, 296143926 edges, 505641 markings/sec, 210 secs
lola: 124065674 markings, 303398828 edges, 558356 markings/sec, 215 secs
lola: 126819194 markings, 310532873 edges, 550704 markings/sec, 220 secs
lola: 129704642 markings, 318013037 edges, 577090 markings/sec, 225 secs
lola: 132767950 markings, 325957247 edges, 612662 markings/sec, 230 secs
lola: 135546075 markings, 333162545 edges, 555625 markings/sec, 235 secs
lola: 138228000 markings, 340119121 edges, 536385 markings/sec, 240 secs
lola: 141188014 markings, 347797728 edges, 592003 markings/sec, 245 secs
lola: 144260070 markings, 355766999 edges, 614411 markings/sec, 250 secs
lola: 147324182 markings, 363720490 edges, 612822 markings/sec, 255 secs
lola: 150364210 markings, 371617768 edges, 608006 markings/sec, 260 secs
lola: 153403614 markings, 379518939 edges, 607881 markings/sec, 265 secs
lola: 156417510 markings, 387361298 edges, 602779 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7000 unknown 100 unknown unknown unknown unknown 407 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6023012 KB
lola: time consumption: 1908 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GSH)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GSH)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000000100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 581 markings, 581 edges, 116 markings/sec, 25 secs
lola: 5128280 markings, 7869306 edges, 1025540 markings/sec, 30 secs
lola: 9846577 markings, 15155842 edges, 943659 markings/sec, 35 secs
lola: 14575064 markings, 22334881 edges, 945697 markings/sec, 40 secs
lola: 19315633 markings, 29500108 edges, 948114 markings/sec, 45 secs
lola: 23971343 markings, 36564790 edges, 931142 markings/sec, 50 secs
lola: 28569061 markings, 43499156 edges, 919544 markings/sec, 55 secs
lola: 33273894 markings, 50555619 edges, 940967 markings/sec, 60 secs
lola: 37888878 markings, 57523450 edges, 922997 markings/sec, 65 secs
lola: 42515012 markings, 64477389 edges, 925227 markings/sec, 70 secs
lola: 47125368 markings, 71472386 edges, 922071 markings/sec, 75 secs
lola: 51699629 markings, 78359001 edges, 914852 markings/sec, 80 secs
lola: 56361156 markings, 85372750 edges, 932305 markings/sec, 85 secs
lola: 60305965 markings, 91347697 edges, 788962 markings/sec, 90 secs
lola: 64301927 markings, 97361937 edges, 799192 markings/sec, 95 secs
lola: 68524003 markings, 103744621 edges, 844415 markings/sec, 100 secs
lola: 72530759 markings, 109753701 edges, 801351 markings/sec, 105 secs
lola: 76355039 markings, 115534805 edges, 764856 markings/sec, 110 secs
lola: 80540691 markings, 121855351 edges, 837130 markings/sec, 115 secs
lola: 84349209 markings, 127597286 edges, 761704 markings/sec, 120 secs
lola: 88104293 markings, 133260035 edges, 751017 markings/sec, 125 secs
lola: 92312085 markings, 139593291 edges, 841558 markings/sec, 130 secs
lola: 96306732 markings, 145656641 edges, 798929 markings/sec, 135 secs
lola: 100386501 markings, 151790772 edges, 815954 markings/sec, 140 secs
lola: 104599158 markings, 158117520 edges, 842531 markings/sec, 145 secs
lola: 109094631 markings, 164934243 edges, 899095 markings/sec, 150 secs
lola: 113586284 markings, 171682049 edges, 898331 markings/sec, 155 secs
lola: 118080407 markings, 178479445 edges, 898825 markings/sec, 160 secs
lola: 122532882 markings, 185196340 edges, 890495 markings/sec, 165 secs
lola: 126868388 markings, 191707940 edges, 867101 markings/sec, 170 secs
lola: 131189937 markings, 198238005 edges, 864310 markings/sec, 175 secs
lola: 135515707 markings, 204736284 edges, 865154 markings/sec, 180 secs
lola: 140009153 markings, 211559787 edges, 898689 markings/sec, 185 secs
lola: 144526716 markings, 218353333 edges, 903513 markings/sec, 190 secs
lola: 149145059 markings, 225335096 edges, 923669 markings/sec, 195 secs
lola: 153718798 markings, 232207795 edges, 914748 markings/sec, 200 secs
lola: 158072165 markings, 238792500 edges, 870673 markings/sec, 205 secs
lola: 162214197 markings, 245027837 edges, 828406 markings/sec, 210 secs
lola: 166681142 markings, 251752416 edges, 893389 markings/sec, 215 secs
lola: 170894189 markings, 258104993 edges, 842609 markings/sec, 220 secs
lola: 175461810 markings, 264992919 edges, 913524 markings/sec, 225 secs
lola: 179473780 markings, 271066778 edges, 802394 markings/sec, 230 secs
lola: 183700369 markings, 277409854 edges, 845318 markings/sec, 235 secs
lola: 187336710 markings, 282903221 edges, 727268 markings/sec, 240 secs
lola: 191514464 markings, 289202186 edges, 835551 markings/sec, 245 secs
lola: 196065402 markings, 296066431 edges, 910188 markings/sec, 250 secs
lola: 199976137 markings, 301985365 edges, 782147 markings/sec, 255 secs
lola: 204286289 markings, 308454860 edges, 862030 markings/sec, 260 secs
lola: 208323523 markings, 314583556 edges, 807447 markings/sec, 265 secs
lola: 212346629 markings, 320652068 edges, 804621 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7000 unknown 100 unknown unknown unknown unknown 407 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7822880 KB
lola: time consumption: 2185 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(a2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(a2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000000100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: SUBRESULT
lola: result: 2000
lola: produced by: state space
lola: The maximum value of the given expression is 2000
lola: 3321817 markings, 4777163 edges
lola: ========================================

FORMULA GPPP-PT-C1000N0000000100-UpperBounds-11 2000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(_3PG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(_3PG)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000000100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 11479 markings, 20324 edges, 2296 markings/sec, 25 secs
lola: 3389428 markings, 7283627 edges, 675590 markings/sec, 30 secs
lola: 7192251 markings, 15489786 edges, 760565 markings/sec, 35 secs
lola: 10944202 markings, 23648227 edges, 750390 markings/sec, 40 secs
lola: 14259806 markings, 30904212 edges, 663121 markings/sec, 45 secs
lola: 17075119 markings, 37018000 edges, 563063 markings/sec, 50 secs
lola: 20116624 markings, 43634060 edges, 608301 markings/sec, 55 secs
lola: 23129817 markings, 50178735 edges, 602639 markings/sec, 60 secs
lola: 26209740 markings, 56868604 edges, 615985 markings/sec, 65 secs
lola: 28840015 markings, 62585497 edges, 526055 markings/sec, 70 secs
lola: 31387260 markings, 68127099 edges, 509449 markings/sec, 75 secs
lola: 34069043 markings, 73955296 edges, 536357 markings/sec, 80 secs
lola: 37466325 markings, 81351961 edges, 679456 markings/sec, 85 secs
lola: 40833237 markings, 88694284 edges, 673382 markings/sec, 90 secs
lola: 44183748 markings, 96000682 edges, 670102 markings/sec, 95 secs
lola: 47838174 markings, 103972777 edges, 730885 markings/sec, 100 secs
lola: 51617384 markings, 112219571 edges, 755842 markings/sec, 105 secs
lola: 55375069 markings, 120416782 edges, 751537 markings/sec, 110 secs
lola: 59115535 markings, 128581515 edges, 748093 markings/sec, 115 secs
lola: 62840858 markings, 136716767 edges, 745065 markings/sec, 120 secs
lola: 66548400 markings, 144808816 edges, 741508 markings/sec, 125 secs
lola: 70235759 markings, 152869901 edges, 737472 markings/sec, 130 secs
lola: 73897715 markings, 160869461 edges, 732391 markings/sec, 135 secs
lola: 77525038 markings, 168808618 edges, 725465 markings/sec, 140 secs
lola: 81150700 markings, 176738594 edges, 725132 markings/sec, 145 secs
lola: 84752269 markings, 184624280 edges, 720314 markings/sec, 150 secs
lola: 88346695 markings, 192503251 edges, 718885 markings/sec, 155 secs
lola: 90981953 markings, 199126075 edges, 527052 markings/sec, 160 secs
lola: 93631750 markings, 205980130 edges, 529959 markings/sec, 165 secs
lola: 96224454 markings, 212684715 edges, 518541 markings/sec, 170 secs
lola: 98905817 markings, 219618790 edges, 536273 markings/sec, 175 secs
lola: 101554274 markings, 226469957 edges, 529691 markings/sec, 180 secs
lola: 104239038 markings, 233415076 edges, 536953 markings/sec, 185 secs
lola: 107102054 markings, 240817827 edges, 572603 markings/sec, 190 secs
lola: 109954663 markings, 248200685 edges, 570522 markings/sec, 195 secs
lola: 112706264 markings, 255323997 edges, 550320 markings/sec, 200 secs
lola: 115485332 markings, 262509362 edges, 555814 markings/sec, 205 secs
lola: 119076371 markings, 270627692 edges, 718208 markings/sec, 210 secs
lola: 122773980 markings, 278741597 edges, 739522 markings/sec, 215 secs
lola: 126006335 markings, 285836788 edges, 646471 markings/sec, 220 secs
lola: 128671231 markings, 291686913 edges, 532979 markings/sec, 225 secs
lola: 131836119 markings, 298637612 edges, 632978 markings/sec, 230 secs
lola: 134963954 markings, 305504689 edges, 625567 markings/sec, 235 secs
lola: 138026803 markings, 312237034 edges, 612570 markings/sec, 240 secs
lola: 140933146 markings, 318622535 edges, 581269 markings/sec, 245 secs
lola: 143956653 markings, 325268994 edges, 604701 markings/sec, 250 secs
lola: 146691429 markings, 331290265 edges, 546955 markings/sec, 255 secs
lola: 149495051 markings, 337461005 edges, 560724 markings/sec, 260 secs
lola: 152356787 markings, 343763020 edges, 572347 markings/sec, 265 secs
lola: 155634146 markings, 350985169 edges, 655472 markings/sec, 270 secs
lola: 159163227 markings, 358720188 edges, 705816 markings/sec, 275 secs
lola: 162530426 markings, 365973329 edges, 673440 markings/sec, 280 secs
lola: 165665227 markings, 372738058 edges, 626960 markings/sec, 285 secs
lola: 168693511 markings, 379282417 edges, 605657 markings/sec, 290 secs
lola: 171695532 markings, 385767914 edges, 600404 markings/sec, 295 secs
lola: 174674283 markings, 392187144 edges, 595750 markings/sec, 300 secs
lola: 177603104 markings, 398555832 edges, 585764 markings/sec, 305 secs
lola: 180468729 markings, 404778441 edges, 573125 markings/sec, 310 secs
lola: 183334761 markings, 410927725 edges, 573206 markings/sec, 315 secs
lola: 186179821 markings, 417082642 edges, 569012 markings/sec, 320 secs
lola: 189050183 markings, 423337424 edges, 574072 markings/sec, 325 secs
lola: 191921234 markings, 429479617 edges, 574210 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7000 unknown 100 unknown unknown unknown unknown 407 unknown unknown unknown 2000 unknown unknown unknown unknown
lola: memory consumption: 7403140 KB
lola: time consumption: 2557 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FBP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FBP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000000100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 5913 markings, 9062 edges, 1183 markings/sec, 25 secs
lola: 3498703 markings, 7623622 edges, 698558 markings/sec, 30 secs
lola: 7261439 markings, 15865736 edges, 752547 markings/sec, 35 secs
lola: 10963012 markings, 23978290 edges, 740315 markings/sec, 40 secs
lola: 14639318 markings, 32040834 edges, 735261 markings/sec, 45 secs
lola: 18311516 markings, 40095768 edges, 734440 markings/sec, 50 secs
lola: 21962823 markings, 48107944 edges, 730261 markings/sec, 55 secs
lola: 25601378 markings, 56104756 edges, 727711 markings/sec, 60 secs
lola: 29212838 markings, 64041805 edges, 722292 markings/sec, 65 secs
lola: 32817309 markings, 71963426 edges, 720894 markings/sec, 70 secs
lola: 36409832 markings, 79858715 edges, 718505 markings/sec, 75 secs
lola: 39993534 markings, 87734537 edges, 716740 markings/sec, 80 secs
lola: 43569009 markings, 95593499 edges, 715095 markings/sec, 85 secs
lola: 47288445 markings, 103944023 edges, 743887 markings/sec, 90 secs
lola: 49893385 markings, 111676483 edges, 520988 markings/sec, 95 secs
lola: 52175605 markings, 118962430 edges, 456444 markings/sec, 100 secs
lola: 54457108 markings, 126248236 edges, 456301 markings/sec, 105 secs
lola: 56752945 markings, 133575245 edges, 459167 markings/sec, 110 secs
lola: 59053460 markings, 140927597 edges, 460103 markings/sec, 115 secs
lola: 61353514 markings, 148272349 edges, 460011 markings/sec, 120 secs
lola: 63683044 markings, 155707659 edges, 465906 markings/sec, 125 secs
lola: 66004369 markings, 163120252 edges, 464265 markings/sec, 130 secs
lola: 68328018 markings, 170546662 edges, 464730 markings/sec, 135 secs
lola: 70666561 markings, 178012240 edges, 467709 markings/sec, 140 secs
lola: 72950447 markings, 185302457 edges, 456777 markings/sec, 145 secs
lola: 75163817 markings, 192376454 edges, 442674 markings/sec, 150 secs
lola: 77507939 markings, 199865532 edges, 468824 markings/sec, 155 secs
lola: 79864975 markings, 207390482 edges, 471407 markings/sec, 160 secs
lola: 82211896 markings, 214885712 edges, 469384 markings/sec, 165 secs
lola: 84570295 markings, 222417847 edges, 471680 markings/sec, 170 secs
lola: 86889334 markings, 229829037 edges, 463808 markings/sec, 175 secs
lola: 89239374 markings, 237332858 edges, 470008 markings/sec, 180 secs
lola: 91597464 markings, 244866603 edges, 471618 markings/sec, 185 secs
lola: 93961177 markings, 252417389 edges, 472743 markings/sec, 190 secs
lola: 96323907 markings, 259964511 edges, 472546 markings/sec, 195 secs
lola: 98688168 markings, 267516108 edges, 472852 markings/sec, 200 secs
lola: 101053952 markings, 275072055 edges, 473157 markings/sec, 205 secs
lola: 103419886 markings, 282628186 edges, 473187 markings/sec, 210 secs
lola: 105781012 markings, 290172280 edges, 472225 markings/sec, 215 secs
lola: 107786333 markings, 296575521 edges, 401064 markings/sec, 220 secs
lola: 110184034 markings, 304236316 edges, 479540 markings/sec, 225 secs
lola: 112664684 markings, 312156415 edges, 496130 markings/sec, 230 secs
lola: 115146150 markings, 320086779 edges, 496293 markings/sec, 235 secs
lola: 117852275 markings, 328960395 edges, 541225 markings/sec, 240 secs
lola: 120414738 markings, 337272135 edges, 512493 markings/sec, 245 secs
lola: 122612906 markings, 344284171 edges, 439634 markings/sec, 250 secs
lola: 124451222 markings, 350151634 edges, 367663 markings/sec, 255 secs
lola: 126505445 markings, 356704676 edges, 410845 markings/sec, 260 secs
lola: 128559181 markings, 363253857 edges, 410747 markings/sec, 265 secs
lola: 130646346 markings, 369916033 edges, 417433 markings/sec, 270 secs
lola: 132490967 markings, 375801699 edges, 368924 markings/sec, 275 secs
lola: 134508815 markings, 382239971 edges, 403570 markings/sec, 280 secs
lola: 136559666 markings, 388783336 edges, 410170 markings/sec, 285 secs
lola: 138746779 markings, 395760761 edges, 437423 markings/sec, 290 secs
lola: 141050238 markings, 403112159 edges, 460692 markings/sec, 295 secs
lola: 143357629 markings, 410470267 edges, 461478 markings/sec, 300 secs
lola: 145661502 markings, 417826422 edges, 460775 markings/sec, 305 secs
lola: 147901189 markings, 424967967 edges, 447937 markings/sec, 310 secs
lola: 150151152 markings, 432152285 edges, 449993 markings/sec, 315 secs
lola: 152456356 markings, 439509490 edges, 461041 markings/sec, 320 secs
lola: 154760975 markings, 446864326 edges, 460924 markings/sec, 325 secs
lola: 157078698 markings, 454259878 edges, 463545 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7000 unknown 100 unknown unknown unknown unknown 407 unknown unknown unknown 2000 unknown unknown unknown unknown
lola: memory consumption: 6033564 KB
lola: time consumption: 2894 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 338 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(_2PG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(_2PG)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000000100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 6412 markings, 10038 edges, 1282 markings/sec, 25 secs
lola: 3963950 markings, 8520334 edges, 791508 markings/sec, 30 secs
lola: 7730800 markings, 16676302 edges, 753370 markings/sec, 35 secs
lola: 10966794 markings, 23745556 edges, 647199 markings/sec, 40 secs
lola: 13839323 markings, 29983332 edges, 574506 markings/sec, 45 secs
lola: 16855442 markings, 36536125 edges, 603224 markings/sec, 50 secs
lola: 20054304 markings, 43490194 edges, 639772 markings/sec, 55 secs
lola: 23309568 markings, 50564073 edges, 651053 markings/sec, 60 secs
lola: 27440804 markings, 58042077 edges, 826247 markings/sec, 65 secs
lola: 31876455 markings, 65798928 edges, 887130 markings/sec, 70 secs
lola: 36201543 markings, 73363427 edges, 865018 markings/sec, 75 secs
lola: 40078994 markings, 80141939 edges, 775490 markings/sec, 80 secs
lola: 43916683 markings, 86858905 edges, 767538 markings/sec, 85 secs
lola: 47913948 markings, 93853151 edges, 799453 markings/sec, 90 secs
lola: 52313913 markings, 101543319 edges, 879993 markings/sec, 95 secs
lola: 56659484 markings, 109148972 edges, 869114 markings/sec, 100 secs
lola: 60245931 markings, 115433740 edges, 717289 markings/sec, 105 secs
lola: 64310962 markings, 122548005 edges, 813006 markings/sec, 110 secs
lola: 68692182 markings, 130218945 edges, 876244 markings/sec, 115 secs
lola: 72744766 markings, 137328021 edges, 810517 markings/sec, 120 secs
lola: 77067669 markings, 144912037 edges, 864581 markings/sec, 125 secs
lola: 81260926 markings, 152259606 edges, 838651 markings/sec, 130 secs
lola: 85341890 markings, 159422974 edges, 816193 markings/sec, 135 secs
lola: 87852183 markings, 165297286 edges, 502059 markings/sec, 140 secs
lola: 90364363 markings, 171791232 edges, 502436 markings/sec, 145 secs
lola: 93013125 markings, 178639147 edges, 529752 markings/sec, 150 secs
lola: 95676185 markings, 185528386 edges, 532612 markings/sec, 155 secs
lola: 98047167 markings, 191662230 edges, 474196 markings/sec, 160 secs
lola: 100471763 markings, 197941643 edges, 484919 markings/sec, 165 secs
lola: 103061853 markings, 204631440 edges, 518018 markings/sec, 170 secs
lola: 106861254 markings, 212353524 edges, 759880 markings/sec, 175 secs
lola: 111031398 markings, 219748396 edges, 834029 markings/sec, 180 secs
lola: 114305134 markings, 225549586 edges, 654747 markings/sec, 185 secs
lola: 118200605 markings, 232454864 edges, 779094 markings/sec, 190 secs
lola: 122524083 markings, 240127549 edges, 864696 markings/sec, 195 secs
lola: 126784413 markings, 247682741 edges, 852066 markings/sec, 200 secs
lola: 130951587 markings, 255071468 edges, 833435 markings/sec, 205 secs
lola: 135029934 markings, 262312686 edges, 815669 markings/sec, 210 secs
lola: 139120894 markings, 269577718 edges, 818192 markings/sec, 215 secs
lola: 143138529 markings, 276722263 edges, 803527 markings/sec, 220 secs
lola: 147256114 markings, 284049938 edges, 823517 markings/sec, 225 secs
lola: 151320851 markings, 291276497 edges, 812947 markings/sec, 230 secs
lola: 155189932 markings, 298355998 edges, 773816 markings/sec, 235 secs
lola: 158657565 markings, 304674602 edges, 693527 markings/sec, 240 secs
lola: 162018079 markings, 310838294 edges, 672103 markings/sec, 245 secs
lola: 165306997 markings, 316842035 edges, 657784 markings/sec, 250 secs
lola: 168618293 markings, 322929505 edges, 662259 markings/sec, 255 secs
lola: 171948812 markings, 329009284 edges, 666104 markings/sec, 260 secs
lola: 175165775 markings, 334919196 edges, 643393 markings/sec, 265 secs
lola: 178427367 markings, 340871316 edges, 652318 markings/sec, 270 secs
lola: 181743159 markings, 346881381 edges, 663158 markings/sec, 275 secs
lola: 185010687 markings, 352848195 edges, 653506 markings/sec, 280 secs
lola: 188165014 markings, 358724104 edges, 630865 markings/sec, 285 secs
lola: 191379983 markings, 364616055 edges, 642994 markings/sec, 290 secs
lola: 194562599 markings, 370434173 edges, 636523 markings/sec, 295 secs
lola: 197667185 markings, 376140267 edges, 620917 markings/sec, 300 secs
lola: 200899399 markings, 382007444 edges, 646443 markings/sec, 305 secs
lola: 203955307 markings, 387633598 edges, 611182 markings/sec, 310 secs
lola: 207086865 markings, 393398869 edges, 626312 markings/sec, 315 secs
lola: 210326287 markings, 399305952 edges, 647884 markings/sec, 320 secs
lola: 213383624 markings, 405034781 edges, 611467 markings/sec, 325 secs
lola: 216678127 markings, 410861978 edges, 658901 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7000 unknown 100 unknown unknown unknown unknown 407 unknown unknown unknown 2000 unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(F6P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(F6P)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C1000N0000000100-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 977 markings, 978 edges, 195 markings/sec, 25 secs
lola: 3788426 markings, 8257998 edges, 757490 markings/sec, 30 secs
lola: 7559234 markings, 16518379 edges, 754162 markings/sec, 35 secs
lola: 11281438 markings, 24677467 edges, 744441 markings/sec, 40 secs
lola: 14986193 markings, 32800737 edges, 740951 markings/sec, 45 secs
lola: 18673947 markings, 40889585 edges, 737551 markings/sec, 50 secs
lola: 22351560 markings, 48961861 edges, 735523 markings/sec, 55 secs
lola: 26011101 markings, 57004572 edges, 731908 markings/sec, 60 secs
lola: 29651314 markings, 65005034 edges, 728043 markings/sec, 65 secs
lola: 33276298 markings, 72971902 edges, 724997 markings/sec, 70 secs
lola: 36884804 markings, 80902433 edges, 721701 markings/sec, 75 secs
lola: 40493768 markings, 88833975 edges, 721793 markings/sec, 80 secs
lola: 44095122 markings, 96750021 edges, 720271 markings/sec, 85 secs
lola: 47873808 markings, 105282627 edges, 755737 markings/sec, 90 secs
lola: 50261955 markings, 112850686 edges, 477629 markings/sec, 95 secs
lola: 52546886 markings, 120145586 edges, 456986 markings/sec, 100 secs
lola: 54829990 markings, 127437554 edges, 456621 markings/sec, 105 secs
lola: 57133865 markings, 134791625 edges, 460775 markings/sec, 110 secs
lola: 59430889 markings, 142130193 edges, 459405 markings/sec, 115 secs
lola: 61738554 markings, 149501194 edges, 461533 markings/sec, 120 secs
lola: 64051978 markings, 156890345 edges, 462685 markings/sec, 125 secs
lola: 66371980 markings, 164299439 edges, 464000 markings/sec, 130 secs
lola: 68689602 markings, 171699965 edges, 463524 markings/sec, 135 secs
lola: 71038781 markings, 179203561 edges, 469836 markings/sec, 140 secs
lola: 73391384 markings, 186717418 edges, 470521 markings/sec, 145 secs
lola: 75726254 markings, 194172613 edges, 466974 markings/sec, 150 secs
lola: 77893393 markings, 201092498 edges, 433428 markings/sec, 155 secs
lola: 80251412 markings, 208626840 edges, 471604 markings/sec, 160 secs
lola: 82605599 markings, 216146243 edges, 470837 markings/sec, 165 secs
lola: 84948466 markings, 223629953 edges, 468573 markings/sec, 170 secs
lola: 87308335 markings, 231161031 edges, 471974 markings/sec, 175 secs
lola: 89675443 markings, 238727537 edges, 473422 markings/sec, 180 secs
lola: 92044784 markings, 246296807 edges, 473868 markings/sec, 185 secs
lola: 94400864 markings, 253815500 edges, 471216 markings/sec, 190 secs
lola: 96756220 markings, 261339103 edges, 471071 markings/sec, 195 secs
lola: 99121861 markings, 268900995 edges, 473128 markings/sec, 200 secs
lola: 101489759 markings, 276465087 edges, 473580 markings/sec, 205 secs
lola: 103847214 markings, 283993674 edges, 471491 markings/sec, 210 secs
lola: 106220662 markings, 291577522 edges, 474690 markings/sec, 215 secs
lola: 108345217 markings, 298362924 edges, 424911 markings/sec, 220 secs
lola: 110785952 markings, 306156306 edges, 488147 markings/sec, 225 secs
lola: 113274666 markings, 314109326 edges, 497743 markings/sec, 230 secs
lola: 115785223 markings, 322158639 edges, 502111 markings/sec, 235 secs
lola: 118514579 markings, 331139396 edges, 545871 markings/sec, 240 secs
lola: 120971601 markings, 339049760 edges, 491404 markings/sec, 245 secs
lola: 123243988 markings, 346299350 edges, 454477 markings/sec, 250 secs
lola: 125515317 markings, 353546481 edges, 454266 markings/sec, 255 secs
lola: 127798662 markings, 360828065 edges, 456669 markings/sec, 260 secs
lola: 130087084 markings, 368128403 edges, 457684 markings/sec, 265 secs
lola: 132367883 markings, 375404563 edges, 456160 markings/sec, 270 secs
lola: 134650922 markings, 382689156 edges, 456608 markings/sec, 275 secs
lola: 136957645 markings, 390053613 edges, 461345 markings/sec, 280 secs
lola: 139255946 markings, 397387072 edges, 459660 markings/sec, 285 secs
lola: 141559277 markings, 404735204 edges, 460666 markings/sec, 290 secs
lola: 143870790 markings, 412111654 edges, 462303 markings/sec, 295 secs
lola: 145930617 markings, 418682717 edges, 411965 markings/sec, 300 secs
lola: 148243363 markings, 426064674 edges, 462549 markings/sec, 305 secs
lola: 150567297 markings, 433481153 edges, 464787 markings/sec, 310 secs
lola: 152879390 markings, 440858599 edges, 462419 markings/sec, 315 secs
lola: 155195337 markings, 448246035 edges, 463189 markings/sec, 320 secs
lola: 157509434 markings, 455633296 edges, 462819 markings/sec, 325 secs
lola: 159728857 markings, 462713961 edges, 443885 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: 7000 unknown 100 unknown unknown unknown unknown 407 unknown unknown unknown 2000 unknown unknown unknown unknown
lola: memory consumption: 6127364 KB
lola: time consumption: 3570 seconds
lola: time limit reached - aborting
lola:
preliminary result: 7000 unknown 100 unknown unknown unknown unknown 407 unknown unknown unknown 2000 unknown unknown unknown unknown
lola:
preliminary result: 7000 unknown 100 unknown unknown unknown unknown 407 unknown unknown unknown 2000 unknown unknown unknown unknown
lola: memory consumption: 18260 KB
lola: time consumption: 3570 seconds

BK_STOP 1526755696468

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="GPPP-PT-C1000N0000000100"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/GPPP-PT-C1000N0000000100.tgz
mv GPPP-PT-C1000N0000000100 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is GPPP-PT-C1000N0000000100, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r088-blw7-152649998400345"
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 ;