About the Execution of ITS-LoLa for ResAllocation-PT-R003C015
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15742.690 | 3600000.00 | 3605318.00 | 862.50 | FFFTFFFFFFTT?FTT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r194-csrt-159033390300667.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-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-4028
Executing tool itslola
Input is ResAllocation-PT-R003C015, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r194-csrt-159033390300667
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 296K
-rw-r--r-- 1 mcc users 3.4K May 14 00:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 00:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 17:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 17:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 12 20:53 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 12 20:53 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K May 14 10:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 14 10:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 14 10:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 13 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K May 13 07:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K May 13 07:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:53 equiv_col
-rw-r--r-- 1 mcc users 9 May 12 20:53 instance
-rw-r--r-- 1 mcc users 6 May 12 20:53 iscolored
-rw-r--r-- 1 mcc users 107K May 12 20:53 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 ResAllocation-PT-R003C015-CTLCardinality-00
FORMULA_NAME ResAllocation-PT-R003C015-CTLCardinality-01
FORMULA_NAME ResAllocation-PT-R003C015-CTLCardinality-02
FORMULA_NAME ResAllocation-PT-R003C015-CTLCardinality-03
FORMULA_NAME ResAllocation-PT-R003C015-CTLCardinality-04
FORMULA_NAME ResAllocation-PT-R003C015-CTLCardinality-05
FORMULA_NAME ResAllocation-PT-R003C015-CTLCardinality-06
FORMULA_NAME ResAllocation-PT-R003C015-CTLCardinality-07
FORMULA_NAME ResAllocation-PT-R003C015-CTLCardinality-08
FORMULA_NAME ResAllocation-PT-R003C015-CTLCardinality-09
FORMULA_NAME ResAllocation-PT-R003C015-CTLCardinality-10
FORMULA_NAME ResAllocation-PT-R003C015-CTLCardinality-11
FORMULA_NAME ResAllocation-PT-R003C015-CTLCardinality-12
FORMULA_NAME ResAllocation-PT-R003C015-CTLCardinality-13
FORMULA_NAME ResAllocation-PT-R003C015-CTLCardinality-14
FORMULA_NAME ResAllocation-PT-R003C015-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1591235866158
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 01:57:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 01:57:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 01:57:49] [INFO ] Load time of PNML (sax parser for PT used): 83 ms
[2020-06-04 01:57:49] [INFO ] Transformed 90 places.
[2020-06-04 01:57:49] [INFO ] Transformed 60 transitions.
[2020-06-04 01:57:49] [INFO ] Parsed PT model containing 90 places and 60 transitions in 157 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 45 ms.
Incomplete random walk after 100000 steps, including 2973 resets, run finished after 440 ms. (steps per millisecond=227 ) properties seen :[1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1]
// Phase 1: matrix 60 rows 90 cols
[2020-06-04 01:57:50] [INFO ] Computed 45 place invariants in 11 ms
[2020-06-04 01:57:50] [INFO ] [Real]Absence check using 45 positive place invariants in 56 ms returned unsat
[2020-06-04 01:57:50] [INFO ] [Real]Absence check using 45 positive place invariants in 18 ms returned unsat
[2020-06-04 01:57:50] [INFO ] [Real]Absence check using 45 positive place invariants in 17 ms returned unsat
[2020-06-04 01:57:50] [INFO ] [Real]Absence check using 45 positive place invariants in 89 ms returned unsat
[2020-06-04 01:57:50] [INFO ] [Real]Absence check using 45 positive place invariants in 25 ms returned unsat
[2020-06-04 01:57:50] [INFO ] [Real]Absence check using 45 positive place invariants in 29 ms returned unsat
[2020-06-04 01:57:50] [INFO ] [Real]Absence check using 45 positive place invariants in 17 ms returned unsat
[2020-06-04 01:57:50] [INFO ] [Real]Absence check using 45 positive place invariants in 22 ms returned unsat
[2020-06-04 01:57:51] [INFO ] [Real]Absence check using 45 positive place invariants in 147 ms returned unsat
[2020-06-04 01:57:51] [INFO ] [Real]Absence check using 45 positive place invariants in 9 ms returned unsat
[2020-06-04 01:57:51] [INFO ] [Real]Absence check using 45 positive place invariants in 26 ms returned unsat
[2020-06-04 01:57:51] [INFO ] [Real]Absence check using 45 positive place invariants in 13 ms returned unsat
[2020-06-04 01:57:51] [INFO ] [Real]Absence check using 45 positive place invariants in 19 ms returned unsat
Successfully simplified 13 atomic propositions for a total of 13 simplifications.
[2020-06-04 01:57:51] [INFO ] Initial state reduction rules for CTL removed 7 formulas.
[2020-06-04 01:57:51] [INFO ] Flatten gal took : 78 ms
[2020-06-04 01:57:51] [INFO ] Initial state reduction rules for CTL removed 7 formulas.
[2020-06-04 01:57:51] [INFO ] Flatten gal took : 38 ms
FORMULA ResAllocation-PT-R003C015-CTLCardinality-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ResAllocation-PT-R003C015-CTLCardinality-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ResAllocation-PT-R003C015-CTLCardinality-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ResAllocation-PT-R003C015-CTLCardinality-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ResAllocation-PT-R003C015-CTLCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ResAllocation-PT-R003C015-CTLCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ResAllocation-PT-R003C015-CTLCardinality-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 01:57:51] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 8 ms.
[2020-06-04 01:57:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 3 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ ResAllocation-PT-R003C015 @ 3570 seconds
FORMULA ResAllocation-PT-R003C015-CTLCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ResAllocation-PT-R003C015-CTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ResAllocation-PT-R003C015-CTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ResAllocation-PT-R003C015-CTLCardinality-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ResAllocation-PT-R003C015-CTLCardinality-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ResAllocation-PT-R003C015-CTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ResAllocation-PT-R003C015-CTLCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ResAllocation-PT-R003C015-CTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ ResAllocation-PT-R003C015
{
"exit":
{
"memory": 9011340,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(p6 <= 0)",
"processed_size": 9,
"rewrites": 15
},
"result":
{
"preliminary_value": "no no no no yes unknown no yes yes "
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "tscc preserving/always up"
}
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"store":
{
"type": "dfs/tscc"
},
"type": "possible_invariance",
"workflow": "stateequation"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 150/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 90
lola: finding significant places
lola: 90 places, 60 transitions, 45 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 CTLCardinality.xml
lola: LP says that atomic proposition is always false: (2 <= p65)
lola: (A (G ((1 <= p13))) OR E ((((p36 <= p83) OR (p58 <= p43)) U (1 <= 0)))) : A (X ((1 <= 0))) : A (F ((p39 <= p46))) : A (G (A (((p28 <= p85) U (1 <= p41))))) : E (G (E (F ((p15 + 1 <= p40))))) : ((1 <= p9) AND E (F (A (G ((1 <= p6)))))) : NOT(E (F (A (X ((1 <= 0)))))) : E (((p11 <= p61) U E (G ((p37 <= p48))))) : E (X (E (G (((p47 <= p33))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:285
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: DEADLOCK
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: DEADLOCK
lola: processed formula length: 8
lola: 11 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (G (((p47 <= p33))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: rewrite Frontend/Parser/formula_rewrite.k:715
lola: processed formula: ((p47 <= p33))
lola: processed formula length: 14
lola: 13 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p47 <= p33))
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 /EXEG
lola: The predicate is possibly preserved from some successor.
lola: 4 markings, 4 edges
lola: ========================================
lola: subprocess 2 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking absence of deadlocks
lola: Planning: workflow for deadlock check: search (--findpath=off,--siphontrap=off)
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 deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The net is not deadlock-free.
lola: 34 markings, 35 edges
lola: subprocess 3 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((1 <= p13)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((1 <= p13)))
lola: processed formula length: 18
lola: 13 rewrites
lola: closed formula file CTLCardinality.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: 2 markings, 1 edges
lola: ========================================
lola: subprocess 4 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F ((p39 <= p46)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p46 + 1 <= p39)
lola: processed formula length: 16
lola: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: The predicate does not eventually occur.
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p39 <= p46)
lola: state equation task get result unparse finished id 0
lola: 4 markings, 4 edges
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-4-0.sara.
lola: subprocess 5 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F ((p15 + 1 <= p40)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:593
lola: rewrite Frontend/Parser/formula_rewrite.k:628
lola: rewrite Frontend/Parser/formula_rewrite.k:731
lola: processed formula: (p15 + 1 <= p40)
lola: processed formula length: 16
lola: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
sara: place or transition ordering is non-deterministic
lola: ========================================
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: (p40 <= p15)
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 task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (p15 + 1 <= p40)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: write sara problem file to CTLCardinality-5-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-5-1.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EGEF
lola: Reachability of the predicate is possibly preserved.
lola: 14861 markings, 77006 edges
lola: ========================================
lola: subprocess 6 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p9) AND E (F (A (G ((1 <= p6))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p9)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p9)
lola: processed formula length: 9
lola: 11 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 1783 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((1 <= p6)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p6 <= 0)
lola: processed formula length: 9
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p6)
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 task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (p6 <= 0)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-7-0.sara
lola: state equation: write sara problem file to CTLCardinality-7-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-7-1.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 761913 markings, 5626143 edges, 152383 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 1468397 markings, 11076454 edges, 141297 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 2087416 markings, 16188172 edges, 123804 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 2767764 markings, 21486779 edges, 136070 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 3367390 markings, 26542306 edges, 119925 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 4005452 markings, 31848346 edges, 127612 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 4879072 markings, 36874830 edges, 174724 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 5023883 markings, 41864393 edges, 28962 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 5675446 markings, 47274657 edges, 130313 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 6288370 markings, 52472101 edges, 122585 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 6871915 markings, 57670701 edges, 116709 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 7415912 markings, 62719813 edges, 108799 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 7963576 markings, 67687650 edges, 109533 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 8472305 markings, 72450543 edges, 101746 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 9029128 markings, 77626958 edges, 111365 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 9698969 markings, 82711002 edges, 133968 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 10018743 markings, 87388919 edges, 63955 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 10640079 markings, 92886329 edges, 124267 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 11384975 markings, 98225405 edges, 148979 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 11959127 markings, 103508744 edges, 114830 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 12570810 markings, 108704131 edges, 122337 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 13145284 markings, 113834945 edges, 114895 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 13723638 markings, 118968481 edges, 115671 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 14199635 markings, 123686280 edges, 95199 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 14770722 markings, 128624119 edges, 114217 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 15217375 markings, 133431778 edges, 89331 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 15732911 markings, 138210003 edges, 103107 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 16235518 markings, 142830090 edges, 100521 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 16774323 markings, 147863037 edges, 107761 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 17434011 markings, 152811199 edges, 131938 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 17748098 markings, 157328143 edges, 62817 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 18251646 markings, 162562384 edges, 100710 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 18860412 markings, 167595887 edges, 121753 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 19402218 markings, 172491678 edges, 108361 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 19976217 markings, 177570974 edges, 114800 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 20522721 markings, 182554305 edges, 109301 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 21066783 markings, 187137693 edges, 108812 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 21610332 markings, 191752860 edges, 108710 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 22071569 markings, 196334480 edges, 92247 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 22642832 markings, 201223628 edges, 114253 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 23146473 markings, 205861574 edges, 100728 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 23677380 markings, 210727085 edges, 106181 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 24237655 markings, 215756135 edges, 112055 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 24757277 markings, 220710938 edges, 103924 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 25333185 markings, 225519882 edges, 115182 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 25760383 markings, 230251106 edges, 85440 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 26231365 markings, 234930742 edges, 94196 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 26874683 markings, 239594668 edges, 128664 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 28070269 markings, 243724763 edges, 239117 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 28511416 markings, 247545925 edges, 88229 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 28550733 markings, 251975587 edges, 7863 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 28609827 markings, 256659426 edges, 11819 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 28670984 markings, 261643598 edges, 12231 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 29340712 markings, 267179206 edges, 133946 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 29959725 markings, 272468941 edges, 123803 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 30547446 markings, 277660685 edges, 117544 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 31093865 markings, 282724359 edges, 109284 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 31629086 markings, 287653876 edges, 107044 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 32145176 markings, 292432576 edges, 103218 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 32700997 markings, 297638971 edges, 111164 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 33429706 markings, 302730065 edges, 145742 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 33666027 markings, 307367660 edges, 47264 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 34154079 markings, 312548903 edges, 97610 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 34693964 markings, 317670584 edges, 107977 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 35178967 markings, 322480866 edges, 97001 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 35755276 markings, 327420425 edges, 115262 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 36163631 markings, 332282626 edges, 81671 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 36634128 markings, 336992174 edges, 94099 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 37063202 markings, 341466575 edges, 85815 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 37536789 markings, 346367322 edges, 94717 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 38044242 markings, 351475890 edges, 101491 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 38669784 markings, 355992670 edges, 125108 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 38860595 markings, 361084802 edges, 38162 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 39494484 markings, 366314655 edges, 126778 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 40064492 markings, 371446928 edges, 114002 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 40628886 markings, 376466963 edges, 112879 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 41138441 markings, 381452647 edges, 101911 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 41622921 markings, 386309695 edges, 96896 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 42151857 markings, 391351416 edges, 105787 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 42596578 markings, 396037422 edges, 88944 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 43034356 markings, 400705938 edges, 87556 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 43495604 markings, 405406157 edges, 92250 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 43917881 markings, 410051377 edges, 84455 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 44369849 markings, 414619457 edges, 90394 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 44797619 markings, 418990415 edges, 85554 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 45256897 markings, 423764446 edges, 91856 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 45747647 markings, 428725479 edges, 98150 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 46385484 markings, 433103942 edges, 127567 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 46498208 markings, 437822933 edges, 22545 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 47238431 markings, 443165510 edges, 148045 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 47873150 markings, 448382115 edges, 126944 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 48470742 markings, 453268201 edges, 119518 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 49129514 markings, 458272613 edges, 131754 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 49735611 markings, 463713216 edges, 121219 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 50349506 markings, 468898536 edges, 122779 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 50940263 markings, 473979732 edges, 118151 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 51503527 markings, 479027380 edges, 112653 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 52125599 markings, 484098088 edges, 124414 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 52720609 markings, 489028356 edges, 119002 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 53339379 markings, 494254972 edges, 123754 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 54131286 markings, 498934493 edges, 158381 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 54356182 markings, 504136913 edges, 44979 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 54994894 markings, 509396352 edges, 127742 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 55553044 markings, 514622407 edges, 111630 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 56116545 markings, 519710513 edges, 112700 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 56647433 markings, 524744416 edges, 106178 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 57221212 markings, 529845628 edges, 114756 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 57796518 markings, 535103631 edges, 115061 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 58292644 markings, 540020864 edges, 99225 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 58848060 markings, 545051084 edges, 111083 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 59325414 markings, 549918973 edges, 95471 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 59845682 markings, 554717155 edges, 104054 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 60345856 markings, 559338100 edges, 100035 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 60889071 markings, 564417198 edges, 108643 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 61531786 markings, 569389128 edges, 128543 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 61877945 markings, 573905715 edges, 69232 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 62381532 markings, 579262929 edges, 100717 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 62996785 markings, 584586905 edges, 123051 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 63590436 markings, 589742588 edges, 118730 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 64140777 markings, 594821491 edges, 110068 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 64685382 markings, 599767283 edges, 108921 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 65208408 markings, 604576994 edges, 104605 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 65736440 markings, 609566376 edges, 105606 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 66289597 markings, 614775468 edges, 110631 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 66896681 markings, 619384485 edges, 121417 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 67207888 markings, 624585588 edges, 62241 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 67756190 markings, 629802293 edges, 109660 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 68256081 markings, 634779270 edges, 99978 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 68780058 markings, 639757216 edges, 104795 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 69244390 markings, 644583031 edges, 92866 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 69714739 markings, 649255140 edges, 94070 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 70166427 markings, 653875441 edges, 90338 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 70624420 markings, 658638317 edges, 91599 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 71118521 markings, 663740912 edges, 98820 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 71806366 markings, 668519798 edges, 137569 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 71927769 markings, 673203157 edges, 24281 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 72482449 markings, 678361030 edges, 110936 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 73012440 markings, 683486467 edges, 105998 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 73494175 markings, 688523648 edges, 96347 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 73968063 markings, 693355314 edges, 94778 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 74441366 markings, 698304234 edges, 94661 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 74886859 markings, 703155596 edges, 89099 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 75376083 markings, 708142284 edges, 97845 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 75771748 markings, 712832328 edges, 79133 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 76160243 markings, 717385036 edges, 77699 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 76596463 markings, 722245879 edges, 87244 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 76966493 markings, 726809527 edges, 74006 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 77361627 markings, 731147079 edges, 79027 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 77769384 markings, 735662420 edges, 81551 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 78160734 markings, 740044618 edges, 78270 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 78584755 markings, 744856314 edges, 84804 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 79018716 markings, 749737860 edges, 86792 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 79613889 markings, 754135921 edges, 119035 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 79693187 markings, 758795078 edges, 15860 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 80316854 markings, 763801666 edges, 124733 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 80968894 markings, 768874504 edges, 130408 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 81396002 markings, 773541801 edges, 85422 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 81894035 markings, 778183124 edges, 99607 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 82383187 markings, 783043934 edges, 97830 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 83002645 markings, 788344109 edges, 123892 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 83525091 markings, 793245033 edges, 104489 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 84025611 markings, 798093330 edges, 100104 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 84494887 markings, 802969144 edges, 93855 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 85042964 markings, 807825215 edges, 109615 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 85565886 markings, 812638340 edges, 104584 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 86078935 markings, 817427997 edges, 102610 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 86620865 markings, 822534266 edges, 108386 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 87356122 markings, 827091098 edges, 147051 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 87492168 markings, 832026483 edges, 27209 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 88049869 markings, 837117060 edges, 111540 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 88589612 markings, 842224015 edges, 107949 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 89050557 markings, 847083010 edges, 92189 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 89507393 markings, 851794985 edges, 91367 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 90019746 markings, 856802612 edges, 102471 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 90482068 markings, 861760645 edges, 92464 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 90987751 markings, 866739295 edges, 101137 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 91417794 markings, 871476219 edges, 86009 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 91881120 markings, 876219661 edges, 92665 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 92297354 markings, 880929873 edges, 83247 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 92759755 markings, 885514689 edges, 92480 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 93211739 markings, 890109847 edges, 90397 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 93650800 markings, 894606457 edges, 87812 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 94125666 markings, 899507482 edges, 94973 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 94598776 markings, 904371716 edges, 94622 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 95109159 markings, 908679028 edges, 102077 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 95450734 markings, 913832809 edges, 68315 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 96071975 markings, 919194763 edges, 124248 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 96642325 markings, 924236140 edges, 114070 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 97219715 markings, 929233705 edges, 115478 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 97748094 markings, 934233394 edges, 105676 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 98267378 markings, 939011135 edges, 103857 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 98781651 markings, 943805260 edges, 102855 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 99327520 markings, 948891196 edges, 109174 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 100088523 markings, 953577624 edges, 152201 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 100193915 markings, 958476607 edges, 21078 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 100749372 markings, 963555767 edges, 111091 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 101271970 markings, 968574691 edges, 104520 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 101765964 markings, 973392912 edges, 98799 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 102244701 markings, 978227351 edges, 95747 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 102716634 markings, 982940838 edges, 94387 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 103168734 markings, 987585949 edges, 90420 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 103603469 markings, 991973700 edges, 86947 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 104079430 markings, 996901045 edges, 95192 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 104550070 markings, 1001829373 edges, 94128 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 105150323 markings, 1006191530 edges, 120051 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 105348665 markings, 1011182492 edges, 39668 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 105887598 markings, 1016135465 edges, 107787 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 106463191 markings, 1021177940 edges, 115119 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 106881373 markings, 1026049397 edges, 83636 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 107339280 markings, 1030772048 edges, 91581 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 107858431 markings, 1035627189 edges, 103830 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 108258861 markings, 1040460080 edges, 80086 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 108695333 markings, 1045286279 edges, 87294 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 109089039 markings, 1049812777 edges, 78741 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 109476789 markings, 1054314148 edges, 77550 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 109938743 markings, 1059036348 edges, 92391 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 110271710 markings, 1063554059 edges, 66593 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 110665283 markings, 1067874017 edges, 78715 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 111052801 markings, 1072224307 edges, 77504 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 111444857 markings, 1076603580 edges, 78411 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 111859590 markings, 1081354483 edges, 82947 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 112279437 markings, 1086112427 edges, 83969 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 112861434 markings, 1090361770 edges, 116399 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 112960293 markings, 1095031315 edges, 19772 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 113570754 markings, 1099955218 edges, 122092 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 114144085 markings, 1104919094 edges, 114666 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 114683946 markings, 1109577774 edges, 107972 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 115316755 markings, 1114984568 edges, 126562 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 115821338 markings, 1119906031 edges, 100917 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 116276907 markings, 1124690157 edges, 91114 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 116777004 markings, 1129219993 edges, 100019 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 117258710 markings, 1133867217 edges, 96341 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 117725924 markings, 1138432480 edges, 93443 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 118272490 markings, 1143633585 edges, 109313 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 118745434 markings, 1148305323 edges, 94589 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 119271892 markings, 1153522170 edges, 105292 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 119876508 markings, 1158653125 edges, 120923 markings/sec, 1180 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no unknown yes unknown no unknown yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no unknown yes unknown no unknown yes
lola: memory consumption: 4846040 KB
lola: time consumption: 1192 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no unknown yes unknown no unknown yes
lola: memory consumption: 4846040 KB
lola: time consumption: 1192 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (((p28 <= p85) U (1 <= p41)))))
lola: ========================================
lola: SUBTASK
lola: checking a universal CTL formula with single counterexample path (use LTL...)
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p28 <= p85) U (1 <= p41)))
lola: processed formula length: 31
lola: 13 rewrites
lola: closed formula file CTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The universal single path CTL formula does not hold.
lola: 23 markings, 25 edges
lola: ========================================
lola: subprocess 8 will run for 2378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((p11 <= p61) U E (G ((p37 <= p48)))))
lola: ========================================
lola: SUBTASK
lola: checking an existential CTL formula with single witness path (use LTL...)
lola: rewrite Frontend/Parser/formula_rewrite.k:658
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:663
lola: rewrite Frontend/Parser/formula_rewrite.k:668
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:662
lola: rewrite Frontend/Parser/formula_rewrite.k:668
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((p61 + 1 <= p11) R F ((p48 + 1 <= p37)))
lola: processed formula length: 41
lola: 20 rewrites
lola: closed formula file CTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The existential single path CTL formula holds.
lola: 26 markings, 29 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: ((1 <= p9) AND E (F (A (G ((1 <= p6))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: (1 <= p9)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p9)
lola: processed formula length: 9
lola: 11 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((1 <= p6)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p6 <= 0)
lola: processed formula length: 9
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p6)
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 task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (p6 <= 0)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-10-1.sara
lola: state equation: write sara problem file to CTLCardinality-10-0.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-10-0.sara.sara:
try reading problem file CTLCardinality-10-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 790906 markings, 5799801 edges, 158181 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 1501647 markings, 11308034 edges, 142148 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 2146520 markings, 16601024 edges, 128975 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 2824657 markings, 21964673 edges, 135627 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 3419518 markings, 26983040 edges, 118972 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 4053306 markings, 32326179 edges, 126758 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 4945767 markings, 37301180 edges, 178492 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 5097216 markings, 42455132 edges, 30290 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 5751439 markings, 47955690 edges, 130845 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 6348194 markings, 53203558 edges, 119351 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 6982488 markings, 58373486 edges, 126859 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 7492940 markings, 63409369 edges, 102090 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 8024500 markings, 68367766 edges, 106312 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 8552684 markings, 73224611 edges, 105637 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 9105207 markings, 78384945 edges, 110505 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 9876723 markings, 83379335 edges, 154303 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 10020795 markings, 88169549 edges, 28814 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 10760979 markings, 93772035 edges, 148037 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 11404336 markings, 99095148 edges, 128671 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 12059723 markings, 104364893 edges, 131077 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 12729398 markings, 109477303 edges, 133935 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 13254912 markings, 114729485 edges, 105103 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 13807053 markings, 119805449 edges, 110428 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 14302814 markings, 124638471 edges, 99152 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 14824805 markings, 129493677 edges, 104398 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 15318269 markings, 134389911 edges, 98693 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 15835103 markings, 139158633 edges, 103367 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 16351408 markings, 143873891 edges, 103261 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 16880385 markings, 148899834 edges, 105795 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 17638545 markings, 153652640 edges, 151632 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 17750660 markings, 158315328 edges, 22423 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 18373413 markings, 163619405 edges, 124551 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 18973194 markings, 168659912 edges, 119956 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 19546610 markings, 173631382 edges, 114683 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 20077643 markings, 178663243 edges, 106207 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 20646043 markings, 183660995 edges, 113680 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 21180262 markings, 188246575 edges, 106844 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 21720096 markings, 192964844 edges, 107967 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 22220506 markings, 197627326 edges, 100082 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 22797805 markings, 202468708 edges, 115460 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 23264557 markings, 207050582 edges, 93350 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 23827878 markings, 212053380 edges, 112664 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 24360724 markings, 217006532 edges, 106569 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 24927492 markings, 222056088 edges, 113354 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 25469656 markings, 226820769 edges, 108433 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 25889713 markings, 231495509 edges, 84011 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 26374244 markings, 236156697 edges, 96906 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 27100088 markings, 240944545 edges, 145169 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 28342180 markings, 244801724 edges, 248418 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 28519513 markings, 248820823 edges, 35467 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 28569798 markings, 253329520 edges, 10057 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 28621690 markings, 258100969 edges, 10378 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 28884862 markings, 263271180 edges, 52634 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 29531611 markings, 268789580 edges, 129350 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 30113540 markings, 273925139 edges, 116386 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 30739222 markings, 278999970 edges, 125136 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 31236541 markings, 284053676 edges, 99464 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 31772021 markings, 288976494 edges, 107096 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 32302793 markings, 293909652 edges, 106154 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 32856809 markings, 299110960 edges, 110803 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 33623669 markings, 303869310 edges, 153372 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 33747722 markings, 308866054 edges, 24811 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 34313018 markings, 314082669 edges, 113059 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 34835717 markings, 319099904 edges, 104540 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 35345604 markings, 324044159 edges, 101977 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 35816151 markings, 328941570 edges, 94109 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 36305044 markings, 333719571 edges, 97779 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 36771205 markings, 338471361 edges, 93232 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 37222350 markings, 343095806 edges, 90229 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 37714487 markings, 348125876 edges, 98427 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 38226989 markings, 353125687 edges, 102500 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 38686881 markings, 357597872 edges, 91978 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 39075578 markings, 362825587 edges, 77739 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 39700297 markings, 368063614 edges, 124944 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 40247703 markings, 373183204 edges, 109481 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 40782822 markings, 378106704 edges, 107024 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 41359547 markings, 383087952 edges, 115345 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 41809526 markings, 388067034 edges, 89996 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 42317238 markings, 393025873 edges, 101542 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 42746699 markings, 397732285 edges, 85892 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 43206143 markings, 402442878 edges, 91889 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 43616315 markings, 407097063 edges, 82034 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 44073744 markings, 411632057 edges, 91486 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 44525139 markings, 416204699 edges, 90279 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 44967410 markings, 420722717 edges, 88454 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 45440186 markings, 425601170 edges, 94555 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 45914148 markings, 430443555 edges, 94792 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 46413747 markings, 434752662 edges, 99920 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 46787602 markings, 439803440 edges, 74771 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 47511212 markings, 445191050 edges, 144722 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 48098576 markings, 450181682 edges, 117473 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 48691622 markings, 455151467 edges, 118609 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 49277051 markings, 460307733 edges, 117086 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 49996674 markings, 465819977 edges, 143925 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 50566249 markings, 470836696 edges, 113915 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 51215073 markings, 475854908 edges, 129765 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 51752021 markings, 481029314 edges, 107390 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 52361920 markings, 486047458 edges, 121980 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 52956887 markings, 491072269 edges, 118993 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 53580855 markings, 496302519 edges, 124794 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 54147684 markings, 500992634 edges, 113366 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 54628795 markings, 506316329 edges, 96222 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 55257430 markings, 511671955 edges, 125727 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 55801718 markings, 516774860 edges, 108858 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 56335807 markings, 521746783 edges, 106818 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 56872041 markings, 526757271 edges, 107247 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 57459074 markings, 532073153 edges, 117407 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 58001481 markings, 537141700 edges, 108481 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 58511173 markings, 542082415 edges, 101938 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 58985225 markings, 547006945 edges, 94810 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 59534130 markings, 551863228 edges, 109781 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 60051247 markings, 556632090 edges, 103423 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 60564450 markings, 561405643 edges, 102641 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 61099116 markings, 566471638 edges, 106933 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 61841394 markings, 571044700 edges, 148456 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 61974091 markings, 575937183 edges, 26539 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 62633980 markings, 581367859 edges, 131978 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 63214125 markings, 586603471 edges, 116029 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 63845031 markings, 591811757 edges, 126181 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 64362045 markings, 596802281 edges, 103403 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 64891250 markings, 601695803 edges, 105841 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 65400084 markings, 606405088 edges, 101767 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 65944799 markings, 611529992 edges, 108943 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 66684137 markings, 616583411 edges, 147868 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 66902378 markings, 621213582 edges, 43648 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 67399467 markings, 626430931 edges, 99418 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 67939810 markings, 631564069 edges, 108069 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 68432271 markings, 636427566 edges, 98492 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 68997999 markings, 641357088 edges, 113146 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 69415148 markings, 646235330 edges, 83430 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 69877587 markings, 650924455 edges, 92488 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 70315783 markings, 655431551 edges, 87639 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 70796555 markings, 660390943 edges, 96154 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 71291352 markings, 665469517 edges, 98959 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 71908565 markings, 669930311 edges, 123443 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 72094297 markings, 674990693 edges, 37146 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 72646457 markings, 680061567 edges, 110432 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 73238845 markings, 685202158 edges, 118478 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 73654653 markings, 690144689 edges, 83162 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 74120659 markings, 694921894 edges, 93201 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 74637313 markings, 699823956 edges, 103331 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 75040871 markings, 704777270 edges, 80712 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 75440901 markings, 709072181 edges, 80006 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 75842577 markings, 713657321 edges, 80335 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 76234829 markings, 718215807 edges, 78450 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 76699920 markings, 722983210 edges, 93018 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 77035868 markings, 727523849 edges, 67190 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 77429927 markings, 731861026 edges, 78812 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 77818537 markings, 736237213 edges, 77722 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 78220787 markings, 740671512 edges, 80450 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 78634015 markings, 745478059 edges, 82646 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 79066436 markings, 750303616 edges, 86484 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 79630692 markings, 754505083 edges, 112851 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 79758937 markings, 759249761 edges, 25649 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 80368986 markings, 764241186 edges, 122010 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 81020049 markings, 769340809 edges, 130213 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 81455440 markings, 774061692 edges, 87078 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 81963720 markings, 778816314 edges, 101656 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 82439749 markings, 783690114 edges, 95206 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 83066545 markings, 788904915 edges, 125359 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 83583207 markings, 793817556 edges, 103332 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 84084157 markings, 798648118 edges, 100190 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 84553583 markings, 803455631 edges, 93885 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 85090122 markings, 808272483 edges, 107308 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 85615003 markings, 813087096 edges, 104976 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 86118445 markings, 817843770 edges, 100688 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 86672221 markings, 822982139 edges, 110755 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 87366218 markings, 827442723 edges, 138799 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 87534323 markings, 832408037 edges, 33621 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 88087910 markings, 837456658 edges, 110717 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 88653152 markings, 842574030 edges, 113048 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 89079997 markings, 847383730 edges, 85369 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 89539458 markings, 852110126 edges, 91892 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 90058062 markings, 857032770 edges, 103721 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 90505982 markings, 862050147 edges, 89584 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 91010760 markings, 866980600 edges, 100956 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 91430804 markings, 871598367 edges, 84009 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 91893592 markings, 876348672 edges, 92558 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 92306767 markings, 881026102 edges, 82635 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 92770103 markings, 885616468 edges, 92667 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 93224130 markings, 890230095 edges, 90805 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 93668134 markings, 894758617 edges, 88801 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 94141211 markings, 899658538 edges, 94615 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 94630249 markings, 904507145 edges, 97808 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 95109396 markings, 908814670 edges, 95829 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 95490268 markings, 913976440 edges, 76174 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 96090469 markings, 919326306 edges, 120040 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 96657425 markings, 924351405 edges, 113391 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 97220162 markings, 929317438 edges, 112547 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 97756874 markings, 934306667 edges, 107342 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 98280019 markings, 939132074 edges, 104629 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 98786964 markings, 943854552 edges, 101389 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 99327901 markings, 948918279 edges, 108187 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 100087130 markings, 953565578 edges, 151846 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 100188519 markings, 958428684 edges, 20278 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 100746679 markings, 963523725 edges, 111632 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 101263787 markings, 968502890 edges, 103422 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 101759906 markings, 973321388 edges, 99224 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 102244149 markings, 978109317 edges, 96849 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 102711787 markings, 982875002 edges, 93528 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 103165101 markings, 987540240 edges, 90663 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 103599069 markings, 991936395 edges, 86794 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 104071704 markings, 996844554 edges, 94527 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 104549585 markings, 1001778824 edges, 95576 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 105149857 markings, 1006129826 edges, 120054 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 105335307 markings, 1011064008 edges, 37090 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 105876399 markings, 1016026455 edges, 108218 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 106446531 markings, 1021094855 edges, 114026 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 106868200 markings, 1025940760 edges, 84334 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 107327552 markings, 1030657019 edges, 91870 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 107845941 markings, 1035546256 edges, 103678 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 108250236 markings, 1040258477 edges, 80859 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 108674093 markings, 1045075545 edges, 84771 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 109070417 markings, 1049593898 edges, 79265 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 109462947 markings, 1054153905 edges, 78506 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 109914004 markings, 1058854914 edges, 90211 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 110252637 markings, 1063367031 edges, 67727 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 110649513 markings, 1067706943 edges, 79375 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 111034605 markings, 1072022970 edges, 77018 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 111423190 markings, 1076338230 edges, 77717 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 111836333 markings, 1081070241 edges, 82629 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 112257848 markings, 1085814387 edges, 84303 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 112849814 markings, 1090133313 edges, 118393 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 112920974 markings, 1094694718 edges, 14232 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 113543229 markings, 1099665372 edges, 124451 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 114125745 markings, 1104566093 edges, 116503 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 114658804 markings, 1109288557 edges, 106612 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 115286023 markings, 1114682338 edges, 125444 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 115820054 markings, 1119643043 edges, 106806 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 116268453 markings, 1124448751 edges, 89680 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 116741220 markings, 1128917607 edges, 94553 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 117231598 markings, 1133621977 edges, 98076 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 117692522 markings, 1138114488 edges, 92185 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 118246256 markings, 1143340111 edges, 110747 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 118745434 markings, 1148042364 edges, 99836 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 119238398 markings, 1153269432 edges, 98593 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 119835037 markings, 1158419672 edges, 119328 markings/sec, 1180 secs
lola: sara is running 1185 secs || sara is running 1185 secs || 120369809 markings, 1163501036 edges, 106954 markings/sec, 1185 secs
lola: sara is running 1190 secs || sara is running 1190 secs || 120878061 markings, 1168104821 edges, 101650 markings/sec, 1190 secs
lola: sara is running 1195 secs || sara is running 1195 secs || 121325669 markings, 1172648731 edges, 89522 markings/sec, 1195 secs
lola: sara is running 1200 secs || sara is running 1200 secs || 121765964 markings, 1177226792 edges, 88059 markings/sec, 1200 secs
lola: sara is running 1205 secs || sara is running 1205 secs || 122236154 markings, 1181822059 edges, 94038 markings/sec, 1205 secs
lola: sara is running 1210 secs || sara is running 1210 secs || 122782684 markings, 1186941003 edges, 109306 markings/sec, 1210 secs
lola: sara is running 1215 secs || sara is running 1215 secs || 123238408 markings, 1191561969 edges, 91145 markings/sec, 1215 secs
lola: sara is running 1220 secs || sara is running 1220 secs || 123681279 markings, 1196540508 edges, 88574 markings/sec, 1220 secs
lola: sara is running 1225 secs || sara is running 1225 secs || 124176128 markings, 1201067801 edges, 98970 markings/sec, 1225 secs
lola: sara is running 1230 secs || sara is running 1230 secs || 124666256 markings, 1205647137 edges, 98026 markings/sec, 1230 secs
lola: sara is running 1235 secs || sara is running 1235 secs || 125201974 markings, 1210659427 edges, 107144 markings/sec, 1235 secs
lola: sara is running 1240 secs || sara is running 1240 secs || 125704873 markings, 1215337588 edges, 100580 markings/sec, 1240 secs
lola: sara is running 1245 secs || sara is running 1245 secs || 126283308 markings, 1220548667 edges, 115687 markings/sec, 1245 secs
lola: sara is running 1250 secs || sara is running 1250 secs || 126784858 markings, 1225674459 edges, 100310 markings/sec, 1250 secs
lola: sara is running 1255 secs || sara is running 1255 secs || 127312476 markings, 1230614623 edges, 105524 markings/sec, 1255 secs
lola: sara is running 1260 secs || sara is running 1260 secs || 127818903 markings, 1235471900 edges, 101285 markings/sec, 1260 secs
lola: sara is running 1265 secs || sara is running 1265 secs || 128663131 markings, 1240155068 edges, 168846 markings/sec, 1265 secs
lola: sara is running 1270 secs || sara is running 1270 secs || 129453776 markings, 1243993228 edges, 158129 markings/sec, 1270 secs
lola: sara is running 1275 secs || sara is running 1275 secs || 129503612 markings, 1248533860 edges, 9967 markings/sec, 1275 secs
lola: sara is running 1280 secs || sara is running 1280 secs || 129543099 markings, 1253453011 edges, 7897 markings/sec, 1280 secs
lola: sara is running 1285 secs || sara is running 1285 secs || 129870945 markings, 1258506871 edges, 65569 markings/sec, 1285 secs
lola: sara is running 1290 secs || sara is running 1290 secs || 130390976 markings, 1263414460 edges, 104006 markings/sec, 1290 secs
lola: sara is running 1295 secs || sara is running 1295 secs || 130890896 markings, 1268211927 edges, 99984 markings/sec, 1295 secs
lola: sara is running 1300 secs || sara is running 1300 secs || 131409442 markings, 1273050904 edges, 103709 markings/sec, 1300 secs
lola: sara is running 1305 secs || sara is running 1305 secs || 131845399 markings, 1277684859 edges, 87191 markings/sec, 1305 secs
lola: sara is running 1310 secs || sara is running 1310 secs || 132326407 markings, 1282401414 edges, 96202 markings/sec, 1310 secs
lola: sara is running 1315 secs || sara is running 1315 secs || 132799821 markings, 1286791160 edges, 94683 markings/sec, 1315 secs
lola: sara is running 1320 secs || sara is running 1320 secs || 133256902 markings, 1291132080 edges, 91416 markings/sec, 1320 secs
lola: sara is running 1325 secs || sara is running 1325 secs || 133664512 markings, 1295506390 edges, 81522 markings/sec, 1325 secs
lola: sara is running 1330 secs || sara is running 1330 secs || 134127901 markings, 1300108722 edges, 92678 markings/sec, 1330 secs
lola: sara is running 1335 secs || sara is running 1335 secs || 134626783 markings, 1304722572 edges, 99776 markings/sec, 1335 secs
lola: sara is running 1340 secs || sara is running 1340 secs || 135028454 markings, 1309101020 edges, 80334 markings/sec, 1340 secs
lola: sara is running 1345 secs || sara is running 1345 secs || 135507982 markings, 1313869681 edges, 95906 markings/sec, 1345 secs
lola: sara is running 1350 secs || sara is running 1350 secs || 136011776 markings, 1318697136 edges, 100759 markings/sec, 1350 secs
lola: sara is running 1355 secs || sara is running 1355 secs || 136435042 markings, 1323362357 edges, 84653 markings/sec, 1355 secs
lola: sara is running 1360 secs || sara is running 1360 secs || 136964305 markings, 1328151490 edges, 105853 markings/sec, 1360 secs
lola: sara is running 1365 secs || sara is running 1365 secs || 137360966 markings, 1332771620 edges, 79332 markings/sec, 1365 secs
lola: sara is running 1370 secs || sara is running 1370 secs || 137743961 markings, 1337181439 edges, 76599 markings/sec, 1370 secs
lola: sara is running 1375 secs || sara is running 1375 secs || 138186939 markings, 1341608083 edges, 88596 markings/sec, 1375 secs
lola: sara is running 1380 secs || sara is running 1380 secs || 138739741 markings, 1346269174 edges, 110560 markings/sec, 1380 secs
lola: sara is running 1385 secs || sara is running 1385 secs || 139726577 markings, 1350351323 edges, 197367 markings/sec, 1385 secs
lola: sara is running 1390 secs || sara is running 1390 secs || 140299693 markings, 1353953570 edges, 114623 markings/sec, 1390 secs
lola: sara is running 1395 secs || sara is running 1395 secs || 140346469 markings, 1358104119 edges, 9355 markings/sec, 1395 secs
lola: sara is running 1400 secs || sara is running 1400 secs || 140407133 markings, 1362450266 edges, 12133 markings/sec, 1400 secs
lola: sara is running 1405 secs || sara is running 1405 secs || 140440004 markings, 1367139982 edges, 6574 markings/sec, 1405 secs
lola: sara is running 1410 secs || sara is running 1410 secs || 140820369 markings, 1372020475 edges, 76073 markings/sec, 1410 secs
lola: sara is running 1415 secs || sara is running 1415 secs || 141377092 markings, 1376825558 edges, 111345 markings/sec, 1415 secs
lola: sara is running 1420 secs || sara is running 1420 secs || 141976544 markings, 1381936245 edges, 119890 markings/sec, 1420 secs
lola: sara is running 1425 secs || sara is running 1425 secs || 142557033 markings, 1387047713 edges, 116098 markings/sec, 1425 secs
lola: sara is running 1430 secs || sara is running 1430 secs || 143070381 markings, 1391855300 edges, 102670 markings/sec, 1430 secs
lola: sara is running 1435 secs || sara is running 1435 secs || 143619388 markings, 1396432867 edges, 109801 markings/sec, 1435 secs
lola: sara is running 1440 secs || sara is running 1440 secs || 144128793 markings, 1400848933 edges, 101881 markings/sec, 1440 secs
lola: sara is running 1445 secs || sara is running 1445 secs || 144600297 markings, 1405314430 edges, 94301 markings/sec, 1445 secs
lola: sara is running 1450 secs || sara is running 1450 secs || 145140152 markings, 1410048245 edges, 107971 markings/sec, 1450 secs
lola: sara is running 1455 secs || sara is running 1455 secs || 145656823 markings, 1414721322 edges, 103334 markings/sec, 1455 secs
lola: sara is running 1460 secs || sara is running 1460 secs || 146149322 markings, 1419355653 edges, 98500 markings/sec, 1460 secs
lola: sara is running 1465 secs || sara is running 1465 secs || 146745934 markings, 1424510679 edges, 119322 markings/sec, 1465 secs
lola: sara is running 1470 secs || sara is running 1470 secs || 147254771 markings, 1429416110 edges, 101767 markings/sec, 1470 secs
lola: sara is running 1475 secs || sara is running 1475 secs || 147858713 markings, 1434397482 edges, 120788 markings/sec, 1475 secs
lola: sara is running 1480 secs || sara is running 1480 secs || 148328785 markings, 1439277909 edges, 94014 markings/sec, 1480 secs
lola: sara is running 1485 secs || sara is running 1485 secs || 148785644 markings, 1443986174 edges, 91372 markings/sec, 1485 secs
lola: sara is running 1490 secs || sara is running 1490 secs || 149270536 markings, 1448636350 edges, 96978 markings/sec, 1490 secs
lola: sara is running 1495 secs || sara is running 1495 secs || 150393585 markings, 1453163808 edges, 224610 markings/sec, 1495 secs
lola: sara is running 1500 secs || sara is running 1500 secs || 151193501 markings, 1456930930 edges, 159983 markings/sec, 1500 secs
lola: sara is running 1505 secs || sara is running 1505 secs || 151245270 markings, 1461336438 edges, 10354 markings/sec, 1505 secs
lola: sara is running 1510 secs || sara is running 1510 secs || 151302589 markings, 1465928877 edges, 11464 markings/sec, 1510 secs
lola: sara is running 1515 secs || sara is running 1515 secs || 151337301 markings, 1470709554 edges, 6942 markings/sec, 1515 secs
lola: sara is running 1520 secs || sara is running 1520 secs || 151761220 markings, 1475683706 edges, 84784 markings/sec, 1520 secs
lola: sara is running 1525 secs || sara is running 1525 secs || 152277414 markings, 1480616771 edges, 103239 markings/sec, 1525 secs
lola: sara is running 1530 secs || sara is running 1530 secs || 152813602 markings, 1485630184 edges, 107238 markings/sec, 1530 secs
lola: sara is running 1535 secs || sara is running 1535 secs || 153329633 markings, 1490652137 edges, 103206 markings/sec, 1535 secs
lola: sara is running 1540 secs || sara is running 1540 secs || 153787984 markings, 1495414317 edges, 91670 markings/sec, 1540 secs
lola: sara is running 1545 secs || sara is running 1545 secs || 154270572 markings, 1500153235 edges, 96518 markings/sec, 1545 secs
lola: sara is running 1550 secs || sara is running 1550 secs || 154732319 markings, 1504523026 edges, 92349 markings/sec, 1550 secs
lola: sara is running 1555 secs || sara is running 1555 secs || 155209447 markings, 1508964045 edges, 95426 markings/sec, 1555 secs
lola: sara is running 1560 secs || sara is running 1560 secs || 155611980 markings, 1513418665 edges, 80507 markings/sec, 1560 secs
lola: sara is running 1565 secs || sara is running 1565 secs || 156127374 markings, 1518273785 edges, 103079 markings/sec, 1565 secs
lola: sara is running 1570 secs || sara is running 1570 secs || 156581569 markings, 1522838666 edges, 90839 markings/sec, 1570 secs
lola: sara is running 1575 secs || sara is running 1575 secs || 156994580 markings, 1527229174 edges, 82602 markings/sec, 1575 secs
lola: sara is running 1580 secs || sara is running 1580 secs || 157537597 markings, 1532417370 edges, 108603 markings/sec, 1580 secs
lola: sara is running 1585 secs || sara is running 1585 secs || 158014435 markings, 1537287323 edges, 95368 markings/sec, 1585 secs
lola: sara is running 1590 secs || sara is running 1590 secs || 158480116 markings, 1542330204 edges, 93136 markings/sec, 1590 secs
lola: sara is running 1595 secs || sara is running 1595 secs || 158990067 markings, 1547020896 edges, 101990 markings/sec, 1595 secs
lola: sara is running 1600 secs || sara is running 1600 secs || 159371393 markings, 1551666342 edges, 76265 markings/sec, 1600 secs
lola: sara is running 1605 secs || sara is running 1605 secs || 159824988 markings, 1556435491 edges, 90719 markings/sec, 1605 secs
lola: sara is running 1610 secs || sara is running 1610 secs || 160326704 markings, 1561089194 edges, 100343 markings/sec, 1610 secs
lola: sara is running 1615 secs || sara is running 1615 secs || 161247816 markings, 1565509503 edges, 184222 markings/sec, 1615 secs
lola: sara is running 1620 secs || sara is running 1620 secs || 162015967 markings, 1569256823 edges, 153630 markings/sec, 1620 secs
lola: sara is running 1625 secs || sara is running 1625 secs || 162127306 markings, 1573372446 edges, 22268 markings/sec, 1625 secs
lola: sara is running 1630 secs || sara is running 1630 secs || 162178907 markings, 1577903723 edges, 10320 markings/sec, 1630 secs
lola: sara is running 1635 secs || sara is running 1635 secs || 162225056 markings, 1582695203 edges, 9230 markings/sec, 1635 secs
lola: sara is running 1640 secs || sara is running 1640 secs || 162489365 markings, 1587734541 edges, 52862 markings/sec, 1640 secs
lola: sara is running 1645 secs || sara is running 1645 secs || 162964219 markings, 1592587304 edges, 94971 markings/sec, 1645 secs
lola: sara is running 1650 secs || sara is running 1650 secs || 163392762 markings, 1597223047 edges, 85709 markings/sec, 1650 secs
lola: sara is running 1655 secs || sara is running 1655 secs || 163864498 markings, 1602034415 edges, 94347 markings/sec, 1655 secs
lola: sara is running 1660 secs || sara is running 1660 secs || 164299703 markings, 1606747933 edges, 87041 markings/sec, 1660 secs
lola: sara is running 1665 secs || sara is running 1665 secs || 164684820 markings, 1611168138 edges, 77023 markings/sec, 1665 secs
lola: sara is running 1670 secs || sara is running 1670 secs || 165108796 markings, 1615690032 edges, 84795 markings/sec, 1670 secs
lola: sara is running 1675 secs || sara is running 1675 secs || 165519750 markings, 1619846899 edges, 82191 markings/sec, 1675 secs
lola: sara is running 1680 secs || sara is running 1680 secs || 165918596 markings, 1624080274 edges, 79769 markings/sec, 1680 secs
lola: sara is running 1685 secs || sara is running 1685 secs || 166286770 markings, 1628306841 edges, 73635 markings/sec, 1685 secs
lola: sara is running 1690 secs || sara is running 1690 secs || 166687190 markings, 1632686694 edges, 80084 markings/sec, 1690 secs
lola: sara is running 1695 secs || sara is running 1695 secs || 167122277 markings, 1637252954 edges, 87017 markings/sec, 1695 secs
lola: sara is running 1700 secs || sara is running 1700 secs || 167509358 markings, 1641558127 edges, 77416 markings/sec, 1700 secs
lola: sara is running 1705 secs || sara is running 1705 secs || 167879297 markings, 1645867660 edges, 73988 markings/sec, 1705 secs
lola: sara is running 1710 secs || sara is running 1710 secs || 168355875 markings, 1650911801 edges, 95316 markings/sec, 1710 secs
lola: sara is running 1715 secs || sara is running 1715 secs || 168786118 markings, 1655672722 edges, 86049 markings/sec, 1715 secs
lola: sara is running 1720 secs || sara is running 1720 secs || 169198758 markings, 1660414767 edges, 82528 markings/sec, 1720 secs
lola: sara is running 1725 secs || sara is running 1725 secs || 169649097 markings, 1665120969 edges, 90068 markings/sec, 1725 secs
lola: sara is running 1730 secs || sara is running 1730 secs || 170041417 markings, 1669776443 edges, 78464 markings/sec, 1730 secs
lola: sara is running 1735 secs || sara is running 1735 secs || 170387734 markings, 1674157732 edges, 69263 markings/sec, 1735 secs
lola: sara is running 1740 secs || sara is running 1740 secs || 170766474 markings, 1678562455 edges, 75748 markings/sec, 1740 secs
lola: sara is running 1745 secs || sara is running 1745 secs || 171222629 markings, 1683165403 edges, 91231 markings/sec, 1745 secs
lola: sara is running 1750 secs || sara is running 1750 secs || 171971998 markings, 1687617625 edges, 149874 markings/sec, 1750 secs
lola: sara is running 1755 secs || sara is running 1755 secs || 172723038 markings, 1691463984 edges, 150208 markings/sec, 1755 secs
lola: sara is running 1760 secs || sara is running 1760 secs || 173002337 markings, 1695064791 edges, 55860 markings/sec, 1760 secs
lola: sara is running 1765 secs || sara is running 1765 secs || 173045324 markings, 1699326043 edges, 8597 markings/sec, 1765 secs
lola: sara is running 1770 secs || sara is running 1770 secs || 173103120 markings, 1703739160 edges, 11559 markings/sec, 1770 secs
lola: sara is running 1775 secs || sara is running 1775 secs || 173129111 markings, 1708539992 edges, 5198 markings/sec, 1775 secs
lola: sara is running 1780 secs || sara is running 1780 secs || 173604798 markings, 1713381448 edges, 95137 markings/sec, 1780 secs
lola: sara is running 1785 secs || sara is running 1785 secs || 174103249 markings, 1717916155 edges, 99690 markings/sec, 1785 secs
lola: sara is running 1790 secs || sara is running 1790 secs || 174584706 markings, 1722563852 edges, 96291 markings/sec, 1790 secs
lola: sara is running 1795 secs || sara is running 1795 secs || 175055096 markings, 1727129257 edges, 94078 markings/sec, 1795 secs
lola: sara is running 1800 secs || sara is running 1800 secs || 175594827 markings, 1732364703 edges, 107946 markings/sec, 1800 secs
lola: sara is running 1805 secs || sara is running 1805 secs || 176066974 markings, 1737066364 edges, 94429 markings/sec, 1805 secs
lola: sara is running 1810 secs || sara is running 1810 secs || 176442125 markings, 1741697622 edges, 75030 markings/sec, 1810 secs
lola: sara is running 1815 secs || sara is running 1815 secs || 176849678 markings, 1745930146 edges, 81511 markings/sec, 1815 secs
lola: sara is running 1820 secs || sara is running 1820 secs || 177295335 markings, 1750360339 edges, 89131 markings/sec, 1820 secs
lola: sara is running 1825 secs || sara is running 1825 secs || 177676048 markings, 1754572488 edges, 76143 markings/sec, 1825 secs
lola: sara is running 1830 secs || sara is running 1830 secs || 178113656 markings, 1759254289 edges, 87522 markings/sec, 1830 secs
lola: sara is running 1835 secs || sara is running 1835 secs || 178712357 markings, 1764251732 edges, 119740 markings/sec, 1835 secs
lola: sara is running 1840 secs || sara is running 1840 secs || 178990802 markings, 1768715910 edges, 55689 markings/sec, 1840 secs
lola: sara is running 1845 secs || sara is running 1845 secs || 179431032 markings, 1773539238 edges, 88046 markings/sec, 1845 secs
lola: sara is running 1850 secs || sara is running 1850 secs || 179946238 markings, 1778482180 edges, 103041 markings/sec, 1850 secs
lola: sara is running 1855 secs || sara is running 1855 secs || 180433739 markings, 1783250763 edges, 97500 markings/sec, 1855 secs
lola: sara is running 1860 secs || sara is running 1860 secs || 180860309 markings, 1787713287 edges, 85314 markings/sec, 1860 secs
lola: sara is running 1865 secs || sara is running 1865 secs || 181243324 markings, 1791828216 edges, 76603 markings/sec, 1865 secs
lola: sara is running 1870 secs || sara is running 1870 secs || 181631535 markings, 1796082150 edges, 77642 markings/sec, 1870 secs
lola: sara is running 1875 secs || sara is running 1875 secs || 182011612 markings, 1800400104 edges, 76015 markings/sec, 1875 secs
lola: sara is running 1880 secs || sara is running 1880 secs || 182398808 markings, 1804548633 edges, 77439 markings/sec, 1880 secs
lola: sara is running 1885 secs || sara is running 1885 secs || 182874560 markings, 1809579616 edges, 95150 markings/sec, 1885 secs
lola: sara is running 1890 secs || sara is running 1890 secs || 183472317 markings, 1814026062 edges, 119551 markings/sec, 1890 secs
lola: sara is running 1895 secs || sara is running 1895 secs || 183728096 markings, 1819118702 edges, 51156 markings/sec, 1895 secs
lola: sara is running 1900 secs || sara is running 1900 secs || 184365235 markings, 1824496391 edges, 127428 markings/sec, 1900 secs
lola: sara is running 1905 secs || sara is running 1905 secs || 184985903 markings, 1829699716 edges, 124134 markings/sec, 1905 secs
lola: sara is running 1910 secs || sara is running 1910 secs || 185529223 markings, 1834710917 edges, 108664 markings/sec, 1910 secs
lola: sara is running 1915 secs || sara is running 1915 secs || 186055483 markings, 1839465921 edges, 105252 markings/sec, 1915 secs
lola: sara is running 1920 secs || sara is running 1920 secs || 186564766 markings, 1844228256 edges, 101857 markings/sec, 1920 secs
lola: sara is running 1925 secs || sara is running 1925 secs || 187129096 markings, 1849192848 edges, 112866 markings/sec, 1925 secs
lola: sara is running 1930 secs || sara is running 1930 secs || 187949101 markings, 1854100185 edges, 164001 markings/sec, 1930 secs
lola: sara is running 1935 secs || sara is running 1935 secs || 188154118 markings, 1859147368 edges, 41003 markings/sec, 1935 secs
lola: sara is running 1940 secs || sara is running 1940 secs || 188773321 markings, 1864070492 edges, 123841 markings/sec, 1940 secs
lola: sara is running 1945 secs || sara is running 1945 secs || 189181452 markings, 1868860227 edges, 81626 markings/sec, 1945 secs
lola: sara is running 1950 secs || sara is running 1950 secs || 189660316 markings, 1873686592 edges, 95773 markings/sec, 1950 secs
lola: sara is running 1955 secs || sara is running 1955 secs || 190145961 markings, 1878249670 edges, 97129 markings/sec, 1955 secs
lola: sara is running 1960 secs || sara is running 1960 secs || 190589756 markings, 1882749168 edges, 88759 markings/sec, 1960 secs
lola: sara is running 1965 secs || sara is running 1965 secs || 191025922 markings, 1887254185 edges, 87233 markings/sec, 1965 secs
lola: sara is running 1970 secs || sara is running 1970 secs || 191485252 markings, 1891734551 edges, 91866 markings/sec, 1970 secs
lola: sara is running 1975 secs || sara is running 1975 secs || 192008507 markings, 1896730590 edges, 104651 markings/sec, 1975 secs
lola: sara is running 1980 secs || sara is running 1980 secs || 192474000 markings, 1901274226 edges, 93099 markings/sec, 1980 secs
lola: sara is running 1985 secs || sara is running 1985 secs || 192919768 markings, 1906213434 edges, 89154 markings/sec, 1985 secs
lola: sara is running 1990 secs || sara is running 1990 secs || 193388966 markings, 1910708582 edges, 93840 markings/sec, 1990 secs
lola: sara is running 1995 secs || sara is running 1995 secs || 193882080 markings, 1915447369 edges, 98623 markings/sec, 1995 secs
lola: sara is running 2000 secs || sara is running 2000 secs || 194338824 markings, 1919897012 edges, 91349 markings/sec, 2000 secs
lola: sara is running 2005 secs || sara is running 2005 secs || 194889570 markings, 1925013004 edges, 110149 markings/sec, 2005 secs
lola: sara is running 2010 secs || sara is running 2010 secs || 195395013 markings, 1929657474 edges, 101089 markings/sec, 2010 secs
lola: sara is running 2015 secs || sara is running 2015 secs || 195731852 markings, 1934475844 edges, 67368 markings/sec, 2015 secs
lola: sara is running 2020 secs || sara is running 2020 secs || 196171256 markings, 1938822772 edges, 87881 markings/sec, 2020 secs
lola: sara is running 2025 secs || sara is running 2025 secs || 196624141 markings, 1943284471 edges, 90577 markings/sec, 2025 secs
lola: sara is running 2030 secs || sara is running 2030 secs || 196981467 markings, 1947498905 edges, 71465 markings/sec, 2030 secs
lola: sara is running 2035 secs || sara is running 2035 secs || 197419170 markings, 1952145255 edges, 87541 markings/sec, 2035 secs
lola: sara is running 2040 secs || sara is running 2040 secs || 197887511 markings, 1957138569 edges, 93668 markings/sec, 2040 secs
lola: sara is running 2045 secs || sara is running 2045 secs || 198322064 markings, 1961535366 edges, 86911 markings/sec, 2045 secs
lola: sara is running 2050 secs || sara is running 2050 secs || 198670027 markings, 1966222958 edges, 69593 markings/sec, 2050 secs
lola: sara is running 2055 secs || sara is running 2055 secs || 199124431 markings, 1970865925 edges, 90881 markings/sec, 2055 secs
lola: sara is running 2060 secs || sara is running 2060 secs || 199530610 markings, 1975273709 edges, 81236 markings/sec, 2060 secs
lola: sara is running 2065 secs || sara is running 2065 secs || 199931274 markings, 1979909113 edges, 80133 markings/sec, 2065 secs
lola: sara is running 2070 secs || sara is running 2070 secs || 200338936 markings, 1984165933 edges, 81532 markings/sec, 2070 secs
lola: sara is running 2075 secs || sara is running 2075 secs || 200665901 markings, 1988120731 edges, 65393 markings/sec, 2075 secs
lola: sara is running 2080 secs || sara is running 2080 secs || 201059858 markings, 1992351002 edges, 78791 markings/sec, 2080 secs
lola: sara is running 2085 secs || sara is running 2085 secs || 201340684 markings, 1996444583 edges, 56165 markings/sec, 2085 secs
lola: sara is running 2090 secs || sara is running 2090 secs || 201672543 markings, 2000345720 edges, 66372 markings/sec, 2090 secs
lola: sara is running 2095 secs || sara is running 2095 secs || 202089590 markings, 2005162615 edges, 83409 markings/sec, 2095 secs
lola: sara is running 2100 secs || sara is running 2100 secs || 202758023 markings, 2009663727 edges, 133687 markings/sec, 2100 secs
lola: sara is running 2105 secs || sara is running 2105 secs || 202816881 markings, 2014161917 edges, 11772 markings/sec, 2105 secs
lola: sara is running 2110 secs || sara is running 2110 secs || 203304576 markings, 2018751015 edges, 97539 markings/sec, 2110 secs
lola: sara is running 2115 secs || sara is running 2115 secs || 203844141 markings, 2023418443 edges, 107913 markings/sec, 2115 secs
lola: sara is running 2120 secs || sara is running 2120 secs || 204312266 markings, 2028099371 edges, 93625 markings/sec, 2120 secs
lola: sara is running 2125 secs || sara is running 2125 secs || 204798004 markings, 2032486659 edges, 97148 markings/sec, 2125 secs
lola: sara is running 2130 secs || sara is running 2130 secs || 205254850 markings, 2036896026 edges, 91369 markings/sec, 2130 secs
lola: sara is running 2135 secs || sara is running 2135 secs || 205769169 markings, 2041447726 edges, 102864 markings/sec, 2135 secs
lola: sara is running 2140 secs || sara is running 2140 secs || 206202794 markings, 2046062747 edges, 86725 markings/sec, 2140 secs
lola: sara is running 2145 secs || sara is running 2145 secs || 206688330 markings, 2050408212 edges, 97107 markings/sec, 2145 secs
lola: sara is running 2150 secs || sara is running 2150 secs || 207099237 markings, 2054504344 edges, 82181 markings/sec, 2150 secs
lola: sara is running 2155 secs || sara is running 2155 secs || 207521093 markings, 2058697845 edges, 84371 markings/sec, 2155 secs
lola: sara is running 2160 secs || sara is running 2160 secs || 208037779 markings, 2063024099 edges, 103337 markings/sec, 2160 secs
lola: sara is running 2165 secs || sara is running 2165 secs || 208391190 markings, 2067448806 edges, 70682 markings/sec, 2165 secs
lola: sara is running 2170 secs || sara is running 2170 secs || 208824052 markings, 2071510498 edges, 86572 markings/sec, 2170 secs
lola: sara is running 2175 secs || sara is running 2175 secs || 209287379 markings, 2075945824 edges, 92665 markings/sec, 2175 secs
lola: sara is running 2180 secs || sara is running 2180 secs || 209804906 markings, 2080841798 edges, 103505 markings/sec, 2180 secs
lola: sara is running 2185 secs || sara is running 2185 secs || 210367525 markings, 2085695911 edges, 112524 markings/sec, 2185 secs
lola: sara is running 2190 secs || sara is running 2190 secs || 211183570 markings, 2089696679 edges, 163209 markings/sec, 2190 secs
lola: sara is running 2195 secs || sara is running 2195 secs || 211224297 markings, 2094385864 edges, 8145 markings/sec, 2195 secs
lola: sara is running 2200 secs || sara is running 2200 secs || 211538115 markings, 2099095525 edges, 62764 markings/sec, 2200 secs
lola: sara is running 2205 secs || sara is running 2205 secs || 211989500 markings, 2103421246 edges, 90277 markings/sec, 2205 secs
lola: sara is running 2210 secs || sara is running 2210 secs || 212510504 markings, 2108145425 edges, 104201 markings/sec, 2210 secs
lola: sara is running 2215 secs || sara is running 2215 secs || 212888888 markings, 2112610873 edges, 75677 markings/sec, 2215 secs
lola: sara is running 2220 secs || sara is running 2220 secs || 213341633 markings, 2116743965 edges, 90549 markings/sec, 2220 secs
lola: sara is running 2225 secs || sara is running 2225 secs || 213695316 markings, 2121049666 edges, 70737 markings/sec, 2225 secs
lola: sara is running 2230 secs || sara is running 2230 secs || 214189858 markings, 2125465073 edges, 98908 markings/sec, 2230 secs
lola: sara is running 2235 secs || sara is running 2235 secs || 214571950 markings, 2129980532 edges, 76418 markings/sec, 2235 secs
lola: sara is running 2240 secs || sara is running 2240 secs || 215001385 markings, 2134155581 edges, 85887 markings/sec, 2240 secs
lola: sara is running 2245 secs || sara is running 2245 secs || 215326946 markings, 2138129226 edges, 65112 markings/sec, 2245 secs
lola: sara is running 2250 secs || sara is running 2250 secs || 215677707 markings, 2142131703 edges, 70152 markings/sec, 2250 secs
lola: sara is running 2255 secs || sara is running 2255 secs || 216100039 markings, 2146417344 edges, 84466 markings/sec, 2255 secs
lola: sara is running 2260 secs || sara is running 2260 secs || 216470805 markings, 2150547843 edges, 74153 markings/sec, 2260 secs
lola: sara is running 2265 secs || sara is running 2265 secs || 216840255 markings, 2154687005 edges, 73890 markings/sec, 2265 secs
lola: sara is running 2270 secs || sara is running 2270 secs || 217203582 markings, 2158499016 edges, 72665 markings/sec, 2270 secs
lola: sara is running 2275 secs || sara is running 2275 secs || 217599266 markings, 2162641475 edges, 79137 markings/sec, 2275 secs
lola: sara is running 2280 secs || sara is running 2280 secs || 218054328 markings, 2167414971 edges, 91012 markings/sec, 2280 secs
lola: sara is running 2285 secs || sara is running 2285 secs || 218530996 markings, 2172198355 edges, 95334 markings/sec, 2285 secs
lola: sara is running 2290 secs || sara is running 2290 secs || 219416828 markings, 2176670335 edges, 177166 markings/sec, 2290 secs
lola: sara is running 2295 secs || sara is running 2295 secs || 219635857 markings, 2180423759 edges, 43806 markings/sec, 2295 secs
lola: sara is running 2300 secs || sara is running 2300 secs || 219651568 markings, 2185117245 edges, 3142 markings/sec, 2300 secs
lola: sara is running 2305 secs || sara is running 2305 secs || 220118355 markings, 2189988593 edges, 93357 markings/sec, 2305 secs
lola: sara is running 2310 secs || sara is running 2310 secs || 220626587 markings, 2194512505 edges, 101646 markings/sec, 2310 secs
lola: sara is running 2315 secs || sara is running 2315 secs || 221101456 markings, 2198870474 edges, 94974 markings/sec, 2315 secs
lola: sara is running 2320 secs || sara is running 2320 secs || 221622453 markings, 2203425124 edges, 104199 markings/sec, 2320 secs
lola: sara is running 2325 secs || sara is running 2325 secs || 222079154 markings, 2207952460 edges, 91340 markings/sec, 2325 secs
lola: sara is running 2330 secs || sara is running 2330 secs || 222526896 markings, 2212080704 edges, 89548 markings/sec, 2330 secs
lola: sara is running 2335 secs || sara is running 2335 secs || 222971347 markings, 2216335354 edges, 88890 markings/sec, 2335 secs
lola: sara is running 2340 secs || sara is running 2340 secs || 223500517 markings, 2221256193 edges, 105834 markings/sec, 2340 secs
lola: sara is running 2345 secs || sara is running 2345 secs || 224022252 markings, 2226308590 edges, 104347 markings/sec, 2345 secs
lola: sara is running 2350 secs || sara is running 2350 secs || 225015984 markings, 2230742143 edges, 198746 markings/sec, 2350 secs
lola: sara is running 2355 secs || sara is running 2355 secs || 225127834 markings, 2235103185 edges, 22370 markings/sec, 2355 secs
lola: sara is running 2360 secs || sara is running 2360 secs || 225279225 markings, 2240043014 edges, 30278 markings/sec, 2360 secs
lola: sara is running 2365 secs || sara is running 2365 secs || 225745759 markings, 2244515714 edges, 93307 markings/sec, 2365 secs
lola: sara is running 2370 secs || sara is running 2370 secs || 226186646 markings, 2248753165 edges, 88177 markings/sec, 2370 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no no yes unknown no yes yes
lola:
preliminary result: no no no no yes unknown no yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no yes unknown no yes yes
lola: memory consumption: 9011340 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no yes unknown no yes yes
lola: memory consumption: 9011340 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no yes unknown no yes yes
lola: memory consumption: 9011340 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ResAllocation-PT-R003C015"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is ResAllocation-PT-R003C015, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r194-csrt-159033390300667"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ResAllocation-PT-R003C015.tgz
mv ResAllocation-PT-R003C015 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;