Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r082-csrt-155246549200263.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is FlexibleBarrier-PT-18b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-csrt-155246549200263
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 3.7K Feb 11 01:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 11 01:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 6 23:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 6 23:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.0K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 3 08:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 3 08:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jan 31 01:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 31 01:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 0 Jan 29 09:34 model-fix.log
-rw-r--r-- 1 mcc users 1.2M Mar 10 17:31 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1552661848944

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ FlexibleBarrier-PT-18b @ 3570 seconds

FORMULA FlexibleBarrier-PT-18b-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-18b-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-18b-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-18b-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-18b-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-18b-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-18b-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-18b-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-18b-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-18b-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-18b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-18b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-18b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-18b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA FlexibleBarrier-PT-18b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for UpperBounds @ FlexibleBarrier-PT-18b

{
"exit":
{
"memory": 2690796,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p752)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"preliminary_value": "1 1 1 1 1 1 1 1 1 1 1 1 1 unknown 1 1 "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
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: 9407/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 4370
lola: finding significant places
lola: 4370 places, 5037 transitions, 4350 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 UpperBounds.xml
lola: MAX(p432) : MAX(p700) : MAX(p2201) : MAX(p3952) : MAX(p3270) : MAX(p1367) : MAX(p953) : MAX(p1918) : MAX(p4205) : MAX(p3037) : MAX(p3333) : MAX(p4302) : MAX(p4259) : MAX(p752) : MAX(p1640) : MAX(p1686)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p432)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p432)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 58 markings, 57 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p700)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p700)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 51 markings, 50 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2201)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2201)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 24 markings, 23 edges
lola: ========================================
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3952)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3952)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 83 markings, 82 edges
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3270)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3270)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 60 markings, 59 edges
lola: ========================================
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1367)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1367)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 28 markings, 27 edges
lola: ========================================
lola: subprocess 6 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p953)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p953)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 56 markings, 55 edges
lola: ========================================
lola: subprocess 7 will run for 394 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1918)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1918)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 37 markings, 36 edges
lola: ========================================
lola: subprocess 8 will run for 443 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4205)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4205)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 69 markings, 68 edges
lola: ========================================
lola: subprocess 9 will run for 506 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3037)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3037)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 83 markings, 82 edges
lola: ========================================
lola: subprocess 10 will run for 590 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3333)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3333)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 53 markings, 52 edges
lola: ========================================
lola: subprocess 11 will run for 708 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4302)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4302)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 41 markings, 40 edges
lola: ========================================
lola: subprocess 12 will run for 884 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4259)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4259)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 23 markings, 22 edges
lola: ========================================
lola: subprocess 13 will run for 1178 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p752)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p752)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 22025 markings, 23565 edges, 4405 markings/sec, 0 secs
lola: 61934 markings, 66387 edges, 7982 markings/sec, 5 secs
lola: 101624 markings, 108913 edges, 7938 markings/sec, 10 secs
lola: 133294 markings, 178794 edges, 6334 markings/sec, 15 secs
lola: 164979 markings, 248935 edges, 6337 markings/sec, 20 secs
lola: 189208 markings, 341831 edges, 4846 markings/sec, 25 secs
lola: 214033 markings, 431213 edges, 4965 markings/sec, 30 secs
lola: 246832 markings, 495052 edges, 6560 markings/sec, 35 secs
lola: 286994 markings, 538094 edges, 8032 markings/sec, 40 secs
lola: 327276 markings, 581299 edges, 8056 markings/sec, 45 secs
lola: 360521 markings, 647894 edges, 6649 markings/sec, 50 secs
lola: 391638 markings, 722197 edges, 6223 markings/sec, 55 secs
lola: 417404 markings, 810453 edges, 5153 markings/sec, 60 secs
lola: 442322 markings, 900907 edges, 4984 markings/sec, 65 secs
lola: 473855 markings, 968844 edges, 6307 markings/sec, 70 secs
lola: 513817 markings, 1011718 edges, 7992 markings/sec, 75 secs
lola: 553054 markings, 1053768 edges, 7847 markings/sec, 80 secs
lola: 586789 markings, 1114586 edges, 6747 markings/sec, 85 secs
lola: 616278 markings, 1188966 edges, 5898 markings/sec, 90 secs
lola: 643111 markings, 1269038 edges, 5367 markings/sec, 95 secs
lola: 666450 markings, 1358493 edges, 4668 markings/sec, 100 secs
lola: 692562 markings, 1433785 edges, 5222 markings/sec, 105 secs
lola: 730872 markings, 1474862 edges, 7662 markings/sec, 110 secs
lola: 768067 markings, 1514712 edges, 7439 markings/sec, 115 secs
lola: 803994 markings, 1558539 edges, 7185 markings/sec, 120 secs
lola: 831997 markings, 1628891 edges, 5601 markings/sec, 125 secs
lola: 860939 markings, 1695112 edges, 5788 markings/sec, 130 secs
lola: 882993 markings, 1781977 edges, 4411 markings/sec, 135 secs
lola: 905998 markings, 1864438 edges, 4601 markings/sec, 140 secs
lola: 938631 markings, 1928044 edges, 6527 markings/sec, 145 secs
lola: 978450 markings, 1970721 edges, 7964 markings/sec, 150 secs
lola: 1018445 markings, 2013614 edges, 7999 markings/sec, 155 secs
lola: 1051644 markings, 2078991 edges, 6640 markings/sec, 160 secs
lola: 1082239 markings, 2153862 edges, 6119 markings/sec, 165 secs
lola: 1108540 markings, 2240184 edges, 5260 markings/sec, 170 secs
lola: 1133245 markings, 2331419 edges, 4941 markings/sec, 175 secs
lola: 1164268 markings, 2400373 edges, 6205 markings/sec, 180 secs
lola: 1204517 markings, 2443532 edges, 8050 markings/sec, 185 secs
lola: 1244735 markings, 2486633 edges, 8044 markings/sec, 190 secs
lola: 1278988 markings, 2548362 edges, 6851 markings/sec, 195 secs
lola: 1309327 markings, 2624854 edges, 6068 markings/sec, 200 secs
lola: 1336605 markings, 2708055 edges, 5456 markings/sec, 205 secs
lola: 1360218 markings, 2800394 edges, 4723 markings/sec, 210 secs
lola: 1386891 markings, 2869453 edges, 5335 markings/sec, 215 secs
lola: 1426221 markings, 2911652 edges, 7866 markings/sec, 220 secs
lola: 1464952 markings, 2953180 edges, 7746 markings/sec, 225 secs
lola: 1499580 markings, 3000816 edges, 6926 markings/sec, 230 secs
lola: 1527403 markings, 3070750 edges, 5565 markings/sec, 235 secs
lola: 1554654 markings, 3135752 edges, 5450 markings/sec, 240 secs
lola: 1575668 markings, 3218168 edges, 4203 markings/sec, 245 secs
lola: 1598481 markings, 3299337 edges, 4563 markings/sec, 250 secs
lola: 1627906 markings, 3358313 edges, 5885 markings/sec, 255 secs
lola: 1665028 markings, 3398091 edges, 7424 markings/sec, 260 secs
lola: 1702188 markings, 3437954 edges, 7432 markings/sec, 265 secs
lola: 1735234 markings, 3491141 edges, 6609 markings/sec, 270 secs
lola: 1764518 markings, 3564723 edges, 5857 markings/sec, 275 secs
lola: 1791132 markings, 3637412 edges, 5323 markings/sec, 280 secs
lola: 1813474 markings, 3723498 edges, 4468 markings/sec, 285 secs
lola: 1836818 markings, 3804210 edges, 4669 markings/sec, 290 secs
lola: 1874097 markings, 3852698 edges, 7456 markings/sec, 295 secs
lola: 1915336 markings, 3896919 edges, 8248 markings/sec, 300 secs
lola: 1955889 markings, 3943724 edges, 8111 markings/sec, 305 secs
lola: 1987122 markings, 4022213 edges, 6247 markings/sec, 310 secs
lola: 2017582 markings, 4097528 edges, 6092 markings/sec, 315 secs
lola: 2042406 markings, 4194341 edges, 4965 markings/sec, 320 secs
lola: 2068141 markings, 4283325 edges, 5147 markings/sec, 325 secs
lola: 2106798 markings, 4332591 edges, 7731 markings/sec, 330 secs
lola: 2147093 markings, 4375812 edges, 8059 markings/sec, 335 secs
lola: 2186290 markings, 4420814 edges, 7839 markings/sec, 340 secs
lola: 2216478 markings, 4496680 edges, 6038 markings/sec, 345 secs
lola: 2247099 markings, 4570472 edges, 6124 markings/sec, 350 secs
lola: 2271185 markings, 4664866 edges, 4817 markings/sec, 355 secs
lola: 2296037 markings, 4755288 edges, 4970 markings/sec, 360 secs
lola: 2333268 markings, 4805842 edges, 7446 markings/sec, 365 secs
lola: 2373557 markings, 4849047 edges, 8058 markings/sec, 370 secs
lola: 2413894 markings, 4892271 edges, 8067 markings/sec, 375 secs
lola: 2444637 markings, 4968140 edges, 6149 markings/sec, 380 secs
lola: 2475920 markings, 5041017 edges, 6257 markings/sec, 385 secs
lola: 2499967 markings, 5135387 edges, 4809 markings/sec, 390 secs
lola: 2524086 markings, 5227220 edges, 4824 markings/sec, 395 secs
lola: 2560631 markings, 5280032 edges, 7309 markings/sec, 400 secs
lola: 2600889 markings, 5323209 edges, 8052 markings/sec, 405 secs
lola: 2641026 markings, 5366222 edges, 8027 markings/sec, 410 secs
lola: 2672502 markings, 5438878 edges, 6295 markings/sec, 415 secs
lola: 2704824 markings, 5510202 edges, 6464 markings/sec, 420 secs
lola: 2728978 markings, 5606830 edges, 4831 markings/sec, 425 secs
lola: 2753797 markings, 5701866 edges, 4964 markings/sec, 430 secs
lola: 2790713 markings, 5757140 edges, 7383 markings/sec, 435 secs
lola: 2830408 markings, 5799688 edges, 7939 markings/sec, 440 secs
lola: 2869288 markings, 5841362 edges, 7776 markings/sec, 445 secs
lola: 2900326 markings, 5909467 edges, 6208 markings/sec, 450 secs
lola: 2931050 markings, 5979597 edges, 6145 markings/sec, 455 secs
lola: 2955507 markings, 6068988 edges, 4891 markings/sec, 460 secs
lola: 2979717 markings, 6156638 edges, 4842 markings/sec, 465 secs
lola: 3009582 markings, 6222221 edges, 5973 markings/sec, 470 secs
lola: 3046972 markings, 6262314 edges, 7478 markings/sec, 475 secs
lola: 3084106 markings, 6302101 edges, 7427 markings/sec, 480 secs
lola: 3118167 markings, 6354984 edges, 6812 markings/sec, 485 secs
lola: 3146125 markings, 6425267 edges, 5592 markings/sec, 490 secs
lola: 3173240 markings, 6496629 edges, 5423 markings/sec, 495 secs
lola: 3195606 markings, 6582771 edges, 4473 markings/sec, 500 secs
lola: 3218345 markings, 6665554 edges, 4548 markings/sec, 505 secs
lola: 3254057 markings, 6714739 edges, 7142 markings/sec, 510 secs
lola: 3291296 markings, 6754688 edges, 7448 markings/sec, 515 secs
lola: 3328442 markings, 6794521 edges, 7429 markings/sec, 520 secs
lola: 3358554 markings, 6857214 edges, 6022 markings/sec, 525 secs
lola: 3387393 markings, 6929566 edges, 5768 markings/sec, 530 secs
lola: 3414014 markings, 7013660 edges, 5324 markings/sec, 535 secs
lola: 3437370 markings, 7104836 edges, 4671 markings/sec, 540 secs
lola: 3466849 markings, 7173333 edges, 5896 markings/sec, 545 secs
lola: 3505333 markings, 7214597 edges, 7697 markings/sec, 550 secs
lola: 3543277 markings, 7255281 edges, 7589 markings/sec, 555 secs
lola: 3577971 markings, 7306674 edges, 6939 markings/sec, 560 secs
lola: 3606583 markings, 7378594 edges, 5722 markings/sec, 565 secs
lola: 3634333 markings, 7451744 edges, 5550 markings/sec, 570 secs
lola: 3657329 markings, 7539944 edges, 4599 markings/sec, 575 secs
lola: 3681336 markings, 7624532 edges, 4801 markings/sec, 580 secs
lola: 3717926 markings, 7672940 edges, 7318 markings/sec, 585 secs
lola: 3756316 markings, 7714096 edges, 7678 markings/sec, 590 secs
lola: 3794523 markings, 7755064 edges, 7641 markings/sec, 595 secs
lola: 3824728 markings, 7824855 edges, 6041 markings/sec, 600 secs
lola: 3856271 markings, 7893379 edges, 6309 markings/sec, 605 secs
lola: 3879694 markings, 7986178 edges, 4685 markings/sec, 610 secs
lola: 3904295 markings, 8074028 edges, 4920 markings/sec, 615 secs
lola: 3936218 markings, 8137397 edges, 6385 markings/sec, 620 secs
lola: 3975333 markings, 8179366 edges, 7823 markings/sec, 625 secs
lola: 4014606 markings, 8221464 edges, 7855 markings/sec, 630 secs
lola: 4047794 markings, 8283543 edges, 6638 markings/sec, 635 secs
lola: 4077319 markings, 8358352 edges, 5905 markings/sec, 640 secs
lola: 4103647 markings, 8437531 edges, 5266 markings/sec, 645 secs
lola: 4126521 markings, 8526288 edges, 4575 markings/sec, 650 secs
lola: 4153110 markings, 8600383 edges, 5318 markings/sec, 655 secs
lola: 4191209 markings, 8641231 edges, 7620 markings/sec, 660 secs
lola: 4229967 markings, 8682781 edges, 7752 markings/sec, 665 secs
lola: 4266754 markings, 8731861 edges, 7357 markings/sec, 670 secs
lola: 4295460 markings, 8804039 edges, 5741 markings/sec, 675 secs
lola: 4324722 markings, 8877222 edges, 5852 markings/sec, 680 secs
lola: 4347966 markings, 8967977 edges, 4649 markings/sec, 685 secs
lola: 4372143 markings, 9055277 edges, 4835 markings/sec, 690 secs
lola: 4408294 markings, 9104407 edges, 7230 markings/sec, 695 secs
lola: 4447388 markings, 9146322 edges, 7819 markings/sec, 700 secs
lola: 4486568 markings, 9188312 edges, 7836 markings/sec, 705 secs
lola: 4517105 markings, 9259125 edges, 6107 markings/sec, 710 secs
lola: 4548386 markings, 9326708 edges, 6256 markings/sec, 715 secs
lola: 4571587 markings, 9418996 edges, 4640 markings/sec, 720 secs
lola: 4595928 markings, 9506034 edges, 4868 markings/sec, 725 secs
lola: 4627376 markings, 9569713 edges, 6290 markings/sec, 730 secs
lola: 4666006 markings, 9611124 edges, 7726 markings/sec, 735 secs
lola: 4703685 markings, 9651533 edges, 7536 markings/sec, 740 secs
lola: 4736866 markings, 9709468 edges, 6636 markings/sec, 745 secs
lola: 4765637 markings, 9781776 edges, 5754 markings/sec, 750 secs
lola: 4792496 markings, 9858786 edges, 5372 markings/sec, 755 secs
lola: 4815874 markings, 9949066 edges, 4676 markings/sec, 760 secs
lola: 4842027 markings, 10028586 edges, 5231 markings/sec, 765 secs
lola: 4880568 markings, 10071593 edges, 7708 markings/sec, 770 secs
lola: 4919387 markings, 10113202 edges, 7764 markings/sec, 775 secs
lola: 4957284 markings, 10161471 edges, 7579 markings/sec, 780 secs
lola: 4986867 markings, 10235833 edges, 5917 markings/sec, 785 secs
lola: 5016320 markings, 10309317 edges, 5891 markings/sec, 790 secs
lola: 5039885 markings, 10400977 edges, 4713 markings/sec, 795 secs
lola: 5064044 markings, 10488336 edges, 4832 markings/sec, 800 secs
lola: 5100274 markings, 10537586 edges, 7246 markings/sec, 805 secs
lola: 5139391 markings, 10579525 edges, 7823 markings/sec, 810 secs
lola: 5178527 markings, 10621469 edges, 7827 markings/sec, 815 secs
lola: 5208964 markings, 10692063 edges, 6087 markings/sec, 820 secs
lola: 5240407 markings, 10759935 edges, 6289 markings/sec, 825 secs
lola: 5263569 markings, 10852339 edges, 4632 markings/sec, 830 secs
lola: 5287973 markings, 10939565 edges, 4881 markings/sec, 835 secs
lola: 5319408 markings, 11002946 edges, 6287 markings/sec, 840 secs
lola: 5358672 markings, 11045024 edges, 7853 markings/sec, 845 secs
lola: 5397836 markings, 11087045 edges, 7833 markings/sec, 850 secs
lola: 5431090 markings, 11148351 edges, 6651 markings/sec, 855 secs
lola: 5460631 markings, 11222849 edges, 5908 markings/sec, 860 secs
lola: 5487336 markings, 11303310 edges, 5341 markings/sec, 865 secs
lola: 5510783 markings, 11394162 edges, 4689 markings/sec, 870 secs
lola: 5538736 markings, 11468495 edges, 5591 markings/sec, 875 secs
lola: 5577889 markings, 11510508 edges, 7831 markings/sec, 880 secs
lola: 5617094 markings, 11552536 edges, 7841 markings/sec, 885 secs
lola: 5653250 markings, 11604713 edges, 7231 markings/sec, 890 secs
lola: 5682815 markings, 11679024 edges, 5913 markings/sec, 895 secs
lola: 5711215 markings, 11754960 edges, 5680 markings/sec, 900 secs
lola: 5734749 markings, 11845638 edges, 4707 markings/sec, 905 secs
lola: 5759785 markings, 11929413 edges, 5007 markings/sec, 910 secs
lola: 5796059 markings, 11974844 edges, 7255 markings/sec, 915 secs
lola: 5834811 markings, 12016389 edges, 7750 markings/sec, 920 secs
lola: 5873841 markings, 12058220 edges, 7806 markings/sec, 925 secs
lola: 5903633 markings, 12132046 edges, 5958 markings/sec, 930 secs
lola: 5934625 markings, 12201432 edges, 6198 markings/sec, 935 secs
lola: 5957808 markings, 12293854 edges, 4637 markings/sec, 940 secs
lola: 5982090 markings, 12383230 edges, 4856 markings/sec, 945 secs
lola: 6016143 markings, 12441239 edges, 6811 markings/sec, 950 secs
lola: 6055493 markings, 12483423 edges, 7870 markings/sec, 955 secs
lola: 6094964 markings, 12525723 edges, 7894 markings/sec, 960 secs
lola: 6127207 markings, 12591966 edges, 6449 markings/sec, 965 secs
lola: 6157566 markings, 12664746 edges, 6072 markings/sec, 970 secs
lola: 6183034 markings, 12750916 edges, 5094 markings/sec, 975 secs
lola: 6207040 markings, 12840622 edges, 4801 markings/sec, 980 secs
lola: 6237405 markings, 12908885 edges, 6073 markings/sec, 985 secs
lola: 6276568 markings, 12950874 edges, 7833 markings/sec, 990 secs
lola: 6315499 markings, 12992603 edges, 7786 markings/sec, 995 secs
lola: 6349977 markings, 13049875 edges, 6896 markings/sec, 1000 secs
lola: 6379705 markings, 13124613 edges, 5946 markings/sec, 1005 secs
lola: 6407201 markings, 13203567 edges, 5499 markings/sec, 1010 secs
lola: 6430787 markings, 13294832 edges, 4717 markings/sec, 1015 secs
lola: 6457010 markings, 13373491 edges, 5245 markings/sec, 1020 secs
lola: 6495646 markings, 13416160 edges, 7727 markings/sec, 1025 secs
lola: 6534689 markings, 13458051 edges, 7809 markings/sec, 1030 secs
lola: 6571891 markings, 13505622 edges, 7440 markings/sec, 1035 secs
lola: 6601394 markings, 13579805 edges, 5901 markings/sec, 1040 secs
lola: 6630733 markings, 13652938 edges, 5868 markings/sec, 1045 secs
lola: 6654166 markings, 13744517 edges, 4687 markings/sec, 1050 secs
lola: 6678258 markings, 13831662 edges, 4818 markings/sec, 1055 secs
lola: 6714427 markings, 13881181 edges, 7234 markings/sec, 1060 secs
lola: 6753591 markings, 13923162 edges, 7833 markings/sec, 1065 secs
lola: 6792640 markings, 13965023 edges, 7810 markings/sec, 1070 secs
lola: 6823350 markings, 14035671 edges, 6142 markings/sec, 1075 secs
lola: 6854590 markings, 14103544 edges, 6248 markings/sec, 1080 secs
lola: 6877913 markings, 14195117 edges, 4665 markings/sec, 1085 secs
lola: 6902256 markings, 14282771 edges, 4869 markings/sec, 1090 secs
lola: 6933710 markings, 14346698 edges, 6291 markings/sec, 1095 secs
lola: 6972889 markings, 14388688 edges, 7836 markings/sec, 1100 secs
lola: 7012938 markings, 14431649 edges, 8010 markings/sec, 1105 secs
lola: 7045915 markings, 14493066 edges, 6595 markings/sec, 1110 secs
lola: 7075354 markings, 14567301 edges, 5888 markings/sec, 1115 secs
lola: 7102100 markings, 14647927 edges, 5349 markings/sec, 1120 secs
lola: 7125507 markings, 14739047 edges, 4681 markings/sec, 1125 secs
lola: 7153422 markings, 14812698 edges, 5583 markings/sec, 1130 secs
lola: 7192345 markings, 14854422 edges, 7785 markings/sec, 1135 secs
lola: 7231241 markings, 14896125 edges, 7779 markings/sec, 1140 secs
lola: 7267301 markings, 14947496 edges, 7212 markings/sec, 1145 secs
lola: 7296862 markings, 15021812 edges, 5912 markings/sec, 1150 secs
lola: 7325363 markings, 15097351 edges, 5700 markings/sec, 1155 secs
lola: 7348826 markings, 15188236 edges, 4693 markings/sec, 1160 secs
lola: 7373830 markings, 15272371 edges, 5001 markings/sec, 1165 secs
lola: 7410587 markings, 15318834 edges, 7351 markings/sec, 1170 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown unknown unknown
lola: memory consumption: 1649904 KB
lola: time consumption: 1212 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1179 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1640)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1640)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 28 markings, 27 edges
lola: ========================================
lola: subprocess 15 will run for 2357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1686)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1686)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 47 markings, 46 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p752)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p752)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 21273 markings, 22774 edges, 4255 markings/sec, 0 secs
lola: 58691 markings, 62910 edges, 7484 markings/sec, 5 secs
lola: 95078 markings, 101897 edges, 7277 markings/sec, 10 secs
lola: 125761 markings, 159817 edges, 6137 markings/sec, 15 secs
lola: 153376 markings, 229269 edges, 5523 markings/sec, 20 secs
lola: 180507 markings, 308374 edges, 5426 markings/sec, 25 secs
lola: 203846 markings, 398407 edges, 4668 markings/sec, 30 secs
lola: 229868 markings, 475951 edges, 5204 markings/sec, 35 secs
lola: 267992 markings, 517719 edges, 7625 markings/sec, 40 secs
lola: 306361 markings, 558853 edges, 7674 markings/sec, 45 secs
lola: 343338 markings, 604691 edges, 7395 markings/sec, 50 secs
lola: 372284 markings, 677444 edges, 5789 markings/sec, 55 secs
lola: 401587 markings, 747964 edges, 5861 markings/sec, 60 secs
lola: 424809 markings, 839069 edges, 4644 markings/sec, 65 secs
lola: 447808 markings, 926330 edges, 4600 markings/sec, 70 secs
lola: 482290 markings, 977908 edges, 6896 markings/sec, 75 secs
lola: 521795 markings, 1020242 edges, 7901 markings/sec, 80 secs
lola: 561319 markings, 1062651 edges, 7905 markings/sec, 85 secs
lola: 592336 markings, 1128549 edges, 6203 markings/sec, 90 secs
lola: 621306 markings, 1198827 edges, 5794 markings/sec, 95 secs
lola: 645776 markings, 1278963 edges, 4894 markings/sec, 100 secs
lola: 668266 markings, 1367239 edges, 4498 markings/sec, 105 secs
lola: 695194 markings, 1436616 edges, 5386 markings/sec, 110 secs
lola: 732620 markings, 1476715 edges, 7485 markings/sec, 115 secs
lola: 771068 markings, 1517935 edges, 7690 markings/sec, 120 secs
lola: 807242 markings, 1566682 edges, 7235 markings/sec, 125 secs
lola: 836257 markings, 1639590 edges, 5803 markings/sec, 130 secs
lola: 865061 markings, 1712097 edges, 5761 markings/sec, 135 secs
lola: 888732 markings, 1804688 edges, 4734 markings/sec, 140 secs
lola: 912329 markings, 1889374 edges, 4719 markings/sec, 145 secs
lola: 947935 markings, 1937978 edges, 7121 markings/sec, 150 secs
lola: 986429 markings, 1979292 edges, 7699 markings/sec, 155 secs
lola: 1024912 markings, 2020547 edges, 7697 markings/sec, 160 secs
lola: 1055306 markings, 2088153 edges, 6079 markings/sec, 165 secs
lola: 1085340 markings, 2157295 edges, 6007 markings/sec, 170 secs
lola: 1109249 markings, 2243375 edges, 4782 markings/sec, 175 secs
lola: 1132571 markings, 2330650 edges, 4664 markings/sec, 180 secs
lola: 1161802 markings, 2397716 edges, 5846 markings/sec, 185 secs
lola: 1200203 markings, 2438886 edges, 7680 markings/sec, 190 secs
lola: 1238557 markings, 2480006 edges, 7671 markings/sec, 195 secs
lola: 1273135 markings, 2533637 edges, 6916 markings/sec, 200 secs
lola: 1302148 markings, 2606566 edges, 5803 markings/sec, 205 secs
lola: 1329784 markings, 2681930 edges, 5527 markings/sec, 210 secs
lola: 1352894 markings, 2771231 edges, 4622 markings/sec, 215 secs
lola: 1377643 markings, 2853243 edges, 4950 markings/sec, 220 secs
lola: 1414260 markings, 2898823 edges, 7323 markings/sec, 225 secs
lola: 1452589 markings, 2939918 edges, 7666 markings/sec, 230 secs
lola: 1491387 markings, 2981507 edges, 7760 markings/sec, 235 secs
lola: 1520515 markings, 3053450 edges, 5826 markings/sec, 240 secs
lola: 1551254 markings, 3120106 edges, 6148 markings/sec, 245 secs
lola: 1573798 markings, 3210983 edges, 4509 markings/sec, 250 secs
lola: 1597639 markings, 3296286 edges, 4768 markings/sec, 255 secs
lola: 1628499 markings, 3358950 edges, 6172 markings/sec, 260 secs
lola: 1667051 markings, 3400281 edges, 7710 markings/sec, 265 secs
lola: 1705658 markings, 3441669 edges, 7721 markings/sec, 270 secs
lola: 1738919 markings, 3500398 edges, 6652 markings/sec, 275 secs
lola: 1768006 markings, 3573512 edges, 5817 markings/sec, 280 secs
lola: 1794706 markings, 3651458 edges, 5340 markings/sec, 285 secs
lola: 1817884 markings, 3740790 edges, 4636 markings/sec, 290 secs
lola: 1843790 markings, 3818681 edges, 5181 markings/sec, 295 secs
lola: 1881987 markings, 3861145 edges, 7639 markings/sec, 300 secs
lola: 1920654 markings, 3902597 edges, 7733 markings/sec, 305 secs
lola: 1957379 markings, 3947444 edges, 7345 markings/sec, 310 secs
lola: 1985653 markings, 4018515 edges, 5655 markings/sec, 315 secs
lola: 2014702 markings, 4086283 edges, 5810 markings/sec, 320 secs
lola: 2037217 markings, 4174482 edges, 4503 markings/sec, 325 secs
lola: 2060318 markings, 4258289 edges, 4620 markings/sec, 330 secs
lola: 2091473 markings, 4316147 edges, 6231 markings/sec, 335 secs
lola: 2128928 markings, 4356323 edges, 7491 markings/sec, 340 secs
lola: 2167426 markings, 4397593 edges, 7700 markings/sec, 345 secs
lola: 2200061 markings, 4455396 edges, 6527 markings/sec, 350 secs
lola: 2228179 markings, 4526108 edges, 5624 markings/sec, 355 secs
lola: 2254472 markings, 4600585 edges, 5259 markings/sec, 360 secs
lola: 2277120 markings, 4687716 edges, 4530 markings/sec, 365 secs
lola: 2301675 markings, 4767049 edges, 4911 markings/sec, 370 secs
lola: 2337618 markings, 4810486 edges, 7189 markings/sec, 375 secs
lola: 2375021 markings, 4850605 edges, 7481 markings/sec, 380 secs
lola: 2412439 markings, 4890731 edges, 7484 markings/sec, 385 secs
lola: 2441137 markings, 4959362 edges, 5740 markings/sec, 390 secs
lola: 2470720 markings, 5025254 edges, 5917 markings/sec, 395 secs
lola: 2494002 markings, 5112993 edges, 4656 markings/sec, 400 secs
lola: 2517724 markings, 5198963 edges, 4744 markings/sec, 405 secs
lola: 2547129 markings, 5265561 edges, 5881 markings/sec, 410 secs
lola: 2585001 markings, 5306172 edges, 7574 markings/sec, 415 secs
lola: 2623062 markings, 5346941 edges, 7612 markings/sec, 420 secs
lola: 2657539 markings, 5401250 edges, 6895 markings/sec, 425 secs
lola: 2686589 markings, 5474292 edges, 5810 markings/sec, 430 secs
lola: 2714185 markings, 5549784 edges, 5519 markings/sec, 435 secs
lola: 2737351 markings, 5639105 edges, 4633 markings/sec, 440 secs
lola: 2762252 markings, 5720991 edges, 4980 markings/sec, 445 secs
lola: 2799097 markings, 5766107 edges, 7369 markings/sec, 450 secs
lola: 2837875 markings, 5807672 edges, 7756 markings/sec, 455 secs
lola: 2876271 markings, 5849026 edges, 7679 markings/sec, 460 secs
lola: 2905501 markings, 5922480 edges, 5846 markings/sec, 465 secs
lola: 2935778 markings, 5989961 edges, 6055 markings/sec, 470 secs
lola: 2959178 markings, 6083224 edges, 4680 markings/sec, 475 secs
lola: 2983436 markings, 6171710 edges, 4852 markings/sec, 480 secs
lola: 3017014 markings, 6230171 edges, 6716 markings/sec, 485 secs
lola: 3056376 markings, 6272399 edges, 7872 markings/sec, 490 secs
lola: 3095738 markings, 6314597 edges, 7872 markings/sec, 495 secs
lola: 3128053 markings, 6379842 edges, 6463 markings/sec, 500 secs
lola: 3158210 markings, 6453437 edges, 6031 markings/sec, 505 secs
lola: 3183940 markings, 6537952 edges, 5146 markings/sec, 510 secs
lola: 3207490 markings, 6629020 edges, 4710 markings/sec, 515 secs
lola: 3237568 markings, 6697073 edges, 6016 markings/sec, 520 secs
lola: 3276979 markings, 6739352 edges, 7882 markings/sec, 525 secs
lola: 3316364 markings, 6781569 edges, 7877 markings/sec, 530 secs
lola: 3351127 markings, 6838538 edges, 6953 markings/sec, 535 secs
lola: 3381048 markings, 6913748 edges, 5984 markings/sec, 540 secs
lola: 3408092 markings, 6990766 edges, 5409 markings/sec, 545 secs
lola: 3431691 markings, 7081800 edges, 4720 markings/sec, 550 secs
lola: 3457672 markings, 7161329 edges, 5196 markings/sec, 555 secs
lola: 3496489 markings, 7205108 edges, 7763 markings/sec, 560 secs
lola: 3535840 markings, 7247277 edges, 7870 markings/sec, 565 secs
lola: 3573291 markings, 7294929 edges, 7490 markings/sec, 570 secs
lola: 3602863 markings, 7369227 edges, 5914 markings/sec, 575 secs
lola: 3632339 markings, 7442876 edges, 5895 markings/sec, 580 secs
lola: 3655934 markings, 7534523 edges, 4719 markings/sec, 585 secs
lola: 3680147 markings, 7622033 edges, 4843 markings/sec, 590 secs
lola: 3716556 markings, 7671484 edges, 7282 markings/sec, 595 secs
lola: 3756018 markings, 7713783 edges, 7892 markings/sec, 600 secs
lola: 3795566 markings, 7756206 edges, 7910 markings/sec, 605 secs
lola: 3825742 markings, 7827441 edges, 6035 markings/sec, 610 secs
lola: 3856791 markings, 7893947 edges, 6210 markings/sec, 615 secs
lola: 3879496 markings, 7984883 edges, 4541 markings/sec, 620 secs
lola: 3903313 markings, 8070863 edges, 4763 markings/sec, 625 secs
lola: 3933714 markings, 8134698 edges, 6080 markings/sec, 630 secs
lola: 3972789 markings, 8176628 edges, 7815 markings/sec, 635 secs
lola: 4012269 markings, 8218946 edges, 7896 markings/sec, 640 secs
lola: 4046209 markings, 8279569 edges, 6788 markings/sec, 645 secs
lola: 4076064 markings, 8354851 edges, 5971 markings/sec, 650 secs
lola: 4103058 markings, 8435825 edges, 5399 markings/sec, 655 secs
lola: 4126801 markings, 8527566 edges, 4749 markings/sec, 660 secs
lola: 4155665 markings, 8603122 edges, 5773 markings/sec, 665 secs
lola: 4196302 markings, 8646693 edges, 8127 markings/sec, 670 secs
lola: 4235840 markings, 8689087 edges, 7908 markings/sec, 675 secs
lola: 4270859 markings, 8742193 edges, 7004 markings/sec, 680 secs
lola: 4299143 markings, 8813275 edges, 5657 markings/sec, 685 secs
lola: 4326352 markings, 8885045 edges, 5442 markings/sec, 690 secs
lola: 4348868 markings, 8971408 edges, 4503 markings/sec, 695 secs
lola: 4371687 markings, 9054338 edges, 4564 markings/sec, 700 secs
lola: 4405679 markings, 9101600 edges, 6798 markings/sec, 705 secs
lola: 4442981 markings, 9141605 edges, 7460 markings/sec, 710 secs
lola: 4478983 markings, 9180194 edges, 7200 markings/sec, 715 secs
lola: 4510273 markings, 9241961 edges, 6258 markings/sec, 720 secs
lola: 4538955 markings, 9315230 edges, 5736 markings/sec, 725 secs
lola: 4565345 markings, 9394960 edges, 5278 markings/sec, 730 secs
lola: 4588568 markings, 9485038 edges, 4645 markings/sec, 735 secs
lola: 4616246 markings, 9557795 edges, 5536 markings/sec, 740 secs
lola: 4654596 markings, 9598909 edges, 7670 markings/sec, 745 secs
lola: 4692959 markings, 9640037 edges, 7673 markings/sec, 750 secs
lola: 4728429 markings, 9688236 edges, 7094 markings/sec, 755 secs
lola: 4757120 markings, 9760347 edges, 5738 markings/sec, 760 secs
lola: 4785434 markings, 9830759 edges, 5663 markings/sec, 765 secs
lola: 4807881 markings, 9918613 edges, 4489 markings/sec, 770 secs
lola: 4830557 markings, 10004348 edges, 4535 markings/sec, 775 secs
lola: 4865180 markings, 10055082 edges, 6925 markings/sec, 780 secs
lola: 4903714 markings, 10096394 edges, 7707 markings/sec, 785 secs
lola: 4942075 markings, 10137521 edges, 7672 markings/sec, 790 secs
lola: 4974137 markings, 10203838 edges, 6412 markings/sec, 795 secs
lola: 5003826 markings, 10275621 edges, 5938 markings/sec, 800 secs
lola: 5029109 markings, 10359557 edges, 5057 markings/sec, 805 secs
lola: 5052297 markings, 10450143 edges, 4638 markings/sec, 810 secs
lola: 5079742 markings, 10515555 edges, 5489 markings/sec, 815 secs
lola: 5116508 markings, 10554992 edges, 7353 markings/sec, 820 secs
lola: 5153045 markings, 10594147 edges, 7307 markings/sec, 825 secs
lola: 5187825 markings, 10638925 edges, 6956 markings/sec, 830 secs
lola: 5215447 markings, 10708347 edges, 5524 markings/sec, 835 secs
lola: 5243800 markings, 10774411 edges, 5671 markings/sec, 840 secs
lola: 5265645 markings, 10860338 edges, 4369 markings/sec, 845 secs
lola: 5288983 markings, 10943743 edges, 4668 markings/sec, 850 secs
lola: 5319105 markings, 11002628 edges, 6024 markings/sec, 855 secs
lola: 5355763 markings, 11041900 edges, 7332 markings/sec, 860 secs
lola: 5392402 markings, 11081215 edges, 7328 markings/sec, 865 secs
lola: 5426146 markings, 11135897 edges, 6749 markings/sec, 870 secs
lola: 5455643 markings, 11210058 edges, 5899 markings/sec, 875 secs
lola: 5483551 markings, 11288614 edges, 5582 markings/sec, 880 secs
lola: 5506886 markings, 11378589 edges, 4667 markings/sec, 885 secs
lola: 5531230 markings, 11456035 edges, 4869 markings/sec, 890 secs
lola: 5566436 markings, 11498215 edges, 7041 markings/sec, 895 secs
lola: 5603003 markings, 11537438 edges, 7313 markings/sec, 900 secs
lola: 5640318 markings, 11577419 edges, 7463 markings/sec, 905 secs
lola: 5670410 markings, 11647861 edges, 6018 markings/sec, 910 secs
lola: 5701421 markings, 11715052 edges, 6202 markings/sec, 915 secs
lola: 5724178 markings, 11805067 edges, 4551 markings/sec, 920 secs
lola: 5747639 markings, 11889647 edges, 4692 markings/sec, 925 secs
lola: 5776699 markings, 11954088 edges, 5812 markings/sec, 930 secs
lola: 5814674 markings, 11994805 edges, 7595 markings/sec, 935 secs
lola: 5852846 markings, 12035731 edges, 7634 markings/sec, 940 secs
lola: 5886592 markings, 12089224 edges, 6749 markings/sec, 945 secs
lola: 5916125 markings, 12163439 edges, 5907 markings/sec, 950 secs
lola: 5943961 markings, 12240715 edges, 5567 markings/sec, 955 secs
lola: 5967424 markings, 12330881 edges, 4693 markings/sec, 960 secs
lola: 5992855 markings, 12412140 edges, 5086 markings/sec, 965 secs
lola: 6030958 markings, 12457102 edges, 7621 markings/sec, 970 secs
lola: 6069669 markings, 12498596 edges, 7742 markings/sec, 975 secs
lola: 6107688 markings, 12542903 edges, 7604 markings/sec, 980 secs
lola: 6137312 markings, 12617362 edges, 5925 markings/sec, 985 secs
lola: 6167794 markings, 12690861 edges, 6096 markings/sec, 990 secs
lola: 6191395 markings, 12783164 edges, 4720 markings/sec, 995 secs
lola: 6215008 markings, 12872192 edges, 4723 markings/sec, 1000 secs
lola: 6250234 markings, 12922642 edges, 7045 markings/sec, 1005 secs
lola: 6288820 markings, 12964009 edges, 7717 markings/sec, 1010 secs
lola: 6327360 markings, 13005331 edges, 7708 markings/sec, 1015 secs
lola: 6358429 markings, 13071139 edges, 6214 markings/sec, 1020 secs
lola: 6388309 markings, 13142563 edges, 5976 markings/sec, 1025 secs
lola: 6412028 markings, 13222017 edges, 4744 markings/sec, 1030 secs
lola: 6433889 markings, 13307465 edges, 4372 markings/sec, 1035 secs
lola: 6459698 markings, 13377638 edges, 5162 markings/sec, 1040 secs
lola: 6496201 markings, 13416745 edges, 7301 markings/sec, 1045 secs
lola: 6532722 markings, 13455934 edges, 7304 markings/sec, 1050 secs
lola: 6568506 markings, 13497161 edges, 7157 markings/sec, 1055 secs
lola: 6596880 markings, 13568441 edges, 5675 markings/sec, 1060 secs
lola: 6625942 markings, 13632151 edges, 5812 markings/sec, 1065 secs
lola: 6647491 markings, 13718859 edges, 4310 markings/sec, 1070 secs
lola: 6670251 markings, 13800544 edges, 4552 markings/sec, 1075 secs
lola: 6700164 markings, 13865871 edges, 5983 markings/sec, 1080 secs
lola: 6738454 markings, 13906924 edges, 7658 markings/sec, 1085 secs
lola: 6776728 markings, 13947962 edges, 7655 markings/sec, 1090 secs
lola: 6810640 markings, 14003730 edges, 6782 markings/sec, 1095 secs
lola: 6839619 markings, 14076581 edges, 5796 markings/sec, 1100 secs
lola: 6866839 markings, 14152567 edges, 5444 markings/sec, 1105 secs
lola: 6890094 markings, 14242114 edges, 4651 markings/sec, 1110 secs
lola: 6915064 markings, 14322208 edges, 4994 markings/sec, 1115 secs
lola: 6952066 markings, 14366383 edges, 7400 markings/sec, 1120 secs
lola: 6990472 markings, 14407561 edges, 7681 markings/sec, 1125 secs
lola: 7028607 markings, 14449554 edges, 7627 markings/sec, 1130 secs
lola: 7057552 markings, 14522314 edges, 5789 markings/sec, 1135 secs
lola: 7087754 markings, 14589566 edges, 6040 markings/sec, 1140 secs
lola: 7109946 markings, 14678581 edges, 4438 markings/sec, 1145 secs
lola: 7133446 markings, 14762501 edges, 4700 markings/sec, 1150 secs
lola: 7164286 markings, 14824337 edges, 6168 markings/sec, 1155 secs
lola: 7201597 markings, 14864343 edges, 7462 markings/sec, 1160 secs
lola: 7239467 markings, 14904953 edges, 7574 markings/sec, 1165 secs
lola: 7272536 markings, 14960640 edges, 6614 markings/sec, 1170 secs
lola: 7301781 markings, 15034141 edges, 5849 markings/sec, 1175 secs
lola: 7329042 markings, 15111451 edges, 5452 markings/sec, 1180 secs
lola: 7352316 markings, 15201090 edges, 4655 markings/sec, 1185 secs
lola: 7377636 markings, 15280327 edges, 5064 markings/sec, 1190 secs
lola: 7414987 markings, 15323533 edges, 7470 markings/sec, 1195 secs
lola: 7453187 markings, 15364492 edges, 7640 markings/sec, 1200 secs
lola: 7491082 markings, 15407966 edges, 7579 markings/sec, 1205 secs
lola: 7520197 markings, 15481149 edges, 5823 markings/sec, 1210 secs
lola: 7550191 markings, 15550810 edges, 5999 markings/sec, 1215 secs
lola: 7573237 markings, 15641344 edges, 4609 markings/sec, 1220 secs
lola: 7596712 markings, 15728602 edges, 4695 markings/sec, 1225 secs
lola: 7625156 markings, 15799363 edges, 5689 markings/sec, 1230 secs
lola: 7653863 markings, 15872220 edges, 5741 markings/sec, 1235 secs
lola: 7679015 markings, 15951312 edges, 5030 markings/sec, 1240 secs
lola: 7699432 markings, 16048418 edges, 4083 markings/sec, 1245 secs
lola: 7725133 markings, 16126151 edges, 5140 markings/sec, 1250 secs
lola: 7751983 markings, 16198396 edges, 5370 markings/sec, 1255 secs
lola: 7776611 markings, 16276895 edges, 4926 markings/sec, 1260 secs
lola: 7796646 markings, 16370330 edges, 4007 markings/sec, 1265 secs
lola: 7822312 markings, 16445847 edges, 5133 markings/sec, 1270 secs
lola: 7849233 markings, 16517824 edges, 5384 markings/sec, 1275 secs
lola: 7873262 markings, 16598168 edges, 4806 markings/sec, 1280 secs
lola: 7893339 markings, 16691601 edges, 4015 markings/sec, 1285 secs
lola: 7919535 markings, 16765665 edges, 5239 markings/sec, 1290 secs
lola: 7947137 markings, 16835703 edges, 5520 markings/sec, 1295 secs
lola: 7970020 markings, 16919678 edges, 4577 markings/sec, 1300 secs
lola: 7989794 markings, 17013960 edges, 3955 markings/sec, 1305 secs
lola: 8016980 markings, 17086010 edges, 5437 markings/sec, 1310 secs
lola: 8045350 markings, 17153995 edges, 5674 markings/sec, 1315 secs
lola: 8066942 markings, 17242381 edges, 4318 markings/sec, 1320 secs
lola: 8087164 markings, 17335892 edges, 4044 markings/sec, 1325 secs
lola: 8114604 markings, 17406835 edges, 5488 markings/sec, 1330 secs
lola: 8143466 markings, 17472699 edges, 5772 markings/sec, 1335 secs
lola: 8163857 markings, 17564795 edges, 4078 markings/sec, 1340 secs
lola: 8183471 markings, 17654240 edges, 3923 markings/sec, 1345 secs
lola: 8209582 markings, 17720956 edges, 5222 markings/sec, 1350 secs
lola: 8236428 markings, 17784656 edges, 5369 markings/sec, 1355 secs
lola: 8256953 markings, 17868656 edges, 4105 markings/sec, 1360 secs
lola: 8276318 markings, 17960219 edges, 3873 markings/sec, 1365 secs
lola: 8303299 markings, 18031840 edges, 5396 markings/sec, 1370 secs
lola: 8331403 markings, 18099373 edges, 5621 markings/sec, 1375 secs
lola: 8352545 markings, 18185125 edges, 4228 markings/sec, 1380 secs
lola: 8371884 markings, 18275882 edges, 3868 markings/sec, 1385 secs
lola: 8397606 markings, 18344255 edges, 5144 markings/sec, 1390 secs
lola: 8424011 markings, 18411455 edges, 5281 markings/sec, 1395 secs
lola: 8446482 markings, 18492885 edges, 4494 markings/sec, 1400 secs
lola: 8465880 markings, 18583920 edges, 3880 markings/sec, 1405 secs
lola: 8491513 markings, 18655612 edges, 5127 markings/sec, 1410 secs
lola: 8517940 markings, 18725042 edges, 5285 markings/sec, 1415 secs
lola: 8541007 markings, 18804069 edges, 4613 markings/sec, 1420 secs
lola: 8560528 markings, 18894977 edges, 3904 markings/sec, 1425 secs
lola: 8585867 markings, 18968153 edges, 5068 markings/sec, 1430 secs
lola: 8612509 markings, 19039328 edges, 5328 markings/sec, 1435 secs
lola: 8636267 markings, 19118642 edges, 4752 markings/sec, 1440 secs
lola: 8655856 markings, 19209962 edges, 3918 markings/sec, 1445 secs
lola: 8681247 markings, 19283296 edges, 5078 markings/sec, 1450 secs
lola: 8707618 markings, 19354194 edges, 5274 markings/sec, 1455 secs
lola: 8731338 markings, 19431968 edges, 4744 markings/sec, 1460 secs
lola: 8750859 markings, 19522927 edges, 3904 markings/sec, 1465 secs
lola: 8775325 markings, 19595110 edges, 4893 markings/sec, 1470 secs
lola: 8801117 markings, 19663705 edges, 5158 markings/sec, 1475 secs
lola: 8824749 markings, 19737714 edges, 4726 markings/sec, 1480 secs
lola: 8843590 markings, 19827811 edges, 3768 markings/sec, 1485 secs
lola: 8868079 markings, 19903555 edges, 4898 markings/sec, 1490 secs
lola: 8895493 markings, 19973342 edges, 5483 markings/sec, 1495 secs
lola: 8919648 markings, 20050270 edges, 4831 markings/sec, 1500 secs
lola: 8939661 markings, 20145810 edges, 4003 markings/sec, 1505 secs
lola: 8965334 markings, 20223431 edges, 5135 markings/sec, 1510 secs
lola: 8992447 markings, 20296723 edges, 5423 markings/sec, 1515 secs
lola: 9016541 markings, 20372974 edges, 4819 markings/sec, 1520 secs
lola: 9035619 markings, 20462400 edges, 3816 markings/sec, 1525 secs
lola: 9059740 markings, 20536074 edges, 4824 markings/sec, 1530 secs
lola: 9086892 markings, 20606721 edges, 5430 markings/sec, 1535 secs
lola: 9111456 markings, 20685669 edges, 4913 markings/sec, 1540 secs
lola: 9131671 markings, 20779797 edges, 4043 markings/sec, 1545 secs
lola: 9157322 markings, 20856803 edges, 5130 markings/sec, 1550 secs
lola: 9185005 markings, 20930498 edges, 5537 markings/sec, 1555 secs
lola: 9209694 markings, 21014288 edges, 4938 markings/sec, 1560 secs
lola: 9230082 markings, 21111366 edges, 4078 markings/sec, 1565 secs
lola: 9257438 markings, 21183938 edges, 5471 markings/sec, 1570 secs
lola: 9285977 markings, 21251775 edges, 5708 markings/sec, 1575 secs
lola: 9307646 markings, 21341724 edges, 4334 markings/sec, 1580 secs
lola: 9327704 markings, 21434309 edges, 4012 markings/sec, 1585 secs
lola: 9355483 markings, 21505831 edges, 5556 markings/sec, 1590 secs
lola: 9384211 markings, 21572980 edges, 5746 markings/sec, 1595 secs
lola: 9404906 markings, 21665923 edges, 4139 markings/sec, 1600 secs
lola: 9425789 markings, 21757334 edges, 4177 markings/sec, 1605 secs
lola: 9453744 markings, 21828288 edges, 5591 markings/sec, 1610 secs
lola: 9481781 markings, 21897972 edges, 5607 markings/sec, 1615 secs
lola: 9502330 markings, 21990709 edges, 4110 markings/sec, 1620 secs
lola: 9524034 markings, 22079711 edges, 4341 markings/sec, 1625 secs
lola: 9552063 markings, 22150877 edges, 5606 markings/sec, 1630 secs
lola: 9578900 markings, 22223709 edges, 5367 markings/sec, 1635 secs
lola: 9599895 markings, 22316634 edges, 4199 markings/sec, 1640 secs
lola: 9622276 markings, 22402106 edges, 4476 markings/sec, 1645 secs
lola: 9650543 markings, 22473838 edges, 5653 markings/sec, 1650 secs
lola: 9676628 markings, 22550348 edges, 5217 markings/sec, 1655 secs
lola: 9697595 markings, 22642545 edges, 4193 markings/sec, 1660 secs
lola: 9720582 markings, 22724639 edges, 4597 markings/sec, 1665 secs
lola: 9748591 markings, 22795732 edges, 5602 markings/sec, 1670 secs
lola: 9773630 markings, 22870502 edges, 5008 markings/sec, 1675 secs
lola: 9793754 markings, 22961523 edges, 4025 markings/sec, 1680 secs
lola: 9816860 markings, 23042054 edges, 4621 markings/sec, 1685 secs
lola: 9844524 markings, 23112270 edges, 5533 markings/sec, 1690 secs
lola: 9870235 markings, 23188715 edges, 5142 markings/sec, 1695 secs
lola: 9889815 markings, 23280084 edges, 3916 markings/sec, 1700 secs
lola: 9912807 markings, 23358607 edges, 4598 markings/sec, 1705 secs
lola: 9939816 markings, 23427157 edges, 5402 markings/sec, 1710 secs
lola: 9964595 markings, 23501291 edges, 4956 markings/sec, 1715 secs
lola: 9983956 markings, 23589240 edges, 3872 markings/sec, 1720 secs
lola: 10006344 markings, 23669084 edges, 4478 markings/sec, 1725 secs
lola: 10033388 markings, 23737694 edges, 5409 markings/sec, 1730 secs
lola: 10057661 markings, 23808072 edges, 4855 markings/sec, 1735 secs
lola: 10077786 markings, 23896601 edges, 4025 markings/sec, 1740 secs
lola: 10099606 markings, 23978795 edges, 4364 markings/sec, 1745 secs
lola: 10126741 markings, 24047687 edges, 5427 markings/sec, 1750 secs
lola: 10152274 markings, 24119009 edges, 5107 markings/sec, 1755 secs
lola: 10173245 markings, 24214785 edges, 4194 markings/sec, 1760 secs
lola: 10195645 markings, 24295602 edges, 4480 markings/sec, 1765 secs
lola: 10222823 markings, 24364590 edges, 5436 markings/sec, 1770 secs
lola: 10248732 markings, 24438751 edges, 5182 markings/sec, 1775 secs
lola: 10268420 markings, 24529255 edges, 3938 markings/sec, 1780 secs
lola: 10290841 markings, 24610278 edges, 4484 markings/sec, 1785 secs
lola: 10318901 markings, 24681485 edges, 5612 markings/sec, 1790 secs
lola: 10345520 markings, 24760209 edges, 5324 markings/sec, 1795 secs
lola: 10367204 markings, 24857562 edges, 4337 markings/sec, 1800 secs
lola: 10392157 markings, 24940467 edges, 4991 markings/sec, 1805 secs
lola: 10421375 markings, 25014846 edges, 5844 markings/sec, 1810 secs
lola: 10446502 markings, 25095454 edges, 5025 markings/sec, 1815 secs
lola: 10467478 markings, 25193082 edges, 4195 markings/sec, 1820 secs
lola: 10494116 markings, 25272280 edges, 5328 markings/sec, 1825 secs
lola: 10522863 markings, 25345423 edges, 5749 markings/sec, 1830 secs
lola: 10546397 markings, 25432240 edges, 4707 markings/sec, 1835 secs
lola: 10566424 markings, 25526332 edges, 4005 markings/sec, 1840 secs
lola: 10593935 markings, 25598657 edges, 5502 markings/sec, 1845 secs
lola: 10622998 markings, 25665840 edges, 5813 markings/sec, 1850 secs
lola: 10644414 markings, 25759944 edges, 4283 markings/sec, 1855 secs
lola: 10665858 markings, 25854262 edges, 4289 markings/sec, 1860 secs
lola: 10694602 markings, 25927206 edges, 5749 markings/sec, 1865 secs
lola: 10722917 markings, 26000698 edges, 5663 markings/sec, 1870 secs
lola: 10744219 markings, 26096391 edges, 4260 markings/sec, 1875 secs
lola: 10767467 markings, 26185173 edges, 4650 markings/sec, 1880 secs
lola: 10796575 markings, 26259069 edges, 5822 markings/sec, 1885 secs
lola: 10823053 markings, 26337483 edges, 5296 markings/sec, 1890 secs
lola: 10844243 markings, 26433565 edges, 4238 markings/sec, 1895 secs
lola: 10866236 markings, 26527402 edges, 4399 markings/sec, 1900 secs
lola: 10886737 markings, 26626926 edges, 4100 markings/sec, 1905 secs
lola: 10907965 markings, 26723525 edges, 4246 markings/sec, 1910 secs
lola: 10928587 markings, 26824113 edges, 4124 markings/sec, 1915 secs
lola: 10949736 markings, 26918544 edges, 4230 markings/sec, 1920 secs
lola: 10970158 markings, 27019382 edges, 4084 markings/sec, 1925 secs
lola: 10991656 markings, 27115435 edges, 4300 markings/sec, 1930 secs
lola: 11011768 markings, 27215269 edges, 4022 markings/sec, 1935 secs
lola: 11032995 markings, 27309567 edges, 4245 markings/sec, 1940 secs
lola: 11053047 markings, 27409198 edges, 4010 markings/sec, 1945 secs
lola: 11074258 markings, 27505065 edges, 4242 markings/sec, 1950 secs
lola: 11094590 markings, 27604670 edges, 4066 markings/sec, 1955 secs
lola: 11115310 markings, 27702622 edges, 4144 markings/sec, 1960 secs
lola: 11134850 markings, 27793796 edges, 3908 markings/sec, 1965 secs
lola: 11154124 markings, 27885323 edges, 3855 markings/sec, 1970 secs
lola: 11173675 markings, 27976104 edges, 3910 markings/sec, 1975 secs
lola: 11192093 markings, 28066005 edges, 3684 markings/sec, 1980 secs
lola: 11211041 markings, 28151543 edges, 3790 markings/sec, 1985 secs
lola: 11229446 markings, 28240614 edges, 3681 markings/sec, 1990 secs
lola: 11249689 markings, 28330558 edges, 4049 markings/sec, 1995 secs
lola: 11268703 markings, 28424884 edges, 3803 markings/sec, 2000 secs
lola: 11288353 markings, 28515155 edges, 3930 markings/sec, 2005 secs
lola: 11307572 markings, 28607411 edges, 3844 markings/sec, 2010 secs
lola: 11327675 markings, 28706199 edges, 4021 markings/sec, 2015 secs
lola: 11349363 markings, 28803964 edges, 4338 markings/sec, 2020 secs
lola: 11369935 markings, 28905408 edges, 4114 markings/sec, 2025 secs
lola: 11391635 markings, 29002868 edges, 4340 markings/sec, 2030 secs
lola: 11412349 markings, 29103428 edges, 4143 markings/sec, 2035 secs
lola: 11433704 markings, 29200946 edges, 4271 markings/sec, 2040 secs
lola: 11454782 markings, 29301156 edges, 4216 markings/sec, 2045 secs
lola: 11476121 markings, 29400624 edges, 4268 markings/sec, 2050 secs
lola: 11497211 markings, 29500433 edges, 4218 markings/sec, 2055 secs
lola: 11518345 markings, 29599367 edges, 4227 markings/sec, 2060 secs
lola: 11538945 markings, 29696153 edges, 4120 markings/sec, 2065 secs
lola: 11559485 markings, 29792788 edges, 4108 markings/sec, 2070 secs
lola: 11579723 markings, 29891250 edges, 4048 markings/sec, 2075 secs
lola: 11600649 markings, 29986509 edges, 4185 markings/sec, 2080 secs
lola: 11621014 markings, 30085301 edges, 4073 markings/sec, 2085 secs
lola: 11642191 markings, 30182253 edges, 4235 markings/sec, 2090 secs
lola: 11662598 markings, 30280891 edges, 4081 markings/sec, 2095 secs
lola: 11684045 markings, 30378927 edges, 4289 markings/sec, 2100 secs
lola: 11704558 markings, 30478691 edges, 4103 markings/sec, 2105 secs
lola: 11725813 markings, 30574865 edges, 4251 markings/sec, 2110 secs
lola: 11746160 markings, 30674400 edges, 4069 markings/sec, 2115 secs
lola: 11767298 markings, 30769751 edges, 4228 markings/sec, 2120 secs
lola: 11787621 markings, 30869014 edges, 4065 markings/sec, 2125 secs
lola: 11808423 markings, 30961488 edges, 4160 markings/sec, 2130 secs
lola: 11828580 markings, 31061685 edges, 4031 markings/sec, 2135 secs
lola: 11849837 markings, 31156502 edges, 4251 markings/sec, 2140 secs
lola: 11869999 markings, 31256525 edges, 4032 markings/sec, 2145 secs
lola: 11891229 markings, 31352061 edges, 4246 markings/sec, 2150 secs
lola: 11910712 markings, 31447897 edges, 3897 markings/sec, 2155 secs
lola: 11930326 markings, 31544507 edges, 3923 markings/sec, 2160 secs
lola: 11951999 markings, 31642327 edges, 4335 markings/sec, 2165 secs
lola: 11972306 markings, 31741947 edges, 4061 markings/sec, 2170 secs
lola: 11993612 markings, 31838102 edges, 4261 markings/sec, 2175 secs
lola: 12014051 markings, 31935946 edges, 4088 markings/sec, 2180 secs
lola: 12034954 markings, 32032267 edges, 4181 markings/sec, 2185 secs
lola: 12055631 markings, 32129177 edges, 4135 markings/sec, 2190 secs
lola: 12076187 markings, 32226513 edges, 4111 markings/sec, 2195 secs
lola: 12096722 markings, 32324761 edges, 4107 markings/sec, 2200 secs
lola: 12117680 markings, 32421399 edges, 4192 markings/sec, 2205 secs
lola: 12138018 markings, 32520461 edges, 4068 markings/sec, 2210 secs
lola: 12159100 markings, 32616219 edges, 4216 markings/sec, 2215 secs
lola: 12179496 markings, 32715396 edges, 4079 markings/sec, 2220 secs
lola: 12200433 markings, 32811373 edges, 4187 markings/sec, 2225 secs
lola: 12220962 markings, 32910273 edges, 4106 markings/sec, 2230 secs
lola: 12241793 markings, 33005495 edges, 4166 markings/sec, 2235 secs
lola: 12261920 markings, 33103694 edges, 4025 markings/sec, 2240 secs
lola: 12280781 markings, 33200336 edges, 3772 markings/sec, 2245 secs
lola: 12311470 markings, 33251645 edges, 6138 markings/sec, 2250 secs
lola: 12332586 markings, 33335218 edges, 4223 markings/sec, 2255 secs
lola: 12353600 markings, 33415805 edges, 4203 markings/sec, 2260 secs
lola: 12373882 markings, 33499744 edges, 4056 markings/sec, 2265 secs
lola: 12395109 markings, 33581651 edges, 4245 markings/sec, 2270 secs
lola: 12418044 markings, 33657616 edges, 4587 markings/sec, 2275 secs
lola: 12437130 markings, 33738393 edges, 3817 markings/sec, 2280 secs
lola: 12454894 markings, 33822640 edges, 3553 markings/sec, 2285 secs
lola: 12486857 markings, 33873419 edges, 6393 markings/sec, 2290 secs
lola: 12507058 markings, 33965100 edges, 4040 markings/sec, 2295 secs
lola: 12526374 markings, 34053401 edges, 3863 markings/sec, 2300 secs
lola: 12545774 markings, 34142861 edges, 3880 markings/sec, 2305 secs
lola: 12565499 markings, 34230304 edges, 3945 markings/sec, 2310 secs
lola: 12584106 markings, 34320512 edges, 3721 markings/sec, 2315 secs
lola: 12603656 markings, 34409117 edges, 3910 markings/sec, 2320 secs
lola: 12616443 markings, 34522136 edges, 2557 markings/sec, 2325 secs
lola: 12631726 markings, 34632019 edges, 3057 markings/sec, 2330 secs
lola: 12647147 markings, 34741054 edges, 3084 markings/sec, 2335 secs
lola: 12661743 markings, 34853299 edges, 2919 markings/sec, 2340 secs
lola: 12673574 markings, 34973917 edges, 2366 markings/sec, 2345 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown 1 1 lola:
caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown 1 1

preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown 1 1
lola: memory consumption: 2690796 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: memory consumption: 2690796 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

BK_STOP 1552665419189

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory

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="FlexibleBarrier-PT-18b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is FlexibleBarrier-PT-18b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r082-csrt-155246549200263"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-18b.tgz
mv FlexibleBarrier-PT-18b execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; 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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;