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 1.9M
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K 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.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 26 09:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 26 09:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 26 09:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.0K May 26 09:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 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 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.7M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-11b, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r208-smll-152732257400197
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527873298710

info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-11b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCround-PT-11b formula LTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking LTLCardinality @ DLCround-PT-11b @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 11366/65536 symbol table entries, 3163 collisions
lola: preprocessing...
lola: Size of bit vector: 4375
lola: finding significant places
lola: 4375 places, 6991 transitions, 4131 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 10066 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-11b-LTLCardinality.task
lola: LP says that atomic proposition is always false: (3 <= p2488)
lola: LP says that atomic proposition is always false: (3 <= p678)
lola: LP says that atomic proposition is always false: (3 <= p1242)
lola: LP says that atomic proposition is always false: (2 <= p1908)
lola: LP says that atomic proposition is always false: (3 <= p3758)
lola: LP says that atomic proposition is always false: (3 <= p995)
lola: LP says that atomic proposition is always false: (3 <= p33)
lola: LP says that atomic proposition is always false: (3 <= p3861)
lola: LP says that atomic proposition is always false: (2 <= p2765)
lola: A (G (X (G (FALSE)))) : A (X ((p928 <= p4125))) : A ((p2681 <= p2927)) : A (((p4028 <= p2510) U ((p445 <= p556) U FALSE))) : A ((((p79 <= p745) U (p3641 <= p2010)) U G (G (FALSE)))) : A (FALSE) : A (FALSE) : A (X (FALSE)) : A ((F (G ((p69 <= p2950))) U G (FALSE))) : A (F (X ((p1893 <= p114)))) : A (G (FALSE)) : A (X (F (F (G ((p483 <= p4280)))))) : A (X (X (X (F ((p1948 <= p750)))))) : A ((1 <= p579)) : A (X ((G ((p1164 <= p3073)) U F ((p3701 <= p3623))))) : A (F (X ((FALSE U (p768 <= p1602)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 41 rewrites
lola: closed formula file DLCround-PT-11b-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA DLCround-PT-11b-LTLCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 234 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p2681 <= p2927)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p2681 <= p2927)
lola: processed formula length: 16
lola: 41 rewrites
lola: closed formula file DLCround-PT-11b-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 DLCround-PT-11b-LTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 41 rewrites
lola: closed formula file DLCround-PT-11b-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA DLCround-PT-11b-LTLCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 41 rewrites
lola: closed formula file DLCround-PT-11b-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA DLCround-PT-11b-LTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 41 rewrites
lola: closed formula file DLCround-PT-11b-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA DLCround-PT-11b-LTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 41 rewrites
lola: closed formula file DLCround-PT-11b-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA DLCround-PT-11b-LTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 41 rewrites
lola: closed formula file DLCround-PT-11b-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA DLCround-PT-11b-LTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 41 rewrites
lola: closed formula file DLCround-PT-11b-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA DLCround-PT-11b-LTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 440 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 41 rewrites
lola: closed formula file DLCround-PT-11b-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA DLCround-PT-11b-LTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 502 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p579)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p579)
lola: processed formula length: 11
lola: 41 rewrites
lola: closed formula file DLCround-PT-11b-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 DLCround-PT-11b-LTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 586 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((p928 <= p4125)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((p928 <= p4125)))
lola: processed formula length: 23
lola: 41 rewrites
lola: closed formula file DLCround-PT-11b-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges

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

FORMULA DLCround-PT-11b-LTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 880 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((p1893 <= p114))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((p1893 <= p114))))
lola: processed formula length: 27
lola: 41 rewrites
lola: closed formula file DLCround-PT-11b-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: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================

FORMULA DLCround-PT-11b-LTLCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1173 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((F ((p3701 <= p3623)) OR (G ((p1164 <= p3073)) AND F ((p3701 <= p3623))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F ((p3701 <= p3623)) OR (G ((p1164 <= p3073)) AND F ((p3701 <= p3623))))))
lola: processed formula length: 81
lola: 41 rewrites
lola: closed formula file DLCround-PT-11b-LTLCardinality.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3 markings, 2 edges
lola: ========================================

FORMULA DLCround-PT-11b-LTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1760 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((p768 <= p1602))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((p768 <= p1602))))
lola: processed formula length: 27
lola: 41 rewrites
lola: closed formula file DLCround-PT-11b-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: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================

FORMULA DLCround-PT-11b-LTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3520 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p483 <= p4280))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p483 <= p4280))))
lola: processed formula length: 27
lola: 41 rewrites
lola: closed formula file DLCround-PT-11b-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: 48601 markings, 55104 edges, 9720 markings/sec, 0 secs
lola: 101710 markings, 115625 edges, 10622 markings/sec, 5 secs
lola: 149882 markings, 170299 edges, 9634 markings/sec, 10 secs
lola: 192632 markings, 218864 edges, 8550 markings/sec, 15 secs
lola: 245616 markings, 279222 edges, 10597 markings/sec, 20 secs
lola: 295764 markings, 336286 edges, 10030 markings/sec, 25 secs
lola: 343151 markings, 390276 edges, 9477 markings/sec, 30 secs
lola: 385030 markings, 437771 edges, 8376 markings/sec, 35 secs
lola: 413120 markings, 469514 edges, 5618 markings/sec, 40 secs
lola: 447396 markings, 508242 edges, 6855 markings/sec, 45 secs
lola: 496292 markings, 563629 edges, 9779 markings/sec, 50 secs
lola: 542692 markings, 616113 edges, 9280 markings/sec, 55 secs
lola: 591924 markings, 671775 edges, 9846 markings/sec, 60 secs
lola: 641029 markings, 727459 edges, 9821 markings/sec, 65 secs
lola: 696727 markings, 790718 edges, 11140 markings/sec, 70 secs
lola: 746051 markings, 846574 edges, 9865 markings/sec, 75 secs
lola: 790507 markings, 896931 edges, 8891 markings/sec, 80 secs
lola: 838046 markings, 950789 edges, 9508 markings/sec, 85 secs
lola: 896646 markings, 1017232 edges, 11720 markings/sec, 90 secs
lola: 949545 markings, 1077239 edges, 10580 markings/sec, 95 secs
lola: 995979 markings, 1129842 edges, 9287 markings/sec, 100 secs
lola: 1046466 markings, 1187051 edges, 10097 markings/sec, 105 secs
lola: 1095508 markings, 1242548 edges, 9808 markings/sec, 110 secs
lola: 1154535 markings, 1309565 edges, 11805 markings/sec, 115 secs
lola: 1201590 markings, 1362772 edges, 9411 markings/sec, 120 secs
lola: 1244559 markings, 1411341 edges, 8594 markings/sec, 125 secs
lola: 1302806 markings, 1477485 edges, 11649 markings/sec, 130 secs
lola: 1349099 markings, 1529933 edges, 9259 markings/sec, 135 secs
lola: 1403200 markings, 1591359 edges, 10820 markings/sec, 140 secs
lola: 1451519 markings, 1646198 edges, 9664 markings/sec, 145 secs
lola: 1502528 markings, 1703989 edges, 10202 markings/sec, 150 secs
lola: 1553248 markings, 1761420 edges, 10144 markings/sec, 155 secs
lola: 1597588 markings, 1811543 edges, 8868 markings/sec, 160 secs
lola: 1650311 markings, 1871446 edges, 10545 markings/sec, 165 secs
lola: 1693242 markings, 1919989 edges, 8586 markings/sec, 170 secs
lola: 1753418 markings, 1988140 edges, 12035 markings/sec, 175 secs
lola: 1804334 markings, 2045832 edges, 10183 markings/sec, 180 secs
lola: 1855832 markings, 2104202 edges, 10300 markings/sec, 185 secs
lola: 1908867 markings, 2164266 edges, 10607 markings/sec, 190 secs
lola: 1965069 markings, 2228146 edges, 11240 markings/sec, 195 secs
lola: 2011240 markings, 2280385 edges, 9234 markings/sec, 200 secs
lola: 2066601 markings, 2343152 edges, 11072 markings/sec, 205 secs
lola: 2110901 markings, 2393213 edges, 8860 markings/sec, 210 secs
lola: 2161671 markings, 2450683 edges, 10154 markings/sec, 215 secs
lola: 2207107 markings, 2502015 edges, 9087 markings/sec, 220 secs
lola: 2251297 markings, 2552002 edges, 8838 markings/sec, 225 secs
lola: 2298556 markings, 2605606 edges, 9452 markings/sec, 230 secs
lola: 2345439 markings, 2658597 edges, 9377 markings/sec, 235 secs
lola: 2397753 markings, 2717833 edges, 10463 markings/sec, 240 secs
lola: 2445676 markings, 2771956 edges, 9585 markings/sec, 245 secs
lola: 2495972 markings, 2829014 edges, 10059 markings/sec, 250 secs
lola: 2547380 markings, 2887207 edges, 10282 markings/sec, 255 secs
lola: 2603743 markings, 2951284 edges, 11273 markings/sec, 260 secs
lola: 2650146 markings, 3003881 edges, 9281 markings/sec, 265 secs
lola: 2697129 markings, 3056963 edges, 9397 markings/sec, 270 secs
lola: 2743458 markings, 3109555 edges, 9266 markings/sec, 275 secs
lola: 2785683 markings, 3157261 edges, 8445 markings/sec, 280 secs
lola: 2837250 markings, 3215605 edges, 10313 markings/sec, 285 secs
lola: 2890046 markings, 3275253 edges, 10559 markings/sec, 290 secs
lola: 2935722 markings, 3327151 edges, 9135 markings/sec, 295 secs
lola: 2983870 markings, 3381590 edges, 9630 markings/sec, 300 secs
lola: 3032373 markings, 3436523 edges, 9701 markings/sec, 305 secs
lola: 3075987 markings, 3485815 edges, 8723 markings/sec, 310 secs
lola: 3131108 markings, 3548200 edges, 11024 markings/sec, 315 secs
lola: 3183244 markings, 3607325 edges, 10427 markings/sec, 320 secs
lola: 3232288 markings, 3662856 edges, 9809 markings/sec, 325 secs
lola: 3285535 markings, 3723199 edges, 10649 markings/sec, 330 secs
lola: 3346778 markings, 3792640 edges, 12249 markings/sec, 335 secs
lola: 3396385 markings, 3848723 edges, 9921 markings/sec, 340 secs
lola: 3442360 markings, 3900690 edges, 9195 markings/sec, 345 secs
lola: 3494685 markings, 3960085 edges, 10465 markings/sec, 350 secs
lola: 3547272 markings, 4019595 edges, 10517 markings/sec, 355 secs
lola: 3596830 markings, 4075643 edges, 9912 markings/sec, 360 secs
lola: 3649936 markings, 4135746 edges, 10621 markings/sec, 365 secs
lola: 3700708 markings, 4193291 edges, 10154 markings/sec, 370 secs
lola: 3746315 markings, 4244815 edges, 9121 markings/sec, 375 secs
lola: 3793159 markings, 4297904 edges, 9369 markings/sec, 380 secs
lola: 3849116 markings, 4361340 edges, 11191 markings/sec, 385 secs
lola: 3903077 markings, 4422445 edges, 10792 markings/sec, 390 secs
lola: 3955367 markings, 4481800 edges, 10458 markings/sec, 395 secs
lola: 4006837 markings, 4540185 edges, 10294 markings/sec, 400 secs
lola: 4062181 markings, 4602937 edges, 11069 markings/sec, 405 secs
lola: 4116645 markings, 4664801 edges, 10893 markings/sec, 410 secs
lola: 4171351 markings, 4726859 edges, 10941 markings/sec, 415 secs
lola: 4225291 markings, 4787984 edges, 10788 markings/sec, 420 secs
lola: 4274846 markings, 4844147 edges, 9911 markings/sec, 425 secs
lola: 4332377 markings, 4909331 edges, 11506 markings/sec, 430 secs
lola: 4379602 markings, 4962866 edges, 9445 markings/sec, 435 secs
lola: 4433291 markings, 5023811 edges, 10738 markings/sec, 440 secs
lola: 4488015 markings, 5085745 edges, 10945 markings/sec, 445 secs
lola: 4537933 markings, 5142362 edges, 9984 markings/sec, 450 secs
lola: 4591864 markings, 5203442 edges, 10786 markings/sec, 455 secs
lola: 4630058 markings, 5246612 edges, 7639 markings/sec, 460 secs
lola: 4654733 markings, 5274510 edges, 4935 markings/sec, 465 secs
lola: 4682491 markings, 5305885 edges, 5552 markings/sec, 470 secs
lola: 4719576 markings, 5347838 edges, 7417 markings/sec, 475 secs
lola: 4773479 markings, 5408880 edges, 10781 markings/sec, 480 secs
lola: 4825174 markings, 5467547 edges, 10339 markings/sec, 485 secs
lola: 4882180 markings, 5532283 edges, 11401 markings/sec, 490 secs
lola: 4933597 markings, 5590895 edges, 10283 markings/sec, 495 secs
lola: 4986833 markings, 5651220 edges, 10647 markings/sec, 500 secs
lola: 5038638 markings, 5710033 edges, 10361 markings/sec, 505 secs
lola: 5089214 markings, 5767313 edges, 10115 markings/sec, 510 secs
lola: 5131719 markings, 5815299 edges, 8501 markings/sec, 515 secs
lola: 5182323 markings, 5872631 edges, 10121 markings/sec, 520 secs
lola: 5232335 markings, 5929249 edges, 10002 markings/sec, 525 secs
lola: 5283949 markings, 5987717 edges, 10323 markings/sec, 530 secs
lola: 5340715 markings, 6052019 edges, 11353 markings/sec, 535 secs
lola: 5399183 markings, 6118300 edges, 11694 markings/sec, 540 secs
lola: 5445877 markings, 6171133 edges, 9339 markings/sec, 545 secs
lola: 5500560 markings, 6233119 edges, 10937 markings/sec, 550 secs
lola: 5537122 markings, 6274543 edges, 7312 markings/sec, 555 secs
lola: 5565585 markings, 6306752 edges, 5693 markings/sec, 560 secs
lola: 5601065 markings, 6346817 edges, 7096 markings/sec, 565 secs
lola: 5655853 markings, 6408897 edges, 10958 markings/sec, 570 secs
lola: 5707103 markings, 6466956 edges, 10250 markings/sec, 575 secs
lola: 5734047 markings, 6497417 edges, 5389 markings/sec, 580 secs
lola: 5766478 markings, 6534166 edges, 6486 markings/sec, 585 secs
lola: 5802730 markings, 6575282 edges, 7250 markings/sec, 590 secs
lola: 5843046 markings, 6621010 edges, 8063 markings/sec, 595 secs
lola: 5895713 markings, 6680809 edges, 10533 markings/sec, 600 secs
lola: 5944924 markings, 6736462 edges, 9842 markings/sec, 605 secs
lola: 6001155 markings, 6800451 edges, 11246 markings/sec, 610 secs
lola: 6052540 markings, 6858838 edges, 10277 markings/sec, 615 secs
lola: 6093366 markings, 6905175 edges, 8165 markings/sec, 620 secs
lola: 6145271 markings, 6963987 edges, 10381 markings/sec, 625 secs
lola: 6197164 markings, 7022869 edges, 10379 markings/sec, 630 secs
lola: 6243971 markings, 7075912 edges, 9361 markings/sec, 635 secs
lola: 6296322 markings, 7135385 edges, 10470 markings/sec, 640 secs
lola: 6345143 markings, 7190959 edges, 9764 markings/sec, 645 secs
lola: 6394639 markings, 7247268 edges, 9899 markings/sec, 650 secs
lola: 6439918 markings, 7298584 edges, 9056 markings/sec, 655 secs
lola: 6474153 markings, 7337450 edges, 6847 markings/sec, 660 secs
lola: 6508323 markings, 7376124 edges, 6834 markings/sec, 665 secs
lola: 6558933 markings, 7433535 edges, 10122 markings/sec, 670 secs
lola: 6603073 markings, 7483669 edges, 8828 markings/sec, 675 secs
lola: 6652698 markings, 7539971 edges, 9925 markings/sec, 680 secs
lola: 6705758 markings, 7600205 edges, 10612 markings/sec, 685 secs
lola: 6737969 markings, 7636613 edges, 6442 markings/sec, 690 secs
lola: 6786744 markings, 7692021 edges, 9755 markings/sec, 695 secs
lola: 6841893 markings, 7754645 edges, 11030 markings/sec, 700 secs
lola: 6887053 markings, 7805830 edges, 9032 markings/sec, 705 secs
lola: 6936792 markings, 7862315 edges, 9948 markings/sec, 710 secs
lola: 6987829 markings, 7920118 edges, 10207 markings/sec, 715 secs
lola: 7038690 markings, 7977740 edges, 10172 markings/sec, 720 secs
lola: 7090428 markings, 8036345 edges, 10348 markings/sec, 725 secs
lola: 7130783 markings, 8081932 edges, 8071 markings/sec, 730 secs
lola: 7169560 markings, 8125763 edges, 7755 markings/sec, 735 secs
lola: 7208701 markings, 8169995 edges, 7828 markings/sec, 740 secs
lola: 7259937 markings, 8228041 edges, 10247 markings/sec, 745 secs
lola: 7307762 markings, 8282203 edges, 9565 markings/sec, 750 secs
lola: 7346625 markings, 8326225 edges, 7773 markings/sec, 755 secs
lola: 7381351 markings, 8365457 edges, 6945 markings/sec, 760 secs
lola: 7436605 markings, 8427990 edges, 11051 markings/sec, 765 secs
lola: 7491108 markings, 8489910 edges, 10901 markings/sec, 770 secs
lola: 7527844 markings, 8531702 edges, 7347 markings/sec, 775 secs
lola: 7559316 markings, 8567239 edges, 6294 markings/sec, 780 secs
lola: 7602261 markings, 8615774 edges, 8589 markings/sec, 785 secs
lola: 7656286 markings, 8676948 edges, 10805 markings/sec, 790 secs
lola: 7712165 markings, 8740208 edges, 11176 markings/sec, 795 secs
lola: 7743629 markings, 8775765 edges, 6293 markings/sec, 800 secs
lola: 7780302 markings, 8817215 edges, 7335 markings/sec, 805 secs
lola: 7810377 markings, 8851305 edges, 6015 markings/sec, 810 secs
lola: 7839056 markings, 8883712 edges, 5736 markings/sec, 815 secs
lola: 7879441 markings, 8929572 edges, 8077 markings/sec, 820 secs
lola: 7931963 markings, 8989110 edges, 10504 markings/sec, 825 secs
lola: 7987364 markings, 9051934 edges, 11080 markings/sec, 830 secs
lola: 8038309 markings, 9109622 edges, 10189 markings/sec, 835 secs
lola: 8090077 markings, 9168212 edges, 10354 markings/sec, 840 secs
lola: 8143853 markings, 9229140 edges, 10755 markings/sec, 845 secs
lola: 8196293 markings, 9288562 edges, 10488 markings/sec, 850 secs
lola: 8249334 markings, 9348687 edges, 10608 markings/sec, 855 secs
lola: 8297208 markings, 9402902 edges, 9575 markings/sec, 860 secs
lola: 8349082 markings, 9461643 edges, 10375 markings/sec, 865 secs
lola: 8398207 markings, 9517282 edges, 9825 markings/sec, 870 secs
lola: 8447429 markings, 9572932 edges, 9844 markings/sec, 875 secs
lola: 8493572 markings, 9625148 edges, 9229 markings/sec, 880 secs
lola: 8542902 markings, 9681023 edges, 9866 markings/sec, 885 secs
lola: 8597573 markings, 9742949 edges, 10934 markings/sec, 890 secs
lola: 8648427 markings, 9800707 edges, 10171 markings/sec, 895 secs
lola: 8706612 markings, 9866642 edges, 11637 markings/sec, 900 secs
lola: 8759691 markings, 9927051 edges, 10616 markings/sec, 905 secs
lola: 8811247 markings, 9985407 edges, 10311 markings/sec, 910 secs
lola: 8858724 markings, 10039330 edges, 9495 markings/sec, 915 secs
lola: 8908373 markings, 10095468 edges, 9930 markings/sec, 920 secs
lola: 8958108 markings, 10151782 edges, 9947 markings/sec, 925 secs
lola: 9004752 markings, 10204557 edges, 9329 markings/sec, 930 secs
lola: 9059544 markings, 10266679 edges, 10958 markings/sec, 935 secs
lola: 9110161 markings, 10324069 edges, 10123 markings/sec, 940 secs
lola: 9161697 markings, 10382507 edges, 10307 markings/sec, 945 secs
lola: 9212332 markings, 10440239 edges, 10127 markings/sec, 950 secs
lola: 9247977 markings, 10480587 edges, 7129 markings/sec, 955 secs
lola: 9279504 markings, 10516282 edges, 6305 markings/sec, 960 secs
lola: 9328534 markings, 10571901 edges, 9806 markings/sec, 965 secs
lola: 9362215 markings, 10610001 edges, 6736 markings/sec, 970 secs
lola: 9404412 markings, 10657942 edges, 8439 markings/sec, 975 secs
lola: 9453328 markings, 10713477 edges, 9783 markings/sec, 980 secs
lola: 9488903 markings, 10753739 edges, 7115 markings/sec, 985 secs
lola: 9529033 markings, 10799081 edges, 8026 markings/sec, 990 secs
lola: 9582877 markings, 10860007 edges, 10769 markings/sec, 995 secs
lola: 9632891 markings, 10916551 edges, 10003 markings/sec, 1000 secs
lola: 9678147 markings, 10967775 edges, 9051 markings/sec, 1005 secs
lola: 9728482 markings, 11024828 edges, 10067 markings/sec, 1010 secs
lola: 9770569 markings, 11072350 edges, 8417 markings/sec, 1015 secs
lola: 9811668 markings, 11118769 edges, 8220 markings/sec, 1020 secs
lola: 9861968 markings, 11175644 edges, 10060 markings/sec, 1025 secs
lola: 9913524 markings, 11233988 edges, 10311 markings/sec, 1030 secs
lola: 9957944 markings, 11284195 edges, 8884 markings/sec, 1035 secs
lola: 10009620 markings, 11342855 edges, 10335 markings/sec, 1040 secs
lola: 10065195 markings, 11405861 edges, 11115 markings/sec, 1045 secs
lola: 10122143 markings, 11470607 edges, 11390 markings/sec, 1050 secs
lola: 10177356 markings, 11533376 edges, 11043 markings/sec, 1055 secs
lola: 10226972 markings, 11589495 edges, 9923 markings/sec, 1060 secs
lola: 10272321 markings, 11640865 edges, 9070 markings/sec, 1065 secs
lola: 10317281 markings, 11691731 edges, 8992 markings/sec, 1070 secs
lola: 10369808 markings, 11751141 edges, 10505 markings/sec, 1075 secs
lola: 10419888 markings, 11808089 edges, 10016 markings/sec, 1080 secs
lola: 10470429 markings, 11865597 edges, 10108 markings/sec, 1085 secs
lola: 10516471 markings, 11917615 edges, 9208 markings/sec, 1090 secs
lola: 10571871 markings, 11980419 edges, 11080 markings/sec, 1095 secs
lola: 10624334 markings, 12039891 edges, 10493 markings/sec, 1100 secs
lola: 10672424 markings, 12094560 edges, 9618 markings/sec, 1105 secs
lola: 10722082 markings, 12150931 edges, 9932 markings/sec, 1110 secs
lola: 10771853 markings, 12207301 edges, 9954 markings/sec, 1115 secs
lola: 10824514 markings, 12267010 edges, 10532 markings/sec, 1120 secs
lola: 10874199 markings, 12323257 edges, 9937 markings/sec, 1125 secs
lola: 10928679 markings, 12385128 edges, 10896 markings/sec, 1130 secs
lola: 10984262 markings, 12448153 edges, 11117 markings/sec, 1135 secs
lola: 11025782 markings, 12495055 edges, 8304 markings/sec, 1140 secs
lola: 11077625 markings, 12553612 edges, 10369 markings/sec, 1145 secs
lola: 11126962 markings, 12609398 edges, 9867 markings/sec, 1150 secs
lola: 11181787 markings, 12671596 edges, 10965 markings/sec, 1155 secs
lola: 11232565 markings, 12729083 edges, 10156 markings/sec, 1160 secs
lola: 11286976 markings, 12790757 edges, 10882 markings/sec, 1165 secs
lola: 11340970 markings, 12851928 edges, 10799 markings/sec, 1170 secs
lola: 11391395 markings, 12909184 edges, 10085 markings/sec, 1175 secs
lola: 11448674 markings, 12974017 edges, 11456 markings/sec, 1180 secs
lola: 11496640 markings, 13028299 edges, 9593 markings/sec, 1185 secs
lola: 11543375 markings, 13081164 edges, 9347 markings/sec, 1190 secs
lola: 11595239 markings, 13139973 edges, 10373 markings/sec, 1195 secs
lola: 11637397 markings, 13187602 edges, 8432 markings/sec, 1200 secs
lola: 11684220 markings, 13240551 edges, 9365 markings/sec, 1205 secs
lola: 11734852 markings, 13297903 edges, 10126 markings/sec, 1210 secs
lola: 11785757 markings, 13355538 edges, 10181 markings/sec, 1215 secs
lola: 11830063 markings, 13405605 edges, 8861 markings/sec, 1220 secs
lola: 11879652 markings, 13461775 edges, 9918 markings/sec, 1225 secs
lola: 11936347 markings, 13526242 edges, 11339 markings/sec, 1230 secs
lola: 11986844 markings, 13583602 edges, 10099 markings/sec, 1235 secs
lola: 12031189 markings, 13633666 edges, 8869 markings/sec, 1240 secs
lola: 12079954 markings, 13688782 edges, 9753 markings/sec, 1245 secs
lola: 12130923 markings, 13746602 edges, 10194 markings/sec, 1250 secs
lola: 12190317 markings, 13814162 edges, 11879 markings/sec, 1255 secs
lola: 12240285 markings, 13870855 edges, 9994 markings/sec, 1260 secs
lola: 12289518 markings, 13926666 edges, 9847 markings/sec, 1265 secs
lola: 12344102 markings, 13988690 edges, 10917 markings/sec, 1270 secs
lola: 12395152 markings, 14046527 edges, 10210 markings/sec, 1275 secs
lola: 12449194 markings, 14107654 edges, 10808 markings/sec, 1280 secs
lola: 12499209 markings, 14164473 edges, 10003 markings/sec, 1285 secs
lola: 12526089 markings, 14194860 edges, 5376 markings/sec, 1290 secs
lola: 12560393 markings, 14233602 edges, 6861 markings/sec, 1295 secs
lola: 12607334 markings, 14286637 edges, 9388 markings/sec, 1300 secs
lola: 12659014 markings, 14345235 edges, 10336 markings/sec, 1305 secs
lola: 12716288 markings, 14410163 edges, 11455 markings/sec, 1310 secs
lola: 12766372 markings, 14466929 edges, 10017 markings/sec, 1315 secs
lola: 12815085 markings, 14522039 edges, 9743 markings/sec, 1320 secs
lola: 12867637 markings, 14581497 edges, 10510 markings/sec, 1325 secs
lola: 12914645 markings, 14634698 edges, 9402 markings/sec, 1330 secs
lola: 12960890 markings, 14687001 edges, 9249 markings/sec, 1335 secs
lola: 13012071 markings, 14745286 edges, 10236 markings/sec, 1340 secs
lola: 13058943 markings, 14798284 edges, 9374 markings/sec, 1345 secs
lola: 13103792 markings, 14848998 edges, 8970 markings/sec, 1350 secs
lola: 13166887 markings, 14920485 edges, 12619 markings/sec, 1355 secs
lola: 13219071 markings, 14979595 edges, 10437 markings/sec, 1360 secs
lola: 13255920 markings, 15021364 edges, 7370 markings/sec, 1365 secs
lola: 13304940 markings, 15076898 edges, 9804 markings/sec, 1370 secs
lola: 13358399 markings, 15137457 edges, 10692 markings/sec, 1375 secs
lola: 13410796 markings, 15196892 edges, 10479 markings/sec, 1380 secs
lola: 13464919 markings, 15258372 edges, 10825 markings/sec, 1385 secs
lola: 13517908 markings, 15318350 edges, 10598 markings/sec, 1390 secs
lola: 13570853 markings, 15378457 edges, 10589 markings/sec, 1395 secs
lola: 13620779 markings, 15435166 edges, 9985 markings/sec, 1400 secs
lola: 13668927 markings, 15489639 edges, 9630 markings/sec, 1405 secs
lola: 13723162 markings, 15551369 edges, 10847 markings/sec, 1410 secs
lola: 13770498 markings, 15604962 edges, 9467 markings/sec, 1415 secs
lola: 13821771 markings, 15663037 edges, 10255 markings/sec, 1420 secs
lola: 13874923 markings, 15723306 edges, 10630 markings/sec, 1425 secs
lola: 13929826 markings, 15785559 edges, 10981 markings/sec, 1430 secs
lola: 13977220 markings, 15839178 edges, 9479 markings/sec, 1435 secs
lola: 14030957 markings, 15900238 edges, 10747 markings/sec, 1440 secs
lola: 14070513 markings, 15945031 edges, 7911 markings/sec, 1445 secs
lola: 14105943 markings, 15985142 edges, 7086 markings/sec, 1450 secs
lola: 14164144 markings, 16051124 edges, 11640 markings/sec, 1455 secs
lola: 14212570 markings, 16106061 edges, 9685 markings/sec, 1460 secs
lola: 14242671 markings, 16140069 edges, 6020 markings/sec, 1465 secs
lola: 14297186 markings, 16201820 edges, 10903 markings/sec, 1470 secs
lola: 14352056 markings, 16264020 edges, 10974 markings/sec, 1475 secs
lola: 14402878 markings, 16321538 edges, 10164 markings/sec, 1480 secs
lola: 14455577 markings, 16381142 edges, 10540 markings/sec, 1485 secs
lola: 14501505 markings, 16433231 edges, 9186 markings/sec, 1490 secs
lola: 14549932 markings, 16488151 edges, 9685 markings/sec, 1495 secs
lola: 14584955 markings, 16527782 edges, 7005 markings/sec, 1500 secs
lola: 14618086 markings, 16565172 edges, 6626 markings/sec, 1505 secs
lola: 14641874 markings, 16592001 edges, 4758 markings/sec, 1510 secs
lola: 14683237 markings, 16638857 edges, 8273 markings/sec, 1515 secs
lola: 14728264 markings, 16689920 edges, 9005 markings/sec, 1520 secs
lola: 14758238 markings, 16723796 edges, 5995 markings/sec, 1525 secs
lola: 14802653 markings, 16774109 edges, 8883 markings/sec, 1530 secs
lola: 14850484 markings, 16828320 edges, 9566 markings/sec, 1535 secs
lola: 14903009 markings, 16887982 edges, 10505 markings/sec, 1540 secs
lola: 14952278 markings, 16943823 edges, 9854 markings/sec, 1545 secs
lola: 14999716 markings, 16997442 edges, 9488 markings/sec, 1550 secs
lola: 15036836 markings, 17039410 edges, 7424 markings/sec, 1555 secs
lola: 15063941 markings, 17070036 edges, 5421 markings/sec, 1560 secs
lola: 15098098 markings, 17108636 edges, 6831 markings/sec, 1565 secs
lola: 15149877 markings, 17167235 edges, 10356 markings/sec, 1570 secs
lola: 15202583 markings, 17226857 edges, 10541 markings/sec, 1575 secs
lola: 15259611 markings, 17291670 edges, 11406 markings/sec, 1580 secs
lola: 15309029 markings, 17347669 edges, 9884 markings/sec, 1585 secs
lola: 15366321 markings, 17412720 edges, 11458 markings/sec, 1590 secs
lola: 15420474 markings, 17474050 edges, 10831 markings/sec, 1595 secs
lola: 15477843 markings, 17539434 edges, 11474 markings/sec, 1600 secs
lola: 15522209 markings, 17589561 edges, 8873 markings/sec, 1605 secs
lola: 15572113 markings, 17645941 edges, 9981 markings/sec, 1610 secs
lola: 15625007 markings, 17705791 edges, 10579 markings/sec, 1615 secs
lola: 15682443 markings, 17770885 edges, 11487 markings/sec, 1620 secs
lola: 15732688 markings, 17827975 edges, 10049 markings/sec, 1625 secs
lola: 15792129 markings, 17895492 edges, 11888 markings/sec, 1630 secs
lola: 15839928 markings, 17949519 edges, 9560 markings/sec, 1635 secs
lola: 15897376 markings, 18014630 edges, 11490 markings/sec, 1640 secs
lola: 15951380 markings, 18075927 edges, 10801 markings/sec, 1645 secs
lola: 16008352 markings, 18140409 edges, 11394 markings/sec, 1650 secs
lola: 16062012 markings, 18201179 edges, 10732 markings/sec, 1655 secs
lola: 16113252 markings, 18259218 edges, 10248 markings/sec, 1660 secs
lola: 16169575 markings, 18323025 edges, 11265 markings/sec, 1665 secs
lola: 16222030 markings, 18382514 edges, 10491 markings/sec, 1670 secs
lola: 16266672 markings, 18433011 edges, 8928 markings/sec, 1675 secs
lola: 16324277 markings, 18498317 edges, 11521 markings/sec, 1680 secs
lola: 16382123 markings, 18563812 edges, 11569 markings/sec, 1685 secs
lola: 16433686 markings, 18622152 edges, 10313 markings/sec, 1690 secs
lola: 16490009 markings, 18686143 edges, 11265 markings/sec, 1695 secs
lola: 16539471 markings, 18742346 edges, 9892 markings/sec, 1700 secs
lola: 16596143 markings, 18806618 edges, 11334 markings/sec, 1705 secs
lola: 16652957 markings, 18871102 edges, 11363 markings/sec, 1710 secs
lola: 16700998 markings, 18925391 edges, 9608 markings/sec, 1715 secs
lola: 16758841 markings, 18991088 edges, 11569 markings/sec, 1720 secs
lola: 16814156 markings, 19053905 edges, 11063 markings/sec, 1725 secs
lola: 16868397 markings, 19115307 edges, 10848 markings/sec, 1730 secs
lola: 16923750 markings, 19178009 edges, 11071 markings/sec, 1735 secs
lola: 16980938 markings, 19243018 edges, 11438 markings/sec, 1740 secs
lola: 17034135 markings, 19303289 edges, 10639 markings/sec, 1745 secs
lola: 17094259 markings, 19371655 edges, 12025 markings/sec, 1750 secs
lola: 17142820 markings, 19426608 edges, 9712 markings/sec, 1755 secs
lola: 17201833 markings, 19493490 edges, 11803 markings/sec, 1760 secs
lola: 17253966 markings, 19552640 edges, 10427 markings/sec, 1765 secs
lola: 17306399 markings, 19611985 edges, 10487 markings/sec, 1770 secs
lola: 17362125 markings, 19675127 edges, 11145 markings/sec, 1775 secs
lola: 17411720 markings, 19731321 edges, 9919 markings/sec, 1780 secs
lola: 17460483 markings, 19786498 edges, 9753 markings/sec, 1785 secs
lola: 17515137 markings, 19848469 edges, 10931 markings/sec, 1790 secs
lola: 17545996 markings, 19883416 edges, 6172 markings/sec, 1795 secs
lola: 17584252 markings, 19926626 edges, 7651 markings/sec, 1800 secs
lola: 17636668 markings, 19985888 edges, 10483 markings/sec, 1805 secs
lola: 17689728 markings, 20046074 edges, 10612 markings/sec, 1810 secs
lola: 17746641 markings, 20110509 edges, 11383 markings/sec, 1815 secs
lola: 17802042 markings, 20173381 edges, 11080 markings/sec, 1820 secs
lola: 17858482 markings, 20237278 edges, 11288 markings/sec, 1825 secs
lola: 17916435 markings, 20302874 edges, 11591 markings/sec, 1830 secs
lola: 17972354 markings, 20366256 edges, 11184 markings/sec, 1835 secs
lola: 18023115 markings, 20423642 edges, 10152 markings/sec, 1840 secs
lola: 18073479 markings, 20480851 edges, 10073 markings/sec, 1845 secs
lola: 18111714 markings, 20524096 edges, 7647 markings/sec, 1850 secs
lola: 18168381 markings, 20588269 edges, 11333 markings/sec, 1855 secs
lola: 18217728 markings, 20644010 edges, 9869 markings/sec, 1860 secs
lola: 18274819 markings, 20708762 edges, 11418 markings/sec, 1865 secs
lola: 18327980 markings, 20769210 edges, 10632 markings/sec, 1870 secs
lola: 18384972 markings, 20833754 edges, 11398 markings/sec, 1875 secs
lola: 18436635 markings, 20892121 edges, 10333 markings/sec, 1880 secs
lola: 18487730 markings, 20949978 edges, 10219 markings/sec, 1885 secs
lola: 18539994 markings, 21009159 edges, 10453 markings/sec, 1890 secs
lola: 18593628 markings, 21069856 edges, 10727 markings/sec, 1895 secs
lola: 18640998 markings, 21123486 edges, 9474 markings/sec, 1900 secs
lola: 18695386 markings, 21184973 edges, 10878 markings/sec, 1905 secs
lola: 18747122 markings, 21243608 edges, 10347 markings/sec, 1910 secs
lola: 18806447 markings, 21310910 edges, 11865 markings/sec, 1915 secs
lola: 18847740 markings, 21357647 edges, 8259 markings/sec, 1920 secs
lola: 18898590 markings, 21415355 edges, 10170 markings/sec, 1925 secs
lola: 18927075 markings, 21447535 edges, 5697 markings/sec, 1930 secs
lola: 18968450 markings, 21494326 edges, 8275 markings/sec, 1935 secs
lola: 19023784 markings, 21557118 edges, 11067 markings/sec, 1940 secs
lola: 19069836 markings, 21609357 edges, 9210 markings/sec, 1945 secs
lola: 19123036 markings, 21669612 edges, 10640 markings/sec, 1950 secs
lola: 19171030 markings, 21723958 edges, 9599 markings/sec, 1955 secs
lola: 19222981 markings, 21782729 edges, 10390 markings/sec, 1960 secs
lola: 19273000 markings, 21839409 edges, 10004 markings/sec, 1965 secs
lola: 19323549 markings, 21896695 edges, 10110 markings/sec, 1970 secs
lola: 19379533 markings, 21960144 edges, 11197 markings/sec, 1975 secs
lola: 19434975 markings, 22023067 edges, 11088 markings/sec, 1980 secs
lola: 19485051 markings, 22080119 edges, 10015 markings/sec, 1985 secs
lola: 19540458 markings, 22143189 edges, 11081 markings/sec, 1990 secs
lola: 19591812 markings, 22201307 edges, 10271 markings/sec, 1995 secs
lola: 19625984 markings, 22240086 edges, 6834 markings/sec, 2000 secs
lola: 19664070 markings, 22283181 edges, 7617 markings/sec, 2005 secs
lola: 19696001 markings, 22319280 edges, 6386 markings/sec, 2010 secs
lola: 19748418 markings, 22378532 edges, 10483 markings/sec, 2015 secs
lola: 19800080 markings, 22437022 edges, 10332 markings/sec, 2020 secs
lola: 19848527 markings, 22491951 edges, 9689 markings/sec, 2025 secs
lola: 19901857 markings, 22552347 edges, 10666 markings/sec, 2030 secs
lola: 19950889 markings, 22608075 edges, 9806 markings/sec, 2035 secs
lola: 19982224 markings, 22643453 edges, 6267 markings/sec, 2040 secs
lola: 20018090 markings, 22684042 edges, 7173 markings/sec, 2045 secs
lola: 20075703 markings, 22749229 edges, 11523 markings/sec, 2050 secs
lola: 20131878 markings, 22812919 edges, 11235 markings/sec, 2055 secs
lola: 20187830 markings, 22876326 edges, 11190 markings/sec, 2060 secs
lola: 20239641 markings, 22935160 edges, 10362 markings/sec, 2065 secs
lola: 20289033 markings, 22991165 edges, 9878 markings/sec, 2070 secs
lola: 20339306 markings, 23048030 edges, 10055 markings/sec, 2075 secs
lola: 20396782 markings, 23113255 edges, 11495 markings/sec, 2080 secs
lola: 20448186 markings, 23171938 edges, 10281 markings/sec, 2085 secs
lola: 20498662 markings, 23229074 edges, 10095 markings/sec, 2090 secs
lola: 20549434 markings, 23286664 edges, 10154 markings/sec, 2095 secs
lola: 20602115 markings, 23346391 edges, 10536 markings/sec, 2100 secs
lola: 20655482 markings, 23406697 edges, 10673 markings/sec, 2105 secs
lola: 20712277 markings, 23471039 edges, 11359 markings/sec, 2110 secs
lola: 20769882 markings, 23536552 edges, 11521 markings/sec, 2115 secs
lola: 20797363 markings, 23567605 edges, 5496 markings/sec, 2120 secs
lola: 20832606 markings, 23607420 edges, 7049 markings/sec, 2125 secs
lola: 20891114 markings, 23673839 edges, 11702 markings/sec, 2130 secs
lola: 20935278 markings, 23723734 edges, 8833 markings/sec, 2135 secs
lola: 20992075 markings, 23788192 edges, 11359 markings/sec, 2140 secs
lola: 21046360 markings, 23849685 edges, 10857 markings/sec, 2145 secs
lola: 21099826 markings, 23910366 edges, 10693 markings/sec, 2150 secs
lola: 21151870 markings, 23969387 edges, 10409 markings/sec, 2155 secs
lola: 21201727 markings, 24025926 edges, 9971 markings/sec, 2160 secs
lola: 21246905 markings, 24077020 edges, 9036 markings/sec, 2165 secs
lola: 21299619 markings, 24136858 edges, 10543 markings/sec, 2170 secs
lola: 21354174 markings, 24198646 edges, 10911 markings/sec, 2175 secs
lola: 21407524 markings, 24259248 edges, 10670 markings/sec, 2180 secs
lola: 21462617 markings, 24321913 edges, 11019 markings/sec, 2185 secs
lola: 21508603 markings, 24373880 edges, 9197 markings/sec, 2190 secs
lola: 21562408 markings, 24434897 edges, 10761 markings/sec, 2195 secs
lola: 21612064 markings, 24491080 edges, 9931 markings/sec, 2200 secs
lola: 21666774 markings, 24553123 edges, 10942 markings/sec, 2205 secs
lola: 21713285 markings, 24605708 edges, 9302 markings/sec, 2210 secs
lola: 21735923 markings, 24631277 edges, 4528 markings/sec, 2215 secs
lola: 21757255 markings, 24655391 edges, 4266 markings/sec, 2220 secs
lola: 21776738 markings, 24677414 edges, 3897 markings/sec, 2225 secs
lola: 21795683 markings, 24698848 edges, 3789 markings/sec, 2230 secs
lola: 21819858 markings, 24726228 edges, 4835 markings/sec, 2235 secs
lola: 21858328 markings, 24769869 edges, 7694 markings/sec, 2240 secs
lola: 21889886 markings, 24805656 edges, 6312 markings/sec, 2245 secs
lola: 21909092 markings, 24827386 edges, 3841 markings/sec, 2250 secs
lola: 21937144 markings, 24859134 edges, 5610 markings/sec, 2255 secs
lola: 21972097 markings, 24898722 edges, 6991 markings/sec, 2260 secs
lola: 21990430 markings, 24919463 edges, 3667 markings/sec, 2265 secs
lola: 22018607 markings, 24951360 edges, 5635 markings/sec, 2270 secs
lola: 22053299 markings, 24990659 edges, 6938 markings/sec, 2275 secs
lola: 22071640 markings, 25011409 edges, 3668 markings/sec, 2280 secs
lola: 22091864 markings, 25034312 edges, 4045 markings/sec, 2285 secs
lola: 22121767 markings, 25068195 edges, 5981 markings/sec, 2290 secs
lola: 22155932 markings, 25106915 edges, 6833 markings/sec, 2295 secs
lola: 22173151 markings, 25126421 edges, 3444 markings/sec, 2300 secs
lola: 22204229 markings, 25161700 edges, 6216 markings/sec, 2305 secs
lola: 22228924 markings, 25189840 edges, 4939 markings/sec, 2310 secs
lola: 22250202 markings, 25213946 edges, 4256 markings/sec, 2315 secs
lola: 22269693 markings, 25236021 edges, 3898 markings/sec, 2320 secs
lola: 22289405 markings, 25258351 edges, 3942 markings/sec, 2325 secs
lola: 22306864 markings, 25278116 edges, 3492 markings/sec, 2330 secs
lola: 22325926 markings, 25299689 edges, 3812 markings/sec, 2335 secs
lola: 22344662 markings, 25320847 edges, 3747 markings/sec, 2340 secs
lola: 22364498 markings, 25343287 edges, 3967 markings/sec, 2345 secs
lola: 22386975 markings, 25368670 edges, 4495 markings/sec, 2350 secs
lola: 22410464 markings, 25395249 edges, 4698 markings/sec, 2355 secs
lola: 22430977 markings, 25418408 edges, 4103 markings/sec, 2360 secs
lola: 22450976 markings, 25441003 edges, 4000 markings/sec, 2365 secs
lola: 22469945 markings, 25462441 edges, 3794 markings/sec, 2370 secs
lola: 22500868 markings, 25497524 edges, 6185 markings/sec, 2375 secs
lola: 22527418 markings, 25527567 edges, 5310 markings/sec, 2380 secs
lola: 22546393 markings, 25549041 edges, 3795 markings/sec, 2385 secs
lola: 22583978 markings, 25591673 edges, 7517 markings/sec, 2390 secs
lola: 22612247 markings, 25623708 edges, 5654 markings/sec, 2395 secs
lola: 22634391 markings, 25648775 edges, 4429 markings/sec, 2400 secs
lola: 22661191 markings, 25679151 edges, 5360 markings/sec, 2405 secs
lola: 22685148 markings, 25706426 edges, 4791 markings/sec, 2410 secs
lola: 22707325 markings, 25731476 edges, 4435 markings/sec, 2415 secs
lola: 22735548 markings, 25763479 edges, 5645 markings/sec, 2420 secs
lola: 22767872 markings, 25800224 edges, 6465 markings/sec, 2425 secs
lola: 22790071 markings, 25825311 edges, 4440 markings/sec, 2430 secs
lola: 22818874 markings, 25857985 edges, 5761 markings/sec, 2435 secs
lola: 22842211 markings, 25884369 edges, 4667 markings/sec, 2440 secs
lola: 22864786 markings, 25909917 edges, 4515 markings/sec, 2445 secs
lola: 22887613 markings, 25935811 edges, 4565 markings/sec, 2450 secs
lola: 22908040 markings, 25958932 edges, 4085 markings/sec, 2455 secs
lola: 22928049 markings, 25981596 edges, 4002 markings/sec, 2460 secs
lola: 22960952 markings, 26018878 edges, 6581 markings/sec, 2465 secs
lola: 22990860 markings, 26052826 edges, 5982 markings/sec, 2470 secs
lola: 23015356 markings, 26080555 edges, 4899 markings/sec, 2475 secs
lola: 23044674 markings, 26113796 edges, 5864 markings/sec, 2480 secs
lola: 23072720 markings, 26145681 edges, 5609 markings/sec, 2485 secs
lola: 23095227 markings, 26171332 edges, 4501 markings/sec, 2490 secs
lola: 23112944 markings, 26191384 edges, 3543 markings/sec, 2495 secs
lola: 23131415 markings, 26212309 edges, 3694 markings/sec, 2500 secs
lola: 23151083 markings, 26234526 edges, 3934 markings/sec, 2505 secs
lola: 23171293 markings, 26257394 edges, 4042 markings/sec, 2510 secs
lola: 23200743 markings, 26290875 edges, 5890 markings/sec, 2515 secs
lola: 23235068 markings, 26329879 edges, 6865 markings/sec, 2520 secs
lola: 23269053 markings, 26368477 edges, 6797 markings/sec, 2525 secs
lola: 23289668 markings, 26391783 edges, 4123 markings/sec, 2530 secs
lola: 23309384 markings, 26414116 edges, 3943 markings/sec, 2535 secs
lola: 23341774 markings, 26450856 edges, 6478 markings/sec, 2540 secs
lola: 23373220 markings, 26486478 edges, 6289 markings/sec, 2545 secs
lola: 23391483 markings, 26507120 edges, 3653 markings/sec, 2550 secs
lola: 23410221 markings, 26528323 edges, 3748 markings/sec, 2555 secs
lola: 23432994 markings, 26554083 edges, 4555 markings/sec, 2560 secs
lola: 23455442 markings, 26579439 edges, 4490 markings/sec, 2565 secs
lola: 23486323 markings, 26614443 edges, 6176 markings/sec, 2570 secs
lola: 23520925 markings, 26653714 edges, 6920 markings/sec, 2575 secs
lola: 23539823 markings, 26675099 edges, 3780 markings/sec, 2580 secs
lola: 23569172 markings, 26708319 edges, 5870 markings/sec, 2585 secs
lola: 23599430 markings, 26742757 edges, 6052 markings/sec, 2590 secs
lola: 23620468 markings, 26766590 edges, 4208 markings/sec, 2595 secs
lola: 23648528 markings, 26798355 edges, 5612 markings/sec, 2600 secs
lola: 23672323 markings, 26825234 edges, 4759 markings/sec, 2605 secs
lola: 23702913 markings, 26859907 edges, 6118 markings/sec, 2610 secs
lola: 23737710 markings, 26899401 edges, 6959 markings/sec, 2615 secs
lola: 23756462 markings, 26920623 edges, 3750 markings/sec, 2620 secs
lola: 23786419 markings, 26954536 edges, 5991 markings/sec, 2625 secs
lola: 23819497 markings, 26992106 edges, 6616 markings/sec, 2630 secs
lola: 23845683 markings, 27021798 edges, 5237 markings/sec, 2635 secs
lola: 23872310 markings, 27051900 edges, 5325 markings/sec, 2640 secs
lola: 23896400 markings, 27079200 edges, 4818 markings/sec, 2645 secs
lola: 23922877 markings, 27109130 edges, 5295 markings/sec, 2650 secs
lola: 23949712 markings, 27139478 edges, 5367 markings/sec, 2655 secs
lola: 23968489 markings, 27160775 edges, 3755 markings/sec, 2660 secs
lola: 24008137 markings, 27205789 edges, 7930 markings/sec, 2665 secs
lola: 24049641 markings, 27252889 edges, 8301 markings/sec, 2670 secs
lola: 24088598 markings, 27297107 edges, 7791 markings/sec, 2675 secs
lola: 24110901 markings, 27322298 edges, 4461 markings/sec, 2680 secs
lola: 24131219 markings, 27345279 edges, 4064 markings/sec, 2685 secs
lola: 24150741 markings, 27367345 edges, 3904 markings/sec, 2690 secs
lola: 24170550 markings, 27389731 edges, 3962 markings/sec, 2695 secs
lola: 24195462 markings, 27417874 edges, 4982 markings/sec, 2700 secs
lola: 24216541 markings, 27441671 edges, 4216 markings/sec, 2705 secs
lola: 24237013 markings, 27464793 edges, 4094 markings/sec, 2710 secs
lola: 24267342 markings, 27499273 edges, 6066 markings/sec, 2715 secs
lola: 24286741 markings, 27521204 edges, 3880 markings/sec, 2720 secs
lola: 24309222 markings, 27546619 edges, 4496 markings/sec, 2725 secs
lola: 24340688 markings, 27582167 edges, 6293 markings/sec, 2730 secs
lola: 24371777 markings, 27617352 edges, 6218 markings/sec, 2735 secs
lola: 24399636 markings, 27648901 edges, 5572 markings/sec, 2740 secs
lola: 24425310 markings, 27677932 edges, 5135 markings/sec, 2745 secs
lola: 24457214 markings, 27713997 edges, 6381 markings/sec, 2750 secs
lola: 24482015 markings, 27742058 edges, 4960 markings/sec, 2755 secs
lola: 24504596 markings, 27767615 edges, 4516 markings/sec, 2760 secs
lola: 24541358 markings, 27809302 edges, 7352 markings/sec, 2765 secs
lola: 24572636 markings, 27844801 edges, 6256 markings/sec, 2770 secs
lola: 24602303 markings, 27878464 edges, 5933 markings/sec, 2775 secs
lola: 24622524 markings, 27901363 edges, 4044 markings/sec, 2780 secs
lola: 24645682 markings, 27927587 edges, 4632 markings/sec, 2785 secs
lola: 24675141 markings, 27961006 edges, 5892 markings/sec, 2790 secs
lola: 24713710 markings, 28004781 edges, 7714 markings/sec, 2795 secs
lola: 24751682 markings, 28047925 edges, 7594 markings/sec, 2800 secs
lola: 24776164 markings, 28075819 edges, 4896 markings/sec, 2805 secs
lola: 24804038 markings, 28107550 edges, 5575 markings/sec, 2810 secs
lola: 24828580 markings, 28135352 edges, 4908 markings/sec, 2815 secs
lola: 24850035 markings, 28159661 edges, 4291 markings/sec, 2820 secs
lola: 24869618 markings, 28181838 edges, 3917 markings/sec, 2825 secs
lola: 24900656 markings, 28216993 edges, 6208 markings/sec, 2830 secs
lola: 24928486 markings, 28248628 edges, 5566 markings/sec, 2835 secs
lola: 24952828 markings, 28276159 edges, 4868 markings/sec, 2840 secs
lola: 24977875 markings, 28304645 edges, 5009 markings/sec, 2845 secs
lola: 25005996 markings, 28336569 edges, 5624 markings/sec, 2850 secs
lola: 25027643 markings, 28361123 edges, 4329 markings/sec, 2855 secs
lola: 25055563 markings, 28392733 edges, 5584 markings/sec, 2860 secs
lola: 25089515 markings, 28431246 edges, 6790 markings/sec, 2865 secs
lola: 25110872 markings, 28455477 edges, 4271 markings/sec, 2870 secs
lola: 25146987 markings, 28496484 edges, 7223 markings/sec, 2875 secs
lola: 25170705 markings, 28523345 edges, 4744 markings/sec, 2880 secs
lola: 25191438 markings, 28546810 edges, 4147 markings/sec, 2885 secs
lola: 25219536 markings, 28578653 edges, 5620 markings/sec, 2890 secs
lola: 25237759 markings, 28599229 edges, 3645 markings/sec, 2895 secs
lola: 25260876 markings, 28625340 edges, 4623 markings/sec, 2900 secs
lola: 25288351 markings, 28656420 edges, 5495 markings/sec, 2905 secs
lola: 25321265 markings, 28693609 edges, 6583 markings/sec, 2910 secs
lola: 25348997 markings, 28724974 edges, 5546 markings/sec, 2915 secs
lola: 25377888 markings, 28757634 edges, 5778 markings/sec, 2920 secs
lola: 25407052 markings, 28790674 edges, 5833 markings/sec, 2925 secs
lola: 25440796 markings, 28829035 edges, 6749 markings/sec, 2930 secs
lola: 25465848 markings, 28857398 edges, 5010 markings/sec, 2935 secs
lola: 25487485 markings, 28881863 edges, 4327 markings/sec, 2940 secs
lola: 25506894 markings, 28903816 edges, 3882 markings/sec, 2945 secs
lola: 25535615 markings, 28936523 edges, 5744 markings/sec, 2950 secs
lola: 25561725 markings, 28966124 edges, 5222 markings/sec, 2955 secs
lola: 25598748 markings, 29008198 edges, 7405 markings/sec, 2960 secs
lola: 25622431 markings, 29035059 edges, 4737 markings/sec, 2965 secs
lola: 25647062 markings, 29062911 edges, 4926 markings/sec, 2970 secs
lola: 25668760 markings, 29087470 edges, 4340 markings/sec, 2975 secs
lola: 25701048 markings, 29124002 edges, 6458 markings/sec, 2980 secs
lola: 25732034 markings, 29159079 edges, 6197 markings/sec, 2985 secs
lola: 25765974 markings, 29197540 edges, 6788 markings/sec, 2990 secs
lola: 25794784 markings, 29230224 edges, 5762 markings/sec, 2995 secs
lola: 25823893 markings, 29263313 edges, 5822 markings/sec, 3000 secs
lola: 25853538 markings, 29297029 edges, 5929 markings/sec, 3005 secs
lola: 25876982 markings, 29323545 edges, 4689 markings/sec, 3010 secs
lola: 25908609 markings, 29359427 edges, 6325 markings/sec, 3015 secs
lola: 25938952 markings, 29393812 edges, 6069 markings/sec, 3020 secs
lola: 25961044 markings, 29418910 edges, 4418 markings/sec, 3025 secs
lola: 25982181 markings, 29442862 edges, 4227 markings/sec, 3030 secs
lola: 26005831 markings, 29469587 edges, 4730 markings/sec, 3035 secs
lola: 26037902 markings, 29506031 edges, 6414 markings/sec, 3040 secs
lola: 26069042 markings, 29541267 edges, 6228 markings/sec, 3045 secs
lola: 26095989 markings, 29571842 edges, 5389 markings/sec, 3050 secs
lola: 26121545 markings, 29600853 edges, 5111 markings/sec, 3055 secs
lola: 26147178 markings, 29629878 edges, 5127 markings/sec, 3060 secs
lola: 26167944 markings, 29653396 edges, 4153 markings/sec, 3065 secs
lola: 26189986 markings, 29678522 edges, 4408 markings/sec, 3070 secs
lola: 26223959 markings, 29717350 edges, 6795 markings/sec, 3075 secs
lola: 26243800 markings, 29739792 edges, 3968 markings/sec, 3080 secs
lola: 26278942 markings, 29779562 edges, 7028 markings/sec, 3085 secs
lola: 26306407 markings, 29810751 edges, 5493 markings/sec, 3090 secs
lola: 26339816 markings, 29848670 edges, 6682 markings/sec, 3095 secs
lola: 26359929 markings, 29871395 edges, 4023 markings/sec, 3100 secs
lola: 26386254 markings, 29901191 edges, 5265 markings/sec, 3105 secs
lola: 26420081 markings, 29939499 edges, 6765 markings/sec, 3110 secs
lola: 26451992 markings, 29975731 edges, 6382 markings/sec, 3115 secs
lola: 26475888 markings, 30002790 edges, 4779 markings/sec, 3120 secs
lola: 26510390 markings, 30041934 edges, 6900 markings/sec, 3125 secs
lola: 26538548 markings, 30073924 edges, 5632 markings/sec, 3130 secs
lola: 26560164 markings, 30098370 edges, 4323 markings/sec, 3135 secs
lola: 26580351 markings, 30121206 edges, 4037 markings/sec, 3140 secs
lola: 26612639 markings, 30157781 edges, 6458 markings/sec, 3145 secs
lola: 26630794 markings, 30178482 edges, 3631 markings/sec, 3150 secs
lola: 26665219 markings, 30217619 edges, 6885 markings/sec, 3155 secs
lola: 26695587 markings, 30252079 edges, 6074 markings/sec, 3160 secs
lola: 26731397 markings, 30292709 edges, 7162 markings/sec, 3165 secs
lola: 26764117 markings, 30329833 edges, 6544 markings/sec, 3170 secs
lola: 26782090 markings, 30350187 edges, 3595 markings/sec, 3175 secs
lola: 26802028 markings, 30372766 edges, 3988 markings/sec, 3180 secs
lola: 26840553 markings, 30416395 edges, 7705 markings/sec, 3185 secs
lola: 26862144 markings, 30440902 edges, 4318 markings/sec, 3190 secs
lola: 26887801 markings, 30470188 edges, 5131 markings/sec, 3195 secs
lola: 26910277 markings, 30495639 edges, 4495 markings/sec, 3200 secs
lola: 26943421 markings, 30533147 edges, 6629 markings/sec, 3205 secs
lola: 26961861 markings, 30554010 edges, 3688 markings/sec, 3210 secs
lola: 26980789 markings, 30575448 edges, 3786 markings/sec, 3215 secs
lola: 27009824 markings, 30608319 edges, 5807 markings/sec, 3220 secs
lola: 27036837 markings, 30639007 edges, 5403 markings/sec, 3225 secs
lola: 27057556 markings, 30662487 edges, 4144 markings/sec, 3230 secs
lola: 27076237 markings, 30683630 edges, 3736 markings/sec, 3235 secs
lola: 27099004 markings, 30709351 edges, 4553 markings/sec, 3240 secs
lola: 27121548 markings, 30734848 edges, 4509 markings/sec, 3245 secs
lola: 27147159 markings, 30763886 edges, 5122 markings/sec, 3250 secs
lola: 27182196 markings, 30803785 edges, 7007 markings/sec, 3255 secs
lola: 27206701 markings, 30831523 edges, 4901 markings/sec, 3260 secs
lola: 27243373 markings, 30873105 edges, 7334 markings/sec, 3265 secs
lola: 27274296 markings, 30908156 edges, 6185 markings/sec, 3270 secs
lola: 27295374 markings, 30932022 edges, 4216 markings/sec, 3275 secs
lola: 27319262 markings, 30959081 edges, 4778 markings/sec, 3280 secs
lola: 27344247 markings, 30987384 edges, 4997 markings/sec, 3285 secs
lola: 27371108 markings, 31017762 edges, 5372 markings/sec, 3290 secs
lola: 27392696 markings, 31042163 edges, 4318 markings/sec, 3295 secs
lola: 27414486 markings, 31066900 edges, 4358 markings/sec, 3300 secs
lola: 27451863 markings, 31109474 edges, 7475 markings/sec, 3305 secs
lola: 27490705 markings, 31153911 edges, 7768 markings/sec, 3310 secs
lola: 27515569 markings, 31182069 edges, 4973 markings/sec, 3315 secs
lola: 27531627 markings, 31200263 edges, 3212 markings/sec, 3320 secs
lola: 27550673 markings, 31221813 edges, 3809 markings/sec, 3325 secs
lola: 27569199 markings, 31242839 edges, 3705 markings/sec, 3330 secs
lola: 27598209 markings, 31275921 edges, 5802 markings/sec, 3335 secs
lola: 27616828 markings, 31297050 edges, 3724 markings/sec, 3340 secs
lola: 27634449 markings, 31316992 edges, 3524 markings/sec, 3345 secs
lola: 27652453 markings, 31337411 edges, 3601 markings/sec, 3350 secs
lola: 27672909 markings, 31360527 edges, 4091 markings/sec, 3355 secs
lola: 27701496 markings, 31392839 edges, 5717 markings/sec, 3360 secs
lola: 27731839 markings, 31427149 edges, 6069 markings/sec, 3365 secs
lola: 27764554 markings, 31464100 edges, 6543 markings/sec, 3370 secs
lola: 27783359 markings, 31485402 edges, 3761 markings/sec, 3375 secs
lola: 27815249 markings, 31521518 edges, 6378 markings/sec, 3380 secs
lola: 27833686 markings, 31542417 edges, 3687 markings/sec, 3385 secs
lola: 27875865 markings, 31590320 edges, 8436 markings/sec, 3390 secs
lola: 27910781 markings, 31630057 edges, 6983 markings/sec, 3395 secs
lola: 27946482 markings, 31670652 edges, 7140 markings/sec, 3400 secs
lola: 27966813 markings, 31693640 edges, 4066 markings/sec, 3405 secs
lola: 27985653 markings, 31714915 edges, 3768 markings/sec, 3410 secs
lola: 28006123 markings, 31738073 edges, 4094 markings/sec, 3415 secs
lola: 28035170 markings, 31770963 edges, 5809 markings/sec, 3420 secs
lola: 28066762 markings, 31806679 edges, 6318 markings/sec, 3425 secs
lola: 28096216 markings, 31840158 edges, 5891 markings/sec, 3430 secs
lola: 28121548 markings, 31868838 edges, 5066 markings/sec, 3435 secs
lola: 28152085 markings, 31903382 edges, 6107 markings/sec, 3440 secs
lola: 28178488 markings, 31933258 edges, 5281 markings/sec, 3445 secs
lola: 28203655 markings, 31961839 edges, 5033 markings/sec, 3450 secs
lola: 28244158 markings, 32007913 edges, 8101 markings/sec, 3455 secs
lola: 28263927 markings, 32030293 edges, 3954 markings/sec, 3460 secs
lola: 28287980 markings, 32057465 edges, 4811 markings/sec, 3465 secs
lola: 28308509 markings, 32080654 edges, 4106 markings/sec, 3470 secs
lola: 28328264 markings, 32102974 edges, 3951 markings/sec, 3475 secs
lola: 28346063 markings, 32123074 edges, 3560 markings/sec, 3480 secs
lola: 28362494 markings, 32141656 edges, 3286 markings/sec, 3485 secs
lola: 28381017 markings, 32162556 edges, 3705 markings/sec, 3490 secs
lola: 28402105 markings, 32186376 edges, 4218 markings/sec, 3495 secs
lola: 28422958 markings, 32209959 edges, 4171 markings/sec, 3500 secs
lola: 28443372 markings, 32233055 edges, 4083 markings/sec, 3505 secs
lola: 28464272 markings, 32256656 edges, 4180 markings/sec, 3510 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes yes no no no no no no yes no unknown yes no yes yes
lola:
preliminary result: no yes yes no no no no no no yes no unknown yes no yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes no no no no no no yes no unknown yes no yes yes
lola: memory consumption: 28252 KB
lola: time consumption: 3569 seconds

BK_STOP 1527876868681

--------------------
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="DLCround-PT-11b"
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/DLCround-PT-11b.tgz
mv DLCround-PT-11b 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 DLCround-PT-11b, 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-152732257400197"
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 ;