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 192K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K 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.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K 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-C0100N0000100000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-blw7-152649998400331
=====================================================================

--------------------
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-C0100N0000100000-UpperBounds-00
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-01
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-02
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-03
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-04
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-05
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-06
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-07
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-08
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-09
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-10
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-11
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-12
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-13
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-14
FORMULA_NAME GPPP-PT-C0100N0000100000-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1526743016591

info: Time: 3600 - MCC
===========================================================================================
prep: translating GPPP-PT-C0100N0000100000 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating GPPP-PT-C0100N0000100000 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ GPPP-PT-C0100N0000100000 @ 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-C0100N0000100000-UpperBounds.task
lola: LP says that atomic proposition is always false: (NADPplus <= 0)
lola: LP says that atomic proposition is always false: (ATP <= 0)
lola: LP says that atomic proposition is always false: (NADPplus <= 0)
lola: LP says that atomic proposition is always false: (ATP <= 0)
lola: MAX(G6P) : MAX(Ru5P) : MAX(NADPplus) : MAX(Ru5P) : MAX(Pi) : MAX(Pi) : MAX(c1) : MAX(GAP) : MAX(ATP) : MAX(G6P) : MAX(NADPplus) : MAX(_1_3_BPG) : MAX(start) : MAX(ATP) : MAX(b1) : MAX(_1_3_BPG)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NADPplus)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NADPplus)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000100000-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: 200000
lola: SUBRESULT
lola: result: 200000
lola: produced by: state space
lola: The maximum value of the given expression is 200000
lola: 0 markings, 0 edges
lola: ========================================
check_solution: Variable C34 = -1.00000000052 is below its lower bound 0
check_solution: Variable C35 = -1.00000000052 is below its lower bound 0
check_solution: Variable C37 = -1.00000000052 is below its lower bound 0
check_solution: Variable C38 = -1.00000000052 is below its lower bound 0
check_solution: Variable C39 = -1.00000000052 is below its lower bound 0
check_solution: Variable C42 = -1.0000000003 is below its lower bound 0
check_solution: Variable C44 = -1.0000000003 is below its lower bound 0
check_solution: Variable C45 = -0.00142857142931 is below its lower bound 0
check_solution: Variable C53 = -1.00000000052 is below its lower bound 0

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

FORMULA GPPP-PT-C0100N0000100000-UpperBounds-2 200000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 234 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ATP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000100000-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: 515 markings, 515 edges, 103 markings/sec, 25 secs
lola: 3106173 markings, 8744515 edges, 621132 markings/sec, 30 secs
lola: 6198765 markings, 16995573 edges, 618518 markings/sec, 35 secs
lola: 9002817 markings, 24486050 edges, 560810 markings/sec, 40 secs
lola: 11906406 markings, 32242709 edges, 580718 markings/sec, 45 secs
lola: 14745849 markings, 39826902 edges, 567889 markings/sec, 50 secs
lola: 17659366 markings, 47607101 edges, 582703 markings/sec, 55 secs
lola: 20584573 markings, 55416749 edges, 585041 markings/sec, 60 secs
lola: 23519741 markings, 63250707 edges, 587034 markings/sec, 65 secs
lola: 26465821 markings, 71108182 edges, 589216 markings/sec, 70 secs
lola: 29478241 markings, 79135860 edges, 602484 markings/sec, 75 secs
lola: 32539895 markings, 87275459 edges, 612331 markings/sec, 80 secs
lola: 35555510 markings, 95359357 edges, 603123 markings/sec, 85 secs
lola: 38502838 markings, 103293480 edges, 589466 markings/sec, 90 secs
lola: 41508997 markings, 111385143 edges, 601232 markings/sec, 95 secs
lola: 44443588 markings, 119284878 edges, 586918 markings/sec, 100 secs
lola: 47361039 markings, 127138524 edges, 583490 markings/sec, 105 secs
lola: 50273244 markings, 134978127 edges, 582441 markings/sec, 110 secs
lola: 53103093 markings, 142596755 edges, 565970 markings/sec, 115 secs
lola: 55989195 markings, 150366519 edges, 577220 markings/sec, 120 secs
lola: 58877011 markings, 158140455 edges, 577563 markings/sec, 125 secs
lola: 61728263 markings, 165807025 edges, 570250 markings/sec, 130 secs
lola: 64585936 markings, 173500103 edges, 571535 markings/sec, 135 secs
lola: 67420105 markings, 181130198 edges, 566834 markings/sec, 140 secs
lola: 70295818 markings, 188871587 edges, 575143 markings/sec, 145 secs
lola: 73241178 markings, 196799922 edges, 589072 markings/sec, 150 secs
lola: 76126962 markings, 204568220 edges, 577157 markings/sec, 155 secs
lola: 79026677 markings, 212374050 edges, 579943 markings/sec, 160 secs
lola: 81884839 markings, 220068266 edges, 571632 markings/sec, 165 secs
lola: 84710836 markings, 227676163 edges, 565199 markings/sec, 170 secs
lola: 87612661 markings, 235487401 edges, 580365 markings/sec, 175 secs
lola: 90374749 markings, 242923964 edges, 552418 markings/sec, 180 secs
lola: 92950577 markings, 249851428 edges, 515166 markings/sec, 185 secs
lola: 95541844 markings, 256829669 edges, 518253 markings/sec, 190 secs
lola: 97850857 markings, 263041387 edges, 461803 markings/sec, 195 secs
lola: 100627801 markings, 270517709 edges, 555389 markings/sec, 200 secs
lola: 103553883 markings, 278393669 edges, 585216 markings/sec, 205 secs
lola: 106437544 markings, 286156081 edges, 576732 markings/sec, 210 secs
lola: 109290180 markings, 293835091 edges, 570527 markings/sec, 215 secs
lola: 112147803 markings, 301527518 edges, 571525 markings/sec, 220 secs
lola: 114970471 markings, 309125021 edges, 564534 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 200000 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4354020 KB
lola: time consumption: 284 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 234 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NADPplus)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NADPplus)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000100000-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: 200000
lola: SUBRESULT
lola: result: 200000
lola: produced by: state space
lola: The maximum value of the given expression is 200000
lola: 0 markings, 0 edges

FORMULA GPPP-PT-C0100N0000100000-UpperBounds-10 200000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 252 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ATP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000100000-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: 3210552 markings, 9023784 edges, 642110 markings/sec, 30 secs
lola: 5550962 markings, 15264689 edges, 468082 markings/sec, 35 secs
lola: 8344412 markings, 22727202 edges, 558690 markings/sec, 40 secs
lola: 10973652 markings, 29752771 edges, 525848 markings/sec, 45 secs
lola: 13842104 markings, 37413635 edges, 573690 markings/sec, 50 secs
lola: 16515884 markings, 44553670 edges, 534756 markings/sec, 55 secs
lola: 19263976 markings, 51891484 edges, 549618 markings/sec, 60 secs
lola: 22149749 markings, 59594717 edges, 577155 markings/sec, 65 secs
lola: 24942920 markings, 67046182 edges, 558634 markings/sec, 70 secs
lola: 27792601 markings, 74644508 edges, 569936 markings/sec, 75 secs
lola: 30646333 markings, 82244956 edges, 570746 markings/sec, 80 secs
lola: 33535145 markings, 89921397 edges, 577762 markings/sec, 85 secs
lola: 36401003 markings, 97636857 edges, 573172 markings/sec, 90 secs
lola: 39329379 markings, 105519918 edges, 585675 markings/sec, 95 secs
lola: 42265616 markings, 113424108 edges, 587247 markings/sec, 100 secs
lola: 45125805 markings, 121124278 edges, 572038 markings/sec, 105 secs
lola: 47860386 markings, 128477965 edges, 546916 markings/sec, 110 secs
lola: 50593074 markings, 135836040 edges, 546538 markings/sec, 115 secs
lola: 53332170 markings, 143211348 edges, 547819 markings/sec, 120 secs
lola: 56001910 markings, 150400569 edges, 533948 markings/sec, 125 secs
lola: 58822782 markings, 157985642 edges, 564174 markings/sec, 130 secs
lola: 61620493 markings, 165517875 edges, 559542 markings/sec, 135 secs
lola: 64435231 markings, 173095908 edges, 562948 markings/sec, 140 secs
lola: 67226304 markings, 180610405 edges, 558215 markings/sec, 145 secs
lola: 70052859 markings, 188220114 edges, 565311 markings/sec, 150 secs
lola: 72955356 markings, 196033197 edges, 580499 markings/sec, 155 secs
lola: 75830632 markings, 203773525 edges, 575055 markings/sec, 160 secs
lola: 78759204 markings, 211656545 edges, 585714 markings/sec, 165 secs
lola: 81646276 markings, 219428379 edges, 577414 markings/sec, 170 secs
lola: 84475487 markings, 227045013 edges, 565842 markings/sec, 175 secs
lola: 87383583 markings, 234870743 edges, 581619 markings/sec, 180 secs
lola: 90202247 markings, 242451922 edges, 563733 markings/sec, 185 secs
lola: 92976489 markings, 249920980 edges, 554848 markings/sec, 190 secs
lola: 95796566 markings, 257512791 edges, 564015 markings/sec, 195 secs
lola: 98541955 markings, 264904505 edges, 549078 markings/sec, 200 secs
lola: 101362914 markings, 272498634 edges, 564192 markings/sec, 205 secs
lola: 104249226 markings, 280267997 edges, 577262 markings/sec, 210 secs
lola: 107112259 markings, 287975043 edges, 572607 markings/sec, 215 secs
lola: 109920966 markings, 295527049 edges, 561741 markings/sec, 220 secs
lola: 112719803 markings, 303061729 edges, 559767 markings/sec, 225 secs
lola: 115502805 markings, 310553933 edges, 556600 markings/sec, 230 secs
lola: 118335363 markings, 318178979 edges, 566512 markings/sec, 235 secs
lola: 121155835 markings, 325771734 edges, 564094 markings/sec, 240 secs
lola: 123928358 markings, 333235762 edges, 554505 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 200000 unknown unknown unknown unknown unknown unknown unknown 200000 unknown unknown unknown unknown unknown
lola: memory consumption: 4643828 KB
lola: time consumption: 537 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 252 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Pi)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Pi)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000100000-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: 700
lola: SUBRESULT
lola: result: 700
lola: produced by: state space
lola: The maximum value of the given expression is 700
lola: 2 markings, 1 edges

FORMULA GPPP-PT-C0100N0000100000-UpperBounds-4 700 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Pi)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Pi)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000100000-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: 700
lola: SUBRESULT
lola: result: 700
lola: produced by: state space
lola: The maximum value of the given expression is 700
lola: 2 markings, 1 edges

FORMULA GPPP-PT-C0100N0000100000-UpperBounds-5 700 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 303 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-C0100N0000100000-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: 700
lola: SUBRESULT
lola: result: 700
lola: produced by: state space
lola: The maximum value of the given expression is 700
lola: 0 markings, 0 edges

FORMULA GPPP-PT-C0100N0000100000-UpperBounds-6 700 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(GAP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(GAP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000100000-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: 534 markings, 557 edges, 107 markings/sec, 25 secs
lola: 2993534 markings, 9054350 edges, 598600 markings/sec, 30 secs
lola: 5157865 markings, 17894562 edges, 432866 markings/sec, 35 secs
lola: 7197491 markings, 27031900 edges, 407925 markings/sec, 40 secs
lola: 9069505 markings, 35608908 edges, 374403 markings/sec, 45 secs
lola: 11589359 markings, 44836956 edges, 503971 markings/sec, 50 secs
lola: 14090081 markings, 53533646 edges, 500144 markings/sec, 55 secs
lola: 16435170 markings, 61663641 edges, 469018 markings/sec, 60 secs
lola: 18711627 markings, 69576409 edges, 455291 markings/sec, 65 secs
lola: 20979198 markings, 77456153 edges, 453514 markings/sec, 70 secs
lola: 23227895 markings, 85258724 edges, 449739 markings/sec, 75 secs
lola: 25431468 markings, 92930151 edges, 440715 markings/sec, 80 secs
lola: 27658922 markings, 100653047 edges, 445491 markings/sec, 85 secs
lola: 29873389 markings, 108352444 edges, 442893 markings/sec, 90 secs
lola: 32100529 markings, 116087583 edges, 445428 markings/sec, 95 secs
lola: 34344047 markings, 123870909 edges, 448704 markings/sec, 100 secs
lola: 36572671 markings, 131629958 edges, 445725 markings/sec, 105 secs
lola: 38737773 markings, 139134881 edges, 433020 markings/sec, 110 secs
lola: 40926981 markings, 146732129 edges, 437842 markings/sec, 115 secs
lola: 43061436 markings, 154158454 edges, 426891 markings/sec, 120 secs
lola: 45263993 markings, 161794232 edges, 440511 markings/sec, 125 secs
lola: 47441212 markings, 169351742 edges, 435444 markings/sec, 130 secs
lola: 49609579 markings, 176892784 edges, 433673 markings/sec, 135 secs
lola: 51831086 markings, 184594866 edges, 444301 markings/sec, 140 secs
lola: 54010341 markings, 192155241 edges, 435851 markings/sec, 145 secs
lola: 56179140 markings, 199701901 edges, 433760 markings/sec, 150 secs
lola: 58327094 markings, 207146397 edges, 429591 markings/sec, 155 secs
lola: 60513551 markings, 214727964 edges, 437291 markings/sec, 160 secs
lola: 62606653 markings, 221994120 edges, 418620 markings/sec, 165 secs
lola: 64818728 markings, 229682902 edges, 442415 markings/sec, 170 secs
lola: 66982357 markings, 237182346 edges, 432726 markings/sec, 175 secs
lola: 69142827 markings, 244671867 edges, 432094 markings/sec, 180 secs
lola: 71302358 markings, 252162143 edges, 431906 markings/sec, 185 secs
lola: 73440014 markings, 259586417 edges, 427531 markings/sec, 190 secs
lola: 75616585 markings, 267142584 edges, 435314 markings/sec, 195 secs
lola: 77790537 markings, 274677067 edges, 434790 markings/sec, 200 secs
lola: 79809950 markings, 281674874 edges, 403883 markings/sec, 205 secs
lola: 81885790 markings, 288870014 edges, 415168 markings/sec, 210 secs
lola: 84078775 markings, 296473219 edges, 438597 markings/sec, 215 secs
lola: 86285215 markings, 304122580 edges, 441288 markings/sec, 220 secs
lola: 88498989 markings, 311796412 edges, 442755 markings/sec, 225 secs
lola: 90711255 markings, 319463998 edges, 442453 markings/sec, 230 secs
lola: 92936423 markings, 327175658 edges, 445034 markings/sec, 235 secs
lola: 95141848 markings, 334817162 edges, 441085 markings/sec, 240 secs
lola: 97332308 markings, 342407373 edges, 438092 markings/sec, 245 secs
lola: 99529414 markings, 350020771 edges, 439421 markings/sec, 250 secs
lola: 101729460 markings, 357643682 edges, 440009 markings/sec, 255 secs
lola: 103911059 markings, 365203819 edges, 436320 markings/sec, 260 secs
lola: 106131507 markings, 372878018 edges, 444090 markings/sec, 265 secs
lola: 108287954 markings, 380343443 edges, 431289 markings/sec, 270 secs
lola: 110440647 markings, 387799945 edges, 430539 markings/sec, 275 secs
lola: 112680007 markings, 395538264 edges, 447872 markings/sec, 280 secs
lola: 114915817 markings, 403278758 edges, 447162 markings/sec, 285 secs
lola: 117176224 markings, 411087721 edges, 452081 markings/sec, 290 secs
lola: 119431552 markings, 418885153 edges, 451066 markings/sec, 295 secs
lola: 121698083 markings, 426723783 edges, 453306 markings/sec, 300 secs
lola: 123966906 markings, 434557870 edges, 453765 markings/sec, 305 secs
lola: 126246294 markings, 442421978 edges, 455878 markings/sec, 310 secs
lola: 128541149 markings, 450331511 edges, 458971 markings/sec, 315 secs
lola: 130744108 markings, 457933156 edges, 440592 markings/sec, 320 secs
lola: 133024773 markings, 465784729 edges, 456133 markings/sec, 325 secs
lola: 135314629 markings, 473654022 edges, 457971 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 200000 unknown 700 700 700 unknown unknown unknown 200000 unknown unknown unknown unknown unknown
lola: memory consumption: 4981948 KB
lola: time consumption: 874 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 337 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-C0100N0000100000-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: 398
lola: SUBRESULT
lola: result: 398
lola: produced by: state space
lola: The maximum value of the given expression is 398
lola: 802 markings, 801 edges
lola: ========================================

FORMULA GPPP-PT-C0100N0000100000-UpperBounds-1 398 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 385 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(G6P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(G6P)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000100000-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: 400
lola: SUBRESULT
lola: result: 400
lola: produced by: state space
lola: The maximum value of the given expression is 400
lola: 402 markings, 401 edges

FORMULA GPPP-PT-C0100N0000100000-UpperBounds-9 400 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 449 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(G6P)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(G6P)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000100000-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: 400
lola: SUBRESULT
lola: result: 400
lola: produced by: state space
lola: The maximum value of the given expression is 400
lola: 402 markings, 401 edges

FORMULA GPPP-PT-C0100N0000100000-UpperBounds-0 400 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 539 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(_1_3_BPG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(_1_3_BPG)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000100000-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: 3370574 markings, 8950161 edges, 674115 markings/sec, 30 secs
lola: 6550047 markings, 17815266 edges, 635895 markings/sec, 35 secs
lola: 10025817 markings, 26778350 edges, 695154 markings/sec, 40 secs
lola: 13506632 markings, 35117655 edges, 696163 markings/sec, 45 secs
lola: 16727257 markings, 42845282 edges, 644125 markings/sec, 50 secs
lola: 19900419 markings, 50459145 edges, 634632 markings/sec, 55 secs
lola: 22991171 markings, 57875150 edges, 618150 markings/sec, 60 secs
lola: 26109249 markings, 65356819 edges, 623616 markings/sec, 65 secs
lola: 29212827 markings, 72803491 edges, 620716 markings/sec, 70 secs
lola: 32284374 markings, 80173445 edges, 614309 markings/sec, 75 secs
lola: 35347398 markings, 87522971 edges, 612605 markings/sec, 80 secs
lola: 38382019 markings, 94804200 edges, 606924 markings/sec, 85 secs
lola: 41399068 markings, 102043188 edges, 603410 markings/sec, 90 secs
lola: 44406292 markings, 109258949 edges, 601445 markings/sec, 95 secs
lola: 47401658 markings, 116446219 edges, 599073 markings/sec, 100 secs
lola: 50422457 markings, 123694072 edges, 604160 markings/sec, 105 secs
lola: 53414951 markings, 130874103 edges, 598499 markings/sec, 110 secs
lola: 56399175 markings, 138034277 edges, 596845 markings/sec, 115 secs
lola: 59374473 markings, 145173525 edges, 595060 markings/sec, 120 secs
lola: 62374281 markings, 152370773 edges, 599962 markings/sec, 125 secs
lola: 65317919 markings, 159433625 edges, 588728 markings/sec, 130 secs
lola: 68218373 markings, 166392987 edges, 580091 markings/sec, 135 secs
lola: 71160536 markings, 173452182 edges, 588433 markings/sec, 140 secs
lola: 74054190 markings, 180395243 edges, 578731 markings/sec, 145 secs
lola: 76954663 markings, 187354224 edges, 580095 markings/sec, 150 secs
lola: 79910305 markings, 194445799 edges, 591128 markings/sec, 155 secs
lola: 82862056 markings, 201528082 edges, 590350 markings/sec, 160 secs
lola: 85839678 markings, 208672540 edges, 595524 markings/sec, 165 secs
lola: 88836342 markings, 215862338 edges, 599333 markings/sec, 170 secs
lola: 91829977 markings, 223044837 edges, 598727 markings/sec, 175 secs
lola: 94816072 markings, 230209297 edges, 597219 markings/sec, 180 secs
lola: 97760284 markings, 237273305 edges, 588842 markings/sec, 185 secs
lola: 100730485 markings, 244399505 edges, 594040 markings/sec, 190 secs
lola: 103855242 markings, 251896673 edges, 624951 markings/sec, 195 secs
lola: 106996698 markings, 259433965 edges, 628291 markings/sec, 200 secs
lola: 110138224 markings, 266971204 edges, 628305 markings/sec, 205 secs
lola: 113237164 markings, 274406538 edges, 619788 markings/sec, 210 secs
lola: 116418292 markings, 282039561 edges, 636226 markings/sec, 215 secs
lola: 119647930 markings, 289791713 edges, 645928 markings/sec, 220 secs
lola: 122672819 markings, 297124212 edges, 604978 markings/sec, 225 secs
lola: 125670751 markings, 304393164 edges, 599586 markings/sec, 230 secs
lola: 128679371 markings, 311688279 edges, 601724 markings/sec, 235 secs
lola: 131651338 markings, 318895661 edges, 594393 markings/sec, 240 secs
lola: 134626842 markings, 326111817 edges, 595101 markings/sec, 245 secs
lola: 137624007 markings, 333380376 edges, 599433 markings/sec, 250 secs
lola: 140689689 markings, 340751615 edges, 613136 markings/sec, 255 secs
lola: 143721467 markings, 348101008 edges, 606356 markings/sec, 260 secs
lola: 146766791 markings, 355484142 edges, 609065 markings/sec, 265 secs
lola: 149827877 markings, 362905655 edges, 612217 markings/sec, 270 secs
lola: 152884502 markings, 370316769 edges, 611325 markings/sec, 275 secs
lola: 155921620 markings, 377681207 edges, 607424 markings/sec, 280 secs
lola: 158925292 markings, 384965493 edges, 600734 markings/sec, 285 secs
lola: 161849243 markings, 391998042 edges, 584790 markings/sec, 290 secs
lola: 164843180 markings, 399255583 edges, 598787 markings/sec, 295 secs
lola: 167881336 markings, 406621590 edges, 607631 markings/sec, 300 secs
lola: 170920409 markings, 413990413 edges, 607815 markings/sec, 305 secs
lola: 173932748 markings, 421295361 edges, 602468 markings/sec, 310 secs
lola: 176928382 markings, 428560418 edges, 599127 markings/sec, 315 secs
lola: 179889644 markings, 435743101 edges, 592252 markings/sec, 320 secs
lola: 182776495 markings, 442685572 edges, 577370 markings/sec, 325 secs
lola: 185645261 markings, 449642906 edges, 573753 markings/sec, 330 secs
lola: 188518610 markings, 456613261 edges, 574670 markings/sec, 335 secs
lola: 191448448 markings, 463720072 edges, 585968 markings/sec, 340 secs
lola: 194446926 markings, 470992230 edges, 599696 markings/sec, 345 secs
lola: 197465317 markings, 478312466 edges, 603678 markings/sec, 350 secs
lola: 200414717 markings, 485407190 edges, 589880 markings/sec, 355 secs
lola: 203289176 markings, 492376951 edges, 574892 markings/sec, 360 secs
lola: 206189086 markings, 499411204 edges, 579982 markings/sec, 365 secs
lola: 209091885 markings, 506453197 edges, 580560 markings/sec, 370 secs
lola: 211996222 markings, 513499304 edges, 580867 markings/sec, 375 secs
lola: 214866862 markings, 520464780 edges, 574128 markings/sec, 380 secs
lola: 217675882 markings, 527219196 edges, 561804 markings/sec, 385 secs
lola: 220353819 markings, 533718774 edges, 535587 markings/sec, 390 secs
lola: 223309930 markings, 540888993 edges, 591222 markings/sec, 395 secs
lola: 226276768 markings, 548085455 edges, 593368 markings/sec, 400 secs
lola: 229210426 markings, 555202435 edges, 586732 markings/sec, 405 secs
lola: 232087546 markings, 562156814 edges, 575424 markings/sec, 410 secs
lola: 234972464 markings, 569119389 edges, 576984 markings/sec, 415 secs
lola: 237870145 markings, 576148498 edges, 579536 markings/sec, 420 secs
lola: 240766322 markings, 583174920 edges, 579235 markings/sec, 425 secs
lola: 243642184 markings, 590153027 edges, 575172 markings/sec, 430 secs
lola: 246481775 markings, 597044281 edges, 567918 markings/sec, 435 secs
lola: 249377725 markings, 604008927 edges, 579190 markings/sec, 440 secs
lola: 252429150 markings, 611406605 edges, 610285 markings/sec, 445 secs
lola: 255454453 markings, 618743025 edges, 605061 markings/sec, 450 secs
lola: 258454083 markings, 626018395 edges, 599926 markings/sec, 455 secs
lola: 261465275 markings, 633321937 edges, 602238 markings/sec, 460 secs
lola: 264479667 markings, 640633436 edges, 602878 markings/sec, 465 secs
lola: 267444581 markings, 647826273 edges, 592983 markings/sec, 470 secs
lola: 270322576 markings, 654746842 edges, 575599 markings/sec, 475 secs
lola: 273152096 markings, 661611530 edges, 565904 markings/sec, 480 secs
lola: 276071043 markings, 668693019 edges, 583789 markings/sec, 485 secs
lola: 279082707 markings, 675997933 edges, 602333 markings/sec, 490 secs
lola: 282026928 markings, 683141034 edges, 588844 markings/sec, 495 secs
lola: 284904281 markings, 690123731 edges, 575471 markings/sec, 500 secs
lola: 287714304 markings, 696879953 edges, 562005 markings/sec, 505 secs
lola: 290484356 markings, 703602540 edges, 554010 markings/sec, 510 secs
lola: 293230482 markings, 710269104 edges, 549225 markings/sec, 515 secs
lola: 295475618 markings, 715732358 edges, 449027 markings/sec, 520 secs
lola: 298206236 markings, 722297588 edges, 546124 markings/sec, 525 secs
lola: 301002407 markings, 729083268 edges, 559234 markings/sec, 530 secs
lola: local time limit reached - aborting
lola:
preliminary result: 400 398 200000 unknown 700 700 700 unknown unknown 400 200000 unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 538 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(start)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(start)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000100000-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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges

FORMULA GPPP-PT-C0100N0000100000-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 718 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-C0100N0000100000-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: ========================================
lola: Structural Bound: 398
lola: SUBRESULT
lola: result: 398
lola: produced by: state space
lola: The maximum value of the given expression is 398
lola: 802 markings, 801 edges
lola: ========================================

FORMULA GPPP-PT-C0100N0000100000-UpperBounds-3 398 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1077 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(b1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(b1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000100000-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: 300
lola: SUBRESULT
lola: result: 300
lola: produced by: state space
lola: The maximum value of the given expression is 300
lola: 0 markings, 0 edges
lola: ========================================

FORMULA GPPP-PT-C0100N0000100000-UpperBounds-14 300 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2155 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(_1_3_BPG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(_1_3_BPG)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000100000-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: 10822 markings, 23295 edges, 2164 markings/sec, 25 secs
lola: 3392115 markings, 9010025 edges, 676259 markings/sec, 30 secs
lola: 6580171 markings, 17899237 edges, 637611 markings/sec, 35 secs
lola: 10076164 markings, 26898536 edges, 699199 markings/sec, 40 secs
lola: 13575486 markings, 35282803 edges, 699864 markings/sec, 45 secs
lola: 16802696 markings, 43026277 edges, 645442 markings/sec, 50 secs
lola: 19961483 markings, 50605578 edges, 631757 markings/sec, 55 secs
lola: 23078436 markings, 58084611 edges, 623391 markings/sec, 60 secs
lola: 26132432 markings, 65412348 edges, 610799 markings/sec, 65 secs
lola: 29222780 markings, 72827440 edges, 618070 markings/sec, 70 secs
lola: 32285797 markings, 80176865 edges, 612603 markings/sec, 75 secs
lola: 35327076 markings, 87474103 edges, 608256 markings/sec, 80 secs
lola: 38358965 markings, 94748792 edges, 606378 markings/sec, 85 secs
lola: 41387786 markings, 102016301 edges, 605764 markings/sec, 90 secs
lola: 44391754 markings, 109224007 edges, 600794 markings/sec, 95 secs
lola: 47390341 markings, 116419287 edges, 599717 markings/sec, 100 secs
lola: 50419222 markings, 123686278 edges, 605776 markings/sec, 105 secs
lola: 53407352 markings, 130855845 edges, 597626 markings/sec, 110 secs
lola: 56373946 markings, 137973859 edges, 593319 markings/sec, 115 secs
lola: 59322775 markings, 145049652 edges, 589766 markings/sec, 120 secs
lola: 62334103 markings, 152274342 edges, 602266 markings/sec, 125 secs
lola: 65312644 markings, 159420959 edges, 595708 markings/sec, 130 secs
lola: 68305877 markings, 166602858 edges, 598647 markings/sec, 135 secs
lola: 71289779 markings, 173762272 edges, 596780 markings/sec, 140 secs
lola: 74292458 markings, 180966805 edges, 600536 markings/sec, 145 secs
lola: 77294856 markings, 188170606 edges, 600480 markings/sec, 150 secs
lola: 80330793 markings, 195454589 edges, 607187 markings/sec, 155 secs
lola: 83368234 markings, 202742440 edges, 607488 markings/sec, 160 secs
lola: 86409849 markings, 210040239 edges, 608323 markings/sec, 165 secs
lola: 89463958 markings, 217367988 edges, 610822 markings/sec, 170 secs
lola: 92513558 markings, 224684814 edges, 609920 markings/sec, 175 secs
lola: 95581462 markings, 232045778 edges, 613581 markings/sec, 180 secs
lola: 98664853 markings, 239443659 edges, 616678 markings/sec, 185 secs
lola: 101737666 markings, 246816116 edges, 614563 markings/sec, 190 secs
lola: 104743382 markings, 254027620 edges, 601143 markings/sec, 195 secs
lola: 107888944 markings, 261574559 edges, 629112 markings/sec, 200 secs
lola: 111037349 markings, 269128854 edges, 629681 markings/sec, 205 secs
lola: 114208241 markings, 276736358 edges, 634178 markings/sec, 210 secs
lola: 117404695 markings, 284406302 edges, 639291 markings/sec, 215 secs
lola: 120614917 markings, 292176911 edges, 642044 markings/sec, 220 secs
lola: 123598859 markings, 299404732 edges, 596788 markings/sec, 225 secs
lola: 126538071 markings, 306479806 edges, 587842 markings/sec, 230 secs
lola: 129471751 markings, 313593577 edges, 586736 markings/sec, 235 secs
lola: 132397698 markings, 320689749 edges, 585189 markings/sec, 240 secs
lola: 135389572 markings, 327944929 edges, 598375 markings/sec, 245 secs
lola: 138472332 markings, 335418794 edges, 616552 markings/sec, 250 secs
lola: 141604785 markings, 343012273 edges, 626491 markings/sec, 255 secs
lola: 144676259 markings, 350459366 edges, 614295 markings/sec, 260 secs
lola: 147675591 markings, 357671213 edges, 599866 markings/sec, 265 secs
lola: 150706994 markings, 365019881 edges, 606281 markings/sec, 270 secs
lola: 153717663 markings, 372319790 edges, 602134 markings/sec, 275 secs
lola: 156716971 markings, 379592931 edges, 599862 markings/sec, 280 secs
lola: 159683973 markings, 386788761 edges, 593400 markings/sec, 285 secs
lola: 162654160 markings, 393992571 edges, 594037 markings/sec, 290 secs
lola: 165639653 markings, 401233435 edges, 597099 markings/sec, 295 secs
lola: 168612953 markings, 408382277 edges, 594660 markings/sec, 300 secs
lola: 171564983 markings, 415540525 edges, 590406 markings/sec, 305 secs
lola: 174500419 markings, 422660017 edges, 587087 markings/sec, 310 secs
lola: 177463687 markings, 429847019 edges, 592654 markings/sec, 315 secs
lola: 180438802 markings, 437062793 edges, 595023 markings/sec, 320 secs
lola: 183390788 markings, 444223252 edges, 590397 markings/sec, 325 secs
lola: 186259605 markings, 451122210 edges, 573763 markings/sec, 330 secs
lola: 189094948 markings, 457999301 edges, 567069 markings/sec, 335 secs
lola: 192026591 markings, 465109944 edges, 586329 markings/sec, 340 secs
lola: 195022740 markings, 472376219 edges, 599230 markings/sec, 345 secs
lola: 198032841 markings, 479676347 edges, 602020 markings/sec, 350 secs
lola: 201010113 markings, 486897769 edges, 595454 markings/sec, 355 secs
lola: 203945015 markings, 493958776 edges, 586980 markings/sec, 360 secs
lola: 206778833 markings, 500829774 edges, 566764 markings/sec, 365 secs
lola: 209640592 markings, 507772371 edges, 572352 markings/sec, 370 secs
lola: 212560604 markings, 514855851 edges, 584002 markings/sec, 375 secs
lola: 215474864 markings, 521925872 edges, 582852 markings/sec, 380 secs
lola: 218364639 markings, 528937360 edges, 577955 markings/sec, 385 secs
lola: 221259963 markings, 535899771 edges, 579065 markings/sec, 390 secs
lola: 224165186 markings, 542945695 edges, 581045 markings/sec, 395 secs
lola: 227053035 markings, 549951526 edges, 577570 markings/sec, 400 secs
lola: 229856590 markings, 556755409 edges, 560711 markings/sec, 405 secs
lola: 232653033 markings, 563542694 edges, 559289 markings/sec, 410 secs
lola: 235397900 markings, 570144817 edges, 548973 markings/sec, 415 secs
lola: 238107815 markings, 576720140 edges, 541983 markings/sec, 420 secs
lola: 240847351 markings, 583369716 edges, 547907 markings/sec, 425 secs
lola: 243601562 markings, 590055370 edges, 550842 markings/sec, 430 secs
lola: 246336111 markings, 596694290 edges, 546910 markings/sec, 435 secs
lola: 249108316 markings, 603359545 edges, 554441 markings/sec, 440 secs
lola: 252013168 markings, 610405798 edges, 580970 markings/sec, 445 secs
lola: 254931532 markings, 617485651 edges, 583673 markings/sec, 450 secs
lola: 257836957 markings, 624534951 edges, 581085 markings/sec, 455 secs
lola: 260724141 markings, 631540729 edges, 577437 markings/sec, 460 secs
lola: 263577182 markings, 638412888 edges, 570608 markings/sec, 465 secs
lola: 266362755 markings, 645160946 edges, 557115 markings/sec, 470 secs
lola: 269157983 markings, 651944517 edges, 559046 markings/sec, 475 secs
lola: 271957685 markings, 658739757 edges, 559940 markings/sec, 480 secs
lola: 274771461 markings, 665569359 edges, 562755 markings/sec, 485 secs
lola: 277597572 markings, 672374212 edges, 565222 markings/sec, 490 secs
lola: 280410335 markings, 679190433 edges, 562553 markings/sec, 495 secs
lola: 283233586 markings, 686041568 edges, 564650 markings/sec, 500 secs
lola: 286057088 markings, 692894221 edges, 564700 markings/sec, 505 secs
lola: 288880036 markings, 699746024 edges, 564590 markings/sec, 510 secs
lola: 291667334 markings, 706464263 edges, 557460 markings/sec, 515 secs
lola: 294416949 markings, 713122190 edges, 549923 markings/sec, 520 secs
lola: 297160093 markings, 719780979 edges, 548629 markings/sec, 525 secs
lola: 299915710 markings, 726470780 edges, 551123 markings/sec, 530 secs
lola: 302664697 markings, 733145147 edges, 549797 markings/sec, 535 secs
lola: 305402622 markings, 739728988 edges, 547585 markings/sec, 540 secs
lola: 308188632 markings, 746489632 edges, 557202 markings/sec, 545 secs
lola: 310992245 markings, 753294455 edges, 560723 markings/sec, 550 secs
lola: 313793095 markings, 760093314 edges, 560170 markings/sec, 555 secs
lola: 316548721 markings, 766783927 edges, 551125 markings/sec, 560 secs
lola: 319221315 markings, 773209462 edges, 534519 markings/sec, 565 secs
lola: 321935835 markings, 779799267 edges, 542904 markings/sec, 570 secs
lola: 324678970 markings, 786459271 edges, 548627 markings/sec, 575 secs
lola: 327417587 markings, 793108982 edges, 547723 markings/sec, 580 secs
lola: 330064594 markings, 799475005 edges, 529401 markings/sec, 585 secs
lola: 332773356 markings, 806049746 edges, 541752 markings/sec, 590 secs
lola: 335534815 markings, 812753600 edges, 552292 markings/sec, 595 secs
lola: 338312417 markings, 819497006 edges, 555520 markings/sec, 600 secs
lola: 341073703 markings, 826201632 edges, 552257 markings/sec, 605 secs
lola: 343552697 markings, 832160968 edges, 495799 markings/sec, 610 secs
lola: 346247711 markings, 838704856 edges, 539003 markings/sec, 615 secs
lola: 348975063 markings, 845327519 edges, 545470 markings/sec, 620 secs
lola: 351662256 markings, 851854214 edges, 537439 markings/sec, 625 secs
lola: 354245906 markings, 858065565 edges, 516730 markings/sec, 630 secs
lola: 356800060 markings, 864270630 edges, 510831 markings/sec, 635 secs
lola: 359635218 markings, 871152564 edges, 567032 markings/sec, 640 secs
lola: 362631475 markings, 878422043 edges, 599251 markings/sec, 645 secs
lola: 365722853 markings, 885920349 edges, 618276 markings/sec, 650 secs
lola: 368452486 markings, 892483100 edges, 545927 markings/sec, 655 secs
lola: 371206098 markings, 899167568 edges, 550722 markings/sec, 660 secs
lola: 374060104 markings, 906094729 edges, 570801 markings/sec, 665 secs
lola: 376923374 markings, 913044673 edges, 572654 markings/sec, 670 secs
lola: 379742377 markings, 919888621 edges, 563801 markings/sec, 675 secs
lola: 382460051 markings, 926422362 edges, 543535 markings/sec, 680 secs
lola: 385191640 markings, 933054253 edges, 546318 markings/sec, 685 secs
lola: 387993186 markings, 939855632 edges, 560309 markings/sec, 690 secs
lola: 390825317 markings, 946731012 edges, 566426 markings/sec, 695 secs
lola: 393632808 markings, 953520675 edges, 561498 markings/sec, 700 secs
lola: 396379322 markings, 960150011 edges, 549303 markings/sec, 705 secs
lola: 399160570 markings, 966901890 edges, 556250 markings/sec, 710 secs
lola: 401959750 markings, 973697848 edges, 559836 markings/sec, 715 secs
lola: 404763452 markings, 980505215 edges, 560740 markings/sec, 720 secs
lola: 407485302 markings, 987051856 edges, 544370 markings/sec, 725 secs
lola: 410177278 markings, 993586787 edges, 538395 markings/sec, 730 secs
lola: 412520247 markings, 999285793 edges, 468594 markings/sec, 735 secs
lola: 415266722 markings, 1005955797 edges, 549295 markings/sec, 740 secs
lola: 418012556 markings, 1012559681 edges, 549167 markings/sec, 745 secs
lola: 420864343 markings, 1019479524 edges, 570357 markings/sec, 750 secs
lola: 423747317 markings, 1026476616 edges, 576595 markings/sec, 755 secs
lola: 426624684 markings, 1033460930 edges, 575473 markings/sec, 760 secs
lola: 429370140 markings, 1040128705 edges, 549091 markings/sec, 765 secs
lola: 432179117 markings, 1046885567 edges, 561795 markings/sec, 770 secs
lola: 434965031 markings, 1053646124 edges, 557183 markings/sec, 775 secs
lola: 437788751 markings, 1060500938 edges, 564744 markings/sec, 780 secs
lola: 439500090 markings, 1064683457 edges, 342268 markings/sec, 785 secs
lola: 439523732 markings, 1064740204 edges, 4728 markings/sec, 790 secs
lola: 439538405 markings, 1064775438 edges, 2935 markings/sec, 795 secs
lola: 439541999 markings, 1064784038 edges, 719 markings/sec, 800 secs
lola: 439554140 markings, 1064813188 edges, 2428 markings/sec, 805 secs
lola: 439589694 markings, 1064898654 edges, 7111 markings/sec, 810 secs
lola: 439597979 markings, 1064918536 edges, 1657 markings/sec, 815 secs
lola: 439601993 markings, 1064928185 edges, 803 markings/sec, 820 secs
lola: 439607524 markings, 1064941498 edges, 1106 markings/sec, 825 secs
lola: 439614626 markings, 1064958554 edges, 1420 markings/sec, 830 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(ATP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000100000-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: 2661295 markings, 7563093 edges, 532259 markings/sec, 30 secs
lola: 5988290 markings, 16432671 edges, 665399 markings/sec, 35 secs
lola: 8942480 markings, 24324838 edges, 590838 markings/sec, 40 secs
lola: 11836780 markings, 32056898 edges, 578860 markings/sec, 45 secs
lola: 14750932 markings, 39840612 edges, 582830 markings/sec, 50 secs
lola: 17658640 markings, 47605153 edges, 581542 markings/sec, 55 secs
lola: 20565146 markings, 55364723 edges, 581301 markings/sec, 60 secs
lola: 23417734 markings, 62977802 edges, 570518 markings/sec, 65 secs
lola: 26236453 markings, 70495924 edges, 563744 markings/sec, 70 secs
lola: 29255696 markings, 78543191 edges, 603849 markings/sec, 75 secs
lola: 32370242 markings, 86825908 edges, 622909 markings/sec, 80 secs
lola: 35311029 markings, 94703631 edges, 588157 markings/sec, 85 secs
lola: 38247433 markings, 102608368 edges, 587281 markings/sec, 90 secs
lola: 41268127 markings, 110739234 edges, 604139 markings/sec, 95 secs
lola: 44222049 markings, 118690673 edges, 590784 markings/sec, 100 secs
lola: 47165565 markings, 126614311 edges, 588703 markings/sec, 105 secs
lola: 50086206 markings, 134476602 edges, 584128 markings/sec, 110 secs
lola: 52953026 markings, 142193452 edges, 573364 markings/sec, 115 secs
lola: 55911254 markings, 150159526 edges, 591646 markings/sec, 120 secs
lola: 58811356 markings, 157954958 edges, 580020 markings/sec, 125 secs
lola: 61676443 markings, 165667974 edges, 573017 markings/sec, 130 secs
lola: 64550427 markings, 173404914 edges, 574797 markings/sec, 135 secs
lola: 67403763 markings, 181086355 edges, 570667 markings/sec, 140 secs
lola: 70307855 markings, 188903975 edges, 580818 markings/sec, 145 secs
lola: 73276588 markings, 196894826 edges, 593747 markings/sec, 150 secs
lola: 76181045 markings, 204713302 edges, 580891 markings/sec, 155 secs
lola: 79105857 markings, 212586378 edges, 584962 markings/sec, 160 secs
lola: 81994672 markings, 220362881 edges, 577763 markings/sec, 165 secs
lola: 84840748 markings, 228024625 edges, 569215 markings/sec, 170 secs
lola: 87755541 markings, 235870682 edges, 582959 markings/sec, 175 secs
lola: 90620554 markings, 243583148 edges, 573003 markings/sec, 180 secs
lola: 93462695 markings, 251234428 edges, 568428 markings/sec, 185 secs
lola: 96305928 markings, 258888389 edges, 568647 markings/sec, 190 secs
lola: 98759085 markings, 265486713 edges, 490631 markings/sec, 195 secs
lola: 101559691 markings, 273026329 edges, 560121 markings/sec, 200 secs
lola: 104493505 markings, 280923221 edges, 586763 markings/sec, 205 secs
lola: 107372011 markings, 288671723 edges, 575701 markings/sec, 210 secs
lola: 110262366 markings, 296451855 edges, 578071 markings/sec, 215 secs
lola: 113017240 markings, 303868795 edges, 550975 markings/sec, 220 secs
lola: 115789570 markings, 311323093 edges, 554466 markings/sec, 225 secs
lola: 118686280 markings, 319120309 edges, 579342 markings/sec, 230 secs
lola: 121563282 markings, 326864559 edges, 575400 markings/sec, 235 secs
lola: 124412315 markings, 334533794 edges, 569807 markings/sec, 240 secs
lola: 127315910 markings, 342349146 edges, 580719 markings/sec, 245 secs
lola: 130101073 markings, 350031581 edges, 557033 markings/sec, 250 secs
lola: 132523797 markings, 357313160 edges, 484545 markings/sec, 255 secs
lola: 134530800 markings, 363342723 edges, 401401 markings/sec, 260 secs
lola: 136777744 markings, 370094843 edges, 449389 markings/sec, 265 secs
lola: 139107216 markings, 377102097 edges, 465894 markings/sec, 270 secs
lola: 141357107 markings, 383882299 edges, 449978 markings/sec, 275 secs
lola: 143564056 markings, 390531887 edges, 441390 markings/sec, 280 secs
lola: 145761480 markings, 397153320 edges, 439485 markings/sec, 285 secs
lola: 147944426 markings, 403731728 edges, 436589 markings/sec, 290 secs
lola: 150128455 markings, 410313883 edges, 436806 markings/sec, 295 secs
lola: 152306587 markings, 416876010 edges, 435626 markings/sec, 300 secs
lola: 154468531 markings, 423392426 edges, 432389 markings/sec, 305 secs
lola: 156610050 markings, 429848106 edges, 428304 markings/sec, 310 secs
lola: 158782092 markings, 436395993 edges, 434408 markings/sec, 315 secs
lola: 160986168 markings, 443037572 edges, 440815 markings/sec, 320 secs
lola: 163189400 markings, 449679751 edges, 440646 markings/sec, 325 secs
lola: 165473615 markings, 456565960 edges, 456843 markings/sec, 330 secs
lola: 167852515 markings, 463807202 edges, 475780 markings/sec, 335 secs
lola: 170323115 markings, 471222161 edges, 494120 markings/sec, 340 secs
lola: 172766458 markings, 478563544 edges, 488669 markings/sec, 345 secs
lola: 175275827 markings, 486107355 edges, 501874 markings/sec, 350 secs
lola: 177683200 markings, 493360724 edges, 481475 markings/sec, 355 secs
lola: 179981854 markings, 500285848 edges, 459731 markings/sec, 360 secs
lola: 182256334 markings, 507141162 edges, 454896 markings/sec, 365 secs
lola: 184508189 markings, 513926463 edges, 450371 markings/sec, 370 secs
lola: 186758752 markings, 520708317 edges, 450113 markings/sec, 375 secs
lola: 189015638 markings, 527509628 edges, 451377 markings/sec, 380 secs
lola: 191253202 markings, 534253363 edges, 447513 markings/sec, 385 secs
lola: 193472754 markings, 540943444 edges, 443910 markings/sec, 390 secs
lola: 195692376 markings, 547634199 edges, 443924 markings/sec, 395 secs
lola: 197938613 markings, 554405303 edges, 449247 markings/sec, 400 secs
lola: 200187858 markings, 561185880 edges, 449849 markings/sec, 405 secs
lola: 202512067 markings, 568192057 edges, 464842 markings/sec, 410 secs
lola: 204908509 markings, 575480974 edges, 479288 markings/sec, 415 secs
lola: 207325923 markings, 582738426 edges, 483483 markings/sec, 420 secs
lola: 209692533 markings, 589849179 edges, 473322 markings/sec, 425 secs
lola: 212151392 markings, 597241149 edges, 491772 markings/sec, 430 secs
lola: 214586798 markings, 604578896 edges, 487081 markings/sec, 435 secs
lola: 216925896 markings, 611627941 edges, 467820 markings/sec, 440 secs
lola: 219237606 markings, 618592543 edges, 462342 markings/sec, 445 secs
lola: 221530852 markings, 625502206 edges, 458649 markings/sec, 450 secs
lola: 223823874 markings, 632411704 edges, 458604 markings/sec, 455 secs
lola: 226121066 markings, 639336906 edges, 459438 markings/sec, 460 secs
lola: 228392096 markings, 646181176 edges, 454206 markings/sec, 465 secs
lola: 230645339 markings, 652972488 edges, 450649 markings/sec, 470 secs
lola: 232909549 markings, 659797177 edges, 452842 markings/sec, 475 secs
lola: 235194915 markings, 666685872 edges, 457073 markings/sec, 480 secs
lola: 237499856 markings, 673633847 edges, 460988 markings/sec, 485 secs
lola: 239883299 markings, 680821192 edges, 476689 markings/sec, 490 secs
lola: 243201260 markings, 688043021 edges, 663592 markings/sec, 495 secs
lola: 246689116 markings, 695115324 edges, 697571 markings/sec, 500 secs
lola: 250008032 markings, 701816148 edges, 663783 markings/sec, 505 secs
lola: 253301468 markings, 708469087 edges, 658687 markings/sec, 510 secs
lola: 256666073 markings, 715269533 edges, 672921 markings/sec, 515 secs
lola: 259682756 markings, 723030880 edges, 603337 markings/sec, 520 secs
lola: 262497917 markings, 730613606 edges, 563032 markings/sec, 525 secs
lola: 265253866 markings, 738029511 edges, 551190 markings/sec, 530 secs
lola: 267976189 markings, 745355249 edges, 544465 markings/sec, 535 secs
lola: 270759062 markings, 752843070 edges, 556575 markings/sec, 540 secs
lola: 273504801 markings, 760231441 edges, 549148 markings/sec, 545 secs
lola: 276226328 markings, 767554959 edges, 544305 markings/sec, 550 secs
lola: 278935684 markings, 774845699 edges, 541871 markings/sec, 555 secs
lola: 281621032 markings, 782072032 edges, 537070 markings/sec, 560 secs
lola: 284395874 markings, 789548216 edges, 554968 markings/sec, 565 secs
lola: 287130140 markings, 796903690 edges, 546853 markings/sec, 570 secs
lola: 289848343 markings, 804218049 edges, 543641 markings/sec, 575 secs
lola: 292565841 markings, 811530433 edges, 543500 markings/sec, 580 secs
lola: 295262162 markings, 818785927 edges, 539264 markings/sec, 585 secs
lola: 298045692 markings, 826275350 edges, 556706 markings/sec, 590 secs
lola: 300821197 markings, 833743130 edges, 555101 markings/sec, 595 secs
lola: 303567807 markings, 841133531 edges, 549322 markings/sec, 600 secs
lola: 306324817 markings, 848559507 edges, 551402 markings/sec, 605 secs
lola: 309054583 markings, 855904684 edges, 545953 markings/sec, 610 secs
lola: 311814545 markings, 863330552 edges, 551992 markings/sec, 615 secs
lola: 314562579 markings, 870724483 edges, 549607 markings/sec, 620 secs
lola: 317282757 markings, 878043770 edges, 544036 markings/sec, 625 secs
lola: 320021622 markings, 885413237 edges, 547773 markings/sec, 630 secs
lola: 322739950 markings, 892727403 edges, 543666 markings/sec, 635 secs
lola: 325534944 markings, 900247261 edges, 558999 markings/sec, 640 secs
lola: 328392869 markings, 907943437 edges, 571585 markings/sec, 645 secs
lola: 331197316 markings, 915488503 edges, 560889 markings/sec, 650 secs
lola: 333997773 markings, 923022832 edges, 560091 markings/sec, 655 secs
lola: 336767076 markings, 930473588 edges, 553861 markings/sec, 660 secs
lola: 339560524 markings, 937989200 edges, 558690 markings/sec, 665 secs
lola: 342365818 markings, 945543956 edges, 561059 markings/sec, 670 secs
lola: 345120316 markings, 952954910 edges, 550900 markings/sec, 675 secs
lola: 347884774 markings, 960392514 edges, 552892 markings/sec, 680 secs
lola: 350616458 markings, 967742099 edges, 546337 markings/sec, 685 secs
lola: 353381442 markings, 975181074 edges, 552997 markings/sec, 690 secs
lola: 356194902 markings, 982750043 edges, 562692 markings/sec, 695 secs
lola: 358939075 markings, 990137408 edges, 548835 markings/sec, 700 secs
lola: 361710696 markings, 997597256 edges, 554324 markings/sec, 705 secs
lola: 364418839 markings, 1004883639 edges, 541629 markings/sec, 710 secs
lola: 367116899 markings, 1012142791 edges, 539612 markings/sec, 715 secs
lola: 369844015 markings, 1019479978 edges, 545423 markings/sec, 720 secs
lola: 372545432 markings, 1026748187 edges, 540283 markings/sec, 725 secs
lola: 375266494 markings, 1034068965 edges, 544212 markings/sec, 730 secs
lola: 377971565 markings, 1041346870 edges, 541014 markings/sec, 735 secs
lola: 380679899 markings, 1048633535 edges, 541667 markings/sec, 740 secs
lola: 383526189 markings, 1056295725 edges, 569258 markings/sec, 745 secs
lola: 386324811 markings, 1063826298 edges, 559724 markings/sec, 750 secs
lola: 389078250 markings, 1071233935 edges, 550688 markings/sec, 755 secs
lola: 391815143 markings, 1078596918 edges, 547379 markings/sec, 760 secs
lola: 394534222 markings, 1085912110 edges, 543816 markings/sec, 765 secs
lola: 397326706 markings, 1093424357 edges, 558497 markings/sec, 770 secs
lola: 400085397 markings, 1100845783 edges, 551738 markings/sec, 775 secs
lola: 402831845 markings, 1108233145 edges, 549290 markings/sec, 780 secs
lola: 405563997 markings, 1115591949 edges, 546430 markings/sec, 785 secs
lola: 408257555 markings, 1122838437 edges, 538712 markings/sec, 790 secs
lola: 411100234 markings, 1130485007 edges, 568536 markings/sec, 795 secs
lola: 413898632 markings, 1138012767 edges, 559680 markings/sec, 800 secs
lola: 416679966 markings, 1145494800 edges, 556267 markings/sec, 805 secs
lola: 419447718 markings, 1152940248 edges, 553550 markings/sec, 810 secs
lola: 422173285 markings, 1160277784 edges, 545113 markings/sec, 815 secs
lola: 425026172 markings, 1167953606 edges, 570577 markings/sec, 820 secs
lola: 427834777 markings, 1175508626 edges, 561721 markings/sec, 825 secs
lola: 430629607 markings, 1183026429 edges, 558966 markings/sec, 830 secs
lola: 433320916 markings, 1190532218 edges, 538262 markings/sec, 835 secs
lola: 435621653 markings, 1197427606 edges, 460147 markings/sec, 840 secs
lola: 437295085 markings, 1202455636 edges, 334686 markings/sec, 845 secs
lola: 437593035 markings, 1203350881 edges, 59590 markings/sec, 850 secs
lola: 437617183 markings, 1203423560 edges, 4830 markings/sec, 855 secs
lola: 437634959 markings, 1203477027 edges, 3555 markings/sec, 860 secs
lola: 437640358 markings, 1203493246 edges, 1080 markings/sec, 865 secs
lola: 437644672 markings, 1203506203 edges, 863 markings/sec, 870 secs
lola: 437656740 markings, 1203542455 edges, 2414 markings/sec, 875 secs
lola: 437662569 markings, 1203559964 edges, 1166 markings/sec, 880 secs
lola: 437664564 markings, 1203565957 edges, 399 markings/sec, 885 secs
lola: 437667925 markings, 1203576051 edges, 672 markings/sec, 890 secs
lola: 437696105 markings, 1203660674 edges, 5636 markings/sec, 895 secs
lola: 437698564 markings, 1203668057 edges, 492 markings/sec, 900 secs
lola: 437701699 markings, 1203677473 edges, 627 markings/sec, 905 secs
lola: 437712853 markings, 1203710960 edges, 2231 markings/sec, 910 secs
lola: 437715378 markings, 1203718542 edges, 505 markings/sec, 915 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA GPPP-PT-C0100N0000100000-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(ATP)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATP)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file GPPP-PT-C0100N0000100000-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: 3197924 markings, 8991429 edges, 639585 markings/sec, 30 secs
lola: 6481090 markings, 17748548 edges, 656633 markings/sec, 35 secs
lola: 9401265 markings, 25552080 edges, 584035 markings/sec, 40 secs
lola: 12303401 markings, 33304505 edges, 580427 markings/sec, 45 secs
lola: 15225174 markings, 41106965 edges, 584355 markings/sec, 50 secs
lola: 17966945 markings, 48429131 edges, 548354 markings/sec, 55 secs
lola: 20904744 markings, 56270825 edges, 587560 markings/sec, 60 secs
lola: 23850453 markings, 64132335 edges, 589142 markings/sec, 65 secs
lola: 26803549 markings, 72008720 edges, 590619 markings/sec, 70 secs
lola: 29859706 markings, 80151209 edges, 611231 markings/sec, 75 secs
lola: 32846908 markings, 88088238 edges, 597440 markings/sec, 80 secs
lola: 35839722 markings, 96121783 edges, 598563 markings/sec, 85 secs
lola: 38820159 markings, 104144529 edges, 596087 markings/sec, 90 secs
lola: 41819556 markings, 112218072 edges, 599879 markings/sec, 95 secs
lola: 44730762 markings, 120055188 edges, 582241 markings/sec, 100 secs
lola: 47662984 markings, 127948493 edges, 586444 markings/sec, 105 secs
lola: 50555284 markings, 135734666 edges, 578460 markings/sec, 110 secs
lola: 53409851 markings, 143419541 edges, 570913 markings/sec, 115 secs
lola: 56332500 markings, 151287276 edges, 584530 markings/sec, 120 secs
lola: 59203081 markings, 159015074 edges, 574116 markings/sec, 125 secs
lola: 62046427 markings, 166669676 edges, 568669 markings/sec, 130 secs
lola: 64889389 markings, 174323383 edges, 568592 markings/sec, 135 secs
lola: 67700355 markings, 181889062 edges, 562193 markings/sec, 140 secs
lola: 70576370 markings, 189624189 edges, 575203 markings/sec, 145 secs
lola: 73502283 markings, 197500263 edges, 585183 markings/sec, 150 secs
lola: 76362567 markings, 205200215 edges, 572057 markings/sec, 155 secs
lola: 79254195 markings, 212984253 edges, 578326 markings/sec, 160 secs
lola: 81213452 markings, 218258171 edges, 391851 markings/sec, 165 secs
lola: 84024092 markings, 225824847 edges, 562128 markings/sec, 170 secs
lola: 86892070 markings, 233545408 edges, 573596 markings/sec, 175 secs
lola: 89733838 markings, 241195609 edges, 568354 markings/sec, 180 secs
lola: 92521921 markings, 248701614 edges, 557617 markings/sec, 185 secs
lola: 95350834 markings, 256317441 edges, 565783 markings/sec, 190 secs
lola: 98127584 markings, 263783715 edges, 555350 markings/sec, 195 secs
lola: 100902011 markings, 271253090 edges, 554885 markings/sec, 200 secs
lola: 103804714 markings, 279066477 edges, 580541 markings/sec, 205 secs
lola: 106663973 markings, 286763353 edges, 571852 markings/sec, 210 secs
lola: 109499232 markings, 294395884 edges, 567052 markings/sec, 215 secs
lola: 112338090 markings, 302037879 edges, 567772 markings/sec, 220 secs
lola: 115142600 markings, 309587815 edges, 560902 markings/sec, 225 secs
lola: 117995671 markings, 317267908 edges, 570614 markings/sec, 230 secs
lola: 120882533 markings, 325038428 edges, 577372 markings/sec, 235 secs
lola: 123725136 markings, 332681472 edges, 568521 markings/sec, 240 secs
lola: 126627898 markings, 340494746 edges, 580552 markings/sec, 245 secs
lola: 129537404 markings, 348326079 edges, 581901 markings/sec, 250 secs
lola: 132002105 markings, 355745898 edges, 492940 markings/sec, 255 secs
lola: 134289331 markings, 362617291 edges, 457445 markings/sec, 260 secs
lola: 136598976 markings, 369557679 edges, 461929 markings/sec, 265 secs
lola: 139038498 markings, 376894835 edges, 487904 markings/sec, 270 secs
lola: 140841040 markings, 382327202 edges, 360508 markings/sec, 275 secs
lola: 142967298 markings, 388734207 edges, 425252 markings/sec, 280 secs
lola: 145093155 markings, 395140654 edges, 425171 markings/sec, 285 secs
lola: 147190378 markings, 401458685 edges, 419445 markings/sec, 290 secs
lola: 149275108 markings, 407742430 edges, 416946 markings/sec, 295 secs
lola: 151367969 markings, 414048073 edges, 418572 markings/sec, 300 secs
lola: 153433414 markings, 420272045 edges, 413089 markings/sec, 305 secs
lola: 155479123 markings, 426439492 edges, 409142 markings/sec, 310 secs
lola: 157514998 markings, 432575098 edges, 407175 markings/sec, 315 secs
lola: 159576095 markings, 438786999 edges, 412219 markings/sec, 320 secs
lola: 161645841 markings, 445027946 edges, 413949 markings/sec, 325 secs
lola: 163746059 markings, 451357969 edges, 420044 markings/sec, 330 secs
lola: 165920585 markings, 457914557 edges, 434905 markings/sec, 335 secs
lola: 168285791 markings, 465103106 edges, 473041 markings/sec, 340 secs
lola: 170771707 markings, 472569719 edges, 497183 markings/sec, 345 secs
lola: 173230929 markings, 479959411 edges, 491844 markings/sec, 350 secs
lola: 175180085 markings, 485819344 edges, 389831 markings/sec, 355 secs
lola: 177388610 markings, 492473320 edges, 441705 markings/sec, 360 secs
lola: 179580182 markings, 499076562 edges, 438314 markings/sec, 365 secs
lola: 181446776 markings, 504701524 edges, 373319 markings/sec, 370 secs
lola: 183272429 markings, 510201139 edges, 365131 markings/sec, 375 secs
lola: 185402707 markings, 516621421 edges, 426056 markings/sec, 380 secs
lola: time limit reached - aborting
lola:
preliminary result: 400 398 200000 398 700 700 700 unknown unknown 400 200000 unknown 1 unknown 300 unknown
lola:
preliminary result: 400 398 200000 398 700 700 700 unknown unknown 400 200000 unknown 1 unknown 300 unknown
lola: memory consumption: 6833972 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 400 398 200000 398 700 700 700 unknown unknown 400 200000 unknown 1 unknown 300 unknown

BK_TIME_CONFINEMENT_REACHED

--------------------
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-C0100N0000100000"
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-C0100N0000100000.tgz
mv GPPP-PT-C0100N0000100000 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-C0100N0000100000, 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-152649998400331"
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 ;