fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r280-csrt-152749169900439
Last Updated
June 26, 2018

About the Execution of LoLA for RERS17pb113-PT-7

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
804.570 3569703.00 6975919.00 488.20 TFFFT?TFFFFFFFTF 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 15M
-rw-r--r-- 1 mcc users 3.8K May 30 21:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 30 21:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 29 15:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 29 15:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.4K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 28 10:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 10:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 28 08:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.0K May 28 08:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.4K May 28 06:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 28 06:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 107 May 26 06:30 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 26 06:30 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.4K May 27 04:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 27 04:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 28 07:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 2 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 15M May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is RERS17pb113-PT-7, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749169900439

=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527797911412

info: Time: 3600 - MCC
===========================================================================================
prep: translating RERS17pb113-PT-7 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating RERS17pb113-PT-7 formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ RERS17pb113-PT-7 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 31992/65536 symbol table entries, 6831 collisions
lola: preprocessing...
lola: Size of bit vector: 639
lola: finding significant places
lola: 639 places, 31353 transitions, 614 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 47274 transition conflict sets
lola: TASK
lola: reading formula from RERS17pb113-PT-1-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (2 <= p309)
lola: LP says that atomic proposition is always false: (2 <= p32)
lola: LP says that atomic proposition is always false: (3 <= p542)
lola: LP says that atomic proposition is always false: (2 <= p194)
lola: LP says that atomic proposition is always false: (2 <= p511)
lola: LP says that atomic proposition is always false: (3 <= p55)
lola: LP says that atomic proposition is always false: (2 <= p493)
lola: LP says that atomic proposition is always false: (2 <= p148)
lola: LP says that atomic proposition is always false: (3 <= p22)
lola: LP says that atomic proposition is always false: (3 <= p147)
lola: LP says that atomic proposition is always false: (3 <= p424)
lola: LP says that atomic proposition is always false: (2 <= p24)
lola: E (F ((((p544 <= p428) OR (p387 <= p473)) AND (1 <= p409)))) : E (F (FALSE)) : A (G ((p565 <= p262))) : E (F (())) : A (G (())) : A (G (((p502 <= p438) OR (p502 <= p381)))) : E (F (((p358 <= 0) AND ((p413 + 1 <= p355) OR (p542 + 1 <= p254))))) : A (G ((p498 <= p634))) : A (G (((p404 <= p52) AND (p585 <= p579)))) : A (G (((((p285 <= p607)) AND (p14 <= 0)) OR (p428 <= p362)))) : E (F (())) : E (F (())) : A (G (((p456 + 1 <= p219) OR (p592 + 1 <= p517) OR (p349 <= p477)))) : A (G ((p241 <= p580))) : E (F (((p202 <= 0) AND ((p385 <= p266)) AND ((p617 + 1 <= p394))))) : A (G ((p468 <= p228)))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 202 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file RERS17pb113-PT-1-ReachabilityCardinality.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: ========================================

FORMULA RERS17pb113-PT-1-ReachabilityCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 216 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file RERS17pb113-PT-1-ReachabilityCardinality.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: ========================================

FORMULA RERS17pb113-PT-1-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 231 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 15 rewrites
lola: closed formula file RERS17pb113-PT-1-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA RERS17pb113-PT-1-ReachabilityCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 249 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file RERS17pb113-PT-1-ReachabilityCardinality.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: ========================================

FORMULA RERS17pb113-PT-1-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file RERS17pb113-PT-1-ReachabilityCardinality.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: ========================================

FORMULA RERS17pb113-PT-1-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p565 <= p262)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((p565 <= p262)))
lola: processed formula length: 22
lola: 17 rewrites
lola: closed formula file RERS17pb113-PT-1-ReachabilityCardinality.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:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p262 + 1 <= p565)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to RERS17pb113-PT-1-ReachabilityCardinality-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file RERS17pb113-PT-1-ReachabilityCardinality-5-0.sara.
lola: sara is running 0 secs || 855 markings, 854 edges, 171 markings/sec, 0 secs
lola: sara is running 5 secs || 1706 markings, 1707 edges, 170 markings/sec, 5 secs
lola: sara is running 10 secs || 2560 markings, 2572 edges, 171 markings/sec, 10 secs
lola: sara is running 15 secs || 3412 markings, 3457 edges, 170 markings/sec, 15 secs
lola: sara is running 20 secs || 4312 markings, 4430 edges, 180 markings/sec, 20 secs
lola: sara is running 25 secs || 5242 markings, 5462 edges, 186 markings/sec, 25 secs
lola: sara is running 30 secs || 6170 markings, 6493 edges, 186 markings/sec, 30 secs
lola: sara is running 35 secs || 7071 markings, 7504 edges, 180 markings/sec, 35 secs
lola: sara is running 40 secs || 7947 markings, 8476 edges, 175 markings/sec, 40 secs
lola: sara is running 45 secs || 8823 markings, 9450 edges, 175 markings/sec, 45 secs
lola: sara is running 50 secs || 9697 markings, 10403 edges, 175 markings/sec, 50 secs
lola: sara is running 55 secs || 10574 markings, 11387 edges, 175 markings/sec, 55 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 11182 markings, 12074 edges
lola: ========================================

FORMULA RERS17pb113-PT-1-ReachabilityCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p498 <= p634)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((p498 <= p634)))
lola: processed formula length: 22
lola: 17 rewrites
lola: closed formula file RERS17pb113-PT-1-ReachabilityCardinality.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:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p634 + 1 <= p498)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to RERS17pb113-PT-1-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file RERS17pb113-PT-1-ReachabilityCardinality-6-0.sara.
lola: sara is running 0 secs || 932 markings, 931 edges, 186 markings/sec, 0 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 1424 markings, 1425 edges
lola: ========================================

FORMULA RERS17pb113-PT-1-ReachabilityCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p241 <= p580)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((p241 <= p580)))
lola: processed formula length: 22
lola: 17 rewrites
lola: closed formula file RERS17pb113-PT-1-ReachabilityCardinality.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:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p580 + 1 <= p241)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to RERS17pb113-PT-1-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file RERS17pb113-PT-1-ReachabilityCardinality-7-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 42 markings, 41 edges
lola: ========================================

FORMULA RERS17pb113-PT-1-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p468 <= p228)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((p468 <= p228)))
lola: processed formula length: 22
lola: 17 rewrites
lola: closed formula file RERS17pb113-PT-1-ReachabilityCardinality.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:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p228 + 1 <= p468)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to RERS17pb113-PT-1-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file RERS17pb113-PT-1-ReachabilityCardinality-8-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 145 markings, 144 edges
lola: ========================================

FORMULA RERS17pb113-PT-1-ReachabilityCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 453 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p502 <= p438) OR (p502 <= p381))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((p502 <= p438) OR (p502 <= p381))))
lola: processed formula length: 43
lola: 17 rewrites
lola: closed formula file RERS17pb113-PT-1-ReachabilityCardinality.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:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p438 + 1 <= p502) AND (p381 + 1 <= p502))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to RERS17pb113-PT-1-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file RERS17pb113-PT-1-ReachabilityCardinality-9-0.sara.
lola: sara is running 0 secs || 914 markings, 913 edges, 183 markings/sec, 0 secs
lola: sara is running 5 secs || 1848 markings, 1900 edges, 187 markings/sec, 5 secs
lola: sara is running 10 secs || 2778 markings, 5923 edges, 186 markings/sec, 10 secs
lola: sara is running 15 secs || 3734 markings, 10325 edges, 191 markings/sec, 15 secs
lola: sara is running 20 secs || 4680 markings, 15811 edges, 189 markings/sec, 20 secs
lola: sara is running 25 secs || 5619 markings, 20217 edges, 188 markings/sec, 25 secs
lola: sara is running 30 secs || 6571 markings, 25015 edges, 190 markings/sec, 30 secs
lola: sara is running 35 secs || 7518 markings, 30108 edges, 189 markings/sec, 35 secs
lola: sara is running 40 secs || 8439 markings, 36609 edges, 184 markings/sec, 40 secs
lola: sara is running 45 secs || 9392 markings, 41638 edges, 191 markings/sec, 45 secs
lola: sara is running 50 secs || 10331 markings, 46747 edges, 188 markings/sec, 50 secs
lola: sara is running 55 secs || 11271 markings, 52024 edges, 188 markings/sec, 55 secs
lola: sara is running 60 secs || 12189 markings, 58119 edges, 184 markings/sec, 60 secs
lola: sara is running 65 secs || 13150 markings, 63065 edges, 192 markings/sec, 65 secs
lola: sara is running 70 secs || 14037 markings, 68126 edges, 177 markings/sec, 70 secs
lola: sara is running 75 secs || 14920 markings, 73384 edges, 177 markings/sec, 75 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 80 secs || 15768 markings, 78581 edges, 170 markings/sec, 80 secs
lola: sara is running 85 secs || 16634 markings, 83271 edges, 173 markings/sec, 85 secs
lola: sara is running 90 secs || 17579 markings, 88528 edges, 189 markings/sec, 90 secs
lola: sara is running 95 secs || 18485 markings, 94146 edges, 181 markings/sec, 95 secs
lola: sara is running 100 secs || 19430 markings, 99314 edges, 189 markings/sec, 100 secs
lola: sara is running 105 secs || 20400 markings, 104285 edges, 194 markings/sec, 105 secs
lola: sara is running 110 secs || 21354 markings, 108842 edges, 191 markings/sec, 110 secs
lola: sara is running 115 secs || 22318 markings, 114355 edges, 193 markings/sec, 115 secs
lola: sara is running 120 secs || 23284 markings, 120474 edges, 193 markings/sec, 120 secs
lola: sara is running 125 secs || 24191 markings, 126395 edges, 181 markings/sec, 125 secs
lola: sara is running 130 secs || 25036 markings, 131301 edges, 169 markings/sec, 130 secs
lola: sara is running 135 secs || 25869 markings, 136762 edges, 167 markings/sec, 135 secs
lola: sara is running 140 secs || 26716 markings, 141967 edges, 169 markings/sec, 140 secs
lola: sara is running 145 secs || 27656 markings, 148099 edges, 188 markings/sec, 145 secs
lola: sara is running 150 secs || 28616 markings, 154511 edges, 192 markings/sec, 150 secs
lola: sara is running 155 secs || 29580 markings, 160093 edges, 193 markings/sec, 155 secs
lola: sara is running 160 secs || 30527 markings, 166039 edges, 189 markings/sec, 160 secs
lola: sara is running 165 secs || 31492 markings, 172535 edges, 193 markings/sec, 165 secs
lola: sara is running 170 secs || 32401 markings, 179268 edges, 182 markings/sec, 170 secs
lola: sara is running 175 secs || 33321 markings, 186168 edges, 184 markings/sec, 175 secs
lola: sara is running 180 secs || 34268 markings, 193257 edges, 189 markings/sec, 180 secs
lola: sara is running 185 secs || 35153 markings, 199479 edges, 177 markings/sec, 185 secs
lola: sara is running 190 secs || 36103 markings, 206574 edges, 190 markings/sec, 190 secs
lola: sara is running 195 secs || 37077 markings, 213705 edges, 195 markings/sec, 195 secs
lola: sara is running 200 secs || 38054 markings, 220507 edges, 195 markings/sec, 200 secs
lola: sara is running 205 secs || 39027 markings, 226267 edges, 195 markings/sec, 205 secs
lola: sara is running 210 secs || 39890 markings, 230663 edges, 173 markings/sec, 210 secs
lola: sara is running 215 secs || 40821 markings, 234662 edges, 186 markings/sec, 215 secs
lola: sara is running 220 secs || 41695 markings, 239678 edges, 175 markings/sec, 220 secs
lola: sara is running 225 secs || 42602 markings, 244955 edges, 181 markings/sec, 225 secs
lola: sara is running 230 secs || 43537 markings, 250425 edges, 187 markings/sec, 230 secs
lola: sara is running 235 secs || 44483 markings, 255501 edges, 189 markings/sec, 235 secs
lola: sara is running 240 secs || 45381 markings, 261089 edges, 180 markings/sec, 240 secs
lola: sara is running 245 secs || 46260 markings, 267395 edges, 176 markings/sec, 245 secs
lola: sara is running 250 secs || 47113 markings, 273257 edges, 171 markings/sec, 250 secs
lola: sara is running 255 secs || 47970 markings, 278981 edges, 171 markings/sec, 255 secs
lola: sara is running 260 secs || 48816 markings, 283442 edges, 169 markings/sec, 260 secs
lola: sara is running 265 secs || 49656 markings, 287471 edges, 168 markings/sec, 265 secs
lola: sara is running 270 secs || 50499 markings, 292351 edges, 169 markings/sec, 270 secs
lola: sara is running 275 secs || 51415 markings, 297795 edges, 183 markings/sec, 275 secs
lola: sara is running 280 secs || 52358 markings, 303169 edges, 189 markings/sec, 280 secs
lola: sara is running 285 secs || 53306 markings, 308048 edges, 190 markings/sec, 285 secs
lola: sara is running 290 secs || 54179 markings, 312894 edges, 175 markings/sec, 290 secs
lola: sara is running 295 secs || 55030 markings, 317743 edges, 170 markings/sec, 295 secs
lola: sara is running 300 secs || 55888 markings, 323485 edges, 172 markings/sec, 300 secs
lola: sara is running 305 secs || 56744 markings, 329268 edges, 171 markings/sec, 305 secs
lola: sara is running 310 secs || 57599 markings, 334505 edges, 171 markings/sec, 310 secs
lola: sara is running 315 secs || 58462 markings, 339166 edges, 173 markings/sec, 315 secs
lola: sara is running 320 secs || 59325 markings, 344733 edges, 173 markings/sec, 320 secs
lola: sara is running 325 secs || 60285 markings, 351246 edges, 192 markings/sec, 325 secs
lola: sara is running 330 secs || 61152 markings, 356939 edges, 173 markings/sec, 330 secs
lola: sara is running 335 secs || 62001 markings, 363655 edges, 170 markings/sec, 335 secs
lola: sara is running 340 secs || 62878 markings, 370011 edges, 175 markings/sec, 340 secs
lola: sara is running 345 secs || 63746 markings, 375889 edges, 174 markings/sec, 345 secs
lola: sara is running 350 secs || 64638 markings, 381581 edges, 178 markings/sec, 350 secs
lola: sara is running 355 secs || 65515 markings, 386107 edges, 175 markings/sec, 355 secs
lola: sara is running 360 secs || 66325 markings, 391140 edges, 162 markings/sec, 360 secs
lola: sara is running 365 secs || 67154 markings, 396624 edges, 166 markings/sec, 365 secs
lola: sara is running 370 secs || 67989 markings, 402967 edges, 167 markings/sec, 370 secs
lola: sara is running 375 secs || 68821 markings, 408361 edges, 166 markings/sec, 375 secs
lola: sara is running 380 secs || 69673 markings, 414066 edges, 170 markings/sec, 380 secs
lola: sara is running 385 secs || 70526 markings, 420377 edges, 171 markings/sec, 385 secs
lola: sara is running 390 secs || 71444 markings, 427626 edges, 184 markings/sec, 390 secs
lola: sara is running 395 secs || 72387 markings, 435301 edges, 189 markings/sec, 395 secs
lola: sara is running 400 secs || 73355 markings, 441944 edges, 194 markings/sec, 400 secs
lola: sara is running 405 secs || 74303 markings, 447535 edges, 190 markings/sec, 405 secs
lola: sara is running 410 secs || 75225 markings, 453411 edges, 184 markings/sec, 410 secs
lola: sara is running 415 secs || 76159 markings, 459667 edges, 187 markings/sec, 415 secs
lola: sara is running 420 secs || 77073 markings, 464379 edges, 183 markings/sec, 420 secs
lola: sara is running 425 secs || 77929 markings, 469086 edges, 171 markings/sec, 425 secs
lola: sara is running 430 secs || 78866 markings, 474039 edges, 187 markings/sec, 430 secs
lola: sara is running 435 secs || 79778 markings, 478959 edges, 182 markings/sec, 435 secs
lola: sara is running 440 secs || 80721 markings, 484251 edges, 189 markings/sec, 440 secs
lola: sara is running 445 secs || 81676 markings, 488774 edges, 191 markings/sec, 445 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no no yes unknown unknown no unknown unknown no no unknown no unknown no
lola: memory consumption: 129700 KB
lola: time consumption: 848 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 453 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p404 <= p52) AND (p585 <= p579))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((p404 <= p52) AND (p585 <= p579))))
lola: processed formula length: 42
lola: 17 rewrites
lola: closed formula file RERS17pb113-PT-1-ReachabilityCardinality.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:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p52 + 1 <= p404) OR (p579 + 1 <= p585))
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to RERS17pb113-PT-1-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file RERS17pb113-PT-1-ReachabilityCardinality-10-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 213 markings, 212 edges
lola: ========================================

FORMULA RERS17pb113-PT-1-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 544 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p358 <= 0) AND ((p413 + 1 <= p355) OR (p542 + 1 <= p254)))))
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 (((p358 <= 0) AND ((p413 + 1 <= p355) OR (p542 + 1 <= p254)))))
lola: processed formula length: 69
lola: 16 rewrites
lola: closed formula file RERS17pb113-PT-1-ReachabilityCardinality.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: ((p358 <= 0) AND ((p413 + 1 <= p355) OR (p542 + 1 <= p254)))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to RERS17pb113-PT-1-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file RERS17pb113-PT-1-ReachabilityCardinality-11-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 79 markings, 78 edges
lola: ========================================

FORMULA RERS17pb113-PT-1-ReachabilityCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 679 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((((p285 <= p607)) AND (p14 <= 0)) OR (p428 <= p362))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((((p285 <= p607)) AND (p14 <= 0)) OR (p428 <= p362))))
lola: processed formula length: 62
lola: 17 rewrites
lola: closed formula file RERS17pb113-PT-1-ReachabilityCardinality.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:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((((p607 + 1 <= p285)) OR (1 <= p14)) AND (p362 + 1 <= p428))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to RERS17pb113-PT-1-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file RERS17pb113-PT-1-ReachabilityCardinality-12-0.sara.
lola: sara is running 0 secs || 849 markings, 848 edges, 170 markings/sec, 0 secs
lola: sara is running 5 secs || 1683 markings, 1701 edges, 167 markings/sec, 5 secs
lola: sara is running 10 secs || 2535 markings, 2590 edges, 170 markings/sec, 10 secs
lola: sara is running 15 secs || 3418 markings, 3637 edges, 177 markings/sec, 15 secs
lola: sara is running 20 secs || 4266 markings, 4539 edges, 170 markings/sec, 20 secs
lola: sara is running 25 secs || 5090 markings, 5408 edges, 165 markings/sec, 25 secs
lola: sara is running 30 secs || 5956 markings, 6309 edges, 173 markings/sec, 30 secs
lola: sara is running 35 secs || 6797 markings, 7176 edges, 168 markings/sec, 35 secs
lola: sara is running 40 secs || 7663 markings, 8091 edges, 173 markings/sec, 40 secs
lola: sara is running 45 secs || 8604 markings, 9101 edges, 188 markings/sec, 45 secs
lola: sara is running 50 secs || 9479 markings, 10054 edges, 175 markings/sec, 50 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 9798 markings, 10374 edges

FORMULA RERS17pb113-PT-1-ReachabilityCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 887 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p202 <= 0) AND ((p385 <= p266)) AND ((p617 + 1 <= p394)))))
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 (((p202 <= 0) AND ((p385 <= p266)) AND ((p617 + 1 <= p394)))))
lola: processed formula length: 67
lola: 16 rewrites
lola: closed formula file RERS17pb113-PT-1-ReachabilityCardinality.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: ((p202 <= 0) AND ((p385 <= p266)) AND ((p617 + 1 <= p394)))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to RERS17pb113-PT-1-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file RERS17pb113-PT-1-ReachabilityCardinality-13-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 181 markings, 180 edges

FORMULA RERS17pb113-PT-1-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1330 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((p544 <= p428) OR (p387 <= p473)) AND (1 <= p409))))
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 ((((p544 <= p428) OR (p387 <= p473)) AND (1 <= p409))))
lola: processed formula length: 61
lola: 16 rewrites
lola: closed formula file RERS17pb113-PT-1-ReachabilityCardinality.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: (((p544 <= p428) OR (p387 <= p473)) AND (1 <= p409))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to RERS17pb113-PT-1-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file RERS17pb113-PT-1-ReachabilityCardinality-14-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 182 markings, 181 edges

FORMULA RERS17pb113-PT-1-ReachabilityCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 2660 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p456 + 1 <= p219) OR (p592 + 1 <= p517) OR (p349 <= p477))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((p456 + 1 <= p219) OR (p592 + 1 <= p517) OR (p349 <= p477))))
lola: processed formula length: 70
lola: 17 rewrites
lola: closed formula file RERS17pb113-PT-1-ReachabilityCardinality.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:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p219 <= p456) AND (p517 <= p592) AND (p477 + 1 <= p349))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to RERS17pb113-PT-1-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file RERS17pb113-PT-1-ReachabilityCardinality-15-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 40 markings, 39 edges

FORMULA RERS17pb113-PT-1-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (((p502 <= p438) OR (p502 <= p381))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((p502 <= p438) OR (p502 <= p381))))
lola: processed formula length: 43
lola: 17 rewrites
lola: closed formula file RERS17pb113-PT-1-ReachabilityCardinality.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:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p438 + 1 <= p502) AND (p381 + 1 <= p502))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to RERS17pb113-PT-1-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file RERS17pb113-PT-1-ReachabilityCardinality-16-0.sara.
lola: sara is running 0 secs || 859 markings, 858 edges, 172 markings/sec, 0 secs
lola: sara is running 5 secs || 1732 markings, 1731 edges, 175 markings/sec, 5 secs
lola: sara is running 10 secs || 2573 markings, 4928 edges, 168 markings/sec, 10 secs
lola: sara is running 15 secs || 3413 markings, 8845 edges, 168 markings/sec, 15 secs
lola: sara is running 20 secs || 4257 markings, 13152 edges, 169 markings/sec, 20 secs
lola: sara is running 25 secs || 5141 markings, 18068 edges, 177 markings/sec, 25 secs
lola: sara is running 30 secs || 5992 markings, 22000 edges, 170 markings/sec, 30 secs
lola: sara is running 35 secs || 6847 markings, 26794 edges, 171 markings/sec, 35 secs
lola: sara is running 40 secs || 7705 markings, 31407 edges, 172 markings/sec, 40 secs
lola: sara is running 45 secs || 8563 markings, 37267 edges, 172 markings/sec, 45 secs
lola: sara is running 50 secs || 9474 markings, 42133 edges, 182 markings/sec, 50 secs
lola: sara is running 55 secs || 10330 markings, 46742 edges, 171 markings/sec, 55 secs
lola: sara is running 60 secs || 11183 markings, 51523 edges, 171 markings/sec, 60 secs
lola: sara is running 65 secs || 12073 markings, 57222 edges, 178 markings/sec, 65 secs
lola: sara is running 70 secs || 13010 markings, 62236 edges, 187 markings/sec, 70 secs
lola: sara is running 75 secs || 13965 markings, 67823 edges, 191 markings/sec, 75 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 80 secs || 14907 markings, 73272 edges, 188 markings/sec, 80 secs
lola: sara is running 85 secs || 15788 markings, 78661 edges, 176 markings/sec, 85 secs
lola: sara is running 90 secs || 16713 markings, 83624 edges, 185 markings/sec, 90 secs
lola: sara is running 95 secs || 17593 markings, 88592 edges, 176 markings/sec, 95 secs
lola: sara is running 100 secs || 18451 markings, 93933 edges, 172 markings/sec, 100 secs
lola: sara is running 105 secs || 19315 markings, 98791 edges, 173 markings/sec, 105 secs
lola: sara is running 110 secs || 20167 markings, 103189 edges, 170 markings/sec, 110 secs
lola: sara is running 115 secs || 21019 markings, 107043 edges, 170 markings/sec, 115 secs
lola: sara is running 120 secs || 21878 markings, 111703 edges, 172 markings/sec, 120 secs
lola: sara is running 125 secs || 22736 markings, 116816 edges, 172 markings/sec, 125 secs
lola: sara is running 130 secs || 23602 markings, 122787 edges, 173 markings/sec, 130 secs
lola: sara is running 135 secs || 24462 markings, 127796 edges, 172 markings/sec, 135 secs
lola: sara is running 140 secs || 25315 markings, 133151 edges, 171 markings/sec, 140 secs
lola: sara is running 145 secs || 26171 markings, 138584 edges, 171 markings/sec, 145 secs
lola: sara is running 150 secs || 27012 markings, 144020 edges, 168 markings/sec, 150 secs
lola: sara is running 155 secs || 27880 markings, 149383 edges, 174 markings/sec, 155 secs
lola: sara is running 160 secs || 28752 markings, 155453 edges, 174 markings/sec, 160 secs
lola: sara is running 165 secs || 29619 markings, 160316 edges, 173 markings/sec, 165 secs
lola: sara is running 170 secs || 30479 markings, 165652 edges, 172 markings/sec, 170 secs
lola: sara is running 175 secs || 31338 markings, 171499 edges, 172 markings/sec, 175 secs
lola: sara is running 180 secs || 32190 markings, 177604 edges, 170 markings/sec, 180 secs
lola: sara is running 185 secs || 33098 markings, 184485 edges, 182 markings/sec, 185 secs
lola: sara is running 190 secs || 33965 markings, 190791 edges, 173 markings/sec, 190 secs
lola: sara is running 195 secs || 34814 markings, 197091 edges, 170 markings/sec, 195 secs
lola: sara is running 200 secs || 35675 markings, 203456 edges, 172 markings/sec, 200 secs
lola: sara is running 205 secs || 36527 markings, 209610 edges, 170 markings/sec, 205 secs
lola: sara is running 210 secs || 37389 markings, 216359 edges, 172 markings/sec, 210 secs
lola: sara is running 215 secs || 38389 markings, 222267 edges, 200 markings/sec, 215 secs
lola: sara is running 220 secs || 39304 markings, 228007 edges, 183 markings/sec, 220 secs
lola: sara is running 225 secs || 40152 markings, 231860 edges, 170 markings/sec, 225 secs
lola: sara is running 230 secs || 40993 markings, 235570 edges, 168 markings/sec, 230 secs
lola: sara is running 235 secs || 41839 markings, 240508 edges, 169 markings/sec, 235 secs
lola: sara is running 240 secs || 42761 markings, 245939 edges, 184 markings/sec, 240 secs
lola: sara is running 245 secs || 43684 markings, 251124 edges, 185 markings/sec, 245 secs
lola: sara is running 250 secs || 44582 markings, 256129 edges, 180 markings/sec, 250 secs
lola: sara is running 255 secs || 45435 markings, 261468 edges, 171 markings/sec, 255 secs
lola: sara is running 260 secs || 46291 markings, 267631 edges, 171 markings/sec, 260 secs
lola: sara is running 265 secs || 47151 markings, 273530 edges, 172 markings/sec, 265 secs
lola: sara is running 270 secs || 48006 markings, 279167 edges, 171 markings/sec, 270 secs
lola: sara is running 275 secs || 48856 markings, 283537 edges, 170 markings/sec, 275 secs
lola: sara is running 280 secs || 49733 markings, 287828 edges, 175 markings/sec, 280 secs
lola: sara is running 285 secs || 50610 markings, 293012 edges, 175 markings/sec, 285 secs
lola: sara is running 290 secs || 51465 markings, 298103 edges, 171 markings/sec, 290 secs
lola: sara is running 295 secs || 52322 markings, 303017 edges, 171 markings/sec, 295 secs
lola: sara is running 300 secs || 53174 markings, 307185 edges, 170 markings/sec, 300 secs
lola: sara is running 305 secs || 54028 markings, 312156 edges, 171 markings/sec, 305 secs
lola: sara is running 310 secs || 54875 markings, 316869 edges, 169 markings/sec, 310 secs
lola: sara is running 315 secs || 55723 markings, 322339 edges, 170 markings/sec, 315 secs
lola: sara is running 320 secs || 56573 markings, 328145 edges, 170 markings/sec, 320 secs
lola: sara is running 325 secs || 57413 markings, 333349 edges, 168 markings/sec, 325 secs
lola: sara is running 330 secs || 58251 markings, 338157 edges, 168 markings/sec, 330 secs
lola: sara is running 335 secs || 59184 markings, 343739 edges, 187 markings/sec, 335 secs
lola: sara is running 340 secs || 60117 markings, 349999 edges, 187 markings/sec, 340 secs
lola: sara is running 345 secs || 61069 markings, 356379 edges, 190 markings/sec, 345 secs
lola: sara is running 350 secs || 61991 markings, 363540 edges, 184 markings/sec, 350 secs
lola: sara is running 355 secs || 62937 markings, 370381 edges, 189 markings/sec, 355 secs
lola: sara is running 360 secs || 63869 markings, 376769 edges, 186 markings/sec, 360 secs
lola: sara is running 365 secs || 64808 markings, 382455 edges, 188 markings/sec, 365 secs
lola: sara is running 370 secs || 65732 markings, 387427 edges, 185 markings/sec, 370 secs
lola: sara is running 375 secs || 66666 markings, 393312 edges, 187 markings/sec, 375 secs
lola: sara is running 380 secs || 67601 markings, 400093 edges, 187 markings/sec, 380 secs
lola: sara is running 385 secs || 68528 markings, 406360 edges, 185 markings/sec, 385 secs
lola: sara is running 390 secs || 69478 markings, 412685 edges, 190 markings/sec, 390 secs
lola: sara is running 395 secs || 70393 markings, 419318 edges, 183 markings/sec, 395 secs
lola: sara is running 400 secs || 71325 markings, 426712 edges, 186 markings/sec, 400 secs
lola: sara is running 405 secs || 72263 markings, 434430 edges, 188 markings/sec, 405 secs
lola: sara is running 410 secs || 73189 markings, 440820 edges, 185 markings/sec, 410 secs
lola: sara is running 415 secs || 74059 markings, 445919 edges, 174 markings/sec, 415 secs
lola: sara is running 420 secs || 74914 markings, 451628 edges, 171 markings/sec, 420 secs
lola: sara is running 425 secs || 75751 markings, 456964 edges, 167 markings/sec, 425 secs
lola: sara is running 430 secs || 76587 markings, 461719 edges, 167 markings/sec, 430 secs
lola: sara is running 435 secs || 77439 markings, 466443 edges, 170 markings/sec, 435 secs
lola: sara is running 440 secs || 78284 markings, 471340 edges, 169 markings/sec, 440 secs
lola: sara is running 445 secs || 79142 markings, 475423 edges, 172 markings/sec, 445 secs
lola: sara is running 450 secs || 79999 markings, 480011 edges, 171 markings/sec, 450 secs
lola: sara is running 455 secs || 80879 markings, 484931 edges, 176 markings/sec, 455 secs
lola: sara is running 460 secs || 81807 markings, 489467 edges, 186 markings/sec, 460 secs
lola: sara is running 465 secs || 82739 markings, 494865 edges, 186 markings/sec, 465 secs
lola: sara is running 470 secs || 83678 markings, 500581 edges, 188 markings/sec, 470 secs
lola: sara is running 475 secs || 84620 markings, 506773 edges, 188 markings/sec, 475 secs
lola: sara is running 480 secs || 85488 markings, 512304 edges, 174 markings/sec, 480 secs
lola: sara is running 485 secs || 86343 markings, 517710 edges, 171 markings/sec, 485 secs
lola: sara is running 490 secs || 87191 markings, 523013 edges, 170 markings/sec, 490 secs
lola: sara is running 495 secs || 88089 markings, 528636 edges, 180 markings/sec, 495 secs
lola: sara is running 500 secs || 89016 markings, 534057 edges, 185 markings/sec, 500 secs
lola: sara is running 505 secs || 89943 markings, 539533 edges, 185 markings/sec, 505 secs
lola: sara is running 510 secs || 90879 markings, 545823 edges, 187 markings/sec, 510 secs
lola: sara is running 515 secs || 91760 markings, 551886 edges, 176 markings/sec, 515 secs
lola: sara is running 520 secs || 92664 markings, 558969 edges, 181 markings/sec, 520 secs
lola: sara is running 525 secs || 93547 markings, 565020 edges, 177 markings/sec, 525 secs
lola: sara is running 530 secs || 94469 markings, 572096 edges, 184 markings/sec, 530 secs
lola: sara is running 535 secs || 95411 markings, 578718 edges, 188 markings/sec, 535 secs
lola: sara is running 540 secs || 96328 markings, 585649 edges, 183 markings/sec, 540 secs
lola: sara is running 545 secs || 97265 markings, 592136 edges, 187 markings/sec, 545 secs
lola: sara is running 550 secs || 98197 markings, 598183 edges, 186 markings/sec, 550 secs
lola: sara is running 555 secs || 99114 markings, 603576 edges, 183 markings/sec, 555 secs
lola: sara is running 560 secs || 100047 markings, 608297 edges, 187 markings/sec, 560 secs
lola: sara is running 565 secs || 100963 markings, 612864 edges, 183 markings/sec, 565 secs
lola: sara is running 570 secs || 101935 markings, 617689 edges, 194 markings/sec, 570 secs
lola: sara is running 575 secs || 102908 markings, 621940 edges, 195 markings/sec, 575 secs
lola: sara is running 580 secs || 103858 markings, 625881 edges, 190 markings/sec, 580 secs
lola: sara is running 585 secs || 104798 markings, 629992 edges, 188 markings/sec, 585 secs
lola: sara is running 590 secs || 105756 markings, 635702 edges, 192 markings/sec, 590 secs
lola: sara is running 595 secs || 106722 markings, 641682 edges, 193 markings/sec, 595 secs
lola: sara is running 600 secs || 107699 markings, 648130 edges, 195 markings/sec, 600 secs
lola: sara is running 605 secs || 108650 markings, 654813 edges, 190 markings/sec, 605 secs
lola: sara is running 610 secs || 109584 markings, 661364 edges, 187 markings/sec, 610 secs
lola: sara is running 615 secs || 110516 markings, 668066 edges, 186 markings/sec, 615 secs
lola: sara is running 620 secs || 111441 markings, 674330 edges, 185 markings/sec, 620 secs
lola: sara is running 625 secs || 112362 markings, 680197 edges, 184 markings/sec, 625 secs
lola: sara is running 630 secs || 113294 markings, 686413 edges, 186 markings/sec, 630 secs
lola: sara is running 635 secs || 114260 markings, 692122 edges, 193 markings/sec, 635 secs
lola: sara is running 640 secs || 115225 markings, 697675 edges, 193 markings/sec, 640 secs
lola: sara is running 645 secs || 116184 markings, 703857 edges, 192 markings/sec, 645 secs
lola: sara is running 650 secs || 117109 markings, 710540 edges, 185 markings/sec, 650 secs
lola: sara is running 655 secs || 118031 markings, 716924 edges, 184 markings/sec, 655 secs
lola: sara is running 660 secs || 118948 markings, 724089 edges, 183 markings/sec, 660 secs
lola: sara is running 665 secs || 119872 markings, 730448 edges, 185 markings/sec, 665 secs
lola: sara is running 670 secs || 120847 markings, 734916 edges, 195 markings/sec, 670 secs
lola: sara is running 675 secs || 121813 markings, 739709 edges, 193 markings/sec, 675 secs
lola: sara is running 680 secs || 122756 markings, 744896 edges, 189 markings/sec, 680 secs
lola: sara is running 685 secs || 123700 markings, 750442 edges, 189 markings/sec, 685 secs
lola: sara is running 690 secs || 124615 markings, 756507 edges, 183 markings/sec, 690 secs
lola: sara is running 695 secs || 125485 markings, 762406 edges, 174 markings/sec, 695 secs
lola: sara is running 700 secs || 126361 markings, 767750 edges, 175 markings/sec, 700 secs
lola: sara is running 705 secs || 127207 markings, 773444 edges, 169 markings/sec, 705 secs
lola: sara is running 710 secs || 128059 markings, 778461 edges, 170 markings/sec, 710 secs
lola: sara is running 715 secs || 128918 markings, 783677 edges, 172 markings/sec, 715 secs
lola: sara is running 720 secs || 129790 markings, 789075 edges, 174 markings/sec, 720 secs
lola: sara is running 725 secs || 130643 markings, 793850 edges, 171 markings/sec, 725 secs
lola: sara is running 730 secs || 131499 markings, 798458 edges, 171 markings/sec, 730 secs
lola: sara is running 735 secs || 132359 markings, 802894 edges, 172 markings/sec, 735 secs
lola: sara is running 740 secs || 133223 markings, 808640 edges, 173 markings/sec, 740 secs
lola: sara is running 745 secs || 134072 markings, 814189 edges, 170 markings/sec, 745 secs
lola: sara is running 750 secs || 134927 markings, 819434 edges, 171 markings/sec, 750 secs
lola: sara is running 755 secs || 135784 markings, 823687 edges, 171 markings/sec, 755 secs
lola: sara is running 760 secs || 136634 markings, 828478 edges, 170 markings/sec, 760 secs
lola: sara is running 765 secs || 137484 markings, 832597 edges, 170 markings/sec, 765 secs
lola: sara is running 770 secs || 138330 markings, 837079 edges, 169 markings/sec, 770 secs
lola: sara is running 775 secs || 139184 markings, 842400 edges, 171 markings/sec, 775 secs
lola: sara is running 780 secs || 140040 markings, 846981 edges, 171 markings/sec, 780 secs
lola: sara is running 785 secs || 140941 markings, 852335 edges, 180 markings/sec, 785 secs
lola: sara is running 790 secs || 141828 markings, 858071 edges, 177 markings/sec, 790 secs
lola: sara is running 795 secs || 142711 markings, 864675 edges, 177 markings/sec, 795 secs
lola: sara is running 800 secs || 143561 markings, 870206 edges, 170 markings/sec, 800 secs
lola: sara is running 805 secs || 144419 markings, 875387 edges, 172 markings/sec, 805 secs
lola: sara is running 810 secs || 145280 markings, 880749 edges, 172 markings/sec, 810 secs
lola: sara is running 815 secs || 146131 markings, 886540 edges, 170 markings/sec, 815 secs
lola: sara is running 820 secs || 146983 markings, 892198 edges, 170 markings/sec, 820 secs
lola: sara is running 825 secs || 147836 markings, 898541 edges, 171 markings/sec, 825 secs
lola: sara is running 830 secs || 148684 markings, 905128 edges, 170 markings/sec, 830 secs
lola: sara is running 835 secs || 149541 markings, 910266 edges, 171 markings/sec, 835 secs
lola: sara is running 840 secs || 150395 markings, 915862 edges, 171 markings/sec, 840 secs
lola: sara is running 845 secs || 151256 markings, 921443 edges, 172 markings/sec, 845 secs
lola: sara is running 850 secs || 152171 markings, 927120 edges, 183 markings/sec, 850 secs
lola: sara is running 855 secs || 153064 markings, 932835 edges, 179 markings/sec, 855 secs
lola: sara is running 860 secs || 153935 markings, 938098 edges, 174 markings/sec, 860 secs
lola: sara is running 865 secs || 154872 markings, 944454 edges, 187 markings/sec, 865 secs
lola: sara is running 870 secs || 155818 markings, 950993 edges, 189 markings/sec, 870 secs
lola: sara is running 875 secs || 156753 markings, 958255 edges, 187 markings/sec, 875 secs
lola: sara is running 880 secs || 157699 markings, 964733 edges, 189 markings/sec, 880 secs
lola: sara is running 885 secs || 158635 markings, 970726 edges, 187 markings/sec, 885 secs
lola: sara is running 890 secs || 159590 markings, 976457 edges, 191 markings/sec, 890 secs
lola: sara is running 895 secs || 160538 markings, 981978 edges, 190 markings/sec, 895 secs
lola: sara is running 900 secs || 161483 markings, 987573 edges, 189 markings/sec, 900 secs
lola: sara is running 905 secs || 162397 markings, 993939 edges, 183 markings/sec, 905 secs
lola: sara is running 910 secs || 163260 markings, 999526 edges, 173 markings/sec, 910 secs
lola: sara is running 915 secs || 164106 markings, 1005780 edges, 169 markings/sec, 915 secs
lola: sara is running 920 secs || 165071 markings, 1013324 edges, 193 markings/sec, 920 secs
lola: sara is running 925 secs || 166045 markings, 1019493 edges, 195 markings/sec, 925 secs
lola: sara is running 930 secs || 167011 markings, 1024884 edges, 193 markings/sec, 930 secs
lola: sara is running 935 secs || 167964 markings, 1029919 edges, 191 markings/sec, 935 secs
lola: sara is running 940 secs || 168916 markings, 1034999 edges, 190 markings/sec, 940 secs
lola: sara is running 945 secs || 169857 markings, 1040187 edges, 188 markings/sec, 945 secs
lola: sara is running 950 secs || 170792 markings, 1046268 edges, 187 markings/sec, 950 secs
lola: sara is running 955 secs || 171726 markings, 1052714 edges, 187 markings/sec, 955 secs
lola: sara is running 960 secs || 172662 markings, 1059718 edges, 187 markings/sec, 960 secs
lola: sara is running 965 secs || 173588 markings, 1066708 edges, 185 markings/sec, 965 secs
lola: sara is running 970 secs || 174526 markings, 1073473 edges, 188 markings/sec, 970 secs
lola: sara is running 975 secs || 175459 markings, 1080729 edges, 187 markings/sec, 975 secs
lola: sara is running 980 secs || 176395 markings, 1087304 edges, 187 markings/sec, 980 secs
lola: sara is running 985 secs || 177342 markings, 1093843 edges, 189 markings/sec, 985 secs
lola: sara is running 990 secs || 178277 markings, 1100720 edges, 187 markings/sec, 990 secs
lola: sara is running 995 secs || 179205 markings, 1107431 edges, 186 markings/sec, 995 secs
lola: sara is running 1000 secs || 180150 markings, 1114826 edges, 189 markings/sec, 1000 secs
lola: sara is running 1005 secs || 181121 markings, 1121395 edges, 194 markings/sec, 1005 secs
lola: sara is running 1010 secs || 182079 markings, 1127646 edges, 192 markings/sec, 1010 secs
lola: sara is running 1015 secs || 183022 markings, 1133772 edges, 189 markings/sec, 1015 secs
lola: sara is running 1020 secs || 183995 markings, 1139439 edges, 195 markings/sec, 1020 secs
lola: sara is running 1025 secs || 184967 markings, 1144564 edges, 194 markings/sec, 1025 secs
lola: sara is running 1030 secs || 185903 markings, 1149749 edges, 187 markings/sec, 1030 secs
lola: sara is running 1035 secs || 186822 markings, 1154923 edges, 184 markings/sec, 1035 secs
lola: sara is running 1040 secs || 187697 markings, 1159968 edges, 175 markings/sec, 1040 secs
lola: sara is running 1045 secs || 188624 markings, 1165929 edges, 185 markings/sec, 1045 secs
lola: sara is running 1050 secs || 189563 markings, 1172719 edges, 188 markings/sec, 1050 secs
lola: sara is running 1055 secs || 190513 markings, 1178671 edges, 190 markings/sec, 1055 secs
lola: sara is running 1060 secs || 191445 markings, 1184522 edges, 186 markings/sec, 1060 secs
lola: sara is running 1065 secs || 192379 markings, 1190478 edges, 187 markings/sec, 1065 secs
lola: sara is running 1070 secs || 193314 markings, 1196696 edges, 187 markings/sec, 1070 secs
lola: sara is running 1075 secs || 194235 markings, 1203068 edges, 184 markings/sec, 1075 secs
lola: sara is running 1080 secs || 195150 markings, 1209671 edges, 183 markings/sec, 1080 secs
lola: sara is running 1085 secs || 196072 markings, 1216498 edges, 184 markings/sec, 1085 secs
lola: sara is running 1090 secs || 196984 markings, 1222360 edges, 182 markings/sec, 1090 secs
lola: sara is running 1095 secs || 197839 markings, 1227777 edges, 171 markings/sec, 1095 secs
lola: sara is running 1100 secs || 198685 markings, 1233124 edges, 169 markings/sec, 1100 secs
lola: sara is running 1105 secs || 199532 markings, 1238492 edges, 169 markings/sec, 1105 secs
lola: sara is running 1110 secs || 200370 markings, 1244077 edges, 168 markings/sec, 1110 secs
lola: sara is running 1115 secs || 201216 markings, 1248947 edges, 169 markings/sec, 1115 secs
lola: sara is running 1120 secs || 202064 markings, 1253811 edges, 170 markings/sec, 1120 secs
lola: sara is running 1125 secs || 202910 markings, 1258333 edges, 169 markings/sec, 1125 secs
lola: sara is running 1130 secs || 203758 markings, 1263545 edges, 170 markings/sec, 1130 secs
lola: sara is running 1135 secs || 204616 markings, 1269378 edges, 172 markings/sec, 1135 secs
lola: sara is running 1140 secs || 205536 markings, 1275908 edges, 184 markings/sec, 1140 secs
lola: sara is running 1145 secs || 206453 markings, 1282793 edges, 183 markings/sec, 1145 secs
lola: sara is running 1150 secs || 207382 markings, 1289226 edges, 186 markings/sec, 1150 secs
lola: sara is running 1155 secs || 208313 markings, 1295392 edges, 186 markings/sec, 1155 secs
lola: sara is running 1160 secs || 209233 markings, 1300646 edges, 184 markings/sec, 1160 secs
lola: sara is running 1165 secs || 210133 markings, 1305370 edges, 180 markings/sec, 1165 secs
lola: sara is running 1170 secs || 211062 markings, 1310660 edges, 186 markings/sec, 1170 secs
lola: sara is running 1175 secs || 211923 markings, 1316276 edges, 172 markings/sec, 1175 secs
lola: sara is running 1180 secs || 212836 markings, 1322307 edges, 183 markings/sec, 1180 secs
lola: sara is running 1185 secs || 213762 markings, 1328438 edges, 185 markings/sec, 1185 secs
lola: sara is running 1190 secs || 214684 markings, 1335539 edges, 184 markings/sec, 1190 secs
lola: sara is running 1195 secs || 215595 markings, 1342294 edges, 182 markings/sec, 1195 secs
lola: sara is running 1200 secs || 216518 markings, 1347290 edges, 185 markings/sec, 1200 secs
lola: sara is running 1205 secs || 217426 markings, 1353152 edges, 182 markings/sec, 1205 secs
lola: sara is running 1210 secs || 218341 markings, 1359060 edges, 183 markings/sec, 1210 secs
lola: sara is running 1215 secs || 219280 markings, 1365590 edges, 188 markings/sec, 1215 secs
lola: sara is running 1220 secs || 220202 markings, 1372364 edges, 184 markings/sec, 1220 secs
lola: sara is running 1225 secs || 221146 markings, 1379722 edges, 189 markings/sec, 1225 secs
lola: sara is running 1230 secs || 222069 markings, 1386061 edges, 185 markings/sec, 1230 secs
lola: sara is running 1235 secs || 222986 markings, 1392427 edges, 183 markings/sec, 1235 secs
lola: sara is running 1240 secs || 223906 markings, 1398573 edges, 184 markings/sec, 1240 secs
lola: sara is running 1245 secs || 224829 markings, 1405674 edges, 185 markings/sec, 1245 secs
lola: sara is running 1250 secs || 225762 markings, 1412801 edges, 187 markings/sec, 1250 secs
lola: sara is running 1255 secs || 226678 markings, 1418901 edges, 183 markings/sec, 1255 secs
lola: sara is running 1260 secs || 227517 markings, 1424117 edges, 168 markings/sec, 1260 secs
lola: sara is running 1265 secs || 228363 markings, 1429554 edges, 169 markings/sec, 1265 secs
lola: sara is running 1270 secs || 229209 markings, 1436104 edges, 169 markings/sec, 1270 secs
lola: sara is running 1275 secs || 230107 markings, 1443121 edges, 180 markings/sec, 1275 secs
lola: sara is running 1280 secs || 231029 markings, 1448756 edges, 184 markings/sec, 1280 secs
lola: sara is running 1285 secs || 231950 markings, 1453496 edges, 184 markings/sec, 1285 secs
lola: sara is running 1290 secs || 232821 markings, 1458172 edges, 174 markings/sec, 1290 secs
lola: sara is running 1295 secs || 233769 markings, 1464223 edges, 190 markings/sec, 1295 secs
lola: sara is running 1300 secs || 234711 markings, 1469596 edges, 188 markings/sec, 1300 secs
lola: sara is running 1305 secs || 235638 markings, 1474936 edges, 185 markings/sec, 1305 secs
lola: sara is running 1310 secs || 236579 markings, 1481300 edges, 188 markings/sec, 1310 secs
lola: sara is running 1315 secs || 237533 markings, 1487888 edges, 191 markings/sec, 1315 secs
lola: sara is running 1320 secs || 238473 markings, 1494111 edges, 188 markings/sec, 1320 secs
lola: sara is running 1325 secs || 239402 markings, 1499858 edges, 186 markings/sec, 1325 secs
lola: sara is running 1330 secs || 240255 markings, 1505353 edges, 171 markings/sec, 1330 secs
lola: sara is running 1335 secs || 241133 markings, 1511331 edges, 176 markings/sec, 1335 secs
lola: sara is running 1340 secs || 242013 markings, 1518015 edges, 176 markings/sec, 1340 secs
lola: sara is running 1345 secs || 242892 markings, 1524906 edges, 176 markings/sec, 1345 secs
lola: sara is running 1350 secs || 243746 markings, 1530051 edges, 171 markings/sec, 1350 secs
lola: sara is running 1355 secs || 244616 markings, 1535656 edges, 174 markings/sec, 1355 secs
lola: sara is running 1360 secs || 245478 markings, 1541625 edges, 172 markings/sec, 1360 secs
lola: sara is running 1365 secs || 246355 markings, 1546660 edges, 175 markings/sec, 1365 secs
lola: sara is running 1370 secs || 247223 markings, 1552263 edges, 174 markings/sec, 1370 secs
lola: sara is running 1375 secs || 248084 markings, 1557750 edges, 172 markings/sec, 1375 secs
lola: sara is running 1380 secs || 248948 markings, 1563100 edges, 173 markings/sec, 1380 secs
lola: sara is running 1385 secs || 249810 markings, 1569130 edges, 172 markings/sec, 1385 secs
lola: sara is running 1390 secs || 250671 markings, 1575291 edges, 172 markings/sec, 1390 secs
lola: sara is running 1395 secs || 251549 markings, 1581882 edges, 176 markings/sec, 1395 secs
lola: sara is running 1400 secs || 252478 markings, 1588258 edges, 186 markings/sec, 1400 secs
lola: sara is running 1405 secs || 253387 markings, 1593876 edges, 182 markings/sec, 1405 secs
lola: sara is running 1410 secs || 254248 markings, 1599055 edges, 172 markings/sec, 1410 secs
lola: sara is running 1415 secs || 255110 markings, 1604077 edges, 172 markings/sec, 1415 secs
lola: sara is running 1420 secs || 255971 markings, 1609062 edges, 172 markings/sec, 1420 secs
lola: sara is running 1425 secs || 256833 markings, 1613557 edges, 172 markings/sec, 1425 secs
lola: sara is running 1430 secs || 257724 markings, 1618019 edges, 178 markings/sec, 1430 secs
lola: sara is running 1435 secs || 258665 markings, 1624103 edges, 188 markings/sec, 1435 secs
lola: sara is running 1440 secs || 259588 markings, 1630216 edges, 185 markings/sec, 1440 secs
lola: sara is running 1445 secs || 260521 markings, 1636373 edges, 187 markings/sec, 1445 secs
lola: sara is running 1450 secs || 261470 markings, 1643564 edges, 190 markings/sec, 1450 secs
lola: sara is running 1455 secs || 262386 markings, 1650535 edges, 183 markings/sec, 1455 secs
lola: sara is running 1460 secs || 263307 markings, 1656011 edges, 184 markings/sec, 1460 secs
lola: sara is running 1465 secs || 264174 markings, 1660736 edges, 173 markings/sec, 1465 secs
lola: sara is running 1470 secs || 265113 markings, 1666750 edges, 188 markings/sec, 1470 secs
lola: sara is running 1475 secs || 266006 markings, 1672915 edges, 179 markings/sec, 1475 secs
lola: sara is running 1480 secs || 266866 markings, 1679017 edges, 172 markings/sec, 1480 secs
lola: sara is running 1485 secs || 267705 markings, 1685454 edges, 168 markings/sec, 1485 secs
lola: sara is running 1490 secs || 268601 markings, 1692151 edges, 179 markings/sec, 1490 secs
lola: sara is running 1495 secs || 269545 markings, 1699172 edges, 189 markings/sec, 1495 secs
lola: sara is running 1500 secs || 270481 markings, 1706026 edges, 187 markings/sec, 1500 secs
lola: sara is running 1505 secs || 271354 markings, 1712368 edges, 175 markings/sec, 1505 secs
lola: sara is running 1510 secs || 272221 markings, 1718442 edges, 173 markings/sec, 1510 secs
lola: sara is running 1515 secs || 273145 markings, 1724827 edges, 185 markings/sec, 1515 secs
lola: sara is running 1520 secs || 274083 markings, 1730818 edges, 188 markings/sec, 1520 secs
lola: sara is running 1525 secs || 275026 markings, 1736631 edges, 189 markings/sec, 1525 secs
lola: sara is running 1530 secs || 275968 markings, 1743355 edges, 188 markings/sec, 1530 secs
lola: sara is running 1535 secs || 276890 markings, 1750833 edges, 184 markings/sec, 1535 secs
lola: sara is running 1540 secs || 277763 markings, 1756935 edges, 175 markings/sec, 1540 secs
lola: sara is running 1545 secs || 278620 markings, 1761874 edges, 171 markings/sec, 1545 secs
lola: sara is running 1550 secs || 279477 markings, 1765955 edges, 171 markings/sec, 1550 secs
lola: sara is running 1555 secs || 280354 markings, 1770395 edges, 175 markings/sec, 1555 secs
lola: sara is running 1560 secs || 281220 markings, 1775185 edges, 173 markings/sec, 1560 secs
lola: sara is running 1565 secs || 282089 markings, 1780279 edges, 174 markings/sec, 1565 secs
lola: sara is running 1570 secs || 282961 markings, 1785977 edges, 174 markings/sec, 1570 secs
lola: sara is running 1575 secs || 283821 markings, 1791478 edges, 172 markings/sec, 1575 secs
lola: sara is running 1580 secs || 284683 markings, 1796853 edges, 172 markings/sec, 1580 secs
lola: sara is running 1585 secs || 285556 markings, 1802538 edges, 175 markings/sec, 1585 secs
lola: sara is running 1590 secs || 286410 markings, 1807983 edges, 171 markings/sec, 1590 secs
lola: sara is running 1595 secs || 287282 markings, 1813521 edges, 174 markings/sec, 1595 secs
lola: sara is running 1600 secs || 288159 markings, 1818623 edges, 175 markings/sec, 1600 secs
lola: sara is running 1605 secs || 289027 markings, 1823793 edges, 174 markings/sec, 1605 secs
lola: sara is running 1610 secs || 289885 markings, 1828526 edges, 172 markings/sec, 1610 secs
lola: sara is running 1615 secs || 290743 markings, 1833032 edges, 172 markings/sec, 1615 secs
lola: sara is running 1620 secs || 291612 markings, 1837707 edges, 174 markings/sec, 1620 secs
lola: sara is running 1625 secs || 292477 markings, 1843675 edges, 173 markings/sec, 1625 secs
lola: sara is running 1630 secs || 293327 markings, 1849363 edges, 170 markings/sec, 1630 secs
lola: sara is running 1635 secs || 294176 markings, 1853907 edges, 170 markings/sec, 1635 secs
lola: sara is running 1640 secs || 295025 markings, 1857981 edges, 170 markings/sec, 1640 secs
lola: sara is running 1645 secs || 295873 markings, 1862895 edges, 170 markings/sec, 1645 secs
lola: sara is running 1650 secs || 296718 markings, 1867289 edges, 169 markings/sec, 1650 secs
lola: sara is running 1655 secs || 297570 markings, 1872730 edges, 170 markings/sec, 1655 secs
lola: sara is running 1660 secs || 298419 markings, 1878095 edges, 170 markings/sec, 1660 secs
lola: sara is running 1665 secs || 299269 markings, 1883469 edges, 170 markings/sec, 1665 secs
lola: sara is running 1670 secs || 300112 markings, 1888646 edges, 169 markings/sec, 1670 secs
lola: sara is running 1675 secs || 300950 markings, 1893970 edges, 168 markings/sec, 1675 secs
lola: sara is running 1680 secs || 301791 markings, 1899245 edges, 168 markings/sec, 1680 secs
lola: sara is running 1685 secs || 302635 markings, 1904522 edges, 169 markings/sec, 1685 secs
lola: sara is running 1690 secs || 303480 markings, 1909769 edges, 169 markings/sec, 1690 secs
lola: sara is running 1695 secs || 304329 markings, 1913266 edges, 170 markings/sec, 1695 secs
lola: sara is running 1700 secs || 305172 markings, 1917606 edges, 169 markings/sec, 1700 secs
lola: sara is running 1705 secs || 306014 markings, 1922453 edges, 168 markings/sec, 1705 secs
lola: sara is running 1710 secs || 306860 markings, 1927251 edges, 169 markings/sec, 1710 secs
lola: sara is running 1715 secs || 307706 markings, 1932115 edges, 169 markings/sec, 1715 secs
lola: sara is running 1720 secs || 308545 markings, 1936887 edges, 168 markings/sec, 1720 secs
lola: sara is running 1725 secs || 309387 markings, 1942176 edges, 168 markings/sec, 1725 secs
lola: sara is running 1730 secs || 310228 markings, 1947950 edges, 168 markings/sec, 1730 secs
lola: sara is running 1735 secs || 311062 markings, 1953641 edges, 167 markings/sec, 1735 secs
lola: sara is running 1740 secs || 311897 markings, 1959355 edges, 167 markings/sec, 1740 secs
lola: sara is running 1745 secs || 312739 markings, 1964617 edges, 168 markings/sec, 1745 secs
lola: sara is running 1750 secs || 313580 markings, 1969419 edges, 168 markings/sec, 1750 secs
lola: sara is running 1755 secs || 314419 markings, 1974918 edges, 168 markings/sec, 1755 secs
lola: sara is running 1760 secs || 315266 markings, 1979655 edges, 169 markings/sec, 1760 secs
lola: sara is running 1765 secs || 316114 markings, 1984428 edges, 170 markings/sec, 1765 secs
lola: sara is running 1770 secs || 316979 markings, 1989941 edges, 173 markings/sec, 1770 secs
lola: sara is running 1775 secs || 317880 markings, 1996342 edges, 180 markings/sec, 1775 secs
lola: sara is running 1780 secs || 318808 markings, 2002284 edges, 186 markings/sec, 1780 secs
lola: sara is running 1785 secs || 319709 markings, 2009104 edges, 180 markings/sec, 1785 secs
lola: sara is running 1790 secs || 320642 markings, 2014725 edges, 187 markings/sec, 1790 secs
lola: sara is running 1795 secs || 321583 markings, 2019628 edges, 188 markings/sec, 1795 secs
lola: sara is running 1800 secs || 322516 markings, 2025026 edges, 187 markings/sec, 1800 secs
lola: sara is running 1805 secs || 323453 markings, 2031308 edges, 187 markings/sec, 1805 secs
lola: sara is running 1810 secs || 324349 markings, 2036665 edges, 179 markings/sec, 1810 secs
lola: sara is running 1815 secs || 325218 markings, 2042010 edges, 174 markings/sec, 1815 secs
lola: sara is running 1820 secs || 326057 markings, 2048088 edges, 168 markings/sec, 1820 secs
lola: sara is running 1825 secs || 326908 markings, 2052886 edges, 170 markings/sec, 1825 secs
lola: sara is running 1830 secs || 327739 markings, 2057818 edges, 166 markings/sec, 1830 secs
lola: sara is running 1835 secs || 328591 markings, 2063492 edges, 170 markings/sec, 1835 secs
lola: sara is running 1840 secs || 329448 markings, 2068469 edges, 171 markings/sec, 1840 secs
lola: sara is running 1845 secs || 330311 markings, 2073883 edges, 173 markings/sec, 1845 secs
lola: sara is running 1850 secs || 331239 markings, 2080130 edges, 186 markings/sec, 1850 secs
lola: sara is running 1855 secs || 332105 markings, 2085420 edges, 173 markings/sec, 1855 secs
lola: sara is running 1860 secs || 332987 markings, 2091382 edges, 176 markings/sec, 1860 secs
lola: sara is running 1865 secs || 333856 markings, 2097592 edges, 174 markings/sec, 1865 secs
lola: sara is running 1870 secs || 334713 markings, 2104459 edges, 171 markings/sec, 1870 secs
lola: sara is running 1875 secs || 335581 markings, 2110648 edges, 174 markings/sec, 1875 secs
lola: sara is running 1880 secs || 336458 markings, 2116081 edges, 175 markings/sec, 1880 secs
lola: sara is running 1885 secs || 337374 markings, 2122286 edges, 183 markings/sec, 1885 secs
lola: sara is running 1890 secs || 338309 markings, 2129035 edges, 187 markings/sec, 1890 secs
lola: sara is running 1895 secs || 339247 markings, 2135118 edges, 188 markings/sec, 1895 secs
lola: sara is running 1900 secs || 340191 markings, 2141901 edges, 189 markings/sec, 1900 secs
lola: sara is running 1905 secs || 341114 markings, 2149070 edges, 185 markings/sec, 1905 secs
lola: sara is running 1910 secs || 342031 markings, 2155623 edges, 183 markings/sec, 1910 secs
lola: sara is running 1915 secs || 342910 markings, 2162326 edges, 176 markings/sec, 1915 secs
lola: sara is running 1920 secs || 343841 markings, 2169949 edges, 186 markings/sec, 1920 secs
lola: sara is running 1925 secs || 344753 markings, 2178106 edges, 182 markings/sec, 1925 secs
lola: sara is running 1930 secs || 345690 markings, 2185568 edges, 187 markings/sec, 1930 secs
lola: sara is running 1935 secs || 346552 markings, 2191835 edges, 172 markings/sec, 1935 secs
lola: sara is running 1940 secs || 347450 markings, 2198963 edges, 180 markings/sec, 1940 secs
lola: sara is running 1945 secs || 348316 markings, 2206024 edges, 173 markings/sec, 1945 secs
lola: sara is running 1950 secs || 349177 markings, 2211723 edges, 172 markings/sec, 1950 secs
lola: sara is running 1955 secs || 350097 markings, 2218147 edges, 184 markings/sec, 1955 secs
lola: sara is running 1960 secs || 351039 markings, 2225510 edges, 188 markings/sec, 1960 secs
lola: sara is running 1965 secs || 351990 markings, 2232313 edges, 190 markings/sec, 1965 secs
lola: sara is running 1970 secs || 352958 markings, 2239688 edges, 194 markings/sec, 1970 secs
lola: sara is running 1975 secs || 353903 markings, 2245559 edges, 189 markings/sec, 1975 secs
lola: sara is running 1980 secs || 354788 markings, 2251674 edges, 177 markings/sec, 1980 secs
lola: sara is running 1985 secs || 355640 markings, 2256627 edges, 170 markings/sec, 1985 secs
lola: sara is running 1990 secs || 356487 markings, 2262245 edges, 169 markings/sec, 1990 secs
lola: sara is running 1995 secs || 357336 markings, 2267167 edges, 170 markings/sec, 1995 secs
lola: sara is running 2000 secs || 358187 markings, 2272000 edges, 170 markings/sec, 2000 secs
lola: sara is running 2005 secs || 359040 markings, 2277143 edges, 171 markings/sec, 2005 secs
lola: sara is running 2010 secs || 359897 markings, 2282904 edges, 171 markings/sec, 2010 secs
lola: sara is running 2015 secs || 360759 markings, 2288644 edges, 172 markings/sec, 2015 secs
lola: sara is running 2020 secs || 361686 markings, 2294865 edges, 185 markings/sec, 2020 secs
lola: sara is running 2025 secs || 362550 markings, 2300741 edges, 173 markings/sec, 2025 secs
lola: sara is running 2030 secs || 363415 markings, 2306863 edges, 173 markings/sec, 2030 secs
lola: sara is running 2035 secs || 364260 markings, 2313618 edges, 169 markings/sec, 2035 secs
lola: sara is running 2040 secs || 365111 markings, 2320287 edges, 170 markings/sec, 2040 secs
lola: sara is running 2045 secs || 365967 markings, 2326918 edges, 171 markings/sec, 2045 secs
lola: sara is running 2050 secs || 366841 markings, 2333300 edges, 175 markings/sec, 2050 secs
lola: sara is running 2055 secs || 367783 markings, 2339685 edges, 188 markings/sec, 2055 secs
lola: sara is running 2060 secs || 368730 markings, 2346737 edges, 189 markings/sec, 2060 secs
lola: sara is running 2065 secs || 369675 markings, 2352894 edges, 189 markings/sec, 2065 secs
lola: sara is running 2070 secs || 370608 markings, 2359344 edges, 187 markings/sec, 2070 secs
lola: sara is running 2075 secs || 371558 markings, 2366988 edges, 190 markings/sec, 2075 secs
lola: sara is running 2080 secs || 372416 markings, 2373389 edges, 172 markings/sec, 2080 secs
lola: sara is running 2085 secs || 373274 markings, 2380284 edges, 172 markings/sec, 2085 secs
lola: sara is running 2090 secs || 374131 markings, 2387169 edges, 171 markings/sec, 2090 secs
lola: sara is running 2095 secs || 374972 markings, 2392926 edges, 168 markings/sec, 2095 secs
lola: sara is running 2100 secs || 375816 markings, 2397999 edges, 169 markings/sec, 2100 secs
lola: sara is running 2105 secs || 376651 markings, 2403890 edges, 167 markings/sec, 2105 secs
lola: sara is running 2110 secs || 377493 markings, 2410374 edges, 168 markings/sec, 2110 secs
lola: sara is running 2115 secs || 378324 markings, 2416299 edges, 166 markings/sec, 2115 secs
lola: sara is running 2120 secs || 379064 markings, 2421670 edges, 148 markings/sec, 2120 secs
lola: sara is running 2125 secs || 379837 markings, 2427580 edges, 155 markings/sec, 2125 secs
lola: sara is running 2130 secs || 380626 markings, 2433114 edges, 158 markings/sec, 2130 secs
lola: sara is running 2135 secs || 381436 markings, 2438798 edges, 162 markings/sec, 2135 secs
lola: sara is running 2140 secs || 382253 markings, 2444777 edges, 163 markings/sec, 2140 secs
lola: sara is running 2145 secs || 383073 markings, 2450674 edges, 164 markings/sec, 2145 secs
lola: sara is running 2150 secs || 383888 markings, 2456287 edges, 163 markings/sec, 2150 secs
lola: sara is running 2155 secs || 384682 markings, 2462554 edges, 159 markings/sec, 2155 secs
lola: sara is running 2160 secs || 385478 markings, 2468433 edges, 159 markings/sec, 2160 secs
lola: sara is running 2165 secs || 386281 markings, 2474233 edges, 161 markings/sec, 2165 secs
lola: sara is running 2170 secs || 387112 markings, 2480837 edges, 166 markings/sec, 2170 secs
lola: sara is running 2175 secs || 387929 markings, 2487749 edges, 163 markings/sec, 2175 secs
lola: sara is running 2180 secs || 388721 markings, 2494646 edges, 158 markings/sec, 2180 secs
lola: sara is running 2185 secs || 389511 markings, 2501226 edges, 158 markings/sec, 2185 secs
lola: sara is running 2190 secs || 390340 markings, 2507293 edges, 166 markings/sec, 2190 secs
lola: sara is running 2195 secs || 391147 markings, 2513195 edges, 161 markings/sec, 2195 secs
lola: sara is running 2200 secs || 391963 markings, 2519964 edges, 163 markings/sec, 2200 secs
lola: sara is running 2205 secs || 392764 markings, 2526111 edges, 160 markings/sec, 2205 secs
lola: sara is running 2210 secs || 393572 markings, 2532556 edges, 162 markings/sec, 2210 secs
lola: sara is running 2215 secs || 394406 markings, 2539448 edges, 167 markings/sec, 2215 secs
lola: sara is running 2220 secs || 395231 markings, 2546673 edges, 165 markings/sec, 2220 secs
lola: sara is running 2225 secs || 396068 markings, 2553628 edges, 167 markings/sec, 2225 secs
lola: sara is running 2230 secs || 396871 markings, 2560328 edges, 161 markings/sec, 2230 secs
lola: sara is running 2235 secs || 397669 markings, 2567566 edges, 160 markings/sec, 2235 secs
lola: sara is running 2240 secs || 398479 markings, 2575574 edges, 162 markings/sec, 2240 secs
lola: sara is running 2245 secs || 399288 markings, 2583321 edges, 162 markings/sec, 2245 secs
lola: sara is running 2250 secs || 400122 markings, 2590333 edges, 167 markings/sec, 2250 secs
lola: sara is running 2255 secs || 400975 markings, 2597394 edges, 171 markings/sec, 2255 secs
lola: sara is running 2260 secs || 401830 markings, 2605230 edges, 171 markings/sec, 2260 secs
lola: sara is running 2265 secs || 402679 markings, 2612765 edges, 170 markings/sec, 2265 secs
lola: sara is running 2270 secs || 403538 markings, 2619186 edges, 172 markings/sec, 2270 secs
lola: sara is running 2275 secs || 404415 markings, 2626492 edges, 175 markings/sec, 2275 secs
lola: sara is running 2280 secs || 405374 markings, 2635017 edges, 192 markings/sec, 2280 secs
lola: sara is running 2285 secs || 406230 markings, 2641870 edges, 171 markings/sec, 2285 secs
lola: sara is running 2290 secs || 407090 markings, 2649390 edges, 172 markings/sec, 2290 secs
lola: sara is running 2295 secs || 407997 markings, 2655846 edges, 181 markings/sec, 2295 secs
lola: sara is running 2300 secs || 408967 markings, 2663257 edges, 194 markings/sec, 2300 secs
lola: sara is running 2305 secs || 409932 markings, 2670156 edges, 193 markings/sec, 2305 secs
lola: sara is running 2310 secs || 410803 markings, 2676656 edges, 174 markings/sec, 2310 secs
lola: sara is running 2315 secs || 411697 markings, 2682686 edges, 179 markings/sec, 2315 secs
lola: sara is running 2320 secs || 412538 markings, 2687914 edges, 168 markings/sec, 2320 secs
lola: sara is running 2325 secs || 413389 markings, 2692972 edges, 170 markings/sec, 2325 secs
lola: sara is running 2330 secs || 414263 markings, 2698468 edges, 175 markings/sec, 2330 secs
lola: sara is running 2335 secs || 415118 markings, 2704567 edges, 171 markings/sec, 2335 secs
lola: sara is running 2340 secs || 415972 markings, 2710076 edges, 171 markings/sec, 2340 secs
lola: sara is running 2345 secs || 416843 markings, 2715624 edges, 174 markings/sec, 2345 secs
lola: sara is running 2350 secs || 417701 markings, 2721507 edges, 172 markings/sec, 2350 secs
lola: sara is running 2355 secs || 418561 markings, 2727017 edges, 172 markings/sec, 2355 secs
lola: sara is running 2360 secs || 419413 markings, 2732368 edges, 170 markings/sec, 2360 secs
lola: sara is running 2365 secs || 420270 markings, 2738610 edges, 171 markings/sec, 2365 secs
lola: sara is running 2370 secs || 421127 markings, 2745427 edges, 171 markings/sec, 2370 secs
lola: sara is running 2375 secs || 421988 markings, 2752013 edges, 172 markings/sec, 2375 secs
lola: sara is running 2380 secs || 422886 markings, 2758570 edges, 180 markings/sec, 2380 secs
lola: sara is running 2385 secs || 423846 markings, 2766273 edges, 192 markings/sec, 2385 secs
lola: sara is running 2390 secs || 424820 markings, 2773392 edges, 195 markings/sec, 2390 secs
lola: sara is running 2395 secs || 425776 markings, 2779459 edges, 191 markings/sec, 2395 secs
lola: sara is running 2400 secs || 426739 markings, 2784876 edges, 193 markings/sec, 2400 secs
lola: sara is running 2405 secs || 427686 markings, 2790922 edges, 189 markings/sec, 2405 secs
lola: sara is running 2410 secs || 428645 markings, 2797458 edges, 192 markings/sec, 2410 secs
lola: sara is running 2415 secs || 429593 markings, 2803719 edges, 190 markings/sec, 2415 secs
lola: sara is running 2420 secs || 430529 markings, 2809478 edges, 187 markings/sec, 2420 secs
lola: sara is running 2425 secs || 431456 markings, 2815550 edges, 185 markings/sec, 2425 secs
lola: sara is running 2430 secs || 432423 markings, 2822975 edges, 193 markings/sec, 2430 secs
lola: sara is running 2435 secs || 433353 markings, 2830190 edges, 186 markings/sec, 2435 secs
lola: sara is running 2440 secs || 434228 markings, 2836415 edges, 175 markings/sec, 2440 secs
lola: sara is running 2445 secs || 435093 markings, 2843103 edges, 173 markings/sec, 2445 secs
lola: sara is running 2450 secs || 436023 markings, 2848809 edges, 186 markings/sec, 2450 secs
lola: sara is running 2455 secs || 436957 markings, 2855328 edges, 187 markings/sec, 2455 secs
lola: sara is running 2460 secs || 437872 markings, 2862632 edges, 183 markings/sec, 2460 secs
lola: sara is running 2465 secs || 438720 markings, 2869025 edges, 170 markings/sec, 2465 secs
lola: sara is running 2470 secs || 439564 markings, 2874817 edges, 169 markings/sec, 2470 secs
lola: sara is running 2475 secs || 440409 markings, 2879785 edges, 169 markings/sec, 2475 secs
lola: sara is running 2480 secs || 441236 markings, 2885027 edges, 165 markings/sec, 2480 secs
lola: sara is running 2485 secs || 442068 markings, 2891387 edges, 166 markings/sec, 2485 secs
lola: sara is running 2490 secs || 442893 markings, 2898036 edges, 165 markings/sec, 2490 secs
lola: sara is running 2495 secs || 443732 markings, 2904281 edges, 168 markings/sec, 2495 secs
lola: sara is running 2500 secs || 444571 markings, 2910330 edges, 168 markings/sec, 2500 secs
lola: sara is running 2505 secs || 445417 markings, 2916505 edges, 169 markings/sec, 2505 secs
lola: sara is running 2510 secs || 446263 markings, 2923791 edges, 169 markings/sec, 2510 secs
lola: sara is running 2515 secs || 447162 markings, 2931761 edges, 180 markings/sec, 2515 secs
lola: sara is running 2520 secs || 448003 markings, 2938605 edges, 168 markings/sec, 2520 secs
lola: sara is running 2525 secs || 448862 markings, 2946042 edges, 172 markings/sec, 2525 secs
lola: sara is running 2530 secs || 449744 markings, 2952983 edges, 176 markings/sec, 2530 secs
lola: sara is running 2535 secs || 450653 markings, 2959451 edges, 182 markings/sec, 2535 secs
lola: sara is running 2540 secs || 451536 markings, 2966927 edges, 177 markings/sec, 2540 secs
lola: sara is running 2545 secs || 452412 markings, 2974904 edges, 175 markings/sec, 2545 secs
lola: sara is running 2550 secs || 453279 markings, 2982116 edges, 173 markings/sec, 2550 secs
lola: sara is running 2555 secs || 454152 markings, 2988440 edges, 175 markings/sec, 2555 secs
lola: sara is running 2560 secs || 455020 markings, 2993975 edges, 174 markings/sec, 2560 secs
lola: sara is running 2565 secs || 455951 markings, 3000589 edges, 186 markings/sec, 2565 secs
lola: sara is running 2570 secs || 456884 markings, 3007788 edges, 187 markings/sec, 2570 secs
lola: sara is running 2575 secs || 457819 markings, 3014953 edges, 187 markings/sec, 2575 secs
lola: sara is running 2580 secs || 458770 markings, 3021860 edges, 190 markings/sec, 2580 secs
lola: sara is running 2585 secs || 459696 markings, 3029432 edges, 185 markings/sec, 2585 secs
lola: sara is running 2590 secs || 460621 markings, 3036494 edges, 185 markings/sec, 2590 secs
lola: sara is running 2595 secs || 461473 markings, 3042395 edges, 170 markings/sec, 2595 secs
lola: sara is running 2600 secs || 462323 markings, 3049405 edges, 170 markings/sec, 2600 secs
lola: sara is running 2605 secs || 463175 markings, 3057029 edges, 170 markings/sec, 2605 secs
lola: sara is running 2610 secs || 464037 markings, 3064438 edges, 172 markings/sec, 2610 secs
lola: sara is running 2615 secs || 464895 markings, 3071634 edges, 172 markings/sec, 2615 secs
lola: sara is running 2620 secs || 465697 markings, 3078607 edges, 160 markings/sec, 2620 secs
lola: sara is running 2625 secs || 466522 markings, 3086249 edges, 165 markings/sec, 2625 secs
lola: sara is running 2630 secs || 467348 markings, 3092702 edges, 165 markings/sec, 2630 secs
lola: sara is running 2635 secs || 468224 markings, 3097759 edges, 175 markings/sec, 2635 secs
lola: sara is running 2640 secs || 469101 markings, 3103169 edges, 175 markings/sec, 2640 secs
lola: sara is running 2645 secs || 469959 markings, 3108822 edges, 172 markings/sec, 2645 secs
lola: sara is running 2650 secs || 470844 markings, 3115670 edges, 177 markings/sec, 2650 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no no no yes unknown yes no no no no no no no yes no
lola:
preliminary result: yes no no no yes unknown yes no no no no no no no yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no no no yes unknown yes no no no no no no no yes no
lola: lola: memory consumption: 151876 KBmemory consumption: 151876 KB

lola: time consumption: 3569 seconds
lola: time consumption: 3569 seconds

BK_STOP 1527801481115

--------------------
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="RERS17pb113-PT-7"
export BK_EXAMINATION="ReachabilityCardinality"
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/RERS17pb113-PT-7.tgz
mv RERS17pb113-PT-7 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 RERS17pb113-PT-7, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r280-csrt-152749169900439"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 '' ReachabilityCardinality.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 ;