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 DLCround-PT-11a, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961900347
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496543445452


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


checking for too many tokens
===========================================================================================
DLCround-PT-11a: translating PT formula LTLCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
LTLCardinality @ DLCround-PT-11a @ 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: 3370/65536 symbol table entries, 452 collisions
lola: preprocessing...
lola: finding significant places
lola: 377 places, 2993 transitions, 133 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2646 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-11a-LTLCardinality.task
lola: A (X (G ((3 <= p81)))) : A ((G ((p301 <= p78)) U (p178 <= p316))) : A ((G (G ((p278 <= p68))) U G (X ((p15 <= p260))))) : A (F (F (((2 <= p366) U (p288 <= p140))))) : A (X ((1 <= p123))) : A (F ((p70 <= p310))) : A (G (((1 <= p81) U (3 <= p278)))) : A (F ((F ((p159 <= p50)) U F ((1 <= p336))))) : A ((p367 <= p17)) : A (X (X ((1 <= p0)))) : A (G (F ((3 <= p202)))) : A ((1 <= p228)) : A ((G (F ((p329 <= p146))) U ((3 <= p235) U (p91 <= p205)))) : A (X ((p307 <= p272))) : A ((2 <= p349)) : A (G (F (((p328 <= p294) U (p81 <= p218)))))
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 (X (G ((3 <= p81))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((3 <= p81))))
lola: processed formula: A (X (G ((3 <= p81))))
lola: processed formula length: 22
lola: 0 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 25 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 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((G ((p301 <= p78)) U (p178 <= p316)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((p301 <= p78)) U (p178 <= p316)))
lola: processed formula: A ((G ((p301 <= p78)) U (p178 <= p316)))
lola: processed formula length: 40
lola: 0 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 25 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 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((G (G ((p278 <= p68))) U G (X ((p15 <= p260)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (G ((p278 <= p68))) U G (X ((p15 <= p260)))))
lola: processed formula: A ((G (G ((p278 <= p68))) U G (X ((p15 <= p260)))))
lola: processed formula length: 51
lola: 0 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-LTLCardinality.task
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 23 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 101938 markings, 4931621 edges, 20388 markings/sec, 0 secs
lola: 200608 markings, 9767277 edges, 19734 markings/sec, 5 secs
lola: 318332 markings, 15335290 edges, 23545 markings/sec, 10 secs
lola: 439673 markings, 20854823 edges, 24268 markings/sec, 15 secs
lola: 568402 markings, 26663514 edges, 25746 markings/sec, 20 secs
lola: 696238 markings, 32456467 edges, 25567 markings/sec, 25 secs
lola: 825641 markings, 37572898 edges, 25881 markings/sec, 30 secs
lola: 945331 markings, 42451763 edges, 23938 markings/sec, 35 secs
lola: 1062653 markings, 47375005 edges, 23464 markings/sec, 40 secs
lola: 1195716 markings, 52637982 edges, 26613 markings/sec, 45 secs
lola: 1316788 markings, 57583479 edges, 24214 markings/sec, 50 secs
lola: 1437010 markings, 62578549 edges, 24044 markings/sec, 55 secs
lola: 1563196 markings, 67823789 edges, 25237 markings/sec, 60 secs
lola: 1693436 markings, 73296170 edges, 26048 markings/sec, 65 secs
lola: 1825696 markings, 78699503 edges, 26452 markings/sec, 70 secs
lola: 1956871 markings, 84048041 edges, 26235 markings/sec, 75 secs
lola: 2086144 markings, 89414829 edges, 25855 markings/sec, 80 secs
lola: 2207476 markings, 94415115 edges, 24266 markings/sec, 85 secs
lola: 2326332 markings, 99453969 edges, 23771 markings/sec, 90 secs
lola: 2450194 markings, 104608632 edges, 24772 markings/sec, 95 secs
lola: 2584004 markings, 110117676 edges, 26762 markings/sec, 100 secs
lola: 2701641 markings, 115009799 edges, 23527 markings/sec, 105 secs
lola: 2826682 markings, 120080716 edges, 25008 markings/sec, 110 secs
lola: 2950026 markings, 125207344 edges, 24669 markings/sec, 115 secs
lola: 3077584 markings, 130402427 edges, 25512 markings/sec, 120 secs
lola: 3197974 markings, 135314877 edges, 24078 markings/sec, 125 secs
lola: 3324448 markings, 140569761 edges, 25295 markings/sec, 130 secs
lola: 3456150 markings, 145874871 edges, 26340 markings/sec, 135 secs
lola: 3576144 markings, 150877304 edges, 23999 markings/sec, 140 secs
lola: 3703376 markings, 156170181 edges, 25446 markings/sec, 145 secs
lola: 3828918 markings, 161606293 edges, 25108 markings/sec, 150 secs
lola: 3955300 markings, 166925563 edges, 25276 markings/sec, 155 secs
lola: 4061957 markings, 171459143 edges, 21331 markings/sec, 160 secs
lola: 4169330 markings, 176149453 edges, 21475 markings/sec, 165 secs
lola: 4289865 markings, 181321999 edges, 24107 markings/sec, 170 secs
lola: 4406636 markings, 186413895 edges, 23354 markings/sec, 175 secs
lola: 4521054 markings, 191303930 edges, 22884 markings/sec, 180 secs
lola: 4640958 markings, 196215493 edges, 23981 markings/sec, 185 secs
lola: 4768776 markings, 201577612 edges, 25564 markings/sec, 190 secs
lola: 4906072 markings, 207284792 edges, 27459 markings/sec, 195 secs
lola: 5030728 markings, 212560047 edges, 24931 markings/sec, 200 secs
lola: 5156358 markings, 217849099 edges, 25126 markings/sec, 205 secs
lola: 5271108 markings, 222803492 edges, 22950 markings/sec, 210 secs
lola: 5390224 markings, 227889885 edges, 23823 markings/sec, 215 secs
lola: 5503310 markings, 232749043 edges, 22617 markings/sec, 220 secs
lola: 5629414 markings, 238120009 edges, 25221 markings/sec, 225 secs
lola: 5746388 markings, 243069807 edges, 23395 markings/sec, 230 secs
lola: 5863114 markings, 248153903 edges, 23345 markings/sec, 235 secs
lola: 5979104 markings, 253020898 edges, 23198 markings/sec, 240 secs
lola: 6099690 markings, 258167117 edges, 24117 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (F (((2 <= p366) U (p288 <= p140)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((2 <= p366) U (p288 <= p140))))
lola: processed formula: A (F (((2 <= p366) U (p288 <= p140))))
lola: processed formula length: 38
lola: 1 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-LTLCardinality.task
lola: the resulting Büchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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 4 will run for 274 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X ((1 <= p123)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((1 <= p123)))
lola: processed formula: A (X ((1 <= p123)))
lola: processed formula length: 19
lola: 0 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 25 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 5 will run for 298 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((p70 <= p310)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((p70 <= p310)))
lola: processed formula: A (F ((p70 <= p310)))
lola: processed formula length: 21
lola: 0 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-LTLCardinality.task
lola: the resulting Büchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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 6 will run for 328 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= p81) U (3 <= p278))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (((1 <= p81) U (3 <= p278))))
lola: processed formula: A (G (((1 <= p81) U (3 <= p278))))
lola: processed formula length: 34
lola: 0 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 25 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 7 will run for 365 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((F ((p159 <= p50)) U F ((1 <= p336)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((F ((p159 <= p50)) U F ((1 <= p336)))))
lola: processed formula: A (F ((F ((p159 <= p50)) U F ((1 <= p336)))))
lola: processed formula length: 45
lola: 0 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-LTLCardinality.task
lola: the resulting Büchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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 8 will run for 410 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((p367 <= p17))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p367 <= p17)
lola: processed formula length: 13
lola: 1 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-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 9 will run for 469 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (X ((1 <= p0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((1 <= p0))))
lola: processed formula: A (X (X ((1 <= p0))))
lola: processed formula length: 21
lola: 0 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-LTLCardinality.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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 10 will run for 547 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (F ((3 <= p202))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((3 <= p202))))
lola: processed formula: A (G (F ((3 <= p202))))
lola: processed formula length: 23
lola: 0 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 25 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 11 will run for 657 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((1 <= p228))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p228)
lola: processed formula length: 11
lola: 1 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-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 12 will run for 821 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((G (F ((p329 <= p146))) U ((3 <= p235) U (p91 <= p205))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (F ((p329 <= p146))) U ((3 <= p235) U (p91 <= p205))))
lola: processed formula: A ((G (F ((p329 <= p146))) U ((3 <= p235) U (p91 <= p205))))
lola: processed formula length: 60
lola: 0 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-LTLCardinality.task
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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 13 will run for 1095 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X ((p307 <= p272)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((p307 <= p272)))
lola: processed formula: A (X ((p307 <= p272)))
lola: processed formula length: 22
lola: 0 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 25 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: ========================================
lola: subprocess 14 will run for 1643 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((2 <= p349))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (2 <= p349)
lola: processed formula length: 11
lola: 1 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-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 15 will run for 3287 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (F (((p328 <= p294) U (p81 <= p218)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (((p328 <= p294) U (p81 <= p218)))))
lola: processed formula: A (G (F (((p328 <= p294) U (p81 <= p218)))))
lola: processed formula length: 44
lola: 0 rewrites
lola: formula mentions 0 of 377 places; total mentions: 0
lola: closed formula file DLCround-PT-11a-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 387 markings, 7404 edges, 77 markings/sec, 0 secs
lola: 762 markings, 15345 edges, 75 markings/sec, 5 secs
lola: 1146 markings, 23190 edges, 77 markings/sec, 10 secs
lola: 1501 markings, 30600 edges, 71 markings/sec, 15 secs
lola: 2007 markings, 41012 edges, 101 markings/sec, 20 secs
lola: 2330 markings, 47490 edges, 65 markings/sec, 25 secs
lola: 2754 markings, 56234 edges, 85 markings/sec, 30 secs
lola: 3160 markings, 64526 edges, 81 markings/sec, 35 secs
lola: 3516 markings, 71825 edges, 71 markings/sec, 40 secs
lola: 3835 markings, 78271 edges, 64 markings/sec, 45 secs
lola: 4214 markings, 86220 edges, 76 markings/sec, 50 secs
lola: 4656 markings, 95312 edges, 88 markings/sec, 55 secs
lola: 5084 markings, 104229 edges, 86 markings/sec, 60 secs
lola: 5477 markings, 112184 edges, 79 markings/sec, 65 secs
lola: 5833 markings, 119538 edges, 71 markings/sec, 70 secs
lola: 6194 markings, 126843 edges, 72 markings/sec, 75 secs
lola: 6599 markings, 135259 edges, 81 markings/sec, 80 secs
lola: 6920 markings, 142024 edges, 64 markings/sec, 85 secs
lola: 7207 markings, 148013 edges, 57 markings/sec, 90 secs
lola: 7485 markings, 153908 edges, 56 markings/sec, 95 secs
lola: 7771 markings, 159813 edges, 57 markings/sec, 100 secs
lola: 8025 markings, 165228 edges, 51 markings/sec, 105 secs
lola: 8291 markings, 170902 edges, 53 markings/sec, 110 secs
lola: 8545 markings, 176335 edges, 51 markings/sec, 115 secs
lola: 8861 markings, 182647 edges, 63 markings/sec, 120 secs
lola: 9122 markings, 188229 edges, 52 markings/sec, 125 secs
lola: 9425 markings, 194480 edges, 61 markings/sec, 130 secs
lola: 9697 markings, 200197 edges, 54 markings/sec, 135 secs
lola: 9979 markings, 206134 edges, 56 markings/sec, 140 secs
lola: 10246 markings, 211763 edges, 53 markings/sec, 145 secs
lola: 10543 markings, 218137 edges, 59 markings/sec, 150 secs
lola: 10820 markings, 224113 edges, 55 markings/sec, 155 secs
lola: 11120 markings, 230160 edges, 60 markings/sec, 160 secs
lola: 11395 markings, 235914 edges, 55 markings/sec, 165 secs
lola: 11652 markings, 241362 edges, 51 markings/sec, 170 secs
lola: 11931 markings, 247398 edges, 56 markings/sec, 175 secs
lola: 12197 markings, 252795 edges, 53 markings/sec, 180 secs
lola: 12554 markings, 260445 edges, 71 markings/sec, 185 secs
lola: 12811 markings, 265657 edges, 51 markings/sec, 190 secs
lola: 13068 markings, 271036 edges, 51 markings/sec, 195 secs
lola: 13331 markings, 276637 edges, 53 markings/sec, 200 secs
lola: 13624 markings, 282764 edges, 59 markings/sec, 205 secs
lola: 13947 markings, 289175 edges, 65 markings/sec, 210 secs
lola: 14222 markings, 294786 edges, 55 markings/sec, 215 secs
lola: 14507 markings, 300674 edges, 57 markings/sec, 220 secs
lola: 14810 markings, 306814 edges, 61 markings/sec, 225 secs
lola: 15088 markings, 312747 edges, 56 markings/sec, 230 secs
lola: 15377 markings, 318746 edges, 58 markings/sec, 235 secs
lola: 15701 markings, 325554 edges, 65 markings/sec, 240 secs
lola: 16029 markings, 332526 edges, 66 markings/sec, 245 secs
lola: 16445 markings, 340725 edges, 83 markings/sec, 250 secs
lola: 16741 markings, 347450 edges, 59 markings/sec, 255 secs
lola: 17017 markings, 353591 edges, 55 markings/sec, 260 secs
lola: 17291 markings, 359518 edges, 55 markings/sec, 265 secs
lola: 17587 markings, 365638 edges, 59 markings/sec, 270 secs
lola: 17884 markings, 371686 edges, 59 markings/sec, 275 secs
lola: 18139 markings, 377164 edges, 51 markings/sec, 280 secs
lola: 18488 markings, 384555 edges, 70 markings/sec, 285 secs
lola: 18754 markings, 390201 edges, 53 markings/sec, 290 secs
lola: 19044 markings, 396565 edges, 58 markings/sec, 295 secs
lola: 19356 markings, 402785 edges, 62 markings/sec, 300 secs
lola: 19642 markings, 409056 edges, 57 markings/sec, 305 secs
lola: 19925 markings, 414870 edges, 57 markings/sec, 310 secs
lola: 20231 markings, 421124 edges, 61 markings/sec, 315 secs
lola: 20535 markings, 427421 edges, 61 markings/sec, 320 secs
lola: 20848 markings, 434263 edges, 63 markings/sec, 325 secs
lola: 21177 markings, 441775 edges, 66 markings/sec, 330 secs
lola: 21442 markings, 447340 edges, 53 markings/sec, 335 secs
lola: 21734 markings, 453867 edges, 58 markings/sec, 340 secs
lola: 22027 markings, 460448 edges, 59 markings/sec, 345 secs
lola: 22376 markings, 467801 edges, 70 markings/sec, 350 secs
lola: 22708 markings, 474581 edges, 66 markings/sec, 355 secs
lola: 23020 markings, 480970 edges, 62 markings/sec, 360 secs
lola: 23278 markings, 486113 edges, 52 markings/sec, 365 secs
lola: 23589 markings, 492396 edges, 62 markings/sec, 370 secs
lola: 23936 markings, 499634 edges, 69 markings/sec, 375 secs
lola: 24234 markings, 505798 edges, 60 markings/sec, 380 secs
lola: 24543 markings, 512359 edges, 62 markings/sec, 385 secs
lola: 24869 markings, 519583 edges, 65 markings/sec, 390 secs
lola: 25211 markings, 526330 edges, 68 markings/sec, 395 secs
lola: 25511 markings, 532622 edges, 60 markings/sec, 400 secs
lola: 25791 markings, 538587 edges, 56 markings/sec, 405 secs
lola: 26144 markings, 546245 edges, 71 markings/sec, 410 secs
lola: 26517 markings, 554465 edges, 75 markings/sec, 415 secs
lola: 26915 markings, 562454 edges, 80 markings/sec, 420 secs
lola: 27201 markings, 568424 edges, 57 markings/sec, 425 secs
lola: 27517 markings, 575148 edges, 63 markings/sec, 430 secs
lola: 27832 markings, 581736 edges, 63 markings/sec, 435 secs
lola: 28126 markings, 587682 edges, 59 markings/sec, 440 secs
lola: 28415 markings, 593848 edges, 58 markings/sec, 445 secs
lola: 28685 markings, 599536 edges, 54 markings/sec, 450 secs
lola: 28982 markings, 605787 edges, 59 markings/sec, 455 secs
lola: 29277 markings, 612041 edges, 59 markings/sec, 460 secs
lola: 29564 markings, 618026 edges, 57 markings/sec, 465 secs
lola: 29911 markings, 625061 edges, 69 markings/sec, 470 secs
lola: 30190 markings, 630900 edges, 56 markings/sec, 475 secs
lola: 30494 markings, 637361 edges, 61 markings/sec, 480 secs
lola: 30761 markings, 643189 edges, 53 markings/sec, 485 secs
lola: 31133 markings, 650979 edges, 74 markings/sec, 490 secs
lola: 31462 markings, 658335 edges, 66 markings/sec, 495 secs
lola: 31820 markings, 666216 edges, 72 markings/sec, 500 secs
lola: 32177 markings, 673465 edges, 71 markings/sec, 505 secs
lola: 32470 markings, 679526 edges, 59 markings/sec, 510 secs
lola: 32777 markings, 685786 edges, 61 markings/sec, 515 secs
lola: 33090 markings, 692391 edges, 63 markings/sec, 520 secs
lola: 33415 markings, 699148 edges, 65 markings/sec, 525 secs
lola: 33697 markings, 704946 edges, 56 markings/sec, 530 secs
lola: 34013 markings, 711647 edges, 63 markings/sec, 535 secs
lola: 34366 markings, 718964 edges, 71 markings/sec, 540 secs
lola: 34647 markings, 724700 edges, 56 markings/sec, 545 secs
lola: 34912 markings, 730602 edges, 53 markings/sec, 550 secs
lola: 35199 markings, 736624 edges, 57 markings/sec, 555 secs
lola: 35488 markings, 742608 edges, 58 markings/sec, 560 secs
lola: 35802 markings, 749222 edges, 63 markings/sec, 565 secs
lola: 36136 markings, 756084 edges, 67 markings/sec, 570 secs
lola: 36456 markings, 763215 edges, 64 markings/sec, 575 secs
lola: 36714 markings, 769199 edges, 52 markings/sec, 580 secs
lola: 37162 markings, 778163 edges, 90 markings/sec, 585 secs
lola: 37634 markings, 788374 edges, 94 markings/sec, 590 secs
lola: 37995 markings, 796380 edges, 72 markings/sec, 595 secs
lola: 38412 markings, 804765 edges, 83 markings/sec, 600 secs
lola: 38838 markings, 813735 edges, 85 markings/sec, 605 secs
lola: 39191 markings, 820978 edges, 71 markings/sec, 610 secs
lola: 39651 markings, 830660 edges, 92 markings/sec, 615 secs
lola: 40078 markings, 839553 edges, 85 markings/sec, 620 secs
lola: 40476 markings, 847748 edges, 80 markings/sec, 625 secs
lola: 40825 markings, 854978 edges, 70 markings/sec, 630 secs
lola: 41190 markings, 862864 edges, 73 markings/sec, 635 secs
lola: 41611 markings, 871652 edges, 84 markings/sec, 640 secs
lola: 42040 markings, 880444 edges, 86 markings/sec, 645 secs
lola: 42486 markings, 890376 edges, 89 markings/sec, 650 secs
lola: 42961 markings, 899875 edges, 95 markings/sec, 655 secs
lola: 43391 markings, 909297 edges, 86 markings/sec, 660 secs
lola: 43894 markings, 919768 edges, 101 markings/sec, 665 secs
lola: 44240 markings, 927119 edges, 69 markings/sec, 670 secs
lola: 44555 markings, 933879 edges, 63 markings/sec, 675 secs
lola: 44901 markings, 941150 edges, 69 markings/sec, 680 secs
lola: 45237 markings, 947955 edges, 67 markings/sec, 685 secs
lola: 45556 markings, 954805 edges, 64 markings/sec, 690 secs
lola: 45833 markings, 960904 edges, 55 markings/sec, 695 secs
lola: 46162 markings, 967456 edges, 66 markings/sec, 700 secs
lola: 46572 markings, 975696 edges, 82 markings/sec, 705 secs
lola: 46996 markings, 984693 edges, 85 markings/sec, 710 secs
lola: 47451 markings, 994183 edges, 91 markings/sec, 715 secs
lola: 47915 markings, 1003327 edges, 93 markings/sec, 720 secs
lola: 48295 markings, 1011353 edges, 76 markings/sec, 725 secs
lola: 48701 markings, 1019621 edges, 81 markings/sec, 730 secs
lola: 49084 markings, 1027472 edges, 77 markings/sec, 735 secs
lola: 49398 markings, 1034099 edges, 63 markings/sec, 740 secs
lola: 49663 markings, 1040218 edges, 53 markings/sec, 745 secs
lola: 49982 markings, 1046861 edges, 64 markings/sec, 750 secs
lola: 50263 markings, 1052771 edges, 56 markings/sec, 755 secs
lola: 50610 markings, 1060096 edges, 69 markings/sec, 760 secs
lola: 50893 markings, 1065780 edges, 57 markings/sec, 765 secs
lola: 51162 markings, 1071442 edges, 54 markings/sec, 770 secs
lola: 51454 markings, 1077797 edges, 58 markings/sec, 775 secs
lola: 51755 markings, 1084546 edges, 60 markings/sec, 780 secs
lola: 52048 markings, 1090856 edges, 59 markings/sec, 785 secs
lola: 52392 markings, 1097957 edges, 69 markings/sec, 790 secs
lola: 52722 markings, 1104719 edges, 66 markings/sec, 795 secs
lola: 53063 markings, 1111713 edges, 68 markings/sec, 800 secs
lola: 53469 markings, 1120478 edges, 81 markings/sec, 805 secs
lola: 53800 markings, 1127414 edges, 66 markings/sec, 810 secs
lola: 54150 markings, 1134566 edges, 70 markings/sec, 815 secs
lola: 54575 markings, 1143119 edges, 85 markings/sec, 820 secs
lola: 55094 markings, 1153753 edges, 104 markings/sec, 825 secs
lola: 55539 markings, 1162922 edges, 89 markings/sec, 830 secs
lola: 55922 markings, 1170751 edges, 77 markings/sec, 835 secs
lola: 56406 markings, 1180768 edges, 97 markings/sec, 840 secs
lola: 56810 markings, 1189298 edges, 81 markings/sec, 845 secs
lola: 57114 markings, 1195156 edges, 61 markings/sec, 850 secs
lola: 57513 markings, 1203975 edges, 80 markings/sec, 855 secs
lola: 58032 markings, 1214887 edges, 104 markings/sec, 860 secs
lola: 58440 markings, 1223970 edges, 82 markings/sec, 865 secs
lola: 58949 markings, 1234317 edges, 102 markings/sec, 870 secs
lola: 59293 markings, 1241373 edges, 69 markings/sec, 875 secs
lola: 59620 markings, 1248811 edges, 65 markings/sec, 880 secs
lola: 60019 markings, 1257346 edges, 80 markings/sec, 885 secs
lola: 60308 markings, 1263308 edges, 58 markings/sec, 890 secs
lola: 60551 markings, 1268673 edges, 49 markings/sec, 895 secs
lola: 60843 markings, 1274977 edges, 58 markings/sec, 900 secs
lola: 61148 markings, 1281152 edges, 61 markings/sec, 905 secs
lola: 61462 markings, 1288173 edges, 63 markings/sec, 910 secs
lola: 61751 markings, 1294243 edges, 58 markings/sec, 915 secs
lola: 62163 markings, 1303098 edges, 82 markings/sec, 920 secs
lola: 62437 markings, 1309042 edges, 55 markings/sec, 925 secs
lola: 62681 markings, 1314531 edges, 49 markings/sec, 930 secs
lola: 62964 markings, 1320692 edges, 57 markings/sec, 935 secs
lola: 63314 markings, 1327954 edges, 70 markings/sec, 940 secs
lola: 63606 markings, 1334645 edges, 58 markings/sec, 945 secs
lola: 63900 markings, 1340784 edges, 59 markings/sec, 950 secs
lola: 64194 markings, 1347444 edges, 59 markings/sec, 955 secs
lola: 64568 markings, 1355498 edges, 75 markings/sec, 960 secs
lola: 64984 markings, 1363942 edges, 83 markings/sec, 965 secs
lola: 65322 markings, 1371188 edges, 68 markings/sec, 970 secs
lola: 65727 markings, 1379972 edges, 81 markings/sec, 975 secs
lola: 66189 markings, 1389436 edges, 92 markings/sec, 980 secs
lola: 66739 markings, 1400830 edges, 110 markings/sec, 985 secs
lola: 67080 markings, 1407752 edges, 68 markings/sec, 990 secs
lola: 67363 markings, 1413998 edges, 57 markings/sec, 995 secs
lola: 67701 markings, 1421333 edges, 68 markings/sec, 1000 secs
lola: 67993 markings, 1427406 edges, 58 markings/sec, 1005 secs
lola: 68297 markings, 1433923 edges, 61 markings/sec, 1010 secs
lola: 68703 markings, 1442228 edges, 81 markings/sec, 1015 secs
lola: 69143 markings, 1451761 edges, 88 markings/sec, 1020 secs
lola: 69492 markings, 1458817 edges, 70 markings/sec, 1025 secs
lola: 69721 markings, 1464065 edges, 46 markings/sec, 1030 secs
lola: 70053 markings, 1471167 edges, 66 markings/sec, 1035 secs
lola: 70429 markings, 1479529 edges, 75 markings/sec, 1040 secs
lola: 70743 markings, 1486495 edges, 63 markings/sec, 1045 secs
lola: 71072 markings, 1493402 edges, 66 markings/sec, 1050 secs
lola: 71375 markings, 1500317 edges, 61 markings/sec, 1055 secs
lola: 71713 markings, 1507324 edges, 68 markings/sec, 1060 secs
lola: 72128 markings, 1516442 edges, 83 markings/sec, 1065 secs
lola: 72481 markings, 1524125 edges, 71 markings/sec, 1070 secs
lola: 72871 markings, 1532076 edges, 78 markings/sec, 1075 secs
lola: 73182 markings, 1538882 edges, 62 markings/sec, 1080 secs
lola: 73591 markings, 1547617 edges, 82 markings/sec, 1085 secs
lola: 73920 markings, 1554527 edges, 66 markings/sec, 1090 secs
lola: 74349 markings, 1563346 edges, 86 markings/sec, 1095 secs
lola: 74803 markings, 1573025 edges, 91 markings/sec, 1100 secs
lola: 75246 markings, 1582679 edges, 89 markings/sec, 1105 secs
lola: 75691 markings, 1592586 edges, 89 markings/sec, 1110 secs
lola: 76204 markings, 1603214 edges, 103 markings/sec, 1115 secs
lola: 76574 markings, 1611010 edges, 74 markings/sec, 1120 secs
lola: 76899 markings, 1618028 edges, 65 markings/sec, 1125 secs
lola: 77215 markings, 1624630 edges, 63 markings/sec, 1130 secs
lola: 77628 markings, 1633319 edges, 83 markings/sec, 1135 secs
lola: 77948 markings, 1640147 edges, 64 markings/sec, 1140 secs
lola: 78318 markings, 1648153 edges, 74 markings/sec, 1145 secs
lola: 78618 markings, 1654389 edges, 60 markings/sec, 1150 secs
lola: 78901 markings, 1660295 edges, 57 markings/sec, 1155 secs
lola: 79190 markings, 1666383 edges, 58 markings/sec, 1160 secs
lola: 79475 markings, 1672390 edges, 57 markings/sec, 1165 secs
lola: 79759 markings, 1678180 edges, 57 markings/sec, 1170 secs
lola: 80078 markings, 1684700 edges, 64 markings/sec, 1175 secs
lola: 80355 markings, 1690670 edges, 55 markings/sec, 1180 secs
lola: 80632 markings, 1696521 edges, 55 markings/sec, 1185 secs
lola: 80941 markings, 1702885 edges, 62 markings/sec, 1190 secs
lola: 81220 markings, 1709090 edges, 56 markings/sec, 1195 secs
lola: 81528 markings, 1715674 edges, 62 markings/sec, 1200 secs
lola: 81832 markings, 1721856 edges, 61 markings/sec, 1205 secs
lola: 82155 markings, 1728900 edges, 65 markings/sec, 1210 secs
lola: 82501 markings, 1735806 edges, 69 markings/sec, 1215 secs
lola: 82781 markings, 1741358 edges, 56 markings/sec, 1220 secs
lola: 83046 markings, 1747041 edges, 53 markings/sec, 1225 secs
lola: 83344 markings, 1753518 edges, 60 markings/sec, 1230 secs
lola: 83656 markings, 1759893 edges, 62 markings/sec, 1235 secs
lola: 83915 markings, 1765299 edges, 52 markings/sec, 1240 secs
lola: 84253 markings, 1772772 edges, 68 markings/sec, 1245 secs
lola: 84589 markings, 1779976 edges, 67 markings/sec, 1250 secs
lola: 84922 markings, 1786764 edges, 67 markings/sec, 1255 secs
lola: 85225 markings, 1793263 edges, 61 markings/sec, 1260 secs
lola: 85522 markings, 1799352 edges, 59 markings/sec, 1265 secs
lola: 85885 markings, 1807351 edges, 73 markings/sec, 1270 secs
lola: 86272 markings, 1815659 edges, 77 markings/sec, 1275 secs
lola: 86591 markings, 1822809 edges, 64 markings/sec, 1280 secs
lola: 86925 markings, 1829911 edges, 67 markings/sec, 1285 secs
lola: 87216 markings, 1835825 edges, 58 markings/sec, 1290 secs
lola: 87505 markings, 1841798 edges, 58 markings/sec, 1295 secs
lola: 87831 markings, 1848773 edges, 65 markings/sec, 1300 secs
lola: 88149 markings, 1855844 edges, 64 markings/sec, 1305 secs
lola: 88483 markings, 1862913 edges, 67 markings/sec, 1310 secs
lola: 88823 markings, 1870093 edges, 68 markings/sec, 1315 secs
lola: 89123 markings, 1876200 edges, 60 markings/sec, 1320 secs
lola: 89415 markings, 1882540 edges, 58 markings/sec, 1325 secs
lola: 89755 markings, 1889690 edges, 68 markings/sec, 1330 secs
lola: 90135 markings, 1897512 edges, 76 markings/sec, 1335 secs
lola: 90468 markings, 1904304 edges, 67 markings/sec, 1340 secs
lola: 90769 markings, 1910551 edges, 60 markings/sec, 1345 secs
lola: 91132 markings, 1917858 edges, 73 markings/sec, 1350 secs
lola: 91490 markings, 1924986 edges, 72 markings/sec, 1355 secs
lola: 91873 markings, 1933010 edges, 77 markings/sec, 1360 secs
lola: 92222 markings, 1940292 edges, 70 markings/sec, 1365 secs
lola: 92537 markings, 1946863 edges, 63 markings/sec, 1370 secs
lola: 92887 markings, 1954546 edges, 70 markings/sec, 1375 secs
lola: 93246 markings, 1962625 edges, 72 markings/sec, 1380 secs
lola: 93606 markings, 1969986 edges, 72 markings/sec, 1385 secs
lola: 93964 markings, 1977549 edges, 72 markings/sec, 1390 secs
lola: 94350 markings, 1986034 edges, 77 markings/sec, 1395 secs
lola: 94664 markings, 1992765 edges, 63 markings/sec, 1400 secs
lola: 94981 markings, 1999475 edges, 63 markings/sec, 1405 secs
lola: 95333 markings, 2006565 edges, 70 markings/sec, 1410 secs
lola: 95684 markings, 2013787 edges, 70 markings/sec, 1415 secs
lola: 96019 markings, 2020771 edges, 67 markings/sec, 1420 secs
lola: 96328 markings, 2027260 edges, 62 markings/sec, 1425 secs
lola: 96642 markings, 2033806 edges, 63 markings/sec, 1430 secs
lola: 96971 markings, 2040856 edges, 66 markings/sec, 1435 secs
lola: 97292 markings, 2047687 edges, 64 markings/sec, 1440 secs
lola: 97617 markings, 2054519 edges, 65 markings/sec, 1445 secs
lola: 97971 markings, 2061855 edges, 71 markings/sec, 1450 secs
lola: 98300 markings, 2069364 edges, 66 markings/sec, 1455 secs
lola: 98641 markings, 2076867 edges, 68 markings/sec, 1460 secs
lola: 99005 markings, 2084763 edges, 73 markings/sec, 1465 secs
lola: 99375 markings, 2092440 edges, 74 markings/sec, 1470 secs
lola: 99720 markings, 2099533 edges, 69 markings/sec, 1475 secs
lola: 100067 markings, 2106507 edges, 69 markings/sec, 1480 secs
lola: 100366 markings, 2113014 edges, 60 markings/sec, 1485 secs
lola: 100711 markings, 2119922 edges, 69 markings/sec, 1490 secs
lola: 101080 markings, 2127441 edges, 74 markings/sec, 1495 secs
lola: 101422 markings, 2134749 edges, 68 markings/sec, 1500 secs
lola: 101775 markings, 2142086 edges, 71 markings/sec, 1505 secs
lola: 102131 markings, 2149732 edges, 71 markings/sec, 1510 secs
lola: 102461 markings, 2156877 edges, 66 markings/sec, 1515 secs
lola: 102806 markings, 2164208 edges, 69 markings/sec, 1520 secs
lola: 103163 markings, 2171845 edges, 71 markings/sec, 1525 secs
lola: 103479 markings, 2178575 edges, 63 markings/sec, 1530 secs
lola: 103815 markings, 2185664 edges, 67 markings/sec, 1535 secs
lola: 104170 markings, 2193013 edges, 71 markings/sec, 1540 secs
lola: 104497 markings, 2199866 edges, 65 markings/sec, 1545 secs
lola: 104856 markings, 2207583 edges, 72 markings/sec, 1550 secs
lola: 105235 markings, 2215760 edges, 76 markings/sec, 1555 secs
lola: 105598 markings, 2223479 edges, 73 markings/sec, 1560 secs
lola: 105972 markings, 2231815 edges, 75 markings/sec, 1565 secs
lola: 106379 markings, 2239856 edges, 81 markings/sec, 1570 secs
lola: 106708 markings, 2246810 edges, 66 markings/sec, 1575 secs
lola: 107000 markings, 2252819 edges, 58 markings/sec, 1580 secs
lola: 107275 markings, 2259035 edges, 55 markings/sec, 1585 secs
lola: 107583 markings, 2265751 edges, 62 markings/sec, 1590 secs
lola: 107987 markings, 2274809 edges, 81 markings/sec, 1595 secs
lola: 108599 markings, 2287690 edges, 122 markings/sec, 1600 secs
lola: 109022 markings, 2296269 edges, 85 markings/sec, 1605 secs
lola: 109565 markings, 2307473 edges, 109 markings/sec, 1610 secs
lola: 109995 markings, 2316504 edges, 86 markings/sec, 1615 secs
lola: 110517 markings, 2327296 edges, 104 markings/sec, 1620 secs
lola: 111044 markings, 2338379 edges, 105 markings/sec, 1625 secs
lola: 111447 markings, 2346979 edges, 81 markings/sec, 1630 secs
lola: 111861 markings, 2355410 edges, 83 markings/sec, 1635 secs
lola: 112269 markings, 2363981 edges, 82 markings/sec, 1640 secs
lola: 112658 markings, 2372098 edges, 78 markings/sec, 1645 secs
lola: 113074 markings, 2380465 edges, 83 markings/sec, 1650 secs
lola: 113508 markings, 2390048 edges, 87 markings/sec, 1655 secs
lola: 113913 markings, 2398485 edges, 81 markings/sec, 1660 secs
lola: 114325 markings, 2406948 edges, 82 markings/sec, 1665 secs
lola: 114829 markings, 2417370 edges, 101 markings/sec, 1670 secs
lola: 115250 markings, 2426014 edges, 84 markings/sec, 1675 secs
lola: 115728 markings, 2435454 edges, 96 markings/sec, 1680 secs
lola: 116106 markings, 2443333 edges, 76 markings/sec, 1685 secs
lola: 116407 markings, 2449800 edges, 60 markings/sec, 1690 secs
lola: 116697 markings, 2456290 edges, 58 markings/sec, 1695 secs
lola: 117013 markings, 2463154 edges, 63 markings/sec, 1700 secs
lola: 117402 markings, 2471294 edges, 78 markings/sec, 1705 secs
lola: 117906 markings, 2481123 edges, 101 markings/sec, 1710 secs
lola: 118269 markings, 2488697 edges, 73 markings/sec, 1715 secs
lola: 118758 markings, 2499534 edges, 98 markings/sec, 1720 secs
lola: 119223 markings, 2509314 edges, 93 markings/sec, 1725 secs
lola: 119663 markings, 2518362 edges, 88 markings/sec, 1730 secs
lola: 120168 markings, 2528990 edges, 101 markings/sec, 1735 secs
lola: 120618 markings, 2538528 edges, 90 markings/sec, 1740 secs
lola: 121040 markings, 2547855 edges, 84 markings/sec, 1745 secs
lola: 121409 markings, 2555550 edges, 74 markings/sec, 1750 secs
lola: 121709 markings, 2562153 edges, 60 markings/sec, 1755 secs
lola: 122090 markings, 2570186 edges, 76 markings/sec, 1760 secs
lola: 122393 markings, 2576382 edges, 61 markings/sec, 1765 secs
lola: 122782 markings, 2584977 edges, 78 markings/sec, 1770 secs
lola: 123225 markings, 2594511 edges, 89 markings/sec, 1775 secs
lola: 123709 markings, 2604809 edges, 97 markings/sec, 1780 secs
lola: 124162 markings, 2614271 edges, 91 markings/sec, 1785 secs
lola: 124697 markings, 2625413 edges, 107 markings/sec, 1790 secs
lola: 125287 markings, 2637237 edges, 118 markings/sec, 1795 secs
lola: 125772 markings, 2647926 edges, 97 markings/sec, 1800 secs
lola: 126192 markings, 2657337 edges, 84 markings/sec, 1805 secs
lola: 126512 markings, 2664066 edges, 64 markings/sec, 1810 secs
lola: 126960 markings, 2673613 edges, 90 markings/sec, 1815 secs
lola: 127507 markings, 2685238 edges, 109 markings/sec, 1820 secs
lola: 128122 markings, 2697732 edges, 123 markings/sec, 1825 secs
lola: 128506 markings, 2706068 edges, 77 markings/sec, 1830 secs
lola: 128863 markings, 2713492 edges, 71 markings/sec, 1835 secs
lola: 129196 markings, 2720541 edges, 67 markings/sec, 1840 secs
lola: 129578 markings, 2728515 edges, 76 markings/sec, 1845 secs
lola: 129985 markings, 2737184 edges, 81 markings/sec, 1850 secs
lola: 130417 markings, 2746111 edges, 86 markings/sec, 1855 secs
lola: 130789 markings, 2754052 edges, 74 markings/sec, 1860 secs
lola: 131098 markings, 2760246 edges, 62 markings/sec, 1865 secs
lola: 131390 markings, 2766454 edges, 58 markings/sec, 1870 secs
lola: 131696 markings, 2772967 edges, 61 markings/sec, 1875 secs
lola: 131994 markings, 2779535 edges, 60 markings/sec, 1880 secs
lola: 132301 markings, 2785985 edges, 61 markings/sec, 1885 secs
lola: 132628 markings, 2792903 edges, 65 markings/sec, 1890 secs
lola: 132950 markings, 2799369 edges, 64 markings/sec, 1895 secs
lola: 133245 markings, 2805789 edges, 59 markings/sec, 1900 secs
lola: 133551 markings, 2812556 edges, 61 markings/sec, 1905 secs
lola: 133863 markings, 2819015 edges, 62 markings/sec, 1910 secs
lola: 134190 markings, 2825994 edges, 65 markings/sec, 1915 secs
lola: 134512 markings, 2833005 edges, 64 markings/sec, 1920 secs
lola: 134856 markings, 2839906 edges, 69 markings/sec, 1925 secs
lola: 135290 markings, 2848365 edges, 87 markings/sec, 1930 secs
lola: 135589 markings, 2855158 edges, 60 markings/sec, 1935 secs
lola: 135899 markings, 2861665 edges, 62 markings/sec, 1940 secs
lola: 136306 markings, 2870190 edges, 81 markings/sec, 1945 secs
lola: 136609 markings, 2876763 edges, 61 markings/sec, 1950 secs
lola: 136940 markings, 2883532 edges, 66 markings/sec, 1955 secs
lola: 137235 markings, 2889426 edges, 59 markings/sec, 1960 secs
lola: 137630 markings, 2897554 edges, 79 markings/sec, 1965 secs
lola: 137933 markings, 2904250 edges, 61 markings/sec, 1970 secs
lola: 138354 markings, 2912866 edges, 84 markings/sec, 1975 secs
lola: 138990 markings, 2926595 edges, 127 markings/sec, 1980 secs
lola: 139407 markings, 2935578 edges, 83 markings/sec, 1985 secs
lola: 139763 markings, 2942905 edges, 71 markings/sec, 1990 secs
lola: 140061 markings, 2949431 edges, 60 markings/sec, 1995 secs
lola: 140375 markings, 2956309 edges, 63 markings/sec, 2000 secs
lola: 140762 markings, 2964549 edges, 77 markings/sec, 2005 secs
lola: 141060 markings, 2970730 edges, 60 markings/sec, 2010 secs
lola: 141461 markings, 2979492 edges, 80 markings/sec, 2015 secs
lola: 141902 markings, 2988749 edges, 88 markings/sec, 2020 secs
lola: 142234 markings, 2995643 edges, 66 markings/sec, 2025 secs
lola: 142616 markings, 3003525 edges, 76 markings/sec, 2030 secs
lola: 142984 markings, 3011897 edges, 74 markings/sec, 2035 secs
lola: 143370 markings, 3019747 edges, 77 markings/sec, 2040 secs
lola: 143708 markings, 3027122 edges, 68 markings/sec, 2045 secs
lola: 144068 markings, 3034664 edges, 72 markings/sec, 2050 secs
lola: 144393 markings, 3041223 edges, 65 markings/sec, 2055 secs
lola: 144706 markings, 3047736 edges, 63 markings/sec, 2060 secs
lola: 145034 markings, 3054939 edges, 66 markings/sec, 2065 secs
lola: 145351 markings, 3061443 edges, 63 markings/sec, 2070 secs
lola: 145690 markings, 3068611 edges, 68 markings/sec, 2075 secs
lola: 145987 markings, 3075014 edges, 59 markings/sec, 2080 secs
lola: 146281 markings, 3081381 edges, 59 markings/sec, 2085 secs
lola: 146628 markings, 3088692 edges, 69 markings/sec, 2090 secs
lola: 146962 markings, 3095868 edges, 67 markings/sec, 2095 secs
lola: 147313 markings, 3103233 edges, 70 markings/sec, 2100 secs
lola: 147650 markings, 3110324 edges, 67 markings/sec, 2105 secs
lola: 147990 markings, 3117292 edges, 68 markings/sec, 2110 secs
lola: 148379 markings, 3125771 edges, 78 markings/sec, 2115 secs
lola: 148743 markings, 3133642 edges, 73 markings/sec, 2120 secs
lola: 149117 markings, 3141601 edges, 75 markings/sec, 2125 secs
lola: 149464 markings, 3148724 edges, 69 markings/sec, 2130 secs
lola: 149899 markings, 3157508 edges, 87 markings/sec, 2135 secs
lola: 150265 markings, 3165095 edges, 73 markings/sec, 2140 secs
lola: 150591 markings, 3172159 edges, 65 markings/sec, 2145 secs
lola: 150966 markings, 3180080 edges, 75 markings/sec, 2150 secs
lola: 151312 markings, 3187455 edges, 69 markings/sec, 2155 secs
lola: 151702 markings, 3195550 edges, 78 markings/sec, 2160 secs
lola: 152146 markings, 3204620 edges, 89 markings/sec, 2165 secs
lola: 152497 markings, 3211729 edges, 70 markings/sec, 2170 secs
lola: 152956 markings, 3221337 edges, 92 markings/sec, 2175 secs
lola: 153350 markings, 3229771 edges, 79 markings/sec, 2180 secs
lola: 153740 markings, 3237872 edges, 78 markings/sec, 2185 secs
lola: 154161 markings, 3246737 edges, 84 markings/sec, 2190 secs
lola: 154547 markings, 3255023 edges, 77 markings/sec, 2195 secs
lola: 154942 markings, 3263170 edges, 79 markings/sec, 2200 secs
lola: 155498 markings, 3275068 edges, 111 markings/sec, 2205 secs
lola: 155899 markings, 3283508 edges, 80 markings/sec, 2210 secs
lola: 156247 markings, 3290836 edges, 70 markings/sec, 2215 secs
lola: 156649 markings, 3299655 edges, 80 markings/sec, 2220 secs
lola: 157011 markings, 3307411 edges, 72 markings/sec, 2225 secs
lola: 157317 markings, 3314102 edges, 61 markings/sec, 2230 secs
lola: 157607 markings, 3320707 edges, 58 markings/sec, 2235 secs
lola: 157983 markings, 3328900 edges, 75 markings/sec, 2240 secs
lola: 158356 markings, 3337164 edges, 75 markings/sec, 2245 secs
lola: 158656 markings, 3343822 edges, 60 markings/sec, 2250 secs
lola: 158965 markings, 3350529 edges, 62 markings/sec, 2255 secs
lola: 159264 markings, 3357052 edges, 60 markings/sec, 2260 secs
lola: 159798 markings, 3368131 edges, 107 markings/sec, 2265 secs
lola: 160394 markings, 3380221 edges, 119 markings/sec, 2270 secs
lola: 160715 markings, 3387164 edges, 64 markings/sec, 2275 secs
lola: 160985 markings, 3393384 edges, 54 markings/sec, 2280 secs
lola: 161332 markings, 3400861 edges, 69 markings/sec, 2285 secs
lola: 161821 markings, 3411225 edges, 98 markings/sec, 2290 secs
lola: 162282 markings, 3420989 edges, 92 markings/sec, 2295 secs
lola: 162698 markings, 3430242 edges, 83 markings/sec, 2300 secs
lola: 163129 markings, 3439496 edges, 86 markings/sec, 2305 secs
lola: 163409 markings, 3445499 edges, 56 markings/sec, 2310 secs
lola: 163685 markings, 3451691 edges, 55 markings/sec, 2315 secs
lola: 164061 markings, 3459322 edges, 75 markings/sec, 2320 secs
lola: 164305 markings, 3464888 edges, 49 markings/sec, 2325 secs
lola: 164644 markings, 3471973 edges, 68 markings/sec, 2330 secs
lola: 164992 markings, 3479527 edges, 70 markings/sec, 2335 secs
lola: 165443 markings, 3488945 edges, 90 markings/sec, 2340 secs
lola: 165729 markings, 3494978 edges, 57 markings/sec, 2345 secs
lola: 165944 markings, 3500056 edges, 43 markings/sec, 2350 secs
lola: 166256 markings, 3506427 edges, 62 markings/sec, 2355 secs
lola: 166552 markings, 3512750 edges, 59 markings/sec, 2360 secs
lola: 166872 markings, 3519155 edges, 64 markings/sec, 2365 secs
lola: 167210 markings, 3526254 edges, 68 markings/sec, 2370 secs
lola: 167579 markings, 3534174 edges, 74 markings/sec, 2375 secs
lola: 167921 markings, 3542133 edges, 68 markings/sec, 2380 secs
lola: 168268 markings, 3549267 edges, 69 markings/sec, 2385 secs
lola: 168708 markings, 3558686 edges, 88 markings/sec, 2390 secs
lola: 169359 markings, 3572674 edges, 130 markings/sec, 2395 secs
lola: 169778 markings, 3581523 edges, 84 markings/sec, 2400 secs
lola: 170269 markings, 3591194 edges, 98 markings/sec, 2405 secs
lola: 170506 markings, 3596739 edges, 47 markings/sec, 2410 secs
lola: 170796 markings, 3603293 edges, 58 markings/sec, 2415 secs
lola: 171123 markings, 3610176 edges, 65 markings/sec, 2420 secs
lola: 171504 markings, 3618135 edges, 76 markings/sec, 2425 secs
lola: 171791 markings, 3624330 edges, 57 markings/sec, 2430 secs
lola: 172078 markings, 3630569 edges, 57 markings/sec, 2435 secs
lola: 172390 markings, 3637574 edges, 62 markings/sec, 2440 secs
lola: 172697 markings, 3644143 edges, 61 markings/sec, 2445 secs
lola: 173004 markings, 3650682 edges, 61 markings/sec, 2450 secs
lola: 173311 markings, 3657152 edges, 61 markings/sec, 2455 secs
lola: 173641 markings, 3664256 edges, 66 markings/sec, 2460 secs
lola: 173959 markings, 3670881 edges, 64 markings/sec, 2465 secs
lola: 174296 markings, 3678101 edges, 67 markings/sec, 2470 secs
lola: 174615 markings, 3684639 edges, 64 markings/sec, 2475 secs
lola: 174969 markings, 3692138 edges, 71 markings/sec, 2480 secs
lola: 175303 markings, 3699172 edges, 67 markings/sec, 2485 secs
lola: 175615 markings, 3705760 edges, 62 markings/sec, 2490 secs
lola: 175930 markings, 3712464 edges, 63 markings/sec, 2495 secs
lola: 176277 markings, 3720063 edges, 69 markings/sec, 2500 secs
lola: 176609 markings, 3727047 edges, 66 markings/sec, 2505 secs
lola: 176928 markings, 3733744 edges, 64 markings/sec, 2510 secs
lola: 177241 markings, 3740373 edges, 63 markings/sec, 2515 secs
lola: 177561 markings, 3747149 edges, 64 markings/sec, 2520 secs
lola: 177875 markings, 3753821 edges, 63 markings/sec, 2525 secs
lola: 178285 markings, 3762461 edges, 82 markings/sec, 2530 secs
lola: 178597 markings, 3769077 edges, 62 markings/sec, 2535 secs
lola: 178916 markings, 3775847 edges, 64 markings/sec, 2540 secs
lola: 179238 markings, 3782484 edges, 64 markings/sec, 2545 secs
lola: 179603 markings, 3789883 edges, 73 markings/sec, 2550 secs
lola: 179903 markings, 3795958 edges, 60 markings/sec, 2555 secs
lola: 180220 markings, 3802583 edges, 63 markings/sec, 2560 secs
lola: 180532 markings, 3808996 edges, 62 markings/sec, 2565 secs
lola: 180852 markings, 3815753 edges, 64 markings/sec, 2570 secs
lola: 181180 markings, 3822938 edges, 66 markings/sec, 2575 secs
lola: 181503 markings, 3829672 edges, 65 markings/sec, 2580 secs
lola: 181885 markings, 3837460 edges, 76 markings/sec, 2585 secs
lola: 182220 markings, 3844985 edges, 67 markings/sec, 2590 secs
lola: 182591 markings, 3852445 edges, 74 markings/sec, 2595 secs
lola: 182926 markings, 3859304 edges, 67 markings/sec, 2600 secs
lola: 183280 markings, 3866484 edges, 71 markings/sec, 2605 secs
lola: 183574 markings, 3872624 edges, 59 markings/sec, 2610 secs
lola: 183860 markings, 3879018 edges, 57 markings/sec, 2615 secs
lola: 184160 markings, 3885365 edges, 60 markings/sec, 2620 secs
lola: 184478 markings, 3892076 edges, 64 markings/sec, 2625 secs
lola: 184818 markings, 3899201 edges, 68 markings/sec, 2630 secs
lola: 185158 markings, 3906365 edges, 68 markings/sec, 2635 secs
lola: 185499 markings, 3913993 edges, 68 markings/sec, 2640 secs
lola: 185858 markings, 3921573 edges, 72 markings/sec, 2645 secs
lola: 186228 markings, 3929609 edges, 74 markings/sec, 2650 secs
lola: 186616 markings, 3937385 edges, 78 markings/sec, 2655 secs
lola: 186916 markings, 3943469 edges, 60 markings/sec, 2660 secs
lola: 187243 markings, 3950879 edges, 65 markings/sec, 2665 secs
lola: 187625 markings, 3958952 edges, 76 markings/sec, 2670 secs
lola: 187970 markings, 3966395 edges, 69 markings/sec, 2675 secs
lola: 188340 markings, 3974278 edges, 74 markings/sec, 2680 secs
lola: 188641 markings, 3980613 edges, 60 markings/sec, 2685 secs
lola: 188994 markings, 3988144 edges, 71 markings/sec, 2690 secs
lola: 189349 markings, 3995639 edges, 71 markings/sec, 2695 secs
lola: 189663 markings, 4002092 edges, 63 markings/sec, 2700 secs
lola: 190004 markings, 4009454 edges, 68 markings/sec, 2705 secs
lola: 190330 markings, 4016583 edges, 65 markings/sec, 2710 secs
lola: 190606 markings, 4022683 edges, 55 markings/sec, 2715 secs
lola: 190899 markings, 4028799 edges, 59 markings/sec, 2720 secs
lola: 191176 markings, 4034852 edges, 55 markings/sec, 2725 secs
lola: 191459 markings, 4041131 edges, 57 markings/sec, 2730 secs
lola: 191777 markings, 4047779 edges, 64 markings/sec, 2735 secs
lola: 192053 markings, 4053687 edges, 55 markings/sec, 2740 secs
lola: 192459 markings, 4062331 edges, 81 markings/sec, 2745 secs
lola: 192906 markings, 4072229 edges, 89 markings/sec, 2750 secs
lola: 193343 markings, 4081497 edges, 87 markings/sec, 2755 secs
lola: 193789 markings, 4090906 edges, 89 markings/sec, 2760 secs
lola: 194107 markings, 4097609 edges, 64 markings/sec, 2765 secs
lola: 194649 markings, 4108975 edges, 108 markings/sec, 2770 secs
lola: 195166 markings, 4119546 edges, 103 markings/sec, 2775 secs
lola: 195727 markings, 4130994 edges, 112 markings/sec, 2780 secs
lola: 196102 markings, 4138661 edges, 75 markings/sec, 2785 secs
lola: 196426 markings, 4145575 edges, 65 markings/sec, 2790 secs
lola: 196850 markings, 4154811 edges, 85 markings/sec, 2795 secs
lola: 197290 markings, 4163998 edges, 88 markings/sec, 2800 secs
lola: 197598 markings, 4170614 edges, 62 markings/sec, 2805 secs
lola: 197949 markings, 4178081 edges, 70 markings/sec, 2810 secs
lola: 198317 markings, 4186031 edges, 74 markings/sec, 2815 secs
lola: 198688 markings, 4193742 edges, 74 markings/sec, 2820 secs
lola: 199003 markings, 4200471 edges, 63 markings/sec, 2825 secs
lola: 199372 markings, 4208320 edges, 74 markings/sec, 2830 secs
lola: 199695 markings, 4215068 edges, 65 markings/sec, 2835 secs
lola: 200022 markings, 4221770 edges, 65 markings/sec, 2840 secs
lola: 200369 markings, 4228831 edges, 69 markings/sec, 2845 secs
lola: 200699 markings, 4235818 edges, 66 markings/sec, 2850 secs
lola: 201055 markings, 4243080 edges, 71 markings/sec, 2855 secs
lola: 201347 markings, 4249026 edges, 58 markings/sec, 2860 secs
lola: 201664 markings, 4255717 edges, 63 markings/sec, 2865 secs
lola: 202024 markings, 4263289 edges, 72 markings/sec, 2870 secs
lola: 202371 markings, 4270258 edges, 69 markings/sec, 2875 secs
lola: 202723 markings, 4277347 edges, 70 markings/sec, 2880 secs
lola: 203048 markings, 4284122 edges, 65 markings/sec, 2885 secs
lola: 203362 markings, 4290799 edges, 63 markings/sec, 2890 secs
lola: 203682 markings, 4297698 edges, 64 markings/sec, 2895 secs
lola: 203989 markings, 4304285 edges, 61 markings/sec, 2900 secs
lola: 204318 markings, 4311471 edges, 66 markings/sec, 2905 secs
lola: 204620 markings, 4318208 edges, 60 markings/sec, 2910 secs
lola: 204923 markings, 4324472 edges, 61 markings/sec, 2915 secs
lola: 205225 markings, 4330820 edges, 60 markings/sec, 2920 secs
lola: 205566 markings, 4338075 edges, 68 markings/sec, 2925 secs
lola: 205886 markings, 4345087 edges, 64 markings/sec, 2930 secs
lola: 206183 markings, 4351197 edges, 59 markings/sec, 2935 secs
lola: 206502 markings, 4357874 edges, 64 markings/sec, 2940 secs
lola: 206870 markings, 4366000 edges, 74 markings/sec, 2945 secs
lola: 207226 markings, 4373650 edges, 71 markings/sec, 2950 secs
lola: 207581 markings, 4380934 edges, 71 markings/sec, 2955 secs
lola: 207942 markings, 4388329 edges, 72 markings/sec, 2960 secs
lola: 208290 markings, 4395423 edges, 70 markings/sec, 2965 secs
lola: 208605 markings, 4401862 edges, 63 markings/sec, 2970 secs
lola: 208929 markings, 4408782 edges, 65 markings/sec, 2975 secs
lola: 209280 markings, 4416063 edges, 70 markings/sec, 2980 secs
lola: 209649 markings, 4423898 edges, 74 markings/sec, 2985 secs
lola: 210001 markings, 4431156 edges, 70 markings/sec, 2990 secs
lola: 210306 markings, 4437280 edges, 61 markings/sec, 2995 secs
lola: 210680 markings, 4445287 edges, 75 markings/sec, 3000 secs
lola: 211066 markings, 4453221 edges, 77 markings/sec, 3005 secs
lola: 211411 markings, 4460285 edges, 69 markings/sec, 3010 secs
lola: 211739 markings, 4467485 edges, 66 markings/sec, 3015 secs
lola: 212077 markings, 4474584 edges, 68 markings/sec, 3020 secs
lola: 212440 markings, 4482252 edges, 73 markings/sec, 3025 secs
lola: 212783 markings, 4489823 edges, 69 markings/sec, 3030 secs
lola: 213132 markings, 4497518 edges, 70 markings/sec, 3035 secs
lola: 213474 markings, 4504550 edges, 68 markings/sec, 3040 secs
lola: 213795 markings, 4511366 edges, 64 markings/sec, 3045 secs
lola: 214106 markings, 4517766 edges, 62 markings/sec, 3050 secs
lola: 214435 markings, 4524613 edges, 66 markings/sec, 3055 secs
lola: 214765 markings, 4531394 edges, 66 markings/sec, 3060 secs
lola: 215115 markings, 4538731 edges, 70 markings/sec, 3065 secs
lola: 215503 markings, 4546639 edges, 78 markings/sec, 3070 secs
lola: 215825 markings, 4553847 edges, 64 markings/sec, 3075 secs
lola: 216120 markings, 4560663 edges, 59 markings/sec, 3080 secs
lola: 216441 markings, 4567633 edges, 64 markings/sec, 3085 secs
lola: 216748 markings, 4574317 edges, 61 markings/sec, 3090 secs
lola: 217065 markings, 4581397 edges, 63 markings/sec, 3095 secs
lola: 217377 markings, 4587843 edges, 62 markings/sec, 3100 secs
lola: 217744 markings, 4595602 edges, 73 markings/sec, 3105 secs
lola: 218063 markings, 4601940 edges, 64 markings/sec, 3110 secs
lola: 218392 markings, 4608674 edges, 66 markings/sec, 3115 secs
lola: 218717 markings, 4615591 edges, 65 markings/sec, 3120 secs
lola: 219069 markings, 4623183 edges, 70 markings/sec, 3125 secs
lola: 219418 markings, 4630529 edges, 70 markings/sec, 3130 secs
lola: 219874 markings, 4640265 edges, 91 markings/sec, 3135 secs
lola: 220324 markings, 4649492 edges, 90 markings/sec, 3140 secs
lola: 220771 markings, 4658953 edges, 89 markings/sec, 3145 secs
lola: 221195 markings, 4668084 edges, 85 markings/sec, 3150 secs
lola: 221549 markings, 4675374 edges, 71 markings/sec, 3155 secs
lola: 221920 markings, 4683398 edges, 74 markings/sec, 3160 secs
lola: 222399 markings, 4693517 edges, 96 markings/sec, 3165 secs
lola: 222887 markings, 4703520 edges, 98 markings/sec, 3170 secs
lola: 223300 markings, 4712346 edges, 83 markings/sec, 3175 secs
lola: 223735 markings, 4721659 edges, 87 markings/sec, 3180 secs
lola: 224074 markings, 4728841 edges, 68 markings/sec, 3185 secs
lola: 224448 markings, 4736941 edges, 75 markings/sec, 3190 secs
lola: 224932 markings, 4747284 edges, 97 markings/sec, 3195 secs
lola: 225362 markings, 4755860 edges, 86 markings/sec, 3200 secs
lola: 225829 markings, 4765190 edges, 93 markings/sec, 3205 secs
lola: 226266 markings, 4774618 edges, 87 markings/sec, 3210 secs
lola: 226705 markings, 4783636 edges, 88 markings/sec, 3215 secs
lola: 227154 markings, 4793387 edges, 90 markings/sec, 3220 secs
lola: 227656 markings, 4803954 edges, 100 markings/sec, 3225 secs
lola: 228136 markings, 4814243 edges, 96 markings/sec, 3230 secs
lola: 228625 markings, 4824076 edges, 98 markings/sec, 3235 secs
lola: 229054 markings, 4833650 edges, 86 markings/sec, 3240 secs
lola: 229397 markings, 4840861 edges, 69 markings/sec, 3245 secs
lola: 229751 markings, 4848158 edges, 71 markings/sec, 3250 secs
lola: 230188 markings, 4857244 edges, 87 markings/sec, 3255 secs
lola: 230586 markings, 4865913 edges, 80 markings/sec, 3260 secs
lola: 230969 markings, 4874163 edges, 77 markings/sec, 3265 secs
lola: 231310 markings, 4881271 edges, 68 markings/sec, 3270 secs
lola: 231644 markings, 4888346 edges, 67 markings/sec, 3275 secs
lola: 231949 markings, 4895029 edges, 61 markings/sec, 3280 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: no yes unknown yes no yes no yes yes no no no yes yes no unknown
FORMULA DLCround-PT-11a-LTLCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-LTLCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-LTLCardinality-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-LTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-LTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-LTLCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-LTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-LTLCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-LTLCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-LTLCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-LTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-LTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-LTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-LTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-LTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-11a-LTLCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496546985260

--------------------
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="DLCround-PT-11a"
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/DLCround-PT-11a.tgz
mv DLCround-PT-11a 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 DLCround-PT-11a, 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-149580961900347"
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 ;