About the Execution of ITS-LoLa for ViralEpidemic-PT-S03D1C1A02
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15726.840 | 3600000.00 | 3615106.00 | 434.90 | FTFFTTTFTFTFTFF? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r228-oct2-159033547700492.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is ViralEpidemic-PT-S03D1C1A02, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r228-oct2-159033547700492
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 4.0K May 14 04:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 04:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 22:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 22:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.9K May 13 15:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 15:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K May 13 11:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K May 13 11:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 65K May 12 20:42 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 ViralEpidemic-PT-S03D1C1A02-CTLFireability-00
FORMULA_NAME ViralEpidemic-PT-S03D1C1A02-CTLFireability-01
FORMULA_NAME ViralEpidemic-PT-S03D1C1A02-CTLFireability-02
FORMULA_NAME ViralEpidemic-PT-S03D1C1A02-CTLFireability-03
FORMULA_NAME ViralEpidemic-PT-S03D1C1A02-CTLFireability-04
FORMULA_NAME ViralEpidemic-PT-S03D1C1A02-CTLFireability-05
FORMULA_NAME ViralEpidemic-PT-S03D1C1A02-CTLFireability-06
FORMULA_NAME ViralEpidemic-PT-S03D1C1A02-CTLFireability-07
FORMULA_NAME ViralEpidemic-PT-S03D1C1A02-CTLFireability-08
FORMULA_NAME ViralEpidemic-PT-S03D1C1A02-CTLFireability-09
FORMULA_NAME ViralEpidemic-PT-S03D1C1A02-CTLFireability-10
FORMULA_NAME ViralEpidemic-PT-S03D1C1A02-CTLFireability-11
FORMULA_NAME ViralEpidemic-PT-S03D1C1A02-CTLFireability-12
FORMULA_NAME ViralEpidemic-PT-S03D1C1A02-CTLFireability-13
FORMULA_NAME ViralEpidemic-PT-S03D1C1A02-CTLFireability-14
FORMULA_NAME ViralEpidemic-PT-S03D1C1A02-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591306682402
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 21:38:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 21:38:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 21:38:05] [INFO ] Load time of PNML (sax parser for PT used): 74 ms
[2020-06-04 21:38:05] [INFO ] Transformed 66 places.
[2020-06-04 21:38:05] [INFO ] Transformed 91 transitions.
[2020-06-04 21:38:05] [INFO ] Parsed PT model containing 66 places and 91 transitions in 148 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 24 ms.
Incomplete random walk after 100000 steps, including 7478 resets, run finished after 306 ms. (steps per millisecond=326 ) properties seen :[1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 91 rows 66 cols
[2020-06-04 21:38:06] [INFO ] Computed 1 place invariants in 6 ms
[2020-06-04 21:38:06] [INFO ] [Real]Absence check using 0 positive and 1 generalized place invariants in 11 ms returned sat
[2020-06-04 21:38:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 21:38:06] [INFO ] [Real]Absence check using state equation in 33 ms returned unsat
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2020-06-04 21:38:06] [INFO ] Flatten gal took : 37 ms
[2020-06-04 21:38:06] [INFO ] Flatten gal took : 21 ms
[2020-06-04 21:38:06] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 5 ms.
[2020-06-04 21:38:06] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ ViralEpidemic-PT-S03D1C1A02 @ 3570 seconds
FORMULA ViralEpidemic-PT-S03D1C1A02-CTLFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S03D1C1A02-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S03D1C1A02-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S03D1C1A02-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S03D1C1A02-CTLFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S03D1C1A02-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S03D1C1A02-CTLFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S03D1C1A02-CTLFireability-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S03D1C1A02-CTLFireability-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S03D1C1A02-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S03D1C1A02-CTLFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S03D1C1A02-CTLFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S03D1C1A02-CTLFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S03D1C1A02-CTLFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ViralEpidemic-PT-S03D1C1A02-CTLFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ ViralEpidemic-PT-S03D1C1A02
{
"exit":
{
"memory": 11214976,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p2 <= 0) OR (p45 <= 0))",
"processed_size": 26,
"rewrites": 35
},
"result":
{
"preliminary_value": "no yes no no yes yes yes no yes no yes no yes no no unknown "
},
"task":
{
"compoundnumber": 17,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "tscc preserving/always up"
}
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"store":
{
"type": "dfs/tscc"
},
"type": "liveness",
"workflow": "stateequation"
}
}
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: 157/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2112
lola: finding significant places
lola: 66 places, 91 transitions, 65 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 CTLFireability.xml
lola: A (F (E (G (((1 <= p49) AND (1 <= p51)))))) : A (G (A (F ((((p50 <= 0) OR (p51 <= 0)) AND ((p20 <= 0) OR (p22 <= 0))))))) : E (F (E (G (((1 <= p0) AND (1 <= p24)))))) : (E (X ((1 <= 0))) OR A (F ((((1 <= p61) AND (1 <= p63)) OR ((1 <= p35) AND (1 <= p38)))))) : E (G (E (((((1 <= p4) AND (1 <= p6)) OR ((1 <= p4) AND (1 <= p18))) U ((p14 <= 0) OR (p15 <= 0)))))) : E (F ((A (F ((1 <= p54))) AND E (G (((p56 <= 0) OR (p58 <= 0))))))) : NOT(E (((((1 <= p2) AND (1 <= p3) AND (1 <= p24)) OR ((1 <= p1) AND (1 <= p34) AND (1 <= p38))) U A (F ((1 <= p48)))))) : A (G (E (F (((1 <= p62) AND (1 <= p65) AND (((1 <= p19) AND (1 <= p22)) OR ((1 <= p20) AND (1 <= p21)))))))) : E (G (E (F (((p50 <= 0) OR (p52 <= 0) OR (p20 <= 0) OR (p22 <= 0)))))) : (A (F (((1 <= p41) AND (1 <= p44)))) AND E (X (((p28 <= 0) OR (p32 <= 0))))) : E (G (((p26 <= 0) OR (p33 <= 0) OR (((p20 <= 0) OR (p23 <= 0)) AND ((p7 <= 0) OR (p10 <= 0)) AND ((p25 <= 0) OR (p39 <= 0)))))) : E (X (A (F ((((1 <= p4) AND (1 <= p18)) OR ((1 <= p50) AND (1 <= p53) AND (1 <= p20) AND (1 <= p23))))))) : E (F (E (G (((p46 <= 0) OR (p60 <= 0) OR (p4 <= 0) OR (p6 <= 0)))))) : ((A (F ((((1 <= p24) AND (1 <= p41) AND (1 <= p42)) OR ((1 <= p29) AND (1 <= p32) AND (1 <= p62) AND (1 <= p64))))) OR A (G ((((1 <= p14) AND (1 <= p17)) OR ((1 <= p14) AND (1 <= p17)) OR ((1 <= p28) AND (1 <= p30)))))) OR ((((NOT(A (X (((1 <= p49) AND (1 <= p53))))) AND (1 <= p25)) AND (1 <= p39)) AND (((1 <= p40) AND (1 <= p42)) OR ((1 <= p8) AND (1 <= p9) AND (1 <= p2) AND (1 <= p3)))) AND (NOT(A (G (((1 <= p8) AND (1 <= p9))))) OR ((1 <= p41) AND (1 <= p43) AND (1 <= p46) AND (1 <= p48) AND (1 <= p60) AND ((p28 <= 0) OR (p32 <= 0)))))) : E (((E (X (((1 <= p46) AND (1 <= p60)))) OR E (G ((1 <= p39)))) U (((p3 <= 0) AND A (F (((1 <= p35) AND (1 <= p38))))) AND ((p61 <= 0) OR (p63 <= 0))))) : (NOT(E (F (A (G (((1 <= p2) AND (1 <= p45))))))) AND NOT(E ((((1 <= p25) AND (1 <= p39)) U ((1 <= p27) OR ((1 <= p29) AND (1 <= p30)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:133
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (((1 <= p41) AND (1 <= p44)))) AND E (X (((p28 <= 0) OR (p32 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((1 <= p41) AND (1 <= p44))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p41 <= 0) OR (p44 <= 0))
lola: processed formula length: 27
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 19 markings, 18 edges
lola: formula 0: ((1 <= p41) AND (1 <= p44))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (F ((((1 <= p4) AND (1 <= p18)) OR ((1 <= p50) AND (1 <= p53) AND (1 <= p20) AND (1 <= p23)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(AF((((1 <= p4) AND (1 <= p18)) OR ((1 <= p50) AND (1 <= p53) AND (1 <= p20) AND (1 <= p23)))))
lola: processed formula length: 98
lola: 34 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 23 markings, 22 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((((1 <= p24) AND (1 <= p41) AND (1 <= p42)) OR ((1 <= p29) AND (1 <= p32) AND (1 <= p62) AND (1 <= p64))))) OR (A (G ((((1 <= p14) AND (1 <= p17)) OR ((1 <= p14) AND (1 <= p17)) OR ((1 <= p28) AND (1 <= p30))))) OR (E (X (((p49 <= 0) OR (p53 <= 0)))) AND ((1 <= p25) AND ((1 <= p39) AND ((((1 <= p40) AND (1 <= p42)) OR ((1 <= p8) AND (1 <= p9) AND (1 <= p2) AND (1 <= p3))) AND (E (F (((... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p41) AND (1 <= p43) AND (1 <= p46) AND (1 <= p48) AND (1 <= p60) AND ((p28 <= 0) OR (p32 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p41) AND (1 <= p43) AND (1 <= p46) AND (1 <= p48) AND (1 <= p60) AND ((p28 <= 0) OR (p32 <= 0)))
lola: processed formula length: 104
lola: 32 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 7 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 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p39)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p39)
lola: processed formula length: 10
lola: 32 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 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 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((1 <= p14) AND (1 <= p17)) OR ((1 <= p14) AND (1 <= p17)) OR ((1 <= p28) AND (1 <= p30)))))
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 ((((1 <= p14) AND (1 <= p17)) OR ((1 <= p14) AND (1 <= p17)) OR ((1 <= p28) AND (1 <= p30)))))
lola: processed formula length: 101
lola: 34 rewrites
lola: closed formula file CTLFireability.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: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
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: (((p14 <= 0) OR (p17 <= 0)) AND ((p14 <= 0) OR (p17 <= 0)) AND ((p28 <= 0) OR (p30 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 24 literals and 8 conjunctive subformulas
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((((1 <= p24) AND (1 <= p41) AND (1 <= p42)) OR ((1 <= p29) AND (1 <= p32) AND (1 <= p62) AND (1 <= p64)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (((p24 <= 0) OR (p41 <= 0) OR (p42 <= 0)) AND ((p29 <= 0) OR (p32 <= 0) OR (p62 <= 0) OR (p64 <= 0)))
lola: processed formula length: 106
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p24) AND (1 <= p41) AND (1 <= p42)) OR ((1 <= p29) AND (1 <= p32) AND (1 <= p62) AND (1 <= p64)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 7 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-5-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 21 markings, 20 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((E (X (((1 <= p46) AND (1 <= p60)))) OR E (G ((1 <= p39)))) U ((p3 <= 0) AND (A (F (((1 <= p35) AND (1 <= p38)))) AND ((p61 <= 0) OR (p63 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((EX(((1 <= p46) AND (1 <= p60))) OR EG((1 <= p39))) U ((p3 <= 0) AND (AF(((1 <= p35) AND (1 <= p38))) AND ((p61 <= 0) OR (p63 <= 0)))))
lola: processed formula length: 138
lola: 36 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 31 markings, 32 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (((1 <= p0) AND (1 <= p24))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:598
lola: rewrite Frontend/Parser/formula_rewrite.k:633
lola: rewrite Frontend/Parser/formula_rewrite.k:730
lola: processed formula: ((1 <= p0) AND (1 <= p24))
lola: processed formula length: 26
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p0 <= 0) OR (p24 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-4-0.sara
lola: state equation: calling and running sara
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((1 <= p0) AND (1 <= p24))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-4-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-4-0.sara.sara:
try reading problem file CTLFireability-4-1.sara.
sara: error: :108: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
sara: error: :108: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: state equation:solution unknown
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate is not possibly preserved from any reachable marking.
lola: 176454 markings, 771324 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (((p46 <= 0) OR (p60 <= 0) OR (p4 <= 0) OR (p6 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:598
lola: rewrite Frontend/Parser/formula_rewrite.k:633
lola: rewrite Frontend/Parser/formula_rewrite.k:730
lola: processed formula: ((p46 <= 0) OR (p60 <= 0) OR (p4 <= 0) OR (p6 <= 0))
lola: processed formula length: 55
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 24 markings, 23 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F ((((p50 <= 0) OR (p51 <= 0)) AND ((p20 <= 0) OR (p22 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all states
lola: rewrite Frontend/Parser/formula_rewrite.k:599
lola: rewrite Frontend/Parser/formula_rewrite.k:634
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (((1 <= p50) AND (1 <= p51)) OR ((1 <= p20) AND (1 <= p22)))
lola: processed formula length: 61
lola: 36 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((p50 <= 0) OR (p51 <= 0)) AND ((p20 <= 0) OR (p22 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 8 literals and 4 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (((1 <= p50) AND (1 <= p51)) OR ((1 <= p20) AND (1 <= p22)))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-6-0.sara
lola: state equation: write sara problem file to CTLFireability-6-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-6-1.sara.
sara: error: :108: 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: calling and running sara
sara: try reading problem file CTLFireability-6-0.sara.
sara: error: :108: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: state equation:solution unknown
lola: sara is running 0 secs || sara is running 0 secs || 2405865 markings, 6060380 edges, 481173 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 4477663 markings, 12189667 edges, 414360 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 5529135 markings, 18381206 edges, 210294 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 6529034 markings, 24449510 edges, 199980 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 7987452 markings, 30559637 edges, 291684 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 9125049 markings, 36608175 edges, 227519 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 10273101 markings, 42719524 edges, 229610 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 11373982 markings, 48614779 edges, 220176 markings/sec, 35 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate eventually occurs from all states.
lola: 12050394 markings, 52083124 edges
lola: ========================================
lola: subprocess 7 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((((1 <= p61) AND (1 <= p63)) OR ((1 <= p35) AND (1 <= p38)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (((p61 <= 0) OR (p63 <= 0)) AND ((p35 <= 0) OR (p38 <= 0)))
lola: processed formula length: 61
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p61) AND (1 <= p63)) OR ((1 <= p35) AND (1 <= p38)))
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: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 19 markings, 18 edges
lola: ========================================
lola: subprocess 8 will run for 440 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (((1 <= p62) AND (1 <= p65) AND (((1 <= p19) AND (1 <= p22)) OR ((1 <= p20) AND (1 <= p21))))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: ((1 <= p62) AND (1 <= p65) AND (((1 <= p19) AND (1 <= p22)) OR ((1 <= p20) AND (1 <= p21))))
lola: processed formula length: 93
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: tscc_search
lola: The predicate is not live.
lola: 7 markings, 6 edges
lola: ========================================
lola: subprocess 9 will run for 503 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((p26 <= 0) OR (p33 <= 0) OR (((p20 <= 0) OR (p23 <= 0)) AND ((p7 <= 0) OR (p10 <= 0)) AND ((p25 <= 0) OR (p39 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G (((p26 <= 0) OR (p33 <= 0) OR (((p20 <= 0) OR (p23 <= 0)) AND ((p7 <= 0) OR (p10 <= 0)) AND ((p25 <= 0) OR (p39 <= 0))))))
lola: processed formula length: 132
lola: 33 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 12 markings, 11 edges
lola: ========================================
lola: subprocess 10 will run for 587 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (G (((1 <= p49) AND (1 <= p51))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF(EG(((1 <= p49) AND (1 <= p51))))
lola: processed formula length: 35
lola: 34 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1850593 markings, 6317097 edges, 370119 markings/sec, 0 secs
lola: 3311209 markings, 11979105 edges, 292123 markings/sec, 5 secs
lola: 4672135 markings, 17159072 edges, 272185 markings/sec, 10 secs
lola: 6001765 markings, 22314536 edges, 265926 markings/sec, 15 secs
lola: 7298149 markings, 27585103 edges, 259277 markings/sec, 20 secs
lola: 8623732 markings, 32893454 edges, 265117 markings/sec, 25 secs
lola: 9799501 markings, 38195111 edges, 235154 markings/sec, 30 secs
lola: 11161624 markings, 44220219 edges, 272425 markings/sec, 35 secs
lola: 12638023 markings, 49783445 edges, 295280 markings/sec, 40 secs
lola: 13697310 markings, 54829777 edges, 211857 markings/sec, 45 secs
lola: 14519254 markings, 58995064 edges, 164389 markings/sec, 50 secs
lola: 15241537 markings, 63369659 edges, 144457 markings/sec, 55 secs
lola: 15962415 markings, 67711709 edges, 144176 markings/sec, 60 secs
lola: 16779093 markings, 71989466 edges, 163336 markings/sec, 65 secs
lola: 17478683 markings, 76253797 edges, 139918 markings/sec, 70 secs
lola: 18169497 markings, 80469225 edges, 138163 markings/sec, 75 secs
lola: 18899881 markings, 84923686 edges, 146077 markings/sec, 80 secs
lola: 19580717 markings, 89440549 edges, 136167 markings/sec, 85 secs
lola: 20226985 markings, 94270732 edges, 129254 markings/sec, 90 secs
lola: 21169571 markings, 99359831 edges, 188517 markings/sec, 95 secs
lola: 22051821 markings, 104314930 edges, 176450 markings/sec, 100 secs
lola: 23753209 markings, 109163619 edges, 340278 markings/sec, 105 secs
lola: 25345474 markings, 113720387 edges, 318453 markings/sec, 110 secs
lola: 26728164 markings, 118216310 edges, 276538 markings/sec, 115 secs
lola: 28176922 markings, 122792856 edges, 289752 markings/sec, 120 secs
lola: 29631014 markings, 127168291 edges, 290818 markings/sec, 125 secs
lola: 31119064 markings, 131642291 edges, 297610 markings/sec, 130 secs
lola: 32429694 markings, 135930454 edges, 262126 markings/sec, 135 secs
lola: 33801822 markings, 140410360 edges, 274426 markings/sec, 140 secs
lola: 35214921 markings, 144894100 edges, 282620 markings/sec, 145 secs
lola: 36616359 markings, 149417977 edges, 280288 markings/sec, 150 secs
lola: 37909424 markings, 153926080 edges, 258613 markings/sec, 155 secs
lola: 39041774 markings, 158577478 edges, 226470 markings/sec, 160 secs
lola: 40747364 markings, 163734803 edges, 341118 markings/sec, 165 secs
lola: 42308814 markings, 168457125 edges, 312290 markings/sec, 170 secs
lola: 43751974 markings, 173288462 edges, 288632 markings/sec, 175 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 43806469 markings, 173442745 edges
lola: ========================================
lola: subprocess 11 will run for 668 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (((((1 <= p4) AND (1 <= p6)) OR ((1 <= p4) AND (1 <= p18))) U ((p14 <= 0) OR (p15 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(E((((1 <= p4) AND (1 <= p6)) OR ((1 <= p4) AND (1 <= p18))) U ((p14 <= 0) OR (p15 <= 0))))
lola: processed formula length: 95
lola: 34 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 32 markings, 64 edges
lola: ========================================
lola: subprocess 12 will run for 836 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((((p2 <= 0) OR (p3 <= 0) OR (p24 <= 0)) AND ((p1 <= 0) OR (p34 <= 0) OR (p38 <= 0))) R E (G ((p48 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: processed formula: A((((p2 <= 0) OR (p3 <= 0) OR (p24 <= 0)) AND ((p1 <= 0) OR (p34 <= 0) OR (p38 <= 0))) R EG((p48 <= 0)))
lola: processed formula length: 108
lola: 34 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 24 markings, 24 edges
lola: ========================================
lola: subprocess 13 will run for 1114 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (F ((1 <= p54))) AND E (G (((p56 <= 0) OR (p58 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((AF((1 <= p54)) AND EG(((p56 <= 0) OR (p58 <= 0)))))
lola: processed formula length: 56
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 52 markings, 57 edges
lola: ========================================
lola: subprocess 14 will run for 1671 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F (((p50 <= 0) OR (p52 <= 0) OR (p20 <= 0) OR (p22 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:593
lola: rewrite Frontend/Parser/formula_rewrite.k:628
lola: rewrite Frontend/Parser/formula_rewrite.k:731
lola: processed formula: ((p50 <= 0) OR (p52 <= 0) OR (p20 <= 0) OR (p22 <= 0))
lola: processed formula length: 57
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EGEF
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: Reachability of the predicate is possibly preserved.
lola: 32 markings, 31 edges
lola: ========================================
lola: subprocess 15 will run for 3343 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (E (F (((p2 <= 0) OR (p45 <= 0)))))) AND A ((((p25 <= 0) OR (p39 <= 0)) R ((p27 <= 0) AND ((p29 <= 0) OR (p30 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 3343 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((p25 <= 0) OR (p39 <= 0)) R ((p27 <= 0) AND ((p29 <= 0) OR (p30 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking universal release
lola: rewrite Frontend/Parser/formula_rewrite.k:619
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:693
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A ((((p25 <= 0) OR (p39 <= 0)) R ((p27 <= 0) AND ((p29 <= 0) OR (p30 <= 0)))))
lola: processed formula length: 80
lola: 37 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EU
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p27) OR ((1 <= p29) AND (1 <= p30)))
lola: state equation task get result unparse finished id 0
lola: Predicate Phi releases Predicate Psi on all paths.
lola: state equation: Generated DNF with 3 literals and 2 conjunctive subformulas
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (A (G (E (F (((p2 <= 0) OR (p45 <= 0)))))) AND A ((((p25 <= 0) OR (p39 <= 0)) R ((p27 <= 0) AND ((p29 <= 0) OR (p30 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A ((((p25 <= 0) OR (p39 <= 0)) R ((p27 <= 0) AND ((p29 <= 0) OR (p30 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking universal release
lola: rewrite Frontend/Parser/formula_rewrite.k:619
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:693
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A ((((p25 <= 0) OR (p39 <= 0)) R ((p27 <= 0) AND ((p29 <= 0) OR (p30 <= 0)))))
lola: processed formula length: 80
lola: 37 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EU
lola: Predicate Phi releases Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (E (F (((p2 <= 0) OR (p45 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: ((p2 <= 0) OR (p45 <= 0))
lola: processed formula length: 26
lola: 35 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 0
lola: state equation task get result unparse finished++ id 1
lola: formula 0: ((1 <= p2) AND (1 <= p45))
lola: state equation task get result unparse finished id 0
lola: formula 1: ((p2 <= 0) OR (p45 <= 0))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-17-1.sara
lola: state equation: write sara problem file to CTLFireability-17-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-17-0.sara.
sara: error: :108: 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: calling and running sara
sara: try reading problem file CTLFireability-17-1.sara.
sara: error: :108: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: state equation:solution unknown
lola: sara is running 0 secs || sara is running 0 secs || 921111 markings, 7914872 edges, 184222 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 1660760 markings, 15044948 edges, 147930 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 2378718 markings, 22180119 edges, 143592 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 3085233 markings, 29366824 edges, 141303 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 3756337 markings, 37064734 edges, 134221 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 4564599 markings, 44630111 edges, 161652 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 5419578 markings, 52434210 edges, 170996 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 6187156 markings, 59497045 edges, 153516 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 6881270 markings, 66577575 edges, 138823 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 7562194 markings, 73757495 edges, 136185 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 8266865 markings, 81369785 edges, 140934 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 9083510 markings, 89082030 edges, 163329 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 9930811 markings, 96897356 edges, 169460 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 10697865 markings, 104058152 edges, 153411 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 11412588 markings, 111343264 edges, 142945 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 12069420 markings, 118804330 edges, 131366 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 12855217 markings, 126624951 edges, 157159 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 13603784 markings, 133347739 edges, 149713 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 14234157 markings, 139349358 edges, 126075 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 14883399 markings, 145333199 edges, 129848 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 15477251 markings, 151419450 edges, 118770 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 16105600 markings, 157729857 edges, 125670 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 16621067 markings, 164406749 edges, 103093 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 17384014 markings, 171456544 edges, 152589 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 18050600 markings, 178189698 edges, 133317 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 18590624 markings, 184496286 edges, 108005 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 19156115 markings, 190916471 edges, 113098 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 19686266 markings, 197152511 edges, 106030 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 20212517 markings, 203686577 edges, 105250 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 20731570 markings, 210281406 edges, 103811 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 21282796 markings, 217525347 edges, 110245 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 21875020 markings, 224579458 edges, 118445 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 22492771 markings, 230847856 edges, 123550 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 23007555 markings, 236901197 edges, 102957 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 23538162 markings, 242910910 edges, 106121 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 24049096 markings, 248906645 edges, 102187 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 24548812 markings, 254999135 edges, 99943 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 25056102 markings, 261357371 edges, 101458 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 25538669 markings, 268122851 edges, 96513 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 26143254 markings, 275115337 edges, 120917 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 26797045 markings, 280925833 edges, 130758 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 27344155 markings, 286218402 edges, 109422 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 27916510 markings, 291559945 edges, 114471 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 28457144 markings, 296853018 edges, 108127 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 28964451 markings, 302088332 edges, 101461 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 29477926 markings, 307572985 edges, 102695 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 29990076 markings, 313475841 edges, 102430 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 30602688 markings, 319426402 edges, 122522 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 31209617 markings, 325531279 edges, 121386 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 31708901 markings, 331407394 edges, 99857 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 32226825 markings, 337288750 edges, 103585 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 32727097 markings, 343157657 edges, 100054 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 33231019 markings, 349188495 edges, 100784 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 33715194 markings, 355227800 edges, 96835 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 34123718 markings, 361571410 edges, 81705 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 34750449 markings, 368316442 edges, 125346 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 35306556 markings, 374738290 edges, 111221 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 35870629 markings, 380622189 edges, 112815 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 36336185 markings, 386407651 edges, 93111 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 36872753 markings, 392199778 edges, 107314 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 37346279 markings, 397953609 edges, 94705 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 37830061 markings, 403910509 edges, 96756 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 38282726 markings, 409858888 edges, 90533 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 38753338 markings, 416133651 edges, 94122 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 39294428 markings, 422434008 edges, 108218 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 39888562 markings, 428623164 edges, 118827 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 40387835 markings, 434403014 edges, 99855 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 40910799 markings, 440470548 edges, 104593 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 41432018 markings, 446439606 edges, 104244 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 41943711 markings, 452582639 edges, 102339 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 42448780 markings, 458785717 edges, 101014 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 42866662 markings, 465208683 edges, 83576 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 43487098 markings, 471992460 edges, 124087 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 44047660 markings, 478398882 edges, 112112 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 44596709 markings, 484185953 edges, 109810 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 45069805 markings, 489940814 edges, 94619 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 45606343 markings, 495799454 edges, 107308 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 46084219 markings, 501609031 edges, 95575 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 46566839 markings, 507594111 edges, 96524 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 47036939 markings, 513703357 edges, 94020 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 47523638 markings, 520184655 edges, 97340 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 48075281 markings, 526683493 edges, 110329 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 48582646 markings, 533530168 edges, 101473 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 49021030 markings, 540033326 edges, 87677 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 49420238 markings, 546516699 edges, 79842 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 49846109 markings, 552968273 edges, 85174 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 50253978 markings, 559423819 edges, 81574 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 50666593 markings, 566014808 edges, 82523 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 51077156 markings, 572658317 edges, 82113 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 51453496 markings, 579346012 edges, 75268 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 51836710 markings, 585991972 edges, 76643 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 52294249 markings, 592978968 edges, 91508 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 52845898 markings, 599713725 edges, 110330 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 53513412 markings, 605704792 edges, 133503 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 54122207 markings, 611452006 edges, 121759 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 54718328 markings, 617216060 edges, 119224 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 55299096 markings, 623205917 edges, 116154 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 55850893 markings, 629412266 edges, 110359 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 56524932 markings, 636329314 edges, 134808 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 57222270 markings, 642896282 edges, 139468 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 57895330 markings, 648938472 edges, 134612 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 58531839 markings, 654912417 edges, 127302 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 59157193 markings, 660988159 edges, 125071 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 59756965 markings, 667145347 edges, 119954 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 60308327 markings, 673749335 edges, 110272 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 61024386 markings, 680623341 edges, 143212 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 61625550 markings, 687195896 edges, 120233 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 62134277 markings, 693051341 edges, 101745 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 62580127 markings, 698944910 edges, 89170 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 63071230 markings, 704787766 edges, 98221 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 63524143 markings, 710699127 edges, 90583 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 63975237 markings, 716663063 edges, 90219 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 64427654 markings, 722705806 edges, 90483 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 64790174 markings, 728892859 edges, 72504 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 65371823 markings, 735664446 edges, 116330 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 65901872 markings, 741683977 edges, 106010 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 66443885 markings, 746241487 edges, 108403 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 66895710 markings, 750828050 edges, 90365 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 67383996 markings, 755322334 edges, 97657 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 67852762 markings, 759910673 edges, 93753 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 68294255 markings, 764394622 edges, 88299 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 68743140 markings, 769099133 edges, 89777 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 69095453 markings, 773794431 edges, 70463 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 69665009 markings, 779088063 edges, 113911 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 70176695 markings, 784046445 edges, 102337 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 70710008 markings, 788510842 edges, 106663 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 71148777 markings, 792797467 edges, 87754 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 71610597 markings, 797151443 edges, 92364 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 72066422 markings, 801454867 edges, 91165 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 72484599 markings, 805755600 edges, 83635 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 72930032 markings, 810227457 edges, 89087 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 73317410 markings, 814634310 edges, 77476 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 73723229 markings, 819370490 edges, 81164 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 74243029 markings, 824196431 edges, 103960 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 74717797 markings, 829151556 edges, 94954 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 75179574 markings, 833889261 edges, 92355 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 75566932 markings, 838564887 edges, 77472 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 75959200 markings, 843143837 edges, 78454 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 76389621 markings, 847897279 edges, 86084 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 76765888 markings, 852495936 edges, 75253 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 77149203 markings, 857238338 edges, 76663 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 77532129 markings, 861940105 edges, 76585 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 77844340 markings, 866754304 edges, 62442 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 78315212 markings, 872105061 edges, 94174 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 78724238 markings, 877124100 edges, 81805 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 79206505 markings, 882214544 edges, 96453 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 79659831 markings, 887017538 edges, 90665 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 80045927 markings, 891723860 edges, 77219 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 80467530 markings, 896421069 edges, 84321 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 80861878 markings, 901100137 edges, 78870 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 81240280 markings, 905685515 edges, 75680 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 81638643 markings, 910530227 edges, 79673 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 82013833 markings, 915254990 edges, 75038 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 82306288 markings, 920068495 edges, 58491 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 82806225 markings, 925407616 edges, 99987 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 83240635 markings, 930615748 edges, 86882 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 83792425 markings, 935079287 edges, 110358 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 84235301 markings, 939419539 edges, 88575 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 84679822 markings, 943742331 edges, 88904 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 85157800 markings, 948052052 edges, 95596 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 85567968 markings, 952334521 edges, 82034 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 86000815 markings, 956744449 edges, 86569 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 86419155 markings, 961216016 edges, 83668 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 86775417 markings, 965801605 edges, 71252 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 87331266 markings, 970801874 edges, 111170 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 87801081 markings, 975632673 edges, 93963 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 88266550 markings, 980459645 edges, 93094 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 88638741 markings, 984958861 edges, 74438 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 89038077 markings, 989661312 edges, 79867 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 89465702 markings, 994247930 edges, 85525 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 89848078 markings, 998911841 edges, 76475 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 90226012 markings, 1003526921 edges, 75587 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 90612194 markings, 1008249585 edges, 77236 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 90931904 markings, 1012957259 edges, 63942 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 91336734 markings, 1018070280 edges, 80966 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 91787285 markings, 1023150481 edges, 90110 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 92230168 markings, 1028135325 edges, 88577 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 92694661 markings, 1032938858 edges, 92899 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 93079403 markings, 1037576271 edges, 76948 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 93489537 markings, 1042337929 edges, 82027 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 93894711 markings, 1046808270 edges, 81035 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 94261798 markings, 1051293826 edges, 73417 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 94625746 markings, 1055746679 edges, 72790 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 95003716 markings, 1060363421 edges, 75594 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 95308175 markings, 1064857706 edges, 60892 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 95713285 markings, 1070006383 edges, 81022 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 96156550 markings, 1075012685 edges, 88653 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 96609972 markings, 1080097268 edges, 90684 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 97070725 markings, 1084862178 edges, 92151 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 97460095 markings, 1089550196 edges, 77874 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 97857341 markings, 1094201508 edges, 79449 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 98283208 markings, 1098891443 edges, 85173 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 98662502 markings, 1103523029 edges, 75859 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 99047377 markings, 1108261759 edges, 76975 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 99436244 markings, 1113054166 edges, 77773 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 99748773 markings, 1117884996 edges, 62506 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 100227151 markings, 1123313800 edges, 95676 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 100633440 markings, 1128339486 edges, 81258 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 101126583 markings, 1133457263 edges, 98629 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 101565864 markings, 1138157503 edges, 87856 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 101953178 markings, 1142875503 edges, 77463 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 102369593 markings, 1147509168 edges, 83283 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 102766974 markings, 1152226236 edges, 79476 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 103143077 markings, 1156786217 edges, 75221 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 103539197 markings, 1161601837 edges, 79224 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 103916744 markings, 1166353883 edges, 75509 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 104210355 markings, 1171187093 edges, 58722 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 104710339 markings, 1176529799 edges, 99997 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 105127482 markings, 1181630241 edges, 83429 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 105522528 markings, 1187164801 edges, 79009 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 105886278 markings, 1192461971 edges, 72750 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 106204584 markings, 1197637494 edges, 63661 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 106522119 markings, 1202811586 edges, 63507 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 106896903 markings, 1208160713 edges, 74957 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 107209250 markings, 1213282879 edges, 62469 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 107536228 markings, 1218564106 edges, 65396 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 107863160 markings, 1223863221 edges, 65386 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 108192596 markings, 1229220534 edges, 65887 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 108472395 markings, 1234545189 edges, 55960 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 108824618 markings, 1240330610 edges, 70445 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 109201706 markings, 1246056617 edges, 75418 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 109599503 markings, 1251780544 edges, 79559 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 110228613 markings, 1257024855 edges, 125822 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 110751655 markings, 1262315148 edges, 104608 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 111329039 markings, 1267522046 edges, 115477 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 111839203 markings, 1272751469 edges, 102033 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 112374081 markings, 1278178515 edges, 106976 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 112838595 markings, 1283734902 edges, 92903 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 113449885 markings, 1289811735 edges, 122258 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 114059127 markings, 1295611510 edges, 121848 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 114710782 markings, 1301219692 edges, 130331 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 115238904 markings, 1306697290 edges, 105624 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 115858678 markings, 1312254855 edges, 123955 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 116398486 markings, 1317760831 edges, 107962 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 116968180 markings, 1323637131 edges, 113939 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 117464419 markings, 1329814181 edges, 99248 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 118145155 markings, 1336275403 edges, 136147 markings/sec, 1180 secs
lola: sara is running 1185 secs || sara is running 1185 secs || 118681676 markings, 1342075705 edges, 107304 markings/sec, 1185 secs
lola: sara is running 1190 secs || sara is running 1190 secs || 119132752 markings, 1347453744 edges, 90215 markings/sec, 1190 secs
lola: sara is running 1195 secs || sara is running 1195 secs || 119528611 markings, 1352696861 edges, 79172 markings/sec, 1195 secs
lola: sara is running 1200 secs || sara is running 1200 secs || 119975703 markings, 1358025449 edges, 89418 markings/sec, 1200 secs
lola: sara is running 1205 secs || sara is running 1205 secs || 120386235 markings, 1363343729 edges, 82106 markings/sec, 1205 secs
lola: sara is running 1210 secs || sara is running 1210 secs || 120803636 markings, 1368846115 edges, 83480 markings/sec, 1210 secs
lola: sara is running 1215 secs || sara is running 1215 secs || 121228637 markings, 1374434247 edges, 85000 markings/sec, 1215 secs
lola: sara is running 1220 secs || sara is running 1220 secs || 121596519 markings, 1380104495 edges, 73576 markings/sec, 1220 secs
lola: sara is running 1225 secs || sara is running 1225 secs || 122068002 markings, 1386331273 edges, 94297 markings/sec, 1225 secs
lola: sara is running 1230 secs || sara is running 1230 secs || 122520480 markings, 1392173000 edges, 90496 markings/sec, 1230 secs
lola: sara is running 1235 secs || sara is running 1235 secs || 123019873 markings, 1397627141 edges, 99879 markings/sec, 1235 secs
lola: sara is running 1240 secs || sara is running 1240 secs || 123469590 markings, 1402412554 edges, 89943 markings/sec, 1240 secs
lola: sara is running 1245 secs || sara is running 1245 secs || 123862494 markings, 1407197419 edges, 78581 markings/sec, 1245 secs
lola: sara is running 1250 secs || sara is running 1250 secs || 124286364 markings, 1411919655 edges, 84774 markings/sec, 1250 secs
lola: sara is running 1255 secs || sara is running 1255 secs || 124691992 markings, 1416716993 edges, 81126 markings/sec, 1255 secs
lola: sara is running 1260 secs || sara is running 1260 secs || 125073926 markings, 1421385469 edges, 76387 markings/sec, 1260 secs
lola: sara is running 1265 secs || sara is running 1265 secs || 125485373 markings, 1426314469 edges, 82289 markings/sec, 1265 secs
lola: sara is running 1270 secs || sara is running 1270 secs || 125852507 markings, 1431122686 edges, 73427 markings/sec, 1270 secs
lola: sara is running 1275 secs || sara is running 1275 secs || 126183598 markings, 1436103273 edges, 66218 markings/sec, 1275 secs
lola: sara is running 1280 secs || sara is running 1280 secs || 126688816 markings, 1441560351 edges, 101044 markings/sec, 1280 secs
lola: sara is running 1285 secs || sara is running 1285 secs || 127123376 markings, 1446737076 edges, 86912 markings/sec, 1285 secs
lola: sara is running 1290 secs || sara is running 1290 secs || 127590290 markings, 1451490958 edges, 93383 markings/sec, 1290 secs
lola: sara is running 1295 secs || sara is running 1295 secs || 127980162 markings, 1456051588 edges, 77974 markings/sec, 1295 secs
lola: sara is running 1300 secs || sara is running 1300 secs || 128348790 markings, 1460592544 edges, 73726 markings/sec, 1300 secs
lola: sara is running 1305 secs || sara is running 1305 secs || 128793822 markings, 1465247668 edges, 89006 markings/sec, 1305 secs
lola: sara is running 1310 secs || sara is running 1310 secs || 129170919 markings, 1469808764 edges, 75419 markings/sec, 1310 secs
lola: sara is running 1315 secs || sara is running 1315 secs || 129542914 markings, 1474355752 edges, 74399 markings/sec, 1315 secs
lola: sara is running 1320 secs || sara is running 1320 secs || 129931701 markings, 1479077114 edges, 77757 markings/sec, 1320 secs
lola: sara is running 1325 secs || sara is running 1325 secs || 130271651 markings, 1483708696 edges, 67990 markings/sec, 1325 secs
lola: sara is running 1330 secs || sara is running 1330 secs || 130619135 markings, 1488623964 edges, 69497 markings/sec, 1330 secs
lola: sara is running 1335 secs || sara is running 1335 secs || 131085903 markings, 1493744040 edges, 93354 markings/sec, 1335 secs
lola: sara is running 1340 secs || sara is running 1340 secs || 131502807 markings, 1498889852 edges, 83381 markings/sec, 1340 secs
lola: sara is running 1345 secs || sara is running 1345 secs || 131915065 markings, 1503891414 edges, 82452 markings/sec, 1345 secs
lola: sara is running 1350 secs || sara is running 1350 secs || 132284810 markings, 1508775816 edges, 73949 markings/sec, 1350 secs
lola: sara is running 1355 secs || sara is running 1355 secs || 132618536 markings, 1513504482 edges, 66745 markings/sec, 1355 secs
lola: sara is running 1360 secs || sara is running 1360 secs || 132988315 markings, 1518382177 edges, 73956 markings/sec, 1360 secs
lola: sara is running 1365 secs || sara is running 1365 secs || 133348771 markings, 1523188471 edges, 72091 markings/sec, 1365 secs
lola: sara is running 1370 secs || sara is running 1370 secs || 133686039 markings, 1527973414 edges, 67454 markings/sec, 1370 secs
lola: sara is running 1375 secs || sara is running 1375 secs || 134027220 markings, 1532818920 edges, 68236 markings/sec, 1375 secs
lola: sara is running 1380 secs || sara is running 1380 secs || 134369458 markings, 1537677221 edges, 68448 markings/sec, 1380 secs
lola: sara is running 1385 secs || sara is running 1385 secs || 134676355 markings, 1542585610 edges, 61379 markings/sec, 1385 secs
lola: sara is running 1390 secs || sara is running 1390 secs || 134982893 markings, 1547608669 edges, 61308 markings/sec, 1390 secs
lola: sara is running 1395 secs || sara is running 1395 secs || 135415936 markings, 1553149752 edges, 86609 markings/sec, 1395 secs
lola: sara is running 1400 secs || sara is running 1400 secs || 135772266 markings, 1558343435 edges, 71266 markings/sec, 1400 secs
lola: sara is running 1405 secs || sara is running 1405 secs || 136212269 markings, 1563636215 edges, 88001 markings/sec, 1405 secs
lola: sara is running 1410 secs || sara is running 1410 secs || 136599084 markings, 1568579746 edges, 77363 markings/sec, 1410 secs
lola: sara is running 1415 secs || sara is running 1415 secs || 136944165 markings, 1573481473 edges, 69016 markings/sec, 1415 secs
lola: sara is running 1420 secs || sara is running 1420 secs || 137305876 markings, 1578340938 edges, 72342 markings/sec, 1420 secs
lola: sara is running 1425 secs || sara is running 1425 secs || 137681317 markings, 1583232754 edges, 75088 markings/sec, 1425 secs
lola: sara is running 1430 secs || sara is running 1430 secs || 138015727 markings, 1587967410 edges, 66882 markings/sec, 1430 secs
lola: sara is running 1435 secs || sara is running 1435 secs || 138359489 markings, 1592846406 edges, 68752 markings/sec, 1435 secs
lola: sara is running 1440 secs || sara is running 1440 secs || 138703662 markings, 1597736310 edges, 68835 markings/sec, 1440 secs
lola: sara is running 1445 secs || sara is running 1445 secs || 139017774 markings, 1602655371 edges, 62822 markings/sec, 1445 secs
lola: sara is running 1450 secs || sara is running 1450 secs || 139305938 markings, 1607628987 edges, 57633 markings/sec, 1450 secs
lola: sara is running 1455 secs || sara is running 1455 secs || 139739773 markings, 1613140517 edges, 86767 markings/sec, 1455 secs
lola: sara is running 1460 secs || sara is running 1460 secs || 140099342 markings, 1618311729 edges, 71914 markings/sec, 1460 secs
lola: sara is running 1465 secs || sara is running 1465 secs || 140563958 markings, 1623230426 edges, 92923 markings/sec, 1465 secs
lola: sara is running 1470 secs || sara is running 1470 secs || 140994403 markings, 1627852692 edges, 86089 markings/sec, 1470 secs
lola: sara is running 1475 secs || sara is running 1475 secs || 141364595 markings, 1632359227 edges, 74038 markings/sec, 1475 secs
lola: sara is running 1480 secs || sara is running 1480 secs || 141781876 markings, 1637025516 edges, 83456 markings/sec, 1480 secs
lola: sara is running 1485 secs || sara is running 1485 secs || 142165192 markings, 1641525201 edges, 76663 markings/sec, 1485 secs
lola: sara is running 1490 secs || sara is running 1490 secs || 142540453 markings, 1646129871 edges, 75052 markings/sec, 1490 secs
lola: sara is running 1495 secs || sara is running 1495 secs || 142921995 markings, 1650756083 edges, 76308 markings/sec, 1495 secs
lola: sara is running 1500 secs || sara is running 1500 secs || 143308519 markings, 1655513685 edges, 77305 markings/sec, 1500 secs
lola: sara is running 1505 secs || sara is running 1505 secs || 143591819 markings, 1660134130 edges, 56660 markings/sec, 1505 secs
lola: sara is running 1510 secs || sara is running 1510 secs || 144084159 markings, 1665549697 edges, 98468 markings/sec, 1510 secs
lola: sara is running 1515 secs || sara is running 1515 secs || 144503191 markings, 1670680175 edges, 83806 markings/sec, 1515 secs
lola: sara is running 1520 secs || sara is running 1520 secs || 144943870 markings, 1675986279 edges, 88136 markings/sec, 1520 secs
lola: sara is running 1525 secs || sara is running 1525 secs || 145341359 markings, 1681025389 edges, 79498 markings/sec, 1525 secs
lola: sara is running 1530 secs || sara is running 1530 secs || 145685509 markings, 1685909109 edges, 68830 markings/sec, 1530 secs
lola: sara is running 1535 secs || sara is running 1535 secs || 146049006 markings, 1690856669 edges, 72699 markings/sec, 1535 secs
lola: sara is running 1540 secs || sara is running 1540 secs || 146437573 markings, 1695857792 edges, 77713 markings/sec, 1540 secs
lola: sara is running 1545 secs || sara is running 1545 secs || 146783714 markings, 1700771957 edges, 69228 markings/sec, 1545 secs
lola: sara is running 1550 secs || sara is running 1550 secs || 147133730 markings, 1705742780 edges, 70003 markings/sec, 1550 secs
lola: sara is running 1555 secs || sara is running 1555 secs || 147482906 markings, 1710701538 edges, 69835 markings/sec, 1555 secs
lola: sara is running 1560 secs || sara is running 1560 secs || 147799260 markings, 1715699598 edges, 63271 markings/sec, 1560 secs
lola: sara is running 1565 secs || sara is running 1565 secs || 148105161 markings, 1720801840 edges, 61180 markings/sec, 1565 secs
lola: sara is running 1570 secs || sara is running 1570 secs || 148546635 markings, 1726448237 edges, 88295 markings/sec, 1570 secs
lola: sara is running 1575 secs || sara is running 1575 secs || 148913273 markings, 1731765852 edges, 73328 markings/sec, 1575 secs
lola: sara is running 1580 secs || sara is running 1580 secs || 149354419 markings, 1737081103 edges, 88229 markings/sec, 1580 secs
lola: sara is running 1585 secs || sara is running 1585 secs || 149751454 markings, 1742153007 edges, 79407 markings/sec, 1585 secs
lola: sara is running 1590 secs || sara is running 1590 secs || 150095861 markings, 1747046264 edges, 68881 markings/sec, 1590 secs
lola: sara is running 1595 secs || sara is running 1595 secs || 150472871 markings, 1752078489 edges, 75402 markings/sec, 1595 secs
lola: sara is running 1600 secs || sara is running 1600 secs || 150848474 markings, 1757034429 edges, 75121 markings/sec, 1600 secs
lola: sara is running 1605 secs || sara is running 1605 secs || 151191404 markings, 1761899452 edges, 68586 markings/sec, 1605 secs
lola: sara is running 1610 secs || sara is running 1610 secs || 151540132 markings, 1766851166 edges, 69746 markings/sec, 1610 secs
lola: sara is running 1615 secs || sara is running 1615 secs || 151893197 markings, 1771876476 edges, 70613 markings/sec, 1615 secs
lola: sara is running 1620 secs || sara is running 1620 secs || 152207387 markings, 1776918635 edges, 62838 markings/sec, 1620 secs
lola: sara is running 1625 secs || sara is running 1625 secs || 152539950 markings, 1782165922 edges, 66513 markings/sec, 1625 secs
lola: sara is running 1630 secs || sara is running 1630 secs || 152971467 markings, 1787754401 edges, 86303 markings/sec, 1630 secs
lola: sara is running 1635 secs || sara is running 1635 secs || 153352586 markings, 1793154903 edges, 76224 markings/sec, 1635 secs
lola: sara is running 1640 secs || sara is running 1640 secs || 153787890 markings, 1798437793 edges, 87061 markings/sec, 1640 secs
lola: sara is running 1645 secs || sara is running 1645 secs || 154178604 markings, 1803543677 edges, 78143 markings/sec, 1645 secs
lola: sara is running 1650 secs || sara is running 1650 secs || 154531500 markings, 1808557128 edges, 70579 markings/sec, 1650 secs
lola: sara is running 1655 secs || sara is running 1655 secs || 154922224 markings, 1813674693 edges, 78145 markings/sec, 1655 secs
lola: sara is running 1660 secs || sara is running 1660 secs || 155294872 markings, 1818737150 edges, 74530 markings/sec, 1660 secs
lola: sara is running 1665 secs || sara is running 1665 secs || 155649410 markings, 1823798308 edges, 70908 markings/sec, 1665 secs
lola: sara is running 1670 secs || sara is running 1670 secs || 156007431 markings, 1828936624 edges, 71604 markings/sec, 1670 secs
lola: sara is running 1675 secs || sara is running 1675 secs || 156368864 markings, 1834078001 edges, 72287 markings/sec, 1675 secs
lola: sara is running 1680 secs || sara is running 1680 secs || 156674296 markings, 1839258003 edges, 61086 markings/sec, 1680 secs
lola: sara is running 1685 secs || sara is running 1685 secs || 157076011 markings, 1844925281 edges, 80343 markings/sec, 1685 secs
lola: sara is running 1690 secs || sara is running 1690 secs || 157489525 markings, 1850459694 edges, 82703 markings/sec, 1690 secs
lola: sara is running 1695 secs || sara is running 1695 secs || 157902873 markings, 1855949036 edges, 82670 markings/sec, 1695 secs
lola: sara is running 1700 secs || sara is running 1700 secs || 158327363 markings, 1861219673 edges, 84898 markings/sec, 1700 secs
lola: sara is running 1705 secs || sara is running 1705 secs || 158695670 markings, 1866312117 edges, 73661 markings/sec, 1705 secs
lola: sara is running 1710 secs || sara is running 1710 secs || 159054244 markings, 1871395739 edges, 71715 markings/sec, 1710 secs
lola: sara is running 1715 secs || sara is running 1715 secs || 159473411 markings, 1876591991 edges, 83833 markings/sec, 1715 secs
lola: sara is running 1720 secs || sara is running 1720 secs || 159823417 markings, 1881566183 edges, 70001 markings/sec, 1720 secs
lola: sara is running 1725 secs || sara is running 1725 secs || 160179798 markings, 1886608091 edges, 71276 markings/sec, 1725 secs
lola: sara is running 1730 secs || sara is running 1730 secs || 160542036 markings, 1891754414 edges, 72448 markings/sec, 1730 secs
lola: sara is running 1735 secs || sara is running 1735 secs || 160884748 markings, 1896885087 edges, 68542 markings/sec, 1735 secs
lola: sara is running 1740 secs || sara is running 1740 secs || 161162002 markings, 1902018459 edges, 55451 markings/sec, 1740 secs
lola: sara is running 1745 secs || sara is running 1745 secs || 161632307 markings, 1907899588 edges, 94061 markings/sec, 1745 secs
lola: sara is running 1750 secs || sara is running 1750 secs || 162012874 markings, 1913359330 edges, 76113 markings/sec, 1750 secs
lola: sara is running 1755 secs || sara is running 1755 secs || 162382309 markings, 1919204238 edges, 73887 markings/sec, 1755 secs
lola: sara is running 1760 secs || sara is running 1760 secs || 162731126 markings, 1924853844 edges, 69763 markings/sec, 1760 secs
lola: sara is running 1765 secs || sara is running 1765 secs || 163032444 markings, 1930300119 edges, 60264 markings/sec, 1765 secs
lola: sara is running 1770 secs || sara is running 1770 secs || 163345407 markings, 1935887503 edges, 62593 markings/sec, 1770 secs
lola: sara is running 1775 secs || sara is running 1775 secs || 163679334 markings, 1941529114 edges, 66785 markings/sec, 1775 secs
lola: sara is running 1780 secs || sara is running 1780 secs || 164000775 markings, 1947109503 edges, 64288 markings/sec, 1780 secs
lola: sara is running 1785 secs || sara is running 1785 secs || 164305346 markings, 1952631552 edges, 60914 markings/sec, 1785 secs
lola: sara is running 1790 secs || sara is running 1790 secs || 164610586 markings, 1958230872 edges, 61048 markings/sec, 1790 secs
lola: sara is running 1795 secs || sara is running 1795 secs || 164921890 markings, 1963879722 edges, 62261 markings/sec, 1795 secs
lola: sara is running 1800 secs || sara is running 1800 secs || 165222838 markings, 1969501602 edges, 60190 markings/sec, 1800 secs
lola: sara is running 1805 secs || sara is running 1805 secs || 165470908 markings, 1975089681 edges, 49614 markings/sec, 1805 secs
lola: sara is running 1810 secs || sara is running 1810 secs || 165828608 markings, 1981308565 edges, 71540 markings/sec, 1810 secs
lola: sara is running 1815 secs || sara is running 1815 secs || 166179229 markings, 1987330365 edges, 70124 markings/sec, 1815 secs
lola: sara is running 1820 secs || sara is running 1820 secs || 166547070 markings, 1993325823 edges, 73568 markings/sec, 1820 secs
lola: sara is running 1825 secs || sara is running 1825 secs || 167103555 markings, 1999069983 edges, 111297 markings/sec, 1825 secs
lola: sara is running 1830 secs || sara is running 1830 secs || 167576850 markings, 2004688207 edges, 94659 markings/sec, 1830 secs
lola: sara is running 1835 secs || sara is running 1835 secs || 168065946 markings, 2010196566 edges, 97819 markings/sec, 1835 secs
lola: sara is running 1840 secs || sara is running 1840 secs || 168533388 markings, 2015737590 edges, 93488 markings/sec, 1840 secs
lola: sara is running 1845 secs || sara is running 1845 secs || 169012532 markings, 2021481134 edges, 95829 markings/sec, 1845 secs
lola: sara is running 1850 secs || sara is running 1850 secs || 169483689 markings, 2027281594 edges, 94231 markings/sec, 1850 secs
lola: sara is running 1855 secs || sara is running 1855 secs || 169860146 markings, 2033069057 edges, 75291 markings/sec, 1855 secs
lola: sara is running 1860 secs || sara is running 1860 secs || 170438491 markings, 2039538030 edges, 115669 markings/sec, 1860 secs
lola: sara is running 1865 secs || sara is running 1865 secs || 170981231 markings, 2045809648 edges, 108548 markings/sec, 1865 secs
lola: sara is running 1870 secs || sara is running 1870 secs || 171567183 markings, 2051909689 edges, 117190 markings/sec, 1870 secs
lola: sara is running 1875 secs || sara is running 1875 secs || 172055105 markings, 2057827831 edges, 97584 markings/sec, 1875 secs
lola: sara is running 1880 secs || sara is running 1880 secs || 172600474 markings, 2063834764 edges, 109074 markings/sec, 1880 secs
lola: sara is running 1885 secs || sara is running 1885 secs || 173097409 markings, 2069846127 edges, 99387 markings/sec, 1885 secs
lola: sara is running 1890 secs || sara is running 1890 secs || 173595631 markings, 2076012378 edges, 99644 markings/sec, 1890 secs
lola: sara is running 1895 secs || sara is running 1895 secs || 174082642 markings, 2082360765 edges, 97402 markings/sec, 1895 secs
lola: sara is running 1900 secs || sara is running 1900 secs || 174600897 markings, 2089121546 edges, 103651 markings/sec, 1900 secs
lola: sara is running 1905 secs || sara is running 1905 secs || 175164569 markings, 2095785475 edges, 112734 markings/sec, 1905 secs
lola: sara is running 1910 secs || sara is running 1910 secs || 175638198 markings, 2101913080 edges, 94726 markings/sec, 1910 secs
lola: sara is running 1915 secs || sara is running 1915 secs || 176057772 markings, 2107711881 edges, 83915 markings/sec, 1915 secs
lola: sara is running 1920 secs || sara is running 1920 secs || 176434236 markings, 2113444070 edges, 75293 markings/sec, 1920 secs
lola: sara is running 1925 secs || sara is running 1925 secs || 176843880 markings, 2119216918 edges, 81929 markings/sec, 1925 secs
lola: sara is running 1930 secs || sara is running 1930 secs || 177225393 markings, 2124911638 edges, 76303 markings/sec, 1930 secs
lola: sara is running 1935 secs || sara is running 1935 secs || 177610682 markings, 2130720913 edges, 77058 markings/sec, 1935 secs
lola: sara is running 1940 secs || sara is running 1940 secs || 178006372 markings, 2136718783 edges, 79138 markings/sec, 1940 secs
lola: sara is running 1945 secs || sara is running 1945 secs || 178391923 markings, 2142727541 edges, 77110 markings/sec, 1945 secs
lola: sara is running 1950 secs || sara is running 1950 secs || 178709865 markings, 2148750324 edges, 63588 markings/sec, 1950 secs
lola: sara is running 1955 secs || sara is running 1955 secs || 179196781 markings, 2155411675 edges, 97383 markings/sec, 1955 secs
lola: sara is running 1960 secs || sara is running 1960 secs || 179626266 markings, 2161771267 edges, 85897 markings/sec, 1960 secs
lola: sara is running 1965 secs || sara is running 1965 secs || 180127328 markings, 2166844141 edges, 100212 markings/sec, 1965 secs
lola: sara is running 1970 secs || sara is running 1970 secs || 180544253 markings, 2171663219 edges, 83385 markings/sec, 1970 secs
lola: sara is running 1975 secs || sara is running 1975 secs || 180929659 markings, 2176412835 edges, 77081 markings/sec, 1975 secs
lola: sara is running 1980 secs || sara is running 1980 secs || 181396630 markings, 2181310548 edges, 93394 markings/sec, 1980 secs
lola: sara is running 1985 secs || sara is running 1985 secs || 181779517 markings, 2185998184 edges, 76577 markings/sec, 1985 secs
lola: sara is running 1990 secs || sara is running 1990 secs || 182176167 markings, 2190795322 edges, 79330 markings/sec, 1990 secs
lola: sara is running 1995 secs || sara is running 1995 secs || 182570556 markings, 2195623282 edges, 78878 markings/sec, 1995 secs
lola: sara is running 2000 secs || sara is running 2000 secs || 182904651 markings, 2200437280 edges, 66819 markings/sec, 2000 secs
lola: sara is running 2005 secs || sara is running 2005 secs || 183308125 markings, 2205622342 edges, 80695 markings/sec, 2005 secs
lola: sara is running 2010 secs || sara is running 2010 secs || 183776983 markings, 2210927393 edges, 93772 markings/sec, 2010 secs
lola: sara is running 2015 secs || sara is running 2015 secs || 184227658 markings, 2216008909 edges, 90135 markings/sec, 2015 secs
lola: sara is running 2020 secs || sara is running 2020 secs || 184689653 markings, 2220774231 edges, 92399 markings/sec, 2020 secs
lola: sara is running 2025 secs || sara is running 2025 secs || 185067276 markings, 2225330447 edges, 75525 markings/sec, 2025 secs
lola: sara is running 2030 secs || sara is running 2030 secs || 185460342 markings, 2229933558 edges, 78613 markings/sec, 2030 secs
lola: sara is running 2035 secs || sara is running 2035 secs || 185883662 markings, 2234567185 edges, 84664 markings/sec, 2035 secs
lola: sara is running 2040 secs || sara is running 2040 secs || 186254461 markings, 2239097039 edges, 74160 markings/sec, 2040 secs
lola: sara is running 2045 secs || sara is running 2045 secs || 186630797 markings, 2243698270 edges, 75267 markings/sec, 2045 secs
lola: sara is running 2050 secs || sara is running 2050 secs || 187006978 markings, 2248329690 edges, 75236 markings/sec, 2050 secs
lola: sara is running 2055 secs || sara is running 2055 secs || 187318162 markings, 2252950147 edges, 62237 markings/sec, 2055 secs
lola: sara is running 2060 secs || sara is running 2060 secs || 187726462 markings, 2258004760 edges, 81660 markings/sec, 2060 secs
lola: sara is running 2065 secs || sara is running 2065 secs || 188170779 markings, 2263048199 edges, 88863 markings/sec, 2065 secs
lola: sara is running 2070 secs || sara is running 2070 secs || 188584050 markings, 2268147960 edges, 82654 markings/sec, 2070 secs
lola: sara is running 2075 secs || sara is running 2075 secs || 188979698 markings, 2273091257 edges, 79130 markings/sec, 2075 secs
lola: sara is running 2080 secs || sara is running 2080 secs || 189324502 markings, 2277853048 edges, 68961 markings/sec, 2080 secs
lola: sara is running 2085 secs || sara is running 2085 secs || 189658465 markings, 2282546629 edges, 66793 markings/sec, 2085 secs
lola: sara is running 2090 secs || sara is running 2090 secs || 190031801 markings, 2287297649 edges, 74667 markings/sec, 2090 secs
lola: sara is running 2095 secs || sara is running 2095 secs || 190367594 markings, 2291964330 edges, 67159 markings/sec, 2095 secs
lola: sara is running 2100 secs || sara is running 2100 secs || 190703523 markings, 2296702162 edges, 67186 markings/sec, 2100 secs
lola: sara is running 2105 secs || sara is running 2105 secs || 191042062 markings, 2301467115 edges, 67708 markings/sec, 2105 secs
lola: sara is running 2110 secs || sara is running 2110 secs || 191382292 markings, 2306269301 edges, 68046 markings/sec, 2110 secs
lola: sara is running 2115 secs || sara is running 2115 secs || 191665069 markings, 2310984510 edges, 56555 markings/sec, 2115 secs
lola: sara is running 2120 secs || sara is running 2120 secs || 191991149 markings, 2315955421 edges, 65216 markings/sec, 2120 secs
lola: sara is running 2125 secs || sara is running 2125 secs || 192399577 markings, 2321256797 edges, 81686 markings/sec, 2125 secs
lola: sara is running 2130 secs || sara is running 2130 secs || 192747287 markings, 2326294924 edges, 69542 markings/sec, 2130 secs
lola: sara is running 2135 secs || sara is running 2135 secs || 193161840 markings, 2331295772 edges, 82911 markings/sec, 2135 secs
lola: sara is running 2140 secs || sara is running 2140 secs || 193540307 markings, 2336140813 edges, 75693 markings/sec, 2140 secs
lola: sara is running 2145 secs || sara is running 2145 secs || 193868606 markings, 2340791742 edges, 65660 markings/sec, 2145 secs
lola: sara is running 2150 secs || sara is running 2150 secs || 194219170 markings, 2345580650 edges, 70113 markings/sec, 2150 secs
lola: sara is running 2155 secs || sara is running 2155 secs || 194590962 markings, 2350343551 edges, 74358 markings/sec, 2155 secs
lola: sara is running 2160 secs || sara is running 2160 secs || 194915313 markings, 2354957131 edges, 64870 markings/sec, 2160 secs
lola: sara is running 2165 secs || sara is running 2165 secs || 195245681 markings, 2359648970 edges, 66074 markings/sec, 2165 secs
lola: sara is running 2170 secs || sara is running 2170 secs || 195581521 markings, 2364404699 edges, 67168 markings/sec, 2170 secs
lola: sara is running 2175 secs || sara is running 2175 secs || 195902109 markings, 2369134832 edges, 64118 markings/sec, 2175 secs
lola: sara is running 2180 secs || sara is running 2180 secs || 196158129 markings, 2373869338 edges, 51204 markings/sec, 2180 secs
lola: sara is running 2185 secs || sara is running 2185 secs || 196585602 markings, 2379381226 edges, 85495 markings/sec, 2185 secs
lola: sara is running 2190 secs || sara is running 2190 secs || 196953518 markings, 2384472262 edges, 73583 markings/sec, 2190 secs
lola: sara is running 2195 secs || sara is running 2195 secs || 197372616 markings, 2389491981 edges, 83820 markings/sec, 2195 secs
lola: sara is running 2200 secs || sara is running 2200 secs || 197834795 markings, 2394250037 edges, 92436 markings/sec, 2200 secs
lola: sara is running 2205 secs || sara is running 2205 secs || 198209133 markings, 2398772513 edges, 74868 markings/sec, 2205 secs
lola: sara is running 2210 secs || sara is running 2210 secs || 198602504 markings, 2403378621 edges, 78674 markings/sec, 2210 secs
lola: sara is running 2215 secs || sara is running 2215 secs || 199016089 markings, 2407894667 edges, 82717 markings/sec, 2215 secs
lola: sara is running 2220 secs || sara is running 2220 secs || 199386556 markings, 2412424558 edges, 74093 markings/sec, 2220 secs
lola: sara is running 2225 secs || sara is running 2225 secs || 199765885 markings, 2417060793 edges, 75866 markings/sec, 2225 secs
lola: sara is running 2230 secs || sara is running 2230 secs || 200146418 markings, 2421729910 edges, 76107 markings/sec, 2230 secs
lola: sara is running 2235 secs || sara is running 2235 secs || 200459360 markings, 2426379766 edges, 62588 markings/sec, 2235 secs
lola: sara is running 2240 secs || sara is running 2240 secs || 200870307 markings, 2431466465 edges, 82189 markings/sec, 2240 secs
lola: sara is running 2245 secs || sara is running 2245 secs || 201314998 markings, 2436516885 edges, 88938 markings/sec, 2245 secs
lola: sara is running 2250 secs || sara is running 2250 secs || 201727470 markings, 2441610117 edges, 82494 markings/sec, 2250 secs
lola: sara is running 2255 secs || sara is running 2255 secs || 202126668 markings, 2446586229 edges, 79840 markings/sec, 2255 secs
lola: sara is running 2260 secs || sara is running 2260 secs || 202473048 markings, 2451376184 edges, 69276 markings/sec, 2260 secs
lola: sara is running 2265 secs || sara is running 2265 secs || 202806509 markings, 2456110827 edges, 66692 markings/sec, 2265 secs
lola: sara is running 2270 secs || sara is running 2270 secs || 203198878 markings, 2461021648 edges, 78474 markings/sec, 2270 secs
lola: sara is running 2275 secs || sara is running 2275 secs || 203538279 markings, 2465770784 edges, 67880 markings/sec, 2275 secs
lola: sara is running 2280 secs || sara is running 2280 secs || 203872621 markings, 2470536242 edges, 66868 markings/sec, 2280 secs
lola: sara is running 2285 secs || sara is running 2285 secs || 204213435 markings, 2475383414 edges, 68163 markings/sec, 2285 secs
lola: sara is running 2290 secs || sara is running 2290 secs || 204553082 markings, 2480219161 edges, 67929 markings/sec, 2290 secs
lola: sara is running 2295 secs || sara is running 2295 secs || 204840315 markings, 2485044933 edges, 57447 markings/sec, 2295 secs
lola: sara is running 2300 secs || sara is running 2300 secs || 205199719 markings, 2490252012 edges, 71881 markings/sec, 2300 secs
lola: sara is running 2305 secs || sara is running 2305 secs || 205602546 markings, 2495570504 edges, 80565 markings/sec, 2305 secs
lola: sara is running 2310 secs || sara is running 2310 secs || 205980130 markings, 2500803794 edges, 75517 markings/sec, 2310 secs
lola: sara is running 2315 secs || sara is running 2315 secs || 206403558 markings, 2505930609 edges, 84686 markings/sec, 2315 secs
lola: sara is running 2320 secs || sara is running 2320 secs || 206773428 markings, 2510850380 edges, 73974 markings/sec, 2320 secs
lola: sara is running 2325 secs || sara is running 2325 secs || 207111671 markings, 2515655134 edges, 67649 markings/sec, 2325 secs
lola: sara is running 2330 secs || sara is running 2330 secs || 207488660 markings, 2520571871 edges, 75398 markings/sec, 2330 secs
lola: sara is running 2335 secs || sara is running 2335 secs || 207845352 markings, 2525384604 edges, 71338 markings/sec, 2335 secs
lola: sara is running 2340 secs || sara is running 2340 secs || 208178648 markings, 2530116876 edges, 66659 markings/sec, 2340 secs
lola: sara is running 2345 secs || sara is running 2345 secs || 208520300 markings, 2534966777 edges, 68330 markings/sec, 2345 secs
lola: sara is running 2350 secs || sara is running 2350 secs || 208865246 markings, 2539857906 edges, 68989 markings/sec, 2350 secs
lola: sara is running 2355 secs || sara is running 2355 secs || 209164051 markings, 2544726352 edges, 59761 markings/sec, 2355 secs
lola: sara is running 2360 secs || sara is running 2360 secs || 209489087 markings, 2549822282 edges, 65007 markings/sec, 2360 secs
lola: sara is running 2365 secs || sara is running 2365 secs || 209905925 markings, 2555227432 edges, 83368 markings/sec, 2365 secs
lola: sara is running 2370 secs || sara is running 2370 secs || 210264610 markings, 2560419564 edges, 71737 markings/sec, 2370 secs
lola: sara is running 2375 secs || sara is running 2375 secs || 210699664 markings, 2565658571 edges, 87011 markings/sec, 2375 secs
lola: sara is running 2380 secs || sara is running 2380 secs || 211090326 markings, 2570663702 edges, 78132 markings/sec, 2380 secs
lola: sara is running 2385 secs || sara is running 2385 secs || 211431385 markings, 2575518503 edges, 68212 markings/sec, 2385 secs
lola: sara is running 2390 secs || sara is running 2390 secs || 211790711 markings, 2580320254 edges, 71865 markings/sec, 2390 secs
lola: sara is running 2395 secs || sara is running 2395 secs || 212158470 markings, 2585144330 edges, 73552 markings/sec, 2395 secs
lola: sara is running 2400 secs || sara is running 2400 secs || 212496913 markings, 2589940169 edges, 67689 markings/sec, 2400 secs
lola: sara is running 2405 secs || sara is running 2405 secs || 212844142 markings, 2594869712 edges, 69446 markings/sec, 2405 secs
lola: sara is running 2410 secs || sara is running 2410 secs || 213196496 markings, 2599881420 edges, 70471 markings/sec, 2410 secs
lola: sara is running 2415 secs || sara is running 2415 secs || 213512506 markings, 2604876097 edges, 63202 markings/sec, 2415 secs
lola: sara is running 2420 secs || sara is running 2420 secs || 213820306 markings, 2609985558 edges, 61560 markings/sec, 2420 secs
lola: sara is running 2425 secs || sara is running 2425 secs || 214259781 markings, 2615606339 edges, 87895 markings/sec, 2425 secs
lola: sara is running 2430 secs || sara is running 2430 secs || 214625568 markings, 2620928087 edges, 73157 markings/sec, 2430 secs
lola: sara is running 2435 secs || sara is running 2435 secs || 215067665 markings, 2626241324 edges, 88419 markings/sec, 2435 secs
lola: sara is running 2440 secs || sara is running 2440 secs || 215464142 markings, 2631315716 edges, 79295 markings/sec, 2440 secs
lola: sara is running 2445 secs || sara is running 2445 secs || 215810232 markings, 2636227745 edges, 69218 markings/sec, 2445 secs
lola: sara is running 2450 secs || sara is running 2450 secs || 216186240 markings, 2641250483 edges, 75202 markings/sec, 2450 secs
lola: sara is running 2455 secs || sara is running 2455 secs || 216560237 markings, 2646189392 edges, 74799 markings/sec, 2455 secs
lola: sara is running 2460 secs || sara is running 2460 secs || 216903457 markings, 2651051782 edges, 68644 markings/sec, 2460 secs
lola: sara is running 2465 secs || sara is running 2465 secs || 217252330 markings, 2656005233 edges, 69775 markings/sec, 2465 secs
lola: sara is running 2470 secs || sara is running 2470 secs || 217604405 markings, 2661012817 edges, 70415 markings/sec, 2470 secs
lola: sara is running 2475 secs || sara is running 2475 secs || 217916447 markings, 2666023918 edges, 62408 markings/sec, 2475 secs
lola: sara is running 2480 secs || sara is running 2480 secs || 218246335 markings, 2671243534 edges, 65978 markings/sec, 2480 secs
lola: sara is running 2485 secs || sara is running 2485 secs || 218675987 markings, 2676804469 edges, 85930 markings/sec, 2485 secs
lola: sara is running 2490 secs || sara is running 2490 secs || 219045990 markings, 2682209780 edges, 74001 markings/sec, 2490 secs
lola: sara is running 2495 secs || sara is running 2495 secs || 219392849 markings, 2687828223 edges, 69372 markings/sec, 2495 secs
lola: sara is running 2500 secs || sara is running 2500 secs || 219727140 markings, 2693284388 edges, 66858 markings/sec, 2500 secs
lola: sara is running 2505 secs || sara is running 2505 secs || 220015294 markings, 2698549407 edges, 57631 markings/sec, 2505 secs
lola: sara is running 2510 secs || sara is running 2510 secs || 220311225 markings, 2703875710 edges, 59186 markings/sec, 2510 secs
lola: sara is running 2515 secs || sara is running 2515 secs || 220634052 markings, 2709276157 edges, 64565 markings/sec, 2515 secs
lola: sara is running 2520 secs || sara is running 2520 secs || 220940401 markings, 2714596971 edges, 61270 markings/sec, 2520 secs
lola: sara is running 2525 secs || sara is running 2525 secs || 221231257 markings, 2719882002 edges, 58171 markings/sec, 2525 secs
lola: sara is running 2530 secs || sara is running 2530 secs || 221524493 markings, 2725235356 edges, 58647 markings/sec, 2530 secs
lola: sara is running 2535 secs || sara is running 2535 secs || 221817172 markings, 2730614876 edges, 58536 markings/sec, 2535 secs
lola: sara is running 2540 secs || sara is running 2540 secs || 222112236 markings, 2736005641 edges, 59013 markings/sec, 2540 secs
lola: sara is running 2545 secs || sara is running 2545 secs || 222363808 markings, 2741377973 edges, 50314 markings/sec, 2545 secs
lola: sara is running 2550 secs || sara is running 2550 secs || 222666431 markings, 2747069771 edges, 60525 markings/sec, 2550 secs
lola: sara is running 2555 secs || sara is running 2555 secs || 223015739 markings, 2752997204 edges, 69862 markings/sec, 2555 secs
lola: sara is running 2560 secs || sara is running 2560 secs || 223319642 markings, 2758660984 edges, 60781 markings/sec, 2560 secs
lola: sara is running 2565 secs || sara is running 2565 secs || 223840899 markings, 2764494166 edges, 104251 markings/sec, 2565 secs
lola: sara is running 2570 secs || sara is running 2570 secs || 224341310 markings, 2770099178 edges, 100082 markings/sec, 2570 secs
lola: sara is running 2575 secs || sara is running 2575 secs || 224794540 markings, 2775679253 edges, 90646 markings/sec, 2575 secs
lola: sara is running 2580 secs || sara is running 2580 secs || 225316727 markings, 2781269036 edges, 104437 markings/sec, 2580 secs
lola: sara is running 2585 secs || sara is running 2585 secs || 225757019 markings, 2786787145 edges, 88058 markings/sec, 2585 secs
lola: sara is running 2590 secs || sara is running 2590 secs || 226244319 markings, 2792596588 edges, 97460 markings/sec, 2590 secs
lola: sara is running 2595 secs || sara is running 2595 secs || 226672743 markings, 2798378109 edges, 85685 markings/sec, 2595 secs
lola: sara is running 2600 secs || sara is running 2600 secs || 227145559 markings, 2804552484 edges, 94563 markings/sec, 2600 secs
lola: sara is running 2605 secs || sara is running 2605 secs || 227665741 markings, 2810675259 edges, 104036 markings/sec, 2605 secs
lola: sara is running 2610 secs || sara is running 2610 secs || 228255315 markings, 2816790336 edges, 117915 markings/sec, 2610 secs
lola: sara is running 2615 secs || sara is running 2615 secs || 228754798 markings, 2822571532 edges, 99897 markings/sec, 2615 secs
lola: sara is running 2620 secs || sara is running 2620 secs || 229263273 markings, 2828479688 edges, 101695 markings/sec, 2620 secs
lola: sara is running 2625 secs || sara is running 2625 secs || 229773083 markings, 2834231402 edges, 101962 markings/sec, 2625 secs
lola: sara is running 2630 secs || sara is running 2630 secs || 230255307 markings, 2840078302 edges, 96445 markings/sec, 2630 secs
lola: sara is running 2635 secs || sara is running 2635 secs || 230744650 markings, 2846028449 edges, 97869 markings/sec, 2635 secs
lola: sara is running 2640 secs || sara is running 2640 secs || 231157413 markings, 2852091137 edges, 82553 markings/sec, 2640 secs
lola: sara is running 2645 secs || sara is running 2645 secs || 231724736 markings, 2858653755 edges, 113465 markings/sec, 2645 secs
lola: sara is running 2650 secs || sara is running 2650 secs || 232239101 markings, 2864974564 edges, 102873 markings/sec, 2650 secs
lola: sara is running 2655 secs || sara is running 2655 secs || 232680499 markings, 2870772406 edges, 88280 markings/sec, 2655 secs
lola: sara is running 2660 secs || sara is running 2660 secs || 233070488 markings, 2876366445 edges, 77998 markings/sec, 2660 secs
lola: sara is running 2665 secs || sara is running 2665 secs || 233436257 markings, 2881925265 edges, 73154 markings/sec, 2665 secs
lola: sara is running 2670 secs || sara is running 2670 secs || 233834935 markings, 2887519229 edges, 79736 markings/sec, 2670 secs
lola: sara is running 2675 secs || sara is running 2675 secs || 234209458 markings, 2893055138 edges, 74905 markings/sec, 2675 secs
lola: sara is running 2680 secs || sara is running 2680 secs || 234575942 markings, 2898620334 edges, 73297 markings/sec, 2680 secs
lola: sara is running 2685 secs || sara is running 2685 secs || 234950194 markings, 2904305472 edges, 74850 markings/sec, 2685 secs
lola: sara is running 2690 secs || sara is running 2690 secs || 235319442 markings, 2910004597 edges, 73850 markings/sec, 2690 secs
lola: sara is running 2695 secs || sara is running 2695 secs || 235614106 markings, 2915698481 edges, 58933 markings/sec, 2695 secs
lola: sara is running 2700 secs || sara is running 2700 secs || 236077959 markings, 2922065588 edges, 92771 markings/sec, 2700 secs
lola: sara is running 2705 secs || sara is running 2705 secs || 236469918 markings, 2928073232 edges, 78392 markings/sec, 2705 secs
lola: sara is running 2710 secs || sara is running 2710 secs || 236991405 markings, 2932756399 edges, 104297 markings/sec, 2710 secs
lola: sara is running 2715 secs || sara is running 2715 secs || 237447285 markings, 2936895296 edges, 91176 markings/sec, 2715 secs
lola: sara is running 2720 secs || sara is running 2720 secs || 237839124 markings, 2940939732 edges, 78368 markings/sec, 2720 secs
lola: sara is running 2725 secs || sara is running 2725 secs || 238320771 markings, 2945124165 edges, 96329 markings/sec, 2725 secs
lola: sara is running 2730 secs || sara is running 2730 secs || 238717297 markings, 2949159930 edges, 79305 markings/sec, 2730 secs
lola: sara is running 2735 secs || sara is running 2735 secs || 239123256 markings, 2953263780 edges, 81192 markings/sec, 2735 secs
lola: sara is running 2740 secs || sara is running 2740 secs || 239525982 markings, 2957389937 edges, 80545 markings/sec, 2740 secs
lola: sara is running 2745 secs || sara is running 2745 secs || 239858962 markings, 2961545352 edges, 66596 markings/sec, 2745 secs
lola: sara is running 2750 secs || sara is running 2750 secs || 240279026 markings, 2966062843 edges, 84013 markings/sec, 2750 secs
lola: sara is running 2755 secs || sara is running 2755 secs || 240761156 markings, 2970586258 edges, 96426 markings/sec, 2755 secs
lola: sara is running 2760 secs || sara is running 2760 secs || 241236596 markings, 2974919645 edges, 95088 markings/sec, 2760 secs
lola: sara is running 2765 secs || sara is running 2765 secs || 241712850 markings, 2978942510 edges, 95251 markings/sec, 2765 secs
lola: sara is running 2770 secs || sara is running 2770 secs || 242096644 markings, 2982833065 edges, 76759 markings/sec, 2770 secs
lola: sara is running 2775 secs || sara is running 2775 secs || 242522867 markings, 2986773771 edges, 85245 markings/sec, 2775 secs
lola: sara is running 2780 secs || sara is running 2780 secs || 242922934 markings, 2990664703 edges, 80013 markings/sec, 2780 secs
lola: sara is running 2785 secs || sara is running 2785 secs || 243302709 markings, 2994546952 edges, 75955 markings/sec, 2785 secs
lola: sara is running 2790 secs || sara is running 2790 secs || 243693223 markings, 2998521993 edges, 78103 markings/sec, 2790 secs
lola: sara is running 2795 secs || sara is running 2795 secs || 244078779 markings, 3002522422 edges, 77111 markings/sec, 2795 secs
lola: sara is running 2800 secs || sara is running 2800 secs || 244353889 markings, 3006464264 edges, 55022 markings/sec, 2800 secs
lola: sara is running 2805 secs || sara is running 2805 secs || 244857398 markings, 3010983930 edges, 100702 markings/sec, 2805 secs
lola: sara is running 2810 secs || sara is running 2810 secs || 245269433 markings, 3015217322 edges, 82407 markings/sec, 2810 secs
lola: sara is running 2815 secs || sara is running 2815 secs || 245708306 markings, 3019606256 edges, 87775 markings/sec, 2815 secs
lola: sara is running 2820 secs || sara is running 2820 secs || 246096575 markings, 3023774827 edges, 77654 markings/sec, 2820 secs
lola: sara is running 2825 secs || sara is running 2825 secs || 246432073 markings, 3027861862 edges, 67100 markings/sec, 2825 secs
lola: sara is running 2830 secs || sara is running 2830 secs || 246782873 markings, 3031964393 edges, 70160 markings/sec, 2830 secs
lola: sara is running 2835 secs || sara is running 2835 secs || 247168170 markings, 3036124482 edges, 77059 markings/sec, 2835 secs
lola: sara is running 2840 secs || sara is running 2840 secs || 247501747 markings, 3040214320 edges, 66715 markings/sec, 2840 secs
lola: sara is running 2845 secs || sara is running 2845 secs || 247840138 markings, 3044355761 edges, 67678 markings/sec, 2845 secs
lola: sara is running 2850 secs || sara is running 2850 secs || 248183131 markings, 3048531488 edges, 68599 markings/sec, 2850 secs
lola: sara is running 2855 secs || sara is running 2855 secs || 248501603 markings, 3052689147 edges, 63694 markings/sec, 2855 secs
lola: sara is running 2860 secs || sara is running 2860 secs || 248752180 markings, 3056817746 edges, 50115 markings/sec, 2860 secs
lola: sara is running 2865 secs || sara is running 2865 secs || 249198130 markings, 3061570186 edges, 89190 markings/sec, 2865 secs
lola: sara is running 2870 secs || sara is running 2870 secs || 249556072 markings, 3065935145 edges, 71588 markings/sec, 2870 secs
lola: sara is running 2875 secs || sara is running 2875 secs || 249955098 markings, 3070341454 edges, 79805 markings/sec, 2875 secs
lola: sara is running 2880 secs || sara is running 2880 secs || 250381628 markings, 3074654285 edges, 85306 markings/sec, 2880 secs
lola: sara is running 2885 secs || sara is running 2885 secs || 250716098 markings, 3078732668 edges, 66894 markings/sec, 2885 secs
lola: sara is running 2890 secs || sara is running 2890 secs || 251055445 markings, 3082861470 edges, 67869 markings/sec, 2890 secs
lola: sara is running 2895 secs || sara is running 2895 secs || 251465654 markings, 3087110831 edges, 82042 markings/sec, 2895 secs
lola: sara is running 2900 secs || sara is running 2900 secs || 251795042 markings, 3091162490 edges, 65878 markings/sec, 2900 secs
lola: sara is running 2905 secs || sara is running 2905 secs || 252129386 markings, 3095256277 edges, 66869 markings/sec, 2905 secs
lola: sara is running 2910 secs || sara is running 2910 secs || 252472240 markings, 3099448313 edges, 68571 markings/sec, 2910 secs
lola: sara is running 2915 secs || sara is running 2915 secs || 252813368 markings, 3103629969 edges, 68226 markings/sec, 2915 secs
lola: sara is running 2920 secs || sara is running 2920 secs || 253071229 markings, 3107794767 edges, 51572 markings/sec, 2920 secs
lola: sara is running 2925 secs || sara is running 2925 secs || 253471300 markings, 3112411079 edges, 80014 markings/sec, 2925 secs
lola: sara is running 2930 secs || sara is running 2930 secs || 253849407 markings, 3116756155 edges, 75621 markings/sec, 2930 secs
lola: sara is running 2935 secs || sara is running 2935 secs || 254268238 markings, 3121086789 edges, 83766 markings/sec, 2935 secs
lola: sara is running 2940 secs || sara is running 2940 secs || 254740193 markings, 3125035982 edges, 94391 markings/sec, 2940 secs
lola: sara is running 2945 secs || sara is running 2945 secs || 255120310 markings, 3128862978 edges, 76023 markings/sec, 2945 secs
lola: sara is running 2950 secs || sara is running 2950 secs || 255522570 markings, 3132765530 edges, 80452 markings/sec, 2950 secs
lola: sara is running 2955 secs || sara is running 2955 secs || 255962185 markings, 3136673511 edges, 87923 markings/sec, 2955 secs
lola: sara is running 2960 secs || sara is running 2960 secs || 256337820 markings, 3140512797 edges, 75127 markings/sec, 2960 secs
lola: sara is running 2965 secs || sara is running 2965 secs || 256721981 markings, 3144439576 edges, 76832 markings/sec, 2965 secs
lola: sara is running 2970 secs || sara is running 2970 secs || 257098641 markings, 3148326842 edges, 75332 markings/sec, 2970 secs
lola: sara is running 2975 secs || sara is running 2975 secs || 257401553 markings, 3152204693 edges, 60582 markings/sec, 2975 secs
lola: sara is running 2980 secs || sara is running 2980 secs || 257793874 markings, 3156382831 edges, 78464 markings/sec, 2980 secs
lola: sara is running 2985 secs || sara is running 2985 secs || 258258231 markings, 3160666983 edges, 92871 markings/sec, 2985 secs
lola: sara is running 2990 secs || sara is running 2990 secs || 258673704 markings, 3164966889 edges, 83095 markings/sec, 2990 secs
lola: sara is running 2995 secs || sara is running 2995 secs || 259070577 markings, 3169130736 edges, 79375 markings/sec, 2995 secs
lola: sara is running 3000 secs || sara is running 3000 secs || 259412444 markings, 3173176031 edges, 68373 markings/sec, 3000 secs
lola: sara is running 3005 secs || sara is running 3005 secs || 259746512 markings, 3177184901 edges, 66814 markings/sec, 3005 secs
lola: sara is running 3010 secs || sara is running 3010 secs || 260128947 markings, 3181295708 edges, 76487 markings/sec, 3010 secs
lola: sara is running 3015 secs || sara is running 3015 secs || 260466913 markings, 3185315461 edges, 67593 markings/sec, 3015 secs
lola: sara is running 3020 secs || sara is running 3020 secs || 260796690 markings, 3189343723 edges, 65955 markings/sec, 3020 secs
lola: sara is running 3025 secs || sara is running 3025 secs || 261141519 markings, 3193531087 edges, 68966 markings/sec, 3025 secs
lola: sara is running 3030 secs || sara is running 3030 secs || 261485735 markings, 3197713308 edges, 68843 markings/sec, 3030 secs
lola: sara is running 3035 secs || sara is running 3035 secs || 261769130 markings, 3201871887 edges, 56679 markings/sec, 3035 secs
lola: sara is running 3040 secs || sara is running 3040 secs || 262114691 markings, 3206322510 edges, 69112 markings/sec, 3040 secs
lola: sara is running 3045 secs || sara is running 3045 secs || 262524500 markings, 3210895272 edges, 81962 markings/sec, 3045 secs
lola: sara is running 3050 secs || sara is running 3050 secs || 262901554 markings, 3215395318 edges, 75411 markings/sec, 3050 secs
lola: sara is running 3055 secs || sara is running 3055 secs || 263330631 markings, 3219744950 edges, 85815 markings/sec, 3055 secs
lola: sara is running 3060 secs || sara is running 3060 secs || 263705846 markings, 3223948956 edges, 75043 markings/sec, 3060 secs
lola: sara is running 3065 secs || sara is running 3065 secs || 264043354 markings, 3228050899 edges, 67502 markings/sec, 3065 secs
lola: sara is running 3070 secs || sara is running 3070 secs || 264420337 markings, 3232251683 edges, 75397 markings/sec, 3070 secs
lola: sara is running 3075 secs || sara is running 3075 secs || 264781570 markings, 3236382891 edges, 72247 markings/sec, 3075 secs
lola: sara is running 3080 secs || sara is running 3080 secs || 265117384 markings, 3240469142 edges, 67163 markings/sec, 3080 secs
lola: sara is running 3085 secs || sara is running 3085 secs || 265460108 markings, 3244645801 edges, 68545 markings/sec, 3085 secs
lola: sara is running 3090 secs || sara is running 3090 secs || 265803889 markings, 3248840630 edges, 68756 markings/sec, 3090 secs
lola: sara is running 3095 secs || sara is running 3095 secs || 266100869 markings, 3253033372 edges, 59396 markings/sec, 3095 secs
lola: sara is running 3100 secs || sara is running 3100 secs || 266405416 markings, 3257383277 edges, 60909 markings/sec, 3100 secs
lola: sara is running 3105 secs || sara is running 3105 secs || 266839062 markings, 3262080652 edges, 86729 markings/sec, 3105 secs
lola: sara is running 3110 secs || sara is running 3110 secs || 267193250 markings, 3266538007 edges, 70838 markings/sec, 3110 secs
lola: sara is running 3115 secs || sara is running 3115 secs || 267641602 markings, 3271027316 edges, 89670 markings/sec, 3115 secs
lola: sara is running 3120 secs || sara is running 3120 secs || 268039304 markings, 3275324859 edges, 79540 markings/sec, 3120 secs
lola: sara is running 3125 secs || sara is running 3125 secs || 268380135 markings, 3279494179 edges, 68166 markings/sec, 3125 secs
lola: sara is running 3130 secs || sara is running 3130 secs || 268753210 markings, 3283731201 edges, 74615 markings/sec, 3130 secs
lola: sara is running 3135 secs || sara is running 3135 secs || 269128921 markings, 3287942086 edges, 75142 markings/sec, 3135 secs
lola: sara is running 3140 secs || sara is running 3140 secs || 269473287 markings, 3292133611 edges, 68873 markings/sec, 3140 secs
lola: sara is running 3145 secs || sara is running 3145 secs || 269822636 markings, 3296402406 edges, 69870 markings/sec, 3145 secs
lola: sara is running 3150 secs || sara is running 3150 secs || 270174121 markings, 3300686938 edges, 70297 markings/sec, 3150 secs
lola: sara is running 3155 secs || sara is running 3155 secs || 270479814 markings, 3304979404 edges, 61139 markings/sec, 3155 secs
lola: sara is running 3160 secs || sara is running 3160 secs || 270793786 markings, 3309421637 edges, 62794 markings/sec, 3160 secs
lola: sara is running 3165 secs || sara is running 3165 secs || 271231752 markings, 3314195912 edges, 87593 markings/sec, 3165 secs
lola: sara is running 3170 secs || sara is running 3170 secs || 271604371 markings, 3318790359 edges, 74524 markings/sec, 3170 secs
lola: sara is running 3175 secs || sara is running 3175 secs || 272042274 markings, 3323215973 edges, 87581 markings/sec, 3175 secs
lola: sara is running 3180 secs || sara is running 3180 secs || 272439147 markings, 3327544810 edges, 79375 markings/sec, 3180 secs
lola: sara is running 3185 secs || sara is running 3185 secs || 272784693 markings, 3331750745 edges, 69109 markings/sec, 3185 secs
lola: sara is running 3190 secs || sara is running 3190 secs || 273164334 markings, 3336022317 edges, 75928 markings/sec, 3190 secs
lola: sara is running 3195 secs || sara is running 3195 secs || 273536112 markings, 3340250042 edges, 74356 markings/sec, 3195 secs
lola: sara is running 3200 secs || sara is running 3200 secs || 273878708 markings, 3344416317 edges, 68519 markings/sec, 3200 secs
lola: sara is running 3205 secs || sara is running 3205 secs || 274227337 markings, 3348669519 edges, 69726 markings/sec, 3205 secs
lola: sara is running 3210 secs || sara is running 3210 secs || 274578686 markings, 3352965752 edges, 70270 markings/sec, 3210 secs
lola: sara is running 3215 secs || sara is running 3215 secs || 274878477 markings, 3357256927 edges, 59958 markings/sec, 3215 secs
lola: sara is running 3220 secs || sara is running 3220 secs || 275214190 markings, 3361796140 edges, 67143 markings/sec, 3220 secs
lola: sara is running 3225 secs || sara is running 3225 secs || 275646243 markings, 3366554736 edges, 86411 markings/sec, 3225 secs
lola: sara is running 3230 secs || sara is running 3230 secs || 276015798 markings, 3371225157 edges, 73911 markings/sec, 3230 secs
lola: sara is running 3235 secs || sara is running 3235 secs || 276356122 markings, 3376058999 edges, 68065 markings/sec, 3235 secs
lola: sara is running 3240 secs || sara is running 3240 secs || 276682193 markings, 3380765470 edges, 65214 markings/sec, 3240 secs
lola: sara is running 3245 secs || sara is running 3245 secs || 276961210 markings, 3385317786 edges, 55803 markings/sec, 3245 secs
lola: sara is running 3250 secs || sara is running 3250 secs || 277251956 markings, 3389950001 edges, 58149 markings/sec, 3250 secs
lola: sara is running 3255 secs || sara is running 3255 secs || 277568780 markings, 3394651930 edges, 63365 markings/sec, 3255 secs
lola: sara is running 3260 secs || sara is running 3260 secs || 277874983 markings, 3399316582 edges, 61241 markings/sec, 3260 secs
lola: sara is running 3265 secs || sara is running 3265 secs || 278156982 markings, 3403923131 edges, 56400 markings/sec, 3265 secs
lola: sara is running 3270 secs || sara is running 3270 secs || 278446497 markings, 3408602379 edges, 57903 markings/sec, 3270 secs
lola: sara is running 3275 secs || sara is running 3275 secs || 278732647 markings, 3413299722 edges, 57230 markings/sec, 3275 secs
lola: sara is running 3280 secs || sara is running 3280 secs || 279018657 markings, 3417984796 edges, 57202 markings/sec, 3280 secs
lola: sara is running 3285 secs || sara is running 3285 secs || 279274554 markings, 3422706430 edges, 51179 markings/sec, 3285 secs
lola: sara is running 3290 secs || sara is running 3290 secs || 279538110 markings, 3427500224 edges, 52711 markings/sec, 3290 secs
lola: sara is running 3295 secs || sara is running 3295 secs || 279890181 markings, 3432672898 edges, 70414 markings/sec, 3295 secs
lola: sara is running 3300 secs || sara is running 3300 secs || 280201037 markings, 3437618674 edges, 62171 markings/sec, 3300 secs
lola: sara is running 3305 secs || sara is running 3305 secs || 280662202 markings, 3442677467 edges, 92233 markings/sec, 3305 secs
lola: sara is running 3310 secs || sara is running 3310 secs || 281226456 markings, 3447579667 edges, 112851 markings/sec, 3310 secs
lola: sara is running 3315 secs || sara is running 3315 secs || 281683794 markings, 3452354623 edges, 91468 markings/sec, 3315 secs
lola: sara is running 3320 secs || sara is running 3320 secs || 282240185 markings, 3457208657 edges, 111278 markings/sec, 3320 secs
lola: sara is running 3325 secs || sara is running 3325 secs || 282698534 markings, 3462008574 edges, 91670 markings/sec, 3325 secs
lola: sara is running 3330 secs || sara is running 3330 secs || 283198264 markings, 3467002132 edges, 99946 markings/sec, 3330 secs
lola: sara is running 3335 secs || sara is running 3335 secs || 283630659 markings, 3472008392 edges, 86479 markings/sec, 3335 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes no no yes yes yes no yes no yes no yes no no unknown
lola:
preliminary result: no yes no no yes yes yes no yes no yes no yes no no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no no yes yes yes no yes no yes no yes no no unknown
lola: memory consumption: 11214976 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no no yes yes yes no yes no yes no yes no no unknown
lola: memory consumption: 11214976 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: memory consumption: 11214976 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
rslt: finished
--------------------
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="ViralEpidemic-PT-S03D1C1A02"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itslola"
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-4028"
echo " Executing tool itslola"
echo " Input is ViralEpidemic-PT-S03D1C1A02, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r228-oct2-159033547700492"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S03D1C1A02.tgz
mv ViralEpidemic-PT-S03D1C1A02 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; 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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;