fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r038-smll-155229649000274
Last Updated
Apr 15, 2019

About the Execution of LoLA for CloudReconfiguration-PT-319

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4465.470 3570123.00 3624168.00 8901.90 FTFFT?TFTFFTTTTF normal

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.r038-smll-155229649000274.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 CloudReconfiguration-PT-319, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-smll-155229649000274
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 3.4K Feb 9 09:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 9 09:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 5 08:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 5 08:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 114 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 352 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Feb 4 23:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 2 02:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 2 02:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 29 16:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 29 16:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:18 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 661K 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 booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1552727499496

info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ CloudReconfiguration-PT-319 @ 3570 seconds

FORMULA CloudReconfiguration-PT-319-CTLCardinality-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-CTLCardinality-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-CTLCardinality-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-CTLCardinality-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-CTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-CTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-CTLCardinality-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-CTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-CTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-CTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-CTLCardinality-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-CTLCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-CTLCardinality-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-CTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-319-CTLCardinality-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ CloudReconfiguration-PT-319

{
"child":
[

{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 2,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 9,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 9,
"visible_transitions": 0
},
"processed": "(((p1533 + 1 <= p735) OR (p980 <= 0) OR (p1957 <= p247)) AND ((p2430 <= p1792) OR (p1875 <= p1844)))",
"processed_size": 103,
"rewrites": 47
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 16,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"memory": 4347536,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"result":
{
"preliminary_value": "no yes no no yes unknown yes no yes no no yes yes yes yes no "
},
"task":
{
"compoundnumber": 16,
"type": "boolean"
}
}
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: 5686/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2587
lola: finding significant places
lola: 2587 places, 3099 transitions, 2583 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 CTLCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p1534)
lola: LP says that atomic proposition is always false: (3 <= p474)
lola: LP says that atomic proposition is always false: (2 <= p447)
lola: LP says that atomic proposition is always false: (2 <= p716)
lola: LP says that atomic proposition is always false: (2 <= p2303)
lola: LP says that atomic proposition is always false: (2 <= p379)
lola: LP says that atomic proposition is always false: (2 <= p1614)
lola: LP says that atomic proposition is always false: (2 <= p2069)
lola: LP says that atomic proposition is always false: (2 <= p531)
lola: LP says that atomic proposition is always false: (3 <= p1376)
lola: LP says that atomic proposition is always false: (3 <= p2302)
lola: LP says that atomic proposition is always false: (2 <= p1563)
lola: LP says that atomic proposition is always false: (2 <= p938)
lola: LP says that atomic proposition is always false: (3 <= p1902)
lola: LP says that atomic proposition is always false: (2 <= p1372)
lola: LP says that atomic proposition is always false: (2 <= p1019)
lola: LP says that atomic proposition is always false: (2 <= p1849)
lola: LP says that atomic proposition is always false: (3 <= p935)
lola: E (F (E (((p137 <= p1624) U (3 <= p1534))))) : E (G ((() AND A (F ((p1816 <= p183)))))) : (E (((p716 <= 1) U ())) AND A (F (((p2422 + 1 <= p1179) OR (p174 <= 0))))) : A ((() U ((1 <= p1964)))) : NOT(E (G (E (F ((3 <= p2302)))))) : (A (G (E (F ((p1474 <= p419))))) AND (((p1533 + 1 <= p735) OR (p980 <= 0) OR (p1957 <= p247)) AND ((p2430 <= p1792) OR (p1875 <= p1844)))) : A (X (E (G (((p358 <= p2049) OR (p624 <= p1817)))))) : E (X (A (((p2050 <= p964) U (2 <= p1563))))) : E (G (E (F (((p1836 <= p1974)))))) : NOT(E (G ((p1796 <= p2158)))) : A ((E (X ((p1556 <= p1968))) U A (X ((1 <= p2129))))) : E (G (E (((p2002 <= p892) U (p1357 <= p2273))))) : NOT(A (((p1902 <= 2) U (1 <= p715)))) : NOT((A (((p640 <= p1620) U (2 <= p1372))) OR A (G ((p5 + 1 <= p684))))) : E (F (E (G ((p1019 <= 1))))) : A (X ((A (G ((p1049 <= p2329))) AND ())))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:133
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 47 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 234 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 47 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 47 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 47 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 292 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 47 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((E (X ((p1556 <= p1968))) U A (X ((1 <= p2129)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: processed formula: A(EX((p1556 <= p1968)) U AX((1 <= p2129)))
lola: processed formula length: 42
lola: 50 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 62 markings, 62 edges
lola: ========================================
lola: subprocess 6 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E (G (((p358 <= p2049) OR (p624 <= p1817))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX(EG(((p358 <= p2049) OR (p624 <= p1817))))
lola: processed formula length: 45
lola: 49 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 53 markings, 52 edges
lola: ========================================
lola: subprocess 7 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G ((p1049 <= p2329)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:624
lola: rewrite Frontend/Parser/formula_rewrite.k:753
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p2329 + 1 <= p1049)
lola: processed formula length: 20
lola: 50 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p2329 + 1 <= p1049)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEF
lola: The predicate is not invariant from successors.
lola: 872 markings, 907 edges
lola: ========================================
lola: subprocess 8 will run for 438 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((p684 <= p5)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((p684 <= p5)))
lola: processed formula length: 20
lola: 48 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p684 <= p5)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 501 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((p715 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((p715 <= 0)))
lola: processed formula length: 19
lola: 48 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p715)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 54 markings, 53 edges
lola: ========================================
lola: subprocess 10 will run for 585 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((1 <= p1964))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p1964 <= 0))
lola: processed formula length: 14
lola: 50 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p1964))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 54 markings, 53 edges
lola: ========================================
lola: subprocess 11 will run for 702 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p2158 + 1 <= p1796)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: (p1796 <= p2158)
lola: processed formula length: 16
lola: 50 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p2158 + 1 <= p1796)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 54 markings, 53 edges
lola: ========================================
lola: subprocess 12 will run for 877 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((p1816 <= p183)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(AF((p1816 <= p183)))
lola: processed formula length: 23
lola: 49 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 54 markings, 107 edges
lola: ========================================
lola: subprocess 13 will run for 1170 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (((p2002 <= p892) U (p1357 <= p2273)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(E((p2002 <= p892) U (p1357 <= p2273)))
lola: processed formula length: 41
lola: 49 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 54 markings, 107 edges
lola: ========================================
lola: subprocess 14 will run for 1755 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F (((p1836 <= p1974))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:593
lola: rewrite Frontend/Parser/formula_rewrite.k:628
lola: rewrite Frontend/Parser/formula_rewrite.k:731
lola: processed formula: ((p1836 <= p1974))
lola: processed formula length: 18
lola: 50 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((p1836 <= p1974))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: formula 0: ((p1974 + 1 <= p1836))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EGEF
lola: Reachability of the predicate is possibly preserved.
lola: 54 markings, 53 edges
lola: ========================================
lola: subprocess 15 will run for 3510 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (E (F ((p1474 <= p419))))) AND (((p1533 + 1 <= p735) OR (p980 <= 0) OR (p1957 <= p247)) AND ((p2430 <= p1792) OR (p1875 <= p1844))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 3510 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p1533 + 1 <= p735) OR (p980 <= 0) OR (p1957 <= p247)) AND ((p2430 <= p1792) OR (p1875 <= p1844)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (((p1533 + 1 <= p735) OR (p980 <= 0) OR (p1957 <= p247)) AND ((p2430 <= p1792) OR (p1875 <= p1844)))
lola: processed formula length: 103
lola: 47 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 5 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (A (G (E (F ((p1474 <= p419))))) AND (((p1533 + 1 <= p735) OR (p980 <= 0) OR (p1957 <= p247)) AND ((p2430 <= p1792) OR (p1875 <= p1844))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: (((p1533 + 1 <= p735) OR (p980 <= 0) OR (p1957 <= p247)) AND ((p2430 <= p1792) OR (p1875 <= p1844)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (((p1533 + 1 <= p735) OR (p980 <= 0) OR (p1957 <= p247)) AND ((p2430 <= p1792) OR (p1875 <= p1844)))
lola: processed formula length: 103
lola: 47 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 5 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((p1474 <= p419)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: (p1474 <= p419)
lola: processed formula length: 15
lola: 50 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p419 + 1 <= p1474)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (p1474 <= p419)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-17-1.sara
lola: state equation: calling and running sara
lola: state equation: write sara problem file to CTLCardinality-17-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-17-1.sara.
sara: try reading problem file CTLCardinality-17-0.sara.
sara: error: :12033: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
sara: error: :12033: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: state equation:solution unknown
lola: sara is running 0 secs || sara is running 0 secs || 67277 markings, 221743 edges, 13455 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 136618 markings, 440415 edges, 13868 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 205011 markings, 659622 edges, 13679 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 273402 markings, 877325 edges, 13678 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 344748 markings, 1095206 edges, 14269 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 409236 markings, 1312177 edges, 12898 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 473181 markings, 1530270 edges, 12789 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 532221 markings, 1749470 edges, 11808 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 579937 markings, 1966172 edges, 9543 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 631256 markings, 2182341 edges, 10264 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 685312 markings, 2401462 edges, 10811 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 733445 markings, 2614362 edges, 9627 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 785305 markings, 2825855 edges, 10372 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 841604 markings, 3047852 edges, 11260 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 890879 markings, 3269205 edges, 9855 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 940468 markings, 3491359 edges, 9918 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 1003198 markings, 3706683 edges, 12546 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 1073397 markings, 3903233 edges, 14040 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 1139110 markings, 4102347 edges, 13143 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 1213186 markings, 4304423 edges, 14815 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 1278298 markings, 4493443 edges, 13022 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 1343197 markings, 4678272 edges, 12980 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 1399935 markings, 4852267 edges, 11348 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 1464103 markings, 5042772 edges, 12834 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 1523424 markings, 5255894 edges, 11864 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 1582840 markings, 5457273 edges, 11883 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 1641432 markings, 5654003 edges, 11718 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 1702445 markings, 5852406 edges, 12203 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 1759794 markings, 6037907 edges, 11470 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 1811285 markings, 6231180 edges, 10298 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 1870076 markings, 6438848 edges, 11758 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 1934413 markings, 6653407 edges, 12867 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 1996755 markings, 6866273 edges, 12468 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 2057101 markings, 7075159 edges, 12069 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 2114381 markings, 7281760 edges, 11456 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 2164773 markings, 7474060 edges, 10078 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 2224579 markings, 7670557 edges, 11961 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 2281870 markings, 7871170 edges, 11458 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 2343797 markings, 8077304 edges, 12385 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 2401703 markings, 8286608 edges, 11581 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 2461505 markings, 8489389 edges, 11960 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 2520008 markings, 8696181 edges, 11701 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 2576382 markings, 8914582 edges, 11275 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 2640781 markings, 9128361 edges, 12880 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 2695590 markings, 9338220 edges, 10962 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 2756436 markings, 9550258 edges, 12169 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 2812869 markings, 9760805 edges, 11287 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 2874469 markings, 9969842 edges, 12320 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 2932949 markings, 10156846 edges, 11696 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 2987521 markings, 10332492 edges, 10914 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 3042377 markings, 10519242 edges, 10971 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 3098308 markings, 10711022 edges, 11186 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 3153930 markings, 10917723 edges, 11124 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 3211187 markings, 11123529 edges, 11451 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 3270165 markings, 11318188 edges, 11796 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 3323190 markings, 11519742 edges, 10605 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 3377265 markings, 11719133 edges, 10815 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 3434083 markings, 11915130 edges, 11364 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 3489407 markings, 12119002 edges, 11065 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 3550586 markings, 12324727 edges, 12236 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 3610379 markings, 12538179 edges, 11959 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 3666554 markings, 12744428 edges, 11235 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 3724739 markings, 12955041 edges, 11637 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 3779513 markings, 13134450 edges, 10955 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 3840652 markings, 13315496 edges, 12228 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 3898480 markings, 13502563 edges, 11566 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 3952445 markings, 13691296 edges, 10793 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 4003770 markings, 13856267 edges, 10265 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 4056268 markings, 14034777 edges, 10500 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 4109671 markings, 14215720 edges, 10681 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 4164572 markings, 14411409 edges, 10980 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 4216413 markings, 14609792 edges, 10368 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 4273055 markings, 14808946 edges, 11328 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 4328139 markings, 15002214 edges, 11017 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 4382526 markings, 15196718 edges, 10877 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 4435714 markings, 15394577 edges, 10638 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 4490644 markings, 15592230 edges, 10986 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 4546780 markings, 15782001 edges, 11227 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 4601472 markings, 15983605 edges, 10938 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 4661733 markings, 16183895 edges, 12052 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 4715031 markings, 16373546 edges, 10660 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 4763977 markings, 16531122 edges, 9789 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 4812849 markings, 16715831 edges, 9774 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 4857529 markings, 16869743 edges, 8936 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 4898445 markings, 17019665 edges, 8183 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 4947986 markings, 17177511 edges, 9908 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 4994884 markings, 17330170 edges, 9380 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 5041381 markings, 17487947 edges, 9299 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 5084191 markings, 17630741 edges, 8562 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 5131691 markings, 17790954 edges, 9500 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 5177933 markings, 17944934 edges, 9248 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 5226238 markings, 18108036 edges, 9661 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 5272689 markings, 18260192 edges, 9290 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 5324145 markings, 18435074 edges, 10291 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 5384019 markings, 18646236 edges, 11975 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 5442249 markings, 18853785 edges, 11646 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 5497660 markings, 19056651 edges, 11082 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 5556369 markings, 19251350 edges, 11742 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 5617424 markings, 19454883 edges, 12211 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 5672221 markings, 19660562 edges, 10959 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 5728640 markings, 19860298 edges, 11284 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 5785472 markings, 20068463 edges, 11366 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 5843738 markings, 20275065 edges, 11653 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 5899510 markings, 20478526 edges, 11154 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 5956777 markings, 20682382 edges, 11453 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 6009652 markings, 20867756 edges, 10575 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 6052573 markings, 21027799 edges, 8584 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 6099663 markings, 21174733 edges, 9418 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 6147998 markings, 21331863 edges, 9667 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 6192918 markings, 21481365 edges, 8984 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 6238559 markings, 21631740 edges, 9128 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 6287420 markings, 21781667 edges, 9772 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 6336427 markings, 21949628 edges, 9801 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 6389567 markings, 22108113 edges, 10628 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 6447270 markings, 22277462 edges, 11541 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 6493050 markings, 22423251 edges, 9156 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 6541498 markings, 22580478 edges, 9690 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 6597192 markings, 22766969 edges, 11139 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 6643663 markings, 22927548 edges, 9294 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 6698654 markings, 23119573 edges, 10998 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 6748700 markings, 23283779 edges, 10009 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 6795126 markings, 23443484 edges, 9285 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 6839121 markings, 23589987 edges, 8799 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 6882727 markings, 23734599 edges, 8721 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 6933243 markings, 23895674 edges, 10103 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 6985268 markings, 24066789 edges, 10405 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 7025385 markings, 24209547 edges, 8023 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 7081619 markings, 24393060 edges, 11247 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 7130837 markings, 24565530 edges, 9844 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 7186357 markings, 24752681 edges, 11104 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 7236837 markings, 24907098 edges, 10096 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 7282914 markings, 25061497 edges, 9215 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 7332087 markings, 25243515 edges, 9835 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 7378176 markings, 25399556 edges, 9218 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 7422807 markings, 25547969 edges, 8926 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 7469223 markings, 25690290 edges, 9283 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 7519056 markings, 25858995 edges, 9967 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 7569014 markings, 26023783 edges, 9992 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 7624589 markings, 26224008 edges, 11115 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 7674086 markings, 26393543 edges, 9899 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 7722688 markings, 26557440 edges, 9720 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 7766706 markings, 26704288 edges, 8804 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 7820151 markings, 26884517 edges, 10689 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 7870098 markings, 27059913 edges, 9989 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 7914470 markings, 27207966 edges, 8874 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 7956522 markings, 27348612 edges, 8410 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 8005316 markings, 27511431 edges, 9759 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 8064346 markings, 27676167 edges, 11806 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 8109609 markings, 27813951 edges, 9053 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 8164334 markings, 27986254 edges, 10945 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 8206480 markings, 28125178 edges, 8429 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 8253696 markings, 28281486 edges, 9443 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 8302182 markings, 28441908 edges, 9697 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 8349257 markings, 28601379 edges, 9415 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 8404434 markings, 28809360 edges, 11035 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 8460106 markings, 29010612 edges, 11134 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 8515338 markings, 29212738 edges, 11046 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 8573835 markings, 29407810 edges, 11699 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 8633302 markings, 29601346 edges, 11893 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 8690409 markings, 29801109 edges, 11421 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 8742368 markings, 29995916 edges, 10392 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 8798997 markings, 30194727 edges, 11326 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 8854042 markings, 30401454 edges, 11009 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 8909332 markings, 30597368 edges, 11058 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 8965440 markings, 30795901 edges, 11222 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 9022326 markings, 30991252 edges, 11377 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 9076830 markings, 31190211 edges, 10901 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 9130440 markings, 31376928 edges, 10722 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 9185026 markings, 31571805 edges, 10917 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 9226695 markings, 31709061 edges, 8334 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 9278972 markings, 31890323 edges, 10455 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 9328016 markings, 32061183 edges, 9809 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 9370183 markings, 32194199 edges, 8433 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 9419491 markings, 32348382 edges, 9862 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 9468690 markings, 32501591 edges, 9840 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 9512299 markings, 32641893 edges, 8722 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 9566683 markings, 32835790 edges, 10877 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 9621154 markings, 33028490 edges, 10894 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 9664593 markings, 33169636 edges, 8688 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 9708924 markings, 33318150 edges, 8866 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 9746763 markings, 33445459 edges, 7568 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 9791770 markings, 33598120 edges, 9001 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 9844075 markings, 33772842 edges, 10461 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 9883209 markings, 33905900 edges, 7827 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 9933545 markings, 34078260 edges, 10067 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 9984197 markings, 34247962 edges, 10130 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 10035716 markings, 34427889 edges, 10304 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 10090091 markings, 34605869 edges, 10875 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 10140579 markings, 34781280 edges, 10098 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 10184296 markings, 34927536 edges, 8743 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 10221910 markings, 35053498 edges, 7523 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 10262059 markings, 35187613 edges, 8030 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 10316008 markings, 35367923 edges, 10790 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 10366163 markings, 35541563 edges, 10031 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 10407035 markings, 35679351 edges, 8174 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 10448316 markings, 35818948 edges, 8256 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 10498164 markings, 35981644 edges, 9970 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 10539385 markings, 36120274 edges, 8244 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 10578637 markings, 36252693 edges, 7850 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 10629078 markings, 36428413 edges, 10088 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 10684453 markings, 36609531 edges, 11075 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 10742560 markings, 36798281 edges, 11621 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 10797897 markings, 36990777 edges, 11067 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 10845038 markings, 37173451 edges, 9428 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 10901598 markings, 37364681 edges, 11312 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 10952720 markings, 37561881 edges, 10224 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 11005160 markings, 37750845 edges, 10488 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 11058096 markings, 37937282 edges, 10587 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 11108033 markings, 38118187 edges, 9987 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 11149445 markings, 38246364 edges, 8282 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 11198359 markings, 38398366 edges, 9783 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 11249062 markings, 38575833 edges, 10141 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 11289923 markings, 38709444 edges, 8172 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 11329807 markings, 38841738 edges, 7977 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 11367689 markings, 38967920 edges, 7576 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 11405423 markings, 39094830 edges, 7547 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 11448299 markings, 39247193 edges, 8575 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 11485922 markings, 39375017 edges, 7525 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 11524953 markings, 39505687 edges, 7806 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 11565182 markings, 39633037 edges, 8046 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 11612163 markings, 39780179 edges, 9396 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 11660738 markings, 39939580 edges, 9715 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 11700012 markings, 40069196 edges, 7855 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 11737634 markings, 40195335 edges, 7524 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 11775577 markings, 40323441 edges, 7589 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 11826705 markings, 40489818 edges, 10226 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 11878341 markings, 40679205 edges, 10327 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 11927967 markings, 40864394 edges, 9925 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 11984836 markings, 41047862 edges, 11374 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 12024229 markings, 41171567 edges, 7879 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 12072068 markings, 41319721 edges, 9568 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 12115550 markings, 41463501 edges, 8696 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 12152059 markings, 41587155 edges, 7302 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 12189955 markings, 41713696 edges, 7579 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 12228949 markings, 41847545 edges, 7799 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 12267996 markings, 41979877 edges, 7809 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 12305706 markings, 42106317 edges, 7542 markings/sec, 1180 secs
lola: sara is running 1185 secs || sara is running 1185 secs || 12352605 markings, 42261393 edges, 9380 markings/sec, 1185 secs
lola: sara is running 1190 secs || sara is running 1190 secs || 12390438 markings, 42389736 edges, 7567 markings/sec, 1190 secs
lola: sara is running 1195 secs || sara is running 1195 secs || 12435834 markings, 42544212 edges, 9079 markings/sec, 1195 secs
lola: sara is running 1200 secs || sara is running 1200 secs || 12488566 markings, 42717677 edges, 10546 markings/sec, 1200 secs
lola: sara is running 1205 secs || sara is running 1205 secs || 12531453 markings, 42870209 edges, 8577 markings/sec, 1205 secs
lola: sara is running 1210 secs || sara is running 1210 secs || 12581293 markings, 43034772 edges, 9968 markings/sec, 1210 secs
lola: sara is running 1215 secs || sara is running 1215 secs || 12627420 markings, 43196747 edges, 9225 markings/sec, 1215 secs
lola: sara is running 1220 secs || sara is running 1220 secs || 12679418 markings, 43368963 edges, 10400 markings/sec, 1220 secs
lola: sara is running 1225 secs || sara is running 1225 secs || 12725883 markings, 43529761 edges, 9293 markings/sec, 1225 secs
lola: sara is running 1230 secs || sara is running 1230 secs || 12775246 markings, 43701732 edges, 9873 markings/sec, 1230 secs
lola: sara is running 1235 secs || sara is running 1235 secs || 12815119 markings, 43834752 edges, 7975 markings/sec, 1235 secs
lola: sara is running 1240 secs || sara is running 1240 secs || 12855031 markings, 43969314 edges, 7982 markings/sec, 1240 secs
lola: sara is running 1245 secs || sara is running 1245 secs || 12893069 markings, 44097001 edges, 7608 markings/sec, 1245 secs
lola: sara is running 1250 secs || sara is running 1250 secs || 12928937 markings, 44217122 edges, 7174 markings/sec, 1250 secs
lola: sara is running 1255 secs || sara is running 1255 secs || 12968155 markings, 44348235 edges, 7844 markings/sec, 1255 secs
lola: sara is running 1260 secs || sara is running 1260 secs || 13004254 markings, 44468343 edges, 7220 markings/sec, 1260 secs
lola: sara is running 1265 secs || sara is running 1265 secs || 13042931 markings, 44593949 edges, 7735 markings/sec, 1265 secs
lola: sara is running 1270 secs || sara is running 1270 secs || 13084092 markings, 44721374 edges, 8232 markings/sec, 1270 secs
lola: sara is running 1275 secs || sara is running 1275 secs || 13132458 markings, 44874602 edges, 9673 markings/sec, 1275 secs
lola: sara is running 1280 secs || sara is running 1280 secs || 13177084 markings, 45020420 edges, 8925 markings/sec, 1280 secs
lola: sara is running 1285 secs || sara is running 1285 secs || 13216454 markings, 45151492 edges, 7874 markings/sec, 1285 secs
lola: sara is running 1290 secs || sara is running 1290 secs || 13268606 markings, 45321339 edges, 10430 markings/sec, 1290 secs
lola: sara is running 1295 secs || sara is running 1295 secs || 13318310 markings, 45499431 edges, 9941 markings/sec, 1295 secs
lola: sara is running 1300 secs || sara is running 1300 secs || 13371465 markings, 45676547 edges, 10631 markings/sec, 1300 secs
lola: sara is running 1305 secs || sara is running 1305 secs || 13414148 markings, 45809682 edges, 8537 markings/sec, 1305 secs
lola: sara is running 1310 secs || sara is running 1310 secs || 13461114 markings, 45955950 edges, 9393 markings/sec, 1310 secs
lola: sara is running 1315 secs || sara is running 1315 secs || 13506633 markings, 46101268 edges, 9104 markings/sec, 1315 secs
lola: sara is running 1320 secs || sara is running 1320 secs || 13540682 markings, 46216706 edges, 6810 markings/sec, 1320 secs
lola: sara is running 1325 secs || sara is running 1325 secs || 13576210 markings, 46336392 edges, 7106 markings/sec, 1325 secs
lola: sara is running 1330 secs || sara is running 1330 secs || 13622173 markings, 46484292 edges, 9193 markings/sec, 1330 secs
lola: sara is running 1335 secs || sara is running 1335 secs || 13675372 markings, 46659338 edges, 10640 markings/sec, 1335 secs
lola: sara is running 1340 secs || sara is running 1340 secs || 13734155 markings, 46855285 edges, 11757 markings/sec, 1340 secs
lola: sara is running 1345 secs || sara is running 1345 secs || 13785992 markings, 47038175 edges, 10367 markings/sec, 1345 secs
lola: sara is running 1350 secs || sara is running 1350 secs || 13838879 markings, 47232204 edges, 10577 markings/sec, 1350 secs
lola: sara is running 1355 secs || sara is running 1355 secs || 13895958 markings, 47430402 edges, 11416 markings/sec, 1355 secs
lola: sara is running 1360 secs || sara is running 1360 secs || 13947848 markings, 47628485 edges, 10378 markings/sec, 1360 secs
lola: sara is running 1365 secs || sara is running 1365 secs || 14001304 markings, 47822907 edges, 10691 markings/sec, 1365 secs
lola: sara is running 1370 secs || sara is running 1370 secs || 14054801 markings, 48007107 edges, 10699 markings/sec, 1370 secs
lola: sara is running 1375 secs || sara is running 1375 secs || 14103941 markings, 48188353 edges, 9828 markings/sec, 1375 secs
lola: sara is running 1380 secs || sara is running 1380 secs || 14156086 markings, 48385691 edges, 10429 markings/sec, 1380 secs
lola: sara is running 1385 secs || sara is running 1385 secs || 14209846 markings, 48578710 edges, 10752 markings/sec, 1385 secs
lola: sara is running 1390 secs || sara is running 1390 secs || 14264400 markings, 48755619 edges, 10911 markings/sec, 1390 secs
lola: sara is running 1395 secs || sara is running 1395 secs || 14320327 markings, 48937119 edges, 11185 markings/sec, 1395 secs
lola: sara is running 1400 secs || sara is running 1400 secs || 14375517 markings, 49127652 edges, 11038 markings/sec, 1400 secs
lola: sara is running 1405 secs || sara is running 1405 secs || 14424422 markings, 49314906 edges, 9781 markings/sec, 1405 secs
lola: sara is running 1410 secs || sara is running 1410 secs || 14479653 markings, 49504637 edges, 11046 markings/sec, 1410 secs
lola: sara is running 1415 secs || sara is running 1415 secs || 14533232 markings, 49703597 edges, 10716 markings/sec, 1415 secs
lola: sara is running 1420 secs || sara is running 1420 secs || 14584642 markings, 49892573 edges, 10282 markings/sec, 1420 secs
lola: sara is running 1425 secs || sara is running 1425 secs || 14638098 markings, 50075723 edges, 10691 markings/sec, 1425 secs
lola: sara is running 1430 secs || sara is running 1430 secs || 14691214 markings, 50265437 edges, 10623 markings/sec, 1430 secs
lola: sara is running 1435 secs || sara is running 1435 secs || 14745221 markings, 50456474 edges, 10801 markings/sec, 1435 secs
lola: sara is running 1440 secs || sara is running 1440 secs || 14793743 markings, 50629841 edges, 9704 markings/sec, 1440 secs
lola: sara is running 1445 secs || sara is running 1445 secs || 14843518 markings, 50814548 edges, 9955 markings/sec, 1445 secs
lola: sara is running 1450 secs || sara is running 1450 secs || 14896673 markings, 50988076 edges, 10631 markings/sec, 1450 secs
lola: sara is running 1455 secs || sara is running 1455 secs || 14950489 markings, 51160981 edges, 10763 markings/sec, 1455 secs
lola: sara is running 1460 secs || sara is running 1460 secs || 15004002 markings, 51345138 edges, 10703 markings/sec, 1460 secs
lola: sara is running 1465 secs || sara is running 1465 secs || 15049574 markings, 51525007 edges, 9114 markings/sec, 1465 secs
lola: sara is running 1470 secs || sara is running 1470 secs || 15098913 markings, 51695641 edges, 9868 markings/sec, 1470 secs
lola: sara is running 1475 secs || sara is running 1475 secs || 15153048 markings, 51892273 edges, 10827 markings/sec, 1475 secs
lola: sara is running 1480 secs || sara is running 1480 secs || 15202672 markings, 52070584 edges, 9925 markings/sec, 1480 secs
lola: sara is running 1485 secs || sara is running 1485 secs || 15252620 markings, 52248248 edges, 9990 markings/sec, 1485 secs
lola: sara is running 1490 secs || sara is running 1490 secs || 15303701 markings, 52428088 edges, 10216 markings/sec, 1490 secs
lola: sara is running 1495 secs || sara is running 1495 secs || 15350411 markings, 52599943 edges, 9342 markings/sec, 1495 secs
lola: sara is running 1500 secs || sara is running 1500 secs || 15397314 markings, 52770404 edges, 9381 markings/sec, 1500 secs
lola: sara is running 1505 secs || sara is running 1505 secs || 15444453 markings, 52946628 edges, 9428 markings/sec, 1505 secs
lola: sara is running 1510 secs || sara is running 1510 secs || 15494912 markings, 53118574 edges, 10092 markings/sec, 1510 secs
lola: sara is running 1515 secs || sara is running 1515 secs || 15544250 markings, 53288647 edges, 9868 markings/sec, 1515 secs
lola: sara is running 1520 secs || sara is running 1520 secs || 15597826 markings, 53463818 edges, 10715 markings/sec, 1520 secs
lola: sara is running 1525 secs || sara is running 1525 secs || 15646958 markings, 53647665 edges, 9826 markings/sec, 1525 secs
lola: sara is running 1530 secs || sara is running 1530 secs || 15699285 markings, 53829478 edges, 10465 markings/sec, 1530 secs
lola: sara is running 1535 secs || sara is running 1535 secs || 15748790 markings, 54003520 edges, 9901 markings/sec, 1535 secs
lola: sara is running 1540 secs || sara is running 1540 secs || 15798412 markings, 54167930 edges, 9924 markings/sec, 1540 secs
lola: sara is running 1545 secs || sara is running 1545 secs || 15848794 markings, 54330408 edges, 10076 markings/sec, 1545 secs
lola: sara is running 1550 secs || sara is running 1550 secs || 15892081 markings, 54486901 edges, 8657 markings/sec, 1550 secs
lola: sara is running 1555 secs || sara is running 1555 secs || 15942361 markings, 54653122 edges, 10056 markings/sec, 1555 secs
lola: sara is running 1560 secs || sara is running 1560 secs || 15991183 markings, 54823567 edges, 9764 markings/sec, 1560 secs
lola: sara is running 1565 secs || sara is running 1565 secs || 16040856 markings, 54985832 edges, 9935 markings/sec, 1565 secs
lola: sara is running 1570 secs || sara is running 1570 secs || 16088082 markings, 55148106 edges, 9445 markings/sec, 1570 secs
lola: sara is running 1575 secs || sara is running 1575 secs || 16135327 markings, 55310332 edges, 9449 markings/sec, 1575 secs
lola: sara is running 1580 secs || sara is running 1580 secs || 16181334 markings, 55466227 edges, 9201 markings/sec, 1580 secs
lola: sara is running 1585 secs || sara is running 1585 secs || 16229522 markings, 55621479 edges, 9638 markings/sec, 1585 secs
lola: sara is running 1590 secs || sara is running 1590 secs || 16268956 markings, 55759643 edges, 7887 markings/sec, 1590 secs
lola: sara is running 1595 secs || sara is running 1595 secs || 16308236 markings, 55907871 edges, 7856 markings/sec, 1595 secs
lola: sara is running 1600 secs || sara is running 1600 secs || 16353124 markings, 56066388 edges, 8978 markings/sec, 1600 secs
lola: sara is running 1605 secs || sara is running 1605 secs || 16409469 markings, 56258782 edges, 11269 markings/sec, 1605 secs
lola: sara is running 1610 secs || sara is running 1610 secs || 16461886 markings, 56437777 edges, 10483 markings/sec, 1610 secs
lola: sara is running 1615 secs || sara is running 1615 secs || 16513338 markings, 56623115 edges, 10290 markings/sec, 1615 secs
lola: sara is running 1620 secs || sara is running 1620 secs || 16556333 markings, 56775564 edges, 8599 markings/sec, 1620 secs
lola: sara is running 1625 secs || sara is running 1625 secs || 16603637 markings, 56940819 edges, 9461 markings/sec, 1625 secs
lola: sara is running 1630 secs || sara is running 1630 secs || 16649419 markings, 57090751 edges, 9156 markings/sec, 1630 secs
lola: sara is running 1635 secs || sara is running 1635 secs || 16694498 markings, 57251638 edges, 9016 markings/sec, 1635 secs
lola: sara is running 1640 secs || sara is running 1640 secs || 16736685 markings, 57392238 edges, 8437 markings/sec, 1640 secs
lola: sara is running 1645 secs || sara is running 1645 secs || 16768483 markings, 57507509 edges, 6360 markings/sec, 1645 secs
lola: sara is running 1650 secs || sara is running 1650 secs || 16812792 markings, 57655366 edges, 8862 markings/sec, 1650 secs
lola: sara is running 1655 secs || sara is running 1655 secs || 16864072 markings, 57827868 edges, 10256 markings/sec, 1655 secs
lola: sara is running 1660 secs || sara is running 1660 secs || 16915043 markings, 58001429 edges, 10194 markings/sec, 1660 secs
lola: sara is running 1665 secs || sara is running 1665 secs || 16960365 markings, 58158169 edges, 9064 markings/sec, 1665 secs
lola: sara is running 1670 secs || sara is running 1670 secs || 17009371 markings, 58322529 edges, 9801 markings/sec, 1670 secs
lola: sara is running 1675 secs || sara is running 1675 secs || 17045813 markings, 58452822 edges, 7288 markings/sec, 1675 secs
lola: sara is running 1680 secs || sara is running 1680 secs || 17079095 markings, 58576307 edges, 6656 markings/sec, 1680 secs
lola: sara is running 1685 secs || sara is running 1685 secs || 17109214 markings, 58687435 edges, 6024 markings/sec, 1685 secs
lola: sara is running 1690 secs || sara is running 1690 secs || 17141932 markings, 58809407 edges, 6544 markings/sec, 1690 secs
lola: sara is running 1695 secs || sara is running 1695 secs || 17174824 markings, 58932788 edges, 6578 markings/sec, 1695 secs
lola: sara is running 1700 secs || sara is running 1700 secs || 17208041 markings, 59056141 edges, 6643 markings/sec, 1700 secs
lola: sara is running 1705 secs || sara is running 1705 secs || 17240037 markings, 59180893 edges, 6399 markings/sec, 1705 secs
lola: sara is running 1710 secs || sara is running 1710 secs || 17273319 markings, 59304951 edges, 6656 markings/sec, 1710 secs
lola: sara is running 1715 secs || sara is running 1715 secs || 17310845 markings, 59430737 edges, 7505 markings/sec, 1715 secs
lola: sara is running 1720 secs || sara is running 1720 secs || 17351572 markings, 59564136 edges, 8145 markings/sec, 1720 secs
lola: sara is running 1725 secs || sara is running 1725 secs || 17387290 markings, 59678551 edges, 7144 markings/sec, 1725 secs
lola: sara is running 1730 secs || sara is running 1730 secs || 17435559 markings, 59832949 edges, 9654 markings/sec, 1730 secs
lola: sara is running 1735 secs || sara is running 1735 secs || 17488259 markings, 60003928 edges, 10540 markings/sec, 1735 secs
lola: sara is running 1740 secs || sara is running 1740 secs || 17537260 markings, 60162430 edges, 9800 markings/sec, 1740 secs
lola: sara is running 1745 secs || sara is running 1745 secs || 17579213 markings, 60307779 edges, 8391 markings/sec, 1745 secs
lola: sara is running 1750 secs || sara is running 1750 secs || 17620785 markings, 60455199 edges, 8314 markings/sec, 1750 secs
lola: sara is running 1755 secs || sara is running 1755 secs || 17677289 markings, 60629724 edges, 11301 markings/sec, 1755 secs
lola: sara is running 1760 secs || sara is running 1760 secs || 17725987 markings, 60783163 edges, 9740 markings/sec, 1760 secs
lola: sara is running 1765 secs || sara is running 1765 secs || 17764524 markings, 60947975 edges, 7707 markings/sec, 1765 secs
lola: sara is running 1770 secs || sara is running 1770 secs || 17807400 markings, 61121550 edges, 8575 markings/sec, 1770 secs
lola: sara is running 1775 secs || sara is running 1775 secs || 17851457 markings, 61279577 edges, 8811 markings/sec, 1775 secs
lola: sara is running 1780 secs || sara is running 1780 secs || 17897942 markings, 61433282 edges, 9297 markings/sec, 1780 secs
lola: sara is running 1785 secs || sara is running 1785 secs || 17947390 markings, 61590653 edges, 9890 markings/sec, 1785 secs
lola: sara is running 1790 secs || sara is running 1790 secs || 17992961 markings, 61742231 edges, 9114 markings/sec, 1790 secs
lola: sara is running 1795 secs || sara is running 1795 secs || 18041630 markings, 61906844 edges, 9734 markings/sec, 1795 secs
lola: sara is running 1800 secs || sara is running 1800 secs || 18099862 markings, 62077379 edges, 11646 markings/sec, 1800 secs
lola: sara is running 1805 secs || sara is running 1805 secs || 18149188 markings, 62226261 edges, 9865 markings/sec, 1805 secs
lola: sara is running 1810 secs || sara is running 1810 secs || 18200260 markings, 62395162 edges, 10214 markings/sec, 1810 secs
lola: sara is running 1815 secs || sara is running 1815 secs || 18250862 markings, 62563380 edges, 10120 markings/sec, 1815 secs
lola: sara is running 1820 secs || sara is running 1820 secs || 18301211 markings, 62730017 edges, 10070 markings/sec, 1820 secs
lola: sara is running 1825 secs || sara is running 1825 secs || 18351729 markings, 62897244 edges, 10104 markings/sec, 1825 secs
lola: sara is running 1830 secs || sara is running 1830 secs || 18401832 markings, 63063208 edges, 10021 markings/sec, 1830 secs
lola: sara is running 1835 secs || sara is running 1835 secs || 18452615 markings, 63224534 edges, 10157 markings/sec, 1835 secs
lola: sara is running 1840 secs || sara is running 1840 secs || 18498004 markings, 63375006 edges, 9078 markings/sec, 1840 secs
lola: sara is running 1845 secs || sara is running 1845 secs || 18551382 markings, 63549532 edges, 10676 markings/sec, 1845 secs
lola: sara is running 1850 secs || sara is running 1850 secs || 18602510 markings, 63687373 edges, 10226 markings/sec, 1850 secs
lola: sara is running 1855 secs || sara is running 1855 secs || 18641435 markings, 63856554 edges, 7785 markings/sec, 1855 secs
lola: sara is running 1860 secs || sara is running 1860 secs || 18681172 markings, 64026628 edges, 7947 markings/sec, 1860 secs
lola: sara is running 1865 secs || sara is running 1865 secs || 18724949 markings, 64187372 edges, 8755 markings/sec, 1865 secs
lola: sara is running 1870 secs || sara is running 1870 secs || 18770111 markings, 64336409 edges, 9032 markings/sec, 1870 secs
lola: sara is running 1875 secs || sara is running 1875 secs || 18816798 markings, 64490662 edges, 9337 markings/sec, 1875 secs
lola: sara is running 1880 secs || sara is running 1880 secs || 18860113 markings, 64633723 edges, 8663 markings/sec, 1880 secs
lola: sara is running 1885 secs || sara is running 1885 secs || 18906496 markings, 64787361 edges, 9277 markings/sec, 1885 secs
lola: sara is running 1890 secs || sara is running 1890 secs || 18953148 markings, 64936239 edges, 9330 markings/sec, 1890 secs
lola: sara is running 1895 secs || sara is running 1895 secs || 19001661 markings, 65099870 edges, 9703 markings/sec, 1895 secs
lola: sara is running 1900 secs || sara is running 1900 secs || 19059554 markings, 65282851 edges, 11579 markings/sec, 1900 secs
lola: sara is running 1905 secs || sara is running 1905 secs || 19114002 markings, 65475851 edges, 10890 markings/sec, 1905 secs
lola: sara is running 1910 secs || sara is running 1910 secs || 19168482 markings, 65656248 edges, 10896 markings/sec, 1910 secs
lola: sara is running 1915 secs || sara is running 1915 secs || 19219434 markings, 65831531 edges, 10190 markings/sec, 1915 secs
lola: sara is running 1920 secs || sara is running 1920 secs || 19268251 markings, 65991672 edges, 9763 markings/sec, 1920 secs
lola: sara is running 1925 secs || sara is running 1925 secs || 19315739 markings, 66158541 edges, 9498 markings/sec, 1925 secs
lola: sara is running 1930 secs || sara is running 1930 secs || 19359228 markings, 66303444 edges, 8698 markings/sec, 1930 secs
lola: sara is running 1935 secs || sara is running 1935 secs || 19405778 markings, 66464041 edges, 9310 markings/sec, 1935 secs
lola: sara is running 1940 secs || sara is running 1940 secs || 19441667 markings, 66589783 edges, 7178 markings/sec, 1940 secs
lola: sara is running 1945 secs || sara is running 1945 secs || 19471752 markings, 66690582 edges, 6017 markings/sec, 1945 secs
lola: sara is running 1950 secs || sara is running 1950 secs || 19500104 markings, 66781922 edges, 5670 markings/sec, 1950 secs
lola: sara is running 1955 secs || sara is running 1955 secs || 19530761 markings, 66883273 edges, 6131 markings/sec, 1955 secs
lola: sara is running 1960 secs || sara is running 1960 secs || 19563669 markings, 66991212 edges, 6582 markings/sec, 1960 secs
lola: sara is running 1965 secs || sara is running 1965 secs || 19587048 markings, 67075189 edges, 4676 markings/sec, 1965 secs
lola: sara is running 1970 secs || sara is running 1970 secs || 19610835 markings, 67153165 edges, 4757 markings/sec, 1970 secs
lola: sara is running 1975 secs || sara is running 1975 secs || 19637253 markings, 67239458 edges, 5284 markings/sec, 1975 secs
lola: sara is running 1980 secs || sara is running 1980 secs || 19659922 markings, 67312002 edges, 4534 markings/sec, 1980 secs
lola: sara is running 1985 secs || sara is running 1985 secs || 19680606 markings, 67381597 edges, 4137 markings/sec, 1985 secs
lola: sara is running 1990 secs || sara is running 1990 secs || 19705207 markings, 67462638 edges, 4920 markings/sec, 1990 secs
lola: sara is running 1995 secs || sara is running 1995 secs || 19725294 markings, 67526817 edges, 4017 markings/sec, 1995 secs
lola: sara is running 2000 secs || sara is running 2000 secs || 19751173 markings, 67629433 edges, 5176 markings/sec, 2000 secs
lola: sara is running 2005 secs || sara is running 2005 secs || 19796494 markings, 67779892 edges, 9064 markings/sec, 2005 secs
lola: sara is running 2010 secs || sara is running 2010 secs || 19845776 markings, 67943024 edges, 9856 markings/sec, 2010 secs
lola: sara is running 2015 secs || sara is running 2015 secs || 19895356 markings, 68106978 edges, 9916 markings/sec, 2015 secs
lola: sara is running 2020 secs || sara is running 2020 secs || 19945049 markings, 68271249 edges, 9939 markings/sec, 2020 secs
lola: sara is running 2025 secs || sara is running 2025 secs || 19994681 markings, 68435381 edges, 9926 markings/sec, 2025 secs
lola: sara is running 2030 secs || sara is running 2030 secs || 20033723 markings, 68604159 edges, 7808 markings/sec, 2030 secs
lola: sara is running 2035 secs || sara is running 2035 secs || 20079686 markings, 68764796 edges, 9193 markings/sec, 2035 secs
lola: sara is running 2040 secs || sara is running 2040 secs || 20128931 markings, 68927761 edges, 9849 markings/sec, 2040 secs
lola: sara is running 2045 secs || sara is running 2045 secs || 20177990 markings, 69090326 edges, 9812 markings/sec, 2045 secs
lola: sara is running 2050 secs || sara is running 2050 secs || 20226841 markings, 69252123 edges, 9770 markings/sec, 2050 secs
lola: sara is running 2055 secs || sara is running 2055 secs || 20275985 markings, 69414701 edges, 9829 markings/sec, 2055 secs
lola: sara is running 2060 secs || sara is running 2060 secs || 20324837 markings, 69576489 edges, 9770 markings/sec, 2060 secs
lola: sara is running 2065 secs || sara is running 2065 secs || 20374507 markings, 69733931 edges, 9934 markings/sec, 2065 secs
lola: sara is running 2070 secs || sara is running 2070 secs || 20419283 markings, 69882030 edges, 8955 markings/sec, 2070 secs
lola: sara is running 2075 secs || sara is running 2075 secs || 20469671 markings, 70053215 edges, 10078 markings/sec, 2075 secs
lola: sara is running 2080 secs || sara is running 2080 secs || 20513780 markings, 70200552 edges, 8822 markings/sec, 2080 secs
lola: sara is running 2085 secs || sara is running 2085 secs || 20560872 markings, 70359526 edges, 9418 markings/sec, 2085 secs
lola: sara is running 2090 secs || sara is running 2090 secs || 20617646 markings, 70539508 edges, 11355 markings/sec, 2090 secs
lola: sara is running 2095 secs || sara is running 2095 secs || 20672764 markings, 70726437 edges, 11024 markings/sec, 2095 secs
lola: sara is running 2100 secs || sara is running 2100 secs || 20722433 markings, 70894132 edges, 9934 markings/sec, 2100 secs
lola: sara is running 2105 secs || sara is running 2105 secs || 20772473 markings, 71062364 edges, 10008 markings/sec, 2105 secs
lola: sara is running 2110 secs || sara is running 2110 secs || 20815623 markings, 71210853 edges, 8630 markings/sec, 2110 secs
lola: sara is running 2115 secs || sara is running 2115 secs || 20863638 markings, 71370277 edges, 9603 markings/sec, 2115 secs
lola: sara is running 2120 secs || sara is running 2120 secs || 20905583 markings, 71514333 edges, 8389 markings/sec, 2120 secs
lola: sara is running 2125 secs || sara is running 2125 secs || 20947861 markings, 71658404 edges, 8456 markings/sec, 2125 secs
lola: sara is running 2130 secs || sara is running 2130 secs || 20989798 markings, 71801705 edges, 8387 markings/sec, 2130 secs
lola: sara is running 2135 secs || sara is running 2135 secs || 21023051 markings, 71916802 edges, 6651 markings/sec, 2135 secs
lola: sara is running 2140 secs || sara is running 2140 secs || 21050961 markings, 72007787 edges, 5582 markings/sec, 2140 secs
lola: sara is running 2145 secs || sara is running 2145 secs || 21079151 markings, 72100134 edges, 5638 markings/sec, 2145 secs
lola: sara is running 2150 secs || sara is running 2150 secs || 21110044 markings, 72201748 edges, 6179 markings/sec, 2150 secs
lola: sara is running 2155 secs || sara is running 2155 secs || 21137143 markings, 72294280 edges, 5420 markings/sec, 2155 secs
lola: sara is running 2160 secs || sara is running 2160 secs || 21161039 markings, 72375873 edges, 4779 markings/sec, 2160 secs
lola: sara is running 2165 secs || sara is running 2165 secs || 21184262 markings, 72452444 edges, 4645 markings/sec, 2165 secs
lola: sara is running 2170 secs || sara is running 2170 secs || 21210393 markings, 72538071 edges, 5226 markings/sec, 2170 secs
lola: sara is running 2175 secs || sara is running 2175 secs || 21231962 markings, 72608615 edges, 4314 markings/sec, 2175 secs
lola: sara is running 2180 secs || sara is running 2180 secs || 21255246 markings, 72684550 edges, 4657 markings/sec, 2180 secs
lola: sara is running 2185 secs || sara is running 2185 secs || 21277288 markings, 72757985 edges, 4408 markings/sec, 2185 secs
lola: sara is running 2190 secs || sara is running 2190 secs || 21297053 markings, 72823526 edges, 3953 markings/sec, 2190 secs
lola: sara is running 2195 secs || sara is running 2195 secs || 21326115 markings, 72932288 edges, 5812 markings/sec, 2195 secs
lola: sara is running 2200 secs || sara is running 2200 secs || 21373485 markings, 73090844 edges, 9474 markings/sec, 2200 secs
lola: sara is running 2205 secs || sara is running 2205 secs || 21421437 markings, 73251991 edges, 9590 markings/sec, 2205 secs
lola: sara is running 2210 secs || sara is running 2210 secs || 21472549 markings, 73425126 edges, 10222 markings/sec, 2210 secs
lola: sara is running 2215 secs || sara is running 2215 secs || 21519615 markings, 73581450 edges, 9413 markings/sec, 2215 secs
lola: sara is running 2220 secs || sara is running 2220 secs || 21572588 markings, 73760875 edges, 10595 markings/sec, 2220 secs
lola: sara is running 2225 secs || sara is running 2225 secs || 21620496 markings, 73920741 edges, 9582 markings/sec, 2225 secs
lola: sara is running 2230 secs || sara is running 2230 secs || 21671506 markings, 74092563 edges, 10202 markings/sec, 2230 secs
lola: sara is running 2235 secs || sara is running 2235 secs || 21722691 markings, 74266793 edges, 10237 markings/sec, 2235 secs
lola: sara is running 2240 secs || sara is running 2240 secs || 21770411 markings, 74424275 edges, 9544 markings/sec, 2240 secs
lola: sara is running 2245 secs || sara is running 2245 secs || 21823341 markings, 74604129 edges, 10586 markings/sec, 2245 secs
lola: sara is running 2250 secs || sara is running 2250 secs || 21870169 markings, 74760617 edges, 9366 markings/sec, 2250 secs
lola: sara is running 2255 secs || sara is running 2255 secs || 21921481 markings, 74933939 edges, 10262 markings/sec, 2255 secs
lola: sara is running 2260 secs || sara is running 2260 secs || 21964111 markings, 75109121 edges, 8526 markings/sec, 2260 secs
lola: sara is running 2265 secs || sara is running 2265 secs || 21999094 markings, 75259068 edges, 6997 markings/sec, 2265 secs
lola: sara is running 2270 secs || sara is running 2270 secs || 22038368 markings, 75431377 edges, 7855 markings/sec, 2270 secs
lola: sara is running 2275 secs || sara is running 2275 secs || 22085229 markings, 75607354 edges, 9372 markings/sec, 2275 secs
lola: sara is running 2280 secs || sara is running 2280 secs || 22131781 markings, 75761726 edges, 9310 markings/sec, 2280 secs
lola: sara is running 2285 secs || sara is running 2285 secs || 22184780 markings, 75941099 edges, 10600 markings/sec, 2285 secs
lola: sara is running 2290 secs || sara is running 2290 secs || 22232086 markings, 76099516 edges, 9461 markings/sec, 2290 secs
lola: sara is running 2295 secs || sara is running 2295 secs || 22282922 markings, 76270628 edges, 10167 markings/sec, 2295 secs
lola: sara is running 2300 secs || sara is running 2300 secs || 22333884 markings, 76443760 edges, 10192 markings/sec, 2300 secs
lola: sara is running 2305 secs || sara is running 2305 secs || 22381206 markings, 76600507 edges, 9464 markings/sec, 2305 secs
lola: sara is running 2310 secs || sara is running 2310 secs || 22434466 markings, 76781107 edges, 10652 markings/sec, 2310 secs
lola: sara is running 2315 secs || sara is running 2315 secs || 22489931 markings, 76968559 edges, 11093 markings/sec, 2315 secs
lola: sara is running 2320 secs || sara is running 2320 secs || 22541774 markings, 77139814 edges, 10369 markings/sec, 2320 secs
lola: sara is running 2325 secs || sara is running 2325 secs || 22587239 markings, 77295114 edges, 9093 markings/sec, 2325 secs
lola: sara is running 2330 secs || sara is running 2330 secs || 22623805 markings, 77407956 edges, 7313 markings/sec, 2330 secs
lola: sara is running 2335 secs || sara is running 2335 secs || 22656144 markings, 77514186 edges, 6468 markings/sec, 2335 secs
lola: sara is running 2340 secs || sara is running 2340 secs || 22684480 markings, 77600023 edges, 5667 markings/sec, 2340 secs
lola: sara is running 2345 secs || sara is running 2345 secs || 22732269 markings, 77758276 edges, 9558 markings/sec, 2345 secs
lola: sara is running 2350 secs || sara is running 2350 secs || 22779841 markings, 77916252 edges, 9514 markings/sec, 2350 secs
lola: sara is running 2355 secs || sara is running 2355 secs || 22827453 markings, 78073937 edges, 9522 markings/sec, 2355 secs
lola: sara is running 2360 secs || sara is running 2360 secs || 22874884 markings, 78231032 edges, 9486 markings/sec, 2360 secs
lola: sara is running 2365 secs || sara is running 2365 secs || 22922293 markings, 78388044 edges, 9482 markings/sec, 2365 secs
lola: sara is running 2370 secs || sara is running 2370 secs || 22969653 markings, 78544896 edges, 9472 markings/sec, 2370 secs
lola: sara is running 2375 secs || sara is running 2375 secs || 23003102 markings, 78716212 edges, 6690 markings/sec, 2375 secs
lola: sara is running 2380 secs || sara is running 2380 secs || 23033783 markings, 78864381 edges, 6136 markings/sec, 2380 secs
lola: sara is running 2385 secs || sara is running 2385 secs || 23068209 markings, 79014269 edges, 6885 markings/sec, 2385 secs
lola: sara is running 2390 secs || sara is running 2390 secs || 23115401 markings, 79170777 edges, 9438 markings/sec, 2390 secs
lola: sara is running 2395 secs || sara is running 2395 secs || 23159832 markings, 79318139 edges, 8886 markings/sec, 2395 secs
lola: sara is running 2400 secs || sara is running 2400 secs || 23204829 markings, 79467138 edges, 8999 markings/sec, 2400 secs
lola: sara is running 2405 secs || sara is running 2405 secs || 23252228 markings, 79617159 edges, 9480 markings/sec, 2405 secs
lola: sara is running 2410 secs || sara is running 2410 secs || 23294339 markings, 79756616 edges, 8422 markings/sec, 2410 secs
lola: sara is running 2415 secs || sara is running 2415 secs || 23345261 markings, 79930063 edges, 10184 markings/sec, 2415 secs
lola: sara is running 2420 secs || sara is running 2420 secs || 23397111 markings, 80069786 edges, 10370 markings/sec, 2420 secs
lola: sara is running 2425 secs || sara is running 2425 secs || 23444726 markings, 80221088 edges, 9523 markings/sec, 2425 secs
lola: sara is running 2430 secs || sara is running 2430 secs || 23492065 markings, 80377624 edges, 9468 markings/sec, 2430 secs
lola: sara is running 2435 secs || sara is running 2435 secs || 23539115 markings, 80533197 edges, 9410 markings/sec, 2435 secs
lola: sara is running 2440 secs || sara is running 2440 secs || 23585986 markings, 80688408 edges, 9374 markings/sec, 2440 secs
lola: sara is running 2445 secs || sara is running 2445 secs || 23632919 markings, 80843753 edges, 9387 markings/sec, 2445 secs
lola: sara is running 2450 secs || sara is running 2450 secs || 23679943 markings, 80999391 edges, 9405 markings/sec, 2450 secs
lola: sara is running 2455 secs || sara is running 2455 secs || 23726981 markings, 81154982 edges, 9408 markings/sec, 2455 secs
lola: sara is running 2460 secs || sara is running 2460 secs || 23767116 markings, 81312079 edges, 8027 markings/sec, 2460 secs
lola: sara is running 2465 secs || sara is running 2465 secs || 23801910 markings, 81461320 edges, 6959 markings/sec, 2465 secs
lola: sara is running 2470 secs || sara is running 2470 secs || 23835442 markings, 81607727 edges, 6706 markings/sec, 2470 secs
lola: sara is running 2475 secs || sara is running 2475 secs || 23881479 markings, 81762532 edges, 9207 markings/sec, 2475 secs
lola: sara is running 2480 secs || sara is running 2480 secs || 23909202 markings, 81933709 edges, 5545 markings/sec, 2480 secs
lola: sara is running 2485 secs || sara is running 2485 secs || 23936923 markings, 82082656 edges, 5544 markings/sec, 2485 secs
lola: sara is running 2490 secs || sara is running 2490 secs || 23962222 markings, 82218916 edges, 5060 markings/sec, 2490 secs
lola: sara is running 2495 secs || sara is running 2495 secs || 24004528 markings, 82360452 edges, 8461 markings/sec, 2495 secs
lola: sara is running 2500 secs || sara is running 2500 secs || 24047127 markings, 82503135 edges, 8520 markings/sec, 2500 secs
lola: sara is running 2505 secs || sara is running 2505 secs || 24090375 markings, 82646036 edges, 8650 markings/sec, 2505 secs
lola: sara is running 2510 secs || sara is running 2510 secs || 24132588 markings, 82785613 edges, 8443 markings/sec, 2510 secs
lola: sara is running 2515 secs || sara is running 2515 secs || 24173875 markings, 82921305 edges, 8257 markings/sec, 2515 secs
lola: sara is running 2520 secs || sara is running 2520 secs || 24217098 markings, 83056970 edges, 8645 markings/sec, 2520 secs
lola: sara is running 2525 secs || sara is running 2525 secs || 24256674 markings, 83188899 edges, 7915 markings/sec, 2525 secs
lola: sara is running 2530 secs || sara is running 2530 secs || 24302300 markings, 83343104 edges, 9125 markings/sec, 2530 secs
lola: sara is running 2535 secs || sara is running 2535 secs || 24355326 markings, 83503710 edges, 10605 markings/sec, 2535 secs
lola: sara is running 2540 secs || sara is running 2540 secs || 24398239 markings, 83622478 edges, 8583 markings/sec, 2540 secs
lola: sara is running 2545 secs || sara is running 2545 secs || 24438233 markings, 83755354 edges, 7999 markings/sec, 2545 secs
lola: sara is running 2550 secs || sara is running 2550 secs || 24478708 markings, 83891494 edges, 8095 markings/sec, 2550 secs
lola: sara is running 2555 secs || sara is running 2555 secs || 24521647 markings, 84033338 edges, 8588 markings/sec, 2555 secs
lola: sara is running 2560 secs || sara is running 2560 secs || 24563891 markings, 84172817 edges, 8449 markings/sec, 2560 secs
lola: sara is running 2565 secs || sara is running 2565 secs || 24605428 markings, 84309414 edges, 8307 markings/sec, 2565 secs
lola: sara is running 2570 secs || sara is running 2570 secs || 24646830 markings, 84445824 edges, 8280 markings/sec, 2570 secs
lola: sara is running 2575 secs || sara is running 2575 secs || 24688276 markings, 84582628 edges, 8289 markings/sec, 2575 secs
lola: sara is running 2580 secs || sara is running 2580 secs || 24726887 markings, 84716359 edges, 7722 markings/sec, 2580 secs
lola: sara is running 2585 secs || sara is running 2585 secs || 24755172 markings, 84867329 edges, 5657 markings/sec, 2585 secs
lola: sara is running 2590 secs || sara is running 2590 secs || 24781991 markings, 84998041 edges, 5364 markings/sec, 2590 secs
lola: sara is running 2595 secs || sara is running 2595 secs || 24813070 markings, 85134591 edges, 6216 markings/sec, 2595 secs
lola: sara is running 2600 secs || sara is running 2600 secs || 24853646 markings, 85275611 edges, 8115 markings/sec, 2600 secs
lola: sara is running 2605 secs || sara is running 2605 secs || 24894875 markings, 85411385 edges, 8246 markings/sec, 2605 secs
lola: sara is running 2610 secs || sara is running 2610 secs || 24935432 markings, 85544705 edges, 8111 markings/sec, 2610 secs
lola: sara is running 2615 secs || sara is running 2615 secs || 24977660 markings, 85677113 edges, 8446 markings/sec, 2615 secs
lola: sara is running 2620 secs || sara is running 2620 secs || 25016371 markings, 85807783 edges, 7742 markings/sec, 2620 secs
lola: sara is running 2625 secs || sara is running 2625 secs || 25061689 markings, 85958819 edges, 9064 markings/sec, 2625 secs
lola: sara is running 2630 secs || sara is running 2630 secs || 25113459 markings, 86121902 edges, 10354 markings/sec, 2630 secs
lola: sara is running 2635 secs || sara is running 2635 secs || 25157516 markings, 86240813 edges, 8811 markings/sec, 2635 secs
lola: sara is running 2640 secs || sara is running 2640 secs || 25198520 markings, 86377651 edges, 8201 markings/sec, 2640 secs
lola: sara is running 2645 secs || sara is running 2645 secs || 25240795 markings, 86517352 edges, 8455 markings/sec, 2645 secs
lola: sara is running 2650 secs || sara is running 2650 secs || 25282692 markings, 86655368 edges, 8379 markings/sec, 2650 secs
lola: sara is running 2655 secs || sara is running 2655 secs || 25323846 markings, 86790498 edges, 8231 markings/sec, 2655 secs
lola: sara is running 2660 secs || sara is running 2660 secs || 25364310 markings, 86924622 edges, 8093 markings/sec, 2660 secs
lola: sara is running 2665 secs || sara is running 2665 secs || 25404854 markings, 87057400 edges, 8109 markings/sec, 2665 secs
lola: sara is running 2670 secs || sara is running 2670 secs || 25443649 markings, 87188741 edges, 7759 markings/sec, 2670 secs
lola: sara is running 2675 secs || sara is running 2675 secs || 25488137 markings, 87329353 edges, 8898 markings/sec, 2675 secs
lola: sara is running 2680 secs || sara is running 2680 secs || 25528983 markings, 87464778 edges, 8169 markings/sec, 2680 secs
lola: sara is running 2685 secs || sara is running 2685 secs || 25579188 markings, 87634472 edges, 10041 markings/sec, 2685 secs
lola: sara is running 2690 secs || sara is running 2690 secs || 25626985 markings, 87763904 edges, 9559 markings/sec, 2690 secs
lola: sara is running 2695 secs || sara is running 2695 secs || 25663262 markings, 87900214 edges, 7255 markings/sec, 2695 secs
lola: sara is running 2700 secs || sara is running 2700 secs || 25696427 markings, 88030719 edges, 6633 markings/sec, 2700 secs
lola: sara is running 2705 secs || sara is running 2705 secs || 25735380 markings, 88158973 edges, 7791 markings/sec, 2705 secs
lola: sara is running 2710 secs || sara is running 2710 secs || 25781406 markings, 88309105 edges, 9205 markings/sec, 2710 secs
lola: sara is running 2715 secs || sara is running 2715 secs || 25831678 markings, 88478664 edges, 10054 markings/sec, 2715 secs
lola: sara is running 2720 secs || sara is running 2720 secs || 25886559 markings, 88653737 edges, 10976 markings/sec, 2720 secs
lola: sara is running 2725 secs || sara is running 2725 secs || 25931866 markings, 88811805 edges, 9061 markings/sec, 2725 secs
lola: sara is running 2730 secs || sara is running 2730 secs || 25979345 markings, 88973850 edges, 9496 markings/sec, 2730 secs
lola: sara is running 2735 secs || sara is running 2735 secs || 26023585 markings, 89123108 edges, 8848 markings/sec, 2735 secs
lola: sara is running 2740 secs || sara is running 2740 secs || 26069582 markings, 89277684 edges, 9199 markings/sec, 2740 secs
lola: sara is running 2745 secs || sara is running 2745 secs || 26110858 markings, 89419439 edges, 8255 markings/sec, 2745 secs
lola: sara is running 2750 secs || sara is running 2750 secs || 26151140 markings, 89555849 edges, 8056 markings/sec, 2750 secs
lola: sara is running 2755 secs || sara is running 2755 secs || 26192848 markings, 89696802 edges, 8342 markings/sec, 2755 secs
lola: sara is running 2760 secs || sara is running 2760 secs || 26230136 markings, 89826737 edges, 7458 markings/sec, 2760 secs
lola: sara is running 2765 secs || sara is running 2765 secs || 26261204 markings, 89930922 edges, 6214 markings/sec, 2765 secs
lola: sara is running 2770 secs || sara is running 2770 secs || 26290344 markings, 90027105 edges, 5828 markings/sec, 2770 secs
lola: sara is running 2775 secs || sara is running 2775 secs || 26320579 markings, 90127521 edges, 6047 markings/sec, 2775 secs
lola: sara is running 2780 secs || sara is running 2780 secs || 26352438 markings, 90230583 edges, 6372 markings/sec, 2780 secs
lola: sara is running 2785 secs || sara is running 2785 secs || 26379153 markings, 90322567 edges, 5343 markings/sec, 2785 secs
lola: sara is running 2790 secs || sara is running 2790 secs || 26403999 markings, 90408058 edges, 4969 markings/sec, 2790 secs
lola: sara is running 2795 secs || sara is running 2795 secs || 26431200 markings, 90496836 edges, 5440 markings/sec, 2795 secs
lola: sara is running 2800 secs || sara is running 2800 secs || 26455348 markings, 90574483 edges, 4830 markings/sec, 2800 secs
lola: sara is running 2805 secs || sara is running 2805 secs || 26478227 markings, 90651577 edges, 4576 markings/sec, 2805 secs
lola: sara is running 2810 secs || sara is running 2810 secs || 26503707 markings, 90734508 edges, 5096 markings/sec, 2810 secs
lola: sara is running 2815 secs || sara is running 2815 secs || 26525442 markings, 90806712 edges, 4347 markings/sec, 2815 secs
lola: sara is running 2820 secs || sara is running 2820 secs || 26556333 markings, 90921358 edges, 6178 markings/sec, 2820 secs
lola: sara is running 2825 secs || sara is running 2825 secs || 26594346 markings, 91050189 edges, 7603 markings/sec, 2825 secs
lola: sara is running 2830 secs || sara is running 2830 secs || 26636218 markings, 91188457 edges, 8374 markings/sec, 2830 secs
lola: sara is running 2835 secs || sara is running 2835 secs || 26677444 markings, 91324468 edges, 8245 markings/sec, 2835 secs
lola: sara is running 2840 secs || sara is running 2840 secs || 26717923 markings, 91457157 edges, 8096 markings/sec, 2840 secs
lola: sara is running 2845 secs || sara is running 2845 secs || 26757573 markings, 91588640 edges, 7930 markings/sec, 2845 secs
lola: sara is running 2850 secs || sara is running 2850 secs || 26797172 markings, 91718459 edges, 7920 markings/sec, 2850 secs
lola: sara is running 2855 secs || sara is running 2855 secs || 26835200 markings, 91847353 edges, 7606 markings/sec, 2855 secs
lola: sara is running 2860 secs || sara is running 2860 secs || 26876935 markings, 91985217 edges, 8347 markings/sec, 2860 secs
lola: sara is running 2865 secs || sara is running 2865 secs || 26917829 markings, 92120161 edges, 8179 markings/sec, 2865 secs
lola: sara is running 2870 secs || sara is running 2870 secs || 26957820 markings, 92251395 edges, 7998 markings/sec, 2870 secs
lola: sara is running 2875 secs || sara is running 2875 secs || 26994392 markings, 92383617 edges, 7314 markings/sec, 2875 secs
lola: sara is running 2880 secs || sara is running 2880 secs || 27024072 markings, 92513816 edges, 5936 markings/sec, 2880 secs
lola: sara is running 2885 secs || sara is running 2885 secs || 27065741 markings, 92650943 edges, 8334 markings/sec, 2885 secs
lola: sara is running 2890 secs || sara is running 2890 secs || 27105178 markings, 92781222 edges, 7887 markings/sec, 2890 secs
lola: sara is running 2895 secs || sara is running 2895 secs || 27152515 markings, 92941958 edges, 9467 markings/sec, 2895 secs
lola: sara is running 2900 secs || sara is running 2900 secs || 27202798 markings, 93085242 edges, 10057 markings/sec, 2900 secs
lola: sara is running 2905 secs || sara is running 2905 secs || 27244417 markings, 93207780 edges, 8324 markings/sec, 2905 secs
lola: sara is running 2910 secs || sara is running 2910 secs || 27283656 markings, 93337387 edges, 7848 markings/sec, 2910 secs
lola: sara is running 2915 secs || sara is running 2915 secs || 27322085 markings, 93464503 edges, 7686 markings/sec, 2915 secs
lola: sara is running 2920 secs || sara is running 2920 secs || 27360985 markings, 93595570 edges, 7780 markings/sec, 2920 secs
lola: sara is running 2925 secs || sara is running 2925 secs || 27401962 markings, 93730951 edges, 8195 markings/sec, 2925 secs
lola: sara is running 2930 secs || sara is running 2930 secs || 27442149 markings, 93862916 edges, 8037 markings/sec, 2930 secs
lola: sara is running 2935 secs || sara is running 2935 secs || 27481530 markings, 93992257 edges, 7876 markings/sec, 2935 secs
lola: sara is running 2940 secs || sara is running 2940 secs || 27522410 markings, 94120297 edges, 8176 markings/sec, 2940 secs
lola: sara is running 2945 secs || sara is running 2945 secs || 27559573 markings, 94246256 edges, 7433 markings/sec, 2945 secs
lola: sara is running 2950 secs || sara is running 2950 secs || 27603520 markings, 94391994 edges, 8789 markings/sec, 2950 secs
lola: sara is running 2955 secs || sara is running 2955 secs || 27654099 markings, 94556657 edges, 10116 markings/sec, 2955 secs
lola: sara is running 2960 secs || sara is running 2960 secs || 27697131 markings, 94673822 edges, 8606 markings/sec, 2960 secs
lola: sara is running 2965 secs || sara is running 2965 secs || 27732341 markings, 94812498 edges, 7042 markings/sec, 2965 secs
lola: sara is running 2970 secs || sara is running 2970 secs || 27767689 markings, 94940080 edges, 7070 markings/sec, 2970 secs
lola: sara is running 2975 secs || sara is running 2975 secs || 27804195 markings, 95063251 edges, 7301 markings/sec, 2975 secs
lola: sara is running 2980 secs || sara is running 2980 secs || 27849428 markings, 95213828 edges, 9047 markings/sec, 2980 secs
lola: sara is running 2985 secs || sara is running 2985 secs || 27900109 markings, 95373819 edges, 10136 markings/sec, 2985 secs
lola: sara is running 2990 secs || sara is running 2990 secs || 27942001 markings, 95487949 edges, 8378 markings/sec, 2990 secs
lola: sara is running 2995 secs || sara is running 2995 secs || 27982938 markings, 95621808 edges, 8187 markings/sec, 2995 secs
lola: sara is running 3000 secs || sara is running 3000 secs || 28023139 markings, 95754058 edges, 8040 markings/sec, 3000 secs
lola: sara is running 3005 secs || sara is running 3005 secs || 28062283 markings, 95882656 edges, 7829 markings/sec, 3005 secs
lola: sara is running 3010 secs || sara is running 3010 secs || 28100903 markings, 96010220 edges, 7724 markings/sec, 3010 secs
lola: sara is running 3015 secs || sara is running 3015 secs || 28138353 markings, 96134534 edges, 7490 markings/sec, 3015 secs
lola: sara is running 3020 secs || sara is running 3020 secs || 28177157 markings, 96264716 edges, 7761 markings/sec, 3020 secs
lola: sara is running 3025 secs || sara is running 3025 secs || 28217636 markings, 96398412 edges, 8096 markings/sec, 3025 secs
lola: sara is running 3030 secs || sara is running 3030 secs || 28256868 markings, 96526735 edges, 7846 markings/sec, 3030 secs
lola: sara is running 3035 secs || sara is running 3035 secs || 28295298 markings, 96653892 edges, 7686 markings/sec, 3035 secs
lola: sara is running 3040 secs || sara is running 3040 secs || 28333270 markings, 96778642 edges, 7594 markings/sec, 3040 secs
lola: sara is running 3045 secs || sara is running 3045 secs || 28370702 markings, 96905478 edges, 7486 markings/sec, 3045 secs
lola: sara is running 3050 secs || sara is running 3050 secs || 28411107 markings, 97038923 edges, 8081 markings/sec, 3050 secs
lola: sara is running 3055 secs || sara is running 3055 secs || 28445062 markings, 97170157 edges, 6791 markings/sec, 3055 secs
lola: sara is running 3060 secs || sara is running 3060 secs || 28472962 markings, 97291554 edges, 5580 markings/sec, 3060 secs
lola: sara is running 3065 secs || sara is running 3065 secs || 28500127 markings, 97434834 edges, 5433 markings/sec, 3065 secs
lola: sara is running 3070 secs || sara is running 3070 secs || 28524848 markings, 97556495 edges, 4944 markings/sec, 3070 secs
lola: sara is running 3075 secs || sara is running 3075 secs || 28562512 markings, 97683937 edges, 7533 markings/sec, 3075 secs
lola: sara is running 3080 secs || sara is running 3080 secs || 28596244 markings, 97821384 edges, 6746 markings/sec, 3080 secs
lola: sara is running 3085 secs || sara is running 3085 secs || 28628207 markings, 97946322 edges, 6393 markings/sec, 3085 secs
lola: sara is running 3090 secs || sara is running 3090 secs || 28664120 markings, 98067832 edges, 7183 markings/sec, 3090 secs
lola: sara is running 3095 secs || sara is running 3095 secs || 28703598 markings, 98198543 edges, 7896 markings/sec, 3095 secs
lola: sara is running 3100 secs || sara is running 3100 secs || 28744919 markings, 98327735 edges, 8264 markings/sec, 3100 secs
lola: sara is running 3105 secs || sara is running 3105 secs || 28782895 markings, 98453139 edges, 7595 markings/sec, 3105 secs
lola: sara is running 3110 secs || sara is running 3110 secs || 28829309 markings, 98610787 edges, 9283 markings/sec, 3110 secs
lola: sara is running 3115 secs || sara is running 3115 secs || 28879556 markings, 98758934 edges, 10049 markings/sec, 3115 secs
lola: sara is running 3120 secs || sara is running 3120 secs || 28920202 markings, 98873780 edges, 8129 markings/sec, 3120 secs
lola: sara is running 3125 secs || sara is running 3125 secs || 28957276 markings, 98995654 edges, 7415 markings/sec, 3125 secs
lola: sara is running 3130 secs || sara is running 3130 secs || 28994673 markings, 99122101 edges, 7479 markings/sec, 3130 secs
lola: sara is running 3135 secs || sara is running 3135 secs || 29034397 markings, 99253075 edges, 7945 markings/sec, 3135 secs
lola: sara is running 3140 secs || sara is running 3140 secs || 29072741 markings, 99378520 edges, 7669 markings/sec, 3140 secs
lola: sara is running 3145 secs || sara is running 3145 secs || 29110308 markings, 99502709 edges, 7513 markings/sec, 3145 secs
lola: sara is running 3150 secs || sara is running 3150 secs || 29146159 markings, 99622818 edges, 7170 markings/sec, 3150 secs
lola: sara is running 3155 secs || sara is running 3155 secs || 29185060 markings, 99752206 edges, 7780 markings/sec, 3155 secs
lola: sara is running 3160 secs || sara is running 3160 secs || 29226303 markings, 99881100 edges, 8249 markings/sec, 3160 secs
lola: sara is running 3165 secs || sara is running 3165 secs || 29264145 markings, 100005918 edges, 7568 markings/sec, 3165 secs
lola: sara is running 3170 secs || sara is running 3170 secs || 29310461 markings, 100163300 edges, 9263 markings/sec, 3170 secs
lola: sara is running 3175 secs || sara is running 3175 secs || 29360439 markings, 100310397 edges, 9996 markings/sec, 3175 secs
lola: sara is running 3180 secs || sara is running 3180 secs || 29397794 markings, 100425641 edges, 7471 markings/sec, 3180 secs
lola: sara is running 3185 secs || sara is running 3185 secs || 29426033 markings, 100549715 edges, 5648 markings/sec, 3185 secs
lola: sara is running 3190 secs || sara is running 3190 secs || 29462444 markings, 100677245 edges, 7282 markings/sec, 3190 secs
lola: sara is running 3195 secs || sara is running 3195 secs || 29502199 markings, 100802042 edges, 7951 markings/sec, 3195 secs
lola: sara is running 3200 secs || sara is running 3200 secs || 29548676 markings, 100959688 edges, 9295 markings/sec, 3200 secs
lola: sara is running 3205 secs || sara is running 3205 secs || 29600635 markings, 101125131 edges, 10392 markings/sec, 3205 secs
lola: sara is running 3210 secs || sara is running 3210 secs || 29647528 markings, 101289039 edges, 9379 markings/sec, 3210 secs
lola: sara is running 3215 secs || sara is running 3215 secs || 29689728 markings, 101432510 edges, 8440 markings/sec, 3215 secs
lola: sara is running 3220 secs || sara is running 3220 secs || 29738680 markings, 101592981 edges, 9790 markings/sec, 3220 secs
lola: sara is running 3225 secs || sara is running 3225 secs || 29780475 markings, 101740357 edges, 8359 markings/sec, 3225 secs
lola: sara is running 3230 secs || sara is running 3230 secs || 29825729 markings, 101891838 edges, 9051 markings/sec, 3230 secs
lola: sara is running 3235 secs || sara is running 3235 secs || 29863995 markings, 102022452 edges, 7653 markings/sec, 3235 secs
lola: sara is running 3240 secs || sara is running 3240 secs || 29902974 markings, 102152955 edges, 7796 markings/sec, 3240 secs
lola: sara is running 3245 secs || sara is running 3245 secs || 29942976 markings, 102289245 edges, 8000 markings/sec, 3245 secs
lola: sara is running 3250 secs || sara is running 3250 secs || 29979269 markings, 102415655 edges, 7259 markings/sec, 3250 secs
lola: sara is running 3255 secs || sara is running 3255 secs || 30009903 markings, 102518428 edges, 6127 markings/sec, 3255 secs
lola: sara is running 3260 secs || sara is running 3260 secs || 30038629 markings, 102613445 edges, 5745 markings/sec, 3260 secs
lola: sara is running 3265 secs || sara is running 3265 secs || 30068427 markings, 102712232 edges, 5960 markings/sec, 3265 secs
lola: sara is running 3270 secs || sara is running 3270 secs || 30099475 markings, 102811970 edges, 6210 markings/sec, 3270 secs
lola: sara is running 3275 secs || sara is running 3275 secs || 30126158 markings, 102902933 edges, 5337 markings/sec, 3275 secs
lola: sara is running 3280 secs || sara is running 3280 secs || 30150446 markings, 102988925 edges, 4858 markings/sec, 3280 secs
lola: sara is running 3285 secs || sara is running 3285 secs || 30177408 markings, 103075981 edges, 5392 markings/sec, 3285 secs
lola: sara is running 3290 secs || sara is running 3290 secs || 30201251 markings, 103152774 edges, 4769 markings/sec, 3290 secs
lola: sara is running 3295 secs || sara is running 3295 secs || 30223923 markings, 103229109 edges, 4534 markings/sec, 3295 secs
lola: sara is running 3300 secs || sara is running 3300 secs || 30248968 markings, 103311329 edges, 5009 markings/sec, 3300 secs
lola: sara is running 3305 secs || sara is running 3305 secs || 30270986 markings, 103381930 edges, 4404 markings/sec, 3305 secs
lola: sara is running 3310 secs || sara is running 3310 secs || 30297297 markings, 103485797 edges, 5262 markings/sec, 3310 secs
lola: sara is running 3315 secs || sara is running 3315 secs || 30335188 markings, 103611381 edges, 7578 markings/sec, 3315 secs
lola: sara is running 3320 secs || sara is running 3320 secs || 30373289 markings, 103736446 edges, 7620 markings/sec, 3320 secs
lola: sara is running 3325 secs || sara is running 3325 secs || 30410347 markings, 103858586 edges, 7412 markings/sec, 3325 secs
lola: sara is running 3330 secs || sara is running 3330 secs || 30446637 markings, 103977766 edges, 7258 markings/sec, 3330 secs
lola: sara is running 3335 secs || sara is running 3335 secs || 30483289 markings, 104101824 edges, 7330 markings/sec, 3335 secs
lola: sara is running 3340 secs || sara is running 3340 secs || 30522180 markings, 104229895 edges, 7778 markings/sec, 3340 secs
lola: sara is running 3345 secs || sara is running 3345 secs || 30559272 markings, 104351755 edges, 7418 markings/sec, 3345 secs
lola: sara is running 3350 secs || sara is running 3350 secs || 30596090 markings, 104471949 edges, 7364 markings/sec, 3350 secs
lola: sara is running 3355 secs || sara is running 3355 secs || 30630665 markings, 104589713 edges, 6915 markings/sec, 3355 secs
lola: sara is running 3360 secs || sara is running 3360 secs || 30669788 markings, 104718973 edges, 7825 markings/sec, 3360 secs
lola: sara is running 3365 secs || sara is running 3365 secs || 30707713 markings, 104842790 edges, 7585 markings/sec, 3365 secs
lola: sara is running 3370 secs || sara is running 3370 secs || 30741799 markings, 104965066 edges, 6817 markings/sec, 3370 secs
lola: sara is running 3375 secs || sara is running 3375 secs || 30770094 markings, 105089534 edges, 5659 markings/sec, 3375 secs
lola: sara is running 3380 secs || sara is running 3380 secs || 30807694 markings, 105214843 edges, 7520 markings/sec, 3380 secs
lola: sara is running 3385 secs || sara is running 3385 secs || 30843522 markings, 105334403 edges, 7166 markings/sec, 3385 secs
lola: sara is running 3390 secs || sara is running 3390 secs || 30889611 markings, 105490168 edges, 9218 markings/sec, 3390 secs
lola: sara is running 3395 secs || sara is running 3395 secs || 30939321 markings, 105639744 edges, 9942 markings/sec, 3395 secs
lola: sara is running 3400 secs || sara is running 3400 secs || 30979630 markings, 105749424 edges, 8062 markings/sec, 3400 secs
lola: sara is running 3405 secs || sara is running 3405 secs || 31014414 markings, 105867736 edges, 6957 markings/sec, 3405 secs
lola: sara is running 3410 secs || sara is running 3410 secs || 31053314 markings, 105996092 edges, 7780 markings/sec, 3410 secs
lola: sara is running 3415 secs || sara is running 3415 secs || 31090291 markings, 106116895 edges, 7395 markings/sec, 3415 secs
lola: sara is running 3420 secs || sara is running 3420 secs || 31126638 markings, 106236379 edges, 7269 markings/sec, 3420 secs
lola: sara is running 3425 secs || sara is running 3425 secs || 31160489 markings, 106351205 edges, 6770 markings/sec, 3425 secs
lola: sara is running 3430 secs || sara is running 3430 secs || 31199106 markings, 106478849 edges, 7723 markings/sec, 3430 secs
lola: sara is running 3435 secs || sara is running 3435 secs || 31236611 markings, 106601519 edges, 7501 markings/sec, 3435 secs
lola: sara is running 3440 secs || sara is running 3440 secs || 31275307 markings, 106721884 edges, 7739 markings/sec, 3440 secs
lola: sara is running 3445 secs || sara is running 3445 secs || 31308706 markings, 106835206 edges, 6680 markings/sec, 3445 secs
lola: sara is running 3450 secs || sara is running 3450 secs || 31352500 markings, 106980449 edges, 8759 markings/sec, 3450 secs
lola: sara is running 3455 secs || sara is running 3455 secs || 31402172 markings, 107142714 edges, 9934 markings/sec, 3455 secs
lola: sara is running 3460 secs || sara is running 3460 secs || 31444203 markings, 107256698 edges, 8406 markings/sec, 3460 secs
lola: sara is running 3465 secs || sara is running 3465 secs || 31477317 markings, 107383070 edges, 6623 markings/sec, 3465 secs
lola: sara is running 3470 secs || sara is running 3470 secs || 31507580 markings, 107499098 edges, 6053 markings/sec, 3470 secs
lola: sara is running 3475 secs || sara is running 3475 secs || 31544038 markings, 107621761 edges, 7292 markings/sec, 3475 secs
lola: sara is running 3480 secs || sara is running 3480 secs || 31583259 markings, 107751863 edges, 7844 markings/sec, 3480 secs
lola: sara is running 3485 secs || sara is running 3485 secs || 31632615 markings, 107920275 edges, 9871 markings/sec, 3485 secs
lola: sara is running 3490 secs || sara is running 3490 secs || 31677991 markings, 108042830 edges, 9075 markings/sec, 3490 secs
lola: sara is running 3495 secs || sara is running 3495 secs || 31716706 markings, 108158148 edges, 7743 markings/sec, 3495 secs
lola: sara is running 3500 secs || sara is running 3500 secs || 31752525 markings, 108276085 edges, 7164 markings/sec, 3500 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes no no yes unknown yes no yes no no yes yes yes yes no
lola:
preliminary result: no yes no no yes unknown yes no yes no no yes yes yes yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no no yes unknown yes no yes no no yes yes yes yes no
lola: sara is running 3505 secs || sara is running 3505 secs || 31785855 markings, 108388854 edges, 6666 markings/sec, 3505 secs
lola: memory consumption: 4347536 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no no yes unknown yes no yes no no yes yes yes yes no
lola: memory consumption: 4347536 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no no yes unknown yes no yes no no yes yes yes yes no
rslt: finished

BK_STOP 1552731069619

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-319"
export BK_EXAMINATION="CTLCardinality"
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 CloudReconfiguration-PT-319, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r038-smll-155229649000274"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-319.tgz
mv CloudReconfiguration-PT-319 execution
cd execution
if [ "CTLCardinality" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.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 ;