fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r100-smll-152658630700109
Last Updated
June 26, 2018

About the Execution of LoLA for HypercubeGrid-PT-C3K4P4B12

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2273.250 3570437.00 3619888.00 7568.40 TTFT?TTFFFFTTFTF normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.................
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.1K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 117 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 355 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 10 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rwxr-xr-x 1 mcc users 1.3M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is HypercubeGrid-PT-C3K4P4B12, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r100-smll-152658630700109
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526729609213

info: Time: 3600 - MCC
===========================================================================================
prep: translating HypercubeGrid-PT-C3K4P4B12 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating HypercubeGrid-PT-C3K4P4B12 formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ HypercubeGrid-PT-C3K4P4B12 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3808/65536 symbol table entries, 269 collisions
lola: preprocessing...
lola: Size of bit vector: 45056
lola: finding significant places
lola: 1408 places, 2400 transitions, 863 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2944 transition conflict sets
lola: TASK
lola: reading formula from HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
lola: (FIREABLE(ti_d2_n2_d1_n1_2_4_1) OR E (F ((NOT FIREABLE(ti_d2_n1_d3_n2_2_2_3) AND FIREABLE(ti_d2_n1_d3_n2_1_1_2) AND FIREABLE(to_d3_n2_2_4_2))))) : E (F ((FIREABLE(to_d1_n2_2_4_2) AND E (G ((FIREABLE(tt_d2_n1_3_5_2) OR FIREABLE(ti_d3_n2_d1_n2_4_2_4))))))) : A (F (FIREABLE(ti_d1_n1_d3_n1_1_3_1))) : E ((((NOT FIREABLE(ti_d3_n2_d2_n1_4_4_2) OR NOT FIREABLE(ti_d2_n1_d3_n1_3_2_1)) AND NOT FIREABLE(ti_d1_n1_d2_n1_1_3_2)) U E (G (NOT FIREABLE(to_d2_n1_3_2_3))))) : E ((FIREABLE(to_d2_n1_3_4_4) U (FIREABLE(ti_d1_n1_d2_n2_2_2_3) AND FIREABLE(ti_d2_n1_d3_n1_1_1_4) AND FIREABLE(ti_d2_n1_d1_n2_2_3_2) AND FIREABLE(ti_d2_n1_d2_n2_3_4_1)))) : E ((NOT(A (X (FIREABLE(ti_d3_n2_d2_n1_4_1_2)))) U A (X ((FIREABLE(ti_d1_n2_d3_n2_1_4_1) OR FIREABLE(ti_d3_n1_d3_n2_2_3_3)))))) : A (X (NOT(A (G ((FIREABLE(ti_d3_n2_d1_n2_3_3_3) OR FIREABLE(ti_d3_n1_d3_n2_3_4_2))))))) : A (G (NOT((E (G (FIREABLE(ti_d3_n2_d2_n1_1_3_1))) AND E (F (FIREABLE(ti_d3_n1_d2_n2_3_4_1))))))) : NOT(E (G (NOT(A (X (FIREABLE(ti_d3_n1_d2_n2_1_4_4))))))) : A (G (E (F (A (F (FIREABLE(ti_d1_n2_d3_n2_1_1_4))))))) : (A (F (NOT(E (X (FIREABLE(ti_d2_n1_d1_n1_3_4_2)))))) AND A (X ((A (X (FIREABLE(ti_d2_n1_d2_n2_2_4_3))) OR A (F (FIREABLE(to_d3_n1_2_4_4))))))) : (A (X ((FIREABLE(ti_d2_n1_d3_n2_2_3_2) OR FIREABLE(ti_d2_n2_d3_n2_1_3_4) OR (FIREABLE(ti_d2_n2_d1_n2_3_2_2) AND FIREABLE(tt_d2_n1_2_1_4)) OR ((FIREABLE(ti_d3_n1_d1_n2_1_3_1) OR FIREABLE(ti_d3_n2_d2_n2_2_4_2)) AND FIREABLE(ti_d1_n2_d1_n1_3_2_1))))) OR ((FIREABLE(ti_d1_n2_d1_n1_4_3_2) AND (A (G (FIREABLE(ti_d2_n2_d1_n1_3_2_4))) AND (NOT FIREABLE(to_d1_n1_4_2_3) OR NOT FIREABLE(ti_d3_n1_d1_n1_1_2_3)))) OR E (F (A (X (FIREABLE(ti_d1_n2_d2_n1_3_4_1))))))) : E (G ((A (F (FIREABLE(to_d3_n1_1_1_3))) OR FIREABLE(ti_d2_n2_d1_n2_2_2_1)))) : A (G ((FIREABLE(ti_d1_n1_d2_n1_2_3_4) OR A (F (NOT FIREABLE(ti_d1_n1_d3_n1_2_1_2)))))) : (NOT(NOT((A (X (FIREABLE(ti_d3_n1_d3_n2_4_1_1))) AND E (G (FIREABLE(to_d2_n1_3_1_3)))))) OR A ((E (G (FIREABLE(ti_d3_n1_d1_n2_3_4_3))) U E (F (FIREABLE(ti_d1_n1_d3_n1_1_2_4)))))) : E (X (A (X (FIREABLE(ti_d2_n1_d2_n2_1_4_3)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:315
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:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:455
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:452
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (X (NOT FIREABLE(ti_d3_n2_d2_n1_4_1_2))) U A (X ((FIREABLE(ti_d1_n2_d3_n2_1_4_1) OR FIREABLE(ti_d3_n1_d3_n2_2_3_3))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(EX(NOT FIREABLE(ti_d3_n2_d2_n1_4_1_2)) U AX((FIREABLE(ti_d1_n2_d3_n2_1_4_1) OR FIREABLE(ti_d3_n1_d3_n2_2_3_3))))
lola: processed formula length: 115
lola: 43 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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: 11427 markings, 11426 edges
lola: ========================================

FORMULA HypercubeGrid-PT-C3K4P4B12-CTLFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E (F ((NOT FIREABLE(ti_d3_n2_d1_n2_3_3_3) AND NOT FIREABLE(ti_d3_n1_d3_n2_3_4_2))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(E(TRUE U (NOT FIREABLE(ti_d3_n2_d1_n2_3_3_3) AND NOT FIREABLE(ti_d3_n1_d3_n2_3_4_2))))
lola: processed formula length: 89
lola: 42 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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: 2901 markings, 2900 edges
lola: ========================================

FORMULA HypercubeGrid-PT-C3K4P4B12-CTLFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (X (FIREABLE(ti_d3_n1_d2_n2_1_4_4)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U AX(FIREABLE(ti_d3_n1_d2_n2_1_4_4)))
lola: processed formula length: 44
lola: 42 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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: 11445 markings, 11446 edges
lola: ========================================

FORMULA HypercubeGrid-PT-C3K4P4B12-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (A (X (NOT FIREABLE(ti_d2_n1_d1_n1_3_4_2))))) AND A (X ((A (X (FIREABLE(ti_d2_n1_d2_n2_2_4_3))) OR A (F (FIREABLE(to_d3_n1_2_4_4)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (X (NOT FIREABLE(ti_d2_n1_d1_n1_3_4_2)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U AX(NOT FIREABLE(ti_d2_n1_d1_n1_3_4_2)))
lola: processed formula length: 48
lola: 42 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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: 19112 markings, 19130 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA HypercubeGrid-PT-C3K4P4B12-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X ((FIREABLE(ti_d2_n1_d3_n2_2_3_2) OR FIREABLE(ti_d2_n2_d3_n2_1_3_4) OR (FIREABLE(ti_d2_n2_d1_n2_3_2_2) AND FIREABLE(tt_d2_n1_2_1_4)) OR ((FIREABLE(ti_d3_n1_d1_n2_1_3_1) OR FIREABLE(ti_d3_n2_d2_n2_2_4_2)) AND FIREABLE(ti_d1_n2_d1_n1_3_2_1))))) OR ((FIREABLE(ti_d1_n2_d1_n1_4_3_2) AND (A (G (FIREABLE(ti_d2_n2_d1_n1_3_2_4))) AND (NOT FIREABLE(to_d1_n1_4_2_3) OR NOT FIREABLE(ti_d3_n1_d1_n1_1_... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(ti_d1_n2_d1_n1_4_3_2)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(ti_d1_n2_d1_n1_4_3_2)
lola: processed formula length: 30
lola: 40 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((FIREABLE(ti_d2_n1_d3_n2_2_3_2) OR FIREABLE(ti_d2_n2_d3_n2_1_3_4) OR (FIREABLE(ti_d2_n2_d1_n2_3_2_2) AND FIREABLE(tt_d2_n1_2_1_4)) OR ((FIREABLE(ti_d3_n1_d1_n2_1_3_1) OR FIREABLE(ti_d3_n2_d2_n2_2_4_2)) AND FIREABLE(ti_d1_n2_d1_n1_3_2_1)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX((FIREABLE(ti_d2_n1_d3_n2_2_3_2) OR FIREABLE(ti_d2_n2_d3_n2_1_3_4) OR (FIREABLE(ti_d2_n2_d1_n2_3_2_2) AND FIREABLE(tt_d2_n1_2_1_4)) OR ((FIREABLE(ti_d3_n1_d1_n2_1_3_1) OR FIREABLE(ti_d3_n2_d2_n2_2_4_2)) AND FIREABLE(ti_d1_n2_d1_n1_3_2_1))))
lola: processed formula length: 246
lola: 41 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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 0 significant temporal operators and needs 0 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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (FIREABLE(ti_d1_n2_d2_n1_3_4_1)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U AX(FIREABLE(ti_d1_n2_d2_n1_3_4_1)))
lola: processed formula length: 44
lola: 42 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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: 11422 markings, 11421 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================

FORMULA HypercubeGrid-PT-C3K4P4B12-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (X (FIREABLE(ti_d3_n1_d3_n2_4_1_1))) AND E (G (FIREABLE(to_d2_n1_3_1_3)))) OR E (F (FIREABLE(ti_d1_n1_d3_n1_1_2_4))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(ti_d1_n1_d3_n1_1_2_4)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(ti_d1_n1_d3_n1_1_2_4)))
lola: processed formula length: 38
lola: 41 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 3 markings, 2 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================

FORMULA HypercubeGrid-PT-C3K4P4B12-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (X (FIREABLE(ti_d2_n1_d2_n2_1_4_3)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(AX(FIREABLE(ti_d2_n1_d2_n2_1_4_3)))
lola: processed formula length: 38
lola: 42 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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 0 significant temporal operators and needs 0 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: 0 markings, 0 edges

FORMULA HypercubeGrid-PT-C3K4P4B12-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(ti_d1_n1_d3_n1_1_3_1)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(ti_d1_n1_d3_n1_1_3_1)
lola: processed formula length: 34
lola: 42 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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: RUNNING
lola: 2782 markings, 2781 edges, 556 markings/sec, 0 secs
lola: 4862 markings, 4861 edges, 416 markings/sec, 5 secs
lola: 8228 markings, 8227 edges, 673 markings/sec, 10 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 10130 markings, 10130 edges
lola: ========================================

FORMULA HypercubeGrid-PT-C3K4P4B12-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (FIREABLE(ti_d1_n2_d3_n2_1_1_4)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: FIREABLE(ti_d1_n2_d3_n2_1_1_4)
lola: processed formula length: 30
lola: 41 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: tscc_search
lola: The predicate is not live.
lola: 848 markings, 847 edges
lola: ========================================

FORMULA HypercubeGrid-PT-C3K4P4B12-CTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 507 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((A (F (FIREABLE(to_d3_n1_1_1_3))) OR FIREABLE(ti_d2_n2_d1_n2_2_2_1))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(A(TRUE U (NOT(A(TRUE U FIREABLE(to_d3_n1_1_1_3))) AND NOT FIREABLE(ti_d2_n2_d1_n2_2_2_1))))
lola: processed formula length: 95
lola: 44 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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: 318241 markings, 328547 edges
lola: ========================================

FORMULA HypercubeGrid-PT-C3K4P4B12-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 591 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(ti_d1_n1_d2_n1_2_3_4) OR A (F (NOT FIREABLE(ti_d1_n1_d3_n1_2_1_2))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(E(TRUE U (NOT FIREABLE(ti_d1_n1_d2_n1_2_3_4) AND NOT(A(TRUE U NOT FIREABLE(ti_d1_n1_d3_n1_2_1_2))))))
lola: processed formula length: 105
lola: 44 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 13641 markings, 16017 edges
lola: ========================================

FORMULA HypercubeGrid-PT-C3K4P4B12-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 709 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(to_d1_n2_2_4_2) AND E (G ((FIREABLE(tt_d2_n1_3_5_2) OR FIREABLE(ti_d3_n2_d1_n2_4_2_4)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(TRUE U (FIREABLE(to_d1_n2_2_4_2) AND NOT(A(TRUE U (NOT FIREABLE(tt_d2_n1_3_5_2) AND NOT FIREABLE(ti_d3_n2_d1_n2_4_2_4))))))
lola: processed formula length: 125
lola: 43 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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: 9220 markings, 15616 edges
lola: ========================================

FORMULA HypercubeGrid-PT-C3K4P4B12-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 886 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((NOT FIREABLE(ti_d3_n2_d2_n1_4_4_2) OR NOT FIREABLE(ti_d2_n1_d3_n1_3_2_1)) AND NOT FIREABLE(ti_d1_n1_d2_n1_1_3_2)) U E (G (NOT FIREABLE(to_d2_n1_3_2_3)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(((NOT FIREABLE(ti_d3_n2_d2_n1_4_4_2) OR NOT FIREABLE(ti_d2_n1_d3_n1_3_2_1)) AND NOT FIREABLE(ti_d1_n1_d2_n1_1_3_2)) U NOT(A(TRUE U FIREABLE(to_d2_n1_3_2_3))))
lola: processed formula length: 161
lola: 43 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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: 10845 markings, 18862 edges
lola: ========================================

FORMULA HypercubeGrid-PT-C3K4P4B12-CTLFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1182 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A (F (NOT FIREABLE(ti_d3_n2_d2_n1_1_3_1))) OR A (G (NOT FIREABLE(ti_d3_n1_d2_n2_3_4_1))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: processed formula: NOT(E(TRUE U (NOT(A(TRUE U NOT FIREABLE(ti_d3_n2_d2_n1_1_3_1))) AND E(TRUE U FIREABLE(ti_d3_n1_d2_n2_3_4_1)))))
lola: processed formula length: 111
lola: 46 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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 3 significant temporal operators and needs 13 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: 20877 markings, 27025 edges
lola:
FORMULA HypercubeGrid-PT-C3K4P4B12-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 14 will run for 1773 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(ti_d2_n2_d1_n1_2_4_1) OR E (F ((NOT FIREABLE(ti_d2_n1_d3_n2_2_2_3) AND FIREABLE(ti_d2_n1_d3_n2_1_1_2) AND FIREABLE(to_d3_n2_2_4_2)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1773 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(ti_d2_n2_d1_n1_2_4_1)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(ti_d2_n2_d1_n1_2_4_1)
lola: processed formula length: 30
lola: 40 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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 15 will run for 3546 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(ti_d2_n1_d3_n2_2_2_3) AND FIREABLE(ti_d2_n1_d3_n2_1_1_2) AND FIREABLE(to_d3_n2_2_4_2))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((NOT FIREABLE(ti_d2_n1_d3_n2_2_2_3) AND FIREABLE(ti_d2_n1_d3_n2_1_1_2) AND FIREABLE(to_d3_n2_2_4_2))))
lola: processed formula length: 108
lola: 41 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (NOT FIREABLE(ti_d2_n1_d3_n2_2_2_3) AND FIREABLE(ti_d2_n1_d3_n2_1_1_2) AND FIREABLE(to_d3_n2_2_4_2))
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: state equation: Generated DNF with 10 literals and 2 conjunctive subformulas
lola: The predicate is reachable.
lola: 3 markings, 2 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================

FORMULA HypercubeGrid-PT-C3K4P4B12-CTLFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3546 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(to_d2_n1_3_4_4) U (FIREABLE(ti_d1_n1_d2_n2_2_2_3) AND FIREABLE(ti_d2_n1_d3_n1_1_1_4) AND FIREABLE(ti_d2_n1_d1_n2_2_3_2) AND FIREABLE(ti_d2_n1_d2_n2_3_4_1))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E ((FIREABLE(to_d2_n1_3_4_4) U (FIREABLE(ti_d1_n1_d2_n2_2_2_3) AND FIREABLE(ti_d2_n1_d3_n1_1_1_4) AND FIREABLE(ti_d2_n1_d1_n2_2_3_2) AND FIREABLE(ti_d2_n1_d2_n2_3_4_1))))
lola: processed formula length: 170
lola: 43 rewrites
lola: closed formula file HypercubeGrid-PT-C3K4P4B12-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: (FIREABLE(ti_d1_n1_d2_n2_2_2_3) AND FIREABLE(ti_d2_n1_d3_n1_1_1_4) AND FIREABLE(ti_d2_n1_d1_n2_2_3_2) AND FIREABLE(ti_d2_n1_d2_n2_3_4_1))
lola: state equation: Generated DNF with 8 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to HypercubeGrid-PT-C3K4P4B12-CTLFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file HypercubeGrid-PT-C3K4P4B12-CTLFireability-15-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced
lola: sara is running 0 secs || 47315 markings, 100383 edges, 9463 markings/sec, 0 secs
lola: sara is running 5 secs || 82512 markings, 221232 edges, 7039 markings/sec, 5 secs
lola: sara is running 10 secs || 103744 markings, 431057 edges, 4246 markings/sec, 10 secs
lola: sara is running 15 secs || 141536 markings, 530102 edges, 7558 markings/sec, 15 secs
lola: sara is running 20 secs || 167888 markings, 693669 edges, 5270 markings/sec, 20 secs
lola: sara is running 25 secs || 195894 markings, 848979 edges, 5601 markings/sec, 25 secs
lola: sara is running 30 secs || 231353 markings, 951274 edges, 7092 markings/sec, 30 secs
lola: sara is running 35 secs || 249151 markings, 1168584 edges, 3560 markings/sec, 35 secs
lola: sara is running 40 secs || 286577 markings, 1263163 edges, 7485 markings/sec, 40 secs
lola: sara is running 45 secs || 319246 markings, 1383599 edges, 6534 markings/sec, 45 secs
lola: sara is running 50 secs || 340190 markings, 1585588 edges, 4189 markings/sec, 50 secs
lola: sara is running 55 secs || 377078 markings, 1683554 edges, 7378 markings/sec, 55 secs
lola: sara is running 60 secs || 402024 markings, 1853162 edges, 4989 markings/sec, 60 secs
lola: sara is running 65 secs || 432044 markings, 2001652 edges, 6004 markings/sec, 65 secs
lola: sara is running 70 secs || 467447 markings, 2110904 edges, 7081 markings/sec, 70 secs
lola: sara is running 75 secs || 486391 markings, 2326082 edges, 3789 markings/sec, 75 secs
lola: sara is running 80 secs || 524241 markings, 2423459 edges, 7570 markings/sec, 80 secs
lola: sara is running 85 secs || 554467 markings, 2561330 edges, 6045 markings/sec, 85 secs
lola: sara is running 90 secs || 576154 markings, 2753139 edges, 4337 markings/sec, 90 secs
lola: sara is running 95 secs || 609423 markings, 2861300 edges, 6654 markings/sec, 95 secs
lola: sara is running 100 secs || 631678 markings, 3032984 edges, 4451 markings/sec, 100 secs
lola: sara is running 105 secs || 656367 markings, 3202554 edges, 4938 markings/sec, 105 secs
lola: sara is running 110 secs || 691820 markings, 3303724 edges, 7091 markings/sec, 110 secs
lola: sara is running 115 secs || 709117 markings, 3517331 edges, 3459 markings/sec, 115 secs
lola: sara is running 120 secs || 747932 markings, 3619148 edges, 7763 markings/sec, 120 secs
lola: sara is running 125 secs || 780749 markings, 3747918 edges, 6563 markings/sec, 125 secs
lola: sara is running 130 secs || 804095 markings, 3946753 edges, 4669 markings/sec, 130 secs
lola: sara is running 135 secs || 840932 markings, 4051473 edges, 7367 markings/sec, 135 secs
lola: sara is running 140 secs || 861058 markings, 4265070 edges, 4025 markings/sec, 140 secs
lola: sara is running 145 secs || 899900 markings, 4365043 edges, 7768 markings/sec, 145 secs
lola: sara is running 150 secs || 928426 markings, 4519768 edges, 5705 markings/sec, 150 secs
lola: sara is running 155 secs || 955470 markings, 4686683 edges, 5409 markings/sec, 155 secs
lola: sara is running 160 secs || 990569 markings, 4793324 edges, 7020 markings/sec, 160 secs
lola: sara is running 165 secs || 1008327 markings, 5010990 edges, 3552 markings/sec, 165 secs
lola: sara is running 170 secs || 1042556 markings, 5126403 edges, 6846 markings/sec, 170 secs
lola: sara is running 175 secs || 1072265 markings, 5263664 edges, 5942 markings/sec, 175 secs
lola: sara is running 180 secs || 1091339 markings, 5476081 edges, 3815 markings/sec, 180 secs
lola: sara is running 185 secs || 1127993 markings, 5575021 edges, 7331 markings/sec, 185 secs
lola: sara is running 190 secs || 1151279 markings, 5758360 edges, 4657 markings/sec, 190 secs
lola: sara is running 195 secs || 1182216 markings, 5888106 edges, 6187 markings/sec, 195 secs
lola: sara is running 200 secs || 1215495 markings, 5998472 edges, 6656 markings/sec, 200 secs
lola: sara is running 205 secs || 1234127 markings, 6206934 edges, 3726 markings/sec, 205 secs
lola: sara is running 210 secs || 1272223 markings, 6307813 edges, 7619 markings/sec, 210 secs
lola: sara is running 215 secs || 1297316 markings, 6486497 edges, 5019 markings/sec, 215 secs
lola: sara is running 220 secs || 1327282 markings, 6625235 edges, 5993 markings/sec, 220 secs
lola: sara is running 225 secs || 1359680 markings, 6742416 edges, 6480 markings/sec, 225 secs
lola: sara is running 230 secs || 1380743 markings, 6935845 edges, 4213 markings/sec, 230 secs
lola: sara is running 235 secs || 1417349 markings, 7037934 edges, 7321 markings/sec, 235 secs
lola: sara is running 240 secs || 1437552 markings, 7240785 edges, 4041 markings/sec, 240 secs
lola: sara is running 245 secs || 1468998 markings, 7366325 edges, 6289 markings/sec, 245 secs
lola: sara is running 250 secs || 1499602 markings, 7491308 edges, 6121 markings/sec, 250 secs
lola: sara is running 255 secs || 1514515 markings, 7716303 edges, 2983 markings/sec, 255 secs
lola: sara is running 260 secs || 1550207 markings, 7808268 edges, 7138 markings/sec, 260 secs
lola: sara is running 265 secs || 1578730 markings, 7941584 edges, 5705 markings/sec, 265 secs
lola: sara is running 270 secs || 1601205 markings, 8118688 edges, 4495 markings/sec, 270 secs
lola: sara is running 275 secs || 1635974 markings, 8220215 edges, 6954 markings/sec, 275 secs
lola: sara is running 280 secs || 1652501 markings, 8433589 edges, 3305 markings/sec, 280 secs
lola: sara is running 285 secs || 1687599 markings, 8523007 edges, 7020 markings/sec, 285 secs
lola: sara is running 290 secs || 1717612 markings, 8640556 edges, 6003 markings/sec, 290 secs
lola: sara is running 295 secs || 1735191 markings, 8834849 edges, 3516 markings/sec, 295 secs
lola: sara is running 300 secs || 1767945 markings, 8942559 edges, 6551 markings/sec, 300 secs
lola: sara is running 305 secs || 1790981 markings, 9108541 edges, 4607 markings/sec, 305 secs
lola: sara is running 310 secs || 1815038 markings, 9280341 edges, 4811 markings/sec, 310 secs
lola: sara is running 315 secs || 1849607 markings, 9388580 edges, 6914 markings/sec, 315 secs
lola: sara is running 320 secs || 1867423 markings, 9602434 edges, 3563 markings/sec, 320 secs
lola: sara is running 325 secs || 1901890 markings, 9706440 edges, 6893 markings/sec, 325 secs
lola: sara is running 330 secs || 1929069 markings, 9852114 edges, 5436 markings/sec, 330 secs
lola: sara is running 335 secs || 1947503 markings, 10053597 edges, 3687 markings/sec, 335 secs
lola: sara is running 340 secs || 1982144 markings, 10151907 edges, 6928 markings/sec, 340 secs
lola: sara is running 345 secs || 2000204 markings, 10354707 edges, 3612 markings/sec, 345 secs
lola: sara is running 350 secs || 2035934 markings, 10475283 edges, 7146 markings/sec, 350 secs
lola: sara is running 355 secs || 2066265 markings, 10623527 edges, 6066 markings/sec, 355 secs
lola: sara is running 360 secs || 2086839 markings, 10839057 edges, 4115 markings/sec, 360 secs
lola: sara is running 365 secs || 2123948 markings, 10947965 edges, 7422 markings/sec, 365 secs
lola: sara is running 370 secs || 2143549 markings, 11170719 edges, 3920 markings/sec, 370 secs
lola: sara is running 375 secs || 2178801 markings, 11288100 edges, 7050 markings/sec, 375 secs
lola: sara is running 380 secs || 2204425 markings, 11460499 edges, 5125 markings/sec, 380 secs
lola: sara is running 385 secs || 2230260 markings, 11633038 edges, 5167 markings/sec, 385 secs
lola: sara is running 390 secs || 2263787 markings, 11744416 edges, 6705 markings/sec, 390 secs
lola: sara is running 395 secs || 2282148 markings, 11950421 edges, 3672 markings/sec, 395 secs
lola: sara is running 400 secs || 2319025 markings, 12050588 edges, 7375 markings/sec, 400 secs
lola: sara is running 405 secs || 2341044 markings, 12245391 edges, 4404 markings/sec, 405 secs
lola: sara is running 410 secs || 2376426 markings, 12371937 edges, 7076 markings/sec, 410 secs
lola: sara is running 415 secs || 2406226 markings, 12529697 edges, 5960 markings/sec, 415 secs
lola: sara is running 420 secs || 2431929 markings, 12706443 edges, 5141 markings/sec, 420 secs
lola: sara is running 425 secs || 2463432 markings, 12830321 edges, 6301 markings/sec, 425 secs
lola: sara is running 430 secs || 2478070 markings, 13057710 edges, 2928 markings/sec, 430 secs
lola: sara is running 435 secs || 2513855 markings, 13150822 edges, 7157 markings/sec, 435 secs
lola: sara is running 440 secs || 2539934 markings, 13298163 edges, 5216 markings/sec, 440 secs
lola: sara is running 445 secs || 2563745 markings, 13470881 edges, 4762 markings/sec, 445 secs
lola: sara is running 450 secs || 2595563 markings, 13602484 edges, 6364 markings/sec, 450 secs
lola: sara is running 455 secs || 2615530 markings, 13819833 edges, 3993 markings/sec, 455 secs
lola: sara is running 460 secs || 2653533 markings, 13928256 edges, 7601 markings/sec, 460 secs
lola: sara is running 465 secs || 2673438 markings, 14152112 edges, 3981 markings/sec, 465 secs
lola: sara is running 470 secs || 2706458 markings, 14257147 edges, 6604 markings/sec, 470 secs
lola: sara is running 475 secs || 2730286 markings, 14414017 edges, 4766 markings/sec, 475 secs
lola: sara is running 480 secs || 2754733 markings, 14579185 edges, 4889 markings/sec, 480 secs
lola: sara is running 485 secs || 2789129 markings, 14689433 edges, 6879 markings/sec, 485 secs
lola: sara is running 490 secs || 2808888 markings, 14894470 edges, 3952 markings/sec, 490 secs
lola: sara is running 495 secs || 2845311 markings, 14987898 edges, 7285 markings/sec, 495 secs
lola: sara is running 500 secs || 2869944 markings, 15153060 edges, 4927 markings/sec, 500 secs
lola: sara is running 505 secs || 2896042 markings, 15307785 edges, 5220 markings/sec, 505 secs
lola: sara is running 510 secs || 2926599 markings, 15433939 edges, 6111 markings/sec, 510 secs
lola: sara is running 515 secs || 2941905 markings, 15653141 edges, 3061 markings/sec, 515 secs
lola: sara is running 520 secs || 2979399 markings, 15756487 edges, 7499 markings/sec, 520 secs
lola: sara is running 525 secs || 2999600 markings, 15972708 edges, 4040 markings/sec, 525 secs
lola: sara is running 530 secs || 3034101 markings, 16092214 edges, 6900 markings/sec, 530 secs
lola: sara is running 535 secs || 3060854 markings, 16256570 edges, 5351 markings/sec, 535 secs
lola: sara is running 540 secs || 3089367 markings, 16429366 edges, 5703 markings/sec, 540 secs
lola: sara is running 545 secs || 3127995 markings, 16533475 edges, 7726 markings/sec, 545 secs
lola: sara is running 550 secs || 3149508 markings, 16746111 edges, 4303 markings/sec, 550 secs
lola: sara is running 555 secs || 3181856 markings, 16861638 edges, 6470 markings/sec, 555 secs
lola: sara is running 560 secs || 3206565 markings, 17017217 edges, 4942 markings/sec, 560 secs
lola: sara is running 565 secs || 3230024 markings, 17190504 edges, 4692 markings/sec, 565 secs
lola: sara is running 570 secs || 3263751 markings, 17310504 edges, 6745 markings/sec, 570 secs
lola: sara is running 575 secs || 3284089 markings, 17512899 edges, 4068 markings/sec, 575 secs
lola: sara is running 580 secs || 3315964 markings, 17629726 edges, 6375 markings/sec, 580 secs
lola: sara is running 585 secs || 3329922 markings, 17852835 edges, 2792 markings/sec, 585 secs
lola: sara is running 590 secs || 3369644 markings, 17937568 edges, 7944 markings/sec, 590 secs
lola: sara is running 595 secs || 3402248 markings, 18053459 edges, 6521 markings/sec, 595 secs
lola: sara is running 600 secs || 3421244 markings, 18254082 edges, 3799 markings/sec, 600 secs
lola: sara is running 605 secs || 3454559 markings, 18376975 edges, 6663 markings/sec, 605 secs
lola: sara is running 610 secs || 3471218 markings, 18603971 edges, 3332 markings/sec, 610 secs
lola: sara is running 615 secs || 3511471 markings, 18699245 edges, 8051 markings/sec, 615 secs
lola: sara is running 620 secs || 3552255 markings, 18783033 edges, 8157 markings/sec, 620 secs
lola: sara is running 625 secs || 3591922 markings, 18869584 edges, 7933 markings/sec, 625 secs
lola: sara is running 630 secs || 3629997 markings, 18961036 edges, 7615 markings/sec, 630 secs
lola: sara is running 635 secs || 3667455 markings, 19054987 edges, 7492 markings/sec, 635 secs
lola: sara is running 640 secs || 3704920 markings, 19146708 edges, 7493 markings/sec, 640 secs
lola: sara is running 645 secs || 3742502 markings, 19240887 edges, 7516 markings/sec, 645 secs
lola: sara is running 650 secs || 3779862 markings, 19334737 edges, 7472 markings/sec, 650 secs
lola: sara is running 655 secs || 3816953 markings, 19427444 edges, 7418 markings/sec, 655 secs
lola: sara is running 660 secs || 3853581 markings, 19521485 edges, 7326 markings/sec, 660 secs
lola: sara is running 665 secs || 3890133 markings, 19617638 edges, 7310 markings/sec, 665 secs
lola: sara is running 670 secs || 3926361 markings, 19714313 edges, 7246 markings/sec, 670 secs
lola: sara is running 675 secs || 3962386 markings, 19810168 edges, 7205 markings/sec, 675 secs
lola: sara is running 680 secs || 3998160 markings, 19906735 edges, 7155 markings/sec, 680 secs
lola: sara is running 685 secs || 4033908 markings, 20002943 edges, 7150 markings/sec, 685 secs
lola: sara is running 690 secs || 4068867 markings, 20101104 edges, 6992 markings/sec, 690 secs
lola: sara is running 695 secs || 4104011 markings, 20200588 edges, 7029 markings/sec, 695 secs
lola: sara is running 700 secs || 4139737 markings, 20298210 edges, 7145 markings/sec, 700 secs
lola: sara is running 705 secs || 4174760 markings, 20397412 edges, 7005 markings/sec, 705 secs
lola: sara is running 710 secs || 4209670 markings, 20495808 edges, 6982 markings/sec, 710 secs
lola: sara is running 715 secs || 4243413 markings, 20594469 edges, 6749 markings/sec, 715 secs
lola: sara is running 720 secs || 4277517 markings, 20691298 edges, 6821 markings/sec, 720 secs
lola: sara is running 725 secs || 4311359 markings, 20789923 edges, 6768 markings/sec, 725 secs
lola: sara is running 730 secs || 4345122 markings, 20887409 edges, 6753 markings/sec, 730 secs
lola: sara is running 735 secs || 4378895 markings, 20986934 edges, 6755 markings/sec, 735 secs
lola: sara is running 740 secs || 4411947 markings, 21087221 edges, 6610 markings/sec, 740 secs
lola: sara is running 745 secs || 4444893 markings, 21185794 edges, 6589 markings/sec, 745 secs
lola: sara is running 750 secs || 4478191 markings, 21285260 edges, 6660 markings/sec, 750 secs
lola: sara is running 755 secs || 4510764 markings, 21385385 edges, 6515 markings/sec, 755 secs
lola: sara is running 760 secs || 4543457 markings, 21485505 edges, 6539 markings/sec, 760 secs
lola: sara is running 765 secs || 4576080 markings, 21585797 edges, 6525 markings/sec, 765 secs
lola: sara is running 770 secs || 4608700 markings, 21685773 edges, 6524 markings/sec, 770 secs
lola: sara is running 775 secs || 4641675 markings, 21785135 edges, 6595 markings/sec, 775 secs
lola: sara is running 780 secs || 4674053 markings, 21885582 edges, 6476 markings/sec, 780 secs
lola: sara is running 785 secs || 4706323 markings, 21986864 edges, 6454 markings/sec, 785 secs
lola: sara is running 790 secs || 4738709 markings, 22088804 edges, 6477 markings/sec, 790 secs
lola: sara is running 795 secs || 4770636 markings, 22190845 edges, 6385 markings/sec, 795 secs
lola: sara is running 800 secs || 4802909 markings, 22291217 edges, 6455 markings/sec, 800 secs
lola: sara is running 805 secs || 4835050 markings, 22392872 edges, 6428 markings/sec, 805 secs
lola: sara is running 810 secs || 4867666 markings, 22493700 edges, 6523 markings/sec, 810 secs
lola: sara is running 815 secs || 4899217 markings, 22595168 edges, 6310 markings/sec, 815 secs
lola: sara is running 820 secs || 4931080 markings, 22697220 edges, 6373 markings/sec, 820 secs
lola: sara is running 825 secs || 4962719 markings, 22799713 edges, 6328 markings/sec, 825 secs
lola: sara is running 830 secs || 4994692 markings, 22900809 edges, 6395 markings/sec, 830 secs
lola: sara is running 835 secs || 5026384 markings, 23003630 edges, 6338 markings/sec, 835 secs
lola: sara is running 840 secs || 5058339 markings, 23103912 edges, 6391 markings/sec, 840 secs
lola: sara is running 845 secs || 5090126 markings, 23205746 edges, 6357 markings/sec, 845 secs
lola: sara is running 850 secs || 5121911 markings, 23308663 edges, 6357 markings/sec, 850 secs
lola: sara is running 855 secs || 5154653 markings, 23414308 edges, 6548 markings/sec, 855 secs
lola: sara is running 860 secs || 5186997 markings, 23520123 edges, 6469 markings/sec, 860 secs
lola: sara is running 865 secs || 5219234 markings, 23626373 edges, 6447 markings/sec, 865 secs
lola: sara is running 870 secs || 5251306 markings, 23733153 edges, 6414 markings/sec, 870 secs
lola: sara is running 875 secs || 5283558 markings, 23839109 edges, 6450 markings/sec, 875 secs
lola: sara is running 880 secs || 5315510 markings, 23949120 edges, 6390 markings/sec, 880 secs
lola: sara is running 885 secs || 5347640 markings, 24056371 edges, 6426 markings/sec, 885 secs
lola: sara is running 890 secs || 5379545 markings, 24166546 edges, 6381 markings/sec, 890 secs
lola: sara is running 895 secs || 5411775 markings, 24272579 edges, 6446 markings/sec, 895 secs
lola: sara is running 900 secs || 5443698 markings, 24380425 edges, 6385 markings/sec, 900 secs
lola: sara is running 905 secs || 5475510 markings, 24489392 edges, 6362 markings/sec, 905 secs
lola: sara is running 910 secs || 5507489 markings, 24595478 edges, 6396 markings/sec, 910 secs
lola: sara is running 915 secs || 5538893 markings, 24706198 edges, 6281 markings/sec, 915 secs
lola: sara is running 920 secs || 5570683 markings, 24816253 edges, 6358 markings/sec, 920 secs
lola: sara is running 925 secs || 5602380 markings, 24925051 edges, 6339 markings/sec, 925 secs
lola: sara is running 930 secs || 5634060 markings, 25032126 edges, 6336 markings/sec, 930 secs
lola: sara is running 935 secs || 5665726 markings, 25139863 edges, 6333 markings/sec, 935 secs
lola: sara is running 940 secs || 5697133 markings, 25249353 edges, 6281 markings/sec, 940 secs
lola: sara is running 945 secs || 5728582 markings, 25358299 edges, 6290 markings/sec, 945 secs
lola: sara is running 950 secs || 5759851 markings, 25467469 edges, 6254 markings/sec, 950 secs
lola: sara is running 955 secs || 5791723 markings, 25575760 edges, 6374 markings/sec, 955 secs
lola: sara is running 960 secs || 5823035 markings, 25684741 edges, 6262 markings/sec, 960 secs
lola: sara is running 965 secs || 5854261 markings, 25794993 edges, 6245 markings/sec, 965 secs
lola: sara is running 970 secs || 5885368 markings, 25903759 edges, 6221 markings/sec, 970 secs
lola: sara is running 975 secs || 5916171 markings, 26014858 edges, 6161 markings/sec, 975 secs
lola: sara is running 980 secs || 5947352 markings, 26125314 edges, 6236 markings/sec, 980 secs
lola: sara is running 985 secs || 5978486 markings, 26234949 edges, 6227 markings/sec, 985 secs
lola: sara is running 990 secs || 6009825 markings, 26344142 edges, 6268 markings/sec, 990 secs
lola: sara is running 995 secs || 6040883 markings, 26452237 edges, 6212 markings/sec, 995 secs
lola: sara is running 1000 secs || 6071733 markings, 26561708 edges, 6170 markings/sec, 1000 secs
lola: sara is running 1005 secs || 6102728 markings, 26671618 edges, 6199 markings/sec, 1005 secs
lola: sara is running 1010 secs || 6133796 markings, 26781577 edges, 6214 markings/sec, 1010 secs
lola: sara is running 1015 secs || 6163569 markings, 26888494 edges, 5955 markings/sec, 1015 secs
lola: sara is running 1020 secs || 6194829 markings, 26997431 edges, 6252 markings/sec, 1020 secs
lola: sara is running 1025 secs || 6225590 markings, 27108836 edges, 6152 markings/sec, 1025 secs
lola: sara is running 1030 secs || 6256780 markings, 27216115 edges, 6238 markings/sec, 1030 secs
lola: sara is running 1035 secs || 6287503 markings, 27325256 edges, 6145 markings/sec, 1035 secs
lola: sara is running 1040 secs || 6318428 markings, 27435158 edges, 6185 markings/sec, 1040 secs
lola: sara is running 1045 secs || 6349058 markings, 27545380 edges, 6126 markings/sec, 1045 secs
lola: sara is running 1050 secs || 6379646 markings, 27656148 edges, 6118 markings/sec, 1050 secs
lola: sara is running 1055 secs || 6410015 markings, 27767159 edges, 6074 markings/sec, 1055 secs
lola: sara is running 1060 secs || 6440764 markings, 27876700 edges, 6150 markings/sec, 1060 secs
lola: sara is running 1065 secs || 6471155 markings, 27988754 edges, 6078 markings/sec, 1065 secs
lola: sara is running 1070 secs || 6501595 markings, 28101527 edges, 6088 markings/sec, 1070 secs
lola: sara is running 1075 secs || 6532332 markings, 28211669 edges, 6147 markings/sec, 1075 secs
lola: sara is running 1080 secs || 6562791 markings, 28322273 edges, 6092 markings/sec, 1080 secs
lola: sara is running 1085 secs || 6593059 markings, 28433694 edges, 6054 markings/sec, 1085 secs
lola: sara is running 1090 secs || 6623265 markings, 28545207 edges, 6041 markings/sec, 1090 secs
lola: sara is running 1095 secs || 6653598 markings, 28655353 edges, 6067 markings/sec, 1095 secs
lola: sara is running 1100 secs || 6683685 markings, 28766911 edges, 6017 markings/sec, 1100 secs
lola: sara is running 1105 secs || 6713464 markings, 28879300 edges, 5956 markings/sec, 1105 secs
lola: sara is running 1110 secs || 6743504 markings, 28991382 edges, 6008 markings/sec, 1110 secs
lola: sara is running 1115 secs || 6773711 markings, 29103688 edges, 6041 markings/sec, 1115 secs
lola: sara is running 1120 secs || 6803744 markings, 29215988 edges, 6007 markings/sec, 1120 secs
lola: sara is running 1125 secs || 6833398 markings, 29329539 edges, 5931 markings/sec, 1125 secs
lola: sara is running 1130 secs || 6863190 markings, 29441795 edges, 5958 markings/sec, 1130 secs
lola: sara is running 1135 secs || 6893230 markings, 29554542 edges, 6008 markings/sec, 1135 secs
lola: sara is running 1140 secs || 6922674 markings, 29670176 edges, 5889 markings/sec, 1140 secs
lola: sara is running 1145 secs || 6952416 markings, 29783082 edges, 5948 markings/sec, 1145 secs
lola: sara is running 1150 secs || 6982000 markings, 29897646 edges, 5917 markings/sec, 1150 secs
lola: sara is running 1155 secs || 7011643 markings, 30011274 edges, 5929 markings/sec, 1155 secs
lola: sara is running 1160 secs || 7040459 markings, 30128686 edges, 5763 markings/sec, 1160 secs
lola: sara is running 1165 secs || 7069834 markings, 30244739 edges, 5875 markings/sec, 1165 secs
lola: sara is running 1170 secs || 7098927 markings, 30361429 edges, 5819 markings/sec, 1170 secs
lola: sara is running 1175 secs || 7127888 markings, 30477514 edges, 5792 markings/sec, 1175 secs
lola: sara is running 1180 secs || 7157218 markings, 30592191 edges, 5866 markings/sec, 1180 secs
lola: sara is running 1185 secs || 7186291 markings, 30706863 edges, 5815 markings/sec, 1185 secs
lola: sara is running 1190 secs || 7215808 markings, 30820534 edges, 5903 markings/sec, 1190 secs
lola: sara is running 1195 secs || 7245066 markings, 30936054 edges, 5852 markings/sec, 1195 secs
lola: sara is running 1200 secs || 7273966 markings, 31052572 edges, 5780 markings/sec, 1200 secs
lola: sara is running 1205 secs || 7302840 markings, 31169338 edges, 5775 markings/sec, 1205 secs
lola: sara is running 1210 secs || 7331692 markings, 31285736 edges, 5770 markings/sec, 1210 secs
lola: sara is running 1215 secs || 7360956 markings, 31400251 edges, 5853 markings/sec, 1215 secs
lola: sara is running 1220 secs || 7390215 markings, 31514638 edges, 5852 markings/sec, 1220 secs
lola: sara is running 1225 secs || 7418840 markings, 31631238 edges, 5725 markings/sec, 1225 secs
lola: sara is running 1230 secs || 7448102 markings, 31745158 edges, 5852 markings/sec, 1230 secs
lola: sara is running 1235 secs || 7476895 markings, 31860842 edges, 5759 markings/sec, 1235 secs
lola: sara is running 1240 secs || 7505789 markings, 31976675 edges, 5779 markings/sec, 1240 secs
lola: sara is running 1245 secs || 7535084 markings, 32091914 edges, 5859 markings/sec, 1245 secs
lola: sara is running 1250 secs || 7563536 markings, 32210228 edges, 5690 markings/sec, 1250 secs
lola: sara is running 1255 secs || 7592249 markings, 32325922 edges, 5743 markings/sec, 1255 secs
lola: sara is running 1260 secs || 7620684 markings, 32443150 edges, 5687 markings/sec, 1260 secs
lola: sara is running 1265 secs || 7649180 markings, 32559914 edges, 5699 markings/sec, 1265 secs
lola: sara is running 1270 secs || 7677440 markings, 32677276 edges, 5652 markings/sec, 1270 secs
lola: sara is running 1275 secs || 7705868 markings, 32794621 edges, 5686 markings/sec, 1275 secs
lola: sara is running 1280 secs || 7734486 markings, 32911303 edges, 5724 markings/sec, 1280 secs
lola: sara is running 1285 secs || 7763052 markings, 33027738 edges, 5713 markings/sec, 1285 secs
lola: sara is running 1290 secs || 7791650 markings, 33143915 edges, 5720 markings/sec, 1290 secs
lola: sara is running 1295 secs || 7820511 markings, 33259113 edges, 5772 markings/sec, 1295 secs
lola: sara is running 1300 secs || 7849069 markings, 33374582 edges, 5712 markings/sec, 1300 secs
lola: sara is running 1305 secs || 7877158 markings, 33492539 edges, 5618 markings/sec, 1305 secs
lola: sara is running 1310 secs || 7905607 markings, 33608408 edges, 5690 markings/sec, 1310 secs
lola: sara is running 1315 secs || 7933997 markings, 33725264 edges, 5678 markings/sec, 1315 secs
lola: sara is running 1320 secs || 7962423 markings, 33840783 edges, 5685 markings/sec, 1320 secs
lola: sara is running 1325 secs || 7989990 markings, 33954437 edges, 5513 markings/sec, 1325 secs
lola: sara is running 1330 secs || 8015971 markings, 34064310 edges, 5196 markings/sec, 1330 secs
lola: sara is running 1335 secs || 8040811 markings, 34167139 edges, 4968 markings/sec, 1335 secs
lola: sara is running 1340 secs || 8069109 markings, 34283673 edges, 5660 markings/sec, 1340 secs
lola: sara is running 1345 secs || 8097441 markings, 34400262 edges, 5666 markings/sec, 1345 secs
lola: sara is running 1350 secs || 8125314 markings, 34519257 edges, 5575 markings/sec, 1350 secs
lola: sara is running 1355 secs || 8153186 markings, 34636781 edges, 5574 markings/sec, 1355 secs
lola: sara is running 1360 secs || 8180932 markings, 34754144 edges, 5549 markings/sec, 1360 secs
lola: sara is running 1365 secs || 8208985 markings, 34872418 edges, 5611 markings/sec, 1365 secs
lola: sara is running 1370 secs || 8236826 markings, 34990435 edges, 5568 markings/sec, 1370 secs
lola: sara is running 1375 secs || 8264532 markings, 35108780 edges, 5541 markings/sec, 1375 secs
lola: sara is running 1380 secs || 8292170 markings, 35227595 edges, 5528 markings/sec, 1380 secs
lola: sara is running 1385 secs || 8319721 markings, 35346566 edges, 5510 markings/sec, 1385 secs
lola: sara is running 1390 secs || 8347274 markings, 35465988 edges, 5511 markings/sec, 1390 secs
lola: sara is running 1395 secs || 8374551 markings, 35587534 edges, 5455 markings/sec, 1395 secs
lola: sara is running 1400 secs || 8401685 markings, 35708337 edges, 5427 markings/sec, 1400 secs
lola: sara is running 1405 secs || 8428809 markings, 35830820 edges, 5425 markings/sec, 1405 secs
lola: sara is running 1410 secs || 8455806 markings, 35952370 edges, 5399 markings/sec, 1410 secs
lola: sara is running 1415 secs || 8482906 markings, 36075479 edges, 5420 markings/sec, 1415 secs
lola: sara is running 1420 secs || 8509724 markings, 36198033 edges, 5364 markings/sec, 1420 secs
lola: sara is running 1425 secs || 8536269 markings, 36321274 edges, 5309 markings/sec, 1425 secs
lola: sara is running 1430 secs || 8562981 markings, 36446180 edges, 5342 markings/sec, 1430 secs
lola: sara is running 1435 secs || 8589437 markings, 36570589 edges, 5291 markings/sec, 1435 secs
lola: sara is running 1440 secs || 8615865 markings, 36694715 edges, 5286 markings/sec, 1440 secs
lola: sara is running 1445 secs || 8642204 markings, 36820881 edges, 5268 markings/sec, 1445 secs
lola: sara is running 1450 secs || 8668594 markings, 36945546 edges, 5278 markings/sec, 1450 secs
lola: sara is running 1455 secs || 8694735 markings, 37072426 edges, 5228 markings/sec, 1455 secs
lola: sara is running 1460 secs || 8721452 markings, 37195995 edges, 5343 markings/sec, 1460 secs
lola: sara is running 1465 secs || 8747489 markings, 37321660 edges, 5207 markings/sec, 1465 secs
lola: sara is running 1470 secs || 8772912 markings, 37442351 edges, 5085 markings/sec, 1470 secs
lola: sara is running 1475 secs || 8798517 markings, 37563244 edges, 5121 markings/sec, 1475 secs
lola: sara is running 1480 secs || 8823537 markings, 37687220 edges, 5004 markings/sec, 1480 secs
lola: sara is running 1485 secs || 8849145 markings, 37809329 edges, 5122 markings/sec, 1485 secs
lola: sara is running 1490 secs || 8875242 markings, 37935986 edges, 5219 markings/sec, 1490 secs
lola: sara is running 1495 secs || 8901369 markings, 38062018 edges, 5225 markings/sec, 1495 secs
lola: sara is running 1500 secs || 8927754 markings, 38187962 edges, 5277 markings/sec, 1500 secs
lola: sara is running 1505 secs || 8954226 markings, 38311609 edges, 5294 markings/sec, 1505 secs
lola: sara is running 1510 secs || 8980202 markings, 38438141 edges, 5195 markings/sec, 1510 secs
lola: sara is running 1515 secs || 9006287 markings, 38563999 edges, 5217 markings/sec, 1515 secs
lola: sara is running 1520 secs || 9032597 markings, 38688291 edges, 5262 markings/sec, 1520 secs
lola: sara is running 1525 secs || 9058626 markings, 38815489 edges, 5206 markings/sec, 1525 secs
lola: sara is running 1530 secs || 9084718 markings, 38940488 edges, 5218 markings/sec, 1530 secs
lola: sara is running 1535 secs || 9110741 markings, 39066387 edges, 5205 markings/sec, 1535 secs
lola: sara is running 1540 secs || 9136916 markings, 39191531 edges, 5235 markings/sec, 1540 secs
lola: sara is running 1545 secs || 9162542 markings, 39318629 edges, 5125 markings/sec, 1545 secs
lola: sara is running 1550 secs || 9187745 markings, 39447073 edges, 5041 markings/sec, 1550 secs
lola: sara is running 1555 secs || 9213259 markings, 39575107 edges, 5103 markings/sec, 1555 secs
lola: sara is running 1560 secs || 9238193 markings, 39705765 edges, 4987 markings/sec, 1560 secs
lola: sara is running 1565 secs || 9261572 markings, 39833490 edges, 4676 markings/sec, 1565 secs
lola: sara is running 1570 secs || 9286114 markings, 39964774 edges, 4908 markings/sec, 1570 secs
lola: sara is running 1575 secs || 9310607 markings, 40096660 edges, 4899 markings/sec, 1575 secs
lola: sara is running 1580 secs || 9334803 markings, 40231087 edges, 4839 markings/sec, 1580 secs
lola: sara is running 1585 secs || 9359157 markings, 40365211 edges, 4871 markings/sec, 1585 secs
lola: sara is running 1590 secs || 9383702 markings, 40497307 edges, 4909 markings/sec, 1590 secs
lola: sara is running 1595 secs || 9408115 markings, 40631482 edges, 4883 markings/sec, 1595 secs
lola: sara is running 1600 secs || 9432929 markings, 40762733 edges, 4963 markings/sec, 1600 secs
lola: sara is running 1605 secs || 9457064 markings, 40897765 edges, 4827 markings/sec, 1605 secs
lola: sara is running 1610 secs || 9481147 markings, 41032736 edges, 4817 markings/sec, 1610 secs
lola: sara is running 1615 secs || 9505655 markings, 41166650 edges, 4902 markings/sec, 1615 secs
lola: sara is running 1620 secs || 9529966 markings, 41300285 edges, 4862 markings/sec, 1620 secs
lola: sara is running 1625 secs || 9553798 markings, 41434287 edges, 4766 markings/sec, 1625 secs
lola: sara is running 1630 secs || 9577794 markings, 41567049 edges, 4799 markings/sec, 1630 secs
lola: sara is running 1635 secs || 9601679 markings, 41701466 edges, 4777 markings/sec, 1635 secs
lola: sara is running 1640 secs || 9625469 markings, 41836734 edges, 4758 markings/sec, 1640 secs
lola: sara is running 1645 secs || 9648693 markings, 41974277 edges, 4645 markings/sec, 1645 secs
lola: sara is running 1650 secs || 9672032 markings, 42109505 edges, 4668 markings/sec, 1650 secs
lola: sara is running 1655 secs || 9695221 markings, 42246308 edges, 4638 markings/sec, 1655 secs
lola: sara is running 1660 secs || 9717670 markings, 42386260 edges, 4490 markings/sec, 1660 secs
lola: sara is running 1665 secs || 9740303 markings, 42523572 edges, 4527 markings/sec, 1665 secs
lola: sara is running 1670 secs || 9762524 markings, 42664181 edges, 4444 markings/sec, 1670 secs
lola: sara is running 1675 secs || 9784976 markings, 42804922 edges, 4490 markings/sec, 1675 secs
lola: sara is running 1680 secs || 9806669 markings, 42947493 edges, 4339 markings/sec, 1680 secs
lola: sara is running 1685 secs || 9828772 markings, 43088242 edges, 4421 markings/sec, 1685 secs
lola: sara is running 1690 secs || 9850220 markings, 43232329 edges, 4290 markings/sec, 1690 secs
lola: sara is running 1695 secs || 9871351 markings, 43376827 edges, 4226 markings/sec, 1695 secs
lola: sara is running 1700 secs || 9892252 markings, 43522748 edges, 4180 markings/sec, 1700 secs
lola: sara is running 1705 secs || 9912768 markings, 43669459 edges, 4103 markings/sec, 1705 secs
lola: sara is running 1710 secs || 9933424 markings, 43815147 edges, 4131 markings/sec, 1710 secs
lola: sara is running 1715 secs || 9953880 markings, 43961328 edges, 4091 markings/sec, 1715 secs
lola: sara is running 1720 secs || 9974130 markings, 44109667 edges, 4050 markings/sec, 1720 secs
lola: sara is running 1725 secs || 9994459 markings, 44255285 edges, 4066 markings/sec, 1725 secs
lola: sara is running 1730 secs || 10014542 markings, 44403666 edges, 4017 markings/sec, 1730 secs
lola: sara is running 1735 secs || 10034949 markings, 44549297 edges, 4081 markings/sec, 1735 secs
lola: sara is running 1740 secs || 10054364 markings, 44703635 edges, 3883 markings/sec, 1740 secs
lola: sara is running 1745 secs || 10074034 markings, 44851285 edges, 3934 markings/sec, 1745 secs
lola: sara is running 1750 secs || 10094153 markings, 44995690 edges, 4024 markings/sec, 1750 secs
lola: sara is running 1755 secs || 10113412 markings, 45144577 edges, 3852 markings/sec, 1755 secs
lola: sara is running 1760 secs || 10131886 markings, 45298590 edges, 3695 markings/sec, 1760 secs
lola: sara is running 1765 secs || 10150176 markings, 45458413 edges, 3658 markings/sec, 1765 secs
lola: sara is running 1770 secs || 10168114 markings, 45618501 edges, 3588 markings/sec, 1770 secs
lola: sara is running 1775 secs || 10186863 markings, 45774939 edges, 3750 markings/sec, 1775 secs
lola: sara is running 1780 secs || 10205278 markings, 45930965 edges, 3683 markings/sec, 1780 secs
lola: sara is running 1785 secs || 10221979 markings, 46097640 edges, 3340 markings/sec, 1785 secs
lola: sara is running 1790 secs || 10237302 markings, 46270477 edges, 3065 markings/sec, 1790 secs
lola: sara is running 1795 secs || 10248892 markings, 46454961 edges, 2318 markings/sec, 1795 secs
lola: sara is running 1800 secs || 10259797 markings, 46643172 edges, 2181 markings/sec, 1800 secs
lola: sara is running 1805 secs || 10269776 markings, 46831617 edges, 1996 markings/sec, 1805 secs
lola: sara is running 1810 secs || 10279009 markings, 47022325 edges, 1847 markings/sec, 1810 secs
lola: sara is running 1815 secs || 10287999 markings, 47214129 edges, 1798 markings/sec, 1815 secs
lola: sara is running 1820 secs || 10296061 markings, 47409368 edges, 1612 markings/sec, 1820 secs
lola: sara is running 1825 secs || 10304005 markings, 47605442 edges, 1589 markings/sec, 1825 secs
lola: sara is running 1830 secs || 10311237 markings, 47804213 edges, 1446 markings/sec, 1830 secs
lola: sara is running 1835 secs || 10317743 markings, 48007029 edges, 1301 markings/sec, 1835 secs
lola: sara is running 1840 secs || 10323249 markings, 48213412 edges, 1101 markings/sec, 1840 secs
lola: sara is running 1845 secs || 10327666 markings, 48412334 edges, 883 markings/sec, 1845 secs
lola: sara is running 1850 secs || 10331823 markings, 48611564 edges, 831 markings/sec, 1850 secs
lola: sara is running 1855 secs || 10335536 markings, 48812702 edges, 743 markings/sec, 1855 secs
lola: sara is running 1860 secs || 10339262 markings, 49013151 edges, 745 markings/sec, 1860 secs
lola: sara is running 1865 secs || 10342604 markings, 49216097 edges, 668 markings/sec, 1865 secs
lola: sara is running 1870 secs || 10345698 markings, 49419128 edges, 619 markings/sec, 1870 secs
lola: sara is running 1875 secs || 10348861 markings, 49623641 edges, 633 markings/sec, 1875 secs
lola: sara is running 1880 secs || 10352203 markings, 49826447 edges, 668 markings/sec, 1880 secs
lola: sara is running 1885 secs || 10354645 markings, 50033065 edges, 488 markings/sec, 1885 secs
lola: sara is running 1890 secs || 10357474 markings, 50239643 edges, 566 markings/sec, 1890 secs
lola: sara is running 1895 secs || 10360030 markings, 50445560 edges, 511 markings/sec, 1895 secs
lola: sara is running 1900 secs || 10362869 markings, 50651550 edges, 568 markings/sec, 1900 secs
lola: sara is running 1905 secs || 10364816 markings, 50861876 edges, 389 markings/sec, 1905 secs
lola: sara is running 1910 secs || 10367069 markings, 51072194 edges, 451 markings/sec, 1910 secs
lola: sara is running 1915 secs || 10369114 markings, 51283225 edges, 409 markings/sec, 1915 secs
lola: sara is running 1920 secs || 10371001 markings, 51495280 edges, 377 markings/sec, 1920 secs
lola: sara is running 1925 secs || 10373013 markings, 51707368 edges, 402 markings/sec, 1925 secs
lola: sara is running 1930 secs || 10375195 markings, 51919734 edges, 436 markings/sec, 1930 secs
lola: sara is running 1935 secs || 10377265 markings, 52131367 edges, 414 markings/sec, 1935 secs
lola: sara is running 1940 secs || 10379545 markings, 52343513 edges, 456 markings/sec, 1940 secs
lola: sara is running 1945 secs || 10381551 markings, 52555685 edges, 401 markings/sec, 1945 secs
lola: sara is running 1950 secs || 10383545 markings, 52769199 edges, 399 markings/sec, 1950 secs
lola: sara is running 1955 secs || 10385394 markings, 52984867 edges, 370 markings/sec, 1955 secs
lola: sara is running 1960 secs || 10387392 markings, 53198199 edges, 400 markings/sec, 1960 secs
lola: sara is running 1965 secs || 10389428 markings, 53410176 edges, 407 markings/sec, 1965 secs
lola: sara is running 1970 secs || 10391372 markings, 53623782 edges, 389 markings/sec, 1970 secs
lola: sara is running 1975 secs || 10393146 markings, 53837353 edges, 355 markings/sec, 1975 secs
lola: sara is running 1980 secs || 10394913 markings, 54051531 edges, 353 markings/sec, 1980 secs
lola: sara is running 1985 secs || 10396864 markings, 54265223 edges, 390 markings/sec, 1985 secs
lola: sara is running 1990 secs || 10398492 markings, 54480091 edges, 326 markings/sec, 1990 secs
lola: sara is running 1995 secs || 10400177 markings, 54693577 edges, 337 markings/sec, 1995 secs
lola: sara is running 2000 secs || 10401786 markings, 54907437 edges, 322 markings/sec, 2000 secs
lola: sara is running 2005 secs || 10403377 markings, 55123934 edges, 318 markings/sec, 2005 secs
lola: sara is running 2010 secs || 10404964 markings, 55338567 edges, 317 markings/sec, 2010 secs
lola: sara is running 2015 secs || 10406603 markings, 55554953 edges, 328 markings/sec, 2015 secs
lola: sara is running 2020 secs || 10408250 markings, 55771985 edges, 329 markings/sec, 2020 secs
lola: sara is running 2025 secs || 10409807 markings, 55988846 edges, 311 markings/sec, 2025 secs
lola: sara is running 2030 secs || 10411147 markings, 56204682 edges, 268 markings/sec, 2030 secs
lola: sara is running 2035 secs || 10412715 markings, 56420939 edges, 314 markings/sec, 2035 secs
lola: sara is running 2040 secs || 10414316 markings, 56635165 edges, 320 markings/sec, 2040 secs
lola: sara is running 2045 secs || 10415926 markings, 56849981 edges, 322 markings/sec, 2045 secs
lola: sara is running 2050 secs || 10417463 markings, 57065743 edges, 307 markings/sec, 2050 secs
lola: sara is running 2055 secs || 10418982 markings, 57283013 edges, 304 markings/sec, 2055 secs
lola: sara is running 2060 secs || 10420582 markings, 57499563 edges, 320 markings/sec, 2060 secs
lola: sara is running 2065 secs || 10422232 markings, 57714452 edges, 330 markings/sec, 2065 secs
lola: sara is running 2070 secs || 10423715 markings, 57933098 edges, 297 markings/sec, 2070 secs
lola: sara is running 2075 secs || 10425186 markings, 58150219 edges, 294 markings/sec, 2075 secs
lola: sara is running 2080 secs || 10426569 markings, 58366980 edges, 277 markings/sec, 2080 secs
lola: sara is running 2085 secs || 10427971 markings, 58584463 edges, 280 markings/sec, 2085 secs
lola: sara is running 2090 secs || 10429305 markings, 58803021 edges, 267 markings/sec, 2090 secs
lola: sara is running 2095 secs || 10430473 markings, 59021787 edges, 234 markings/sec, 2095 secs
lola: sara is running 2100 secs || 10431994 markings, 59240172 edges, 304 markings/sec, 2100 secs
lola: sara is running 2105 secs || 10433472 markings, 59457824 edges, 296 markings/sec, 2105 secs
lola: sara is running 2110 secs || 10434695 markings, 59676625 edges, 245 markings/sec, 2110 secs
lola: sara is running 2115 secs || 10436032 markings, 59893955 edges, 267 markings/sec, 2115 secs
lola: sara is running 2120 secs || 10437363 markings, 60110173 edges, 266 markings/sec, 2120 secs
lola: sara is running 2125 secs || 10438768 markings, 60318901 edges, 281 markings/sec, 2125 secs
lola: sara is running 2130 secs || 10440325 markings, 60539961 edges, 311 markings/sec, 2130 secs
lola: sara is running 2135 secs || 10441559 markings, 60763126 edges, 247 markings/sec, 2135 secs
lola: sara is running 2140 secs || 10442825 markings, 60986411 edges, 253 markings/sec, 2140 secs
lola: sara is running 2145 secs || 10444169 markings, 61209622 edges, 269 markings/sec, 2145 secs
lola: sara is running 2150 secs || 10445487 markings, 61432589 edges, 264 markings/sec, 2150 secs
lola: sara is running 2155 secs || 10446639 markings, 61657693 edges, 230 markings/sec, 2155 secs
lola: sara is running 2160 secs || 10447829 markings, 61882181 edges, 238 markings/sec, 2160 secs
lola: sara is running 2165 secs || 10449053 markings, 62104882 edges, 245 markings/sec, 2165 secs
lola: sara is running 2170 secs || 10450127 markings, 62329824 edges, 215 markings/sec, 2170 secs
lola: sara is running 2175 secs || 10451281 markings, 62553324 edges, 231 markings/sec, 2175 secs
lola: sara is running 2180 secs || 10452323 markings, 62778557 edges, 208 markings/sec, 2180 secs
lola: sara is running 2185 secs || 10453416 markings, 63002890 edges, 219 markings/sec, 2185 secs
lola: sara is running 2190 secs || 10454580 markings, 63226187 edges, 233 markings/sec, 2190 secs
lola: sara is running 2195 secs || 10455753 markings, 63449728 edges, 235 markings/sec, 2195 secs
lola: sara is running 2200 secs || 10456776 markings, 63673421 edges, 205 markings/sec, 2200 secs
lola: sara is running 2205 secs || 10457717 markings, 63899294 edges, 188 markings/sec, 2205 secs
lola: sara is running 2210 secs || 10458780 markings, 64121681 edges, 213 markings/sec, 2210 secs
lola: sara is running 2215 secs || 10459776 markings, 64346927 edges, 199 markings/sec, 2215 secs
lola: sara is running 2220 secs || 10460762 markings, 64570418 edges, 197 markings/sec, 2220 secs
lola: sara is running 2225 secs || 10461769 markings, 64794174 edges, 201 markings/sec, 2225 secs
lola: sara is running 2230 secs || 10462712 markings, 65017364 edges, 189 markings/sec, 2230 secs
lola: sara is running 2235 secs || 10463713 markings, 65241509 edges, 200 markings/sec, 2235 secs
lola: sara is running 2240 secs || 10464715 markings, 65465005 edges, 200 markings/sec, 2240 secs
lola: sara is running 2245 secs || 10465689 markings, 65687596 edges, 195 markings/sec, 2245 secs
lola: sara is running 2250 secs || 10466635 markings, 65911390 edges, 189 markings/sec, 2250 secs
lola: sara is running 2255 secs || 10467560 markings, 66136078 edges, 185 markings/sec, 2255 secs
lola: sara is running 2260 secs || 10468514 markings, 66361024 edges, 191 markings/sec, 2260 secs
lola: sara is running 2265 secs || 10469420 markings, 66584881 edges, 181 markings/sec, 2265 secs
lola: sara is running 2270 secs || 10470483 markings, 66807147 edges, 213 markings/sec, 2270 secs
lola: sara is running 2275 secs || 10471421 markings, 67031516 edges, 188 markings/sec, 2275 secs
lola: sara is running 2280 secs || 10472504 markings, 67253620 edges, 217 markings/sec, 2280 secs
lola: sara is running 2285 secs || 10473321 markings, 67478407 edges, 163 markings/sec, 2285 secs
lola: sara is running 2290 secs || 10474291 markings, 67702815 edges, 194 markings/sec, 2290 secs
lola: sara is running 2295 secs || 10475190 markings, 67925603 edges, 180 markings/sec, 2295 secs
lola: sara is running 2300 secs || 10476122 markings, 68148965 edges, 186 markings/sec, 2300 secs
lola: sara is running 2305 secs || 10476928 markings, 68373447 edges, 161 markings/sec, 2305 secs
lola: sara is running 2310 secs || 10477840 markings, 68595599 edges, 182 markings/sec, 2310 secs
lola: sara is running 2315 secs || 10478734 markings, 68817836 edges, 179 markings/sec, 2315 secs
lola: sara is running 2320 secs || 10479612 markings, 69041928 edges, 176 markings/sec, 2320 secs
lola: sara is running 2325 secs || 10480331 markings, 69266484 edges, 144 markings/sec, 2325 secs
lola: sara is running 2330 secs || 10481125 markings, 69490298 edges, 159 markings/sec, 2330 secs
lola: sara is running 2335 secs || 10481891 markings, 69713634 edges, 153 markings/sec, 2335 secs
lola: sara is running 2340 secs || 10482689 markings, 69937089 edges, 160 markings/sec, 2340 secs
lola: sara is running 2345 secs || 10483480 markings, 70161536 edges, 158 markings/sec, 2345 secs
lola: sara is running 2350 secs || 10484335 markings, 70384237 edges, 171 markings/sec, 2350 secs
lola: sara is running 2355 secs || 10485094 markings, 70606988 edges, 152 markings/sec, 2355 secs
lola: sara is running 2360 secs || 10485878 markings, 70829423 edges, 157 markings/sec, 2360 secs
lola: sara is running 2365 secs || 10486665 markings, 71055640 edges, 157 markings/sec, 2365 secs
lola: sara is running 2370 secs || 10487453 markings, 71281330 edges, 158 markings/sec, 2370 secs
lola: sara is running 2375 secs || 10488109 markings, 71506629 edges, 131 markings/sec, 2375 secs
lola: sara is running 2380 secs || 10488849 markings, 71731145 edges, 148 markings/sec, 2380 secs
lola: sara is running 2385 secs || 10489538 markings, 71956382 edges, 138 markings/sec, 2385 secs
lola: sara is running 2390 secs || 10490118 markings, 72182543 edges, 116 markings/sec, 2390 secs
lola: sara is running 2395 secs || 10491005 markings, 72406357 edges, 177 markings/sec, 2395 secs
lola: sara is running 2400 secs || 10491537 markings, 72632899 edges, 106 markings/sec, 2400 secs
lola: sara is running 2405 secs || 10492236 markings, 72857635 edges, 140 markings/sec, 2405 secs
lola: sara is running 2410 secs || 10492804 markings, 73084843 edges, 114 markings/sec, 2410 secs
lola: sara is running 2415 secs || 10493287 markings, 73312816 edges, 97 markings/sec, 2415 secs
lola: sara is running 2420 secs || 10493794 markings, 73541251 edges, 101 markings/sec, 2420 secs
lola: sara is running 2425 secs || 10494244 markings, 73769382 edges, 90 markings/sec, 2425 secs
lola: sara is running 2430 secs || 10494708 markings, 73997996 edges, 93 markings/sec, 2430 secs
lola: sara is running 2435 secs || 10495102 markings, 74228003 edges, 79 markings/sec, 2435 secs
lola: sara is running 2440 secs || 10495495 markings, 74457150 edges, 79 markings/sec, 2440 secs
lola: sara is running 2445 secs || 10495939 markings, 74686746 edges, 89 markings/sec, 2445 secs
lola: sara is running 2450 secs || 10496223 markings, 74911210 edges, 57 markings/sec, 2450 secs
lola: sara is running 2455 secs || 10496478 markings, 75133197 edges, 51 markings/sec, 2455 secs
lola: sara is running 2460 secs || 10496719 markings, 75359191 edges, 48 markings/sec, 2460 secs
lola: sara is running 2465 secs || 10496921 markings, 75578923 edges, 40 markings/sec, 2465 secs
lola: sara is running 2470 secs || 10497068 markings, 75803185 edges, 29 markings/sec, 2470 secs
lola: sara is running 2475 secs || 10497131 markings, 76033740 edges, 13 markings/sec, 2475 secs
lola: sara is running 2480 secs || 10497163 markings, 76266909 edges, 6 markings/sec, 2480 secs
lola: sara is running 2485 secs || 10510158 markings, 76478134 edges, 2599 markings/sec, 2485 secs
lola: sara is running 2490 secs || 10544096 markings, 76565502 edges, 6788 markings/sec, 2490 secs
lola: sara is running 2495 secs || 10573446 markings, 76696254 edges, 5870 markings/sec, 2495 secs
lola: sara is running 2500 secs || 10597363 markings, 76883316 edges, 4783 markings/sec, 2500 secs
lola: sara is running 2505 secs || 10633627 markings, 76983996 edges, 7253 markings/sec, 2505 secs
lola: sara is running 2510 secs || 10653725 markings, 77169732 edges, 4020 markings/sec, 2510 secs
lola: sara is running 2515 secs || 10685020 markings, 77289081 edges, 6259 markings/sec, 2515 secs
lola: sara is running 2520 secs || 10718745 markings, 77392978 edges, 6745 markings/sec, 2520 secs
lola: sara is running 2525 secs || 10734651 markings, 77601407 edges, 3181 markings/sec, 2525 secs
lola: sara is running 2530 secs || 10770823 markings, 77692379 edges, 7234 markings/sec, 2530 secs
lola: sara is running 2535 secs || 10802669 markings, 77806872 edges, 6369 markings/sec, 2535 secs
lola: sara is running 2540 secs || 10820859 markings, 78006073 edges, 3638 markings/sec, 2540 secs
lola: sara is running 2545 secs || 10857169 markings, 78099864 edges, 7262 markings/sec, 2545 secs
lola: sara is running 2550 secs || 10884924 markings, 78239835 edges, 5551 markings/sec, 2550 secs
lola: sara is running 2555 secs || 10908799 markings, 78413139 edges, 4775 markings/sec, 2555 secs
lola: sara is running 2560 secs || 10944363 markings, 78513069 edges, 7113 markings/sec, 2560 secs
lola: sara is running 2565 secs || 10963135 markings, 78710394 edges, 3754 markings/sec, 2565 secs
lola: sara is running 2570 secs || 10993195 markings, 78830588 edges, 6012 markings/sec, 2570 secs
lola: sara is running 2575 secs || 11024446 markings, 78941605 edges, 6250 markings/sec, 2575 secs
lola: sara is running 2580 secs || 11039297 markings, 79144489 edges, 2970 markings/sec, 2580 secs
lola: sara is running 2585 secs || 11069756 markings, 79264838 edges, 6092 markings/sec, 2585 secs
lola: sara is running 2590 secs || 11102912 markings, 79369123 edges, 6631 markings/sec, 2590 secs
lola: sara is running 2595 secs || 11118785 markings, 79576065 edges, 3175 markings/sec, 2595 secs
lola: sara is running 2600 secs || 11156570 markings, 79673057 edges, 7557 markings/sec, 2600 secs
lola: sara is running 2605 secs || 11188336 markings, 79801737 edges, 6353 markings/sec, 2605 secs
lola: sara is running 2610 secs || 11211302 markings, 79996228 edges, 4593 markings/sec, 2610 secs
lola: sara is running 2615 secs || 11247403 markings, 80098119 edges, 7220 markings/sec, 2615 secs
lola: sara is running 2620 secs || 11266031 markings, 80307770 edges, 3726 markings/sec, 2620 secs
lola: sara is running 2625 secs || 11303968 markings, 80405488 edges, 7587 markings/sec, 2625 secs
lola: sara is running 2630 secs || 11334500 markings, 80541602 edges, 6106 markings/sec, 2630 secs
lola: sara is running 2635 secs || 11357729 markings, 80724527 edges, 4646 markings/sec, 2635 secs
lola: sara is running 2640 secs || 11392488 markings, 80822987 edges, 6952 markings/sec, 2640 secs
lola: sara is running 2645 secs || 11410658 markings, 81015254 edges, 3634 markings/sec, 2645 secs
lola: sara is running 2650 secs || 11440781 markings, 81142818 edges, 6025 markings/sec, 2650 secs
lola: sara is running 2655 secs || 11471387 markings, 81264274 edges, 6121 markings/sec, 2655 secs
lola: sara is running 2660 secs || 11485034 markings, 81484808 edges, 2729 markings/sec, 2660 secs
lola: sara is running 2665 secs || 11521243 markings, 81580920 edges, 7242 markings/sec, 2665 secs
lola: sara is running 2670 secs || 11552864 markings, 81700192 edges, 6324 markings/sec, 2670 secs
lola: sara is running 2675 secs || 11571723 markings, 81894827 edges, 3772 markings/sec, 2675 secs
lola: sara is running 2680 secs || 11606029 markings, 81986306 edges, 6861 markings/sec, 2680 secs
lola: sara is running 2685 secs || 11630447 markings, 82131760 edges, 4884 markings/sec, 2685 secs
lola: sara is running 2690 secs || 11655866 markings, 82290860 edges, 5084 markings/sec, 2690 secs
lola: sara is running 2695 secs || 11691298 markings, 82398395 edges, 7086 markings/sec, 2695 secs
lola: sara is running 2700 secs || 11708873 markings, 82612554 edges, 3515 markings/sec, 2700 secs
lola: sara is running 2705 secs || 11743966 markings, 82701397 edges, 7019 markings/sec, 2705 secs
lola: sara is running 2710 secs || 11770780 markings, 82836279 edges, 5363 markings/sec, 2710 secs
lola: sara is running 2715 secs || 11794588 markings, 83001287 edges, 4762 markings/sec, 2715 secs
lola: sara is running 2720 secs || 11829539 markings, 83105201 edges, 6990 markings/sec, 2720 secs
lola: sara is running 2725 secs || 11845845 markings, 83317911 edges, 3261 markings/sec, 2725 secs
lola: sara is running 2730 secs || 11878987 markings, 83425378 edges, 6628 markings/sec, 2730 secs
lola: sara is running 2735 secs || 11908280 markings, 83551983 edges, 5859 markings/sec, 2735 secs
lola: sara is running 2740 secs || 11922666 markings, 83767481 edges, 2877 markings/sec, 2740 secs
lola: sara is running 2745 secs || 11957120 markings, 83856461 edges, 6891 markings/sec, 2745 secs
lola: sara is running 2750 secs || 11985079 markings, 83981811 edges, 5592 markings/sec, 2750 secs
lola: sara is running 2755 secs || 12004477 markings, 84158652 edges, 3880 markings/sec, 2755 secs
lola: sara is running 2760 secs || 12038558 markings, 84253591 edges, 6816 markings/sec, 2760 secs
lola: sara is running 2765 secs || 12057988 markings, 84430740 edges, 3886 markings/sec, 2765 secs
lola: sara is running 2770 secs || 12086700 markings, 84548518 edges, 5742 markings/sec, 2770 secs
lola: sara is running 2775 secs || 12117891 markings, 84651067 edges, 6238 markings/sec, 2775 secs
lola: sara is running 2780 secs || 12130935 markings, 84849088 edges, 2609 markings/sec, 2780 secs
lola: sara is running 2785 secs || 12163442 markings, 84950044 edges, 6501 markings/sec, 2785 secs
lola: sara is running 2790 secs || 12192120 markings, 85073479 edges, 5736 markings/sec, 2790 secs
lola: sara is running 2795 secs || 12204953 markings, 85287208 edges, 2567 markings/sec, 2795 secs
lola: sara is running 2800 secs || 12241638 markings, 85384079 edges, 7337 markings/sec, 2800 secs
lola: sara is running 2805 secs || 12267446 markings, 85549954 edges, 5162 markings/sec, 2805 secs
lola: sara is running 2810 secs || 12294770 markings, 85708727 edges, 5465 markings/sec, 2810 secs
lola: sara is running 2815 secs || 12326355 markings, 85825286 edges, 6317 markings/sec, 2815 secs
lola: sara is running 2820 secs || 12338199 markings, 86046958 edges, 2369 markings/sec, 2820 secs
lola: sara is running 2825 secs || 12370505 markings, 86142578 edges, 6461 markings/sec, 2825 secs
lola: sara is running 2830 secs || 12401088 markings, 86257811 edges, 6117 markings/sec, 2830 secs
lola: sara is running 2835 secs || 12419342 markings, 86456168 edges, 3651 markings/sec, 2835 secs
lola: sara is running 2840 secs || 12455429 markings, 86566282 edges, 7217 markings/sec, 2840 secs
lola: sara is running 2845 secs || 12474989 markings, 86770868 edges, 3912 markings/sec, 2845 secs
lola: sara is running 2850 secs || 12505422 markings, 86915822 edges, 6087 markings/sec, 2850 secs
lola: sara is running 2855 secs || 12538618 markings, 87038998 edges, 6639 markings/sec, 2855 secs
lola: sara is running 2860 secs || 12558822 markings, 87245855 edges, 4041 markings/sec, 2860 secs
lola: sara is running 2865 secs || 12592450 markings, 87364476 edges, 6726 markings/sec, 2865 secs
lola: sara is running 2870 secs || 12612184 markings, 87564289 edges, 3947 markings/sec, 2870 secs
lola: sara is running 2875 secs || 12640727 markings, 87691655 edges, 5709 markings/sec, 2875 secs
lola: sara is running 2880 secs || 12671219 markings, 87795463 edges, 6098 markings/sec, 2880 secs
lola: sara is running 2885 secs || 12685034 markings, 87988012 edges, 2763 markings/sec, 2885 secs
lola: sara is running 2890 secs || 12719812 markings, 88078232 edges, 6956 markings/sec, 2890 secs
lola: sara is running 2895 secs || 12745826 markings, 88213914 edges, 5203 markings/sec, 2895 secs
lola: sara is running 2900 secs || 12769276 markings, 88380374 edges, 4690 markings/sec, 2900 secs
lola: sara is running 2905 secs || 12803549 markings, 88490970 edges, 6855 markings/sec, 2905 secs
lola: sara is running 2910 secs || 12820969 markings, 88700856 edges, 3484 markings/sec, 2910 secs
lola: sara is running 2915 secs || 12852271 markings, 88801203 edges, 6260 markings/sec, 2915 secs
lola: sara is running 2920 secs || 12877086 markings, 88934883 edges, 4963 markings/sec, 2920 secs
lola: sara is running 2925 secs || 12892064 markings, 89122273 edges, 2996 markings/sec, 2925 secs
lola: sara is running 2930 secs || 12924485 markings, 89210790 edges, 6484 markings/sec, 2930 secs
lola: sara is running 2935 secs || 12946695 markings, 89350031 edges, 4442 markings/sec, 2935 secs
lola: sara is running 2940 secs || 12967410 markings, 89508785 edges, 4143 markings/sec, 2940 secs
lola: sara is running 2945 secs || 12997531 markings, 89624224 edges, 6024 markings/sec, 2945 secs
lola: sara is running 2950 secs || 13010676 markings, 89836152 edges, 2629 markings/sec, 2950 secs
lola: sara is running 2955 secs || 13047740 markings, 89934512 edges, 7413 markings/sec, 2955 secs
lola: sara is running 2960 secs || 13074716 markings, 90085510 edges, 5395 markings/sec, 2960 secs
lola: sara is running 2965 secs || 13096891 markings, 90249620 edges, 4435 markings/sec, 2965 secs
lola: sara is running 2970 secs || 13125244 markings, 90353874 edges, 5671 markings/sec, 2970 secs
lola: sara is running 2975 secs || 13138638 markings, 90558536 edges, 2679 markings/sec, 2975 secs
lola: sara is running 2980 secs || 13173458 markings, 90660604 edges, 6964 markings/sec, 2980 secs
lola: sara is running 2985 secs || 13203177 markings, 90790485 edges, 5944 markings/sec, 2985 secs
lola: sara is running 2990 secs || 13225811 markings, 90965168 edges, 4527 markings/sec, 2990 secs
lola: sara is running 2995 secs || 13260162 markings, 91063398 edges, 6870 markings/sec, 2995 secs
lola: sara is running 3000 secs || 13277613 markings, 91255618 edges, 3490 markings/sec, 3000 secs
lola: sara is running 3005 secs || 13307623 markings, 91371831 edges, 6002 markings/sec, 3005 secs
lola: sara is running 3010 secs || 13335852 markings, 91499731 edges, 5646 markings/sec, 3010 secs
lola: sara is running 3015 secs || 13350671 markings, 91706233 edges, 2964 markings/sec, 3015 secs
lola: sara is running 3020 secs || 13387173 markings, 91807682 edges, 7300 markings/sec, 3020 secs
lola: sara is running 3025 secs || 13406168 markings, 92017628 edges, 3799 markings/sec, 3025 secs
lola: sara is running 3030 secs || 13439419 markings, 92134817 edges, 6650 markings/sec, 3030 secs
lola: sara is running 3035 secs || 13466709 markings, 92283600 edges, 5458 markings/sec, 3035 secs
lola: sara is running 3040 secs || 13490647 markings, 92468366 edges, 4788 markings/sec, 3040 secs
lola: sara is running 3045 secs || 13529632 markings, 92563302 edges, 7797 markings/sec, 3045 secs
lola: sara is running 3050 secs || 13555243 markings, 92736007 edges, 5122 markings/sec, 3050 secs
lola: sara is running 3055 secs || 13581083 markings, 92883192 edges, 5168 markings/sec, 3055 secs
lola: sara is running 3060 secs || 13609099 markings, 93011984 edges, 5603 markings/sec, 3060 secs
lola: sara is running 3065 secs || 13625261 markings, 93210121 edges, 3232 markings/sec, 3065 secs
lola: sara is running 3070 secs || 13660447 markings, 93312416 edges, 7037 markings/sec, 3070 secs
lola: sara is running 3075 secs || 13677738 markings, 93518070 edges, 3458 markings/sec, 3075 secs
lola: sara is running 3080 secs || 13710243 markings, 93624785 edges, 6501 markings/sec, 3080 secs
lola: sara is running 3085 secs || 13734618 markings, 93776497 edges, 4875 markings/sec, 3085 secs
lola: sara is running 3090 secs || 13758404 markings, 93944113 edges, 4757 markings/sec, 3090 secs
lola: sara is running 3095 secs || 13793487 markings, 94038350 edges, 7017 markings/sec, 3095 secs
lola: sara is running 3100 secs || 13815749 markings, 94206281 edges, 4452 markings/sec, 3100 secs
lola: sara is running 3105 secs || 13843176 markings, 94352122 edges, 5485 markings/sec, 3105 secs
lola: sara is running 3110 secs || 13872448 markings, 94489876 edges, 5854 markings/sec, 3110 secs
lola: sara is running 3115 secs || 13891870 markings, 94693753 edges, 3884 markings/sec, 3115 secs
lola: sara is running 3120 secs || 13932477 markings, 94776516 edges, 8121 markings/sec, 3120 secs
lola: sara is running 3125 secs || 13971770 markings, 94859849 edges, 7859 markings/sec, 3125 secs
lola: sara is running 3130 secs || 14010366 markings, 94944731 edges, 7719 markings/sec, 3130 secs
lola: sara is running 3135 secs || 14047658 markings, 95034663 edges, 7458 markings/sec, 3135 secs
lola: sara is running 3140 secs || 14083983 markings, 95125998 edges, 7265 markings/sec, 3140 secs
lola: sara is running 3145 secs || 14120683 markings, 95217461 edges, 7340 markings/sec, 3145 secs
lola: sara is running 3150 secs || 14157281 markings, 95310258 edges, 7320 markings/sec, 3150 secs
lola: sara is running 3155 secs || 14194082 markings, 95399823 edges, 7360 markings/sec, 3155 secs
lola: sara is running 3160 secs || 14230186 markings, 95491430 edges, 7221 markings/sec, 3160 secs
lola: sara is running 3165 secs || 14265864 markings, 95583778 edges, 7136 markings/sec, 3165 secs
lola: sara is running 3170 secs || 14301761 markings, 95678202 edges, 7179 markings/sec, 3170 secs
lola: sara is running 3175 secs || 14336899 markings, 95773161 edges, 7028 markings/sec, 3175 secs
lola: sara is running 3180 secs || 14372195 markings, 95866201 edges, 7059 markings/sec, 3180 secs
lola: sara is running 3185 secs || 14407239 markings, 95960543 edges, 7009 markings/sec, 3185 secs
lola: sara is running 3190 secs || 14442143 markings, 96055113 edges, 6981 markings/sec, 3190 secs
lola: sara is running 3195 secs || 14476356 markings, 96150722 edges, 6843 markings/sec, 3195 secs
lola: sara is running 3200 secs || 14510756 markings, 96248247 edges, 6880 markings/sec, 3200 secs
lola: sara is running 3205 secs || 14545624 markings, 96343202 edges, 6974 markings/sec, 3205 secs
lola: sara is running 3210 secs || 14579983 markings, 96440468 edges, 6872 markings/sec, 3210 secs
lola: sara is running 3215 secs || 14613987 markings, 96536931 edges, 6801 markings/sec, 3215 secs
lola: sara is running 3220 secs || 14645965 markings, 96630321 edges, 6396 markings/sec, 3220 secs
lola: sara is running 3225 secs || 14678513 markings, 96722542 edges, 6510 markings/sec, 3225 secs
lola: sara is running 3230 secs || 14710921 markings, 96817227 edges, 6482 markings/sec, 3230 secs
lola: sara is running 3235 secs || 14743317 markings, 96910175 edges, 6479 markings/sec, 3235 secs
lola: sara is running 3240 secs || 14775766 markings, 97005286 edges, 6490 markings/sec, 3240 secs
lola: sara is running 3245 secs || 14807576 markings, 97101134 edges, 6362 markings/sec, 3245 secs
lola: sara is running 3250 secs || 14839417 markings, 97196236 edges, 6368 markings/sec, 3250 secs
lola: sara is running 3255 secs || 14871084 markings, 97291366 edges, 6333 markings/sec, 3255 secs
lola: sara is running 3260 secs || 14902140 markings, 97386259 edges, 6211 markings/sec, 3260 secs
lola: sara is running 3265 secs || 14934266 markings, 97484536 edges, 6425 markings/sec, 3265 secs
lola: sara is running 3270 secs || 14966424 markings, 97583817 edges, 6432 markings/sec, 3270 secs
lola: sara is running 3275 secs || 14997749 markings, 97679992 edges, 6265 markings/sec, 3275 secs
lola: sara is running 3280 secs || 15030966 markings, 97779581 edges, 6643 markings/sec, 3280 secs
lola: sara is running 3285 secs || 15062529 markings, 97875923 edges, 6313 markings/sec, 3285 secs
lola: sara is running 3290 secs || 15093340 markings, 97973477 edges, 6162 markings/sec, 3290 secs
lola: sara is running 3295 secs || 15126004 markings, 98074640 edges, 6533 markings/sec, 3295 secs
lola: sara is running 3300 secs || 15158337 markings, 98177862 edges, 6467 markings/sec, 3300 secs
lola: sara is running 3305 secs || 15190838 markings, 98279706 edges, 6500 markings/sec, 3305 secs
lola: sara is running 3310 secs || 15221936 markings, 98377504 edges, 6220 markings/sec, 3310 secs
lola: sara is running 3315 secs || 15254576 markings, 98480067 edges, 6528 markings/sec, 3315 secs
lola: sara is running 3320 secs || 15284987 markings, 98575309 edges, 6082 markings/sec, 3320 secs
lola: sara is running 3325 secs || 15317015 markings, 98677454 edges, 6406 markings/sec, 3325 secs
lola: sara is running 3330 secs || 15348847 markings, 98781724 edges, 6366 markings/sec, 3330 secs
lola: sara is running 3335 secs || 15381038 markings, 98883245 edges, 6438 markings/sec, 3335 secs
lola: sara is running 3340 secs || 15412862 markings, 98986804 edges, 6365 markings/sec, 3340 secs
lola: sara is running 3345 secs || 15445129 markings, 99089224 edges, 6453 markings/sec, 3345 secs
lola: sara is running 3350 secs || 15477268 markings, 99190570 edges, 6428 markings/sec, 3350 secs
lola: sara is running 3355 secs || 15509379 markings, 99293526 edges, 6422 markings/sec, 3355 secs
lola: sara is running 3360 secs || 15539332 markings, 99391512 edges, 5991 markings/sec, 3360 secs
lola: sara is running 3365 secs || 15571128 markings, 99494301 edges, 6359 markings/sec, 3365 secs
lola: sara is running 3370 secs || 15601559 markings, 99595087 edges, 6086 markings/sec, 3370 secs
lola: sara is running 3375 secs || 15631534 markings, 99693081 edges, 5995 markings/sec, 3375 secs
lola: sara is running 3380 secs || 15662824 markings, 99796678 edges, 6258 markings/sec, 3380 secs
lola: sara is running 3385 secs || 15692355 markings, 99893560 edges, 5906 markings/sec, 3385 secs
lola: sara is running 3390 secs || 15722875 markings, 99998950 edges, 6104 markings/sec, 3390 secs
lola: sara is running 3395 secs || 15753577 markings, 100101872 edges, 6140 markings/sec, 3395 secs
lola: sara is running 3400 secs || 15783358 markings, 100204118 edges, 5956 markings/sec, 3400 secs
lola: sara is running 3405 secs || 15812738 markings, 100301952 edges, 5876 markings/sec, 3405 secs
lola: sara is running 3410 secs || 15843357 markings, 100404723 edges, 6124 markings/sec, 3410 secs
lola: sara is running 3415 secs || 15872954 markings, 100505393 edges, 5919 markings/sec, 3415 secs
lola: sara is running 3420 secs || 15902197 markings, 100603047 edges, 5849 markings/sec, 3420 secs
lola: sara is running 3425 secs || 15932380 markings, 100706742 edges, 6037 markings/sec, 3425 secs
lola: sara is running 3430 secs || 15961003 markings, 100806348 edges, 5725 markings/sec, 3430 secs
lola: sara is running 3435 secs || 15992109 markings, 100912488 edges, 6221 markings/sec, 3435 secs
lola: sara is running 3440 secs || 16022847 markings, 101018482 edges, 6148 markings/sec, 3440 secs
lola: sara is running 3445 secs || 16053612 markings, 101122713 edges, 6153 markings/sec, 3445 secs
lola: sara is running 3450 secs || 16083128 markings, 101224706 edges, 5903 markings/sec, 3450 secs
lola: sara is running 3455 secs || 16112177 markings, 101325972 edges, 5810 markings/sec, 3455 secs
lola: sara is running 3460 secs || 16142866 markings, 101432815 edges, 6138 markings/sec, 3460 secs
lola: sara is running 3465 secs || 16173225 markings, 101538199 edges, 6072 markings/sec, 3465 secs
lola: sara is running 3470 secs || 16203014 markings, 101639361 edges, 5958 markings/sec, 3470 secs
lola: sara is running 3475 secs || 16232008 markings, 101741047 edges, 5799 markings/sec, 3475 secs
lola: sara is running 3480 secs || 16262380 markings, 101848189 edges, 6074 markings/sec, 3480 secs
lola: sara is running 3485 secs || 16289465 markings, 101942057 edges, 5417 markings/sec, 3485 secs
lola: sara is running 3490 secs || 16319209 markings, 102049114 edges, 5949 markings/sec, 3490 secs
lola: sara is running 3495 secs || 16348206 markings, 102152145 edges, 5799 markings/sec, 3495 secs
lola: sara is running 3500 secs || 16376822 markings, 102255315 edges, 5723 markings/sec, 3500 secs
lola: sara is running 3505 secs || 16405756 markings, 102354383 edges, 5787 markings/sec, 3505 secs
lola: sara is running 3510 secs || 16435597 markings, 102458542 edges, 5968 markings/sec, 3510 secs
lola: sara is running 3515 secs || 16465173 markings, 102562569 edges, 5915 markings/sec, 3515 secs
lola: sara is running 3520 secs || 16495033 markings, 102666913 edges, 5972 markings/sec, 3520 secs
lola: sara is running 3525 secs || 16523695 markings, 102770195 edges, 5732 markings/sec, 3525 secs
lola: sara is running 3530 secs || 16552647 markings, 102872525 edges, 5790 markings/sec, 3530 secs
lola: sara is running 3535 secs || 16581668 markings, 102974783 edges, 5804 markings/sec, 3535 secs
lola: sara is running 3540 secs || 16610593 markings, 103077748 edges, 5785 markings/sec, 3540 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes no yes unknown yes yes no no no no yes yes no yes no
lola:
preliminary result: yes yes no yes unknown yes yes no no no no yes yes no yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes no yes unknown yes yes no no no no yes yes no yes no
lola: memory consumption: 2109956 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes no yes unknown yes yes no no no no yes yes no yes no
lola: memory consumption: 2110424 KB
lola: time consumption: 3570 seconds

BK_STOP 1526733179650

--------------------
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="HypercubeGrid-PT-C3K4P4B12"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/HypercubeGrid-PT-C3K4P4B12.tgz
mv HypercubeGrid-PT-C3K4P4B12 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is HypercubeGrid-PT-C3K4P4B12, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r100-smll-152658630700109"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.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 ;