About the Execution of 2019-Gold for CloudReconfiguration-PT-316
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
5889.450 | 3570292.00 | 3659809.00 | 502.90 | FT?FFFFFTFFFFTFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r060-ebro-158902579500031.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is CloudReconfiguration-PT-316, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r060-ebro-158902579500031
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 26 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 660K 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 CloudReconfiguration-PT-316-00
FORMULA_NAME CloudReconfiguration-PT-316-01
FORMULA_NAME CloudReconfiguration-PT-316-02
FORMULA_NAME CloudReconfiguration-PT-316-03
FORMULA_NAME CloudReconfiguration-PT-316-04
FORMULA_NAME CloudReconfiguration-PT-316-05
FORMULA_NAME CloudReconfiguration-PT-316-06
FORMULA_NAME CloudReconfiguration-PT-316-07
FORMULA_NAME CloudReconfiguration-PT-316-08
FORMULA_NAME CloudReconfiguration-PT-316-09
FORMULA_NAME CloudReconfiguration-PT-316-10
FORMULA_NAME CloudReconfiguration-PT-316-11
FORMULA_NAME CloudReconfiguration-PT-316-12
FORMULA_NAME CloudReconfiguration-PT-316-13
FORMULA_NAME CloudReconfiguration-PT-316-14
FORMULA_NAME CloudReconfiguration-PT-316-15
=== Now, execution of the tool begins
BK_START 1589853751933
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ CloudReconfiguration-PT-316 @ 3570 seconds
FORMULA CloudReconfiguration-PT-316-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-316-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-316-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-316-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-316-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-316-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-316-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-316-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-316-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-316-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-316-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-316-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-316-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-316-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-316-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for LTLCardinality @ CloudReconfiguration-PT-316
{
"exit":
{
"memory": 5788272,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"result":
{
"preliminary_value": "no yes unknown no no no no no yes no no no no yes no no "
},
"task":
{
"compoundnumber": 16,
"type": "boolean"
}
}
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: 5680/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2585
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p2437)
lola: LP says that atomic proposition is always false: (3 <= p2437)
lola: LP says that atomic proposition is always false: (3 <= p2374)
lola: LP says that atomic proposition is always false: (3 <= p1823)
lola: LP says that atomic proposition is always false: (3 <= p1321)
lola: LP says that atomic proposition is always false: (3 <= p48)
lola: LP says that atomic proposition is always false: (2 <= p458)
lola: LP says that atomic proposition is always false: (3 <= p48)
lola: LP says that atomic proposition is always false: (3 <= p1195)
lola: LP says that atomic proposition is always false: (3 <= p1557)
lola: LP says that atomic proposition is always false: (3 <= p39)
lola: LP says that atomic proposition is always false: (3 <= p2480)
lola: LP says that atomic proposition is always false: (2 <= p813)
lola: LP says that atomic proposition is always false: (3 <= p1789)
lola: LP says that atomic proposition is always false: (2 <= p813)
lola: LP says that atomic proposition is always false: (3 <= p1280)
lola: LP says that atomic proposition is always false: (3 <= p454)
lola: LP says that atomic proposition is always false: (3 <= p1280)
lola: LP says that atomic proposition is always false: (3 <= p454)
lola: A (G ((F (G (((p98 <= p2168) OR G (F ((0 <= p2566)))))) AND G ((p98 <= p2168))))) : A ((((p2055 <= p2234) OR F ((p2055 <= p2234))) OR (((p684 <= p903) OR G ((3 <= p2437))) AND G ((p2437 <= 2))))) : A ((X ((p2535 <= p2049)) AND F (G ((((p2166 <= 0) OR (p680 <= p21)) U (p628 <= p1060)))))) : A (G (X (G (X (NOT((((p1272 <= p1838) AND ((p69 <= p1734) OR G ((p86 <= p1713)))) OR F (X ((3 <= p2374)))))))))) : A (F (G ((NOT(F ((p1477 <= p1275))) AND F (((p238 <= p2406) OR F ((3 <= p1823)))))))) : A (F (G ((p1771 <= p1525)))) : A ((((p2176 + 1 <= p1987) U NOT(G (F ((0 <= p1921))))) AND X ((p1987 <= p2176)))) : A ((F ((3 <= p1321)) AND X (((3 <= p48) U (G ((p458 <= 1)) U (3 <= p48)))))) : A (X (G ((p1195 <= 2)))) : A (((0 <= p1969) AND G (X (((3 <= p1557) OR G ((p1188 + 1 <= p1950))))))) : A ((X ((p1985 <= p2018)) AND F (X (((3 <= p39) AND F (X (X ((p1985 <= p2018))))))))) : A (F (((X (G ((3 <= p2480))) U G ((p746 <= p545))) U F ((p1203 + 1 <= p925))))) : A ((F (G (())) U (2 <= p813))) : A (X (G ((G (()) U (0 <= p1594))))) : A ((((p35 <= p2322) U F ((3 <= p1280))) AND ((3 <= p454) OR ((p35 <= p2322) U (G (()) U (p35 <= p2322)))))) : A (((NOT(X ((p1366 + 1 <= p2053))) U (1 <= p602)) AND F ((p1911 <= p327))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 217 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 103 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 231 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 103 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 248 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 103 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 267 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 103 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 289 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 103 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 316 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((p1188 + 1 <= p1950))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((p1188 + 1 <= p1950))))
lola: processed formula length: 32
lola: 103 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 71 markings, 71 edges
lola: ========================================
lola: subprocess 6 will run for 347 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X ((p2535 <= p2049))) AND A (F (G ((F ((p628 <= p1060)) AND (((p2166 <= 0) OR (p680 <= p21)) OR (p628 <= p1060)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 347 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((F ((p628 <= p1060)) AND (((p2166 <= 0) OR (p680 <= p21)) OR (p628 <= p1060))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F ((p628 <= p1060)) AND (((p2166 <= 0) OR (p680 <= p21)) OR (p628 <= p1060))))))
lola: processed formula length: 91
lola: 103 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 55803 markings, 151744 edges, 11161 markings/sec, 0 secs
lola: 121553 markings, 296663 edges, 13150 markings/sec, 5 secs
lola: 213007 markings, 441824 edges, 18291 markings/sec, 10 secs
lola: 268267 markings, 589165 edges, 11052 markings/sec, 15 secs
lola: 341013 markings, 730707 edges, 14549 markings/sec, 20 secs
lola: 389204 markings, 885705 edges, 9638 markings/sec, 25 secs
lola: 458134 markings, 1019054 edges, 13786 markings/sec, 30 secs
lola: 529203 markings, 1160236 edges, 14214 markings/sec, 35 secs
lola: 593737 markings, 1295451 edges, 12907 markings/sec, 40 secs
lola: 661514 markings, 1432108 edges, 13555 markings/sec, 45 secs
lola: 714930 markings, 1580223 edges, 10683 markings/sec, 50 secs
lola: 781962 markings, 1715101 edges, 13406 markings/sec, 55 secs
lola: 841514 markings, 1856254 edges, 11910 markings/sec, 60 secs
lola: 891110 markings, 2004596 edges, 9919 markings/sec, 65 secs
lola: 953923 markings, 2138149 edges, 12563 markings/sec, 70 secs
lola: 1006654 markings, 2276983 edges, 10546 markings/sec, 75 secs
lola: 1073426 markings, 2408447 edges, 13354 markings/sec, 80 secs
lola: 1139149 markings, 2542275 edges, 13145 markings/sec, 85 secs
lola: 1192823 markings, 2678079 edges, 10735 markings/sec, 90 secs
lola: 1242997 markings, 2822829 edges, 10035 markings/sec, 95 secs
lola: 1299413 markings, 2961984 edges, 11283 markings/sec, 100 secs
lola: 1359501 markings, 3097192 edges, 12018 markings/sec, 105 secs
lola: 1408473 markings, 3228775 edges, 9794 markings/sec, 110 secs
lola: 1454906 markings, 3379060 edges, 9287 markings/sec, 115 secs
lola: 1506029 markings, 3528831 edges, 10225 markings/sec, 120 secs
lola: 1559686 markings, 3684923 edges, 10731 markings/sec, 125 secs
lola: 1614598 markings, 3842056 edges, 10982 markings/sec, 130 secs
lola: 1666152 markings, 3998856 edges, 10311 markings/sec, 135 secs
lola: 1716220 markings, 4156291 edges, 10014 markings/sec, 140 secs
lola: 1764803 markings, 4305356 edges, 9717 markings/sec, 145 secs
lola: 1810825 markings, 4454182 edges, 9204 markings/sec, 150 secs
lola: 1856132 markings, 4598065 edges, 9061 markings/sec, 155 secs
lola: 1904681 markings, 4744168 edges, 9710 markings/sec, 160 secs
lola: 1956354 markings, 4881958 edges, 10335 markings/sec, 165 secs
lola: 2013157 markings, 5023681 edges, 11361 markings/sec, 170 secs
lola: 2066309 markings, 5161716 edges, 10630 markings/sec, 175 secs
lola: 2115202 markings, 5285815 edges, 9779 markings/sec, 180 secs
lola: 2160333 markings, 5406883 edges, 9026 markings/sec, 185 secs
lola: 2205615 markings, 5518843 edges, 9056 markings/sec, 190 secs
lola: 2243668 markings, 5641829 edges, 7611 markings/sec, 195 secs
lola: 2283023 markings, 5777668 edges, 7871 markings/sec, 200 secs
lola: 2324114 markings, 5922034 edges, 8218 markings/sec, 205 secs
lola: 2373683 markings, 6074411 edges, 9914 markings/sec, 210 secs
lola: 2424312 markings, 6229527 edges, 10126 markings/sec, 215 secs
lola: 2469383 markings, 6378656 edges, 9014 markings/sec, 220 secs
lola: 2519452 markings, 6525217 edges, 10014 markings/sec, 225 secs
lola: 2558581 markings, 6670678 edges, 7826 markings/sec, 230 secs
lola: 2606074 markings, 6811966 edges, 9499 markings/sec, 235 secs
lola: 2647889 markings, 6963253 edges, 8363 markings/sec, 240 secs
lola: 2683980 markings, 7107638 edges, 7218 markings/sec, 245 secs
lola: 2720624 markings, 7231084 edges, 7329 markings/sec, 250 secs
lola: 2766375 markings, 7354928 edges, 9150 markings/sec, 255 secs
lola: 2812835 markings, 7493253 edges, 9292 markings/sec, 260 secs
lola: 2859330 markings, 7630532 edges, 9299 markings/sec, 265 secs
lola: 2899637 markings, 7775715 edges, 8061 markings/sec, 270 secs
lola: 2933945 markings, 7915935 edges, 6862 markings/sec, 275 secs
lola: 2971371 markings, 8051490 edges, 7485 markings/sec, 280 secs
lola: 3012773 markings, 8192748 edges, 8280 markings/sec, 285 secs
lola: 3054657 markings, 8333548 edges, 8377 markings/sec, 290 secs
lola: 3097995 markings, 8471601 edges, 8668 markings/sec, 295 secs
lola: 3141853 markings, 8610793 edges, 8772 markings/sec, 300 secs
lola: 3189402 markings, 8759985 edges, 9510 markings/sec, 305 secs
lola: 3240775 markings, 8893193 edges, 10275 markings/sec, 310 secs
lola: 3285883 markings, 9023582 edges, 9022 markings/sec, 315 secs
lola: 3325068 markings, 9164574 edges, 7837 markings/sec, 320 secs
lola: 3355116 markings, 9292579 edges, 6010 markings/sec, 325 secs
lola: 3395187 markings, 9418657 edges, 8014 markings/sec, 330 secs
lola: 3436055 markings, 9555953 edges, 8174 markings/sec, 335 secs
lola: 3475023 markings, 9690629 edges, 7794 markings/sec, 340 secs
lola: local time limit reached - aborting
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: unknown unknown unknown unknown unknown unknown no no unknown no no unknown no unknown no unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown no no unknown no no unknown no unknown no unknown
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown no no unknown no no unknown no unknown no unknown
lola: memory consumption: 944596 KB
lola: time consumption: 440 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown no no unknown no no unknown no unknown no unknown
lola: memory consumption: 944596 KB
lola: time consumption: 440 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 347 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G (((p1838 + 1 <= p1272) OR ((p1734 + 1 <= p69) AND F ((p1713 + 1 <= p86))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G (((p1838 + 1 <= p1272) OR ((p1734 + 1 <= p69) AND F ((p1713 + 1 <= p86))))))))
lola: processed formula length: 89
lola: 103 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 71 markings, 71 edges
lola: ========================================
lola: subprocess 8 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (TRUE))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (TRUE))
lola: processed formula length: 12
lola: 103 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 9 will run for 447 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (TRUE))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (TRUE))
lola: processed formula length: 12
lola: 103 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 10 will run for 521 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((X ((p2053 <= p1366)) U (1 <= p602))) AND A (F ((p1911 <= p327))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 521 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p1911 <= p327)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p327 + 1 <= p1911)
lola: processed formula length: 19
lola: 105 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 626 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((p2053 <= p1366)) U (1 <= p602)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((p2053 <= p1366)) U (1 <= p602)))
lola: processed formula length: 40
lola: 103 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 141 markings, 142 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 11 will run for 626 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p98 <= p2168)))
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 ((p98 <= p2168)))
lola: processed formula length: 22
lola: 105 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
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: (p2168 + 1 <= p98)
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: 518 markings, 554 edges
lola: ========================================
lola: subprocess 12 will run for 782 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p1771 <= p1525))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p1771 <= p1525))))
lola: processed formula length: 28
lola: 103 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: add low 192
lola: add low 1900
lola: add low 2192
lola: add low 193
lola: add low 77
lola: add low 935
lola: add low 936
lola: add low 937
lola: add low 938
lola: add low 939
lola: add low 940
lola: add low 941
lola: add low 942
lola: add low 587
lola: add low 588
lola: add low 589
lola: add low 590
lola: add low 591
lola: add low 592
lola: add low 593
lola: add low 594
lola: add low 1821
lola: add low 1822
lola: add low 320
lola: add low 55
lola: add low 56
lola: add low 57
lola: add low 1823
lola: add low 1824
lola: add low 1835
lola: add low 587
lola: add low 588
lola: add low 589
lola: add low 590
lola: add low 591
lola: add low 592
lola: add low 593
lola: add low 594
lola: add low 58
lola: add low 59
lola: add low 60
lola: add low 61
lola: add low 62
lola: add low 183
lola: add low 184
lola: add low 185
lola: add low 186
lola: add low 187
lola: add low 188
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 27999 markings, 36691 edges
lola: ========================================
lola: subprocess 13 will run for 1042 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((G ((p1275 + 1 <= p1477)) AND F ((p238 <= p2406))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((G ((p1275 + 1 <= p1477)) AND F ((p238 <= p2406))))))
lola: processed formula length: 62
lola: 103 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 68 markings, 69 edges
lola: ========================================
lola: subprocess 14 will run for 1564 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((F ((p1203 + 1 <= p925)) OR (G ((p746 <= p545)) AND F ((p1203 + 1 <= p925))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((F ((p1203 + 1 <= p925)) OR (G ((p746 <= p545)) AND F ((p1203 + 1 <= p925))))))
lola: processed formula length: 85
lola: 103 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 8731 markings, 11000 edges
lola: ========================================
lola: subprocess 15 will run for 3128 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p2055 <= p2234) OR (F ((p2055 <= p2234)) OR (p684 <= p903))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p2055 <= p2234) OR (F ((p2055 <= p2234)) OR (p684 <= p903))))
lola: processed formula length: 66
lola: 103 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (A (X ((p2535 <= p2049))) AND A (F (G ((F ((p628 <= p1060)) AND (((p2166 <= 0) OR (p680 <= p21)) OR (p628 <= p1060)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (F (G ((F ((p628 <= p1060)) AND (((p2166 <= 0) OR (p680 <= p21)) OR (p628 <= p1060))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F ((p628 <= p1060)) AND (((p2166 <= 0) OR (p680 <= p21)) OR (p628 <= p1060))))))
lola: processed formula length: 91
lola: 103 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 55737 markings, 151461 edges, 11147 markings/sec, 0 secs
lola: 119727 markings, 294311 edges, 12798 markings/sec, 5 secs
lola: 211527 markings, 438076 edges, 18360 markings/sec, 10 secs
lola: 266733 markings, 584115 edges, 11041 markings/sec, 15 secs
lola: 338677 markings, 726046 edges, 14389 markings/sec, 20 secs
lola: 387962 markings, 881621 edges, 9857 markings/sec, 25 secs
lola: 457089 markings, 1016246 edges, 13825 markings/sec, 30 secs
lola: 526765 markings, 1155605 edges, 13935 markings/sec, 35 secs
lola: 591837 markings, 1291908 edges, 13014 markings/sec, 40 secs
lola: 659866 markings, 1428146 edges, 13606 markings/sec, 45 secs
lola: 714002 markings, 1577405 edges, 10827 markings/sec, 50 secs
lola: 780796 markings, 1712804 edges, 13359 markings/sec, 55 secs
lola: 840661 markings, 1854232 edges, 11973 markings/sec, 60 secs
lola: 890601 markings, 2003091 edges, 9988 markings/sec, 65 secs
lola: 954005 markings, 2138264 edges, 12681 markings/sec, 70 secs
lola: 1006951 markings, 2278093 edges, 10589 markings/sec, 75 secs
lola: 1074376 markings, 2410642 edges, 13485 markings/sec, 80 secs
lola: 1139769 markings, 2544603 edges, 13079 markings/sec, 85 secs
lola: 1193789 markings, 2681108 edges, 10804 markings/sec, 90 secs
lola: 1243841 markings, 2826096 edges, 10010 markings/sec, 95 secs
lola: 1299785 markings, 2962547 edges, 11189 markings/sec, 100 secs
lola: 1359670 markings, 3097921 edges, 11977 markings/sec, 105 secs
lola: 1408655 markings, 3229602 edges, 9797 markings/sec, 110 secs
lola: 1454861 markings, 3378881 edges, 9241 markings/sec, 115 secs
lola: 1505814 markings, 3528361 edges, 10191 markings/sec, 120 secs
lola: 1559388 markings, 3683775 edges, 10715 markings/sec, 125 secs
lola: 1614067 markings, 3839941 edges, 10936 markings/sec, 130 secs
lola: 1664968 markings, 3995776 edges, 10180 markings/sec, 135 secs
lola: 1714659 markings, 4152083 edges, 9938 markings/sec, 140 secs
lola: 1763658 markings, 4300788 edges, 9800 markings/sec, 145 secs
lola: 1809451 markings, 4448537 edges, 9159 markings/sec, 150 secs
lola: 1855191 markings, 4593884 edges, 9148 markings/sec, 155 secs
lola: 1903409 markings, 4739850 edges, 9644 markings/sec, 160 secs
lola: 1955583 markings, 4879707 edges, 10435 markings/sec, 165 secs
lola: 2013149 markings, 5023650 edges, 11513 markings/sec, 170 secs
lola: 2066654 markings, 5162581 edges, 10701 markings/sec, 175 secs
lola: 2116462 markings, 5289342 edges, 9962 markings/sec, 180 secs
lola: 2162869 markings, 5413175 edges, 9281 markings/sec, 185 secs
lola: 2210665 markings, 5530990 edges, 9559 markings/sec, 190 secs
lola: 2247932 markings, 5659403 edges, 7453 markings/sec, 195 secs
lola: 2287549 markings, 5793940 edges, 7923 markings/sec, 200 secs
lola: 2328210 markings, 5935830 edges, 8132 markings/sec, 205 secs
lola: 2378726 markings, 6087049 edges, 10103 markings/sec, 210 secs
lola: 2429534 markings, 6242460 edges, 10162 markings/sec, 215 secs
lola: 2473627 markings, 6392918 edges, 8819 markings/sec, 220 secs
lola: 2523773 markings, 6539564 edges, 10029 markings/sec, 225 secs
lola: 2562563 markings, 6684751 edges, 7758 markings/sec, 230 secs
lola: 2609585 markings, 6826081 edges, 9404 markings/sec, 235 secs
lola: 2651806 markings, 6978331 edges, 8444 markings/sec, 240 secs
lola: 2687584 markings, 7120025 edges, 7156 markings/sec, 245 secs
lola: 2723455 markings, 7240463 edges, 7174 markings/sec, 250 secs
lola: 2773183 markings, 7367857 edges, 9946 markings/sec, 255 secs
lola: 2816656 markings, 7505821 edges, 8695 markings/sec, 260 secs
lola: 2864625 markings, 7647290 edges, 9594 markings/sec, 265 secs
lola: 2904110 markings, 7794281 edges, 7897 markings/sec, 270 secs
lola: 2938268 markings, 7932406 edges, 6832 markings/sec, 275 secs
lola: 2975218 markings, 8067036 edges, 7390 markings/sec, 280 secs
lola: 3016083 markings, 8205985 edges, 8173 markings/sec, 285 secs
lola: 3059506 markings, 8345447 edges, 8685 markings/sec, 290 secs
lola: 3101977 markings, 8481535 edges, 8494 markings/sec, 295 secs
lola: 3144943 markings, 8618780 edges, 8593 markings/sec, 300 secs
lola: 3190939 markings, 8765074 edges, 9199 markings/sec, 305 secs
lola: 3240119 markings, 8890864 edges, 9836 markings/sec, 310 secs
lola: 3285505 markings, 9022073 edges, 9077 markings/sec, 315 secs
lola: 3325209 markings, 9165022 edges, 7941 markings/sec, 320 secs
lola: 3355899 markings, 9295732 edges, 6138 markings/sec, 325 secs
lola: 3397077 markings, 9426526 edges, 8236 markings/sec, 330 secs
lola: 3438534 markings, 9564828 edges, 8291 markings/sec, 335 secs
lola: 3477626 markings, 9702032 edges, 7818 markings/sec, 340 secs
lola: 3513196 markings, 9835647 edges, 7114 markings/sec, 345 secs
lola: 3554959 markings, 9967249 edges, 8353 markings/sec, 350 secs
lola: 3596008 markings, 10103140 edges, 8210 markings/sec, 355 secs
lola: 3630550 markings, 10241515 edges, 6908 markings/sec, 360 secs
lola: 3663138 markings, 10376868 edges, 6518 markings/sec, 365 secs
lola: 3703388 markings, 10516501 edges, 8050 markings/sec, 370 secs
lola: 3747052 markings, 10657244 edges, 8733 markings/sec, 375 secs
lola: 3790990 markings, 10789380 edges, 8788 markings/sec, 380 secs
lola: 3823801 markings, 10926969 edges, 6562 markings/sec, 385 secs
lola: 3856560 markings, 11062560 edges, 6552 markings/sec, 390 secs
lola: 3888974 markings, 11198699 edges, 6483 markings/sec, 395 secs
lola: 3921260 markings, 11333212 edges, 6457 markings/sec, 400 secs
lola: 3953660 markings, 11468923 edges, 6480 markings/sec, 405 secs
lola: 3987204 markings, 11614736 edges, 6709 markings/sec, 410 secs
lola: 4016598 markings, 11743058 edges, 5879 markings/sec, 415 secs
lola: 4048378 markings, 11884823 edges, 6356 markings/sec, 420 secs
lola: 4080920 markings, 12012182 edges, 6508 markings/sec, 425 secs
lola: 4121270 markings, 12163725 edges, 8070 markings/sec, 430 secs
lola: 4156699 markings, 12299907 edges, 7086 markings/sec, 435 secs
lola: 4192656 markings, 12436949 edges, 7191 markings/sec, 440 secs
lola: 4238616 markings, 12585670 edges, 9192 markings/sec, 445 secs
lola: 4281898 markings, 12722073 edges, 8656 markings/sec, 450 secs
lola: 4315343 markings, 12856930 edges, 6689 markings/sec, 455 secs
lola: 4363221 markings, 13005929 edges, 9576 markings/sec, 460 secs
lola: 4404731 markings, 13145288 edges, 8302 markings/sec, 465 secs
lola: 4436831 markings, 13274704 edges, 6420 markings/sec, 470 secs
lola: 4470149 markings, 13404622 edges, 6664 markings/sec, 475 secs
lola: 4501064 markings, 13532347 edges, 6183 markings/sec, 480 secs
lola: 4531422 markings, 13658856 edges, 6072 markings/sec, 485 secs
lola: 4561786 markings, 13785480 edges, 6073 markings/sec, 490 secs
lola: 4605634 markings, 13923472 edges, 8770 markings/sec, 495 secs
lola: 4645680 markings, 14052519 edges, 8009 markings/sec, 500 secs
lola: 4676160 markings, 14175184 edges, 6096 markings/sec, 505 secs
lola: 4715665 markings, 14300255 edges, 7901 markings/sec, 510 secs
lola: 4756951 markings, 14432798 edges, 8257 markings/sec, 515 secs
lola: 4791791 markings, 14555941 edges, 6968 markings/sec, 520 secs
lola: 4822021 markings, 14669277 edges, 6046 markings/sec, 525 secs
lola: 4864167 markings, 14802973 edges, 8429 markings/sec, 530 secs
lola: 4903524 markings, 14928025 edges, 7871 markings/sec, 535 secs
lola: 4934403 markings, 15050468 edges, 6176 markings/sec, 540 secs
lola: 4966585 markings, 15169994 edges, 6436 markings/sec, 545 secs
lola: 5002322 markings, 15296191 edges, 7147 markings/sec, 550 secs
lola: 5043416 markings, 15430715 edges, 8219 markings/sec, 555 secs
lola: 5080304 markings, 15553506 edges, 7378 markings/sec, 560 secs
lola: 5109991 markings, 15670526 edges, 5937 markings/sec, 565 secs
lola: 5141094 markings, 15790603 edges, 6221 markings/sec, 570 secs
lola: 5182207 markings, 15922163 edges, 8223 markings/sec, 575 secs
lola: 5221382 markings, 16049969 edges, 7835 markings/sec, 580 secs
lola: 5254325 markings, 16172493 edges, 6589 markings/sec, 585 secs
lola: 5289466 markings, 16288222 edges, 7028 markings/sec, 590 secs
lola: 5330475 markings, 16420894 edges, 8202 markings/sec, 595 secs
lola: 5368502 markings, 16542979 edges, 7605 markings/sec, 600 secs
lola: 5396616 markings, 16661794 edges, 5623 markings/sec, 605 secs
lola: 5430569 markings, 16778486 edges, 6791 markings/sec, 610 secs
lola: 5459687 markings, 16899919 edges, 5824 markings/sec, 615 secs
lola: 5488351 markings, 17020069 edges, 5733 markings/sec, 620 secs
lola: 5520246 markings, 17141351 edges, 6379 markings/sec, 625 secs
lola: 5556953 markings, 17267299 edges, 7341 markings/sec, 630 secs
lola: 5589166 markings, 17382440 edges, 6443 markings/sec, 635 secs
lola: 5640990 markings, 17519830 edges, 10365 markings/sec, 640 secs
lola: 5687329 markings, 17655450 edges, 9268 markings/sec, 645 secs
lola: 5737213 markings, 17774557 edges, 9977 markings/sec, 650 secs
lola: 5776177 markings, 17911246 edges, 7793 markings/sec, 655 secs
lola: 5803883 markings, 18030914 edges, 5541 markings/sec, 660 secs
lola: 5839993 markings, 18142984 edges, 7222 markings/sec, 665 secs
lola: 5887278 markings, 18292480 edges, 9457 markings/sec, 670 secs
lola: 5930592 markings, 18426604 edges, 8663 markings/sec, 675 secs
lola: 5970411 markings, 18563591 edges, 7964 markings/sec, 680 secs
lola: 6010346 markings, 18702363 edges, 7987 markings/sec, 685 secs
lola: 6045571 markings, 18818438 edges, 7045 markings/sec, 690 secs
lola: 6097547 markings, 18954993 edges, 10395 markings/sec, 695 secs
lola: 6147369 markings, 19096326 edges, 9964 markings/sec, 700 secs
lola: 6195422 markings, 19219403 edges, 9611 markings/sec, 705 secs
lola: 6245809 markings, 19342645 edges, 10077 markings/sec, 710 secs
lola: 6295802 markings, 19484033 edges, 9999 markings/sec, 715 secs
lola: 6343267 markings, 19614569 edges, 9493 markings/sec, 720 secs
lola: 6378346 markings, 19744693 edges, 7016 markings/sec, 725 secs
lola: 6415816 markings, 19881129 edges, 7494 markings/sec, 730 secs
lola: 6445683 markings, 20007202 edges, 5973 markings/sec, 735 secs
lola: 6475670 markings, 20130610 edges, 5997 markings/sec, 740 secs
lola: 6504935 markings, 20252966 edges, 5853 markings/sec, 745 secs
lola: 6533775 markings, 20373465 edges, 5768 markings/sec, 750 secs
lola: 6562297 markings, 20492833 edges, 5704 markings/sec, 755 secs
lola: 6591161 markings, 20614426 edges, 5773 markings/sec, 760 secs
lola: 6631766 markings, 20746184 edges, 8121 markings/sec, 765 secs
lola: 6677001 markings, 20880916 edges, 9047 markings/sec, 770 secs
lola: 6712170 markings, 21007315 edges, 7034 markings/sec, 775 secs
lola: 6741852 markings, 21119063 edges, 5936 markings/sec, 780 secs
lola: 6781925 markings, 21249355 edges, 8015 markings/sec, 785 secs
lola: 6833314 markings, 21380191 edges, 10278 markings/sec, 790 secs
lola: 6898173 markings, 21504119 edges, 12972 markings/sec, 795 secs
lola: 6946512 markings, 21636952 edges, 9668 markings/sec, 800 secs
lola: 6990413 markings, 21786328 edges, 8780 markings/sec, 805 secs
lola: 7041168 markings, 21942947 edges, 10151 markings/sec, 810 secs
lola: 7084169 markings, 22079596 edges, 8600 markings/sec, 815 secs
lola: 7120831 markings, 22216462 edges, 7332 markings/sec, 820 secs
lola: 7154178 markings, 22351336 edges, 6669 markings/sec, 825 secs
lola: 7185131 markings, 22475554 edges, 6191 markings/sec, 830 secs
lola: 7218780 markings, 22618676 edges, 6730 markings/sec, 835 secs
lola: 7246548 markings, 22740910 edges, 5554 markings/sec, 840 secs
lola: 7271351 markings, 22848876 edges, 4961 markings/sec, 845 secs
lola: 7303637 markings, 22978359 edges, 6457 markings/sec, 850 secs
lola: 7333348 markings, 23109304 edges, 5942 markings/sec, 855 secs
lola: 7358425 markings, 23217946 edges, 5015 markings/sec, 860 secs
lola: 7387212 markings, 23338941 edges, 5757 markings/sec, 865 secs
lola: 7420021 markings, 23476706 edges, 6562 markings/sec, 870 secs
lola: 7446374 markings, 23592593 edges, 5271 markings/sec, 875 secs
lola: 7470358 markings, 23697586 edges, 4797 markings/sec, 880 secs
lola: 7504512 markings, 23819356 edges, 6831 markings/sec, 885 secs
lola: 7536690 markings, 23954903 edges, 6436 markings/sec, 890 secs
lola: 7563161 markings, 24071800 edges, 5294 markings/sec, 895 secs
lola: 7587806 markings, 24178268 edges, 4929 markings/sec, 900 secs
lola: 7619083 markings, 24303284 edges, 6255 markings/sec, 905 secs
lola: 7648468 markings, 24434016 edges, 5877 markings/sec, 910 secs
lola: 7673790 markings, 24543657 edges, 5064 markings/sec, 915 secs
lola: 7700612 markings, 24658317 edges, 5364 markings/sec, 920 secs
lola: 7734834 markings, 24784682 edges, 6844 markings/sec, 925 secs
lola: 7782521 markings, 24931882 edges, 9537 markings/sec, 930 secs
lola: 7826668 markings, 25061994 edges, 8829 markings/sec, 935 secs
lola: 7866593 markings, 25176563 edges, 7985 markings/sec, 940 secs
lola: 7920595 markings, 25326740 edges, 10800 markings/sec, 945 secs
lola: 7971003 markings, 25474814 edges, 10082 markings/sec, 950 secs
lola: 8021338 markings, 25627247 edges, 10067 markings/sec, 955 secs
lola: 8072650 markings, 25778733 edges, 10262 markings/sec, 960 secs
lola: 8121685 markings, 25930418 edges, 9807 markings/sec, 965 secs
lola: 8174932 markings, 26080568 edges, 10649 markings/sec, 970 secs
lola: 8215700 markings, 26219277 edges, 8154 markings/sec, 975 secs
lola: 8255321 markings, 26363704 edges, 7924 markings/sec, 980 secs
lola: 8305678 markings, 26509521 edges, 10071 markings/sec, 985 secs
lola: 8349064 markings, 26658852 edges, 8677 markings/sec, 990 secs
lola: 8391800 markings, 26806795 edges, 8547 markings/sec, 995 secs
lola: 8439087 markings, 26948314 edges, 9457 markings/sec, 1000 secs
lola: 8484574 markings, 27082156 edges, 9097 markings/sec, 1005 secs
lola: 8526741 markings, 27217697 edges, 8433 markings/sec, 1010 secs
lola: 8569046 markings, 27346079 edges, 8461 markings/sec, 1015 secs
lola: 8613442 markings, 27468103 edges, 8879 markings/sec, 1020 secs
lola: 8642654 markings, 27551045 edges, 5842 markings/sec, 1025 secs
lola: 8676680 markings, 27650469 edges, 6805 markings/sec, 1030 secs
lola: 8713745 markings, 27743791 edges, 7413 markings/sec, 1035 secs
lola: 8762804 markings, 27878417 edges, 9812 markings/sec, 1040 secs
lola: 8818761 markings, 28020342 edges, 11191 markings/sec, 1045 secs
lola: 8863824 markings, 28136399 edges, 9013 markings/sec, 1050 secs
lola: 8910533 markings, 28274159 edges, 9342 markings/sec, 1055 secs
lola: 8957862 markings, 28417632 edges, 9466 markings/sec, 1060 secs
lola: 8997304 markings, 28549748 edges, 7888 markings/sec, 1065 secs
lola: 9040291 markings, 28684679 edges, 8597 markings/sec, 1070 secs
lola: 9096183 markings, 28833712 edges, 11178 markings/sec, 1075 secs
lola: 9156163 markings, 28987955 edges, 11996 markings/sec, 1080 secs
lola: 9206285 markings, 29131057 edges, 10024 markings/sec, 1085 secs
lola: 9244103 markings, 29262864 edges, 7564 markings/sec, 1090 secs
lola: 9280248 markings, 29389945 edges, 7229 markings/sec, 1095 secs
lola: 9319410 markings, 29516528 edges, 7832 markings/sec, 1100 secs
lola: 9350271 markings, 29651408 edges, 6172 markings/sec, 1105 secs
lola: 9374185 markings, 29756409 edges, 4783 markings/sec, 1110 secs
lola: 9394709 markings, 29845488 edges, 4105 markings/sec, 1115 secs
lola: 9425722 markings, 29967585 edges, 6203 markings/sec, 1120 secs
lola: 9453670 markings, 30088168 edges, 5590 markings/sec, 1125 secs
lola: 9485266 markings, 30220578 edges, 6319 markings/sec, 1130 secs
lola: 9512390 markings, 30341502 edges, 5425 markings/sec, 1135 secs
lola: 9535326 markings, 30440335 edges, 4587 markings/sec, 1140 secs
lola: 9559944 markings, 30547557 edges, 4924 markings/sec, 1145 secs
lola: 9593752 markings, 30665712 edges, 6762 markings/sec, 1150 secs
lola: 9631953 markings, 30789453 edges, 7640 markings/sec, 1155 secs
lola: 9670906 markings, 30918486 edges, 7791 markings/sec, 1160 secs
lola: 9706832 markings, 31039081 edges, 7185 markings/sec, 1165 secs
lola: 9741069 markings, 31169798 edges, 6847 markings/sec, 1170 secs
lola: 9776702 markings, 31310440 edges, 7127 markings/sec, 1175 secs
lola: 9810791 markings, 31435931 edges, 6818 markings/sec, 1180 secs
lola: 9845144 markings, 31559850 edges, 6871 markings/sec, 1185 secs
lola: 9877175 markings, 31687660 edges, 6406 markings/sec, 1190 secs
lola: 9904800 markings, 31809075 edges, 5525 markings/sec, 1195 secs
lola: 9942156 markings, 31928572 edges, 7471 markings/sec, 1200 secs
lola: 9975986 markings, 32054647 edges, 6766 markings/sec, 1205 secs
lola: 10008034 markings, 32172770 edges, 6410 markings/sec, 1210 secs
lola: 10039880 markings, 32298065 edges, 6369 markings/sec, 1215 secs
lola: 10076484 markings, 32438597 edges, 7321 markings/sec, 1220 secs
lola: 10114182 markings, 32562861 edges, 7540 markings/sec, 1225 secs
lola: 10141111 markings, 32673638 edges, 5386 markings/sec, 1230 secs
lola: 10171980 markings, 32809753 edges, 6174 markings/sec, 1235 secs
lola: 10196816 markings, 32918537 edges, 4967 markings/sec, 1240 secs
lola: 10216758 markings, 33004787 edges, 3988 markings/sec, 1245 secs
lola: 10243199 markings, 33116194 edges, 5288 markings/sec, 1250 secs
lola: 10284311 markings, 33249638 edges, 8222 markings/sec, 1255 secs
lola: 10319056 markings, 33389688 edges, 6949 markings/sec, 1260 secs
lola: 10370088 markings, 33533600 edges, 10206 markings/sec, 1265 secs
lola: 10428047 markings, 33685476 edges, 11592 markings/sec, 1270 secs
lola: 10485173 markings, 33834815 edges, 11425 markings/sec, 1275 secs
lola: 10522276 markings, 33973938 edges, 7421 markings/sec, 1280 secs
lola: 10571294 markings, 34115558 edges, 9804 markings/sec, 1285 secs
lola: 10618457 markings, 34255572 edges, 9433 markings/sec, 1290 secs
lola: 10654149 markings, 34390178 edges, 7138 markings/sec, 1295 secs
lola: 10686705 markings, 34517835 edges, 6511 markings/sec, 1300 secs
lola: 10717672 markings, 34646342 edges, 6193 markings/sec, 1305 secs
lola: 10748161 markings, 34775033 edges, 6098 markings/sec, 1310 secs
lola: 10777752 markings, 34903008 edges, 5918 markings/sec, 1315 secs
lola: 10814838 markings, 35036520 edges, 7417 markings/sec, 1320 secs
lola: 10863087 markings, 35175973 edges, 9650 markings/sec, 1325 secs
lola: 10910413 markings, 35309355 edges, 9465 markings/sec, 1330 secs
lola: 10954233 markings, 35428240 edges, 8764 markings/sec, 1335 secs
lola: 10999090 markings, 35555343 edges, 8971 markings/sec, 1340 secs
lola: 11043723 markings, 35688011 edges, 8927 markings/sec, 1345 secs
lola: 11077087 markings, 35818268 edges, 6673 markings/sec, 1350 secs
lola: 11109825 markings, 35946327 edges, 6548 markings/sec, 1355 secs
lola: 11149127 markings, 36084532 edges, 7860 markings/sec, 1360 secs
lola: 11192705 markings, 36207980 edges, 8716 markings/sec, 1365 secs
lola: 11248667 markings, 36349101 edges, 11192 markings/sec, 1370 secs
lola: 11296370 markings, 36476957 edges, 9541 markings/sec, 1375 secs
lola: 11340815 markings, 36601139 edges, 8889 markings/sec, 1380 secs
lola: 11384301 markings, 36724827 edges, 8697 markings/sec, 1385 secs
lola: 11429784 markings, 36856184 edges, 9097 markings/sec, 1390 secs
lola: 11475488 markings, 36987220 edges, 9141 markings/sec, 1395 secs
lola: 11511979 markings, 37104640 edges, 7298 markings/sec, 1400 secs
lola: 11550566 markings, 37223129 edges, 7717 markings/sec, 1405 secs
lola: 11583600 markings, 37335091 edges, 6607 markings/sec, 1410 secs
lola: 11617343 markings, 37442199 edges, 6749 markings/sec, 1415 secs
lola: 11645191 markings, 37553152 edges, 5570 markings/sec, 1420 secs
lola: 11692461 markings, 37690336 edges, 9454 markings/sec, 1425 secs
lola: 11732709 markings, 37823997 edges, 8050 markings/sec, 1430 secs
lola: 11763266 markings, 37944055 edges, 6111 markings/sec, 1435 secs
lola: 11789787 markings, 38042122 edges, 5304 markings/sec, 1440 secs
lola: 11834372 markings, 38180667 edges, 8917 markings/sec, 1445 secs
lola: 11884249 markings, 38331393 edges, 9975 markings/sec, 1450 secs
lola: 11920014 markings, 38467236 edges, 7153 markings/sec, 1455 secs
lola: 11948176 markings, 38587906 edges, 5632 markings/sec, 1460 secs
lola: 11978629 markings, 38712795 edges, 6091 markings/sec, 1465 secs
lola: 12021941 markings, 38858524 edges, 8662 markings/sec, 1470 secs
lola: 12046391 markings, 38963895 edges, 4890 markings/sec, 1475 secs
lola: 12090048 markings, 39056320 edges, 8731 markings/sec, 1480 secs
lola: 12137033 markings, 39166148 edges, 9397 markings/sec, 1485 secs
lola: 12174562 markings, 39319369 edges, 7506 markings/sec, 1490 secs
lola: 12235751 markings, 39461378 edges, 12238 markings/sec, 1495 secs
lola: 12340622 markings, 39600050 edges, 20974 markings/sec, 1500 secs
lola: 12392874 markings, 39742285 edges, 10450 markings/sec, 1505 secs
lola: 12445398 markings, 39879515 edges, 10505 markings/sec, 1510 secs
lola: 12515575 markings, 40014417 edges, 14035 markings/sec, 1515 secs
lola: 12576647 markings, 40145704 edges, 12214 markings/sec, 1520 secs
lola: 12631999 markings, 40287666 edges, 11070 markings/sec, 1525 secs
lola: 12683392 markings, 40428044 edges, 10279 markings/sec, 1530 secs
lola: 12748117 markings, 40564855 edges, 12945 markings/sec, 1535 secs
lola: 12806070 markings, 40703600 edges, 11591 markings/sec, 1540 secs
lola: 12869501 markings, 40834249 edges, 12686 markings/sec, 1545 secs
lola: 12924824 markings, 40968761 edges, 11065 markings/sec, 1550 secs
lola: 12984585 markings, 41099868 edges, 11952 markings/sec, 1555 secs
lola: 13034046 markings, 41238694 edges, 9892 markings/sec, 1560 secs
lola: 13083929 markings, 41376231 edges, 9977 markings/sec, 1565 secs
lola: 13133145 markings, 41513783 edges, 9843 markings/sec, 1570 secs
lola: 13191369 markings, 41647307 edges, 11645 markings/sec, 1575 secs
lola: 13255172 markings, 41778859 edges, 12761 markings/sec, 1580 secs
lola: 13322389 markings, 41912063 edges, 13443 markings/sec, 1585 secs
lola: 13378452 markings, 42039584 edges, 11213 markings/sec, 1590 secs
lola: 13434525 markings, 42170942 edges, 11215 markings/sec, 1595 secs
lola: 13489563 markings, 42298247 edges, 11008 markings/sec, 1600 secs
lola: 13545470 markings, 42429211 edges, 11181 markings/sec, 1605 secs
lola: 13584831 markings, 42563433 edges, 7872 markings/sec, 1610 secs
lola: 13626946 markings, 42707490 edges, 8423 markings/sec, 1615 secs
lola: 13673292 markings, 42848242 edges, 9269 markings/sec, 1620 secs
lola: 13721147 markings, 42985229 edges, 9571 markings/sec, 1625 secs
lola: 13772743 markings, 43129109 edges, 10319 markings/sec, 1630 secs
lola: 13817803 markings, 43279068 edges, 9012 markings/sec, 1635 secs
lola: 13869694 markings, 43436506 edges, 10378 markings/sec, 1640 secs
lola: 13919632 markings, 43576869 edges, 9988 markings/sec, 1645 secs
lola: 13975631 markings, 43716675 edges, 11200 markings/sec, 1650 secs
lola: 14033109 markings, 43848858 edges, 11496 markings/sec, 1655 secs
lola: 14092953 markings, 43978242 edges, 11969 markings/sec, 1660 secs
lola: 14151622 markings, 44111097 edges, 11734 markings/sec, 1665 secs
lola: 14209326 markings, 44243392 edges, 11541 markings/sec, 1670 secs
lola: 14263723 markings, 44377891 edges, 10879 markings/sec, 1675 secs
lola: 14310678 markings, 44511066 edges, 9391 markings/sec, 1680 secs
lola: 14356405 markings, 44643311 edges, 9145 markings/sec, 1685 secs
lola: 14407400 markings, 44772048 edges, 10199 markings/sec, 1690 secs
lola: 14449270 markings, 44901413 edges, 8374 markings/sec, 1695 secs
lola: 14501184 markings, 45034088 edges, 10383 markings/sec, 1700 secs
lola: 14557992 markings, 45158728 edges, 11362 markings/sec, 1705 secs
lola: 14617546 markings, 45294650 edges, 11911 markings/sec, 1710 secs
lola: 14677440 markings, 45421937 edges, 11979 markings/sec, 1715 secs
lola: 14716314 markings, 45547171 edges, 7775 markings/sec, 1720 secs
lola: 14750462 markings, 45670546 edges, 6830 markings/sec, 1725 secs
lola: 14789287 markings, 45797634 edges, 7765 markings/sec, 1730 secs
lola: 14829160 markings, 45947704 edges, 7975 markings/sec, 1735 secs
lola: 14870963 markings, 46089634 edges, 8361 markings/sec, 1740 secs
lola: 14920376 markings, 46242614 edges, 9883 markings/sec, 1745 secs
lola: 14966843 markings, 46392571 edges, 9293 markings/sec, 1750 secs
lola: 15000385 markings, 46525142 edges, 6708 markings/sec, 1755 secs
lola: 15044023 markings, 46660555 edges, 8728 markings/sec, 1760 secs
lola: 15076311 markings, 46790254 edges, 6458 markings/sec, 1765 secs
lola: 15119219 markings, 46920063 edges, 8582 markings/sec, 1770 secs
lola: 15158636 markings, 47057937 edges, 7883 markings/sec, 1775 secs
lola: 15189233 markings, 47178942 edges, 6119 markings/sec, 1780 secs
lola: 15219526 markings, 47299613 edges, 6059 markings/sec, 1785 secs
lola: 15249968 markings, 47418276 edges, 6088 markings/sec, 1790 secs
lola: 15285020 markings, 47548449 edges, 7010 markings/sec, 1795 secs
lola: 15322112 markings, 47686432 edges, 7418 markings/sec, 1800 secs
lola: 15354883 markings, 47809577 edges, 6554 markings/sec, 1805 secs
lola: 15391864 markings, 47936774 edges, 7396 markings/sec, 1810 secs
lola: 15427222 markings, 48064830 edges, 7072 markings/sec, 1815 secs
lola: 15464154 markings, 48191519 edges, 7386 markings/sec, 1820 secs
lola: 15504311 markings, 48326598 edges, 8031 markings/sec, 1825 secs
lola: 15535398 markings, 48447462 edges, 6217 markings/sec, 1830 secs
lola: 15566313 markings, 48565990 edges, 6183 markings/sec, 1835 secs
lola: 15596472 markings, 48684817 edges, 6032 markings/sec, 1840 secs
lola: 15626511 markings, 48803272 edges, 6008 markings/sec, 1845 secs
lola: 15659094 markings, 48922486 edges, 6517 markings/sec, 1850 secs
lola: 15697480 markings, 49052732 edges, 7677 markings/sec, 1855 secs
lola: 15728573 markings, 49174664 edges, 6219 markings/sec, 1860 secs
lola: 15767896 markings, 49299743 edges, 7865 markings/sec, 1865 secs
lola: 15803397 markings, 49428776 edges, 7100 markings/sec, 1870 secs
lola: 15840548 markings, 49552538 edges, 7430 markings/sec, 1875 secs
lola: 15873321 markings, 49672516 edges, 6555 markings/sec, 1880 secs
lola: 15908405 markings, 49792752 edges, 7017 markings/sec, 1885 secs
lola: 15947052 markings, 49922141 edges, 7729 markings/sec, 1890 secs
lola: 15987909 markings, 50051152 edges, 8171 markings/sec, 1895 secs
lola: 16018007 markings, 50169899 edges, 6020 markings/sec, 1900 secs
lola: 16057632 markings, 50294129 edges, 7925 markings/sec, 1905 secs
lola: 16095908 markings, 50427788 edges, 7655 markings/sec, 1910 secs
lola: 16129400 markings, 50546437 edges, 6698 markings/sec, 1915 secs
lola: 16164962 markings, 50672728 edges, 7112 markings/sec, 1920 secs
lola: 16198789 markings, 50797232 edges, 6765 markings/sec, 1925 secs
lola: 16242594 markings, 50925322 edges, 8761 markings/sec, 1930 secs
lola: 16280134 markings, 51057663 edges, 7508 markings/sec, 1935 secs
lola: 16315459 markings, 51180398 edges, 7065 markings/sec, 1940 secs
lola: 16350423 markings, 51307131 edges, 6993 markings/sec, 1945 secs
lola: 16385550 markings, 51431558 edges, 7025 markings/sec, 1950 secs
lola: 16424849 markings, 51558988 edges, 7860 markings/sec, 1955 secs
lola: 16465685 markings, 51690738 edges, 8167 markings/sec, 1960 secs
lola: 16496932 markings, 51810626 edges, 6249 markings/sec, 1965 secs
lola: 16535591 markings, 51934195 edges, 7732 markings/sec, 1970 secs
lola: 16574367 markings, 52065867 edges, 7755 markings/sec, 1975 secs
lola: 16633485 markings, 52199532 edges, 11824 markings/sec, 1980 secs
lola: 16683830 markings, 52320693 edges, 10069 markings/sec, 1985 secs
lola: 16723668 markings, 52440264 edges, 7968 markings/sec, 1990 secs
lola: 16764608 markings, 52558176 edges, 8188 markings/sec, 1995 secs
lola: 16800198 markings, 52678286 edges, 7118 markings/sec, 2000 secs
lola: 16834969 markings, 52795472 edges, 6954 markings/sec, 2005 secs
lola: 16871676 markings, 52911771 edges, 7341 markings/sec, 2010 secs
lola: 16915190 markings, 53029622 edges, 8703 markings/sec, 2015 secs
lola: 16964475 markings, 53151746 edges, 9857 markings/sec, 2020 secs
lola: 16996750 markings, 53268130 edges, 6455 markings/sec, 2025 secs
lola: 17027742 markings, 53385731 edges, 6198 markings/sec, 2030 secs
lola: 17058388 markings, 53502172 edges, 6129 markings/sec, 2035 secs
lola: 17089511 markings, 53620692 edges, 6225 markings/sec, 2040 secs
lola: 17120427 markings, 53738719 edges, 6183 markings/sec, 2045 secs
lola: 17151153 markings, 53856214 edges, 6145 markings/sec, 2050 secs
lola: 17181647 markings, 53973055 edges, 6099 markings/sec, 2055 secs
lola: 17227411 markings, 54090153 edges, 9153 markings/sec, 2060 secs
lola: 17268481 markings, 54215313 edges, 8214 markings/sec, 2065 secs
lola: 17315725 markings, 54345308 edges, 9449 markings/sec, 2070 secs
lola: 17353723 markings, 54467652 edges, 7600 markings/sec, 2075 secs
lola: 17395878 markings, 54593461 edges, 8431 markings/sec, 2080 secs
lola: 17443449 markings, 54736188 edges, 9514 markings/sec, 2085 secs
lola: 17489865 markings, 54880215 edges, 9283 markings/sec, 2090 secs
lola: 17538696 markings, 55022070 edges, 9766 markings/sec, 2095 secs
lola: 17588139 markings, 55157295 edges, 9889 markings/sec, 2100 secs
lola: 17637823 markings, 55289985 edges, 9937 markings/sec, 2105 secs
lola: 17683241 markings, 55415362 edges, 9084 markings/sec, 2110 secs
lola: 17725345 markings, 55541262 edges, 8421 markings/sec, 2115 secs
lola: 17773322 markings, 55673606 edges, 9595 markings/sec, 2120 secs
lola: 17819708 markings, 55804765 edges, 9277 markings/sec, 2125 secs
lola: 17861736 markings, 55923354 edges, 8406 markings/sec, 2130 secs
lola: 17905729 markings, 56044877 edges, 8799 markings/sec, 2135 secs
lola: 17952204 markings, 56182638 edges, 9295 markings/sec, 2140 secs
lola: 18000130 markings, 56328098 edges, 9585 markings/sec, 2145 secs
lola: 18041004 markings, 56458263 edges, 8175 markings/sec, 2150 secs
lola: 18094104 markings, 56586274 edges, 10620 markings/sec, 2155 secs
lola: 18140359 markings, 56717274 edges, 9251 markings/sec, 2160 secs
lola: 18183865 markings, 56860596 edges, 8701 markings/sec, 2165 secs
lola: 18239399 markings, 57012787 edges, 11107 markings/sec, 2170 secs
lola: 18285987 markings, 57142554 edges, 9318 markings/sec, 2175 secs
lola: 18331308 markings, 57271784 edges, 9064 markings/sec, 2180 secs
lola: 18379264 markings, 57409573 edges, 9591 markings/sec, 2185 secs
lola: 18436010 markings, 57558162 edges, 11349 markings/sec, 2190 secs
lola: 18483805 markings, 57703465 edges, 9559 markings/sec, 2195 secs
lola: 18523371 markings, 57846901 edges, 7913 markings/sec, 2200 secs
lola: 18566755 markings, 57973998 edges, 8677 markings/sec, 2205 secs
lola: 18603098 markings, 58102887 edges, 7269 markings/sec, 2210 secs
lola: 18637099 markings, 58225140 edges, 6800 markings/sec, 2215 secs
lola: 18668233 markings, 58343912 edges, 6227 markings/sec, 2220 secs
lola: 18699204 markings, 58466488 edges, 6194 markings/sec, 2225 secs
lola: 18731066 markings, 58588235 edges, 6372 markings/sec, 2230 secs
lola: 18761654 markings, 58703559 edges, 6118 markings/sec, 2235 secs
lola: 18791837 markings, 58825784 edges, 6037 markings/sec, 2240 secs
lola: 18826001 markings, 58947311 edges, 6833 markings/sec, 2245 secs
lola: 18859961 markings, 59064098 edges, 6792 markings/sec, 2250 secs
lola: 18890223 markings, 59184380 edges, 6052 markings/sec, 2255 secs
lola: 18921176 markings, 59299916 edges, 6191 markings/sec, 2260 secs
lola: 18949356 markings, 59414032 edges, 5636 markings/sec, 2265 secs
lola: 18981689 markings, 59539355 edges, 6467 markings/sec, 2270 secs
lola: 19016218 markings, 59665352 edges, 6906 markings/sec, 2275 secs
lola: 19052005 markings, 59789458 edges, 7157 markings/sec, 2280 secs
lola: 19087758 markings, 59924917 edges, 7151 markings/sec, 2285 secs
lola: 19116569 markings, 60044342 edges, 5762 markings/sec, 2290 secs
lola: 19149451 markings, 60167255 edges, 6576 markings/sec, 2295 secs
lola: 19177587 markings, 60285991 edges, 5627 markings/sec, 2300 secs
lola: 19207502 markings, 60402694 edges, 5983 markings/sec, 2305 secs
lola: 19242586 markings, 60546337 edges, 7017 markings/sec, 2310 secs
lola: 19271882 markings, 60660517 edges, 5859 markings/sec, 2315 secs
lola: 19303245 markings, 60780881 edges, 6273 markings/sec, 2320 secs
lola: 19336955 markings, 60906033 edges, 6742 markings/sec, 2325 secs
lola: 19369368 markings, 61028665 edges, 6483 markings/sec, 2330 secs
lola: 19397640 markings, 61145727 edges, 5654 markings/sec, 2335 secs
lola: 19434024 markings, 61265493 edges, 7277 markings/sec, 2340 secs
lola: 19464614 markings, 61387084 edges, 6118 markings/sec, 2345 secs
lola: 19500093 markings, 61502142 edges, 7096 markings/sec, 2350 secs
lola: 19544803 markings, 61629231 edges, 8942 markings/sec, 2355 secs
lola: 19589073 markings, 61759647 edges, 8854 markings/sec, 2360 secs
lola: 19626287 markings, 61892043 edges, 7443 markings/sec, 2365 secs
lola: 19671723 markings, 62024587 edges, 9087 markings/sec, 2370 secs
lola: 19708488 markings, 62165068 edges, 7353 markings/sec, 2375 secs
lola: 19738895 markings, 62273914 edges, 6081 markings/sec, 2380 secs
lola: 19769966 markings, 62387478 edges, 6214 markings/sec, 2385 secs
lola: 19795009 markings, 62491188 edges, 5009 markings/sec, 2390 secs
lola: 19841342 markings, 62629498 edges, 9267 markings/sec, 2395 secs
lola: 19882765 markings, 62771041 edges, 8285 markings/sec, 2400 secs
lola: 19916068 markings, 62890168 edges, 6661 markings/sec, 2405 secs
lola: 19953297 markings, 63016547 edges, 7446 markings/sec, 2410 secs
lola: 19994970 markings, 63152790 edges, 8335 markings/sec, 2415 secs
lola: 20033130 markings, 63289780 edges, 7632 markings/sec, 2420 secs
lola: 20068590 markings, 63414532 edges, 7092 markings/sec, 2425 secs
lola: 20100316 markings, 63545328 edges, 6345 markings/sec, 2430 secs
lola: 20129393 markings, 63657309 edges, 5815 markings/sec, 2435 secs
lola: 20166703 markings, 63795423 edges, 7462 markings/sec, 2440 secs
lola: 20200890 markings, 63917615 edges, 6837 markings/sec, 2445 secs
lola: 20233052 markings, 64052645 edges, 6432 markings/sec, 2450 secs
lola: 20262041 markings, 64169772 edges, 5798 markings/sec, 2455 secs
lola: 20290636 markings, 64292445 edges, 5719 markings/sec, 2460 secs
lola: 20321483 markings, 64420101 edges, 6169 markings/sec, 2465 secs
lola: 20351078 markings, 64540230 edges, 5919 markings/sec, 2470 secs
lola: 20380951 markings, 64669340 edges, 5975 markings/sec, 2475 secs
lola: 20414831 markings, 64790930 edges, 6776 markings/sec, 2480 secs
lola: 20451379 markings, 64925937 edges, 7310 markings/sec, 2485 secs
lola: 20481359 markings, 65039247 edges, 5996 markings/sec, 2490 secs
lola: 20510349 markings, 65164461 edges, 5798 markings/sec, 2495 secs
lola: 20538706 markings, 65280327 edges, 5671 markings/sec, 2500 secs
lola: 20563830 markings, 65387936 edges, 5025 markings/sec, 2505 secs
lola: 20593874 markings, 65512431 edges, 6009 markings/sec, 2510 secs
lola: 20621422 markings, 65620962 edges, 5510 markings/sec, 2515 secs
lola: 20659273 markings, 65760595 edges, 7570 markings/sec, 2520 secs
lola: 20694654 markings, 65886542 edges, 7076 markings/sec, 2525 secs
lola: 20733633 markings, 66024949 edges, 7796 markings/sec, 2530 secs
lola: 20774021 markings, 66165592 edges, 8078 markings/sec, 2535 secs
lola: 20808850 markings, 66279178 edges, 6966 markings/sec, 2540 secs
lola: 20849551 markings, 66420803 edges, 8140 markings/sec, 2545 secs
lola: 20882972 markings, 66548970 edges, 6684 markings/sec, 2550 secs
lola: 20913830 markings, 66664194 edges, 6172 markings/sec, 2555 secs
lola: 20944127 markings, 66780566 edges, 6059 markings/sec, 2560 secs
lola: 20977899 markings, 66916883 edges, 6754 markings/sec, 2565 secs
lola: 21016074 markings, 67062797 edges, 7635 markings/sec, 2570 secs
lola: 21048328 markings, 67187294 edges, 6451 markings/sec, 2575 secs
lola: 21078798 markings, 67315393 edges, 6094 markings/sec, 2580 secs
lola: 21113627 markings, 67452040 edges, 6966 markings/sec, 2585 secs
lola: 21147435 markings, 67577226 edges, 6762 markings/sec, 2590 secs
lola: 21184916 markings, 67703384 edges, 7496 markings/sec, 2595 secs
lola: 21224665 markings, 67829741 edges, 7950 markings/sec, 2600 secs
lola: 21271053 markings, 67960133 edges, 9278 markings/sec, 2605 secs
lola: 21314427 markings, 68084473 edges, 8675 markings/sec, 2610 secs
lola: 21355910 markings, 68213042 edges, 8297 markings/sec, 2615 secs
lola: 21402227 markings, 68355897 edges, 9263 markings/sec, 2620 secs
lola: 21448190 markings, 68503020 edges, 9193 markings/sec, 2625 secs
lola: 21492020 markings, 68643236 edges, 8766 markings/sec, 2630 secs
lola: 21536191 markings, 68782526 edges, 8834 markings/sec, 2635 secs
lola: 21578987 markings, 68915969 edges, 8559 markings/sec, 2640 secs
lola: 21625760 markings, 69042646 edges, 9355 markings/sec, 2645 secs
lola: 21668628 markings, 69175522 edges, 8574 markings/sec, 2650 secs
lola: 21715350 markings, 69325358 edges, 9344 markings/sec, 2655 secs
lola: 21761681 markings, 69473933 edges, 9266 markings/sec, 2660 secs
lola: 21807131 markings, 69615587 edges, 9090 markings/sec, 2665 secs
lola: 21849435 markings, 69752435 edges, 8461 markings/sec, 2670 secs
lola: 21895021 markings, 69884041 edges, 9117 markings/sec, 2675 secs
lola: 21941197 markings, 70020194 edges, 9235 markings/sec, 2680 secs
lola: 21987320 markings, 70152366 edges, 9225 markings/sec, 2685 secs
lola: 22033874 markings, 70281725 edges, 9311 markings/sec, 2690 secs
lola: 22080105 markings, 70428896 edges, 9246 markings/sec, 2695 secs
lola: 22119871 markings, 70580679 edges, 7953 markings/sec, 2700 secs
lola: 22164015 markings, 70721006 edges, 8829 markings/sec, 2705 secs
lola: 22235605 markings, 70850283 edges, 14318 markings/sec, 2710 secs
lola: 22280821 markings, 71007042 edges, 9043 markings/sec, 2715 secs
lola: 22325698 markings, 71163918 edges, 8975 markings/sec, 2720 secs
lola: 22368992 markings, 71319130 edges, 8659 markings/sec, 2725 secs
lola: 22406772 markings, 71468050 edges, 7556 markings/sec, 2730 secs
lola: 22446794 markings, 71609871 edges, 8004 markings/sec, 2735 secs
lola: 22489714 markings, 71743327 edges, 8584 markings/sec, 2740 secs
lola: 22525505 markings, 71880621 edges, 7158 markings/sec, 2745 secs
lola: 22563400 markings, 72017213 edges, 7579 markings/sec, 2750 secs
lola: 22600853 markings, 72157469 edges, 7491 markings/sec, 2755 secs
lola: 22637346 markings, 72293861 edges, 7299 markings/sec, 2760 secs
lola: 22677827 markings, 72439789 edges, 8096 markings/sec, 2765 secs
lola: 22712325 markings, 72573568 edges, 6900 markings/sec, 2770 secs
lola: 22749677 markings, 72702626 edges, 7470 markings/sec, 2775 secs
lola: 22785005 markings, 72831691 edges, 7066 markings/sec, 2780 secs
lola: 22827553 markings, 72978848 edges, 8510 markings/sec, 2785 secs
lola: 22863716 markings, 73113585 edges, 7233 markings/sec, 2790 secs
lola: 22897349 markings, 73236824 edges, 6727 markings/sec, 2795 secs
lola: 22928929 markings, 73362860 edges, 6316 markings/sec, 2800 secs
lola: 22963240 markings, 73483092 edges, 6862 markings/sec, 2805 secs
lola: 22994869 markings, 73607519 edges, 6326 markings/sec, 2810 secs
lola: 23027071 markings, 73743000 edges, 6440 markings/sec, 2815 secs
lola: 23063065 markings, 73872736 edges, 7199 markings/sec, 2820 secs
lola: 23088416 markings, 73982816 edges, 5070 markings/sec, 2825 secs
lola: 23119192 markings, 74101117 edges, 6155 markings/sec, 2830 secs
lola: 23153790 markings, 74216787 edges, 6920 markings/sec, 2835 secs
lola: 23180588 markings, 74329630 edges, 5360 markings/sec, 2840 secs
lola: 23220891 markings, 74445140 edges, 8061 markings/sec, 2845 secs
lola: 23274030 markings, 74556135 edges, 10628 markings/sec, 2850 secs
lola: 23327524 markings, 74688838 edges, 10699 markings/sec, 2855 secs
lola: 23376880 markings, 74830641 edges, 9871 markings/sec, 2860 secs
lola: 23424027 markings, 74970569 edges, 9429 markings/sec, 2865 secs
lola: 23470752 markings, 75105365 edges, 9345 markings/sec, 2870 secs
lola: 23515781 markings, 75232448 edges, 9006 markings/sec, 2875 secs
lola: 23550318 markings, 75367236 edges, 6907 markings/sec, 2880 secs
lola: 23585430 markings, 75493733 edges, 7022 markings/sec, 2885 secs
lola: 23621220 markings, 75625140 edges, 7158 markings/sec, 2890 secs
lola: 23670467 markings, 75767760 edges, 9849 markings/sec, 2895 secs
lola: 23720695 markings, 75910416 edges, 10046 markings/sec, 2900 secs
lola: 23774169 markings, 76055128 edges, 10695 markings/sec, 2905 secs
lola: 23821537 markings, 76195393 edges, 9474 markings/sec, 2910 secs
lola: 23871639 markings, 76337575 edges, 10020 markings/sec, 2915 secs
lola: 23920991 markings, 76476271 edges, 9870 markings/sec, 2920 secs
lola: 23968352 markings, 76612650 edges, 9472 markings/sec, 2925 secs
lola: 24020208 markings, 76739362 edges, 10371 markings/sec, 2930 secs
lola: 24064753 markings, 76860996 edges, 8909 markings/sec, 2935 secs
lola: 24099845 markings, 76988794 edges, 7018 markings/sec, 2940 secs
lola: 24146021 markings, 77115720 edges, 9235 markings/sec, 2945 secs
lola: 24181305 markings, 77255347 edges, 7057 markings/sec, 2950 secs
lola: 24208268 markings, 77389375 edges, 5393 markings/sec, 2955 secs
lola: 24234017 markings, 77513948 edges, 5150 markings/sec, 2960 secs
lola: 24260333 markings, 77639085 edges, 5263 markings/sec, 2965 secs
lola: 24281861 markings, 77752642 edges, 4306 markings/sec, 2970 secs
lola: 24302560 markings, 77858149 edges, 4140 markings/sec, 2975 secs
lola: 24351217 markings, 77993185 edges, 9731 markings/sec, 2980 secs
lola: 24392048 markings, 78135244 edges, 8166 markings/sec, 2985 secs
lola: 24437738 markings, 78270215 edges, 9138 markings/sec, 2990 secs
lola: 24474772 markings, 78401041 edges, 7407 markings/sec, 2995 secs
lola: 24516700 markings, 78525394 edges, 8386 markings/sec, 3000 secs
lola: 24551199 markings, 78646183 edges, 6900 markings/sec, 3005 secs
lola: 24586340 markings, 78771969 edges, 7028 markings/sec, 3010 secs
lola: 24626254 markings, 78895118 edges, 7983 markings/sec, 3015 secs
lola: 24670612 markings, 79015303 edges, 8872 markings/sec, 3020 secs
lola: 24713813 markings, 79139374 edges, 8640 markings/sec, 3025 secs
lola: 24749468 markings, 79282395 edges, 7131 markings/sec, 3030 secs
lola: 24779149 markings, 79413609 edges, 5936 markings/sec, 3035 secs
lola: 24806525 markings, 79549430 edges, 5475 markings/sec, 3040 secs
lola: 24839315 markings, 79678374 edges, 6558 markings/sec, 3045 secs
lola: 24871568 markings, 79807248 edges, 6451 markings/sec, 3050 secs
lola: 24901006 markings, 79944951 edges, 5888 markings/sec, 3055 secs
lola: 24934137 markings, 80068428 edges, 6626 markings/sec, 3060 secs
lola: 24964080 markings, 80183129 edges, 5989 markings/sec, 3065 secs
lola: 24990445 markings, 80285869 edges, 5273 markings/sec, 3070 secs
lola: 25017546 markings, 80386547 edges, 5420 markings/sec, 3075 secs
lola: 25044800 markings, 80493752 edges, 5451 markings/sec, 3080 secs
lola: 25076922 markings, 80619294 edges, 6424 markings/sec, 3085 secs
lola: 25103690 markings, 80729201 edges, 5354 markings/sec, 3090 secs
lola: 25142758 markings, 80850497 edges, 7814 markings/sec, 3095 secs
lola: 25189201 markings, 80981995 edges, 9289 markings/sec, 3100 secs
lola: 25233660 markings, 81119812 edges, 8892 markings/sec, 3105 secs
lola: 25279815 markings, 81253724 edges, 9231 markings/sec, 3110 secs
lola: 25319204 markings, 81384148 edges, 7878 markings/sec, 3115 secs
lola: 25362623 markings, 81507964 edges, 8684 markings/sec, 3120 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes unknown no no no no no yes no no no no yes no no
lola:
preliminary result: no yes unknown no no no no no yes no no no no yes no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes unknown no no no no no yes no no no no yes no no
lola: memory consumption: 5788272 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes unknown no no no no no yes no no no no yes no no
lola: memory consumption: 5788272 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes unknown no no no no no yes no no no no yes no no
rslt: finished
BK_STOP 1589857322225
--------------------
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="CloudReconfiguration-PT-316"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="win2019"
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 win2019"
echo " Input is CloudReconfiguration-PT-316, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r060-ebro-158902579500031"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-316.tgz
mv CloudReconfiguration-PT-316 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;