Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r022-csrt-155225094500067.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
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 r022-csrt-155225094500067
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 704K
-rw-r--r-- 1 mcc users 3.7K Feb 9 07:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 9 07:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 5 03:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Feb 5 03:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 104 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 342 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K Feb 4 22:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 2 00:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 2 00:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 29 11:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 29 11:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 538K Mar 10 17:31 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME AutoFlight-PT-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 1552400050254

info: Time: 3600 - MCC
===========================================================================================
prep: translating AutoFlight-PT-24b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
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(p1820) : MAX(p1681) : MAX(p1962) : MAX(p448) : MAX(p1183) : MAX(p2052) : MAX(p527) : MAX(p2106) : MAX(p2129) : MAX(p1145) : MAX(p884) : MAX(p681) : MAX(p880) : MAX(p1422) : MAX(p258) : MAX(p2052)
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(p1820)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1820)
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: 276 markings, 275 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(p1681)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1681)
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: 41 markings, 40 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(p1962)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1962)
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: 141509 markings, 273063 edges, 28302 markings/sec, 0 secs
lola: 281284 markings, 571021 edges, 27955 markings/sec, 5 secs
lola: 400475 markings, 853785 edges, 23838 markings/sec, 10 secs
lola: 511060 markings, 1138530 edges, 22117 markings/sec, 15 secs
lola: 618807 markings, 1424193 edges, 21549 markings/sec, 20 secs
lola: 729238 markings, 1721148 edges, 22086 markings/sec, 25 secs
lola: 849272 markings, 2054041 edges, 24007 markings/sec, 30 secs
lola: 966969 markings, 2377496 edges, 23539 markings/sec, 35 secs
lola: 1079303 markings, 2700911 edges, 22467 markings/sec, 40 secs
lola: 1192203 markings, 3023598 edges, 22580 markings/sec, 45 secs
lola: 1307895 markings, 3347759 edges, 23138 markings/sec, 50 secs
lola: 1421756 markings, 3670761 edges, 22772 markings/sec, 55 secs
lola: 1533478 markings, 3993290 edges, 22344 markings/sec, 60 secs
lola: 1676074 markings, 4313411 edges, 28519 markings/sec, 65 secs
lola: 1806057 markings, 4635057 edges, 25997 markings/sec, 70 secs
lola: 1931312 markings, 4957129 edges, 25051 markings/sec, 75 secs
lola: 2052045 markings, 5280589 edges, 24147 markings/sec, 80 secs
lola: 2170619 markings, 5602922 edges, 23715 markings/sec, 85 secs
lola: 2287803 markings, 5926054 edges, 23437 markings/sec, 90 secs
lola: 2403488 markings, 6249997 edges, 23137 markings/sec, 95 secs
lola: 2520705 markings, 6572801 edges, 23443 markings/sec, 100 secs
lola: 2635520 markings, 6896252 edges, 22963 markings/sec, 105 secs
lola: 2747304 markings, 7219161 edges, 22357 markings/sec, 110 secs
lola: 2859225 markings, 7538748 edges, 22384 markings/sec, 115 secs
lola: 2972661 markings, 7861500 edges, 22687 markings/sec, 120 secs
lola: 3085007 markings, 8183864 edges, 22469 markings/sec, 125 secs
lola: 3197168 markings, 8506231 edges, 22432 markings/sec, 130 secs
lola: 3321258 markings, 8827498 edges, 24818 markings/sec, 135 secs
lola: 3459163 markings, 9147340 edges, 27581 markings/sec, 140 secs
lola: 3587179 markings, 9468935 edges, 25603 markings/sec, 145 secs
lola: 3711692 markings, 9797858 edges, 24903 markings/sec, 150 secs
lola: 3833682 markings, 10131347 edges, 24398 markings/sec, 155 secs
lola: 3952378 markings, 10456197 edges, 23739 markings/sec, 160 secs
lola: 4069384 markings, 10779963 edges, 23401 markings/sec, 165 secs
lola: 4184701 markings, 11103595 edges, 23063 markings/sec, 170 secs
lola: 4298534 markings, 11429411 edges, 22767 markings/sec, 175 secs
lola: 4411412 markings, 11753457 edges, 22576 markings/sec, 180 secs
lola: 4526043 markings, 12077655 edges, 22926 markings/sec, 185 secs
lola: 4639211 markings, 12400428 edges, 22634 markings/sec, 190 secs
lola: 4751721 markings, 12721656 edges, 22502 markings/sec, 195 secs
lola: 4854873 markings, 13015024 edges, 20630 markings/sec, 200 secs
lola: 4954005 markings, 13299650 edges, 19826 markings/sec, 205 secs
lola: 5051923 markings, 13584481 edges, 19584 markings/sec, 210 secs
lola: 5158239 markings, 13892535 edges, 21263 markings/sec, 215 secs
lola: 5256456 markings, 14180035 edges, 19643 markings/sec, 220 secs
lola: 5352570 markings, 14464637 edges, 19223 markings/sec, 225 secs
lola: 5447702 markings, 14750859 edges, 19026 markings/sec, 230 secs
lola: 5551729 markings, 15064942 edges, 20805 markings/sec, 235 secs
lola: 5660734 markings, 15397144 edges, 21801 markings/sec, 240 secs
lola: 5798603 markings, 15716433 edges, 27574 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 973856 KB
lola: time consumption: 256 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p448)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p448)
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: 247 markings, 246 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 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1183)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1183)
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: 44 markings, 43 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 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2052)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2052)
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: 20 markings, 19 edges
lola: ========================================

FORMULA AutoFlight-PT-24b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p527)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p527)
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: 210 markings, 209 edges
lola: ========================================

FORMULA AutoFlight-PT-24b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2106)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2106)
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: 14 markings, 13 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 414 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2129)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2129)
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: 1506 markings, 1556 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 473 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1145)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1145)
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: 47 markings, 46 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 552 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p884)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p884)
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: 67 markings, 66 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 662 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p681)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p681)
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: 173 markings, 172 edges
lola: ========================================

FORMULA AutoFlight-PT-24b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 828 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p880)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p880)
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: 65213 markings, 307802 edges, 13043 markings/sec, 0 secs
lola: 122632 markings, 644431 edges, 11484 markings/sec, 5 secs
lola: 180382 markings, 977897 edges, 11550 markings/sec, 10 secs
lola: 238056 markings, 1310119 edges, 11535 markings/sec, 15 secs
lola: 295468 markings, 1640634 edges, 11482 markings/sec, 20 secs
lola: 346239 markings, 1975189 edges, 10154 markings/sec, 25 secs
lola: 396239 markings, 2311595 edges, 10000 markings/sec, 30 secs
lola: 446536 markings, 2648393 edges, 10059 markings/sec, 35 secs
lola: 498375 markings, 2991177 edges, 10368 markings/sec, 40 secs
lola: 555711 markings, 3332678 edges, 11467 markings/sec, 45 secs
lola: 605892 markings, 3679952 edges, 10036 markings/sec, 50 secs
lola: 657643 markings, 4026905 edges, 10350 markings/sec, 55 secs
lola: 708696 markings, 4371948 edges, 10211 markings/sec, 60 secs
lola: 764153 markings, 4710995 edges, 11091 markings/sec, 65 secs
lola: 816774 markings, 5041802 edges, 10524 markings/sec, 70 secs
lola: 866173 markings, 5375212 edges, 9880 markings/sec, 75 secs
lola: 916327 markings, 5720272 edges, 10031 markings/sec, 80 secs
lola: 966865 markings, 6066294 edges, 10108 markings/sec, 85 secs
lola: 1024554 markings, 6404275 edges, 11538 markings/sec, 90 secs
lola: 1076249 markings, 6744985 edges, 10339 markings/sec, 95 secs
lola: 1127972 markings, 7092304 edges, 10345 markings/sec, 100 secs
lola: 1179213 markings, 7438075 edges, 10248 markings/sec, 105 secs
lola: 1230829 markings, 7788193 edges, 10323 markings/sec, 110 secs
lola: 1281333 markings, 8140016 edges, 10101 markings/sec, 115 secs
lola: 1326902 markings, 8495817 edges, 9114 markings/sec, 120 secs
lola: 1373106 markings, 8852181 edges, 9241 markings/sec, 125 secs
lola: 1418407 markings, 9200751 edges, 9060 markings/sec, 130 secs
lola: 1464055 markings, 9556818 edges, 9130 markings/sec, 135 secs
lola: 1515503 markings, 9910910 edges, 10290 markings/sec, 140 secs
lola: 1562439 markings, 10268449 edges, 9387 markings/sec, 145 secs
lola: 1608889 markings, 10626913 edges, 9290 markings/sec, 150 secs
lola: 1655337 markings, 10986189 edges, 9290 markings/sec, 155 secs
lola: 1700289 markings, 11346186 edges, 8990 markings/sec, 160 secs
lola: 1752707 markings, 11698860 edges, 10484 markings/sec, 165 secs
lola: 1799976 markings, 12054453 edges, 9454 markings/sec, 170 secs
lola: 1846062 markings, 12409870 edges, 9217 markings/sec, 175 secs
lola: 1891297 markings, 12765756 edges, 9047 markings/sec, 180 secs
lola: 1936672 markings, 13122275 edges, 9075 markings/sec, 185 secs
lola: 1993858 markings, 13467787 edges, 11437 markings/sec, 190 secs
lola: 2046887 markings, 13815402 edges, 10606 markings/sec, 195 secs
lola: 2098954 markings, 14165476 edges, 10413 markings/sec, 200 secs
lola: 2150822 markings, 14514971 edges, 10374 markings/sec, 205 secs
lola: 2202463 markings, 14865521 edges, 10328 markings/sec, 210 secs
lola: 2252874 markings, 15216749 edges, 10082 markings/sec, 215 secs
lola: 2298300 markings, 15570844 edges, 9085 markings/sec, 220 secs
lola: 2344366 markings, 15925635 edges, 9213 markings/sec, 225 secs
lola: 2390382 markings, 16280123 edges, 9203 markings/sec, 230 secs
lola: 2435975 markings, 16636118 edges, 9119 markings/sec, 235 secs
lola: 2487316 markings, 16989212 edges, 10268 markings/sec, 240 secs
lola: 2534153 markings, 17345905 edges, 9367 markings/sec, 245 secs
lola: 2580530 markings, 17703541 edges, 9275 markings/sec, 250 secs
lola: 2626802 markings, 18061869 edges, 9254 markings/sec, 255 secs
lola: 2671457 markings, 18418710 edges, 8931 markings/sec, 260 secs
lola: 2721904 markings, 18759733 edges, 10089 markings/sec, 265 secs
lola: 2769281 markings, 19111557 edges, 9475 markings/sec, 270 secs
lola: 2815408 markings, 19466759 edges, 9225 markings/sec, 275 secs
lola: 2860382 markings, 19823994 edges, 8995 markings/sec, 280 secs
lola: 2906103 markings, 20180337 edges, 9144 markings/sec, 285 secs
lola: 2961719 markings, 20524993 edges, 11123 markings/sec, 290 secs
lola: 3015302 markings, 20869128 edges, 10717 markings/sec, 295 secs
lola: 3066642 markings, 21216080 edges, 10268 markings/sec, 300 secs
lola: 3118578 markings, 21564113 edges, 10387 markings/sec, 305 secs
lola: 3169128 markings, 21911529 edges, 10110 markings/sec, 310 secs
lola: 3219199 markings, 22258998 edges, 10014 markings/sec, 315 secs
lola: 3264804 markings, 22608758 edges, 9121 markings/sec, 320 secs
lola: 3310453 markings, 22960315 edges, 9130 markings/sec, 325 secs
lola: 3356017 markings, 23312540 edges, 9113 markings/sec, 330 secs
lola: 3400039 markings, 23664267 edges, 8804 markings/sec, 335 secs
lola: 3451576 markings, 24013231 edges, 10307 markings/sec, 340 secs
lola: 3498827 markings, 24364835 edges, 9450 markings/sec, 345 secs
lola: 3544836 markings, 24719339 edges, 9202 markings/sec, 350 secs
lola: 3589692 markings, 25075215 edges, 8971 markings/sec, 355 secs
lola: 3634933 markings, 25428018 edges, 9048 markings/sec, 360 secs
lola: 3685037 markings, 25777054 edges, 10021 markings/sec, 365 secs
lola: 3733029 markings, 26126994 edges, 9598 markings/sec, 370 secs
lola: 3778281 markings, 26479478 edges, 9050 markings/sec, 375 secs
lola: 3823137 markings, 26835177 edges, 8971 markings/sec, 380 secs
lola: 3868968 markings, 27188399 edges, 9166 markings/sec, 385 secs
lola: 3922195 markings, 27533499 edges, 10645 markings/sec, 390 secs
lola: 3976870 markings, 27876339 edges, 10935 markings/sec, 395 secs
lola: 4028123 markings, 28220708 edges, 10251 markings/sec, 400 secs
lola: 4078348 markings, 28566887 edges, 10045 markings/sec, 405 secs
lola: 4128387 markings, 28911903 edges, 10008 markings/sec, 410 secs
lola: 4179752 markings, 29256934 edges, 10273 markings/sec, 415 secs
lola: 4226546 markings, 29604061 edges, 9359 markings/sec, 420 secs
lola: 4271794 markings, 29952522 edges, 9050 markings/sec, 425 secs
lola: 4315178 markings, 30301483 edges, 8677 markings/sec, 430 secs
lola: 4360294 markings, 30650177 edges, 9023 markings/sec, 435 secs
lola: 4410120 markings, 30997669 edges, 9965 markings/sec, 440 secs
lola: 4458499 markings, 31346753 edges, 9676 markings/sec, 445 secs
lola: 4502869 markings, 31696255 edges, 8874 markings/sec, 450 secs
lola: 4547744 markings, 32047615 edges, 8975 markings/sec, 455 secs
lola: 4593353 markings, 32398881 edges, 9122 markings/sec, 460 secs
lola: 4641696 markings, 32748969 edges, 9669 markings/sec, 465 secs
lola: 4691004 markings, 33096775 edges, 9862 markings/sec, 470 secs
lola: 4734963 markings, 33446823 edges, 8792 markings/sec, 475 secs
lola: 4780578 markings, 33798102 edges, 9123 markings/sec, 480 secs
lola: 4826132 markings, 34148879 edges, 9111 markings/sec, 485 secs
lola: 4872501 markings, 34499130 edges, 9274 markings/sec, 490 secs
lola: 4922426 markings, 34846493 edges, 9985 markings/sec, 495 secs
lola: 4967712 markings, 35196048 edges, 9057 markings/sec, 500 secs
lola: 5013073 markings, 35545711 edges, 9072 markings/sec, 505 secs
lola: 5058594 markings, 35896379 edges, 9104 markings/sec, 510 secs
lola: 5102225 markings, 36245933 edges, 8726 markings/sec, 515 secs
lola: 5147746 markings, 36596368 edges, 9104 markings/sec, 520 secs
lola: 5190369 markings, 36948482 edges, 8525 markings/sec, 525 secs
lola: 5230006 markings, 37300552 edges, 7927 markings/sec, 530 secs
lola: 5270131 markings, 37654836 edges, 8025 markings/sec, 535 secs
lola: 5311168 markings, 38009025 edges, 8207 markings/sec, 540 secs
lola: 5350971 markings, 38360110 edges, 7961 markings/sec, 545 secs
lola: 5395577 markings, 38707547 edges, 8921 markings/sec, 550 secs
lola: 5437612 markings, 39061569 edges, 8407 markings/sec, 555 secs
lola: 5477917 markings, 39414866 edges, 8061 markings/sec, 560 secs
lola: 5517831 markings, 39768822 edges, 7983 markings/sec, 565 secs
lola: 5558696 markings, 40124930 edges, 8173 markings/sec, 570 secs
lola: 5599855 markings, 40476119 edges, 8232 markings/sec, 575 secs
lola: 5643895 markings, 40824054 edges, 8808 markings/sec, 580 secs
lola: 5685533 markings, 41177022 edges, 8328 markings/sec, 585 secs
lola: 5726059 markings, 41531470 edges, 8105 markings/sec, 590 secs
lola: 5765734 markings, 41887213 edges, 7935 markings/sec, 595 secs
lola: 5806765 markings, 42242027 edges, 8206 markings/sec, 600 secs
lola: 5851493 markings, 42594731 edges, 8946 markings/sec, 605 secs
lola: 5901147 markings, 42944381 edges, 9931 markings/sec, 610 secs
lola: 5944881 markings, 43286756 edges, 8747 markings/sec, 615 secs
lola: 5989497 markings, 43629915 edges, 8923 markings/sec, 620 secs
lola: 6033992 markings, 43972727 edges, 8899 markings/sec, 625 secs
lola: 6076376 markings, 44315591 edges, 8477 markings/sec, 630 secs
lola: 6120930 markings, 44658204 edges, 8911 markings/sec, 635 secs
lola: 6162557 markings, 45001944 edges, 8325 markings/sec, 640 secs
lola: 6201273 markings, 45346935 edges, 7743 markings/sec, 645 secs
lola: 6240754 markings, 45693230 edges, 7896 markings/sec, 650 secs
lola: 6281913 markings, 46049008 edges, 8232 markings/sec, 655 secs
lola: 6322009 markings, 46405727 edges, 8019 markings/sec, 660 secs
lola: 6367708 markings, 46760398 edges, 9140 markings/sec, 665 secs
lola: 6410091 markings, 47117841 edges, 8477 markings/sec, 670 secs
lola: 6450646 markings, 47472724 edges, 8111 markings/sec, 675 secs
lola: 6491264 markings, 47832846 edges, 8124 markings/sec, 680 secs
lola: 6532248 markings, 48190619 edges, 8197 markings/sec, 685 secs
lola: 6574491 markings, 48547128 edges, 8449 markings/sec, 690 secs
lola: 6618757 markings, 48899800 edges, 8853 markings/sec, 695 secs
lola: 6660219 markings, 49253751 edges, 8292 markings/sec, 700 secs
lola: 6701252 markings, 49609417 edges, 8207 markings/sec, 705 secs
lola: 6740746 markings, 49967507 edges, 7899 markings/sec, 710 secs
lola: 6781987 markings, 50323492 edges, 8248 markings/sec, 715 secs
lola: 6827662 markings, 50676338 edges, 9135 markings/sec, 720 secs
lola: 6877054 markings, 51024732 edges, 9878 markings/sec, 725 secs
lola: 6921278 markings, 51375114 edges, 8845 markings/sec, 730 secs
lola: 6966957 markings, 51726904 edges, 9136 markings/sec, 735 secs
lola: 7012379 markings, 52076624 edges, 9084 markings/sec, 740 secs
lola: 7057140 markings, 52426970 edges, 8952 markings/sec, 745 secs
lola: 7101745 markings, 52779178 edges, 8921 markings/sec, 750 secs
lola: 7143400 markings, 53132042 edges, 8331 markings/sec, 755 secs
lola: 7183866 markings, 53485957 edges, 8093 markings/sec, 760 secs
lola: 7223525 markings, 53841441 edges, 7932 markings/sec, 765 secs
lola: 7264420 markings, 54195146 edges, 8179 markings/sec, 770 secs
lola: 7306545 markings, 54548156 edges, 8425 markings/sec, 775 secs
lola: 7350585 markings, 54900974 edges, 8808 markings/sec, 780 secs
lola: 7391832 markings, 55255732 edges, 8249 markings/sec, 785 secs
lola: 7433040 markings, 55611482 edges, 8242 markings/sec, 790 secs
lola: 7472378 markings, 55969503 edges, 7868 markings/sec, 795 secs
lola: 7513487 markings, 56324485 edges, 8222 markings/sec, 800 secs
lola: 7556965 markings, 56679370 edges, 8696 markings/sec, 805 secs
lola: 7600922 markings, 57031744 edges, 8791 markings/sec, 810 secs
lola: 7640944 markings, 57386279 edges, 8004 markings/sec, 815 secs
lola: 7682034 markings, 57741385 edges, 8218 markings/sec, 820 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 1 1 1 1 1 unknown unknown unknown unknown
lola: memory consumption: 2179200 KB
lola: time consumption: 1086 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 828 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1422)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1422)
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: 16 markings, 15 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 1241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p258)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p258)
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: 249 markings, 248 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 2483 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2052)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2052)
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: 20 markings, 19 edges
lola: ========================================

FORMULA AutoFlight-PT-24b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p1962)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1962)
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: 150149 markings, 288418 edges, 30030 markings/sec, 0 secs
lola: 296289 markings, 607248 edges, 29228 markings/sec, 5 secs
lola: 428838 markings, 926854 edges, 26510 markings/sec, 10 secs
lola: 552498 markings, 1248522 edges, 24732 markings/sec, 15 secs
lola: 673989 markings, 1570157 edges, 24298 markings/sec, 20 secs
lola: 791347 markings, 1893411 edges, 23472 markings/sec, 25 secs
lola: 907648 markings, 2216449 edges, 23260 markings/sec, 30 secs
lola: 1023474 markings, 2539333 edges, 23165 markings/sec, 35 secs
lola: 1136061 markings, 2862415 edges, 22517 markings/sec, 40 secs
lola: 1250028 markings, 3187016 edges, 22793 markings/sec, 45 secs
lola: 1364520 markings, 3509452 edges, 22898 markings/sec, 50 secs
lola: 1477624 markings, 3832390 edges, 22621 markings/sec, 55 secs
lola: 1607327 markings, 4152819 edges, 25941 markings/sec, 60 secs
lola: 1743488 markings, 4472125 edges, 27232 markings/sec, 65 secs
lola: 1868550 markings, 4794069 edges, 25012 markings/sec, 70 secs
lola: 1991257 markings, 5116283 edges, 24541 markings/sec, 75 secs
lola: 2109927 markings, 5439517 edges, 23734 markings/sec, 80 secs
lola: 2229681 markings, 5764877 edges, 23951 markings/sec, 85 secs
lola: 2344800 markings, 6087707 edges, 23024 markings/sec, 90 secs
lola: 2461859 markings, 6408900 edges, 23412 markings/sec, 95 secs
lola: 2576555 markings, 6731739 edges, 22939 markings/sec, 100 secs
lola: 2689567 markings, 7054613 edges, 22602 markings/sec, 105 secs
lola: 2804280 markings, 7377435 edges, 22943 markings/sec, 110 secs
lola: 2916222 markings, 7701124 edges, 22388 markings/sec, 115 secs
lola: 3028728 markings, 8024778 edges, 22501 markings/sec, 120 secs
lola: 3140913 markings, 8346572 edges, 22437 markings/sec, 125 secs
lola: 3251626 markings, 8666003 edges, 22143 markings/sec, 130 secs
lola: 3391383 markings, 8984410 edges, 27951 markings/sec, 135 secs
lola: 3522248 markings, 9304218 edges, 26173 markings/sec, 140 secs
lola: 3646302 markings, 9625520 edges, 24811 markings/sec, 145 secs
lola: 3768067 markings, 9946421 edges, 24353 markings/sec, 150 secs
lola: 3884979 markings, 10270183 edges, 23382 markings/sec, 155 secs
lola: 4001974 markings, 10592288 edges, 23399 markings/sec, 160 secs
lola: 4117286 markings, 10915603 edges, 23062 markings/sec, 165 secs
lola: 4232897 markings, 11237717 edges, 23122 markings/sec, 170 secs
lola: 4344160 markings, 11562271 edges, 22253 markings/sec, 175 secs
lola: 4457949 markings, 11885578 edges, 22758 markings/sec, 180 secs
lola: 4572391 markings, 12208036 edges, 22888 markings/sec, 185 secs
lola: 4684194 markings, 12531414 edges, 22361 markings/sec, 190 secs
lola: 4797775 markings, 12853185 edges, 22716 markings/sec, 195 secs
lola: 4911272 markings, 13176078 edges, 22699 markings/sec, 200 secs
lola: 5022297 markings, 13499953 edges, 22205 markings/sec, 205 secs
lola: 5133723 markings, 13823338 edges, 22285 markings/sec, 210 secs
lola: 5245420 markings, 14145419 edges, 22339 markings/sec, 215 secs
lola: 5353717 markings, 14468114 edges, 21659 markings/sec, 220 secs
lola: 5460535 markings, 14789779 edges, 21364 markings/sec, 225 secs
lola: 5568004 markings, 15113309 edges, 21494 markings/sec, 230 secs
lola: 5673419 markings, 15438142 edges, 21083 markings/sec, 235 secs
lola: 5815965 markings, 15757387 edges, 28509 markings/sec, 240 secs
lola: 5948032 markings, 16077076 edges, 26413 markings/sec, 245 secs
lola: 6071825 markings, 16398503 edges, 24759 markings/sec, 250 secs
lola: 6195443 markings, 16719391 edges, 24724 markings/sec, 255 secs
lola: 6336373 markings, 17038663 edges, 28186 markings/sec, 260 secs
lola: 6464476 markings, 17360418 edges, 25621 markings/sec, 265 secs
lola: 6586446 markings, 17683854 edges, 24394 markings/sec, 270 secs
lola: 6708938 markings, 18006056 edges, 24498 markings/sec, 275 secs
lola: 6826990 markings, 18330109 edges, 23610 markings/sec, 280 secs
lola: 6944466 markings, 18655582 edges, 23495 markings/sec, 285 secs
lola: 7061061 markings, 18978928 edges, 23319 markings/sec, 290 secs
lola: 7174943 markings, 19302458 edges, 22776 markings/sec, 295 secs
lola: 7308539 markings, 19621372 edges, 26719 markings/sec, 300 secs
lola: 7444721 markings, 19940530 edges, 27236 markings/sec, 305 secs
lola: 7568031 markings, 20264359 edges, 24662 markings/sec, 310 secs
lola: 7690956 markings, 20586270 edges, 24585 markings/sec, 315 secs
lola: 7810537 markings, 20909080 edges, 23916 markings/sec, 320 secs
lola: 7928486 markings, 21232275 edges, 23590 markings/sec, 325 secs
lola: 8041777 markings, 21556578 edges, 22658 markings/sec, 330 secs
lola: 8156426 markings, 21879651 edges, 22930 markings/sec, 335 secs
lola: 8269806 markings, 22201970 edges, 22676 markings/sec, 340 secs
lola: 8384547 markings, 22523728 edges, 22948 markings/sec, 345 secs
lola: 8498423 markings, 22845337 edges, 22775 markings/sec, 350 secs
lola: 8612605 markings, 23167017 edges, 22836 markings/sec, 355 secs
lola: 8726361 markings, 23488864 edges, 22751 markings/sec, 360 secs
lola: 8837736 markings, 23810996 edges, 22275 markings/sec, 365 secs
lola: 8948420 markings, 24132662 edges, 22137 markings/sec, 370 secs
lola: 9057440 markings, 24456852 edges, 21804 markings/sec, 375 secs
lola: 9166539 markings, 24778895 edges, 21820 markings/sec, 380 secs
lola: 9274731 markings, 25101696 edges, 21638 markings/sec, 385 secs
lola: 9382292 markings, 25425249 edges, 21512 markings/sec, 390 secs
lola: 9492624 markings, 25749595 edges, 22066 markings/sec, 395 secs
lola: 9600355 markings, 26070094 edges, 21546 markings/sec, 400 secs
lola: 9734771 markings, 26391242 edges, 26883 markings/sec, 405 secs
lola: 9869435 markings, 26712197 edges, 26933 markings/sec, 410 secs
lola: 9995560 markings, 27033953 edges, 25225 markings/sec, 415 secs
lola: 10116895 markings, 27357382 edges, 24267 markings/sec, 420 secs
lola: 10237535 markings, 27681050 edges, 24128 markings/sec, 425 secs
lola: 10354735 markings, 28006037 edges, 23440 markings/sec, 430 secs
lola: 10470520 markings, 28331722 edges, 23157 markings/sec, 435 secs
lola: 10586101 markings, 28656879 edges, 23116 markings/sec, 440 secs
lola: 10700703 markings, 28981359 edges, 22920 markings/sec, 445 secs
lola: 10816840 markings, 29304809 edges, 23227 markings/sec, 450 secs
lola: 10928994 markings, 29629178 edges, 22431 markings/sec, 455 secs
lola: 11043107 markings, 29952319 edges, 22823 markings/sec, 460 secs
lola: 11154547 markings, 30280518 edges, 22288 markings/sec, 465 secs
lola: 11267825 markings, 30608985 edges, 22656 markings/sec, 470 secs
lola: 11379788 markings, 30934724 edges, 22393 markings/sec, 475 secs
lola: 11489226 markings, 31259031 edges, 21888 markings/sec, 480 secs
lola: 11600574 markings, 31581982 edges, 22270 markings/sec, 485 secs
lola: 11708804 markings, 31906973 edges, 21646 markings/sec, 490 secs
lola: 11818140 markings, 32231296 edges, 21867 markings/sec, 495 secs
lola: 11927001 markings, 32555644 edges, 21772 markings/sec, 500 secs
lola: 12033640 markings, 32881021 edges, 21328 markings/sec, 505 secs
lola: 12172979 markings, 33202426 edges, 27868 markings/sec, 510 secs
lola: 12305397 markings, 33524503 edges, 26484 markings/sec, 515 secs
lola: 12431108 markings, 33847235 edges, 25142 markings/sec, 520 secs
lola: 12553195 markings, 34169458 edges, 24417 markings/sec, 525 secs
lola: 12691864 markings, 34490865 edges, 27734 markings/sec, 530 secs
lola: 12824807 markings, 34813696 edges, 26589 markings/sec, 535 secs
lola: 12952628 markings, 35137108 edges, 25564 markings/sec, 540 secs
lola: 13075640 markings, 35461399 edges, 24602 markings/sec, 545 secs
lola: 13194577 markings, 35786666 edges, 23787 markings/sec, 550 secs
lola: 13313183 markings, 36112063 edges, 23721 markings/sec, 555 secs
lola: 13430815 markings, 36437297 edges, 23526 markings/sec, 560 secs
lola: 13547215 markings, 36762507 edges, 23280 markings/sec, 565 secs
lola: 13659721 markings, 37088952 edges, 22501 markings/sec, 570 secs
lola: 13773567 markings, 37413784 edges, 22769 markings/sec, 575 secs
lola: 13888032 markings, 37737413 edges, 22893 markings/sec, 580 secs
lola: 14000764 markings, 38061417 edges, 22546 markings/sec, 585 secs
lola: 14114564 markings, 38384404 edges, 22760 markings/sec, 590 secs
lola: 14228605 markings, 38707931 edges, 22808 markings/sec, 595 secs
lola: 14337894 markings, 39032720 edges, 21858 markings/sec, 600 secs
lola: 14448444 markings, 39358769 edges, 22110 markings/sec, 605 secs
lola: 14562457 markings, 39683213 edges, 22803 markings/sec, 610 secs
lola: 14674501 markings, 40009184 edges, 22409 markings/sec, 615 secs
lola: 14782752 markings, 40334620 edges, 21650 markings/sec, 620 secs
lola: 14896247 markings, 40660973 edges, 22699 markings/sec, 625 secs
lola: 15002036 markings, 40979363 edges, 21158 markings/sec, 630 secs
lola: 15109925 markings, 41303935 edges, 21578 markings/sec, 635 secs
lola: 15214775 markings, 41629695 edges, 20970 markings/sec, 640 secs
lola: 15321754 markings, 41956183 edges, 21396 markings/sec, 645 secs
lola: 15426951 markings, 42279959 edges, 21039 markings/sec, 650 secs
lola: 15532460 markings, 42606688 edges, 21102 markings/sec, 655 secs
lola: 15639309 markings, 42932310 edges, 21370 markings/sec, 660 secs
lola: 15743722 markings, 43260540 edges, 20883 markings/sec, 665 secs
lola: 15848069 markings, 43588351 edges, 20869 markings/sec, 670 secs
lola: 15961516 markings, 43913336 edges, 22689 markings/sec, 675 secs
lola: 16068082 markings, 44237868 edges, 21313 markings/sec, 680 secs
lola: 16172884 markings, 44564721 edges, 20960 markings/sec, 685 secs
lola: 16278050 markings, 44890922 edges, 21033 markings/sec, 690 secs
lola: 16384570 markings, 45217252 edges, 21304 markings/sec, 695 secs
lola: 16494531 markings, 45545469 edges, 21992 markings/sec, 700 secs
lola: 16601451 markings, 45872372 edges, 21384 markings/sec, 705 secs
lola: 16706375 markings, 46199220 edges, 20985 markings/sec, 710 secs
lola: 16812541 markings, 46524805 edges, 21233 markings/sec, 715 secs
lola: 16921457 markings, 46849398 edges, 21783 markings/sec, 720 secs
lola: 17027516 markings, 47175070 edges, 21212 markings/sec, 725 secs
lola: 17136732 markings, 47498877 edges, 21843 markings/sec, 730 secs
lola: 17246972 markings, 47822722 edges, 22048 markings/sec, 735 secs
lola: 17360704 markings, 48145390 edges, 22746 markings/sec, 740 secs
lola: 17472777 markings, 48467654 edges, 22415 markings/sec, 745 secs
lola: 17584064 markings, 48789503 edges, 22257 markings/sec, 750 secs
lola: 17699974 markings, 49111438 edges, 23182 markings/sec, 755 secs
lola: 17812644 markings, 49432943 edges, 22534 markings/sec, 760 secs
lola: 17926081 markings, 49755156 edges, 22687 markings/sec, 765 secs
lola: 18039092 markings, 50076740 edges, 22602 markings/sec, 770 secs
lola: 18151565 markings, 50397448 edges, 22495 markings/sec, 775 secs
lola: 18266130 markings, 50716870 edges, 22913 markings/sec, 780 secs
lola: 18379405 markings, 51038603 edges, 22655 markings/sec, 785 secs
lola: 18494210 markings, 51359929 edges, 22961 markings/sec, 790 secs
lola: 18606111 markings, 51681507 edges, 22380 markings/sec, 795 secs
lola: 18717421 markings, 52003128 edges, 22262 markings/sec, 800 secs
lola: 18829841 markings, 52325474 edges, 22484 markings/sec, 805 secs
lola: 18941537 markings, 52646692 edges, 22339 markings/sec, 810 secs
lola: 19053178 markings, 52968277 edges, 22328 markings/sec, 815 secs
lola: 19164138 markings, 53291338 edges, 22192 markings/sec, 820 secs
lola: 19273408 markings, 53614570 edges, 21854 markings/sec, 825 secs
lola: 19384180 markings, 53938324 edges, 22154 markings/sec, 830 secs
lola: 19492584 markings, 54262863 edges, 21681 markings/sec, 835 secs
lola: 19600767 markings, 54587227 edges, 21637 markings/sec, 840 secs
lola: 19709626 markings, 54910520 edges, 21772 markings/sec, 845 secs
lola: 19818521 markings, 55229302 edges, 21779 markings/sec, 850 secs
lola: 19924724 markings, 55554496 edges, 21241 markings/sec, 855 secs
lola: 20033014 markings, 55878207 edges, 21658 markings/sec, 860 secs
lola: 20139760 markings, 56202343 edges, 21349 markings/sec, 865 secs
lola: 20245928 markings, 56526828 edges, 21234 markings/sec, 870 secs
lola: 20355470 markings, 56848271 edges, 21908 markings/sec, 875 secs
lola: 20462316 markings, 57171665 edges, 21369 markings/sec, 880 secs
lola: 20570405 markings, 57494749 edges, 21618 markings/sec, 885 secs
lola: 20677124 markings, 57818485 edges, 21344 markings/sec, 890 secs
lola: 20784111 markings, 58141612 edges, 21397 markings/sec, 895 secs
lola: 20892696 markings, 58464109 edges, 21717 markings/sec, 900 secs
lola: 20998783 markings, 58787528 edges, 21217 markings/sec, 905 secs
lola: 21104550 markings, 59112125 edges, 21153 markings/sec, 910 secs
lola: 21211118 markings, 59435016 edges, 21314 markings/sec, 915 secs
lola: 21319237 markings, 59758013 edges, 21624 markings/sec, 920 secs
lola: 21425686 markings, 60081632 edges, 21290 markings/sec, 925 secs
lola: 21528410 markings, 60407478 edges, 20545 markings/sec, 930 secs
lola: 21632402 markings, 60732847 edges, 20798 markings/sec, 935 secs
lola: 21737089 markings, 61058025 edges, 20937 markings/sec, 940 secs
lola: 21842038 markings, 61383334 edges, 20990 markings/sec, 945 secs
lola: 21944958 markings, 61708648 edges, 20584 markings/sec, 950 secs
lola: 22050187 markings, 62031676 edges, 21046 markings/sec, 955 secs
lola: 22156138 markings, 62354870 edges, 21190 markings/sec, 960 secs
lola: 22262000 markings, 62678121 edges, 21172 markings/sec, 965 secs
lola: 22365590 markings, 63003788 edges, 20718 markings/sec, 970 secs
lola: 22471993 markings, 63329517 edges, 21281 markings/sec, 975 secs
lola: 22577092 markings, 63654049 edges, 21020 markings/sec, 980 secs
lola: 22676935 markings, 63981917 edges, 19969 markings/sec, 985 secs
lola: 22782036 markings, 64306371 edges, 21020 markings/sec, 990 secs
lola: 22885324 markings, 64631702 edges, 20658 markings/sec, 995 secs
lola: 22989284 markings, 64956151 edges, 20792 markings/sec, 1000 secs
lola: 23089785 markings, 65283135 edges, 20100 markings/sec, 1005 secs
lola: 23196643 markings, 65606425 edges, 21372 markings/sec, 1010 secs
lola: 23297110 markings, 65932888 edges, 20093 markings/sec, 1015 secs
lola: 23400674 markings, 66257712 edges, 20713 markings/sec, 1020 secs
lola: 23503171 markings, 66583081 edges, 20499 markings/sec, 1025 secs
lola: 23601013 markings, 66912032 edges, 19568 markings/sec, 1030 secs
lola: 23703927 markings, 67237708 edges, 20583 markings/sec, 1035 secs
lola: 23807549 markings, 67562688 edges, 20724 markings/sec, 1040 secs
lola: 23907795 markings, 67889066 edges, 20049 markings/sec, 1045 secs
lola: 24009838 markings, 68214144 edges, 20409 markings/sec, 1050 secs
lola: 24112922 markings, 68537957 edges, 20617 markings/sec, 1055 secs
lola: 24213892 markings, 68862761 edges, 20194 markings/sec, 1060 secs
lola: 24315629 markings, 69187530 edges, 20347 markings/sec, 1065 secs
lola: 24413305 markings, 69514462 edges, 19535 markings/sec, 1070 secs
lola: 24513547 markings, 69839952 edges, 20048 markings/sec, 1075 secs
lola: 24615597 markings, 70163960 edges, 20410 markings/sec, 1080 secs
lola: 24715250 markings, 70490680 edges, 19931 markings/sec, 1085 secs
lola: 24816127 markings, 70814684 edges, 20175 markings/sec, 1090 secs
lola: 24915464 markings, 71140101 edges, 19867 markings/sec, 1095 secs
lola: 25013450 markings, 71467109 edges, 19597 markings/sec, 1100 secs
lola: 25115056 markings, 71791948 edges, 20321 markings/sec, 1105 secs
lola: 25216771 markings, 72115642 edges, 20343 markings/sec, 1110 secs
lola: 25316753 markings, 72441631 edges, 19996 markings/sec, 1115 secs
lola: 25416684 markings, 72766904 edges, 19986 markings/sec, 1120 secs
lola: 25515698 markings, 73088487 edges, 19803 markings/sec, 1125 secs
lola: 25616673 markings, 73412584 edges, 20195 markings/sec, 1130 secs
lola: 25714600 markings, 73740346 edges, 19585 markings/sec, 1135 secs
lola: 25815555 markings, 74065352 edges, 20191 markings/sec, 1140 secs
lola: 25915129 markings, 74390785 edges, 19915 markings/sec, 1145 secs
lola: 26013830 markings, 74717109 edges, 19740 markings/sec, 1150 secs
lola: 26115143 markings, 75041500 edges, 20263 markings/sec, 1155 secs
lola: 26216110 markings, 75365652 edges, 20193 markings/sec, 1160 secs
lola: 26314032 markings, 75691187 edges, 19584 markings/sec, 1165 secs
lola: 26413430 markings, 76016519 edges, 19880 markings/sec, 1170 secs
lola: 26513612 markings, 76340508 edges, 20036 markings/sec, 1175 secs
lola: 26612264 markings, 76666358 edges, 19730 markings/sec, 1180 secs
lola: 26710168 markings, 76992141 edges, 19581 markings/sec, 1185 secs
lola: 26808833 markings, 77311368 edges, 19733 markings/sec, 1190 secs
lola: 26909022 markings, 77635666 edges, 20038 markings/sec, 1195 secs
lola: 27008722 markings, 77958514 edges, 19940 markings/sec, 1200 secs
lola: 27106019 markings, 78283058 edges, 19459 markings/sec, 1205 secs
lola: 27203924 markings, 78606781 edges, 19581 markings/sec, 1210 secs
lola: 27303718 markings, 78929860 edges, 19959 markings/sec, 1215 secs
lola: 27401959 markings, 79253230 edges, 19648 markings/sec, 1220 secs
lola: 27500201 markings, 79575505 edges, 19648 markings/sec, 1225 secs
lola: 27601508 markings, 79890653 edges, 20261 markings/sec, 1230 secs
lola: 27700312 markings, 80206052 edges, 19761 markings/sec, 1235 secs
lola: 27795852 markings, 80511203 edges, 19108 markings/sec, 1240 secs
lola: 27892512 markings, 80828307 edges, 19332 markings/sec, 1245 secs
lola: 27988617 markings, 81154327 edges, 19221 markings/sec, 1250 secs
lola: 28085962 markings, 81477806 edges, 19469 markings/sec, 1255 secs
lola: 28182394 markings, 81804137 edges, 19286 markings/sec, 1260 secs
lola: 28277589 markings, 82120164 edges, 19039 markings/sec, 1265 secs
lola: 28367081 markings, 82404552 edges, 17898 markings/sec, 1270 secs
lola: 28452961 markings, 82692048 edges, 17176 markings/sec, 1275 secs
lola: 28539550 markings, 82978757 edges, 17318 markings/sec, 1280 secs
lola: 28626132 markings, 83265399 edges, 17316 markings/sec, 1285 secs
lola: 28713471 markings, 83550872 edges, 17468 markings/sec, 1290 secs
lola: 28801833 markings, 83846454 edges, 17672 markings/sec, 1295 secs
lola: 28900554 markings, 84171538 edges, 19744 markings/sec, 1300 secs
lola: 28999934 markings, 84496197 edges, 19876 markings/sec, 1305 secs
lola: 29099316 markings, 84818613 edges, 19876 markings/sec, 1310 secs
lola: 29195011 markings, 85145224 edges, 19139 markings/sec, 1315 secs
lola: 29291907 markings, 85470917 edges, 19379 markings/sec, 1320 secs
lola: 29390689 markings, 85794455 edges, 19756 markings/sec, 1325 secs
lola: 29476065 markings, 86081288 edges, 17075 markings/sec, 1330 secs
lola: 29565300 markings, 86371588 edges, 17847 markings/sec, 1335 secs
lola: 29648480 markings, 86660087 edges, 16636 markings/sec, 1340 secs
lola: 29739688 markings, 86963143 edges, 18242 markings/sec, 1345 secs
lola: 29834674 markings, 87277323 edges, 18997 markings/sec, 1350 secs
lola: 29930377 markings, 87590902 edges, 19141 markings/sec, 1355 secs
lola: 30023183 markings, 87905563 edges, 18561 markings/sec, 1360 secs
lola: 30122842 markings, 88228675 edges, 19932 markings/sec, 1365 secs
lola: 30221344 markings, 88552743 edges, 19700 markings/sec, 1370 secs
lola: 30319927 markings, 88876440 edges, 19717 markings/sec, 1375 secs
lola: 30418761 markings, 89200076 edges, 19767 markings/sec, 1380 secs
lola: 30515747 markings, 89524955 edges, 19397 markings/sec, 1385 secs
lola: 30613967 markings, 89848888 edges, 19644 markings/sec, 1390 secs
lola: 30714475 markings, 90171044 edges, 20102 markings/sec, 1395 secs
lola: 30812084 markings, 90494998 edges, 19522 markings/sec, 1400 secs
lola: 30906456 markings, 90818308 edges, 18874 markings/sec, 1405 secs
lola: 31001559 markings, 91131695 edges, 19021 markings/sec, 1410 secs
lola: 31094014 markings, 91454182 edges, 18491 markings/sec, 1415 secs
lola: 31191284 markings, 91777834 edges, 19454 markings/sec, 1420 secs
lola: 31286759 markings, 92097898 edges, 19095 markings/sec, 1425 secs
lola: 31376606 markings, 92416105 edges, 17969 markings/sec, 1430 secs
lola: 31476980 markings, 92736853 edges, 20075 markings/sec, 1435 secs
lola: 31572648 markings, 93060020 edges, 19134 markings/sec, 1440 secs
lola: 31668579 markings, 93384292 edges, 19186 markings/sec, 1445 secs
lola: 31762534 markings, 93702657 edges, 18791 markings/sec, 1450 secs
lola: 31857576 markings, 94027122 edges, 19008 markings/sec, 1455 secs
lola: 31952059 markings, 94352130 edges, 18897 markings/sec, 1460 secs
lola: 32047880 markings, 94672245 edges, 19164 markings/sec, 1465 secs
lola: 32142146 markings, 94990594 edges, 18853 markings/sec, 1470 secs
lola: 32234147 markings, 95308211 edges, 18400 markings/sec, 1475 secs
lola: 32328811 markings, 95633668 edges, 18933 markings/sec, 1480 secs
lola: 32422979 markings, 95947945 edges, 18834 markings/sec, 1485 secs
lola: 32515641 markings, 96265786 edges, 18532 markings/sec, 1490 secs
lola: 32607794 markings, 96593614 edges, 18431 markings/sec, 1495 secs
lola: 32703544 markings, 96918708 edges, 19150 markings/sec, 1500 secs
lola: 32797999 markings, 97245752 edges, 18891 markings/sec, 1505 secs
lola: 32893419 markings, 97570493 edges, 19084 markings/sec, 1510 secs
lola: 32988049 markings, 97897203 edges, 18926 markings/sec, 1515 secs
lola: 33082574 markings, 98223482 edges, 18905 markings/sec, 1520 secs
lola: 33178413 markings, 98547840 edges, 19168 markings/sec, 1525 secs
lola: 33272354 markings, 98874098 edges, 18788 markings/sec, 1530 secs
lola: 33365676 markings, 99200716 edges, 18664 markings/sec, 1535 secs
lola: 33462682 markings, 99523956 edges, 19401 markings/sec, 1540 secs
lola: 33557153 markings, 99847936 edges, 18894 markings/sec, 1545 secs
lola: 33647466 markings, 100174935 edges, 18063 markings/sec, 1550 secs
lola: 33742802 markings, 100499151 edges, 19067 markings/sec, 1555 secs
lola: 33837134 markings, 100823255 edges, 18866 markings/sec, 1560 secs
lola: 33933258 markings, 101149360 edges, 19225 markings/sec, 1565 secs
lola: 34026124 markings, 101475651 edges, 18573 markings/sec, 1570 secs
lola: 34117096 markings, 101802195 edges, 18194 markings/sec, 1575 secs
lola: 34213155 markings, 102126932 edges, 19212 markings/sec, 1580 secs
lola: 34307118 markings, 102452661 edges, 18793 markings/sec, 1585 secs
lola: 34402597 markings, 102776951 edges, 19096 markings/sec, 1590 secs
lola: 34499940 markings, 103101479 edges, 19469 markings/sec, 1595 secs
lola: 34596830 markings, 103425589 edges, 19378 markings/sec, 1600 secs
lola: 34694235 markings, 103748438 edges, 19481 markings/sec, 1605 secs
lola: 34788701 markings, 104073744 edges, 18893 markings/sec, 1610 secs
lola: 34887301 markings, 104395885 edges, 19720 markings/sec, 1615 secs
lola: 34980578 markings, 104722237 edges, 18655 markings/sec, 1620 secs
lola: 35074887 markings, 105048810 edges, 18862 markings/sec, 1625 secs
lola: 35169693 markings, 105374613 edges, 18961 markings/sec, 1630 secs
lola: 35264983 markings, 105699025 edges, 19058 markings/sec, 1635 secs
lola: 35359380 markings, 106023689 edges, 18879 markings/sec, 1640 secs
lola: 35452387 markings, 106350095 edges, 18601 markings/sec, 1645 secs
lola: 35546866 markings, 106673950 edges, 18896 markings/sec, 1650 secs
lola: 35642819 markings, 106993027 edges, 19191 markings/sec, 1655 secs
lola: 35737702 markings, 107313802 edges, 18977 markings/sec, 1660 secs
lola: 35832798 markings, 107637980 edges, 19019 markings/sec, 1665 secs
lola: 35926389 markings, 107962895 edges, 18718 markings/sec, 1670 secs
lola: 36024326 markings, 108285735 edges, 19587 markings/sec, 1675 secs
lola: 36119090 markings, 108609920 edges, 18953 markings/sec, 1680 secs
lola: 36214558 markings, 108934376 edges, 19094 markings/sec, 1685 secs
lola: 36311158 markings, 109258214 edges, 19320 markings/sec, 1690 secs
lola: 36408539 markings, 109580458 edges, 19476 markings/sec, 1695 secs
lola: 36506294 markings, 109901682 edges, 19551 markings/sec, 1700 secs
lola: 36600220 markings, 110224804 edges, 18785 markings/sec, 1705 secs
lola: 36693421 markings, 110540244 edges, 18640 markings/sec, 1710 secs
lola: 36787079 markings, 110859335 edges, 18732 markings/sec, 1715 secs
lola: 36884238 markings, 111182884 edges, 19432 markings/sec, 1720 secs
lola: 36977726 markings, 111500661 edges, 18698 markings/sec, 1725 secs
lola: 37073852 markings, 111821305 edges, 19225 markings/sec, 1730 secs
lola: 37168743 markings, 112146613 edges, 18978 markings/sec, 1735 secs
lola: 37263585 markings, 112470485 edges, 18968 markings/sec, 1740 secs
lola: 37356482 markings, 112794409 edges, 18579 markings/sec, 1745 secs
lola: 37451991 markings, 113117946 edges, 19102 markings/sec, 1750 secs
lola: 37544824 markings, 113443770 edges, 18567 markings/sec, 1755 secs
lola: 37639755 markings, 113767168 edges, 18986 markings/sec, 1760 secs
lola: 37735904 markings, 114091205 edges, 19230 markings/sec, 1765 secs
lola: 37831329 markings, 114415669 edges, 19085 markings/sec, 1770 secs
lola: 37924536 markings, 114738889 edges, 18641 markings/sec, 1775 secs
lola: 38021065 markings, 115060428 edges, 19306 markings/sec, 1780 secs
lola: 38115292 markings, 115385140 edges, 18845 markings/sec, 1785 secs
lola: 38233366 markings, 115707522 edges, 23615 markings/sec, 1790 secs
lola: 38373079 markings, 116028010 edges, 27943 markings/sec, 1795 secs
lola: 38498854 markings, 116352651 edges, 25155 markings/sec, 1800 secs
lola: 38621450 markings, 116678459 edges, 24519 markings/sec, 1805 secs
lola: 38744959 markings, 117002621 edges, 24702 markings/sec, 1810 secs
lola: 38863713 markings, 117329089 edges, 23751 markings/sec, 1815 secs
lola: 38982664 markings, 117654207 edges, 23790 markings/sec, 1820 secs
lola: 39096601 markings, 117979306 edges, 22787 markings/sec, 1825 secs
lola: 39210533 markings, 118303257 edges, 22786 markings/sec, 1830 secs
lola: 39322509 markings, 118617261 edges, 22395 markings/sec, 1835 secs
lola: 39432173 markings, 118931603 edges, 21933 markings/sec, 1840 secs
lola: 39542084 markings, 119245216 edges, 21982 markings/sec, 1845 secs
lola: 39651370 markings, 119558776 edges, 21857 markings/sec, 1850 secs
lola: 39762155 markings, 119872290 edges, 22157 markings/sec, 1855 secs
lola: 39874144 markings, 120188983 edges, 22398 markings/sec, 1860 secs
lola: 39984284 markings, 120510936 edges, 22028 markings/sec, 1865 secs
lola: 40095912 markings, 120834565 edges, 22326 markings/sec, 1870 secs
lola: 40205330 markings, 121160471 edges, 21884 markings/sec, 1875 secs
lola: 40317347 markings, 121484798 edges, 22403 markings/sec, 1880 secs
lola: 40427728 markings, 121809686 edges, 22076 markings/sec, 1885 secs
lola: 40540589 markings, 122134616 edges, 22572 markings/sec, 1890 secs
lola: 40648381 markings, 122460175 edges, 21558 markings/sec, 1895 secs
lola: 40754062 markings, 122786968 edges, 21136 markings/sec, 1900 secs
lola: 40862800 markings, 123112037 edges, 21748 markings/sec, 1905 secs
lola: 40970700 markings, 123437147 edges, 21580 markings/sec, 1910 secs
lola: 41078079 markings, 123762643 edges, 21476 markings/sec, 1915 secs
lola: 41182869 markings, 124089380 edges, 20958 markings/sec, 1920 secs
lola: 41293552 markings, 124415241 edges, 22137 markings/sec, 1925 secs
lola: 41399836 markings, 124741638 edges, 21257 markings/sec, 1930 secs
lola: 41500967 markings, 125067059 edges, 20226 markings/sec, 1935 secs
lola: 41606417 markings, 125393828 edges, 21090 markings/sec, 1940 secs
lola: 41709538 markings, 125722193 edges, 20624 markings/sec, 1945 secs
lola: 41815784 markings, 126049917 edges, 21249 markings/sec, 1950 secs
lola: 41919983 markings, 126378876 edges, 20840 markings/sec, 1955 secs
lola: 42024904 markings, 126705707 edges, 20984 markings/sec, 1960 secs
lola: 42130856 markings, 127033435 edges, 21190 markings/sec, 1965 secs
lola: 42234653 markings, 127361057 edges, 20759 markings/sec, 1970 secs
lola: 42342307 markings, 127687135 edges, 21531 markings/sec, 1975 secs
lola: 42451690 markings, 128012387 edges, 21877 markings/sec, 1980 secs
lola: 42562685 markings, 128334496 edges, 22199 markings/sec, 1985 secs
lola: 42672840 markings, 128655796 edges, 22031 markings/sec, 1990 secs
lola: 42785617 markings, 128974604 edges, 22555 markings/sec, 1995 secs
lola: 42901623 markings, 129294699 edges, 23201 markings/sec, 2000 secs
lola: 43011940 markings, 129609048 edges, 22063 markings/sec, 2005 secs
lola: 43121445 markings, 129921811 edges, 21901 markings/sec, 2010 secs
lola: 43232152 markings, 130240294 edges, 22141 markings/sec, 2015 secs
lola: 43342933 markings, 130561561 edges, 22156 markings/sec, 2020 secs
lola: 43457203 markings, 130882644 edges, 22854 markings/sec, 2025 secs
lola: 43568718 markings, 131204941 edges, 22303 markings/sec, 2030 secs
lola: 43680405 markings, 131529434 edges, 22337 markings/sec, 2035 secs
lola: 43795170 markings, 131852605 edges, 22953 markings/sec, 2040 secs
lola: 43910767 markings, 132174538 edges, 23119 markings/sec, 2045 secs
lola: 44022906 markings, 132497040 edges, 22428 markings/sec, 2050 secs
lola: 44135745 markings, 132819607 edges, 22568 markings/sec, 2055 secs
lola: 44251061 markings, 133140602 edges, 23063 markings/sec, 2060 secs
lola: 44360831 markings, 133464452 edges, 21954 markings/sec, 2065 secs
lola: 44473787 markings, 133787115 edges, 22591 markings/sec, 2070 secs
lola: 44582576 markings, 134111191 edges, 21758 markings/sec, 2075 secs
lola: 44693593 markings, 134433640 edges, 22203 markings/sec, 2080 secs
lola: 44803391 markings, 134755771 edges, 21960 markings/sec, 2085 secs
lola: 44914379 markings, 135079589 edges, 22198 markings/sec, 2090 secs
lola: 45018272 markings, 135394304 edges, 20779 markings/sec, 2095 secs
lola: 45126402 markings, 135709922 edges, 21626 markings/sec, 2100 secs
lola: 45235904 markings, 136037215 edges, 21900 markings/sec, 2105 secs
lola: 45342023 markings, 136362183 edges, 21224 markings/sec, 2110 secs
lola: 45450501 markings, 136685905 edges, 21696 markings/sec, 2115 secs
lola: 45558322 markings, 137010759 edges, 21564 markings/sec, 2120 secs
lola: 45666209 markings, 137335154 edges, 21577 markings/sec, 2125 secs
lola: 45776499 markings, 137657678 edges, 22058 markings/sec, 2130 secs
lola: 45884515 markings, 137981851 edges, 21603 markings/sec, 2135 secs
lola: 45993044 markings, 138304998 edges, 21706 markings/sec, 2140 secs
lola: 46096903 markings, 138630885 edges, 20772 markings/sec, 2145 secs
lola: 46202273 markings, 138955802 edges, 21074 markings/sec, 2150 secs
lola: 46309917 markings, 139279163 edges, 21529 markings/sec, 2155 secs
lola: 46416961 markings, 139602641 edges, 21409 markings/sec, 2160 secs
lola: 46522997 markings, 139927905 edges, 21207 markings/sec, 2165 secs
lola: 46630701 markings, 140250314 edges, 21541 markings/sec, 2170 secs
lola: 46736830 markings, 140573613 edges, 21226 markings/sec, 2175 secs
lola: 46845239 markings, 140895889 edges, 21682 markings/sec, 2180 secs
lola: 46954825 markings, 141216691 edges, 21917 markings/sec, 2185 secs
lola: 47058826 markings, 141541232 edges, 20800 markings/sec, 2190 secs
lola: 47162641 markings, 141866273 edges, 20763 markings/sec, 2195 secs
lola: 47267021 markings, 142190900 edges, 20876 markings/sec, 2200 secs
lola: 47373313 markings, 142514688 edges, 21258 markings/sec, 2205 secs
lola: 47477736 markings, 142838401 edges, 20885 markings/sec, 2210 secs
lola: 47582492 markings, 143161455 edges, 20951 markings/sec, 2215 secs
lola: 47687119 markings, 143485737 edges, 20925 markings/sec, 2220 secs
lola: 47794071 markings, 143808900 edges, 21390 markings/sec, 2225 secs
lola: 47898623 markings, 144128645 edges, 20910 markings/sec, 2230 secs
lola: 47997148 markings, 144445768 edges, 19705 markings/sec, 2235 secs
lola: 48099231 markings, 144769332 edges, 20417 markings/sec, 2240 secs
lola: 48203135 markings, 145091855 edges, 20781 markings/sec, 2245 secs
lola: 48305202 markings, 145416837 edges, 20413 markings/sec, 2250 secs
lola: 48406008 markings, 145743783 edges, 20161 markings/sec, 2255 secs
lola: 48508364 markings, 146068138 edges, 20471 markings/sec, 2260 secs
lola: 48613096 markings, 146392479 edges, 20946 markings/sec, 2265 secs
lola: 48716464 markings, 146716751 edges, 20674 markings/sec, 2270 secs
lola: 48819528 markings, 147042221 edges, 20613 markings/sec, 2275 secs
lola: 48921636 markings, 147366886 edges, 20422 markings/sec, 2280 secs
lola: 49025206 markings, 147690349 edges, 20714 markings/sec, 2285 secs
lola: 49129121 markings, 148014131 edges, 20783 markings/sec, 2290 secs
lola: 49232346 markings, 148337762 edges, 20645 markings/sec, 2295 secs
lola: 49335088 markings, 148661778 edges, 20548 markings/sec, 2300 secs
lola: 49437244 markings, 148986576 edges, 20431 markings/sec, 2305 secs
lola: 49539279 markings, 149312372 edges, 20407 markings/sec, 2310 secs
lola: 49641804 markings, 149636878 edges, 20505 markings/sec, 2315 secs
lola: 49742368 markings, 149962513 edges, 20113 markings/sec, 2320 secs
lola: 49843041 markings, 150288013 edges, 20135 markings/sec, 2325 secs
lola: 49945986 markings, 150611756 edges, 20589 markings/sec, 2330 secs
lola: 50045612 markings, 150937147 edges, 19925 markings/sec, 2335 secs
lola: 50144019 markings, 151264155 edges, 19681 markings/sec, 2340 secs
lola: 50244741 markings, 151589557 edges, 20144 markings/sec, 2345 secs
lola: 50344497 markings, 151915127 edges, 19951 markings/sec, 2350 secs
lola: 50443906 markings, 152240959 edges, 19882 markings/sec, 2355 secs
lola: 50542543 markings, 152567261 edges, 19727 markings/sec, 2360 secs
lola: 50643848 markings, 152893730 edges, 20261 markings/sec, 2365 secs
lola: 50746771 markings, 153217461 edges, 20585 markings/sec, 2370 secs
lola: 50846980 markings, 153543296 edges, 20042 markings/sec, 2375 secs
lola: 50947517 markings, 153868995 edges, 20107 markings/sec, 2380 secs
lola: 51046752 markings, 154195590 edges, 19847 markings/sec, 2385 secs
lola: 51144439 markings, 154520394 edges, 19537 markings/sec, 2390 secs
lola: 51240226 markings, 154838928 edges, 19157 markings/sec, 2395 secs
lola: 51335965 markings, 155146754 edges, 19148 markings/sec, 2400 secs
lola: 51429314 markings, 155462669 edges, 18670 markings/sec, 2405 secs
lola: 51525874 markings, 155776693 edges, 19312 markings/sec, 2410 secs
lola: 51623943 markings, 156091110 edges, 19614 markings/sec, 2415 secs
lola: 51721022 markings, 156407468 edges, 19416 markings/sec, 2420 secs
lola: 51817947 markings, 156721521 edges, 19385 markings/sec, 2425 secs
lola: 51912099 markings, 157034261 edges, 18830 markings/sec, 2430 secs
lola: 52008748 markings, 157348810 edges, 19330 markings/sec, 2435 secs
lola: 52098666 markings, 157644277 edges, 17984 markings/sec, 2440 secs
lola: 52195001 markings, 157955267 edges, 19267 markings/sec, 2445 secs
lola: 52289908 markings, 158255152 edges, 18981 markings/sec, 2450 secs
lola: 52388924 markings, 158571379 edges, 19803 markings/sec, 2455 secs
lola: 52491708 markings, 158901565 edges, 20557 markings/sec, 2460 secs
lola: 52588916 markings, 159214807 edges, 19442 markings/sec, 2465 secs
lola: 52677265 markings, 159499734 edges, 17670 markings/sec, 2470 secs
lola: 52764019 markings, 159791750 edges, 17351 markings/sec, 2475 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 1 1 1 1 1 unknown 1 1 1
lola:
preliminary result: 1 1 unknown 1 1 1 1 1 1 1 1 1 unknown 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 1 1 1 1 1 1 1 1 unknown 1 1 1
lola: memory consumption: 8622780 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 1 1 1 1 1 1 1 1 unknown 1 1 1
lola: memory consumption: 8623268 KB
lola: time consumption: 3570 seconds

BK_STOP 1552403621113

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

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AutoFlight-PT-24b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
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 r022-csrt-155225094500067"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-24b.tgz
mv AutoFlight-PT-24b execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;