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.8K 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 2.8K 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 6.0K 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 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 117 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 355 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 28K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is GlobalResAllocation-COL-05, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-blw7-152649998400366
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526763338143

info: Time: 3600 - MCC
===========================================================================================
prep: translating GlobalResAllocation-COL-05 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating GlobalResAllocation-COL-05 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ GlobalResAllocation-COL-05 @ 3492 seconds
lola: LoLA will run for 3492 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 56180/65536 symbol table entries, 38797 collisions
lola: preprocessing...
lola: Size of bit vector: 2400
lola: finding significant places
lola: 75 places, 56105 transitions, 55 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2220 transition conflict sets
lola: TASK
lola: reading formula from GlobalResAllocation-COL-05-UpperBounds.task
lola: MAX(p69 + p68 + p67 + p66 + p65) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9) : MAX(p69 + p68 + p67 + p66 + p65) : MAX(p10 + p11 + p12 + p13 + p14) : MAX(p10 + p11 + p12 + p13 + p14) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9) : MAX(p70 + p71 + p72 + p73 + p74) : MAX(p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p54 + p44 + p34 + p24) : MAX(p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p54 + p44 + p34 + p24) : MAX(p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p54 + p44 + p34 + p24) : MAX(p69 + p68 + p67 + p66 + p65) : MAX(p70 + p71 + p72 + p73 + p74) : MAX(p69 + p68 + p67 + p66 + p65) : MAX(p70 + p71 + p72 + p73 + p74) : MAX(p70 + p71 + p72 + p73 + p74) : MAX(p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p54 + p44 + p34 + p24)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p69 + p68 + p67 + p66 + p65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p69 + p68 + p67 + p66 + p65)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 118 markings, 181 edges, 24 markings/sec, 30 secs
lola: 363 markings, 618 edges, 49 markings/sec, 35 secs
lola: 627 markings, 1110 edges, 53 markings/sec, 40 secs
lola: 911 markings, 1647 edges, 57 markings/sec, 45 secs
lola: 1230 markings, 2282 edges, 64 markings/sec, 50 secs
lola: 1556 markings, 2934 edges, 65 markings/sec, 55 secs
lola: 1791 markings, 3412 edges, 47 markings/sec, 60 secs
lola: 2131 markings, 4114 edges, 68 markings/sec, 65 secs
lola: 2482 markings, 4842 edges, 70 markings/sec, 70 secs
lola: 2839 markings, 5598 edges, 71 markings/sec, 75 secs
lola: 3220 markings, 6401 edges, 76 markings/sec, 80 secs
lola: 3556 markings, 7101 edges, 67 markings/sec, 85 secs
lola: 3940 markings, 7951 edges, 77 markings/sec, 90 secs
lola: 4286 markings, 8673 edges, 69 markings/sec, 95 secs
lola: 4656 markings, 9477 edges, 74 markings/sec, 100 secs
lola: 5033 markings, 10316 edges, 75 markings/sec, 105 secs
lola: 5328 markings, 10959 edges, 59 markings/sec, 110 secs
lola: 5676 markings, 11690 edges, 70 markings/sec, 115 secs
lola: 6068 markings, 12589 edges, 78 markings/sec, 120 secs
lola: 6411 markings, 13340 edges, 69 markings/sec, 125 secs
lola: 6826 markings, 14298 edges, 83 markings/sec, 130 secs
lola: 7251 markings, 15273 edges, 85 markings/sec, 135 secs
lola: 7572 markings, 15975 edges, 64 markings/sec, 140 secs
lola: 7984 markings, 16928 edges, 82 markings/sec, 145 secs
lola: 8390 markings, 17818 edges, 81 markings/sec, 150 secs
lola: 8731 markings, 18530 edges, 68 markings/sec, 155 secs
lola: 9086 markings, 19299 edges, 71 markings/sec, 160 secs
lola: 9523 markings, 20300 edges, 87 markings/sec, 165 secs
lola: 9940 markings, 21214 edges, 83 markings/sec, 170 secs
lola: 10358 markings, 22138 edges, 84 markings/sec, 175 secs
lola: 10795 markings, 23107 edges, 87 markings/sec, 180 secs
lola: 11167 markings, 23939 edges, 74 markings/sec, 185 secs
lola: 11575 markings, 24838 edges, 82 markings/sec, 190 secs
lola: 12033 markings, 25959 edges, 92 markings/sec, 195 secs
lola: 12462 markings, 26989 edges, 86 markings/sec, 200 secs
lola: 12910 markings, 28006 edges, 90 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 923000 KB
lola: time consumption: 269 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p69 + p68 + p67 + p66 + p65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p69 + p68 + p67 + p66 + p65)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 162 markings, 250 edges, 32 markings/sec, 30 secs
lola: 423 markings, 723 edges, 52 markings/sec, 35 secs
lola: 698 markings, 1243 edges, 55 markings/sec, 40 secs
lola: 1006 markings, 1838 edges, 62 markings/sec, 45 secs
lola: 1342 markings, 2514 edges, 67 markings/sec, 50 secs
lola: 1678 markings, 3182 edges, 67 markings/sec, 55 secs
lola: 2011 markings, 3865 edges, 67 markings/sec, 60 secs
lola: 2362 markings, 4593 edges, 70 markings/sec, 65 secs
lola: 2719 markings, 5336 edges, 71 markings/sec, 70 secs
lola: 3150 markings, 6267 edges, 86 markings/sec, 75 secs
lola: 3469 markings, 6916 edges, 64 markings/sec, 80 secs
lola: 3857 markings, 7774 edges, 78 markings/sec, 85 secs
lola: 4208 markings, 8512 edges, 70 markings/sec, 90 secs
lola: 4579 markings, 9310 edges, 74 markings/sec, 95 secs
lola: 4976 markings, 10187 edges, 79 markings/sec, 100 secs
lola: 5336 markings, 10980 edges, 72 markings/sec, 105 secs
lola: 5700 markings, 11747 edges, 73 markings/sec, 110 secs
lola: 6113 markings, 12681 edges, 83 markings/sec, 115 secs
lola: 6501 markings, 13557 edges, 78 markings/sec, 120 secs
lola: 6944 markings, 14573 edges, 89 markings/sec, 125 secs
lola: 7361 markings, 15505 edges, 83 markings/sec, 130 secs
lola: 7799 markings, 16484 edges, 88 markings/sec, 135 secs
lola: 8197 markings, 17385 edges, 80 markings/sec, 140 secs
lola: 8567 markings, 18185 edges, 74 markings/sec, 145 secs
lola: 8925 markings, 18942 edges, 72 markings/sec, 150 secs
lola: 9368 markings, 19957 edges, 89 markings/sec, 155 secs
lola: 9767 markings, 20830 edges, 80 markings/sec, 160 secs
lola: 10187 markings, 21753 edges, 84 markings/sec, 165 secs
lola: 10640 markings, 22784 edges, 91 markings/sec, 170 secs
lola: 11002 markings, 23547 edges, 72 markings/sec, 175 secs
lola: 11327 markings, 24285 edges, 65 markings/sec, 180 secs
lola: 11712 markings, 25215 edges, 77 markings/sec, 185 secs
lola: 12154 markings, 26277 edges, 88 markings/sec, 190 secs
lola: 12535 markings, 27138 edges, 76 markings/sec, 195 secs
lola: 12965 markings, 28136 edges, 86 markings/sec, 200 secs
lola: 13443 markings, 29251 edges, 96 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 923464 KB
lola: time consumption: 483 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p10 + p11 + p12 + p13 + p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p10 + p11 + p12 + p13 + p14)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 5 markings, 4 edges
lola: ========================================
check_solution: Constraint R2 = 0 is above its equality of -1
check_solution: Constraint R3 = 0 is above its equality of -1
check_solution: Constraint R4 = 0 is above its equality of -1
check_solution: Constraint R5 = 0 is above its equality of -1
check_solution: Constraint R6 = 0 is above its equality of -1
check_solution: Constraint R7 = 0 is above its equality of -1
check_solution: Constraint R8 = 0 is above its equality of -1
check_solution: Constraint R9 = 0 is above its equality of -1
check_solution: Constraint R10 = 0 is above its equality of -1
check_solution: Constraint R11 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 1 (rel. error 1)
check_solution: Constraint R1 = 0 is below its lower bound 1
check_solution: Constraint R2 = 0 is above its equality of -1
check_solution: Constraint R3 = 0 is above its equality of -1
check_solution: Constraint R4 = 0 is above its equality of -1
check_solution: Constraint R5 = 0 is above its equality of -1
check_solution: Constraint R6 = 0 is above its equality of -1
check_solution: Constraint R7 = 0 is above its equality of -1
check_solution: Constraint R8 = 0 is above its equality of -1
check_solution: Constraint R9 = 0 is above its equality of -1
check_solution: Constraint R10 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 1 (rel. error 1)
check_solution: Constraint R1 = 0 is below its lower bound 1
check_solution: Constraint R2 = 0 is above its equality of -1
check_solution: Constraint R3 = 0 is above its equality of -1
check_solution: Constraint R4 = 0 is above its equality of -1
check_solution: Constraint R5 = 0 is above its equality of -1
check_solution: Constraint R6 = 0 is above its equality of -1
check_solution: Constraint R7 = 0 is above its equality of -1
check_solution: Constraint R8 = 0 is above its equality of -1
check_solution: Constraint R9 = 0 is above its equality of -1
check_solution: Constraint R10 = 0 is above its equality of -1

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

FORMULA GlobalResAllocation-COL-05-UpperBounds-3 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 231 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p10 + p11 + p12 + p13 + p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p10 + p11 + p12 + p13 + p14)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 5 markings, 4 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-05-UpperBounds-4 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p70 + p71 + p72 + p73 + p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p70 + p71 + p72 + p73 + p74)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges

FORMULA GlobalResAllocation-COL-05-UpperBounds-6 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p69 + p68 + p67 + p66 + p65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p69 + p68 + p67 + p66 + p65)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 143 markings, 218 edges, 29 markings/sec, 30 secs
lola: 403 markings, 689 edges, 52 markings/sec, 35 secs
lola: 642 markings, 1138 edges, 48 markings/sec, 40 secs
lola: 906 markings, 1635 edges, 53 markings/sec, 45 secs
lola: 1235 markings, 2292 edges, 66 markings/sec, 50 secs
lola: 1567 markings, 2955 edges, 66 markings/sec, 55 secs
lola: 1894 markings, 3622 edges, 65 markings/sec, 60 secs
lola: 2234 markings, 4321 edges, 68 markings/sec, 65 secs
lola: 2613 markings, 5123 edges, 76 markings/sec, 70 secs
lola: 2903 markings, 5737 edges, 58 markings/sec, 75 secs
lola: 3289 markings, 6551 edges, 77 markings/sec, 80 secs
lola: 3569 markings, 7127 edges, 56 markings/sec, 85 secs
lola: 3907 markings, 7884 edges, 68 markings/sec, 90 secs
lola: 4232 markings, 8559 edges, 65 markings/sec, 95 secs
lola: 4540 markings, 9221 edges, 62 markings/sec, 100 secs
lola: 4932 markings, 10091 edges, 78 markings/sec, 105 secs
lola: 5292 markings, 10876 edges, 72 markings/sec, 110 secs
lola: 5653 markings, 11636 edges, 72 markings/sec, 115 secs
lola: 6064 markings, 12582 edges, 82 markings/sec, 120 secs
lola: 6428 markings, 13382 edges, 73 markings/sec, 125 secs
lola: 6869 markings, 14397 edges, 88 markings/sec, 130 secs
lola: 7275 markings, 15323 edges, 81 markings/sec, 135 secs
lola: 7622 markings, 16085 edges, 69 markings/sec, 140 secs
lola: 8031 markings, 17022 edges, 82 markings/sec, 145 secs
lola: 8423 markings, 17885 edges, 78 markings/sec, 150 secs
lola: 8770 markings, 18610 edges, 69 markings/sec, 155 secs
lola: 9168 markings, 19489 edges, 80 markings/sec, 160 secs
lola: 9612 markings, 20508 edges, 89 markings/sec, 165 secs
lola: 9940 markings, 21214 edges, 66 markings/sec, 170 secs
lola: 10356 markings, 22136 edges, 83 markings/sec, 175 secs
lola: 10787 markings, 23091 edges, 86 markings/sec, 180 secs
lola: 11122 markings, 23815 edges, 67 markings/sec, 185 secs
lola: 11523 markings, 24716 edges, 80 markings/sec, 190 secs
lola: 11968 markings, 25803 edges, 89 markings/sec, 195 secs
lola: 12371 markings, 26776 edges, 81 markings/sec, 200 secs
lola: 12825 markings, 27824 edges, 91 markings/sec, 205 secs
lola: 13302 markings, 28932 edges, 95 markings/sec, 210 secs
lola: 13722 markings, 29877 edges, 84 markings/sec, 215 secs
lola: 14201 markings, 30993 edges, 96 markings/sec, 220 secs
lola: 14613 markings, 32018 edges, 82 markings/sec, 225 secs
lola: 15056 markings, 33033 edges, 89 markings/sec, 230 secs
lola: 15511 markings, 34076 edges, 91 markings/sec, 235 secs
lola: 15933 markings, 35036 edges, 84 markings/sec, 240 secs
lola: 16342 markings, 35958 edges, 82 markings/sec, 245 secs
lola: 16820 markings, 37089 edges, 96 markings/sec, 250 secs
lola: 17294 markings, 38225 edges, 95 markings/sec, 255 secs
lola: 17794 markings, 39429 edges, 100 markings/sec, 260 secs
lola: 18174 markings, 40263 edges, 76 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 10 10 unknown 5 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 927844 KB
lola: time consumption: 762 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p70 + p71 + p72 + p73 + p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p70 + p71 + p72 + p73 + p74)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-05-UpperBounds-11 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p69 + p68 + p67 + p66 + p65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p69 + p68 + p67 + p66 + p65)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 155 markings, 236 edges, 31 markings/sec, 30 secs
lola: 419 markings, 716 edges, 53 markings/sec, 35 secs
lola: 691 markings, 1229 edges, 54 markings/sec, 40 secs
lola: 979 markings, 1785 edges, 58 markings/sec, 45 secs
lola: 1279 markings, 2386 edges, 60 markings/sec, 50 secs
lola: 1602 markings, 3024 edges, 65 markings/sec, 55 secs
lola: 1926 markings, 3689 edges, 65 markings/sec, 60 secs
lola: 2255 markings, 4367 edges, 66 markings/sec, 65 secs
lola: 2616 markings, 5128 edges, 72 markings/sec, 70 secs
lola: 2999 markings, 5942 edges, 77 markings/sec, 75 secs
lola: 3343 markings, 6662 edges, 69 markings/sec, 80 secs
lola: 3660 markings, 7324 edges, 63 markings/sec, 85 secs
lola: 3972 markings, 8022 edges, 62 markings/sec, 90 secs
lola: 4301 markings, 8700 edges, 66 markings/sec, 95 secs
lola: 4680 markings, 9533 edges, 76 markings/sec, 100 secs
lola: 5072 markings, 10401 edges, 78 markings/sec, 105 secs
lola: 5414 markings, 11125 edges, 68 markings/sec, 110 secs
lola: 5792 markings, 11958 edges, 76 markings/sec, 115 secs
lola: 6176 markings, 12815 edges, 77 markings/sec, 120 secs
lola: 6560 markings, 13699 edges, 77 markings/sec, 125 secs
lola: 6954 markings, 14597 edges, 79 markings/sec, 130 secs
lola: 7307 markings, 15390 edges, 71 markings/sec, 135 secs
lola: 7707 markings, 16279 edges, 80 markings/sec, 140 secs
lola: 8082 markings, 17136 edges, 75 markings/sec, 145 secs
lola: 8455 markings, 17944 edges, 75 markings/sec, 150 secs
lola: 8795 markings, 18660 edges, 68 markings/sec, 155 secs
lola: 9192 markings, 19543 edges, 79 markings/sec, 160 secs
lola: 9591 markings, 20461 edges, 80 markings/sec, 165 secs
lola: 9947 markings, 21230 edges, 71 markings/sec, 170 secs
lola: 10304 markings, 22017 edges, 71 markings/sec, 175 secs
lola: 10722 markings, 22961 edges, 84 markings/sec, 180 secs
lola: 11034 markings, 23614 edges, 62 markings/sec, 185 secs
lola: 11391 markings, 24434 edges, 71 markings/sec, 190 secs
lola: 11801 markings, 25419 edges, 82 markings/sec, 195 secs
lola: 12154 markings, 26277 edges, 71 markings/sec, 200 secs
lola: 12578 markings, 27237 edges, 85 markings/sec, 205 secs
lola: 13052 markings, 28349 edges, 95 markings/sec, 210 secs
lola: 13478 markings, 29330 edges, 85 markings/sec, 215 secs
lola: 13907 markings, 30307 edges, 86 markings/sec, 220 secs
lola: 14350 markings, 31367 edges, 89 markings/sec, 225 secs
lola: 14781 markings, 32415 edges, 86 markings/sec, 230 secs
lola: 15233 markings, 33456 edges, 90 markings/sec, 235 secs
lola: 15684 markings, 34484 edges, 90 markings/sec, 240 secs
lola: 16062 markings, 35325 edges, 76 markings/sec, 245 secs
lola: 16409 markings, 36110 edges, 69 markings/sec, 250 secs
lola: 16880 markings, 37227 edges, 94 markings/sec, 255 secs
lola: 17347 markings, 38344 edges, 93 markings/sec, 260 secs
lola: 17848 markings, 39558 edges, 100 markings/sec, 265 secs
lola: 18217 markings, 40363 edges, 74 markings/sec, 270 secs
lola: 18686 markings, 41551 edges, 94 markings/sec, 275 secs
lola: 19169 markings, 42705 edges, 97 markings/sec, 280 secs
lola: 19648 markings, 43821 edges, 96 markings/sec, 285 secs
lola: 20098 markings, 44926 edges, 90 markings/sec, 290 secs
lola: 20498 markings, 45841 edges, 80 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 10 10 unknown 5 unknown unknown unknown unknown 5 unknown unknown unknown unknown
lola: memory consumption: 929820 KB
lola: time consumption: 1066 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p70 + p71 + p72 + p73 + p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p70 + p71 + p72 + p73 + p74)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-05-UpperBounds-13 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 346 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p70 + p71 + p72 + p73 + p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p70 + p71 + p72 + p73 + p74)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-05-UpperBounds-14 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 404 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9)
lola: processed formula length: 52
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-05-UpperBounds-1 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 485 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9)
lola: processed formula length: 52
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-05-UpperBounds-5 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 606 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p54 + p44 + p34 + p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p54 + p44 + p34 + p24)
lola: processed formula length: 302
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 5 markings, 4 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-05-UpperBounds-9 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 804 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p54 + p44 + p34 + p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p54 + p44 + p34 + p24)
lola: processed formula length: 302
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 5 markings, 4 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-05-UpperBounds-7 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1201 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p54 + p44 + p34 + p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p54 + p44 + p34 + p24)
lola: processed formula length: 302
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 5 markings, 4 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-05-UpperBounds-8 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p54 + p44 + p34 + p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p54 + p44 + p34 + p24)
lola: processed formula length: 302
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 5 markings, 4 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-05-UpperBounds-15 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p69 + p68 + p67 + p66 + p65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p69 + p68 + p67 + p66 + p65)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-05-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: 159 markings, 244 edges, 32 markings/sec, 30 secs
lola: 417 markings, 712 edges, 52 markings/sec, 35 secs
lola: 687 markings, 1221 edges, 54 markings/sec, 40 secs
lola: 995 markings, 1817 edges, 62 markings/sec, 45 secs
lola: 1327 markings, 2482 edges, 66 markings/sec, 50 secs
lola: 1655 markings, 3131 edges, 66 markings/sec, 55 secs
lola: 2003 markings, 3849 edges, 70 markings/sec, 60 secs
lola: 2362 markings, 4593 edges, 72 markings/sec, 65 secs
lola: 2722 markings, 5341 edges, 72 markings/sec, 70 secs
lola: 3147 markings, 6259 edges, 85 markings/sec, 75 secs
lola: 3463 markings, 6905 edges, 63 markings/sec, 80 secs
lola: 3846 markings, 7750 edges, 77 markings/sec, 85 secs
lola: 4177 markings, 8442 edges, 66 markings/sec, 90 secs
lola: 4540 markings, 9221 edges, 73 markings/sec, 95 secs
lola: 4934 markings, 10095 edges, 79 markings/sec, 100 secs
lola: 5292 markings, 10876 edges, 72 markings/sec, 105 secs
lola: 5655 markings, 11642 edges, 73 markings/sec, 110 secs
lola: 6067 markings, 12586 edges, 82 markings/sec, 115 secs
lola: 6433 markings, 13394 edges, 73 markings/sec, 120 secs
lola: 6878 markings, 14419 edges, 89 markings/sec, 125 secs
lola: 7303 markings, 15381 edges, 85 markings/sec, 130 secs
lola: 7728 markings, 16326 edges, 85 markings/sec, 135 secs
lola: 8133 markings, 17247 edges, 81 markings/sec, 140 secs
lola: 8499 markings, 18039 edges, 73 markings/sec, 145 secs
lola: 8858 markings, 18792 edges, 72 markings/sec, 150 secs
lola: 9270 markings, 19720 edges, 82 markings/sec, 155 secs
lola: 9698 markings, 20688 edges, 86 markings/sec, 160 secs
lola: 10106 markings, 21581 edges, 82 markings/sec, 165 secs
lola: 10541 markings, 22552 edges, 87 markings/sec, 170 secs
lola: 10918 markings, 23356 edges, 75 markings/sec, 175 secs
lola: 11310 markings, 24251 edges, 78 markings/sec, 180 secs
lola: 11732 markings, 25261 edges, 84 markings/sec, 185 secs
lola: 12174 markings, 26323 edges, 88 markings/sec, 190 secs
lola: 12611 markings, 27314 edges, 87 markings/sec, 195 secs
lola: 13085 markings, 28425 edges, 95 markings/sec, 200 secs
lola: 13549 markings, 29486 edges, 93 markings/sec, 205 secs
lola: 14014 markings, 30557 edges, 93 markings/sec, 210 secs
lola: 14481 markings, 31666 edges, 93 markings/sec, 215 secs
lola: 14960 markings, 32826 edges, 96 markings/sec, 220 secs
lola: 15414 markings, 33868 edges, 91 markings/sec, 225 secs
lola: 15855 markings, 34874 edges, 88 markings/sec, 230 secs
lola: 16239 markings, 35728 edges, 77 markings/sec, 235 secs
lola: 16704 markings, 36814 edges, 93 markings/sec, 240 secs
lola: 17183 markings, 37939 edges, 96 markings/sec, 245 secs
lola: 17667 markings, 39109 edges, 97 markings/sec, 250 secs
lola: 18064 markings, 40016 edges, 79 markings/sec, 255 secs
lola: 18507 markings, 41032 edges, 89 markings/sec, 260 secs
lola: 19009 markings, 42338 edges, 100 markings/sec, 265 secs
lola: 19450 markings, 43363 edges, 88 markings/sec, 270 secs
lola: 19892 markings, 44371 edges, 88 markings/sec, 275 secs
lola: 20335 markings, 45459 edges, 89 markings/sec, 280 secs
lola: 20803 markings, 46587 edges, 94 markings/sec, 285 secs
lola: 21279 markings, 47704 edges, 95 markings/sec, 290 secs
lola: 21763 markings, 48918 edges, 97 markings/sec, 295 secs
lola: 22172 markings, 49908 edges, 82 markings/sec, 300 secs
lola: 22696 markings, 51197 edges, 105 markings/sec, 305 secs
lola: 23174 markings, 52335 edges, 96 markings/sec, 310 secs
lola: 23571 markings, 53234 edges, 79 markings/sec, 315 secs
lola: 23996 markings, 54195 edges, 85 markings/sec, 320 secs
lola: 24427 markings, 55207 edges, 86 markings/sec, 325 secs
lola: 24831 markings, 56223 edges, 81 markings/sec, 330 secs
lola: 25355 markings, 57495 edges, 105 markings/sec, 335 secs
lola: 25732 markings, 58328 edges, 75 markings/sec, 340 secs
lola: 26101 markings, 59180 edges, 74 markings/sec, 345 secs
lola: 26582 markings, 60330 edges, 96 markings/sec, 350 secs
lola: 27071 markings, 61500 edges, 98 markings/sec, 355 secs
lola: 27567 markings, 62673 edges, 99 markings/sec, 360 secs
lola: 27952 markings, 63535 edges, 77 markings/sec, 365 secs
lola: 28393 markings, 64548 edges, 88 markings/sec, 370 secs
lola: 28840 markings, 65608 edges, 89 markings/sec, 375 secs
lola: 29234 markings, 66536 edges, 79 markings/sec, 380 secs
lola: 29741 markings, 67775 edges, 101 markings/sec, 385 secs
lola: 30276 markings, 69094 edges, 107 markings/sec, 390 secs
lola: 30686 markings, 70136 edges, 82 markings/sec, 395 secs
lola: 31202 markings, 71400 edges, 103 markings/sec, 400 secs
lola: 31710 markings, 72638 edges, 102 markings/sec, 405 secs
lola: 32214 markings, 73904 edges, 101 markings/sec, 410 secs
lola: 32716 markings, 75181 edges, 100 markings/sec, 415 secs
lola: 33245 markings, 76514 edges, 106 markings/sec, 420 secs
lola: 33761 markings, 77787 edges, 103 markings/sec, 425 secs
lola: 34259 markings, 79078 edges, 100 markings/sec, 430 secs
lola: 34763 markings, 80300 edges, 101 markings/sec, 435 secs
lola: 35211 markings, 81394 edges, 90 markings/sec, 440 secs
lola: 35705 markings, 82671 edges, 99 markings/sec, 445 secs
lola: 36213 markings, 83916 edges, 102 markings/sec, 450 secs
lola: 36698 markings, 85085 edges, 97 markings/sec, 455 secs
lola: 37128 markings, 86231 edges, 86 markings/sec, 460 secs
lola: 37585 markings, 87275 edges, 91 markings/sec, 465 secs
lola: 38091 markings, 88513 edges, 101 markings/sec, 470 secs
lola: 38548 markings, 89740 edges, 91 markings/sec, 475 secs
lola: 39061 markings, 91042 edges, 103 markings/sec, 480 secs
lola: 39571 markings, 92306 edges, 102 markings/sec, 485 secs
lola: 40079 markings, 93713 edges, 102 markings/sec, 490 secs
lola: 40558 markings, 95011 edges, 96 markings/sec, 495 secs
lola: 41067 markings, 96293 edges, 102 markings/sec, 500 secs
lola: 41586 markings, 97722 edges, 104 markings/sec, 505 secs
lola: 42114 markings, 99118 edges, 106 markings/sec, 510 secs
lola: 42627 markings, 100505 edges, 103 markings/sec, 515 secs
lola: 43129 markings, 101859 edges, 100 markings/sec, 520 secs
lola: 43649 markings, 103382 edges, 104 markings/sec, 525 secs
lola: 44155 markings, 104764 edges, 101 markings/sec, 530 secs
lola: 44677 markings, 106139 edges, 104 markings/sec, 535 secs
lola: 45219 markings, 107592 edges, 108 markings/sec, 540 secs
lola: 45755 markings, 108945 edges, 107 markings/sec, 545 secs
lola: 46264 markings, 110335 edges, 102 markings/sec, 550 secs
lola: 46669 markings, 111428 edges, 81 markings/sec, 555 secs
lola: 47185 markings, 112852 edges, 103 markings/sec, 560 secs
lola: 47703 markings, 114148 edges, 104 markings/sec, 565 secs
lola: 48252 markings, 115562 edges, 110 markings/sec, 570 secs
lola: 48775 markings, 116913 edges, 105 markings/sec, 575 secs
lola: 49276 markings, 118335 edges, 100 markings/sec, 580 secs
lola: 49718 markings, 119667 edges, 88 markings/sec, 585 secs
lola: 50170 markings, 120872 edges, 90 markings/sec, 590 secs
lola: 50692 markings, 122238 edges, 104 markings/sec, 595 secs
lola: 51198 markings, 123576 edges, 101 markings/sec, 600 secs
lola: 51709 markings, 124993 edges, 102 markings/sec, 605 secs
lola: 52215 markings, 126296 edges, 101 markings/sec, 610 secs
lola: 52759 markings, 127705 edges, 109 markings/sec, 615 secs
lola: 53315 markings, 129174 edges, 111 markings/sec, 620 secs
lola: 53854 markings, 130616 edges, 108 markings/sec, 625 secs
lola: 54369 markings, 132124 edges, 103 markings/sec, 630 secs
lola: 54767 markings, 133333 edges, 80 markings/sec, 635 secs
lola: 55294 markings, 134642 edges, 105 markings/sec, 640 secs
lola: 55834 markings, 136259 edges, 108 markings/sec, 645 secs
lola: 56215 markings, 137427 edges, 76 markings/sec, 650 secs
lola: 56733 markings, 139042 edges, 104 markings/sec, 655 secs
lola: 57267 markings, 140564 edges, 107 markings/sec, 660 secs
lola: 57695 markings, 141780 edges, 86 markings/sec, 665 secs
lola: 58222 markings, 143204 edges, 105 markings/sec, 670 secs
lola: 58759 markings, 144603 edges, 107 markings/sec, 675 secs
lola: 59330 markings, 146194 edges, 114 markings/sec, 680 secs
lola: 59895 markings, 147746 edges, 113 markings/sec, 685 secs
lola: 60406 markings, 149331 edges, 102 markings/sec, 690 secs
lola: 60985 markings, 151013 edges, 116 markings/sec, 695 secs
lola: 61520 markings, 152411 edges, 107 markings/sec, 700 secs
lola: 62032 markings, 153769 edges, 102 markings/sec, 705 secs
lola: 62534 markings, 155300 edges, 100 markings/sec, 710 secs
lola: 62933 markings, 156433 edges, 80 markings/sec, 715 secs
lola: 63498 markings, 157995 edges, 113 markings/sec, 720 secs
lola: 64067 markings, 159686 edges, 114 markings/sec, 725 secs
lola: 64602 markings, 161278 edges, 107 markings/sec, 730 secs
lola: 65074 markings, 162491 edges, 94 markings/sec, 735 secs
lola: 65675 markings, 164206 edges, 120 markings/sec, 740 secs
lola: 66121 markings, 165494 edges, 89 markings/sec, 745 secs
lola: 66617 markings, 166995 edges, 99 markings/sec, 750 secs
lola: 67138 markings, 168481 edges, 104 markings/sec, 755 secs
lola: 67673 markings, 170022 edges, 107 markings/sec, 760 secs
lola: 68240 markings, 171613 edges, 113 markings/sec, 765 secs
lola: 68820 markings, 173323 edges, 116 markings/sec, 770 secs
lola: 69371 markings, 174909 edges, 110 markings/sec, 775 secs
lola: 69847 markings, 176212 edges, 95 markings/sec, 780 secs
lola: 70424 markings, 177954 edges, 115 markings/sec, 785 secs
lola: 70963 markings, 179365 edges, 108 markings/sec, 790 secs
lola: 71507 markings, 180802 edges, 109 markings/sec, 795 secs
lola: 72078 markings, 182421 edges, 114 markings/sec, 800 secs
lola: 72659 markings, 184129 edges, 116 markings/sec, 805 secs
lola: 73262 markings, 185821 edges, 121 markings/sec, 810 secs
lola: 73820 markings, 187507 edges, 112 markings/sec, 815 secs
lola: 74413 markings, 189163 edges, 119 markings/sec, 820 secs
lola: 74959 markings, 190879 edges, 109 markings/sec, 825 secs
lola: 75551 markings, 192707 edges, 118 markings/sec, 830 secs
lola: 76124 markings, 194404 edges, 115 markings/sec, 835 secs
lola: 76724 markings, 196242 edges, 120 markings/sec, 840 secs
lola: 77293 markings, 197865 edges, 114 markings/sec, 845 secs
lola: 77865 markings, 199605 edges, 114 markings/sec, 850 secs
lola: 78395 markings, 201196 edges, 106 markings/sec, 855 secs
lola: 78846 markings, 202557 edges, 90 markings/sec, 860 secs
lola: 79388 markings, 203991 edges, 108 markings/sec, 865 secs
lola: 79929 markings, 205510 edges, 108 markings/sec, 870 secs
lola: 80374 markings, 206871 edges, 89 markings/sec, 875 secs
lola: 80968 markings, 208760 edges, 119 markings/sec, 880 secs
lola: 81568 markings, 210600 edges, 120 markings/sec, 885 secs
lola: 82042 markings, 211971 edges, 95 markings/sec, 890 secs
lola: 82629 markings, 213705 edges, 117 markings/sec, 895 secs
lola: 83225 markings, 215388 edges, 119 markings/sec, 900 secs
lola: 83765 markings, 217073 edges, 108 markings/sec, 905 secs
lola: 84335 markings, 218827 edges, 114 markings/sec, 910 secs
lola: 84948 markings, 220771 edges, 123 markings/sec, 915 secs
lola: 85457 markings, 222297 edges, 102 markings/sec, 920 secs
lola: 85968 markings, 223741 edges, 102 markings/sec, 925 secs
lola: 86517 markings, 225498 edges, 110 markings/sec, 930 secs
lola: 87093 markings, 227420 edges, 115 markings/sec, 935 secs
lola: 87670 markings, 229032 edges, 115 markings/sec, 940 secs
lola: 88234 markings, 230717 edges, 113 markings/sec, 945 secs
lola: 88854 markings, 232733 edges, 124 markings/sec, 950 secs
lola: 89469 markings, 234689 edges, 123 markings/sec, 955 secs
lola: 90018 markings, 236231 edges, 110 markings/sec, 960 secs
lola: 90578 markings, 238005 edges, 112 markings/sec, 965 secs
lola: 91034 markings, 239473 edges, 91 markings/sec, 970 secs
lola: 91636 markings, 241316 edges, 120 markings/sec, 975 secs
lola: 92204 markings, 243220 edges, 114 markings/sec, 980 secs
lola: 92780 markings, 244998 edges, 115 markings/sec, 985 secs
lola: 93338 markings, 246615 edges, 112 markings/sec, 990 secs
lola: 93918 markings, 248534 edges, 116 markings/sec, 995 secs
lola: 94457 markings, 250247 edges, 108 markings/sec, 1000 secs
lola: 94951 markings, 251951 edges, 99 markings/sec, 1005 secs
lola: 95536 markings, 253808 edges, 117 markings/sec, 1010 secs
lola: 96050 markings, 255355 edges, 103 markings/sec, 1015 secs
lola: 96534 markings, 256809 edges, 97 markings/sec, 1020 secs
lola: 97117 markings, 258727 edges, 117 markings/sec, 1025 secs
lola: 97723 markings, 260574 edges, 121 markings/sec, 1030 secs
lola: 98174 markings, 262049 edges, 90 markings/sec, 1035 secs
lola: 98752 markings, 263824 edges, 116 markings/sec, 1040 secs
lola: 99352 markings, 265685 edges, 120 markings/sec, 1045 secs
lola: 99907 markings, 267446 edges, 111 markings/sec, 1050 secs
lola: 100500 markings, 269261 edges, 119 markings/sec, 1055 secs
lola: 101081 markings, 271141 edges, 116 markings/sec, 1060 secs
lola: 101614 markings, 272890 edges, 107 markings/sec, 1065 secs
lola: 102132 markings, 274533 edges, 104 markings/sec, 1070 secs
lola: 102734 markings, 276430 edges, 120 markings/sec, 1075 secs
lola: 103301 markings, 278138 edges, 113 markings/sec, 1080 secs
lola: 103899 markings, 280060 edges, 120 markings/sec, 1085 secs
lola: 104512 markings, 281952 edges, 123 markings/sec, 1090 secs
lola: 105086 markings, 283812 edges, 115 markings/sec, 1095 secs
lola: 105533 markings, 285131 edges, 89 markings/sec, 1100 secs
lola: 106114 markings, 287024 edges, 116 markings/sec, 1105 secs
lola: 106659 markings, 288793 edges, 109 markings/sec, 1110 secs
lola: 107270 markings, 290697 edges, 122 markings/sec, 1115 secs
lola: 107835 markings, 292617 edges, 113 markings/sec, 1120 secs
lola: 108446 markings, 294580 edges, 122 markings/sec, 1125 secs
lola: 109053 markings, 296427 edges, 121 markings/sec, 1130 secs
lola: 109648 markings, 298445 edges, 119 markings/sec, 1135 secs
lola: 110268 markings, 300430 edges, 124 markings/sec, 1140 secs
lola: 110790 markings, 301997 edges, 104 markings/sec, 1145 secs
lola: 111419 markings, 304048 edges, 126 markings/sec, 1150 secs
lola: 111984 markings, 305802 edges, 113 markings/sec, 1155 secs
lola: 112521 markings, 307564 edges, 107 markings/sec, 1160 secs
lola: 113057 markings, 309349 edges, 107 markings/sec, 1165 secs
lola: 113629 markings, 311258 edges, 114 markings/sec, 1170 secs
lola: 114218 markings, 313241 edges, 118 markings/sec, 1175 secs
lola: 114780 markings, 315104 edges, 112 markings/sec, 1180 secs
lola: 115364 markings, 317085 edges, 117 markings/sec, 1185 secs
lola: 115981 markings, 319197 edges, 123 markings/sec, 1190 secs
lola: 116503 markings, 320986 edges, 104 markings/sec, 1195 secs
lola: 117080 markings, 323009 edges, 115 markings/sec, 1200 secs
lola: 117674 markings, 324977 edges, 119 markings/sec, 1205 secs
lola: 118301 markings, 326941 edges, 125 markings/sec, 1210 secs
lola: 118859 markings, 328909 edges, 112 markings/sec, 1215 secs
lola: 119413 markings, 330715 edges, 111 markings/sec, 1220 secs
lola: 120050 markings, 332768 edges, 127 markings/sec, 1225 secs
lola: 120671 markings, 334935 edges, 124 markings/sec, 1230 secs
lola: 121305 markings, 337022 edges, 127 markings/sec, 1235 secs
lola: 121879 markings, 338957 edges, 115 markings/sec, 1240 secs
lola: 122510 markings, 341060 edges, 126 markings/sec, 1245 secs
lola: 123140 markings, 343231 edges, 126 markings/sec, 1250 secs
lola: 123734 markings, 345344 edges, 119 markings/sec, 1255 secs
lola: 124247 markings, 347076 edges, 103 markings/sec, 1260 secs
lola: 124855 markings, 349152 edges, 122 markings/sec, 1265 secs
lola: 125479 markings, 351258 edges, 125 markings/sec, 1270 secs
lola: 125902 markings, 352649 edges, 85 markings/sec, 1275 secs
lola: 126526 markings, 354737 edges, 125 markings/sec, 1280 secs
lola: 127124 markings, 356697 edges, 120 markings/sec, 1285 secs
lola: 127748 markings, 358841 edges, 125 markings/sec, 1290 secs
lola: 128389 markings, 360974 edges, 128 markings/sec, 1295 secs
lola: 128994 markings, 363161 edges, 121 markings/sec, 1300 secs
lola: 129572 markings, 365039 edges, 116 markings/sec, 1305 secs
lola: 130182 markings, 367212 edges, 122 markings/sec, 1310 secs
lola: 130814 markings, 369306 edges, 126 markings/sec, 1315 secs
lola: 131395 markings, 371231 edges, 116 markings/sec, 1320 secs
lola: 131932 markings, 373000 edges, 107 markings/sec, 1325 secs
lola: 132542 markings, 374939 edges, 122 markings/sec, 1330 secs
lola: 133159 markings, 377130 edges, 123 markings/sec, 1335 secs
lola: 133683 markings, 378913 edges, 105 markings/sec, 1340 secs
lola: 134346 markings, 381171 edges, 133 markings/sec, 1345 secs
lola: 134947 markings, 383250 edges, 120 markings/sec, 1350 secs
lola: 135549 markings, 385371 edges, 120 markings/sec, 1355 secs
lola: 136119 markings, 387375 edges, 114 markings/sec, 1360 secs
lola: 136769 markings, 389659 edges, 130 markings/sec, 1365 secs
lola: 137287 markings, 391387 edges, 104 markings/sec, 1370 secs
lola: 137887 markings, 393366 edges, 120 markings/sec, 1375 secs
lola: 138515 markings, 395573 edges, 126 markings/sec, 1380 secs
lola: 139106 markings, 397560 edges, 118 markings/sec, 1385 secs
lola: 139750 markings, 399785 edges, 129 markings/sec, 1390 secs
lola: 140413 markings, 402219 edges, 133 markings/sec, 1395 secs
lola: 140963 markings, 404073 edges, 110 markings/sec, 1400 secs
lola: 141509 markings, 405978 edges, 109 markings/sec, 1405 secs
lola: 142124 markings, 408094 edges, 123 markings/sec, 1410 secs
lola: 142699 markings, 410068 edges, 115 markings/sec, 1415 secs
lola: 143232 markings, 411931 edges, 107 markings/sec, 1420 secs
lola: 143874 markings, 414173 edges, 128 markings/sec, 1425 secs
lola: 144491 markings, 416328 edges, 123 markings/sec, 1430 secs
lola: 144957 markings, 417891 edges, 93 markings/sec, 1435 secs
lola: 145575 markings, 420001 edges, 124 markings/sec, 1440 secs
lola: 146222 markings, 422209 edges, 129 markings/sec, 1445 secs
lola: 146740 markings, 424042 edges, 104 markings/sec, 1450 secs
lola: 147383 markings, 426370 edges, 129 markings/sec, 1455 secs
lola: 147986 markings, 428411 edges, 121 markings/sec, 1460 secs
lola: 148522 markings, 430343 edges, 107 markings/sec, 1465 secs
lola: 149133 markings, 432512 edges, 122 markings/sec, 1470 secs
lola: 149786 markings, 434859 edges, 131 markings/sec, 1475 secs
lola: 150347 markings, 436779 edges, 112 markings/sec, 1480 secs
lola: 150928 markings, 438888 edges, 116 markings/sec, 1485 secs
lola: 151490 markings, 440724 edges, 112 markings/sec, 1490 secs
lola: 152125 markings, 442923 edges, 127 markings/sec, 1495 secs
lola: 152680 markings, 444895 edges, 111 markings/sec, 1500 secs
lola: 153337 markings, 447118 edges, 131 markings/sec, 1505 secs
lola: 154004 markings, 449371 edges, 133 markings/sec, 1510 secs
lola: 154521 markings, 451165 edges, 103 markings/sec, 1515 secs
lola: 155183 markings, 453541 edges, 132 markings/sec, 1520 secs
lola: 155811 markings, 455730 edges, 126 markings/sec, 1525 secs
lola: 156258 markings, 457351 edges, 89 markings/sec, 1530 secs
lola: 156908 markings, 459609 edges, 130 markings/sec, 1535 secs
lola: 157488 markings, 461630 edges, 116 markings/sec, 1540 secs
lola: 158118 markings, 463697 edges, 126 markings/sec, 1545 secs
lola: 158783 markings, 466202 edges, 133 markings/sec, 1550 secs
lola: 159429 markings, 468519 edges, 129 markings/sec, 1555 secs
lola: 160067 markings, 470798 edges, 128 markings/sec, 1560 secs
lola: 160662 markings, 472887 edges, 119 markings/sec, 1565 secs
lola: 161281 markings, 475038 edges, 124 markings/sec, 1570 secs
lola: 161877 markings, 477168 edges, 119 markings/sec, 1575 secs
lola: 162397 markings, 479031 edges, 104 markings/sec, 1580 secs
lola: 163040 markings, 481333 edges, 129 markings/sec, 1585 secs
lola: 163633 markings, 483521 edges, 119 markings/sec, 1590 secs
lola: 164157 markings, 485408 edges, 105 markings/sec, 1595 secs
lola: 164764 markings, 487564 edges, 121 markings/sec, 1600 secs
lola: 165437 markings, 490078 edges, 135 markings/sec, 1605 secs
lola: 166087 markings, 492387 edges, 130 markings/sec, 1610 secs
lola: 166766 markings, 494859 edges, 136 markings/sec, 1615 secs
lola: 167444 markings, 497424 edges, 136 markings/sec, 1620 secs
lola: 167964 markings, 499256 edges, 104 markings/sec, 1625 secs
lola: 168627 markings, 501657 edges, 133 markings/sec, 1630 secs
lola: 169282 markings, 504011 edges, 131 markings/sec, 1635 secs
lola: 169929 markings, 506346 edges, 129 markings/sec, 1640 secs
lola: 170569 markings, 508655 edges, 128 markings/sec, 1645 secs
lola: 171256 markings, 511086 edges, 137 markings/sec, 1650 secs
lola: 171865 markings, 513277 edges, 122 markings/sec, 1655 secs
lola: 172393 markings, 515100 edges, 106 markings/sec, 1660 secs
lola: 173063 markings, 517521 edges, 134 markings/sec, 1665 secs
lola: 173740 markings, 519924 edges, 135 markings/sec, 1670 secs
lola: 174417 markings, 522374 edges, 135 markings/sec, 1675 secs
lola: 175071 markings, 524672 edges, 131 markings/sec, 1680 secs
lola: 175727 markings, 527072 edges, 131 markings/sec, 1685 secs
lola: 176225 markings, 528957 edges, 100 markings/sec, 1690 secs
lola: 176891 markings, 531312 edges, 133 markings/sec, 1695 secs
lola: 177536 markings, 533617 edges, 129 markings/sec, 1700 secs
lola: 178081 markings, 535484 edges, 109 markings/sec, 1705 secs
lola: 178673 markings, 537563 edges, 118 markings/sec, 1710 secs
lola: 179314 markings, 539934 edges, 128 markings/sec, 1715 secs
lola: 179938 markings, 542101 edges, 125 markings/sec, 1720 secs
lola: 180575 markings, 544379 edges, 127 markings/sec, 1725 secs
lola: 181238 markings, 546662 edges, 133 markings/sec, 1730 secs
lola: 181945 markings, 549354 edges, 141 markings/sec, 1735 secs
lola: 182581 markings, 551623 edges, 127 markings/sec, 1740 secs
lola: 183231 markings, 554058 edges, 130 markings/sec, 1745 secs
lola: 183912 markings, 556561 edges, 136 markings/sec, 1750 secs
lola: 184576 markings, 558884 edges, 133 markings/sec, 1755 secs
lola: 185209 markings, 561114 edges, 127 markings/sec, 1760 secs
lola: 185884 markings, 563628 edges, 135 markings/sec, 1765 secs
lola: 186511 markings, 565821 edges, 125 markings/sec, 1770 secs
lola: 187126 markings, 567973 edges, 123 markings/sec, 1775 secs
lola: 187801 markings, 570360 edges, 135 markings/sec, 1780 secs
lola: 188388 markings, 572598 edges, 117 markings/sec, 1785 secs
lola: 189028 markings, 574913 edges, 128 markings/sec, 1790 secs
lola: 189703 markings, 577441 edges, 135 markings/sec, 1795 secs
lola: 190343 markings, 579812 edges, 128 markings/sec, 1800 secs
lola: 191035 markings, 582360 edges, 138 markings/sec, 1805 secs
lola: 191743 markings, 584982 edges, 142 markings/sec, 1810 secs
lola: 192326 markings, 587045 edges, 117 markings/sec, 1815 secs
lola: 192990 markings, 589561 edges, 133 markings/sec, 1820 secs
lola: 193647 markings, 592047 edges, 131 markings/sec, 1825 secs
lola: 194328 markings, 594593 edges, 136 markings/sec, 1830 secs
lola: 194962 markings, 596797 edges, 127 markings/sec, 1835 secs
lola: 195662 markings, 599302 edges, 140 markings/sec, 1840 secs
lola: 196274 markings, 601482 edges, 122 markings/sec, 1845 secs
lola: 196917 markings, 603842 edges, 129 markings/sec, 1850 secs
lola: 197565 markings, 606214 edges, 130 markings/sec, 1855 secs
lola: 198145 markings, 608130 edges, 116 markings/sec, 1860 secs
lola: 198855 markings, 610771 edges, 142 markings/sec, 1865 secs
lola: 199522 markings, 613362 edges, 133 markings/sec, 1870 secs
lola: 200200 markings, 615763 edges, 136 markings/sec, 1875 secs
lola: 200881 markings, 618124 edges, 136 markings/sec, 1880 secs
lola: 201573 markings, 620713 edges, 138 markings/sec, 1885 secs
lola: 202154 markings, 622685 edges, 116 markings/sec, 1890 secs
lola: 202754 markings, 624729 edges, 120 markings/sec, 1895 secs
lola: 203358 markings, 626939 edges, 121 markings/sec, 1900 secs
lola: 204040 markings, 629504 edges, 136 markings/sec, 1905 secs
lola: 204625 markings, 631571 edges, 117 markings/sec, 1910 secs
lola: 205198 markings, 633701 edges, 115 markings/sec, 1915 secs
lola: 205738 markings, 635651 edges, 108 markings/sec, 1920 secs
lola: 206303 markings, 637660 edges, 113 markings/sec, 1925 secs
lola: 206883 markings, 639888 edges, 116 markings/sec, 1930 secs
lola: 207463 markings, 642084 edges, 116 markings/sec, 1935 secs
lola: 208096 markings, 644406 edges, 127 markings/sec, 1940 secs
lola: 208738 markings, 646874 edges, 128 markings/sec, 1945 secs
lola: 209344 markings, 649117 edges, 121 markings/sec, 1950 secs
lola: 209980 markings, 651406 edges, 127 markings/sec, 1955 secs
lola: 210536 markings, 653572 edges, 111 markings/sec, 1960 secs
lola: 211248 markings, 656215 edges, 142 markings/sec, 1965 secs
lola: 211928 markings, 658782 edges, 136 markings/sec, 1970 secs
lola: 212583 markings, 661187 edges, 131 markings/sec, 1975 secs
lola: 213181 markings, 663358 edges, 120 markings/sec, 1980 secs
lola: 213833 markings, 665857 edges, 130 markings/sec, 1985 secs
lola: 214542 markings, 668418 edges, 142 markings/sec, 1990 secs
lola: 215093 markings, 670498 edges, 110 markings/sec, 1995 secs
lola: 215763 markings, 673015 edges, 134 markings/sec, 2000 secs
lola: 216434 markings, 675720 edges, 134 markings/sec, 2005 secs
lola: 217092 markings, 678039 edges, 132 markings/sec, 2010 secs
lola: 217774 markings, 680518 edges, 136 markings/sec, 2015 secs
lola: 218484 markings, 683217 edges, 142 markings/sec, 2020 secs
lola: 219161 markings, 685848 edges, 135 markings/sec, 2025 secs
lola: 219833 markings, 688265 edges, 134 markings/sec, 2030 secs
lola: 220463 markings, 690659 edges, 126 markings/sec, 2035 secs
lola: 221104 markings, 692935 edges, 128 markings/sec, 2040 secs
lola: 221751 markings, 695383 edges, 129 markings/sec, 2045 secs
lola: 222409 markings, 697783 edges, 132 markings/sec, 2050 secs
lola: 223042 markings, 700112 edges, 127 markings/sec, 2055 secs
lola: 223617 markings, 702215 edges, 115 markings/sec, 2060 secs
lola: 224344 markings, 704942 edges, 145 markings/sec, 2065 secs
lola: 225042 markings, 707557 edges, 140 markings/sec, 2070 secs
lola: 225573 markings, 709646 edges, 106 markings/sec, 2075 secs
lola: 226297 markings, 712320 edges, 145 markings/sec, 2080 secs
lola: 227008 markings, 714980 edges, 142 markings/sec, 2085 secs
lola: 227694 markings, 717463 edges, 137 markings/sec, 2090 secs
lola: 228398 markings, 720097 edges, 141 markings/sec, 2095 secs
lola: 229048 markings, 722503 edges, 130 markings/sec, 2100 secs
lola: 229604 markings, 724644 edges, 111 markings/sec, 2105 secs
lola: 230253 markings, 727115 edges, 130 markings/sec, 2110 secs
lola: 230914 markings, 729628 edges, 132 markings/sec, 2115 secs
lola: 231620 markings, 732375 edges, 141 markings/sec, 2120 secs
lola: 232299 markings, 734954 edges, 136 markings/sec, 2125 secs
lola: 232973 markings, 737489 edges, 135 markings/sec, 2130 secs
lola: 233708 markings, 740310 edges, 147 markings/sec, 2135 secs
lola: 234405 markings, 742875 edges, 139 markings/sec, 2140 secs
lola: 235108 markings, 745396 edges, 141 markings/sec, 2145 secs
lola: 235804 markings, 748080 edges, 139 markings/sec, 2150 secs
lola: 236466 markings, 750467 edges, 132 markings/sec, 2155 secs
lola: 237142 markings, 752924 edges, 135 markings/sec, 2160 secs
lola: 237842 markings, 755516 edges, 140 markings/sec, 2165 secs
lola: 238466 markings, 757807 edges, 125 markings/sec, 2170 secs
lola: 239177 markings, 760506 edges, 142 markings/sec, 2175 secs
lola: 239855 markings, 763016 edges, 136 markings/sec, 2180 secs
lola: 240563 markings, 765758 edges, 142 markings/sec, 2185 secs
lola: 241243 markings, 768128 edges, 136 markings/sec, 2190 secs
lola: 241929 markings, 770849 edges, 137 markings/sec, 2195 secs
lola: 242595 markings, 773356 edges, 133 markings/sec, 2200 secs
lola: 243313 markings, 776148 edges, 144 markings/sec, 2205 secs
lola: 243938 markings, 778505 edges, 125 markings/sec, 2210 secs
lola: 244597 markings, 780773 edges, 132 markings/sec, 2215 secs
lola: 245254 markings, 783186 edges, 131 markings/sec, 2220 secs
lola: 245962 markings, 785801 edges, 142 markings/sec, 2225 secs
lola: 246678 markings, 788393 edges, 143 markings/sec, 2230 secs
lola: 247222 markings, 790401 edges, 109 markings/sec, 2235 secs
lola: 247900 markings, 792943 edges, 136 markings/sec, 2240 secs
lola: 248589 markings, 795554 edges, 138 markings/sec, 2245 secs
lola: 249179 markings, 797753 edges, 118 markings/sec, 2250 secs
lola: 249861 markings, 800263 edges, 136 markings/sec, 2255 secs
lola: 250570 markings, 802955 edges, 142 markings/sec, 2260 secs
lola: 251254 markings, 805625 edges, 137 markings/sec, 2265 secs
lola: 251845 markings, 807518 edges, 118 markings/sec, 2270 secs
lola: 252553 markings, 809989 edges, 142 markings/sec, 2275 secs
lola: 253136 markings, 812256 edges, 117 markings/sec, 2280 secs
lola: 253762 markings, 814494 edges, 125 markings/sec, 2285 secs
lola: 254452 markings, 817188 edges, 138 markings/sec, 2290 secs
lola: 255074 markings, 819567 edges, 124 markings/sec, 2295 secs
lola: 255709 markings, 822018 edges, 127 markings/sec, 2300 secs
lola: 256351 markings, 824488 edges, 128 markings/sec, 2305 secs
lola: 257040 markings, 827035 edges, 138 markings/sec, 2310 secs
lola: 257721 markings, 829716 edges, 136 markings/sec, 2315 secs
lola: 258361 markings, 832041 edges, 128 markings/sec, 2320 secs
lola: 259072 markings, 834701 edges, 142 markings/sec, 2325 secs
lola: 259724 markings, 837186 edges, 130 markings/sec, 2330 secs
lola: 260450 markings, 839997 edges, 145 markings/sec, 2335 secs
lola: 261141 markings, 842507 edges, 138 markings/sec, 2340 secs
lola: 261739 markings, 844741 edges, 120 markings/sec, 2345 secs
lola: 262358 markings, 846932 edges, 124 markings/sec, 2350 secs
lola: 263094 markings, 849630 edges, 147 markings/sec, 2355 secs
lola: 263736 markings, 852106 edges, 128 markings/sec, 2360 secs
lola: 264381 markings, 854619 edges, 129 markings/sec, 2365 secs
lola: 265091 markings, 857285 edges, 142 markings/sec, 2370 secs
lola: time limit reached - aborting
lola: lola:
preliminary result: unknown 10 unknown 10 10 10 5 10 10 10 unknown 5 unknown 5 5 10 caught signal User defined signal 1 - aborting LoLA

lola:
preliminary result: unknown 10 unknown 10 10 10 5 10 10 10 unknown 5 unknown 5 5 10
lola:
preliminary result: unknown 10 unknown 10 10 10 5 10 10 10 unknown 5 unknown 5 5 10
lola: memory consumption: 1067824 KB
lola: time consumption: 3492 seconds
lola: memory consumption: 876204 KB
lola: time consumption: 3492 seconds

BK_STOP 1526766908996

--------------------
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="GlobalResAllocation-COL-05"
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/GlobalResAllocation-COL-05.tgz
mv GlobalResAllocation-COL-05 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 GlobalResAllocation-COL-05, 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-152649998400366"
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 ;