About the Execution of LoLA for BusinessProcesses-PT-15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.170 | 3570429.00 | 5171822.00 | 4759.40 | TTTTFTTTT?FTTTTT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2019-input.r016-csrt-155225066100810.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is BusinessProcesses-PT-15, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-csrt-155225066100810
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 316K
-rw-r--r-- 1 mcc users 3.9K Feb 9 08:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 9 08:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 06:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 06:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 23:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.9K Feb 4 23:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.0K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 2 01:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 2 01:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Jan 29 14:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 9.8K Jan 29 14:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 157K Mar 10 17:31 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BusinessProcesses-PT-15-ReachabilityFireability-00
FORMULA_NAME BusinessProcesses-PT-15-ReachabilityFireability-01
FORMULA_NAME BusinessProcesses-PT-15-ReachabilityFireability-02
FORMULA_NAME BusinessProcesses-PT-15-ReachabilityFireability-03
FORMULA_NAME BusinessProcesses-PT-15-ReachabilityFireability-04
FORMULA_NAME BusinessProcesses-PT-15-ReachabilityFireability-05
FORMULA_NAME BusinessProcesses-PT-15-ReachabilityFireability-06
FORMULA_NAME BusinessProcesses-PT-15-ReachabilityFireability-07
FORMULA_NAME BusinessProcesses-PT-15-ReachabilityFireability-08
FORMULA_NAME BusinessProcesses-PT-15-ReachabilityFireability-09
FORMULA_NAME BusinessProcesses-PT-15-ReachabilityFireability-10
FORMULA_NAME BusinessProcesses-PT-15-ReachabilityFireability-11
FORMULA_NAME BusinessProcesses-PT-15-ReachabilityFireability-12
FORMULA_NAME BusinessProcesses-PT-15-ReachabilityFireability-13
FORMULA_NAME BusinessProcesses-PT-15-ReachabilityFireability-14
FORMULA_NAME BusinessProcesses-PT-15-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1552542019850
info: Time: 3600 - MCC
vrfy: Checking ReachabilityFireability @ BusinessProcesses-PT-15 @ 3570 seconds
FORMULA BusinessProcesses-PT-15-ReachabilityFireability-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BusinessProcesses-PT-15-ReachabilityFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BusinessProcesses-PT-15-ReachabilityFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BusinessProcesses-PT-15-ReachabilityFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BusinessProcesses-PT-15-ReachabilityFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BusinessProcesses-PT-15-ReachabilityFireability-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BusinessProcesses-PT-15-ReachabilityFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BusinessProcesses-PT-15-ReachabilityFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BusinessProcesses-PT-15-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BusinessProcesses-PT-15-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BusinessProcesses-PT-15-ReachabilityFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BusinessProcesses-PT-15-ReachabilityFireability-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BusinessProcesses-PT-15-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BusinessProcesses-PT-15-ReachabilityFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BusinessProcesses-PT-15-ReachabilityFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: -1
rslt: Output for ReachabilityFireability @ BusinessProcesses-PT-15
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: 1196/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 630
lola: finding significant places
lola: 630 places, 566 transitions, 528 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 ReachabilityFireability.xml
lola: E (F (FIREABLE(t270))) : E (F (FIREABLE(t354))) : E (F (FIREABLE(t43))) : E (F (((NOT FIREABLE(t44) OR NOT FIREABLE(t122) OR FIREABLE(t164)) AND (FIREABLE(t201) OR FIREABLE(t96))))) : A (G ((NOT FIREABLE(t104) OR (FIREABLE(t223) AND FIREABLE(t157))))) : E (F ((FIREABLE(t309) AND (NOT FIREABLE(t345) OR NOT FIREABLE(t243) OR (NOT FIREABLE(t262) AND NOT FIREABLE(t166)))))) : E (F (FIREABLE(t474))) : E (F (FIREABLE(t424))) : E (F (FIREABLE(t187))) : A (G ((NOT FIREABLE(t546) OR NOT FIREABLE(t266) OR (NOT FIREABLE(t68) AND NOT FIREABLE(t152)) OR ((NOT FIREABLE(t381) OR NOT FIREABLE(t479)) AND FIREABLE(t551))))) : A (G (NOT FIREABLE(t460))) : E (F (FIREABLE(t306))) : E (F (FIREABLE(t358))) : E (F ((NOT FIREABLE(t259) AND NOT FIREABLE(t416) AND FIREABLE(t299) AND FIREABLE(t383)))) : E (F ((FIREABLE(t81) OR FIREABLE(t158)))) : E (F (FIREABLE(t223)))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t270)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (FIREABLE(t270)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(t270)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: state equation: write sara problem file to ReachabilityFireability-0.sara
lola: The predicate is reachable.
lola: 370 markings, 479 edges
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityFireability-0.sara.
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t354)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (FIREABLE(t354)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(t354)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityFireability-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 22 markings, 21 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t43)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (FIREABLE(t43)))
lola: processed formula length: 21
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(t43)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
sara: place or transition ordering is non-deterministic
lola: state equation: write sara problem file to ReachabilityFireability-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityFireability-2-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 370 markings, 479 edges
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t474)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (FIREABLE(t474)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 399 markings, 508 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t424)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (FIREABLE(t424)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 626 markings, 765 edges
lola: ========================================
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t187)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (FIREABLE(t187)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(t187)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 13 markings, 12 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t460)))
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 (NOT FIREABLE(t460)))
lola: processed formula length: 26
lola: 2 rewrites
lola: closed formula file ReachabilityFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(t460)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 103 markings, 102 edges
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t306)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (FIREABLE(t306)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(t306)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 476 markings, 575 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t358)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (FIREABLE(t358)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(t358)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityFireability-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityFireability-8-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6303 markings, 7776 edges
lola: ========================================
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t223)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (FIREABLE(t223)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 22 markings, 21 edges
lola: ========================================
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t81) OR FIREABLE(t158))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((FIREABLE(t81) OR FIREABLE(t158))))
lola: processed formula length: 42
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 38 markings, 37 edges
lola: ========================================
lola: subprocess 11 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t104) OR (FIREABLE(t223) AND FIREABLE(t157)))))
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 ((NOT FIREABLE(t104) OR (FIREABLE(t223) AND FIREABLE(t157)))))
lola: processed formula length: 68
lola: 2 rewrites
lola: closed formula file ReachabilityFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (FIREABLE(t104) AND (NOT FIREABLE(t223) OR NOT FIREABLE(t157)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityFireability-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityFireability-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 19888 markings, 23990 edges
lola: ========================================
lola: subprocess 12 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(t259) AND NOT FIREABLE(t416) AND FIREABLE(t299) AND FIREABLE(t383))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((NOT FIREABLE(t259) AND NOT FIREABLE(t416) AND FIREABLE(t299) AND FIREABLE(t383))))
lola: processed formula length: 89
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (NOT FIREABLE(t259) AND NOT FIREABLE(t416) AND FIREABLE(t299) AND FIREABLE(t383))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityFireability-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityFireability-12-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6035 markings, 7417 edges
lola: ========================================
lola: subprocess 13 will run for 1188 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t309) AND (NOT FIREABLE(t345) OR NOT FIREABLE(t243) OR (NOT FIREABLE(t262) AND NOT FIREABLE(t166))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((FIREABLE(t309) AND (NOT FIREABLE(t345) OR NOT FIREABLE(t243) OR (NOT FIREABLE(t262) AND NOT FIREABLE(t166))))))
lola: processed formula length: 120
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (FIREABLE(t309) AND (NOT FIREABLE(t345) OR NOT FIREABLE(t243) OR (NOT FIREABLE(t262) AND NOT FIREABLE(t166))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 7 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 113 markings, 112 edges
lola: ========================================
lola: subprocess 14 will run for 1782 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t44) OR NOT FIREABLE(t122) OR FIREABLE(t164)) AND (FIREABLE(t201) OR FIREABLE(t96)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((NOT FIREABLE(t44) OR NOT FIREABLE(t122) OR FIREABLE(t164)) AND (FIREABLE(t201) OR FIREABLE(t96)))))
lola: processed formula length: 110
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((NOT FIREABLE(t44) OR NOT FIREABLE(t122) OR FIREABLE(t164)) AND (FIREABLE(t201) OR FIREABLE(t96)))
lola: state equation task get result unparse finished id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: state equation: Generated DNF with 12 literals and 6 conjunctive subformulas
lola: The predicate is reachable.
lola: 18 markings, 17 edges
lola: ========================================
lola: subprocess 15 will run for 3565 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t546) OR NOT FIREABLE(t266) OR (NOT FIREABLE(t68) AND NOT FIREABLE(t152)) OR ((NOT FIREABLE(t381) OR NOT FIREABLE(t479)) AND FIREABLE(t551)))))
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 ((NOT FIREABLE(t546) OR NOT FIREABLE(t266) OR (NOT FIREABLE(t68) AND NOT FIREABLE(t152)) OR ((NOT FIREABLE(t381) OR NOT FIREABLE(t479)) AND FIREABLE(t551)))))
lola: processed formula length: 167
lola: 2 rewrites
lola: closed formula file ReachabilityFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (FIREABLE(t546) AND FIREABLE(t266) AND (FIREABLE(t68) OR FIREABLE(t152)) AND ((FIREABLE(t381) AND FIREABLE(t479)) OR NOT FIREABLE(t551)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 42 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityFireability-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 291672 markings, 402284 edges, 58334 markings/sec, 0 secs
lola: sara is running 5 secs || 728235 markings, 1013431 edges, 87313 markings/sec, 5 secs
lola: sara is running 10 secs || 1140002 markings, 1620906 edges, 82353 markings/sec, 10 secs
lola: sara is running 15 secs || 1569620 markings, 2222169 edges, 85924 markings/sec, 15 secs
lola: sara is running 20 secs || 1996335 markings, 2819601 edges, 85343 markings/sec, 20 secs
lola: sara is running 25 secs || 2404881 markings, 3422019 edges, 81709 markings/sec, 25 secs
lola: sara is running 30 secs || 2828466 markings, 4015055 edges, 84717 markings/sec, 30 secs
lola: sara is running 35 secs || 3252814 markings, 4608008 edges, 84870 markings/sec, 35 secs
lola: sara is running 40 secs || 3660495 markings, 5208963 edges, 81536 markings/sec, 40 secs
lola: sara is running 45 secs || 4085960 markings, 5805674 edges, 85093 markings/sec, 45 secs
lola: sara is running 50 secs || 4511302 markings, 6399913 edges, 85068 markings/sec, 50 secs
lola: sara is running 55 secs || 4921624 markings, 7004731 edges, 82064 markings/sec, 55 secs
lola: sara is running 60 secs || 5345362 markings, 7599432 edges, 84748 markings/sec, 60 secs
lola: sara is running 65 secs || 5770386 markings, 8193471 edges, 85005 markings/sec, 65 secs
lola: sara is running 70 secs || 6179245 markings, 8795100 edges, 81772 markings/sec, 70 secs
lola: sara is running 75 secs || 6601909 markings, 9389686 edges, 84533 markings/sec, 75 secs
lola: sara is running 80 secs || 7031823 markings, 9989660 edges, 85983 markings/sec, 80 secs
lola: sara is running 85 secs || 7452794 markings, 10609358 edges, 84194 markings/sec, 85 secs
lola: sara is running 90 secs || 7812790 markings, 11330679 edges, 71999 markings/sec, 90 secs
lola: sara is running 95 secs || 8138241 markings, 12106280 edges, 65090 markings/sec, 95 secs
lola: sara is running 100 secs || 8459172 markings, 12884654 edges, 64186 markings/sec, 100 secs
lola: sara is running 105 secs || 8770436 markings, 13651075 edges, 62253 markings/sec, 105 secs
lola: sara is running 110 secs || 9091177 markings, 14417615 edges, 64148 markings/sec, 110 secs
lola: sara is running 115 secs || 9413850 markings, 15188347 edges, 64535 markings/sec, 115 secs
lola: sara is running 120 secs || 9731894 markings, 15959646 edges, 63609 markings/sec, 120 secs
lola: sara is running 125 secs || 10045774 markings, 16733183 edges, 62776 markings/sec, 125 secs
lola: sara is running 130 secs || 10370183 markings, 17506708 edges, 64882 markings/sec, 130 secs
lola: sara is running 135 secs || 10688587 markings, 18267740 edges, 63681 markings/sec, 135 secs
lola: sara is running 140 secs || 10998024 markings, 19018469 edges, 61887 markings/sec, 140 secs
lola: sara is running 145 secs || 11310140 markings, 19787517 edges, 62423 markings/sec, 145 secs
lola: sara is running 150 secs || 11625575 markings, 20540450 edges, 63087 markings/sec, 150 secs
lola: sara is running 155 secs || 11941036 markings, 21293567 edges, 63092 markings/sec, 155 secs
lola: sara is running 160 secs || 12252477 markings, 22048655 edges, 62288 markings/sec, 160 secs
lola: sara is running 165 secs || 12564376 markings, 22816602 edges, 62380 markings/sec, 165 secs
lola: sara is running 170 secs || 12888445 markings, 23591577 edges, 64814 markings/sec, 170 secs
lola: sara is running 175 secs || 13212553 markings, 24365584 edges, 64822 markings/sec, 175 secs
lola: sara is running 180 secs || 13496333 markings, 25053251 edges, 56756 markings/sec, 180 secs
lola: sara is running 185 secs || 13663899 markings, 25465360 edges, 33513 markings/sec, 185 secs
lola: sara is running 190 secs || 13834956 markings, 25886339 edges, 34211 markings/sec, 190 secs
lola: sara is running 195 secs || 14153699 markings, 26648330 edges, 63749 markings/sec, 195 secs
lola: sara is running 200 secs || 14474756 markings, 27415006 edges, 64211 markings/sec, 200 secs
lola: sara is running 205 secs || 14652001 markings, 27837028 edges, 35449 markings/sec, 205 secs
lola: sara is running 210 secs || 14818131 markings, 28247721 edges, 33226 markings/sec, 210 secs
lola: sara is running 215 secs || 14986709 markings, 28664049 edges, 33716 markings/sec, 215 secs
lola: sara is running 220 secs || 15157095 markings, 29085399 edges, 34077 markings/sec, 220 secs
lola: sara is running 225 secs || 15468421 markings, 29555536 edges, 62265 markings/sec, 225 secs
lola: sara is running 230 secs || 15890873 markings, 30171172 edges, 84490 markings/sec, 230 secs
lola: sara is running 235 secs || 16275256 markings, 30727475 edges, 76877 markings/sec, 235 secs
lola: sara is running 240 secs || 16637767 markings, 31247850 edges, 72502 markings/sec, 240 secs
lola: sara is running 245 secs || 17066924 markings, 31868566 edges, 85831 markings/sec, 245 secs
lola: sara is running 250 secs || 17486017 markings, 32489734 edges, 83819 markings/sec, 250 secs
lola: sara is running 255 secs || 17893339 markings, 33107434 edges, 81464 markings/sec, 255 secs
lola: sara is running 260 secs || 18297399 markings, 33732626 edges, 80812 markings/sec, 260 secs
lola: sara is running 265 secs || 18726464 markings, 34380213 edges, 85813 markings/sec, 265 secs
lola: sara is running 270 secs || 19146963 markings, 34986266 edges, 84100 markings/sec, 270 secs
lola: sara is running 275 secs || 19559398 markings, 35585104 edges, 82487 markings/sec, 275 secs
lola: sara is running 280 secs || 19994095 markings, 36212126 edges, 86939 markings/sec, 280 secs
lola: sara is running 285 secs || 20424526 markings, 36831185 edges, 86086 markings/sec, 285 secs
lola: sara is running 290 secs || 20859745 markings, 37462259 edges, 87044 markings/sec, 290 secs
lola: sara is running 295 secs || 21270680 markings, 38067267 edges, 82187 markings/sec, 295 secs
lola: sara is running 300 secs || 21660658 markings, 38660896 edges, 77996 markings/sec, 300 secs
lola: sara is running 305 secs || 22048356 markings, 39256227 edges, 77540 markings/sec, 305 secs
lola: sara is running 310 secs || 22448488 markings, 39862489 edges, 80026 markings/sec, 310 secs
lola: sara is running 315 secs || 22865481 markings, 40474968 edges, 83399 markings/sec, 315 secs
lola: sara is running 320 secs || 23278520 markings, 41068456 edges, 82608 markings/sec, 320 secs
lola: sara is running 325 secs || 23690043 markings, 41658956 edges, 82305 markings/sec, 325 secs
lola: sara is running 330 secs || 24098311 markings, 42254227 edges, 81654 markings/sec, 330 secs
lola: sara is running 335 secs || 24507880 markings, 42850702 edges, 81914 markings/sec, 335 secs
lola: sara is running 340 secs || 24808648 markings, 43272662 edges, 60154 markings/sec, 340 secs
lola: sara is running 345 secs || 25205500 markings, 43875414 edges, 79370 markings/sec, 345 secs
lola: sara is running 350 secs || 25602743 markings, 44475905 edges, 79449 markings/sec, 350 secs
lola: sara is running 355 secs || 25996506 markings, 45080036 edges, 78753 markings/sec, 355 secs
lola: sara is running 360 secs || 26355517 markings, 45628058 edges, 71802 markings/sec, 360 secs
lola: sara is running 365 secs || 26598594 markings, 45989782 edges, 48615 markings/sec, 365 secs
lola: sara is running 370 secs || 26867444 markings, 46361220 edges, 53770 markings/sec, 370 secs
lola: sara is running 375 secs || 27093500 markings, 46692048 edges, 45211 markings/sec, 375 secs
lola: sara is running 380 secs || 27419278 markings, 47160611 edges, 65156 markings/sec, 380 secs
lola: sara is running 385 secs || 27735417 markings, 47623407 edges, 63228 markings/sec, 385 secs
lola: sara is running 390 secs || 27958753 markings, 47942375 edges, 44667 markings/sec, 390 secs
lola: sara is running 395 secs || 28182024 markings, 48268715 edges, 44654 markings/sec, 395 secs
lola: sara is running 400 secs || 28404188 markings, 48594020 edges, 44433 markings/sec, 400 secs
lola: sara is running 405 secs || 28645026 markings, 48929156 edges, 48168 markings/sec, 405 secs
lola: sara is running 410 secs || 28905607 markings, 49325569 edges, 52116 markings/sec, 410 secs
lola: sara is running 415 secs || 29094605 markings, 49616354 edges, 37800 markings/sec, 415 secs
lola: sara is running 420 secs || 29297525 markings, 49919708 edges, 40584 markings/sec, 420 secs
lola: sara is running 425 secs || 29672221 markings, 50497366 edges, 74939 markings/sec, 425 secs
lola: sara is running 430 secs || 30090802 markings, 51133133 edges, 83716 markings/sec, 430 secs
lola: sara is running 435 secs || 30469407 markings, 51685602 edges, 75721 markings/sec, 435 secs
lola: sara is running 440 secs || 30694864 markings, 52002720 edges, 45091 markings/sec, 440 secs
lola: sara is running 445 secs || 30914564 markings, 52324924 edges, 43940 markings/sec, 445 secs
lola: sara is running 450 secs || 31136034 markings, 52644174 edges, 44294 markings/sec, 450 secs
lola: sara is running 455 secs || 31358124 markings, 52964198 edges, 44418 markings/sec, 455 secs
lola: sara is running 460 secs || 31569013 markings, 53275232 edges, 42178 markings/sec, 460 secs
lola: sara is running 465 secs || 31786421 markings, 53584294 edges, 43482 markings/sec, 465 secs
lola: sara is running 470 secs || 31999026 markings, 53896688 edges, 42521 markings/sec, 470 secs
lola: sara is running 475 secs || 32210530 markings, 54205337 edges, 42301 markings/sec, 475 secs
lola: sara is running 480 secs || 32436355 markings, 54518169 edges, 45165 markings/sec, 480 secs
lola: sara is running 485 secs || 32650583 markings, 54841760 edges, 42846 markings/sec, 485 secs
lola: sara is running 490 secs || 32861468 markings, 55166821 edges, 42177 markings/sec, 490 secs
lola: sara is running 495 secs || 33075164 markings, 55488729 edges, 42739 markings/sec, 495 secs
lola: sara is running 500 secs || 33284480 markings, 55808057 edges, 41863 markings/sec, 500 secs
lola: sara is running 505 secs || 33491490 markings, 56129307 edges, 41402 markings/sec, 505 secs
lola: sara is running 510 secs || 33821943 markings, 56625862 edges, 66091 markings/sec, 510 secs
lola: sara is running 515 secs || 34225659 markings, 57230400 edges, 80743 markings/sec, 515 secs
lola: sara is running 520 secs || 34621560 markings, 57792596 edges, 79180 markings/sec, 520 secs
lola: sara is running 525 secs || 35021610 markings, 58368453 edges, 80010 markings/sec, 525 secs
lola: sara is running 530 secs || 35430066 markings, 58968843 edges, 81691 markings/sec, 530 secs
lola: sara is running 535 secs || 35846889 markings, 59567145 edges, 83365 markings/sec, 535 secs
lola: sara is running 540 secs || 36267229 markings, 60166920 edges, 84068 markings/sec, 540 secs
lola: sara is running 545 secs || 36667753 markings, 60778256 edges, 80105 markings/sec, 545 secs
lola: sara is running 550 secs || 37079603 markings, 61401820 edges, 82370 markings/sec, 550 secs
lola: sara is running 555 secs || 37498086 markings, 62038360 edges, 83697 markings/sec, 555 secs
lola: sara is running 560 secs || 37914489 markings, 62679784 edges, 83281 markings/sec, 560 secs
lola: sara is running 565 secs || 38377612 markings, 63286395 edges, 92625 markings/sec, 565 secs
lola: sara is running 570 secs || 38813682 markings, 63848856 edges, 87214 markings/sec, 570 secs
lola: sara is running 575 secs || 39247685 markings, 64415191 edges, 86801 markings/sec, 575 secs
lola: sara is running 580 secs || 39669222 markings, 64982368 edges, 84307 markings/sec, 580 secs
lola: sara is running 585 secs || 40118291 markings, 65574182 edges, 89814 markings/sec, 585 secs
lola: sara is running 590 secs || 40580759 markings, 66171820 edges, 92494 markings/sec, 590 secs
lola: sara is running 595 secs || 41042451 markings, 66769509 edges, 92338 markings/sec, 595 secs
lola: sara is running 600 secs || 41486792 markings, 67357879 edges, 88868 markings/sec, 600 secs
lola: sara is running 605 secs || 41911464 markings, 67928717 edges, 84934 markings/sec, 605 secs
lola: sara is running 610 secs || 42342542 markings, 68487745 edges, 86216 markings/sec, 610 secs
lola: sara is running 615 secs || 42771508 markings, 69043619 edges, 85793 markings/sec, 615 secs
lola: sara is running 620 secs || 43216832 markings, 69618412 edges, 89065 markings/sec, 620 secs
lola: sara is running 625 secs || 43641884 markings, 70189651 edges, 85010 markings/sec, 625 secs
lola: sara is running 630 secs || 44088052 markings, 70787428 edges, 89234 markings/sec, 630 secs
lola: sara is running 635 secs || 44437157 markings, 71235408 edges, 69821 markings/sec, 635 secs
lola: sara is running 640 secs || 44661603 markings, 71525244 edges, 44889 markings/sec, 640 secs
lola: sara is running 645 secs || 44962938 markings, 71915346 edges, 60267 markings/sec, 645 secs
lola: sara is running 650 secs || 45396740 markings, 72483196 edges, 86760 markings/sec, 650 secs
lola: sara is running 655 secs || 45813203 markings, 73042337 edges, 83293 markings/sec, 655 secs
lola: sara is running 660 secs || 46241983 markings, 73605177 edges, 85756 markings/sec, 660 secs
lola: sara is running 665 secs || 46676219 markings, 74167469 edges, 86847 markings/sec, 665 secs
lola: sara is running 670 secs || 47108031 markings, 74728112 edges, 86362 markings/sec, 670 secs
lola: sara is running 675 secs || 47536451 markings, 75293489 edges, 85684 markings/sec, 675 secs
lola: sara is running 680 secs || 47965088 markings, 75867527 edges, 85727 markings/sec, 680 secs
lola: sara is running 685 secs || 48403598 markings, 76439193 edges, 87702 markings/sec, 685 secs
lola: sara is running 690 secs || 48825779 markings, 76987133 edges, 84436 markings/sec, 690 secs
lola: sara is running 695 secs || 49262567 markings, 77548544 edges, 87358 markings/sec, 695 secs
lola: sara is running 700 secs || 49701013 markings, 78135959 edges, 87689 markings/sec, 700 secs
lola: sara is running 705 secs || 50146188 markings, 78735342 edges, 89035 markings/sec, 705 secs
lola: sara is running 710 secs || 50498798 markings, 79506562 edges, 70522 markings/sec, 710 secs
lola: sara is running 715 secs || 50807765 markings, 80267384 edges, 61793 markings/sec, 715 secs
lola: sara is running 720 secs || 51104480 markings, 80982471 edges, 59343 markings/sec, 720 secs
lola: sara is running 725 secs || 51395685 markings, 81703497 edges, 58241 markings/sec, 725 secs
lola: sara is running 730 secs || 51699242 markings, 82434914 edges, 60711 markings/sec, 730 secs
lola: sara is running 735 secs || 51994742 markings, 83164953 edges, 59100 markings/sec, 735 secs
lola: sara is running 740 secs || 52238757 markings, 83745887 edges, 48803 markings/sec, 740 secs
lola: sara is running 745 secs || 52525265 markings, 84467422 edges, 57302 markings/sec, 745 secs
lola: sara is running 750 secs || 52830433 markings, 85231907 edges, 61034 markings/sec, 750 secs
lola: sara is running 755 secs || 53131056 markings, 85989792 edges, 60125 markings/sec, 755 secs
lola: sara is running 760 secs || 53429107 markings, 86737466 edges, 59610 markings/sec, 760 secs
lola: sara is running 765 secs || 53727158 markings, 87489038 edges, 59610 markings/sec, 765 secs
lola: sara is running 770 secs || 54034426 markings, 88244794 edges, 61454 markings/sec, 770 secs
lola: sara is running 775 secs || 54320246 markings, 88929804 edges, 57164 markings/sec, 775 secs
lola: sara is running 780 secs || 54625653 markings, 89683164 edges, 61081 markings/sec, 780 secs
lola: sara is running 785 secs || 54932617 markings, 90423413 edges, 61393 markings/sec, 785 secs
lola: sara is running 790 secs || 55234039 markings, 91167088 edges, 60284 markings/sec, 790 secs
lola: sara is running 795 secs || 55545088 markings, 91919673 edges, 62210 markings/sec, 795 secs
lola: sara is running 800 secs || 55847515 markings, 92659023 edges, 60485 markings/sec, 800 secs
lola: sara is running 805 secs || 56153669 markings, 93402025 edges, 61231 markings/sec, 805 secs
lola: sara is running 810 secs || 56445542 markings, 94139958 edges, 58375 markings/sec, 810 secs
lola: sara is running 815 secs || 56706520 markings, 94792155 edges, 52196 markings/sec, 815 secs
lola: sara is running 820 secs || 57001168 markings, 95536114 edges, 58930 markings/sec, 820 secs
lola: sara is running 825 secs || 57272266 markings, 96215243 edges, 54220 markings/sec, 825 secs
lola: sara is running 830 secs || 57569192 markings, 96965026 edges, 59385 markings/sec, 830 secs
lola: sara is running 835 secs || 57878480 markings, 97719762 edges, 61858 markings/sec, 835 secs
lola: sara is running 840 secs || 58153779 markings, 98384570 edges, 55060 markings/sec, 840 secs
lola: sara is running 845 secs || 58434780 markings, 99077195 edges, 56200 markings/sec, 845 secs
lola: sara is running 850 secs || 58744424 markings, 99823989 edges, 61929 markings/sec, 850 secs
lola: sara is running 855 secs || 58977417 markings, 100399216 edges, 46599 markings/sec, 855 secs
lola: sara is running 860 secs || 59210993 markings, 100962645 edges, 46715 markings/sec, 860 secs
lola: sara is running 865 secs || 59507513 markings, 101690978 edges, 59304 markings/sec, 865 secs
lola: sara is running 870 secs || 59751819 markings, 102274867 edges, 48861 markings/sec, 870 secs
lola: sara is running 875 secs || 60052977 markings, 103023750 edges, 60232 markings/sec, 875 secs
lola: sara is running 880 secs || 60345009 markings, 103765661 edges, 58406 markings/sec, 880 secs
lola: sara is running 885 secs || 60640846 markings, 104500386 edges, 59167 markings/sec, 885 secs
lola: sara is running 890 secs || 60930781 markings, 105237810 edges, 57987 markings/sec, 890 secs
lola: sara is running 895 secs || 61228920 markings, 105981032 edges, 59628 markings/sec, 895 secs
lola: sara is running 900 secs || 61528937 markings, 106739565 edges, 60003 markings/sec, 900 secs
lola: sara is running 905 secs || 61849262 markings, 107500236 edges, 64065 markings/sec, 905 secs
lola: sara is running 910 secs || 62152641 markings, 108243518 edges, 60676 markings/sec, 910 secs
lola: sara is running 915 secs || 62459929 markings, 108988114 edges, 61458 markings/sec, 915 secs
lola: sara is running 920 secs || 62766539 markings, 109743741 edges, 61322 markings/sec, 920 secs
lola: sara is running 925 secs || 63079373 markings, 110499225 edges, 62567 markings/sec, 925 secs
lola: sara is running 930 secs || 63392757 markings, 111274522 edges, 62677 markings/sec, 930 secs
lola: sara is running 935 secs || 63718407 markings, 112056584 edges, 65130 markings/sec, 935 secs
lola: sara is running 940 secs || 64016067 markings, 112806853 edges, 59532 markings/sec, 940 secs
lola: sara is running 945 secs || 64318795 markings, 113564593 edges, 60546 markings/sec, 945 secs
lola: sara is running 950 secs || 64617898 markings, 114320300 edges, 59821 markings/sec, 950 secs
lola: sara is running 955 secs || 64920256 markings, 115076599 edges, 60472 markings/sec, 955 secs
lola: sara is running 960 secs || 65220197 markings, 115837395 edges, 59988 markings/sec, 960 secs
lola: sara is running 965 secs || 65539060 markings, 116605921 edges, 63773 markings/sec, 965 secs
lola: sara is running 970 secs || 65849999 markings, 117365586 edges, 62188 markings/sec, 970 secs
lola: sara is running 975 secs || 66160160 markings, 118118588 edges, 62032 markings/sec, 975 secs
lola: sara is running 980 secs || 66467906 markings, 118871544 edges, 61549 markings/sec, 980 secs
lola: sara is running 985 secs || 66779889 markings, 119629421 edges, 62397 markings/sec, 985 secs
lola: sara is running 990 secs || 66972312 markings, 120100614 edges, 38485 markings/sec, 990 secs
lola: sara is running 995 secs || 67245447 markings, 120769363 edges, 54627 markings/sec, 995 secs
lola: sara is running 1000 secs || 67544757 markings, 121493385 edges, 59862 markings/sec, 1000 secs
lola: sara is running 1005 secs || 67833747 markings, 122221128 edges, 57798 markings/sec, 1005 secs
lola: sara is running 1010 secs || 68034976 markings, 122726481 edges, 40246 markings/sec, 1010 secs
lola: sara is running 1015 secs || 68328962 markings, 123467592 edges, 58797 markings/sec, 1015 secs
lola: sara is running 1020 secs || 68623860 markings, 124207318 edges, 58980 markings/sec, 1020 secs
lola: sara is running 1025 secs || 68918586 markings, 124950713 edges, 58945 markings/sec, 1025 secs
lola: sara is running 1030 secs || 69220114 markings, 125700502 edges, 60306 markings/sec, 1030 secs
lola: sara is running 1035 secs || 69531663 markings, 126441668 edges, 62310 markings/sec, 1035 secs
lola: sara is running 1040 secs || 69768943 markings, 127025823 edges, 47456 markings/sec, 1040 secs
lola: sara is running 1045 secs || 70016191 markings, 127625160 edges, 49450 markings/sec, 1045 secs
lola: sara is running 1050 secs || 70317718 markings, 128363078 edges, 60305 markings/sec, 1050 secs
lola: sara is running 1055 secs || 70576672 markings, 128992565 edges, 51791 markings/sec, 1055 secs
lola: sara is running 1060 secs || 70857979 markings, 129681890 edges, 56261 markings/sec, 1060 secs
lola: sara is running 1065 secs || 71154538 markings, 130394945 edges, 59312 markings/sec, 1065 secs
lola: sara is running 1070 secs || 71453394 markings, 131135504 edges, 59771 markings/sec, 1070 secs
lola: sara is running 1075 secs || 71744606 markings, 131875840 edges, 58242 markings/sec, 1075 secs
lola: sara is running 1080 secs || 72042063 markings, 132614955 edges, 59491 markings/sec, 1080 secs
lola: sara is running 1085 secs || 72304276 markings, 133282694 edges, 52443 markings/sec, 1085 secs
lola: sara is running 1090 secs || 72571503 markings, 133946248 edges, 53445 markings/sec, 1090 secs
lola: sara is running 1095 secs || 72832535 markings, 134610096 edges, 52206 markings/sec, 1095 secs
lola: sara is running 1100 secs || 73096026 markings, 135242316 edges, 52698 markings/sec, 1100 secs
lola: sara is running 1105 secs || 73346477 markings, 135816233 edges, 50090 markings/sec, 1105 secs
lola: sara is running 1110 secs || 73624295 markings, 136451410 edges, 55564 markings/sec, 1110 secs
lola: sara is running 1115 secs || 73941746 markings, 137178416 edges, 63490 markings/sec, 1115 secs
lola: sara is running 1120 secs || 74216411 markings, 137807254 edges, 54933 markings/sec, 1120 secs
lola: sara is running 1125 secs || 74423624 markings, 138292920 edges, 41443 markings/sec, 1125 secs
lola: sara is running 1130 secs || 74702933 markings, 138946338 edges, 55862 markings/sec, 1130 secs
lola: sara is running 1135 secs || 75016705 markings, 139679552 edges, 62754 markings/sec, 1135 secs
lola: sara is running 1140 secs || 75336359 markings, 140405690 edges, 63931 markings/sec, 1140 secs
lola: sara is running 1145 secs || 75524647 markings, 140834787 edges, 37658 markings/sec, 1145 secs
lola: sara is running 1150 secs || 75777277 markings, 141414653 edges, 50526 markings/sec, 1150 secs
lola: sara is running 1155 secs || 76091293 markings, 142131090 edges, 62803 markings/sec, 1155 secs
lola: sara is running 1160 secs || 76241225 markings, 142477608 edges, 29986 markings/sec, 1160 secs
lola: sara is running 1165 secs || 76487968 markings, 143054780 edges, 49349 markings/sec, 1165 secs
lola: sara is running 1170 secs || 76636412 markings, 143401740 edges, 29689 markings/sec, 1170 secs
lola: sara is running 1175 secs || 76785622 markings, 143750444 edges, 29842 markings/sec, 1175 secs
lola: sara is running 1180 secs || 76949017 markings, 144132235 edges, 32679 markings/sec, 1180 secs
lola: sara is running 1185 secs || 77091953 markings, 144464338 edges, 28587 markings/sec, 1185 secs
lola: sara is running 1190 secs || 77325332 markings, 144994689 edges, 46676 markings/sec, 1190 secs
lola: sara is running 1195 secs || 77601728 markings, 145626112 edges, 55279 markings/sec, 1195 secs
lola: sara is running 1200 secs || 77749748 markings, 145967007 edges, 29604 markings/sec, 1200 secs
lola: sara is running 1205 secs || 77900618 markings, 146310156 edges, 30174 markings/sec, 1205 secs
lola: sara is running 1210 secs || 78056080 markings, 146668837 edges, 31092 markings/sec, 1210 secs
lola: sara is running 1215 secs || 78255266 markings, 147122102 edges, 39837 markings/sec, 1215 secs
lola: sara is running 1220 secs || 78455923 markings, 147594144 edges, 40131 markings/sec, 1220 secs
lola: sara is running 1225 secs || 78603741 markings, 147936729 edges, 29564 markings/sec, 1225 secs
lola: sara is running 1230 secs || 78787940 markings, 148368776 edges, 36840 markings/sec, 1230 secs
lola: sara is running 1235 secs || 78965227 markings, 148782438 edges, 35457 markings/sec, 1235 secs
lola: sara is running 1240 secs || 79119373 markings, 149140840 edges, 30829 markings/sec, 1240 secs
lola: sara is running 1245 secs || 79312217 markings, 149576922 edges, 38569 markings/sec, 1245 secs
lola: sara is running 1250 secs || 79584797 markings, 150199901 edges, 54516 markings/sec, 1250 secs
lola: sara is running 1255 secs || 79751076 markings, 150583765 edges, 33256 markings/sec, 1255 secs
lola: sara is running 1260 secs || 79909959 markings, 150944997 edges, 31777 markings/sec, 1260 secs
lola: sara is running 1265 secs || 80065848 markings, 151304740 edges, 31178 markings/sec, 1265 secs
lola: sara is running 1270 secs || 80226624 markings, 151669269 edges, 32155 markings/sec, 1270 secs
lola: sara is running 1275 secs || 80378989 markings, 152024888 edges, 30473 markings/sec, 1275 secs
lola: sara is running 1280 secs || 80537155 markings, 152394267 edges, 31633 markings/sec, 1280 secs
lola: sara is running 1285 secs || 80696197 markings, 152766064 edges, 31808 markings/sec, 1285 secs
lola: sara is running 1290 secs || 80849508 markings, 153124086 edges, 30662 markings/sec, 1290 secs
lola: sara is running 1295 secs || 81009466 markings, 153498015 edges, 31992 markings/sec, 1295 secs
lola: sara is running 1300 secs || 81242789 markings, 154032913 edges, 46665 markings/sec, 1300 secs
lola: sara is running 1305 secs || 81454394 markings, 154517429 edges, 42321 markings/sec, 1305 secs
lola: sara is running 1310 secs || 81606021 markings, 154862414 edges, 30325 markings/sec, 1310 secs
lola: sara is running 1315 secs || 81758898 markings, 155214614 edges, 30575 markings/sec, 1315 secs
lola: sara is running 1320 secs || 81912060 markings, 155562990 edges, 30632 markings/sec, 1320 secs
lola: sara is running 1325 secs || 82063928 markings, 155913022 edges, 30374 markings/sec, 1325 secs
lola: sara is running 1330 secs || 82219814 markings, 156266727 edges, 31177 markings/sec, 1330 secs
lola: sara is running 1335 secs || 82372724 markings, 156622592 edges, 30582 markings/sec, 1335 secs
lola: sara is running 1340 secs || 82523881 markings, 156976801 edges, 30231 markings/sec, 1340 secs
lola: sara is running 1345 secs || 82675154 markings, 157328665 edges, 30255 markings/sec, 1345 secs
lola: sara is running 1350 secs || 82822356 markings, 157674593 edges, 29440 markings/sec, 1350 secs
lola: sara is running 1355 secs || 82970603 markings, 158018577 edges, 29649 markings/sec, 1355 secs
lola: sara is running 1360 secs || 83119155 markings, 158368998 edges, 29710 markings/sec, 1360 secs
lola: sara is running 1365 secs || 83276262 markings, 158722877 edges, 31421 markings/sec, 1365 secs
lola: sara is running 1370 secs || 83426159 markings, 159065954 edges, 29979 markings/sec, 1370 secs
lola: sara is running 1375 secs || 83578305 markings, 159414092 edges, 30429 markings/sec, 1375 secs
lola: sara is running 1380 secs || 83727993 markings, 159757268 edges, 29938 markings/sec, 1380 secs
lola: sara is running 1385 secs || 83881922 markings, 160109161 edges, 30786 markings/sec, 1385 secs
lola: sara is running 1390 secs || 84033337 markings, 160456371 edges, 30283 markings/sec, 1390 secs
lola: sara is running 1395 secs || 84192227 markings, 160818442 edges, 31778 markings/sec, 1395 secs
lola: sara is running 1400 secs || 84346780 markings, 161172786 edges, 30911 markings/sec, 1400 secs
lola: sara is running 1405 secs || 84562509 markings, 161678961 edges, 43146 markings/sec, 1405 secs
lola: sara is running 1410 secs || 84736548 markings, 162085255 edges, 34808 markings/sec, 1410 secs
lola: sara is running 1415 secs || 84959425 markings, 162604029 edges, 44575 markings/sec, 1415 secs
lola: sara is running 1420 secs || 85156949 markings, 163069228 edges, 39505 markings/sec, 1420 secs
lola: sara is running 1425 secs || 85401255 markings, 163444645 edges, 48861 markings/sec, 1425 secs
lola: sara is running 1430 secs || 85778409 markings, 163979567 edges, 75431 markings/sec, 1430 secs
lola: sara is running 1435 secs || 86096384 markings, 164419133 edges, 63595 markings/sec, 1435 secs
lola: sara is running 1440 secs || 86502101 markings, 165005182 edges, 81143 markings/sec, 1440 secs
lola: sara is running 1445 secs || 86851220 markings, 165476825 edges, 69824 markings/sec, 1445 secs
lola: sara is running 1450 secs || 87133198 markings, 165894098 edges, 56396 markings/sec, 1450 secs
lola: sara is running 1455 secs || 87400658 markings, 166251480 edges, 53492 markings/sec, 1455 secs
lola: sara is running 1460 secs || 87605860 markings, 166534666 edges, 41040 markings/sec, 1460 secs
lola: sara is running 1465 secs || 87797397 markings, 166831373 edges, 38307 markings/sec, 1465 secs
lola: sara is running 1470 secs || 88021969 markings, 167174370 edges, 44914 markings/sec, 1470 secs
lola: sara is running 1475 secs || 88365088 markings, 167661216 edges, 68624 markings/sec, 1475 secs
lola: sara is running 1480 secs || 88764368 markings, 168255612 edges, 79856 markings/sec, 1480 secs
lola: sara is running 1485 secs || 89164677 markings, 168853562 edges, 80062 markings/sec, 1485 secs
lola: sara is running 1490 secs || 89526328 markings, 169353713 edges, 72330 markings/sec, 1490 secs
lola: sara is running 1495 secs || 89930161 markings, 169920389 edges, 80767 markings/sec, 1495 secs
lola: sara is running 1500 secs || 90231314 markings, 170341476 edges, 60231 markings/sec, 1500 secs
lola: sara is running 1505 secs || 90620927 markings, 170894150 edges, 77923 markings/sec, 1505 secs
lola: sara is running 1510 secs || 90826437 markings, 171181563 edges, 41102 markings/sec, 1510 secs
lola: sara is running 1515 secs || 91035944 markings, 171464750 edges, 41901 markings/sec, 1515 secs
lola: sara is running 1520 secs || 91224392 markings, 171742487 edges, 37690 markings/sec, 1520 secs
lola: sara is running 1525 secs || 91432851 markings, 172039899 edges, 41692 markings/sec, 1525 secs
lola: sara is running 1530 secs || 91565356 markings, 172213309 edges, 26501 markings/sec, 1530 secs
lola: sara is running 1535 secs || 91586597 markings, 172241345 edges, 4248 markings/sec, 1535 secs
lola: sara is running 1540 secs || 91627829 markings, 172297085 edges, 8246 markings/sec, 1540 secs
lola: sara is running 1545 secs || 91673347 markings, 172359981 edges, 9104 markings/sec, 1545 secs
lola: sara is running 1550 secs || 91680610 markings, 172370263 edges, 1453 markings/sec, 1550 secs
lola: sara is running 1555 secs || 91698551 markings, 172394295 edges, 3588 markings/sec, 1555 secs
lola: sara is running 1560 secs || 91705186 markings, 172403288 edges, 1327 markings/sec, 1560 secs
lola: sara is running 1565 secs || 92068033 markings, 172947527 edges, 72569 markings/sec, 1565 secs
lola: sara is running 1570 secs || 92474180 markings, 173531930 edges, 81229 markings/sec, 1570 secs
lola: sara is running 1575 secs || 92868065 markings, 174133779 edges, 78777 markings/sec, 1575 secs
lola: sara is running 1580 secs || 93269961 markings, 174720065 edges, 80379 markings/sec, 1580 secs
lola: sara is running 1585 secs || 93687479 markings, 175312258 edges, 83504 markings/sec, 1585 secs
lola: sara is running 1590 secs || 94103087 markings, 175891683 edges, 83122 markings/sec, 1590 secs
lola: sara is running 1595 secs || 94519002 markings, 176466596 edges, 83183 markings/sec, 1595 secs
lola: sara is running 1600 secs || 94916394 markings, 177048592 edges, 79478 markings/sec, 1600 secs
lola: sara is running 1605 secs || 95336813 markings, 177626058 edges, 84084 markings/sec, 1605 secs
lola: sara is running 1610 secs || 95751996 markings, 178204146 edges, 83037 markings/sec, 1610 secs
lola: sara is running 1615 secs || 96153234 markings, 178784981 edges, 80248 markings/sec, 1615 secs
lola: sara is running 1620 secs || 96556590 markings, 179375123 edges, 80671 markings/sec, 1620 secs
lola: sara is running 1625 secs || 96951829 markings, 179973611 edges, 79048 markings/sec, 1625 secs
lola: sara is running 1630 secs || 97342090 markings, 180531546 edges, 78052 markings/sec, 1630 secs
lola: sara is running 1635 secs || 97741478 markings, 181133570 edges, 79878 markings/sec, 1635 secs
lola: sara is running 1640 secs || 98161233 markings, 181692210 edges, 83951 markings/sec, 1640 secs
lola: sara is running 1645 secs || 98574778 markings, 182283770 edges, 82709 markings/sec, 1645 secs
lola: sara is running 1650 secs || 98988885 markings, 182867687 edges, 82821 markings/sec, 1650 secs
lola: sara is running 1655 secs || 99406464 markings, 183442230 edges, 83516 markings/sec, 1655 secs
lola: sara is running 1660 secs || 99822194 markings, 184042332 edges, 83146 markings/sec, 1660 secs
lola: sara is running 1665 secs || 100225787 markings, 184596973 edges, 80719 markings/sec, 1665 secs
lola: sara is running 1670 secs || 100615866 markings, 185192132 edges, 78016 markings/sec, 1670 secs
lola: sara is running 1675 secs || 101019224 markings, 185780382 edges, 80672 markings/sec, 1675 secs
lola: sara is running 1680 secs || 101424440 markings, 186366515 edges, 81043 markings/sec, 1680 secs
lola: sara is running 1685 secs || 101803356 markings, 186950140 edges, 75783 markings/sec, 1685 secs
lola: sara is running 1690 secs || 102232135 markings, 187519259 edges, 85756 markings/sec, 1690 secs
lola: sara is running 1695 secs || 102637508 markings, 188109093 edges, 81075 markings/sec, 1695 secs
lola: sara is running 1700 secs || 103057798 markings, 188686588 edges, 84058 markings/sec, 1700 secs
lola: sara is running 1705 secs || 103465380 markings, 189259010 edges, 81516 markings/sec, 1705 secs
lola: sara is running 1710 secs || 103874903 markings, 189849371 edges, 81905 markings/sec, 1710 secs
lola: sara is running 1715 secs || 104304850 markings, 190430918 edges, 85989 markings/sec, 1715 secs
lola: sara is running 1720 secs || 104702373 markings, 191035917 edges, 79505 markings/sec, 1720 secs
lola: sara is running 1725 secs || 105113090 markings, 191626241 edges, 82143 markings/sec, 1725 secs
lola: sara is running 1730 secs || 105509975 markings, 192217325 edges, 79377 markings/sec, 1730 secs
lola: sara is running 1735 secs || 105906192 markings, 192808485 edges, 79243 markings/sec, 1735 secs
lola: sara is running 1740 secs || 106326817 markings, 193388811 edges, 84125 markings/sec, 1740 secs
lola: sara is running 1745 secs || 106738068 markings, 193971577 edges, 82250 markings/sec, 1745 secs
lola: sara is running 1750 secs || 107154711 markings, 194544125 edges, 83329 markings/sec, 1750 secs
lola: sara is running 1755 secs || 107560563 markings, 195129331 edges, 81170 markings/sec, 1755 secs
lola: sara is running 1760 secs || 107977735 markings, 195715394 edges, 83434 markings/sec, 1760 secs
lola: sara is running 1765 secs || 108389184 markings, 196280573 edges, 82290 markings/sec, 1765 secs
lola: sara is running 1770 secs || 108790602 markings, 196874218 edges, 80284 markings/sec, 1770 secs
lola: sara is running 1775 secs || 109198478 markings, 197461518 edges, 81575 markings/sec, 1775 secs
lola: sara is running 1780 secs || 109582447 markings, 198054442 edges, 76794 markings/sec, 1780 secs
lola: sara is running 1785 secs || 109987832 markings, 198638689 edges, 81077 markings/sec, 1785 secs
lola: sara is running 1790 secs || 110385447 markings, 199253577 edges, 79523 markings/sec, 1790 secs
lola: sara is running 1795 secs || 110699425 markings, 199983661 edges, 62796 markings/sec, 1795 secs
lola: sara is running 1800 secs || 111004013 markings, 200733733 edges, 60918 markings/sec, 1800 secs
lola: sara is running 1805 secs || 111306051 markings, 201437465 edges, 60408 markings/sec, 1805 secs
lola: sara is running 1810 secs || 111608544 markings, 202183148 edges, 60499 markings/sec, 1810 secs
lola: sara is running 1815 secs || 111914490 markings, 202898382 edges, 61189 markings/sec, 1815 secs
lola: sara is running 1820 secs || 112220097 markings, 203648531 edges, 61121 markings/sec, 1820 secs
lola: sara is running 1825 secs || 112534834 markings, 204388750 edges, 62947 markings/sec, 1825 secs
lola: sara is running 1830 secs || 112837227 markings, 205122581 edges, 60479 markings/sec, 1830 secs
lola: sara is running 1835 secs || 113129929 markings, 205866494 edges, 58540 markings/sec, 1835 secs
lola: sara is running 1840 secs || 113433405 markings, 206589256 edges, 60695 markings/sec, 1840 secs
lola: sara is running 1845 secs || 113725818 markings, 207333436 edges, 58483 markings/sec, 1845 secs
lola: sara is running 1850 secs || 114029358 markings, 208059326 edges, 60708 markings/sec, 1850 secs
lola: sara is running 1855 secs || 114324459 markings, 208808913 edges, 59020 markings/sec, 1855 secs
lola: sara is running 1860 secs || 114638347 markings, 209549879 edges, 62778 markings/sec, 1860 secs
lola: sara is running 1865 secs || 114945286 markings, 210276515 edges, 61388 markings/sec, 1865 secs
lola: sara is running 1870 secs || 115246080 markings, 211015239 edges, 60159 markings/sec, 1870 secs
lola: sara is running 1875 secs || 115553809 markings, 211731895 edges, 61546 markings/sec, 1875 secs
lola: sara is running 1880 secs || 115852186 markings, 212470920 edges, 59675 markings/sec, 1880 secs
lola: sara is running 1885 secs || 116162985 markings, 213193267 edges, 62160 markings/sec, 1885 secs
lola: sara is running 1890 secs || 116463357 markings, 213935776 edges, 60074 markings/sec, 1890 secs
lola: sara is running 1895 secs || 116776978 markings, 214665557 edges, 62724 markings/sec, 1895 secs
lola: sara is running 1900 secs || 117074895 markings, 215398310 edges, 59583 markings/sec, 1900 secs
lola: sara is running 1905 secs || 117369284 markings, 216135801 edges, 58878 markings/sec, 1905 secs
lola: sara is running 1910 secs || 117668359 markings, 216858299 edges, 59815 markings/sec, 1910 secs
lola: sara is running 1915 secs || 117959501 markings, 217597613 edges, 58228 markings/sec, 1915 secs
lola: sara is running 1920 secs || 118261263 markings, 218318412 edges, 60352 markings/sec, 1920 secs
lola: sara is running 1925 secs || 118552880 markings, 219062290 edges, 58323 markings/sec, 1925 secs
lola: sara is running 1930 secs || 118868319 markings, 219795684 edges, 63088 markings/sec, 1930 secs
lola: sara is running 1935 secs || 119171501 markings, 220520268 edges, 60636 markings/sec, 1935 secs
lola: sara is running 1940 secs || 119472515 markings, 221251883 edges, 60203 markings/sec, 1940 secs
lola: sara is running 1945 secs || 119777862 markings, 221971709 edges, 61069 markings/sec, 1945 secs
lola: sara is running 1950 secs || 120077154 markings, 222705498 edges, 59858 markings/sec, 1950 secs
lola: sara is running 1955 secs || 120384704 markings, 223425608 edges, 61510 markings/sec, 1955 secs
lola: sara is running 1960 secs || 120684323 markings, 224165557 edges, 59924 markings/sec, 1960 secs
lola: sara is running 1965 secs || 121003811 markings, 224907655 edges, 63898 markings/sec, 1965 secs
lola: sara is running 1970 secs || 121305259 markings, 225656440 edges, 60290 markings/sec, 1970 secs
lola: sara is running 1975 secs || 121605789 markings, 226398039 edges, 60106 markings/sec, 1975 secs
lola: sara is running 1980 secs || 121906495 markings, 227136533 edges, 60141 markings/sec, 1980 secs
lola: sara is running 1985 secs || 122205515 markings, 227881979 edges, 59804 markings/sec, 1985 secs
lola: sara is running 1990 secs || 122509149 markings, 228622438 edges, 60727 markings/sec, 1990 secs
lola: sara is running 1995 secs || 122809350 markings, 229378036 edges, 60040 markings/sec, 1995 secs
lola: sara is running 2000 secs || 123128581 markings, 230112294 edges, 63846 markings/sec, 2000 secs
lola: sara is running 2005 secs || 123440535 markings, 230868363 edges, 62391 markings/sec, 2005 secs
lola: sara is running 2010 secs || 123754222 markings, 231616632 edges, 62737 markings/sec, 2010 secs
lola: sara is running 2015 secs || 124064942 markings, 232366240 edges, 62144 markings/sec, 2015 secs
lola: sara is running 2020 secs || 124377840 markings, 233113157 edges, 62580 markings/sec, 2020 secs
lola: sara is running 2025 secs || 124690214 markings, 233866534 edges, 62475 markings/sec, 2025 secs
lola: sara is running 2030 secs || 125010058 markings, 234631167 edges, 63969 markings/sec, 2030 secs
lola: sara is running 2035 secs || 125320417 markings, 235366467 edges, 62072 markings/sec, 2035 secs
lola: sara is running 2040 secs || 125620667 markings, 236128019 edges, 60050 markings/sec, 2040 secs
lola: sara is running 2045 secs || 125925480 markings, 236860948 edges, 60963 markings/sec, 2045 secs
lola: sara is running 2050 secs || 126218673 markings, 237599978 edges, 58639 markings/sec, 2050 secs
lola: sara is running 2055 secs || 126517834 markings, 238326084 edges, 59832 markings/sec, 2055 secs
lola: sara is running 2060 secs || 126813291 markings, 239065485 edges, 59091 markings/sec, 2060 secs
lola: sara is running 2065 secs || 127120684 markings, 239813193 edges, 61479 markings/sec, 2065 secs
lola: sara is running 2070 secs || 127429789 markings, 240528993 edges, 61821 markings/sec, 2070 secs
lola: sara is running 2075 secs || 127730259 markings, 241268557 edges, 60094 markings/sec, 2075 secs
lola: sara is running 2080 secs || 128036456 markings, 241984917 edges, 61239 markings/sec, 2080 secs
lola: sara is running 2085 secs || 128349898 markings, 242754256 edges, 62688 markings/sec, 2085 secs
lola: sara is running 2090 secs || 128663106 markings, 243488386 edges, 62642 markings/sec, 2090 secs
lola: sara is running 2095 secs || 128979167 markings, 244264675 edges, 63212 markings/sec, 2095 secs
lola: sara is running 2100 secs || 129308287 markings, 245036070 edges, 65824 markings/sec, 2100 secs
lola: sara is running 2105 secs || 129618839 markings, 245795638 edges, 62110 markings/sec, 2105 secs
lola: sara is running 2110 secs || 129928705 markings, 246573377 edges, 61973 markings/sec, 2110 secs
lola: sara is running 2115 secs || 130245140 markings, 247339931 edges, 63287 markings/sec, 2115 secs
lola: sara is running 2120 secs || 130538102 markings, 248080072 edges, 58592 markings/sec, 2120 secs
lola: sara is running 2125 secs || 130842043 markings, 248810215 edges, 60788 markings/sec, 2125 secs
lola: sara is running 2130 secs || 131132256 markings, 249550852 edges, 58043 markings/sec, 2130 secs
lola: sara is running 2135 secs || 131453170 markings, 250292887 edges, 64183 markings/sec, 2135 secs
lola: sara is running 2140 secs || 131772908 markings, 251062726 edges, 63948 markings/sec, 2140 secs
lola: sara is running 2145 secs || 132087872 markings, 251817256 edges, 62993 markings/sec, 2145 secs
lola: sara is running 2150 secs || 132399126 markings, 252562987 edges, 62251 markings/sec, 2150 secs
lola: sara is running 2155 secs || 132709949 markings, 253309868 edges, 62165 markings/sec, 2155 secs
lola: sara is running 2160 secs || 133021482 markings, 254055822 edges, 62307 markings/sec, 2160 secs
lola: sara is running 2165 secs || 133337076 markings, 254817661 edges, 63119 markings/sec, 2165 secs
lola: sara is running 2170 secs || 133651191 markings, 255554090 edges, 62823 markings/sec, 2170 secs
lola: sara is running 2175 secs || 133953883 markings, 256316540 edges, 60538 markings/sec, 2175 secs
lola: sara is running 2180 secs || 134259827 markings, 257060652 edges, 61189 markings/sec, 2180 secs
lola: sara is running 2185 secs || 134561465 markings, 257814825 edges, 60328 markings/sec, 2185 secs
lola: sara is running 2190 secs || 134866987 markings, 258560991 edges, 61104 markings/sec, 2190 secs
lola: sara is running 2195 secs || 135169643 markings, 259315315 edges, 60531 markings/sec, 2195 secs
lola: sara is running 2200 secs || 135486888 markings, 260074505 edges, 63449 markings/sec, 2200 secs
lola: sara is running 2205 secs || 136036272 markings, 260722664 edges, 109877 markings/sec, 2205 secs
lola: sara is running 2210 secs || 136572989 markings, 261370676 edges, 107343 markings/sec, 2210 secs
lola: sara is running 2215 secs || 137097470 markings, 262001646 edges, 104896 markings/sec, 2215 secs
lola: sara is running 2220 secs || 137621880 markings, 262649465 edges, 104882 markings/sec, 2220 secs
lola: sara is running 2225 secs || 138139624 markings, 263279509 edges, 103549 markings/sec, 2225 secs
lola: sara is running 2230 secs || 138660008 markings, 263918991 edges, 104077 markings/sec, 2230 secs
lola: sara is running 2235 secs || 139174371 markings, 264559957 edges, 102873 markings/sec, 2235 secs
lola: sara is running 2240 secs || 139695813 markings, 265232590 edges, 104288 markings/sec, 2240 secs
lola: sara is running 2245 secs || 140198495 markings, 265884521 edges, 100536 markings/sec, 2245 secs
lola: sara is running 2250 secs || 140702145 markings, 266551595 edges, 100730 markings/sec, 2250 secs
lola: sara is running 2255 secs || 141194604 markings, 267203061 edges, 98492 markings/sec, 2255 secs
lola: sara is running 2260 secs || 141693455 markings, 267863650 edges, 99770 markings/sec, 2260 secs
lola: sara is running 2265 secs || 142186495 markings, 268511769 edges, 98608 markings/sec, 2265 secs
lola: sara is running 2270 secs || 142701188 markings, 269175044 edges, 102939 markings/sec, 2270 secs
lola: sara is running 2275 secs || 143212308 markings, 269836677 edges, 102224 markings/sec, 2275 secs
lola: sara is running 2280 secs || 143727560 markings, 270518442 edges, 103050 markings/sec, 2280 secs
lola: sara is running 2285 secs || 144227637 markings, 271179695 edges, 100015 markings/sec, 2285 secs
lola: sara is running 2290 secs || 144734986 markings, 271850300 edges, 101470 markings/sec, 2290 secs
lola: sara is running 2295 secs || 145233395 markings, 272497908 edges, 99682 markings/sec, 2295 secs
lola: sara is running 2300 secs || 145764358 markings, 273129699 edges, 106193 markings/sec, 2300 secs
lola: sara is running 2305 secs || 146285553 markings, 273758522 edges, 104239 markings/sec, 2305 secs
lola: sara is running 2310 secs || 146833196 markings, 274421369 edges, 109529 markings/sec, 2310 secs
lola: sara is running 2315 secs || 147360122 markings, 275073260 edges, 105385 markings/sec, 2315 secs
lola: sara is running 2320 secs || 147894378 markings, 275720507 edges, 106851 markings/sec, 2320 secs
lola: sara is running 2325 secs || 148425758 markings, 276377070 edges, 106276 markings/sec, 2325 secs
lola: sara is running 2330 secs || 148959773 markings, 277048448 edges, 106803 markings/sec, 2330 secs
lola: sara is running 2335 secs || 149482239 markings, 277727279 edges, 104493 markings/sec, 2335 secs
lola: sara is running 2340 secs || 149992516 markings, 278391274 edges, 102055 markings/sec, 2340 secs
lola: sara is running 2345 secs || 150499254 markings, 279067116 edges, 101348 markings/sec, 2345 secs
lola: sara is running 2350 secs || 151002592 markings, 279727671 edges, 100668 markings/sec, 2350 secs
lola: sara is running 2355 secs || 151505696 markings, 280398839 edges, 100621 markings/sec, 2355 secs
lola: sara is running 2360 secs || 152018726 markings, 281059330 edges, 102606 markings/sec, 2360 secs
lola: sara is running 2365 secs || 152535245 markings, 281730635 edges, 103304 markings/sec, 2365 secs
lola: sara is running 2370 secs || 153041218 markings, 282389249 edges, 101195 markings/sec, 2370 secs
lola: sara is running 2375 secs || 153545951 markings, 283062563 edges, 100947 markings/sec, 2375 secs
lola: sara is running 2380 secs || 154052138 markings, 283726757 edges, 101237 markings/sec, 2380 secs
lola: sara is running 2385 secs || 154553061 markings, 284394898 edges, 100185 markings/sec, 2385 secs
lola: sara is running 2390 secs || 155077261 markings, 285033392 edges, 104840 markings/sec, 2390 secs
lola: sara is running 2395 secs || 155612559 markings, 285677061 edges, 107060 markings/sec, 2395 secs
lola: sara is running 2400 secs || 156133848 markings, 286304861 edges, 104258 markings/sec, 2400 secs
lola: sara is running 2405 secs || 156653930 markings, 286943989 edges, 104016 markings/sec, 2405 secs
lola: sara is running 2410 secs || 157159175 markings, 287563759 edges, 101049 markings/sec, 2410 secs
lola: sara is running 2415 secs || 157671111 markings, 288189939 edges, 102387 markings/sec, 2415 secs
lola: sara is running 2420 secs || 158166043 markings, 288802464 edges, 98986 markings/sec, 2420 secs
lola: sara is running 2425 secs || 158690528 markings, 289472128 edges, 104897 markings/sec, 2425 secs
lola: sara is running 2430 secs || 159198469 markings, 290131797 edges, 101588 markings/sec, 2430 secs
lola: sara is running 2435 secs || 159713703 markings, 290808393 edges, 103047 markings/sec, 2435 secs
lola: sara is running 2440 secs || 160201072 markings, 291458960 edges, 97474 markings/sec, 2440 secs
lola: sara is running 2445 secs || 160704363 markings, 292118671 edges, 100658 markings/sec, 2445 secs
lola: sara is running 2450 secs || 161187809 markings, 292765369 edges, 96689 markings/sec, 2450 secs
lola: sara is running 2455 secs || 161705812 markings, 293426012 edges, 103601 markings/sec, 2455 secs
lola: sara is running 2460 secs || 162205497 markings, 294076453 edges, 99937 markings/sec, 2460 secs
lola: sara is running 2465 secs || 162711280 markings, 294737607 edges, 101157 markings/sec, 2465 secs
lola: sara is running 2470 secs || 163198327 markings, 295389176 edges, 97409 markings/sec, 2470 secs
lola: sara is running 2475 secs || 163696536 markings, 296041123 edges, 99642 markings/sec, 2475 secs
lola: sara is running 2480 secs || 164184454 markings, 296693149 edges, 97584 markings/sec, 2480 secs
lola: sara is running 2485 secs || 164712689 markings, 297341048 edges, 105647 markings/sec, 2485 secs
lola: sara is running 2490 secs || 165213475 markings, 297944555 edges, 100157 markings/sec, 2490 secs
lola: sara is running 2495 secs || 165709805 markings, 298556883 edges, 99266 markings/sec, 2495 secs
lola: sara is running 2500 secs || 166204427 markings, 299168468 edges, 98924 markings/sec, 2500 secs
lola: sara is running 2505 secs || 166700451 markings, 299792777 edges, 99205 markings/sec, 2505 secs
lola: sara is running 2510 secs || 167185840 markings, 300404844 edges, 97078 markings/sec, 2510 secs
lola: sara is running 2515 secs || 167688433 markings, 301030804 edges, 100519 markings/sec, 2515 secs
lola: sara is running 2520 secs || 168181958 markings, 301656122 edges, 98705 markings/sec, 2520 secs
lola: sara is running 2525 secs || 168668781 markings, 302286884 edges, 97365 markings/sec, 2525 secs
lola: sara is running 2530 secs || 169153959 markings, 302934341 edges, 97036 markings/sec, 2530 secs
lola: sara is running 2535 secs || 169631029 markings, 303572022 edges, 95414 markings/sec, 2535 secs
lola: sara is running 2540 secs || 170110391 markings, 304225007 edges, 95872 markings/sec, 2540 secs
lola: sara is running 2545 secs || 170587181 markings, 304870928 edges, 95358 markings/sec, 2545 secs
lola: sara is running 2550 secs || 171079391 markings, 305540828 edges, 98442 markings/sec, 2550 secs
lola: sara is running 2555 secs || 171564024 markings, 306192108 edges, 96927 markings/sec, 2555 secs
lola: sara is running 2560 secs || 172049377 markings, 306834938 edges, 97071 markings/sec, 2560 secs
lola: sara is running 2565 secs || 172532786 markings, 307479911 edges, 96682 markings/sec, 2565 secs
lola: sara is running 2570 secs || 173017988 markings, 308139004 edges, 97040 markings/sec, 2570 secs
lola: sara is running 2575 secs || 173492237 markings, 308784476 edges, 94850 markings/sec, 2575 secs
lola: sara is running 2580 secs || 173968498 markings, 309427962 edges, 95252 markings/sec, 2580 secs
lola: sara is running 2585 secs || 174430255 markings, 310063014 edges, 92351 markings/sec, 2585 secs
lola: sara is running 2590 secs || 174932271 markings, 310669385 edges, 100403 markings/sec, 2590 secs
lola: sara is running 2595 secs || 175428633 markings, 311282548 edges, 99272 markings/sec, 2595 secs
lola: sara is running 2600 secs || 175914562 markings, 311883673 edges, 97186 markings/sec, 2600 secs
lola: sara is running 2605 secs || 176402753 markings, 312498496 edges, 97638 markings/sec, 2605 secs
lola: sara is running 2610 secs || 176883529 markings, 313104019 edges, 96155 markings/sec, 2610 secs
lola: sara is running 2615 secs || 177373585 markings, 313717136 edges, 98011 markings/sec, 2615 secs
lola: sara is running 2620 secs || 177855145 markings, 314327936 edges, 96312 markings/sec, 2620 secs
lola: sara is running 2625 secs || 178342727 markings, 314962893 edges, 97516 markings/sec, 2625 secs
lola: sara is running 2630 secs || 178826613 markings, 315609472 edges, 96777 markings/sec, 2630 secs
lola: sara is running 2635 secs || 179308093 markings, 316253230 edges, 96296 markings/sec, 2635 secs
lola: sara is running 2640 secs || 179786625 markings, 316908244 edges, 95706 markings/sec, 2640 secs
lola: sara is running 2645 secs || 180256176 markings, 317542318 edges, 93910 markings/sec, 2645 secs
lola: sara is running 2650 secs || 180730281 markings, 318188759 edges, 94821 markings/sec, 2650 secs
lola: sara is running 2655 secs || 181204575 markings, 318822190 edges, 94859 markings/sec, 2655 secs
lola: sara is running 2660 secs || 181686914 markings, 319462127 edges, 96468 markings/sec, 2660 secs
lola: sara is running 2665 secs || 182161186 markings, 320096262 edges, 94854 markings/sec, 2665 secs
lola: sara is running 2670 secs || 182637269 markings, 320743162 edges, 95217 markings/sec, 2670 secs
lola: sara is running 2675 secs || 183116248 markings, 321394888 edges, 95796 markings/sec, 2675 secs
lola: sara is running 2680 secs || 183596247 markings, 322046775 edges, 96000 markings/sec, 2680 secs
lola: sara is running 2685 secs || 184075826 markings, 322687725 edges, 95916 markings/sec, 2685 secs
lola: sara is running 2690 secs || 184584914 markings, 323308490 edges, 101818 markings/sec, 2690 secs
lola: sara is running 2695 secs || 185086922 markings, 323929227 edges, 100402 markings/sec, 2695 secs
lola: sara is running 2700 secs || 185587948 markings, 324548816 edges, 100205 markings/sec, 2700 secs
lola: sara is running 2705 secs || 186101605 markings, 325199027 edges, 102731 markings/sec, 2705 secs
lola: sara is running 2710 secs || 186619848 markings, 325846513 edges, 103649 markings/sec, 2710 secs
lola: sara is running 2715 secs || 187129480 markings, 326488227 edges, 101926 markings/sec, 2715 secs
lola: sara is running 2720 secs || 187624574 markings, 327122033 edges, 99019 markings/sec, 2720 secs
lola: sara is running 2725 secs || 188120199 markings, 327778362 edges, 99125 markings/sec, 2725 secs
lola: sara is running 2730 secs || 188611807 markings, 328434031 edges, 98322 markings/sec, 2730 secs
lola: sara is running 2735 secs || 189111070 markings, 329112230 edges, 99853 markings/sec, 2735 secs
lola: sara is running 2740 secs || 189608313 markings, 329788377 edges, 99449 markings/sec, 2740 secs
lola: sara is running 2745 secs || 190108808 markings, 330467470 edges, 100099 markings/sec, 2745 secs
lola: sara is running 2750 secs || 190596765 markings, 331128171 edges, 97591 markings/sec, 2750 secs
lola: sara is running 2755 secs || 191092188 markings, 331782000 edges, 99085 markings/sec, 2755 secs
lola: sara is running 2760 secs || 191579122 markings, 332430835 edges, 97387 markings/sec, 2760 secs
lola: sara is running 2765 secs || 192063788 markings, 333085567 edges, 96933 markings/sec, 2765 secs
lola: sara is running 2770 secs || 192529080 markings, 333724858 edges, 93058 markings/sec, 2770 secs
lola: sara is running 2775 secs || 193010034 markings, 334370042 edges, 96191 markings/sec, 2775 secs
lola: sara is running 2780 secs || 193481841 markings, 335017064 edges, 94361 markings/sec, 2780 secs
lola: sara is running 2785 secs || 193992044 markings, 335661376 edges, 102041 markings/sec, 2785 secs
lola: sara is running 2790 secs || 194502938 markings, 336265845 edges, 102179 markings/sec, 2790 secs
lola: sara is running 2795 secs || 195007331 markings, 336872125 edges, 100879 markings/sec, 2795 secs
lola: sara is running 2800 secs || 195503556 markings, 337469673 edges, 99245 markings/sec, 2800 secs
lola: sara is running 2805 secs || 196003130 markings, 338083600 edges, 99915 markings/sec, 2805 secs
lola: sara is running 2810 secs || 196491086 markings, 338683200 edges, 97591 markings/sec, 2810 secs
lola: sara is running 2815 secs || 196993529 markings, 339293353 edges, 100489 markings/sec, 2815 secs
lola: sara is running 2820 secs || 197486568 markings, 339902906 edges, 98608 markings/sec, 2820 secs
lola: sara is running 2825 secs || 197980332 markings, 340524993 edges, 98753 markings/sec, 2825 secs
lola: sara is running 2830 secs || 198484321 markings, 341179999 edges, 100798 markings/sec, 2830 secs
lola: sara is running 2835 secs || 198984649 markings, 341830202 edges, 100066 markings/sec, 2835 secs
lola: sara is running 2840 secs || 199481399 markings, 342492771 edges, 99350 markings/sec, 2840 secs
lola: sara is running 2845 secs || 199975763 markings, 343142176 edges, 98873 markings/sec, 2845 secs
lola: sara is running 2850 secs || 200467231 markings, 343795403 edges, 98294 markings/sec, 2850 secs
lola: sara is running 2855 secs || 200960050 markings, 344434604 edges, 98564 markings/sec, 2855 secs
lola: sara is running 2860 secs || 201470165 markings, 345094340 edges, 102023 markings/sec, 2860 secs
lola: sara is running 2865 secs || 201964947 markings, 345737411 edges, 98956 markings/sec, 2865 secs
lola: sara is running 2870 secs || 202463034 markings, 346398175 edges, 99617 markings/sec, 2870 secs
lola: sara is running 2875 secs || 202958727 markings, 347052386 edges, 99139 markings/sec, 2875 secs
lola: sara is running 2880 secs || 203456486 markings, 347712271 edges, 99552 markings/sec, 2880 secs
lola: sara is running 2885 secs || 203951575 markings, 348340286 edges, 99018 markings/sec, 2885 secs
lola: sara is running 2890 secs || 204468658 markings, 348960106 edges, 103417 markings/sec, 2890 secs
lola: sara is running 2895 secs || 204972591 markings, 349564531 edges, 100787 markings/sec, 2895 secs
lola: sara is running 2900 secs || 205484754 markings, 350188109 edges, 102433 markings/sec, 2900 secs
lola: sara is running 2905 secs || 205990208 markings, 350813474 edges, 101091 markings/sec, 2905 secs
lola: sara is running 2910 secs || 206499296 markings, 351429530 edges, 101818 markings/sec, 2910 secs
lola: sara is running 2915 secs || 207007951 markings, 352057808 edges, 101731 markings/sec, 2915 secs
lola: sara is running 2920 secs || 207526149 markings, 352708778 edges, 103640 markings/sec, 2920 secs
lola: sara is running 2925 secs || 208055461 markings, 353394837 edges, 105862 markings/sec, 2925 secs
lola: sara is running 2930 secs || 208576963 markings, 354072914 edges, 104300 markings/sec, 2930 secs
lola: sara is running 2935 secs || 209096494 markings, 354765389 edges, 103906 markings/sec, 2935 secs
lola: sara is running 2940 secs || 209609218 markings, 355438435 edges, 102545 markings/sec, 2940 secs
lola: sara is running 2945 secs || 210122693 markings, 356123149 edges, 102695 markings/sec, 2945 secs
lola: sara is running 2950 secs || 210641226 markings, 356790647 edges, 103707 markings/sec, 2950 secs
lola: sara is running 2955 secs || 211165206 markings, 357472204 edges, 104796 markings/sec, 2955 secs
lola: sara is running 2960 secs || 211682583 markings, 358145752 edges, 103475 markings/sec, 2960 secs
lola: sara is running 2965 secs || 212197161 markings, 358833563 edges, 102916 markings/sec, 2965 secs
lola: sara is running 2970 secs || 212709111 markings, 359503922 edges, 102390 markings/sec, 2970 secs
lola: sara is running 2975 secs || 213208102 markings, 360170989 edges, 99798 markings/sec, 2975 secs
lola: sara is running 2980 secs || 213734442 markings, 360804757 edges, 105268 markings/sec, 2980 secs
lola: sara is running 2985 secs || 214269845 markings, 361450025 edges, 107081 markings/sec, 2985 secs
lola: sara is running 2990 secs || 214801078 markings, 362090216 edges, 106247 markings/sec, 2990 secs
lola: sara is running 2995 secs || 215330864 markings, 362741221 edges, 105957 markings/sec, 2995 secs
lola: sara is running 3000 secs || 215852574 markings, 363379841 edges, 104342 markings/sec, 3000 secs
lola: sara is running 3005 secs || 216372424 markings, 364017625 edges, 103970 markings/sec, 3005 secs
lola: sara is running 3010 secs || 216876053 markings, 364642625 edges, 100726 markings/sec, 3010 secs
lola: sara is running 3015 secs || 217393369 markings, 365308826 edges, 103463 markings/sec, 3015 secs
lola: sara is running 3020 secs || 217898686 markings, 365963406 edges, 101063 markings/sec, 3020 secs
lola: sara is running 3025 secs || 218406321 markings, 366634617 edges, 101527 markings/sec, 3025 secs
lola: sara is running 3030 secs || 218904141 markings, 367293748 edges, 99564 markings/sec, 3030 secs
lola: sara is running 3035 secs || 219408317 markings, 367960068 edges, 100835 markings/sec, 3035 secs
lola: sara is running 3040 secs || 219902416 markings, 368611907 edges, 98820 markings/sec, 3040 secs
lola: sara is running 3045 secs || 220416314 markings, 369272697 edges, 102780 markings/sec, 3045 secs
lola: sara is running 3050 secs || 220916199 markings, 369920606 edges, 99977 markings/sec, 3050 secs
lola: sara is running 3055 secs || 221422470 markings, 370588608 edges, 101254 markings/sec, 3055 secs
lola: sara is running 3060 secs || 221925522 markings, 371256065 edges, 100610 markings/sec, 3060 secs
lola: sara is running 3065 secs || 222443654 markings, 371940015 edges, 103626 markings/sec, 3065 secs
lola: sara is running 3070 secs || 222942547 markings, 372595792 edges, 99779 markings/sec, 3070 secs
lola: sara is running 3075 secs || 223493404 markings, 373260517 edges, 110171 markings/sec, 3075 secs
lola: sara is running 3080 secs || 224016864 markings, 373899028 edges, 104692 markings/sec, 3080 secs
lola: sara is running 3085 secs || 224515640 markings, 374515894 edges, 99755 markings/sec, 3085 secs
lola: sara is running 3090 secs || 225009123 markings, 375125608 edges, 98697 markings/sec, 3090 secs
lola: sara is running 3095 secs || 225495304 markings, 375740141 edges, 97236 markings/sec, 3095 secs
lola: sara is running 3100 secs || 225973150 markings, 376339222 edges, 95569 markings/sec, 3100 secs
lola: sara is running 3105 secs || 226456032 markings, 376947048 edges, 96576 markings/sec, 3105 secs
lola: sara is running 3110 secs || 226929862 markings, 377547850 edges, 94766 markings/sec, 3110 secs
lola: sara is running 3115 secs || 227419447 markings, 378189682 edges, 97917 markings/sec, 3115 secs
lola: sara is running 3120 secs || 227896163 markings, 378827128 edges, 95343 markings/sec, 3120 secs
lola: sara is running 3125 secs || 228375423 markings, 379468721 edges, 95852 markings/sec, 3125 secs
lola: sara is running 3130 secs || 228851936 markings, 380121649 edges, 95303 markings/sec, 3130 secs
lola: sara is running 3135 secs || 229320194 markings, 380751545 edges, 93652 markings/sec, 3135 secs
lola: sara is running 3140 secs || 229792536 markings, 381397693 edges, 94468 markings/sec, 3140 secs
lola: sara is running 3145 secs || 230267485 markings, 382029526 edges, 94990 markings/sec, 3145 secs
lola: sara is running 3150 secs || 230758906 markings, 382681738 edges, 98284 markings/sec, 3150 secs
lola: sara is running 3155 secs || 231241836 markings, 383327235 edges, 96586 markings/sec, 3155 secs
lola: sara is running 3160 secs || 231724734 markings, 383984260 edges, 96580 markings/sec, 3160 secs
lola: sara is running 3165 secs || 232201121 markings, 384631208 edges, 95277 markings/sec, 3165 secs
lola: sara is running 3170 secs || 232678327 markings, 385280271 edges, 95441 markings/sec, 3170 secs
lola: sara is running 3175 secs || 233156250 markings, 385916014 edges, 95585 markings/sec, 3175 secs
lola: sara is running 3180 secs || 233658432 markings, 386528768 edges, 100436 markings/sec, 3180 secs
lola: sara is running 3185 secs || 234155965 markings, 387144207 edges, 99507 markings/sec, 3185 secs
lola: sara is running 3190 secs || 234652745 markings, 387758487 edges, 99356 markings/sec, 3190 secs
lola: sara is running 3195 secs || 235146829 markings, 388383749 edges, 98817 markings/sec, 3195 secs
lola: sara is running 3200 secs || 235633547 markings, 388992303 edges, 97344 markings/sec, 3200 secs
lola: sara is running 3205 secs || 236123740 markings, 389609445 edges, 98039 markings/sec, 3205 secs
lola: sara is running 3210 secs || 236608705 markings, 390227454 edges, 96993 markings/sec, 3210 secs
lola: sara is running 3215 secs || 237105574 markings, 390882879 edges, 99374 markings/sec, 3215 secs
lola: sara is running 3220 secs || 237598397 markings, 391539567 edges, 98565 markings/sec, 3220 secs
lola: sara is running 3225 secs || 238097657 markings, 392214379 edges, 99852 markings/sec, 3225 secs
lola: sara is running 3230 secs || 238570720 markings, 392862524 edges, 94613 markings/sec, 3230 secs
lola: sara is running 3235 secs || 239047955 markings, 393504599 edges, 95447 markings/sec, 3235 secs
lola: sara is running 3240 secs || 239519400 markings, 394151615 edges, 94289 markings/sec, 3240 secs
lola: sara is running 3245 secs || 240006671 markings, 394790961 edges, 97454 markings/sec, 3245 secs
lola: sara is running 3250 secs || 240494531 markings, 395442840 edges, 97572 markings/sec, 3250 secs
lola: sara is running 3255 secs || 240974537 markings, 396084557 edges, 96001 markings/sec, 3255 secs
lola: sara is running 3260 secs || 241447443 markings, 396732001 edges, 94581 markings/sec, 3260 secs
lola: sara is running 3265 secs || 241912458 markings, 397359854 edges, 93003 markings/sec, 3265 secs
lola: sara is running 3270 secs || 242382019 markings, 398000171 edges, 93912 markings/sec, 3270 secs
lola: sara is running 3275 secs || 242859506 markings, 398612619 edges, 95497 markings/sec, 3275 secs
lola: sara is running 3280 secs || 243352816 markings, 399218681 edges, 98662 markings/sec, 3280 secs
lola: sara is running 3285 secs || 243844698 markings, 399825687 edges, 98376 markings/sec, 3285 secs
lola: sara is running 3290 secs || 244341344 markings, 400445842 edges, 99329 markings/sec, 3290 secs
lola: sara is running 3295 secs || 244828186 markings, 401062768 edges, 97368 markings/sec, 3295 secs
lola: sara is running 3300 secs || 245309987 markings, 401661190 edges, 96360 markings/sec, 3300 secs
lola: sara is running 3305 secs || 245794391 markings, 402272338 edges, 96881 markings/sec, 3305 secs
lola: sara is running 3310 secs || 246289718 markings, 402909431 edges, 99065 markings/sec, 3310 secs
lola: sara is running 3315 secs || 246796424 markings, 403580714 edges, 101341 markings/sec, 3315 secs
lola: sara is running 3320 secs || 247272786 markings, 404217075 edges, 95272 markings/sec, 3320 secs
lola: sara is running 3325 secs || 247752627 markings, 404869027 edges, 95968 markings/sec, 3325 secs
lola: sara is running 3330 secs || 248223317 markings, 405510198 edges, 94138 markings/sec, 3330 secs
lola: sara is running 3335 secs || 248697171 markings, 406152335 edges, 94771 markings/sec, 3335 secs
lola: sara is running 3340 secs || 249163731 markings, 406787265 edges, 93312 markings/sec, 3340 secs
lola: sara is running 3345 secs || 249652505 markings, 407430420 edges, 97755 markings/sec, 3345 secs
lola: sara is running 3350 secs || 250132792 markings, 408072488 edges, 96057 markings/sec, 3350 secs
lola: sara is running 3355 secs || 250623649 markings, 408731671 edges, 98171 markings/sec, 3355 secs
lola: sara is running 3360 secs || 251102143 markings, 409388698 edges, 95699 markings/sec, 3360 secs
lola: sara is running 3365 secs || 251585906 markings, 410038505 edges, 96753 markings/sec, 3365 secs
lola: sara is running 3370 secs || 252065708 markings, 410696040 edges, 95960 markings/sec, 3370 secs
lola: sara is running 3375 secs || 252578074 markings, 411346715 edges, 102473 markings/sec, 3375 secs
lola: sara is running 3380 secs || 253096734 markings, 411962346 edges, 103732 markings/sec, 3380 secs
lola: sara is running 3385 secs || 253611643 markings, 412580471 edges, 102982 markings/sec, 3385 secs
lola: sara is running 3390 secs || 254117005 markings, 413189217 edges, 101072 markings/sec, 3390 secs
lola: sara is running 3395 secs || 254617649 markings, 413804314 edges, 100129 markings/sec, 3395 secs
lola: sara is running 3400 secs || 255110211 markings, 414409291 edges, 98512 markings/sec, 3400 secs
lola: sara is running 3405 secs || 255633999 markings, 415046435 edges, 104758 markings/sec, 3405 secs
lola: sara is running 3410 secs || 256149259 markings, 415683800 edges, 103052 markings/sec, 3410 secs
lola: sara is running 3415 secs || 256669741 markings, 416343241 edges, 104096 markings/sec, 3415 secs
lola: sara is running 3420 secs || 257186785 markings, 417016170 edges, 103409 markings/sec, 3420 secs
lola: sara is running 3425 secs || 257703645 markings, 417690392 edges, 103372 markings/sec, 3425 secs
lola: sara is running 3430 secs || 258212758 markings, 418370552 edges, 101823 markings/sec, 3430 secs
lola: sara is running 3435 secs || 258717088 markings, 419030551 edges, 100866 markings/sec, 3435 secs
lola: sara is running 3440 secs || 259222804 markings, 419706686 edges, 101143 markings/sec, 3440 secs
lola: sara is running 3445 secs || 259738544 markings, 420366316 edges, 103148 markings/sec, 3445 secs
lola: sara is running 3450 secs || 260253046 markings, 421036037 edges, 102900 markings/sec, 3450 secs
lola: sara is running 3455 secs || 260764770 markings, 421703149 edges, 102345 markings/sec, 3455 secs
lola: sara is running 3460 secs || 261270556 markings, 422379138 edges, 101157 markings/sec, 3460 secs
lola: sara is running 3465 secs || 261777065 markings, 423041656 edges, 101302 markings/sec, 3465 secs
lola: sara is running 3470 secs || 262279864 markings, 423713831 edges, 100560 markings/sec, 3470 secs
lola: sara is running 3475 secs || 262805665 markings, 424344623 edges, 105160 markings/sec, 3475 secs
lola: sara is running 3480 secs || 263333795 markings, 424981296 edges, 105626 markings/sec, 3480 secs
lola: sara is running 3485 secs || 263855813 markings, 425610309 edges, 104404 markings/sec, 3485 secs
lola: sara is running 3490 secs || 264378024 markings, 426252014 edges, 104442 markings/sec, 3490 secs
lola: sara is running 3495 secs || 264896383 markings, 426886593 edges, 103672 markings/sec, 3495 secs
lola: sara is running 3500 secs || 265430462 markings, 427541777 edges, 106816 markings/sec, 3500 secs
lola: sara is running 3505 secs || 265954239 markings, 428192541 edges, 104755 markings/sec, 3505 secs
lola: sara is running 3510 secs || 266477782 markings, 428866969 edges, 104709 markings/sec, 3510 secs
lola: sara is running 3515 secs || 266991031 markings, 429532109 edges, 102650 markings/sec, 3515 secs
lola: sara is running 3520 secs || 267506121 markings, 430213573 edges, 103018 markings/sec, 3520 secs
lola: sara is running 3525 secs || 268014294 markings, 430885627 edges, 101635 markings/sec, 3525 secs
lola: sara is running 3530 secs || 268524269 markings, 431560444 edges, 101995 markings/sec, 3530 secs
lola: sara is running 3535 secs || 269030466 markings, 432224499 edges, 101239 markings/sec, 3535 secs
lola: sara is running 3540 secs || 269546644 markings, 432889775 edges, 103236 markings/sec, 3540 secs
lola: sara is running 3545 secs || 270056767 markings, 433551686 edges, 102025 markings/sec, 3545 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes yes yes no yes yes yes yes unknown no yes yes yes yes yes
lola:
preliminary result: yes yes yes yes no yes yes yes yes unknown no yes yes yes yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes yes no yes yes yes yes unknown no yes yes yes yes yes
Segmentation fault
rslt: finished
BK_STOP 1552545590279
--------------------
content from stderr:
make: [verify] Error 139 (ignored)
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="BusinessProcesses-PT-15"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is BusinessProcesses-PT-15, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r016-csrt-155225066100810"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-15.tgz
mv BusinessProcesses-PT-15 execution
cd execution
if [ "ReachabilityFireability" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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
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 ;