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.r016-csrt-155225065200236.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 AutoFlight-PT-96b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-csrt-155225065200236
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 3.9K Feb 9 07:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 9 07:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 04:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 04:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 104 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 342 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 22:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.5K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 2 01:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 2 01:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 29 12:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 29 12:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 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 1.9M 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 AutoFlight-PT-96b-UpperBounds-00
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-01
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-02
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-03
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-04
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-05
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-06
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-07
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-08
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-09
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-10
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-11
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-12
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-13
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-14
FORMULA_NAME AutoFlight-PT-96b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552508931572

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ AutoFlight-PT-96b @ 3570 seconds

FORMULA AutoFlight-PT-96b-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-96b-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-96b-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-96b-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-96b-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-96b-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-96b-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-96b-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-96b-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-96b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-96b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-96b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-96b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA AutoFlight-PT-96b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

{
"exit":
{
"memory": 3080496,
"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(p5361)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"preliminary_value": "1 1 1 unknown 1 1 1 1 1 1 1 1 1 1 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: 15762/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 7894
lola: finding significant places
lola: 7894 places, 7868 transitions, 7380 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(p6825) : MAX(p3752) : MAX(p1437) : MAX(p5361) : MAX(p5951) : MAX(p1662) : MAX(p5448) : MAX(p7097) : MAX(p7856) : MAX(p3976) : MAX(p2373) : MAX(p6826) : MAX(p3445) : MAX(p2449) : MAX(p1663) : MAX(p189)
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(p6825)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6825)
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: 213 markings, 212 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3752)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3752)
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: 140 markings, 139 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1437)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1437)
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: 337 markings, 336 edges
lola: ========================================
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5361)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5361)
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: 13696 markings, 17205 edges, 2739 markings/sec, 0 secs
lola: 57716 markings, 74666 edges, 8804 markings/sec, 5 secs
lola: 92165 markings, 135882 edges, 6890 markings/sec, 10 secs
lola: 121461 markings, 203426 edges, 5859 markings/sec, 15 secs
lola: 150723 markings, 270890 edges, 5852 markings/sec, 20 secs
lola: 179465 markings, 337164 edges, 5748 markings/sec, 25 secs
lola: 210702 markings, 409171 edges, 6247 markings/sec, 30 secs
lola: 237638 markings, 485519 edges, 5387 markings/sec, 35 secs
lola: 261657 markings, 564931 edges, 4804 markings/sec, 40 secs
lola: 285736 markings, 644527 edges, 4816 markings/sec, 45 secs
lola: 312458 markings, 717507 edges, 5344 markings/sec, 50 secs
lola: 342717 markings, 787274 edges, 6052 markings/sec, 55 secs
lola: 373855 markings, 859055 edges, 6228 markings/sec, 60 secs
lola: 404303 markings, 929258 edges, 6090 markings/sec, 65 secs
lola: 435176 markings, 1000441 edges, 6175 markings/sec, 70 secs
lola: 460529 markings, 1074838 edges, 5071 markings/sec, 75 secs
lola: 483396 markings, 1150459 edges, 4573 markings/sec, 80 secs
lola: 506544 markings, 1226953 edges, 4630 markings/sec, 85 secs
lola: 534250 markings, 1302585 edges, 5541 markings/sec, 90 secs
lola: 565864 markings, 1375470 edges, 6323 markings/sec, 95 secs
lola: 595603 markings, 1444033 edges, 5948 markings/sec, 100 secs
lola: 625577 markings, 1513150 edges, 5995 markings/sec, 105 secs
lola: 656273 markings, 1583926 edges, 6139 markings/sec, 110 secs
lola: 681536 markings, 1657978 edges, 5053 markings/sec, 115 secs
lola: 704391 markings, 1733501 edges, 4571 markings/sec, 120 secs
lola: 727214 markings, 1808940 edges, 4565 markings/sec, 125 secs
lola: 753067 markings, 1880817 edges, 5171 markings/sec, 130 secs
lola: 782889 markings, 1949565 edges, 5964 markings/sec, 135 secs
lola: 813178 markings, 2019409 edges, 6058 markings/sec, 140 secs
lola: 842843 markings, 2087794 edges, 5933 markings/sec, 145 secs
lola: 872308 markings, 2155730 edges, 5893 markings/sec, 150 secs
lola: 898456 markings, 2227550 edges, 5230 markings/sec, 155 secs
lola: 921068 markings, 2302284 edges, 4522 markings/sec, 160 secs
lola: 944261 markings, 2378968 edges, 4639 markings/sec, 165 secs
lola: 968833 markings, 2451992 edges, 4914 markings/sec, 170 secs
lola: 998436 markings, 2520254 edges, 5921 markings/sec, 175 secs
lola: 1027895 markings, 2588172 edges, 5892 markings/sec, 180 secs
lola: 1057375 markings, 2656141 edges, 5896 markings/sec, 185 secs
lola: 1087184 markings, 2724864 edges, 5962 markings/sec, 190 secs
lola: 1114416 markings, 2793954 edges, 5446 markings/sec, 195 secs
lola: 1137590 markings, 2870564 edges, 4635 markings/sec, 200 secs
lola: 1161431 markings, 2949371 edges, 4768 markings/sec, 205 secs
lola: 1186020 markings, 3026455 edges, 4918 markings/sec, 210 secs
lola: 1217007 markings, 3097900 edges, 6197 markings/sec, 215 secs
lola: 1247486 markings, 3168178 edges, 6096 markings/sec, 220 secs
lola: 1278330 markings, 3239297 edges, 6169 markings/sec, 225 secs
lola: 1308704 markings, 3309317 edges, 6075 markings/sec, 230 secs
lola: 1335723 markings, 3378064 edges, 5404 markings/sec, 235 secs
lola: 1357951 markings, 3451541 edges, 4446 markings/sec, 240 secs
lola: 1380155 markings, 3524917 edges, 4441 markings/sec, 245 secs
lola: 1403759 markings, 3602205 edges, 4721 markings/sec, 250 secs
lola: 1433082 markings, 3669810 edges, 5865 markings/sec, 255 secs
lola: 1462068 markings, 3736636 edges, 5797 markings/sec, 260 secs
lola: 1491306 markings, 3804049 edges, 5848 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 514024 KB
lola: time consumption: 291 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 4 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5951)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5951)
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: 708 markings, 707 edges
lola: ========================================
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1662)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1662)
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: 321 markings, 320 edges
lola: subprocess 6 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5448)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5448)
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: ========================================
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: 710 markings, 709 edges
lola: subprocess 7 will run for 363 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7097)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7097)
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: ========================================
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: 165 markings, 164 edges
lola: ========================================
lola: subprocess 8 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7856)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7856)
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: 7 markings, 6 edges
lola: subprocess 9 will run for 466 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p3976)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3976)
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: 173 markings, 172 edges
lola: ========================================
lola: subprocess 10 will run for 543 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2373)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2373)
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: 265 markings, 264 edges
lola: ========================================
lola: subprocess 11 will run for 651 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6826)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6826)
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: 204 markings, 203 edges
lola: ========================================
lola: subprocess 12 will run for 813 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3445)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3445)
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: 176 markings, 175 edges
lola: ========================================
lola: subprocess 13 will run for 1083 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2449)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2449)
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: 255 markings, 254 edges
lola: ========================================
lola: subprocess 14 will run for 1623 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1663)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1663)
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: 320 markings, 319 edges
lola: ========================================
lola: subprocess 15 will run for 3244 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p189)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p189)
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: 190 markings, 189 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p5361)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5361)
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: 12289 markings, 15366 edges, 2458 markings/sec, 0 secs
lola: 55068 markings, 71215 edges, 8556 markings/sec, 5 secs
lola: 90956 markings, 133095 edges, 7178 markings/sec, 10 secs
lola: 121283 markings, 203017 edges, 6065 markings/sec, 15 secs
lola: 152028 markings, 273894 edges, 6149 markings/sec, 20 secs
lola: 182371 markings, 343855 edges, 6069 markings/sec, 25 secs
lola: 211286 markings, 410531 edges, 5783 markings/sec, 30 secs
lola: 236726 markings, 482499 edges, 5088 markings/sec, 35 secs
lola: 259061 markings, 556363 edges, 4467 markings/sec, 40 secs
lola: 281230 markings, 629643 edges, 4434 markings/sec, 45 secs
lola: 305121 markings, 700590 edges, 4778 markings/sec, 50 secs
lola: 333806 markings, 766724 edges, 5737 markings/sec, 55 secs
lola: 362684 markings, 833301 edges, 5776 markings/sec, 60 secs
lola: 392140 markings, 901218 edges, 5891 markings/sec, 65 secs
lola: 421584 markings, 969102 edges, 5889 markings/sec, 70 secs
lola: 449464 markings, 1038298 edges, 5576 markings/sec, 75 secs
lola: 472774 markings, 1115312 edges, 4662 markings/sec, 80 secs
lola: 496076 markings, 1192370 edges, 4660 markings/sec, 85 secs
lola: 519696 markings, 1269038 edges, 4724 markings/sec, 90 secs
lola: 550261 markings, 1339506 edges, 6113 markings/sec, 95 secs
lola: 581450 markings, 1411402 edges, 6238 markings/sec, 100 secs
lola: 612484 markings, 1482956 edges, 6207 markings/sec, 105 secs
lola: 642832 markings, 1552926 edges, 6070 markings/sec, 110 secs
lola: 671425 markings, 1624544 edges, 5719 markings/sec, 115 secs
lola: 694784 markings, 1701760 edges, 4672 markings/sec, 120 secs
lola: 717469 markings, 1776749 edges, 4537 markings/sec, 125 secs
lola: 741731 markings, 1854677 edges, 4852 markings/sec, 130 secs
lola: 772242 markings, 1925015 edges, 6102 markings/sec, 135 secs
lola: 803009 markings, 1995959 edges, 6153 markings/sec, 140 secs
lola: 833886 markings, 2067149 edges, 6175 markings/sec, 145 secs
lola: 863950 markings, 2136465 edges, 6013 markings/sec, 150 secs
lola: 892270 markings, 2207079 edges, 5664 markings/sec, 155 secs
lola: 915867 markings, 2285117 edges, 4719 markings/sec, 160 secs
lola: 939814 markings, 2364241 edges, 4789 markings/sec, 165 secs
lola: 964498 markings, 2442006 edges, 4937 markings/sec, 170 secs
lola: 994523 markings, 2511230 edges, 6005 markings/sec, 175 secs
lola: 1024454 markings, 2580236 edges, 5986 markings/sec, 180 secs
lola: 1054724 markings, 2650020 edges, 6054 markings/sec, 185 secs
lola: 1084420 markings, 2718491 edges, 5939 markings/sec, 190 secs
lola: 1112863 markings, 2788827 edges, 5689 markings/sec, 195 secs
lola: 1136271 markings, 2866210 edges, 4682 markings/sec, 200 secs
lola: 1159794 markings, 2943981 edges, 4705 markings/sec, 205 secs
lola: 1183458 markings, 3020550 edges, 4733 markings/sec, 210 secs
lola: 1213772 markings, 3090448 edges, 6063 markings/sec, 215 secs
lola: 1243121 markings, 3158118 edges, 5870 markings/sec, 220 secs
lola: 1271600 markings, 3223779 edges, 5696 markings/sec, 225 secs
lola: 1300783 markings, 3291049 edges, 5837 markings/sec, 230 secs
lola: 1329768 markings, 3358361 edges, 5797 markings/sec, 235 secs
lola: 1351865 markings, 3431423 edges, 4419 markings/sec, 240 secs
lola: 1375047 markings, 3508068 edges, 4636 markings/sec, 245 secs
lola: 1398452 markings, 3585400 edges, 4681 markings/sec, 250 secs
lola: 1428084 markings, 3658287 edges, 5926 markings/sec, 255 secs
lola: 1459763 markings, 3731318 edges, 6336 markings/sec, 260 secs
lola: 1491217 markings, 3803834 edges, 6291 markings/sec, 265 secs
lola: 1522081 markings, 3875002 edges, 6173 markings/sec, 270 secs
lola: 1552098 markings, 3945867 edges, 6003 markings/sec, 275 secs
lola: 1575929 markings, 4024651 edges, 4766 markings/sec, 280 secs
lola: 1599802 markings, 4103563 edges, 4775 markings/sec, 285 secs
lola: 1622788 markings, 4179517 edges, 4597 markings/sec, 290 secs
lola: 1652342 markings, 4249039 edges, 5911 markings/sec, 295 secs
lola: 1683049 markings, 4319838 edges, 6141 markings/sec, 300 secs
lola: 1713543 markings, 4390147 edges, 6099 markings/sec, 305 secs
lola: 1743799 markings, 4459911 edges, 6051 markings/sec, 310 secs
lola: 1773421 markings, 4530023 edges, 5924 markings/sec, 315 secs
lola: 1796882 markings, 4607567 edges, 4692 markings/sec, 320 secs
lola: 1820308 markings, 4684982 edges, 4685 markings/sec, 325 secs
lola: 1843751 markings, 4762479 edges, 4689 markings/sec, 330 secs
lola: 1873783 markings, 4833324 edges, 6006 markings/sec, 335 secs
lola: 1904089 markings, 4903196 edges, 6061 markings/sec, 340 secs
lola: 1934642 markings, 4973627 edges, 6111 markings/sec, 345 secs
lola: 1965340 markings, 5044413 edges, 6140 markings/sec, 350 secs
lola: 1995038 markings, 5115127 edges, 5940 markings/sec, 355 secs
lola: 2018497 markings, 5192687 edges, 4692 markings/sec, 360 secs
lola: 2041818 markings, 5269734 edges, 4664 markings/sec, 365 secs
lola: 2065256 markings, 5347230 edges, 4688 markings/sec, 370 secs
lola: 2095185 markings, 5417505 edges, 5986 markings/sec, 375 secs
lola: 2125866 markings, 5488232 edges, 6136 markings/sec, 380 secs
lola: 2156330 markings, 5558476 edges, 6093 markings/sec, 385 secs
lola: 2186835 markings, 5628812 edges, 6101 markings/sec, 390 secs
lola: 2216516 markings, 5699770 edges, 5936 markings/sec, 395 secs
lola: 2240034 markings, 5777538 edges, 4704 markings/sec, 400 secs
lola: 2263388 markings, 5854698 edges, 4671 markings/sec, 405 secs
lola: 2286758 markings, 5931989 edges, 4674 markings/sec, 410 secs
lola: 2316979 markings, 6002586 edges, 6044 markings/sec, 415 secs
lola: 2347726 markings, 6073471 edges, 6149 markings/sec, 420 secs
lola: 2378048 markings, 6143395 edges, 6064 markings/sec, 425 secs
lola: 2408623 markings, 6213884 edges, 6115 markings/sec, 430 secs
lola: 2438158 markings, 6284967 edges, 5907 markings/sec, 435 secs
lola: 2461915 markings, 6363502 edges, 4751 markings/sec, 440 secs
lola: 2485314 markings, 6440843 edges, 4680 markings/sec, 445 secs
lola: 2508727 markings, 6518267 edges, 4683 markings/sec, 450 secs
lola: 2539413 markings, 6589151 edges, 6137 markings/sec, 455 secs
lola: 2570065 markings, 6659827 edges, 6130 markings/sec, 460 secs
lola: 2600652 markings, 6730335 edges, 6117 markings/sec, 465 secs
lola: 2631033 markings, 6800381 edges, 6076 markings/sec, 470 secs
lola: 2660315 markings, 6871883 edges, 5856 markings/sec, 475 secs
lola: 2683882 markings, 6949778 edges, 4713 markings/sec, 480 secs
lola: 2707400 markings, 7027547 edges, 4704 markings/sec, 485 secs
lola: 2731179 markings, 7105005 edges, 4756 markings/sec, 490 secs
lola: 2761924 markings, 7175885 edges, 6149 markings/sec, 495 secs
lola: 2792213 markings, 7245728 edges, 6058 markings/sec, 500 secs
lola: 2822504 markings, 7315563 edges, 6058 markings/sec, 505 secs
lola: 2853258 markings, 7386457 edges, 6151 markings/sec, 510 secs
lola: 2881998 markings, 7457239 edges, 5748 markings/sec, 515 secs
lola: 2905467 markings, 7534799 edges, 4694 markings/sec, 520 secs
lola: 2929113 markings, 7612968 edges, 4729 markings/sec, 525 secs
lola: 2952931 markings, 7689992 edges, 4764 markings/sec, 530 secs
lola: 2983272 markings, 7759946 edges, 6068 markings/sec, 535 secs
lola: 3013323 markings, 7829236 edges, 6010 markings/sec, 540 secs
lola: 3043196 markings, 7898114 edges, 5975 markings/sec, 545 secs
lola: 3073101 markings, 7967047 edges, 5981 markings/sec, 550 secs
lola: 3102344 markings, 8038146 edges, 5849 markings/sec, 555 secs
lola: 3125596 markings, 8115013 edges, 4650 markings/sec, 560 secs
lola: 3148684 markings, 8191322 edges, 4618 markings/sec, 565 secs
lola: 3171592 markings, 8267027 edges, 4582 markings/sec, 570 secs
lola: 3201949 markings, 8337841 edges, 6071 markings/sec, 575 secs
lola: 3232634 markings, 8408597 edges, 6137 markings/sec, 580 secs
lola: 3263296 markings, 8479286 edges, 6132 markings/sec, 585 secs
lola: 3294022 markings, 8550123 edges, 6145 markings/sec, 590 secs
lola: 3323548 markings, 8621876 edges, 5905 markings/sec, 595 secs
lola: 3347128 markings, 8699842 edges, 4716 markings/sec, 600 secs
lola: 3370778 markings, 8778021 edges, 4730 markings/sec, 605 secs
lola: 3394599 markings, 8855737 edges, 4764 markings/sec, 610 secs
lola: 3424722 markings, 8925192 edges, 6025 markings/sec, 615 secs
lola: 3454765 markings, 8994453 edges, 6009 markings/sec, 620 secs
lola: 3485057 markings, 9064295 edges, 6058 markings/sec, 625 secs
lola: 3515537 markings, 9134575 edges, 6096 markings/sec, 630 secs
lola: 3544309 markings, 9204202 edges, 5754 markings/sec, 635 secs
lola: 3567542 markings, 9280960 edges, 4647 markings/sec, 640 secs
lola: 3590625 markings, 9357281 edges, 4617 markings/sec, 645 secs
lola: 3613753 markings, 9433741 edges, 4626 markings/sec, 650 secs
lola: 3644096 markings, 9504702 edges, 6069 markings/sec, 655 secs
lola: 3674962 markings, 9575855 edges, 6173 markings/sec, 660 secs
lola: 3706106 markings, 9647656 edges, 6229 markings/sec, 665 secs
lola: 3737209 markings, 9719367 edges, 6221 markings/sec, 670 secs
lola: 3767003 markings, 9792866 edges, 5959 markings/sec, 675 secs
lola: 3790534 markings, 9870639 edges, 4706 markings/sec, 680 secs
lola: 3813855 markings, 9947729 edges, 4664 markings/sec, 685 secs
lola: 3837748 markings, 10024895 edges, 4779 markings/sec, 690 secs
lola: 3867813 markings, 10094212 edges, 6013 markings/sec, 695 secs
lola: 3897958 markings, 10163719 edges, 6029 markings/sec, 700 secs
lola: 3928390 markings, 10233879 edges, 6086 markings/sec, 705 secs
lola: 3958893 markings, 10304203 edges, 6101 markings/sec, 710 secs
lola: 3988086 markings, 10376195 edges, 5839 markings/sec, 715 secs
lola: 4011666 markings, 10454140 edges, 4716 markings/sec, 720 secs
lola: 4035372 markings, 10532525 edges, 4741 markings/sec, 725 secs
lola: 4059320 markings, 10609467 edges, 4790 markings/sec, 730 secs
lola: 4090138 markings, 10680518 edges, 6164 markings/sec, 735 secs
lola: 4120953 markings, 10751571 edges, 6163 markings/sec, 740 secs
lola: 4151882 markings, 10822877 edges, 6186 markings/sec, 745 secs
lola: 4182771 markings, 10894096 edges, 6178 markings/sec, 750 secs
lola: 4211505 markings, 10967273 edges, 5747 markings/sec, 755 secs
lola: 4234141 markings, 11042127 edges, 4527 markings/sec, 760 secs
lola: 4257071 markings, 11117914 edges, 4586 markings/sec, 765 secs
lola: 4281325 markings, 11195037 edges, 4851 markings/sec, 770 secs
lola: 4311705 markings, 11265081 edges, 6076 markings/sec, 775 secs
lola: 4342379 markings, 11335804 edges, 6135 markings/sec, 780 secs
lola: 4371531 markings, 11403016 edges, 5830 markings/sec, 785 secs
lola: 4400702 markings, 11470269 edges, 5834 markings/sec, 790 secs
lola: 4428809 markings, 11538145 edges, 5621 markings/sec, 795 secs
lola: 4450951 markings, 11611328 edges, 4428 markings/sec, 800 secs
lola: 4473055 markings, 11684398 edges, 4421 markings/sec, 805 secs
lola: 4495929 markings, 11760043 edges, 4575 markings/sec, 810 secs
lola: 4524368 markings, 11829127 edges, 5688 markings/sec, 815 secs
lola: 4554077 markings, 11897616 edges, 5942 markings/sec, 820 secs
lola: 4583613 markings, 11965712 edges, 5907 markings/sec, 825 secs
lola: 4612879 markings, 12033185 edges, 5853 markings/sec, 830 secs
lola: 4642007 markings, 12100353 edges, 5826 markings/sec, 835 secs
lola: 4666053 markings, 12174923 edges, 4809 markings/sec, 840 secs
lola: 4689166 markings, 12251329 edges, 4623 markings/sec, 845 secs
lola: 4712340 markings, 12327911 edges, 4635 markings/sec, 850 secs
lola: 4740031 markings, 12400068 edges, 5538 markings/sec, 855 secs
lola: 4769769 markings, 12468642 edges, 5948 markings/sec, 860 secs
lola: 4799577 markings, 12537349 edges, 5962 markings/sec, 865 secs
lola: 4829403 markings, 12606120 edges, 5965 markings/sec, 870 secs
lola: 4859221 markings, 12674873 edges, 5964 markings/sec, 875 secs
lola: 4884125 markings, 12748297 edges, 4981 markings/sec, 880 secs
lola: 4906746 markings, 12823108 edges, 4524 markings/sec, 885 secs
lola: 4929565 markings, 12898535 edges, 4564 markings/sec, 890 secs
lola: 4956390 markings, 12972615 edges, 5365 markings/sec, 895 secs
lola: 4986584 markings, 13042235 edges, 6039 markings/sec, 900 secs
lola: 5016223 markings, 13109859 edges, 5928 markings/sec, 905 secs
lola: 5057343 markings, 13163554 edges, 8224 markings/sec, 910 secs
lola: 5095671 markings, 13219961 edges, 7666 markings/sec, 915 secs
lola: 5124356 markings, 13286091 edges, 5737 markings/sec, 920 secs
lola: 5153063 markings, 13352286 edges, 5741 markings/sec, 925 secs
lola: 5181185 markings, 13417123 edges, 5624 markings/sec, 930 secs
lola: 5209457 markings, 13482299 edges, 5654 markings/sec, 935 secs
lola: 5237728 markings, 13548448 edges, 5654 markings/sec, 940 secs
lola: 5260302 markings, 13623081 edges, 4515 markings/sec, 945 secs
lola: 5282498 markings, 13696441 edges, 4439 markings/sec, 950 secs
lola: 5304783 markings, 13770097 edges, 4457 markings/sec, 955 secs
lola: 5331924 markings, 13838379 edges, 5428 markings/sec, 960 secs
lola: 5360693 markings, 13904713 edges, 5754 markings/sec, 965 secs
lola: 5389388 markings, 13970877 edges, 5739 markings/sec, 970 secs
lola: 5418623 markings, 14038280 edges, 5847 markings/sec, 975 secs
lola: 5447412 markings, 14104648 edges, 5758 markings/sec, 980 secs
lola: 5472971 markings, 14178603 edges, 5112 markings/sec, 985 secs
lola: 5496229 markings, 14255501 edges, 4652 markings/sec, 990 secs
lola: 5519312 markings, 14331803 edges, 4617 markings/sec, 995 secs
lola: 5545665 markings, 14404906 edges, 5271 markings/sec, 1000 secs
lola: 5575112 markings, 14472797 edges, 5889 markings/sec, 1005 secs
lola: 5604801 markings, 14541251 edges, 5938 markings/sec, 1010 secs
lola: 5634747 markings, 14610283 edges, 5989 markings/sec, 1015 secs
lola: 5664972 markings, 14679974 edges, 6045 markings/sec, 1020 secs
lola: 5691541 markings, 14753667 edges, 5314 markings/sec, 1025 secs
lola: 5714733 markings, 14830309 edges, 4638 markings/sec, 1030 secs
lola: 5737328 markings, 14905024 edges, 4519 markings/sec, 1035 secs
lola: 5761704 markings, 14976718 edges, 4875 markings/sec, 1040 secs
lola: 5790799 markings, 15043794 edges, 5819 markings/sec, 1045 secs
lola: 5820096 markings, 15111348 edges, 5859 markings/sec, 1050 secs
lola: 5849223 markings, 15178497 edges, 5825 markings/sec, 1055 secs
lola: 5878329 markings, 15245610 edges, 5821 markings/sec, 1060 secs
lola: 5905787 markings, 15314407 edges, 5492 markings/sec, 1065 secs
lola: 5928972 markings, 15391058 edges, 4637 markings/sec, 1070 secs
lola: 5951647 markings, 15465994 edges, 4535 markings/sec, 1075 secs
lola: 5974882 markings, 15541945 edges, 4647 markings/sec, 1080 secs
lola: 6004731 markings, 15610761 edges, 5970 markings/sec, 1085 secs
lola: 6034421 markings, 15679217 edges, 5938 markings/sec, 1090 secs
lola: 6064530 markings, 15748626 edges, 6022 markings/sec, 1095 secs
lola: 6093366 markings, 15815110 edges, 5767 markings/sec, 1100 secs
lola: 6121804 markings, 15881018 edges, 5688 markings/sec, 1105 secs
lola: 6144452 markings, 15955869 edges, 4530 markings/sec, 1110 secs
lola: 6166855 markings, 16029951 edges, 4481 markings/sec, 1115 secs
lola: 6189135 markings, 16103603 edges, 4456 markings/sec, 1120 secs
lola: 6216346 markings, 16172371 edges, 5442 markings/sec, 1125 secs
lola: 6245431 markings, 16239436 edges, 5817 markings/sec, 1130 secs
lola: 6275933 markings, 16309759 edges, 6100 markings/sec, 1135 secs
lola: 6305842 markings, 16378721 edges, 5982 markings/sec, 1140 secs
lola: 6335068 markings, 16446099 edges, 5845 markings/sec, 1145 secs
lola: 6360425 markings, 16522355 edges, 5071 markings/sec, 1150 secs
lola: 6384144 markings, 16600737 edges, 4744 markings/sec, 1155 secs
lola: 6408281 markings, 16680525 edges, 4827 markings/sec, 1160 secs
lola: 6437050 markings, 16754947 edges, 5754 markings/sec, 1165 secs
lola: 6466424 markings, 16822673 edges, 5875 markings/sec, 1170 secs
lola: 6497139 markings, 16893485 edges, 6143 markings/sec, 1175 secs
lola: 6526943 markings, 16962210 edges, 5961 markings/sec, 1180 secs
lola: 6556104 markings, 17029436 edges, 5832 markings/sec, 1185 secs
lola: 6580299 markings, 17101717 edges, 4839 markings/sec, 1190 secs
lola: 6603092 markings, 17177060 edges, 4559 markings/sec, 1195 secs
lola: 6625388 markings, 17250742 edges, 4459 markings/sec, 1200 secs
lola: 6651800 markings, 17323799 edges, 5282 markings/sec, 1205 secs
lola: 6682954 markings, 17395624 edges, 6231 markings/sec, 1210 secs
lola: 6713267 markings, 17465508 edges, 6063 markings/sec, 1215 secs
lola: 6743453 markings, 17535112 edges, 6037 markings/sec, 1220 secs
lola: 6773454 markings, 17604272 edges, 6000 markings/sec, 1225 secs
lola: 6799310 markings, 17678188 edges, 5171 markings/sec, 1230 secs
lola: 6821945 markings, 17753020 edges, 4527 markings/sec, 1235 secs
lola: 6844818 markings, 17828654 edges, 4575 markings/sec, 1240 secs
lola: 6869779 markings, 17900085 edges, 4992 markings/sec, 1245 secs
lola: 6899242 markings, 17968014 edges, 5893 markings/sec, 1250 secs
lola: 6928838 markings, 18036254 edges, 5919 markings/sec, 1255 secs
lola: 6958586 markings, 18104839 edges, 5950 markings/sec, 1260 secs
lola: 6989107 markings, 18175209 edges, 6104 markings/sec, 1265 secs
lola: 7016382 markings, 18248292 edges, 5455 markings/sec, 1270 secs
lola: 7040115 markings, 18326766 edges, 4747 markings/sec, 1275 secs
lola: 7064652 markings, 18407843 edges, 4907 markings/sec, 1280 secs
lola: 7092380 markings, 18487036 edges, 5546 markings/sec, 1285 secs
lola: 7124721 markings, 18561597 edges, 6468 markings/sec, 1290 secs
lola: 7156545 markings, 18634970 edges, 6365 markings/sec, 1295 secs
lola: 7188609 markings, 18708900 edges, 6413 markings/sec, 1300 secs
lola: 7220642 markings, 18782750 edges, 6407 markings/sec, 1305 secs
lola: 7246917 markings, 18862902 edges, 5255 markings/sec, 1310 secs
lola: 7270686 markings, 18941486 edges, 4754 markings/sec, 1315 secs
lola: 7293857 markings, 19018072 edges, 4634 markings/sec, 1320 secs
lola: 7321150 markings, 19088207 edges, 5459 markings/sec, 1325 secs
lola: 7350962 markings, 19156940 edges, 5962 markings/sec, 1330 secs
lola: 7379920 markings, 19223701 edges, 5792 markings/sec, 1335 secs
lola: 7410016 markings, 19293089 edges, 6019 markings/sec, 1340 secs
lola: 7439008 markings, 19359936 edges, 5798 markings/sec, 1345 secs
lola: 7463163 markings, 19430270 edges, 4831 markings/sec, 1350 secs
lola: 7485186 markings, 19503058 edges, 4405 markings/sec, 1355 secs
lola: 7507851 markings, 19577988 edges, 4533 markings/sec, 1360 secs
lola: 7533712 markings, 19652002 edges, 5172 markings/sec, 1365 secs
lola: 7564715 markings, 19723483 edges, 6201 markings/sec, 1370 secs
lola: 7594159 markings, 19791373 edges, 5889 markings/sec, 1375 secs
lola: 7623663 markings, 19859392 edges, 5901 markings/sec, 1380 secs
lola: 7654497 markings, 19930482 edges, 6167 markings/sec, 1385 secs
lola: 7681378 markings, 20004129 edges, 5376 markings/sec, 1390 secs
lola: 7704678 markings, 20081157 edges, 4660 markings/sec, 1395 secs
lola: 7727401 markings, 20156281 edges, 4545 markings/sec, 1400 secs
lola: 7751753 markings, 20228435 edges, 4870 markings/sec, 1405 secs
lola: 7781253 markings, 20296453 edges, 5900 markings/sec, 1410 secs
lola: 7812430 markings, 20368333 edges, 6235 markings/sec, 1415 secs
lola: 7843326 markings, 20439564 edges, 6179 markings/sec, 1420 secs
lola: 7875550 markings, 20513857 edges, 6445 markings/sec, 1425 secs
lola: 7903283 markings, 20590192 edges, 5547 markings/sec, 1430 secs
lola: 7927640 markings, 20670710 edges, 4871 markings/sec, 1435 secs
lola: 7952209 markings, 20751955 edges, 4914 markings/sec, 1440 secs
lola: 7978816 markings, 20825668 edges, 5321 markings/sec, 1445 secs
lola: 8008560 markings, 20894247 edges, 5949 markings/sec, 1450 secs
lola: 8037981 markings, 20962079 edges, 5884 markings/sec, 1455 secs
lola: 8069879 markings, 21035620 edges, 6380 markings/sec, 1460 secs
lola: 8102004 markings, 21109691 edges, 6425 markings/sec, 1465 secs
lola: 8129209 markings, 21189558 edges, 5441 markings/sec, 1470 secs
lola: 8154006 markings, 21271531 edges, 4959 markings/sec, 1475 secs
lola: 8178432 markings, 21352293 edges, 4885 markings/sec, 1480 secs
lola: 8208311 markings, 21428513 edges, 5976 markings/sec, 1485 secs
lola: 8240458 markings, 21502631 edges, 6429 markings/sec, 1490 secs
lola: 8272413 markings, 21576306 edges, 6391 markings/sec, 1495 secs
lola: 8304708 markings, 21650766 edges, 6459 markings/sec, 1500 secs
lola: 8335883 markings, 21725299 edges, 6235 markings/sec, 1505 secs
lola: 8360403 markings, 21806362 edges, 4904 markings/sec, 1510 secs
lola: 8384453 markings, 21885854 edges, 4810 markings/sec, 1515 secs
lola: 8409891 markings, 21966986 edges, 5088 markings/sec, 1520 secs
lola: 8441414 markings, 22039668 edges, 6305 markings/sec, 1525 secs
lola: 8470826 markings, 22107481 edges, 5882 markings/sec, 1530 secs
lola: 8500399 markings, 22175670 edges, 5915 markings/sec, 1535 secs
lola: 8529711 markings, 22243246 edges, 5862 markings/sec, 1540 secs
lola: 8558953 markings, 22315207 edges, 5848 markings/sec, 1545 secs
lola: 8583385 markings, 22395991 edges, 4886 markings/sec, 1550 secs
lola: 8607281 markings, 22474976 edges, 4779 markings/sec, 1555 secs
lola: 8631707 markings, 22552124 edges, 4885 markings/sec, 1560 secs
lola: 8662598 markings, 22623352 edges, 6178 markings/sec, 1565 secs
lola: 8693744 markings, 22695163 edges, 6229 markings/sec, 1570 secs
lola: 8724715 markings, 22766565 edges, 6194 markings/sec, 1575 secs
lola: 8756013 markings, 22838719 edges, 6260 markings/sec, 1580 secs
lola: 8784280 markings, 22912605 edges, 5653 markings/sec, 1585 secs
lola: 8808212 markings, 22991702 edges, 4786 markings/sec, 1590 secs
lola: 8832594 markings, 23072319 edges, 4876 markings/sec, 1595 secs
lola: 8859609 markings, 23151293 edges, 5403 markings/sec, 1600 secs
lola: 8890363 markings, 23222198 edges, 6151 markings/sec, 1605 secs
lola: 8921647 markings, 23294332 edges, 6257 markings/sec, 1610 secs
lola: 8951841 markings, 23363940 edges, 6039 markings/sec, 1615 secs
lola: 8983166 markings, 23436162 edges, 6265 markings/sec, 1620 secs
lola: 9009991 markings, 23511258 edges, 5365 markings/sec, 1625 secs
lola: 9033969 markings, 23590522 edges, 4796 markings/sec, 1630 secs
lola: 9058014 markings, 23669997 edges, 4809 markings/sec, 1635 secs
lola: 9085654 markings, 23746178 edges, 5528 markings/sec, 1640 secs
lola: 9117003 markings, 23818461 edges, 6270 markings/sec, 1645 secs
lola: 9148235 markings, 23890471 edges, 6246 markings/sec, 1650 secs
lola: 9179251 markings, 23961973 edges, 6203 markings/sec, 1655 secs
lola: 9210788 markings, 24034685 edges, 6307 markings/sec, 1660 secs
lola: 9236632 markings, 24112969 edges, 5169 markings/sec, 1665 secs
lola: 9260765 markings, 24192767 edges, 4827 markings/sec, 1670 secs
lola: 9284817 markings, 24272270 edges, 4810 markings/sec, 1675 secs
lola: 9312715 markings, 24343414 edges, 5580 markings/sec, 1680 secs
lola: 9342192 markings, 24411378 edges, 5895 markings/sec, 1685 secs
lola: 9371619 markings, 24479220 edges, 5885 markings/sec, 1690 secs
lola: 9401434 markings, 24547954 edges, 5963 markings/sec, 1695 secs
lola: 9432372 markings, 24619292 edges, 6188 markings/sec, 1700 secs
lola: 9457472 markings, 24695527 edges, 5020 markings/sec, 1705 secs
lola: 9480703 markings, 24772307 edges, 4646 markings/sec, 1710 secs
lola: 9503796 markings, 24848669 edges, 4619 markings/sec, 1715 secs
lola: 9531067 markings, 24920562 edges, 5454 markings/sec, 1720 secs
lola: 9561448 markings, 24990608 edges, 6076 markings/sec, 1725 secs
lola: 9591703 markings, 25060367 edges, 6051 markings/sec, 1730 secs
lola: 9622116 markings, 25130488 edges, 6083 markings/sec, 1735 secs
lola: 9651780 markings, 25198878 edges, 5933 markings/sec, 1740 secs
lola: 9677714 markings, 25276104 edges, 5187 markings/sec, 1745 secs
lola: 9701201 markings, 25353752 edges, 4697 markings/sec, 1750 secs
lola: 9724651 markings, 25431255 edges, 4690 markings/sec, 1755 secs
lola: 9753439 markings, 25506982 edges, 5758 markings/sec, 1760 secs
lola: 9784693 markings, 25579042 edges, 6251 markings/sec, 1765 secs
lola: 9815861 markings, 25650900 edges, 6234 markings/sec, 1770 secs
lola: 9847273 markings, 25723322 edges, 6282 markings/sec, 1775 secs
lola: 9878334 markings, 25794936 edges, 6212 markings/sec, 1780 secs
lola: 9901601 markings, 25868711 edges, 4653 markings/sec, 1785 secs
lola: 9924169 markings, 25943316 edges, 4514 markings/sec, 1790 secs
lola: 9947100 markings, 26019108 edges, 4586 markings/sec, 1795 secs
lola: 9976008 markings, 26093848 edges, 5782 markings/sec, 1800 secs
lola: 10005981 markings, 26162961 edges, 5995 markings/sec, 1805 secs
lola: 10035964 markings, 26232088 edges, 5997 markings/sec, 1810 secs
lola: 10065902 markings, 26301110 edges, 5988 markings/sec, 1815 secs
lola: 10095788 markings, 26370013 edges, 5977 markings/sec, 1820 secs
lola: 10120043 markings, 26443339 edges, 4851 markings/sec, 1825 secs
lola: 10142554 markings, 26517764 edges, 4502 markings/sec, 1830 secs
lola: 10166088 markings, 26595542 edges, 4707 markings/sec, 1835 secs
lola: 10193359 markings, 26668695 edges, 5454 markings/sec, 1840 secs
lola: 10223627 markings, 26738483 edges, 6054 markings/sec, 1845 secs
lola: 10254929 markings, 26810645 edges, 6260 markings/sec, 1850 secs
lola: 10286452 markings, 26883329 edges, 6305 markings/sec, 1855 secs
lola: 10318052 markings, 26956186 edges, 6320 markings/sec, 1860 secs
lola: 10343634 markings, 27034977 edges, 5116 markings/sec, 1865 secs
lola: 10367929 markings, 27115271 edges, 4859 markings/sec, 1870 secs
lola: 10392151 markings, 27195327 edges, 4844 markings/sec, 1875 secs
lola: 10417246 markings, 27274386 edges, 5019 markings/sec, 1880 secs
lola: 10442559 markings, 27352598 edges, 5063 markings/sec, 1885 secs
lola: 10467666 markings, 27430834 edges, 5021 markings/sec, 1890 secs
lola: 10492490 markings, 27508900 edges, 4965 markings/sec, 1895 secs
lola: 10516884 markings, 27585105 edges, 4879 markings/sec, 1900 secs
lola: 10541389 markings, 27661056 edges, 4901 markings/sec, 1905 secs
lola: 10565625 markings, 27737228 edges, 4847 markings/sec, 1910 secs
lola: 10590036 markings, 27813513 edges, 4882 markings/sec, 1915 secs
lola: 10613645 markings, 27887646 edges, 4722 markings/sec, 1920 secs
lola: 10637195 markings, 27960802 edges, 4710 markings/sec, 1925 secs
lola: 10661217 markings, 28036469 edges, 4804 markings/sec, 1930 secs
lola: 10685600 markings, 28111622 edges, 4877 markings/sec, 1935 secs
lola: 10709504 markings, 28186349 edges, 4781 markings/sec, 1940 secs
lola: 10733892 markings, 28263729 edges, 4878 markings/sec, 1945 secs
lola: 10758609 markings, 28340748 edges, 4943 markings/sec, 1950 secs
lola: 10782027 markings, 28414073 edges, 4684 markings/sec, 1955 secs
lola: 10805293 markings, 28487090 edges, 4653 markings/sec, 1960 secs
lola: 10828931 markings, 28559743 edges, 4728 markings/sec, 1965 secs
lola: 10853182 markings, 28636023 edges, 4850 markings/sec, 1970 secs
lola: 10878311 markings, 28714382 edges, 5026 markings/sec, 1975 secs
lola: 10903021 markings, 28792084 edges, 4942 markings/sec, 1980 secs
lola: 10927116 markings, 28867691 edges, 4819 markings/sec, 1985 secs
lola: 10951966 markings, 28944200 edges, 4970 markings/sec, 1990 secs
lola: 10976464 markings, 29021269 edges, 4900 markings/sec, 1995 secs
lola: 11001040 markings, 29098075 edges, 4915 markings/sec, 2000 secs
lola: 11025775 markings, 29175275 edges, 4947 markings/sec, 2005 secs
lola: 11048503 markings, 29246763 edges, 4546 markings/sec, 2010 secs
lola: 11073263 markings, 29323876 edges, 4952 markings/sec, 2015 secs
lola: 11096925 markings, 29398122 edges, 4732 markings/sec, 2020 secs
lola: 11119610 markings, 29468968 edges, 4537 markings/sec, 2025 secs
lola: 11142162 markings, 29539742 edges, 4510 markings/sec, 2030 secs
lola: 11165115 markings, 29610994 edges, 4591 markings/sec, 2035 secs
lola: 11188619 markings, 29684627 edges, 4701 markings/sec, 2040 secs
lola: 11211634 markings, 29756520 edges, 4603 markings/sec, 2045 secs
lola: 11236171 markings, 29834147 edges, 4907 markings/sec, 2050 secs
lola: 11259377 markings, 29905648 edges, 4641 markings/sec, 2055 secs
lola: 11282668 markings, 29978293 edges, 4658 markings/sec, 2060 secs
lola: 11306448 markings, 30052810 edges, 4756 markings/sec, 2065 secs
lola: 11329852 markings, 30125900 edges, 4681 markings/sec, 2070 secs
lola: 11353074 markings, 30198558 edges, 4644 markings/sec, 2075 secs
lola: 11376597 markings, 30272358 edges, 4705 markings/sec, 2080 secs
lola: 11400020 markings, 30345746 edges, 4685 markings/sec, 2085 secs
lola: 11423321 markings, 30418464 edges, 4660 markings/sec, 2090 secs
lola: 11446907 markings, 30491733 edges, 4717 markings/sec, 2095 secs
lola: 11470593 markings, 30566575 edges, 4737 markings/sec, 2100 secs
lola: 11494620 markings, 30641146 edges, 4805 markings/sec, 2105 secs
lola: 11518746 markings, 30716739 edges, 4825 markings/sec, 2110 secs
lola: 11542746 markings, 30792581 edges, 4800 markings/sec, 2115 secs
lola: 11567894 markings, 30870069 edges, 5030 markings/sec, 2120 secs
lola: 11592794 markings, 30948184 edges, 4980 markings/sec, 2125 secs
lola: 11617778 markings, 31025992 edges, 4997 markings/sec, 2130 secs
lola: 11642714 markings, 31103731 edges, 4987 markings/sec, 2135 secs
lola: 11667221 markings, 31180246 edges, 4901 markings/sec, 2140 secs
lola: 11690473 markings, 31252713 edges, 4650 markings/sec, 2145 secs
lola: 11713428 markings, 31325797 edges, 4591 markings/sec, 2150 secs
lola: 11736767 markings, 31398699 edges, 4668 markings/sec, 2155 secs
lola: 11760690 markings, 31473567 edges, 4785 markings/sec, 2160 secs
lola: 11785695 markings, 31551523 edges, 5001 markings/sec, 2165 secs
lola: 11810636 markings, 31629463 edges, 4988 markings/sec, 2170 secs
lola: 11835161 markings, 31705743 edges, 4905 markings/sec, 2175 secs
lola: 11858292 markings, 31777852 edges, 4626 markings/sec, 2180 secs
lola: 11881303 markings, 31850553 edges, 4602 markings/sec, 2185 secs
lola: 11905185 markings, 31924986 edges, 4776 markings/sec, 2190 secs
lola: 11928708 markings, 31998739 edges, 4705 markings/sec, 2195 secs
lola: 11952153 markings, 32072140 edges, 4689 markings/sec, 2200 secs
lola: 11976111 markings, 32146045 edges, 4792 markings/sec, 2205 secs
lola: 11999248 markings, 32218692 edges, 4627 markings/sec, 2210 secs
lola: 12022495 markings, 32291109 edges, 4649 markings/sec, 2215 secs
lola: 12045623 markings, 32364254 edges, 4626 markings/sec, 2220 secs
lola: 12069867 markings, 32439605 edges, 4849 markings/sec, 2225 secs
lola: 12094613 markings, 32516374 edges, 4949 markings/sec, 2230 secs
lola: 12119581 markings, 32594724 edges, 4994 markings/sec, 2235 secs
lola: 12144459 markings, 32672738 edges, 4976 markings/sec, 2240 secs
lola: 12169419 markings, 32750588 edges, 4992 markings/sec, 2245 secs
lola: 12194266 markings, 32828028 edges, 4969 markings/sec, 2250 secs
lola: 12218994 markings, 32905211 edges, 4946 markings/sec, 2255 secs
lola: 12243114 markings, 32980779 edges, 4824 markings/sec, 2260 secs
lola: 12266700 markings, 33054517 edges, 4717 markings/sec, 2265 secs
lola: 12289900 markings, 33127452 edges, 4640 markings/sec, 2270 secs
lola: 12313142 markings, 33199721 edges, 4648 markings/sec, 2275 secs
lola: 12336485 markings, 33272799 edges, 4669 markings/sec, 2280 secs
lola: 12360392 markings, 33348182 edges, 4781 markings/sec, 2285 secs
lola: 12384102 markings, 33421481 edges, 4742 markings/sec, 2290 secs
lola: 12407635 markings, 33495300 edges, 4707 markings/sec, 2295 secs
lola: 12431871 markings, 33570624 edges, 4847 markings/sec, 2300 secs
lola: 12455774 markings, 33645868 edges, 4781 markings/sec, 2305 secs
lola: 12479935 markings, 33721377 edges, 4832 markings/sec, 2310 secs
lola: 12504139 markings, 33796055 edges, 4841 markings/sec, 2315 secs
lola: 12527113 markings, 33868717 edges, 4595 markings/sec, 2320 secs
lola: 12550445 markings, 33941386 edges, 4666 markings/sec, 2325 secs
lola: 12573679 markings, 34013871 edges, 4647 markings/sec, 2330 secs
lola: 12597322 markings, 34087882 edges, 4729 markings/sec, 2335 secs
lola: 12621461 markings, 34163436 edges, 4828 markings/sec, 2340 secs
lola: 12645506 markings, 34239007 edges, 4809 markings/sec, 2345 secs
lola: 12669899 markings, 34314094 edges, 4879 markings/sec, 2350 secs
lola: 12693715 markings, 34389798 edges, 4763 markings/sec, 2355 secs
lola: 12717625 markings, 34464230 edges, 4782 markings/sec, 2360 secs
lola: 12741751 markings, 34540169 edges, 4825 markings/sec, 2365 secs
lola: 12766039 markings, 34615460 edges, 4858 markings/sec, 2370 secs
lola: 12790102 markings, 34691453 edges, 4813 markings/sec, 2375 secs
lola: 12814401 markings, 34766355 edges, 4860 markings/sec, 2380 secs
lola: 12838265 markings, 34840766 edges, 4773 markings/sec, 2385 secs
lola: 12862023 markings, 34915814 edges, 4752 markings/sec, 2390 secs
lola: 12886237 markings, 34991520 edges, 4843 markings/sec, 2395 secs
lola: 12910510 markings, 35067075 edges, 4855 markings/sec, 2400 secs
lola: 12934568 markings, 35142126 edges, 4812 markings/sec, 2405 secs
lola: 12958654 markings, 35217465 edges, 4817 markings/sec, 2410 secs
lola: 12982434 markings, 35291858 edges, 4756 markings/sec, 2415 secs
lola: 13005686 markings, 35364204 edges, 4650 markings/sec, 2420 secs
lola: 13028545 markings, 35437411 edges, 4572 markings/sec, 2425 secs
lola: 13051908 markings, 35510110 edges, 4673 markings/sec, 2430 secs
lola: 13075840 markings, 35585031 edges, 4786 markings/sec, 2435 secs
lola: 13099559 markings, 35659726 edges, 4744 markings/sec, 2440 secs
lola: 13123193 markings, 35732241 edges, 4727 markings/sec, 2445 secs
lola: 13146284 markings, 35804822 edges, 4618 markings/sec, 2450 secs
lola: 13169874 markings, 35878208 edges, 4718 markings/sec, 2455 secs
lola: 13193846 markings, 35953816 edges, 4794 markings/sec, 2460 secs
lola: 13218094 markings, 36029536 edges, 4850 markings/sec, 2465 secs
lola: 13242154 markings, 36104116 edges, 4812 markings/sec, 2470 secs
lola: 13266443 markings, 36180124 edges, 4858 markings/sec, 2475 secs
lola: 13290405 markings, 36255079 edges, 4792 markings/sec, 2480 secs
lola: 13314283 markings, 36329848 edges, 4776 markings/sec, 2485 secs
lola: 13338524 markings, 36405412 edges, 4848 markings/sec, 2490 secs
lola: 13362916 markings, 36482594 edges, 4878 markings/sec, 2495 secs
lola: 13387887 markings, 36559746 edges, 4994 markings/sec, 2500 secs
lola: 13412260 markings, 36635891 edges, 4875 markings/sec, 2505 secs
lola: 13436386 markings, 36711806 edges, 4825 markings/sec, 2510 secs
lola: 13460473 markings, 36787203 edges, 4817 markings/sec, 2515 secs
lola: 13484649 markings, 36862649 edges, 4835 markings/sec, 2520 secs
lola: 13508360 markings, 36937560 edges, 4742 markings/sec, 2525 secs
lola: 13532206 markings, 37011111 edges, 4769 markings/sec, 2530 secs
lola: 13555860 markings, 37085009 edges, 4731 markings/sec, 2535 secs
lola: 13580122 markings, 37160466 edges, 4852 markings/sec, 2540 secs
lola: 13604285 markings, 37236710 edges, 4833 markings/sec, 2545 secs
lola: 13629085 markings, 37314032 edges, 4960 markings/sec, 2550 secs
lola: 13653399 markings, 37389389 edges, 4863 markings/sec, 2555 secs
lola: 13677283 markings, 37464746 edges, 4777 markings/sec, 2560 secs
lola: 13701567 markings, 37540593 edges, 4857 markings/sec, 2565 secs
lola: 13725765 markings, 37616236 edges, 4840 markings/sec, 2570 secs
lola: 13749974 markings, 37691922 edges, 4842 markings/sec, 2575 secs
lola: 13774170 markings, 37767662 edges, 4839 markings/sec, 2580 secs
lola: 13798423 markings, 37842890 edges, 4851 markings/sec, 2585 secs
lola: 13822328 markings, 37917606 edges, 4781 markings/sec, 2590 secs
lola: 13846233 markings, 37992991 edges, 4781 markings/sec, 2595 secs
lola: 13870585 markings, 38068703 edges, 4870 markings/sec, 2600 secs
lola: 13894981 markings, 38144166 edges, 4879 markings/sec, 2605 secs
lola: 13919011 markings, 38219923 edges, 4806 markings/sec, 2610 secs
lola: 13943214 markings, 38295204 edges, 4841 markings/sec, 2615 secs
lola: 13967012 markings, 38369599 edges, 4760 markings/sec, 2620 secs
lola: 13990821 markings, 38444175 edges, 4762 markings/sec, 2625 secs
lola: 14014305 markings, 38518485 edges, 4697 markings/sec, 2630 secs
lola: 14037809 markings, 38592064 edges, 4701 markings/sec, 2635 secs
lola: 14061812 markings, 38667229 edges, 4801 markings/sec, 2640 secs
lola: 14085938 markings, 38741973 edges, 4825 markings/sec, 2645 secs
lola: 14110463 markings, 38818552 edges, 4905 markings/sec, 2650 secs
lola: 14133647 markings, 38890861 edges, 4637 markings/sec, 2655 secs
lola: 14156708 markings, 38963075 edges, 4612 markings/sec, 2660 secs
lola: 14180112 markings, 39036812 edges, 4681 markings/sec, 2665 secs
lola: 14203452 markings, 39110034 edges, 4668 markings/sec, 2670 secs
lola: 14227168 markings, 39182979 edges, 4743 markings/sec, 2675 secs
lola: 14250699 markings, 39256952 edges, 4706 markings/sec, 2680 secs
lola: 14273987 markings, 39329397 edges, 4658 markings/sec, 2685 secs
lola: 14296926 markings, 39401503 edges, 4588 markings/sec, 2690 secs
lola: 14320153 markings, 39473841 edges, 4645 markings/sec, 2695 secs
lola: 14344042 markings, 39549827 edges, 4778 markings/sec, 2700 secs
lola: 14368154 markings, 39625210 edges, 4822 markings/sec, 2705 secs
lola: 14392469 markings, 39700508 edges, 4863 markings/sec, 2710 secs
lola: 14416306 markings, 39775275 edges, 4767 markings/sec, 2715 secs
lola: 14440013 markings, 39849089 edges, 4741 markings/sec, 2720 secs
lola: 14464163 markings, 39924929 edges, 4830 markings/sec, 2725 secs
lola: 14488788 markings, 40001366 edges, 4925 markings/sec, 2730 secs
lola: 14513014 markings, 40077089 edges, 4845 markings/sec, 2735 secs
lola: 14537170 markings, 40152606 edges, 4831 markings/sec, 2740 secs
lola: 14561126 markings, 40227453 edges, 4791 markings/sec, 2745 secs
lola: 14585172 markings, 40303054 edges, 4809 markings/sec, 2750 secs
lola: 14609156 markings, 40377908 edges, 4797 markings/sec, 2755 secs
lola: 14633227 markings, 40452510 edges, 4814 markings/sec, 2760 secs
lola: 14657101 markings, 40527849 edges, 4775 markings/sec, 2765 secs
lola: 14681302 markings, 40603394 edges, 4840 markings/sec, 2770 secs
lola: 14705424 markings, 40678945 edges, 4824 markings/sec, 2775 secs
lola: 14729648 markings, 40754292 edges, 4845 markings/sec, 2780 secs
lola: 14753409 markings, 40829029 edges, 4752 markings/sec, 2785 secs
lola: 14776557 markings, 40901789 edges, 4630 markings/sec, 2790 secs
lola: 14800054 markings, 40973824 edges, 4699 markings/sec, 2795 secs
lola: 14823023 markings, 41046453 edges, 4594 markings/sec, 2800 secs
lola: 14846838 markings, 41120379 edges, 4763 markings/sec, 2805 secs
lola: 14870633 markings, 41194966 edges, 4759 markings/sec, 2810 secs
lola: 14894138 markings, 41268508 edges, 4701 markings/sec, 2815 secs
lola: 14917814 markings, 41342729 edges, 4735 markings/sec, 2820 secs
lola: 14941441 markings, 41415799 edges, 4725 markings/sec, 2825 secs
lola: 14964765 markings, 41488443 edges, 4665 markings/sec, 2830 secs
lola: 14987916 markings, 41562155 edges, 4630 markings/sec, 2835 secs
lola: 15012128 markings, 41637920 edges, 4842 markings/sec, 2840 secs
lola: 15035931 markings, 41712397 edges, 4761 markings/sec, 2845 secs
lola: 15059476 markings, 41785709 edges, 4709 markings/sec, 2850 secs
lola: 15082629 markings, 41858506 edges, 4631 markings/sec, 2855 secs
lola: 15106799 markings, 41932957 edges, 4834 markings/sec, 2860 secs
lola: 15131461 markings, 42010138 edges, 4932 markings/sec, 2865 secs
lola: 15155446 markings, 42085948 edges, 4797 markings/sec, 2870 secs
lola: 15179615 markings, 42160963 edges, 4834 markings/sec, 2875 secs
lola: 15204192 markings, 42237937 edges, 4915 markings/sec, 2880 secs
lola: 15228852 markings, 42314763 edges, 4932 markings/sec, 2885 secs
lola: 15253766 markings, 42392367 edges, 4983 markings/sec, 2890 secs
lola: 15278290 markings, 42469475 edges, 4905 markings/sec, 2895 secs
lola: 15303108 markings, 42546511 edges, 4964 markings/sec, 2900 secs
lola: 15327402 markings, 42624000 edges, 4859 markings/sec, 2905 secs
lola: 15351859 markings, 42699802 edges, 4891 markings/sec, 2910 secs
lola: 15375802 markings, 42774154 edges, 4789 markings/sec, 2915 secs
lola: 15399256 markings, 42847786 edges, 4691 markings/sec, 2920 secs
lola: 15422935 markings, 42921846 edges, 4736 markings/sec, 2925 secs
lola: 15446962 markings, 42997057 edges, 4805 markings/sec, 2930 secs
lola: 15470591 markings, 43070638 edges, 4726 markings/sec, 2935 secs
lola: 15494497 markings, 43146070 edges, 4781 markings/sec, 2940 secs
lola: 15518757 markings, 43221140 edges, 4852 markings/sec, 2945 secs
lola: 15542875 markings, 43296610 edges, 4824 markings/sec, 2950 secs
lola: 15567050 markings, 43372206 edges, 4835 markings/sec, 2955 secs
lola: 15591905 markings, 43449781 edges, 4971 markings/sec, 2960 secs
lola: 15616693 markings, 43527537 edges, 4958 markings/sec, 2965 secs
lola: 15640896 markings, 43605003 edges, 4841 markings/sec, 2970 secs
lola: 15665132 markings, 43679575 edges, 4847 markings/sec, 2975 secs
lola: 15688678 markings, 43753460 edges, 4709 markings/sec, 2980 secs
lola: 15712136 markings, 43826386 edges, 4692 markings/sec, 2985 secs
lola: 15735273 markings, 43899153 edges, 4627 markings/sec, 2990 secs
lola: 15758656 markings, 43971932 edges, 4677 markings/sec, 2995 secs
lola: 15782975 markings, 44047260 edges, 4864 markings/sec, 3000 secs
lola: 15806626 markings, 44121918 edges, 4730 markings/sec, 3005 secs
lola: 15831329 markings, 44199027 edges, 4941 markings/sec, 3010 secs
lola: 15855498 markings, 44274610 edges, 4834 markings/sec, 3015 secs
lola: 15879157 markings, 44348736 edges, 4732 markings/sec, 3020 secs
lola: 15903548 markings, 44424340 edges, 4878 markings/sec, 3025 secs
lola: 15927920 markings, 44500400 edges, 4874 markings/sec, 3030 secs
lola: 15951266 markings, 44573106 edges, 4669 markings/sec, 3035 secs
lola: 15974796 markings, 44648049 edges, 4706 markings/sec, 3040 secs
lola: 15998580 markings, 44722037 edges, 4757 markings/sec, 3045 secs
lola: 16021932 markings, 44795102 edges, 4670 markings/sec, 3050 secs
lola: 16045494 markings, 44868605 edges, 4712 markings/sec, 3055 secs
lola: 16069108 markings, 44941914 edges, 4723 markings/sec, 3060 secs
lola: 16092312 markings, 45014396 edges, 4641 markings/sec, 3065 secs
lola: 16115751 markings, 45087425 edges, 4688 markings/sec, 3070 secs
lola: 16139165 markings, 45161283 edges, 4683 markings/sec, 3075 secs
lola: 16162716 markings, 45235105 edges, 4710 markings/sec, 3080 secs
lola: 16186393 markings, 45309098 edges, 4735 markings/sec, 3085 secs
lola: 16210215 markings, 45383568 edges, 4764 markings/sec, 3090 secs
lola: 16234004 markings, 45457154 edges, 4758 markings/sec, 3095 secs
lola: 16257486 markings, 45530633 edges, 4696 markings/sec, 3100 secs
lola: 16281563 markings, 45605632 edges, 4815 markings/sec, 3105 secs
lola: 16304613 markings, 45678487 edges, 4610 markings/sec, 3110 secs
lola: 16328083 markings, 45752110 edges, 4694 markings/sec, 3115 secs
lola: 16351682 markings, 45825606 edges, 4720 markings/sec, 3120 secs
lola: 16374951 markings, 45898707 edges, 4654 markings/sec, 3125 secs
lola: 16398584 markings, 45971523 edges, 4727 markings/sec, 3130 secs
lola: 16422324 markings, 46045834 edges, 4748 markings/sec, 3135 secs
lola: 16445727 markings, 46118889 edges, 4681 markings/sec, 3140 secs
lola: 16469209 markings, 46193056 edges, 4696 markings/sec, 3145 secs
lola: 16493403 markings, 46268559 edges, 4839 markings/sec, 3150 secs
lola: 16517580 markings, 46343532 edges, 4835 markings/sec, 3155 secs
lola: 16541667 markings, 46418946 edges, 4817 markings/sec, 3160 secs
lola: 16565848 markings, 46494479 edges, 4836 markings/sec, 3165 secs
lola: 16589926 markings, 46569926 edges, 4816 markings/sec, 3170 secs
lola: 16613779 markings, 46644073 edges, 4771 markings/sec, 3175 secs
lola: 16637759 markings, 46720215 edges, 4796 markings/sec, 3180 secs
lola: 16661923 markings, 46795822 edges, 4833 markings/sec, 3185 secs
lola: 16686175 markings, 46870958 edges, 4850 markings/sec, 3190 secs
lola: 16710262 markings, 46946418 edges, 4817 markings/sec, 3195 secs
lola: 16734392 markings, 47021844 edges, 4826 markings/sec, 3200 secs
lola: 16758274 markings, 47096624 edges, 4776 markings/sec, 3205 secs
lola: 16782056 markings, 47170670 edges, 4756 markings/sec, 3210 secs
lola: 16806102 markings, 47246751 edges, 4809 markings/sec, 3215 secs
lola: 16830573 markings, 47322146 edges, 4894 markings/sec, 3220 secs
lola: 16854704 markings, 47397515 edges, 4826 markings/sec, 3225 secs
lola: 16878860 markings, 47473448 edges, 4831 markings/sec, 3230 secs
lola: 16902598 markings, 47547336 edges, 4748 markings/sec, 3235 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 3080496 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: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 3080496 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 1552512501853

--------------------
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="AutoFlight-PT-96b"
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 AutoFlight-PT-96b, 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 r016-csrt-155225065200236"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-96b.tgz
mv AutoFlight-PT-96b 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 ;