fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r174-csrt-158987852900265
Last Updated
Jun 28, 2020

About the Execution of ITS-LoLa for NeoElection-COL-8

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15792.090 3600000.00 3647611.00 5273.70 FTTFTFT?FFFFTFFT normal

Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r174-csrt-158987852900265.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is NeoElection-COL-8, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r174-csrt-158987852900265
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 300K
-rw-r--r-- 1 mcc users 3.3K Apr 30 13:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 30 13:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 30 13:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 30 13:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 30 13:04 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Apr 30 13:04 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.9K Apr 30 13:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 30 13:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 30 13:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 30 13:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Apr 30 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 30 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 30 13:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 30 13:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 30 13:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 30 13:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 30 13:04 equiv_pt
-rw-r--r-- 1 mcc users 2 Apr 30 13:04 instance
-rw-r--r-- 1 mcc users 5 Apr 30 13:04 iscolored
-rw-r--r-- 1 mcc users 120K Apr 30 13:04 model.pnml

--------------------
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 NeoElection-COL-8-00
FORMULA_NAME NeoElection-COL-8-01
FORMULA_NAME NeoElection-COL-8-02
FORMULA_NAME NeoElection-COL-8-03
FORMULA_NAME NeoElection-COL-8-04
FORMULA_NAME NeoElection-COL-8-05
FORMULA_NAME NeoElection-COL-8-06
FORMULA_NAME NeoElection-COL-8-07
FORMULA_NAME NeoElection-COL-8-08
FORMULA_NAME NeoElection-COL-8-09
FORMULA_NAME NeoElection-COL-8-10
FORMULA_NAME NeoElection-COL-8-11
FORMULA_NAME NeoElection-COL-8-12
FORMULA_NAME NeoElection-COL-8-13
FORMULA_NAME NeoElection-COL-8-14
FORMULA_NAME NeoElection-COL-8-15

=== Now, execution of the tool begins

BK_START 1591137107856

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-02 22:31:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-02 22:31:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-02 22:31:49] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2020-06-02 22:31:50] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 858 ms
[2020-06-02 22:31:50] [INFO ] sort/places :
M * STAGE->P-stage,
M * POS->P-sendAnnPs__broadcasting,P-startNeg__broadcasting,
M * M * MT * M->P-network,P-poll__networl,
M * POS * M->P-masterList,
M * BOOL * M->P-masterState,
M * M * NEGSTEP->P-negotiation,
M->P-crashed,dead,P-electedPrimary,P-electedSecondary,P-electionFailed,P-electionInit,P-poll__handlingMessage,P-poll__pollEnd,P-poll__waitingMessage,P-polling,

[2020-06-02 22:31:50] [INFO ] Detected 4 constant HL places corresponding to 675 PT places.
[2020-06-02 22:31:50] [INFO ] Imported 18 HL places and 22 HL transitions for a total of 10062 PT places and 34578.0 transition bindings in 42 ms.
[2020-06-02 22:31:50] [INFO ] Computed order based on color domains.
[2020-06-02 22:31:51] [INFO ] Unfolded HLPN to a Petri net with 10062 places and 21244 transitions in 236 ms.
[2020-06-02 22:31:51] [INFO ] Unfolded HLPN properties in 5 ms.
Deduced a syphon composed of 9487 places in 51 ms
Reduce places removed 9543 places and 20351 transitions.
Reduce places removed 17 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 410 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 132 resets, run finished after 1153 ms. (steps per millisecond=86 ) properties seen :[1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0]
[2020-06-02 22:31:52] [INFO ] Flow matrix only has 844 transitions (discarded 49 similar events)
// Phase 1: matrix 844 rows 502 cols
[2020-06-02 22:31:52] [INFO ] Computed 135 place invariants in 29 ms
[2020-06-02 22:31:52] [INFO ] [Real]Absence check using 79 positive place invariants in 52 ms returned unsat
[2020-06-02 22:31:52] [INFO ] [Real]Absence check using 79 positive place invariants in 47 ms returned unsat
[2020-06-02 22:31:52] [INFO ] [Real]Absence check using 79 positive place invariants in 14 ms returned unsat
[2020-06-02 22:31:53] [INFO ] [Real]Absence check using 79 positive place invariants in 33 ms returned unsat
[2020-06-02 22:31:53] [INFO ] [Real]Absence check using 79 positive place invariants in 12 ms returned unsat
Successfully simplified 5 atomic propositions for a total of 7 simplifications.
[2020-06-02 22:31:53] [INFO ] Initial state reduction rules for CTL removed 13 formulas.
[2020-06-02 22:31:53] [INFO ] Flatten gal took : 148 ms
FORMULA NeoElection-COL-8-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-8-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-8-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-8-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-8-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-8-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-8-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-8-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-8-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-8-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-8-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-8-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-8-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-02 22:31:53] [INFO ] Applying decomposition
[2020-06-02 22:31:53] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2020-06-02 22:31:53] [INFO ] Flatten gal took : 97 ms
[2020-06-02 22:31:53] [INFO ] Decomposing Gal with order
[2020-06-02 22:31:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-06-02 22:31:53] [INFO ] Removed a total of 3149 redundant transitions.
[2020-06-02 22:31:53] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2020-06-02 22:31:53] [INFO ] Flatten gal took : 198 ms
[2020-06-02 22:31:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 20 ms.
[2020-06-02 22:31:54] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA NeoElection-COL-8-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-02 22:31:54] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLCardinality.sr.xml took 3 ms.
[2020-06-02 22:31:54] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 17 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ NeoElection-COL-8 @ 3570 seconds

FORMULA NeoElection-COL-8-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ NeoElection-COL-8

{
"exit":
{
"memory": 1662080,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "(1 <= p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7)",
"processed_size": 44,
"rewrites": 5
},
"result":
{
"preliminary_value": "no unknown "
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 8
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 1395/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 502
lola: finding significant places
lola: 502 places, 893 transitions, 367 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLCardinality.xml
lola: (X (((2 <= p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437) U NOT(X (X ((p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p405 + p406 + p407 + p409 + p410 + p411 + p413 + p412 + p408 + p404 <= 0)))))) AND ((p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p405 + p406 + p407 + p409 + p410 + p411 + p413 + p412 + p408 + p404 <= 1) OR (p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 <= 1))) : F ((p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 <= 0))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 1783 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (((2 <= p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437) U X (X ((1 <= p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 1783 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 +... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 +... (shortened)
lola: processed formula length: 1639
lola: 3 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 3567 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((2 <= p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437) U X (X ((1 <= p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 +... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((2 <= p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437) U X (X ((1 <= p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 +... (shortened)
lola: processed formula length: 1649
lola: 3 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: 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: 753 markings, 753 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 3567 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (1 <= p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7)
lola: processed formula length: 44
lola: 5 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 805208 markings, 1195352 edges, 161042 markings/sec, 0 secs
lola: 1541907 markings, 2356814 edges, 147340 markings/sec, 5 secs
lola: 2307601 markings, 3519065 edges, 153139 markings/sec, 10 secs
lola: 3080088 markings, 4722387 edges, 154497 markings/sec, 15 secs
lola: 3830386 markings, 5907525 edges, 150060 markings/sec, 20 secs
lola: 4558986 markings, 7066327 edges, 145720 markings/sec, 25 secs
lola: 5288189 markings, 8242351 edges, 145841 markings/sec, 30 secs
lola: 6095399 markings, 9529242 edges, 161442 markings/sec, 35 secs
lola: 6843646 markings, 10761243 edges, 149649 markings/sec, 40 secs
lola: 7619169 markings, 12045033 edges, 155105 markings/sec, 45 secs
lola: 8318417 markings, 13174411 edges, 139850 markings/sec, 50 secs
lola: 9082622 markings, 14339380 edges, 152841 markings/sec, 55 secs
lola: 9818679 markings, 15519475 edges, 147211 markings/sec, 60 secs
lola: 10517065 markings, 16666184 edges, 139677 markings/sec, 65 secs
lola: 11265583 markings, 17823691 edges, 149704 markings/sec, 70 secs
lola: 11993240 markings, 18956264 edges, 145531 markings/sec, 75 secs
lola: 12719561 markings, 20100669 edges, 145264 markings/sec, 80 secs
lola: 13437637 markings, 21228887 edges, 143615 markings/sec, 85 secs
lola: 14144227 markings, 22364018 edges, 141318 markings/sec, 90 secs
lola: 14855685 markings, 23523137 edges, 142292 markings/sec, 95 secs
lola: 15607636 markings, 24749498 edges, 150390 markings/sec, 100 secs
lola: 16312661 markings, 25904292 edges, 141005 markings/sec, 105 secs
lola: 16984593 markings, 27033305 edges, 134386 markings/sec, 110 secs
lola: 17695127 markings, 28206507 edges, 142107 markings/sec, 115 secs
lola: 18456696 markings, 29405268 edges, 152314 markings/sec, 120 secs
lola: 19159242 markings, 30552142 edges, 140509 markings/sec, 125 secs
lola: 19853618 markings, 31692385 edges, 138875 markings/sec, 130 secs
lola: 20570516 markings, 32825908 edges, 143380 markings/sec, 135 secs
lola: 21285778 markings, 33990651 edges, 143052 markings/sec, 140 secs
lola: 21972125 markings, 35102706 edges, 137269 markings/sec, 145 secs
lola: 22651326 markings, 36220293 edges, 135840 markings/sec, 150 secs
lola: 23315222 markings, 37347582 edges, 132779 markings/sec, 155 secs
lola: 24002232 markings, 38489311 edges, 137402 markings/sec, 160 secs
lola: 24660138 markings, 39616437 edges, 131581 markings/sec, 165 secs
lola: 25326984 markings, 40742012 edges, 133369 markings/sec, 170 secs
lola: 26019164 markings, 41860788 edges, 138436 markings/sec, 175 secs
lola: 26691772 markings, 43015626 edges, 134522 markings/sec, 180 secs
lola: 27415482 markings, 44170365 edges, 144742 markings/sec, 185 secs
lola: 28129813 markings, 45318471 edges, 142866 markings/sec, 190 secs
lola: 28816440 markings, 46453133 edges, 137325 markings/sec, 195 secs
lola: 29526610 markings, 47633297 edges, 142034 markings/sec, 200 secs
lola: 30238184 markings, 48781520 edges, 142315 markings/sec, 205 secs
lola: 30937340 markings, 49910115 edges, 139831 markings/sec, 210 secs
lola: 31648199 markings, 51095366 edges, 142172 markings/sec, 215 secs
lola: 32346329 markings, 52261668 edges, 139626 markings/sec, 220 secs
lola: 33035626 markings, 53392942 edges, 137859 markings/sec, 225 secs
lola: 33715632 markings, 54531361 edges, 136001 markings/sec, 230 secs
lola: 34377644 markings, 55666907 edges, 132402 markings/sec, 235 secs
lola: 35050042 markings, 56794014 edges, 134480 markings/sec, 240 secs
lola: 35756223 markings, 57966859 edges, 141236 markings/sec, 245 secs
lola: 36439044 markings, 59108037 edges, 136564 markings/sec, 250 secs
lola: 37088627 markings, 60222265 edges, 129917 markings/sec, 255 secs
lola: 37759297 markings, 61357689 edges, 134134 markings/sec, 260 secs
lola: 38397252 markings, 62460105 edges, 127591 markings/sec, 265 secs
lola: 39102971 markings, 63636561 edges, 141144 markings/sec, 270 secs
lola: 39869505 markings, 64889911 edges, 153307 markings/sec, 275 secs
lola: 40588181 markings, 66061861 edges, 143735 markings/sec, 280 secs
lola: 41275350 markings, 67204632 edges, 137434 markings/sec, 285 secs
lola: 41942643 markings, 68343794 edges, 133459 markings/sec, 290 secs
lola: 42611870 markings, 69493729 edges, 133845 markings/sec, 295 secs
lola: 43311509 markings, 70637257 edges, 139928 markings/sec, 300 secs
lola: 44035233 markings, 71755637 edges, 144745 markings/sec, 305 secs
lola: 44756192 markings, 72890934 edges, 144192 markings/sec, 310 secs
lola: 45485002 markings, 74103135 edges, 145762 markings/sec, 315 secs
lola: 46223726 markings, 75252797 edges, 147745 markings/sec, 320 secs
lola: 46965779 markings, 76416773 edges, 148411 markings/sec, 325 secs
lola: 47638485 markings, 77536744 edges, 134541 markings/sec, 330 secs
lola: 48364817 markings, 78708886 edges, 145266 markings/sec, 335 secs
lola: 49081412 markings, 79865869 edges, 143319 markings/sec, 340 secs
lola: 49745470 markings, 81000277 edges, 132812 markings/sec, 345 secs
lola: 50440395 markings, 82139417 edges, 138985 markings/sec, 350 secs
lola: 51129070 markings, 83302202 edges, 137735 markings/sec, 355 secs
lola: 51819040 markings, 84494280 edges, 137994 markings/sec, 360 secs
lola: 52477491 markings, 85624950 edges, 131690 markings/sec, 365 secs
lola: 53133137 markings, 86753301 edges, 131129 markings/sec, 370 secs
lola: 53797006 markings, 87877589 edges, 132774 markings/sec, 375 secs
lola: 54572166 markings, 89088782 edges, 155032 markings/sec, 380 secs
lola: 55323126 markings, 90287226 edges, 150192 markings/sec, 385 secs
lola: 55987708 markings, 91425383 edges, 132916 markings/sec, 390 secs
lola: 56662074 markings, 92558257 edges, 134873 markings/sec, 395 secs
lola: 57383699 markings, 93699417 edges, 144325 markings/sec, 400 secs
lola: 58181960 markings, 94936820 edges, 159652 markings/sec, 405 secs
lola: 58906739 markings, 96080562 edges, 144956 markings/sec, 410 secs
lola: 59629883 markings, 97214458 edges, 144629 markings/sec, 415 secs
lola: 60335413 markings, 98349878 edges, 141106 markings/sec, 420 secs
lola: 61031542 markings, 99488156 edges, 139226 markings/sec, 425 secs
lola: 61746425 markings, 100654920 edges, 142977 markings/sec, 430 secs
lola: 62443325 markings, 101789437 edges, 139380 markings/sec, 435 secs
lola: 63110417 markings, 102915052 edges, 133418 markings/sec, 440 secs
lola: 63851169 markings, 104137554 edges, 148150 markings/sec, 445 secs
lola: 64637250 markings, 105376626 edges, 157216 markings/sec, 450 secs
lola: 65413566 markings, 106649499 edges, 155263 markings/sec, 455 secs
lola: 66200113 markings, 107925408 edges, 157309 markings/sec, 460 secs
lola: 67009965 markings, 109201352 edges, 161970 markings/sec, 465 secs
lola: 67808371 markings, 110481261 edges, 159681 markings/sec, 470 secs
lola: 68585445 markings, 111747855 edges, 155415 markings/sec, 475 secs
lola: 69346251 markings, 113004572 edges, 152161 markings/sec, 480 secs
lola: 70109885 markings, 114268294 edges, 152727 markings/sec, 485 secs
lola: 70857929 markings, 115526343 edges, 149609 markings/sec, 490 secs
lola: 71585163 markings, 116758512 edges, 145447 markings/sec, 495 secs
lola: 72356486 markings, 118001186 edges, 154265 markings/sec, 500 secs
lola: 73080291 markings, 119213649 edges, 144761 markings/sec, 505 secs
lola: 73819868 markings, 120414811 edges, 147915 markings/sec, 510 secs
lola: 74587319 markings, 121684042 edges, 153490 markings/sec, 515 secs
lola: 75315017 markings, 122894220 edges, 145540 markings/sec, 520 secs
lola: 76031445 markings, 124110423 edges, 143286 markings/sec, 525 secs
lola: 76744300 markings, 125322297 edges, 142571 markings/sec, 530 secs
lola: 77454290 markings, 126553330 edges, 141998 markings/sec, 535 secs
lola: 78166248 markings, 127756702 edges, 142392 markings/sec, 540 secs
lola: 78876180 markings, 128960785 edges, 141986 markings/sec, 545 secs
lola: 79595665 markings, 130156459 edges, 143897 markings/sec, 550 secs
lola: 80338147 markings, 131366572 edges, 148496 markings/sec, 555 secs
lola: 81048375 markings, 132563420 edges, 142046 markings/sec, 560 secs
lola: 81779531 markings, 133774998 edges, 146231 markings/sec, 565 secs
lola: 82498579 markings, 134951088 edges, 143810 markings/sec, 570 secs
lola: 83208207 markings, 136152504 edges, 141926 markings/sec, 575 secs
lola: 83930656 markings, 137370077 edges, 144490 markings/sec, 580 secs
lola: 84659612 markings, 138591965 edges, 145791 markings/sec, 585 secs
lola: 85365453 markings, 139821776 edges, 141168 markings/sec, 590 secs
lola: 86089001 markings, 141044113 edges, 144710 markings/sec, 595 secs
lola: 86808454 markings, 142264105 edges, 143891 markings/sec, 600 secs
lola: 87502995 markings, 143451264 edges, 138908 markings/sec, 605 secs
lola: 88203507 markings, 144667918 edges, 140102 markings/sec, 610 secs
lola: 88903487 markings, 145864779 edges, 139996 markings/sec, 615 secs
lola: 89629322 markings, 147088425 edges, 145167 markings/sec, 620 secs
lola: 90373257 markings, 148313472 edges, 148787 markings/sec, 625 secs
lola: 91104520 markings, 149545440 edges, 146253 markings/sec, 630 secs
lola: 91816348 markings, 150781102 edges, 142366 markings/sec, 635 secs
lola: 92527455 markings, 151987838 edges, 142221 markings/sec, 640 secs
lola: 93309451 markings, 153222764 edges, 156399 markings/sec, 645 secs
lola: 94051452 markings, 154427635 edges, 148400 markings/sec, 650 secs
lola: 94771572 markings, 155618644 edges, 144024 markings/sec, 655 secs
lola: 95545283 markings, 156845098 edges, 154742 markings/sec, 660 secs
lola: 96266520 markings, 158055356 edges, 144247 markings/sec, 665 secs
lola: 96994029 markings, 159244428 edges, 145502 markings/sec, 670 secs
lola: 97703230 markings, 160449317 edges, 141840 markings/sec, 675 secs
lola: 98426190 markings, 161666572 edges, 144592 markings/sec, 680 secs
lola: 99124335 markings, 162863038 edges, 139629 markings/sec, 685 secs
lola: 99812517 markings, 164061985 edges, 137636 markings/sec, 690 secs
lola: 100494822 markings, 165257158 edges, 136461 markings/sec, 695 secs
lola: 101189588 markings, 166447393 edges, 138953 markings/sec, 700 secs
lola: 101943929 markings, 167659265 edges, 150868 markings/sec, 705 secs
lola: 102679334 markings, 168864154 edges, 147081 markings/sec, 710 secs
lola: 103365248 markings, 170082564 edges, 137183 markings/sec, 715 secs
lola: 104123295 markings, 171311139 edges, 151609 markings/sec, 720 secs
lola: 104881788 markings, 172530478 edges, 151699 markings/sec, 725 secs
lola: 105655768 markings, 173765997 edges, 154796 markings/sec, 730 secs
lola: 106379704 markings, 174970775 edges, 144787 markings/sec, 735 secs
lola: 107115756 markings, 176197129 edges, 147210 markings/sec, 740 secs
lola: 107850453 markings, 177428522 edges, 146939 markings/sec, 745 secs
lola: 108550177 markings, 178624248 edges, 139945 markings/sec, 750 secs
lola: 109267263 markings, 179827666 edges, 143417 markings/sec, 755 secs
lola: 110033624 markings, 181069908 edges, 153272 markings/sec, 760 secs
lola: 110736768 markings, 182274763 edges, 140629 markings/sec, 765 secs
lola: 111505807 markings, 183512496 edges, 153808 markings/sec, 770 secs
lola: 112238511 markings, 184727472 edges, 146541 markings/sec, 775 secs
lola: 112955556 markings, 185932102 edges, 143409 markings/sec, 780 secs
lola: 113660877 markings, 187139193 edges, 141064 markings/sec, 785 secs
lola: 114384013 markings, 188360010 edges, 144627 markings/sec, 790 secs
lola: 115075203 markings, 189563139 edges, 138238 markings/sec, 795 secs
lola: 115805069 markings, 190783124 edges, 145973 markings/sec, 800 secs
lola: 116500724 markings, 191976765 edges, 139131 markings/sec, 805 secs
lola: 117220718 markings, 193174507 edges, 143999 markings/sec, 810 secs
lola: 117916021 markings, 194354738 edges, 139061 markings/sec, 815 secs
lola: 118574092 markings, 195503275 edges, 131614 markings/sec, 820 secs
lola: 119210294 markings, 196628625 edges, 127240 markings/sec, 825 secs
lola: 119823260 markings, 197712222 edges, 122593 markings/sec, 830 secs
lola: 120446824 markings, 198785567 edges, 124713 markings/sec, 835 secs
lola: 121092183 markings, 199927871 edges, 129072 markings/sec, 840 secs
lola: 121777077 markings, 201072559 edges, 136979 markings/sec, 845 secs
lola: 122427287 markings, 202185488 edges, 130042 markings/sec, 850 secs
lola: 123075070 markings, 203285198 edges, 129557 markings/sec, 855 secs
lola: 123763204 markings, 204436694 edges, 137627 markings/sec, 860 secs
lola: 124437988 markings, 205603683 edges, 134957 markings/sec, 865 secs
lola: 125140149 markings, 206807173 edges, 140432 markings/sec, 870 secs
lola: 125835424 markings, 208034399 edges, 139055 markings/sec, 875 secs
lola: 126515186 markings, 209223091 edges, 135952 markings/sec, 880 secs
lola: 127189569 markings, 210374328 edges, 134877 markings/sec, 885 secs
lola: 127843759 markings, 211533292 edges, 130838 markings/sec, 890 secs
lola: 128529652 markings, 212722539 edges, 137179 markings/sec, 895 secs
lola: 129209220 markings, 213899864 edges, 135914 markings/sec, 900 secs
lola: 129881755 markings, 215041845 edges, 134507 markings/sec, 905 secs
lola: 130577169 markings, 216239470 edges, 139083 markings/sec, 910 secs
lola: 131217007 markings, 217375411 edges, 127968 markings/sec, 915 secs
lola: 131923020 markings, 218556714 edges, 141203 markings/sec, 920 secs
lola: 132663784 markings, 219762663 edges, 148153 markings/sec, 925 secs
lola: 133399712 markings, 221001593 edges, 147186 markings/sec, 930 secs
lola: 134138753 markings, 222217794 edges, 147808 markings/sec, 935 secs
lola: 134768461 markings, 223309752 edges, 125942 markings/sec, 940 secs
lola: 135450417 markings, 224459438 edges, 136391 markings/sec, 945 secs
lola: 136079266 markings, 225566197 edges, 125770 markings/sec, 950 secs
lola: 136740035 markings, 226717634 edges, 132154 markings/sec, 955 secs
lola: 137396189 markings, 227905388 edges, 131231 markings/sec, 960 secs
lola: 138054669 markings, 229070766 edges, 131696 markings/sec, 965 secs
lola: 138777133 markings, 230276635 edges, 144493 markings/sec, 970 secs
lola: 139487299 markings, 231460263 edges, 142033 markings/sec, 975 secs
lola: 140161166 markings, 232678200 edges, 134773 markings/sec, 980 secs
lola: 140929502 markings, 233915694 edges, 153667 markings/sec, 985 secs
lola: 141674928 markings, 235111012 edges, 149085 markings/sec, 990 secs
lola: 142354312 markings, 236255427 edges, 135877 markings/sec, 995 secs
lola: 143104549 markings, 237481201 edges, 150047 markings/sec, 1000 secs
lola: 143848794 markings, 238680473 edges, 148849 markings/sec, 1005 secs
lola: 144605836 markings, 239908687 edges, 151408 markings/sec, 1010 secs
lola: 145331531 markings, 241128699 edges, 145139 markings/sec, 1015 secs
lola: 146048462 markings, 242314854 edges, 143386 markings/sec, 1020 secs
lola: 146754049 markings, 243470459 edges, 141117 markings/sec, 1025 secs
lola: 147460973 markings, 244683678 edges, 141385 markings/sec, 1030 secs
lola: 148173112 markings, 245883285 edges, 142428 markings/sec, 1035 secs
lola: 148875501 markings, 247054194 edges, 140478 markings/sec, 1040 secs
lola: 149598979 markings, 248271273 edges, 144696 markings/sec, 1045 secs
lola: 150311476 markings, 249468210 edges, 142499 markings/sec, 1050 secs
lola: 150983697 markings, 250646171 edges, 134444 markings/sec, 1055 secs
lola: 151717067 markings, 251870026 edges, 146674 markings/sec, 1060 secs
lola: 152442435 markings, 253088130 edges, 145074 markings/sec, 1065 secs
lola: 153124472 markings, 254234527 edges, 136407 markings/sec, 1070 secs
lola: 153815900 markings, 255344544 edges, 138286 markings/sec, 1075 secs
lola: 154496418 markings, 256470086 edges, 136104 markings/sec, 1080 secs
lola: 155138506 markings, 257574719 edges, 128418 markings/sec, 1085 secs
lola: 155790265 markings, 258678085 edges, 130352 markings/sec, 1090 secs
lola: 156500643 markings, 259855776 edges, 142076 markings/sec, 1095 secs
lola: 157192211 markings, 260974210 edges, 138314 markings/sec, 1100 secs
lola: 157874775 markings, 262088649 edges, 136513 markings/sec, 1105 secs
lola: 158530052 markings, 263191681 edges, 131055 markings/sec, 1110 secs
lola: 159188169 markings, 264287616 edges, 131623 markings/sec, 1115 secs
lola: 159896503 markings, 265442484 edges, 141667 markings/sec, 1120 secs
lola: 160567895 markings, 266568812 edges, 134278 markings/sec, 1125 secs
lola: 161214622 markings, 267672880 edges, 129345 markings/sec, 1130 secs
lola: 161875132 markings, 268779067 edges, 132102 markings/sec, 1135 secs
lola: 162532022 markings, 269904031 edges, 131378 markings/sec, 1140 secs
lola: 163163463 markings, 270987756 edges, 126288 markings/sec, 1145 secs
lola: 163813110 markings, 272102182 edges, 129929 markings/sec, 1150 secs
lola: 164469957 markings, 273210039 edges, 131369 markings/sec, 1155 secs
lola: 165144710 markings, 274353985 edges, 134951 markings/sec, 1160 secs
lola: 165768714 markings, 275454225 edges, 124801 markings/sec, 1165 secs
lola: 166415669 markings, 276568136 edges, 129391 markings/sec, 1170 secs
lola: 167081934 markings, 277670249 edges, 133253 markings/sec, 1175 secs
lola: 167800834 markings, 278860012 edges, 143780 markings/sec, 1180 secs
lola: 168470427 markings, 279973708 edges, 133919 markings/sec, 1185 secs
lola: 169120462 markings, 281104236 edges, 130007 markings/sec, 1190 secs
lola: 169749208 markings, 282202263 edges, 125749 markings/sec, 1195 secs
lola: 170467374 markings, 283383398 edges, 143633 markings/sec, 1200 secs
lola: 171147678 markings, 284516920 edges, 136061 markings/sec, 1205 secs
lola: 171801322 markings, 285634858 edges, 130729 markings/sec, 1210 secs
lola: 172457245 markings, 286742610 edges, 131185 markings/sec, 1215 secs
lola: 173101644 markings, 287837946 edges, 128880 markings/sec, 1220 secs
lola: 173726411 markings, 288925433 edges, 124953 markings/sec, 1225 secs
lola: 174364313 markings, 290013795 edges, 127580 markings/sec, 1230 secs
lola: 174983457 markings, 291106458 edges, 123829 markings/sec, 1235 secs
lola: 175628897 markings, 292225188 edges, 129088 markings/sec, 1240 secs
lola: 176257335 markings, 293316987 edges, 125688 markings/sec, 1245 secs
lola: 176872299 markings, 294400191 edges, 122993 markings/sec, 1250 secs
lola: 177487711 markings, 295470076 edges, 123082 markings/sec, 1255 secs
lola: 178110594 markings, 296556697 edges, 124577 markings/sec, 1260 secs
lola: 178774119 markings, 297661538 edges, 132705 markings/sec, 1265 secs
lola: 179401409 markings, 298749902 edges, 125458 markings/sec, 1270 secs
lola: 180036242 markings, 299876995 edges, 126967 markings/sec, 1275 secs
lola: 180750938 markings, 301092900 edges, 142939 markings/sec, 1280 secs
lola: 181463957 markings, 302296029 edges, 142604 markings/sec, 1285 secs
lola: 182194303 markings, 303517988 edges, 146069 markings/sec, 1290 secs
lola: 182920182 markings, 304735198 edges, 145176 markings/sec, 1295 secs
lola: 183615798 markings, 305934867 edges, 139123 markings/sec, 1300 secs
lola: 184328415 markings, 307143166 edges, 142523 markings/sec, 1305 secs
lola: 184990877 markings, 308277082 edges, 132492 markings/sec, 1310 secs
lola: 185696765 markings, 309440072 edges, 141178 markings/sec, 1315 secs
lola: 186419391 markings, 310651313 edges, 144525 markings/sec, 1320 secs
lola: 187122623 markings, 311863644 edges, 140646 markings/sec, 1325 secs
lola: 187813039 markings, 313081127 edges, 138083 markings/sec, 1330 secs
lola: 188523053 markings, 314293863 edges, 142003 markings/sec, 1335 secs
lola: 189200060 markings, 315433132 edges, 135401 markings/sec, 1340 secs
lola: 189888038 markings, 316610493 edges, 137596 markings/sec, 1345 secs
lola: 190523454 markings, 317720446 edges, 127083 markings/sec, 1350 secs
lola: 191169276 markings, 318859249 edges, 129164 markings/sec, 1355 secs
lola: 191798213 markings, 319963470 edges, 125787 markings/sec, 1360 secs
lola: 192435929 markings, 321072343 edges, 127543 markings/sec, 1365 secs
lola: 193095100 markings, 322171254 edges, 131834 markings/sec, 1370 secs
lola: 193730860 markings, 323271182 edges, 127152 markings/sec, 1375 secs
lola: 194368172 markings, 324364903 edges, 127462 markings/sec, 1380 secs
lola: 194984069 markings, 325444487 edges, 123179 markings/sec, 1385 secs
lola: 195581257 markings, 326526919 edges, 119438 markings/sec, 1390 secs
lola: 196232352 markings, 327657181 edges, 130219 markings/sec, 1395 secs
lola: 196888401 markings, 328769818 edges, 131210 markings/sec, 1400 secs
lola: 197527338 markings, 329870342 edges, 127787 markings/sec, 1405 secs
lola: 198182248 markings, 330986887 edges, 130982 markings/sec, 1410 secs
lola: 198876309 markings, 332154794 edges, 138812 markings/sec, 1415 secs
lola: 199565385 markings, 333327821 edges, 137815 markings/sec, 1420 secs
lola: 200282939 markings, 334530268 edges, 143511 markings/sec, 1425 secs
lola: 200957779 markings, 335697186 edges, 134968 markings/sec, 1430 secs
lola: 201589795 markings, 336847518 edges, 126403 markings/sec, 1435 secs
lola: 202257970 markings, 337994944 edges, 133635 markings/sec, 1440 secs
lola: 202926621 markings, 339171982 edges, 133730 markings/sec, 1445 secs
lola: 203652636 markings, 340373261 edges, 145203 markings/sec, 1450 secs
lola: 204372385 markings, 341555233 edges, 143950 markings/sec, 1455 secs
lola: 205075801 markings, 342700087 edges, 140683 markings/sec, 1460 secs
lola: 205792605 markings, 343878132 edges, 143361 markings/sec, 1465 secs
lola: 206462195 markings, 345051855 edges, 133918 markings/sec, 1470 secs
lola: 207143792 markings, 346207771 edges, 136319 markings/sec, 1475 secs
lola: 207878320 markings, 347387182 edges, 146906 markings/sec, 1480 secs
lola: 208597503 markings, 348576913 edges, 143837 markings/sec, 1485 secs
lola: 209299294 markings, 349753936 edges, 140358 markings/sec, 1490 secs
lola: 209961727 markings, 350909537 edges, 132487 markings/sec, 1495 secs
lola: 210655634 markings, 352093817 edges, 138781 markings/sec, 1500 secs
lola: 211345688 markings, 353238006 edges, 138011 markings/sec, 1505 secs
lola: 212052266 markings, 354419871 edges, 141316 markings/sec, 1510 secs
lola: 212709975 markings, 355587710 edges, 131542 markings/sec, 1515 secs
lola: 213404483 markings, 356786189 edges, 138902 markings/sec, 1520 secs
lola: 214071789 markings, 357960881 edges, 133461 markings/sec, 1525 secs
lola: 214773606 markings, 359141978 edges, 140363 markings/sec, 1530 secs
lola: 215429746 markings, 360298312 edges, 131228 markings/sec, 1535 secs
lola: 216065605 markings, 361434321 edges, 127172 markings/sec, 1540 secs
lola: 216722973 markings, 362622669 edges, 131474 markings/sec, 1545 secs
lola: 217407195 markings, 363805544 edges, 136844 markings/sec, 1550 secs
lola: 218072932 markings, 364987161 edges, 133147 markings/sec, 1555 secs
lola: 218766067 markings, 366172847 edges, 138627 markings/sec, 1560 secs
lola: 219453161 markings, 367321920 edges, 137419 markings/sec, 1565 secs
lola: 220155551 markings, 368471480 edges, 140478 markings/sec, 1570 secs
lola: 220848612 markings, 369610387 edges, 138612 markings/sec, 1575 secs
lola: 221541588 markings, 370792759 edges, 138595 markings/sec, 1580 secs
lola: 222167427 markings, 371917743 edges, 125168 markings/sec, 1585 secs
lola: 222810621 markings, 373055538 edges, 128639 markings/sec, 1590 secs
lola: 223521571 markings, 374260239 edges, 142190 markings/sec, 1595 secs
lola: 224310778 markings, 375489368 edges, 157841 markings/sec, 1600 secs
lola: 225077753 markings, 376680791 edges, 153395 markings/sec, 1605 secs
lola: 225800755 markings, 377868760 edges, 144600 markings/sec, 1610 secs
lola: 226533249 markings, 379035303 edges, 146499 markings/sec, 1615 secs
lola: 227296208 markings, 380222724 edges, 152592 markings/sec, 1620 secs
lola: 228013392 markings, 381398383 edges, 143437 markings/sec, 1625 secs
lola: 228730221 markings, 382569739 edges, 143366 markings/sec, 1630 secs
lola: 229472839 markings, 383759055 edges, 148524 markings/sec, 1635 secs
lola: 230178204 markings, 384967045 edges, 141073 markings/sec, 1640 secs
lola: 230888788 markings, 386134112 edges, 142117 markings/sec, 1645 secs
lola: 231558151 markings, 387258928 edges, 133873 markings/sec, 1650 secs
lola: 232209767 markings, 388367835 edges, 130323 markings/sec, 1655 secs
lola: 232844086 markings, 389470697 edges, 126864 markings/sec, 1660 secs
lola: 233500731 markings, 390602608 edges, 131329 markings/sec, 1665 secs
lola: 234203227 markings, 391783984 edges, 140499 markings/sec, 1670 secs
lola: 234927614 markings, 392937590 edges, 144877 markings/sec, 1675 secs
lola: 235641791 markings, 394072593 edges, 142835 markings/sec, 1680 secs
lola: 236319667 markings, 395208651 edges, 135575 markings/sec, 1685 secs
lola: 236976900 markings, 396346574 edges, 131447 markings/sec, 1690 secs
lola: 237694905 markings, 397485266 edges, 143601 markings/sec, 1695 secs
lola: 238417668 markings, 398614665 edges, 144553 markings/sec, 1700 secs
lola: 239096057 markings, 399729384 edges, 135678 markings/sec, 1705 secs
lola: 239776459 markings, 400840150 edges, 136080 markings/sec, 1710 secs
lola: 240472286 markings, 401948274 edges, 139165 markings/sec, 1715 secs
lola: 241147704 markings, 403071937 edges, 135084 markings/sec, 1720 secs
lola: 241809581 markings, 404169269 edges, 132375 markings/sec, 1725 secs
lola: 242519243 markings, 405348517 edges, 141932 markings/sec, 1730 secs
lola: 243193933 markings, 406499852 edges, 134938 markings/sec, 1735 secs
lola: 243854525 markings, 407621780 edges, 132118 markings/sec, 1740 secs
lola: 244500780 markings, 408738451 edges, 129251 markings/sec, 1745 secs
lola: 245141545 markings, 409857188 edges, 128153 markings/sec, 1750 secs
lola: 245777092 markings, 410969826 edges, 127109 markings/sec, 1755 secs
lola: 246434366 markings, 412073914 edges, 131455 markings/sec, 1760 secs
lola: 247172585 markings, 413252672 edges, 147644 markings/sec, 1765 secs
lola: 247837507 markings, 414372146 edges, 132984 markings/sec, 1770 secs
lola: 248478384 markings, 415490326 edges, 128175 markings/sec, 1775 secs
lola: 249165237 markings, 416598766 edges, 137371 markings/sec, 1780 secs
lola: 249858524 markings, 417723727 edges, 138657 markings/sec, 1785 secs
lola: 250551389 markings, 418902675 edges, 138573 markings/sec, 1790 secs
lola: 251274205 markings, 420081291 edges, 144563 markings/sec, 1795 secs
lola: 251941853 markings, 421238327 edges, 133530 markings/sec, 1800 secs
lola: 252648219 markings, 422425692 edges, 141273 markings/sec, 1805 secs
lola: 253308291 markings, 423586490 edges, 132014 markings/sec, 1810 secs
lola: 253990442 markings, 424770917 edges, 136430 markings/sec, 1815 secs
lola: 254643545 markings, 425949105 edges, 130621 markings/sec, 1820 secs
lola: 255290741 markings, 427095505 edges, 129439 markings/sec, 1825 secs
lola: 255977840 markings, 428256795 edges, 137420 markings/sec, 1830 secs
lola: 256684176 markings, 429429529 edges, 141267 markings/sec, 1835 secs
lola: 257361841 markings, 430648714 edges, 135533 markings/sec, 1840 secs
lola: 258097059 markings, 431869316 edges, 147044 markings/sec, 1845 secs
lola: 258809374 markings, 433064088 edges, 142463 markings/sec, 1850 secs
lola: 259496951 markings, 434235561 edges, 137515 markings/sec, 1855 secs
lola: 260183086 markings, 435418508 edges, 137227 markings/sec, 1860 secs
lola: 260853727 markings, 436581058 edges, 134128 markings/sec, 1865 secs
lola: 261557752 markings, 437766681 edges, 140805 markings/sec, 1870 secs
lola: 262238747 markings, 438925387 edges, 136199 markings/sec, 1875 secs
lola: 262921364 markings, 440102438 edges, 136523 markings/sec, 1880 secs
lola: 263603820 markings, 441294651 edges, 136491 markings/sec, 1885 secs
lola: 264291539 markings, 442493494 edges, 137544 markings/sec, 1890 secs
lola: 264990134 markings, 443693534 edges, 139719 markings/sec, 1895 secs
lola: 265644313 markings, 444854360 edges, 130836 markings/sec, 1900 secs
lola: 266309288 markings, 446038643 edges, 132995 markings/sec, 1905 secs
lola: 266965435 markings, 447196408 edges, 131229 markings/sec, 1910 secs
lola: 267660704 markings, 448395409 edges, 139054 markings/sec, 1915 secs
lola: 268351054 markings, 449599778 edges, 138070 markings/sec, 1920 secs
lola: 269024890 markings, 450777259 edges, 134767 markings/sec, 1925 secs
lola: 269703617 markings, 451984940 edges, 135745 markings/sec, 1930 secs
lola: 270388618 markings, 453187088 edges, 137000 markings/sec, 1935 secs
lola: 271059654 markings, 454376467 edges, 134207 markings/sec, 1940 secs
lola: 271724937 markings, 455533900 edges, 133057 markings/sec, 1945 secs
lola: 272394825 markings, 456700600 edges, 133978 markings/sec, 1950 secs
lola: 273104797 markings, 457895958 edges, 141994 markings/sec, 1955 secs
lola: 273804646 markings, 459084646 edges, 139970 markings/sec, 1960 secs
lola: 274497798 markings, 460291185 edges, 138630 markings/sec, 1965 secs
lola: 275159467 markings, 461482327 edges, 132334 markings/sec, 1970 secs
lola: 275821242 markings, 462652901 edges, 132355 markings/sec, 1975 secs
lola: 276506223 markings, 463837766 edges, 136996 markings/sec, 1980 secs
lola: 277198400 markings, 465011357 edges, 138435 markings/sec, 1985 secs
lola: 277960801 markings, 466203124 edges, 152480 markings/sec, 1990 secs
lola: 278701923 markings, 467390714 edges, 148224 markings/sec, 1995 secs
lola: 279414927 markings, 468619766 edges, 142601 markings/sec, 2000 secs
lola: 280138491 markings, 469810082 edges, 144713 markings/sec, 2005 secs
lola: 280907444 markings, 471035178 edges, 153791 markings/sec, 2010 secs
lola: 281635389 markings, 472211909 edges, 145589 markings/sec, 2015 secs
lola: 282332201 markings, 473402523 edges, 139362 markings/sec, 2020 secs
lola: 283028880 markings, 474579844 edges, 139336 markings/sec, 2025 secs
lola: 283774456 markings, 475794721 edges, 149115 markings/sec, 2030 secs
lola: 284506867 markings, 477032850 edges, 146482 markings/sec, 2035 secs
lola: 285209120 markings, 478270013 edges, 140451 markings/sec, 2040 secs
lola: 285940467 markings, 479515307 edges, 146269 markings/sec, 2045 secs
lola: 286636488 markings, 480745867 edges, 139204 markings/sec, 2050 secs
lola: 287286567 markings, 481910491 edges, 130016 markings/sec, 2055 secs
lola: 287954276 markings, 483117209 edges, 133542 markings/sec, 2060 secs
lola: 288644844 markings, 484341637 edges, 138114 markings/sec, 2065 secs
lola: 289329808 markings, 485566581 edges, 136993 markings/sec, 2070 secs
lola: 290034268 markings, 486795744 edges, 140892 markings/sec, 2075 secs
lola: 290805926 markings, 488022564 edges, 154332 markings/sec, 2080 secs
lola: 291550168 markings, 489226337 edges, 148848 markings/sec, 2085 secs
lola: 292277402 markings, 490455902 edges, 145447 markings/sec, 2090 secs
lola: 292959654 markings, 491691851 edges, 136450 markings/sec, 2095 secs
lola: 293702841 markings, 492935386 edges, 148637 markings/sec, 2100 secs
lola: 294496154 markings, 494191542 edges, 158663 markings/sec, 2105 secs
lola: 295331449 markings, 495461542 edges, 167059 markings/sec, 2110 secs
lola: 296114049 markings, 496680359 edges, 156520 markings/sec, 2115 secs
lola: 296872422 markings, 497832518 edges, 151675 markings/sec, 2120 secs
lola: 297612976 markings, 499010554 edges, 148111 markings/sec, 2125 secs
lola: 298365866 markings, 500185156 edges, 150578 markings/sec, 2130 secs
lola: 299089755 markings, 501361034 edges, 144778 markings/sec, 2135 secs
lola: 299886053 markings, 502626985 edges, 159260 markings/sec, 2140 secs
lola: 300600740 markings, 503778791 edges, 142937 markings/sec, 2145 secs
lola: 301293316 markings, 504919668 edges, 138515 markings/sec, 2150 secs
lola: 301964893 markings, 506032903 edges, 134315 markings/sec, 2155 secs
lola: 302672924 markings, 507171447 edges, 141606 markings/sec, 2160 secs
lola: 303427643 markings, 508324522 edges, 150944 markings/sec, 2165 secs
lola: 304140982 markings, 509471525 edges, 142668 markings/sec, 2170 secs
lola: 304842916 markings, 510618966 edges, 140387 markings/sec, 2175 secs
lola: 305600587 markings, 511785261 edges, 151534 markings/sec, 2180 secs
lola: 306332926 markings, 512931366 edges, 146468 markings/sec, 2185 secs
lola: 307055022 markings, 514071725 edges, 144419 markings/sec, 2190 secs
lola: 307765639 markings, 515187898 edges, 142123 markings/sec, 2195 secs
lola: 308477679 markings, 516332402 edges, 142408 markings/sec, 2200 secs
lola: 309192421 markings, 517501578 edges, 142948 markings/sec, 2205 secs
lola: 309879165 markings, 518617221 edges, 137349 markings/sec, 2210 secs
lola: 310573573 markings, 519754411 edges, 138882 markings/sec, 2215 secs
lola: 311282402 markings, 520944338 edges, 141766 markings/sec, 2220 secs
lola: 311995187 markings, 522120681 edges, 142557 markings/sec, 2225 secs
lola: 312762031 markings, 523324726 edges, 153369 markings/sec, 2230 secs
lola: 313513863 markings, 524555865 edges, 150366 markings/sec, 2235 secs
lola: 314277971 markings, 525802152 edges, 152822 markings/sec, 2240 secs
lola: 315059312 markings, 527050474 edges, 156268 markings/sec, 2245 secs
lola: 315834095 markings, 528298458 edges, 154957 markings/sec, 2250 secs
lola: 316583619 markings, 529536214 edges, 149905 markings/sec, 2255 secs
lola: 317300821 markings, 530729079 edges, 143440 markings/sec, 2260 secs
lola: 318016089 markings, 531927036 edges, 143054 markings/sec, 2265 secs
lola: 318727095 markings, 533136565 edges, 142201 markings/sec, 2270 secs
lola: 319442789 markings, 534346836 edges, 143139 markings/sec, 2275 secs
lola: 320169358 markings, 535528383 edges, 145314 markings/sec, 2280 secs
lola: 320894686 markings, 536762054 edges, 145066 markings/sec, 2285 secs
lola: 321666559 markings, 538008489 edges, 154375 markings/sec, 2290 secs
lola: 322441519 markings, 539253395 edges, 154992 markings/sec, 2295 secs
lola: 323194731 markings, 540496234 edges, 150642 markings/sec, 2300 secs
lola: 323943469 markings, 541732842 edges, 149748 markings/sec, 2305 secs
lola: 324706363 markings, 542963209 edges, 152579 markings/sec, 2310 secs
lola: 325435509 markings, 544149338 edges, 145829 markings/sec, 2315 secs
lola: 326106393 markings, 545270717 edges, 134177 markings/sec, 2320 secs
lola: 326771688 markings, 546379404 edges, 133059 markings/sec, 2325 secs
lola: 327458862 markings, 547510314 edges, 137435 markings/sec, 2330 secs
lola: 328113483 markings, 548618750 edges, 130924 markings/sec, 2335 secs
lola: 328763549 markings, 549729272 edges, 130013 markings/sec, 2340 secs
lola: 329430194 markings, 550844161 edges, 133329 markings/sec, 2345 secs
lola: 330094560 markings, 551945009 edges, 132873 markings/sec, 2350 secs
lola: 330753289 markings, 553049768 edges, 131746 markings/sec, 2355 secs
lola: 331393354 markings, 554146743 edges, 128013 markings/sec, 2360 secs
lola: 332091628 markings, 555334537 edges, 139655 markings/sec, 2365 secs
lola: 332741163 markings, 556447697 edges, 129907 markings/sec, 2370 secs
lola: 333403694 markings, 557553861 edges, 132506 markings/sec, 2375 secs
lola: 334073467 markings, 558651866 edges, 133955 markings/sec, 2380 secs
lola: 334796075 markings, 559826256 edges, 144522 markings/sec, 2385 secs
lola: 335484870 markings, 560970247 edges, 137759 markings/sec, 2390 secs
lola: 336183785 markings, 562157217 edges, 139783 markings/sec, 2395 secs
lola: 336839850 markings, 563290215 edges, 131213 markings/sec, 2400 secs
lola: 337561393 markings, 564464375 edges, 144309 markings/sec, 2405 secs
lola: 338358234 markings, 565701552 edges, 159368 markings/sec, 2410 secs
lola: 339100576 markings, 566878241 edges, 148468 markings/sec, 2415 secs
lola: 339783635 markings, 568012347 edges, 136612 markings/sec, 2420 secs
lola: 340530010 markings, 569173959 edges, 149275 markings/sec, 2425 secs
lola: 341234096 markings, 570279286 edges, 140817 markings/sec, 2430 secs
lola: 341917382 markings, 571416236 edges, 136657 markings/sec, 2435 secs
lola: 342607194 markings, 572529472 edges, 137962 markings/sec, 2440 secs
lola: 343302724 markings, 573650164 edges, 139106 markings/sec, 2445 secs
lola: 343951307 markings, 574762758 edges, 129717 markings/sec, 2450 secs
lola: 344649565 markings, 575903963 edges, 139652 markings/sec, 2455 secs
lola: 345305386 markings, 577007904 edges, 131164 markings/sec, 2460 secs
lola: 345951969 markings, 578119108 edges, 129317 markings/sec, 2465 secs
lola: 346601687 markings, 579234797 edges, 129944 markings/sec, 2470 secs
lola: 347244294 markings, 580349645 edges, 128521 markings/sec, 2475 secs
lola: 347931702 markings, 581504909 edges, 137482 markings/sec, 2480 secs
lola: 348631207 markings, 582619305 edges, 139901 markings/sec, 2485 secs
lola: 349361973 markings, 583780500 edges, 146153 markings/sec, 2490 secs
lola: 350072793 markings, 584971090 edges, 142164 markings/sec, 2495 secs
lola: 350760313 markings, 586154728 edges, 137504 markings/sec, 2500 secs
lola: 351519820 markings, 587363951 edges, 151901 markings/sec, 2505 secs
lola: 352318139 markings, 588588537 edges, 159664 markings/sec, 2510 secs
lola: 353079357 markings, 589798801 edges, 152244 markings/sec, 2515 secs
lola: 353854722 markings, 591006371 edges, 155073 markings/sec, 2520 secs
lola: 354623883 markings, 592245273 edges, 153832 markings/sec, 2525 secs
lola: 355363619 markings, 593454822 edges, 147947 markings/sec, 2530 secs
lola: 356127014 markings, 594692545 edges, 152679 markings/sec, 2535 secs
lola: 356873232 markings, 595923145 edges, 149244 markings/sec, 2540 secs
lola: 357592901 markings, 597129830 edges, 143934 markings/sec, 2545 secs
lola: 358318968 markings, 598325907 edges, 145213 markings/sec, 2550 secs
lola: 359090715 markings, 599530230 edges, 154349 markings/sec, 2555 secs
lola: 359823242 markings, 600748706 edges, 146505 markings/sec, 2560 secs
lola: 360587747 markings, 601975113 edges, 152901 markings/sec, 2565 secs
lola: 361374002 markings, 603222754 edges, 157251 markings/sec, 2570 secs
lola: 362138032 markings, 604437696 edges, 152806 markings/sec, 2575 secs
lola: 362869627 markings, 605635754 edges, 146319 markings/sec, 2580 secs
lola: 363600595 markings, 606841054 edges, 146194 markings/sec, 2585 secs
lola: 364324468 markings, 608040198 edges, 144775 markings/sec, 2590 secs
lola: 365040872 markings, 609245168 edges, 143281 markings/sec, 2595 secs
lola: 365765061 markings, 610470473 edges, 144838 markings/sec, 2600 secs
lola: 366508514 markings, 611674757 edges, 148691 markings/sec, 2605 secs
lola: 367234970 markings, 612884001 edges, 145291 markings/sec, 2610 secs
lola: 367970868 markings, 614091848 edges, 147180 markings/sec, 2615 secs
lola: 368711244 markings, 615310167 edges, 148075 markings/sec, 2620 secs
lola: 369441902 markings, 616513487 edges, 146132 markings/sec, 2625 secs
lola: 370166860 markings, 617737107 edges, 144992 markings/sec, 2630 secs
lola: 370866548 markings, 618935546 edges, 139938 markings/sec, 2635 secs
lola: 371546089 markings, 620107558 edges, 135908 markings/sec, 2640 secs
lola: 372229664 markings, 621282140 edges, 136715 markings/sec, 2645 secs
lola: 372926734 markings, 622435621 edges, 139414 markings/sec, 2650 secs
lola: 373610289 markings, 623606955 edges, 136711 markings/sec, 2655 secs
lola: 374303556 markings, 624732952 edges, 138653 markings/sec, 2660 secs
lola: 374980852 markings, 625857070 edges, 135459 markings/sec, 2665 secs
lola: 375672047 markings, 627018544 edges, 138239 markings/sec, 2670 secs
lola: 376402754 markings, 628213436 edges, 146141 markings/sec, 2675 secs
lola: 377093731 markings, 629360124 edges, 138195 markings/sec, 2680 secs
lola: 377765159 markings, 630499807 edges, 134286 markings/sec, 2685 secs
lola: 378426350 markings, 631609291 edges, 132238 markings/sec, 2690 secs
lola: 379064323 markings, 632691493 edges, 127595 markings/sec, 2695 secs
lola: 379708988 markings, 633808883 edges, 128933 markings/sec, 2700 secs
lola: 380391430 markings, 634965415 edges, 136488 markings/sec, 2705 secs
lola: 381074018 markings, 636119040 edges, 136518 markings/sec, 2710 secs
lola: 381718438 markings, 637227250 edges, 128884 markings/sec, 2715 secs
lola: 382382089 markings, 638374665 edges, 132730 markings/sec, 2720 secs
lola: 383069261 markings, 639547409 edges, 137434 markings/sec, 2725 secs
lola: 383748546 markings, 640708068 edges, 135857 markings/sec, 2730 secs
lola: 384472165 markings, 641895215 edges, 144724 markings/sec, 2735 secs
lola: 385179931 markings, 643081253 edges, 141553 markings/sec, 2740 secs
lola: 385833152 markings, 644211764 edges, 130644 markings/sec, 2745 secs
lola: 386523186 markings, 645393464 edges, 138007 markings/sec, 2750 secs
lola: 387258693 markings, 646592219 edges, 147101 markings/sec, 2755 secs
lola: 388011992 markings, 647780865 edges, 150660 markings/sec, 2760 secs
lola: 388719884 markings, 648970691 edges, 141578 markings/sec, 2765 secs
lola: 389470728 markings, 650160783 edges, 150169 markings/sec, 2770 secs
lola: 390203358 markings, 651346734 edges, 146526 markings/sec, 2775 secs
lola: 390893013 markings, 652510492 edges, 137931 markings/sec, 2780 secs
lola: 391622126 markings, 653698597 edges, 145823 markings/sec, 2785 secs
lola: 392305201 markings, 654878821 edges, 136615 markings/sec, 2790 secs
lola: 393015117 markings, 656071459 edges, 141983 markings/sec, 2795 secs
lola: 393700184 markings, 657255714 edges, 137013 markings/sec, 2800 secs
lola: 394366107 markings, 658427073 edges, 133185 markings/sec, 2805 secs
lola: 395051793 markings, 659612087 edges, 137137 markings/sec, 2810 secs
lola: 395749133 markings, 660785067 edges, 139468 markings/sec, 2815 secs
lola: 396456636 markings, 661917891 edges, 141501 markings/sec, 2820 secs
lola: 397151093 markings, 663083751 edges, 138891 markings/sec, 2825 secs
lola: 397830808 markings, 664261811 edges, 135943 markings/sec, 2830 secs
lola: 398579462 markings, 665461928 edges, 149731 markings/sec, 2835 secs
lola: 399324404 markings, 666669606 edges, 148988 markings/sec, 2840 secs
lola: 400081922 markings, 667881738 edges, 151504 markings/sec, 2845 secs
lola: 400806832 markings, 669083156 edges, 144982 markings/sec, 2850 secs
lola: 401476618 markings, 670221030 edges, 133957 markings/sec, 2855 secs
lola: 402169233 markings, 671375210 edges, 138523 markings/sec, 2860 secs
lola: 402842734 markings, 672528164 edges, 134700 markings/sec, 2865 secs
lola: 403530951 markings, 673683188 edges, 137643 markings/sec, 2870 secs
lola: 404253206 markings, 674849012 edges, 144451 markings/sec, 2875 secs
lola: 404945533 markings, 676032958 edges, 138465 markings/sec, 2880 secs
lola: 405661870 markings, 677197084 edges, 143267 markings/sec, 2885 secs
lola: 406356925 markings, 678349916 edges, 139011 markings/sec, 2890 secs
lola: 406999140 markings, 679414633 edges, 128443 markings/sec, 2895 secs
lola: 407642904 markings, 680497233 edges, 128753 markings/sec, 2900 secs
lola: 408265626 markings, 681568095 edges, 124544 markings/sec, 2905 secs
lola: 408882140 markings, 682625425 edges, 123303 markings/sec, 2910 secs
lola: 409521510 markings, 683734869 edges, 127874 markings/sec, 2915 secs
lola: 410218057 markings, 684877272 edges, 139309 markings/sec, 2920 secs
lola: 410890776 markings, 686050605 edges, 134544 markings/sec, 2925 secs
lola: 411603766 markings, 687242775 edges, 142598 markings/sec, 2930 secs
lola: 412308481 markings, 688438348 edges, 140943 markings/sec, 2935 secs
lola: 412978668 markings, 689617416 edges, 134037 markings/sec, 2940 secs
lola: 413655618 markings, 690795352 edges, 135390 markings/sec, 2945 secs
lola: 414315604 markings, 691973066 edges, 131997 markings/sec, 2950 secs
lola: 415013396 markings, 693160078 edges, 139558 markings/sec, 2955 secs
lola: 415686233 markings, 694341762 edges, 134567 markings/sec, 2960 secs
lola: 416397279 markings, 695529158 edges, 142209 markings/sec, 2965 secs
lola: 417086479 markings, 696705756 edges, 137840 markings/sec, 2970 secs
lola: 417787640 markings, 697887092 edges, 140232 markings/sec, 2975 secs
lola: 418470617 markings, 699057174 edges, 136595 markings/sec, 2980 secs
lola: 419145354 markings, 700216747 edges, 134947 markings/sec, 2985 secs
lola: 419817334 markings, 701382445 edges, 134396 markings/sec, 2990 secs
lola: 420484083 markings, 702558102 edges, 133350 markings/sec, 2995 secs
lola: 421172679 markings, 703737116 edges, 137719 markings/sec, 3000 secs
lola: 421840480 markings, 704910745 edges, 133560 markings/sec, 3005 secs
lola: 422511186 markings, 706087689 edges, 134141 markings/sec, 3010 secs
lola: 423183436 markings, 707265072 edges, 134450 markings/sec, 3015 secs
lola: 423891973 markings, 708455942 edges, 141707 markings/sec, 3020 secs
lola: 424586154 markings, 709645572 edges, 138836 markings/sec, 3025 secs
lola: 425253208 markings, 710818972 edges, 133411 markings/sec, 3030 secs
lola: 425943431 markings, 712003278 edges, 138045 markings/sec, 3035 secs
lola: 426683756 markings, 713201579 edges, 148065 markings/sec, 3040 secs
lola: 427378217 markings, 714393667 edges, 138892 markings/sec, 3045 secs
lola: 428106969 markings, 715579818 edges, 145750 markings/sec, 3050 secs
lola: 428794819 markings, 716758594 edges, 137570 markings/sec, 3055 secs
lola: 429482415 markings, 717914465 edges, 137519 markings/sec, 3060 secs
lola: 430155902 markings, 719102170 edges, 134697 markings/sec, 3065 secs
lola: 430836138 markings, 720281592 edges, 136047 markings/sec, 3070 secs
lola: 431485568 markings, 721440395 edges, 129886 markings/sec, 3075 secs
lola: 432122234 markings, 722569172 edges, 127333 markings/sec, 3080 secs
lola: 432772355 markings, 723703730 edges, 130024 markings/sec, 3085 secs
lola: 433485745 markings, 724864260 edges, 142678 markings/sec, 3090 secs
lola: 434150810 markings, 726042181 edges, 133013 markings/sec, 3095 secs
lola: 434849036 markings, 727220896 edges, 139645 markings/sec, 3100 secs
lola: 435586272 markings, 728406454 edges, 147447 markings/sec, 3105 secs
lola: 436322808 markings, 729600723 edges, 147307 markings/sec, 3110 secs
lola: 437024546 markings, 730780232 edges, 140348 markings/sec, 3115 secs
lola: 437755243 markings, 731970851 edges, 146139 markings/sec, 3120 secs
lola: 438501462 markings, 733158344 edges, 149244 markings/sec, 3125 secs
lola: 439219025 markings, 734345419 edges, 143513 markings/sec, 3130 secs
lola: 439915712 markings, 735515679 edges, 139337 markings/sec, 3135 secs
lola: 440634816 markings, 736693181 edges, 143821 markings/sec, 3140 secs
lola: 441346763 markings, 737876301 edges, 142389 markings/sec, 3145 secs
lola: 442027970 markings, 739058887 edges, 136241 markings/sec, 3150 secs
lola: 442742088 markings, 740247701 edges, 142824 markings/sec, 3155 secs
lola: 443463326 markings, 741448069 edges, 144248 markings/sec, 3160 secs
lola: 444133742 markings, 742579330 edges, 134083 markings/sec, 3165 secs
lola: 444763452 markings, 743646924 edges, 125942 markings/sec, 3170 secs
lola: 445387381 markings, 744729964 edges, 124786 markings/sec, 3175 secs
lola: 446031824 markings, 745808471 edges, 128889 markings/sec, 3180 secs
lola: 446723992 markings, 746972254 edges, 138434 markings/sec, 3185 secs
lola: 447412252 markings, 748129433 edges, 137652 markings/sec, 3190 secs
lola: 448135602 markings, 749295087 edges, 144670 markings/sec, 3195 secs
lola: 448818505 markings, 750426484 edges, 136581 markings/sec, 3200 secs
lola: 449474221 markings, 751558501 edges, 131143 markings/sec, 3205 secs
lola: 450164566 markings, 752714942 edges, 138069 markings/sec, 3210 secs
lola: 450827334 markings, 753827278 edges, 132554 markings/sec, 3215 secs
lola: 451521015 markings, 754947904 edges, 138736 markings/sec, 3220 secs
lola: 452208121 markings, 756068784 edges, 137421 markings/sec, 3225 secs
lola: 452888150 markings, 757215787 edges, 136006 markings/sec, 3230 secs
lola: 453585177 markings, 758375073 edges, 139405 markings/sec, 3235 secs
lola: 454296946 markings, 759529664 edges, 142354 markings/sec, 3240 secs
lola: 454966187 markings, 760666581 edges, 133848 markings/sec, 3245 secs
lola: 455652100 markings, 761818315 edges, 137183 markings/sec, 3250 secs
lola: 456335602 markings, 762963307 edges, 136700 markings/sec, 3255 secs
lola: 457000861 markings, 764108640 edges, 133052 markings/sec, 3260 secs
lola: 457661616 markings, 765238456 edges, 132151 markings/sec, 3265 secs
lola: 458349987 markings, 766390437 edges, 137674 markings/sec, 3270 secs
lola: 459016004 markings, 767534948 edges, 133203 markings/sec, 3275 secs
lola: 459661538 markings, 768668648 edges, 129107 markings/sec, 3280 secs
lola: 460338527 markings, 769818478 edges, 135398 markings/sec, 3285 secs
lola: 460989339 markings, 770939413 edges, 130162 markings/sec, 3290 secs
lola: 461541464 markings, 771866754 edges, 110425 markings/sec, 3295 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: F ((p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (1 <= p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7)
lola: processed formula length: 44
lola: 5 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 832300 markings, 1236008 edges, 166460 markings/sec, 0 secs
lola: 1633359 markings, 2500494 edges, 160212 markings/sec, 5 secs
lola: 2448140 markings, 3733516 edges, 162956 markings/sec, 10 secs
lola: 3234405 markings, 4972429 edges, 157253 markings/sec, 15 secs
lola: 4018720 markings, 6197386 edges, 156863 markings/sec, 20 secs
lola: 4775429 markings, 7421319 edges, 151342 markings/sec, 25 secs
lola: 5544809 markings, 8646919 edges, 153876 markings/sec, 30 secs
lola: 6305783 markings, 9872743 edges, 152195 markings/sec, 35 secs
lola: 7055968 markings, 11106675 edges, 150037 markings/sec, 40 secs
lola: 7793015 markings, 12323964 edges, 147409 markings/sec, 45 secs
lola: 8570907 markings, 13555416 edges, 155578 markings/sec, 50 secs
lola: 9360035 markings, 14776690 edges, 157826 markings/sec, 55 secs
lola: 10108506 markings, 16001464 edges, 149694 markings/sec, 60 secs
lola: 10890641 markings, 17247703 edges, 156427 markings/sec, 65 secs
lola: 11692555 markings, 18476791 edges, 160383 markings/sec, 70 secs
lola: 12460386 markings, 19700433 edges, 153566 markings/sec, 75 secs
lola: 13245967 markings, 20918306 edges, 157116 markings/sec, 80 secs
lola: 14002064 markings, 22137102 edges, 151219 markings/sec, 85 secs
lola: 14751136 markings, 23351448 edges, 149814 markings/sec, 90 secs
lola: 15503668 markings, 24577643 edges, 150506 markings/sec, 95 secs
lola: 16242230 markings, 25788166 edges, 147712 markings/sec, 100 secs
lola: 16969825 markings, 27007334 edges, 145519 markings/sec, 105 secs
lola: 17681872 markings, 28184758 edges, 142409 markings/sec, 110 secs
lola: 18447566 markings, 29390885 edges, 153139 markings/sec, 115 secs
lola: 19203284 markings, 30623828 edges, 151144 markings/sec, 120 secs
lola: 19942010 markings, 31833978 edges, 147745 markings/sec, 125 secs
lola: 20686155 markings, 33014732 edges, 148829 markings/sec, 130 secs
lola: 21391530 markings, 34160366 edges, 141075 markings/sec, 135 secs
lola: 22094185 markings, 35304286 edges, 140531 markings/sec, 140 secs
lola: 22790679 markings, 36454250 edges, 139299 markings/sec, 145 secs
lola: 23512277 markings, 37674209 edges, 144320 markings/sec, 150 secs
lola: 24230854 markings, 38881511 edges, 143715 markings/sec, 155 secs
lola: 24929828 markings, 40080404 edges, 139795 markings/sec, 160 secs
lola: 25633544 markings, 41236206 edges, 140743 markings/sec, 165 secs
lola: 26317298 markings, 42367120 edges, 136751 markings/sec, 170 secs
lola: 26980272 markings, 43481815 edges, 132595 markings/sec, 175 secs
lola: 27699457 markings, 44629857 edges, 143837 markings/sec, 180 secs
lola: 28392889 markings, 45750057 edges, 138686 markings/sec, 185 secs
lola: 29088770 markings, 46899069 edges, 139176 markings/sec, 190 secs
lola: 29781085 markings, 48039168 edges, 138463 markings/sec, 195 secs
lola: 30499203 markings, 49197217 edges, 143624 markings/sec, 200 secs
lola: 31193230 markings, 50330617 edges, 138805 markings/sec, 205 secs
lola: 31877304 markings, 51470997 edges, 136815 markings/sec, 210 secs
lola: 32560896 markings, 52606936 edges, 136718 markings/sec, 215 secs
lola: 33258771 markings, 53763587 edges, 139575 markings/sec, 220 secs
lola: 33941153 markings, 54920847 edges, 136476 markings/sec, 225 secs
lola: 34612164 markings, 56061586 edges, 134202 markings/sec, 230 secs
lola: 35314135 markings, 57228718 edges, 140394 markings/sec, 235 secs
lola: 36027359 markings, 58419001 edges, 142645 markings/sec, 240 secs
lola: 36748136 markings, 59637842 edges, 144155 markings/sec, 245 secs
lola: 37462007 markings, 60859673 edges, 142774 markings/sec, 250 secs
lola: 38131604 markings, 61994794 edges, 133919 markings/sec, 255 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown
lola:
preliminary result: no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown
lola: memory consumption: 1662080 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 1662080 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown
rslt: finished

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NeoElection-COL-8"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itslola"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is NeoElection-COL-8, 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 r174-csrt-158987852900265"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NeoElection-COL-8.tgz
mv NeoElection-COL-8 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;