fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r280-csrt-152749169700248
Last Updated
June 26, 2018

About the Execution of LoLA for DoubleExponent-PT-200

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.390 3569689.00 3672603.00 8622.30 ?TFFTTFFFTFFFFFT 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 3.7M
-rw-r--r-- 1 mcc users 3.8K May 30 21:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 30 21:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 29 15:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 29 15:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 28 09:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 28 08:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K May 28 08:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.5K May 28 06:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 28 06:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.3K May 27 03:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K May 27 03:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 4 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 3.5M May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DoubleExponent-PT-200, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749169700248

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

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

=== Now, execution of the tool begins

BK_START 1527786338707

info: Time: 3600 - MCC
===========================================================================================
prep: translating DoubleExponent-PT-200 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DoubleExponent-PT-200 formula LTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking LTLCardinality @ DoubleExponent-PT-200 @ 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: 20602/65536 symbol table entries, 7116 collisions
lola: preprocessing...
lola: Size of bit vector: 339328
lola: finding significant places
lola: 10604 places, 9998 transitions, 9600 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 13596 transition conflict sets
lola: TASK
lola: reading formula from DoubleExponent-PT-200-LTLCardinality.task
lola: LP says that atomic proposition is always true: (p10173 <= p291)
lola: LP says that atomic proposition is always true: (p10148 <= p10217)
lola: LP says that atomic proposition is always true: (p3351 <= p1361)
lola: LP says that atomic proposition is always false: (2 <= p9933)
lola: LP says that atomic proposition is always false: (3 <= p6513)
lola: LP says that atomic proposition is always true: (p9341 <= p7257)
lola: LP says that atomic proposition is always true: (p4117 <= p7403)
lola: LP says that atomic proposition is always false: (2 <= p6796)
lola: LP says that atomic proposition is always false: (3 <= p10030)
lola: LP says that atomic proposition is always false: (3 <= p8552)
lola: LP says that atomic proposition is always false: (2 <= p3391)
lola: LP says that atomic proposition is always false: (1 <= p5020)
lola: A (G ((X (TRUE) U F ((p2104 <= p10204))))) : A (F (X (F ((p4361 <= p8263))))) : A ((2 <= p9629)) : A ((((p3824 <= p7476) U (1 <= p1149)) U X (X ((3 <= p3682))))) : A (F (X (F (F (TRUE))))) : A (G (X (TRUE))) : A (FALSE) : A (X (FALSE)) : A ((F (F (TRUE)) U F (G ((2 <= p9212))))) : A (F (X (X (X (TRUE))))) : A (G (((p447 <= p10425) U G (FALSE)))) : A ((X (X ((p4181 <= p6383))) U F (G (FALSE)))) : A ((X (F ((3 <= p7753))) U G (F (FALSE)))) : A (X ((X ((1 <= p722)) U F (FALSE)))) : A (G (F (F (FALSE)))) : A (X ((p2762 <= p794)))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:160
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:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:142
lola: rewrite Frontend/Parser/formula_rewrite.k:142
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:163
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:157
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:157
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:157
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 210 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (2 <= p9629)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (2 <= p9629)
lola: processed formula length: 12
lola: 53 rewrites
lola: closed formula file DoubleExponent-PT-200-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 DoubleExponent-PT-200-LTLCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 224 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 53 rewrites
lola: closed formula file DoubleExponent-PT-200-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 DoubleExponent-PT-200-LTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 2 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 53 rewrites
lola: closed formula file DoubleExponent-PT-200-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 DoubleExponent-PT-200-LTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 258 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: 53 rewrites
lola: closed formula file DoubleExponent-PT-200-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 DoubleExponent-PT-200-LTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 4 will run for 280 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 53 rewrites
lola: closed formula file DoubleExponent-PT-200-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 DoubleExponent-PT-200-LTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 306 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: 53 rewrites
lola: closed formula file DoubleExponent-PT-200-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 DoubleExponent-PT-200-LTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 336 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 53 rewrites
lola: closed formula file DoubleExponent-PT-200-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 DoubleExponent-PT-200-LTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 374 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: 53 rewrites
lola: closed formula file DoubleExponent-PT-200-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 DoubleExponent-PT-200-LTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 420 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (TRUE))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (TRUE))
lola: processed formula length: 12
lola: 53 rewrites
lola: closed formula file DoubleExponent-PT-200-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================

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

FORMULA DoubleExponent-PT-200-LTLCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 561 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((p4361 <= p8263))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((p4361 <= p8263))))
lola: processed formula length: 28
lola: 53 rewrites
lola: closed formula file DoubleExponent-PT-200-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 DoubleExponent-PT-200-LTLCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 673 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((p3824 <= p7476) U (1 <= p1149)) U X (X ((3 <= p3682)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((((p3824 <= p7476) U (1 <= p1149)) U X (X ((3 <= p3682)))))
lola: processed formula length: 62
lola: 53 rewrites
lola: closed formula file DoubleExponent-PT-200-LTLCardinality.task
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 25 markings, 25 edges
lola: ========================================

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

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

FORMULA DoubleExponent-PT-200-LTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1683 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((2 <= p9212))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((2 <= p9212))))
lola: processed formula length: 24
lola: 53 rewrites
lola: closed formula file DoubleExponent-PT-200-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 30 markings, 31 edges
lola: ========================================

FORMULA DoubleExponent-PT-200-LTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((p2104 <= p10204))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p2104 <= p10204))))
lola: processed formula length: 29
lola: 53 rewrites
lola: closed formula file DoubleExponent-PT-200-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: 60129 markings, 66462 edges, 12026 markings/sec, 0 secs
lola: 121253 markings, 134106 edges, 12225 markings/sec, 5 secs
lola: 183812 markings, 203276 edges, 12512 markings/sec, 10 secs
lola: 245681 markings, 271721 edges, 12374 markings/sec, 15 secs
lola: 307370 markings, 339945 edges, 12338 markings/sec, 20 secs
lola: 366021 markings, 404851 edges, 11730 markings/sec, 25 secs
lola: 425422 markings, 470540 edges, 11880 markings/sec, 30 secs
lola: 488526 markings, 540365 edges, 12621 markings/sec, 35 secs
lola: 550522 markings, 608970 edges, 12399 markings/sec, 40 secs
lola: 613469 markings, 678560 edges, 12589 markings/sec, 45 secs
lola: 673887 markings, 745419 edges, 12084 markings/sec, 50 secs
lola: 733559 markings, 811393 edges, 11934 markings/sec, 55 secs
lola: 793061 markings, 877236 edges, 11900 markings/sec, 60 secs
lola: 852742 markings, 943240 edges, 11936 markings/sec, 65 secs
lola: 912321 markings, 1009164 edges, 11916 markings/sec, 70 secs
lola: 971787 markings, 1074934 edges, 11893 markings/sec, 75 secs
lola: 1031288 markings, 1140741 edges, 11900 markings/sec, 80 secs
lola: 1090953 markings, 1206789 edges, 11933 markings/sec, 85 secs
lola: 1150518 markings, 1272645 edges, 11913 markings/sec, 90 secs
lola: 1210192 markings, 1338683 edges, 11935 markings/sec, 95 secs
lola: 1270262 markings, 1405104 edges, 12014 markings/sec, 100 secs
lola: 1330918 markings, 1472219 edges, 12131 markings/sec, 105 secs
lola: 1390774 markings, 1538435 edges, 11971 markings/sec, 110 secs
lola: 1453542 markings, 1607858 edges, 12554 markings/sec, 115 secs
lola: 1515822 markings, 1676754 edges, 12456 markings/sec, 120 secs
lola: 1576874 markings, 1744286 edges, 12210 markings/sec, 125 secs
lola: 1638710 markings, 1812710 edges, 12367 markings/sec, 130 secs
lola: 1699979 markings, 1880459 edges, 12254 markings/sec, 135 secs
lola: 1761470 markings, 1948506 edges, 12298 markings/sec, 140 secs
lola: 1823831 markings, 2017517 edges, 12472 markings/sec, 145 secs
lola: 1884937 markings, 2085071 edges, 12221 markings/sec, 150 secs
lola: 1944799 markings, 2151318 edges, 11972 markings/sec, 155 secs
lola: 2005648 markings, 2218621 edges, 12170 markings/sec, 160 secs
lola: 2066901 markings, 2286374 edges, 12251 markings/sec, 165 secs
lola: 2129669 markings, 2355821 edges, 12554 markings/sec, 170 secs
lola: 2192264 markings, 2425055 edges, 12519 markings/sec, 175 secs
lola: 2255497 markings, 2495025 edges, 12647 markings/sec, 180 secs
lola: 2316746 markings, 2562764 edges, 12250 markings/sec, 185 secs
lola: 2376802 markings, 2629107 edges, 12011 markings/sec, 190 secs
lola: 2436515 markings, 2695130 edges, 11943 markings/sec, 195 secs
lola: 2496543 markings, 2761492 edges, 12006 markings/sec, 200 secs
lola: 2557473 markings, 2828874 edges, 12186 markings/sec, 205 secs
lola: 2619264 markings, 2897216 edges, 12358 markings/sec, 210 secs
lola: 2678870 markings, 2963135 edges, 11921 markings/sec, 215 secs
lola: 2738049 markings, 3028608 edges, 11836 markings/sec, 220 secs
lola: 2798859 markings, 3095856 edges, 12162 markings/sec, 225 secs
lola: 2858874 markings, 3162243 edges, 12003 markings/sec, 230 secs
lola: 2918195 markings, 3227856 edges, 11864 markings/sec, 235 secs
lola: 2977566 markings, 3293534 edges, 11874 markings/sec, 240 secs
lola: 3036827 markings, 3359079 edges, 11852 markings/sec, 245 secs
lola: 3096119 markings, 3424670 edges, 11858 markings/sec, 250 secs
lola: 3155440 markings, 3490303 edges, 11864 markings/sec, 255 secs
lola: 3215635 markings, 3556903 edges, 12039 markings/sec, 260 secs
lola: 3275182 markings, 3622758 edges, 11909 markings/sec, 265 secs
lola: 3334751 markings, 3688652 edges, 11914 markings/sec, 270 secs
lola: 3394520 markings, 3754774 edges, 11954 markings/sec, 275 secs
lola: 3453888 markings, 3820452 edges, 11874 markings/sec, 280 secs
lola: 3513200 markings, 3886081 edges, 11862 markings/sec, 285 secs
lola: 3572553 markings, 3951737 edges, 11871 markings/sec, 290 secs
lola: 3631987 markings, 4017498 edges, 11887 markings/sec, 295 secs
lola: 3691285 markings, 4083082 edges, 11860 markings/sec, 300 secs
lola: 3750593 markings, 4148693 edges, 11862 markings/sec, 305 secs
lola: 3809870 markings, 4214261 edges, 11855 markings/sec, 310 secs
lola: 3869318 markings, 4280033 edges, 11890 markings/sec, 315 secs
lola: 3929129 markings, 4346201 edges, 11962 markings/sec, 320 secs
lola: 3988535 markings, 4411929 edges, 11881 markings/sec, 325 secs
lola: 4048694 markings, 4478517 edges, 12032 markings/sec, 330 secs
lola: 4109643 markings, 4545967 edges, 12190 markings/sec, 335 secs
lola: 4170548 markings, 4613309 edges, 12181 markings/sec, 340 secs
lola: 4230489 markings, 4679619 edges, 11988 markings/sec, 345 secs
lola: 4291447 markings, 4747057 edges, 12192 markings/sec, 350 secs
lola: 4351450 markings, 4813447 edges, 12001 markings/sec, 355 secs
lola: 4410868 markings, 4879187 edges, 11884 markings/sec, 360 secs
lola: 4471277 markings, 4946035 edges, 12082 markings/sec, 365 secs
lola: 4532146 markings, 5013362 edges, 12174 markings/sec, 370 secs
lola: 4592420 markings, 5080064 edges, 12055 markings/sec, 375 secs
lola: 4652368 markings, 5146391 edges, 11990 markings/sec, 380 secs
lola: 4711937 markings, 5212334 edges, 11914 markings/sec, 385 secs
lola: 4771417 markings, 5278113 edges, 11896 markings/sec, 390 secs
lola: 4833421 markings, 5346705 edges, 12401 markings/sec, 395 secs
lola: 4897698 markings, 5417811 edges, 12855 markings/sec, 400 secs
lola: 4961971 markings, 5488921 edges, 12855 markings/sec, 405 secs
lola: 5026021 markings, 5559793 edges, 12810 markings/sec, 410 secs
lola: 5088404 markings, 5628821 edges, 12477 markings/sec, 415 secs
lola: 5149299 markings, 5696191 edges, 12179 markings/sec, 420 secs
lola: 5210157 markings, 5763522 edges, 12172 markings/sec, 425 secs
lola: 5270315 markings, 5830098 edges, 12032 markings/sec, 430 secs
lola: 5330449 markings, 5896636 edges, 12027 markings/sec, 435 secs
lola: 5391395 markings, 5964079 edges, 12189 markings/sec, 440 secs
lola: 5452389 markings, 6031577 edges, 12199 markings/sec, 445 secs
lola: 5512985 markings, 6098631 edges, 12119 markings/sec, 450 secs
lola: 5573333 markings, 6165371 edges, 12070 markings/sec, 455 secs
lola: 5633551 markings, 6231987 edges, 12044 markings/sec, 460 secs
lola: 5693950 markings, 6298795 edges, 12080 markings/sec, 465 secs
lola: 5754227 markings, 6365479 edges, 12055 markings/sec, 470 secs
lola: 5814310 markings, 6431970 edges, 12017 markings/sec, 475 secs
lola: 5873978 markings, 6498001 edges, 11934 markings/sec, 480 secs
lola: 5933094 markings, 6563393 edges, 11823 markings/sec, 485 secs
lola: 5994049 markings, 6630868 edges, 12191 markings/sec, 490 secs
lola: 6055025 markings, 6698329 edges, 12195 markings/sec, 495 secs
lola: 6115653 markings, 6765420 edges, 12126 markings/sec, 500 secs
lola: 6176081 markings, 6832279 edges, 12086 markings/sec, 505 secs
lola: 6235846 markings, 6898424 edges, 11953 markings/sec, 510 secs
lola: 6296213 markings, 6965219 edges, 12073 markings/sec, 515 secs
lola: 6356752 markings, 7032204 edges, 12108 markings/sec, 520 secs
lola: 6417349 markings, 7099278 edges, 12119 markings/sec, 525 secs
lola: 6478342 markings, 7166704 edges, 12199 markings/sec, 530 secs
lola: 6538631 markings, 7233409 edges, 12058 markings/sec, 535 secs
lola: 6599056 markings, 7300254 edges, 12085 markings/sec, 540 secs
lola: 6661153 markings, 7368964 edges, 12419 markings/sec, 545 secs
lola: 6720803 markings, 7434951 edges, 11930 markings/sec, 550 secs
lola: 6780516 markings, 7501039 edges, 11943 markings/sec, 555 secs
lola: 6840931 markings, 7567881 edges, 12083 markings/sec, 560 secs
lola: 6901426 markings, 7634834 edges, 12099 markings/sec, 565 secs
lola: 6961828 markings, 7701640 edges, 12080 markings/sec, 570 secs
lola: 7021077 markings, 7767218 edges, 11850 markings/sec, 575 secs
lola: 7080380 markings, 7832839 edges, 11861 markings/sec, 580 secs
lola: 7141297 markings, 7900263 edges, 12183 markings/sec, 585 secs
lola: 7201944 markings, 7967369 edges, 12129 markings/sec, 590 secs
lola: 7262617 markings, 8034508 edges, 12135 markings/sec, 595 secs
lola: 7323383 markings, 8101748 edges, 12153 markings/sec, 600 secs
lola: 7383686 markings, 8168477 edges, 12061 markings/sec, 605 secs
lola: 7444117 markings, 8235352 edges, 12086 markings/sec, 610 secs
lola: 7504191 markings, 8301791 edges, 12015 markings/sec, 615 secs
lola: 7564775 markings, 8368808 edges, 12117 markings/sec, 620 secs
lola: 7625387 markings, 8435856 edges, 12122 markings/sec, 625 secs
lola: 7686098 markings, 8503032 edges, 12142 markings/sec, 630 secs
lola: 7746960 markings, 8570367 edges, 12172 markings/sec, 635 secs
lola: 7807136 markings, 8636933 edges, 12035 markings/sec, 640 secs
lola: 7866248 markings, 8702358 edges, 11822 markings/sec, 645 secs
lola: 7926676 markings, 8769219 edges, 12086 markings/sec, 650 secs
lola: 7987357 markings, 8836369 edges, 12136 markings/sec, 655 secs
lola: 8047952 markings, 8903405 edges, 12119 markings/sec, 660 secs
lola: 8108801 markings, 8970757 edges, 12170 markings/sec, 665 secs
lola: 8170399 markings, 9038921 edges, 12320 markings/sec, 670 secs
lola: 8231527 markings, 9106560 edges, 12226 markings/sec, 675 secs
lola: 8292176 markings, 9173661 edges, 12130 markings/sec, 680 secs
lola: 8352849 markings, 9240809 edges, 12135 markings/sec, 685 secs
lola: 8413603 markings, 9308038 edges, 12151 markings/sec, 690 secs
lola: 8474327 markings, 9375235 edges, 12145 markings/sec, 695 secs
lola: 8535170 markings, 9442555 edges, 12169 markings/sec, 700 secs
lola: 8595431 markings, 9509244 edges, 12052 markings/sec, 705 secs
lola: 8655636 markings, 9575855 edges, 12041 markings/sec, 710 secs
lola: 8715783 markings, 9642381 edges, 12029 markings/sec, 715 secs
lola: 8776560 markings, 9709599 edges, 12155 markings/sec, 720 secs
lola: 8837188 markings, 9776682 edges, 12126 markings/sec, 725 secs
lola: 8897884 markings, 9843834 edges, 12139 markings/sec, 730 secs
lola: 8958552 markings, 9910963 edges, 12134 markings/sec, 735 secs
lola: 9019171 markings, 9978038 edges, 12124 markings/sec, 740 secs
lola: 9079827 markings, 10045151 edges, 12131 markings/sec, 745 secs
lola: 9140398 markings, 10112164 edges, 12114 markings/sec, 750 secs
lola: 9201008 markings, 10179241 edges, 12122 markings/sec, 755 secs
lola: 9261568 markings, 10246265 edges, 12112 markings/sec, 760 secs
lola: 9322237 markings, 10313383 edges, 12134 markings/sec, 765 secs
lola: 9382878 markings, 10380501 edges, 12128 markings/sec, 770 secs
lola: 9442959 markings, 10446983 edges, 12016 markings/sec, 775 secs
lola: 9503057 markings, 10513461 edges, 12020 markings/sec, 780 secs
lola: 9562589 markings, 10579356 edges, 11906 markings/sec, 785 secs
lola: 9622677 markings, 10645836 edges, 12018 markings/sec, 790 secs
lola: 9682278 markings, 10711807 edges, 11920 markings/sec, 795 secs
lola: 9742199 markings, 10778096 edges, 11984 markings/sec, 800 secs
lola: 9801790 markings, 10844051 edges, 11918 markings/sec, 805 secs
lola: 9861805 markings, 10910457 edges, 12003 markings/sec, 810 secs
lola: 9921617 markings, 10976634 edges, 11962 markings/sec, 815 secs
lola: 9981484 markings, 11042883 edges, 11973 markings/sec, 820 secs
lola: 10041064 markings, 11108774 edges, 11916 markings/sec, 825 secs
lola: 10100694 markings, 11174742 edges, 11926 markings/sec, 830 secs
lola: 10160166 markings, 11240533 edges, 11894 markings/sec, 835 secs
lola: 10220151 markings, 11306898 edges, 11997 markings/sec, 840 secs
lola: 10280543 markings, 11373705 edges, 12078 markings/sec, 845 secs
lola: 10339978 markings, 11439478 edges, 11887 markings/sec, 850 secs
lola: 10399044 markings, 11504821 edges, 11813 markings/sec, 855 secs
lola: 10458043 markings, 11570114 edges, 11800 markings/sec, 860 secs
lola: 10517174 markings, 11635552 edges, 11826 markings/sec, 865 secs
lola: 10576205 markings, 11700866 edges, 11806 markings/sec, 870 secs
lola: 10635884 markings, 11766918 edges, 11936 markings/sec, 875 secs
lola: 10696150 markings, 11833602 edges, 12053 markings/sec, 880 secs
lola: 10756563 markings, 11900457 edges, 12083 markings/sec, 885 secs
lola: 10815697 markings, 11965892 edges, 11827 markings/sec, 890 secs
lola: 10874800 markings, 12031293 edges, 11821 markings/sec, 895 secs
lola: 10934029 markings, 12096831 edges, 11846 markings/sec, 900 secs
lola: 10993123 markings, 12162224 edges, 11819 markings/sec, 905 secs
lola: 11052350 markings, 12227771 edges, 11845 markings/sec, 910 secs
lola: 11111493 markings, 12293203 edges, 11829 markings/sec, 915 secs
lola: 11170693 markings, 12358715 edges, 11840 markings/sec, 920 secs
lola: 11229862 markings, 12424180 edges, 11834 markings/sec, 925 secs
lola: 11289111 markings, 12489750 edges, 11850 markings/sec, 930 secs
lola: 11348687 markings, 12555670 edges, 11915 markings/sec, 935 secs
lola: 11408229 markings, 12621556 edges, 11908 markings/sec, 940 secs
lola: 11467821 markings, 12687491 edges, 11918 markings/sec, 945 secs
lola: 11528716 markings, 12754837 edges, 12179 markings/sec, 950 secs
lola: 11589289 markings, 12821851 edges, 12115 markings/sec, 955 secs
lola: 11649744 markings, 12888716 edges, 12091 markings/sec, 960 secs
lola: 11710478 markings, 12955924 edges, 12147 markings/sec, 965 secs
lola: 11771213 markings, 13023125 edges, 12147 markings/sec, 970 secs
lola: 11831622 markings, 13089963 edges, 12082 markings/sec, 975 secs
lola: 11891531 markings, 13156249 edges, 11982 markings/sec, 980 secs
lola: 11951457 markings, 13222566 edges, 11985 markings/sec, 985 secs
lola: 12011201 markings, 13288670 edges, 11949 markings/sec, 990 secs
lola: 12070648 markings, 13354455 edges, 11889 markings/sec, 995 secs
lola: 12129903 markings, 13420026 edges, 11851 markings/sec, 1000 secs
lola: 12188943 markings, 13485325 edges, 11808 markings/sec, 1005 secs
lola: 12248106 markings, 13550805 edges, 11833 markings/sec, 1010 secs
lola: 12307186 markings, 13616199 edges, 11816 markings/sec, 1015 secs
lola: 12367507 markings, 13682943 edges, 12064 markings/sec, 1020 secs
lola: 12428158 markings, 13750051 edges, 12130 markings/sec, 1025 secs
lola: 12488051 markings, 13816316 edges, 11979 markings/sec, 1030 secs
lola: 12548318 markings, 13883027 edges, 12053 markings/sec, 1035 secs
lola: 12608034 markings, 13949075 edges, 11943 markings/sec, 1040 secs
lola: 12667144 markings, 14014500 edges, 11822 markings/sec, 1045 secs
lola: 12727400 markings, 14081187 edges, 12051 markings/sec, 1050 secs
lola: 12786993 markings, 14147137 edges, 11919 markings/sec, 1055 secs
lola: 12846882 markings, 14213387 edges, 11978 markings/sec, 1060 secs
lola: 12906454 markings, 14279320 edges, 11914 markings/sec, 1065 secs
lola: 12966362 markings, 14345568 edges, 11982 markings/sec, 1070 secs
lola: 13026874 markings, 14412542 edges, 12102 markings/sec, 1075 secs
lola: 13086034 markings, 14478020 edges, 11832 markings/sec, 1080 secs
lola: 13145345 markings, 14543634 edges, 11862 markings/sec, 1085 secs
lola: 13204890 markings, 14609496 edges, 11909 markings/sec, 1090 secs
lola: 13264031 markings, 14674922 edges, 11828 markings/sec, 1095 secs
lola: 13324101 markings, 14741379 edges, 12014 markings/sec, 1100 secs
lola: 13384841 markings, 14808587 edges, 12148 markings/sec, 1105 secs
lola: 13445698 markings, 14875907 edges, 12171 markings/sec, 1110 secs
lola: 13506470 markings, 14943160 edges, 12154 markings/sec, 1115 secs
lola: 13567633 markings, 15010832 edges, 12233 markings/sec, 1120 secs
lola: 13628854 markings, 15078574 edges, 12244 markings/sec, 1125 secs
lola: 13689801 markings, 15146016 edges, 12189 markings/sec, 1130 secs
lola: 13750917 markings, 15213621 edges, 12223 markings/sec, 1135 secs
lola: 13812281 markings, 15281560 edges, 12273 markings/sec, 1140 secs
lola: 13874290 markings, 15350178 edges, 12402 markings/sec, 1145 secs
lola: 13935194 markings, 15417569 edges, 12181 markings/sec, 1150 secs
lola: 13996867 markings, 15485794 edges, 12335 markings/sec, 1155 secs
lola: 14057414 markings, 15552814 edges, 12109 markings/sec, 1160 secs
lola: 14118768 markings, 15620688 edges, 12271 markings/sec, 1165 secs
lola: 14180057 markings, 15688529 edges, 12258 markings/sec, 1170 secs
lola: 14241547 markings, 15756554 edges, 12298 markings/sec, 1175 secs
lola: 14302098 markings, 15823550 edges, 12110 markings/sec, 1180 secs
lola: 14363393 markings, 15891391 edges, 12259 markings/sec, 1185 secs
lola: 14425261 markings, 15959831 edges, 12374 markings/sec, 1190 secs
lola: 14486540 markings, 16027655 edges, 12256 markings/sec, 1195 secs
lola: 14546711 markings, 16094227 edges, 12034 markings/sec, 1200 secs
lola: 14606184 markings, 16160012 edges, 11895 markings/sec, 1205 secs
lola: 14666471 markings, 16226730 edges, 12057 markings/sec, 1210 secs
lola: 14727868 markings, 16294708 edges, 12279 markings/sec, 1215 secs
lola: 14788369 markings, 16361639 edges, 12100 markings/sec, 1220 secs
lola: 14847560 markings, 16427129 edges, 11838 markings/sec, 1225 secs
lola: 14908345 markings, 16494356 edges, 12157 markings/sec, 1230 secs
lola: 14968782 markings, 16561227 edges, 12087 markings/sec, 1235 secs
lola: 15029161 markings, 16628015 edges, 12076 markings/sec, 1240 secs
lola: 15089520 markings, 16694789 edges, 12072 markings/sec, 1245 secs
lola: 15150014 markings, 16761722 edges, 12099 markings/sec, 1250 secs
lola: 15210674 markings, 16828843 edges, 12132 markings/sec, 1255 secs
lola: 15271296 markings, 16895908 edges, 12124 markings/sec, 1260 secs
lola: 15332682 markings, 16963835 edges, 12277 markings/sec, 1265 secs
lola: 15393713 markings, 17031373 edges, 12206 markings/sec, 1270 secs
lola: 15454984 markings, 17099178 edges, 12254 markings/sec, 1275 secs
lola: 15514000 markings, 17164465 edges, 11803 markings/sec, 1280 secs
lola: 15573199 markings, 17229991 edges, 11840 markings/sec, 1285 secs
lola: 15632639 markings, 17295764 edges, 11888 markings/sec, 1290 secs
lola: 15693118 markings, 17362695 edges, 12096 markings/sec, 1295 secs
lola: 15755286 markings, 17431464 edges, 12434 markings/sec, 1300 secs
lola: 15816855 markings, 17499610 edges, 12314 markings/sec, 1305 secs
lola: 15876651 markings, 17565777 edges, 11959 markings/sec, 1310 secs
lola: 15936360 markings, 17631860 edges, 11942 markings/sec, 1315 secs
lola: 15995869 markings, 17697703 edges, 11902 markings/sec, 1320 secs
lola: 16054841 markings, 17762940 edges, 11794 markings/sec, 1325 secs
lola: 16114946 markings, 17829474 edges, 12021 markings/sec, 1330 secs
lola: 16173906 markings, 17894706 edges, 11792 markings/sec, 1335 secs
lola: 16232925 markings, 17960014 edges, 11804 markings/sec, 1340 secs
lola: 16292045 markings, 18025424 edges, 11824 markings/sec, 1345 secs
lola: 16351043 markings, 18090717 edges, 11800 markings/sec, 1350 secs
lola: 16410710 markings, 18156745 edges, 11933 markings/sec, 1355 secs
lola: 16469621 markings, 18221909 edges, 11782 markings/sec, 1360 secs
lola: 16528679 markings, 18287285 edges, 11812 markings/sec, 1365 secs
lola: 16588383 markings, 18353336 edges, 11941 markings/sec, 1370 secs
lola: 16647934 markings, 18419210 edges, 11910 markings/sec, 1375 secs
lola: 16710586 markings, 18488505 edges, 12530 markings/sec, 1380 secs
lola: 16772966 markings, 18557583 edges, 12476 markings/sec, 1385 secs
lola: 16835222 markings, 18626465 edges, 12451 markings/sec, 1390 secs
lola: 16897730 markings, 18695614 edges, 12502 markings/sec, 1395 secs
lola: 16960006 markings, 18764496 edges, 12455 markings/sec, 1400 secs
lola: 17020694 markings, 18831618 edges, 12138 markings/sec, 1405 secs
lola: 17079966 markings, 18897193 edges, 11854 markings/sec, 1410 secs
lola: 17139349 markings, 18962909 edges, 11877 markings/sec, 1415 secs
lola: 17199813 markings, 19029806 edges, 12093 markings/sec, 1420 secs
lola: 17259289 markings, 19095620 edges, 11895 markings/sec, 1425 secs
lola: 17319805 markings, 19162574 edges, 12103 markings/sec, 1430 secs
lola: 17379915 markings, 19229094 edges, 12022 markings/sec, 1435 secs
lola: 17438919 markings, 19294355 edges, 11801 markings/sec, 1440 secs
lola: 17498365 markings, 19360154 edges, 11889 markings/sec, 1445 secs
lola: 17558582 markings, 19426785 edges, 12043 markings/sec, 1450 secs
lola: 17619485 markings, 19494178 edges, 12181 markings/sec, 1455 secs
lola: 17680191 markings, 19561358 edges, 12141 markings/sec, 1460 secs
lola: 17738004 markings, 19625323 edges, 11563 markings/sec, 1465 secs
lola: 17797238 markings, 19690890 edges, 11847 markings/sec, 1470 secs
lola: 17856304 markings, 19756238 edges, 11813 markings/sec, 1475 secs
lola: 17915980 markings, 19822264 edges, 11935 markings/sec, 1480 secs
lola: 17975382 markings, 19888019 edges, 11880 markings/sec, 1485 secs
lola: 18034779 markings, 19953747 edges, 11879 markings/sec, 1490 secs
lola: 18094178 markings, 20019468 edges, 11880 markings/sec, 1495 secs
lola: 18153861 markings, 20085501 edges, 11937 markings/sec, 1500 secs
lola: 18213639 markings, 20151618 edges, 11956 markings/sec, 1505 secs
lola: 18272925 markings, 20217256 edges, 11857 markings/sec, 1510 secs
lola: 18332017 markings, 20282653 edges, 11818 markings/sec, 1515 secs
lola: 18391351 markings, 20348297 edges, 11867 markings/sec, 1520 secs
lola: 18450678 markings, 20413948 edges, 11865 markings/sec, 1525 secs
lola: 18510220 markings, 20479792 edges, 11908 markings/sec, 1530 secs
lola: 18569387 markings, 20545284 edges, 11833 markings/sec, 1535 secs
lola: 18628546 markings, 20610770 edges, 11832 markings/sec, 1540 secs
lola: 18687759 markings, 20676278 edges, 11843 markings/sec, 1545 secs
lola: 18746678 markings, 20741458 edges, 11784 markings/sec, 1550 secs
lola: 18805723 markings, 20806797 edges, 11809 markings/sec, 1555 secs
lola: 18864894 markings, 20872279 edges, 11834 markings/sec, 1560 secs
lola: 18923959 markings, 20937630 edges, 11813 markings/sec, 1565 secs
lola: 18983272 markings, 21003222 edges, 11863 markings/sec, 1570 secs
lola: 19042568 markings, 21068854 edges, 11859 markings/sec, 1575 secs
lola: 19102460 markings, 21135100 edges, 11978 markings/sec, 1580 secs
lola: 19163058 markings, 21202136 edges, 12120 markings/sec, 1585 secs
lola: 19224456 markings, 21270068 edges, 12280 markings/sec, 1590 secs
lola: 19284841 markings, 21336871 edges, 12077 markings/sec, 1595 secs
lola: 19345631 markings, 21404124 edges, 12158 markings/sec, 1600 secs
lola: 19405896 markings, 21470816 edges, 12053 markings/sec, 1605 secs
lola: 19465417 markings, 21536688 edges, 11904 markings/sec, 1610 secs
lola: 19524870 markings, 21602458 edges, 11891 markings/sec, 1615 secs
lola: 19583745 markings, 21667610 edges, 11775 markings/sec, 1620 secs
lola: 19642716 markings, 21732886 edges, 11794 markings/sec, 1625 secs
lola: 19702049 markings, 21798526 edges, 11867 markings/sec, 1630 secs
lola: 19761208 markings, 21863991 edges, 11832 markings/sec, 1635 secs
lola: 19821349 markings, 21930532 edges, 12028 markings/sec, 1640 secs
lola: 19881711 markings, 21997342 edges, 12072 markings/sec, 1645 secs
lola: 19940851 markings, 22062787 edges, 11828 markings/sec, 1650 secs
lola: 19999814 markings, 22128027 edges, 11793 markings/sec, 1655 secs
lola: 20058948 markings, 22193460 edges, 11827 markings/sec, 1660 secs
lola: 20118059 markings, 22258869 edges, 11822 markings/sec, 1665 secs
lola: 20177132 markings, 22324215 edges, 11815 markings/sec, 1670 secs
lola: 20236346 markings, 22389747 edges, 11843 markings/sec, 1675 secs
lola: 20295346 markings, 22455034 edges, 11800 markings/sec, 1680 secs
lola: 20354297 markings, 22520281 edges, 11790 markings/sec, 1685 secs
lola: 20413362 markings, 22585627 edges, 11813 markings/sec, 1690 secs
lola: 20472534 markings, 22651104 edges, 11834 markings/sec, 1695 secs
lola: 20532382 markings, 22717331 edges, 11970 markings/sec, 1700 secs
lola: 20592535 markings, 22783903 edges, 12031 markings/sec, 1705 secs
lola: 20652981 markings, 22850788 edges, 12089 markings/sec, 1710 secs
lola: 20713530 markings, 22917774 edges, 12110 markings/sec, 1715 secs
lola: 20773551 markings, 22984186 edges, 12004 markings/sec, 1720 secs
lola: 20835338 markings, 23052553 edges, 12357 markings/sec, 1725 secs
lola: 20896595 markings, 23120339 edges, 12251 markings/sec, 1730 secs
lola: 20956462 markings, 23186534 edges, 11973 markings/sec, 1735 secs
lola: 21016357 markings, 23252853 edges, 11979 markings/sec, 1740 secs
lola: 21077127 markings, 23320106 edges, 12154 markings/sec, 1745 secs
lola: 21137826 markings, 23387216 edges, 12140 markings/sec, 1750 secs
lola: 21198687 markings, 23454596 edges, 12172 markings/sec, 1755 secs
lola: 21259207 markings, 23521584 edges, 12104 markings/sec, 1760 secs
lola: 21319035 markings, 23587735 edges, 11966 markings/sec, 1765 secs
lola: 21379279 markings, 23654397 edges, 12049 markings/sec, 1770 secs
lola: 21438722 markings, 23720154 edges, 11889 markings/sec, 1775 secs
lola: 21498102 markings, 23785844 edges, 11876 markings/sec, 1780 secs
lola: 21557159 markings, 23851184 edges, 11811 markings/sec, 1785 secs
lola: 21616258 markings, 23916578 edges, 11820 markings/sec, 1790 secs
lola: 21675250 markings, 23981844 edges, 11798 markings/sec, 1795 secs
lola: 21734351 markings, 24047241 edges, 11820 markings/sec, 1800 secs
lola: 21793408 markings, 24112572 edges, 11811 markings/sec, 1805 secs
lola: 21852923 markings, 24178431 edges, 11903 markings/sec, 1810 secs
lola: 21912377 markings, 24244239 edges, 11891 markings/sec, 1815 secs
lola: 21971890 markings, 24310088 edges, 11903 markings/sec, 1820 secs
lola: 22031770 markings, 24376340 edges, 11976 markings/sec, 1825 secs
lola: 22091461 markings, 24442390 edges, 11938 markings/sec, 1830 secs
lola: 22150821 markings, 24508084 edges, 11872 markings/sec, 1835 secs
lola: 22210897 markings, 24574565 edges, 12015 markings/sec, 1840 secs
lola: 22271789 markings, 24641936 edges, 12178 markings/sec, 1845 secs
lola: 22332473 markings, 24709094 edges, 12137 markings/sec, 1850 secs
lola: 22393402 markings, 24776515 edges, 12186 markings/sec, 1855 secs
lola: 22453880 markings, 24843421 edges, 12096 markings/sec, 1860 secs
lola: 22513113 markings, 24908974 edges, 11847 markings/sec, 1865 secs
lola: 22572405 markings, 24974589 edges, 11858 markings/sec, 1870 secs
lola: 22632631 markings, 25041246 edges, 12045 markings/sec, 1875 secs
lola: 22693027 markings, 25108061 edges, 12079 markings/sec, 1880 secs
lola: 22752350 markings, 25173714 edges, 11865 markings/sec, 1885 secs
lola: 22813283 markings, 25241096 edges, 12187 markings/sec, 1890 secs
lola: 22873540 markings, 25307807 edges, 12051 markings/sec, 1895 secs
lola: 22935059 markings, 25375892 edges, 12304 markings/sec, 1900 secs
lola: 22995549 markings, 25442815 edges, 12098 markings/sec, 1905 secs
lola: 23055642 markings, 25509309 edges, 12019 markings/sec, 1910 secs
lola: 23115739 markings, 25575767 edges, 12019 markings/sec, 1915 secs
lola: 23175566 markings, 25641999 edges, 11965 markings/sec, 1920 secs
lola: 23235249 markings, 25708036 edges, 11937 markings/sec, 1925 secs
lola: 23295079 markings, 25774255 edges, 11966 markings/sec, 1930 secs
lola: 23354399 markings, 25839881 edges, 11864 markings/sec, 1935 secs
lola: 23414472 markings, 25906372 edges, 12015 markings/sec, 1940 secs
lola: 23474452 markings, 25972725 edges, 11996 markings/sec, 1945 secs
lola: 23533667 markings, 26038249 edges, 11843 markings/sec, 1950 secs
lola: 23593330 markings, 26104258 edges, 11933 markings/sec, 1955 secs
lola: 23653245 markings, 26170567 edges, 11983 markings/sec, 1960 secs
lola: 23712755 markings, 26236412 edges, 11902 markings/sec, 1965 secs
lola: 23772426 markings, 26302433 edges, 11934 markings/sec, 1970 secs
lola: 23831822 markings, 26368122 edges, 11879 markings/sec, 1975 secs
lola: 23891148 markings, 26433768 edges, 11865 markings/sec, 1980 secs
lola: 23951316 markings, 26500335 edges, 12034 markings/sec, 1985 secs
lola: 24012337 markings, 26567834 edges, 12204 markings/sec, 1990 secs
lola: 24071424 markings, 26633207 edges, 11817 markings/sec, 1995 secs
lola: 24130674 markings, 26698764 edges, 11850 markings/sec, 2000 secs
lola: 24189989 markings, 26764400 edges, 11863 markings/sec, 2005 secs
lola: 24249263 markings, 26829982 edges, 11855 markings/sec, 2010 secs
lola: 24308210 markings, 26895211 edges, 11789 markings/sec, 2015 secs
lola: 24367618 markings, 26960933 edges, 11882 markings/sec, 2020 secs
lola: 24426734 markings, 27026350 edges, 11823 markings/sec, 2025 secs
lola: 24486048 markings, 27091999 edges, 11863 markings/sec, 2030 secs
lola: 24545843 markings, 27158150 edges, 11959 markings/sec, 2035 secs
lola: 24605899 markings, 27224615 edges, 12011 markings/sec, 2040 secs
lola: 24664931 markings, 27289943 edges, 11806 markings/sec, 2045 secs
lola: 24723874 markings, 27355169 edges, 11789 markings/sec, 2050 secs
lola: 24786279 markings, 27424221 edges, 12481 markings/sec, 2055 secs
lola: 24845363 markings, 27489596 edges, 11817 markings/sec, 2060 secs
lola: 24904642 markings, 27555200 edges, 11856 markings/sec, 2065 secs
lola: 24963879 markings, 27620745 edges, 11847 markings/sec, 2070 secs
lola: 25023113 markings, 27686296 edges, 11847 markings/sec, 2075 secs
lola: 25082440 markings, 27751927 edges, 11865 markings/sec, 2080 secs
lola: 25141676 markings, 27817475 edges, 11847 markings/sec, 2085 secs
lola: 25200953 markings, 27883075 edges, 11855 markings/sec, 2090 secs
lola: 25260196 markings, 27948634 edges, 11849 markings/sec, 2095 secs
lola: 25319457 markings, 28014208 edges, 11852 markings/sec, 2100 secs
lola: 25378766 markings, 28079834 edges, 11862 markings/sec, 2105 secs
lola: 25438001 markings, 28145381 edges, 11847 markings/sec, 2110 secs
lola: 25497351 markings, 28211045 edges, 11870 markings/sec, 2115 secs
lola: 25556590 markings, 28276592 edges, 11848 markings/sec, 2120 secs
lola: 25615848 markings, 28342180 edges, 11852 markings/sec, 2125 secs
lola: 25675233 markings, 28407875 edges, 11877 markings/sec, 2130 secs
lola: 25734491 markings, 28473432 edges, 11852 markings/sec, 2135 secs
lola: 25794539 markings, 28539849 edges, 12010 markings/sec, 2140 secs
lola: 25854906 markings, 28606686 edges, 12073 markings/sec, 2145 secs
lola: 25914595 markings, 28672735 edges, 11938 markings/sec, 2150 secs
lola: 25974061 markings, 28738490 edges, 11893 markings/sec, 2155 secs
lola: 26033686 markings, 28804494 edges, 11925 markings/sec, 2160 secs
lola: 26093035 markings, 28870184 edges, 11870 markings/sec, 2165 secs
lola: 26152571 markings, 28936001 edges, 11907 markings/sec, 2170 secs
lola: 26212185 markings, 29002021 edges, 11923 markings/sec, 2175 secs
lola: 26271539 markings, 29067702 edges, 11871 markings/sec, 2180 secs
lola: 26330987 markings, 29133433 edges, 11890 markings/sec, 2185 secs
lola: 26390497 markings, 29199320 edges, 11902 markings/sec, 2190 secs
lola: 26449843 markings, 29264994 edges, 11869 markings/sec, 2195 secs
lola: 26509318 markings, 29330761 edges, 11895 markings/sec, 2200 secs
lola: 26569092 markings, 29396899 edges, 11955 markings/sec, 2205 secs
lola: 26628649 markings, 29462805 edges, 11911 markings/sec, 2210 secs
lola: 26688380 markings, 29528886 edges, 11946 markings/sec, 2215 secs
lola: 26749086 markings, 29596041 edges, 12141 markings/sec, 2220 secs
lola: 26809062 markings, 29662391 edges, 11995 markings/sec, 2225 secs
lola: 26868657 markings, 29728339 edges, 11919 markings/sec, 2230 secs
lola: 26928695 markings, 29794757 edges, 12008 markings/sec, 2235 secs
lola: 26989076 markings, 29861577 edges, 12076 markings/sec, 2240 secs
lola: 27049342 markings, 29928259 edges, 12053 markings/sec, 2245 secs
lola: 27108664 markings, 29993905 edges, 11864 markings/sec, 2250 secs
lola: 27168479 markings, 30060097 edges, 11963 markings/sec, 2255 secs
lola: 27228683 markings, 30126707 edges, 12041 markings/sec, 2260 secs
lola: 27288625 markings, 30193046 edges, 11988 markings/sec, 2265 secs
lola: 27348705 markings, 30259542 edges, 12016 markings/sec, 2270 secs
lola: 27408464 markings, 30325653 edges, 11952 markings/sec, 2275 secs
lola: 27468443 markings, 30392033 edges, 11996 markings/sec, 2280 secs
lola: 27528336 markings, 30458301 edges, 11979 markings/sec, 2285 secs
lola: 27588156 markings, 30524502 edges, 11964 markings/sec, 2290 secs
lola: 27648201 markings, 30590941 edges, 12009 markings/sec, 2295 secs
lola: 27707894 markings, 30656994 edges, 11939 markings/sec, 2300 secs
lola: 27768093 markings, 30723584 edges, 12040 markings/sec, 2305 secs
lola: 27827977 markings, 30789863 edges, 11977 markings/sec, 2310 secs
lola: 27887774 markings, 30856044 edges, 11959 markings/sec, 2315 secs
lola: 27948060 markings, 30922743 edges, 12057 markings/sec, 2320 secs
lola: 28007800 markings, 30988842 edges, 11948 markings/sec, 2325 secs
lola: 28067807 markings, 31055257 edges, 12001 markings/sec, 2330 secs
lola: 28127775 markings, 31121603 edges, 11994 markings/sec, 2335 secs
lola: 28187718 markings, 31187927 edges, 11989 markings/sec, 2340 secs
lola: 28248273 markings, 31254925 edges, 12111 markings/sec, 2345 secs
lola: 28310010 markings, 31323248 edges, 12347 markings/sec, 2350 secs
lola: 28371685 markings, 31391451 edges, 12335 markings/sec, 2355 secs
lola: 28432559 markings, 31458841 edges, 12175 markings/sec, 2360 secs
lola: 28491867 markings, 31524479 edges, 11862 markings/sec, 2365 secs
lola: 28551850 markings, 31590848 edges, 11997 markings/sec, 2370 secs
lola: 28611559 markings, 31656916 edges, 11942 markings/sec, 2375 secs
lola: 28671576 markings, 31723312 edges, 12003 markings/sec, 2380 secs
lola: 28731755 markings, 31789906 edges, 12036 markings/sec, 2385 secs
lola: 28791900 markings, 31856464 edges, 12029 markings/sec, 2390 secs
lola: 28851987 markings, 31922958 edges, 12017 markings/sec, 2395 secs
lola: 28911647 markings, 31988967 edges, 11932 markings/sec, 2400 secs
lola: 28971028 markings, 32054674 edges, 11876 markings/sec, 2405 secs
lola: 29031268 markings, 32121323 edges, 12048 markings/sec, 2410 secs
lola: 29090300 markings, 32186595 edges, 11806 markings/sec, 2415 secs
lola: 29149352 markings, 32251990 edges, 11810 markings/sec, 2420 secs
lola: 29209911 markings, 32319001 edges, 12112 markings/sec, 2425 secs
lola: 29270778 markings, 32386300 edges, 12173 markings/sec, 2430 secs
lola: 29331111 markings, 32453101 edges, 12067 markings/sec, 2435 secs
lola: 29391342 markings, 32519761 edges, 12046 markings/sec, 2440 secs
lola: 29451005 markings, 32585789 edges, 11933 markings/sec, 2445 secs
lola: 29511190 markings, 32652333 edges, 12037 markings/sec, 2450 secs
lola: 29571232 markings, 32718798 edges, 12008 markings/sec, 2455 secs
lola: 29632258 markings, 32786296 edges, 12205 markings/sec, 2460 secs
lola: 29692274 markings, 32852685 edges, 12003 markings/sec, 2465 secs
lola: 29752172 markings, 32918961 edges, 11980 markings/sec, 2470 secs
lola: 29811430 markings, 32984508 edges, 11852 markings/sec, 2475 secs
lola: 29870804 markings, 33050214 edges, 11875 markings/sec, 2480 secs
lola: 29930248 markings, 33115989 edges, 11889 markings/sec, 2485 secs
lola: 29989914 markings, 33182001 edges, 11933 markings/sec, 2490 secs
lola: 30049723 markings, 33248193 edges, 11962 markings/sec, 2495 secs
lola: 30109053 markings, 33313832 edges, 11866 markings/sec, 2500 secs
lola: 30168642 markings, 33379788 edges, 11918 markings/sec, 2505 secs
lola: 30228098 markings, 33445562 edges, 11891 markings/sec, 2510 secs
lola: 30287477 markings, 33511287 edges, 11876 markings/sec, 2515 secs
lola: 30346848 markings, 33576976 edges, 11874 markings/sec, 2520 secs
lola: 30406304 markings, 33642774 edges, 11891 markings/sec, 2525 secs
lola: 30465741 markings, 33708544 edges, 11887 markings/sec, 2530 secs
lola: 30524981 markings, 33774079 edges, 11848 markings/sec, 2535 secs
lola: 30584252 markings, 33839688 edges, 11854 markings/sec, 2540 secs
lola: 30644654 markings, 33906520 edges, 12080 markings/sec, 2545 secs
lola: 30704352 markings, 33972576 edges, 11940 markings/sec, 2550 secs
lola: 30764468 markings, 34039086 edges, 12023 markings/sec, 2555 secs
lola: 30823728 markings, 34104673 edges, 11852 markings/sec, 2560 secs
lola: 30883085 markings, 34170317 edges, 11871 markings/sec, 2565 secs
lola: 30942596 markings, 34236205 edges, 11902 markings/sec, 2570 secs
lola: 31001931 markings, 34301866 edges, 11867 markings/sec, 2575 secs
lola: 31061310 markings, 34367559 edges, 11876 markings/sec, 2580 secs
lola: 31120588 markings, 34433132 edges, 11856 markings/sec, 2585 secs
lola: 31180214 markings, 34499095 edges, 11925 markings/sec, 2590 secs
lola: 31239990 markings, 34565278 edges, 11955 markings/sec, 2595 secs
lola: 31299901 markings, 34631568 edges, 11982 markings/sec, 2600 secs
lola: 31359776 markings, 34697803 edges, 11975 markings/sec, 2605 secs
lola: 31419530 markings, 34763945 edges, 11951 markings/sec, 2610 secs
lola: 31479543 markings, 34830356 edges, 12003 markings/sec, 2615 secs
lola: 31539623 markings, 34896810 edges, 12016 markings/sec, 2620 secs
lola: 31599593 markings, 34963165 edges, 11994 markings/sec, 2625 secs
lola: 31659717 markings, 35029667 edges, 12025 markings/sec, 2630 secs
lola: 31718454 markings, 35094701 edges, 11747 markings/sec, 2635 secs
lola: 31778675 markings, 35161343 edges, 12044 markings/sec, 2640 secs
lola: 31838398 markings, 35227378 edges, 11945 markings/sec, 2645 secs
lola: 31864061 markings, 35255766 edges, 5133 markings/sec, 2650 secs
lola: 31865543 markings, 35257434 edges, 296 markings/sec, 2655 secs
lola: 31869242 markings, 35261550 edges, 740 markings/sec, 2660 secs
lola: 31869529 markings, 35261873 edges, 57 markings/sec, 2665 secs
lola: 31880534 markings, 35274047 edges, 2201 markings/sec, 2670 secs
lola: 31884419 markings, 35278335 edges, 777 markings/sec, 2675 secs
lola: 31885885 markings, 35279962 edges, 293 markings/sec, 2680 secs
lola: 31886770 markings, 35280942 edges, 177 markings/sec, 2685 secs
lola: 31887487 markings, 35281731 edges, 143 markings/sec, 2690 secs
lola: 31888632 markings, 35282997 edges, 229 markings/sec, 2695 secs
lola: 31890907 markings, 35285516 edges, 455 markings/sec, 2700 secs
lola: 31892168 markings, 35286918 edges, 252 markings/sec, 2705 secs
lola: 31892955 markings, 35287789 edges, 157 markings/sec, 2710 secs
lola: 31893920 markings, 35288848 edges, 193 markings/sec, 2715 secs
lola: 31895602 markings, 35290710 edges, 336 markings/sec, 2720 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (F ((p2104 <= p10204))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p2104 <= p10204))))
lola: processed formula length: 29
lola: 53 rewrites
lola: closed formula file DoubleExponent-PT-200-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: 62526 markings, 69120 edges, 12505 markings/sec, 0 secs
lola: 125907 markings, 139246 edges, 12676 markings/sec, 5 secs
lola: 187679 markings, 207547 edges, 12354 markings/sec, 10 secs
lola: 248050 markings, 274354 edges, 12074 markings/sec, 15 secs
lola: 308575 markings, 341270 edges, 12105 markings/sec, 20 secs
lola: 372995 markings, 412573 edges, 12884 markings/sec, 25 secs
lola: 437566 markings, 483961 edges, 12914 markings/sec, 30 secs
lola: 501647 markings, 554885 edges, 12816 markings/sec, 35 secs
lola: 566323 markings, 626405 edges, 12935 markings/sec, 40 secs
lola: 631068 markings, 698042 edges, 12949 markings/sec, 45 secs
lola: 695762 markings, 769583 edges, 12939 markings/sec, 50 secs
lola: 760261 markings, 840934 edges, 12900 markings/sec, 55 secs
lola: 821474 markings, 908678 edges, 12243 markings/sec, 60 secs
lola: 882329 markings, 975966 edges, 12171 markings/sec, 65 secs
lola: 943086 markings, 1043194 edges, 12151 markings/sec, 70 secs
lola: 1003872 markings, 1110414 edges, 12157 markings/sec, 75 secs
lola: 1065000 markings, 1178050 edges, 12226 markings/sec, 80 secs
lola: 1126400 markings, 1245958 edges, 12280 markings/sec, 85 secs
lola: 1187572 markings, 1313629 edges, 12234 markings/sec, 90 secs
lola: 1248847 markings, 1381433 edges, 12255 markings/sec, 95 secs
lola: 1310010 markings, 1449072 edges, 12233 markings/sec, 100 secs
lola: 1371218 markings, 1516822 edges, 12242 markings/sec, 105 secs
lola: 1432621 markings, 1584709 edges, 12281 markings/sec, 110 secs
lola: 1493460 markings, 1652033 edges, 12168 markings/sec, 115 secs
lola: 1553796 markings, 1718750 edges, 12067 markings/sec, 120 secs
lola: 1614221 markings, 1785603 edges, 12085 markings/sec, 125 secs
lola: 1674250 markings, 1852041 edges, 12006 markings/sec, 130 secs
lola: 1734725 markings, 1918900 edges, 12095 markings/sec, 135 secs
lola: 1795774 markings, 1986463 edges, 12210 markings/sec, 140 secs
lola: 1859048 markings, 2056416 edges, 12655 markings/sec, 145 secs
lola: 1921118 markings, 2125115 edges, 12414 markings/sec, 150 secs
lola: 1981412 markings, 2191843 edges, 12059 markings/sec, 155 secs
lola: 2041023 markings, 2257743 edges, 11922 markings/sec, 160 secs
lola: 2100614 markings, 2323697 edges, 11918 markings/sec, 165 secs
lola: 2163168 markings, 2392876 edges, 12511 markings/sec, 170 secs
lola: 2225933 markings, 2462310 edges, 12553 markings/sec, 175 secs
lola: 2288999 markings, 2532085 edges, 12613 markings/sec, 180 secs
lola: 2351284 markings, 2600905 edges, 12457 markings/sec, 185 secs
lola: 2414023 markings, 2670257 edges, 12548 markings/sec, 190 secs
lola: 2476615 markings, 2739458 edges, 12518 markings/sec, 195 secs
lola: 2538761 markings, 2808175 edges, 12429 markings/sec, 200 secs
lola: 2601588 markings, 2877676 edges, 12565 markings/sec, 205 secs
lola: 2664010 markings, 2946703 edges, 12484 markings/sec, 210 secs
lola: 2726667 markings, 3016013 edges, 12531 markings/sec, 215 secs
lola: 2788613 markings, 3084519 edges, 12389 markings/sec, 220 secs
lola: 2849840 markings, 3152247 edges, 12245 markings/sec, 225 secs
lola: 2910928 markings, 3219820 edges, 12218 markings/sec, 230 secs
lola: 2973427 markings, 3288962 edges, 12500 markings/sec, 235 secs
lola: 3035963 markings, 3358121 edges, 12507 markings/sec, 240 secs
lola: 3098193 markings, 3426961 edges, 12446 markings/sec, 245 secs
lola: 3159039 markings, 3494276 edges, 12169 markings/sec, 250 secs
lola: 3219558 markings, 3561241 edges, 12104 markings/sec, 255 secs
lola: 3280842 markings, 3629009 edges, 12257 markings/sec, 260 secs
lola: 3342740 markings, 3697478 edges, 12380 markings/sec, 265 secs
lola: 3405387 markings, 3766787 edges, 12529 markings/sec, 270 secs
lola: 3468144 markings, 3836226 edges, 12551 markings/sec, 275 secs
lola: 3531063 markings, 3905836 edges, 12584 markings/sec, 280 secs
lola: 3593486 markings, 3974895 edges, 12485 markings/sec, 285 secs
lola: 3653189 markings, 4040944 edges, 11941 markings/sec, 290 secs
lola: 3712279 markings, 4106304 edges, 11818 markings/sec, 295 secs
lola: 3771388 markings, 4171694 edges, 11822 markings/sec, 300 secs
lola: 3832748 markings, 4239582 edges, 12272 markings/sec, 305 secs
lola: 3893803 markings, 4307129 edges, 12211 markings/sec, 310 secs
lola: 3954655 markings, 4374452 edges, 12170 markings/sec, 315 secs
lola: 4015297 markings, 4441551 edges, 12128 markings/sec, 320 secs
lola: 4075931 markings, 4508649 edges, 12127 markings/sec, 325 secs
lola: 4137101 markings, 4576316 edges, 12234 markings/sec, 330 secs
lola: 4200177 markings, 4646089 edges, 12615 markings/sec, 335 secs
lola: 4260831 markings, 4713185 edges, 12131 markings/sec, 340 secs
lola: 4321552 markings, 4780362 edges, 12144 markings/sec, 345 secs
lola: 4383480 markings, 4848881 edges, 12386 markings/sec, 350 secs
lola: 4443636 markings, 4915431 edges, 12031 markings/sec, 355 secs
lola: 4503896 markings, 4982120 edges, 12052 markings/sec, 360 secs
lola: 4564327 markings, 5048992 edges, 12086 markings/sec, 365 secs
lola: 4625163 markings, 5116305 edges, 12167 markings/sec, 370 secs
lola: 4686189 markings, 5183813 edges, 12205 markings/sec, 375 secs
lola: 4747292 markings, 5251442 edges, 12221 markings/sec, 380 secs
lola: 4807946 markings, 5318526 edges, 12131 markings/sec, 385 secs
lola: 4868609 markings, 5385636 edges, 12133 markings/sec, 390 secs
lola: 4929289 markings, 5452747 edges, 12136 markings/sec, 395 secs
lola: 4989742 markings, 5519650 edges, 12091 markings/sec, 400 secs
lola: 5050356 markings, 5586706 edges, 12123 markings/sec, 405 secs
lola: 5110908 markings, 5653704 edges, 12110 markings/sec, 410 secs
lola: 5171492 markings, 5720747 edges, 12117 markings/sec, 415 secs
lola: 5234135 markings, 5790070 edges, 12529 markings/sec, 420 secs
lola: 5294882 markings, 5857286 edges, 12149 markings/sec, 425 secs
lola: 5355781 markings, 5924680 edges, 12180 markings/sec, 430 secs
lola: 5416117 markings, 5991442 edges, 12067 markings/sec, 435 secs
lola: 5477303 markings, 6059125 edges, 12237 markings/sec, 440 secs
lola: 5537114 markings, 6125310 edges, 11962 markings/sec, 445 secs
lola: 5597429 markings, 6192015 edges, 12063 markings/sec, 450 secs
lola: 5656774 markings, 6257678 edges, 11869 markings/sec, 455 secs
lola: 5715849 markings, 6323037 edges, 11815 markings/sec, 460 secs
lola: 5774760 markings, 6388221 edges, 11782 markings/sec, 465 secs
lola: 5833731 markings, 6453468 edges, 11794 markings/sec, 470 secs
lola: 5892790 markings, 6518805 edges, 11812 markings/sec, 475 secs
lola: 5951793 markings, 6584096 edges, 11801 markings/sec, 480 secs
lola: 6010868 markings, 6649467 edges, 11815 markings/sec, 485 secs
lola: 6069849 markings, 6714714 edges, 11796 markings/sec, 490 secs
lola: 6129058 markings, 6780240 edges, 11842 markings/sec, 495 secs
lola: 6188228 markings, 6845711 edges, 11834 markings/sec, 500 secs
lola: 6247350 markings, 6911130 edges, 11824 markings/sec, 505 secs
lola: 6306563 markings, 6976662 edges, 11843 markings/sec, 510 secs
lola: 6366099 markings, 7042529 edges, 11907 markings/sec, 515 secs
lola: 6425878 markings, 7108700 edges, 11956 markings/sec, 520 secs
lola: 6486072 markings, 7175263 edges, 12039 markings/sec, 525 secs
lola: 6545575 markings, 7241095 edges, 11901 markings/sec, 530 secs
lola: 6605563 markings, 7307462 edges, 11998 markings/sec, 535 secs
lola: 6666224 markings, 7374560 edges, 12132 markings/sec, 540 secs
lola: 6727039 markings, 7441852 edges, 12163 markings/sec, 545 secs
lola: 6787775 markings, 7509046 edges, 12147 markings/sec, 550 secs
lola: 6847256 markings, 7574872 edges, 11896 markings/sec, 555 secs
lola: 6906691 markings, 7640654 edges, 11887 markings/sec, 560 secs
lola: 6966950 markings, 7707329 edges, 12052 markings/sec, 565 secs
lola: 7027000 markings, 7773773 edges, 12010 markings/sec, 570 secs
lola: 7087215 markings, 7840406 edges, 12043 markings/sec, 575 secs
lola: 7147536 markings, 7907157 edges, 12064 markings/sec, 580 secs
lola: 7208506 markings, 7974618 edges, 12194 markings/sec, 585 secs
lola: 7269764 markings, 8042407 edges, 12252 markings/sec, 590 secs
lola: 7329696 markings, 8108735 edges, 11986 markings/sec, 595 secs
lola: 7388763 markings, 8174092 edges, 11813 markings/sec, 600 secs
lola: 7447937 markings, 8239569 edges, 11835 markings/sec, 605 secs
lola: 7507370 markings, 8305311 edges, 11887 markings/sec, 610 secs
lola: 7567586 markings, 8371902 edges, 12043 markings/sec, 615 secs
lola: 7627301 markings, 8437979 edges, 11943 markings/sec, 620 secs
lola: 7686716 markings, 8503707 edges, 11883 markings/sec, 625 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes no no yes yes no no no yes no no no no no yes
lola:
preliminary result: unknown yes no no yes yes no no no yes no no no no no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no no yes yes no no no yes no no no no no yes
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown yes no no yes yes no no no yes no no no no no yes
lola:
preliminary result: unknown yes no no yes yes no no no yes no no no no no yes
lola: memory consumption: 31464 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 31464 KB
lola: time consumption: 3569 seconds

BK_STOP 1527789908396

--------------------
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="DoubleExponent-PT-200"
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/DoubleExponent-PT-200.tgz
mv DoubleExponent-PT-200 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 DoubleExponent-PT-200, 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 r280-csrt-152749169700248"
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 ;