About the Execution of 2020-gold for TokenRing-PT-015
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
4345.247 | 3600000.00 | 3624469.00 | 11184.50 | TFTTFTFFFT??TFTF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r284-smll-162123894300049.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 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 gold2020
Input is TokenRing-PT-015, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r284-smll-162123894300049
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 31M
-rw-r--r-- 1 mcc users 437K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 2.2M May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4M May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 13M May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 137K Mar 28 16:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 480K Mar 28 16:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.2M Mar 28 16:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 3.5M Mar 28 16:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 100K Mar 27 14:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 323K Mar 27 14:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 906K Mar 25 20:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.5M Mar 25 20:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 30K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 71K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 2.6M May 5 16:52 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 TokenRing-PT-015-00
FORMULA_NAME TokenRing-PT-015-01
FORMULA_NAME TokenRing-PT-015-02
FORMULA_NAME TokenRing-PT-015-03
FORMULA_NAME TokenRing-PT-015-04
FORMULA_NAME TokenRing-PT-015-05
FORMULA_NAME TokenRing-PT-015-06
FORMULA_NAME TokenRing-PT-015-07
FORMULA_NAME TokenRing-PT-015-08
FORMULA_NAME TokenRing-PT-015-09
FORMULA_NAME TokenRing-PT-015-10
FORMULA_NAME TokenRing-PT-015-11
FORMULA_NAME TokenRing-PT-015-12
FORMULA_NAME TokenRing-PT-015-13
FORMULA_NAME TokenRing-PT-015-14
FORMULA_NAME TokenRing-PT-015-15
=== Now, execution of the tool begins
BK_START 1621409169892
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-19 07:26:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-19 07:26:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-19 07:26:13] [INFO ] Load time of PNML (sax parser for PT used): 476 ms
[2021-05-19 07:26:13] [INFO ] Transformed 256 places.
[2021-05-19 07:26:13] [INFO ] Transformed 3616 transitions.
[2021-05-19 07:26:13] [INFO ] Found NUPN structural information;
[2021-05-19 07:26:13] [INFO ] Parsed PT model containing 256 places and 3616 transitions in 591 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 194 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 0 resets, run finished after 653 ms. (steps per millisecond=153 ) properties seen :[1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1]
// Phase 1: matrix 3616 rows 256 cols
[2021-05-19 07:26:14] [INFO ] Computed 16 place invariants in 42 ms
[2021-05-19 07:26:15] [INFO ] [Real]Absence check using 16 positive place invariants in 45 ms returned sat
[2021-05-19 07:26:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:26:17] [INFO ] [Real]Absence check using state equation in 2613 ms returned sat
[2021-05-19 07:26:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:26:18] [INFO ] [Nat]Absence check using 16 positive place invariants in 27 ms returned unsat
[2021-05-19 07:26:18] [INFO ] [Real]Absence check using 16 positive place invariants in 29 ms returned sat
[2021-05-19 07:26:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:26:20] [INFO ] [Real]Absence check using state equation in 2161 ms returned sat
[2021-05-19 07:26:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:26:20] [INFO ] [Nat]Absence check using 16 positive place invariants in 19 ms returned unsat
[2021-05-19 07:26:20] [INFO ] [Real]Absence check using 16 positive place invariants in 27 ms returned sat
[2021-05-19 07:26:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:26:23] [INFO ] [Real]Absence check using state equation in 2441 ms returned sat
[2021-05-19 07:26:23] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:26:23] [INFO ] [Nat]Absence check using 16 positive place invariants in 15 ms returned unsat
Successfully simplified 3 atomic propositions for a total of 4 simplifications.
[2021-05-19 07:26:24] [INFO ] Initial state reduction rules for CTL removed 10 formulas.
[2021-05-19 07:26:24] [INFO ] Flatten gal took : 498 ms
FORMULA TokenRing-PT-015-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-015-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-015-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-015-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-015-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-015-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-015-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-015-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-015-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA TokenRing-PT-015-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-19 07:26:24] [INFO ] Applying decomposition
[2021-05-19 07:26:24] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2021-05-19 07:26:24] [INFO ] Flatten gal took : 211 ms
[2021-05-19 07:26:24] [INFO ] Decomposing Gal with order
[2021-05-19 07:26:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-19 07:26:26] [INFO ] Removed a total of 3360 redundant transitions.
[2021-05-19 07:26:26] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2021-05-19 07:26:26] [INFO ] Flatten gal took : 1772 ms
[2021-05-19 07:26:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 3600 labels/synchronizations in 399 ms.
[2021-05-19 07:26:27] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA TokenRing-PT-015-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-19 07:26:27] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLCardinality.sr.xml took 2 ms.
[2021-05-19 07:26:27] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 49 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ TokenRing-PT-015 @ 3570 seconds
FORMULA TokenRing-PT-015-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA TokenRing-PT-015-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA TokenRing-PT-015-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for LTLCardinality @ TokenRing-PT-015
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2378
},
"exit":
{
"localtimelimitreached": false,
"memory": 772436,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"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": "G (F ((((1 <= p216)) AND ((p127 <= 0)))))",
"processed_size": 41,
"rewrites": 20
},
"result":
{
"preliminary_value": "no unknown unknown no no "
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "fairness",
"workflow": "product automaton"
}
}
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: 3872/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 256
lola: finding significant places
lola: 256 places, 3616 transitions, 240 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 true: (p254 <= 1)
lola: LP says that atomic proposition is always true: (p72 <= 1)
lola: LP says that atomic proposition is always true: (p127 <= 1)
lola: LP says that atomic proposition is always true: (p180 <= 1)
lola: LP says that atomic proposition is always true: (p193 <= 1)
lola: LP says that atomic proposition is always true: (p238 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p10 <= 1)
lola: LP says that atomic proposition is always true: (p10 <= 1)
lola: (X (X (NOT(X (((p254 <= 0)))))) U G (NOT(G (F (X (((1 <= p72)))))))) : X (NOT(X (F (X (X (G ((((p216 <= 0)) OR ((1 <= p127)))))))))) : G (((F ((((p101 <= 0)) OR ((1 <= p180)))) AND ((1 <= p193))) U F ((((p203 <= 0)) OR ((1 <= p238)))))) : F (G ((((p127 <= 0)) OR ((1 <= p107))))) : (X (G ((((p170 <= 0)) OR ((1 <= p10))))) U G ((((p170 <= 0)) OR ((1 <= p10)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (G ((((p170 <= 0)) OR ((1 <= p10))))) U G ((((p170 <= 0)) OR ((1 <= p10)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (G ((((p170 <= 0)) OR ((1 <= p10))))) U G ((((p170 <= 0)) OR ((1 <= p10)))))
lola: processed formula length: 81
lola: 20 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: 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: 358 markings, 358 edges
lola: ========================================
lola: subprocess 1 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((p72 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((p72 <= 0))))
lola: processed formula length: 20
lola: 20 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 3434
lola: add low 770
lola: add low 232
lola: add low 823
lola: add low 2393
lola: add low 2536
lola: add low 1290
lola: add low 1822
lola: add low 1283
lola: add low 1320
lola: add low 1997
lola: add low 1850
lola: add low 2452
lola: add low 3364
lola: add low 3377
lola: add low 2240
lola: add low 1062
lola: add low 2693
lola: add low 2381
lola: add low 1457
lola: add low 671
lola: add low 3537
lola: add low 2442
lola: add low 942
lola: add low 368
lola: add low 1740
lola: add low 2645
lola: add low 2329
lola: add low 1236
lola: add low 3456
lola: add low 1487
lola: add low 2757
lola: add low 898
lola: add low 2666
lola: add low 1883
lola: add low 666
lola: add low 2891
lola: add low 1628
lola: add low 2158
lola: add low 1559
lola: add low 2591
lola: add low 461
lola: add low 14
lola: add low 3084
lola: add low 637
lola: add low 2587
lola: add low 2346
lola: add low 2374
lola: add low 3472
lola: add low 948
lola: add low 101
lola: add low 731
lola: add low 3563
lola: add low 227
lola: add low 1607
lola: add low 3088
lola: add low 3361
lola: add low 2646
lola: add low 1456
lola: add low 2929
lola: add low 2562
lola: add low 2598
lola: add low 2866
lola: add low 3215
lola: add low 887
lola: add low 3053
lola: add low 3372
lola: add low 3393
lola: add low 260
lola: add low 1210
lola: add low 2262
lola: add low 1257
lola: add low 610
lola: add low 1991
lola: add low 1389
lola: add low 3612
lola: add low 2486
lola: add low 904
lola: add low 1078
lola: add low 2589
lola: add low 1990
lola: add low 2998
lola: add low 71
lola: add low 1855
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: 305 markings, 306 edges
lola: ========================================
lola: subprocess 2 will run for 1188 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((((p203 <= 0)) OR ((1 <= p238)))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((((p203 <= 0)) OR ((1 <= p238)))))
lola: processed formula length: 41
lola: 20 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: 10721 markings, 41175 edges, 2144 markings/sec, 0 secs
lola: 20690 markings, 93683 edges, 1994 markings/sec, 5 secs
lola: 31480 markings, 146378 edges, 2158 markings/sec, 10 secs
lola: 42603 markings, 207420 edges, 2225 markings/sec, 15 secs
lola: 52800 markings, 271756 edges, 2039 markings/sec, 20 secs
lola: 63439 markings, 328618 edges, 2128 markings/sec, 25 secs
lola: 74122 markings, 384778 edges, 2137 markings/sec, 30 secs
lola: 84019 markings, 447193 edges, 1979 markings/sec, 35 secs
lola: 94434 markings, 507668 edges, 2083 markings/sec, 40 secs
lola: 105269 markings, 561026 edges, 2167 markings/sec, 45 secs
lola: 115707 markings, 612875 edges, 2088 markings/sec, 50 secs
lola: 126422 markings, 669453 edges, 2143 markings/sec, 55 secs
lola: 136128 markings, 733192 edges, 1941 markings/sec, 60 secs
lola: 146141 markings, 792823 edges, 2003 markings/sec, 65 secs
lola: 155629 markings, 856123 edges, 1898 markings/sec, 70 secs
lola: 164613 markings, 925852 edges, 1797 markings/sec, 75 secs
lola: 173875 markings, 988861 edges, 1852 markings/sec, 80 secs
lola: 183683 markings, 1052102 edges, 1962 markings/sec, 85 secs
lola: 195016 markings, 1105296 edges, 2267 markings/sec, 90 secs
lola: 205869 markings, 1160875 edges, 2171 markings/sec, 95 secs
lola: 216764 markings, 1217641 edges, 2179 markings/sec, 100 secs
lola: 226561 markings, 1287087 edges, 1959 markings/sec, 105 secs
lola: 236776 markings, 1337388 edges, 2043 markings/sec, 110 secs
lola: 246552 markings, 1395622 edges, 1955 markings/sec, 115 secs
lola: 255697 markings, 1459718 edges, 1829 markings/sec, 120 secs
lola: 266041 markings, 1512642 edges, 2069 markings/sec, 125 secs
lola: 275420 markings, 1577876 edges, 1876 markings/sec, 130 secs
lola: 284793 markings, 1636601 edges, 1875 markings/sec, 135 secs
lola: 292690 markings, 1702125 edges, 1579 markings/sec, 140 secs
lola: 302423 markings, 1769056 edges, 1947 markings/sec, 145 secs
lola: 313296 markings, 1826259 edges, 2175 markings/sec, 150 secs
lola: 324018 markings, 1887935 edges, 2144 markings/sec, 155 secs
lola: 333339 markings, 1951572 edges, 1864 markings/sec, 160 secs
lola: 343139 markings, 2008199 edges, 1960 markings/sec, 165 secs
lola: 352999 markings, 2071335 edges, 1972 markings/sec, 170 secs
lola: 362873 markings, 2135157 edges, 1975 markings/sec, 175 secs
lola: 371250 markings, 2199589 edges, 1675 markings/sec, 180 secs
lola: 381063 markings, 2267793 edges, 1963 markings/sec, 185 secs
lola: 391605 markings, 2326406 edges, 2108 markings/sec, 190 secs
lola: 401419 markings, 2391305 edges, 1963 markings/sec, 195 secs
lola: 411294 markings, 2451274 edges, 1975 markings/sec, 200 secs
lola: 419728 markings, 2514378 edges, 1687 markings/sec, 205 secs
lola: 428697 markings, 2581570 edges, 1794 markings/sec, 210 secs
lola: 439033 markings, 2641931 edges, 2067 markings/sec, 215 secs
lola: 449267 markings, 2707620 edges, 2047 markings/sec, 220 secs
lola: 458662 markings, 2768918 edges, 1879 markings/sec, 225 secs
lola: 467083 markings, 2836986 edges, 1684 markings/sec, 230 secs
lola: 475959 markings, 2903799 edges, 1775 markings/sec, 235 secs
lola: 485352 markings, 2975295 edges, 1879 markings/sec, 240 secs
lola: 493173 markings, 3040968 edges, 1564 markings/sec, 245 secs
lola: 502950 markings, 3114349 edges, 1955 markings/sec, 250 secs
lola: 513443 markings, 3165392 edges, 2099 markings/sec, 255 secs
lola: 522598 markings, 3223534 edges, 1831 markings/sec, 260 secs
lola: 531084 markings, 3284328 edges, 1697 markings/sec, 265 secs
lola: 540700 markings, 3341776 edges, 1923 markings/sec, 270 secs
lola: 549993 markings, 3404598 edges, 1859 markings/sec, 275 secs
lola: 558982 markings, 3464754 edges, 1798 markings/sec, 280 secs
lola: 567805 markings, 3526169 edges, 1765 markings/sec, 285 secs
lola: 576581 markings, 3590167 edges, 1755 markings/sec, 290 secs
lola: 585937 markings, 3658547 edges, 1871 markings/sec, 295 secs
lola: 595844 markings, 3729187 edges, 1981 markings/sec, 300 secs
lola: 605393 markings, 3799264 edges, 1910 markings/sec, 305 secs
lola: 614994 markings, 3866173 edges, 1920 markings/sec, 310 secs
lola: 624508 markings, 3928790 edges, 1903 markings/sec, 315 secs
lola: 634747 markings, 3989061 edges, 2048 markings/sec, 320 secs
lola: 644947 markings, 4048531 edges, 2040 markings/sec, 325 secs
lola: 654263 markings, 4106012 edges, 1863 markings/sec, 330 secs
lola: 663437 markings, 4177897 edges, 1835 markings/sec, 335 secs
lola: 672948 markings, 4242732 edges, 1902 markings/sec, 340 secs
lola: 681734 markings, 4309459 edges, 1757 markings/sec, 345 secs
lola: 690306 markings, 4378817 edges, 1714 markings/sec, 350 secs
lola: 698276 markings, 4448011 edges, 1594 markings/sec, 355 secs
lola: 708557 markings, 4518589 edges, 2056 markings/sec, 360 secs
lola: 717982 markings, 4587336 edges, 1885 markings/sec, 365 secs
lola: 727564 markings, 4652750 edges, 1916 markings/sec, 370 secs
lola: 736950 markings, 4724051 edges, 1877 markings/sec, 375 secs
lola: 745462 markings, 4795463 edges, 1702 markings/sec, 380 secs
lola: 755386 markings, 4862938 edges, 1985 markings/sec, 385 secs
lola: 764831 markings, 4931942 edges, 1889 markings/sec, 390 secs
lola: 773221 markings, 5003361 edges, 1678 markings/sec, 395 secs
lola: 782995 markings, 5072444 edges, 1955 markings/sec, 400 secs
lola: 792469 markings, 5145054 edges, 1895 markings/sec, 405 secs
lola: 800825 markings, 5215395 edges, 1671 markings/sec, 410 secs
lola: 809249 markings, 5288326 edges, 1685 markings/sec, 415 secs
lola: 818602 markings, 5362494 edges, 1871 markings/sec, 420 secs
lola: 828792 markings, 5419909 edges, 2038 markings/sec, 425 secs
lola: 838540 markings, 5480280 edges, 1950 markings/sec, 430 secs
lola: 848198 markings, 5542191 edges, 1932 markings/sec, 435 secs
lola: 858322 markings, 5605241 edges, 2025 markings/sec, 440 secs
lola: 868063 markings, 5669099 edges, 1948 markings/sec, 445 secs
lola: 877740 markings, 5735667 edges, 1935 markings/sec, 450 secs
lola: 886510 markings, 5801030 edges, 1754 markings/sec, 455 secs
lola: 896497 markings, 5871467 edges, 1997 markings/sec, 460 secs
lola: 906864 markings, 5935022 edges, 2073 markings/sec, 465 secs
lola: 916829 markings, 5998528 edges, 1993 markings/sec, 470 secs
lola: 926743 markings, 6067478 edges, 1983 markings/sec, 475 secs
lola: 936405 markings, 6134766 edges, 1932 markings/sec, 480 secs
lola: 946256 markings, 6203713 edges, 1970 markings/sec, 485 secs
lola: 956225 markings, 6274141 edges, 1994 markings/sec, 490 secs
lola: 965571 markings, 6342931 edges, 1869 markings/sec, 495 secs
lola: 975614 markings, 6413066 edges, 2009 markings/sec, 500 secs
lola: 985031 markings, 6485046 edges, 1883 markings/sec, 505 secs
lola: 994625 markings, 6556362 edges, 1919 markings/sec, 510 secs
lola: 1003970 markings, 6631582 edges, 1869 markings/sec, 515 secs
lola: 1014532 markings, 6691096 edges, 2112 markings/sec, 520 secs
lola: 1024988 markings, 6747343 edges, 2091 markings/sec, 525 secs
lola: 1034683 markings, 6811591 edges, 1939 markings/sec, 530 secs
lola: 1044271 markings, 6873575 edges, 1918 markings/sec, 535 secs
lola: 1052933 markings, 6934662 edges, 1732 markings/sec, 540 secs
lola: 1061530 markings, 7002375 edges, 1719 markings/sec, 545 secs
lola: 1070039 markings, 7063578 edges, 1702 markings/sec, 550 secs
lola: 1078494 markings, 7123828 edges, 1691 markings/sec, 555 secs
lola: 1088058 markings, 7183749 edges, 1913 markings/sec, 560 secs
lola: 1098216 markings, 7257028 edges, 2032 markings/sec, 565 secs
lola: 1108085 markings, 7326948 edges, 1974 markings/sec, 570 secs
lola: 1118016 markings, 7397072 edges, 1986 markings/sec, 575 secs
lola: 1127593 markings, 7460379 edges, 1915 markings/sec, 580 secs
lola: 1138117 markings, 7519525 edges, 2105 markings/sec, 585 secs
lola: 1148559 markings, 7581567 edges, 2088 markings/sec, 590 secs
lola: 1158197 markings, 7649437 edges, 1928 markings/sec, 595 secs
lola: 1167395 markings, 7719915 edges, 1840 markings/sec, 600 secs
lola: 1176803 markings, 7783679 edges, 1882 markings/sec, 605 secs
lola: 1185338 markings, 7851317 edges, 1707 markings/sec, 610 secs
lola: 1193795 markings, 7920064 edges, 1691 markings/sec, 615 secs
lola: 1202483 markings, 7993318 edges, 1738 markings/sec, 620 secs
lola: 1212746 markings, 8062058 edges, 2053 markings/sec, 625 secs
lola: 1221906 markings, 8131694 edges, 1832 markings/sec, 630 secs
lola: 1230946 markings, 8199222 edges, 1808 markings/sec, 635 secs
lola: 1240426 markings, 8266705 edges, 1896 markings/sec, 640 secs
lola: 1249317 markings, 8341464 edges, 1778 markings/sec, 645 secs
lola: 1259094 markings, 8409844 edges, 1955 markings/sec, 650 secs
lola: 1268483 markings, 8480735 edges, 1878 markings/sec, 655 secs
lola: 1276880 markings, 8550825 edges, 1679 markings/sec, 660 secs
lola: 1286562 markings, 8621471 edges, 1936 markings/sec, 665 secs
lola: 1295108 markings, 8693763 edges, 1709 markings/sec, 670 secs
lola: 1304498 markings, 8767612 edges, 1878 markings/sec, 675 secs
lola: 1313036 markings, 8843356 edges, 1708 markings/sec, 680 secs
lola: 1323153 markings, 8915077 edges, 2023 markings/sec, 685 secs
lola: 1332875 markings, 8981564 edges, 1944 markings/sec, 690 secs
lola: 1342583 markings, 9050847 edges, 1942 markings/sec, 695 secs
lola: 1351814 markings, 9123693 edges, 1846 markings/sec, 700 secs
lola: 1361398 markings, 9191921 edges, 1917 markings/sec, 705 secs
lola: 1370698 markings, 9263685 edges, 1860 markings/sec, 710 secs
lola: 1380434 markings, 9332598 edges, 1947 markings/sec, 715 secs
lola: 1389391 markings, 9407664 edges, 1791 markings/sec, 720 secs
lola: 1398240 markings, 9486910 edges, 1770 markings/sec, 725 secs
lola: 1408548 markings, 9555165 edges, 2062 markings/sec, 730 secs
lola: 1417924 markings, 9625532 edges, 1875 markings/sec, 735 secs
lola: 1427063 markings, 9700519 edges, 1828 markings/sec, 740 secs
lola: 1435256 markings, 9773110 edges, 1639 markings/sec, 745 secs
lola: 1443966 markings, 9848571 edges, 1742 markings/sec, 750 secs
lola: 1453658 markings, 9917062 edges, 1938 markings/sec, 755 secs
lola: 1462054 markings, 9992432 edges, 1679 markings/sec, 760 secs
lola: 1470403 markings, 10064254 edges, 1670 markings/sec, 765 secs
lola: 1479171 markings, 10137487 edges, 1754 markings/sec, 770 secs
lola: 1488671 markings, 10216210 edges, 1900 markings/sec, 775 secs
lola: 1496707 markings, 10291289 edges, 1607 markings/sec, 780 secs
lola: 1506323 markings, 10371110 edges, 1923 markings/sec, 785 secs
lola: 1516932 markings, 10433088 edges, 2122 markings/sec, 790 secs
lola: 1526995 markings, 10493645 edges, 2013 markings/sec, 795 secs
lola: 1536851 markings, 10558207 edges, 1971 markings/sec, 800 secs
lola: 1546430 markings, 10622563 edges, 1916 markings/sec, 805 secs
lola: 1556128 markings, 10684913 edges, 1940 markings/sec, 810 secs
lola: 1566420 markings, 10744304 edges, 2058 markings/sec, 815 secs
lola: 1575885 markings, 10808985 edges, 1893 markings/sec, 820 secs
lola: 1585478 markings, 10876270 edges, 1919 markings/sec, 825 secs
lola: 1594751 markings, 10942051 edges, 1855 markings/sec, 830 secs
lola: 1604407 markings, 11009630 edges, 1931 markings/sec, 835 secs
lola: 1613912 markings, 11080967 edges, 1901 markings/sec, 840 secs
lola: 1623872 markings, 11148066 edges, 1992 markings/sec, 845 secs
lola: 1633386 markings, 11220888 edges, 1903 markings/sec, 850 secs
lola: 1642506 markings, 11294562 edges, 1824 markings/sec, 855 secs
lola: 1651543 markings, 11369460 edges, 1807 markings/sec, 860 secs
lola: 1660820 markings, 11443261 edges, 1855 markings/sec, 865 secs
lola: 1670764 markings, 11512770 edges, 1989 markings/sec, 870 secs
lola: 1679866 markings, 11586260 edges, 1820 markings/sec, 875 secs
lola: 1688841 markings, 11660986 edges, 1795 markings/sec, 880 secs
lola: 1697933 markings, 11734592 edges, 1818 markings/sec, 885 secs
lola: 1706729 markings, 11810092 edges, 1759 markings/sec, 890 secs
lola: 1715672 markings, 11889864 edges, 1789 markings/sec, 895 secs
lola: 1725995 markings, 11960467 edges, 2065 markings/sec, 900 secs
lola: 1736459 markings, 12019624 edges, 2093 markings/sec, 905 secs
lola: 1746221 markings, 12084619 edges, 1952 markings/sec, 910 secs
lola: 1756439 markings, 12148653 edges, 2044 markings/sec, 915 secs
lola: 1766281 markings, 12215178 edges, 1968 markings/sec, 920 secs
lola: 1776467 markings, 12275656 edges, 2037 markings/sec, 925 secs
lola: 1785751 markings, 12344637 edges, 1857 markings/sec, 930 secs
lola: 1795065 markings, 12414177 edges, 1863 markings/sec, 935 secs
lola: 1805493 markings, 12480349 edges, 2086 markings/sec, 940 secs
lola: 1815233 markings, 12545637 edges, 1948 markings/sec, 945 secs
lola: 1825121 markings, 12611041 edges, 1978 markings/sec, 950 secs
lola: 1834658 markings, 12675974 edges, 1907 markings/sec, 955 secs
lola: 1843990 markings, 12744090 edges, 1866 markings/sec, 960 secs
lola: 1854190 markings, 12810517 edges, 2040 markings/sec, 965 secs
lola: 1863892 markings, 12877007 edges, 1940 markings/sec, 970 secs
lola: 1872960 markings, 12945770 edges, 1814 markings/sec, 975 secs
lola: 1883178 markings, 13011328 edges, 2044 markings/sec, 980 secs
lola: 1891812 markings, 13077226 edges, 1727 markings/sec, 985 secs
lola: 1901021 markings, 13148466 edges, 1842 markings/sec, 990 secs
lola: 1909951 markings, 13222867 edges, 1786 markings/sec, 995 secs
lola: 1920163 markings, 13289899 edges, 2042 markings/sec, 1000 secs
lola: 1929719 markings, 13358660 edges, 1911 markings/sec, 1005 secs
lola: 1939077 markings, 13429398 edges, 1872 markings/sec, 1010 secs
lola: 1948243 markings, 13501896 edges, 1833 markings/sec, 1015 secs
lola: 1957694 markings, 13572897 edges, 1890 markings/sec, 1020 secs
lola: 1967785 markings, 13640766 edges, 2018 markings/sec, 1025 secs
lola: 1977023 markings, 13714488 edges, 1848 markings/sec, 1030 secs
lola: 1986213 markings, 13788763 edges, 1838 markings/sec, 1035 secs
lola: 1995352 markings, 13862050 edges, 1828 markings/sec, 1040 secs
lola: 2004386 markings, 13938013 edges, 1807 markings/sec, 1045 secs
lola: 2013541 markings, 14016201 edges, 1831 markings/sec, 1050 secs
lola: 2024057 markings, 14083304 edges, 2103 markings/sec, 1055 secs
lola: 2034862 markings, 14147074 edges, 2161 markings/sec, 1060 secs
lola: 2045047 markings, 14212833 edges, 2037 markings/sec, 1065 secs
lola: 2055862 markings, 14279556 edges, 2163 markings/sec, 1070 secs
lola: 2066315 markings, 14350667 edges, 2091 markings/sec, 1075 secs
lola: 2076999 markings, 14424123 edges, 2137 markings/sec, 1080 secs
lola: 2086801 markings, 14493634 edges, 1960 markings/sec, 1085 secs
lola: 2096219 markings, 14567009 edges, 1884 markings/sec, 1090 secs
lola: 2106234 markings, 14640875 edges, 2003 markings/sec, 1095 secs
lola: 2115737 markings, 14715856 edges, 1901 markings/sec, 1100 secs
lola: 2125515 markings, 14794304 edges, 1956 markings/sec, 1105 secs
lola: 2135475 markings, 14872269 edges, 1992 markings/sec, 1110 secs
lola: 2145356 markings, 14944183 edges, 1976 markings/sec, 1115 secs
lola: 2154813 markings, 15018077 edges, 1891 markings/sec, 1120 secs
lola: 2164894 markings, 15091238 edges, 2016 markings/sec, 1125 secs
lola: 2174503 markings, 15168724 edges, 1922 markings/sec, 1130 secs
lola: 2184159 markings, 15247209 edges, 1931 markings/sec, 1135 secs
lola: 2194459 markings, 15325182 edges, 2060 markings/sec, 1140 secs
lola: 2204972 markings, 15381740 edges, 2103 markings/sec, 1145 secs
lola: 2215335 markings, 15446510 edges, 2073 markings/sec, 1150 secs
lola: 2224820 markings, 15511921 edges, 1897 markings/sec, 1155 secs
lola: 2233866 markings, 15575723 edges, 1809 markings/sec, 1160 secs
lola: 2242855 markings, 15642228 edges, 1798 markings/sec, 1165 secs
lola: 2251837 markings, 15702268 edges, 1796 markings/sec, 1170 secs
lola: 2260789 markings, 15765050 edges, 1790 markings/sec, 1175 secs
lola: 2269365 markings, 15821540 edges, 1715 markings/sec, 1180 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no
lola: memory consumption: 395736 KB
lola: time consumption: 1192 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 3 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((((p127 <= 0)) OR ((1 <= p107)))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((((p127 <= 0)) OR ((1 <= p107)))))
lola: processed formula length: 41
lola: 20 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 1110
lola: add low 1162
lola: add low 312
lola: add low 2492
lola: add low 2330
lola: add low 330
lola: add low 3418
lola: add low 678
lola: add low 827
lola: add low 3441
lola: add low 1864
lola: add low 2172
lola: add low 2480
lola: add low 1684
lola: add low 1230
lola: add low 885
lola: add low 733
lola: add low 103
lola: add low 3302
lola: add low 174
lola: add low 1268
lola: add low 2560
lola: add low 1729
lola: add low 1725
lola: add low 2867
lola: add low 1027
lola: add low 2652
lola: add low 709
lola: add low 3034
lola: add low 1804
lola: add low 2122
lola: add low 2114
lola: add low 2831
lola: add low 78
lola: add low 921
lola: add low 90
lola: add low 1235
lola: add low 3309
lola: add low 3055
lola: add low 2713
lola: add low 1643
lola: add low 2892
lola: add low 2333
lola: add low 1748
lola: add low 3444
lola: add low 1585
lola: add low 335
lola: add low 969
lola: add low 3320
lola: add low 3496
lola: add low 1973
lola: add low 943
lola: add low 453
lola: add low 1459
lola: add low 2830
lola: add low 1773
lola: add low 2206
lola: add low 41
lola: add low 3458
lola: add low 351
lola: add low 1207
lola: add low 2937
lola: add low 1901
lola: add low 2874
lola: add low 2266
lola: add low 2714
lola: add low 3594
lola: add low 3164
lola: add low 964
lola: add low 1415
lola: add low 3375
lola: add low 3000
lola: add low 694
lola: add low 1825
lola: add low 1316
lola: add low 886
lola: add low 3046
lola: add low 3494
lola: add low 1495
lola: add low 2259
lola: add low 1379
lola: add low 1981
lola: add low 1317
lola: add low 2465
lola: add low 882
lola: add low 2912
lola: add low 1194
lola: add low 1497
lola: add low 2946
lola: add low 1511
lola: add low 164
lola: add low 3174
lola: add low 183
lola: add low 544
lola: add low 2476
lola: add low 2857
lola: add low 3506
lola: add low 1873
lola: add low 2285
lola: add low 522
lola: add low 597
lola: add low 1963
lola: add low 2376
lola: add low 659
lola: add low 1668
lola: add low 1656
lola: add low 1030
lola: add low 3493
lola: add low 2336
lola: add low 237
lola: add low 3434
lola: add low 770
lola: add low 232
lola: add low 823
lola: add low 2393
lola: add low 2536
lola: add low 1290
lola: add low 1822
lola: add low 1283
lola: add low 1320
lola: add low 1997
lola: add low 1850
lola: add low 2452
lola: add low 3364
lola: add low 3377
lola: add low 2240
lola: add low 1062
lola: add low 2693
lola: add low 2381
lola: add low 1457
lola: add low 671
lola: add low 3537
lola: add low 2442
lola: add low 942
lola: add low 368
lola: add low 1740
lola: add low 2645
lola: add low 2329
lola: add low 1236
lola: add low 3456
lola: add low 1487
lola: add low 2757
lola: add low 898
lola: add low 2666
lola: add low 1883
lola: add low 666
lola: add low 2891
lola: add low 1628
lola: add low 2158
lola: add low 1559
lola: add low 2591
lola: add low 461
lola: add low 14
lola: add low 3084
lola: add low 637
lola: add low 2587
lola: add low 2346
lola: add low 2374
lola: add low 3472
lola: add low 948
lola: add low 101
lola: add low 731
lola: add low 3563
lola: add low 227
lola: add low 1607
lola: add low 3088
lola: add low 3361
lola: add low 2646
lola: add low 1456
lola: add low 2929
lola: add low 2562
lola: add low 2598
lola: add low 2866
lola: add low 3215
lola: add low 887
lola: add low 3053
lola: add low 3372
lola: add low 3393
lola: add low 260
lola: add low 1210
lola: add low 2262
lola: add low 1257
lola: add low 610
lola: add low 1991
lola: add low 1389
lola: add low 3612
lola: add low 2486
lola: add low 904
lola: add low 1078
lola: add low 2589
lola: add low 1990
lola: add low 2998
lola: add low 71
lola: add low 1855
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: 302 markings, 303 edges
lola: ========================================
lola: subprocess 4 will run for 2378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((((1 <= p216)) AND ((p127 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((((1 <= p216)) AND ((p127 <= 0)))))
lola: processed formula length: 41
lola: 20 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: 11326 markings, 37147 edges, 2265 markings/sec, 0 secs
lola: 22828 markings, 87358 edges, 2300 markings/sec, 5 secs
lola: 34454 markings, 131411 edges, 2325 markings/sec, 10 secs
lola: 45818 markings, 178958 edges, 2273 markings/sec, 15 secs
lola: 56729 markings, 230633 edges, 2182 markings/sec, 20 secs
lola: 67529 markings, 284894 edges, 2160 markings/sec, 25 secs
lola: 79078 markings, 336206 edges, 2310 markings/sec, 30 secs
lola: 90124 markings, 383799 edges, 2209 markings/sec, 35 secs
lola: 101009 markings, 439706 edges, 2177 markings/sec, 40 secs
lola: 112042 markings, 492563 edges, 2207 markings/sec, 45 secs
lola: 122298 markings, 538041 edges, 2051 markings/sec, 50 secs
lola: 132489 markings, 583535 edges, 2038 markings/sec, 55 secs
lola: 142108 markings, 632432 edges, 1924 markings/sec, 60 secs
lola: 151741 markings, 683877 edges, 1927 markings/sec, 65 secs
lola: 162262 markings, 732690 edges, 2104 markings/sec, 70 secs
lola: 172431 markings, 779982 edges, 2034 markings/sec, 75 secs
lola: 182751 markings, 829634 edges, 2064 markings/sec, 80 secs
lola: 192679 markings, 883678 edges, 1986 markings/sec, 85 secs
lola: 202471 markings, 940696 edges, 1958 markings/sec, 90 secs
lola: 212787 markings, 992127 edges, 2063 markings/sec, 95 secs
lola: 223031 markings, 1042279 edges, 2049 markings/sec, 100 secs
lola: 232938 markings, 1099156 edges, 1981 markings/sec, 105 secs
lola: 242799 markings, 1152647 edges, 1972 markings/sec, 110 secs
lola: 252805 markings, 1209252 edges, 2001 markings/sec, 115 secs
lola: 262837 markings, 1266317 edges, 2006 markings/sec, 120 secs
lola: 272755 markings, 1329500 edges, 1984 markings/sec, 125 secs
lola: 282379 markings, 1393841 edges, 1925 markings/sec, 130 secs
lola: 292031 markings, 1449925 edges, 1930 markings/sec, 135 secs
lola: 303134 markings, 1492528 edges, 2221 markings/sec, 140 secs
lola: 313691 markings, 1535905 edges, 2111 markings/sec, 145 secs
lola: 324135 markings, 1580990 edges, 2089 markings/sec, 150 secs
lola: 334502 markings, 1636029 edges, 2073 markings/sec, 155 secs
lola: 344940 markings, 1694143 edges, 2088 markings/sec, 160 secs
lola: 355426 markings, 1757453 edges, 2097 markings/sec, 165 secs
lola: 365402 markings, 1809826 edges, 1995 markings/sec, 170 secs
lola: 374923 markings, 1862268 edges, 1904 markings/sec, 175 secs
lola: 384804 markings, 1921523 edges, 1976 markings/sec, 180 secs
lola: 394197 markings, 1975599 edges, 1879 markings/sec, 185 secs
lola: 402958 markings, 2028371 edges, 1752 markings/sec, 190 secs
lola: 411613 markings, 2087138 edges, 1731 markings/sec, 195 secs
lola: 421362 markings, 2141483 edges, 1950 markings/sec, 200 secs
lola: 430772 markings, 2196958 edges, 1882 markings/sec, 205 secs
lola: 439630 markings, 2253964 edges, 1772 markings/sec, 210 secs
lola: 448650 markings, 2314723 edges, 1804 markings/sec, 215 secs
lola: 458032 markings, 2369822 edges, 1876 markings/sec, 220 secs
lola: 467075 markings, 2429942 edges, 1809 markings/sec, 225 secs
lola: 476355 markings, 2490793 edges, 1856 markings/sec, 230 secs
lola: 485440 markings, 2552288 edges, 1817 markings/sec, 235 secs
lola: 494499 markings, 2619127 edges, 1812 markings/sec, 240 secs
lola: 503931 markings, 2682726 edges, 1886 markings/sec, 245 secs
lola: 514400 markings, 2734485 edges, 2094 markings/sec, 250 secs
lola: 524740 markings, 2791887 edges, 2068 markings/sec, 255 secs
lola: 535173 markings, 2849515 edges, 2087 markings/sec, 260 secs
lola: 545451 markings, 2910562 edges, 2056 markings/sec, 265 secs
lola: 555765 markings, 2979183 edges, 2063 markings/sec, 270 secs
lola: 566334 markings, 3040823 edges, 2114 markings/sec, 275 secs
lola: 576832 markings, 3095445 edges, 2100 markings/sec, 280 secs
lola: 586792 markings, 3148843 edges, 1992 markings/sec, 285 secs
lola: 596140 markings, 3205998 edges, 1870 markings/sec, 290 secs
lola: 606329 markings, 3260564 edges, 2038 markings/sec, 295 secs
lola: 616159 markings, 3320879 edges, 1966 markings/sec, 300 secs
lola: 625950 markings, 3375289 edges, 1958 markings/sec, 305 secs
lola: 635498 markings, 3436772 edges, 1910 markings/sec, 310 secs
lola: 644524 markings, 3497944 edges, 1805 markings/sec, 315 secs
lola: 654532 markings, 3540399 edges, 2002 markings/sec, 320 secs
lola: 664381 markings, 3580077 edges, 1970 markings/sec, 325 secs
lola: 673983 markings, 3622739 edges, 1920 markings/sec, 330 secs
lola: 683569 markings, 3672101 edges, 1917 markings/sec, 335 secs
lola: 693149 markings, 3717172 edges, 1916 markings/sec, 340 secs
lola: 703519 markings, 3781169 edges, 2074 markings/sec, 345 secs
lola: 713963 markings, 3842029 edges, 2089 markings/sec, 350 secs
lola: 723298 markings, 3892535 edges, 1867 markings/sec, 355 secs
lola: 733098 markings, 3946220 edges, 1960 markings/sec, 360 secs
lola: 742911 markings, 4007939 edges, 1963 markings/sec, 365 secs
lola: 751841 markings, 4058407 edges, 1786 markings/sec, 370 secs
lola: 760366 markings, 4112883 edges, 1705 markings/sec, 375 secs
lola: 769601 markings, 4171849 edges, 1847 markings/sec, 380 secs
lola: 778968 markings, 4225939 edges, 1873 markings/sec, 385 secs
lola: 788227 markings, 4281774 edges, 1852 markings/sec, 390 secs
lola: 797021 markings, 4343861 edges, 1759 markings/sec, 395 secs
lola: 806316 markings, 4400944 edges, 1859 markings/sec, 400 secs
lola: 815669 markings, 4459954 edges, 1871 markings/sec, 405 secs
lola: 824593 markings, 4520105 edges, 1785 markings/sec, 410 secs
lola: 833745 markings, 4581907 edges, 1830 markings/sec, 415 secs
lola: 842661 markings, 4644665 edges, 1783 markings/sec, 420 secs
lola: 851326 markings, 4711476 edges, 1733 markings/sec, 425 secs
lola: 860495 markings, 4767794 edges, 1834 markings/sec, 430 secs
lola: 869282 markings, 4810083 edges, 1757 markings/sec, 435 secs
lola: 877605 markings, 4856889 edges, 1665 markings/sec, 440 secs
lola: 885934 markings, 4898861 edges, 1666 markings/sec, 445 secs
lola: 894927 markings, 4950006 edges, 1799 markings/sec, 450 secs
lola: 903301 markings, 4997871 edges, 1675 markings/sec, 455 secs
lola: 911513 markings, 5050474 edges, 1642 markings/sec, 460 secs
lola: 921425 markings, 5114182 edges, 1982 markings/sec, 465 secs
lola: 931146 markings, 5178581 edges, 1944 markings/sec, 470 secs
lola: 941171 markings, 5250275 edges, 2005 markings/sec, 475 secs
lola: 950989 markings, 5323366 edges, 1964 markings/sec, 480 secs
lola: 959869 markings, 5385142 edges, 1776 markings/sec, 485 secs
lola: 968322 markings, 5449683 edges, 1691 markings/sec, 490 secs
lola: 976742 markings, 5512984 edges, 1684 markings/sec, 495 secs
lola: 985020 markings, 5577209 edges, 1656 markings/sec, 500 secs
lola: 992811 markings, 5644512 edges, 1558 markings/sec, 505 secs
lola: 1002911 markings, 5713878 edges, 2020 markings/sec, 510 secs
lola: 1014300 markings, 5771002 edges, 2278 markings/sec, 515 secs
lola: 1024965 markings, 5834521 edges, 2133 markings/sec, 520 secs
lola: 1035466 markings, 5895975 edges, 2100 markings/sec, 525 secs
lola: 1046164 markings, 5953451 edges, 2140 markings/sec, 530 secs
lola: 1056690 markings, 6017589 edges, 2105 markings/sec, 535 secs
lola: 1067021 markings, 6080429 edges, 2066 markings/sec, 540 secs
lola: 1077491 markings, 6149508 edges, 2094 markings/sec, 545 secs
lola: 1087774 markings, 6221183 edges, 2057 markings/sec, 550 secs
lola: 1095152 markings, 6263944 edges, 1476 markings/sec, 555 secs
lola: 1102601 markings, 6313674 edges, 1490 markings/sec, 560 secs
lola: 1112346 markings, 6386126 edges, 1949 markings/sec, 565 secs
lola: 1122375 markings, 6458473 edges, 2006 markings/sec, 570 secs
lola: 1132465 markings, 6524344 edges, 2018 markings/sec, 575 secs
lola: 1142348 markings, 6596513 edges, 1977 markings/sec, 580 secs
lola: 1152476 markings, 6670006 edges, 2026 markings/sec, 585 secs
lola: 1162580 markings, 6749104 edges, 2021 markings/sec, 590 secs
lola: 1172680 markings, 6832301 edges, 2020 markings/sec, 595 secs
lola: 1183361 markings, 6887625 edges, 2136 markings/sec, 600 secs
lola: 1194087 markings, 6942700 edges, 2145 markings/sec, 605 secs
lola: 1204607 markings, 6997772 edges, 2104 markings/sec, 610 secs
lola: 1214911 markings, 7053951 edges, 2061 markings/sec, 615 secs
lola: 1224933 markings, 7115146 edges, 2004 markings/sec, 620 secs
lola: 1235262 markings, 7175264 edges, 2066 markings/sec, 625 secs
lola: 1245752 markings, 7229745 edges, 2098 markings/sec, 630 secs
lola: 1255974 markings, 7288809 edges, 2044 markings/sec, 635 secs
lola: 1266097 markings, 7351758 edges, 2025 markings/sec, 640 secs
lola: 1276658 markings, 7409412 edges, 2112 markings/sec, 645 secs
lola: 1286759 markings, 7471783 edges, 2020 markings/sec, 650 secs
lola: 1297016 markings, 7534121 edges, 2051 markings/sec, 655 secs
lola: 1307338 markings, 7599892 edges, 2064 markings/sec, 660 secs
lola: 1317244 markings, 7670442 edges, 1981 markings/sec, 665 secs
lola: 1326298 markings, 7722685 edges, 1811 markings/sec, 670 secs
lola: 1334488 markings, 7776077 edges, 1638 markings/sec, 675 secs
lola: 1344306 markings, 7844174 edges, 1964 markings/sec, 680 secs
lola: 1354425 markings, 7912814 edges, 2024 markings/sec, 685 secs
lola: 1364566 markings, 7976179 edges, 2028 markings/sec, 690 secs
lola: 1374672 markings, 8048179 edges, 2021 markings/sec, 695 secs
lola: 1384825 markings, 8119284 edges, 2031 markings/sec, 700 secs
lola: 1394864 markings, 8195168 edges, 2008 markings/sec, 705 secs
lola: 1404853 markings, 8273961 edges, 1998 markings/sec, 710 secs
lola: 1415751 markings, 8331823 edges, 2180 markings/sec, 715 secs
lola: 1426677 markings, 8394378 edges, 2185 markings/sec, 720 secs
lola: 1437605 markings, 8456769 edges, 2186 markings/sec, 725 secs
lola: 1448468 markings, 8525357 edges, 2173 markings/sec, 730 secs
lola: 1459035 markings, 8592102 edges, 2113 markings/sec, 735 secs
lola: 1469277 markings, 8663826 edges, 2048 markings/sec, 740 secs
lola: 1479631 markings, 8734814 edges, 2071 markings/sec, 745 secs
lola: 1489963 markings, 8809088 edges, 2066 markings/sec, 750 secs
lola: 1500184 markings, 8889551 edges, 2044 markings/sec, 755 secs
lola: 1510614 markings, 8955568 edges, 2086 markings/sec, 760 secs
lola: 1520881 markings, 9029660 edges, 2053 markings/sec, 765 secs
lola: 1531253 markings, 9100081 edges, 2074 markings/sec, 770 secs
lola: 1541488 markings, 9176791 edges, 2047 markings/sec, 775 secs
lola: 1551844 markings, 9252875 edges, 2071 markings/sec, 780 secs
lola: 1562326 markings, 9292788 edges, 2096 markings/sec, 785 secs
lola: 1572411 markings, 9334561 edges, 2017 markings/sec, 790 secs
lola: 1582448 markings, 9376913 edges, 2007 markings/sec, 795 secs
lola: 1592409 markings, 9430178 edges, 1992 markings/sec, 800 secs
lola: 1602793 markings, 9484460 edges, 2077 markings/sec, 805 secs
lola: 1613192 markings, 9548426 edges, 2080 markings/sec, 810 secs
lola: 1623306 markings, 9603943 edges, 2023 markings/sec, 815 secs
lola: 1633188 markings, 9662738 edges, 1976 markings/sec, 820 secs
lola: 1643072 markings, 9718704 edges, 1977 markings/sec, 825 secs
lola: 1652066 markings, 9770660 edges, 1799 markings/sec, 830 secs
lola: 1660608 markings, 9821523 edges, 1708 markings/sec, 835 secs
lola: 1669290 markings, 9879025 edges, 1736 markings/sec, 840 secs
lola: 1679213 markings, 9937742 edges, 1985 markings/sec, 845 secs
lola: 1689106 markings, 9999983 edges, 1979 markings/sec, 850 secs
lola: 1697745 markings, 10052909 edges, 1728 markings/sec, 855 secs
lola: 1706729 markings, 10112938 edges, 1797 markings/sec, 860 secs
lola: 1716195 markings, 10169477 edges, 1893 markings/sec, 865 secs
lola: 1725292 markings, 10230561 edges, 1819 markings/sec, 870 secs
lola: 1734777 markings, 10293024 edges, 1897 markings/sec, 875 secs
lola: 1743882 markings, 10356841 edges, 1821 markings/sec, 880 secs
lola: 1753257 markings, 10427868 edges, 1875 markings/sec, 885 secs
lola: 1762095 markings, 10488566 edges, 1768 markings/sec, 890 secs
lola: 1772732 markings, 10540415 edges, 2127 markings/sec, 895 secs
lola: 1783012 markings, 10599203 edges, 2056 markings/sec, 900 secs
lola: 1793748 markings, 10653479 edges, 2147 markings/sec, 905 secs
lola: 1804466 markings, 10708075 edges, 2144 markings/sec, 910 secs
lola: 1814263 markings, 10768445 edges, 1959 markings/sec, 915 secs
lola: 1825229 markings, 10821364 edges, 2193 markings/sec, 920 secs
lola: 1835624 markings, 10880606 edges, 2079 markings/sec, 925 secs
lola: 1845629 markings, 10944111 edges, 2001 markings/sec, 930 secs
lola: 1856158 markings, 11007834 edges, 2106 markings/sec, 935 secs
lola: 1866503 markings, 11070286 edges, 2069 markings/sec, 940 secs
lola: 1877089 markings, 11130812 edges, 2117 markings/sec, 945 secs
lola: 1887205 markings, 11198450 edges, 2023 markings/sec, 950 secs
lola: 1897441 markings, 11269065 edges, 2047 markings/sec, 955 secs
lola: 1907956 markings, 11333518 edges, 2103 markings/sec, 960 secs
lola: 1919655 markings, 11396155 edges, 2340 markings/sec, 965 secs
lola: 1930021 markings, 11457491 edges, 2073 markings/sec, 970 secs
lola: 1940558 markings, 11519100 edges, 2107 markings/sec, 975 secs
lola: 1951229 markings, 11577200 edges, 2134 markings/sec, 980 secs
lola: 1961814 markings, 11643770 edges, 2117 markings/sec, 985 secs
lola: 1972405 markings, 11711330 edges, 2118 markings/sec, 990 secs
lola: 1982914 markings, 11781719 edges, 2102 markings/sec, 995 secs
lola: 1993611 markings, 11847560 edges, 2139 markings/sec, 1000 secs
lola: 2004563 markings, 11908391 edges, 2190 markings/sec, 1005 secs
lola: 2015559 markings, 11970266 edges, 2199 markings/sec, 1010 secs
lola: 2026579 markings, 12039437 edges, 2204 markings/sec, 1015 secs
lola: 2037292 markings, 12109583 edges, 2143 markings/sec, 1020 secs
lola: 2047407 markings, 12153050 edges, 2023 markings/sec, 1025 secs
lola: 2057223 markings, 12198203 edges, 1963 markings/sec, 1030 secs
lola: 2066542 markings, 12248935 edges, 1864 markings/sec, 1035 secs
lola: 2076313 markings, 12308125 edges, 1954 markings/sec, 1040 secs
lola: 2086394 markings, 12378672 edges, 2016 markings/sec, 1045 secs
lola: 2096399 markings, 12441627 edges, 2001 markings/sec, 1050 secs
lola: 2106047 markings, 12505745 edges, 1930 markings/sec, 1055 secs
lola: 2115385 markings, 12570660 edges, 1868 markings/sec, 1060 secs
lola: 2124281 markings, 12639476 edges, 1779 markings/sec, 1065 secs
lola: 2133917 markings, 12703257 edges, 1927 markings/sec, 1070 secs
lola: 2143206 markings, 12772768 edges, 1858 markings/sec, 1075 secs
lola: 2152911 markings, 12842035 edges, 1941 markings/sec, 1080 secs
lola: 2162263 markings, 12914037 edges, 1870 markings/sec, 1085 secs
lola: 2171589 markings, 12990284 edges, 1865 markings/sec, 1090 secs
lola: 2180740 markings, 13059516 edges, 1830 markings/sec, 1095 secs
lola: 2189366 markings, 13110527 edges, 1725 markings/sec, 1100 secs
lola: 2198379 markings, 13170928 edges, 1803 markings/sec, 1105 secs
lola: 2208484 markings, 13245254 edges, 2021 markings/sec, 1110 secs
lola: 2218751 markings, 13313484 edges, 2053 markings/sec, 1115 secs
lola: 2228931 markings, 13384708 edges, 2036 markings/sec, 1120 secs
lola: 2239089 markings, 13461332 edges, 2032 markings/sec, 1125 secs
lola: 2249247 markings, 13539463 edges, 2032 markings/sec, 1130 secs
lola: 2259325 markings, 13623153 edges, 2016 markings/sec, 1135 secs
lola: 2269621 markings, 13690403 edges, 2059 markings/sec, 1140 secs
lola: 2280014 markings, 13761050 edges, 2079 markings/sec, 1145 secs
lola: 2290414 markings, 13831021 edges, 2080 markings/sec, 1150 secs
lola: 2300815 markings, 13910012 edges, 2080 markings/sec, 1155 secs
lola: 2311101 markings, 13993521 edges, 2057 markings/sec, 1160 secs
lola: 2320393 markings, 14047039 edges, 1858 markings/sec, 1165 secs
lola: 2329220 markings, 14103907 edges, 1765 markings/sec, 1170 secs
lola: 2339299 markings, 14174462 edges, 2016 markings/sec, 1175 secs
lola: 2349457 markings, 14242264 edges, 2032 markings/sec, 1180 secs
lola: 2359625 markings, 14308202 edges, 2034 markings/sec, 1185 secs
lola: 2369602 markings, 14382828 edges, 1995 markings/sec, 1190 secs
lola: 2379641 markings, 14452692 edges, 2008 markings/sec, 1195 secs
lola: 2389639 markings, 14532345 edges, 2000 markings/sec, 1200 secs
lola: 2399693 markings, 14602677 edges, 2011 markings/sec, 1205 secs
lola: 2410035 markings, 14668752 edges, 2068 markings/sec, 1210 secs
lola: 2420296 markings, 14738987 edges, 2052 markings/sec, 1215 secs
lola: 2430561 markings, 14815311 edges, 2053 markings/sec, 1220 secs
lola: 2440790 markings, 14898434 edges, 2046 markings/sec, 1225 secs
lola: 2450449 markings, 14954019 edges, 1932 markings/sec, 1230 secs
lola: 2459782 markings, 15002099 edges, 1867 markings/sec, 1235 secs
lola: 2469467 markings, 15058147 edges, 1937 markings/sec, 1240 secs
lola: 2478873 markings, 15105480 edges, 1881 markings/sec, 1245 secs
lola: 2488720 markings, 15165125 edges, 1969 markings/sec, 1250 secs
lola: 2498199 markings, 15221292 edges, 1896 markings/sec, 1255 secs
lola: 2507530 markings, 15280042 edges, 1866 markings/sec, 1260 secs
lola: 2516701 markings, 15340965 edges, 1834 markings/sec, 1265 secs
lola: 2526053 markings, 15405968 edges, 1870 markings/sec, 1270 secs
lola: 2535166 markings, 15475705 edges, 1823 markings/sec, 1275 secs
lola: 2544539 markings, 15539708 edges, 1875 markings/sec, 1280 secs
lola: 2553483 markings, 15607900 edges, 1789 markings/sec, 1285 secs
lola: 2562940 markings, 15676313 edges, 1891 markings/sec, 1290 secs
lola: 2572157 markings, 15749034 edges, 1843 markings/sec, 1295 secs
lola: 2581473 markings, 15826532 edges, 1863 markings/sec, 1300 secs
lola: 2590045 markings, 15887201 edges, 1714 markings/sec, 1305 secs
lola: 2597734 markings, 15932339 edges, 1538 markings/sec, 1310 secs
lola: 2606132 markings, 15988385 edges, 1680 markings/sec, 1315 secs
lola: 2616190 markings, 16061077 edges, 2012 markings/sec, 1320 secs
lola: 2626219 markings, 16127547 edges, 2006 markings/sec, 1325 secs
lola: 2636261 markings, 16196551 edges, 2008 markings/sec, 1330 secs
lola: 2646204 markings, 16271217 edges, 1989 markings/sec, 1335 secs
lola: 2656124 markings, 16345639 edges, 1984 markings/sec, 1340 secs
lola: 2666086 markings, 16427553 edges, 1992 markings/sec, 1345 secs
lola: 2675547 markings, 16491199 edges, 1892 markings/sec, 1350 secs
lola: 2683628 markings, 16538787 edges, 1616 markings/sec, 1355 secs
lola: 2692341 markings, 16597087 edges, 1743 markings/sec, 1360 secs
lola: 2702406 markings, 16668037 edges, 2013 markings/sec, 1365 secs
lola: 2712546 markings, 16733467 edges, 2028 markings/sec, 1370 secs
lola: 2722686 markings, 16801548 edges, 2028 markings/sec, 1375 secs
lola: 2732758 markings, 16875115 edges, 2014 markings/sec, 1380 secs
lola: 2742767 markings, 16948206 edges, 2002 markings/sec, 1385 secs
lola: 2752754 markings, 17028289 edges, 1997 markings/sec, 1390 secs
lola: 2760765 markings, 17082912 edges, 1602 markings/sec, 1395 secs
lola: 2766329 markings, 17121162 edges, 1113 markings/sec, 1400 secs
lola: 2772213 markings, 17165134 edges, 1177 markings/sec, 1405 secs
lola: 2780161 markings, 17227662 edges, 1590 markings/sec, 1410 secs
lola: 2790139 markings, 17306492 edges, 1996 markings/sec, 1415 secs
lola: 2800179 markings, 17381377 edges, 2008 markings/sec, 1420 secs
lola: 2810021 markings, 17456514 edges, 1968 markings/sec, 1425 secs
lola: 2819885 markings, 17537392 edges, 1973 markings/sec, 1430 secs
lola: 2829686 markings, 17619137 edges, 1960 markings/sec, 1435 secs
lola: 2839488 markings, 17708485 edges, 1960 markings/sec, 1440 secs
lola: 2849631 markings, 17777559 edges, 2029 markings/sec, 1445 secs
lola: 2859905 markings, 17846638 edges, 2055 markings/sec, 1450 secs
lola: 2870247 markings, 17915132 edges, 2068 markings/sec, 1455 secs
lola: 2880617 markings, 17993344 edges, 2074 markings/sec, 1460 secs
lola: 2890850 markings, 18075593 edges, 2047 markings/sec, 1465 secs
lola: 2901015 markings, 18136850 edges, 2033 markings/sec, 1470 secs
lola: 2911236 markings, 18206661 edges, 2044 markings/sec, 1475 secs
lola: 2921565 markings, 18279625 edges, 2066 markings/sec, 1480 secs
lola: 2931852 markings, 18359070 edges, 2057 markings/sec, 1485 secs
lola: 2941702 markings, 18432316 edges, 1970 markings/sec, 1490 secs
lola: 2951726 markings, 18506775 edges, 2005 markings/sec, 1495 secs
lola: 2961628 markings, 18581883 edges, 1980 markings/sec, 1500 secs
lola: 2971560 markings, 18659895 edges, 1986 markings/sec, 1505 secs
lola: 2981333 markings, 18742887 edges, 1955 markings/sec, 1510 secs
lola: 2991466 markings, 18810175 edges, 2027 markings/sec, 1515 secs
lola: 3001734 markings, 18875810 edges, 2054 markings/sec, 1520 secs
lola: 3011926 markings, 18944129 edges, 2038 markings/sec, 1525 secs
lola: 3022274 markings, 19017440 edges, 2070 markings/sec, 1530 secs
lola: 3032464 markings, 19093423 edges, 2038 markings/sec, 1535 secs
lola: 3042364 markings, 19167146 edges, 1980 markings/sec, 1540 secs
lola: 3052401 markings, 19249136 edges, 2007 markings/sec, 1545 secs
lola: 3062423 markings, 19331866 edges, 2004 markings/sec, 1550 secs
lola: 3072394 markings, 19417440 edges, 1994 markings/sec, 1555 secs
lola: 3082221 markings, 19497928 edges, 1965 markings/sec, 1560 secs
lola: 3092167 markings, 19568461 edges, 1989 markings/sec, 1565 secs
lola: 3102004 markings, 19645381 edges, 1967 markings/sec, 1570 secs
lola: 3111914 markings, 19722534 edges, 1982 markings/sec, 1575 secs
lola: 3121784 markings, 19804069 edges, 1974 markings/sec, 1580 secs
lola: 3132402 markings, 19871051 edges, 2124 markings/sec, 1585 secs
lola: 3143165 markings, 19934847 edges, 2153 markings/sec, 1590 secs
lola: 3154102 markings, 20001072 edges, 2187 markings/sec, 1595 secs
lola: 3164896 markings, 20071273 edges, 2159 markings/sec, 1600 secs
lola: 3175580 markings, 20144551 edges, 2137 markings/sec, 1605 secs
lola: 3186209 markings, 20213123 edges, 2126 markings/sec, 1610 secs
lola: 3196681 markings, 20288987 edges, 2094 markings/sec, 1615 secs
lola: 3207208 markings, 20355294 edges, 2105 markings/sec, 1620 secs
lola: 3217638 markings, 20425909 edges, 2086 markings/sec, 1625 secs
lola: 3228103 markings, 20493035 edges, 2093 markings/sec, 1630 secs
lola: 3238561 markings, 20563606 edges, 2092 markings/sec, 1635 secs
lola: 3248914 markings, 20637600 edges, 2071 markings/sec, 1640 secs
lola: 3259154 markings, 20712966 edges, 2048 markings/sec, 1645 secs
lola: 3269328 markings, 20793449 edges, 2035 markings/sec, 1650 secs
lola: 3279780 markings, 20859655 edges, 2090 markings/sec, 1655 secs
lola: 3290165 markings, 20930013 edges, 2077 markings/sec, 1660 secs
lola: 3300294 markings, 21006599 edges, 2026 markings/sec, 1665 secs
lola: 3310318 markings, 21089415 edges, 2005 markings/sec, 1670 secs
lola: 3320278 markings, 21167454 edges, 1992 markings/sec, 1675 secs
lola: 3330301 markings, 21241371 edges, 2005 markings/sec, 1680 secs
lola: 3340341 markings, 21321495 edges, 2008 markings/sec, 1685 secs
lola: 3351128 markings, 21387968 edges, 2157 markings/sec, 1690 secs
lola: 3361816 markings, 21460910 edges, 2138 markings/sec, 1695 secs
lola: 3372180 markings, 21536796 edges, 2073 markings/sec, 1700 secs
lola: 3382417 markings, 21620672 edges, 2047 markings/sec, 1705 secs
lola: 3392632 markings, 21703035 edges, 2043 markings/sec, 1710 secs
lola: 3402899 markings, 21785815 edges, 2053 markings/sec, 1715 secs
lola: 3413139 markings, 21867760 edges, 2048 markings/sec, 1720 secs
lola: 3423780 markings, 21933372 edges, 2128 markings/sec, 1725 secs
lola: 3434286 markings, 22005295 edges, 2101 markings/sec, 1730 secs
lola: 3444839 markings, 22078008 edges, 2111 markings/sec, 1735 secs
lola: 3455108 markings, 22154490 edges, 2054 markings/sec, 1740 secs
lola: 3466102 markings, 22215483 edges, 2199 markings/sec, 1745 secs
lola: 3477000 markings, 22283874 edges, 2180 markings/sec, 1750 secs
lola: 3487513 markings, 22351913 edges, 2103 markings/sec, 1755 secs
lola: 3497948 markings, 22418887 edges, 2087 markings/sec, 1760 secs
lola: 3508363 markings, 22486210 edges, 2083 markings/sec, 1765 secs
lola: 3518461 markings, 22560190 edges, 2020 markings/sec, 1770 secs
lola: 3528957 markings, 22627711 edges, 2099 markings/sec, 1775 secs
lola: 3538951 markings, 22706230 edges, 1999 markings/sec, 1780 secs
lola: 3548903 markings, 22779052 edges, 1990 markings/sec, 1785 secs
lola: 3559514 markings, 22847581 edges, 2122 markings/sec, 1790 secs
lola: 3569616 markings, 22925146 edges, 2020 markings/sec, 1795 secs
lola: 3579707 markings, 23003063 edges, 2018 markings/sec, 1800 secs
lola: 3590310 markings, 23076249 edges, 2121 markings/sec, 1805 secs
lola: 3600795 markings, 23144441 edges, 2097 markings/sec, 1810 secs
lola: 3611157 markings, 23190899 edges, 2072 markings/sec, 1815 secs
lola: 3621425 markings, 23241285 edges, 2054 markings/sec, 1820 secs
lola: 3631118 markings, 23295076 edges, 1939 markings/sec, 1825 secs
lola: 3641201 markings, 23350360 edges, 2017 markings/sec, 1830 secs
lola: 3651310 markings, 23404932 edges, 2022 markings/sec, 1835 secs
lola: 3661408 markings, 23458501 edges, 2020 markings/sec, 1840 secs
lola: 3671700 markings, 23514998 edges, 2058 markings/sec, 1845 secs
lola: 3681226 markings, 23573236 edges, 1905 markings/sec, 1850 secs
lola: 3690936 markings, 23634538 edges, 1942 markings/sec, 1855 secs
lola: 3700847 markings, 23703968 edges, 1982 markings/sec, 1860 secs
lola: 3711234 markings, 23766415 edges, 2077 markings/sec, 1865 secs
lola: 3721606 markings, 23829590 edges, 2074 markings/sec, 1870 secs
lola: 3732090 markings, 23883671 edges, 2097 markings/sec, 1875 secs
lola: 3742356 markings, 23939727 edges, 2053 markings/sec, 1880 secs
lola: 3752634 markings, 23996871 edges, 2056 markings/sec, 1885 secs
lola: 3762944 markings, 24055232 edges, 2062 markings/sec, 1890 secs
lola: 3772762 markings, 24114422 edges, 1964 markings/sec, 1895 secs
lola: 3782752 markings, 24182795 edges, 1998 markings/sec, 1900 secs
lola: 3793156 markings, 24247935 edges, 2081 markings/sec, 1905 secs
lola: 3803490 markings, 24310513 edges, 2067 markings/sec, 1910 secs
lola: 3813935 markings, 24370283 edges, 2089 markings/sec, 1915 secs
lola: 3824311 markings, 24431748 edges, 2075 markings/sec, 1920 secs
lola: 3834499 markings, 24495838 edges, 2038 markings/sec, 1925 secs
lola: 3844781 markings, 24563670 edges, 2056 markings/sec, 1930 secs
lola: 3855025 markings, 24626074 edges, 2049 markings/sec, 1935 secs
lola: 3865358 markings, 24693161 edges, 2067 markings/sec, 1940 secs
lola: 3875406 markings, 24757625 edges, 2010 markings/sec, 1945 secs
lola: 3885458 markings, 24828477 edges, 2010 markings/sec, 1950 secs
lola: 3895511 markings, 24901654 edges, 2011 markings/sec, 1955 secs
lola: 3905567 markings, 24977877 edges, 2011 markings/sec, 1960 secs
lola: 3915771 markings, 25055837 edges, 2041 markings/sec, 1965 secs
lola: 3926085 markings, 25128983 edges, 2063 markings/sec, 1970 secs
lola: 3936489 markings, 25193429 edges, 2081 markings/sec, 1975 secs
lola: 3946828 markings, 25262915 edges, 2068 markings/sec, 1980 secs
lola: 3957318 markings, 25329191 edges, 2098 markings/sec, 1985 secs
lola: 3967742 markings, 25394275 edges, 2085 markings/sec, 1990 secs
lola: 3978096 markings, 25447666 edges, 2071 markings/sec, 1995 secs
lola: 3988093 markings, 25502469 edges, 1999 markings/sec, 2000 secs
lola: 3998007 markings, 25553063 edges, 1983 markings/sec, 2005 secs
lola: 4008062 markings, 25604004 edges, 2011 markings/sec, 2010 secs
lola: 4017735 markings, 25658944 edges, 1935 markings/sec, 2015 secs
lola: 4027079 markings, 25719500 edges, 1869 markings/sec, 2020 secs
lola: 4037324 markings, 25781094 edges, 2049 markings/sec, 2025 secs
lola: 4046515 markings, 25831142 edges, 1838 markings/sec, 2030 secs
lola: 4055598 markings, 25888995 edges, 1817 markings/sec, 2035 secs
lola: 4065115 markings, 25941752 edges, 1903 markings/sec, 2040 secs
lola: 4074272 markings, 25998867 edges, 1831 markings/sec, 2045 secs
lola: 4083408 markings, 26050067 edges, 1827 markings/sec, 2050 secs
lola: 4092446 markings, 26105808 edges, 1808 markings/sec, 2055 secs
lola: 4100897 markings, 26160969 edges, 1690 markings/sec, 2060 secs
lola: 4109347 markings, 26224385 edges, 1690 markings/sec, 2065 secs
lola: 4119369 markings, 26294927 edges, 2004 markings/sec, 2070 secs
lola: 4129033 markings, 26355866 edges, 1933 markings/sec, 2075 secs
lola: 4138657 markings, 26413978 edges, 1925 markings/sec, 2080 secs
lola: 4147976 markings, 26463788 edges, 1864 markings/sec, 2085 secs
lola: 4157143 markings, 26521527 edges, 1833 markings/sec, 2090 secs
lola: 4167174 markings, 26582587 edges, 2006 markings/sec, 2095 secs
lola: 4176136 markings, 26631737 edges, 1792 markings/sec, 2100 secs
lola: 4185719 markings, 26693202 edges, 1917 markings/sec, 2105 secs
lola: 4194953 markings, 26740346 edges, 1847 markings/sec, 2110 secs
lola: 4203435 markings, 26795907 edges, 1696 markings/sec, 2115 secs
lola: 4212036 markings, 26850978 edges, 1720 markings/sec, 2120 secs
lola: 4221089 markings, 26919076 edges, 1811 markings/sec, 2125 secs
lola: 4230884 markings, 26992433 edges, 1959 markings/sec, 2130 secs
lola: 4240753 markings, 27052069 edges, 1974 markings/sec, 2135 secs
lola: 4249677 markings, 27105341 edges, 1785 markings/sec, 2140 secs
lola: 4258227 markings, 27159082 edges, 1710 markings/sec, 2145 secs
lola: 4267224 markings, 27226186 edges, 1799 markings/sec, 2150 secs
lola: 4276277 markings, 27278703 edges, 1811 markings/sec, 2155 secs
lola: 4284594 markings, 27335432 edges, 1663 markings/sec, 2160 secs
lola: 4293882 markings, 27395933 edges, 1858 markings/sec, 2165 secs
lola: 4302437 markings, 27450746 edges, 1711 markings/sec, 2170 secs
lola: 4311198 markings, 27511793 edges, 1752 markings/sec, 2175 secs
lola: 4319077 markings, 27568279 edges, 1576 markings/sec, 2180 secs
lola: 4326982 markings, 27634527 edges, 1581 markings/sec, 2185 secs
lola: 4336839 markings, 27709679 edges, 1971 markings/sec, 2190 secs
lola: 4346423 markings, 27769735 edges, 1917 markings/sec, 2195 secs
lola: 4355638 markings, 27830741 edges, 1843 markings/sec, 2200 secs
lola: 4364813 markings, 27900625 edges, 1835 markings/sec, 2205 secs
lola: 4374521 markings, 27969945 edges, 1942 markings/sec, 2210 secs
lola: 4384310 markings, 28031148 edges, 1958 markings/sec, 2215 secs
lola: 4393708 markings, 28096253 edges, 1880 markings/sec, 2220 secs
lola: 4403492 markings, 28158671 edges, 1957 markings/sec, 2225 secs
lola: 4413274 markings, 28225985 edges, 1956 markings/sec, 2230 secs
lola: 4423462 markings, 28283759 edges, 2038 markings/sec, 2235 secs
lola: 4433703 markings, 28353073 edges, 2048 markings/sec, 2240 secs
lola: 4443738 markings, 28418458 edges, 2007 markings/sec, 2245 secs
lola: 4453823 markings, 28490427 edges, 2017 markings/sec, 2250 secs
lola: 4464171 markings, 28556235 edges, 2070 markings/sec, 2255 secs
lola: 4474513 markings, 28623266 edges, 2068 markings/sec, 2260 secs
lola: 4484857 markings, 28687882 edges, 2069 markings/sec, 2265 secs
lola: 4494978 markings, 28740552 edges, 2024 markings/sec, 2270 secs
lola: 4505150 markings, 28795807 edges, 2034 markings/sec, 2275 secs
lola: 4515446 markings, 28853250 edges, 2059 markings/sec, 2280 secs
lola: 4525195 markings, 28911774 edges, 1950 markings/sec, 2285 secs
lola: 4535022 markings, 28972888 edges, 1965 markings/sec, 2290 secs
lola: 4544888 markings, 29041402 edges, 1973 markings/sec, 2295 secs
lola: 4555081 markings, 29102151 edges, 2039 markings/sec, 2300 secs
lola: 4565239 markings, 29162680 edges, 2032 markings/sec, 2305 secs
lola: 4575367 markings, 29229428 edges, 2026 markings/sec, 2310 secs
lola: 4585366 markings, 29289438 edges, 2000 markings/sec, 2315 secs
lola: 4595583 markings, 29355344 edges, 2043 markings/sec, 2320 secs
lola: 4605203 markings, 29420519 edges, 1924 markings/sec, 2325 secs
lola: 4615128 markings, 29490494 edges, 1985 markings/sec, 2330 secs
lola: 4625022 markings, 29561026 edges, 1979 markings/sec, 2335 secs
lola: 4635015 markings, 29637410 edges, 1999 markings/sec, 2340 secs
lola: 4645125 markings, 29708168 edges, 2022 markings/sec, 2345 secs
lola: 4655327 markings, 29776738 edges, 2040 markings/sec, 2350 secs
lola: 4665647 markings, 29838964 edges, 2064 markings/sec, 2355 secs
lola: 4676121 markings, 29903288 edges, 2095 markings/sec, 2360 secs
lola: 4686367 markings, 29968493 edges, 2049 markings/sec, 2365 secs
lola: 4696739 markings, 30034209 edges, 2074 markings/sec, 2370 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown unknown no no
lola:
preliminary result: no unknown unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown no no
lola: memory consumption: 772436 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: memory consumption: 772436 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown no no
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.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="TokenRing-PT-015"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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 gold2020"
echo " Input is TokenRing-PT-015, 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 r284-smll-162123894300049"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-015.tgz
mv TokenRing-PT-015 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 ;