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

About the Execution of LoLA for DLCflexbar-PT-6a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2038.460 3570553.00 3621060.00 8254.50 TTTTTTTTFT?TTFTF 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 4.4M
-rw-r--r-- 1 mcc users 3.6K May 30 00:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 30 00:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 28 21:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 28 21:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 28 09:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 28 07:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.9K May 28 07:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.3K May 27 12:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 27 12:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 107 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 345 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 26 14:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 26 14:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 3 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 4.2M May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCflexbar-PT-6a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145700435

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

--------------------
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 DLCflexbar-PT-6a-CTLCardinality-00
FORMULA_NAME DLCflexbar-PT-6a-CTLCardinality-01
FORMULA_NAME DLCflexbar-PT-6a-CTLCardinality-02
FORMULA_NAME DLCflexbar-PT-6a-CTLCardinality-03
FORMULA_NAME DLCflexbar-PT-6a-CTLCardinality-04
FORMULA_NAME DLCflexbar-PT-6a-CTLCardinality-05
FORMULA_NAME DLCflexbar-PT-6a-CTLCardinality-06
FORMULA_NAME DLCflexbar-PT-6a-CTLCardinality-07
FORMULA_NAME DLCflexbar-PT-6a-CTLCardinality-08
FORMULA_NAME DLCflexbar-PT-6a-CTLCardinality-09
FORMULA_NAME DLCflexbar-PT-6a-CTLCardinality-10
FORMULA_NAME DLCflexbar-PT-6a-CTLCardinality-11
FORMULA_NAME DLCflexbar-PT-6a-CTLCardinality-12
FORMULA_NAME DLCflexbar-PT-6a-CTLCardinality-13
FORMULA_NAME DLCflexbar-PT-6a-CTLCardinality-14
FORMULA_NAME DLCflexbar-PT-6a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1528124983646

info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCflexbar-PT-6a 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 DLCflexbar-PT-6a formula CTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLCardinality @ DLCflexbar-PT-6a @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 18146/65536 symbol table entries, 6487 collisions
lola: preprocessing...
lola: Size of bit vector: 2069
lola: finding significant places
lola: 2069 places, 16077 transitions, 577 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 14110 transition conflict sets
lola: TASK
lola: reading formula from DLCflexbar-PT-6a-CTLCardinality.task
lola: LP says that atomic proposition is always false: (3 <= p840)
lola: LP says that atomic proposition is always false: (3 <= p2060)
lola: LP says that atomic proposition is always true: (p648 <= p1534)
lola: place invariant simplifies atomic proposition
lola: before: (p1700 <= p778)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (p1531 <= p2036)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (p1948 <= p1193)
lola: after: (0 <= 0)
lola: always true
lola: LP says that atomic proposition is always false: (2 <= p884)
lola: place invariant simplifies atomic proposition
lola: before: (p1511 <= p913)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (p1552 <= p1021)
lola: after: (0 <= 0)
lola: always true
lola: LP says that atomic proposition is always false: (3 <= p1529)
lola: place invariant simplifies atomic proposition
lola: before: (p1226 <= p764)
lola: after: (0 <= 0)
lola: always true
lola: LP says that atomic proposition is always false: (2 <= p372)
lola: LP says that atomic proposition is always false: (2 <= p367)
lola: LP says that atomic proposition is always false: (3 <= p1641)
lola: LP says that atomic proposition is always true: (p259 <= p1159)
lola: LP says that atomic proposition is always true: (p427 <= p1486)
lola: place invariant simplifies atomic proposition
lola: before: (p999 <= p792)
lola: after: (0 <= 0)
lola: always true
lola: LP says that atomic proposition is always false: (3 <= p677)
lola: place invariant simplifies atomic proposition
lola: before: (p1872 <= p2035)
lola: after: (0 <= 0)
lola: always true
lola: LP says that atomic proposition is always true: (p408 <= p1760)
lola: LP says that atomic proposition is always true: (p77 <= p1038)
lola: LP says that atomic proposition is always false: (2 <= p1251)
lola: place invariant simplifies atomic proposition
lola: before: (p1331 <= p1093)
lola: after: (0 <= 0)
lola: always true
lola: LP says that atomic proposition is always false: (3 <= p1374)
lola: place invariant simplifies atomic proposition
lola: before: (p1024 <= p1446)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (p1338 <= p1470)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (p1711 <= p980)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (p1046 <= p1667)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (p1148 <= p1288)
lola: after: (0 <= 0)
lola: always true
lola: LP says that atomic proposition is always false: (3 <= p1026)
lola: LP says that atomic proposition is always false: (2 <= p348)
lola: LP says that atomic proposition is always false: (3 <= p622)
lola: place invariant simplifies atomic proposition
lola: before: (p1367 <= p1612)
lola: after: (0 <= 0)
lola: always true
lola: LP says that atomic proposition is always false: (2 <= p939)
lola: LP says that atomic proposition is always false: (3 <= p301)
lola: place invariant simplifies atomic proposition
lola: before: (p1932 <= p766)
lola: after: (0 <= 0)
lola: always true
lola: LP says that atomic proposition is always false: (3 <= p2005)
lola: LP says that atomic proposition is always true: (p563 <= p1909)
lola: place invariant simplifies atomic proposition
lola: before: (p952 <= p1098)
lola: after: (0 <= 0)
lola: always true
lola: LP says that atomic proposition is always false: (2 <= p1133)
lola: LP says that atomic proposition is always true: (p192 <= p712)
lola: LP says that atomic proposition is always false: (2 <= p1983)
lola: place invariant simplifies atomic proposition
lola: before: (p1664 <= p1609)
lola: after: (0 <= 0)
lola: always true
lola: NOT(E (F (()))) : A (G (A (G (())))) : (E (F (TRUE)) AND NOT(E ((TRUE U FALSE)))) : E ((TRUE U E (G (TRUE)))) : A (G (())) : NOT(A (F (()))) : E (G ((E (F (TRUE)) OR E (F (TRUE))))) : E ((A (G (FALSE)) U E (G (TRUE)))) : E ((A (G (TRUE)) U ())) : ((A ((TRUE U FALSE)) OR (E (G (TRUE)) AND (p1611 <= p251))) AND ((E (F (TRUE)) OR A (F (TRUE))) AND ())) : A (G ((FALSE OR E (X (TRUE))))) : NOT(E (F (A (G (FALSE))))) : A (G (())) : NOT(A (G (()))) : E (G (NOT(A (G (FALSE))))) : A ((() U ()))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:160
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:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
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:151
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
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:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:166
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:130
lola: rewrite Frontend/Parser/formula_rewrite.k:122
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:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:279
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:282
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 219 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 105 rewrites
lola: closed formula file DLCflexbar-PT-6a-CTLCardinality.task
lola: processed formula with 0 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 DLCflexbar-PT-6a-CTLCardinality-0 TRUE 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: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 105 rewrites
lola: closed formula file DLCflexbar-PT-6a-CTLCardinality.task
lola: processed formula with 0 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 DLCflexbar-PT-6a-CTLCardinality-1 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: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 105 rewrites
lola: closed formula file DLCflexbar-PT-6a-CTLCardinality.task
lola: processed formula with 0 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 DLCflexbar-PT-6a-CTLCardinality-2 TRUE 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: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 105 rewrites
lola: closed formula file DLCflexbar-PT-6a-CTLCardinality.task
lola: processed formula with 0 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 DLCflexbar-PT-6a-CTLCardinality-3 TRUE 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: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 105 rewrites
lola: closed formula file DLCflexbar-PT-6a-CTLCardinality.task
lola: processed formula with 0 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 DLCflexbar-PT-6a-CTLCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 105 rewrites
lola: closed formula file DLCflexbar-PT-6a-CTLCardinality.task
lola: processed formula with 0 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 DLCflexbar-PT-6a-CTLCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 105 rewrites
lola: closed formula file DLCflexbar-PT-6a-CTLCardinality.task
lola: processed formula with 0 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 DLCflexbar-PT-6a-CTLCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 105 rewrites
lola: closed formula file DLCflexbar-PT-6a-CTLCardinality.task
lola: processed formula with 0 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 DLCflexbar-PT-6a-CTLCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 439 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: 105 rewrites
lola: closed formula file DLCflexbar-PT-6a-CTLCardinality.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 DLCflexbar-PT-6a-CTLCardinality-8 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: (p1611 <= p251)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p1611 <= p251)
lola: processed formula length: 15
lola: 105 rewrites
lola: closed formula file DLCflexbar-PT-6a-CTLCardinality.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 DLCflexbar-PT-6a-CTLCardinality-9 TRUE 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: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 105 rewrites
lola: closed formula file DLCflexbar-PT-6a-CTLCardinality.task
lola: processed formula with 0 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 DLCflexbar-PT-6a-CTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 703 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 105 rewrites
lola: closed formula file DLCflexbar-PT-6a-CTLCardinality.task
lola: processed formula with 0 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 DLCflexbar-PT-6a-CTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 879 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: 105 rewrites
lola: closed formula file DLCflexbar-PT-6a-CTLCardinality.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 DLCflexbar-PT-6a-CTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1172 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 105 rewrites
lola: closed formula file DLCflexbar-PT-6a-CTLCardinality.task
lola: processed formula with 0 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 DLCflexbar-PT-6a-CTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1759 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: 105 rewrites
lola: closed formula file DLCflexbar-PT-6a-CTLCardinality.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 DLCflexbar-PT-6a-CTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3518 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking absence of deadlocks
lola: Planning: workflow for deadlock check: search (--findpath=off,--siphontrap=off)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3275 markings, 176817 edges, 655 markings/sec, 0 secs
lola: 4497 markings, 352662 edges, 244 markings/sec, 5 secs
lola: 5465 markings, 526319 edges, 194 markings/sec, 10 secs
lola: 6748 markings, 700736 edges, 257 markings/sec, 15 secs
lola: 7986 markings, 879459 edges, 248 markings/sec, 20 secs
lola: 9553 markings, 1062925 edges, 313 markings/sec, 25 secs
lola: 11151 markings, 1247587 edges, 320 markings/sec, 30 secs
lola: 12244 markings, 1420082 edges, 219 markings/sec, 35 secs
lola: 13560 markings, 1596430 edges, 263 markings/sec, 40 secs
lola: 14529 markings, 1765734 edges, 194 markings/sec, 45 secs
lola: 15798 markings, 1943830 edges, 254 markings/sec, 50 secs
lola: 16915 markings, 2117027 edges, 223 markings/sec, 55 secs
lola: 18566 markings, 2296347 edges, 330 markings/sec, 60 secs
lola: 19950 markings, 2474221 edges, 277 markings/sec, 65 secs
lola: 21015 markings, 2646818 edges, 213 markings/sec, 70 secs
lola: 22140 markings, 2821380 edges, 225 markings/sec, 75 secs
lola: 23348 markings, 2995064 edges, 242 markings/sec, 80 secs
lola: 24535 markings, 3168453 edges, 237 markings/sec, 85 secs
lola: 25779 markings, 3345298 edges, 249 markings/sec, 90 secs
lola: 27325 markings, 3532348 edges, 309 markings/sec, 95 secs
lola: 29086 markings, 3717524 edges, 352 markings/sec, 100 secs
lola: 30839 markings, 3905386 edges, 351 markings/sec, 105 secs
lola: 32592 markings, 4089835 edges, 351 markings/sec, 110 secs
lola: 34250 markings, 4277314 edges, 332 markings/sec, 115 secs
lola: 35866 markings, 4463953 edges, 323 markings/sec, 120 secs
lola: 37472 markings, 4646582 edges, 321 markings/sec, 125 secs
lola: 39518 markings, 4834266 edges, 409 markings/sec, 130 secs
lola: 41625 markings, 5014685 edges, 421 markings/sec, 135 secs
lola: 43705 markings, 5195985 edges, 416 markings/sec, 140 secs
lola: 45425 markings, 5372855 edges, 344 markings/sec, 145 secs
lola: 46389 markings, 5541344 edges, 193 markings/sec, 150 secs
lola: 47425 markings, 5714597 edges, 207 markings/sec, 155 secs
lola: 48471 markings, 5886784 edges, 209 markings/sec, 160 secs
lola: 49440 markings, 6058788 edges, 194 markings/sec, 165 secs
lola: 50417 markings, 6230513 edges, 195 markings/sec, 170 secs
lola: 51398 markings, 6400346 edges, 196 markings/sec, 175 secs
lola: 52539 markings, 6573940 edges, 228 markings/sec, 180 secs
lola: 54244 markings, 6753654 edges, 341 markings/sec, 185 secs
lola: 55515 markings, 6928019 edges, 254 markings/sec, 190 secs
lola: 56952 markings, 7108803 edges, 287 markings/sec, 195 secs
lola: 58620 markings, 7289754 edges, 334 markings/sec, 200 secs
lola: 59914 markings, 7468399 edges, 259 markings/sec, 205 secs
lola: 61126 markings, 7642576 edges, 242 markings/sec, 210 secs
lola: 62082 markings, 7815290 edges, 191 markings/sec, 215 secs
lola: 63370 markings, 7988609 edges, 258 markings/sec, 220 secs
lola: 64590 markings, 8165774 edges, 244 markings/sec, 225 secs
lola: 66055 markings, 8347721 edges, 293 markings/sec, 230 secs
lola: 67541 markings, 8528390 edges, 297 markings/sec, 235 secs
lola: 69283 markings, 8715494 edges, 348 markings/sec, 240 secs
lola: 71004 markings, 8899572 edges, 344 markings/sec, 245 secs
lola: 72368 markings, 9081195 edges, 273 markings/sec, 250 secs
lola: 73918 markings, 9266912 edges, 310 markings/sec, 255 secs
lola: 75617 markings, 9453589 edges, 340 markings/sec, 260 secs
lola: 77464 markings, 9639182 edges, 369 markings/sec, 265 secs
lola: 79413 markings, 9831125 edges, 390 markings/sec, 270 secs
lola: 81322 markings, 10015486 edges, 382 markings/sec, 275 secs
lola: 83315 markings, 10205392 edges, 399 markings/sec, 280 secs
lola: 85222 markings, 10391822 edges, 381 markings/sec, 285 secs
lola: 87121 markings, 10578636 edges, 380 markings/sec, 290 secs
lola: 88981 markings, 10753832 edges, 372 markings/sec, 295 secs
lola: 90937 markings, 10939195 edges, 391 markings/sec, 300 secs
lola: 92562 markings, 11122688 edges, 325 markings/sec, 305 secs
lola: 94625 markings, 11306653 edges, 413 markings/sec, 310 secs
lola: 96825 markings, 11488621 edges, 440 markings/sec, 315 secs
lola: 98913 markings, 11667485 edges, 418 markings/sec, 320 secs
lola: 101221 markings, 11847137 edges, 462 markings/sec, 325 secs
lola: 103104 markings, 12039783 edges, 377 markings/sec, 330 secs
lola: 104251 markings, 12213892 edges, 229 markings/sec, 335 secs
lola: 105233 markings, 12387138 edges, 196 markings/sec, 340 secs
lola: 106220 markings, 12560082 edges, 197 markings/sec, 345 secs
lola: 107205 markings, 12733626 edges, 197 markings/sec, 350 secs
lola: 108191 markings, 12906811 edges, 197 markings/sec, 355 secs
lola: 109171 markings, 13079868 edges, 196 markings/sec, 360 secs
lola: 110165 markings, 13253405 edges, 199 markings/sec, 365 secs
lola: 111146 markings, 13426418 edges, 196 markings/sec, 370 secs
lola: 112138 markings, 13599825 edges, 198 markings/sec, 375 secs
lola: 113123 markings, 13773075 edges, 197 markings/sec, 380 secs
lola: 114106 markings, 13946525 edges, 197 markings/sec, 385 secs
lola: 115094 markings, 14119272 edges, 198 markings/sec, 390 secs
lola: 116076 markings, 14293399 edges, 196 markings/sec, 395 secs
lola: 117062 markings, 14466291 edges, 197 markings/sec, 400 secs
lola: 118051 markings, 14640183 edges, 198 markings/sec, 405 secs
lola: 119043 markings, 14813097 edges, 198 markings/sec, 410 secs
lola: 120019 markings, 14986283 edges, 195 markings/sec, 415 secs
lola: 121015 markings, 15159224 edges, 199 markings/sec, 420 secs
lola: 122042 markings, 15332498 edges, 205 markings/sec, 425 secs
lola: 123580 markings, 15516253 edges, 308 markings/sec, 430 secs
lola: 125115 markings, 15691563 edges, 307 markings/sec, 435 secs
lola: 126706 markings, 15874802 edges, 318 markings/sec, 440 secs
lola: 128279 markings, 16055092 edges, 315 markings/sec, 445 secs
lola: 129596 markings, 16232505 edges, 263 markings/sec, 450 secs
lola: 130956 markings, 16410970 edges, 272 markings/sec, 455 secs
lola: 132395 markings, 16591173 edges, 288 markings/sec, 460 secs
lola: 133830 markings, 16771886 edges, 287 markings/sec, 465 secs
lola: 135514 markings, 16958327 edges, 337 markings/sec, 470 secs
lola: 136919 markings, 17132716 edges, 281 markings/sec, 475 secs
lola: 138604 markings, 17319308 edges, 337 markings/sec, 480 secs
lola: 140173 markings, 17500005 edges, 314 markings/sec, 485 secs
lola: 141818 markings, 17680466 edges, 329 markings/sec, 490 secs
lola: 143422 markings, 17857607 edges, 321 markings/sec, 495 secs
lola: 144906 markings, 18038275 edges, 297 markings/sec, 500 secs
lola: 146229 markings, 18212209 edges, 265 markings/sec, 505 secs
lola: 147597 markings, 18390497 edges, 274 markings/sec, 510 secs
lola: 149222 markings, 18570568 edges, 325 markings/sec, 515 secs
lola: 150828 markings, 18752132 edges, 321 markings/sec, 520 secs
lola: 152475 markings, 18933984 edges, 329 markings/sec, 525 secs
lola: 153781 markings, 19111269 edges, 261 markings/sec, 530 secs
lola: 155407 markings, 19295233 edges, 325 markings/sec, 535 secs
lola: 157309 markings, 19481820 edges, 380 markings/sec, 540 secs
lola: 159235 markings, 19669429 edges, 385 markings/sec, 545 secs
lola: 161136 markings, 19849868 edges, 380 markings/sec, 550 secs
lola: 162986 markings, 20033829 edges, 370 markings/sec, 555 secs
lola: 164306 markings, 20203537 edges, 264 markings/sec, 560 secs
lola: 166087 markings, 20384102 edges, 356 markings/sec, 565 secs
lola: 167815 markings, 20566478 edges, 346 markings/sec, 570 secs
lola: 169649 markings, 20757018 edges, 367 markings/sec, 575 secs
lola: 171274 markings, 20941219 edges, 325 markings/sec, 580 secs
lola: 172981 markings, 21120894 edges, 341 markings/sec, 585 secs
lola: 174462 markings, 21302577 edges, 296 markings/sec, 590 secs
lola: 176253 markings, 21487110 edges, 358 markings/sec, 595 secs
lola: 177842 markings, 21672751 edges, 318 markings/sec, 600 secs
lola: 180045 markings, 21853631 edges, 441 markings/sec, 605 secs
lola: 181934 markings, 22038094 edges, 378 markings/sec, 610 secs
lola: 183793 markings, 22222940 edges, 372 markings/sec, 615 secs
lola: 185802 markings, 22414351 edges, 402 markings/sec, 620 secs
lola: 187708 markings, 22604021 edges, 381 markings/sec, 625 secs
lola: 189785 markings, 22792571 edges, 415 markings/sec, 630 secs
lola: 191875 markings, 22981626 edges, 418 markings/sec, 635 secs
lola: 194066 markings, 23162881 edges, 438 markings/sec, 640 secs
lola: 196119 markings, 23348152 edges, 411 markings/sec, 645 secs
lola: 198110 markings, 23530005 edges, 398 markings/sec, 650 secs
lola: 199963 markings, 23712035 edges, 371 markings/sec, 655 secs
lola: 201865 markings, 23900078 edges, 380 markings/sec, 660 secs
lola: 203974 markings, 24075603 edges, 422 markings/sec, 665 secs
lola: 206196 markings, 24251947 edges, 444 markings/sec, 670 secs
lola: 208179 markings, 24436165 edges, 397 markings/sec, 675 secs
lola: 210226 markings, 24621146 edges, 409 markings/sec, 680 secs
lola: 212703 markings, 24791782 edges, 495 markings/sec, 685 secs
lola: 214737 markings, 24969699 edges, 407 markings/sec, 690 secs
lola: 216860 markings, 25145629 edges, 425 markings/sec, 695 secs
lola: 219167 markings, 25329662 edges, 461 markings/sec, 700 secs
lola: 221674 markings, 25502233 edges, 501 markings/sec, 705 secs
lola: 224069 markings, 25679004 edges, 479 markings/sec, 710 secs
lola: 225987 markings, 25859582 edges, 384 markings/sec, 715 secs
lola: 228398 markings, 26037026 edges, 482 markings/sec, 720 secs
lola: 230346 markings, 26212914 edges, 390 markings/sec, 725 secs
lola: 231456 markings, 26386962 edges, 222 markings/sec, 730 secs
lola: 232516 markings, 26559457 edges, 212 markings/sec, 735 secs
lola: 233817 markings, 26733047 edges, 260 markings/sec, 740 secs
lola: 234908 markings, 26906534 edges, 218 markings/sec, 745 secs
lola: 236254 markings, 27086072 edges, 269 markings/sec, 750 secs
lola: 237993 markings, 27271441 edges, 348 markings/sec, 755 secs
lola: 239277 markings, 27449466 edges, 257 markings/sec, 760 secs
lola: 240447 markings, 27622368 edges, 234 markings/sec, 765 secs
lola: 241556 markings, 27797305 edges, 222 markings/sec, 770 secs
lola: 242741 markings, 27968501 edges, 237 markings/sec, 775 secs
lola: 243957 markings, 28142532 edges, 243 markings/sec, 780 secs
lola: 245267 markings, 28322609 edges, 262 markings/sec, 785 secs
lola: 246703 markings, 28502665 edges, 287 markings/sec, 790 secs
lola: 247863 markings, 28674254 edges, 232 markings/sec, 795 secs
lola: 249102 markings, 28844174 edges, 248 markings/sec, 800 secs
lola: 250075 markings, 29016287 edges, 195 markings/sec, 805 secs
lola: 251283 markings, 29191488 edges, 242 markings/sec, 810 secs
lola: 252502 markings, 29366263 edges, 244 markings/sec, 815 secs
lola: 254095 markings, 29546252 edges, 319 markings/sec, 820 secs
lola: 255889 markings, 29734998 edges, 359 markings/sec, 825 secs
lola: 257578 markings, 29923748 edges, 338 markings/sec, 830 secs
lola: 259129 markings, 30103791 edges, 310 markings/sec, 835 secs
lola: 260972 markings, 30285595 edges, 369 markings/sec, 840 secs
lola: 262748 markings, 30467855 edges, 355 markings/sec, 845 secs
lola: 263866 markings, 30640653 edges, 224 markings/sec, 850 secs
lola: 264864 markings, 30811619 edges, 200 markings/sec, 855 secs
lola: 266128 markings, 30985815 edges, 253 markings/sec, 860 secs
lola: 267339 markings, 31160947 edges, 242 markings/sec, 865 secs
lola: 268378 markings, 31331045 edges, 208 markings/sec, 870 secs
lola: 269655 markings, 31505850 edges, 255 markings/sec, 875 secs
lola: 270780 markings, 31679562 edges, 225 markings/sec, 880 secs
lola: 271895 markings, 31851352 edges, 223 markings/sec, 885 secs
lola: 273120 markings, 32027475 edges, 245 markings/sec, 890 secs
lola: 274159 markings, 32198862 edges, 208 markings/sec, 895 secs
lola: 275648 markings, 32376516 edges, 298 markings/sec, 900 secs
lola: 277395 markings, 32564679 edges, 349 markings/sec, 905 secs
lola: 279528 markings, 32748362 edges, 427 markings/sec, 910 secs
lola: 281023 markings, 32931361 edges, 299 markings/sec, 915 secs
lola: 282885 markings, 33112385 edges, 372 markings/sec, 920 secs
lola: 284934 markings, 33298137 edges, 410 markings/sec, 925 secs
lola: 287055 markings, 33481303 edges, 424 markings/sec, 930 secs
lola: 289204 markings, 33664898 edges, 430 markings/sec, 935 secs
lola: 290676 markings, 33848709 edges, 294 markings/sec, 940 secs
lola: 291972 markings, 34027114 edges, 259 markings/sec, 945 secs
lola: 293675 markings, 34213602 edges, 341 markings/sec, 950 secs
lola: 294692 markings, 34383990 edges, 203 markings/sec, 955 secs
lola: 295975 markings, 34560034 edges, 257 markings/sec, 960 secs
lola: 297744 markings, 34748631 edges, 354 markings/sec, 965 secs
lola: 299205 markings, 34931628 edges, 292 markings/sec, 970 secs
lola: 300265 markings, 35103809 edges, 212 markings/sec, 975 secs
lola: 301682 markings, 35285664 edges, 283 markings/sec, 980 secs
lola: 303399 markings, 35470176 edges, 343 markings/sec, 985 secs
lola: 305074 markings, 35654473 edges, 335 markings/sec, 990 secs
lola: 306876 markings, 35846552 edges, 360 markings/sec, 995 secs
lola: 308607 markings, 36036263 edges, 346 markings/sec, 1000 secs
lola: 310559 markings, 36222146 edges, 390 markings/sec, 1005 secs
lola: 312206 markings, 36402772 edges, 329 markings/sec, 1010 secs
lola: 314004 markings, 36580846 edges, 360 markings/sec, 1015 secs
lola: 315912 markings, 36763139 edges, 382 markings/sec, 1020 secs
lola: 317614 markings, 36945116 edges, 340 markings/sec, 1025 secs
lola: 319899 markings, 37121064 edges, 457 markings/sec, 1030 secs
lola: 322029 markings, 37294250 edges, 426 markings/sec, 1035 secs
lola: 323613 markings, 37474312 edges, 317 markings/sec, 1040 secs
lola: 325413 markings, 37658384 edges, 360 markings/sec, 1045 secs
lola: 327099 markings, 37844505 edges, 337 markings/sec, 1050 secs
lola: 329179 markings, 38029037 edges, 416 markings/sec, 1055 secs
lola: 331448 markings, 38201212 edges, 454 markings/sec, 1060 secs
lola: 333417 markings, 38381885 edges, 394 markings/sec, 1065 secs
lola: 335267 markings, 38566012 edges, 370 markings/sec, 1070 secs
lola: 337607 markings, 38743112 edges, 468 markings/sec, 1075 secs
lola: 339852 markings, 38919801 edges, 449 markings/sec, 1080 secs
lola: 341801 markings, 39105895 edges, 390 markings/sec, 1085 secs
lola: 344122 markings, 39278225 edges, 464 markings/sec, 1090 secs
lola: 346430 markings, 39454078 edges, 462 markings/sec, 1095 secs
lola: 348772 markings, 39637159 edges, 468 markings/sec, 1100 secs
lola: 350956 markings, 39818019 edges, 437 markings/sec, 1105 secs
lola: 353770 markings, 39982313 edges, 563 markings/sec, 1110 secs
lola: 355935 markings, 40159479 edges, 433 markings/sec, 1115 secs
lola: 357707 markings, 40340641 edges, 354 markings/sec, 1120 secs
lola: 359505 markings, 40519533 edges, 360 markings/sec, 1125 secs
lola: 361476 markings, 40701758 edges, 394 markings/sec, 1130 secs
lola: 363525 markings, 40875002 edges, 410 markings/sec, 1135 secs
lola: 365705 markings, 41044119 edges, 436 markings/sec, 1140 secs
lola: 367653 markings, 41223436 edges, 390 markings/sec, 1145 secs
lola: 369953 markings, 41407194 edges, 460 markings/sec, 1150 secs
lola: 371914 markings, 41583258 edges, 392 markings/sec, 1155 secs
lola: 373955 markings, 41761573 edges, 408 markings/sec, 1160 secs
lola: 376132 markings, 41939992 edges, 435 markings/sec, 1165 secs
lola: 378544 markings, 42106537 edges, 482 markings/sec, 1170 secs
lola: 380505 markings, 42281325 edges, 392 markings/sec, 1175 secs
lola: 382808 markings, 42454608 edges, 461 markings/sec, 1180 secs
lola: 384714 markings, 42634895 edges, 381 markings/sec, 1185 secs
lola: 386985 markings, 42809680 edges, 454 markings/sec, 1190 secs
lola: 388990 markings, 42987473 edges, 401 markings/sec, 1195 secs
lola: 391640 markings, 43151214 edges, 530 markings/sec, 1200 secs
lola: 394295 markings, 43325757 edges, 531 markings/sec, 1205 secs
lola: 396623 markings, 43504334 edges, 466 markings/sec, 1210 secs
lola: 398734 markings, 43684652 edges, 422 markings/sec, 1215 secs
lola: 400910 markings, 43859570 edges, 435 markings/sec, 1220 secs
lola: 402868 markings, 44041277 edges, 392 markings/sec, 1225 secs
lola: 405033 markings, 44211632 edges, 433 markings/sec, 1230 secs
lola: 407225 markings, 44392490 edges, 438 markings/sec, 1235 secs
lola: 409372 markings, 44571826 edges, 429 markings/sec, 1240 secs
lola: 411470 markings, 44749545 edges, 420 markings/sec, 1245 secs
lola: 413391 markings, 44930663 edges, 384 markings/sec, 1250 secs
lola: 415621 markings, 45108797 edges, 446 markings/sec, 1255 secs
lola: 418029 markings, 45292092 edges, 482 markings/sec, 1260 secs
lola: 420245 markings, 45469953 edges, 443 markings/sec, 1265 secs
lola: 422113 markings, 45650204 edges, 374 markings/sec, 1270 secs
lola: 424554 markings, 45830195 edges, 488 markings/sec, 1275 secs
lola: 426665 markings, 46011464 edges, 422 markings/sec, 1280 secs
lola: 428586 markings, 46190420 edges, 384 markings/sec, 1285 secs
lola: 431361 markings, 46366060 edges, 555 markings/sec, 1290 secs
lola: 433661 markings, 46544764 edges, 460 markings/sec, 1295 secs
lola: 435624 markings, 46725212 edges, 393 markings/sec, 1300 secs
lola: 437551 markings, 46906581 edges, 385 markings/sec, 1305 secs
lola: 439931 markings, 47088786 edges, 476 markings/sec, 1310 secs
lola: 442051 markings, 47269188 edges, 424 markings/sec, 1315 secs
lola: 444109 markings, 47448603 edges, 412 markings/sec, 1320 secs
lola: 446157 markings, 47628169 edges, 410 markings/sec, 1325 secs
lola: 448223 markings, 47807988 edges, 413 markings/sec, 1330 secs
lola: 450317 markings, 47984442 edges, 419 markings/sec, 1335 secs
lola: 452387 markings, 48167829 edges, 414 markings/sec, 1340 secs
lola: 454783 markings, 48339814 edges, 479 markings/sec, 1345 secs
lola: 456695 markings, 48521724 edges, 382 markings/sec, 1350 secs
lola: 459046 markings, 48701592 edges, 470 markings/sec, 1355 secs
lola: 461224 markings, 48880681 edges, 436 markings/sec, 1360 secs
lola: 463888 markings, 49056325 edges, 533 markings/sec, 1365 secs
lola: 466490 markings, 49232696 edges, 520 markings/sec, 1370 secs
lola: 468534 markings, 49411713 edges, 409 markings/sec, 1375 secs
lola: 470675 markings, 49590574 edges, 428 markings/sec, 1380 secs
lola: 472984 markings, 49767032 edges, 462 markings/sec, 1385 secs
lola: 475325 markings, 49942186 edges, 468 markings/sec, 1390 secs
lola: 477740 markings, 50117493 edges, 483 markings/sec, 1395 secs
lola: 479897 markings, 50301191 edges, 431 markings/sec, 1400 secs
lola: 482097 markings, 50480427 edges, 440 markings/sec, 1405 secs
lola: 484283 markings, 50646306 edges, 437 markings/sec, 1410 secs
lola: 486390 markings, 50825831 edges, 421 markings/sec, 1415 secs
lola: 488629 markings, 51000607 edges, 448 markings/sec, 1420 secs
lola: 491228 markings, 51174563 edges, 520 markings/sec, 1425 secs
lola: 493190 markings, 51348424 edges, 392 markings/sec, 1430 secs
lola: 495562 markings, 51522429 edges, 474 markings/sec, 1435 secs
lola: 497857 markings, 51696513 edges, 459 markings/sec, 1440 secs
lola: 499768 markings, 51871984 edges, 382 markings/sec, 1445 secs
lola: 501893 markings, 52041302 edges, 425 markings/sec, 1450 secs
lola: 504363 markings, 52223286 edges, 494 markings/sec, 1455 secs
lola: 506347 markings, 52401857 edges, 397 markings/sec, 1460 secs
lola: 508456 markings, 52574284 edges, 422 markings/sec, 1465 secs
lola: 510447 markings, 52748437 edges, 398 markings/sec, 1470 secs
lola: 512411 markings, 52921154 edges, 393 markings/sec, 1475 secs
lola: 514866 markings, 53093801 edges, 491 markings/sec, 1480 secs
lola: 516790 markings, 53268844 edges, 385 markings/sec, 1485 secs
lola: 519000 markings, 53446038 edges, 442 markings/sec, 1490 secs
lola: 521321 markings, 53625115 edges, 464 markings/sec, 1495 secs
lola: 523334 markings, 53797963 edges, 403 markings/sec, 1500 secs
lola: 524631 markings, 53970102 edges, 259 markings/sec, 1505 secs
lola: 525598 markings, 54142088 edges, 193 markings/sec, 1510 secs
lola: 526602 markings, 54313011 edges, 201 markings/sec, 1515 secs
lola: 527718 markings, 54485502 edges, 223 markings/sec, 1520 secs
lola: 529381 markings, 54664751 edges, 333 markings/sec, 1525 secs
lola: 530855 markings, 54847069 edges, 295 markings/sec, 1530 secs
lola: 532500 markings, 55031296 edges, 329 markings/sec, 1535 secs
lola: 533542 markings, 55204766 edges, 208 markings/sec, 1540 secs
lola: 534739 markings, 55378621 edges, 239 markings/sec, 1545 secs
lola: 535941 markings, 55552070 edges, 240 markings/sec, 1550 secs
lola: 536908 markings, 55723617 edges, 193 markings/sec, 1555 secs
lola: 538175 markings, 55897606 edges, 253 markings/sec, 1560 secs
lola: 539583 markings, 56074489 edges, 282 markings/sec, 1565 secs
lola: 540977 markings, 56254340 edges, 279 markings/sec, 1570 secs
lola: 542078 markings, 56426928 edges, 220 markings/sec, 1575 secs
lola: 543192 markings, 56600898 edges, 223 markings/sec, 1580 secs
lola: 544431 markings, 56770411 edges, 248 markings/sec, 1585 secs
lola: 545607 markings, 56947890 edges, 235 markings/sec, 1590 secs
lola: 546925 markings, 57124795 edges, 264 markings/sec, 1595 secs
lola: 548489 markings, 57308580 edges, 313 markings/sec, 1600 secs
lola: 550172 markings, 57496304 edges, 337 markings/sec, 1605 secs
lola: 551887 markings, 57681843 edges, 343 markings/sec, 1610 secs
lola: 553562 markings, 57864967 edges, 335 markings/sec, 1615 secs
lola: 555078 markings, 58048380 edges, 303 markings/sec, 1620 secs
lola: 556885 markings, 58236387 edges, 361 markings/sec, 1625 secs
lola: 558930 markings, 58418311 edges, 409 markings/sec, 1630 secs
lola: 560849 markings, 58605463 edges, 384 markings/sec, 1635 secs
lola: 562807 markings, 58789055 edges, 392 markings/sec, 1640 secs
lola: 564732 markings, 58974289 edges, 385 markings/sec, 1645 secs
lola: 566794 markings, 59156923 edges, 412 markings/sec, 1650 secs
lola: 567920 markings, 59328596 edges, 225 markings/sec, 1655 secs
lola: 569159 markings, 59505405 edges, 248 markings/sec, 1660 secs
lola: 570233 markings, 59679061 edges, 215 markings/sec, 1665 secs
lola: 571651 markings, 59856232 edges, 284 markings/sec, 1670 secs
lola: 572884 markings, 60029735 edges, 247 markings/sec, 1675 secs
lola: 574098 markings, 60206182 edges, 243 markings/sec, 1680 secs
lola: 575677 markings, 60390784 edges, 316 markings/sec, 1685 secs
lola: 576769 markings, 60566285 edges, 218 markings/sec, 1690 secs
lola: 577979 markings, 60742198 edges, 242 markings/sec, 1695 secs
lola: 579077 markings, 60916759 edges, 220 markings/sec, 1700 secs
lola: 580232 markings, 61087541 edges, 231 markings/sec, 1705 secs
lola: 581504 markings, 61265766 edges, 254 markings/sec, 1710 secs
lola: 583066 markings, 61451457 edges, 312 markings/sec, 1715 secs
lola: 584619 markings, 61632825 edges, 311 markings/sec, 1720 secs
lola: 585659 markings, 61806345 edges, 208 markings/sec, 1725 secs
lola: 586635 markings, 61977283 edges, 195 markings/sec, 1730 secs
lola: 587674 markings, 62148158 edges, 208 markings/sec, 1735 secs
lola: 588905 markings, 62324431 edges, 246 markings/sec, 1740 secs
lola: 590554 markings, 62502165 edges, 330 markings/sec, 1745 secs
lola: 592018 markings, 62685125 edges, 293 markings/sec, 1750 secs
lola: 593521 markings, 62865319 edges, 301 markings/sec, 1755 secs
lola: 595264 markings, 63055183 edges, 349 markings/sec, 1760 secs
lola: 597023 markings, 63239662 edges, 352 markings/sec, 1765 secs
lola: 598871 markings, 63430978 edges, 370 markings/sec, 1770 secs
lola: 600703 markings, 63622391 edges, 366 markings/sec, 1775 secs
lola: 602609 markings, 63809229 edges, 381 markings/sec, 1780 secs
lola: 604380 markings, 63998167 edges, 354 markings/sec, 1785 secs
lola: 606495 markings, 64175784 edges, 423 markings/sec, 1790 secs
lola: 608494 markings, 64362743 edges, 400 markings/sec, 1795 secs
lola: 610524 markings, 64542810 edges, 406 markings/sec, 1800 secs
lola: 612623 markings, 64723043 edges, 420 markings/sec, 1805 secs
lola: 614577 markings, 64905750 edges, 391 markings/sec, 1810 secs
lola: 616497 markings, 65091774 edges, 384 markings/sec, 1815 secs
lola: 618592 markings, 65270448 edges, 419 markings/sec, 1820 secs
lola: 620999 markings, 65433966 edges, 481 markings/sec, 1825 secs
lola: 623288 markings, 65610168 edges, 458 markings/sec, 1830 secs
lola: 625254 markings, 65785228 edges, 393 markings/sec, 1835 secs
lola: 627215 markings, 65961460 edges, 392 markings/sec, 1840 secs
lola: 629101 markings, 66136732 edges, 377 markings/sec, 1845 secs
lola: 630982 markings, 66314264 edges, 376 markings/sec, 1850 secs
lola: 633036 markings, 66495487 edges, 411 markings/sec, 1855 secs
lola: 635293 markings, 66671530 edges, 451 markings/sec, 1860 secs
lola: 637274 markings, 66847777 edges, 396 markings/sec, 1865 secs
lola: 639256 markings, 67025346 edges, 396 markings/sec, 1870 secs
lola: 641003 markings, 67203274 edges, 349 markings/sec, 1875 secs
lola: 643454 markings, 67367544 edges, 490 markings/sec, 1880 secs
lola: 645555 markings, 67542185 edges, 420 markings/sec, 1885 secs
lola: 647460 markings, 67715952 edges, 381 markings/sec, 1890 secs
lola: 649525 markings, 67893344 edges, 413 markings/sec, 1895 secs
lola: 651839 markings, 68070318 edges, 463 markings/sec, 1900 secs
lola: 653760 markings, 68248421 edges, 384 markings/sec, 1905 secs
lola: 655832 markings, 68433412 edges, 414 markings/sec, 1910 secs
lola: 658207 markings, 68605917 edges, 475 markings/sec, 1915 secs
lola: 660134 markings, 68786085 edges, 385 markings/sec, 1920 secs
lola: 661923 markings, 68962081 edges, 358 markings/sec, 1925 secs
lola: 662987 markings, 69135574 edges, 213 markings/sec, 1930 secs
lola: 663967 markings, 69308426 edges, 196 markings/sec, 1935 secs
lola: 664956 markings, 69481424 edges, 198 markings/sec, 1940 secs
lola: 665940 markings, 69653475 edges, 197 markings/sec, 1945 secs
lola: 666944 markings, 69826839 edges, 201 markings/sec, 1950 secs
lola: 667980 markings, 70001235 edges, 207 markings/sec, 1955 secs
lola: 669474 markings, 70180064 edges, 299 markings/sec, 1960 secs
lola: 670880 markings, 70359425 edges, 281 markings/sec, 1965 secs
lola: 672606 markings, 70545629 edges, 345 markings/sec, 1970 secs
lola: 673909 markings, 70723215 edges, 261 markings/sec, 1975 secs
lola: 675315 markings, 70902991 edges, 281 markings/sec, 1980 secs
lola: 676804 markings, 71086094 edges, 298 markings/sec, 1985 secs
lola: 677949 markings, 71259527 edges, 229 markings/sec, 1990 secs
lola: 679180 markings, 71437133 edges, 246 markings/sec, 1995 secs
lola: 680338 markings, 71611051 edges, 232 markings/sec, 2000 secs
lola: 681380 markings, 71785932 edges, 208 markings/sec, 2005 secs
lola: 682651 markings, 71963783 edges, 254 markings/sec, 2010 secs
lola: 684118 markings, 72144382 edges, 293 markings/sec, 2015 secs
lola: 685891 markings, 72332383 edges, 355 markings/sec, 2020 secs
lola: 687407 markings, 72514855 edges, 303 markings/sec, 2025 secs
lola: 689368 markings, 72698179 edges, 392 markings/sec, 2030 secs
lola: 691021 markings, 72884675 edges, 331 markings/sec, 2035 secs
lola: 692786 markings, 73077041 edges, 353 markings/sec, 2040 secs
lola: 694651 markings, 73264585 edges, 373 markings/sec, 2045 secs
lola: 696543 markings, 73451213 edges, 378 markings/sec, 2050 secs
lola: 698275 markings, 73634853 edges, 346 markings/sec, 2055 secs
lola: 700109 markings, 73824157 edges, 367 markings/sec, 2060 secs
lola: 701842 markings, 74007469 edges, 347 markings/sec, 2065 secs
lola: 702893 markings, 74180739 edges, 210 markings/sec, 2070 secs
lola: 703854 markings, 74354541 edges, 192 markings/sec, 2075 secs
lola: 705240 markings, 74533931 edges, 277 markings/sec, 2080 secs
lola: 706435 markings, 74709929 edges, 239 markings/sec, 2085 secs
lola: 707558 markings, 74884946 edges, 225 markings/sec, 2090 secs
lola: 708669 markings, 75060942 edges, 222 markings/sec, 2095 secs
lola: 709965 markings, 75237116 edges, 259 markings/sec, 2100 secs
lola: 710967 markings, 75409841 edges, 200 markings/sec, 2105 secs
lola: 712045 markings, 75585493 edges, 216 markings/sec, 2110 secs
lola: 713422 markings, 75765359 edges, 275 markings/sec, 2115 secs
lola: 715084 markings, 75950095 edges, 332 markings/sec, 2120 secs
lola: 716110 markings, 76123231 edges, 205 markings/sec, 2125 secs
lola: 717300 markings, 76298491 edges, 238 markings/sec, 2130 secs
lola: 718470 markings, 76474307 edges, 234 markings/sec, 2135 secs
lola: 719567 markings, 76645891 edges, 219 markings/sec, 2140 secs
lola: 720926 markings, 76825400 edges, 272 markings/sec, 2145 secs
lola: 722509 markings, 77012408 edges, 317 markings/sec, 2150 secs
lola: 724094 markings, 77196481 edges, 317 markings/sec, 2155 secs
lola: 725960 markings, 77387454 edges, 373 markings/sec, 2160 secs
lola: 727579 markings, 77571956 edges, 324 markings/sec, 2165 secs
lola: 729238 markings, 77760705 edges, 332 markings/sec, 2170 secs
lola: 731007 markings, 77951818 edges, 354 markings/sec, 2175 secs
lola: 732889 markings, 78138353 edges, 376 markings/sec, 2180 secs
lola: 734518 markings, 78325019 edges, 326 markings/sec, 2185 secs
lola: 736375 markings, 78508458 edges, 371 markings/sec, 2190 secs
lola: 738195 markings, 78692048 edges, 364 markings/sec, 2195 secs
lola: 739970 markings, 78882699 edges, 355 markings/sec, 2200 secs
lola: 742052 markings, 79064018 edges, 416 markings/sec, 2205 secs
lola: 743979 markings, 79255153 edges, 385 markings/sec, 2210 secs
lola: 745972 markings, 79444420 edges, 399 markings/sec, 2215 secs
lola: 748242 markings, 79626297 edges, 454 markings/sec, 2220 secs
lola: 750055 markings, 79816148 edges, 363 markings/sec, 2225 secs
lola: 752131 markings, 80006691 edges, 415 markings/sec, 2230 secs
lola: 754390 markings, 80175484 edges, 452 markings/sec, 2235 secs
lola: 756539 markings, 80353111 edges, 430 markings/sec, 2240 secs
lola: 758291 markings, 80530415 edges, 350 markings/sec, 2245 secs
lola: 760187 markings, 80715944 edges, 379 markings/sec, 2250 secs
lola: 762129 markings, 80900236 edges, 388 markings/sec, 2255 secs
lola: 764354 markings, 81072771 edges, 445 markings/sec, 2260 secs
lola: 766250 markings, 81251057 edges, 379 markings/sec, 2265 secs
lola: 768182 markings, 81430162 edges, 386 markings/sec, 2270 secs
lola: 770260 markings, 81606155 edges, 416 markings/sec, 2275 secs
lola: 772336 markings, 81781256 edges, 415 markings/sec, 2280 secs
lola: 774357 markings, 81968743 edges, 404 markings/sec, 2285 secs
lola: 776251 markings, 82149335 edges, 379 markings/sec, 2290 secs
lola: 778300 markings, 82323440 edges, 410 markings/sec, 2295 secs
lola: 780355 markings, 82494757 edges, 411 markings/sec, 2300 secs
lola: 782810 markings, 82663636 edges, 491 markings/sec, 2305 secs
lola: 784987 markings, 82841002 edges, 435 markings/sec, 2310 secs
lola: 787001 markings, 83019942 edges, 403 markings/sec, 2315 secs
lola: 789200 markings, 83190897 edges, 440 markings/sec, 2320 secs
lola: 790373 markings, 83363255 edges, 235 markings/sec, 2325 secs
lola: 791344 markings, 83534514 edges, 194 markings/sec, 2330 secs
lola: 792308 markings, 83705669 edges, 193 markings/sec, 2335 secs
lola: 793289 markings, 83876978 edges, 196 markings/sec, 2340 secs
lola: 794277 markings, 84049714 edges, 198 markings/sec, 2345 secs
lola: 795242 markings, 84220399 edges, 193 markings/sec, 2350 secs
lola: 796245 markings, 84395529 edges, 201 markings/sec, 2355 secs
lola: 797250 markings, 84571639 edges, 201 markings/sec, 2360 secs
lola: 798244 markings, 84746230 edges, 199 markings/sec, 2365 secs
lola: 799239 markings, 84921403 edges, 199 markings/sec, 2370 secs
lola: 800229 markings, 85096097 edges, 198 markings/sec, 2375 secs
lola: 801232 markings, 85271293 edges, 201 markings/sec, 2380 secs
lola: 802214 markings, 85445835 edges, 196 markings/sec, 2385 secs
lola: 803217 markings, 85621307 edges, 201 markings/sec, 2390 secs
lola: 804214 markings, 85796560 edges, 199 markings/sec, 2395 secs
lola: 805217 markings, 85972586 edges, 201 markings/sec, 2400 secs
lola: 806207 markings, 86146636 edges, 198 markings/sec, 2405 secs
lola: 807201 markings, 86322277 edges, 199 markings/sec, 2410 secs
lola: 808247 markings, 86496765 edges, 209 markings/sec, 2415 secs
lola: 809748 markings, 86676766 edges, 300 markings/sec, 2420 secs
lola: 811385 markings, 86862565 edges, 327 markings/sec, 2425 secs
lola: 812851 markings, 87045639 edges, 293 markings/sec, 2430 secs
lola: 814409 markings, 87233765 edges, 312 markings/sec, 2435 secs
lola: 816014 markings, 87420311 edges, 321 markings/sec, 2440 secs
lola: 817537 markings, 87604086 edges, 305 markings/sec, 2445 secs
lola: 819052 markings, 87785980 edges, 303 markings/sec, 2450 secs
lola: 820475 markings, 87962706 edges, 285 markings/sec, 2455 secs
lola: 821708 markings, 88143990 edges, 247 markings/sec, 2460 secs
lola: 823439 markings, 88325336 edges, 346 markings/sec, 2465 secs
lola: 824992 markings, 88484822 edges, 311 markings/sec, 2470 secs
lola: 826653 markings, 88668216 edges, 332 markings/sec, 2475 secs
lola: 828224 markings, 88852724 edges, 314 markings/sec, 2480 secs
lola: 829662 markings, 89033785 edges, 288 markings/sec, 2485 secs
lola: 831267 markings, 89216714 edges, 321 markings/sec, 2490 secs
lola: 832780 markings, 89398967 edges, 303 markings/sec, 2495 secs
lola: 834375 markings, 89586380 edges, 319 markings/sec, 2500 secs
lola: 835947 markings, 89768243 edges, 314 markings/sec, 2505 secs
lola: 837542 markings, 89955157 edges, 319 markings/sec, 2510 secs
lola: 839003 markings, 90139810 edges, 292 markings/sec, 2515 secs
lola: 840443 markings, 90319957 edges, 288 markings/sec, 2520 secs
lola: 841871 markings, 90496447 edges, 286 markings/sec, 2525 secs
lola: 843599 markings, 90680828 edges, 346 markings/sec, 2530 secs
lola: 845475 markings, 90875188 edges, 375 markings/sec, 2535 secs
lola: 847159 markings, 91061915 edges, 337 markings/sec, 2540 secs
lola: 849038 markings, 91252163 edges, 376 markings/sec, 2545 secs
lola: 850788 markings, 91439484 edges, 350 markings/sec, 2550 secs
lola: 852253 markings, 91618547 edges, 293 markings/sec, 2555 secs
lola: 853938 markings, 91807059 edges, 337 markings/sec, 2560 secs
lola: 855374 markings, 91993464 edges, 287 markings/sec, 2565 secs
lola: 857322 markings, 92185230 edges, 390 markings/sec, 2570 secs
lola: 859154 markings, 92383428 edges, 366 markings/sec, 2575 secs
lola: 861021 markings, 92576999 edges, 373 markings/sec, 2580 secs
lola: 863008 markings, 92769132 edges, 397 markings/sec, 2585 secs
lola: 865192 markings, 92954329 edges, 437 markings/sec, 2590 secs
lola: 867103 markings, 93143090 edges, 382 markings/sec, 2595 secs
lola: 868940 markings, 93333317 edges, 367 markings/sec, 2600 secs
lola: 871333 markings, 93512799 edges, 479 markings/sec, 2605 secs
lola: 873356 markings, 93699326 edges, 405 markings/sec, 2610 secs
lola: 875202 markings, 93887770 edges, 369 markings/sec, 2615 secs
lola: 877245 markings, 94078458 edges, 409 markings/sec, 2620 secs
lola: 879509 markings, 94262077 edges, 453 markings/sec, 2625 secs
lola: 881580 markings, 94447812 edges, 414 markings/sec, 2630 secs
lola: 883776 markings, 94632934 edges, 439 markings/sec, 2635 secs
lola: 885995 markings, 94817354 edges, 444 markings/sec, 2640 secs
lola: 888182 markings, 94997437 edges, 437 markings/sec, 2645 secs
lola: 890394 markings, 95176769 edges, 442 markings/sec, 2650 secs
lola: 892742 markings, 95358375 edges, 470 markings/sec, 2655 secs
lola: 895234 markings, 95530433 edges, 498 markings/sec, 2660 secs
lola: 897161 markings, 95720666 edges, 385 markings/sec, 2665 secs
lola: 899056 markings, 95911513 edges, 379 markings/sec, 2670 secs
lola: 901201 markings, 96093146 edges, 429 markings/sec, 2675 secs
lola: 903384 markings, 96277148 edges, 437 markings/sec, 2680 secs
lola: 905218 markings, 96458602 edges, 367 markings/sec, 2685 secs
lola: 907390 markings, 96635030 edges, 434 markings/sec, 2690 secs
lola: 909731 markings, 96813268 edges, 468 markings/sec, 2695 secs
lola: 911757 markings, 96995358 edges, 405 markings/sec, 2700 secs
lola: 913723 markings, 97178542 edges, 393 markings/sec, 2705 secs
lola: 916303 markings, 97351845 edges, 516 markings/sec, 2710 secs
lola: 918403 markings, 97533918 edges, 420 markings/sec, 2715 secs
lola: 920346 markings, 97720518 edges, 389 markings/sec, 2720 secs
lola: 922281 markings, 97903258 edges, 387 markings/sec, 2725 secs
lola: 924269 markings, 98082474 edges, 398 markings/sec, 2730 secs
lola: 926788 markings, 98258539 edges, 504 markings/sec, 2735 secs
lola: 928903 markings, 98439567 edges, 423 markings/sec, 2740 secs
lola: 931109 markings, 98617058 edges, 441 markings/sec, 2745 secs
lola: 933612 markings, 98794912 edges, 501 markings/sec, 2750 secs
lola: 936265 markings, 98974859 edges, 531 markings/sec, 2755 secs
lola: 938381 markings, 99161466 edges, 423 markings/sec, 2760 secs
lola: 940874 markings, 99338669 edges, 499 markings/sec, 2765 secs
lola: 943172 markings, 99520404 edges, 460 markings/sec, 2770 secs
lola: 945469 markings, 99700280 edges, 459 markings/sec, 2775 secs
lola: 947639 markings, 99882838 edges, 434 markings/sec, 2780 secs
lola: 949739 markings, 100067032 edges, 420 markings/sec, 2785 secs
lola: 951626 markings, 100251514 edges, 377 markings/sec, 2790 secs
lola: 953678 markings, 100433107 edges, 410 markings/sec, 2795 secs
lola: 955863 markings, 100614964 edges, 437 markings/sec, 2800 secs
lola: 957808 markings, 100798326 edges, 389 markings/sec, 2805 secs
lola: 959889 markings, 100980735 edges, 416 markings/sec, 2810 secs
lola: 961917 markings, 101162127 edges, 406 markings/sec, 2815 secs
lola: 964258 markings, 101343035 edges, 468 markings/sec, 2820 secs
lola: 966474 markings, 101524932 edges, 443 markings/sec, 2825 secs
lola: 968957 markings, 101699346 edges, 497 markings/sec, 2830 secs
lola: 971664 markings, 101878569 edges, 541 markings/sec, 2835 secs
lola: 973970 markings, 102056683 edges, 461 markings/sec, 2840 secs
lola: 976047 markings, 102238958 edges, 415 markings/sec, 2845 secs
lola: 978262 markings, 102420520 edges, 443 markings/sec, 2850 secs
lola: 980387 markings, 102603514 edges, 425 markings/sec, 2855 secs
lola: 982790 markings, 102786952 edges, 481 markings/sec, 2860 secs
lola: 985160 markings, 102966564 edges, 474 markings/sec, 2865 secs
lola: 987305 markings, 103147537 edges, 429 markings/sec, 2870 secs
lola: 989264 markings, 103335733 edges, 392 markings/sec, 2875 secs
lola: 991902 markings, 103516145 edges, 528 markings/sec, 2880 secs
lola: 994241 markings, 103693780 edges, 468 markings/sec, 2885 secs
lola: 996931 markings, 103873922 edges, 538 markings/sec, 2890 secs
lola: 999219 markings, 104053505 edges, 458 markings/sec, 2895 secs
lola: 1001493 markings, 104236147 edges, 455 markings/sec, 2900 secs
lola: 1003438 markings, 104418796 edges, 389 markings/sec, 2905 secs
lola: 1005623 markings, 104598601 edges, 437 markings/sec, 2910 secs
lola: 1007716 markings, 104782840 edges, 419 markings/sec, 2915 secs
lola: 1010035 markings, 104962535 edges, 464 markings/sec, 2920 secs
lola: 1012332 markings, 105144196 edges, 459 markings/sec, 2925 secs
lola: 1014986 markings, 105318326 edges, 531 markings/sec, 2930 secs
lola: 1017276 markings, 105497490 edges, 458 markings/sec, 2935 secs
lola: 1019348 markings, 105680890 edges, 414 markings/sec, 2940 secs
lola: 1021583 markings, 105863737 edges, 447 markings/sec, 2945 secs
lola: 1024373 markings, 106040690 edges, 558 markings/sec, 2950 secs
lola: 1026656 markings, 106223528 edges, 457 markings/sec, 2955 secs
lola: 1029107 markings, 106407559 edges, 490 markings/sec, 2960 secs
lola: 1031404 markings, 106588255 edges, 459 markings/sec, 2965 secs
lola: 1032907 markings, 106767098 edges, 301 markings/sec, 2970 secs
lola: 1034299 markings, 106947503 edges, 278 markings/sec, 2975 secs
lola: 1035324 markings, 107121820 edges, 205 markings/sec, 2980 secs
lola: 1036367 markings, 107296980 edges, 209 markings/sec, 2985 secs
lola: 1037682 markings, 107479406 edges, 263 markings/sec, 2990 secs
lola: 1039045 markings, 107648028 edges, 273 markings/sec, 2995 secs
lola: 1040762 markings, 107835393 edges, 343 markings/sec, 3000 secs
lola: 1041910 markings, 108012447 edges, 230 markings/sec, 3005 secs
lola: 1043162 markings, 108190660 edges, 250 markings/sec, 3010 secs
lola: 1044162 markings, 108367640 edges, 200 markings/sec, 3015 secs
lola: 1045141 markings, 108541348 edges, 196 markings/sec, 3020 secs
lola: 1046144 markings, 108713358 edges, 201 markings/sec, 3025 secs
lola: 1047392 markings, 108891421 edges, 250 markings/sec, 3030 secs
lola: 1048617 markings, 109069916 edges, 245 markings/sec, 3035 secs
lola: 1049957 markings, 109251565 edges, 268 markings/sec, 3040 secs
lola: 1051375 markings, 109432651 edges, 284 markings/sec, 3045 secs
lola: 1052641 markings, 109609828 edges, 253 markings/sec, 3050 secs
lola: 1054129 markings, 109793333 edges, 298 markings/sec, 3055 secs
lola: 1055868 markings, 109979879 edges, 348 markings/sec, 3060 secs
lola: 1057428 markings, 110164753 edges, 312 markings/sec, 3065 secs
lola: 1058962 markings, 110334350 edges, 307 markings/sec, 3070 secs
lola: 1060623 markings, 110522680 edges, 332 markings/sec, 3075 secs
lola: 1062352 markings, 110708676 edges, 346 markings/sec, 3080 secs
lola: 1064131 markings, 110887022 edges, 356 markings/sec, 3085 secs
lola: 1065910 markings, 111075145 edges, 356 markings/sec, 3090 secs
lola: 1067761 markings, 111266245 edges, 370 markings/sec, 3095 secs
lola: 1069972 markings, 111452481 edges, 442 markings/sec, 3100 secs
lola: 1071912 markings, 111643546 edges, 388 markings/sec, 3105 secs
lola: 1073967 markings, 111825078 edges, 411 markings/sec, 3110 secs
lola: 1076069 markings, 112011990 edges, 420 markings/sec, 3115 secs
lola: 1078207 markings, 112200163 edges, 428 markings/sec, 3120 secs
lola: 1079242 markings, 112375148 edges, 207 markings/sec, 3125 secs
lola: 1080418 markings, 112554300 edges, 235 markings/sec, 3130 secs
lola: 1081660 markings, 112731124 edges, 248 markings/sec, 3135 secs
lola: 1082691 markings, 112898398 edges, 206 markings/sec, 3140 secs
lola: 1084152 markings, 113082277 edges, 292 markings/sec, 3145 secs
lola: 1085833 markings, 113268304 edges, 336 markings/sec, 3150 secs
lola: 1087123 markings, 113444233 edges, 258 markings/sec, 3155 secs
lola: 1088297 markings, 113623635 edges, 235 markings/sec, 3160 secs
lola: 1089537 markings, 113798929 edges, 248 markings/sec, 3165 secs
lola: 1090465 markings, 113967159 edges, 186 markings/sec, 3170 secs
lola: 1091725 markings, 114141288 edges, 252 markings/sec, 3175 secs
lola: 1093081 markings, 114313091 edges, 271 markings/sec, 3180 secs
lola: 1094731 markings, 114496553 edges, 330 markings/sec, 3185 secs
lola: 1095870 markings, 114666740 edges, 228 markings/sec, 3190 secs
lola: 1097077 markings, 114843046 edges, 241 markings/sec, 3195 secs
lola: 1098102 markings, 115017187 edges, 205 markings/sec, 3200 secs
lola: 1099468 markings, 115194444 edges, 273 markings/sec, 3205 secs
lola: 1100590 markings, 115368309 edges, 224 markings/sec, 3210 secs
lola: 1102070 markings, 115549678 edges, 296 markings/sec, 3215 secs
lola: 1103773 markings, 115734504 edges, 341 markings/sec, 3220 secs
lola: 1105488 markings, 115926380 edges, 343 markings/sec, 3225 secs
lola: 1107103 markings, 116117969 edges, 323 markings/sec, 3230 secs
lola: 1108764 markings, 116304551 edges, 332 markings/sec, 3235 secs
lola: 1110256 markings, 116487923 edges, 298 markings/sec, 3240 secs
lola: 1111820 markings, 116670357 edges, 313 markings/sec, 3245 secs
lola: 1113621 markings, 116863703 edges, 360 markings/sec, 3250 secs
lola: 1116042 markings, 117043439 edges, 484 markings/sec, 3255 secs
lola: 1118054 markings, 117222918 edges, 402 markings/sec, 3260 secs
lola: 1120077 markings, 117403622 edges, 405 markings/sec, 3265 secs
lola: 1122352 markings, 117589431 edges, 455 markings/sec, 3270 secs
lola: 1124447 markings, 117770785 edges, 419 markings/sec, 3275 secs
lola: 1126810 markings, 117949584 edges, 473 markings/sec, 3280 secs
lola: 1128900 markings, 118125252 edges, 418 markings/sec, 3285 secs
lola: 1131249 markings, 118300300 edges, 470 markings/sec, 3290 secs
lola: 1133140 markings, 118475925 edges, 378 markings/sec, 3295 secs
lola: 1135519 markings, 118653100 edges, 476 markings/sec, 3300 secs
lola: 1137724 markings, 118822519 edges, 441 markings/sec, 3305 secs
lola: 1140208 markings, 118998958 edges, 497 markings/sec, 3310 secs
lola: 1142246 markings, 119179886 edges, 408 markings/sec, 3315 secs
lola: 1144420 markings, 119354714 edges, 435 markings/sec, 3320 secs
lola: 1146707 markings, 119532339 edges, 457 markings/sec, 3325 secs
lola: 1148694 markings, 119712536 edges, 397 markings/sec, 3330 secs
lola: 1150808 markings, 119887894 edges, 423 markings/sec, 3335 secs
lola: 1153120 markings, 120070022 edges, 462 markings/sec, 3340 secs
lola: 1155339 markings, 120251801 edges, 444 markings/sec, 3345 secs
lola: 1157639 markings, 120429112 edges, 460 markings/sec, 3350 secs
lola: 1159803 markings, 120610049 edges, 433 markings/sec, 3355 secs
lola: 1162038 markings, 120786514 edges, 447 markings/sec, 3360 secs
lola: 1164597 markings, 120966462 edges, 512 markings/sec, 3365 secs
lola: 1167154 markings, 121149159 edges, 511 markings/sec, 3370 secs
lola: 1169553 markings, 121329275 edges, 480 markings/sec, 3375 secs
lola: 1171902 markings, 121504303 edges, 470 markings/sec, 3380 secs
lola: 1174042 markings, 121684843 edges, 428 markings/sec, 3385 secs
lola: 1176236 markings, 121865124 edges, 439 markings/sec, 3390 secs
lola: 1178749 markings, 122045406 edges, 503 markings/sec, 3395 secs
lola: 1181607 markings, 122227077 edges, 572 markings/sec, 3400 secs
lola: 1183560 markings, 122407057 edges, 391 markings/sec, 3405 secs
lola: 1185546 markings, 122587144 edges, 397 markings/sec, 3410 secs
lola: 1187492 markings, 122768644 edges, 389 markings/sec, 3415 secs
lola: 1188653 markings, 122941736 edges, 232 markings/sec, 3420 secs
lola: 1189607 markings, 123110011 edges, 191 markings/sec, 3425 secs
lola: 1190594 markings, 123285494 edges, 197 markings/sec, 3430 secs
lola: 1191610 markings, 123460446 edges, 203 markings/sec, 3435 secs
lola: 1192740 markings, 123635157 edges, 226 markings/sec, 3440 secs
lola: 1193843 markings, 123808905 edges, 221 markings/sec, 3445 secs
lola: 1195268 markings, 123991378 edges, 285 markings/sec, 3450 secs
lola: 1196490 markings, 124162921 edges, 244 markings/sec, 3455 secs
lola: 1197668 markings, 124341863 edges, 236 markings/sec, 3460 secs
lola: 1199027 markings, 124520574 edges, 272 markings/sec, 3465 secs
lola: 1200036 markings, 124691140 edges, 202 markings/sec, 3470 secs
lola: 1201452 markings, 124869160 edges, 283 markings/sec, 3475 secs
lola: 1202533 markings, 125044047 edges, 216 markings/sec, 3480 secs
lola: 1203763 markings, 125218385 edges, 246 markings/sec, 3485 secs
lola: 1205521 markings, 125406445 edges, 352 markings/sec, 3490 secs
lola: 1207145 markings, 125584164 edges, 325 markings/sec, 3495 secs
lola: 1208544 markings, 125757921 edges, 280 markings/sec, 3500 secs
lola: 1209830 markings, 125935537 edges, 257 markings/sec, 3505 secs
lola: 1211348 markings, 126118897 edges, 304 markings/sec, 3510 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes yes yes yes yes yes yes no yes unknown yes yes no yes no
lola:
preliminary result: yes yes yes yes yes yes yes yes no yes unknown yes yes no yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes yes yes yes yes yes no yes unknown yes yes no yes no
lola: memory consumption: 1733944 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes yes yes yes yes yes no yes unknown yes yes no yes no
lola: memory consumption: 1733944 KB
lola: time consumption: 3570 seconds

BK_STOP 1528128554199

--------------------
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="DLCflexbar-PT-6a"
export BK_EXAMINATION="CTLCardinality"
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/DLCflexbar-PT-6a.tgz
mv DLCflexbar-PT-6a 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 DLCflexbar-PT-6a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r268-smll-152749145700435"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.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 ;