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)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is CloudReconfiguration-PT-305, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961200041
=====================================================================

--------------------
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 CloudReconfiguration-PT-305-LTLCardinality-0
FORMULA_NAME CloudReconfiguration-PT-305-LTLCardinality-1
FORMULA_NAME CloudReconfiguration-PT-305-LTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-305-LTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-305-LTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-305-LTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-305-LTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-305-LTLCardinality-15
FORMULA_NAME CloudReconfiguration-PT-305-LTLCardinality-2
FORMULA_NAME CloudReconfiguration-PT-305-LTLCardinality-3
FORMULA_NAME CloudReconfiguration-PT-305-LTLCardinality-4
FORMULA_NAME CloudReconfiguration-PT-305-LTLCardinality-5
FORMULA_NAME CloudReconfiguration-PT-305-LTLCardinality-6
FORMULA_NAME CloudReconfiguration-PT-305-LTLCardinality-7
FORMULA_NAME CloudReconfiguration-PT-305-LTLCardinality-8
FORMULA_NAME CloudReconfiguration-PT-305-LTLCardinality-9

=== Now, execution of the tool begins

BK_START 1496529561492


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
CloudReconfiguration-PT-305: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-305: translating PT formula LTLCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
LTLCardinality @ CloudReconfiguration-PT-305 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2708 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-305-LTLCardinality.task
lola: A (F (X (G (F ((p175 <= p326)))))) : A ((G ((1 <= p1185)) U G (X ((p599 <= p1446))))) : A (G (G (G ((1 <= p1740))))) : A ((p1033 <= p1761)) : A (F (G (((1 <= p199) U (p123 <= p447))))) : A (G ((2 <= p335))) : A (X (G (G ((p1914 <= p1799))))) : A ((1 <= p2255)) : A (G (X ((3 <= p2158)))) : A (F (F (G ((p405 <= p2053))))) : A ((2 <= p128)) : A (F ((p1676 <= p541))) : A (((3 <= p1424) U X (F ((1 <= p2302))))) : A (X (G (F (F ((p2073 <= p1758)))))) : A (X (((p645 <= p1433) U F ((3 <= p1117))))) : A (G (X (X (G ((p362 <= p2045))))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (X (G (F ((p175 <= p326))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (X (G (F ((p175 <= p326))))))
lola: processed formula: A (F (X (G (F ((p175 <= p326))))))
lola: processed formula length: 34
lola: 0 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-305-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 181884 markings, 588817 edges, 36377 markings/sec, 0 secs
lola: 363459 markings, 1175912 edges, 36315 markings/sec, 5 secs
lola: 536052 markings, 1765308 edges, 34519 markings/sec, 10 secs
lola: 679072 markings, 2378666 edges, 28604 markings/sec, 15 secs
lola: 823988 markings, 2997509 edges, 28983 markings/sec, 20 secs
lola: 973757 markings, 3632051 edges, 29954 markings/sec, 25 secs
lola: 1154618 markings, 4139270 edges, 36172 markings/sec, 30 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: ========================================
lola: subprocess 1 will run for 233 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((G ((1 <= p1185)) U G (X ((p599 <= p1446)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((1 <= p1185)) U G (X ((p599 <= p1446)))))
lola: processed formula: A ((G ((1 <= p1185)) U G (X ((p599 <= p1446)))))
lola: processed formula length: 48
lola: 0 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-305-LTLCardinality.task
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 7 unused bits
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: ========================================
lola: subprocess 2 will run for 250 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (G (G ((1 <= p1740)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (G (G ((1 <= p1740)))))
lola: processed formula: A (G (G (G ((1 <= p1740)))))
lola: processed formula length: 28
lola: 0 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-305-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
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: ========================================
lola: subprocess 3 will run for 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((p1033 <= p1761))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p1033 <= p1761)
lola: processed formula length: 16
lola: 1 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-305-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: ========================================
lola: subprocess 4 will run for 291 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (G (((1 <= p199) U (p123 <= p447)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((1 <= p199) U (p123 <= p447)))))
lola: processed formula: A (F (G (((1 <= p199) U (p123 <= p447)))))
lola: processed formula length: 42
lola: 0 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-305-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 331004 markings, 412811 edges, 66201 markings/sec, 0 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: ========================================
lola: subprocess 5 will run for 317 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((2 <= p335)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 6 will run for 349 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (G (G ((p1914 <= p1799)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (G ((p1914 <= p1799)))))
lola: processed formula: A (X (G (G ((p1914 <= p1799)))))
lola: processed formula length: 32
lola: 0 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-305-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 196160 markings, 635672 edges, 39232 markings/sec, 0 secs
lola: 381511 markings, 1234902 edges, 37070 markings/sec, 5 secs
lola: 552486 markings, 1843362 edges, 34195 markings/sec, 10 secs
lola: 690675 markings, 2432509 edges, 27638 markings/sec, 15 secs
lola: 825605 markings, 3003573 edges, 26986 markings/sec, 20 secs
lola: 964319 markings, 3593325 edges, 27743 markings/sec, 25 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: ========================================
lola: subprocess 7 will run for 384 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((1 <= p2255))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p2255)
lola: processed formula length: 12
lola: 1 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-305-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: ========================================
lola: subprocess 8 will run for 432 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (X ((3 <= p2158))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (X ((3 <= p2158))))
lola: processed formula: A (G (X ((3 <= p2158))))
lola: processed formula length: 24
lola: 0 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-305-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
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: ========================================
lola: subprocess 9 will run for 494 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (F (G ((p405 <= p2053)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p405 <= p2053))))
lola: processed formula: A (F (G ((p405 <= p2053))))
lola: processed formula length: 27
lola: 1 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-305-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
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: ========================================
lola: subprocess 10 will run for 576 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((2 <= p128))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (2 <= p128)
lola: processed formula length: 11
lola: 1 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-305-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: ========================================
lola: subprocess 11 will run for 691 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((p1676 <= p541)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((p1676 <= p541)))
lola: processed formula: A (F ((p1676 <= p541)))
lola: processed formula length: 23
lola: 0 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-305-LTLCardinality.task
lola: the resulting Büchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 10 unused bits
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: ========================================
lola: subprocess 12 will run for 864 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (((3 <= p1424) U X (F ((1 <= p2302)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((3 <= p1424) U X (F ((1 <= p2302)))))
lola: processed formula: A (((3 <= p1424) U X (F ((1 <= p2302)))))
lola: processed formula length: 41
lola: 0 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-305-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
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: ========================================
lola: subprocess 13 will run for 1153 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (G (F (F ((p2073 <= p1758))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (F ((p2073 <= p1758)))))
lola: processed formula: A (X (G (F ((p2073 <= p1758)))))
lola: processed formula length: 32
lola: 1 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-305-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 185504 markings, 597955 edges, 37101 markings/sec, 0 secs
lola: 362433 markings, 1172573 edges, 35386 markings/sec, 5 secs
lola: 534111 markings, 1756613 edges, 34336 markings/sec, 10 secs
lola: 671666 markings, 2351797 edges, 27511 markings/sec, 15 secs
lola: 804715 markings, 2920786 edges, 26610 markings/sec, 20 secs
lola: 950677 markings, 3530755 edges, 29192 markings/sec, 25 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: subprocess 14 will run for 1713 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (((p645 <= p1433) U F ((3 <= p1117)))))
lola: ========================================
lola: SUBTASK
lola: ========================================
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((p645 <= p1433) U F ((3 <= p1117)))))
lola: processed formula: A (X (((p645 <= p1433) U F ((3 <= p1117)))))
lola: processed formula length: 44
lola: 0 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-305-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
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: ========================================
lola: subprocess 15 will run for 3426 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (X (X (G ((p362 <= p2045))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (X (X (G ((p362 <= p2045))))))
lola: processed formula: A (G (X (X (G ((p362 <= p2045))))))
lola: processed formula length: 35
lola: 0 rewrites
lola: formula mentions 0 of 2585 places; total mentions: 0
lola: closed formula file CloudReconfiguration-PT-305-LTLCardinality.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 8 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 185629 markings, 598376 edges, 37126 markings/sec, 0 secs
lola: 361374 markings, 1169807 edges, 35149 markings/sec, 5 secs
lola: 534586 markings, 1758478 edges, 34642 markings/sec, 10 secs
lola: 672789 markings, 2356637 edges, 27641 markings/sec, 15 secs
lola: 806731 markings, 2929596 edges, 26788 markings/sec, 20 secs
lola: 951277 markings, 3534276 edges, 28909 markings/sec, 25 secs
lola: 1126046 markings, 4044445 edges, 34954 markings/sec, 30 secs
lola: 1273705 markings, 4471260 edges, 29532 markings/sec, 35 secs
lola: 1433168 markings, 4897990 edges, 31893 markings/sec, 40 secs
lola: 1544823 markings, 5247072 edges, 22331 markings/sec, 45 secs
lola: 1668404 markings, 5596331 edges, 24716 markings/sec, 50 secs
lola: 1800024 markings, 5961358 edges, 26324 markings/sec, 55 secs
lola: 1932496 markings, 6323670 edges, 26494 markings/sec, 60 secs
lola: 2045287 markings, 6658815 edges, 22558 markings/sec, 65 secs
lola: 2154325 markings, 7003736 edges, 21808 markings/sec, 70 secs
lola: 2261133 markings, 7306782 edges, 21362 markings/sec, 75 secs
lola: 2377262 markings, 7632700 edges, 23226 markings/sec, 80 secs
lola: 2477162 markings, 7919693 edges, 19980 markings/sec, 85 secs
lola: 2592223 markings, 8232059 edges, 23012 markings/sec, 90 secs
lola: 2705722 markings, 8595832 edges, 22700 markings/sec, 95 secs
lola: 2827343 markings, 8948293 edges, 24324 markings/sec, 100 secs
lola: 2939861 markings, 9324940 edges, 22504 markings/sec, 105 secs
lola: 3042121 markings, 9662512 edges, 20452 markings/sec, 110 secs
lola: 3165281 markings, 10096442 edges, 24632 markings/sec, 115 secs
lola: 3284893 markings, 10494744 edges, 23922 markings/sec, 120 secs
lola: 3411429 markings, 10880324 edges, 25307 markings/sec, 125 secs
lola: 3519163 markings, 11190193 edges, 21547 markings/sec, 130 secs
lola: 3617775 markings, 11524763 edges, 19722 markings/sec, 135 secs
lola: 3724857 markings, 11894782 edges, 21416 markings/sec, 140 secs
lola: 3827117 markings, 12229936 edges, 20452 markings/sec, 145 secs
lola: 3924076 markings, 12543412 edges, 19392 markings/sec, 150 secs
lola: 4026131 markings, 12895611 edges, 20411 markings/sec, 155 secs
lola: 4138964 markings, 13268846 edges, 22567 markings/sec, 160 secs
lola: 4261062 markings, 13658238 edges, 24420 markings/sec, 165 secs
lola: 4371531 markings, 14015852 edges, 22094 markings/sec, 170 secs
lola: 4461134 markings, 14332516 edges, 17921 markings/sec, 175 secs
lola: 4551782 markings, 14647489 edges, 18130 markings/sec, 180 secs
lola: 4633986 markings, 14926812 edges, 16441 markings/sec, 185 secs
lola: 4728213 markings, 15212185 edges, 18845 markings/sec, 190 secs
lola: 4848699 markings, 15615105 edges, 24097 markings/sec, 195 secs
lola: 4966642 markings, 16035129 edges, 23589 markings/sec, 200 secs
lola: 5094194 markings, 16492838 edges, 25510 markings/sec, 205 secs
lola: 5215184 markings, 16913004 edges, 24198 markings/sec, 210 secs
lola: 5333101 markings, 17328607 edges, 23583 markings/sec, 215 secs
lola: 5447014 markings, 17721918 edges, 22783 markings/sec, 220 secs
lola: 5551572 markings, 18092349 edges, 20912 markings/sec, 225 secs
lola: 5663103 markings, 18479191 edges, 22306 markings/sec, 230 secs
lola: 5747948 markings, 18768212 edges, 16969 markings/sec, 235 secs
lola: 5848202 markings, 19086760 edges, 20051 markings/sec, 240 secs
lola: 5949467 markings, 19435093 edges, 20253 markings/sec, 245 secs
lola: 6043530 markings, 19756483 edges, 18813 markings/sec, 250 secs
lola: 6129001 markings, 20050344 edges, 17094 markings/sec, 255 secs
lola: 6218345 markings, 20362862 edges, 17869 markings/sec, 260 secs
lola: 6296089 markings, 20637315 edges, 15549 markings/sec, 265 secs
lola: 6382948 markings, 20930513 edges, 17372 markings/sec, 270 secs
lola: 6472022 markings, 21220719 edges, 17815 markings/sec, 275 secs
lola: 6556589 markings, 21506340 edges, 16913 markings/sec, 280 secs
lola: 6641231 markings, 21809869 edges, 16928 markings/sec, 285 secs
lola: 6716688 markings, 22076130 edges, 15091 markings/sec, 290 secs
lola: 6790847 markings, 22324155 edges, 14832 markings/sec, 295 secs
lola: 6866158 markings, 22592728 edges, 15062 markings/sec, 300 secs
lola: 6924628 markings, 22796794 edges, 11694 markings/sec, 305 secs
lola: 6987688 markings, 23023374 edges, 12612 markings/sec, 310 secs
lola: 7050270 markings, 23240717 edges, 12516 markings/sec, 315 secs
lola: 7125407 markings, 23495757 edges, 15027 markings/sec, 320 secs
lola: 7226056 markings, 23839785 edges, 20130 markings/sec, 325 secs
lola: 7291736 markings, 24062341 edges, 13136 markings/sec, 330 secs
lola: 7393409 markings, 24398484 edges, 20335 markings/sec, 335 secs
lola: 7503825 markings, 24771605 edges, 22083 markings/sec, 340 secs
lola: 7618800 markings, 25160725 edges, 22995 markings/sec, 345 secs
lola: 7725638 markings, 25516136 edges, 21368 markings/sec, 350 secs
lola: 7822577 markings, 25841733 edges, 19388 markings/sec, 355 secs
lola: 7907583 markings, 26139382 edges, 17001 markings/sec, 360 secs
lola: 7994366 markings, 26431313 edges, 17357 markings/sec, 365 secs
lola: 8063339 markings, 26674444 edges, 13795 markings/sec, 370 secs
lola: 8139257 markings, 26931617 edges, 15184 markings/sec, 375 secs
lola: 8200052 markings, 27149129 edges, 12159 markings/sec, 380 secs
lola: 8306933 markings, 27494584 edges, 21376 markings/sec, 385 secs
lola: 8406290 markings, 27824065 edges, 19871 markings/sec, 390 secs
lola: 8504643 markings, 28149036 edges, 19671 markings/sec, 395 secs
lola: 8597910 markings, 28461919 edges, 18653 markings/sec, 400 secs
lola: 8691499 markings, 28774116 edges, 18718 markings/sec, 405 secs
lola: 8790876 markings, 29104138 edges, 19875 markings/sec, 410 secs
lola: 8896595 markings, 29460280 edges, 21144 markings/sec, 415 secs
lola: 8998149 markings, 29801062 edges, 20311 markings/sec, 420 secs
lola: 9097256 markings, 30136849 edges, 19821 markings/sec, 425 secs
lola: 9186336 markings, 30465313 edges, 17816 markings/sec, 430 secs
lola: 9280968 markings, 30760075 edges, 18926 markings/sec, 435 secs
lola: 9376788 markings, 31059890 edges, 19164 markings/sec, 440 secs
lola: 9471051 markings, 31371587 edges, 18853 markings/sec, 445 secs
lola: 9574472 markings, 31724751 edges, 20684 markings/sec, 450 secs
lola: 9668642 markings, 32043776 edges, 18834 markings/sec, 455 secs
lola: 9760849 markings, 32353576 edges, 18441 markings/sec, 460 secs
lola: 9859807 markings, 32684704 edges, 19792 markings/sec, 465 secs
lola: 9954058 markings, 33010142 edges, 18850 markings/sec, 470 secs
lola: 10057183 markings, 33352738 edges, 20625 markings/sec, 475 secs
lola: 10154752 markings, 33673746 edges, 19514 markings/sec, 480 secs
lola: 10266290 markings, 34037651 edges, 22308 markings/sec, 485 secs
lola: 10382389 markings, 34434138 edges, 23220 markings/sec, 490 secs
lola: 10487395 markings, 34798516 edges, 21001 markings/sec, 495 secs
lola: 10588127 markings, 35149866 edges, 20146 markings/sec, 500 secs
lola: 10682283 markings, 35469459 edges, 18831 markings/sec, 505 secs
lola: 10782813 markings, 35801698 edges, 20106 markings/sec, 510 secs
lola: 10884475 markings, 36134046 edges, 20332 markings/sec, 515 secs
lola: 10976898 markings, 36447894 edges, 18485 markings/sec, 520 secs
lola: 11058627 markings, 36732587 edges, 16346 markings/sec, 525 secs
lola: 11138288 markings, 37002819 edges, 15932 markings/sec, 530 secs
lola: 11210349 markings, 37246491 edges, 14412 markings/sec, 535 secs
lola: 11272235 markings, 37459971 edges, 12377 markings/sec, 540 secs
lola: 11361483 markings, 37756108 edges, 17850 markings/sec, 545 secs
lola: 11474216 markings, 38133640 edges, 22547 markings/sec, 550 secs
lola: 11578479 markings, 38483798 edges, 20853 markings/sec, 555 secs
lola: 11687014 markings, 38866802 edges, 21707 markings/sec, 560 secs
lola: 11777510 markings, 39214480 edges, 18099 markings/sec, 565 secs
lola: 11877865 markings, 39559958 edges, 20071 markings/sec, 570 secs
lola: 11958210 markings, 39903677 edges, 16069 markings/sec, 575 secs
lola: 12043086 markings, 40223763 edges, 16975 markings/sec, 580 secs
lola: 12149999 markings, 40571761 edges, 21383 markings/sec, 585 secs
lola: 12242714 markings, 40868308 edges, 18543 markings/sec, 590 secs
lola: 12344044 markings, 41203569 edges, 20266 markings/sec, 595 secs
lola: 12465825 markings, 41602229 edges, 24356 markings/sec, 600 secs
lola: 12570449 markings, 41956139 edges, 20925 markings/sec, 605 secs
lola: 12674444 markings, 42303793 edges, 20799 markings/sec, 610 secs
lola: 12784474 markings, 42666655 edges, 22006 markings/sec, 615 secs
lola: 12889292 markings, 43021208 edges, 20964 markings/sec, 620 secs
lola: 12982710 markings, 43318199 edges, 18684 markings/sec, 625 secs
lola: 13082413 markings, 43648110 edges, 19941 markings/sec, 630 secs
lola: 13172111 markings, 43952685 edges, 17940 markings/sec, 635 secs
lola: 13287242 markings, 44321232 edges, 23026 markings/sec, 640 secs
lola: 13385797 markings, 44652109 edges, 19711 markings/sec, 645 secs
lola: 13487264 markings, 44980381 edges, 20293 markings/sec, 650 secs
lola: 13584191 markings, 45295466 edges, 19385 markings/sec, 655 secs
lola: 13675018 markings, 45589311 edges, 18165 markings/sec, 660 secs
lola: 13769204 markings, 45893967 edges, 18837 markings/sec, 665 secs
lola: 13856030 markings, 46186190 edges, 17365 markings/sec, 670 secs
lola: 13949796 markings, 46497400 edges, 18753 markings/sec, 675 secs
lola: 14046853 markings, 46806203 edges, 19411 markings/sec, 680 secs
lola: 14137481 markings, 47106079 edges, 18126 markings/sec, 685 secs
lola: 14223770 markings, 47391287 edges, 17258 markings/sec, 690 secs
lola: 14314059 markings, 47697543 edges, 18058 markings/sec, 695 secs
lola: 14398040 markings, 47981755 edges, 16796 markings/sec, 700 secs
lola: 14477169 markings, 48247784 edges, 15826 markings/sec, 705 secs
lola: 14548772 markings, 48496017 edges, 14321 markings/sec, 710 secs
lola: 14622282 markings, 48745699 edges, 14702 markings/sec, 715 secs
lola: 14677013 markings, 48936434 edges, 10946 markings/sec, 720 secs
lola: 14777497 markings, 49266489 edges, 20097 markings/sec, 725 secs
lola: 14886633 markings, 49632887 edges, 21827 markings/sec, 730 secs
lola: 14980820 markings, 49953508 edges, 18837 markings/sec, 735 secs
lola: 15067470 markings, 50240587 edges, 17330 markings/sec, 740 secs
lola: 15157110 markings, 50531210 edges, 17928 markings/sec, 745 secs
lola: 15264023 markings, 50883812 edges, 21383 markings/sec, 750 secs
lola: 15359195 markings, 51192364 edges, 19034 markings/sec, 755 secs
lola: 15446592 markings, 51488665 edges, 17479 markings/sec, 760 secs
lola: 15543776 markings, 51792089 edges, 19437 markings/sec, 765 secs
lola: 15618585 markings, 52035021 edges, 14962 markings/sec, 770 secs
lola: 15710399 markings, 52333421 edges, 18363 markings/sec, 775 secs
lola: 15799799 markings, 52638265 edges, 17880 markings/sec, 780 secs
lola: 15888904 markings, 52939409 edges, 17821 markings/sec, 785 secs
lola: 15979836 markings, 53240165 edges, 18186 markings/sec, 790 secs
lola: 16078419 markings, 53560520 edges, 19717 markings/sec, 795 secs
lola: 16182565 markings, 53905128 edges, 20829 markings/sec, 800 secs
lola: 16265540 markings, 54221532 edges, 16595 markings/sec, 805 secs
lola: 16362176 markings, 54561655 edges, 19327 markings/sec, 810 secs
lola: 16455282 markings, 54868515 edges, 18621 markings/sec, 815 secs
lola: 16545230 markings, 55172409 edges, 17990 markings/sec, 820 secs
lola: 16634692 markings, 55474503 edges, 17892 markings/sec, 825 secs
lola: 16733597 markings, 55807621 edges, 19781 markings/sec, 830 secs
lola: 16831599 markings, 56134286 edges, 19600 markings/sec, 835 secs
lola: 16930531 markings, 56462096 edges, 19786 markings/sec, 840 secs
lola: 17012324 markings, 56776745 edges, 16359 markings/sec, 845 secs
lola: 17109831 markings, 57101730 edges, 19501 markings/sec, 850 secs
lola: 17226885 markings, 57499335 edges, 23411 markings/sec, 855 secs
lola: 17347752 markings, 57909445 edges, 24173 markings/sec, 860 secs
lola: 17459046 markings, 58290606 edges, 22259 markings/sec, 865 secs
lola: 17567756 markings, 58661339 edges, 21742 markings/sec, 870 secs
lola: 17672041 markings, 59008825 edges, 20857 markings/sec, 875 secs
lola: 17771398 markings, 59335530 edges, 19871 markings/sec, 880 secs
lola: 17863205 markings, 59660856 edges, 18361 markings/sec, 885 secs
lola: 17961785 markings, 59998142 edges, 19716 markings/sec, 890 secs
lola: 18058784 markings, 60329104 edges, 19400 markings/sec, 895 secs
lola: 18151198 markings, 60641224 edges, 18483 markings/sec, 900 secs
lola: 18258662 markings, 60994380 edges, 21493 markings/sec, 905 secs
lola: 18358757 markings, 61336203 edges, 20019 markings/sec, 910 secs
lola: 18433445 markings, 61654099 edges, 14938 markings/sec, 915 secs
lola: 18522915 markings, 61959252 edges, 17894 markings/sec, 920 secs
lola: 18607691 markings, 62243526 edges, 16955 markings/sec, 925 secs
lola: 18682498 markings, 62539020 edges, 14961 markings/sec, 930 secs
lola: 18760271 markings, 62824228 edges, 15555 markings/sec, 935 secs
lola: 18840664 markings, 63090748 edges, 16079 markings/sec, 940 secs
lola: 18927955 markings, 63398007 edges, 17458 markings/sec, 945 secs
lola: 19004699 markings, 63698836 edges, 15349 markings/sec, 950 secs
lola: 19090999 markings, 63976961 edges, 17260 markings/sec, 955 secs
lola: 19172444 markings, 64244929 edges, 16289 markings/sec, 960 secs
lola: 19249353 markings, 64505032 edges, 15382 markings/sec, 965 secs
lola: 19327551 markings, 64767998 edges, 15640 markings/sec, 970 secs
lola: 19405338 markings, 65029097 edges, 15557 markings/sec, 975 secs
lola: 19495711 markings, 65320051 edges, 18075 markings/sec, 980 secs
lola: 19586426 markings, 65606640 edges, 18143 markings/sec, 985 secs
lola: 19671278 markings, 65892956 edges, 16970 markings/sec, 990 secs
lola: 19759666 markings, 66189915 edges, 17678 markings/sec, 995 secs
lola: 19856243 markings, 66477908 edges, 19315 markings/sec, 1000 secs
lola: 19930996 markings, 66771149 edges, 14951 markings/sec, 1005 secs
lola: 19999354 markings, 67053246 edges, 13672 markings/sec, 1010 secs
lola: 20080995 markings, 67328970 edges, 16328 markings/sec, 1015 secs
lola: 20163672 markings, 67607602 edges, 16535 markings/sec, 1020 secs
lola: 20249057 markings, 67891944 edges, 17077 markings/sec, 1025 secs
lola: 20333449 markings, 68177132 edges, 16878 markings/sec, 1030 secs
lola: 20424704 markings, 68490211 edges, 18251 markings/sec, 1035 secs
lola: 20535693 markings, 68863677 edges, 22198 markings/sec, 1040 secs
lola: 20659025 markings, 69288186 edges, 24666 markings/sec, 1045 secs
lola: 20784519 markings, 69717226 edges, 25099 markings/sec, 1050 secs
lola: 20902444 markings, 70117759 edges, 23585 markings/sec, 1055 secs
lola: 21015628 markings, 70496785 edges, 22637 markings/sec, 1060 secs
lola: 21119014 markings, 70863076 edges, 20677 markings/sec, 1065 secs
lola: 21231734 markings, 71249744 edges, 22544 markings/sec, 1070 secs
lola: 21343358 markings, 71632076 edges, 22325 markings/sec, 1075 secs
lola: 21460797 markings, 72004004 edges, 23488 markings/sec, 1080 secs
lola: 21561268 markings, 72374782 edges, 20094 markings/sec, 1085 secs
lola: 21658338 markings, 72763554 edges, 19414 markings/sec, 1090 secs
lola: 21751306 markings, 73133867 edges, 18594 markings/sec, 1095 secs
lola: 21851534 markings, 73467794 edges, 20046 markings/sec, 1100 secs
lola: 21945183 markings, 73801623 edges, 18730 markings/sec, 1105 secs
lola: 22043280 markings, 74123424 edges, 19619 markings/sec, 1110 secs
lola: 22131760 markings, 74441314 edges, 17696 markings/sec, 1115 secs
lola: 22218992 markings, 74742926 edges, 17446 markings/sec, 1120 secs
lola: 22307239 markings, 75009193 edges, 17649 markings/sec, 1125 secs
lola: 22384811 markings, 75271663 edges, 15514 markings/sec, 1130 secs
lola: 22445127 markings, 75532830 edges, 12063 markings/sec, 1135 secs
lola: 22508263 markings, 75798205 edges, 12627 markings/sec, 1140 secs
lola: 22574880 markings, 76059466 edges, 13323 markings/sec, 1145 secs
lola: 22649173 markings, 76326143 edges, 14859 markings/sec, 1150 secs
lola: 22735196 markings, 76615995 edges, 17205 markings/sec, 1155 secs
lola: 22821117 markings, 76905613 edges, 17184 markings/sec, 1160 secs
lola: 22907613 markings, 77195072 edges, 17299 markings/sec, 1165 secs
lola: 22991638 markings, 77478931 edges, 16805 markings/sec, 1170 secs
lola: 23074887 markings, 77757680 edges, 16650 markings/sec, 1175 secs
lola: 23168776 markings, 78071999 edges, 18778 markings/sec, 1180 secs
lola: 23230815 markings, 78355704 edges, 12408 markings/sec, 1185 secs
lola: 23302721 markings, 78643834 edges, 14381 markings/sec, 1190 secs
lola: 23374237 markings, 78931959 edges, 14303 markings/sec, 1195 secs
lola: 23427342 markings, 79231774 edges, 10621 markings/sec, 1200 secs
lola: 23514921 markings, 79540126 edges, 17516 markings/sec, 1205 secs
lola: 23598491 markings, 79852979 edges, 16714 markings/sec, 1210 secs
lola: 23686562 markings, 80159138 edges, 17614 markings/sec, 1215 secs
lola: 23773938 markings, 80456928 edges, 17475 markings/sec, 1220 secs
lola: 23879060 markings, 80782526 edges, 21024 markings/sec, 1225 secs
lola: 23973724 markings, 81106707 edges, 18933 markings/sec, 1230 secs
lola: 24067661 markings, 81424441 edges, 18787 markings/sec, 1235 secs
lola: 24168002 markings, 81783996 edges, 20068 markings/sec, 1240 secs
lola: 24261363 markings, 82126266 edges, 18672 markings/sec, 1245 secs
lola: 24356890 markings, 82439539 edges, 19105 markings/sec, 1250 secs
lola: 24452993 markings, 82754073 edges, 19221 markings/sec, 1255 secs
lola: 24538345 markings, 83053981 edges, 17070 markings/sec, 1260 secs
lola: 24635256 markings, 83405451 edges, 19382 markings/sec, 1265 secs
lola: 24728627 markings, 83735409 edges, 18674 markings/sec, 1270 secs
lola: 24814320 markings, 84025760 edges, 17139 markings/sec, 1275 secs
lola: 24900781 markings, 84345944 edges, 17292 markings/sec, 1280 secs
lola: 24987147 markings, 84644838 edges, 17273 markings/sec, 1285 secs
lola: 25066425 markings, 84931297 edges, 15856 markings/sec, 1290 secs
lola: 25139453 markings, 85187882 edges, 14606 markings/sec, 1295 secs
lola: 25213850 markings, 85452493 edges, 14879 markings/sec, 1300 secs
lola: 25283951 markings, 85684759 edges, 14020 markings/sec, 1305 secs
lola: 25364229 markings, 85968486 edges, 16056 markings/sec, 1310 secs
lola: 25427958 markings, 86228415 edges, 12746 markings/sec, 1315 secs
lola: 25533605 markings, 86594884 edges, 21129 markings/sec, 1320 secs
lola: 25627364 markings, 86932194 edges, 18752 markings/sec, 1325 secs
lola: 25737190 markings, 87297912 edges, 21965 markings/sec, 1330 secs
lola: 25851740 markings, 87690159 edges, 22910 markings/sec, 1335 secs
lola: 25917716 markings, 88011210 edges, 13195 markings/sec, 1340 secs
lola: 25979410 markings, 88276924 edges, 12339 markings/sec, 1345 secs
lola: 26061966 markings, 88571945 edges, 16511 markings/sec, 1350 secs
lola: 26155207 markings, 88878080 edges, 18648 markings/sec, 1355 secs
lola: 26231322 markings, 89154378 edges, 15223 markings/sec, 1360 secs
lola: 26321419 markings, 89461419 edges, 18019 markings/sec, 1365 secs
lola: 26418319 markings, 89792237 edges, 19380 markings/sec, 1370 secs
lola: 26515622 markings, 90124204 edges, 19461 markings/sec, 1375 secs
lola: 26601923 markings, 90412511 edges, 17260 markings/sec, 1380 secs
lola: 26687193 markings, 90727713 edges, 17054 markings/sec, 1385 secs
lola: 26767992 markings, 91056360 edges, 16160 markings/sec, 1390 secs
lola: 26819407 markings, 91324808 edges, 10283 markings/sec, 1395 secs
lola: 26923980 markings, 91677173 edges, 20915 markings/sec, 1400 secs
lola: 27054680 markings, 92125051 edges, 26140 markings/sec, 1405 secs
lola: 27182400 markings, 92562449 edges, 25544 markings/sec, 1410 secs
lola: 27308358 markings, 92993856 edges, 25192 markings/sec, 1415 secs
lola: 27429436 markings, 93411798 edges, 24216 markings/sec, 1420 secs
lola: 27540939 markings, 93818878 edges, 22301 markings/sec, 1425 secs
lola: 27627657 markings, 94130138 edges, 17344 markings/sec, 1430 secs
lola: 27758727 markings, 94574119 edges, 26214 markings/sec, 1435 secs
lola: 27898069 markings, 95052447 edges, 27868 markings/sec, 1440 secs
lola: 28024194 markings, 95480537 edges, 25225 markings/sec, 1445 secs
lola: 28129082 markings, 95845147 edges, 20978 markings/sec, 1450 secs
lola: 28220495 markings, 96145392 edges, 18283 markings/sec, 1455 secs
lola: 28312985 markings, 96447926 edges, 18498 markings/sec, 1460 secs
lola: 28420174 markings, 96832877 edges, 21438 markings/sec, 1465 secs
lola: 28506625 markings, 97147073 edges, 17290 markings/sec, 1470 secs
lola: 28604374 markings, 97505656 edges, 19550 markings/sec, 1475 secs
lola: 28710129 markings, 97865245 edges, 21151 markings/sec, 1480 secs
lola: 28796479 markings, 98173509 edges, 17270 markings/sec, 1485 secs
lola: 28891119 markings, 98496318 edges, 18928 markings/sec, 1490 secs
lola: 28979599 markings, 98802758 edges, 17696 markings/sec, 1495 secs
lola: 29081621 markings, 99186282 edges, 20404 markings/sec, 1500 secs
lola: 29190960 markings, 99588556 edges, 21868 markings/sec, 1505 secs
lola: 29288105 markings, 99936495 edges, 19429 markings/sec, 1510 secs
lola: 29384546 markings, 100252409 edges, 19288 markings/sec, 1515 secs
lola: 29479450 markings, 100593107 edges, 18981 markings/sec, 1520 secs
lola: 29572843 markings, 100926450 edges, 18679 markings/sec, 1525 secs
lola: 29665195 markings, 101264920 edges, 18470 markings/sec, 1530 secs
lola: 29770756 markings, 101632781 edges, 21112 markings/sec, 1535 secs
lola: 29859767 markings, 101953640 edges, 17802 markings/sec, 1540 secs
lola: 29950973 markings, 102275172 edges, 18241 markings/sec, 1545 secs
lola: 30037386 markings, 102563790 edges, 17283 markings/sec, 1550 secs
lola: 30136504 markings, 102926267 edges, 19824 markings/sec, 1555 secs
lola: 30222519 markings, 103240257 edges, 17203 markings/sec, 1560 secs
lola: 30326083 markings, 103608117 edges, 20713 markings/sec, 1565 secs
lola: 30410865 markings, 103924338 edges, 16956 markings/sec, 1570 secs
lola: 30510813 markings, 104285789 edges, 19990 markings/sec, 1575 secs
lola: 30585796 markings, 104546652 edges, 14997 markings/sec, 1580 secs
lola: 30671321 markings, 104850988 edges, 17105 markings/sec, 1585 secs
lola: 30757968 markings, 105185723 edges, 17329 markings/sec, 1590 secs
lola: 30840746 markings, 105469965 edges, 16556 markings/sec, 1595 secs
lola: 30914827 markings, 105724089 edges, 14816 markings/sec, 1600 secs
lola: 31004978 markings, 106020824 edges, 18030 markings/sec, 1605 secs
lola: 31103266 markings, 106378845 edges, 19658 markings/sec, 1610 secs
lola: 31186333 markings, 106689915 edges, 16613 markings/sec, 1615 secs
lola: 31278927 markings, 107024842 edges, 18519 markings/sec, 1620 secs
lola: 31384908 markings, 107396973 edges, 21196 markings/sec, 1625 secs
lola: 31481423 markings, 107719284 edges, 19303 markings/sec, 1630 secs
lola: 31569758 markings, 108046425 edges, 17667 markings/sec, 1635 secs
lola: 31656417 markings, 108353959 edges, 17332 markings/sec, 1640 secs
lola: 31760093 markings, 108732609 edges, 20735 markings/sec, 1645 secs
lola: 31860582 markings, 109106208 edges, 20098 markings/sec, 1650 secs
lola: 31953375 markings, 109418930 edges, 18559 markings/sec, 1655 secs
lola: 32039665 markings, 109725744 edges, 17258 markings/sec, 1660 secs
lola: 32127368 markings, 110025155 edges, 17541 markings/sec, 1665 secs
lola: 32221328 markings, 110382916 edges, 18792 markings/sec, 1670 secs
lola: 32320117 markings, 110728711 edges, 19758 markings/sec, 1675 secs
lola: 32419587 markings, 111081298 edges, 19894 markings/sec, 1680 secs
lola: 32499848 markings, 111350608 edges, 16052 markings/sec, 1685 secs
lola: 32591323 markings, 111680981 edges, 18295 markings/sec, 1690 secs
lola: 32672867 markings, 111971263 edges, 16309 markings/sec, 1695 secs
lola: 32758760 markings, 112288557 edges, 17179 markings/sec, 1700 secs
lola: 32848663 markings, 112613797 edges, 17981 markings/sec, 1705 secs
lola: 32936588 markings, 112933194 edges, 17585 markings/sec, 1710 secs
lola: 33004322 markings, 113197154 edges, 13547 markings/sec, 1715 secs
lola: 33093512 markings, 113501722 edges, 17838 markings/sec, 1720 secs
lola: 33176261 markings, 113778000 edges, 16550 markings/sec, 1725 secs
lola: 33270778 markings, 114119490 edges, 18903 markings/sec, 1730 secs
lola: 33356218 markings, 114420337 edges, 17088 markings/sec, 1735 secs
lola: 33430714 markings, 114688815 edges, 14899 markings/sec, 1740 secs
lola: 33507654 markings, 114966909 edges, 15388 markings/sec, 1745 secs
lola: 33578555 markings, 115209985 edges, 14180 markings/sec, 1750 secs
lola: 33644702 markings, 115447796 edges, 13229 markings/sec, 1755 secs
lola: 33730011 markings, 115736813 edges, 17062 markings/sec, 1760 secs
lola: 33809635 markings, 116022941 edges, 15925 markings/sec, 1765 secs
lola: 33893505 markings, 116325478 edges, 16774 markings/sec, 1770 secs
lola: 33958950 markings, 116567749 edges, 13089 markings/sec, 1775 secs
lola: 34013825 markings, 116760153 edges, 10975 markings/sec, 1780 secs
lola: 34071513 markings, 116983893 edges, 11538 markings/sec, 1785 secs
lola: 34123229 markings, 117164382 edges, 10343 markings/sec, 1790 secs
lola: 34194181 markings, 117411002 edges, 14190 markings/sec, 1795 secs
lola: 34242764 markings, 117580102 edges, 9717 markings/sec, 1800 secs
lola: 34300519 markings, 117792561 edges, 11551 markings/sec, 1805 secs
lola: 34348030 markings, 117956116 edges, 9502 markings/sec, 1810 secs
lola: 34392724 markings, 118116736 edges, 8939 markings/sec, 1815 secs
lola: 34435728 markings, 118269620 edges, 8601 markings/sec, 1820 secs
lola: 34487485 markings, 118460725 edges, 10351 markings/sec, 1825 secs
lola: 34524132 markings, 118601286 edges, 7329 markings/sec, 1830 secs
lola: 34565707 markings, 118747751 edges, 8315 markings/sec, 1835 secs
lola: 34604539 markings, 118879756 edges, 7766 markings/sec, 1840 secs
lola: 34664913 markings, 119095604 edges, 12075 markings/sec, 1845 secs
lola: 34779932 markings, 119480793 edges, 23004 markings/sec, 1850 secs
lola: 34891237 markings, 119870374 edges, 22261 markings/sec, 1855 secs
lola: 34995319 markings, 120238958 edges, 20816 markings/sec, 1860 secs
lola: 35088854 markings, 120583594 edges, 18707 markings/sec, 1865 secs
lola: 35176457 markings, 120911952 edges, 17521 markings/sec, 1870 secs
lola: 35222552 markings, 121112607 edges, 9219 markings/sec, 1875 secs
lola: 35295435 markings, 121364072 edges, 14577 markings/sec, 1880 secs
lola: 35390083 markings, 121690719 edges, 18930 markings/sec, 1885 secs
lola: 35481703 markings, 122012766 edges, 18324 markings/sec, 1890 secs
lola: 35574228 markings, 122355810 edges, 18505 markings/sec, 1895 secs
lola: 35645339 markings, 122613419 edges, 14222 markings/sec, 1900 secs
lola: 35717869 markings, 122877018 edges, 14506 markings/sec, 1905 secs
lola: 35815105 markings, 123196106 edges, 19447 markings/sec, 1910 secs
lola: 35917048 markings, 123577035 edges, 20389 markings/sec, 1915 secs
lola: 36005483 markings, 123893026 edges, 17687 markings/sec, 1920 secs
lola: 36083899 markings, 124166768 edges, 15683 markings/sec, 1925 secs
lola: 36160005 markings, 124439243 edges, 15221 markings/sec, 1930 secs
lola: 36222731 markings, 124655261 edges, 12545 markings/sec, 1935 secs
lola: 36285185 markings, 124877640 edges, 12491 markings/sec, 1940 secs
lola: 36346329 markings, 125098069 edges, 12229 markings/sec, 1945 secs
lola: 36395272 markings, 125268936 edges, 9789 markings/sec, 1950 secs
lola: 36447574 markings, 125458050 edges, 10460 markings/sec, 1955 secs
lola: 36490454 markings, 125608842 edges, 8576 markings/sec, 1960 secs
lola: 36547728 markings, 125820240 edges, 11455 markings/sec, 1965 secs
lola: 36586830 markings, 125969042 edges, 7820 markings/sec, 1970 secs
lola: 36629394 markings, 126118727 edges, 8513 markings/sec, 1975 secs
lola: 36668653 markings, 126252897 edges, 7852 markings/sec, 1980 secs
lola: 36725194 markings, 126455890 edges, 11308 markings/sec, 1985 secs
lola: 36844691 markings, 126866823 edges, 23899 markings/sec, 1990 secs
lola: 36960503 markings, 127270325 edges, 23162 markings/sec, 1995 secs
lola: 37074258 markings, 127662485 edges, 22751 markings/sec, 2000 secs
lola: 37150414 markings, 128004803 edges, 15231 markings/sec, 2005 secs
lola: 37247222 markings, 128346111 edges, 19362 markings/sec, 2010 secs
lola: 37340106 markings, 128700474 edges, 18577 markings/sec, 2015 secs
lola: 37450207 markings, 129076479 edges, 22020 markings/sec, 2020 secs
lola: 37526642 markings, 129357293 edges, 15287 markings/sec, 2025 secs
lola: 37598432 markings, 129608528 edges, 14358 markings/sec, 2030 secs
lola: 37687089 markings, 129907176 edges, 17731 markings/sec, 2035 secs
lola: 37794780 markings, 130287055 edges, 21538 markings/sec, 2040 secs
lola: 37901903 markings, 130662265 edges, 21425 markings/sec, 2045 secs
lola: 38010636 markings, 131047265 edges, 21747 markings/sec, 2050 secs
lola: 38107363 markings, 131388049 edges, 19345 markings/sec, 2055 secs
lola: 38216627 markings, 131794093 edges, 21853 markings/sec, 2060 secs
lola: 38318006 markings, 132158478 edges, 20276 markings/sec, 2065 secs
lola: 38419195 markings, 132515826 edges, 20238 markings/sec, 2070 secs
lola: 38516766 markings, 132832205 edges, 19514 markings/sec, 2075 secs
lola: 38623913 markings, 133230800 edges, 21429 markings/sec, 2080 secs
lola: 38711336 markings, 133545906 edges, 17485 markings/sec, 2085 secs
lola: 38813392 markings, 133910478 edges, 20411 markings/sec, 2090 secs
lola: 38914736 markings, 134271632 edges, 20269 markings/sec, 2095 secs
lola: 39028347 markings, 134675429 edges, 22722 markings/sec, 2100 secs
lola: 39135300 markings, 135058181 edges, 21391 markings/sec, 2105 secs
lola: 39233514 markings, 135422302 edges, 19643 markings/sec, 2110 secs
lola: 39314266 markings, 135708803 edges, 16150 markings/sec, 2115 secs
lola: 39391376 markings, 136013755 edges, 15422 markings/sec, 2120 secs
lola: 39485759 markings, 136335381 edges, 18877 markings/sec, 2125 secs
lola: 39606238 markings, 136745072 edges, 24096 markings/sec, 2130 secs
lola: 39710810 markings, 137126450 edges, 20914 markings/sec, 2135 secs
lola: 39803785 markings, 137457321 edges, 18595 markings/sec, 2140 secs
lola: 39883093 markings, 137739669 edges, 15862 markings/sec, 2145 secs
lola: 39956916 markings, 137999201 edges, 14765 markings/sec, 2150 secs
lola: 40043267 markings, 138292547 edges, 17270 markings/sec, 2155 secs
lola: 40125466 markings, 138587990 edges, 16440 markings/sec, 2160 secs
lola: 40210391 markings, 138903130 edges, 16985 markings/sec, 2165 secs
lola: 40273856 markings, 139135099 edges, 12693 markings/sec, 2170 secs
lola: 40341980 markings, 139382683 edges, 13625 markings/sec, 2175 secs
lola: 40394944 markings, 139579363 edges, 10593 markings/sec, 2180 secs
lola: 40468267 markings, 139833624 edges, 14665 markings/sec, 2185 secs
lola: 40517882 markings, 140008300 edges, 9923 markings/sec, 2190 secs
lola: 40574279 markings, 140214590 edges, 11279 markings/sec, 2195 secs
lola: 40624174 markings, 140389924 edges, 9979 markings/sec, 2200 secs
lola: 40667573 markings, 140545500 edges, 8680 markings/sec, 2205 secs
lola: 40718515 markings, 140722023 edges, 10188 markings/sec, 2210 secs
lola: 40763903 markings, 140891335 edges, 9078 markings/sec, 2215 secs
lola: 40807413 markings, 141049293 edges, 8702 markings/sec, 2220 secs
lola: 40846655 markings, 141193708 edges, 7848 markings/sec, 2225 secs
lola: 40895140 markings, 141356025 edges, 9697 markings/sec, 2230 secs
lola: 40995900 markings, 141711411 edges, 20152 markings/sec, 2235 secs
lola: 41108902 markings, 142099371 edges, 22600 markings/sec, 2240 secs
lola: 41221546 markings, 142484847 edges, 22529 markings/sec, 2245 secs
lola: 41320016 markings, 142861037 edges, 19694 markings/sec, 2250 secs
lola: 41398141 markings, 143174212 edges, 15625 markings/sec, 2255 secs
lola: 41495109 markings, 143533437 edges, 19394 markings/sec, 2260 secs
lola: 41573532 markings, 143803245 edges, 15685 markings/sec, 2265 secs
lola: 41659465 markings, 144103382 edges, 17187 markings/sec, 2270 secs
lola: 41735097 markings, 144367677 edges, 15126 markings/sec, 2275 secs
lola: 41804639 markings, 144611865 edges, 13908 markings/sec, 2280 secs
lola: 41885003 markings, 144894663 edges, 16073 markings/sec, 2285 secs
lola: 41974460 markings, 145203819 edges, 17891 markings/sec, 2290 secs
lola: 42056479 markings, 145509820 edges, 16404 markings/sec, 2295 secs
lola: 42117118 markings, 145732050 edges, 12128 markings/sec, 2300 secs
lola: 42182560 markings, 145970828 edges, 13088 markings/sec, 2305 secs
lola: 42234482 markings, 146153398 edges, 10384 markings/sec, 2310 secs
lola: 42307808 markings, 146407834 edges, 14665 markings/sec, 2315 secs
lola: 42362875 markings, 146601733 edges, 11013 markings/sec, 2320 secs
lola: 42421012 markings, 146813201 edges, 11627 markings/sec, 2325 secs
lola: 42474661 markings, 147005958 edges, 10730 markings/sec, 2330 secs
lola: 42517116 markings, 147155800 edges, 8491 markings/sec, 2335 secs
lola: 42573631 markings, 147359792 edges, 11303 markings/sec, 2340 secs
lola: 42615792 markings, 147522296 edges, 8432 markings/sec, 2345 secs
lola: 42660460 markings, 147678136 edges, 8934 markings/sec, 2350 secs
lola: 42701190 markings, 147818705 edges, 8146 markings/sec, 2355 secs
lola: 42768147 markings, 148056861 edges, 13391 markings/sec, 2360 secs
lola: 42902258 markings, 148514285 edges, 26822 markings/sec, 2365 secs
lola: 43026573 markings, 148946780 edges, 24863 markings/sec, 2370 secs
lola: 43147468 markings, 149373539 edges, 24179 markings/sec, 2375 secs
lola: 43210564 markings, 149662924 edges, 12619 markings/sec, 2380 secs
lola: 43287516 markings, 149926827 edges, 15390 markings/sec, 2385 secs
lola: 43396299 markings, 150305247 edges, 21757 markings/sec, 2390 secs
lola: 43509305 markings, 150718332 edges, 22601 markings/sec, 2395 secs
lola: 43617191 markings, 151097865 edges, 21577 markings/sec, 2400 secs
lola: 43719171 markings, 151456589 edges, 20396 markings/sec, 2405 secs
lola: 43826867 markings, 151844273 edges, 21539 markings/sec, 2410 secs
lola: 43931692 markings, 152222421 edges, 20965 markings/sec, 2415 secs
lola: 44028140 markings, 152576809 edges, 19290 markings/sec, 2420 secs
lola: 44127582 markings, 152936605 edges, 19888 markings/sec, 2425 secs
lola: 44203890 markings, 153219140 edges, 15262 markings/sec, 2430 secs
lola: 44294575 markings, 153530788 edges, 18137 markings/sec, 2435 secs
lola: 44387165 markings, 153881045 edges, 18518 markings/sec, 2440 secs
lola: 44498475 markings, 154276695 edges, 22262 markings/sec, 2445 secs
lola: 44593818 markings, 154609572 edges, 19069 markings/sec, 2450 secs
lola: 44661709 markings, 154858495 edges, 13578 markings/sec, 2455 secs
lola: 44719719 markings, 155071335 edges, 11602 markings/sec, 2460 secs
lola: 44786921 markings, 155309948 edges, 13440 markings/sec, 2465 secs
lola: 44834782 markings, 155484598 edges, 9572 markings/sec, 2470 secs
lola: 44879651 markings, 155648558 edges, 8974 markings/sec, 2475 secs
lola: 44914879 markings, 155778551 edges, 7046 markings/sec, 2480 secs
lola: 44965919 markings, 155956382 edges, 10208 markings/sec, 2485 secs
lola: 45081005 markings, 156359642 edges, 23017 markings/sec, 2490 secs
lola: 45175522 markings, 156709803 edges, 18903 markings/sec, 2495 secs
lola: 45262747 markings, 157035336 edges, 17445 markings/sec, 2500 secs
lola: 45353275 markings, 157371870 edges, 18106 markings/sec, 2505 secs
lola: 45457495 markings, 157764062 edges, 20844 markings/sec, 2510 secs
lola: 45533307 markings, 158061450 edges, 15162 markings/sec, 2515 secs
lola: 45630810 markings, 158390404 edges, 19501 markings/sec, 2520 secs
lola: 45741895 markings, 158769666 edges, 22217 markings/sec, 2525 secs
lola: 45865628 markings, 159205174 edges, 24747 markings/sec, 2530 secs
lola: 45984090 markings, 159630516 edges, 23692 markings/sec, 2535 secs
lola: 46098451 markings, 160029627 edges, 22872 markings/sec, 2540 secs
lola: 46192888 markings, 160377019 edges, 18887 markings/sec, 2545 secs
lola: 46280920 markings, 160705136 edges, 17606 markings/sec, 2550 secs
lola: 46367854 markings, 161019895 edges, 17387 markings/sec, 2555 secs
lola: 46433367 markings, 161263051 edges, 13103 markings/sec, 2560 secs
lola: 46500507 markings, 161498926 edges, 13428 markings/sec, 2565 secs
lola: 46556956 markings, 161702520 edges, 11290 markings/sec, 2570 secs
lola: 46607559 markings, 161884062 edges, 10121 markings/sec, 2575 secs
lola: 46647227 markings, 162032995 edges, 7934 markings/sec, 2580 secs
lola: 46680782 markings, 162150653 edges, 6711 markings/sec, 2585 secs
lola: 46732288 markings, 162387020 edges, 10301 markings/sec, 2590 secs
lola: 46815297 markings, 162693172 edges, 16602 markings/sec, 2595 secs
lola: 46905109 markings, 163008704 edges, 17962 markings/sec, 2600 secs
lola: 46970162 markings, 163243289 edges, 13011 markings/sec, 2605 secs
lola: 47039339 markings, 163495280 edges, 13835 markings/sec, 2610 secs
lola: 47115799 markings, 163772875 edges, 15292 markings/sec, 2615 secs
lola: 47177881 markings, 164022407 edges, 12416 markings/sec, 2620 secs
lola: 47256047 markings, 164321684 edges, 15633 markings/sec, 2625 secs
lola: 47320641 markings, 164570351 edges, 12919 markings/sec, 2630 secs
lola: 47395473 markings, 164808406 edges, 14966 markings/sec, 2635 secs
lola: 47482844 markings, 165088334 edges, 17474 markings/sec, 2640 secs
lola: 47600352 markings, 165457633 edges, 23502 markings/sec, 2645 secs
lola: 47722705 markings, 165851663 edges, 24471 markings/sec, 2650 secs
lola: 47851916 markings, 166250040 edges, 25842 markings/sec, 2655 secs
lola: 47951458 markings, 166593860 edges, 19908 markings/sec, 2660 secs
lola: 48091507 markings, 167101020 edges, 28010 markings/sec, 2665 secs
lola: 48196156 markings, 167483747 edges, 20930 markings/sec, 2670 secs
lola: 48320571 markings, 167881286 edges, 24883 markings/sec, 2675 secs
lola: 48424214 markings, 168235393 edges, 20729 markings/sec, 2680 secs
lola: 48551867 markings, 168648513 edges, 25531 markings/sec, 2685 secs
lola: 48662308 markings, 169033759 edges, 22088 markings/sec, 2690 secs
lola: 48762806 markings, 169354901 edges, 20100 markings/sec, 2695 secs
lola: 48872773 markings, 169694170 edges, 21993 markings/sec, 2700 secs
lola: 48986394 markings, 170103093 edges, 22724 markings/sec, 2705 secs
lola: 49092190 markings, 170484282 edges, 21159 markings/sec, 2710 secs
lola: 49209803 markings, 170890297 edges, 23523 markings/sec, 2715 secs
lola: 49302316 markings, 171209057 edges, 18503 markings/sec, 2720 secs
lola: 49388680 markings, 171501253 edges, 17273 markings/sec, 2725 secs
lola: 49470240 markings, 171804488 edges, 16312 markings/sec, 2730 secs
lola: 49533264 markings, 172024539 edges, 12605 markings/sec, 2735 secs
lola: 49604270 markings, 172240881 edges, 14201 markings/sec, 2740 secs
lola: 49685556 markings, 172492652 edges, 16257 markings/sec, 2745 secs
lola: 49784706 markings, 172811073 edges, 19830 markings/sec, 2750 secs
lola: 49898268 markings, 173221491 edges, 22712 markings/sec, 2755 secs
lola: 49990391 markings, 173549211 edges, 18425 markings/sec, 2760 secs
lola: 50090614 markings, 173899701 edges, 20045 markings/sec, 2765 secs
lola: 50170877 markings, 174177940 edges, 16053 markings/sec, 2770 secs
lola: 50254878 markings, 174468499 edges, 16800 markings/sec, 2775 secs
lola: 50329271 markings, 174705444 edges, 14879 markings/sec, 2780 secs
lola: 50404846 markings, 174959385 edges, 15115 markings/sec, 2785 secs
lola: 50478959 markings, 175222517 edges, 14823 markings/sec, 2790 secs
lola: 50543084 markings, 175419802 edges, 12825 markings/sec, 2795 secs
lola: 50628853 markings, 175683571 edges, 17154 markings/sec, 2800 secs
lola: 50716212 markings, 175976811 edges, 17472 markings/sec, 2805 secs
lola: 50817808 markings, 176350945 edges, 20319 markings/sec, 2810 secs
lola: 50905169 markings, 176653777 edges, 17472 markings/sec, 2815 secs
lola: 50990773 markings, 176955000 edges, 17121 markings/sec, 2820 secs
lola: 51062223 markings, 177205722 edges, 14290 markings/sec, 2825 secs
lola: 51114740 markings, 177380706 edges, 10503 markings/sec, 2830 secs
lola: 51172696 markings, 177571004 edges, 11591 markings/sec, 2835 secs
lola: 51249940 markings, 177853246 edges, 15449 markings/sec, 2840 secs
lola: 51298177 markings, 178023418 edges, 9647 markings/sec, 2845 secs
lola: 51346103 markings, 178193415 edges, 9585 markings/sec, 2850 secs
lola: 51401792 markings, 178376037 edges, 11138 markings/sec, 2855 secs
lola: 51455303 markings, 178557257 edges, 10702 markings/sec, 2860 secs
lola: 51503476 markings, 178713997 edges, 9635 markings/sec, 2865 secs
lola: 51590892 markings, 179008618 edges, 17483 markings/sec, 2870 secs
lola: 51728074 markings, 179447032 edges, 27436 markings/sec, 2875 secs
lola: 51871516 markings, 179911995 edges, 28688 markings/sec, 2880 secs
lola: 52006036 markings, 180364414 edges, 26904 markings/sec, 2885 secs
lola: 52145445 markings, 180827606 edges, 27882 markings/sec, 2890 secs
lola: 52284337 markings, 181278077 edges, 27778 markings/sec, 2895 secs
lola: 52412998 markings, 181708445 edges, 25732 markings/sec, 2900 secs
lola: 52543176 markings, 182152336 edges, 26036 markings/sec, 2905 secs
lola: 52662746 markings, 182586706 edges, 23914 markings/sec, 2910 secs
lola: 52791423 markings, 182996643 edges, 25735 markings/sec, 2915 secs
lola: 52909478 markings, 183398504 edges, 23611 markings/sec, 2920 secs
lola: 53031067 markings, 183792645 edges, 24318 markings/sec, 2925 secs
lola: 53148876 markings, 184181226 edges, 23562 markings/sec, 2930 secs
lola: 53263366 markings, 184540837 edges, 22898 markings/sec, 2935 secs
lola: 53371919 markings, 184891629 edges, 21711 markings/sec, 2940 secs
lola: 53471565 markings, 185242896 edges, 19929 markings/sec, 2945 secs
lola: 53574495 markings, 185578141 edges, 20586 markings/sec, 2950 secs
lola: 53686615 markings, 185941895 edges, 22424 markings/sec, 2955 secs
lola: 53784299 markings, 186259098 edges, 19537 markings/sec, 2960 secs
lola: 53878750 markings, 186565793 edges, 18890 markings/sec, 2965 secs
lola: 53967712 markings, 186846222 edges, 17792 markings/sec, 2970 secs
lola: 54038827 markings, 187149705 edges, 14223 markings/sec, 2975 secs
lola: 54094819 markings, 187368555 edges, 11198 markings/sec, 2980 secs
lola: 54160772 markings, 187625610 edges, 13191 markings/sec, 2985 secs
lola: 54242413 markings, 187928547 edges, 16328 markings/sec, 2990 secs
lola: 54340182 markings, 188288969 edges, 19554 markings/sec, 2995 secs
lola: 54424552 markings, 188592186 edges, 16874 markings/sec, 3000 secs
lola: 54514337 markings, 188950815 edges, 17957 markings/sec, 3005 secs
lola: 54625004 markings, 189367670 edges, 22133 markings/sec, 3010 secs
lola: 54703644 markings, 189685077 edges, 15728 markings/sec, 3015 secs
lola: 54779990 markings, 189978076 edges, 15269 markings/sec, 3020 secs
lola: 54851470 markings, 190254755 edges, 14296 markings/sec, 3025 secs
lola: 54901994 markings, 190455100 edges, 10105 markings/sec, 3030 secs
lola: 54993278 markings, 190797696 edges, 18257 markings/sec, 3035 secs
lola: 55073838 markings, 191105727 edges, 16112 markings/sec, 3040 secs
lola: 55163939 markings, 191440998 edges, 18020 markings/sec, 3045 secs
lola: 55242613 markings, 191740736 edges, 15735 markings/sec, 3050 secs
lola: 55317162 markings, 192056080 edges, 14910 markings/sec, 3055 secs
lola: 55388872 markings, 192335617 edges, 14342 markings/sec, 3060 secs
lola: 55456273 markings, 192594885 edges, 13480 markings/sec, 3065 secs
lola: 55536739 markings, 192885501 edges, 16093 markings/sec, 3070 secs
lola: 55594146 markings, 193118051 edges, 11481 markings/sec, 3075 secs
lola: 55656893 markings, 193351179 edges, 12549 markings/sec, 3080 secs
lola: 55714809 markings, 193578678 edges, 11583 markings/sec, 3085 secs
lola: 55795244 markings, 193868280 edges, 16087 markings/sec, 3090 secs
lola: 55873737 markings, 194204898 edges, 15699 markings/sec, 3095 secs
lola: 55951296 markings, 194511519 edges, 15512 markings/sec, 3100 secs
lola: 56038412 markings, 194848582 edges, 17423 markings/sec, 3105 secs
lola: 56118886 markings, 195195029 edges, 16095 markings/sec, 3110 secs
lola: 56189738 markings, 195518761 edges, 14170 markings/sec, 3115 secs
lola: 56254233 markings, 195781503 edges, 12899 markings/sec, 3120 secs
lola: 56341748 markings, 196174648 edges, 17503 markings/sec, 3125 secs
lola: 56427175 markings, 196535368 edges, 17085 markings/sec, 3130 secs
lola: 56517514 markings, 196936146 edges, 18068 markings/sec, 3135 secs
lola: 56612873 markings, 197322535 edges, 19072 markings/sec, 3140 secs
lola: 56695491 markings, 197637767 edges, 16524 markings/sec, 3145 secs
lola: 56770067 markings, 197940084 edges, 14915 markings/sec, 3150 secs
lola: 56835439 markings, 198227386 edges, 13074 markings/sec, 3155 secs
lola: 56907030 markings, 198556172 edges, 14318 markings/sec, 3160 secs
lola: 56977473 markings, 198873046 edges, 14089 markings/sec, 3165 secs
lola: 57049367 markings, 199171027 edges, 14379 markings/sec, 3170 secs
lola: 57119513 markings, 199459625 edges, 14029 markings/sec, 3175 secs
lola: 57181461 markings, 199744330 edges, 12390 markings/sec, 3180 secs
lola: 57253997 markings, 200042559 edges, 14507 markings/sec, 3185 secs
lola: 57330233 markings, 200392124 edges, 15247 markings/sec, 3190 secs
lola: 57419274 markings, 200759520 edges, 17808 markings/sec, 3195 secs
lola: 57504487 markings, 201112527 edges, 17043 markings/sec, 3200 secs
lola: 57581263 markings, 201440733 edges, 15355 markings/sec, 3205 secs
lola: 57644776 markings, 201728570 edges, 12703 markings/sec, 3210 secs
lola: 57703984 markings, 201998101 edges, 11842 markings/sec, 3215 secs
lola: 57766162 markings, 202273700 edges, 12436 markings/sec, 3220 secs
lola: 57815269 markings, 202493531 edges, 9821 markings/sec, 3225 secs
lola: 57875416 markings, 202738306 edges, 12029 markings/sec, 3230 secs
lola: 57946445 markings, 203029286 edges, 14206 markings/sec, 3235 secs
lola: 58038307 markings, 203426094 edges, 18372 markings/sec, 3240 secs
lola: 58123063 markings, 203796451 edges, 16951 markings/sec, 3245 secs
lola: 58223179 markings, 204272329 edges, 20023 markings/sec, 3250 secs
lola: 58313954 markings, 204681569 edges, 18155 markings/sec, 3255 secs
lola: 58396288 markings, 205060845 edges, 16467 markings/sec, 3260 secs
lola: 58476883 markings, 205423834 edges, 16119 markings/sec, 3265 secs
lola: 58564876 markings, 205808492 edges, 17599 markings/sec, 3270 secs
lola: 58644353 markings, 206151204 edges, 15895 markings/sec, 3275 secs
lola: 58712117 markings, 206463196 edges, 13553 markings/sec, 3280 secs
lola: 58795594 markings, 206850843 edges, 16695 markings/sec, 3285 secs
lola: 58881048 markings, 207220973 edges, 17091 markings/sec, 3290 secs
lola: 58933829 markings, 207447776 edges, 10556 markings/sec, 3295 secs
lola: 58996061 markings, 207719903 edges, 12446 markings/sec, 3300 secs
lola: 59065899 markings, 208016541 edges, 13968 markings/sec, 3305 secs
lola: 59130878 markings, 208305551 edges, 12996 markings/sec, 3310 secs
lola: 59191973 markings, 208571727 edges, 12219 markings/sec, 3315 secs
lola: 59249284 markings, 208828731 edges, 11462 markings/sec, 3320 secs
lola: 59290044 markings, 209013852 edges, 8152 markings/sec, 3325 secs
lola: 59344828 markings, 209255110 edges, 10957 markings/sec, 3330 secs
lola: 59411967 markings, 209559572 edges, 13428 markings/sec, 3335 secs
lola: 59462272 markings, 209769550 edges, 10061 markings/sec, 3340 secs
lola: 59513345 markings, 210014712 edges, 10215 markings/sec, 3345 secs
lola: 59568397 markings, 210255846 edges, 11010 markings/sec, 3350 secs
lola: 59630174 markings, 210519569 edges, 12355 markings/sec, 3355 secs
lola: 59687745 markings, 210766630 edges, 11514 markings/sec, 3360 secs
lola: 59747071 markings, 211024663 edges, 11865 markings/sec, 3365 secs
lola: 59804688 markings, 211274232 edges, 11523 markings/sec, 3370 secs
lola: 59857114 markings, 211525179 edges, 10485 markings/sec, 3375 secs
lola: 59906968 markings, 211750326 edges, 9971 markings/sec, 3380 secs
lola: 59949202 markings, 211934106 edges, 8447 markings/sec, 3385 secs
lola: 59992285 markings, 212119239 edges, 8617 markings/sec, 3390 secs
lola: 60039265 markings, 212337001 edges, 9396 markings/sec, 3395 secs
lola: 60084553 markings, 212540717 edges, 9058 markings/sec, 3400 secs
lola: 60121413 markings, 212708778 edges, 7372 markings/sec, 3405 secs
lola: 60149888 markings, 212836531 edges, 5695 markings/sec, 3410 secs
lola: 60191361 markings, 213026118 edges, 8295 markings/sec, 3415 secs
lola: 60228292 markings, 213190256 edges, 7386 markings/sec, 3420 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: no no no yes no no no no no no no yes no no no
FORMULA CloudReconfiguration-PT-305-LTLCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-305-LTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-305-LTLCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-305-LTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-305-LTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-305-LTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-305-LTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-305-LTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-305-LTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-305-LTLCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-305-LTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-305-LTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-305-LTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-305-LTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-305-LTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-305-LTLCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496533101785

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished 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="CloudReconfiguration-PT-305"
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/CloudReconfiguration-PT-305.tgz
mv CloudReconfiguration-PT-305 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-305, 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 r178-csrt-149580961200041"
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 ;