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.r077-smll-155234766400034.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 win2018
Input is EGFr-PT-10421, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r077-smll-155234766400034
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 868K
-rw-r--r-- 1 mcc users 4.0K Feb 10 23:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 10 23:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Feb 6 20:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 6 20:46 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.9K Feb 4 23:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 4 23:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.5K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 3 08:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 3 08:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Jan 31 00:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 25K Jan 31 00:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw------- 1 mcc users 672K 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 EGFr-PT-10421-UpperBounds-00
FORMULA_NAME EGFr-PT-10421-UpperBounds-01
FORMULA_NAME EGFr-PT-10421-UpperBounds-02
FORMULA_NAME EGFr-PT-10421-UpperBounds-03
FORMULA_NAME EGFr-PT-10421-UpperBounds-04
FORMULA_NAME EGFr-PT-10421-UpperBounds-05
FORMULA_NAME EGFr-PT-10421-UpperBounds-06
FORMULA_NAME EGFr-PT-10421-UpperBounds-07
FORMULA_NAME EGFr-PT-10421-UpperBounds-08
FORMULA_NAME EGFr-PT-10421-UpperBounds-09
FORMULA_NAME EGFr-PT-10421-UpperBounds-10
FORMULA_NAME EGFr-PT-10421-UpperBounds-11
FORMULA_NAME EGFr-PT-10421-UpperBounds-12
FORMULA_NAME EGFr-PT-10421-UpperBounds-13
FORMULA_NAME EGFr-PT-10421-UpperBounds-14
FORMULA_NAME EGFr-PT-10421-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552415657968

info: Time: 3600 - MCC
===========================================================================================
prep: translating EGFr-PT-10421 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating EGFr-PT-10421 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ EGFr-PT-10421 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 586/65536 symbol table entries, 1 collisions
lola: preprocessing...
lola: Size of bit vector: 6656
lola: finding significant places
lola: 208 places, 378 transitions, 76 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 731 transition conflict sets
lola: TASK
lola: reading formula from EGFr-PT-10421-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (btc_equals_0 <= 0)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (btc_equals_1 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (mtorr_equals_0 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (epr_equals_0 <= 0)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (ar_equals_1 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (nrg1b_equals_0 <= 0)
lola: after: (0 <= 0)
lola: always true
lola: MAX(vav2_equals_1) : MAX(0) : MAX(pi34p2_equals_0) : MAX(0) : MAX(actin_reorg_equals_1) : MAX(0) : MAX(pak1_equals_1) : MAX(0) : MAX(nucerk12_equals_1) : MAX(mekk1_equals_0) : MAX(0) : MAX(0) : MAX(shp2_equals_1) : MAX(ip3_equals_0) : MAX(gsk3_equals_0) : MAX(raf1_equals_1)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 0
lola: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: 0 markings, 0 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-1 0 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

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

FORMULA EGFr-PT-10421-UpperBounds-7 0 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

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

FORMULA EGFr-PT-10421-UpperBounds-11 0 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pak1_equals_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pak1_equals_1)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 10 markings, 9 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(vav2_equals_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(vav2_equals_1)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 6 markings, 5 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(nucerk12_equals_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(nucerk12_equals_1)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 12 markings, 11 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(mekk1_equals_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(mekk1_equals_0)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(actin_reorg_equals_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(actin_reorg_equals_1)
lola: processed formula length: 25
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 12 markings, 11 edges
lola: ========================================
FORMULA EGFr-PT-10421-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pi34p2_equals_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pi34p2_equals_0)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================


FORMULA EGFr-PT-10421-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(shp2_equals_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(shp2_equals_1)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ip3_equals_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ip3_equals_0)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1784 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(gsk3_equals_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(gsk3_equals_0)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3569 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(raf1_equals_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(raf1_equals_1)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 346558 markings, 1203546 edges, 69312 markings/sec, 0 secs
lola: 710240 markings, 2467952 edges, 72736 markings/sec, 5 secs
lola: 1070803 markings, 3723152 edges, 72113 markings/sec, 10 secs
lola: 1435146 markings, 4994221 edges, 72869 markings/sec, 15 secs
lola: 1797520 markings, 6254746 edges, 72475 markings/sec, 20 secs
lola: 2160911 markings, 7519387 edges, 72678 markings/sec, 25 secs
lola: 2522264 markings, 8776430 edges, 72271 markings/sec, 30 secs
lola: 2880225 markings, 10023192 edges, 71592 markings/sec, 35 secs
lola: 3239443 markings, 11278070 edges, 71844 markings/sec, 40 secs
lola: 3599310 markings, 12531063 edges, 71973 markings/sec, 45 secs
lola: 3956246 markings, 13771916 edges, 71387 markings/sec, 50 secs
lola: 4310024 markings, 15004870 edges, 70756 markings/sec, 55 secs
lola: 4667035 markings, 16252545 edges, 71402 markings/sec, 60 secs
lola: 5023338 markings, 17496533 edges, 71261 markings/sec, 65 secs
lola: 5379706 markings, 18736028 edges, 71274 markings/sec, 70 secs
lola: 5735774 markings, 19976346 edges, 71214 markings/sec, 75 secs
lola: 6093629 markings, 21222691 edges, 71571 markings/sec, 80 secs
lola: 6454144 markings, 22476747 edges, 72103 markings/sec, 85 secs
lola: 6814032 markings, 23729852 edges, 71978 markings/sec, 90 secs
lola: 7170233 markings, 24969211 edges, 71240 markings/sec, 95 secs
lola: 7529178 markings, 26219447 edges, 71789 markings/sec, 100 secs
lola: 7884343 markings, 27459238 edges, 71033 markings/sec, 105 secs
lola: 8247254 markings, 28724231 edges, 72582 markings/sec, 110 secs
lola: 8607730 markings, 29977340 edges, 72095 markings/sec, 115 secs
lola: 8966078 markings, 31227206 edges, 71670 markings/sec, 120 secs
lola: 9323428 markings, 32471380 edges, 71470 markings/sec, 125 secs
lola: 9683034 markings, 33722223 edges, 71921 markings/sec, 130 secs
lola: 10040122 markings, 34966667 edges, 71418 markings/sec, 135 secs
lola: 10398220 markings, 36211764 edges, 71620 markings/sec, 140 secs
lola: 10754513 markings, 37452363 edges, 71259 markings/sec, 145 secs
lola: 11109349 markings, 38688707 edges, 70967 markings/sec, 150 secs
lola: 11463656 markings, 39925904 edges, 70861 markings/sec, 155 secs
lola: 11820812 markings, 41167894 edges, 71431 markings/sec, 160 secs
lola: 12176998 markings, 42403388 edges, 71237 markings/sec, 165 secs
lola: 12531968 markings, 43642393 edges, 70994 markings/sec, 170 secs
lola: 12886344 markings, 44875231 edges, 70875 markings/sec, 175 secs
lola: 13238968 markings, 46103579 edges, 70525 markings/sec, 180 secs
lola: 13592171 markings, 47332979 edges, 70641 markings/sec, 185 secs
lola: 13943714 markings, 48556716 edges, 70309 markings/sec, 190 secs
lola: 14299036 markings, 49791334 edges, 71064 markings/sec, 195 secs
lola: 14654865 markings, 51031080 edges, 71166 markings/sec, 200 secs
lola: 15011668 markings, 52276442 edges, 71361 markings/sec, 205 secs
lola: 15365422 markings, 53507343 edges, 70751 markings/sec, 210 secs
lola: 15719699 markings, 54740544 edges, 70855 markings/sec, 215 secs
lola: 16072919 markings, 55968127 edges, 70644 markings/sec, 220 secs
lola: 16423981 markings, 57189815 edges, 70212 markings/sec, 225 secs
lola: 16776266 markings, 58420914 edges, 70457 markings/sec, 230 secs
lola: 17129105 markings, 59652750 edges, 70568 markings/sec, 235 secs
lola: 17484804 markings, 60892695 edges, 71140 markings/sec, 240 secs
lola: 17840304 markings, 62131446 edges, 71100 markings/sec, 245 secs
lola: 18194560 markings, 63363262 edges, 70851 markings/sec, 250 secs
lola: 18547135 markings, 64591685 edges, 70515 markings/sec, 255 secs
lola: 18898074 markings, 65815063 edges, 70188 markings/sec, 260 secs
lola: 19251262 markings, 67044764 edges, 70638 markings/sec, 265 secs
lola: 19607937 markings, 68284703 edges, 71335 markings/sec, 270 secs
lola: 19962090 markings, 69517704 edges, 70831 markings/sec, 275 secs
lola: 20320102 markings, 70764469 edges, 71602 markings/sec, 280 secs
lola: 20677482 markings, 72008882 edges, 71476 markings/sec, 285 secs
lola: 21033672 markings, 73247453 edges, 71238 markings/sec, 290 secs
lola: 21388551 markings, 74484082 edges, 70976 markings/sec, 295 secs
lola: 21741604 markings, 75713172 edges, 70611 markings/sec, 300 secs
lola: 22091800 markings, 76934412 edges, 70039 markings/sec, 305 secs
lola: 22445065 markings, 78165021 edges, 70653 markings/sec, 310 secs
lola: 22797095 markings, 79390340 edges, 70406 markings/sec, 315 secs
lola: 23149598 markings, 80618135 edges, 70501 markings/sec, 320 secs
lola: 23501019 markings, 81843912 edges, 70284 markings/sec, 325 secs
lola: 23855086 markings, 83077225 edges, 70813 markings/sec, 330 secs
lola: 24212736 markings, 84321302 edges, 71530 markings/sec, 335 secs
lola: 24567106 markings, 85558456 edges, 70874 markings/sec, 340 secs
lola: 24925728 markings, 86809875 edges, 71724 markings/sec, 345 secs
lola: 25285216 markings, 88060844 edges, 71898 markings/sec, 350 secs
lola: 25638682 markings, 89291141 edges, 70693 markings/sec, 355 secs
lola: 25995320 markings, 90535227 edges, 71328 markings/sec, 360 secs
lola: 26349738 markings, 91768688 edges, 70884 markings/sec, 365 secs
lola: 26702994 markings, 93002135 edges, 70651 markings/sec, 370 secs
lola: 27062548 markings, 94252698 edges, 71911 markings/sec, 375 secs
lola: 27423250 markings, 95512309 edges, 72140 markings/sec, 380 secs
lola: 27782024 markings, 96763641 edges, 71755 markings/sec, 385 secs
lola: 28147705 markings, 98035431 edges, 73136 markings/sec, 390 secs
lola: 28509529 markings, 99296126 edges, 72365 markings/sec, 395 secs
lola: 28870547 markings, 100555656 edges, 72204 markings/sec, 400 secs
lola: 29228816 markings, 101805428 edges, 71654 markings/sec, 405 secs
lola: 29587934 markings, 103054809 edges, 71824 markings/sec, 410 secs
lola: 29944052 markings, 104294458 edges, 71224 markings/sec, 415 secs
lola: 30300254 markings, 105535253 edges, 71240 markings/sec, 420 secs
lola: 30664660 markings, 106803113 edges, 72881 markings/sec, 425 secs
lola: 31025255 markings, 108055799 edges, 72119 markings/sec, 430 secs
lola: 31381842 markings, 109300381 edges, 71317 markings/sec, 435 secs
lola: 31740542 markings, 110551499 edges, 71740 markings/sec, 440 secs
lola: 32098730 markings, 111797311 edges, 71638 markings/sec, 445 secs
lola: 32456110 markings, 113039495 edges, 71476 markings/sec, 450 secs
lola: 32815903 markings, 114292501 edges, 71959 markings/sec, 455 secs
lola: 33176624 markings, 115553279 edges, 72144 markings/sec, 460 secs
lola: 33538356 markings, 116812824 edges, 72346 markings/sec, 465 secs
lola: 33897525 markings, 118062523 edges, 71834 markings/sec, 470 secs
lola: 34255210 markings, 119305356 edges, 71537 markings/sec, 475 secs
lola: 34611340 markings, 120545407 edges, 71226 markings/sec, 480 secs
lola: 34961898 markings, 121768614 edges, 70112 markings/sec, 485 secs
lola: 35315013 markings, 122997970 edges, 70623 markings/sec, 490 secs
lola: 35668094 markings, 124226669 edges, 70616 markings/sec, 495 secs
lola: 36023755 markings, 125464023 edges, 71132 markings/sec, 500 secs
lola: 36381059 markings, 126705542 edges, 71461 markings/sec, 505 secs
lola: 36734958 markings, 127939926 edges, 70780 markings/sec, 510 secs
lola: 37094204 markings, 129188964 edges, 71849 markings/sec, 515 secs
lola: 37451831 markings, 130435084 edges, 71525 markings/sec, 520 secs
lola: 37807582 markings, 131674924 edges, 71150 markings/sec, 525 secs
lola: 38160622 markings, 132901408 edges, 70608 markings/sec, 530 secs
lola: 38512548 markings, 134126671 edges, 70385 markings/sec, 535 secs
lola: 38866907 markings, 135361322 edges, 70872 markings/sec, 540 secs
lola: 39225979 markings, 136614816 edges, 71814 markings/sec, 545 secs
lola: 39575240 markings, 137833881 edges, 69852 markings/sec, 550 secs
lola: 39928532 markings, 139063094 edges, 70658 markings/sec, 555 secs
lola: 40283154 markings, 140297347 edges, 70924 markings/sec, 560 secs
lola: 40641032 markings, 141541258 edges, 71576 markings/sec, 565 secs
lola: 40996463 markings, 142780226 edges, 71086 markings/sec, 570 secs
lola: 41351214 markings, 144016394 edges, 70950 markings/sec, 575 secs
lola: 41706767 markings, 145253470 edges, 71111 markings/sec, 580 secs
lola: 42063492 markings, 146494279 edges, 71345 markings/sec, 585 secs
lola: 42417720 markings, 147727262 edges, 70846 markings/sec, 590 secs
lola: 42774827 markings, 148974606 edges, 71421 markings/sec, 595 secs
lola: 43128955 markings, 150211766 edges, 70826 markings/sec, 600 secs
lola: 43487832 markings, 151461247 edges, 71775 markings/sec, 605 secs
lola: 43845892 markings, 152709073 edges, 71612 markings/sec, 610 secs
lola: 44200775 markings, 153945295 edges, 70977 markings/sec, 615 secs
lola: 44557626 markings, 155188985 edges, 71370 markings/sec, 620 secs
lola: 44913554 markings, 156428979 edges, 71186 markings/sec, 625 secs
lola: 45265107 markings, 157653195 edges, 70311 markings/sec, 630 secs
lola: 45616815 markings, 158875989 edges, 70342 markings/sec, 635 secs
lola: 45970890 markings, 160109844 edges, 70815 markings/sec, 640 secs
lola: 46326577 markings, 161350961 edges, 71137 markings/sec, 645 secs
lola: 46678478 markings, 162581610 edges, 70380 markings/sec, 650 secs
lola: 47034156 markings, 163819205 edges, 71136 markings/sec, 655 secs
lola: 47388691 markings, 165051734 edges, 70907 markings/sec, 660 secs
lola: 47740952 markings, 166279401 edges, 70452 markings/sec, 665 secs
lola: 48094220 markings, 167512104 edges, 70654 markings/sec, 670 secs
lola: 48451297 markings, 168755652 edges, 71415 markings/sec, 675 secs
lola: 48808072 markings, 169997271 edges, 71355 markings/sec, 680 secs
lola: 49162518 markings, 171232304 edges, 70889 markings/sec, 685 secs
lola: 49518878 markings, 172472052 edges, 71272 markings/sec, 690 secs
lola: 49875688 markings, 173712895 edges, 71362 markings/sec, 695 secs
lola: 50228906 markings, 174942738 edges, 70644 markings/sec, 700 secs
lola: 50580469 markings, 176164643 edges, 70313 markings/sec, 705 secs
lola: 50930306 markings, 177381993 edges, 69967 markings/sec, 710 secs
lola: 51280113 markings, 178604178 edges, 69961 markings/sec, 715 secs
lola: 51632536 markings, 179831032 edges, 70485 markings/sec, 720 secs
lola: 51986101 markings, 181060694 edges, 70713 markings/sec, 725 secs
lola: 52336831 markings, 182284491 edges, 70146 markings/sec, 730 secs
lola: 52689200 markings, 183515399 edges, 70474 markings/sec, 735 secs
lola: 53043121 markings, 184746279 edges, 70784 markings/sec, 740 secs
lola: 53394853 markings, 185971004 edges, 70346 markings/sec, 745 secs
lola: 53745278 markings, 187191341 edges, 70085 markings/sec, 750 secs
lola: 54098714 markings, 188423969 edges, 70687 markings/sec, 755 secs
lola: 54453988 markings, 189660692 edges, 71055 markings/sec, 760 secs
lola: 54806349 markings, 190886626 edges, 70472 markings/sec, 765 secs
lola: 55157718 markings, 192111133 edges, 70274 markings/sec, 770 secs
lola: 55512718 markings, 193350744 edges, 71000 markings/sec, 775 secs
lola: 55863634 markings, 194573723 edges, 70183 markings/sec, 780 secs
lola: 56213760 markings, 195791655 edges, 70025 markings/sec, 785 secs
lola: 56562066 markings, 197001635 edges, 69661 markings/sec, 790 secs
lola: 56908999 markings, 198212278 edges, 69387 markings/sec, 795 secs
lola: 57259078 markings, 199435992 edges, 70016 markings/sec, 800 secs
lola: 57608364 markings, 200654800 edges, 69857 markings/sec, 805 secs
lola: 57959945 markings, 201876908 edges, 70316 markings/sec, 810 secs
lola: 58311956 markings, 203104152 edges, 70402 markings/sec, 815 secs
lola: 58661146 markings, 204318872 edges, 69838 markings/sec, 820 secs
lola: 59015164 markings, 205553681 edges, 70804 markings/sec, 825 secs
lola: 59369896 markings, 206787662 edges, 70946 markings/sec, 830 secs
lola: 59722642 markings, 208014722 edges, 70549 markings/sec, 835 secs
lola: 60073772 markings, 209237735 edges, 70226 markings/sec, 840 secs
lola: 60428240 markings, 210475419 edges, 70894 markings/sec, 845 secs
lola: 60780702 markings, 211706471 edges, 70492 markings/sec, 850 secs
lola: 61136257 markings, 212945057 edges, 71111 markings/sec, 855 secs
lola: 61492177 markings, 214184730 edges, 71184 markings/sec, 860 secs
lola: 61844348 markings, 215412815 edges, 70434 markings/sec, 865 secs
lola: 62197273 markings, 216640283 edges, 70585 markings/sec, 870 secs
lola: 62550717 markings, 217871115 edges, 70689 markings/sec, 875 secs
lola: 62905615 markings, 219106471 edges, 70980 markings/sec, 880 secs
lola: 63257187 markings, 220332932 edges, 70314 markings/sec, 885 secs
lola: 63609722 markings, 221566581 edges, 70507 markings/sec, 890 secs
lola: 63971992 markings, 222826748 edges, 72454 markings/sec, 895 secs
lola: 64331898 markings, 224079537 edges, 71981 markings/sec, 900 secs
lola: 64690101 markings, 225326595 edges, 71641 markings/sec, 905 secs
lola: 65044189 markings, 226562049 edges, 70818 markings/sec, 910 secs
lola: 65397486 markings, 227793371 edges, 70659 markings/sec, 915 secs
lola: 65754192 markings, 229038850 edges, 71341 markings/sec, 920 secs
lola: 66109522 markings, 230276401 edges, 71066 markings/sec, 925 secs
lola: 66462622 markings, 231512043 edges, 70620 markings/sec, 930 secs
lola: 66811900 markings, 232727196 edges, 69856 markings/sec, 935 secs
lola: 67161632 markings, 233946248 edges, 69946 markings/sec, 940 secs
lola: 67514530 markings, 235179073 edges, 70580 markings/sec, 945 secs
lola: 67873370 markings, 236429627 edges, 71768 markings/sec, 950 secs
lola: 68235058 markings, 237689336 edges, 72338 markings/sec, 955 secs
lola: 68585790 markings, 238910154 edges, 70146 markings/sec, 960 secs
lola: 68935996 markings, 240131261 edges, 70041 markings/sec, 965 secs
lola: 69291628 markings, 241368695 edges, 71126 markings/sec, 970 secs
lola: 69646427 markings, 242602539 edges, 70960 markings/sec, 975 secs
lola: 70000594 markings, 243834948 edges, 70833 markings/sec, 980 secs
lola: 70358094 markings, 245079692 edges, 71500 markings/sec, 985 secs
lola: 70712478 markings, 246314473 edges, 70877 markings/sec, 990 secs
lola: 71067524 markings, 247551002 edges, 71009 markings/sec, 995 secs
lola: 71418871 markings, 248775073 edges, 70269 markings/sec, 1000 secs
lola: 71772950 markings, 250010440 edges, 70816 markings/sec, 1005 secs
lola: 72128352 markings, 251247375 edges, 71080 markings/sec, 1010 secs
lola: 72484318 markings, 252483858 edges, 71193 markings/sec, 1015 secs
lola: 72837548 markings, 253713259 edges, 70646 markings/sec, 1020 secs
lola: 73188019 markings, 254934758 edges, 70094 markings/sec, 1025 secs
lola: 73538391 markings, 256155167 edges, 70074 markings/sec, 1030 secs
lola: 73888638 markings, 257375535 edges, 70049 markings/sec, 1035 secs
lola: 74239121 markings, 258597141 edges, 70097 markings/sec, 1040 secs
lola: 74587396 markings, 259809130 edges, 69655 markings/sec, 1045 secs
lola: 74941385 markings, 261040949 edges, 70798 markings/sec, 1050 secs
lola: 75292844 markings, 262264453 edges, 70292 markings/sec, 1055 secs
lola: 75646150 markings, 263492895 edges, 70661 markings/sec, 1060 secs
lola: 75998560 markings, 264721740 edges, 70482 markings/sec, 1065 secs
lola: 76349214 markings, 265941853 edges, 70131 markings/sec, 1070 secs
lola: 76681654 markings, 267097060 edges, 66488 markings/sec, 1075 secs
lola: 77034176 markings, 268323387 edges, 70504 markings/sec, 1080 secs
lola: 77384134 markings, 269542891 edges, 69992 markings/sec, 1085 secs
lola: 77732214 markings, 270756062 edges, 69616 markings/sec, 1090 secs
lola: 78082662 markings, 271975441 edges, 70090 markings/sec, 1095 secs
lola: 78416194 markings, 273138190 edges, 66706 markings/sec, 1100 secs
lola: 78769403 markings, 274367439 edges, 70642 markings/sec, 1105 secs
lola: 79122208 markings, 275597515 edges, 70561 markings/sec, 1110 secs
lola: 79465850 markings, 276798452 edges, 68728 markings/sec, 1115 secs
lola: 79813276 markings, 278009117 edges, 69485 markings/sec, 1120 secs
lola: 80144271 markings, 279163746 edges, 66199 markings/sec, 1125 secs
lola: 80495078 markings, 280384769 edges, 70161 markings/sec, 1130 secs
lola: 80844632 markings, 281599867 edges, 69911 markings/sec, 1135 secs
lola: 81174768 markings, 282751310 edges, 66027 markings/sec, 1140 secs
lola: 81527278 markings, 283980196 edges, 70502 markings/sec, 1145 secs
lola: 81860456 markings, 285138974 edges, 66636 markings/sec, 1150 secs
lola: 82217722 markings, 286383795 edges, 71453 markings/sec, 1155 secs
lola: 82563624 markings, 287592011 edges, 69180 markings/sec, 1160 secs
lola: 82900079 markings, 288765539 edges, 67291 markings/sec, 1165 secs
lola: 83237354 markings, 289941047 edges, 67455 markings/sec, 1170 secs
lola: 83590764 markings, 291170354 edges, 70682 markings/sec, 1175 secs
lola: 83944464 markings, 292399755 edges, 70740 markings/sec, 1180 secs
lola: 84296771 markings, 293628429 edges, 70461 markings/sec, 1185 secs
lola: 84646374 markings, 294850726 edges, 69921 markings/sec, 1190 secs
lola: 84976635 markings, 296003716 edges, 66052 markings/sec, 1195 secs
lola: 85311476 markings, 297168770 edges, 66968 markings/sec, 1200 secs
lola: 85660558 markings, 298383995 edges, 69816 markings/sec, 1205 secs
lola: 86006869 markings, 299592086 edges, 69262 markings/sec, 1210 secs
lola: 86359315 markings, 300819764 edges, 70489 markings/sec, 1215 secs
lola: 86711889 markings, 302048978 edges, 70515 markings/sec, 1220 secs
lola: 87066944 markings, 303284902 edges, 71011 markings/sec, 1225 secs
lola: 87419194 markings, 304511386 edges, 70450 markings/sec, 1230 secs
lola: 87771178 markings, 305737314 edges, 70397 markings/sec, 1235 secs
lola: 88123546 markings, 306963127 edges, 70474 markings/sec, 1240 secs
lola: 88479074 markings, 308200649 edges, 71106 markings/sec, 1245 secs
lola: 88829963 markings, 309422577 edges, 70178 markings/sec, 1250 secs
lola: 89182316 markings, 310648006 edges, 70471 markings/sec, 1255 secs
lola: 89533568 markings, 311871035 edges, 70250 markings/sec, 1260 secs
lola: 89866350 markings, 313029481 edges, 66556 markings/sec, 1265 secs
lola: 90199426 markings, 314188805 edges, 66615 markings/sec, 1270 secs
lola: 90534936 markings, 315357211 edges, 67102 markings/sec, 1275 secs
lola: 90890340 markings, 316591714 edges, 71081 markings/sec, 1280 secs
lola: 91221780 markings, 317748326 edges, 66288 markings/sec, 1285 secs
lola: 91572920 markings, 318973891 edges, 70228 markings/sec, 1290 secs
lola: 91923298 markings, 320192546 edges, 70076 markings/sec, 1295 secs
lola: 92272727 markings, 321408669 edges, 69886 markings/sec, 1300 secs
lola: 92621190 markings, 322620951 edges, 69693 markings/sec, 1305 secs
lola: 92970420 markings, 323836237 edges, 69846 markings/sec, 1310 secs
lola: 93298983 markings, 324980242 edges, 65713 markings/sec, 1315 secs
lola: 93649940 markings, 326202270 edges, 70191 markings/sec, 1320 secs
lola: 94001808 markings, 327425751 edges, 70374 markings/sec, 1325 secs
lola: 94333876 markings, 328583688 edges, 66414 markings/sec, 1330 secs
lola: 94684729 markings, 329808570 edges, 70171 markings/sec, 1335 secs
lola: 95029891 markings, 331015533 edges, 69032 markings/sec, 1340 secs
lola: 95363086 markings, 332174269 edges, 66639 markings/sec, 1345 secs
lola: 95718261 markings, 333409433 edges, 71035 markings/sec, 1350 secs
lola: 96062992 markings, 334610951 edges, 68946 markings/sec, 1355 secs
lola: 96393510 markings, 335764697 edges, 66104 markings/sec, 1360 secs
lola: 96742550 markings, 336979306 edges, 69808 markings/sec, 1365 secs
lola: 97072446 markings, 338127850 edges, 65979 markings/sec, 1370 secs
lola: 97419339 markings, 339336632 edges, 69379 markings/sec, 1375 secs
lola: 97765632 markings, 340542464 edges, 69259 markings/sec, 1380 secs
lola: 98102938 markings, 341715810 edges, 67461 markings/sec, 1385 secs
lola: 98452279 markings, 342929903 edges, 69868 markings/sec, 1390 secs
lola: 98801212 markings, 344147083 edges, 69787 markings/sec, 1395 secs
lola: 99150548 markings, 345365021 edges, 69867 markings/sec, 1400 secs
lola: 99479840 markings, 346513385 edges, 65858 markings/sec, 1405 secs
lola: 99827712 markings, 347725863 edges, 69574 markings/sec, 1410 secs
lola: 100179534 markings, 348949695 edges, 70364 markings/sec, 1415 secs
lola: 100528796 markings, 350164612 edges, 69852 markings/sec, 1420 secs
lola: 100861290 markings, 351322454 edges, 66499 markings/sec, 1425 secs
lola: 101204936 markings, 352518249 edges, 68729 markings/sec, 1430 secs
lola: 101553336 markings, 353732038 edges, 69680 markings/sec, 1435 secs
lola: 101898426 markings, 354932136 edges, 69018 markings/sec, 1440 secs
lola: 102244297 markings, 356134369 edges, 69174 markings/sec, 1445 secs
lola: 102573456 markings, 357279706 edges, 65832 markings/sec, 1450 secs
lola: 102912868 markings, 358462393 edges, 67882 markings/sec, 1455 secs
lola: 103253709 markings, 359651511 edges, 68168 markings/sec, 1460 secs
lola: 103596432 markings, 360843764 edges, 68545 markings/sec, 1465 secs
lola: 103936308 markings, 362027668 edges, 67975 markings/sec, 1470 secs
lola: 104278932 markings, 363217057 edges, 68525 markings/sec, 1475 secs
lola: 104623444 markings, 364418881 edges, 68902 markings/sec, 1480 secs
lola: 104967692 markings, 365618970 edges, 68850 markings/sec, 1485 secs
lola: 105313502 markings, 366822250 edges, 69162 markings/sec, 1490 secs
lola: 105661252 markings, 368030735 edges, 69550 markings/sec, 1495 secs
lola: 106006754 markings, 369232736 edges, 69100 markings/sec, 1500 secs
lola: 106353534 markings, 370439697 edges, 69356 markings/sec, 1505 secs
lola: 106698058 markings, 371641657 edges, 68905 markings/sec, 1510 secs
lola: 107031937 markings, 372804423 edges, 66776 markings/sec, 1515 secs
lola: 107377692 markings, 374007908 edges, 69151 markings/sec, 1520 secs
lola: 107720366 markings, 375201424 edges, 68535 markings/sec, 1525 secs
lola: 108061140 markings, 376388151 edges, 68155 markings/sec, 1530 secs
lola: 108402056 markings, 377578897 edges, 68183 markings/sec, 1535 secs
lola: 108730390 markings, 378723004 edges, 65667 markings/sec, 1540 secs
lola: 109074622 markings, 379920285 edges, 68846 markings/sec, 1545 secs
lola: 109414218 markings, 381101692 edges, 67919 markings/sec, 1550 secs
lola: 109739316 markings, 382235068 edges, 65020 markings/sec, 1555 secs
lola: 110073022 markings, 383402180 edges, 66741 markings/sec, 1560 secs
lola: 110418373 markings, 384607527 edges, 69070 markings/sec, 1565 secs
lola: 110769027 markings, 385825120 edges, 70131 markings/sec, 1570 secs
lola: 111119156 markings, 387046838 edges, 70026 markings/sec, 1575 secs
lola: 111468612 markings, 388264840 edges, 69891 markings/sec, 1580 secs
lola: 111817994 markings, 389482961 edges, 69876 markings/sec, 1585 secs
lola: 112168606 markings, 390702065 edges, 70122 markings/sec, 1590 secs
lola: 112519294 markings, 391926255 edges, 70138 markings/sec, 1595 secs
lola: 112872431 markings, 393155389 edges, 70627 markings/sec, 1600 secs
lola: 113221896 markings, 394373094 edges, 69893 markings/sec, 1605 secs
lola: 113581510 markings, 395623534 edges, 71923 markings/sec, 1610 secs
lola: 113937856 markings, 396865220 edges, 71269 markings/sec, 1615 secs
lola: 114294192 markings, 398105923 edges, 71267 markings/sec, 1620 secs
lola: 114652629 markings, 399351203 edges, 71687 markings/sec, 1625 secs
lola: 115008213 markings, 400587972 edges, 71117 markings/sec, 1630 secs
lola: 115362714 markings, 401822273 edges, 70900 markings/sec, 1635 secs
lola: 115715659 markings, 403053735 edges, 70589 markings/sec, 1640 secs
lola: 116072782 markings, 404297073 edges, 71425 markings/sec, 1645 secs
lola: 116427988 markings, 405532129 edges, 71041 markings/sec, 1650 secs
lola: 116779942 markings, 406759619 edges, 70391 markings/sec, 1655 secs
lola: 117138506 markings, 408005464 edges, 71713 markings/sec, 1660 secs
lola: 117498638 markings, 409260172 edges, 72026 markings/sec, 1665 secs
lola: 117853446 markings, 410494261 edges, 70962 markings/sec, 1670 secs
lola: 118208188 markings, 411733006 edges, 70948 markings/sec, 1675 secs
lola: 118567284 markings, 412983346 edges, 71819 markings/sec, 1680 secs
lola: 118922108 markings, 414220335 edges, 70965 markings/sec, 1685 secs
lola: 119279706 markings, 415464876 edges, 71520 markings/sec, 1690 secs
lola: 119636016 markings, 416704382 edges, 71262 markings/sec, 1695 secs
lola: 119990392 markings, 417936584 edges, 70875 markings/sec, 1700 secs
lola: 120342565 markings, 419163527 edges, 70435 markings/sec, 1705 secs
lola: 120699354 markings, 420409547 edges, 71358 markings/sec, 1710 secs
lola: 121055258 markings, 421653660 edges, 71181 markings/sec, 1715 secs
lola: 121415527 markings, 422906569 edges, 72054 markings/sec, 1720 secs
lola: 121774568 markings, 424157813 edges, 71808 markings/sec, 1725 secs
lola: 122131004 markings, 425398585 edges, 71287 markings/sec, 1730 secs
lola: 122484161 markings, 426627531 edges, 70631 markings/sec, 1735 secs
lola: 122836825 markings, 427855980 edges, 70533 markings/sec, 1740 secs
lola: 123191730 markings, 429091995 edges, 70981 markings/sec, 1745 secs
lola: 123545552 markings, 430322688 edges, 70764 markings/sec, 1750 secs
lola: 123902896 markings, 431568197 edges, 71469 markings/sec, 1755 secs
lola: 124258559 markings, 432803869 edges, 71133 markings/sec, 1760 secs
lola: 124613181 markings, 434037576 edges, 70924 markings/sec, 1765 secs
lola: 124968098 markings, 435276466 edges, 70983 markings/sec, 1770 secs
lola: 125328377 markings, 436531766 edges, 72056 markings/sec, 1775 secs
lola: 125685602 markings, 437773987 edges, 71445 markings/sec, 1780 secs
lola: 126036226 markings, 438995401 edges, 70125 markings/sec, 1785 secs
lola: 126391591 markings, 440233789 edges, 71073 markings/sec, 1790 secs
lola: 126742564 markings, 441459501 edges, 70195 markings/sec, 1795 secs
lola: 127092869 markings, 442677650 edges, 70061 markings/sec, 1800 secs
lola: 127442597 markings, 443896069 edges, 69946 markings/sec, 1805 secs
lola: 127793798 markings, 445119469 edges, 70240 markings/sec, 1810 secs
lola: 128146938 markings, 446349321 edges, 70628 markings/sec, 1815 secs
lola: 128497194 markings, 447567055 edges, 70051 markings/sec, 1820 secs
lola: 128846988 markings, 448787863 edges, 69959 markings/sec, 1825 secs
lola: 129201062 markings, 450024169 edges, 70815 markings/sec, 1830 secs
lola: 129554678 markings, 451254585 edges, 70723 markings/sec, 1835 secs
lola: 129907578 markings, 452480888 edges, 70580 markings/sec, 1840 secs
lola: 130259206 markings, 453707509 edges, 70326 markings/sec, 1845 secs
lola: 130612972 markings, 454945065 edges, 70753 markings/sec, 1850 secs
lola: 130971086 markings, 456194599 edges, 71623 markings/sec, 1855 secs
lola: 131325902 markings, 457426586 edges, 70963 markings/sec, 1860 secs
lola: 131669197 markings, 458624127 edges, 68659 markings/sec, 1865 secs
lola: 132006941 markings, 459801201 edges, 67549 markings/sec, 1870 secs
lola: 132338122 markings, 460954570 edges, 66236 markings/sec, 1875 secs
lola: 132687830 markings, 462171810 edges, 69942 markings/sec, 1880 secs
lola: 133026002 markings, 463352059 edges, 67634 markings/sec, 1885 secs
lola: 133368817 markings, 464545012 edges, 68563 markings/sec, 1890 secs
lola: 133706288 markings, 465719922 edges, 67494 markings/sec, 1895 secs
lola: 134060179 markings, 466950990 edges, 70778 markings/sec, 1900 secs
lola: 134391880 markings, 468103802 edges, 66340 markings/sec, 1905 secs
lola: 134745281 markings, 469337298 edges, 70680 markings/sec, 1910 secs
lola: 135101926 markings, 470580122 edges, 71329 markings/sec, 1915 secs
lola: 135448012 markings, 471786631 edges, 69217 markings/sec, 1920 secs
lola: 135796952 markings, 473003005 edges, 69788 markings/sec, 1925 secs
lola: 136148722 markings, 474226166 edges, 70354 markings/sec, 1930 secs
lola: 136499484 markings, 475446637 edges, 70152 markings/sec, 1935 secs
lola: 136833639 markings, 476610342 edges, 66831 markings/sec, 1940 secs
lola: 137184093 markings, 477829739 edges, 70091 markings/sec, 1945 secs
lola: 137517258 markings, 478990046 edges, 66633 markings/sec, 1950 secs
lola: 137870502 markings, 480219179 edges, 70649 markings/sec, 1955 secs
lola: 138223273 markings, 481445616 edges, 70554 markings/sec, 1960 secs
lola: 138572682 markings, 482662203 edges, 69882 markings/sec, 1965 secs
lola: 138922979 markings, 483883297 edges, 70059 markings/sec, 1970 secs
lola: 139258372 markings, 485052196 edges, 67079 markings/sec, 1975 secs
lola: 139603126 markings, 486252348 edges, 68951 markings/sec, 1980 secs
lola: 139940018 markings, 487425715 edges, 67378 markings/sec, 1985 secs
lola: 140286511 markings, 488632628 edges, 69299 markings/sec, 1990 secs
lola: 140629894 markings, 489831205 edges, 68677 markings/sec, 1995 secs
lola: 140960978 markings, 490985263 edges, 66217 markings/sec, 2000 secs
lola: 141311186 markings, 492203378 edges, 70042 markings/sec, 2005 secs
lola: 141657496 markings, 493408217 edges, 69262 markings/sec, 2010 secs
lola: 142000693 markings, 494604376 edges, 68639 markings/sec, 2015 secs
lola: 142327968 markings, 495749071 edges, 65455 markings/sec, 2020 secs
lola: 142673707 markings, 496955836 edges, 69148 markings/sec, 2025 secs
lola: 143020576 markings, 498160237 edges, 69374 markings/sec, 2030 secs
lola: 143371091 markings, 499387122 edges, 70103 markings/sec, 2035 secs
lola: 143706788 markings, 500555377 edges, 67139 markings/sec, 2040 secs
lola: 144033942 markings, 501695528 edges, 65431 markings/sec, 2045 secs
lola: 144382056 markings, 502907389 edges, 69623 markings/sec, 2050 secs
lola: 144734153 markings, 504131131 edges, 70419 markings/sec, 2055 secs
lola: 145083420 markings, 505347534 edges, 69853 markings/sec, 2060 secs
lola: 145432588 markings, 506566607 edges, 69834 markings/sec, 2065 secs
lola: 145764676 markings, 507721180 edges, 66418 markings/sec, 2070 secs
lola: 146093679 markings, 508866553 edges, 65801 markings/sec, 2075 secs
lola: 146446815 markings, 510094142 edges, 70627 markings/sec, 2080 secs
lola: 146792698 markings, 511298575 edges, 69177 markings/sec, 2085 secs
lola: 147138803 markings, 512502854 edges, 69221 markings/sec, 2090 secs
lola: 147483838 markings, 513704750 edges, 69007 markings/sec, 2095 secs
lola: 147834220 markings, 514927084 edges, 70076 markings/sec, 2100 secs
lola: 148184954 markings, 516146387 edges, 70147 markings/sec, 2105 secs
lola: 148531662 markings, 517354591 edges, 69342 markings/sec, 2110 secs
lola: 148865581 markings, 518515480 edges, 66784 markings/sec, 2115 secs
lola: 149211898 markings, 519722509 edges, 69263 markings/sec, 2120 secs
lola: 149557968 markings, 520926276 edges, 69214 markings/sec, 2125 secs
lola: 149887734 markings, 522074565 edges, 65953 markings/sec, 2130 secs
lola: 150242848 markings, 523310015 edges, 71023 markings/sec, 2135 secs
lola: 150577421 markings, 524477199 edges, 66915 markings/sec, 2140 secs
lola: 150924668 markings, 525685767 edges, 69449 markings/sec, 2145 secs
lola: 151263443 markings, 526866778 edges, 67755 markings/sec, 2150 secs
lola: 151615880 markings, 528092389 edges, 70487 markings/sec, 2155 secs
lola: 151968800 markings, 529322289 edges, 70584 markings/sec, 2160 secs
lola: 152326502 markings, 530566797 edges, 71540 markings/sec, 2165 secs
lola: 152679837 markings, 531797494 edges, 70667 markings/sec, 2170 secs
lola: 153024576 markings, 532996600 edges, 68948 markings/sec, 2175 secs
lola: 153370164 markings, 534198631 edges, 69118 markings/sec, 2180 secs
lola: 153713239 markings, 535392963 edges, 68615 markings/sec, 2185 secs
lola: 154059782 markings, 536600092 edges, 69309 markings/sec, 2190 secs
lola: 154405660 markings, 537804552 edges, 69176 markings/sec, 2195 secs
lola: 154751141 markings, 539007482 edges, 69096 markings/sec, 2200 secs
lola: 155097598 markings, 540217933 edges, 69291 markings/sec, 2205 secs
lola: 155436828 markings, 541398983 edges, 67846 markings/sec, 2210 secs
lola: 155767750 markings, 542551895 edges, 66184 markings/sec, 2215 secs
lola: 156116942 markings, 543768575 edges, 69838 markings/sec, 2220 secs
lola: 156452098 markings, 544931399 edges, 67031 markings/sec, 2225 secs
lola: 156801496 markings, 546145865 edges, 69880 markings/sec, 2230 secs
lola: 157152528 markings, 547370934 edges, 70206 markings/sec, 2235 secs
lola: 157498384 markings, 548578024 edges, 69171 markings/sec, 2240 secs
lola: 157848166 markings, 549798727 edges, 69956 markings/sec, 2245 secs
lola: 158197510 markings, 551021839 edges, 69869 markings/sec, 2250 secs
lola: 158541657 markings, 552225654 edges, 68829 markings/sec, 2255 secs
lola: 158892114 markings, 553446145 edges, 70091 markings/sec, 2260 secs
lola: 159224038 markings, 554605733 edges, 66385 markings/sec, 2265 secs
lola: 159570723 markings, 555812538 edges, 69337 markings/sec, 2270 secs
lola: 159914999 markings, 557009984 edges, 68855 markings/sec, 2275 secs
lola: 160249548 markings, 558176465 edges, 66910 markings/sec, 2280 secs
lola: 160594686 markings, 559379589 edges, 69028 markings/sec, 2285 secs
lola: 160939809 markings, 560583362 edges, 69025 markings/sec, 2290 secs
lola: 161279945 markings, 561768163 edges, 68027 markings/sec, 2295 secs
lola: 161627256 markings, 562977821 edges, 69462 markings/sec, 2300 secs
lola: 161974338 markings, 564186552 edges, 69416 markings/sec, 2305 secs
lola: 162318896 markings, 565389925 edges, 68912 markings/sec, 2310 secs
lola: 162665860 markings, 566600047 edges, 69393 markings/sec, 2315 secs
lola: 163012664 markings, 567807413 edges, 69361 markings/sec, 2320 secs
lola: 163372370 markings, 569058356 edges, 71941 markings/sec, 2325 secs
lola: 163727626 markings, 570294613 edges, 71051 markings/sec, 2330 secs
lola: 164081730 markings, 571530508 edges, 70821 markings/sec, 2335 secs
lola: 164434477 markings, 572760653 edges, 70549 markings/sec, 2340 secs
lola: 164770220 markings, 573930133 edges, 67149 markings/sec, 2345 secs
lola: 165129328 markings, 575179425 edges, 71822 markings/sec, 2350 secs
lola: 165491978 markings, 576443332 edges, 72530 markings/sec, 2355 secs
lola: 165852687 markings, 577696653 edges, 72142 markings/sec, 2360 secs
lola: 166211282 markings, 578943836 edges, 71719 markings/sec, 2365 secs
lola: 166570036 markings, 580196380 edges, 71751 markings/sec, 2370 secs
lola: 166927058 markings, 581443340 edges, 71404 markings/sec, 2375 secs
lola: 167281256 markings, 582675024 edges, 70840 markings/sec, 2380 secs
lola: 167622400 markings, 583862377 edges, 68229 markings/sec, 2385 secs
lola: 167977039 markings, 585097414 edges, 70928 markings/sec, 2390 secs
lola: 168330311 markings, 586327596 edges, 70654 markings/sec, 2395 secs
lola: 168684574 markings, 587563268 edges, 70853 markings/sec, 2400 secs
lola: 169024093 markings, 588743491 edges, 67904 markings/sec, 2405 secs
lola: 169382828 markings, 589993144 edges, 71747 markings/sec, 2410 secs
lola: 169743232 markings, 591246560 edges, 72081 markings/sec, 2415 secs
lola: 170078302 markings, 592413945 edges, 67014 markings/sec, 2420 secs
lola: 170432022 markings, 593650190 edges, 70744 markings/sec, 2425 secs
lola: 170788384 markings, 594889784 edges, 71272 markings/sec, 2430 secs
lola: 171144999 markings, 596133592 edges, 71323 markings/sec, 2435 secs
lola: 171500452 markings, 597370151 edges, 71091 markings/sec, 2440 secs
lola: 171851434 markings, 598591766 edges, 70196 markings/sec, 2445 secs
lola: 172202276 markings, 599810847 edges, 70168 markings/sec, 2450 secs
lola: 172553535 markings, 601034721 edges, 70252 markings/sec, 2455 secs
lola: 172905934 markings, 602264970 edges, 70480 markings/sec, 2460 secs
lola: 173240172 markings, 603426669 edges, 66848 markings/sec, 2465 secs
lola: 173589169 markings, 604642106 edges, 69799 markings/sec, 2470 secs
lola: 173922968 markings, 605803040 edges, 66760 markings/sec, 2475 secs
lola: 174276738 markings, 607032283 edges, 70754 markings/sec, 2480 secs
lola: 174626461 markings, 608251957 edges, 69945 markings/sec, 2485 secs
lola: 174980860 markings, 609484622 edges, 70880 markings/sec, 2490 secs
lola: 175334035 markings, 610714736 edges, 70635 markings/sec, 2495 secs
lola: 175669598 markings, 611881648 edges, 67113 markings/sec, 2500 secs
lola: 176027518 markings, 613128758 edges, 71584 markings/sec, 2505 secs
lola: 176379396 markings, 614353532 edges, 70376 markings/sec, 2510 secs
lola: 176713032 markings, 615515064 edges, 66727 markings/sec, 2515 secs
lola: 177060746 markings, 616726478 edges, 69543 markings/sec, 2520 secs
lola: 177411476 markings, 617948072 edges, 70146 markings/sec, 2525 secs
lola: 177762286 markings, 619167137 edges, 70162 markings/sec, 2530 secs
lola: 178095716 markings, 620327469 edges, 66686 markings/sec, 2535 secs
lola: 178444318 markings, 621543256 edges, 69720 markings/sec, 2540 secs
lola: 178778244 markings, 622707258 edges, 66785 markings/sec, 2545 secs
lola: 179109001 markings, 623862100 edges, 66151 markings/sec, 2550 secs
lola: 179459952 markings, 625083409 edges, 70190 markings/sec, 2555 secs
lola: 179792543 markings, 626239688 edges, 66518 markings/sec, 2560 secs
lola: 180141565 markings, 627457423 edges, 69804 markings/sec, 2565 secs
lola: 180492012 markings, 628675375 edges, 70089 markings/sec, 2570 secs
lola: 180804329 markings, 629762603 edges, 62463 markings/sec, 2575 secs
lola: 181159616 markings, 630999518 edges, 71057 markings/sec, 2580 secs
lola: 181514594 markings, 632233335 edges, 70996 markings/sec, 2585 secs
lola: 181866206 markings, 633456742 edges, 70322 markings/sec, 2590 secs
lola: 182216202 markings, 634675091 edges, 69999 markings/sec, 2595 secs
lola: 182548324 markings, 635829859 edges, 66424 markings/sec, 2600 secs
lola: 182902306 markings, 637061452 edges, 70796 markings/sec, 2605 secs
lola: 183252654 markings, 638283830 edges, 70070 markings/sec, 2610 secs
lola: 183587878 markings, 639455603 edges, 67045 markings/sec, 2615 secs
lola: 183936606 markings, 640671591 edges, 69746 markings/sec, 2620 secs
lola: 184295038 markings, 641918378 edges, 71686 markings/sec, 2625 secs
lola: 184646791 markings, 643145385 edges, 70351 markings/sec, 2630 secs
lola: 184991478 markings, 644345339 edges, 68937 markings/sec, 2635 secs
lola: 185334696 markings, 645539067 edges, 68644 markings/sec, 2640 secs
lola: 185692330 markings, 646785575 edges, 71527 markings/sec, 2645 secs
lola: 186042923 markings, 648010756 edges, 70119 markings/sec, 2650 secs
lola: 186395513 markings, 649237584 edges, 70518 markings/sec, 2655 secs
lola: 186728804 markings, 650401544 edges, 66658 markings/sec, 2660 secs
lola: 187082002 markings, 651630778 edges, 70640 markings/sec, 2665 secs
lola: 187434488 markings, 652858200 edges, 70497 markings/sec, 2670 secs
lola: 187784954 markings, 654081140 edges, 70093 markings/sec, 2675 secs
lola: 188120399 markings, 655249423 edges, 67089 markings/sec, 2680 secs
lola: 188472668 markings, 656474625 edges, 70454 markings/sec, 2685 secs
lola: 188823118 markings, 657694131 edges, 70090 markings/sec, 2690 secs
lola: 189172415 markings, 658910924 edges, 69859 markings/sec, 2695 secs
lola: 189506572 markings, 660072057 edges, 66831 markings/sec, 2700 secs
lola: 189855867 markings, 661287378 edges, 69859 markings/sec, 2705 secs
lola: 190189993 markings, 662450816 edges, 66825 markings/sec, 2710 secs
lola: 190539052 markings, 663664953 edges, 69812 markings/sec, 2715 secs
lola: 190887384 markings, 664878438 edges, 69666 markings/sec, 2720 secs
lola: 191218456 markings, 666030365 edges, 66214 markings/sec, 2725 secs
lola: 191574310 markings, 667272642 edges, 71171 markings/sec, 2730 secs
lola: 191925486 markings, 668494254 edges, 70235 markings/sec, 2735 secs
lola: 192263386 markings, 669670280 edges, 67580 markings/sec, 2740 secs
lola: 192598056 markings, 670835021 edges, 66934 markings/sec, 2745 secs
lola: 192950872 markings, 672063112 edges, 70563 markings/sec, 2750 secs
lola: 193276997 markings, 673200225 edges, 65225 markings/sec, 2755 secs
lola: 193623172 markings, 674406333 edges, 69235 markings/sec, 2760 secs
lola: 193955190 markings, 675563687 edges, 66404 markings/sec, 2765 secs
lola: 194311119 markings, 676804190 edges, 71186 markings/sec, 2770 secs
lola: 194657655 markings, 678011564 edges, 69307 markings/sec, 2775 secs
lola: 194989366 markings, 679165074 edges, 66342 markings/sec, 2780 secs
lola: 195333773 markings, 680366039 edges, 68881 markings/sec, 2785 secs
lola: 195682057 markings, 681575941 edges, 69657 markings/sec, 2790 secs
lola: 196030815 markings, 682790045 edges, 69752 markings/sec, 2795 secs
lola: 196362030 markings, 683949852 edges, 66243 markings/sec, 2800 secs
lola: 196696436 markings, 685114933 edges, 66881 markings/sec, 2805 secs
lola: 197051768 markings, 686357059 edges, 71066 markings/sec, 2810 secs
lola: 197397686 markings, 687560855 edges, 69184 markings/sec, 2815 secs
lola: 197746805 markings, 688775321 edges, 69824 markings/sec, 2820 secs
lola: 198065714 markings, 689885678 edges, 63782 markings/sec, 2825 secs
lola: 198415456 markings, 691100805 edges, 69948 markings/sec, 2830 secs
lola: 198763868 markings, 692312400 edges, 69682 markings/sec, 2835 secs
lola: 199095898 markings, 693467070 edges, 66406 markings/sec, 2840 secs
lola: 199446899 markings, 694692412 edges, 70200 markings/sec, 2845 secs
lola: 199780748 markings, 695860754 edges, 66770 markings/sec, 2850 secs
lola: 200130082 markings, 697079956 edges, 69867 markings/sec, 2855 secs
lola: 200464372 markings, 698248135 edges, 66858 markings/sec, 2860 secs
lola: 200800066 markings, 699417277 edges, 67139 markings/sec, 2865 secs
lola: 201134019 markings, 700581465 edges, 66791 markings/sec, 2870 secs
lola: 201466456 markings, 701737748 edges, 66487 markings/sec, 2875 secs
lola: 201818036 markings, 702962013 edges, 70316 markings/sec, 2880 secs
lola: 202161048 markings, 704155449 edges, 68602 markings/sec, 2885 secs
lola: 202498754 markings, 705335641 edges, 67541 markings/sec, 2890 secs
lola: 202846569 markings, 706546204 edges, 69563 markings/sec, 2895 secs
lola: 203195609 markings, 707764919 edges, 69808 markings/sec, 2900 secs
lola: 203525826 markings, 708914881 edges, 66043 markings/sec, 2905 secs
lola: 203864140 markings, 710094802 edges, 67663 markings/sec, 2910 secs
lola: 204188191 markings, 711223305 edges, 64810 markings/sec, 2915 secs
lola: 204533302 markings, 712421796 edges, 69022 markings/sec, 2920 secs
lola: 204881665 markings, 713634594 edges, 69673 markings/sec, 2925 secs
lola: 205231791 markings, 714855376 edges, 70025 markings/sec, 2930 secs
lola: 205581059 markings, 716077503 edges, 69854 markings/sec, 2935 secs
lola: 205926216 markings, 717278006 edges, 69031 markings/sec, 2940 secs
lola: 206261954 markings, 718449784 edges, 67148 markings/sec, 2945 secs
lola: 206615272 markings, 719681475 edges, 70664 markings/sec, 2950 secs
lola: 206961468 markings, 720886854 edges, 69239 markings/sec, 2955 secs
lola: 207292196 markings, 722039794 edges, 66146 markings/sec, 2960 secs
lola: 207643982 markings, 723265549 edges, 70357 markings/sec, 2965 secs
lola: 207991620 markings, 724478263 edges, 69528 markings/sec, 2970 secs
lola: 208337457 markings, 725686275 edges, 69167 markings/sec, 2975 secs
lola: 208679177 markings, 726876750 edges, 68344 markings/sec, 2980 secs
lola: 209025162 markings, 728079830 edges, 69197 markings/sec, 2985 secs
lola: 209352226 markings, 729219783 edges, 65413 markings/sec, 2990 secs
lola: 209681154 markings, 730365742 edges, 65786 markings/sec, 2995 secs
lola: 210033711 markings, 731591384 edges, 70511 markings/sec, 3000 secs
lola: 210384552 markings, 732813370 edges, 70168 markings/sec, 3005 secs
lola: 210731639 markings, 734025202 edges, 69417 markings/sec, 3010 secs
lola: 211064467 markings, 735187479 edges, 66566 markings/sec, 3015 secs
lola: 211416156 markings, 736414138 edges, 70338 markings/sec, 3020 secs
lola: 211765410 markings, 737628346 edges, 69851 markings/sec, 3025 secs
lola: 212088380 markings, 738752607 edges, 64594 markings/sec, 3030 secs
lola: 212383280 markings, 739782606 edges, 58980 markings/sec, 3035 secs
lola: 212661252 markings, 740751110 edges, 55594 markings/sec, 3040 secs
lola: 212735272 markings, 741007925 edges, 14804 markings/sec, 3045 secs
lola: 212753641 markings, 741071632 edges, 3674 markings/sec, 3050 secs
lola: 212760186 markings, 741094330 edges, 1309 markings/sec, 3055 secs
lola: 212780933 markings, 741166254 edges, 4149 markings/sec, 3060 secs
lola: 212784660 markings, 741179021 edges, 745 markings/sec, 3065 secs
lola: 212799635 markings, 741231039 edges, 2995 markings/sec, 3070 secs
lola: 212807829 markings, 741259731 edges, 1639 markings/sec, 3075 secs
lola: 212810136 markings, 741267594 edges, 461 markings/sec, 3080 secs
lola: 212817851 markings, 741294925 edges, 1543 markings/sec, 3085 secs
lola: 212819041 markings, 741299224 edges, 238 markings/sec, 3090 secs
lola: 212823051 markings, 741313591 edges, 802 markings/sec, 3095 secs
lola: 212836175 markings, 741359579 edges, 2625 markings/sec, 3100 secs
lola: 212837361 markings, 741363758 edges, 237 markings/sec, 3105 secs
lola: 212846335 markings, 741394947 edges, 1795 markings/sec, 3110 secs
lola: 212854953 markings, 741424751 edges, 1724 markings/sec, 3115 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(raf1_equals_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(raf1_equals_1)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 344742 markings, 1197135 edges, 68948 markings/sec, 0 secs
lola: 708304 markings, 2461280 edges, 72712 markings/sec, 5 secs
lola: 1065126 markings, 3703308 edges, 71364 markings/sec, 10 secs
lola: 1408260 markings, 4900793 edges, 68627 markings/sec, 15 secs
lola: 1770458 markings, 6160584 edges, 72440 markings/sec, 20 secs
lola: 2134118 markings, 7426341 edges, 72732 markings/sec, 25 secs
lola: 2490470 markings, 8665993 edges, 71270 markings/sec, 30 secs
lola: 2843009 markings, 9893970 edges, 70508 markings/sec, 35 secs
lola: 3195378 markings, 11125148 edges, 70474 markings/sec, 40 secs
lola: 3549389 markings, 12356919 edges, 70802 markings/sec, 45 secs
lola: 3900279 markings, 13577287 edges, 70178 markings/sec, 50 secs
lola: 4247650 markings, 14787445 edges, 69474 markings/sec, 55 secs
lola: 4599780 markings, 16017015 edges, 70426 markings/sec, 60 secs
lola: 4951308 markings, 17246254 edges, 70306 markings/sec, 65 secs
lola: 5304254 markings, 18473921 edges, 70589 markings/sec, 70 secs
lola: 5654828 markings, 19694877 edges, 70115 markings/sec, 75 secs
lola: 6008295 markings, 20926451 edges, 70693 markings/sec, 80 secs
lola: 6361505 markings, 22155293 edges, 70642 markings/sec, 85 secs
lola: 6716009 markings, 23388086 edges, 70901 markings/sec, 90 secs
lola: 7065960 markings, 24607275 edges, 69990 markings/sec, 95 secs
lola: 7419780 markings, 25838131 edges, 70764 markings/sec, 100 secs
lola: 7766967 markings, 27049893 edges, 69437 markings/sec, 105 secs
lola: 8121834 markings, 28288338 edges, 70973 markings/sec, 110 secs
lola: 8477536 markings, 29524256 edges, 71140 markings/sec, 115 secs
lola: 8830277 markings, 30754112 edges, 70548 markings/sec, 120 secs
lola: 9180840 markings, 31974319 edges, 70113 markings/sec, 125 secs
lola: 9532200 markings, 33197759 edges, 70272 markings/sec, 130 secs
lola: 9884614 markings, 34425226 edges, 70483 markings/sec, 135 secs
lola: 10236760 markings, 35650566 edges, 70429 markings/sec, 140 secs
lola: 10588184 markings, 36874443 edges, 70285 markings/sec, 145 secs
lola: 10944588 markings, 38114390 edges, 71281 markings/sec, 150 secs
lola: 11297910 markings, 39347786 edges, 70664 markings/sec, 155 secs
lola: 11654962 markings, 40589938 edges, 71410 markings/sec, 160 secs
lola: 12012272 markings, 41831640 edges, 71462 markings/sec, 165 secs
lola: 12365785 markings, 43063601 edges, 70703 markings/sec, 170 secs
lola: 12718292 markings, 44291357 edges, 70501 markings/sec, 175 secs
lola: 13068008 markings, 45508813 edges, 69943 markings/sec, 180 secs
lola: 13414824 markings, 46715535 edges, 69363 markings/sec, 185 secs
lola: 13763894 markings, 47929684 edges, 69814 markings/sec, 190 secs
lola: 14110816 markings, 49137666 edges, 69384 markings/sec, 195 secs
lola: 14464022 markings, 50367049 edges, 70641 markings/sec, 200 secs
lola: 14814944 markings, 51588732 edges, 70184 markings/sec, 205 secs
lola: 15165448 markings, 52812010 edges, 70101 markings/sec, 210 secs
lola: 15500022 markings, 53975138 edges, 66915 markings/sec, 215 secs
lola: 15853492 markings, 55205480 edges, 70694 markings/sec, 220 secs
lola: 16178424 markings, 56335175 edges, 64986 markings/sec, 225 secs
lola: 16491397 markings, 57425851 edges, 62595 markings/sec, 230 secs
lola: 16797046 markings, 58492691 edges, 61130 markings/sec, 235 secs
lola: 17149012 markings, 59722546 edges, 70393 markings/sec, 240 secs
lola: 17505174 markings, 60963427 edges, 71232 markings/sec, 245 secs
lola: 17841228 markings, 62134580 edges, 67211 markings/sec, 250 secs
lola: 18195850 markings, 63367721 edges, 70924 markings/sec, 255 secs
lola: 18519110 markings, 64493839 edges, 64652 markings/sec, 260 secs
lola: 18864796 markings, 65699258 edges, 69137 markings/sec, 265 secs
lola: 19215852 markings, 66921851 edges, 70211 markings/sec, 270 secs
lola: 19569664 markings, 68151774 edges, 70762 markings/sec, 275 secs
lola: 19920895 markings, 69374880 edges, 70246 markings/sec, 280 secs
lola: 20277430 markings, 70615641 edges, 71307 markings/sec, 285 secs
lola: 20629702 markings, 71842823 edges, 70454 markings/sec, 290 secs
lola: 20980080 markings, 73060791 edges, 70076 markings/sec, 295 secs
lola: 21329149 markings, 74276237 edges, 69814 markings/sec, 300 secs
lola: 21676802 markings, 75488200 edges, 69531 markings/sec, 305 secs
lola: 22020732 markings, 76684794 edges, 68786 markings/sec, 310 secs
lola: 22367276 markings, 77893342 edges, 69309 markings/sec, 315 secs
lola: 22712880 markings, 79097706 edges, 69121 markings/sec, 320 secs
lola: 23058520 markings, 80301077 edges, 69128 markings/sec, 325 secs
lola: 23406300 markings, 81514717 edges, 69556 markings/sec, 330 secs
lola: 23754224 markings, 82725544 edges, 69585 markings/sec, 335 secs
lola: 24103420 markings, 83941658 edges, 69839 markings/sec, 340 secs
lola: 24454306 markings, 85165727 edges, 70177 markings/sec, 345 secs
lola: 24803850 markings, 86386137 edges, 69909 markings/sec, 350 secs
lola: 25158246 markings, 87619286 edges, 70879 markings/sec, 355 secs
lola: 25508384 markings, 88837651 edges, 70028 markings/sec, 360 secs
lola: 25855659 markings, 90048580 edges, 69455 markings/sec, 365 secs
lola: 26206664 markings, 91269460 edges, 70201 markings/sec, 370 secs
lola: 26553716 markings, 92480324 edges, 69410 markings/sec, 375 secs
lola: 26902224 markings, 93694412 edges, 69702 markings/sec, 380 secs
lola: 27257136 markings, 94932231 edges, 70982 markings/sec, 385 secs
lola: 27610730 markings, 96166266 edges, 70719 markings/sec, 390 secs
lola: 27966152 markings, 97403909 edges, 71084 markings/sec, 395 secs
lola: 28324074 markings, 98649735 edges, 71584 markings/sec, 400 secs
lola: 28678300 markings, 99884508 edges, 70845 markings/sec, 405 secs
lola: 29032078 markings, 101117239 edges, 70756 markings/sec, 410 secs
lola: 29385308 markings, 102348782 edges, 70646 markings/sec, 415 secs
lola: 29740994 markings, 103588077 edges, 71137 markings/sec, 420 secs
lola: 30096683 markings, 104825823 edges, 71138 markings/sec, 425 secs
lola: 30453264 markings, 106067557 edges, 71316 markings/sec, 430 secs
lola: 30814674 markings, 107323593 edges, 72282 markings/sec, 435 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 unknown
lola:
preliminary result: 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 unknown
lola: memory consumption: 2364228 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 unknown
lola: memory consumption: 2364228 KB
lola: time consumption: 3569 seconds

BK_STOP 1552419227405

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

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="EGFr-PT-10421"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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 win2018"
echo " Input is EGFr-PT-10421, 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 r077-smll-155234766400034"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/EGFr-PT-10421.tgz
mv EGFr-PT-10421 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 ;