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

About the Execution of LoLA for ASLink-PT-08a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
14756.130 3570898.00 3593008.00 7981.20 FFFF??FFTTFTTFTF normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.....................
/home/mcc/execution
total 932K
-rw-r--r-- 1 mcc users 3.1K May 29 16:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 29 16:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 28 11:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 28 11:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 28 09:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 28 09:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 28 07:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K May 28 07:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.5K May 27 05:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 27 05:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 26 06:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 26 06:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 4 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 757K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
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 r268-smll-152749145300131

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

--------------------
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 1527894631644

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: (2 <= p1710)
lola: LP says that atomic proposition is always false: (3 <= p540)
lola: LP says that atomic proposition is always false: (3 <= p653)
lola: LP says that atomic proposition is always false: (3 <= p1516)
lola: LP says that atomic proposition is always false: (2 <= p1111)
lola: LP says that atomic proposition is always false: (2 <= p794)
lola: LP says that atomic proposition is always false: (3 <= p354)
lola: LP says that atomic proposition is always false: (2 <= p18)
lola: LP says that atomic proposition is always false: (3 <= p231)
lola: LP says that atomic proposition is always false: (3 <= p386)
lola: LP says that atomic proposition is always false: (2 <= p567)
lola: A (G (X (((p485 <= p1171) U FALSE)))) : A ((X (F (FALSE)) U (1 <= p1285))) : A (X ((F (FALSE) U FALSE))) : A (X (G (G (FALSE)))) : A (F ((G ((p173 <= p1039)) U G ((p861 <= p127))))) : A (G (((p49 <= p408) U G ((p735 <= p660))))) : A ((((p413 <= p1467) U (p1484 <= p25)) U G (G (FALSE)))) : A (G ((G (FALSE) U FALSE))) : A ((p1007 <= p1666)) : A ((F (F ((p803 <= p1071))) U ((p925 <= p919) U (p1021 <= p57)))) : A (X (G (G (X ((1 <= p826)))))) : A (X (X ((p80 <= p903)))) : A ((p947 <= p65)) : A (G (F (F (X (FALSE))))) : A ((G (X (FALSE)) U X (X ((p820 <= p1521))))) : A (F (X (G (F (FALSE)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:145
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:157
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
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:431
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 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: 58 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: check_solution: Constraint R1 = 0 is below its lower bound 1
check_solution: Constraint R2 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 1 (rel. error 1)

FORMULA ASLink-PT-08a-LTLCardinality-0 FALSE 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: (1 <= p1285)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p1285)
lola: processed formula length: 12
lola: 58 rewrites
lola: closed formula file ASLink-PT-08a-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA ASLink-PT-08a-LTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 252 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: 58 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-2 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: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 58 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

FORMULA ASLink-PT-08a-LTLCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 294 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: 58 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-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 321 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: 58 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 6 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p1007 <= p1666)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p1007 <= p1666)
lola: processed formula length: 16
lola: 58 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-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 7 will run for 392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p947 <= p65)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p947 <= p65)
lola: processed formula length: 13
lola: 58 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-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 441 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: 58 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-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 9 will run for 504 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: 58 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-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((p80 <= p903))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((p80 <= p903))))
lola: processed formula length: 25
lola: 58 rewrites
lola: closed formula file ASLink-PT-08a-LTLCardinality.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: 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: 47 markings, 46 edges
lola: ========================================

FORMULA ASLink-PT-08a-LTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 706 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((p820 <= p1521))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((p820 <= p1521))))
lola: processed formula length: 27
lola: 58 rewrites
lola: closed formula file ASLink-PT-08a-LTLCardinality.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: 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: 47 markings, 46 edges
lola:
FORMULA ASLink-PT-08a-LTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 12 will run for 883 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((1 <= p826)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((1 <= p826)))))
lola: processed formula length: 27
lola: 58 rewrites
lola: closed formula file ASLink-PT-08a-LTLCardinality.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: 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: 303 markings, 303 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 13 will run for 1178 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((G ((p861 <= p127)) OR (G ((p173 <= p1039)) AND F (G ((p861 <= p127)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((G ((p861 <= p127)) OR (G ((p173 <= p1039)) AND F (G ((p861 <= p127)))))))
lola: processed formula length: 80
lola: 58 rewrites
lola: closed formula file ASLink-PT-08a-LTLCardinality.task
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 128499 markings, 177227 edges, 25700 markings/sec, 0 secs
lola: 292213 markings, 387773 edges, 32743 markings/sec, 5 secs
lola: 457115 markings, 599283 edges, 32980 markings/sec, 10 secs
lola: 619628 markings, 807327 edges, 32503 markings/sec, 15 secs
lola: 762312 markings, 993302 edges, 28537 markings/sec, 20 secs
lola: 918027 markings, 1193631 edges, 31143 markings/sec, 25 secs
lola: 1100319 markings, 1428633 edges, 36458 markings/sec, 30 secs
lola: 1294536 markings, 1669565 edges, 38843 markings/sec, 35 secs
lola: 1492039 markings, 1912471 edges, 39501 markings/sec, 40 secs
lola: 1676267 markings, 2140610 edges, 36846 markings/sec, 45 secs
lola: 1872845 markings, 2382830 edges, 39316 markings/sec, 50 secs
lola: 2077431 markings, 2630982 edges, 40917 markings/sec, 55 secs
lola: 2270095 markings, 2865660 edges, 38533 markings/sec, 60 secs
lola: 2456468 markings, 3101314 edges, 37275 markings/sec, 65 secs
lola: 2668485 markings, 3350422 edges, 42403 markings/sec, 70 secs
lola: 2866116 markings, 3585497 edges, 39526 markings/sec, 75 secs
lola: 3052493 markings, 3812022 edges, 37275 markings/sec, 80 secs
lola: 3233813 markings, 4040524 edges, 36264 markings/sec, 85 secs
lola: 3440471 markings, 4288750 edges, 41332 markings/sec, 90 secs
lola: 3648457 markings, 4536577 edges, 41597 markings/sec, 95 secs
lola: 3843596 markings, 4774702 edges, 39028 markings/sec, 100 secs
lola: 4038626 markings, 5016391 edges, 39006 markings/sec, 105 secs
lola: 4236339 markings, 5250799 edges, 39543 markings/sec, 110 secs
lola: 4412693 markings, 5478268 edges, 35271 markings/sec, 115 secs
lola: 4605272 markings, 5714764 edges, 38516 markings/sec, 120 secs
lola: 4833281 markings, 5976664 edges, 45602 markings/sec, 125 secs
lola: 5024254 markings, 6205087 edges, 38195 markings/sec, 130 secs
lola: 5214572 markings, 6432261 edges, 38064 markings/sec, 135 secs
lola: 5406996 markings, 6659478 edges, 38485 markings/sec, 140 secs
lola: 5608399 markings, 6898336 edges, 40281 markings/sec, 145 secs
lola: 5766050 markings, 7127986 edges, 31530 markings/sec, 150 secs
lola: 5942376 markings, 7361810 edges, 35265 markings/sec, 155 secs
lola: 6133215 markings, 7593470 edges, 38168 markings/sec, 160 secs
lola: 6351058 markings, 7849259 edges, 43569 markings/sec, 165 secs
lola: 6519016 markings, 8089024 edges, 33592 markings/sec, 170 secs
lola: 6701676 markings, 8327318 edges, 36532 markings/sec, 175 secs
lola: 6905384 markings, 8572656 edges, 40742 markings/sec, 180 secs
lola: 7091806 markings, 8801946 edges, 37284 markings/sec, 185 secs
lola: 7308756 markings, 9055838 edges, 43390 markings/sec, 190 secs
lola: 7481836 markings, 9295389 edges, 34616 markings/sec, 195 secs
lola: 7659423 markings, 9535151 edges, 35517 markings/sec, 200 secs
lola: 7852653 markings, 9774162 edges, 38646 markings/sec, 205 secs
lola: 8004940 markings, 9995128 edges, 30457 markings/sec, 210 secs
lola: 8184971 markings, 10223037 edges, 36006 markings/sec, 215 secs
lola: 8355682 markings, 10455795 edges, 34142 markings/sec, 220 secs
lola: 8525206 markings, 10690471 edges, 33905 markings/sec, 225 secs
lola: 8718832 markings, 10930239 edges, 38725 markings/sec, 230 secs
lola: 8949714 markings, 11190962 edges, 46176 markings/sec, 235 secs
lola: 9172072 markings, 11454324 edges, 44472 markings/sec, 240 secs
lola: 9386820 markings, 11713559 edges, 42950 markings/sec, 245 secs
lola: 9565405 markings, 11928285 edges, 35717 markings/sec, 250 secs
lola: 9767558 markings, 12176487 edges, 40431 markings/sec, 255 secs
lola: 9956024 markings, 12398791 edges, 37693 markings/sec, 260 secs
lola: 10139959 markings, 12628595 edges, 36787 markings/sec, 265 secs
lola: 10350008 markings, 12877151 edges, 42010 markings/sec, 270 secs
lola: 10514975 markings, 13073654 edges, 32993 markings/sec, 275 secs
lola: 10704781 markings, 13312374 edges, 37961 markings/sec, 280 secs
lola: 10910244 markings, 13553536 edges, 41093 markings/sec, 285 secs
lola: 11070318 markings, 13776660 edges, 32015 markings/sec, 290 secs
lola: 11220200 markings, 14007404 edges, 29976 markings/sec, 295 secs
lola: 11402722 markings, 14235814 edges, 36504 markings/sec, 300 secs
lola: 11575622 markings, 14466071 edges, 34580 markings/sec, 305 secs
lola: 11739154 markings, 14697594 edges, 32706 markings/sec, 310 secs
lola: 11941581 markings, 14937416 edges, 40485 markings/sec, 315 secs
lola: 12164087 markings, 15197793 edges, 44501 markings/sec, 320 secs
lola: 12334142 markings, 15436401 edges, 34011 markings/sec, 325 secs
lola: 12503398 markings, 15668921 edges, 33851 markings/sec, 330 secs
lola: 12669344 markings, 15899088 edges, 33189 markings/sec, 335 secs
lola: 12840390 markings, 16134623 edges, 34209 markings/sec, 340 secs
lola: 13056210 markings, 16383993 edges, 43164 markings/sec, 345 secs
lola: 13235174 markings, 16611266 edges, 35793 markings/sec, 350 secs
lola: 13406159 markings, 16840786 edges, 34197 markings/sec, 355 secs
lola: 13574485 markings, 17075651 edges, 33665 markings/sec, 360 secs
lola: 13786507 markings, 17320401 edges, 42404 markings/sec, 365 secs
lola: 13988038 markings, 17577829 edges, 40306 markings/sec, 370 secs
lola: 14158339 markings, 17810311 edges, 34060 markings/sec, 375 secs
lola: 14327766 markings, 18042718 edges, 33885 markings/sec, 380 secs
lola: 14495174 markings, 18272836 edges, 33482 markings/sec, 385 secs
lola: 14674273 markings, 18509733 edges, 35820 markings/sec, 390 secs
lola: 14867094 markings, 18756403 edges, 38564 markings/sec, 395 secs
lola: 15020376 markings, 18969858 edges, 30656 markings/sec, 400 secs
lola: 15170903 markings, 19180952 edges, 30105 markings/sec, 405 secs
lola: 15325558 markings, 19399280 edges, 30931 markings/sec, 410 secs
lola: 15507146 markings, 19627380 edges, 36318 markings/sec, 415 secs
lola: 15673699 markings, 19856952 edges, 33311 markings/sec, 420 secs
lola: 15840091 markings, 20093923 edges, 33278 markings/sec, 425 secs
lola: 16000785 markings, 20326763 edges, 32139 markings/sec, 430 secs
lola: 16168408 markings, 20558808 edges, 33525 markings/sec, 435 secs
lola: 16333728 markings, 20786975 edges, 33064 markings/sec, 440 secs
lola: 16509720 markings, 21022651 edges, 35198 markings/sec, 445 secs
lola: 16705533 markings, 21255453 edges, 39163 markings/sec, 450 secs
lola: 16938526 markings, 21516517 edges, 46599 markings/sec, 455 secs
lola: 17170751 markings, 21779876 edges, 46445 markings/sec, 460 secs
lola: 17403096 markings, 22048827 edges, 46469 markings/sec, 465 secs
lola: 17632836 markings, 22316755 edges, 45948 markings/sec, 470 secs
lola: 17863854 markings, 22585397 edges, 46204 markings/sec, 475 secs
lola: 18092571 markings, 22852157 edges, 45743 markings/sec, 480 secs
lola: 18324897 markings, 23120401 edges, 46465 markings/sec, 485 secs
lola: 18512268 markings, 23341627 edges, 37474 markings/sec, 490 secs
lola: 18688555 markings, 23553082 edges, 35257 markings/sec, 495 secs
lola: 18877834 markings, 23783815 edges, 37856 markings/sec, 500 secs
lola: 19069022 markings, 24017400 edges, 38238 markings/sec, 505 secs
lola: 19258816 markings, 24249612 edges, 37959 markings/sec, 510 secs
lola: 19466220 markings, 24494991 edges, 41481 markings/sec, 515 secs
lola: 19650087 markings, 24710743 edges, 36773 markings/sec, 520 secs
lola: 19825904 markings, 24921875 edges, 35163 markings/sec, 525 secs
lola: 20015281 markings, 25152733 edges, 37875 markings/sec, 530 secs
lola: 20205339 markings, 25384946 edges, 38012 markings/sec, 535 secs
lola: 20395035 markings, 25617065 edges, 37939 markings/sec, 540 secs
lola: 20603307 markings, 25863075 edges, 41654 markings/sec, 545 secs
lola: 20776855 markings, 26067445 edges, 34710 markings/sec, 550 secs
lola: 20944197 markings, 26268079 edges, 33468 markings/sec, 555 secs
lola: 21132351 markings, 26497774 edges, 37631 markings/sec, 560 secs
lola: 21320833 markings, 26729410 edges, 37696 markings/sec, 565 secs
lola: 21513077 markings, 26964138 edges, 38449 markings/sec, 570 secs
lola: 21709647 markings, 27199982 edges, 39314 markings/sec, 575 secs
lola: 21915122 markings, 27439093 edges, 41095 markings/sec, 580 secs
lola: 22068364 markings, 27649181 edges, 30648 markings/sec, 585 secs
lola: 22218641 markings, 27863705 edges, 30055 markings/sec, 590 secs
lola: 22369350 markings, 28078820 edges, 30142 markings/sec, 595 secs
lola: 22549496 markings, 28308399 edges, 36029 markings/sec, 600 secs
lola: 22722773 markings, 28535273 edges, 34655 markings/sec, 605 secs
lola: 22887001 markings, 28766095 edges, 32846 markings/sec, 610 secs
lola: 23050590 markings, 28992555 edges, 32718 markings/sec, 615 secs
lola: 23213287 markings, 29219116 edges, 32539 markings/sec, 620 secs
lola: 23375318 markings, 29442737 edges, 32406 markings/sec, 625 secs
lola: 23553363 markings, 29677041 edges, 35609 markings/sec, 630 secs
lola: 23760258 markings, 29916944 edges, 41379 markings/sec, 635 secs
lola: 23990466 markings, 30174908 edges, 46042 markings/sec, 640 secs
lola: 24151059 markings, 30422483 edges, 32119 markings/sec, 645 secs
lola: 24328658 markings, 30651919 edges, 35520 markings/sec, 650 secs
lola: 24499160 markings, 30881435 edges, 34100 markings/sec, 655 secs
lola: 24674365 markings, 31112036 edges, 35041 markings/sec, 660 secs
lola: 24844347 markings, 31341499 edges, 33996 markings/sec, 665 secs
lola: 25016437 markings, 31568812 edges, 34418 markings/sec, 670 secs
lola: 25184016 markings, 31796046 edges, 33516 markings/sec, 675 secs
lola: 25377217 markings, 32035661 edges, 38640 markings/sec, 680 secs
lola: 25584968 markings, 32281352 edges, 41550 markings/sec, 685 secs
lola: 25765888 markings, 32507244 edges, 36184 markings/sec, 690 secs
lola: 25929664 markings, 32740366 edges, 32755 markings/sec, 695 secs
lola: 26095308 markings, 32965588 edges, 33129 markings/sec, 700 secs
lola: 26257522 markings, 33191977 edges, 32443 markings/sec, 705 secs
lola: 26418907 markings, 33417098 edges, 32277 markings/sec, 710 secs
lola: 26578519 markings, 33643623 edges, 31922 markings/sec, 715 secs
lola: 26776598 markings, 33876988 edges, 39616 markings/sec, 720 secs
lola: 27005971 markings, 34134611 edges, 45875 markings/sec, 725 secs
lola: 27195150 markings, 34385285 edges, 37836 markings/sec, 730 secs
lola: 27365362 markings, 34622655 edges, 34042 markings/sec, 735 secs
lola: 27534918 markings, 34849914 edges, 33911 markings/sec, 740 secs
lola: 27709087 markings, 35082121 edges, 34834 markings/sec, 745 secs
lola: 27878466 markings, 35308044 edges, 33876 markings/sec, 750 secs
lola: 28048352 markings, 35537965 edges, 33977 markings/sec, 755 secs
lola: 28218324 markings, 35764245 edges, 33994 markings/sec, 760 secs
lola: 28398106 markings, 36000468 edges, 35956 markings/sec, 765 secs
lola: 28602265 markings, 36243936 edges, 40832 markings/sec, 770 secs
lola: 28753562 markings, 36454649 edges, 30259 markings/sec, 775 secs
lola: 28903731 markings, 36662734 edges, 30034 markings/sec, 780 secs
lola: 29057536 markings, 36869258 edges, 30761 markings/sec, 785 secs
lola: 29206942 markings, 37077755 edges, 29881 markings/sec, 790 secs
lola: 29356027 markings, 37282328 edges, 29817 markings/sec, 795 secs
lola: 29520237 markings, 37502902 edges, 32842 markings/sec, 800 secs
lola: 29701236 markings, 37727655 edges, 36200 markings/sec, 805 secs
lola: 29866116 markings, 37962325 edges, 32976 markings/sec, 810 secs
lola: 30022423 markings, 38179203 edges, 31261 markings/sec, 815 secs
lola: 30185159 markings, 38405157 edges, 32547 markings/sec, 820 secs
lola: 30343980 markings, 38628851 edges, 31764 markings/sec, 825 secs
lola: 30508165 markings, 38858397 edges, 32837 markings/sec, 830 secs
lola: 30662661 markings, 39102497 edges, 30899 markings/sec, 835 secs
lola: 30831198 markings, 39328714 edges, 33707 markings/sec, 840 secs
lola: 31005218 markings, 39561146 edges, 34804 markings/sec, 845 secs
lola: 31174074 markings, 39787470 edges, 33771 markings/sec, 850 secs
lola: 31346361 markings, 40018618 edges, 34457 markings/sec, 855 secs
lola: 31514703 markings, 40242085 edges, 33668 markings/sec, 860 secs
lola: 31683717 markings, 40472655 edges, 33803 markings/sec, 865 secs
lola: 31883355 markings, 40708162 edges, 39928 markings/sec, 870 secs
lola: 32087776 markings, 40947173 edges, 40884 markings/sec, 875 secs
lola: 32318758 markings, 41205979 edges, 46196 markings/sec, 880 secs
lola: 32547191 markings, 41463843 edges, 45687 markings/sec, 885 secs
lola: 32779848 markings, 41729531 edges, 46531 markings/sec, 890 secs
lola: 33009886 markings, 41994001 edges, 46008 markings/sec, 895 secs
lola: 33239503 markings, 42258428 edges, 45923 markings/sec, 900 secs
lola: 33468311 markings, 42522510 edges, 45762 markings/sec, 905 secs
lola: 33695430 markings, 42784741 edges, 45424 markings/sec, 910 secs
lola: 33928117 markings, 43050413 edges, 46537 markings/sec, 915 secs
lola: 34157681 markings, 43314448 edges, 45913 markings/sec, 920 secs
lola: 34387335 markings, 43578812 edges, 45931 markings/sec, 925 secs
lola: 34615739 markings, 43842464 edges, 45681 markings/sec, 930 secs
lola: 34841555 markings, 44103715 edges, 45163 markings/sec, 935 secs
lola: 35073486 markings, 44368753 edges, 46386 markings/sec, 940 secs
lola: 35303520 markings, 44633116 edges, 46007 markings/sec, 945 secs
lola: 35532655 markings, 44897025 edges, 45827 markings/sec, 950 secs
lola: 35761013 markings, 45160696 edges, 45672 markings/sec, 955 secs
lola: 35984506 markings, 45419233 edges, 44699 markings/sec, 960 secs
lola: 36155988 markings, 45619579 edges, 34296 markings/sec, 965 secs
lola: 36331543 markings, 45826961 edges, 35111 markings/sec, 970 secs
lola: 36516803 markings, 46051533 edges, 37052 markings/sec, 975 secs
lola: 36709349 markings, 46277652 edges, 38509 markings/sec, 980 secs
lola: 36893664 markings, 46503729 edges, 36863 markings/sec, 985 secs
lola: 37096198 markings, 46742760 edges, 40507 markings/sec, 990 secs
lola: 37271887 markings, 46960188 edges, 35138 markings/sec, 995 secs
lola: 37468315 markings, 47190407 edges, 39286 markings/sec, 1000 secs
lola: 37649596 markings, 47411312 edges, 36256 markings/sec, 1005 secs
lola: 37852524 markings, 47653408 edges, 40586 markings/sec, 1010 secs
lola: 38045703 markings, 47882859 edges, 38636 markings/sec, 1015 secs
lola: 38253511 markings, 48125535 edges, 41562 markings/sec, 1020 secs
lola: 38432270 markings, 48335306 edges, 35752 markings/sec, 1025 secs
lola: 38605354 markings, 48538874 edges, 34617 markings/sec, 1030 secs
lola: 38786251 markings, 48759235 edges, 36179 markings/sec, 1035 secs
lola: 38982286 markings, 48988913 edges, 39207 markings/sec, 1040 secs
lola: 39162077 markings, 49209678 edges, 35958 markings/sec, 1045 secs
lola: 39368021 markings, 49452535 edges, 41189 markings/sec, 1050 secs
lola: 39546622 markings, 49670896 edges, 35720 markings/sec, 1055 secs
lola: 39739294 markings, 49899683 edges, 38534 markings/sec, 1060 secs
lola: 39921381 markings, 50117579 edges, 36417 markings/sec, 1065 secs
lola: 40116175 markings, 50353891 edges, 38959 markings/sec, 1070 secs
lola: 40309534 markings, 50583894 edges, 38672 markings/sec, 1075 secs
lola: 40519286 markings, 50829340 edges, 41950 markings/sec, 1080 secs
lola: 40697790 markings, 51038676 edges, 35701 markings/sec, 1085 secs
lola: 40861484 markings, 51231564 edges, 32739 markings/sec, 1090 secs
lola: 41033912 markings, 51439208 edges, 34486 markings/sec, 1095 secs
lola: 41228340 markings, 51671110 edges, 38886 markings/sec, 1100 secs
lola: 41411516 markings, 51889112 edges, 36635 markings/sec, 1105 secs
lola: 41607259 markings, 52126203 edges, 39149 markings/sec, 1110 secs
lola: 41799073 markings, 52354437 edges, 38363 markings/sec, 1115 secs
lola: 41979692 markings, 52575673 edges, 36124 markings/sec, 1120 secs
lola: 42172900 markings, 52802468 edges, 38642 markings/sec, 1125 secs
lola: 42348846 markings, 53020321 edges, 35189 markings/sec, 1130 secs
lola: 42557661 markings, 53266044 edges, 41763 markings/sec, 1135 secs
lola: 42748524 markings, 53493748 edges, 38173 markings/sec, 1140 secs
lola: 42959107 markings, 53737870 edges, 42117 markings/sec, 1145 secs
lola: 43135978 markings, 53957727 edges, 35374 markings/sec, 1150 secs
lola: 43288539 markings, 54163544 edges, 30512 markings/sec, 1155 secs
lola: 43439326 markings, 54370696 edges, 30157 markings/sec, 1160 secs
lola: 43588469 markings, 54577658 edges, 29829 markings/sec, 1165 secs
lola: 43738070 markings, 54787169 edges, 29920 markings/sec, 1170 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no no unknown unknown no no yes unknown no yes yes no yes no
lola: memory consumption: 7107172 KB
lola: time consumption: 1214 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1178 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F ((p803 <= p1071)) U ((p925 <= p919) U (p1021 <= p57))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F ((p803 <= p1071)) U ((p925 <= p919) U (p1021 <= p57))))
lola: processed formula length: 61
lola: 58 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: 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: 1 markings, 0 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 15 will run for 2356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (G ((p735 <= p660)))) AND A (G (((p49 <= p408) OR G ((p735 <= p660))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p735 <= p660))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p735 <= p660))))
lola: processed formula length: 26
lola: 58 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: 137672 markings, 181772 edges, 27534 markings/sec, 0 secs
lola: 300983 markings, 393495 edges, 32662 markings/sec, 5 secs
lola: 467889 markings, 604833 edges, 33381 markings/sec, 10 secs
lola: 632020 markings, 815255 edges, 32826 markings/sec, 15 secs
lola: 788312 markings, 1017961 edges, 31258 markings/sec, 20 secs
lola: 949221 markings, 1225896 edges, 32182 markings/sec, 25 secs
lola: 1134905 markings, 1463081 edges, 37137 markings/sec, 30 secs
lola: 1324933 markings, 1703184 edges, 38006 markings/sec, 35 secs
lola: 1531402 markings, 1949681 edges, 41294 markings/sec, 40 secs
lola: 1716258 markings, 2180913 edges, 36971 markings/sec, 45 secs
lola: 1924092 markings, 2431104 edges, 41567 markings/sec, 50 secs
lola: 2118136 markings, 2673723 edges, 38809 markings/sec, 55 secs
lola: 2307950 markings, 2908689 edges, 37963 markings/sec, 60 secs
lola: 2516017 markings, 3157484 edges, 41613 markings/sec, 65 secs
lola: 2718966 markings, 3400343 edges, 40590 markings/sec, 70 secs
lola: 2899449 markings, 3617396 edges, 36097 markings/sec, 75 secs
lola: 3088279 markings, 3846746 edges, 37766 markings/sec, 80 secs
lola: 3281440 markings, 4084833 edges, 38632 markings/sec, 85 secs
lola: 3477839 markings, 4327283 edges, 39280 markings/sec, 90 secs
lola: 3684376 markings, 4575045 edges, 41307 markings/sec, 95 secs
lola: 3890135 markings, 4822402 edges, 41152 markings/sec, 100 secs
lola: 4084959 markings, 5061544 edges, 38965 markings/sec, 105 secs
lola: 4272171 markings, 5289079 edges, 37442 markings/sec, 110 secs
lola: 4454406 markings, 5521695 edges, 36447 markings/sec, 115 secs
lola: 4656361 markings, 5763848 edges, 40391 markings/sec, 120 secs
lola: 4877512 markings, 6020533 edges, 44230 markings/sec, 125 secs
lola: 5075087 markings, 6255086 edges, 39515 markings/sec, 130 secs
lola: 5267562 markings, 6484709 edges, 38495 markings/sec, 135 secs
lola: 5447474 markings, 6699944 edges, 35982 markings/sec, 140 secs
lola: 5646619 markings, 6937427 edges, 39829 markings/sec, 145 secs
lola: 5825298 markings, 7162193 edges, 35736 markings/sec, 150 secs
lola: 6012677 markings, 7392452 edges, 37476 markings/sec, 155 secs
lola: 6222952 markings, 7638930 edges, 42055 markings/sec, 160 secs
lola: 6412232 markings, 7873478 edges, 37856 markings/sec, 165 secs
lola: 6632667 markings, 8128196 edges, 44087 markings/sec, 170 secs
lola: 6812238 markings, 8356778 edges, 35914 markings/sec, 175 secs
lola: 7019070 markings, 8599673 edges, 41366 markings/sec, 180 secs
lola: 7223679 markings, 8847840 edges, 40922 markings/sec, 185 secs
lola: 7421184 markings, 9087732 edges, 39501 markings/sec, 190 secs
lola: 7610938 markings, 9313113 edges, 37951 markings/sec, 195 secs
lola: 7786931 markings, 9537295 edges, 35199 markings/sec, 200 secs
lola: 7962095 markings, 9759790 edges, 35033 markings/sec, 205 secs
lola: 8155024 markings, 9995392 edges, 38586 markings/sec, 210 secs
lola: 8370301 markings, 10244540 edges, 43055 markings/sec, 215 secs
lola: 8597733 markings, 10507773 edges, 45486 markings/sec, 220 secs
lola: 8776965 markings, 10720535 edges, 35846 markings/sec, 225 secs
lola: 8986281 markings, 10967293 edges, 41863 markings/sec, 230 secs
lola: 9164198 markings, 11178874 edges, 35583 markings/sec, 235 secs
lola: 9374317 markings, 11426669 edges, 42024 markings/sec, 240 secs
lola: 9540565 markings, 11624460 edges, 33250 markings/sec, 245 secs
lola: 9740411 markings, 11862044 edges, 39969 markings/sec, 250 secs
lola: 9922025 markings, 12082203 edges, 36323 markings/sec, 255 secs
lola: 10106392 markings, 12312514 edges, 36873 markings/sec, 260 secs
lola: 10289509 markings, 12539266 edges, 36623 markings/sec, 265 secs
lola: 10483850 markings, 12772162 edges, 38868 markings/sec, 270 secs
lola: 10713345 markings, 13030905 edges, 45899 markings/sec, 275 secs
lola: 10909746 markings, 13275124 edges, 39280 markings/sec, 280 secs
lola: 11100982 markings, 13510072 edges, 38247 markings/sec, 285 secs
lola: 11321420 markings, 13762907 edges, 44088 markings/sec, 290 secs
lola: 11504439 markings, 13993635 edges, 36604 markings/sec, 295 secs
lola: 11688968 markings, 14220893 edges, 36906 markings/sec, 300 secs
lola: 11882715 markings, 14452514 edges, 38749 markings/sec, 305 secs
lola: 12117329 markings, 14715124 edges, 46923 markings/sec, 310 secs
lola: 12297639 markings, 14944089 edges, 36062 markings/sec, 315 secs
lola: 12490374 markings, 15180244 edges, 38547 markings/sec, 320 secs
lola: 12701564 markings, 15423809 edges, 42238 markings/sec, 325 secs
lola: 12866266 markings, 15629395 edges, 32940 markings/sec, 330 secs
lola: 13048717 markings, 15858567 edges, 36490 markings/sec, 335 secs
lola: 13227601 markings, 16080832 edges, 35777 markings/sec, 340 secs
lola: 13413536 markings, 16316588 edges, 37187 markings/sec, 345 secs
lola: 13607012 markings, 16552084 edges, 38695 markings/sec, 350 secs
lola: 13804033 markings, 16786274 edges, 39404 markings/sec, 355 secs
lola: 14039444 markings, 17049739 edges, 47082 markings/sec, 360 secs
lola: 14266551 markings, 17312370 edges, 45421 markings/sec, 365 secs
lola: 14446803 markings, 17526062 edges, 36050 markings/sec, 370 secs
lola: 14632224 markings, 17746824 edges, 37084 markings/sec, 375 secs
lola: 14843354 markings, 17993695 edges, 42226 markings/sec, 380 secs
lola: 15018412 markings, 18200311 edges, 35012 markings/sec, 385 secs
lola: 15210350 markings, 18428523 edges, 38388 markings/sec, 390 secs
lola: 15419219 markings, 18673197 edges, 41774 markings/sec, 395 secs
lola: 15581908 markings, 18865126 edges, 32538 markings/sec, 400 secs
lola: 15759155 markings, 19078723 edges, 35449 markings/sec, 405 secs
lola: 15967838 markings, 19322389 edges, 41737 markings/sec, 410 secs
lola: 16152599 markings, 19544718 edges, 36952 markings/sec, 415 secs
lola: 16330091 markings, 19764706 edges, 35498 markings/sec, 420 secs
lola: 16510071 markings, 19988216 edges, 35996 markings/sec, 425 secs
lola: 16691434 markings, 20211137 edges, 36273 markings/sec, 430 secs
lola: 16874819 markings, 20435658 edges, 36677 markings/sec, 435 secs
lola: 17075181 markings, 20671426 edges, 40072 markings/sec, 440 secs
lola: 17304118 markings, 20929171 edges, 45787 markings/sec, 445 secs
lola: 17514706 markings, 21183313 edges, 42118 markings/sec, 450 secs
lola: 17707135 markings, 21418377 edges, 38486 markings/sec, 455 secs
lola: 17900683 markings, 21654055 edges, 38710 markings/sec, 460 secs
lola: 18117140 markings, 21903131 edges, 43291 markings/sec, 465 secs
lola: 18312200 markings, 22141660 edges, 39012 markings/sec, 470 secs
lola: 18495944 markings, 22368436 edges, 36749 markings/sec, 475 secs
lola: 18678915 markings, 22592726 edges, 36594 markings/sec, 480 secs
lola: 18865930 markings, 22819410 edges, 37403 markings/sec, 485 secs
lola: 19062924 markings, 23051814 edges, 39399 markings/sec, 490 secs
lola: 19298583 markings, 23314915 edges, 47132 markings/sec, 495 secs
lola: 19506065 markings, 23568177 edges, 41496 markings/sec, 500 secs
lola: 19695053 markings, 23800959 edges, 37798 markings/sec, 505 secs
lola: 19887332 markings, 24034648 edges, 38456 markings/sec, 510 secs
lola: 20108945 markings, 24287447 edges, 44323 markings/sec, 515 secs
lola: 20272933 markings, 24487695 edges, 32798 markings/sec, 520 secs
lola: 20442921 markings, 24703483 edges, 33998 markings/sec, 525 secs
lola: 20625372 markings, 24929378 edges, 36490 markings/sec, 530 secs
lola: 20808240 markings, 25153515 edges, 36574 markings/sec, 535 secs
lola: 20990891 markings, 25380181 edges, 36530 markings/sec, 540 secs
lola: 21172164 markings, 25611442 edges, 36255 markings/sec, 545 secs
lola: 21363468 markings, 25845236 edges, 38261 markings/sec, 550 secs
lola: 21560065 markings, 26077172 edges, 39319 markings/sec, 555 secs
lola: 21764943 markings, 26317309 edges, 40976 markings/sec, 560 secs
lola: 21998335 markings, 26578348 edges, 46678 markings/sec, 565 secs
lola: 22229841 markings, 26838794 edges, 46301 markings/sec, 570 secs
lola: 22435365 markings, 27085249 edges, 41105 markings/sec, 575 secs
lola: 22605501 markings, 27284197 edges, 34027 markings/sec, 580 secs
lola: 22780234 markings, 27492448 edges, 34947 markings/sec, 585 secs
lola: 22993432 markings, 27742494 edges, 42640 markings/sec, 590 secs
lola: 23196679 markings, 27980433 edges, 40649 markings/sec, 595 secs
lola: 23364980 markings, 28177413 edges, 33660 markings/sec, 600 secs
lola: 23541577 markings, 28386773 edges, 35319 markings/sec, 605 secs
lola: 23752597 markings, 28635294 edges, 42204 markings/sec, 610 secs
lola: 23957982 markings, 28875459 edges, 41077 markings/sec, 615 secs
lola: 24116367 markings, 29061189 edges, 31677 markings/sec, 620 secs
lola: 24279643 markings, 29255124 edges, 32655 markings/sec, 625 secs
lola: 24470995 markings, 29484017 edges, 38270 markings/sec, 630 secs
lola: 24680204 markings, 29727761 edges, 41842 markings/sec, 635 secs
lola: 24867524 markings, 29956537 edges, 37464 markings/sec, 640 secs
lola: 25037519 markings, 30162894 edges, 33999 markings/sec, 645 secs
lola: 25223443 markings, 30394793 edges, 37185 markings/sec, 650 secs
lola: 25406065 markings, 30620254 edges, 36524 markings/sec, 655 secs
lola: 25587817 markings, 30842300 edges, 36350 markings/sec, 660 secs
lola: 25770094 markings, 31065093 edges, 36455 markings/sec, 665 secs
lola: 25948912 markings, 31283904 edges, 35764 markings/sec, 670 secs
lola: 26150486 markings, 31520693 edges, 40315 markings/sec, 675 secs
lola: 26351509 markings, 31755190 edges, 40205 markings/sec, 680 secs
lola: 26584671 markings, 32015910 edges, 46632 markings/sec, 685 secs
lola: 26813461 markings, 32272149 edges, 45758 markings/sec, 690 secs
lola: 26995965 markings, 32510392 edges, 36501 markings/sec, 695 secs
lola: 27189844 markings, 32746343 edges, 38776 markings/sec, 700 secs
lola: 27381000 markings, 32978501 edges, 38231 markings/sec, 705 secs
lola: 27595047 markings, 33224998 edges, 42809 markings/sec, 710 secs
lola: 27801801 markings, 33469928 edges, 41351 markings/sec, 715 secs
lola: 27983974 markings, 33696676 edges, 36435 markings/sec, 720 secs
lola: 28165861 markings, 33919472 edges, 36377 markings/sec, 725 secs
lola: 28343997 markings, 34139134 edges, 35627 markings/sec, 730 secs
lola: 28530481 markings, 34364554 edges, 37297 markings/sec, 735 secs
lola: 28719841 markings, 34591525 edges, 37872 markings/sec, 740 secs
lola: 28915171 markings, 34821871 edges, 39066 markings/sec, 745 secs
lola: 29137078 markings, 35073443 edges, 44381 markings/sec, 750 secs
lola: 29367079 markings, 35330854 edges, 46000 markings/sec, 755 secs
lola: 29566101 markings, 35579543 edges, 39804 markings/sec, 760 secs
lola: 29759811 markings, 35814181 edges, 38742 markings/sec, 765 secs
lola: 29942187 markings, 36040949 edges, 36475 markings/sec, 770 secs
lola: 30145494 markings, 36281130 edges, 40661 markings/sec, 775 secs
lola: 30366367 markings, 36531412 edges, 44175 markings/sec, 780 secs
lola: 30528437 markings, 36729374 edges, 32414 markings/sec, 785 secs
lola: 30694074 markings, 36938066 edges, 33127 markings/sec, 790 secs
lola: 30876404 markings, 37164253 edges, 36466 markings/sec, 795 secs
lola: 31057684 markings, 37386719 edges, 36256 markings/sec, 800 secs
lola: 31237238 markings, 37607813 edges, 35911 markings/sec, 805 secs
lola: 31423440 markings, 37832927 edges, 37240 markings/sec, 810 secs
lola: 31601451 markings, 38061315 edges, 35602 markings/sec, 815 secs
lola: 31785702 markings, 38290898 edges, 36850 markings/sec, 820 secs
lola: 31969014 markings, 38517958 edges, 36662 markings/sec, 825 secs
lola: 32170575 markings, 38755466 edges, 40312 markings/sec, 830 secs
lola: 32363774 markings, 38984459 edges, 38640 markings/sec, 835 secs
lola: 32568972 markings, 39223513 edges, 41040 markings/sec, 840 secs
lola: 32801533 markings, 39483620 edges, 46512 markings/sec, 845 secs
lola: 33029948 markings, 39739987 edges, 45683 markings/sec, 850 secs
lola: 33260454 markings, 39999053 edges, 46101 markings/sec, 855 secs
lola: 33462838 markings, 40244781 edges, 40477 markings/sec, 860 secs
lola: 33631380 markings, 40440893 edges, 33708 markings/sec, 865 secs
lola: 33801429 markings, 40640054 edges, 34010 markings/sec, 870 secs
lola: 33984454 markings, 40858365 edges, 36605 markings/sec, 875 secs
lola: 34197029 markings, 41106229 edges, 42515 markings/sec, 880 secs
lola: 34403148 markings, 41346956 edges, 41224 markings/sec, 885 secs
lola: 34580411 markings, 41554627 edges, 35453 markings/sec, 890 secs
lola: 34753365 markings, 41756184 edges, 34591 markings/sec, 895 secs
lola: 34924943 markings, 41958825 edges, 34316 markings/sec, 900 secs
lola: 35130076 markings, 42201163 edges, 41027 markings/sec, 905 secs
lola: 35338415 markings, 42443979 edges, 41668 markings/sec, 910 secs
lola: 35530965 markings, 42669921 edges, 38510 markings/sec, 915 secs
lola: 35683669 markings, 42848800 edges, 30541 markings/sec, 920 secs
lola: 35846666 markings, 43040485 edges, 32599 markings/sec, 925 secs
lola: 36009654 markings, 43236502 edges, 32598 markings/sec, 930 secs
lola: 36208592 markings, 43471153 edges, 39788 markings/sec, 935 secs
lola: 36417040 markings, 43714445 edges, 41690 markings/sec, 940 secs
lola: 36635029 markings, 43965827 edges, 43598 markings/sec, 945 secs
lola: 36778801 markings, 44155331 edges, 28754 markings/sec, 950 secs
lola: 36917382 markings, 44339802 edges, 27716 markings/sec, 955 secs
lola: 37056554 markings, 44525766 edges, 27834 markings/sec, 960 secs
lola: 37195254 markings, 44710513 edges, 27740 markings/sec, 965 secs
lola: 37335325 markings, 44897611 edges, 28014 markings/sec, 970 secs
lola: 37474847 markings, 45083204 edges, 27904 markings/sec, 975 secs
lola: 37619266 markings, 45269505 edges, 28884 markings/sec, 980 secs
lola: 37757598 markings, 45454841 edges, 27666 markings/sec, 985 secs
lola: 37898301 markings, 45639889 edges, 28141 markings/sec, 990 secs
lola: 38051321 markings, 45842409 edges, 30604 markings/sec, 995 secs
lola: 38242700 markings, 46082251 edges, 38276 markings/sec, 1000 secs
lola: 38429095 markings, 46319275 edges, 37279 markings/sec, 1005 secs
lola: 38632705 markings, 46562976 edges, 40722 markings/sec, 1010 secs
lola: 38821785 markings, 46796882 edges, 37816 markings/sec, 1015 secs
lola: 39022830 markings, 47042331 edges, 40209 markings/sec, 1020 secs
lola: 39219410 markings, 47285002 edges, 39316 markings/sec, 1025 secs
lola: 39406176 markings, 47517502 edges, 37353 markings/sec, 1030 secs
lola: 39617627 markings, 47767878 edges, 42290 markings/sec, 1035 secs
lola: 39814901 markings, 48005374 edges, 39455 markings/sec, 1040 secs
lola: 40004820 markings, 48233935 edges, 37984 markings/sec, 1045 secs
lola: 40191174 markings, 48462458 edges, 37271 markings/sec, 1050 secs
lola: 40391718 markings, 48704201 edges, 40109 markings/sec, 1055 secs
lola: 40585728 markings, 48944794 edges, 38802 markings/sec, 1060 secs
lola: 40789151 markings, 49190162 edges, 40685 markings/sec, 1065 secs
lola: 40995728 markings, 49437315 edges, 41315 markings/sec, 1070 secs
lola: 41194444 markings, 49678803 edges, 39743 markings/sec, 1075 secs
lola: 41374983 markings, 49902192 edges, 36108 markings/sec, 1080 secs
lola: 41559621 markings, 50135773 edges, 36928 markings/sec, 1085 secs
lola: 41765939 markings, 50379946 edges, 41264 markings/sec, 1090 secs
lola: 41978847 markings, 50628725 edges, 42582 markings/sec, 1095 secs
lola: 42179534 markings, 50866987 edges, 40137 markings/sec, 1100 secs
lola: 42373549 markings, 51097289 edges, 38803 markings/sec, 1105 secs
lola: 42551808 markings, 51311761 edges, 35652 markings/sec, 1110 secs
lola: 42748351 markings, 51546211 edges, 39309 markings/sec, 1115 secs
lola: 42925831 markings, 51770798 edges, 35496 markings/sec, 1120 secs
lola: 43117369 markings, 52002835 edges, 38308 markings/sec, 1125 secs
lola: 43335981 markings, 52259102 edges, 43722 markings/sec, 1130 secs
lola: 43526483 markings, 52494067 edges, 38100 markings/sec, 1135 secs
lola: 43739736 markings, 52744075 edges, 42651 markings/sec, 1140 secs
lola: 43922463 markings, 52972805 edges, 36545 markings/sec, 1145 secs
lola: 44134457 markings, 53218866 edges, 42399 markings/sec, 1150 secs
lola: 44332205 markings, 53462560 edges, 39550 markings/sec, 1155 secs
lola: 44535390 markings, 53704964 edges, 40637 markings/sec, 1160 secs
lola: 44715202 markings, 53921831 edges, 35962 markings/sec, 1165 secs
lola: 44896007 markings, 54150287 edges, 36161 markings/sec, 1170 secs
lola: 45079364 markings, 54381939 edges, 36671 markings/sec, 1175 secs
lola: 45272993 markings, 54616809 edges, 38726 markings/sec, 1180 secs
lola: 45493128 markings, 54869340 edges, 44027 markings/sec, 1185 secs
lola: 45714380 markings, 55127869 edges, 44250 markings/sec, 1190 secs
lola: 45891019 markings, 55338231 edges, 35328 markings/sec, 1195 secs
lola: 46100724 markings, 55584198 edges, 41941 markings/sec, 1200 secs
lola: 46279536 markings, 55797483 edges, 35762 markings/sec, 1205 secs
lola: 46484869 markings, 56038240 edges, 41067 markings/sec, 1210 secs
lola: 46651372 markings, 56237715 edges, 33301 markings/sec, 1215 secs
lola: 46859729 markings, 56482259 edges, 41671 markings/sec, 1220 secs
lola: 47036113 markings, 56697428 edges, 35277 markings/sec, 1225 secs
lola: 47220626 markings, 56929143 edges, 36903 markings/sec, 1230 secs
lola: 47405271 markings, 57155823 edges, 36929 markings/sec, 1235 secs
lola: 47598863 markings, 57386938 edges, 38718 markings/sec, 1240 secs
lola: 47832083 markings, 57648139 edges, 46644 markings/sec, 1245 secs
lola: 48021931 markings, 57887325 edges, 37970 markings/sec, 1250 secs
lola: 48215054 markings, 58122584 edges, 38625 markings/sec, 1255 secs
lola: 48434014 markings, 58375282 edges, 43792 markings/sec, 1260 secs
lola: 48615677 markings, 58603809 edges, 36333 markings/sec, 1265 secs
lola: 48795686 markings, 58825896 edges, 36002 markings/sec, 1270 secs
lola: 48999597 markings, 59064863 edges, 40782 markings/sec, 1275 secs
lola: 49225939 markings, 59324703 edges, 45268 markings/sec, 1280 secs
lola: 49416549 markings, 59562118 edges, 38122 markings/sec, 1285 secs
lola: 49610260 markings, 59796645 edges, 38742 markings/sec, 1290 secs
lola: 49814992 markings, 60034049 edges, 40946 markings/sec, 1295 secs
lola: 49981410 markings, 60243840 edges, 33284 markings/sec, 1300 secs
lola: 50162220 markings, 60469451 edges, 36162 markings/sec, 1305 secs
lola: 50348710 markings, 60696816 edges, 37298 markings/sec, 1310 secs
lola: 50532599 markings, 60931065 edges, 36778 markings/sec, 1315 secs
lola: 50726302 markings, 61164501 edges, 38741 markings/sec, 1320 secs
lola: 50928755 markings, 61402732 edges, 40491 markings/sec, 1325 secs
lola: 51162868 markings, 61665065 edges, 46823 markings/sec, 1330 secs
lola: 51383971 markings, 61924602 edges, 44221 markings/sec, 1335 secs
lola: 51558864 markings, 62129519 edges, 34979 markings/sec, 1340 secs
lola: 51751812 markings, 62358600 edges, 38590 markings/sec, 1345 secs
lola: 51959046 markings, 62601868 edges, 41447 markings/sec, 1350 secs
lola: 52132541 markings, 62805265 edges, 34699 markings/sec, 1355 secs
lola: 52329370 markings, 63038574 edges, 39366 markings/sec, 1360 secs
lola: 52530342 markings, 63274541 edges, 40194 markings/sec, 1365 secs
lola: 52691277 markings, 63464364 edges, 32187 markings/sec, 1370 secs
lola: 52875369 markings, 63685302 edges, 36818 markings/sec, 1375 secs
lola: 53087416 markings, 63931646 edges, 42409 markings/sec, 1380 secs
lola: 53263355 markings, 64146078 edges, 35188 markings/sec, 1385 secs
lola: 53446424 markings, 64374470 edges, 36614 markings/sec, 1390 secs
lola: 53631672 markings, 64601409 edges, 37050 markings/sec, 1395 secs
lola: 53815441 markings, 64825625 edges, 36754 markings/sec, 1400 secs
lola: 54002935 markings, 65052157 edges, 37499 markings/sec, 1405 secs
lola: 54202064 markings, 65285956 edges, 39826 markings/sec, 1410 secs
lola: 54436600 markings, 65547923 edges, 46907 markings/sec, 1415 secs
lola: 54640433 markings, 65797389 edges, 40767 markings/sec, 1420 secs
lola: 54831366 markings, 66031115 edges, 38187 markings/sec, 1425 secs
lola: 55023880 markings, 66263917 edges, 38503 markings/sec, 1430 secs
lola: 55221716 markings, 66489272 edges, 39567 markings/sec, 1435 secs
lola: 55391224 markings, 66699630 edges, 33902 markings/sec, 1440 secs
lola: 55567142 markings, 66915630 edges, 35184 markings/sec, 1445 secs
lola: 55749151 markings, 67137877 edges, 36402 markings/sec, 1450 secs
lola: 55934937 markings, 67362381 edges, 37157 markings/sec, 1455 secs
lola: 56130585 markings, 67593130 edges, 39130 markings/sec, 1460 secs
lola: 56362737 markings, 67852809 edges, 46430 markings/sec, 1465 secs
lola: 56569024 markings, 68103824 edges, 41257 markings/sec, 1470 secs
lola: 56751031 markings, 68326885 edges, 36401 markings/sec, 1475 secs
lola: 56942687 markings, 68559495 edges, 38331 markings/sec, 1480 secs
lola: 57161879 markings, 68810360 edges, 43838 markings/sec, 1485 secs
lola: 57323271 markings, 69005901 edges, 32278 markings/sec, 1490 secs
lola: 57491972 markings, 69218313 edges, 33740 markings/sec, 1495 secs
lola: 57666247 markings, 69434093 edges, 34855 markings/sec, 1500 secs
lola: 57847638 markings, 69655947 edges, 36278 markings/sec, 1505 secs
lola: 58027644 markings, 69876305 edges, 36001 markings/sec, 1510 secs
lola: 58209598 markings, 70108784 edges, 36391 markings/sec, 1515 secs
lola: 58389646 markings, 70331749 edges, 36010 markings/sec, 1520 secs
lola: 58587653 markings, 70564910 edges, 39601 markings/sec, 1525 secs
lola: 58779099 markings, 70792509 edges, 38289 markings/sec, 1530 secs
lola: 59007767 markings, 71048802 edges, 45734 markings/sec, 1535 secs
lola: 59235934 markings, 71304786 edges, 45633 markings/sec, 1540 secs
lola: 59449943 markings, 71557444 edges, 42802 markings/sec, 1545 secs
lola: 59623711 markings, 71761076 edges, 34754 markings/sec, 1550 secs
lola: 59792403 markings, 71959216 edges, 33738 markings/sec, 1555 secs
lola: 59989849 markings, 72193471 edges, 39489 markings/sec, 1560 secs
lola: 60194982 markings, 72432707 edges, 41027 markings/sec, 1565 secs
lola: 60374475 markings, 72643092 edges, 35899 markings/sec, 1570 secs
lola: 60546213 markings, 72844222 edges, 34348 markings/sec, 1575 secs
lola: 60742097 markings, 73076550 edges, 39177 markings/sec, 1580 secs
lola: 60950257 markings, 73319876 edges, 41632 markings/sec, 1585 secs
lola: 61124049 markings, 73523575 edges, 34758 markings/sec, 1590 secs
lola: 61271900 markings, 73697652 edges, 29570 markings/sec, 1595 secs
lola: 61447579 markings, 73908856 edges, 35136 markings/sec, 1600 secs
lola: 61646808 markings, 74144441 edges, 39846 markings/sec, 1605 secs
lola: 61867013 markings, 74396444 edges, 44041 markings/sec, 1610 secs
lola: 62034101 markings, 74602195 edges, 33418 markings/sec, 1615 secs
lola: 62216566 markings, 74827513 edges, 36493 markings/sec, 1620 secs
lola: 62397810 markings, 75052011 edges, 36249 markings/sec, 1625 secs
lola: 62580950 markings, 75275885 edges, 36628 markings/sec, 1630 secs
lola: 62766397 markings, 75500105 edges, 37089 markings/sec, 1635 secs
lola: 62951305 markings, 75723904 edges, 36982 markings/sec, 1640 secs
lola: 63141710 markings, 75951345 edges, 38081 markings/sec, 1645 secs
lola: 63336365 markings, 76180720 edges, 38931 markings/sec, 1650 secs
lola: 63564562 markings, 76437388 edges, 45639 markings/sec, 1655 secs
lola: 63794457 markings, 76694486 edges, 45979 markings/sec, 1660 secs
lola: 63991686 markings, 76942342 edges, 39446 markings/sec, 1665 secs
lola: 64179073 markings, 77172012 edges, 37477 markings/sec, 1670 secs
lola: 64368316 markings, 77402818 edges, 37849 markings/sec, 1675 secs
lola: 64575149 markings, 77644271 edges, 41367 markings/sec, 1680 secs
lola: 64798848 markings, 77898674 edges, 44740 markings/sec, 1685 secs
lola: 64978794 markings, 78125910 edges, 35989 markings/sec, 1690 secs
lola: 65159794 markings, 78347954 edges, 36200 markings/sec, 1695 secs
lola: 65345875 markings, 78573780 edges, 37216 markings/sec, 1700 secs
lola: 65528318 markings, 78794881 edges, 36489 markings/sec, 1705 secs
lola: 65712120 markings, 79017336 edges, 36760 markings/sec, 1710 secs
lola: 65908962 markings, 79249431 edges, 39368 markings/sec, 1715 secs
lola: 66118922 markings, 79490878 edges, 41992 markings/sec, 1720 secs
lola: 66347523 markings, 79746768 edges, 45720 markings/sec, 1725 secs
lola: 66561740 markings, 79998301 edges, 42843 markings/sec, 1730 secs
lola: 66748984 markings, 80233863 edges, 37449 markings/sec, 1735 secs
lola: 66935824 markings, 80461448 edges, 37368 markings/sec, 1740 secs
lola: 67128622 markings, 80694078 edges, 38560 markings/sec, 1745 secs
lola: 67347769 markings, 80943518 edges, 43829 markings/sec, 1750 secs
lola: 67520895 markings, 81150028 edges, 34625 markings/sec, 1755 secs
lola: 67681056 markings, 81346515 edges, 32032 markings/sec, 1760 secs
lola: 67858381 markings, 81571667 edges, 35465 markings/sec, 1765 secs
lola: 68039343 markings, 81793234 edges, 36192 markings/sec, 1770 secs
lola: 68221748 markings, 82015537 edges, 36481 markings/sec, 1775 secs
lola: 68403531 markings, 82235559 edges, 36357 markings/sec, 1780 secs
lola: 68582404 markings, 82453083 edges, 35775 markings/sec, 1785 secs
lola: 68760373 markings, 82686097 edges, 35594 markings/sec, 1790 secs
lola: 68947599 markings, 82913782 edges, 37445 markings/sec, 1795 secs
lola: 69139582 markings, 83145126 edges, 38397 markings/sec, 1800 secs
lola: 69332044 markings, 83371994 edges, 38492 markings/sec, 1805 secs
lola: 69523551 markings, 83599545 edges, 38301 markings/sec, 1810 secs
lola: 69747730 markings, 83852596 edges, 44836 markings/sec, 1815 secs
lola: 69974540 markings, 84106446 edges, 45362 markings/sec, 1820 secs
lola: 70202300 markings, 84362418 edges, 45552 markings/sec, 1825 secs
lola: 70419587 markings, 84617630 edges, 43457 markings/sec, 1830 secs
lola: 70595617 markings, 84826025 edges, 35206 markings/sec, 1835 secs
lola: 70767192 markings, 85025827 edges, 34315 markings/sec, 1840 secs
lola: 70937977 markings, 85226801 edges, 34157 markings/sec, 1845 secs
lola: 71140126 markings, 85465962 edges, 40430 markings/sec, 1850 secs
lola: 71347544 markings, 85707149 edges, 41484 markings/sec, 1855 secs
lola: 71544259 markings, 85937982 edges, 39343 markings/sec, 1860 secs
lola: 71711796 markings, 86132828 edges, 33507 markings/sec, 1865 secs
lola: 71880691 markings, 86330186 edges, 33779 markings/sec, 1870 secs
lola: 72062021 markings, 86546280 edges, 36266 markings/sec, 1875 secs
lola: 72272604 markings, 86791825 edges, 42117 markings/sec, 1880 secs
lola: 72477454 markings, 87030674 edges, 40970 markings/sec, 1885 secs
lola: 72645592 markings, 87227998 edges, 33628 markings/sec, 1890 secs
lola: 72805832 markings, 87415282 edges, 32048 markings/sec, 1895 secs
lola: 72966852 markings, 87604979 edges, 32204 markings/sec, 1900 secs
lola: 73149899 markings, 87824683 edges, 36609 markings/sec, 1905 secs
lola: 73346910 markings, 88058224 edges, 39402 markings/sec, 1910 secs
lola: 73557971 markings, 88299767 edges, 42212 markings/sec, 1915 secs
lola: 73749359 markings, 88525412 edges, 38278 markings/sec, 1920 secs
lola: 73904686 markings, 88728437 edges, 31065 markings/sec, 1925 secs
lola: 74091673 markings, 88963326 edges, 37397 markings/sec, 1930 secs
lola: 74274429 markings, 89195762 edges, 36551 markings/sec, 1935 secs
lola: 74474480 markings, 89434644 edges, 40010 markings/sec, 1940 secs
lola: 74657575 markings, 89662083 edges, 36619 markings/sec, 1945 secs
lola: 74857888 markings, 89904010 edges, 40063 markings/sec, 1950 secs
lola: 75046663 markings, 90139936 edges, 37755 markings/sec, 1955 secs
lola: 75231002 markings, 90367461 edges, 36868 markings/sec, 1960 secs
lola: 75430361 markings, 90607806 edges, 39872 markings/sec, 1965 secs
lola: 75631328 markings, 90846985 edges, 40193 markings/sec, 1970 secs
lola: 75817918 markings, 91070072 edges, 37318 markings/sec, 1975 secs
lola: 75999301 markings, 91291676 edges, 36277 markings/sec, 1980 secs
lola: 76183143 markings, 91520900 edges, 36768 markings/sec, 1985 secs
lola: 76383872 markings, 91762927 edges, 40146 markings/sec, 1990 secs
lola: 76586792 markings, 92005584 edges, 40584 markings/sec, 1995 secs
lola: 76782683 markings, 92241057 edges, 39178 markings/sec, 2000 secs
lola: 76971821 markings, 92476219 edges, 37828 markings/sec, 2005 secs
lola: 77163174 markings, 92703621 edges, 38271 markings/sec, 2010 secs
lola: 77337326 markings, 92927952 edges, 34830 markings/sec, 2015 secs
lola: 77526257 markings, 93159322 edges, 37786 markings/sec, 2020 secs
lola: 77749726 markings, 93415501 edges, 44694 markings/sec, 2025 secs
lola: 77936628 markings, 93639480 edges, 37380 markings/sec, 2030 secs
lola: 78124294 markings, 93862353 edges, 37533 markings/sec, 2035 secs
lola: 78316135 markings, 94088923 edges, 38368 markings/sec, 2040 secs
lola: 78505388 markings, 94314745 edges, 37851 markings/sec, 2045 secs
lola: 78681802 markings, 94532433 edges, 35283 markings/sec, 2050 secs
lola: 78860879 markings, 94756741 edges, 35815 markings/sec, 2055 secs
lola: 79065233 markings, 94995188 edges, 40871 markings/sec, 2060 secs
lola: 79263063 markings, 95236177 edges, 39566 markings/sec, 2065 secs
lola: 79458092 markings, 95471703 edges, 39006 markings/sec, 2070 secs
lola: 79656346 markings, 95711137 edges, 39651 markings/sec, 2075 secs
lola: 79838944 markings, 95935176 edges, 36520 markings/sec, 2080 secs
lola: 80051776 markings, 96183604 edges, 42566 markings/sec, 2085 secs
lola: 80236947 markings, 96413625 edges, 37034 markings/sec, 2090 secs
lola: 80448665 markings, 96659280 edges, 42344 markings/sec, 2095 secs
lola: 80612485 markings, 96865405 edges, 32764 markings/sec, 2100 secs
lola: 80789500 markings, 97086508 edges, 35403 markings/sec, 2105 secs
lola: 80972812 markings, 97317682 edges, 36662 markings/sec, 2110 secs
lola: 81163498 markings, 97547502 edges, 38137 markings/sec, 2115 secs
lola: 81387885 markings, 97801580 edges, 44877 markings/sec, 2120 secs
lola: 81593981 markings, 98044424 edges, 41219 markings/sec, 2125 secs
lola: 81774839 markings, 98259683 edges, 36172 markings/sec, 2130 secs
lola: 81973749 markings, 98493211 edges, 39782 markings/sec, 2135 secs
lola: 82155333 markings, 98709270 edges, 36317 markings/sec, 2140 secs
lola: 82347495 markings, 98935438 edges, 38432 markings/sec, 2145 secs
lola: 82516693 markings, 99138821 edges, 33840 markings/sec, 2150 secs
lola: 82725058 markings, 99381569 edges, 41673 markings/sec, 2155 secs
lola: 82897747 markings, 99592132 edges, 34538 markings/sec, 2160 secs
lola: 83074275 markings, 99815742 edges, 35306 markings/sec, 2165 secs
lola: 83256365 markings, 100039315 edges, 36418 markings/sec, 2170 secs
lola: 83446783 markings, 100266448 edges, 38084 markings/sec, 2175 secs
lola: 83676235 markings, 100523372 edges, 45890 markings/sec, 2180 secs
lola: 83864172 markings, 100759745 edges, 37587 markings/sec, 2185 secs
lola: 84053680 markings, 100991075 edges, 37902 markings/sec, 2190 secs
lola: 84272206 markings, 101241211 edges, 43705 markings/sec, 2195 secs
lola: 84447430 markings, 101463608 edges, 35045 markings/sec, 2200 secs
lola: 84628515 markings, 101685484 edges, 36217 markings/sec, 2205 secs
lola: 84820238 markings, 101913793 edges, 38345 markings/sec, 2210 secs
lola: 85050624 markings, 102171334 edges, 46077 markings/sec, 2215 secs
lola: 85235946 markings, 102405980 edges, 37064 markings/sec, 2220 secs
lola: 85426166 markings, 102638109 edges, 38044 markings/sec, 2225 secs
lola: 85633935 markings, 102877553 edges, 41554 markings/sec, 2230 secs
lola: 85795915 markings, 103079285 edges, 32396 markings/sec, 2235 secs
lola: 85973684 markings, 103302921 edges, 35554 markings/sec, 2240 secs
lola: 86151882 markings, 103521857 edges, 35640 markings/sec, 2245 secs
lola: 86334470 markings, 103753373 edges, 36518 markings/sec, 2250 secs
lola: 86522830 markings, 103983344 edges, 37672 markings/sec, 2255 secs
lola: 86716372 markings, 104213168 edges, 38708 markings/sec, 2260 secs
lola: 86943015 markings, 104468114 edges, 45329 markings/sec, 2265 secs
lola: 87169515 markings, 104726279 edges, 45300 markings/sec, 2270 secs
lola: 87351427 markings, 104943899 edges, 36382 markings/sec, 2275 secs
lola: 87525886 markings, 105152122 edges, 34892 markings/sec, 2280 secs
lola: 87734788 markings, 105396462 edges, 41780 markings/sec, 2285 secs
lola: 87916645 markings, 105609634 edges, 36371 markings/sec, 2290 secs
lola: 88093857 markings, 105820752 edges, 35442 markings/sec, 2295 secs
lola: 88302594 markings, 106064621 edges, 41747 markings/sec, 2300 secs
lola: 88471212 markings, 106263292 edges, 33724 markings/sec, 2305 secs
lola: 88637022 markings, 106462329 edges, 33162 markings/sec, 2310 secs
lola: 88837228 markings, 106699000 edges, 40041 markings/sec, 2315 secs
lola: 89032213 markings, 106928899 edges, 38997 markings/sec, 2320 secs
lola: 89205278 markings, 107140452 edges, 34613 markings/sec, 2325 secs
lola: 89384656 markings, 107364706 edges, 35876 markings/sec, 2330 secs
lola: 89562812 markings, 107584706 edges, 35631 markings/sec, 2335 secs
lola: 89747453 markings, 107807745 edges, 36928 markings/sec, 2340 secs
lola: 89940374 markings, 108037337 edges, 38584 markings/sec, 2345 secs
lola: 90154967 markings, 108282571 edges, 42919 markings/sec, 2350 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no no unknown unknown no no yes yes no yes yes no yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no unknown unknown no no yes yes no yes yes no yes no
lola: memory consumption: 23484 KB
lola: time consumption: 3570 seconds
lola: time limit reached - aborting
lola:
preliminary result: no no no no unknown unknown no no yes yes no yes yes no yes no
lola:
preliminary result: no no no no unknown unknown no no yes yes no yes yes no yes no
lola: memory consumption: 23484 KB
lola: time consumption: 3570 seconds

BK_STOP 1527898202542

--------------------
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="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-08a.tgz
mv ASLink-PT-08a execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is 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 r268-smll-152749145300131"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;