Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2019-input.r049-oct2-155234404800292.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is DLCflexbar-PT-8a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234404800292
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 8.9M
-rw-r--r-- 1 mcc users 3.5K Feb 10 05:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 10 05:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 6 04:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 6 04:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:19 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 2 21:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 2 21:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 11:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Jan 30 11:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 8.7M Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-00
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-01
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-02
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-03
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-04
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-05
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-06
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-07
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-08
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-09
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-10
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-11
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-12
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-13
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-14
FORMULA_NAME DLCflexbar-PT-8a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1552450034041

info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ DLCflexbar-PT-8a @ 3570 seconds

FORMULA DLCflexbar-PT-8a-CTLCardinality-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCflexbar-PT-8a-CTLCardinality-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCflexbar-PT-8a-CTLCardinality-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCflexbar-PT-8a-CTLCardinality-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCflexbar-PT-8a-CTLCardinality-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCflexbar-PT-8a-CTLCardinality-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCflexbar-PT-8a-CTLCardinality-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCflexbar-PT-8a-CTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCflexbar-PT-8a-CTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCflexbar-PT-8a-CTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCflexbar-PT-8a-CTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCflexbar-PT-8a-CTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCflexbar-PT-8a-CTLCardinality-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCflexbar-PT-8a-CTLCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCflexbar-PT-8a-CTLCardinality-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ DLCflexbar-PT-8a

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1685
},
"exit":
{
"localtimelimitreached": true,
"memory": 14910152,
"runtime": 1886.000000,
"signal": "User defined signal 2"
},
"files":
{
"JSON": "CTLCardinality.json"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(1 <= p333)",
"processed_size": 11,
"rewrites": 100
},
"result":
{
"preliminary_value": "yes no no unknown yes yes yes yes yes yes no no no unknown yes yes "
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "tscc preserving/always up"
}
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"store":
{
"type": "dfs/tscc"
},
"type": "possible_invariance",
"workflow": "stateequation"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 36542/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3971
lola: finding significant places
lola: 3971 places, 32571 transitions, 931 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: place invariant simplifies atomic proposition
lola: before: (p3588 <= p2777)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always true: (p466 <= p2145)
lola: LP says that atomic proposition is always false: (2 <= p3444)
lola: LP says that atomic proposition is always false: (3 <= p1174)
lola: LP says that atomic proposition is always false: (3 <= p2647)
lola: LP says that atomic proposition is always true: (p479 <= p3452)
lola: place invariant simplifies atomic proposition
lola: before: (p2683 <= p2187)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always false: (2 <= p217)
lola: place invariant simplifies atomic proposition
lola: before: (p1618 <= p2650)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p2153 <= p2359)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p3065 <= p3780)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p1986 <= p3753)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always false: (2 <= p586)
lola: place invariant simplifies atomic proposition
lola: before: (p2043 <= p3414)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always true: (p944 <= p1411)
lola: LP says that atomic proposition is always false: (2 <= p3234)
lola: place invariant simplifies atomic proposition
lola: before: (p3893 <= p3559)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p2022 <= p2305)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p1961 <= p3259)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p1086 <= p2906)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always false: (2 <= p2)
lola: place invariant simplifies atomic proposition
lola: before: (p2915 <= p2708)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always false: (2 <= p1392)
lola: LP says that atomic proposition is always false: (2 <= p564)
lola: LP says that atomic proposition is always false: (2 <= p1222)
lola: LP says that atomic proposition is always true: (p481 <= p2521)
lola: place invariant simplifies atomic proposition
lola: before: (p3345 <= p1298)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always false: (3 <= p1731)
lola: LP says that atomic proposition is always false: (3 <= p3491)
lola: place invariant simplifies atomic proposition
lola: before: (p1201 <= p3640)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p1216 <= p2027)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always false: (2 <= p1860)
lola: place invariant simplifies atomic proposition
lola: before: (p2457 <= p2562)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always false: (2 <= p723)
lola: place invariant simplifies atomic proposition
lola: before: (p2246 <= p2568)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always false: (3 <= p911)
lola: (E ((() U ((1 <= p2591) AND (p1443 <= p997)))) OR (2 <= p3444)) : (NOT((A (F ((3 <= p1174))) OR (p564 + 1 <= p1449))) AND E (((p2647 <= 2) U (p3452 + 1 <= p479)))) : E ((A (X ((0 <= 0))) U (2 <= p217))) : E (G (NOT(E (G ((1 <= p1927)))))) : (A (G ((0 <= 0))) AND (A (X ((p822 + 1 <= p728))) OR (() OR E (G ((p1463 <= p933)))))) : A ((() U E (G ((p944 <= p1411))))) : NOT((NOT(A (G ((1 <= p3241)))) AND A (F ((2 <= p3234))))) : NOT(NOT(E (G ((0 <= 0))))) : A (G (())) : A (X ((E (G ((0 <= 0))) AND E (F ((0 <= 0)))))) : E ((A (F ((2 <= p2))) U ())) : (E (F (())) AND ()) : E (X ((E (F ((3 <= p3491))) AND A (X ((0 <= 0)))))) : NOT(A (G (E (F ((1 <= p333)))))) : (E (G (())) AND E (X (()))) : A (F (NOT(E (F ((3 <= p911))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:136
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:136
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:136
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:133
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:130
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 210 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 96 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 224 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 96 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 96 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 259 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 96 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 280 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 96 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 96 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 96 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 374 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 96 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 421 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 96 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 481 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 96 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 561 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT DEADLOCK
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT DEADLOCK
lola: processed formula length: 12
lola: 96 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 674 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 96 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 842 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X ((p822 + 1 <= p728))) OR E (G ((p1463 <= p933))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 842 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((p1463 <= p933)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((p1463 <= p933)))
lola: processed formula length: 23
lola: 97 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: 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: (p933 + 1 <= p1463)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 1123 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((p822 + 1 <= p728)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX((p822 + 1 <= p728))
lola: processed formula length: 22
lola: 97 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 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 13 will run for 1123 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p2591) AND (p1443 <= p997))))
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 <= p2591) AND (p1443 <= p997))))
lola: processed formula length: 42
lola: 97 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: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 <= p2591) AND (p1443 <= p997))
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: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 14 will run for 1685 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((p333 <= 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: (1 <= p333)
lola: processed formula length: 11
lola: 100 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: (p333 <= 0)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (1 <= p333)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-14-0.sara.
lola: state equation: write sara problem file to CTLCardinality-14-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-14-1.sara.
lola: sara is running 0 secs || sara is running 0 secs || 4335 markings, 702065 edges, 867 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 7394 markings, 1198964 edges, 612 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 10140 markings, 1700600 edges, 549 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 14128 markings, 2184304 edges, 798 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 17025 markings, 2681922 edges, 579 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 19941 markings, 3176544 edges, 583 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 22607 markings, 3672252 edges, 533 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 25373 markings, 4159190 edges, 553 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 27934 markings, 4658944 edges, 512 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 32422 markings, 5554362 edges, 898 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 36012 markings, 6245766 edges, 718 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 38542 markings, 6718744 edges, 506 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 42433 markings, 7186238 edges, 778 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 45218 markings, 7671004 edges, 557 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 48255 markings, 8175378 edges, 607 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 53465 markings, 9093093 edges, 1042 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 59022 markings, 10088338 edges, 1111 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 63403 markings, 10957114 edges, 876 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 68778 markings, 11922533 edges, 1075 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 74597 markings, 12911850 edges, 1164 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 78345 markings, 13609121 edges, 750 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 80723 markings, 13964891 edges, 476 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 87528 markings, 14937452 edges, 1361 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 94138 markings, 15915681 edges, 1322 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 101344 markings, 16901913 edges, 1441 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 107919 markings, 17891078 edges, 1315 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 113992 markings, 18879865 edges, 1215 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 120108 markings, 19859355 edges, 1223 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 125900 markings, 20723226 edges, 1158 markings/sec, 140 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 145 secs || sara is running 145 secs || 131634 markings, 21466848 edges, 1147 markings/sec, 145 secs

lola: sara is running 150 secs || sara is running 150 secs || 138812 markings, 22407715 edges, 1436 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 143994 markings, 23292933 edges, 1036 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 147200 markings, 23772453 edges, 641 markings/sec, 160 secs
sara: place or transition ordering is non-deterministic

lola: state equation 1: solution produced
lola: sara is running 165 secs || sara is running 165 secs || 150154 markings, 24251682 edges, 591 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 153600 markings, 24726153 edges, 689 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 157088 markings, 25203875 edges, 698 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 159360 markings, 25693060 edges, 454 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 161745 markings, 26168418 edges, 477 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 164294 markings, 26646224 edges, 510 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 169265 markings, 27544148 edges, 994 markings/sec, 195 secs
lola: state equation 0: solution produced
lola: sara is running 200 secs || sara is running 200 secs || 174395 markings, 28495128 edges, 1026 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 179524 markings, 29477131 edges, 1026 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 184875 markings, 30472844 edges, 1070 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 190168 markings, 31457515 edges, 1059 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 196176 markings, 32446585 edges, 1202 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 201156 markings, 33445329 edges, 996 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 207577 markings, 34428382 edges, 1284 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 213241 markings, 35423458 edges, 1133 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 219166 markings, 36428525 edges, 1185 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 224474 markings, 37438625 edges, 1062 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 229526 markings, 38447645 edges, 1010 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 234966 markings, 39454581 edges, 1088 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 240750 markings, 40457006 edges, 1157 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 246962 markings, 41452765 edges, 1242 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 252395 markings, 42455132 edges, 1087 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 259128 markings, 43441721 edges, 1347 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 264662 markings, 44442897 edges, 1107 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 270643 markings, 45434872 edges, 1196 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 276058 markings, 46432699 edges, 1083 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 281379 markings, 47432525 edges, 1064 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 286429 markings, 48434511 edges, 1010 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 292333 markings, 49425970 edges, 1181 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 297636 markings, 50425596 edges, 1061 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 303025 markings, 51426891 edges, 1078 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 309186 markings, 52414096 edges, 1232 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 314931 markings, 53389255 edges, 1149 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 320323 markings, 54387762 edges, 1078 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 325605 markings, 55383936 edges, 1056 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 331331 markings, 56372231 edges, 1145 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 336082 markings, 57369449 edges, 950 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 342244 markings, 58354509 edges, 1232 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 347585 markings, 59350656 edges, 1068 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 352577 markings, 60346134 edges, 998 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 357931 markings, 61333542 edges, 1071 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 363209 markings, 62327229 edges, 1056 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 368107 markings, 63255162 edges, 980 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 373094 markings, 64210525 edges, 997 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 378418 markings, 65193170 edges, 1065 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 384871 markings, 66175230 edges, 1291 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 390794 markings, 67173517 edges, 1185 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 396198 markings, 68174355 edges, 1081 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 401840 markings, 69179266 edges, 1128 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 407538 markings, 70183440 edges, 1140 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 412633 markings, 71183298 edges, 1019 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 418847 markings, 72176379 edges, 1243 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 424378 markings, 73177060 edges, 1106 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 429806 markings, 74178617 edges, 1086 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 435479 markings, 75175796 edges, 1135 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 440778 markings, 76172693 edges, 1060 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 445998 markings, 77165723 edges, 1044 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 451356 markings, 78160975 edges, 1072 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 456683 markings, 79157236 edges, 1065 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 462512 markings, 80150919 edges, 1166 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 467822 markings, 81145985 edges, 1062 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 473655 markings, 82137130 edges, 1167 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 479670 markings, 83122879 edges, 1203 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 484919 markings, 84094481 edges, 1050 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 489684 markings, 85025675 edges, 953 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 495357 markings, 85993709 edges, 1135 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 500061 markings, 86970012 edges, 941 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 505401 markings, 87965286 edges, 1068 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 510425 markings, 88963457 edges, 1005 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 517008 markings, 89943536 edges, 1317 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 522825 markings, 90944863 edges, 1163 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 528565 markings, 91945155 edges, 1148 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 534415 markings, 92945978 edges, 1170 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 539699 markings, 93950032 edges, 1057 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 544692 markings, 94951086 edges, 999 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 550137 markings, 95954764 edges, 1089 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 556008 markings, 96952766 edges, 1174 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 561342 markings, 97953009 edges, 1067 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 566917 markings, 98949761 edges, 1115 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 572568 markings, 99949266 edges, 1130 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 578221 markings, 100944359 edges, 1131 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 584715 markings, 101940641 edges, 1299 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 590367 markings, 102949081 edges, 1130 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 595708 markings, 103959377 edges, 1068 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 601077 markings, 104967036 edges, 1074 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 607179 markings, 105966489 edges, 1220 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 612924 markings, 106962709 edges, 1149 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 619173 markings, 107953958 edges, 1250 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 624819 markings, 108952993 edges, 1129 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 630654 markings, 109949458 edges, 1167 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 636165 markings, 110951109 edges, 1102 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 641245 markings, 111954171 edges, 1016 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 646823 markings, 112952790 edges, 1116 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 652007 markings, 113954213 edges, 1037 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 657743 markings, 114947982 edges, 1147 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 663394 markings, 115942485 edges, 1130 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 668554 markings, 116941128 edges, 1032 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 674062 markings, 117935780 edges, 1102 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 680469 markings, 118921595 edges, 1281 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 685598 markings, 119922837 edges, 1026 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 690770 markings, 120923435 edges, 1034 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 696102 markings, 121919523 edges, 1066 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 702411 markings, 122913597 edges, 1262 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 708122 markings, 123908177 edges, 1142 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 714163 markings, 124901207 edges, 1208 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 719903 markings, 125894994 edges, 1148 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 725113 markings, 126894190 edges, 1042 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 730156 markings, 127892874 edges, 1009 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 735329 markings, 128889729 edges, 1035 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 741082 markings, 129880386 edges, 1151 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 747960 markings, 130865090 edges, 1376 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 754698 markings, 131849834 edges, 1348 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 761384 markings, 132831529 edges, 1337 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 767359 markings, 133818477 edges, 1195 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 772796 markings, 134809679 edges, 1087 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 778637 markings, 135793579 edges, 1168 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 786925 markings, 136755467 edges, 1658 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 793805 markings, 137728047 edges, 1376 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 800528 markings, 138702120 edges, 1345 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 805901 markings, 139695104 edges, 1075 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 812217 markings, 140673613 edges, 1263 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 817598 markings, 141666846 edges, 1076 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 822643 markings, 142662653 edges, 1009 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 828505 markings, 143653209 edges, 1172 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 834036 markings, 144641267 edges, 1106 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 838997 markings, 145635475 edges, 992 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 844235 markings, 146633017 edges, 1048 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 849746 markings, 147622876 edges, 1102 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 855661 markings, 148618697 edges, 1183 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 862176 markings, 149609572 edges, 1303 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 868021 markings, 150606978 edges, 1169 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 873167 markings, 151601041 edges, 1029 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 878330 markings, 152588994 edges, 1033 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 883574 markings, 153587889 edges, 1049 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 888977 markings, 154583986 edges, 1081 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 894239 markings, 155579447 edges, 1052 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 900518 markings, 156566578 edges, 1256 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 906074 markings, 157559073 edges, 1111 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 911613 markings, 158552282 edges, 1108 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 917238 markings, 159544545 edges, 1125 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 922614 markings, 160536994 edges, 1075 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 928534 markings, 161523451 edges, 1184 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 933588 markings, 162518343 edges, 1011 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 938599 markings, 163512870 edges, 1002 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 944117 markings, 164500086 edges, 1104 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 949491 markings, 165491490 edges, 1075 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 954828 markings, 166486144 edges, 1067 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 960320 markings, 167476749 edges, 1098 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 965459 markings, 168471078 edges, 1028 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 970500 markings, 169465420 edges, 1008 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 976147 markings, 170452309 edges, 1129 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 981839 markings, 171445927 edges, 1138 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 987410 markings, 172436551 edges, 1114 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 993051 markings, 173425604 edges, 1128 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 998378 markings, 174416157 edges, 1065 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 1004465 markings, 175399828 edges, 1217 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 1009392 markings, 176393420 edges, 985 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 1015131 markings, 177377329 edges, 1148 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 1020803 markings, 178364836 edges, 1134 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 1026461 markings, 179363233 edges, 1132 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 1032047 markings, 180359733 edges, 1117 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 1037503 markings, 181357360 edges, 1091 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 1043171 markings, 182350968 edges, 1134 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 1049253 markings, 183338945 edges, 1216 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 1054156 markings, 184339169 edges, 981 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 1062063 markings, 185308664 edges, 1581 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 1069270 markings, 186281221 edges, 1441 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 1075933 markings, 187256711 edges, 1333 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 1081947 markings, 188239550 edges, 1203 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 1087535 markings, 189224933 edges, 1118 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 1093861 markings, 190204351 edges, 1265 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 1098874 markings, 191199061 edges, 1003 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 1104319 markings, 192185981 edges, 1089 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 1109955 markings, 193175230 edges, 1127 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 1115788 markings, 194172531 edges, 1167 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 1121492 markings, 195166304 edges, 1141 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 1126904 markings, 196160578 edges, 1082 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 1133379 markings, 197144695 edges, 1295 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 1139306 markings, 198131506 edges, 1185 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 1144433 markings, 199126006 edges, 1025 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 1149703 markings, 200118010 edges, 1054 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 1154838 markings, 201111392 edges, 1027 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 1160104 markings, 202104218 edges, 1053 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 1165540 markings, 203093477 edges, 1087 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 1171155 markings, 204081698 edges, 1123 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 1176657 markings, 205070019 edges, 1100 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 1182200 markings, 206057786 edges, 1109 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 1187737 markings, 207045440 edges, 1107 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 1192889 markings, 208036920 edges, 1030 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 1198288 markings, 209024226 edges, 1080 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 1203827 markings, 210010969 edges, 1108 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 1209644 markings, 210994551 edges, 1163 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 1215255 markings, 211984336 edges, 1122 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 1220378 markings, 212973024 edges, 1025 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 1225903 markings, 213958130 edges, 1105 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 1230714 markings, 214951487 edges, 962 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 1235882 markings, 215939658 edges, 1034 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 1240750 markings, 216932142 edges, 974 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 1246469 markings, 217920196 edges, 1144 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 1252921 markings, 218897753 edges, 1290 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 1257703 markings, 219889541 edges, 956 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 1262913 markings, 220855348 edges, 1042 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 1268372 markings, 221840269 edges, 1092 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 1274004 markings, 222823634 edges, 1126 markings/sec, 1180 secs
lola: sara is running 1185 secs || sara is running 1185 secs || 1278696 markings, 223817511 edges, 938 markings/sec, 1185 secs
lola: sara is running 1190 secs || sara is running 1190 secs || 1284514 markings, 224817069 edges, 1164 markings/sec, 1190 secs
lola: sara is running 1195 secs || sara is running 1195 secs || 1290748 markings, 225811053 edges, 1247 markings/sec, 1195 secs
lola: sara is running 1200 secs || sara is running 1200 secs || 1297651 markings, 226796005 edges, 1381 markings/sec, 1200 secs
lola: sara is running 1205 secs || sara is running 1205 secs || 1303510 markings, 227791089 edges, 1172 markings/sec, 1205 secs
lola: sara is running 1210 secs || sara is running 1210 secs || 1308773 markings, 228788464 edges, 1053 markings/sec, 1210 secs
lola: sara is running 1215 secs || sara is running 1215 secs || 1313835 markings, 229786543 edges, 1012 markings/sec, 1215 secs
lola: sara is running 1220 secs || sara is running 1220 secs || 1319361 markings, 230780215 edges, 1105 markings/sec, 1220 secs
lola: sara is running 1225 secs || sara is running 1225 secs || 1324882 markings, 231772540 edges, 1104 markings/sec, 1225 secs
lola: sara is running 1230 secs || sara is running 1230 secs || 1330541 markings, 232763398 edges, 1132 markings/sec, 1230 secs
lola: sara is running 1235 secs || sara is running 1235 secs || 1335959 markings, 233757967 edges, 1084 markings/sec, 1235 secs
lola: sara is running 1240 secs || sara is running 1240 secs || 1340862 markings, 234754731 edges, 981 markings/sec, 1240 secs
lola: sara is running 1245 secs || sara is running 1245 secs || 1346105 markings, 235745387 edges, 1049 markings/sec, 1245 secs
lola: sara is running 1250 secs || sara is running 1250 secs || 1351525 markings, 236735330 edges, 1084 markings/sec, 1250 secs
lola: sara is running 1255 secs || sara is running 1255 secs || 1357000 markings, 237725468 edges, 1095 markings/sec, 1255 secs
lola: sara is running 1260 secs || sara is running 1260 secs || 1362682 markings, 238713033 edges, 1136 markings/sec, 1260 secs
lola: sara is running 1265 secs || sara is running 1265 secs || 1367927 markings, 239695900 edges, 1049 markings/sec, 1265 secs
lola: sara is running 1270 secs || sara is running 1270 secs || 1373445 markings, 240678882 edges, 1104 markings/sec, 1270 secs
lola: sara is running 1275 secs || sara is running 1275 secs || 1378855 markings, 241654172 edges, 1082 markings/sec, 1275 secs
lola: sara is running 1280 secs || sara is running 1280 secs || 1384338 markings, 242645269 edges, 1097 markings/sec, 1280 secs
lola: sara is running 1285 secs || sara is running 1285 secs || 1389653 markings, 243639358 edges, 1063 markings/sec, 1285 secs
lola: sara is running 1290 secs || sara is running 1290 secs || 1395199 markings, 244622558 edges, 1109 markings/sec, 1290 secs
lola: sara is running 1295 secs || sara is running 1295 secs || 1401354 markings, 245600154 edges, 1231 markings/sec, 1295 secs
lola: sara is running 1300 secs || sara is running 1300 secs || 1406295 markings, 246556901 edges, 988 markings/sec, 1300 secs
lola: sara is running 1305 secs || sara is running 1305 secs || 1411925 markings, 247535676 edges, 1126 markings/sec, 1305 secs
lola: sara is running 1310 secs || sara is running 1310 secs || 1418325 markings, 248535916 edges, 1280 markings/sec, 1310 secs
lola: sara is running 1315 secs || sara is running 1315 secs || 1423883 markings, 249543494 edges, 1112 markings/sec, 1315 secs
lola: sara is running 1320 secs || sara is running 1320 secs || 1429691 markings, 250549580 edges, 1162 markings/sec, 1320 secs
lola: sara is running 1325 secs || sara is running 1325 secs || 1435022 markings, 251558104 edges, 1066 markings/sec, 1325 secs
lola: sara is running 1330 secs || sara is running 1330 secs || 1440302 markings, 252564089 edges, 1056 markings/sec, 1330 secs
lola: sara is running 1335 secs || sara is running 1335 secs || 1447107 markings, 253554945 edges, 1361 markings/sec, 1335 secs
lola: sara is running 1340 secs || sara is running 1340 secs || 1452750 markings, 254556739 edges, 1129 markings/sec, 1340 secs
lola: sara is running 1345 secs || sara is running 1345 secs || 1458819 markings, 255553339 edges, 1214 markings/sec, 1345 secs
lola: sara is running 1350 secs || sara is running 1350 secs || 1463630 markings, 256563576 edges, 962 markings/sec, 1350 secs
lola: sara is running 1355 secs || sara is running 1355 secs || 1469325 markings, 257569531 edges, 1139 markings/sec, 1355 secs
lola: sara is running 1360 secs || sara is running 1360 secs || 1475460 markings, 258566539 edges, 1227 markings/sec, 1360 secs
lola: sara is running 1365 secs || sara is running 1365 secs || 1480823 markings, 259569315 edges, 1073 markings/sec, 1365 secs
lola: sara is running 1370 secs || sara is running 1370 secs || 1486097 markings, 260568128 edges, 1055 markings/sec, 1370 secs
lola: sara is running 1375 secs || sara is running 1375 secs || 1491539 markings, 261575105 edges, 1088 markings/sec, 1375 secs
lola: sara is running 1380 secs || sara is running 1380 secs || 1497153 markings, 262578866 edges, 1123 markings/sec, 1380 secs
lola: sara is running 1385 secs || sara is running 1385 secs || 1502408 markings, 263582226 edges, 1051 markings/sec, 1385 secs
lola: sara is running 1390 secs || sara is running 1390 secs || 1507555 markings, 264585491 edges, 1029 markings/sec, 1390 secs
lola: sara is running 1395 secs || sara is running 1395 secs || 1512971 markings, 265585836 edges, 1083 markings/sec, 1395 secs
lola: sara is running 1400 secs || sara is running 1400 secs || 1518767 markings, 266584212 edges, 1159 markings/sec, 1400 secs
lola: sara is running 1405 secs || sara is running 1405 secs || 1525212 markings, 267572292 edges, 1289 markings/sec, 1405 secs
lola: sara is running 1410 secs || sara is running 1410 secs || 1531415 markings, 268561486 edges, 1241 markings/sec, 1410 secs
lola: sara is running 1415 secs || sara is running 1415 secs || 1537023 markings, 269559620 edges, 1122 markings/sec, 1415 secs
lola: sara is running 1420 secs || sara is running 1420 secs || 1542911 markings, 270549633 edges, 1178 markings/sec, 1420 secs
lola: sara is running 1425 secs || sara is running 1425 secs || 1549065 markings, 271534551 edges, 1231 markings/sec, 1425 secs
lola: sara is running 1430 secs || sara is running 1430 secs || 1554565 markings, 272525319 edges, 1100 markings/sec, 1430 secs
lola: sara is running 1435 secs || sara is running 1435 secs || 1559652 markings, 273519242 edges, 1017 markings/sec, 1435 secs
lola: sara is running 1440 secs || sara is running 1440 secs || 1564921 markings, 274515993 edges, 1054 markings/sec, 1440 secs
lola: sara is running 1445 secs || sara is running 1445 secs || 1570663 markings, 275505921 edges, 1148 markings/sec, 1445 secs
lola: sara is running 1450 secs || sara is running 1450 secs || 1576067 markings, 276499782 edges, 1081 markings/sec, 1450 secs
lola: sara is running 1455 secs || sara is running 1455 secs || 1581436 markings, 277496103 edges, 1074 markings/sec, 1455 secs
lola: sara is running 1460 secs || sara is running 1460 secs || 1586497 markings, 278493486 edges, 1012 markings/sec, 1460 secs
lola: sara is running 1465 secs || sara is running 1465 secs || 1592172 markings, 279483715 edges, 1135 markings/sec, 1465 secs
lola: sara is running 1470 secs || sara is running 1470 secs || 1598090 markings, 280466967 edges, 1184 markings/sec, 1470 secs
lola: sara is running 1475 secs || sara is running 1475 secs || 1603112 markings, 281461435 edges, 1004 markings/sec, 1475 secs
lola: sara is running 1480 secs || sara is running 1480 secs || 1608854 markings, 282446725 edges, 1148 markings/sec, 1480 secs
lola: sara is running 1485 secs || sara is running 1485 secs || 1613815 markings, 283441006 edges, 992 markings/sec, 1485 secs
lola: sara is running 1490 secs || sara is running 1490 secs || 1619176 markings, 284426036 edges, 1072 markings/sec, 1490 secs
lola: sara is running 1495 secs || sara is running 1495 secs || 1624230 markings, 285417636 edges, 1011 markings/sec, 1495 secs
lola: sara is running 1500 secs || sara is running 1500 secs || 1629401 markings, 286389807 edges, 1034 markings/sec, 1500 secs
lola: sara is running 1505 secs || sara is running 1505 secs || 1634857 markings, 287352004 edges, 1091 markings/sec, 1505 secs
lola: sara is running 1510 secs || sara is running 1510 secs || 1640133 markings, 288323772 edges, 1055 markings/sec, 1510 secs
lola: sara is running 1515 secs || sara is running 1515 secs || 1645005 markings, 289287670 edges, 974 markings/sec, 1515 secs
lola: sara is running 1520 secs || sara is running 1520 secs || 1650375 markings, 290243697 edges, 1074 markings/sec, 1520 secs
lola: sara is running 1525 secs || sara is running 1525 secs || 1655945 markings, 291195784 edges, 1114 markings/sec, 1525 secs
lola: sara is running 1530 secs || sara is running 1530 secs || 1662968 markings, 292128536 edges, 1405 markings/sec, 1530 secs
lola: sara is running 1535 secs || sara is running 1535 secs || 1668421 markings, 293086280 edges, 1091 markings/sec, 1535 secs
lola: sara is running 1540 secs || sara is running 1540 secs || 1673225 markings, 294051600 edges, 961 markings/sec, 1540 secs
lola: sara is running 1545 secs || sara is running 1545 secs || 1679232 markings, 294996692 edges, 1201 markings/sec, 1545 secs
lola: sara is running 1550 secs || sara is running 1550 secs || 1684398 markings, 295946791 edges, 1033 markings/sec, 1550 secs
lola: sara is running 1555 secs || sara is running 1555 secs || 1689221 markings, 296906468 edges, 965 markings/sec, 1555 secs
lola: sara is running 1560 secs || sara is running 1560 secs || 1694275 markings, 297854269 edges, 1011 markings/sec, 1560 secs
lola: sara is running 1565 secs || sara is running 1565 secs || 1699475 markings, 298801732 edges, 1040 markings/sec, 1565 secs
lola: sara is running 1570 secs || sara is running 1570 secs || 1704261 markings, 299762633 edges, 957 markings/sec, 1570 secs
lola: sara is running 1575 secs || sara is running 1575 secs || 1709863 markings, 300712508 edges, 1120 markings/sec, 1575 secs
lola: sara is running 1580 secs || sara is running 1580 secs || 1715679 markings, 301655063 edges, 1163 markings/sec, 1580 secs
lola: sara is running 1585 secs || sara is running 1585 secs || 1721181 markings, 302600732 edges, 1100 markings/sec, 1585 secs
lola: sara is running 1590 secs || sara is running 1590 secs || 1726930 markings, 303563678 edges, 1150 markings/sec, 1590 secs
lola: sara is running 1595 secs || sara is running 1595 secs || 1732240 markings, 304514934 edges, 1062 markings/sec, 1595 secs
lola: sara is running 1600 secs || sara is running 1600 secs || 1737608 markings, 305475369 edges, 1074 markings/sec, 1600 secs
lola: sara is running 1605 secs || sara is running 1605 secs || 1742911 markings, 306419494 edges, 1061 markings/sec, 1605 secs
lola: sara is running 1610 secs || sara is running 1610 secs || 1747977 markings, 307368460 edges, 1013 markings/sec, 1610 secs
lola: sara is running 1615 secs || sara is running 1615 secs || 1752847 markings, 308321877 edges, 974 markings/sec, 1615 secs
lola: sara is running 1620 secs || sara is running 1620 secs || 1758781 markings, 309267258 edges, 1187 markings/sec, 1620 secs
lola: sara is running 1625 secs || sara is running 1625 secs || 1766094 markings, 310195208 edges, 1463 markings/sec, 1625 secs
lola: sara is running 1630 secs || sara is running 1630 secs || 1773769 markings, 311163097 edges, 1535 markings/sec, 1630 secs
lola: sara is running 1635 secs || sara is running 1635 secs || 1780552 markings, 312121675 edges, 1357 markings/sec, 1635 secs
lola: sara is running 1640 secs || sara is running 1640 secs || 1786579 markings, 313062010 edges, 1205 markings/sec, 1640 secs
lola: sara is running 1645 secs || sara is running 1645 secs || 1793327 markings, 313995785 edges, 1350 markings/sec, 1645 secs
lola: sara is running 1650 secs || sara is running 1650 secs || 1799634 markings, 314943820 edges, 1261 markings/sec, 1650 secs
lola: sara is running 1655 secs || sara is running 1655 secs || 1804577 markings, 315893825 edges, 989 markings/sec, 1655 secs
lola: sara is running 1660 secs || sara is running 1660 secs || 1810415 markings, 316856667 edges, 1168 markings/sec, 1660 secs
lola: sara is running 1665 secs || sara is running 1665 secs || 1815648 markings, 317841514 edges, 1047 markings/sec, 1665 secs
lola: sara is running 1670 secs || sara is running 1670 secs || 1820844 markings, 318826954 edges, 1039 markings/sec, 1670 secs
lola: sara is running 1675 secs || sara is running 1675 secs || 1825996 markings, 319817134 edges, 1030 markings/sec, 1675 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no no unknown yes yes yes yes yes yes no no no unknown yes yes
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: yes no no unknown yes yes yes yes yes yes no no no unknown yes yes
lola: memory consumption: 14908048 KB
lola: time consumption: 1886 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: memory consumption: 14910152 KB
lola: time consumption: 1886 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 15 will run for 1660 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((p1927 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(AF((p1927 <= 0)))
lola: processed formula length: 20
lola: 98 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: 4 markings, 6 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((p333 <= 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: (1 <= p333)
lola: processed formula length: 11
lola: 100 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: (p333 <= 0)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (1 <= p333)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-16-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-16-1.sara.
lola: state equation: write sara problem file to CTLCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-16-0.sara.
lola: sara is running 0 secs || sara is running 0 secs || 5176 markings, 847351 edges, 1035 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 11285 markings, 1848227 edges, 1222 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 17929 markings, 2843097 edges, 1329 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 23632 markings, 3844383 edges, 1141 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 28751 markings, 4818661 edges, 1024 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 33740 markings, 5820323 edges, 998 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 39330 markings, 6805090 edges, 1118 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 45842 markings, 7786976 edges, 1302 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 50326 markings, 8538531 edges, 897 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 53123 markings, 9032390 edges, 559 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 57402 markings, 9794998 edges, 856 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 62618 markings, 10788380 edges, 1043 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 66927 markings, 11611432 edges, 862 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 70834 markings, 12299788 edges, 781 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 76498 markings, 13283058 edges, 1133 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 83261 markings, 14262779 edges, 1353 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 89091 markings, 15240340 edges, 1166 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 96503 markings, 16217703 edges, 1482 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 103574 markings, 17203081 edges, 1414 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 109806 markings, 18190977 edges, 1246 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 115950 markings, 19176290 edges, 1229 markings/sec, 100 secs
sara: place or transition ordering is non-deterministic

lola: sara is running 105 secs || sara is running 105 secs || 122117 markings, 20161679 edges, 1233 markings/sec, 105 secs
sara: place or transition ordering is non-deterministic

lola: sara is running 110 secs || sara is running 110 secs || 128883 markings, 21136619 edges, 1353 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 136762 markings, 22098852 edges, 1576 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 142596 markings, 23072882 edges, 1167 markings/sec, 120 secs
lola: state equation 0: solution produced
lola: sara is running 125 secs || sara is running 125 secs || 148962 markings, 24045013 edges, 1273 markings/sec, 125 secs
lola: state equation 1: solution produced
lola: sara is running 130 secs || sara is running 130 secs || 155849 markings, 25013268 edges, 1377 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 160970 markings, 26003670 edges, 1024 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 166131 markings, 26998568 edges, 1032 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 171621 markings, 27989920 edges, 1098 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 176784 markings, 28981782 edges, 1033 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 182394 markings, 29977082 edges, 1122 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 187710 markings, 30969044 edges, 1063 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 193470 markings, 31954448 edges, 1152 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 198565 markings, 32931373 edges, 1019 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 204180 markings, 33917929 edges, 1123 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 210143 markings, 34902186 edges, 1193 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 215937 markings, 35886374 edges, 1159 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 221423 markings, 36863188 edges, 1097 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 226441 markings, 37839554 edges, 1004 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 231493 markings, 38835127 edges, 1010 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 237126 markings, 39838815 edges, 1127 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 243173 markings, 40835428 edges, 1209 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 248889 markings, 41832762 edges, 1143 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 255133 markings, 42824224 edges, 1249 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 261007 markings, 43818005 edges, 1175 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 266619 markings, 44814497 edges, 1122 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 272850 markings, 45803301 edges, 1246 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 278133 markings, 46802701 edges, 1057 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 283210 markings, 47803467 edges, 1015 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 288823 markings, 48796786 edges, 1123 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 294135 markings, 49794127 edges, 1062 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 299724 markings, 50791313 edges, 1118 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 305427 markings, 51785216 edges, 1141 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 311212 markings, 52777987 edges, 1157 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 317142 markings, 53774196 edges, 1186 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 322283 markings, 54771534 edges, 1028 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 327712 markings, 55766951 edges, 1086 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 333318 markings, 56758537 edges, 1121 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 338394 markings, 57754579 edges, 1015 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 344127 markings, 58741348 edges, 1147 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 349560 markings, 59734563 edges, 1087 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 354600 markings, 60731291 edges, 1008 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 360046 markings, 61727395 edges, 1089 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 365210 markings, 62724994 edges, 1033 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 370315 markings, 63721860 edges, 1021 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 376080 markings, 64711070 edges, 1153 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 380976 markings, 65709358 edges, 979 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 387956 markings, 66702310 edges, 1396 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 393642 markings, 67702355 edges, 1137 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 399233 markings, 68703536 edges, 1118 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 404888 markings, 69704293 edges, 1131 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 410229 markings, 70705511 edges, 1068 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 416390 markings, 71698620 edges, 1232 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 421708 markings, 72697512 edges, 1064 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 427050 markings, 73697625 edges, 1068 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 432890 markings, 74691199 edges, 1168 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 438325 markings, 75687590 edges, 1087 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 443146 markings, 76688711 edges, 964 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 448771 markings, 77681326 edges, 1125 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 454116 markings, 78678742 edges, 1069 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 459571 markings, 79672384 edges, 1091 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 465203 markings, 80663655 edges, 1126 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 470847 markings, 81657040 edges, 1129 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 477241 markings, 82643538 edges, 1279 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 482599 markings, 83638771 edges, 1072 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 487731 markings, 84636468 edges, 1026 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 493254 markings, 85630875 edges, 1105 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 498493 markings, 86624850 edges, 1048 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 503251 markings, 87625009 edges, 952 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 508499 markings, 88620523 edges, 1050 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 514662 markings, 89610850 edges, 1233 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 520899 markings, 90610783 edges, 1247 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 526737 markings, 91611213 edges, 1168 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 532494 markings, 92613955 edges, 1151 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 537925 markings, 93618416 edges, 1086 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 543060 markings, 94623063 edges, 1027 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 548560 markings, 95626119 edges, 1100 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 554331 markings, 96624080 edges, 1154 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 559544 markings, 97626956 edges, 1043 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 565349 markings, 98624879 edges, 1161 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 570689 markings, 99626185 edges, 1068 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 576167 markings, 100624433 edges, 1096 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 582567 markings, 101614426 edges, 1280 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 588584 markings, 102620170 edges, 1203 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 593933 markings, 103628522 edges, 1070 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 599232 markings, 104635407 edges, 1060 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 605044 markings, 105639330 edges, 1162 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 611307 markings, 106634435 edges, 1253 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 617582 markings, 107626445 edges, 1255 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 623152 markings, 108624581 edges, 1114 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 628249 markings, 109630023 edges, 1019 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 634628 markings, 110621026 edges, 1276 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 639466 markings, 111627838 edges, 968 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 645057 markings, 112625944 edges, 1118 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 650279 markings, 113625469 edges, 1044 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 655396 markings, 114626340 edges, 1023 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 661681 markings, 115614590 edges, 1257 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 666740 markings, 116615425 edges, 1012 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 672352 markings, 117609767 edges, 1122 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 678426 markings, 118600330 edges, 1215 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 683953 markings, 119597568 edges, 1105 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 689130 markings, 120599891 edges, 1035 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 694434 markings, 121597549 edges, 1061 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 700471 markings, 122592894 edges, 1207 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 706282 markings, 123589805 edges, 1162 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 712303 markings, 124583685 edges, 1204 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 718178 markings, 125579047 edges, 1175 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 723462 markings, 126578168 edges, 1057 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 728601 markings, 127576332 edges, 1028 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 733621 markings, 128576114 edges, 1004 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 738871 markings, 129571018 edges, 1050 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 745778 markings, 130554659 edges, 1381 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 752667 markings, 131537968 edges, 1378 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 759360 markings, 132519910 edges, 1339 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 765755 markings, 133504320 edges, 1279 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 771147 markings, 134498436 edges, 1078 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 776220 markings, 135493986 edges, 1015 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 784712 markings, 136457063 edges, 1698 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 791898 markings, 137428720 edges, 1437 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 798928 markings, 138401880 edges, 1406 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 804307 markings, 139395200 edges, 1076 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 810543 markings, 140378083 edges, 1247 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 815888 markings, 141374766 edges, 1069 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 821149 markings, 142373401 edges, 1052 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 826965 markings, 143369700 edges, 1163 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 832430 markings, 144364707 edges, 1093 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 837650 markings, 145360162 edges, 1044 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 842952 markings, 146359196 edges, 1060 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 848287 markings, 147352320 edges, 1067 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 854084 markings, 148348374 edges, 1159 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 860592 markings, 149340297 edges, 1302 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 866552 markings, 150339005 edges, 1192 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 871810 markings, 151340148 edges, 1052 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 876953 markings, 152342422 edges, 1029 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 882175 markings, 153342444 edges, 1044 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 887485 markings, 154341924 edges, 1062 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 892946 markings, 155337996 edges, 1092 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 899202 markings, 156328786 edges, 1251 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 904646 markings, 157324934 edges, 1089 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 910195 markings, 158320238 edges, 1110 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 915780 markings, 159316208 edges, 1117 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 921330 markings, 160310861 edges, 1110 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 926979 markings, 161301851 edges, 1130 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 932540 markings, 162293192 edges, 1112 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 937634 markings, 163289374 edges, 1019 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 942936 markings, 164281489 edges, 1060 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 948471 markings, 165271117 edges, 1107 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 953586 markings, 166269163 edges, 1023 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 958821 markings, 167264184 edges, 1047 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 964407 markings, 168255619 edges, 1117 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 969308 markings, 169251616 edges, 980 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 974915 markings, 170241272 edges, 1121 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 980529 markings, 171233885 edges, 1123 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 986233 markings, 172225905 edges, 1141 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 991840 markings, 173217658 edges, 1121 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 997069 markings, 174212267 edges, 1046 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 1003419 markings, 175194757 edges, 1270 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 1008427 markings, 176190949 edges, 1002 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 1013754 markings, 177181930 edges, 1065 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 1019559 markings, 178167675 edges, 1161 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 1025394 markings, 179167617 edges, 1167 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 1030778 markings, 180169430 edges, 1077 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 1036406 markings, 181161404 edges, 1126 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 1042077 markings, 182156469 edges, 1134 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 1048225 markings, 183139785 edges, 1230 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 1053168 markings, 184141601 edges, 989 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 1060660 markings, 185115388 edges, 1498 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 1067817 markings, 186095001 edges, 1431 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 1074677 markings, 187072521 edges, 1372 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 1080948 markings, 188053656 edges, 1254 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 1086548 markings, 189043185 edges, 1120 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 1093000 markings, 190023739 edges, 1290 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 1098022 markings, 191019839 edges, 1004 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 1103461 markings, 192011644 edges, 1088 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 1108600 markings, 193002600 edges, 1028 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 1114821 markings, 194000041 edges, 1244 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 1120589 markings, 194997556 edges, 1154 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 1125881 markings, 195995164 edges, 1058 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 1132150 markings, 196985400 edges, 1254 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 1138494 markings, 197972628 edges, 1269 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 1143607 markings, 198971016 edges, 1023 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 1148799 markings, 199962556 edges, 1038 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 1154056 markings, 200955699 edges, 1051 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 1159156 markings, 201950743 edges, 1020 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 1164768 markings, 202940356 edges, 1122 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 1170445 markings, 203928947 edges, 1135 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 1175772 markings, 204921584 edges, 1065 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 1181421 markings, 205909816 edges, 1130 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 1187012 markings, 206899024 edges, 1118 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 1192126 markings, 207892643 edges, 1023 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 1197371 markings, 208884775 edges, 1049 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 1202958 markings, 209872346 edges, 1117 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 1208906 markings, 210855168 edges, 1190 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 1214612 markings, 211847346 edges, 1141 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 1219538 markings, 212840603 edges, 985 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 1225258 markings, 213825301 edges, 1144 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 1230061 markings, 214820409 edges, 961 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 1235223 markings, 215811110 edges, 1032 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 1240147 markings, 216804187 edges, 985 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 1245753 markings, 217794152 edges, 1121 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 1252331 markings, 218772522 edges, 1316 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 1257152 markings, 219766141 edges, 964 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 1262381 markings, 220754711 edges, 1046 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 1267845 markings, 221743309 edges, 1093 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 1273343 markings, 222730075 edges, 1100 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 1278242 markings, 223717705 edges, 980 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 1283948 markings, 224716025 edges, 1141 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 1289997 markings, 225713166 edges, 1210 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 1297113 markings, 226695631 edges, 1423 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 1302970 markings, 227692527 edges, 1171 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 1308204 markings, 228692740 edges, 1047 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 1313353 markings, 229688500 edges, 1030 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 1318837 markings, 230683537 edges, 1097 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 1324279 markings, 231678098 edges, 1088 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 1329953 markings, 232668611 edges, 1135 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 1335452 markings, 233663144 edges, 1100 markings/sec, 1180 secs
lola: sara is running 1185 secs || sara is running 1185 secs || 1340417 markings, 234660375 edges, 993 markings/sec, 1185 secs
lola: sara is running 1190 secs || sara is running 1190 secs || 1345586 markings, 235653419 edges, 1034 markings/sec, 1190 secs
lola: sara is running 1195 secs || sara is running 1195 secs || 1351032 markings, 236643992 edges, 1089 markings/sec, 1195 secs
lola: sara is running 1200 secs || sara is running 1200 secs || 1356559 markings, 237634151 edges, 1105 markings/sec, 1200 secs
lola: sara is running 1205 secs || sara is running 1205 secs || 1362133 markings, 238623325 edges, 1115 markings/sec, 1205 secs
lola: sara is running 1210 secs || sara is running 1210 secs || 1367527 markings, 239614242 edges, 1079 markings/sec, 1210 secs
lola: sara is running 1215 secs || sara is running 1215 secs || 1373077 markings, 240604478 edges, 1110 markings/sec, 1215 secs
lola: sara is running 1220 secs || sara is running 1220 secs || 1378441 markings, 241595086 edges, 1073 markings/sec, 1220 secs
lola: sara is running 1225 secs || sara is running 1225 secs || 1384020 markings, 242587353 edges, 1116 markings/sec, 1225 secs
lola: sara is running 1230 secs || sara is running 1230 secs || 1389439 markings, 243582004 edges, 1084 markings/sec, 1230 secs
lola: sara is running 1235 secs || sara is running 1235 secs || 1394980 markings, 244570325 edges, 1108 markings/sec, 1235 secs
lola: sara is running 1240 secs || sara is running 1240 secs || 1401109 markings, 245550504 edges, 1226 markings/sec, 1240 secs
lola: sara is running 1245 secs || sara is running 1245 secs || 1406225 markings, 246542093 edges, 1023 markings/sec, 1245 secs
lola: sara is running 1250 secs || sara is running 1250 secs || 1412013 markings, 247551670 edges, 1158 markings/sec, 1250 secs
lola: sara is running 1255 secs || sara is running 1255 secs || 1418454 markings, 248553532 edges, 1288 markings/sec, 1255 secs
lola: sara is running 1260 secs || sara is running 1260 secs || 1424013 markings, 249563467 edges, 1112 markings/sec, 1260 secs
lola: sara is running 1265 secs || sara is running 1265 secs || 1429803 markings, 250571622 edges, 1158 markings/sec, 1265 secs
lola: sara is running 1270 secs || sara is running 1270 secs || 1435132 markings, 251580864 edges, 1066 markings/sec, 1270 secs
lola: sara is running 1275 secs || sara is running 1275 secs || 1440420 markings, 252588256 edges, 1058 markings/sec, 1275 secs
lola: sara is running 1280 secs || sara is running 1280 secs || 1447250 markings, 253579570 edges, 1366 markings/sec, 1280 secs
lola: sara is running 1285 secs || sara is running 1285 secs || 1452874 markings, 254582976 edges, 1125 markings/sec, 1285 secs
lola: sara is running 1290 secs || sara is running 1290 secs || 1458984 markings, 255580308 edges, 1222 markings/sec, 1290 secs
lola: sara is running 1295 secs || sara is running 1295 secs || 1463747 markings, 256590876 edges, 953 markings/sec, 1295 secs
lola: sara is running 1300 secs || sara is running 1300 secs || 1469480 markings, 257596511 edges, 1147 markings/sec, 1300 secs
lola: sara is running 1305 secs || sara is running 1305 secs || 1475608 markings, 258593607 edges, 1226 markings/sec, 1305 secs
lola: sara is running 1310 secs || sara is running 1310 secs || 1480984 markings, 259596233 edges, 1075 markings/sec, 1310 secs
lola: sara is running 1315 secs || sara is running 1315 secs || 1486271 markings, 260599201 edges, 1057 markings/sec, 1315 secs
lola: sara is running 1320 secs || sara is running 1320 secs || 1491746 markings, 261607782 edges, 1095 markings/sec, 1320 secs
lola: sara is running 1325 secs || sara is running 1325 secs || 1497363 markings, 262612804 edges, 1123 markings/sec, 1325 secs
lola: sara is running 1330 secs || sara is running 1330 secs || 1502553 markings, 263619018 edges, 1038 markings/sec, 1330 secs
lola: sara is running 1335 secs || sara is running 1335 secs || 1507708 markings, 264625312 edges, 1031 markings/sec, 1335 secs
lola: sara is running 1340 secs || sara is running 1340 secs || 1513192 markings, 265627467 edges, 1097 markings/sec, 1340 secs
lola: sara is running 1345 secs || sara is running 1345 secs || 1518999 markings, 266628898 edges, 1161 markings/sec, 1345 secs
lola: sara is running 1350 secs || sara is running 1350 secs || 1525455 markings, 267618962 edges, 1291 markings/sec, 1350 secs
lola: sara is running 1355 secs || sara is running 1355 secs || 1531702 markings, 268609132 edges, 1249 markings/sec, 1355 secs
lola: sara is running 1360 secs || sara is running 1360 secs || 1537282 markings, 269609460 edges, 1116 markings/sec, 1360 secs
lola: sara is running 1365 secs || sara is running 1365 secs || 1543181 markings, 270601484 edges, 1180 markings/sec, 1365 secs
lola: sara is running 1370 secs || sara is running 1370 secs || 1549514 markings, 271588614 edges, 1267 markings/sec, 1370 secs
lola: sara is running 1375 secs || sara is running 1375 secs || 1554885 markings, 272586881 edges, 1074 markings/sec, 1375 secs
lola: sara is running 1380 secs || sara is running 1380 secs || 1560041 markings, 273589261 edges, 1031 markings/sec, 1380 secs
lola: sara is running 1385 secs || sara is running 1385 secs || 1565494 markings, 274585222 edges, 1091 markings/sec, 1385 secs
lola: sara is running 1390 secs || sara is running 1390 secs || 1571118 markings, 275579299 edges, 1125 markings/sec, 1390 secs
lola: sara is running 1395 secs || sara is running 1395 secs || 1576452 markings, 276575069 edges, 1067 markings/sec, 1395 secs
lola: sara is running 1400 secs || sara is running 1400 secs || 1581817 markings, 277565469 edges, 1073 markings/sec, 1400 secs
lola: sara is running 1405 secs || sara is running 1405 secs || 1586767 markings, 278544877 edges, 990 markings/sec, 1405 secs
lola: sara is running 1410 secs || sara is running 1410 secs || 1592463 markings, 279536537 edges, 1139 markings/sec, 1410 secs
lola: sara is running 1415 secs || sara is running 1415 secs || 1598395 markings, 280522819 edges, 1186 markings/sec, 1415 secs
lola: sara is running 1420 secs || sara is running 1420 secs || 1603423 markings, 281520172 edges, 1006 markings/sec, 1420 secs
lola: sara is running 1425 secs || sara is running 1425 secs || 1609002 markings, 282481481 edges, 1116 markings/sec, 1425 secs
lola: sara is running 1430 secs || sara is running 1430 secs || 1613950 markings, 283469682 edges, 990 markings/sec, 1430 secs
lola: sara is running 1435 secs || sara is running 1435 secs || 1619234 markings, 284435651 edges, 1057 markings/sec, 1435 secs
lola: sara is running 1440 secs || sara is running 1440 secs || 1624283 markings, 285427026 edges, 1010 markings/sec, 1440 secs
lola: sara is running 1445 secs || sara is running 1445 secs || 1629625 markings, 286424291 edges, 1068 markings/sec, 1445 secs
lola: sara is running 1450 secs || sara is running 1450 secs || 1635245 markings, 287429100 edges, 1124 markings/sec, 1450 secs
lola: sara is running 1455 secs || sara is running 1455 secs || 1640624 markings, 288402906 edges, 1076 markings/sec, 1455 secs
lola: sara is running 1460 secs || sara is running 1460 secs || 1645705 markings, 289401907 edges, 1016 markings/sec, 1460 secs
lola: sara is running 1465 secs || sara is running 1465 secs || 1651226 markings, 290402143 edges, 1104 markings/sec, 1465 secs
lola: sara is running 1470 secs || sara is running 1470 secs || 1657009 markings, 291397559 edges, 1157 markings/sec, 1470 secs
lola: sara is running 1475 secs || sara is running 1475 secs || 1664579 markings, 292372074 edges, 1514 markings/sec, 1475 secs
lola: sara is running 1480 secs || sara is running 1480 secs || 1669800 markings, 293370939 edges, 1044 markings/sec, 1480 secs
lola: sara is running 1485 secs || sara is running 1485 secs || 1675417 markings, 294364553 edges, 1123 markings/sec, 1485 secs
lola: sara is running 1490 secs || sara is running 1490 secs || 1681068 markings, 295357423 edges, 1130 markings/sec, 1490 secs
lola: sara is running 1495 secs || sara is running 1495 secs || 1686260 markings, 296353803 edges, 1038 markings/sec, 1495 secs
lola: sara is running 1500 secs || sara is running 1500 secs || 1691482 markings, 297345997 edges, 1044 markings/sec, 1500 secs
lola: sara is running 1505 secs || sara is running 1505 secs || 1697087 markings, 298340420 edges, 1121 markings/sec, 1505 secs
lola: sara is running 1510 secs || sara is running 1510 secs || 1702171 markings, 299337335 edges, 1017 markings/sec, 1510 secs
lola: sara is running 1515 secs || sara is running 1515 secs || 1707579 markings, 300329767 edges, 1082 markings/sec, 1515 secs
lola: sara is running 1520 secs || sara is running 1520 secs || 1713417 markings, 301319395 edges, 1168 markings/sec, 1520 secs
lola: sara is running 1525 secs || sara is running 1525 secs || 1719272 markings, 302306996 edges, 1171 markings/sec, 1525 secs
lola: sara is running 1530 secs || sara is running 1530 secs || 1725454 markings, 303298986 edges, 1236 markings/sec, 1530 secs
lola: sara is running 1535 secs || sara is running 1535 secs || 1731115 markings, 304292349 edges, 1132 markings/sec, 1535 secs
lola: sara is running 1540 secs || sara is running 1540 secs || 1736551 markings, 305285630 edges, 1087 markings/sec, 1540 secs
lola: sara is running 1545 secs || sara is running 1545 secs || 1742183 markings, 306280730 edges, 1126 markings/sec, 1545 secs
lola: sara is running 1550 secs || sara is running 1550 secs || 1747519 markings, 307276167 edges, 1067 markings/sec, 1550 secs
lola: sara is running 1555 secs || sara is running 1555 secs || 1752608 markings, 308273540 edges, 1018 markings/sec, 1555 secs
lola: sara is running 1560 secs || sara is running 1560 secs || 1758723 markings, 309262366 edges, 1223 markings/sec, 1560 secs
lola: sara is running 1565 secs || sara is running 1565 secs || 1766472 markings, 310236406 edges, 1550 markings/sec, 1565 secs
lola: sara is running 1570 secs || sara is running 1570 secs || 1774116 markings, 311212325 edges, 1529 markings/sec, 1570 secs
lola: sara is running 1575 secs || sara is running 1575 secs || 1781079 markings, 312190015 edges, 1393 markings/sec, 1575 secs
lola: sara is running 1580 secs || sara is running 1580 secs || 1787339 markings, 313166615 edges, 1252 markings/sec, 1580 secs
lola: sara is running 1585 secs || sara is running 1585 secs || 1794274 markings, 314137774 edges, 1387 markings/sec, 1585 secs
lola: sara is running 1590 secs || sara is running 1590 secs || 1800735 markings, 315117026 edges, 1292 markings/sec, 1590 secs
lola: sara is running 1595 secs || sara is running 1595 secs || 1805603 markings, 316100851 edges, 974 markings/sec, 1595 secs
lola: sara is running 1600 secs || sara is running 1600 secs || 1811574 markings, 317075482 edges, 1194 markings/sec, 1600 secs
lola: sara is running 1605 secs || sara is running 1605 secs || 1816671 markings, 318060249 edges, 1019 markings/sec, 1605 secs
lola: sara is running 1610 secs || sara is running 1610 secs || 1821758 markings, 319027077 edges, 1017 markings/sec, 1610 secs
lola: sara is running 1615 secs || sara is running 1615 secs || 1827171 markings, 320009314 edges, 1083 markings/sec, 1615 secs
lola: sara is running 1620 secs || sara is running 1620 secs || 1832714 markings, 321004594 edges, 1109 markings/sec, 1620 secs
lola: sara is running 1625 secs || sara is running 1625 secs || 1837997 markings, 321995054 edges, 1057 markings/sec, 1625 secs
lola: sara is running 1630 secs || sara is running 1630 secs || 1843509 markings, 322983413 edges, 1102 markings/sec, 1630 secs
lola: sara is running 1635 secs || sara is running 1635 secs || 1849592 markings, 323964529 edges, 1217 markings/sec, 1635 secs
lola: sara is running 1640 secs || sara is running 1640 secs || 1854936 markings, 324936827 edges, 1069 markings/sec, 1640 secs
lola: sara is running 1645 secs || sara is running 1645 secs || 1859864 markings, 325901583 edges, 986 markings/sec, 1645 secs
lola: sara is running 1650 secs || sara is running 1650 secs || 1865768 markings, 326881363 edges, 1181 markings/sec, 1650 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no no no yes yes yes yes yes yes no no no unknown yes yes
lola:
preliminary result: yes no no no yes yes yes yes yes yes no no no unknown yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no no no yes yes yes yes yes yes no no no unknown yes yes
Segmentation fault
rslt: finished

BK_STOP 1552453604421

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

make: [verify] Error 139 (ignored)

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-8a"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is DLCflexbar-PT-8a, 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 r049-oct2-155234404800292"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-8a.tgz
mv DLCflexbar-PT-8a execution
cd execution
if [ "CTLCardinality" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "CTLCardinality" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "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
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 ;