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 '
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 ;