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-155272242300109.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-416, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r110-oct2-155272242300109
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 264K
-rw-r--r-- 1 mcc users 3.2K Feb 12 03:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 12 03:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 8 02:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 8 02:26 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.4K Feb 5 00:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 00:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.5K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 4 07:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 4 07:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 1 01:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 1 01:31 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 107K 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-416-UpperBounds-00
FORMULA_NAME Parking-PT-416-UpperBounds-01
FORMULA_NAME Parking-PT-416-UpperBounds-02
FORMULA_NAME Parking-PT-416-UpperBounds-03
FORMULA_NAME Parking-PT-416-UpperBounds-04
FORMULA_NAME Parking-PT-416-UpperBounds-05
FORMULA_NAME Parking-PT-416-UpperBounds-06
FORMULA_NAME Parking-PT-416-UpperBounds-07
FORMULA_NAME Parking-PT-416-UpperBounds-08
FORMULA_NAME Parking-PT-416-UpperBounds-09
FORMULA_NAME Parking-PT-416-UpperBounds-10
FORMULA_NAME Parking-PT-416-UpperBounds-11
FORMULA_NAME Parking-PT-416-UpperBounds-12
FORMULA_NAME Parking-PT-416-UpperBounds-13
FORMULA_NAME Parking-PT-416-UpperBounds-14
FORMULA_NAME Parking-PT-416-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1553035422190

info: Time: 3600 - MCC
===========================================================================================
prep: translating Parking-PT-416 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Parking-PT-416 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Parking-PT-416 @ 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: 738/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 305
lola: finding significant places
lola: 305 places, 433 transitions, 229 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 294 transition conflict sets
lola: TASK
lola: reading formula from Parking-PT-416-UpperBounds.task
lola: MAX(p171) : MAX(p215) : MAX(p257) : MAX(p96) : MAX(p113) : MAX(p82) : MAX(p215) : MAX(p165) : MAX(p139) : MAX(p237) : MAX(p81) : MAX(p207) : MAX(p271) : MAX(p119) : MAX(p194) : MAX(p229)
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(p171)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p171)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-416-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-416-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(p215)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p215)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-416-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: 22 markings, 21 edges
lola: ========================================

FORMULA Parking-PT-416-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(p257)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p257)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-416-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-416-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(p96)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p96)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Parking-PT-416-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-416-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(p113)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p113)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-416-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: 9 markings, 8 edges
lola: ========================================

FORMULA Parking-PT-416-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(p82)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p82)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Parking-PT-416-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 13 markings, 12 edges
lola: ========================================

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

FORMULA Parking-PT-416-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(p165)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p165)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-416-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-416-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(p139)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p139)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-416-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: 6 markings, 5 edges
lola: ========================================

FORMULA Parking-PT-416-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(p237)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p237)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-416-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-416-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(p81)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p81)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Parking-PT-416-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: 15 markings, 14 edges
lola: ========================================

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

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

FORMULA Parking-PT-416-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1190 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p119)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-416-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: 727618 markings, 2851049 edges, 145524 markings/sec, 0 secs
lola: 1224779 markings, 5728854 edges, 99432 markings/sec, 5 secs
lola: 1814645 markings, 8479805 edges, 117973 markings/sec, 10 secs
lola: 2712332 markings, 11205278 edges, 179537 markings/sec, 15 secs
lola: 3699308 markings, 13984648 edges, 197395 markings/sec, 20 secs
lola: 4517952 markings, 16716158 edges, 163729 markings/sec, 25 secs
lola: 5274748 markings, 19428627 edges, 151359 markings/sec, 30 secs
lola: 5803815 markings, 22165658 edges, 105813 markings/sec, 35 secs
lola: 6385494 markings, 25010365 edges, 116336 markings/sec, 40 secs
lola: 7300189 markings, 27804192 edges, 182939 markings/sec, 45 secs
lola: 7866760 markings, 30670646 edges, 113314 markings/sec, 50 secs
lola: 8383143 markings, 33506958 edges, 103277 markings/sec, 55 secs
lola: 9327386 markings, 36285371 edges, 188849 markings/sec, 60 secs
lola: 10182630 markings, 39060446 edges, 171049 markings/sec, 65 secs
lola: 10985613 markings, 41897769 edges, 160597 markings/sec, 70 secs
lola: 11527812 markings, 44719778 edges, 108440 markings/sec, 75 secs
lola: 12113699 markings, 47562994 edges, 117177 markings/sec, 80 secs
lola: 13008728 markings, 50260252 edges, 179006 markings/sec, 85 secs
lola: 13545331 markings, 53094416 edges, 107321 markings/sec, 90 secs
lola: 14041938 markings, 55901456 edges, 99321 markings/sec, 95 secs
lola: 14992740 markings, 58657465 edges, 190160 markings/sec, 100 secs
lola: 15839763 markings, 61436607 edges, 169405 markings/sec, 105 secs
lola: 16661253 markings, 64199067 edges, 164298 markings/sec, 110 secs
lola: 17196566 markings, 66961463 edges, 107063 markings/sec, 115 secs
lola: 17753149 markings, 69757118 edges, 111317 markings/sec, 120 secs
lola: 18676452 markings, 72486153 edges, 184661 markings/sec, 125 secs
lola: 19211380 markings, 75273378 edges, 106986 markings/sec, 130 secs
lola: 19669415 markings, 78018785 edges, 91607 markings/sec, 135 secs
lola: 20557760 markings, 80743678 edges, 177669 markings/sec, 140 secs
lola: 21395780 markings, 83497800 edges, 167604 markings/sec, 145 secs
lola: 22286338 markings, 86227609 edges, 178112 markings/sec, 150 secs
lola: 22825413 markings, 89003131 edges, 107815 markings/sec, 155 secs
lola: 23329538 markings, 91782041 edges, 100825 markings/sec, 160 secs
lola: 24249176 markings, 94489840 edges, 183928 markings/sec, 165 secs
lola: 24857297 markings, 97253408 edges, 121624 markings/sec, 170 secs
lola: 25281251 markings, 100007632 edges, 84791 markings/sec, 175 secs
lola: 26053674 markings, 102725210 edges, 154485 markings/sec, 180 secs
lola: 26957173 markings, 105399555 edges, 180700 markings/sec, 185 secs
lola: 27431392 markings, 108141454 edges, 94844 markings/sec, 190 secs
lola: 27919408 markings, 110885389 edges, 97603 markings/sec, 195 secs
lola: 28367650 markings, 113690468 edges, 89648 markings/sec, 200 secs
lola: 28844678 markings, 116413052 edges, 95406 markings/sec, 205 secs
lola: 29259748 markings, 119101504 edges, 83014 markings/sec, 210 secs
lola: 29748530 markings, 121921030 edges, 97756 markings/sec, 215 secs
lola: 30228661 markings, 124652566 edges, 96026 markings/sec, 220 secs
lola: 30660318 markings, 127341138 edges, 86331 markings/sec, 225 secs
lola: 31150533 markings, 130120513 edges, 98043 markings/sec, 230 secs
lola: 31572806 markings, 132864641 edges, 84455 markings/sec, 235 secs
lola: 32041193 markings, 135595450 edges, 93677 markings/sec, 240 secs
lola: 32523669 markings, 138339307 edges, 96495 markings/sec, 245 secs
lola: 32967187 markings, 141115330 edges, 88704 markings/sec, 250 secs
lola: 33454072 markings, 143839297 edges, 97377 markings/sec, 255 secs
lola: 33878865 markings, 146554975 edges, 84959 markings/sec, 260 secs
lola: 34346821 markings, 149318735 edges, 93591 markings/sec, 265 secs
lola: 34813673 markings, 151974950 edges, 93370 markings/sec, 270 secs
lola: 35239197 markings, 154631199 edges, 85105 markings/sec, 275 secs
lola: 35704957 markings, 157294426 edges, 93152 markings/sec, 280 secs
lola: 36098979 markings, 159931346 edges, 78804 markings/sec, 285 secs
lola: 36578171 markings, 162553320 edges, 95838 markings/sec, 290 secs
lola: 37019977 markings, 165146902 edges, 88361 markings/sec, 295 secs
lola: 37460594 markings, 167861901 edges, 88123 markings/sec, 300 secs
lola: 37923913 markings, 170551421 edges, 92664 markings/sec, 305 secs
lola: 38340729 markings, 173233060 edges, 83363 markings/sec, 310 secs
lola: 38838409 markings, 176014382 edges, 99536 markings/sec, 315 secs
lola: 39292093 markings, 178710918 edges, 90737 markings/sec, 320 secs
lola: 39729884 markings, 181399716 edges, 87558 markings/sec, 325 secs
lola: 40201507 markings, 184117164 edges, 94325 markings/sec, 330 secs
lola: 40624906 markings, 186845108 edges, 84680 markings/sec, 335 secs
lola: 41219691 markings, 189600682 edges, 118957 markings/sec, 340 secs
lola: 41811586 markings, 192388940 edges, 118379 markings/sec, 345 secs
lola: 42405079 markings, 195163555 edges, 118699 markings/sec, 350 secs
lola: 42854772 markings, 197867715 edges, 89939 markings/sec, 355 secs
lola: 43378338 markings, 200522410 edges, 104713 markings/sec, 360 secs
lola: 43838553 markings, 203280211 edges, 92043 markings/sec, 365 secs
lola: 44246268 markings, 205976004 edges, 81543 markings/sec, 370 secs
lola: 44582182 markings, 208692507 edges, 67183 markings/sec, 375 secs
lola: 45096111 markings, 211418675 edges, 102786 markings/sec, 380 secs
lola: 45549846 markings, 214116599 edges, 90747 markings/sec, 385 secs
lola: 45992552 markings, 216843418 edges, 88541 markings/sec, 390 secs
lola: 46460481 markings, 219562467 edges, 93586 markings/sec, 395 secs
lola: 46864848 markings, 222264228 edges, 80873 markings/sec, 400 secs
lola: 47362023 markings, 224998789 edges, 99435 markings/sec, 405 secs
lola: 47798104 markings, 227648678 edges, 87216 markings/sec, 410 secs
lola: 48234851 markings, 230307782 edges, 87349 markings/sec, 415 secs
lola: 48700573 markings, 233015601 edges, 93144 markings/sec, 420 secs
lola: 49126196 markings, 235701870 edges, 85125 markings/sec, 425 secs
lola: 49656017 markings, 238452497 edges, 105964 markings/sec, 430 secs
lola: 50081728 markings, 241221102 edges, 85142 markings/sec, 435 secs
lola: 50448456 markings, 243932600 edges, 73346 markings/sec, 440 secs
lola: 50903124 markings, 246662985 edges, 90934 markings/sec, 445 secs
lola: 51335207 markings, 249380089 edges, 86417 markings/sec, 450 secs
lola: 51821021 markings, 252153833 edges, 97163 markings/sec, 455 secs
lola: 52258485 markings, 254900419 edges, 87493 markings/sec, 460 secs
lola: 52713905 markings, 257677118 edges, 91084 markings/sec, 465 secs
lola: 53191216 markings, 260447989 edges, 95462 markings/sec, 470 secs
lola: 53586903 markings, 263227839 edges, 79137 markings/sec, 475 secs
lola: 54095069 markings, 265938108 edges, 101633 markings/sec, 480 secs
lola: 54551003 markings, 268598045 edges, 91187 markings/sec, 485 secs
lola: 55055058 markings, 271185136 edges, 100811 markings/sec, 490 secs
lola: 55489497 markings, 273805974 edges, 86888 markings/sec, 495 secs
lola: 56074008 markings, 276488302 edges, 116902 markings/sec, 500 secs
lola: 56597581 markings, 279021644 edges, 104715 markings/sec, 505 secs
lola: 57436682 markings, 281540354 edges, 167820 markings/sec, 510 secs
lola: 58287028 markings, 284065890 edges, 170069 markings/sec, 515 secs
lola: 58793872 markings, 286705829 edges, 101369 markings/sec, 520 secs
lola: 59289184 markings, 289267009 edges, 99062 markings/sec, 525 secs
lola: 59771729 markings, 291944948 edges, 96509 markings/sec, 530 secs
lola: 60167970 markings, 294634976 edges, 79248 markings/sec, 535 secs
lola: 60563861 markings, 297249056 edges, 79178 markings/sec, 540 secs
lola: 61010199 markings, 299929382 edges, 89268 markings/sec, 545 secs
lola: 61422959 markings, 302568587 edges, 82552 markings/sec, 550 secs
lola: 61908006 markings, 305306155 edges, 97009 markings/sec, 555 secs
lola: 62358620 markings, 307987461 edges, 90123 markings/sec, 560 secs
lola: 62804743 markings, 310672365 edges, 89225 markings/sec, 565 secs
lola: 63268247 markings, 313389103 edges, 92701 markings/sec, 570 secs
lola: 63717371 markings, 316105601 edges, 89825 markings/sec, 575 secs
lola: 64194839 markings, 318822870 edges, 95494 markings/sec, 580 secs
lola: 64582066 markings, 321509073 edges, 77445 markings/sec, 585 secs
lola: 65054287 markings, 324095287 edges, 94444 markings/sec, 590 secs
lola: 65645137 markings, 326632979 edges, 118170 markings/sec, 595 secs
lola: 66581949 markings, 329262327 edges, 187362 markings/sec, 600 secs
lola: 67315806 markings, 332038897 edges, 146771 markings/sec, 605 secs
lola: 67861007 markings, 334835194 edges, 109040 markings/sec, 610 secs
lola: 68380026 markings, 337569484 edges, 103804 markings/sec, 615 secs
lola: 69246392 markings, 340214862 edges, 173273 markings/sec, 620 secs
lola: 70166675 markings, 342925253 edges, 184057 markings/sec, 625 secs
lola: 71043433 markings, 345638421 edges, 175352 markings/sec, 630 secs
lola: 71952897 markings, 348335289 edges, 181893 markings/sec, 635 secs
lola: 72904458 markings, 350982473 edges, 190312 markings/sec, 640 secs
lola: 73761770 markings, 353663735 edges, 171462 markings/sec, 645 secs
lola: 74644305 markings, 356320218 edges, 176507 markings/sec, 650 secs
lola: 75566237 markings, 358939456 edges, 184386 markings/sec, 655 secs
lola: 76137954 markings, 361639531 edges, 114343 markings/sec, 660 secs
lola: 76559454 markings, 364338500 edges, 84300 markings/sec, 665 secs
lola: 77036972 markings, 367114223 edges, 95504 markings/sec, 670 secs
lola: 77520837 markings, 369733932 edges, 96773 markings/sec, 675 secs
lola: 78117575 markings, 372463629 edges, 119348 markings/sec, 680 secs
lola: 78671498 markings, 375126703 edges, 110785 markings/sec, 685 secs
lola: 79128047 markings, 377781349 edges, 91310 markings/sec, 690 secs
lola: 79635107 markings, 380524947 edges, 101412 markings/sec, 695 secs
lola: 80036544 markings, 383254693 edges, 80287 markings/sec, 700 secs
lola: 80430591 markings, 385893471 edges, 78809 markings/sec, 705 secs
lola: 80892972 markings, 388625174 edges, 92476 markings/sec, 710 secs
lola: 81294057 markings, 391293713 edges, 80217 markings/sec, 715 secs
lola: 81786806 markings, 394026457 edges, 98550 markings/sec, 720 secs
lola: 82231938 markings, 396712534 edges, 89026 markings/sec, 725 secs
lola: 82679923 markings, 399450293 edges, 89597 markings/sec, 730 secs
lola: 83150305 markings, 402181047 edges, 94076 markings/sec, 735 secs
lola: 83581019 markings, 404895692 edges, 86143 markings/sec, 740 secs
lola: 84061368 markings, 407580200 edges, 96070 markings/sec, 745 secs
lola: 84469580 markings, 410250041 edges, 81642 markings/sec, 750 secs
lola: 84923502 markings, 412926523 edges, 90784 markings/sec, 755 secs
lola: 85415384 markings, 415581642 edges, 98376 markings/sec, 760 secs
lola: 85874344 markings, 418325288 edges, 91792 markings/sec, 765 secs
lola: 86276356 markings, 421027729 edges, 80402 markings/sec, 770 secs
lola: 86614416 markings, 423721838 edges, 67612 markings/sec, 775 secs
lola: 87097898 markings, 426447468 edges, 96696 markings/sec, 780 secs
lola: 87565532 markings, 429131493 edges, 93527 markings/sec, 785 secs
lola: 88004374 markings, 431848696 edges, 87768 markings/sec, 790 secs
lola: 88477262 markings, 434605384 edges, 94578 markings/sec, 795 secs
lola: 88892668 markings, 437314901 edges, 83081 markings/sec, 800 secs
lola: 89368342 markings, 440084494 edges, 95135 markings/sec, 805 secs
lola: 89835450 markings, 442776936 edges, 93422 markings/sec, 810 secs
lola: 90260200 markings, 445458512 edges, 84950 markings/sec, 815 secs
lola: 90779857 markings, 447997858 edges, 103931 markings/sec, 820 secs
lola: 91317236 markings, 450542895 edges, 107476 markings/sec, 825 secs
lola: 91909350 markings, 453107311 edges, 118423 markings/sec, 830 secs
lola: 92736993 markings, 455649173 edges, 165529 markings/sec, 835 secs
lola: 93602925 markings, 458133281 edges, 173186 markings/sec, 840 secs
lola: 94097502 markings, 460680154 edges, 98915 markings/sec, 845 secs
lola: 94565513 markings, 463216822 edges, 93602 markings/sec, 850 secs
lola: 95062737 markings, 465850094 edges, 99445 markings/sec, 855 secs
lola: 95464221 markings, 468452605 edges, 80297 markings/sec, 860 secs
lola: 95838340 markings, 470978944 edges, 74824 markings/sec, 865 secs
lola: 96273231 markings, 473576145 edges, 86978 markings/sec, 870 secs
lola: 96700135 markings, 476175741 edges, 85381 markings/sec, 875 secs
lola: 97150574 markings, 478814623 edges, 90088 markings/sec, 880 secs
lola: 97566636 markings, 481433155 edges, 83212 markings/sec, 885 secs
lola: 98036802 markings, 484099098 edges, 94033 markings/sec, 890 secs
lola: 98469929 markings, 486725598 edges, 86625 markings/sec, 895 secs
lola: 98919531 markings, 489410394 edges, 89920 markings/sec, 900 secs
lola: 99383568 markings, 492072043 edges, 92807 markings/sec, 905 secs
lola: 99823428 markings, 494729172 edges, 87972 markings/sec, 910 secs
lola: 100276504 markings, 497329246 edges, 90615 markings/sec, 915 secs
lola: 100924769 markings, 499833387 edges, 129653 markings/sec, 920 secs
lola: 101883935 markings, 502423384 edges, 191833 markings/sec, 925 secs
lola: 102588166 markings, 505216043 edges, 140846 markings/sec, 930 secs
lola: 103072668 markings, 508035509 edges, 96900 markings/sec, 935 secs
lola: 103658337 markings, 510756138 edges, 117134 markings/sec, 940 secs
lola: 104539942 markings, 513416859 edges, 176321 markings/sec, 945 secs
lola: 105483421 markings, 516112590 edges, 188696 markings/sec, 950 secs
lola: 106315148 markings, 518869445 edges, 166345 markings/sec, 955 secs
lola: 107077694 markings, 521539023 edges, 152509 markings/sec, 960 secs
lola: 107602352 markings, 524247753 edges, 104932 markings/sec, 965 secs
lola: 108143849 markings, 527023568 edges, 108299 markings/sec, 970 secs
lola: 109108416 markings, 529679188 edges, 192913 markings/sec, 975 secs
lola: 109959367 markings, 532436013 edges, 170190 markings/sec, 980 secs
lola: 110685424 markings, 535182612 edges, 145211 markings/sec, 985 secs
lola: 111164525 markings, 537911627 edges, 95820 markings/sec, 990 secs
lola: 111813716 markings, 540659299 edges, 129838 markings/sec, 995 secs
lola: 112698012 markings, 543343565 edges, 176859 markings/sec, 1000 secs
lola: 113621868 markings, 546050183 edges, 184771 markings/sec, 1005 secs
lola: 114246897 markings, 548797958 edges, 125006 markings/sec, 1010 secs
lola: 114673737 markings, 551531455 edges, 85368 markings/sec, 1015 secs
lola: 115420285 markings, 554233245 edges, 149310 markings/sec, 1020 secs
lola: 116314340 markings, 556894299 edges, 178811 markings/sec, 1025 secs
lola: 117211233 markings, 559596855 edges, 179379 markings/sec, 1030 secs
lola: 117787314 markings, 562352634 edges, 115216 markings/sec, 1035 secs
lola: 118230334 markings, 565090386 edges, 88604 markings/sec, 1040 secs
lola: 119029014 markings, 567743947 edges, 159736 markings/sec, 1045 secs
lola: 119886094 markings, 570369208 edges, 171416 markings/sec, 1050 secs
lola: 120357347 markings, 573116129 edges, 94251 markings/sec, 1055 secs
lola: 120838926 markings, 575848448 edges, 96316 markings/sec, 1060 secs
lola: 121278639 markings, 578615045 edges, 87943 markings/sec, 1065 secs
lola: 121759942 markings, 581322643 edges, 96261 markings/sec, 1070 secs
lola: 122175773 markings, 584011127 edges, 83166 markings/sec, 1075 secs
lola: 122654750 markings, 586803068 edges, 95795 markings/sec, 1080 secs
lola: 123126587 markings, 589501603 edges, 94367 markings/sec, 1085 secs
lola: 123558817 markings, 592198863 edges, 86446 markings/sec, 1090 secs
lola: 124045414 markings, 594967015 edges, 97319 markings/sec, 1095 secs
lola: 124464913 markings, 597689790 edges, 83900 markings/sec, 1100 secs
lola: 124916367 markings, 600332416 edges, 90291 markings/sec, 1105 secs
lola: 125386257 markings, 602980127 edges, 93978 markings/sec, 1110 secs
lola: 125829490 markings, 605735444 edges, 88647 markings/sec, 1115 secs
lola: 126291288 markings, 608399139 edges, 92360 markings/sec, 1120 secs
lola: 126653916 markings, 610987258 edges, 72526 markings/sec, 1125 secs
lola: 127177412 markings, 613728953 edges, 104699 markings/sec, 1130 secs
lola: 127643300 markings, 616442032 edges, 93178 markings/sec, 1135 secs
lola: 128239650 markings, 619202775 edges, 119270 markings/sec, 1140 secs
lola: 128855137 markings, 621924544 edges, 123097 markings/sec, 1145 secs
lola: 129303569 markings, 624601202 edges, 89686 markings/sec, 1150 secs
lola: 129819417 markings, 627254920 edges, 103170 markings/sec, 1155 secs
lola: 130283794 markings, 629987973 edges, 92875 markings/sec, 1160 secs
lola: 130686658 markings, 632670040 edges, 80573 markings/sec, 1165 secs
lola: 131022347 markings, 635368153 edges, 67138 markings/sec, 1170 secs
lola: 131534346 markings, 638080201 edges, 102400 markings/sec, 1175 secs
lola: 131977772 markings, 640759719 edges, 88685 markings/sec, 1180 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown unknown unknown
lola: memory consumption: 4645104 KB
lola: time consumption: 1190 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1190 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p194)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p194)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-416-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
lola: ========================================

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

FORMULA Parking-PT-416-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p119)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-416-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: 728509 markings, 2854811 edges, 145702 markings/sec, 0 secs
lola: 1228826 markings, 5747842 edges, 100063 markings/sec, 5 secs
lola: 1816620 markings, 8486564 edges, 117559 markings/sec, 10 secs
lola: 2714759 markings, 11217700 edges, 179628 markings/sec, 15 secs
lola: 3707770 markings, 14004148 edges, 198602 markings/sec, 20 secs
lola: 4565031 markings, 16822122 edges, 171452 markings/sec, 25 secs
lola: 5335077 markings, 19623736 edges, 154009 markings/sec, 30 secs
lola: 5840039 markings, 22408490 edges, 100992 markings/sec, 35 secs
lola: 6459647 markings, 25257438 edges, 123922 markings/sec, 40 secs
lola: 7357441 markings, 27998704 edges, 179559 markings/sec, 45 secs
lola: 7900861 markings, 30814458 edges, 108684 markings/sec, 50 secs
lola: 8413129 markings, 33596431 edges, 102454 markings/sec, 55 secs
lola: 9359290 markings, 36360726 edges, 189232 markings/sec, 60 secs
lola: 10213046 markings, 39163821 edges, 170751 markings/sec, 65 secs
lola: 10995054 markings, 41958270 edges, 156402 markings/sec, 70 secs
lola: 11530209 markings, 44736151 edges, 107031 markings/sec, 75 secs
lola: 12118742 markings, 47580883 edges, 117707 markings/sec, 80 secs
lola: 13017353 markings, 50323899 edges, 179722 markings/sec, 85 secs
lola: 13566494 markings, 53144263 edges, 109828 markings/sec, 90 secs
lola: 14050682 markings, 55940081 edges, 96838 markings/sec, 95 secs
lola: 15000462 markings, 58684416 edges, 189956 markings/sec, 100 secs
lola: 15858909 markings, 61480947 edges, 171689 markings/sec, 105 secs
lola: 16669662 markings, 64246913 edges, 162151 markings/sec, 110 secs
lola: 17207424 markings, 67014751 edges, 107552 markings/sec, 115 secs
lola: 17768041 markings, 69828455 edges, 112123 markings/sec, 120 secs
lola: 18695115 markings, 72565211 edges, 185415 markings/sec, 125 secs
lola: 19215637 markings, 75378843 edges, 104104 markings/sec, 130 secs
lola: 19696850 markings, 78127924 edges, 96243 markings/sec, 135 secs
lola: 20604186 markings, 80854462 edges, 181467 markings/sec, 140 secs
lola: 21435524 markings, 83630647 edges, 166268 markings/sec, 145 secs
lola: 22330239 markings, 86372668 edges, 178943 markings/sec, 150 secs
lola: 22854277 markings, 89164632 edges, 104808 markings/sec, 155 secs
lola: 23384778 markings, 91958257 edges, 106100 markings/sec, 160 secs
lola: 24293851 markings, 94684090 edges, 181815 markings/sec, 165 secs
lola: 24885438 markings, 97463547 edges, 118317 markings/sec, 170 secs
lola: 25325167 markings, 100231533 edges, 87946 markings/sec, 175 secs
lola: 26146411 markings, 102944741 edges, 164249 markings/sec, 180 secs
lola: 27008761 markings, 105626395 edges, 172470 markings/sec, 185 secs
lola: 27473304 markings, 108373827 edges, 92909 markings/sec, 190 secs
lola: 27958699 markings, 111148754 edges, 97079 markings/sec, 195 secs
lola: 28396709 markings, 113947277 edges, 87602 markings/sec, 200 secs
lola: 28892710 markings, 116670662 edges, 99200 markings/sec, 205 secs
lola: 29332915 markings, 119394143 edges, 88041 markings/sec, 210 secs
lola: 29795861 markings, 122206512 edges, 92589 markings/sec, 215 secs
lola: 30271303 markings, 124934240 edges, 95088 markings/sec, 220 secs
lola: 30694636 markings, 127684821 edges, 84667 markings/sec, 225 secs
lola: 31200632 markings, 130481757 edges, 101199 markings/sec, 230 secs
lola: 31651910 markings, 133195231 edges, 90256 markings/sec, 235 secs
lola: 32098927 markings, 135937840 edges, 89403 markings/sec, 240 secs
lola: 32575622 markings, 138664651 edges, 95339 markings/sec, 245 secs
lola: 32990256 markings, 141423191 edges, 82927 markings/sec, 250 secs
lola: 33491460 markings, 144134196 edges, 100241 markings/sec, 255 secs
lola: 33946101 markings, 146853832 edges, 90928 markings/sec, 260 secs
lola: 34402208 markings, 149634900 edges, 91221 markings/sec, 265 secs
lola: 34871412 markings, 152355924 edges, 93841 markings/sec, 270 secs
lola: 35285088 markings, 155067548 edges, 82735 markings/sec, 275 secs
lola: 35796095 markings, 157876467 edges, 102201 markings/sec, 280 secs
lola: 36257079 markings, 160597005 edges, 92197 markings/sec, 285 secs
lola: 36698150 markings, 163315578 edges, 88214 markings/sec, 290 secs
lola: 37177445 markings, 166061924 edges, 95859 markings/sec, 295 secs
lola: 37570825 markings, 168830546 edges, 78676 markings/sec, 300 secs
lola: 38083923 markings, 171522212 edges, 102620 markings/sec, 305 secs
lola: 38540096 markings, 174238526 edges, 91235 markings/sec, 310 secs
lola: 38999025 markings, 177031769 edges, 91786 markings/sec, 315 secs
lola: 39474187 markings, 179749608 edges, 95032 markings/sec, 320 secs
lola: 39864587 markings, 182459737 edges, 78080 markings/sec, 325 secs
lola: 40385750 markings, 185222163 edges, 104233 markings/sec, 330 secs
lola: 40853141 markings, 187962472 edges, 93478 markings/sec, 335 secs
lola: 41454429 markings, 190758065 edges, 120258 markings/sec, 340 secs
lola: 42033257 markings, 193558572 edges, 115766 markings/sec, 345 secs
lola: 42609053 markings, 196309571 edges, 115159 markings/sec, 350 secs
lola: 42999752 markings, 199014854 edges, 78140 markings/sec, 355 secs
lola: 43594417 markings, 201763182 edges, 118933 markings/sec, 360 secs
lola: 44016913 markings, 204548455 edges, 84499 markings/sec, 365 secs
lola: 44403348 markings, 207254103 edges, 77287 markings/sec, 370 secs
lola: 44872163 markings, 210014360 edges, 93763 markings/sec, 375 secs
lola: 45304473 markings, 212735237 edges, 86462 markings/sec, 380 secs
lola: 45794017 markings, 215520439 edges, 97909 markings/sec, 385 secs
lola: 46224193 markings, 218288001 edges, 86035 markings/sec, 390 secs
lola: 46693170 markings, 221063277 edges, 93795 markings/sec, 395 secs
lola: 47173365 markings, 223814840 edges, 96039 markings/sec, 400 secs
lola: 47611779 markings, 226587323 edges, 87683 markings/sec, 405 secs
lola: 48094742 markings, 229316338 edges, 96593 markings/sec, 410 secs
lola: 48509785 markings, 232022365 edges, 83009 markings/sec, 415 secs
lola: 48971195 markings, 234744081 edges, 92282 markings/sec, 420 secs
lola: 49472572 markings, 237450064 edges, 100275 markings/sec, 425 secs
lola: 49935955 markings, 240231420 edges, 92677 markings/sec, 430 secs
lola: 50345601 markings, 242968958 edges, 81929 markings/sec, 435 secs
lola: 50711553 markings, 245717444 edges, 73190 markings/sec, 440 secs
lola: 51181483 markings, 248455025 edges, 93986 markings/sec, 445 secs
lola: 51656128 markings, 251189577 edges, 94929 markings/sec, 450 secs
lola: 52086679 markings, 253924785 edges, 86110 markings/sec, 455 secs
lola: 52568707 markings, 256661701 edges, 96406 markings/sec, 460 secs
lola: 53000698 markings, 259371236 edges, 86398 markings/sec, 465 secs
lola: 53461247 markings, 262167290 edges, 92110 markings/sec, 470 secs
lola: 53933803 markings, 264915666 edges, 94511 markings/sec, 475 secs
lola: 54325250 markings, 267613339 edges, 78289 markings/sec, 480 secs
lola: 54859885 markings, 270038342 edges, 106927 markings/sec, 485 secs
lola: 55266938 markings, 272602027 edges, 81411 markings/sec, 490 secs
lola: 55805939 markings, 275173425 edges, 107800 markings/sec, 495 secs
lola: 56317880 markings, 277699624 edges, 102388 markings/sec, 500 secs
lola: 56981496 markings, 280191657 edges, 132723 markings/sec, 505 secs
lola: 57840337 markings, 282710066 edges, 171768 markings/sec, 510 secs
lola: 58525687 markings, 285177491 edges, 137070 markings/sec, 515 secs
lola: 59005902 markings, 287666958 edges, 96043 markings/sec, 520 secs
lola: 59486701 markings, 290218163 edges, 96160 markings/sec, 525 secs
lola: 59911127 markings, 292819094 edges, 84885 markings/sec, 530 secs
lola: 60304418 markings, 295392451 edges, 78658 markings/sec, 535 secs
lola: 60623526 markings, 297998049 edges, 63822 markings/sec, 540 secs
lola: 61120285 markings, 300572904 edges, 99352 markings/sec, 545 secs
lola: 61528814 markings, 303149159 edges, 81706 markings/sec, 550 secs
lola: 61977841 markings, 305785501 edges, 89805 markings/sec, 555 secs
lola: 62436282 markings, 308377304 edges, 91688 markings/sec, 560 secs
lola: 62861400 markings, 310967912 edges, 85024 markings/sec, 565 secs
lola: 63309890 markings, 313593405 edges, 89698 markings/sec, 570 secs
lola: 63727195 markings, 316196611 edges, 83461 markings/sec, 575 secs
lola: 64196314 markings, 318834818 edges, 93824 markings/sec, 580 secs
lola: 64568182 markings, 321417091 edges, 74374 markings/sec, 585 secs
lola: 65007781 markings, 323902366 edges, 87920 markings/sec, 590 secs
lola: 65541644 markings, 326364041 edges, 106773 markings/sec, 595 secs
lola: 66458718 markings, 328919711 edges, 183415 markings/sec, 600 secs
lola: 67193495 markings, 331567904 edges, 146955 markings/sec, 605 secs
lola: 67772100 markings, 334271943 edges, 115721 markings/sec, 610 secs
lola: 68144890 markings, 336960499 edges, 74558 markings/sec, 615 secs
lola: 69026841 markings, 339513052 edges, 176390 markings/sec, 620 secs
lola: 69842518 markings, 342134230 edges, 163135 markings/sec, 625 secs
lola: 70740973 markings, 344797067 edges, 179691 markings/sec, 630 secs
lola: 71691704 markings, 347393186 edges, 190146 markings/sec, 635 secs
lola: 72493426 markings, 349913664 edges, 160344 markings/sec, 640 secs
lola: 73318531 markings, 352432949 edges, 165021 markings/sec, 645 secs
lola: 74210665 markings, 354862435 edges, 178427 markings/sec, 650 secs
lola: 75001254 markings, 357346117 edges, 158118 markings/sec, 655 secs
lola: 75815874 markings, 359885092 edges, 162924 markings/sec, 660 secs
lola: 76253262 markings, 362470637 edges, 87478 markings/sec, 665 secs
lola: 76709036 markings, 365048140 edges, 91155 markings/sec, 670 secs
lola: 77146359 markings, 367741939 edges, 87465 markings/sec, 675 secs
lola: 77674481 markings, 370445321 edges, 105624 markings/sec, 680 secs
lola: 78300667 markings, 373109325 edges, 125237 markings/sec, 685 secs
lola: 78753832 markings, 375744259 edges, 90633 markings/sec, 690 secs
lola: 79251517 markings, 378324348 edges, 99537 markings/sec, 695 secs
lola: 79723627 markings, 380990190 edges, 94422 markings/sec, 700 secs
lola: 80110571 markings, 383657524 edges, 77389 markings/sec, 705 secs
lola: 80472074 markings, 386246106 edges, 72301 markings/sec, 710 secs
lola: 80946266 markings, 388938142 edges, 94838 markings/sec, 715 secs
lola: 81329167 markings, 391570197 edges, 76580 markings/sec, 720 secs
lola: 81822740 markings, 394242266 edges, 98715 markings/sec, 725 secs
lola: 82266698 markings, 396894607 edges, 88792 markings/sec, 730 secs
lola: 82704062 markings, 399583129 edges, 87473 markings/sec, 735 secs
lola: 83165570 markings, 402288265 edges, 92302 markings/sec, 740 secs
lola: 83590009 markings, 404990778 edges, 84888 markings/sec, 745 secs
lola: 84075748 markings, 407668089 edges, 97148 markings/sec, 750 secs
lola: 84494048 markings, 410341317 edges, 83660 markings/sec, 755 secs
lola: 84939317 markings, 413020305 edges, 89054 markings/sec, 760 secs
lola: 85433245 markings, 415681927 edges, 98786 markings/sec, 765 secs
lola: 85890683 markings, 418428948 edges, 91488 markings/sec, 770 secs
lola: 86293884 markings, 421132057 edges, 80640 markings/sec, 775 secs
lola: 86648594 markings, 423844158 edges, 70942 markings/sec, 780 secs
lola: 87119478 markings, 426569216 edges, 94177 markings/sec, 785 secs
lola: 87590466 markings, 429259215 edges, 94198 markings/sec, 790 secs
lola: 88023450 markings, 431969311 edges, 86597 markings/sec, 795 secs
lola: 88500226 markings, 434723718 edges, 95355 markings/sec, 800 secs
lola: 88924119 markings, 437446652 edges, 84779 markings/sec, 805 secs
lola: 89390857 markings, 440223316 edges, 93348 markings/sec, 810 secs
lola: 89855499 markings, 442949013 edges, 92928 markings/sec, 815 secs
lola: 90281069 markings, 445641326 edges, 85114 markings/sec, 820 secs
lola: 90818868 markings, 448219673 edges, 107560 markings/sec, 825 secs
lola: 91377707 markings, 450819720 edges, 111768 markings/sec, 830 secs
lola: 91973170 markings, 453383857 edges, 119093 markings/sec, 835 secs
lola: 92825923 markings, 455932680 edges, 170551 markings/sec, 840 secs
lola: 93668613 markings, 458433620 edges, 168538 markings/sec, 845 secs
lola: 94164699 markings, 461033249 edges, 99217 markings/sec, 850 secs
lola: 94657554 markings, 463574197 edges, 98571 markings/sec, 855 secs
lola: 95140985 markings, 466244482 edges, 96686 markings/sec, 860 secs
lola: 95532564 markings, 468918434 edges, 78316 markings/sec, 865 secs
lola: 95934115 markings, 471556765 edges, 80310 markings/sec, 870 secs
lola: 96387159 markings, 474275413 edges, 90609 markings/sec, 875 secs
lola: 96799607 markings, 476960659 edges, 82490 markings/sec, 880 secs
lola: 97287079 markings, 479666563 edges, 97494 markings/sec, 885 secs
lola: 97737462 markings, 482348881 edges, 90077 markings/sec, 890 secs
lola: 98191568 markings, 485073169 edges, 90821 markings/sec, 895 secs
lola: 98657789 markings, 487794833 edges, 93244 markings/sec, 900 secs
lola: 99100673 markings, 490511732 edges, 88577 markings/sec, 905 secs
lola: 99576639 markings, 493281072 edges, 95193 markings/sec, 910 secs
lola: 99987158 markings, 495998259 edges, 82104 markings/sec, 915 secs
lola: 100570541 markings, 498532094 edges, 116677 markings/sec, 920 secs
lola: 101442448 markings, 501223097 edges, 174381 markings/sec, 925 secs
lola: 102258966 markings, 504018567 edges, 163304 markings/sec, 930 secs
lola: 102902248 markings, 506879858 edges, 128656 markings/sec, 935 secs
lola: 103312626 markings, 509735800 edges, 82076 markings/sec, 940 secs
lola: 104261993 markings, 512425369 edges, 189873 markings/sec, 945 secs
lola: 105139263 markings, 515220504 edges, 175454 markings/sec, 950 secs
lola: 106006322 markings, 517972059 edges, 173412 markings/sec, 955 secs
lola: 106900885 markings, 520694623 edges, 178913 markings/sec, 960 secs
lola: 107435526 markings, 523490924 edges, 106928 markings/sec, 965 secs
lola: 107921559 markings, 526244029 edges, 97207 markings/sec, 970 secs
lola: 108847874 markings, 528932213 edges, 185263 markings/sec, 975 secs
lola: 109664796 markings, 531703229 edges, 163384 markings/sec, 980 secs
lola: 110501678 markings, 534436129 edges, 167376 markings/sec, 985 secs
lola: 111045754 markings, 537208769 edges, 108815 markings/sec, 990 secs
lola: 111572650 markings, 539986386 edges, 105379 markings/sec, 995 secs
lola: 112532421 markings, 542641446 edges, 191954 markings/sec, 1000 secs
lola: 113363555 markings, 545416667 edges, 166227 markings/sec, 1005 secs
lola: 114103538 markings, 548162990 edges, 147997 markings/sec, 1010 secs
lola: 114619929 markings, 550891044 edges, 103278 markings/sec, 1015 secs
lola: 115228186 markings, 553649457 edges, 121651 markings/sec, 1020 secs
lola: 116142625 markings, 556314308 edges, 182888 markings/sec, 1025 secs
lola: 117041430 markings, 559048801 edges, 179761 markings/sec, 1030 secs
lola: 117705742 markings, 561805302 edges, 132862 markings/sec, 1035 secs
lola: 118153527 markings, 564548645 edges, 89557 markings/sec, 1040 secs
lola: 118866738 markings, 567267111 edges, 142642 markings/sec, 1045 secs
lola: 119769625 markings, 569909767 edges, 180577 markings/sec, 1050 secs
lola: 120288206 markings, 572620115 edges, 103716 markings/sec, 1055 secs
lola: 120749972 markings, 575345997 edges, 92353 markings/sec, 1060 secs
lola: 121205073 markings, 578138597 edges, 91020 markings/sec, 1065 secs
lola: 121676879 markings, 580854375 edges, 94361 markings/sec, 1070 secs
lola: 122066991 markings, 583569568 edges, 78022 markings/sec, 1075 secs
lola: 122592136 markings, 586353724 edges, 105029 markings/sec, 1080 secs
lola: 123049819 markings, 589075377 edges, 91537 markings/sec, 1085 secs
lola: 123493678 markings, 591799056 edges, 88772 markings/sec, 1090 secs
lola: 123973445 markings, 594555972 edges, 95953 markings/sec, 1095 secs
lola: 124368443 markings, 597328685 edges, 79000 markings/sec, 1100 secs
lola: 124879153 markings, 600006476 edges, 102142 markings/sec, 1105 secs
lola: 125335050 markings, 602709111 edges, 91179 markings/sec, 1110 secs
lola: 125787825 markings, 605483257 edges, 90555 markings/sec, 1115 secs
lola: 126255879 markings, 608187945 edges, 93611 markings/sec, 1120 secs
lola: 126651586 markings, 610897954 edges, 79141 markings/sec, 1125 secs
lola: 127168149 markings, 613664806 edges, 103313 markings/sec, 1130 secs
lola: 127632720 markings, 616394524 edges, 92914 markings/sec, 1135 secs
lola: 128232698 markings, 619169333 edges, 119996 markings/sec, 1140 secs
lola: 128850529 markings, 621907352 edges, 123566 markings/sec, 1145 secs
lola: 129302177 markings, 624594275 edges, 90330 markings/sec, 1150 secs
lola: 129819094 markings, 627252963 edges, 103383 markings/sec, 1155 secs
lola: 130286042 markings, 630001227 edges, 93390 markings/sec, 1160 secs
lola: 130694943 markings, 632710192 edges, 81780 markings/sec, 1165 secs
lola: 131032300 markings, 635427880 edges, 67471 markings/sec, 1170 secs
lola: 131545964 markings, 638143488 edges, 102733 markings/sec, 1175 secs
lola: 131988876 markings, 640830542 edges, 88582 markings/sec, 1180 secs
lola: 132434616 markings, 643555488 edges, 89148 markings/sec, 1185 secs
lola: 132903220 markings, 646286129 edges, 93721 markings/sec, 1190 secs
lola: 133331483 markings, 648997610 edges, 85653 markings/sec, 1195 secs
lola: 133827006 markings, 651784475 edges, 99105 markings/sec, 1200 secs
lola: 134266544 markings, 654502323 edges, 87908 markings/sec, 1205 secs
lola: 134711019 markings, 657204791 edges, 88895 markings/sec, 1210 secs
lola: 135174324 markings, 659896919 edges, 92661 markings/sec, 1215 secs
lola: 135595431 markings, 662552070 edges, 84221 markings/sec, 1220 secs
lola: 136121294 markings, 665279339 edges, 105173 markings/sec, 1225 secs
lola: 136537418 markings, 668001807 edges, 83225 markings/sec, 1230 secs
lola: 136898970 markings, 670659488 edges, 72310 markings/sec, 1235 secs
lola: 137343177 markings, 673339033 edges, 88841 markings/sec, 1240 secs
lola: 137774639 markings, 676029263 edges, 86292 markings/sec, 1245 secs
lola: 138244188 markings, 678760529 edges, 93910 markings/sec, 1250 secs
lola: 138655902 markings, 681462652 edges, 82343 markings/sec, 1255 secs
lola: 139127855 markings, 684205840 edges, 94391 markings/sec, 1260 secs
lola: 139600939 markings, 686933980 edges, 94617 markings/sec, 1265 secs
lola: 140036111 markings, 689682606 edges, 87034 markings/sec, 1270 secs
lola: 140514665 markings, 692400044 edges, 95711 markings/sec, 1275 secs
lola: 140908613 markings, 695111435 edges, 78790 markings/sec, 1280 secs
lola: 141456811 markings, 697606028 edges, 109640 markings/sec, 1285 secs
lola: 141936762 markings, 700211785 edges, 95990 markings/sec, 1290 secs
lola: 142484915 markings, 702848791 edges, 109631 markings/sec, 1295 secs
lola: 143170088 markings, 705368530 edges, 137035 markings/sec, 1300 secs
lola: 144050897 markings, 707918011 edges, 176162 markings/sec, 1305 secs
lola: 144735148 markings, 710438459 edges, 136850 markings/sec, 1310 secs
lola: 145218030 markings, 712980089 edges, 96576 markings/sec, 1315 secs
lola: 145697094 markings, 715552931 edges, 95813 markings/sec, 1320 secs
lola: 146118122 markings, 718145072 edges, 84206 markings/sec, 1325 secs
lola: 146519121 markings, 720707323 edges, 80200 markings/sec, 1330 secs
lola: 146831679 markings, 723295683 edges, 62512 markings/sec, 1335 secs
lola: 147320613 markings, 725883144 edges, 97787 markings/sec, 1340 secs
lola: 147747019 markings, 728433846 edges, 85281 markings/sec, 1345 secs
lola: 148188622 markings, 731079504 edges, 88321 markings/sec, 1350 secs
lola: 148641638 markings, 733688994 edges, 90603 markings/sec, 1355 secs
lola: 149070441 markings, 736272065 edges, 85761 markings/sec, 1360 secs
lola: 149527145 markings, 738941740 edges, 91341 markings/sec, 1365 secs
lola: 149915295 markings, 741621231 edges, 77630 markings/sec, 1370 secs
lola: 150417261 markings, 744296769 edges, 100393 markings/sec, 1375 secs
lola: 150798530 markings, 746968567 edges, 76254 markings/sec, 1380 secs
lola: 151319789 markings, 749480141 edges, 104252 markings/sec, 1385 secs
lola: 152045009 markings, 752035420 edges, 145044 markings/sec, 1390 secs
lola: 152936409 markings, 754673872 edges, 178280 markings/sec, 1395 secs
lola: 153627749 markings, 757463023 edges, 138268 markings/sec, 1400 secs
lola: 154084557 markings, 760262808 edges, 91362 markings/sec, 1405 secs
lola: 154772364 markings, 762971027 edges, 137561 markings/sec, 1410 secs
lola: 155603685 markings, 765668529 edges, 166264 markings/sec, 1415 secs
lola: 156577200 markings, 768357134 edges, 194703 markings/sec, 1420 secs
lola: 157446749 markings, 771111844 edges, 173910 markings/sec, 1425 secs
lola: 158150403 markings, 773860757 edges, 140731 markings/sec, 1430 secs
lola: 158617877 markings, 776601548 edges, 93495 markings/sec, 1435 secs
lola: 159303862 markings, 779361590 edges, 137197 markings/sec, 1440 secs
lola: 160193960 markings, 782069095 edges, 178020 markings/sec, 1445 secs
lola: 161120341 markings, 784779763 edges, 185276 markings/sec, 1450 secs
lola: 161727608 markings, 787561148 edges, 121453 markings/sec, 1455 secs
lola: 162158705 markings, 790339321 edges, 86219 markings/sec, 1460 secs
lola: 162946897 markings, 793037309 edges, 157638 markings/sec, 1465 secs
lola: 163821421 markings, 795721880 edges, 174905 markings/sec, 1470 secs
lola: 164743947 markings, 798429583 edges, 184505 markings/sec, 1475 secs
lola: 165264828 markings, 801216404 edges, 104176 markings/sec, 1480 secs
lola: 165726295 markings, 803919248 edges, 92293 markings/sec, 1485 secs
lola: 166594189 markings, 806593639 edges, 173579 markings/sec, 1490 secs
lola: 167422085 markings, 809313518 edges, 165579 markings/sec, 1495 secs
lola: 168311849 markings, 812015956 edges, 177953 markings/sec, 1500 secs
lola: 168849104 markings, 814791970 edges, 107451 markings/sec, 1505 secs
lola: 169329493 markings, 817526422 edges, 96078 markings/sec, 1510 secs
lola: 170227499 markings, 820156281 edges, 179601 markings/sec, 1515 secs
lola: 170966303 markings, 822820743 edges, 147761 markings/sec, 1520 secs
lola: 171398006 markings, 825522565 edges, 86341 markings/sec, 1525 secs
lola: 171884394 markings, 828299570 edges, 97278 markings/sec, 1530 secs
lola: 172304468 markings, 831040983 edges, 84015 markings/sec, 1535 secs
lola: 172771600 markings, 833748489 edges, 93426 markings/sec, 1540 secs
lola: 173253168 markings, 836448196 edges, 96314 markings/sec, 1545 secs
lola: 173696069 markings, 839212528 edges, 88580 markings/sec, 1550 secs
lola: 174167459 markings, 841934029 edges, 94278 markings/sec, 1555 secs
lola: 174575402 markings, 844633205 edges, 81589 markings/sec, 1560 secs
lola: 175063739 markings, 847422629 edges, 97667 markings/sec, 1565 secs
lola: 175536098 markings, 850111190 edges, 94472 markings/sec, 1570 secs
lola: 175972261 markings, 852807658 edges, 87233 markings/sec, 1575 secs
lola: 176454117 markings, 855573287 edges, 96371 markings/sec, 1580 secs
lola: 176864929 markings, 858324811 edges, 82162 markings/sec, 1585 secs
lola: 177342532 markings, 861021546 edges, 95521 markings/sec, 1590 secs
lola: 177814683 markings, 863720819 edges, 94430 markings/sec, 1595 secs
lola: 178264031 markings, 866481486 edges, 89870 markings/sec, 1600 secs
lola: 178805539 markings, 869225089 edges, 108302 markings/sec, 1605 secs
lola: 179391392 markings, 871984654 edges, 117171 markings/sec, 1610 secs
lola: 179968232 markings, 874707123 edges, 115368 markings/sec, 1615 secs
lola: 180382049 markings, 877352573 edges, 82763 markings/sec, 1620 secs
lola: 180944927 markings, 880076782 edges, 112576 markings/sec, 1625 secs
lola: 181374050 markings, 882819148 edges, 85825 markings/sec, 1630 secs
lola: 181741247 markings, 885499313 edges, 73439 markings/sec, 1635 secs
lola: 182191190 markings, 888199131 edges, 89989 markings/sec, 1640 secs
lola: 182630054 markings, 890891613 edges, 87773 markings/sec, 1645 secs
lola: 183099128 markings, 893613253 edges, 93815 markings/sec, 1650 secs
lola: 183488058 markings, 896328971 edges, 77786 markings/sec, 1655 secs
lola: 184001759 markings, 899059244 edges, 102740 markings/sec, 1660 secs
lola: 184451368 markings, 901758609 edges, 89922 markings/sec, 1665 secs
lola: 184899307 markings, 904515009 edges, 89588 markings/sec, 1670 secs
lola: 185360033 markings, 907212745 edges, 92145 markings/sec, 1675 secs
lola: 185779646 markings, 909859772 edges, 83923 markings/sec, 1680 secs
lola: 186259204 markings, 912560868 edges, 95912 markings/sec, 1685 secs
lola: 186695854 markings, 915235819 edges, 87330 markings/sec, 1690 secs
lola: 187196273 markings, 917977502 edges, 100084 markings/sec, 1695 secs
lola: 187593804 markings, 920717399 edges, 79506 markings/sec, 1700 secs
lola: 187970049 markings, 923385357 edges, 75249 markings/sec, 1705 secs
lola: 188443088 markings, 926114980 edges, 94608 markings/sec, 1710 secs
lola: 188859062 markings, 928810176 edges, 83195 markings/sec, 1715 secs
lola: 189322324 markings, 931542108 edges, 92652 markings/sec, 1720 secs
lola: 189790371 markings, 934256593 edges, 93609 markings/sec, 1725 secs
lola: 190219539 markings, 936972120 edges, 85834 markings/sec, 1730 secs
lola: 190702874 markings, 939747260 edges, 96667 markings/sec, 1735 secs
lola: 191142984 markings, 942447611 edges, 88022 markings/sec, 1740 secs
lola: 191585945 markings, 945159295 edges, 88592 markings/sec, 1745 secs
lola: 192054498 markings, 947810719 edges, 93711 markings/sec, 1750 secs
lola: 192541014 markings, 950393670 edges, 97303 markings/sec, 1755 secs
lola: 193104590 markings, 953032927 edges, 112715 markings/sec, 1760 secs
lola: 193629283 markings, 955585180 edges, 104939 markings/sec, 1765 secs
lola: 194461212 markings, 958136950 edges, 166386 markings/sec, 1770 secs
lola: 195329131 markings, 960631642 edges, 173584 markings/sec, 1775 secs
lola: 195826252 markings, 963229862 edges, 99424 markings/sec, 1780 secs
lola: 196305896 markings, 965775193 edges, 95929 markings/sec, 1785 secs
lola: 196798384 markings, 968409763 edges, 98498 markings/sec, 1790 secs
lola: 197199132 markings, 971052951 edges, 80150 markings/sec, 1795 secs
lola: 197590448 markings, 973640854 edges, 78263 markings/sec, 1800 secs
lola: 198027161 markings, 976269784 edges, 87343 markings/sec, 1805 secs
lola: 198459027 markings, 978881500 edges, 86373 markings/sec, 1810 secs
lola: 198911472 markings, 981531756 edges, 90489 markings/sec, 1815 secs
lola: 199293647 markings, 984169875 edges, 76435 markings/sec, 1820 secs
lola: 199790922 markings, 986805514 edges, 99455 markings/sec, 1825 secs
lola: 200233600 markings, 989421240 edges, 88536 markings/sec, 1830 secs
lola: 200676885 markings, 992098364 edges, 88657 markings/sec, 1835 secs
lola: 201132039 markings, 994769422 edges, 91031 markings/sec, 1840 secs
lola: 201572900 markings, 997412419 edges, 88172 markings/sec, 1845 secs
lola: 201975919 markings, 1000027050 edges, 80604 markings/sec, 1850 secs
lola: 202552785 markings, 1002526092 edges, 115373 markings/sec, 1855 secs
lola: 203472616 markings, 1005124790 edges, 183966 markings/sec, 1860 secs
lola: 204217111 markings, 1007789781 edges, 148899 markings/sec, 1865 secs
lola: 204872951 markings, 1010504029 edges, 131168 markings/sec, 1870 secs
lola: 205512390 markings, 1013187166 edges, 127888 markings/sec, 1875 secs
lola: 206167714 markings, 1015908900 edges, 131065 markings/sec, 1880 secs
lola: 206799322 markings, 1018574554 edges, 126322 markings/sec, 1885 secs
lola: 207398392 markings, 1021214582 edges, 119814 markings/sec, 1890 secs
lola: 208104430 markings, 1023842807 edges, 141208 markings/sec, 1895 secs
lola: 208850064 markings, 1026418268 edges, 149127 markings/sec, 1900 secs
lola: 209510712 markings, 1029113250 edges, 132130 markings/sec, 1905 secs
lola: 210100969 markings, 1031774787 edges, 118051 markings/sec, 1910 secs
lola: 210704210 markings, 1034432927 edges, 120648 markings/sec, 1915 secs
lola: 211302257 markings, 1037105772 edges, 119609 markings/sec, 1920 secs
lola: 211933362 markings, 1039821946 edges, 126221 markings/sec, 1925 secs
lola: 212520334 markings, 1042488490 edges, 117394 markings/sec, 1930 secs
lola: 213231463 markings, 1045100876 edges, 142226 markings/sec, 1935 secs
lola: 213839008 markings, 1047906692 edges, 121509 markings/sec, 1940 secs
lola: 214441844 markings, 1050657532 edges, 120567 markings/sec, 1945 secs
lola: 215030286 markings, 1053406228 edges, 117688 markings/sec, 1950 secs
lola: 215619714 markings, 1056195014 edges, 117886 markings/sec, 1955 secs
lola: 216184177 markings, 1058907652 edges, 112893 markings/sec, 1960 secs
lola: 216701144 markings, 1061585964 edges, 103393 markings/sec, 1965 secs
lola: 217256465 markings, 1064145158 edges, 111064 markings/sec, 1970 secs
lola: 217683650 markings, 1066869971 edges, 85437 markings/sec, 1975 secs
lola: 218195808 markings, 1069537603 edges, 102432 markings/sec, 1980 secs
lola: 218804892 markings, 1072165473 edges, 121817 markings/sec, 1985 secs
lola: 219430023 markings, 1074818168 edges, 125026 markings/sec, 1990 secs
lola: 219946755 markings, 1077540960 edges, 103346 markings/sec, 1995 secs
lola: 220469122 markings, 1080232106 edges, 104473 markings/sec, 2000 secs
lola: 221067928 markings, 1083003139 edges, 119761 markings/sec, 2005 secs
lola: 221608195 markings, 1085753129 edges, 108053 markings/sec, 2010 secs
lola: 222122410 markings, 1088548124 edges, 102843 markings/sec, 2015 secs
lola: 222632394 markings, 1091328898 edges, 101997 markings/sec, 2020 secs
lola: 223089038 markings, 1094004077 edges, 91329 markings/sec, 2025 secs
lola: 223607488 markings, 1096644660 edges, 103690 markings/sec, 2030 secs
lola: 224142299 markings, 1099296235 edges, 106962 markings/sec, 2035 secs
lola: 224831135 markings, 1101945586 edges, 137767 markings/sec, 2040 secs
lola: 225340828 markings, 1104620225 edges, 101939 markings/sec, 2045 secs
lola: 225857963 markings, 1107311657 edges, 103427 markings/sec, 2050 secs
lola: 226460607 markings, 1110064568 edges, 120529 markings/sec, 2055 secs
lola: 226995809 markings, 1112882842 edges, 107040 markings/sec, 2060 secs
lola: 227527246 markings, 1115655828 edges, 106287 markings/sec, 2065 secs
lola: 228042217 markings, 1118433669 edges, 102994 markings/sec, 2070 secs
lola: 228527914 markings, 1121140302 edges, 97139 markings/sec, 2075 secs
lola: 228979465 markings, 1123844606 edges, 90310 markings/sec, 2080 secs
lola: 229478859 markings, 1126496090 edges, 99879 markings/sec, 2085 secs
lola: 230200139 markings, 1129131758 edges, 144256 markings/sec, 2090 secs
lola: 230710271 markings, 1131806834 edges, 102026 markings/sec, 2095 secs
lola: 231230729 markings, 1134494931 edges, 104092 markings/sec, 2100 secs
lola: 231827016 markings, 1137224728 edges, 119257 markings/sec, 2105 secs
lola: 232364267 markings, 1140051622 edges, 107450 markings/sec, 2110 secs
lola: 232893860 markings, 1142813247 edges, 105919 markings/sec, 2115 secs
lola: 233409834 markings, 1145590840 edges, 103195 markings/sec, 2120 secs
lola: 233897314 markings, 1148291921 edges, 97496 markings/sec, 2125 secs
lola: 234390384 markings, 1150902237 edges, 98614 markings/sec, 2130 secs
lola: 235020488 markings, 1153519510 edges, 126021 markings/sec, 2135 secs
lola: 235668002 markings, 1156138179 edges, 129503 markings/sec, 2140 secs
lola: 236218044 markings, 1158755763 edges, 110008 markings/sec, 2145 secs
lola: 236798027 markings, 1161342530 edges, 115997 markings/sec, 2150 secs
lola: 237394127 markings, 1163930879 edges, 119220 markings/sec, 2155 secs
lola: 238052062 markings, 1166513420 edges, 131587 markings/sec, 2160 secs
lola: 238606503 markings, 1169115608 edges, 110888 markings/sec, 2165 secs
lola: 239137932 markings, 1171735963 edges, 106286 markings/sec, 2170 secs
lola: 239687471 markings, 1174304088 edges, 109908 markings/sec, 2175 secs
lola: 240166920 markings, 1176980209 edges, 95890 markings/sec, 2180 secs
lola: 240813051 markings, 1179590712 edges, 129226 markings/sec, 2185 secs
lola: 241377007 markings, 1182221941 edges, 112791 markings/sec, 2190 secs
lola: 242049106 markings, 1184704507 edges, 134420 markings/sec, 2195 secs
lola: 242646379 markings, 1187250516 edges, 119455 markings/sec, 2200 secs
lola: 243224492 markings, 1189799268 edges, 115623 markings/sec, 2205 secs
lola: 243702509 markings, 1192412407 edges, 95603 markings/sec, 2210 secs
lola: 244319319 markings, 1194924513 edges, 123362 markings/sec, 2215 secs
lola: 244905183 markings, 1197416890 edges, 117173 markings/sec, 2220 secs
lola: 245492838 markings, 1200041602 edges, 117531 markings/sec, 2225 secs
lola: 246116778 markings, 1202490970 edges, 124788 markings/sec, 2230 secs
lola: 246729751 markings, 1204921281 edges, 122595 markings/sec, 2235 secs
lola: 247572646 markings, 1207463981 edges, 168579 markings/sec, 2240 secs
lola: 248328799 markings, 1210050583 edges, 151231 markings/sec, 2245 secs
lola: 249047663 markings, 1212540329 edges, 143773 markings/sec, 2250 secs
lola: 249958836 markings, 1215089141 edges, 182235 markings/sec, 2255 secs
lola: 251024684 markings, 1217651430 edges, 213170 markings/sec, 2260 secs
lola: 251865071 markings, 1220205494 edges, 168077 markings/sec, 2265 secs
lola: 252563816 markings, 1222868214 edges, 139749 markings/sec, 2270 secs
lola: 253244913 markings, 1225467425 edges, 136219 markings/sec, 2275 secs
lola: 253921609 markings, 1228046692 edges, 135339 markings/sec, 2280 secs
lola: 254603468 markings, 1230647609 edges, 136372 markings/sec, 2285 secs
lola: 255239682 markings, 1233232170 edges, 127243 markings/sec, 2290 secs
lola: 255897137 markings, 1235748057 edges, 131491 markings/sec, 2295 secs
lola: 256674037 markings, 1238168727 edges, 155380 markings/sec, 2300 secs
lola: 257371086 markings, 1240610534 edges, 139410 markings/sec, 2305 secs
lola: 258038607 markings, 1243016313 edges, 133504 markings/sec, 2310 secs
lola: 258821992 markings, 1245420053 edges, 156677 markings/sec, 2315 secs
lola: 259479250 markings, 1247731134 edges, 131452 markings/sec, 2320 secs
lola: 260098308 markings, 1249922937 edges, 123812 markings/sec, 2325 secs
lola: 260855813 markings, 1252300293 edges, 151501 markings/sec, 2330 secs
lola: 261689224 markings, 1254721340 edges, 166682 markings/sec, 2335 secs
lola: 262512702 markings, 1257146539 edges, 164696 markings/sec, 2340 secs
lola: 263029748 markings, 1259637853 edges, 103409 markings/sec, 2345 secs
lola: 263562775 markings, 1262202873 edges, 106605 markings/sec, 2350 secs
lola: 264075830 markings, 1264673052 edges, 102611 markings/sec, 2355 secs
lola: 264612245 markings, 1267254406 edges, 107283 markings/sec, 2360 secs
lola: 265132308 markings, 1269760896 edges, 104013 markings/sec, 2365 secs
lola: 265679588 markings, 1272392074 edges, 109456 markings/sec, 2370 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown 1 1
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 1 1 unknown 1 1
lola: memory consumption: 18484 KB
lola: time consumption: 3570 seconds

BK_STOP 1553038992755

--------------------
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-416"
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-416, 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-155272242300109"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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