About the Execution of ITS-LoLa for SmartHome-PT-12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15741.440 | 3600000.00 | 3616104.00 | 705.90 | FTFFTTFFFTFT?TFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r228-oct2-159033547100091.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is SmartHome-PT-12, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r228-oct2-159033547100091
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 3.2K May 14 03:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 03:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 13 21:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 21:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 10:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 90K May 12 20:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME SmartHome-PT-12-CTLCardinality-00
FORMULA_NAME SmartHome-PT-12-CTLCardinality-01
FORMULA_NAME SmartHome-PT-12-CTLCardinality-02
FORMULA_NAME SmartHome-PT-12-CTLCardinality-03
FORMULA_NAME SmartHome-PT-12-CTLCardinality-04
FORMULA_NAME SmartHome-PT-12-CTLCardinality-05
FORMULA_NAME SmartHome-PT-12-CTLCardinality-06
FORMULA_NAME SmartHome-PT-12-CTLCardinality-07
FORMULA_NAME SmartHome-PT-12-CTLCardinality-08
FORMULA_NAME SmartHome-PT-12-CTLCardinality-09
FORMULA_NAME SmartHome-PT-12-CTLCardinality-10
FORMULA_NAME SmartHome-PT-12-CTLCardinality-11
FORMULA_NAME SmartHome-PT-12-CTLCardinality-12
FORMULA_NAME SmartHome-PT-12-CTLCardinality-13
FORMULA_NAME SmartHome-PT-12-CTLCardinality-14
FORMULA_NAME SmartHome-PT-12-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1591291762457
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 17:29:24] [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 17:29:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 17:29:25] [INFO ] Load time of PNML (sax parser for PT used): 84 ms
[2020-06-04 17:29:25] [INFO ] Transformed 376 places.
[2020-06-04 17:29:25] [INFO ] Transformed 399 transitions.
[2020-06-04 17:29:25] [INFO ] Found NUPN structural information;
[2020-06-04 17:29:25] [INFO ] Parsed PT model containing 376 places and 399 transitions in 133 ms.
Deduced a syphon composed of 104 places in 2 ms
Reduce places removed 104 places and 80 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 21 ms.
Incomplete random walk after 100000 steps, including 477 resets, run finished after 186 ms. (steps per millisecond=537 ) properties seen :[1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0]
// Phase 1: matrix 319 rows 272 cols
[2020-06-04 17:29:25] [INFO ] Computed 13 place invariants in 9 ms
[2020-06-04 17:29:25] [INFO ] [Real]Absence check using 13 positive place invariants in 39 ms returned sat
[2020-06-04 17:29:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 17:29:25] [INFO ] [Real]Absence check using state equation in 232 ms returned sat
[2020-06-04 17:29:25] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 17:29:25] [INFO ] [Nat]Absence check using 13 positive place invariants in 31 ms returned unsat
[2020-06-04 17:29:25] [INFO ] [Real]Absence check using 13 positive place invariants in 11 ms returned sat
[2020-06-04 17:29:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 17:29:26] [INFO ] [Real]Absence check using state equation in 160 ms returned sat
[2020-06-04 17:29:26] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 17:29:26] [INFO ] [Nat]Absence check using 13 positive place invariants in 11 ms returned unsat
[2020-06-04 17:29:26] [INFO ] [Real]Absence check using 13 positive place invariants in 18 ms returned sat
[2020-06-04 17:29:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 17:29:26] [INFO ] [Real]Absence check using state equation in 250 ms returned sat
[2020-06-04 17:29:26] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 17:29:26] [INFO ] [Nat]Absence check using 13 positive place invariants in 21 ms returned unsat
[2020-06-04 17:29:26] [INFO ] [Real]Absence check using 13 positive place invariants in 17 ms returned sat
[2020-06-04 17:29:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 17:29:26] [INFO ] [Real]Absence check using state equation in 229 ms returned sat
[2020-06-04 17:29:26] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 17:29:27] [INFO ] [Nat]Absence check using 13 positive place invariants in 65 ms returned unsat
Successfully simplified 4 atomic propositions for a total of 4 simplifications.
[2020-06-04 17:29:27] [INFO ] Initial state reduction rules for CTL removed 9 formulas.
[2020-06-04 17:29:27] [INFO ] Flatten gal took : 68 ms
[2020-06-04 17:29:27] [INFO ] Initial state reduction rules for CTL removed 9 formulas.
[2020-06-04 17:29:27] [INFO ] Flatten gal took : 21 ms
FORMULA SmartHome-PT-12-CTLCardinality-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-12-CTLCardinality-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-12-CTLCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-12-CTLCardinality-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-12-CTLCardinality-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-12-CTLCardinality-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-12-CTLCardinality-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-12-CTLCardinality-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-12-CTLCardinality-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 17:29:27] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 2 ms.
[2020-06-04 17:29:27] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 8 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ SmartHome-PT-12 @ 3570 seconds
FORMULA SmartHome-PT-12-CTLCardinality-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SmartHome-PT-12-CTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SmartHome-PT-12-CTLCardinality-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SmartHome-PT-12-CTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SmartHome-PT-12-CTLCardinality-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA SmartHome-PT-12-CTLCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ SmartHome-PT-12
{
"exit":
{
"memory": 8335676,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(((p150 <= 0)) OR ((1 <= p108)))",
"processed_size": 33,
"rewrites": 19
},
"result":
{
"preliminary_value": "no yes no no yes unknown no "
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "tscc preserving/always up"
}
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"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: 591/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 8704
lola: finding significant places
lola: 272 places, 319 transitions, 259 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 true: (p22 <= 1)
lola: LP says that atomic proposition is always true: (p13 <= 1)
lola: LP says that atomic proposition is always true: (p24 <= 1)
lola: LP says that atomic proposition is always true: (p156 <= 1)
lola: LP says that atomic proposition is always true: (p108 <= 1)
lola: (A (G (((p186 <= 0)))) OR A (((1 <= 0) U (1 <= 0)))) : E (((0 <= 0) U A (X ((1 <= 0))))) : A (G (A (X ((((p154 <= 0)) OR ((1 <= p22))))))) : A (G ((E (F (((1 <= p13)))) OR ((1 <= p24))))) : E (F (E (((1 <= 0) U ((1 <= p156)))))) : E (F (NOT(E (F ((((p150 <= 0)) OR ((1 <= p108)))))))) : A (G (E (X (((p39 <= 0))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:398
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:183
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G ((((p154 <= 0)) OR ((1 <= p22)))))))
lola: ========================================
lola: SUBTASK
lola: checking invariance from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:624
lola: rewrite Frontend/Parser/formula_rewrite.k:753
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (((1 <= p154)) AND ((p22 <= 0)))
lola: processed formula length: 32
lola: 18 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 /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p154)) AND ((p22 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEF
lola: The predicate is not invariant from successors.
lola: 17 markings, 16 edges
lola: state equation: write sara problem file to CTLCardinality-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: subprocess 1 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (X (((p39 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(EX(((p39 <= 0))))
lola: processed formula length: 20
lola: 17 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: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 665 markings, 861 edges
lola: ========================================
lola: subprocess 2 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking reachability 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: yes
lola: produced by: state space
lola: The net has deadlock(s).
lola: 149 markings, 174 edges
lola: ========================================
lola: subprocess 3 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p156))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p156))))
lola: processed formula length: 21
lola: 16 rewrites
sara: try reading problem file CTLCardinality-0.sara.
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
sara: place or transition ordering is non-deterministic
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p156))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-3-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-3-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 16 markings, 15 edges
lola: ========================================
lola: subprocess 4 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p186 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((p186 <= 0))))
lola: processed formula length: 21
lola: 17 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: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p186))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-4-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 20 markings, 19 edges
lola: ========================================
lola: subprocess 5 will run for 1783 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((((1 <= p150)) AND ((p108 <= 0)))))))
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:788
lola: processed formula: (((p150 <= 0)) OR ((1 <= p108)))
lola: processed formula length: 33
lola: 19 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 <= p150)) AND ((p108 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (((p150 <= 0)) OR ((1 <= p108)))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 2 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.
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
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 || 700546 markings, 2697067 edges, 140109 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 1129786 markings, 5362147 edges, 85848 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 1679663 markings, 7728306 edges, 109975 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 2061047 markings, 10090618 edges, 76277 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 2519446 markings, 12274219 edges, 91680 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 2917329 markings, 14818083 edges, 79577 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 3245825 markings, 17174576 edges, 65699 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 3709014 markings, 19469428 edges, 92638 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 4000369 markings, 21806361 edges, 58271 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 4458652 markings, 24075587 edges, 91657 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 4824688 markings, 26416910 edges, 73207 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 5079663 markings, 28625043 edges, 50995 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 5527238 markings, 30882490 edges, 89515 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 5809065 markings, 33260506 edges, 56365 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 6114245 markings, 35612065 edges, 61036 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 6582785 markings, 37978100 edges, 93708 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 6871143 markings, 40304351 edges, 57672 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 7324623 markings, 42488253 edges, 90696 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 7691633 markings, 44828081 edges, 73402 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 8004720 markings, 47156300 edges, 62617 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 8504520 markings, 49294566 edges, 99960 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 8823566 markings, 51479881 edges, 63809 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 9336417 markings, 53575281 edges, 102570 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 9708172 markings, 55807676 edges, 74351 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 10192659 markings, 58063353 edges, 96897 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 10657281 markings, 60687203 edges, 92924 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 11061700 markings, 63218137 edges, 80884 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 11557805 markings, 65680670 edges, 99221 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 11944075 markings, 67849076 edges, 77254 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 12315310 markings, 70166003 edges, 74247 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 12649731 markings, 72475048 edges, 66884 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 13003305 markings, 74793314 edges, 70715 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 13393261 markings, 76883635 edges, 77991 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 13804212 markings, 79164122 edges, 82190 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 14414214 markings, 81914979 edges, 122000 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 14941553 markings, 84608381 edges, 105468 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 15438093 markings, 87197267 edges, 99308 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 15894708 markings, 89696324 edges, 91323 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 16223519 markings, 92290281 edges, 65762 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 16688337 markings, 94764083 edges, 92964 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 17108997 markings, 97104782 edges, 84132 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 17523207 markings, 99369930 edges, 82842 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 17842529 markings, 101742811 edges, 63864 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 18324974 markings, 104172665 edges, 96489 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 18784149 markings, 106535079 edges, 91835 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 19230917 markings, 109003274 edges, 89354 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 19577454 markings, 111655033 edges, 69307 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 20095905 markings, 114334898 edges, 103690 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 20524274 markings, 116967035 edges, 85674 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 20887730 markings, 119581035 edges, 72691 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 21305053 markings, 122073392 edges, 83465 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 21700755 markings, 124548328 edges, 79140 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 21968397 markings, 127033348 edges, 53528 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 22368627 markings, 129432911 edges, 80046 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 22698367 markings, 131683123 edges, 65948 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 23004222 markings, 133954344 edges, 61171 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 23401677 markings, 136318650 edges, 79491 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 23668192 markings, 138675829 edges, 53303 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 24070802 markings, 141002616 edges, 80522 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 24456748 markings, 143275011 edges, 77189 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 24728115 markings, 145530897 edges, 54273 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 25154144 markings, 148092194 edges, 85206 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 25558542 markings, 150754324 edges, 80880 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 25980765 markings, 153482700 edges, 84445 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 26363163 markings, 156194358 edges, 76480 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 26865239 markings, 158688433 edges, 100415 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 27350853 markings, 161132446 edges, 97123 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 27809797 markings, 163559776 edges, 91789 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 28228523 markings, 166190121 edges, 83745 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 28587267 markings, 168556033 edges, 71749 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 29043620 markings, 171194347 edges, 91271 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 29458685 markings, 173781929 edges, 83013 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 29920432 markings, 176327821 edges, 92349 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 30300838 markings, 178685524 edges, 76081 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 30706248 markings, 181045574 edges, 81082 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 31100485 markings, 183573936 edges, 78847 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 31441738 markings, 185915958 edges, 68251 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 31760991 markings, 188243925 edges, 63851 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 32110394 markings, 190653903 edges, 69881 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 32537878 markings, 193232926 edges, 85497 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 32923889 markings, 195640065 edges, 77202 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 33284588 markings, 197709392 edges, 72140 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 33672684 markings, 200033134 edges, 77619 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 34096624 markings, 202418079 edges, 84788 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 34646728 markings, 204693432 edges, 110021 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 35059345 markings, 206742611 edges, 82523 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 35345893 markings, 208781251 edges, 57310 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 35822121 markings, 210662898 edges, 95246 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 36122383 markings, 212600895 edges, 60052 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 36552934 markings, 214565507 edges, 86110 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 36948301 markings, 216499232 edges, 79073 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 37224824 markings, 218406766 edges, 55305 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 37651528 markings, 220268911 edges, 85341 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 37987938 markings, 222321141 edges, 67282 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 38186978 markings, 224261687 edges, 39808 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 38628974 markings, 226029100 edges, 88399 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 38977325 markings, 227946574 edges, 69670 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 39258471 markings, 229806527 edges, 56229 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 39665220 markings, 231624997 edges, 81350 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 39930830 markings, 233517709 edges, 53122 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 40171569 markings, 235463396 edges, 48148 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 40587161 markings, 237261564 edges, 83118 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 40874219 markings, 239188435 edges, 57412 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 41064781 markings, 241013805 edges, 38112 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 41426349 markings, 242909711 edges, 72314 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 41778442 markings, 244780755 edges, 70419 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 42074426 markings, 246598781 edges, 59197 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 42361083 markings, 248402420 edges, 57331 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 42740786 markings, 250344286 edges, 75941 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 43297471 markings, 252928567 edges, 111337 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 43928399 markings, 255547180 edges, 126186 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 44632698 markings, 258154275 edges, 140860 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 45027214 markings, 260754636 edges, 78903 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 45765834 markings, 262721259 edges, 147724 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 46382006 markings, 264971673 edges, 123234 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 47092692 markings, 266863819 edges, 142137 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 47696697 markings, 268663826 edges, 120801 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 48298364 markings, 270404057 edges, 120333 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 48880076 markings, 272246155 edges, 116342 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 49423012 markings, 274045281 edges, 108587 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 49934838 markings, 275786569 edges, 102365 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 50432801 markings, 277489368 edges, 99593 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 50931194 markings, 279230733 edges, 99679 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 51415864 markings, 280982324 edges, 96934 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 51880703 markings, 282749894 edges, 92968 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 52319602 markings, 284508981 edges, 87780 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 52755835 markings, 286335516 edges, 87247 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 53192424 markings, 288206696 edges, 87318 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 53627768 markings, 290142298 edges, 87069 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 54058931 markings, 292119028 edges, 86233 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 54491772 markings, 294151545 edges, 86568 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 54903704 markings, 296246279 edges, 82386 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 55312954 markings, 298400194 edges, 81850 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 55765083 markings, 300607826 edges, 90426 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 56161688 markings, 302794661 edges, 79321 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 56571731 markings, 305038430 edges, 82009 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 56984240 markings, 307379598 edges, 82502 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 57411109 markings, 309744506 edges, 85374 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 57855905 markings, 312154141 edges, 88959 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 58263796 markings, 314474664 edges, 81578 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 58666685 markings, 316876664 edges, 80578 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 59059842 markings, 319262346 edges, 78631 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 59464222 markings, 321761604 edges, 80876 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 59853679 markings, 324294191 edges, 77891 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 60285037 markings, 326801040 edges, 86272 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 60679271 markings, 329085068 edges, 78847 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 61051601 markings, 331453979 edges, 74466 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 61458980 markings, 334039582 edges, 81476 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 61891024 markings, 336600342 edges, 86409 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 62321198 markings, 338621829 edges, 86035 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 62579554 markings, 340779543 edges, 51671 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 62975824 markings, 343326782 edges, 79254 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 63399417 markings, 345989895 edges, 84719 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 63831779 markings, 348439135 edges, 86472 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 64258432 markings, 351094043 edges, 85331 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 64603656 markings, 353637117 edges, 69045 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 64990165 markings, 355998202 edges, 77302 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 65373269 markings, 358490114 edges, 76621 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 65731467 markings, 360952627 edges, 71640 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 66131589 markings, 363347677 edges, 80024 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 66531818 markings, 365845602 edges, 80046 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 66976533 markings, 368363299 edges, 88943 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 67392459 markings, 370908022 edges, 83185 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 67815880 markings, 373500586 edges, 84684 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 68227898 markings, 375892719 edges, 82404 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 68632306 markings, 377858206 edges, 80882 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 68861376 markings, 380013418 edges, 45814 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 69102482 markings, 382320962 edges, 48221 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 69470050 markings, 384907822 edges, 73514 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 69766014 markings, 387259199 edges, 59193 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 70072432 markings, 389524209 edges, 61284 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 70445691 markings, 392037968 edges, 74652 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 70825657 markings, 394575190 edges, 75993 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 71210973 markings, 397128721 edges, 77063 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 71580514 markings, 399670061 edges, 73908 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 71945382 markings, 402093483 edges, 72974 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 72293502 markings, 404542950 edges, 69624 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 72669598 markings, 407027857 edges, 75219 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 72976322 markings, 409277737 edges, 61345 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 73293785 markings, 411551246 edges, 63493 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 73463610 markings, 413887707 edges, 33965 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 73627532 markings, 416207759 edges, 32784 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 73728291 markings, 418441543 edges, 20152 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 73783914 markings, 420565885 edges, 11125 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 73807843 markings, 422506125 edges, 4786 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 73864046 markings, 424376093 edges, 11241 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 74016626 markings, 426294064 edges, 30516 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 74131295 markings, 428033778 edges, 22934 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 74162235 markings, 429659719 edges, 6188 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 74218583 markings, 431394364 edges, 11270 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 74365423 markings, 433277698 edges, 29368 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 74458696 markings, 435069420 edges, 18655 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 74574671 markings, 436904518 edges, 23195 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 74659034 markings, 438703127 edges, 16873 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 74732382 markings, 440405850 edges, 14670 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 74830775 markings, 442228430 edges, 19679 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 74955765 markings, 444081291 edges, 24998 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 75105964 markings, 446045776 edges, 30040 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 75233450 markings, 447955909 edges, 25497 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 75314120 markings, 449775119 edges, 16134 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 75386883 markings, 451622053 edges, 14553 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 75523758 markings, 453632410 edges, 27375 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 75708343 markings, 455776578 edges, 36917 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 75836991 markings, 457800165 edges, 25730 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 75951122 markings, 459845675 edges, 22826 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 76162040 markings, 462060161 edges, 42184 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 76290053 markings, 464181469 edges, 25603 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 76460489 markings, 466417838 edges, 34087 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 76705141 markings, 468776123 edges, 48930 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 77205689 markings, 471382787 edges, 100110 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 77747658 markings, 473610291 edges, 108394 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 78428758 markings, 475550069 edges, 136220 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 78910767 markings, 477966060 edges, 96402 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 79297881 markings, 480141674 edges, 77423 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 79875802 markings, 482148384 edges, 115584 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 80457052 markings, 483903109 edges, 116250 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 81059419 markings, 485535610 edges, 120473 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 81615808 markings, 487116309 edges, 111278 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 82131554 markings, 488594113 edges, 103149 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 82629732 markings, 490136436 edges, 99636 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 83106462 markings, 491738574 edges, 95346 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 83563718 markings, 493295117 edges, 91451 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 84006565 markings, 494786620 edges, 88569 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 84433193 markings, 496358246 edges, 85326 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 84877812 markings, 497927159 edges, 88924 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 85311805 markings, 499498594 edges, 86799 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 85727042 markings, 501080041 edges, 83047 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 86137890 markings, 502717035 edges, 82170 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 86539538 markings, 504385968 edges, 80330 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 86938582 markings, 506084916 edges, 79809 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 87342117 markings, 507839456 edges, 80707 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 87743687 markings, 509654056 edges, 80314 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 88133411 markings, 511479121 edges, 77945 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 88525023 markings, 513364909 edges, 78322 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 88922606 markings, 515382719 edges, 79517 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 89318849 markings, 517364178 edges, 79249 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 89708844 markings, 519423954 edges, 77999 markings/sec, 1180 secs
lola: sara is running 1185 secs || sara is running 1185 secs || 90091941 markings, 521467086 edges, 76619 markings/sec, 1185 secs
lola: sara is running 1190 secs || sara is running 1190 secs || 90467874 markings, 523535997 edges, 75187 markings/sec, 1190 secs
lola: sara is running 1195 secs || sara is running 1195 secs || 90839228 markings, 525642288 edges, 74271 markings/sec, 1195 secs
lola: sara is running 1200 secs || sara is running 1200 secs || 91216053 markings, 527737469 edges, 75365 markings/sec, 1200 secs
lola: sara is running 1205 secs || sara is running 1205 secs || 91611489 markings, 529928984 edges, 79087 markings/sec, 1205 secs
lola: sara is running 1210 secs || sara is running 1210 secs || 92006984 markings, 532121581 edges, 79099 markings/sec, 1210 secs
lola: sara is running 1215 secs || sara is running 1215 secs || 92366370 markings, 534302433 edges, 71877 markings/sec, 1215 secs
lola: sara is running 1220 secs || sara is running 1220 secs || 92733963 markings, 536538535 edges, 73519 markings/sec, 1220 secs
lola: sara is running 1225 secs || sara is running 1225 secs || 93120467 markings, 538735273 edges, 77301 markings/sec, 1225 secs
lola: sara is running 1230 secs || sara is running 1230 secs || 93501049 markings, 541007986 edges, 76116 markings/sec, 1230 secs
lola: sara is running 1235 secs || sara is running 1235 secs || 93865872 markings, 543356792 edges, 72965 markings/sec, 1235 secs
lola: sara is running 1240 secs || sara is running 1240 secs || 94237036 markings, 545645331 edges, 74233 markings/sec, 1240 secs
lola: sara is running 1245 secs || sara is running 1245 secs || 94592330 markings, 547909691 edges, 71059 markings/sec, 1245 secs
lola: sara is running 1250 secs || sara is running 1250 secs || 94925651 markings, 550181565 edges, 66664 markings/sec, 1250 secs
lola: sara is running 1255 secs || sara is running 1255 secs || 95277253 markings, 552531546 edges, 70320 markings/sec, 1255 secs
lola: sara is running 1260 secs || sara is running 1260 secs || 95670690 markings, 554878353 edges, 78687 markings/sec, 1260 secs
lola: sara is running 1265 secs || sara is running 1265 secs || 96066583 markings, 557088686 edges, 79179 markings/sec, 1265 secs
lola: sara is running 1270 secs || sara is running 1270 secs || 96451814 markings, 559339155 edges, 77046 markings/sec, 1270 secs
lola: sara is running 1275 secs || sara is running 1275 secs || 96839698 markings, 561785002 edges, 77577 markings/sec, 1275 secs
lola: sara is running 1280 secs || sara is running 1280 secs || 97218609 markings, 564285162 edges, 75782 markings/sec, 1280 secs
lola: sara is running 1285 secs || sara is running 1285 secs || 97667449 markings, 566462693 edges, 89768 markings/sec, 1285 secs
lola: sara is running 1290 secs || sara is running 1290 secs || 98083813 markings, 568331098 edges, 83273 markings/sec, 1290 secs
lola: sara is running 1295 secs || sara is running 1295 secs || 98324450 markings, 570387153 edges, 48127 markings/sec, 1295 secs
lola: sara is running 1300 secs || sara is running 1300 secs || 98710834 markings, 572873227 edges, 77277 markings/sec, 1300 secs
lola: sara is running 1305 secs || sara is running 1305 secs || 99096275 markings, 575196576 edges, 77088 markings/sec, 1305 secs
lola: sara is running 1310 secs || sara is running 1310 secs || 99441921 markings, 577319705 edges, 69129 markings/sec, 1310 secs
lola: sara is running 1315 secs || sara is running 1315 secs || 99762108 markings, 579625601 edges, 64037 markings/sec, 1315 secs
lola: sara is running 1320 secs || sara is running 1320 secs || 100100450 markings, 582033983 edges, 67668 markings/sec, 1320 secs
lola: sara is running 1325 secs || sara is running 1325 secs || 100531000 markings, 584375421 edges, 86110 markings/sec, 1325 secs
lola: sara is running 1330 secs || sara is running 1330 secs || 100908341 markings, 586843425 edges, 75468 markings/sec, 1330 secs
lola: sara is running 1335 secs || sara is running 1335 secs || 101334954 markings, 589185621 edges, 85323 markings/sec, 1335 secs
lola: sara is running 1340 secs || sara is running 1340 secs || 101711259 markings, 591560361 edges, 75261 markings/sec, 1340 secs
lola: sara is running 1345 secs || sara is running 1345 secs || 102102957 markings, 594024671 edges, 78340 markings/sec, 1345 secs
lola: sara is running 1350 secs || sara is running 1350 secs || 102461170 markings, 596071388 edges, 71643 markings/sec, 1350 secs
lola: sara is running 1355 secs || sara is running 1355 secs || 102786567 markings, 598069964 edges, 65079 markings/sec, 1355 secs
lola: sara is running 1360 secs || sara is running 1360 secs || 103038343 markings, 600157399 edges, 50355 markings/sec, 1360 secs
lola: sara is running 1365 secs || sara is running 1365 secs || 103307824 markings, 602428041 edges, 53896 markings/sec, 1365 secs
lola: sara is running 1370 secs || sara is running 1370 secs || 103575649 markings, 604562106 edges, 53565 markings/sec, 1370 secs
lola: sara is running 1375 secs || sara is running 1375 secs || 103709602 markings, 606731516 edges, 26791 markings/sec, 1375 secs
lola: sara is running 1380 secs || sara is running 1380 secs || 104046953 markings, 609140420 edges, 67470 markings/sec, 1380 secs
lola: sara is running 1385 secs || sara is running 1385 secs || 104382622 markings, 611496294 edges, 67134 markings/sec, 1385 secs
lola: sara is running 1390 secs || sara is running 1390 secs || 104757892 markings, 613939576 edges, 75054 markings/sec, 1390 secs
lola: sara is running 1395 secs || sara is running 1395 secs || 105125701 markings, 616447054 edges, 73562 markings/sec, 1395 secs
lola: sara is running 1400 secs || sara is running 1400 secs || 105351916 markings, 618672599 edges, 45243 markings/sec, 1400 secs
lola: sara is running 1405 secs || sara is running 1405 secs || 105694930 markings, 620917916 edges, 68603 markings/sec, 1405 secs
lola: sara is running 1410 secs || sara is running 1410 secs || 106025940 markings, 623174069 edges, 66202 markings/sec, 1410 secs
lola: sara is running 1415 secs || sara is running 1415 secs || 106361934 markings, 625479774 edges, 67199 markings/sec, 1415 secs
lola: sara is running 1420 secs || sara is running 1420 secs || 106694028 markings, 627719986 edges, 66419 markings/sec, 1420 secs
lola: sara is running 1425 secs || sara is running 1425 secs || 106976401 markings, 629987598 edges, 56475 markings/sec, 1425 secs
lola: sara is running 1430 secs || sara is running 1430 secs || 107262113 markings, 632204256 edges, 57142 markings/sec, 1430 secs
lola: sara is running 1435 secs || sara is running 1435 secs || 107438147 markings, 634475796 edges, 35207 markings/sec, 1435 secs
lola: sara is running 1440 secs || sara is running 1440 secs || 107476241 markings, 636526548 edges, 7619 markings/sec, 1440 secs
lola: sara is running 1445 secs || sara is running 1445 secs || 107496299 markings, 638514350 edges, 4012 markings/sec, 1445 secs
lola: sara is running 1450 secs || sara is running 1450 secs || 107541420 markings, 640361374 edges, 9024 markings/sec, 1450 secs
lola: sara is running 1455 secs || sara is running 1455 secs || 107624374 markings, 642112572 edges, 16591 markings/sec, 1455 secs
lola: sara is running 1460 secs || sara is running 1460 secs || 107750972 markings, 643943961 edges, 25320 markings/sec, 1460 secs
lola: sara is running 1465 secs || sara is running 1465 secs || 108019267 markings, 645957263 edges, 53659 markings/sec, 1465 secs
lola: sara is running 1470 secs || sara is running 1470 secs || 108054270 markings, 647638840 edges, 7001 markings/sec, 1470 secs
lola: sara is running 1475 secs || sara is running 1475 secs || 108109258 markings, 649319075 edges, 10998 markings/sec, 1475 secs
lola: sara is running 1480 secs || sara is running 1480 secs || 108169473 markings, 651007209 edges, 12043 markings/sec, 1480 secs
lola: sara is running 1485 secs || sara is running 1485 secs || 108241624 markings, 652686935 edges, 14430 markings/sec, 1485 secs
lola: sara is running 1490 secs || sara is running 1490 secs || 108394329 markings, 654470036 edges, 30541 markings/sec, 1490 secs
lola: sara is running 1495 secs || sara is running 1495 secs || 108531053 markings, 656232413 edges, 27345 markings/sec, 1495 secs
lola: sara is running 1500 secs || sara is running 1500 secs || 108602176 markings, 657844676 edges, 14225 markings/sec, 1500 secs
lola: sara is running 1505 secs || sara is running 1505 secs || 108691289 markings, 659585845 edges, 17823 markings/sec, 1505 secs
lola: sara is running 1510 secs || sara is running 1510 secs || 108867357 markings, 661439782 edges, 35214 markings/sec, 1510 secs
lola: sara is running 1515 secs || sara is running 1515 secs || 108968567 markings, 663194662 edges, 20242 markings/sec, 1515 secs
lola: sara is running 1520 secs || sara is running 1520 secs || 109092152 markings, 665011716 edges, 24717 markings/sec, 1520 secs
lola: sara is running 1525 secs || sara is running 1525 secs || 109197497 markings, 666783365 edges, 21069 markings/sec, 1525 secs
lola: sara is running 1530 secs || sara is running 1530 secs || 109285994 markings, 668523533 edges, 17699 markings/sec, 1530 secs
lola: sara is running 1535 secs || sara is running 1535 secs || 109408435 markings, 670331283 edges, 24488 markings/sec, 1535 secs
lola: sara is running 1540 secs || sara is running 1540 secs || 109483322 markings, 672081330 edges, 14977 markings/sec, 1540 secs
lola: sara is running 1545 secs || sara is running 1545 secs || 109573711 markings, 673895137 edges, 18078 markings/sec, 1545 secs
lola: sara is running 1550 secs || sara is running 1550 secs || 109717914 markings, 675860172 edges, 28841 markings/sec, 1550 secs
lola: sara is running 1555 secs || sara is running 1555 secs || 109821216 markings, 677727510 edges, 20660 markings/sec, 1555 secs
lola: sara is running 1560 secs || sara is running 1560 secs || 110012007 markings, 679777841 edges, 38158 markings/sec, 1560 secs
lola: sara is running 1565 secs || sara is running 1565 secs || 110165612 markings, 681837201 edges, 30721 markings/sec, 1565 secs
lola: sara is running 1570 secs || sara is running 1570 secs || 110294592 markings, 683891778 edges, 25796 markings/sec, 1570 secs
lola: sara is running 1575 secs || sara is running 1575 secs || 110457884 markings, 686044184 edges, 32658 markings/sec, 1575 secs
lola: sara is running 1580 secs || sara is running 1580 secs || 110655577 markings, 688229283 edges, 39539 markings/sec, 1580 secs
lola: sara is running 1585 secs || sara is running 1585 secs || 111031690 markings, 690453004 edges, 75223 markings/sec, 1585 secs
lola: sara is running 1590 secs || sara is running 1590 secs || 111406284 markings, 692596611 edges, 74919 markings/sec, 1590 secs
lola: sara is running 1595 secs || sara is running 1595 secs || 111709999 markings, 694849203 edges, 60743 markings/sec, 1595 secs
lola: sara is running 1600 secs || sara is running 1600 secs || 112106474 markings, 697109296 edges, 79295 markings/sec, 1600 secs
lola: sara is running 1605 secs || sara is running 1605 secs || 112460338 markings, 699395801 edges, 70773 markings/sec, 1605 secs
lola: sara is running 1610 secs || sara is running 1610 secs || 113004137 markings, 701961164 edges, 108760 markings/sec, 1610 secs
lola: sara is running 1615 secs || sara is running 1615 secs || 113402539 markings, 704232546 edges, 79680 markings/sec, 1615 secs
lola: sara is running 1620 secs || sara is running 1620 secs || 113800994 markings, 706343848 edges, 79691 markings/sec, 1620 secs
lola: sara is running 1625 secs || sara is running 1625 secs || 114307460 markings, 708470956 edges, 101293 markings/sec, 1625 secs
lola: sara is running 1630 secs || sara is running 1630 secs || 114960465 markings, 710510432 edges, 130601 markings/sec, 1630 secs
lola: sara is running 1635 secs || sara is running 1635 secs || 115383629 markings, 712946554 edges, 84633 markings/sec, 1635 secs
lola: sara is running 1640 secs || sara is running 1640 secs || 115788280 markings, 715021879 edges, 80930 markings/sec, 1640 secs
lola: sara is running 1645 secs || sara is running 1645 secs || 116391083 markings, 716859929 edges, 120561 markings/sec, 1645 secs
lola: sara is running 1650 secs || sara is running 1650 secs || 116920256 markings, 718854783 edges, 105835 markings/sec, 1650 secs
lola: sara is running 1655 secs || sara is running 1655 secs || 117529426 markings, 720513377 edges, 121834 markings/sec, 1655 secs
lola: sara is running 1660 secs || sara is running 1660 secs || 118069260 markings, 722104852 edges, 107967 markings/sec, 1660 secs
lola: sara is running 1665 secs || sara is running 1665 secs || 118615115 markings, 723667215 edges, 109171 markings/sec, 1665 secs
lola: sara is running 1670 secs || sara is running 1670 secs || 119119913 markings, 725269492 edges, 100960 markings/sec, 1670 secs
lola: sara is running 1675 secs || sara is running 1675 secs || 119594156 markings, 726857234 edges, 94849 markings/sec, 1675 secs
lola: sara is running 1680 secs || sara is running 1680 secs || 120050719 markings, 728435003 edges, 91313 markings/sec, 1680 secs
lola: sara is running 1685 secs || sara is running 1685 secs || 120497133 markings, 729963694 edges, 89283 markings/sec, 1685 secs
lola: sara is running 1690 secs || sara is running 1690 secs || 120936165 markings, 731485952 edges, 87806 markings/sec, 1690 secs
lola: sara is running 1695 secs || sara is running 1695 secs || 121364125 markings, 733014893 edges, 85592 markings/sec, 1695 secs
lola: sara is running 1700 secs || sara is running 1700 secs || 121790038 markings, 734562008 edges, 85183 markings/sec, 1700 secs
lola: sara is running 1705 secs || sara is running 1705 secs || 122202386 markings, 736137412 edges, 82470 markings/sec, 1705 secs
lola: sara is running 1710 secs || sara is running 1710 secs || 122609807 markings, 737756755 edges, 81484 markings/sec, 1710 secs
lola: sara is running 1715 secs || sara is running 1715 secs || 123004640 markings, 739388711 edges, 78967 markings/sec, 1715 secs
lola: sara is running 1720 secs || sara is running 1720 secs || 123396361 markings, 741071845 edges, 78344 markings/sec, 1720 secs
lola: sara is running 1725 secs || sara is running 1725 secs || 123792215 markings, 742790921 edges, 79171 markings/sec, 1725 secs
lola: sara is running 1730 secs || sara is running 1730 secs || 124180646 markings, 744558215 edges, 77686 markings/sec, 1730 secs
lola: sara is running 1735 secs || sara is running 1735 secs || 124569880 markings, 746365984 edges, 77847 markings/sec, 1735 secs
lola: sara is running 1740 secs || sara is running 1740 secs || 124961010 markings, 748211168 edges, 78226 markings/sec, 1740 secs
lola: sara is running 1745 secs || sara is running 1745 secs || 125330794 markings, 750149690 edges, 73957 markings/sec, 1745 secs
lola: sara is running 1750 secs || sara is running 1750 secs || 125691563 markings, 752051714 edges, 72154 markings/sec, 1750 secs
lola: sara is running 1755 secs || sara is running 1755 secs || 126088139 markings, 754039298 edges, 79315 markings/sec, 1755 secs
lola: sara is running 1760 secs || sara is running 1760 secs || 126470863 markings, 756003030 edges, 76545 markings/sec, 1760 secs
lola: sara is running 1765 secs || sara is running 1765 secs || 126823877 markings, 758003632 edges, 70603 markings/sec, 1765 secs
lola: sara is running 1770 secs || sara is running 1770 secs || 127195912 markings, 760077253 edges, 74407 markings/sec, 1770 secs
lola: sara is running 1775 secs || sara is running 1775 secs || 127570339 markings, 762218038 edges, 74885 markings/sec, 1775 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes no unknown yes unknown no
lola: memory consumption: 8184436 KB
lola: time consumption: 1786 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 6 will run for 1784 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((E (F (((1 <= p13)))) OR ((1 <= p24)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG((EF(((1 <= p13))) OR ((1 <= p24))))
lola: processed formula length: 38
lola: 17 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: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 691 markings, 2425 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((((1 <= p150)) AND ((p108 <= 0)))))))
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:788
lola: processed formula: (((p150 <= 0)) OR ((1 <= p108)))
lola: processed formula length: 33
lola: 19 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 <= p150)) AND ((p108 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (((p150 <= 0)) OR ((1 <= p108)))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file 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-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 || 739518 markings, 2893161 edges, 147904 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 1193971 markings, 5771328 edges, 90891 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 1810052 markings, 8435674 edges, 123216 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 2220464 markings, 11143351 edges, 82082 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 2769184 markings, 13829395 edges, 109744 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 3104996 markings, 16574287 edges, 67162 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 3678558 markings, 19284544 edges, 114712 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 4028514 markings, 22064153 edges, 69991 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 4562255 markings, 24683316 edges, 106748 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 4915179 markings, 27347323 edges, 70585 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 5388123 markings, 29958513 edges, 94589 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 5775839 markings, 32721610 edges, 77543 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 6061928 markings, 35448756 edges, 57218 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 6603823 markings, 38126159 edges, 108379 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 6927100 markings, 40847576 edges, 64655 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 7491987 markings, 43479257 edges, 112977 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 7832892 markings, 46173407 edges, 68181 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 8388359 markings, 48673531 edges, 111093 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 8783251 markings, 51208407 edges, 78978 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 9344766 markings, 53619920 edges, 112303 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 9749104 markings, 56073617 edges, 80868 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 10300708 markings, 58579888 edges, 110321 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 10735035 markings, 61278142 edges, 86865 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 11219835 markings, 63984923 edges, 96960 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 11730173 markings, 66532874 edges, 102068 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 12129822 markings, 68957729 edges, 79930 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 12504781 markings, 71361501 edges, 74992 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 12874290 markings, 73849094 edges, 73902 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 13255922 markings, 76240026 edges, 76326 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 13676903 markings, 78466404 edges, 84196 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 14305731 markings, 81251879 edges, 125766 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 14832529 markings, 84018947 edges, 105360 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 15345866 markings, 86702819 edges, 102667 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 15824061 markings, 89346150 edges, 95639 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 16194139 markings, 91991842 edges, 74016 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 16665516 markings, 94583675 edges, 94275 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 17100498 markings, 97061714 edges, 86996 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 17541636 markings, 99472315 edges, 88228 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 17863552 markings, 101971691 edges, 64383 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 18362995 markings, 104451242 edges, 99889 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 18846242 markings, 106871976 edges, 96649 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 19296966 markings, 109418368 edges, 90145 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 19653064 markings, 112085548 edges, 71220 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 20152194 markings, 114849104 edges, 99826 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 20618415 markings, 117546382 edges, 93244 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 21034193 markings, 120162439 edges, 83156 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 21367237 markings, 122749595 edges, 66609 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 21801732 markings, 125299911 edges, 86899 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 22148737 markings, 127777610 edges, 69401 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 22438467 markings, 130259678 edges, 57946 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 22853136 markings, 132650507 edges, 82934 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 23196729 markings, 134960901 edges, 68719 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 23515530 markings, 137378546 edges, 63760 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 23899740 markings, 139771841 edges, 76842 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 24219715 markings, 142179910 edges, 63995 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 24621989 markings, 144487910 edges, 80455 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 25015972 markings, 146983019 edges, 78797 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 25317672 markings, 149668634 edges, 60340 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 25779950 markings, 152417598 edges, 92456 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 26260785 markings, 155166271 edges, 96167 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 26719684 markings, 157802221 edges, 91780 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 27200494 markings, 160334970 edges, 96162 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 27655960 markings, 162871195 edges, 91093 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 28123606 markings, 165639211 edges, 93529 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 28530759 markings, 168205553 edges, 81431 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 28986627 markings, 170851117 edges, 91174 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 29393146 markings, 173483186 edges, 81304 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 29890258 markings, 176124170 edges, 99422 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 30282892 markings, 178557798 edges, 78527 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 30696087 markings, 180977743 edges, 82639 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 31102298 markings, 183581080 edges, 81242 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 31447930 markings, 185994317 edges, 69126 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 31776391 markings, 188395492 edges, 65692 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 32144082 markings, 190921499 edges, 73538 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 32582256 markings, 193540261 edges, 87635 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 33024138 markings, 196084619 edges, 88376 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 33371874 markings, 198236371 edges, 69547 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 33770175 markings, 200637315 edges, 79660 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 34235710 markings, 203286246 edges, 93107 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 34793431 markings, 205378047 edges, 111544 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 35144319 markings, 207466049 edges, 70178 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 35564281 markings, 209438101 edges, 83992 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 35971179 markings, 211466926 edges, 81380 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 36233487 markings, 213431019 edges, 52462 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 36744914 markings, 215395434 edges, 102285 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 37076583 markings, 217378693 edges, 66334 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 37439404 markings, 219350324 edges, 72564 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 37825120 markings, 221299754 edges, 77143 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 38081908 markings, 223293448 edges, 51358 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 38431908 markings, 225208251 edges, 70000 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 38817120 markings, 227026631 edges, 77042 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 39094592 markings, 228869750 edges, 55494 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 39503598 markings, 230704086 edges, 81801 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 39843078 markings, 232710792 edges, 67896 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 40062632 markings, 234646195 edges, 43911 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 40449530 markings, 236495545 edges, 77380 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 40788033 markings, 238476203 edges, 67701 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 40998471 markings, 240365913 edges, 42088 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 41310480 markings, 242317527 edges, 62402 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 41672728 markings, 244247132 edges, 72450 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 42003931 markings, 246160228 edges, 66241 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 42304410 markings, 248000459 edges, 60096 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 42634180 markings, 249946531 edges, 65954 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 43244861 markings, 252546370 edges, 122136 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 43838026 markings, 255276065 edges, 118633 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 44579335 markings, 257868439 edges, 148262 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 44968499 markings, 260596361 edges, 77833 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 45766972 markings, 262724022 edges, 159695 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 46385580 markings, 264981420 edges, 123722 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 47098163 markings, 266875828 edges, 142517 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 47710139 markings, 268701131 edges, 122395 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 48329791 markings, 270497043 edges, 123930 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 48900879 markings, 272312673 edges, 114218 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 49436275 markings, 274091068 edges, 107079 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 49957713 markings, 275860756 edges, 104288 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 50465913 markings, 277602932 edges, 101640 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 50963647 markings, 279344405 edges, 99547 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 51443689 markings, 281086326 edges, 96008 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 51909413 markings, 282861805 edges, 93145 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 52361344 markings, 284681003 edges, 90386 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 52807809 markings, 286558281 edges, 89293 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 53252932 markings, 288468664 edges, 89025 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 53701183 markings, 290470878 edges, 89650 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 54141777 markings, 292521123 edges, 88119 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 54595542 markings, 294647864 edges, 90753 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 55006943 markings, 296808843 edges, 82280 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 55433424 markings, 299008386 edges, 85296 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 55889074 markings, 301260174 edges, 91130 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 56293580 markings, 303506326 edges, 80901 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 56712068 markings, 305838074 edges, 83698 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 57126334 markings, 308186196 edges, 82853 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 57565432 markings, 310586790 edges, 87820 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 58007689 markings, 313013063 edges, 88451 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 58411545 markings, 315373673 edges, 80771 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 58822700 markings, 317768359 edges, 82231 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 59211952 markings, 320234307 edges, 77850 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 59612599 markings, 322717288 edges, 80129 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 60018393 markings, 325264804 edges, 81159 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 60451320 markings, 327571773 edges, 86585 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 60807078 markings, 330065570 edges, 71152 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 61228312 markings, 332544938 edges, 84247 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 61645451 markings, 335145885 edges, 83428 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 62076271 markings, 337466377 edges, 86164 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 62467295 markings, 339540084 edges, 78205 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 62760361 markings, 341843371 edges, 58613 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 63166223 markings, 344454195 edges, 81172 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 63575214 markings, 347137049 edges, 81798 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 64031466 markings, 349607116 edges, 91250 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 64384346 markings, 352249400 edges, 70576 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 64777638 markings, 354749033 edges, 78658 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 65169621 markings, 357101486 edges, 78397 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 65559023 markings, 359660489 edges, 77880 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 65900409 markings, 362186554 edges, 68277 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 66338834 markings, 364605427 edges, 87685 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 66738359 markings, 367213619 edges, 79905 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 67207734 markings, 369743762 edges, 93875 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 67634290 markings, 372365648 edges, 85311 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 68036170 markings, 375004990 edges, 80376 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 68464957 markings, 376951983 edges, 85757 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 68724221 markings, 378986543 edges, 51853 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 69015504 markings, 381204890 edges, 58257 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 69293379 markings, 383700947 edges, 55575 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 69608938 markings, 386152939 edges, 63112 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 69937369 markings, 388312557 edges, 65686 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 70262503 markings, 390757368 edges, 65027 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 70604517 markings, 393167172 edges, 68403 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 70978873 markings, 395663421 edges, 74871 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 71361427 markings, 398198375 edges, 76511 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 71738310 markings, 400667107 edges, 75377 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 72067269 markings, 403054626 edges, 65792 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 72425615 markings, 405445326 edges, 71669 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 72792607 markings, 407837408 edges, 73398 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 73074557 markings, 409948676 edges, 56390 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 73387463 markings, 412249666 edges, 62581 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 73497831 markings, 414503392 edges, 22074 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 73692355 markings, 416836831 edges, 38905 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 73735862 markings, 418993812 edges, 8701 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 73790388 markings, 421083396 edges, 10905 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 73814040 markings, 422985444 edges, 4730 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 73918320 markings, 424895564 edges, 20856 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 74080706 markings, 426788655 edges, 32477 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 74139807 markings, 428544438 edges, 11820 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 74189011 markings, 430285054 edges, 9841 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 74273230 markings, 432045903 edges, 16844 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 74381393 markings, 433861944 edges, 21633 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 74497327 markings, 435711343 edges, 23187 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 74596507 markings, 437516530 edges, 19836 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 74665845 markings, 439240559 edges, 13868 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 74762762 markings, 440980053 edges, 19383 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 74880972 markings, 442772922 edges, 23642 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 74991753 markings, 444596472 edges, 22156 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 75139077 markings, 446561873 edges, 29465 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 75257255 markings, 448444025 edges, 23636 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 75333777 markings, 450264550 edges, 15304 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 75409929 markings, 452111676 edges, 15230 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 75546243 markings, 454108927 edges, 27263 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 75731602 markings, 456237340 edges, 37072 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 75859668 markings, 458255222 edges, 25613 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 75992430 markings, 460305891 edges, 26552 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 76202029 markings, 462505490 edges, 41920 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 76307225 markings, 464567442 edges, 21039 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 76505628 markings, 466861649 edges, 39681 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 76848730 markings, 469220940 edges, 68620 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 77309993 markings, 471851535 edges, 92253 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 77883849 markings, 474015614 edges, 114771 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 78549855 markings, 476050242 edges, 133201 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 78988950 markings, 478542398 edges, 87819 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 79474051 markings, 480574648 edges, 97020 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 80017139 markings, 482647237 edges, 108618 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 80630700 markings, 484373609 edges, 122712 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 81241037 markings, 486036799 edges, 122067 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 81810893 markings, 487663431 edges, 113971 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 82362734 markings, 489293709 edges, 110368 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 82870474 markings, 490938265 edges, 101548 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 83347917 markings, 492552409 edges, 95489 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 83811858 markings, 494130742 edges, 92788 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 84267432 markings, 495691353 edges, 91115 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 84699127 markings, 497297281 edges, 86339 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 85139695 markings, 498866421 edges, 88114 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 85565807 markings, 500457730 edges, 85222 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 85979442 markings, 502075155 edges, 82727 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 86388134 markings, 503747111 edges, 81738 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 86788220 markings, 505442275 edges, 80017 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 87190644 markings, 507165400 edges, 80485 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 87591899 markings, 508956977 edges, 80251 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 87988757 markings, 510799211 edges, 79372 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 88383980 markings, 512671539 edges, 79045 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 88777465 markings, 514621327 edges, 78697 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 89160051 markings, 516570176 edges, 76517 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 89556240 markings, 518584272 edges, 79238 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 89937759 markings, 520597588 edges, 76304 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 90312892 markings, 522672855 edges, 75027 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 90684777 markings, 524771477 edges, 74377 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 91069975 markings, 526916767 edges, 77040 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 91451867 markings, 529073445 edges, 76378 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 91852320 markings, 531276787 edges, 80091 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 92220275 markings, 533436400 edges, 73591 markings/sec, 1180 secs
lola: sara is running 1185 secs || sara is running 1185 secs || 92589669 markings, 535680129 edges, 73879 markings/sec, 1185 secs
lola: sara is running 1190 secs || sara is running 1190 secs || 92970201 markings, 537904032 edges, 76106 markings/sec, 1190 secs
lola: sara is running 1195 secs || sara is running 1195 secs || 93350235 markings, 540130899 edges, 76007 markings/sec, 1195 secs
lola: sara is running 1200 secs || sara is running 1200 secs || 93722360 markings, 542443593 edges, 74425 markings/sec, 1200 secs
lola: sara is running 1205 secs || sara is running 1205 secs || 94100382 markings, 544821883 edges, 75604 markings/sec, 1205 secs
lola: sara is running 1210 secs || sara is running 1210 secs || 94458999 markings, 547049885 edges, 71723 markings/sec, 1210 secs
lola: sara is running 1215 secs || sara is running 1215 secs || 94778806 markings, 549375351 edges, 63961 markings/sec, 1215 secs
lola: sara is running 1220 secs || sara is running 1220 secs || 95167033 markings, 551809898 edges, 77645 markings/sec, 1220 secs
lola: sara is running 1225 secs || sara is running 1225 secs || 95555127 markings, 554142307 edges, 77619 markings/sec, 1225 secs
lola: sara is running 1230 secs || sara is running 1230 secs || 95920595 markings, 556468749 edges, 73094 markings/sec, 1230 secs
lola: sara is running 1235 secs || sara is running 1235 secs || 96344950 markings, 558600167 edges, 84871 markings/sec, 1235 secs
lola: sara is running 1240 secs || sara is running 1240 secs || 96715953 markings, 561049943 edges, 74201 markings/sec, 1240 secs
lola: sara is running 1245 secs || sara is running 1245 secs || 97117568 markings, 563602480 edges, 80323 markings/sec, 1245 secs
lola: sara is running 1250 secs || sara is running 1250 secs || 97523992 markings, 565926332 edges, 81285 markings/sec, 1250 secs
lola: sara is running 1255 secs || sara is running 1255 secs || 97978030 markings, 567766456 edges, 90808 markings/sec, 1255 secs
lola: sara is running 1260 secs || sara is running 1260 secs || 98250824 markings, 569802355 edges, 54559 markings/sec, 1260 secs
lola: sara is running 1265 secs || sara is running 1265 secs || 98618790 markings, 572191908 edges, 73593 markings/sec, 1265 secs
lola: sara is running 1270 secs || sara is running 1270 secs || 98988647 markings, 574634061 edges, 73971 markings/sec, 1270 secs
lola: sara is running 1275 secs || sara is running 1275 secs || 99345319 markings, 576775750 edges, 71334 markings/sec, 1275 secs
lola: sara is running 1280 secs || sara is running 1280 secs || 99689816 markings, 579090176 edges, 68899 markings/sec, 1280 secs
lola: sara is running 1285 secs || sara is running 1285 secs || 100005725 markings, 581446475 edges, 63182 markings/sec, 1285 secs
lola: sara is running 1290 secs || sara is running 1290 secs || 100421807 markings, 583714057 edges, 83216 markings/sec, 1290 secs
lola: sara is running 1295 secs || sara is running 1295 secs || 100787845 markings, 586165659 edges, 73208 markings/sec, 1295 secs
lola: sara is running 1300 secs || sara is running 1300 secs || 101231797 markings, 588535110 edges, 88790 markings/sec, 1300 secs
lola: sara is running 1305 secs || sara is running 1305 secs || 101612377 markings, 590944314 edges, 76116 markings/sec, 1305 secs
lola: sara is running 1310 secs || sara is running 1310 secs || 102004540 markings, 593407751 edges, 78433 markings/sec, 1310 secs
lola: sara is running 1315 secs || sara is running 1315 secs || 102380761 markings, 595704985 edges, 75244 markings/sec, 1315 secs
lola: sara is running 1320 secs || sara is running 1320 secs || 102728058 markings, 597648154 edges, 69459 markings/sec, 1320 secs
lola: sara is running 1325 secs || sara is running 1325 secs || 102974756 markings, 599729422 edges, 49340 markings/sec, 1325 secs
lola: sara is running 1330 secs || sara is running 1330 secs || 103252444 markings, 602032973 edges, 55538 markings/sec, 1330 secs
lola: sara is running 1335 secs || sara is running 1335 secs || 103539267 markings, 604296450 edges, 57365 markings/sec, 1335 secs
lola: sara is running 1340 secs || sara is running 1340 secs || 103676472 markings, 606362145 edges, 27441 markings/sec, 1340 secs
lola: sara is running 1345 secs || sara is running 1345 secs || 103994313 markings, 608772936 edges, 63568 markings/sec, 1345 secs
lola: sara is running 1350 secs || sara is running 1350 secs || 104338639 markings, 611183430 edges, 68865 markings/sec, 1350 secs
lola: sara is running 1355 secs || sara is running 1355 secs || 104710921 markings, 613641418 edges, 74456 markings/sec, 1355 secs
lola: sara is running 1360 secs || sara is running 1360 secs || 105079738 markings, 616134579 edges, 73763 markings/sec, 1360 secs
lola: sara is running 1365 secs || sara is running 1365 secs || 105320153 markings, 618441341 edges, 48083 markings/sec, 1365 secs
lola: sara is running 1370 secs || sara is running 1370 secs || 105670188 markings, 620750720 edges, 70007 markings/sec, 1370 secs
lola: sara is running 1375 secs || sara is running 1375 secs || 106003159 markings, 623009750 edges, 66594 markings/sec, 1375 secs
lola: sara is running 1380 secs || sara is running 1380 secs || 106338773 markings, 625329963 edges, 67123 markings/sec, 1380 secs
lola: sara is running 1385 secs || sara is running 1385 secs || 106681989 markings, 627586064 edges, 68643 markings/sec, 1385 secs
lola: sara is running 1390 secs || sara is running 1390 secs || 106956869 markings, 629901284 edges, 54976 markings/sec, 1390 secs
lola: sara is running 1395 secs || sara is running 1395 secs || 107250543 markings, 632125230 edges, 58735 markings/sec, 1395 secs
lola: sara is running 1400 secs || sara is running 1400 secs || 107435507 markings, 634380916 edges, 36993 markings/sec, 1400 secs
lola: sara is running 1405 secs || sara is running 1405 secs || 107474480 markings, 636438456 edges, 7795 markings/sec, 1405 secs
lola: sara is running 1410 secs || sara is running 1410 secs || 107495418 markings, 638413434 edges, 4188 markings/sec, 1410 secs
lola: sara is running 1415 secs || sara is running 1415 secs || 107540321 markings, 640258252 edges, 8981 markings/sec, 1415 secs
lola: sara is running 1420 secs || sara is running 1420 secs || 107618504 markings, 641991288 edges, 15637 markings/sec, 1420 secs
lola: sara is running 1425 secs || sara is running 1425 secs || 107733982 markings, 643803556 edges, 23096 markings/sec, 1425 secs
lola: sara is running 1430 secs || sara is running 1430 secs || 107996337 markings, 645808388 edges, 52471 markings/sec, 1430 secs
lola: sara is running 1435 secs || sara is running 1435 secs || 108053270 markings, 647514816 edges, 11387 markings/sec, 1435 secs
lola: sara is running 1440 secs || sara is running 1440 secs || 108107361 markings, 649197224 edges, 10818 markings/sec, 1440 secs
lola: sara is running 1445 secs || sara is running 1445 secs || 108166366 markings, 650869676 edges, 11801 markings/sec, 1445 secs
lola: sara is running 1450 secs || sara is running 1450 secs || 108225878 markings, 652546821 edges, 11902 markings/sec, 1450 secs
lola: sara is running 1455 secs || sara is running 1455 secs || 108393503 markings, 654401974 edges, 33525 markings/sec, 1455 secs
lola: sara is running 1460 secs || sara is running 1460 secs || 108530269 markings, 656178322 edges, 27353 markings/sec, 1460 secs
lola: sara is running 1465 secs || sara is running 1465 secs || 108602230 markings, 657857723 edges, 14392 markings/sec, 1465 secs
lola: sara is running 1470 secs || sara is running 1470 secs || 108690317 markings, 659561948 edges, 17617 markings/sec, 1470 secs
lola: sara is running 1475 secs || sara is running 1475 secs || 108861645 markings, 661382329 edges, 34266 markings/sec, 1475 secs
lola: sara is running 1480 secs || sara is running 1480 secs || 108965356 markings, 663139618 edges, 20742 markings/sec, 1480 secs
lola: sara is running 1485 secs || sara is running 1485 secs || 109082365 markings, 664941641 edges, 23402 markings/sec, 1485 secs
lola: sara is running 1490 secs || sara is running 1490 secs || 109197409 markings, 666753358 edges, 23009 markings/sec, 1490 secs
lola: sara is running 1495 secs || sara is running 1495 secs || 109285964 markings, 668510246 edges, 17711 markings/sec, 1495 secs
lola: sara is running 1500 secs || sara is running 1500 secs || 109410260 markings, 670345542 edges, 24859 markings/sec, 1500 secs
lola: sara is running 1505 secs || sara is running 1505 secs || 109483561 markings, 672113262 edges, 14660 markings/sec, 1505 secs
lola: sara is running 1510 secs || sara is running 1510 secs || 109575988 markings, 673922615 edges, 18485 markings/sec, 1510 secs
lola: sara is running 1515 secs || sara is running 1515 secs || 109718155 markings, 675867288 edges, 28433 markings/sec, 1515 secs
lola: sara is running 1520 secs || sara is running 1520 secs || 109824309 markings, 677751188 edges, 21231 markings/sec, 1520 secs
lola: sara is running 1525 secs || sara is running 1525 secs || 110012699 markings, 679807712 edges, 37678 markings/sec, 1525 secs
lola: sara is running 1530 secs || sara is running 1530 secs || 110165641 markings, 681845087 edges, 30588 markings/sec, 1530 secs
lola: sara is running 1535 secs || sara is running 1535 secs || 110294560 markings, 683880946 edges, 25784 markings/sec, 1535 secs
lola: sara is running 1540 secs || sara is running 1540 secs || 110455051 markings, 685998585 edges, 32098 markings/sec, 1540 secs
lola: sara is running 1545 secs || sara is running 1545 secs || 110633731 markings, 688167956 edges, 35736 markings/sec, 1545 secs
lola: sara is running 1550 secs || sara is running 1550 secs || 111026439 markings, 690414414 edges, 78542 markings/sec, 1550 secs
lola: sara is running 1555 secs || sara is running 1555 secs || 111408397 markings, 692609991 edges, 76392 markings/sec, 1555 secs
lola: sara is running 1560 secs || sara is running 1560 secs || 111710067 markings, 694850306 edges, 60334 markings/sec, 1560 secs
lola: sara is running 1565 secs || sara is running 1565 secs || 112106137 markings, 697102266 edges, 79214 markings/sec, 1565 secs
lola: sara is running 1570 secs || sara is running 1570 secs || 112456876 markings, 699378246 edges, 70148 markings/sec, 1570 secs
lola: sara is running 1575 secs || sara is running 1575 secs || 112999162 markings, 701933494 edges, 108457 markings/sec, 1575 secs
lola: sara is running 1580 secs || sara is running 1580 secs || 113394296 markings, 704175998 edges, 79027 markings/sec, 1580 secs
lola: sara is running 1585 secs || sara is running 1585 secs || 113788956 markings, 706299456 edges, 78932 markings/sec, 1585 secs
lola: sara is running 1590 secs || sara is running 1590 secs || 114286254 markings, 708409033 edges, 99460 markings/sec, 1590 secs
lola: sara is running 1595 secs || sara is running 1595 secs || 114939898 markings, 710421108 edges, 130729 markings/sec, 1595 secs
lola: sara is running 1600 secs || sara is running 1600 secs || 115371455 markings, 712831286 edges, 86311 markings/sec, 1600 secs
lola: sara is running 1605 secs || sara is running 1605 secs || 115749869 markings, 714903708 edges, 75683 markings/sec, 1605 secs
lola: sara is running 1610 secs || sara is running 1610 secs || 116346045 markings, 716716566 edges, 119235 markings/sec, 1610 secs
lola: sara is running 1615 secs || sara is running 1615 secs || 116872722 markings, 718709581 edges, 105335 markings/sec, 1615 secs
lola: sara is running 1620 secs || sara is running 1620 secs || 117481105 markings, 720387112 edges, 121677 markings/sec, 1620 secs
lola: sara is running 1625 secs || sara is running 1625 secs || 118025169 markings, 721985234 edges, 108813 markings/sec, 1625 secs
lola: sara is running 1630 secs || sara is running 1630 secs || 118572782 markings, 723544585 edges, 109523 markings/sec, 1630 secs
lola: sara is running 1635 secs || sara is running 1635 secs || 119085466 markings, 725159791 edges, 102537 markings/sec, 1635 secs
lola: sara is running 1640 secs || sara is running 1640 secs || 119560249 markings, 726744264 edges, 94957 markings/sec, 1640 secs
lola: sara is running 1645 secs || sara is running 1645 secs || 120014821 markings, 728312923 edges, 90914 markings/sec, 1645 secs
lola: sara is running 1650 secs || sara is running 1650 secs || 120465138 markings, 729852732 edges, 90063 markings/sec, 1650 secs
lola: sara is running 1655 secs || sara is running 1655 secs || 120906959 markings, 731384091 edges, 88364 markings/sec, 1655 secs
lola: sara is running 1660 secs || sara is running 1660 secs || 121337646 markings, 732921198 edges, 86137 markings/sec, 1660 secs
lola: sara is running 1665 secs || sara is running 1665 secs || 121760375 markings, 734451222 edges, 84546 markings/sec, 1665 secs
lola: sara is running 1670 secs || sara is running 1670 secs || 122174259 markings, 736028267 edges, 82777 markings/sec, 1670 secs
lola: sara is running 1675 secs || sara is running 1675 secs || 122580378 markings, 737637159 edges, 81224 markings/sec, 1675 secs
lola: sara is running 1680 secs || sara is running 1680 secs || 122974510 markings, 739263438 edges, 78826 markings/sec, 1680 secs
lola: sara is running 1685 secs || sara is running 1685 secs || 123364713 markings, 740937923 edges, 78041 markings/sec, 1685 secs
lola: sara is running 1690 secs || sara is running 1690 secs || 123761119 markings, 742648337 edges, 79281 markings/sec, 1690 secs
lola: sara is running 1695 secs || sara is running 1695 secs || 124148598 markings, 744410601 edges, 77496 markings/sec, 1695 secs
lola: sara is running 1700 secs || sara is running 1700 secs || 124535561 markings, 746205601 edges, 77393 markings/sec, 1700 secs
lola: sara is running 1705 secs || sara is running 1705 secs || 124921235 markings, 748026671 edges, 77135 markings/sec, 1705 secs
lola: sara is running 1710 secs || sara is running 1710 secs || 125295997 markings, 749951207 edges, 74952 markings/sec, 1710 secs
lola: sara is running 1715 secs || sara is running 1715 secs || 125652744 markings, 751878496 edges, 71349 markings/sec, 1715 secs
lola: sara is running 1720 secs || sara is running 1720 secs || 126060290 markings, 753890472 edges, 81509 markings/sec, 1720 secs
lola: sara is running 1725 secs || sara is running 1725 secs || 126435305 markings, 755805737 edges, 75003 markings/sec, 1725 secs
lola: sara is running 1730 secs || sara is running 1730 secs || 126788388 markings, 757802921 edges, 70617 markings/sec, 1730 secs
lola: sara is running 1735 secs || sara is running 1735 secs || 127151518 markings, 759844279 edges, 72626 markings/sec, 1735 secs
lola: sara is running 1740 secs || sara is running 1740 secs || 127526210 markings, 761945289 edges, 74938 markings/sec, 1740 secs
lola: sara is running 1745 secs || sara is running 1745 secs || 127900697 markings, 764012729 edges, 74897 markings/sec, 1745 secs
lola: sara is running 1750 secs || sara is running 1750 secs || 128283200 markings, 766129379 edges, 76501 markings/sec, 1750 secs
lola: sara is running 1755 secs || sara is running 1755 secs || 128665065 markings, 768301090 edges, 76373 markings/sec, 1755 secs
lola: sara is running 1760 secs || sara is running 1760 secs || 129014434 markings, 770436311 edges, 69874 markings/sec, 1760 secs
lola: sara is running 1765 secs || sara is running 1765 secs || 129386901 markings, 772644468 edges, 74493 markings/sec, 1765 secs
lola: sara is running 1770 secs || sara is running 1770 secs || 129769075 markings, 774873601 edges, 76435 markings/sec, 1770 secs
lola: sara is running 1775 secs || sara is running 1775 secs || 130122770 markings, 777071962 edges, 70739 markings/sec, 1775 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes no no yes unknown no
lola:
preliminary result: no yes no no yes unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no no yes unknown no
lola: memory consumption: 8335676 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 yes no no yes unknown no
lola: memory consumption: 8335676 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="SmartHome-PT-12"
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 SmartHome-PT-12, 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 r228-oct2-159033547100091"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-12.tgz
mv SmartHome-PT-12 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 ;