Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 700K
-rw-r--r-- 1 mcc users 3.1K Apr 8 15:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 8 15:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 7 18:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 6 20:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 6 04:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 6 04:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 525K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1591144756054

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 00:39:18] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 00:39:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 00:39:19] [INFO ] Load time of PNML (sax parser for PT used): 209 ms
[2020-06-03 00:39:19] [INFO ] Transformed 1571 places.
[2020-06-03 00:39:19] [INFO ] Transformed 2173 transitions.
[2020-06-03 00:39:19] [INFO ] Found NUPN structural information;
[2020-06-03 00:39:19] [INFO ] Parsed PT model containing 1571 places and 2173 transitions in 318 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 99 ms.
Finished random walk after 29340 steps, including 46 resets, run visited all 18 properties in 150 ms. (steps per millisecond=195 )
[2020-06-03 00:39:19] [INFO ] Initial state reduction rules for CTL removed 5 formulas.
[2020-06-03 00:39:19] [INFO ] Flatten gal took : 197 ms
[2020-06-03 00:39:19] [INFO ] Initial state reduction rules for CTL removed 5 formulas.
[2020-06-03 00:39:19] [INFO ] Flatten gal took : 96 ms
FORMULA NoC3x3-PT-5B-CTLCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NoC3x3-PT-5B-CTLCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NoC3x3-PT-5B-CTLCardinality-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NoC3x3-PT-5B-CTLCardinality-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NoC3x3-PT-5B-CTLCardinality-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-03 00:39:19] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 3 ms.
[2020-06-03 00:39:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 26 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ NoC3x3-PT-5B @ 3570 seconds

FORMULA NoC3x3-PT-5B-CTLCardinality-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-5B-CTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-5B-CTLCardinality-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-5B-CTLCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-5B-CTLCardinality-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-5B-CTLCardinality-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-5B-CTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-5B-CTLCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-5B-CTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ NoC3x3-PT-5B

{
"exit":
{
"memory": 8213992,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 1,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "AX(EF((((1 <= p790)) AND ((p307 <= 0)))))",
"processed_size": 41,
"rewrites": 18
},
"net":
{
"conflict_clusters": 1052,
"singleton_clusters": 0
},
"result":
{
"preliminary_value": "no yes yes yes no unknown no no yes no unknown "
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 3744/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1571
lola: finding significant places
lola: 1571 places, 2173 transitions, 1505 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLCardinality.xml
lola: LP says that atomic proposition is always true: (p1301 <= 1)
lola: LP says that atomic proposition is always true: (p1278 <= 1)
lola: LP says that atomic proposition is always true: (p35 <= 1)
lola: LP says that atomic proposition is always true: (p338 <= 1)
lola: LP says that atomic proposition is always true: (p1344 <= 1)
lola: LP says that atomic proposition is always true: (p19 <= 1)
lola: LP says that atomic proposition is always true: (p1318 <= 1)
lola: LP says that atomic proposition is always true: (p889 <= 1)
lola: LP says that atomic proposition is always true: (p1211 <= 1)
lola: LP says that atomic proposition is always true: (p1214 <= 1)
lola: LP says that atomic proposition is always true: (p981 <= 1)
lola: LP says that atomic proposition is always true: (p1239 <= 1)
lola: LP says that atomic proposition is always true: (p783 <= 1)
lola: LP says that atomic proposition is always true: (p984 <= 1)
lola: LP says that atomic proposition is always true: (p1522 <= 1)
lola: LP says that atomic proposition is always true: (p1404 <= 1)
lola: LP says that atomic proposition is always true: (p307 <= 1)
lola: A (G ((((p557 <= 0)) OR ((1 <= p1301))))) : NOT(A (G ((((p905 <= 0)) OR ((p1276 <= 1) AND (1 <= p1276)))))) : E (F (((1 <= p1278)))) : E (F (A (X (((1 <= p35)))))) : E (G (A (G ((((p24 <= 0)) OR ((1 <= p338))))))) : (E (((((p52 <= 0)) OR ((1 <= p1344))) U (((1 <= p450)) AND ((p19 <= 0))))) AND ((A (F ((((p426 <= 0)) OR ((1 <= p1318))))) OR ((p1304 <= 0))) OR ((1 <= p889)))) : A (G (E ((((p1543 <= 1) AND (1 <= p1543)) U (((p397 <= 0)) OR ((1 <= p1211))))))) : (NOT(A (X ((((p1476 <= 0)) OR ((1 <= p1214)))))) OR NOT(E (F (((1 <= p981)))))) : E (F ((((1 <= p489)) AND ((p1239 <= 0)) AND (((p1363 <= 0)) OR ((1 <= p783))) AND (((p1553 <= 0)) OR ((1 <= p984)))))) : A (F (A (G (((((p206 <= 0)) OR ((1 <= p1522))) AND (((p970 <= 0)) OR ((1 <= p1404)))))))) : NOT(E (X (A (G ((((p790 <= 0)) OR ((1 <= p307))))))))
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:476
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p35))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX(((1 <= p35))))
lola: processed formula length: 20
lola: 18 rewrites
lola: closed formula file CTLCardinality.xml
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: 59823 markings, 100173 edges
lola: ========================================
lola: subprocess 1 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X ((((1 <= p1476)) AND ((p1214 <= 0))))) OR A (G (((p981 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p981 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (((p981 <= 0))))
lola: processed formula length: 21
lola: 18 rewrites
lola: closed formula file CTLCardinality.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p981))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 41 markings, 40 edges
lola: ========================================
lola: subprocess 2 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((((1 <= p1476)) AND ((p1214 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX((((1 <= p1476)) AND ((p1214 <= 0))))
lola: processed formula length: 39
lola: 17 rewrites
lola: closed formula file CTLCardinality.xml
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: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E (F ((((1 <= p790)) AND ((p307 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX(EF((((1 <= p790)) AND ((p307 <= 0)))))
lola: processed formula length: 41
lola: 18 rewrites
lola: closed formula file CTLCardinality.xml
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: 122069 markings, 418438 edges, 24414 markings/sec, 0 secs
lola: 191391 markings, 834708 edges, 13864 markings/sec, 5 secs
lola: 260226 markings, 1268247 edges, 13767 markings/sec, 10 secs
lola: 330790 markings, 1696402 edges, 14113 markings/sec, 15 secs
lola: 402718 markings, 2151652 edges, 14386 markings/sec, 20 secs
lola: 483571 markings, 2607249 edges, 16171 markings/sec, 25 secs
lola: 565024 markings, 3049491 edges, 16291 markings/sec, 30 secs
lola: 637861 markings, 3505597 edges, 14567 markings/sec, 35 secs
lola: 709443 markings, 3947806 edges, 14316 markings/sec, 40 secs
lola: 792904 markings, 4394378 edges, 16692 markings/sec, 45 secs
lola: 867833 markings, 4845424 edges, 14986 markings/sec, 50 secs
lola: 952925 markings, 5275442 edges, 17018 markings/sec, 55 secs
lola: 1063040 markings, 5680990 edges, 22023 markings/sec, 60 secs
lola: 1169579 markings, 6087611 edges, 21308 markings/sec, 65 secs
lola: 1273296 markings, 6494470 edges, 20743 markings/sec, 70 secs
lola: 1370044 markings, 6908470 edges, 19350 markings/sec, 75 secs
lola: 1470083 markings, 7358257 edges, 20008 markings/sec, 80 secs
lola: 1570411 markings, 7810032 edges, 20066 markings/sec, 85 secs
lola: 1667550 markings, 8258938 edges, 19428 markings/sec, 90 secs
lola: 1763947 markings, 8703011 edges, 19279 markings/sec, 95 secs
lola: 1862375 markings, 9149769 edges, 19686 markings/sec, 100 secs
lola: 1958056 markings, 9598787 edges, 19136 markings/sec, 105 secs
lola: 2052317 markings, 10048736 edges, 18852 markings/sec, 110 secs
lola: 2159828 markings, 10489525 edges, 21502 markings/sec, 115 secs
lola: 2277224 markings, 10928075 edges, 23479 markings/sec, 120 secs
lola: 2386414 markings, 11372028 edges, 21838 markings/sec, 125 secs
lola: 2484347 markings, 11823679 edges, 19587 markings/sec, 130 secs
lola: 2567777 markings, 12275664 edges, 16686 markings/sec, 135 secs
lola: 2644866 markings, 12725806 edges, 15418 markings/sec, 140 secs
lola: 2728157 markings, 13172440 edges, 16658 markings/sec, 145 secs
lola: 2803532 markings, 13628837 edges, 15075 markings/sec, 150 secs
lola: 2870609 markings, 14085362 edges, 13415 markings/sec, 155 secs
lola: 2944283 markings, 14540751 edges, 14735 markings/sec, 160 secs
lola: 3022079 markings, 14990687 edges, 15559 markings/sec, 165 secs
lola: 3094231 markings, 15440062 edges, 14430 markings/sec, 170 secs
lola: 3161131 markings, 15899081 edges, 13380 markings/sec, 175 secs
lola: 3240785 markings, 16356376 edges, 15931 markings/sec, 180 secs
lola: 3318394 markings, 16815635 edges, 15522 markings/sec, 185 secs
lola: 3387858 markings, 17275792 edges, 13893 markings/sec, 190 secs
lola: 3457387 markings, 17736273 edges, 13906 markings/sec, 195 secs
lola: 3538899 markings, 18196629 edges, 16302 markings/sec, 200 secs
lola: 3615280 markings, 18658087 edges, 15276 markings/sec, 205 secs
lola: 3683620 markings, 19118966 edges, 13668 markings/sec, 210 secs
lola: 3758263 markings, 19574584 edges, 14929 markings/sec, 215 secs
lola: 3835866 markings, 20029502 edges, 15521 markings/sec, 220 secs
lola: 3907544 markings, 20481250 edges, 14336 markings/sec, 225 secs
lola: 3969147 markings, 20905292 edges, 12321 markings/sec, 230 secs
lola: 4040409 markings, 21310729 edges, 14252 markings/sec, 235 secs
lola: 4119123 markings, 21718006 edges, 15743 markings/sec, 240 secs
lola: 4199388 markings, 22134667 edges, 16053 markings/sec, 245 secs
lola: 4272886 markings, 22572031 edges, 14700 markings/sec, 250 secs
lola: 4339935 markings, 23016766 edges, 13410 markings/sec, 255 secs
lola: 4405653 markings, 23464496 edges, 13144 markings/sec, 260 secs
lola: 4482754 markings, 23898969 edges, 15420 markings/sec, 265 secs
lola: 4557434 markings, 24351392 edges, 14936 markings/sec, 270 secs
lola: 4624589 markings, 24801840 edges, 13431 markings/sec, 275 secs
lola: 4693178 markings, 25251584 edges, 13718 markings/sec, 280 secs
lola: 4761022 markings, 25699816 edges, 13569 markings/sec, 285 secs
lola: 4822736 markings, 26134889 edges, 12343 markings/sec, 290 secs
lola: 4881224 markings, 26583381 edges, 11698 markings/sec, 295 secs
lola: 4939020 markings, 27035236 edges, 11559 markings/sec, 300 secs
lola: 5008755 markings, 27481887 edges, 13947 markings/sec, 305 secs
lola: 5074033 markings, 27932795 edges, 13056 markings/sec, 310 secs
lola: 5132359 markings, 28372215 edges, 11665 markings/sec, 315 secs
lola: 5185231 markings, 28784938 edges, 10574 markings/sec, 320 secs
lola: 5246031 markings, 29195900 edges, 12160 markings/sec, 325 secs
lola: 5306732 markings, 29608656 edges, 12140 markings/sec, 330 secs
lola: 5368371 markings, 30043847 edges, 12328 markings/sec, 335 secs
lola: 5426201 markings, 30491102 edges, 11566 markings/sec, 340 secs
lola: 5487570 markings, 30950365 edges, 12274 markings/sec, 345 secs
lola: 5556415 markings, 31401918 edges, 13769 markings/sec, 350 secs
lola: 5617014 markings, 31823587 edges, 12120 markings/sec, 355 secs
lola: 5672853 markings, 32243253 edges, 11168 markings/sec, 360 secs
lola: 5728339 markings, 32676219 edges, 11097 markings/sec, 365 secs
lola: 5790588 markings, 33092165 edges, 12450 markings/sec, 370 secs
lola: 5851269 markings, 33506678 edges, 12136 markings/sec, 375 secs
lola: 5911087 markings, 33935431 edges, 11964 markings/sec, 380 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown no unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown no unknown unknown unknown
lola: memory consumption: 874276 KB
lola: time consumption: 442 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p1278))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p1278))))
lola: processed formula length: 22
lola: 17 rewrites
lola: closed formula file CTLCardinality.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p1278))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 70 markings, 69 edges
lola: ========================================
lola: subprocess 4 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p24 <= 0)) OR ((1 <= p338)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((((p24 <= 0)) OR ((1 <= p338)))))
lola: processed formula length: 40
lola: 18 rewrites
lola: closed formula file CTLCardinality.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p24)) AND ((p338 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 25 markings, 24 edges
lola: ========================================
lola: subprocess 5 will run for 521 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p557 <= 0)) OR ((1 <= p1301)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((((p557 <= 0)) OR ((1 <= p1301)))))
lola: processed formula length: 42
lola: 18 rewrites
lola: closed formula file CTLCardinality.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p557)) AND ((p1301 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 55 markings, 54 edges
lola: ========================================
lola: subprocess 6 will run for 625 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p905)) AND ((2 <= p1276) OR (p1276 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((((1 <= p905)) AND ((2 <= p1276) OR (p1276 <= 0)))))
lola: processed formula length: 59
lola: 17 rewrites
lola: closed formula file CTLCardinality.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p905)) AND ((2 <= p1276) OR (p1276 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 44 markings, 43 edges
lola: ========================================
lola: subprocess 7 will run for 782 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p489)) AND ((p1239 <= 0)) AND (((p1363 <= 0)) OR ((1 <= p783))) AND (((p1553 <= 0)) OR ((1 <= p984))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((((1 <= p489)) AND ((p1239 <= 0)) AND (((p1363 <= 0)) OR ((1 <= p783))) AND (((p1553 <= 0)) OR ((1 <= p984))))))
lola: processed formula length: 120
lola: 17 rewrites
lola: closed formula file CTLCardinality.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p489)) AND ((p1239 <= 0)) AND (((p1363 <= 0)) OR ((1 <= p783))) AND (((p1553 <= 0)) OR ((1 <= p984))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 16 literals and 4 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 76 markings, 75 edges
lola: ========================================
lola: subprocess 8 will run for 1042 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E ((((p1543 <= 1) AND (1 <= p1543)) U (((p397 <= 0)) OR ((1 <= p1211)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(E(((p1543 <= 1) AND (1 <= p1543)) U (((p397 <= 0)) OR ((1 <= p1211)))))
lola: processed formula length: 75
lola: 18 rewrites
lola: closed formula file CTLCardinality.xml
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: 1165 markings, 2725 edges
lola: subprocess 9 will run for 1564 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F (A (G (((((p206 <= 0)) OR ((1 <= p1522))) AND (((p970 <= 0)) OR ((1 <= p1404))))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:594
lola: rewrite Frontend/Parser/formula_rewrite.k:629
lola: rewrite Frontend/Parser/formula_rewrite.k:758
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((((1 <= p206)) AND ((p1522 <= 0))) OR (((1 <= p970)) AND ((p1404 <= 0))))
lola: processed formula length: 75
lola: 20 rewrites
lola: closed formula file CTLCardinality.xml
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: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((((p206 <= 0)) OR ((1 <= p1522))) AND (((p970 <= 0)) OR ((1 <= p1404))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 8 literals and 4 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((((1 <= p206)) AND ((p1522 <= 0))) OR (((1 <= p970)) AND ((p1404 <= 0))))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-9-0.sara.
lola: state equation: write sara problem file to CTLCardinality-9-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-9-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic

lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 53546 markings, 90297 edges
lola: ========================================
lola: subprocess 10 will run for 3126 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (((((p52 <= 0)) OR ((1 <= p1344))) U (((1 <= p450)) AND ((p19 <= 0))))) AND (A (F ((((p426 <= 0)) OR ((1 <= p1318))))) OR (((p1304 <= 0)) OR ((1 <= p889)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 3126 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p1304 <= 0)) OR ((1 <= p889)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: processed formula: (((p1304 <= 0)) OR ((1 <= p889)))
lola: processed formula length: 33
lola: 17 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (E (F ((((1 <= p790)) AND ((p307 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX(EF((((1 <= p790)) AND ((p307 <= 0)))))
lola: processed formula length: 41
lola: 18 rewrites
lola: closed formula file CTLCardinality.xml
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: 119998 markings, 407605 edges, 24000 markings/sec, 0 secs
lola: 192425 markings, 841111 edges, 14485 markings/sec, 5 secs
lola: 262611 markings, 1284818 edges, 14037 markings/sec, 10 secs
lola: 336857 markings, 1738760 edges, 14849 markings/sec, 15 secs
lola: 411719 markings, 2199509 edges, 14972 markings/sec, 20 secs
lola: 490850 markings, 2653736 edges, 15826 markings/sec, 25 secs
lola: 574291 markings, 3109533 edges, 16688 markings/sec, 30 secs
lola: 647070 markings, 3566441 edges, 14556 markings/sec, 35 secs
lola: 720225 markings, 4023848 edges, 14631 markings/sec, 40 secs
lola: 806817 markings, 4487005 edges, 17318 markings/sec, 45 secs
lola: 882971 markings, 4946837 edges, 15231 markings/sec, 50 secs
lola: 985301 markings, 5393531 edges, 20466 markings/sec, 55 secs
lola: 1104160 markings, 5832876 edges, 23772 markings/sec, 60 secs
lola: 1221008 markings, 6281988 edges, 23370 markings/sec, 65 secs
lola: 1328854 markings, 6733597 edges, 21569 markings/sec, 70 secs
lola: 1432145 markings, 7188815 edges, 20658 markings/sec, 75 secs
lola: 1535556 markings, 7642505 edges, 20682 markings/sec, 80 secs
lola: 1632680 markings, 8099733 edges, 19425 markings/sec, 85 secs
lola: 1727611 markings, 8550928 edges, 18986 markings/sec, 90 secs
lola: 1830392 markings, 9000589 edges, 20556 markings/sec, 95 secs
lola: 1928125 markings, 9451144 edges, 19547 markings/sec, 100 secs
lola: 2020871 markings, 9901003 edges, 18549 markings/sec, 105 secs
lola: 2125793 markings, 10360315 edges, 20984 markings/sec, 110 secs
lola: 2245355 markings, 10804826 edges, 23912 markings/sec, 115 secs
lola: 2355207 markings, 11251035 edges, 21970 markings/sec, 120 secs
lola: 2459485 markings, 11700557 edges, 20856 markings/sec, 125 secs
lola: 2547696 markings, 12156255 edges, 17642 markings/sec, 130 secs
lola: 2624761 markings, 12613415 edges, 15413 markings/sec, 135 secs
lola: 2709557 markings, 13061696 edges, 16959 markings/sec, 140 secs
lola: 2787035 markings, 13525856 edges, 15496 markings/sec, 145 secs
lola: 2855941 markings, 13984990 edges, 13781 markings/sec, 150 secs
lola: 2924882 markings, 14447046 edges, 13788 markings/sec, 155 secs
lola: 3007344 markings, 14904155 edges, 16492 markings/sec, 160 secs
lola: 3082574 markings, 15362119 edges, 15046 markings/sec, 165 secs
lola: 3150147 markings, 15819574 edges, 13515 markings/sec, 170 secs
lola: 3226611 markings, 16276625 edges, 15293 markings/sec, 175 secs
lola: 3305346 markings, 16739887 edges, 15747 markings/sec, 180 secs
lola: 3376708 markings, 17198067 edges, 14272 markings/sec, 185 secs
lola: 3444536 markings, 17658822 edges, 13566 markings/sec, 190 secs
lola: 3526142 markings, 18119055 edges, 16321 markings/sec, 195 secs
lola: 3603258 markings, 18580057 edges, 15423 markings/sec, 200 secs
lola: 3671703 markings, 19039404 edges, 13689 markings/sec, 205 secs
lola: 3742883 markings, 19498492 edges, 14236 markings/sec, 210 secs
lola: 3822717 markings, 19949586 edges, 15967 markings/sec, 215 secs
lola: 3896404 markings, 20405087 edges, 14737 markings/sec, 220 secs
lola: 3963544 markings, 20862681 edges, 13428 markings/sec, 225 secs
lola: 4041672 markings, 21318194 edges, 15626 markings/sec, 230 secs
lola: 4127517 markings, 21766845 edges, 17169 markings/sec, 235 secs
lola: 4210488 markings, 22198778 edges, 16594 markings/sec, 240 secs
lola: 4283452 markings, 22642339 edges, 14593 markings/sec, 245 secs
lola: 4350763 markings, 23090789 edges, 13462 markings/sec, 250 secs
lola: 4419068 markings, 23541994 edges, 13661 markings/sec, 255 secs
lola: 4498251 markings, 23991914 edges, 15837 markings/sec, 260 secs
lola: 4572032 markings, 24444216 edges, 14756 markings/sec, 265 secs
lola: 4638034 markings, 24894609 edges, 13200 markings/sec, 270 secs
lola: 4708439 markings, 25343865 edges, 14081 markings/sec, 275 secs
lola: 4774196 markings, 25789820 edges, 13151 markings/sec, 280 secs
lola: 4836622 markings, 26234612 edges, 12485 markings/sec, 285 secs
lola: 4894271 markings, 26684370 edges, 11530 markings/sec, 290 secs
lola: 4950557 markings, 27115197 edges, 11257 markings/sec, 295 secs
lola: 5014709 markings, 27523540 edges, 12830 markings/sec, 300 secs
lola: 5074295 markings, 27934915 edges, 11917 markings/sec, 305 secs
lola: 5129192 markings, 28347268 edges, 10979 markings/sec, 310 secs
lola: 5186728 markings, 28796336 edges, 11507 markings/sec, 315 secs
lola: 5254123 markings, 29250144 edges, 13479 markings/sec, 320 secs
lola: 5320799 markings, 29708200 edges, 13335 markings/sec, 325 secs
lola: 5384653 markings, 30166750 edges, 12771 markings/sec, 330 secs
lola: 5443155 markings, 30619742 edges, 11700 markings/sec, 335 secs
lola: 5503313 markings, 31051910 edges, 12032 markings/sec, 340 secs
lola: 5567306 markings, 31477473 edges, 12799 markings/sec, 345 secs
lola: 5629068 markings, 31908523 edges, 12352 markings/sec, 350 secs
lola: 5683060 markings, 32323781 edges, 10798 markings/sec, 355 secs
lola: 5737488 markings, 32746012 edges, 10886 markings/sec, 360 secs
lola: 5805671 markings, 33192730 edges, 13637 markings/sec, 365 secs
lola: 5871486 markings, 33648256 edges, 13163 markings/sec, 370 secs
lola: 5932966 markings, 34102783 edges, 12296 markings/sec, 375 secs
lola: 5988199 markings, 34534033 edges, 11047 markings/sec, 380 secs
lola: 6048928 markings, 34952219 edges, 12146 markings/sec, 385 secs
lola: 6128371 markings, 35359479 edges, 15889 markings/sec, 390 secs
lola: 6203687 markings, 35771235 edges, 15063 markings/sec, 395 secs
lola: 6301117 markings, 36218939 edges, 19486 markings/sec, 400 secs
lola: 6381937 markings, 36642102 edges, 16164 markings/sec, 405 secs
lola: 6481809 markings, 37049309 edges, 19974 markings/sec, 410 secs
lola: 6572415 markings, 37457438 edges, 18121 markings/sec, 415 secs
lola: 6663765 markings, 37896969 edges, 18270 markings/sec, 420 secs
lola: 6755579 markings, 38347313 edges, 18363 markings/sec, 425 secs
lola: 6850028 markings, 38795774 edges, 18890 markings/sec, 430 secs
lola: 6944044 markings, 39247971 edges, 18803 markings/sec, 435 secs
lola: 7029958 markings, 39693886 edges, 17183 markings/sec, 440 secs
lola: 7116897 markings, 40146030 edges, 17388 markings/sec, 445 secs
lola: 7206892 markings, 40593297 edges, 17999 markings/sec, 450 secs
lola: 7302889 markings, 41047073 edges, 19199 markings/sec, 455 secs
lola: 7397805 markings, 41501966 edges, 18983 markings/sec, 460 secs
lola: 7484184 markings, 41956268 edges, 17276 markings/sec, 465 secs
lola: 7584404 markings, 42396695 edges, 20044 markings/sec, 470 secs
lola: 7678342 markings, 42844869 edges, 18788 markings/sec, 475 secs
lola: 7774318 markings, 43292820 edges, 19195 markings/sec, 480 secs
lola: 7870417 markings, 43738275 edges, 19220 markings/sec, 485 secs
lola: 7966181 markings, 44182713 edges, 19153 markings/sec, 490 secs
lola: 8054296 markings, 44629752 edges, 17623 markings/sec, 495 secs
lola: 8138197 markings, 45049407 edges, 16780 markings/sec, 500 secs
lola: 8212209 markings, 45466372 edges, 14802 markings/sec, 505 secs
lola: 8298678 markings, 45875442 edges, 17294 markings/sec, 510 secs
lola: 8384451 markings, 46307049 edges, 17155 markings/sec, 515 secs
lola: 8472393 markings, 46755899 edges, 17588 markings/sec, 520 secs
lola: 8565531 markings, 47203821 edges, 18628 markings/sec, 525 secs
lola: 8654101 markings, 47652152 edges, 17714 markings/sec, 530 secs
lola: 8740307 markings, 48102259 edges, 17241 markings/sec, 535 secs
lola: 8828539 markings, 48541933 edges, 17646 markings/sec, 540 secs
lola: 8916513 markings, 48995624 edges, 17595 markings/sec, 545 secs
lola: 9009288 markings, 49452959 edges, 18555 markings/sec, 550 secs
lola: 9096079 markings, 49903928 edges, 17358 markings/sec, 555 secs
lola: 9178144 markings, 50355466 edges, 16413 markings/sec, 560 secs
lola: 9269522 markings, 50807253 edges, 18276 markings/sec, 565 secs
lola: 9357728 markings, 51262528 edges, 17641 markings/sec, 570 secs
lola: 9450364 markings, 51713924 edges, 18527 markings/sec, 575 secs
lola: 9536932 markings, 52143810 edges, 17314 markings/sec, 580 secs
lola: 9626339 markings, 52563164 edges, 17881 markings/sec, 585 secs
lola: 9708075 markings, 52972366 edges, 16347 markings/sec, 590 secs
lola: 9790843 markings, 53380676 edges, 16554 markings/sec, 595 secs
lola: 9879852 markings, 53832592 edges, 17802 markings/sec, 600 secs
lola: 9968291 markings, 54287776 edges, 17688 markings/sec, 605 secs
lola: 10061412 markings, 54737212 edges, 18624 markings/sec, 610 secs
lola: 10151304 markings, 55185520 edges, 17978 markings/sec, 615 secs
lola: 10239018 markings, 55632947 edges, 17543 markings/sec, 620 secs
lola: 10326372 markings, 56082196 edges, 17471 markings/sec, 625 secs
lola: 10410726 markings, 56532161 edges, 16871 markings/sec, 630 secs
lola: 10492819 markings, 56983040 edges, 16419 markings/sec, 635 secs
lola: 10577428 markings, 57434803 edges, 16922 markings/sec, 640 secs
lola: 10662410 markings, 57883161 edges, 16996 markings/sec, 645 secs
lola: 10742698 markings, 58335600 edges, 16058 markings/sec, 650 secs
lola: 10830763 markings, 58788265 edges, 17613 markings/sec, 655 secs
lola: 10914058 markings, 59243591 edges, 16659 markings/sec, 660 secs
lola: 11005641 markings, 59693033 edges, 18317 markings/sec, 665 secs
lola: 11089790 markings, 60141512 edges, 16830 markings/sec, 670 secs
lola: 11174428 markings, 60597230 edges, 16928 markings/sec, 675 secs
lola: 11258598 markings, 61048766 edges, 16834 markings/sec, 680 secs
lola: 11341252 markings, 61504674 edges, 16531 markings/sec, 685 secs
lola: 11430637 markings, 61957144 edges, 17877 markings/sec, 690 secs
lola: 11517897 markings, 62409509 edges, 17452 markings/sec, 695 secs
lola: 11606152 markings, 62862218 edges, 17651 markings/sec, 700 secs
lola: 11693898 markings, 63314869 edges, 17549 markings/sec, 705 secs
lola: 11777654 markings, 63770282 edges, 16751 markings/sec, 710 secs
lola: 11859251 markings, 64221727 edges, 16319 markings/sec, 715 secs
lola: 11940491 markings, 64671902 edges, 16248 markings/sec, 720 secs
lola: 12024388 markings, 65119006 edges, 16779 markings/sec, 725 secs
lola: 12107524 markings, 65574949 edges, 16627 markings/sec, 730 secs
lola: 12193928 markings, 66023826 edges, 17281 markings/sec, 735 secs
lola: 12275085 markings, 66478090 edges, 16231 markings/sec, 740 secs
lola: 12357139 markings, 66928396 edges, 16411 markings/sec, 745 secs
lola: 12441562 markings, 67380419 edges, 16885 markings/sec, 750 secs
lola: 12529108 markings, 67830264 edges, 17509 markings/sec, 755 secs
lola: 12614645 markings, 68285847 edges, 17107 markings/sec, 760 secs
lola: 12701054 markings, 68733871 edges, 17282 markings/sec, 765 secs
lola: 12788873 markings, 69192902 edges, 17564 markings/sec, 770 secs
lola: 12872412 markings, 69640450 edges, 16708 markings/sec, 775 secs
lola: 12953121 markings, 70090927 edges, 16142 markings/sec, 780 secs
lola: 13033472 markings, 70542219 edges, 16070 markings/sec, 785 secs
lola: 13109514 markings, 70997250 edges, 15208 markings/sec, 790 secs
lola: 13191340 markings, 71448213 edges, 16365 markings/sec, 795 secs
lola: 13264551 markings, 71897882 edges, 14642 markings/sec, 800 secs
lola: 13345827 markings, 72335507 edges, 16255 markings/sec, 805 secs
lola: 13426879 markings, 72772359 edges, 16210 markings/sec, 810 secs
lola: 13508089 markings, 73209337 edges, 16242 markings/sec, 815 secs
lola: 13587304 markings, 73645644 edges, 15843 markings/sec, 820 secs
lola: 13671290 markings, 74082857 edges, 16797 markings/sec, 825 secs
lola: 13752353 markings, 74523388 edges, 16213 markings/sec, 830 secs
lola: 13829819 markings, 74964085 edges, 15493 markings/sec, 835 secs
lola: 13909443 markings, 75407190 edges, 15925 markings/sec, 840 secs
lola: 13992721 markings, 75851607 edges, 16656 markings/sec, 845 secs
lola: 14078960 markings, 76290168 edges, 17248 markings/sec, 850 secs
lola: 14161737 markings, 76741652 edges, 16555 markings/sec, 855 secs
lola: 14241105 markings, 77189194 edges, 15874 markings/sec, 860 secs
lola: 14320341 markings, 77629256 edges, 15847 markings/sec, 865 secs
lola: 14400928 markings, 78069383 edges, 16117 markings/sec, 870 secs
lola: 14482337 markings, 78518955 edges, 16282 markings/sec, 875 secs
lola: 14565332 markings, 78965634 edges, 16599 markings/sec, 880 secs
lola: 14648562 markings, 79410306 edges, 16646 markings/sec, 885 secs
lola: 14729078 markings, 79850674 edges, 16103 markings/sec, 890 secs
lola: 14803154 markings, 80277005 edges, 14815 markings/sec, 895 secs
lola: 14881619 markings, 80691689 edges, 15693 markings/sec, 900 secs
lola: 14965000 markings, 81096741 edges, 16676 markings/sec, 905 secs
lola: 15038428 markings, 81504769 edges, 14686 markings/sec, 910 secs
lola: 15112944 markings, 81916154 edges, 14903 markings/sec, 915 secs
lola: 15187485 markings, 82337067 edges, 14908 markings/sec, 920 secs
lola: 15261212 markings, 82743428 edges, 14745 markings/sec, 925 secs
lola: 15339361 markings, 83149146 edges, 15630 markings/sec, 930 secs
lola: 15412994 markings, 83571842 edges, 14727 markings/sec, 935 secs
lola: 15489689 markings, 83997037 edges, 15339 markings/sec, 940 secs
lola: 15563755 markings, 84421989 edges, 14813 markings/sec, 945 secs
lola: 15644710 markings, 84840928 edges, 16191 markings/sec, 950 secs
lola: 15717324 markings, 85266686 edges, 14523 markings/sec, 955 secs
lola: 15795907 markings, 85686767 edges, 15717 markings/sec, 960 secs
lola: 15868026 markings, 86113973 edges, 14424 markings/sec, 965 secs
lola: 15948228 markings, 86548009 edges, 16040 markings/sec, 970 secs
lola: 16024825 markings, 86973841 edges, 15319 markings/sec, 975 secs
lola: 16102082 markings, 87407936 edges, 15451 markings/sec, 980 secs
lola: 16181590 markings, 87841889 edges, 15902 markings/sec, 985 secs
lola: 16262330 markings, 88268982 edges, 16148 markings/sec, 990 secs
lola: 16339261 markings, 88705477 edges, 15386 markings/sec, 995 secs
lola: 16415516 markings, 89130999 edges, 15251 markings/sec, 1000 secs
lola: 16493914 markings, 89547259 edges, 15680 markings/sec, 1005 secs
lola: 16569545 markings, 89974867 edges, 15126 markings/sec, 1010 secs
lola: 16650069 markings, 90402212 edges, 16105 markings/sec, 1015 secs
lola: 16724689 markings, 90827386 edges, 14924 markings/sec, 1020 secs
lola: 16799013 markings, 91254604 edges, 14865 markings/sec, 1025 secs
lola: 16876469 markings, 91683212 edges, 15491 markings/sec, 1030 secs
lola: 16953446 markings, 92121988 edges, 15395 markings/sec, 1035 secs
lola: 17029768 markings, 92555781 edges, 15264 markings/sec, 1040 secs
lola: 17112259 markings, 92992937 edges, 16498 markings/sec, 1045 secs
lola: 17186440 markings, 93431746 edges, 14836 markings/sec, 1050 secs
lola: 17266113 markings, 93869332 edges, 15935 markings/sec, 1055 secs
lola: 17343663 markings, 94290591 edges, 15510 markings/sec, 1060 secs
lola: 17426269 markings, 94717127 edges, 16521 markings/sec, 1065 secs
lola: 17503091 markings, 95146001 edges, 15364 markings/sec, 1070 secs
lola: 17582043 markings, 95583437 edges, 15790 markings/sec, 1075 secs
lola: 17660064 markings, 96024255 edges, 15604 markings/sec, 1080 secs
lola: 17743009 markings, 96467490 edges, 16589 markings/sec, 1085 secs
lola: 17821523 markings, 96914009 edges, 15703 markings/sec, 1090 secs
lola: 17899821 markings, 97362310 edges, 15660 markings/sec, 1095 secs
lola: 17976870 markings, 97816414 edges, 15410 markings/sec, 1100 secs
lola: 18054546 markings, 98266724 edges, 15535 markings/sec, 1105 secs
lola: 18134477 markings, 98712070 edges, 15986 markings/sec, 1110 secs
lola: 18214895 markings, 99158307 edges, 16084 markings/sec, 1115 secs
lola: 18300853 markings, 99596935 edges, 17192 markings/sec, 1120 secs
lola: 18380736 markings, 100035353 edges, 15977 markings/sec, 1125 secs
lola: 18456434 markings, 100475488 edges, 15140 markings/sec, 1130 secs
lola: 18532625 markings, 100904209 edges, 15238 markings/sec, 1135 secs
lola: 18607742 markings, 101336968 edges, 15023 markings/sec, 1140 secs
lola: 18682455 markings, 101774458 edges, 14943 markings/sec, 1145 secs
lola: 18758879 markings, 102196461 edges, 15285 markings/sec, 1150 secs
lola: 18836909 markings, 102630105 edges, 15606 markings/sec, 1155 secs
lola: 18916449 markings, 103055382 edges, 15908 markings/sec, 1160 secs
lola: 18994781 markings, 103479090 edges, 15666 markings/sec, 1165 secs
lola: 19071983 markings, 103905385 edges, 15440 markings/sec, 1170 secs
lola: 19152229 markings, 104339915 edges, 16049 markings/sec, 1175 secs
lola: 19229228 markings, 104774835 edges, 15400 markings/sec, 1180 secs
lola: 19307768 markings, 105191693 edges, 15708 markings/sec, 1185 secs
lola: 19381351 markings, 105614135 edges, 14717 markings/sec, 1190 secs
lola: 19458884 markings, 106044795 edges, 15507 markings/sec, 1195 secs
lola: 19530563 markings, 106473735 edges, 14336 markings/sec, 1200 secs
lola: 19603723 markings, 106895525 edges, 14632 markings/sec, 1205 secs
lola: 19688523 markings, 107322164 edges, 16960 markings/sec, 1210 secs
lola: 19773669 markings, 107751624 edges, 17029 markings/sec, 1215 secs
lola: 19849518 markings, 108182976 edges, 15170 markings/sec, 1220 secs
lola: 19927568 markings, 108615723 edges, 15610 markings/sec, 1225 secs
lola: 20007684 markings, 109049680 edges, 16023 markings/sec, 1230 secs
lola: 20087698 markings, 109478142 edges, 16003 markings/sec, 1235 secs
lola: 20167508 markings, 109905797 edges, 15962 markings/sec, 1240 secs
lola: 20250554 markings, 110332574 edges, 16609 markings/sec, 1245 secs
lola: 20329154 markings, 110774795 edges, 15720 markings/sec, 1250 secs
lola: 20406730 markings, 111197128 edges, 15515 markings/sec, 1255 secs
lola: 20493311 markings, 111618600 edges, 17316 markings/sec, 1260 secs
lola: 20573164 markings, 112041041 edges, 15971 markings/sec, 1265 secs
lola: 20650478 markings, 112460539 edges, 15463 markings/sec, 1270 secs
lola: 20729427 markings, 112898213 edges, 15790 markings/sec, 1275 secs
lola: 20806530 markings, 113328420 edges, 15421 markings/sec, 1280 secs
lola: 20883868 markings, 113757231 edges, 15468 markings/sec, 1285 secs
lola: 20962972 markings, 114189220 edges, 15821 markings/sec, 1290 secs
lola: 21040324 markings, 114618795 edges, 15470 markings/sec, 1295 secs
lola: 21118883 markings, 115017992 edges, 15712 markings/sec, 1300 secs
lola: 21195808 markings, 115425484 edges, 15385 markings/sec, 1305 secs
lola: 21273250 markings, 115834911 edges, 15488 markings/sec, 1310 secs
lola: 21354859 markings, 116249838 edges, 16322 markings/sec, 1315 secs
lola: 21428871 markings, 116684812 edges, 14802 markings/sec, 1320 secs
lola: 21506672 markings, 117118468 edges, 15560 markings/sec, 1325 secs
lola: 21585521 markings, 117552491 edges, 15770 markings/sec, 1330 secs
lola: 21653935 markings, 117962995 edges, 13683 markings/sec, 1335 secs
lola: 21732335 markings, 118375823 edges, 15680 markings/sec, 1340 secs
lola: 21807502 markings, 118787226 edges, 15033 markings/sec, 1345 secs
lola: 21880900 markings, 119204793 edges, 14680 markings/sec, 1350 secs
lola: 21956209 markings, 119631395 edges, 15062 markings/sec, 1355 secs
lola: 22030269 markings, 120058982 edges, 14812 markings/sec, 1360 secs
lola: 22105143 markings, 120480856 edges, 14975 markings/sec, 1365 secs
lola: 22183577 markings, 120902856 edges, 15687 markings/sec, 1370 secs
lola: 22259117 markings, 121317042 edges, 15108 markings/sec, 1375 secs
lola: 22332850 markings, 121739743 edges, 14747 markings/sec, 1380 secs
lola: 22404510 markings, 122161907 edges, 14332 markings/sec, 1385 secs
lola: 22483294 markings, 122604351 edges, 15757 markings/sec, 1390 secs
lola: 22563727 markings, 123029607 edges, 16087 markings/sec, 1395 secs
lola: 22636365 markings, 123448921 edges, 14528 markings/sec, 1400 secs
lola: 22712128 markings, 123889416 edges, 15153 markings/sec, 1405 secs
lola: 22789947 markings, 124339874 edges, 15564 markings/sec, 1410 secs
lola: 22867592 markings, 124782219 edges, 15529 markings/sec, 1415 secs
lola: 22947359 markings, 125222897 edges, 15953 markings/sec, 1420 secs
lola: 23026322 markings, 125659308 edges, 15793 markings/sec, 1425 secs
lola: 23105211 markings, 126095323 edges, 15778 markings/sec, 1430 secs
lola: 23182859 markings, 126533446 edges, 15530 markings/sec, 1435 secs
lola: 23255287 markings, 126965390 edges, 14486 markings/sec, 1440 secs
lola: 23332648 markings, 127380259 edges, 15472 markings/sec, 1445 secs
lola: 23407339 markings, 127809110 edges, 14938 markings/sec, 1450 secs
lola: 23479308 markings, 128236724 edges, 14394 markings/sec, 1455 secs
lola: 23552104 markings, 128672820 edges, 14559 markings/sec, 1460 secs
lola: 23630070 markings, 129104550 edges, 15593 markings/sec, 1465 secs
lola: 23702798 markings, 129534955 edges, 14546 markings/sec, 1470 secs
lola: 23783509 markings, 129988554 edges, 16142 markings/sec, 1475 secs
lola: 23865143 markings, 130433210 edges, 16327 markings/sec, 1480 secs
lola: 23935894 markings, 130853804 edges, 14150 markings/sec, 1485 secs
lola: 24010053 markings, 131271950 edges, 14832 markings/sec, 1490 secs
lola: 24083176 markings, 131693750 edges, 14625 markings/sec, 1495 secs
lola: 24157009 markings, 132115227 edges, 14767 markings/sec, 1500 secs
lola: 24229907 markings, 132541733 edges, 14580 markings/sec, 1505 secs
lola: 24306267 markings, 132970475 edges, 15272 markings/sec, 1510 secs
lola: 24381163 markings, 133388673 edges, 14979 markings/sec, 1515 secs
lola: 24463176 markings, 133821207 edges, 16403 markings/sec, 1520 secs
lola: 24540116 markings, 134255113 edges, 15388 markings/sec, 1525 secs
lola: 24616482 markings, 134692396 edges, 15273 markings/sec, 1530 secs
lola: 24690965 markings, 135125309 edges, 14897 markings/sec, 1535 secs
lola: 24767292 markings, 135554786 edges, 15265 markings/sec, 1540 secs
lola: 24846596 markings, 135989567 edges, 15861 markings/sec, 1545 secs
lola: 24918936 markings, 136421154 edges, 14468 markings/sec, 1550 secs
lola: 24990813 markings, 136833984 edges, 14375 markings/sec, 1555 secs
lola: 25065441 markings, 137246260 edges, 14926 markings/sec, 1560 secs
lola: 25136615 markings, 137655233 edges, 14235 markings/sec, 1565 secs
lola: 25213464 markings, 138061771 edges, 15370 markings/sec, 1570 secs
lola: 25291594 markings, 138467376 edges, 15626 markings/sec, 1575 secs
lola: 25366767 markings, 138901908 edges, 15035 markings/sec, 1580 secs
lola: 25447481 markings, 139336047 edges, 16143 markings/sec, 1585 secs
lola: 25522027 markings, 139772758 edges, 14909 markings/sec, 1590 secs
lola: 25591657 markings, 140176848 edges, 13926 markings/sec, 1595 secs
lola: 25662393 markings, 140574334 edges, 14147 markings/sec, 1600 secs
lola: 25740740 markings, 140977634 edges, 15669 markings/sec, 1605 secs
lola: 25817012 markings, 141406681 edges, 15254 markings/sec, 1610 secs
lola: 25894072 markings, 141851980 edges, 15412 markings/sec, 1615 secs
lola: 25968170 markings, 142292145 edges, 14820 markings/sec, 1620 secs
lola: 26040727 markings, 142723146 edges, 14511 markings/sec, 1625 secs
lola: 26112753 markings, 143131791 edges, 14405 markings/sec, 1630 secs
lola: 26182261 markings, 143543388 edges, 13902 markings/sec, 1635 secs
lola: 26256013 markings, 143953563 edges, 14750 markings/sec, 1640 secs
lola: 26335415 markings, 144376432 edges, 15880 markings/sec, 1645 secs
lola: 26410375 markings, 144819000 edges, 14992 markings/sec, 1650 secs
lola: 26486319 markings, 145259150 edges, 15189 markings/sec, 1655 secs
lola: 26563605 markings, 145702244 edges, 15457 markings/sec, 1660 secs
lola: 26641757 markings, 146137238 edges, 15630 markings/sec, 1665 secs
lola: 26717592 markings, 146582199 edges, 15167 markings/sec, 1670 secs
lola: 26792557 markings, 147030449 edges, 14993 markings/sec, 1675 secs
lola: 26868748 markings, 147469292 edges, 15238 markings/sec, 1680 secs
lola: 26944938 markings, 147906767 edges, 15238 markings/sec, 1685 secs
lola: 27021731 markings, 148348711 edges, 15359 markings/sec, 1690 secs
lola: 27100164 markings, 148794971 edges, 15687 markings/sec, 1695 secs
lola: 27179782 markings, 149234606 edges, 15924 markings/sec, 1700 secs
lola: 27258818 markings, 149672593 edges, 15807 markings/sec, 1705 secs
lola: 27338265 markings, 150116003 edges, 15889 markings/sec, 1710 secs
lola: 27411154 markings, 150552028 edges, 14578 markings/sec, 1715 secs
lola: 27494907 markings, 150988296 edges, 16751 markings/sec, 1720 secs
lola: 27575422 markings, 151419751 edges, 16103 markings/sec, 1725 secs
lola: 27657441 markings, 151858483 edges, 16404 markings/sec, 1730 secs
lola: 27734924 markings, 152300459 edges, 15497 markings/sec, 1735 secs
lola: 27816806 markings, 152734291 edges, 16376 markings/sec, 1740 secs
lola: 27888296 markings, 153153550 edges, 14298 markings/sec, 1745 secs
lola: 27963222 markings, 153589480 edges, 14985 markings/sec, 1750 secs
lola: 28041399 markings, 154019146 edges, 15635 markings/sec, 1755 secs
lola: 28117430 markings, 154438713 edges, 15206 markings/sec, 1760 secs
lola: 28185649 markings, 154840727 edges, 13644 markings/sec, 1765 secs
lola: 28258738 markings, 155250455 edges, 14618 markings/sec, 1770 secs
lola: 28328477 markings, 155663745 edges, 13948 markings/sec, 1775 secs
lola: 28397949 markings, 156076802 edges, 13894 markings/sec, 1780 secs
lola: 28472140 markings, 156486681 edges, 14838 markings/sec, 1785 secs
lola: 28544597 markings, 156899578 edges, 14491 markings/sec, 1790 secs
lola: 28620412 markings, 157312924 edges, 15163 markings/sec, 1795 secs
lola: 28694721 markings, 157748366 edges, 14862 markings/sec, 1800 secs
lola: 28772442 markings, 158190695 edges, 15544 markings/sec, 1805 secs
lola: 28851486 markings, 158636098 edges, 15809 markings/sec, 1810 secs
lola: 28928053 markings, 159087652 edges, 15313 markings/sec, 1815 secs
lola: 29007315 markings, 159541147 edges, 15852 markings/sec, 1820 secs
lola: 29084815 markings, 159987101 edges, 15500 markings/sec, 1825 secs
lola: 29158429 markings, 160422168 edges, 14723 markings/sec, 1830 secs
lola: 29238171 markings, 160855022 edges, 15948 markings/sec, 1835 secs
lola: 29328443 markings, 161292977 edges, 18054 markings/sec, 1840 secs
lola: 29410737 markings, 161735539 edges, 16459 markings/sec, 1845 secs
lola: 29488994 markings, 162162109 edges, 15651 markings/sec, 1850 secs
lola: 29574355 markings, 162602770 edges, 17072 markings/sec, 1855 secs
lola: 29654212 markings, 163047382 edges, 15971 markings/sec, 1860 secs
lola: 29735019 markings, 163484178 edges, 16161 markings/sec, 1865 secs
lola: 29810739 markings, 163914003 edges, 15144 markings/sec, 1870 secs
lola: 29881072 markings, 164348601 edges, 14067 markings/sec, 1875 secs
lola: 29944707 markings, 164786080 edges, 12727 markings/sec, 1880 secs
lola: 30013614 markings, 165219544 edges, 13781 markings/sec, 1885 secs
lola: 30092687 markings, 165656368 edges, 15815 markings/sec, 1890 secs
lola: 30171680 markings, 166089073 edges, 15799 markings/sec, 1895 secs
lola: 30257814 markings, 166521190 edges, 17227 markings/sec, 1900 secs
lola: 30343506 markings, 166956775 edges, 17138 markings/sec, 1905 secs
lola: 30420666 markings, 167390826 edges, 15432 markings/sec, 1910 secs
lola: 30495027 markings, 167828021 edges, 14872 markings/sec, 1915 secs
lola: 30563451 markings, 168263012 edges, 13685 markings/sec, 1920 secs
lola: 30627556 markings, 168701155 edges, 12821 markings/sec, 1925 secs
lola: 30698861 markings, 169139767 edges, 14261 markings/sec, 1930 secs
lola: 30763815 markings, 169581977 edges, 12991 markings/sec, 1935 secs
lola: 30824291 markings, 170026368 edges, 12095 markings/sec, 1940 secs
lola: 30881571 markings, 170471811 edges, 11456 markings/sec, 1945 secs
lola: 30947440 markings, 170905110 edges, 13174 markings/sec, 1950 secs
lola: 31008098 markings, 171321978 edges, 12132 markings/sec, 1955 secs
lola: 31066907 markings, 171737170 edges, 11762 markings/sec, 1960 secs
lola: 31120445 markings, 172152141 edges, 10708 markings/sec, 1965 secs
lola: 31179734 markings, 172585270 edges, 11858 markings/sec, 1970 secs
lola: 31245766 markings, 173017382 edges, 13206 markings/sec, 1975 secs
lola: 31308071 markings, 173450370 edges, 12461 markings/sec, 1980 secs
lola: 31368833 markings, 173905336 edges, 12152 markings/sec, 1985 secs
lola: 31423142 markings, 174322967 edges, 10862 markings/sec, 1990 secs
lola: 31488723 markings, 174753014 edges, 13116 markings/sec, 1995 secs
lola: 31548987 markings, 175166926 edges, 12053 markings/sec, 2000 secs
lola: 31609146 markings, 175597247 edges, 12032 markings/sec, 2005 secs
lola: 31666842 markings, 176044498 edges, 11539 markings/sec, 2010 secs
lola: 31734069 markings, 176487992 edges, 13445 markings/sec, 2015 secs
lola: 31811488 markings, 176940965 edges, 15484 markings/sec, 2020 secs
lola: 31877110 markings, 177350093 edges, 13124 markings/sec, 2025 secs
lola: 31936976 markings, 177758914 edges, 11973 markings/sec, 2030 secs
lola: 32005953 markings, 178169073 edges, 13795 markings/sec, 2035 secs
lola: 32078276 markings, 178595320 edges, 14465 markings/sec, 2040 secs
lola: 32147525 markings, 179027854 edges, 13850 markings/sec, 2045 secs
lola: 32213339 markings, 179482035 edges, 13163 markings/sec, 2050 secs
lola: 32291500 markings, 179935073 edges, 15632 markings/sec, 2055 secs
lola: 32368295 markings, 180388367 edges, 15359 markings/sec, 2060 secs
lola: 32436843 markings, 180841347 edges, 13710 markings/sec, 2065 secs
lola: 32504535 markings, 181297548 edges, 13538 markings/sec, 2070 secs
lola: 32580087 markings, 181753657 edges, 15110 markings/sec, 2075 secs
lola: 32656069 markings, 182203213 edges, 15196 markings/sec, 2080 secs
lola: 32734683 markings, 182649932 edges, 15723 markings/sec, 2085 secs
lola: 32823805 markings, 183094774 edges, 17824 markings/sec, 2090 secs
lola: 32911315 markings, 183530649 edges, 17502 markings/sec, 2095 secs
lola: 33003852 markings, 183972343 edges, 18507 markings/sec, 2100 secs
lola: 33088698 markings, 184415167 edges, 16969 markings/sec, 2105 secs
lola: 33177350 markings, 184851737 edges, 17730 markings/sec, 2110 secs
lola: 33262765 markings, 185290222 edges, 17083 markings/sec, 2115 secs
lola: 33346726 markings, 185735226 edges, 16792 markings/sec, 2120 secs
lola: 33425834 markings, 186171263 edges, 15822 markings/sec, 2125 secs
lola: 33510951 markings, 186606538 edges, 17023 markings/sec, 2130 secs
lola: 33598944 markings, 187039397 edges, 17599 markings/sec, 2135 secs
lola: 33689268 markings, 187479961 edges, 18065 markings/sec, 2140 secs
lola: 33781441 markings, 187920101 edges, 18435 markings/sec, 2145 secs
lola: 33874520 markings, 188359698 edges, 18616 markings/sec, 2150 secs
lola: 33978559 markings, 188781429 edges, 20808 markings/sec, 2155 secs
lola: 34077297 markings, 189208324 edges, 19748 markings/sec, 2160 secs
lola: 34175597 markings, 189640134 edges, 19660 markings/sec, 2165 secs
lola: 34270838 markings, 190071960 edges, 19048 markings/sec, 2170 secs
lola: 34367717 markings, 190499363 edges, 19376 markings/sec, 2175 secs
lola: 34482070 markings, 190929094 edges, 22871 markings/sec, 2180 secs
lola: 34585910 markings, 191365043 edges, 20768 markings/sec, 2185 secs
lola: 34675314 markings, 191804629 edges, 17881 markings/sec, 2190 secs
lola: 34768164 markings, 192248476 edges, 18570 markings/sec, 2195 secs
lola: 34860254 markings, 192692190 edges, 18418 markings/sec, 2200 secs
lola: 34949483 markings, 193119910 edges, 17846 markings/sec, 2205 secs
lola: 35039292 markings, 193547728 edges, 17962 markings/sec, 2210 secs
lola: 35131846 markings, 193977350 edges, 18511 markings/sec, 2215 secs
lola: 35221028 markings, 194411236 edges, 17836 markings/sec, 2220 secs
lola: 35314849 markings, 194842807 edges, 18764 markings/sec, 2225 secs
lola: 35404929 markings, 195281260 edges, 18016 markings/sec, 2230 secs
lola: 35496937 markings, 195719899 edges, 18402 markings/sec, 2235 secs
lola: 35590120 markings, 196154478 edges, 18637 markings/sec, 2240 secs
lola: 35708496 markings, 196579744 edges, 23675 markings/sec, 2245 secs
lola: 35802063 markings, 196992014 edges, 18713 markings/sec, 2250 secs
lola: 35906199 markings, 197424450 edges, 20827 markings/sec, 2255 secs
lola: 36017133 markings, 197855618 edges, 22187 markings/sec, 2260 secs
lola: 36113432 markings, 198286207 edges, 19260 markings/sec, 2265 secs
lola: 36205218 markings, 198704703 edges, 18357 markings/sec, 2270 secs
lola: 36294137 markings, 199130926 edges, 17784 markings/sec, 2275 secs
lola: 36383869 markings, 199565003 edges, 17946 markings/sec, 2280 secs
lola: 36474230 markings, 200000668 edges, 18072 markings/sec, 2285 secs
lola: 36576952 markings, 200425898 edges, 20544 markings/sec, 2290 secs
lola: 36673960 markings, 200851868 edges, 19402 markings/sec, 2295 secs
lola: 36760257 markings, 201279591 edges, 17259 markings/sec, 2300 secs
lola: 36867356 markings, 201695764 edges, 21420 markings/sec, 2305 secs
lola: 36967361 markings, 202115883 edges, 20001 markings/sec, 2310 secs
lola: 37067708 markings, 202547342 edges, 20069 markings/sec, 2315 secs
lola: 37177399 markings, 202979198 edges, 21938 markings/sec, 2320 secs
lola: 37265059 markings, 203419736 edges, 17532 markings/sec, 2325 secs
lola: 37358904 markings, 203859344 edges, 18769 markings/sec, 2330 secs
lola: 37456279 markings, 204301263 edges, 19475 markings/sec, 2335 secs
lola: 37549679 markings, 204743714 edges, 18680 markings/sec, 2340 secs
lola: 37640008 markings, 205179353 edges, 18066 markings/sec, 2345 secs
lola: 37716564 markings, 205626026 edges, 15311 markings/sec, 2350 secs
lola: 37787921 markings, 206072186 edges, 14271 markings/sec, 2355 secs
lola: 37853358 markings, 206520538 edges, 13087 markings/sec, 2360 secs
lola: 37925766 markings, 206966028 edges, 14482 markings/sec, 2365 secs
lola: 37990811 markings, 207411881 edges, 13009 markings/sec, 2370 secs
lola: 38053027 markings, 207861050 edges, 12443 markings/sec, 2375 secs
lola: 38110545 markings, 208306678 edges, 11504 markings/sec, 2380 secs
lola: 38175473 markings, 208757613 edges, 12986 markings/sec, 2385 secs
lola: 38242814 markings, 209208710 edges, 13468 markings/sec, 2390 secs
lola: 38307134 markings, 209662338 edges, 12864 markings/sec, 2395 secs
lola: 38365310 markings, 210112117 edges, 11635 markings/sec, 2400 secs
lola: 38427618 markings, 210569635 edges, 12462 markings/sec, 2405 secs
lola: 38497815 markings, 211027696 edges, 14039 markings/sec, 2410 secs
lola: 38564170 markings, 211485935 edges, 13271 markings/sec, 2415 secs
lola: 38624168 markings, 211943067 edges, 12000 markings/sec, 2420 secs
lola: 38684896 markings, 212402653 edges, 12146 markings/sec, 2425 secs
lola: 38755651 markings, 212861259 edges, 14151 markings/sec, 2430 secs
lola: 38821859 markings, 213322583 edges, 13242 markings/sec, 2435 secs
lola: 38882828 markings, 213778196 edges, 12194 markings/sec, 2440 secs
lola: 38942511 markings, 214237370 edges, 11937 markings/sec, 2445 secs
lola: 39011827 markings, 214688037 edges, 13863 markings/sec, 2450 secs
lola: 39077386 markings, 215136826 edges, 13112 markings/sec, 2455 secs
lola: 39138530 markings, 215588831 edges, 12229 markings/sec, 2460 secs
lola: 39196809 markings, 216042299 edges, 11656 markings/sec, 2465 secs
lola: 39265631 markings, 216495408 edges, 13764 markings/sec, 2470 secs
lola: 39338889 markings, 216945088 edges, 14652 markings/sec, 2475 secs
lola: 39412655 markings, 217391451 edges, 14753 markings/sec, 2480 secs
lola: 39477196 markings, 217833492 edges, 12908 markings/sec, 2485 secs
lola: 39539144 markings, 218277333 edges, 12390 markings/sec, 2490 secs
lola: 39596627 markings, 218723271 edges, 11497 markings/sec, 2495 secs
lola: 39657360 markings, 219169248 edges, 12147 markings/sec, 2500 secs
lola: 39725296 markings, 219614986 edges, 13587 markings/sec, 2505 secs
lola: 39789477 markings, 220062805 edges, 12836 markings/sec, 2510 secs
lola: 39846941 markings, 220505692 edges, 11493 markings/sec, 2515 secs
lola: 39905862 markings, 220955555 edges, 11784 markings/sec, 2520 secs
lola: 39967389 markings, 221400153 edges, 12305 markings/sec, 2525 secs
lola: 40023685 markings, 221846260 edges, 11259 markings/sec, 2530 secs
lola: 40078354 markings, 222294270 edges, 10934 markings/sec, 2535 secs
lola: 40129370 markings, 222742265 edges, 10203 markings/sec, 2540 secs
lola: 40182993 markings, 223192664 edges, 10725 markings/sec, 2545 secs
lola: 40244527 markings, 223643124 edges, 12307 markings/sec, 2550 secs
lola: 40302388 markings, 224097843 edges, 11572 markings/sec, 2555 secs
lola: 40356497 markings, 224552055 edges, 10822 markings/sec, 2560 secs
lola: 40408317 markings, 225003841 edges, 10364 markings/sec, 2565 secs
lola: 40466396 markings, 225458076 edges, 11616 markings/sec, 2570 secs
lola: 40525122 markings, 225908358 edges, 11745 markings/sec, 2575 secs
lola: 40582540 markings, 226361230 edges, 11484 markings/sec, 2580 secs
lola: 40635738 markings, 226815265 edges, 10640 markings/sec, 2585 secs
lola: 40683720 markings, 227232354 edges, 9596 markings/sec, 2590 secs
lola: 40737113 markings, 227644027 edges, 10679 markings/sec, 2595 secs
lola: 40790313 markings, 228053410 edges, 10640 markings/sec, 2600 secs
lola: 40844698 markings, 228480655 edges, 10877 markings/sec, 2605 secs
lola: 40897332 markings, 228923162 edges, 10527 markings/sec, 2610 secs
lola: 40947803 markings, 229362887 edges, 10094 markings/sec, 2615 secs
lola: 41001385 markings, 229786630 edges, 10716 markings/sec, 2620 secs
lola: 41054906 markings, 230191510 edges, 10704 markings/sec, 2625 secs
lola: 41107029 markings, 230598411 edges, 10425 markings/sec, 2630 secs
lola: 41156296 markings, 231010215 edges, 9853 markings/sec, 2635 secs
lola: 41207936 markings, 231460540 edges, 10328 markings/sec, 2640 secs
lola: 41261105 markings, 231903786 edges, 10634 markings/sec, 2645 secs
lola: 41333750 markings, 232351364 edges, 14529 markings/sec, 2650 secs
lola: 41406253 markings, 232801194 edges, 14501 markings/sec, 2655 secs
lola: 41476216 markings, 233217875 edges, 13993 markings/sec, 2660 secs
lola: 41549531 markings, 233626004 edges, 14663 markings/sec, 2665 secs
lola: 41614882 markings, 234034483 edges, 13070 markings/sec, 2670 secs
lola: 41698401 markings, 234439290 edges, 16704 markings/sec, 2675 secs
lola: 41775934 markings, 234855872 edges, 15507 markings/sec, 2680 secs
lola: 41858252 markings, 235279661 edges, 16464 markings/sec, 2685 secs
lola: 41938737 markings, 235698202 edges, 16097 markings/sec, 2690 secs
lola: 42017222 markings, 236141411 edges, 15697 markings/sec, 2695 secs
lola: 42095710 markings, 236593244 edges, 15698 markings/sec, 2700 secs
lola: 42174998 markings, 237041550 edges, 15858 markings/sec, 2705 secs
lola: 42247328 markings, 237471143 edges, 14466 markings/sec, 2710 secs
lola: 42321207 markings, 237895286 edges, 14776 markings/sec, 2715 secs
lola: 42399691 markings, 238341476 edges, 15697 markings/sec, 2720 secs
lola: 42472086 markings, 238753938 edges, 14479 markings/sec, 2725 secs
lola: 42542482 markings, 239163751 edges, 14079 markings/sec, 2730 secs
lola: 42613946 markings, 239575454 edges, 14293 markings/sec, 2735 secs
lola: 42685559 markings, 239985505 edges, 14323 markings/sec, 2740 secs
lola: 42763320 markings, 240414128 edges, 15552 markings/sec, 2745 secs
lola: 42840591 markings, 240856491 edges, 15454 markings/sec, 2750 secs
lola: 42913383 markings, 241294038 edges, 14558 markings/sec, 2755 secs
lola: 42988020 markings, 241740121 edges, 14927 markings/sec, 2760 secs
lola: 43058397 markings, 242147868 edges, 14075 markings/sec, 2765 secs
lola: 43130143 markings, 242559380 edges, 14349 markings/sec, 2770 secs
lola: 43204565 markings, 242973332 edges, 14884 markings/sec, 2775 secs
lola: 43277431 markings, 243389705 edges, 14573 markings/sec, 2780 secs
lola: 43352984 markings, 243827154 edges, 15111 markings/sec, 2785 secs
lola: 43426138 markings, 244270884 edges, 14631 markings/sec, 2790 secs
lola: 43495827 markings, 244690920 edges, 13938 markings/sec, 2795 secs
lola: 43571217 markings, 245121624 edges, 15078 markings/sec, 2800 secs
lola: 43645278 markings, 245556038 edges, 14812 markings/sec, 2805 secs
lola: 43721107 markings, 245994759 edges, 15166 markings/sec, 2810 secs
lola: 43797892 markings, 246441554 edges, 15357 markings/sec, 2815 secs
lola: 43869973 markings, 246858042 edges, 14416 markings/sec, 2820 secs
lola: 43944018 markings, 247264704 edges, 14809 markings/sec, 2825 secs
lola: 44014846 markings, 247669202 edges, 14166 markings/sec, 2830 secs
lola: 44090636 markings, 248121909 edges, 15158 markings/sec, 2835 secs
lola: 44165514 markings, 248577300 edges, 14976 markings/sec, 2840 secs
lola: 44242192 markings, 249033176 edges, 15336 markings/sec, 2845 secs
lola: 44316853 markings, 249487492 edges, 14932 markings/sec, 2850 secs
lola: 44398675 markings, 249935389 edges, 16364 markings/sec, 2855 secs
lola: 44478786 markings, 250392320 edges, 16022 markings/sec, 2860 secs
lola: 44556066 markings, 250835036 edges, 15456 markings/sec, 2865 secs
lola: 44629814 markings, 251283222 edges, 14750 markings/sec, 2870 secs
lola: 44699990 markings, 251696671 edges, 14035 markings/sec, 2875 secs
lola: 44770270 markings, 252110217 edges, 14056 markings/sec, 2880 secs
lola: 44841935 markings, 252525198 edges, 14333 markings/sec, 2885 secs
lola: 44913159 markings, 252952394 edges, 14245 markings/sec, 2890 secs
lola: 44991231 markings, 253397881 edges, 15614 markings/sec, 2895 secs
lola: 45073294 markings, 253845004 edges, 16413 markings/sec, 2900 secs
lola: 45153352 markings, 254284720 edges, 16012 markings/sec, 2905 secs
lola: 45227077 markings, 254707785 edges, 14745 markings/sec, 2910 secs
lola: 45300563 markings, 255114143 edges, 14697 markings/sec, 2915 secs
lola: 45372114 markings, 255523322 edges, 14310 markings/sec, 2920 secs
lola: 45439413 markings, 255934989 edges, 13460 markings/sec, 2925 secs
lola: 45514209 markings, 256343611 edges, 14959 markings/sec, 2930 secs
lola: 45583053 markings, 256752533 edges, 13769 markings/sec, 2935 secs
lola: 45653008 markings, 257158647 edges, 13991 markings/sec, 2940 secs
lola: 45723486 markings, 257561183 edges, 14096 markings/sec, 2945 secs
lola: 45794852 markings, 257964307 edges, 14273 markings/sec, 2950 secs
lola: 45868627 markings, 258372455 edges, 14755 markings/sec, 2955 secs
lola: 45937404 markings, 258781095 edges, 13755 markings/sec, 2960 secs
lola: 46004333 markings, 259201051 edges, 13386 markings/sec, 2965 secs
lola: 46078553 markings, 259629324 edges, 14844 markings/sec, 2970 secs
lola: 46150595 markings, 260056739 edges, 14408 markings/sec, 2975 secs
lola: 46224110 markings, 260467359 edges, 14703 markings/sec, 2980 secs
lola: 46293305 markings, 260875565 edges, 13839 markings/sec, 2985 secs
lola: 46361034 markings, 261288733 edges, 13546 markings/sec, 2990 secs
lola: 46428212 markings, 261709637 edges, 13436 markings/sec, 2995 secs
lola: 46499962 markings, 262163927 edges, 14350 markings/sec, 3000 secs
lola: 46580526 markings, 262620345 edges, 16113 markings/sec, 3005 secs
lola: 46657762 markings, 263078738 edges, 15447 markings/sec, 3010 secs
lola: 46734442 markings, 263541024 edges, 15336 markings/sec, 3015 secs
lola: 46809087 markings, 263994379 edges, 14929 markings/sec, 3020 secs
lola: 46885367 markings, 264445272 edges, 15256 markings/sec, 3025 secs
lola: 46964304 markings, 264897753 edges, 15787 markings/sec, 3030 secs
lola: 47041107 markings, 265340781 edges, 15361 markings/sec, 3035 secs
lola: 47118467 markings, 265785659 edges, 15472 markings/sec, 3040 secs
lola: 47195829 markings, 266224529 edges, 15472 markings/sec, 3045 secs
lola: 47268019 markings, 266661543 edges, 14438 markings/sec, 3050 secs
lola: 47333332 markings, 267100567 edges, 13063 markings/sec, 3055 secs
lola: 47407928 markings, 267538103 edges, 14919 markings/sec, 3060 secs
lola: 47478971 markings, 267990479 edges, 14209 markings/sec, 3065 secs
lola: 47549014 markings, 268441332 edges, 14009 markings/sec, 3070 secs
lola: 47618938 markings, 268887199 edges, 13985 markings/sec, 3075 secs
lola: 47685984 markings, 269329783 edges, 13409 markings/sec, 3080 secs
lola: 47749869 markings, 269775075 edges, 12777 markings/sec, 3085 secs
lola: 47807442 markings, 270217399 edges, 11515 markings/sec, 3090 secs
lola: 47865772 markings, 270663418 edges, 11666 markings/sec, 3095 secs
lola: 47934256 markings, 271105433 edges, 13697 markings/sec, 3100 secs
lola: 48000788 markings, 271557058 edges, 13306 markings/sec, 3105 secs
lola: 48072130 markings, 272006317 edges, 14268 markings/sec, 3110 secs
lola: 48149334 markings, 272450241 edges, 15441 markings/sec, 3115 secs
lola: 48223248 markings, 272899526 edges, 14783 markings/sec, 3120 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes yes yes no unknown no no yes no unknown
lola:
preliminary result: no yes yes yes no unknown no no yes no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes yes no unknown no no yes no unknown
lola: memory consumption: 8213992 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes yes no unknown no no yes no unknown
lola: memory consumption: 8213992 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
rslt: finished

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-5B"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is NoC3x3-PT-5B, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r174-csrt-158987853100403"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;