Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r110-oct2-155272242300112.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 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 Parking-PT-432, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r110-oct2-155272242300112
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 340K
-rw-r--r-- 1 mcc users 3.1K Feb 12 03:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 12 03:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 8 02:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 8 02:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 101 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 339 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 5 00:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.2K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Feb 4 07:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 4 07:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 1 01:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 1 01:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:22 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 192K 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 Parking-PT-432-UpperBounds-00
FORMULA_NAME Parking-PT-432-UpperBounds-01
FORMULA_NAME Parking-PT-432-UpperBounds-02
FORMULA_NAME Parking-PT-432-UpperBounds-03
FORMULA_NAME Parking-PT-432-UpperBounds-04
FORMULA_NAME Parking-PT-432-UpperBounds-05
FORMULA_NAME Parking-PT-432-UpperBounds-06
FORMULA_NAME Parking-PT-432-UpperBounds-07
FORMULA_NAME Parking-PT-432-UpperBounds-08
FORMULA_NAME Parking-PT-432-UpperBounds-09
FORMULA_NAME Parking-PT-432-UpperBounds-10
FORMULA_NAME Parking-PT-432-UpperBounds-11
FORMULA_NAME Parking-PT-432-UpperBounds-12
FORMULA_NAME Parking-PT-432-UpperBounds-13
FORMULA_NAME Parking-PT-432-UpperBounds-14
FORMULA_NAME Parking-PT-432-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1553035425009

info: Time: 3600 - MCC
===========================================================================================
prep: translating Parking-PT-432 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Parking-PT-432 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Parking-PT-432 @ 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: 1314/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 529
lola: finding significant places
lola: 529 places, 785 transitions, 405 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 510 transition conflict sets
lola: TASK
lola: reading formula from Parking-PT-432-UpperBounds.task
lola: MAX(p282) : MAX(p221) : MAX(p384) : MAX(p416) : MAX(p411) : MAX(p35) : MAX(p253) : MAX(p373) : MAX(p156) : MAX(p439) : MAX(p398) : MAX(p234) : MAX(p99) : MAX(p360) : MAX(p346) : MAX(p384)
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(p282)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p282)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 2 markings, 1 edges
lola: ========================================

FORMULA Parking-PT-432-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p221)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p221)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 3 markings, 2 edges
lola:
FORMULA Parking-PT-432-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p384)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p384)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 25 markings, 24 edges
lola: ========================================

FORMULA Parking-PT-432-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(p416)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p416)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 2 markings, 1 edges
lola: ========================================

FORMULA Parking-PT-432-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(p411)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p411)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 3 markings, 2 edges
lola: ========================================

FORMULA Parking-PT-432-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(p35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p35)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 3 markings, 2 edges
lola: ========================================

FORMULA Parking-PT-432-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p253)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p253)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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 Parking-PT-432-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p373)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p373)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 36 markings, 35 edges
lola: ========================================

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

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

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

FORMULA Parking-PT-432-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 714 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p234)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p234)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 7 markings, 6 edges
lola: ========================================

FORMULA Parking-PT-432-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p99)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 606539 markings, 1681937 edges, 121308 markings/sec, 0 secs
lola: 1214433 markings, 3374046 edges, 121579 markings/sec, 5 secs
lola: 1784760 markings, 5014227 edges, 114065 markings/sec, 10 secs
lola: 2360683 markings, 6643663 edges, 115185 markings/sec, 15 secs
lola: 2907812 markings, 8191195 edges, 109426 markings/sec, 20 secs
lola: 3508045 markings, 9861193 edges, 120047 markings/sec, 25 secs
lola: 4076835 markings, 11472350 edges, 113758 markings/sec, 30 secs
lola: 4642242 markings, 13098074 edges, 113081 markings/sec, 35 secs
lola: 5185679 markings, 14635203 edges, 108687 markings/sec, 40 secs
lola: 5761249 markings, 16239392 edges, 115114 markings/sec, 45 secs
lola: 6335537 markings, 17840619 edges, 114858 markings/sec, 50 secs
lola: 6960679 markings, 19582494 edges, 125028 markings/sec, 55 secs
lola: 7553337 markings, 21282254 edges, 118532 markings/sec, 60 secs
lola: 8104776 markings, 22820533 edges, 110288 markings/sec, 65 secs
lola: 8655829 markings, 24395049 edges, 110211 markings/sec, 70 secs
lola: 9204366 markings, 25962114 edges, 109707 markings/sec, 75 secs
lola: 9780289 markings, 27565664 edges, 115185 markings/sec, 80 secs
lola: 10354224 markings, 29222383 edges, 114787 markings/sec, 85 secs
lola: 10923399 markings, 30841570 edges, 113835 markings/sec, 90 secs
lola: 11498730 markings, 32440229 edges, 115066 markings/sec, 95 secs
lola: 12102325 markings, 34147866 edges, 120719 markings/sec, 100 secs
lola: 12652990 markings, 35706102 edges, 110133 markings/sec, 105 secs
lola: 13219063 markings, 37334887 edges, 113215 markings/sec, 110 secs
lola: 13775747 markings, 38881838 edges, 111337 markings/sec, 115 secs
lola: 14385832 markings, 40605821 edges, 122017 markings/sec, 120 secs
lola: 14929744 markings, 42147764 edges, 108782 markings/sec, 125 secs
lola: 15497283 markings, 43754191 edges, 113508 markings/sec, 130 secs
lola: 16040812 markings, 45292497 edges, 108706 markings/sec, 135 secs
lola: 16656375 markings, 47007537 edges, 123113 markings/sec, 140 secs
lola: 17194967 markings, 48559210 edges, 107718 markings/sec, 145 secs
lola: 17758993 markings, 50155623 edges, 112805 markings/sec, 150 secs
lola: 18304732 markings, 51699009 edges, 109148 markings/sec, 155 secs
lola: 18911110 markings, 53386370 edges, 121276 markings/sec, 160 secs
lola: 19476218 markings, 55012220 edges, 113022 markings/sec, 165 secs
lola: 20048604 markings, 56631976 edges, 114477 markings/sec, 170 secs
lola: 20595154 markings, 58178178 edges, 109310 markings/sec, 175 secs
lola: 21191577 markings, 59837790 edges, 119285 markings/sec, 180 secs
lola: 21760252 markings, 61447391 edges, 113735 markings/sec, 185 secs
lola: 22321930 markings, 63064947 edges, 112336 markings/sec, 190 secs
lola: 22861541 markings, 64591558 edges, 107922 markings/sec, 195 secs
lola: 23440795 markings, 66203641 edges, 115851 markings/sec, 200 secs
lola: 24018240 markings, 67838124 edges, 115489 markings/sec, 205 secs
lola: 24571921 markings, 69406212 edges, 110736 markings/sec, 210 secs
lola: 25115976 markings, 70972624 edges, 108811 markings/sec, 215 secs
lola: 25688345 markings, 72562810 edges, 114474 markings/sec, 220 secs
lola: 26289249 markings, 74263001 edges, 120181 markings/sec, 225 secs
lola: 26836983 markings, 75813007 edges, 109547 markings/sec, 230 secs
lola: 27400623 markings, 77435276 edges, 112728 markings/sec, 235 secs
lola: 27953041 markings, 78970187 edges, 110484 markings/sec, 240 secs
lola: 28562265 markings, 80681703 edges, 121845 markings/sec, 245 secs
lola: 29099086 markings, 82214272 edges, 107364 markings/sec, 250 secs
lola: 29661613 markings, 83806953 edges, 112505 markings/sec, 255 secs
lola: 30196007 markings, 85319710 edges, 106879 markings/sec, 260 secs
lola: 30797619 markings, 86995030 edges, 120322 markings/sec, 265 secs
lola: 31335956 markings, 88546617 edges, 107667 markings/sec, 270 secs
lola: 31891995 markings, 90120994 edges, 111208 markings/sec, 275 secs
lola: 32433146 markings, 91651473 edges, 108230 markings/sec, 280 secs
lola: 33026989 markings, 93303614 edges, 118769 markings/sec, 285 secs
lola: 33599470 markings, 94923406 edges, 114496 markings/sec, 290 secs
lola: 34164775 markings, 96530091 edges, 113061 markings/sec, 295 secs
lola: 34701213 markings, 98068421 edges, 107288 markings/sec, 300 secs
lola: 35280473 markings, 99680147 edges, 115852 markings/sec, 305 secs
lola: 35858375 markings, 101315625 edges, 115580 markings/sec, 310 secs
lola: 36412167 markings, 102883941 edges, 110758 markings/sec, 315 secs
lola: 36953224 markings, 104442202 edges, 108211 markings/sec, 320 secs
lola: 37504504 markings, 105975189 edges, 110256 markings/sec, 325 secs
lola: 38090180 markings, 107633902 edges, 117135 markings/sec, 330 secs
lola: 38621124 markings, 109137189 edges, 106189 markings/sec, 335 secs
lola: 39174219 markings, 110703356 edges, 110619 markings/sec, 340 secs
lola: 39716353 markings, 112236349 edges, 108427 markings/sec, 345 secs
lola: 40329376 markings, 113943909 edges, 122605 markings/sec, 350 secs
lola: 40870607 markings, 115502315 edges, 108246 markings/sec, 355 secs
lola: 41436263 markings, 117102796 edges, 113131 markings/sec, 360 secs
lola: 41973406 markings, 118623084 edges, 107429 markings/sec, 365 secs
lola: 42568313 markings, 120278972 edges, 118981 markings/sec, 370 secs
lola: 43118783 markings, 121864714 edges, 110094 markings/sec, 375 secs
lola: 43679338 markings, 123451493 edges, 112111 markings/sec, 380 secs
lola: 44211420 markings, 124958064 edges, 106416 markings/sec, 385 secs
lola: 44780733 markings, 126542627 edges, 113863 markings/sec, 390 secs
lola: 45338450 markings, 128121808 edges, 111543 markings/sec, 395 secs
lola: 45879888 markings, 129656078 edges, 108288 markings/sec, 400 secs
lola: 46408319 markings, 131178655 edges, 105686 markings/sec, 405 secs
lola: 46967831 markings, 132732610 edges, 111902 markings/sec, 410 secs
lola: 47574525 markings, 134449536 edges, 121339 markings/sec, 415 secs
lola: 48118900 markings, 135989860 edges, 108875 markings/sec, 420 secs
lola: 48683090 markings, 137595918 edges, 112838 markings/sec, 425 secs
lola: 49225837 markings, 139121927 edges, 108549 markings/sec, 430 secs
lola: 49835322 markings, 140826963 edges, 121897 markings/sec, 435 secs
lola: 50369049 markings, 142358081 edges, 106745 markings/sec, 440 secs
lola: 50928987 markings, 143943261 edges, 111988 markings/sec, 445 secs
lola: 51452699 markings, 145426724 edges, 104742 markings/sec, 450 secs
lola: 52029932 markings, 147033656 edges, 115447 markings/sec, 455 secs
lola: 52565659 markings, 148578398 edges, 107145 markings/sec, 460 secs
lola: 53109863 markings, 150120137 edges, 108841 markings/sec, 465 secs
lola: 53636692 markings, 151610877 edges, 105366 markings/sec, 470 secs
lola: 54216103 markings, 153222417 edges, 115882 markings/sec, 475 secs
lola: 54794492 markings, 154858824 edges, 115678 markings/sec, 480 secs
lola: 55348773 markings, 156428249 edges, 110856 markings/sec, 485 secs
lola: 55890548 markings, 157988460 edges, 108355 markings/sec, 490 secs
lola: 56444728 markings, 159528892 edges, 110836 markings/sec, 495 secs
lola: 57037986 markings, 161208377 edges, 118652 markings/sec, 500 secs
lola: 57573628 markings, 162724518 edges, 107128 markings/sec, 505 secs
lola: 58128132 markings, 164309320 edges, 110901 markings/sec, 510 secs
lola: 58649082 markings, 165770244 edges, 104190 markings/sec, 515 secs
lola: 59229605 markings, 167387095 edges, 116105 markings/sec, 520 secs
lola: 59751638 markings, 168893301 edges, 104407 markings/sec, 525 secs
lola: 60290962 markings, 170420970 edges, 107865 markings/sec, 530 secs
lola: 60818490 markings, 171914038 edges, 105506 markings/sec, 535 secs
lola: 61401796 markings, 173536337 edges, 116661 markings/sec, 540 secs
lola: 61975696 markings, 175160167 edges, 114780 markings/sec, 545 secs
lola: 62537727 markings, 176758152 edges, 112406 markings/sec, 550 secs
lola: 63068819 markings, 178281353 edges, 106218 markings/sec, 555 secs
lola: 63629062 markings, 179839097 edges, 112049 markings/sec, 560 secs
lola: 64209837 markings, 181483777 edges, 116155 markings/sec, 565 secs
lola: 64747356 markings, 183005875 edges, 107504 markings/sec, 570 secs
lola: 65288829 markings, 184566325 edges, 108295 markings/sec, 575 secs
lola: 65815350 markings, 186029603 edges, 105304 markings/sec, 580 secs
lola: 66394615 markings, 187651103 edges, 115853 markings/sec, 585 secs
lola: 66930282 markings, 189170164 edges, 107133 markings/sec, 590 secs
lola: 67438324 markings, 190628710 edges, 101608 markings/sec, 595 secs
lola: 67893231 markings, 192204765 edges, 90981 markings/sec, 600 secs
lola: 68321221 markings, 193822204 edges, 85598 markings/sec, 605 secs
lola: 68780309 markings, 195559698 edges, 91818 markings/sec, 610 secs
lola: 69197917 markings, 197139368 edges, 83522 markings/sec, 615 secs
lola: 69612844 markings, 198708625 edges, 82985 markings/sec, 620 secs
lola: 70030211 markings, 200240146 edges, 83473 markings/sec, 625 secs
lola: 70552809 markings, 201691827 edges, 104520 markings/sec, 630 secs
lola: 71130665 markings, 203302391 edges, 115571 markings/sec, 635 secs
lola: 71663785 markings, 204813647 edges, 106624 markings/sec, 640 secs
lola: 72167613 markings, 206267785 edges, 100766 markings/sec, 645 secs
lola: 72765357 markings, 207957612 edges, 119549 markings/sec, 650 secs
lola: 73378622 markings, 209690493 edges, 122653 markings/sec, 655 secs
lola: 73976917 markings, 211380712 edges, 119659 markings/sec, 660 secs
lola: 74578543 markings, 213080733 edges, 120325 markings/sec, 665 secs
lola: 75147465 markings, 214690883 edges, 113784 markings/sec, 670 secs
lola: 75698111 markings, 216222852 edges, 110129 markings/sec, 675 secs
lola: 76236318 markings, 217745424 edges, 107641 markings/sec, 680 secs
lola: 76774783 markings, 219261906 edges, 107693 markings/sec, 685 secs
lola: 77335291 markings, 220833440 edges, 112102 markings/sec, 690 secs
lola: 77871699 markings, 222352281 edges, 107282 markings/sec, 695 secs
lola: 78424144 markings, 223891253 edges, 110489 markings/sec, 700 secs
lola: 78963807 markings, 225418724 edges, 107933 markings/sec, 705 secs
lola: 79501312 markings, 226942886 edges, 107501 markings/sec, 710 secs
lola: 80034663 markings, 228452773 edges, 106670 markings/sec, 715 secs
lola: 80583880 markings, 229982725 edges, 109843 markings/sec, 720 secs
lola: 81119963 markings, 231500703 edges, 107217 markings/sec, 725 secs
lola: 81644323 markings, 232988861 edges, 104872 markings/sec, 730 secs
lola: 82176030 markings, 234492350 edges, 106341 markings/sec, 735 secs
lola: 82714212 markings, 236017201 edges, 107636 markings/sec, 740 secs
lola: 83258473 markings, 237533864 edges, 108852 markings/sec, 745 secs
lola: 83769033 markings, 239005963 edges, 102112 markings/sec, 750 secs
lola: 84304742 markings, 240492947 edges, 107142 markings/sec, 755 secs
lola: 84901854 markings, 242155739 edges, 119422 markings/sec, 760 secs
lola: 85441840 markings, 243711037 edges, 107997 markings/sec, 765 secs
lola: 85998160 markings, 245285848 edges, 111264 markings/sec, 770 secs
lola: 86529598 markings, 246789733 edges, 106288 markings/sec, 775 secs
lola: 87110486 markings, 248406035 edges, 116178 markings/sec, 780 secs
lola: 87664518 markings, 249974367 edges, 110806 markings/sec, 785 secs
lola: 88216321 markings, 251539006 edges, 110361 markings/sec, 790 secs
lola: 88737589 markings, 253039299 edges, 104254 markings/sec, 795 secs
lola: 89290538 markings, 254580941 edges, 110590 markings/sec, 800 secs
lola: 89836786 markings, 256104119 edges, 109250 markings/sec, 805 secs
lola: 90440583 markings, 257786044 edges, 120759 markings/sec, 810 secs
lola: 91038705 markings, 259452217 edges, 119624 markings/sec, 815 secs
lola: 91565062 markings, 260965781 edges, 105271 markings/sec, 820 secs
lola: 92090416 markings, 262475983 edges, 105071 markings/sec, 825 secs
lola: 92629225 markings, 264013311 edges, 107762 markings/sec, 830 secs
lola: 93163716 markings, 265500695 edges, 106898 markings/sec, 835 secs
lola: 93735161 markings, 267147116 edges, 114289 markings/sec, 840 secs
lola: 94294513 markings, 268723801 edges, 111870 markings/sec, 845 secs
lola: 94826021 markings, 270221724 edges, 106302 markings/sec, 850 secs
lola: 95416535 markings, 271866472 edges, 118103 markings/sec, 855 secs
lola: 95950209 markings, 273405092 edges, 106735 markings/sec, 860 secs
lola: 96500034 markings, 274962147 edges, 109965 markings/sec, 865 secs
lola: 97024909 markings, 276448840 edges, 104975 markings/sec, 870 secs
lola: 97591488 markings, 278024781 edges, 113316 markings/sec, 875 secs
lola: 98148758 markings, 279603314 edges, 111454 markings/sec, 880 secs
lola: 98685345 markings, 281123914 edges, 107317 markings/sec, 885 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 unknown unknown unknown unknown
lola: memory consumption: 4351552 KB
lola: time consumption: 892 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p360)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p360)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 7 markings, 6 edges
lola: ========================================

FORMULA Parking-PT-432-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1339 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p346)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p346)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 5 markings, 4 edges

FORMULA Parking-PT-432-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2677 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p384)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p384)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: ========================================
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: 25 markings, 24 edges

FORMULA Parking-PT-432-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p99)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 611674 markings, 1696253 edges, 122335 markings/sec, 0 secs
lola: 1222648 markings, 3396789 edges, 122195 markings/sec, 5 secs
lola: 1792264 markings, 5035029 edges, 113923 markings/sec, 10 secs
lola: 2371228 markings, 6672767 edges, 115793 markings/sec, 15 secs
lola: 2922706 markings, 8232461 edges, 110296 markings/sec, 20 secs
lola: 3527237 markings, 9915058 edges, 120906 markings/sec, 25 secs
lola: 4095500 markings, 11542627 edges, 113653 markings/sec, 30 secs
lola: 4666833 markings, 13166419 edges, 114267 markings/sec, 35 secs
lola: 5211643 markings, 14706546 edges, 108962 markings/sec, 40 secs
lola: 5788853 markings, 16316139 edges, 115442 markings/sec, 45 secs
lola: 6369336 markings, 17935196 edges, 116097 markings/sec, 50 secs
lola: 6997803 markings, 19686121 edges, 125693 markings/sec, 55 secs
lola: 7588937 markings, 21381188 edges, 118227 markings/sec, 60 secs
lola: 8137585 markings, 22944910 edges, 109730 markings/sec, 65 secs
lola: 8693259 markings, 24499182 edges, 111135 markings/sec, 70 secs
lola: 9243417 markings, 26070439 edges, 110032 markings/sec, 75 secs
lola: 9830849 markings, 27706534 edges, 117486 markings/sec, 80 secs
lola: 10403884 markings, 29362359 edges, 114607 markings/sec, 85 secs
lola: 10971971 markings, 30976387 edges, 113617 markings/sec, 90 secs
lola: 11556521 markings, 32601505 edges, 116910 markings/sec, 95 secs
lola: 12155490 markings, 34295674 edges, 119794 markings/sec, 100 secs
lola: 12716682 markings, 35883801 edges, 112238 markings/sec, 105 secs
lola: 13276110 markings, 37493341 edges, 111886 markings/sec, 110 secs
lola: 13844095 markings, 39072228 edges, 113597 markings/sec, 115 secs
lola: 14448019 markings, 40781365 edges, 120785 markings/sec, 120 secs
lola: 14994700 markings, 42328567 edges, 109336 markings/sec, 125 secs
lola: 15558371 markings, 43951329 edges, 112734 markings/sec, 130 secs
lola: 16117131 markings, 45504197 edges, 111752 markings/sec, 135 secs
lola: 16724760 markings, 47224576 edges, 121526 markings/sec, 140 secs
lola: 17267950 markings, 48762128 edges, 108638 markings/sec, 145 secs
lola: 17834391 markings, 50365171 edges, 113288 markings/sec, 150 secs
lola: 18383048 markings, 51916350 edges, 109731 markings/sec, 155 secs
lola: 19001500 markings, 53638427 edges, 123690 markings/sec, 160 secs
lola: 19558493 markings, 55241011 edges, 111399 markings/sec, 165 secs
lola: 20133347 markings, 56867177 edges, 114971 markings/sec, 170 secs
lola: 20681135 markings, 58417121 edges, 109558 markings/sec, 175 secs
lola: 21291034 markings, 60115420 edges, 121980 markings/sec, 180 secs
lola: 21845853 markings, 61712505 edges, 110964 markings/sec, 185 secs
lola: 22414963 markings, 63323336 edges, 113822 markings/sec, 190 secs
lola: 22958098 markings, 64860577 edges, 108627 markings/sec, 195 secs
lola: 23551115 markings, 66510853 edges, 118603 markings/sec, 200 secs
lola: 24119490 markings, 68119503 edges, 113675 markings/sec, 205 secs
lola: 24678819 markings, 69717440 edges, 111866 markings/sec, 210 secs
lola: 25209242 markings, 71231306 edges, 106085 markings/sec, 215 secs
lola: 25797542 markings, 72867131 edges, 117660 markings/sec, 220 secs
lola: 26387180 markings, 74535181 edges, 117928 markings/sec, 225 secs
lola: 26950560 markings, 76130041 edges, 112676 markings/sec, 230 secs
lola: 27500580 markings, 77712852 edges, 110004 markings/sec, 235 secs
lola: 28069956 markings, 79295814 edges, 113875 markings/sec, 240 secs
lola: 28663898 markings, 80977150 edges, 118788 markings/sec, 245 secs
lola: 29201932 markings, 82500233 edges, 107607 markings/sec, 250 secs
lola: 29759886 markings, 84107289 edges, 111591 markings/sec, 255 secs
lola: 30304752 markings, 85621537 edges, 108973 markings/sec, 260 secs
lola: 30910278 markings, 87324625 edges, 121105 markings/sec, 265 secs
lola: 31444892 markings, 88849505 edges, 106923 markings/sec, 270 secs
lola: 32005024 markings, 90435373 edges, 112026 markings/sec, 275 secs
lola: 32551433 markings, 91980072 edges, 109282 markings/sec, 280 secs
lola: 33162892 markings, 93682723 edges, 122292 markings/sec, 285 secs
lola: 33711304 markings, 95261303 edges, 109682 markings/sec, 290 secs
lola: 34269453 markings, 96841517 edges, 111630 markings/sec, 295 secs
lola: 34800322 markings, 98344247 edges, 106174 markings/sec, 300 secs
lola: 35394340 markings, 99997028 edges, 118804 markings/sec, 305 secs
lola: 35962426 markings, 101604834 edges, 113617 markings/sec, 310 secs
lola: 36523887 markings, 103214345 edges, 112292 markings/sec, 315 secs
lola: 37056115 markings, 104727834 edges, 106446 markings/sec, 320 secs
lola: 37626442 markings, 106314625 edges, 114065 markings/sec, 325 secs
lola: 38199566 markings, 107937728 edges, 114625 markings/sec, 330 secs
lola: 38742567 markings, 109475647 edges, 108600 markings/sec, 335 secs
lola: 39284992 markings, 111038590 edges, 108485 markings/sec, 340 secs
lola: 39849241 markings, 112605289 edges, 112850 markings/sec, 345 secs
lola: 40453740 markings, 114316079 edges, 120900 markings/sec, 350 secs
lola: 40997725 markings, 115855571 edges, 108797 markings/sec, 355 secs
lola: 41562537 markings, 117461683 edges, 112962 markings/sec, 360 secs
lola: 42103873 markings, 118985805 edges, 108267 markings/sec, 365 secs
lola: 42719205 markings, 120699560 edges, 123066 markings/sec, 370 secs
lola: 43256867 markings, 122248458 edges, 107532 markings/sec, 375 secs
lola: 43819701 markings, 123841758 edges, 112567 markings/sec, 380 secs
lola: 44352625 markings, 125350783 edges, 106585 markings/sec, 385 secs
lola: 44945584 markings, 127001981 edges, 118592 markings/sec, 390 secs
lola: 45483256 markings, 128551847 edges, 107534 markings/sec, 395 secs
lola: 46035712 markings, 130116281 edges, 110491 markings/sec, 400 secs
lola: 46570922 markings, 131630286 edges, 107042 markings/sec, 405 secs
lola: 47157664 markings, 133261903 edges, 117348 markings/sec, 410 secs
lola: 47740721 markings, 134911371 edges, 116611 markings/sec, 415 secs
lola: 48303121 markings, 136503781 edges, 112480 markings/sec, 420 secs
lola: 48846406 markings, 138067391 edges, 108657 markings/sec, 425 secs
lola: 49421648 markings, 139667515 edges, 115048 markings/sec, 430 secs
lola: 50005402 markings, 141320060 edges, 116751 markings/sec, 435 secs
lola: 50554717 markings, 142875224 edges, 109863 markings/sec, 440 secs
lola: 51101905 markings, 144451165 edges, 109438 markings/sec, 445 secs
lola: 51637674 markings, 145940463 edges, 107154 markings/sec, 450 secs
lola: 52231484 markings, 147601730 edges, 118762 markings/sec, 455 secs
lola: 52752591 markings, 149098135 edges, 104221 markings/sec, 460 secs
lola: 53300052 markings, 150648472 edges, 109492 markings/sec, 465 secs
lola: 53837787 markings, 152169617 edges, 107547 markings/sec, 470 secs
lola: 54445769 markings, 153862476 edges, 121596 markings/sec, 475 secs
lola: 54996785 markings, 155448423 edges, 110203 markings/sec, 480 secs
lola: 55563046 markings, 157051072 edges, 113252 markings/sec, 485 secs
lola: 56102555 markings, 158577784 edges, 107902 markings/sec, 490 secs
lola: 56687081 markings, 160204448 edges, 116905 markings/sec, 495 secs
lola: 57255057 markings, 161814484 edges, 113595 markings/sec, 500 secs
lola: 57811479 markings, 163414493 edges, 111284 markings/sec, 505 secs
lola: 58341304 markings, 164913984 edges, 105965 markings/sec, 510 secs
lola: 58888373 markings, 166435789 edges, 109414 markings/sec, 515 secs
lola: 59456233 markings, 168044572 edges, 113572 markings/sec, 520 secs
lola: 59978738 markings, 169524966 edges, 104501 markings/sec, 525 secs
lola: 60511929 markings, 171061558 edges, 106638 markings/sec, 530 secs
lola: 61059718 markings, 172584535 edges, 109558 markings/sec, 535 secs
lola: 61678287 markings, 174307211 edges, 123714 markings/sec, 540 secs
lola: 62219719 markings, 175865797 edges, 108286 markings/sec, 545 secs
lola: 62785413 markings, 177466675 edges, 113139 markings/sec, 550 secs
lola: 63321570 markings, 178984239 edges, 107231 markings/sec, 555 secs
lola: 63917496 markings, 180643062 edges, 119185 markings/sec, 560 secs
lola: 64466793 markings, 182225338 edges, 109859 markings/sec, 565 secs
lola: 65026029 markings, 183808631 edges, 111847 markings/sec, 570 secs
lola: 65550291 markings, 185293645 edges, 104852 markings/sec, 575 secs
lola: 66114442 markings, 186863397 edges, 112830 markings/sec, 580 secs
lola: 66659649 markings, 188407923 edges, 109041 markings/sec, 585 secs
lola: 67198486 markings, 189934728 edges, 107767 markings/sec, 590 secs
lola: 67694353 markings, 191454048 edges, 99173 markings/sec, 595 secs
lola: 68108141 markings, 193017124 edges, 82758 markings/sec, 600 secs
lola: 68571401 markings, 194768824 edges, 92652 markings/sec, 605 secs
lola: 69000507 markings, 196392226 edges, 85821 markings/sec, 610 secs
lola: 69433683 markings, 198031626 edges, 86635 markings/sec, 615 secs
lola: 69839210 markings, 199565764 edges, 81105 markings/sec, 620 secs
lola: 70322214 markings, 201051648 edges, 96601 markings/sec, 625 secs
lola: 70885820 markings, 202619682 edges, 112721 markings/sec, 630 secs
lola: 71424180 markings, 204144907 edges, 107672 markings/sec, 635 secs
lola: 71959222 markings, 205660929 edges, 107008 markings/sec, 640 secs
lola: 72497383 markings, 207211653 edges, 107632 markings/sec, 645 secs
lola: 73129686 markings, 208998541 edges, 126461 markings/sec, 650 secs
lola: 73728151 markings, 210688965 edges, 119693 markings/sec, 655 secs
lola: 74333252 markings, 212399111 edges, 121020 markings/sec, 660 secs
lola: 74939921 markings, 214113950 edges, 121334 markings/sec, 665 secs
lola: 75486734 markings, 215633840 edges, 109363 markings/sec, 670 secs
lola: 76032643 markings, 217178800 edges, 109182 markings/sec, 675 secs
lola: 76581180 markings, 218706500 edges, 109707 markings/sec, 680 secs
lola: 77131351 markings, 220265267 edges, 110034 markings/sec, 685 secs
lola: 77679994 markings, 221819806 edges, 109729 markings/sec, 690 secs
lola: 78232869 markings, 223357822 edges, 110575 markings/sec, 695 secs
lola: 78774945 markings, 224892763 edges, 108415 markings/sec, 700 secs
lola: 79320532 markings, 226425205 edges, 109117 markings/sec, 705 secs
lola: 79852184 markings, 227945629 edges, 106330 markings/sec, 710 secs
lola: 80401687 markings, 229474854 edges, 109901 markings/sec, 715 secs
lola: 80939162 markings, 230997086 edges, 107495 markings/sec, 720 secs
lola: 81476916 markings, 232520910 edges, 107551 markings/sec, 725 secs
lola: 82001004 markings, 234005645 edges, 104818 markings/sec, 730 secs
lola: 82547607 markings, 235543275 edges, 109321 markings/sec, 735 secs
lola: 83090622 markings, 237065566 edges, 108603 markings/sec, 740 secs
lola: 83609757 markings, 238564892 edges, 103827 markings/sec, 745 secs
lola: 84144339 markings, 240047197 edges, 106916 markings/sec, 750 secs
lola: 84724602 markings, 241661304 edges, 116053 markings/sec, 755 secs
lola: 85292982 markings, 243269733 edges, 113676 markings/sec, 760 secs
lola: 85848099 markings, 244842191 edges, 111023 markings/sec, 765 secs
lola: 86379656 markings, 246372900 edges, 106311 markings/sec, 770 secs
lola: 86947258 markings, 247951480 edges, 113520 markings/sec, 775 secs
lola: 87522673 markings, 249580236 edges, 115083 markings/sec, 780 secs
lola: 88061333 markings, 251105658 edges, 107732 markings/sec, 785 secs
lola: 88603202 markings, 252666607 edges, 108374 markings/sec, 790 secs
lola: 89149776 markings, 254184151 edges, 109315 markings/sec, 795 secs
lola: 89706179 markings, 255740120 edges, 111281 markings/sec, 800 secs
lola: 90296924 markings, 257385836 edges, 118149 markings/sec, 805 secs
lola: 90901143 markings, 259069166 edges, 120844 markings/sec, 810 secs
lola: 91443469 markings, 260627086 edges, 108465 markings/sec, 815 secs
lola: 91970138 markings, 262141290 edges, 105334 markings/sec, 820 secs
lola: 92509159 markings, 263679300 edges, 107804 markings/sec, 825 secs
lola: 93048323 markings, 265179199 edges, 107833 markings/sec, 830 secs
lola: 93622875 markings, 266828460 edges, 114910 markings/sec, 835 secs
lola: 94180896 markings, 268398847 edges, 111604 markings/sec, 840 secs
lola: 94719019 markings, 269924536 edges, 107625 markings/sec, 845 secs
lola: 95299937 markings, 271540902 edges, 116184 markings/sec, 850 secs
lola: 95855034 markings, 273112706 edges, 111019 markings/sec, 855 secs
lola: 96407488 markings, 274678800 edges, 110491 markings/sec, 860 secs
lola: 96928079 markings, 276178635 edges, 104118 markings/sec, 865 secs
lola: 97486847 markings, 277733668 edges, 111754 markings/sec, 870 secs
lola: 98059973 markings, 279356616 edges, 114625 markings/sec, 875 secs
lola: 98588492 markings, 280853514 edges, 105704 markings/sec, 880 secs
lola: 99128852 markings, 282411641 edges, 108072 markings/sec, 885 secs
lola: 99660713 markings, 283889592 edges, 106372 markings/sec, 890 secs
lola: 100256004 markings, 285548708 edges, 119058 markings/sec, 895 secs
lola: 100774060 markings, 287043187 edges, 103611 markings/sec, 900 secs
lola: 101321091 markings, 288592596 edges, 109406 markings/sec, 905 secs
lola: 101843133 markings, 290071293 edges, 104408 markings/sec, 910 secs
lola: 102418889 markings, 291674083 edges, 115151 markings/sec, 915 secs
lola: 102962825 markings, 293214459 edges, 108787 markings/sec, 920 secs
lola: 103506099 markings, 294761677 edges, 108655 markings/sec, 925 secs
lola: 104021462 markings, 296240836 edges, 103073 markings/sec, 930 secs
lola: 104576953 markings, 297785907 edges, 111098 markings/sec, 935 secs
lola: 105135382 markings, 299368309 edges, 111686 markings/sec, 940 secs
lola: 105662992 markings, 300863020 edges, 105522 markings/sec, 945 secs
lola: 106190373 markings, 302384380 edges, 105476 markings/sec, 950 secs
lola: 106712813 markings, 303836822 edges, 104488 markings/sec, 955 secs
lola: 107298759 markings, 305469442 edges, 117189 markings/sec, 960 secs
lola: 107810575 markings, 306946514 edges, 102363 markings/sec, 965 secs
lola: 108349303 markings, 308472528 edges, 107746 markings/sec, 970 secs
lola: 108869125 markings, 309945538 edges, 103964 markings/sec, 975 secs
lola: 109416158 markings, 311467300 edges, 109407 markings/sec, 980 secs
lola: 109959499 markings, 313006768 edges, 108668 markings/sec, 985 secs
lola: 110488138 markings, 314505989 edges, 105728 markings/sec, 990 secs
lola: 110995761 markings, 315970913 edges, 101525 markings/sec, 995 secs
lola: 111528115 markings, 317451054 edges, 106471 markings/sec, 1000 secs
lola: 112093911 markings, 319054785 edges, 113159 markings/sec, 1005 secs
lola: 112631419 markings, 320577705 edges, 107502 markings/sec, 1010 secs
lola: 113142757 markings, 322026380 edges, 102268 markings/sec, 1015 secs
lola: 113559381 markings, 323527391 edges, 83325 markings/sec, 1020 secs
lola: 113989251 markings, 325151958 edges, 85974 markings/sec, 1025 secs
lola: 114441673 markings, 326864787 edges, 90484 markings/sec, 1030 secs
lola: 114858699 markings, 328441786 edges, 83405 markings/sec, 1035 secs
lola: 115268801 markings, 329993831 edges, 82020 markings/sec, 1040 secs
lola: 115680399 markings, 331486707 edges, 82320 markings/sec, 1045 secs
lola: 116193486 markings, 332912169 edges, 102617 markings/sec, 1050 secs
lola: 116767715 markings, 334513788 edges, 114846 markings/sec, 1055 secs
lola: 117299583 markings, 336020575 edges, 106374 markings/sec, 1060 secs
lola: 117790937 markings, 337439808 edges, 98271 markings/sec, 1065 secs
lola: 118320527 markings, 338939472 edges, 105918 markings/sec, 1070 secs
lola: 118903035 markings, 340587652 edges, 116502 markings/sec, 1075 secs
lola: 119434259 markings, 342091191 edges, 106245 markings/sec, 1080 secs
lola: 119989158 markings, 343661861 edges, 110980 markings/sec, 1085 secs
lola: 120544638 markings, 345233870 edges, 111096 markings/sec, 1090 secs
lola: 121068473 markings, 346690093 edges, 104767 markings/sec, 1095 secs
lola: 121593953 markings, 348183552 edges, 105096 markings/sec, 1100 secs
lola: 122147435 markings, 349746615 edges, 110696 markings/sec, 1105 secs
lola: 122678291 markings, 351249837 edges, 106171 markings/sec, 1110 secs
lola: 123207430 markings, 352748270 edges, 105828 markings/sec, 1115 secs
lola: 123739242 markings, 354263575 edges, 106362 markings/sec, 1120 secs
lola: 124252088 markings, 355735333 edges, 102569 markings/sec, 1125 secs
lola: 124774522 markings, 357216108 edges, 104487 markings/sec, 1130 secs
lola: 125290665 markings, 358677577 edges, 103229 markings/sec, 1135 secs
lola: 125809734 markings, 360168729 edges, 103814 markings/sec, 1140 secs
lola: 126327898 markings, 361640966 edges, 103633 markings/sec, 1145 secs
lola: 126891399 markings, 363205514 edges, 112700 markings/sec, 1150 secs
lola: 127500224 markings, 364928460 edges, 121765 markings/sec, 1155 secs
lola: 128047544 markings, 366477260 edges, 109464 markings/sec, 1160 secs
lola: 128617145 markings, 368088840 edges, 113920 markings/sec, 1165 secs
lola: 129166315 markings, 369641567 edges, 109834 markings/sec, 1170 secs
lola: 129779441 markings, 371370305 edges, 122625 markings/sec, 1175 secs
lola: 130321993 markings, 372911812 edges, 108510 markings/sec, 1180 secs
lola: 130889205 markings, 374517085 edges, 113442 markings/sec, 1185 secs
lola: 131424062 markings, 376025734 edges, 106971 markings/sec, 1190 secs
lola: 131986605 markings, 377599259 edges, 112509 markings/sec, 1195 secs
lola: 132564483 markings, 379211398 edges, 115576 markings/sec, 1200 secs
lola: 133172829 markings, 380905674 edges, 121669 markings/sec, 1205 secs
lola: 133731545 markings, 382510072 edges, 111743 markings/sec, 1210 secs
lola: 134261554 markings, 384034085 edges, 106002 markings/sec, 1215 secs
lola: 134808174 markings, 385551357 edges, 109324 markings/sec, 1220 secs
lola: 135341474 markings, 387076095 edges, 106660 markings/sec, 1225 secs
lola: 135918696 markings, 388683956 edges, 115444 markings/sec, 1230 secs
lola: 136467015 markings, 390272127 edges, 109664 markings/sec, 1235 secs
lola: 137018097 markings, 391837067 edges, 110216 markings/sec, 1240 secs
lola: 137601837 markings, 393460807 edges, 116748 markings/sec, 1245 secs
lola: 138192064 markings, 395131236 edges, 118045 markings/sec, 1250 secs
lola: 138750468 markings, 396712097 edges, 111681 markings/sec, 1255 secs
lola: 139299536 markings, 398293071 edges, 109814 markings/sec, 1260 secs
lola: 139855969 markings, 399840173 edges, 111287 markings/sec, 1265 secs
lola: 140437926 markings, 401488554 edges, 116391 markings/sec, 1270 secs
lola: 140972579 markings, 403002150 edges, 106931 markings/sec, 1275 secs
lola: 141521581 markings, 404561019 edges, 109800 markings/sec, 1280 secs
lola: 142066408 markings, 406098703 edges, 108965 markings/sec, 1285 secs
lola: 142688145 markings, 407830507 edges, 124347 markings/sec, 1290 secs
lola: 143234569 markings, 409403788 edges, 109285 markings/sec, 1295 secs
lola: 143802076 markings, 411009790 edges, 113501 markings/sec, 1300 secs
lola: 144332081 markings, 412510802 edges, 106001 markings/sec, 1305 secs
lola: 144923194 markings, 414156780 edges, 118223 markings/sec, 1310 secs
lola: 145460170 markings, 415704624 edges, 107395 markings/sec, 1315 secs
lola: 146011422 markings, 417266344 edges, 110250 markings/sec, 1320 secs
lola: 146547962 markings, 418784263 edges, 107308 markings/sec, 1325 secs
lola: 147137633 markings, 420424721 edges, 117934 markings/sec, 1330 secs
lola: 147714431 markings, 422057068 edges, 115360 markings/sec, 1335 secs
lola: 148278393 markings, 423654434 edges, 112792 markings/sec, 1340 secs
lola: 148810302 markings, 425186299 edges, 106382 markings/sec, 1345 secs
lola: 149366898 markings, 426734792 edges, 111319 markings/sec, 1350 secs
lola: 149936127 markings, 428347306 edges, 113846 markings/sec, 1355 secs
lola: 150463985 markings, 429842402 edges, 105572 markings/sec, 1360 secs
lola: 151004312 markings, 431400280 edges, 108065 markings/sec, 1365 secs
lola: 151556804 markings, 432935133 edges, 110498 markings/sec, 1370 secs
lola: 152172551 markings, 434660335 edges, 123149 markings/sec, 1375 secs
lola: 152712014 markings, 436204619 edges, 107893 markings/sec, 1380 secs
lola: 153278282 markings, 437807502 edges, 113254 markings/sec, 1385 secs
lola: 153803722 markings, 439295539 edges, 105088 markings/sec, 1390 secs
lola: 154388178 markings, 440922979 edges, 116891 markings/sec, 1395 secs
lola: 154919705 markings, 442456015 edges, 106305 markings/sec, 1400 secs
lola: 155465584 markings, 444001900 edges, 109176 markings/sec, 1405 secs
lola: 155996754 markings, 445505640 edges, 106234 markings/sec, 1410 secs
lola: 156579881 markings, 447127801 edges, 116625 markings/sec, 1415 secs
lola: 157155453 markings, 448756714 edges, 115114 markings/sec, 1420 secs
lola: 157713477 markings, 450337156 edges, 111605 markings/sec, 1425 secs
lola: 158246893 markings, 451873454 edges, 106683 markings/sec, 1430 secs
lola: 158797727 markings, 453406125 edges, 110167 markings/sec, 1435 secs
lola: 159363539 markings, 455008981 edges, 113162 markings/sec, 1440 secs
lola: 159884759 markings, 456485375 edges, 104244 markings/sec, 1445 secs
lola: 160426204 markings, 458022329 edges, 108289 markings/sec, 1450 secs
lola: 160966461 markings, 459547901 edges, 108051 markings/sec, 1455 secs
lola: 161585948 markings, 461273350 edges, 123897 markings/sec, 1460 secs
lola: 162122799 markings, 462819997 edges, 107370 markings/sec, 1465 secs
lola: 162686586 markings, 464415985 edges, 112757 markings/sec, 1470 secs
lola: 163210134 markings, 465898910 edges, 104710 markings/sec, 1475 secs
lola: 163780854 markings, 467487732 edges, 114144 markings/sec, 1480 secs
lola: 164315062 markings, 469028246 edges, 106842 markings/sec, 1485 secs
lola: 164855593 markings, 470559668 edges, 108106 markings/sec, 1490 secs
lola: 165377814 markings, 472037961 edges, 104444 markings/sec, 1495 secs
lola: 165947876 markings, 473623607 edges, 114012 markings/sec, 1500 secs
lola: 166532541 markings, 475278538 edges, 116933 markings/sec, 1505 secs
lola: 167083335 markings, 476838389 edges, 110159 markings/sec, 1510 secs
lola: 167622589 markings, 478391836 edges, 107851 markings/sec, 1515 secs
lola: 168147074 markings, 479849557 edges, 104897 markings/sec, 1520 secs
lola: 168732382 markings, 481480820 edges, 117062 markings/sec, 1525 secs
lola: 169243437 markings, 482955723 edges, 102211 markings/sec, 1530 secs
lola: 169781028 markings, 484479011 edges, 107518 markings/sec, 1535 secs
lola: 170311289 markings, 485980375 edges, 106052 markings/sec, 1540 secs
lola: 170905062 markings, 487633021 edges, 118755 markings/sec, 1545 secs
lola: 171460113 markings, 489231127 edges, 111010 markings/sec, 1550 secs
lola: 172021781 markings, 490821131 edges, 112334 markings/sec, 1555 secs
lola: 172549207 markings, 492314987 edges, 105485 markings/sec, 1560 secs
lola: 173104331 markings, 493859237 edges, 111025 markings/sec, 1565 secs
lola: 173649896 markings, 495405216 edges, 109113 markings/sec, 1570 secs
lola: 174184856 markings, 496920968 edges, 106992 markings/sec, 1575 secs
lola: 174678311 markings, 498389566 edges, 98691 markings/sec, 1580 secs
lola: 175078734 markings, 499901683 edges, 80085 markings/sec, 1585 secs
lola: 175529815 markings, 501607253 edges, 90216 markings/sec, 1590 secs
lola: 175962713 markings, 503245438 edges, 86580 markings/sec, 1595 secs
lola: 176393187 markings, 504874652 edges, 86095 markings/sec, 1600 secs
lola: 176794682 markings, 506393438 edges, 80299 markings/sec, 1605 secs
lola: 177253830 markings, 507886082 edges, 91830 markings/sec, 1610 secs
lola: 177801606 markings, 509409764 edges, 109555 markings/sec, 1615 secs
lola: 178348851 markings, 510959952 edges, 109449 markings/sec, 1620 secs
lola: 178881487 markings, 512469225 edges, 106527 markings/sec, 1625 secs
lola: 179386260 markings, 513927140 edges, 100955 markings/sec, 1630 secs
lola: 179977503 markings, 515573116 edges, 118249 markings/sec, 1635 secs
lola: 180528683 markings, 517131860 edges, 110236 markings/sec, 1640 secs
lola: 181080598 markings, 518694236 edges, 110383 markings/sec, 1645 secs
lola: 181634936 markings, 520261945 edges, 110868 markings/sec, 1650 secs
lola: 182194511 markings, 521845746 edges, 111915 markings/sec, 1655 secs
lola: 182729860 markings, 523362019 edges, 107070 markings/sec, 1660 secs
lola: 183274267 markings, 524875889 edges, 108881 markings/sec, 1665 secs
lola: 183824262 markings, 526434443 edges, 109999 markings/sec, 1670 secs
lola: 184364234 markings, 527963970 edges, 107994 markings/sec, 1675 secs
lola: 184902408 markings, 529481945 edges, 107635 markings/sec, 1680 secs
lola: 185443203 markings, 530993719 edges, 108159 markings/sec, 1685 secs
lola: 185971283 markings, 532517626 edges, 105616 markings/sec, 1690 secs
lola: 186502564 markings, 533994954 edges, 106256 markings/sec, 1695 secs
lola: 187032480 markings, 535496126 edges, 105983 markings/sec, 1700 secs
lola: 187543788 markings, 536973694 edges, 102262 markings/sec, 1705 secs
lola: 188079980 markings, 538465026 edges, 107238 markings/sec, 1710 secs
lola: 188611785 markings, 539971455 edges, 106361 markings/sec, 1715 secs
lola: 189124763 markings, 541451707 edges, 102596 markings/sec, 1720 secs
lola: 189666426 markings, 542955022 edges, 108333 markings/sec, 1725 secs
lola: 190272896 markings, 544642746 edges, 121294 markings/sec, 1730 secs
lola: 190829089 markings, 546244167 edges, 111239 markings/sec, 1735 secs
lola: 191397867 markings, 547853329 edges, 113756 markings/sec, 1740 secs
lola: 191939790 markings, 549386678 edges, 108385 markings/sec, 1745 secs
lola: 192535033 markings, 551042761 edges, 119049 markings/sec, 1750 secs
lola: 193099694 markings, 552642755 edges, 112932 markings/sec, 1755 secs
lola: 193659251 markings, 554252011 edges, 111911 markings/sec, 1760 secs
lola: 194196861 markings, 555772590 edges, 107522 markings/sec, 1765 secs
lola: 194762325 markings, 557348889 edges, 113093 markings/sec, 1770 secs
lola: 195324806 markings, 558917119 edges, 112496 markings/sec, 1775 secs
lola: 195942627 markings, 560638041 edges, 123564 markings/sec, 1780 secs
lola: 196530831 markings, 562325472 edges, 117641 markings/sec, 1785 secs
lola: 197072942 markings, 563834580 edges, 108422 markings/sec, 1790 secs
lola: 197615475 markings, 565390342 edges, 108507 markings/sec, 1795 secs
lola: 198156883 markings, 566936300 edges, 108282 markings/sec, 1800 secs
lola: 198719363 markings, 568502464 edges, 112496 markings/sec, 1805 secs
lola: 199292650 markings, 570155300 edges, 114657 markings/sec, 1810 secs
lola: 199857906 markings, 571766702 edges, 113051 markings/sec, 1815 secs
lola: 200426254 markings, 573345624 edges, 113670 markings/sec, 1820 secs
lola: 201047023 markings, 575102052 edges, 124154 markings/sec, 1825 secs
lola: 201600249 markings, 576667160 edges, 110645 markings/sec, 1830 secs
lola: 202177301 markings, 578300586 edges, 115410 markings/sec, 1835 secs
lola: 202715948 markings, 579824697 edges, 107729 markings/sec, 1840 secs
lola: 203327058 markings, 581527447 edges, 122222 markings/sec, 1845 secs
lola: 203852469 markings, 583042251 edges, 105082 markings/sec, 1850 secs
lola: 204409942 markings, 584620745 edges, 111495 markings/sec, 1855 secs
lola: 204959665 markings, 586175790 edges, 109945 markings/sec, 1860 secs
lola: 205578718 markings, 587899798 edges, 123811 markings/sec, 1865 secs
lola: 206138187 markings, 589509828 edges, 111894 markings/sec, 1870 secs
lola: 206711107 markings, 591130928 edges, 114584 markings/sec, 1875 secs
lola: 207249750 markings, 592656128 edges, 107729 markings/sec, 1880 secs
lola: 207834795 markings, 594283803 edges, 117009 markings/sec, 1885 secs
lola: 208394470 markings, 595868348 edges, 111935 markings/sec, 1890 secs
lola: 208949977 markings, 597451029 edges, 111101 markings/sec, 1895 secs
lola: 209484039 markings, 598979891 edges, 106812 markings/sec, 1900 secs
lola: 210073047 markings, 600619160 edges, 117802 markings/sec, 1905 secs
lola: 210663455 markings, 602289234 edges, 118082 markings/sec, 1910 secs
lola: 211229483 markings, 603891709 edges, 113206 markings/sec, 1915 secs
lola: 211778074 markings, 605470713 edges, 109718 markings/sec, 1920 secs
lola: 212337595 markings, 607026888 edges, 111904 markings/sec, 1925 secs
lola: 212920284 markings, 608677257 edges, 116538 markings/sec, 1930 secs
lola: 213453142 markings, 610185861 edges, 106572 markings/sec, 1935 secs
lola: 214002127 markings, 611767984 edges, 109797 markings/sec, 1940 secs
lola: 214561455 markings, 613321914 edges, 111866 markings/sec, 1945 secs
lola: 215183716 markings, 615069017 edges, 124452 markings/sec, 1950 secs
lola: 215730299 markings, 616629546 edges, 109317 markings/sec, 1955 secs
lola: 216301709 markings, 618246311 edges, 114282 markings/sec, 1960 secs
lola: 216831313 markings, 619746074 edges, 105921 markings/sec, 1965 secs
lola: 217423863 markings, 621396070 edges, 118510 markings/sec, 1970 secs
lola: 217957990 markings, 622936001 edges, 106825 markings/sec, 1975 secs
lola: 218509644 markings, 624498465 edges, 110331 markings/sec, 1980 secs
lola: 219050515 markings, 626028885 edges, 108174 markings/sec, 1985 secs
lola: 219649830 markings, 627696492 edges, 119863 markings/sec, 1990 secs
lola: 220226592 markings, 629328226 edges, 115352 markings/sec, 1995 secs
lola: 220790580 markings, 630936278 edges, 112798 markings/sec, 2000 secs
lola: 221323397 markings, 632460943 edges, 106563 markings/sec, 2005 secs
lola: 221887066 markings, 634028955 edges, 112734 markings/sec, 2010 secs
lola: 222444723 markings, 635608671 edges, 111531 markings/sec, 2015 secs
lola: 222982452 markings, 637131974 edges, 107546 markings/sec, 2020 secs
lola: 223517164 markings, 638672767 edges, 106942 markings/sec, 2025 secs
lola: 224082776 markings, 640245299 edges, 113122 markings/sec, 2030 secs
lola: 224688051 markings, 641958302 edges, 121055 markings/sec, 2035 secs
lola: 225234868 markings, 643505454 edges, 109363 markings/sec, 2040 secs
lola: 225802137 markings, 645111283 edges, 113454 markings/sec, 2045 secs
lola: 226326490 markings, 646596355 edges, 104871 markings/sec, 2050 secs
lola: 226915761 markings, 648237237 edges, 117854 markings/sec, 2055 secs
lola: 227442144 markings, 649755705 edges, 105277 markings/sec, 2060 secs
lola: 227990126 markings, 651307490 edges, 109596 markings/sec, 2065 secs
lola: 228526182 markings, 652825072 edges, 107211 markings/sec, 2070 secs
lola: 229122080 markings, 654483186 edges, 119180 markings/sec, 2075 secs
lola: 229688243 markings, 656112017 edges, 113233 markings/sec, 2080 secs
lola: 230256252 markings, 657720174 edges, 113602 markings/sec, 2085 secs
lola: 230788075 markings, 659225211 edges, 106365 markings/sec, 2090 secs
lola: 231341405 markings, 660765039 edges, 110666 markings/sec, 2095 secs
lola: 231905741 markings, 662363802 edges, 112867 markings/sec, 2100 secs
lola: 232438133 markings, 663872011 edges, 106478 markings/sec, 2105 secs
lola: 232968485 markings, 665401384 edges, 106070 markings/sec, 2110 secs
lola: 233521265 markings, 666937273 edges, 110556 markings/sec, 2115 secs
lola: 234138444 markings, 668668635 edges, 123436 markings/sec, 2120 secs
lola: 234681123 markings, 670219482 edges, 108536 markings/sec, 2125 secs
lola: 235249344 markings, 671827427 edges, 113644 markings/sec, 2130 secs
lola: 235770439 markings, 673304069 edges, 104219 markings/sec, 2135 secs
lola: 236357744 markings, 674939913 edges, 117461 markings/sec, 2140 secs
lola: 236898883 markings, 676473266 edges, 108228 markings/sec, 2145 secs
lola: 237416114 markings, 677965716 edges, 103446 markings/sec, 2150 secs
lola: 237868691 markings, 679474840 edges, 90515 markings/sec, 2155 secs
lola: 238290541 markings, 681068319 edges, 84370 markings/sec, 2160 secs
lola: 238753531 markings, 682820158 edges, 92598 markings/sec, 2165 secs
lola: 239172795 markings, 684406203 edges, 83853 markings/sec, 2170 secs
lola: 239599573 markings, 686020897 edges, 85356 markings/sec, 2175 secs
lola: 240007776 markings, 687566297 edges, 81641 markings/sec, 2180 secs
lola: 240528910 markings, 689024404 edges, 104227 markings/sec, 2185 secs
lola: 241113754 markings, 690653663 edges, 116969 markings/sec, 2190 secs
lola: 241652745 markings, 692181159 edges, 107798 markings/sec, 2195 secs
lola: 242167448 markings, 693665533 edges, 102941 markings/sec, 2200 secs
lola: 242707285 markings, 695193852 edges, 107967 markings/sec, 2205 secs
lola: 243305293 markings, 696884913 edges, 119602 markings/sec, 2210 secs
lola: 243851703 markings, 698430890 edges, 109282 markings/sec, 2215 secs
lola: 244426938 markings, 700058088 edges, 115047 markings/sec, 2220 secs
lola: 245001710 markings, 701684018 edges, 114954 markings/sec, 2225 secs
lola: 245546155 markings, 703197634 edges, 108889 markings/sec, 2230 secs
lola: 246089073 markings, 704733496 edges, 108584 markings/sec, 2235 secs
lola: 246639239 markings, 706292446 edges, 110033 markings/sec, 2240 secs
lola: 247206451 markings, 707877491 edges, 113442 markings/sec, 2245 secs
lola: 247742305 markings, 709389551 edges, 107171 markings/sec, 2250 secs
lola: 248284647 markings, 710925504 edges, 108468 markings/sec, 2255 secs
lola: 248830608 markings, 712473687 edges, 109192 markings/sec, 2260 secs
lola: 249361339 markings, 713975238 edges, 106146 markings/sec, 2265 secs
lola: 249900221 markings, 715501212 edges, 107776 markings/sec, 2270 secs
lola: 250433055 markings, 717013241 edges, 106567 markings/sec, 2275 secs
lola: 250960820 markings, 718506194 edges, 105553 markings/sec, 2280 secs
lola: 251501411 markings, 720037766 edges, 108118 markings/sec, 2285 secs
lola: 252025047 markings, 721543133 edges, 104727 markings/sec, 2290 secs
lola: 252572938 markings, 723067695 edges, 109578 markings/sec, 2295 secs
lola: 253162895 markings, 724726504 edges, 117991 markings/sec, 2300 secs
lola: 253738855 markings, 726356854 edges, 115192 markings/sec, 2305 secs
lola: 254320480 markings, 727992646 edges, 116325 markings/sec, 2310 secs
lola: 254896675 markings, 729612603 edges, 115239 markings/sec, 2315 secs
lola: 255468471 markings, 731230516 edges, 114359 markings/sec, 2320 secs
lola: 256063998 markings, 732902580 edges, 119105 markings/sec, 2325 secs
lola: 256652560 markings, 734557043 edges, 117712 markings/sec, 2330 secs
lola: 257224673 markings, 736176847 edges, 114423 markings/sec, 2335 secs
lola: 257794744 markings, 737776598 edges, 114014 markings/sec, 2340 secs
lola: 258395356 markings, 739466274 edges, 120122 markings/sec, 2345 secs
lola: 258981601 markings, 741127462 edges, 117249 markings/sec, 2350 secs
lola: 259567117 markings, 742773931 edges, 117103 markings/sec, 2355 secs
lola: 260142675 markings, 744404456 edges, 115112 markings/sec, 2360 secs
lola: 260686169 markings, 745925364 edges, 108699 markings/sec, 2365 secs
lola: 261262863 markings, 747532191 edges, 115339 markings/sec, 2370 secs
lola: 261812717 markings, 749089472 edges, 109971 markings/sec, 2375 secs
lola: 262353516 markings, 750629947 edges, 108160 markings/sec, 2380 secs
lola: 262865893 markings, 752081861 edges, 102475 markings/sec, 2385 secs
lola: 263424028 markings, 753659461 edges, 111627 markings/sec, 2390 secs
lola: 264055228 markings, 755430892 edges, 126240 markings/sec, 2395 secs
lola: 264611054 markings, 757016879 edges, 111165 markings/sec, 2400 secs
lola: 265191070 markings, 758657816 edges, 116003 markings/sec, 2405 secs
lola: 265740675 markings, 760235828 edges, 109921 markings/sec, 2410 secs
lola: 266300591 markings, 761834546 edges, 111983 markings/sec, 2415 secs
lola: 266845471 markings, 763381519 edges, 108976 markings/sec, 2420 secs
lola: 267406977 markings, 764989008 edges, 112301 markings/sec, 2425 secs
lola: 267956027 markings, 766558449 edges, 109810 markings/sec, 2430 secs
lola: 268513418 markings, 768147139 edges, 111478 markings/sec, 2435 secs
lola: 269067379 markings, 769738877 edges, 110792 markings/sec, 2440 secs
lola: 269617794 markings, 771295889 edges, 110083 markings/sec, 2445 secs
lola: 270164294 markings, 772815214 edges, 109300 markings/sec, 2450 secs
lola: 270742368 markings, 774426051 edges, 115615 markings/sec, 2455 secs
lola: 271273467 markings, 775930281 edges, 106220 markings/sec, 2460 secs
lola: 271783536 markings, 777411696 edges, 102014 markings/sec, 2465 secs
lola: 272308967 markings, 778898522 edges, 105086 markings/sec, 2470 secs
lola: 272902897 markings, 780550635 edges, 118786 markings/sec, 2475 secs
lola: 273491700 markings, 782216498 edges, 117761 markings/sec, 2480 secs
lola: 274062790 markings, 783833293 edges, 114218 markings/sec, 2485 secs
lola: 274598347 markings, 785375256 edges, 107111 markings/sec, 2490 secs
lola: 275139109 markings, 786879574 edges, 108152 markings/sec, 2495 secs
lola: 275693215 markings, 788450171 edges, 110821 markings/sec, 2500 secs
lola: 276203017 markings, 789894426 edges, 101960 markings/sec, 2505 secs
lola: 276730294 markings, 791389349 edges, 105455 markings/sec, 2510 secs
lola: 277235097 markings, 792820550 edges, 100961 markings/sec, 2515 secs
lola: 277802128 markings, 794400153 edges, 113406 markings/sec, 2520 secs
lola: 278314642 markings, 795880708 edges, 102503 markings/sec, 2525 secs
lola: 278843831 markings, 797381092 edges, 105838 markings/sec, 2530 secs
lola: 279366919 markings, 798862069 edges, 104618 markings/sec, 2535 secs
lola: 279968591 markings, 800535671 edges, 120334 markings/sec, 2540 secs
lola: 280558800 markings, 802205342 edges, 118042 markings/sec, 2545 secs
lola: 281134928 markings, 803836661 edges, 115226 markings/sec, 2550 secs
lola: 281678477 markings, 805400294 edges, 108710 markings/sec, 2555 secs
lola: 282264376 markings, 807029276 edges, 117180 markings/sec, 2560 secs
lola: 282859436 markings, 808713170 edges, 119012 markings/sec, 2565 secs
lola: 283409374 markings, 810270075 edges, 109988 markings/sec, 2570 secs
lola: 283951707 markings, 811832650 edges, 108467 markings/sec, 2575 secs
lola: 284466081 markings, 813262030 edges, 102875 markings/sec, 2580 secs
lola: 285017022 markings, 814797611 edges, 110188 markings/sec, 2585 secs
lola: 285504572 markings, 816207345 edges, 97510 markings/sec, 2590 secs
lola: 286004467 markings, 817625646 edges, 99979 markings/sec, 2595 secs
lola: 286493439 markings, 819013220 edges, 97794 markings/sec, 2600 secs
lola: 286998293 markings, 820417224 edges, 100971 markings/sec, 2605 secs
lola: 287517242 markings, 821890343 edges, 103790 markings/sec, 2610 secs
lola: 287981207 markings, 823207846 edges, 92793 markings/sec, 2615 secs
lola: 288492708 markings, 824658848 edges, 102300 markings/sec, 2620 secs
lola: 289002177 markings, 826101978 edges, 101894 markings/sec, 2625 secs
lola: 289591597 markings, 827743663 edges, 117884 markings/sec, 2630 secs
lola: 290123403 markings, 829276579 edges, 106361 markings/sec, 2635 secs
lola: 290685968 markings, 830869104 edges, 112513 markings/sec, 2640 secs
lola: 291206874 markings, 832343174 edges, 104181 markings/sec, 2645 secs
lola: 291788023 markings, 833960015 edges, 116230 markings/sec, 2650 secs
lola: 292366188 markings, 835596069 edges, 115633 markings/sec, 2655 secs
lola: 292921216 markings, 837167797 edges, 111006 markings/sec, 2660 secs
lola: 293455147 markings, 838706085 edges, 106786 markings/sec, 2665 secs
lola: 293970641 markings, 840139251 edges, 103099 markings/sec, 2670 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 unknown 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 unknown 1 1 1

preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 unknown 1 1 1
lola: memory consumption: 18924 KB
lola: time consumption: 3570 seconds

BK_STOP 1553038995559

--------------------
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="Parking-PT-432"
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 Parking-PT-432, 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 r110-oct2-155272242300112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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