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

About the Execution of LoLA for AutoFlight-PT-03b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.000 3570526.00 5611965.00 4091.40 FTFTTTTTFTTFTFT? 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-155225065000117.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 AutoFlight-PT-03b, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-csrt-155225065000117
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 3.3K Feb 9 06:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 9 06:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 03:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 03:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 104 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 342 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.5K Feb 4 22:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 2 00:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 2 00:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Jan 29 11:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Jan 29 11:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 UpperBounds.xml

-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 70K 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 AutoFlight-PT-03b-ReachabilityFireability-00
FORMULA_NAME AutoFlight-PT-03b-ReachabilityFireability-01
FORMULA_NAME AutoFlight-PT-03b-ReachabilityFireability-02
FORMULA_NAME AutoFlight-PT-03b-ReachabilityFireability-03
FORMULA_NAME AutoFlight-PT-03b-ReachabilityFireability-04
FORMULA_NAME AutoFlight-PT-03b-ReachabilityFireability-05
FORMULA_NAME AutoFlight-PT-03b-ReachabilityFireability-06
FORMULA_NAME AutoFlight-PT-03b-ReachabilityFireability-07
FORMULA_NAME AutoFlight-PT-03b-ReachabilityFireability-08
FORMULA_NAME AutoFlight-PT-03b-ReachabilityFireability-09
FORMULA_NAME AutoFlight-PT-03b-ReachabilityFireability-10
FORMULA_NAME AutoFlight-PT-03b-ReachabilityFireability-11
FORMULA_NAME AutoFlight-PT-03b-ReachabilityFireability-12
FORMULA_NAME AutoFlight-PT-03b-ReachabilityFireability-13
FORMULA_NAME AutoFlight-PT-03b-ReachabilityFireability-14
FORMULA_NAME AutoFlight-PT-03b-ReachabilityFireability-15

=== Now, execution of the tool begins

BK_START 1552501086052

info: Time: 3600 - MCC
vrfy: Checking ReachabilityFireability @ AutoFlight-PT-03b @ 3570 seconds

FORMULA AutoFlight-PT-03b-ReachabilityFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-ReachabilityFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-ReachabilityFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-ReachabilityFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-ReachabilityFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-ReachabilityFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-ReachabilityFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-ReachabilityFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-ReachabilityFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-ReachabilityFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-ReachabilityFireability-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-ReachabilityFireability-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-ReachabilityFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-03b-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for ReachabilityFireability @ AutoFlight-PT-03b

{
"exit":
{
"memory": 1887564,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"files":
{
"JSON": "ReachabilityFireability.json"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 2,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 8,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 10,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 10
},
"processed": "E (F ((FIREABLE(t173) AND (FIREABLE(t2) OR FIREABLE(t132)) AND FIREABLE(t137) AND FIREABLE(t220) AND NOT FIREABLE(t32) AND (FIREABLE(t12) OR FIREABLE(t148)) AND NOT FIREABLE(t102) AND FIREABLE(t246))))",
"processed_size": 203,
"rewrites": 1
},
"result":
{
"preliminary_value": "no yes no yes yes yes yes yes no yes yes no yes no yes unknown "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 32,
"problems": 4
},
"type": "reachability",
"workflow": "stateequation||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 594/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 298
lola: finding significant places
lola: 298 places, 296 transitions, 276 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: A (G (NOT FIREABLE(t8))) : E (F (FIREABLE(t200))) : E (F ((FIREABLE(t197) AND FIREABLE(t120) AND FIREABLE(t195)))) : E (F (FIREABLE(t192))) : E (F (FIREABLE(t220))) : E (F ((FIREABLE(t252) OR (NOT FIREABLE(t276) AND NOT FIREABLE(t19) AND FIREABLE(t267))))) : E (F (((FIREABLE(t211) OR FIREABLE(t39)) AND FIREABLE(t242)))) : E (F ((FIREABLE(t274) AND (FIREABLE(t127) OR FIREABLE(t88))))) : A (G (((NOT FIREABLE(t16) AND NOT FIREABLE(t44) AND FIREABLE(t244)) OR NOT FIREABLE(t220)))) : E (F ((FIREABLE(t135) AND FIREABLE(t240) AND FIREABLE(t102) AND FIREABLE(t258)))) : E (F ((FIREABLE(t207) AND FIREABLE(t47)))) : A (G (NOT FIREABLE(t266))) : E (F (((FIREABLE(t142) AND (FIREABLE(t195) OR FIREABLE(t247))) OR FIREABLE(t177) OR FIREABLE(t200)))) : A (G ((NOT FIREABLE(t233) OR NOT FIREABLE(t103) OR FIREABLE(t168) OR FIREABLE(t177) OR NOT FIREABLE(t155)))) : E (F (FIREABLE(t6))) : E (F ((FIREABLE(t173) AND (FIREABLE(t2) OR FIREABLE(t132)) AND FIREABLE(t137) AND FIREABLE(t220) AND NOT FIREABLE(t32) AND (FIREABLE(t12) OR FIREABLE(t148)) AND NOT FIREABLE(t102) AND FIREABLE(t246))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t8)))
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(t8)))
lola: processed formula length: 24
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(t8)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: state equation: write sara problem file to ReachabilityFireability-0.sara
lola: state equation: calling and running sara
lola: The predicate is not invariant.
lola: 95 markings, 94 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t200)))
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(t200)))
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: 18 markings, 17 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t192)))
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(t192)))
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(t192)
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-2-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: 19 markings, 18 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t220)))
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(t220)))
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(t220)
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: 21 markings, 20 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t266)))
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(t266)))
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: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 105 markings, 104 edges
lola: ========================================
sara: place or transition ordering is non-deterministic
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t6)))
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(t6)))
lola: processed formula length: 20
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(t6)
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: 70 markings, 69 edges
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t207) AND FIREABLE(t47))))
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(t207) AND FIREABLE(t47))))
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: 23 markings, 22 edges
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t197) AND FIREABLE(t120) AND FIREABLE(t195))))
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(t197) AND FIREABLE(t120) AND FIREABLE(t195))))
lola: processed formula length: 62
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(t197) AND FIREABLE(t120) AND FIREABLE(t195))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityFireability-5-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 8 markings, 7 edges
lola: ========================================
sara: try reading problem file ReachabilityFireability-5-0.sara.
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t211) OR FIREABLE(t39)) AND FIREABLE(t242))))
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(t211) OR FIREABLE(t39)) AND FIREABLE(t242))))
lola: processed formula length: 63
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(t211) OR FIREABLE(t39)) AND FIREABLE(t242))
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-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: 21 markings, 20 edges
lola: ========================================
sara: place or transition ordering is non-deterministic
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t274) AND (FIREABLE(t127) OR FIREABLE(t88)))))
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(t274) AND (FIREABLE(t127) OR FIREABLE(t88)))))
lola: processed formula length: 63
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: 43 markings, 42 edges
lola: ========================================

lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t252) OR (NOT FIREABLE(t276) AND NOT FIREABLE(t19) AND FIREABLE(t267)))))
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(t252) OR (NOT FIREABLE(t276) AND NOT FIREABLE(t19) AND FIREABLE(t267)))))
lola: processed formula length: 90
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(t252) OR (NOT FIREABLE(t276) AND NOT FIREABLE(t19) AND FIREABLE(t267)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 10 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityFireability-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityFireability-10-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 41 markings, 40 edges
lola: ========================================

lola: subprocess 11 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t16) AND NOT FIREABLE(t44) AND FIREABLE(t244)) OR NOT FIREABLE(t220))))
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(t16) AND NOT FIREABLE(t44) AND FIREABLE(t244)) OR NOT FIREABLE(t220))))
lola: processed formula length: 93
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(t16) OR FIREABLE(t44) OR NOT FIREABLE(t244)) AND FIREABLE(t220))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 21 markings, 20 edges
lola: subprocess 12 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t135) AND FIREABLE(t240) AND FIREABLE(t102) AND FIREABLE(t258))))
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(t135) AND FIREABLE(t240) AND FIREABLE(t102) AND FIREABLE(t258))))
lola: processed formula length: 81
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(t135) AND FIREABLE(t240) AND FIREABLE(t102) AND FIREABLE(t258))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityFireability-12-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 1366 markings, 2085 edges
lola: subprocess 13 will run for 1188 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t233) OR NOT FIREABLE(t103) OR FIREABLE(t168) OR FIREABLE(t177) OR NOT FIREABLE(t155))))
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(t233) OR NOT FIREABLE(t103) OR FIREABLE(t168) OR FIREABLE(t177) OR NOT FIREABLE(t155))))
lola: processed formula length: 112
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(t233) AND FIREABLE(t103) AND NOT FIREABLE(t168) AND NOT FIREABLE(t177) AND FIREABLE(t155))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 181 markings, 187 edges
lola: ========================================
lola: ========================================
lola: subprocess 14 will run for 1782 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t142) AND (FIREABLE(t195) OR FIREABLE(t247))) OR FIREABLE(t177) OR FIREABLE(t200))))
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(t142) AND (FIREABLE(t195) OR FIREABLE(t247))) OR FIREABLE(t177) OR FIREABLE(t200))))
lola: processed formula length: 104
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(t142) AND (FIREABLE(t195) OR FIREABLE(t247))) OR FIREABLE(t177) OR FIREABLE(t200))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 7 literals and 4 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 20 markings, 19 edges
lola: ========================================
lola: subprocess 15 will run for 3565 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t173) AND (FIREABLE(t2) OR FIREABLE(t132)) AND FIREABLE(t137) AND FIREABLE(t220) AND NOT FIREABLE(t32) AND (FIREABLE(t12) OR FIREABLE(t148)) AND NOT FIREABLE(t102) AND FIREABLE(t246))))
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(t173) AND (FIREABLE(t2) OR FIREABLE(t132)) AND FIREABLE(t137) AND FIREABLE(t220) AND NOT FIREABLE(t32) AND (FIREABLE(t12) OR FIREABLE(t148)) AND NOT FIREABLE(t102) AND FIREABLE(t246))))
lola: processed formula length: 203
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(t173) AND (FIREABLE(t2) OR FIREABLE(t132)) AND FIREABLE(t137) AND FIREABLE(t220) AND NOT FIREABLE(t32) AND (FIREABLE(t12) OR FIREABLE(t148)) AND NOT FIREABLE(t102) AND FIREABLE(t246))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 32 literals and 4 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 || 840936 markings, 1606357 edges, 168187 markings/sec, 0 secs
lola: sara is running 5 secs || 1617085 markings, 3228177 edges, 155230 markings/sec, 5 secs
sara: warning, failure of lp_solve (at job 6247)
lola: sara is running 10 secs || 2380340 markings, 4817851 edges, 152651 markings/sec, 10 secs
lola: sara is running 15 secs || 3137134 markings, 6383060 edges, 151359 markings/sec, 15 secs
lola: sara is running 20 secs || 3936554 markings, 7879766 edges, 159884 markings/sec, 20 secs
lola: sara is running 25 secs || 4762511 markings, 9435303 edges, 165191 markings/sec, 25 secs
lola: sara is running 30 secs || 5562622 markings, 11108336 edges, 160022 markings/sec, 30 secs
lola: sara is running 35 secs || 6308059 markings, 12625332 edges, 149087 markings/sec, 35 secs
lola: sara is running 40 secs || 6900663 markings, 14308187 edges, 118521 markings/sec, 40 secs
lola: sara is running 45 secs || 7660749 markings, 16066260 edges, 152017 markings/sec, 45 secs
lola: sara is running 50 secs || 8294527 markings, 17716002 edges, 126756 markings/sec, 50 secs
lola: sara is running 55 secs || 8911900 markings, 19347179 edges, 123475 markings/sec, 55 secs
lola: sara is running 60 secs || 9539033 markings, 21005662 edges, 125427 markings/sec, 60 secs
lola: sara is running 65 secs || 10140803 markings, 22597378 edges, 120354 markings/sec, 65 secs
lola: sara is running 70 secs || 10762134 markings, 24241157 edges, 124266 markings/sec, 70 secs
lola: sara is running 75 secs || 11372511 markings, 25858580 edges, 122075 markings/sec, 75 secs
lola: sara is running 80 secs || 11975319 markings, 27460932 edges, 120562 markings/sec, 80 secs
lola: sara is running 85 secs || 12668646 markings, 29208518 edges, 138665 markings/sec, 85 secs
lola: sara is running 90 secs || 13375646 markings, 30919609 edges, 141400 markings/sec, 90 secs
lola: sara is running 95 secs || 14106508 markings, 32656450 edges, 146172 markings/sec, 95 secs
lola: sara is running 100 secs || 14796290 markings, 34369768 edges, 137956 markings/sec, 100 secs
lola: sara is running 105 secs || 15477025 markings, 36058324 edges, 136147 markings/sec, 105 secs
lola: sara is running 110 secs || 16155949 markings, 37662442 edges, 135785 markings/sec, 110 secs
lola: sara is running 115 secs || 16832667 markings, 39246378 edges, 135344 markings/sec, 115 secs
lola: sara is running 120 secs || 17474675 markings, 40840568 edges, 128402 markings/sec, 120 secs
lola: sara is running 125 secs || 18095518 markings, 42384247 edges, 124169 markings/sec, 125 secs
lola: sara is running 130 secs || 18760320 markings, 44033851 edges, 132960 markings/sec, 130 secs
lola: sara is running 135 secs || 19442095 markings, 45727503 edges, 136355 markings/sec, 135 secs
lola: sara is running 140 secs || 20028802 markings, 47353447 edges, 117341 markings/sec, 140 secs
lola: sara is running 145 secs || 20583762 markings, 48999959 edges, 110992 markings/sec, 145 secs
lola: sara is running 150 secs || 21134419 markings, 50633304 edges, 110131 markings/sec, 150 secs
lola: sara is running 155 secs || 21669302 markings, 52230120 edges, 106977 markings/sec, 155 secs
lola: sara is running 160 secs || 22221880 markings, 53871086 edges, 110516 markings/sec, 160 secs
lola: sara is running 165 secs || 22899663 markings, 55410122 edges, 135557 markings/sec, 165 secs
lola: sara is running 170 secs || 23565965 markings, 57026234 edges, 133260 markings/sec, 170 secs
lola: sara is running 175 secs || 24206438 markings, 58626149 edges, 128095 markings/sec, 175 secs
lola: sara is running 180 secs || 24843849 markings, 60208289 edges, 127482 markings/sec, 180 secs
lola: sara is running 185 secs || 25596308 markings, 61925899 edges, 150492 markings/sec, 185 secs
lola: sara is running 190 secs || 26401568 markings, 63549166 edges, 161052 markings/sec, 190 secs
lola: sara is running 195 secs || 27169366 markings, 65061612 edges, 153560 markings/sec, 195 secs
lola: sara is running 200 secs || 27829885 markings, 66548667 edges, 132104 markings/sec, 200 secs
lola: sara is running 205 secs || 28428750 markings, 68071532 edges, 119773 markings/sec, 205 secs
lola: sara is running 210 secs || 29014689 markings, 69589980 edges, 117188 markings/sec, 210 secs
lola: sara is running 215 secs || 29664316 markings, 71129803 edges, 129925 markings/sec, 215 secs
lola: sara is running 220 secs || 30239343 markings, 72654190 edges, 115005 markings/sec, 220 secs
lola: sara is running 225 secs || 30873581 markings, 74181711 edges, 126848 markings/sec, 225 secs
lola: sara is running 230 secs || 31497254 markings, 75654569 edges, 124735 markings/sec, 230 secs
lola: sara is running 235 secs || 32119523 markings, 77178959 edges, 124454 markings/sec, 235 secs
lola: sara is running 240 secs || 32667312 markings, 78734860 edges, 109558 markings/sec, 240 secs
lola: sara is running 245 secs || 33279178 markings, 80214855 edges, 122373 markings/sec, 245 secs
lola: sara is running 250 secs || 33863965 markings, 81733690 edges, 116957 markings/sec, 250 secs
lola: sara is running 255 secs || 34440248 markings, 83322001 edges, 115257 markings/sec, 255 secs
lola: sara is running 260 secs || 35096706 markings, 84881689 edges, 131292 markings/sec, 260 secs
lola: sara is running 265 secs || 35730640 markings, 86409462 edges, 126787 markings/sec, 265 secs
lola: sara is running 270 secs || 36380117 markings, 87946082 edges, 129895 markings/sec, 270 secs
lola: sara is running 275 secs || 37036273 markings, 89521464 edges, 131231 markings/sec, 275 secs
lola: sara is running 280 secs || 37774333 markings, 91274558 edges, 147612 markings/sec, 280 secs
lola: sara is running 285 secs || 38502823 markings, 93024187 edges, 145698 markings/sec, 285 secs
lola: sara is running 290 secs || 39234534 markings, 94787280 edges, 146342 markings/sec, 290 secs
lola: sara is running 295 secs || 40229340 markings, 96434265 edges, 198961 markings/sec, 295 secs
lola: sara is running 300 secs || 41475101 markings, 98034484 edges, 249152 markings/sec, 300 secs
lola: sara is running 305 secs || 42744848 markings, 99683654 edges, 253949 markings/sec, 305 secs
lola: sara is running 310 secs || 43802292 markings, 101268534 edges, 211489 markings/sec, 310 secs
lola: sara is running 315 secs || 44652120 markings, 102677121 edges, 169966 markings/sec, 315 secs
lola: sara is running 320 secs || 45529957 markings, 104149652 edges, 175567 markings/sec, 320 secs
lola: sara is running 325 secs || 46362735 markings, 105541390 edges, 166556 markings/sec, 325 secs
lola: sara is running 330 secs || 47271529 markings, 107048981 edges, 181759 markings/sec, 330 secs
lola: sara is running 335 secs || 48201602 markings, 108602130 edges, 186015 markings/sec, 335 secs
lola: sara is running 340 secs || 49151588 markings, 110134121 edges, 189997 markings/sec, 340 secs
lola: sara is running 345 secs || 50081511 markings, 111608370 edges, 185985 markings/sec, 345 secs
lola: sara is running 350 secs || 50888260 markings, 113133707 edges, 161350 markings/sec, 350 secs
lola: sara is running 355 secs || 51824260 markings, 114569627 edges, 187200 markings/sec, 355 secs
lola: sara is running 360 secs || 52497210 markings, 115928900 edges, 134590 markings/sec, 360 secs
lola: sara is running 365 secs || 53417371 markings, 117330024 edges, 184032 markings/sec, 365 secs
lola: sara is running 370 secs || 54244926 markings, 118868334 edges, 165511 markings/sec, 370 secs
lola: sara is running 375 secs || 54907545 markings, 120302326 edges, 132524 markings/sec, 375 secs
lola: sara is running 380 secs || 55643846 markings, 121784866 edges, 147260 markings/sec, 380 secs
lola: sara is running 385 secs || 56419086 markings, 123321857 edges, 155048 markings/sec, 385 secs
lola: sara is running 390 secs || 57211243 markings, 124876266 edges, 158431 markings/sec, 390 secs
lola: sara is running 395 secs || 58024959 markings, 126482003 edges, 162743 markings/sec, 395 secs
lola: sara is running 400 secs || 58835543 markings, 128022837 edges, 162117 markings/sec, 400 secs
lola: sara is running 405 secs || 59634817 markings, 129546035 edges, 159855 markings/sec, 405 secs
lola: sara is running 410 secs || 60425729 markings, 131051108 edges, 158182 markings/sec, 410 secs
lola: sara is running 415 secs || 61201767 markings, 132507375 edges, 155208 markings/sec, 415 secs
lola: sara is running 420 secs || 62056789 markings, 134129461 edges, 171004 markings/sec, 420 secs
lola: sara is running 425 secs || 62893797 markings, 135686580 edges, 167402 markings/sec, 425 secs
lola: sara is running 430 secs || 63644197 markings, 137235505 edges, 150080 markings/sec, 430 secs
lola: sara is running 435 secs || 64403670 markings, 138778115 edges, 151895 markings/sec, 435 secs
lola: sara is running 440 secs || 65173698 markings, 140303743 edges, 154006 markings/sec, 440 secs
lola: sara is running 445 secs || 65900542 markings, 141778595 edges, 145369 markings/sec, 445 secs
lola: sara is running 450 secs || 66699772 markings, 143422180 edges, 159846 markings/sec, 450 secs
lola: sara is running 455 secs || 67498766 markings, 144995412 edges, 159799 markings/sec, 455 secs
lola: sara is running 460 secs || 68237948 markings, 146511592 edges, 147836 markings/sec, 460 secs
lola: sara is running 465 secs || 69042636 markings, 148047065 edges, 160938 markings/sec, 465 secs
lola: sara is running 470 secs || 69833527 markings, 149685905 edges, 158178 markings/sec, 470 secs
lola: sara is running 475 secs || 70585358 markings, 151213373 edges, 150366 markings/sec, 475 secs
lola: sara is running 480 secs || 71358374 markings, 152730229 edges, 154603 markings/sec, 480 secs
lola: sara is running 485 secs || 72086892 markings, 154226568 edges, 145704 markings/sec, 485 secs
lola: sara is running 490 secs || 72915122 markings, 155861716 edges, 165646 markings/sec, 490 secs
lola: sara is running 495 secs || 73746413 markings, 157576599 edges, 166258 markings/sec, 495 secs
lola: sara is running 500 secs || 74678071 markings, 159361576 edges, 186332 markings/sec, 500 secs
lola: sara is running 505 secs || 75542606 markings, 161144443 edges, 172907 markings/sec, 505 secs
lola: sara is running 510 secs || 76417014 markings, 162918574 edges, 174882 markings/sec, 510 secs
lola: sara is running 515 secs || 77294482 markings, 164673984 edges, 175494 markings/sec, 515 secs
lola: sara is running 520 secs || 78167577 markings, 166406905 edges, 174619 markings/sec, 520 secs
lola: sara is running 525 secs || 78991673 markings, 168108661 edges, 164819 markings/sec, 525 secs
lola: sara is running 530 secs || 79858465 markings, 169826244 edges, 173358 markings/sec, 530 secs
lola: sara is running 535 secs || 80759476 markings, 171594720 edges, 180202 markings/sec, 535 secs
lola: sara is running 540 secs || 81608276 markings, 173347326 edges, 169760 markings/sec, 540 secs
lola: sara is running 545 secs || 82490657 markings, 175102581 edges, 176476 markings/sec, 545 secs
lola: sara is running 550 secs || 83355171 markings, 176822701 edges, 172903 markings/sec, 550 secs
lola: sara is running 555 secs || 84188679 markings, 178536549 edges, 166702 markings/sec, 555 secs
lola: sara is running 560 secs || 85045331 markings, 180235733 edges, 171330 markings/sec, 560 secs
lola: sara is running 565 secs || 85886148 markings, 181965616 edges, 168163 markings/sec, 565 secs
lola: sara is running 570 secs || 86790258 markings, 183717080 edges, 180822 markings/sec, 570 secs
lola: sara is running 575 secs || 87656588 markings, 185464962 edges, 173266 markings/sec, 575 secs
lola: sara is running 580 secs || 88504225 markings, 187200906 edges, 169527 markings/sec, 580 secs
lola: sara is running 585 secs || 89363223 markings, 188916260 edges, 171800 markings/sec, 585 secs
lola: sara is running 590 secs || 90214091 markings, 190606744 edges, 170174 markings/sec, 590 secs
lola: sara is running 595 secs || 91029713 markings, 192284791 edges, 163124 markings/sec, 595 secs
lola: sara is running 600 secs || 91919721 markings, 193999802 edges, 178002 markings/sec, 600 secs
lola: sara is running 605 secs || 92739590 markings, 195686293 edges, 163974 markings/sec, 605 secs
lola: sara is running 610 secs || 93567366 markings, 197358319 edges, 165555 markings/sec, 610 secs
lola: sara is running 615 secs || 94423585 markings, 199055937 edges, 171244 markings/sec, 615 secs
lola: sara is running 620 secs || 95210526 markings, 200674672 edges, 157388 markings/sec, 620 secs
lola: sara is running 625 secs || 96021654 markings, 202275563 edges, 162226 markings/sec, 625 secs
lola: sara is running 630 secs || 96826745 markings, 203932951 edges, 161018 markings/sec, 630 secs
lola: sara is running 635 secs || 97722277 markings, 205649362 edges, 179106 markings/sec, 635 secs
lola: sara is running 640 secs || 98547739 markings, 207352924 edges, 165092 markings/sec, 640 secs
lola: sara is running 645 secs || 99375885 markings, 209032864 edges, 165629 markings/sec, 645 secs
lola: sara is running 650 secs || 100227214 markings, 210719105 edges, 170266 markings/sec, 650 secs
lola: sara is running 655 secs || 101046062 markings, 212407295 edges, 163770 markings/sec, 655 secs
lola: sara is running 660 secs || 101887645 markings, 214072962 edges, 168317 markings/sec, 660 secs
lola: sara is running 665 secs || 102680799 markings, 215705160 edges, 158631 markings/sec, 665 secs
lola: sara is running 670 secs || 103606832 markings, 217470695 edges, 185207 markings/sec, 670 secs
lola: sara is running 675 secs || 104480350 markings, 219281011 edges, 174704 markings/sec, 675 secs
lola: sara is running 680 secs || 105362581 markings, 221032511 edges, 176446 markings/sec, 680 secs
lola: sara is running 685 secs || 106213560 markings, 222773830 edges, 170196 markings/sec, 685 secs
lola: sara is running 690 secs || 107077325 markings, 224489135 edges, 172753 markings/sec, 690 secs
lola: sara is running 695 secs || 107916000 markings, 226216603 edges, 167735 markings/sec, 695 secs
lola: sara is running 700 secs || 108808591 markings, 227991773 edges, 178518 markings/sec, 700 secs
lola: sara is running 705 secs || 109392127 markings, 229474032 edges, 116707 markings/sec, 705 secs
lola: sara is running 710 secs || 109954588 markings, 230951236 edges, 112492 markings/sec, 710 secs
lola: sara is running 715 secs || 110534477 markings, 232371276 edges, 115978 markings/sec, 715 secs
lola: sara is running 720 secs || 110987989 markings, 233783451 edges, 90702 markings/sec, 720 secs
lola: sara is running 725 secs || 111522447 markings, 235310844 edges, 106892 markings/sec, 725 secs
lola: sara is running 730 secs || 112296738 markings, 236862850 edges, 154858 markings/sec, 730 secs
lola: sara is running 735 secs || 113091491 markings, 238413359 edges, 158951 markings/sec, 735 secs
lola: sara is running 740 secs || 113818645 markings, 239975516 edges, 145431 markings/sec, 740 secs
lola: sara is running 745 secs || 114398090 markings, 241619465 edges, 115889 markings/sec, 745 secs
lola: sara is running 750 secs || 115156196 markings, 243374600 edges, 151621 markings/sec, 750 secs
lola: sara is running 755 secs || 115816554 markings, 245109723 edges, 132072 markings/sec, 755 secs
lola: sara is running 760 secs || 116470288 markings, 246847225 edges, 130747 markings/sec, 760 secs
lola: sara is running 765 secs || 117031952 markings, 248323991 edges, 112333 markings/sec, 765 secs
lola: sara is running 770 secs || 117568702 markings, 249739726 edges, 107350 markings/sec, 770 secs
lola: sara is running 775 secs || 118130311 markings, 251231532 edges, 112322 markings/sec, 775 secs
lola: sara is running 780 secs || 118674092 markings, 252669657 edges, 108756 markings/sec, 780 secs
lola: sara is running 785 secs || 119215064 markings, 254102884 edges, 108194 markings/sec, 785 secs
lola: sara is running 790 secs || 119796407 markings, 255563926 edges, 116269 markings/sec, 790 secs
lola: sara is running 795 secs || 120367872 markings, 257081581 edges, 114293 markings/sec, 795 secs
lola: sara is running 800 secs || 121008955 markings, 258520727 edges, 128217 markings/sec, 800 secs
lola: sara is running 805 secs || 121599327 markings, 259968497 edges, 118074 markings/sec, 805 secs
lola: sara is running 810 secs || 122167613 markings, 261381189 edges, 113657 markings/sec, 810 secs
lola: sara is running 815 secs || 122725913 markings, 262766142 edges, 111660 markings/sec, 815 secs
lola: sara is running 820 secs || 123289800 markings, 264162249 edges, 112777 markings/sec, 820 secs
lola: sara is running 825 secs || 123899631 markings, 265588092 edges, 121966 markings/sec, 825 secs
lola: sara is running 830 secs || 124526140 markings, 267056600 edges, 125302 markings/sec, 830 secs
lola: sara is running 835 secs || 125108983 markings, 268502462 edges, 116569 markings/sec, 835 secs
lola: sara is running 840 secs || 125735222 markings, 270059644 edges, 125248 markings/sec, 840 secs
lola: sara is running 845 secs || 126322426 markings, 271520791 edges, 117441 markings/sec, 845 secs
lola: sara is running 850 secs || 126914535 markings, 273012327 edges, 118422 markings/sec, 850 secs
lola: sara is running 855 secs || 127462401 markings, 274522122 edges, 109573 markings/sec, 855 secs
lola: sara is running 860 secs || 127991004 markings, 276076955 edges, 105721 markings/sec, 860 secs
lola: sara is running 865 secs || 128505830 markings, 277611949 edges, 102965 markings/sec, 865 secs
lola: sara is running 870 secs || 129064755 markings, 279269815 edges, 111785 markings/sec, 870 secs
lola: sara is running 875 secs || 129653921 markings, 281027123 edges, 117833 markings/sec, 875 secs
lola: sara is running 880 secs || 130542038 markings, 282768529 edges, 177623 markings/sec, 880 secs
lola: sara is running 885 secs || 131358224 markings, 284472867 edges, 163237 markings/sec, 885 secs
lola: sara is running 890 secs || 132153613 markings, 286132360 edges, 159078 markings/sec, 890 secs
lola: sara is running 895 secs || 132986352 markings, 287769154 edges, 166548 markings/sec, 895 secs
lola: sara is running 900 secs || 133557467 markings, 289316128 edges, 114223 markings/sec, 900 secs
lola: sara is running 905 secs || 134231244 markings, 290867661 edges, 134755 markings/sec, 905 secs
lola: sara is running 910 secs || 134845357 markings, 292392615 edges, 122823 markings/sec, 910 secs
lola: sara is running 915 secs || 135501920 markings, 294023823 edges, 131313 markings/sec, 915 secs
lola: sara is running 920 secs || 136131564 markings, 295627827 edges, 125929 markings/sec, 920 secs
lola: sara is running 925 secs || 136752014 markings, 297272181 edges, 124090 markings/sec, 925 secs
lola: sara is running 930 secs || 137359884 markings, 299045325 edges, 121574 markings/sec, 930 secs
lola: sara is running 935 secs || 137954850 markings, 300779079 edges, 118993 markings/sec, 935 secs
lola: sara is running 940 secs || 138573198 markings, 302517934 edges, 123670 markings/sec, 940 secs
lola: sara is running 945 secs || 139269132 markings, 304137117 edges, 139187 markings/sec, 945 secs
lola: sara is running 950 secs || 139904001 markings, 305716789 edges, 126974 markings/sec, 950 secs
lola: sara is running 955 secs || 140525057 markings, 307259045 edges, 124211 markings/sec, 955 secs
lola: sara is running 960 secs || 141157368 markings, 308835903 edges, 126462 markings/sec, 960 secs
lola: sara is running 965 secs || 141742827 markings, 310417987 edges, 117092 markings/sec, 965 secs
lola: sara is running 970 secs || 142403669 markings, 311991195 edges, 132168 markings/sec, 970 secs
lola: sara is running 975 secs || 143088264 markings, 313583387 edges, 136919 markings/sec, 975 secs
lola: sara is running 980 secs || 143778020 markings, 315297042 edges, 137951 markings/sec, 980 secs
lola: sara is running 985 secs || 144451130 markings, 316971204 edges, 134622 markings/sec, 985 secs
lola: sara is running 990 secs || 145135097 markings, 318671067 edges, 136793 markings/sec, 990 secs
lola: sara is running 995 secs || 145908149 markings, 320406795 edges, 154610 markings/sec, 995 secs
lola: sara is running 1000 secs || 146598060 markings, 322119008 edges, 137982 markings/sec, 1000 secs
lola: sara is running 1005 secs || 147279482 markings, 323816277 edges, 136284 markings/sec, 1005 secs
lola: sara is running 1010 secs || 147952281 markings, 325480911 edges, 134560 markings/sec, 1010 secs
lola: sara is running 1015 secs || 148620195 markings, 327084581 edges, 133583 markings/sec, 1015 secs
lola: sara is running 1020 secs || 149267957 markings, 328572158 edges, 129552 markings/sec, 1020 secs
lola: sara is running 1025 secs || 149863106 markings, 330054463 edges, 119030 markings/sec, 1025 secs
lola: sara is running 1030 secs || 150450888 markings, 331513915 edges, 117556 markings/sec, 1030 secs
lola: sara is running 1035 secs || 151028209 markings, 332947199 edges, 115464 markings/sec, 1035 secs
lola: sara is running 1040 secs || 151639599 markings, 334369407 edges, 122278 markings/sec, 1040 secs
lola: sara is running 1045 secs || 152324629 markings, 335983601 edges, 137006 markings/sec, 1045 secs
lola: sara is running 1050 secs || 152977432 markings, 337605903 edges, 130561 markings/sec, 1050 secs
lola: sara is running 1055 secs || 153621088 markings, 339203485 edges, 128731 markings/sec, 1055 secs
lola: sara is running 1060 secs || 154258677 markings, 340785727 edges, 127518 markings/sec, 1060 secs
lola: sara is running 1065 secs || 154931991 markings, 342359230 edges, 134663 markings/sec, 1065 secs
lola: sara is running 1070 secs || 155629056 markings, 344009337 edges, 139413 markings/sec, 1070 secs
lola: sara is running 1075 secs || 156274221 markings, 345618520 edges, 129033 markings/sec, 1075 secs
lola: sara is running 1080 secs || 156914700 markings, 347204169 edges, 128096 markings/sec, 1080 secs
lola: sara is running 1085 secs || 157586669 markings, 348831577 edges, 134394 markings/sec, 1085 secs
lola: sara is running 1090 secs || 158338875 markings, 350556417 edges, 150441 markings/sec, 1090 secs
lola: sara is running 1095 secs || 159036300 markings, 352297097 edges, 139485 markings/sec, 1095 secs
lola: sara is running 1100 secs || 159720344 markings, 353997617 edges, 136809 markings/sec, 1100 secs
lola: sara is running 1105 secs || 160405706 markings, 355691539 edges, 137072 markings/sec, 1105 secs
lola: sara is running 1110 secs || 161043064 markings, 357374419 edges, 127472 markings/sec, 1110 secs
lola: sara is running 1115 secs || 161670520 markings, 359014267 edges, 125491 markings/sec, 1115 secs
lola: sara is running 1120 secs || 162248351 markings, 360699698 edges, 115566 markings/sec, 1120 secs
lola: sara is running 1125 secs || 162819125 markings, 362358985 edges, 114155 markings/sec, 1125 secs
lola: sara is running 1130 secs || 163377893 markings, 363988222 edges, 111754 markings/sec, 1130 secs
lola: sara is running 1135 secs || 163992253 markings, 365650231 edges, 122872 markings/sec, 1135 secs
lola: sara is running 1140 secs || 164611395 markings, 367390722 edges, 123828 markings/sec, 1140 secs
lola: sara is running 1145 secs || 165202901 markings, 369114472 edges, 118301 markings/sec, 1145 secs
lola: sara is running 1150 secs || 165787952 markings, 370817928 edges, 117010 markings/sec, 1150 secs
lola: sara is running 1155 secs || 166373883 markings, 372524698 edges, 117186 markings/sec, 1155 secs
lola: sara is running 1160 secs || 166999900 markings, 374219400 edges, 125203 markings/sec, 1160 secs
lola: sara is running 1165 secs || 167740753 markings, 375913028 edges, 148171 markings/sec, 1165 secs
lola: sara is running 1170 secs || 168433625 markings, 377622148 edges, 138574 markings/sec, 1170 secs
lola: sara is running 1175 secs || 169121832 markings, 379311599 edges, 137641 markings/sec, 1175 secs
lola: sara is running 1180 secs || 169768323 markings, 380903385 edges, 129298 markings/sec, 1180 secs
lola: sara is running 1185 secs || 170427214 markings, 382469270 edges, 131778 markings/sec, 1185 secs
lola: sara is running 1190 secs || 171142699 markings, 384107707 edges, 143097 markings/sec, 1190 secs
lola: sara is running 1195 secs || 171801165 markings, 385724661 edges, 131693 markings/sec, 1195 secs
lola: sara is running 1200 secs || 172440257 markings, 387294348 edges, 127818 markings/sec, 1200 secs
lola: sara is running 1205 secs || 173098410 markings, 388912178 edges, 131631 markings/sec, 1205 secs
lola: sara is running 1210 secs || 173792431 markings, 390532879 edges, 138804 markings/sec, 1210 secs
lola: sara is running 1215 secs || 174512151 markings, 392216329 edges, 143944 markings/sec, 1215 secs
lola: sara is running 1220 secs || 175181931 markings, 393864416 edges, 133956 markings/sec, 1220 secs
lola: sara is running 1225 secs || 175829396 markings, 395455350 edges, 129493 markings/sec, 1225 secs
lola: sara is running 1230 secs || 176493572 markings, 397088556 edges, 132835 markings/sec, 1230 secs
lola: sara is running 1235 secs || 177133916 markings, 398546107 edges, 128069 markings/sec, 1235 secs
lola: sara is running 1240 secs || 177799377 markings, 400123042 edges, 133092 markings/sec, 1240 secs
lola: sara is running 1245 secs || 178420556 markings, 401654368 edges, 124236 markings/sec, 1245 secs
lola: sara is running 1250 secs || 179036117 markings, 403167435 edges, 123112 markings/sec, 1250 secs
lola: sara is running 1255 secs || 179657236 markings, 404692621 edges, 124224 markings/sec, 1255 secs
lola: sara is running 1260 secs || 180438981 markings, 406073404 edges, 156349 markings/sec, 1260 secs
lola: sara is running 1265 secs || 181263384 markings, 407422375 edges, 164881 markings/sec, 1265 secs
lola: sara is running 1270 secs || 182190507 markings, 408946037 edges, 185425 markings/sec, 1270 secs
lola: sara is running 1275 secs || 183093772 markings, 410458171 edges, 180653 markings/sec, 1275 secs
lola: sara is running 1280 secs || 183976098 markings, 411935943 edges, 176465 markings/sec, 1280 secs
lola: sara is running 1285 secs || 184845948 markings, 413391256 edges, 173970 markings/sec, 1285 secs
lola: sara is running 1290 secs || 185726450 markings, 414863262 edges, 176100 markings/sec, 1290 secs
lola: sara is running 1295 secs || 186604355 markings, 416325885 edges, 175581 markings/sec, 1295 secs
lola: sara is running 1300 secs || 187466414 markings, 417764804 edges, 172412 markings/sec, 1300 secs
lola: sara is running 1305 secs || 188329856 markings, 419206527 edges, 172688 markings/sec, 1305 secs
lola: sara is running 1310 secs || 189202599 markings, 420660849 edges, 174549 markings/sec, 1310 secs
lola: sara is running 1315 secs || 190117145 markings, 422193169 edges, 182909 markings/sec, 1315 secs
lola: sara is running 1320 secs || 190765318 markings, 423880862 edges, 129635 markings/sec, 1320 secs
lola: sara is running 1325 secs || 191412974 markings, 425564714 edges, 129531 markings/sec, 1325 secs
lola: sara is running 1330 secs || 191988299 markings, 427272809 edges, 115065 markings/sec, 1330 secs
lola: sara is running 1335 secs || 192506515 markings, 428972322 edges, 103643 markings/sec, 1335 secs
lola: sara is running 1340 secs || 193093349 markings, 430674338 edges, 117367 markings/sec, 1340 secs
lola: sara is running 1345 secs || 193819101 markings, 432333890 edges, 145150 markings/sec, 1345 secs
lola: sara is running 1350 secs || 194535241 markings, 433976690 edges, 143228 markings/sec, 1350 secs
lola: sara is running 1355 secs || 195240824 markings, 435595622 edges, 141117 markings/sec, 1355 secs
lola: sara is running 1360 secs || 195937560 markings, 437193740 edges, 139347 markings/sec, 1360 secs
lola: sara is running 1365 secs || 196677880 markings, 438834212 edges, 148064 markings/sec, 1365 secs
lola: sara is running 1370 secs || 197393277 markings, 440475646 edges, 143079 markings/sec, 1370 secs
lola: sara is running 1375 secs || 198095511 markings, 442088324 edges, 140447 markings/sec, 1375 secs
lola: sara is running 1380 secs || 198792491 markings, 443688913 edges, 139396 markings/sec, 1380 secs
lola: sara is running 1385 secs || 199491287 markings, 445293956 edges, 139759 markings/sec, 1385 secs
lola: sara is running 1390 secs || 200051457 markings, 446978505 edges, 112034 markings/sec, 1390 secs
lola: sara is running 1395 secs || 200509015 markings, 448688973 edges, 91512 markings/sec, 1395 secs
lola: sara is running 1400 secs || 201219457 markings, 450343602 edges, 142088 markings/sec, 1400 secs
lola: sara is running 1405 secs || 201895661 markings, 451995340 edges, 135241 markings/sec, 1405 secs
lola: sara is running 1410 secs || 202549317 markings, 453631160 edges, 130731 markings/sec, 1410 secs
lola: sara is running 1415 secs || 203206155 markings, 455249807 edges, 131368 markings/sec, 1415 secs
lola: sara is running 1420 secs || 203848499 markings, 456850020 edges, 128469 markings/sec, 1420 secs
lola: sara is running 1425 secs || 204486250 markings, 458434644 edges, 127550 markings/sec, 1425 secs
lola: sara is running 1430 secs || 205094638 markings, 459948074 edges, 121678 markings/sec, 1430 secs
lola: sara is running 1435 secs || 205715506 markings, 461500036 edges, 124174 markings/sec, 1435 secs
lola: sara is running 1440 secs || 206369320 markings, 463136628 edges, 130763 markings/sec, 1440 secs
lola: sara is running 1445 secs || 206986351 markings, 464737439 edges, 123406 markings/sec, 1445 secs
lola: sara is running 1450 secs || 207582412 markings, 466339205 edges, 119212 markings/sec, 1450 secs
lola: sara is running 1455 secs || 208097059 markings, 468012236 edges, 102929 markings/sec, 1455 secs
lola: sara is running 1460 secs || 208613312 markings, 469620050 edges, 103251 markings/sec, 1460 secs
lola: sara is running 1465 secs || 209274097 markings, 471252625 edges, 132157 markings/sec, 1465 secs
lola: sara is running 1470 secs || 210052746 markings, 472828684 edges, 155730 markings/sec, 1470 secs
lola: sara is running 1475 secs || 210742988 markings, 474381739 edges, 138048 markings/sec, 1475 secs
lola: sara is running 1480 secs || 211379083 markings, 475921514 edges, 127219 markings/sec, 1480 secs
lola: sara is running 1485 secs || 212126916 markings, 477469469 edges, 149567 markings/sec, 1485 secs
lola: sara is running 1490 secs || 212907946 markings, 479043007 edges, 156206 markings/sec, 1490 secs
lola: sara is running 1495 secs || 213562056 markings, 480615064 edges, 130822 markings/sec, 1495 secs
lola: sara is running 1500 secs || 214155487 markings, 482210450 edges, 118686 markings/sec, 1500 secs
lola: sara is running 1505 secs || 214798955 markings, 483798379 edges, 128694 markings/sec, 1505 secs
lola: sara is running 1510 secs || 215444730 markings, 485376234 edges, 129155 markings/sec, 1510 secs
lola: sara is running 1515 secs || 216023715 markings, 486999462 edges, 115797 markings/sec, 1515 secs
lola: sara is running 1520 secs || 216695595 markings, 488679455 edges, 134376 markings/sec, 1520 secs
lola: sara is running 1525 secs || 217367393 markings, 490252060 edges, 134360 markings/sec, 1525 secs
lola: sara is running 1530 secs || 218031334 markings, 491860140 edges, 132788 markings/sec, 1530 secs
lola: sara is running 1535 secs || 218714023 markings, 493475937 edges, 136538 markings/sec, 1535 secs
lola: sara is running 1540 secs || 219335141 markings, 494968543 edges, 124224 markings/sec, 1540 secs
lola: sara is running 1545 secs || 219960606 markings, 496459356 edges, 125093 markings/sec, 1545 secs
lola: sara is running 1550 secs || 220579016 markings, 497970559 edges, 123682 markings/sec, 1550 secs
lola: sara is running 1555 secs || 221270037 markings, 499592371 edges, 138204 markings/sec, 1555 secs
lola: sara is running 1560 secs || 221967221 markings, 501257199 edges, 139437 markings/sec, 1560 secs
lola: sara is running 1565 secs || 222617728 markings, 502806533 edges, 130101 markings/sec, 1565 secs
lola: sara is running 1570 secs || 223241312 markings, 504329480 edges, 124717 markings/sec, 1570 secs
lola: sara is running 1575 secs || 223775403 markings, 505818070 edges, 106818 markings/sec, 1575 secs
lola: sara is running 1580 secs || 224325549 markings, 507333149 edges, 110029 markings/sec, 1580 secs
lola: sara is running 1585 secs || 224881426 markings, 508899111 edges, 111175 markings/sec, 1585 secs
lola: sara is running 1590 secs || 225444095 markings, 510508966 edges, 112534 markings/sec, 1590 secs
lola: sara is running 1595 secs || 225988557 markings, 511935889 edges, 108892 markings/sec, 1595 secs
lola: sara is running 1600 secs || 226210128 markings, 512465129 edges, 44314 markings/sec, 1600 secs
lola: sara is running 1605 secs || 226231603 markings, 512514436 edges, 4295 markings/sec, 1605 secs
lola: sara is running 1610 secs || 226244961 markings, 512548619 edges, 2672 markings/sec, 1610 secs
lola: sara is running 1615 secs || 226375921 markings, 512861911 edges, 26192 markings/sec, 1615 secs
lola: sara is running 1620 secs || 226988774 markings, 514336709 edges, 122571 markings/sec, 1620 secs
lola: sara is running 1625 secs || 227601800 markings, 515768787 edges, 122605 markings/sec, 1625 secs
lola: sara is running 1630 secs || 228214976 markings, 517234091 edges, 122635 markings/sec, 1630 secs
lola: sara is running 1635 secs || 228833490 markings, 518690981 edges, 123703 markings/sec, 1635 secs
lola: sara is running 1640 secs || 229496736 markings, 520269253 edges, 132649 markings/sec, 1640 secs
lola: sara is running 1645 secs || 230200064 markings, 521712467 edges, 140666 markings/sec, 1645 secs
lola: sara is running 1650 secs || 231028418 markings, 523144604 edges, 165671 markings/sec, 1650 secs
lola: sara is running 1655 secs || 231937570 markings, 524713655 edges, 181830 markings/sec, 1655 secs
lola: sara is running 1660 secs || 232766826 markings, 526170216 edges, 165851 markings/sec, 1660 secs
lola: sara is running 1665 secs || 233580317 markings, 527605392 edges, 162698 markings/sec, 1665 secs
lola: sara is running 1670 secs || 234226202 markings, 529089390 edges, 129177 markings/sec, 1670 secs
lola: sara is running 1675 secs || 234869950 markings, 530655192 edges, 128750 markings/sec, 1675 secs
lola: sara is running 1680 secs || 235495792 markings, 532122774 edges, 125168 markings/sec, 1680 secs
lola: sara is running 1685 secs || 236103723 markings, 533601297 edges, 121586 markings/sec, 1685 secs
lola: sara is running 1690 secs || 236740254 markings, 535102495 edges, 127306 markings/sec, 1690 secs
lola: sara is running 1695 secs || 237360753 markings, 536605152 edges, 124100 markings/sec, 1695 secs
lola: sara is running 1700 secs || 237992265 markings, 538094639 edges, 126302 markings/sec, 1700 secs
lola: sara is running 1705 secs || 238655014 markings, 539701440 edges, 132550 markings/sec, 1705 secs
lola: sara is running 1710 secs || 239500468 markings, 541130761 edges, 169091 markings/sec, 1710 secs
lola: sara is running 1715 secs || 240165971 markings, 542477755 edges, 133101 markings/sec, 1715 secs
lola: sara is running 1720 secs || 240908283 markings, 543930788 edges, 148462 markings/sec, 1720 secs
lola: sara is running 1725 secs || 241638526 markings, 545412679 edges, 146049 markings/sec, 1725 secs
lola: sara is running 1730 secs || 242278034 markings, 546864972 edges, 127902 markings/sec, 1730 secs
lola: sara is running 1735 secs || 242868428 markings, 548294754 edges, 118079 markings/sec, 1735 secs
lola: sara is running 1740 secs || 243630216 markings, 549881198 edges, 152358 markings/sec, 1740 secs
lola: sara is running 1745 secs || 244412209 markings, 551455490 edges, 156399 markings/sec, 1745 secs
lola: sara is running 1750 secs || 245066330 markings, 553035850 edges, 130824 markings/sec, 1750 secs
lola: sara is running 1755 secs || 245676144 markings, 554677383 edges, 121963 markings/sec, 1755 secs
lola: sara is running 1760 secs || 246341101 markings, 556309143 edges, 132991 markings/sec, 1760 secs
lola: sara is running 1765 secs || 246994691 markings, 557923058 edges, 130718 markings/sec, 1765 secs
lola: sara is running 1770 secs || 247568260 markings, 559525627 edges, 114714 markings/sec, 1770 secs
lola: sara is running 1775 secs || 248225881 markings, 561166091 edges, 131524 markings/sec, 1775 secs
lola: sara is running 1780 secs || 248876272 markings, 562687589 edges, 130078 markings/sec, 1780 secs
lola: sara is running 1785 secs || 249504899 markings, 564225084 edges, 125725 markings/sec, 1785 secs
lola: sara is running 1790 secs || 250166882 markings, 565775128 edges, 132397 markings/sec, 1790 secs
lola: sara is running 1795 secs || 250815472 markings, 567354005 edges, 129718 markings/sec, 1795 secs
lola: sara is running 1800 secs || 251493301 markings, 568949675 edges, 135566 markings/sec, 1800 secs
lola: sara is running 1805 secs || 252154847 markings, 570549220 edges, 132309 markings/sec, 1805 secs
lola: sara is running 1810 secs || 252851458 markings, 572197970 edges, 139322 markings/sec, 1810 secs
lola: sara is running 1815 secs || 253528985 markings, 573825955 edges, 135505 markings/sec, 1815 secs
lola: sara is running 1820 secs || 254230655 markings, 575481064 edges, 140334 markings/sec, 1820 secs
lola: sara is running 1825 secs || 254878768 markings, 577108190 edges, 129623 markings/sec, 1825 secs
lola: sara is running 1830 secs || 255445282 markings, 578706188 edges, 113303 markings/sec, 1830 secs
lola: sara is running 1835 secs || 256042621 markings, 580366930 edges, 119468 markings/sec, 1835 secs
lola: sara is running 1840 secs || 256626705 markings, 582015926 edges, 116817 markings/sec, 1840 secs
lola: sara is running 1845 secs || 257203989 markings, 583687766 edges, 115457 markings/sec, 1845 secs
lola: sara is running 1850 secs || 257884769 markings, 585297077 edges, 136156 markings/sec, 1850 secs
lola: sara is running 1855 secs || 258568032 markings, 586948597 edges, 136653 markings/sec, 1855 secs
lola: sara is running 1860 secs || 259229323 markings, 588484540 edges, 132258 markings/sec, 1860 secs
lola: sara is running 1865 secs || 259875557 markings, 590047570 edges, 129247 markings/sec, 1865 secs
lola: sara is running 1870 secs || 260547676 markings, 591616011 edges, 134424 markings/sec, 1870 secs
lola: sara is running 1875 secs || 261204239 markings, 593194393 edges, 131313 markings/sec, 1875 secs
lola: sara is running 1880 secs || 262052817 markings, 594733780 edges, 169716 markings/sec, 1880 secs
lola: sara is running 1885 secs || 262923960 markings, 596243490 edges, 174229 markings/sec, 1885 secs
lola: sara is running 1890 secs || 263796951 markings, 597753078 edges, 174598 markings/sec, 1890 secs
lola: sara is running 1895 secs || 264665029 markings, 599284824 edges, 173616 markings/sec, 1895 secs
lola: sara is running 1900 secs || 265472798 markings, 600890983 edges, 161554 markings/sec, 1900 secs
lola: sara is running 1905 secs || 266158544 markings, 602539976 edges, 137149 markings/sec, 1905 secs
lola: sara is running 1910 secs || 266828242 markings, 604134659 edges, 133940 markings/sec, 1910 secs
lola: sara is running 1915 secs || 267475782 markings, 605691606 edges, 129508 markings/sec, 1915 secs
lola: sara is running 1920 secs || 268156624 markings, 607312331 edges, 136168 markings/sec, 1920 secs
lola: sara is running 1925 secs || 268837144 markings, 608956500 edges, 136104 markings/sec, 1925 secs
lola: sara is running 1930 secs || 269529027 markings, 610598647 edges, 138377 markings/sec, 1930 secs
lola: sara is running 1935 secs || 270204504 markings, 612238564 edges, 135095 markings/sec, 1935 secs
lola: sara is running 1940 secs || 271145113 markings, 613770235 edges, 188122 markings/sec, 1940 secs
lola: sara is running 1945 secs || 271842985 markings, 615231253 edges, 139574 markings/sec, 1945 secs
lola: sara is running 1950 secs || 272641748 markings, 616810282 edges, 159753 markings/sec, 1950 secs
lola: sara is running 1955 secs || 273407577 markings, 618403202 edges, 153166 markings/sec, 1955 secs
lola: sara is running 1960 secs || 274087294 markings, 620005619 edges, 135943 markings/sec, 1960 secs
lola: sara is running 1965 secs || 274790679 markings, 621609048 edges, 140677 markings/sec, 1965 secs
lola: sara is running 1970 secs || 275575237 markings, 623194317 edges, 156912 markings/sec, 1970 secs
lola: sara is running 1975 secs || 276269947 markings, 624729670 edges, 138942 markings/sec, 1975 secs
lola: sara is running 1980 secs || 276915659 markings, 626347398 edges, 129142 markings/sec, 1980 secs
lola: sara is running 1985 secs || 277524238 markings, 627954738 edges, 121716 markings/sec, 1985 secs
lola: sara is running 1990 secs || 278190340 markings, 629561211 edges, 133220 markings/sec, 1990 secs
lola: sara is running 1995 secs || 278798628 markings, 631193315 edges, 121658 markings/sec, 1995 secs
lola: sara is running 2000 secs || 279427507 markings, 632829765 edges, 125776 markings/sec, 2000 secs
lola: sara is running 2005 secs || 280070720 markings, 634361391 edges, 128643 markings/sec, 2005 secs
lola: sara is running 2010 secs || 280706430 markings, 635889355 edges, 127142 markings/sec, 2010 secs
lola: sara is running 2015 secs || 281337494 markings, 637389449 edges, 126213 markings/sec, 2015 secs
lola: sara is running 2020 secs || 281996239 markings, 638974891 edges, 131749 markings/sec, 2020 secs
lola: sara is running 2025 secs || 282645835 markings, 640520191 edges, 129919 markings/sec, 2025 secs
lola: sara is running 2030 secs || 283313841 markings, 642129110 edges, 133601 markings/sec, 2030 secs
lola: sara is running 2035 secs || 284001486 markings, 643765839 edges, 137529 markings/sec, 2035 secs
lola: sara is running 2040 secs || 284685300 markings, 645420617 edges, 136763 markings/sec, 2040 secs
lola: sara is running 2045 secs || 285378784 markings, 647064183 edges, 138697 markings/sec, 2045 secs
lola: sara is running 2050 secs || 286058413 markings, 648713340 edges, 135926 markings/sec, 2050 secs
lola: sara is running 2055 secs || 286619687 markings, 650200630 edges, 112255 markings/sec, 2055 secs
lola: sara is running 2060 secs || 287163734 markings, 651694662 edges, 108809 markings/sec, 2060 secs
lola: sara is running 2065 secs || 287690630 markings, 653192113 edges, 105379 markings/sec, 2065 secs
lola: sara is running 2070 secs || 288248384 markings, 654759291 edges, 111551 markings/sec, 2070 secs
lola: sara is running 2075 secs || 288820789 markings, 656390348 edges, 114481 markings/sec, 2075 secs
lola: sara is running 2080 secs || 289509334 markings, 658004575 edges, 137709 markings/sec, 2080 secs
lola: sara is running 2085 secs || 290177052 markings, 659608835 edges, 133544 markings/sec, 2085 secs
lola: sara is running 2090 secs || 290830024 markings, 661141804 edges, 130594 markings/sec, 2090 secs
lola: sara is running 2095 secs || 291472011 markings, 662697424 edges, 128397 markings/sec, 2095 secs
lola: sara is running 2100 secs || 292130456 markings, 664225808 edges, 131689 markings/sec, 2100 secs
lola: sara is running 2105 secs || 292794542 markings, 665834908 edges, 132817 markings/sec, 2105 secs
lola: sara is running 2110 secs || 293684184 markings, 667376223 edges, 177928 markings/sec, 2110 secs
lola: sara is running 2115 secs || 294567372 markings, 668905913 edges, 176638 markings/sec, 2115 secs
lola: sara is running 2120 secs || 295454228 markings, 670445447 edges, 177371 markings/sec, 2120 secs
lola: sara is running 2125 secs || 296325001 markings, 671982660 edges, 174155 markings/sec, 2125 secs
lola: sara is running 2130 secs || 297093899 markings, 673596439 edges, 153780 markings/sec, 2130 secs
lola: sara is running 2135 secs || 297769941 markings, 675231351 edges, 135208 markings/sec, 2135 secs
lola: sara is running 2140 secs || 298442769 markings, 676823259 edges, 134566 markings/sec, 2140 secs
lola: sara is running 2145 secs || 299092715 markings, 678397114 edges, 129989 markings/sec, 2145 secs
lola: sara is running 2150 secs || 299779570 markings, 680019296 edges, 137371 markings/sec, 2150 secs
lola: sara is running 2155 secs || 300445614 markings, 681640611 edges, 133209 markings/sec, 2155 secs
lola: sara is running 2160 secs || 301133606 markings, 683259767 edges, 137598 markings/sec, 2160 secs
lola: sara is running 2165 secs || 301793941 markings, 684873362 edges, 132067 markings/sec, 2165 secs
lola: sara is running 2170 secs || 302727341 markings, 686392767 edges, 186680 markings/sec, 2170 secs
lola: sara is running 2175 secs || 303451372 markings, 687845161 edges, 144806 markings/sec, 2175 secs
lola: sara is running 2180 secs || 304060735 markings, 689518419 edges, 121873 markings/sec, 2180 secs
lola: sara is running 2185 secs || 304653974 markings, 691204311 edges, 118648 markings/sec, 2185 secs
lola: sara is running 2190 secs || 305311270 markings, 692830137 edges, 131459 markings/sec, 2190 secs
lola: sara is running 2195 secs || 306007727 markings, 694470000 edges, 139291 markings/sec, 2195 secs
lola: sara is running 2200 secs || 306638388 markings, 696160992 edges, 126132 markings/sec, 2200 secs
lola: sara is running 2205 secs || 307306198 markings, 697798331 edges, 133562 markings/sec, 2205 secs
lola: sara is running 2210 secs || 307991134 markings, 699482302 edges, 136987 markings/sec, 2210 secs
lola: sara is running 2215 secs || 308656555 markings, 701145007 edges, 133084 markings/sec, 2215 secs
lola: sara is running 2220 secs || 309255314 markings, 702829655 edges, 119752 markings/sec, 2220 secs
lola: sara is running 2225 secs || 309912708 markings, 704479515 edges, 131479 markings/sec, 2225 secs
lola: sara is running 2230 secs || 310703546 markings, 705990756 edges, 158168 markings/sec, 2230 secs
lola: sara is running 2235 secs || 311577118 markings, 707508418 edges, 174714 markings/sec, 2235 secs
lola: sara is running 2240 secs || 312264065 markings, 708974650 edges, 137389 markings/sec, 2240 secs
lola: sara is running 2245 secs || 313056738 markings, 710483346 edges, 158535 markings/sec, 2245 secs
lola: sara is running 2250 secs || 313745017 markings, 712026384 edges, 137656 markings/sec, 2250 secs
lola: sara is running 2255 secs || 314327713 markings, 713727228 edges, 116539 markings/sec, 2255 secs
lola: sara is running 2260 secs || 314911039 markings, 715377420 edges, 116665 markings/sec, 2260 secs
lola: sara is running 2265 secs || 315478540 markings, 717044511 edges, 113500 markings/sec, 2265 secs
lola: sara is running 2270 secs || 316015749 markings, 718648262 edges, 107442 markings/sec, 2270 secs
lola: sara is running 2275 secs || 316561276 markings, 720316510 edges, 109105 markings/sec, 2275 secs
lola: sara is running 2280 secs || 317114100 markings, 721979852 edges, 110565 markings/sec, 2280 secs
lola: sara is running 2285 secs || 317618903 markings, 723637249 edges, 100961 markings/sec, 2285 secs
lola: sara is running 2290 secs || 318216059 markings, 725292421 edges, 119431 markings/sec, 2290 secs
lola: sara is running 2295 secs || 318947405 markings, 726879106 edges, 146269 markings/sec, 2295 secs
lola: sara is running 2300 secs || 319721706 markings, 728481021 edges, 154860 markings/sec, 2300 secs
lola: sara is running 2305 secs || 320472529 markings, 730017304 edges, 150165 markings/sec, 2305 secs
lola: sara is running 2310 secs || 321247214 markings, 731605135 edges, 154937 markings/sec, 2310 secs
lola: sara is running 2315 secs || 322066283 markings, 733286218 edges, 163814 markings/sec, 2315 secs
lola: sara is running 2320 secs || 322770459 markings, 734895932 edges, 140835 markings/sec, 2320 secs
lola: sara is running 2325 secs || 323422022 markings, 736459492 edges, 130313 markings/sec, 2325 secs
lola: sara is running 2330 secs || 324082697 markings, 738004931 edges, 132135 markings/sec, 2330 secs
lola: sara is running 2335 secs || 324780886 markings, 739646860 edges, 139638 markings/sec, 2335 secs
lola: sara is running 2340 secs || 325492938 markings, 741312680 edges, 142410 markings/sec, 2340 secs
lola: sara is running 2345 secs || 326250183 markings, 743047187 edges, 151449 markings/sec, 2345 secs
lola: sara is running 2350 secs || 326974918 markings, 744771601 edges, 144947 markings/sec, 2350 secs
lola: sara is running 2355 secs || 327687358 markings, 746436751 edges, 142488 markings/sec, 2355 secs
lola: sara is running 2360 secs || 328392799 markings, 748083367 edges, 141088 markings/sec, 2360 secs
lola: sara is running 2365 secs || 329094932 markings, 749728024 edges, 140427 markings/sec, 2365 secs
lola: sara is running 2370 secs || 329840914 markings, 751416605 edges, 149196 markings/sec, 2370 secs
lola: sara is running 2375 secs || 330535339 markings, 753081342 edges, 138885 markings/sec, 2375 secs
lola: sara is running 2380 secs || 331254336 markings, 754760462 edges, 143799 markings/sec, 2380 secs
lola: sara is running 2385 secs || 331955702 markings, 756398082 edges, 140273 markings/sec, 2385 secs
lola: sara is running 2390 secs || 332654320 markings, 758021799 edges, 139724 markings/sec, 2390 secs
lola: sara is running 2395 secs || 333338077 markings, 759701505 edges, 136751 markings/sec, 2395 secs
lola: sara is running 2400 secs || 334021972 markings, 761340306 edges, 136779 markings/sec, 2400 secs
lola: sara is running 2405 secs || 334730524 markings, 762988516 edges, 141710 markings/sec, 2405 secs
lola: sara is running 2410 secs || 335416064 markings, 764591452 edges, 137108 markings/sec, 2410 secs
lola: sara is running 2415 secs || 336101597 markings, 766188599 edges, 137107 markings/sec, 2415 secs
lola: sara is running 2420 secs || 336814123 markings, 767813033 edges, 142505 markings/sec, 2420 secs
lola: sara is running 2425 secs || 337499459 markings, 769468943 edges, 137067 markings/sec, 2425 secs
lola: sara is running 2430 secs || 338204262 markings, 771110839 edges, 140961 markings/sec, 2430 secs
lola: sara is running 2435 secs || 338894407 markings, 772708546 edges, 138029 markings/sec, 2435 secs
lola: sara is running 2440 secs || 339584079 markings, 774315772 edges, 137934 markings/sec, 2440 secs
lola: sara is running 2445 secs || 340306322 markings, 775961323 edges, 144449 markings/sec, 2445 secs
lola: sara is running 2450 secs || 340995845 markings, 777623058 edges, 137905 markings/sec, 2450 secs
lola: sara is running 2455 secs || 341702989 markings, 779271597 edges, 141429 markings/sec, 2455 secs
lola: sara is running 2460 secs || 342400290 markings, 780883580 edges, 139460 markings/sec, 2460 secs
lola: sara is running 2465 secs || 343072352 markings, 782451755 edges, 134412 markings/sec, 2465 secs
lola: sara is running 2470 secs || 343785070 markings, 784088455 edges, 142544 markings/sec, 2470 secs
lola: sara is running 2475 secs || 344477328 markings, 785736212 edges, 138452 markings/sec, 2475 secs
lola: sara is running 2480 secs || 345181845 markings, 787389287 edges, 140903 markings/sec, 2480 secs
lola: sara is running 2485 secs || 345883134 markings, 789011674 edges, 140258 markings/sec, 2485 secs
lola: sara is running 2490 secs || 346561156 markings, 790595915 edges, 135604 markings/sec, 2490 secs
lola: sara is running 2495 secs || 347282448 markings, 792247813 edges, 144258 markings/sec, 2495 secs
lola: sara is running 2500 secs || 348018155 markings, 793989621 edges, 147141 markings/sec, 2500 secs
lola: sara is running 2505 secs || 348757604 markings, 795719025 edges, 147890 markings/sec, 2505 secs
lola: sara is running 2510 secs || 349480135 markings, 797405092 edges, 144506 markings/sec, 2510 secs
lola: sara is running 2515 secs || 350181209 markings, 799043205 edges, 140215 markings/sec, 2515 secs
lola: sara is running 2520 secs || 350785524 markings, 800700319 edges, 120863 markings/sec, 2520 secs
lola: sara is running 2525 secs || 351298603 markings, 802340551 edges, 102616 markings/sec, 2525 secs
lola: sara is running 2530 secs || 351814872 markings, 804010206 edges, 103254 markings/sec, 2530 secs
lola: sara is running 2535 secs || 352336013 markings, 805597634 edges, 104228 markings/sec, 2535 secs
lola: sara is running 2540 secs || 352885584 markings, 807247129 edges, 109914 markings/sec, 2540 secs
lola: sara is running 2545 secs || 353445851 markings, 808934651 edges, 112053 markings/sec, 2545 secs
lola: sara is running 2550 secs || 354002893 markings, 810624834 edges, 111408 markings/sec, 2550 secs
lola: sara is running 2555 secs || 354503964 markings, 812263233 edges, 100214 markings/sec, 2555 secs
lola: sara is running 2560 secs || 354999276 markings, 813944006 edges, 99062 markings/sec, 2560 secs
lola: sara is running 2565 secs || 355539257 markings, 815618918 edges, 107996 markings/sec, 2565 secs
lola: sara is running 2570 secs || 356082938 markings, 817192604 edges, 108736 markings/sec, 2570 secs
lola: sara is running 2575 secs || 356659428 markings, 818816272 edges, 115298 markings/sec, 2575 secs
lola: sara is running 2580 secs || 357482058 markings, 820382159 edges, 164526 markings/sec, 2580 secs
lola: sara is running 2585 secs || 358169356 markings, 822000367 edges, 137460 markings/sec, 2585 secs
lola: sara is running 2590 secs || 358688136 markings, 823580966 edges, 103756 markings/sec, 2590 secs
lola: sara is running 2595 secs || 359239328 markings, 825235890 edges, 110238 markings/sec, 2595 secs
lola: sara is running 2600 secs || 359807844 markings, 826879287 edges, 113703 markings/sec, 2600 secs
lola: sara is running 2605 secs || 360381043 markings, 828556117 edges, 114640 markings/sec, 2605 secs
lola: sara is running 2610 secs || 360940592 markings, 830210177 edges, 111910 markings/sec, 2610 secs
lola: sara is running 2615 secs || 361481152 markings, 831881827 edges, 108112 markings/sec, 2615 secs
lola: sara is running 2620 secs || 362034855 markings, 833550648 edges, 110741 markings/sec, 2620 secs
lola: sara is running 2625 secs || 362542844 markings, 835214946 edges, 101598 markings/sec, 2625 secs
lola: sara is running 2630 secs || 363176460 markings, 836918489 edges, 126723 markings/sec, 2630 secs
lola: sara is running 2635 secs || 363982451 markings, 838651130 edges, 161198 markings/sec, 2635 secs
lola: sara is running 2640 secs || 364817187 markings, 840363691 edges, 166947 markings/sec, 2640 secs
lola: sara is running 2645 secs || 365636838 markings, 842044980 edges, 163930 markings/sec, 2645 secs
lola: sara is running 2650 secs || 366446325 markings, 843703669 edges, 161897 markings/sec, 2650 secs
lola: sara is running 2655 secs || 367250507 markings, 845404460 edges, 160836 markings/sec, 2655 secs
lola: sara is running 2660 secs || 367970382 markings, 847128989 edges, 143975 markings/sec, 2660 secs
lola: sara is running 2665 secs || 368697649 markings, 848837337 edges, 145453 markings/sec, 2665 secs
lola: sara is running 2670 secs || 369410887 markings, 850514875 edges, 142648 markings/sec, 2670 secs
lola: sara is running 2675 secs || 370111981 markings, 852162063 edges, 140219 markings/sec, 2675 secs
lola: sara is running 2680 secs || 370835490 markings, 853821077 edges, 144702 markings/sec, 2680 secs
lola: sara is running 2685 secs || 371556201 markings, 855526958 edges, 144142 markings/sec, 2685 secs
lola: sara is running 2690 secs || 372270553 markings, 857204364 edges, 142870 markings/sec, 2690 secs
lola: sara is running 2695 secs || 372985765 markings, 858874856 edges, 143042 markings/sec, 2695 secs
lola: sara is running 2700 secs || 373692659 markings, 860514441 edges, 141379 markings/sec, 2700 secs
lola: sara is running 2705 secs || 374433141 markings, 862197955 edges, 148096 markings/sec, 2705 secs
lola: sara is running 2710 secs || 375092671 markings, 863781626 edges, 131906 markings/sec, 2710 secs
lola: sara is running 2715 secs || 375756119 markings, 865340782 edges, 132690 markings/sec, 2715 secs
lola: sara is running 2720 secs || 376402538 markings, 866848940 edges, 129284 markings/sec, 2720 secs
lola: sara is running 2725 secs || 377049798 markings, 868358142 edges, 129452 markings/sec, 2725 secs
lola: sara is running 2730 secs || 377716809 markings, 869934516 edges, 133402 markings/sec, 2730 secs
lola: sara is running 2735 secs || 378365255 markings, 871531579 edges, 129689 markings/sec, 2735 secs
lola: sara is running 2740 secs || 379033347 markings, 873116722 edges, 133618 markings/sec, 2740 secs
lola: sara is running 2745 secs || 379706391 markings, 874691989 edges, 134609 markings/sec, 2745 secs
lola: sara is running 2750 secs || 380381564 markings, 876251872 edges, 135035 markings/sec, 2750 secs
lola: sara is running 2755 secs || 381047975 markings, 877810891 edges, 133282 markings/sec, 2755 secs
lola: sara is running 2760 secs || 381752575 markings, 879432307 edges, 140920 markings/sec, 2760 secs
lola: sara is running 2765 secs || 382427811 markings, 881037215 edges, 135047 markings/sec, 2765 secs
lola: sara is running 2770 secs || 383108247 markings, 882632627 edges, 136087 markings/sec, 2770 secs
lola: sara is running 2775 secs || 383782297 markings, 884203301 edges, 134810 markings/sec, 2775 secs
lola: sara is running 2780 secs || 384444319 markings, 885752314 edges, 132404 markings/sec, 2780 secs
lola: sara is running 2785 secs || 385157508 markings, 887383369 edges, 142638 markings/sec, 2785 secs
lola: sara is running 2790 secs || 385854686 markings, 889038821 edges, 139436 markings/sec, 2790 secs
lola: sara is running 2795 secs || 386556220 markings, 890676566 edges, 140307 markings/sec, 2795 secs
lola: sara is running 2800 secs || 387240173 markings, 892277366 edges, 136791 markings/sec, 2800 secs
lola: sara is running 2805 secs || 387914918 markings, 893846869 edges, 134949 markings/sec, 2805 secs
lola: sara is running 2810 secs || 388623434 markings, 895477484 edges, 141703 markings/sec, 2810 secs
lola: sara is running 2815 secs || 389315072 markings, 897116398 edges, 138328 markings/sec, 2815 secs
lola: sara is running 2820 secs || 390008755 markings, 898740251 edges, 138737 markings/sec, 2820 secs
lola: sara is running 2825 secs || 390692067 markings, 900336253 edges, 136662 markings/sec, 2825 secs
lola: sara is running 2830 secs || 391373565 markings, 901922569 edges, 136300 markings/sec, 2830 secs
lola: sara is running 2835 secs || 392119835 markings, 903626228 edges, 149254 markings/sec, 2835 secs
lola: sara is running 2840 secs || 392838005 markings, 905340049 edges, 143634 markings/sec, 2840 secs
lola: sara is running 2845 secs || 393557567 markings, 907027493 edges, 143912 markings/sec, 2845 secs
lola: sara is running 2850 secs || 394282614 markings, 908702572 edges, 145009 markings/sec, 2850 secs
lola: sara is running 2855 secs || 394991091 markings, 910360507 edges, 141695 markings/sec, 2855 secs
lola: sara is running 2860 secs || 395515108 markings, 911949761 edges, 104803 markings/sec, 2860 secs
lola: sara is running 2865 secs || 396015476 markings, 913546755 edges, 100074 markings/sec, 2865 secs
lola: sara is running 2870 secs || 396516489 markings, 915189796 edges, 100203 markings/sec, 2870 secs
lola: sara is running 2875 secs || 397061778 markings, 916825733 edges, 109058 markings/sec, 2875 secs
lola: sara is running 2880 secs || 397610265 markings, 918476738 edges, 109697 markings/sec, 2880 secs
lola: sara is running 2885 secs || 398152700 markings, 920127000 edges, 108487 markings/sec, 2885 secs
lola: sara is running 2890 secs || 398690453 markings, 921742157 edges, 107551 markings/sec, 2890 secs
lola: sara is running 2895 secs || 399173390 markings, 923389295 edges, 96587 markings/sec, 2895 secs
lola: sara is running 2900 secs || 399628475 markings, 924929560 edges, 91017 markings/sec, 2900 secs
lola: sara is running 2905 secs || 400152177 markings, 926514653 edges, 104740 markings/sec, 2905 secs
lola: sara is running 2910 secs || 400661483 markings, 927984481 edges, 101861 markings/sec, 2910 secs
lola: sara is running 2915 secs || 401239583 markings, 929595531 edges, 115620 markings/sec, 2915 secs
lola: sara is running 2920 secs || 402039241 markings, 931118543 edges, 159932 markings/sec, 2920 secs
lola: sara is running 2925 secs || 402685638 markings, 932609949 edges, 129279 markings/sec, 2925 secs
lola: sara is running 2930 secs || 403189945 markings, 934133667 edges, 100861 markings/sec, 2930 secs
lola: sara is running 2935 secs || 403682592 markings, 935629928 edges, 98529 markings/sec, 2935 secs
lola: sara is running 2940 secs || 404278167 markings, 937156445 edges, 119115 markings/sec, 2940 secs
lola: sara is running 2945 secs || 404886378 markings, 938441128 edges, 121642 markings/sec, 2945 secs
lola: sara is running 2950 secs || 405599212 markings, 939792665 edges, 142567 markings/sec, 2950 secs
lola: sara is running 2955 secs || 406211502 markings, 941110876 edges, 122458 markings/sec, 2955 secs
lola: sara is running 2960 secs || 406895842 markings, 942531746 edges, 136868 markings/sec, 2960 secs
lola: sara is running 2965 secs || 407765227 markings, 944102999 edges, 173877 markings/sec, 2965 secs
lola: sara is running 2970 secs || 408563789 markings, 945698425 edges, 159712 markings/sec, 2970 secs
lola: sara is running 2975 secs || 409381256 markings, 947407466 edges, 163493 markings/sec, 2975 secs
lola: sara is running 2980 secs || 410219978 markings, 949136592 edges, 167744 markings/sec, 2980 secs
lola: sara is running 2985 secs || 411035299 markings, 950843189 edges, 163064 markings/sec, 2985 secs
lola: sara is running 2990 secs || 411846093 markings, 952525330 edges, 162159 markings/sec, 2990 secs
lola: sara is running 2995 secs || 412644870 markings, 954202923 edges, 159755 markings/sec, 2995 secs
lola: sara is running 3000 secs || 413517533 markings, 955909227 edges, 174533 markings/sec, 3000 secs
lola: sara is running 3005 secs || 414335398 markings, 957614489 edges, 163573 markings/sec, 3005 secs
lola: sara is running 3010 secs || 415205399 markings, 959321390 edges, 174000 markings/sec, 3010 secs
lola: sara is running 3015 secs || 416015132 markings, 961012648 edges, 161947 markings/sec, 3015 secs
lola: sara is running 3020 secs || 416865997 markings, 962698857 edges, 170173 markings/sec, 3020 secs
lola: sara is running 3025 secs || 417680896 markings, 964376936 edges, 162980 markings/sec, 3025 secs
lola: sara is running 3030 secs || 418420252 markings, 965907534 edges, 147871 markings/sec, 3030 secs
lola: sara is running 3035 secs || 419205986 markings, 967442706 edges, 157147 markings/sec, 3035 secs
lola: sara is running 3040 secs || 419930153 markings, 968954259 edges, 144833 markings/sec, 3040 secs
lola: sara is running 3045 secs || 420731415 markings, 970525420 edges, 160252 markings/sec, 3045 secs
lola: sara is running 3050 secs || 421487387 markings, 972095058 edges, 151194 markings/sec, 3050 secs
lola: sara is running 3055 secs || 422210256 markings, 973596433 edges, 144574 markings/sec, 3055 secs
lola: sara is running 3060 secs || 422983951 markings, 975109115 edges, 154739 markings/sec, 3060 secs
lola: sara is running 3065 secs || 423716354 markings, 976639607 edges, 146481 markings/sec, 3065 secs
lola: sara is running 3070 secs || 424533453 markings, 978244119 edges, 163420 markings/sec, 3070 secs
lola: sara is running 3075 secs || 425255972 markings, 979745593 edges, 144504 markings/sec, 3075 secs
lola: sara is running 3080 secs || 425981854 markings, 981242140 edges, 145176 markings/sec, 3080 secs
lola: sara is running 3085 secs || 426784912 markings, 982820715 edges, 160612 markings/sec, 3085 secs
lola: sara is running 3090 secs || 427528536 markings, 984376392 edges, 148725 markings/sec, 3090 secs
lola: sara is running 3095 secs || 428248377 markings, 985923309 edges, 143968 markings/sec, 3095 secs
lola: sara is running 3100 secs || 429107453 markings, 987531970 edges, 171815 markings/sec, 3100 secs
lola: sara is running 3105 secs || 429866767 markings, 989118531 edges, 151863 markings/sec, 3105 secs
lola: sara is running 3110 secs || 430582220 markings, 990690037 edges, 143091 markings/sec, 3110 secs
lola: sara is running 3115 secs || 431320387 markings, 992247510 edges, 147633 markings/sec, 3115 secs
lola: sara is running 3120 secs || 432045875 markings, 993796677 edges, 145098 markings/sec, 3120 secs
lola: sara is running 3125 secs || 432746995 markings, 995342739 edges, 140224 markings/sec, 3125 secs
lola: sara is running 3130 secs || 433501484 markings, 996904399 edges, 150898 markings/sec, 3130 secs
lola: sara is running 3135 secs || 434285623 markings, 998531468 edges, 156828 markings/sec, 3135 secs
lola: sara is running 3140 secs || 434983052 markings, 1000082545 edges, 139486 markings/sec, 3140 secs
lola: sara is running 3145 secs || 435675001 markings, 1001608704 edges, 138390 markings/sec, 3145 secs
lola: sara is running 3150 secs || 436456525 markings, 1003246132 edges, 156305 markings/sec, 3150 secs
lola: sara is running 3155 secs || 437188506 markings, 1004891585 edges, 146396 markings/sec, 3155 secs
lola: sara is running 3160 secs || 437996400 markings, 1006565404 edges, 161579 markings/sec, 3160 secs
lola: sara is running 3165 secs || 438610673 markings, 1007952401 edges, 122855 markings/sec, 3165 secs
lola: sara is running 3170 secs || 438877048 markings, 1008549183 edges, 53275 markings/sec, 3170 secs
lola: sara is running 3175 secs || 439153469 markings, 1009127099 edges, 55284 markings/sec, 3175 secs
lola: sara is running 3180 secs || 439329720 markings, 1009456025 edges, 35250 markings/sec, 3180 secs
lola: sara is running 3185 secs || 439481627 markings, 1009761280 edges, 30381 markings/sec, 3185 secs
lola: sara is running 3190 secs || 439481666 markings, 1009761353 edges, 8 markings/sec, 3190 secs
lola: sara is running 3195 secs || 439481676 markings, 1009761379 edges, 2 markings/sec, 3195 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t173) AND (FIREABLE(t2) OR FIREABLE(t132)) AND FIREABLE(t137) AND FIREABLE(t220) AND NOT FIREABLE(t32) AND (FIREABLE(t12) OR FIREABLE(t148)) AND NOT FIREABLE(t102) AND FIREABLE(t246))))
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(t173) AND (FIREABLE(t2) OR FIREABLE(t132)) AND FIREABLE(t137) AND FIREABLE(t220) AND NOT FIREABLE(t32) AND (FIREABLE(t12) OR FIREABLE(t148)) AND NOT FIREABLE(t102) AND FIREABLE(t246))))
lola: processed formula length: 203
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(t173) AND (FIREABLE(t2) OR FIREABLE(t132)) AND FIREABLE(t137) AND FIREABLE(t220) AND NOT FIREABLE(t32) AND (FIREABLE(t12) OR FIREABLE(t148)) AND NOT FIREABLE(t102) AND FIREABLE(t246))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 32 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityFireability-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityFireability-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 867025 markings, 1661812 edges, 173405 markings/sec, 0 secs
lola: sara is running 5 secs || 1673634 markings, 3345111 edges, 161322 markings/sec, 5 secs
sara: warning, failure of lp_solve (at job 6247)
lola: sara is running 10 secs || 2445390 markings, 4955423 edges, 154351 markings/sec, 10 secs
lola: sara is running 15 secs || 3254441 markings, 6604683 edges, 161810 markings/sec, 15 secs
lola: sara is running 20 secs || 4099425 markings, 8171047 edges, 168997 markings/sec, 20 secs
lola: sara is running 25 secs || 4925029 markings, 9758452 edges, 165121 markings/sec, 25 secs
lola: sara is running 30 secs || 5761370 markings, 11349205 edges, 167268 markings/sec, 30 secs
lola: sara is running 35 secs || 6447751 markings, 12957625 edges, 137276 markings/sec, 35 secs
lola: sara is running 40 secs || 7022069 markings, 14575372 edges, 114864 markings/sec, 40 secs
lola: sara is running 45 secs || 7719778 markings, 16198954 edges, 139542 markings/sec, 45 secs
lola: sara is running 50 secs || 8339427 markings, 17833705 edges, 123930 markings/sec, 50 secs
lola: sara is running 55 secs || 8956461 markings, 19464806 edges, 123407 markings/sec, 55 secs
lola: sara is running 60 secs || 9575717 markings, 21102649 edges, 123851 markings/sec, 60 secs
lola: sara is running 65 secs || 10190305 markings, 22726483 edges, 122918 markings/sec, 65 secs
lola: sara is running 70 secs || 10796914 markings, 24336427 edges, 121322 markings/sec, 70 secs
lola: sara is running 75 secs || 11395276 markings, 25920229 edges, 119672 markings/sec, 75 secs
lola: sara is running 80 secs || 11993975 markings, 27509424 edges, 119740 markings/sec, 80 secs
lola: sara is running 85 secs || 12653815 markings, 29168436 edges, 131968 markings/sec, 85 secs
lola: sara is running 90 secs || 13322296 markings, 30800969 edges, 133696 markings/sec, 90 secs
lola: sara is running 95 secs || 14023973 markings, 32446638 edges, 140335 markings/sec, 95 secs
lola: sara is running 100 secs || 14676009 markings, 34068411 edges, 130407 markings/sec, 100 secs
lola: sara is running 105 secs || 15305196 markings, 35632587 edges, 125837 markings/sec, 105 secs
lola: sara is running 110 secs || 15943247 markings, 37213321 edges, 127610 markings/sec, 110 secs
lola: sara is running 115 secs || 16673606 markings, 38857309 edges, 146072 markings/sec, 115 secs
lola: sara is running 120 secs || 17309652 markings, 40427120 edges, 127209 markings/sec, 120 secs
lola: sara is running 125 secs || 17932054 markings, 41978196 edges, 124480 markings/sec, 125 secs
lola: sara is running 130 secs || 18592525 markings, 43612539 edges, 132094 markings/sec, 130 secs
lola: sara is running 135 secs || 19273061 markings, 45276168 edges, 136107 markings/sec, 135 secs
lola: sara is running 140 secs || 19860867 markings, 46926576 edges, 117561 markings/sec, 140 secs
lola: sara is running 145 secs || 20458888 markings, 48620666 edges, 119604 markings/sec, 145 secs
lola: sara is running 150 secs || 20983109 markings, 50185269 edges, 104844 markings/sec, 150 secs
lola: sara is running 155 secs || 21498901 markings, 51727637 edges, 103158 markings/sec, 155 secs
lola: sara is running 160 secs || 22016941 markings, 53256794 edges, 103608 markings/sec, 160 secs
lola: sara is running 165 secs || 22617235 markings, 54800783 edges, 120059 markings/sec, 165 secs
lola: sara is running 170 secs || 23292498 markings, 56358815 edges, 135053 markings/sec, 170 secs
lola: sara is running 175 secs || 23912388 markings, 57897434 edges, 123978 markings/sec, 175 secs
lola: sara is running 180 secs || 24507002 markings, 59373176 edges, 118923 markings/sec, 180 secs
lola: sara is running 185 secs || 25124164 markings, 60903619 edges, 123432 markings/sec, 185 secs
lola: sara is running 190 secs || 25868836 markings, 62474078 edges, 148934 markings/sec, 190 secs
lola: sara is running 195 secs || 26630272 markings, 64030143 edges, 152287 markings/sec, 195 secs
lola: sara is running 200 secs || 27391591 markings, 65515513 edges, 152264 markings/sec, 200 secs
lola: sara is running 205 secs || 28031795 markings, 67040912 edges, 128041 markings/sec, 205 secs
lola: sara is running 210 secs || 28606815 markings, 68531545 edges, 115004 markings/sec, 210 secs
lola: sara is running 215 secs || 29276421 markings, 70147881 edges, 133921 markings/sec, 215 secs
lola: sara is running 220 secs || 29911520 markings, 71789795 edges, 127020 markings/sec, 220 secs
lola: sara is running 225 secs || 30542263 markings, 73384923 edges, 126149 markings/sec, 225 secs
lola: sara is running 230 secs || 31210950 markings, 74993148 edges, 133737 markings/sec, 230 secs
lola: sara is running 235 secs || 31888918 markings, 76592614 edges, 135594 markings/sec, 235 secs
lola: sara is running 240 secs || 32472221 markings, 78199919 edges, 116661 markings/sec, 240 secs
lola: sara is running 245 secs || 33108414 markings, 79818815 edges, 127239 markings/sec, 245 secs
lola: sara is running 250 secs || 33764575 markings, 81435098 edges, 131232 markings/sec, 250 secs
lola: sara is running 255 secs || 34326526 markings, 83068427 edges, 112390 markings/sec, 255 secs
lola: sara is running 260 secs || 34992661 markings, 84638559 edges, 133227 markings/sec, 260 secs
lola: sara is running 265 secs || 35632586 markings, 86203464 edges, 127985 markings/sec, 265 secs
lola: sara is running 270 secs || 36301194 markings, 87768595 edges, 133722 markings/sec, 270 secs
lola: sara is running 275 secs || 36969743 markings, 89381635 edges, 133710 markings/sec, 275 secs
lola: sara is running 280 secs || 37641184 markings, 90976644 edges, 134288 markings/sec, 280 secs
lola: sara is running 285 secs || 38302852 markings, 92572205 edges, 132334 markings/sec, 285 secs
lola: sara is running 290 secs || 38984489 markings, 94189037 edges, 136327 markings/sec, 290 secs
lola: sara is running 295 secs || 39758941 markings, 95831441 edges, 154890 markings/sec, 295 secs
lola: sara is running 300 secs || 40927341 markings, 97329304 edges, 233680 markings/sec, 300 secs
lola: sara is running 305 secs || 42088361 markings, 98832999 edges, 232204 markings/sec, 305 secs
lola: sara is running 310 secs || 43244520 markings, 100347999 edges, 231232 markings/sec, 310 secs
lola: sara is running 315 secs || 44191244 markings, 101913162 edges, 189345 markings/sec, 315 secs
lola: sara is running 320 secs || 45121914 markings, 103465245 edges, 186134 markings/sec, 320 secs
lola: sara is running 325 secs || 46046327 markings, 105018421 edges, 184883 markings/sec, 325 secs
lola: sara is running 330 secs || 46964501 markings, 106540588 edges, 183635 markings/sec, 330 secs
lola: sara is running 335 secs || 47883901 markings, 108067962 edges, 183880 markings/sec, 335 secs
lola: sara is running 340 secs || 48790874 markings, 109594263 edges, 181395 markings/sec, 340 secs
lola: sara is running 345 secs || 49786728 markings, 111102842 edges, 199171 markings/sec, 345 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes no yes yes yes yes yes no yes yes no yes no yes unknown
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: no yes no yes yes yes yes yes no yes yes no yes no yes unknown

lola:
preliminary result: no yes no yes yes yes yes yes no yes yes no yes no yes unknown
lola: lola: memory consumption: 1886996 KB
memory consumption: 1886976 KB
lola: lola: time consumption: 3570 secondstime consumption: 3570 seconds

lola: lola: print data as JSON (--json)
print data as JSON (--json)
lola: writing JSON to ReachabilityFireability.json
lola: closed JSON file ReachabilityFireability.json
lola: writing JSON to ReachabilityFireability.json
lola: closed JSON file ReachabilityFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no yes yes yes yes yes no yes yes no yes no yes unknown
lola: memory consumption: 1887564 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to ReachabilityFireability.json
lola: closed JSON file ReachabilityFireability.json
rslt: finished

BK_STOP 1552504656578

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AutoFlight-PT-03b"
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 AutoFlight-PT-03b, 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-155225065000117"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-03b.tgz
mv AutoFlight-PT-03b 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 '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;