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 476K
-rw-r--r-- 1 mcc users 4.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 308K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudDeployment-PT-3b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357400214
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-00
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-01
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-02
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-03
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-04
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-05
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-06
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-07
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-08
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-09
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-10
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-11
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-12
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-13
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-14
FORMULA_NAME CloudDeployment-PT-3b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1526592844606

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudDeployment-PT-3b 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 CloudDeployment-PT-3b formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ CloudDeployment-PT-3b @ 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: 2011/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 859
lola: finding significant places
lola: 859 places, 1152 transitions, 846 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1099 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-3b-CTLFireability.task
lola: NOT(E (X (E (F ((FIREABLE(t44) AND FIREABLE(t370))))))) : (NOT(((FIREABLE(t849) OR FIREABLE(t885) OR (FIREABLE(t288) AND FIREABLE(t857)) OR FIREABLE(t499)) OR A (G (NOT FIREABLE(t79))))) OR A (F (A (G ((FIREABLE(t1024) AND FIREABLE(t676))))))) : (A ((NOT FIREABLE(t784) U FIREABLE(t1147))) AND E ((A (F (FIREABLE(t619))) U (FIREABLE(t1001) OR FIREABLE(t798) OR (FIREABLE(t286) AND FIREABLE(t936)))))) : E (F (FIREABLE(t1071))) : E (F (A (X (FIREABLE(t1148))))) : E ((A (F (FIREABLE(t992))) U (NOT FIREABLE(t171) AND NOT FIREABLE(t718) AND FIREABLE(t459)))) : A (X (E (G ((NOT FIREABLE(t813) OR FIREABLE(t119)))))) : A (X (E (G (NOT FIREABLE(t886))))) : (NOT(A (F ((FIREABLE(t582) OR (FIREABLE(t187) AND FIREABLE(t178)))))) OR FIREABLE(t6)) : A (F (E (G (E (G (FIREABLE(t716))))))) : A (G (NOT(A ((FIREABLE(t1079) U FIREABLE(t870)))))) : ((A (F (E (X (FIREABLE(t741))))) OR (A (F ((FIREABLE(t673) OR FIREABLE(t478)))) OR A (X ((FIREABLE(t1048) OR FIREABLE(t825)))))) AND (NOT FIREABLE(t619) AND NOT FIREABLE(t557))) : (E (F ((FIREABLE(t108) AND FIREABLE(t245)))) OR FIREABLE(t639)) : E (F (A (F (((FIREABLE(t977) OR FIREABLE(t1097)) AND (FIREABLE(t755) OR FIREABLE(t566))))))) : (A ((E (F (FIREABLE(t294))) U A (X (FIREABLE(t139))))) AND NOT FIREABLE(t805)) : A (F (FIREABLE(t795)))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
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: rewrite Frontend/Parser/formula_rewrite.k:461
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:455
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G ((NOT FIREABLE(t44) OR NOT FIREABLE(t370))))))
lola: ========================================
lola: SUBTASK
lola: checking invariance from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:663
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: (FIREABLE(t44) AND FIREABLE(t370))
lola: processed formula length: 34
lola: 21 rewrites
lola: closed formula file CloudDeployment-PT-3b-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEF
lola: The predicate is not invariant from successors.
lola: 59 markings, 58 edges
lola: ========================================

FORMULA CloudDeployment-PT-3b-CTLFireability-0 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 (F (A (X (FIREABLE(t1148)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U AX(FIREABLE(t1148)))
lola: processed formula length: 29
lola: 21 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 118 markings, 117 edges
lola: ========================================

FORMULA CloudDeployment-PT-3b-CTLFireability-4 TRUE 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 (E (G ((NOT FIREABLE(t813) OR FIREABLE(t119))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: AX(NOT(A(TRUE U (FIREABLE(t813) AND NOT FIREABLE(t119)))))
lola: processed formula length: 58
lola: 22 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 158 markings, 159 edges
lola: ========================================

FORMULA CloudDeployment-PT-3b-CTLFireability-6 TRUE 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: A (X (E (G (NOT FIREABLE(t886)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: AX(NOT(A(TRUE U FIREABLE(t886))))
lola: processed formula length: 33
lola: 22 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 117 markings, 116 edges
lola: ========================================

FORMULA CloudDeployment-PT-3b-CTLFireability-7 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: ((A (F (E (X (FIREABLE(t741))))) OR (A (F ((FIREABLE(t673) OR FIREABLE(t478)))) OR A (X ((FIREABLE(t1048) OR FIREABLE(t825)))))) AND (NOT FIREABLE(t619) AND NOT FIREABLE(t557)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(t673) OR FIREABLE(t478))))
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(t673) AND NOT FIREABLE(t478))
lola: processed formula length: 43
lola: 21 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 121 markings, 120 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t619) AND NOT FIREABLE(t557))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t619) AND NOT FIREABLE(t557))
lola: processed formula length: 43
lola: 19 rewrites
lola: closed formula file CloudDeployment-PT-3b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((FIREABLE(t1048) OR FIREABLE(t825))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX((FIREABLE(t1048) OR FIREABLE(t825)))
lola: processed formula length: 40
lola: 20 rewrites
lola: closed formula file CloudDeployment-PT-3b-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 0 significant temporal operators and needs 0 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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (X (FIREABLE(t741)))))
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(t741)))
lola: processed formula length: 28
lola: 21 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 118 markings, 117 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA CloudDeployment-PT-3b-CTLFireability-11 FALSE 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: (A ((E (F (FIREABLE(t294))) U A (X (FIREABLE(t139))))) AND NOT FIREABLE(t805))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: (A(E(TRUE U FIREABLE(t294)) U AX(FIREABLE(t139))) AND NOT FIREABLE(t805))
lola: processed formula length: 73
lola: 22 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 202942 markings, 519185 edges, 40588 markings/sec, 0 secs
lola: 404505 markings, 1069611 edges, 40313 markings/sec, 5 secs
lola: 598972 markings, 1674153 edges, 38893 markings/sec, 10 secs
lola: 813897 markings, 2271545 edges, 42985 markings/sec, 15 secs
lola: 1028258 markings, 2869800 edges, 42872 markings/sec, 20 secs
lola: 1232173 markings, 3457055 edges, 40783 markings/sec, 25 secs
lola: 1447038 markings, 4010022 edges, 42973 markings/sec, 30 secs
lola: 1633578 markings, 4524414 edges, 37308 markings/sec, 35 secs
lola: 1824982 markings, 5016338 edges, 38281 markings/sec, 40 secs
lola: 1993368 markings, 5569036 edges, 33677 markings/sec, 45 secs
lola: 2153472 markings, 6170015 edges, 32021 markings/sec, 50 secs
lola: 2327710 markings, 6768689 edges, 34848 markings/sec, 55 secs
lola: 2479182 markings, 7353402 edges, 30294 markings/sec, 60 secs
lola: 2672919 markings, 7934205 edges, 38747 markings/sec, 65 secs
lola: 2843044 markings, 8525844 edges, 34025 markings/sec, 70 secs
lola: 3023905 markings, 9126049 edges, 36172 markings/sec, 75 secs
lola: 3203508 markings, 9721411 edges, 35921 markings/sec, 80 secs
lola: 3351060 markings, 10301550 edges, 29510 markings/sec, 85 secs
lola: 3520352 markings, 10860675 edges, 33858 markings/sec, 90 secs
lola: 3698521 markings, 11476906 edges, 35634 markings/sec, 95 secs
lola: 3832259 markings, 12075686 edges, 26748 markings/sec, 100 secs
lola: 4000301 markings, 12664711 edges, 33608 markings/sec, 105 secs
lola: 4144099 markings, 13192772 edges, 28760 markings/sec, 110 secs
lola: 4285053 markings, 13701353 edges, 28191 markings/sec, 115 secs
lola: 4409682 markings, 14222728 edges, 24926 markings/sec, 120 secs
lola: 4518455 markings, 14756312 edges, 21755 markings/sec, 125 secs
lola: 4656215 markings, 15276760 edges, 27552 markings/sec, 130 secs
lola: 4781449 markings, 15782587 edges, 25047 markings/sec, 135 secs
lola: 4926367 markings, 16302208 edges, 28984 markings/sec, 140 secs
lola: 5040720 markings, 16823717 edges, 22871 markings/sec, 145 secs
lola: 5148845 markings, 17331008 edges, 21625 markings/sec, 150 secs
lola: 5260096 markings, 17827405 edges, 22250 markings/sec, 155 secs
lola: 5355037 markings, 18312968 edges, 18988 markings/sec, 160 secs
lola: 5451106 markings, 18797023 edges, 19214 markings/sec, 165 secs
lola: 5564951 markings, 19326241 edges, 22769 markings/sec, 170 secs
lola: 5675616 markings, 19843378 edges, 22133 markings/sec, 175 secs
lola: 5802730 markings, 20349411 edges, 25423 markings/sec, 180 secs
lola: 5934803 markings, 20863369 edges, 26415 markings/sec, 185 secs
lola: 6053404 markings, 21371590 edges, 23720 markings/sec, 190 secs
lola: 6152354 markings, 21907563 edges, 19790 markings/sec, 195 secs
lola: 6262609 markings, 22411715 edges, 22051 markings/sec, 200 secs
lola: 6385795 markings, 22945602 edges, 24637 markings/sec, 205 secs
lola: 6487115 markings, 23447503 edges, 20264 markings/sec, 210 secs
lola: 6593292 markings, 23938586 edges, 21235 markings/sec, 215 secs
lola: 6688775 markings, 24428444 edges, 19097 markings/sec, 220 secs
lola: 6779630 markings, 24917098 edges, 18171 markings/sec, 225 secs
lola: 6881501 markings, 25432386 edges, 20374 markings/sec, 230 secs
lola: 7021735 markings, 25973674 edges, 28047 markings/sec, 235 secs
lola: 7179639 markings, 26480656 edges, 31581 markings/sec, 240 secs
lola: 7314571 markings, 26953062 edges, 26986 markings/sec, 245 secs
lola: 7498553 markings, 27547808 edges, 36796 markings/sec, 250 secs
lola: 7644487 markings, 28106862 edges, 29187 markings/sec, 255 secs
lola: 7743080 markings, 28588604 edges, 19719 markings/sec, 260 secs
lola: 7834399 markings, 29053494 edges, 18264 markings/sec, 265 secs
lola: 8003574 markings, 29554540 edges, 33835 markings/sec, 270 secs
lola: 8126078 markings, 29982743 edges, 24501 markings/sec, 275 secs
lola: 8282260 markings, 30464983 edges, 31236 markings/sec, 280 secs
lola: 8444899 markings, 31010153 edges, 32528 markings/sec, 285 secs
lola: 8627853 markings, 31593149 edges, 36591 markings/sec, 290 secs
lola: 8795459 markings, 32176053 edges, 33521 markings/sec, 295 secs
lola: 8922572 markings, 32666517 edges, 25423 markings/sec, 300 secs
lola: 9011452 markings, 33119176 edges, 17776 markings/sec, 305 secs
lola: 9100992 markings, 33564271 edges, 17908 markings/sec, 310 secs
lola: 9189779 markings, 34019566 edges, 17757 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown yes unknown yes yes unknown unknown unknown no unknown unknown unknown unknown
lola: memory consumption: 884936 KB
lola: time consumption: 324 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1071)))
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(t1071)))
lola: processed formula length: 23
lola: 20 rewrites
lola: closed formula file CloudDeployment-PT-3b-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(t1071)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-3b-CTLFireability-6-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 62 markings, 61 edges
lola: ========================================

FORMULA CloudDeployment-PT-3b-CTLFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 360 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t977) OR FIREABLE(t1097)) AND (FIREABLE(t755) OR FIREABLE(t566)))))
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(t977) OR FIREABLE(t1097)) AND (FIREABLE(t755) OR FIREABLE(t566)))))
lola: processed formula length: 86
lola: 20 rewrites
lola: closed formula file CloudDeployment-PT-3b-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(t977) OR FIREABLE(t1097)) AND (FIREABLE(t755) OR FIREABLE(t566)))
lola: state equation: Generated DNF with 16 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-3b-CTLFireability-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-3b-CTLFireability-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 163635 markings, 259948 edges, 32727 markings/sec, 0 secs
lola: sara is running 5 secs || 303309 markings, 499511 edges, 27935 markings/sec, 5 secs
lola: sara is running 10 secs || 441773 markings, 777859 edges, 27693 markings/sec, 10 secs
lola: sara is running 15 secs || 593824 markings, 1069042 edges, 30410 markings/sec, 15 secs

lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola:
FORMULA CloudDeployment-PT-3b-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 8 will run for 402 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t795)))
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(t795)
lola: processed formula length: 18
lola: 21 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 121 markings, 120 edges
lola: ========================================

FORMULA CloudDeployment-PT-3b-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 460 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (G (FIREABLE(t716)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U NOT(A(TRUE U NOT FIREABLE(t716))))
lola: processed formula length: 43
lola: 22 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 118 markings, 235 edges
lola: ========================================

FORMULA CloudDeployment-PT-3b-CTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 536 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E ((NOT FIREABLE(t1079) R NOT FIREABLE(t870)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:729
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: processed formula: NOT(E(TRUE U A(FIREABLE(t1079) U FIREABLE(t870))))
lola: processed formula length: 50
lola: 24 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 27809 markings, 79573 edges
lola: ========================================

FORMULA CloudDeployment-PT-3b-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 644 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (F (FIREABLE(t992))) U (NOT FIREABLE(t171) AND NOT FIREABLE(t718) AND FIREABLE(t459))))
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(t992)) U (NOT FIREABLE(t171) AND NOT FIREABLE(t718) AND FIREABLE(t459)))
lola: processed formula length: 92
lola: 21 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 118 markings, 118 edges
lola: ========================================

FORMULA CloudDeployment-PT-3b-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 805 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((NOT FIREABLE(t784) U FIREABLE(t1147))) AND E ((A (F (FIREABLE(t619))) U (FIREABLE(t1001) OR FIREABLE(t798) OR (FIREABLE(t286) AND FIREABLE(t936))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: (A(NOT FIREABLE(t784) U FIREABLE(t1147)) AND E(A(TRUE U FIREABLE(t619)) U (FIREABLE(t1001) OR FIREABLE(t798) OR (FIREABLE(t286) AND FIREABLE(t936)))))
lola: processed formula length: 152
lola: 22 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 120 markings, 119 edges
lola: ========================================

FORMULA CloudDeployment-PT-3b-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1073 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F ((FIREABLE(t108) AND FIREABLE(t245)))) OR FIREABLE(t639))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 1073 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t639)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t639)
lola: processed formula length: 14
lola: 19 rewrites
lola: closed formula file CloudDeployment-PT-3b-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 1610 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t108) AND FIREABLE(t245))))
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(t108) AND FIREABLE(t245))))
lola: processed formula length: 43
lola: 20 rewrites
lola: closed formula file CloudDeployment-PT-3b-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(t108) AND FIREABLE(t245))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-3b-CTLFireability-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-3b-CTLFireability-14-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA CloudDeployment-PT-3b-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1610 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G ((NOT FIREABLE(t582) AND (NOT FIREABLE(t187) OR NOT FIREABLE(t178))))) OR FIREABLE(t6))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1610 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t6)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t6)
lola: processed formula length: 12
lola: 19 rewrites
lola: closed formula file CloudDeployment-PT-3b-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 3220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((NOT FIREABLE(t582) AND (NOT FIREABLE(t187) OR NOT FIREABLE(t178)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((NOT FIREABLE(t582) AND (NOT FIREABLE(t187) OR NOT FIREABLE(t178)))))
lola: processed formula length: 76
lola: 19 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 121 markings, 120 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================

FORMULA CloudDeployment-PT-3b-CTLFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((NOT FIREABLE(t849) AND NOT FIREABLE(t885) AND (NOT FIREABLE(t288) OR NOT FIREABLE(t857)) AND NOT FIREABLE(t499)) AND E (F (FIREABLE(t79)))) OR A (F (A (G ((FIREABLE(t1024) AND FIREABLE(t676)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 3220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(t849) AND NOT FIREABLE(t885) AND (NOT FIREABLE(t288) OR NOT FIREABLE(t857)) AND NOT FIREABLE(t499))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(t849) AND NOT FIREABLE(t885) AND (NOT FIREABLE(t288) OR NOT FIREABLE(t857)) AND NOT FIREABLE(t499))
lola: processed formula length: 114
lola: 19 rewrites
lola: closed formula file CloudDeployment-PT-3b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((FIREABLE(t1024) AND FIREABLE(t676))))))
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(t1024) OR NOT FIREABLE(t676))
lola: processed formula length: 44
lola: 21 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 118 markings, 117 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (A ((E (F (FIREABLE(t294))) U A (X (FIREABLE(t139))))) AND NOT FIREABLE(t805))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: (A(E(TRUE U FIREABLE(t294)) U AX(FIREABLE(t139))) AND NOT FIREABLE(t805))
lola: processed formula length: 73
lola: 22 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 216816 markings, 558782 edges, 43363 markings/sec, 0 secs
lola: 418028 markings, 1103460 edges, 40242 markings/sec, 5 secs
lola: 610377 markings, 1716784 edges, 38470 markings/sec, 10 secs
lola: 827158 markings, 2313958 edges, 43356 markings/sec, 15 secs
lola: 1045657 markings, 2913208 edges, 43700 markings/sec, 20 secs
lola: 1244902 markings, 3505052 edges, 39849 markings/sec, 25 secs
lola: 1470310 markings, 4056602 edges, 45082 markings/sec, 30 secs
lola: 1645892 markings, 4573411 edges, 35116 markings/sec, 35 secs
lola: 1838697 markings, 5064136 edges, 38561 markings/sec, 40 secs
lola: 2012498 markings, 5638851 edges, 34760 markings/sec, 45 secs
lola: 2180452 markings, 6247143 edges, 33591 markings/sec, 50 secs
lola: 2349718 markings, 6847579 edges, 33853 markings/sec, 55 secs
lola: 2504373 markings, 7432385 edges, 30931 markings/sec, 60 secs
lola: 2703315 markings, 8021502 edges, 39788 markings/sec, 65 secs
lola: 2876591 markings, 8621908 edges, 34655 markings/sec, 70 secs
lola: 3050572 markings, 9222688 edges, 34796 markings/sec, 75 secs
lola: 3223726 markings, 9820398 edges, 34631 markings/sec, 80 secs
lola: 3377558 markings, 10405962 edges, 30766 markings/sec, 85 secs
lola: 3553701 markings, 10975919 edges, 35229 markings/sec, 90 secs
lola: 3731380 markings, 11593076 edges, 35536 markings/sec, 95 secs
lola: 3861554 markings, 12192234 edges, 26035 markings/sec, 100 secs
lola: 4036890 markings, 12785059 edges, 35067 markings/sec, 105 secs
lola: 4176282 markings, 13302562 edges, 27878 markings/sec, 110 secs
lola: 4318439 markings, 13816069 edges, 28431 markings/sec, 115 secs
lola: 4433625 markings, 14342321 edges, 23037 markings/sec, 120 secs
lola: 4549995 markings, 14875440 edges, 23274 markings/sec, 125 secs
lola: 4689339 markings, 15394906 edges, 27869 markings/sec, 130 secs
lola: 4828460 markings, 15914159 edges, 27824 markings/sec, 135 secs
lola: 4955872 markings, 16436171 edges, 25482 markings/sec, 140 secs
lola: 5052999 markings, 16955885 edges, 19425 markings/sec, 145 secs
lola: 5179271 markings, 17457784 edges, 25254 markings/sec, 150 secs
lola: 5285998 markings, 17952435 edges, 21345 markings/sec, 155 secs
lola: 5381308 markings, 18434188 edges, 19062 markings/sec, 160 secs
lola: 5478812 markings, 18923936 edges, 19501 markings/sec, 165 secs
lola: 5585953 markings, 19440900 edges, 21428 markings/sec, 170 secs
lola: 5701191 markings, 19965589 edges, 23048 markings/sec, 175 secs
lola: 5831336 markings, 20467088 edges, 26029 markings/sec, 180 secs
lola: 5965591 markings, 20987303 edges, 26851 markings/sec, 185 secs
lola: 6076226 markings, 21497047 edges, 22127 markings/sec, 190 secs
lola: 6178801 markings, 22026644 edges, 20515 markings/sec, 195 secs
lola: 6294596 markings, 22531195 edges, 23159 markings/sec, 200 secs
lola: 6409958 markings, 23058817 edges, 23072 markings/sec, 205 secs
lola: 6512513 markings, 23556151 edges, 20511 markings/sec, 210 secs
lola: 6620069 markings, 24051594 edges, 21511 markings/sec, 215 secs
lola: 6708198 markings, 24532507 edges, 17626 markings/sec, 220 secs
lola: 6800578 markings, 25021477 edges, 18476 markings/sec, 225 secs
lola: 6906123 markings, 25541314 edges, 21109 markings/sec, 230 secs
lola: 7065657 markings, 26093296 edges, 31907 markings/sec, 235 secs
lola: 7201400 markings, 26567795 edges, 27149 markings/sec, 240 secs
lola: 7351033 markings, 27071961 edges, 29927 markings/sec, 245 secs
lola: 7532744 markings, 27664880 edges, 36342 markings/sec, 250 secs
lola: 7667681 markings, 28205862 edges, 26987 markings/sec, 255 secs
lola: 7761417 markings, 28674952 edges, 18747 markings/sec, 260 secs
lola: 7854912 markings, 29142144 edges, 18699 markings/sec, 265 secs
lola: 8033761 markings, 29640035 edges, 35770 markings/sec, 270 secs
lola: 8163647 markings, 30085119 edges, 25977 markings/sec, 275 secs
lola: 8300969 markings, 30538117 edges, 27464 markings/sec, 280 secs
lola: 8475830 markings, 31113260 edges, 34972 markings/sec, 285 secs
lola: 8659622 markings, 31697021 edges, 36758 markings/sec, 290 secs
lola: 8824538 markings, 32265153 edges, 32983 markings/sec, 295 secs
lola: 8941330 markings, 32750385 edges, 23358 markings/sec, 300 secs
lola: 9025051 markings, 33191179 edges, 16744 markings/sec, 305 secs
lola: 9116914 markings, 33644815 edges, 18373 markings/sec, 310 secs
lola: 9205342 markings, 34097912 edges, 17686 markings/sec, 315 secs
lola: 9371598 markings, 34609776 edges, 33251 markings/sec, 320 secs
lola: 9554781 markings, 35152243 edges, 36637 markings/sec, 325 secs
lola: 9732472 markings, 35687934 edges, 35538 markings/sec, 330 secs
lola: 9852120 markings, 36105701 edges, 23930 markings/sec, 335 secs
lola: 10045639 markings, 36636878 edges, 38704 markings/sec, 340 secs
lola: 10206350 markings, 37153188 edges, 32142 markings/sec, 345 secs
lola: 10369286 markings, 37711569 edges, 32587 markings/sec, 350 secs
lola: 10537186 markings, 38289724 edges, 33580 markings/sec, 355 secs
lola: 10697231 markings, 38855380 edges, 32009 markings/sec, 360 secs
lola: 10853214 markings, 39384272 edges, 31197 markings/sec, 365 secs
lola: 10976764 markings, 39857615 edges, 24710 markings/sec, 370 secs
lola: 11074100 markings, 40321848 edges, 19467 markings/sec, 375 secs
lola: 11169762 markings, 40748680 edges, 19132 markings/sec, 380 secs
lola: 11267728 markings, 41195599 edges, 19593 markings/sec, 385 secs
lola: 11353326 markings, 41639116 edges, 17120 markings/sec, 390 secs
lola: 11448905 markings, 42089923 edges, 19116 markings/sec, 395 secs
lola: 11613292 markings, 42550191 edges, 32877 markings/sec, 400 secs
lola: 11710973 markings, 42929730 edges, 19536 markings/sec, 405 secs
lola: 11884149 markings, 43428140 edges, 34635 markings/sec, 410 secs
lola: 11983662 markings, 43803998 edges, 19903 markings/sec, 415 secs
lola: 12175656 markings, 44323669 edges, 38399 markings/sec, 420 secs
lola: 12374516 markings, 44871671 edges, 39772 markings/sec, 425 secs
lola: 12569997 markings, 45474818 edges, 39096 markings/sec, 430 secs
lola: 12783653 markings, 46071191 edges, 42731 markings/sec, 435 secs
lola: 12999555 markings, 46670492 edges, 43180 markings/sec, 440 secs
lola: 13204649 markings, 47260351 edges, 41019 markings/sec, 445 secs
lola: 13419472 markings, 47816380 edges, 42965 markings/sec, 450 secs
lola: 13607200 markings, 48332793 edges, 37546 markings/sec, 455 secs
lola: 13799001 markings, 48825860 edges, 38360 markings/sec, 460 secs
lola: 13968481 markings, 49382853 edges, 33896 markings/sec, 465 secs
lola: 14130573 markings, 49989000 edges, 32418 markings/sec, 470 secs
lola: 14305545 markings, 50590537 edges, 34994 markings/sec, 475 secs
lola: 14457568 markings, 51178574 edges, 30405 markings/sec, 480 secs
lola: 14652961 markings, 51762520 edges, 39079 markings/sec, 485 secs
lola: 14824660 markings, 52359912 edges, 34340 markings/sec, 490 secs
lola: 15006385 markings, 52962985 edges, 36345 markings/sec, 495 secs
lola: 15183970 markings, 53561456 edges, 35517 markings/sec, 500 secs
lola: 15334148 markings, 54144813 edges, 30036 markings/sec, 505 secs
lola: 15504306 markings, 54703298 edges, 34032 markings/sec, 510 secs
lola: 15680173 markings, 55311547 edges, 35173 markings/sec, 515 secs
lola: 15809032 markings, 55898669 edges, 25772 markings/sec, 520 secs
lola: 15975623 markings, 56479514 edges, 33318 markings/sec, 525 secs
lola: 16118696 markings, 57004681 edges, 28615 markings/sec, 530 secs
lola: 16254753 markings, 57498354 edges, 27211 markings/sec, 535 secs
lola: 16379427 markings, 58007724 edges, 24935 markings/sec, 540 secs
lola: 16486580 markings, 58535191 edges, 21431 markings/sec, 545 secs
lola: 16621531 markings, 59051878 edges, 26990 markings/sec, 550 secs
lola: 16742505 markings, 59549737 edges, 24195 markings/sec, 555 secs
lola: 16889744 markings, 60063873 edges, 29448 markings/sec, 560 secs
lola: 17000833 markings, 60579471 edges, 22218 markings/sec, 565 secs
lola: 17106320 markings, 61074632 edges, 21097 markings/sec, 570 secs
lola: 17214646 markings, 61559501 edges, 21665 markings/sec, 575 secs
lola: 17297589 markings, 61974098 edges, 16589 markings/sec, 580 secs
lola: 17391941 markings, 62447619 edges, 18870 markings/sec, 585 secs
lola: 17502240 markings, 62956550 edges, 22060 markings/sec, 590 secs
lola: 17608411 markings, 63464802 edges, 21234 markings/sec, 595 secs
lola: 17726567 markings, 63970610 edges, 23631 markings/sec, 600 secs
lola: 17852225 markings, 64460779 edges, 25132 markings/sec, 605 secs
lola: 17983611 markings, 64980422 edges, 26277 markings/sec, 610 secs
lola: 18086620 markings, 65486305 edges, 20602 markings/sec, 615 secs
lola: 18189256 markings, 65997082 edges, 20527 markings/sec, 620 secs
lola: 18306983 markings, 66499647 edges, 23545 markings/sec, 625 secs
lola: 18410234 markings, 67010759 edges, 20650 markings/sec, 630 secs
lola: 18516423 markings, 67500178 edges, 21238 markings/sec, 635 secs
lola: 18614455 markings, 67977466 edges, 19606 markings/sec, 640 secs
lola: 18698495 markings, 68436388 edges, 16808 markings/sec, 645 secs
lola: 18792211 markings, 68917963 edges, 18743 markings/sec, 650 secs
lola: 18895647 markings, 69426194 edges, 20687 markings/sec, 655 secs
lola: 19064882 markings, 69973360 edges, 33847 markings/sec, 660 secs
lola: 19189338 markings, 70425172 edges, 24891 markings/sec, 665 secs
lola: 19340375 markings, 70932783 edges, 30207 markings/sec, 670 secs
lola: 19517545 markings, 71513493 edges, 35434 markings/sec, 675 secs
lola: 19645848 markings, 72039496 edges, 25661 markings/sec, 680 secs
lola: 19737840 markings, 72495255 edges, 18398 markings/sec, 685 secs
lola: 19828498 markings, 72950335 edges, 18132 markings/sec, 690 secs
lola: 20004125 markings, 73438410 edges, 35125 markings/sec, 695 secs
lola: 20127188 markings, 73866794 edges, 24613 markings/sec, 700 secs
lola: 20266929 markings, 74315182 edges, 27948 markings/sec, 705 secs
lola: 20431519 markings, 74865231 edges, 32918 markings/sec, 710 secs
lola: 20612387 markings, 75436937 edges, 36174 markings/sec, 715 secs
lola: 20775467 markings, 76006063 edges, 32616 markings/sec, 720 secs
lola: 20897325 markings, 76478914 edges, 24372 markings/sec, 725 secs
lola: 20984482 markings, 76922168 edges, 17431 markings/sec, 730 secs
lola: 21068454 markings, 77343319 edges, 16794 markings/sec, 735 secs
lola: 21151887 markings, 77786640 edges, 16687 markings/sec, 740 secs
lola: 21293784 markings, 78266045 edges, 28379 markings/sec, 745 secs
lola: 21479011 markings, 78794634 edges, 37045 markings/sec, 750 secs
lola: 21656858 markings, 79357112 edges, 35569 markings/sec, 755 secs
lola: 21790753 markings, 79780814 edges, 26779 markings/sec, 760 secs
lola: 21953955 markings, 80272059 edges, 32640 markings/sec, 765 secs
lola: 22115157 markings, 80740084 edges, 32240 markings/sec, 770 secs
lola: 22268908 markings, 81272414 edges, 30750 markings/sec, 775 secs
lola: 22425058 markings, 81821616 edges, 31230 markings/sec, 780 secs
lola: 22591211 markings, 82378799 edges, 33231 markings/sec, 785 secs
lola: 22749995 markings, 82934124 edges, 31757 markings/sec, 790 secs
lola: 22881293 markings, 83404058 edges, 26260 markings/sec, 795 secs
lola: 22992717 markings, 83867404 edges, 22285 markings/sec, 800 secs
lola: 23077960 markings, 84292533 edges, 17049 markings/sec, 805 secs
lola: 23180607 markings, 84724120 edges, 20529 markings/sec, 810 secs
lola: 23272115 markings, 85154912 edges, 18302 markings/sec, 815 secs
lola: 23352660 markings, 85579792 edges, 16109 markings/sec, 820 secs
lola: 23447071 markings, 85998431 edges, 18882 markings/sec, 825 secs
lola: 23616078 markings, 86460582 edges, 33801 markings/sec, 830 secs
lola: 23727717 markings, 86855785 edges, 22328 markings/sec, 835 secs
lola: 23879578 markings, 87311445 edges, 30372 markings/sec, 840 secs
lola: 23969679 markings, 87659329 edges, 18020 markings/sec, 845 secs
lola: 24215050 markings, 88246317 edges, 49074 markings/sec, 850 secs
lola: 24431496 markings, 88834467 edges, 43289 markings/sec, 855 secs
lola: 24618810 markings, 89416903 edges, 37463 markings/sec, 860 secs
lola: 24810821 markings, 89984177 edges, 38402 markings/sec, 865 secs
lola: 25036259 markings, 90492944 edges, 45088 markings/sec, 870 secs
lola: 25238944 markings, 90999695 edges, 40537 markings/sec, 875 secs
lola: 25388316 markings, 91410656 edges, 29874 markings/sec, 880 secs
lola: 25531900 markings, 91858466 edges, 28717 markings/sec, 885 secs
lola: 25739756 markings, 92380950 edges, 41571 markings/sec, 890 secs
lola: 25967256 markings, 92980895 edges, 45500 markings/sec, 895 secs
lola: 26164172 markings, 93571135 edges, 39383 markings/sec, 900 secs
lola: 26359654 markings, 94155455 edges, 39096 markings/sec, 905 secs
lola: 26565863 markings, 94679505 edges, 41242 markings/sec, 910 secs
lola: 26782497 markings, 95179385 edges, 43327 markings/sec, 915 secs
lola: 26962078 markings, 95660064 edges, 35916 markings/sec, 920 secs
lola: 27118140 markings, 96117934 edges, 31212 markings/sec, 925 secs
lola: 27268149 markings, 96568271 edges, 30002 markings/sec, 930 secs
lola: 27477019 markings, 97158207 edges, 41774 markings/sec, 935 secs
lola: 27679489 markings, 97745623 edges, 40494 markings/sec, 940 secs
lola: 27876097 markings, 98336432 edges, 39322 markings/sec, 945 secs
lola: 28053679 markings, 98922726 edges, 35516 markings/sec, 950 secs
lola: 28223081 markings, 99514838 edges, 33880 markings/sec, 955 secs
lola: 28384565 markings, 100102307 edges, 32297 markings/sec, 960 secs
lola: 28550618 markings, 100696667 edges, 33211 markings/sec, 965 secs
lola: 28705604 markings, 101291303 edges, 30997 markings/sec, 970 secs
lola: 28830465 markings, 101785072 edges, 24972 markings/sec, 975 secs
lola: 28995501 markings, 102360406 edges, 33007 markings/sec, 980 secs
lola: 29145779 markings, 102941435 edges, 30056 markings/sec, 985 secs
lola: 29280980 markings, 103526440 edges, 27040 markings/sec, 990 secs
lola: 29411058 markings, 104108870 edges, 26016 markings/sec, 995 secs
lola: 29566526 markings, 104685735 edges, 31094 markings/sec, 1000 secs
lola: 29727239 markings, 105259386 edges, 32143 markings/sec, 1005 secs
lola: 29901450 markings, 105831699 edges, 34842 markings/sec, 1010 secs
lola: 30043022 markings, 106396923 edges, 28314 markings/sec, 1015 secs
lola: 30168164 markings, 106888311 edges, 25028 markings/sec, 1020 secs
lola: 30296949 markings, 107388414 edges, 25757 markings/sec, 1025 secs
lola: 30427769 markings, 107905923 edges, 26164 markings/sec, 1030 secs
lola: 30558673 markings, 108413435 edges, 26181 markings/sec, 1035 secs
lola: 30694765 markings, 108926252 edges, 27218 markings/sec, 1040 secs
lola: 30809433 markings, 109416428 edges, 22934 markings/sec, 1045 secs
lola: 30898782 markings, 109909609 edges, 17870 markings/sec, 1050 secs
lola: 31005221 markings, 110433658 edges, 21288 markings/sec, 1055 secs
lola: 31108035 markings, 110950913 edges, 20563 markings/sec, 1060 secs
lola: 31211989 markings, 111458354 edges, 20791 markings/sec, 1065 secs
lola: 31326379 markings, 111970506 edges, 22878 markings/sec, 1070 secs
lola: 31419854 markings, 112499189 edges, 18695 markings/sec, 1075 secs
lola: 31527203 markings, 112995040 edges, 21470 markings/sec, 1080 secs
lola: 31600554 markings, 113491969 edges, 14670 markings/sec, 1085 secs
lola: 31718564 markings, 113994651 edges, 23602 markings/sec, 1090 secs
lola: 31870484 markings, 114499657 edges, 30384 markings/sec, 1095 secs
lola: 31993795 markings, 114985851 edges, 24662 markings/sec, 1100 secs
lola: 32105037 markings, 115473976 edges, 22248 markings/sec, 1105 secs
lola: 32209144 markings, 115960745 edges, 20821 markings/sec, 1110 secs
lola: 32313178 markings, 116417820 edges, 20807 markings/sec, 1115 secs
lola: 32396932 markings, 116874635 edges, 16751 markings/sec, 1120 secs
lola: 32477175 markings, 117328428 edges, 16049 markings/sec, 1125 secs
lola: 32595077 markings, 117801363 edges, 23580 markings/sec, 1130 secs
lola: 32680422 markings, 118242833 edges, 17069 markings/sec, 1135 secs
lola: 32768243 markings, 118692539 edges, 17564 markings/sec, 1140 secs
lola: 32858155 markings, 119139094 edges, 17982 markings/sec, 1145 secs
lola: 32939460 markings, 119566727 edges, 16261 markings/sec, 1150 secs
lola: 33032999 markings, 120015264 edges, 18708 markings/sec, 1155 secs
lola: 33134257 markings, 120515618 edges, 20252 markings/sec, 1160 secs
lola: 33242558 markings, 121008092 edges, 21660 markings/sec, 1165 secs
lola: 33370921 markings, 121486671 edges, 25673 markings/sec, 1170 secs
lola: 33571044 markings, 122072143 edges, 40025 markings/sec, 1175 secs
lola: 33755879 markings, 122671826 edges, 36967 markings/sec, 1180 secs
lola: 33897624 markings, 123256346 edges, 28349 markings/sec, 1185 secs
lola: 34046902 markings, 123839910 edges, 29856 markings/sec, 1190 secs
lola: 34224312 markings, 124421962 edges, 35482 markings/sec, 1195 secs
lola: 34399274 markings, 125004050 edges, 34992 markings/sec, 1200 secs
lola: 34560676 markings, 125562753 edges, 32280 markings/sec, 1205 secs
lola: 34683381 markings, 126074392 edges, 24541 markings/sec, 1210 secs
lola: 34804542 markings, 126560451 edges, 24232 markings/sec, 1215 secs
lola: 34926632 markings, 127060222 edges, 24418 markings/sec, 1220 secs
lola: 35054475 markings, 127567364 edges, 25569 markings/sec, 1225 secs
lola: 35182054 markings, 128077924 edges, 25516 markings/sec, 1230 secs
lola: 35297862 markings, 128586709 edges, 23162 markings/sec, 1235 secs
lola: 35405181 markings, 129101986 edges, 21464 markings/sec, 1240 secs
lola: 35508812 markings, 129617248 edges, 20726 markings/sec, 1245 secs
lola: 35616615 markings, 130099085 edges, 21561 markings/sec, 1250 secs
lola: 35700774 markings, 130585534 edges, 16832 markings/sec, 1255 secs
lola: 35785156 markings, 131066245 edges, 16876 markings/sec, 1260 secs
lola: 35887800 markings, 131542423 edges, 20529 markings/sec, 1265 secs
lola: 35985448 markings, 131990491 edges, 19530 markings/sec, 1270 secs
lola: 36059939 markings, 132434759 edges, 14898 markings/sec, 1275 secs
lola: 36139040 markings, 132867042 edges, 15820 markings/sec, 1280 secs
lola: 36232392 markings, 133335931 edges, 18670 markings/sec, 1285 secs
lola: 36330458 markings, 133807893 edges, 19613 markings/sec, 1290 secs
lola: 36459091 markings, 134327333 edges, 25727 markings/sec, 1295 secs
lola: 36592522 markings, 134842022 edges, 26686 markings/sec, 1300 secs
lola: 36831635 markings, 135430667 edges, 47823 markings/sec, 1305 secs
lola: 37044318 markings, 136014972 edges, 42537 markings/sec, 1310 secs
lola: 37225110 markings, 136597840 edges, 36158 markings/sec, 1315 secs
lola: 37424668 markings, 137151192 edges, 39912 markings/sec, 1320 secs
lola: 37632009 markings, 137619644 edges, 41468 markings/sec, 1325 secs
lola: 37818451 markings, 138089381 edges, 37288 markings/sec, 1330 secs
lola: 37981839 markings, 138538628 edges, 32678 markings/sec, 1335 secs
lola: 38116667 markings, 138956574 edges, 26966 markings/sec, 1340 secs
lola: 38282881 markings, 139446127 edges, 33243 markings/sec, 1345 secs
lola: 38478980 markings, 140025510 edges, 39220 markings/sec, 1350 secs
lola: 38653984 markings, 140595706 edges, 35001 markings/sec, 1355 secs
lola: 38828466 markings, 141184138 edges, 34896 markings/sec, 1360 secs
lola: 39005822 markings, 141784194 edges, 35471 markings/sec, 1365 secs
lola: 39199261 markings, 142378144 edges, 38688 markings/sec, 1370 secs
lola: 39368225 markings, 142957065 edges, 33793 markings/sec, 1375 secs
lola: 39534377 markings, 143545265 edges, 33230 markings/sec, 1380 secs
lola: 39653647 markings, 144020918 edges, 23854 markings/sec, 1385 secs
lola: 39815173 markings, 144623736 edges, 32305 markings/sec, 1390 secs
lola: 39958632 markings, 145212040 edges, 28692 markings/sec, 1395 secs
lola: 40079969 markings, 145795643 edges, 24267 markings/sec, 1400 secs
lola: 40265492 markings, 146373610 edges, 37105 markings/sec, 1405 secs
lola: 40426924 markings, 146956104 edges, 32286 markings/sec, 1410 secs
lola: 40587875 markings, 147529694 edges, 32190 markings/sec, 1415 secs
lola: 40706848 markings, 148087559 edges, 23795 markings/sec, 1420 secs
lola: 40814414 markings, 148644650 edges, 21513 markings/sec, 1425 secs
lola: 40960964 markings, 149220033 edges, 29310 markings/sec, 1430 secs
lola: 41076443 markings, 149785385 edges, 23096 markings/sec, 1435 secs
lola: 41221257 markings, 150352631 edges, 28963 markings/sec, 1440 secs
lola: 41361070 markings, 150915527 edges, 27963 markings/sec, 1445 secs
lola: 41521722 markings, 151479986 edges, 32130 markings/sec, 1450 secs
lola: 41675952 markings, 152050530 edges, 30846 markings/sec, 1455 secs
lola: 41803257 markings, 152608891 edges, 25461 markings/sec, 1460 secs
lola: 41982509 markings, 153102733 edges, 35850 markings/sec, 1465 secs
lola: 42177056 markings, 153602763 edges, 38909 markings/sec, 1470 secs
lola: 42358775 markings, 154109186 edges, 36344 markings/sec, 1475 secs
lola: 42553697 markings, 154582100 edges, 38984 markings/sec, 1480 secs
lola: 42741346 markings, 155068548 edges, 37530 markings/sec, 1485 secs
lola: 42901685 markings, 155530451 edges, 32068 markings/sec, 1490 secs
lola: 43060785 markings, 156027191 edges, 31820 markings/sec, 1495 secs
lola: 43220750 markings, 156513347 edges, 31993 markings/sec, 1500 secs
lola: 43385996 markings, 157017343 edges, 33049 markings/sec, 1505 secs
lola: 43558792 markings, 157504025 edges, 34559 markings/sec, 1510 secs
lola: 43716386 markings, 157982124 edges, 31519 markings/sec, 1515 secs
lola: 43849156 markings, 158470147 edges, 26554 markings/sec, 1520 secs
lola: 43975705 markings, 158955296 edges, 25310 markings/sec, 1525 secs
lola: 44104502 markings, 159462714 edges, 25759 markings/sec, 1530 secs
lola: 44231498 markings, 159962844 edges, 25399 markings/sec, 1535 secs
lola: 44377153 markings, 160445173 edges, 29131 markings/sec, 1540 secs
lola: 44537695 markings, 160914086 edges, 32108 markings/sec, 1545 secs
lola: 44668805 markings, 161377753 edges, 26222 markings/sec, 1550 secs
lola: 44796408 markings, 161831040 edges, 25521 markings/sec, 1555 secs
lola: 44923517 markings, 162282787 edges, 25422 markings/sec, 1560 secs
lola: 45058375 markings, 162726952 edges, 26972 markings/sec, 1565 secs
lola: 45189053 markings, 163157120 edges, 26136 markings/sec, 1570 secs
lola: 45346404 markings, 163646413 edges, 31470 markings/sec, 1575 secs
lola: 45485580 markings, 164120504 edges, 27835 markings/sec, 1580 secs
lola: 45644909 markings, 164633049 edges, 31866 markings/sec, 1585 secs
lola: 45833693 markings, 165215721 edges, 37757 markings/sec, 1590 secs
lola: 46019263 markings, 165809004 edges, 37114 markings/sec, 1595 secs
lola: 46213890 markings, 166402819 edges, 38925 markings/sec, 1600 secs
lola: 46397482 markings, 167001415 edges, 36718 markings/sec, 1605 secs
lola: 46565581 markings, 167598351 edges, 33620 markings/sec, 1610 secs
lola: 46753746 markings, 168189144 edges, 37633 markings/sec, 1615 secs
lola: 46948150 markings, 168774452 edges, 38881 markings/sec, 1620 secs
lola: 47096654 markings, 169372904 edges, 29701 markings/sec, 1625 secs
lola: 47249802 markings, 169949864 edges, 30630 markings/sec, 1630 secs
lola: 47383971 markings, 170513182 edges, 26834 markings/sec, 1635 secs
lola: 47578541 markings, 171115588 edges, 38914 markings/sec, 1640 secs
lola: 47727075 markings, 171705079 edges, 29707 markings/sec, 1645 secs
lola: 47910680 markings, 172292776 edges, 36721 markings/sec, 1650 secs
lola: 48087877 markings, 172889379 edges, 35439 markings/sec, 1655 secs
lola: 48269103 markings, 173481448 edges, 36245 markings/sec, 1660 secs
lola: 48426916 markings, 174069125 edges, 31563 markings/sec, 1665 secs
lola: 48581155 markings, 174651265 edges, 30848 markings/sec, 1670 secs
lola: 48731857 markings, 175227798 edges, 30140 markings/sec, 1675 secs
lola: 48906015 markings, 175810054 edges, 34832 markings/sec, 1680 secs
lola: 49085210 markings, 176388498 edges, 35839 markings/sec, 1685 secs
lola: 49225814 markings, 176953425 edges, 28121 markings/sec, 1690 secs
lola: 49379457 markings, 177527412 edges, 30729 markings/sec, 1695 secs
lola: 49526542 markings, 178103609 edges, 29417 markings/sec, 1700 secs
lola: 49642105 markings, 178668402 edges, 23113 markings/sec, 1705 secs
lola: 49785726 markings, 179247999 edges, 28724 markings/sec, 1710 secs
lola: 49937170 markings, 179837067 edges, 30289 markings/sec, 1715 secs
lola: 50055754 markings, 180414662 edges, 23717 markings/sec, 1720 secs
lola: 50216799 markings, 181004996 edges, 32209 markings/sec, 1725 secs
lola: 50381832 markings, 181590701 edges, 33007 markings/sec, 1730 secs
lola: 50528821 markings, 182175837 edges, 29398 markings/sec, 1735 secs
lola: 50672968 markings, 182773553 edges, 28829 markings/sec, 1740 secs
lola: 50788429 markings, 183342614 edges, 23092 markings/sec, 1745 secs
lola: 50885341 markings, 183875952 edges, 19382 markings/sec, 1750 secs
lola: 51019653 markings, 184462960 edges, 26862 markings/sec, 1755 secs
lola: 51171413 markings, 185052235 edges, 30352 markings/sec, 1760 secs
lola: 51290457 markings, 185631684 edges, 23809 markings/sec, 1765 secs
lola: 51422177 markings, 186163872 edges, 26344 markings/sec, 1770 secs
lola: 51600334 markings, 186750914 edges, 35631 markings/sec, 1775 secs
lola: 51747253 markings, 187329236 edges, 29384 markings/sec, 1780 secs
lola: 51880301 markings, 187907399 edges, 26610 markings/sec, 1785 secs
lola: 52042559 markings, 188512899 edges, 32452 markings/sec, 1790 secs
lola: 52175301 markings, 189076250 edges, 26548 markings/sec, 1795 secs
lola: 52330461 markings, 189680611 edges, 31032 markings/sec, 1800 secs
lola: 52464697 markings, 190279285 edges, 26847 markings/sec, 1805 secs
lola: 52566304 markings, 190860353 edges, 20321 markings/sec, 1810 secs
lola: 52692553 markings, 191448500 edges, 25250 markings/sec, 1815 secs
lola: 52812305 markings, 192032948 edges, 23950 markings/sec, 1820 secs
lola: 52915803 markings, 192623647 edges, 20700 markings/sec, 1825 secs
lola: 53069668 markings, 193211256 edges, 30773 markings/sec, 1830 secs
lola: 53217140 markings, 193792189 edges, 29494 markings/sec, 1835 secs
lola: 53315337 markings, 194355972 edges, 19639 markings/sec, 1840 secs
lola: 53467618 markings, 194934607 edges, 30456 markings/sec, 1845 secs
lola: 53623493 markings, 195506114 edges, 31175 markings/sec, 1850 secs
lola: 53760726 markings, 196083422 edges, 27447 markings/sec, 1855 secs
lola: 53898055 markings, 196658859 edges, 27466 markings/sec, 1860 secs
lola: 54024399 markings, 197226156 edges, 25269 markings/sec, 1865 secs
lola: 54195631 markings, 197802921 edges, 34246 markings/sec, 1870 secs
lola: 54368089 markings, 198378162 edges, 34492 markings/sec, 1875 secs
lola: 54543598 markings, 198957712 edges, 35102 markings/sec, 1880 secs
lola: 54717613 markings, 199540675 edges, 34803 markings/sec, 1885 secs
lola: 54864470 markings, 200111338 edges, 29371 markings/sec, 1890 secs
lola: 55037755 markings, 200683330 edges, 34657 markings/sec, 1895 secs
lola: 55186331 markings, 201247666 edges, 29715 markings/sec, 1900 secs
lola: 55324694 markings, 201816321 edges, 27673 markings/sec, 1905 secs
lola: 55452690 markings, 202390096 edges, 25599 markings/sec, 1910 secs
lola: 55578336 markings, 202956338 edges, 25129 markings/sec, 1915 secs
lola: 55727167 markings, 203531027 edges, 29766 markings/sec, 1920 secs
lola: 55841491 markings, 204069879 edges, 22865 markings/sec, 1925 secs
lola: 56019453 markings, 204568657 edges, 35592 markings/sec, 1930 secs
lola: 56201795 markings, 205109851 edges, 36468 markings/sec, 1935 secs
lola: 56417821 markings, 205661362 edges, 43205 markings/sec, 1940 secs
lola: 56606878 markings, 206204738 edges, 37811 markings/sec, 1945 secs
lola: 56781636 markings, 206777289 edges, 34952 markings/sec, 1950 secs
lola: 56969332 markings, 207332220 edges, 37539 markings/sec, 1955 secs
lola: 57167630 markings, 207922393 edges, 39660 markings/sec, 1960 secs
lola: 57357076 markings, 208468541 edges, 37889 markings/sec, 1965 secs
lola: 57554670 markings, 209032512 edges, 39519 markings/sec, 1970 secs
lola: 57764953 markings, 209609085 edges, 42057 markings/sec, 1975 secs
lola: 57960360 markings, 210183601 edges, 39081 markings/sec, 1980 secs
lola: 58199593 markings, 210768375 edges, 47847 markings/sec, 1985 secs
lola: 58386729 markings, 211315395 edges, 37427 markings/sec, 1990 secs
lola: 58562129 markings, 211832868 edges, 35080 markings/sec, 1995 secs
lola: 58680445 markings, 212350357 edges, 23663 markings/sec, 2000 secs
lola: 58811024 markings, 212904369 edges, 26116 markings/sec, 2005 secs
lola: 58973421 markings, 213437489 edges, 32479 markings/sec, 2010 secs
lola: 59097718 markings, 213962938 edges, 24859 markings/sec, 2015 secs
lola: 59227666 markings, 214511358 edges, 25990 markings/sec, 2020 secs
lola: 59444051 markings, 215082687 edges, 43277 markings/sec, 2025 secs
lola: 59664800 markings, 215660034 edges, 44150 markings/sec, 2030 secs
lola: 59849172 markings, 216248366 edges, 36874 markings/sec, 2035 secs
lola: 60054436 markings, 216828008 edges, 41053 markings/sec, 2040 secs
lola: 60244330 markings, 217420664 edges, 37979 markings/sec, 2045 secs
lola: 60443851 markings, 217996899 edges, 39904 markings/sec, 2050 secs
lola: 60710576 markings, 218564283 edges, 53345 markings/sec, 2055 secs
lola: 60933508 markings, 219124889 edges, 44586 markings/sec, 2060 secs
lola: 61059010 markings, 219689207 edges, 25100 markings/sec, 2065 secs
lola: 61199305 markings, 220261759 edges, 28059 markings/sec, 2070 secs
lola: 61372656 markings, 220840116 edges, 34670 markings/sec, 2075 secs
lola: 61521005 markings, 221416061 edges, 29670 markings/sec, 2080 secs
lola: 61676113 markings, 221994062 edges, 31022 markings/sec, 2085 secs
lola: 61845990 markings, 222572030 edges, 33975 markings/sec, 2090 secs
lola: 62027970 markings, 223152324 edges, 36396 markings/sec, 2095 secs
lola: 62199600 markings, 223726472 edges, 34326 markings/sec, 2100 secs
lola: 62395042 markings, 224304030 edges, 39088 markings/sec, 2105 secs
lola: 62534192 markings, 224873318 edges, 27830 markings/sec, 2110 secs
lola: 62754688 markings, 225444005 edges, 44099 markings/sec, 2115 secs
lola: 62970736 markings, 226021579 edges, 43210 markings/sec, 2120 secs
lola: 63205945 markings, 226604437 edges, 47042 markings/sec, 2125 secs
lola: 63432282 markings, 227186800 edges, 45267 markings/sec, 2130 secs
lola: 63650045 markings, 227765105 edges, 43553 markings/sec, 2135 secs
lola: 63823389 markings, 228339886 edges, 34669 markings/sec, 2140 secs
lola: 63993487 markings, 228893359 edges, 34020 markings/sec, 2145 secs
lola: 64158033 markings, 229446096 edges, 32909 markings/sec, 2150 secs
lola: 64328667 markings, 230017445 edges, 34127 markings/sec, 2155 secs
lola: 64481375 markings, 230562659 edges, 30542 markings/sec, 2160 secs
lola: 64646970 markings, 231116829 edges, 33119 markings/sec, 2165 secs
lola: 64816915 markings, 231668844 edges, 33989 markings/sec, 2170 secs
lola: 64991646 markings, 232212338 edges, 34946 markings/sec, 2175 secs
lola: 65149494 markings, 232762558 edges, 31570 markings/sec, 2180 secs
lola: 65328139 markings, 233330254 edges, 35729 markings/sec, 2185 secs
lola: 65504192 markings, 233893275 edges, 35211 markings/sec, 2190 secs
lola: 65684003 markings, 234449694 edges, 35962 markings/sec, 2195 secs
lola: 65867129 markings, 235013548 edges, 36625 markings/sec, 2200 secs
lola: 66062752 markings, 235589179 edges, 39125 markings/sec, 2205 secs
lola: 66260356 markings, 236166231 edges, 39521 markings/sec, 2210 secs
lola: 66450653 markings, 236746297 edges, 38059 markings/sec, 2215 secs
lola: 66646309 markings, 237315196 edges, 39131 markings/sec, 2220 secs
lola: 66843105 markings, 237832094 edges, 39359 markings/sec, 2225 secs
lola: 67036028 markings, 238387424 edges, 38585 markings/sec, 2230 secs
lola: 67211366 markings, 238939934 edges, 35068 markings/sec, 2235 secs
lola: 67378548 markings, 239505431 edges, 33436 markings/sec, 2240 secs
lola: 67542073 markings, 240074802 edges, 32705 markings/sec, 2245 secs
lola: 67740455 markings, 240642523 edges, 39676 markings/sec, 2250 secs
lola: 67937591 markings, 241212519 edges, 39427 markings/sec, 2255 secs
lola: 68135872 markings, 241798171 edges, 39656 markings/sec, 2260 secs
lola: 68275939 markings, 242362092 edges, 28013 markings/sec, 2265 secs
lola: 68425903 markings, 242920224 edges, 29993 markings/sec, 2270 secs
lola: 68575954 markings, 243473953 edges, 30010 markings/sec, 2275 secs
lola: 68740220 markings, 244036345 edges, 32853 markings/sec, 2280 secs
lola: 68881185 markings, 244577166 edges, 28193 markings/sec, 2285 secs
lola: 69000627 markings, 245110263 edges, 23888 markings/sec, 2290 secs
lola: 69146084 markings, 245668284 edges, 29091 markings/sec, 2295 secs
lola: 69322031 markings, 246231085 edges, 35189 markings/sec, 2300 secs
lola: 69511689 markings, 246801306 edges, 37932 markings/sec, 2305 secs
lola: 69671535 markings, 247362557 edges, 31969 markings/sec, 2310 secs
lola: 69809108 markings, 247898692 edges, 27515 markings/sec, 2315 secs
lola: 69953374 markings, 248450010 edges, 28853 markings/sec, 2320 secs
lola: 70129713 markings, 249013667 edges, 35268 markings/sec, 2325 secs
lola: 70306065 markings, 249598372 edges, 35270 markings/sec, 2330 secs
lola: 70473130 markings, 250157157 edges, 33413 markings/sec, 2335 secs
lola: 70626191 markings, 250705306 edges, 30612 markings/sec, 2340 secs
lola: 70784140 markings, 251252266 edges, 31590 markings/sec, 2345 secs
lola: 70939005 markings, 251811938 edges, 30973 markings/sec, 2350 secs
lola: 71077188 markings, 252354735 edges, 27637 markings/sec, 2355 secs
lola: 71227923 markings, 252917520 edges, 30147 markings/sec, 2360 secs
lola: 71370553 markings, 253479190 edges, 28526 markings/sec, 2365 secs
lola: 71503619 markings, 254017331 edges, 26613 markings/sec, 2370 secs
lola: 71624514 markings, 254566002 edges, 24179 markings/sec, 2375 secs
lola: 71743528 markings, 255075796 edges, 23803 markings/sec, 2380 secs
lola: 71878305 markings, 255601185 edges, 26955 markings/sec, 2385 secs
lola: 72037671 markings, 256154824 edges, 31873 markings/sec, 2390 secs
lola: 72178944 markings, 256703787 edges, 28255 markings/sec, 2395 secs
lola: 72345238 markings, 257263648 edges, 33259 markings/sec, 2400 secs
lola: 72505636 markings, 257817262 edges, 32080 markings/sec, 2405 secs
lola: 72662962 markings, 258382785 edges, 31465 markings/sec, 2410 secs
lola: 72795250 markings, 258941143 edges, 26458 markings/sec, 2415 secs
lola: 72913318 markings, 259497100 edges, 23614 markings/sec, 2420 secs
lola: 73073803 markings, 260063709 edges, 32097 markings/sec, 2425 secs
lola: 73222650 markings, 260633629 edges, 29769 markings/sec, 2430 secs
lola: 73370853 markings, 261206588 edges, 29641 markings/sec, 2435 secs
lola: 73550654 markings, 261797604 edges, 35960 markings/sec, 2440 secs
lola: 73722114 markings, 262380369 edges, 34292 markings/sec, 2445 secs
lola: 73876903 markings, 262950667 edges, 30958 markings/sec, 2450 secs
lola: 74001501 markings, 263497012 edges, 24920 markings/sec, 2455 secs
lola: 74127277 markings, 264033542 edges, 25155 markings/sec, 2460 secs
lola: 74246586 markings, 264552835 edges, 23862 markings/sec, 2465 secs
lola: 74346659 markings, 265072339 edges, 20015 markings/sec, 2470 secs
lola: 74411709 markings, 265565853 edges, 13010 markings/sec, 2475 secs
lola: 74543255 markings, 266125977 edges, 26309 markings/sec, 2480 secs
lola: 74660866 markings, 266673581 edges, 23522 markings/sec, 2485 secs
lola: 74775473 markings, 267203218 edges, 22921 markings/sec, 2490 secs
lola: 74876814 markings, 267740215 edges, 20268 markings/sec, 2495 secs
lola: 74983203 markings, 268274268 edges, 21278 markings/sec, 2500 secs
lola: 75084744 markings, 268795333 edges, 20308 markings/sec, 2505 secs
lola: 75185177 markings, 269306300 edges, 20087 markings/sec, 2510 secs
lola: 75331284 markings, 269841563 edges, 29221 markings/sec, 2515 secs
lola: 75517934 markings, 270421301 edges, 37330 markings/sec, 2520 secs
lola: 75769150 markings, 270991355 edges, 50243 markings/sec, 2525 secs
lola: 75950566 markings, 271551361 edges, 36283 markings/sec, 2530 secs
lola: 76096926 markings, 272115297 edges, 29272 markings/sec, 2535 secs
lola: 76275178 markings, 272675207 edges, 35650 markings/sec, 2540 secs
lola: 76458252 markings, 273221865 edges, 36615 markings/sec, 2545 secs
lola: 76666394 markings, 273756198 edges, 41628 markings/sec, 2550 secs
lola: 76890289 markings, 274327338 edges, 44779 markings/sec, 2555 secs
lola: 77063645 markings, 274882538 edges, 34671 markings/sec, 2560 secs
lola: 77177849 markings, 275414216 edges, 22841 markings/sec, 2565 secs
lola: 77358021 markings, 275970831 edges, 36034 markings/sec, 2570 secs
lola: 77535355 markings, 276530966 edges, 35467 markings/sec, 2575 secs
lola: 77699919 markings, 277087164 edges, 32913 markings/sec, 2580 secs
lola: 77853627 markings, 277638444 edges, 30742 markings/sec, 2585 secs
lola: 78078829 markings, 278205017 edges, 45040 markings/sec, 2590 secs
lola: 78222037 markings, 278759207 edges, 28642 markings/sec, 2595 secs
lola: 78357564 markings, 279297610 edges, 27105 markings/sec, 2600 secs
lola: 78501130 markings, 279863590 edges, 28713 markings/sec, 2605 secs
lola: 78614418 markings, 280415524 edges, 22658 markings/sec, 2610 secs
lola: 78746932 markings, 280964680 edges, 26503 markings/sec, 2615 secs
lola: 78900023 markings, 281531347 edges, 30618 markings/sec, 2620 secs
lola: 79072986 markings, 282089786 edges, 34593 markings/sec, 2625 secs
lola: 79243756 markings, 282650077 edges, 34154 markings/sec, 2630 secs
lola: 79411194 markings, 283198698 edges, 33488 markings/sec, 2635 secs
lola: 79600275 markings, 283743205 edges, 37816 markings/sec, 2640 secs
lola: 79798054 markings, 284295999 edges, 39556 markings/sec, 2645 secs
lola: 79984768 markings, 284850267 edges, 37343 markings/sec, 2650 secs
lola: 80126192 markings, 285389711 edges, 28285 markings/sec, 2655 secs
lola: 80290545 markings, 285937476 edges, 32871 markings/sec, 2660 secs
lola: 80449973 markings, 286483408 edges, 31886 markings/sec, 2665 secs
lola: 80608933 markings, 287032493 edges, 31792 markings/sec, 2670 secs
lola: 80739837 markings, 287577344 edges, 26181 markings/sec, 2675 secs
lola: 80900862 markings, 288126601 edges, 32205 markings/sec, 2680 secs
lola: 81058858 markings, 288675486 edges, 31599 markings/sec, 2685 secs
lola: 81184103 markings, 289210515 edges, 25049 markings/sec, 2690 secs
lola: 81309296 markings, 289753593 edges, 25039 markings/sec, 2695 secs
lola: 81424753 markings, 290273856 edges, 23091 markings/sec, 2700 secs
lola: 81588863 markings, 290821832 edges, 32822 markings/sec, 2705 secs
lola: 81709090 markings, 291354995 edges, 24045 markings/sec, 2710 secs
lola: 81841547 markings, 291894982 edges, 26491 markings/sec, 2715 secs
lola: 81941619 markings, 292421829 edges, 20014 markings/sec, 2720 secs
lola: 82043218 markings, 292963242 edges, 20320 markings/sec, 2725 secs
lola: 82135481 markings, 293465766 edges, 18453 markings/sec, 2730 secs
lola: 82316113 markings, 294031737 edges, 36126 markings/sec, 2735 secs
lola: 82435806 markings, 294573165 edges, 23939 markings/sec, 2740 secs
lola: 82592742 markings, 295132110 edges, 31387 markings/sec, 2745 secs
lola: 82725183 markings, 295684207 edges, 26488 markings/sec, 2750 secs
lola: 82834757 markings, 296210697 edges, 21915 markings/sec, 2755 secs
lola: 82936994 markings, 296718623 edges, 20447 markings/sec, 2760 secs
lola: 83070657 markings, 297260324 edges, 26733 markings/sec, 2765 secs
lola: 83273402 markings, 297822273 edges, 40549 markings/sec, 2770 secs
lola: 83446764 markings, 298377296 edges, 34672 markings/sec, 2775 secs
lola: 83628545 markings, 298930567 edges, 36356 markings/sec, 2780 secs
lola: 83761599 markings, 299478507 edges, 26611 markings/sec, 2785 secs
lola: 83900187 markings, 300030051 edges, 27718 markings/sec, 2790 secs
lola: 84031640 markings, 300566501 edges, 26291 markings/sec, 2795 secs
lola: 84195147 markings, 301114168 edges, 32701 markings/sec, 2800 secs
lola: 84354568 markings, 301651146 edges, 31884 markings/sec, 2805 secs
lola: 84439367 markings, 302154570 edges, 16960 markings/sec, 2810 secs
lola: 84579466 markings, 302689316 edges, 28020 markings/sec, 2815 secs
lola: 84722688 markings, 303236263 edges, 28644 markings/sec, 2820 secs
lola: 84870563 markings, 303780668 edges, 29575 markings/sec, 2825 secs
lola: 85007391 markings, 304323776 edges, 27366 markings/sec, 2830 secs
lola: 85153345 markings, 304874709 edges, 29191 markings/sec, 2835 secs
lola: 85300526 markings, 305427563 edges, 29436 markings/sec, 2840 secs
lola: 85416895 markings, 305955223 edges, 23274 markings/sec, 2845 secs
lola: 85508616 markings, 306470470 edges, 18344 markings/sec, 2850 secs
lola: 85688424 markings, 307022071 edges, 35962 markings/sec, 2855 secs
lola: 85905725 markings, 307581060 edges, 43460 markings/sec, 2860 secs
lola: 86114026 markings, 308138183 edges, 41660 markings/sec, 2865 secs
lola: 86283477 markings, 308714614 edges, 33890 markings/sec, 2870 secs
lola: 86474478 markings, 309275954 edges, 38200 markings/sec, 2875 secs
lola: 86647223 markings, 309822925 edges, 34549 markings/sec, 2880 secs
lola: 86838497 markings, 310375913 edges, 38255 markings/sec, 2885 secs
lola: 86970636 markings, 310909488 edges, 26428 markings/sec, 2890 secs
lola: 87102435 markings, 311459601 edges, 26360 markings/sec, 2895 secs
lola: 87223887 markings, 312002980 edges, 24290 markings/sec, 2900 secs
lola: 87391585 markings, 312555667 edges, 33540 markings/sec, 2905 secs
lola: 87569567 markings, 313111304 edges, 35596 markings/sec, 2910 secs
lola: 87739595 markings, 313667044 edges, 34006 markings/sec, 2915 secs
lola: 87903269 markings, 314219790 edges, 32735 markings/sec, 2920 secs
lola: 88080597 markings, 314775405 edges, 35466 markings/sec, 2925 secs
lola: 88254615 markings, 315321992 edges, 34804 markings/sec, 2930 secs
lola: 88377645 markings, 315867113 edges, 24606 markings/sec, 2935 secs
lola: 88547520 markings, 316413911 edges, 33975 markings/sec, 2940 secs
lola: 88669717 markings, 316951027 edges, 24439 markings/sec, 2945 secs
lola: 88793312 markings, 317493409 edges, 24719 markings/sec, 2950 secs
lola: 88898065 markings, 318026009 edges, 20951 markings/sec, 2955 secs
lola: 89019877 markings, 318559893 edges, 24362 markings/sec, 2960 secs
lola: 89176895 markings, 319109377 edges, 31404 markings/sec, 2965 secs
lola: 89283757 markings, 319626301 edges, 21372 markings/sec, 2970 secs
lola: 89391264 markings, 320127050 edges, 21501 markings/sec, 2975 secs
lola: 89524937 markings, 320642318 edges, 26735 markings/sec, 2980 secs
lola: 89694936 markings, 321130304 edges, 34000 markings/sec, 2985 secs
lola: 89892523 markings, 321604846 edges, 39517 markings/sec, 2990 secs
lola: 90066236 markings, 322076177 edges, 34743 markings/sec, 2995 secs
lola: 90261211 markings, 322547218 edges, 38995 markings/sec, 3000 secs
lola: 90437126 markings, 323002436 edges, 35183 markings/sec, 3005 secs
lola: 90656394 markings, 323493647 edges, 43854 markings/sec, 3010 secs
lola: 90809651 markings, 323962878 edges, 30651 markings/sec, 3015 secs
lola: 91013764 markings, 324437479 edges, 40823 markings/sec, 3020 secs
lola: 91196655 markings, 324905534 edges, 36578 markings/sec, 3025 secs
lola: 91370898 markings, 325366060 edges, 34849 markings/sec, 3030 secs
lola: 91567850 markings, 325831204 edges, 39390 markings/sec, 3035 secs
lola: 91767903 markings, 326336490 edges, 40011 markings/sec, 3040 secs
lola: 91986546 markings, 326839093 edges, 43729 markings/sec, 3045 secs
lola: 92195814 markings, 327342713 edges, 41854 markings/sec, 3050 secs
lola: 92412741 markings, 327839875 edges, 43385 markings/sec, 3055 secs
lola: 92588656 markings, 328332693 edges, 35183 markings/sec, 3060 secs
lola: 92797757 markings, 328827823 edges, 41820 markings/sec, 3065 secs
lola: 92963400 markings, 329316002 edges, 33129 markings/sec, 3070 secs
lola: 93184923 markings, 329811622 edges, 44305 markings/sec, 3075 secs
lola: 93338825 markings, 330290385 edges, 30780 markings/sec, 3080 secs
lola: 93459116 markings, 330787936 edges, 24058 markings/sec, 3085 secs
lola: 93570623 markings, 331280137 edges, 22301 markings/sec, 3090 secs
lola: 93664279 markings, 331775647 edges, 18731 markings/sec, 3095 secs
lola: 93775862 markings, 332275158 edges, 22317 markings/sec, 3100 secs
lola: 93882312 markings, 332735391 edges, 21290 markings/sec, 3105 secs
lola: 93955576 markings, 333193376 edges, 14653 markings/sec, 3110 secs
lola: 94042183 markings, 333659603 edges, 17321 markings/sec, 3115 secs
lola: 94156198 markings, 334151700 edges, 22803 markings/sec, 3120 secs
lola: 94251854 markings, 334629561 edges, 19131 markings/sec, 3125 secs
lola: 94343595 markings, 335118303 edges, 18348 markings/sec, 3130 secs
lola: 94437972 markings, 335553800 edges, 18875 markings/sec, 3135 secs
lola: 94501193 markings, 336008491 edges, 12644 markings/sec, 3140 secs
lola: 94627866 markings, 336446877 edges, 25335 markings/sec, 3145 secs
lola: 94793752 markings, 336877233 edges, 33177 markings/sec, 3150 secs
lola: 94965616 markings, 337347586 edges, 34373 markings/sec, 3155 secs
lola: 95103829 markings, 337811946 edges, 27643 markings/sec, 3160 secs
lola: 95234480 markings, 338301084 edges, 26130 markings/sec, 3165 secs
lola: 95338518 markings, 338762266 edges, 20808 markings/sec, 3170 secs
lola: 95414221 markings, 339208433 edges, 15141 markings/sec, 3175 secs
lola: 95503245 markings, 339679592 edges, 17805 markings/sec, 3180 secs
lola: 95590030 markings, 340157512 edges, 17357 markings/sec, 3185 secs
lola: 95740280 markings, 340645361 edges, 30050 markings/sec, 3190 secs
lola: 95967296 markings, 341157032 edges, 45403 markings/sec, 3195 secs
lola: 96190551 markings, 341666136 edges, 44651 markings/sec, 3200 secs
lola: 96403776 markings, 342174889 edges, 42645 markings/sec, 3205 secs
lola: 96619702 markings, 342684426 edges, 43185 markings/sec, 3210 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown no yes yes no yes yes yes no no no no yes unknown no
lola:
preliminary result: no unknown no yes yes no yes yes yes no no no no yes unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no yes yes no yes yes yes no no no no yes unknown no
lola: memory consumption: 9065516 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no yes yes no yes yes yes no no no no yes unknown no
lola: memory consumption: 9065748 KB
lola: time consumption: 3571 seconds

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="CloudDeployment-PT-3b"
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/CloudDeployment-PT-3b.tgz
mv CloudDeployment-PT-3b 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 CloudDeployment-PT-3b, 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 r040-smll-152646357400214"
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 ;