fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r077-smll-155234766500101
Last Updated
Apr 15, 2019

About the Execution of 2018-Gold for Eratosthenes-PT-500

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2314.700 3569525.00 3643627.00 8763.30 FTT?FTFTFFFFTFTT normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r077-smll-155234766500101.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3957
Executing tool win2018
Input is Eratosthenes-PT-500, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r077-smll-155234766500101
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 3.3K Feb 10 23:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 10 23:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 6 20:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 6 20:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 106 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 344 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 23:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 7.8K Feb 4 23:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 3 08:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 3 08:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Jan 31 01:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Jan 31 01:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:20 UpperBounds.xml

-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1006K Mar 10 17:31 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 Eratosthenes-PT-500-LTLCardinality-00
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-01
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-02
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-03
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-04
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-05
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-06
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-07
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-08
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-09
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-10
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-11
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-12
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-13
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-14
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-15

=== Now, execution of the tool begins

BK_START 1552452324872

info: Time: 3600 - MCC
===========================================================================================
prep: translating Eratosthenes-PT-500 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating Eratosthenes-PT-500 formula LTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking LTLCardinality @ Eratosthenes-PT-500 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2690/65536 symbol table entries, 58 collisions
lola: preprocessing...
lola: Size of bit vector: 499
lola: finding significant places
lola: 499 places, 2191 transitions, 404 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2438 transition conflict sets
lola: TASK
lola: reading formula from Eratosthenes-PT-500-LTLCardinality.task
lola: place invariant simplifies atomic proposition
lola: before: (p264 <= p113)
lola: after: (p264 <= 1)
lola: LP says that atomic proposition is always true: (p264 <= 1)
lola: LP says that atomic proposition is always false: (3 <= p448)
lola: place invariant simplifies atomic proposition
lola: before: (p497 <= p19)
lola: after: (p497 <= 1)
lola: LP says that atomic proposition is always true: (p497 <= 1)
lola: LP says that atomic proposition is always false: (2 <= p57)
lola: place invariant simplifies atomic proposition
lola: before: (p372 <= p401)
lola: after: (p372 <= 1)
lola: LP says that atomic proposition is always true: (p372 <= 1)
lola: place invariant simplifies atomic proposition
lola: before: (3 <= p167)
lola: after: (2 <= 0)
lola: always false
lola: LP says that atomic proposition is always false: (3 <= p314)
lola: LP says that atomic proposition is always false: (2 <= p341)
lola: A (F (G ((TRUE U FALSE)))) : A (F ((p333 <= p361))) : A (TRUE) : A (G (F (G (X ((p441 <= p15)))))) : A (X (G (FALSE))) : A (G (TRUE)) : A (F (F (G ((1 <= p183))))) : A ((p363 <= p135)) : A (F (X (F (G ((1 <= p111)))))) : A (F (X (FALSE))) : A (G (FALSE)) : A (X (FALSE)) : A ((1 <= p32)) : A (X ((1 <= p304))) : A ((1 <= p86)) : A (F ((p184 <= p217)))
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:163
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:151
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k: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:347
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:347
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:151
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 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: 36 rewrites
lola: closed formula file Eratosthenes-PT-500-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Eratosthenes-PT-500-LTLCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 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: 36 rewrites
lola: closed formula file Eratosthenes-PT-500-LTLCardinality.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 Eratosthenes-PT-500-LTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 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: 36 rewrites
lola: closed formula file Eratosthenes-PT-500-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Eratosthenes-PT-500-LTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 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: 36 rewrites
lola: closed formula file Eratosthenes-PT-500-LTLCardinality.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 Eratosthenes-PT-500-LTLCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p363 <= p135)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p363 <= p135)
lola: processed formula length: 14
lola: 36 rewrites
lola: closed formula file Eratosthenes-PT-500-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Eratosthenes-PT-500-LTLCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 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: 36 rewrites
lola: closed formula file Eratosthenes-PT-500-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Eratosthenes-PT-500-LTLCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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: 36 rewrites
lola: closed formula file Eratosthenes-PT-500-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Eratosthenes-PT-500-LTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 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: 36 rewrites
lola: closed formula file Eratosthenes-PT-500-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Eratosthenes-PT-500-LTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p32)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p32)
lola: processed formula length: 10
lola: 36 rewrites
lola: closed formula file Eratosthenes-PT-500-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Eratosthenes-PT-500-LTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p86)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p86)
lola: processed formula length: 10
lola: 36 rewrites
lola: closed formula file Eratosthenes-PT-500-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Eratosthenes-PT-500-LTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((1 <= p304)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((1 <= p304)))
lola: processed formula length: 19
lola: 36 rewrites
lola: closed formula file Eratosthenes-PT-500-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 714 markings, 1455 edges
lola: ========================================

FORMULA Eratosthenes-PT-500-LTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p333 <= p361)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (p361 + 1 <= p333)
lola: processed formula length: 18
lola: 38 rewrites
lola: closed formula file Eratosthenes-PT-500-LTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================

FORMULA Eratosthenes-PT-500-LTLCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p184 <= p217)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (p217 + 1 <= p184)
lola: processed formula length: 18
lola: 38 rewrites
lola: closed formula file Eratosthenes-PT-500-LTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================

FORMULA Eratosthenes-PT-500-LTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((1 <= p111))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((1 <= p111))))
lola: processed formula length: 23
lola: 36 rewrites
lola: closed formula file Eratosthenes-PT-500-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 86 markings, 85 edges, 17 markings/sec, 0 secs
lola: 150 markings, 149 edges, 13 markings/sec, 5 secs
lola: 235 markings, 234 edges, 17 markings/sec, 10 secs
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: 406 markings, 407 edges
lola: ========================================

FORMULA Eratosthenes-PT-500-LTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1776 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((1 <= p183))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((1 <= p183))))
lola: processed formula length: 23
lola: 36 rewrites
lola: closed formula file Eratosthenes-PT-500-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 42 markings, 41 edges, 8 markings/sec, 0 secs
lola: 85 markings, 84 edges, 9 markings/sec, 5 secs
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: 406 markings, 407 edges
lola: ========================================

FORMULA Eratosthenes-PT-500-LTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3541 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p441 <= p15))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p441 <= p15))))
lola: processed formula length: 25
lola: 36 rewrites
lola: closed formula file Eratosthenes-PT-500-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 117 markings, 116 edges, 23 markings/sec, 0 secs
lola: 190 markings, 189 edges, 15 markings/sec, 5 secs
lola: 278 markings, 277 edges, 18 markings/sec, 10 secs
lola: 22816 markings, 126047 edges, 4508 markings/sec, 15 secs
lola: 46705 markings, 343640 edges, 4778 markings/sec, 20 secs
lola: 67941 markings, 560962 edges, 4247 markings/sec, 25 secs
lola: 88903 markings, 790330 edges, 4192 markings/sec, 30 secs
lola: 109771 markings, 1019580 edges, 4174 markings/sec, 35 secs
lola: 130320 markings, 1251824 edges, 4110 markings/sec, 40 secs
lola: 145111 markings, 1476837 edges, 2958 markings/sec, 45 secs
lola: 159643 markings, 1714119 edges, 2906 markings/sec, 50 secs
lola: 174204 markings, 1948302 edges, 2912 markings/sec, 55 secs
lola: 188760 markings, 2182308 edges, 2911 markings/sec, 60 secs
lola: 203250 markings, 2420092 edges, 2898 markings/sec, 65 secs
lola: 217731 markings, 2664244 edges, 2896 markings/sec, 70 secs
lola: 232056 markings, 2910886 edges, 2865 markings/sec, 75 secs
lola: 246519 markings, 3148649 edges, 2893 markings/sec, 80 secs
lola: 260971 markings, 3386364 edges, 2890 markings/sec, 85 secs
lola: 278082 markings, 3605499 edges, 3422 markings/sec, 90 secs
lola: 295485 markings, 3820631 edges, 3481 markings/sec, 95 secs
lola: 312780 markings, 4039084 edges, 3459 markings/sec, 100 secs
lola: 330074 markings, 4262021 edges, 3459 markings/sec, 105 secs
lola: 347500 markings, 4479995 edges, 3485 markings/sec, 110 secs
lola: 364792 markings, 4699639 edges, 3458 markings/sec, 115 secs
lola: 382056 markings, 4917587 edges, 3453 markings/sec, 120 secs
lola: 398249 markings, 5152422 edges, 3239 markings/sec, 125 secs
lola: 412468 markings, 5408979 edges, 2844 markings/sec, 130 secs
lola: 426703 markings, 5662961 edges, 2847 markings/sec, 135 secs
lola: 440837 markings, 5920889 edges, 2827 markings/sec, 140 secs
lola: 454976 markings, 6177440 edges, 2828 markings/sec, 145 secs
lola: 469078 markings, 6438621 edges, 2820 markings/sec, 150 secs
lola: 483182 markings, 6701362 edges, 2821 markings/sec, 155 secs
lola: 497207 markings, 6965490 edges, 2805 markings/sec, 160 secs
lola: 511199 markings, 7230980 edges, 2798 markings/sec, 165 secs
lola: 525175 markings, 7501903 edges, 2795 markings/sec, 170 secs
lola: 543771 markings, 7707455 edges, 3719 markings/sec, 175 secs
lola: 562155 markings, 7919165 edges, 3677 markings/sec, 180 secs
lola: 580523 markings, 8129520 edges, 3674 markings/sec, 185 secs
lola: 598834 markings, 8343039 edges, 3662 markings/sec, 190 secs
lola: 616926 markings, 8566003 edges, 3618 markings/sec, 195 secs
lola: 635199 markings, 8780939 edges, 3655 markings/sec, 200 secs
lola: 653371 markings, 8997446 edges, 3634 markings/sec, 205 secs
lola: 668757 markings, 9249331 edges, 3077 markings/sec, 210 secs
lola: 683687 markings, 9506783 edges, 2986 markings/sec, 215 secs
lola: 698641 markings, 9762218 edges, 2991 markings/sec, 220 secs
lola: 713574 markings, 10017330 edges, 2987 markings/sec, 225 secs
lola: 728449 markings, 10276240 edges, 2975 markings/sec, 230 secs
lola: 743294 markings, 10538583 edges, 2969 markings/sec, 235 secs
lola: 758029 markings, 10804140 edges, 2947 markings/sec, 240 secs
lola: 772792 markings, 11067083 edges, 2953 markings/sec, 245 secs
lola: 787546 markings, 11335895 edges, 2951 markings/sec, 250 secs
lola: 805604 markings, 11563671 edges, 3612 markings/sec, 255 secs
lola: 823395 markings, 11800934 edges, 3558 markings/sec, 260 secs
lola: 841291 markings, 12032029 edges, 3579 markings/sec, 265 secs
lola: 859066 markings, 12268779 edges, 3555 markings/sec, 270 secs
lola: 876791 markings, 12508924 edges, 3545 markings/sec, 275 secs
lola: 894401 markings, 12752698 edges, 3522 markings/sec, 280 secs
lola: 912042 markings, 12993242 edges, 3528 markings/sec, 285 secs
lola: 927702 markings, 13255065 edges, 3132 markings/sec, 290 secs
lola: 942213 markings, 13534616 edges, 2902 markings/sec, 295 secs
lola: 956741 markings, 13813433 edges, 2906 markings/sec, 300 secs
lola: 971210 markings, 14093165 edges, 2894 markings/sec, 305 secs
lola: 985539 markings, 14378770 edges, 2866 markings/sec, 310 secs
lola: 1000167 markings, 14652593 edges, 2926 markings/sec, 315 secs
lola: 1014575 markings, 14936269 edges, 2882 markings/sec, 320 secs
lola: 1028945 markings, 15220875 edges, 2874 markings/sec, 325 secs
lola: 1043284 markings, 15505243 edges, 2868 markings/sec, 330 secs
lola: 1060307 markings, 15754791 edges, 3405 markings/sec, 335 secs
lola: 1078656 markings, 15974567 edges, 3670 markings/sec, 340 secs
lola: 1096809 markings, 16195872 edges, 3631 markings/sec, 345 secs
lola: 1114868 markings, 16422113 edges, 3612 markings/sec, 350 secs
lola: 1133092 markings, 16648855 edges, 3645 markings/sec, 355 secs
lola: 1151431 markings, 16873002 edges, 3668 markings/sec, 360 secs
lola: 1169517 markings, 17097237 edges, 3617 markings/sec, 365 secs
lola: 1185921 markings, 17335051 edges, 3281 markings/sec, 370 secs
lola: 1200091 markings, 17595554 edges, 2834 markings/sec, 375 secs
lola: 1214251 markings, 17854066 edges, 2832 markings/sec, 380 secs
lola: 1228511 markings, 18106668 edges, 2852 markings/sec, 385 secs
lola: 1242666 markings, 18363851 edges, 2831 markings/sec, 390 secs
lola: 1256706 markings, 18630041 edges, 2808 markings/sec, 395 secs
lola: 1270860 markings, 18888991 edges, 2831 markings/sec, 400 secs
lola: 1284918 markings, 19152720 edges, 2812 markings/sec, 405 secs
lola: 1298968 markings, 19415567 edges, 2810 markings/sec, 410 secs
lola: 1313453 markings, 19686076 edges, 2897 markings/sec, 415 secs
lola: 1331522 markings, 19924653 edges, 3614 markings/sec, 420 secs
lola: 1349488 markings, 20165011 edges, 3593 markings/sec, 425 secs
lola: 1367167 markings, 20405992 edges, 3536 markings/sec, 430 secs
lola: 1385023 markings, 20649789 edges, 3571 markings/sec, 435 secs
lola: 1402600 markings, 20898747 edges, 3515 markings/sec, 440 secs
lola: 1420261 markings, 21147738 edges, 3532 markings/sec, 445 secs
lola: 1437970 markings, 21392211 edges, 3542 markings/sec, 450 secs
lola: 1452687 markings, 21659454 edges, 2943 markings/sec, 455 secs
lola: 1466482 markings, 21939376 edges, 2759 markings/sec, 460 secs
lola: 1480249 markings, 22219345 edges, 2753 markings/sec, 465 secs
lola: 1493978 markings, 22500442 edges, 2746 markings/sec, 470 secs
lola: 1507749 markings, 22779202 edges, 2754 markings/sec, 475 secs
lola: 1521584 markings, 23056898 edges, 2767 markings/sec, 480 secs
lola: 1535224 markings, 23343308 edges, 2728 markings/sec, 485 secs
lola: 1548977 markings, 23623746 edges, 2751 markings/sec, 490 secs
lola: 1562632 markings, 23908335 edges, 2731 markings/sec, 495 secs
lola: 1577547 markings, 24189842 edges, 2983 markings/sec, 500 secs
lola: 1596511 markings, 24426144 edges, 3793 markings/sec, 505 secs
lola: 1615236 markings, 24666898 edges, 3745 markings/sec, 510 secs
lola: 1633836 markings, 24907794 edges, 3720 markings/sec, 515 secs
lola: 1652605 markings, 25151427 edges, 3754 markings/sec, 520 secs
lola: 1671080 markings, 25398347 edges, 3695 markings/sec, 525 secs
lola: 1689479 markings, 25649063 edges, 3680 markings/sec, 530 secs
lola: 1707186 markings, 25901374 edges, 3541 markings/sec, 535 secs
lola: 1721936 markings, 26171794 edges, 2950 markings/sec, 540 secs
lola: 1736466 markings, 26450947 edges, 2906 markings/sec, 545 secs
lola: 1750989 markings, 26730238 edges, 2905 markings/sec, 550 secs
lola: 1765489 markings, 27008764 edges, 2900 markings/sec, 555 secs
lola: 1779959 markings, 27291739 edges, 2894 markings/sec, 560 secs
lola: 1794439 markings, 27574102 edges, 2896 markings/sec, 565 secs
lola: 1808808 markings, 27860270 edges, 2874 markings/sec, 570 secs
lola: 1823212 markings, 28144025 edges, 2881 markings/sec, 575 secs
lola: 1838158 markings, 28433863 edges, 2989 markings/sec, 580 secs
lola: 1856690 markings, 28691134 edges, 3706 markings/sec, 585 secs
lola: 1875000 markings, 28951370 edges, 3662 markings/sec, 590 secs
lola: 1893140 markings, 29211816 edges, 3628 markings/sec, 595 secs
lola: 1911297 markings, 29477445 edges, 3631 markings/sec, 600 secs
lola: 1929444 markings, 29743458 edges, 3629 markings/sec, 605 secs
lola: 1947466 markings, 30010116 edges, 3604 markings/sec, 610 secs
lola: 1965362 markings, 30280325 edges, 3579 markings/sec, 615 secs
lola: 1979832 markings, 30572750 edges, 2894 markings/sec, 620 secs
lola: 1993943 markings, 30873489 edges, 2822 markings/sec, 625 secs
lola: 2008123 markings, 31170486 edges, 2836 markings/sec, 630 secs
lola: 2022228 markings, 31470165 edges, 2821 markings/sec, 635 secs
lola: 2036249 markings, 31774014 edges, 2804 markings/sec, 640 secs
lola: 2050268 markings, 32080773 edges, 2804 markings/sec, 645 secs
lola: 2064385 markings, 32380264 edges, 2823 markings/sec, 650 secs
lola: 2078427 markings, 32683417 edges, 2808 markings/sec, 655 secs
lola: 2092414 markings, 32987551 edges, 2797 markings/sec, 660 secs
lola: 2110211 markings, 33239714 edges, 3559 markings/sec, 665 secs
lola: 2129222 markings, 33469898 edges, 3802 markings/sec, 670 secs
lola: 2148066 markings, 33701228 edges, 3769 markings/sec, 675 secs
lola: 2165763 markings, 33951025 edges, 3539 markings/sec, 680 secs
lola: 2179772 markings, 34196955 edges, 2802 markings/sec, 685 secs
lola: 2194051 markings, 34463395 edges, 2856 markings/sec, 690 secs
lola: 2207856 markings, 34725238 edges, 2761 markings/sec, 695 secs
lola: 2221678 markings, 35005242 edges, 2764 markings/sec, 700 secs
lola: 2236612 markings, 35280693 edges, 2987 markings/sec, 705 secs
lola: 2252879 markings, 35540638 edges, 3253 markings/sec, 710 secs
lola: 2268929 markings, 35815904 edges, 3210 markings/sec, 715 secs
lola: 2284842 markings, 36093619 edges, 3183 markings/sec, 720 secs
lola: 2299469 markings, 36387641 edges, 2925 markings/sec, 725 secs
lola: 2312683 markings, 36682104 edges, 2643 markings/sec, 730 secs
lola: 2325970 markings, 37003491 edges, 2657 markings/sec, 735 secs
lola: 2338955 markings, 37308908 edges, 2597 markings/sec, 740 secs
lola: 2351923 markings, 37634643 edges, 2594 markings/sec, 745 secs
lola: 2367331 markings, 37931303 edges, 3082 markings/sec, 750 secs
lola: 2386681 markings, 38171163 edges, 3870 markings/sec, 755 secs
lola: 2405259 markings, 38422575 edges, 3716 markings/sec, 760 secs
lola: 2423511 markings, 38691936 edges, 3650 markings/sec, 765 secs
lola: 2437312 markings, 38953548 edges, 2760 markings/sec, 770 secs
lola: 2451130 markings, 39233402 edges, 2764 markings/sec, 775 secs
lola: 2464693 markings, 39522172 edges, 2713 markings/sec, 780 secs
lola: 2478105 markings, 39809940 edges, 2682 markings/sec, 785 secs
lola: 2491767 markings, 40123216 edges, 2732 markings/sec, 790 secs
lola: 2507343 markings, 40393569 edges, 3115 markings/sec, 795 secs
lola: 2523235 markings, 40689599 edges, 3178 markings/sec, 800 secs
lola: 2538775 markings, 40974404 edges, 3108 markings/sec, 805 secs
lola: 2554398 markings, 41283937 edges, 3125 markings/sec, 810 secs
lola: 2567373 markings, 41591946 edges, 2595 markings/sec, 815 secs
lola: 2580324 markings, 41915815 edges, 2590 markings/sec, 820 secs
lola: 2593157 markings, 42250175 edges, 2567 markings/sec, 825 secs
lola: 2605642 markings, 42580365 edges, 2497 markings/sec, 830 secs
lola: 2618429 markings, 42927533 edges, 2557 markings/sec, 835 secs
lola: 2636653 markings, 43191226 edges, 3645 markings/sec, 840 secs
lola: 2656440 markings, 43443874 edges, 3957 markings/sec, 845 secs
lola: 2675910 markings, 43692979 edges, 3894 markings/sec, 850 secs
lola: 2692769 markings, 43962309 edges, 3372 markings/sec, 855 secs
lola: 2707274 markings, 44230387 edges, 2901 markings/sec, 860 secs
lola: 2721683 markings, 44523905 edges, 2882 markings/sec, 865 secs
lola: 2735748 markings, 44808922 edges, 2813 markings/sec, 870 secs
lola: 2749952 markings, 45114343 edges, 2841 markings/sec, 875 secs
lola: 2766445 markings, 45392688 edges, 3299 markings/sec, 880 secs
lola: 2783022 markings, 45682752 edges, 3315 markings/sec, 885 secs
lola: 2799248 markings, 45973766 edges, 3245 markings/sec, 890 secs
lola: 2815444 markings, 46282330 edges, 3239 markings/sec, 895 secs
lola: 2829102 markings, 46594456 edges, 2732 markings/sec, 900 secs
lola: 2842677 markings, 46920992 edges, 2715 markings/sec, 905 secs
lola: 2856129 markings, 47255849 edges, 2690 markings/sec, 910 secs
lola: 2869329 markings, 47589383 edges, 2640 markings/sec, 915 secs
lola: 2882558 markings, 47946044 edges, 2646 markings/sec, 920 secs
lola: 2901360 markings, 48207728 edges, 3760 markings/sec, 925 secs
lola: 2921013 markings, 48477423 edges, 3931 markings/sec, 930 secs
lola: 2939639 markings, 48750050 edges, 3725 markings/sec, 935 secs
lola: 2955839 markings, 49039856 edges, 3240 markings/sec, 940 secs
lola: 2969944 markings, 49329454 edges, 2821 markings/sec, 945 secs
lola: 2983943 markings, 49642642 edges, 2800 markings/sec, 950 secs
lola: 2997631 markings, 49947162 edges, 2738 markings/sec, 955 secs
lola: 3011434 markings, 50270897 edges, 2761 markings/sec, 960 secs
lola: 3027546 markings, 50570720 edges, 3222 markings/sec, 965 secs
lola: 3043738 markings, 50876837 edges, 3238 markings/sec, 970 secs
lola: 3059476 markings, 51187244 edges, 3148 markings/sec, 975 secs
lola: 3075117 markings, 51509474 edges, 3128 markings/sec, 980 secs
lola: 3088769 markings, 51845860 edges, 2730 markings/sec, 985 secs
lola: 3102085 markings, 52179661 edges, 2663 markings/sec, 990 secs
lola: 3115220 markings, 52537163 edges, 2627 markings/sec, 995 secs
lola: 3128104 markings, 52883877 edges, 2577 markings/sec, 1000 secs
lola: 3141066 markings, 53249837 edges, 2592 markings/sec, 1005 secs
lola: 3158131 markings, 53539869 edges, 3413 markings/sec, 1010 secs
lola: 3176960 markings, 53788772 edges, 3766 markings/sec, 1015 secs
lola: 3194834 markings, 54043003 edges, 3575 markings/sec, 1020 secs
lola: 3212791 markings, 54317046 edges, 3591 markings/sec, 1025 secs
lola: 3226550 markings, 54578096 edges, 2752 markings/sec, 1030 secs
lola: 3240434 markings, 54862729 edges, 2777 markings/sec, 1035 secs
lola: 3253930 markings, 55149602 edges, 2699 markings/sec, 1040 secs
lola: 3267407 markings, 55442613 edges, 2695 markings/sec, 1045 secs
lola: 3282016 markings, 55743791 edges, 2922 markings/sec, 1050 secs
lola: 3297876 markings, 56018007 edges, 3172 markings/sec, 1055 secs
lola: 3313602 markings, 56314649 edges, 3145 markings/sec, 1060 secs
lola: 3328788 markings, 56605704 edges, 3037 markings/sec, 1065 secs
lola: 3343651 markings, 56923137 edges, 2973 markings/sec, 1070 secs
lola: 3356603 markings, 57227970 edges, 2590 markings/sec, 1075 secs
lola: 3369632 markings, 57555887 edges, 2606 markings/sec, 1080 secs
lola: 3382361 markings, 57889438 edges, 2546 markings/sec, 1085 secs
lola: 3394969 markings, 58220594 edges, 2522 markings/sec, 1090 secs
lola: 3407577 markings, 58578113 edges, 2522 markings/sec, 1095 secs
lola: 3425931 markings, 58833969 edges, 3671 markings/sec, 1100 secs
lola: 3444626 markings, 59107117 edges, 3739 markings/sec, 1105 secs
lola: 3462534 markings, 59378923 edges, 3582 markings/sec, 1110 secs
lola: 3478305 markings, 59669304 edges, 3154 markings/sec, 1115 secs
lola: 3491649 markings, 59955729 edges, 2669 markings/sec, 1120 secs
lola: 3505115 markings, 60266562 edges, 2693 markings/sec, 1125 secs
lola: 3518237 markings, 60566362 edges, 2624 markings/sec, 1130 secs
lola: 3531328 markings, 60885115 edges, 2618 markings/sec, 1135 secs
lola: 3545637 markings, 61197714 edges, 2862 markings/sec, 1140 secs
lola: 3561197 markings, 61491250 edges, 3112 markings/sec, 1145 secs
lola: 3576667 markings, 61804688 edges, 3094 markings/sec, 1150 secs
lola: 3591559 markings, 62114170 edges, 2978 markings/sec, 1155 secs
lola: 3605905 markings, 62448875 edges, 2869 markings/sec, 1160 secs
lola: 3618528 markings, 62771122 edges, 2525 markings/sec, 1165 secs
lola: 3631220 markings, 63115470 edges, 2538 markings/sec, 1170 secs
lola: 3643669 markings, 63465448 edges, 2490 markings/sec, 1175 secs
lola: 3655929 markings, 63812452 edges, 2452 markings/sec, 1180 secs
lola: 3668303 markings, 64181901 edges, 2475 markings/sec, 1185 secs
lola: 3686385 markings, 64454820 edges, 3616 markings/sec, 1190 secs
lola: 3706150 markings, 64727331 edges, 3953 markings/sec, 1195 secs
lola: 3724986 markings, 64998841 edges, 3767 markings/sec, 1200 secs
lola: 3741336 markings, 65289346 edges, 3270 markings/sec, 1205 secs
lola: 3755441 markings, 65578235 edges, 2821 markings/sec, 1210 secs
lola: 3769450 markings, 65893863 edges, 2802 markings/sec, 1215 secs
lola: 3783238 markings, 66194246 edges, 2758 markings/sec, 1220 secs
lola: 3797031 markings, 66518147 edges, 2759 markings/sec, 1225 secs
lola: 3812886 markings, 66821828 edges, 3171 markings/sec, 1230 secs
lola: 3829031 markings, 67126156 edges, 3229 markings/sec, 1235 secs
lola: 3844800 markings, 67438230 edges, 3154 markings/sec, 1240 secs
lola: 3860466 markings, 67759697 edges, 3133 markings/sec, 1245 secs
lola: 3874482 markings, 68093481 edges, 2803 markings/sec, 1250 secs
lola: 3887759 markings, 68428214 edges, 2655 markings/sec, 1255 secs
lola: 3900886 markings, 68787578 edges, 2625 markings/sec, 1260 secs
lola: 3913822 markings, 69131645 edges, 2587 markings/sec, 1265 secs
lola: 3926782 markings, 69496535 edges, 2592 markings/sec, 1270 secs
lola: 3943396 markings, 69815764 edges, 3323 markings/sec, 1275 secs
lola: 3962250 markings, 70099393 edges, 3771 markings/sec, 1280 secs
lola: 3980332 markings, 70389437 edges, 3616 markings/sec, 1285 secs
lola: 3998106 markings, 70703435 edges, 3555 markings/sec, 1290 secs
lola: 4011927 markings, 71000849 edges, 2764 markings/sec, 1295 secs
lola: 4025703 markings, 71323447 edges, 2755 markings/sec, 1300 secs
lola: 4039131 markings, 71653574 edges, 2686 markings/sec, 1305 secs
lola: 4052576 markings, 71980492 edges, 2689 markings/sec, 1310 secs
lola: 4066800 markings, 72324233 edges, 2845 markings/sec, 1315 secs
lola: 4082403 markings, 72633983 edges, 3121 markings/sec, 1320 secs
lola: 4097944 markings, 72967998 edges, 3108 markings/sec, 1325 secs
lola: 4113025 markings, 73295501 edges, 3016 markings/sec, 1330 secs
lola: 4128477 markings, 73643060 edges, 3090 markings/sec, 1335 secs
lola: 4141434 markings, 73986825 edges, 2591 markings/sec, 1340 secs
lola: 4154346 markings, 74349042 edges, 2582 markings/sec, 1345 secs
lola: 4167094 markings, 74718371 edges, 2550 markings/sec, 1350 secs
lola: 4179623 markings, 75085939 edges, 2506 markings/sec, 1355 secs
lola: 4192237 markings, 75471976 edges, 2523 markings/sec, 1360 secs
lola: 4208826 markings, 75726889 edges, 3318 markings/sec, 1365 secs
lola: 4226168 markings, 75954436 edges, 3468 markings/sec, 1370 secs
lola: 4243528 markings, 76181257 edges, 3472 markings/sec, 1375 secs
lola: 4260693 markings, 76414714 edges, 3433 markings/sec, 1380 secs
lola: 4278017 markings, 76643806 edges, 3465 markings/sec, 1385 secs
lola: 4295182 markings, 76879046 edges, 3433 markings/sec, 1390 secs
lola: 4312463 markings, 77107616 edges, 3456 markings/sec, 1395 secs
lola: 4328931 markings, 77346905 edges, 3294 markings/sec, 1400 secs
lola: 4343267 markings, 77595369 edges, 2867 markings/sec, 1405 secs
lola: 4357363 markings, 77853472 edges, 2819 markings/sec, 1410 secs
lola: 4371480 markings, 78110577 edges, 2823 markings/sec, 1415 secs
lola: 4385532 markings, 78369312 edges, 2810 markings/sec, 1420 secs
lola: 4399657 markings, 78626324 edges, 2825 markings/sec, 1425 secs
lola: 4413699 markings, 78888727 edges, 2808 markings/sec, 1430 secs
lola: 4427639 markings, 79155183 edges, 2788 markings/sec, 1435 secs
lola: 4441569 markings, 79420508 edges, 2786 markings/sec, 1440 secs
lola: 4455618 markings, 79678574 edges, 2810 markings/sec, 1445 secs
lola: 4472379 markings, 79926182 edges, 3352 markings/sec, 1450 secs
lola: 4489312 markings, 80172371 edges, 3387 markings/sec, 1455 secs
lola: 4506193 markings, 80419556 edges, 3376 markings/sec, 1460 secs
lola: 4522904 markings, 80672840 edges, 3342 markings/sec, 1465 secs
lola: 4539849 markings, 80920170 edges, 3389 markings/sec, 1470 secs
lola: 4556531 markings, 81176929 edges, 3336 markings/sec, 1475 secs
lola: 4573375 markings, 81425760 edges, 3369 markings/sec, 1480 secs
lola: 4589695 markings, 81682993 edges, 3264 markings/sec, 1485 secs
lola: 4603680 markings, 81950682 edges, 2797 markings/sec, 1490 secs
lola: 4617439 markings, 82227877 edges, 2752 markings/sec, 1495 secs
lola: 4631131 markings, 82507676 edges, 2738 markings/sec, 1500 secs
lola: 4644890 markings, 82782932 edges, 2752 markings/sec, 1505 secs
lola: 4658548 markings, 83064450 edges, 2732 markings/sec, 1510 secs
lola: 4672143 markings, 83351063 edges, 2719 markings/sec, 1515 secs
lola: 4685879 markings, 83628713 edges, 2747 markings/sec, 1520 secs
lola: 4699538 markings, 83909872 edges, 2732 markings/sec, 1525 secs
lola: 4713116 markings, 84192970 edges, 2716 markings/sec, 1530 secs
lola: 4728634 markings, 84449202 edges, 3104 markings/sec, 1535 secs
lola: 4745455 markings, 84685862 edges, 3364 markings/sec, 1540 secs
lola: 4762219 markings, 84923175 edges, 3353 markings/sec, 1545 secs
lola: 4778976 markings, 85159145 edges, 3351 markings/sec, 1550 secs
lola: 4795667 markings, 85400375 edges, 3338 markings/sec, 1555 secs
lola: 4812391 markings, 85639600 edges, 3345 markings/sec, 1560 secs
lola: 4829055 markings, 85881102 edges, 3333 markings/sec, 1565 secs
lola: 4845702 markings, 86120970 edges, 3329 markings/sec, 1570 secs
lola: 4860802 markings, 86387375 edges, 3020 markings/sec, 1575 secs
lola: 4875288 markings, 86664726 edges, 2897 markings/sec, 1580 secs
lola: 4889706 markings, 86942745 edges, 2884 markings/sec, 1585 secs
lola: 4904131 markings, 87219552 edges, 2885 markings/sec, 1590 secs
lola: 4918395 markings, 87504086 edges, 2853 markings/sec, 1595 secs
lola: 4932871 markings, 87780911 edges, 2895 markings/sec, 1600 secs
lola: 4947268 markings, 88059619 edges, 2879 markings/sec, 1605 secs
lola: 4961580 markings, 88344563 edges, 2862 markings/sec, 1610 secs
lola: 4975919 markings, 88627523 edges, 2868 markings/sec, 1615 secs
lola: 4991622 markings, 88896309 edges, 3141 markings/sec, 1620 secs
lola: 5007968 markings, 89156457 edges, 3269 markings/sec, 1625 secs
lola: 5024327 markings, 89415710 edges, 3272 markings/sec, 1630 secs
lola: 5040623 markings, 89675318 edges, 3259 markings/sec, 1635 secs
lola: 5056990 markings, 89935297 edges, 3273 markings/sec, 1640 secs
lola: 5073187 markings, 90202024 edges, 3239 markings/sec, 1645 secs
lola: 5089431 markings, 90465935 edges, 3249 markings/sec, 1650 secs
lola: 5105658 markings, 90728761 edges, 3245 markings/sec, 1655 secs
lola: 5120722 markings, 91009189 edges, 3013 markings/sec, 1660 secs
lola: 5134847 markings, 91307779 edges, 2825 markings/sec, 1665 secs
lola: 5148838 markings, 91611110 edges, 2798 markings/sec, 1670 secs
lola: 5162921 markings, 91908755 edges, 2817 markings/sec, 1675 secs
lola: 5177049 markings, 92203213 edges, 2826 markings/sec, 1680 secs
lola: 5191095 markings, 92505971 edges, 2809 markings/sec, 1685 secs
lola: 5205032 markings, 92812403 edges, 2787 markings/sec, 1690 secs
lola: 5219080 markings, 93112910 edges, 2810 markings/sec, 1695 secs
lola: 5233008 markings, 93417514 edges, 2786 markings/sec, 1700 secs
lola: 5247874 markings, 93710698 edges, 2973 markings/sec, 1705 secs
lola: 5264795 markings, 93951761 edges, 3384 markings/sec, 1710 secs
lola: 5281626 markings, 94194558 edges, 3366 markings/sec, 1715 secs
lola: 5298362 markings, 94436168 edges, 3347 markings/sec, 1720 secs
lola: 5315201 markings, 94681124 edges, 3368 markings/sec, 1725 secs
lola: 5331775 markings, 94929595 edges, 3315 markings/sec, 1730 secs
lola: 5348411 markings, 95178945 edges, 3327 markings/sec, 1735 secs
lola: 5365080 markings, 95425806 edges, 3334 markings/sec, 1740 secs
lola: 5380296 markings, 95687423 edges, 3043 markings/sec, 1745 secs
lola: 5394039 markings, 95968901 edges, 2749 markings/sec, 1750 secs
lola: 5407866 markings, 96243333 edges, 2765 markings/sec, 1755 secs
lola: 5421657 markings, 96519634 edges, 2758 markings/sec, 1760 secs
lola: 5435389 markings, 96796925 edges, 2746 markings/sec, 1765 secs
lola: 5449145 markings, 97076266 edges, 2751 markings/sec, 1770 secs
lola: 5462797 markings, 97361019 edges, 2730 markings/sec, 1775 secs
lola: 5476390 markings, 97647508 edges, 2719 markings/sec, 1780 secs
lola: 5489975 markings, 97934005 edges, 2717 markings/sec, 1785 secs
lola: 5503732 markings, 98209676 edges, 2751 markings/sec, 1790 secs
lola: 5520126 markings, 98477756 edges, 3279 markings/sec, 1795 secs
lola: 5536373 markings, 98740865 edges, 3249 markings/sec, 1800 secs
lola: 5552719 markings, 99004811 edges, 3269 markings/sec, 1805 secs
lola: 5568938 markings, 99268044 edges, 3244 markings/sec, 1810 secs
lola: 5585350 markings, 99535611 edges, 3282 markings/sec, 1815 secs
lola: 5601487 markings, 99804098 edges, 3227 markings/sec, 1820 secs
lola: 5617718 markings, 100073168 edges, 3246 markings/sec, 1825 secs
lola: 5633902 markings, 100340514 edges, 3237 markings/sec, 1830 secs
lola: 5647733 markings, 100633161 edges, 2766 markings/sec, 1835 secs
lola: 5661161 markings, 100930672 edges, 2686 markings/sec, 1840 secs
lola: 5674536 markings, 101229229 edges, 2675 markings/sec, 1845 secs
lola: 5687862 markings, 101530048 edges, 2665 markings/sec, 1850 secs
lola: 5701336 markings, 101821977 edges, 2695 markings/sec, 1855 secs
lola: 5714678 markings, 102124442 edges, 2668 markings/sec, 1860 secs
lola: 5727974 markings, 102427547 edges, 2659 markings/sec, 1865 secs
lola: 5741311 markings, 102728296 edges, 2667 markings/sec, 1870 secs
lola: 5754574 markings, 103031436 edges, 2653 markings/sec, 1875 secs
lola: 5767574 markings, 103342735 edges, 2600 markings/sec, 1880 secs
lola: 5784325 markings, 103578928 edges, 3350 markings/sec, 1885 secs
lola: 5800514 markings, 103825953 edges, 3238 markings/sec, 1890 secs
lola: 5817622 markings, 104091462 edges, 3422 markings/sec, 1895 secs
lola: 5833662 markings, 104345707 edges, 3208 markings/sec, 1900 secs
lola: 5850934 markings, 104611110 edges, 3454 markings/sec, 1905 secs
lola: 5867507 markings, 104877996 edges, 3315 markings/sec, 1910 secs
lola: 5883657 markings, 105130101 edges, 3230 markings/sec, 1915 secs
lola: 5900250 markings, 105404619 edges, 3319 markings/sec, 1920 secs
lola: 5914603 markings, 105694128 edges, 2871 markings/sec, 1925 secs
lola: 5928741 markings, 105992289 edges, 2828 markings/sec, 1930 secs
lola: 5942763 markings, 106295853 edges, 2804 markings/sec, 1935 secs
lola: 5956911 markings, 106592000 edges, 2830 markings/sec, 1940 secs
lola: 5970244 markings, 106875981 edges, 2667 markings/sec, 1945 secs
lola: 5983425 markings, 107168748 edges, 2636 markings/sec, 1950 secs
lola: 5996733 markings, 107453751 edges, 2662 markings/sec, 1955 secs
lola: 6010028 markings, 107739079 edges, 2659 markings/sec, 1960 secs
lola: 6023985 markings, 108043880 edges, 2791 markings/sec, 1965 secs
lola: 6040001 markings, 108337151 edges, 3203 markings/sec, 1970 secs
lola: 6056599 markings, 108621707 edges, 3320 markings/sec, 1975 secs
lola: 6073310 markings, 108906310 edges, 3342 markings/sec, 1980 secs
lola: 6090028 markings, 109188465 edges, 3344 markings/sec, 1985 secs
lola: 6106682 markings, 109477301 edges, 3331 markings/sec, 1990 secs
lola: 6123391 markings, 109763428 edges, 3342 markings/sec, 1995 secs
lola: 6140022 markings, 110051995 edges, 3326 markings/sec, 2000 secs
lola: 6156540 markings, 110339140 edges, 3304 markings/sec, 2005 secs
lola: 6171000 markings, 110647519 edges, 2892 markings/sec, 2010 secs
lola: 6184725 markings, 110966760 edges, 2745 markings/sec, 2015 secs
lola: 6198290 markings, 111285273 edges, 2713 markings/sec, 2020 secs
lola: 6211158 markings, 111583640 edges, 2574 markings/sec, 2025 secs
lola: 6224831 markings, 111895937 edges, 2735 markings/sec, 2030 secs
lola: 6238342 markings, 112219112 edges, 2702 markings/sec, 2035 secs
lola: 6251906 markings, 112538700 edges, 2713 markings/sec, 2040 secs
lola: 6265444 markings, 112858505 edges, 2708 markings/sec, 2045 secs
lola: 6278926 markings, 113179949 edges, 2696 markings/sec, 2050 secs
lola: 6292471 markings, 113507844 edges, 2709 markings/sec, 2055 secs
lola: 6310384 markings, 113733877 edges, 3583 markings/sec, 2060 secs
lola: 6327959 markings, 113986844 edges, 3515 markings/sec, 2065 secs
lola: 6345100 markings, 114237700 edges, 3428 markings/sec, 2070 secs
lola: 6360962 markings, 114507061 edges, 3172 markings/sec, 2075 secs
lola: 6374501 markings, 114771508 edges, 2708 markings/sec, 2080 secs
lola: 6388258 markings, 115056794 edges, 2751 markings/sec, 2085 secs
lola: 6401587 markings, 115336383 edges, 2666 markings/sec, 2090 secs
lola: 6414892 markings, 115633503 edges, 2661 markings/sec, 2095 secs
lola: 6429008 markings, 115925723 edges, 2823 markings/sec, 2100 secs
lola: 6443947 markings, 116200507 edges, 2988 markings/sec, 2105 secs
lola: 6458626 markings, 116498004 edges, 2936 markings/sec, 2110 secs
lola: 6472725 markings, 116789088 edges, 2820 markings/sec, 2115 secs
lola: 6487301 markings, 117102042 edges, 2915 markings/sec, 2120 secs
lola: 6500166 markings, 117404915 edges, 2573 markings/sec, 2125 secs
lola: 6512982 markings, 117728427 edges, 2563 markings/sec, 2130 secs
lola: 6525723 markings, 118057125 edges, 2548 markings/sec, 2135 secs
lola: 6538102 markings, 118384802 edges, 2476 markings/sec, 2140 secs
lola: 6550747 markings, 118730024 edges, 2529 markings/sec, 2145 secs
lola: 6567050 markings, 119005958 edges, 3261 markings/sec, 2150 secs
lola: 6584280 markings, 119272207 edges, 3446 markings/sec, 2155 secs
lola: 6601033 markings, 119539649 edges, 3351 markings/sec, 2160 secs
lola: 6617734 markings, 119828319 edges, 3340 markings/sec, 2165 secs
lola: 6631050 markings, 120107269 edges, 2663 markings/sec, 2170 secs
lola: 6644336 markings, 120403872 edges, 2657 markings/sec, 2175 secs
lola: 6657500 markings, 120707370 edges, 2633 markings/sec, 2180 secs
lola: 6670399 markings, 121009913 edges, 2580 markings/sec, 2185 secs
lola: 6683402 markings, 121336278 edges, 2601 markings/sec, 2190 secs
lola: 6697977 markings, 121626683 edges, 2915 markings/sec, 2195 secs
lola: 6712389 markings, 121931608 edges, 2882 markings/sec, 2200 secs
lola: 6726263 markings, 122245158 edges, 2775 markings/sec, 2205 secs
lola: 6740579 markings, 122556270 edges, 2863 markings/sec, 2210 secs
lola: 6754047 markings, 122887382 edges, 2694 markings/sec, 2215 secs
lola: 6766430 markings, 123213661 edges, 2477 markings/sec, 2220 secs
lola: 6779079 markings, 123557160 edges, 2530 markings/sec, 2225 secs
lola: 6791311 markings, 123903757 edges, 2446 markings/sec, 2230 secs
lola: 6803553 markings, 124247279 edges, 2448 markings/sec, 2235 secs
lola: 6815716 markings, 124618777 edges, 2433 markings/sec, 2240 secs
lola: 6833797 markings, 124869248 edges, 3616 markings/sec, 2245 secs
lola: 6851972 markings, 125140757 edges, 3635 markings/sec, 2250 secs
lola: 6869552 markings, 125410522 edges, 3516 markings/sec, 2255 secs
lola: 6884973 markings, 125685502 edges, 3084 markings/sec, 2260 secs
lola: 6898985 markings, 125972424 edges, 2802 markings/sec, 2265 secs
lola: 6913132 markings, 126283212 edges, 2829 markings/sec, 2270 secs
lola: 6926177 markings, 126567656 edges, 2609 markings/sec, 2275 secs
lola: 6939928 markings, 126887709 edges, 2750 markings/sec, 2280 secs
lola: 6953706 markings, 127185403 edges, 2756 markings/sec, 2285 secs
lola: 6969092 markings, 127483168 edges, 3077 markings/sec, 2290 secs
lola: 6983513 markings, 127785308 edges, 2884 markings/sec, 2295 secs
lola: 6997588 markings, 128088361 edges, 2815 markings/sec, 2300 secs
lola: 7012046 markings, 128417117 edges, 2892 markings/sec, 2305 secs
lola: 7025047 markings, 128736023 edges, 2600 markings/sec, 2310 secs
lola: 7038029 markings, 129074242 edges, 2596 markings/sec, 2315 secs
lola: 7050826 markings, 129419261 edges, 2559 markings/sec, 2320 secs
lola: 7062818 markings, 129748547 edges, 2398 markings/sec, 2325 secs
lola: 7075705 markings, 130115435 edges, 2577 markings/sec, 2330 secs
lola: 7092679 markings, 130403919 edges, 3395 markings/sec, 2335 secs
lola: 7110003 markings, 130694505 edges, 3465 markings/sec, 2340 secs
lola: 7126939 markings, 130980826 edges, 3387 markings/sec, 2345 secs
lola: 7143910 markings, 131292784 edges, 3394 markings/sec, 2350 secs
lola: 7157583 markings, 131587101 edges, 2735 markings/sec, 2355 secs
lola: 7171254 markings, 131906997 edges, 2734 markings/sec, 2360 secs
lola: 7184566 markings, 132234170 edges, 2662 markings/sec, 2365 secs
lola: 7197897 markings, 132558323 edges, 2666 markings/sec, 2370 secs
lola: 7211530 markings, 132902584 edges, 2727 markings/sec, 2375 secs
lola: 7225993 markings, 133213330 edges, 2893 markings/sec, 2380 secs
lola: 7240930 markings, 133544088 edges, 2987 markings/sec, 2385 secs
lola: 7255540 markings, 133867243 edges, 2922 markings/sec, 2390 secs
lola: 7270011 markings, 134209655 edges, 2894 markings/sec, 2395 secs
lola: 7282975 markings, 134560483 edges, 2593 markings/sec, 2400 secs
lola: 7295829 markings, 134907942 edges, 2571 markings/sec, 2405 secs
lola: 7308523 markings, 135282347 edges, 2539 markings/sec, 2410 secs
lola: 7321023 markings, 135639012 edges, 2500 markings/sec, 2415 secs
lola: 7333551 markings, 136016278 edges, 2506 markings/sec, 2420 secs
lola: 7348127 markings, 136345156 edges, 2915 markings/sec, 2425 secs
lola: 7365273 markings, 136603827 edges, 3429 markings/sec, 2430 secs
lola: 7382328 markings, 136876316 edges, 3411 markings/sec, 2435 secs
lola: 7399233 markings, 137155906 edges, 3381 markings/sec, 2440 secs
lola: 7413634 markings, 137442915 edges, 2880 markings/sec, 2445 secs
lola: 7426982 markings, 137727897 edges, 2670 markings/sec, 2450 secs
lola: 7440218 markings, 138038549 edges, 2647 markings/sec, 2455 secs
lola: 7453165 markings, 138335846 edges, 2589 markings/sec, 2460 secs
lola: 7466219 markings, 138654354 edges, 2611 markings/sec, 2465 secs
lola: 7480008 markings, 138962567 edges, 2758 markings/sec, 2470 secs
lola: 7494639 markings, 139257555 edges, 2926 markings/sec, 2475 secs
lola: 7509159 markings, 139570735 edges, 2904 markings/sec, 2480 secs
lola: 7523127 markings, 139880270 edges, 2794 markings/sec, 2485 secs
lola: 7536948 markings, 140217861 edges, 2764 markings/sec, 2490 secs
lola: 7549514 markings, 140534942 edges, 2513 markings/sec, 2495 secs
lola: 7562062 markings, 140875324 edges, 2510 markings/sec, 2500 secs
lola: 7574474 markings, 141221948 edges, 2482 markings/sec, 2505 secs
lola: 7586555 markings, 141566674 edges, 2416 markings/sec, 2510 secs
lola: 7598917 markings, 141927514 edges, 2472 markings/sec, 2515 secs
lola: 7614647 markings, 142227021 edges, 3146 markings/sec, 2520 secs
lola: 7631444 markings, 142511138 edges, 3359 markings/sec, 2525 secs
lola: 7647832 markings, 142799196 edges, 3278 markings/sec, 2530 secs
lola: 7664208 markings, 143102287 edges, 3275 markings/sec, 2535 secs
lola: 7677606 markings, 143403897 edges, 2680 markings/sec, 2540 secs
lola: 7690613 markings, 143711462 edges, 2601 markings/sec, 2545 secs
lola: 7703473 markings, 144038402 edges, 2572 markings/sec, 2550 secs
lola: 7716036 markings, 144356486 edges, 2513 markings/sec, 2555 secs
lola: 7728785 markings, 144692356 edges, 2550 markings/sec, 2560 secs
lola: 7742288 markings, 145016099 edges, 2701 markings/sec, 2565 secs
lola: 7756566 markings, 145328469 edges, 2856 markings/sec, 2570 secs
lola: 7770769 markings, 145659302 edges, 2841 markings/sec, 2575 secs
lola: 7784196 markings, 145985119 edges, 2685 markings/sec, 2580 secs
lola: 7797981 markings, 146332968 edges, 2757 markings/sec, 2585 secs
lola: 7810231 markings, 146670305 edges, 2450 markings/sec, 2590 secs
lola: 7822463 markings, 147023160 edges, 2446 markings/sec, 2595 secs
lola: 7834605 markings, 147388992 edges, 2428 markings/sec, 2600 secs
lola: 7846460 markings, 147744784 edges, 2371 markings/sec, 2605 secs
lola: 7858475 markings, 148118625 edges, 2403 markings/sec, 2610 secs
lola: 7872988 markings, 148451591 edges, 2903 markings/sec, 2615 secs
lola: 7890968 markings, 148729456 edges, 3596 markings/sec, 2620 secs
lola: 7908303 markings, 149020314 edges, 3467 markings/sec, 2625 secs
lola: 7925453 markings, 149322367 edges, 3430 markings/sec, 2630 secs
lola: 7939706 markings, 149626797 edges, 2851 markings/sec, 2635 secs
lola: 7953377 markings, 149938052 edges, 2734 markings/sec, 2640 secs
lola: 7966871 markings, 150265845 edges, 2699 markings/sec, 2645 secs
lola: 7980069 markings, 150589990 edges, 2640 markings/sec, 2650 secs
lola: 7993436 markings, 150932635 edges, 2673 markings/sec, 2655 secs
lola: 8008302 markings, 151246708 edges, 2973 markings/sec, 2660 secs
lola: 8023003 markings, 151570727 edges, 2940 markings/sec, 2665 secs
lola: 8037263 markings, 151903673 edges, 2852 markings/sec, 2670 secs
lola: 8051817 markings, 152236912 edges, 2911 markings/sec, 2675 secs
lola: 8065547 markings, 152587270 edges, 2746 markings/sec, 2680 secs
lola: 8078246 markings, 152934936 edges, 2540 markings/sec, 2685 secs
lola: 8091140 markings, 153300843 edges, 2579 markings/sec, 2690 secs
lola: 8103669 markings, 153663742 edges, 2506 markings/sec, 2695 secs
lola: 8116191 markings, 154032458 edges, 2504 markings/sec, 2700 secs
lola: 8129670 markings, 154409831 edges, 2696 markings/sec, 2705 secs
lola: 8146785 markings, 154697823 edges, 3423 markings/sec, 2710 secs
lola: 8163801 markings, 155008708 edges, 3403 markings/sec, 2715 secs
lola: 8180500 markings, 155317067 edges, 3340 markings/sec, 2720 secs
lola: 8195869 markings, 155644143 edges, 3074 markings/sec, 2725 secs
lola: 8209023 markings, 155968294 edges, 2631 markings/sec, 2730 secs
lola: 8222403 markings, 156309010 edges, 2676 markings/sec, 2735 secs
lola: 8235393 markings, 156647606 edges, 2598 markings/sec, 2740 secs
lola: 8248346 markings, 156996659 edges, 2591 markings/sec, 2745 secs
lola: 8262023 markings, 157352182 edges, 2735 markings/sec, 2750 secs
lola: 8276155 markings, 157680091 edges, 2826 markings/sec, 2755 secs
lola: 8290364 markings, 158034164 edges, 2842 markings/sec, 2760 secs
lola: 8304679 markings, 158371054 edges, 2863 markings/sec, 2765 secs
lola: 8318899 markings, 158730777 edges, 2844 markings/sec, 2770 secs
lola: 8331492 markings, 159097957 edges, 2519 markings/sec, 2775 secs
lola: 8344013 markings, 159462331 edges, 2504 markings/sec, 2780 secs
lola: 8356390 markings, 159853970 edges, 2475 markings/sec, 2785 secs
lola: 8368627 markings, 160224417 edges, 2447 markings/sec, 2790 secs
lola: 8380796 markings, 160616851 edges, 2434 markings/sec, 2795 secs
lola: 8401175 markings, 160970741 edges, 4076 markings/sec, 2800 secs
lola: 8430078 markings, 161217872 edges, 5781 markings/sec, 2805 secs
lola: 8450903 markings, 161454931 edges, 4165 markings/sec, 2810 secs
lola: 8471273 markings, 161701913 edges, 4074 markings/sec, 2815 secs
lola: 8491129 markings, 161937764 edges, 3971 markings/sec, 2820 secs
lola: 8509481 markings, 162181735 edges, 3670 markings/sec, 2825 secs
lola: 8528142 markings, 162432143 edges, 3732 markings/sec, 2830 secs
lola: 8542355 markings, 162683424 edges, 2843 markings/sec, 2835 secs
lola: 8556451 markings, 162939879 edges, 2819 markings/sec, 2840 secs
lola: 8570658 markings, 163188985 edges, 2841 markings/sec, 2845 secs
lola: 8584885 markings, 163436290 edges, 2845 markings/sec, 2850 secs
lola: 8599016 markings, 163691555 edges, 2826 markings/sec, 2855 secs
lola: 8613052 markings, 163950759 edges, 2807 markings/sec, 2860 secs
lola: 8627175 markings, 164204690 edges, 2825 markings/sec, 2865 secs
lola: 8641234 markings, 164460391 edges, 2812 markings/sec, 2870 secs
lola: 8656068 markings, 164715526 edges, 2967 markings/sec, 2875 secs
lola: 8673133 markings, 164944404 edges, 3413 markings/sec, 2880 secs
lola: 8690103 markings, 165175975 edges, 3394 markings/sec, 2885 secs
lola: 8707028 markings, 165407342 edges, 3385 markings/sec, 2890 secs
lola: 8723955 markings, 165640028 edges, 3385 markings/sec, 2895 secs
lola: 8740834 markings, 165876246 edges, 3376 markings/sec, 2900 secs
lola: 8757670 markings, 166113110 edges, 3367 markings/sec, 2905 secs
lola: 8774393 markings, 166352587 edges, 3345 markings/sec, 2910 secs
lola: 8789714 markings, 166603203 edges, 3064 markings/sec, 2915 secs
lola: 8803509 markings, 166877824 edges, 2759 markings/sec, 2920 secs
lola: 8817214 markings, 167155953 edges, 2741 markings/sec, 2925 secs
lola: 8831181 markings, 167418946 edges, 2793 markings/sec, 2930 secs
lola: 8844948 markings, 167690912 edges, 2753 markings/sec, 2935 secs
lola: 8858644 markings, 167969845 edges, 2739 markings/sec, 2940 secs
lola: 8872458 markings, 168242642 edges, 2763 markings/sec, 2945 secs
lola: 8886130 markings, 168521430 edges, 2734 markings/sec, 2950 secs
lola: 8899766 markings, 168800951 edges, 2727 markings/sec, 2955 secs
lola: 8913258 markings, 169087785 edges, 2698 markings/sec, 2960 secs
lola: 8931428 markings, 169306049 edges, 3634 markings/sec, 2965 secs
lola: 8949141 markings, 169540263 edges, 3543 markings/sec, 2970 secs
lola: 8967092 markings, 169764189 edges, 3590 markings/sec, 2975 secs
lola: 8984904 markings, 169994000 edges, 3562 markings/sec, 2980 secs
lola: 9002616 markings, 170228470 edges, 3542 markings/sec, 2985 secs
lola: 9020309 markings, 170463186 edges, 3539 markings/sec, 2990 secs
lola: 9037908 markings, 170700047 edges, 3520 markings/sec, 2995 secs
lola: 9053690 markings, 170953849 edges, 3156 markings/sec, 3000 secs
lola: 9068259 markings, 171224869 edges, 2914 markings/sec, 3005 secs
lola: 9082765 markings, 171497713 edges, 2901 markings/sec, 3010 secs
lola: 9097245 markings, 171770259 edges, 2896 markings/sec, 3015 secs
lola: 9111595 markings, 172049010 edges, 2870 markings/sec, 3020 secs
lola: 9126285 markings, 172314434 edges, 2938 markings/sec, 3025 secs
lola: 9140664 markings, 172593382 edges, 2876 markings/sec, 3030 secs
lola: 9155068 markings, 172870177 edges, 2881 markings/sec, 3035 secs
lola: 9169416 markings, 173148557 edges, 2870 markings/sec, 3040 secs
lola: 9185629 markings, 173410337 edges, 3243 markings/sec, 3045 secs
lola: 9202910 markings, 173664022 edges, 3456 markings/sec, 3050 secs
lola: 9220260 markings, 173914460 edges, 3470 markings/sec, 3055 secs
lola: 9237621 markings, 174162778 edges, 3472 markings/sec, 3060 secs
lola: 9254903 markings, 174417809 edges, 3456 markings/sec, 3065 secs
lola: 9272144 markings, 174673700 edges, 3448 markings/sec, 3070 secs
lola: 9289333 markings, 174929919 edges, 3438 markings/sec, 3075 secs
lola: 9306230 markings, 175195080 edges, 3379 markings/sec, 3080 secs
lola: 9320693 markings, 175475374 edges, 2893 markings/sec, 3085 secs
lola: 9334791 markings, 175770008 edges, 2820 markings/sec, 3090 secs
lola: 9348930 markings, 176060420 edges, 2828 markings/sec, 3095 secs
lola: 9362942 markings, 176351702 edges, 2802 markings/sec, 3100 secs
lola: 9376986 markings, 176646292 edges, 2809 markings/sec, 3105 secs
lola: 9390953 markings, 176946768 edges, 2793 markings/sec, 3110 secs
lola: 9404981 markings, 177242534 edges, 2806 markings/sec, 3115 secs
lola: 9419062 markings, 177535686 edges, 2816 markings/sec, 3120 secs
lola: 9433046 markings, 177831159 edges, 2797 markings/sec, 3125 secs
lola: 9449780 markings, 178093658 edges, 3347 markings/sec, 3130 secs
lola: 9467733 markings, 178326711 edges, 3591 markings/sec, 3135 secs
lola: 9485465 markings, 178564320 edges, 3546 markings/sec, 3140 secs
lola: 9502699 markings, 178794847 edges, 3447 markings/sec, 3145 secs
lola: 9520276 markings, 179032673 edges, 3515 markings/sec, 3150 secs
lola: 9537283 markings, 179275090 edges, 3401 markings/sec, 3155 secs
lola: 9554936 markings, 179509839 edges, 3531 markings/sec, 3160 secs
lola: 9571521 markings, 179758199 edges, 3317 markings/sec, 3165 secs
lola: 9585474 markings, 180020854 edges, 2791 markings/sec, 3170 secs
lola: 9599255 markings, 180291977 edges, 2756 markings/sec, 3175 secs
lola: 9612952 markings, 180566932 edges, 2739 markings/sec, 3180 secs
lola: 9626761 markings, 180835332 edges, 2762 markings/sec, 3185 secs
lola: 9640554 markings, 181108574 edges, 2759 markings/sec, 3190 secs
lola: 9654246 markings, 181389699 edges, 2738 markings/sec, 3195 secs
lola: 9667843 markings, 181672891 edges, 2719 markings/sec, 3200 secs
lola: 9681748 markings, 181940188 edges, 2781 markings/sec, 3205 secs
lola: 9695363 markings, 182216096 edges, 2723 markings/sec, 3210 secs
lola: 9711735 markings, 182484808 edges, 3274 markings/sec, 3215 secs
lola: 9729262 markings, 182739390 edges, 3505 markings/sec, 3220 secs
lola: 9746599 markings, 182996144 edges, 3467 markings/sec, 3225 secs
lola: 9763912 markings, 183251762 edges, 3463 markings/sec, 3230 secs
lola: 9781287 markings, 183512870 edges, 3475 markings/sec, 3235 secs
lola: 9798311 markings, 183779834 edges, 3405 markings/sec, 3240 secs
lola: 9815484 markings, 184043481 edges, 3435 markings/sec, 3245 secs
lola: 9832229 markings, 184309996 edges, 3349 markings/sec, 3250 secs
lola: 9845945 markings, 184591603 edges, 2743 markings/sec, 3255 secs
lola: 9859388 markings, 184885778 edges, 2689 markings/sec, 3260 secs
lola: 9872880 markings, 185176414 edges, 2698 markings/sec, 3265 secs
lola: 9886308 markings, 185468573 edges, 2686 markings/sec, 3270 secs
lola: 9897951 markings, 185734880 edges, 2329 markings/sec, 3275 secs
lola: 9911527 markings, 186022061 edges, 2715 markings/sec, 3280 secs
lola: 9924899 markings, 186318840 edges, 2674 markings/sec, 3285 secs
lola: 9937559 markings, 186598992 edges, 2532 markings/sec, 3290 secs
lola: 9950883 markings, 186896388 edges, 2665 markings/sec, 3295 secs
lola: 9964004 markings, 187182574 edges, 2624 markings/sec, 3300 secs
lola: 9980579 markings, 187405853 edges, 3315 markings/sec, 3305 secs
lola: 9998840 markings, 187663155 edges, 3652 markings/sec, 3310 secs
lola: 10017159 markings, 187915829 edges, 3664 markings/sec, 3315 secs
lola: 10035399 markings, 188173311 edges, 3648 markings/sec, 3320 secs
lola: 10053230 markings, 188432770 edges, 3566 markings/sec, 3325 secs
lola: 10071339 markings, 188695292 edges, 3622 markings/sec, 3330 secs
lola: 10088264 markings, 188936190 edges, 3385 markings/sec, 3335 secs
lola: 10102237 markings, 189194884 edges, 2795 markings/sec, 3340 secs
lola: 10115295 markings, 189463519 edges, 2612 markings/sec, 3345 secs
lola: 10129352 markings, 189761512 edges, 2811 markings/sec, 3350 secs
lola: 10143527 markings, 190052754 edges, 2835 markings/sec, 3355 secs
lola: 10157724 markings, 190341906 edges, 2839 markings/sec, 3360 secs
lola: 10171039 markings, 190624521 edges, 2663 markings/sec, 3365 secs
lola: 10185038 markings, 190925662 edges, 2800 markings/sec, 3370 secs
lola: 10198395 markings, 191204562 edges, 2671 markings/sec, 3375 secs
lola: 10212445 markings, 191501061 edges, 2810 markings/sec, 3380 secs
lola: 10227121 markings, 191804196 edges, 2935 markings/sec, 3385 secs
lola: 10244053 markings, 192062264 edges, 3386 markings/sec, 3390 secs
lola: 10260887 markings, 192323292 edges, 3367 markings/sec, 3395 secs
lola: 10277800 markings, 192581067 edges, 3383 markings/sec, 3400 secs
lola: 10295630 markings, 192857725 edges, 3566 markings/sec, 3405 secs
lola: 10313121 markings, 193138527 edges, 3498 markings/sec, 3410 secs
lola: 10329438 markings, 193398851 edges, 3263 markings/sec, 3415 secs
lola: 10346126 markings, 193662709 edges, 3338 markings/sec, 3420 secs
lola: 10361774 markings, 193956697 edges, 3130 markings/sec, 3425 secs
lola: 10375506 markings, 194272728 edges, 2746 markings/sec, 3430 secs
lola: 10389255 markings, 194586032 edges, 2750 markings/sec, 3435 secs
lola: 10402275 markings, 194874979 edges, 2604 markings/sec, 3440 secs
lola: 10415249 markings, 195171739 edges, 2595 markings/sec, 3445 secs
lola: 10429013 markings, 195484900 edges, 2753 markings/sec, 3450 secs
lola: 10442700 markings, 195802289 edges, 2737 markings/sec, 3455 secs
lola: 10456251 markings, 196124890 edges, 2710 markings/sec, 3460 secs
lola: 10469948 markings, 196439701 edges, 2739 markings/sec, 3465 secs
lola: 10483672 markings, 196752087 edges, 2745 markings/sec, 3470 secs
lola: 10501537 markings, 197004295 edges, 3573 markings/sec, 3475 secs
lola: 10520604 markings, 197253396 edges, 3813 markings/sec, 3480 secs
lola: 10539224 markings, 197498090 edges, 3724 markings/sec, 3485 secs
lola: 10555678 markings, 197762943 edges, 3291 markings/sec, 3490 secs
lola: 10569403 markings, 198023236 edges, 2745 markings/sec, 3495 secs
lola: 10582524 markings, 198290860 edges, 2624 markings/sec, 3500 secs
lola: 10596007 markings, 198567117 edges, 2697 markings/sec, 3505 secs
lola: 10608768 markings, 198845355 edges, 2552 markings/sec, 3510 secs
lola: 10623541 markings, 199136710 edges, 2955 markings/sec, 3515 secs
lola: 10638311 markings, 199383368 edges, 2954 markings/sec, 3520 secs
lola: 10653160 markings, 199659881 edges, 2970 markings/sec, 3525 secs
lola: 10666787 markings, 199923453 edges, 2725 markings/sec, 3530 secs
lola: 10681334 markings, 200205462 edges, 2909 markings/sec, 3535 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes yes unknown no yes no yes no no no no yes no yes yes
lola:
preliminary result: no yes yes unknown no yes no yes no no no no yes no yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes unknown no yes no yes no no no no yes no yes yes
lola: memory consumption: 2153908 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes unknown no yes no yes no no no no yes no yes yes
lola: memory consumption: 2153908 KB
lola: time consumption: 3569 seconds

BK_STOP 1552455894397

--------------------
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="Eratosthenes-PT-500"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="win2018"
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-3957"
echo " Executing tool win2018"
echo " Input is Eratosthenes-PT-500, 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 r077-smll-155234766500101"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Eratosthenes-PT-500.tgz
mv Eratosthenes-PT-500 execution
cd execution
if [ "LTLCardinality" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "LTLCardinality" = "UpperBounds" ] ; 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
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 ;