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

About the Execution of LoLA for DNAwalker-PT-17redondantChoiceL

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
10398.840 3570678.00 3622599.00 8831.20 FFFTFFF?FT?FFTFF 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 380K
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 26 09:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.9K May 26 09:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 26 09:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.2K May 26 09:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 122 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 360 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 19 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 211K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-17redondantChoiceL, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r208-smll-152732257500259
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1527913909409

info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-17redondantChoiceL Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-17redondantChoiceL formula LTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking LTLCardinality @ DNAwalker-PT-17redondantChoiceL @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 533/65536 symbol table entries, 8 collisions
lola: preprocessing...
lola: Size of bit vector: 1376
lola: finding significant places
lola: 43 places, 490 transitions, 43 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 284 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-17redondantChoiceL-LTLCardinality.task
lola: A (X (X ((A24 <= A26)))) : A (F ((3 <= A31))) : A (F (G (X ((1 <= A11))))) : A (((A23 <= B21) U F (F ((B18 <= A28))))) : A (X ((3 <= A12))) : A (X (((B9 <= A5) U X ((3 <= A5))))) : A (X (X (F (F ((A6 <= A26)))))) : A (G (G (((A24 <= A11) U (B18 <= A31))))) : A (F (G ((A19 <= B19)))) : A ((1 <= A14)) : A (G (F (X (X ((1 <= A8)))))) : A ((1 <= A21)) : A (G (X (((3 <= A27) U (2 <= A8))))) : A ((A8 <= A12)) : A ((X ((A20 <= A29)) U X (G ((A32 <= A22))))) : A (F (G ((1 <= A7))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 210 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= A14)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= A14)
lola: processed formula length: 10
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA DNAwalker-PT-17redondantChoiceL-LTLCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 224 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= A21)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= A21)
lola: processed formula length: 10
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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 DNAwalker-PT-17redondantChoiceL-LTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A8 <= A12)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (A8 <= A12)
lola: processed formula length: 11
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges

FORMULA DNAwalker-PT-17redondantChoiceL-LTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 258 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((A6 <= A26)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((A6 <= A26)))))
lola: processed formula length: 27
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 22 markings, 22 edges
lola:
FORMULA DNAwalker-PT-17redondantChoiceL-LTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 280 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((A24 <= A26))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((A24 <= A26))))
lola: processed formula length: 24
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 24 markings, 24 edges
lola: ========================================

FORMULA DNAwalker-PT-17redondantChoiceL-LTLCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 305 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((3 <= A12)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((3 <= A12)))
lola: processed formula length: 18
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 15 markings, 15 edges
lola: ========================================

FORMULA DNAwalker-PT-17redondantChoiceL-LTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 336 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((F ((2 <= A8)) AND ((3 <= A27) OR (2 <= A8))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((F ((2 <= A8)) AND ((3 <= A27) OR (2 <= A8))))))
lola: processed formula length: 57
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 16 markings, 16 edges
lola: ========================================

FORMULA DNAwalker-PT-17redondantChoiceL-LTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 373 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((B9 <= A5) U X ((3 <= A5)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((B9 <= A5) U X ((3 <= A5)))))
lola: processed formula length: 36
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-LTLCardinality.task
lola: the resulting Büchi automaton has 5 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 15 markings, 15 edges
lola: ========================================

FORMULA DNAwalker-PT-17redondantChoiceL-LTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 420 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((A20 <= A29) U G ((A32 <= A22)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((A20 <= A29) U G ((A32 <= A22)))))
lola: processed formula length: 41
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-LTLCardinality.task
lola: the resulting Büchi automaton has 5 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 16 markings, 17 edges
lola: ========================================

FORMULA DNAwalker-PT-17redondantChoiceL-LTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 480 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((3 <= A31)))
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: (A31 <= 2)
lola: processed formula length: 10
lola: 25 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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: 33 markings, 33 edges
lola: ========================================

FORMULA DNAwalker-PT-17redondantChoiceL-LTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 560 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((B18 <= A28)))
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: (A28 + 1 <= B18)
lola: processed formula length: 16
lola: 25 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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 DNAwalker-PT-17redondantChoiceL-LTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 673 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((1 <= A11))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((1 <= A11))))
lola: processed formula length: 22
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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: 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: 49 markings, 58 edges
lola:
FORMULA DNAwalker-PT-17redondantChoiceL-LTLCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 12 will run for 841 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((1 <= A8))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((1 <= A8))))
lola: processed formula length: 21
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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: 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: 20 markings, 20 edges
lola:
FORMULA DNAwalker-PT-17redondantChoiceL-LTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 13 will run for 1121 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((1 <= A7))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((1 <= A7))))
lola: processed formula length: 21
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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: 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: 17 markings, 18 edges
lola:
FORMULA DNAwalker-PT-17redondantChoiceL-LTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 14 will run for 1682 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((A19 <= B19))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((A19 <= B19))))
lola: processed formula length: 24
lola: 23 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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: 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: 16 markings, 17 edges
lola:
FORMULA DNAwalker-PT-17redondantChoiceL-LTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 15 will run for 3365 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F ((B18 <= A31)))) AND A (G (((A24 <= A11) OR (B18 <= A31)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 3365 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((A24 <= A11) OR (B18 <= A31))))
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 (((A24 <= A11) OR (B18 <= A31))))
lola: processed formula length: 38
lola: 28 rewrites
lola: closed formula file DNAwalker-PT-17redondantChoiceL-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: ((A11 + 1 <= A24) AND (A31 + 1 <= B18))
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: sara not yet started (preprocessing) || 546872 markings, 922614 edges, 109374 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 1038556 markings, 1929799 edges, 98337 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 1527293 markings, 2932455 edges, 97747 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 2008091 markings, 3970604 edges, 96160 markings/sec, 15 secs
lola: sara not yet started (preprocessing) || 2490997 markings, 5023017 edges, 96581 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 2965127 markings, 6182867 edges, 94826 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 3414164 markings, 7363227 edges, 89807 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 3858884 markings, 8562687 edges, 88944 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 4328597 markings, 9760867 edges, 93943 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 4778436 markings, 10952850 edges, 89968 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 5222396 markings, 12175548 edges, 88792 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 5661271 markings, 13544185 edges, 87775 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 6091753 markings, 14887750 edges, 86096 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 6576159 markings, 16026537 edges, 96881 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 7015464 markings, 17148177 edges, 87861 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 7469939 markings, 18499277 edges, 90895 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 7883420 markings, 19772084 edges, 82696 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 8313612 markings, 21202077 edges, 86038 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 8804849 markings, 22392636 edges, 98247 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 9249414 markings, 23299342 edges, 88913 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 9732635 markings, 24384449 edges, 96644 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 10203026 markings, 25565458 edges, 94078 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 10664211 markings, 26815228 edges, 92237 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 11119923 markings, 28047683 edges, 91142 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 11558675 markings, 29428396 edges, 87750 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 12032614 markings, 30630337 edges, 94788 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 12479065 markings, 31972199 edges, 89290 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 12907337 markings, 33404416 edges, 85654 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 13434638 markings, 34355690 edges, 105460 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 13928334 markings, 35392516 edges, 98739 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 14427735 markings, 36331956 edges, 99880 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 14912359 markings, 37384036 edges, 96925 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 15416339 markings, 38475725 edges, 100796 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 15921021 markings, 39589704 edges, 100936 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 16392604 markings, 40781736 edges, 94317 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 16850148 markings, 42029410 edges, 91509 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 17332186 markings, 43246238 edges, 96408 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 17802590 markings, 44443356 edges, 94081 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 18262279 markings, 45695028 edges, 91938 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 18732796 markings, 46993526 edges, 94103 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 19168468 markings, 48399773 edges, 87134 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 19635223 markings, 49691509 edges, 93351 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 20113334 markings, 50845348 edges, 95622 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 20589127 markings, 52068023 edges, 95159 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 21034339 markings, 53419733 edges, 89042 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 21481232 markings, 54784109 edges, 89379 markings/sec, 225 secs
lola: sara not yet started (preprocessing) || 21914386 markings, 56226309 edges, 86631 markings/sec, 230 secs
lola: sara not yet started (preprocessing) || 22379902 markings, 57439308 edges, 93103 markings/sec, 235 secs
lola: sara not yet started (preprocessing) || 22875879 markings, 58487944 edges, 99195 markings/sec, 240 secs
lola: sara not yet started (preprocessing) || 23375010 markings, 59593479 edges, 99826 markings/sec, 245 secs
lola: sara not yet started (preprocessing) || 23848962 markings, 60778045 edges, 94790 markings/sec, 250 secs
lola: sara not yet started (preprocessing) || 24308613 markings, 62049111 edges, 91930 markings/sec, 255 secs
lola: sara not yet started (preprocessing) || 24769554 markings, 63298124 edges, 92188 markings/sec, 260 secs
lola: sara not yet started (preprocessing) || 25212862 markings, 64669455 edges, 88662 markings/sec, 265 secs
lola: sara not yet started (preprocessing) || 25665633 markings, 65954574 edges, 90554 markings/sec, 270 secs
lola: sara not yet started (preprocessing) || 26118533 markings, 67243308 edges, 90580 markings/sec, 275 secs
lola: sara not yet started (preprocessing) || 26549791 markings, 68645535 edges, 86252 markings/sec, 280 secs
lola: sara not yet started (preprocessing) || 27004083 markings, 69928642 edges, 90858 markings/sec, 285 secs
lola: sara not yet started (preprocessing) || 27473915 markings, 71103528 edges, 93966 markings/sec, 290 secs
lola: sara not yet started (preprocessing) || 27941871 markings, 72217077 edges, 93591 markings/sec, 295 secs
lola: sara not yet started (preprocessing) || 28418193 markings, 73395880 edges, 95264 markings/sec, 300 secs
lola: sara not yet started (preprocessing) || 28874764 markings, 74656098 edges, 91314 markings/sec, 305 secs
lola: sara not yet started (preprocessing) || 29322202 markings, 75941801 edges, 89488 markings/sec, 310 secs
lola: sara not yet started (preprocessing) || 29760144 markings, 77260657 edges, 87588 markings/sec, 315 secs
lola: sara not yet started (preprocessing) || 30214430 markings, 78418439 edges, 90857 markings/sec, 320 secs
lola: sara not yet started (preprocessing) || 30659035 markings, 79657495 edges, 88921 markings/sec, 325 secs
lola: sara not yet started (preprocessing) || 31084011 markings, 80979385 edges, 84995 markings/sec, 330 secs
lola: sara not yet started (preprocessing) || 31518428 markings, 82237795 edges, 86883 markings/sec, 335 secs
lola: sara not yet started (preprocessing) || 31995265 markings, 83368003 edges, 95367 markings/sec, 340 secs
lola: sara not yet started (preprocessing) || 32525933 markings, 84266744 edges, 106134 markings/sec, 345 secs
lola: sara not yet started (preprocessing) || 33036780 markings, 85253632 edges, 102169 markings/sec, 350 secs
lola: sara not yet started (preprocessing) || 33543381 markings, 86292235 edges, 101320 markings/sec, 355 secs
lola: sara not yet started (preprocessing) || 34023829 markings, 87425062 edges, 96090 markings/sec, 360 secs
lola: sara not yet started (preprocessing) || 34501644 markings, 88592902 edges, 95563 markings/sec, 365 secs
lola: sara not yet started (preprocessing) || 34981856 markings, 89727803 edges, 96042 markings/sec, 370 secs
lola: sara not yet started (preprocessing) || 35453768 markings, 90924585 edges, 94382 markings/sec, 375 secs
lola: sara not yet started (preprocessing) || 35903730 markings, 92232223 edges, 89992 markings/sec, 380 secs
lola: sara not yet started (preprocessing) || 36397641 markings, 93300895 edges, 98782 markings/sec, 385 secs
lola: sara not yet started (preprocessing) || 36903526 markings, 94297637 edges, 101177 markings/sec, 390 secs
lola: sara not yet started (preprocessing) || 37380864 markings, 95446419 edges, 95468 markings/sec, 395 secs
lola: sara not yet started (preprocessing) || 37854542 markings, 96613082 edges, 94736 markings/sec, 400 secs
lola: sara not yet started (preprocessing) || 38305040 markings, 97891156 edges, 90100 markings/sec, 405 secs
lola: sara not yet started (preprocessing) || 38804895 markings, 98916043 edges, 99971 markings/sec, 410 secs
lola: sara not yet started (preprocessing) || 39264774 markings, 100139359 edges, 91976 markings/sec, 415 secs
lola: sara not yet started (preprocessing) || 39735702 markings, 101293072 edges, 94186 markings/sec, 420 secs
lola: sara not yet started (preprocessing) || 40182188 markings, 102529439 edges, 89297 markings/sec, 425 secs
lola: sara not yet started (preprocessing) || 40637962 markings, 103650137 edges, 91155 markings/sec, 430 secs
lola: sara not yet started (preprocessing) || 41100349 markings, 104739189 edges, 92477 markings/sec, 435 secs
lola: sara not yet started (preprocessing) || 41535495 markings, 105970893 edges, 87029 markings/sec, 440 secs
lola: sara not yet started (preprocessing) || 41971019 markings, 107272854 edges, 87105 markings/sec, 445 secs
lola: sara not yet started (preprocessing) || 42406095 markings, 108502119 edges, 87015 markings/sec, 450 secs
lola: sara not yet started (preprocessing) || 42879625 markings, 109597569 edges, 94706 markings/sec, 455 secs
lola: sara not yet started (preprocessing) || 43357817 markings, 110644433 edges, 95638 markings/sec, 460 secs
lola: sara not yet started (preprocessing) || 43796284 markings, 111715285 edges, 87693 markings/sec, 465 secs
lola: sara not yet started (preprocessing) || 44203606 markings, 112880787 edges, 81464 markings/sec, 470 secs
lola: sara not yet started (preprocessing) || 44692311 markings, 113891272 edges, 97741 markings/sec, 475 secs
lola: sara not yet started (preprocessing) || 45137816 markings, 115022348 edges, 89101 markings/sec, 480 secs
lola: sara not yet started (preprocessing) || 45576113 markings, 116172196 edges, 87659 markings/sec, 485 secs
lola: sara not yet started (preprocessing) || 46020151 markings, 117278788 edges, 88808 markings/sec, 490 secs
lola: sara not yet started (preprocessing) || 46482892 markings, 118321478 edges, 92548 markings/sec, 495 secs
lola: sara not yet started (preprocessing) || 46946919 markings, 119348202 edges, 92805 markings/sec, 500 secs
lola: sara not yet started (preprocessing) || 47397739 markings, 120354754 edges, 90164 markings/sec, 505 secs
lola: sara not yet started (preprocessing) || 47865359 markings, 121381220 edges, 93524 markings/sec, 510 secs
lola: sara not yet started (preprocessing) || 48312111 markings, 122415210 edges, 89350 markings/sec, 515 secs
lola: sara not yet started (preprocessing) || 48737216 markings, 123589696 edges, 85021 markings/sec, 520 secs
lola: sara not yet started (preprocessing) || 49146946 markings, 124737975 edges, 81946 markings/sec, 525 secs
lola: sara not yet started (preprocessing) || 49557913 markings, 125907363 edges, 82193 markings/sec, 530 secs
lola: sara not yet started (preprocessing) || 49986864 markings, 127099003 edges, 85790 markings/sec, 535 secs
lola: sara not yet started (preprocessing) || 50397631 markings, 128241256 edges, 82153 markings/sec, 540 secs
lola: sara not yet started (preprocessing) || 50822946 markings, 129414780 edges, 85063 markings/sec, 545 secs
lola: sara not yet started (preprocessing) || 51219014 markings, 130533993 edges, 79214 markings/sec, 550 secs
lola: sara not yet started (preprocessing) || 51632922 markings, 131921037 edges, 82782 markings/sec, 555 secs
lola: sara not yet started (preprocessing) || 52062948 markings, 133212737 edges, 86005 markings/sec, 560 secs
lola: sara not yet started (preprocessing) || 52517148 markings, 134457243 edges, 90840 markings/sec, 565 secs
lola: sara not yet started (preprocessing) || 52971890 markings, 135672816 edges, 90948 markings/sec, 570 secs
lola: sara not yet started (preprocessing) || 53404300 markings, 137066207 edges, 86482 markings/sec, 575 secs
lola: sara not yet started (preprocessing) || 53866684 markings, 138264360 edges, 92477 markings/sec, 580 secs
lola: sara not yet started (preprocessing) || 54315482 markings, 139549175 edges, 89760 markings/sec, 585 secs
lola: sara not yet started (preprocessing) || 54743706 markings, 140872682 edges, 85645 markings/sec, 590 secs
lola: sara not yet started (preprocessing) || 55187685 markings, 142107135 edges, 88796 markings/sec, 595 secs
lola: sara not yet started (preprocessing) || 55637138 markings, 143316825 edges, 89891 markings/sec, 600 secs
lola: sara not yet started (preprocessing) || 56084921 markings, 144519615 edges, 89557 markings/sec, 605 secs
lola: sara not yet started (preprocessing) || 56541996 markings, 145679723 edges, 91415 markings/sec, 610 secs
lola: sara not yet started (preprocessing) || 56983247 markings, 146893472 edges, 88250 markings/sec, 615 secs
lola: sara not yet started (preprocessing) || 57405862 markings, 148238233 edges, 84523 markings/sec, 620 secs
lola: sara not yet started (preprocessing) || 57827236 markings, 149594459 edges, 84275 markings/sec, 625 secs
lola: sara not yet started (preprocessing) || 58254408 markings, 150992737 edges, 85434 markings/sec, 630 secs
lola: sara not yet started (preprocessing) || 58680426 markings, 152376364 edges, 85204 markings/sec, 635 secs
lola: sara not yet started (preprocessing) || 59104691 markings, 153718268 edges, 84853 markings/sec, 640 secs
lola: sara not yet started (preprocessing) || 59519861 markings, 155139882 edges, 83034 markings/sec, 645 secs
lola: sara not yet started (preprocessing) || 59921783 markings, 156696335 edges, 80384 markings/sec, 650 secs
lola: sara not yet started (preprocessing) || 60400009 markings, 157879788 edges, 95645 markings/sec, 655 secs
lola: sara not yet started (preprocessing) || 60881871 markings, 158998084 edges, 96372 markings/sec, 660 secs
lola: sara not yet started (preprocessing) || 61353466 markings, 160185863 edges, 94319 markings/sec, 665 secs
lola: sara not yet started (preprocessing) || 61818465 markings, 161449317 edges, 93000 markings/sec, 670 secs
lola: sara not yet started (preprocessing) || 62256060 markings, 162781160 edges, 87519 markings/sec, 675 secs
lola: sara not yet started (preprocessing) || 62710278 markings, 164100594 edges, 90844 markings/sec, 680 secs
lola: sara not yet started (preprocessing) || 63148643 markings, 165456728 edges, 87673 markings/sec, 685 secs
lola: sara not yet started (preprocessing) || 63567883 markings, 166923938 edges, 83848 markings/sec, 690 secs
lola: sara not yet started (preprocessing) || 64038534 markings, 168117924 edges, 94130 markings/sec, 695 secs
lola: sara not yet started (preprocessing) || 64503050 markings, 169332600 edges, 92903 markings/sec, 700 secs
lola: sara not yet started (preprocessing) || 64943978 markings, 170660615 edges, 88186 markings/sec, 705 secs
lola: sara not yet started (preprocessing) || 65368192 markings, 172063524 edges, 84843 markings/sec, 710 secs
lola: sara not yet started (preprocessing) || 65820681 markings, 173325083 edges, 90498 markings/sec, 715 secs
lola: sara not yet started (preprocessing) || 66256295 markings, 174665985 edges, 87123 markings/sec, 720 secs
lola: sara not yet started (preprocessing) || 66690313 markings, 176006834 edges, 86804 markings/sec, 725 secs
lola: sara not yet started (preprocessing) || 67103492 markings, 177396409 edges, 82636 markings/sec, 730 secs
lola: sara not yet started (preprocessing) || 67524670 markings, 178664590 edges, 84236 markings/sec, 735 secs
lola: sara not yet started (preprocessing) || 67945823 markings, 179957810 edges, 84231 markings/sec, 740 secs
lola: sara not yet started (preprocessing) || 68343792 markings, 181405475 edges, 79594 markings/sec, 745 secs
lola: sara not yet started (preprocessing) || 68750871 markings, 182785934 edges, 81416 markings/sec, 750 secs
lola: sara not yet started (preprocessing) || 69180950 markings, 184085747 edges, 86016 markings/sec, 755 secs
lola: sara not yet started (preprocessing) || 69627341 markings, 185324161 edges, 89278 markings/sec, 760 secs
lola: sara not yet started (preprocessing) || 70049290 markings, 186696705 edges, 84390 markings/sec, 765 secs
lola: sara not yet started (preprocessing) || 70487009 markings, 187951125 edges, 87544 markings/sec, 770 secs
lola: sara not yet started (preprocessing) || 70915692 markings, 189271215 edges, 85737 markings/sec, 775 secs
lola: sara not yet started (preprocessing) || 71333059 markings, 190622621 edges, 83473 markings/sec, 780 secs
lola: sara not yet started (preprocessing) || 71763422 markings, 191905075 edges, 86073 markings/sec, 785 secs
lola: sara not yet started (preprocessing) || 72201904 markings, 193154055 edges, 87696 markings/sec, 790 secs
lola: sara not yet started (preprocessing) || 72638943 markings, 194402262 edges, 87408 markings/sec, 795 secs
lola: sara not yet started (preprocessing) || 73078105 markings, 195623302 edges, 87832 markings/sec, 800 secs
lola: sara not yet started (preprocessing) || 73503176 markings, 196918331 edges, 85014 markings/sec, 805 secs
lola: sara not yet started (preprocessing) || 73910080 markings, 198304045 edges, 81381 markings/sec, 810 secs
lola: sara not yet started (preprocessing) || 74319575 markings, 199697460 edges, 81899 markings/sec, 815 secs
lola: sara not yet started (preprocessing) || 74729385 markings, 201110548 edges, 81962 markings/sec, 820 secs
lola: sara not yet started (preprocessing) || 75139206 markings, 202504697 edges, 81964 markings/sec, 825 secs
lola: sara not yet started (preprocessing) || 75545558 markings, 203883160 edges, 81270 markings/sec, 830 secs
lola: sara not yet started (preprocessing) || 75944684 markings, 205382543 edges, 79825 markings/sec, 835 secs
lola: sara not yet started (preprocessing) || 76339717 markings, 206891728 edges, 79007 markings/sec, 840 secs
lola: sara not yet started (preprocessing) || 76776460 markings, 208285153 edges, 87349 markings/sec, 845 secs
lola: sara not yet started (preprocessing) || 77199182 markings, 209747290 edges, 84544 markings/sec, 850 secs
lola: sara not yet started (preprocessing) || 77630754 markings, 211170616 edges, 86314 markings/sec, 855 secs
lola: sara not yet started (preprocessing) || 78053271 markings, 212619886 edges, 84503 markings/sec, 860 secs
lola: sara not yet started (preprocessing) || 78459642 markings, 214067043 edges, 81274 markings/sec, 865 secs
lola: sara not yet started (preprocessing) || 78878390 markings, 215472831 edges, 83750 markings/sec, 870 secs
lola: sara not yet started (preprocessing) || 79298230 markings, 216841868 edges, 83968 markings/sec, 875 secs
lola: sara not yet started (preprocessing) || 79726760 markings, 218178595 edges, 85706 markings/sec, 880 secs
lola: sara not yet started (preprocessing) || 80140590 markings, 219571030 edges, 82766 markings/sec, 885 secs
lola: sara not yet started (preprocessing) || 80535174 markings, 221082026 edges, 78917 markings/sec, 890 secs
lola: sara not yet started (preprocessing) || 80939513 markings, 222631115 edges, 80868 markings/sec, 895 secs
lola: sara not yet started (preprocessing) || 81346441 markings, 224172950 edges, 81386 markings/sec, 900 secs
lola: sara not yet started (preprocessing) || 81751104 markings, 225676669 edges, 80933 markings/sec, 905 secs
lola: sara not yet started (preprocessing) || 82143799 markings, 227297804 edges, 78539 markings/sec, 910 secs
lola: sara not yet started (preprocessing) || 82580586 markings, 228760939 edges, 87357 markings/sec, 915 secs
lola: sara not yet started (preprocessing) || 83088909 markings, 229748910 edges, 101665 markings/sec, 920 secs
lola: sara not yet started (preprocessing) || 83581801 markings, 230797699 edges, 98578 markings/sec, 925 secs
lola: sara not yet started (preprocessing) || 84067893 markings, 231949989 edges, 97218 markings/sec, 930 secs
lola: sara not yet started (preprocessing) || 84533006 markings, 233174101 edges, 93023 markings/sec, 935 secs
lola: sara not yet started (preprocessing) || 85002643 markings, 234368960 edges, 93927 markings/sec, 940 secs
lola: sara not yet started (preprocessing) || 85450696 markings, 235700193 edges, 89611 markings/sec, 945 secs
lola: sara not yet started (preprocessing) || 85930319 markings, 236911446 edges, 95925 markings/sec, 950 secs
lola: sara not yet started (preprocessing) || 86388042 markings, 238222112 edges, 91545 markings/sec, 955 secs
lola: sara not yet started (preprocessing) || 86824964 markings, 239635184 edges, 87384 markings/sec, 960 secs
lola: sara not yet started (preprocessing) || 87334209 markings, 240645168 edges, 101849 markings/sec, 965 secs
lola: sara not yet started (preprocessing) || 87810382 markings, 241791544 edges, 95235 markings/sec, 970 secs
lola: sara not yet started (preprocessing) || 88272705 markings, 243017501 edges, 92465 markings/sec, 975 secs
lola: sara not yet started (preprocessing) || 88735237 markings, 244283468 edges, 92506 markings/sec, 980 secs
lola: sara not yet started (preprocessing) || 89176846 markings, 245666544 edges, 88322 markings/sec, 985 secs
lola: sara not yet started (preprocessing) || 89695560 markings, 246621812 edges, 103743 markings/sec, 990 secs
lola: sara not yet started (preprocessing) || 90197966 markings, 247626914 edges, 100481 markings/sec, 995 secs
lola: sara not yet started (preprocessing) || 90699034 markings, 248726025 edges, 100214 markings/sec, 1000 secs
lola: sara not yet started (preprocessing) || 91169849 markings, 249909463 edges, 94163 markings/sec, 1005 secs
lola: sara not yet started (preprocessing) || 91649753 markings, 251102282 edges, 95981 markings/sec, 1010 secs
lola: sara not yet started (preprocessing) || 92117052 markings, 252327368 edges, 93460 markings/sec, 1015 secs
lola: sara not yet started (preprocessing) || 92567732 markings, 253666310 edges, 90136 markings/sec, 1020 secs
lola: sara not yet started (preprocessing) || 93046604 markings, 254820980 edges, 95774 markings/sec, 1025 secs
lola: sara not yet started (preprocessing) || 93501027 markings, 256132981 edges, 90885 markings/sec, 1030 secs
lola: sara not yet started (preprocessing) || 93930754 markings, 257530704 edges, 85945 markings/sec, 1035 secs
lola: sara not yet started (preprocessing) || 94433487 markings, 258534421 edges, 100547 markings/sec, 1040 secs
lola: sara not yet started (preprocessing) || 94911934 markings, 259682190 edges, 95689 markings/sec, 1045 secs
lola: sara not yet started (preprocessing) || 95377327 markings, 260909553 edges, 93079 markings/sec, 1050 secs
lola: sara not yet started (preprocessing) || 95829350 markings, 262182762 edges, 90405 markings/sec, 1055 secs
lola: sara not yet started (preprocessing) || 96267756 markings, 263517108 edges, 87681 markings/sec, 1060 secs
lola: sara not yet started (preprocessing) || 96729747 markings, 264678303 edges, 92398 markings/sec, 1065 secs
lola: sara not yet started (preprocessing) || 97205172 markings, 265768117 edges, 95085 markings/sec, 1070 secs
lola: sara not yet started (preprocessing) || 97648989 markings, 267015979 edges, 88763 markings/sec, 1075 secs
lola: sara not yet started (preprocessing) || 98094950 markings, 268231079 edges, 89192 markings/sec, 1080 secs
lola: sara not yet started (preprocessing) || 98551663 markings, 269429268 edges, 91343 markings/sec, 1085 secs
lola: sara not yet started (preprocessing) || 99071297 markings, 270379618 edges, 103927 markings/sec, 1090 secs
lola: sara not yet started (preprocessing) || 99571420 markings, 271438763 edges, 100025 markings/sec, 1095 secs
lola: sara not yet started (preprocessing) || 100055488 markings, 272577580 edges, 96814 markings/sec, 1100 secs
lola: sara not yet started (preprocessing) || 100523012 markings, 273798118 edges, 93505 markings/sec, 1105 secs
lola: sara not yet started (preprocessing) || 101021724 markings, 274846950 edges, 99742 markings/sec, 1110 secs
lola: sara not yet started (preprocessing) || 101506402 markings, 275964849 edges, 96936 markings/sec, 1115 secs
lola: sara not yet started (preprocessing) || 101987208 markings, 277097385 edges, 96161 markings/sec, 1120 secs
lola: sara not yet started (preprocessing) || 102462057 markings, 278251801 edges, 94970 markings/sec, 1125 secs
lola: sara not yet started (preprocessing) || 102919797 markings, 279414788 edges, 91548 markings/sec, 1130 secs
lola: sara not yet started (preprocessing) || 103376397 markings, 280533991 edges, 91320 markings/sec, 1135 secs
lola: sara not yet started (preprocessing) || 103835528 markings, 281683594 edges, 91826 markings/sec, 1140 secs
lola: sara not yet started (preprocessing) || 104329600 markings, 282667574 edges, 98814 markings/sec, 1145 secs
lola: sara not yet started (preprocessing) || 104819479 markings, 283670759 edges, 97976 markings/sec, 1150 secs
lola: sara not yet started (preprocessing) || 105304831 markings, 284749008 edges, 97070 markings/sec, 1155 secs
lola: sara not yet started (preprocessing) || 105831443 markings, 285796084 edges, 105322 markings/sec, 1160 secs
lola: sara not yet started (preprocessing) || 106358892 markings, 286825625 edges, 105490 markings/sec, 1165 secs
lola: sara not yet started (preprocessing) || 106869696 markings, 287850472 edges, 102161 markings/sec, 1170 secs
lola: sara not yet started (preprocessing) || 107334644 markings, 288993447 edges, 92990 markings/sec, 1175 secs
lola: sara not yet started (preprocessing) || 107784255 markings, 290201100 edges, 89922 markings/sec, 1180 secs
lola: sara not yet started (preprocessing) || 108281768 markings, 291361761 edges, 99503 markings/sec, 1185 secs
lola: sara not yet started (preprocessing) || 108757297 markings, 292513307 edges, 95106 markings/sec, 1190 secs
lola: sara not yet started (preprocessing) || 109212594 markings, 293682847 edges, 91059 markings/sec, 1195 secs
lola: sara not yet started (preprocessing) || 109687687 markings, 294879693 edges, 95019 markings/sec, 1200 secs
lola: sara not yet started (preprocessing) || 110183254 markings, 296032145 edges, 99113 markings/sec, 1205 secs
lola: sara not yet started (preprocessing) || 110625651 markings, 297299520 edges, 88479 markings/sec, 1210 secs
lola: sara not yet started (preprocessing) || 111070583 markings, 298627780 edges, 88986 markings/sec, 1215 secs
lola: sara not yet started (preprocessing) || 111545526 markings, 299851401 edges, 94989 markings/sec, 1220 secs
lola: sara not yet started (preprocessing) || 112023587 markings, 300980962 edges, 95612 markings/sec, 1225 secs
lola: sara not yet started (preprocessing) || 112493530 markings, 302105509 edges, 93989 markings/sec, 1230 secs
lola: sara not yet started (preprocessing) || 112954958 markings, 303276337 edges, 92286 markings/sec, 1235 secs
lola: sara not yet started (preprocessing) || 113440836 markings, 304423597 edges, 97176 markings/sec, 1240 secs
lola: sara not yet started (preprocessing) || 113914971 markings, 305558261 edges, 94827 markings/sec, 1245 secs
lola: sara not yet started (preprocessing) || 114363393 markings, 306844360 edges, 89684 markings/sec, 1250 secs
lola: sara not yet started (preprocessing) || 114796362 markings, 308155596 edges, 86594 markings/sec, 1255 secs
lola: sara not yet started (preprocessing) || 115247101 markings, 309412223 edges, 90148 markings/sec, 1260 secs
lola: sara not yet started (preprocessing) || 115692055 markings, 310710419 edges, 88991 markings/sec, 1265 secs
lola: sara not yet started (preprocessing) || 116127513 markings, 312024112 edges, 87092 markings/sec, 1270 secs
lola: sara not yet started (preprocessing) || 116578857 markings, 313294700 edges, 90269 markings/sec, 1275 secs
lola: sara not yet started (preprocessing) || 116984234 markings, 314742757 edges, 81075 markings/sec, 1280 secs
lola: sara not yet started (preprocessing) || 117417803 markings, 316117985 edges, 86714 markings/sec, 1285 secs
lola: sara not yet started (preprocessing) || 117900731 markings, 317259378 edges, 96586 markings/sec, 1290 secs
lola: sara not yet started (preprocessing) || 118372423 markings, 318448479 edges, 94338 markings/sec, 1295 secs
lola: sara not yet started (preprocessing) || 118824486 markings, 319744075 edges, 90413 markings/sec, 1300 secs
lola: sara not yet started (preprocessing) || 119265370 markings, 321076673 edges, 88177 markings/sec, 1305 secs
lola: sara not yet started (preprocessing) || 119721657 markings, 322328390 edges, 91257 markings/sec, 1310 secs
lola: sara not yet started (preprocessing) || 120173615 markings, 323603448 edges, 90392 markings/sec, 1315 secs
lola: sara not yet started (preprocessing) || 120621361 markings, 324900633 edges, 89549 markings/sec, 1320 secs
lola: sara not yet started (preprocessing) || 121060030 markings, 326215074 edges, 87734 markings/sec, 1325 secs
lola: sara not yet started (preprocessing) || 121485161 markings, 327487427 edges, 85026 markings/sec, 1330 secs
lola: sara not yet started (preprocessing) || 121902442 markings, 328816760 edges, 83456 markings/sec, 1335 secs
lola: sara not yet started (preprocessing) || 122339463 markings, 330024421 edges, 87404 markings/sec, 1340 secs
lola: sara not yet started (preprocessing) || 122802083 markings, 331185231 edges, 92524 markings/sec, 1345 secs
lola: sara not yet started (preprocessing) || 123249338 markings, 332366841 edges, 89451 markings/sec, 1350 secs
lola: sara not yet started (preprocessing) || 123706721 markings, 333585737 edges, 91477 markings/sec, 1355 secs
lola: sara not yet started (preprocessing) || 124190654 markings, 334793836 edges, 96787 markings/sec, 1360 secs
lola: sara not yet started (preprocessing) || 124671325 markings, 335988714 edges, 96134 markings/sec, 1365 secs
lola: sara not yet started (preprocessing) || 125104268 markings, 337279996 edges, 86589 markings/sec, 1370 secs
lola: sara not yet started (preprocessing) || 125517657 markings, 338622274 edges, 82678 markings/sec, 1375 secs
lola: sara not yet started (preprocessing) || 125975354 markings, 339937583 edges, 91539 markings/sec, 1380 secs
lola: sara not yet started (preprocessing) || 126406543 markings, 341251539 edges, 86238 markings/sec, 1385 secs
lola: sara not yet started (preprocessing) || 126815664 markings, 342534740 edges, 81824 markings/sec, 1390 secs
lola: sara not yet started (preprocessing) || 127225625 markings, 343764073 edges, 81992 markings/sec, 1395 secs
lola: sara not yet started (preprocessing) || 127657571 markings, 345126065 edges, 86389 markings/sec, 1400 secs
lola: sara not yet started (preprocessing) || 128054952 markings, 346578918 edges, 79476 markings/sec, 1405 secs
lola: sara not yet started (preprocessing) || 128486910 markings, 347976428 edges, 86392 markings/sec, 1410 secs
lola: sara not yet started (preprocessing) || 128935527 markings, 349272333 edges, 89723 markings/sec, 1415 secs
lola: sara not yet started (preprocessing) || 129357442 markings, 350528155 edges, 84383 markings/sec, 1420 secs
lola: sara not yet started (preprocessing) || 129736401 markings, 351676680 edges, 75792 markings/sec, 1425 secs
lola: sara not yet started (preprocessing) || 130184856 markings, 352979083 edges, 89691 markings/sec, 1430 secs
lola: sara not yet started (preprocessing) || 130617047 markings, 354355599 edges, 86438 markings/sec, 1435 secs
lola: sara not yet started (preprocessing) || 131017898 markings, 355793594 edges, 80170 markings/sec, 1440 secs
lola: sara not yet started (preprocessing) || 131433375 markings, 357213547 edges, 83095 markings/sec, 1445 secs
lola: sara not yet started (preprocessing) || 131849951 markings, 358668943 edges, 83315 markings/sec, 1450 secs
lola: sara not yet started (preprocessing) || 132255322 markings, 360107547 edges, 81074 markings/sec, 1455 secs
lola: sara not yet started (preprocessing) || 132659141 markings, 361601939 edges, 80764 markings/sec, 1460 secs
lola: sara not yet started (preprocessing) || 133039621 markings, 363167516 edges, 76096 markings/sec, 1465 secs
lola: sara not yet started (preprocessing) || 133530724 markings, 364292505 edges, 98221 markings/sec, 1470 secs
lola: sara not yet started (preprocessing) || 134016475 markings, 365415964 edges, 97150 markings/sec, 1475 secs
lola: sara not yet started (preprocessing) || 134483400 markings, 366664920 edges, 93385 markings/sec, 1480 secs
lola: sara not yet started (preprocessing) || 134957989 markings, 367956110 edges, 94918 markings/sec, 1485 secs
lola: sara not yet started (preprocessing) || 135443601 markings, 369135009 edges, 97122 markings/sec, 1490 secs
lola: sara not yet started (preprocessing) || 135913153 markings, 370379847 edges, 93910 markings/sec, 1495 secs
lola: sara not yet started (preprocessing) || 136401846 markings, 371544241 edges, 97739 markings/sec, 1500 secs
lola: sara not yet started (preprocessing) || 136900298 markings, 372596015 edges, 99690 markings/sec, 1505 secs
lola: sara not yet started (preprocessing) || 137370002 markings, 373785868 edges, 93941 markings/sec, 1510 secs
lola: sara not yet started (preprocessing) || 137831307 markings, 375048713 edges, 92261 markings/sec, 1515 secs
lola: sara not yet started (preprocessing) || 138274849 markings, 376372275 edges, 88708 markings/sec, 1520 secs
lola: sara not yet started (preprocessing) || 138751431 markings, 377468714 edges, 95316 markings/sec, 1525 secs
lola: sara not yet started (preprocessing) || 139198465 markings, 378718508 edges, 89407 markings/sec, 1530 secs
lola: sara not yet started (preprocessing) || 139638756 markings, 379935843 edges, 88058 markings/sec, 1535 secs
lola: sara not yet started (preprocessing) || 140080115 markings, 381122614 edges, 88272 markings/sec, 1540 secs
lola: sara not yet started (preprocessing) || 140567214 markings, 382162091 edges, 97420 markings/sec, 1545 secs
lola: sara not yet started (preprocessing) || 141032527 markings, 383309221 edges, 93063 markings/sec, 1550 secs
lola: sara not yet started (preprocessing) || 141496253 markings, 384446710 edges, 92745 markings/sec, 1555 secs
lola: sara not yet started (preprocessing) || 141947908 markings, 385595844 edges, 90331 markings/sec, 1560 secs
lola: sara not yet started (preprocessing) || 142384680 markings, 386799990 edges, 87354 markings/sec, 1565 secs
lola: sara not yet started (preprocessing) || 142840645 markings, 387894808 edges, 91193 markings/sec, 1570 secs
lola: sara not yet started (preprocessing) || 143295295 markings, 389013049 edges, 90930 markings/sec, 1575 secs
lola: sara not yet started (preprocessing) || 143794834 markings, 390014423 edges, 99908 markings/sec, 1580 secs
lola: sara not yet started (preprocessing) || 144279065 markings, 391050290 edges, 96846 markings/sec, 1585 secs
lola: sara not yet started (preprocessing) || 144743413 markings, 392221340 edges, 92870 markings/sec, 1590 secs
lola: sara not yet started (preprocessing) || 145173288 markings, 393443395 edges, 85975 markings/sec, 1595 secs
lola: sara not yet started (preprocessing) || 145638538 markings, 394615323 edges, 93050 markings/sec, 1600 secs
lola: sara not yet started (preprocessing) || 146066334 markings, 395919497 edges, 85559 markings/sec, 1605 secs
lola: sara not yet started (preprocessing) || 146497832 markings, 397213011 edges, 86300 markings/sec, 1610 secs
lola: sara not yet started (preprocessing) || 146927449 markings, 398458700 edges, 85923 markings/sec, 1615 secs
lola: sara not yet started (preprocessing) || 147368259 markings, 399633858 edges, 88162 markings/sec, 1620 secs
lola: sara not yet started (preprocessing) || 147825586 markings, 400794275 edges, 91465 markings/sec, 1625 secs
lola: sara not yet started (preprocessing) || 148251629 markings, 402097241 edges, 85209 markings/sec, 1630 secs
lola: sara not yet started (preprocessing) || 148673645 markings, 403417250 edges, 84403 markings/sec, 1635 secs
lola: sara not yet started (preprocessing) || 149082375 markings, 404819518 edges, 81746 markings/sec, 1640 secs
lola: sara not yet started (preprocessing) || 149534299 markings, 406103343 edges, 90385 markings/sec, 1645 secs
lola: sara not yet started (preprocessing) || 149980885 markings, 407381609 edges, 89317 markings/sec, 1650 secs
lola: sara not yet started (preprocessing) || 150426904 markings, 408665204 edges, 89204 markings/sec, 1655 secs
lola: sara not yet started (preprocessing) || 150859588 markings, 409992965 edges, 86537 markings/sec, 1660 secs
lola: sara not yet started (preprocessing) || 151281652 markings, 411281789 edges, 84413 markings/sec, 1665 secs
lola: sara not yet started (preprocessing) || 151700822 markings, 412564006 edges, 83834 markings/sec, 1670 secs
lola: sara not yet started (preprocessing) || 152120319 markings, 413826964 edges, 83899 markings/sec, 1675 secs
lola: sara not yet started (preprocessing) || 152576689 markings, 414993662 edges, 91274 markings/sec, 1680 secs
lola: sara not yet started (preprocessing) || 153026241 markings, 416176020 edges, 89910 markings/sec, 1685 secs
lola: sara not yet started (preprocessing) || 153448829 markings, 417501923 edges, 84518 markings/sec, 1690 secs
lola: sara not yet started (preprocessing) || 153849684 markings, 418866699 edges, 80171 markings/sec, 1695 secs
lola: sara not yet started (preprocessing) || 154266944 markings, 420209212 edges, 83452 markings/sec, 1700 secs
lola: sara not yet started (preprocessing) || 154653714 markings, 421702447 edges, 77354 markings/sec, 1705 secs
lola: sara not yet started (preprocessing) || 155071579 markings, 423090511 edges, 83573 markings/sec, 1710 secs
lola: sara not yet started (preprocessing) || 155492808 markings, 424428751 edges, 84246 markings/sec, 1715 secs
lola: sara not yet started (preprocessing) || 155913976 markings, 425757923 edges, 84234 markings/sec, 1720 secs
lola: sara not yet started (preprocessing) || 156311473 markings, 427227753 edges, 79499 markings/sec, 1725 secs
lola: sara not yet started (preprocessing) || 156704323 markings, 428714263 edges, 78570 markings/sec, 1730 secs
lola: sara not yet started (preprocessing) || 157102505 markings, 430156927 edges, 79636 markings/sec, 1735 secs
lola: sara not yet started (preprocessing) || 157574707 markings, 431226623 edges, 94440 markings/sec, 1740 secs
lola: sara not yet started (preprocessing) || 158013229 markings, 432446318 edges, 87704 markings/sec, 1745 secs
lola: sara not yet started (preprocessing) || 158440629 markings, 433701683 edges, 85480 markings/sec, 1750 secs
lola: sara not yet started (preprocessing) || 158848534 markings, 435066223 edges, 81581 markings/sec, 1755 secs
lola: sara not yet started (preprocessing) || 159270521 markings, 436349503 edges, 84397 markings/sec, 1760 secs
lola: sara not yet started (preprocessing) || 159674291 markings, 437705484 edges, 80754 markings/sec, 1765 secs
lola: sara not yet started (preprocessing) || 160123736 markings, 438866665 edges, 89889 markings/sec, 1770 secs
lola: sara not yet started (preprocessing) || 160536063 markings, 440192681 edges, 82465 markings/sec, 1775 secs
lola: sara not yet started (preprocessing) || 160938842 markings, 441533875 edges, 80556 markings/sec, 1780 secs
lola: sara not yet started (preprocessing) || 161418932 markings, 442720271 edges, 96018 markings/sec, 1785 secs
lola: sara not yet started (preprocessing) || 161886718 markings, 443954338 edges, 93557 markings/sec, 1790 secs
lola: sara not yet started (preprocessing) || 162296408 markings, 445172093 edges, 81938 markings/sec, 1795 secs
lola: sara not yet started (preprocessing) || 162727879 markings, 446427973 edges, 86294 markings/sec, 1800 secs
lola: sara not yet started (preprocessing) || 163147320 markings, 447720659 edges, 83888 markings/sec, 1805 secs
lola: sara not yet started (preprocessing) || 163578291 markings, 449106072 edges, 86194 markings/sec, 1810 secs
lola: sara not yet started (preprocessing) || 164006131 markings, 450474780 edges, 85568 markings/sec, 1815 secs
lola: sara not yet started (preprocessing) || 164451398 markings, 451792673 edges, 89053 markings/sec, 1820 secs
lola: sara not yet started (preprocessing) || 164901650 markings, 452980492 edges, 90050 markings/sec, 1825 secs
lola: sara not yet started (preprocessing) || 165344972 markings, 454156468 edges, 88664 markings/sec, 1830 secs
lola: sara not yet started (preprocessing) || 165771635 markings, 455451747 edges, 85333 markings/sec, 1835 secs
lola: sara not yet started (preprocessing) || 166193911 markings, 456771577 edges, 84455 markings/sec, 1840 secs
lola: sara not yet started (preprocessing) || 166638340 markings, 458021780 edges, 88886 markings/sec, 1845 secs
lola: sara not yet started (preprocessing) || 167072347 markings, 459209903 edges, 86801 markings/sec, 1850 secs
lola: sara not yet started (preprocessing) || 167499931 markings, 460519989 edges, 85517 markings/sec, 1855 secs
lola: sara not yet started (preprocessing) || 167916145 markings, 461776862 edges, 83243 markings/sec, 1860 secs
lola: sara not yet started (preprocessing) || 168365961 markings, 462887305 edges, 89963 markings/sec, 1865 secs
lola: sara not yet started (preprocessing) || 168811994 markings, 463969734 edges, 89207 markings/sec, 1870 secs
lola: sara not yet started (preprocessing) || 169274907 markings, 464996158 edges, 92583 markings/sec, 1875 secs
lola: sara not yet started (preprocessing) || 169718326 markings, 466112096 edges, 88684 markings/sec, 1880 secs
lola: sara not yet started (preprocessing) || 170157490 markings, 467269121 edges, 87833 markings/sec, 1885 secs
lola: sara not yet started (preprocessing) || 170605955 markings, 468404806 edges, 89693 markings/sec, 1890 secs
lola: sara not yet started (preprocessing) || 171034706 markings, 469597675 edges, 85750 markings/sec, 1895 secs
lola: sara not yet started (preprocessing) || 171453914 markings, 470832878 edges, 83842 markings/sec, 1900 secs
lola: sara not yet started (preprocessing) || 171867471 markings, 472106349 edges, 82711 markings/sec, 1905 secs
lola: sara not yet started (preprocessing) || 172288484 markings, 473338032 edges, 84203 markings/sec, 1910 secs
lola: sara not yet started (preprocessing) || 172707469 markings, 474574716 edges, 83797 markings/sec, 1915 secs
lola: sara not yet started (preprocessing) || 173121212 markings, 475848159 edges, 82749 markings/sec, 1920 secs
lola: sara not yet started (preprocessing) || 173526294 markings, 477185483 edges, 81016 markings/sec, 1925 secs
lola: sara not yet started (preprocessing) || 173917038 markings, 478594881 edges, 78149 markings/sec, 1930 secs
lola: sara not yet started (preprocessing) || 174345711 markings, 479783216 edges, 85735 markings/sec, 1935 secs
lola: sara not yet started (preprocessing) || 174761638 markings, 481007393 edges, 83185 markings/sec, 1940 secs
lola: sara not yet started (preprocessing) || 175173564 markings, 482278848 edges, 82385 markings/sec, 1945 secs
lola: sara not yet started (preprocessing) || 175564205 markings, 483637499 edges, 78128 markings/sec, 1950 secs
lola: sara not yet started (preprocessing) || 175956782 markings, 484983856 edges, 78515 markings/sec, 1955 secs
lola: sara not yet started (preprocessing) || 176329475 markings, 486440267 edges, 74539 markings/sec, 1960 secs
lola: sara not yet started (preprocessing) || 176799460 markings, 487447324 edges, 93997 markings/sec, 1965 secs
lola: sara not yet started (preprocessing) || 177252334 markings, 488525183 edges, 90575 markings/sec, 1970 secs
lola: sara not yet started (preprocessing) || 177704543 markings, 489588286 edges, 90442 markings/sec, 1975 secs
lola: sara not yet started (preprocessing) || 178140034 markings, 490758827 edges, 87098 markings/sec, 1980 secs
lola: sara not yet started (preprocessing) || 178578765 markings, 491927812 edges, 87746 markings/sec, 1985 secs
lola: sara not yet started (preprocessing) || 179008791 markings, 493140359 edges, 86005 markings/sec, 1990 secs
lola: sara not yet started (preprocessing) || 179420784 markings, 494415288 edges, 82399 markings/sec, 1995 secs
lola: sara not yet started (preprocessing) || 179842937 markings, 495670924 edges, 84431 markings/sec, 2000 secs
lola: sara not yet started (preprocessing) || 180264431 markings, 496908388 edges, 84299 markings/sec, 2005 secs
lola: sara not yet started (preprocessing) || 180673727 markings, 498226652 edges, 81859 markings/sec, 2010 secs
lola: sara not yet started (preprocessing) || 181070686 markings, 499628272 edges, 79392 markings/sec, 2015 secs
lola: sara not yet started (preprocessing) || 181492642 markings, 500880353 edges, 84391 markings/sec, 2020 secs
lola: sara not yet started (preprocessing) || 181909583 markings, 502098042 edges, 83388 markings/sec, 2025 secs
lola: sara not yet started (preprocessing) || 182311964 markings, 503430520 edges, 80476 markings/sec, 2030 secs
lola: sara not yet started (preprocessing) || 182706706 markings, 504795122 edges, 78948 markings/sec, 2035 secs
lola: sara not yet started (preprocessing) || 183081799 markings, 506201916 edges, 75019 markings/sec, 2040 secs
lola: sara not yet started (preprocessing) || 183535061 markings, 507351356 edges, 90652 markings/sec, 2045 secs
lola: sara not yet started (preprocessing) || 183942727 markings, 508560026 edges, 81533 markings/sec, 2050 secs
lola: sara not yet started (preprocessing) || 184359823 markings, 509747212 edges, 83419 markings/sec, 2055 secs
lola: sara not yet started (preprocessing) || 184734470 markings, 510926058 edges, 74929 markings/sec, 2060 secs
lola: sara not yet started (preprocessing) || 185142663 markings, 512224875 edges, 81639 markings/sec, 2065 secs
lola: sara not yet started (preprocessing) || 185555356 markings, 513481526 edges, 82539 markings/sec, 2070 secs
lola: sara not yet started (preprocessing) || 185965495 markings, 514843455 edges, 82028 markings/sec, 2075 secs
lola: sara not yet started (preprocessing) || 186360108 markings, 516226367 edges, 78923 markings/sec, 2080 secs
lola: sara not yet started (preprocessing) || 186745715 markings, 517622818 edges, 77121 markings/sec, 2085 secs
lola: sara not yet started (preprocessing) || 187150270 markings, 519014758 edges, 80911 markings/sec, 2090 secs
lola: sara not yet started (preprocessing) || 187545524 markings, 520389043 edges, 79051 markings/sec, 2095 secs
lola: sara not yet started (preprocessing) || 187932327 markings, 521795498 edges, 77361 markings/sec, 2100 secs
lola: sara not yet started (preprocessing) || 188319493 markings, 523268010 edges, 77433 markings/sec, 2105 secs
lola: sara not yet started (preprocessing) || 188687646 markings, 524794516 edges, 73631 markings/sec, 2110 secs
lola: sara not yet started (preprocessing) || 189108817 markings, 526180194 edges, 84234 markings/sec, 2115 secs
lola: sara not yet started (preprocessing) || 189509630 markings, 527538267 edges, 80163 markings/sec, 2120 secs
lola: sara not yet started (preprocessing) || 189908997 markings, 528978206 edges, 79873 markings/sec, 2125 secs
lola: sara not yet started (preprocessing) || 190289438 markings, 530479531 edges, 76088 markings/sec, 2130 secs
lola: sara not yet started (preprocessing) || 190676887 markings, 531988536 edges, 77490 markings/sec, 2135 secs
lola: sara not yet started (preprocessing) || 191059854 markings, 533549423 edges, 76593 markings/sec, 2140 secs
lola: sara not yet started (preprocessing) || 191516991 markings, 534743698 edges, 91427 markings/sec, 2145 secs
lola: sara not yet started (preprocessing) || 191934963 markings, 535983773 edges, 83594 markings/sec, 2150 secs
lola: sara not yet started (preprocessing) || 192351953 markings, 537208400 edges, 83398 markings/sec, 2155 secs
lola: sara not yet started (preprocessing) || 192758226 markings, 538525004 edges, 81255 markings/sec, 2160 secs
lola: sara not yet started (preprocessing) || 193164533 markings, 539827303 edges, 81261 markings/sec, 2165 secs
lola: sara not yet started (preprocessing) || 193579772 markings, 541202666 edges, 83048 markings/sec, 2170 secs
lola: sara not yet started (preprocessing) || 193966802 markings, 542604607 edges, 77406 markings/sec, 2175 secs
lola: sara not yet started (preprocessing) || 194369432 markings, 544011370 edges, 80526 markings/sec, 2180 secs
lola: sara not yet started (preprocessing) || 194769132 markings, 545391655 edges, 79940 markings/sec, 2185 secs
lola: sara not yet started (preprocessing) || 195152910 markings, 546815047 edges, 76756 markings/sec, 2190 secs
lola: sara not yet started (preprocessing) || 195536311 markings, 548335431 edges, 76680 markings/sec, 2195 secs
lola: sara not yet started (preprocessing) || 195938871 markings, 549799979 edges, 80512 markings/sec, 2200 secs
lola: sara not yet started (preprocessing) || 196347162 markings, 551138247 edges, 81658 markings/sec, 2205 secs
lola: sara not yet started (preprocessing) || 196742824 markings, 552602285 edges, 79132 markings/sec, 2210 secs
lola: sara not yet started (preprocessing) || 197131300 markings, 554113327 edges, 77695 markings/sec, 2215 secs
lola: sara not yet started (preprocessing) || 197504291 markings, 555679027 edges, 74598 markings/sec, 2220 secs
lola: sara not yet started (preprocessing) || 197963558 markings, 556858611 edges, 91853 markings/sec, 2225 secs
lola: sara not yet started (preprocessing) || 198400121 markings, 558149842 edges, 87313 markings/sec, 2230 secs
lola: sara not yet started (preprocessing) || 198816791 markings, 559489615 edges, 83334 markings/sec, 2235 secs
lola: sara not yet started (preprocessing) || 199258191 markings, 560650368 edges, 88280 markings/sec, 2240 secs
lola: sara not yet started (preprocessing) || 199678362 markings, 561866788 edges, 84034 markings/sec, 2245 secs
lola: sara not yet started (preprocessing) || 200172235 markings, 562918128 edges, 98775 markings/sec, 2250 secs
lola: sara not yet started (preprocessing) || 200672632 markings, 563964813 edges, 100079 markings/sec, 2255 secs
lola: sara not yet started (preprocessing) || 201121468 markings, 565159930 edges, 89767 markings/sec, 2260 secs
lola: sara not yet started (preprocessing) || 201570513 markings, 566350544 edges, 89809 markings/sec, 2265 secs
lola: sara not yet started (preprocessing) || 202016029 markings, 567593029 edges, 89103 markings/sec, 2270 secs
lola: sara not yet started (preprocessing) || 202458095 markings, 568829087 edges, 88413 markings/sec, 2275 secs
lola: sara not yet started (preprocessing) || 202915936 markings, 570011886 edges, 91568 markings/sec, 2280 secs
lola: sara not yet started (preprocessing) || 203348408 markings, 571279871 edges, 86494 markings/sec, 2285 secs
lola: sara not yet started (preprocessing) || 203752589 markings, 572583632 edges, 80836 markings/sec, 2290 secs
lola: sara not yet started (preprocessing) || 204202496 markings, 573744559 edges, 89981 markings/sec, 2295 secs
lola: sara not yet started (preprocessing) || 204614204 markings, 574806577 edges, 82342 markings/sec, 2300 secs
lola: sara not yet started (preprocessing) || 205011971 markings, 576003032 edges, 79553 markings/sec, 2305 secs
lola: sara not yet started (preprocessing) || 205438735 markings, 577324571 edges, 85353 markings/sec, 2310 secs
lola: sara not yet started (preprocessing) || 205853896 markings, 578655867 edges, 83032 markings/sec, 2315 secs
lola: sara not yet started (preprocessing) || 206257120 markings, 580060503 edges, 80645 markings/sec, 2320 secs
lola: sara not yet started (preprocessing) || 206663401 markings, 581415404 edges, 81256 markings/sec, 2325 secs
lola: sara not yet started (preprocessing) || 207084618 markings, 582740809 edges, 84243 markings/sec, 2330 secs
lola: sara not yet started (preprocessing) || 207484435 markings, 584152768 edges, 79963 markings/sec, 2335 secs
lola: sara not yet started (preprocessing) || 207871588 markings, 585591804 edges, 77431 markings/sec, 2340 secs
lola: sara not yet started (preprocessing) || 208297456 markings, 586816540 edges, 85174 markings/sec, 2345 secs
lola: sara not yet started (preprocessing) || 208771057 markings, 587910814 edges, 94720 markings/sec, 2350 secs
lola: sara not yet started (preprocessing) || 209241234 markings, 589059924 edges, 94035 markings/sec, 2355 secs
lola: sara not yet started (preprocessing) || 209687699 markings, 590300937 edges, 89293 markings/sec, 2360 secs
lola: sara not yet started (preprocessing) || 210136539 markings, 591522524 edges, 89768 markings/sec, 2365 secs
lola: sara not yet started (preprocessing) || 210554896 markings, 592836707 edges, 83671 markings/sec, 2370 secs
lola: sara not yet started (preprocessing) || 210989653 markings, 593993941 edges, 86951 markings/sec, 2375 secs
lola: sara not yet started (preprocessing) || 211414521 markings, 595206293 edges, 84974 markings/sec, 2380 secs
lola: sara not yet started (preprocessing) || 211807804 markings, 596470774 edges, 78657 markings/sec, 2385 secs
lola: sara not yet started (preprocessing) || 212214213 markings, 597870466 edges, 81282 markings/sec, 2390 secs
lola: sara not yet started (preprocessing) || 212623822 markings, 599168031 edges, 81922 markings/sec, 2395 secs
lola: sara not yet started (preprocessing) || 212994066 markings, 600536786 edges, 74049 markings/sec, 2400 secs
lola: sara not yet started (preprocessing) || 213392097 markings, 601653427 edges, 79606 markings/sec, 2405 secs
lola: sara not yet started (preprocessing) || 213862926 markings, 602703944 edges, 94166 markings/sec, 2410 secs
lola: sara not yet started (preprocessing) || 214308654 markings, 603817853 edges, 89146 markings/sec, 2415 secs
lola: sara not yet started (preprocessing) || 214746952 markings, 604950936 edges, 87660 markings/sec, 2420 secs
lola: sara not yet started (preprocessing) || 215163282 markings, 606126444 edges, 83266 markings/sec, 2425 secs
lola: sara not yet started (preprocessing) || 215581547 markings, 607295146 edges, 83653 markings/sec, 2430 secs
lola: sara not yet started (preprocessing) || 215994752 markings, 608522592 edges, 82641 markings/sec, 2435 secs
lola: sara not yet started (preprocessing) || 216381517 markings, 609830275 edges, 77353 markings/sec, 2440 secs
lola: sara not yet started (preprocessing) || 216764591 markings, 611132899 edges, 76615 markings/sec, 2445 secs
lola: sara not yet started (preprocessing) || 217147537 markings, 612382810 edges, 76589 markings/sec, 2450 secs
lola: sara not yet started (preprocessing) || 217558084 markings, 613620236 edges, 82109 markings/sec, 2455 secs
lola: sara not yet started (preprocessing) || 218053758 markings, 614602596 edges, 99135 markings/sec, 2460 secs
lola: sara not yet started (preprocessing) || 218544918 markings, 615489397 edges, 98232 markings/sec, 2465 secs
lola: sara not yet started (preprocessing) || 218993787 markings, 616503211 edges, 89774 markings/sec, 2470 secs
lola: sara not yet started (preprocessing) || 219474099 markings, 617540980 edges, 96062 markings/sec, 2475 secs
lola: sara not yet started (preprocessing) || 219990513 markings, 618486221 edges, 103283 markings/sec, 2480 secs
lola: sara not yet started (preprocessing) || 220458196 markings, 619472863 edges, 93537 markings/sec, 2485 secs
lola: sara not yet started (preprocessing) || 220909834 markings, 620464936 edges, 90328 markings/sec, 2490 secs
lola: sara not yet started (preprocessing) || 221333399 markings, 621474905 edges, 84713 markings/sec, 2495 secs
lola: sara not yet started (preprocessing) || 221822568 markings, 622448127 edges, 97834 markings/sec, 2500 secs
lola: sara not yet started (preprocessing) || 222314027 markings, 623508739 edges, 98292 markings/sec, 2505 secs
lola: sara not yet started (preprocessing) || 222791474 markings, 624580866 edges, 95489 markings/sec, 2510 secs
lola: sara not yet started (preprocessing) || 223265402 markings, 625666894 edges, 94786 markings/sec, 2515 secs
lola: sara not yet started (preprocessing) || 223727684 markings, 626784576 edges, 92456 markings/sec, 2520 secs
lola: sara not yet started (preprocessing) || 224172521 markings, 627941101 edges, 88967 markings/sec, 2525 secs
lola: sara not yet started (preprocessing) || 224626209 markings, 629069901 edges, 90738 markings/sec, 2530 secs
lola: sara not yet started (preprocessing) || 225056980 markings, 630273119 edges, 86154 markings/sec, 2535 secs
lola: sara not yet started (preprocessing) || 225493736 markings, 631461806 edges, 87351 markings/sec, 2540 secs
lola: sara not yet started (preprocessing) || 225921250 markings, 632587447 edges, 85503 markings/sec, 2545 secs
lola: sara not yet started (preprocessing) || 226365079 markings, 633820421 edges, 88766 markings/sec, 2550 secs
lola: sara not yet started (preprocessing) || 226818684 markings, 634951419 edges, 90721 markings/sec, 2555 secs
lola: sara not yet started (preprocessing) || 227247249 markings, 636046868 edges, 85713 markings/sec, 2560 secs
lola: sara not yet started (preprocessing) || 227665212 markings, 637166281 edges, 83593 markings/sec, 2565 secs
lola: sara not yet started (preprocessing) || 228101962 markings, 638374381 edges, 87350 markings/sec, 2570 secs
lola: sara not yet started (preprocessing) || 228553408 markings, 639573954 edges, 90289 markings/sec, 2575 secs
lola: sara not yet started (preprocessing) || 228980835 markings, 640750087 edges, 85485 markings/sec, 2580 secs
lola: sara not yet started (preprocessing) || 229411528 markings, 642045750 edges, 86139 markings/sec, 2585 secs
lola: sara not yet started (preprocessing) || 229789180 markings, 643320889 edges, 75530 markings/sec, 2590 secs
lola: sara not yet started (preprocessing) || 230208981 markings, 644651489 edges, 83960 markings/sec, 2595 secs
lola: sara not yet started (preprocessing) || 230637892 markings, 645941637 edges, 85782 markings/sec, 2600 secs
lola: sara not yet started (preprocessing) || 231067868 markings, 647003033 edges, 85995 markings/sec, 2605 secs
lola: sara not yet started (preprocessing) || 231526774 markings, 648105412 edges, 91781 markings/sec, 2610 secs
lola: sara not yet started (preprocessing) || 231966811 markings, 649280276 edges, 88007 markings/sec, 2615 secs
lola: sara not yet started (preprocessing) || 232422629 markings, 650434949 edges, 91164 markings/sec, 2620 secs
lola: sara not yet started (preprocessing) || 232846658 markings, 651581682 edges, 84806 markings/sec, 2625 secs
lola: sara not yet started (preprocessing) || 233269636 markings, 652880607 edges, 84596 markings/sec, 2630 secs
lola: sara not yet started (preprocessing) || 233689403 markings, 654192299 edges, 83953 markings/sec, 2635 secs
lola: sara not yet started (preprocessing) || 234114145 markings, 655496694 edges, 84948 markings/sec, 2640 secs
lola: sara not yet started (preprocessing) || 234492633 markings, 656714935 edges, 75698 markings/sec, 2645 secs
lola: sara not yet started (preprocessing) || 234914914 markings, 658011099 edges, 84456 markings/sec, 2650 secs
lola: sara not yet started (preprocessing) || 235275341 markings, 659357351 edges, 72085 markings/sec, 2655 secs
lola: sara not yet started (preprocessing) || 235699777 markings, 660619182 edges, 84887 markings/sec, 2660 secs
lola: sara not yet started (preprocessing) || 236186449 markings, 661583374 edges, 97334 markings/sec, 2665 secs
lola: sara not yet started (preprocessing) || 236663836 markings, 662607562 edges, 95477 markings/sec, 2670 secs
lola: sara not yet started (preprocessing) || 237108095 markings, 663538124 edges, 88852 markings/sec, 2675 secs
lola: sara not yet started (preprocessing) || 237563360 markings, 664511967 edges, 91053 markings/sec, 2680 secs
lola: sara not yet started (preprocessing) || 238036188 markings, 665602567 edges, 94566 markings/sec, 2685 secs
lola: sara not yet started (preprocessing) || 238504653 markings, 666709651 edges, 93693 markings/sec, 2690 secs
lola: sara not yet started (preprocessing) || 238953453 markings, 667883294 edges, 89760 markings/sec, 2695 secs
lola: sara not yet started (preprocessing) || 239363924 markings, 668964150 edges, 82094 markings/sec, 2700 secs
lola: sara not yet started (preprocessing) || 239804728 markings, 670177137 edges, 88161 markings/sec, 2705 secs
lola: sara not yet started (preprocessing) || 240178542 markings, 671208196 edges, 74763 markings/sec, 2710 secs
lola: sara not yet started (preprocessing) || 240610547 markings, 672380593 edges, 86401 markings/sec, 2715 secs
lola: sara not yet started (preprocessing) || 241020618 markings, 673467248 edges, 82014 markings/sec, 2720 secs
lola: sara not yet started (preprocessing) || 241456851 markings, 674714794 edges, 87247 markings/sec, 2725 secs
lola: sara not yet started (preprocessing) || 241866341 markings, 676047692 edges, 81898 markings/sec, 2730 secs
lola: sara not yet started (preprocessing) || 242259599 markings, 677321169 edges, 78652 markings/sec, 2735 secs
lola: sara not yet started (preprocessing) || 242705602 markings, 678447781 edges, 89201 markings/sec, 2740 secs
lola: sara not yet started (preprocessing) || 243146608 markings, 679597566 edges, 88201 markings/sec, 2745 secs
lola: sara not yet started (preprocessing) || 243574445 markings, 680838472 edges, 85567 markings/sec, 2750 secs
lola: sara not yet started (preprocessing) || 243982677 markings, 682147479 edges, 81646 markings/sec, 2755 secs
lola: sara not yet started (preprocessing) || 244393716 markings, 683445526 edges, 82208 markings/sec, 2760 secs
lola: sara not yet started (preprocessing) || 244783038 markings, 684855758 edges, 77864 markings/sec, 2765 secs
lola: sara not yet started (preprocessing) || 245263572 markings, 685864433 edges, 96107 markings/sec, 2770 secs
lola: sara not yet started (preprocessing) || 245783245 markings, 686763005 edges, 103935 markings/sec, 2775 secs
lola: sara not yet started (preprocessing) || 246240153 markings, 687790830 edges, 91382 markings/sec, 2780 secs
lola: sara not yet started (preprocessing) || 246698563 markings, 688838761 edges, 91682 markings/sec, 2785 secs
lola: sara not yet started (preprocessing) || 247205732 markings, 689757053 edges, 101434 markings/sec, 2790 secs
lola: sara not yet started (preprocessing) || 247660559 markings, 690676170 edges, 90965 markings/sec, 2795 secs
lola: sara not yet started (preprocessing) || 248145220 markings, 691645722 edges, 96932 markings/sec, 2800 secs
lola: sara not yet started (preprocessing) || 248584097 markings, 692743101 edges, 87775 markings/sec, 2805 secs
lola: sara not yet started (preprocessing) || 249059655 markings, 693676794 edges, 95112 markings/sec, 2810 secs
lola: sara not yet started (preprocessing) || 249547220 markings, 694717057 edges, 97513 markings/sec, 2815 secs
lola: sara not yet started (preprocessing) || 250041663 markings, 695792051 edges, 98889 markings/sec, 2820 secs
lola: sara not yet started (preprocessing) || 250524642 markings, 696867156 edges, 96596 markings/sec, 2825 secs
lola: sara not yet started (preprocessing) || 250997231 markings, 697953936 edges, 94518 markings/sec, 2830 secs
lola: sara not yet started (preprocessing) || 251465772 markings, 699062956 edges, 93708 markings/sec, 2835 secs
lola: sara not yet started (preprocessing) || 251899989 markings, 700244182 edges, 86843 markings/sec, 2840 secs
lola: sara not yet started (preprocessing) || 252356128 markings, 701380988 edges, 91228 markings/sec, 2845 secs
lola: sara not yet started (preprocessing) || 252761736 markings, 702497653 edges, 81122 markings/sec, 2850 secs
lola: sara not yet started (preprocessing) || 253196614 markings, 703674768 edges, 86976 markings/sec, 2855 secs
lola: sara not yet started (preprocessing) || 253657236 markings, 704857375 edges, 92124 markings/sec, 2860 secs
lola: sara not yet started (preprocessing) || 254102881 markings, 706071942 edges, 89129 markings/sec, 2865 secs
lola: sara not yet started (preprocessing) || 254564867 markings, 707197213 edges, 92397 markings/sec, 2870 secs
lola: sara not yet started (preprocessing) || 255001503 markings, 708345183 edges, 87327 markings/sec, 2875 secs
lola: sara not yet started (preprocessing) || 255447634 markings, 709491951 edges, 89226 markings/sec, 2880 secs
lola: sara not yet started (preprocessing) || 255870396 markings, 710714639 edges, 84552 markings/sec, 2885 secs
lola: sara not yet started (preprocessing) || 256293125 markings, 711798381 edges, 84546 markings/sec, 2890 secs
lola: sara not yet started (preprocessing) || 256755390 markings, 713008653 edges, 92453 markings/sec, 2895 secs
lola: sara not yet started (preprocessing) || 257194481 markings, 714263280 edges, 87818 markings/sec, 2900 secs
lola: sara not yet started (preprocessing) || 257615511 markings, 715578453 edges, 84206 markings/sec, 2905 secs
lola: sara not yet started (preprocessing) || 258018196 markings, 716931197 edges, 80537 markings/sec, 2910 secs
lola: sara not yet started (preprocessing) || 258415967 markings, 718152207 edges, 79554 markings/sec, 2915 secs
lola: sara not yet started (preprocessing) || 258837764 markings, 719312921 edges, 84359 markings/sec, 2920 secs
lola: sara not yet started (preprocessing) || 259277853 markings, 720357548 edges, 88018 markings/sec, 2925 secs
lola: sara not yet started (preprocessing) || 259727144 markings, 721479756 edges, 89858 markings/sec, 2930 secs
lola: sara not yet started (preprocessing) || 260170941 markings, 722634854 edges, 88759 markings/sec, 2935 secs
lola: sara not yet started (preprocessing) || 260630392 markings, 723778458 edges, 91890 markings/sec, 2940 secs
lola: sara not yet started (preprocessing) || 261049195 markings, 724892358 edges, 83761 markings/sec, 2945 secs
lola: sara not yet started (preprocessing) || 261474985 markings, 726176483 edges, 85158 markings/sec, 2950 secs
lola: sara not yet started (preprocessing) || 261892240 markings, 727478489 edges, 83451 markings/sec, 2955 secs
lola: sara not yet started (preprocessing) || 262318315 markings, 728781116 edges, 85215 markings/sec, 2960 secs
lola: sara not yet started (preprocessing) || 262738408 markings, 730091026 edges, 84019 markings/sec, 2965 secs
lola: sara not yet started (preprocessing) || 263167496 markings, 731380707 edges, 85818 markings/sec, 2970 secs
lola: sara not yet started (preprocessing) || 263542069 markings, 732698908 edges, 74915 markings/sec, 2975 secs
lola: sara not yet started (preprocessing) || 263937312 markings, 734120006 edges, 79049 markings/sec, 2980 secs
lola: sara not yet started (preprocessing) || 264437160 markings, 735066130 edges, 99970 markings/sec, 2985 secs
lola: sara not yet started (preprocessing) || 264863618 markings, 736087626 edges, 85292 markings/sec, 2990 secs
lola: sara not yet started (preprocessing) || 265360298 markings, 737083483 edges, 99336 markings/sec, 2995 secs
lola: sara not yet started (preprocessing) || 265835411 markings, 738103563 edges, 95023 markings/sec, 3000 secs
lola: sara not yet started (preprocessing) || 266319243 markings, 739183241 edges, 96766 markings/sec, 3005 secs
lola: sara not yet started (preprocessing) || 266772682 markings, 740226907 edges, 90688 markings/sec, 3010 secs
lola: sara not yet started (preprocessing) || 267237737 markings, 741363692 edges, 93011 markings/sec, 3015 secs
lola: sara not yet started (preprocessing) || 267679210 markings, 742566590 edges, 88295 markings/sec, 3020 secs
lola: sara not yet started (preprocessing) || 268129212 markings, 743753926 edges, 90000 markings/sec, 3025 secs
lola: sara not yet started (preprocessing) || 268564244 markings, 744996547 edges, 87006 markings/sec, 3030 secs
lola: sara not yet started (preprocessing) || 268977129 markings, 746115825 edges, 82577 markings/sec, 3035 secs
lola: sara not yet started (preprocessing) || 269424739 markings, 747299521 edges, 89522 markings/sec, 3040 secs
lola: sara not yet started (preprocessing) || 269844954 markings, 748451288 edges, 84043 markings/sec, 3045 secs
lola: sara not yet started (preprocessing) || 270271947 markings, 749762457 edges, 85399 markings/sec, 3050 secs
lola: sara not yet started (preprocessing) || 270684167 markings, 751116216 edges, 82444 markings/sec, 3055 secs
lola: sara not yet started (preprocessing) || 271094031 markings, 752304460 edges, 81973 markings/sec, 3060 secs
lola: sara not yet started (preprocessing) || 271528872 markings, 753375276 edges, 86968 markings/sec, 3065 secs
lola: sara not yet started (preprocessing) || 271976623 markings, 754566889 edges, 89550 markings/sec, 3070 secs
lola: sara not yet started (preprocessing) || 272382473 markings, 755820576 edges, 81170 markings/sec, 3075 secs
lola: sara not yet started (preprocessing) || 272802360 markings, 757162137 edges, 83977 markings/sec, 3080 secs
lola: sara not yet started (preprocessing) || 273215434 markings, 758491344 edges, 82615 markings/sec, 3085 secs
lola: sara not yet started (preprocessing) || 273585853 markings, 759883013 edges, 74084 markings/sec, 3090 secs
lola: sara not yet started (preprocessing) || 274034962 markings, 760929822 edges, 89822 markings/sec, 3095 secs
lola: sara not yet started (preprocessing) || 274474709 markings, 762120820 edges, 87949 markings/sec, 3100 secs
lola: sara not yet started (preprocessing) || 274888660 markings, 763243562 edges, 82790 markings/sec, 3105 secs
lola: sara not yet started (preprocessing) || 275324368 markings, 764467881 edges, 87142 markings/sec, 3110 secs
lola: sara not yet started (preprocessing) || 275718842 markings, 765653019 edges, 78895 markings/sec, 3115 secs
lola: sara not yet started (preprocessing) || 276132411 markings, 766840847 edges, 82714 markings/sec, 3120 secs
lola: sara not yet started (preprocessing) || 276530153 markings, 768154186 edges, 79548 markings/sec, 3125 secs
lola: sara not yet started (preprocessing) || 276965738 markings, 769294697 edges, 87117 markings/sec, 3130 secs
lola: sara not yet started (preprocessing) || 277364420 markings, 770421479 edges, 79736 markings/sec, 3135 secs
lola: sara not yet started (preprocessing) || 277788284 markings, 771613096 edges, 84773 markings/sec, 3140 secs
lola: sara not yet started (preprocessing) || 278226893 markings, 772717251 edges, 87722 markings/sec, 3145 secs
lola: sara not yet started (preprocessing) || 278648462 markings, 773867336 edges, 84314 markings/sec, 3150 secs
lola: sara not yet started (preprocessing) || 279048046 markings, 775146732 edges, 79917 markings/sec, 3155 secs
lola: sara not yet started (preprocessing) || 279452252 markings, 776400827 edges, 80841 markings/sec, 3160 secs
lola: sara not yet started (preprocessing) || 279815197 markings, 777676262 edges, 72589 markings/sec, 3165 secs
lola: sara not yet started (preprocessing) || 280220509 markings, 778976868 edges, 81062 markings/sec, 3170 secs
lola: sara not yet started (preprocessing) || 280623530 markings, 780298888 edges, 80604 markings/sec, 3175 secs
lola: sara not yet started (preprocessing) || 281019297 markings, 781615786 edges, 79153 markings/sec, 3180 secs
lola: sara not yet started (preprocessing) || 281428982 markings, 782852583 edges, 81937 markings/sec, 3185 secs
lola: sara not yet started (preprocessing) || 281830416 markings, 784132521 edges, 80287 markings/sec, 3190 secs
lola: sara not yet started (preprocessing) || 282213593 markings, 785540230 edges, 76635 markings/sec, 3195 secs
lola: sara not yet started (preprocessing) || 282598772 markings, 786936734 edges, 77036 markings/sec, 3200 secs
lola: sara not yet started (preprocessing) || 282967780 markings, 788457180 edges, 73802 markings/sec, 3205 secs
lola: sara not yet started (preprocessing) || 283398576 markings, 789492602 edges, 86159 markings/sec, 3210 secs
lola: sara not yet started (preprocessing) || 283850343 markings, 790681490 edges, 90353 markings/sec, 3215 secs
lola: sara not yet started (preprocessing) || 284293991 markings, 791807303 edges, 88730 markings/sec, 3220 secs
lola: sara not yet started (preprocessing) || 284751432 markings, 792814949 edges, 91488 markings/sec, 3225 secs
lola: sara not yet started (preprocessing) || 285209636 markings, 794003599 edges, 91641 markings/sec, 3230 secs
lola: sara not yet started (preprocessing) || 285640836 markings, 795224782 edges, 86240 markings/sec, 3235 secs
lola: sara not yet started (preprocessing) || 286061516 markings, 796351058 edges, 84136 markings/sec, 3240 secs
lola: sara not yet started (preprocessing) || 286482145 markings, 797661212 edges, 84126 markings/sec, 3245 secs
lola: sara not yet started (preprocessing) || 286895058 markings, 798888167 edges, 82583 markings/sec, 3250 secs
lola: sara not yet started (preprocessing) || 287295713 markings, 800054887 edges, 80131 markings/sec, 3255 secs
lola: sara not yet started (preprocessing) || 287723338 markings, 801173979 edges, 85525 markings/sec, 3260 secs
lola: sara not yet started (preprocessing) || 288116514 markings, 802427090 edges, 78635 markings/sec, 3265 secs
lola: sara not yet started (preprocessing) || 288463306 markings, 803653130 edges, 69358 markings/sec, 3270 secs
lola: sara not yet started (preprocessing) || 288883427 markings, 804883608 edges, 84024 markings/sec, 3275 secs
lola: sara not yet started (preprocessing) || 289267446 markings, 806252911 edges, 76804 markings/sec, 3280 secs
lola: sara not yet started (preprocessing) || 289716018 markings, 807368468 edges, 89714 markings/sec, 3285 secs
lola: sara not yet started (preprocessing) || 290147363 markings, 808594455 edges, 86269 markings/sec, 3290 secs
lola: sara not yet started (preprocessing) || 290586247 markings, 809769348 edges, 87777 markings/sec, 3295 secs
lola: sara not yet started (preprocessing) || 290985098 markings, 810925868 edges, 79770 markings/sec, 3300 secs
lola: sara not yet started (preprocessing) || 291391866 markings, 812195297 edges, 81354 markings/sec, 3305 secs
lola: sara not yet started (preprocessing) || 291815846 markings, 813408025 edges, 84796 markings/sec, 3310 secs
lola: sara not yet started (preprocessing) || 292242241 markings, 814604240 edges, 85279 markings/sec, 3315 secs
lola: sara not yet started (preprocessing) || 292659835 markings, 815678732 edges, 83519 markings/sec, 3320 secs
lola: sara not yet started (preprocessing) || 293069678 markings, 816956700 edges, 81969 markings/sec, 3325 secs
lola: sara not yet started (preprocessing) || 293469658 markings, 818262116 edges, 79996 markings/sec, 3330 secs
lola: sara not yet started (preprocessing) || 293869812 markings, 819610882 edges, 80031 markings/sec, 3335 secs
lola: sara not yet started (preprocessing) || 294257540 markings, 820878738 edges, 77546 markings/sec, 3340 secs
lola: sara not yet started (preprocessing) || 294653290 markings, 822076879 edges, 79150 markings/sec, 3345 secs
lola: sara not yet started (preprocessing) || 295012849 markings, 823366400 edges, 71912 markings/sec, 3350 secs
lola: sara not yet started (preprocessing) || 295368449 markings, 824720921 edges, 71120 markings/sec, 3355 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no yes no no no unknown no yes no no no yes no no
lola:
preliminary result: no no no yes no no no unknown no yes no no no yes no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no yes no no no unknown no yes no no no yes no no
lola: memory consumption: 10419416 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no yes no no no unknown no yes no no no yes no no
lola: memory consumption: 19976 KB
lola: time consumption: 3570 seconds

BK_STOP 1527917480087

--------------------
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="DNAwalker-PT-17redondantChoiceL"
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/DNAwalker-PT-17redondantChoiceL.tgz
mv DNAwalker-PT-17redondantChoiceL 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 DNAwalker-PT-17redondantChoiceL, 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 r208-smll-152732257500259"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;