About the Execution of LoLA for S_CloudDeployment-PT-6a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8206.160 | 3540262.00 | 3556116.00 | 577.80 | ?TTFFFT?TFTFFFTF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is S_CloudDeployment-PT-6a, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455400041
=====================================================================
--------------------
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 CloudDeployment-PT-6a-LTLCardinality-0
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-1
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-10
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-11
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-12
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-13
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-14
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-15
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-2
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-3
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-4
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-5
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-6
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-7
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-8
FORMULA_NAME CloudDeployment-PT-6a-LTLCardinality-9
=== Now, execution of the tool begins
BK_START 1496438785524
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_CloudDeployment-PT-6a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_CloudDeployment-PT-6a: translating PT formula LTLCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
LTLCardinality @ S_CloudDeployment-PT-6a @ 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: 1129/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 221 places, 908 transitions, 185 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 797 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-6a-LTLCardinality.task
lola: A ((G (X ((2 <= p10))) U G (X ((p113 <= p207))))) : A (X ((X ((p182 <= p202)) U F ((p21 <= p192))))) : A ((X (F ((3 <= p148))) U X ((p91 <= p152)))) : A (F ((3 <= p19))) : A ((p68 <= p135)) : A ((X (F ((2 <= p111))) U X ((3 <= p65)))) : A (((3 <= p160) U ((p65 <= p163) U (2 <= p181)))) : A ((2 <= p14)) : A ((p214 <= p43)) : A ((3 <= p56)) : A (((p118 <= p121) U X (F ((p166 <= p200))))) : A (F (G ((2 <= p152)))) : A ((3 <= p77)) : A (G ((G ((p74 <= p88)) U F ((3 <= p151))))) : A ((F (G ((1 <= p149))) U F (X ((p97 <= p144))))) : A (G ((G ((p108 <= p114)) U X ((3 <= p121)))))
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 ((G (X ((2 <= p10))) U G (X ((p113 <= p207)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (X ((2 <= p10))) U G (X ((p113 <= p207)))))
lola: processed formula: A ((G (X ((2 <= p10))) U G (X ((p113 <= p207)))))
lola: processed formula length: 49
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 3 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 21029 markings, 3192194 edges, 4206 markings/sec, 0 secs
lola: 39497 markings, 6009663 edges, 3694 markings/sec, 5 secs
lola: 59697 markings, 9069016 edges, 4040 markings/sec, 10 secs
lola: 78867 markings, 12056999 edges, 3834 markings/sec, 15 secs
lola: 97627 markings, 14955377 edges, 3752 markings/sec, 20 secs
lola: 118635 markings, 18200162 edges, 4202 markings/sec, 25 secs
lola: 139973 markings, 21504108 edges, 4268 markings/sec, 30 secs
lola: 159715 markings, 24537022 edges, 3948 markings/sec, 35 secs
lola: 178301 markings, 27408000 edges, 3717 markings/sec, 40 secs
lola: 197359 markings, 30357759 edges, 3812 markings/sec, 45 secs
lola: 214653 markings, 33027515 edges, 3459 markings/sec, 50 secs
lola: 234151 markings, 35935789 edges, 3900 markings/sec, 55 secs
lola: 253793 markings, 39069658 edges, 3928 markings/sec, 60 secs
lola: 272171 markings, 41899740 edges, 3676 markings/sec, 65 secs
lola: 292249 markings, 45016841 edges, 4016 markings/sec, 70 secs
lola: 310747 markings, 47866481 edges, 3700 markings/sec, 75 secs
lola: 330465 markings, 50916358 edges, 3944 markings/sec, 80 secs
lola: 347961 markings, 53625310 edges, 3499 markings/sec, 85 secs
lola: 366081 markings, 56425005 edges, 3624 markings/sec, 90 secs
lola: 384297 markings, 59239329 edges, 3643 markings/sec, 95 secs
lola: 401989 markings, 61962720 edges, 3538 markings/sec, 100 secs
lola: 419889 markings, 64719014 edges, 3580 markings/sec, 105 secs
lola: 437563 markings, 67429642 edges, 3535 markings/sec, 110 secs
lola: 455425 markings, 70192603 edges, 3572 markings/sec, 115 secs
lola: 472919 markings, 72899521 edges, 3499 markings/sec, 120 secs
lola: 489781 markings, 75505832 edges, 3372 markings/sec, 125 secs
lola: 507103 markings, 78169087 edges, 3464 markings/sec, 130 secs
lola: 524223 markings, 80805459 edges, 3424 markings/sec, 135 secs
lola: 541045 markings, 83395965 edges, 3364 markings/sec, 140 secs
lola: 557417 markings, 85911460 edges, 3274 markings/sec, 145 secs
lola: 573563 markings, 88392113 edges, 3229 markings/sec, 150 secs
lola: 589743 markings, 90903563 edges, 3236 markings/sec, 155 secs
lola: 605131 markings, 93283828 edges, 3078 markings/sec, 160 secs
lola: 621287 markings, 95664478 edges, 3231 markings/sec, 165 secs
lola: 639243 markings, 98517424 edges, 3591 markings/sec, 170 secs
lola: 655285 markings, 101029043 edges, 3208 markings/sec, 175 secs
lola: 671081 markings, 103424672 edges, 3159 markings/sec, 180 secs
lola: 688633 markings, 106166159 edges, 3510 markings/sec, 185 secs
lola: 706103 markings, 108883397 edges, 3494 markings/sec, 190 secs
lola: 724425 markings, 111712698 edges, 3664 markings/sec, 195 secs
lola: 742259 markings, 114465337 edges, 3567 markings/sec, 200 secs
lola: 760411 markings, 117264515 edges, 3630 markings/sec, 205 secs
lola: 778471 markings, 120051089 edges, 3612 markings/sec, 210 secs
lola: 796223 markings, 122790673 edges, 3550 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X ((X ((p182 <= p202)) U F ((p21 <= p192)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((X ((p182 <= p202)) U F ((p21 <= p192)))))
lola: processed formula: A (X ((X ((p182 <= p202)) U F ((p21 <= p192)))))
lola: processed formula length: 48
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 5 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 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((X (F ((3 <= p148))) U X ((p91 <= p152))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F ((3 <= p148)) U (p91 <= p152))))
lola: processed formula: A (X ((F ((3 <= p148)) U (p91 <= p152))))
lola: processed formula length: 41
lola: 1 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 5 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 3 will run for 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((3 <= p19)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((3 <= p19)))
lola: processed formula: A (F ((3 <= p19)))
lola: processed formula length: 18
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 6 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: subprocess 4 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((p68 <= p135))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p68 <= p135)
lola: processed formula length: 13
lola: 1 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: ========================================
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 5 will run for 301 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((X (F ((2 <= p111))) U X ((3 <= p65))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((F ((2 <= p111)) U (3 <= p65))))
lola: processed formula: A (X ((F ((2 <= p111)) U (3 <= p65))))
lola: processed formula length: 38
lola: 1 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 5 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 6 will run for 331 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (((3 <= p160) U ((p65 <= p163) U (2 <= p181))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((3 <= p160) U ((p65 <= p163) U (2 <= p181))))
lola: processed formula: A (((3 <= p160) U ((p65 <= p163) U (2 <= p181))))
lola: processed formula length: 49
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 5 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 368 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((2 <= p14))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (2 <= p14)
lola: processed formula length: 10
lola: 1 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-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 414 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((p214 <= p43))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p214 <= p43)
lola: processed formula length: 13
lola: 1 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-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 474 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((3 <= p56))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (3 <= p56)
lola: processed formula length: 10
lola: 1 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-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 10 will run for 553 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (((p118 <= p121) U X (F ((p166 <= p200)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p118 <= p121) U X (F ((p166 <= p200)))))
lola: processed formula: A (((p118 <= p121) U X (F ((p166 <= p200)))))
lola: processed formula length: 45
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 5 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 11 will run for 663 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (G ((2 <= p152))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((2 <= p152))))
lola: processed formula: A (F (G ((2 <= p152))))
lola: processed formula length: 23
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 5 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 12 will run for 829 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((3 <= p77))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (3 <= p77)
lola: processed formula length: 10
lola: 1 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-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 13 will run for 1106 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((G ((p74 <= p88)) U F ((3 <= p151)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((G ((p74 <= p88)) U F ((3 <= p151)))))
lola: processed formula: A (G ((G ((p74 <= p88)) U F ((3 <= p151)))))
lola: processed formula length: 44
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 5 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 14 will run for 1659 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((F (G ((1 <= p149))) U F (X ((p97 <= p144)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (G ((1 <= p149))) U F (X ((p97 <= p144)))))
lola: processed formula: A ((F (G ((1 <= p149))) U F (X ((p97 <= p144)))))
lola: processed formula length: 49
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 5 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 15 will run for 3318 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((G ((p108 <= p114)) U X ((3 <= p121)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((G ((p108 <= p114)) U X ((3 <= p121)))))
lola: processed formula: A (G ((G ((p108 <= p114)) U X ((3 <= p121)))))
lola: processed formula length: 46
lola: 0 rewrites
lola: formula mentions 0 of 221 places; total mentions: 0
lola: closed formula file CloudDeployment-PT-6a-LTLCardinality.task
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 4 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 20796 markings, 3164119 edges, 4159 markings/sec, 0 secs
lola: 40878 markings, 6244724 edges, 4016 markings/sec, 5 secs
lola: 62033 markings, 9522659 edges, 4231 markings/sec, 10 secs
lola: 82827 markings, 12695888 edges, 4159 markings/sec, 15 secs
lola: 101865 markings, 15669414 edges, 3808 markings/sec, 20 secs
lola: 121088 markings, 18638072 edges, 3845 markings/sec, 25 secs
lola: 139764 markings, 21523505 edges, 3735 markings/sec, 30 secs
lola: 160017 markings, 24654793 edges, 4051 markings/sec, 35 secs
lola: 178644 markings, 27523171 edges, 3725 markings/sec, 40 secs
lola: 197446 markings, 30433922 edges, 3760 markings/sec, 45 secs
lola: 216228 markings, 33323716 edges, 3756 markings/sec, 50 secs
lola: 234411 markings, 36130833 edges, 3637 markings/sec, 55 secs
lola: 252467 markings, 38922713 edges, 3611 markings/sec, 60 secs
lola: 270230 markings, 41654004 edges, 3553 markings/sec, 65 secs
lola: 286857 markings, 44210612 edges, 3325 markings/sec, 70 secs
lola: 303021 markings, 46712628 edges, 3233 markings/sec, 75 secs
lola: 320494 markings, 49406102 edges, 3495 markings/sec, 80 secs
lola: 336763 markings, 51915566 edges, 3254 markings/sec, 85 secs
lola: 354926 markings, 54731960 edges, 3633 markings/sec, 90 secs
lola: 373624 markings, 57615528 edges, 3740 markings/sec, 95 secs
lola: 392406 markings, 60513706 edges, 3756 markings/sec, 100 secs
lola: 410756 markings, 63345509 edges, 3670 markings/sec, 105 secs
lola: 428364 markings, 66047617 edges, 3522 markings/sec, 110 secs
lola: 444891 markings, 68587056 edges, 3305 markings/sec, 115 secs
lola: 461552 markings, 71185300 edges, 3332 markings/sec, 120 secs
lola: 477189 markings, 73599398 edges, 3127 markings/sec, 125 secs
lola: 492647 markings, 75983455 edges, 3092 markings/sec, 130 secs
lola: 509826 markings, 78637285 edges, 3436 markings/sec, 135 secs
lola: 526501 markings, 81221557 edges, 3335 markings/sec, 140 secs
lola: 544347 markings, 83972031 edges, 3569 markings/sec, 145 secs
lola: 562810 markings, 86853185 edges, 3693 markings/sec, 150 secs
lola: 581327 markings, 89728082 edges, 3703 markings/sec, 155 secs
lola: 599257 markings, 92504344 edges, 3586 markings/sec, 160 secs
lola: 619233 markings, 95619768 edges, 3995 markings/sec, 165 secs
lola: 639936 markings, 98837094 edges, 4141 markings/sec, 170 secs
lola: 660457 markings, 102024010 edges, 4104 markings/sec, 175 secs
lola: 680354 markings, 105105679 edges, 3979 markings/sec, 180 secs
lola: 699217 markings, 108039237 edges, 3773 markings/sec, 185 secs
lola: 717581 markings, 110892777 edges, 3673 markings/sec, 190 secs
lola: 735197 markings, 113631798 edges, 3523 markings/sec, 195 secs
lola: 751853 markings, 116216152 edges, 3331 markings/sec, 200 secs
lola: 770794 markings, 119159055 edges, 3788 markings/sec, 205 secs
lola: 789628 markings, 122041483 edges, 3767 markings/sec, 210 secs
lola: 807452 markings, 124856003 edges, 3565 markings/sec, 215 secs
lola: 824788 markings, 127489391 edges, 3467 markings/sec, 220 secs
lola: 843061 markings, 130389446 edges, 3655 markings/sec, 225 secs
lola: 861610 markings, 133212748 edges, 3710 markings/sec, 230 secs
lola: 880823 markings, 136107956 edges, 3843 markings/sec, 235 secs
lola: 900350 markings, 138882209 edges, 3905 markings/sec, 240 secs
lola: 915451 markings, 141565891 edges, 3020 markings/sec, 245 secs
lola: 931412 markings, 144143811 edges, 3192 markings/sec, 250 secs
lola: 951102 markings, 146610022 edges, 3938 markings/sec, 255 secs
lola: 966632 markings, 149008068 edges, 3106 markings/sec, 260 secs
lola: 979451 markings, 151548956 edges, 2564 markings/sec, 265 secs
lola: 996922 markings, 154468638 edges, 3494 markings/sec, 270 secs
lola: 1019355 markings, 157726395 edges, 4487 markings/sec, 275 secs
lola: 1042220 markings, 160880314 edges, 4573 markings/sec, 280 secs
lola: 1057835 markings, 163970788 edges, 3123 markings/sec, 285 secs
lola: 1074566 markings, 166643828 edges, 3346 markings/sec, 290 secs
lola: 1090035 markings, 169041946 edges, 3094 markings/sec, 295 secs
lola: 1106493 markings, 171626376 edges, 3292 markings/sec, 300 secs
lola: 1125612 markings, 174657572 edges, 3824 markings/sec, 305 secs
lola: 1141984 markings, 177230955 edges, 3274 markings/sec, 310 secs
lola: 1158313 markings, 179785151 edges, 3266 markings/sec, 315 secs
lola: 1174545 markings, 182315742 edges, 3246 markings/sec, 320 secs
lola: 1190821 markings, 184821923 edges, 3255 markings/sec, 325 secs
lola: 1206311 markings, 187308563 edges, 3098 markings/sec, 330 secs
lola: 1222168 markings, 189795685 edges, 3171 markings/sec, 335 secs
lola: 1238014 markings, 192272735 edges, 3169 markings/sec, 340 secs
lola: 1257152 markings, 195254440 edges, 3828 markings/sec, 345 secs
lola: 1274436 markings, 197746160 edges, 3457 markings/sec, 350 secs
lola: 1289029 markings, 200161183 edges, 2919 markings/sec, 355 secs
lola: 1306796 markings, 203015902 edges, 3553 markings/sec, 360 secs
lola: 1331063 markings, 206186804 edges, 4853 markings/sec, 365 secs
lola: 1347606 markings, 209428137 edges, 3309 markings/sec, 370 secs
lola: 1369665 markings, 212652749 edges, 4412 markings/sec, 375 secs
lola: 1387175 markings, 215466923 edges, 3502 markings/sec, 380 secs
lola: 1402613 markings, 218073170 edges, 3088 markings/sec, 385 secs
lola: 1422694 markings, 221218552 edges, 4016 markings/sec, 390 secs
lola: 1439987 markings, 223921195 edges, 3459 markings/sec, 395 secs
lola: 1457940 markings, 226692288 edges, 3591 markings/sec, 400 secs
lola: 1474419 markings, 229323619 edges, 3296 markings/sec, 405 secs
lola: 1491910 markings, 232025769 edges, 3498 markings/sec, 410 secs
lola: 1508356 markings, 234600842 edges, 3289 markings/sec, 415 secs
lola: 1526422 markings, 237190161 edges, 3613 markings/sec, 420 secs
lola: 1540934 markings, 239698333 edges, 2902 markings/sec, 425 secs
lola: 1557010 markings, 242260519 edges, 3215 markings/sec, 430 secs
lola: 1572804 markings, 244702356 edges, 3159 markings/sec, 435 secs
lola: 1592668 markings, 247853183 edges, 3973 markings/sec, 440 secs
lola: 1613099 markings, 251052387 edges, 4086 markings/sec, 445 secs
lola: 1634145 markings, 254359083 edges, 4209 markings/sec, 450 secs
lola: 1651989 markings, 257159782 edges, 3569 markings/sec, 455 secs
lola: 1671414 markings, 260195780 edges, 3885 markings/sec, 460 secs
lola: 1689473 markings, 262882452 edges, 3612 markings/sec, 465 secs
lola: 1709303 markings, 266140811 edges, 3966 markings/sec, 470 secs
lola: 1729464 markings, 269325215 edges, 4032 markings/sec, 475 secs
lola: 1748326 markings, 272273170 edges, 3772 markings/sec, 480 secs
lola: 1766167 markings, 275075335 edges, 3568 markings/sec, 485 secs
lola: 1783487 markings, 277803321 edges, 3464 markings/sec, 490 secs
lola: 1802601 markings, 280665561 edges, 3823 markings/sec, 495 secs
lola: 1822423 markings, 283881955 edges, 3964 markings/sec, 500 secs
lola: 1843448 markings, 287165026 edges, 4205 markings/sec, 505 secs
lola: 1863431 markings, 290345345 edges, 3997 markings/sec, 510 secs
lola: 1881964 markings, 293253463 edges, 3707 markings/sec, 515 secs
lola: 1901104 markings, 296099878 edges, 3828 markings/sec, 520 secs
lola: 1919809 markings, 299178396 edges, 3741 markings/sec, 525 secs
lola: 1941310 markings, 302519744 edges, 4300 markings/sec, 530 secs
lola: 1960208 markings, 305518352 edges, 3780 markings/sec, 535 secs
lola: 1978145 markings, 308319218 edges, 3587 markings/sec, 540 secs
lola: 1997986 markings, 311407216 edges, 3968 markings/sec, 545 secs
lola: 2017472 markings, 314454617 edges, 3897 markings/sec, 550 secs
lola: 2036879 markings, 317505285 edges, 3881 markings/sec, 555 secs
lola: 2056291 markings, 320543708 edges, 3882 markings/sec, 560 secs
lola: 2075462 markings, 323542581 edges, 3834 markings/sec, 565 secs
lola: 2095563 markings, 326681700 edges, 4020 markings/sec, 570 secs
lola: 2114134 markings, 329591508 edges, 3714 markings/sec, 575 secs
lola: 2134110 markings, 332715536 edges, 3995 markings/sec, 580 secs
lola: 2153561 markings, 335753911 edges, 3890 markings/sec, 585 secs
lola: 2173156 markings, 338811460 edges, 3919 markings/sec, 590 secs
lola: 2191591 markings, 341661639 edges, 3687 markings/sec, 595 secs
lola: 2211484 markings, 344813663 edges, 3979 markings/sec, 600 secs
lola: 2230917 markings, 347857894 edges, 3887 markings/sec, 605 secs
lola: 2249671 markings, 350814731 edges, 3751 markings/sec, 610 secs
lola: 2267597 markings, 353629917 edges, 3585 markings/sec, 615 secs
lola: 2286330 markings, 356579448 edges, 3747 markings/sec, 620 secs
lola: 2305306 markings, 359532788 edges, 3795 markings/sec, 625 secs
lola: 2323959 markings, 362474568 edges, 3731 markings/sec, 630 secs
lola: 2342555 markings, 365366893 edges, 3719 markings/sec, 635 secs
lola: 2360620 markings, 368207375 edges, 3613 markings/sec, 640 secs
lola: 2379477 markings, 371155253 edges, 3771 markings/sec, 645 secs
lola: 2398021 markings, 374060783 edges, 3709 markings/sec, 650 secs
lola: 2416698 markings, 376978752 edges, 3735 markings/sec, 655 secs
lola: 2435222 markings, 379879074 edges, 3705 markings/sec, 660 secs
lola: 2454753 markings, 382913902 edges, 3906 markings/sec, 665 secs
lola: 2472476 markings, 385672656 edges, 3545 markings/sec, 670 secs
lola: 2493375 markings, 388733300 edges, 4180 markings/sec, 675 secs
lola: 2511878 markings, 391406636 edges, 3701 markings/sec, 680 secs
lola: 2526847 markings, 394060760 edges, 2994 markings/sec, 685 secs
lola: 2544681 markings, 396919416 edges, 3567 markings/sec, 690 secs
lola: 2564988 markings, 399997919 edges, 4061 markings/sec, 695 secs
lola: 2584657 markings, 403000957 edges, 3934 markings/sec, 700 secs
lola: 2602041 markings, 405921073 edges, 3477 markings/sec, 705 secs
lola: 2619881 markings, 408653862 edges, 3568 markings/sec, 710 secs
lola: 2637880 markings, 411426728 edges, 3600 markings/sec, 715 secs
lola: 2654825 markings, 414243372 edges, 3389 markings/sec, 720 secs
lola: 2671930 markings, 416934296 edges, 3421 markings/sec, 725 secs
lola: 2689388 markings, 419665110 edges, 3492 markings/sec, 730 secs
lola: 2706248 markings, 422310011 edges, 3372 markings/sec, 735 secs
lola: 2723257 markings, 424977339 edges, 3402 markings/sec, 740 secs
lola: 2740053 markings, 427598395 edges, 3359 markings/sec, 745 secs
lola: 2757101 markings, 430252249 edges, 3410 markings/sec, 750 secs
lola: 2774019 markings, 432837829 edges, 3384 markings/sec, 755 secs
lola: 2790671 markings, 435351946 edges, 3330 markings/sec, 760 secs
lola: 2806253 markings, 437870358 edges, 3116 markings/sec, 765 secs
lola: 2824274 markings, 440789627 edges, 3604 markings/sec, 770 secs
lola: 2843724 markings, 443840087 edges, 3890 markings/sec, 775 secs
lola: 2864530 markings, 447073276 edges, 4161 markings/sec, 780 secs
lola: 2882685 markings, 449943246 edges, 3631 markings/sec, 785 secs
lola: 2898964 markings, 452511259 edges, 3256 markings/sec, 790 secs
lola: 2918148 markings, 455379052 edges, 3837 markings/sec, 795 secs
lola: 2934077 markings, 458032307 edges, 3186 markings/sec, 800 secs
lola: 2950988 markings, 460688638 edges, 3382 markings/sec, 805 secs
lola: 2967287 markings, 463245470 edges, 3260 markings/sec, 810 secs
lola: 2983508 markings, 465767003 edges, 3244 markings/sec, 815 secs
lola: 2999253 markings, 468256107 edges, 3149 markings/sec, 820 secs
lola: 3017962 markings, 471193170 edges, 3742 markings/sec, 825 secs
lola: 3035085 markings, 473874650 edges, 3425 markings/sec, 830 secs
lola: 3051307 markings, 476367632 edges, 3244 markings/sec, 835 secs
lola: 3068007 markings, 479020234 edges, 3340 markings/sec, 840 secs
lola: 3084283 markings, 481539384 edges, 3255 markings/sec, 845 secs
lola: 3100540 markings, 484100133 edges, 3251 markings/sec, 850 secs
lola: 3116837 markings, 486663324 edges, 3259 markings/sec, 855 secs
lola: 3133068 markings, 489200620 edges, 3246 markings/sec, 860 secs
lola: 3149380 markings, 491753114 edges, 3262 markings/sec, 865 secs
lola: 3164915 markings, 494182290 edges, 3107 markings/sec, 870 secs
lola: 3181597 markings, 496788217 edges, 3336 markings/sec, 875 secs
lola: 3197018 markings, 499184358 edges, 3084 markings/sec, 880 secs
lola: 3213262 markings, 501727726 edges, 3249 markings/sec, 885 secs
lola: 3228496 markings, 504162316 edges, 3047 markings/sec, 890 secs
lola: 3244388 markings, 506637941 edges, 3178 markings/sec, 895 secs
lola: 3260086 markings, 509103530 edges, 3140 markings/sec, 900 secs
lola: 3275278 markings, 511478718 edges, 3038 markings/sec, 905 secs
lola: 3294877 markings, 514472659 edges, 3920 markings/sec, 910 secs
lola: 3312665 markings, 517231406 edges, 3558 markings/sec, 915 secs
lola: 3329995 markings, 519916327 edges, 3466 markings/sec, 920 secs
lola: 3347861 markings, 522573777 edges, 3573 markings/sec, 925 secs
lola: 3364585 markings, 525284307 edges, 3345 markings/sec, 930 secs
lola: 3383568 markings, 528423646 edges, 3797 markings/sec, 935 secs
lola: 3403775 markings, 531595718 edges, 4041 markings/sec, 940 secs
lola: 3424350 markings, 534828790 edges, 4115 markings/sec, 945 secs
lola: 3441551 markings, 537511275 edges, 3440 markings/sec, 950 secs
lola: 3458098 markings, 540120009 edges, 3309 markings/sec, 955 secs
lola: 3477386 markings, 543150652 edges, 3858 markings/sec, 960 secs
lola: 3494989 markings, 545861162 edges, 3521 markings/sec, 965 secs
lola: 3511690 markings, 548514302 edges, 3340 markings/sec, 970 secs
lola: 3528984 markings, 551223770 edges, 3459 markings/sec, 975 secs
lola: 3545999 markings, 553881873 edges, 3403 markings/sec, 980 secs
lola: 3562398 markings, 556460595 edges, 3280 markings/sec, 985 secs
lola: 3579369 markings, 559122445 edges, 3394 markings/sec, 990 secs
lola: 3597751 markings, 562007637 edges, 3676 markings/sec, 995 secs
lola: 3616056 markings, 564879811 edges, 3661 markings/sec, 1000 secs
lola: 3633390 markings, 567597513 edges, 3467 markings/sec, 1005 secs
lola: 3650910 markings, 570338454 edges, 3504 markings/sec, 1010 secs
lola: 3668215 markings, 573033485 edges, 3461 markings/sec, 1015 secs
lola: 3686159 markings, 575733459 edges, 3589 markings/sec, 1020 secs
lola: 3702747 markings, 578175100 edges, 3318 markings/sec, 1025 secs
lola: 3716989 markings, 580655863 edges, 2848 markings/sec, 1030 secs
lola: 3736202 markings, 583675588 edges, 3843 markings/sec, 1035 secs
lola: 3752427 markings, 586226529 edges, 3245 markings/sec, 1040 secs
lola: 3769106 markings, 588846382 edges, 3336 markings/sec, 1045 secs
lola: 3784994 markings, 591332386 edges, 3178 markings/sec, 1050 secs
lola: 3800009 markings, 593702881 edges, 3003 markings/sec, 1055 secs
lola: 3817670 markings, 596254505 edges, 3532 markings/sec, 1060 secs
lola: 3832711 markings, 598819334 edges, 3008 markings/sec, 1065 secs
lola: 3852508 markings, 601878784 edges, 3959 markings/sec, 1070 secs
lola: 3869378 markings, 604581247 edges, 3374 markings/sec, 1075 secs
lola: 3886527 markings, 607277353 edges, 3430 markings/sec, 1080 secs
lola: 3902827 markings, 609832583 edges, 3260 markings/sec, 1085 secs
lola: 3919693 markings, 612308611 edges, 3373 markings/sec, 1090 secs
lola: 3935553 markings, 614962995 edges, 3172 markings/sec, 1095 secs
lola: 3954413 markings, 617929518 edges, 3772 markings/sec, 1100 secs
lola: 3972205 markings, 620713305 edges, 3558 markings/sec, 1105 secs
lola: 3991424 markings, 623746886 edges, 3844 markings/sec, 1110 secs
lola: 4008755 markings, 626456445 edges, 3466 markings/sec, 1115 secs
lola: 4027968 markings, 629478031 edges, 3843 markings/sec, 1120 secs
lola: 4046125 markings, 632324565 edges, 3631 markings/sec, 1125 secs
lola: 4065307 markings, 635329955 edges, 3836 markings/sec, 1130 secs
lola: 4083557 markings, 638194106 edges, 3650 markings/sec, 1135 secs
lola: 4102202 markings, 641116117 edges, 3729 markings/sec, 1140 secs
lola: 4121272 markings, 644101382 edges, 3814 markings/sec, 1145 secs
lola: 4140051 markings, 647032541 edges, 3756 markings/sec, 1150 secs
lola: 4158703 markings, 649965521 edges, 3730 markings/sec, 1155 secs
lola: 4176674 markings, 652790813 edges, 3594 markings/sec, 1160 secs
lola: 4194825 markings, 655635200 edges, 3630 markings/sec, 1165 secs
lola: 4212996 markings, 658471619 edges, 3634 markings/sec, 1170 secs
lola: 4230835 markings, 661263451 edges, 3568 markings/sec, 1175 secs
lola: 4249167 markings, 664145750 edges, 3666 markings/sec, 1180 secs
lola: 4267164 markings, 666910243 edges, 3599 markings/sec, 1185 secs
lola: 4284581 markings, 669610531 edges, 3483 markings/sec, 1190 secs
lola: 4302482 markings, 672480416 edges, 3580 markings/sec, 1195 secs
lola: 4319773 markings, 675166150 edges, 3458 markings/sec, 1200 secs
lola: 4336065 markings, 677764381 edges, 3258 markings/sec, 1205 secs
lola: 4352389 markings, 680315337 edges, 3265 markings/sec, 1210 secs
lola: 4369872 markings, 682821430 edges, 3497 markings/sec, 1215 secs
lola: 4384997 markings, 685432936 edges, 3025 markings/sec, 1220 secs
lola: 4403737 markings, 688385333 edges, 3748 markings/sec, 1225 secs
lola: 4420424 markings, 690999398 edges, 3337 markings/sec, 1230 secs
lola: 4436310 markings, 693498468 edges, 3177 markings/sec, 1235 secs
lola: 4452492 markings, 696039592 edges, 3236 markings/sec, 1240 secs
lola: 4468732 markings, 698586011 edges, 3248 markings/sec, 1245 secs
lola: 4484686 markings, 701069436 edges, 3191 markings/sec, 1250 secs
lola: 4500331 markings, 703529310 edges, 3129 markings/sec, 1255 secs
lola: 4515743 markings, 705952021 edges, 3082 markings/sec, 1260 secs
lola: 4531014 markings, 708342439 edges, 3054 markings/sec, 1265 secs
lola: 4545986 markings, 710692387 edges, 2994 markings/sec, 1270 secs
lola: 4563650 markings, 713416656 edges, 3533 markings/sec, 1275 secs
lola: 4580398 markings, 716037052 edges, 3350 markings/sec, 1280 secs
lola: 4599637 markings, 719079346 edges, 3848 markings/sec, 1285 secs
lola: 4616210 markings, 721700916 edges, 3315 markings/sec, 1290 secs
lola: 4633342 markings, 724385319 edges, 3426 markings/sec, 1295 secs
lola: 4649789 markings, 726960547 edges, 3289 markings/sec, 1300 secs
lola: 4666824 markings, 729642976 edges, 3407 markings/sec, 1305 secs
lola: 4683691 markings, 732288856 edges, 3373 markings/sec, 1310 secs
lola: 4700054 markings, 734821915 edges, 3273 markings/sec, 1315 secs
lola: 4716338 markings, 737388164 edges, 3257 markings/sec, 1320 secs
lola: 4732949 markings, 739939778 edges, 3322 markings/sec, 1325 secs
lola: 4748984 markings, 742488537 edges, 3207 markings/sec, 1330 secs
lola: 4766663 markings, 745259203 edges, 3536 markings/sec, 1335 secs
lola: 4784819 markings, 748103665 edges, 3631 markings/sec, 1340 secs
lola: 4803247 markings, 750978703 edges, 3686 markings/sec, 1345 secs
lola: 4821391 markings, 753815639 edges, 3629 markings/sec, 1350 secs
lola: 4839000 markings, 756552938 edges, 3522 markings/sec, 1355 secs
lola: 4856003 markings, 759219891 edges, 3401 markings/sec, 1360 secs
lola: 4872742 markings, 761834018 edges, 3348 markings/sec, 1365 secs
lola: 4888655 markings, 764328602 edges, 3183 markings/sec, 1370 secs
lola: 4903804 markings, 766687453 edges, 3030 markings/sec, 1375 secs
lola: 4920797 markings, 769349495 edges, 3399 markings/sec, 1380 secs
lola: 4937419 markings, 771949874 edges, 3324 markings/sec, 1385 secs
lola: 4954152 markings, 774536465 edges, 3347 markings/sec, 1390 secs
lola: 4970659 markings, 777130670 edges, 3301 markings/sec, 1395 secs
lola: 4985940 markings, 779512168 edges, 3056 markings/sec, 1400 secs
lola: 5003088 markings, 782209428 edges, 3430 markings/sec, 1405 secs
lola: 5020003 markings, 784840473 edges, 3383 markings/sec, 1410 secs
lola: 5037979 markings, 787671153 edges, 3595 markings/sec, 1415 secs
lola: 5056329 markings, 790537862 edges, 3670 markings/sec, 1420 secs
lola: 5074663 markings, 793401137 edges, 3667 markings/sec, 1425 secs
lola: 5092287 markings, 796152608 edges, 3525 markings/sec, 1430 secs
lola: 5109502 markings, 798836830 edges, 3443 markings/sec, 1435 secs
lola: 5125524 markings, 801343105 edges, 3204 markings/sec, 1440 secs
lola: 5141938 markings, 803917110 edges, 3283 markings/sec, 1445 secs
lola: 5157497 markings, 806342937 edges, 3112 markings/sec, 1450 secs
lola: 5173178 markings, 808783462 edges, 3136 markings/sec, 1455 secs
lola: 5190329 markings, 811479523 edges, 3430 markings/sec, 1460 secs
lola: 5207151 markings, 814096026 edges, 3364 markings/sec, 1465 secs
lola: 5223651 markings, 816674425 edges, 3300 markings/sec, 1470 secs
lola: 5238898 markings, 819062913 edges, 3049 markings/sec, 1475 secs
lola: 5255502 markings, 821660517 edges, 3321 markings/sec, 1480 secs
lola: 5271519 markings, 824147643 edges, 3203 markings/sec, 1485 secs
lola: 5289236 markings, 826940736 edges, 3543 markings/sec, 1490 secs
lola: 5307279 markings, 829763876 edges, 3609 markings/sec, 1495 secs
lola: 5325629 markings, 832626169 edges, 3670 markings/sec, 1500 secs
lola: 5343580 markings, 835431921 edges, 3590 markings/sec, 1505 secs
lola: 5361197 markings, 838143194 edges, 3523 markings/sec, 1510 secs
lola: 5377702 markings, 840735873 edges, 3301 markings/sec, 1515 secs
lola: 5394230 markings, 843340866 edges, 3306 markings/sec, 1520 secs
lola: 5409813 markings, 845782730 edges, 3117 markings/sec, 1525 secs
lola: 5424722 markings, 848115174 edges, 2982 markings/sec, 1530 secs
lola: 5441750 markings, 850767789 edges, 3406 markings/sec, 1535 secs
lola: 5458205 markings, 853350080 edges, 3291 markings/sec, 1540 secs
lola: 5474396 markings, 855863628 edges, 3238 markings/sec, 1545 secs
lola: 5490777 markings, 858433684 edges, 3276 markings/sec, 1550 secs
lola: 5505984 markings, 860807984 edges, 3041 markings/sec, 1555 secs
lola: 5522943 markings, 863462790 edges, 3392 markings/sec, 1560 secs
lola: 5539612 markings, 866069832 edges, 3334 markings/sec, 1565 secs
lola: 5557319 markings, 868844893 edges, 3541 markings/sec, 1570 secs
lola: 5575366 markings, 871664029 edges, 3609 markings/sec, 1575 secs
lola: 5593386 markings, 874475372 edges, 3604 markings/sec, 1580 secs
lola: 5611074 markings, 877240239 edges, 3538 markings/sec, 1585 secs
lola: 5628206 markings, 879906983 edges, 3426 markings/sec, 1590 secs
lola: 5644102 markings, 882383993 edges, 3179 markings/sec, 1595 secs
lola: 5660379 markings, 884946887 edges, 3255 markings/sec, 1600 secs
lola: 5675910 markings, 887371175 edges, 3106 markings/sec, 1605 secs
lola: 5691643 markings, 889791579 edges, 3147 markings/sec, 1610 secs
lola: 5708400 markings, 892454044 edges, 3351 markings/sec, 1615 secs
lola: 5724704 markings, 895002968 edges, 3261 markings/sec, 1620 secs
lola: 5740611 markings, 897496521 edges, 3181 markings/sec, 1625 secs
lola: 5755907 markings, 899908672 edges, 3059 markings/sec, 1630 secs
lola: 5771847 markings, 902412949 edges, 3188 markings/sec, 1635 secs
lola: 5787392 markings, 904856488 edges, 3109 markings/sec, 1640 secs
lola: 5804383 markings, 907543688 edges, 3398 markings/sec, 1645 secs
lola: 5821471 markings, 910236017 edges, 3418 markings/sec, 1650 secs
lola: 5839090 markings, 913003894 edges, 3524 markings/sec, 1655 secs
lola: 5856488 markings, 915740402 edges, 3480 markings/sec, 1660 secs
lola: 5873579 markings, 918411112 edges, 3418 markings/sec, 1665 secs
lola: 5889819 markings, 920974816 edges, 3248 markings/sec, 1670 secs
lola: 5905420 markings, 923427956 edges, 3120 markings/sec, 1675 secs
lola: 5921170 markings, 925914846 edges, 3150 markings/sec, 1680 secs
lola: 5935977 markings, 928240033 edges, 2961 markings/sec, 1685 secs
lola: 5951198 markings, 930599546 edges, 3044 markings/sec, 1690 secs
lola: 5967645 markings, 933222325 edges, 3289 markings/sec, 1695 secs
lola: 5983787 markings, 935750096 edges, 3228 markings/sec, 1700 secs
lola: 5999763 markings, 938237993 edges, 3195 markings/sec, 1705 secs
lola: 6015294 markings, 940677212 edges, 3106 markings/sec, 1710 secs
lola: 6031399 markings, 943187310 edges, 3221 markings/sec, 1715 secs
lola: 6047212 markings, 945644817 edges, 3163 markings/sec, 1720 secs
lola: 6064297 markings, 948338691 edges, 3417 markings/sec, 1725 secs
lola: 6081746 markings, 951073222 edges, 3490 markings/sec, 1730 secs
lola: 6099431 markings, 953830603 edges, 3537 markings/sec, 1735 secs
lola: 6117050 markings, 956589664 edges, 3524 markings/sec, 1740 secs
lola: 6134444 markings, 959254422 edges, 3479 markings/sec, 1745 secs
lola: 6150597 markings, 961825792 edges, 3231 markings/sec, 1750 secs
lola: 6166596 markings, 964325944 edges, 3200 markings/sec, 1755 secs
lola: 6182344 markings, 966792157 edges, 3150 markings/sec, 1760 secs
lola: 6197259 markings, 969119366 edges, 2983 markings/sec, 1765 secs
lola: 6212813 markings, 971536179 edges, 3111 markings/sec, 1770 secs
lola: 6229390 markings, 974145092 edges, 3315 markings/sec, 1775 secs
lola: 6245710 markings, 976683330 edges, 3264 markings/sec, 1780 secs
lola: 6261776 markings, 979191046 edges, 3213 markings/sec, 1785 secs
lola: 6276656 markings, 981529174 edges, 2976 markings/sec, 1790 secs
lola: 6292804 markings, 984040004 edges, 3230 markings/sec, 1795 secs
lola: 6308296 markings, 986460100 edges, 3098 markings/sec, 1800 secs
lola: 6325463 markings, 989163647 edges, 3433 markings/sec, 1805 secs
lola: 6342821 markings, 991879520 edges, 3472 markings/sec, 1810 secs
lola: 6360367 markings, 994618277 edges, 3509 markings/sec, 1815 secs
lola: 6377866 markings, 997355269 edges, 3500 markings/sec, 1820 secs
lola: 6395248 markings, 1000007379 edges, 3476 markings/sec, 1825 secs
lola: 6411449 markings, 1002595366 edges, 3240 markings/sec, 1830 secs
lola: 6427511 markings, 1005109494 edges, 3212 markings/sec, 1835 secs
lola: 6443054 markings, 1007543077 edges, 3109 markings/sec, 1840 secs
lola: 6457843 markings, 1009846430 edges, 2958 markings/sec, 1845 secs
lola: 6473309 markings, 1012255616 edges, 3093 markings/sec, 1850 secs
lola: 6489658 markings, 1014821475 edges, 3270 markings/sec, 1855 secs
lola: 6505774 markings, 1017324805 edges, 3223 markings/sec, 1860 secs
lola: 6521713 markings, 1019804645 edges, 3188 markings/sec, 1865 secs
lola: 6537413 markings, 1022250037 edges, 3140 markings/sec, 1870 secs
lola: 6552412 markings, 1024582813 edges, 3000 markings/sec, 1875 secs
lola: 6566851 markings, 1026824396 edges, 2888 markings/sec, 1880 secs
lola: 6581890 markings, 1029150225 edges, 3008 markings/sec, 1885 secs
lola: 6597939 markings, 1031649129 edges, 3210 markings/sec, 1890 secs
lola: 6614058 markings, 1034145716 edges, 3224 markings/sec, 1895 secs
lola: 6630039 markings, 1036589194 edges, 3196 markings/sec, 1900 secs
lola: 6646079 markings, 1039124947 edges, 3208 markings/sec, 1905 secs
lola: 6666624 markings, 1041636239 edges, 4109 markings/sec, 1910 secs
lola: 6680938 markings, 1043913198 edges, 2863 markings/sec, 1915 secs
lola: 6692547 markings, 1046226838 edges, 2322 markings/sec, 1920 secs
lola: 6707131 markings, 1048674124 edges, 2917 markings/sec, 1925 secs
lola: 6728302 markings, 1051332800 edges, 4234 markings/sec, 1930 secs
lola: 6741039 markings, 1053946588 edges, 2547 markings/sec, 1935 secs
lola: 6760393 markings, 1056543208 edges, 3871 markings/sec, 1940 secs
lola: 6773380 markings, 1059023435 edges, 2597 markings/sec, 1945 secs
lola: 6787684 markings, 1061291744 edges, 2861 markings/sec, 1950 secs
lola: 6804308 markings, 1063748306 edges, 3325 markings/sec, 1955 secs
lola: 6818865 markings, 1066212524 edges, 2911 markings/sec, 1960 secs
lola: 6833890 markings, 1068565264 edges, 3005 markings/sec, 1965 secs
lola: 6848727 markings, 1070901420 edges, 2967 markings/sec, 1970 secs
lola: 6864108 markings, 1073266143 edges, 3076 markings/sec, 1975 secs
lola: 6878875 markings, 1075566569 edges, 2953 markings/sec, 1980 secs
lola: 6893002 markings, 1077838518 edges, 2825 markings/sec, 1985 secs
lola: 6908680 markings, 1080168202 edges, 3136 markings/sec, 1990 secs
lola: 6923970 markings, 1082522554 edges, 3058 markings/sec, 1995 secs
lola: 6937825 markings, 1084780882 edges, 2771 markings/sec, 2000 secs
lola: 6952556 markings, 1087039905 edges, 2946 markings/sec, 2005 secs
lola: 6965623 markings, 1089204210 edges, 2613 markings/sec, 2010 secs
lola: 6982710 markings, 1091730684 edges, 3417 markings/sec, 2015 secs
lola: 6998042 markings, 1094291038 edges, 3066 markings/sec, 2020 secs
lola: 7015565 markings, 1097042089 edges, 3505 markings/sec, 2025 secs
lola: 7033137 markings, 1099805975 edges, 3514 markings/sec, 2030 secs
lola: 7049374 markings, 1102214732 edges, 3247 markings/sec, 2035 secs
lola: 7062909 markings, 1104446495 edges, 2707 markings/sec, 2040 secs
lola: 7078842 markings, 1106943400 edges, 3187 markings/sec, 2045 secs
lola: 7093933 markings, 1109316885 edges, 3018 markings/sec, 2050 secs
lola: 7108523 markings, 1111633005 edges, 2918 markings/sec, 2055 secs
lola: 7123073 markings, 1113899665 edges, 2910 markings/sec, 2060 secs
lola: 7137015 markings, 1116103258 edges, 2788 markings/sec, 2065 secs
lola: 7151900 markings, 1118312243 edges, 2977 markings/sec, 2070 secs
lola: 7165376 markings, 1120536426 edges, 2695 markings/sec, 2075 secs
lola: 7181683 markings, 1123103509 edges, 3261 markings/sec, 2080 secs
lola: 7196641 markings, 1125453558 edges, 2992 markings/sec, 2085 secs
lola: 7210764 markings, 1127667485 edges, 2825 markings/sec, 2090 secs
lola: 7225327 markings, 1129940435 edges, 2913 markings/sec, 2095 secs
lola: 7239869 markings, 1132202477 edges, 2908 markings/sec, 2100 secs
lola: 7253366 markings, 1134325415 edges, 2699 markings/sec, 2105 secs
lola: 7268428 markings, 1136632240 edges, 3012 markings/sec, 2110 secs
lola: 7282188 markings, 1138839355 edges, 2752 markings/sec, 2115 secs
lola: 7296373 markings, 1141057585 edges, 2837 markings/sec, 2120 secs
lola: 7310646 markings, 1143289843 edges, 2855 markings/sec, 2125 secs
lola: 7324530 markings, 1145421931 edges, 2777 markings/sec, 2130 secs
lola: 7338515 markings, 1147649319 edges, 2797 markings/sec, 2135 secs
lola: 7352606 markings, 1149866985 edges, 2818 markings/sec, 2140 secs
lola: 7366027 markings, 1151978695 edges, 2684 markings/sec, 2145 secs
lola: 7380712 markings, 1154243356 edges, 2937 markings/sec, 2150 secs
lola: 7393960 markings, 1156346920 edges, 2650 markings/sec, 2155 secs
lola: 7408285 markings, 1158549073 edges, 2865 markings/sec, 2160 secs
lola: 7422081 markings, 1160735946 edges, 2759 markings/sec, 2165 secs
lola: 7435158 markings, 1162792711 edges, 2615 markings/sec, 2170 secs
lola: 7451117 markings, 1165285071 edges, 3192 markings/sec, 2175 secs
lola: 7470113 markings, 1167789861 edges, 3799 markings/sec, 2180 secs
lola: 7483279 markings, 1170249092 edges, 2633 markings/sec, 2185 secs
lola: 7501108 markings, 1172616516 edges, 3566 markings/sec, 2190 secs
lola: 7513389 markings, 1174963662 edges, 2456 markings/sec, 2195 secs
lola: 7529533 markings, 1177361111 edges, 3229 markings/sec, 2200 secs
lola: 7545436 markings, 1180053383 edges, 3181 markings/sec, 2205 secs
lola: 7562735 markings, 1182767448 edges, 3460 markings/sec, 2210 secs
lola: 7580607 markings, 1185569914 edges, 3574 markings/sec, 2215 secs
lola: 7597205 markings, 1188151981 edges, 3320 markings/sec, 2220 secs
lola: 7613180 markings, 1190479189 edges, 3195 markings/sec, 2225 secs
lola: 7626985 markings, 1192848804 edges, 2761 markings/sec, 2230 secs
lola: 7643792 markings, 1195489523 edges, 3361 markings/sec, 2235 secs
lola: 7659129 markings, 1197859409 edges, 3067 markings/sec, 2240 secs
lola: 7674059 markings, 1200217150 edges, 2986 markings/sec, 2245 secs
lola: 7688859 markings, 1202538919 edges, 2960 markings/sec, 2250 secs
lola: 7703706 markings, 1204868295 edges, 2969 markings/sec, 2255 secs
lola: 7718519 markings, 1207192736 edges, 2963 markings/sec, 2260 secs
lola: 7733329 markings, 1209512397 edges, 2962 markings/sec, 2265 secs
lola: 7748529 markings, 1211881053 edges, 3040 markings/sec, 2270 secs
lola: 7763144 markings, 1214192253 edges, 2923 markings/sec, 2275 secs
lola: 7778307 markings, 1216563354 edges, 3033 markings/sec, 2280 secs
lola: 7795400 markings, 1219240788 edges, 3419 markings/sec, 2285 secs
lola: 7812565 markings, 1221886760 edges, 3433 markings/sec, 2290 secs
lola: 7830680 markings, 1224703568 edges, 3623 markings/sec, 2295 secs
lola: 7847796 markings, 1227445819 edges, 3423 markings/sec, 2300 secs
lola: 7864667 markings, 1230104597 edges, 3374 markings/sec, 2305 secs
lola: 7881039 markings, 1232672128 edges, 3274 markings/sec, 2310 secs
lola: 7898519 markings, 1235192723 edges, 3496 markings/sec, 2315 secs
lola: 7912808 markings, 1237622109 edges, 2858 markings/sec, 2320 secs
lola: 7930265 markings, 1240381173 edges, 3491 markings/sec, 2325 secs
lola: 7947893 markings, 1243146765 edges, 3526 markings/sec, 2330 secs
lola: 7964485 markings, 1245760924 edges, 3318 markings/sec, 2335 secs
lola: 7980128 markings, 1248214313 edges, 3129 markings/sec, 2340 secs
lola: 7996433 markings, 1250779669 edges, 3261 markings/sec, 2345 secs
lola: 8012279 markings, 1253259176 edges, 3169 markings/sec, 2350 secs
lola: 8027780 markings, 1255695483 edges, 3100 markings/sec, 2355 secs
lola: 8043163 markings, 1258103083 edges, 3077 markings/sec, 2360 secs
lola: 8058363 markings, 1260479148 edges, 3040 markings/sec, 2365 secs
lola: 8073428 markings, 1262853880 edges, 3013 markings/sec, 2370 secs
lola: 8088739 markings, 1265239177 edges, 3062 markings/sec, 2375 secs
lola: 8106103 markings, 1267925000 edges, 3473 markings/sec, 2380 secs
lola: 8123417 markings, 1270578168 edges, 3463 markings/sec, 2385 secs
lola: 8141729 markings, 1273555332 edges, 3662 markings/sec, 2390 secs
lola: 8158378 markings, 1276170660 edges, 3330 markings/sec, 2395 secs
lola: 8175103 markings, 1278792956 edges, 3345 markings/sec, 2400 secs
lola: 8191022 markings, 1281285537 edges, 3184 markings/sec, 2405 secs
lola: 8207482 markings, 1283874023 edges, 3292 markings/sec, 2410 secs
lola: 8224614 markings, 1286529309 edges, 3426 markings/sec, 2415 secs
lola: 8241045 markings, 1289108139 edges, 3286 markings/sec, 2420 secs
lola: 8257713 markings, 1291730560 edges, 3334 markings/sec, 2425 secs
lola: 8273286 markings, 1294163300 edges, 3115 markings/sec, 2430 secs
lola: 8288259 markings, 1296501867 edges, 2995 markings/sec, 2435 secs
lola: 8305458 markings, 1299191511 edges, 3440 markings/sec, 2440 secs
lola: 8322169 markings, 1301794992 edges, 3342 markings/sec, 2445 secs
lola: 8339508 markings, 1304506666 edges, 3468 markings/sec, 2450 secs
lola: 8356185 markings, 1307114924 edges, 3335 markings/sec, 2455 secs
lola: 8372690 markings, 1309703292 edges, 3301 markings/sec, 2460 secs
lola: 8388214 markings, 1312129697 edges, 3105 markings/sec, 2465 secs
lola: 8404514 markings, 1314672404 edges, 3260 markings/sec, 2470 secs
lola: 8421552 markings, 1317337993 edges, 3408 markings/sec, 2475 secs
lola: 8438926 markings, 1320025892 edges, 3475 markings/sec, 2480 secs
lola: 8455367 markings, 1322608743 edges, 3288 markings/sec, 2485 secs
lola: 8471977 markings, 1325222781 edges, 3322 markings/sec, 2490 secs
lola: 8487587 markings, 1327659565 edges, 3122 markings/sec, 2495 secs
lola: 8502644 markings, 1330013399 edges, 3011 markings/sec, 2500 secs
lola: 8519755 markings, 1332689197 edges, 3422 markings/sec, 2505 secs
lola: 8536463 markings, 1335291656 edges, 3342 markings/sec, 2510 secs
lola: 8553874 markings, 1338019016 edges, 3482 markings/sec, 2515 secs
lola: 8570685 markings, 1340644303 edges, 3362 markings/sec, 2520 secs
lola: 8587201 markings, 1343233785 edges, 3303 markings/sec, 2525 secs
lola: 8602815 markings, 1345669151 edges, 3123 markings/sec, 2530 secs
lola: 8619092 markings, 1348211654 edges, 3255 markings/sec, 2535 secs
lola: 8636031 markings, 1350862116 edges, 3388 markings/sec, 2540 secs
lola: 8653043 markings, 1353517702 edges, 3402 markings/sec, 2545 secs
lola: 8669043 markings, 1356028159 edges, 3200 markings/sec, 2550 secs
lola: 8685145 markings, 1358582122 edges, 3220 markings/sec, 2555 secs
lola: 8700328 markings, 1360971742 edges, 3037 markings/sec, 2560 secs
lola: 8714818 markings, 1363255374 edges, 2898 markings/sec, 2565 secs
lola: 8731463 markings, 1365862399 edges, 3329 markings/sec, 2570 secs
lola: 8747430 markings, 1368377880 edges, 3193 markings/sec, 2575 secs
lola: 8764438 markings, 1371038998 edges, 3402 markings/sec, 2580 secs
lola: 8780464 markings, 1373533349 edges, 3205 markings/sec, 2585 secs
lola: 8797032 markings, 1376125037 edges, 3314 markings/sec, 2590 secs
lola: 8812444 markings, 1378544289 edges, 3082 markings/sec, 2595 secs
lola: 8827887 markings, 1380951080 edges, 3089 markings/sec, 2600 secs
lola: 8844693 markings, 1383587804 edges, 3361 markings/sec, 2605 secs
lola: 8861478 markings, 1386140139 edges, 3357 markings/sec, 2610 secs
lola: 8877673 markings, 1388735769 edges, 3239 markings/sec, 2615 secs
lola: 8893910 markings, 1391276299 edges, 3247 markings/sec, 2620 secs
lola: 8909463 markings, 1393714490 edges, 3111 markings/sec, 2625 secs
lola: 8924293 markings, 1396027771 edges, 2966 markings/sec, 2630 secs
lola: 8939860 markings, 1398456764 edges, 3113 markings/sec, 2635 secs
lola: 8956327 markings, 1401036912 edges, 3293 markings/sec, 2640 secs
lola: 8973068 markings, 1403636435 edges, 3348 markings/sec, 2645 secs
lola: 8989549 markings, 1406203918 edges, 3296 markings/sec, 2650 secs
lola: 9007300 markings, 1408910632 edges, 3550 markings/sec, 2655 secs
lola: 9025774 markings, 1411474569 edges, 3695 markings/sec, 2660 secs
lola: 9039876 markings, 1413975318 edges, 2820 markings/sec, 2665 secs
lola: 9056339 markings, 1416454232 edges, 3293 markings/sec, 2670 secs
lola: 9070504 markings, 1418858058 edges, 2833 markings/sec, 2675 secs
lola: 9088737 markings, 1421504531 edges, 3647 markings/sec, 2680 secs
lola: 9104386 markings, 1424123280 edges, 3130 markings/sec, 2685 secs
lola: 9121536 markings, 1426859198 edges, 3430 markings/sec, 2690 secs
lola: 9138712 markings, 1429551801 edges, 3435 markings/sec, 2695 secs
lola: 9154924 markings, 1432079716 edges, 3242 markings/sec, 2700 secs
lola: 9170598 markings, 1434540459 edges, 3135 markings/sec, 2705 secs
lola: 9187052 markings, 1437148840 edges, 3291 markings/sec, 2710 secs
lola: 9203058 markings, 1439656320 edges, 3201 markings/sec, 2715 secs
lola: 9219050 markings, 1442155112 edges, 3198 markings/sec, 2720 secs
lola: 9234791 markings, 1444608967 edges, 3148 markings/sec, 2725 secs
lola: 9250139 markings, 1447024214 edges, 3070 markings/sec, 2730 secs
lola: 9265594 markings, 1449449988 edges, 3091 markings/sec, 2735 secs
lola: 9281156 markings, 1451887047 edges, 3112 markings/sec, 2740 secs
lola: 9297062 markings, 1454380197 edges, 3181 markings/sec, 2745 secs
lola: 9313109 markings, 1456905072 edges, 3209 markings/sec, 2750 secs
lola: 9329406 markings, 1459412391 edges, 3259 markings/sec, 2755 secs
lola: 9344915 markings, 1461771706 edges, 3102 markings/sec, 2760 secs
lola: 9360428 markings, 1464306085 edges, 3103 markings/sec, 2765 secs
lola: 9376109 markings, 1466762709 edges, 3136 markings/sec, 2770 secs
lola: 9391616 markings, 1469214247 edges, 3101 markings/sec, 2775 secs
lola: 9406880 markings, 1471593707 edges, 3053 markings/sec, 2780 secs
lola: 9421566 markings, 1473913501 edges, 2937 markings/sec, 2785 secs
lola: 9437097 markings, 1476337208 edges, 3106 markings/sec, 2790 secs
lola: 9452327 markings, 1478726293 edges, 3046 markings/sec, 2795 secs
lola: 9467287 markings, 1481049980 edges, 2992 markings/sec, 2800 secs
lola: 9482319 markings, 1483419448 edges, 3006 markings/sec, 2805 secs
lola: 9497173 markings, 1485730268 edges, 2971 markings/sec, 2810 secs
lola: 9512107 markings, 1488073844 edges, 2987 markings/sec, 2815 secs
lola: 9526887 markings, 1490368935 edges, 2956 markings/sec, 2820 secs
lola: 9541645 markings, 1492693114 edges, 2952 markings/sec, 2825 secs
lola: 9556283 markings, 1494973753 edges, 2928 markings/sec, 2830 secs
lola: 9570804 markings, 1497275435 edges, 2904 markings/sec, 2835 secs
lola: 9585165 markings, 1499520286 edges, 2872 markings/sec, 2840 secs
lola: 9599635 markings, 1501790427 edges, 2894 markings/sec, 2845 secs
lola: 9614030 markings, 1504012509 edges, 2879 markings/sec, 2850 secs
lola: 9628360 markings, 1506276728 edges, 2866 markings/sec, 2855 secs
lola: 9642943 markings, 1508556384 edges, 2917 markings/sec, 2860 secs
lola: 9659158 markings, 1511112296 edges, 3243 markings/sec, 2865 secs
lola: 9674608 markings, 1513533441 edges, 3090 markings/sec, 2870 secs
lola: 9692304 markings, 1516265827 edges, 3539 markings/sec, 2875 secs
lola: 9709890 markings, 1519061721 edges, 3517 markings/sec, 2880 secs
lola: 9727751 markings, 1521863436 edges, 3572 markings/sec, 2885 secs
lola: 9745181 markings, 1524551102 edges, 3486 markings/sec, 2890 secs
lola: 9762700 markings, 1527342396 edges, 3504 markings/sec, 2895 secs
lola: 9779619 markings, 1530007418 edges, 3384 markings/sec, 2900 secs
lola: 9796447 markings, 1532642462 edges, 3366 markings/sec, 2905 secs
lola: 9812869 markings, 1535224388 edges, 3284 markings/sec, 2910 secs
lola: 9828126 markings, 1537614793 edges, 3051 markings/sec, 2915 secs
lola: 9843020 markings, 1539948562 edges, 2979 markings/sec, 2920 secs
lola: 9858568 markings, 1542397712 edges, 3110 markings/sec, 2925 secs
lola: 9875442 markings, 1545044287 edges, 3375 markings/sec, 2930 secs
lola: 9892308 markings, 1547652450 edges, 3373 markings/sec, 2935 secs
lola: 9907832 markings, 1550119857 edges, 3105 markings/sec, 2940 secs
lola: 9922889 markings, 1552493968 edges, 3011 markings/sec, 2945 secs
lola: 9938016 markings, 1554869958 edges, 3025 markings/sec, 2950 secs
lola: 9954112 markings, 1557420145 edges, 3219 markings/sec, 2955 secs
lola: 9971893 markings, 1560178945 edges, 3556 markings/sec, 2960 secs
lola: 9988284 markings, 1562754982 edges, 3278 markings/sec, 2965 secs
lola: 10005249 markings, 1565415158 edges, 3393 markings/sec, 2970 secs
lola: 10020951 markings, 1567867849 edges, 3140 markings/sec, 2975 secs
lola: 10037068 markings, 1570370558 edges, 3223 markings/sec, 2980 secs
lola: 10054291 markings, 1573076121 edges, 3445 markings/sec, 2985 secs
lola: 10072251 markings, 1575876336 edges, 3592 markings/sec, 2990 secs
lola: 10089306 markings, 1578542014 edges, 3411 markings/sec, 2995 secs
lola: 10109009 markings, 1581566402 edges, 3941 markings/sec, 3000 secs
lola: 10125417 markings, 1584167857 edges, 3282 markings/sec, 3005 secs
lola: 10141709 markings, 1586662196 edges, 3258 markings/sec, 3010 secs
lola: 10158310 markings, 1589379582 edges, 3320 markings/sec, 3015 secs
lola: 10181028 markings, 1592363654 edges, 4544 markings/sec, 3020 secs
lola: 10196572 markings, 1595375211 edges, 3109 markings/sec, 3025 secs
lola: 10215857 markings, 1598328148 edges, 3857 markings/sec, 3030 secs
lola: 10232481 markings, 1601103406 edges, 3325 markings/sec, 3035 secs
lola: 10248695 markings, 1603662569 edges, 3243 markings/sec, 3040 secs
lola: 10267447 markings, 1606515890 edges, 3750 markings/sec, 3045 secs
lola: 10283821 markings, 1609201421 edges, 3275 markings/sec, 3050 secs
lola: 10300600 markings, 1611853362 edges, 3356 markings/sec, 3055 secs
lola: 10317359 markings, 1614473158 edges, 3352 markings/sec, 3060 secs
lola: 10333897 markings, 1617067708 edges, 3308 markings/sec, 3065 secs
lola: 10349857 markings, 1619620146 edges, 3192 markings/sec, 3070 secs
lola: 10369060 markings, 1622247393 edges, 3841 markings/sec, 3075 secs
lola: 10383838 markings, 1624901159 edges, 2956 markings/sec, 3080 secs
lola: 10403500 markings, 1627447855 edges, 3932 markings/sec, 3085 secs
lola: 10415565 markings, 1629916880 edges, 2413 markings/sec, 3090 secs
lola: 10432193 markings, 1632588138 edges, 3326 markings/sec, 3095 secs
lola: 10450439 markings, 1635455955 edges, 3649 markings/sec, 3100 secs
lola: 10469997 markings, 1638534239 edges, 3912 markings/sec, 3105 secs
lola: 10489982 markings, 1641676166 edges, 3997 markings/sec, 3110 secs
lola: 10508104 markings, 1644329095 edges, 3624 markings/sec, 3115 secs
lola: 10522497 markings, 1646840630 edges, 2879 markings/sec, 3120 secs
lola: 10540976 markings, 1649672479 edges, 3696 markings/sec, 3125 secs
lola: 10556812 markings, 1652263971 edges, 3167 markings/sec, 3130 secs
lola: 10572942 markings, 1654824355 edges, 3226 markings/sec, 3135 secs
lola: 10588572 markings, 1657291241 edges, 3126 markings/sec, 3140 secs
lola: 10604504 markings, 1659782234 edges, 3186 markings/sec, 3145 secs
lola: 10619972 markings, 1662237211 edges, 3094 markings/sec, 3150 secs
lola: 10638369 markings, 1665132903 edges, 3679 markings/sec, 3155 secs
lola: 10654684 markings, 1667713058 edges, 3263 markings/sec, 3160 secs
lola: 10670076 markings, 1670134734 edges, 3078 markings/sec, 3165 secs
lola: 10686079 markings, 1672657952 edges, 3201 markings/sec, 3170 secs
lola: 10701841 markings, 1675140460 edges, 3152 markings/sec, 3175 secs
lola: 10718021 markings, 1677635661 edges, 3236 markings/sec, 3180 secs
lola: 10733443 markings, 1680114069 edges, 3084 markings/sec, 3185 secs
lola: 10748610 markings, 1682496689 edges, 3033 markings/sec, 3190 secs
lola: 10764672 markings, 1685027625 edges, 3212 markings/sec, 3195 secs
lola: 10779899 markings, 1687390781 edges, 3045 markings/sec, 3200 secs
lola: 10795318 markings, 1689851979 edges, 3084 markings/sec, 3205 secs
lola: 10810593 markings, 1692276227 edges, 3055 markings/sec, 3210 secs
lola: 10825966 markings, 1694707770 edges, 3075 markings/sec, 3215 secs
lola: 10841384 markings, 1697135328 edges, 3084 markings/sec, 3220 secs
lola: 10856020 markings, 1699435926 edges, 2927 markings/sec, 3225 secs
lola: 10872093 markings, 1701914934 edges, 3215 markings/sec, 3230 secs
lola: 10886723 markings, 1704224427 edges, 2926 markings/sec, 3235 secs
lola: 10902987 markings, 1706786934 edges, 3253 markings/sec, 3240 secs
lola: 10923182 markings, 1709655650 edges, 4039 markings/sec, 3245 secs
lola: 10939080 markings, 1712413491 edges, 3180 markings/sec, 3250 secs
lola: 10959741 markings, 1715079410 edges, 4132 markings/sec, 3255 secs
lola: 10972167 markings, 1717651655 edges, 2485 markings/sec, 3260 secs
lola: 10989927 markings, 1720505436 edges, 3552 markings/sec, 3265 secs
lola: 11009408 markings, 1723571730 edges, 3896 markings/sec, 3270 secs
lola: 11029586 markings, 1726775465 edges, 4036 markings/sec, 3275 secs
lola: 11049119 markings, 1729837550 edges, 3907 markings/sec, 3280 secs
lola: 11066365 markings, 1732434590 edges, 3449 markings/sec, 3285 secs
lola: 11082268 markings, 1735081844 edges, 3181 markings/sec, 3290 secs
lola: 11101075 markings, 1738050385 edges, 3761 markings/sec, 3295 secs
lola: 11118084 markings, 1740686298 edges, 3402 markings/sec, 3300 secs
lola: 11134472 markings, 1743309540 edges, 3278 markings/sec, 3305 secs
lola: 11151283 markings, 1745955773 edges, 3362 markings/sec, 3310 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown yes yes no yes no no no yes no yes no no no yes unknown
FORMULA CloudDeployment-PT-6a-LTLCardinality-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudDeployment-PT-6a-LTLCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496442325786
--------------------
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="S_CloudDeployment-PT-6a"
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/S_CloudDeployment-PT-6a.tgz
mv S_CloudDeployment-PT-6a execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_CloudDeployment-PT-6a, 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 r098-ebro-149488455400041"
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 '
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 ;