fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r016-qhx1-152646241200156
Last Updated
June 26, 2018

About the Execution of LoLA for AutoFlight-PT-24b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
5881.200 3591320.00 3744932.00 5670.20 1 1 1 1 1 ? 1 1 1 1 1 ? 1 1 1 ? normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...........................
/home/mcc/execution
total 708K
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 108 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 346 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 538K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is AutoFlight-PT-24b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-qhx1-152646241200156
=====================================================================


--------------------
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-24b-UpperBounds-00
FORMULA_NAME AutoFlight-PT-24b-UpperBounds-01
FORMULA_NAME AutoFlight-PT-24b-UpperBounds-02
FORMULA_NAME AutoFlight-PT-24b-UpperBounds-03
FORMULA_NAME AutoFlight-PT-24b-UpperBounds-04
FORMULA_NAME AutoFlight-PT-24b-UpperBounds-05
FORMULA_NAME AutoFlight-PT-24b-UpperBounds-06
FORMULA_NAME AutoFlight-PT-24b-UpperBounds-07
FORMULA_NAME AutoFlight-PT-24b-UpperBounds-08
FORMULA_NAME AutoFlight-PT-24b-UpperBounds-09
FORMULA_NAME AutoFlight-PT-24b-UpperBounds-10
FORMULA_NAME AutoFlight-PT-24b-UpperBounds-11
FORMULA_NAME AutoFlight-PT-24b-UpperBounds-12
FORMULA_NAME AutoFlight-PT-24b-UpperBounds-13
FORMULA_NAME AutoFlight-PT-24b-UpperBounds-14
FORMULA_NAME AutoFlight-PT-24b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1526665689330

info: Time: 3600 - MCC
===========================================================================================
prep: translating AutoFlight-PT-24b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating AutoFlight-PT-24b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ AutoFlight-PT-24b @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 4458/65536 symbol table entries, 8 collisions
lola: preprocessing...
lola: Size of bit vector: 2230
lola: finding significant places
lola: 2230 places, 2228 transitions, 2082 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2454 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-24b-UpperBounds.task
lola: MAX(p1148) : MAX(p1096) : MAX(p484) : MAX(p2116) : MAX(p1882) : MAX(p892) : MAX(p923) : MAX(p1434) : MAX(p1587) : MAX(p554) : MAX(p1119) : MAX(p1961) : MAX(p1762) : MAX(p548) : MAX(p1813) : MAX(p1893)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1148)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1148)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-24b-UpperBounds.task
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: 49 markings, 48 edges
lola: ========================================

FORMULA AutoFlight-PT-24b-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1096)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1096)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-24b-UpperBounds.task
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: 90 markings, 89 edges
lola: ========================================

FORMULA AutoFlight-PT-24b-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p484)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p484)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-24b-UpperBounds.task
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: 96 markings, 95 edges
lola: ========================================

FORMULA AutoFlight-PT-24b-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2116)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2116)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-24b-UpperBounds.task
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: 30 markings, 29 edges
lola: ========================================

FORMULA AutoFlight-PT-24b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1882)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1882)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-24b-UpperBounds.task
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: 30 markings, 29 edges
lola: ========================================

FORMULA AutoFlight-PT-24b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p892)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p892)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-24b-UpperBounds.task
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: 43514 markings, 192723 edges, 8703 markings/sec, 0 secs
lola: 88176 markings, 415526 edges, 8932 markings/sec, 5 secs
lola: 132857 markings, 638953 edges, 8936 markings/sec, 10 secs
lola: 175711 markings, 862356 edges, 8571 markings/sec, 15 secs
lola: 217991 markings, 1085488 edges, 8456 markings/sec, 20 secs
lola: 262538 markings, 1308070 edges, 8909 markings/sec, 25 secs
lola: 301580 markings, 1534623 edges, 7808 markings/sec, 30 secs
lola: 339429 markings, 1761814 edges, 7570 markings/sec, 35 secs
lola: 376941 markings, 1986932 edges, 7502 markings/sec, 40 secs
lola: 414297 markings, 2212681 edges, 7471 markings/sec, 45 secs
lola: 448927 markings, 2439480 edges, 6926 markings/sec, 50 secs
lola: 486673 markings, 2665947 edges, 7549 markings/sec, 55 secs
lola: 527479 markings, 2890172 edges, 8161 markings/sec, 60 secs
lola: 565297 markings, 3117093 edges, 7564 markings/sec, 65 secs
lola: 602905 markings, 3343431 edges, 7522 markings/sec, 70 secs
lola: 640151 markings, 3567833 edges, 7449 markings/sec, 75 secs
lola: 676023 markings, 3793269 edges, 7174 markings/sec, 80 secs
lola: 711970 markings, 4017721 edges, 7189 markings/sec, 85 secs
lola: 750004 markings, 4243075 edges, 7607 markings/sec, 90 secs
lola: 789970 markings, 4465521 edges, 7993 markings/sec, 95 secs
lola: 827336 markings, 4690926 edges, 7473 markings/sec, 100 secs
lola: 865230 markings, 4917099 edges, 7579 markings/sec, 105 secs
lola: 902732 markings, 5141655 edges, 7500 markings/sec, 110 secs
lola: 937171 markings, 5369076 edges, 6888 markings/sec, 115 secs
lola: 974434 markings, 5594245 edges, 7453 markings/sec, 120 secs
lola: 1014666 markings, 5817105 edges, 8046 markings/sec, 125 secs
lola: 1052628 markings, 6042410 edges, 7592 markings/sec, 130 secs
lola: 1090502 markings, 6268213 edges, 7575 markings/sec, 135 secs
lola: 1128262 markings, 6494747 edges, 7552 markings/sec, 140 secs
lola: 1165389 markings, 6721092 edges, 7425 markings/sec, 145 secs
lola: 1200159 markings, 6948583 edges, 6954 markings/sec, 150 secs
lola: 1237962 markings, 7173800 edges, 7561 markings/sec, 155 secs
lola: 1278652 markings, 7397084 edges, 8138 markings/sec, 160 secs
lola: 1316050 markings, 7621460 edges, 7480 markings/sec, 165 secs
lola: 1353791 markings, 7847958 edges, 7548 markings/sec, 170 secs
lola: 1391441 markings, 8074224 edges, 7530 markings/sec, 175 secs
lola: 1426462 markings, 8301383 edges, 7004 markings/sec, 180 secs
lola: 1463593 markings, 8527451 edges, 7426 markings/sec, 185 secs
lola: 1502481 markings, 8751946 edges, 7778 markings/sec, 190 secs
lola: 1541860 markings, 8976468 edges, 7876 markings/sec, 195 secs
lola: 1579514 markings, 9202246 edges, 7531 markings/sec, 200 secs
lola: 1616816 markings, 9427776 edges, 7460 markings/sec, 205 secs
lola: 1654317 markings, 9652906 edges, 7500 markings/sec, 210 secs
lola: 1688760 markings, 9878620 edges, 6889 markings/sec, 215 secs
lola: 1726256 markings, 10103434 edges, 7499 markings/sec, 220 secs
lola: 1767067 markings, 10327554 edges, 8162 markings/sec, 225 secs
lola: 1804331 markings, 10553031 edges, 7453 markings/sec, 230 secs
lola: 1841726 markings, 10777262 edges, 7479 markings/sec, 235 secs
lola: 1879371 markings, 11001391 edges, 7529 markings/sec, 240 secs
lola: 1915571 markings, 11225796 edges, 7240 markings/sec, 245 secs
lola: 1950846 markings, 11451727 edges, 7055 markings/sec, 250 secs
lola: 1988409 markings, 11678100 edges, 7513 markings/sec, 255 secs
lola: 2024444 markings, 11904941 edges, 7207 markings/sec, 260 secs
lola: 2056976 markings, 12132835 edges, 6506 markings/sec, 265 secs
lola: 2089491 markings, 12361845 edges, 6503 markings/sec, 270 secs
lola: 2122195 markings, 12589336 edges, 6541 markings/sec, 275 secs
lola: 2154335 markings, 12815937 edges, 6428 markings/sec, 280 secs
lola: 2183496 markings, 13039057 edges, 5832 markings/sec, 285 secs
lola: 2214937 markings, 13260906 edges, 6288 markings/sec, 290 secs
lola: 2250504 markings, 13487567 edges, 7113 markings/sec, 295 secs
lola: 2289900 markings, 13713555 edges, 7879 markings/sec, 300 secs
lola: 2327651 markings, 13939912 edges, 7550 markings/sec, 305 secs
lola: 2364939 markings, 14164992 edges, 7458 markings/sec, 310 secs
lola: 2402432 markings, 14390488 edges, 7499 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 461440 KB
lola: time consumption: 329 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 463612 KB
lola: time consumption: 330 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p923)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p923)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-24b-UpperBounds.task
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: 64 markings, 63 edges

FORMULA AutoFlight-PT-24b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1434)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1434)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-24b-UpperBounds.task
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: 13 markings, 12 edges
lola: ========================================

FORMULA AutoFlight-PT-24b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 402 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1587)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1587)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-24b-UpperBounds.task
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: 404 markings, 403 edges

FORMULA AutoFlight-PT-24b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 460 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p554)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p554)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-24b-UpperBounds.task
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: 283 markings, 282 edges

FORMULA AutoFlight-PT-24b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 536 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1119)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-24b-UpperBounds.task
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: 49 markings, 48 edges
lola: ========================================

FORMULA AutoFlight-PT-24b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 643 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1961)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1961)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-24b-UpperBounds.task
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: 93835 markings, 180459 edges, 18767 markings/sec, 0 secs
lola: 196778 markings, 382139 edges, 20589 markings/sec, 5 secs
lola: 285259 markings, 580883 edges, 17696 markings/sec, 10 secs
lola: 373191 markings, 788732 edges, 17586 markings/sec, 15 secs
lola: 456451 markings, 998345 edges, 16652 markings/sec, 20 secs
lola: 537156 markings, 1207869 edges, 16141 markings/sec, 25 secs
lola: 617082 markings, 1419596 edges, 15985 markings/sec, 30 secs
lola: 695832 markings, 1629835 edges, 15750 markings/sec, 35 secs
lola: 772559 markings, 1838155 edges, 15345 markings/sec, 40 secs
lola: 847059 markings, 2048283 edges, 14900 markings/sec, 45 secs
lola: 922302 markings, 2257357 edges, 15049 markings/sec, 50 secs
lola: 998199 markings, 2465186 edges, 15179 markings/sec, 55 secs
lola: 1070383 markings, 2674313 edges, 14437 markings/sec, 60 secs
lola: 1143760 markings, 2883058 edges, 14675 markings/sec, 65 secs
lola: 1216707 markings, 3092817 edges, 14589 markings/sec, 70 secs
lola: 1292354 markings, 3303159 edges, 15129 markings/sec, 75 secs
lola: 1365859 markings, 3513084 edges, 14701 markings/sec, 80 secs
lola: 1438187 markings, 3717588 edges, 14466 markings/sec, 85 secs
lola: 1510508 markings, 3928865 edges, 14464 markings/sec, 90 secs
lola: 1599346 markings, 4135703 edges, 17768 markings/sec, 95 secs
lola: 1688804 markings, 4343100 edges, 17892 markings/sec, 100 secs
lola: 1775010 markings, 4550920 edges, 17241 markings/sec, 105 secs
lola: 1855234 markings, 4761485 edges, 16045 markings/sec, 110 secs
lola: 1936399 markings, 4971495 edges, 16233 markings/sec, 115 secs
lola: 2015515 markings, 5182089 edges, 15823 markings/sec, 120 secs
lola: 2093271 markings, 5392735 edges, 15551 markings/sec, 125 secs
lola: 2170638 markings, 5602974 edges, 15473 markings/sec, 130 secs
lola: 2247974 markings, 5813975 edges, 15467 markings/sec, 135 secs
lola: 2323439 markings, 6025593 edges, 15093 markings/sec, 140 secs
lola: 2398553 markings, 6236335 edges, 15023 markings/sec, 145 secs
lola: 2475671 markings, 6445954 edges, 15424 markings/sec, 150 secs
lola: 2550916 markings, 6657505 edges, 15049 markings/sec, 155 secs
lola: 2625359 markings, 6867816 edges, 14889 markings/sec, 160 secs
lola: 2698109 markings, 7079456 edges, 14550 markings/sec, 165 secs
lola: 2772631 markings, 7290438 edges, 14904 markings/sec, 170 secs
lola: 2846166 markings, 7500575 edges, 14707 markings/sec, 175 secs
lola: 2919866 markings, 7711839 edges, 14740 markings/sec, 180 secs
lola: 2991867 markings, 7918928 edges, 14400 markings/sec, 185 secs
lola: 3063734 markings, 8122581 edges, 14373 markings/sec, 190 secs
lola: 3136139 markings, 8332829 edges, 14481 markings/sec, 195 secs
lola: 3209398 markings, 8542524 edges, 14652 markings/sec, 200 secs
lola: 3286723 markings, 8751450 edges, 15465 markings/sec, 205 secs
lola: 3379082 markings, 8957240 edges, 18472 markings/sec, 210 secs
lola: 3466226 markings, 9165723 edges, 17429 markings/sec, 215 secs
lola: 3550676 markings, 9375052 edges, 16890 markings/sec, 220 secs
lola: 3630812 markings, 9585444 edges, 16027 markings/sec, 225 secs
lola: 3710935 markings, 9795706 edges, 16025 markings/sec, 230 secs
lola: 3788861 markings, 10006547 edges, 15585 markings/sec, 235 secs
lola: 3865312 markings, 10218060 edges, 15290 markings/sec, 240 secs
lola: 3941776 markings, 10428654 edges, 15293 markings/sec, 245 secs
lola: 4019247 markings, 10638451 edges, 15494 markings/sec, 250 secs
lola: 4093574 markings, 10849611 edges, 14865 markings/sec, 255 secs
lola: 4168891 markings, 11058483 edges, 15063 markings/sec, 260 secs
lola: 4243210 markings, 11267793 edges, 14864 markings/sec, 265 secs
lola: 4315702 markings, 11478197 edges, 14498 markings/sec, 270 secs
lola: 4388648 markings, 11687879 edges, 14589 markings/sec, 275 secs
lola: 4462668 markings, 11898338 edges, 14804 markings/sec, 280 secs
lola: 4536910 markings, 12107072 edges, 14848 markings/sec, 285 secs
lola: 4610616 markings, 12316165 edges, 14741 markings/sec, 290 secs
lola: 4682772 markings, 12526707 edges, 14431 markings/sec, 295 secs
lola: 4757469 markings, 12737308 edges, 14939 markings/sec, 300 secs
lola: 4830254 markings, 12947024 edges, 14557 markings/sec, 305 secs
lola: 4903336 markings, 13153376 edges, 14616 markings/sec, 310 secs
lola: 4976080 markings, 13364039 edges, 14549 markings/sec, 315 secs
lola: 5048705 markings, 13574603 edges, 14525 markings/sec, 320 secs
lola: 5121190 markings, 13785370 edges, 14497 markings/sec, 325 secs
lola: 5193000 markings, 13994847 edges, 14362 markings/sec, 330 secs
lola: 5261603 markings, 14195964 edges, 13721 markings/sec, 335 secs
lola: 5329441 markings, 14395891 edges, 13568 markings/sec, 340 secs
lola: 5400422 markings, 14605897 edges, 14196 markings/sec, 345 secs
lola: 5470111 markings, 14818703 edges, 13938 markings/sec, 350 secs
lola: 5540483 markings, 15029194 edges, 14074 markings/sec, 355 secs
lola: 5609907 markings, 15241149 edges, 13885 markings/sec, 360 secs
lola: 5681540 markings, 15453083 edges, 14327 markings/sec, 365 secs
lola: 5773823 markings, 15660052 edges, 18457 markings/sec, 370 secs
lola: 5862674 markings, 15867040 edges, 17770 markings/sec, 375 secs
lola: 5946521 markings, 16073268 edges, 16769 markings/sec, 380 secs
lola: 6028154 markings, 16281916 edges, 16327 markings/sec, 385 secs
lola: 6106092 markings, 16491000 edges, 15588 markings/sec, 390 secs
lola: 6184810 markings, 16699464 edges, 15744 markings/sec, 395 secs
lola: 6280022 markings, 16906170 edges, 19042 markings/sec, 400 secs
lola: 6367214 markings, 17115537 edges, 17438 markings/sec, 405 secs
lola: 6451259 markings, 17324643 edges, 16809 markings/sec, 410 secs
lola: 6530514 markings, 17535818 edges, 15851 markings/sec, 415 secs
lola: 6608546 markings, 17742081 edges, 15606 markings/sec, 420 secs
lola: 6688382 markings, 17948764 edges, 15967 markings/sec, 425 secs
lola: 6764408 markings, 18158272 edges, 15205 markings/sec, 430 secs
lola: 6840078 markings, 18366610 edges, 15134 markings/sec, 435 secs
lola: 6915751 markings, 18575452 edges, 15135 markings/sec, 440 secs
lola: 6991664 markings, 18785342 edges, 15183 markings/sec, 445 secs
lola: 7067513 markings, 18996059 edges, 15170 markings/sec, 450 secs
lola: 7141810 markings, 19206720 edges, 14859 markings/sec, 455 secs
lola: 7216187 markings, 19416770 edges, 14875 markings/sec, 460 secs
lola: 7309453 markings, 19623388 edges, 18653 markings/sec, 465 secs
lola: 7398910 markings, 19831668 edges, 17891 markings/sec, 470 secs
lola: 7483634 markings, 20040318 edges, 16945 markings/sec, 475 secs
lola: 7562676 markings, 20250418 edges, 15808 markings/sec, 480 secs
lola: 7642413 markings, 20460000 edges, 15947 markings/sec, 485 secs
lola: 7722046 markings, 20668883 edges, 15927 markings/sec, 490 secs
lola: 7800027 markings, 20879914 edges, 15596 markings/sec, 495 secs
lola: 7876779 markings, 21090412 edges, 15350 markings/sec, 500 secs
lola: 7953439 markings, 21301230 edges, 15332 markings/sec, 505 secs
lola: 8026999 markings, 21513159 edges, 14712 markings/sec, 510 secs
lola: 8099903 markings, 21724487 edges, 14581 markings/sec, 515 secs
lola: 8175787 markings, 21933491 edges, 15177 markings/sec, 520 secs
lola: 8249395 markings, 22144196 edges, 14722 markings/sec, 525 secs
lola: 8323500 markings, 22354201 edges, 14821 markings/sec, 530 secs
lola: 8398466 markings, 22562516 edges, 14993 markings/sec, 535 secs
lola: 8472617 markings, 22772217 edges, 14830 markings/sec, 540 secs
lola: 8545973 markings, 22980342 edges, 14671 markings/sec, 545 secs
lola: 8620692 markings, 23189464 edges, 14944 markings/sec, 550 secs
lola: 8695722 markings, 23398800 edges, 15006 markings/sec, 555 secs
lola: 8768694 markings, 23609054 edges, 14594 markings/sec, 560 secs
lola: 8840223 markings, 23819528 edges, 14306 markings/sec, 565 secs
lola: 8913570 markings, 24029437 edges, 14669 markings/sec, 570 secs
lola: 8984814 markings, 24240587 edges, 14249 markings/sec, 575 secs
lola: 9055203 markings, 24450259 edges, 14078 markings/sec, 580 secs
lola: 9126220 markings, 24659060 edges, 14203 markings/sec, 585 secs
lola: 9196987 markings, 24866306 edges, 14153 markings/sec, 590 secs
lola: 9266201 markings, 25075626 edges, 13843 markings/sec, 595 secs
lola: 9337027 markings, 25284756 edges, 14165 markings/sec, 600 secs
lola: 9406913 markings, 25495810 edges, 13977 markings/sec, 605 secs
lola: 9478594 markings, 25708298 edges, 14336 markings/sec, 610 secs
lola: 9549228 markings, 25919121 edges, 14127 markings/sec, 615 secs
lola: 9619509 markings, 26126902 edges, 14056 markings/sec, 620 secs
lola: 9709203 markings, 26332981 edges, 17939 markings/sec, 625 secs
lola: 9798382 markings, 26537556 edges, 17836 markings/sec, 630 secs
lola: 9881897 markings, 26745955 edges, 16703 markings/sec, 635 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown unknown
lola: memory consumption: 1625116 KB
lola: time consumption: 995 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 unknown 1 1 1 1 1 unknown unknown unknown unknown unknown
lola: memory consumption: 1631692 KB
lola: time consumption: 997 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 638 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1762)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1762)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-24b-UpperBounds.task
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: 367 markings, 366 edges

FORMULA AutoFlight-PT-24b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 851 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p548)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p548)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-24b-UpperBounds.task
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: 95 markings, 94 edges
lola: ========================================

FORMULA AutoFlight-PT-24b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1813)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1813)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-24b-UpperBounds.task
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: 35 markings, 34 edges
lola: ========================================

FORMULA AutoFlight-PT-24b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2554 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1893)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1893)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-24b-UpperBounds.task
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: 93057 markings, 178535 edges, 18611 markings/sec, 0 secs
lola: 195888 markings, 380196 edges, 20566 markings/sec, 5 secs
lola: 287428 markings, 586033 edges, 18308 markings/sec, 10 secs
lola: 374695 markings, 792228 edges, 17453 markings/sec, 15 secs
lola: 457594 markings, 1001564 edges, 16580 markings/sec, 20 secs
lola: 537976 markings, 1210289 edges, 16076 markings/sec, 25 secs
lola: 617238 markings, 1420258 edges, 15852 markings/sec, 30 secs
lola: 695507 markings, 1628815 edges, 15654 markings/sec, 35 secs
lola: 772619 markings, 1838412 edges, 15422 markings/sec, 40 secs
lola: 847043 markings, 2048236 edges, 14885 markings/sec, 45 secs
lola: 922078 markings, 2256852 edges, 15007 markings/sec, 50 secs
lola: 995373 markings, 2458068 edges, 14659 markings/sec, 55 secs
lola: 1067734 markings, 2666843 edges, 14472 markings/sec, 60 secs
lola: 1141146 markings, 2875511 edges, 14682 markings/sec, 65 secs
lola: 1214373 markings, 3085970 edges, 14645 markings/sec, 70 secs
lola: 1289136 markings, 3294261 edges, 14953 markings/sec, 75 secs
lola: 1362301 markings, 3502722 edges, 14633 markings/sec, 80 secs
lola: 1435930 markings, 3711183 edges, 14726 markings/sec, 85 secs
lola: 1508508 markings, 3922387 edges, 14516 markings/sec, 90 secs
lola: 1596899 markings, 4129923 edges, 17678 markings/sec, 95 secs
lola: 1686410 markings, 4337403 edges, 17902 markings/sec, 100 secs
lola: 1772567 markings, 4544717 edges, 17231 markings/sec, 105 secs
lola: 1852504 markings, 4754690 edges, 15987 markings/sec, 110 secs
lola: 1933463 markings, 4963126 edges, 16192 markings/sec, 115 secs
lola: 2011994 markings, 5172443 edges, 15706 markings/sec, 120 secs
lola: 2088828 markings, 5380509 edges, 15367 markings/sec, 125 secs
lola: 2164291 markings, 5586172 edges, 15093 markings/sec, 130 secs
lola: 2239205 markings, 5790895 edges, 14983 markings/sec, 135 secs
lola: 2312883 markings, 5996409 edges, 14736 markings/sec, 140 secs
lola: 2387632 markings, 6204733 edges, 14950 markings/sec, 145 secs
lola: 2462824 markings, 6411416 edges, 15038 markings/sec, 150 secs
lola: 2536799 markings, 6617586 edges, 14795 markings/sec, 155 secs
lola: 2609970 markings, 6824504 edges, 14634 markings/sec, 160 secs
lola: 2681229 markings, 7031377 edges, 14252 markings/sec, 165 secs
lola: 2754590 markings, 7239396 edges, 14672 markings/sec, 170 secs
lola: 2827134 markings, 7445984 edges, 14509 markings/sec, 175 secs
lola: 2898711 markings, 7651514 edges, 14315 markings/sec, 180 secs
lola: 2971103 markings, 7856680 edges, 14478 markings/sec, 185 secs
lola: 3041735 markings, 8061782 edges, 14126 markings/sec, 190 secs
lola: 3112859 markings, 8263883 edges, 14225 markings/sec, 195 secs
lola: 3183383 markings, 8467876 edges, 14105 markings/sec, 200 secs
lola: 3253250 markings, 8670832 edges, 13973 markings/sec, 205 secs
lola: 3340008 markings, 8869634 edges, 17352 markings/sec, 210 secs
lola: 3427602 markings, 9070242 edges, 17519 markings/sec, 215 secs
lola: 3509215 markings, 9269999 edges, 16323 markings/sec, 220 secs
lola: 3589414 markings, 9474709 edges, 16040 markings/sec, 225 secs
lola: 3667800 markings, 9683375 edges, 15677 markings/sec, 230 secs
lola: 3747422 markings, 9892001 edges, 15924 markings/sec, 235 secs
lola: 3822374 markings, 10102347 edges, 14990 markings/sec, 240 secs
lola: 3900112 markings, 10310692 edges, 15548 markings/sec, 245 secs
lola: 3975346 markings, 10520798 edges, 15047 markings/sec, 250 secs
lola: 4051623 markings, 10730763 edges, 15255 markings/sec, 255 secs
lola: 4126839 markings, 10940001 edges, 15043 markings/sec, 260 secs
lola: 4201358 markings, 11150235 edges, 14904 markings/sec, 265 secs
lola: 4274994 markings, 11360302 edges, 14727 markings/sec, 270 secs
lola: 4347718 markings, 11571494 edges, 14545 markings/sec, 275 secs
lola: 4422170 markings, 11782013 edges, 14890 markings/sec, 280 secs
lola: 4495876 markings, 11992526 edges, 14741 markings/sec, 285 secs
lola: 4569651 markings, 12200710 edges, 14755 markings/sec, 290 secs
lola: 4642867 markings, 12410928 edges, 14643 markings/sec, 295 secs
lola: 4715947 markings, 12621064 edges, 14616 markings/sec, 300 secs
lola: 4790136 markings, 12829712 edges, 14838 markings/sec, 305 secs
lola: 4863285 markings, 13038079 edges, 14630 markings/sec, 310 secs
lola: 4935315 markings, 13245677 edges, 14406 markings/sec, 315 secs
lola: 5006190 markings, 13452828 edges, 14175 markings/sec, 320 secs
lola: 5078101 markings, 13660140 edges, 14382 markings/sec, 325 secs
lola: 5148698 markings, 13867459 edges, 14119 markings/sec, 330 secs
lola: 5221193 markings, 14076130 edges, 14499 markings/sec, 335 secs
lola: 5291455 markings, 14285073 edges, 14052 markings/sec, 340 secs
lola: 5362612 markings, 14493247 edges, 14231 markings/sec, 345 secs
lola: 5432629 markings, 14704051 edges, 14003 markings/sec, 350 secs
lola: 5502442 markings, 14915032 edges, 13963 markings/sec, 355 secs
lola: 5572056 markings, 15126417 edges, 13923 markings/sec, 360 secs
lola: 5642030 markings, 15336558 edges, 13995 markings/sec, 365 secs
lola: 5723086 markings, 15544960 edges, 16211 markings/sec, 370 secs
lola: 5813567 markings, 15750816 edges, 18096 markings/sec, 375 secs
lola: 5900318 markings, 15957304 edges, 17350 markings/sec, 380 secs
lola: 5982260 markings, 16163845 edges, 16388 markings/sec, 385 secs
lola: 6061593 markings, 16371996 edges, 15867 markings/sec, 390 secs
lola: 6139873 markings, 16579191 edges, 15656 markings/sec, 395 secs
lola: 6225496 markings, 16785128 edges, 17125 markings/sec, 400 secs
lola: 6315368 markings, 16991786 edges, 17974 markings/sec, 405 secs
lola: 6401510 markings, 17199756 edges, 17228 markings/sec, 410 secs
lola: 6483339 markings, 17409313 edges, 16366 markings/sec, 415 secs
lola: 6563002 markings, 17619714 edges, 15933 markings/sec, 420 secs
lola: 6643172 markings, 17829936 edges, 16034 markings/sec, 425 secs
lola: 6722189 markings, 18040454 edges, 15803 markings/sec, 430 secs
lola: 6798995 markings, 18251274 edges, 15361 markings/sec, 435 secs
lola: 6874957 markings, 18462417 edges, 15192 markings/sec, 440 secs
lola: 6950691 markings, 18673375 edges, 15147 markings/sec, 445 secs
lola: 7027719 markings, 18883522 edges, 15406 markings/sec, 450 secs
lola: 7102662 markings, 19094739 edges, 14989 markings/sec, 455 secs
lola: 7176010 markings, 19305593 edges, 14670 markings/sec, 460 secs
lola: 7259721 markings, 19511245 edges, 16742 markings/sec, 465 secs
lola: 7349530 markings, 19715502 edges, 17962 markings/sec, 470 secs
lola: 7437472 markings, 19922545 edges, 17588 markings/sec, 475 secs
lola: 7518819 markings, 20131785 edges, 16269 markings/sec, 480 secs
lola: 7598244 markings, 20341604 edges, 15885 markings/sec, 485 secs
lola: 7676947 markings, 20551568 edges, 15741 markings/sec, 490 secs
lola: 7755783 markings, 20759382 edges, 15767 markings/sec, 495 secs
lola: 7832819 markings, 20969337 edges, 15407 markings/sec, 500 secs
lola: 7908897 markings, 21178908 edges, 15216 markings/sec, 505 secs
lola: 7984342 markings, 21389092 edges, 15089 markings/sec, 510 secs
lola: 8057366 markings, 21599956 edges, 14605 markings/sec, 515 secs
lola: 8130659 markings, 21810402 edges, 14659 markings/sec, 520 secs
lola: 8205822 markings, 22018848 edges, 15033 markings/sec, 525 secs
lola: 8279366 markings, 22228908 edges, 14709 markings/sec, 530 secs
lola: 8353650 markings, 22439116 edges, 14857 markings/sec, 535 secs
lola: 8429545 markings, 22648107 edges, 15179 markings/sec, 540 secs
lola: 8502513 markings, 22857584 edges, 14594 markings/sec, 545 secs
lola: 8577218 markings, 23065805 edges, 14941 markings/sec, 550 secs
lola: 8651125 markings, 23274295 edges, 14781 markings/sec, 555 secs
lola: 8724475 markings, 23482951 edges, 14670 markings/sec, 560 secs
lola: 8797631 markings, 23691205 edges, 14631 markings/sec, 565 secs
lola: 8869107 markings, 23902571 edges, 14295 markings/sec, 570 secs
lola: 8940713 markings, 24110257 edges, 14321 markings/sec, 575 secs
lola: 9011124 markings, 24320438 edges, 14082 markings/sec, 580 secs
lola: 9082418 markings, 24530372 edges, 14259 markings/sec, 585 secs
lola: 9154478 markings, 24740078 edges, 14412 markings/sec, 590 secs
lola: 9224785 markings, 24950701 edges, 14061 markings/sec, 595 secs
lola: 9294475 markings, 25162030 edges, 13938 markings/sec, 600 secs
lola: 9365357 markings, 25372327 edges, 14176 markings/sec, 605 secs
lola: 9436738 markings, 25582820 edges, 14276 markings/sec, 610 secs
lola: 9507661 markings, 25793933 edges, 14185 markings/sec, 615 secs
lola: 9577848 markings, 26003138 edges, 14037 markings/sec, 620 secs
lola: 9656730 markings, 26212571 edges, 15776 markings/sec, 625 secs
lola: 9747058 markings, 26420863 edges, 18066 markings/sec, 630 secs
lola: 9835112 markings, 26625129 edges, 17611 markings/sec, 635 secs
lola: 9917623 markings, 26834180 edges, 16502 markings/sec, 640 secs
lola: 9998964 markings, 27043227 edges, 16268 markings/sec, 645 secs
lola: 10078002 markings, 27252940 edges, 15808 markings/sec, 650 secs
lola: 10157084 markings, 27462476 edges, 15816 markings/sec, 655 secs
lola: 10234139 markings, 27672222 edges, 15411 markings/sec, 660 secs
lola: 10310034 markings, 27882624 edges, 15179 markings/sec, 665 secs
lola: 10385245 markings, 28093238 edges, 15042 markings/sec, 670 secs
lola: 10460539 markings, 28303809 edges, 15059 markings/sec, 675 secs
lola: 10535145 markings, 28514045 edges, 14921 markings/sec, 680 secs
lola: 10610000 markings, 28724437 edges, 14971 markings/sec, 685 secs
lola: 10684558 markings, 28934909 edges, 14912 markings/sec, 690 secs
lola: 10759574 markings, 29145658 edges, 15003 markings/sec, 695 secs
lola: 10833710 markings, 29355852 edges, 14827 markings/sec, 700 secs
lola: 10906788 markings, 29565713 edges, 14616 markings/sec, 705 secs
lola: 10979996 markings, 29775720 edges, 14642 markings/sec, 710 secs
lola: 11055458 markings, 29985161 edges, 15092 markings/sec, 715 secs
lola: 11126168 markings, 30196943 edges, 14142 markings/sec, 720 secs
lola: 11199628 markings, 30407675 edges, 14692 markings/sec, 725 secs
lola: 11271136 markings, 30619286 edges, 14302 markings/sec, 730 secs
lola: 11344362 markings, 30829017 edges, 14645 markings/sec, 735 secs
lola: 11412750 markings, 31031486 edges, 13678 markings/sec, 740 secs
lola: 11482559 markings, 31240611 edges, 13962 markings/sec, 745 secs
lola: 11551637 markings, 31438943 edges, 13816 markings/sec, 750 secs
lola: 11620250 markings, 31641907 edges, 13723 markings/sec, 755 secs
lola: 11687214 markings, 31843537 edges, 13393 markings/sec, 760 secs
lola: 11757223 markings, 32051049 edges, 14002 markings/sec, 765 secs
lola: 11828916 markings, 32261087 edges, 14339 markings/sec, 770 secs
lola: 11898670 markings, 32471381 edges, 13951 markings/sec, 775 secs
lola: 11969822 markings, 32680862 edges, 14230 markings/sec, 780 secs
lola: 12036860 markings, 32891292 edges, 13408 markings/sec, 785 secs
lola: 12127670 markings, 33098227 edges, 18162 markings/sec, 790 secs
lola: 12216570 markings, 33304633 edges, 17780 markings/sec, 795 secs
lola: 12299704 markings, 33509822 edges, 16627 markings/sec, 800 secs
lola: 12382063 markings, 33714136 edges, 16472 markings/sec, 805 secs
lola: 12460583 markings, 33924496 edges, 15704 markings/sec, 810 secs
lola: 12539857 markings, 34134244 edges, 15855 markings/sec, 815 secs
lola: 12627063 markings, 34342780 edges, 17441 markings/sec, 820 secs
lola: 12717863 markings, 34550087 edges, 18160 markings/sec, 825 secs
lola: 12803172 markings, 34758520 edges, 17062 markings/sec, 830 secs
lola: 12887028 markings, 34966341 edges, 16771 markings/sec, 835 secs
lola: 12966845 markings, 35175693 edges, 15963 markings/sec, 840 secs
lola: 13047050 markings, 35384886 edges, 16041 markings/sec, 845 secs
lola: 13124591 markings, 35594632 edges, 15508 markings/sec, 850 secs
lola: 13201021 markings, 35804883 edges, 15286 markings/sec, 855 secs
lola: 13278542 markings, 36014635 edges, 15504 markings/sec, 860 secs
lola: 13353664 markings, 36224528 edges, 15024 markings/sec, 865 secs
lola: 13429400 markings, 36433323 edges, 15147 markings/sec, 870 secs
lola: 13504336 markings, 36642520 edges, 14987 markings/sec, 875 secs
lola: 13579872 markings, 36852255 edges, 15107 markings/sec, 880 secs
lola: 13651760 markings, 37063276 edges, 14378 markings/sec, 885 secs
lola: 13725087 markings, 37273554 edges, 14665 markings/sec, 890 secs
lola: 13798833 markings, 37483735 edges, 14749 markings/sec, 895 secs
lola: 13872535 markings, 37693483 edges, 14740 markings/sec, 900 secs
lola: 13945548 markings, 37903614 edges, 14603 markings/sec, 905 secs
lola: 14015286 markings, 38101483 edges, 13948 markings/sec, 910 secs
lola: 14084175 markings, 38298094 edges, 13778 markings/sec, 915 secs
lola: 14156127 markings, 38504062 edges, 14390 markings/sec, 920 secs
lola: 14228469 markings, 38707569 edges, 14468 markings/sec, 925 secs
lola: 14298246 markings, 38916132 edges, 13955 markings/sec, 930 secs
lola: 14369536 markings, 39125626 edges, 14258 markings/sec, 935 secs
lola: 14440028 markings, 39335539 edges, 14098 markings/sec, 940 secs
lola: 14511827 markings, 39546230 edges, 14360 markings/sec, 945 secs
lola: 14587729 markings, 39758317 edges, 15180 markings/sec, 950 secs
lola: 14660389 markings, 39969219 edges, 14532 markings/sec, 955 secs
lola: 14731215 markings, 40179809 edges, 14165 markings/sec, 960 secs
lola: 14800399 markings, 40389523 edges, 13837 markings/sec, 965 secs
lola: 14874866 markings, 40597743 edges, 14893 markings/sec, 970 secs
lola: 14944177 markings, 40807854 edges, 13862 markings/sec, 975 secs
lola: 15014575 markings, 41017531 edges, 14080 markings/sec, 980 secs
lola: 15084762 markings, 41228022 edges, 14037 markings/sec, 985 secs
lola: 15152574 markings, 41439914 edges, 13562 markings/sec, 990 secs
lola: 15221760 markings, 41649080 edges, 13837 markings/sec, 995 secs
lola: 15291569 markings, 41860711 edges, 13962 markings/sec, 1000 secs
lola: 15360030 markings, 42073629 edges, 13692 markings/sec, 1005 secs
lola: 15428981 markings, 42285815 edges, 13790 markings/sec, 1010 secs
lola: 15496649 markings, 42498339 edges, 13534 markings/sec, 1015 secs
lola: 15565066 markings, 42707329 edges, 13683 markings/sec, 1020 secs
lola: 15634317 markings, 42918948 edges, 13850 markings/sec, 1025 secs
lola: 15702163 markings, 43128679 edges, 13569 markings/sec, 1030 secs
lola: 15767971 markings, 43337205 edges, 13162 markings/sec, 1035 secs
lola: 15835368 markings, 43549610 edges, 13479 markings/sec, 1040 secs
lola: 15911363 markings, 43757944 edges, 15199 markings/sec, 1045 secs
lola: 15980432 markings, 43968012 edges, 13814 markings/sec, 1050 secs
lola: 16048427 markings, 44178475 edges, 13599 markings/sec, 1055 secs
lola: 16114974 markings, 44390765 edges, 13309 markings/sec, 1060 secs
lola: 16184071 markings, 44599494 edges, 13819 markings/sec, 1065 secs
lola: 16251804 markings, 44810498 edges, 13547 markings/sec, 1070 secs
lola: 16320391 markings, 45021117 edges, 13717 markings/sec, 1075 secs
lola: 16389459 markings, 45233209 edges, 13814 markings/sec, 1080 secs
lola: 16461711 markings, 45445964 edges, 14450 markings/sec, 1085 secs
lola: 16531950 markings, 45661323 edges, 14048 markings/sec, 1090 secs
lola: 16601825 markings, 45873891 edges, 13975 markings/sec, 1095 secs
lola: 16668246 markings, 46085535 edges, 13284 markings/sec, 1100 secs
lola: 16738398 markings, 46296503 edges, 14030 markings/sec, 1105 secs
lola: 16806218 markings, 46505571 edges, 13564 markings/sec, 1110 secs
lola: 16876409 markings, 46713336 edges, 14038 markings/sec, 1115 secs
lola: 16945300 markings, 46922683 edges, 13778 markings/sec, 1120 secs
lola: 17015068 markings, 47135328 edges, 13954 markings/sec, 1125 secs
lola: 17086248 markings, 47346767 edges, 14236 markings/sec, 1130 secs
lola: 17156638 markings, 47558434 edges, 14078 markings/sec, 1135 secs
lola: 17228779 markings, 47769219 edges, 14428 markings/sec, 1140 secs
lola: 17301708 markings, 47979608 edges, 14586 markings/sec, 1145 secs
lola: 17376868 markings, 48190030 edges, 15032 markings/sec, 1150 secs
lola: 17448420 markings, 48397329 edges, 14310 markings/sec, 1155 secs
lola: 17520551 markings, 48602734 edges, 14426 markings/sec, 1160 secs
lola: 17591510 markings, 48809997 edges, 14192 markings/sec, 1165 secs
lola: 17667334 markings, 49019918 edges, 15165 markings/sec, 1170 secs
lola: 17741011 markings, 49228942 edges, 14735 markings/sec, 1175 secs
lola: 17812895 markings, 49433554 edges, 14377 markings/sec, 1180 secs
lola: 17885530 markings, 49641901 edges, 14527 markings/sec, 1185 secs
lola: 17960639 markings, 49850482 edges, 15022 markings/sec, 1190 secs
lola: 18033716 markings, 50060129 edges, 14615 markings/sec, 1195 secs
lola: 18104146 markings, 50268492 edges, 14086 markings/sec, 1200 secs
lola: 18178005 markings, 50472857 edges, 14772 markings/sec, 1205 secs
lola: 18251995 markings, 50677828 edges, 14798 markings/sec, 1210 secs
lola: 18325243 markings, 50883271 edges, 14650 markings/sec, 1215 secs
lola: 18398349 markings, 51089307 edges, 14621 markings/sec, 1220 secs
lola: 18470542 markings, 51294592 edges, 14439 markings/sec, 1225 secs
lola: 18542792 markings, 51500135 edges, 14450 markings/sec, 1230 secs
lola: 18613990 markings, 51706344 edges, 14240 markings/sec, 1235 secs
lola: 18686624 markings, 51910908 edges, 14527 markings/sec, 1240 secs
lola: 18756115 markings, 52116897 edges, 13898 markings/sec, 1245 secs
lola: 18829163 markings, 52323473 edges, 14610 markings/sec, 1250 secs
lola: 18901886 markings, 52532520 edges, 14545 markings/sec, 1255 secs
lola: 18973217 markings, 52741950 edges, 14266 markings/sec, 1260 secs
lola: 19047072 markings, 52949968 edges, 14771 markings/sec, 1265 secs
lola: 19118295 markings, 53158467 edges, 14245 markings/sec, 1270 secs
lola: 19189914 markings, 53367556 edges, 14324 markings/sec, 1275 secs
lola: 19260165 markings, 53576657 edges, 14050 markings/sec, 1280 secs
lola: 19332595 markings, 53785431 edges, 14486 markings/sec, 1285 secs
lola: 19402737 markings, 53993078 edges, 14028 markings/sec, 1290 secs
lola: 19472421 markings, 54202643 edges, 13937 markings/sec, 1295 secs
lola: 19542945 markings, 54409320 edges, 14105 markings/sec, 1300 secs
lola: 19611635 markings, 54619543 edges, 13738 markings/sec, 1305 secs
lola: 19683515 markings, 54828935 edges, 14376 markings/sec, 1310 secs
lola: 19753558 markings, 55039167 edges, 14009 markings/sec, 1315 secs
lola: 19825122 markings, 55249081 edges, 14313 markings/sec, 1320 secs
lola: 19894132 markings, 55459727 edges, 13802 markings/sec, 1325 secs
lola: 19963457 markings, 55670419 edges, 13865 markings/sec, 1330 secs
lola: 20033596 markings, 55880405 edges, 14028 markings/sec, 1335 secs
lola: 20103009 markings, 56090797 edges, 13883 markings/sec, 1340 secs
lola: 20169453 markings, 56298813 edges, 13289 markings/sec, 1345 secs
lola: 20239741 markings, 56508075 edges, 14058 markings/sec, 1350 secs
lola: 20309375 markings, 56716479 edges, 13927 markings/sec, 1355 secs
lola: 20379966 markings, 56924143 edges, 14118 markings/sec, 1360 secs
lola: 20449894 markings, 57134197 edges, 13986 markings/sec, 1365 secs
lola: 20519173 markings, 57345357 edges, 13856 markings/sec, 1370 secs
lola: 20589884 markings, 57554923 edges, 14142 markings/sec, 1375 secs
lola: 20659822 markings, 57765812 edges, 13988 markings/sec, 1380 secs
lola: 20729846 markings, 57975956 edges, 14005 markings/sec, 1385 secs
lola: 20797536 markings, 58181378 edges, 13538 markings/sec, 1390 secs
lola: 20868801 markings, 58388357 edges, 14253 markings/sec, 1395 secs
lola: 20934539 markings, 58595225 edges, 13148 markings/sec, 1400 secs
lola: 21004066 markings, 58801531 edges, 13905 markings/sec, 1405 secs
lola: 21070469 markings, 59008054 edges, 13281 markings/sec, 1410 secs
lola: 21137882 markings, 59214337 edges, 13483 markings/sec, 1415 secs
lola: 21206871 markings, 59423352 edges, 13798 markings/sec, 1420 secs
lola: 21276112 markings, 59627687 edges, 13848 markings/sec, 1425 secs
lola: 21343595 markings, 59834618 edges, 13497 markings/sec, 1430 secs
lola: 21412614 markings, 60042885 edges, 13804 markings/sec, 1435 secs
lola: 21479674 markings, 60253454 edges, 13412 markings/sec, 1440 secs
lola: 21547305 markings, 60464015 edges, 13526 markings/sec, 1445 secs
lola: 21614015 markings, 60674133 edges, 13342 markings/sec, 1450 secs
lola: 21680549 markings, 60881158 edges, 13307 markings/sec, 1455 secs
lola: 21745557 markings, 61087477 edges, 13002 markings/sec, 1460 secs
lola: 21813364 markings, 61294247 edges, 13561 markings/sec, 1465 secs
lola: 21878959 markings, 61504350 edges, 13119 markings/sec, 1470 secs
lola: 21946091 markings, 61711556 edges, 13426 markings/sec, 1475 secs
lola: 22013322 markings, 61917275 edges, 13446 markings/sec, 1480 secs
lola: 22080514 markings, 62124071 edges, 13438 markings/sec, 1485 secs
lola: 22147637 markings, 62328895 edges, 13425 markings/sec, 1490 secs
lola: 22214225 markings, 62535294 edges, 13318 markings/sec, 1495 secs
lola: 22282467 markings, 62742595 edges, 13648 markings/sec, 1500 secs
lola: 22349546 markings, 62952369 edges, 13416 markings/sec, 1505 secs
lola: 22417670 markings, 63159241 edges, 13625 markings/sec, 1510 secs
lola: 22485129 markings, 63368950 edges, 13492 markings/sec, 1515 secs
lola: 22551412 markings, 63574236 edges, 13257 markings/sec, 1520 secs
lola: 22615491 markings, 63784400 edges, 12816 markings/sec, 1525 secs
lola: 22680611 markings, 63993476 edges, 13024 markings/sec, 1530 secs
lola: 22748535 markings, 64196841 edges, 13585 markings/sec, 1535 secs
lola: 22814026 markings, 64408743 edges, 13098 markings/sec, 1540 secs
lola: 22880955 markings, 64618318 edges, 13386 markings/sec, 1545 secs
lola: 22947667 markings, 64825821 edges, 13342 markings/sec, 1550 secs
lola: 23014144 markings, 65037489 edges, 13295 markings/sec, 1555 secs
lola: 23078411 markings, 65247019 edges, 12853 markings/sec, 1560 secs
lola: 23146547 markings, 65450872 edges, 13627 markings/sec, 1565 secs
lola: 23211546 markings, 65655184 edges, 13000 markings/sec, 1570 secs
lola: 23276318 markings, 65862160 edges, 12954 markings/sec, 1575 secs
lola: 23340649 markings, 66073922 edges, 12866 markings/sec, 1580 secs
lola: 23408409 markings, 66284752 edges, 13552 markings/sec, 1585 secs
lola: 23474705 markings, 66496757 edges, 13259 markings/sec, 1590 secs
lola: 23540441 markings, 66708911 edges, 13147 markings/sec, 1595 secs
lola: 23604210 markings, 66922786 edges, 12754 markings/sec, 1600 secs
lola: 23671538 markings, 67134241 edges, 13466 markings/sec, 1605 secs
lola: 23738326 markings, 67345760 edges, 13358 markings/sec, 1610 secs
lola: 23805566 markings, 67556625 edges, 13448 markings/sec, 1615 secs
lola: 23870151 markings, 67769052 edges, 12917 markings/sec, 1620 secs
lola: 23937852 markings, 67979873 edges, 13540 markings/sec, 1625 secs
lola: 24003930 markings, 68190986 edges, 13216 markings/sec, 1630 secs
lola: 24069328 markings, 68403314 edges, 13080 markings/sec, 1635 secs
lola: 24137322 markings, 68613875 edges, 13599 markings/sec, 1640 secs
lola: 24202684 markings, 68825936 edges, 13072 markings/sec, 1645 secs
lola: 24269279 markings, 69036742 edges, 13319 markings/sec, 1650 secs
lola: 24333860 markings, 69248632 edges, 12916 markings/sec, 1655 secs
lola: 24397199 markings, 69462364 edges, 12668 markings/sec, 1660 secs
lola: 24463132 markings, 69674218 edges, 13187 markings/sec, 1665 secs
lola: 24527809 markings, 69886490 edges, 12935 markings/sec, 1670 secs
lola: 24593659 markings, 70097546 edges, 13170 markings/sec, 1675 secs
lola: 24661371 markings, 70307568 edges, 13542 markings/sec, 1680 secs
lola: 24724642 markings, 70521000 edges, 12654 markings/sec, 1685 secs
lola: 24789900 markings, 70732423 edges, 13052 markings/sec, 1690 secs
lola: 24853795 markings, 70939242 edges, 12779 markings/sec, 1695 secs
lola: 24916585 markings, 71143881 edges, 12558 markings/sec, 1700 secs
lola: 24978496 markings, 71352112 edges, 12382 markings/sec, 1705 secs
lola: 25042028 markings, 71559119 edges, 12706 markings/sec, 1710 secs
lola: 25106384 markings, 71764328 edges, 12871 markings/sec, 1715 secs
lola: 25171900 markings, 71970105 edges, 13103 markings/sec, 1720 secs
lola: 25235813 markings, 72178254 edges, 12783 markings/sec, 1725 secs
lola: 25299689 markings, 72387260 edges, 12775 markings/sec, 1730 secs
lola: 25363994 markings, 72595671 edges, 12861 markings/sec, 1735 secs
lola: 25429776 markings, 72807499 edges, 13156 markings/sec, 1740 secs
lola: 25494687 markings, 73019516 edges, 12982 markings/sec, 1745 secs
lola: 25558169 markings, 73231031 edges, 12696 markings/sec, 1750 secs
lola: 25624823 markings, 73439237 edges, 13331 markings/sec, 1755 secs
lola: 25687959 markings, 73651418 edges, 12627 markings/sec, 1760 secs
lola: 25753273 markings, 73862405 edges, 13063 markings/sec, 1765 secs
lola: 25817357 markings, 74073351 edges, 12817 markings/sec, 1770 secs
lola: 25882224 markings, 74281656 edges, 12973 markings/sec, 1775 secs
lola: 25946013 markings, 74486763 edges, 12758 markings/sec, 1780 secs
lola: 26007656 markings, 74695683 edges, 12329 markings/sec, 1785 secs
lola: 26070851 markings, 74900457 edges, 12639 markings/sec, 1790 secs
lola: 26135561 markings, 75106033 edges, 12942 markings/sec, 1795 secs
lola: 26199855 markings, 75312132 edges, 12859 markings/sec, 1800 secs
lola: 26262069 markings, 75518594 edges, 12443 markings/sec, 1805 secs
lola: 26324073 markings, 75726958 edges, 12401 markings/sec, 1810 secs
lola: 26387577 markings, 75932710 edges, 12701 markings/sec, 1815 secs
lola: 26450620 markings, 76141821 edges, 12609 markings/sec, 1820 secs
lola: 26516655 markings, 76351910 edges, 13207 markings/sec, 1825 secs
lola: 26579696 markings, 76559229 edges, 12608 markings/sec, 1830 secs
lola: 26640462 markings, 76767082 edges, 12153 markings/sec, 1835 secs
lola: 26705627 markings, 76977482 edges, 13033 markings/sec, 1840 secs
lola: 26770953 markings, 77187207 edges, 13065 markings/sec, 1845 secs
lola: 26836939 markings, 77397977 edges, 13197 markings/sec, 1850 secs
lola: 26901350 markings, 77610390 edges, 12882 markings/sec, 1855 secs
lola: 26966169 markings, 77821423 edges, 12964 markings/sec, 1860 secs
lola: 27030448 markings, 78032635 edges, 12856 markings/sec, 1865 secs
lola: 27093561 markings, 78245189 edges, 12623 markings/sec, 1870 secs
lola: 27158644 markings, 78456092 edges, 13017 markings/sec, 1875 secs
lola: 27222389 markings, 78667666 edges, 12749 markings/sec, 1880 secs
lola: 27287144 markings, 78879027 edges, 12951 markings/sec, 1885 secs
lola: 27352161 markings, 79090702 edges, 13003 markings/sec, 1890 secs
lola: 27417107 markings, 79301666 edges, 12989 markings/sec, 1895 secs
lola: 27479151 markings, 79513621 edges, 12409 markings/sec, 1900 secs
lola: 27546260 markings, 79718067 edges, 13422 markings/sec, 1905 secs
lola: 27612090 markings, 79925846 edges, 13166 markings/sec, 1910 secs
lola: 27677270 markings, 80134040 edges, 13036 markings/sec, 1915 secs
lola: 27744311 markings, 80343058 edges, 13408 markings/sec, 1920 secs
lola: 27809143 markings, 80553231 edges, 12966 markings/sec, 1925 secs
lola: 27872246 markings, 80765285 edges, 12621 markings/sec, 1930 secs
lola: 27937591 markings, 80976037 edges, 13069 markings/sec, 1935 secs
lola: 27998955 markings, 81190083 edges, 12273 markings/sec, 1940 secs
lola: 28062463 markings, 81402721 edges, 12702 markings/sec, 1945 secs
lola: 28125666 markings, 81615671 edges, 12641 markings/sec, 1950 secs
lola: 28189301 markings, 81827192 edges, 12727 markings/sec, 1955 secs
lola: 28254495 markings, 82037575 edges, 13039 markings/sec, 1960 secs
lola: 28315901 markings, 82249653 edges, 12281 markings/sec, 1965 secs
lola: 28382774 markings, 82457909 edges, 13375 markings/sec, 1970 secs
lola: 28446168 markings, 82670296 edges, 12679 markings/sec, 1975 secs
lola: 28509056 markings, 82882550 edges, 12578 markings/sec, 1980 secs
lola: 28574462 markings, 83093157 edges, 13081 markings/sec, 1985 secs
lola: 28638299 markings, 83304236 edges, 12767 markings/sec, 1990 secs
lola: 28702621 markings, 83515165 edges, 12864 markings/sec, 1995 secs
lola: 28765651 markings, 83726811 edges, 12606 markings/sec, 2000 secs
lola: 28829491 markings, 83938315 edges, 12768 markings/sec, 2005 secs
lola: 28893500 markings, 84149880 edges, 12802 markings/sec, 2010 secs
lola: 28958199 markings, 84361332 edges, 12940 markings/sec, 2015 secs
lola: 29023469 markings, 84571547 edges, 13054 markings/sec, 2020 secs
lola: 29088210 markings, 84782146 edges, 12948 markings/sec, 2025 secs
lola: 29149788 markings, 84993855 edges, 12316 markings/sec, 2030 secs
lola: 29213219 markings, 85205872 edges, 12686 markings/sec, 2035 secs
lola: 29275327 markings, 85418332 edges, 12422 markings/sec, 2040 secs
lola: 29339845 markings, 85627778 edges, 12904 markings/sec, 2045 secs
lola: 29402885 markings, 85839011 edges, 12608 markings/sec, 2050 secs
lola: 29467571 markings, 86044445 edges, 12937 markings/sec, 2055 secs
lola: 29529090 markings, 86252914 edges, 12304 markings/sec, 2060 secs
lola: 29590966 markings, 86465438 edges, 12375 markings/sec, 2065 secs
lola: 29653866 markings, 86677385 edges, 12580 markings/sec, 2070 secs
lola: 29717586 markings, 86888009 edges, 12744 markings/sec, 2075 secs
lola: 29780555 markings, 87098160 edges, 12594 markings/sec, 2080 secs
lola: 29844649 markings, 87308669 edges, 12819 markings/sec, 2085 secs
lola: 29908255 markings, 87519884 edges, 12721 markings/sec, 2090 secs
lola: 29972889 markings, 87729995 edges, 12927 markings/sec, 2095 secs
lola: 30034111 markings, 87941395 edges, 12244 markings/sec, 2100 secs
lola: 30098411 markings, 88150456 edges, 12860 markings/sec, 2105 secs
lola: 30162511 markings, 88358935 edges, 12820 markings/sec, 2110 secs
lola: 30226029 markings, 88568478 edges, 12704 markings/sec, 2115 secs
lola: 30288226 markings, 88774878 edges, 12439 markings/sec, 2120 secs
lola: 30352625 markings, 88982696 edges, 12880 markings/sec, 2125 secs
lola: 30415797 markings, 89191267 edges, 12634 markings/sec, 2130 secs
lola: 30478973 markings, 89396739 edges, 12635 markings/sec, 2135 secs
lola: 30537952 markings, 89604743 edges, 11796 markings/sec, 2140 secs
lola: 30600987 markings, 89808671 edges, 12607 markings/sec, 2145 secs
lola: 30665309 markings, 90013204 edges, 12864 markings/sec, 2150 secs
lola: 30727727 markings, 90217143 edges, 12484 markings/sec, 2155 secs
lola: 30789898 markings, 90420985 edges, 12434 markings/sec, 2160 secs
lola: 30850499 markings, 90627445 edges, 12120 markings/sec, 2165 secs
lola: 30912232 markings, 90837687 edges, 12347 markings/sec, 2170 secs
lola: 30975305 markings, 91045328 edges, 12615 markings/sec, 2175 secs
lola: 31036557 markings, 91254299 edges, 12250 markings/sec, 2180 secs
lola: 31097782 markings, 91465379 edges, 12245 markings/sec, 2185 secs
lola: 31160636 markings, 91675798 edges, 12571 markings/sec, 2190 secs
lola: 31223032 markings, 91886719 edges, 12479 markings/sec, 2195 secs
lola: 31286088 markings, 92096343 edges, 12611 markings/sec, 2200 secs
lola: 31345228 markings, 92310618 edges, 11828 markings/sec, 2205 secs
lola: 31407722 markings, 92516581 edges, 12499 markings/sec, 2210 secs
lola: 31472701 markings, 92722847 edges, 12996 markings/sec, 2215 secs
lola: 31533468 markings, 92929509 edges, 12153 markings/sec, 2220 secs
lola: 31595472 markings, 93135474 edges, 12401 markings/sec, 2225 secs
lola: 31656398 markings, 93344930 edges, 12185 markings/sec, 2230 secs
lola: 31717725 markings, 93552589 edges, 12265 markings/sec, 2235 secs
lola: 31780331 markings, 93763249 edges, 12521 markings/sec, 2240 secs
lola: 31841936 markings, 93975457 edges, 12321 markings/sec, 2245 secs
lola: 31904171 markings, 94184599 edges, 12447 markings/sec, 2250 secs
lola: 31964985 markings, 94395229 edges, 12163 markings/sec, 2255 secs
lola: 32027501 markings, 94604258 edges, 12503 markings/sec, 2260 secs
lola: 32089246 markings, 94812793 edges, 12349 markings/sec, 2265 secs
lola: 32151448 markings, 95022278 edges, 12440 markings/sec, 2270 secs
lola: 32211874 markings, 95229849 edges, 12085 markings/sec, 2275 secs
lola: 32272983 markings, 95441139 edges, 12222 markings/sec, 2280 secs
lola: 32333809 markings, 95649743 edges, 12165 markings/sec, 2285 secs
lola: 32395354 markings, 95858610 edges, 12309 markings/sec, 2290 secs
lola: 32455751 markings, 96062801 edges, 12079 markings/sec, 2295 secs
lola: 32518215 markings, 96273183 edges, 12493 markings/sec, 2300 secs
lola: 32576360 markings, 96486867 edges, 11629 markings/sec, 2305 secs
lola: 32638912 markings, 96694738 edges, 12510 markings/sec, 2310 secs
lola: 32700011 markings, 96905438 edges, 12220 markings/sec, 2315 secs
lola: 32759686 markings, 97116697 edges, 11935 markings/sec, 2320 secs
lola: 32821472 markings, 97321797 edges, 12357 markings/sec, 2325 secs
lola: 32880974 markings, 97528377 edges, 11900 markings/sec, 2330 secs
lola: 32940656 markings, 97734673 edges, 11936 markings/sec, 2335 secs
lola: 33002534 markings, 97945938 edges, 12376 markings/sec, 2340 secs
lola: 33061752 markings, 98152041 edges, 11844 markings/sec, 2345 secs
lola: 33124294 markings, 98361083 edges, 12508 markings/sec, 2350 secs
lola: 33185642 markings, 98572096 edges, 12270 markings/sec, 2355 secs
lola: 33246280 markings, 98781863 edges, 12128 markings/sec, 2360 secs
lola: 33306815 markings, 98992026 edges, 12107 markings/sec, 2365 secs
lola: 33366470 markings, 99203767 edges, 11931 markings/sec, 2370 secs
lola: 33429766 markings, 99412694 edges, 12659 markings/sec, 2375 secs
lola: 33492276 markings, 99621709 edges, 12502 markings/sec, 2380 secs
lola: 33552864 markings, 99832477 edges, 12118 markings/sec, 2385 secs
lola: 33610734 markings, 100043169 edges, 11574 markings/sec, 2390 secs
lola: 33670177 markings, 100254908 edges, 11889 markings/sec, 2395 secs
lola: 33732557 markings, 100463422 edges, 12476 markings/sec, 2400 secs
lola: 33793874 markings, 100672696 edges, 12263 markings/sec, 2405 secs
lola: 33852860 markings, 100879068 edges, 11797 markings/sec, 2410 secs
lola: 33915310 markings, 101087727 edges, 12490 markings/sec, 2415 secs
lola: 33975156 markings, 101294997 edges, 11969 markings/sec, 2420 secs
lola: 34033857 markings, 101503279 edges, 11740 markings/sec, 2425 secs
lola: 34091106 markings, 101711606 edges, 11450 markings/sec, 2430 secs
lola: 34151615 markings, 101916316 edges, 12102 markings/sec, 2435 secs
lola: 34213014 markings, 102126508 edges, 12280 markings/sec, 2440 secs
lola: 34274142 markings, 102339266 edges, 12226 markings/sec, 2445 secs
lola: 34335164 markings, 102549156 edges, 12204 markings/sec, 2450 secs
lola: 34396237 markings, 102756161 edges, 12215 markings/sec, 2455 secs
lola: 34459366 markings, 102965942 edges, 12626 markings/sec, 2460 secs
lola: 34521878 markings, 103176834 edges, 12502 markings/sec, 2465 secs
lola: 34585156 markings, 103386474 edges, 12656 markings/sec, 2470 secs
lola: 34650157 markings, 103594621 edges, 13000 markings/sec, 2475 secs
lola: 34711359 markings, 103805918 edges, 12240 markings/sec, 2480 secs
lola: 34773179 markings, 104016924 edges, 12364 markings/sec, 2485 secs
lola: 34835862 markings, 104226431 edges, 12537 markings/sec, 2490 secs
lola: 34898966 markings, 104435831 edges, 12621 markings/sec, 2495 secs
lola: 34959284 markings, 104647868 edges, 12064 markings/sec, 2500 secs
lola: 35020290 markings, 104859213 edges, 12201 markings/sec, 2505 secs
lola: 35080867 markings, 105071303 edges, 12115 markings/sec, 2510 secs
lola: 35142433 markings, 105282180 edges, 12313 markings/sec, 2515 secs
lola: 35203756 markings, 105491078 edges, 12265 markings/sec, 2520 secs
lola: 35265992 markings, 105701805 edges, 12447 markings/sec, 2525 secs
lola: 35327218 markings, 105913969 edges, 12245 markings/sec, 2530 secs
lola: 35388045 markings, 106126078 edges, 12165 markings/sec, 2535 secs
lola: 35447802 markings, 106336613 edges, 11951 markings/sec, 2540 secs
lola: 35509707 markings, 106546919 edges, 12381 markings/sec, 2545 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown 1 1 1 1 1 unknown 1 1 1 unknown
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown 1 1 1 1 1 unknown 1 1 1 unknown
lola:
preliminary result: 1 1 1 1 1 unknown 1 1 1 1 1 unknown 1 1 1 unknown
lola: memory consumption: 5790968 KB
lola: time consumption: 3571 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 unknown 1 1 1 1 1 unknown 1 1 1 unknown
lola: memory consumption: 5790968 KB
lola: time consumption: 3572 seconds
lola: memory consumption: 5791404 KB
lola: time consumption: 3572 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 unknown 1 1 1 1 1 unknown 1 1 1 unknown
lola:
preliminary result: 1 1 1 1 1 unknown 1 1 1 1 1 unknown 1 1 1 unknown
lola: memory consumption: 21184 KB
lola: time consumption: 3573 seconds

BK_STOP 1526669280650

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AutoFlight-PT-24b"
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

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-24b.tgz
mv AutoFlight-PT-24b execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is AutoFlight-PT-24b, 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-qhx1-152646241200156"
echo "====================================================================="
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 ;