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

About the Execution of LoLA for CloudReconfiguration-PT-318

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4851.910 3570128.00 3616789.00 9555.40 TTTFTFFTFT?FT?FT normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r038-smll-155229649000269.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is CloudReconfiguration-PT-318, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-smll-155229649000269
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 3.6K Feb 9 09:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 9 09:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 5 08:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 5 08:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 114 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 352 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 2 02:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 2 02:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 29 16:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Jan 29 16:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:18 UpperBounds.xml

-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 661K Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1552723793618

info: Time: 3600 - MCC
vrfy: Checking ReachabilityCardinality @ CloudReconfiguration-PT-318 @ 3570 seconds

FORMULA CloudReconfiguration-PT-318-ReachabilityCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-318-ReachabilityCardinality-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-318-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-318-ReachabilityCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-318-ReachabilityCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-318-ReachabilityCardinality-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-318-ReachabilityCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-318-ReachabilityCardinality-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-318-ReachabilityCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-318-ReachabilityCardinality-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-318-ReachabilityCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-318-ReachabilityCardinality-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-318-ReachabilityCardinality-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-318-ReachabilityCardinality-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for ReachabilityCardinality @ CloudReconfiguration-PT-318

{
"exit":
{
"memory": 83184,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (G (((p850 <= p1562) OR (p1063 <= p2000))))",
"processed_size": 46,
"rewrites": 17
},
"result":
{
"preliminary_value": "yes yes yes no yes no no yes no yes unknown no yes unknown no yes "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 5686/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2587
lola: finding significant places
lola: 2587 places, 3099 transitions, 2583 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from ReachabilityCardinality.xml
lola: LP says that atomic proposition is always false: (2 <= p478)
lola: LP says that atomic proposition is always false: (2 <= p445)
lola: LP says that atomic proposition is always false: (3 <= p1358)
lola: LP says that atomic proposition is always false: (2 <= p835)
lola: LP says that atomic proposition is always false: (3 <= p266)
lola: LP says that atomic proposition is always false: (3 <= p1621)
lola: LP says that atomic proposition is always false: (3 <= p1831)
lola: LP says that atomic proposition is always false: (2 <= p1366)
lola: LP says that atomic proposition is always false: (2 <= p1380)
lola: LP says that atomic proposition is always false: (2 <= p2029)
lola: LP says that atomic proposition is always false: (3 <= p442)
lola: LP says that atomic proposition is always false: (3 <= p1847)
lola: LP says that atomic proposition is always false: (3 <= p835)
lola: LP says that atomic proposition is always false: (3 <= p1014)
lola: E (F (((1 <= p64) AND ((p2028 <= p2145) OR (p1382 + 1 <= p247))))) : E (F (((p490 + 1 <= p1440) OR (p1724 + 1 <= p2189) OR (((p758 <= p86)) AND (p387 + 1 <= p975))))) : E (F ((((p1624 <= p2138) OR (p1983 <= p1233)) AND (p1185 + 1 <= p765) AND (1 <= p2101)))) : A (G ((p2457 <= 0))) : E (F (((p1210 + 1 <= p2181) AND (p1980 + 1 <= p1280) AND (p1539 <= 0)))) : E (F ((3 <= p1358))) : E (F ((2 <= p835))) : E (F (((p1601 + 1 <= p1746) OR ((p1027 <= p2028) AND (1 <= p589)) OR (p1902 + 1 <= p250)))) : A (G (((p1316 <= p101) AND ((p480 <= p605)) AND (p1705 <= p1948)))) : E (F ((((1 <= p267) OR ((p777 <= p1775) AND (1 <= p1534)))))) : A (G (((p850 <= p1562) OR (p1063 <= p2000)))) : E (F (())) : E (F (((p2442 + 1 <= p1915) AND (p926 + 1 <= p1637)))) : A (G (((p1610 <= p1580) OR (p363 <= p963) OR (p677 <= p2171) OR (1 <= p1525) OR (p1417 + 1 <= p1074)))) : E (F ((3 <= p1847))) : A (G (()))
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: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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 233 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 269 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 15 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 292 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 15 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 318 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p2457 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((p2457 <= 0)))
lola: processed formula length: 20
lola: 17 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p2457)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 70 markings, 69 edges
lola: ========================================
lola: subprocess 6 will run for 350 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p2442 + 1 <= p1915) AND (p926 + 1 <= p1637))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((p2442 + 1 <= p1915) AND (p926 + 1 <= p1637))))
lola: processed formula length: 54
lola: 16 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p2442 + 1 <= p1915) AND (p926 + 1 <= p1637))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 101 markings, 100 edges
lola: ========================================
lola: subprocess 7 will run for 389 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p850 <= p1562) OR (p1063 <= p2000))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((p850 <= p1562) OR (p1063 <= p2000))))
lola: processed formula length: 46
lola: 17 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p1562 + 1 <= p850) AND (p2000 + 1 <= p1063))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityCardinality-7-0.sara.
sara: error: :12033: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: sara is running 0 secs || 48181 markings, 77835 edges, 9636 markings/sec, 0 secs
lola: sara is running 5 secs || 90493 markings, 147975 edges, 8462 markings/sec, 5 secs
lola: sara is running 10 secs || 132879 markings, 219887 edges, 8477 markings/sec, 10 secs
lola: sara is running 15 secs || 175064 markings, 292373 edges, 8437 markings/sec, 15 secs
lola: sara is running 20 secs || 217903 markings, 358081 edges, 8568 markings/sec, 20 secs
lola: sara is running 25 secs || 259058 markings, 429075 edges, 8231 markings/sec, 25 secs
lola: sara is running 30 secs || 298015 markings, 504991 edges, 7791 markings/sec, 30 secs
lola: sara is running 35 secs || 336225 markings, 581240 edges, 7642 markings/sec, 35 secs
lola: sara is running 40 secs || 375896 markings, 657296 edges, 7934 markings/sec, 40 secs
lola: sara is running 45 secs || 415296 markings, 732645 edges, 7880 markings/sec, 45 secs
lola: sara is running 50 secs || 455776 markings, 813505 edges, 8096 markings/sec, 50 secs
lola: sara is running 55 secs || 497834 markings, 878767 edges, 8412 markings/sec, 55 secs
lola: sara is running 60 secs || 539624 markings, 943173 edges, 8358 markings/sec, 60 secs
lola: sara is running 65 secs || 579968 markings, 1012565 edges, 8069 markings/sec, 65 secs
lola: sara is running 70 secs || 618498 markings, 1088636 edges, 7706 markings/sec, 70 secs
lola: sara is running 75 secs || 660907 markings, 1154671 edges, 8482 markings/sec, 75 secs
lola: sara is running 80 secs || 703647 markings, 1218266 edges, 8548 markings/sec, 80 secs
lola: sara is running 85 secs || 741461 markings, 1295733 edges, 7563 markings/sec, 85 secs
lola: sara is running 90 secs || 781006 markings, 1368645 edges, 7909 markings/sec, 90 secs
lola: sara is running 95 secs || 820897 markings, 1441139 edges, 7978 markings/sec, 95 secs
lola: sara is running 100 secs || 862369 markings, 1513224 edges, 8294 markings/sec, 100 secs
lola: sara is running 105 secs || 903324 markings, 1597899 edges, 8191 markings/sec, 105 secs
lola: sara is running 110 secs || 938602 markings, 1680551 edges, 7056 markings/sec, 110 secs
lola: sara is running 115 secs || 974460 markings, 1763157 edges, 7172 markings/sec, 115 secs
lola: sara is running 120 secs || 1010543 markings, 1847582 edges, 7217 markings/sec, 120 secs
lola: sara is running 125 secs || 1046561 markings, 1929467 edges, 7204 markings/sec, 125 secs
lola: sara is running 130 secs || 1088097 markings, 2013168 edges, 8307 markings/sec, 130 secs
lola: sara is running 135 secs || 1130006 markings, 2097933 edges, 8382 markings/sec, 135 secs
lola: sara is running 140 secs || 1172623 markings, 2181363 edges, 8523 markings/sec, 140 secs
lola: sara is running 145 secs || 1210144 markings, 2265308 edges, 7504 markings/sec, 145 secs
lola: sara is running 150 secs || 1246145 markings, 2348926 edges, 7200 markings/sec, 150 secs
lola: sara is running 155 secs || 1282354 markings, 2431368 edges, 7242 markings/sec, 155 secs
lola: sara is running 160 secs || 1319122 markings, 2512886 edges, 7354 markings/sec, 160 secs
lola: sara is running 165 secs || 1357369 markings, 2598997 edges, 7649 markings/sec, 165 secs
lola: sara is running 170 secs || 1399472 markings, 2682348 edges, 8421 markings/sec, 170 secs
lola: sara is running 175 secs || 1434444 markings, 2765282 edges, 6994 markings/sec, 175 secs
lola: sara is running 180 secs || 1471909 markings, 2845332 edges, 7493 markings/sec, 180 secs
lola: sara is running 185 secs || 1513332 markings, 2930952 edges, 8285 markings/sec, 185 secs
lola: sara is running 190 secs || 1553689 markings, 3015882 edges, 8071 markings/sec, 190 secs
lola: sara is running 195 secs || 1594101 markings, 3101395 edges, 8082 markings/sec, 195 secs
lola: sara is running 200 secs || 1629356 markings, 3183987 edges, 7051 markings/sec, 200 secs
lola: sara is running 205 secs || 1665990 markings, 3267530 edges, 7327 markings/sec, 205 secs
lola: sara is running 210 secs || 1702095 markings, 3351376 edges, 7221 markings/sec, 210 secs
lola: sara is running 215 secs || 1738221 markings, 3433904 edges, 7225 markings/sec, 215 secs
lola: sara is running 220 secs || 1782002 markings, 3517272 edges, 8756 markings/sec, 220 secs
lola: sara is running 225 secs || 1823558 markings, 3604854 edges, 8311 markings/sec, 225 secs
lola: sara is running 230 secs || 1864756 markings, 3688420 edges, 8240 markings/sec, 230 secs
lola: sara is running 235 secs || 1900936 markings, 3771942 edges, 7236 markings/sec, 235 secs
lola: sara is running 240 secs || 1936820 markings, 3855585 edges, 7177 markings/sec, 240 secs
lola: sara is running 245 secs || 1973240 markings, 3938399 edges, 7284 markings/sec, 245 secs
lola: sara is running 250 secs || 2010381 markings, 4022763 edges, 7428 markings/sec, 250 secs
lola: sara is running 255 secs || 2054090 markings, 4108718 edges, 8742 markings/sec, 255 secs
lola: sara is running 260 secs || 2090881 markings, 4190563 edges, 7358 markings/sec, 260 secs
lola: sara is running 265 secs || 2125768 markings, 4272751 edges, 6977 markings/sec, 265 secs
lola: sara is running 270 secs || 2165167 markings, 4358801 edges, 7880 markings/sec, 270 secs
lola: sara is running 275 secs || 2203487 markings, 4436796 edges, 7664 markings/sec, 275 secs
lola: sara is running 280 secs || 2234778 markings, 4501018 edges, 6258 markings/sec, 280 secs
lola: sara is running 285 secs || 2268175 markings, 4571463 edges, 6679 markings/sec, 285 secs
lola: sara is running 290 secs || 2300763 markings, 4640256 edges, 6518 markings/sec, 290 secs
lola: sara is running 295 secs || 2334627 markings, 4712030 edges, 6773 markings/sec, 295 secs
lola: sara is running 300 secs || 2369987 markings, 4783636 edges, 7072 markings/sec, 300 secs
lola: sara is running 305 secs || 2404216 markings, 4859033 edges, 6846 markings/sec, 305 secs
lola: sara is running 310 secs || 2439923 markings, 4926717 edges, 7141 markings/sec, 310 secs
lola: sara is running 315 secs || 2479605 markings, 4992581 edges, 7936 markings/sec, 315 secs
lola: sara is running 320 secs || 2517261 markings, 5063768 edges, 7531 markings/sec, 320 secs
lola: sara is running 325 secs || 2556872 markings, 5133195 edges, 7922 markings/sec, 325 secs
lola: sara is running 330 secs || 2593052 markings, 5211378 edges, 7236 markings/sec, 330 secs
lola: sara is running 335 secs || 2630277 markings, 5286104 edges, 7445 markings/sec, 335 secs
lola: sara is running 340 secs || 2668546 markings, 5356219 edges, 7654 markings/sec, 340 secs
lola: sara is running 345 secs || 2705668 markings, 5427345 edges, 7424 markings/sec, 345 secs
lola: sara is running 350 secs || 2743899 markings, 5488057 edges, 7646 markings/sec, 350 secs
lola: sara is running 355 secs || 2778847 markings, 5557393 edges, 6990 markings/sec, 355 secs
lola: sara is running 360 secs || 2817403 markings, 5615704 edges, 7711 markings/sec, 360 secs
lola: sara is running 365 secs || 2851147 markings, 5688114 edges, 6749 markings/sec, 365 secs
lola: sara is running 370 secs || 2885581 markings, 5766088 edges, 6887 markings/sec, 370 secs
lola: sara is running 375 secs || 2920556 markings, 5848044 edges, 6995 markings/sec, 375 secs
lola: sara is running 380 secs || 2955807 markings, 5928176 edges, 7050 markings/sec, 380 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no unknown no no unknown unknown unknown unknown no yes unknown no yes
lola: memory consumption: 1006652 KB
lola: time consumption: 455 seconds
lola: print data as JSON (--json)
lola: writing JSON to ReachabilityCardinality.json
lola: closed JSON file ReachabilityCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 389 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p267) OR ((p777 <= p1775) AND (1 <= p1534))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((((1 <= p267) OR ((p777 <= p1775) AND (1 <= p1534))))))
lola: processed formula length: 62
lola: 16 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p267) OR ((p777 <= p1775) AND (1 <= p1534))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 76 markings, 75 edges
lola: ========================================
lola: subprocess 9 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p64) AND ((p2028 <= p2145) OR (p1382 + 1 <= p247)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p64) AND ((p2028 <= p2145) OR (p1382 + 1 <= p247)))))
lola: processed formula length: 67
lola: 16 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p64) AND ((p2028 <= p2145) OR (p1382 + 1 <= p247)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 61 markings, 60 edges
lola: ========================================
lola: subprocess 10 will run for 519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p1210 + 1 <= p2181) AND (p1980 + 1 <= p1280) AND (p1539 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((p1210 + 1 <= p2181) AND (p1980 + 1 <= p1280) AND (p1539 <= 0))))
lola: processed formula length: 72
lola: 16 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p1210 + 1 <= p2181) AND (p1980 + 1 <= p1280) AND (p1539 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 261 markings, 275 edges
lola: ========================================
lola: subprocess 11 will run for 623 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p1316 <= p101) AND ((p480 <= p605)) AND (p1705 <= p1948))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((p1316 <= p101) AND ((p480 <= p605)) AND (p1705 <= p1948))))
lola: processed formula length: 67
lola: 17 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p101 + 1 <= p1316) OR ((p605 + 1 <= p480)) OR (p1948 + 1 <= p1705))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityCardinality-11-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 780 markings, 908 edges
lola: ========================================
lola: subprocess 12 will run for 778 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p1601 + 1 <= p1746) OR ((p1027 <= p2028) AND (1 <= p589)) OR (p1902 + 1 <= p250))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((p1601 + 1 <= p1746) OR ((p1027 <= p2028) AND (1 <= p589)) OR (p1902 + 1 <= p250))))
lola: processed formula length: 93
lola: 16 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p1601 + 1 <= p1746) OR ((p1027 <= p2028) AND (1 <= p589)) OR (p1902 + 1 <= p250))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 118 markings, 117 edges
lola: ========================================
lola: subprocess 13 will run for 1038 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((p1624 <= p2138) OR (p1983 <= p1233)) AND (p1185 + 1 <= p765) AND (1 <= p2101))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((((p1624 <= p2138) OR (p1983 <= p1233)) AND (p1185 + 1 <= p765) AND (1 <= p2101))))
lola: processed formula length: 90
lola: 16 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((p1624 <= p2138) OR (p1983 <= p1233)) AND (p1185 + 1 <= p765) AND (1 <= p2101))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 110 markings, 109 edges
lola: ========================================
lola: subprocess 14 will run for 1557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p490 + 1 <= p1440) OR (p1724 + 1 <= p2189) OR (((p758 <= p86)) AND (p387 + 1 <= p975)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((p490 + 1 <= p1440) OR (p1724 + 1 <= p2189) OR (((p758 <= p86)) AND (p387 + 1 <= p975)))))
lola: processed formula length: 99
lola: 16 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p490 + 1 <= p1440) OR (p1724 + 1 <= p2189) OR (((p758 <= p86)) AND (p387 + 1 <= p975)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 74 markings, 73 edges
lola: ========================================
lola: subprocess 15 will run for 3114 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p1610 <= p1580) OR (p363 <= p963) OR (p677 <= p2171) OR (1 <= p1525) OR (p1417 + 1 <= p1074))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((p1610 <= p1580) OR (p363 <= p963) OR (p677 <= p2171) OR (1 <= p1525) OR (p1417 + 1 <= p1074))))
lola: processed formula length: 107
lola: 17 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p1580 + 1 <= p1610) AND (p963 + 1 <= p363) AND (p2171 + 1 <= p677) AND (p1525 <= 0) AND (p1074 <= p1417))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityCardinality-15-0.sara.
sara: error: :12033: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: sara is running 0 secs || 44132 markings, 68537 edges, 8826 markings/sec, 0 secs
lola: sara is running 5 secs || 86689 markings, 144108 edges, 8511 markings/sec, 5 secs
lola: sara is running 10 secs || 129338 markings, 217581 edges, 8530 markings/sec, 10 secs
lola: sara is running 15 secs || 172437 markings, 292421 edges, 8620 markings/sec, 15 secs
lola: sara is running 20 secs || 214146 markings, 367826 edges, 8342 markings/sec, 20 secs
lola: sara is running 25 secs || 259107 markings, 443869 edges, 8992 markings/sec, 25 secs
lola: sara is running 30 secs || 297144 markings, 523452 edges, 7607 markings/sec, 30 secs
lola: sara is running 35 secs || 337707 markings, 607264 edges, 8113 markings/sec, 35 secs
lola: sara is running 40 secs || 373111 markings, 687968 edges, 7081 markings/sec, 40 secs
lola: sara is running 45 secs || 414709 markings, 764624 edges, 8320 markings/sec, 45 secs
lola: sara is running 50 secs || 455012 markings, 846932 edges, 8061 markings/sec, 50 secs
lola: sara is running 55 secs || 495645 markings, 931285 edges, 8127 markings/sec, 55 secs
lola: sara is running 60 secs || 538873 markings, 995842 edges, 8646 markings/sec, 60 secs
lola: sara is running 65 secs || 580874 markings, 1062800 edges, 8400 markings/sec, 65 secs
lola: sara is running 70 secs || 619739 markings, 1141100 edges, 7773 markings/sec, 70 secs
lola: sara is running 75 secs || 660752 markings, 1211720 edges, 8203 markings/sec, 75 secs
lola: sara is running 80 secs || 702499 markings, 1282269 edges, 8349 markings/sec, 80 secs
lola: sara is running 85 secs || 745050 markings, 1361352 edges, 8510 markings/sec, 85 secs
lola: sara is running 90 secs || 781553 markings, 1445220 edges, 7301 markings/sec, 90 secs
lola: sara is running 95 secs || 816810 markings, 1525853 edges, 7051 markings/sec, 95 secs
lola: sara is running 100 secs || 851550 markings, 1607739 edges, 6948 markings/sec, 100 secs
lola: sara is running 105 secs || 887476 markings, 1689048 edges, 7185 markings/sec, 105 secs
lola: sara is running 110 secs || 924234 markings, 1772229 edges, 7352 markings/sec, 110 secs
lola: sara is running 115 secs || 967486 markings, 1855329 edges, 8650 markings/sec, 115 secs
lola: sara is running 120 secs || 1006440 markings, 1938312 edges, 7791 markings/sec, 120 secs
lola: sara is running 125 secs || 1049233 markings, 2021346 edges, 8559 markings/sec, 125 secs
lola: sara is running 130 secs || 1085709 markings, 2106007 edges, 7295 markings/sec, 130 secs
lola: sara is running 135 secs || 1122052 markings, 2189541 edges, 7269 markings/sec, 135 secs
lola: sara is running 140 secs || 1158123 markings, 2273165 edges, 7214 markings/sec, 140 secs
lola: sara is running 145 secs || 1195945 markings, 2355401 edges, 7564 markings/sec, 145 secs
lola: sara is running 150 secs || 1238995 markings, 2443763 edges, 8610 markings/sec, 150 secs
lola: sara is running 155 secs || 1277179 markings, 2527406 edges, 7637 markings/sec, 155 secs
lola: sara is running 160 secs || 1311914 markings, 2609493 edges, 6947 markings/sec, 160 secs
lola: sara is running 165 secs || 1351793 markings, 2690275 edges, 7976 markings/sec, 165 secs
lola: sara is running 170 secs || 1390721 markings, 2774700 edges, 7786 markings/sec, 170 secs
lola: sara is running 175 secs || 1435328 markings, 2861037 edges, 8921 markings/sec, 175 secs
lola: sara is running 180 secs || 1472471 markings, 2947973 edges, 7429 markings/sec, 180 secs
lola: sara is running 185 secs || 1508897 markings, 3031831 edges, 7285 markings/sec, 185 secs
lola: sara is running 190 secs || 1545056 markings, 3116470 edges, 7232 markings/sec, 190 secs
lola: sara is running 195 secs || 1582453 markings, 3199472 edges, 7479 markings/sec, 195 secs
lola: sara is running 200 secs || 1625940 markings, 3286979 edges, 8697 markings/sec, 200 secs
lola: sara is running 205 secs || 1668971 markings, 3376395 edges, 8606 markings/sec, 205 secs
lola: sara is running 210 secs || 1713057 markings, 3465073 edges, 8817 markings/sec, 210 secs
lola: sara is running 215 secs || 1750360 markings, 3551428 edges, 7461 markings/sec, 215 secs
lola: sara is running 220 secs || 1787027 markings, 3635689 edges, 7333 markings/sec, 220 secs
lola: sara is running 225 secs || 1823478 markings, 3720352 edges, 7290 markings/sec, 225 secs
lola: sara is running 230 secs || 1860851 markings, 3803461 edges, 7475 markings/sec, 230 secs
lola: sara is running 235 secs || 1904226 markings, 3891161 edges, 8675 markings/sec, 235 secs
lola: sara is running 240 secs || 1944269 markings, 3976934 edges, 8009 markings/sec, 240 secs
lola: sara is running 245 secs || 1979435 markings, 4059956 edges, 7033 markings/sec, 245 secs
lola: sara is running 250 secs || 2017901 markings, 4144212 edges, 7693 markings/sec, 250 secs
lola: sara is running 255 secs || 2058759 markings, 4234592 edges, 8172 markings/sec, 255 secs
lola: sara is running 260 secs || 2089611 markings, 4304958 edges, 6170 markings/sec, 260 secs
lola: sara is running 265 secs || 2128395 markings, 4361783 edges, 7757 markings/sec, 265 secs
lola: sara is running 270 secs || 2162558 markings, 4418775 edges, 6833 markings/sec, 270 secs
lola: sara is running 275 secs || 2200232 markings, 4488650 edges, 7535 markings/sec, 275 secs
lola: sara is running 280 secs || 2236597 markings, 4555768 edges, 7273 markings/sec, 280 secs
lola: sara is running 285 secs || 2267606 markings, 4624221 edges, 6202 markings/sec, 285 secs
lola: sara is running 290 secs || 2301393 markings, 4695171 edges, 6757 markings/sec, 290 secs
lola: sara is running 295 secs || 2338566 markings, 4762821 edges, 7435 markings/sec, 295 secs
lola: sara is running 300 secs || 2377309 markings, 4843742 edges, 7749 markings/sec, 300 secs
lola: sara is running 305 secs || 2414887 markings, 4925113 edges, 7516 markings/sec, 305 secs
lola: sara is running 310 secs || 2452802 markings, 5005913 edges, 7583 markings/sec, 310 secs
lola: sara is running 315 secs || 2490115 markings, 5087225 edges, 7463 markings/sec, 315 secs
lola: sara is running 320 secs || 2527022 markings, 5167920 edges, 7381 markings/sec, 320 secs
lola: sara is running 325 secs || 2564546 markings, 5249591 edges, 7505 markings/sec, 325 secs
lola: sara is running 330 secs || 2602633 markings, 5328216 edges, 7617 markings/sec, 330 secs
lola: sara is running 335 secs || 2640000 markings, 5408124 edges, 7473 markings/sec, 335 secs
lola: sara is running 340 secs || 2678535 markings, 5489334 edges, 7707 markings/sec, 340 secs
lola: sara is running 345 secs || 2721737 markings, 5566372 edges, 8640 markings/sec, 345 secs
lola: sara is running 350 secs || 2758377 markings, 5628731 edges, 7328 markings/sec, 350 secs
lola: sara is running 355 secs || 2791916 markings, 5690349 edges, 6708 markings/sec, 355 secs
lola: sara is running 360 secs || 2827107 markings, 5750057 edges, 7038 markings/sec, 360 secs
lola: sara is running 365 secs || 2858971 markings, 5806486 edges, 6373 markings/sec, 365 secs
lola: sara is running 370 secs || 2890972 markings, 5863957 edges, 6400 markings/sec, 370 secs
lola: sara is running 375 secs || 2922732 markings, 5922447 edges, 6352 markings/sec, 375 secs
lola: sara is running 380 secs || 2958747 markings, 5981106 edges, 7203 markings/sec, 380 secs
lola: sara is running 385 secs || 2993054 markings, 6046375 edges, 6861 markings/sec, 385 secs
lola: sara is running 390 secs || 3027973 markings, 6118178 edges, 6984 markings/sec, 390 secs
lola: sara is running 395 secs || 3062022 markings, 6189668 edges, 6810 markings/sec, 395 secs
lola: sara is running 400 secs || 3094874 markings, 6264880 edges, 6570 markings/sec, 400 secs
lola: sara is running 405 secs || 3130996 markings, 6329739 edges, 7224 markings/sec, 405 secs
lola: sara is running 410 secs || 3166022 markings, 6402574 edges, 7005 markings/sec, 410 secs
lola: sara is running 415 secs || 3200464 markings, 6476181 edges, 6888 markings/sec, 415 secs
lola: sara is running 420 secs || 3233063 markings, 6535005 edges, 6520 markings/sec, 420 secs
lola: sara is running 425 secs || 3267264 markings, 6583453 edges, 6840 markings/sec, 425 secs
lola: sara is running 430 secs || 3300924 markings, 6636087 edges, 6732 markings/sec, 430 secs
lola: sara is running 435 secs || 3333394 markings, 6702961 edges, 6494 markings/sec, 435 secs
lola: sara is running 440 secs || 3363917 markings, 6761467 edges, 6105 markings/sec, 440 secs
lola: sara is running 445 secs || 3397376 markings, 6814751 edges, 6692 markings/sec, 445 secs
lola: sara is running 450 secs || 3430867 markings, 6869858 edges, 6698 markings/sec, 450 secs
lola: sara is running 455 secs || 3463968 markings, 6933504 edges, 6620 markings/sec, 455 secs
lola: sara is running 460 secs || 3497071 markings, 7006783 edges, 6621 markings/sec, 460 secs
lola: sara is running 465 secs || 3529391 markings, 7082279 edges, 6464 markings/sec, 465 secs
lola: sara is running 470 secs || 3561330 markings, 7155722 edges, 6388 markings/sec, 470 secs
lola: sara is running 475 secs || 3594293 markings, 7231414 edges, 6593 markings/sec, 475 secs
lola: sara is running 480 secs || 3626512 markings, 7302788 edges, 6444 markings/sec, 480 secs
lola: sara is running 485 secs || 3663558 markings, 7379529 edges, 7409 markings/sec, 485 secs
lola: sara is running 490 secs || 3696465 markings, 7446970 edges, 6581 markings/sec, 490 secs
lola: sara is running 495 secs || 3728852 markings, 7516490 edges, 6477 markings/sec, 495 secs
lola: sara is running 500 secs || 3764339 markings, 7583911 edges, 7097 markings/sec, 500 secs
lola: sara is running 505 secs || 3799419 markings, 7663450 edges, 7016 markings/sec, 505 secs
lola: sara is running 510 secs || 3833325 markings, 7742346 edges, 6781 markings/sec, 510 secs
lola: sara is running 515 secs || 3867264 markings, 7819924 edges, 6788 markings/sec, 515 secs
lola: sara is running 520 secs || 3901773 markings, 7898098 edges, 6902 markings/sec, 520 secs
lola: sara is running 525 secs || 3936630 markings, 7976383 edges, 6971 markings/sec, 525 secs
lola: sara is running 530 secs || 3978174 markings, 8057112 edges, 8309 markings/sec, 530 secs
lola: sara is running 535 secs || 4011523 markings, 8133633 edges, 6670 markings/sec, 535 secs
lola: sara is running 540 secs || 4044538 markings, 8211019 edges, 6603 markings/sec, 540 secs
lola: sara is running 545 secs || 4081000 markings, 8283953 edges, 7292 markings/sec, 545 secs
lola: sara is running 550 secs || 4115193 markings, 8357631 edges, 6839 markings/sec, 550 secs
lola: sara is running 555 secs || 4153694 markings, 8433024 edges, 7700 markings/sec, 555 secs
lola: sara is running 560 secs || 4190044 markings, 8514476 edges, 7270 markings/sec, 560 secs
lola: sara is running 565 secs || 4224536 markings, 8595219 edges, 6898 markings/sec, 565 secs
lola: sara is running 570 secs || 4259203 markings, 8674713 edges, 6933 markings/sec, 570 secs
lola: sara is running 575 secs || 4294596 markings, 8754760 edges, 7079 markings/sec, 575 secs
lola: sara is running 580 secs || 4330647 markings, 8836154 edges, 7210 markings/sec, 580 secs
lola: sara is running 585 secs || 4374103 markings, 8919407 edges, 8691 markings/sec, 585 secs
lola: sara is running 590 secs || 4413998 markings, 9003619 edges, 7979 markings/sec, 590 secs
lola: sara is running 595 secs || 4454037 markings, 9085232 edges, 8008 markings/sec, 595 secs
lola: sara is running 600 secs || 4489239 markings, 9166500 edges, 7040 markings/sec, 600 secs
lola: sara is running 605 secs || 4524287 markings, 9247438 edges, 7010 markings/sec, 605 secs
lola: sara is running 610 secs || 4559959 markings, 9329478 edges, 7134 markings/sec, 610 secs
lola: sara is running 615 secs || 4596250 markings, 9410806 edges, 7258 markings/sec, 615 secs
lola: sara is running 620 secs || 4639159 markings, 9497197 edges, 8582 markings/sec, 620 secs
lola: sara is running 625 secs || 4676814 markings, 9579049 edges, 7531 markings/sec, 625 secs
lola: sara is running 630 secs || 4711223 markings, 9659915 edges, 6882 markings/sec, 630 secs
lola: sara is running 635 secs || 4749824 markings, 9743817 edges, 7720 markings/sec, 635 secs
lola: sara is running 640 secs || 4787318 markings, 9827642 edges, 7499 markings/sec, 640 secs
lola: sara is running 645 secs || 4817710 markings, 9895478 edges, 6078 markings/sec, 645 secs
lola: sara is running 650 secs || 4854540 markings, 9949568 edges, 7366 markings/sec, 650 secs
lola: sara is running 655 secs || 4886498 markings, 10001518 edges, 6392 markings/sec, 655 secs
lola: sara is running 660 secs || 4920288 markings, 10071762 edges, 6758 markings/sec, 660 secs
lola: sara is running 665 secs || 4957558 markings, 10139767 edges, 7454 markings/sec, 665 secs
lola: sara is running 670 secs || 4988921 markings, 10202310 edges, 6273 markings/sec, 670 secs
lola: sara is running 675 secs || 5021944 markings, 10267753 edges, 6605 markings/sec, 675 secs
lola: sara is running 680 secs || 5054745 markings, 10334256 edges, 6560 markings/sec, 680 secs
lola: sara is running 685 secs || 5097068 markings, 10410775 edges, 8465 markings/sec, 685 secs
lola: sara is running 690 secs || 5137563 markings, 10495759 edges, 8099 markings/sec, 690 secs
lola: sara is running 695 secs || 5176120 markings, 10573785 edges, 7711 markings/sec, 695 secs
lola: sara is running 700 secs || 5213317 markings, 10656570 edges, 7439 markings/sec, 700 secs
lola: sara is running 705 secs || 5251384 markings, 10733319 edges, 7613 markings/sec, 705 secs
lola: sara is running 710 secs || 5287462 markings, 10813436 edges, 7216 markings/sec, 710 secs
lola: sara is running 715 secs || 5325619 markings, 10892927 edges, 7631 markings/sec, 715 secs
lola: sara is running 720 secs || 5363083 markings, 10971814 edges, 7493 markings/sec, 720 secs
lola: sara is running 725 secs || 5401042 markings, 11050808 edges, 7592 markings/sec, 725 secs
lola: sara is running 730 secs || 5437323 markings, 11129595 edges, 7256 markings/sec, 730 secs
lola: sara is running 735 secs || 5472639 markings, 11213635 edges, 7063 markings/sec, 735 secs
lola: sara is running 740 secs || 5509727 markings, 11292899 edges, 7418 markings/sec, 740 secs
lola: sara is running 745 secs || 5546267 markings, 11372621 edges, 7308 markings/sec, 745 secs
lola: sara is running 750 secs || 5581688 markings, 11453500 edges, 7084 markings/sec, 750 secs
lola: sara is running 755 secs || 5618604 markings, 11529939 edges, 7383 markings/sec, 755 secs
lola: sara is running 760 secs || 5654586 markings, 11609511 edges, 7196 markings/sec, 760 secs
lola: sara is running 765 secs || 5689872 markings, 11692719 edges, 7057 markings/sec, 765 secs
lola: sara is running 770 secs || 5726927 markings, 11771047 edges, 7411 markings/sec, 770 secs
lola: sara is running 775 secs || 5763054 markings, 11852506 edges, 7225 markings/sec, 775 secs
lola: sara is running 780 secs || 5798893 markings, 11933032 edges, 7168 markings/sec, 780 secs
lola: sara is running 785 secs || 5836190 markings, 12015460 edges, 7459 markings/sec, 785 secs
lola: sara is running 790 secs || 5872385 markings, 12094295 edges, 7239 markings/sec, 790 secs
lola: sara is running 795 secs || 5907317 markings, 12176106 edges, 6986 markings/sec, 795 secs
lola: sara is running 800 secs || 5943065 markings, 12263604 edges, 7150 markings/sec, 800 secs
lola: sara is running 805 secs || 5979648 markings, 12347924 edges, 7317 markings/sec, 805 secs
lola: sara is running 810 secs || 6015086 markings, 12427212 edges, 7088 markings/sec, 810 secs
lola: sara is running 815 secs || 6050174 markings, 12508873 edges, 7018 markings/sec, 815 secs
lola: sara is running 820 secs || 6084874 markings, 12592916 edges, 6940 markings/sec, 820 secs
lola: sara is running 825 secs || 6121004 markings, 12675646 edges, 7226 markings/sec, 825 secs
lola: sara is running 830 secs || 6157094 markings, 12758793 edges, 7218 markings/sec, 830 secs
lola: sara is running 835 secs || 6192314 markings, 12837844 edges, 7044 markings/sec, 835 secs
lola: sara is running 840 secs || 6227775 markings, 12922427 edges, 7092 markings/sec, 840 secs
lola: sara is running 845 secs || 6263869 markings, 13010064 edges, 7219 markings/sec, 845 secs
lola: sara is running 850 secs || 6301028 markings, 13092430 edges, 7432 markings/sec, 850 secs
lola: sara is running 855 secs || 6336458 markings, 13174316 edges, 7086 markings/sec, 855 secs
lola: sara is running 860 secs || 6371660 markings, 13260198 edges, 7040 markings/sec, 860 secs
lola: sara is running 865 secs || 6408147 markings, 13341408 edges, 7297 markings/sec, 865 secs
lola: sara is running 870 secs || 6439691 markings, 13423568 edges, 6309 markings/sec, 870 secs
lola: sara is running 875 secs || 6468203 markings, 13503478 edges, 5702 markings/sec, 875 secs
lola: sara is running 880 secs || 6500644 markings, 13577219 edges, 6488 markings/sec, 880 secs
lola: sara is running 885 secs || 6527752 markings, 13649866 edges, 5422 markings/sec, 885 secs
lola: sara is running 890 secs || 6552575 markings, 13717858 edges, 4965 markings/sec, 890 secs
lola: sara is running 895 secs || 6580411 markings, 13790264 edges, 5567 markings/sec, 895 secs
lola: sara is running 900 secs || 6603406 markings, 13852229 edges, 4599 markings/sec, 900 secs
lola: sara is running 905 secs || 6629133 markings, 13921093 edges, 5145 markings/sec, 905 secs
lola: sara is running 910 secs || 6652209 markings, 13983185 edges, 4615 markings/sec, 910 secs
lola: sara is running 915 secs || 6677665 markings, 14052539 edges, 5091 markings/sec, 915 secs
lola: sara is running 920 secs || 6704780 markings, 14122577 edges, 5423 markings/sec, 920 secs
lola: sara is running 925 secs || 6731506 markings, 14194138 edges, 5345 markings/sec, 925 secs
lola: sara is running 930 secs || 6757768 markings, 14274983 edges, 5252 markings/sec, 930 secs
lola: sara is running 935 secs || 6785484 markings, 14355540 edges, 5543 markings/sec, 935 secs
lola: sara is running 940 secs || 6811549 markings, 14437491 edges, 5213 markings/sec, 940 secs
lola: sara is running 945 secs || 6837273 markings, 14522237 edges, 5145 markings/sec, 945 secs
lola: sara is running 950 secs || 6865024 markings, 14600881 edges, 5550 markings/sec, 950 secs
lola: sara is running 955 secs || 6891736 markings, 14678716 edges, 5342 markings/sec, 955 secs
lola: sara is running 960 secs || 6919442 markings, 14761680 edges, 5541 markings/sec, 960 secs
lola: sara is running 965 secs || 6946399 markings, 14843386 edges, 5391 markings/sec, 965 secs
lola: sara is running 970 secs || 6970957 markings, 14915926 edges, 4912 markings/sec, 970 secs
lola: sara is running 975 secs || 6996598 markings, 14974144 edges, 5128 markings/sec, 975 secs
lola: sara is running 980 secs || 7021361 markings, 15034073 edges, 4953 markings/sec, 980 secs
lola: sara is running 985 secs || 7046444 markings, 15097164 edges, 5017 markings/sec, 985 secs
lola: sara is running 990 secs || 7071152 markings, 15172976 edges, 4942 markings/sec, 990 secs
lola: sara is running 995 secs || 7095344 markings, 15242868 edges, 4838 markings/sec, 995 secs
lola: sara is running 1000 secs || 7119369 markings, 15310644 edges, 4805 markings/sec, 1000 secs
lola: sara is running 1005 secs || 7144642 markings, 15371395 edges, 5055 markings/sec, 1005 secs
lola: sara is running 1010 secs || 7169184 markings, 15439959 edges, 4908 markings/sec, 1010 secs
lola: sara is running 1015 secs || 7193931 markings, 15503758 edges, 4949 markings/sec, 1015 secs
lola: sara is running 1020 secs || 7220995 markings, 15578350 edges, 5413 markings/sec, 1020 secs
lola: sara is running 1025 secs || 7246377 markings, 15661853 edges, 5076 markings/sec, 1025 secs
lola: sara is running 1030 secs || 7272163 markings, 15745902 edges, 5157 markings/sec, 1030 secs
lola: sara is running 1035 secs || 7296971 markings, 15828862 edges, 4962 markings/sec, 1035 secs
lola: sara is running 1040 secs || 7322240 markings, 15911677 edges, 5054 markings/sec, 1040 secs
lola: sara is running 1045 secs || 7347866 markings, 15995327 edges, 5125 markings/sec, 1045 secs
lola: sara is running 1050 secs || 7373573 markings, 16076954 edges, 5141 markings/sec, 1050 secs
lola: sara is running 1055 secs || 7399861 markings, 16163877 edges, 5258 markings/sec, 1055 secs
lola: sara is running 1060 secs || 7428398 markings, 16244784 edges, 5707 markings/sec, 1060 secs
lola: sara is running 1065 secs || 7453525 markings, 16318091 edges, 5025 markings/sec, 1065 secs
lola: sara is running 1070 secs || 7479396 markings, 16396749 edges, 5174 markings/sec, 1070 secs
lola: sara is running 1075 secs || 7506638 markings, 16472525 edges, 5448 markings/sec, 1075 secs
lola: sara is running 1080 secs || 7535245 markings, 16559707 edges, 5721 markings/sec, 1080 secs
lola: sara is running 1085 secs || 7561845 markings, 16648746 edges, 5320 markings/sec, 1085 secs
lola: sara is running 1090 secs || 7588655 markings, 16735715 edges, 5362 markings/sec, 1090 secs
lola: sara is running 1095 secs || 7615383 markings, 16823692 edges, 5346 markings/sec, 1095 secs
lola: sara is running 1100 secs || 7643091 markings, 16911981 edges, 5542 markings/sec, 1100 secs
lola: sara is running 1105 secs || 7670839 markings, 17001121 edges, 5550 markings/sec, 1105 secs
lola: sara is running 1110 secs || 7702019 markings, 17096265 edges, 6236 markings/sec, 1110 secs
lola: sara is running 1115 secs || 7731329 markings, 17182432 edges, 5862 markings/sec, 1115 secs
lola: sara is running 1120 secs || 7757216 markings, 17269408 edges, 5177 markings/sec, 1120 secs
lola: sara is running 1125 secs || 7783297 markings, 17356997 edges, 5216 markings/sec, 1125 secs
lola: sara is running 1130 secs || 7810472 markings, 17438616 edges, 5435 markings/sec, 1130 secs
lola: sara is running 1135 secs || 7839079 markings, 17525713 edges, 5721 markings/sec, 1135 secs
lola: sara is running 1140 secs || 7865173 markings, 17604939 edges, 5219 markings/sec, 1140 secs
lola: sara is running 1145 secs || 7894815 markings, 17690381 edges, 5928 markings/sec, 1145 secs
lola: sara is running 1150 secs || 7925182 markings, 17781467 edges, 6073 markings/sec, 1150 secs
lola: sara is running 1155 secs || 7952238 markings, 17871684 edges, 5411 markings/sec, 1155 secs
lola: sara is running 1160 secs || 7979752 markings, 17960635 edges, 5503 markings/sec, 1160 secs
lola: sara is running 1165 secs || 8006957 markings, 18050883 edges, 5441 markings/sec, 1165 secs
lola: sara is running 1170 secs || 8035338 markings, 18140897 edges, 5676 markings/sec, 1170 secs
lola: sara is running 1175 secs || 8063782 markings, 18233047 edges, 5689 markings/sec, 1175 secs
lola: sara is running 1180 secs || 8096478 markings, 18330629 edges, 6539 markings/sec, 1180 secs
lola: sara is running 1185 secs || 8127592 markings, 18423758 edges, 6223 markings/sec, 1185 secs
lola: sara is running 1190 secs || 8158236 markings, 18518566 edges, 6129 markings/sec, 1190 secs
lola: sara is running 1195 secs || 8191688 markings, 18612550 edges, 6690 markings/sec, 1195 secs
lola: sara is running 1200 secs || 8219495 markings, 18703974 edges, 5561 markings/sec, 1200 secs
lola: sara is running 1205 secs || 8247504 markings, 18795550 edges, 5602 markings/sec, 1205 secs
lola: sara is running 1210 secs || 8275465 markings, 18886864 edges, 5592 markings/sec, 1210 secs
lola: sara is running 1215 secs || 8304206 markings, 18978917 edges, 5748 markings/sec, 1215 secs
lola: sara is running 1220 secs || 8333030 markings, 19072477 edges, 5765 markings/sec, 1220 secs
lola: sara is running 1225 secs || 8362299 markings, 19169112 edges, 5854 markings/sec, 1225 secs
lola: sara is running 1230 secs || 8398188 markings, 19269137 edges, 7178 markings/sec, 1230 secs
lola: sara is running 1235 secs || 8426233 markings, 19360130 edges, 5609 markings/sec, 1235 secs
lola: sara is running 1240 secs || 8453325 markings, 19451025 edges, 5418 markings/sec, 1240 secs
lola: sara is running 1245 secs || 8482032 markings, 19544350 edges, 5741 markings/sec, 1245 secs
lola: sara is running 1250 secs || 8515025 markings, 19643466 edges, 6599 markings/sec, 1250 secs
lola: sara is running 1255 secs || 8540035 markings, 19728485 edges, 5002 markings/sec, 1255 secs
lola: sara is running 1260 secs || 8564478 markings, 19802713 edges, 4889 markings/sec, 1260 secs
lola: sara is running 1265 secs || 8592333 markings, 19872017 edges, 5571 markings/sec, 1265 secs
lola: sara is running 1270 secs || 8615634 markings, 19931235 edges, 4660 markings/sec, 1270 secs
lola: sara is running 1275 secs || 8639717 markings, 19994947 edges, 4817 markings/sec, 1275 secs
lola: sara is running 1280 secs || 8666738 markings, 20073244 edges, 5404 markings/sec, 1280 secs
lola: sara is running 1285 secs || 8694835 markings, 20154003 edges, 5619 markings/sec, 1285 secs
lola: sara is running 1290 secs || 8718401 markings, 20219780 edges, 4713 markings/sec, 1290 secs
lola: sara is running 1295 secs || 8741593 markings, 20290574 edges, 4638 markings/sec, 1295 secs
lola: sara is running 1300 secs || 8766197 markings, 20364181 edges, 4921 markings/sec, 1300 secs
lola: sara is running 1305 secs || 8792183 markings, 20437050 edges, 5197 markings/sec, 1305 secs
lola: sara is running 1310 secs || 8819838 markings, 20509952 edges, 5531 markings/sec, 1310 secs
lola: sara is running 1315 secs || 8850881 markings, 20608359 edges, 6209 markings/sec, 1315 secs
lola: sara is running 1320 secs || 8881285 markings, 20702919 edges, 6081 markings/sec, 1320 secs
lola: sara is running 1325 secs || 8911738 markings, 20799031 edges, 6091 markings/sec, 1325 secs
lola: sara is running 1330 secs || 8942197 markings, 20893622 edges, 6092 markings/sec, 1330 secs
lola: sara is running 1335 secs || 8972611 markings, 20989174 edges, 6083 markings/sec, 1335 secs
lola: sara is running 1340 secs || 9002603 markings, 21083692 edges, 5998 markings/sec, 1340 secs
lola: sara is running 1345 secs || 9033316 markings, 21179450 edges, 6143 markings/sec, 1345 secs
lola: sara is running 1350 secs || 9064351 markings, 21274926 edges, 6207 markings/sec, 1350 secs
lola: sara is running 1355 secs || 9096339 markings, 21371375 edges, 6398 markings/sec, 1355 secs
lola: sara is running 1360 secs || 9127195 markings, 21468251 edges, 6171 markings/sec, 1360 secs
lola: sara is running 1365 secs || 9159268 markings, 21569993 edges, 6415 markings/sec, 1365 secs
lola: sara is running 1370 secs || 9193211 markings, 21660212 edges, 6789 markings/sec, 1370 secs
lola: sara is running 1375 secs || 9222212 markings, 21732341 edges, 5800 markings/sec, 1375 secs
lola: sara is running 1380 secs || 9248935 markings, 21807081 edges, 5345 markings/sec, 1380 secs
lola: sara is running 1385 secs || 9273730 markings, 21876150 edges, 4959 markings/sec, 1385 secs
lola: sara is running 1390 secs || 9301480 markings, 21947329 edges, 5550 markings/sec, 1390 secs
lola: sara is running 1395 secs || 9324912 markings, 22012313 edges, 4686 markings/sec, 1395 secs
lola: sara is running 1400 secs || 9350694 markings, 22081329 edges, 5156 markings/sec, 1400 secs
lola: sara is running 1405 secs || 9374357 markings, 22146744 edges, 4733 markings/sec, 1405 secs
lola: sara is running 1410 secs || 9399450 markings, 22214708 edges, 5019 markings/sec, 1410 secs
lola: sara is running 1415 secs || 9426213 markings, 22285596 edges, 5353 markings/sec, 1415 secs
lola: sara is running 1420 secs || 9453441 markings, 22356784 edges, 5446 markings/sec, 1420 secs
lola: sara is running 1425 secs || 9479569 markings, 22435900 edges, 5226 markings/sec, 1425 secs
lola: sara is running 1430 secs || 9507124 markings, 22517099 edges, 5511 markings/sec, 1430 secs
lola: sara is running 1435 secs || 9533351 markings, 22598102 edges, 5245 markings/sec, 1435 secs
lola: sara is running 1440 secs || 9559000 markings, 22682467 edges, 5130 markings/sec, 1440 secs
lola: sara is running 1445 secs || 9586233 markings, 22763446 edges, 5447 markings/sec, 1445 secs
lola: sara is running 1450 secs || 9613386 markings, 22839443 edges, 5431 markings/sec, 1450 secs
lola: sara is running 1455 secs || 9640853 markings, 22922431 edges, 5493 markings/sec, 1455 secs
lola: sara is running 1460 secs || 9668307 markings, 23002770 edges, 5491 markings/sec, 1460 secs
lola: sara is running 1465 secs || 9692675 markings, 23077244 edges, 4874 markings/sec, 1465 secs
lola: sara is running 1470 secs || 9718011 markings, 23137019 edges, 5067 markings/sec, 1470 secs
lola: sara is running 1475 secs || 9742982 markings, 23197480 edges, 4994 markings/sec, 1475 secs
lola: sara is running 1480 secs || 9767972 markings, 23257238 edges, 4998 markings/sec, 1480 secs
lola: sara is running 1485 secs || 9792777 markings, 23334371 edges, 4961 markings/sec, 1485 secs
lola: sara is running 1490 secs || 9817092 markings, 23404656 edges, 4863 markings/sec, 1490 secs
lola: sara is running 1495 secs || 9840882 markings, 23471507 edges, 4758 markings/sec, 1495 secs
lola: sara is running 1500 secs || 9866669 markings, 23532069 edges, 5157 markings/sec, 1500 secs
lola: sara is running 1505 secs || 9890493 markings, 23601692 edges, 4765 markings/sec, 1505 secs
lola: sara is running 1510 secs || 9915467 markings, 23664907 edges, 4995 markings/sec, 1510 secs
lola: sara is running 1515 secs || 9941713 markings, 23737992 edges, 5249 markings/sec, 1515 secs
lola: sara is running 1520 secs || 9967946 markings, 23821061 edges, 5247 markings/sec, 1520 secs
lola: sara is running 1525 secs || 9993259 markings, 23906047 edges, 5063 markings/sec, 1525 secs
lola: sara is running 1530 secs || 10018558 markings, 23987545 edges, 5060 markings/sec, 1530 secs
lola: sara is running 1535 secs || 10043312 markings, 24070209 edges, 4951 markings/sec, 1535 secs
lola: sara is running 1540 secs || 10069303 markings, 24154098 edges, 5198 markings/sec, 1540 secs
lola: sara is running 1545 secs || 10094596 markings, 24235408 edges, 5059 markings/sec, 1545 secs
lola: sara is running 1550 secs || 10120805 markings, 24321631 edges, 5242 markings/sec, 1550 secs
lola: sara is running 1555 secs || 10149324 markings, 24403337 edges, 5704 markings/sec, 1555 secs
lola: sara is running 1560 secs || 10174563 markings, 24477768 edges, 5048 markings/sec, 1560 secs
lola: sara is running 1565 secs || 10200254 markings, 24554782 edges, 5138 markings/sec, 1565 secs
lola: sara is running 1570 secs || 10226965 markings, 24630942 edges, 5342 markings/sec, 1570 secs
lola: sara is running 1575 secs || 10255589 markings, 24717447 edges, 5725 markings/sec, 1575 secs
lola: sara is running 1580 secs || 10282314 markings, 24805229 edges, 5345 markings/sec, 1580 secs
lola: sara is running 1585 secs || 10309285 markings, 24891703 edges, 5394 markings/sec, 1585 secs
lola: sara is running 1590 secs || 10335721 markings, 24979740 edges, 5287 markings/sec, 1590 secs
lola: sara is running 1595 secs || 10363205 markings, 25068462 edges, 5497 markings/sec, 1595 secs
lola: sara is running 1600 secs || 10390836 markings, 25156582 edges, 5526 markings/sec, 1600 secs
lola: sara is running 1605 secs || 10419059 markings, 25248569 edges, 5645 markings/sec, 1605 secs
lola: sara is running 1610 secs || 10451534 markings, 25340031 edges, 6495 markings/sec, 1610 secs
lola: sara is running 1615 secs || 10477543 markings, 25425060 edges, 5202 markings/sec, 1615 secs
lola: sara is running 1620 secs || 10503499 markings, 25512194 edges, 5191 markings/sec, 1620 secs
lola: sara is running 1625 secs || 10530812 markings, 25594904 edges, 5463 markings/sec, 1625 secs
lola: sara is running 1630 secs || 10558999 markings, 25680245 edges, 5637 markings/sec, 1630 secs
lola: sara is running 1635 secs || 10585492 markings, 25762497 edges, 5299 markings/sec, 1635 secs
lola: sara is running 1640 secs || 10613536 markings, 25844024 edges, 5609 markings/sec, 1640 secs
lola: sara is running 1645 secs || 10644771 markings, 25935714 edges, 6247 markings/sec, 1645 secs
lola: sara is running 1650 secs || 10671962 markings, 26025350 edges, 5438 markings/sec, 1650 secs
lola: sara is running 1655 secs || 10699500 markings, 26114362 edges, 5508 markings/sec, 1655 secs
lola: sara is running 1660 secs || 10726498 markings, 26204124 edges, 5400 markings/sec, 1660 secs
lola: sara is running 1665 secs || 10754453 markings, 26294666 edges, 5591 markings/sec, 1665 secs
lola: sara is running 1670 secs || 10783221 markings, 26385233 edges, 5754 markings/sec, 1670 secs
lola: sara is running 1675 secs || 10813507 markings, 26481119 edges, 6057 markings/sec, 1675 secs
lola: sara is running 1680 secs || 10846367 markings, 26576414 edges, 6572 markings/sec, 1680 secs
lola: sara is running 1685 secs || 10877165 markings, 26669602 edges, 6160 markings/sec, 1685 secs
lola: sara is running 1690 secs || 10910620 markings, 26763864 edges, 6691 markings/sec, 1690 secs
lola: sara is running 1695 secs || 10938671 markings, 26855782 edges, 5610 markings/sec, 1695 secs
lola: sara is running 1700 secs || 10966458 markings, 26947299 edges, 5557 markings/sec, 1700 secs
lola: sara is running 1705 secs || 10994651 markings, 27037999 edges, 5639 markings/sec, 1705 secs
lola: sara is running 1710 secs || 11022566 markings, 27130573 edges, 5583 markings/sec, 1710 secs
lola: sara is running 1715 secs || 11051923 markings, 27222950 edges, 5871 markings/sec, 1715 secs
lola: sara is running 1720 secs || 11081081 markings, 27319031 edges, 5832 markings/sec, 1720 secs
lola: sara is running 1725 secs || 11115387 markings, 27418334 edges, 6861 markings/sec, 1725 secs
lola: sara is running 1730 secs || 11145101 markings, 27510827 edges, 5943 markings/sec, 1730 secs
lola: sara is running 1735 secs || 11172123 markings, 27601348 edges, 5404 markings/sec, 1735 secs
lola: sara is running 1740 secs || 11200029 markings, 27694300 edges, 5581 markings/sec, 1740 secs
lola: sara is running 1745 secs || 11231890 markings, 27790637 edges, 6372 markings/sec, 1745 secs
lola: sara is running 1750 secs || 11260595 markings, 27881811 edges, 5741 markings/sec, 1750 secs
lola: sara is running 1755 secs || 11283530 markings, 27956766 edges, 4587 markings/sec, 1755 secs
lola: sara is running 1760 secs || 11312020 markings, 28029795 edges, 5698 markings/sec, 1760 secs
lola: sara is running 1765 secs || 11336337 markings, 28086962 edges, 4863 markings/sec, 1765 secs
lola: sara is running 1770 secs || 11359629 markings, 28150040 edges, 4658 markings/sec, 1770 secs
lola: sara is running 1775 secs || 11384963 markings, 28228505 edges, 5067 markings/sec, 1775 secs
lola: sara is running 1780 secs || 11414410 markings, 28305906 edges, 5889 markings/sec, 1780 secs
lola: sara is running 1785 secs || 11439994 markings, 28376529 edges, 5117 markings/sec, 1785 secs
lola: sara is running 1790 secs || 11462643 markings, 28450700 edges, 4530 markings/sec, 1790 secs
lola: sara is running 1795 secs || 11487964 markings, 28524837 edges, 5064 markings/sec, 1795 secs
lola: sara is running 1800 secs || 11511498 markings, 28599893 edges, 4707 markings/sec, 1800 secs
lola: sara is running 1805 secs || 11537257 markings, 28673461 edges, 5152 markings/sec, 1805 secs
lola: sara is running 1810 secs || 11571353 markings, 28759540 edges, 6819 markings/sec, 1810 secs
lola: sara is running 1815 secs || 11600082 markings, 28845105 edges, 5746 markings/sec, 1815 secs
lola: sara is running 1820 secs || 11627999 markings, 28930800 edges, 5583 markings/sec, 1820 secs
lola: sara is running 1825 secs || 11654020 markings, 29008554 edges, 5204 markings/sec, 1825 secs
lola: sara is running 1830 secs || 11680614 markings, 29092345 edges, 5319 markings/sec, 1830 secs
lola: sara is running 1835 secs || 11707381 markings, 29171145 edges, 5353 markings/sec, 1835 secs
lola: sara is running 1840 secs || 11734455 markings, 29257130 edges, 5415 markings/sec, 1840 secs
lola: sara is running 1845 secs || 11758083 markings, 29333037 edges, 4726 markings/sec, 1845 secs
lola: sara is running 1850 secs || 11786563 markings, 29421804 edges, 5696 markings/sec, 1850 secs
lola: sara is running 1855 secs || 11813668 markings, 29502950 edges, 5421 markings/sec, 1855 secs
lola: sara is running 1860 secs || 11839091 markings, 29581123 edges, 5085 markings/sec, 1860 secs
lola: sara is running 1865 secs || 11866331 markings, 29665235 edges, 5448 markings/sec, 1865 secs
lola: sara is running 1870 secs || 11895012 markings, 29751952 edges, 5736 markings/sec, 1870 secs
lola: sara is running 1875 secs || 11920252 markings, 29832544 edges, 5048 markings/sec, 1875 secs
lola: sara is running 1880 secs || 11945050 markings, 29916266 edges, 4960 markings/sec, 1880 secs
lola: sara is running 1885 secs || 11970176 markings, 29995229 edges, 5025 markings/sec, 1885 secs
lola: sara is running 1890 secs || 11996629 markings, 30078662 edges, 5291 markings/sec, 1890 secs
lola: sara is running 1895 secs || 12024997 markings, 30166524 edges, 5674 markings/sec, 1895 secs
lola: sara is running 1900 secs || 12051289 markings, 30252582 edges, 5258 markings/sec, 1900 secs
lola: sara is running 1905 secs || 12078773 markings, 30337615 edges, 5497 markings/sec, 1905 secs
lola: sara is running 1910 secs || 12107118 markings, 30425119 edges, 5669 markings/sec, 1910 secs
lola: sara is running 1915 secs || 12133494 markings, 30510527 edges, 5275 markings/sec, 1915 secs
lola: sara is running 1920 secs || 12159815 markings, 30597740 edges, 5264 markings/sec, 1920 secs
lola: sara is running 1925 secs || 12188093 markings, 30683691 edges, 5656 markings/sec, 1925 secs
lola: sara is running 1930 secs || 12216397 markings, 30774293 edges, 5661 markings/sec, 1930 secs
lola: sara is running 1935 secs || 12242940 markings, 30858625 edges, 5309 markings/sec, 1935 secs
lola: sara is running 1940 secs || 12270567 markings, 30947618 edges, 5525 markings/sec, 1940 secs
lola: sara is running 1945 secs || 12299059 markings, 31038123 edges, 5698 markings/sec, 1945 secs
lola: sara is running 1950 secs || 12329084 markings, 31129091 edges, 6005 markings/sec, 1950 secs
lola: sara is running 1955 secs || 12357449 markings, 31223767 edges, 5673 markings/sec, 1955 secs
lola: sara is running 1960 secs || 12385893 markings, 31319445 edges, 5689 markings/sec, 1960 secs
lola: sara is running 1965 secs || 12413730 markings, 31414096 edges, 5567 markings/sec, 1965 secs
lola: sara is running 1970 secs || 12442616 markings, 31507691 edges, 5777 markings/sec, 1970 secs
lola: sara is running 1975 secs || 12472850 markings, 31601282 edges, 6047 markings/sec, 1975 secs
lola: sara is running 1980 secs || 12501650 markings, 31698059 edges, 5760 markings/sec, 1980 secs
lola: sara is running 1985 secs || 12530525 markings, 31796528 edges, 5775 markings/sec, 1985 secs
lola: sara is running 1990 secs || 12559166 markings, 31892295 edges, 5728 markings/sec, 1990 secs
lola: sara is running 1995 secs || 12588476 markings, 31988025 edges, 5862 markings/sec, 1995 secs
lola: sara is running 2000 secs || 12617521 markings, 32083093 edges, 5809 markings/sec, 2000 secs
lola: sara is running 2005 secs || 12648055 markings, 32178934 edges, 6107 markings/sec, 2005 secs
lola: sara is running 2010 secs || 12677672 markings, 32276124 edges, 5923 markings/sec, 2010 secs
lola: sara is running 2015 secs || 12707604 markings, 32379711 edges, 5986 markings/sec, 2015 secs
lola: sara is running 2020 secs || 12738052 markings, 32480875 edges, 6090 markings/sec, 2020 secs
lola: sara is running 2025 secs || 12770128 markings, 32581106 edges, 6415 markings/sec, 2025 secs
lola: sara is running 2030 secs || 12800361 markings, 32680985 edges, 6047 markings/sec, 2030 secs
lola: sara is running 2035 secs || 12830718 markings, 32783137 edges, 6071 markings/sec, 2035 secs
lola: sara is running 2040 secs || 12861350 markings, 32885329 edges, 6126 markings/sec, 2040 secs
lola: sara is running 2045 secs || 12892279 markings, 32987693 edges, 6186 markings/sec, 2045 secs
lola: sara is running 2050 secs || 12916347 markings, 33079549 edges, 4814 markings/sec, 2050 secs
lola: sara is running 2055 secs || 12942373 markings, 33173405 edges, 5205 markings/sec, 2055 secs
lola: sara is running 2060 secs || 12980812 markings, 33268531 edges, 7688 markings/sec, 2060 secs
lola: sara is running 2065 secs || 13021474 markings, 33359286 edges, 8132 markings/sec, 2065 secs
lola: sara is running 2070 secs || 13057779 markings, 33452335 edges, 7261 markings/sec, 2070 secs
lola: sara is running 2075 secs || 13094361 markings, 33535777 edges, 7316 markings/sec, 2075 secs
lola: sara is running 2080 secs || 13128050 markings, 33600389 edges, 6738 markings/sec, 2080 secs
lola: sara is running 2085 secs || 13161006 markings, 33664040 edges, 6591 markings/sec, 2085 secs
lola: sara is running 2090 secs || 13195090 markings, 33724191 edges, 6817 markings/sec, 2090 secs
lola: sara is running 2095 secs || 13233830 markings, 33770838 edges, 7748 markings/sec, 2095 secs
lola: sara is running 2100 secs || 13269762 markings, 33823831 edges, 7186 markings/sec, 2100 secs
lola: sara is running 2105 secs || 13307569 markings, 33869232 edges, 7561 markings/sec, 2105 secs
lola: sara is running 2110 secs || 13344951 markings, 33914185 edges, 7476 markings/sec, 2110 secs
lola: sara is running 2115 secs || 13376965 markings, 33974740 edges, 6403 markings/sec, 2115 secs
lola: sara is running 2120 secs || 13410074 markings, 34036400 edges, 6622 markings/sec, 2120 secs
lola: sara is running 2125 secs || 13448781 markings, 34083025 edges, 7741 markings/sec, 2125 secs
lola: sara is running 2130 secs || 13487517 markings, 34129516 edges, 7747 markings/sec, 2130 secs
lola: sara is running 2135 secs || 13525785 markings, 34176115 edges, 7654 markings/sec, 2135 secs
lola: sara is running 2140 secs || 13558764 markings, 34239818 edges, 6596 markings/sec, 2140 secs
lola: sara is running 2145 secs || 13591645 markings, 34303207 edges, 6576 markings/sec, 2145 secs
lola: sara is running 2150 secs || 13628058 markings, 34357001 edges, 7283 markings/sec, 2150 secs
lola: sara is running 2155 secs || 13662628 markings, 34415577 edges, 6914 markings/sec, 2155 secs
lola: sara is running 2160 secs || 13692564 markings, 34483335 edges, 5987 markings/sec, 2160 secs
lola: sara is running 2165 secs || 13728429 markings, 34536446 edges, 7173 markings/sec, 2165 secs
lola: sara is running 2170 secs || 13762988 markings, 34596453 edges, 6912 markings/sec, 2170 secs
lola: sara is running 2175 secs || 13790407 markings, 34672402 edges, 5484 markings/sec, 2175 secs
lola: sara is running 2180 secs || 13825622 markings, 34726762 edges, 7043 markings/sec, 2180 secs
lola: sara is running 2185 secs || 13862039 markings, 34781740 edges, 7283 markings/sec, 2185 secs
lola: sara is running 2190 secs || 13894606 markings, 34843880 edges, 6513 markings/sec, 2190 secs
lola: sara is running 2195 secs || 13932826 markings, 34892450 edges, 7644 markings/sec, 2195 secs
lola: sara is running 2200 secs || 13965689 markings, 34955580 edges, 6573 markings/sec, 2200 secs
lola: sara is running 2205 secs || 13998006 markings, 35022960 edges, 6463 markings/sec, 2205 secs
lola: sara is running 2210 secs || 14031172 markings, 35087011 edges, 6633 markings/sec, 2210 secs
lola: sara is running 2215 secs || 14060954 markings, 35159173 edges, 5956 markings/sec, 2215 secs
lola: sara is running 2220 secs || 14099898 markings, 35207919 edges, 7789 markings/sec, 2220 secs
lola: sara is running 2225 secs || 14134063 markings, 35268544 edges, 6833 markings/sec, 2225 secs
lola: sara is running 2230 secs || 14173569 markings, 35316080 edges, 7901 markings/sec, 2230 secs
lola: sara is running 2235 secs || 14202377 markings, 35392804 edges, 5762 markings/sec, 2235 secs
lola: sara is running 2240 secs || 14234669 markings, 35454729 edges, 6458 markings/sec, 2240 secs
lola: sara is running 2245 secs || 14266948 markings, 35522439 edges, 6456 markings/sec, 2245 secs
lola: sara is running 2250 secs || 14293970 markings, 35598219 edges, 5404 markings/sec, 2250 secs
lola: sara is running 2255 secs || 14322682 markings, 35656866 edges, 5742 markings/sec, 2255 secs
lola: sara is running 2260 secs || 14354777 markings, 35726187 edges, 6419 markings/sec, 2260 secs
lola: sara is running 2265 secs || 14388585 markings, 35791045 edges, 6762 markings/sec, 2265 secs
lola: sara is running 2270 secs || 14423166 markings, 35856486 edges, 6916 markings/sec, 2270 secs
lola: sara is running 2275 secs || 14461337 markings, 35911129 edges, 7634 markings/sec, 2275 secs
lola: sara is running 2280 secs || 14492043 markings, 35978344 edges, 6141 markings/sec, 2280 secs
lola: sara is running 2285 secs || 14523015 markings, 36046961 edges, 6194 markings/sec, 2285 secs
lola: sara is running 2290 secs || 14557291 markings, 36116955 edges, 6855 markings/sec, 2290 secs
lola: sara is running 2295 secs || 14592514 markings, 36188420 edges, 7045 markings/sec, 2295 secs
lola: sara is running 2300 secs || 14624352 markings, 36257681 edges, 6368 markings/sec, 2300 secs
lola: sara is running 2305 secs || 14658241 markings, 36324544 edges, 6778 markings/sec, 2305 secs
lola: sara is running 2310 secs || 14690655 markings, 36391922 edges, 6483 markings/sec, 2310 secs
lola: sara is running 2315 secs || 14723324 markings, 36458615 edges, 6534 markings/sec, 2315 secs
lola: sara is running 2320 secs || 14754375 markings, 36528120 edges, 6210 markings/sec, 2320 secs
lola: sara is running 2325 secs || 14789350 markings, 36596855 edges, 6995 markings/sec, 2325 secs
lola: sara is running 2330 secs || 14824947 markings, 36656349 edges, 7119 markings/sec, 2330 secs
lola: sara is running 2335 secs || 14859610 markings, 36721689 edges, 6933 markings/sec, 2335 secs
lola: sara is running 2340 secs || 14891895 markings, 36792235 edges, 6457 markings/sec, 2340 secs
lola: sara is running 2345 secs || 14925290 markings, 36864836 edges, 6679 markings/sec, 2345 secs
lola: sara is running 2350 secs || 14959717 markings, 36929680 edges, 6885 markings/sec, 2350 secs
lola: sara is running 2355 secs || 14989704 markings, 37002589 edges, 5997 markings/sec, 2355 secs
lola: sara is running 2360 secs || 15023658 markings, 37072732 edges, 6791 markings/sec, 2360 secs
lola: sara is running 2365 secs || 15059036 markings, 37139696 edges, 7076 markings/sec, 2365 secs
lola: sara is running 2370 secs || 15097576 markings, 37198778 edges, 7708 markings/sec, 2370 secs
lola: sara is running 2375 secs || 15132417 markings, 37262664 edges, 6968 markings/sec, 2375 secs
lola: sara is running 2380 secs || 15165429 markings, 37334836 edges, 6602 markings/sec, 2380 secs
lola: sara is running 2385 secs || 15199526 markings, 37404606 edges, 6819 markings/sec, 2385 secs
lola: sara is running 2390 secs || 15235312 markings, 37479368 edges, 7157 markings/sec, 2390 secs
lola: sara is running 2395 secs || 15268062 markings, 37550959 edges, 6550 markings/sec, 2395 secs
lola: sara is running 2400 secs || 15303349 markings, 37620684 edges, 7057 markings/sec, 2400 secs
lola: sara is running 2405 secs || 15337478 markings, 37691040 edges, 6826 markings/sec, 2405 secs
lola: sara is running 2410 secs || 15370458 markings, 37763742 edges, 6596 markings/sec, 2410 secs
lola: sara is running 2415 secs || 15405088 markings, 37836283 edges, 6926 markings/sec, 2415 secs
lola: sara is running 2420 secs || 15440617 markings, 37904916 edges, 7106 markings/sec, 2420 secs
lola: sara is running 2425 secs || 15476185 markings, 37975953 edges, 7114 markings/sec, 2425 secs
lola: sara is running 2430 secs || 15510042 markings, 38050264 edges, 6771 markings/sec, 2430 secs
lola: sara is running 2435 secs || 15544519 markings, 38124735 edges, 6895 markings/sec, 2435 secs
lola: sara is running 2440 secs || 15576396 markings, 38197616 edges, 6375 markings/sec, 2440 secs
lola: sara is running 2445 secs || 15600069 markings, 38261344 edges, 4735 markings/sec, 2445 secs
lola: sara is running 2450 secs || 15624294 markings, 38329437 edges, 4845 markings/sec, 2450 secs
lola: sara is running 2455 secs || 15647172 markings, 38396460 edges, 4576 markings/sec, 2455 secs
lola: sara is running 2460 secs || 15669991 markings, 38463663 edges, 4564 markings/sec, 2460 secs
lola: sara is running 2465 secs || 15692578 markings, 38529857 edges, 4517 markings/sec, 2465 secs
lola: sara is running 2470 secs || 15717276 markings, 38591664 edges, 4940 markings/sec, 2470 secs
lola: sara is running 2475 secs || 15743281 markings, 38649092 edges, 5201 markings/sec, 2475 secs
lola: sara is running 2480 secs || 15767315 markings, 38711672 edges, 4807 markings/sec, 2480 secs
lola: sara is running 2485 secs || 15792715 markings, 38767752 edges, 5080 markings/sec, 2485 secs
lola: sara is running 2490 secs || 15818287 markings, 38823801 edges, 5114 markings/sec, 2490 secs
lola: sara is running 2495 secs || 15843365 markings, 38879192 edges, 5016 markings/sec, 2495 secs
lola: sara is running 2500 secs || 15868413 markings, 38934560 edges, 5010 markings/sec, 2500 secs
lola: sara is running 2505 secs || 15889809 markings, 39002009 edges, 4279 markings/sec, 2505 secs
lola: sara is running 2510 secs || 15912181 markings, 39070507 edges, 4474 markings/sec, 2510 secs
lola: sara is running 2515 secs || 15938311 markings, 39132209 edges, 5226 markings/sec, 2515 secs
lola: sara is running 2520 secs || 15965044 markings, 39191313 edges, 5347 markings/sec, 2520 secs
lola: sara is running 2525 secs || 15991861 markings, 39250029 edges, 5363 markings/sec, 2525 secs
lola: sara is running 2530 secs || 16018318 markings, 39308441 edges, 5291 markings/sec, 2530 secs
lola: sara is running 2535 secs || 16044387 markings, 39368285 edges, 5214 markings/sec, 2535 secs
lola: sara is running 2540 secs || 16068406 markings, 39439005 edges, 4804 markings/sec, 2540 secs
lola: sara is running 2545 secs || 16092359 markings, 39509118 edges, 4791 markings/sec, 2545 secs
lola: sara is running 2550 secs || 16116111 markings, 39579085 edges, 4750 markings/sec, 2550 secs
lola: sara is running 2555 secs || 16143053 markings, 39641654 edges, 5388 markings/sec, 2555 secs
lola: sara is running 2560 secs || 16169835 markings, 39703426 edges, 5356 markings/sec, 2560 secs
lola: sara is running 2565 secs || 16190943 markings, 39780795 edges, 4222 markings/sec, 2565 secs
lola: sara is running 2570 secs || 16214073 markings, 39851094 edges, 4626 markings/sec, 2570 secs
lola: sara is running 2575 secs || 16240709 markings, 39915474 edges, 5327 markings/sec, 2575 secs
lola: sara is running 2580 secs || 16268484 markings, 39976816 edges, 5555 markings/sec, 2580 secs
lola: sara is running 2585 secs || 16290424 markings, 40057348 edges, 4388 markings/sec, 2585 secs
lola: sara is running 2590 secs || 16311313 markings, 40136491 edges, 4178 markings/sec, 2590 secs
lola: sara is running 2595 secs || 16337830 markings, 40202892 edges, 5303 markings/sec, 2595 secs
lola: sara is running 2600 secs || 16366190 markings, 40265473 edges, 5672 markings/sec, 2600 secs
lola: sara is running 2605 secs || 16390174 markings, 40342883 edges, 4797 markings/sec, 2605 secs
lola: sara is running 2610 secs || 16416555 markings, 40410418 edges, 5276 markings/sec, 2610 secs
lola: sara is running 2615 secs || 16445289 markings, 40474182 edges, 5747 markings/sec, 2615 secs
lola: sara is running 2620 secs || 16470592 markings, 40546384 edges, 5061 markings/sec, 2620 secs
lola: sara is running 2625 secs || 16496118 markings, 40622547 edges, 5105 markings/sec, 2625 secs
lola: sara is running 2630 secs || 16521061 markings, 40700832 edges, 4989 markings/sec, 2630 secs
lola: sara is running 2635 secs || 16546635 markings, 40775983 edges, 5115 markings/sec, 2635 secs
lola: sara is running 2640 secs || 16569725 markings, 40858468 edges, 4618 markings/sec, 2640 secs
lola: sara is running 2645 secs || 16597629 markings, 40926422 edges, 5581 markings/sec, 2645 secs
lola: sara is running 2650 secs || 16626899 markings, 40992242 edges, 5854 markings/sec, 2650 secs
lola: sara is running 2655 secs || 16652763 markings, 41067320 edges, 5173 markings/sec, 2655 secs
lola: sara is running 2660 secs || 16682518 markings, 41133072 edges, 5951 markings/sec, 2660 secs
lola: sara is running 2665 secs || 16708493 markings, 41210144 edges, 5195 markings/sec, 2665 secs
lola: sara is running 2670 secs || 16731130 markings, 41291327 edges, 4527 markings/sec, 2670 secs
lola: sara is running 2675 secs || 16757407 markings, 41368426 edges, 5255 markings/sec, 2675 secs
lola: sara is running 2680 secs || 16782758 markings, 41448459 edges, 5070 markings/sec, 2680 secs
lola: sara is running 2685 secs || 16804677 markings, 41533349 edges, 4384 markings/sec, 2685 secs
lola: sara is running 2690 secs || 16826420 markings, 41603553 edges, 4349 markings/sec, 2690 secs
lola: sara is running 2695 secs || 16851633 markings, 41676943 edges, 5043 markings/sec, 2695 secs
lola: sara is running 2700 secs || 16876999 markings, 41758829 edges, 5073 markings/sec, 2700 secs
lola: sara is running 2705 secs || 16904038 markings, 41837540 edges, 5408 markings/sec, 2705 secs
lola: sara is running 2710 secs || 16932169 markings, 41917871 edges, 5626 markings/sec, 2710 secs
lola: sara is running 2715 secs || 16961993 markings, 41991659 edges, 5965 markings/sec, 2715 secs
lola: sara is running 2720 secs || 16989293 markings, 42069536 edges, 5460 markings/sec, 2720 secs
lola: sara is running 2725 secs || 17015572 markings, 42151869 edges, 5256 markings/sec, 2725 secs
lola: sara is running 2730 secs || 17040583 markings, 42232368 edges, 5002 markings/sec, 2730 secs
lola: sara is running 2735 secs || 17068801 markings, 42317491 edges, 5644 markings/sec, 2735 secs
lola: sara is running 2740 secs || 17097627 markings, 42406922 edges, 5765 markings/sec, 2740 secs
lola: sara is running 2745 secs || 17123898 markings, 42489367 edges, 5254 markings/sec, 2745 secs
lola: sara is running 2750 secs || 17151160 markings, 42574026 edges, 5452 markings/sec, 2750 secs
lola: sara is running 2755 secs || 17178257 markings, 42653511 edges, 5419 markings/sec, 2755 secs
lola: sara is running 2760 secs || 17204478 markings, 42735495 edges, 5244 markings/sec, 2760 secs
lola: sara is running 2765 secs || 17231971 markings, 42817150 edges, 5499 markings/sec, 2765 secs
lola: sara is running 2770 secs || 17257600 markings, 42900064 edges, 5126 markings/sec, 2770 secs
lola: sara is running 2775 secs || 17285175 markings, 42987915 edges, 5515 markings/sec, 2775 secs
lola: sara is running 2780 secs || 17312568 markings, 43066707 edges, 5479 markings/sec, 2780 secs
lola: sara is running 2785 secs || 17342034 markings, 43142560 edges, 5893 markings/sec, 2785 secs
lola: sara is running 2790 secs || 17370148 markings, 43224575 edges, 5623 markings/sec, 2790 secs
lola: sara is running 2795 secs || 17397063 markings, 43308188 edges, 5383 markings/sec, 2795 secs
lola: sara is running 2800 secs || 17423746 markings, 43393815 edges, 5337 markings/sec, 2800 secs
lola: sara is running 2805 secs || 17452839 markings, 43482013 edges, 5819 markings/sec, 2805 secs
lola: sara is running 2810 secs || 17479615 markings, 43565484 edges, 5355 markings/sec, 2810 secs
lola: sara is running 2815 secs || 17505053 markings, 43649900 edges, 5088 markings/sec, 2815 secs
lola: sara is running 2820 secs || 17533070 markings, 43736872 edges, 5603 markings/sec, 2820 secs
lola: sara is running 2825 secs || 17561774 markings, 43820006 edges, 5741 markings/sec, 2825 secs
lola: sara is running 2830 secs || 17591150 markings, 43904644 edges, 5875 markings/sec, 2830 secs
lola: sara is running 2835 secs || 17624416 markings, 43978074 edges, 6653 markings/sec, 2835 secs
lola: sara is running 2840 secs || 17651322 markings, 44062837 edges, 5381 markings/sec, 2840 secs
lola: sara is running 2845 secs || 17679069 markings, 44151445 edges, 5549 markings/sec, 2845 secs
lola: sara is running 2850 secs || 17705876 markings, 44237383 edges, 5361 markings/sec, 2850 secs
lola: sara is running 2855 secs || 17736132 markings, 44331723 edges, 6051 markings/sec, 2855 secs
lola: sara is running 2860 secs || 17764809 markings, 44417010 edges, 5735 markings/sec, 2860 secs
lola: sara is running 2865 secs || 17793271 markings, 44507296 edges, 5692 markings/sec, 2865 secs
lola: sara is running 2870 secs || 17822172 markings, 44591739 edges, 5780 markings/sec, 2870 secs
lola: sara is running 2875 secs || 17850461 markings, 44678967 edges, 5658 markings/sec, 2875 secs
lola: sara is running 2880 secs || 17878160 markings, 44766279 edges, 5540 markings/sec, 2880 secs
lola: sara is running 2885 secs || 17906319 markings, 44855625 edges, 5632 markings/sec, 2885 secs
lola: sara is running 2890 secs || 17935677 markings, 44943401 edges, 5872 markings/sec, 2890 secs
lola: sara is running 2895 secs || 17965730 markings, 45030781 edges, 6011 markings/sec, 2895 secs
lola: sara is running 2900 secs || 17994629 markings, 45119783 edges, 5780 markings/sec, 2900 secs
lola: sara is running 2905 secs || 18022879 markings, 45210318 edges, 5650 markings/sec, 2905 secs
lola: sara is running 2910 secs || 18052913 markings, 45301458 edges, 6007 markings/sec, 2910 secs
lola: sara is running 2915 secs || 18079192 markings, 45393470 edges, 5256 markings/sec, 2915 secs
lola: sara is running 2920 secs || 18101151 markings, 45477596 edges, 4392 markings/sec, 2920 secs
lola: sara is running 2925 secs || 18129068 markings, 45554807 edges, 5583 markings/sec, 2925 secs
lola: sara is running 2930 secs || 18170495 markings, 45661015 edges, 8285 markings/sec, 2930 secs
lola: sara is running 2935 secs || 18208800 markings, 45761084 edges, 7661 markings/sec, 2935 secs
lola: sara is running 2940 secs || 18245051 markings, 45849419 edges, 7250 markings/sec, 2940 secs
lola: sara is running 2945 secs || 18284043 markings, 45948070 edges, 7798 markings/sec, 2945 secs
lola: sara is running 2950 secs || 18314023 markings, 46023447 edges, 5996 markings/sec, 2950 secs
lola: sara is running 2955 secs || 18349427 markings, 46115497 edges, 7081 markings/sec, 2955 secs
lola: sara is running 2960 secs || 18379958 markings, 46192052 edges, 6106 markings/sec, 2960 secs
lola: sara is running 2965 secs || 18415808 markings, 46285073 edges, 7170 markings/sec, 2965 secs
lola: sara is running 2970 secs || 18452365 markings, 46380159 edges, 7311 markings/sec, 2970 secs
lola: sara is running 2975 secs || 18489716 markings, 46474391 edges, 7470 markings/sec, 2975 secs
lola: sara is running 2980 secs || 18533370 markings, 46587016 edges, 8731 markings/sec, 2980 secs
lola: sara is running 2985 secs || 18573536 markings, 46687886 edges, 8033 markings/sec, 2985 secs
lola: sara is running 2990 secs || 18610933 markings, 46785611 edges, 7479 markings/sec, 2990 secs
lola: sara is running 2995 secs || 18649497 markings, 46885788 edges, 7713 markings/sec, 2995 secs
lola: sara is running 3000 secs || 18687108 markings, 46980752 edges, 7522 markings/sec, 3000 secs
lola: sara is running 3005 secs || 18723016 markings, 47076490 edges, 7182 markings/sec, 3005 secs
lola: sara is running 3010 secs || 18756625 markings, 47171389 edges, 6722 markings/sec, 3010 secs
lola: sara is running 3015 secs || 18789927 markings, 47261598 edges, 6660 markings/sec, 3015 secs
lola: sara is running 3020 secs || 18827509 markings, 47359586 edges, 7516 markings/sec, 3020 secs
lola: sara is running 3025 secs || 18866852 markings, 47460922 edges, 7869 markings/sec, 3025 secs
lola: sara is running 3030 secs || 18903388 markings, 47559417 edges, 7307 markings/sec, 3030 secs
lola: sara is running 3035 secs || 18939479 markings, 47655959 edges, 7218 markings/sec, 3035 secs
lola: sara is running 3040 secs || 18977627 markings, 47755832 edges, 7630 markings/sec, 3040 secs
lola: sara is running 3045 secs || 19022000 markings, 47878310 edges, 8875 markings/sec, 3045 secs
lola: sara is running 3050 secs || 19060437 markings, 47978343 edges, 7687 markings/sec, 3050 secs
lola: sara is running 3055 secs || 19093977 markings, 48071091 edges, 6708 markings/sec, 3055 secs
lola: sara is running 3060 secs || 19132356 markings, 48177973 edges, 7676 markings/sec, 3060 secs
lola: sara is running 3065 secs || 19174078 markings, 48300202 edges, 8344 markings/sec, 3065 secs
lola: sara is running 3070 secs || 19217039 markings, 48424158 edges, 8592 markings/sec, 3070 secs
lola: sara is running 3075 secs || 19260135 markings, 48543967 edges, 8619 markings/sec, 3075 secs
lola: sara is running 3080 secs || 19301838 markings, 48654653 edges, 8341 markings/sec, 3080 secs
lola: sara is running 3085 secs || 19340519 markings, 48755975 edges, 7736 markings/sec, 3085 secs
lola: sara is running 3090 secs || 19377309 markings, 48850840 edges, 7358 markings/sec, 3090 secs
lola: sara is running 3095 secs || 19417657 markings, 48975162 edges, 8070 markings/sec, 3095 secs
lola: sara is running 3100 secs || 19459645 markings, 49101955 edges, 8398 markings/sec, 3100 secs
lola: sara is running 3105 secs || 19502782 markings, 49221708 edges, 8627 markings/sec, 3105 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes yes no yes no no yes no yes unknown no yes unknown no yes
lola: memory consumption: 4744000 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to ReachabilityCardinality.json
lola: closed JSON file ReachabilityCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (((p850 <= p1562) OR (p1063 <= p2000))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((p850 <= p1562) OR (p1063 <= p2000))))
lola: processed formula length: 46
lola: 17 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p1562 + 1 <= p850) AND (p2000 + 1 <= p1063))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityCardinality-16-0.sara.
lola: time limit reached - aborting
lola:
preliminary result: yes yes yes no yes no no yes no yes unknown no yes unknown no yes
lola:
preliminary result: yes yes yes no yes no no yes no yes unknown no yes unknown no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes no yes no no yes no yes unknown no yes unknown no yes
lola: memory consumption: 83184 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to ReachabilityCardinality.json
lola: closed JSON file ReachabilityCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes no yes no no yes no yes unknown no yes unknown no yes
lola: memory consumption: 83184 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to ReachabilityCardinality.json
lola: closed JSON file ReachabilityCardinality.json
rslt: finished

BK_STOP 1552727363746

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-318"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-318, 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 r038-smll-155229649000269"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-318.tgz
mv CloudReconfiguration-PT-318 execution
cd execution
if [ "ReachabilityCardinality" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "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 ;