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 ;