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.r011-smll-155225030000047.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 ASLink-PT-08a, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-smll-155225030000047
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 916K
-rw-r--r-- 1 mcc users 3.3K Feb 9 05:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 9 05:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 5 02:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 5 02:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.6K Feb 4 22:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K Feb 4 22:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 1 23:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 1 23:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jan 29 09:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 29 09:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:17 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 757K 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 ASLink-PT-08a-LTLCardinality-00
FORMULA_NAME ASLink-PT-08a-LTLCardinality-01
FORMULA_NAME ASLink-PT-08a-LTLCardinality-02
FORMULA_NAME ASLink-PT-08a-LTLCardinality-03
FORMULA_NAME ASLink-PT-08a-LTLCardinality-04
FORMULA_NAME ASLink-PT-08a-LTLCardinality-05
FORMULA_NAME ASLink-PT-08a-LTLCardinality-06
FORMULA_NAME ASLink-PT-08a-LTLCardinality-07
FORMULA_NAME ASLink-PT-08a-LTLCardinality-08
FORMULA_NAME ASLink-PT-08a-LTLCardinality-09
FORMULA_NAME ASLink-PT-08a-LTLCardinality-10
FORMULA_NAME ASLink-PT-08a-LTLCardinality-11
FORMULA_NAME ASLink-PT-08a-LTLCardinality-12
FORMULA_NAME ASLink-PT-08a-LTLCardinality-13
FORMULA_NAME ASLink-PT-08a-LTLCardinality-14
FORMULA_NAME ASLink-PT-08a-LTLCardinality-15

=== Now, execution of the tool begins

BK_START 1552308815326

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-08a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating ASLink-PT-08a formula LTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking LTLCardinality @ ASLink-PT-08a @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 4442/65536 symbol table entries, 221 collisions
lola: preprocessing...
lola: Size of bit vector: 1796
lola: finding significant places
lola: 1796 places, 2646 transitions, 1450 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2984 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-08a-LTLCardinality.task
lola: LP says that atomic proposition is always false: (3 <= p1492)
lola: LP says that atomic proposition is always false: (2 <= p479)
lola: LP says that atomic proposition is always false: (3 <= p63)
lola: LP says that atomic proposition is always false: (2 <= p1160)
lola: LP says that atomic proposition is always false: (2 <= p1535)
lola: LP says that atomic proposition is always false: (2 <= p873)
lola: LP says that atomic proposition is always false: (2 <= p612)
lola: A (G (F ((FALSE U (1 <= p963))))) : A (F (G (((p1677 <= p1621) U (p390 <= p732))))) : A (G (G (X (F ((1 <= p223)))))) : A ((p738 <= p1514)) : A (F (G (FALSE))) : A (F (G (((p189 <= p482) U FALSE)))) : A ((p376 <= p153)) : A (F (F (((1 <= p89) U FALSE)))) : A (G (X (X (F ((p152 <= p1358)))))) : A (X (F (((p265 <= p1415) U (p1127 <= p1340))))) : A (G (FALSE)) : A (FALSE) : A (X ((p659 <= p1390))) : A (X ((p1377 <= p686))) : A (X (X (FALSE))) : A (X (F (F ((p776 <= p623)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
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:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:434
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:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p738 <= p1514)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p738 <= p1514)
lola: processed formula length: 15
lola: 38 rewrites
lola: closed formula file ASLink-PT-08a-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 ASLink-PT-08a-LTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 235 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: 38 rewrites
lola: closed formula file ASLink-PT-08a-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 ASLink-PT-08a-LTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 38 rewrites
lola: closed formula file ASLink-PT-08a-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 ASLink-PT-08a-LTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p376 <= p153)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p376 <= p153)
lola: processed formula length: 14
lola: 38 rewrites
lola: closed formula file ASLink-PT-08a-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 ASLink-PT-08a-LTLCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 38 rewrites
lola: closed formula file ASLink-PT-08a-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 ASLink-PT-08a-LTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 38 rewrites
lola: closed formula file ASLink-PT-08a-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 ASLink-PT-08a-LTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 38 rewrites
lola: closed formula file ASLink-PT-08a-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 ASLink-PT-08a-LTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 38 rewrites
lola: closed formula file ASLink-PT-08a-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 ASLink-PT-08a-LTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 440 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((p659 <= p1390)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((p659 <= p1390)))
lola: processed formula length: 23
lola: 38 rewrites
lola: closed formula file ASLink-PT-08a-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola:
FORMULA ASLink-PT-08a-LTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 9 will run for 503 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((p1377 <= p686)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((p1377 <= p686)))
lola: processed formula length: 23
lola: 38 rewrites
lola: closed formula file ASLink-PT-08a-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================

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

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

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

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

FORMULA ASLink-PT-08a-LTLCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1763 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((p152 <= p1358))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p152 <= p1358))))
lola: processed formula length: 27
lola: 38 rewrites
lola: closed formula file ASLink-PT-08a-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: 86048 markings, 99831 edges, 17210 markings/sec, 0 secs
lola: 180425 markings, 210363 edges, 18875 markings/sec, 5 secs
lola: 270669 markings, 316114 edges, 18049 markings/sec, 10 secs
lola: 363417 markings, 424704 edges, 18550 markings/sec, 15 secs
lola: 454838 markings, 530517 edges, 18284 markings/sec, 20 secs
lola: 546296 markings, 636522 edges, 18292 markings/sec, 25 secs
lola: 642438 markings, 746491 edges, 19228 markings/sec, 30 secs
lola: 751271 markings, 869729 edges, 21767 markings/sec, 35 secs
lola: 858038 markings, 992784 edges, 21353 markings/sec, 40 secs
lola: 961435 markings, 1111366 edges, 20679 markings/sec, 45 secs
lola: 1065187 markings, 1231456 edges, 20750 markings/sec, 50 secs
lola: 1156629 markings, 1339456 edges, 18288 markings/sec, 55 secs
lola: 1244666 markings, 1443309 edges, 17607 markings/sec, 60 secs
lola: 1331958 markings, 1545245 edges, 17458 markings/sec, 65 secs
lola: 1417661 markings, 1644324 edges, 17141 markings/sec, 70 secs
lola: 1503206 markings, 1742263 edges, 17109 markings/sec, 75 secs
lola: 1588414 markings, 1839943 edges, 17042 markings/sec, 80 secs
lola: 1668917 markings, 1932200 edges, 16101 markings/sec, 85 secs
lola: 1764020 markings, 2043763 edges, 19021 markings/sec, 90 secs
lola: 1858385 markings, 2154703 edges, 18873 markings/sec, 95 secs
lola: 1954992 markings, 2267969 edges, 19321 markings/sec, 100 secs
lola: 2050414 markings, 2379957 edges, 19084 markings/sec, 105 secs
lola: 2147017 markings, 2493164 edges, 19321 markings/sec, 110 secs
lola: 2236692 markings, 2597275 edges, 17935 markings/sec, 115 secs
lola: 2327919 markings, 2703874 edges, 18245 markings/sec, 120 secs
lola: 2427661 markings, 2819929 edges, 19948 markings/sec, 125 secs
lola: 2518098 markings, 2925265 edges, 18087 markings/sec, 130 secs
lola: 2612412 markings, 3035423 edges, 18863 markings/sec, 135 secs
lola: 2700551 markings, 3137440 edges, 17628 markings/sec, 140 secs
lola: 2794549 markings, 3245138 edges, 18800 markings/sec, 145 secs
lola: 2881161 markings, 3345274 edges, 17322 markings/sec, 150 secs
lola: 2982595 markings, 3461929 edges, 20287 markings/sec, 155 secs
lola: 3067553 markings, 3559370 edges, 16992 markings/sec, 160 secs
lola: 3157589 markings, 3663544 edges, 18007 markings/sec, 165 secs
lola: 3254429 markings, 3774805 edges, 19368 markings/sec, 170 secs
lola: 3337962 markings, 3870560 edges, 16707 markings/sec, 175 secs
lola: 3449073 markings, 3997410 edges, 22222 markings/sec, 180 secs
lola: 3542434 markings, 4106450 edges, 18672 markings/sec, 185 secs
lola: 3632839 markings, 4211888 edges, 18081 markings/sec, 190 secs
lola: 3719670 markings, 4312803 edges, 17366 markings/sec, 195 secs
lola: 3802492 markings, 4407676 edges, 16564 markings/sec, 200 secs
lola: 3895388 markings, 4513051 edges, 18579 markings/sec, 205 secs
lola: 3983561 markings, 4613891 edges, 17635 markings/sec, 210 secs
lola: 4069929 markings, 4712980 edges, 17274 markings/sec, 215 secs
lola: 4172927 markings, 4830251 edges, 20600 markings/sec, 220 secs
lola: 4253554 markings, 4921956 edges, 16125 markings/sec, 225 secs
lola: 4346257 markings, 5027070 edges, 18541 markings/sec, 230 secs
lola: 4437060 markings, 5130219 edges, 18161 markings/sec, 235 secs
lola: 4524863 markings, 5230692 edges, 17561 markings/sec, 240 secs
lola: 4616679 markings, 5335714 edges, 18363 markings/sec, 245 secs
lola: 4713092 markings, 5445526 edges, 19283 markings/sec, 250 secs
lola: 4794311 markings, 5537785 edges, 16244 markings/sec, 255 secs
lola: 4886477 markings, 5642243 edges, 18433 markings/sec, 260 secs
lola: 4973791 markings, 5741585 edges, 17463 markings/sec, 265 secs
lola: 5077533 markings, 5859203 edges, 20748 markings/sec, 270 secs
lola: 5161762 markings, 5955323 edges, 16846 markings/sec, 275 secs
lola: 5257603 markings, 6064082 edges, 19168 markings/sec, 280 secs
lola: 5349511 markings, 6168447 edges, 18382 markings/sec, 285 secs
lola: 5457768 markings, 6297981 edges, 21651 markings/sec, 290 secs
lola: 5560013 markings, 6419345 edges, 20449 markings/sec, 295 secs
lola: 5657731 markings, 6533214 edges, 19544 markings/sec, 300 secs
lola: 5758026 markings, 6650148 edges, 20059 markings/sec, 305 secs
lola: 5852776 markings, 6759197 edges, 18950 markings/sec, 310 secs
lola: 5950257 markings, 6871667 edges, 19496 markings/sec, 315 secs
lola: 6046745 markings, 6982101 edges, 19298 markings/sec, 320 secs
lola: 6138543 markings, 7086967 edges, 18360 markings/sec, 325 secs
lola: 6234538 markings, 7196956 edges, 19199 markings/sec, 330 secs
lola: 6330457 markings, 7305923 edges, 19184 markings/sec, 335 secs
lola: 6418973 markings, 7406558 edges, 17703 markings/sec, 340 secs
lola: 6517146 markings, 7518293 edges, 19635 markings/sec, 345 secs
lola: 6610132 markings, 7624628 edges, 18597 markings/sec, 350 secs
lola: 6698563 markings, 7726172 edges, 17686 markings/sec, 355 secs
lola: 6786075 markings, 7827323 edges, 17502 markings/sec, 360 secs
lola: 6872355 markings, 7925989 edges, 17256 markings/sec, 365 secs
lola: 6961821 markings, 8027937 edges, 17893 markings/sec, 370 secs
lola: 7049161 markings, 8126095 edges, 17468 markings/sec, 375 secs
lola: 7139623 markings, 8228142 edges, 18092 markings/sec, 380 secs
lola: 7226929 markings, 8325502 edges, 17461 markings/sec, 385 secs
lola: 7317624 markings, 8426820 edges, 18139 markings/sec, 390 secs
lola: 7406958 markings, 8526179 edges, 17867 markings/sec, 395 secs
lola: 7491145 markings, 8619415 edges, 16837 markings/sec, 400 secs
lola: 7584166 markings, 8722969 edges, 18604 markings/sec, 405 secs
lola: 7676110 markings, 8827793 edges, 18389 markings/sec, 410 secs
lola: 7764553 markings, 8929638 edges, 17689 markings/sec, 415 secs
lola: 7852001 markings, 9030808 edges, 17490 markings/sec, 420 secs
lola: 7938119 markings, 9129034 edges, 17224 markings/sec, 425 secs
lola: 8030725 markings, 9234085 edges, 18521 markings/sec, 430 secs
lola: 8116511 markings, 9330601 edges, 17157 markings/sec, 435 secs
lola: 8208225 markings, 9433631 edges, 18343 markings/sec, 440 secs
lola: 8291819 markings, 9526967 edges, 16719 markings/sec, 445 secs
lola: 8382351 markings, 9627935 edges, 18106 markings/sec, 450 secs
lola: 8471270 markings, 9726576 edges, 17784 markings/sec, 455 secs
lola: 8559427 markings, 9824351 edges, 17631 markings/sec, 460 secs
lola: 8646418 markings, 9920253 edges, 17398 markings/sec, 465 secs
lola: 8703228 markings, 9981838 edges, 11362 markings/sec, 470 secs
lola: 8759921 markings, 10043411 edges, 11339 markings/sec, 475 secs
lola: 8817551 markings, 10106248 edges, 11526 markings/sec, 480 secs
lola: 8878624 markings, 10173355 edges, 12215 markings/sec, 485 secs
lola: 8971363 markings, 10285589 edges, 18548 markings/sec, 490 secs
lola: 9063701 markings, 10393325 edges, 18468 markings/sec, 495 secs
lola: 9158752 markings, 10507743 edges, 19010 markings/sec, 500 secs
lola: 9246196 markings, 10612874 edges, 17489 markings/sec, 505 secs
lola: 9343864 markings, 10729287 edges, 19534 markings/sec, 510 secs
lola: 9432345 markings, 10835054 edges, 17696 markings/sec, 515 secs
lola: 9528141 markings, 10949993 edges, 19159 markings/sec, 520 secs
lola: 9620399 markings, 11060552 edges, 18452 markings/sec, 525 secs
lola: 9712356 markings, 11169346 edges, 18391 markings/sec, 530 secs
lola: 9801224 markings, 11271668 edges, 17774 markings/sec, 535 secs
lola: 9893484 markings, 11379087 edges, 18452 markings/sec, 540 secs
lola: 9986795 markings, 11490293 edges, 18662 markings/sec, 545 secs
lola: 10081798 markings, 11604217 edges, 19001 markings/sec, 550 secs
lola: 10171534 markings, 11710362 edges, 17947 markings/sec, 555 secs
lola: 10258960 markings, 11814211 edges, 17485 markings/sec, 560 secs
lola: 10345145 markings, 11916666 edges, 17237 markings/sec, 565 secs
lola: 10439851 markings, 12029800 edges, 18941 markings/sec, 570 secs
lola: 10531882 markings, 12136931 edges, 18406 markings/sec, 575 secs
lola: 10621116 markings, 12243271 edges, 17847 markings/sec, 580 secs
lola: 10717431 markings, 12357864 edges, 19263 markings/sec, 585 secs
lola: 10797494 markings, 12452794 edges, 16013 markings/sec, 590 secs
lola: 10890451 markings, 12562698 edges, 18591 markings/sec, 595 secs
lola: 10978310 markings, 12667499 edges, 17572 markings/sec, 600 secs
lola: 11078663 markings, 12786371 edges, 20071 markings/sec, 605 secs
lola: 11171210 markings, 12895919 edges, 18509 markings/sec, 610 secs
lola: 11266255 markings, 13008857 edges, 19009 markings/sec, 615 secs
lola: 11346893 markings, 13105201 edges, 16128 markings/sec, 620 secs
lola: 11441289 markings, 13217215 edges, 18879 markings/sec, 625 secs
lola: 11529239 markings, 13319887 edges, 17590 markings/sec, 630 secs
lola: 11617081 markings, 13422218 edges, 17568 markings/sec, 635 secs
lola: 11707218 markings, 13527021 edges, 18027 markings/sec, 640 secs
lola: 11796603 markings, 13630678 edges, 17877 markings/sec, 645 secs
lola: 11892525 markings, 13743403 edges, 19184 markings/sec, 650 secs
lola: 11974386 markings, 13840810 edges, 16372 markings/sec, 655 secs
lola: 12066661 markings, 13950145 edges, 18455 markings/sec, 660 secs
lola: 12156870 markings, 14057536 edges, 18042 markings/sec, 665 secs
lola: 12259735 markings, 14179034 edges, 20573 markings/sec, 670 secs
lola: 12342118 markings, 14275768 edges, 16477 markings/sec, 675 secs
lola: 12420751 markings, 14368710 edges, 15727 markings/sec, 680 secs
lola: 12520807 markings, 14486174 edges, 20011 markings/sec, 685 secs
lola: 12600063 markings, 14579711 edges, 15851 markings/sec, 690 secs
lola: 12686484 markings, 14681704 edges, 17284 markings/sec, 695 secs
lola: 12781616 markings, 14793197 edges, 19026 markings/sec, 700 secs
lola: 12879216 markings, 14907046 edges, 19520 markings/sec, 705 secs
lola: 12963671 markings, 15006890 edges, 16891 markings/sec, 710 secs
lola: 13058224 markings, 15119005 edges, 18911 markings/sec, 715 secs
lola: 13142707 markings, 15219237 edges, 16897 markings/sec, 720 secs
lola: 13240171 markings, 15334267 edges, 19493 markings/sec, 725 secs
lola: 13320285 markings, 15428453 edges, 16023 markings/sec, 730 secs
lola: 13400192 markings, 15522798 edges, 15981 markings/sec, 735 secs
lola: 13497934 markings, 15637452 edges, 19548 markings/sec, 740 secs
lola: 13576250 markings, 15729902 edges, 15663 markings/sec, 745 secs
lola: 13667659 markings, 15837746 edges, 18282 markings/sec, 750 secs
lola: 13769653 markings, 15957250 edges, 20399 markings/sec, 755 secs
lola: 13859662 markings, 16062995 edges, 18002 markings/sec, 760 secs
lola: 13949327 markings, 16169271 edges, 17933 markings/sec, 765 secs
lola: 14039125 markings, 16274954 edges, 17960 markings/sec, 770 secs
lola: 14131426 markings, 16383655 edges, 18460 markings/sec, 775 secs
lola: 14209849 markings, 16476661 edges, 15685 markings/sec, 780 secs
lola: 14304996 markings, 16588262 edges, 19029 markings/sec, 785 secs
lola: 14389164 markings, 16686496 edges, 16834 markings/sec, 790 secs
lola: 14475047 markings, 16786261 edges, 17177 markings/sec, 795 secs
lola: 14561235 markings, 16885327 edges, 17238 markings/sec, 800 secs
lola: 14645874 markings, 16984639 edges, 16928 markings/sec, 805 secs
lola: 14736151 markings, 17088629 edges, 18055 markings/sec, 810 secs
lola: 14823383 markings, 17187998 edges, 17446 markings/sec, 815 secs
lola: 14924653 markings, 17305794 edges, 20254 markings/sec, 820 secs
lola: 15006694 markings, 17402112 edges, 16408 markings/sec, 825 secs
lola: 15085339 markings, 17495225 edges, 15729 markings/sec, 830 secs
lola: 15185531 markings, 17612599 edges, 20038 markings/sec, 835 secs
lola: 15264306 markings, 17705609 edges, 15755 markings/sec, 840 secs
lola: 15354229 markings, 17811739 edges, 17985 markings/sec, 845 secs
lola: 15457424 markings, 17932359 edges, 20639 markings/sec, 850 secs
lola: 15550504 markings, 18040558 edges, 18616 markings/sec, 855 secs
lola: 15629322 markings, 18132184 edges, 15764 markings/sec, 860 secs
lola: 15706560 markings, 18222249 edges, 15448 markings/sec, 865 secs
lola: 15805808 markings, 18337048 edges, 19850 markings/sec, 870 secs
lola: 15889187 markings, 18434137 edges, 16676 markings/sec, 875 secs
lola: 15967404 markings, 18525450 edges, 15643 markings/sec, 880 secs
lola: 16056794 markings, 18629624 edges, 17878 markings/sec, 885 secs
lola: 16151051 markings, 18738410 edges, 18851 markings/sec, 890 secs
lola: 16247250 markings, 18848507 edges, 19240 markings/sec, 895 secs
lola: 16339912 markings, 18957602 edges, 18532 markings/sec, 900 secs
lola: 16420805 markings, 19052631 edges, 16179 markings/sec, 905 secs
lola: 16513344 markings, 19161456 edges, 18508 markings/sec, 910 secs
lola: 16601532 markings, 19265286 edges, 17638 markings/sec, 915 secs
lola: 16687132 markings, 19366068 edges, 17120 markings/sec, 920 secs
lola: 16785876 markings, 19481323 edges, 19749 markings/sec, 925 secs
lola: 16866485 markings, 19574618 edges, 16122 markings/sec, 930 secs
lola: 16945679 markings, 19667155 edges, 15839 markings/sec, 935 secs
lola: 17032884 markings, 19768417 edges, 17441 markings/sec, 940 secs
lola: 17128544 markings, 19879416 edges, 19132 markings/sec, 945 secs
lola: 17206189 markings, 19969957 edges, 15529 markings/sec, 950 secs
lola: 17288555 markings, 20066020 edges, 16473 markings/sec, 955 secs
lola: 17385622 markings, 20179054 edges, 19413 markings/sec, 960 secs
lola: 17486102 markings, 20295066 edges, 20096 markings/sec, 965 secs
lola: 17576790 markings, 20400181 edges, 18138 markings/sec, 970 secs
lola: 17668565 markings, 20507931 edges, 18355 markings/sec, 975 secs
lola: 17746551 markings, 20599015 edges, 15597 markings/sec, 980 secs
lola: 17848440 markings, 20717315 edges, 20378 markings/sec, 985 secs
lola: 17935435 markings, 20818508 edges, 17399 markings/sec, 990 secs
lola: 18012545 markings, 20908446 edges, 15422 markings/sec, 995 secs
lola: 18107177 markings, 21018391 edges, 18926 markings/sec, 1000 secs
lola: 18192031 markings, 21115079 edges, 16971 markings/sec, 1005 secs
lola: 18274515 markings, 21211439 edges, 16497 markings/sec, 1010 secs
lola: 18360130 markings, 21308664 edges, 17123 markings/sec, 1015 secs
lola: 18441916 markings, 21404043 edges, 16357 markings/sec, 1020 secs
lola: 18527583 markings, 21501274 edges, 17133 markings/sec, 1025 secs
lola: 18610989 markings, 21598548 edges, 16681 markings/sec, 1030 secs
lola: 18700994 markings, 21701428 edges, 18001 markings/sec, 1035 secs
lola: 18790092 markings, 21801947 edges, 17820 markings/sec, 1040 secs
lola: 18887917 markings, 21913529 edges, 19565 markings/sec, 1045 secs
lola: 18980202 markings, 22020684 edges, 18457 markings/sec, 1050 secs
lola: 19058546 markings, 22111711 edges, 15669 markings/sec, 1055 secs
lola: 19136491 markings, 22202652 edges, 15589 markings/sec, 1060 secs
lola: 19236700 markings, 22318580 edges, 20042 markings/sec, 1065 secs
lola: 19318521 markings, 22413727 edges, 16364 markings/sec, 1070 secs
lola: 19397089 markings, 22505579 edges, 15714 markings/sec, 1075 secs
lola: 19488321 markings, 22611794 edges, 18246 markings/sec, 1080 secs
lola: 19593132 markings, 22732730 edges, 20962 markings/sec, 1085 secs
lola: 19687644 markings, 22841546 edges, 18902 markings/sec, 1090 secs
lola: 19765173 markings, 22930438 edges, 15506 markings/sec, 1095 secs
lola: 19843631 markings, 23021157 edges, 15692 markings/sec, 1100 secs
lola: 19921489 markings, 23111048 edges, 15572 markings/sec, 1105 secs
lola: 20024336 markings, 23228685 edges, 20569 markings/sec, 1110 secs
lola: 20106655 markings, 23323645 edges, 16464 markings/sec, 1115 secs
lola: 20184143 markings, 23413029 edges, 15498 markings/sec, 1120 secs
lola: 20265821 markings, 23507348 edges, 16336 markings/sec, 1125 secs
lola: 20360861 markings, 23616750 edges, 19008 markings/sec, 1130 secs
lola: 20452408 markings, 23720418 edges, 18309 markings/sec, 1135 secs
lola: 20550592 markings, 23832053 edges, 19637 markings/sec, 1140 secs
lola: 20644838 markings, 23941572 edges, 18849 markings/sec, 1145 secs
lola: 20724457 markings, 24033975 edges, 15924 markings/sec, 1150 secs
lola: 20803314 markings, 24126043 edges, 15771 markings/sec, 1155 secs
lola: 20903462 markings, 24241900 edges, 20030 markings/sec, 1160 secs
lola: 20987995 markings, 24340380 edges, 16907 markings/sec, 1165 secs
lola: 21066319 markings, 24431741 edges, 15665 markings/sec, 1170 secs
lola: 21165130 markings, 24546083 edges, 19762 markings/sec, 1175 secs
lola: 21257013 markings, 24651776 edges, 18377 markings/sec, 1180 secs
lola: 21334981 markings, 24741085 edges, 15594 markings/sec, 1185 secs
lola: 21412467 markings, 24830678 edges, 15497 markings/sec, 1190 secs
lola: 21498084 markings, 24929168 edges, 17123 markings/sec, 1195 secs
lola: 21599006 markings, 25045000 edges, 20184 markings/sec, 1200 secs
lola: 21675992 markings, 25133529 edges, 15397 markings/sec, 1205 secs
lola: 21753514 markings, 25223021 edges, 15504 markings/sec, 1210 secs
lola: 21842566 markings, 25325828 edges, 17810 markings/sec, 1215 secs
lola: 21936946 markings, 25434722 edges, 18876 markings/sec, 1220 secs
lola: 22038688 markings, 25551073 edges, 20348 markings/sec, 1225 secs
lola: 22129488 markings, 25655884 edges, 18160 markings/sec, 1230 secs
lola: 22217857 markings, 25757481 edges, 17674 markings/sec, 1235 secs
lola: 22303107 markings, 25856356 edges, 17050 markings/sec, 1240 secs
lola: 22379833 markings, 25945050 edges, 15345 markings/sec, 1245 secs
lola: 22484147 markings, 26064915 edges, 20863 markings/sec, 1250 secs
lola: 22572916 markings, 26166952 edges, 17754 markings/sec, 1255 secs
lola: 22648947 markings, 26254783 edges, 15206 markings/sec, 1260 secs
lola: 22726588 markings, 26344637 edges, 15528 markings/sec, 1265 secs
lola: 22825713 markings, 26458141 edges, 19825 markings/sec, 1270 secs
lola: 22906613 markings, 26548935 edges, 16180 markings/sec, 1275 secs
lola: 22986139 markings, 26641186 edges, 15905 markings/sec, 1280 secs
lola: 23071302 markings, 26738374 edges, 17033 markings/sec, 1285 secs
lola: 23152247 markings, 26830413 edges, 16189 markings/sec, 1290 secs
lola: 23235701 markings, 26926016 edges, 16691 markings/sec, 1295 secs
lola: 23317792 markings, 27018196 edges, 16418 markings/sec, 1300 secs
lola: 23398662 markings, 27111934 edges, 16174 markings/sec, 1305 secs
lola: 23485470 markings, 27210573 edges, 17362 markings/sec, 1310 secs
lola: 23574773 markings, 27311268 edges, 17861 markings/sec, 1315 secs
lola: 23665723 markings, 27412880 edges, 18190 markings/sec, 1320 secs
lola: 23769871 markings, 27531761 edges, 20830 markings/sec, 1325 secs
lola: 23854239 markings, 27628745 edges, 16874 markings/sec, 1330 secs
lola: 23931095 markings, 27717161 edges, 15371 markings/sec, 1335 secs
lola: 24008010 markings, 27805932 edges, 15383 markings/sec, 1340 secs
lola: 24099910 markings, 27911428 edges, 18380 markings/sec, 1345 secs
lola: 24195943 markings, 28021919 edges, 19207 markings/sec, 1350 secs
lola: 24270770 markings, 28108041 edges, 14965 markings/sec, 1355 secs
lola: 24347924 markings, 28197159 edges, 15431 markings/sec, 1360 secs
lola: 24438949 markings, 28302085 edges, 18205 markings/sec, 1365 secs
lola: 24542963 markings, 28421233 edges, 20803 markings/sec, 1370 secs
lola: 24640459 markings, 28532786 edges, 19499 markings/sec, 1375 secs
lola: 24723988 markings, 28628387 edges, 16706 markings/sec, 1380 secs
lola: 24799461 markings, 28714135 edges, 15095 markings/sec, 1385 secs
lola: 24875919 markings, 28801927 edges, 15292 markings/sec, 1390 secs
lola: 24953580 markings, 28890814 edges, 15532 markings/sec, 1395 secs
lola: 25055306 markings, 29006350 edges, 20345 markings/sec, 1400 secs
lola: 25143565 markings, 29107331 edges, 17652 markings/sec, 1405 secs
lola: 25218867 markings, 29193360 edges, 15060 markings/sec, 1410 secs
lola: 25295078 markings, 29280553 edges, 15242 markings/sec, 1415 secs
lola: 25382825 markings, 29381084 edges, 17549 markings/sec, 1420 secs
lola: 25475424 markings, 29486984 edges, 18520 markings/sec, 1425 secs
lola: 25564788 markings, 29587352 edges, 17873 markings/sec, 1430 secs
lola: 25657667 markings, 29691210 edges, 18576 markings/sec, 1435 secs
lola: 25759416 markings, 29808244 edges, 20350 markings/sec, 1440 secs
lola: 25842464 markings, 29903650 edges, 16610 markings/sec, 1445 secs
lola: 25920360 markings, 29993443 edges, 15579 markings/sec, 1450 secs
lola: 25998780 markings, 30084023 edges, 15684 markings/sec, 1455 secs
lola: 26098511 markings, 30198030 edges, 19946 markings/sec, 1460 secs
lola: 26185295 markings, 30297886 edges, 17357 markings/sec, 1465 secs
lola: 26262470 markings, 30386933 edges, 15435 markings/sec, 1470 secs
lola: 26350080 markings, 30487763 edges, 17522 markings/sec, 1475 secs
lola: 26449755 markings, 30602034 edges, 19935 markings/sec, 1480 secs
lola: 26535377 markings, 30700017 edges, 17124 markings/sec, 1485 secs
lola: 26611458 markings, 30786409 edges, 15216 markings/sec, 1490 secs
lola: 26688283 markings, 30874532 edges, 15365 markings/sec, 1495 secs
lola: 26766012 markings, 30963785 edges, 15546 markings/sec, 1500 secs
lola: 26866081 markings, 31077315 edges, 20014 markings/sec, 1505 secs
lola: 26955745 markings, 31179754 edges, 17933 markings/sec, 1510 secs
lola: 27030883 markings, 31265629 edges, 15028 markings/sec, 1515 secs
lola: 27107192 markings, 31352944 edges, 15262 markings/sec, 1520 secs
lola: 27196025 markings, 31454855 edges, 17767 markings/sec, 1525 secs
lola: 27289238 markings, 31561481 edges, 18643 markings/sec, 1530 secs
lola: 27383019 markings, 31668298 edges, 18756 markings/sec, 1535 secs
lola: 27478706 markings, 31777450 edges, 19137 markings/sec, 1540 secs
lola: 27570712 markings, 31882100 edges, 18401 markings/sec, 1545 secs
lola: 27657806 markings, 31982348 edges, 17419 markings/sec, 1550 secs
lola: 27743533 markings, 32080935 edges, 17145 markings/sec, 1555 secs
lola: 27818485 markings, 32166854 edges, 14990 markings/sec, 1560 secs
lola: 27921760 markings, 32284960 edges, 20655 markings/sec, 1565 secs
lola: 28020414 markings, 32397403 edges, 19731 markings/sec, 1570 secs
lola: 28094888 markings, 32482640 edges, 14895 markings/sec, 1575 secs
lola: 28170420 markings, 32568992 edges, 15106 markings/sec, 1580 secs
lola: 28258234 markings, 32669344 edges, 17563 markings/sec, 1585 secs
lola: 28351623 markings, 32776566 edges, 18678 markings/sec, 1590 secs
lola: 28457036 markings, 32900922 edges, 21083 markings/sec, 1595 secs
lola: 28562782 markings, 33025663 edges, 21149 markings/sec, 1600 secs
lola: 28669567 markings, 33151377 edges, 21357 markings/sec, 1605 secs
lola: 28774806 markings, 33275740 edges, 21048 markings/sec, 1610 secs
lola: 28882981 markings, 33402973 edges, 21635 markings/sec, 1615 secs
lola: 28983484 markings, 33522033 edges, 20101 markings/sec, 1620 secs
lola: 29079929 markings, 33640098 edges, 19289 markings/sec, 1625 secs
lola: 29202475 markings, 33788113 edges, 24509 markings/sec, 1630 secs
lola: 29337861 markings, 33950890 edges, 27077 markings/sec, 1635 secs
lola: 29453314 markings, 34100910 edges, 23091 markings/sec, 1640 secs
lola: 29556425 markings, 34229355 edges, 20622 markings/sec, 1645 secs
lola: 29654159 markings, 34355123 edges, 19547 markings/sec, 1650 secs
lola: 29769904 markings, 34508864 edges, 23149 markings/sec, 1655 secs
lola: 29879113 markings, 34639040 edges, 21842 markings/sec, 1660 secs
lola: 29991697 markings, 34770444 edges, 22517 markings/sec, 1665 secs
lola: 30099732 markings, 34895616 edges, 21607 markings/sec, 1670 secs
lola: 30212148 markings, 35025510 edges, 22483 markings/sec, 1675 secs
lola: 30319366 markings, 35149603 edges, 21444 markings/sec, 1680 secs
lola: 30436330 markings, 35286185 edges, 23393 markings/sec, 1685 secs
lola: 30542819 markings, 35411268 edges, 21298 markings/sec, 1690 secs
lola: 30650061 markings, 35536753 edges, 21448 markings/sec, 1695 secs
lola: 30754854 markings, 35659786 edges, 20959 markings/sec, 1700 secs
lola: 30866372 markings, 35790176 edges, 22304 markings/sec, 1705 secs
lola: 30978689 markings, 35923797 edges, 22463 markings/sec, 1710 secs
lola: 31077483 markings, 36056016 edges, 19759 markings/sec, 1715 secs
lola: 31176798 markings, 36180403 edges, 19863 markings/sec, 1720 secs
lola: 31284437 markings, 36321366 edges, 21528 markings/sec, 1725 secs
lola: 31401413 markings, 36469366 edges, 23395 markings/sec, 1730 secs
lola: 31510467 markings, 36596219 edges, 21811 markings/sec, 1735 secs
lola: 31623513 markings, 36727551 edges, 22609 markings/sec, 1740 secs
lola: 31732042 markings, 36853441 edges, 21706 markings/sec, 1745 secs
lola: 31843793 markings, 36981524 edges, 22350 markings/sec, 1750 secs
lola: 31958271 markings, 37115363 edges, 22896 markings/sec, 1755 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no yes no no yes no unknown yes no no yes yes no yes
lola: memory consumption: 6002548 KB
lola: time consumption: 1806 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1763 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((F ((p390 <= p732)) AND ((p1677 <= p1621) OR (p390 <= p732))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F ((p390 <= p732)) AND ((p1677 <= p1621) OR (p390 <= p732))))))
lola: processed formula length: 73
lola: 38 rewrites
lola: closed formula file ASLink-PT-08a-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: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 110782 markings, 140248 edges, 22156 markings/sec, 0 secs
lola: 253938 markings, 313352 edges, 28631 markings/sec, 5 secs
lola: 396640 markings, 488492 edges, 28540 markings/sec, 10 secs
lola: 537766 markings, 659339 edges, 28225 markings/sec, 15 secs
lola: 658211 markings, 802013 edges, 24089 markings/sec, 20 secs
lola: 819025 markings, 986266 edges, 32163 markings/sec, 25 secs
lola: 977799 markings, 1167962 edges, 31755 markings/sec, 30 secs
lola: 1128128 markings, 1339624 edges, 30066 markings/sec, 35 secs
lola: 1260999 markings, 1496211 edges, 26574 markings/sec, 40 secs
lola: 1418147 markings, 1680983 edges, 31430 markings/sec, 45 secs
lola: 1573353 markings, 1862500 edges, 31041 markings/sec, 50 secs
lola: 1720095 markings, 2032917 edges, 29348 markings/sec, 55 secs
lola: 1911235 markings, 2253349 edges, 38228 markings/sec, 60 secs
lola: 2095726 markings, 2465811 edges, 36898 markings/sec, 65 secs
lola: 2197068 markings, 2589268 edges, 20268 markings/sec, 70 secs
lola: 2383990 markings, 2805494 edges, 37384 markings/sec, 75 secs
lola: 2600273 markings, 3057366 edges, 43257 markings/sec, 80 secs
lola: 2818899 markings, 3310572 edges, 43725 markings/sec, 85 secs
lola: 3026168 markings, 3553239 edges, 41454 markings/sec, 90 secs
lola: 3245893 markings, 3809002 edges, 43945 markings/sec, 95 secs
lola: 3462659 markings, 4062661 edges, 43353 markings/sec, 100 secs
lola: 3666809 markings, 4303520 edges, 40830 markings/sec, 105 secs
lola: 3890093 markings, 4561990 edges, 44657 markings/sec, 110 secs
lola: 4106000 markings, 4814150 edges, 43181 markings/sec, 115 secs
lola: 4307487 markings, 5050255 edges, 40297 markings/sec, 120 secs
lola: 4522891 markings, 5302326 edges, 43081 markings/sec, 125 secs
lola: 4736869 markings, 5553241 edges, 42796 markings/sec, 130 secs
lola: 4953933 markings, 5803489 edges, 43413 markings/sec, 135 secs
lola: 5166763 markings, 6056468 edges, 42566 markings/sec, 140 secs
lola: 5370326 markings, 6292954 edges, 40713 markings/sec, 145 secs
lola: 5577145 markings, 6540117 edges, 41364 markings/sec, 150 secs
lola: 5794662 markings, 6791462 edges, 43503 markings/sec, 155 secs
lola: 6014445 markings, 7047583 edges, 43957 markings/sec, 160 secs
lola: 6228728 markings, 7297699 edges, 42857 markings/sec, 165 secs
lola: 6440781 markings, 7546342 edges, 42411 markings/sec, 170 secs
lola: 6645119 markings, 7785170 edges, 40868 markings/sec, 175 secs
lola: 6848767 markings, 8022848 edges, 40730 markings/sec, 180 secs
lola: 7063007 markings, 8270033 edges, 42848 markings/sec, 185 secs
lola: 7275871 markings, 8524008 edges, 42573 markings/sec, 190 secs
lola: 7489276 markings, 8773166 edges, 42681 markings/sec, 195 secs
lola: 7704944 markings, 9022027 edges, 43134 markings/sec, 200 secs
lola: 7919614 markings, 9269251 edges, 42934 markings/sec, 205 secs
lola: 8130318 markings, 9521783 edges, 42141 markings/sec, 210 secs
lola: 8343754 markings, 9770600 edges, 42687 markings/sec, 215 secs
lola: 8535213 markings, 9994564 edges, 38292 markings/sec, 220 secs
lola: 8738034 markings, 10238047 edges, 40564 markings/sec, 225 secs
lola: 8944725 markings, 10482671 edges, 41338 markings/sec, 230 secs
lola: 9156597 markings, 10727964 edges, 42374 markings/sec, 235 secs
lola: 9384891 markings, 10989751 edges, 45659 markings/sec, 240 secs
lola: 9596678 markings, 11237247 edges, 42357 markings/sec, 245 secs
lola: 9805745 markings, 11482033 edges, 41813 markings/sec, 250 secs
lola: 10019540 markings, 11730741 edges, 42759 markings/sec, 255 secs
lola: 10225020 markings, 11972239 edges, 41096 markings/sec, 260 secs
lola: 10433377 markings, 12216219 edges, 41671 markings/sec, 265 secs
lola: 10624820 markings, 12439736 edges, 38289 markings/sec, 270 secs
lola: 10832948 markings, 12681899 edges, 41626 markings/sec, 275 secs
lola: 11038273 markings, 12921658 edges, 41065 markings/sec, 280 secs
lola: 11257492 markings, 13171182 edges, 43844 markings/sec, 285 secs
lola: 11466631 markings, 13423161 edges, 41828 markings/sec, 290 secs
lola: 11674891 markings, 13669393 edges, 41652 markings/sec, 295 secs
lola: 11893033 markings, 13919189 edges, 43628 markings/sec, 300 secs
lola: 12102098 markings, 14162287 edges, 41813 markings/sec, 305 secs
lola: 12308391 markings, 14402433 edges, 41259 markings/sec, 310 secs
lola: 12523488 markings, 14648679 edges, 43019 markings/sec, 315 secs
lola: 12734618 markings, 14901516 edges, 42226 markings/sec, 320 secs
lola: 12942668 markings, 15148373 edges, 41610 markings/sec, 325 secs
lola: 13158563 markings, 15396468 edges, 43179 markings/sec, 330 secs
lola: 13340049 markings, 15610206 edges, 36297 markings/sec, 335 secs
lola: 13548358 markings, 15852326 edges, 41662 markings/sec, 340 secs
lola: 13747334 markings, 16095190 edges, 39795 markings/sec, 345 secs
lola: 13954634 markings, 16340885 edges, 41460 markings/sec, 350 secs
lola: 14150074 markings, 16572596 edges, 39088 markings/sec, 355 secs
lola: 14372926 markings, 16825308 edges, 44570 markings/sec, 360 secs
lola: 14602935 markings, 17084075 edges, 46002 markings/sec, 365 secs
lola: 14812163 markings, 17333023 edges, 41846 markings/sec, 370 secs
lola: 15026113 markings, 17581533 edges, 42790 markings/sec, 375 secs
lola: 15232485 markings, 17823537 edges, 41274 markings/sec, 380 secs
lola: 15441768 markings, 18066450 edges, 41857 markings/sec, 385 secs
lola: 15653614 markings, 18313911 edges, 42369 markings/sec, 390 secs
lola: 15856037 markings, 18551483 edges, 40485 markings/sec, 395 secs
lola: 16059786 markings, 18791260 edges, 40750 markings/sec, 400 secs
lola: 16273836 markings, 19038693 edges, 42810 markings/sec, 405 secs
lola: 16449800 markings, 19245822 edges, 35193 markings/sec, 410 secs
lola: 16649031 markings, 19479858 edges, 39846 markings/sec, 415 secs
lola: 16840540 markings, 19706090 edges, 38302 markings/sec, 420 secs
lola: 17022797 markings, 19919292 edges, 36451 markings/sec, 425 secs
lola: 17224388 markings, 20158951 edges, 40318 markings/sec, 430 secs
lola: 17404837 markings, 20374900 edges, 36090 markings/sec, 435 secs
lola: 17603496 markings, 20607153 edges, 39732 markings/sec, 440 secs
lola: 17790228 markings, 20823336 edges, 37346 markings/sec, 445 secs
lola: 17986133 markings, 21052467 edges, 39181 markings/sec, 450 secs
lola: 18194105 markings, 21294442 edges, 41594 markings/sec, 455 secs
lola: 18384216 markings, 21518646 edges, 38022 markings/sec, 460 secs
lola: 18611078 markings, 21772816 edges, 45372 markings/sec, 465 secs
lola: 18804463 markings, 22006715 edges, 38677 markings/sec, 470 secs
lola: 19015462 markings, 22255026 edges, 42200 markings/sec, 475 secs
lola: 19221786 markings, 22494941 edges, 41265 markings/sec, 480 secs
lola: 19435027 markings, 22740257 edges, 42648 markings/sec, 485 secs
lola: 19643503 markings, 22983100 edges, 41695 markings/sec, 490 secs
lola: 19847983 markings, 23222524 edges, 40896 markings/sec, 495 secs
lola: 20059359 markings, 23465360 edges, 42275 markings/sec, 500 secs
lola: 20288546 markings, 23721832 edges, 45837 markings/sec, 505 secs
lola: 20494332 markings, 23977232 edges, 41157 markings/sec, 510 secs
lola: 20697956 markings, 24218890 edges, 40725 markings/sec, 515 secs
lola: 20910272 markings, 24461365 edges, 42463 markings/sec, 520 secs
lola: 21115070 markings, 24701822 edges, 40960 markings/sec, 525 secs
lola: 21327250 markings, 24948681 edges, 42436 markings/sec, 530 secs
lola: 21530967 markings, 25202475 edges, 40743 markings/sec, 535 secs
lola: 21731404 markings, 25438916 edges, 40087 markings/sec, 540 secs
lola: 21924473 markings, 25668447 edges, 38614 markings/sec, 545 secs
lola: 22153609 markings, 25925705 edges, 45827 markings/sec, 550 secs
lola: 22382998 markings, 26183254 edges, 45878 markings/sec, 555 secs
lola: 22596010 markings, 26428309 edges, 42602 markings/sec, 560 secs
lola: 22812316 markings, 26676560 edges, 43261 markings/sec, 565 secs
lola: 23006322 markings, 26902618 edges, 38801 markings/sec, 570 secs
lola: 23211090 markings, 27141761 edges, 40954 markings/sec, 575 secs
lola: 23426705 markings, 27389286 edges, 43123 markings/sec, 580 secs
lola: 23636676 markings, 27634420 edges, 41994 markings/sec, 585 secs
lola: 23840333 markings, 27872005 edges, 40731 markings/sec, 590 secs
lola: 24046148 markings, 28110840 edges, 41163 markings/sec, 595 secs
lola: 24245060 markings, 28344297 edges, 39782 markings/sec, 600 secs
lola: 24455836 markings, 28586839 edges, 42155 markings/sec, 605 secs
lola: 24672445 markings, 28838403 edges, 43322 markings/sec, 610 secs
lola: 24890994 markings, 29092067 edges, 43710 markings/sec, 615 secs
lola: 25099944 markings, 29336449 edges, 41790 markings/sec, 620 secs
lola: 25318377 markings, 29591303 edges, 43687 markings/sec, 625 secs
lola: 25532665 markings, 29842963 edges, 42858 markings/sec, 630 secs
lola: 25739005 markings, 30085580 edges, 41268 markings/sec, 635 secs
lola: 25960798 markings, 30342660 edges, 44359 markings/sec, 640 secs
lola: 26177940 markings, 30595834 edges, 43428 markings/sec, 645 secs
lola: 26378847 markings, 30831401 edges, 40181 markings/sec, 650 secs
lola: 26596542 markings, 31082800 edges, 43539 markings/sec, 655 secs
lola: 26804233 markings, 31331880 edges, 41538 markings/sec, 660 secs
lola: 27021361 markings, 31582501 edges, 43426 markings/sec, 665 secs
lola: 27236296 markings, 31836751 edges, 42987 markings/sec, 670 secs
lola: 27442147 markings, 32076100 edges, 41170 markings/sec, 675 secs
lola: 27646825 markings, 32320798 edges, 40936 markings/sec, 680 secs
lola: 27858653 markings, 32568182 edges, 42366 markings/sec, 685 secs
lola: 28081992 markings, 32827266 edges, 44668 markings/sec, 690 secs
lola: 28296100 markings, 33077219 edges, 42822 markings/sec, 695 secs
lola: 28509543 markings, 33326975 edges, 42689 markings/sec, 700 secs
lola: 28717959 markings, 33570815 edges, 41683 markings/sec, 705 secs
lola: 28915701 markings, 33802268 edges, 39548 markings/sec, 710 secs
lola: 29125089 markings, 34046171 edges, 41878 markings/sec, 715 secs
lola: 29341693 markings, 34302263 edges, 43321 markings/sec, 720 secs
lola: 29551355 markings, 34549667 edges, 41932 markings/sec, 725 secs
lola: 29770212 markings, 34801044 edges, 43771 markings/sec, 730 secs
lola: 29979541 markings, 35044730 edges, 41866 markings/sec, 735 secs
lola: 30194917 markings, 35300139 edges, 43075 markings/sec, 740 secs
lola: 30404726 markings, 35547742 edges, 41962 markings/sec, 745 secs
lola: 30601568 markings, 35776277 edges, 39368 markings/sec, 750 secs
lola: 30808420 markings, 36018102 edges, 41370 markings/sec, 755 secs
lola: 31008579 markings, 36262545 edges, 40032 markings/sec, 760 secs
lola: 31210438 markings, 36499396 edges, 40372 markings/sec, 765 secs
lola: 31441080 markings, 36758407 edges, 46128 markings/sec, 770 secs
lola: 31649891 markings, 37005808 edges, 41762 markings/sec, 775 secs
lola: 31861646 markings, 37252729 edges, 42351 markings/sec, 780 secs
lola: 32071402 markings, 37497072 edges, 41951 markings/sec, 785 secs
lola: 32276868 markings, 37738596 edges, 41093 markings/sec, 790 secs
lola: 32480102 markings, 37978416 edges, 40647 markings/sec, 795 secs
lola: 32673746 markings, 38203805 edges, 38729 markings/sec, 800 secs
lola: 32878548 markings, 38442091 edges, 40960 markings/sec, 805 secs
lola: 33083024 markings, 38681085 edges, 40895 markings/sec, 810 secs
lola: 33288930 markings, 38919756 edges, 41181 markings/sec, 815 secs
lola: 33503333 markings, 39173306 edges, 42881 markings/sec, 820 secs
lola: 33710619 markings, 39418879 edges, 41457 markings/sec, 825 secs
lola: 33920132 markings, 39663013 edges, 41903 markings/sec, 830 secs
lola: 34134327 markings, 39909105 edges, 42839 markings/sec, 835 secs
lola: 34338404 markings, 40147725 edges, 40815 markings/sec, 840 secs
lola: 34538746 markings, 40382291 edges, 40068 markings/sec, 845 secs
lola: 34735168 markings, 40601792 edges, 39284 markings/sec, 850 secs
lola: 34935582 markings, 40849006 edges, 40083 markings/sec, 855 secs
lola: 35136375 markings, 41088067 edges, 40159 markings/sec, 860 secs
lola: 35343769 markings, 41324969 edges, 41479 markings/sec, 865 secs
lola: 35534687 markings, 41549522 edges, 38184 markings/sec, 870 secs
lola: 35740449 markings, 41789488 edges, 41152 markings/sec, 875 secs
lola: 35937121 markings, 42032031 edges, 39334 markings/sec, 880 secs
lola: 36138325 markings, 42270699 edges, 40241 markings/sec, 885 secs
lola: 36332654 markings, 42501154 edges, 38866 markings/sec, 890 secs
lola: 36563130 markings, 42759016 edges, 46095 markings/sec, 895 secs
lola: 36787178 markings, 43017068 edges, 44810 markings/sec, 900 secs
lola: 36992642 markings, 43258196 edges, 41093 markings/sec, 905 secs
lola: 37205546 markings, 43505990 edges, 42581 markings/sec, 910 secs
lola: 37407931 markings, 43743227 edges, 40477 markings/sec, 915 secs
lola: 37619410 markings, 43988614 edges, 42296 markings/sec, 920 secs
lola: 37825839 markings, 44230266 edges, 41286 markings/sec, 925 secs
lola: 38027647 markings, 44467160 edges, 40362 markings/sec, 930 secs
lola: 38229403 markings, 44705526 edges, 40351 markings/sec, 935 secs
lola: 38434048 markings, 44941899 edges, 40929 markings/sec, 940 secs
lola: 38614995 markings, 45153714 edges, 36189 markings/sec, 945 secs
lola: 38820791 markings, 45393680 edges, 41159 markings/sec, 950 secs
lola: 39025455 markings, 45632468 edges, 40933 markings/sec, 955 secs
lola: 39229179 markings, 45871223 edges, 40745 markings/sec, 960 secs
lola: 39436541 markings, 46111395 edges, 41472 markings/sec, 965 secs
lola: 39668505 markings, 46370858 edges, 46393 markings/sec, 970 secs
lola: 39871474 markings, 46622305 edges, 40594 markings/sec, 975 secs
lola: 40079747 markings, 46869706 edges, 41655 markings/sec, 980 secs
lola: 40289818 markings, 47114481 edges, 42014 markings/sec, 985 secs
lola: 40512199 markings, 47367812 edges, 44476 markings/sec, 990 secs
lola: 40720313 markings, 47610665 edges, 41623 markings/sec, 995 secs
lola: 40927070 markings, 47852056 edges, 41351 markings/sec, 1000 secs
lola: 41128351 markings, 48088457 edges, 40256 markings/sec, 1005 secs
lola: 41343222 markings, 48334159 edges, 42974 markings/sec, 1010 secs
lola: 41572194 markings, 48591100 edges, 45794 markings/sec, 1015 secs
lola: 41770106 markings, 48839685 edges, 39582 markings/sec, 1020 secs
lola: 41977229 markings, 49086120 edges, 41425 markings/sec, 1025 secs
lola: 42192506 markings, 49334109 edges, 43055 markings/sec, 1030 secs
lola: 42382082 markings, 49554600 edges, 37915 markings/sec, 1035 secs
lola: 42579785 markings, 49786356 edges, 39541 markings/sec, 1040 secs
lola: 42786718 markings, 50028292 edges, 41387 markings/sec, 1045 secs
lola: 42993756 markings, 50269885 edges, 41408 markings/sec, 1050 secs
lola: 43191972 markings, 50518403 edges, 39643 markings/sec, 1055 secs
lola: 43398790 markings, 50763830 edges, 41364 markings/sec, 1060 secs
lola: 43594263 markings, 50994916 edges, 39095 markings/sec, 1065 secs
lola: 43802884 markings, 51237528 edges, 41724 markings/sec, 1070 secs
lola: 44034216 markings, 51496417 edges, 46266 markings/sec, 1075 secs
lola: 44265355 markings, 51756356 edges, 46228 markings/sec, 1080 secs
lola: 44479302 markings, 52011619 edges, 42789 markings/sec, 1085 secs
lola: 44686976 markings, 52252730 edges, 41535 markings/sec, 1090 secs
lola: 44903197 markings, 52504449 edges, 43244 markings/sec, 1095 secs
lola: 45112005 markings, 52748046 edges, 41762 markings/sec, 1100 secs
lola: 45316640 markings, 52986668 edges, 40927 markings/sec, 1105 secs
lola: 45532384 markings, 53237329 edges, 43149 markings/sec, 1110 secs
lola: 45741837 markings, 53482402 edges, 41891 markings/sec, 1115 secs
lola: 45944835 markings, 53720366 edges, 40600 markings/sec, 1120 secs
lola: 46155374 markings, 53966828 edges, 42108 markings/sec, 1125 secs
lola: 46352439 markings, 54199916 edges, 39413 markings/sec, 1130 secs
lola: 46570895 markings, 54449933 edges, 43691 markings/sec, 1135 secs
lola: 46743487 markings, 54654150 edges, 34518 markings/sec, 1140 secs
lola: 46956592 markings, 54900980 edges, 42621 markings/sec, 1145 secs
lola: 47163877 markings, 55142554 edges, 41457 markings/sec, 1150 secs
lola: 47370355 markings, 55383210 edges, 41296 markings/sec, 1155 secs
lola: 47575712 markings, 55623244 edges, 41071 markings/sec, 1160 secs
lola: 47776241 markings, 55858725 edges, 40106 markings/sec, 1165 secs
lola: 47980595 markings, 56095729 edges, 40871 markings/sec, 1170 secs
lola: 48212589 markings, 56355210 edges, 46399 markings/sec, 1175 secs
lola: 48435832 markings, 56610183 edges, 44649 markings/sec, 1180 secs
lola: 48634185 markings, 56859674 edges, 39671 markings/sec, 1185 secs
lola: 48841782 markings, 57105499 edges, 41519 markings/sec, 1190 secs
lola: 49033927 markings, 57332969 edges, 38429 markings/sec, 1195 secs
lola: 49260268 markings, 57588770 edges, 45268 markings/sec, 1200 secs
lola: 49472872 markings, 57834612 edges, 42521 markings/sec, 1205 secs
lola: 49679726 markings, 58076362 edges, 41371 markings/sec, 1210 secs
lola: 49883464 markings, 58313882 edges, 40748 markings/sec, 1215 secs
lola: 50088350 markings, 58552628 edges, 40977 markings/sec, 1220 secs
lola: 50289436 markings, 58788752 edges, 40217 markings/sec, 1225 secs
lola: 50488008 markings, 59020963 edges, 39714 markings/sec, 1230 secs
lola: 50720703 markings, 59281011 edges, 46539 markings/sec, 1235 secs
lola: 50948206 markings, 59535722 edges, 45501 markings/sec, 1240 secs
lola: 51144692 markings, 59786572 edges, 39297 markings/sec, 1245 secs
lola: 51351548 markings, 60032720 edges, 41371 markings/sec, 1250 secs
lola: 51553492 markings, 60272384 edges, 40389 markings/sec, 1255 secs
lola: 51777588 markings, 60526205 edges, 44819 markings/sec, 1260 secs
lola: 51958203 markings, 60737517 edges, 36123 markings/sec, 1265 secs
lola: 52149975 markings, 60963064 edges, 38354 markings/sec, 1270 secs
lola: 52358086 markings, 61205871 edges, 41622 markings/sec, 1275 secs
lola: 52563960 markings, 61446080 edges, 41175 markings/sec, 1280 secs
lola: 52771349 markings, 61687533 edges, 41478 markings/sec, 1285 secs
lola: 52962862 markings, 61930765 edges, 38303 markings/sec, 1290 secs
lola: 53171153 markings, 62178240 edges, 41658 markings/sec, 1295 secs
lola: 53375886 markings, 62420876 edges, 40947 markings/sec, 1300 secs
lola: 53570603 markings, 62650486 edges, 38943 markings/sec, 1305 secs
lola: 53764121 markings, 62880384 edges, 38704 markings/sec, 1310 secs
lola: 53988608 markings, 63134334 edges, 44897 markings/sec, 1315 secs
lola: 54217556 markings, 63390511 edges, 45790 markings/sec, 1320 secs
lola: 54446946 markings, 63648299 edges, 45878 markings/sec, 1325 secs
lola: 54670232 markings, 63908462 edges, 44657 markings/sec, 1330 secs
lola: 54876548 markings, 64151672 edges, 41263 markings/sec, 1335 secs
lola: 55084163 markings, 64392326 edges, 41523 markings/sec, 1340 secs
lola: 55300862 markings, 64644710 edges, 43340 markings/sec, 1345 secs
lola: 55510120 markings, 64887987 edges, 41852 markings/sec, 1350 secs
lola: 55713113 markings, 65125987 edges, 40599 markings/sec, 1355 secs
lola: 55919410 markings, 65364877 edges, 41259 markings/sec, 1360 secs
lola: 56133180 markings, 65612923 edges, 42754 markings/sec, 1365 secs
lola: 56345152 markings, 65860413 edges, 42394 markings/sec, 1370 secs
lola: 56550938 markings, 66100355 edges, 41157 markings/sec, 1375 secs
lola: 56751982 markings, 66336390 edges, 40209 markings/sec, 1380 secs
lola: 56958393 markings, 66577026 edges, 41282 markings/sec, 1385 secs
lola: 57161072 markings, 66815285 edges, 40536 markings/sec, 1390 secs
lola: 57366091 markings, 67055624 edges, 41004 markings/sec, 1395 secs
lola: 57586148 markings, 67307327 edges, 44011 markings/sec, 1400 secs
lola: 57754377 markings, 67504787 edges, 33646 markings/sec, 1405 secs
lola: 57943265 markings, 67725867 edges, 37778 markings/sec, 1410 secs
lola: 58150582 markings, 67966876 edges, 41463 markings/sec, 1415 secs
lola: 58356884 markings, 68206544 edges, 41260 markings/sec, 1420 secs
lola: 58562617 markings, 68444931 edges, 41147 markings/sec, 1425 secs
lola: 58765533 markings, 68681741 edges, 40583 markings/sec, 1430 secs
lola: 58959160 markings, 68910006 edges, 38725 markings/sec, 1435 secs
lola: 59178918 markings, 69159122 edges, 43952 markings/sec, 1440 secs
lola: 59406845 markings, 69414184 edges, 45585 markings/sec, 1445 secs
lola: 59607621 markings, 69663688 edges, 40155 markings/sec, 1450 secs
lola: 59818660 markings, 69911800 edges, 42208 markings/sec, 1455 secs
lola: 60026327 markings, 70157057 edges, 41533 markings/sec, 1460 secs
lola: 60231698 markings, 70395877 edges, 41074 markings/sec, 1465 secs
lola: 60454368 markings, 70648099 edges, 44534 markings/sec, 1470 secs
lola: 60661440 markings, 70888876 edges, 41414 markings/sec, 1475 secs
lola: 60867525 markings, 71127986 edges, 41217 markings/sec, 1480 secs
lola: 61071847 markings, 71365397 edges, 40864 markings/sec, 1485 secs
lola: 61276560 markings, 71603453 edges, 40943 markings/sec, 1490 secs
lola: 61470255 markings, 71831872 edges, 38739 markings/sec, 1495 secs
lola: 61684776 markings, 72076599 edges, 42904 markings/sec, 1500 secs
lola: 61912597 markings, 72331500 edges, 45564 markings/sec, 1505 secs
lola: 62118937 markings, 72583409 edges, 41268 markings/sec, 1510 secs
lola: 62324868 markings, 72828854 edges, 41186 markings/sec, 1515 secs
lola: 62530765 markings, 73073578 edges, 41179 markings/sec, 1520 secs
lola: 62736781 markings, 73313323 edges, 41203 markings/sec, 1525 secs
lola: 62944999 markings, 73549789 edges, 41644 markings/sec, 1530 secs
lola: 63120292 markings, 73757335 edges, 35059 markings/sec, 1535 secs
lola: 63325034 markings, 73995796 edges, 40948 markings/sec, 1540 secs
lola: 63531331 markings, 74235178 edges, 41259 markings/sec, 1545 secs
lola: 63736509 markings, 74473266 edges, 41036 markings/sec, 1550 secs
lola: 63940239 markings, 74710490 edges, 40746 markings/sec, 1555 secs
lola: 64133417 markings, 74956213 edges, 38636 markings/sec, 1560 secs
lola: 64337605 markings, 75198194 edges, 40838 markings/sec, 1565 secs
lola: 64538332 markings, 75434950 edges, 40145 markings/sec, 1570 secs
lola: 64730345 markings, 75661226 edges, 38403 markings/sec, 1575 secs
lola: 64926656 markings, 75893087 edges, 39262 markings/sec, 1580 secs
lola: 65157968 markings, 76151534 edges, 46262 markings/sec, 1585 secs
lola: 65383623 markings, 76404127 edges, 45131 markings/sec, 1590 secs
lola: 65611544 markings, 76660612 edges, 45584 markings/sec, 1595 secs
lola: 65827037 markings, 76918176 edges, 43099 markings/sec, 1600 secs
lola: 66028977 markings, 77152298 edges, 40388 markings/sec, 1605 secs
lola: 66237133 markings, 77393715 edges, 41631 markings/sec, 1610 secs
lola: 66450617 markings, 77642803 edges, 42697 markings/sec, 1615 secs
lola: 66655943 markings, 77882365 edges, 41065 markings/sec, 1620 secs
lola: 66857170 markings, 78116835 edges, 40245 markings/sec, 1625 secs
lola: 67062288 markings, 78354180 edges, 41024 markings/sec, 1630 secs
lola: 67276158 markings, 78602753 edges, 42774 markings/sec, 1635 secs
lola: 67484414 markings, 78845745 edges, 41651 markings/sec, 1640 secs
lola: 67685424 markings, 79080734 edges, 40202 markings/sec, 1645 secs
lola: 67886544 markings, 79315684 edges, 40224 markings/sec, 1650 secs
lola: 68094034 markings, 79558297 edges, 41498 markings/sec, 1655 secs
lola: 68288988 markings, 79787710 edges, 38991 markings/sec, 1660 secs
lola: 68496177 markings, 80028654 edges, 41438 markings/sec, 1665 secs
lola: 68708161 markings, 80272406 edges, 42397 markings/sec, 1670 secs
lola: 68870047 markings, 80463471 edges, 32377 markings/sec, 1675 secs
lola: 69026086 markings, 80646945 edges, 31208 markings/sec, 1680 secs
lola: 69176944 markings, 80823805 edges, 30172 markings/sec, 1685 secs
lola: 69360938 markings, 81038466 edges, 36799 markings/sec, 1690 secs
lola: 69573644 markings, 81285273 edges, 42541 markings/sec, 1695 secs
lola: 69790995 markings, 81538106 edges, 43470 markings/sec, 1700 secs
lola: 69995092 markings, 81777497 edges, 40819 markings/sec, 1705 secs
lola: 70212223 markings, 82029113 edges, 43426 markings/sec, 1710 secs
lola: 70423174 markings, 82275913 edges, 42190 markings/sec, 1715 secs
lola: 70626039 markings, 82516422 edges, 40573 markings/sec, 1720 secs
lola: 70848936 markings, 82773799 edges, 44579 markings/sec, 1725 secs
lola: 71061151 markings, 83022384 edges, 42443 markings/sec, 1730 secs
lola: 71260239 markings, 83254924 edges, 39818 markings/sec, 1735 secs
lola: 71473084 markings, 83504722 edges, 42569 markings/sec, 1740 secs
lola: 71687694 markings, 83754820 edges, 42922 markings/sec, 1745 secs
lola: 71903640 markings, 84002998 edges, 43189 markings/sec, 1750 secs
lola: 72108498 markings, 84249323 edges, 40972 markings/sec, 1755 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no yes no no yes no unknown yes no no yes yes no yes
lola: time limit reached - aborting
lola:
preliminary result: no unknown no yes no no yes no unknown yes no no yes yes no yes
lola:
preliminary result: no unknown no yes no no yes no unknown yes no no yes yes no yes
lola: memory consumption: 22052 KB
lola: time consumption: 3570 seconds

BK_STOP 1552312385571

--------------------
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="ASLink-PT-08a"
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 ASLink-PT-08a, 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 r011-smll-155225030000047"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-08a.tgz
mv ASLink-PT-08a 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 ;