fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r075-tajo-158922839400005
Last Updated
Jun 28, 2020

About the Execution of 2019-Gold for DLCshifumi-PT-3a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15918.680 3573155.00 3693236.00 3906.90 FTFF?F?TFTFFTTFT normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r075-tajo-158922839400005.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is DLCshifumi-PT-3a, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-tajo-158922839400005
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 944K
-rw-r--r-- 1 mcc users 2.8K Mar 30 21:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 21:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 12:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 29 12:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 07:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 07:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 27 01:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 27 01:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 778K Mar 24 05:37 model.pnml

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

=== Now, execution of the tool begins

BK_START 1589536641158

info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ DLCshifumi-PT-3a @ 3570 seconds

FORMULA DLCshifumi-PT-3a-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCshifumi-PT-3a-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCshifumi-PT-3a-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCshifumi-PT-3a-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCshifumi-PT-3a-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCshifumi-PT-3a-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCshifumi-PT-3a-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCshifumi-PT-3a-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCshifumi-PT-3a-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCshifumi-PT-3a-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCshifumi-PT-3a-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCshifumi-PT-3a-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCshifumi-PT-3a-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCshifumi-PT-3a-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: -3
rslt: Output for LTLCardinality @ DLCshifumi-PT-3a
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 3641/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 544
lola: finding significant places
lola: 544 places, 3097 transitions, 262 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLCardinality.xml
lola: LP says that atomic proposition is always true: (p64 <= p515)
lola: LP says that atomic proposition is always false: (2 <= p218)
lola: place invariant simplifies atomic proposition
lola: before: (p443 <= p466)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always false: (2 <= p461)
lola: LP says that atomic proposition is always false: (3 <= p176)
lola: LP says that atomic proposition is always false: (2 <= p378)
lola: LP says that atomic proposition is always true: (p236 <= p376)
lola: LP says that atomic proposition is always false: (2 <= p378)
lola: place invariant simplifies atomic proposition
lola: before: (p371 <= p351)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p371 <= p351)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p330 <= p340)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p465 <= p318)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p371 <= p333)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p330 <= p340)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p424 <= p519)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always false: (3 <= p132)
lola: LP says that atomic proposition is always false: (2 <= p404)
lola: LP says that atomic proposition is always false: (3 <= p366)
lola: LP says that atomic proposition is always false: (3 <= p257)
lola: LP says that atomic proposition is always false: (2 <= p108)
lola: LP says that atomic proposition is always false: (2 <= p108)
lola: place invariant simplifies atomic proposition
lola: before: (p393 <= p355)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always false: (3 <= p210)
lola: LP says that atomic proposition is always false: (3 <= p104)
lola: place invariant simplifies atomic proposition
lola: before: (p345 <= p333)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p345 <= p333)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p345 <= p333)
lola: after: (0 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p453 <= p316)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always false: (2 <= p24)
lola: LP says that atomic proposition is always true: (p55 <= p478)
lola: LP says that atomic proposition is always false: (3 <= p423)
lola: place invariant simplifies atomic proposition
lola: before: (p418 <= p374)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always true: (p216 <= p305)
lola: A (NOT(F ((p325 <= p240)))) : A (X (((X ((p64 <= p515)) OR G ((2 <= p218))) AND (F ((p10 <= p292)) OR G ((0 <= 0)))))) : A (F (G ((F ((p28 <= p98)) U (X (G ((p530 <= p155))) OR NOT(((1 <= p134) OR F ((2 <= p461))))))))) : A ((G (F ((p15 <= p184))) AND G (((() AND NOT(F ((p236 <= p376)))) U G ((2 <= p378)))))) : A (G (F ((((1 <= p306) AND (p241 <= p248)) AND X (G (X (X ((0 <= 0))))))))) : A ((F ((0 <= 0)) U (X ((0 <= 0)) AND NOT((F ((1 <= 0)) U X ((0 <= 0))))))) : A ((NOT(G (((p225 + 1 <= p107) OR F ((1 <= p251))))) U ((0 <= 0) AND G ((p107 <= p225))))) : A ((F ((3 <= p132)) OR G (X (X (NOT(F ((2 <= p404)))))))) : A (X ((G (X ((p499 <= p177))) OR G (X ((3 <= p366)))))) : A (NOT(X (F ((X ((3 <= p257)) U (((p162 <= p252) AND X ((2 <= p108))) AND (X ((2 <= p108)) U (0 <= p482)))))))) : A (F (X ((NOT(X (G ((0 <= 0)))) U F ((3 <= p210)))))) : A ((NOT(X (G ((p214 + 1 <= p173)))) AND F (X ((3 <= p104))))) : A (X (F (X (F (G ((F (G ((0 <= 0))) OR ((0 <= 0) AND X ((0 <= 0)))))))))) : A (NOT(F (G (((1 <= 0) AND NOT(F ((2 <= p24)))))))) : A (((p478 + 1 <= p55) AND (G ((3 <= p423)) U (p404 <= p211)))) : A (F ((((0 <= 0) AND X (F (NOT(F (X ((p216 <= p305))))))) U F (NOT(X (X ((1 <= p298))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:142
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:142
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:142
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:117
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:142
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:282
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:117
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:154
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:160
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:142
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 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: 148 rewrites
lola: closed formula file LTLCardinality.xml
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: ========================================
lola: subprocess 1 will run for 237 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: 148 rewrites
lola: closed formula file LTLCardinality.xml
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: ========================================
lola: subprocess 2 will run for 254 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: 148 rewrites
lola: closed formula file LTLCardinality.xml
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: ========================================
lola: subprocess 3 will run for 274 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: 148 rewrites
lola: closed formula file LTLCardinality.xml
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: ========================================
lola: subprocess 4 will run for 296 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: 148 rewrites
lola: closed formula file LTLCardinality.xml
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: ========================================
lola: subprocess 5 will run for 323 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: 148 rewrites
lola: closed formula file LTLCardinality.xml
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: ========================================
lola: subprocess 6 will run for 356 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: 148 rewrites
lola: closed formula file LTLCardinality.xml
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: ========================================
lola: subprocess 7 will run for 395 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: 148 rewrites
lola: closed formula file LTLCardinality.xml
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: 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: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((((1 <= p306) AND (p241 <= p248)) AND X (TRUE)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((((1 <= p306) AND (p241 <= p248)) AND X (TRUE)))))
lola: processed formula length: 59
lola: 148 rewrites
lola: closed formula file LTLCardinality.xml
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: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 79302 markings, 2442179 edges, 15860 markings/sec, 0 secs
lola: 167484 markings, 5066871 edges, 17636 markings/sec, 5 secs
lola: 255104 markings, 7658829 edges, 17524 markings/sec, 10 secs
lola: 335702 markings, 10009719 edges, 16120 markings/sec, 15 secs
lola: 415330 markings, 12348457 edges, 15926 markings/sec, 20 secs
lola: 499554 markings, 14834016 edges, 16845 markings/sec, 25 secs
lola: 586148 markings, 17370476 edges, 17319 markings/sec, 30 secs
lola: 669996 markings, 19811532 edges, 16770 markings/sec, 35 secs
lola: 757764 markings, 22351210 edges, 17554 markings/sec, 40 secs
lola: 839782 markings, 24744913 edges, 16404 markings/sec, 45 secs
lola: 920122 markings, 27072527 edges, 16068 markings/sec, 50 secs
lola: 995630 markings, 29280730 edges, 15102 markings/sec, 55 secs
lola: 1077780 markings, 31690714 edges, 16430 markings/sec, 60 secs
lola: 1166488 markings, 34250245 edges, 17742 markings/sec, 65 secs
lola: 1246810 markings, 36552619 edges, 16064 markings/sec, 70 secs
lola: 1323500 markings, 38749054 edges, 15338 markings/sec, 75 secs
lola: 1406148 markings, 41131993 edges, 16530 markings/sec, 80 secs
lola: 1494266 markings, 43670718 edges, 17624 markings/sec, 85 secs
lola: 1582504 markings, 46223525 edges, 17648 markings/sec, 90 secs
lola: 1669696 markings, 48763221 edges, 17438 markings/sec, 95 secs
lola: 1758524 markings, 51306168 edges, 17766 markings/sec, 100 secs
lola: 1845834 markings, 53837023 edges, 17462 markings/sec, 105 secs
lola: 1933286 markings, 56366493 edges, 17490 markings/sec, 110 secs
lola: 2020078 markings, 58890352 edges, 17358 markings/sec, 115 secs
lola: 2106507 markings, 61414724 edges, 17286 markings/sec, 120 secs
lola: 2199414 markings, 64028063 edges, 18581 markings/sec, 125 secs
lola: 2288502 markings, 66564960 edges, 17818 markings/sec, 130 secs
lola: 2369716 markings, 68868069 edges, 16243 markings/sec, 135 secs
lola: 2452288 markings, 71261953 edges, 16514 markings/sec, 140 secs
lola: 2537614 markings, 73739984 edges, 17065 markings/sec, 145 secs
lola: 2622870 markings, 76257117 edges, 17051 markings/sec, 150 secs
lola: 2710799 markings, 78787065 edges, 17586 markings/sec, 155 secs
lola: 2796986 markings, 81306688 edges, 17237 markings/sec, 160 secs
lola: 2884734 markings, 83823547 edges, 17550 markings/sec, 165 secs
lola: 2971056 markings, 86339512 edges, 17264 markings/sec, 170 secs
lola: 3057098 markings, 88846190 edges, 17208 markings/sec, 175 secs
lola: 3143668 markings, 91360713 edges, 17314 markings/sec, 180 secs
lola: 3233220 markings, 93895621 edges, 17910 markings/sec, 185 secs
lola: 3321104 markings, 96415842 edges, 17577 markings/sec, 190 secs
lola: 3407926 markings, 98934187 edges, 17364 markings/sec, 195 secs
lola: 3494756 markings, 101445931 edges, 17366 markings/sec, 200 secs
lola: 3582166 markings, 103952849 edges, 17482 markings/sec, 205 secs
lola: 3670714 markings, 106463678 edges, 17710 markings/sec, 210 secs
lola: 3760878 markings, 108975590 edges, 18033 markings/sec, 215 secs
lola: 3851008 markings, 111506776 edges, 18026 markings/sec, 220 secs
lola: 3935698 markings, 113971201 edges, 16938 markings/sec, 225 secs
lola: 4020632 markings, 116425096 edges, 16987 markings/sec, 230 secs
lola: 4108586 markings, 118938540 edges, 17591 markings/sec, 235 secs
lola: 4195380 markings, 121460079 edges, 17359 markings/sec, 240 secs
lola: 4284535 markings, 123972060 edges, 17831 markings/sec, 245 secs
lola: 4370932 markings, 126442686 edges, 17279 markings/sec, 250 secs
lola: 4458043 markings, 128960177 edges, 17422 markings/sec, 255 secs
lola: 4548549 markings, 131470525 edges, 18101 markings/sec, 260 secs
lola: 4636040 markings, 133955510 edges, 17498 markings/sec, 265 secs
lola: 4723558 markings, 136476290 edges, 17504 markings/sec, 270 secs
lola: 4811098 markings, 138992981 edges, 17508 markings/sec, 275 secs
lola: 4899672 markings, 141513221 edges, 17715 markings/sec, 280 secs
lola: 4986672 markings, 143995589 edges, 17400 markings/sec, 285 secs
lola: 5075324 markings, 146517005 edges, 17730 markings/sec, 290 secs
lola: 5162930 markings, 149038533 edges, 17521 markings/sec, 295 secs
lola: 5250726 markings, 151549339 edges, 17559 markings/sec, 300 secs
lola: 5338774 markings, 154041774 edges, 17610 markings/sec, 305 secs
lola: 5427410 markings, 156556477 edges, 17727 markings/sec, 310 secs
lola: 5513612 markings, 159038672 edges, 17240 markings/sec, 315 secs
lola: 5602532 markings, 161558425 edges, 17784 markings/sec, 320 secs
lola: 5689975 markings, 164070012 edges, 17489 markings/sec, 325 secs
lola: 5776651 markings, 166566730 edges, 17335 markings/sec, 330 secs
lola: 5864714 markings, 169099440 edges, 17613 markings/sec, 335 secs
lola: 5953674 markings, 171627667 edges, 17792 markings/sec, 340 secs
lola: 6042400 markings, 174153523 edges, 17745 markings/sec, 345 secs
lola: 6130330 markings, 176678000 edges, 17586 markings/sec, 350 secs
lola: 6218056 markings, 179197582 edges, 17545 markings/sec, 355 secs
lola: 6305946 markings, 181717269 edges, 17578 markings/sec, 360 secs
lola: 6395148 markings, 184234890 edges, 17840 markings/sec, 365 secs
lola: 6483318 markings, 186753341 edges, 17634 markings/sec, 370 secs
lola: 6571972 markings, 189317869 edges, 17731 markings/sec, 375 secs
lola: 6659788 markings, 191836011 edges, 17563 markings/sec, 380 secs
lola: 6748342 markings, 194361182 edges, 17711 markings/sec, 385 secs
lola: 6837022 markings, 196881133 edges, 17736 markings/sec, 390 secs
lola: 6925774 markings, 199403924 edges, 17750 markings/sec, 395 secs
lola: 7015062 markings, 201922078 edges, 17858 markings/sec, 400 secs
lola: 7102540 markings, 204422660 edges, 17496 markings/sec, 405 secs
lola: 7189772 markings, 206935633 edges, 17446 markings/sec, 410 secs
lola: 7277450 markings, 209455736 edges, 17536 markings/sec, 415 secs
lola: 7364796 markings, 211979671 edges, 17469 markings/sec, 420 secs
lola: 7453550 markings, 214487911 edges, 17751 markings/sec, 425 secs
lola: 7541018 markings, 217002874 edges, 17494 markings/sec, 430 secs
lola: 7630394 markings, 219518199 edges, 17875 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown no unknown no unknown unknown unknown yes no no unknown yes no unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((F ((X (G ((p530 <= p155))) OR (p134 <= 0))) AND (F ((p28 <= p98)) OR (X (G ((p530 <= p155))) OR (p134 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F ((X (G ((p530 <= p155))) OR (p134 <= 0))) AND (F ((p28 <= p98)) OR (X (G ((p530 <= p155))) OR (p134 <= 0)))))))
lola: processed formula length: 123
lola: 148 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 12 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: 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: 4560 markings, 136124 edges
lola: ========================================
lola: subprocess 10 will run for 519 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: 148 rewrites
lola: closed formula file LTLCardinality.xml
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: 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: ========================================
lola: subprocess 11 will run for 623 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: 148 rewrites
lola: closed formula file LTLCardinality.xml
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: 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: ========================================
lola: subprocess 12 will run for 779 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((p499 <= p177)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((p499 <= p177)))))
lola: processed formula length: 30
lola: 148 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: 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: 4 markings, 4 edges
lola: ========================================
lola: subprocess 13 will run for 1039 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((p298 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((p298 <= 0)))))
lola: processed formula length: 27
lola: 148 rewrites
lola: closed formula file LTLCardinality.xml
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: 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: 126 markings, 793 edges
lola: ========================================
lola: subprocess 14 will run for 1558 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p240 + 1 <= p325)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G ((p240 + 1 <= p325)))
lola: processed formula length: 26
lola: 150 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p325 <= p240)
lola: SUBRESULT
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 3117 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (((p107 <= p225) AND G ((p251 <= 0)))) U G ((p107 <= p225))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (((p107 <= p225) AND G ((p251 <= 0)))) U G ((p107 <= p225))))
lola: processed formula length: 67
lola: 148 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 6 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 with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 58296 markings, 2492580 edges, 11659 markings/sec, 0 secs
lola: 117475 markings, 5138694 edges, 11836 markings/sec, 5 secs
lola: 183840 markings, 7769200 edges, 13273 markings/sec, 10 secs
lola: 249373 markings, 10395881 edges, 13107 markings/sec, 15 secs
lola: 311249 markings, 13021342 edges, 12375 markings/sec, 20 secs
lola: 368812 markings, 15453798 edges, 11513 markings/sec, 25 secs
lola: 432543 markings, 17976778 edges, 12746 markings/sec, 30 secs
lola: 503443 markings, 20512176 edges, 14180 markings/sec, 35 secs
lola: 571777 markings, 23038544 edges, 13667 markings/sec, 40 secs
lola: 642189 markings, 25535736 edges, 14082 markings/sec, 45 secs
lola: 716182 markings, 28048894 edges, 14799 markings/sec, 50 secs
lola: 793301 markings, 30610752 edges, 15424 markings/sec, 55 secs
lola: 870769 markings, 33170121 edges, 15494 markings/sec, 60 secs
lola: 932144 markings, 35756928 edges, 12275 markings/sec, 65 secs
lola: 990805 markings, 38350481 edges, 11732 markings/sec, 70 secs
lola: 1055698 markings, 40884124 edges, 12979 markings/sec, 75 secs
lola: 1126436 markings, 43448062 edges, 14148 markings/sec, 80 secs
lola: 1185072 markings, 45979889 edges, 11727 markings/sec, 85 secs
lola: 1244205 markings, 48527759 edges, 11827 markings/sec, 90 secs
lola: 1307409 markings, 51095104 edges, 12641 markings/sec, 95 secs
lola: 1373689 markings, 53643185 edges, 13256 markings/sec, 100 secs
lola: 1443134 markings, 56165681 edges, 13889 markings/sec, 105 secs
lola: 1513093 markings, 58701985 edges, 13992 markings/sec, 110 secs
lola: 1585281 markings, 61216989 edges, 14438 markings/sec, 115 secs
lola: 1663358 markings, 63771745 edges, 15615 markings/sec, 120 secs
lola: 1736213 markings, 66367447 edges, 14571 markings/sec, 125 secs
lola: 1803327 markings, 68843203 edges, 13423 markings/sec, 130 secs
lola: 1870554 markings, 71121144 edges, 13445 markings/sec, 135 secs
lola: 1940143 markings, 73329188 edges, 13918 markings/sec, 140 secs
lola: 2005110 markings, 75663629 edges, 12993 markings/sec, 145 secs
lola: 2071296 markings, 78074461 edges, 13237 markings/sec, 150 secs
lola: 2146529 markings, 80638735 edges, 15047 markings/sec, 155 secs
lola: 2229407 markings, 83196971 edges, 16576 markings/sec, 160 secs
lola: 2303621 markings, 85768806 edges, 14843 markings/sec, 165 secs
lola: 2382558 markings, 88335571 edges, 15787 markings/sec, 170 secs
lola: 2459575 markings, 90906900 edges, 15403 markings/sec, 175 secs
lola: 2541602 markings, 93450551 edges, 16405 markings/sec, 180 secs
lola: 2622368 markings, 96006081 edges, 16153 markings/sec, 185 secs
lola: 2706970 markings, 98555552 edges, 16920 markings/sec, 190 secs
lola: 2789640 markings, 101098689 edges, 16534 markings/sec, 195 secs
lola: 2875991 markings, 103634765 edges, 17270 markings/sec, 200 secs
lola: 2939107 markings, 106223160 edges, 12623 markings/sec, 205 secs
lola: 2996239 markings, 108812661 edges, 11426 markings/sec, 210 secs
lola: 3062481 markings, 111389576 edges, 13248 markings/sec, 215 secs
lola: 3129708 markings, 113942806 edges, 13445 markings/sec, 220 secs
lola: 3190080 markings, 116499993 edges, 12074 markings/sec, 225 secs
lola: 3246700 markings, 119055266 edges, 11324 markings/sec, 230 secs
lola: 3303313 markings, 121282399 edges, 11323 markings/sec, 235 secs
lola: 3368858 markings, 123741665 edges, 13109 markings/sec, 240 secs
lola: 3438524 markings, 126264690 edges, 13933 markings/sec, 245 secs
lola: 3508682 markings, 128782743 edges, 14032 markings/sec, 250 secs
lola: 3581833 markings, 131308342 edges, 14630 markings/sec, 255 secs
lola: 3649193 markings, 133881872 edges, 13472 markings/sec, 260 secs
lola: 3710599 markings, 136485986 edges, 12281 markings/sec, 265 secs
lola: 3771893 markings, 139079899 edges, 12259 markings/sec, 270 secs
lola: 3838682 markings, 141668402 edges, 13358 markings/sec, 275 secs
lola: 3906886 markings, 144240688 edges, 13641 markings/sec, 280 secs
lola: 3969313 markings, 146817638 edges, 12485 markings/sec, 285 secs
lola: 4028653 markings, 149398170 edges, 11868 markings/sec, 290 secs
lola: 4094477 markings, 151966889 edges, 13165 markings/sec, 295 secs
lola: 4165343 markings, 154524419 edges, 14173 markings/sec, 300 secs
lola: 4236859 markings, 157084146 edges, 14303 markings/sec, 305 secs
lola: 4307281 markings, 159632939 edges, 14084 markings/sec, 310 secs
lola: 4381141 markings, 162176621 edges, 14772 markings/sec, 315 secs
lola: 4456764 markings, 164718369 edges, 15125 markings/sec, 320 secs
lola: 4535975 markings, 167245092 edges, 15842 markings/sec, 325 secs
lola: 4608215 markings, 169828174 edges, 14448 markings/sec, 330 secs
lola: 4678284 markings, 172410740 edges, 14014 markings/sec, 335 secs
lola: 4754315 markings, 174986185 edges, 15206 markings/sec, 340 secs
lola: 4827931 markings, 177511839 edges, 14723 markings/sec, 345 secs
lola: 4905127 markings, 180037011 edges, 15439 markings/sec, 350 secs
lola: 4976980 markings, 182589283 edges, 14371 markings/sec, 355 secs
lola: 5047471 markings, 185134986 edges, 14098 markings/sec, 360 secs
lola: 5122704 markings, 187673979 edges, 15047 markings/sec, 365 secs
lola: 5203699 markings, 190206091 edges, 16199 markings/sec, 370 secs
lola: 5284719 markings, 192750280 edges, 16204 markings/sec, 375 secs
lola: 5363596 markings, 195278802 edges, 15775 markings/sec, 380 secs
lola: 5440530 markings, 197795328 edges, 15387 markings/sec, 385 secs
lola: 5520254 markings, 200322324 edges, 15945 markings/sec, 390 secs
lola: 5596204 markings, 202863342 edges, 15190 markings/sec, 395 secs
lola: 5667993 markings, 205411514 edges, 14358 markings/sec, 400 secs
lola: 5739578 markings, 207954466 edges, 14317 markings/sec, 405 secs
lola: 5801221 markings, 210521476 edges, 12329 markings/sec, 410 secs
lola: 5861524 markings, 213102746 edges, 12061 markings/sec, 415 secs
lola: 5924723 markings, 215680913 edges, 12640 markings/sec, 420 secs
lola: 5996423 markings, 218233416 edges, 14340 markings/sec, 425 secs
lola: 6061325 markings, 220801853 edges, 12980 markings/sec, 430 secs
lola: 6121898 markings, 223366400 edges, 12115 markings/sec, 435 secs
lola: 6181063 markings, 225922575 edges, 11833 markings/sec, 440 secs
lola: 6246238 markings, 228466326 edges, 13035 markings/sec, 445 secs
lola: 6316597 markings, 231007785 edges, 14072 markings/sec, 450 secs
lola: 6385148 markings, 233554275 edges, 13710 markings/sec, 455 secs
lola: 6457774 markings, 236076588 edges, 14525 markings/sec, 460 secs
lola: 6528592 markings, 238592940 edges, 14164 markings/sec, 465 secs
lola: 6590664 markings, 241173426 edges, 12414 markings/sec, 470 secs
lola: 6651871 markings, 243778225 edges, 12241 markings/sec, 475 secs
lola: 6715571 markings, 246390167 edges, 12740 markings/sec, 480 secs
lola: 6787340 markings, 248949289 edges, 14354 markings/sec, 485 secs
lola: 6842907 markings, 251231990 edges, 11113 markings/sec, 490 secs
lola: 6898556 markings, 253568160 edges, 11130 markings/sec, 495 secs
lola: 6958132 markings, 256114780 edges, 11915 markings/sec, 500 secs
lola: 7023266 markings, 258691091 edges, 13027 markings/sec, 505 secs
lola: 7094680 markings, 261249486 edges, 14283 markings/sec, 510 secs
lola: 7162478 markings, 263828363 edges, 13560 markings/sec, 515 secs
lola: 7234335 markings, 266379126 edges, 14371 markings/sec, 520 secs
lola: 7306086 markings, 268927188 edges, 14350 markings/sec, 525 secs
lola: 7386333 markings, 271465341 edges, 16049 markings/sec, 530 secs
lola: 7463438 markings, 274018728 edges, 15421 markings/sec, 535 secs
lola: 7532551 markings, 276607997 edges, 13823 markings/sec, 540 secs
lola: 7605136 markings, 279186607 edges, 14517 markings/sec, 545 secs
lola: 7684224 markings, 281754474 edges, 15818 markings/sec, 550 secs
lola: 7762218 markings, 284295100 edges, 15599 markings/sec, 555 secs
lola: 7841533 markings, 286812987 edges, 15863 markings/sec, 560 secs
lola: 7913530 markings, 289371658 edges, 14399 markings/sec, 565 secs
lola: 7983125 markings, 291924815 edges, 13919 markings/sec, 570 secs
lola: 8062054 markings, 294449058 edges, 15786 markings/sec, 575 secs
lola: 8143430 markings, 296982641 edges, 16275 markings/sec, 580 secs
lola: 8223074 markings, 299513380 edges, 15929 markings/sec, 585 secs
lola: 8304039 markings, 302035863 edges, 16193 markings/sec, 590 secs
lola: 8383496 markings, 304565445 edges, 15891 markings/sec, 595 secs
lola: 8464663 markings, 307092753 edges, 16233 markings/sec, 600 secs
lola: 8544247 markings, 309630754 edges, 15917 markings/sec, 605 secs
lola: 8629800 markings, 312145283 edges, 17111 markings/sec, 610 secs
lola: 8690137 markings, 314703672 edges, 12067 markings/sec, 615 secs
lola: 8748515 markings, 317280053 edges, 11676 markings/sec, 620 secs
lola: 8813300 markings, 319843705 edges, 12957 markings/sec, 625 secs
lola: 8883172 markings, 322391155 edges, 13974 markings/sec, 630 secs
lola: 8943955 markings, 324970571 edges, 12157 markings/sec, 635 secs
lola: 9003583 markings, 327564808 edges, 11926 markings/sec, 640 secs
lola: 9068051 markings, 330156885 edges, 12894 markings/sec, 645 secs
lola: 9139763 markings, 332714182 edges, 14342 markings/sec, 650 secs
lola: 9208092 markings, 335281297 edges, 13666 markings/sec, 655 secs
lola: 9279431 markings, 337817905 edges, 14268 markings/sec, 660 secs
lola: 9350589 markings, 340348019 edges, 14232 markings/sec, 665 secs
lola: 9422800 markings, 342887077 edges, 14442 markings/sec, 670 secs
lola: 9504068 markings, 345398645 edges, 16254 markings/sec, 675 secs
lola: 9568781 markings, 347937684 edges, 12943 markings/sec, 680 secs
lola: 9628918 markings, 350476471 edges, 12027 markings/sec, 685 secs
lola: 9689669 markings, 353034113 edges, 12150 markings/sec, 690 secs
lola: 9753457 markings, 355391274 edges, 12758 markings/sec, 695 secs
lola: 9812592 markings, 357581103 edges, 11827 markings/sec, 700 secs
lola: 9868448 markings, 359932846 edges, 11171 markings/sec, 705 secs
lola: 9927495 markings, 362420685 edges, 11809 markings/sec, 710 secs
lola: 9988693 markings, 364972909 edges, 12240 markings/sec, 715 secs
lola: 10060037 markings, 367512314 edges, 14269 markings/sec, 720 secs
lola: 10127643 markings, 370055215 edges, 13521 markings/sec, 725 secs
lola: 10197759 markings, 372576378 edges, 14023 markings/sec, 730 secs
lola: 10268098 markings, 375076432 edges, 14068 markings/sec, 735 secs
lola: 10341074 markings, 377588178 edges, 14595 markings/sec, 740 secs
lola: 10420853 markings, 380079549 edges, 15956 markings/sec, 745 secs
lola: 10491791 markings, 382624350 edges, 14188 markings/sec, 750 secs
lola: 10559928 markings, 385166153 edges, 13627 markings/sec, 755 secs
lola: 10634739 markings, 387682273 edges, 14962 markings/sec, 760 secs
lola: 10715715 markings, 390204529 edges, 16195 markings/sec, 765 secs
lola: 10786278 markings, 392760465 edges, 14113 markings/sec, 770 secs
lola: 10852708 markings, 395106668 edges, 13286 markings/sec, 775 secs
lola: 10915740 markings, 397327867 edges, 12606 markings/sec, 780 secs
lola: 10982296 markings, 399535942 edges, 13311 markings/sec, 785 secs
lola: 11059953 markings, 401978129 edges, 15531 markings/sec, 790 secs
lola: 11140707 markings, 404504827 edges, 16151 markings/sec, 795 secs
lola: 11218310 markings, 407021729 edges, 15521 markings/sec, 800 secs
lola: 11298263 markings, 409531246 edges, 15991 markings/sec, 805 secs
lola: 11379392 markings, 412028515 edges, 16226 markings/sec, 810 secs
lola: 11463985 markings, 414541692 edges, 16919 markings/sec, 815 secs
lola: 11553409 markings, 417041896 edges, 17885 markings/sec, 820 secs
lola: 11626337 markings, 419570274 edges, 14586 markings/sec, 825 secs
lola: 11697595 markings, 422100677 edges, 14252 markings/sec, 830 secs
lola: 11769788 markings, 424642425 edges, 14439 markings/sec, 835 secs
lola: 11850574 markings, 427174415 edges, 16157 markings/sec, 840 secs
lola: 11928568 markings, 429698825 edges, 15599 markings/sec, 845 secs
lola: 11999909 markings, 432238830 edges, 14268 markings/sec, 850 secs
lola: 12069277 markings, 434782173 edges, 13874 markings/sec, 855 secs
lola: 12142890 markings, 437299993 edges, 14723 markings/sec, 860 secs
lola: 12224036 markings, 439816825 edges, 16229 markings/sec, 865 secs
lola: 12305952 markings, 442329844 edges, 16383 markings/sec, 870 secs
lola: 12380342 markings, 444908746 edges, 14878 markings/sec, 875 secs
lola: 12450735 markings, 447490293 edges, 14079 markings/sec, 880 secs
lola: 12526899 markings, 450050462 edges, 15233 markings/sec, 885 secs
lola: 12608635 markings, 452597956 edges, 16347 markings/sec, 890 secs
lola: 12681749 markings, 455161578 edges, 14623 markings/sec, 895 secs
lola: 12753864 markings, 457721892 edges, 14423 markings/sec, 900 secs
lola: 12825588 markings, 460272195 edges, 14345 markings/sec, 905 secs
lola: 12902004 markings, 462815379 edges, 15283 markings/sec, 910 secs
lola: 12983121 markings, 465351360 edges, 16223 markings/sec, 915 secs
lola: 13065189 markings, 467880670 edges, 16414 markings/sec, 920 secs
lola: 13144751 markings, 470404872 edges, 15912 markings/sec, 925 secs
lola: 13229424 markings, 472920842 edges, 16935 markings/sec, 930 secs
lola: 13312408 markings, 475448381 edges, 16597 markings/sec, 935 secs
lola: 13394350 markings, 477968766 edges, 16388 markings/sec, 940 secs
lola: 13476004 markings, 480486445 edges, 16331 markings/sec, 945 secs
lola: 13549889 markings, 483049005 edges, 14777 markings/sec, 950 secs
lola: 13618607 markings, 485626962 edges, 13744 markings/sec, 955 secs
lola: 13694084 markings, 488182184 edges, 15095 markings/sec, 960 secs
lola: 13772277 markings, 490740850 edges, 15639 markings/sec, 965 secs
lola: 13851855 markings, 493280916 edges, 15916 markings/sec, 970 secs
lola: 13923695 markings, 495834520 edges, 14368 markings/sec, 975 secs
lola: 13991783 markings, 498386887 edges, 13618 markings/sec, 980 secs
lola: 14068184 markings, 500926501 edges, 15280 markings/sec, 985 secs
lola: 14145769 markings, 503452880 edges, 15517 markings/sec, 990 secs
lola: 14224435 markings, 505989292 edges, 15733 markings/sec, 995 secs
lola: 14305731 markings, 508492346 edges, 16259 markings/sec, 1000 secs
lola: 14387667 markings, 511027233 edges, 16387 markings/sec, 1005 secs
lola: 14470258 markings, 513568678 edges, 16518 markings/sec, 1010 secs
lola: 14553011 markings, 516124139 edges, 16551 markings/sec, 1015 secs
lola: 14639889 markings, 518671818 edges, 17376 markings/sec, 1020 secs
lola: 14709761 markings, 521278947 edges, 13974 markings/sec, 1025 secs
lola: 14782279 markings, 523861479 edges, 14504 markings/sec, 1030 secs
lola: 14859041 markings, 526436042 edges, 15352 markings/sec, 1035 secs
lola: 14939337 markings, 528998172 edges, 16059 markings/sec, 1040 secs
lola: 15012059 markings, 531574083 edges, 14544 markings/sec, 1045 secs
lola: 15083405 markings, 534148038 edges, 14269 markings/sec, 1050 secs
lola: 15156773 markings, 536698638 edges, 14674 markings/sec, 1055 secs
lola: 15239240 markings, 539241025 edges, 16493 markings/sec, 1060 secs
lola: 15317929 markings, 541792815 edges, 15738 markings/sec, 1065 secs
lola: 15399218 markings, 544348277 edges, 16258 markings/sec, 1070 secs
lola: 15479898 markings, 546885150 edges, 16136 markings/sec, 1075 secs
lola: 15564717 markings, 549412850 edges, 16964 markings/sec, 1080 secs
lola: 15652846 markings, 551936860 edges, 17626 markings/sec, 1085 secs
lola: 15723927 markings, 554480366 edges, 14216 markings/sec, 1090 secs
lola: 15792844 markings, 557016458 edges, 13783 markings/sec, 1095 secs
lola: 15867016 markings, 559538763 edges, 14834 markings/sec, 1100 secs
lola: 15948318 markings, 562043205 edges, 16260 markings/sec, 1105 secs
lola: 16020389 markings, 564590286 edges, 14414 markings/sec, 1110 secs
lola: 16092381 markings, 567146130 edges, 14398 markings/sec, 1115 secs
lola: 16164095 markings, 569695695 edges, 14343 markings/sec, 1120 secs
lola: 16240400 markings, 572232906 edges, 15261 markings/sec, 1125 secs
lola: 16320955 markings, 574743374 edges, 16111 markings/sec, 1130 secs
lola: 16405939 markings, 577235901 edges, 16997 markings/sec, 1135 secs
lola: 16491114 markings, 579736217 edges, 17035 markings/sec, 1140 secs
lola: 16572215 markings, 582245056 edges, 16220 markings/sec, 1145 secs
lola: 16650400 markings, 584752977 edges, 15637 markings/sec, 1150 secs
lola: 16732604 markings, 587252896 edges, 16441 markings/sec, 1155 secs
lola: 16810900 markings, 589765152 edges, 15659 markings/sec, 1160 secs
lola: 16881669 markings, 592086109 edges, 14154 markings/sec, 1165 secs
lola: 16945309 markings, 594331735 edges, 12728 markings/sec, 1170 secs
lola: 17007864 markings, 596623081 edges, 12511 markings/sec, 1175 secs
lola: 17079885 markings, 599085362 edges, 14404 markings/sec, 1180 secs
lola: 17160603 markings, 601579807 edges, 16144 markings/sec, 1185 secs
lola: 17238851 markings, 604077738 edges, 15650 markings/sec, 1190 secs
lola: 17319906 markings, 606574100 edges, 16211 markings/sec, 1195 secs
lola: 17400274 markings, 609079839 edges, 16074 markings/sec, 1200 secs
lola: 17487568 markings, 611566522 edges, 17459 markings/sec, 1205 secs
lola: 17568912 markings, 614097122 edges, 16269 markings/sec, 1210 secs
lola: 17650394 markings, 616615038 edges, 16296 markings/sec, 1215 secs
lola: 17731137 markings, 619096558 edges, 16149 markings/sec, 1220 secs
lola: 17819169 markings, 621569855 edges, 17606 markings/sec, 1225 secs
lola: 17900465 markings, 624098655 edges, 16259 markings/sec, 1230 secs
lola: 17986932 markings, 626600934 edges, 17293 markings/sec, 1235 secs
lola: 18068227 markings, 629106734 edges, 16259 markings/sec, 1240 secs
lola: 18136530 markings, 631310784 edges, 13661 markings/sec, 1245 secs
lola: 18208667 markings, 633458178 edges, 14427 markings/sec, 1250 secs
lola: 18287793 markings, 635721278 edges, 15825 markings/sec, 1255 secs
lola: 18373978 markings, 638249277 edges, 17237 markings/sec, 1260 secs
lola: 18456752 markings, 640796517 edges, 16555 markings/sec, 1265 secs
lola: 18539643 markings, 643351410 edges, 16578 markings/sec, 1270 secs
lola: 18627948 markings, 645895017 edges, 17661 markings/sec, 1275 secs
lola: 18712964 markings, 648317356 edges, 17003 markings/sec, 1280 secs
lola: 18788922 markings, 650517302 edges, 15192 markings/sec, 1285 secs
lola: 18868993 markings, 652911571 edges, 16014 markings/sec, 1290 secs
lola: 18949002 markings, 655111345 edges, 16002 markings/sec, 1295 secs
lola: 19028834 markings, 657317160 edges, 15966 markings/sec, 1300 secs
lola: 19105878 markings, 659487834 edges, 15409 markings/sec, 1305 secs
lola: 19183957 markings, 661697048 edges, 15616 markings/sec, 1310 secs
lola: 19273846 markings, 664159862 edges, 17978 markings/sec, 1315 secs
lola: 19360563 markings, 666669520 edges, 17343 markings/sec, 1320 secs
lola: 19447120 markings, 669164606 edges, 17311 markings/sec, 1325 secs
lola: 19527590 markings, 671658745 edges, 16094 markings/sec, 1330 secs
lola: 19608831 markings, 674139483 edges, 16248 markings/sec, 1335 secs
lola: 19692057 markings, 676641206 edges, 16645 markings/sec, 1340 secs
lola: 19772147 markings, 679107007 edges, 16018 markings/sec, 1345 secs
lola: 19859505 markings, 681570813 edges, 17472 markings/sec, 1350 secs
lola: 19946882 markings, 684044952 edges, 17475 markings/sec, 1355 secs
lola: 20034570 markings, 686539794 edges, 17538 markings/sec, 1360 secs
lola: 20123912 markings, 689023284 edges, 17868 markings/sec, 1365 secs
lola: 20211345 markings, 691506091 edges, 17487 markings/sec, 1370 secs
lola: 20301585 markings, 693963051 edges, 18048 markings/sec, 1375 secs
lola: 20390421 markings, 696452610 edges, 17767 markings/sec, 1380 secs
lola: 20474731 markings, 698958390 edges, 16862 markings/sec, 1385 secs
lola: 20546908 markings, 701524604 edges, 14435 markings/sec, 1390 secs
lola: 20616878 markings, 704063788 edges, 13994 markings/sec, 1395 secs
lola: 20692341 markings, 706610411 edges, 15093 markings/sec, 1400 secs
lola: 20767881 markings, 708979220 edges, 15108 markings/sec, 1405 secs
lola: 20839180 markings, 711529575 edges, 14260 markings/sec, 1410 secs
lola: 20909442 markings, 714069166 edges, 14052 markings/sec, 1415 secs
lola: 20983490 markings, 716597942 edges, 14810 markings/sec, 1420 secs
lola: 21064603 markings, 719119717 edges, 16223 markings/sec, 1425 secs
lola: 21141332 markings, 721637175 edges, 15346 markings/sec, 1430 secs
lola: 21223002 markings, 724152923 edges, 16334 markings/sec, 1435 secs
lola: 21302044 markings, 726683119 edges, 15808 markings/sec, 1440 secs
lola: 21384319 markings, 729179735 edges, 16455 markings/sec, 1445 secs
lola: 21475111 markings, 731662824 edges, 18158 markings/sec, 1450 secs
lola: 21564332 markings, 734153653 edges, 17844 markings/sec, 1455 secs
lola: 21657578 markings, 736624262 edges, 18649 markings/sec, 1460 secs
lola: 21752335 markings, 739090839 edges, 18951 markings/sec, 1465 secs
lola: 21834768 markings, 741625893 edges, 16487 markings/sec, 1470 secs
lola: 21915095 markings, 744151136 edges, 16065 markings/sec, 1475 secs
lola: 21998690 markings, 746667831 edges, 16719 markings/sec, 1480 secs
lola: 22089898 markings, 749174634 edges, 18242 markings/sec, 1485 secs
lola: 22177742 markings, 751688201 edges, 17569 markings/sec, 1490 secs
lola: 22268765 markings, 754173692 edges, 18205 markings/sec, 1495 secs
lola: 22355658 markings, 756689878 edges, 17379 markings/sec, 1500 secs
lola: 22444508 markings, 759165111 edges, 17770 markings/sec, 1505 secs
lola: 22531905 markings, 761666794 edges, 17479 markings/sec, 1510 secs
lola: 22603559 markings, 764212343 edges, 14331 markings/sec, 1515 secs
lola: 22673747 markings, 766752354 edges, 14038 markings/sec, 1520 secs
lola: 22748679 markings, 769281635 edges, 14986 markings/sec, 1525 secs
lola: 22828857 markings, 771798359 edges, 16036 markings/sec, 1530 secs
lola: 22900724 markings, 774326905 edges, 14373 markings/sec, 1535 secs
lola: 22970865 markings, 776849715 edges, 14028 markings/sec, 1540 secs
lola: 23043217 markings, 779366210 edges, 14470 markings/sec, 1545 secs
lola: 23123670 markings, 781869494 edges, 16091 markings/sec, 1550 secs
lola: 23199172 markings, 784385224 edges, 15100 markings/sec, 1555 secs
lola: 23255626 markings, 786937026 edges, 11291 markings/sec, 1560 secs
lola: 23313069 markings, 789479334 edges, 11489 markings/sec, 1565 secs
lola: 23379920 markings, 791996511 edges, 13370 markings/sec, 1570 secs
lola: 23448708 markings, 794517297 edges, 13758 markings/sec, 1575 secs
lola: 23510410 markings, 797065790 edges, 12340 markings/sec, 1580 secs
lola: 23570992 markings, 799631479 edges, 12116 markings/sec, 1585 secs
lola: 23632801 markings, 802198157 edges, 12362 markings/sec, 1590 secs
lola: 23704141 markings, 804736483 edges, 14268 markings/sec, 1595 secs
lola: 23770735 markings, 807281964 edges, 13319 markings/sec, 1600 secs
lola: 23832423 markings, 809605657 edges, 12338 markings/sec, 1605 secs
lola: 23894176 markings, 811778703 edges, 12351 markings/sec, 1610 secs
lola: 23960210 markings, 814052236 edges, 13207 markings/sec, 1615 secs
lola: 24036468 markings, 816551228 edges, 15252 markings/sec, 1620 secs
lola: 24097642 markings, 819145908 edges, 12235 markings/sec, 1625 secs
lola: 24156292 markings, 821739191 edges, 11730 markings/sec, 1630 secs
lola: 24221364 markings, 824313518 edges, 13014 markings/sec, 1635 secs
lola: 24290633 markings, 826875887 edges, 13854 markings/sec, 1640 secs
lola: 24352651 markings, 829436393 edges, 12404 markings/sec, 1645 secs
lola: 24411546 markings, 832002063 edges, 11779 markings/sec, 1650 secs
lola: 24475886 markings, 834551314 edges, 12868 markings/sec, 1655 secs
lola: 24546595 markings, 837098876 edges, 14142 markings/sec, 1660 secs
lola: 24612959 markings, 839642177 edges, 13273 markings/sec, 1665 secs
lola: 24684175 markings, 842168658 edges, 14243 markings/sec, 1670 secs
lola: 24756493 markings, 844708769 edges, 14464 markings/sec, 1675 secs
lola: 24827871 markings, 847251935 edges, 14276 markings/sec, 1680 secs
lola: 24904416 markings, 849772169 edges, 15309 markings/sec, 1685 secs
lola: 24969960 markings, 852105132 edges, 13109 markings/sec, 1690 secs
lola: 25031256 markings, 854393573 edges, 12259 markings/sec, 1695 secs
lola: 25104713 markings, 856864535 edges, 14691 markings/sec, 1700 secs
lola: 25176652 markings, 859327154 edges, 14388 markings/sec, 1705 secs
lola: 25249737 markings, 861891579 edges, 14617 markings/sec, 1710 secs
lola: 25321227 markings, 864451824 edges, 14298 markings/sec, 1715 secs
lola: 25395479 markings, 866981268 edges, 14850 markings/sec, 1720 secs
lola: 25475095 markings, 869496461 edges, 15923 markings/sec, 1725 secs
lola: 25555505 markings, 871999195 edges, 16082 markings/sec, 1730 secs
lola: 25634152 markings, 874510793 edges, 15729 markings/sec, 1735 secs
lola: 25714597 markings, 877009475 edges, 16089 markings/sec, 1740 secs
lola: 25795626 markings, 879545336 edges, 16206 markings/sec, 1745 secs
lola: 25875782 markings, 882062433 edges, 16031 markings/sec, 1750 secs
lola: 25957627 markings, 884562290 edges, 16369 markings/sec, 1755 secs
lola: 26019061 markings, 887169660 edges, 12287 markings/sec, 1760 secs
lola: 26078318 markings, 889774755 edges, 11851 markings/sec, 1765 secs
lola: 26137155 markings, 892113975 edges, 11767 markings/sec, 1770 secs
lola: 26203036 markings, 894474910 edges, 13176 markings/sec, 1775 secs
lola: 26263941 markings, 897064635 edges, 12181 markings/sec, 1780 secs
lola: 26323817 markings, 899571783 edges, 11975 markings/sec, 1785 secs
lola: 26379627 markings, 901921366 edges, 11162 markings/sec, 1790 secs
lola: 26441675 markings, 904309452 edges, 12410 markings/sec, 1795 secs
lola: 26511854 markings, 906762354 edges, 14036 markings/sec, 1800 secs
lola: 26581389 markings, 909233988 edges, 13907 markings/sec, 1805 secs
lola: 26644917 markings, 911602403 edges, 12706 markings/sec, 1810 secs
lola: 26712956 markings, 914011566 edges, 13608 markings/sec, 1815 secs
lola: 26785975 markings, 916518330 edges, 14604 markings/sec, 1820 secs
lola: 26850896 markings, 919101565 edges, 12984 markings/sec, 1825 secs
lola: 26913108 markings, 921675564 edges, 12442 markings/sec, 1830 secs
lola: 26967629 markings, 923965356 edges, 10904 markings/sec, 1835 secs
lola: 27024842 markings, 926210679 edges, 11443 markings/sec, 1840 secs
lola: 27087870 markings, 928452611 edges, 12606 markings/sec, 1845 secs
lola: 27141794 markings, 930782877 edges, 10785 markings/sec, 1850 secs
lola: 27193445 markings, 933030572 edges, 10330 markings/sec, 1855 secs
lola: 27255949 markings, 935594871 edges, 12501 markings/sec, 1860 secs
lola: 27327699 markings, 938145842 edges, 14350 markings/sec, 1865 secs
lola: 27395300 markings, 940699754 edges, 13520 markings/sec, 1870 secs
lola: 27466467 markings, 943224444 edges, 14233 markings/sec, 1875 secs
lola: 27536406 markings, 945774988 edges, 13988 markings/sec, 1880 secs
lola: 27611321 markings, 948307598 edges, 14983 markings/sec, 1885 secs
lola: 27691702 markings, 950826029 edges, 16076 markings/sec, 1890 secs
lola: 27764109 markings, 953413164 edges, 14481 markings/sec, 1895 secs
lola: 27835899 markings, 956003661 edges, 14358 markings/sec, 1900 secs
lola: 27910414 markings, 958580990 edges, 14903 markings/sec, 1905 secs
lola: 27992259 markings, 961137176 edges, 16369 markings/sec, 1910 secs
lola: 28072014 markings, 963673390 edges, 15951 markings/sec, 1915 secs
lola: 28144446 markings, 966237008 edges, 14486 markings/sec, 1920 secs
lola: 28215382 markings, 968794186 edges, 14187 markings/sec, 1925 secs
lola: 28288995 markings, 971342877 edges, 14723 markings/sec, 1930 secs
lola: 28371008 markings, 973879518 edges, 16403 markings/sec, 1935 secs
lola: 28448502 markings, 976419871 edges, 15499 markings/sec, 1940 secs
lola: 28530834 markings, 978958666 edges, 16466 markings/sec, 1945 secs
lola: 28601817 markings, 981500179 edges, 14197 markings/sec, 1950 secs
lola: 28670476 markings, 984045949 edges, 13732 markings/sec, 1955 secs
lola: 28745241 markings, 986569931 edges, 14953 markings/sec, 1960 secs
lola: 28812639 markings, 988778874 edges, 13480 markings/sec, 1965 secs
lola: 28883865 markings, 991014637 edges, 14245 markings/sec, 1970 secs
lola: 28949055 markings, 993322265 edges, 13038 markings/sec, 1975 secs
lola: 29016919 markings, 995837071 edges, 13573 markings/sec, 1980 secs
lola: 29091655 markings, 998331112 edges, 14947 markings/sec, 1985 secs
lola: 29171271 markings, 1000827101 edges, 15923 markings/sec, 1990 secs
lola: 29251862 markings, 1003304614 edges, 16118 markings/sec, 1995 secs
lola: 29338961 markings, 1005779945 edges, 17420 markings/sec, 2000 secs
lola: 29414131 markings, 1008307201 edges, 15034 markings/sec, 2005 secs
lola: 29482160 markings, 1010855635 edges, 13606 markings/sec, 2010 secs
lola: 29556485 markings, 1013374625 edges, 14865 markings/sec, 2015 secs
lola: 29633206 markings, 1015883914 edges, 15344 markings/sec, 2020 secs
lola: 29709363 markings, 1018377266 edges, 15231 markings/sec, 2025 secs
lola: 29779570 markings, 1020865706 edges, 14041 markings/sec, 2030 secs
lola: 29849533 markings, 1023352633 edges, 13993 markings/sec, 2035 secs
lola: 29924814 markings, 1025830091 edges, 15056 markings/sec, 2040 secs
lola: 30002550 markings, 1028304984 edges, 15547 markings/sec, 2045 secs
lola: 30079473 markings, 1030791602 edges, 15385 markings/sec, 2050 secs
lola: 30156644 markings, 1033294778 edges, 15434 markings/sec, 2055 secs
lola: 30235278 markings, 1035824518 edges, 15727 markings/sec, 2060 secs
lola: 30317802 markings, 1038339322 edges, 16505 markings/sec, 2065 secs
lola: 30381904 markings, 1040905268 edges, 12820 markings/sec, 2070 secs
lola: 30442893 markings, 1043490568 edges, 12198 markings/sec, 2075 secs
lola: 30505920 markings, 1046083810 edges, 12605 markings/sec, 2080 secs
lola: 30577332 markings, 1048634038 edges, 14282 markings/sec, 2085 secs
lola: 30639273 markings, 1051202129 edges, 12388 markings/sec, 2090 secs
lola: 30699731 markings, 1053763130 edges, 12092 markings/sec, 2095 secs
lola: 30760128 markings, 1056319516 edges, 12079 markings/sec, 2100 secs
lola: 30828680 markings, 1058861931 edges, 13710 markings/sec, 2105 secs
lola: 30897092 markings, 1061405870 edges, 13682 markings/sec, 2110 secs
lola: 30968064 markings, 1063949136 edges, 14194 markings/sec, 2115 secs
lola: 31037867 markings, 1066481768 edges, 13961 markings/sec, 2120 secs
lola: 31112906 markings, 1069006217 edges, 15008 markings/sec, 2125 secs
lola: 31188857 markings, 1071405298 edges, 15190 markings/sec, 2130 secs
lola: 31251466 markings, 1073580923 edges, 12522 markings/sec, 2135 secs
lola: 31307150 markings, 1075818967 edges, 11137 markings/sec, 2140 secs
lola: 31363485 markings, 1078184941 edges, 11267 markings/sec, 2145 secs
lola: 31424032 markings, 1080741255 edges, 12109 markings/sec, 2150 secs
lola: 31490458 markings, 1083294793 edges, 13285 markings/sec, 2155 secs
lola: 31557612 markings, 1085831414 edges, 13431 markings/sec, 2160 secs
lola: 31617749 markings, 1088370221 edges, 12027 markings/sec, 2165 secs
lola: 31677686 markings, 1090906664 edges, 11987 markings/sec, 2170 secs
lola: 31745259 markings, 1093429332 edges, 13515 markings/sec, 2175 secs
lola: 31812222 markings, 1095951761 edges, 13393 markings/sec, 2180 secs
lola: 31882545 markings, 1098450639 edges, 14065 markings/sec, 2185 secs
lola: 31951069 markings, 1100968683 edges, 13705 markings/sec, 2190 secs
lola: 32022564 markings, 1103486538 edges, 14299 markings/sec, 2195 secs
lola: 32096301 markings, 1105986372 edges, 14747 markings/sec, 2200 secs
lola: 32174224 markings, 1108488114 edges, 15585 markings/sec, 2205 secs
lola: 32246221 markings, 1111048641 edges, 14399 markings/sec, 2210 secs
lola: 32315563 markings, 1113596854 edges, 13868 markings/sec, 2215 secs
lola: 32386811 markings, 1116124323 edges, 14250 markings/sec, 2220 secs
lola: 32458013 markings, 1118650220 edges, 14240 markings/sec, 2225 secs
lola: 32538646 markings, 1121162716 edges, 16127 markings/sec, 2230 secs
lola: 32614372 markings, 1123677880 edges, 15145 markings/sec, 2235 secs
lola: 32692016 markings, 1126203193 edges, 15529 markings/sec, 2240 secs
lola: 32763779 markings, 1128759144 edges, 14353 markings/sec, 2245 secs
lola: 32839226 markings, 1131312464 edges, 15089 markings/sec, 2250 secs
lola: 32921274 markings, 1133828954 edges, 16410 markings/sec, 2255 secs
lola: 33001345 markings, 1136329452 edges, 16014 markings/sec, 2260 secs
lola: 33063639 markings, 1138876811 edges, 12459 markings/sec, 2265 secs
lola: 33121889 markings, 1141418022 edges, 11650 markings/sec, 2270 secs
lola: 33185847 markings, 1143950579 edges, 12792 markings/sec, 2275 secs
lola: 33252243 markings, 1146474891 edges, 13279 markings/sec, 2280 secs
lola: 33315787 markings, 1149034551 edges, 12709 markings/sec, 2285 secs
lola: 33376200 markings, 1151596578 edges, 12083 markings/sec, 2290 secs
lola: 33438976 markings, 1154147736 edges, 12555 markings/sec, 2295 secs
lola: 33509730 markings, 1156682574 edges, 14151 markings/sec, 2300 secs
lola: 33575327 markings, 1159212082 edges, 13119 markings/sec, 2305 secs
lola: 33642629 markings, 1161737530 edges, 13460 markings/sec, 2310 secs
lola: 33710183 markings, 1164268201 edges, 13511 markings/sec, 2315 secs
lola: 33785373 markings, 1166772946 edges, 15038 markings/sec, 2320 secs
lola: 33861635 markings, 1169256399 edges, 15252 markings/sec, 2325 secs
lola: 33923448 markings, 1171797678 edges, 12363 markings/sec, 2330 secs
lola: 33983505 markings, 1174347050 edges, 12011 markings/sec, 2335 secs
lola: 34044312 markings, 1176874046 edges, 12161 markings/sec, 2340 secs
lola: 34112238 markings, 1179402388 edges, 13585 markings/sec, 2345 secs
lola: 34175913 markings, 1181927986 edges, 12735 markings/sec, 2350 secs
lola: 34235722 markings, 1184451930 edges, 11962 markings/sec, 2355 secs
lola: 34295363 markings, 1186970202 edges, 11928 markings/sec, 2360 secs
lola: 34361499 markings, 1189477559 edges, 13227 markings/sec, 2365 secs
lola: 34430153 markings, 1191987447 edges, 13731 markings/sec, 2370 secs
lola: 34499994 markings, 1194476923 edges, 13968 markings/sec, 2375 secs
lola: 34567665 markings, 1196971396 edges, 13534 markings/sec, 2380 secs
lola: 34638311 markings, 1199436877 edges, 14129 markings/sec, 2385 secs
lola: 34717960 markings, 1201892394 edges, 15930 markings/sec, 2390 secs
lola: 34792015 markings, 1204377749 edges, 14811 markings/sec, 2395 secs
lola: 34858064 markings, 1206752379 edges, 13210 markings/sec, 2400 secs
lola: 34920939 markings, 1209040042 edges, 12575 markings/sec, 2405 secs
lola: 34988551 markings, 1211417730 edges, 13522 markings/sec, 2410 secs
lola: 35065499 markings, 1213897217 edges, 15390 markings/sec, 2415 secs
lola: 35146608 markings, 1216390485 edges, 16222 markings/sec, 2420 secs
lola: 35217790 markings, 1218905822 edges, 14236 markings/sec, 2425 secs
lola: 35288003 markings, 1221411982 edges, 14043 markings/sec, 2430 secs
lola: 35359253 markings, 1223916444 edges, 14250 markings/sec, 2435 secs
lola: 35433595 markings, 1226436211 edges, 14868 markings/sec, 2440 secs
lola: 35505048 markings, 1228972205 edges, 14291 markings/sec, 2445 secs
lola: 35573766 markings, 1231502238 edges, 13744 markings/sec, 2450 secs
lola: 35649533 markings, 1234011750 edges, 15153 markings/sec, 2455 secs
lola: 35727242 markings, 1236511000 edges, 15542 markings/sec, 2460 secs
lola: 35807152 markings, 1238985580 edges, 15982 markings/sec, 2465 secs
lola: 35887518 markings, 1241474955 edges, 16073 markings/sec, 2470 secs
lola: 35972344 markings, 1243957205 edges, 16965 markings/sec, 2475 secs
lola: 36055618 markings, 1246423925 edges, 16655 markings/sec, 2480 secs
lola: 36134776 markings, 1248918392 edges, 15832 markings/sec, 2485 secs
lola: 36205732 markings, 1251440398 edges, 14191 markings/sec, 2490 secs
lola: 36273994 markings, 1253960007 edges, 13652 markings/sec, 2495 secs
lola: 36348340 markings, 1256465642 edges, 14869 markings/sec, 2500 secs
lola: 36426437 markings, 1258954969 edges, 15619 markings/sec, 2505 secs
lola: 36498514 markings, 1261471298 edges, 14415 markings/sec, 2510 secs
lola: 36568094 markings, 1263981604 edges, 13916 markings/sec, 2515 secs
lola: 36639786 markings, 1266504956 edges, 14338 markings/sec, 2520 secs
lola: 36716823 markings, 1269000325 edges, 15407 markings/sec, 2525 secs
lola: 36793258 markings, 1271487565 edges, 15287 markings/sec, 2530 secs
lola: 36873911 markings, 1273961910 edges, 16131 markings/sec, 2535 secs
lola: 36958939 markings, 1276459152 edges, 17006 markings/sec, 2540 secs
lola: 37030998 markings, 1279021252 edges, 14412 markings/sec, 2545 secs
lola: 37100268 markings, 1281583884 edges, 13854 markings/sec, 2550 secs
lola: 37174285 markings, 1284120524 edges, 14803 markings/sec, 2555 secs
lola: 37252654 markings, 1286649192 edges, 15674 markings/sec, 2560 secs
lola: 37333162 markings, 1289167218 edges, 16102 markings/sec, 2565 secs
lola: 37412325 markings, 1291667261 edges, 15833 markings/sec, 2570 secs
lola: 37492913 markings, 1294167562 edges, 16118 markings/sec, 2575 secs
lola: 37574855 markings, 1296679626 edges, 16388 markings/sec, 2580 secs
lola: 37653899 markings, 1299179294 edges, 15809 markings/sec, 2585 secs
lola: 37737217 markings, 1301686564 edges, 16664 markings/sec, 2590 secs
lola: 37820000 markings, 1304194446 edges, 16557 markings/sec, 2595 secs
lola: 37902047 markings, 1306723623 edges, 16409 markings/sec, 2600 secs
lola: 37988760 markings, 1309241754 edges, 17343 markings/sec, 2605 secs
lola: 38076171 markings, 1311721540 edges, 17482 markings/sec, 2610 secs
lola: 38157833 markings, 1314212042 edges, 16332 markings/sec, 2615 secs
lola: 38236763 markings, 1316659742 edges, 15786 markings/sec, 2620 secs
lola: 38319877 markings, 1319133043 edges, 16623 markings/sec, 2625 secs
lola: 38403704 markings, 1321641008 edges, 16765 markings/sec, 2630 secs
lola: 38485801 markings, 1324131172 edges, 16419 markings/sec, 2635 secs
lola: 38572223 markings, 1326594565 edges, 17284 markings/sec, 2640 secs
lola: 38658983 markings, 1329063176 edges, 17352 markings/sec, 2645 secs
lola: 38735623 markings, 1331576982 edges, 15328 markings/sec, 2650 secs
lola: 38807097 markings, 1334112108 edges, 14295 markings/sec, 2655 secs
lola: 38878726 markings, 1336661403 edges, 14326 markings/sec, 2660 secs
lola: 38955372 markings, 1339199145 edges, 15329 markings/sec, 2665 secs
lola: 39034534 markings, 1341708815 edges, 15832 markings/sec, 2670 secs
lola: 39104359 markings, 1344231946 edges, 13965 markings/sec, 2675 secs
lola: 39173483 markings, 1346761348 edges, 13825 markings/sec, 2680 secs
lola: 39247072 markings, 1349278501 edges, 14718 markings/sec, 2685 secs
lola: 39323575 markings, 1351787911 edges, 15301 markings/sec, 2690 secs
lola: 39403817 markings, 1354294050 edges, 16048 markings/sec, 2695 secs
lola: 39484790 markings, 1356783046 edges, 16195 markings/sec, 2700 secs
lola: 39565213 markings, 1359264042 edges, 16085 markings/sec, 2705 secs
lola: 39649245 markings, 1361745458 edges, 16806 markings/sec, 2710 secs
lola: 39734755 markings, 1364221569 edges, 17102 markings/sec, 2715 secs
lola: 39808477 markings, 1366742514 edges, 14744 markings/sec, 2720 secs
lola: 39879482 markings, 1369265068 edges, 14201 markings/sec, 2725 secs
lola: 39951370 markings, 1371785557 edges, 14378 markings/sec, 2730 secs
lola: 40031009 markings, 1374296559 edges, 15928 markings/sec, 2735 secs
lola: 40106376 markings, 1376815008 edges, 15073 markings/sec, 2740 secs
lola: 40178140 markings, 1379364637 edges, 14353 markings/sec, 2745 secs
lola: 40248282 markings, 1381909343 edges, 14028 markings/sec, 2750 secs
lola: 40323334 markings, 1384442549 edges, 15010 markings/sec, 2755 secs
lola: 40403811 markings, 1386946472 edges, 16095 markings/sec, 2760 secs
lola: 40482320 markings, 1389457165 edges, 15702 markings/sec, 2765 secs
lola: 40563493 markings, 1391950346 edges, 16235 markings/sec, 2770 secs
lola: 40643900 markings, 1394430639 edges, 16081 markings/sec, 2775 secs
lola: 40730354 markings, 1396909892 edges, 17291 markings/sec, 2780 secs
lola: 40817027 markings, 1399379519 edges, 17335 markings/sec, 2785 secs
lola: 40897067 markings, 1401882613 edges, 16008 markings/sec, 2790 secs
lola: 40975714 markings, 1404369746 edges, 15729 markings/sec, 2795 secs
lola: 41057631 markings, 1406841310 edges, 16383 markings/sec, 2800 secs
lola: 41146090 markings, 1409345693 edges, 17692 markings/sec, 2805 secs
lola: 41224211 markings, 1411846323 edges, 15624 markings/sec, 2810 secs
lola: 41307801 markings, 1414320155 edges, 16718 markings/sec, 2815 secs
lola: 41389325 markings, 1416815080 edges, 16305 markings/sec, 2820 secs
lola: 41469724 markings, 1419285486 edges, 16080 markings/sec, 2825 secs
lola: 41549689 markings, 1421758679 edges, 15993 markings/sec, 2830 secs
lola: 41634111 markings, 1424230018 edges, 16884 markings/sec, 2835 secs
lola: 41720250 markings, 1426683580 edges, 17228 markings/sec, 2840 secs
lola: 41801523 markings, 1429179972 edges, 16255 markings/sec, 2845 secs
lola: 41885682 markings, 1431669115 edges, 16832 markings/sec, 2850 secs
lola: 41970866 markings, 1434168310 edges, 17037 markings/sec, 2855 secs
lola: 42052033 markings, 1436491319 edges, 16233 markings/sec, 2860 secs
lola: 42139173 markings, 1438965445 edges, 17428 markings/sec, 2865 secs
lola: 42229615 markings, 1441435292 edges, 18088 markings/sec, 2870 secs
lola: 42310715 markings, 1443950464 edges, 16220 markings/sec, 2875 secs
lola: 42382533 markings, 1446500026 edges, 14364 markings/sec, 2880 secs
lola: 42452293 markings, 1449043240 edges, 13952 markings/sec, 2885 secs
lola: 42528807 markings, 1451582715 edges, 15303 markings/sec, 2890 secs
lola: 42596503 markings, 1453961157 edges, 13539 markings/sec, 2895 secs
lola: 42667292 markings, 1456478133 edges, 14158 markings/sec, 2900 secs
lola: 42737956 markings, 1458988326 edges, 14133 markings/sec, 2905 secs
lola: 42812347 markings, 1461484686 edges, 14878 markings/sec, 2910 secs
lola: 42896616 markings, 1463962603 edges, 16854 markings/sec, 2915 secs
lola: 42975950 markings, 1466140420 edges, 15867 markings/sec, 2920 secs
lola: 43059033 markings, 1468613931 edges, 16617 markings/sec, 2925 secs
lola: 43146310 markings, 1471058236 edges, 17455 markings/sec, 2930 secs
lola: 43233786 markings, 1473528137 edges, 17495 markings/sec, 2935 secs
lola: 43304125 markings, 1476037263 edges, 14068 markings/sec, 2940 secs
lola: 43373319 markings, 1478540983 edges, 13839 markings/sec, 2945 secs
lola: 43444729 markings, 1481027880 edges, 14282 markings/sec, 2950 secs
lola: 43522539 markings, 1483511218 edges, 15562 markings/sec, 2955 secs
lola: 43599621 markings, 1486003515 edges, 15416 markings/sec, 2960 secs
lola: 43670766 markings, 1488528887 edges, 14229 markings/sec, 2965 secs
lola: 43740106 markings, 1491046423 edges, 13868 markings/sec, 2970 secs
lola: 43813851 markings, 1493558533 edges, 14749 markings/sec, 2975 secs
lola: 43894812 markings, 1496049964 edges, 16192 markings/sec, 2980 secs
lola: 43972683 markings, 1498556772 edges, 15574 markings/sec, 2985 secs
lola: 44054165 markings, 1501040297 edges, 16296 markings/sec, 2990 secs
lola: 44134506 markings, 1503532239 edges, 16068 markings/sec, 2995 secs
lola: 44218779 markings, 1505999233 edges, 16855 markings/sec, 3000 secs
lola: 44308000 markings, 1508443242 edges, 17844 markings/sec, 3005 secs
lola: 44387488 markings, 1510746613 edges, 15898 markings/sec, 3010 secs
lola: 44462806 markings, 1512973479 edges, 15064 markings/sec, 3015 secs
lola: 44527077 markings, 1515369410 edges, 12854 markings/sec, 3020 secs
lola: 44598953 markings, 1517922199 edges, 14375 markings/sec, 3025 secs
lola: 44676691 markings, 1520465839 edges, 15548 markings/sec, 3030 secs
lola: 44755995 markings, 1523002604 edges, 15861 markings/sec, 3035 secs
lola: 44826863 markings, 1525525525 edges, 14174 markings/sec, 3040 secs
lola: 44896216 markings, 1528069142 edges, 13871 markings/sec, 3045 secs
lola: 44969853 markings, 1530594044 edges, 14727 markings/sec, 3050 secs
lola: 45051284 markings, 1533114065 edges, 16286 markings/sec, 3055 secs
lola: 45115995 markings, 1535264206 edges, 12942 markings/sec, 3060 secs
lola: 45185185 markings, 1537431181 edges, 13838 markings/sec, 3065 secs
lola: 45253849 markings, 1539593383 edges, 13733 markings/sec, 3070 secs
lola: 45323922 markings, 1541724536 edges, 14015 markings/sec, 3075 secs
lola: 45394516 markings, 1543765000 edges, 14119 markings/sec, 3080 secs
lola: 45424752 markings, 1544627812 edges, 6047 markings/sec, 3085 secs
lola: 45426594 markings, 1544689345 edges, 368 markings/sec, 3090 secs
lola: 45426926 markings, 1544700428 edges, 66 markings/sec, 3095 secs
lola: 45428436 markings, 1544750858 edges, 302 markings/sec, 3100 secs
lola: 45430554 markings, 1544821637 edges, 424 markings/sec, 3105 secs
lola: time limit reached - aborting
lola: local time limit reached - aborting
lola: lola: 45432593 markings, 1544885598 edges, 408 markings/sec, 3110 secs
preliminary result: no yes no no unknown no unknown yes no yes no no yes yes no yes

lola:
preliminary result: no yes no no unknown no unknown yes no yes no no yes yes no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no no unknown no unknown yes no yes no no yes yes no yes
Segmentation fault
rslt: finished

BK_STOP 1589540214313

--------------------
content from stderr:

make: [verify] Error 139 (ignored)

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="DLCshifumi-PT-3a"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="win2019"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is DLCshifumi-PT-3a, 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 r075-tajo-158922839400005"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-3a.tgz
mv DLCshifumi-PT-3a execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;