fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r268-smll-152749145200077
Last Updated
June 26, 2018

About the Execution of LoLA for ASLink-PT-05a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
3795.760 3569443.00 3621522.00 9973.20 ?FTFTFFFFTTFTTFT normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..................
/home/mcc/execution
total 680K
-rw-r--r-- 1 mcc users 3.0K May 29 16:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 29 16:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 28 11:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 28 11:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 28 09:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 28 07:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K May 28 07:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.3K May 27 05:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 27 05:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.4K May 26 06:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 26 06:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 4 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 516K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is ASLink-PT-05a, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145200077

=====================================================================

--------------------
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 ASLink-PT-05a-LTLCardinality-00
FORMULA_NAME ASLink-PT-05a-LTLCardinality-01
FORMULA_NAME ASLink-PT-05a-LTLCardinality-02
FORMULA_NAME ASLink-PT-05a-LTLCardinality-03
FORMULA_NAME ASLink-PT-05a-LTLCardinality-04
FORMULA_NAME ASLink-PT-05a-LTLCardinality-05
FORMULA_NAME ASLink-PT-05a-LTLCardinality-06
FORMULA_NAME ASLink-PT-05a-LTLCardinality-07
FORMULA_NAME ASLink-PT-05a-LTLCardinality-08
FORMULA_NAME ASLink-PT-05a-LTLCardinality-09
FORMULA_NAME ASLink-PT-05a-LTLCardinality-10
FORMULA_NAME ASLink-PT-05a-LTLCardinality-11
FORMULA_NAME ASLink-PT-05a-LTLCardinality-12
FORMULA_NAME ASLink-PT-05a-LTLCardinality-13
FORMULA_NAME ASLink-PT-05a-LTLCardinality-14
FORMULA_NAME ASLink-PT-05a-LTLCardinality-15

=== Now, execution of the tool begins

BK_START 1527829175850

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-05a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating ASLink-PT-05a formula LTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking LTLCardinality @ ASLink-PT-05a @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3038/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 1211
lola: finding significant places
lola: 1211 places, 1827 transitions, 979 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2066 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-05a-LTLCardinality.task
lola: LP says that atomic proposition is always false: (3 <= p273)
lola: LP says that atomic proposition is always false: (2 <= p13)
lola: LP says that atomic proposition is always false: (2 <= p1133)
lola: LP says that atomic proposition is always false: (3 <= p664)
lola: LP says that atomic proposition is always false: (2 <= p886)
lola: LP says that atomic proposition is always false: (2 <= p543)
lola: LP says that atomic proposition is always false: (2 <= p1048)
lola: A (G (((p5 <= p521) U (1 <= p434)))) : A (((FALSE U (p457 <= p543)) U (FALSE U (1 <= p71)))) : A ((X (X ((p370 <= p953))) U (FALSE U (p506 <= p445)))) : A (G (F (X (FALSE)))) : A ((((p915 <= p998) U (p324 <= p318)) U F (F ((p144 <= p857))))) : A (X ((X ((p847 <= p745)) U X (FALSE)))) : A (F (F (((p346 <= p752) U (1 <= p989))))) : A ((1 <= p1192)) : A (FALSE) : A (X ((p396 <= p304))) : A (((1 <= p409) U (p657 <= p294))) : A (X (FALSE)) : A (F ((p577 <= p1150))) : A (F ((p577 <= p257))) : A (X (X (F (G ((p1203 <= p26)))))) : A (F ((p738 <= p703)))
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 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: 31 rewrites
lola: closed formula file ASLink-PT-05a-LTLCardinality.task
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: ========================================
check_solution: Constraint R1 = 4.66846344643e-310 is below its lower bound 1
check_solution: Constraint R2 = 0 is above its equality of -1
check_solution: Constraint R205 = -1 is below its equality of 0
check_solution: Constraint R779 = 1 is above its equality of 0

Seriously low accuracy found ||*|| = 1 (rel. error 1)

FORMULA ASLink-PT-05a-LTLCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 235 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: 31 rewrites
lola: closed formula file ASLink-PT-05a-LTLCardinality.task
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

FORMULA ASLink-PT-05a-LTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 2 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p1192)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p1192)
lola: processed formula length: 12
lola: 31 rewrites
lola: closed formula file ASLink-PT-05a-LTLCardinality.task
lola: processed formula with 1 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: ========================================

FORMULA ASLink-PT-05a-LTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 271 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: 31 rewrites
lola: closed formula file ASLink-PT-05a-LTLCardinality.task
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: ========================================

FORMULA ASLink-PT-05a-LTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 293 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: 31 rewrites
lola: closed formula file ASLink-PT-05a-LTLCardinality.task
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: ========================================

FORMULA ASLink-PT-05a-LTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((p396 <= p304)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((p396 <= p304)))
lola: processed formula length: 22
lola: 31 rewrites
lola: closed formula file ASLink-PT-05a-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================

FORMULA ASLink-PT-05a-LTLCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (X ((p370 <= p953))) U (p506 <= p445)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (X ((p370 <= p953))) U (p506 <= p445)))
lola: processed formula length: 45
lola: 31 rewrites
lola: closed formula file ASLink-PT-05a-LTLCardinality.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola:
FORMULA ASLink-PT-05a-LTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 7 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((1 <= p989)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (p989 <= 0)
lola: processed formula length: 11
lola: 33 rewrites
lola: closed formula file ASLink-PT-05a-LTLCardinality.task
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: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 24 markings, 23 edges
lola: ========================================

FORMULA ASLink-PT-05a-LTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 440 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p144 <= p857)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (p857 + 1 <= p144)
lola: processed formula length: 18
lola: 33 rewrites
lola: closed formula file ASLink-PT-05a-LTLCardinality.task
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: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================

FORMULA ASLink-PT-05a-LTLCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 503 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p577 <= p1150)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (p1150 + 1 <= p577)
lola: processed formula length: 19
lola: 33 rewrites
lola: closed formula file ASLink-PT-05a-LTLCardinality.task
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: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================

FORMULA ASLink-PT-05a-LTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 587 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p577 <= p257)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (p257 + 1 <= p577)
lola: processed formula length: 18
lola: 33 rewrites
lola: closed formula file ASLink-PT-05a-LTLCardinality.task
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: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================

FORMULA ASLink-PT-05a-LTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 705 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p738 <= p703)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (p703 + 1 <= p738)
lola: processed formula length: 18
lola: 33 rewrites
lola: closed formula file ASLink-PT-05a-LTLCardinality.task
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: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================

FORMULA ASLink-PT-05a-LTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 881 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p1203 <= p26))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p1203 <= p26))))
lola: processed formula length: 26
lola: 31 rewrites
lola: closed formula file ASLink-PT-05a-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 192220 markings, 232250 edges, 38444 markings/sec, 0 secs
lola: 410174 markings, 492627 edges, 43591 markings/sec, 5 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 549024 markings, 658442 edges
lola: ========================================

FORMULA ASLink-PT-05a-LTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1171 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((1 <= p409) U (p657 <= p294)))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (((1 <= p409) U (p657 <= p294)))
lola: processed formula length: 34
lola: 35 rewrites
lola: closed formula file ASLink-PT-05a-LTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /ER
lola: Predicate Phi holds until Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA ASLink-PT-05a-LTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1757 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p457 <= p543) U (1 <= p71)))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (((p457 <= p543) U (1 <= p71)))
lola: processed formula length: 33
lola: 35 rewrites
lola: closed formula file ASLink-PT-05a-LTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 23 markings, 22 edges
lola:
========================================
FORMULA ASLink-PT-05a-LTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F ((1 <= p434)))) AND A (G (((p5 <= p521) OR (1 <= p434)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 3514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p5 <= p521) OR (1 <= p434))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:674
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: processed formula: A (G (((p5 <= p521) OR (1 <= p434))))
lola: processed formula length: 37
lola: 36 rewrites
lola: closed formula file ASLink-PT-05a-LTLCardinality.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:674
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p521 + 1 <= p5) AND (p434 <= 0))
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: sara not yet started (preprocessing) || 110271 markings, 153757 edges, 22054 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 205693 markings, 378445 edges, 19084 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 300608 markings, 600902 edges, 18983 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 395468 markings, 823614 edges, 18972 markings/sec, 15 secs
lola: sara not yet started (preprocessing) || 510217 markings, 1090704 edges, 22950 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 608896 markings, 1321632 edges, 19736 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 706656 markings, 1551313 edges, 19552 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 802588 markings, 1777676 edges, 19186 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 908784 markings, 2024560 edges, 21239 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 1008528 markings, 2258081 edges, 19949 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 1105067 markings, 2484757 edges, 19308 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 1204712 markings, 2716759 edges, 19929 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 1321329 markings, 2938556 edges, 23323 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 1448632 markings, 3150008 edges, 25461 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 1543034 markings, 3331635 edges, 18880 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 1651500 markings, 3564800 edges, 21693 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 1759636 markings, 3798093 edges, 21627 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 1867772 markings, 4036118 edges, 21627 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 1978073 markings, 4273610 edges, 22060 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 2088867 markings, 4512295 edges, 22159 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 2200450 markings, 4746906 edges, 22317 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 2307821 markings, 4980650 edges, 21474 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 2410438 markings, 5215538 edges, 20523 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 2517142 markings, 5450278 edges, 21341 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 2623508 markings, 5687071 edges, 21273 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 2726501 markings, 5923560 edges, 20599 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 2831121 markings, 6158432 edges, 20924 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 2935050 markings, 6391568 edges, 20786 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 3044070 markings, 6632855 edges, 21804 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 3151535 markings, 6868905 edges, 21493 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 3259979 markings, 7103128 edges, 21689 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 3366034 markings, 7342205 edges, 21211 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 3473869 markings, 7581053 edges, 21567 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 3582650 markings, 7815827 edges, 21756 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 3689849 markings, 8050256 edges, 21440 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 3797471 markings, 8283839 edges, 21524 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 3905184 markings, 8526832 edges, 21543 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 4013229 markings, 8762977 edges, 21609 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 4123587 markings, 8998563 edges, 22072 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 4229535 markings, 9236350 edges, 21190 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 4336475 markings, 9467347 edges, 21388 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 4445069 markings, 9701640 edges, 21719 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 4550285 markings, 9938666 edges, 21043 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 4659868 markings, 10183873 edges, 21917 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 4769866 markings, 10419523 edges, 22000 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 4878146 markings, 10654330 edges, 21656 markings/sec, 225 secs
lola: sara not yet started (preprocessing) || 4984111 markings, 10891871 edges, 21193 markings/sec, 230 secs
lola: sara not yet started (preprocessing) || 5091643 markings, 11123247 edges, 21506 markings/sec, 235 secs
lola: sara not yet started (preprocessing) || 5201895 markings, 11355721 edges, 22050 markings/sec, 240 secs
lola: sara not yet started (preprocessing) || 5306218 markings, 11587465 edges, 20865 markings/sec, 245 secs
lola: sara not yet started (preprocessing) || 5411552 markings, 11820259 edges, 21067 markings/sec, 250 secs
lola: sara not yet started (preprocessing) || 5522787 markings, 12003320 edges, 22247 markings/sec, 255 secs
lola: sara not yet started (preprocessing) || 5617912 markings, 12213787 edges, 19025 markings/sec, 260 secs
lola: sara not yet started (preprocessing) || 5709415 markings, 12430608 edges, 18301 markings/sec, 265 secs
lola: sara not yet started (preprocessing) || 5806677 markings, 12655410 edges, 19452 markings/sec, 270 secs
lola: sara not yet started (preprocessing) || 5898987 markings, 12874243 edges, 18462 markings/sec, 275 secs
lola: sara not yet started (preprocessing) || 5993536 markings, 13095347 edges, 18910 markings/sec, 280 secs
lola: sara not yet started (preprocessing) || 6085517 markings, 13311763 edges, 18396 markings/sec, 285 secs
lola: sara not yet started (preprocessing) || 6172364 markings, 13517418 edges, 17369 markings/sec, 290 secs
lola: sara not yet started (preprocessing) || 6262211 markings, 13726040 edges, 17969 markings/sec, 295 secs
lola: sara not yet started (preprocessing) || 6348672 markings, 13930960 edges, 17292 markings/sec, 300 secs
lola: sara not yet started (preprocessing) || 6438279 markings, 14138457 edges, 17921 markings/sec, 305 secs
lola: sara not yet started (preprocessing) || 6518489 markings, 14382533 edges, 16042 markings/sec, 310 secs
lola: sara not yet started (preprocessing) || 6601613 markings, 14653152 edges, 16625 markings/sec, 315 secs
lola: sara not yet started (preprocessing) || 6685146 markings, 14925900 edges, 16707 markings/sec, 320 secs
lola: sara not yet started (preprocessing) || 6772305 markings, 15174232 edges, 17432 markings/sec, 325 secs
lola: sara not yet started (preprocessing) || 6854953 markings, 15444003 edges, 16530 markings/sec, 330 secs
lola: sara not yet started (preprocessing) || 6938062 markings, 15714576 edges, 16622 markings/sec, 335 secs
lola: sara not yet started (preprocessing) || 7020287 markings, 15982051 edges, 16445 markings/sec, 340 secs
lola: sara not yet started (preprocessing) || 7108138 markings, 16233586 edges, 17570 markings/sec, 345 secs
lola: sara not yet started (preprocessing) || 7190266 markings, 16500875 edges, 16426 markings/sec, 350 secs
lola: sara not yet started (preprocessing) || 7269195 markings, 16758288 edges, 15786 markings/sec, 355 secs
lola: sara not yet started (preprocessing) || 7348723 markings, 17017094 edges, 15906 markings/sec, 360 secs
lola: sara not yet started (preprocessing) || 7438700 markings, 17231972 edges, 17995 markings/sec, 365 secs
lola: sara not yet started (preprocessing) || 7533764 markings, 17480349 edges, 19013 markings/sec, 370 secs
lola: sara not yet started (preprocessing) || 7628213 markings, 17728038 edges, 18890 markings/sec, 375 secs
lola: sara not yet started (preprocessing) || 7721505 markings, 17946918 edges, 18658 markings/sec, 380 secs
lola: sara not yet started (preprocessing) || 7802563 markings, 18193422 edges, 16212 markings/sec, 385 secs
lola: sara not yet started (preprocessing) || 7883018 markings, 18458613 edges, 16091 markings/sec, 390 secs
lola: sara not yet started (preprocessing) || 7964334 markings, 18724143 edges, 16263 markings/sec, 395 secs
lola: sara not yet started (preprocessing) || 8042299 markings, 18981177 edges, 15593 markings/sec, 400 secs
lola: sara not yet started (preprocessing) || 8122684 markings, 19240873 edges, 16077 markings/sec, 405 secs
lola: sara not yet started (preprocessing) || 8204067 markings, 19506461 edges, 16277 markings/sec, 410 secs
lola: sara not yet started (preprocessing) || 8281278 markings, 19761173 edges, 15442 markings/sec, 415 secs
lola: sara not yet started (preprocessing) || 8361163 markings, 20019238 edges, 15977 markings/sec, 420 secs
lola: sara not yet started (preprocessing) || 8442442 markings, 20283818 edges, 16256 markings/sec, 425 secs
lola: sara not yet started (preprocessing) || 8519348 markings, 20538255 edges, 15381 markings/sec, 430 secs
lola: sara not yet started (preprocessing) || 8599277 markings, 20795833 edges, 15986 markings/sec, 435 secs
lola: sara not yet started (preprocessing) || 8680051 markings, 21063365 edges, 16155 markings/sec, 440 secs
lola: sara not yet started (preprocessing) || 8757636 markings, 21316846 edges, 15517 markings/sec, 445 secs
lola: sara not yet started (preprocessing) || 8837276 markings, 21574073 edges, 15928 markings/sec, 450 secs
lola: sara not yet started (preprocessing) || 8917053 markings, 21836609 edges, 15955 markings/sec, 455 secs
lola: sara not yet started (preprocessing) || 8995938 markings, 22094514 edges, 15777 markings/sec, 460 secs
lola: sara not yet started (preprocessing) || 9075629 markings, 22351654 edges, 15938 markings/sec, 465 secs
lola: sara not yet started (preprocessing) || 9154967 markings, 22612902 edges, 15868 markings/sec, 470 secs
lola: sara not yet started (preprocessing) || 9234325 markings, 22873554 edges, 15872 markings/sec, 475 secs
lola: sara not yet started (preprocessing) || 9314079 markings, 23128895 edges, 15951 markings/sec, 480 secs
lola: sara not yet started (preprocessing) || 9393341 markings, 23390589 edges, 15852 markings/sec, 485 secs
lola: sara not yet started (preprocessing) || 9473157 markings, 23652563 edges, 15963 markings/sec, 490 secs
lola: sara not yet started (preprocessing) || 9551714 markings, 23906001 edges, 15711 markings/sec, 495 secs
lola: sara not yet started (preprocessing) || 9632126 markings, 24170986 edges, 16082 markings/sec, 500 secs
lola: sara not yet started (preprocessing) || 9708632 markings, 24420553 edges, 15301 markings/sec, 505 secs
lola: sara not yet started (preprocessing) || 9799814 markings, 24654699 edges, 18236 markings/sec, 510 secs
lola: sara not yet started (preprocessing) || 9896916 markings, 24876323 edges, 19420 markings/sec, 515 secs
lola: sara not yet started (preprocessing) || 9992925 markings, 25100633 edges, 19202 markings/sec, 520 secs
lola: sara not yet started (preprocessing) || 10077314 markings, 25373010 edges, 16878 markings/sec, 525 secs
lola: sara not yet started (preprocessing) || 10160250 markings, 25646519 edges, 16587 markings/sec, 530 secs
lola: sara not yet started (preprocessing) || 10239419 markings, 25905582 edges, 15834 markings/sec, 535 secs
lola: sara not yet started (preprocessing) || 10319074 markings, 26161604 edges, 15931 markings/sec, 540 secs
lola: sara not yet started (preprocessing) || 10397742 markings, 26421579 edges, 15734 markings/sec, 545 secs
lola: sara not yet started (preprocessing) || 10477267 markings, 26682308 edges, 15905 markings/sec, 550 secs
lola: sara not yet started (preprocessing) || 10555646 markings, 26934819 edges, 15676 markings/sec, 555 secs
lola: sara not yet started (preprocessing) || 10634882 markings, 27195553 edges, 15847 markings/sec, 560 secs
lola: sara not yet started (preprocessing) || 10714981 markings, 27457612 edges, 16020 markings/sec, 565 secs
lola: sara not yet started (preprocessing) || 10792175 markings, 27712120 edges, 15439 markings/sec, 570 secs
lola: sara not yet started (preprocessing) || 10871749 markings, 27968930 edges, 15915 markings/sec, 575 secs
lola: sara not yet started (preprocessing) || 10952361 markings, 28231932 edges, 16122 markings/sec, 580 secs
lola: sara not yet started (preprocessing) || 11028804 markings, 28484433 edges, 15289 markings/sec, 585 secs
lola: sara not yet started (preprocessing) || 11108505 markings, 28741383 edges, 15940 markings/sec, 590 secs
lola: sara not yet started (preprocessing) || 11189408 markings, 29005190 edges, 16181 markings/sec, 595 secs
lola: sara not yet started (preprocessing) || 11266186 markings, 29259130 edges, 15356 markings/sec, 600 secs
lola: sara not yet started (preprocessing) || 11345241 markings, 29515373 edges, 15811 markings/sec, 605 secs
lola: sara not yet started (preprocessing) || 11425447 markings, 29779372 edges, 16041 markings/sec, 610 secs
lola: sara not yet started (preprocessing) || 11502954 markings, 30032462 edges, 15501 markings/sec, 615 secs
lola: sara not yet started (preprocessing) || 11582688 markings, 30289600 edges, 15947 markings/sec, 620 secs
lola: sara not yet started (preprocessing) || 11661216 markings, 30549059 edges, 15706 markings/sec, 625 secs
lola: sara not yet started (preprocessing) || 11740350 markings, 30807499 edges, 15827 markings/sec, 630 secs
lola: sara not yet started (preprocessing) || 11820193 markings, 31064454 edges, 15969 markings/sec, 635 secs
lola: sara not yet started (preprocessing) || 11899316 markings, 31325692 edges, 15825 markings/sec, 640 secs
lola: sara not yet started (preprocessing) || 11979152 markings, 31587609 edges, 15967 markings/sec, 645 secs
lola: sara not yet started (preprocessing) || 12069687 markings, 31797583 edges, 18107 markings/sec, 650 secs
lola: sara not yet started (preprocessing) || 12160883 markings, 32007988 edges, 18239 markings/sec, 655 secs
lola: sara not yet started (preprocessing) || 12250486 markings, 32223865 edges, 17921 markings/sec, 660 secs
lola: sara not yet started (preprocessing) || 12330109 markings, 32480867 edges, 15925 markings/sec, 665 secs
lola: sara not yet started (preprocessing) || 12411408 markings, 32748646 edges, 16260 markings/sec, 670 secs
lola: sara not yet started (preprocessing) || 12493741 markings, 33018176 edges, 16467 markings/sec, 675 secs
lola: sara not yet started (preprocessing) || 12576466 markings, 33285161 edges, 16545 markings/sec, 680 secs
lola: sara not yet started (preprocessing) || 12657389 markings, 33551592 edges, 16185 markings/sec, 685 secs
lola: sara not yet started (preprocessing) || 12736139 markings, 33810301 edges, 15750 markings/sec, 690 secs
lola: sara not yet started (preprocessing) || 12815119 markings, 34063513 edges, 15796 markings/sec, 695 secs
lola: sara not yet started (preprocessing) || 12893976 markings, 34323310 edges, 15771 markings/sec, 700 secs
lola: sara not yet started (preprocessing) || 12973051 markings, 34583041 edges, 15815 markings/sec, 705 secs
lola: sara not yet started (preprocessing) || 13050775 markings, 34834752 edges, 15545 markings/sec, 710 secs
lola: sara not yet started (preprocessing) || 13129639 markings, 35093514 edges, 15773 markings/sec, 715 secs
lola: sara not yet started (preprocessing) || 13209897 markings, 35355362 edges, 16052 markings/sec, 720 secs
lola: sara not yet started (preprocessing) || 13286340 markings, 35607655 edges, 15289 markings/sec, 725 secs
lola: sara not yet started (preprocessing) || 13365442 markings, 35863136 edges, 15820 markings/sec, 730 secs
lola: sara not yet started (preprocessing) || 13442781 markings, 36114584 edges, 15468 markings/sec, 735 secs
lola: sara not yet started (preprocessing) || 13520129 markings, 36370510 edges, 15470 markings/sec, 740 secs
lola: sara not yet started (preprocessing) || 13604157 markings, 36641171 edges, 16806 markings/sec, 745 secs
lola: sara not yet started (preprocessing) || 13689022 markings, 36919117 edges, 16973 markings/sec, 750 secs
lola: sara not yet started (preprocessing) || 13769841 markings, 37185992 edges, 16164 markings/sec, 755 secs
lola: sara not yet started (preprocessing) || 13853827 markings, 37456623 edges, 16797 markings/sec, 760 secs
lola: sara not yet started (preprocessing) || 13938715 markings, 37734683 edges, 16978 markings/sec, 765 secs
lola: sara not yet started (preprocessing) || 14019733 markings, 38002127 edges, 16204 markings/sec, 770 secs
lola: sara not yet started (preprocessing) || 14103840 markings, 38273094 edges, 16821 markings/sec, 775 secs
lola: sara not yet started (preprocessing) || 14189038 markings, 38551953 edges, 17040 markings/sec, 780 secs
lola: sara not yet started (preprocessing) || 14273374 markings, 38799432 edges, 16867 markings/sec, 785 secs
lola: sara not yet started (preprocessing) || 14372149 markings, 39021076 edges, 19755 markings/sec, 790 secs
lola: sara not yet started (preprocessing) || 14472975 markings, 39249492 edges, 20165 markings/sec, 795 secs
lola: sara not yet started (preprocessing) || 14566253 markings, 39476007 edges, 18656 markings/sec, 800 secs
lola: sara not yet started (preprocessing) || 14667803 markings, 39713563 edges, 20310 markings/sec, 805 secs
lola: sara not yet started (preprocessing) || 14769871 markings, 39994538 edges, 20414 markings/sec, 810 secs
lola: sara not yet started (preprocessing) || 14870270 markings, 40267024 edges, 20080 markings/sec, 815 secs
lola: sara not yet started (preprocessing) || 14971141 markings, 40538832 edges, 20174 markings/sec, 820 secs
lola: sara not yet started (preprocessing) || 15071916 markings, 40801505 edges, 20155 markings/sec, 825 secs
lola: sara not yet started (preprocessing) || 15167996 markings, 41065730 edges, 19216 markings/sec, 830 secs
lola: sara not yet started (preprocessing) || 15263020 markings, 41324816 edges, 19005 markings/sec, 835 secs
lola: sara not yet started (preprocessing) || 15357218 markings, 41581729 edges, 18840 markings/sec, 840 secs
lola: sara not yet started (preprocessing) || 15451573 markings, 41834725 edges, 18871 markings/sec, 845 secs
lola: sara not yet started (preprocessing) || 15546758 markings, 42084127 edges, 19037 markings/sec, 850 secs
lola: sara not yet started (preprocessing) || 15642034 markings, 42346473 edges, 19055 markings/sec, 855 secs
lola: sara not yet started (preprocessing) || 15734709 markings, 42597316 edges, 18535 markings/sec, 860 secs
lola: sara not yet started (preprocessing) || 15828523 markings, 42849175 edges, 18763 markings/sec, 865 secs
lola: sara not yet started (preprocessing) || 15925419 markings, 43088862 edges, 19379 markings/sec, 870 secs
lola: sara not yet started (preprocessing) || 16013696 markings, 43291298 edges, 17655 markings/sec, 875 secs
lola: sara not yet started (preprocessing) || 16094080 markings, 43544885 edges, 16077 markings/sec, 880 secs
lola: sara not yet started (preprocessing) || 16172828 markings, 43805383 edges, 15750 markings/sec, 885 secs
lola: sara not yet started (preprocessing) || 16252632 markings, 44067167 edges, 15961 markings/sec, 890 secs
lola: sara not yet started (preprocessing) || 16332564 markings, 44334053 edges, 15986 markings/sec, 895 secs
lola: sara not yet started (preprocessing) || 16418554 markings, 44598498 edges, 17198 markings/sec, 900 secs
lola: sara not yet started (preprocessing) || 16500537 markings, 44867308 edges, 16397 markings/sec, 905 secs
lola: sara not yet started (preprocessing) || 16583626 markings, 45133416 edges, 16618 markings/sec, 910 secs
lola: sara not yet started (preprocessing) || 16666221 markings, 45399895 edges, 16519 markings/sec, 915 secs
lola: sara not yet started (preprocessing) || 16749244 markings, 45671270 edges, 16605 markings/sec, 920 secs
lola: sara not yet started (preprocessing) || 16826065 markings, 45922432 edges, 15364 markings/sec, 925 secs
lola: sara not yet started (preprocessing) || 16904012 markings, 46174316 edges, 15589 markings/sec, 930 secs
lola: sara not yet started (preprocessing) || 16983226 markings, 46435878 edges, 15843 markings/sec, 935 secs
lola: sara not yet started (preprocessing) || 17063699 markings, 46698586 edges, 16095 markings/sec, 940 secs
lola: sara not yet started (preprocessing) || 17140109 markings, 46953946 edges, 15282 markings/sec, 945 secs
lola: sara not yet started (preprocessing) || 17222469 markings, 47211189 edges, 16472 markings/sec, 950 secs
lola: sara not yet started (preprocessing) || 17305753 markings, 47480238 edges, 16657 markings/sec, 955 secs
lola: sara not yet started (preprocessing) || 17389402 markings, 47749051 edges, 16730 markings/sec, 960 secs
lola: sara not yet started (preprocessing) || 17472574 markings, 48017168 edges, 16634 markings/sec, 965 secs
lola: sara not yet started (preprocessing) || 17553659 markings, 48283396 edges, 16217 markings/sec, 970 secs
lola: sara not yet started (preprocessing) || 17634272 markings, 48543983 edges, 16123 markings/sec, 975 secs
lola: sara not yet started (preprocessing) || 17711172 markings, 48798473 edges, 15380 markings/sec, 980 secs
lola: sara not yet started (preprocessing) || 17791051 markings, 49056865 edges, 15976 markings/sec, 985 secs
lola: sara not yet started (preprocessing) || 17872445 markings, 49322341 edges, 16279 markings/sec, 990 secs
lola: sara not yet started (preprocessing) || 17948176 markings, 49575378 edges, 15146 markings/sec, 995 secs
lola: sara not yet started (preprocessing) || 18029163 markings, 49831578 edges, 16197 markings/sec, 1000 secs
lola: sara not yet started (preprocessing) || 18112291 markings, 50097911 edges, 16626 markings/sec, 1005 secs
lola: sara not yet started (preprocessing) || 18195456 markings, 50366537 edges, 16633 markings/sec, 1010 secs
lola: sara not yet started (preprocessing) || 18277724 markings, 50633409 edges, 16454 markings/sec, 1015 secs
lola: sara not yet started (preprocessing) || 18359067 markings, 50896623 edges, 16269 markings/sec, 1020 secs
lola: sara not yet started (preprocessing) || 18440625 markings, 51159915 edges, 16312 markings/sec, 1025 secs
lola: sara not yet started (preprocessing) || 18516012 markings, 51410759 edges, 15077 markings/sec, 1030 secs
lola: sara not yet started (preprocessing) || 18595784 markings, 51668214 edges, 15954 markings/sec, 1035 secs
lola: sara not yet started (preprocessing) || 18675988 markings, 51933064 edges, 16041 markings/sec, 1040 secs
lola: sara not yet started (preprocessing) || 18753612 markings, 52187091 edges, 15525 markings/sec, 1045 secs
lola: sara not yet started (preprocessing) || 18832625 markings, 52451880 edges, 15803 markings/sec, 1050 secs
lola: sara not yet started (preprocessing) || 18917754 markings, 52712641 edges, 17026 markings/sec, 1055 secs
lola: sara not yet started (preprocessing) || 19000787 markings, 52979615 edges, 16607 markings/sec, 1060 secs
lola: sara not yet started (preprocessing) || 19086645 markings, 53260859 edges, 17172 markings/sec, 1065 secs
lola: sara not yet started (preprocessing) || 19173388 markings, 53539355 edges, 17349 markings/sec, 1070 secs
lola: sara not yet started (preprocessing) || 19260153 markings, 53819370 edges, 17353 markings/sec, 1075 secs
lola: sara not yet started (preprocessing) || 19339445 markings, 54083664 edges, 15858 markings/sec, 1080 secs
lola: sara not yet started (preprocessing) || 19423811 markings, 54356699 edges, 16873 markings/sec, 1085 secs
lola: sara not yet started (preprocessing) || 19508998 markings, 54637824 edges, 17037 markings/sec, 1090 secs
lola: sara not yet started (preprocessing) || 19589170 markings, 54901743 edges, 16034 markings/sec, 1095 secs
lola: sara not yet started (preprocessing) || 19675088 markings, 55177973 edges, 17184 markings/sec, 1100 secs
lola: sara not yet started (preprocessing) || 19762153 markings, 55453657 edges, 17413 markings/sec, 1105 secs
lola: sara not yet started (preprocessing) || 19850003 markings, 55737405 edges, 17570 markings/sec, 1110 secs
lola: sara not yet started (preprocessing) || 19937414 markings, 56019324 edges, 17482 markings/sec, 1115 secs
lola: sara not yet started (preprocessing) || 20022415 markings, 56297595 edges, 17000 markings/sec, 1120 secs
lola: sara not yet started (preprocessing) || 20107475 markings, 56572527 edges, 17012 markings/sec, 1125 secs
lola: sara not yet started (preprocessing) || 20188099 markings, 56839305 edges, 16125 markings/sec, 1130 secs
lola: sara not yet started (preprocessing) || 20271738 markings, 57110025 edges, 16728 markings/sec, 1135 secs
lola: sara not yet started (preprocessing) || 20356959 markings, 57388397 edges, 17044 markings/sec, 1140 secs
lola: sara not yet started (preprocessing) || 20437332 markings, 57656983 edges, 16075 markings/sec, 1145 secs
lola: sara not yet started (preprocessing) || 20523060 markings, 57926779 edges, 17146 markings/sec, 1150 secs
lola: sara not yet started (preprocessing) || 20610879 markings, 58209669 edges, 17564 markings/sec, 1155 secs
lola: sara not yet started (preprocessing) || 20698084 markings, 58490882 edges, 17441 markings/sec, 1160 secs
lola: sara not yet started (preprocessing) || 20785279 markings, 58771666 edges, 17439 markings/sec, 1165 secs
lola: sara not yet started (preprocessing) || 20871950 markings, 59056690 edges, 17334 markings/sec, 1170 secs
lola: sara not yet started (preprocessing) || 20953636 markings, 59321335 edges, 16337 markings/sec, 1175 secs
lola: sara not yet started (preprocessing) || 21035293 markings, 59585397 edges, 16331 markings/sec, 1180 secs
lola: sara not yet started (preprocessing) || 21118844 markings, 59859955 edges, 16710 markings/sec, 1185 secs
lola: sara not yet started (preprocessing) || 21202139 markings, 60133964 edges, 16659 markings/sec, 1190 secs
lola: sara not yet started (preprocessing) || 21282549 markings, 60402618 edges, 16082 markings/sec, 1195 secs
lola: sara not yet started (preprocessing) || 21369651 markings, 60671550 edges, 17420 markings/sec, 1200 secs
lola: sara not yet started (preprocessing) || 21454946 markings, 60950557 edges, 17059 markings/sec, 1205 secs
lola: sara not yet started (preprocessing) || 21540939 markings, 61226551 edges, 17199 markings/sec, 1210 secs
lola: sara not yet started (preprocessing) || 21626736 markings, 61503483 edges, 17159 markings/sec, 1215 secs
lola: sara not yet started (preprocessing) || 21713510 markings, 61782472 edges, 17355 markings/sec, 1220 secs
lola: sara not yet started (preprocessing) || 21791872 markings, 62043732 edges, 15672 markings/sec, 1225 secs
lola: sara not yet started (preprocessing) || 21874954 markings, 62310853 edges, 16616 markings/sec, 1230 secs
lola: sara not yet started (preprocessing) || 21957128 markings, 62583140 edges, 16435 markings/sec, 1235 secs
lola: sara not yet started (preprocessing) || 22040250 markings, 62855972 edges, 16624 markings/sec, 1240 secs
lola: sara not yet started (preprocessing) || 22121755 markings, 63128178 edges, 16301 markings/sec, 1245 secs
lola: sara not yet started (preprocessing) || 22210605 markings, 63402085 edges, 17770 markings/sec, 1250 secs
lola: sara not yet started (preprocessing) || 22298917 markings, 63687596 edges, 17662 markings/sec, 1255 secs
lola: sara not yet started (preprocessing) || 22385618 markings, 63970443 edges, 17340 markings/sec, 1260 secs
lola: sara not yet started (preprocessing) || 22472378 markings, 64249796 edges, 17352 markings/sec, 1265 secs
lola: sara not yet started (preprocessing) || 22560101 markings, 64531552 edges, 17545 markings/sec, 1270 secs
lola: sara not yet started (preprocessing) || 22641124 markings, 64788367 edges, 16205 markings/sec, 1275 secs
lola: sara not yet started (preprocessing) || 22739343 markings, 65007581 edges, 19644 markings/sec, 1280 secs
lola: sara not yet started (preprocessing) || 22839872 markings, 65235263 edges, 20106 markings/sec, 1285 secs
lola: sara not yet started (preprocessing) || 22932672 markings, 65460829 edges, 18560 markings/sec, 1290 secs
lola: sara not yet started (preprocessing) || 23020267 markings, 65645629 edges, 17519 markings/sec, 1295 secs
lola: sara not yet started (preprocessing) || 23121227 markings, 65875472 edges, 20192 markings/sec, 1300 secs
lola: sara not yet started (preprocessing) || 23222991 markings, 66103110 edges, 20353 markings/sec, 1305 secs
lola: sara not yet started (preprocessing) || 23323525 markings, 66327696 edges, 20107 markings/sec, 1310 secs
lola: sara not yet started (preprocessing) || 23422078 markings, 66548928 edges, 19711 markings/sec, 1315 secs
lola: sara not yet started (preprocessing) || 23508420 markings, 66791935 edges, 17268 markings/sec, 1320 secs
lola: sara not yet started (preprocessing) || 23587670 markings, 67048295 edges, 15850 markings/sec, 1325 secs
lola: sara not yet started (preprocessing) || 23673121 markings, 67327254 edges, 17090 markings/sec, 1330 secs
lola: sara not yet started (preprocessing) || 23753811 markings, 67596895 edges, 16138 markings/sec, 1335 secs
lola: sara not yet started (preprocessing) || 23839659 markings, 67867038 edges, 17170 markings/sec, 1340 secs
lola: sara not yet started (preprocessing) || 23927668 markings, 68150580 edges, 17602 markings/sec, 1345 secs
lola: sara not yet started (preprocessing) || 24015034 markings, 68432494 edges, 17473 markings/sec, 1350 secs
lola: sara not yet started (preprocessing) || 24102200 markings, 68713409 edges, 17433 markings/sec, 1355 secs
lola: sara not yet started (preprocessing) || 24189238 markings, 68999311 edges, 17408 markings/sec, 1360 secs
lola: sara not yet started (preprocessing) || 24270974 markings, 69264098 edges, 16347 markings/sec, 1365 secs
lola: sara not yet started (preprocessing) || 24348773 markings, 69515995 edges, 15560 markings/sec, 1370 secs
lola: sara not yet started (preprocessing) || 24421130 markings, 69754518 edges, 14471 markings/sec, 1375 secs
lola: sara not yet started (preprocessing) || 24505310 markings, 70029247 edges, 16836 markings/sec, 1380 secs
lola: sara not yet started (preprocessing) || 24581033 markings, 70282567 edges, 15145 markings/sec, 1385 secs
lola: sara not yet started (preprocessing) || 24667683 markings, 70554532 edges, 17330 markings/sec, 1390 secs
lola: sara not yet started (preprocessing) || 24755610 markings, 70838451 edges, 17585 markings/sec, 1395 secs
lola: sara not yet started (preprocessing) || 24838648 markings, 71105777 edges, 16608 markings/sec, 1400 secs
lola: sara not yet started (preprocessing) || 24926040 markings, 71386926 edges, 17478 markings/sec, 1405 secs
lola: sara not yet started (preprocessing) || 25012443 markings, 71671453 edges, 17281 markings/sec, 1410 secs
lola: sara not yet started (preprocessing) || 25094630 markings, 71937657 edges, 16437 markings/sec, 1415 secs
lola: sara not yet started (preprocessing) || 25176789 markings, 72203635 edges, 16432 markings/sec, 1420 secs
lola: sara not yet started (preprocessing) || 25261151 markings, 72480673 edges, 16872 markings/sec, 1425 secs
lola: sara not yet started (preprocessing) || 25345176 markings, 72757162 edges, 16805 markings/sec, 1430 secs
lola: sara not yet started (preprocessing) || 25426104 markings, 73027455 edges, 16186 markings/sec, 1435 secs
lola: sara not yet started (preprocessing) || 25514018 markings, 73299524 edges, 17583 markings/sec, 1440 secs
lola: sara not yet started (preprocessing) || 25600164 markings, 73581605 edges, 17229 markings/sec, 1445 secs
lola: sara not yet started (preprocessing) || 25687354 markings, 73861661 edges, 17438 markings/sec, 1450 secs
lola: sara not yet started (preprocessing) || 25774654 markings, 74142065 edges, 17460 markings/sec, 1455 secs
lola: sara not yet started (preprocessing) || 25861987 markings, 74422586 edges, 17467 markings/sec, 1460 secs
lola: sara not yet started (preprocessing) || 25940974 markings, 74687575 edges, 15797 markings/sec, 1465 secs
lola: sara not yet started (preprocessing) || 26024914 markings, 74958159 edges, 16788 markings/sec, 1470 secs
lola: sara not yet started (preprocessing) || 26108349 markings, 75233418 edges, 16687 markings/sec, 1475 secs
lola: sara not yet started (preprocessing) || 26192735 markings, 75503331 edges, 16877 markings/sec, 1480 secs
lola: sara not yet started (preprocessing) || 26274111 markings, 75782448 edges, 16275 markings/sec, 1485 secs
lola: sara not yet started (preprocessing) || 26362992 markings, 76055087 edges, 17776 markings/sec, 1490 secs
lola: sara not yet started (preprocessing) || 26450906 markings, 76338637 edges, 17583 markings/sec, 1495 secs
lola: sara not yet started (preprocessing) || 26536461 markings, 76618815 edges, 17111 markings/sec, 1500 secs
lola: sara not yet started (preprocessing) || 26622773 markings, 76895914 edges, 17262 markings/sec, 1505 secs
lola: sara not yet started (preprocessing) || 26709056 markings, 77174905 edges, 17257 markings/sec, 1510 secs
lola: sara not yet started (preprocessing) || 26788612 markings, 77439719 edges, 15911 markings/sec, 1515 secs
lola: sara not yet started (preprocessing) || 26872590 markings, 77710986 edges, 16796 markings/sec, 1520 secs
lola: sara not yet started (preprocessing) || 26957669 markings, 77990936 edges, 17016 markings/sec, 1525 secs
lola: sara not yet started (preprocessing) || 27037305 markings, 78254243 edges, 15927 markings/sec, 1530 secs
lola: sara not yet started (preprocessing) || 27122768 markings, 78528280 edges, 17093 markings/sec, 1535 secs
lola: sara not yet started (preprocessing) || 27209403 markings, 78803283 edges, 17327 markings/sec, 1540 secs
lola: sara not yet started (preprocessing) || 27296723 markings, 79085229 edges, 17464 markings/sec, 1545 secs
lola: sara not yet started (preprocessing) || 27383745 markings, 79366037 edges, 17404 markings/sec, 1550 secs
lola: sara not yet started (preprocessing) || 27468386 markings, 79643061 edges, 16928 markings/sec, 1555 secs
lola: sara not yet started (preprocessing) || 27553063 markings, 79916715 edges, 16935 markings/sec, 1560 secs
lola: sara not yet started (preprocessing) || 27633491 markings, 80182784 edges, 16086 markings/sec, 1565 secs
lola: sara not yet started (preprocessing) || 27717098 markings, 80453561 edges, 16721 markings/sec, 1570 secs
lola: sara not yet started (preprocessing) || 27801997 markings, 80730621 edges, 16980 markings/sec, 1575 secs
lola: sara not yet started (preprocessing) || 27881930 markings, 80997832 edges, 15987 markings/sec, 1580 secs
lola: sara not yet started (preprocessing) || 27966038 markings, 81263518 edges, 16822 markings/sec, 1585 secs
lola: sara not yet started (preprocessing) || 28052731 markings, 81541890 edges, 17339 markings/sec, 1590 secs
lola: sara not yet started (preprocessing) || 28139382 markings, 81820224 edges, 17330 markings/sec, 1595 secs
lola: sara not yet started (preprocessing) || 28226341 markings, 82100254 edges, 17392 markings/sec, 1600 secs
lola: sara not yet started (preprocessing) || 28311803 markings, 82381767 edges, 17092 markings/sec, 1605 secs
lola: sara not yet started (preprocessing) || 28394549 markings, 82649951 edges, 16549 markings/sec, 1610 secs
lola: sara not yet started (preprocessing) || 28476341 markings, 82916650 edges, 16358 markings/sec, 1615 secs
lola: sara not yet started (preprocessing) || 28559434 markings, 83189280 edges, 16619 markings/sec, 1620 secs
lola: sara not yet started (preprocessing) || 28643923 markings, 83465372 edges, 16898 markings/sec, 1625 secs
lola: sara not yet started (preprocessing) || 28724208 markings, 83733782 edges, 16057 markings/sec, 1630 secs
lola: sara not yet started (preprocessing) || 28812278 markings, 84005615 edges, 17614 markings/sec, 1635 secs
lola: sara not yet started (preprocessing) || 28898126 markings, 84286942 edges, 17170 markings/sec, 1640 secs
lola: sara not yet started (preprocessing) || 28985072 markings, 84565748 edges, 17389 markings/sec, 1645 secs
lola: sara not yet started (preprocessing) || 29071454 markings, 84845208 edges, 17276 markings/sec, 1650 secs
lola: sara not yet started (preprocessing) || 29158965 markings, 85126878 edges, 17502 markings/sec, 1655 secs
lola: sara not yet started (preprocessing) || 29238281 markings, 85390633 edges, 15863 markings/sec, 1660 secs
lola: sara not yet started (preprocessing) || 29322101 markings, 85660574 edges, 16764 markings/sec, 1665 secs
lola: sara not yet started (preprocessing) || 29405180 markings, 85935505 edges, 16616 markings/sec, 1670 secs
lola: sara not yet started (preprocessing) || 29489067 markings, 86210969 edges, 16777 markings/sec, 1675 secs
lola: sara not yet started (preprocessing) || 29571296 markings, 86485330 edges, 16446 markings/sec, 1680 secs
lola: sara not yet started (preprocessing) || 29659775 markings, 86758120 edges, 17696 markings/sec, 1685 secs
lola: sara not yet started (preprocessing) || 29747897 markings, 87042272 edges, 17624 markings/sec, 1690 secs
lola: sara not yet started (preprocessing) || 29833697 markings, 87323385 edges, 17160 markings/sec, 1695 secs
lola: sara not yet started (preprocessing) || 29920075 markings, 87600483 edges, 17276 markings/sec, 1700 secs
lola: sara not yet started (preprocessing) || 30006226 markings, 87877516 edges, 17230 markings/sec, 1705 secs
lola: sara not yet started (preprocessing) || 30085940 markings, 88131384 edges, 15943 markings/sec, 1710 secs
lola: sara not yet started (preprocessing) || 30182700 markings, 88347675 edges, 19352 markings/sec, 1715 secs
lola: sara not yet started (preprocessing) || 30281901 markings, 88572608 edges, 19840 markings/sec, 1720 secs
lola: sara not yet started (preprocessing) || 30373566 markings, 88794485 edges, 18333 markings/sec, 1725 secs
lola: sara not yet started (preprocessing) || 30474455 markings, 89008940 edges, 20178 markings/sec, 1730 secs
lola: sara not yet started (preprocessing) || 30574294 markings, 89235505 edges, 19968 markings/sec, 1735 secs
lola: sara not yet started (preprocessing) || 30674492 markings, 89461152 edges, 20040 markings/sec, 1740 secs
lola: sara not yet started (preprocessing) || 30774671 markings, 89685049 edges, 20036 markings/sec, 1745 secs
lola: sara not yet started (preprocessing) || 30872045 markings, 89903857 edges, 19475 markings/sec, 1750 secs
lola: sara not yet started (preprocessing) || 30957751 markings, 90148397 edges, 17141 markings/sec, 1755 secs
lola: sara not yet started (preprocessing) || 31040839 markings, 90417519 edges, 16618 markings/sec, 1760 secs
lola: sara not yet started (preprocessing) || 31125003 markings, 90692274 edges, 16833 markings/sec, 1765 secs
lola: sara not yet started (preprocessing) || 31204432 markings, 90957775 edges, 15886 markings/sec, 1770 secs
lola: sara not yet started (preprocessing) || 31289725 markings, 91224892 edges, 17059 markings/sec, 1775 secs
lola: sara not yet started (preprocessing) || 31376328 markings, 91504898 edges, 17321 markings/sec, 1780 secs
lola: sara not yet started (preprocessing) || 31462353 markings, 91782058 edges, 17205 markings/sec, 1785 secs
lola: sara not yet started (preprocessing) || 31548419 markings, 92059468 edges, 17213 markings/sec, 1790 secs
lola: sara not yet started (preprocessing) || 31633966 markings, 92340606 edges, 17109 markings/sec, 1795 secs
lola: sara not yet started (preprocessing) || 31714804 markings, 92602335 edges, 16168 markings/sec, 1800 secs
lola: sara not yet started (preprocessing) || 31795627 markings, 92864428 edges, 16165 markings/sec, 1805 secs
lola: sara not yet started (preprocessing) || 31878303 markings, 93136399 edges, 16535 markings/sec, 1810 secs
lola: sara not yet started (preprocessing) || 31961703 markings, 93409718 edges, 16680 markings/sec, 1815 secs
lola: sara not yet started (preprocessing) || 32041141 markings, 93675196 edges, 15888 markings/sec, 1820 secs
lola: sara not yet started (preprocessing) || 32128167 markings, 93943614 edges, 17405 markings/sec, 1825 secs
lola: sara not yet started (preprocessing) || 32212933 markings, 94221575 edges, 16953 markings/sec, 1830 secs
lola: sara not yet started (preprocessing) || 32298718 markings, 94497155 edges, 17157 markings/sec, 1835 secs
lola: sara not yet started (preprocessing) || 32384616 markings, 94773766 edges, 17180 markings/sec, 1840 secs
lola: sara not yet started (preprocessing) || 32470719 markings, 95053458 edges, 17221 markings/sec, 1845 secs
lola: sara not yet started (preprocessing) || 32549640 markings, 95313706 edges, 15784 markings/sec, 1850 secs
lola: sara not yet started (preprocessing) || 32631328 markings, 95576976 edges, 16338 markings/sec, 1855 secs
lola: sara not yet started (preprocessing) || 32713827 markings, 95848737 edges, 16500 markings/sec, 1860 secs
lola: sara not yet started (preprocessing) || 32796383 markings, 96120183 edges, 16511 markings/sec, 1865 secs
lola: sara not yet started (preprocessing) || 32876766 markings, 96388677 edges, 16077 markings/sec, 1870 secs
lola: sara not yet started (preprocessing) || 32963305 markings, 96654963 edges, 17308 markings/sec, 1875 secs
lola: sara not yet started (preprocessing) || 33048066 markings, 96933445 edges, 16952 markings/sec, 1880 secs
lola: sara not yet started (preprocessing) || 33134022 markings, 97209378 edges, 17191 markings/sec, 1885 secs
lola: sara not yet started (preprocessing) || 33220891 markings, 97488275 edges, 17374 markings/sec, 1890 secs
lola: sara not yet started (preprocessing) || 33307152 markings, 97765372 edges, 17252 markings/sec, 1895 secs
lola: sara not yet started (preprocessing) || 33384869 markings, 98026025 edges, 15543 markings/sec, 1900 secs
lola: sara not yet started (preprocessing) || 33467425 markings, 98291339 edges, 16511 markings/sec, 1905 secs
lola: sara not yet started (preprocessing) || 33549087 markings, 98561254 edges, 16332 markings/sec, 1910 secs
lola: sara not yet started (preprocessing) || 33631345 markings, 98831634 edges, 16452 markings/sec, 1915 secs
lola: sara not yet started (preprocessing) || 33712078 markings, 99101172 edges, 16147 markings/sec, 1920 secs
lola: sara not yet started (preprocessing) || 33799093 markings, 99369004 edges, 17403 markings/sec, 1925 secs
lola: sara not yet started (preprocessing) || 33885241 markings, 99648125 edges, 17230 markings/sec, 1930 secs
lola: sara not yet started (preprocessing) || 33970694 markings, 99925650 edges, 17091 markings/sec, 1935 secs
lola: sara not yet started (preprocessing) || 34055646 markings, 100198871 edges, 16990 markings/sec, 1940 secs
lola: sara not yet started (preprocessing) || 34141562 markings, 100475177 edges, 17183 markings/sec, 1945 secs
lola: sara not yet started (preprocessing) || 34219317 markings, 100734748 edges, 15551 markings/sec, 1950 secs
lola: sara not yet started (preprocessing) || 34301698 markings, 101000878 edges, 16476 markings/sec, 1955 secs
lola: sara not yet started (preprocessing) || 34383197 markings, 101269689 edges, 16300 markings/sec, 1960 secs
lola: sara not yet started (preprocessing) || 34466039 markings, 101534842 edges, 16568 markings/sec, 1965 secs
lola: sara not yet started (preprocessing) || 34546051 markings, 101809245 edges, 16002 markings/sec, 1970 secs
lola: sara not yet started (preprocessing) || 34633532 markings, 102077111 edges, 17496 markings/sec, 1975 secs
lola: sara not yet started (preprocessing) || 34720131 markings, 102356413 edges, 17320 markings/sec, 1980 secs
lola: sara not yet started (preprocessing) || 34804092 markings, 102631977 edges, 16792 markings/sec, 1985 secs
lola: sara not yet started (preprocessing) || 34889069 markings, 102904852 edges, 16995 markings/sec, 1990 secs
lola: sara not yet started (preprocessing) || 34974612 markings, 103180003 edges, 17109 markings/sec, 1995 secs
lola: sara not yet started (preprocessing) || 35052010 markings, 103438304 edges, 15480 markings/sec, 2000 secs
lola: sara not yet started (preprocessing) || 35134567 markings, 103705225 edges, 16511 markings/sec, 2005 secs
lola: sara not yet started (preprocessing) || 35216816 markings, 103976462 edges, 16450 markings/sec, 2010 secs
lola: sara not yet started (preprocessing) || 35297410 markings, 104239647 edges, 16119 markings/sec, 2015 secs
lola: sara not yet started (preprocessing) || 35377905 markings, 104510188 edges, 16099 markings/sec, 2020 secs
lola: sara not yet started (preprocessing) || 35466517 markings, 104781789 edges, 17722 markings/sec, 2025 secs
lola: sara not yet started (preprocessing) || 35553929 markings, 105063628 edges, 17482 markings/sec, 2030 secs
lola: sara not yet started (preprocessing) || 35638856 markings, 105342539 edges, 16985 markings/sec, 2035 secs
lola: sara not yet started (preprocessing) || 35724913 markings, 105618688 edges, 17211 markings/sec, 2040 secs
lola: sara not yet started (preprocessing) || 35810743 markings, 105895710 edges, 17166 markings/sec, 2045 secs
lola: sara not yet started (preprocessing) || 35890341 markings, 106159722 edges, 15920 markings/sec, 2050 secs
lola: sara not yet started (preprocessing) || 35973910 markings, 106429549 edges, 16714 markings/sec, 2055 secs
lola: sara not yet started (preprocessing) || 36058564 markings, 106707790 edges, 16931 markings/sec, 2060 secs
lola: sara not yet started (preprocessing) || 36137605 markings, 106970296 edges, 15808 markings/sec, 2065 secs
lola: sara not yet started (preprocessing) || 36222734 markings, 107242107 edges, 17026 markings/sec, 2070 secs
lola: sara not yet started (preprocessing) || 36309323 markings, 107518383 edges, 17318 markings/sec, 2075 secs
lola: sara not yet started (preprocessing) || 36396765 markings, 107799948 edges, 17488 markings/sec, 2080 secs
lola: sara not yet started (preprocessing) || 36483706 markings, 108080383 edges, 17388 markings/sec, 2085 secs
lola: sara not yet started (preprocessing) || 36567805 markings, 108356463 edges, 16820 markings/sec, 2090 secs
lola: sara not yet started (preprocessing) || 36652322 markings, 108629291 edges, 16903 markings/sec, 2095 secs
lola: sara not yet started (preprocessing) || 36732725 markings, 108895322 edges, 16081 markings/sec, 2100 secs
lola: sara not yet started (preprocessing) || 36816543 markings, 109166494 edges, 16764 markings/sec, 2105 secs
lola: sara not yet started (preprocessing) || 36901683 markings, 109444767 edges, 17028 markings/sec, 2110 secs
lola: sara not yet started (preprocessing) || 36981938 markings, 109713004 edges, 16051 markings/sec, 2115 secs
lola: sara not yet started (preprocessing) || 37067373 markings, 109981854 edges, 17087 markings/sec, 2120 secs
lola: sara not yet started (preprocessing) || 37154938 markings, 110263873 edges, 17513 markings/sec, 2125 secs
lola: sara not yet started (preprocessing) || 37242038 markings, 110544658 edges, 17420 markings/sec, 2130 secs
lola: sara not yet started (preprocessing) || 37329027 markings, 110824444 edges, 17398 markings/sec, 2135 secs
lola: sara not yet started (preprocessing) || 37415209 markings, 111108177 edges, 17236 markings/sec, 2140 secs
lola: sara not yet started (preprocessing) || 37496922 markings, 111372804 edges, 16343 markings/sec, 2145 secs
lola: sara not yet started (preprocessing) || 37585532 markings, 111600608 edges, 17722 markings/sec, 2150 secs
lola: sara not yet started (preprocessing) || 37685125 markings, 111822607 edges, 19919 markings/sec, 2155 secs
lola: sara not yet started (preprocessing) || 37784803 markings, 112050283 edges, 19936 markings/sec, 2160 secs
lola: sara not yet started (preprocessing) || 37881172 markings, 112275801 edges, 19274 markings/sec, 2165 secs
lola: sara not yet started (preprocessing) || 37985712 markings, 112496443 edges, 20908 markings/sec, 2170 secs
lola: sara not yet started (preprocessing) || 38089585 markings, 112729363 edges, 20775 markings/sec, 2175 secs
lola: sara not yet started (preprocessing) || 38192392 markings, 112959345 edges, 20561 markings/sec, 2180 secs
lola: sara not yet started (preprocessing) || 38294751 markings, 113187758 edges, 20472 markings/sec, 2185 secs
lola: sara not yet started (preprocessing) || 38384371 markings, 113412405 edges, 17924 markings/sec, 2190 secs
lola: sara not yet started (preprocessing) || 38482456 markings, 113642027 edges, 19617 markings/sec, 2195 secs
lola: sara not yet started (preprocessing) || 38583744 markings, 113863235 edges, 20258 markings/sec, 2200 secs
lola: sara not yet started (preprocessing) || 38683669 markings, 114137795 edges, 19985 markings/sec, 2205 secs
lola: sara not yet started (preprocessing) || 38784270 markings, 114413147 edges, 20120 markings/sec, 2210 secs
lola: sara not yet started (preprocessing) || 38885391 markings, 114691087 edges, 20224 markings/sec, 2215 secs
lola: sara not yet started (preprocessing) || 38985299 markings, 114965209 edges, 19982 markings/sec, 2220 secs
lola: sara not yet started (preprocessing) || 39086496 markings, 115244600 edges, 20239 markings/sec, 2225 secs
lola: sara not yet started (preprocessing) || 39187832 markings, 115523029 edges, 20267 markings/sec, 2230 secs
lola: sara not yet started (preprocessing) || 39289320 markings, 115802079 edges, 20298 markings/sec, 2235 secs
lola: sara not yet started (preprocessing) || 39389592 markings, 116065437 edges, 20054 markings/sec, 2240 secs
lola: sara not yet started (preprocessing) || 39490926 markings, 116345072 edges, 20267 markings/sec, 2245 secs
lola: sara not yet started (preprocessing) || 39591274 markings, 116605571 edges, 20070 markings/sec, 2250 secs
lola: sara not yet started (preprocessing) || 39691647 markings, 116881648 edges, 20075 markings/sec, 2255 secs
lola: sara not yet started (preprocessing) || 39791574 markings, 117155099 edges, 19985 markings/sec, 2260 secs
lola: sara not yet started (preprocessing) || 39891688 markings, 117430206 edges, 20023 markings/sec, 2265 secs
lola: sara not yet started (preprocessing) || 39990543 markings, 117701649 edges, 19771 markings/sec, 2270 secs
lola: sara not yet started (preprocessing) || 40090568 markings, 117977164 edges, 20005 markings/sec, 2275 secs
lola: sara not yet started (preprocessing) || 40191859 markings, 118256166 edges, 20258 markings/sec, 2280 secs
lola: sara not yet started (preprocessing) || 40293268 markings, 118534234 edges, 20282 markings/sec, 2285 secs
lola: sara not yet started (preprocessing) || 40392779 markings, 118795956 edges, 19902 markings/sec, 2290 secs
lola: sara not yet started (preprocessing) || 40493152 markings, 119072988 edges, 20075 markings/sec, 2295 secs
lola: sara not yet started (preprocessing) || 40592666 markings, 119331011 edges, 19903 markings/sec, 2300 secs
lola: sara not yet started (preprocessing) || 40692215 markings, 119604981 edges, 19910 markings/sec, 2305 secs
lola: sara not yet started (preprocessing) || 40791226 markings, 119875603 edges, 19802 markings/sec, 2310 secs
lola: sara not yet started (preprocessing) || 40890500 markings, 120148608 edges, 19855 markings/sec, 2315 secs
lola: sara not yet started (preprocessing) || 40988571 markings, 120417683 edges, 19614 markings/sec, 2320 secs
lola: sara not yet started (preprocessing) || 41087172 markings, 120689200 edges, 19720 markings/sec, 2325 secs
lola: sara not yet started (preprocessing) || 41189153 markings, 120970424 edges, 20396 markings/sec, 2330 secs
lola: sara not yet started (preprocessing) || 41290542 markings, 121248511 edges, 20278 markings/sec, 2335 secs
lola: sara not yet started (preprocessing) || 41389460 markings, 121508594 edges, 19784 markings/sec, 2340 secs
lola: sara not yet started (preprocessing) || 41488826 markings, 121782935 edges, 19873 markings/sec, 2345 secs
lola: sara not yet started (preprocessing) || 41591310 markings, 122011617 edges, 20497 markings/sec, 2350 secs
lola: sara not yet started (preprocessing) || 41683383 markings, 122227663 edges, 18415 markings/sec, 2355 secs
lola: sara not yet started (preprocessing) || 41768999 markings, 122491892 edges, 17123 markings/sec, 2360 secs
lola: sara not yet started (preprocessing) || 41852167 markings, 122767397 edges, 16634 markings/sec, 2365 secs
lola: sara not yet started (preprocessing) || 41936246 markings, 123043397 edges, 16816 markings/sec, 2370 secs
lola: sara not yet started (preprocessing) || 42022194 markings, 123320912 edges, 17190 markings/sec, 2375 secs
lola: sara not yet started (preprocessing) || 42109001 markings, 123596003 edges, 17361 markings/sec, 2380 secs
lola: sara not yet started (preprocessing) || 42196892 markings, 123880192 edges, 17578 markings/sec, 2385 secs
lola: sara not yet started (preprocessing) || 42283973 markings, 124162760 edges, 17416 markings/sec, 2390 secs
lola: sara not yet started (preprocessing) || 42369384 markings, 124442947 edges, 17082 markings/sec, 2395 secs
lola: sara not yet started (preprocessing) || 42453035 markings, 124714120 edges, 16730 markings/sec, 2400 secs
lola: sara not yet started (preprocessing) || 42531501 markings, 124976867 edges, 15693 markings/sec, 2405 secs
lola: sara not yet started (preprocessing) || 42613424 markings, 125250502 edges, 16385 markings/sec, 2410 secs
lola: sara not yet started (preprocessing) || 42697861 markings, 125508447 edges, 16887 markings/sec, 2415 secs
lola: sara not yet started (preprocessing) || 42789443 markings, 125795626 edges, 18316 markings/sec, 2420 secs
lola: sara not yet started (preprocessing) || 42879389 markings, 126082360 edges, 17989 markings/sec, 2425 secs
lola: sara not yet started (preprocessing) || 42968447 markings, 126366624 edges, 17812 markings/sec, 2430 secs
lola: sara not yet started (preprocessing) || 43058321 markings, 126651508 edges, 17975 markings/sec, 2435 secs
lola: sara not yet started (preprocessing) || 43147478 markings, 126935210 edges, 17831 markings/sec, 2440 secs
lola: sara not yet started (preprocessing) || 43237089 markings, 127218213 edges, 17922 markings/sec, 2445 secs
lola: sara not yet started (preprocessing) || 43324900 markings, 127503146 edges, 17562 markings/sec, 2450 secs
lola: sara not yet started (preprocessing) || 43409546 markings, 127772256 edges, 16929 markings/sec, 2455 secs
lola: sara not yet started (preprocessing) || 43488562 markings, 128036074 edges, 15803 markings/sec, 2460 secs
lola: sara not yet started (preprocessing) || 43573014 markings, 128309245 edges, 16890 markings/sec, 2465 secs
lola: sara not yet started (preprocessing) || 43657447 markings, 128587761 edges, 16887 markings/sec, 2470 secs
lola: sara not yet started (preprocessing) || 43737241 markings, 128850048 edges, 15959 markings/sec, 2475 secs
lola: sara not yet started (preprocessing) || 43822321 markings, 129118566 edges, 17016 markings/sec, 2480 secs
lola: sara not yet started (preprocessing) || 43910080 markings, 129402217 edges, 17552 markings/sec, 2485 secs
lola: sara not yet started (preprocessing) || 43997496 markings, 129685022 edges, 17483 markings/sec, 2490 secs
lola: sara not yet started (preprocessing) || 44084497 markings, 129966367 edges, 17400 markings/sec, 2495 secs
lola: sara not yet started (preprocessing) || 44171489 markings, 130250986 edges, 17398 markings/sec, 2500 secs
lola: sara not yet started (preprocessing) || 44251284 markings, 130511814 edges, 15959 markings/sec, 2505 secs
lola: sara not yet started (preprocessing) || 44330187 markings, 130775836 edges, 15781 markings/sec, 2510 secs
lola: sara not yet started (preprocessing) || 44413092 markings, 131052806 edges, 16581 markings/sec, 2515 secs
lola: sara not yet started (preprocessing) || 44501238 markings, 131317427 edges, 17629 markings/sec, 2520 secs
lola: sara not yet started (preprocessing) || 44591966 markings, 131602395 edges, 18146 markings/sec, 2525 secs
lola: sara not yet started (preprocessing) || 44679020 markings, 131884539 edges, 17411 markings/sec, 2530 secs
lola: sara not yet started (preprocessing) || 44768421 markings, 132164770 edges, 17880 markings/sec, 2535 secs
lola: sara not yet started (preprocessing) || 44857059 markings, 132445973 edges, 17728 markings/sec, 2540 secs
lola: sara not yet started (preprocessing) || 44944756 markings, 132725526 edges, 17539 markings/sec, 2545 secs
lola: sara not yet started (preprocessing) || 45032173 markings, 133004466 edges, 17483 markings/sec, 2550 secs
lola: sara not yet started (preprocessing) || 45120443 markings, 133291487 edges, 17654 markings/sec, 2555 secs
lola: sara not yet started (preprocessing) || 45202082 markings, 133551237 edges, 16328 markings/sec, 2560 secs
lola: sara not yet started (preprocessing) || 45280119 markings, 133810935 edges, 15607 markings/sec, 2565 secs
lola: sara not yet started (preprocessing) || 45363717 markings, 134081144 edges, 16720 markings/sec, 2570 secs
lola: sara not yet started (preprocessing) || 45447993 markings, 134359479 edges, 16855 markings/sec, 2575 secs
lola: sara not yet started (preprocessing) || 45529418 markings, 134627285 edges, 16285 markings/sec, 2580 secs
lola: sara not yet started (preprocessing) || 45614096 markings, 134893574 edges, 16936 markings/sec, 2585 secs
lola: sara not yet started (preprocessing) || 45700954 markings, 135174652 edges, 17372 markings/sec, 2590 secs
lola: sara not yet started (preprocessing) || 45786756 markings, 135451952 edges, 17160 markings/sec, 2595 secs
lola: sara not yet started (preprocessing) || 45872873 markings, 135730035 edges, 17223 markings/sec, 2600 secs
lola: sara not yet started (preprocessing) || 45959210 markings, 136010952 edges, 17267 markings/sec, 2605 secs
lola: sara not yet started (preprocessing) || 46038553 markings, 136272704 edges, 15869 markings/sec, 2610 secs
lola: sara not yet started (preprocessing) || 46117987 markings, 136538555 edges, 15887 markings/sec, 2615 secs
lola: sara not yet started (preprocessing) || 46200293 markings, 136813500 edges, 16461 markings/sec, 2620 secs
lola: sara not yet started (preprocessing) || 46288859 markings, 137078362 edges, 17713 markings/sec, 2625 secs
lola: sara not yet started (preprocessing) || 46378712 markings, 137362093 edges, 17971 markings/sec, 2630 secs
lola: sara not yet started (preprocessing) || 46465896 markings, 137643294 edges, 17437 markings/sec, 2635 secs
lola: sara not yet started (preprocessing) || 46555215 markings, 137923162 edges, 17864 markings/sec, 2640 secs
lola: sara not yet started (preprocessing) || 46643291 markings, 138203267 edges, 17615 markings/sec, 2645 secs
lola: sara not yet started (preprocessing) || 46730857 markings, 138482055 edges, 17513 markings/sec, 2650 secs
lola: sara not yet started (preprocessing) || 46817924 markings, 138759924 edges, 17413 markings/sec, 2655 secs
lola: sara not yet started (preprocessing) || 46906028 markings, 139046698 edges, 17621 markings/sec, 2660 secs
lola: sara not yet started (preprocessing) || 46987297 markings, 139305304 edges, 16254 markings/sec, 2665 secs
lola: sara not yet started (preprocessing) || 47065449 markings, 139565270 edges, 15630 markings/sec, 2670 secs
lola: sara not yet started (preprocessing) || 47148923 markings, 139835498 edges, 16695 markings/sec, 2675 secs
lola: sara not yet started (preprocessing) || 47233574 markings, 140114682 edges, 16930 markings/sec, 2680 secs
lola: sara not yet started (preprocessing) || 47314791 markings, 140381771 edges, 16243 markings/sec, 2685 secs
lola: sara not yet started (preprocessing) || 47399811 markings, 140648601 edges, 17004 markings/sec, 2690 secs
lola: sara not yet started (preprocessing) || 47486564 markings, 140929868 edges, 17351 markings/sec, 2695 secs
lola: sara not yet started (preprocessing) || 47572109 markings, 141206735 edges, 17109 markings/sec, 2700 secs
lola: sara not yet started (preprocessing) || 47658299 markings, 141484857 edges, 17238 markings/sec, 2705 secs
lola: sara not yet started (preprocessing) || 47744888 markings, 141765767 edges, 17318 markings/sec, 2710 secs
lola: sara not yet started (preprocessing) || 47824057 markings, 142027565 edges, 15834 markings/sec, 2715 secs
lola: sara not yet started (preprocessing) || 47903934 markings, 142295015 edges, 15975 markings/sec, 2720 secs
lola: sara not yet started (preprocessing) || 47985891 markings, 142568831 edges, 16391 markings/sec, 2725 secs
lola: sara not yet started (preprocessing) || 48074637 markings, 142833718 edges, 17749 markings/sec, 2730 secs
lola: sara not yet started (preprocessing) || 48164452 markings, 143117658 edges, 17963 markings/sec, 2735 secs
lola: sara not yet started (preprocessing) || 48251695 markings, 143398968 edges, 17449 markings/sec, 2740 secs
lola: sara not yet started (preprocessing) || 48340949 markings, 143678893 edges, 17851 markings/sec, 2745 secs
lola: sara not yet started (preprocessing) || 48429008 markings, 143959142 edges, 17612 markings/sec, 2750 secs
lola: sara not yet started (preprocessing) || 48516881 markings, 144238296 edges, 17575 markings/sec, 2755 secs
lola: sara not yet started (preprocessing) || 48603999 markings, 144516307 edges, 17424 markings/sec, 2760 secs
lola: sara not yet started (preprocessing) || 48692105 markings, 144802832 edges, 17621 markings/sec, 2765 secs
lola: sara not yet started (preprocessing) || 48773065 markings, 145061027 edges, 16192 markings/sec, 2770 secs
lola: sara not yet started (preprocessing) || 48851533 markings, 145322115 edges, 15694 markings/sec, 2775 secs
lola: sara not yet started (preprocessing) || 48934583 markings, 145590539 edges, 16610 markings/sec, 2780 secs
lola: sara not yet started (preprocessing) || 49018780 markings, 145868291 edges, 16839 markings/sec, 2785 secs
lola: sara not yet started (preprocessing) || 49099611 markings, 146134361 edges, 16166 markings/sec, 2790 secs
lola: sara not yet started (preprocessing) || 49184377 markings, 146400241 edges, 16953 markings/sec, 2795 secs
lola: sara not yet started (preprocessing) || 49270764 markings, 146680444 edges, 17277 markings/sec, 2800 secs
lola: sara not yet started (preprocessing) || 49355993 markings, 146956291 edges, 17046 markings/sec, 2805 secs
lola: sara not yet started (preprocessing) || 49441934 markings, 147233486 edges, 17188 markings/sec, 2810 secs
lola: sara not yet started (preprocessing) || 49528116 markings, 147513586 edges, 17236 markings/sec, 2815 secs
lola: sara not yet started (preprocessing) || 49607182 markings, 147774665 edges, 15813 markings/sec, 2820 secs
lola: sara not yet started (preprocessing) || 49686611 markings, 148040509 edges, 15886 markings/sec, 2825 secs
lola: sara not yet started (preprocessing) || 49768761 markings, 148314915 edges, 16430 markings/sec, 2830 secs
lola: sara not yet started (preprocessing) || 49857137 markings, 148579158 edges, 17675 markings/sec, 2835 secs
lola: sara not yet started (preprocessing) || 49946885 markings, 148862551 edges, 17950 markings/sec, 2840 secs
lola: sara not yet started (preprocessing) || 50033922 markings, 149143344 edges, 17407 markings/sec, 2845 secs
lola: sara not yet started (preprocessing) || 50123103 markings, 149422765 edges, 17836 markings/sec, 2850 secs
lola: sara not yet started (preprocessing) || 50211149 markings, 149702492 edges, 17609 markings/sec, 2855 secs
lola: sara not yet started (preprocessing) || 50298926 markings, 149982239 edges, 17555 markings/sec, 2860 secs
lola: sara not yet started (preprocessing) || 50386876 markings, 150262707 edges, 17590 markings/sec, 2865 secs
lola: sara not yet started (preprocessing) || 50475929 markings, 150552404 edges, 17811 markings/sec, 2870 secs
lola: sara not yet started (preprocessing) || 50557733 markings, 150813167 edges, 16361 markings/sec, 2875 secs
lola: sara not yet started (preprocessing) || 50636940 markings, 151076758 edges, 15841 markings/sec, 2880 secs
lola: sara not yet started (preprocessing) || 50720323 markings, 151345774 edges, 16677 markings/sec, 2885 secs
lola: sara not yet started (preprocessing) || 50804947 markings, 151624297 edges, 16925 markings/sec, 2890 secs
lola: sara not yet started (preprocessing) || 50885544 markings, 151890701 edges, 16119 markings/sec, 2895 secs
lola: sara not yet started (preprocessing) || 50970567 markings, 152156646 edges, 17005 markings/sec, 2900 secs
lola: sara not yet started (preprocessing) || 51056489 markings, 152436240 edges, 17184 markings/sec, 2905 secs
lola: sara not yet started (preprocessing) || 51142344 markings, 152713875 edges, 17171 markings/sec, 2910 secs
lola: sara not yet started (preprocessing) || 51228637 markings, 152993318 edges, 17259 markings/sec, 2915 secs
lola: sara not yet started (preprocessing) || 51316128 markings, 153274836 edges, 17498 markings/sec, 2920 secs
lola: sara not yet started (preprocessing) || 51395470 markings, 153538706 edges, 15868 markings/sec, 2925 secs
lola: sara not yet started (preprocessing) || 51476554 markings, 153810203 edges, 16217 markings/sec, 2930 secs
lola: sara not yet started (preprocessing) || 51558965 markings, 154086027 edges, 16482 markings/sec, 2935 secs
lola: sara not yet started (preprocessing) || 51648434 markings, 154352820 edges, 17894 markings/sec, 2940 secs
lola: sara not yet started (preprocessing) || 51739574 markings, 154639269 edges, 18228 markings/sec, 2945 secs
lola: sara not yet started (preprocessing) || 51826568 markings, 154922449 edges, 17399 markings/sec, 2950 secs
lola: sara not yet started (preprocessing) || 51916878 markings, 155204774 edges, 18062 markings/sec, 2955 secs
lola: sara not yet started (preprocessing) || 52005621 markings, 155487794 edges, 17749 markings/sec, 2960 secs
lola: sara not yet started (preprocessing) || 52093302 markings, 155767222 edges, 17536 markings/sec, 2965 secs
lola: sara not yet started (preprocessing) || 52181601 markings, 156048214 edges, 17660 markings/sec, 2970 secs
lola: sara not yet started (preprocessing) || 52271006 markings, 156331665 edges, 17881 markings/sec, 2975 secs
lola: sara not yet started (preprocessing) || 52351420 markings, 156595294 edges, 16083 markings/sec, 2980 secs
lola: sara not yet started (preprocessing) || 52431321 markings, 156860148 edges, 15980 markings/sec, 2985 secs
lola: sara not yet started (preprocessing) || 52515151 markings, 157131391 edges, 16766 markings/sec, 2990 secs
lola: sara not yet started (preprocessing) || 52600169 markings, 157408969 edges, 17004 markings/sec, 2995 secs
lola: sara not yet started (preprocessing) || 52681084 markings, 157679443 edges, 16183 markings/sec, 3000 secs
lola: sara not yet started (preprocessing) || 52768671 markings, 157950452 edges, 17517 markings/sec, 3005 secs
lola: sara not yet started (preprocessing) || 52854111 markings, 158231281 edges, 17088 markings/sec, 3010 secs
lola: sara not yet started (preprocessing) || 52940736 markings, 158510828 edges, 17325 markings/sec, 3015 secs
lola: sara not yet started (preprocessing) || 53026618 markings, 158788792 edges, 17176 markings/sec, 3020 secs
lola: sara not yet started (preprocessing) || 53113420 markings, 159067494 edges, 17360 markings/sec, 3025 secs
lola: sara not yet started (preprocessing) || 53192633 markings, 159327883 edges, 15843 markings/sec, 3030 secs
lola: sara not yet started (preprocessing) || 53273327 markings, 159603003 edges, 16139 markings/sec, 3035 secs
lola: sara not yet started (preprocessing) || 53355883 markings, 159878770 edges, 16511 markings/sec, 3040 secs
lola: sara not yet started (preprocessing) || 53447113 markings, 160148264 edges, 18246 markings/sec, 3045 secs
lola: sara not yet started (preprocessing) || 53536702 markings, 160432846 edges, 17918 markings/sec, 3050 secs
lola: sara not yet started (preprocessing) || 53625745 markings, 160717835 edges, 17809 markings/sec, 3055 secs
lola: sara not yet started (preprocessing) || 53716382 markings, 161001630 edges, 18127 markings/sec, 3060 secs
lola: sara not yet started (preprocessing) || 53803406 markings, 161283949 edges, 17405 markings/sec, 3065 secs
lola: sara not yet started (preprocessing) || 53892093 markings, 161562468 edges, 17737 markings/sec, 3070 secs
lola: sara not yet started (preprocessing) || 53980795 markings, 161843810 edges, 17740 markings/sec, 3075 secs
lola: sara not yet started (preprocessing) || 54069041 markings, 162122810 edges, 17649 markings/sec, 3080 secs
lola: sara not yet started (preprocessing) || 54148233 markings, 162388245 edges, 15838 markings/sec, 3085 secs
lola: sara not yet started (preprocessing) || 54229083 markings, 162655677 edges, 16170 markings/sec, 3090 secs
lola: sara not yet started (preprocessing) || 54313346 markings, 162928572 edges, 16853 markings/sec, 3095 secs
lola: sara not yet started (preprocessing) || 54398637 markings, 163207149 edges, 17058 markings/sec, 3100 secs
lola: sara not yet started (preprocessing) || 54480934 markings, 163482117 edges, 16459 markings/sec, 3105 secs
lola: sara not yet started (preprocessing) || 54568961 markings, 163754703 edges, 17605 markings/sec, 3110 secs
lola: sara not yet started (preprocessing) || 54657192 markings, 164039206 edges, 17646 markings/sec, 3115 secs
lola: sara not yet started (preprocessing) || 54742803 markings, 164320087 edges, 17122 markings/sec, 3120 secs
lola: sara not yet started (preprocessing) || 54828665 markings, 164597916 edges, 17172 markings/sec, 3125 secs
lola: sara not yet started (preprocessing) || 54915399 markings, 164877851 edges, 17347 markings/sec, 3130 secs
lola: sara not yet started (preprocessing) || 54994672 markings, 165137770 edges, 15855 markings/sec, 3135 secs
lola: sara not yet started (preprocessing) || 55076799 markings, 165417912 edges, 16425 markings/sec, 3140 secs
lola: sara not yet started (preprocessing) || 55165014 markings, 165695594 edges, 17643 markings/sec, 3145 secs
lola: sara not yet started (preprocessing) || 55253659 markings, 165971020 edges, 17729 markings/sec, 3150 secs
lola: sara not yet started (preprocessing) || 55344012 markings, 166257431 edges, 18071 markings/sec, 3155 secs
lola: sara not yet started (preprocessing) || 55433982 markings, 166543789 edges, 17994 markings/sec, 3160 secs
lola: sara not yet started (preprocessing) || 55523958 markings, 166828342 edges, 17995 markings/sec, 3165 secs
lola: sara not yet started (preprocessing) || 55612375 markings, 167112650 edges, 17683 markings/sec, 3170 secs
lola: sara not yet started (preprocessing) || 55702611 markings, 167395086 edges, 18047 markings/sec, 3175 secs
lola: sara not yet started (preprocessing) || 55790540 markings, 167678487 edges, 17586 markings/sec, 3180 secs
lola: sara not yet started (preprocessing) || 55877174 markings, 167953533 edges, 17327 markings/sec, 3185 secs
lola: sara not yet started (preprocessing) || 55956279 markings, 168218580 edges, 15821 markings/sec, 3190 secs
lola: sara not yet started (preprocessing) || 56049367 markings, 168443877 edges, 18618 markings/sec, 3195 secs
lola: sara not yet started (preprocessing) || 56147671 markings, 168665941 edges, 19661 markings/sec, 3200 secs
lola: sara not yet started (preprocessing) || 56245421 markings, 168889915 edges, 19550 markings/sec, 3205 secs
lola: sara not yet started (preprocessing) || 56346479 markings, 169109877 edges, 20212 markings/sec, 3210 secs
lola: sara not yet started (preprocessing) || 56449641 markings, 169341426 edges, 20632 markings/sec, 3215 secs
lola: sara not yet started (preprocessing) || 56552496 markings, 169572042 edges, 20571 markings/sec, 3220 secs
lola: sara not yet started (preprocessing) || 56654976 markings, 169801501 edges, 20496 markings/sec, 3225 secs
lola: sara not yet started (preprocessing) || 56753689 markings, 170023869 edges, 19743 markings/sec, 3230 secs
lola: sara not yet started (preprocessing) || 56846322 markings, 170255037 edges, 18527 markings/sec, 3235 secs
lola: sara not yet started (preprocessing) || 56943308 markings, 170478782 edges, 19397 markings/sec, 3240 secs
lola: sara not yet started (preprocessing) || 57049723 markings, 170696104 edges, 21283 markings/sec, 3245 secs
lola: sara not yet started (preprocessing) || 57156607 markings, 170927755 edges, 21377 markings/sec, 3250 secs
lola: sara not yet started (preprocessing) || 57260891 markings, 171159374 edges, 20857 markings/sec, 3255 secs
lola: sara not yet started (preprocessing) || 57367162 markings, 171389773 edges, 21254 markings/sec, 3260 secs
lola: sara not yet started (preprocessing) || 57470591 markings, 171619693 edges, 20686 markings/sec, 3265 secs
lola: sara not yet started (preprocessing) || 57576420 markings, 171849093 edges, 21166 markings/sec, 3270 secs
lola: sara not yet started (preprocessing) || 57678520 markings, 172073205 edges, 20420 markings/sec, 3275 secs
lola: sara not yet started (preprocessing) || 57770002 markings, 172287933 edges, 18296 markings/sec, 3280 secs
lola: sara not yet started (preprocessing) || 57854889 markings, 172553554 edges, 16977 markings/sec, 3285 secs
lola: sara not yet started (preprocessing) || 57937882 markings, 172827752 edges, 16599 markings/sec, 3290 secs
lola: sara not yet started (preprocessing) || 58021784 markings, 173103530 edges, 16780 markings/sec, 3295 secs
lola: sara not yet started (preprocessing) || 58107806 markings, 173379627 edges, 17204 markings/sec, 3300 secs
lola: sara not yet started (preprocessing) || 58194152 markings, 173655315 edges, 17269 markings/sec, 3305 secs
lola: sara not yet started (preprocessing) || 58281715 markings, 173938567 edges, 17513 markings/sec, 3310 secs
lola: sara not yet started (preprocessing) || 58368853 markings, 174220035 edges, 17428 markings/sec, 3315 secs
lola: sara not yet started (preprocessing) || 58454141 markings, 174500425 edges, 17058 markings/sec, 3320 secs
lola: sara not yet started (preprocessing) || 58537566 markings, 174770932 edges, 16685 markings/sec, 3325 secs
lola: sara not yet started (preprocessing) || 58615783 markings, 175032862 edges, 15643 markings/sec, 3330 secs
lola: sara not yet started (preprocessing) || 58700414 markings, 175315403 edges, 16926 markings/sec, 3335 secs
lola: sara not yet started (preprocessing) || 58787369 markings, 175580623 edges, 17391 markings/sec, 3340 secs
lola: sara not yet started (preprocessing) || 58879156 markings, 175867397 edges, 18357 markings/sec, 3345 secs
lola: sara not yet started (preprocessing) || 58968399 markings, 176153810 edges, 17849 markings/sec, 3350 secs
lola: sara not yet started (preprocessing) || 59057350 markings, 176435879 edges, 17790 markings/sec, 3355 secs
lola: sara not yet started (preprocessing) || 59146820 markings, 176719556 edges, 17894 markings/sec, 3360 secs
lola: sara not yet started (preprocessing) || 59235417 markings, 177001826 edges, 17719 markings/sec, 3365 secs
lola: sara not yet started (preprocessing) || 59324258 markings, 177283023 edges, 17768 markings/sec, 3370 secs
lola: sara not yet started (preprocessing) || 59412403 markings, 177569752 edges, 17629 markings/sec, 3375 secs
lola: sara not yet started (preprocessing) || 59496060 markings, 177835789 edges, 16731 markings/sec, 3380 secs
lola: sara not yet started (preprocessing) || 59574808 markings, 178098280 edges, 15750 markings/sec, 3385 secs
lola: sara not yet started (preprocessing) || 59659081 markings, 178370700 edges, 16855 markings/sec, 3390 secs
lola: sara not yet started (preprocessing) || 59743613 markings, 178649939 edges, 16906 markings/sec, 3395 secs
lola: sara not yet started (preprocessing) || 59826351 markings, 178922018 edges, 16548 markings/sec, 3400 secs
lola: sara not yet started (preprocessing) || 59911806 markings, 179191339 edges, 17091 markings/sec, 3405 secs
lola: sara not yet started (preprocessing) || 59999505 markings, 179474918 edges, 17540 markings/sec, 3410 secs
lola: sara not yet started (preprocessing) || 60086048 markings, 179754804 edges, 17309 markings/sec, 3415 secs
lola: sara not yet started (preprocessing) || 60172974 markings, 180035557 edges, 17385 markings/sec, 3420 secs
lola: sara not yet started (preprocessing) || 60260425 markings, 180318802 edges, 17490 markings/sec, 3425 secs
lola: sara not yet started (preprocessing) || 60340241 markings, 180583170 edges, 15963 markings/sec, 3430 secs
lola: sara not yet started (preprocessing) || 60421246 markings, 180854491 edges, 16201 markings/sec, 3435 secs
lola: sara not yet started (preprocessing) || 60503599 markings, 181129871 edges, 16471 markings/sec, 3440 secs
lola: sara not yet started (preprocessing) || 60593260 markings, 181397253 edges, 17932 markings/sec, 3445 secs
lola: sara not yet started (preprocessing) || 60684235 markings, 181683704 edges, 18195 markings/sec, 3450 secs
lola: sara not yet started (preprocessing) || 60771492 markings, 181967072 edges, 17451 markings/sec, 3455 secs
lola: sara not yet started (preprocessing) || 60861592 markings, 182249718 edges, 18020 markings/sec, 3460 secs
lola: sara not yet started (preprocessing) || 60950632 markings, 182533247 edges, 17808 markings/sec, 3465 secs
lola: sara not yet started (preprocessing) || 61038670 markings, 182813147 edges, 17608 markings/sec, 3470 secs
lola: sara not yet started (preprocessing) || 61126800 markings, 183094288 edges, 17626 markings/sec, 3475 secs
lola: sara not yet started (preprocessing) || 61216304 markings, 183378529 edges, 17901 markings/sec, 3480 secs
lola: sara not yet started (preprocessing) || 61296902 markings, 183642016 edges, 16120 markings/sec, 3485 secs
lola: sara not yet started (preprocessing) || 61376910 markings, 183907397 edges, 16002 markings/sec, 3490 secs
lola: sara not yet started (preprocessing) || 61460973 markings, 184178999 edges, 16813 markings/sec, 3495 secs
lola: sara not yet started (preprocessing) || 61546141 markings, 184457358 edges, 17034 markings/sec, 3500 secs
lola: sara not yet started (preprocessing) || 61627192 markings, 184728274 edges, 16210 markings/sec, 3505 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no yes no yes no no no no yes yes no yes yes no yes
lola:
preliminary result: unknown no yes no yes no no no no yes yes no yes yes no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no yes no yes no no no no yes yes no yes yes no yes
lola: memory consumption: 3668792 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no yes no yes no no no no yes yes no yes yes no yes
lola: memory consumption: 3668792 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no yes no yes no no no no yes yes no yes yes no yes
lola: memory consumption: 3668792 KB
lola: time consumption: 3569 seconds

BK_STOP 1527832745293

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-05a"
export BK_EXAMINATION="LTLCardinality"
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

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-05a.tgz
mv ASLink-PT-05a execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is ASLink-PT-05a, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r268-smll-152749145200077"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 '' LTLCardinality.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 ;