fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r228-oct2-159033547100091
Last Updated
Jun 28, 2020

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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;