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

About the Execution of LoLA for ASLink-PT-01b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
8378.130 3570751.00 3621595.00 7871.60 TFFFFFTFFFFTF?FF 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 460K
-rw-r--r-- 1 mcc users 3.2K May 29 16:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 29 16:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 28 11:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 28 11:13 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.4K May 28 09:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 28 07:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K May 28 07:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 2.9K May 27 05:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K May 27 05:07 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.3K May 26 06:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 26 06:33 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 293K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is ASLink-PT-01b, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145100014

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

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

=== Now, execution of the tool begins

BK_START 1527762570590

info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-01b 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-01b formula LTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking LTLCardinality @ ASLink-PT-01b @ 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: 1994/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 846
lola: finding significant places
lola: 846 places, 1148 transitions, 764 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1676 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-01b-LTLCardinality.task
lola: LP says that atomic proposition is always false: (2 <= p426)
lola: LP says that atomic proposition is always false: (2 <= p417)
lola: LP says that atomic proposition is always false: (3 <= p390)
lola: LP says that atomic proposition is always false: (2 <= p258)
lola: LP says that atomic proposition is always false: (2 <= p562)
lola: LP says that atomic proposition is always false: (3 <= p273)
lola: LP says that atomic proposition is always false: (2 <= p97)
lola: LP says that atomic proposition is always false: (3 <= p605)
lola: LP says that atomic proposition is always false: (3 <= p253)
lola: LP says that atomic proposition is always false: (3 <= p102)
lola: A (X ((p69 <= p220))) : A (G (X (X ((p99 <= p734))))) : A (X ((F (FALSE) U X (FALSE)))) : A (((p445 <= p459) U FALSE)) : A ((X (X (FALSE)) U F (G ((p770 <= p502))))) : A ((X (G ((p274 <= p822))) U F (F (FALSE)))) : A (G (F (X (X ((p716 <= p293)))))) : A (X (X (G (G ((p435 <= p348)))))) : A (FALSE) : A (G (((p684 <= p284) U X (FALSE)))) : A (X ((F ((p132 <= p667)) U G (FALSE)))) : A ((((p168 <= p40) U (p64 <= p245)) U X ((p425 <= p169)))) : A (F (G (F ((1 <= p538))))) : A (((p33 <= p412) U X (G ((p135 <= p723))))) : A (F (X (F (G (FALSE))))) : A (G (G (G (F (FALSE)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:145
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:180
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:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
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:350
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:180
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:163
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:371
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:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:163
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: 53 rewrites
lola: closed formula file ASLink-PT-01b-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: Variable C11 = -1 is below its lower bound 0
check_solution: Variable C12 = -0.716666666667 is below its lower bound 0
check_solution: Variable C32 = -0.266666666667 is below its lower bound 0
check_solution: Variable C36 = -0.291666666667 is below its lower bound 0
check_solution: Variable C39 = -0.607843137255 is below its lower bound 0
check_solution: Variable C60 = -0.907894736842 is below its lower bound 0
check_solution: Variable C71 = -1 is below its lower bound 0
check_solution: Variable C105 = -1 is below its lower bound 0
check_solution: Variable C114 = -1 is below its lower bound 0
check_solution: Variable C243 = -0.5 is below its lower bound 0

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

FORMULA ASLink-PT-01b-LTLCardinality-2 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: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 53 rewrites
lola: closed formula file ASLink-PT-01b-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-01b-LTLCardinality-3 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: 53 rewrites
lola: closed formula file ASLink-PT-01b-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-01b-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: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 53 rewrites
lola: closed formula file ASLink-PT-01b-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-01b-LTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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: 53 rewrites
lola: closed formula file ASLink-PT-01b-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-01b-LTLCardinality-9 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: 53 rewrites
lola: closed formula file ASLink-PT-01b-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-01b-LTLCardinality-10 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: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 53 rewrites
lola: closed formula file ASLink-PT-01b-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-01b-LTLCardinality-14 FALSE 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: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 53 rewrites
lola: closed formula file ASLink-PT-01b-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-01b-LTLCardinality-15 FALSE 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: A (X (X (G ((p435 <= p348)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((p435 <= p348)))))
lola: processed formula length: 30
lola: 53 rewrites
lola: closed formula file ASLink-PT-01b-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: ========================================
lola: 145007 markings, 714439 edges, 29001 markings/sec, 0 secs
lola: 265230 markings, 1432258 edges, 24045 markings/sec, 5 secs
lola: 376026 markings, 2140907 edges, 22159 markings/sec, 10 secs
lola: 480575 markings, 2847425 edges, 20910 markings/sec, 15 secs
lola: 575470 markings, 3549738 edges, 18979 markings/sec, 20 secs
lola: 680049 markings, 4237622 edges, 20916 markings/sec, 25 secs
lola: 783480 markings, 4938281 edges, 20686 markings/sec, 30 secs
lola: 876165 markings, 5632980 edges, 18537 markings/sec, 35 secs
lola: 986822 markings, 6330653 edges, 22131 markings/sec, 40 secs
lola: 1088341 markings, 7028804 edges, 20304 markings/sec, 45 secs
lola: 1183488 markings, 7726509 edges, 19029 markings/sec, 50 secs
lola: 1273752 markings, 8418623 edges, 18053 markings/sec, 55 secs
lola: 1362613 markings, 9113127 edges, 17772 markings/sec, 60 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1426396 markings, 9570064 edges
lola: ========================================

FORMULA ASLink-PT-01b-LTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 494 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((p168 <= p40) U (p64 <= p245)) U X ((p425 <= p169))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((((p168 <= p40) U (p64 <= p245)) U X ((p425 <= p169))))
lola: processed formula length: 58
lola: 53 rewrites
lola: closed formula file ASLink-PT-01b-LTLCardinality.task
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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-01b-LTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

lola: subprocess 10 will run for 577 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p33 <= p412) U X (G ((p135 <= p723)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p33 <= p412) U X (G ((p135 <= p723)))))
lola: processed formula length: 44
lola: 53 rewrites
lola: closed formula file ASLink-PT-01b-LTLCardinality.task
lola: the resulting Büchi automaton has 5 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: 145045 markings, 714650 edges, 29009 markings/sec, 0 secs
lola: 265065 markings, 1431161 edges, 24004 markings/sec, 5 secs
lola: 372884 markings, 2094435 edges, 21564 markings/sec, 10 secs
lola: 493642 markings, 2787291 edges, 24152 markings/sec, 15 secs
lola: 598095 markings, 3466901 edges, 20891 markings/sec, 20 secs
lola: 704598 markings, 4166508 edges, 21301 markings/sec, 25 secs
lola: 806695 markings, 4866901 edges, 20419 markings/sec, 30 secs
lola: 896547 markings, 5554417 edges, 17970 markings/sec, 35 secs
lola: 1000573 markings, 6242649 edges, 20805 markings/sec, 40 secs
lola: 1097162 markings, 6922035 edges, 19318 markings/sec, 45 secs
lola: 1191728 markings, 7594259 edges, 18913 markings/sec, 50 secs
lola: 1298915 markings, 8295419 edges, 21437 markings/sec, 55 secs
lola: 1397012 markings, 8990415 edges, 19619 markings/sec, 60 secs
lola: 1491865 markings, 9674962 edges, 18971 markings/sec, 65 secs
lola: 1593959 markings, 10358415 edges, 20419 markings/sec, 70 secs
lola: 1686690 markings, 11030939 edges, 18546 markings/sec, 75 secs
lola: 1788416 markings, 11709536 edges, 20345 markings/sec, 80 secs
lola: 1904848 markings, 12412487 edges, 23286 markings/sec, 85 secs
lola: 2005439 markings, 13107717 edges, 20118 markings/sec, 90 secs
lola: 2104956 markings, 13792702 edges, 19903 markings/sec, 95 secs
lola: 2199982 markings, 14492323 edges, 19005 markings/sec, 100 secs
lola: 2287159 markings, 15183437 edges, 17435 markings/sec, 105 secs
lola: 2374373 markings, 15864985 edges, 17443 markings/sec, 110 secs
lola: 2469618 markings, 16557613 edges, 19049 markings/sec, 115 secs
lola: 2556275 markings, 17248457 edges, 17331 markings/sec, 120 secs
lola: 2646145 markings, 17930956 edges, 17974 markings/sec, 125 secs
lola: 2741545 markings, 18617538 edges, 19080 markings/sec, 130 secs
lola: 2878899 markings, 19302878 edges, 27471 markings/sec, 135 secs
lola: 2998132 markings, 19998521 edges, 23847 markings/sec, 140 secs
lola: 3111648 markings, 20698660 edges, 22703 markings/sec, 145 secs
lola: 3226562 markings, 21389618 edges, 22983 markings/sec, 150 secs
lola: 3327169 markings, 22084842 edges, 20121 markings/sec, 155 secs
lola: 3425304 markings, 22782009 edges, 19627 markings/sec, 160 secs
lola: 3527714 markings, 23479251 edges, 20482 markings/sec, 165 secs
lola: 3639323 markings, 24171296 edges, 22322 markings/sec, 170 secs
lola: 3747734 markings, 24859127 edges, 21682 markings/sec, 175 secs
lola: 3857848 markings, 25549699 edges, 22023 markings/sec, 180 secs
lola: 3968222 markings, 26234923 edges, 22075 markings/sec, 185 secs
lola: 4077770 markings, 26926229 edges, 21910 markings/sec, 190 secs
lola: 4183711 markings, 27611068 edges, 21188 markings/sec, 195 secs
lola: 4288071 markings, 28296809 edges, 20872 markings/sec, 200 secs
lola: 4388948 markings, 28993528 edges, 20175 markings/sec, 205 secs
lola: 4486786 markings, 29687240 edges, 19568 markings/sec, 210 secs
lola: 4573341 markings, 30380672 edges, 17311 markings/sec, 215 secs
lola: 4663423 markings, 31067063 edges, 18016 markings/sec, 220 secs
lola: 4759115 markings, 31752455 edges, 19138 markings/sec, 225 secs
lola: 4853410 markings, 32430529 edges, 18859 markings/sec, 230 secs
lola: 4943589 markings, 33114864 edges, 18036 markings/sec, 235 secs
lola: 5040026 markings, 33805720 edges, 19287 markings/sec, 240 secs
lola: 5137262 markings, 34484049 edges, 19447 markings/sec, 245 secs
lola: 5223740 markings, 35161354 edges, 17296 markings/sec, 250 secs
lola: 5317671 markings, 35844692 edges, 18786 markings/sec, 255 secs
lola: 5413486 markings, 36521473 edges, 19163 markings/sec, 260 secs
lola: 5535886 markings, 37197274 edges, 24480 markings/sec, 265 secs
lola: 5648077 markings, 37878290 edges, 22438 markings/sec, 270 secs
lola: 5757346 markings, 38551658 edges, 21854 markings/sec, 275 secs
lola: 5864838 markings, 39228582 edges, 21498 markings/sec, 280 secs
lola: 5960108 markings, 39915330 edges, 19054 markings/sec, 285 secs
lola: 6058850 markings, 40600208 edges, 19748 markings/sec, 290 secs
lola: 6160227 markings, 41267344 edges, 20275 markings/sec, 295 secs
lola: 6273073 markings, 41938646 edges, 22569 markings/sec, 300 secs
lola: 6372191 markings, 42612885 edges, 19824 markings/sec, 305 secs
lola: 6484336 markings, 43293035 edges, 22429 markings/sec, 310 secs
lola: 6595684 markings, 43962945 edges, 22270 markings/sec, 315 secs
lola: 6693049 markings, 44634774 edges, 19473 markings/sec, 320 secs
lola: 6800390 markings, 45311825 edges, 21468 markings/sec, 325 secs
lola: 6904168 markings, 45985589 edges, 20756 markings/sec, 330 secs
lola: 6999968 markings, 46656501 edges, 19160 markings/sec, 335 secs
lola: 7092812 markings, 47329858 edges, 18569 markings/sec, 340 secs
lola: 7179307 markings, 48010969 edges, 17299 markings/sec, 345 secs
lola: 7266461 markings, 48673372 edges, 17431 markings/sec, 350 secs
lola: 7357968 markings, 49336785 edges, 18301 markings/sec, 355 secs
lola: 7450666 markings, 50001676 edges, 18540 markings/sec, 360 secs
lola: 7539848 markings, 50672916 edges, 17836 markings/sec, 365 secs
lola: 7634497 markings, 51348882 edges, 18930 markings/sec, 370 secs
lola: 7724607 markings, 51979250 edges, 18022 markings/sec, 375 secs
lola: 7810694 markings, 52644835 edges, 17217 markings/sec, 380 secs
lola: 7901878 markings, 53315796 edges, 18237 markings/sec, 385 secs
lola: 7994017 markings, 53979719 edges, 18428 markings/sec, 390 secs
lola: 8104802 markings, 54668019 edges, 22157 markings/sec, 395 secs
lola: 8204484 markings, 55371117 edges, 19936 markings/sec, 400 secs
lola: 8303417 markings, 56073198 edges, 19787 markings/sec, 405 secs
lola: 8402168 markings, 56768637 edges, 19750 markings/sec, 410 secs
lola: 8489057 markings, 57466130 edges, 17378 markings/sec, 415 secs
lola: 8577721 markings, 58165758 edges, 17733 markings/sec, 420 secs
lola: 8663992 markings, 58861979 edges, 17254 markings/sec, 425 secs
lola: 8755925 markings, 59550701 edges, 18387 markings/sec, 430 secs
lola: 8855700 markings, 60241111 edges, 19955 markings/sec, 435 secs
lola: 8943818 markings, 60927729 edges, 17624 markings/sec, 440 secs
lola: 9041260 markings, 61619841 edges, 19488 markings/sec, 445 secs
lola: 9138234 markings, 62307030 edges, 19395 markings/sec, 450 secs
lola: 9234116 markings, 63000096 edges, 19176 markings/sec, 455 secs
lola: 9323422 markings, 63681125 edges, 17861 markings/sec, 460 secs
lola: 9410632 markings, 64364480 edges, 17442 markings/sec, 465 secs
lola: 9506091 markings, 65059962 edges, 19092 markings/sec, 470 secs
lola: 9592714 markings, 65758885 edges, 17325 markings/sec, 475 secs
lola: 9677591 markings, 66453779 edges, 16975 markings/sec, 480 secs
lola: 9754552 markings, 67148390 edges, 15392 markings/sec, 485 secs
lola: 9832583 markings, 67829441 edges, 15606 markings/sec, 490 secs
lola: 9917481 markings, 68513058 edges, 16980 markings/sec, 495 secs
lola: 10001297 markings, 69190544 edges, 16763 markings/sec, 500 secs
lola: 10077071 markings, 69872072 edges, 15155 markings/sec, 505 secs
lola: 10162350 markings, 70559563 edges, 17056 markings/sec, 510 secs
lola: 10248216 markings, 71248803 edges, 17173 markings/sec, 515 secs
lola: 10332779 markings, 71931498 edges, 16913 markings/sec, 520 secs
lola: 10407782 markings, 72604284 edges, 15001 markings/sec, 525 secs
lola: 10491071 markings, 73291799 edges, 16658 markings/sec, 530 secs
lola: 10571217 markings, 73965565 edges, 16029 markings/sec, 535 secs
lola: 10675188 markings, 74650319 edges, 20794 markings/sec, 540 secs
lola: 10774611 markings, 75336554 edges, 19885 markings/sec, 545 secs
lola: 10870627 markings, 76021754 edges, 19203 markings/sec, 550 secs
lola: 10966283 markings, 76691342 edges, 19131 markings/sec, 555 secs
lola: 11057022 markings, 77376634 edges, 18148 markings/sec, 560 secs
lola: 11141159 markings, 78066867 edges, 16827 markings/sec, 565 secs
lola: 11227613 markings, 78755498 edges, 17291 markings/sec, 570 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no no unknown no unknown no no no no yes unknown unknown no no
lola: memory consumption: 1996044 KB
lola: time consumption: 685 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 577 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((p99 <= p734)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((p99 <= p734)))))
lola: processed formula length: 29
lola: 53 rewrites
lola: closed formula file ASLink-PT-01b-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: 394 markings, 394 edges
lola: ========================================

FORMULA ASLink-PT-01b-LTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 721 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((p69 <= p220)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((p69 <= p220)))
lola: processed formula length: 21
lola: 53 rewrites
lola: closed formula file ASLink-PT-01b-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-01b-LTLCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 961 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((1 <= p538))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((1 <= p538))))
lola: processed formula length: 23
lola: 53 rewrites
lola: closed formula file ASLink-PT-01b-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: 48 markings, 48 edges
lola: ========================================

FORMULA ASLink-PT-01b-LTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1442 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((p716 <= p293))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p716 <= p293))))
lola: processed formula length: 26
lola: 53 rewrites
lola: closed formula file ASLink-PT-01b-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: 358532 markings, 386472 edges, 71706 markings/sec, 0 secs
lola: 727913 markings, 809153 edges, 73876 markings/sec, 5 secs
lola: 1120918 markings, 1254864 edges, 78601 markings/sec, 10 secs
lola: 1503598 markings, 1712577 edges, 76536 markings/sec, 15 secs
lola: 1868517 markings, 2176994 edges, 72984 markings/sec, 20 secs
lola: 2244710 markings, 2622047 edges, 75239 markings/sec, 25 secs
lola: 2618190 markings, 3071567 edges, 74696 markings/sec, 30 secs
lola: 2990400 markings, 3501144 edges, 74442 markings/sec, 35 secs
lola: 3336610 markings, 3945768 edges, 69242 markings/sec, 40 secs
lola: 3696200 markings, 4392717 edges, 71918 markings/sec, 45 secs
lola: 4090049 markings, 4857977 edges, 78770 markings/sec, 50 secs
lola: 4472864 markings, 5330671 edges, 76563 markings/sec, 55 secs
lola: 4847257 markings, 5817979 edges, 74879 markings/sec, 60 secs
lola: 5253922 markings, 6333489 edges, 81333 markings/sec, 65 secs
lola: 5627504 markings, 6795955 edges, 74716 markings/sec, 70 secs
lola: 5997922 markings, 7236141 edges, 74084 markings/sec, 75 secs
lola: 6377374 markings, 7697149 edges, 75890 markings/sec, 80 secs
lola: 6762290 markings, 8176530 edges, 76983 markings/sec, 85 secs
lola: 7142395 markings, 8645581 edges, 76021 markings/sec, 90 secs
lola: 7510635 markings, 9117949 edges, 73648 markings/sec, 95 secs
lola: 7851535 markings, 9580045 edges, 68180 markings/sec, 100 secs
lola: 8217494 markings, 10043034 edges, 73192 markings/sec, 105 secs
lola: 8567285 markings, 10493860 edges, 69958 markings/sec, 110 secs
lola: 8925895 markings, 10933529 edges, 71722 markings/sec, 115 secs
lola: 9288901 markings, 11412888 edges, 72601 markings/sec, 120 secs
lola: 9618896 markings, 11869500 edges, 65999 markings/sec, 125 secs
lola: 9979281 markings, 12315920 edges, 72077 markings/sec, 130 secs
lola: 10334876 markings, 12781313 edges, 71119 markings/sec, 135 secs
lola: 10707952 markings, 13216223 edges, 74615 markings/sec, 140 secs
lola: 11072593 markings, 13653037 edges, 72928 markings/sec, 145 secs
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: 11257897 markings, 13863882 edges

FORMULA ASLink-PT-01b-LTLCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 2732 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p770 <= p502))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p770 <= p502))))
lola: processed formula length: 26
lola: 53 rewrites
lola: closed formula file ASLink-PT-01b-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: 8601 markings, 8993 edges

FORMULA ASLink-PT-01b-LTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (((p33 <= p412) U X (G ((p135 <= p723)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p33 <= p412) U X (G ((p135 <= p723)))))
lola: processed formula length: 44
lola: 53 rewrites
lola: closed formula file ASLink-PT-01b-LTLCardinality.task
lola: the resulting Büchi automaton has 5 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: 144262 markings, 709883 edges, 28852 markings/sec, 0 secs
lola: 262862 markings, 1417218 edges, 23720 markings/sec, 5 secs
lola: 376747 markings, 2114523 edges, 22777 markings/sec, 10 secs
lola: 496491 markings, 2804423 edges, 23949 markings/sec, 15 secs
lola: 600973 markings, 3488712 edges, 20896 markings/sec, 20 secs
lola: 708086 markings, 4189455 edges, 21423 markings/sec, 25 secs
lola: 809268 markings, 4889567 edges, 20236 markings/sec, 30 secs
lola: 900353 markings, 5579470 edges, 18217 markings/sec, 35 secs
lola: 1004485 markings, 6266780 edges, 20826 markings/sec, 40 secs
lola: 1100624 markings, 6949018 edges, 19228 markings/sec, 45 secs
lola: 1198063 markings, 7626074 edges, 19488 markings/sec, 50 secs
lola: 1303673 markings, 8326921 edges, 21122 markings/sec, 55 secs
lola: 1401320 markings, 9021572 edges, 19529 markings/sec, 60 secs
lola: 1496803 markings, 9706939 edges, 19097 markings/sec, 65 secs
lola: 1599603 markings, 10393650 edges, 20560 markings/sec, 70 secs
lola: 1691890 markings, 11072603 edges, 18457 markings/sec, 75 secs
lola: 1798410 markings, 11763592 edges, 21304 markings/sec, 80 secs
lola: 1914112 markings, 12474150 edges, 23140 markings/sec, 85 secs
lola: 2015793 markings, 13172788 edges, 20336 markings/sec, 90 secs
lola: 2115026 markings, 13860918 edges, 19847 markings/sec, 95 secs
lola: 2208694 markings, 14566651 edges, 18734 markings/sec, 100 secs
lola: 2297157 markings, 15257773 edges, 17693 markings/sec, 105 secs
lola: 2383526 markings, 15939881 edges, 17274 markings/sec, 110 secs
lola: 2480298 markings, 16636440 edges, 19354 markings/sec, 115 secs
lola: 2557127 markings, 17254840 edges, 15366 markings/sec, 120 secs
lola: 2646302 markings, 17932344 edges, 17835 markings/sec, 125 secs
lola: 2742913 markings, 18626928 edges, 19322 markings/sec, 130 secs
lola: 2882164 markings, 19319244 edges, 27850 markings/sec, 135 secs
lola: 3001387 markings, 20018425 edges, 23845 markings/sec, 140 secs
lola: 3116597 markings, 20724154 edges, 23042 markings/sec, 145 secs
lola: 3230987 markings, 21421147 edges, 22878 markings/sec, 150 secs
lola: 3332544 markings, 22122843 edges, 20311 markings/sec, 155 secs
lola: 3430806 markings, 22826434 edges, 19652 markings/sec, 160 secs
lola: 3535883 markings, 23528925 edges, 21015 markings/sec, 165 secs
lola: 3650236 markings, 24226741 edges, 22871 markings/sec, 170 secs
lola: 3756138 markings, 24920163 edges, 21180 markings/sec, 175 secs
lola: 3869058 markings, 25617946 edges, 22584 markings/sec, 180 secs
lola: 3981817 markings, 26306884 edges, 22552 markings/sec, 185 secs
lola: 4087932 markings, 26999943 edges, 21223 markings/sec, 190 secs
lola: 4195184 markings, 27690036 edges, 21450 markings/sec, 195 secs
lola: 4300138 markings, 28382373 edges, 20991 markings/sec, 200 secs
lola: 4402161 markings, 29086987 edges, 20405 markings/sec, 205 secs
lola: 4499147 markings, 29787435 edges, 19397 markings/sec, 210 secs
lola: 4587826 markings, 30486406 edges, 17736 markings/sec, 215 secs
lola: 4678740 markings, 31175570 edges, 18183 markings/sec, 220 secs
lola: 4774989 markings, 31864497 edges, 19250 markings/sec, 225 secs
lola: 4867765 markings, 32546212 edges, 18555 markings/sec, 230 secs
lola: 4959214 markings, 33234391 edges, 18290 markings/sec, 235 secs
lola: 5058777 markings, 33929013 edges, 19913 markings/sec, 240 secs
lola: 5154995 markings, 34615177 edges, 19244 markings/sec, 245 secs
lola: 5240993 markings, 35291803 edges, 17200 markings/sec, 250 secs
lola: 5334223 markings, 35978229 edges, 18646 markings/sec, 255 secs
lola: 5434904 markings, 36661040 edges, 20136 markings/sec, 260 secs
lola: 5557842 markings, 37340286 edges, 24588 markings/sec, 265 secs
lola: 5672437 markings, 38026063 edges, 22919 markings/sec, 270 secs
lola: 5782063 markings, 38691486 edges, 21925 markings/sec, 275 secs
lola: 5884939 markings, 39375476 edges, 20575 markings/sec, 280 secs
lola: 5983219 markings, 40065721 edges, 19656 markings/sec, 285 secs
lola: 6079431 markings, 40746377 edges, 19242 markings/sec, 290 secs
lola: 6186474 markings, 41412281 edges, 21409 markings/sec, 295 secs
lola: 6293123 markings, 42074112 edges, 21330 markings/sec, 300 secs
lola: 6395567 markings, 42748172 edges, 20489 markings/sec, 305 secs
lola: 6506475 markings, 43426511 edges, 22182 markings/sec, 310 secs
lola: 6616683 markings, 44096354 edges, 22042 markings/sec, 315 secs
lola: 6716551 markings, 44763264 edges, 19974 markings/sec, 320 secs
lola: 6817021 markings, 45435917 edges, 20094 markings/sec, 325 secs
lola: 6922905 markings, 46111432 edges, 21177 markings/sec, 330 secs
lola: 7015828 markings, 46774514 edges, 18585 markings/sec, 335 secs
lola: 7110084 markings, 47452080 edges, 18851 markings/sec, 340 secs
lola: 7193760 markings, 48127461 edges, 16735 markings/sec, 345 secs
lola: 7281245 markings, 48783902 edges, 17497 markings/sec, 350 secs
lola: 7375439 markings, 49444240 edges, 18839 markings/sec, 355 secs
lola: 7463765 markings, 50107629 edges, 17665 markings/sec, 360 secs
lola: 7552941 markings, 50777071 edges, 17835 markings/sec, 365 secs
lola: 7649650 markings, 51449279 edges, 19342 markings/sec, 370 secs
lola: 7743261 markings, 52113437 edges, 18722 markings/sec, 375 secs
lola: 7825092 markings, 52771540 edges, 16366 markings/sec, 380 secs
lola: 7918274 markings, 53443152 edges, 18636 markings/sec, 385 secs
lola: 8014205 markings, 54109772 edges, 19186 markings/sec, 390 secs
lola: 8123232 markings, 54796757 edges, 21805 markings/sec, 395 secs
lola: 8219753 markings, 55492562 edges, 19304 markings/sec, 400 secs
lola: 8320262 markings, 56189937 edges, 20102 markings/sec, 405 secs
lola: 8415935 markings, 56877067 edges, 19135 markings/sec, 410 secs
lola: 8503914 markings, 57571307 edges, 17596 markings/sec, 415 secs
lola: 8590000 markings, 58264576 edges, 17217 markings/sec, 420 secs
lola: 8674830 markings, 58953032 edges, 16966 markings/sec, 425 secs
lola: 8770278 markings, 59638469 edges, 19090 markings/sec, 430 secs
lola: 8866971 markings, 60320930 edges, 19339 markings/sec, 435 secs
lola: 8952102 markings, 61002848 edges, 17026 markings/sec, 440 secs
lola: 9051447 markings, 61691902 edges, 19869 markings/sec, 445 secs
lola: 9146013 markings, 62370075 edges, 18913 markings/sec, 450 secs
lola: 9241388 markings, 63057167 edges, 19075 markings/sec, 455 secs
lola: 9330766 markings, 63733244 edges, 17876 markings/sec, 460 secs
lola: 9415525 markings, 64408746 edges, 16952 markings/sec, 465 secs
lola: 9511170 markings, 65101045 edges, 19129 markings/sec, 470 secs
lola: 9596976 markings, 65793628 edges, 17161 markings/sec, 475 secs
lola: 9680905 markings, 66483689 edges, 16786 markings/sec, 480 secs
lola: 9757502 markings, 67172158 edges, 15319 markings/sec, 485 secs
lola: 9835139 markings, 67848483 edges, 15527 markings/sec, 490 secs
lola: 9919225 markings, 68526868 edges, 16817 markings/sec, 495 secs
lola: 10002149 markings, 69198111 edges, 16585 markings/sec, 500 secs
lola: 10077261 markings, 69874101 edges, 15022 markings/sec, 505 secs
lola: 10161896 markings, 70556556 edges, 16927 markings/sec, 510 secs
lola: 10247238 markings, 71240991 edges, 17068 markings/sec, 515 secs
lola: 10331236 markings, 71918787 edges, 16800 markings/sec, 520 secs
lola: 10406178 markings, 72587762 edges, 14988 markings/sec, 525 secs
lola: 10488470 markings, 73270770 edges, 16458 markings/sec, 530 secs
lola: 10567453 markings, 73938695 edges, 15797 markings/sec, 535 secs
lola: 10670612 markings, 74617809 edges, 20632 markings/sec, 540 secs
lola: 10768868 markings, 75295723 edges, 19651 markings/sec, 545 secs
lola: 10864646 markings, 75973380 edges, 19156 markings/sec, 550 secs
lola: 10957352 markings, 76635185 edges, 18541 markings/sec, 555 secs
lola: 11048748 markings, 77309464 edges, 18279 markings/sec, 560 secs
lola: 11129540 markings, 77962236 edges, 16158 markings/sec, 565 secs
lola: 11209376 markings, 78618839 edges, 15967 markings/sec, 570 secs
lola: 11295250 markings, 79284538 edges, 17175 markings/sec, 575 secs
lola: 11389405 markings, 79949312 edges, 18831 markings/sec, 580 secs
lola: 11480834 markings, 80611938 edges, 18286 markings/sec, 585 secs
lola: 11569223 markings, 81286761 edges, 17678 markings/sec, 590 secs
lola: 11664859 markings, 81966544 edges, 19127 markings/sec, 595 secs
lola: 11758485 markings, 82627800 edges, 18725 markings/sec, 600 secs
lola: 11849169 markings, 83304591 edges, 18137 markings/sec, 605 secs
lola: 11938479 markings, 83975590 edges, 17862 markings/sec, 610 secs
lola: 12024882 markings, 84643911 edges, 17281 markings/sec, 615 secs
lola: 12115754 markings, 85323100 edges, 18174 markings/sec, 620 secs
lola: 12197303 markings, 85985108 edges, 16310 markings/sec, 625 secs
lola: 12279786 markings, 86663377 edges, 16497 markings/sec, 630 secs
lola: 12355909 markings, 87344024 edges, 15225 markings/sec, 635 secs
lola: 12431343 markings, 88002968 edges, 15087 markings/sec, 640 secs
lola: 12513258 markings, 88663880 edges, 16383 markings/sec, 645 secs
lola: 12594648 markings, 89323335 edges, 16278 markings/sec, 650 secs
lola: 12668739 markings, 89989842 edges, 14818 markings/sec, 655 secs
lola: 12752203 markings, 90664961 edges, 16693 markings/sec, 660 secs
lola: 12836152 markings, 91336272 edges, 16790 markings/sec, 665 secs
lola: 12918490 markings, 92001168 edges, 16468 markings/sec, 670 secs
lola: 12993617 markings, 92663001 edges, 15025 markings/sec, 675 secs
lola: 13073806 markings, 93337250 edges, 16038 markings/sec, 680 secs
lola: 13150014 markings, 93998847 edges, 15242 markings/sec, 685 secs
lola: 13258527 markings, 94680637 edges, 21703 markings/sec, 690 secs
lola: 13373856 markings, 95360972 edges, 23066 markings/sec, 695 secs
lola: 13474256 markings, 96053520 edges, 20080 markings/sec, 700 secs
lola: 13573013 markings, 96748788 edges, 19751 markings/sec, 705 secs
lola: 13670258 markings, 97443048 edges, 19449 markings/sec, 710 secs
lola: 13762640 markings, 98125751 edges, 18476 markings/sec, 715 secs
lola: 13847852 markings, 98819153 edges, 17042 markings/sec, 720 secs
lola: 13933252 markings, 99511794 edges, 17080 markings/sec, 725 secs
lola: 14023177 markings, 100197856 edges, 17985 markings/sec, 730 secs
lola: 14118887 markings, 100885113 edges, 19142 markings/sec, 735 secs
lola: 14213483 markings, 101565610 edges, 18919 markings/sec, 740 secs
lola: 14304322 markings, 102251756 edges, 18168 markings/sec, 745 secs
lola: 14401202 markings, 102943475 edges, 19376 markings/sec, 750 secs
lola: 14498455 markings, 103624323 edges, 19451 markings/sec, 755 secs
lola: 14584041 markings, 104300865 edges, 17117 markings/sec, 760 secs
lola: 14678483 markings, 104986234 edges, 18888 markings/sec, 765 secs
lola: 14768467 markings, 105666612 edges, 17997 markings/sec, 770 secs
lola: 14855074 markings, 106360372 edges, 17321 markings/sec, 775 secs
lola: 14942800 markings, 107052430 edges, 17545 markings/sec, 780 secs
lola: 15023909 markings, 107741827 edges, 16222 markings/sec, 785 secs
lola: 15099255 markings, 108425986 edges, 15069 markings/sec, 790 secs
lola: 15179491 markings, 109103204 edges, 16047 markings/sec, 795 secs
lola: 15263906 markings, 109784240 edges, 16883 markings/sec, 800 secs
lola: 15345120 markings, 110456169 edges, 16243 markings/sec, 805 secs
lola: 15424180 markings, 111136892 edges, 15812 markings/sec, 810 secs
lola: 15508870 markings, 111825769 edges, 16938 markings/sec, 815 secs
lola: 15590942 markings, 112495164 edges, 16414 markings/sec, 820 secs
lola: 15674745 markings, 113180661 edges, 16761 markings/sec, 825 secs
lola: 15752198 markings, 113850852 edges, 15491 markings/sec, 830 secs
lola: 15830484 markings, 114527069 edges, 15657 markings/sec, 835 secs
lola: 15918130 markings, 115206526 edges, 17529 markings/sec, 840 secs
lola: 16024345 markings, 115874935 edges, 21243 markings/sec, 845 secs
lola: 16118002 markings, 116553129 edges, 18731 markings/sec, 850 secs
lola: 16215734 markings, 117227686 edges, 19546 markings/sec, 855 secs
lola: 16308523 markings, 117890772 edges, 18558 markings/sec, 860 secs
lola: 16394337 markings, 118573619 edges, 17163 markings/sec, 865 secs
lola: 16479939 markings, 119257631 edges, 17120 markings/sec, 870 secs
lola: 16563454 markings, 119931634 edges, 16703 markings/sec, 875 secs
lola: 16652136 markings, 120593598 edges, 17736 markings/sec, 880 secs
lola: 16748865 markings, 121263207 edges, 19346 markings/sec, 885 secs
lola: 16835770 markings, 121932803 edges, 17381 markings/sec, 890 secs
lola: 16927314 markings, 122596578 edges, 18309 markings/sec, 895 secs
lola: 17022547 markings, 123264449 edges, 19047 markings/sec, 900 secs
lola: 17115231 markings, 123936932 edges, 18537 markings/sec, 905 secs
lola: 17201683 markings, 124597757 edges, 17290 markings/sec, 910 secs
lola: 17290714 markings, 125269635 edges, 17806 markings/sec, 915 secs
lola: 17379857 markings, 125939226 edges, 17829 markings/sec, 920 secs
lola: 17465133 markings, 126610792 edges, 17055 markings/sec, 925 secs
lola: 17547054 markings, 127272505 edges, 16384 markings/sec, 930 secs
lola: 17625741 markings, 127952375 edges, 15737 markings/sec, 935 secs
lola: 17698349 markings, 128612331 edges, 14522 markings/sec, 940 secs
lola: 17774859 markings, 129255126 edges, 15302 markings/sec, 945 secs
lola: 17856113 markings, 129905879 edges, 16251 markings/sec, 950 secs
lola: 17935054 markings, 130558680 edges, 15788 markings/sec, 955 secs
lola: 18011201 markings, 131217330 edges, 15229 markings/sec, 960 secs
lola: 18094055 markings, 131885913 edges, 16571 markings/sec, 965 secs
lola: 18171859 markings, 132523966 edges, 15561 markings/sec, 970 secs
lola: 18253269 markings, 133187319 edges, 16282 markings/sec, 975 secs
lola: 18325741 markings, 133824634 edges, 14494 markings/sec, 980 secs
lola: 18404462 markings, 134484311 edges, 15744 markings/sec, 985 secs
lola: 18485341 markings, 135135337 edges, 16176 markings/sec, 990 secs
lola: 18600679 markings, 135813349 edges, 23068 markings/sec, 995 secs
lola: 18716191 markings, 136492098 edges, 23102 markings/sec, 1000 secs
lola: 18815326 markings, 137162556 edges, 19827 markings/sec, 1005 secs
lola: 18916214 markings, 137824469 edges, 20178 markings/sec, 1010 secs
lola: 19008377 markings, 138481976 edges, 18433 markings/sec, 1015 secs
lola: 19094809 markings, 139154504 edges, 17286 markings/sec, 1020 secs
lola: 19181127 markings, 139817153 edges, 17264 markings/sec, 1025 secs
lola: 19262377 markings, 140468757 edges, 16250 markings/sec, 1030 secs
lola: 19356852 markings, 141143005 edges, 18895 markings/sec, 1035 secs
lola: 19440753 markings, 141807665 edges, 16780 markings/sec, 1040 secs
lola: 19525898 markings, 142465575 edges, 17029 markings/sec, 1045 secs
lola: 19619752 markings, 143132515 edges, 18771 markings/sec, 1050 secs
lola: 19757579 markings, 143820790 edges, 27565 markings/sec, 1055 secs
lola: 19884309 markings, 144497733 edges, 25346 markings/sec, 1060 secs
lola: 19997621 markings, 145184429 edges, 22662 markings/sec, 1065 secs
lola: 20107023 markings, 145876273 edges, 21880 markings/sec, 1070 secs
lola: 20216169 markings, 146566664 edges, 21829 markings/sec, 1075 secs
lola: 20325346 markings, 147256598 edges, 21835 markings/sec, 1080 secs
lola: 20433638 markings, 147943175 edges, 21658 markings/sec, 1085 secs
lola: 20536742 markings, 148625362 edges, 20621 markings/sec, 1090 secs
lola: 20629313 markings, 149315705 edges, 18514 markings/sec, 1095 secs
lola: 20726391 markings, 150006509 edges, 19416 markings/sec, 1100 secs
lola: 20820490 markings, 150695946 edges, 18820 markings/sec, 1105 secs
lola: 20914766 markings, 151385021 edges, 18855 markings/sec, 1110 secs
lola: 21003992 markings, 152070916 edges, 17845 markings/sec, 1115 secs
lola: 21114093 markings, 152755736 edges, 22020 markings/sec, 1120 secs
lola: 21224296 markings, 153441064 edges, 22041 markings/sec, 1125 secs
lola: 21332639 markings, 154118927 edges, 21669 markings/sec, 1130 secs
lola: 21430592 markings, 154800018 edges, 19591 markings/sec, 1135 secs
lola: 21528821 markings, 155483102 edges, 19646 markings/sec, 1140 secs
lola: 21634872 markings, 156165115 edges, 21210 markings/sec, 1145 secs
lola: 21741319 markings, 156853462 edges, 21289 markings/sec, 1150 secs
lola: 21847645 markings, 157520052 edges, 21265 markings/sec, 1155 secs
lola: 21958342 markings, 158209315 edges, 22139 markings/sec, 1160 secs
lola: 22054799 markings, 158883926 edges, 19291 markings/sec, 1165 secs
lola: 22152140 markings, 159549964 edges, 19468 markings/sec, 1170 secs
lola: 22254330 markings, 160226911 edges, 20438 markings/sec, 1175 secs
lola: 22341761 markings, 160890161 edges, 17486 markings/sec, 1180 secs
lola: 22450934 markings, 161573146 edges, 21835 markings/sec, 1185 secs
lola: 22548672 markings, 162260357 edges, 19548 markings/sec, 1190 secs
lola: 22642113 markings, 162944949 edges, 18688 markings/sec, 1195 secs
lola: 22734002 markings, 163628629 edges, 18378 markings/sec, 1200 secs
lola: 22826034 markings, 164312624 edges, 18406 markings/sec, 1205 secs
lola: 22912111 markings, 164998787 edges, 17215 markings/sec, 1210 secs
lola: 22993780 markings, 165679046 edges, 16334 markings/sec, 1215 secs
lola: 23072345 markings, 166354828 edges, 15713 markings/sec, 1220 secs
lola: 23166396 markings, 167030206 edges, 18810 markings/sec, 1225 secs
lola: 23258755 markings, 167707187 edges, 18472 markings/sec, 1230 secs
lola: 23350121 markings, 168381684 edges, 18273 markings/sec, 1235 secs
lola: 23438570 markings, 169046253 edges, 17690 markings/sec, 1240 secs
lola: 23523410 markings, 169723179 edges, 16968 markings/sec, 1245 secs
lola: 23609110 markings, 170397010 edges, 17140 markings/sec, 1250 secs
lola: 23698037 markings, 171072047 edges, 17785 markings/sec, 1255 secs
lola: 23793333 markings, 171757059 edges, 19059 markings/sec, 1260 secs
lola: 23885785 markings, 172423173 edges, 18490 markings/sec, 1265 secs
lola: 23975987 markings, 173084964 edges, 18040 markings/sec, 1270 secs
lola: 24060123 markings, 173731066 edges, 16827 markings/sec, 1275 secs
lola: 24142396 markings, 174388799 edges, 16455 markings/sec, 1280 secs
lola: 24227639 markings, 175051535 edges, 17049 markings/sec, 1285 secs
lola: 24315612 markings, 175725624 edges, 17595 markings/sec, 1290 secs
lola: 24396277 markings, 176383711 edges, 16133 markings/sec, 1295 secs
lola: 24493875 markings, 177054057 edges, 19520 markings/sec, 1300 secs
lola: 24610354 markings, 177724871 edges, 23296 markings/sec, 1305 secs
lola: 24724873 markings, 178392735 edges, 22904 markings/sec, 1310 secs
lola: 24831358 markings, 179066150 edges, 21297 markings/sec, 1315 secs
lola: 24936379 markings, 179736825 edges, 21004 markings/sec, 1320 secs
lola: 25039634 markings, 180409643 edges, 20651 markings/sec, 1325 secs
lola: 25143839 markings, 181061901 edges, 20841 markings/sec, 1330 secs
lola: 25251559 markings, 181727758 edges, 21544 markings/sec, 1335 secs
lola: 25348017 markings, 182405286 edges, 19292 markings/sec, 1340 secs
lola: 25440856 markings, 183085427 edges, 18568 markings/sec, 1345 secs
lola: 25529845 markings, 183761460 edges, 17798 markings/sec, 1350 secs
lola: 25624737 markings, 184442988 edges, 18978 markings/sec, 1355 secs
lola: 25717256 markings, 185110215 edges, 18504 markings/sec, 1360 secs
lola: 25813117 markings, 185767119 edges, 19172 markings/sec, 1365 secs
lola: 25916095 markings, 186422986 edges, 20596 markings/sec, 1370 secs
lola: 26017021 markings, 187082232 edges, 20185 markings/sec, 1375 secs
lola: 26122149 markings, 187741760 edges, 21026 markings/sec, 1380 secs
lola: 26217652 markings, 188409894 edges, 19101 markings/sec, 1385 secs
lola: 26317052 markings, 189077750 edges, 19880 markings/sec, 1390 secs
lola: 26424306 markings, 189756471 edges, 21451 markings/sec, 1395 secs
lola: 26529619 markings, 190424247 edges, 21063 markings/sec, 1400 secs
lola: 26623046 markings, 191043433 edges, 18685 markings/sec, 1405 secs
lola: 26729404 markings, 191702701 edges, 21272 markings/sec, 1410 secs
lola: 26820579 markings, 192340301 edges, 18235 markings/sec, 1415 secs
lola: 26913250 markings, 192972789 edges, 18534 markings/sec, 1420 secs
lola: 27010561 markings, 193617920 edges, 19462 markings/sec, 1425 secs
lola: 27096249 markings, 194254449 edges, 17138 markings/sec, 1430 secs
lola: 27198226 markings, 194898166 edges, 20395 markings/sec, 1435 secs
lola: 27291288 markings, 195545788 edges, 18612 markings/sec, 1440 secs
lola: 27378034 markings, 196187427 edges, 17349 markings/sec, 1445 secs
lola: 27462160 markings, 196812899 edges, 16825 markings/sec, 1450 secs
lola: 27552670 markings, 197460121 edges, 18102 markings/sec, 1455 secs
lola: 27636451 markings, 198112371 edges, 16756 markings/sec, 1460 secs
lola: 27712239 markings, 198764068 edges, 15158 markings/sec, 1465 secs
lola: 27791369 markings, 199401991 edges, 15826 markings/sec, 1470 secs
lola: 27869633 markings, 200031840 edges, 15653 markings/sec, 1475 secs
lola: 27953577 markings, 200661413 edges, 16789 markings/sec, 1480 secs
lola: 28042960 markings, 201297690 edges, 17877 markings/sec, 1485 secs
lola: 28129444 markings, 201930804 edges, 17297 markings/sec, 1490 secs
lola: 28211056 markings, 202559227 edges, 16322 markings/sec, 1495 secs
lola: 28292534 markings, 203208392 edges, 16296 markings/sec, 1500 secs
lola: 28377020 markings, 203867038 edges, 16897 markings/sec, 1505 secs
lola: 28465198 markings, 204532624 edges, 17636 markings/sec, 1510 secs
lola: 28558311 markings, 205207400 edges, 18623 markings/sec, 1515 secs
lola: 28648517 markings, 205856499 edges, 18041 markings/sec, 1520 secs
lola: 28737545 markings, 206509472 edges, 17806 markings/sec, 1525 secs
lola: 28826079 markings, 207188352 edges, 17707 markings/sec, 1530 secs
lola: 28907110 markings, 207838466 edges, 16206 markings/sec, 1535 secs
lola: 28991762 markings, 208494447 edges, 16930 markings/sec, 1540 secs
lola: 29079016 markings, 209163641 edges, 17451 markings/sec, 1545 secs
lola: 29159290 markings, 209818422 edges, 16055 markings/sec, 1550 secs
lola: 29255645 markings, 210481586 edges, 19271 markings/sec, 1555 secs
lola: 29363018 markings, 211158689 edges, 21475 markings/sec, 1560 secs
lola: 29466543 markings, 211849513 edges, 20705 markings/sec, 1565 secs
lola: 29558117 markings, 212546356 edges, 18315 markings/sec, 1570 secs
lola: 29654913 markings, 213240514 edges, 19359 markings/sec, 1575 secs
lola: 29751405 markings, 213936854 edges, 19298 markings/sec, 1580 secs
lola: 29846205 markings, 214632554 edges, 18960 markings/sec, 1585 secs
lola: 29938711 markings, 215321644 edges, 18501 markings/sec, 1590 secs
lola: 30027701 markings, 215978357 edges, 17798 markings/sec, 1595 secs
lola: 30111049 markings, 216642184 edges, 16670 markings/sec, 1600 secs
lola: 30194346 markings, 217336079 edges, 16659 markings/sec, 1605 secs
lola: 30272394 markings, 218002513 edges, 15610 markings/sec, 1610 secs
lola: 30357975 markings, 218697713 edges, 17116 markings/sec, 1615 secs
lola: 30441078 markings, 219388811 edges, 16621 markings/sec, 1620 secs
lola: 30520992 markings, 220076366 edges, 15983 markings/sec, 1625 secs
lola: 30616402 markings, 220763743 edges, 19082 markings/sec, 1630 secs
lola: 30710363 markings, 221453142 edges, 18792 markings/sec, 1635 secs
lola: 30803838 markings, 222139225 edges, 18695 markings/sec, 1640 secs
lola: 30892650 markings, 222814921 edges, 17762 markings/sec, 1645 secs
lola: 30979026 markings, 223503209 edges, 17275 markings/sec, 1650 secs
lola: 31067332 markings, 224191001 edges, 17661 markings/sec, 1655 secs
lola: 31159529 markings, 224878570 edges, 18439 markings/sec, 1660 secs
lola: 31253389 markings, 225574357 edges, 18772 markings/sec, 1665 secs
lola: 31348414 markings, 226249515 edges, 19005 markings/sec, 1670 secs
lola: 31441839 markings, 226934708 edges, 18685 markings/sec, 1675 secs
lola: 31531888 markings, 227624659 edges, 18010 markings/sec, 1680 secs
lola: 31611572 markings, 228293865 edges, 15937 markings/sec, 1685 secs
lola: 31703780 markings, 228975312 edges, 18442 markings/sec, 1690 secs
lola: 31790264 markings, 229649122 edges, 17297 markings/sec, 1695 secs
lola: 31867918 markings, 230319481 edges, 15531 markings/sec, 1700 secs
lola: 31964450 markings, 231008746 edges, 19306 markings/sec, 1705 secs
lola: 32047828 markings, 231670977 edges, 16676 markings/sec, 1710 secs
lola: 32124302 markings, 232332637 edges, 15295 markings/sec, 1715 secs
lola: 32206825 markings, 232995862 edges, 16505 markings/sec, 1720 secs
lola: 32290021 markings, 233688384 edges, 16639 markings/sec, 1725 secs
lola: 32369146 markings, 234378157 edges, 15825 markings/sec, 1730 secs
lola: 32446118 markings, 235070716 edges, 15394 markings/sec, 1735 secs
lola: 32519495 markings, 235755814 edges, 14675 markings/sec, 1740 secs
lola: 32590678 markings, 236434407 edges, 14237 markings/sec, 1745 secs
lola: 32672028 markings, 237113096 edges, 16270 markings/sec, 1750 secs
lola: 32752737 markings, 237791604 edges, 16142 markings/sec, 1755 secs
lola: 32833963 markings, 238475132 edges, 16245 markings/sec, 1760 secs
lola: 32916335 markings, 239147672 edges, 16474 markings/sec, 1765 secs
lola: 32993028 markings, 239817835 edges, 15339 markings/sec, 1770 secs
lola: 33066937 markings, 240497327 edges, 14782 markings/sec, 1775 secs
lola: 33145503 markings, 241179162 edges, 15713 markings/sec, 1780 secs
lola: 33224572 markings, 241860720 edges, 15814 markings/sec, 1785 secs
lola: 33310648 markings, 242554608 edges, 17215 markings/sec, 1790 secs
lola: 33392131 markings, 243231541 edges, 16297 markings/sec, 1795 secs
lola: 33468813 markings, 243894715 edges, 15336 markings/sec, 1800 secs
lola: 33554788 markings, 244587690 edges, 17195 markings/sec, 1805 secs
lola: 33627751 markings, 245238043 edges, 14593 markings/sec, 1810 secs
lola: 33693307 markings, 245869015 edges, 13111 markings/sec, 1815 secs
lola: 33776113 markings, 246552521 edges, 16561 markings/sec, 1820 secs
lola: 33854380 markings, 247234871 edges, 15653 markings/sec, 1825 secs
lola: 33925411 markings, 247899061 edges, 14206 markings/sec, 1830 secs
lola: 34011752 markings, 248574612 edges, 17268 markings/sec, 1835 secs
lola: 34105792 markings, 249228791 edges, 18808 markings/sec, 1840 secs
lola: 34202719 markings, 249874012 edges, 19385 markings/sec, 1845 secs
lola: 34297128 markings, 250553941 edges, 18882 markings/sec, 1850 secs
lola: 34388272 markings, 251210715 edges, 18229 markings/sec, 1855 secs
lola: 34481104 markings, 251890259 edges, 18566 markings/sec, 1860 secs
lola: 34570653 markings, 252568539 edges, 17910 markings/sec, 1865 secs
lola: 34662216 markings, 253228532 edges, 18313 markings/sec, 1870 secs
lola: 34755472 markings, 253901147 edges, 18651 markings/sec, 1875 secs
lola: 34843424 markings, 254585045 edges, 17590 markings/sec, 1880 secs
lola: 34922771 markings, 255271303 edges, 15869 markings/sec, 1885 secs
lola: 35008249 markings, 255957540 edges, 17096 markings/sec, 1890 secs
lola: 35090552 markings, 256642207 edges, 16461 markings/sec, 1895 secs
lola: 35169276 markings, 257327111 edges, 15745 markings/sec, 1900 secs
lola: 35249855 markings, 257969619 edges, 16116 markings/sec, 1905 secs
lola: 35330518 markings, 258604253 edges, 16133 markings/sec, 1910 secs
lola: 35416969 markings, 259266215 edges, 17290 markings/sec, 1915 secs
lola: 35512118 markings, 259939116 edges, 19030 markings/sec, 1920 secs
lola: 35603991 markings, 260607733 edges, 18375 markings/sec, 1925 secs
lola: 35690584 markings, 261273020 edges, 17319 markings/sec, 1930 secs
lola: 35768873 markings, 261942720 edges, 15658 markings/sec, 1935 secs
lola: 35857991 markings, 262590825 edges, 17824 markings/sec, 1940 secs
lola: 35946612 markings, 263239601 edges, 17724 markings/sec, 1945 secs
lola: 36032021 markings, 263891137 edges, 17082 markings/sec, 1950 secs
lola: 36123698 markings, 264543799 edges, 18335 markings/sec, 1955 secs
lola: 36216799 markings, 265220843 edges, 18620 markings/sec, 1960 secs
lola: 36301495 markings, 265871650 edges, 16939 markings/sec, 1965 secs
lola: 36375557 markings, 266501069 edges, 14812 markings/sec, 1970 secs
lola: 36462653 markings, 267144167 edges, 17419 markings/sec, 1975 secs
lola: 36546404 markings, 267788877 edges, 16750 markings/sec, 1980 secs
lola: 36620957 markings, 268424218 edges, 14911 markings/sec, 1985 secs
lola: 36708650 markings, 269068472 edges, 17539 markings/sec, 1990 secs
lola: 36792332 markings, 269713993 edges, 16736 markings/sec, 1995 secs
lola: 36867907 markings, 270362115 edges, 15115 markings/sec, 2000 secs
lola: 36945656 markings, 270991101 edges, 15550 markings/sec, 2005 secs
lola: 37019111 markings, 271618320 edges, 14691 markings/sec, 2010 secs
lola: 37101054 markings, 272292221 edges, 16389 markings/sec, 2015 secs
lola: 37174947 markings, 272951079 edges, 14779 markings/sec, 2020 secs
lola: 37242529 markings, 273606681 edges, 13516 markings/sec, 2025 secs
lola: 37315625 markings, 274263394 edges, 14619 markings/sec, 2030 secs
lola: 37386126 markings, 274918665 edges, 14100 markings/sec, 2035 secs
lola: 37466130 markings, 275574923 edges, 16001 markings/sec, 2040 secs
lola: 37546178 markings, 276236431 edges, 16010 markings/sec, 2045 secs
lola: 37622814 markings, 276897186 edges, 15327 markings/sec, 2050 secs
lola: 37704298 markings, 277554053 edges, 16297 markings/sec, 2055 secs
lola: 37778925 markings, 278216977 edges, 14925 markings/sec, 2060 secs
lola: 37847920 markings, 278882312 edges, 13799 markings/sec, 2065 secs
lola: 37929967 markings, 279555022 edges, 16409 markings/sec, 2070 secs
lola: 38010711 markings, 280228369 edges, 16149 markings/sec, 2075 secs
lola: 38090234 markings, 280908695 edges, 15905 markings/sec, 2080 secs
lola: 38170624 markings, 281559788 edges, 16078 markings/sec, 2085 secs
lola: 38247979 markings, 282209902 edges, 15471 markings/sec, 2090 secs
lola: 38329389 markings, 282893694 edges, 16282 markings/sec, 2095 secs
lola: 38401074 markings, 283532102 edges, 14337 markings/sec, 2100 secs
lola: 38464603 markings, 284151690 edges, 12706 markings/sec, 2105 secs
lola: 38545033 markings, 284799259 edges, 16086 markings/sec, 2110 secs
lola: 38618458 markings, 285441955 edges, 14685 markings/sec, 2115 secs
lola: 38685882 markings, 286069592 edges, 13485 markings/sec, 2120 secs
lola: 38766059 markings, 286708222 edges, 16035 markings/sec, 2125 secs
lola: 38857242 markings, 287357331 edges, 18237 markings/sec, 2130 secs
lola: 38972280 markings, 288010789 edges, 23008 markings/sec, 2135 secs
lola: 39074590 markings, 288665156 edges, 20462 markings/sec, 2140 secs
lola: 39174248 markings, 289314988 edges, 19932 markings/sec, 2145 secs
lola: 39268597 markings, 289975951 edges, 18870 markings/sec, 2150 secs
lola: 39359230 markings, 290639910 edges, 18127 markings/sec, 2155 secs
lola: 39451464 markings, 291315086 edges, 18447 markings/sec, 2160 secs
lola: 39542063 markings, 292009863 edges, 18120 markings/sec, 2165 secs
lola: 39640275 markings, 292705275 edges, 19642 markings/sec, 2170 secs
lola: 39734041 markings, 293386333 edges, 18753 markings/sec, 2175 secs
lola: 39820084 markings, 294048880 edges, 17209 markings/sec, 2180 secs
lola: 39897295 markings, 294711985 edges, 15442 markings/sec, 2185 secs
lola: 39982245 markings, 295399173 edges, 16990 markings/sec, 2190 secs
lola: 40065257 markings, 296090820 edges, 16602 markings/sec, 2195 secs
lola: 40145759 markings, 296784361 edges, 16100 markings/sec, 2200 secs
lola: 40231179 markings, 297473878 edges, 17084 markings/sec, 2205 secs
lola: 40318961 markings, 298159673 edges, 17556 markings/sec, 2210 secs
lola: 40410033 markings, 298844726 edges, 18214 markings/sec, 2215 secs
lola: 40504457 markings, 299535384 edges, 18885 markings/sec, 2220 secs
lola: 40599310 markings, 300215203 edges, 18971 markings/sec, 2225 secs
lola: 40685940 markings, 300893409 edges, 17326 markings/sec, 2230 secs
lola: 40761609 markings, 301553235 edges, 15134 markings/sec, 2235 secs
lola: 40854751 markings, 302209415 edges, 18628 markings/sec, 2240 secs
lola: 40948477 markings, 302894724 edges, 18745 markings/sec, 2245 secs
lola: 41042183 markings, 303581553 edges, 18741 markings/sec, 2250 secs
lola: 41128951 markings, 304247714 edges, 17354 markings/sec, 2255 secs
lola: 41227432 markings, 304945286 edges, 19696 markings/sec, 2260 secs
lola: 41309698 markings, 305600647 edges, 16453 markings/sec, 2265 secs
lola: 41385362 markings, 306238318 edges, 15133 markings/sec, 2270 secs
lola: 41479333 markings, 306920154 edges, 18794 markings/sec, 2275 secs
lola: 41564198 markings, 307597849 edges, 16973 markings/sec, 2280 secs
lola: 41648588 markings, 308271170 edges, 16878 markings/sec, 2285 secs
lola: 41738892 markings, 308960871 edges, 18061 markings/sec, 2290 secs
lola: 41825899 markings, 309653834 edges, 17401 markings/sec, 2295 secs
lola: 41908814 markings, 310344977 edges, 16583 markings/sec, 2300 secs
lola: 41988164 markings, 311032191 edges, 15870 markings/sec, 2305 secs
lola: 42074215 markings, 311723093 edges, 17210 markings/sec, 2310 secs
lola: 42151750 markings, 312412121 edges, 15507 markings/sec, 2315 secs
lola: 42222842 markings, 313099306 edges, 14218 markings/sec, 2320 secs
lola: 42298083 markings, 313778150 edges, 15048 markings/sec, 2325 secs
lola: 42370390 markings, 314444753 edges, 14461 markings/sec, 2330 secs
lola: 42448635 markings, 315090191 edges, 15649 markings/sec, 2335 secs
lola: 42527452 markings, 315740166 edges, 15763 markings/sec, 2340 secs
lola: 42602338 markings, 316389069 edges, 14977 markings/sec, 2345 secs
lola: 42681911 markings, 317027249 edges, 15915 markings/sec, 2350 secs
lola: 42754537 markings, 317669187 edges, 14525 markings/sec, 2355 secs
lola: 42822620 markings, 318316361 edges, 13617 markings/sec, 2360 secs
lola: 42899973 markings, 318965751 edges, 15471 markings/sec, 2365 secs
lola: 42976142 markings, 319615523 edges, 15234 markings/sec, 2370 secs
lola: 43056967 markings, 320275331 edges, 16165 markings/sec, 2375 secs
lola: 43134581 markings, 320919588 edges, 15523 markings/sec, 2380 secs
lola: 43206480 markings, 321548011 edges, 14380 markings/sec, 2385 secs
lola: 43289650 markings, 322209444 edges, 16634 markings/sec, 2390 secs
lola: 43363057 markings, 322855973 edges, 14681 markings/sec, 2395 secs
lola: 43429459 markings, 323485702 edges, 13280 markings/sec, 2400 secs
lola: 43505649 markings, 324131025 edges, 15238 markings/sec, 2405 secs
lola: 43581924 markings, 324797411 edges, 15255 markings/sec, 2410 secs
lola: 43655396 markings, 325460578 edges, 14694 markings/sec, 2415 secs
lola: 43735725 markings, 326128418 edges, 16066 markings/sec, 2420 secs
lola: 43827969 markings, 326812114 edges, 18449 markings/sec, 2425 secs
lola: 43932573 markings, 327477980 edges, 20921 markings/sec, 2430 secs
lola: 44029019 markings, 328155153 edges, 19289 markings/sec, 2435 secs
lola: 44121698 markings, 328834341 edges, 18536 markings/sec, 2440 secs
lola: 44211490 markings, 329494930 edges, 17958 markings/sec, 2445 secs
lola: 44297395 markings, 330142652 edges, 17181 markings/sec, 2450 secs
lola: 44386550 markings, 330775125 edges, 17831 markings/sec, 2455 secs
lola: 44473033 markings, 331408015 edges, 17297 markings/sec, 2460 secs
lola: 44556482 markings, 332050925 edges, 16690 markings/sec, 2465 secs
lola: 44637786 markings, 332704164 edges, 16261 markings/sec, 2470 secs
lola: 44716532 markings, 333358675 edges, 15749 markings/sec, 2475 secs
lola: 44791102 markings, 334008450 edges, 14914 markings/sec, 2480 secs
lola: 44873154 markings, 334664332 edges, 16410 markings/sec, 2485 secs
lola: 44950912 markings, 335310725 edges, 15552 markings/sec, 2490 secs
lola: 45024932 markings, 335945208 edges, 14804 markings/sec, 2495 secs
lola: 45112272 markings, 336580001 edges, 17468 markings/sec, 2500 secs
lola: 45198764 markings, 337215312 edges, 17298 markings/sec, 2505 secs
lola: 45281703 markings, 337852547 edges, 16588 markings/sec, 2510 secs
lola: 45372576 markings, 338488684 edges, 18175 markings/sec, 2515 secs
lola: 45453257 markings, 339128940 edges, 16136 markings/sec, 2520 secs
lola: 45526547 markings, 339769316 edges, 14658 markings/sec, 2525 secs
lola: 45619132 markings, 340417617 edges, 18517 markings/sec, 2530 secs
lola: 45711201 markings, 341091488 edges, 18414 markings/sec, 2535 secs
lola: 45802831 markings, 341762857 edges, 18326 markings/sec, 2540 secs
lola: 45887703 markings, 342410099 edges, 16974 markings/sec, 2545 secs
lola: 45981154 markings, 343070569 edges, 18690 markings/sec, 2550 secs
lola: 46062248 markings, 343711444 edges, 16219 markings/sec, 2555 secs
lola: 46135200 markings, 344347681 edges, 14590 markings/sec, 2560 secs
lola: 46231022 markings, 345023914 edges, 19164 markings/sec, 2565 secs
lola: 46313478 markings, 345680299 edges, 16491 markings/sec, 2570 secs
lola: 46386622 markings, 346310801 edges, 14629 markings/sec, 2575 secs
lola: 46480514 markings, 346981061 edges, 18778 markings/sec, 2580 secs
lola: 46562427 markings, 347632790 edges, 16383 markings/sec, 2585 secs
lola: 46637149 markings, 348273449 edges, 14944 markings/sec, 2590 secs
lola: 46714067 markings, 348895749 edges, 15384 markings/sec, 2595 secs
lola: 46793211 markings, 349553686 edges, 15829 markings/sec, 2600 secs
lola: 46870901 markings, 350231286 edges, 15538 markings/sec, 2605 secs
lola: 46947299 markings, 350914463 edges, 15280 markings/sec, 2610 secs
lola: 47018785 markings, 351585563 edges, 14297 markings/sec, 2615 secs
lola: 47088913 markings, 352240187 edges, 14026 markings/sec, 2620 secs
lola: 47164924 markings, 352894306 edges, 15202 markings/sec, 2625 secs
lola: 47239963 markings, 353545108 edges, 15008 markings/sec, 2630 secs
lola: 47320260 markings, 354186375 edges, 16059 markings/sec, 2635 secs
lola: 47398389 markings, 354838341 edges, 15626 markings/sec, 2640 secs
lola: 47473978 markings, 355490533 edges, 15118 markings/sec, 2645 secs
lola: 47548590 markings, 356157305 edges, 14922 markings/sec, 2650 secs
lola: 47620157 markings, 356820817 edges, 14313 markings/sec, 2655 secs
lola: 47701528 markings, 357492083 edges, 16274 markings/sec, 2660 secs
lola: 47783398 markings, 358166895 edges, 16374 markings/sec, 2665 secs
lola: 47862054 markings, 358836826 edges, 15731 markings/sec, 2670 secs
lola: 47940641 markings, 359476680 edges, 15717 markings/sec, 2675 secs
lola: 48020323 markings, 360139548 edges, 15936 markings/sec, 2680 secs
lola: 48095228 markings, 360793072 edges, 14981 markings/sec, 2685 secs
lola: 48167019 markings, 361436256 edges, 14358 markings/sec, 2690 secs
lola: 48238888 markings, 362086908 edges, 14374 markings/sec, 2695 secs
lola: 48319070 markings, 362762712 edges, 16036 markings/sec, 2700 secs
lola: 48393138 markings, 363424396 edges, 14814 markings/sec, 2705 secs
lola: 48460577 markings, 364074035 edges, 13488 markings/sec, 2710 secs
lola: 48555847 markings, 364752211 edges, 19054 markings/sec, 2715 secs
lola: 48667643 markings, 365408648 edges, 22359 markings/sec, 2720 secs
lola: 48779237 markings, 366092081 edges, 22319 markings/sec, 2725 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no no no no no yes no no no no yes no unknown no no
lola:
preliminary result: yes no no no no no yes no no no no yes no unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no no no no no yes no no no no yes no unknown no no
lola: memory consumption: 8353368 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no no no no no yes no no no no yes no unknown no no
lola: memory consumption: 8353368 KB
lola: time consumption: 3570 seconds

BK_STOP 1527766141341

--------------------
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-01b"
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-01b.tgz
mv ASLink-PT-01b 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-01b, 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-152749145100014"
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 ;