Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.....................................................
/home/mcc/execution
total 256K
-rw-r--r-- 1 mcc users 4.0K May 30 20:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 30 20:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 29 14:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 29 14:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 28 09:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 28 07:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K May 28 07:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.4K May 28 06:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 28 06:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 110 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 348 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.4K May 27 03:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 27 03:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 4 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 82K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DiscoveryGPU-PT-11b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749169500103
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527778996472

info: Time: 3600 - MCC
===========================================================================================
prep: translating DiscoveryGPU-PT-11b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DiscoveryGPU-PT-11b formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DiscoveryGPU-PT-11b @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 668/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 324
lola: finding significant places
lola: 324 places, 344 transitions, 311 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 403 transition conflict sets
lola: TASK
lola: reading formula from DiscoveryGPU-PT-11b-CTLFireability.task
lola: (NOT((A (F ((FIREABLE(t312) AND FIREABLE(t228)))) OR NOT FIREABLE(t146))) OR A (G ((NOT FIREABLE(t156) AND NOT FIREABLE(t143))))) : E (G (((NOT FIREABLE(t77) OR NOT FIREABLE(t11) OR ((FIREABLE(t268) OR FIREABLE(t212)) AND NOT FIREABLE(t285))) OR NOT(A (F (FIREABLE(t132))))))) : (A (G (E (F ((FIREABLE(t170) AND FIREABLE(t202)))))) OR NOT(NOT(A (F ((FIREABLE(t148) AND FIREABLE(t117))))))) : A (F (((A (G (FIREABLE(t70))) OR FIREABLE(t265)) OR FIREABLE(t297)))) : E ((A (F (FIREABLE(t292))) U FIREABLE(t298))) : ((((NOT FIREABLE(t86) AND NOT FIREABLE(t158) AND FIREABLE(t146)) AND (E (G (FIREABLE(t223))) OR E (X (FIREABLE(t75))))) OR E (F (A (G (FIREABLE(t177)))))) OR E ((E (G (FIREABLE(t235))) U E (X (FIREABLE(t225)))))) : A (F (A (G ((FIREABLE(t69) AND FIREABLE(t297) AND FIREABLE(t329)))))) : E ((((FIREABLE(t116) OR FIREABLE(t185)) AND FIREABLE(t99) AND ((FIREABLE(t128) AND FIREABLE(t142)) OR (FIREABLE(t219) AND FIREABLE(t88)))) U (A (F (FIREABLE(t245))) AND (NOT FIREABLE(t74) AND NOT FIREABLE(t167))))) : NOT(NOT((E (F ((FIREABLE(t249) OR FIREABLE(t263)))) OR FIREABLE(t107)))) : E ((A (F (FIREABLE(t153))) U FIREABLE(t8))) : A (F ((E (F (NOT FIREABLE(t55))) AND A ((FIREABLE(t80) U FIREABLE(t6)))))) : E (F (FIREABLE(t117))) : A (((FIREABLE(t286) OR A (F (FIREABLE(t229)))) U (E (F (FIREABLE(t334))) OR E (F (FIREABLE(t245)))))) : (FIREABLE(t251) OR A (((NOT FIREABLE(t286) OR NOT FIREABLE(t78)) U FIREABLE(t69)))) : (E (((NOT FIREABLE(t140) OR NOT FIREABLE(t336)) U FIREABLE(t305))) OR E ((A (X (FIREABLE(t151))) U ((FIREABLE(t118) OR FIREABLE(t114)) AND NOT FIREABLE(t170))))) : NOT(E (G (A (X (NOT FIREABLE(t166))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:323
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 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((NOT FIREABLE(t86) AND NOT FIREABLE(t158) AND FIREABLE(t146)) AND (E (G (FIREABLE(t223))) OR E (X (FIREABLE(t75))))) OR (E (F (A (G (FIREABLE(t177))))) OR E ((E (G (FIREABLE(t235))) U E (X (FIREABLE(t225)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: (((NOT FIREABLE(t86) AND NOT FIREABLE(t158) AND FIREABLE(t146)) AND (NOT(A(TRUE U NOT FIREABLE(t223))) OR EX(FIREABLE(t75)))) OR (E(TRUE U NOT(E(TRUE U NOT FIREABLE(t177)))) OR E(NOT(A(TRUE U NOT FIREABLE(t235))) U EX(FIREABLE(t225)))))
lola: processed formula length: 236
lola: 41 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 5 significant temporal operators and needs 22 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 369804 markings, 1893252 edges, 73961 markings/sec, 0 secs
lola: 687850 markings, 3624906 edges, 63609 markings/sec, 5 secs
lola: 985617 markings, 5315202 edges, 59553 markings/sec, 10 secs
lola: 1302851 markings, 6907361 edges, 63447 markings/sec, 15 secs
lola: 1572659 markings, 8425266 edges, 53962 markings/sec, 20 secs
lola: 1864548 markings, 9978536 edges, 58378 markings/sec, 25 secs
lola: 2152940 markings, 11648449 edges, 57678 markings/sec, 30 secs
lola: 2482105 markings, 13509062 edges, 65833 markings/sec, 35 secs
lola: 2784073 markings, 15175612 edges, 60394 markings/sec, 40 secs
lola: 3025701 markings, 16597185 edges, 48326 markings/sec, 45 secs
lola: 3273871 markings, 18103121 edges, 49634 markings/sec, 50 secs
lola: 3528762 markings, 19711489 edges, 50978 markings/sec, 55 secs
lola: 3801691 markings, 21370220 edges, 54586 markings/sec, 60 secs
lola: 4056814 markings, 22924567 edges, 51025 markings/sec, 65 secs
lola: 4332620 markings, 24497330 edges, 55161 markings/sec, 70 secs
lola: 4598679 markings, 26077843 edges, 53212 markings/sec, 75 secs
lola: 4837167 markings, 27754092 edges, 47698 markings/sec, 80 secs
lola: 5107918 markings, 29459083 edges, 54150 markings/sec, 85 secs
lola: 5382465 markings, 31089595 edges, 54909 markings/sec, 90 secs
lola: 5618407 markings, 32725614 edges, 47188 markings/sec, 95 secs
lola: 5886358 markings, 34357759 edges, 53590 markings/sec, 100 secs
lola: 6135793 markings, 35845310 edges, 49887 markings/sec, 105 secs
lola: 6396533 markings, 37509741 edges, 52148 markings/sec, 110 secs
lola: 6650933 markings, 39103431 edges, 50880 markings/sec, 115 secs
lola: 6933663 markings, 40818390 edges, 56546 markings/sec, 120 secs
lola: 7210027 markings, 42465024 edges, 55273 markings/sec, 125 secs
lola: 7470879 markings, 44146377 edges, 52170 markings/sec, 130 secs
lola: 7719514 markings, 45654281 edges, 49727 markings/sec, 135 secs
lola: 7947817 markings, 47178940 edges, 45661 markings/sec, 140 secs
lola: 8210344 markings, 48837571 edges, 52505 markings/sec, 145 secs
lola: 8442478 markings, 50389367 edges, 46427 markings/sec, 150 secs
lola: 8692997 markings, 52056374 edges, 50104 markings/sec, 155 secs
lola: 8960533 markings, 53689476 edges, 53507 markings/sec, 160 secs
lola: 9222124 markings, 55250971 edges, 52318 markings/sec, 165 secs
lola: 9476161 markings, 56876935 edges, 50807 markings/sec, 170 secs
lola: 9747880 markings, 58537813 edges, 54344 markings/sec, 175 secs
lola: 9981226 markings, 60095093 edges, 46669 markings/sec, 180 secs
lola: 10220133 markings, 61593292 edges, 47781 markings/sec, 185 secs
lola: 10440311 markings, 63061619 edges, 44036 markings/sec, 190 secs
lola: 10670996 markings, 64602992 edges, 46137 markings/sec, 195 secs
lola: 10938513 markings, 66158553 edges, 53503 markings/sec, 200 secs
lola: 11202284 markings, 67646019 edges, 52754 markings/sec, 205 secs
lola: 11440429 markings, 69073255 edges, 47629 markings/sec, 210 secs
lola: 11673949 markings, 70513535 edges, 46704 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 929788 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (((NOT FIREABLE(t140) OR NOT FIREABLE(t336)) U FIREABLE(t305))) OR E ((A (X (FIREABLE(t151))) U ((FIREABLE(t118) OR FIREABLE(t114)) AND NOT FIREABLE(t170)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: (E((NOT FIREABLE(t140) OR NOT FIREABLE(t336)) U FIREABLE(t305)) OR E(AX(FIREABLE(t151)) U ((FIREABLE(t118) OR FIREABLE(t114)) AND NOT FIREABLE(t170))))
lola: processed formula length: 153
lola: 34 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1606 markings, 2348 edges
lola: ========================================

FORMULA DiscoveryGPU-PT-11b-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (X (FIREABLE(t166)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U EX(FIREABLE(t166)))
lola: processed formula length: 28
lola: 33 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 36 markings, 36 edges
lola: ========================================

FORMULA DiscoveryGPU-PT-11b-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t117)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t117)))
lola: processed formula length: 22
lola: 32 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t117)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 26 markings, 25 edges
lola:
FORMULA DiscoveryGPU-PT-11b-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
state equation: write sara problem file to DiscoveryGPU-PT-11b-CTLFireability-3-0.sara
lola: ========================================
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (F (FIREABLE(t153))) U FIREABLE(t8)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(A(TRUE U FIREABLE(t153)) U FIREABLE(t8))
lola: processed formula length: 42
lola: 33 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 36 markings, 37 edges
lola: ========================================

FORMULA DiscoveryGPU-PT-11b-CTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (F (FIREABLE(t292))) U FIREABLE(t298)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(A(TRUE U FIREABLE(t292)) U FIREABLE(t298))
lola: processed formula length: 44
lola: 33 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 36 markings, 37 edges
lola: ========================================

FORMULA DiscoveryGPU-PT-11b-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A (G (FIREABLE(t70))) OR (FIREABLE(t265) OR FIREABLE(t297)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U (NOT(E(TRUE U NOT FIREABLE(t70))) OR (FIREABLE(t265) OR FIREABLE(t297))))
lola: processed formula length: 82
lola: 34 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 36 markings, 72 edges
lola: ========================================

FORMULA DiscoveryGPU-PT-11b-CTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((NOT FIREABLE(t77) OR NOT FIREABLE(t11) OR ((FIREABLE(t268) OR FIREABLE(t212)) AND NOT FIREABLE(t285))) OR E (G (NOT FIREABLE(t132))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: processed formula: NOT(A(TRUE U ((FIREABLE(t77) AND FIREABLE(t11) AND ((NOT FIREABLE(t268) AND NOT FIREABLE(t212)) OR FIREABLE(t285))) AND A(TRUE U FIREABLE(t132)))))
lola: processed formula length: 148
lola: 37 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 36 markings, 36 edges
lola: ========================================

FORMULA DiscoveryGPU-PT-11b-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 418 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((FIREABLE(t116) OR FIREABLE(t185)) AND FIREABLE(t99) AND ((FIREABLE(t128) AND FIREABLE(t142)) OR (FIREABLE(t219) AND FIREABLE(t88)))) U (A (F (FIREABLE(t245))) AND (NOT FIREABLE(t74) AND NOT FIREABLE(t167)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(((FIREABLE(t116) OR FIREABLE(t185)) AND FIREABLE(t99) AND ((FIREABLE(t128) AND FIREABLE(t142)) OR (FIREABLE(t219) AND FIREABLE(t88)))) U (A(TRUE U FIREABLE(t245)) AND (NOT FIREABLE(t74) AND NOT FIREABLE(t167))))
lola: processed formula length: 215
lola: 33 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 36 markings, 37 edges
lola: ========================================

FORMULA DiscoveryGPU-PT-11b-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 478 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((E (F (NOT FIREABLE(t55))) AND A ((FIREABLE(t80) U FIREABLE(t6))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (E(TRUE U NOT FIREABLE(t55)) AND A(FIREABLE(t80) U FIREABLE(t6))))
lola: processed formula length: 75
lola: 34 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 36 markings, 108 edges
lola: ========================================

FORMULA DiscoveryGPU-PT-11b-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t286) OR A (F (FIREABLE(t229)))) U (E (F (FIREABLE(t334))) OR E (F (FIREABLE(t245))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A((FIREABLE(t286) OR A(TRUE U FIREABLE(t229))) U (E(TRUE U FIREABLE(t334)) OR E(TRUE U FIREABLE(t245))))
lola: processed formula length: 104
lola: 35 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 4 significant temporal operators and needs 17 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 805 markings, 1005 edges
lola: ========================================

FORMULA DiscoveryGPU-PT-11b-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 669 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F ((FIREABLE(t249) OR FIREABLE(t263)))) OR FIREABLE(t107))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 669 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t107)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t107)
lola: processed formula length: 14
lola: 31 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 836 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t249) OR FIREABLE(t263))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t249) OR FIREABLE(t263))))
lola: processed formula length: 43
lola: 32 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t249) OR FIREABLE(t263))
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: The predicate is reachable.
lola: 30 markings, 29 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================

FORMULA DiscoveryGPU-PT-11b-CTLFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 836 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t251) OR A (((NOT FIREABLE(t286) OR NOT FIREABLE(t78)) U FIREABLE(t69))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 836 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t251)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t251)
lola: processed formula length: 14
lola: 31 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 1115 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(t286) OR NOT FIREABLE(t78)) U FIREABLE(t69)))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (((NOT FIREABLE(t286) OR NOT FIREABLE(t78)) U FIREABLE(t69)))
lola: processed formula length: 64
lola: 35 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 36 markings, 36 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA DiscoveryGPU-PT-11b-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1115 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((FIREABLE(t69) AND FIREABLE(t297) AND FIREABLE(t329))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:665
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t69) OR NOT FIREABLE(t297) OR NOT FIREABLE(t329))
lola: processed formula length: 65
lola: 33 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 36 markings, 36 edges
lola: ========================================

FORMULA DiscoveryGPU-PT-11b-CTLFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1673 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((E (G ((NOT FIREABLE(t312) OR NOT FIREABLE(t228)))) AND FIREABLE(t146)) OR A (G ((NOT FIREABLE(t156) AND NOT FIREABLE(t143)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1673 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t146)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t146)
lola: processed formula length: 14
lola: 31 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 3347 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t156) AND NOT FIREABLE(t143))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NOT FIREABLE(t156) AND NOT FIREABLE(t143))))
lola: processed formula length: 51
lola: 33 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (FIREABLE(t156) OR FIREABLE(t143))
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DiscoveryGPU-PT-11b-CTLFireability-15-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 33 markings, 32 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA DiscoveryGPU-PT-11b-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3347 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (E (F ((FIREABLE(t170) AND FIREABLE(t202)))))) OR A (F ((FIREABLE(t148) AND FIREABLE(t117)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 3347 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t148) AND FIREABLE(t117))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t148) OR NOT FIREABLE(t117))
lola: processed formula length: 43
lola: 33 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
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: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 27 markings, 27 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (((NOT FIREABLE(t86) AND NOT FIREABLE(t158) AND FIREABLE(t146)) AND (E (G (FIREABLE(t223))) OR E (X (FIREABLE(t75))))) OR (E (F (A (G (FIREABLE(t177))))) OR E ((E (G (FIREABLE(t235))) U E (X (FIREABLE(t225)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: (((NOT FIREABLE(t86) AND NOT FIREABLE(t158) AND FIREABLE(t146)) AND (NOT(A(TRUE U NOT FIREABLE(t223))) OR EX(FIREABLE(t75)))) OR (E(TRUE U NOT(E(TRUE U NOT FIREABLE(t177)))) OR E(NOT(A(TRUE U NOT FIREABLE(t235))) U EX(FIREABLE(t225)))))
lola: processed formula length: 236
lola: 41 rewrites
lola: closed formula file DiscoveryGPU-PT-11b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 5 significant temporal operators and needs 22 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 342596 markings, 1701595 edges, 68519 markings/sec, 0 secs
lola: 645952 markings, 3352884 edges, 60671 markings/sec, 5 secs
lola: 936011 markings, 4933792 edges, 58012 markings/sec, 10 secs
lola: 1237348 markings, 6644581 edges, 60267 markings/sec, 15 secs
lola: 1543534 markings, 8324144 edges, 61237 markings/sec, 20 secs
lola: 1854993 markings, 10101983 edges, 62292 markings/sec, 25 secs
lola: 2167735 markings, 11876564 edges, 62548 markings/sec, 30 secs
lola: 2499407 markings, 13628616 edges, 66334 markings/sec, 35 secs
lola: 2823393 markings, 15310385 edges, 64797 markings/sec, 40 secs
lola: 3106439 markings, 16996322 edges, 56609 markings/sec, 45 secs
lola: 3432563 markings, 18671599 edges, 65225 markings/sec, 50 secs
lola: 3730032 markings, 20362758 edges, 59494 markings/sec, 55 secs
lola: 4019030 markings, 22027868 edges, 57800 markings/sec, 60 secs
lola: 4335270 markings, 23897172 edges, 63248 markings/sec, 65 secs
lola: 4621480 markings, 25708362 edges, 57242 markings/sec, 70 secs
lola: 4894606 markings, 27459689 edges, 54625 markings/sec, 75 secs
lola: 5191807 markings, 29360904 edges, 59440 markings/sec, 80 secs
lola: 5473776 markings, 31224211 edges, 56394 markings/sec, 85 secs
lola: 5750081 markings, 33055239 edges, 55261 markings/sec, 90 secs
lola: 5997351 markings, 34696357 edges, 49454 markings/sec, 95 secs
lola: 6249788 markings, 36327297 edges, 50487 markings/sec, 100 secs
lola: 6492152 markings, 37839376 edges, 48473 markings/sec, 105 secs
lola: 6752153 markings, 39393106 edges, 52000 markings/sec, 110 secs
lola: 6973273 markings, 40941286 edges, 44224 markings/sec, 115 secs
lola: 7221697 markings, 42537968 edges, 49685 markings/sec, 120 secs
lola: 7478351 markings, 44108985 edges, 51331 markings/sec, 125 secs
lola: 7713972 markings, 45664140 edges, 47124 markings/sec, 130 secs
lola: 7939523 markings, 47183808 edges, 45110 markings/sec, 135 secs
lola: 8248306 markings, 48950392 edges, 61757 markings/sec, 140 secs
lola: 8593458 markings, 50832101 edges, 69030 markings/sec, 145 secs
lola: 8896801 markings, 52673984 edges, 60669 markings/sec, 150 secs
lola: 9210221 markings, 54487895 edges, 62684 markings/sec, 155 secs
lola: 9515288 markings, 56316303 edges, 61013 markings/sec, 160 secs
lola: 9811637 markings, 58115467 edges, 59270 markings/sec, 165 secs
lola: 10109822 markings, 59889961 edges, 59637 markings/sec, 170 secs
lola: 10379366 markings, 61592517 edges, 53909 markings/sec, 175 secs
lola: 10650127 markings, 63231525 edges, 54152 markings/sec, 180 secs
lola: 10929671 markings, 64847855 edges, 55909 markings/sec, 185 secs
lola: 11210405 markings, 66402985 edges, 56147 markings/sec, 190 secs
lola: 11501507 markings, 67993221 edges, 58220 markings/sec, 195 secs
lola: 11760589 markings, 69604503 edges, 51816 markings/sec, 200 secs
lola: 12053682 markings, 71187550 edges, 58619 markings/sec, 205 secs
lola: 12309593 markings, 72672677 edges, 51182 markings/sec, 210 secs
lola: 12567482 markings, 74238177 edges, 51578 markings/sec, 215 secs
lola: 12812683 markings, 75757033 edges, 49040 markings/sec, 220 secs
lola: 13083326 markings, 77403826 edges, 54129 markings/sec, 225 secs
lola: 13360877 markings, 79189284 edges, 55510 markings/sec, 230 secs
lola: 13628621 markings, 80927561 edges, 53549 markings/sec, 235 secs
lola: 13891598 markings, 82654397 edges, 52595 markings/sec, 240 secs
lola: 14136963 markings, 84252800 edges, 49073 markings/sec, 245 secs
lola: 14369640 markings, 85951772 edges, 46535 markings/sec, 250 secs
lola: 14630910 markings, 87654042 edges, 52254 markings/sec, 255 secs
lola: 14877515 markings, 89367166 edges, 49321 markings/sec, 260 secs
lola: 15113193 markings, 90968622 edges, 47136 markings/sec, 265 secs
lola: 15352616 markings, 92535636 edges, 47885 markings/sec, 270 secs
lola: 15585616 markings, 94036502 edges, 46600 markings/sec, 275 secs
lola: 15830353 markings, 95551247 edges, 48947 markings/sec, 280 secs
lola: 16037694 markings, 97049381 edges, 41468 markings/sec, 285 secs
lola: 16254766 markings, 98545626 edges, 43414 markings/sec, 290 secs
lola: 16491150 markings, 100025370 edges, 47277 markings/sec, 295 secs
lola: 16723295 markings, 101567855 edges, 46429 markings/sec, 300 secs
lola: 16942199 markings, 103102989 edges, 43781 markings/sec, 305 secs
lola: 17161363 markings, 104602797 edges, 43833 markings/sec, 310 secs
lola: 17496586 markings, 106419847 edges, 67045 markings/sec, 315 secs
lola: 17798046 markings, 108196479 edges, 60292 markings/sec, 320 secs
lola: 18072014 markings, 109970075 edges, 54794 markings/sec, 325 secs
lola: 18376644 markings, 111721372 edges, 60926 markings/sec, 330 secs
lola: 18676355 markings, 113396058 edges, 59942 markings/sec, 335 secs
lola: 18959305 markings, 115138297 edges, 56590 markings/sec, 340 secs
lola: 19188523 markings, 116823724 edges, 45844 markings/sec, 345 secs
lola: 19468787 markings, 118530119 edges, 56053 markings/sec, 350 secs
lola: 19757849 markings, 120229109 edges, 57812 markings/sec, 355 secs
lola: 20015760 markings, 121885590 edges, 51582 markings/sec, 360 secs
lola: 20293338 markings, 123620881 edges, 55516 markings/sec, 365 secs
lola: 20535432 markings, 125297721 edges, 48419 markings/sec, 370 secs
lola: 20797947 markings, 126944208 edges, 52503 markings/sec, 375 secs
lola: 21028899 markings, 128512730 edges, 46190 markings/sec, 380 secs
lola: 21286202 markings, 130210341 edges, 51461 markings/sec, 385 secs
lola: 21538428 markings, 131823108 edges, 50445 markings/sec, 390 secs
lola: 21778249 markings, 133318937 edges, 47964 markings/sec, 395 secs
lola: 22034499 markings, 134894232 edges, 51250 markings/sec, 400 secs
lola: 22273576 markings, 136275417 edges, 47815 markings/sec, 405 secs
lola: 22525280 markings, 137827551 edges, 50341 markings/sec, 410 secs
lola: 22744923 markings, 139229936 edges, 43929 markings/sec, 415 secs
lola: 23009717 markings, 140751654 edges, 52959 markings/sec, 420 secs
lola: 23262523 markings, 142177402 edges, 50561 markings/sec, 425 secs
lola: 23478444 markings, 143597418 edges, 43184 markings/sec, 430 secs
lola: 23692916 markings, 145057207 edges, 42894 markings/sec, 435 secs
lola: 23883050 markings, 146455708 edges, 38027 markings/sec, 440 secs
lola: 24095692 markings, 147910833 edges, 42528 markings/sec, 445 secs
lola: 24338294 markings, 149376293 edges, 48520 markings/sec, 450 secs
lola: 24600085 markings, 150901894 edges, 52358 markings/sec, 455 secs
lola: 24862127 markings, 152404301 edges, 52408 markings/sec, 460 secs
lola: 25124380 markings, 153909757 edges, 52451 markings/sec, 465 secs
lola: 25333700 markings, 155268877 edges, 41864 markings/sec, 470 secs
lola: 25560722 markings, 156721479 edges, 45404 markings/sec, 475 secs
lola: 25803291 markings, 158298365 edges, 48514 markings/sec, 480 secs
lola: 26037726 markings, 159881722 edges, 46887 markings/sec, 485 secs
lola: 26272428 markings, 161355409 edges, 46940 markings/sec, 490 secs
lola: 26486478 markings, 162785099 edges, 42810 markings/sec, 495 secs
lola: 26717626 markings, 164342514 edges, 46230 markings/sec, 500 secs
lola: 27012916 markings, 166216768 edges, 59058 markings/sec, 505 secs
lola: 27296678 markings, 168051584 edges, 56752 markings/sec, 510 secs
lola: 27562926 markings, 169837914 edges, 53250 markings/sec, 515 secs
lola: 27808221 markings, 171489056 edges, 49059 markings/sec, 520 secs
lola: 28044296 markings, 173232458 edges, 47215 markings/sec, 525 secs
lola: 28313081 markings, 174981106 edges, 53757 markings/sec, 530 secs
lola: 28567989 markings, 176759137 edges, 50982 markings/sec, 535 secs
lola: 28807238 markings, 178400753 edges, 47850 markings/sec, 540 secs
lola: 29053318 markings, 180036114 edges, 49216 markings/sec, 545 secs
lola: 29294215 markings, 181607179 edges, 48179 markings/sec, 550 secs
lola: 29549005 markings, 183206623 edges, 50958 markings/sec, 555 secs
lola: 29757385 markings, 184755449 edges, 41676 markings/sec, 560 secs
lola: 29986009 markings, 186273156 edges, 45725 markings/sec, 565 secs
lola: 30231366 markings, 187838961 edges, 49071 markings/sec, 570 secs
lola: 30457632 markings, 189377785 edges, 45253 markings/sec, 575 secs
lola: 30677807 markings, 190918444 edges, 44035 markings/sec, 580 secs
lola: 30921927 markings, 192561481 edges, 48824 markings/sec, 585 secs
lola: 31173710 markings, 194333458 edges, 50357 markings/sec, 590 secs
lola: 31415032 markings, 196111825 edges, 48264 markings/sec, 595 secs
lola: 31641576 markings, 197793935 edges, 45309 markings/sec, 600 secs
lola: 31881286 markings, 199493567 edges, 47942 markings/sec, 605 secs
lola: 32096338 markings, 201226741 edges, 43010 markings/sec, 610 secs
lola: 32332950 markings, 202906044 edges, 47322 markings/sec, 615 secs
lola: 32550720 markings, 204570043 edges, 43554 markings/sec, 620 secs
lola: 32752141 markings, 206100592 edges, 40284 markings/sec, 625 secs
lola: 32956875 markings, 207644718 edges, 40947 markings/sec, 630 secs
lola: 33160271 markings, 209094261 edges, 40679 markings/sec, 635 secs
lola: 33356557 markings, 210528868 edges, 39257 markings/sec, 640 secs
lola: 33566797 markings, 211968916 edges, 42048 markings/sec, 645 secs
lola: 33742969 markings, 213378051 edges, 35234 markings/sec, 650 secs
lola: 33929695 markings, 214781918 edges, 37345 markings/sec, 655 secs
lola: 34146780 markings, 216306625 edges, 43417 markings/sec, 660 secs
lola: 34337141 markings, 217697832 edges, 38072 markings/sec, 665 secs
lola: 34532838 markings, 219190655 edges, 39139 markings/sec, 670 secs
lola: 34716629 markings, 220591753 edges, 36758 markings/sec, 675 secs
lola: 34944502 markings, 222022904 edges, 45575 markings/sec, 680 secs
lola: 35232737 markings, 223624673 edges, 57647 markings/sec, 685 secs
lola: 35517101 markings, 225290521 edges, 56873 markings/sec, 690 secs
lola: 35824735 markings, 227006022 edges, 61527 markings/sec, 695 secs
lola: 36109072 markings, 228733430 edges, 56867 markings/sec, 700 secs
lola: 36395267 markings, 230359709 edges, 57239 markings/sec, 705 secs
lola: 36683185 markings, 232100714 edges, 57584 markings/sec, 710 secs
lola: 36950594 markings, 233725483 edges, 53482 markings/sec, 715 secs
lola: 37219640 markings, 235245927 edges, 53809 markings/sec, 720 secs
lola: 37502537 markings, 236822428 edges, 56579 markings/sec, 725 secs
lola: 37756403 markings, 238312635 edges, 50773 markings/sec, 730 secs
lola: 38007908 markings, 239858729 edges, 50301 markings/sec, 735 secs
lola: 38287502 markings, 241385936 edges, 55919 markings/sec, 740 secs
lola: 38543384 markings, 242906791 edges, 51176 markings/sec, 745 secs
lola: 38793012 markings, 244441493 edges, 49926 markings/sec, 750 secs
lola: 39075705 markings, 246168384 edges, 56539 markings/sec, 755 secs
lola: 39336506 markings, 247851299 edges, 52160 markings/sec, 760 secs
lola: 39593880 markings, 249571466 edges, 51475 markings/sec, 765 secs
lola: 39846331 markings, 251238978 edges, 50490 markings/sec, 770 secs
lola: 40090458 markings, 252814446 edges, 48825 markings/sec, 775 secs
lola: 40319287 markings, 254464604 edges, 45766 markings/sec, 780 secs
lola: 40573214 markings, 256134697 edges, 50785 markings/sec, 785 secs
lola: 40810174 markings, 257791165 edges, 47392 markings/sec, 790 secs
lola: 41039290 markings, 259353050 edges, 45823 markings/sec, 795 secs
lola: 41265786 markings, 260832061 edges, 45299 markings/sec, 800 secs
lola: 41493613 markings, 262294264 edges, 45565 markings/sec, 805 secs
lola: 41731549 markings, 263773622 edges, 47587 markings/sec, 810 secs
lola: 41940728 markings, 265256167 edges, 41836 markings/sec, 815 secs
lola: 42144016 markings, 266685712 edges, 40658 markings/sec, 820 secs
lola: 42365057 markings, 268090979 edges, 44208 markings/sec, 825 secs
lola: 42588311 markings, 269552436 edges, 44651 markings/sec, 830 secs
lola: 42810386 markings, 271094906 edges, 44415 markings/sec, 835 secs
lola: 43016939 markings, 272509002 edges, 41311 markings/sec, 840 secs
lola: 43334221 markings, 274276927 edges, 63456 markings/sec, 845 secs
lola: 43652805 markings, 276046581 edges, 63717 markings/sec, 850 secs
lola: 43951706 markings, 277756557 edges, 59780 markings/sec, 855 secs
lola: 44250426 markings, 279471274 edges, 59744 markings/sec, 860 secs
lola: 44539795 markings, 281106829 edges, 57874 markings/sec, 865 secs
lola: 44831709 markings, 282692638 edges, 58383 markings/sec, 870 secs
lola: 45088969 markings, 284262967 edges, 51452 markings/sec, 875 secs
lola: 45366442 markings, 285823479 edges, 55495 markings/sec, 880 secs
lola: 45636670 markings, 287393430 edges, 54046 markings/sec, 885 secs
lola: 45916765 markings, 288859037 edges, 56019 markings/sec, 890 secs
lola: 46168445 markings, 290298658 edges, 50336 markings/sec, 895 secs
lola: 46410192 markings, 291776433 edges, 48349 markings/sec, 900 secs
lola: 46672481 markings, 293356596 edges, 52458 markings/sec, 905 secs
lola: 46937604 markings, 294799302 edges, 53025 markings/sec, 910 secs
lola: 47244050 markings, 296546334 edges, 61289 markings/sec, 915 secs
lola: 47525496 markings, 298177738 edges, 56289 markings/sec, 920 secs
lola: 47821676 markings, 299828544 edges, 59236 markings/sec, 925 secs
lola: 48142273 markings, 301499341 edges, 64119 markings/sec, 930 secs
lola: 48405642 markings, 303088096 edges, 52674 markings/sec, 935 secs
lola: 48657283 markings, 304687507 edges, 50328 markings/sec, 940 secs
lola: 48939069 markings, 306337804 edges, 56357 markings/sec, 945 secs
lola: 49220941 markings, 307947630 edges, 56374 markings/sec, 950 secs
lola: 49519660 markings, 309597472 edges, 59744 markings/sec, 955 secs
lola: 49790212 markings, 311149783 edges, 54110 markings/sec, 960 secs
lola: 50052801 markings, 312684839 edges, 52518 markings/sec, 965 secs
lola: 50284008 markings, 314034603 edges, 46241 markings/sec, 970 secs
lola: 50549529 markings, 315584226 edges, 53104 markings/sec, 975 secs
lola: 50821978 markings, 317189016 edges, 54490 markings/sec, 980 secs
lola: 51137990 markings, 318845294 edges, 63202 markings/sec, 985 secs
lola: 51457950 markings, 320553613 edges, 63992 markings/sec, 990 secs
lola: 51732235 markings, 322177375 edges, 54857 markings/sec, 995 secs
lola: 51984757 markings, 323789803 edges, 50504 markings/sec, 1000 secs
lola: 52218983 markings, 325358314 edges, 46845 markings/sec, 1005 secs
lola: 52501993 markings, 327034118 edges, 56602 markings/sec, 1010 secs
lola: 52773466 markings, 328613189 edges, 54295 markings/sec, 1015 secs
lola: 53055114 markings, 330242166 edges, 56330 markings/sec, 1020 secs
lola: 53360060 markings, 331880532 edges, 60989 markings/sec, 1025 secs
lola: 53656719 markings, 333558536 edges, 59332 markings/sec, 1030 secs
lola: 53947799 markings, 335263689 edges, 58216 markings/sec, 1035 secs
lola: 54224921 markings, 336913885 edges, 55424 markings/sec, 1040 secs
lola: 54480733 markings, 338449964 edges, 51162 markings/sec, 1045 secs
lola: 54773974 markings, 340150769 edges, 58648 markings/sec, 1050 secs
lola: 55043149 markings, 341810277 edges, 53835 markings/sec, 1055 secs
lola: 55328915 markings, 343500919 edges, 57153 markings/sec, 1060 secs
lola: 55613026 markings, 345193725 edges, 56822 markings/sec, 1065 secs
lola: 55882648 markings, 346894635 edges, 53924 markings/sec, 1070 secs
lola: 56134525 markings, 348530433 edges, 50375 markings/sec, 1075 secs
lola: 56399607 markings, 350171246 edges, 53016 markings/sec, 1080 secs
lola: 56639042 markings, 351827379 edges, 47887 markings/sec, 1085 secs
lola: 56895419 markings, 353443251 edges, 51275 markings/sec, 1090 secs
lola: 57130399 markings, 355031483 edges, 46996 markings/sec, 1095 secs
lola: 57349812 markings, 356491383 edges, 43883 markings/sec, 1100 secs
lola: 57582219 markings, 357970400 edges, 46481 markings/sec, 1105 secs
lola: 57811934 markings, 359405096 edges, 45943 markings/sec, 1110 secs
lola: 58049394 markings, 360813332 edges, 47492 markings/sec, 1115 secs
lola: 58250604 markings, 362227698 edges, 40242 markings/sec, 1120 secs
lola: 58469490 markings, 363654634 edges, 43777 markings/sec, 1125 secs
lola: 58710985 markings, 365110472 edges, 48299 markings/sec, 1130 secs
lola: 58925608 markings, 366506933 edges, 42925 markings/sec, 1135 secs
lola: 59144520 markings, 367980563 edges, 43782 markings/sec, 1140 secs
lola: 59375307 markings, 369438102 edges, 46157 markings/sec, 1145 secs
lola: 59677702 markings, 371126518 edges, 60479 markings/sec, 1150 secs
lola: 59981786 markings, 372803430 edges, 60817 markings/sec, 1155 secs
lola: 60265292 markings, 374489894 edges, 56701 markings/sec, 1160 secs
lola: 60531534 markings, 376145272 edges, 53248 markings/sec, 1165 secs
lola: 60792017 markings, 377726321 edges, 52097 markings/sec, 1170 secs
lola: 61070376 markings, 379350076 edges, 55672 markings/sec, 1175 secs
lola: 61351651 markings, 381008404 edges, 56255 markings/sec, 1180 secs
lola: 61581954 markings, 382633885 edges, 46061 markings/sec, 1185 secs
lola: 61854322 markings, 384237306 edges, 54474 markings/sec, 1190 secs
lola: 62115363 markings, 385819988 edges, 52208 markings/sec, 1195 secs
lola: 62375703 markings, 387444171 edges, 52068 markings/sec, 1200 secs
lola: 62617974 markings, 388992358 edges, 48454 markings/sec, 1205 secs
lola: 62846976 markings, 390472763 edges, 45800 markings/sec, 1210 secs
lola: 63116671 markings, 392008461 edges, 53939 markings/sec, 1215 secs
lola: 63372284 markings, 393405177 edges, 51123 markings/sec, 1220 secs
lola: 63606241 markings, 394827027 edges, 46791 markings/sec, 1225 secs
lola: 63866354 markings, 396236398 edges, 52023 markings/sec, 1230 secs
lola: 64096808 markings, 397621136 edges, 46091 markings/sec, 1235 secs
lola: 64299800 markings, 398979342 edges, 40598 markings/sec, 1240 secs
lola: 64500605 markings, 400326924 edges, 40161 markings/sec, 1245 secs
lola: 64763378 markings, 401754765 edges, 52555 markings/sec, 1250 secs
lola: 65021292 markings, 403194216 edges, 51583 markings/sec, 1255 secs
lola: 65252714 markings, 404583302 edges, 46284 markings/sec, 1260 secs
lola: 65477518 markings, 405936038 edges, 44961 markings/sec, 1265 secs
lola: 65713385 markings, 407435991 edges, 47173 markings/sec, 1270 secs
lola: 65943814 markings, 408866868 edges, 46086 markings/sec, 1275 secs
lola: 66164101 markings, 410263988 edges, 44057 markings/sec, 1280 secs
lola: 66438405 markings, 411927873 edges, 54861 markings/sec, 1285 secs
lola: 66715004 markings, 413608600 edges, 55320 markings/sec, 1290 secs
lola: 66963904 markings, 415243236 edges, 49780 markings/sec, 1295 secs
lola: 67227144 markings, 416872539 edges, 52648 markings/sec, 1300 secs
lola: 67464351 markings, 418498016 edges, 47441 markings/sec, 1305 secs
lola: 67717556 markings, 420097765 edges, 50641 markings/sec, 1310 secs
lola: 67958041 markings, 421696427 edges, 48097 markings/sec, 1315 secs
lola: 68179259 markings, 423170105 edges, 44244 markings/sec, 1320 secs
lola: 68409448 markings, 424671753 edges, 46038 markings/sec, 1325 secs
lola: 68638775 markings, 426089584 edges, 45865 markings/sec, 1330 secs
lola: 68873793 markings, 427528860 edges, 47004 markings/sec, 1335 secs
lola: 69090580 markings, 428930595 edges, 43357 markings/sec, 1340 secs
lola: 69292382 markings, 430344313 edges, 40360 markings/sec, 1345 secs
lola: 69531488 markings, 431799063 edges, 47821 markings/sec, 1350 secs
lola: 69752550 markings, 433194788 edges, 44212 markings/sec, 1355 secs
lola: 69968561 markings, 434647482 edges, 43202 markings/sec, 1360 secs
lola: 70179106 markings, 436036349 edges, 42109 markings/sec, 1365 secs
lola: 70495674 markings, 437718607 edges, 63314 markings/sec, 1370 secs
lola: 70813823 markings, 439402183 edges, 63630 markings/sec, 1375 secs
lola: 71114146 markings, 441049894 edges, 60065 markings/sec, 1380 secs
lola: 71415892 markings, 442705276 edges, 60349 markings/sec, 1385 secs
lola: 71702519 markings, 444319166 edges, 57325 markings/sec, 1390 secs
lola: 71985983 markings, 445939470 edges, 56693 markings/sec, 1395 secs
lola: 72249479 markings, 447441987 edges, 52699 markings/sec, 1400 secs
lola: 72530454 markings, 448972291 edges, 56195 markings/sec, 1405 secs
lola: 72811875 markings, 450468591 edges, 56284 markings/sec, 1410 secs
lola: 73095529 markings, 451952008 edges, 56731 markings/sec, 1415 secs
lola: 73343957 markings, 453425145 edges, 49686 markings/sec, 1420 secs
lola: 73630914 markings, 454897807 edges, 57391 markings/sec, 1425 secs
lola: 73894934 markings, 456369736 edges, 52804 markings/sec, 1430 secs
lola: 74146303 markings, 457826355 edges, 50274 markings/sec, 1435 secs
lola: 74422022 markings, 459421623 edges, 55144 markings/sec, 1440 secs
lola: 74690311 markings, 461065657 edges, 53658 markings/sec, 1445 secs
lola: 74941874 markings, 462707264 edges, 50313 markings/sec, 1450 secs
lola: 75196069 markings, 464305248 edges, 50839 markings/sec, 1455 secs
lola: 75442792 markings, 465908055 edges, 49345 markings/sec, 1460 secs
lola: 75684773 markings, 467495750 edges, 48396 markings/sec, 1465 secs
lola: 75926676 markings, 469074253 edges, 48381 markings/sec, 1470 secs
lola: 76152358 markings, 470584372 edges, 45136 markings/sec, 1475 secs
lola: 76375643 markings, 472070690 edges, 44657 markings/sec, 1480 secs
lola: 76603861 markings, 473490103 edges, 45644 markings/sec, 1485 secs
lola: 76827692 markings, 474913376 edges, 44766 markings/sec, 1490 secs
lola: 77067145 markings, 476363755 edges, 47891 markings/sec, 1495 secs
lola: 77271243 markings, 477819123 edges, 40820 markings/sec, 1500 secs
lola: 77506923 markings, 479274147 edges, 47136 markings/sec, 1505 secs
lola: 77733446 markings, 480677492 edges, 45305 markings/sec, 1510 secs
lola: 77949920 markings, 482101871 edges, 43295 markings/sec, 1515 secs
lola: 78154823 markings, 483482295 edges, 40981 markings/sec, 1520 secs
lola: 78385165 markings, 484999060 edges, 46068 markings/sec, 1525 secs
lola: 78617369 markings, 486639255 edges, 46441 markings/sec, 1530 secs
lola: 78841349 markings, 488277117 edges, 44796 markings/sec, 1535 secs
lola: 79050071 markings, 489844481 edges, 41744 markings/sec, 1540 secs
lola: 79271265 markings, 491409963 edges, 44239 markings/sec, 1545 secs
lola: 79482192 markings, 493026194 edges, 42185 markings/sec, 1550 secs
lola: 79697942 markings, 494623519 edges, 43150 markings/sec, 1555 secs
lola: 79905954 markings, 496168514 edges, 41602 markings/sec, 1560 secs
lola: 80104531 markings, 497700862 edges, 39715 markings/sec, 1565 secs
lola: 80289014 markings, 499116799 edges, 36897 markings/sec, 1570 secs
lola: 80478858 markings, 500502639 edges, 37969 markings/sec, 1575 secs
lola: 80662034 markings, 501809598 edges, 36635 markings/sec, 1580 secs
lola: 80859424 markings, 503244372 edges, 39478 markings/sec, 1585 secs
lola: 81057120 markings, 504628665 edges, 39539 markings/sec, 1590 secs
lola: 81219537 markings, 505925824 edges, 32483 markings/sec, 1595 secs
lola: 81399107 markings, 507266892 edges, 35914 markings/sec, 1600 secs
lola: 81599039 markings, 508671292 edges, 39986 markings/sec, 1605 secs
lola: 81781089 markings, 509991955 edges, 36410 markings/sec, 1610 secs
lola: 81966693 markings, 511397859 edges, 37121 markings/sec, 1615 secs
lola: 82148190 markings, 512777929 edges, 36299 markings/sec, 1620 secs
lola: 82373599 markings, 514258010 edges, 45082 markings/sec, 1625 secs
lola: 82672552 markings, 515907383 edges, 59791 markings/sec, 1630 secs
lola: 82953906 markings, 517544196 edges, 56271 markings/sec, 1635 secs
lola: 83212269 markings, 519163239 edges, 51673 markings/sec, 1640 secs
lola: 83451191 markings, 520699534 edges, 47784 markings/sec, 1645 secs
lola: 83705458 markings, 522213847 edges, 50853 markings/sec, 1650 secs
lola: 83981241 markings, 523821152 edges, 55157 markings/sec, 1655 secs
lola: 84206929 markings, 525379055 edges, 45138 markings/sec, 1660 secs
lola: 84443307 markings, 526953860 edges, 47276 markings/sec, 1665 secs
lola: 84700216 markings, 528490207 edges, 51382 markings/sec, 1670 secs
lola: 84950155 markings, 530027013 edges, 49988 markings/sec, 1675 secs
lola: 85188471 markings, 531591235 edges, 47663 markings/sec, 1680 secs
lola: 85419226 markings, 533095054 edges, 46151 markings/sec, 1685 secs
lola: 85649444 markings, 534520825 edges, 46044 markings/sec, 1690 secs
lola: 85878126 markings, 536018605 edges, 45736 markings/sec, 1695 secs
lola: 86113596 markings, 537385538 edges, 47094 markings/sec, 1700 secs
lola: 86371542 markings, 538806887 edges, 51589 markings/sec, 1705 secs
lola: 86635549 markings, 540234458 edges, 52801 markings/sec, 1710 secs
lola: 86854654 markings, 541631495 edges, 43821 markings/sec, 1715 secs
lola: 87099131 markings, 543000451 edges, 48895 markings/sec, 1720 secs
lola: 87342418 markings, 544385558 edges, 48657 markings/sec, 1725 secs
lola: 87571468 markings, 545732634 edges, 45810 markings/sec, 1730 secs
lola: 87767464 markings, 546989322 edges, 39199 markings/sec, 1735 secs
lola: 87999815 markings, 548429283 edges, 46470 markings/sec, 1740 secs
lola: 88205725 markings, 549847675 edges, 41182 markings/sec, 1745 secs
lola: 88426854 markings, 551190226 edges, 44226 markings/sec, 1750 secs
lola: 88645656 markings, 552624560 edges, 43760 markings/sec, 1755 secs
lola: 88952377 markings, 554258084 edges, 61344 markings/sec, 1760 secs
lola: 89235343 markings, 555874337 edges, 56593 markings/sec, 1765 secs
lola: 89506304 markings, 557452183 edges, 54192 markings/sec, 1770 secs
lola: 89792687 markings, 559010819 edges, 57277 markings/sec, 1775 secs
lola: 90038617 markings, 560535092 edges, 49186 markings/sec, 1780 secs
lola: 90302033 markings, 562070544 edges, 52683 markings/sec, 1785 secs
lola: 90550687 markings, 563571793 edges, 49731 markings/sec, 1790 secs
lola: 90791397 markings, 565034024 edges, 48142 markings/sec, 1795 secs
lola: 91042253 markings, 566438492 edges, 50171 markings/sec, 1800 secs
lola: 91295960 markings, 567863370 edges, 50741 markings/sec, 1805 secs
lola: 91539124 markings, 569261231 edges, 48633 markings/sec, 1810 secs
lola: 91759430 markings, 570657062 edges, 44061 markings/sec, 1815 secs
lola: 92014294 markings, 572053675 edges, 50973 markings/sec, 1820 secs
lola: 92247691 markings, 573403692 edges, 46679 markings/sec, 1825 secs
lola: 92483782 markings, 574846732 edges, 47218 markings/sec, 1830 secs
lola: 92709875 markings, 576221149 edges, 45219 markings/sec, 1835 secs
lola: 92977484 markings, 577821770 edges, 53522 markings/sec, 1840 secs
lola: 93234357 markings, 579404811 edges, 51375 markings/sec, 1845 secs
lola: 93470231 markings, 580963129 edges, 47175 markings/sec, 1850 secs
lola: 93719506 markings, 582503031 edges, 49855 markings/sec, 1855 secs
lola: 93946890 markings, 584058454 edges, 45477 markings/sec, 1860 secs
lola: 94183550 markings, 585550332 edges, 47332 markings/sec, 1865 secs
lola: 94411676 markings, 587054337 edges, 45625 markings/sec, 1870 secs
lola: 94618257 markings, 588446841 edges, 41316 markings/sec, 1875 secs
lola: 94837525 markings, 589894069 edges, 43854 markings/sec, 1880 secs
lola: 95058933 markings, 591268014 edges, 44282 markings/sec, 1885 secs
lola: 95273851 markings, 592639367 edges, 42984 markings/sec, 1890 secs
lola: 95501374 markings, 594004949 edges, 45505 markings/sec, 1895 secs
lola: 95685289 markings, 595320171 edges, 36783 markings/sec, 1900 secs
lola: 95899401 markings, 596662147 edges, 42822 markings/sec, 1905 secs
lola: 96125660 markings, 598033654 edges, 45252 markings/sec, 1910 secs
lola: 96328740 markings, 599362143 edges, 40616 markings/sec, 1915 secs
lola: 96534971 markings, 600754277 edges, 41246 markings/sec, 1920 secs
lola: 96742058 markings, 602097569 edges, 41417 markings/sec, 1925 secs
lola: 97050235 markings, 603758111 edges, 61635 markings/sec, 1930 secs
lola: 97340183 markings, 605392908 edges, 57990 markings/sec, 1935 secs
lola: 97618183 markings, 606982664 edges, 55600 markings/sec, 1940 secs
lola: 97895660 markings, 608581200 edges, 55495 markings/sec, 1945 secs
lola: 98169304 markings, 610122972 edges, 54729 markings/sec, 1950 secs
lola: 98441576 markings, 611602967 edges, 54454 markings/sec, 1955 secs
lola: 98685134 markings, 613075276 edges, 48712 markings/sec, 1960 secs
lola: 98933732 markings, 614534770 edges, 49720 markings/sec, 1965 secs
lola: 99193872 markings, 616012415 edges, 52028 markings/sec, 1970 secs
lola: 99448475 markings, 617389496 edges, 50921 markings/sec, 1975 secs
lola: 99684269 markings, 618697239 edges, 47159 markings/sec, 1980 secs
lola: 99909723 markings, 620054720 edges, 45091 markings/sec, 1985 secs
lola: 100141480 markings, 621461728 edges, 46351 markings/sec, 1990 secs
lola: 100389800 markings, 622912878 edges, 49664 markings/sec, 1995 secs
lola: 100626446 markings, 624208906 edges, 47329 markings/sec, 2000 secs
lola: 100906806 markings, 625804403 edges, 56072 markings/sec, 2005 secs
lola: 101165099 markings, 627311835 edges, 51659 markings/sec, 2010 secs
lola: 101429536 markings, 628834592 edges, 52887 markings/sec, 2015 secs
lola: 101740257 markings, 630410079 edges, 62144 markings/sec, 2020 secs
lola: 101999183 markings, 631927532 edges, 51785 markings/sec, 2025 secs
lola: 102224408 markings, 633405510 edges, 45045 markings/sec, 2030 secs
lola: 102487975 markings, 634980698 edges, 52713 markings/sec, 2035 secs
lola: 102738525 markings, 636458479 edges, 50110 markings/sec, 2040 secs
lola: 103018603 markings, 637978880 edges, 56016 markings/sec, 2045 secs
lola: 103286823 markings, 639505666 edges, 53644 markings/sec, 2050 secs
lola: 103566705 markings, 641109838 edges, 55976 markings/sec, 2055 secs
lola: 103822750 markings, 642595256 edges, 51209 markings/sec, 2060 secs
lola: 104063744 markings, 644021477 edges, 48199 markings/sec, 2065 secs
lola: 104327480 markings, 645568117 edges, 52747 markings/sec, 2070 secs
lola: 104578687 markings, 647060377 edges, 50241 markings/sec, 2075 secs
lola: 104881010 markings, 648583230 edges, 60465 markings/sec, 2080 secs
lola: 105163515 markings, 650156091 edges, 56501 markings/sec, 2085 secs
lola: 105418738 markings, 651672411 edges, 51045 markings/sec, 2090 secs
lola: 105649738 markings, 653167486 edges, 46200 markings/sec, 2095 secs
lola: 105850959 markings, 654526999 edges, 40244 markings/sec, 2100 secs
lola: 106074591 markings, 655904035 edges, 44726 markings/sec, 2105 secs
lola: 106296796 markings, 657173132 edges, 44441 markings/sec, 2110 secs
lola: 106530652 markings, 658508723 edges, 46771 markings/sec, 2115 secs
lola: 106760870 markings, 659863917 edges, 46044 markings/sec, 2120 secs
lola: 107042625 markings, 661365353 edges, 56351 markings/sec, 2125 secs
lola: 107321983 markings, 662957133 edges, 55872 markings/sec, 2130 secs
lola: 107589841 markings, 664521289 edges, 53572 markings/sec, 2135 secs
lola: 107851610 markings, 666086863 edges, 52354 markings/sec, 2140 secs
lola: 108093434 markings, 667531098 edges, 48365 markings/sec, 2145 secs
lola: 108355245 markings, 669070453 edges, 52362 markings/sec, 2150 secs
lola: 108615572 markings, 670666929 edges, 52065 markings/sec, 2155 secs
lola: 108888278 markings, 672276412 edges, 54541 markings/sec, 2160 secs
lola: 109187415 markings, 673888580 edges, 59827 markings/sec, 2165 secs
lola: 109470044 markings, 675461047 edges, 56526 markings/sec, 2170 secs
lola: 109745195 markings, 677038700 edges, 55030 markings/sec, 2175 secs
lola: 109992104 markings, 678401925 edges, 49382 markings/sec, 2180 secs
lola: 110236604 markings, 679813509 edges, 48900 markings/sec, 2185 secs
lola: 110454202 markings, 681144352 edges, 43520 markings/sec, 2190 secs
lola: 110679409 markings, 682500501 edges, 45041 markings/sec, 2195 secs
lola: 110891577 markings, 683816962 edges, 42434 markings/sec, 2200 secs
lola: 111133047 markings, 685258441 edges, 48294 markings/sec, 2205 secs
lola: 111389502 markings, 686771959 edges, 51291 markings/sec, 2210 secs
lola: 111648789 markings, 688288102 edges, 51857 markings/sec, 2215 secs
lola: 111921475 markings, 689858738 edges, 54537 markings/sec, 2220 secs
lola: 112174543 markings, 691440040 edges, 50614 markings/sec, 2225 secs
lola: 112387767 markings, 692932332 edges, 42645 markings/sec, 2230 secs
lola: 112627144 markings, 694469371 edges, 47875 markings/sec, 2235 secs
lola: 112895591 markings, 695948949 edges, 53689 markings/sec, 2240 secs
lola: 113139521 markings, 697434136 edges, 48786 markings/sec, 2245 secs
lola: 113392384 markings, 698949351 edges, 50573 markings/sec, 2250 secs
lola: 113642657 markings, 700499279 edges, 50055 markings/sec, 2255 secs
lola: 113861857 markings, 701987309 edges, 43840 markings/sec, 2260 secs
lola: 114099618 markings, 703416973 edges, 47552 markings/sec, 2265 secs
lola: 114312165 markings, 704785918 edges, 42509 markings/sec, 2270 secs
lola: 114546138 markings, 706291387 edges, 46795 markings/sec, 2275 secs
lola: 114759278 markings, 707700026 edges, 42628 markings/sec, 2280 secs
lola: 114999348 markings, 709071754 edges, 48014 markings/sec, 2285 secs
lola: 115242657 markings, 710406696 edges, 48662 markings/sec, 2290 secs
lola: 115483875 markings, 711755536 edges, 48244 markings/sec, 2295 secs
lola: 115692887 markings, 713037446 edges, 41802 markings/sec, 2300 secs
lola: 115932778 markings, 714379711 edges, 47978 markings/sec, 2305 secs
lola: 116181081 markings, 715677967 edges, 49661 markings/sec, 2310 secs
lola: 116405396 markings, 717036905 edges, 44863 markings/sec, 2315 secs
lola: 116614109 markings, 718309283 edges, 41743 markings/sec, 2320 secs
lola: 116803190 markings, 719652171 edges, 37816 markings/sec, 2325 secs
lola: 116982137 markings, 720893846 edges, 35789 markings/sec, 2330 secs
lola: 117215914 markings, 722281120 edges, 46755 markings/sec, 2335 secs
lola: 117457423 markings, 723634769 edges, 48302 markings/sec, 2340 secs
lola: 117707865 markings, 725058960 edges, 50088 markings/sec, 2345 secs
lola: 117948493 markings, 726389270 edges, 48126 markings/sec, 2350 secs
lola: 118164517 markings, 727725633 edges, 43205 markings/sec, 2355 secs
lola: 118380994 markings, 729009855 edges, 43295 markings/sec, 2360 secs
lola: 118616462 markings, 730375132 edges, 47094 markings/sec, 2365 secs
lola: 118849767 markings, 731829623 edges, 46661 markings/sec, 2370 secs
lola: 119055901 markings, 733222903 edges, 41227 markings/sec, 2375 secs
lola: 119284144 markings, 734580649 edges, 45649 markings/sec, 2380 secs
lola: 119488212 markings, 735884446 edges, 40814 markings/sec, 2385 secs
lola: 119709887 markings, 737285743 edges, 44335 markings/sec, 2390 secs
lola: 120031043 markings, 739187981 edges, 64231 markings/sec, 2395 secs
lola: 120331914 markings, 741096074 edges, 60174 markings/sec, 2400 secs
lola: 120620753 markings, 742938060 edges, 57768 markings/sec, 2405 secs
lola: 120910323 markings, 744808652 edges, 57914 markings/sec, 2410 secs
lola: 121189221 markings, 746638043 edges, 55780 markings/sec, 2415 secs
lola: 121463325 markings, 748455467 edges, 54821 markings/sec, 2420 secs
lola: 121716777 markings, 750146316 edges, 50690 markings/sec, 2425 secs
lola: 121982541 markings, 751855551 edges, 53153 markings/sec, 2430 secs
lola: 122238014 markings, 753452007 edges, 51095 markings/sec, 2435 secs
lola: 122507054 markings, 755088897 edges, 53808 markings/sec, 2440 secs
lola: 122731978 markings, 756682461 edges, 44985 markings/sec, 2445 secs
lola: 122999211 markings, 758338302 edges, 53447 markings/sec, 2450 secs
lola: 123252460 markings, 759917022 edges, 50650 markings/sec, 2455 secs
lola: 123504276 markings, 761609369 edges, 50363 markings/sec, 2460 secs
lola: 123741652 markings, 763186729 edges, 47475 markings/sec, 2465 secs
lola: 124014068 markings, 765067894 edges, 54483 markings/sec, 2470 secs
lola: 124275623 markings, 766925919 edges, 52311 markings/sec, 2475 secs
lola: 124517632 markings, 768749036 edges, 48402 markings/sec, 2480 secs
lola: 124769854 markings, 770551783 edges, 50444 markings/sec, 2485 secs
lola: 125002609 markings, 772370821 edges, 46551 markings/sec, 2490 secs
lola: 125247725 markings, 774132926 edges, 49023 markings/sec, 2495 secs
lola: 125478601 markings, 775890756 edges, 46175 markings/sec, 2500 secs
lola: 125683906 markings, 777451013 edges, 41061 markings/sec, 2505 secs
lola: 125899893 markings, 779081246 edges, 43197 markings/sec, 2510 secs
lola: 126112702 markings, 780595187 edges, 42562 markings/sec, 2515 secs
lola: 126325998 markings, 782142567 edges, 42659 markings/sec, 2520 secs
lola: 126544909 markings, 783682059 edges, 43782 markings/sec, 2525 secs
lola: 126724455 markings, 785139548 edges, 35909 markings/sec, 2530 secs
lola: 126943772 markings, 786709123 edges, 43863 markings/sec, 2535 secs
lola: 127167491 markings, 788281719 edges, 44744 markings/sec, 2540 secs
lola: 127364594 markings, 789759723 edges, 39421 markings/sec, 2545 secs
lola: 127571396 markings, 791351348 edges, 41360 markings/sec, 2550 secs
lola: 127773779 markings, 792861479 edges, 40477 markings/sec, 2555 secs
lola: 128070215 markings, 794715569 edges, 59287 markings/sec, 2560 secs
lola: 128352280 markings, 796557092 edges, 56413 markings/sec, 2565 secs
lola: 128604975 markings, 798337544 edges, 50539 markings/sec, 2570 secs
lola: 128860665 markings, 800058140 edges, 51138 markings/sec, 2575 secs
lola: 129135834 markings, 801884702 edges, 55034 markings/sec, 2580 secs
lola: 129367266 markings, 803675026 edges, 46286 markings/sec, 2585 secs
lola: 129629411 markings, 805406129 edges, 52429 markings/sec, 2590 secs
lola: 129882441 markings, 807167173 edges, 50606 markings/sec, 2595 secs
lola: 130114858 markings, 808851843 edges, 46483 markings/sec, 2600 secs
lola: 130343640 markings, 810472509 edges, 45756 markings/sec, 2605 secs
lola: 130574072 markings, 812045390 edges, 46086 markings/sec, 2610 secs
lola: 130818991 markings, 813604034 edges, 48984 markings/sec, 2615 secs
lola: 131067618 markings, 815165414 edges, 49725 markings/sec, 2620 secs
lola: 131283095 markings, 816692621 edges, 43095 markings/sec, 2625 secs
lola: 131494969 markings, 818160986 edges, 42375 markings/sec, 2630 secs
lola: 131738409 markings, 819711363 edges, 48688 markings/sec, 2635 secs
lola: 131959921 markings, 821171754 edges, 44302 markings/sec, 2640 secs
lola: 132164394 markings, 822589498 edges, 40895 markings/sec, 2645 secs
lola: 132376371 markings, 824150306 edges, 42395 markings/sec, 2650 secs
lola: 132586833 markings, 825604292 edges, 42092 markings/sec, 2655 secs
lola: 132823956 markings, 827289595 edges, 47425 markings/sec, 2660 secs
lola: 133062231 markings, 829074744 edges, 47655 markings/sec, 2665 secs
lola: 133299669 markings, 830829644 edges, 47488 markings/sec, 2670 secs
lola: 133521208 markings, 832539808 edges, 44308 markings/sec, 2675 secs
lola: 133743018 markings, 834200803 edges, 44362 markings/sec, 2680 secs
lola: 133956180 markings, 835845517 edges, 42632 markings/sec, 2685 secs
lola: 134168289 markings, 837525506 edges, 42422 markings/sec, 2690 secs
lola: 134394311 markings, 839249946 edges, 45204 markings/sec, 2695 secs
lola: 134606152 markings, 840948634 edges, 42368 markings/sec, 2700 secs
lola: 134808392 markings, 842532038 edges, 40448 markings/sec, 2705 secs
lola: 135013826 markings, 844084240 edges, 41087 markings/sec, 2710 secs
lola: 135210046 markings, 845517684 edges, 39244 markings/sec, 2715 secs
lola: 135408799 markings, 847017567 edges, 39751 markings/sec, 2720 secs
lola: 135614475 markings, 848519634 edges, 41135 markings/sec, 2725 secs
lola: 135785101 markings, 849954462 edges, 34125 markings/sec, 2730 secs
lola: 135977129 markings, 851444016 edges, 38406 markings/sec, 2735 secs
lola: 136180023 markings, 852913051 edges, 40579 markings/sec, 2740 secs
lola: 136377669 markings, 854412857 edges, 39529 markings/sec, 2745 secs
lola: 136577279 markings, 855994111 edges, 39922 markings/sec, 2750 secs
lola: 136757893 markings, 857415123 edges, 36123 markings/sec, 2755 secs
lola: 137000416 markings, 859104019 edges, 48505 markings/sec, 2760 secs
lola: 137280539 markings, 860905361 edges, 56025 markings/sec, 2765 secs
lola: 137532810 markings, 862680008 edges, 50454 markings/sec, 2770 secs
lola: 137775840 markings, 864484781 edges, 48606 markings/sec, 2775 secs
lola: 138032199 markings, 866232192 edges, 51272 markings/sec, 2780 secs
lola: 138293157 markings, 867917109 edges, 52192 markings/sec, 2785 secs
lola: 138563077 markings, 869677098 edges, 53984 markings/sec, 2790 secs
lola: 138766445 markings, 871348150 edges, 40674 markings/sec, 2795 secs
lola: 138973884 markings, 873089472 edges, 41488 markings/sec, 2800 secs
lola: 139219016 markings, 874684963 edges, 49026 markings/sec, 2805 secs
lola: 139463794 markings, 876371894 edges, 48956 markings/sec, 2810 secs
lola: 139685138 markings, 878003709 edges, 44269 markings/sec, 2815 secs
lola: 139925640 markings, 879733287 edges, 48100 markings/sec, 2820 secs
lola: 140140943 markings, 881397198 edges, 43061 markings/sec, 2825 secs
lola: 140365241 markings, 883098202 edges, 44860 markings/sec, 2830 secs
lola: 140576947 markings, 884630505 edges, 42341 markings/sec, 2835 secs
lola: 140771262 markings, 886138115 edges, 38863 markings/sec, 2840 secs
lola: 140991272 markings, 887816684 edges, 44002 markings/sec, 2845 secs
lola: 141200002 markings, 889368186 edges, 41746 markings/sec, 2850 secs
lola: 141383334 markings, 890701913 edges, 36666 markings/sec, 2855 secs
lola: 141602864 markings, 892246418 edges, 43906 markings/sec, 2860 secs
lola: 141818972 markings, 893731187 edges, 43222 markings/sec, 2865 secs
lola: 142005208 markings, 895013134 edges, 37247 markings/sec, 2870 secs
lola: 142221280 markings, 896571948 edges, 43214 markings/sec, 2875 secs
lola: 142407971 markings, 897939792 edges, 37338 markings/sec, 2880 secs
lola: 142612107 markings, 899356403 edges, 40827 markings/sec, 2885 secs
lola: 142821004 markings, 900704105 edges, 41779 markings/sec, 2890 secs
lola: 143024534 markings, 902108200 edges, 40706 markings/sec, 2895 secs
lola: 143199316 markings, 903435898 edges, 34956 markings/sec, 2900 secs
lola: 143379030 markings, 904816271 edges, 35943 markings/sec, 2905 secs
lola: 143548867 markings, 906231100 edges, 33967 markings/sec, 2910 secs
lola: 143701908 markings, 907512113 edges, 30608 markings/sec, 2915 secs
lola: 143910930 markings, 909019096 edges, 41804 markings/sec, 2920 secs
lola: 144121757 markings, 910449416 edges, 42165 markings/sec, 2925 secs
lola: 144347961 markings, 911996896 edges, 45241 markings/sec, 2930 secs
lola: 144564009 markings, 913429075 edges, 43210 markings/sec, 2935 secs
lola: 144788780 markings, 914914264 edges, 44954 markings/sec, 2940 secs
lola: 144970350 markings, 916272667 edges, 36314 markings/sec, 2945 secs
lola: 145134471 markings, 917477453 edges, 32824 markings/sec, 2950 secs
lola: 145349906 markings, 919024618 edges, 43087 markings/sec, 2955 secs
lola: 145545664 markings, 920543762 edges, 39152 markings/sec, 2960 secs
lola: 145752141 markings, 922123791 edges, 41295 markings/sec, 2965 secs
lola: 145954267 markings, 923572471 edges, 40425 markings/sec, 2970 secs
lola: 146130902 markings, 924962392 edges, 35327 markings/sec, 2975 secs
lola: 146326990 markings, 926420154 edges, 39218 markings/sec, 2980 secs
lola: 146570014 markings, 928194605 edges, 48605 markings/sec, 2985 secs
lola: 146809621 markings, 930022363 edges, 47921 markings/sec, 2990 secs
lola: 147042902 markings, 931783101 edges, 46656 markings/sec, 2995 secs
lola: 147273618 markings, 933563434 edges, 46143 markings/sec, 3000 secs
lola: 147487004 markings, 935206814 edges, 42677 markings/sec, 3005 secs
lola: 147698076 markings, 936928430 edges, 42214 markings/sec, 3010 secs
lola: 147922647 markings, 938656170 edges, 44914 markings/sec, 3015 secs
lola: 148148655 markings, 940420490 edges, 45202 markings/sec, 3020 secs
lola: 148357832 markings, 942088851 edges, 41835 markings/sec, 3025 secs
lola: 148562213 markings, 943718301 edges, 40876 markings/sec, 3030 secs
lola: 148767702 markings, 945276213 edges, 41098 markings/sec, 3035 secs
lola: 148969218 markings, 946774500 edges, 40303 markings/sec, 3040 secs
lola: 149175472 markings, 948287440 edges, 41251 markings/sec, 3045 secs
lola: 149370592 markings, 949795430 edges, 39024 markings/sec, 3050 secs
lola: 149549248 markings, 951303394 edges, 35731 markings/sec, 3055 secs
lola: 149742899 markings, 952759187 edges, 38730 markings/sec, 3060 secs
lola: 149953471 markings, 954318781 edges, 42114 markings/sec, 3065 secs
lola: 150155096 markings, 955888964 edges, 40325 markings/sec, 3070 secs
lola: 150350688 markings, 957461598 edges, 39118 markings/sec, 3075 secs
lola: 150544262 markings, 958979290 edges, 38715 markings/sec, 3080 secs
lola: 150767759 markings, 960746636 edges, 44699 markings/sec, 3085 secs
lola: 150990208 markings, 962506533 edges, 44490 markings/sec, 3090 secs
lola: 151199665 markings, 964273441 edges, 41891 markings/sec, 3095 secs
lola: 151397347 markings, 965891027 edges, 39536 markings/sec, 3100 secs
lola: 151603280 markings, 967555113 edges, 41187 markings/sec, 3105 secs
lola: 151792968 markings, 969264972 edges, 37938 markings/sec, 3110 secs
lola: 152000581 markings, 970931510 edges, 41523 markings/sec, 3115 secs
lola: 152198397 markings, 972609424 edges, 39563 markings/sec, 3120 secs
lola: 152383059 markings, 974195667 edges, 36932 markings/sec, 3125 secs
lola: 152557975 markings, 975715295 edges, 34983 markings/sec, 3130 secs
lola: 152732293 markings, 977148610 edges, 34864 markings/sec, 3135 secs
lola: 152902000 markings, 978523963 edges, 33941 markings/sec, 3140 secs
lola: 153072882 markings, 979935969 edges, 34176 markings/sec, 3145 secs
lola: 153254863 markings, 981325773 edges, 36396 markings/sec, 3150 secs
lola: 153408393 markings, 982677843 edges, 30706 markings/sec, 3155 secs
lola: 153560689 markings, 984040669 edges, 30459 markings/sec, 3160 secs
lola: 153743121 markings, 985499218 edges, 36486 markings/sec, 3165 secs
lola: 153929190 markings, 986978852 edges, 37214 markings/sec, 3170 secs
lola: 154081963 markings, 988270958 edges, 30555 markings/sec, 3175 secs
lola: 154257139 markings, 989781207 edges, 35035 markings/sec, 3180 secs
lola: 154421224 markings, 991183575 edges, 32817 markings/sec, 3185 secs
lola: 154632218 markings, 992757148 edges, 42199 markings/sec, 3190 secs
lola: 154909500 markings, 994531307 edges, 55456 markings/sec, 3195 secs
lola: 155171139 markings, 996300731 edges, 52328 markings/sec, 3200 secs
lola: 155419072 markings, 997958442 edges, 49587 markings/sec, 3205 secs
lola: 155690127 markings, 999690654 edges, 54211 markings/sec, 3210 secs
lola: 155928011 markings, 1001398660 edges, 47577 markings/sec, 3215 secs
lola: 156179085 markings, 1003085835 edges, 50215 markings/sec, 3220 secs
lola: 156416326 markings, 1004753863 edges, 47448 markings/sec, 3225 secs
lola: 156636235 markings, 1006304210 edges, 43982 markings/sec, 3230 secs
lola: 156862546 markings, 1007820613 edges, 45262 markings/sec, 3235 secs
lola: 157085138 markings, 1009287589 edges, 44518 markings/sec, 3240 secs
lola: 157321047 markings, 1010770793 edges, 47182 markings/sec, 3245 secs
lola: 157517723 markings, 1012222219 edges, 39335 markings/sec, 3250 secs
lola: 157730136 markings, 1013689316 edges, 42483 markings/sec, 3255 secs
lola: 157967167 markings, 1015203029 edges, 47406 markings/sec, 3260 secs
lola: 158171919 markings, 1016600069 edges, 40950 markings/sec, 3265 secs
lola: 158389932 markings, 1018138743 edges, 43603 markings/sec, 3270 secs
lola: 158592427 markings, 1019571160 edges, 40499 markings/sec, 3275 secs
lola: 158833620 markings, 1021313981 edges, 48239 markings/sec, 3280 secs
lola: 159056578 markings, 1022948147 edges, 44592 markings/sec, 3285 secs
lola: 159277520 markings, 1024636053 edges, 44188 markings/sec, 3290 secs
lola: 159494498 markings, 1026285129 edges, 43396 markings/sec, 3295 secs
lola: 159697996 markings, 1027818712 edges, 40700 markings/sec, 3300 secs
lola: 159905150 markings, 1029476807 edges, 41431 markings/sec, 3305 secs
lola: 160120488 markings, 1031115379 edges, 43068 markings/sec, 3310 secs
lola: 160336637 markings, 1032786222 edges, 43230 markings/sec, 3315 secs
lola: 160540017 markings, 1034414358 edges, 40676 markings/sec, 3320 secs
lola: 160736754 markings, 1035959183 edges, 39347 markings/sec, 3325 secs
lola: 160934343 markings, 1037452296 edges, 39518 markings/sec, 3330 secs
lola: 161125781 markings, 1038849517 edges, 38288 markings/sec, 3335 secs
lola: 161319673 markings, 1040321555 edges, 38778 markings/sec, 3340 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes unknown no no unknown no no yes no no yes yes no yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes unknown no no unknown no no yes no no yes yes no yes no
lola:
preliminary result: no yes unknown no no unknown no no yes no no yes yes no yes no
lola: memory consumption: 14696 KB
lola: time consumption: 3570 seconds

BK_STOP 1527782567052

--------------------
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="DiscoveryGPU-PT-11b"
export BK_EXAMINATION="CTLFireability"
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/DiscoveryGPU-PT-11b.tgz
mv DiscoveryGPU-PT-11b execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is DiscoveryGPU-PT-11b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r280-csrt-152749169500103"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;