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 852K
-rw-r--r-- 1 mcc users 4.5K May 30 21:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 30 21:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K May 29 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 29 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 2.8K May 28 09:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K May 28 08:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 28 08:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 4.5K May 28 06:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 28 06:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 7.0K May 27 03:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 27 03:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 6 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw------- 1 mcc users 672K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is EGFr-PT-10420, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749169700268
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527786421163

info: Time: 3600 - MCC
===========================================================================================
prep: translating EGFr-PT-10420 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating EGFr-PT-10420 formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ EGFr-PT-10420 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 586/65536 symbol table entries, 1 collisions
lola: preprocessing...
lola: Size of bit vector: 6656
lola: finding significant places
lola: 208 places, 378 transitions, 76 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 731 transition conflict sets
lola: TASK
lola: reading formula from EGFr-PT-10420-ReachabilityCardinality.task
lola: place invariant simplifies atomic proposition
lola: before: (pi3k_equals_1 <= btc_equals_0)
lola: after: (pi3k_equals_1 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (erbb44_equals_0 <= tgfa_equals_1)
lola: after: (erbb44_equals_0 <= 1)
lola: LP says that atomic proposition is always true: (erbb44_equals_0 <= 1)
lola: place invariant simplifies atomic proposition
lola: before: (2 <= nrg2a_equals_0)
lola: after: (2 <= 0)
lola: always false
lola: LP says that atomic proposition is always false: (2 <= rasgap_equals_1)
lola: place invariant simplifies atomic proposition
lola: before: (1 <= pten_equals_1)
lola: after: (1 <= 0)
lola: always false
lola: LP says that atomic proposition is always false: (2 <= nck_equals_0)
lola: place invariant simplifies atomic proposition
lola: before: (pi3kr_equals_0 <= ptend_equals_0)
lola: after: (0 <= ptend_equals_0)
lola: always true
lola: LP says that atomic proposition is always false: (2 <= pak1_equals_0)
lola: place invariant simplifies atomic proposition
lola: before: (3 <= erbb1_equals_0)
lola: after: (3 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (erbb2_equals_1 <= rin1_equals_1)
lola: after: (1 <= rin1_equals_1)
lola: LP says that atomic proposition is always false: (2 <= akt_equals_1)
lola: place invariant simplifies atomic proposition
lola: before: (mtorr_equals_1 <= ca_equals_1)
lola: after: (0 <= ca_equals_1)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (grb2_equals_0 <= hbegf_equals_0)
lola: after: (grb2_equals_0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (mtor_rap_equals_0 <= egf_equals_0)
lola: after: (mtor_rap_equals_0 <= 0)
lola: LP says that atomic proposition is always false: (3 <= ras_equals_1)
lola: LP says that atomic proposition is always false: (2 <= aktd_equals_0)
lola: place invariant simplifies atomic proposition
lola: before: (epr_equals_1 <= raf1_equals_1)
lola: after: (1 <= raf1_equals_1)
lola: LP says that atomic proposition is always false: (2 <= pro_apoptotic_equals_1)
lola: LP says that atomic proposition is always false: (3 <= mkk3_equals_0)
lola: place invariant simplifies atomic proposition
lola: before: (limk1_equals_0 <= bir_equals_0)
lola: after: (limk1_equals_0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (pi34p2_equals_0 <= ar_equals_0)
lola: after: (pi34p2_equals_0 <= 0)
lola: LP says that atomic proposition is always false: (2 <= endocyt_degrad_equals_0)
lola: place invariant simplifies atomic proposition
lola: before: (pten_equals_1 <= bad_equals_0)
lola: after: (0 <= bad_equals_0)
lola: always true
lola: LP says that atomic proposition is always false: (3 <= mek12_equals_1)
lola: place invariant simplifies atomic proposition
lola: before: (gsk3_equals_1 <= nrg4_equals_1)
lola: after: (gsk3_equals_1 <= 1)
lola: LP says that atomic proposition is always true: (gsk3_equals_1 <= 1)
lola: place invariant simplifies atomic proposition
lola: before: (hbegf_equals_0 <= pi3kr_equals_0)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (mek12_equals_1 <= nrg2a_equals_1)
lola: after: (mek12_equals_1 <= 1)
lola: LP says that atomic proposition is always true: (mek12_equals_1 <= 1)
lola: place invariant simplifies atomic proposition
lola: before: (ar_equals_0 <= pi3k_equals_0)
lola: after: (0 <= pi3k_equals_0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (3 <= epr_equals_1)
lola: after: (2 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (hbegf_equals_1 <= bad_equals_1)
lola: after: (1 <= bad_equals_1)
lola: LP says that atomic proposition is always false: (3 <= ip3_equals_0)
lola: place invariant simplifies atomic proposition
lola: before: (1 <= pi3kr_equals_0)
lola: after: (1 <= 0)
lola: always false
lola: LP says that atomic proposition is always false: (3 <= plcg_equals_1)
lola: LP says that atomic proposition is always false: (3 <= rin1_equals_0)
lola: place invariant simplifies atomic proposition
lola: before: (2 <= csrc_equals_1)
lola: after: (2 <= 0)
lola: always false
lola: LP says that atomic proposition is always false: (2 <= shc_equals_0)
lola: place invariant simplifies atomic proposition
lola: before: (mkk6_equals_0 <= nrg1a_equals_1)
lola: after: (mkk6_equals_0 <= 1)
lola: LP says that atomic proposition is always true: (mkk6_equals_0 <= 1)
lola: place invariant simplifies atomic proposition
lola: before: (ship2_equals_0 <= nrg1b_equals_0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (pip3_equals_0 <= nrg1a_equals_1)
lola: after: (pip3_equals_0 <= 1)
lola: LP says that atomic proposition is always true: (pip3_equals_0 <= 1)
lola: LP says that atomic proposition is always false: (2 <= creb_equals_1)
lola: place invariant simplifies atomic proposition
lola: before: (mtor_ric_equals_0 <= erbb2_equals_1)
lola: after: (mtor_ric_equals_0 <= 1)
lola: LP says that atomic proposition is always true: (mtor_ric_equals_0 <= 1)
lola: A (G ((((pi3k_equals_1 <= 0)) OR (p90rsk_equals_1 + 1 <= ap1_equals_0)))) : E (F (FALSE)) : E (F (FALSE)) : A (G (TRUE)) : E (F (())) : E (F ((((grb2_equals_0 <= 0) AND (mtor_rap_equals_0 <= 0) AND ((1 <= mek12_equals_0)))))) : A (G ((((raf1_equals_1 <= 0))))) : A (G (())) : E (F (FALSE)) : A (G (())) : E (F (())) : A (G ((((mtor_ric_equals_1 <= creb_equals_0) AND (erbb34_equals_1 <= grb2_equals_0))))) : A (G (TRUE)) : E (F (FALSE)) : E (F (((gsk3_equals_1 + 1 <= p90rsk_equals_1)))) : A (G (TRUE))
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: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: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: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:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 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: 33 rewrites
lola: closed formula file EGFr-PT-10420-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 EGFr-PT-10420-ReachabilityCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 33 rewrites
lola: closed formula file EGFr-PT-10420-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 EGFr-PT-10420-ReachabilityCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 33 rewrites
lola: closed formula file EGFr-PT-10420-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 EGFr-PT-10420-ReachabilityCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 33 rewrites
lola: closed formula file EGFr-PT-10420-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 EGFr-PT-10420-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 33 rewrites
lola: closed formula file EGFr-PT-10420-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 EGFr-PT-10420-ReachabilityCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 33 rewrites
lola: closed formula file EGFr-PT-10420-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 EGFr-PT-10420-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 357 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: 33 rewrites
lola: closed formula file EGFr-PT-10420-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 EGFr-PT-10420-ReachabilityCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 33 rewrites
lola: closed formula file EGFr-PT-10420-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 EGFr-PT-10420-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 33 rewrites
lola: closed formula file EGFr-PT-10420-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 EGFr-PT-10420-ReachabilityCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 510 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: 33 rewrites
lola: closed formula file EGFr-PT-10420-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 EGFr-PT-10420-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 10 will run for 595 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: 33 rewrites
lola: closed formula file EGFr-PT-10420-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 EGFr-PT-10420-ReachabilityCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 714 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((raf1_equals_1 <= 0)))))
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 ((((raf1_equals_1 <= 0)))))
lola: processed formula length: 32
lola: 35 rewrites
lola: closed formula file EGFr-PT-10420-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: (((1 <= raf1_equals_1)))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to EGFr-PT-10420-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file EGFr-PT-10420-ReachabilityCardinality-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 462900 markings, 1607521 edges, 92580 markings/sec, 0 secs
lola: sara is running 5 secs || 920730 markings, 3199219 edges, 91566 markings/sec, 5 secs
lola: sara is running 10 secs || 1379926 markings, 4802713 edges, 91839 markings/sec, 10 secs
lola: sara is running 15 secs || 1851738 markings, 6443008 edges, 94362 markings/sec, 15 secs
lola: sara is running 20 secs || 2317946 markings, 8066696 edges, 93242 markings/sec, 20 secs
lola: sara is running 25 secs || 2773303 markings, 9651115 edges, 91071 markings/sec, 25 secs
lola: sara is running 30 secs || 3225462 markings, 11229516 edges, 90432 markings/sec, 30 secs
lola: sara is running 35 secs || 3679636 markings, 12810945 edges, 90835 markings/sec, 35 secs
lola: sara is running 40 secs || 4134954 markings, 14393931 edges, 91064 markings/sec, 40 secs
lola: sara is running 45 secs || 4611451 markings, 16057815 edges, 95299 markings/sec, 45 secs
lola: sara is running 50 secs || 5094945 markings, 17747148 edges, 96699 markings/sec, 50 secs
lola: sara is running 55 secs || 5573919 markings, 19413776 edges, 95795 markings/sec, 55 secs
lola: sara is running 60 secs || 6070718 markings, 21142950 edges, 99360 markings/sec, 60 secs
lola: sara is running 65 secs || 6555644 markings, 22830151 edges, 96985 markings/sec, 65 secs
lola: sara is running 70 secs || 7019534 markings, 24445839 edges, 92778 markings/sec, 70 secs
lola: sara is running 75 secs || 7471362 markings, 26017982 edges, 90366 markings/sec, 75 secs
lola: sara is running 80 secs || 7919186 markings, 27581476 edges, 89565 markings/sec, 80 secs
lola: sara is running 85 secs || 8381970 markings, 29192633 edges, 92557 markings/sec, 85 secs
lola: sara is running 90 secs || 8862342 markings, 30865460 edges, 96074 markings/sec, 90 secs
lola: sara is running 95 secs || 9312637 markings, 32433813 edges, 90059 markings/sec, 95 secs
lola: sara is running 100 secs || 9755991 markings, 33977546 edges, 88671 markings/sec, 100 secs
lola: sara is running 105 secs || 10203428 markings, 35535412 edges, 89487 markings/sec, 105 secs
lola: sara is running 110 secs || 10639099 markings, 37051682 edges, 87134 markings/sec, 110 secs
lola: sara is running 115 secs || 11075124 markings, 38569387 edges, 87205 markings/sec, 115 secs
lola: sara is running 120 secs || 11519588 markings, 40119458 edges, 88893 markings/sec, 120 secs
lola: sara is running 125 secs || 11977090 markings, 41710008 edges, 91500 markings/sec, 125 secs
lola: sara is running 130 secs || 12289380 markings, 42797332 edges, 62458 markings/sec, 130 secs
lola: sara is running 135 secs || 12646708 markings, 44042251 edges, 71466 markings/sec, 135 secs
lola: sara is running 140 secs || 12888868 markings, 44884033 edges, 48432 markings/sec, 140 secs
lola: sara is running 145 secs || 13359194 markings, 46522014 edges, 94065 markings/sec, 145 secs
lola: sara is running 150 secs || 13828930 markings, 48158362 edges, 93947 markings/sec, 150 secs
lola: sara is running 155 secs || 14303000 markings, 49805038 edges, 94814 markings/sec, 155 secs
lola: sara is running 160 secs || 14750143 markings, 51363268 edges, 89429 markings/sec, 160 secs
lola: sara is running 165 secs || 15200688 markings, 52933994 edges, 90109 markings/sec, 165 secs
lola: sara is running 170 secs || 15668277 markings, 54561154 edges, 93518 markings/sec, 170 secs
lola: sara is running 175 secs || 16141334 markings, 56206241 edges, 94611 markings/sec, 175 secs
lola: sara is running 180 secs || 16612504 markings, 57848142 edges, 94234 markings/sec, 180 secs
lola: sara is running 185 secs || 17087755 markings, 59508165 edges, 95050 markings/sec, 185 secs
lola: sara is running 190 secs || 17567258 markings, 61179022 edges, 95901 markings/sec, 190 secs
lola: sara is running 195 secs || 18047437 markings, 62852145 edges, 96036 markings/sec, 195 secs
lola: sara is running 200 secs || 18521353 markings, 64501712 edges, 94783 markings/sec, 200 secs
lola: sara is running 205 secs || 18993236 markings, 66147454 edges, 94377 markings/sec, 205 secs
lola: sara is running 210 secs || 19467282 markings, 67794944 edges, 94809 markings/sec, 210 secs
lola: sara is running 215 secs || 19944907 markings, 69458130 edges, 95525 markings/sec, 215 secs
lola: sara is running 220 secs || 20427049 markings, 71137839 edges, 96428 markings/sec, 220 secs
lola: sara is running 225 secs || 20906855 markings, 72806566 edges, 95961 markings/sec, 225 secs
lola: sara is running 230 secs || 21384724 markings, 74470186 edges, 95574 markings/sec, 230 secs
lola: sara is running 235 secs || 21819100 markings, 75981891 edges, 86875 markings/sec, 235 secs
lola: sara is running 240 secs || 22281233 markings, 77593008 edges, 92427 markings/sec, 240 secs
lola: sara is running 245 secs || 22741776 markings, 79197790 edges, 92109 markings/sec, 245 secs
lola: sara is running 250 secs || 23212871 markings, 80840422 edges, 94219 markings/sec, 250 secs
lola: sara is running 255 secs || 23675053 markings, 82450265 edges, 92436 markings/sec, 255 secs
lola: sara is running 260 secs || 24156183 markings, 84124923 edges, 96226 markings/sec, 260 secs
lola: sara is running 265 secs || 24637766 markings, 85805329 edges, 96317 markings/sec, 265 secs
lola: sara is running 270 secs || 25121064 markings, 87489736 edges, 96660 markings/sec, 270 secs
lola: sara is running 275 secs || 25593740 markings, 89135297 edges, 94535 markings/sec, 275 secs
lola: sara is running 280 secs || 26056014 markings, 90745906 edges, 92455 markings/sec, 280 secs
lola: sara is running 285 secs || 26515072 markings, 92345773 edges, 91812 markings/sec, 285 secs
lola: sara is running 290 secs || 26979160 markings, 93961990 edges, 92818 markings/sec, 290 secs
lola: sara is running 295 secs || 27450130 markings, 95606193 edges, 94194 markings/sec, 295 secs
lola: sara is running 300 secs || 27921032 markings, 97247073 edges, 94180 markings/sec, 300 secs
lola: sara is running 305 secs || 28397816 markings, 98907016 edges, 95357 markings/sec, 305 secs
lola: sara is running 310 secs || 28869625 markings, 100552358 edges, 94362 markings/sec, 310 secs
lola: sara is running 315 secs || 29348412 markings, 102221077 edges, 95757 markings/sec, 315 secs
lola: sara is running 320 secs || 29822774 markings, 103872894 edges, 94872 markings/sec, 320 secs
lola: sara is running 325 secs || 30277734 markings, 105457039 edges, 90992 markings/sec, 325 secs
lola: sara is running 330 secs || 30754035 markings, 107113468 edges, 95260 markings/sec, 330 secs
lola: sara is running 335 secs || 31223090 markings, 108746356 edges, 93811 markings/sec, 335 secs
lola: sara is running 340 secs || 31692128 markings, 110383510 edges, 93808 markings/sec, 340 secs
lola: sara is running 345 secs || 32160594 markings, 112012729 edges, 93693 markings/sec, 345 secs
lola: sara is running 350 secs || 32629326 markings, 113643386 edges, 93746 markings/sec, 350 secs
lola: sara is running 355 secs || 33099145 markings, 115283218 edges, 93964 markings/sec, 355 secs
lola: sara is running 360 secs || 33573441 markings, 116934198 edges, 94859 markings/sec, 360 secs
lola: sara is running 365 secs || 34043152 markings, 118568788 edges, 93942 markings/sec, 365 secs
lola: sara is running 370 secs || 34509060 markings, 120189064 edges, 93182 markings/sec, 370 secs
lola: sara is running 375 secs || 34968282 markings, 121790888 edges, 91844 markings/sec, 375 secs
lola: sara is running 380 secs || 35439252 markings, 123429804 edges, 94194 markings/sec, 380 secs
lola: sara is running 385 secs || 35922050 markings, 125110067 edges, 96560 markings/sec, 385 secs
lola: sara is running 390 secs || 36399193 markings, 126769603 edges, 95429 markings/sec, 390 secs
lola: sara is running 395 secs || 36872426 markings, 128417825 edges, 94647 markings/sec, 395 secs
lola: sara is running 400 secs || 37357905 markings, 130107413 edges, 97096 markings/sec, 400 secs
lola: sara is running 405 secs || 37838141 markings, 131780912 edges, 96047 markings/sec, 405 secs
lola: sara is running 410 secs || 38317332 markings, 133447208 edges, 95838 markings/sec, 410 secs
lola: sara is running 415 secs || 38793361 markings, 135105688 edges, 95206 markings/sec, 415 secs
lola: sara is running 420 secs || 39277402 markings, 136795332 edges, 96808 markings/sec, 420 secs
lola: sara is running 425 secs || 39750282 markings, 138443248 edges, 94576 markings/sec, 425 secs
lola: sara is running 430 secs || 40223341 markings, 140088597 edges, 94612 markings/sec, 430 secs
lola: sara is running 435 secs || 40706594 markings, 141769635 edges, 96651 markings/sec, 435 secs
lola: sara is running 440 secs || 41183978 markings, 143432956 edges, 95477 markings/sec, 440 secs
lola: sara is running 445 secs || 41664062 markings, 145105661 edges, 96017 markings/sec, 445 secs
lola: sara is running 450 secs || 42146908 markings, 146783903 edges, 96569 markings/sec, 450 secs
lola: sara is running 455 secs || 42630213 markings, 148468470 edges, 96661 markings/sec, 455 secs
lola: sara is running 460 secs || 43109507 markings, 150143285 edges, 95859 markings/sec, 460 secs
lola: sara is running 465 secs || 43594662 markings, 151832561 edges, 97031 markings/sec, 465 secs
lola: sara is running 470 secs || 44042496 markings, 153393121 edges, 89567 markings/sec, 470 secs
lola: sara is running 475 secs || 44177241 markings, 153863730 edges, 26949 markings/sec, 475 secs
lola: sara is running 480 secs || 44557558 markings, 155188738 edges, 76063 markings/sec, 480 secs
lola: sara is running 485 secs || 45028430 markings, 156828896 edges, 94174 markings/sec, 485 secs
lola: sara is running 490 secs || 45499436 markings, 158468727 edges, 94201 markings/sec, 490 secs
lola: sara is running 495 secs || 45970102 markings, 160107149 edges, 94133 markings/sec, 495 secs
lola: sara is running 500 secs || 46434882 markings, 161729847 edges, 92956 markings/sec, 500 secs
lola: sara is running 505 secs || 46902055 markings, 163359903 edges, 93435 markings/sec, 505 secs
lola: sara is running 510 secs || 47374258 markings, 165001611 edges, 94441 markings/sec, 510 secs
lola: sara is running 515 secs || 47847506 markings, 166651045 edges, 94650 markings/sec, 515 secs
lola: sara is running 520 secs || 48328026 markings, 168325273 edges, 96104 markings/sec, 520 secs
lola: sara is running 525 secs || 48808256 markings, 169997905 edges, 96046 markings/sec, 525 secs
lola: sara is running 530 secs || 49287774 markings, 171667646 edges, 95904 markings/sec, 530 secs
lola: sara is running 535 secs || 49756836 markings, 173300444 edges, 93812 markings/sec, 535 secs
lola: sara is running 540 secs || 50237374 markings, 174971819 edges, 96108 markings/sec, 540 secs
lola: sara is running 545 secs || 50708888 markings, 176611355 edges, 94303 markings/sec, 545 secs
lola: sara is running 550 secs || 51178334 markings, 178248018 edges, 93889 markings/sec, 550 secs
lola: sara is running 555 secs || 51651430 markings, 179896895 edges, 94619 markings/sec, 555 secs
lola: sara is running 560 secs || 52122883 markings, 181537604 edges, 94291 markings/sec, 560 secs
lola: sara is running 565 secs || 52593464 markings, 183180426 edges, 94116 markings/sec, 565 secs
lola: sara is running 570 secs || 53070751 markings, 184842566 edges, 95457 markings/sec, 570 secs
lola: sara is running 575 secs || 53533377 markings, 186454245 edges, 92525 markings/sec, 575 secs
lola: sara is running 580 secs || 53994620 markings, 188061874 edges, 92249 markings/sec, 580 secs
lola: sara is running 585 secs || 54457694 markings, 189673473 edges, 92615 markings/sec, 585 secs
lola: sara is running 590 secs || 54924196 markings, 191297741 edges, 93300 markings/sec, 590 secs
lola: sara is running 595 secs || 55383589 markings, 192899642 edges, 91879 markings/sec, 595 secs
lola: sara is running 600 secs || 55823900 markings, 194434280 edges, 88062 markings/sec, 600 secs
lola: sara is running 605 secs || 56266459 markings, 195975103 edges, 88512 markings/sec, 605 secs
lola: sara is running 610 secs || 56731769 markings, 197593601 edges, 93062 markings/sec, 610 secs
lola: sara is running 615 secs || 57192283 markings, 199202533 edges, 92103 markings/sec, 615 secs
lola: sara is running 620 secs || 57638102 markings, 200759079 edges, 89164 markings/sec, 620 secs
lola: sara is running 625 secs || 58091998 markings, 202337059 edges, 90779 markings/sec, 625 secs
lola: sara is running 630 secs || 58535104 markings, 203880235 edges, 88621 markings/sec, 630 secs
lola: sara is running 635 secs || 58989997 markings, 205466405 edges, 90979 markings/sec, 635 secs
lola: sara is running 640 secs || 59444396 markings, 207046744 edges, 90880 markings/sec, 640 secs
lola: sara is running 645 secs || 59902107 markings, 208638327 edges, 91542 markings/sec, 645 secs
lola: sara is running 650 secs || 60358110 markings, 210229114 edges, 91201 markings/sec, 650 secs
lola: sara is running 655 secs || 60810582 markings, 211811985 edges, 90494 markings/sec, 655 secs
lola: sara is running 660 secs || 61273700 markings, 213422597 edges, 92624 markings/sec, 660 secs
lola: sara is running 665 secs || 61737020 markings, 215037764 edges, 92664 markings/sec, 665 secs
lola: sara is running 670 secs || 62186260 markings, 216602612 edges, 89848 markings/sec, 670 secs
lola: sara is running 675 secs || 62642774 markings, 218191727 edges, 91303 markings/sec, 675 secs
lola: sara is running 680 secs || 63114265 markings, 219834513 edges, 94298 markings/sec, 680 secs
lola: sara is running 685 secs || 63571825 markings, 221434441 edges, 91512 markings/sec, 685 secs
lola: sara is running 690 secs || 64036769 markings, 223051927 edges, 92989 markings/sec, 690 secs
lola: sara is running 695 secs || 64493442 markings, 224641417 edges, 91335 markings/sec, 695 secs
lola: sara is running 700 secs || 64944528 markings, 226214465 edges, 90217 markings/sec, 700 secs
lola: sara is running 705 secs || 65405388 markings, 227821063 edges, 92172 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no yes no unknown unknown yes no yes no unknown yes no unknown yes
lola: memory consumption: 4982632 KB
lola: time consumption: 714 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((gsk3_equals_1 + 1 <= p90rsk_equals_1))))
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 (((gsk3_equals_1 + 1 <= p90rsk_equals_1))))
lola: processed formula length: 48
lola: 34 rewrites
lola: closed formula file EGFr-PT-10420-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: ((gsk3_equals_1 + 1 <= p90rsk_equals_1))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 12 markings, 11 edges

FORMULA EGFr-PT-10420-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 13 will run for 951 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((grb2_equals_0 <= 0) AND (mtor_rap_equals_0 <= 0) AND ((1 <= mek12_equals_0))))))
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 ((((grb2_equals_0 <= 0) AND (mtor_rap_equals_0 <= 0) AND ((1 <= mek12_equals_0))))))
lola: processed formula length: 89
lola: 34 rewrites
lola: closed formula file EGFr-PT-10420-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: (((grb2_equals_0 <= 0) AND (mtor_rap_equals_0 <= 0) AND ((1 <= mek12_equals_0))))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 1 markings, 0 edges
lola: state equation: write sara problem file to EGFr-PT-10420-ReachabilityCardinality-13-0.sara

FORMULA EGFr-PT-10420-ReachabilityCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1427 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((pi3k_equals_1 <= 0)) OR (p90rsk_equals_1 + 1 <= ap1_equals_0))))
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 ((((pi3k_equals_1 <= 0)) OR (p90rsk_equals_1 + 1 <= ap1_equals_0))))
lola: processed formula length: 74
lola: 35 rewrites
lola: closed formula file EGFr-PT-10420-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: (((1 <= pi3k_equals_1)) AND (ap1_equals_0 <= p90rsk_equals_1))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 12 markings, 11 edges
lola: state equation: write sara problem file to EGFr-PT-10420-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
lola:
FORMULA EGFr-PT-10420-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 15 will run for 2855 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((mtor_ric_equals_1 <= creb_equals_0) AND (erbb34_equals_1 <= grb2_equals_0)))))
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 ((((mtor_ric_equals_1 <= creb_equals_0) AND (erbb34_equals_1 <= grb2_equals_0)))))
lola: processed formula length: 87
lola: 35 rewrites
lola: closed formula file EGFr-PT-10420-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: (((creb_equals_0 + 1 <= mtor_ric_equals_1) OR (grb2_equals_0 + 1 <= erbb34_equals_1)))
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to EGFr-PT-10420-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file EGFr-PT-10420-ReachabilityCardinality-14-0.sara.
sara: try reading problem file EGFr-PT-10420-ReachabilityCardinality-15-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic

lola: sara is running 0 secs || 336246 markings, 448236 edges, 67249 markings/sec, 0 secs
lola: sara is running 5 secs || 689595 markings, 933762 edges, 70670 markings/sec, 5 secs
lola: sara is running 10 secs || 1042365 markings, 1416229 edges, 70554 markings/sec, 10 secs
lola: sara is running 15 secs || 1396595 markings, 1900654 edges, 70846 markings/sec, 15 secs
lola: sara is running 20 secs || 1751219 markings, 2380627 edges, 70925 markings/sec, 20 secs
lola: sara is running 25 secs || 2100897 markings, 2885052 edges, 69936 markings/sec, 25 secs
lola: sara is running 30 secs || 2450057 markings, 3376693 edges, 69832 markings/sec, 30 secs
lola: sara is running 35 secs || 2800032 markings, 3857736 edges, 69995 markings/sec, 35 secs
lola: sara is running 40 secs || 3147701 markings, 4353648 edges, 69534 markings/sec, 40 secs
lola: sara is running 45 secs || 3485792 markings, 4832217 edges, 67618 markings/sec, 45 secs
lola: sara is running 50 secs || 3836590 markings, 5321033 edges, 70160 markings/sec, 50 secs
lola: sara is running 55 secs || 4198670 markings, 5802030 edges, 72416 markings/sec, 55 secs
lola: sara is running 60 secs || 4541983 markings, 6281452 edges, 68663 markings/sec, 60 secs
lola: sara is running 65 secs || 4895380 markings, 6773867 edges, 70679 markings/sec, 65 secs
lola: sara is running 70 secs || 5249165 markings, 7287072 edges, 70757 markings/sec, 70 secs
lola: sara is running 75 secs || 5606746 markings, 7777418 edges, 71516 markings/sec, 75 secs
lola: sara is running 80 secs || 5958546 markings, 8275679 edges, 70360 markings/sec, 80 secs
lola: sara is running 85 secs || 6306901 markings, 8761048 edges, 69671 markings/sec, 85 secs
lola: sara is running 90 secs || 6654360 markings, 9278086 edges, 69492 markings/sec, 90 secs
lola: sara is running 95 secs || 6994834 markings, 9785068 edges, 68095 markings/sec, 95 secs
lola: sara is running 100 secs || 7337944 markings, 10286280 edges, 68622 markings/sec, 100 secs
lola: sara is running 105 secs || 7688061 markings, 10794034 edges, 70023 markings/sec, 105 secs
lola: sara is running 110 secs || 8038567 markings, 11317235 edges, 70101 markings/sec, 110 secs
lola: sara is running 115 secs || 8397466 markings, 11821545 edges, 71780 markings/sec, 115 secs
lola: sara is running 120 secs || 8760321 markings, 12321440 edges, 72571 markings/sec, 120 secs
lola: sara is running 125 secs || 9112015 markings, 12809376 edges, 70339 markings/sec, 125 secs
lola: sara is running 130 secs || 9470331 markings, 13319760 edges, 71663 markings/sec, 130 secs
lola: sara is running 135 secs || 9729679 markings, 13691339 edges, 51870 markings/sec, 135 secs
lola: sara is running 140 secs || 9899811 markings, 13934918 edges, 34026 markings/sec, 140 secs
lola: sara is running 145 secs || 10073006 markings, 14163511 edges, 34639 markings/sec, 145 secs
lola: sara is running 150 secs || 10244742 markings, 14404004 edges, 34347 markings/sec, 150 secs
lola: sara is running 155 secs || 10414949 markings, 14652087 edges, 34041 markings/sec, 155 secs
lola: sara is running 160 secs || 10583235 markings, 14905761 edges, 33657 markings/sec, 160 secs
lola: sara is running 165 secs || 10791002 markings, 15216307 edges, 41553 markings/sec, 165 secs
lola: sara is running 170 secs || 11050639 markings, 15604713 edges, 51927 markings/sec, 170 secs
lola: sara is running 175 secs || 11221455 markings, 15831691 edges, 34163 markings/sec, 175 secs
lola: sara is running 180 secs || 11391698 markings, 16069024 edges, 34049 markings/sec, 180 secs
lola: sara is running 185 secs || 11561884 markings, 16297352 edges, 34037 markings/sec, 185 secs
lola: sara is running 190 secs || 11731156 markings, 16534570 edges, 33854 markings/sec, 190 secs
lola: sara is running 195 secs || 11899022 markings, 16771448 edges, 33573 markings/sec, 195 secs
lola: sara is running 200 secs || 12067558 markings, 17012225 edges, 33707 markings/sec, 200 secs
lola: sara is running 205 secs || 12235403 markings, 17243341 edges, 33569 markings/sec, 205 secs
lola: sara is running 210 secs || 12400896 markings, 17491891 edges, 33099 markings/sec, 210 secs
lola: sara is running 215 secs || 12565576 markings, 17750073 edges, 32936 markings/sec, 215 secs
lola: sara is running 220 secs || 12729461 markings, 18002477 edges, 32777 markings/sec, 220 secs
lola: sara is running 225 secs || 12895777 markings, 18248279 edges, 33263 markings/sec, 225 secs
lola: sara is running 230 secs || 13062486 markings, 18500161 edges, 33342 markings/sec, 230 secs
lola: sara is running 235 secs || 13228589 markings, 18740526 edges, 33221 markings/sec, 235 secs
lola: sara is running 240 secs || 13522352 markings, 19146459 edges, 58753 markings/sec, 240 secs
lola: sara is running 245 secs || 13872572 markings, 19659320 edges, 70044 markings/sec, 245 secs
lola: sara is running 250 secs || 14209862 markings, 20165155 edges, 67458 markings/sec, 250 secs
lola: sara is running 255 secs || 14560491 markings, 20681059 edges, 70126 markings/sec, 255 secs
lola: sara is running 260 secs || 14908825 markings, 21199480 edges, 69667 markings/sec, 260 secs
lola: sara is running 265 secs || 15258288 markings, 21734061 edges, 69893 markings/sec, 265 secs
lola: sara is running 270 secs || 15604654 markings, 22264751 edges, 69273 markings/sec, 270 secs
lola: sara is running 275 secs || 15953857 markings, 22754171 edges, 69841 markings/sec, 275 secs
lola: sara is running 280 secs || 16297530 markings, 23218272 edges, 68735 markings/sec, 280 secs
lola: sara is running 285 secs || 16628512 markings, 23675176 edges, 66196 markings/sec, 285 secs
lola: sara is running 290 secs || 16965237 markings, 24129916 edges, 67345 markings/sec, 290 secs
lola: sara is running 295 secs || 17300042 markings, 24609050 edges, 66961 markings/sec, 295 secs
lola: sara is running 300 secs || 17623427 markings, 25094508 edges, 64677 markings/sec, 300 secs
lola: sara is running 305 secs || 17950382 markings, 25584146 edges, 65391 markings/sec, 305 secs
lola: sara is running 310 secs || 18304744 markings, 26062953 edges, 70872 markings/sec, 310 secs
lola: sara is running 315 secs || 18657754 markings, 26549158 edges, 70602 markings/sec, 315 secs
lola: sara is running 320 secs || 19012726 markings, 27043057 edges, 70994 markings/sec, 320 secs
lola: sara is running 325 secs || 19362697 markings, 27546157 edges, 69994 markings/sec, 325 secs
lola: sara is running 330 secs || 19710386 markings, 28056289 edges, 69538 markings/sec, 330 secs
lola: sara is running 335 secs || 20064964 markings, 28534339 edges, 70916 markings/sec, 335 secs
lola: sara is running 340 secs || 20418999 markings, 29025395 edges, 70807 markings/sec, 340 secs
lola: sara is running 345 secs || 20769192 markings, 29524985 edges, 70039 markings/sec, 345 secs
lola: sara is running 350 secs || 21117115 markings, 30032420 edges, 69585 markings/sec, 350 secs
lola: sara is running 355 secs || 21463107 markings, 30534625 edges, 69198 markings/sec, 355 secs
lola: sara is running 360 secs || 21814984 markings, 31024309 edges, 70375 markings/sec, 360 secs
lola: sara is running 365 secs || 22159633 markings, 31536394 edges, 68930 markings/sec, 365 secs
lola: sara is running 370 secs || 22509265 markings, 32041183 edges, 69926 markings/sec, 370 secs
lola: sara is running 375 secs || 22863978 markings, 32529925 edges, 70943 markings/sec, 375 secs
lola: sara is running 380 secs || 23207125 markings, 33046602 edges, 68629 markings/sec, 380 secs
lola: sara is running 385 secs || 23552333 markings, 33536380 edges, 69042 markings/sec, 385 secs
lola: sara is running 390 secs || 23902738 markings, 34010695 edges, 70081 markings/sec, 390 secs
lola: sara is running 395 secs || 24247788 markings, 34489329 edges, 69010 markings/sec, 395 secs
lola: sara is running 400 secs || 24587442 markings, 34977121 edges, 67931 markings/sec, 400 secs
lola: sara is running 405 secs || 24933599 markings, 35472277 edges, 69231 markings/sec, 405 secs
lola: sara is running 410 secs || 25279394 markings, 35972392 edges, 69159 markings/sec, 410 secs
lola: sara is running 415 secs || 25624368 markings, 36471401 edges, 68995 markings/sec, 415 secs
lola: sara is running 420 secs || 25978250 markings, 37012432 edges, 70776 markings/sec, 420 secs
lola: sara is running 425 secs || 26326966 markings, 37543698 edges, 69743 markings/sec, 425 secs
lola: sara is running 430 secs || 26682811 markings, 38080520 edges, 71169 markings/sec, 430 secs
lola: sara is running 435 secs || 27036357 markings, 38617035 edges, 70709 markings/sec, 435 secs
lola: sara is running 440 secs || 27385374 markings, 39154677 edges, 69803 markings/sec, 440 secs
lola: sara is running 445 secs || 27740479 markings, 39664655 edges, 71021 markings/sec, 445 secs
lola: sara is running 450 secs || 28096123 markings, 40208693 edges, 71129 markings/sec, 450 secs
lola: sara is running 455 secs || 28453125 markings, 40756424 edges, 71400 markings/sec, 455 secs
lola: sara is running 460 secs || 28798639 markings, 41297403 edges, 69103 markings/sec, 460 secs
lola: sara is running 465 secs || 29146908 markings, 41787321 edges, 69654 markings/sec, 465 secs
lola: sara is running 470 secs || 29495661 markings, 42291460 edges, 69751 markings/sec, 470 secs
lola: sara is running 475 secs || 29849972 markings, 42824145 edges, 70862 markings/sec, 475 secs
lola: sara is running 480 secs || 30207958 markings, 43319457 edges, 71597 markings/sec, 480 secs
lola: sara is running 485 secs || 30563550 markings, 43831704 edges, 71118 markings/sec, 485 secs
lola: sara is running 490 secs || 30925233 markings, 44351169 edges, 72337 markings/sec, 490 secs
lola: sara is running 495 secs || 31103109 markings, 44611916 edges, 35575 markings/sec, 495 secs
lola: sara is running 500 secs || 31414853 markings, 45076148 edges, 62349 markings/sec, 500 secs
lola: sara is running 505 secs || 31743581 markings, 45542786 edges, 65746 markings/sec, 505 secs
lola: sara is running 510 secs || 32077221 markings, 46040012 edges, 66728 markings/sec, 510 secs
lola: sara is running 515 secs || 32416876 markings, 46490803 edges, 67931 markings/sec, 515 secs
lola: sara is running 520 secs || 32753268 markings, 46968189 edges, 67278 markings/sec, 520 secs
lola: sara is running 525 secs || 33083983 markings, 47483862 edges, 66143 markings/sec, 525 secs
lola: sara is running 530 secs || 33416959 markings, 47977945 edges, 66595 markings/sec, 530 secs
lola: sara is running 535 secs || 33746165 markings, 48489217 edges, 65841 markings/sec, 535 secs
lola: sara is running 540 secs || 34073062 markings, 49000717 edges, 65379 markings/sec, 540 secs
lola: sara is running 545 secs || 34410154 markings, 49497323 edges, 67418 markings/sec, 545 secs
lola: sara is running 550 secs || 34757359 markings, 50008341 edges, 69441 markings/sec, 550 secs
lola: sara is running 555 secs || 35114459 markings, 50558710 edges, 71420 markings/sec, 555 secs
lola: sara is running 560 secs || 35455500 markings, 51066772 edges, 68208 markings/sec, 560 secs
lola: sara is running 565 secs || 35790523 markings, 51584369 edges, 67005 markings/sec, 565 secs
lola: sara is running 570 secs || 36147116 markings, 52069649 edges, 71319 markings/sec, 570 secs
lola: sara is running 575 secs || 36489919 markings, 52561607 edges, 68561 markings/sec, 575 secs
lola: sara is running 580 secs || 36840188 markings, 53094507 edges, 70054 markings/sec, 580 secs
lola: sara is running 585 secs || 37172480 markings, 53574032 edges, 66458 markings/sec, 585 secs
lola: sara is running 590 secs || 37504182 markings, 54094953 edges, 66340 markings/sec, 590 secs
lola: sara is running 595 secs || 37839968 markings, 54599447 edges, 67157 markings/sec, 595 secs
lola: sara is running 600 secs || 38179835 markings, 55096460 edges, 67973 markings/sec, 600 secs
lola: sara is running 605 secs || 38505694 markings, 55586505 edges, 65172 markings/sec, 605 secs
lola: sara is running 610 secs || 38835691 markings, 56064306 edges, 65999 markings/sec, 610 secs
lola: sara is running 615 secs || 39161091 markings, 56560377 edges, 65080 markings/sec, 615 secs
lola: sara is running 620 secs || 39501069 markings, 57046729 edges, 67996 markings/sec, 620 secs
lola: sara is running 625 secs || 39833385 markings, 57534363 edges, 66463 markings/sec, 625 secs
lola: sara is running 630 secs || 40161294 markings, 58016192 edges, 65582 markings/sec, 630 secs
lola: sara is running 635 secs || 40491035 markings, 58526111 edges, 65948 markings/sec, 635 secs
lola: sara is running 640 secs || 40820068 markings, 59020552 edges, 65807 markings/sec, 640 secs
lola: sara is running 645 secs || 41152983 markings, 59505074 edges, 66583 markings/sec, 645 secs
lola: sara is running 650 secs || 41483315 markings, 60007904 edges, 66066 markings/sec, 650 secs
lola: sara is running 655 secs || 41803868 markings, 60480470 edges, 64111 markings/sec, 655 secs
lola: sara is running 660 secs || 42130832 markings, 60971134 edges, 65393 markings/sec, 660 secs
lola: sara is running 665 secs || 42462336 markings, 61474568 edges, 66301 markings/sec, 665 secs
lola: sara is running 670 secs || 42775864 markings, 61961436 edges, 62706 markings/sec, 670 secs
lola: sara is running 675 secs || 43113888 markings, 62460674 edges, 67605 markings/sec, 675 secs
lola: sara is running 680 secs || 43454682 markings, 62954980 edges, 68159 markings/sec, 680 secs
lola: sara is running 685 secs || 43777023 markings, 63443104 edges, 64468 markings/sec, 685 secs
lola: sara is running 690 secs || 44101102 markings, 63929567 edges, 64816 markings/sec, 690 secs
lola: sara is running 695 secs || 44429273 markings, 64440899 edges, 65634 markings/sec, 695 secs
lola: sara is running 700 secs || 44772168 markings, 64962877 edges, 68579 markings/sec, 700 secs
lola: sara is running 705 secs || 45115761 markings, 65499569 edges, 68719 markings/sec, 705 secs
lola: sara is running 710 secs || 45459269 markings, 66016223 edges, 68702 markings/sec, 710 secs
lola: sara is running 715 secs || 45775545 markings, 66500603 edges, 63255 markings/sec, 715 secs
lola: sara is running 720 secs || 46085590 markings, 66985581 edges, 62009 markings/sec, 720 secs
lola: sara is running 725 secs || 46406700 markings, 67472337 edges, 64222 markings/sec, 725 secs
lola: sara is running 730 secs || 46731105 markings, 67947907 edges, 64881 markings/sec, 730 secs
lola: sara is running 735 secs || 47051011 markings, 68394198 edges, 63981 markings/sec, 735 secs
lola: sara is running 740 secs || 47375103 markings, 68824945 edges, 64818 markings/sec, 740 secs
lola: sara is running 745 secs || 47694472 markings, 69323659 edges, 63874 markings/sec, 745 secs
lola: sara is running 750 secs || 48014646 markings, 69818543 edges, 64035 markings/sec, 750 secs
lola: sara is running 755 secs || 48332915 markings, 70306591 edges, 63654 markings/sec, 755 secs
lola: sara is running 760 secs || 48654886 markings, 70791913 edges, 64394 markings/sec, 760 secs
lola: sara is running 765 secs || 48979268 markings, 71248513 edges, 64876 markings/sec, 765 secs
lola: sara is running 770 secs || 49308456 markings, 71701528 edges, 65838 markings/sec, 770 secs
lola: sara is running 775 secs || 49639689 markings, 72160509 edges, 66247 markings/sec, 775 secs
lola: sara is running 780 secs || 49969039 markings, 72651410 edges, 65870 markings/sec, 780 secs
lola: sara is running 785 secs || 50293285 markings, 73089264 edges, 64849 markings/sec, 785 secs
lola: sara is running 790 secs || 50615465 markings, 73549662 edges, 64436 markings/sec, 790 secs
lola: sara is running 795 secs || 50937958 markings, 74016050 edges, 64499 markings/sec, 795 secs
lola: sara is running 800 secs || 51266332 markings, 74494640 edges, 65675 markings/sec, 800 secs
lola: sara is running 805 secs || 51598460 markings, 75001537 edges, 66426 markings/sec, 805 secs
lola: sara is running 810 secs || 51936842 markings, 75498136 edges, 67676 markings/sec, 810 secs
lola: sara is running 815 secs || 52265155 markings, 76000145 edges, 65663 markings/sec, 815 secs
lola: sara is running 820 secs || 52596958 markings, 76493516 edges, 66361 markings/sec, 820 secs
lola: sara is running 825 secs || 52935078 markings, 76946086 edges, 67624 markings/sec, 825 secs
lola: sara is running 830 secs || 53269590 markings, 77410126 edges, 66902 markings/sec, 830 secs
lola: sara is running 835 secs || 53612477 markings, 77876895 edges, 68577 markings/sec, 835 secs
lola: sara is running 840 secs || 53949576 markings, 78346105 edges, 67420 markings/sec, 840 secs
lola: sara is running 845 secs || 54280548 markings, 78815976 edges, 66194 markings/sec, 845 secs
lola: sara is running 850 secs || 54611880 markings, 79277320 edges, 66266 markings/sec, 850 secs
lola: sara is running 855 secs || 54947650 markings, 79761798 edges, 67154 markings/sec, 855 secs
lola: sara is running 860 secs || 55285866 markings, 80255143 edges, 67643 markings/sec, 860 secs
lola: sara is running 865 secs || 55629682 markings, 80723677 edges, 68763 markings/sec, 865 secs
lola: sara is running 870 secs || 55961407 markings, 81192184 edges, 66345 markings/sec, 870 secs
lola: sara is running 875 secs || 56289730 markings, 81680770 edges, 65665 markings/sec, 875 secs
lola: sara is running 880 secs || 56621860 markings, 82146171 edges, 66426 markings/sec, 880 secs
lola: sara is running 885 secs || 56950732 markings, 82635541 edges, 65774 markings/sec, 885 secs
lola: sara is running 890 secs || 57279557 markings, 83115251 edges, 65765 markings/sec, 890 secs
lola: sara is running 895 secs || 57605916 markings, 83594046 edges, 65272 markings/sec, 895 secs
lola: sara is running 900 secs || 57935156 markings, 84073221 edges, 65848 markings/sec, 900 secs
lola: sara is running 905 secs || 58272361 markings, 84580631 edges, 67441 markings/sec, 905 secs
lola: sara is running 910 secs || 58615039 markings, 85091194 edges, 68536 markings/sec, 910 secs
lola: sara is running 915 secs || 58936471 markings, 85570903 edges, 64286 markings/sec, 915 secs
lola: sara is running 920 secs || 59251905 markings, 86055114 edges, 63087 markings/sec, 920 secs
lola: sara is running 925 secs || 59577792 markings, 86533300 edges, 65177 markings/sec, 925 secs
lola: sara is running 930 secs || 59905088 markings, 86969720 edges, 65459 markings/sec, 930 secs
lola: sara is running 935 secs || 60213728 markings, 87430523 edges, 61728 markings/sec, 935 secs
lola: sara is running 940 secs || 60530152 markings, 87913057 edges, 63285 markings/sec, 940 secs
lola: sara is running 945 secs || 60850659 markings, 88405684 edges, 64101 markings/sec, 945 secs
lola: sara is running 950 secs || 61169838 markings, 88901444 edges, 63836 markings/sec, 950 secs
lola: sara is running 955 secs || 61494412 markings, 89388185 edges, 64915 markings/sec, 955 secs
lola: sara is running 960 secs || 61812162 markings, 89853155 edges, 63550 markings/sec, 960 secs
lola: sara is running 965 secs || 62128329 markings, 90335175 edges, 63233 markings/sec, 965 secs
lola: sara is running 970 secs || 62446028 markings, 90816900 edges, 63540 markings/sec, 970 secs
lola: sara is running 975 secs || 62763197 markings, 91297016 edges, 63434 markings/sec, 975 secs
lola: sara is running 980 secs || 63087634 markings, 91768313 edges, 64887 markings/sec, 980 secs
lola: sara is running 985 secs || 63407397 markings, 92244497 edges, 63953 markings/sec, 985 secs
lola: sara is running 990 secs || 63741893 markings, 92712312 edges, 66899 markings/sec, 990 secs
lola: sara is running 995 secs || 64083462 markings, 93181454 edges, 68314 markings/sec, 995 secs
lola: sara is running 1000 secs || 64423752 markings, 93660556 edges, 68058 markings/sec, 1000 secs
lola: sara is running 1005 secs || 64762800 markings, 94157432 edges, 67810 markings/sec, 1005 secs
lola: sara is running 1010 secs || 65101681 markings, 94639402 edges, 67776 markings/sec, 1010 secs
lola: sara is running 1015 secs || 65440136 markings, 95144981 edges, 67691 markings/sec, 1015 secs
lola: sara is running 1020 secs || 65781002 markings, 95635204 edges, 68173 markings/sec, 1020 secs
lola: sara is running 1025 secs || 66134944 markings, 96122990 edges, 70788 markings/sec, 1025 secs
lola: sara is running 1030 secs || 66478863 markings, 96627422 edges, 68784 markings/sec, 1030 secs
lola: sara is running 1035 secs || 66790105 markings, 97119521 edges, 62248 markings/sec, 1035 secs
lola: sara is running 1040 secs || 67113324 markings, 97606931 edges, 64644 markings/sec, 1040 secs
lola: sara is running 1045 secs || 67431062 markings, 98101575 edges, 63548 markings/sec, 1045 secs
lola: sara is running 1050 secs || 67756128 markings, 98603340 edges, 65013 markings/sec, 1050 secs
lola: sara is running 1055 secs || 68074825 markings, 99091472 edges, 63739 markings/sec, 1055 secs
lola: sara is running 1060 secs || 68386268 markings, 99574659 edges, 62289 markings/sec, 1060 secs
lola: sara is running 1065 secs || 68703091 markings, 100068876 edges, 63365 markings/sec, 1065 secs
lola: sara is running 1070 secs || 69019064 markings, 100558667 edges, 63195 markings/sec, 1070 secs
lola: sara is running 1075 secs || 69337676 markings, 101044797 edges, 63722 markings/sec, 1075 secs
lola: sara is running 1080 secs || 69655911 markings, 101527685 edges, 63647 markings/sec, 1080 secs
lola: sara is running 1085 secs || 69975442 markings, 102013466 edges, 63906 markings/sec, 1085 secs
lola: sara is running 1090 secs || 70289404 markings, 102513757 edges, 62792 markings/sec, 1090 secs
lola: sara is running 1095 secs || 70607570 markings, 102997914 edges, 63633 markings/sec, 1095 secs
lola: sara is running 1100 secs || 70924618 markings, 103486512 edges, 63410 markings/sec, 1100 secs
lola: sara is running 1105 secs || 71249206 markings, 103978329 edges, 64918 markings/sec, 1105 secs
lola: sara is running 1110 secs || 71580107 markings, 104482948 edges, 66180 markings/sec, 1110 secs
lola: sara is running 1115 secs || 71904573 markings, 104993285 edges, 64893 markings/sec, 1115 secs
lola: sara is running 1120 secs || 72236039 markings, 105501194 edges, 66293 markings/sec, 1120 secs
lola: sara is running 1125 secs || 72567024 markings, 106017555 edges, 66197 markings/sec, 1125 secs
lola: sara is running 1130 secs || 72894351 markings, 106520830 edges, 65465 markings/sec, 1130 secs
lola: sara is running 1135 secs || 73223290 markings, 107022718 edges, 65788 markings/sec, 1135 secs
lola: sara is running 1140 secs || 73558369 markings, 107536912 edges, 67016 markings/sec, 1140 secs
lola: sara is running 1145 secs || 73917025 markings, 108027067 edges, 71731 markings/sec, 1145 secs
lola: sara is running 1150 secs || 74269300 markings, 108531245 edges, 70455 markings/sec, 1150 secs
lola: sara is running 1155 secs || 74599585 markings, 109023971 edges, 66057 markings/sec, 1155 secs
lola: sara is running 1160 secs || 74941003 markings, 109536827 edges, 68284 markings/sec, 1160 secs
lola: sara is running 1165 secs || 75278252 markings, 110031660 edges, 67450 markings/sec, 1165 secs
lola: sara is running 1170 secs || 75583574 markings, 110505452 edges, 61064 markings/sec, 1170 secs
lola: sara is running 1175 secs || 75911836 markings, 110969517 edges, 65652 markings/sec, 1175 secs
lola: sara is running 1180 secs || 76226885 markings, 111452644 edges, 63010 markings/sec, 1180 secs
lola: sara is running 1185 secs || 76545543 markings, 111946995 edges, 63732 markings/sec, 1185 secs
lola: sara is running 1190 secs || 76866050 markings, 112424605 edges, 64101 markings/sec, 1190 secs
lola: sara is running 1195 secs || 77189694 markings, 112908764 edges, 64729 markings/sec, 1195 secs
lola: sara is running 1200 secs || 77506518 markings, 113403763 edges, 63365 markings/sec, 1200 secs
lola: sara is running 1205 secs || 77828026 markings, 113888599 edges, 64302 markings/sec, 1205 secs
lola: sara is running 1210 secs || 78147890 markings, 114363861 edges, 63973 markings/sec, 1210 secs
lola: sara is running 1215 secs || 78476738 markings, 114841509 edges, 65770 markings/sec, 1215 secs
lola: sara is running 1220 secs || 78813293 markings, 115355480 edges, 67311 markings/sec, 1220 secs
lola: sara is running 1225 secs || 79150053 markings, 115868187 edges, 67352 markings/sec, 1225 secs
lola: sara is running 1230 secs || 79478620 markings, 116388031 edges, 65713 markings/sec, 1230 secs
lola: sara is running 1235 secs || 79805449 markings, 116901854 edges, 65366 markings/sec, 1235 secs
lola: sara is running 1240 secs || 80140182 markings, 117425903 edges, 66947 markings/sec, 1240 secs
lola: sara is running 1245 secs || 80467447 markings, 117927604 edges, 65453 markings/sec, 1245 secs
lola: sara is running 1250 secs || 80796618 markings, 118416121 edges, 65834 markings/sec, 1250 secs
lola: sara is running 1255 secs || 81131441 markings, 118889685 edges, 66965 markings/sec, 1255 secs
lola: sara is running 1260 secs || 81459757 markings, 119390656 edges, 65663 markings/sec, 1260 secs
lola: sara is running 1265 secs || 81783613 markings, 119884615 edges, 64771 markings/sec, 1265 secs
lola: sara is running 1270 secs || 82103251 markings, 120368491 edges, 63928 markings/sec, 1270 secs
lola: sara is running 1275 secs || 82422482 markings, 120856860 edges, 63846 markings/sec, 1275 secs
lola: sara is running 1280 secs || 82749844 markings, 121350333 edges, 65472 markings/sec, 1280 secs
lola: sara is running 1285 secs || 83077822 markings, 121851018 edges, 65596 markings/sec, 1285 secs
lola: sara is running 1290 secs || 83397313 markings, 122338593 edges, 63898 markings/sec, 1290 secs
lola: sara is running 1295 secs || 83722452 markings, 122828856 edges, 65028 markings/sec, 1295 secs
lola: sara is running 1300 secs || 84052992 markings, 123334774 edges, 66108 markings/sec, 1300 secs
lola: sara is running 1305 secs || 84381134 markings, 123843744 edges, 65628 markings/sec, 1305 secs
lola: sara is running 1310 secs || 84712504 markings, 124349574 edges, 66274 markings/sec, 1310 secs
lola: sara is running 1315 secs || 85044631 markings, 124845537 edges, 66425 markings/sec, 1315 secs
lola: sara is running 1320 secs || 85367830 markings, 125343053 edges, 64640 markings/sec, 1320 secs
lola: sara is running 1325 secs || 85698895 markings, 125850082 edges, 66213 markings/sec, 1325 secs
lola: sara is running 1330 secs || 86026325 markings, 126371559 edges, 65486 markings/sec, 1330 secs
lola: sara is running 1335 secs || 86353608 markings, 126863598 edges, 65457 markings/sec, 1335 secs
lola: sara is running 1340 secs || 86670842 markings, 127357600 edges, 63447 markings/sec, 1340 secs
lola: sara is running 1345 secs || 86995809 markings, 127873562 edges, 64993 markings/sec, 1345 secs
lola: sara is running 1350 secs || 87307872 markings, 128363777 edges, 62413 markings/sec, 1350 secs
lola: sara is running 1355 secs || 87625665 markings, 128868482 edges, 63559 markings/sec, 1355 secs
lola: sara is running 1360 secs || 87953366 markings, 129356008 edges, 65540 markings/sec, 1360 secs
lola: sara is running 1365 secs || 88288097 markings, 129874891 edges, 66946 markings/sec, 1365 secs
lola: sara is running 1370 secs || 88617149 markings, 130376716 edges, 65810 markings/sec, 1370 secs
lola: sara is running 1375 secs || 88938555 markings, 130876426 edges, 64281 markings/sec, 1375 secs
lola: sara is running 1380 secs || 89255682 markings, 131376655 edges, 63425 markings/sec, 1380 secs
lola: sara is running 1385 secs || 89571918 markings, 131872685 edges, 63247 markings/sec, 1385 secs
lola: sara is running 1390 secs || 89890091 markings, 132370744 edges, 63635 markings/sec, 1390 secs
lola: sara is running 1395 secs || 90216644 markings, 132872652 edges, 65311 markings/sec, 1395 secs
lola: sara is running 1400 secs || 90530300 markings, 133356841 edges, 62731 markings/sec, 1400 secs
lola: sara is running 1405 secs || 90848571 markings, 133851073 edges, 63654 markings/sec, 1405 secs
lola: sara is running 1410 secs || 91168300 markings, 134345720 edges, 63946 markings/sec, 1410 secs
lola: sara is running 1415 secs || 91489529 markings, 134829125 edges, 64246 markings/sec, 1415 secs
lola: sara is running 1420 secs || 91805203 markings, 135323415 edges, 63135 markings/sec, 1420 secs
lola: sara is running 1425 secs || 92123732 markings, 135824051 edges, 63706 markings/sec, 1425 secs
lola: sara is running 1430 secs || 92442530 markings, 136315466 edges, 63760 markings/sec, 1430 secs
lola: sara is running 1435 secs || 92761371 markings, 136812481 edges, 63768 markings/sec, 1435 secs
lola: sara is running 1440 secs || 93082464 markings, 137311281 edges, 64219 markings/sec, 1440 secs
lola: sara is running 1445 secs || 93405967 markings, 137802991 edges, 64701 markings/sec, 1445 secs
lola: sara is running 1450 secs || 93713528 markings, 138294409 edges, 61512 markings/sec, 1450 secs
lola: sara is running 1455 secs || 94028469 markings, 138793643 edges, 62988 markings/sec, 1455 secs
lola: sara is running 1460 secs || 94365931 markings, 139310151 edges, 67492 markings/sec, 1460 secs
lola: sara is running 1465 secs || 94680389 markings, 139810930 edges, 62892 markings/sec, 1465 secs
lola: sara is running 1470 secs || 94999273 markings, 140294919 edges, 63777 markings/sec, 1470 secs
lola: sara is running 1475 secs || 95313282 markings, 140786554 edges, 62802 markings/sec, 1475 secs
lola: sara is running 1480 secs || 95631276 markings, 141283684 edges, 63599 markings/sec, 1480 secs
lola: sara is running 1485 secs || 95946950 markings, 141783351 edges, 63135 markings/sec, 1485 secs
lola: sara is running 1490 secs || 96262426 markings, 142281790 edges, 63095 markings/sec, 1490 secs
lola: sara is running 1495 secs || 96583618 markings, 142743314 edges, 64238 markings/sec, 1495 secs
lola: sara is running 1500 secs || 96907969 markings, 143224601 edges, 64870 markings/sec, 1500 secs
lola: sara is running 1505 secs || 97233116 markings, 143714721 edges, 65029 markings/sec, 1505 secs
lola: sara is running 1510 secs || 97556816 markings, 144211781 edges, 64740 markings/sec, 1510 secs
lola: sara is running 1515 secs || 97879254 markings, 144676395 edges, 64488 markings/sec, 1515 secs
lola: sara is running 1520 secs || 98205011 markings, 145140466 edges, 65151 markings/sec, 1520 secs
lola: sara is running 1525 secs || 98529204 markings, 145629348 edges, 64839 markings/sec, 1525 secs
lola: sara is running 1530 secs || 98853371 markings, 146125833 edges, 64833 markings/sec, 1530 secs
lola: sara is running 1535 secs || 99180823 markings, 146613074 edges, 65490 markings/sec, 1535 secs
lola: sara is running 1540 secs || 99506458 markings, 147069797 edges, 65127 markings/sec, 1540 secs
lola: sara is running 1545 secs || 99836504 markings, 147526582 edges, 66009 markings/sec, 1545 secs
lola: sara is running 1550 secs || 100163477 markings, 147999262 edges, 65395 markings/sec, 1550 secs
lola: sara is running 1555 secs || 100490408 markings, 148481085 edges, 65386 markings/sec, 1555 secs
lola: sara is running 1560 secs || 100811365 markings, 148980897 edges, 64191 markings/sec, 1560 secs
lola: sara is running 1565 secs || 101137034 markings, 149462649 edges, 65134 markings/sec, 1565 secs
lola: sara is running 1570 secs || 101462342 markings, 149954278 edges, 65062 markings/sec, 1570 secs
lola: sara is running 1575 secs || 101791736 markings, 150421870 edges, 65879 markings/sec, 1575 secs
lola: sara is running 1580 secs || 102137140 markings, 150898982 edges, 69081 markings/sec, 1580 secs
lola: sara is running 1585 secs || 102473064 markings, 151349598 edges, 67185 markings/sec, 1585 secs
lola: sara is running 1590 secs || 102800661 markings, 151824940 edges, 65519 markings/sec, 1590 secs
lola: sara is running 1595 secs || 103135028 markings, 152299709 edges, 66873 markings/sec, 1595 secs
lola: sara is running 1600 secs || 103467460 markings, 152774934 edges, 66486 markings/sec, 1600 secs
lola: sara is running 1605 secs || 103801016 markings, 153213258 edges, 66711 markings/sec, 1605 secs
lola: sara is running 1610 secs || 104133501 markings, 153689380 edges, 66497 markings/sec, 1610 secs
lola: sara is running 1615 secs || 104467016 markings, 154185935 edges, 66703 markings/sec, 1615 secs
lola: sara is running 1620 secs || 104794862 markings, 154667208 edges, 65569 markings/sec, 1620 secs
lola: sara is running 1625 secs || 105134803 markings, 155138843 edges, 67988 markings/sec, 1625 secs
lola: sara is running 1630 secs || 105474045 markings, 155637212 edges, 67848 markings/sec, 1630 secs
lola: sara is running 1635 secs || 105821256 markings, 156131582 edges, 69442 markings/sec, 1635 secs
lola: sara is running 1640 secs || 106155006 markings, 156592488 edges, 66750 markings/sec, 1640 secs
lola: sara is running 1645 secs || 106503844 markings, 157108583 edges, 69768 markings/sec, 1645 secs
lola: sara is running 1650 secs || 106841825 markings, 157612039 edges, 67596 markings/sec, 1650 secs
lola: sara is running 1655 secs || 107176148 markings, 158060875 edges, 66865 markings/sec, 1655 secs
lola: sara is running 1660 secs || 107501035 markings, 158541725 edges, 64977 markings/sec, 1660 secs
lola: sara is running 1665 secs || 107831260 markings, 159035976 edges, 66045 markings/sec, 1665 secs
lola: sara is running 1670 secs || 108168879 markings, 159506275 edges, 67524 markings/sec, 1670 secs
lola: sara is running 1675 secs || 108506748 markings, 159968423 edges, 67574 markings/sec, 1675 secs
lola: sara is running 1680 secs || 108842698 markings, 160434146 edges, 67190 markings/sec, 1680 secs
lola: sara is running 1685 secs || 109181702 markings, 160894467 edges, 67801 markings/sec, 1685 secs
lola: sara is running 1690 secs || 109522736 markings, 161360585 edges, 68207 markings/sec, 1690 secs
lola: sara is running 1695 secs || 109864029 markings, 161828892 edges, 68259 markings/sec, 1695 secs
lola: sara is running 1700 secs || 110202605 markings, 162307171 edges, 67715 markings/sec, 1700 secs
lola: sara is running 1705 secs || 110528598 markings, 162771958 edges, 65199 markings/sec, 1705 secs
lola: sara is running 1710 secs || 110863483 markings, 163267683 edges, 66977 markings/sec, 1710 secs
lola: sara is running 1715 secs || 111203911 markings, 163736956 edges, 68086 markings/sec, 1715 secs
lola: sara is running 1720 secs || 111542093 markings, 164212622 edges, 67636 markings/sec, 1720 secs
lola: sara is running 1725 secs || 111885841 markings, 164685993 edges, 68750 markings/sec, 1725 secs
lola: sara is running 1730 secs || 112217168 markings, 165181522 edges, 66265 markings/sec, 1730 secs
lola: sara is running 1735 secs || 112550290 markings, 165683765 edges, 66624 markings/sec, 1735 secs
lola: sara is running 1740 secs || 112888398 markings, 166163720 edges, 67622 markings/sec, 1740 secs
lola: sara is running 1745 secs || 113224131 markings, 166660631 edges, 67147 markings/sec, 1745 secs
lola: sara is running 1750 secs || 113556185 markings, 167124346 edges, 66411 markings/sec, 1750 secs
lola: sara is running 1755 secs || 113901733 markings, 167605426 edges, 69110 markings/sec, 1755 secs
lola: sara is running 1760 secs || 114241737 markings, 168101335 edges, 68001 markings/sec, 1760 secs
lola: sara is running 1765 secs || 114577843 markings, 168559941 edges, 67221 markings/sec, 1765 secs
lola: sara is running 1770 secs || 114902701 markings, 169040928 edges, 64972 markings/sec, 1770 secs
lola: sara is running 1775 secs || 115234584 markings, 169516435 edges, 66377 markings/sec, 1775 secs
lola: sara is running 1780 secs || 115565381 markings, 169959244 edges, 66159 markings/sec, 1780 secs
lola: sara is running 1785 secs || 115891468 markings, 170436264 edges, 65217 markings/sec, 1785 secs
lola: sara is running 1790 secs || 116220305 markings, 170925702 edges, 65767 markings/sec, 1790 secs
lola: sara is running 1795 secs || 116547591 markings, 171396365 edges, 65457 markings/sec, 1795 secs
lola: sara is running 1800 secs || 116875436 markings, 171878184 edges, 65569 markings/sec, 1800 secs
lola: sara is running 1805 secs || 117200980 markings, 172370904 edges, 65109 markings/sec, 1805 secs
lola: sara is running 1810 secs || 117526569 markings, 172843315 edges, 65118 markings/sec, 1810 secs
lola: sara is running 1815 secs || 117850807 markings, 173326287 edges, 64848 markings/sec, 1815 secs
lola: sara is running 1820 secs || 118180529 markings, 173805409 edges, 65944 markings/sec, 1820 secs
lola: sara is running 1825 secs || 118512992 markings, 174286474 edges, 66493 markings/sec, 1825 secs
lola: sara is running 1830 secs || 118844824 markings, 174761425 edges, 66366 markings/sec, 1830 secs
lola: sara is running 1835 secs || 119175594 markings, 175242172 edges, 66154 markings/sec, 1835 secs
lola: sara is running 1840 secs || 119506172 markings, 175744246 edges, 66116 markings/sec, 1840 secs
lola: sara is running 1845 secs || 119848252 markings, 176253831 edges, 68416 markings/sec, 1845 secs
lola: sara is running 1850 secs || 120186889 markings, 176772295 edges, 67727 markings/sec, 1850 secs
lola: sara is running 1855 secs || 120530054 markings, 177287887 edges, 68633 markings/sec, 1855 secs
lola: sara is running 1860 secs || 120870461 markings, 177808468 edges, 68081 markings/sec, 1860 secs
lola: sara is running 1865 secs || 121201462 markings, 178304936 edges, 66200 markings/sec, 1865 secs
lola: sara is running 1870 secs || 121523665 markings, 178796373 edges, 64441 markings/sec, 1870 secs
lola: sara is running 1875 secs || 121844253 markings, 179255189 edges, 64118 markings/sec, 1875 secs
lola: sara is running 1880 secs || 122167663 markings, 179742211 edges, 64682 markings/sec, 1880 secs
lola: sara is running 1885 secs || 122490722 markings, 180211702 edges, 64612 markings/sec, 1885 secs
lola: sara is running 1890 secs || 122814959 markings, 180696916 edges, 64847 markings/sec, 1890 secs
lola: sara is running 1895 secs || 123142687 markings, 181172036 edges, 65546 markings/sec, 1895 secs
lola: sara is running 1900 secs || 123467265 markings, 181669800 edges, 64916 markings/sec, 1900 secs
lola: sara is running 1905 secs || 123791716 markings, 182160678 edges, 64890 markings/sec, 1905 secs
lola: sara is running 1910 secs || 124110551 markings, 182655580 edges, 63767 markings/sec, 1910 secs
lola: sara is running 1915 secs || 124433938 markings, 183136632 edges, 64677 markings/sec, 1915 secs
lola: sara is running 1920 secs || 124759418 markings, 183609729 edges, 65096 markings/sec, 1920 secs
lola: sara is running 1925 secs || 125078891 markings, 184113983 edges, 63895 markings/sec, 1925 secs
lola: sara is running 1930 secs || 125407400 markings, 184576840 edges, 65702 markings/sec, 1930 secs
lola: sara is running 1935 secs || 125735809 markings, 185051043 edges, 65682 markings/sec, 1935 secs
lola: sara is running 1940 secs || 126062917 markings, 185503197 edges, 65422 markings/sec, 1940 secs
lola: sara is running 1945 secs || 126385886 markings, 185959175 edges, 64594 markings/sec, 1945 secs
lola: sara is running 1950 secs || 126714920 markings, 186414156 edges, 65807 markings/sec, 1950 secs
lola: sara is running 1955 secs || 127056635 markings, 186889372 edges, 68343 markings/sec, 1955 secs
lola: sara is running 1960 secs || 127379468 markings, 187376992 edges, 64567 markings/sec, 1960 secs
lola: sara is running 1965 secs || 127702502 markings, 187844607 edges, 64607 markings/sec, 1965 secs
lola: sara is running 1970 secs || 128023790 markings, 188344356 edges, 64258 markings/sec, 1970 secs
lola: sara is running 1975 secs || 128347767 markings, 188840194 edges, 64795 markings/sec, 1975 secs
lola: sara is running 1980 secs || 128680377 markings, 189306290 edges, 66522 markings/sec, 1980 secs
lola: sara is running 1985 secs || 129017085 markings, 189774519 edges, 67342 markings/sec, 1985 secs
lola: sara is running 1990 secs || 129353360 markings, 190243460 edges, 67255 markings/sec, 1990 secs
lola: sara is running 1995 secs || 129691521 markings, 190709505 edges, 67632 markings/sec, 1995 secs
lola: sara is running 2000 secs || 130031178 markings, 191184295 edges, 67931 markings/sec, 2000 secs
lola: sara is running 2005 secs || 130369425 markings, 191671516 edges, 67649 markings/sec, 2005 secs
lola: sara is running 2010 secs || 130708895 markings, 192130439 edges, 67894 markings/sec, 2010 secs
lola: sara is running 2015 secs || 131048704 markings, 192592522 edges, 67962 markings/sec, 2015 secs
lola: sara is running 2020 secs || 131384994 markings, 193081004 edges, 67258 markings/sec, 2020 secs
lola: sara is running 2025 secs || 131721299 markings, 193570780 edges, 67261 markings/sec, 2025 secs
lola: sara is running 2030 secs || 132059173 markings, 194053451 edges, 67575 markings/sec, 2030 secs
lola: sara is running 2035 secs || 132395024 markings, 194543303 edges, 67170 markings/sec, 2035 secs
lola: sara is running 2040 secs || 132734495 markings, 195028330 edges, 67894 markings/sec, 2040 secs
lola: sara is running 2045 secs || 133076848 markings, 195524044 edges, 68471 markings/sec, 2045 secs
lola: sara is running 2050 secs || 133424660 markings, 196053679 edges, 69562 markings/sec, 2050 secs
lola: sara is running 2055 secs || 133771949 markings, 196570767 edges, 69458 markings/sec, 2055 secs
lola: sara is running 2060 secs || 134118562 markings, 197086828 edges, 69323 markings/sec, 2060 secs
lola: sara is running 2065 secs || 134473182 markings, 197580339 edges, 70924 markings/sec, 2065 secs
lola: sara is running 2070 secs || 134822904 markings, 198095336 edges, 69944 markings/sec, 2070 secs
lola: sara is running 2075 secs || 135139311 markings, 198567380 edges, 63281 markings/sec, 2075 secs
lola: sara is running 2080 secs || 135457381 markings, 199048715 edges, 63614 markings/sec, 2080 secs
lola: sara is running 2085 secs || 135782187 markings, 199512807 edges, 64961 markings/sec, 2085 secs
lola: sara is running 2090 secs || 136100419 markings, 200000141 edges, 63646 markings/sec, 2090 secs
lola: sara is running 2095 secs || 136422069 markings, 200473224 edges, 64330 markings/sec, 2095 secs
lola: sara is running 2100 secs || 136744178 markings, 200948762 edges, 64422 markings/sec, 2100 secs
lola: sara is running 2105 secs || 137065844 markings, 201431544 edges, 64333 markings/sec, 2105 secs
lola: sara is running 2110 secs || 137388617 markings, 201935832 edges, 64555 markings/sec, 2110 secs
lola: sara is running 2115 secs || 137710701 markings, 202429822 edges, 64417 markings/sec, 2115 secs
lola: sara is running 2120 secs || 138033776 markings, 202904779 edges, 64615 markings/sec, 2120 secs
lola: sara is running 2125 secs || 138352852 markings, 203356316 edges, 63815 markings/sec, 2125 secs
lola: sara is running 2130 secs || 138676052 markings, 203850687 edges, 64640 markings/sec, 2130 secs
lola: sara is running 2135 secs || 139005439 markings, 204342195 edges, 65877 markings/sec, 2135 secs
lola: sara is running 2140 secs || 139351012 markings, 204841989 edges, 69115 markings/sec, 2140 secs
lola: sara is running 2145 secs || 139700228 markings, 205315267 edges, 69843 markings/sec, 2145 secs
lola: sara is running 2150 secs || 140042671 markings, 205793354 edges, 68489 markings/sec, 2150 secs
lola: sara is running 2155 secs || 140382275 markings, 206251410 edges, 67921 markings/sec, 2155 secs
lola: sara is running 2160 secs || 140719037 markings, 206727716 edges, 67352 markings/sec, 2160 secs
lola: sara is running 2165 secs || 141068958 markings, 207233821 edges, 69984 markings/sec, 2165 secs
lola: sara is running 2170 secs || 141418241 markings, 207739291 edges, 69857 markings/sec, 2170 secs
lola: sara is running 2175 secs || 141765483 markings, 208254745 edges, 69448 markings/sec, 2175 secs
lola: sara is running 2180 secs || 142118701 markings, 208730855 edges, 70644 markings/sec, 2180 secs
lola: sara is running 2185 secs || 142471806 markings, 209233539 edges, 70621 markings/sec, 2185 secs
lola: sara is running 2190 secs || 142828631 markings, 209728026 edges, 71365 markings/sec, 2190 secs
lola: sara is running 2195 secs || 143175812 markings, 210239848 edges, 69436 markings/sec, 2195 secs
lola: sara is running 2200 secs || 143519889 markings, 210703041 edges, 68815 markings/sec, 2200 secs
lola: sara is running 2205 secs || 143856698 markings, 211193840 edges, 67362 markings/sec, 2205 secs
lola: sara is running 2210 secs || 144189648 markings, 211684883 edges, 66590 markings/sec, 2210 secs
lola: sara is running 2215 secs || 144523213 markings, 212182100 edges, 66713 markings/sec, 2215 secs
lola: sara is running 2220 secs || 144859569 markings, 212682113 edges, 67271 markings/sec, 2220 secs
lola: sara is running 2225 secs || 145197814 markings, 213166571 edges, 67649 markings/sec, 2225 secs
lola: sara is running 2230 secs || 145501801 markings, 213620365 edges, 60797 markings/sec, 2230 secs
lola: sara is running 2235 secs || 145836410 markings, 214125991 edges, 66922 markings/sec, 2235 secs
lola: sara is running 2240 secs || 146168431 markings, 214631179 edges, 66404 markings/sec, 2240 secs
lola: sara is running 2245 secs || 146510388 markings, 215111293 edges, 68391 markings/sec, 2245 secs
lola: sara is running 2250 secs || 146851173 markings, 215600893 edges, 68157 markings/sec, 2250 secs
lola: sara is running 2255 secs || 147182314 markings, 216109640 edges, 66228 markings/sec, 2255 secs
lola: sara is running 2260 secs || 147506077 markings, 216612112 edges, 64753 markings/sec, 2260 secs
lola: sara is running 2265 secs || 147826875 markings, 217112588 edges, 64160 markings/sec, 2265 secs
lola: sara is running 2270 secs || 148148606 markings, 217604867 edges, 64346 markings/sec, 2270 secs
lola: sara is running 2275 secs || 148475398 markings, 218110055 edges, 65358 markings/sec, 2275 secs
lola: sara is running 2280 secs || 148803752 markings, 218604165 edges, 65671 markings/sec, 2280 secs
lola: sara is running 2285 secs || 149145717 markings, 219129368 edges, 68393 markings/sec, 2285 secs
lola: sara is running 2290 secs || 149476038 markings, 219628232 edges, 66064 markings/sec, 2290 secs
lola: sara is running 2295 secs || 149795548 markings, 220132192 edges, 63902 markings/sec, 2295 secs
lola: sara is running 2300 secs || 150109375 markings, 220630252 edges, 62765 markings/sec, 2300 secs
lola: sara is running 2305 secs || 150428058 markings, 221115837 edges, 63737 markings/sec, 2305 secs
lola: sara is running 2310 secs || 150759179 markings, 221638388 edges, 66224 markings/sec, 2310 secs
lola: sara is running 2315 secs || 151097448 markings, 222153043 edges, 67654 markings/sec, 2315 secs
lola: sara is running 2320 secs || 151439655 markings, 222668438 edges, 68441 markings/sec, 2320 secs
lola: sara is running 2325 secs || 151785435 markings, 223201826 edges, 69156 markings/sec, 2325 secs
lola: sara is running 2330 secs || 152123139 markings, 223720754 edges, 67541 markings/sec, 2330 secs
lola: sara is running 2335 secs || 152461524 markings, 224239725 edges, 67677 markings/sec, 2335 secs
lola: sara is running 2340 secs || 152792874 markings, 224736992 edges, 66270 markings/sec, 2340 secs
lola: sara is running 2345 secs || 153135652 markings, 225264234 edges, 68556 markings/sec, 2345 secs
lola: sara is running 2350 secs || 153473107 markings, 225804000 edges, 67491 markings/sec, 2350 secs
lola: sara is running 2355 secs || 153812946 markings, 226323182 edges, 67968 markings/sec, 2355 secs
lola: sara is running 2360 secs || 154155995 markings, 226851437 edges, 68610 markings/sec, 2360 secs
lola: sara is running 2365 secs || 154479329 markings, 227341886 edges, 64667 markings/sec, 2365 secs
lola: sara is running 2370 secs || 154804782 markings, 227835927 edges, 65091 markings/sec, 2370 secs
lola: sara is running 2375 secs || 155144723 markings, 228351571 edges, 67988 markings/sec, 2375 secs
lola: sara is running 2380 secs || 155483107 markings, 228875793 edges, 67677 markings/sec, 2380 secs
lola: sara is running 2385 secs || 155820500 markings, 229373458 edges, 67479 markings/sec, 2385 secs
lola: sara is running 2390 secs || 156144408 markings, 229880811 edges, 64782 markings/sec, 2390 secs
lola: sara is running 2395 secs || 156465285 markings, 230390319 edges, 64175 markings/sec, 2395 secs
lola: sara is running 2400 secs || 156798071 markings, 230897300 edges, 66557 markings/sec, 2400 secs
lola: sara is running 2405 secs || 157130411 markings, 231398117 edges, 66468 markings/sec, 2405 secs
lola: sara is running 2410 secs || 157474592 markings, 231940368 edges, 68836 markings/sec, 2410 secs
lola: sara is running 2415 secs || 157822146 markings, 232468464 edges, 69511 markings/sec, 2415 secs
lola: sara is running 2420 secs || 158164914 markings, 233009713 edges, 68554 markings/sec, 2420 secs
lola: sara is running 2425 secs || 158500203 markings, 233532464 edges, 67058 markings/sec, 2425 secs
lola: sara is running 2430 secs || 158816600 markings, 234031312 edges, 63279 markings/sec, 2430 secs
lola: sara is running 2435 secs || 159130030 markings, 234528116 edges, 62686 markings/sec, 2435 secs
lola: sara is running 2440 secs || 159441385 markings, 235017474 edges, 62271 markings/sec, 2440 secs
lola: sara is running 2445 secs || 159770892 markings, 235521383 edges, 65901 markings/sec, 2445 secs
lola: sara is running 2450 secs || 160100681 markings, 236032198 edges, 65958 markings/sec, 2450 secs
lola: sara is running 2455 secs || 160427709 markings, 236542269 edges, 65406 markings/sec, 2455 secs
lola: sara is running 2460 secs || 160753523 markings, 237048728 edges, 65163 markings/sec, 2460 secs
lola: sara is running 2465 secs || 161076813 markings, 237551652 edges, 64658 markings/sec, 2465 secs
lola: sara is running 2470 secs || 161405159 markings, 238059196 edges, 65669 markings/sec, 2470 secs
lola: sara is running 2475 secs || 161739015 markings, 238559847 edges, 66771 markings/sec, 2475 secs
lola: sara is running 2480 secs || 162057279 markings, 239069275 edges, 63653 markings/sec, 2480 secs
lola: sara is running 2485 secs || 162383482 markings, 239580656 edges, 65241 markings/sec, 2485 secs
lola: sara is running 2490 secs || 162711672 markings, 240100195 edges, 65638 markings/sec, 2490 secs
lola: sara is running 2495 secs || 163031747 markings, 240599587 edges, 64015 markings/sec, 2495 secs
lola: sara is running 2500 secs || 163350018 markings, 241104425 edges, 63654 markings/sec, 2500 secs
lola: sara is running 2505 secs || 163672024 markings, 241608103 edges, 64401 markings/sec, 2505 secs
lola: sara is running 2510 secs || 164005446 markings, 242101386 edges, 66684 markings/sec, 2510 secs
lola: sara is running 2515 secs || 164332242 markings, 242600388 edges, 65359 markings/sec, 2515 secs
lola: sara is running 2520 secs || 164660225 markings, 243102732 edges, 65597 markings/sec, 2520 secs
lola: sara is running 2525 secs || 164976596 markings, 243591883 edges, 63274 markings/sec, 2525 secs
lola: sara is running 2530 secs || 165299519 markings, 244102438 edges, 64585 markings/sec, 2530 secs
lola: sara is running 2535 secs || 165625826 markings, 244606121 edges, 65261 markings/sec, 2535 secs
lola: sara is running 2540 secs || 165955433 markings, 245095090 edges, 65921 markings/sec, 2540 secs
lola: sara is running 2545 secs || 166282281 markings, 245602053 edges, 65370 markings/sec, 2545 secs
lola: sara is running 2550 secs || 166614067 markings, 246106710 edges, 66357 markings/sec, 2550 secs
lola: sara is running 2555 secs || 166937750 markings, 246615230 edges, 64737 markings/sec, 2555 secs
lola: sara is running 2560 secs || 167270235 markings, 247131897 edges, 66497 markings/sec, 2560 secs
lola: sara is running 2565 secs || 167597620 markings, 247612552 edges, 65477 markings/sec, 2565 secs
lola: sara is running 2570 secs || 167924813 markings, 248103798 edges, 65439 markings/sec, 2570 secs
lola: sara is running 2575 secs || 168252930 markings, 248611326 edges, 65623 markings/sec, 2575 secs
lola: sara is running 2580 secs || 168581909 markings, 249126661 edges, 65796 markings/sec, 2580 secs
lola: sara is running 2585 secs || 168667272 markings, 249261874 edges, 17073 markings/sec, 2585 secs
lola: sara is running 2590 secs || 168672266 markings, 249269416 edges, 999 markings/sec, 2590 secs
lola: sara is running 2595 secs || 168675202 markings, 249274116 edges, 587 markings/sec, 2595 secs
lola: sara is running 2600 secs || 168682020 markings, 249285416 edges, 1364 markings/sec, 2600 secs
lola: sara is running 2605 secs || 168689328 markings, 249296495 edges, 1462 markings/sec, 2605 secs
lola: sara is running 2610 secs || 168725025 markings, 249356002 edges, 7139 markings/sec, 2610 secs
lola: sara is running 2615 secs || 168733753 markings, 249370451 edges, 1746 markings/sec, 2615 secs
lola: sara is running 2620 secs || 168738220 markings, 249378154 edges, 893 markings/sec, 2620 secs
lola: sara is running 2625 secs || 168747997 markings, 249394179 edges, 1955 markings/sec, 2625 secs
lola: sara is running 2630 secs || 168763263 markings, 249417221 edges, 3053 markings/sec, 2630 secs
lola: sara is running 2635 secs || 168768154 markings, 249425635 edges, 978 markings/sec, 2635 secs
lola: sara is running 2640 secs || 168770553 markings, 249429567 edges, 480 markings/sec, 2640 secs
lola: sara is running 2645 secs || 168772674 markings, 249433424 edges, 424 markings/sec, 2645 secs
lola: sara is running 2650 secs || 168784061 markings, 249452114 edges, 2277 markings/sec, 2650 secs
lola: sara is running 2655 secs || 168806411 markings, 249486561 edges, 4470 markings/sec, 2655 secs
lola: sara is running 2660 secs || 168826561 markings, 249514753 edges, 4030 markings/sec, 2660 secs
lola: sara is running 2665 secs || 168837246 markings, 249531505 edges, 2137 markings/sec, 2665 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G ((((raf1_equals_1 <= 0)))))
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 ((((raf1_equals_1 <= 0)))))
lola: processed formula length: 32
lola: 35 rewrites
lola: closed formula file EGFr-PT-10420-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: (((1 <= raf1_equals_1)))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to EGFr-PT-10420-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file EGFr-PT-10420-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 468244 markings, 1626237 edges, 93649 markings/sec, 0 secs
lola: sara is running 5 secs || 945553 markings, 3286049 edges, 95462 markings/sec, 5 secs
lola: sara is running 10 secs || 1437177 markings, 5001386 edges, 98325 markings/sec, 10 secs
lola: sara is running 15 secs || 1926882 markings, 6704250 edges, 97941 markings/sec, 15 secs
lola: sara is running 20 secs || 2404768 markings, 8367693 edges, 95577 markings/sec, 20 secs
lola: sara is running 25 secs || 2884886 markings, 10039492 edges, 96024 markings/sec, 25 secs
lola: sara is running 30 secs || 3336740 markings, 11618157 edges, 90371 markings/sec, 30 secs
lola: sara is running 35 secs || 3775143 markings, 13142594 edges, 87681 markings/sec, 35 secs
lola: sara is running 40 secs || 4210855 markings, 14658904 edges, 87142 markings/sec, 40 secs
lola: sara is running 45 secs || 4651526 markings, 16197938 edges, 88134 markings/sec, 45 secs
lola: sara is running 50 secs || 5095062 markings, 17747551 edges, 88707 markings/sec, 50 secs
lola: sara is running 55 secs || 5537103 markings, 19285144 edges, 88408 markings/sec, 55 secs
lola: sara is running 60 secs || 5998870 markings, 20894048 edges, 92353 markings/sec, 60 secs
lola: sara is running 65 secs || 6460239 markings, 22498009 edges, 92274 markings/sec, 65 secs
lola: sara is running 70 secs || 6911107 markings, 24067225 edges, 90174 markings/sec, 70 secs
lola: sara is running 75 secs || 7377312 markings, 25689008 edges, 93241 markings/sec, 75 secs
lola: sara is running 80 secs || 7837128 markings, 27294250 edges, 91963 markings/sec, 80 secs
lola: sara is running 85 secs || 8324744 markings, 28993445 edges, 97523 markings/sec, 85 secs
lola: sara is running 90 secs || 8789611 markings, 30611049 edges, 92973 markings/sec, 90 secs
lola: sara is running 95 secs || 9233951 markings, 32159491 edges, 88868 markings/sec, 95 secs
lola: sara is running 100 secs || 9687673 markings, 33738145 edges, 90744 markings/sec, 100 secs
lola: sara is running 105 secs || 10133140 markings, 35289962 edges, 89093 markings/sec, 105 secs
lola: sara is running 110 secs || 10582601 markings, 36855218 edges, 89892 markings/sec, 110 secs
lola: sara is running 115 secs || 11029217 markings, 38409448 edges, 89323 markings/sec, 115 secs
lola: sara is running 120 secs || 11488961 markings, 40013492 edges, 91949 markings/sec, 120 secs
lola: sara is running 125 secs || 11943557 markings, 41593381 edges, 90919 markings/sec, 125 secs
lola: sara is running 130 secs || 12395420 markings, 43166271 edges, 90373 markings/sec, 130 secs
lola: sara is running 135 secs || 12843514 markings, 44726975 edges, 89619 markings/sec, 135 secs
lola: sara is running 140 secs || 13300582 markings, 46319012 edges, 91414 markings/sec, 140 secs
lola: sara is running 145 secs || 13761140 markings, 47920291 edges, 92112 markings/sec, 145 secs
lola: sara is running 150 secs || 14206069 markings, 49468940 edges, 88986 markings/sec, 150 secs
lola: sara is running 155 secs || 14664446 markings, 51064192 edges, 91675 markings/sec, 155 secs
lola: sara is running 160 secs || 15134775 markings, 52704943 edges, 94066 markings/sec, 160 secs
lola: sara is running 165 secs || 15586530 markings, 54277237 edges, 90351 markings/sec, 165 secs
lola: sara is running 170 secs || 16057140 markings, 55913208 edges, 94122 markings/sec, 170 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no yes no no unknown yes no yes no unknown yes no yes yes
lola:
preliminary result: no no no yes no no unknown yes no yes no unknown yes no yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no yes no no unknown yes no yes no unknown yes no yes yes
lola: memory consumption: 1262464 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 16552 KB
lola: time consumption: 3570 seconds

BK_STOP 1527789991771

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

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="EGFr-PT-10420"
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/EGFr-PT-10420.tgz
mv EGFr-PT-10420 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 EGFr-PT-10420, 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-152749169700268"
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 ;