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

About the Execution of LoLA for DLCround-PT-11b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
13494.990 3569971.00 3624187.00 7251.10 FTTFFFFFFTF?TFTT 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 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 ;