Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r005-smll-155225009000137.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is ASLink-PT-08a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r005-smll-155225009000137
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 908K
-rw-r--r-- 1 mcc users 3.3K Feb 9 05:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 9 05:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 5 02:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 5 02:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.6K Feb 4 22:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 1 23:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 1 23:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jan 29 09:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 29 09:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 757K Mar 10 17:31 model.pnml

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

=== Now, execution of the tool begins

BK_START 1552617541773

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ ASLink-PT-08a @ 3570 seconds

FORMULA ASLink-PT-08a-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-08a-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-08a-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-08a-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-08a-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-08a-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-08a-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-08a-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-08a-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-08a-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-08a-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-08a-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-08a-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-08a-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-08a-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ ASLink-PT-08a

{
"exit":
{
"memory": 43092,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p194)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"preliminary_value": "1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 4442/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1796
lola: finding significant places
lola: 1796 places, 2646 transitions, 1450 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: MAX(p165) : MAX(p1130) : MAX(p1544) : MAX(p362) : MAX(p1718) : MAX(p213) : MAX(p1618) : MAX(p778) : MAX(p1471) : MAX(p1614) : MAX(p884) : MAX(p1150) : MAX(p1629) : MAX(p979) : MAX(p877) : MAX(p194)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p165)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p165)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 5 markings, 4 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1130)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1130)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 5 markings, 4 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1544)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1544)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 4 markings, 3 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p362)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p362)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 5 markings, 4 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1718)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1718)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 671 markings, 670 edges
lola: ========================================
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p213)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p213)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 385 markings, 384 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1618)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1618)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 14 markings, 13 edges
lola: ========================================
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p778)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p778)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 105 markings, 104 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1471)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1471)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 62 markings, 61 edges
lola: ========================================
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1614)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1614)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 18 markings, 17 edges
lola: ========================================
lola: subprocess 10 will run for 593 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p884)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p884)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 340 markings, 339 edges
lola: ========================================
lola: subprocess 11 will run for 711 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1150)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1150)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 5 markings, 4 edges
lola: ========================================
lola: subprocess 12 will run for 889 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1629)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1629)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 2 markings, 1 edges
lola: ========================================
lola: subprocess 13 will run for 1186 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p979)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p979)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 85 markings, 84 edges
lola: ========================================
lola: subprocess 14 will run for 1779 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p877)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p877)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 65 markings, 64 edges
lola: ========================================
lola: subprocess 15 will run for 3557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p194)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p194)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 94924 markings, 164952 edges, 18985 markings/sec, 0 secs
lola: 204305 markings, 365772 edges, 21876 markings/sec, 5 secs
lola: 318226 markings, 563723 edges, 22784 markings/sec, 10 secs
lola: 418708 markings, 785711 edges, 20096 markings/sec, 15 secs
lola: 522249 markings, 994216 edges, 20708 markings/sec, 20 secs
lola: 634443 markings, 1207742 edges, 22439 markings/sec, 25 secs
lola: 742347 markings, 1395747 edges, 21581 markings/sec, 30 secs
lola: 852739 markings, 1601626 edges, 22078 markings/sec, 35 secs
lola: 958814 markings, 1805933 edges, 21215 markings/sec, 40 secs
lola: 1067912 markings, 2013634 edges, 21820 markings/sec, 45 secs
lola: 1157078 markings, 2245871 edges, 17833 markings/sec, 50 secs
lola: 1243854 markings, 2498826 edges, 17355 markings/sec, 55 secs
lola: 1329447 markings, 2726425 edges, 17119 markings/sec, 60 secs
lola: 1416481 markings, 2980178 edges, 17407 markings/sec, 65 secs
lola: 1502916 markings, 3232137 edges, 17287 markings/sec, 70 secs
lola: 1588519 markings, 3459765 edges, 17121 markings/sec, 75 secs
lola: 1675246 markings, 3712586 edges, 17345 markings/sec, 80 secs
lola: 1761283 markings, 3963150 edges, 17207 markings/sec, 85 secs
lola: 1847210 markings, 4191916 edges, 17185 markings/sec, 90 secs
lola: 1934316 markings, 4443425 edges, 17421 markings/sec, 95 secs
lola: 2020483 markings, 4685611 edges, 17233 markings/sec, 100 secs
lola: 2106699 markings, 4922397 edges, 17243 markings/sec, 105 secs
lola: 2193778 markings, 5172782 edges, 17416 markings/sec, 110 secs
lola: 2278622 markings, 5400447 edges, 16969 markings/sec, 115 secs
lola: 2365667 markings, 5651911 edges, 17409 markings/sec, 120 secs
lola: 2451788 markings, 5902920 edges, 17224 markings/sec, 125 secs
lola: 2537132 markings, 6129740 edges, 17069 markings/sec, 130 secs
lola: 2623662 markings, 6382000 edges, 17306 markings/sec, 135 secs
lola: 2709607 markings, 6632496 edges, 17189 markings/sec, 140 secs
lola: 2795158 markings, 6859937 edges, 17110 markings/sec, 145 secs
lola: 2881633 markings, 7112018 edges, 17295 markings/sec, 150 secs
lola: 2966610 markings, 7355168 edges, 16995 markings/sec, 155 secs
lola: 3071810 markings, 7553482 edges, 21040 markings/sec, 160 secs
lola: 3179681 markings, 7762245 edges, 21574 markings/sec, 165 secs
lola: 3273396 markings, 7972860 edges, 18743 markings/sec, 170 secs
lola: 3359998 markings, 8225353 edges, 17320 markings/sec, 175 secs
lola: 3444524 markings, 8469594 edges, 16905 markings/sec, 180 secs
lola: 3531826 markings, 8704294 edges, 17460 markings/sec, 185 secs
lola: 3619709 markings, 8952974 edges, 17577 markings/sec, 190 secs
lola: 3706337 markings, 9192762 edges, 17326 markings/sec, 195 secs
lola: 3791399 markings, 9431502 edges, 17012 markings/sec, 200 secs
lola: 3877518 markings, 9682502 edges, 17224 markings/sec, 205 secs
lola: 3962618 markings, 9908587 edges, 17020 markings/sec, 210 secs
lola: 4049087 markings, 10160643 edges, 17294 markings/sec, 215 secs
lola: 4134949 markings, 10410922 edges, 17172 markings/sec, 220 secs
lola: 4220158 markings, 10637302 edges, 17042 markings/sec, 225 secs
lola: 4306290 markings, 10888395 edges, 17226 markings/sec, 230 secs
lola: 4391036 markings, 11132451 edges, 16949 markings/sec, 235 secs
lola: 4477218 markings, 11364627 edges, 17236 markings/sec, 240 secs
lola: 4564268 markings, 11613075 edges, 17410 markings/sec, 245 secs
lola: 4649509 markings, 11854159 edges, 17048 markings/sec, 250 secs
lola: 4735272 markings, 12089284 edges, 17153 markings/sec, 255 secs
lola: 4821499 markings, 12338600 edges, 17245 markings/sec, 260 secs
lola: 4905809 markings, 12564553 edges, 16862 markings/sec, 265 secs
lola: 4992541 markings, 12815176 edges, 17346 markings/sec, 270 secs
lola: 5078371 markings, 13065307 edges, 17166 markings/sec, 275 secs
lola: 5169913 markings, 13277650 edges, 18308 markings/sec, 280 secs
lola: 5278179 markings, 13484822 edges, 21653 markings/sec, 285 secs
lola: 5383086 markings, 13677741 edges, 20981 markings/sec, 290 secs
lola: 5468955 markings, 13922622 edges, 17174 markings/sec, 295 secs
lola: 5554839 markings, 14172944 edges, 17177 markings/sec, 300 secs
lola: 5639777 markings, 14398555 edges, 16988 markings/sec, 305 secs
lola: 5726046 markings, 14650034 edges, 17254 markings/sec, 310 secs
lola: 5811723 markings, 14899699 edges, 17135 markings/sec, 315 secs
lola: 5896829 markings, 15125832 edges, 17021 markings/sec, 320 secs
lola: 5982845 markings, 15376497 edges, 17203 markings/sec, 325 secs
lola: 6067181 markings, 15618219 edges, 16867 markings/sec, 330 secs
lola: 6153543 markings, 15852056 edges, 17272 markings/sec, 335 secs
lola: 6240959 markings, 16099350 edges, 17483 markings/sec, 340 secs
lola: 6326081 markings, 16340476 edges, 17024 markings/sec, 345 secs
lola: 6411656 markings, 16574899 edges, 17115 markings/sec, 350 secs
lola: 6497335 markings, 16824570 edges, 17136 markings/sec, 355 secs
lola: 6581886 markings, 17049035 edges, 16910 markings/sec, 360 secs
lola: 6668009 markings, 17300046 edges, 17225 markings/sec, 365 secs
lola: 6753568 markings, 17549386 edges, 17112 markings/sec, 370 secs
lola: 6838359 markings, 17774521 edges, 16958 markings/sec, 375 secs
lola: 6924324 markings, 18025099 edges, 17193 markings/sec, 380 secs
lola: 7009749 markings, 18274028 edges, 17085 markings/sec, 385 secs
lola: 7094781 markings, 18499923 edges, 17006 markings/sec, 390 secs
lola: 7180632 markings, 18750134 edges, 17170 markings/sec, 395 secs
lola: 7264487 markings, 18992123 edges, 16771 markings/sec, 400 secs
lola: 7373479 markings, 19198166 edges, 21798 markings/sec, 405 secs
lola: 7476558 markings, 19417466 edges, 20616 markings/sec, 410 secs
lola: 7598316 markings, 19624669 edges, 24352 markings/sec, 415 secs
lola: 7724945 markings, 19811371 edges, 25326 markings/sec, 420 secs
lola: 7828980 markings, 20028033 edges, 20807 markings/sec, 425 secs
lola: 7928794 markings, 20252296 edges, 19963 markings/sec, 430 secs
lola: 8025235 markings, 20486995 edges, 19288 markings/sec, 435 secs
lola: 8121046 markings, 20721466 edges, 19162 markings/sec, 440 secs
lola: 8220612 markings, 20948023 edges, 19913 markings/sec, 445 secs
lola: 8316629 markings, 21181580 edges, 19203 markings/sec, 450 secs
lola: 8412079 markings, 21415297 edges, 19090 markings/sec, 455 secs
lola: 8511074 markings, 21641031 edges, 19799 markings/sec, 460 secs
lola: 8606861 markings, 21873200 edges, 19157 markings/sec, 465 secs
lola: 8708346 markings, 22096513 edges, 20297 markings/sec, 470 secs
lola: 8811133 markings, 22315334 edges, 20557 markings/sec, 475 secs
lola: 8926794 markings, 22523948 edges, 23132 markings/sec, 480 secs
lola: 9038665 markings, 22729334 edges, 22374 markings/sec, 485 secs
lola: 9132793 markings, 22960220 edges, 18826 markings/sec, 490 secs
lola: 9237142 markings, 23178788 edges, 20870 markings/sec, 495 secs
lola: 9332570 markings, 23413222 edges, 19086 markings/sec, 500 secs
lola: 9428450 markings, 23645900 edges, 19176 markings/sec, 505 secs
lola: 9527636 markings, 23871438 edges, 19837 markings/sec, 510 secs
lola: 9622639 markings, 24104756 edges, 19001 markings/sec, 515 secs
lola: 9722283 markings, 24327869 edges, 19929 markings/sec, 520 secs
lola: 9816541 markings, 24561319 edges, 18852 markings/sec, 525 secs
lola: 9911533 markings, 24793041 edges, 18998 markings/sec, 530 secs
lola: 10014783 markings, 25011730 edges, 20650 markings/sec, 535 secs
lola: 10118396 markings, 25226326 edges, 20723 markings/sec, 540 secs
lola: 10242460 markings, 25410061 edges, 24813 markings/sec, 545 secs
lola: 10348494 markings, 25604015 edges, 21207 markings/sec, 550 secs
lola: 10452397 markings, 25804417 edges, 20781 markings/sec, 555 secs
lola: 10546899 markings, 26020777 edges, 18900 markings/sec, 560 secs
lola: 10629409 markings, 26260607 edges, 16502 markings/sec, 565 secs
lola: 10712034 markings, 26497565 edges, 16525 markings/sec, 570 secs
lola: 10793743 markings, 26734041 edges, 16342 markings/sec, 575 secs
lola: 10875997 markings, 26973056 edges, 16451 markings/sec, 580 secs
lola: 10958132 markings, 27211639 edges, 16427 markings/sec, 585 secs
lola: 11040003 markings, 27448905 edges, 16374 markings/sec, 590 secs
lola: 11135410 markings, 27656842 edges, 19081 markings/sec, 595 secs
lola: 11217272 markings, 27896858 edges, 16372 markings/sec, 600 secs
lola: 11299302 markings, 28135155 edges, 16406 markings/sec, 605 secs
lola: 11381257 markings, 28366994 edges, 16391 markings/sec, 610 secs
lola: 11462771 markings, 28605923 edges, 16303 markings/sec, 615 secs
lola: 11544560 markings, 28843520 edges, 16358 markings/sec, 620 secs
lola: 11626335 markings, 29081042 edges, 16355 markings/sec, 625 secs
lola: 11721023 markings, 29286157 edges, 18938 markings/sec, 630 secs
lola: 11802971 markings, 29524209 edges, 16390 markings/sec, 635 secs
lola: 11884633 markings, 29761878 edges, 16332 markings/sec, 640 secs
lola: 11965916 markings, 29999607 edges, 16257 markings/sec, 645 secs
lola: 12047531 markings, 30230391 edges, 16323 markings/sec, 650 secs
lola: 12128776 markings, 30468497 edges, 16249 markings/sec, 655 secs
lola: 12210410 markings, 30705597 edges, 16327 markings/sec, 660 secs
lola: 12309530 markings, 30915176 edges, 19824 markings/sec, 665 secs
lola: 12412232 markings, 31122485 edges, 20540 markings/sec, 670 secs
lola: 12506671 markings, 31345478 edges, 18888 markings/sec, 675 secs
lola: 12600287 markings, 31567889 edges, 18723 markings/sec, 680 secs
lola: 12700794 markings, 31770354 edges, 20101 markings/sec, 685 secs
lola: 12796383 markings, 31989086 edges, 19118 markings/sec, 690 secs
lola: 12889856 markings, 32210860 edges, 18695 markings/sec, 695 secs
lola: 12992340 markings, 32406656 edges, 20497 markings/sec, 700 secs
lola: 13134334 markings, 32554183 edges, 28399 markings/sec, 705 secs
lola: 13250638 markings, 32717568 edges, 23261 markings/sec, 710 secs
lola: 13349126 markings, 32904759 edges, 19698 markings/sec, 715 secs
lola: 13454515 markings, 33097514 edges, 21078 markings/sec, 720 secs
lola: 13564515 markings, 33306312 edges, 22000 markings/sec, 725 secs
lola: 13677289 markings, 33510021 edges, 22555 markings/sec, 730 secs
lola: 13787771 markings, 33717178 edges, 22096 markings/sec, 735 secs
lola: 13899360 markings, 33921855 edges, 22318 markings/sec, 740 secs
lola: 14010426 markings, 34126700 edges, 22213 markings/sec, 745 secs
lola: 14113750 markings, 34320858 edges, 20665 markings/sec, 750 secs
lola: 14222114 markings, 34537098 edges, 21673 markings/sec, 755 secs
lola: 14331358 markings, 34753986 edges, 21849 markings/sec, 760 secs
lola: 14438225 markings, 34968221 edges, 21373 markings/sec, 765 secs
lola: 14534891 markings, 35202223 edges, 19333 markings/sec, 770 secs
lola: 14620420 markings, 35459116 edges, 17106 markings/sec, 775 secs
lola: 14706092 markings, 35714435 edges, 17134 markings/sec, 780 secs
lola: 14791531 markings, 35971016 edges, 17088 markings/sec, 785 secs
lola: 14876888 markings, 36225389 edges, 17071 markings/sec, 790 secs
lola: 14962312 markings, 36481934 edges, 17085 markings/sec, 795 secs
lola: 15047433 markings, 36735623 edges, 17024 markings/sec, 800 secs
lola: 15132983 markings, 36992532 edges, 17110 markings/sec, 805 secs
lola: 15217814 markings, 37247296 edges, 16966 markings/sec, 810 secs
lola: 15303532 markings, 37502754 edges, 17144 markings/sec, 815 secs
lola: 15388361 markings, 37757534 edges, 16966 markings/sec, 820 secs
lola: 15473859 markings, 38012323 edges, 17100 markings/sec, 825 secs
lola: 15558667 markings, 38267013 edges, 16962 markings/sec, 830 secs
lola: 15644019 markings, 38521348 edges, 17070 markings/sec, 835 secs
lola: 15728895 markings, 38776256 edges, 16975 markings/sec, 840 secs
lola: 15814149 markings, 39030322 edges, 17051 markings/sec, 845 secs
lola: 15899239 markings, 39285889 edges, 17018 markings/sec, 850 secs
lola: 15992504 markings, 39523549 edges, 18653 markings/sec, 855 secs
lola: 16098847 markings, 39736918 edges, 21269 markings/sec, 860 secs
lola: 16191857 markings, 39977131 edges, 18602 markings/sec, 865 secs
lola: 16276958 markings, 40232714 edges, 17020 markings/sec, 870 secs
lola: 16362336 markings, 40487143 edges, 17076 markings/sec, 875 secs
lola: 16447380 markings, 40742572 edges, 17009 markings/sec, 880 secs
lola: 16532516 markings, 40996284 edges, 17027 markings/sec, 885 secs
lola: 16617486 markings, 41251440 edges, 16994 markings/sec, 890 secs
lola: 16702410 markings, 41504525 edges, 16985 markings/sec, 895 secs
lola: 16787460 markings, 41759956 edges, 17010 markings/sec, 900 secs
lola: 16872190 markings, 42012444 edges, 16946 markings/sec, 905 secs
lola: 16957197 markings, 42267755 edges, 17001 markings/sec, 910 secs
lola: 17041475 markings, 42520855 edges, 16856 markings/sec, 915 secs
lola: 17126757 markings, 42774989 edges, 17056 markings/sec, 920 secs
lola: 17211123 markings, 43028351 edges, 16873 markings/sec, 925 secs
lola: 17296181 markings, 43281839 edges, 17012 markings/sec, 930 secs
lola: 17380611 markings, 43535421 edges, 16886 markings/sec, 935 secs
lola: 17465606 markings, 43788711 edges, 16999 markings/sec, 940 secs
lola: 17550210 markings, 44042786 edges, 16921 markings/sec, 945 secs
lola: 17644992 markings, 44276028 edges, 18956 markings/sec, 950 secs
lola: 17750806 markings, 44488340 edges, 21163 markings/sec, 955 secs
lola: 17841708 markings, 44730662 edges, 18180 markings/sec, 960 secs
lola: 17926207 markings, 44984417 edges, 16900 markings/sec, 965 secs
lola: 18011111 markings, 45237458 edges, 16981 markings/sec, 970 secs
lola: 18095644 markings, 45491325 edges, 16907 markings/sec, 975 secs
lola: 18180391 markings, 45743860 edges, 16949 markings/sec, 980 secs
lola: 18264922 markings, 45997749 edges, 16906 markings/sec, 985 secs
lola: 18349471 markings, 46249703 edges, 16910 markings/sec, 990 secs
lola: 18434125 markings, 46503907 edges, 16931 markings/sec, 995 secs
lola: 18518510 markings, 46755383 edges, 16877 markings/sec, 1000 secs
lola: 18603143 markings, 47009544 edges, 16927 markings/sec, 1005 secs
lola: 18686118 markings, 47258741 edges, 16595 markings/sec, 1010 secs
lola: 18770266 markings, 47509472 edges, 16830 markings/sec, 1015 secs
lola: 18853342 markings, 47758978 edges, 16615 markings/sec, 1020 secs
lola: 18938014 markings, 48011281 edges, 16934 markings/sec, 1025 secs
lola: 19022217 markings, 48264161 edges, 16841 markings/sec, 1030 secs
lola: 19106929 markings, 48516603 edges, 16942 markings/sec, 1035 secs
lola: 19191312 markings, 48770040 edges, 16877 markings/sec, 1040 secs
lola: 19289991 markings, 49005451 edges, 19736 markings/sec, 1045 secs
lola: 19451653 markings, 49198739 edges, 32332 markings/sec, 1050 secs
lola: 19560741 markings, 49409335 edges, 21818 markings/sec, 1055 secs
lola: 19681583 markings, 49603584 edges, 24168 markings/sec, 1060 secs
lola: 19790602 markings, 49814126 edges, 21804 markings/sec, 1065 secs
lola: 19905455 markings, 50017517 edges, 22971 markings/sec, 1070 secs
lola: 20016466 markings, 50223545 edges, 22202 markings/sec, 1075 secs
lola: 20127660 markings, 50432509 edges, 22239 markings/sec, 1080 secs
lola: 20241180 markings, 50635062 edges, 22704 markings/sec, 1085 secs
lola: 20350988 markings, 50842345 edges, 21962 markings/sec, 1090 secs
lola: 20470753 markings, 51039227 edges, 23953 markings/sec, 1095 secs
lola: 20580002 markings, 51247314 edges, 21850 markings/sec, 1100 secs
lola: 20696389 markings, 51448189 edges, 23277 markings/sec, 1105 secs
lola: 20805136 markings, 51656022 edges, 21749 markings/sec, 1110 secs
lola: 20921791 markings, 51855774 edges, 23331 markings/sec, 1115 secs
lola: 21030721 markings, 52064693 edges, 21786 markings/sec, 1120 secs
lola: 21149540 markings, 52261559 edges, 23764 markings/sec, 1125 secs
lola: 21257969 markings, 52470897 edges, 21686 markings/sec, 1130 secs
lola: 21374876 markings, 52669908 edges, 23381 markings/sec, 1135 secs
lola: 21483081 markings, 52878786 edges, 21641 markings/sec, 1140 secs
lola: 21599910 markings, 53076493 edges, 23366 markings/sec, 1145 secs
lola: 21708754 markings, 53286591 edges, 21769 markings/sec, 1150 secs
lola: 21825054 markings, 53487705 edges, 23260 markings/sec, 1155 secs
lola: 21936333 markings, 53692371 edges, 22256 markings/sec, 1160 secs
lola: 22045528 markings, 53898533 edges, 21839 markings/sec, 1165 secs
lola: 22161333 markings, 54100036 edges, 23161 markings/sec, 1170 secs
lola: 22270314 markings, 54305630 edges, 21796 markings/sec, 1175 secs
lola: 22386582 markings, 54507014 edges, 23254 markings/sec, 1180 secs
lola: 22495735 markings, 54714850 edges, 21831 markings/sec, 1185 secs
lola: 22615171 markings, 54909173 edges, 23887 markings/sec, 1190 secs
lola: 22718808 markings, 55107665 edges, 20727 markings/sec, 1195 secs
lola: 22832279 markings, 55306415 edges, 22694 markings/sec, 1200 secs
lola: 22939790 markings, 55513886 edges, 21502 markings/sec, 1205 secs
lola: 23056270 markings, 55710876 edges, 23296 markings/sec, 1210 secs
lola: 23164335 markings, 55919393 edges, 21613 markings/sec, 1215 secs
lola: 23284098 markings, 56111447 edges, 23953 markings/sec, 1220 secs
lola: 23392072 markings, 56319859 edges, 21595 markings/sec, 1225 secs
lola: 23504593 markings, 56523620 edges, 22504 markings/sec, 1230 secs
lola: 23614680 markings, 56727090 edges, 22017 markings/sec, 1235 secs
lola: 23722556 markings, 56931769 edges, 21575 markings/sec, 1240 secs
lola: 23838409 markings, 57132170 edges, 23171 markings/sec, 1245 secs
lola: 23947315 markings, 57337525 edges, 21781 markings/sec, 1250 secs
lola: 24066031 markings, 57532370 edges, 23743 markings/sec, 1255 secs
lola: 24174228 markings, 57738942 edges, 21639 markings/sec, 1260 secs
lola: 24289756 markings, 57937442 edges, 23106 markings/sec, 1265 secs
lola: 24397403 markings, 58144095 edges, 21529 markings/sec, 1270 secs
lola: 24512260 markings, 58344498 edges, 22971 markings/sec, 1275 secs
lola: 24620708 markings, 58553792 edges, 21690 markings/sec, 1280 secs
lola: 24741074 markings, 58747083 edges, 24073 markings/sec, 1285 secs
lola: 24849402 markings, 58956221 edges, 21666 markings/sec, 1290 secs
lola: 24965994 markings, 59154585 edges, 23318 markings/sec, 1295 secs
lola: 25074085 markings, 59363235 edges, 21618 markings/sec, 1300 secs
lola: 25188088 markings, 59563616 edges, 22801 markings/sec, 1305 secs
lola: 25321405 markings, 59704923 edges, 26663 markings/sec, 1310 secs
lola: 25455006 markings, 59846438 edges, 26720 markings/sec, 1315 secs
lola: 25553460 markings, 60037468 edges, 19691 markings/sec, 1320 secs
lola: 25655283 markings, 60245877 edges, 20365 markings/sec, 1325 secs
lola: 25758824 markings, 60451910 edges, 20708 markings/sec, 1330 secs
lola: 25857158 markings, 60668451 edges, 19667 markings/sec, 1335 secs
lola: 25941722 markings, 60914693 edges, 16913 markings/sec, 1340 secs
lola: 26022641 markings, 61166747 edges, 16184 markings/sec, 1345 secs
lola: 26103591 markings, 61418950 edges, 16190 markings/sec, 1350 secs
lola: 26184198 markings, 61670111 edges, 16121 markings/sec, 1355 secs
lola: 26264987 markings, 61921728 edges, 16158 markings/sec, 1360 secs
lola: 26356126 markings, 62153503 edges, 18228 markings/sec, 1365 secs
lola: 26436767 markings, 62404745 edges, 16128 markings/sec, 1370 secs
lola: 26517430 markings, 62655989 edges, 16133 markings/sec, 1375 secs
lola: 26597735 markings, 62906217 edges, 16061 markings/sec, 1380 secs
lola: 26678086 markings, 63156456 edges, 16070 markings/sec, 1385 secs
lola: 26762962 markings, 63398353 edges, 16975 markings/sec, 1390 secs
lola: 26849229 markings, 63637520 edges, 17253 markings/sec, 1395 secs
lola: 26929625 markings, 63887933 edges, 16079 markings/sec, 1400 secs
lola: 27009838 markings, 64137857 edges, 16043 markings/sec, 1405 secs
lola: 27089964 markings, 64387439 edges, 16025 markings/sec, 1410 secs
lola: 27170144 markings, 64637260 edges, 16036 markings/sec, 1415 secs
lola: 27274815 markings, 64856435 edges, 20934 markings/sec, 1420 secs
lola: 27382466 markings, 65064090 edges, 21530 markings/sec, 1425 secs
lola: 27488319 markings, 65272992 edges, 21171 markings/sec, 1430 secs
lola: 27594180 markings, 65480558 edges, 21172 markings/sec, 1435 secs
lola: 27701828 markings, 65687652 edges, 21530 markings/sec, 1440 secs
lola: 27807755 markings, 65895133 edges, 21185 markings/sec, 1445 secs
lola: 27914985 markings, 66101554 edges, 21446 markings/sec, 1450 secs
lola: 28021017 markings, 66309000 edges, 21206 markings/sec, 1455 secs
lola: 28127696 markings, 66514481 edges, 21336 markings/sec, 1460 secs
lola: 28233749 markings, 66722695 edges, 21211 markings/sec, 1465 secs
lola: 28339924 markings, 66928284 edges, 21235 markings/sec, 1470 secs
lola: 28446255 markings, 67135447 edges, 21266 markings/sec, 1475 secs
lola: 28552269 markings, 67340418 edges, 21203 markings/sec, 1480 secs
lola: 28658600 markings, 67547567 edges, 21266 markings/sec, 1485 secs
lola: 28764530 markings, 67752381 edges, 21186 markings/sec, 1490 secs
lola: 28871493 markings, 67960889 edges, 21393 markings/sec, 1495 secs
lola: 28977189 markings, 68167129 edges, 21139 markings/sec, 1500 secs
lola: 29085704 markings, 68332103 edges, 21703 markings/sec, 1505 secs
lola: 29183975 markings, 68516439 edges, 19654 markings/sec, 1510 secs
lola: 29282929 markings, 68700247 edges, 19791 markings/sec, 1515 secs
lola: 29394493 markings, 68902586 edges, 22313 markings/sec, 1520 secs
lola: 29503653 markings, 69107207 edges, 21832 markings/sec, 1525 secs
lola: 29614399 markings, 69309784 edges, 22149 markings/sec, 1530 secs
lola: 29723546 markings, 69513474 edges, 21829 markings/sec, 1535 secs
lola: 29833681 markings, 69716020 edges, 22027 markings/sec, 1540 secs
lola: 29941842 markings, 69918125 edges, 21632 markings/sec, 1545 secs
lola: 30042562 markings, 70113072 edges, 20144 markings/sec, 1550 secs
lola: 30151294 markings, 70330884 edges, 21746 markings/sec, 1555 secs
lola: 30258461 markings, 70543508 edges, 21433 markings/sec, 1560 secs
lola: 30364004 markings, 70755118 edges, 21109 markings/sec, 1565 secs
lola: 30451151 markings, 71005424 edges, 17429 markings/sec, 1570 secs
lola: 30535884 markings, 71259891 edges, 16947 markings/sec, 1575 secs
lola: 30621139 markings, 71513804 edges, 17051 markings/sec, 1580 secs
lola: 30705758 markings, 71767929 edges, 16924 markings/sec, 1585 secs
lola: 30790799 markings, 72021217 edges, 17008 markings/sec, 1590 secs
lola: 30875383 markings, 72275227 edges, 16917 markings/sec, 1595 secs
lola: 30960283 markings, 72528096 edges, 16980 markings/sec, 1600 secs
lola: 31044985 markings, 72782442 edges, 16940 markings/sec, 1605 secs
lola: 31129750 markings, 73034889 edges, 16953 markings/sec, 1610 secs
lola: 31214428 markings, 73289210 edges, 16936 markings/sec, 1615 secs
lola: 31298911 markings, 73540803 edges, 16897 markings/sec, 1620 secs
lola: 31383588 markings, 73795118 edges, 16935 markings/sec, 1625 secs
lola: 31467661 markings, 74046632 edges, 16815 markings/sec, 1630 secs
lola: 31552616 markings, 74300610 edges, 16991 markings/sec, 1635 secs
lola: 31636671 markings, 74553057 edges, 16811 markings/sec, 1640 secs
lola: 31721614 markings, 74806031 edges, 16989 markings/sec, 1645 secs
lola: 31805934 markings, 75059255 edges, 16864 markings/sec, 1650 secs
lola: 31904956 markings, 75283846 edges, 19804 markings/sec, 1655 secs
lola: 32010500 markings, 75495662 edges, 21109 markings/sec, 1660 secs
lola: 32097228 markings, 75746038 edges, 17346 markings/sec, 1665 secs
lola: 32181579 markings, 75999351 edges, 16870 markings/sec, 1670 secs
lola: 32266537 markings, 76252363 edges, 16992 markings/sec, 1675 secs
lola: 32350867 markings, 76505659 edges, 16866 markings/sec, 1680 secs
lola: 32435560 markings, 76757880 edges, 16939 markings/sec, 1685 secs
lola: 32519765 markings, 77010756 edges, 16841 markings/sec, 1690 secs
lola: 32604252 markings, 77262389 edges, 16897 markings/sec, 1695 secs
lola: 32688541 markings, 77515501 edges, 16858 markings/sec, 1700 secs
lola: 32772849 markings, 77766594 edges, 16862 markings/sec, 1705 secs
lola: 32857087 markings, 78019552 edges, 16848 markings/sec, 1710 secs
lola: 32941103 markings, 78269764 edges, 16803 markings/sec, 1715 secs
lola: 33025517 markings, 78523267 edges, 16883 markings/sec, 1720 secs
lola: 33109130 markings, 78774384 edges, 16723 markings/sec, 1725 secs
lola: 33193781 markings, 79026465 edges, 16930 markings/sec, 1730 secs
lola: 33277484 markings, 79277851 edges, 16741 markings/sec, 1735 secs
lola: 33362053 markings, 79529699 edges, 16914 markings/sec, 1740 secs
lola: 33446072 markings, 79782047 edges, 16804 markings/sec, 1745 secs
lola: 33543401 markings, 80008259 edges, 19466 markings/sec, 1750 secs
lola: 33648610 markings, 80219378 edges, 21042 markings/sec, 1755 secs
lola: 33736269 markings, 80465526 edges, 17532 markings/sec, 1760 secs
lola: 33820175 markings, 80717518 edges, 16781 markings/sec, 1765 secs
lola: 33904690 markings, 80969212 edges, 16903 markings/sec, 1770 secs
lola: 33988643 markings, 81221344 edges, 16791 markings/sec, 1775 secs
lola: 34072943 markings, 81472393 edges, 16860 markings/sec, 1780 secs
lola: 34156881 markings, 81724480 edges, 16788 markings/sec, 1785 secs
lola: 34241029 markings, 81975052 edges, 16830 markings/sec, 1790 secs
lola: 34325132 markings, 82227654 edges, 16821 markings/sec, 1795 secs
lola: 34409072 markings, 82477627 edges, 16788 markings/sec, 1800 secs
lola: 34493155 markings, 82730127 edges, 16817 markings/sec, 1805 secs
lola: 34576852 markings, 82979359 edges, 16739 markings/sec, 1810 secs
lola: 34661074 markings, 83232308 edges, 16844 markings/sec, 1815 secs
lola: 34744621 markings, 83483211 edges, 16709 markings/sec, 1820 secs
lola: 34828929 markings, 83734285 edges, 16862 markings/sec, 1825 secs
lola: 34912600 markings, 83985557 edges, 16734 markings/sec, 1830 secs
lola: 34996771 markings, 84236233 edges, 16834 markings/sec, 1835 secs
lola: 35080508 markings, 84487697 edges, 16747 markings/sec, 1840 secs
lola: 35175462 markings, 84715847 edges, 18991 markings/sec, 1845 secs
lola: 35275457 markings, 84910654 edges, 19999 markings/sec, 1850 secs
lola: 35381271 markings, 85115349 edges, 21163 markings/sec, 1855 secs
lola: 35483181 markings, 85323535 edges, 20382 markings/sec, 1860 secs
lola: 35576135 markings, 85554713 edges, 18591 markings/sec, 1865 secs
lola: 35657821 markings, 85806580 edges, 16337 markings/sec, 1870 secs
lola: 35739269 markings, 86057989 edges, 16290 markings/sec, 1875 secs
lola: 35820690 markings, 86309055 edges, 16284 markings/sec, 1880 secs
lola: 35901940 markings, 86559579 edges, 16250 markings/sec, 1885 secs
lola: 35992643 markings, 86792635 edges, 18141 markings/sec, 1890 secs
lola: 36075210 markings, 87041994 edges, 16513 markings/sec, 1895 secs
lola: 36156356 markings, 87292200 edges, 16229 markings/sec, 1900 secs
lola: 36237442 markings, 87542460 edges, 16217 markings/sec, 1905 secs
lola: 36318385 markings, 87792068 edges, 16189 markings/sec, 1910 secs
lola: 36399289 markings, 88041736 edges, 16181 markings/sec, 1915 secs
lola: 36490761 markings, 88271737 edges, 18294 markings/sec, 1920 secs
lola: 36571764 markings, 88521497 edges, 16201 markings/sec, 1925 secs
lola: 36652607 markings, 88770998 edges, 16169 markings/sec, 1930 secs
lola: 36733422 markings, 89020148 edges, 16163 markings/sec, 1935 secs
lola: 36814052 markings, 89268781 edges, 16126 markings/sec, 1940 secs
lola: 36928253 markings, 89501891 edges, 22840 markings/sec, 1945 secs
lola: 37027607 markings, 89689186 edges, 19871 markings/sec, 1950 secs
lola: 37127122 markings, 89874896 edges, 19903 markings/sec, 1955 secs
lola: 37235024 markings, 90071685 edges, 21580 markings/sec, 1960 secs
lola: 37344548 markings, 90276624 edges, 21905 markings/sec, 1965 secs
lola: 37455340 markings, 90479447 edges, 22158 markings/sec, 1970 secs
lola: 37564408 markings, 90684027 edges, 21814 markings/sec, 1975 secs
lola: 37674945 markings, 90886329 edges, 22107 markings/sec, 1980 secs
lola: 37783738 markings, 91090370 edges, 21759 markings/sec, 1985 secs
lola: 37884571 markings, 91281018 edges, 20167 markings/sec, 1990 secs
lola: 37993667 markings, 91499541 edges, 21819 markings/sec, 1995 secs
lola: 38101698 markings, 91713866 edges, 21606 markings/sec, 2000 secs
lola: 38207551 markings, 91926059 edges, 21171 markings/sec, 2005 secs
lola: 38301397 markings, 92161712 edges, 18769 markings/sec, 2010 secs
lola: 38385895 markings, 92415479 edges, 16900 markings/sec, 2015 secs
lola: 38470648 markings, 92667878 edges, 16951 markings/sec, 2020 secs
lola: 38555063 markings, 92921417 edges, 16883 markings/sec, 2025 secs
lola: 38639573 markings, 93173097 edges, 16902 markings/sec, 2030 secs
lola: 38724033 markings, 93426759 edges, 16892 markings/sec, 2035 secs
lola: 38808298 markings, 93677705 edges, 16853 markings/sec, 2040 secs
lola: 38892851 markings, 93931602 edges, 16911 markings/sec, 2045 secs
lola: 38976737 markings, 94183539 edges, 16777 markings/sec, 2050 secs
lola: 39061537 markings, 94436073 edges, 16960 markings/sec, 2055 secs
lola: 39145350 markings, 94687801 edges, 16763 markings/sec, 2060 secs
lola: 39229896 markings, 94939601 edges, 16909 markings/sec, 2065 secs
lola: 39313716 markings, 95191325 edges, 16764 markings/sec, 2070 secs
lola: 39398144 markings, 95442749 edges, 16886 markings/sec, 2075 secs
lola: 39482053 markings, 95694751 edges, 16782 markings/sec, 2080 secs
lola: 39566332 markings, 95945756 edges, 16856 markings/sec, 2085 secs
lola: 39650509 markings, 96198546 edges, 16835 markings/sec, 2090 secs
lola: 39740282 markings, 96438400 edges, 17955 markings/sec, 2095 secs
lola: 39845721 markings, 96649977 edges, 21088 markings/sec, 2100 secs
lola: 39940653 markings, 96881863 edges, 18986 markings/sec, 2105 secs
lola: 40024873 markings, 97134807 edges, 16844 markings/sec, 2110 secs
lola: 40109256 markings, 97386114 edges, 16877 markings/sec, 2115 secs
lola: 40193484 markings, 97639066 edges, 16846 markings/sec, 2120 secs
lola: 40277578 markings, 97889513 edges, 16819 markings/sec, 2125 secs
lola: 40361711 markings, 98142178 edges, 16827 markings/sec, 2130 secs
lola: 40445510 markings, 98391721 edges, 16760 markings/sec, 2135 secs
lola: 40529779 markings, 98644785 edges, 16854 markings/sec, 2140 secs
lola: 40613315 markings, 98895658 edges, 16707 markings/sec, 2145 secs
lola: 40697575 markings, 99146592 edges, 16852 markings/sec, 2150 secs
lola: 40781025 markings, 99397196 edges, 16690 markings/sec, 2155 secs
lola: 40865085 markings, 99647551 edges, 16812 markings/sec, 2160 secs
lola: 40948612 markings, 99898378 edges, 16705 markings/sec, 2165 secs
lola: 41032511 markings, 100148235 edges, 16780 markings/sec, 2170 secs
lola: 41116108 markings, 100399273 edges, 16719 markings/sec, 2175 secs
lola: 41199867 markings, 100648739 edges, 16752 markings/sec, 2180 secs
lola: 41283785 markings, 100900739 edges, 16784 markings/sec, 2185 secs
lola: 41369928 markings, 101145291 edges, 17229 markings/sec, 2190 secs
lola: 41475070 markings, 101356275 edges, 21028 markings/sec, 2195 secs
lola: 41572624 markings, 101580176 edges, 19511 markings/sec, 2200 secs
lola: 41656507 markings, 101832069 edges, 16777 markings/sec, 2205 secs
lola: 41740266 markings, 102081506 edges, 16752 markings/sec, 2210 secs
lola: 41824242 markings, 102333691 edges, 16795 markings/sec, 2215 secs
lola: 41907870 markings, 102582728 edges, 16726 markings/sec, 2220 secs
lola: 41991822 markings, 102834860 edges, 16790 markings/sec, 2225 secs
lola: 42075097 markings, 103084963 edges, 16655 markings/sec, 2230 secs
lola: 42159208 markings, 103335424 edges, 16822 markings/sec, 2235 secs
lola: 42242617 markings, 103585941 edges, 16682 markings/sec, 2240 secs
lola: 42326488 markings, 103835712 edges, 16774 markings/sec, 2245 secs
lola: 42409880 markings, 104086132 edges, 16678 markings/sec, 2250 secs
lola: 42493616 markings, 104335485 edges, 16747 markings/sec, 2255 secs
lola: 42577104 markings, 104586235 edges, 16698 markings/sec, 2260 secs
lola: 42660697 markings, 104835167 edges, 16719 markings/sec, 2265 secs
lola: 42744334 markings, 105086350 edges, 16727 markings/sec, 2270 secs
lola: 42827760 markings, 105334769 edges, 16685 markings/sec, 2275 secs
lola: 42911551 markings, 105586407 edges, 16758 markings/sec, 2280 secs
lola: 42994681 markings, 105836058 edges, 16626 markings/sec, 2285 secs
lola: 43093891 markings, 106036597 edges, 19842 markings/sec, 2290 secs
lola: 43198128 markings, 106237139 edges, 20847 markings/sec, 2295 secs
lola: 43301788 markings, 106440716 edges, 20732 markings/sec, 2300 secs
lola: 43402628 markings, 106650337 edges, 20168 markings/sec, 2305 secs
lola: 43486568 markings, 106894300 edges, 16788 markings/sec, 2310 secs
lola: 43567202 markings, 107143208 edges, 16127 markings/sec, 2315 secs
lola: 43647918 markings, 107392070 edges, 16143 markings/sec, 2320 secs
lola: 43728308 markings, 107639942 edges, 16078 markings/sec, 2325 secs
lola: 43808827 markings, 107888479 edges, 16104 markings/sec, 2330 secs
lola: 43899901 markings, 108117202 edges, 18215 markings/sec, 2335 secs
lola: 43980383 markings, 108365351 edges, 16096 markings/sec, 2340 secs
lola: 44060819 markings, 108613637 edges, 16087 markings/sec, 2345 secs
lola: 44140973 markings, 108860707 edges, 16031 markings/sec, 2350 secs
lola: 44221025 markings, 109107817 edges, 16010 markings/sec, 2355 secs
lola: 44305647 markings, 109346596 edges, 16924 markings/sec, 2360 secs
lola: 44391837 markings, 109582379 edges, 17238 markings/sec, 2365 secs
lola: 44471936 markings, 109829609 edges, 16020 markings/sec, 2370 secs
lola: 44551935 markings, 110076284 edges, 16000 markings/sec, 2375 secs
lola: 44631814 markings, 110322830 edges, 15976 markings/sec, 2380 secs
lola: 44711799 markings, 110569435 edges, 15997 markings/sec, 2385 secs
lola: 44826959 markings, 110784431 edges, 23032 markings/sec, 2390 secs
lola: 44925399 markings, 110971200 edges, 19688 markings/sec, 2395 secs
lola: 45023556 markings, 111158301 edges, 19631 markings/sec, 2400 secs
lola: 45133235 markings, 111360066 edges, 21936 markings/sec, 2405 secs
lola: 45242522 markings, 111562893 edges, 21857 markings/sec, 2410 secs
lola: 45352523 markings, 111765927 edges, 22000 markings/sec, 2415 secs
lola: 45461477 markings, 111968472 edges, 21791 markings/sec, 2420 secs
lola: 45571221 markings, 112170988 edges, 21949 markings/sec, 2425 secs
lola: 45679824 markings, 112372827 edges, 21721 markings/sec, 2430 secs
lola: 45780845 markings, 112565550 edges, 20204 markings/sec, 2435 secs
lola: 45889314 markings, 112782857 edges, 21694 markings/sec, 2440 secs
lola: 45996599 markings, 112995723 edges, 21457 markings/sec, 2445 secs
lola: 46102028 markings, 113207064 edges, 21086 markings/sec, 2450 secs
lola: 46190888 markings, 113451282 edges, 17772 markings/sec, 2455 secs
lola: 46274949 markings, 113703729 edges, 16812 markings/sec, 2460 secs
lola: 46359474 markings, 113955472 edges, 16905 markings/sec, 2465 secs
lola: 46443465 markings, 114207714 edges, 16798 markings/sec, 2470 secs
lola: 46527750 markings, 114458724 edges, 16857 markings/sec, 2475 secs
lola: 46611685 markings, 114710791 edges, 16787 markings/sec, 2480 secs
lola: 46695791 markings, 114961241 edges, 16821 markings/sec, 2485 secs
lola: 46779873 markings, 115213774 edges, 16816 markings/sec, 2490 secs
lola: 46863737 markings, 115463518 edges, 16773 markings/sec, 2495 secs
lola: 46947812 markings, 115716012 edges, 16815 markings/sec, 2500 secs
lola: 47031148 markings, 115966280 edges, 16667 markings/sec, 2505 secs
lola: 47115504 markings, 116217504 edges, 16871 markings/sec, 2510 secs
lola: 47198886 markings, 116467904 edges, 16676 markings/sec, 2515 secs
lola: 47283058 markings, 116718560 edges, 16834 markings/sec, 2520 secs
lola: 47366569 markings, 116969385 edges, 16702 markings/sec, 2525 secs
lola: 47450612 markings, 117219666 edges, 16809 markings/sec, 2530 secs
lola: 47534354 markings, 117471145 edges, 16748 markings/sec, 2535 secs
lola: 47627145 markings, 117704165 edges, 18558 markings/sec, 2540 secs
lola: 47732228 markings, 117915042 edges, 21017 markings/sec, 2545 secs
lola: 47823788 markings, 118152362 edges, 18312 markings/sec, 2550 secs
lola: 47907519 markings, 118403812 edges, 16746 markings/sec, 2555 secs
lola: 47991674 markings, 118654423 edges, 16831 markings/sec, 2560 secs
lola: 48075481 markings, 118906109 edges, 16761 markings/sec, 2565 secs
lola: 48159342 markings, 119155838 edges, 16772 markings/sec, 2570 secs
lola: 48243045 markings, 119407228 edges, 16741 markings/sec, 2575 secs
lola: 48326580 markings, 119655971 edges, 16707 markings/sec, 2580 secs
lola: 48410417 markings, 119907768 edges, 16767 markings/sec, 2585 secs
lola: 48493528 markings, 120157362 edges, 16622 markings/sec, 2590 secs
lola: 48577479 markings, 120407355 edges, 16790 markings/sec, 2595 secs
lola: 48660424 markings, 120656463 edges, 16589 markings/sec, 2600 secs
lola: 48744211 markings, 120905971 edges, 16757 markings/sec, 2605 secs
lola: 48827307 markings, 121155515 edges, 16619 markings/sec, 2610 secs
lola: 48910897 markings, 121404467 edges, 16718 markings/sec, 2615 secs
lola: 48994030 markings, 121654126 edges, 16627 markings/sec, 2620 secs
lola: 49077477 markings, 121902626 edges, 16689 markings/sec, 2625 secs
lola: 49161005 markings, 122153454 edges, 16706 markings/sec, 2630 secs
lola: 49248373 markings, 122394151 edges, 17474 markings/sec, 2635 secs
lola: 49353123 markings, 122604365 edges, 20950 markings/sec, 2640 secs
lola: 49449028 markings, 122830424 edges, 19181 markings/sec, 2645 secs
lola: 49532509 markings, 123081141 edges, 16696 markings/sec, 2650 secs
lola: 49615995 markings, 123329733 edges, 16697 markings/sec, 2655 secs
lola: 49699537 markings, 123580632 edges, 16708 markings/sec, 2660 secs
lola: 49782823 markings, 123828633 edges, 16657 markings/sec, 2665 secs
lola: 49866426 markings, 124079714 edges, 16721 markings/sec, 2670 secs
lola: 49949332 markings, 124328697 edges, 16581 markings/sec, 2675 secs
lola: 50033100 markings, 124578137 edges, 16754 markings/sec, 2680 secs
lola: 50116156 markings, 124827585 edges, 16611 markings/sec, 2685 secs
lola: 50199735 markings, 125076480 edges, 16716 markings/sec, 2690 secs
lola: 50282771 markings, 125325844 edges, 16607 markings/sec, 2695 secs
lola: 50366180 markings, 125574229 edges, 16682 markings/sec, 2700 secs
lola: 50449340 markings, 125823974 edges, 16632 markings/sec, 2705 secs
lola: 50532636 markings, 126072008 edges, 16659 markings/sec, 2710 secs
lola: 50615919 markings, 126322119 edges, 16657 markings/sec, 2715 secs
lola: 50698965 markings, 126569426 edges, 16609 markings/sec, 2720 secs
lola: 50782397 markings, 126819972 edges, 16686 markings/sec, 2725 secs
lola: 50865173 markings, 127068585 edges, 16555 markings/sec, 2730 secs
lola: 50963926 markings, 127268551 edges, 19751 markings/sec, 2735 secs
lola: 51067590 markings, 127467874 edges, 20733 markings/sec, 2740 secs
lola: 51170872 markings, 127671099 edges, 20656 markings/sec, 2745 secs
lola: 51271332 markings, 127879452 edges, 20092 markings/sec, 2750 secs
lola: 51355415 markings, 128121702 edges, 16817 markings/sec, 2755 secs
lola: 51435746 markings, 128369634 edges, 16066 markings/sec, 2760 secs
lola: 51516127 markings, 128617464 edges, 16076 markings/sec, 2765 secs
lola: 51596138 markings, 128864208 edges, 16002 markings/sec, 2770 secs
lola: 51676340 markings, 129111731 edges, 16040 markings/sec, 2775 secs
lola: 51767034 markings, 129339285 edges, 18139 markings/sec, 2780 secs
lola: 51847181 markings, 129586650 edges, 16029 markings/sec, 2785 secs
lola: 51927164 markings, 129833270 edges, 15997 markings/sec, 2790 secs
lola: 52006892 markings, 130079055 edges, 15946 markings/sec, 2795 secs
lola: 52086567 markings, 130325005 edges, 15935 markings/sec, 2800 secs
lola: 52169349 markings, 130565253 edges, 16556 markings/sec, 2805 secs
lola: 52256631 markings, 130797516 edges, 17456 markings/sec, 2810 secs
lola: 52336466 markings, 131043684 edges, 15967 markings/sec, 2815 secs
lola: 52416048 markings, 131289039 edges, 15916 markings/sec, 2820 secs
lola: 52495588 markings, 131534533 edges, 15908 markings/sec, 2825 secs
lola: 52575088 markings, 131779654 edges, 15900 markings/sec, 2830 secs
lola: 52694805 markings, 131995225 edges, 23943 markings/sec, 2835 secs
lola: 52839875 markings, 132150359 edges, 29014 markings/sec, 2840 secs
lola: 52983725 markings, 132302743 edges, 28770 markings/sec, 2845 secs
lola: 53127203 markings, 132453975 edges, 28696 markings/sec, 2850 secs
lola: 53275746 markings, 132622927 edges, 29709 markings/sec, 2855 secs
lola: 53420192 markings, 132819314 edges, 28889 markings/sec, 2860 secs
lola: 53529939 markings, 133024460 edges, 21949 markings/sec, 2865 secs
lola: 53644628 markings, 133225729 edges, 22938 markings/sec, 2870 secs
lola: 53752287 markings, 133433509 edges, 21532 markings/sec, 2875 secs
lola: 53868456 markings, 133631008 edges, 23234 markings/sec, 2880 secs
lola: 53975861 markings, 133838267 edges, 21481 markings/sec, 2885 secs
lola: 54091961 markings, 134034485 edges, 23220 markings/sec, 2890 secs
lola: 54199995 markings, 134242939 edges, 21607 markings/sec, 2895 secs
lola: 54314539 markings, 134443446 edges, 22909 markings/sec, 2900 secs
lola: 54423847 markings, 134648243 edges, 21862 markings/sec, 2905 secs
lola: 54533793 markings, 134855380 edges, 21989 markings/sec, 2910 secs
lola: 54645662 markings, 135055055 edges, 22374 markings/sec, 2915 secs
lola: 54753765 markings, 135258908 edges, 21621 markings/sec, 2920 secs
lola: 54869326 markings, 135458805 edges, 23112 markings/sec, 2925 secs
lola: 54977648 markings, 135664996 edges, 21664 markings/sec, 2930 secs
lola: 55093232 markings, 135864183 edges, 23117 markings/sec, 2935 secs
lola: 55201403 markings, 136069980 edges, 21634 markings/sec, 2940 secs
lola: 55316600 markings, 136268530 edges, 23039 markings/sec, 2945 secs
lola: 55424078 markings, 136474867 edges, 21496 markings/sec, 2950 secs
lola: 55538484 markings, 136674327 edges, 22881 markings/sec, 2955 secs
lola: 55645968 markings, 136881666 edges, 21497 markings/sec, 2960 secs
lola: 55761989 markings, 137078851 edges, 23204 markings/sec, 2965 secs
lola: 55869197 markings, 137285709 edges, 21442 markings/sec, 2970 secs
lola: 55984849 markings, 137482163 edges, 23130 markings/sec, 2975 secs
lola: 56091789 markings, 137688473 edges, 21388 markings/sec, 2980 secs
lola: 56206715 markings, 137884442 edges, 22985 markings/sec, 2985 secs
lola: 56315096 markings, 138091464 edges, 21676 markings/sec, 2990 secs
lola: 56426268 markings, 138297445 edges, 22234 markings/sec, 2995 secs
lola: 56537121 markings, 138498677 edges, 22171 markings/sec, 3000 secs
lola: 56645301 markings, 138702728 edges, 21636 markings/sec, 3005 secs
lola: 56759980 markings, 138901981 edges, 22936 markings/sec, 3010 secs
lola: 56867412 markings, 139106452 edges, 21486 markings/sec, 3015 secs
lola: 56982967 markings, 139304366 edges, 23111 markings/sec, 3020 secs
lola: 57090997 markings, 139509825 edges, 21606 markings/sec, 3025 secs
lola: 57206073 markings, 139708111 edges, 23015 markings/sec, 3030 secs
lola: 57313392 markings, 139914128 edges, 21464 markings/sec, 3035 secs
lola: 57427144 markings, 140113412 edges, 22750 markings/sec, 3040 secs
lola: 57533829 markings, 140319205 edges, 21337 markings/sec, 3045 secs
lola: 57649588 markings, 140514724 edges, 23152 markings/sec, 3050 secs
lola: 57756828 markings, 140721563 edges, 21448 markings/sec, 3055 secs
lola: 57872483 markings, 140918002 edges, 23131 markings/sec, 3060 secs
lola: 57979501 markings, 141124473 edges, 21404 markings/sec, 3065 secs
lola: 58094102 markings, 141321201 edges, 22920 markings/sec, 3070 secs
lola: 58201580 markings, 141526184 edges, 21496 markings/sec, 3075 secs
lola: 58311292 markings, 141731023 edges, 21942 markings/sec, 3080 secs
lola: 58423420 markings, 141931867 edges, 22426 markings/sec, 3085 secs
lola: 58532297 markings, 142137249 edges, 21775 markings/sec, 3090 secs
lola: 58647637 markings, 142337879 edges, 23068 markings/sec, 3095 secs
lola: 58755742 markings, 142543704 edges, 21621 markings/sec, 3100 secs
lola: 58871159 markings, 142742531 edges, 23083 markings/sec, 3105 secs
lola: 58979093 markings, 142947863 edges, 21587 markings/sec, 3110 secs
lola: 59093529 markings, 143148749 edges, 22887 markings/sec, 3115 secs
lola: 59200577 markings, 143356450 edges, 21410 markings/sec, 3120 secs
lola: 59305843 markings, 143566158 edges, 21053 markings/sec, 3125 secs
lola: 59412581 markings, 143773194 edges, 21348 markings/sec, 3130 secs
lola: 59517680 markings, 143982537 edges, 21020 markings/sec, 3135 secs
lola: 59624304 markings, 144189324 edges, 21325 markings/sec, 3140 secs
lola: 59729221 markings, 144398280 edges, 20983 markings/sec, 3145 secs
lola: 59835710 markings, 144604763 edges, 21298 markings/sec, 3150 secs
lola: 59940549 markings, 144813546 edges, 20968 markings/sec, 3155 secs
lola: 60046974 markings, 145019896 edges, 21285 markings/sec, 3160 secs
lola: 60151679 markings, 145228407 edges, 20941 markings/sec, 3165 secs
lola: 60257914 markings, 145434333 edges, 21247 markings/sec, 3170 secs
lola: 60362498 markings, 145642573 edges, 20917 markings/sec, 3175 secs
lola: 60468715 markings, 145848457 edges, 21243 markings/sec, 3180 secs
lola: 60573525 markings, 146057205 edges, 20962 markings/sec, 3185 secs
lola: 60680330 markings, 146264357 edges, 21361 markings/sec, 3190 secs
lola: 60802477 markings, 146446456 edges, 24429 markings/sec, 3195 secs
lola: 60948639 markings, 146605639 edges, 29232 markings/sec, 3200 secs
lola: 61109142 markings, 146784277 edges, 32101 markings/sec, 3205 secs
lola: 61216908 markings, 146992184 edges, 21553 markings/sec, 3210 secs
lola: 61328990 markings, 147196027 edges, 22416 markings/sec, 3215 secs
lola: 61438760 markings, 147399044 edges, 21954 markings/sec, 3220 secs
lola: 61546850 markings, 147602942 edges, 21618 markings/sec, 3225 secs
lola: 61661518 markings, 147802143 edges, 22934 markings/sec, 3230 secs
lola: 61769433 markings, 148005535 edges, 21583 markings/sec, 3235 secs
lola: 61884420 markings, 148204357 edges, 22997 markings/sec, 3240 secs
lola: 61992350 markings, 148409634 edges, 21586 markings/sec, 3245 secs
lola: 62107400 markings, 148607845 edges, 23010 markings/sec, 3250 secs
lola: 62214647 markings, 148813754 edges, 21449 markings/sec, 3255 secs
lola: 62328374 markings, 149012943 edges, 22745 markings/sec, 3260 secs
lola: 62435835 markings, 149217229 edges, 21492 markings/sec, 3265 secs
lola: 62550641 markings, 149413895 edges, 22961 markings/sec, 3270 secs
lola: 62657901 markings, 149620776 edges, 21452 markings/sec, 3275 secs
lola: 62773607 markings, 149817314 edges, 23141 markings/sec, 3280 secs
lola: 62880657 markings, 150023851 edges, 21410 markings/sec, 3285 secs
lola: 62995933 markings, 150219544 edges, 23055 markings/sec, 3290 secs
lola: 63102813 markings, 150425728 edges, 21376 markings/sec, 3295 secs
lola: 63213457 markings, 150628995 edges, 22129 markings/sec, 3300 secs
lola: 63323935 markings, 150829940 edges, 22096 markings/sec, 3305 secs
lola: 63431895 markings, 151033467 edges, 21592 markings/sec, 3310 secs
lola: 63546377 markings, 151232343 edges, 22896 markings/sec, 3315 secs
lola: 63653624 markings, 151436422 edges, 21449 markings/sec, 3320 secs
lola: 63768167 markings, 151633469 edges, 22909 markings/sec, 3325 secs
lola: 63875226 markings, 151836997 edges, 21412 markings/sec, 3330 secs
lola: 63989820 markings, 152033791 edges, 22919 markings/sec, 3335 secs
lola: 64097246 markings, 152239273 edges, 21485 markings/sec, 3340 secs
lola: 64210895 markings, 152438380 edges, 22730 markings/sec, 3345 secs
lola: 64317487 markings, 152643985 edges, 21318 markings/sec, 3350 secs
lola: 64432651 markings, 152839442 edges, 23033 markings/sec, 3355 secs
lola: 64539058 markings, 153044670 edges, 21281 markings/sec, 3360 secs
lola: 64654092 markings, 153238723 edges, 23007 markings/sec, 3365 secs
lola: 64761060 markings, 153445008 edges, 21394 markings/sec, 3370 secs
lola: 64873181 markings, 153645103 edges, 22424 markings/sec, 3375 secs
lola: 64982090 markings, 153847314 edges, 21782 markings/sec, 3380 secs
lola: 65088633 markings, 154050967 edges, 21309 markings/sec, 3385 secs
lola: 65202514 markings, 154248550 edges, 22776 markings/sec, 3390 secs
lola: 65309637 markings, 154450323 edges, 21425 markings/sec, 3395 secs
lola: 65424003 markings, 154647882 edges, 22873 markings/sec, 3400 secs
lola: 65531404 markings, 154852070 edges, 21480 markings/sec, 3405 secs
lola: 65645890 markings, 155049144 edges, 22897 markings/sec, 3410 secs
lola: 65752550 markings, 155253834 edges, 21332 markings/sec, 3415 secs
lola: 65865709 markings, 155451898 edges, 22632 markings/sec, 3420 secs
lola: 65971749 markings, 155656381 edges, 21208 markings/sec, 3425 secs
lola: 66087131 markings, 155851136 edges, 23076 markings/sec, 3430 secs
lola: 66194713 markings, 156058675 edges, 21516 markings/sec, 3435 secs
lola: 66310682 markings, 156255750 edges, 23194 markings/sec, 3440 secs
lola: 66418048 markings, 156462929 edges, 21473 markings/sec, 3445 secs
lola: 66532963 markings, 156660417 edges, 22983 markings/sec, 3450 secs
lola: 66640810 markings, 156866036 edges, 21569 markings/sec, 3455 secs
lola: 66751050 markings, 157071162 edges, 22048 markings/sec, 3460 secs
lola: 66862129 markings, 157270462 edges, 22216 markings/sec, 3465 secs
lola: 66966585 markings, 157478150 edges, 20891 markings/sec, 3470 secs
lola: 67072747 markings, 157684191 edges, 21232 markings/sec, 3475 secs
lola: 67176664 markings, 157891657 edges, 20783 markings/sec, 3480 secs
lola: 67282974 markings, 158097083 edges, 21262 markings/sec, 3485 secs
lola: 67386926 markings, 158304625 edges, 20790 markings/sec, 3490 secs
lola: 67493018 markings, 158509573 edges, 21218 markings/sec, 3495 secs
lola: 67596705 markings, 158716543 edges, 20737 markings/sec, 3500 secs
lola: 67702618 markings, 158921096 edges, 21183 markings/sec, 3505 secs
lola: 67806248 markings, 159127946 edges, 20726 markings/sec, 3510 secs
lola: 67911922 markings, 159331992 edges, 21135 markings/sec, 3515 secs
lola: 68015233 markings, 159538143 edges, 20662 markings/sec, 3520 secs
lola: 68120772 markings, 159741887 edges, 21108 markings/sec, 3525 secs
lola: 68224202 markings, 159948306 edges, 20686 markings/sec, 3530 secs
lola: 68329362 markings, 160154591 edges, 21032 markings/sec, 3535 secs
lola: 68433973 markings, 160362075 edges, 20922 markings/sec, 3540 secs
lola: 68564600 markings, 160529223 edges, 26125 markings/sec, 3545 secs
lola: 68710371 markings, 160691896 edges, 29154 markings/sec, 3550 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p194)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p194)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown
lola: lola: caught signal User defined signal 1 - aborting LoLA

preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown
lola: memory consumption: 43028 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown
lola: memory consumption: 43092 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

BK_STOP 1552621111886

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory

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="ASLink-PT-08a"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
echo " Executing tool lola"
echo " Input is ASLink-PT-08a, 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 r005-smll-155225009000137"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-08a.tgz
mv ASLink-PT-08a execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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 ;