About the Execution of LoLA for DiscoveryGPU-PT-14b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
12122.620 | 3600000.00 | 3630172.00 | 217.50 | ?TFTT?TFFTTTFTFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..................
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 3.1K May 30 21:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 30 21:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 29 15:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 29 15:02 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.2K May 28 09:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.1K May 28 09:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 28 07:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K May 28 07:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.7K May 28 06:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 28 06:18 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.6K May 27 03:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 27 03:43 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 104K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DiscoveryGPU-PT-14b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749169600157
=====================================================================
--------------------
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-14b-CTLFireability-00
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-01
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-02
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-03
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-04
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-05
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-06
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-07
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-08
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-09
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-10
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-11
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-12
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-13
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-14
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1527779178662
info: Time: 3600 - MCC
===========================================================================================
prep: translating DiscoveryGPU-PT-14b 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-14b formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DiscoveryGPU-PT-14b @ 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: 842/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 408
lola: finding significant places
lola: 408 places, 434 transitions, 392 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 508 transition conflict sets
lola: TASK
lola: reading formula from DiscoveryGPU-PT-14b-CTLFireability.task
lola: A (G ((E (F ((FIREABLE(t212) OR FIREABLE(t86)))) OR FIREABLE(t232)))) : (E (F (E (F (FIREABLE(t298))))) OR ((FIREABLE(t256) OR E (G (NOT FIREABLE(t356)))) AND FIREABLE(t198))) : NOT(A (X ((E (F (FIREABLE(t312))) OR A (X (FIREABLE(t307))))))) : E (F (FIREABLE(t133))) : E (F ((FIREABLE(t234) OR E (G (NOT FIREABLE(t397)))))) : ((E (G (FIREABLE(t18))) OR A (F (E (G (FIREABLE(t351)))))) OR (E ((FIREABLE(t389) U (FIREABLE(t131) OR FIREABLE(t165)))) AND FIREABLE(t5))) : E (F (E (G (((FIREABLE(t102) AND FIREABLE(t39)) OR FIREABLE(t21)))))) : (E (F (NOT(A (X (FIREABLE(t74)))))) AND A (F (FIREABLE(t228)))) : A (G (A (X (E (F (FIREABLE(t354))))))) : E (F (((E (G (FIREABLE(t86))) OR (FIREABLE(t308) AND NOT FIREABLE(t247))) OR E (X ((FIREABLE(t171) AND FIREABLE(t12))))))) : E (F (((A (G (FIREABLE(t297))) OR E (G (FIREABLE(t76)))) OR (FIREABLE(t17) AND E (G (FIREABLE(t383))))))) : E (G (E (X (NOT FIREABLE(t266))))) : E (X (NOT(E (F (FIREABLE(t37)))))) : E (G (E (F (FIREABLE(t370))))) : A (G ((FIREABLE(t120) OR NOT FIREABLE(t245)))) : ((A (F ((FIREABLE(t255) OR FIREABLE(t326) OR NOT FIREABLE(t366)))) AND FIREABLE(t21)) OR NOT((E (G (FIREABLE(t54))) OR A (F (FIREABLE(t269))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:401
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:548
lola: rewrite Frontend/Parser/formula_rewrite.k:254
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: rewrite Frontend/Parser/formula_rewrite.k:395
lola: rewrite Frontend/Parser/formula_rewrite.k:398
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:548
lola: rewrite Frontend/Parser/formula_rewrite.k:548
lola: rewrite Frontend/Parser/formula_rewrite.k:395
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:548
lola: rewrite Frontend/Parser/formula_rewrite.k:548
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((A (G (NOT FIREABLE(t312))) AND E (X (NOT FIREABLE(t307))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: EX((NOT(E(TRUE U FIREABLE(t312))) AND EX(NOT FIREABLE(t307))))
lola: processed formula length: 62
lola: 38 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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: 1123 markings, 1572 edges
lola: ========================================
FORMULA DiscoveryGPU-PT-14b-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (E (F (NOT FIREABLE(t74))))) AND A (F (FIREABLE(t228))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t228)))
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(t228)
lola: processed formula length: 18
lola: 36 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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: 46 markings, 46 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA DiscoveryGPU-PT-14b-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G (E (F (FIREABLE(t354)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(NOT(E(TRUE U NOT(E(TRUE U FIREABLE(t354))))))
lola: processed formula length: 48
lola: 37 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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: 67576 markings, 241855 edges
lola: ========================================
FORMULA DiscoveryGPU-PT-14b-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (E (G (FIREABLE(t86))))) OR (E (F ((FIREABLE(t308) AND NOT FIREABLE(t247)))) OR E (X (E (F ((FIREABLE(t171) AND FIREABLE(t12))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t308) AND NOT FIREABLE(t247))))
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(t308) AND NOT FIREABLE(t247))))
lola: processed formula length: 47
lola: 35 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 35 markings, 34 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DiscoveryGPU-PT-14b-CTLFireability-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (X (NOT FIREABLE(t266)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(EX(NOT FIREABLE(t266)))))
lola: processed formula length: 42
lola: 36 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 42 markings, 42 edges
lola: ========================================
FORMULA DiscoveryGPU-PT-14b-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (G (NOT FIREABLE(t37)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: EX(NOT(E(TRUE U FIREABLE(t37))))
lola: processed formula length: 32
lola: 37 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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: 56 markings, 56 edges
lola: ========================================
FORMULA DiscoveryGPU-PT-14b-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t133)))
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(t133)))
lola: processed formula length: 22
lola: 35 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 20 markings, 19 edges
lola: ========================================
FORMULA DiscoveryGPU-PT-14b-CTLFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t120) OR NOT FIREABLE(t245))))
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 ((FIREABLE(t120) OR NOT FIREABLE(t245))))
lola: processed formula length: 47
lola: 36 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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: (NOT FIREABLE(t120) AND FIREABLE(t245))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 21 markings, 20 edges
lola: ========================================
FORMULA DiscoveryGPU-PT-14b-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (((FIREABLE(t102) AND FIREABLE(t39)) OR FIREABLE(t21))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: ((FIREABLE(t102) AND FIREABLE(t39)) OR FIREABLE(t21))
lola: processed formula length: 54
lola: 35 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 55 markings, 55 edges
lola: ========================================
FORMULA DiscoveryGPU-PT-14b-CTLFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((E (F ((FIREABLE(t212) OR FIREABLE(t86)))) OR FIREABLE(t232))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(E(TRUE U (NOT(E(TRUE U (FIREABLE(t212) OR FIREABLE(t86)))) AND NOT FIREABLE(t232))))
lola: processed formula length: 89
lola: 38 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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: 339947 markings, 1419579 edges, 67989 markings/sec, 0 secs
lola: 627339 markings, 2775523 edges, 57478 markings/sec, 5 secs
lola: 926261 markings, 4128310 edges, 59784 markings/sec, 10 secs
lola: 1230572 markings, 5481232 edges, 60862 markings/sec, 15 secs
lola: 1536543 markings, 6846930 edges, 61194 markings/sec, 20 secs
lola: 1853883 markings, 8254652 edges, 63468 markings/sec, 25 secs
lola: 2174179 markings, 9789168 edges, 64059 markings/sec, 30 secs
lola: 2472990 markings, 11175846 edges, 59762 markings/sec, 35 secs
lola: 2774712 markings, 12563892 edges, 60344 markings/sec, 40 secs
lola: 3065104 markings, 13949192 edges, 58078 markings/sec, 45 secs
lola: 3332124 markings, 15347799 edges, 53404 markings/sec, 50 secs
lola: 3607131 markings, 16785199 edges, 55001 markings/sec, 55 secs
lola: 3889502 markings, 18264899 edges, 56474 markings/sec, 60 secs
lola: 4168607 markings, 19589137 edges, 55821 markings/sec, 65 secs
lola: 4483335 markings, 21085256 edges, 62946 markings/sec, 70 secs
lola: 4765866 markings, 22699359 edges, 56506 markings/sec, 75 secs
lola: 5040110 markings, 24295304 edges, 54849 markings/sec, 80 secs
lola: 5369993 markings, 25848663 edges, 65977 markings/sec, 85 secs
lola: 5646799 markings, 27476430 edges, 55361 markings/sec, 90 secs
lola: 5961241 markings, 29075754 edges, 62888 markings/sec, 95 secs
lola: 6274912 markings, 30665359 edges, 62734 markings/sec, 100 secs
lola: 6562889 markings, 32222854 edges, 57595 markings/sec, 105 secs
lola: 6869223 markings, 33803660 edges, 61267 markings/sec, 110 secs
lola: 7175683 markings, 35393081 edges, 61292 markings/sec, 115 secs
lola: 7462546 markings, 36994495 edges, 57373 markings/sec, 120 secs
lola: 7764217 markings, 38576225 edges, 60334 markings/sec, 125 secs
lola: 8021871 markings, 40127226 edges, 51531 markings/sec, 130 secs
lola: 8310094 markings, 41682807 edges, 57645 markings/sec, 135 secs
lola: 8586042 markings, 43251957 edges, 55190 markings/sec, 140 secs
lola: 8869622 markings, 44821187 edges, 56716 markings/sec, 145 secs
lola: 9187047 markings, 46451583 edges, 63485 markings/sec, 150 secs
lola: 9480116 markings, 48070216 edges, 58614 markings/sec, 155 secs
lola: 9781565 markings, 49654965 edges, 60290 markings/sec, 160 secs
lola: 10050276 markings, 51239538 edges, 53742 markings/sec, 165 secs
lola: 10339514 markings, 52813549 edges, 57848 markings/sec, 170 secs
lola: 10615541 markings, 54398346 edges, 55205 markings/sec, 175 secs
lola: 10903264 markings, 55957487 edges, 57545 markings/sec, 180 secs
lola: 11253241 markings, 57558707 edges, 69995 markings/sec, 185 secs
lola: 11566043 markings, 59161534 edges, 62560 markings/sec, 190 secs
lola: 11868633 markings, 60730908 edges, 60518 markings/sec, 195 secs
lola: 12209178 markings, 62269941 edges, 68109 markings/sec, 200 secs
lola: 12551824 markings, 63831888 edges, 68529 markings/sec, 205 secs
lola: 12802315 markings, 65394897 edges, 50098 markings/sec, 210 secs
lola: 13097026 markings, 66910988 edges, 58942 markings/sec, 215 secs
lola: 13417042 markings, 68450716 edges, 64003 markings/sec, 220 secs
lola: 13707014 markings, 70038479 edges, 57994 markings/sec, 225 secs
lola: 14001423 markings, 71635794 edges, 58882 markings/sec, 230 secs
lola: 14289974 markings, 73189839 edges, 57710 markings/sec, 235 secs
lola: 14565894 markings, 74712327 edges, 55184 markings/sec, 240 secs
lola: 14849012 markings, 76255717 edges, 56624 markings/sec, 245 secs
lola: 15125825 markings, 77849053 edges, 55363 markings/sec, 250 secs
lola: 15388018 markings, 79462564 edges, 52439 markings/sec, 255 secs
lola: 15637258 markings, 81080307 edges, 49848 markings/sec, 260 secs
lola: 15885986 markings, 82646671 edges, 49746 markings/sec, 265 secs
lola: 16136071 markings, 84221384 edges, 50017 markings/sec, 270 secs
lola: 16364305 markings, 85780138 edges, 45647 markings/sec, 275 secs
lola: 16606265 markings, 87377484 edges, 48392 markings/sec, 280 secs
lola: 16839506 markings, 88944877 edges, 46648 markings/sec, 285 secs
lola: 17103169 markings, 90506093 edges, 52733 markings/sec, 290 secs
lola: 17460282 markings, 92119241 edges, 71423 markings/sec, 295 secs
lola: 17781965 markings, 93726564 edges, 64337 markings/sec, 300 secs
lola: 18141849 markings, 95313501 edges, 71977 markings/sec, 305 secs
lola: 18445377 markings, 96881175 edges, 60706 markings/sec, 310 secs
lola: 18758142 markings, 98477061 edges, 62553 markings/sec, 315 secs
lola: 19058467 markings, 100033567 edges, 60065 markings/sec, 320 secs
lola: 19381266 markings, 101659667 edges, 64560 markings/sec, 325 secs
lola: 19686136 markings, 103285915 edges, 60974 markings/sec, 330 secs
lola: 19978766 markings, 104867143 edges, 58526 markings/sec, 335 secs
lola: 20268205 markings, 106447696 edges, 57888 markings/sec, 340 secs
lola: 20544914 markings, 108009513 edges, 55342 markings/sec, 345 secs
lola: 20816879 markings, 109600055 edges, 54393 markings/sec, 350 secs
lola: 21086978 markings, 111150675 edges, 54020 markings/sec, 355 secs
lola: 21410280 markings, 112782177 edges, 64660 markings/sec, 360 secs
lola: 21711871 markings, 114408965 edges, 60318 markings/sec, 365 secs
lola: 22006729 markings, 116022580 edges, 58972 markings/sec, 370 secs
lola: 22299376 markings, 117628451 edges, 58529 markings/sec, 375 secs
lola: 22575442 markings, 119213113 edges, 55213 markings/sec, 380 secs
lola: 22853326 markings, 120825340 edges, 55577 markings/sec, 385 secs
lola: 23091561 markings, 122424217 edges, 47647 markings/sec, 390 secs
lola: 23396144 markings, 124017869 edges, 60917 markings/sec, 395 secs
lola: 23673696 markings, 125625926 edges, 55510 markings/sec, 400 secs
lola: 23945101 markings, 127231224 edges, 54281 markings/sec, 405 secs
lola: 24213707 markings, 128818973 edges, 53721 markings/sec, 410 secs
lola: 24498217 markings, 130414560 edges, 56902 markings/sec, 415 secs
lola: 24798584 markings, 132007855 edges, 60073 markings/sec, 420 secs
lola: 25085644 markings, 133604535 edges, 57412 markings/sec, 425 secs
lola: 25404331 markings, 135200334 edges, 63737 markings/sec, 430 secs
lola: 25669684 markings, 136799553 edges, 53071 markings/sec, 435 secs
lola: 25936570 markings, 138391201 edges, 53377 markings/sec, 440 secs
lola: 26215717 markings, 139961236 edges, 55829 markings/sec, 445 secs
lola: 26510790 markings, 141523346 edges, 59015 markings/sec, 450 secs
lola: 26787077 markings, 143103718 edges, 55257 markings/sec, 455 secs
lola: 27058638 markings, 144716939 edges, 54312 markings/sec, 460 secs
lola: 27328574 markings, 146280916 edges, 53987 markings/sec, 465 secs
lola: 27664464 markings, 147874183 edges, 67178 markings/sec, 470 secs
lola: 27999920 markings, 149469278 edges, 67091 markings/sec, 475 secs
lola: 28319601 markings, 151051697 edges, 63936 markings/sec, 480 secs
lola: 28646199 markings, 152607376 edges, 65320 markings/sec, 485 secs
lola: 28951034 markings, 154189825 edges, 60967 markings/sec, 490 secs
lola: 29223906 markings, 155775018 edges, 54574 markings/sec, 495 secs
lola: 29549017 markings, 157334562 edges, 65022 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no yes unknown unknown yes no no yes unknown yes no unknown no unknown
lola: memory consumption: 2739336 KB
lola: time consumption: 510 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 510 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F (FIREABLE(t370)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:641
lola: processed formula: FIREABLE(t370)
lola: processed formula length: 14
lola: 35 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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: yes
lola: produced by: state space /EGEF
lola: Reachability of the predicate is possibly preserved.
lola: 360 markings, 389 edges
lola: ========================================
FORMULA DiscoveryGPU-PT-14b-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 612 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (FIREABLE(t298))) OR ((FIREABLE(t256) OR E (G (NOT FIREABLE(t356)))) AND FIREABLE(t198)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 612 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t256)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t256)
lola: processed formula length: 14
lola: 34 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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 765 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t198)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t198)
lola: processed formula length: 14
lola: 34 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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 1020 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t298)))
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(t298)))
lola: processed formula length: 22
lola: 35 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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(t298)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 41 markings, 40 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DiscoveryGPU-PT-14b-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 765 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (FIREABLE(t234))) OR E (F (E (G (NOT FIREABLE(t397))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 765 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t234)))
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(t234)))
lola: processed formula length: 22
lola: 35 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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(t234)
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 41 markings, 40 edges
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DiscoveryGPU-PT-14b-CTLFireability-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1020 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (F ((FIREABLE(t255) OR FIREABLE(t326) OR NOT FIREABLE(t366)))) AND FIREABLE(t21)) OR (A (F (NOT FIREABLE(t54))) AND E (G (NOT FIREABLE(t269)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 1020 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t21)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t21)
lola: processed formula length: 13
lola: 34 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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 14 will run for 1529 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t269)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(t269)))
lola: processed formula length: 26
lola: 34 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 46 markings, 46 edges
lola: ========================================
lola: subprocess 15 will run for 3059 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (NOT FIREABLE(t54)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: FIREABLE(t54)
lola: processed formula length: 13
lola: 36 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DiscoveryGPU-PT-14b-CTLFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1529 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (FIREABLE(t18))) OR (A (F (E (G (FIREABLE(t351))))) OR (E ((FIREABLE(t389) U (FIREABLE(t131) OR FIREABLE(t165)))) AND FIREABLE(t5))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1529 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t5)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t5)
lola: processed formula length: 12
lola: 34 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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 3059 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (FIREABLE(t18)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (FIREABLE(t18)))
lola: processed formula length: 21
lola: 34 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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 is not possibly preserved.
lola: 1 markings, 0 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: subprocess 15 will run for 3059 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (A (G (FIREABLE(t297))))) OR (E (F (E (G (FIREABLE(t76))))) OR E (F ((FIREABLE(t17) AND E (G (FIREABLE(t383))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 3059 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (FIREABLE(t76)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: FIREABLE(t76)
lola: processed formula length: 13
lola: 35 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 49 markings, 49 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola:
FORMULA DiscoveryGPU-PT-14b-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: ========================================
lola: ...considering subproblem: A (G ((E (F ((FIREABLE(t212) OR FIREABLE(t86)))) OR FIREABLE(t232))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(E(TRUE U (NOT(E(TRUE U (FIREABLE(t212) OR FIREABLE(t86)))) AND NOT FIREABLE(t232))))
lola: processed formula length: 89
lola: 38 rewrites
lola: closed formula file DiscoveryGPU-PT-14b-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: 376603 markings, 1647438 edges, 75321 markings/sec, 0 secs
lola: 732446 markings, 3325314 edges, 71169 markings/sec, 5 secs
lola: 1085603 markings, 5032455 edges, 70631 markings/sec, 10 secs
lola: 1409419 markings, 6816266 edges, 64763 markings/sec, 15 secs
lola: 1718000 markings, 8586298 edges, 61716 markings/sec, 20 secs
lola: 2030353 markings, 10384021 edges, 62471 markings/sec, 25 secs
lola: 2390917 markings, 12073563 edges, 72113 markings/sec, 30 secs
lola: 2736699 markings, 13815937 edges, 69156 markings/sec, 35 secs
lola: 3070034 markings, 15544158 edges, 66667 markings/sec, 40 secs
lola: 3395047 markings, 17295070 edges, 65003 markings/sec, 45 secs
lola: 3726896 markings, 19060680 edges, 66370 markings/sec, 50 secs
lola: 4033201 markings, 20806972 edges, 61261 markings/sec, 55 secs
lola: 4337832 markings, 22547268 edges, 60926 markings/sec, 60 secs
lola: 4650121 markings, 24276285 edges, 62458 markings/sec, 65 secs
lola: 4953214 markings, 25958555 edges, 60619 markings/sec, 70 secs
lola: 5245403 markings, 27628454 edges, 58438 markings/sec, 75 secs
lola: 5541453 markings, 29315331 edges, 59210 markings/sec, 80 secs
lola: 5878480 markings, 30975826 edges, 67405 markings/sec, 85 secs
lola: 6215241 markings, 32630721 edges, 67352 markings/sec, 90 secs
lola: 6509612 markings, 34300336 edges, 58874 markings/sec, 95 secs
lola: 6837170 markings, 35969686 edges, 65512 markings/sec, 100 secs
lola: 7137067 markings, 37678738 edges, 59979 markings/sec, 105 secs
lola: 7423236 markings, 39401730 edges, 57234 markings/sec, 110 secs
lola: 7681218 markings, 41080086 edges, 51596 markings/sec, 115 secs
lola: 7926273 markings, 42744933 edges, 49011 markings/sec, 120 secs
lola: 8180478 markings, 44412454 edges, 50841 markings/sec, 125 secs
lola: 8462754 markings, 46051677 edges, 56455 markings/sec, 130 secs
lola: 8792563 markings, 47625423 edges, 65962 markings/sec, 135 secs
lola: 9103279 markings, 49195402 edges, 62143 markings/sec, 140 secs
lola: 9414496 markings, 50795534 edges, 62243 markings/sec, 145 secs
lola: 9707893 markings, 52400547 edges, 58679 markings/sec, 150 secs
lola: 9981628 markings, 53983356 edges, 54747 markings/sec, 155 secs
lola: 10261065 markings, 55575691 edges, 55887 markings/sec, 160 secs
lola: 10572318 markings, 57215205 edges, 62251 markings/sec, 165 secs
lola: 10874070 markings, 58919047 edges, 60350 markings/sec, 170 secs
lola: 11189476 markings, 60607871 edges, 63081 markings/sec, 175 secs
lola: 11473267 markings, 62270658 edges, 56758 markings/sec, 180 secs
lola: 11766200 markings, 63942819 edges, 58587 markings/sec, 185 secs
lola: 12061303 markings, 65615354 edges, 59021 markings/sec, 190 secs
lola: 12316111 markings, 67275804 edges, 50962 markings/sec, 195 secs
lola: 12613307 markings, 68933986 edges, 59439 markings/sec, 200 secs
lola: 12902087 markings, 70629275 edges, 57756 markings/sec, 205 secs
lola: 13178835 markings, 72330680 edges, 55350 markings/sec, 210 secs
lola: 13464017 markings, 74011260 edges, 57036 markings/sec, 215 secs
lola: 13753342 markings, 75562389 edges, 57865 markings/sec, 220 secs
lola: 14024211 markings, 77071584 edges, 54174 markings/sec, 225 secs
lola: 14281121 markings, 78575045 edges, 51382 markings/sec, 230 secs
lola: 14556574 markings, 80135933 edges, 55091 markings/sec, 235 secs
lola: 14899872 markings, 81757945 edges, 68660 markings/sec, 240 secs
lola: 15214966 markings, 83349000 edges, 63019 markings/sec, 245 secs
lola: 15533876 markings, 84954412 edges, 63782 markings/sec, 250 secs
lola: 15816023 markings, 86543953 edges, 56429 markings/sec, 255 secs
lola: 16134633 markings, 88160604 edges, 63722 markings/sec, 260 secs
lola: 16438206 markings, 89785991 edges, 60715 markings/sec, 265 secs
lola: 16726559 markings, 91309480 edges, 57671 markings/sec, 270 secs
lola: 16987636 markings, 92770891 edges, 52215 markings/sec, 275 secs
lola: 17240049 markings, 94230191 edges, 50483 markings/sec, 280 secs
lola: 17496004 markings, 95719230 edges, 51191 markings/sec, 285 secs
lola: 17817855 markings, 97150499 edges, 64370 markings/sec, 290 secs
lola: 18115842 markings, 98545835 edges, 59597 markings/sec, 295 secs
lola: 18408370 markings, 99956734 edges, 58506 markings/sec, 300 secs
lola: 18693802 markings, 101400076 edges, 57086 markings/sec, 305 secs
lola: 18953748 markings, 102838069 edges, 51989 markings/sec, 310 secs
lola: 19196912 markings, 104262792 edges, 48633 markings/sec, 315 secs
lola: 19456782 markings, 105726017 edges, 51974 markings/sec, 320 secs
lola: 19706188 markings, 107220634 edges, 49881 markings/sec, 325 secs
lola: 19932704 markings, 108684054 edges, 45303 markings/sec, 330 secs
lola: 20156227 markings, 110155933 edges, 44705 markings/sec, 335 secs
lola: 20370623 markings, 111619197 edges, 42879 markings/sec, 340 secs
lola: 20592335 markings, 113132604 edges, 44342 markings/sec, 345 secs
lola: 20905144 markings, 114584084 edges, 62562 markings/sec, 350 secs
lola: 21191269 markings, 116126362 edges, 57225 markings/sec, 355 secs
lola: 21492743 markings, 117679277 edges, 60295 markings/sec, 360 secs
lola: 21753078 markings, 119208813 edges, 52067 markings/sec, 365 secs
lola: 22052394 markings, 120738207 edges, 59863 markings/sec, 370 secs
lola: 22329337 markings, 122292037 edges, 55389 markings/sec, 375 secs
lola: 22622439 markings, 123822694 edges, 58620 markings/sec, 380 secs
lola: 22898635 markings, 125180407 edges, 55239 markings/sec, 385 secs
lola: 23157881 markings, 126500763 edges, 51849 markings/sec, 390 secs
lola: 23435353 markings, 127876119 edges, 55494 markings/sec, 395 secs
lola: 23700447 markings, 129271673 edges, 53019 markings/sec, 400 secs
lola: 23939693 markings, 130586617 edges, 47849 markings/sec, 405 secs
lola: 24171588 markings, 131917579 edges, 46379 markings/sec, 410 secs
lola: 24402162 markings, 133231815 edges, 46115 markings/sec, 415 secs
lola: 24649556 markings, 134609407 edges, 49479 markings/sec, 420 secs
lola: 24943284 markings, 136184349 edges, 58746 markings/sec, 425 secs
lola: 25221225 markings, 137683257 edges, 55588 markings/sec, 430 secs
lola: 25490687 markings, 139196756 edges, 53892 markings/sec, 435 secs
lola: 25747635 markings, 140727103 edges, 51390 markings/sec, 440 secs
lola: 26022587 markings, 142217360 edges, 54990 markings/sec, 445 secs
lola: 26279237 markings, 143724407 edges, 51330 markings/sec, 450 secs
lola: 26500736 markings, 145183270 edges, 44300 markings/sec, 455 secs
lola: 26757197 markings, 146629364 edges, 51292 markings/sec, 460 secs
lola: 26979288 markings, 147921690 edges, 44418 markings/sec, 465 secs
lola: 27207174 markings, 149264854 edges, 45577 markings/sec, 470 secs
lola: 27429926 markings, 150612257 edges, 44550 markings/sec, 475 secs
lola: 27647095 markings, 151908904 edges, 43434 markings/sec, 480 secs
lola: 27919689 markings, 153378773 edges, 54519 markings/sec, 485 secs
lola: 28195362 markings, 154913275 edges, 55135 markings/sec, 490 secs
lola: 28448237 markings, 156386914 edges, 50575 markings/sec, 495 secs
lola: 28686065 markings, 157769737 edges, 47566 markings/sec, 500 secs
lola: 28910469 markings, 159148912 edges, 44881 markings/sec, 505 secs
lola: 29176090 markings, 160882264 edges, 53124 markings/sec, 510 secs
lola: 29431551 markings, 162616620 edges, 51092 markings/sec, 515 secs
lola: 29692480 markings, 164385824 edges, 52186 markings/sec, 520 secs
lola: 29991002 markings, 166097034 edges, 59704 markings/sec, 525 secs
lola: 30276376 markings, 167817163 edges, 57075 markings/sec, 530 secs
lola: 30549366 markings, 169534047 edges, 54598 markings/sec, 535 secs
lola: 30835550 markings, 171238827 edges, 57237 markings/sec, 540 secs
lola: 31106092 markings, 172968517 edges, 54108 markings/sec, 545 secs
lola: 31386214 markings, 174718337 edges, 56024 markings/sec, 550 secs
lola: 31650471 markings, 176456862 edges, 52851 markings/sec, 555 secs
lola: 31905646 markings, 178179317 edges, 51035 markings/sec, 560 secs
lola: 32156230 markings, 179917838 edges, 50117 markings/sec, 565 secs
lola: 32426458 markings, 181600058 edges, 54046 markings/sec, 570 secs
lola: 32679004 markings, 183262053 edges, 50509 markings/sec, 575 secs
lola: 32922740 markings, 184911423 edges, 48747 markings/sec, 580 secs
lola: 33164886 markings, 186579844 edges, 48429 markings/sec, 585 secs
lola: 33448777 markings, 188206648 edges, 56778 markings/sec, 590 secs
lola: 33715444 markings, 189875263 edges, 53333 markings/sec, 595 secs
lola: 33994459 markings, 191521773 edges, 55803 markings/sec, 600 secs
lola: 34245046 markings, 193176928 edges, 50117 markings/sec, 605 secs
lola: 34510629 markings, 194808517 edges, 53117 markings/sec, 610 secs
lola: 34768358 markings, 196507700 edges, 51546 markings/sec, 615 secs
lola: 35020405 markings, 198237082 edges, 50409 markings/sec, 620 secs
lola: 35248709 markings, 199902711 edges, 45661 markings/sec, 625 secs
lola: 35462668 markings, 201516979 edges, 42792 markings/sec, 630 secs
lola: 35667667 markings, 203139498 edges, 41000 markings/sec, 635 secs
lola: 35881157 markings, 204754781 edges, 42698 markings/sec, 640 secs
lola: 36117107 markings, 206374090 edges, 47190 markings/sec, 645 secs
lola: 36380876 markings, 207917554 edges, 52754 markings/sec, 650 secs
lola: 36635831 markings, 209438446 edges, 50991 markings/sec, 655 secs
lola: 36892648 markings, 210991870 edges, 51363 markings/sec, 660 secs
lola: 37147318 markings, 212539281 edges, 50934 markings/sec, 665 secs
lola: 37388819 markings, 214108385 edges, 48300 markings/sec, 670 secs
lola: 37622213 markings, 215640305 edges, 46679 markings/sec, 675 secs
lola: 37848394 markings, 217180118 edges, 45236 markings/sec, 680 secs
lola: 38075416 markings, 218740615 edges, 45404 markings/sec, 685 secs
lola: 38356415 markings, 220435266 edges, 56200 markings/sec, 690 secs
lola: 38612632 markings, 222127912 edges, 51243 markings/sec, 695 secs
lola: 38873116 markings, 223797712 edges, 52097 markings/sec, 700 secs
lola: 39109483 markings, 225424152 edges, 47273 markings/sec, 705 secs
lola: 39355376 markings, 227101991 edges, 49179 markings/sec, 710 secs
lola: 39613099 markings, 228782857 edges, 51545 markings/sec, 715 secs
lola: 39857575 markings, 230458463 edges, 48895 markings/sec, 720 secs
lola: 40065188 markings, 232102685 edges, 41523 markings/sec, 725 secs
lola: 40331421 markings, 233772850 edges, 53247 markings/sec, 730 secs
lola: 40576773 markings, 235467167 edges, 49070 markings/sec, 735 secs
lola: 40817270 markings, 237170122 edges, 48099 markings/sec, 740 secs
lola: 41059225 markings, 238844341 edges, 48391 markings/sec, 745 secs
lola: 41301236 markings, 240443617 edges, 48402 markings/sec, 750 secs
lola: 41530877 markings, 241928411 edges, 45928 markings/sec, 755 secs
lola: 41757873 markings, 243414245 edges, 45399 markings/sec, 760 secs
lola: 41971944 markings, 244881038 edges, 42814 markings/sec, 765 secs
lola: 42194016 markings, 246392546 edges, 44414 markings/sec, 770 secs
lola: 42469793 markings, 248002110 edges, 55155 markings/sec, 775 secs
lola: 42746451 markings, 249580185 edges, 55332 markings/sec, 780 secs
lola: 42997290 markings, 251158938 edges, 50168 markings/sec, 785 secs
lola: 43264899 markings, 252751897 edges, 53522 markings/sec, 790 secs
lola: 43499472 markings, 254330264 edges, 46915 markings/sec, 795 secs
lola: 43765047 markings, 255929152 edges, 53115 markings/sec, 800 secs
lola: 44019071 markings, 257535584 edges, 50805 markings/sec, 805 secs
lola: 44266991 markings, 259075359 edges, 49584 markings/sec, 810 secs
lola: 44490013 markings, 260519146 edges, 44604 markings/sec, 815 secs
lola: 44710466 markings, 261957713 edges, 44091 markings/sec, 820 secs
lola: 44920355 markings, 263394336 edges, 41978 markings/sec, 825 secs
lola: 45137799 markings, 264871540 edges, 43489 markings/sec, 830 secs
lola: 45387913 markings, 266301157 edges, 50023 markings/sec, 835 secs
lola: 45635183 markings, 267676255 edges, 49454 markings/sec, 840 secs
lola: 45868699 markings, 269052589 edges, 46703 markings/sec, 845 secs
lola: 46118150 markings, 270459166 edges, 49890 markings/sec, 850 secs
lola: 46358378 markings, 271891309 edges, 48046 markings/sec, 855 secs
lola: 46578514 markings, 273312624 edges, 44027 markings/sec, 860 secs
lola: 46795391 markings, 274733407 edges, 43375 markings/sec, 865 secs
lola: 47000567 markings, 276138447 edges, 41035 markings/sec, 870 secs
lola: 47213374 markings, 277587380 edges, 42561 markings/sec, 875 secs
lola: 47419645 markings, 279051551 edges, 41254 markings/sec, 880 secs
lola: 47613595 markings, 280493011 edges, 38790 markings/sec, 885 secs
lola: 47805386 markings, 281938026 edges, 38358 markings/sec, 890 secs
lola: 47987485 markings, 283364940 edges, 36420 markings/sec, 895 secs
lola: 48175697 markings, 284836302 edges, 37642 markings/sec, 900 secs
lola: 48389408 markings, 286250098 edges, 42742 markings/sec, 905 secs
lola: 48645126 markings, 287714147 edges, 51144 markings/sec, 910 secs
lola: 48884005 markings, 289269762 edges, 47776 markings/sec, 915 secs
lola: 49129180 markings, 290765870 edges, 49035 markings/sec, 920 secs
lola: 49350925 markings, 292279875 edges, 44349 markings/sec, 925 secs
lola: 49591920 markings, 293769551 edges, 48199 markings/sec, 930 secs
lola: 49833296 markings, 295302728 edges, 48275 markings/sec, 935 secs
lola: 50066062 markings, 296857155 edges, 46553 markings/sec, 940 secs
lola: 50307975 markings, 298343189 edges, 48383 markings/sec, 945 secs
lola: 50535466 markings, 299675378 edges, 45498 markings/sec, 950 secs
lola: 50764208 markings, 300998073 edges, 45748 markings/sec, 955 secs
lola: 50977127 markings, 302301212 edges, 42584 markings/sec, 960 secs
lola: 51188308 markings, 303614374 edges, 42236 markings/sec, 965 secs
lola: 51405196 markings, 304970050 edges, 43378 markings/sec, 970 secs
lola: 51610014 markings, 306295606 edges, 40964 markings/sec, 975 secs
lola: 51813878 markings, 307629000 edges, 40773 markings/sec, 980 secs
lola: 52007311 markings, 308944168 edges, 38687 markings/sec, 985 secs
lola: 52200549 markings, 310270754 edges, 38648 markings/sec, 990 secs
lola: 52438116 markings, 311742692 edges, 47513 markings/sec, 995 secs
lola: 52675299 markings, 313308423 edges, 47437 markings/sec, 1000 secs
lola: 52917755 markings, 314843964 edges, 48491 markings/sec, 1005 secs
lola: 53152106 markings, 316382890 edges, 46870 markings/sec, 1010 secs
lola: 53374044 markings, 317912300 edges, 44388 markings/sec, 1015 secs
lola: 53603482 markings, 319455262 edges, 45888 markings/sec, 1020 secs
lola: 53838976 markings, 320988016 edges, 47099 markings/sec, 1025 secs
lola: 54057265 markings, 322513171 edges, 43658 markings/sec, 1030 secs
lola: 54244484 markings, 323995707 edges, 37444 markings/sec, 1035 secs
lola: 54485639 markings, 325521147 edges, 48231 markings/sec, 1040 secs
lola: 54709793 markings, 327071355 edges, 44831 markings/sec, 1045 secs
lola: 54932471 markings, 328623256 edges, 44536 markings/sec, 1050 secs
lola: 55155208 markings, 330162004 edges, 44547 markings/sec, 1055 secs
lola: 55372553 markings, 331691207 edges, 43469 markings/sec, 1060 secs
lola: 55735011 markings, 333405892 edges, 72492 markings/sec, 1065 secs
lola: 56064344 markings, 335078458 edges, 65867 markings/sec, 1070 secs
lola: 56390132 markings, 336712471 edges, 65158 markings/sec, 1075 secs
lola: 56714098 markings, 338251870 edges, 64793 markings/sec, 1080 secs
lola: 57010215 markings, 339711301 edges, 59223 markings/sec, 1085 secs
lola: 57309477 markings, 341142463 edges, 59852 markings/sec, 1090 secs
lola: 57604814 markings, 342739071 edges, 59067 markings/sec, 1095 secs
lola: 57891280 markings, 344383579 edges, 57293 markings/sec, 1100 secs
lola: 58160144 markings, 346011050 edges, 53773 markings/sec, 1105 secs
lola: 58424029 markings, 347595471 edges, 52777 markings/sec, 1110 secs
lola: 58688017 markings, 349127404 edges, 52798 markings/sec, 1115 secs
lola: 58929924 markings, 350505035 edges, 48381 markings/sec, 1120 secs
lola: 59175379 markings, 351979019 edges, 49091 markings/sec, 1125 secs
lola: 59415055 markings, 353381045 edges, 47935 markings/sec, 1130 secs
lola: 59714903 markings, 354988512 edges, 59970 markings/sec, 1135 secs
lola: 60044302 markings, 356670423 edges, 65880 markings/sec, 1140 secs
lola: 60360321 markings, 358315142 edges, 63204 markings/sec, 1145 secs
lola: 60644401 markings, 359932950 edges, 56816 markings/sec, 1150 secs
lola: 60941821 markings, 361488618 edges, 59484 markings/sec, 1155 secs
lola: 61235693 markings, 363142151 edges, 58774 markings/sec, 1160 secs
lola: 61536256 markings, 364654256 edges, 60113 markings/sec, 1165 secs
lola: 61802271 markings, 366054695 edges, 53203 markings/sec, 1170 secs
lola: 62102801 markings, 367518308 edges, 60106 markings/sec, 1175 secs
lola: 62370836 markings, 368906383 edges, 53607 markings/sec, 1180 secs
lola: 62650704 markings, 370452407 edges, 55974 markings/sec, 1185 secs
lola: 62949852 markings, 372106932 edges, 59830 markings/sec, 1190 secs
lola: 63227718 markings, 373784175 edges, 55573 markings/sec, 1195 secs
lola: 63502857 markings, 375444351 edges, 55028 markings/sec, 1200 secs
lola: 63753701 markings, 377003668 edges, 50169 markings/sec, 1205 secs
lola: 64019616 markings, 378652343 edges, 53183 markings/sec, 1210 secs
lola: 64275907 markings, 380203657 edges, 51258 markings/sec, 1215 secs
lola: 64532115 markings, 381633679 edges, 51242 markings/sec, 1220 secs
lola: 64767466 markings, 383075293 edges, 47070 markings/sec, 1225 secs
lola: 65005671 markings, 384454207 edges, 47641 markings/sec, 1230 secs
lola: 65247708 markings, 385940458 edges, 48407 markings/sec, 1235 secs
lola: 65515532 markings, 387539108 edges, 53565 markings/sec, 1240 secs
lola: 65802319 markings, 389202823 edges, 57357 markings/sec, 1245 secs
lola: 66075614 markings, 390838611 edges, 54659 markings/sec, 1250 secs
lola: 66325121 markings, 392410013 edges, 49901 markings/sec, 1255 secs
lola: 66586335 markings, 394009527 edges, 52243 markings/sec, 1260 secs
lola: 66832870 markings, 395579923 edges, 49307 markings/sec, 1265 secs
lola: 67094114 markings, 397044235 edges, 52249 markings/sec, 1270 secs
lola: 67322918 markings, 398421051 edges, 45761 markings/sec, 1275 secs
lola: 67574174 markings, 399846963 edges, 50251 markings/sec, 1280 secs
lola: 67807028 markings, 401262768 edges, 46571 markings/sec, 1285 secs
lola: 68049285 markings, 402805218 edges, 48451 markings/sec, 1290 secs
lola: 68381720 markings, 404473532 edges, 66487 markings/sec, 1295 secs
lola: 68673276 markings, 406152364 edges, 58311 markings/sec, 1300 secs
lola: 68986100 markings, 407762807 edges, 62565 markings/sec, 1305 secs
lola: 69248050 markings, 409388196 edges, 52390 markings/sec, 1310 secs
lola: 69528837 markings, 410938858 edges, 56157 markings/sec, 1315 secs
lola: 69795911 markings, 412473365 edges, 53415 markings/sec, 1320 secs
lola: 70081806 markings, 414118826 edges, 57179 markings/sec, 1325 secs
lola: 70350237 markings, 415772004 edges, 53686 markings/sec, 1330 secs
lola: 70607497 markings, 417306219 edges, 51452 markings/sec, 1335 secs
lola: 70892267 markings, 418818556 edges, 56954 markings/sec, 1340 secs
lola: 71155481 markings, 420285055 edges, 52643 markings/sec, 1345 secs
lola: 71421553 markings, 421643595 edges, 53214 markings/sec, 1350 secs
lola: 71643387 markings, 423055010 edges, 44367 markings/sec, 1355 secs
lola: 71913821 markings, 424513940 edges, 54087 markings/sec, 1360 secs
lola: 72181947 markings, 425934107 edges, 53625 markings/sec, 1365 secs
lola: 72424398 markings, 427260078 edges, 48490 markings/sec, 1370 secs
lola: 72674533 markings, 428695703 edges, 50027 markings/sec, 1375 secs
lola: 72935783 markings, 430223537 edges, 52250 markings/sec, 1380 secs
lola: 73183779 markings, 431764169 edges, 49599 markings/sec, 1385 secs
lola: 73435670 markings, 433396604 edges, 50378 markings/sec, 1390 secs
lola: 73667002 markings, 435017022 edges, 46266 markings/sec, 1395 secs
lola: 73898498 markings, 436618021 edges, 46299 markings/sec, 1400 secs
lola: 74100196 markings, 438123986 edges, 40340 markings/sec, 1405 secs
lola: 74319043 markings, 439632280 edges, 43769 markings/sec, 1410 secs
lola: 74538212 markings, 441257368 edges, 43834 markings/sec, 1415 secs
lola: 74750463 markings, 442722155 edges, 42450 markings/sec, 1420 secs
lola: 74960214 markings, 444098328 edges, 41950 markings/sec, 1425 secs
lola: 75146544 markings, 445437228 edges, 37266 markings/sec, 1430 secs
lola: 75358534 markings, 446861471 edges, 42398 markings/sec, 1435 secs
lola: 75544894 markings, 448147373 edges, 37272 markings/sec, 1440 secs
lola: 75750735 markings, 449642195 edges, 41168 markings/sec, 1445 secs
lola: 76018275 markings, 451212336 edges, 53508 markings/sec, 1450 secs
lola: 76329765 markings, 452843944 edges, 62298 markings/sec, 1455 secs
lola: 76635609 markings, 454460584 edges, 61169 markings/sec, 1460 secs
lola: 76911758 markings, 455993124 edges, 55230 markings/sec, 1465 secs
lola: 77202234 markings, 457612929 edges, 58095 markings/sec, 1470 secs
lola: 77490478 markings, 459113052 edges, 57649 markings/sec, 1475 secs
lola: 77753756 markings, 460484484 edges, 52656 markings/sec, 1480 secs
lola: 78031247 markings, 461917796 edges, 55498 markings/sec, 1485 secs
lola: 78288517 markings, 463289992 edges, 51454 markings/sec, 1490 secs
lola: 78560694 markings, 464822190 edges, 54435 markings/sec, 1495 secs
lola: 78881756 markings, 466515695 edges, 64212 markings/sec, 1500 secs
lola: 79154848 markings, 468186884 edges, 54618 markings/sec, 1505 secs
lola: 79459356 markings, 469837920 edges, 60902 markings/sec, 1510 secs
lola: 79751497 markings, 471527155 edges, 58428 markings/sec, 1515 secs
lola: 80023905 markings, 473223357 edges, 54482 markings/sec, 1520 secs
lola: 80291132 markings, 474885461 edges, 53445 markings/sec, 1525 secs
lola: 80543803 markings, 476501534 edges, 50534 markings/sec, 1530 secs
lola: 80814285 markings, 478097193 edges, 54096 markings/sec, 1535 secs
lola: 81095680 markings, 479712649 edges, 56279 markings/sec, 1540 secs
lola: 81366854 markings, 481379229 edges, 54235 markings/sec, 1545 secs
lola: 81609151 markings, 483006816 edges, 48459 markings/sec, 1550 secs
lola: 81831172 markings, 484619863 edges, 44404 markings/sec, 1555 secs
lola: 82084223 markings, 486170943 edges, 50610 markings/sec, 1560 secs
lola: 82353398 markings, 487707702 edges, 53835 markings/sec, 1565 secs
lola: 82595815 markings, 489238441 edges, 48483 markings/sec, 1570 secs
lola: 82855162 markings, 490813312 edges, 51869 markings/sec, 1575 secs
lola: 83122387 markings, 492442102 edges, 53445 markings/sec, 1580 secs
lola: 83379355 markings, 494073655 edges, 51394 markings/sec, 1585 secs
lola: 83618798 markings, 495669848 edges, 47889 markings/sec, 1590 secs
lola: 83874394 markings, 497308049 edges, 51119 markings/sec, 1595 secs
lola: 84127147 markings, 498892705 edges, 50551 markings/sec, 1600 secs
lola: 84356335 markings, 500351599 edges, 45838 markings/sec, 1605 secs
lola: 84613179 markings, 501801356 edges, 51369 markings/sec, 1610 secs
lola: 84846092 markings, 503117820 edges, 46583 markings/sec, 1615 secs
lola: 85074522 markings, 504387738 edges, 45686 markings/sec, 1620 secs
lola: 85269237 markings, 505584099 edges, 38943 markings/sec, 1625 secs
lola: 85489908 markings, 506791436 edges, 44134 markings/sec, 1630 secs
lola: 85705984 markings, 507955014 edges, 43215 markings/sec, 1635 secs
lola: 85885073 markings, 509052617 edges, 35818 markings/sec, 1640 secs
lola: 86056689 markings, 510184178 edges, 34323 markings/sec, 1645 secs
lola: 86212774 markings, 511309253 edges, 31217 markings/sec, 1650 secs
lola: 86422261 markings, 512583203 edges, 41897 markings/sec, 1655 secs
lola: 86689481 markings, 514046248 edges, 53444 markings/sec, 1660 secs
lola: 86944238 markings, 515529899 edges, 50951 markings/sec, 1665 secs
lola: 87184930 markings, 516909936 edges, 48138 markings/sec, 1670 secs
lola: 87417817 markings, 518228913 edges, 46577 markings/sec, 1675 secs
lola: 87635357 markings, 519560027 edges, 43508 markings/sec, 1680 secs
lola: 87846958 markings, 520893029 edges, 42320 markings/sec, 1685 secs
lola: 88093256 markings, 522363116 edges, 49260 markings/sec, 1690 secs
lola: 88297187 markings, 523637599 edges, 40786 markings/sec, 1695 secs
lola: 88499652 markings, 524916363 edges, 40493 markings/sec, 1700 secs
lola: 88700999 markings, 526272964 edges, 40269 markings/sec, 1705 secs
lola: 88911747 markings, 527601811 edges, 42150 markings/sec, 1710 secs
lola: 89107947 markings, 528888646 edges, 39240 markings/sec, 1715 secs
lola: 89327838 markings, 530160101 edges, 43978 markings/sec, 1720 secs
lola: 89572545 markings, 531507838 edges, 48941 markings/sec, 1725 secs
lola: 89806620 markings, 532831726 edges, 46815 markings/sec, 1730 secs
lola: 90046666 markings, 534201362 edges, 48009 markings/sec, 1735 secs
lola: 90319419 markings, 535797894 edges, 54551 markings/sec, 1740 secs
lola: 90608277 markings, 537325517 edges, 57772 markings/sec, 1745 secs
lola: 90865720 markings, 538841562 edges, 51489 markings/sec, 1750 secs
lola: 91132196 markings, 540309253 edges, 53295 markings/sec, 1755 secs
lola: 91404537 markings, 541956464 edges, 54468 markings/sec, 1760 secs
lola: 91664264 markings, 543647438 edges, 51945 markings/sec, 1765 secs
lola: 91912265 markings, 545324899 edges, 49600 markings/sec, 1770 secs
lola: 92155236 markings, 546916997 edges, 48594 markings/sec, 1775 secs
lola: 92389306 markings, 548528513 edges, 46814 markings/sec, 1780 secs
lola: 92629514 markings, 550052885 edges, 48042 markings/sec, 1785 secs
lola: 92837974 markings, 551470670 edges, 41692 markings/sec, 1790 secs
lola: 93067940 markings, 552941869 edges, 45993 markings/sec, 1795 secs
lola: 93285851 markings, 554425186 edges, 43582 markings/sec, 1800 secs
lola: 93571224 markings, 556089060 edges, 57075 markings/sec, 1805 secs
lola: 93849166 markings, 557766932 edges, 55588 markings/sec, 1810 secs
lola: 94123931 markings, 559426764 edges, 54953 markings/sec, 1815 secs
lola: 94376151 markings, 560992084 edges, 50444 markings/sec, 1820 secs
lola: 94643690 markings, 562653167 edges, 53508 markings/sec, 1825 secs
lola: 94902021 markings, 564211575 edges, 51666 markings/sec, 1830 secs
lola: 95157685 markings, 565641492 edges, 51133 markings/sec, 1835 secs
lola: 95396899 markings, 567099846 edges, 47843 markings/sec, 1840 secs
lola: 95637110 markings, 568497675 edges, 48042 markings/sec, 1845 secs
lola: 95879854 markings, 570004563 edges, 48549 markings/sec, 1850 secs
lola: 96142618 markings, 571657972 edges, 52553 markings/sec, 1855 secs
lola: 96402149 markings, 573348080 edges, 51906 markings/sec, 1860 secs
lola: 96647075 markings, 575021422 edges, 48985 markings/sec, 1865 secs
lola: 96891931 markings, 576612093 edges, 48971 markings/sec, 1870 secs
lola: 97127154 markings, 578206198 edges, 47045 markings/sec, 1875 secs
lola: 97361930 markings, 579698271 edges, 46955 markings/sec, 1880 secs
lola: 97569755 markings, 581118234 edges, 41565 markings/sec, 1885 secs
lola: 97796003 markings, 582575217 edges, 45250 markings/sec, 1890 secs
lola: 98015574 markings, 584065102 edges, 43914 markings/sec, 1895 secs
lola: 98277589 markings, 585732307 edges, 52403 markings/sec, 1900 secs
lola: 98531311 markings, 587390310 edges, 50744 markings/sec, 1905 secs
lola: 98769774 markings, 589019065 edges, 47693 markings/sec, 1910 secs
lola: 99009740 markings, 590617805 edges, 47993 markings/sec, 1915 secs
lola: 99244480 markings, 592183042 edges, 46948 markings/sec, 1920 secs
lola: 99473374 markings, 593626673 edges, 45779 markings/sec, 1925 secs
lola: 99680181 markings, 595060018 edges, 41361 markings/sec, 1930 secs
lola: 99896744 markings, 596457949 edges, 43313 markings/sec, 1935 secs
lola: 100116329 markings, 597957885 edges, 43917 markings/sec, 1940 secs
lola: 100396683 markings, 599625609 edges, 56071 markings/sec, 1945 secs
lola: 100669069 markings, 601315743 edges, 54477 markings/sec, 1950 secs
lola: 100953486 markings, 602948897 edges, 56883 markings/sec, 1955 secs
lola: 101185212 markings, 604571380 edges, 46345 markings/sec, 1960 secs
lola: 101438607 markings, 606095760 edges, 50679 markings/sec, 1965 secs
lola: 101700399 markings, 607730339 edges, 52358 markings/sec, 1970 secs
lola: 101942585 markings, 609401669 edges, 48437 markings/sec, 1975 secs
lola: 102172992 markings, 610922270 edges, 46081 markings/sec, 1980 secs
lola: 102437394 markings, 612491532 edges, 52880 markings/sec, 1985 secs
lola: 102666965 markings, 613951906 edges, 45914 markings/sec, 1990 secs
lola: 102905827 markings, 615329395 edges, 47772 markings/sec, 1995 secs
lola: 103107972 markings, 616748081 edges, 40429 markings/sec, 2000 secs
lola: 103339425 markings, 618236408 edges, 46291 markings/sec, 2005 secs
lola: 103580504 markings, 619677829 edges, 48216 markings/sec, 2010 secs
lola: 103794075 markings, 620989999 edges, 42714 markings/sec, 2015 secs
lola: 104035502 markings, 622496119 edges, 48285 markings/sec, 2020 secs
lola: 104257572 markings, 624030077 edges, 44414 markings/sec, 2025 secs
lola: 104488600 markings, 625668227 edges, 46206 markings/sec, 2030 secs
lola: 104709518 markings, 627315455 edges, 44184 markings/sec, 2035 secs
lola: 104925996 markings, 628956801 edges, 43296 markings/sec, 2040 secs
lola: 105120435 markings, 630464313 edges, 38888 markings/sec, 2045 secs
lola: 105329000 markings, 632093644 edges, 41713 markings/sec, 2050 secs
lola: 105529026 markings, 633605306 edges, 40005 markings/sec, 2055 secs
lola: 105722697 markings, 635010283 edges, 38734 markings/sec, 2060 secs
lola: 105892988 markings, 636372753 edges, 34058 markings/sec, 2065 secs
lola: 106087748 markings, 637816201 edges, 38952 markings/sec, 2070 secs
lola: 106268932 markings, 639192469 edges, 36237 markings/sec, 2075 secs
lola: 106487903 markings, 640735728 edges, 43794 markings/sec, 2080 secs
lola: 106771471 markings, 642389237 edges, 56714 markings/sec, 2085 secs
lola: 107044171 markings, 644015199 edges, 54540 markings/sec, 2090 secs
lola: 107301491 markings, 645549442 edges, 51464 markings/sec, 2095 secs
lola: 107556123 markings, 647104003 edges, 50926 markings/sec, 2100 secs
lola: 107812169 markings, 648548829 edges, 51209 markings/sec, 2105 secs
lola: 108041037 markings, 649965520 edges, 45774 markings/sec, 2110 secs
lola: 108275890 markings, 651339036 edges, 46971 markings/sec, 2115 secs
lola: 108521246 markings, 652849745 edges, 49071 markings/sec, 2120 secs
lola: 108818277 markings, 654596445 edges, 59406 markings/sec, 2125 secs
lola: 109070481 markings, 656313079 edges, 50441 markings/sec, 2130 secs
lola: 109331484 markings, 657960821 edges, 52201 markings/sec, 2135 secs
lola: 109591602 markings, 659649429 edges, 52024 markings/sec, 2140 secs
lola: 109841250 markings, 661363077 edges, 49930 markings/sec, 2145 secs
lola: 110081140 markings, 663003202 edges, 47978 markings/sec, 2150 secs
lola: 110328090 markings, 664657609 edges, 49390 markings/sec, 2155 secs
lola: 110585074 markings, 666310179 edges, 51397 markings/sec, 2160 secs
lola: 110839787 markings, 668030615 edges, 50943 markings/sec, 2165 secs
lola: 111050217 markings, 669653343 edges, 42086 markings/sec, 2170 secs
lola: 111276921 markings, 671225838 edges, 45341 markings/sec, 2175 secs
lola: 111515443 markings, 672756385 edges, 47704 markings/sec, 2180 secs
lola: 111741006 markings, 674303306 edges, 45113 markings/sec, 2185 secs
lola: 111991258 markings, 675960557 edges, 50050 markings/sec, 2190 secs
lola: 112226153 markings, 677605896 edges, 46979 markings/sec, 2195 secs
lola: 112455995 markings, 679246351 edges, 45968 markings/sec, 2200 secs
lola: 112688488 markings, 680885301 edges, 46499 markings/sec, 2205 secs
lola: 112901207 markings, 682343259 edges, 42544 markings/sec, 2210 secs
lola: 113148376 markings, 683891713 edges, 49434 markings/sec, 2215 secs
lola: 113392412 markings, 685461234 edges, 48807 markings/sec, 2220 secs
lola: 113629031 markings, 687005630 edges, 47324 markings/sec, 2225 secs
lola: 113834827 markings, 688438796 edges, 41159 markings/sec, 2230 secs
lola: 114069403 markings, 689810179 edges, 46915 markings/sec, 2235 secs
lola: 114287420 markings, 691211786 edges, 43603 markings/sec, 2240 secs
lola: 114488154 markings, 692625747 edges, 40147 markings/sec, 2245 secs
lola: 114668107 markings, 694040477 edges, 35991 markings/sec, 2250 secs
lola: 114875818 markings, 695515573 edges, 41542 markings/sec, 2255 secs
lola: 115113481 markings, 697027450 edges, 47533 markings/sec, 2260 secs
lola: 115344391 markings, 698572044 edges, 46182 markings/sec, 2265 secs
lola: 115562340 markings, 699952915 edges, 43590 markings/sec, 2270 secs
lola: 115765987 markings, 701268531 edges, 40729 markings/sec, 2275 secs
lola: 115960705 markings, 702603295 edges, 38944 markings/sec, 2280 secs
lola: 116186411 markings, 704097216 edges, 45141 markings/sec, 2285 secs
lola: 116401318 markings, 705594099 edges, 42981 markings/sec, 2290 secs
lola: 116609183 markings, 707100345 edges, 41573 markings/sec, 2295 secs
lola: 116827821 markings, 708629902 edges, 43728 markings/sec, 2300 secs
lola: 117096082 markings, 710253833 edges, 53652 markings/sec, 2305 secs
lola: 117398888 markings, 711921441 edges, 60561 markings/sec, 2310 secs
lola: 117682866 markings, 713552400 edges, 56796 markings/sec, 2315 secs
lola: 117964884 markings, 715184589 edges, 56404 markings/sec, 2320 secs
lola: 118243708 markings, 716725832 edges, 55765 markings/sec, 2325 secs
lola: 118492410 markings, 718138890 edges, 49740 markings/sec, 2330 secs
lola: 118759003 markings, 719598128 edges, 53319 markings/sec, 2335 secs
lola: 119015622 markings, 721093640 edges, 51324 markings/sec, 2340 secs
lola: 119276382 markings, 722705934 edges, 52152 markings/sec, 2345 secs
lola: 119522097 markings, 724313277 edges, 49143 markings/sec, 2350 secs
lola: 119753837 markings, 725896041 edges, 46348 markings/sec, 2355 secs
lola: 119988534 markings, 727474536 edges, 46939 markings/sec, 2360 secs
lola: 120219513 markings, 729005338 edges, 46196 markings/sec, 2365 secs
lola: 120443657 markings, 730416634 edges, 44829 markings/sec, 2370 secs
lola: 120645933 markings, 731821723 edges, 40455 markings/sec, 2375 secs
lola: 120859427 markings, 733199032 edges, 42699 markings/sec, 2380 secs
lola: 121076032 markings, 734671921 edges, 43321 markings/sec, 2385 secs
lola: 121359455 markings, 736293128 edges, 56685 markings/sec, 2390 secs
lola: 121626366 markings, 737910767 edges, 53382 markings/sec, 2395 secs
lola: 121890459 markings, 739517381 edges, 52819 markings/sec, 2400 secs
lola: 122134190 markings, 741024667 edges, 48746 markings/sec, 2405 secs
lola: 122393809 markings, 742634235 edges, 51924 markings/sec, 2410 secs
lola: 122643819 markings, 744157272 edges, 50002 markings/sec, 2415 secs
lola: 122897150 markings, 745562800 edges, 50666 markings/sec, 2420 secs
lola: 123125855 markings, 746959077 edges, 45741 markings/sec, 2425 secs
lola: 123363011 markings, 748327746 edges, 47431 markings/sec, 2430 secs
lola: 123594146 markings, 749740724 edges, 46227 markings/sec, 2435 secs
lola: 123842714 markings, 751296054 edges, 49714 markings/sec, 2440 secs
lola: 124094677 markings, 752934460 edges, 50393 markings/sec, 2445 secs
lola: 124339987 markings, 754550356 edges, 49062 markings/sec, 2450 secs
lola: 124562713 markings, 756056120 edges, 44545 markings/sec, 2455 secs
lola: 124798799 markings, 757677296 edges, 47217 markings/sec, 2460 secs
lola: 125028379 markings, 759156326 edges, 45916 markings/sec, 2465 secs
lola: 125237522 markings, 760503463 edges, 41829 markings/sec, 2470 secs
lola: 125450457 markings, 761960825 edges, 42587 markings/sec, 2475 secs
lola: 125657947 markings, 763290341 edges, 41498 markings/sec, 2480 secs
lola: 125887726 markings, 764825688 edges, 45956 markings/sec, 2485 secs
lola: 126140174 markings, 766448556 edges, 50490 markings/sec, 2490 secs
lola: 126382711 markings, 768040245 edges, 48507 markings/sec, 2495 secs
lola: 126603678 markings, 769542354 edges, 44193 markings/sec, 2500 secs
lola: 126837211 markings, 771142865 edges, 46707 markings/sec, 2505 secs
lola: 127065406 markings, 772620516 edges, 45639 markings/sec, 2510 secs
lola: 127276317 markings, 773960230 edges, 42182 markings/sec, 2515 secs
lola: 127480400 markings, 775372487 edges, 40817 markings/sec, 2520 secs
lola: 127683940 markings, 776682487 edges, 40708 markings/sec, 2525 secs
lola: 127900400 markings, 778173106 edges, 43292 markings/sec, 2530 secs
lola: 128181047 markings, 779804455 edges, 56129 markings/sec, 2535 secs
lola: 128441561 markings, 781432436 edges, 52103 markings/sec, 2540 secs
lola: 128713853 markings, 782995591 edges, 54458 markings/sec, 2545 secs
lola: 128934139 markings, 784557871 edges, 44057 markings/sec, 2550 secs
lola: 129181116 markings, 786028188 edges, 49395 markings/sec, 2555 secs
lola: 129428495 markings, 787584025 edges, 49476 markings/sec, 2560 secs
lola: 129669140 markings, 789210066 edges, 48129 markings/sec, 2565 secs
lola: 129895363 markings, 790710758 edges, 45245 markings/sec, 2570 secs
lola: 130144593 markings, 792206630 edges, 49846 markings/sec, 2575 secs
lola: 130372276 markings, 793642535 edges, 45537 markings/sec, 2580 secs
lola: 130603288 markings, 794974754 edges, 46202 markings/sec, 2585 secs
lola: 130806379 markings, 796331940 edges, 40618 markings/sec, 2590 secs
lola: 131012025 markings, 797737344 edges, 41129 markings/sec, 2595 secs
lola: 131248362 markings, 799207109 edges, 47267 markings/sec, 2600 secs
lola: 131466752 markings, 800471203 edges, 43678 markings/sec, 2605 secs
lola: 131679356 markings, 801829820 edges, 42521 markings/sec, 2610 secs
lola: 131907555 markings, 803314963 edges, 45640 markings/sec, 2615 secs
lola: 132128890 markings, 804832009 edges, 44267 markings/sec, 2620 secs
lola: 132346933 markings, 806421235 edges, 43609 markings/sec, 2625 secs
lola: 132551483 markings, 807967766 edges, 40910 markings/sec, 2630 secs
lola: 132747288 markings, 809532257 edges, 39161 markings/sec, 2635 secs
lola: 132944774 markings, 810991020 edges, 39497 markings/sec, 2640 secs
lola: 133142052 markings, 812555189 edges, 39456 markings/sec, 2645 secs
lola: 133336581 markings, 813997236 edges, 38906 markings/sec, 2650 secs
lola: 133515341 markings, 815295654 edges, 35752 markings/sec, 2655 secs
lola: 133681471 markings, 816627653 edges, 33226 markings/sec, 2660 secs
lola: 133864693 markings, 817981534 edges, 36644 markings/sec, 2665 secs
lola: 134040110 markings, 819324100 edges, 35083 markings/sec, 2670 secs
lola: 134256646 markings, 820826179 edges, 43307 markings/sec, 2675 secs
lola: 134530068 markings, 822424889 edges, 54684 markings/sec, 2680 secs
lola: 134794266 markings, 823988830 edges, 52840 markings/sec, 2685 secs
lola: 135045117 markings, 825489764 edges, 50170 markings/sec, 2690 secs
lola: 135292189 markings, 827020665 edges, 49414 markings/sec, 2695 secs
lola: 135546459 markings, 828456142 edges, 50854 markings/sec, 2700 secs
lola: 135767057 markings, 829818360 edges, 44120 markings/sec, 2705 secs
lola: 136004033 markings, 831189695 edges, 47395 markings/sec, 2710 secs
lola: 136238700 markings, 832633034 edges, 46933 markings/sec, 2715 secs
lola: 136521391 markings, 834292857 edges, 56538 markings/sec, 2720 secs
lola: 136773179 markings, 835966124 edges, 50358 markings/sec, 2725 secs
lola: 137026721 markings, 837601520 edges, 50708 markings/sec, 2730 secs
lola: 137283231 markings, 839235525 edges, 51302 markings/sec, 2735 secs
lola: 137526985 markings, 840888172 edges, 48751 markings/sec, 2740 secs
lola: 137763402 markings, 842499568 edges, 47283 markings/sec, 2745 secs
lola: 137997619 markings, 844092510 edges, 46843 markings/sec, 2750 secs
lola: 138249324 markings, 845705028 edges, 50341 markings/sec, 2755 secs
lola: 138493039 markings, 847326757 edges, 48743 markings/sec, 2760 secs
lola: 138712113 markings, 848935783 edges, 43815 markings/sec, 2765 secs
lola: 138913551 markings, 850515485 edges, 40288 markings/sec, 2770 secs
lola: 139153910 markings, 852002435 edges, 48072 markings/sec, 2775 secs
lola: 139377190 markings, 853495991 edges, 44656 markings/sec, 2780 secs
lola: 139609313 markings, 855054020 edges, 46425 markings/sec, 2785 secs
lola: 139844409 markings, 856666201 edges, 47019 markings/sec, 2790 secs
lola: 140073871 markings, 858279862 edges, 45892 markings/sec, 2795 secs
lola: 140301009 markings, 859900241 edges, 45428 markings/sec, 2800 secs
lola: 140522607 markings, 861428288 edges, 44320 markings/sec, 2805 secs
lola: 140732667 markings, 862867243 edges, 42012 markings/sec, 2810 secs
lola: 140978203 markings, 864381239 edges, 49107 markings/sec, 2815 secs
lola: 141209889 markings, 865876734 edges, 46337 markings/sec, 2820 secs
lola: 141429514 markings, 867330021 edges, 43925 markings/sec, 2825 secs
lola: 141635721 markings, 868719269 edges, 41241 markings/sec, 2830 secs
lola: 141861236 markings, 870042947 edges, 45103 markings/sec, 2835 secs
lola: 142069490 markings, 871405473 edges, 41651 markings/sec, 2840 secs
lola: 142262902 markings, 872783838 edges, 38682 markings/sec, 2845 secs
lola: 142437508 markings, 874154632 edges, 34921 markings/sec, 2850 secs
lola: 142640821 markings, 875593883 edges, 40663 markings/sec, 2855 secs
lola: 142871759 markings, 877060789 edges, 46188 markings/sec, 2860 secs
lola: 143095830 markings, 878559948 edges, 44814 markings/sec, 2865 secs
lola: 143308031 markings, 879904544 edges, 42440 markings/sec, 2870 secs
lola: 143507800 markings, 881188588 edges, 39954 markings/sec, 2875 secs
lola: 143696710 markings, 882481115 edges, 37782 markings/sec, 2880 secs
lola: 143891130 markings, 883782496 edges, 38884 markings/sec, 2885 secs
lola: 144085754 markings, 885113377 edges, 38925 markings/sec, 2890 secs
lola: 144277084 markings, 886436463 edges, 38266 markings/sec, 2895 secs
lola: 144458411 markings, 887745441 edges, 36265 markings/sec, 2900 secs
lola: 144658625 markings, 889181740 edges, 40043 markings/sec, 2905 secs
lola: 144956366 markings, 890673719 edges, 59548 markings/sec, 2910 secs
lola: 145251188 markings, 892101925 edges, 58964 markings/sec, 2915 secs
lola: 145517574 markings, 893467396 edges, 53277 markings/sec, 2920 secs
lola: 145777339 markings, 894812637 edges, 51953 markings/sec, 2925 secs
lola: 146024385 markings, 895998948 edges, 49409 markings/sec, 2930 secs
lola: 146257848 markings, 897166728 edges, 46693 markings/sec, 2935 secs
lola: 146502219 markings, 898360760 edges, 48874 markings/sec, 2940 secs
lola: 146730695 markings, 899499425 edges, 45695 markings/sec, 2945 secs
lola: 146978518 markings, 900873155 edges, 49565 markings/sec, 2950 secs
lola: 147207318 markings, 902205879 edges, 45760 markings/sec, 2955 secs
lola: 147418540 markings, 903424844 edges, 42244 markings/sec, 2960 secs
lola: 147617566 markings, 904645356 edges, 39805 markings/sec, 2965 secs
lola: 147814391 markings, 905850122 edges, 39365 markings/sec, 2970 secs
lola: 148005753 markings, 906988848 edges, 38272 markings/sec, 2975 secs
lola: 148208058 markings, 908142647 edges, 40461 markings/sec, 2980 secs
lola: 148390740 markings, 909305286 edges, 36536 markings/sec, 2985 secs
lola: 148589991 markings, 910448246 edges, 39850 markings/sec, 2990 secs
lola: 148781606 markings, 911581091 edges, 38323 markings/sec, 2995 secs
lola: 149010424 markings, 912869385 edges, 45764 markings/sec, 3000 secs
lola: 149274881 markings, 914215471 edges, 52891 markings/sec, 3005 secs
lola: 149524030 markings, 915529513 edges, 49830 markings/sec, 3010 secs
lola: 149742679 markings, 916781205 edges, 43730 markings/sec, 3015 secs
lola: 149983246 markings, 918057271 edges, 48113 markings/sec, 3020 secs
lola: 150205925 markings, 919292131 edges, 44536 markings/sec, 3025 secs
lola: 150415097 markings, 920465844 edges, 41834 markings/sec, 3030 secs
lola: 150633028 markings, 921544650 edges, 43586 markings/sec, 3035 secs
lola: 150830714 markings, 922609760 edges, 39537 markings/sec, 3040 secs
lola: 151059576 markings, 923757903 edges, 45772 markings/sec, 3045 secs
lola: 151249036 markings, 924759479 edges, 37892 markings/sec, 3050 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes no yes yes unknown yes no no yes yes yes no yes no yes
lola:
preliminary result: unknown yes no yes yes unknown yes no no yes yes yes no yes no yes
lola: memory consumption: 12182648 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no yes yes unknown yes no no yes yes yes no yes no yes
BK_TIME_CONFINEMENT_REACHED
--------------------
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-14b"
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-14b.tgz
mv DiscoveryGPU-PT-14b 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-14b, 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-152749169600157"
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 '
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 ;