Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r022-csrt-155225094600130.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is BridgeAndVehicles-COL-V50P20N10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094600130
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 4.4K Feb 9 07:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 9 07:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 5 04:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 5 04:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 118 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 356 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 22:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K Feb 4 22:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 2 01:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 2 01:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Jan 29 12:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 29 12:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 42K 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 BridgeAndVehicles-COL-V50P20N10-UpperBounds-00
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-UpperBounds-01
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-UpperBounds-02
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-UpperBounds-03
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-UpperBounds-04
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-UpperBounds-05
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-UpperBounds-06
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-UpperBounds-07
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-UpperBounds-08
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-UpperBounds-09
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V50P20N10-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552404105352

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-COL-V50P20N10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-COL-V50P20N10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-COL-V50P20N10 @ 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: 1456/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 4096
lola: finding significant places
lola: 128 places, 1328 transitions, 121 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1653 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V50P20N10-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(p52) : MAX(p126 + p127) : MAX(p123) : MAX(p123) : MAX(p53 + p54) : MAX(0) : MAX(p123) : MAX(p126 + p127) : MAX(p124 + p125) : MAX(0) : MAX(p52) : MAX(p51) : MAX(p124 + p125) : MAX(p51) : MAX(p122) : MAX(p126 + p127)
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(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P20N10-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: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P20N10-UpperBounds-5 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(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P20N10-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: 0 markings, 0 edges

FORMULA BridgeAndVehicles-COL-V50P20N10-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p123)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p123)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P20N10-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 224 markings, 223 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P20N10-UpperBounds-3 50 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(p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p52)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P20N10-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P20N10-UpperBounds-0 50 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(p123)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p123)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P20N10-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 224 markings, 223 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P20N10-UpperBounds-6 50 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(p123)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p123)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P20N10-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 224 markings, 223 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P20N10-UpperBounds-2 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p52)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P20N10-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P20N10-UpperBounds-10 50 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(p51)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p51)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P20N10-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P20N10-UpperBounds-11 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p51)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p51)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P20N10-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P20N10-UpperBounds-13 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p122)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P20N10-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: 20
lola: 68827 markings, 121503 edges, 13765 markings/sec, 0 secs
lola: 134665 markings, 242019 edges, 13168 markings/sec, 5 secs
lola: 199315 markings, 366204 edges, 12930 markings/sec, 10 secs
lola: 251541 markings, 467289 edges, 10445 markings/sec, 15 secs
lola: 307779 markings, 578002 edges, 11248 markings/sec, 20 secs
lola: 374394 markings, 713240 edges, 13323 markings/sec, 25 secs
lola: 425135 markings, 810467 edges, 10148 markings/sec, 30 secs
lola: 482973 markings, 928378 edges, 11568 markings/sec, 35 secs
lola: 547789 markings, 1062331 edges, 12963 markings/sec, 40 secs
lola: 606942 markings, 1183036 edges, 11831 markings/sec, 45 secs
lola: 647643 markings, 1263267 edges, 8140 markings/sec, 50 secs
lola: 703440 markings, 1376141 edges, 11159 markings/sec, 55 secs
lola: 758073 markings, 1490949 edges, 10927 markings/sec, 60 secs
lola: 818826 markings, 1619014 edges, 12151 markings/sec, 65 secs
lola: 881050 markings, 1751145 edges, 12445 markings/sec, 70 secs
lola: 920044 markings, 1825771 edges, 7799 markings/sec, 75 secs
lola: 964621 markings, 1914920 edges, 8915 markings/sec, 80 secs
lola: 1015307 markings, 2018800 edges, 10137 markings/sec, 85 secs
lola: 1077905 markings, 2152244 edges, 12520 markings/sec, 90 secs
lola: 1141217 markings, 2287131 edges, 12662 markings/sec, 95 secs
lola: 1207998 markings, 2430507 edges, 13356 markings/sec, 100 secs
lola: 1254405 markings, 2523999 edges, 9281 markings/sec, 105 secs
lola: 1295156 markings, 2602837 edges, 8150 markings/sec, 110 secs
lola: 1351977 markings, 2722636 edges, 11364 markings/sec, 115 secs
lola: 1393703 markings, 2804908 edges, 8345 markings/sec, 120 secs
lola: 1451981 markings, 2929608 edges, 11656 markings/sec, 125 secs
lola: 1520658 markings, 3078760 edges, 13735 markings/sec, 130 secs
lola: 1586352 markings, 3220391 edges, 13139 markings/sec, 135 secs
lola: 1641281 markings, 3333660 edges, 10986 markings/sec, 140 secs
lola: 1685014 markings, 3420325 edges, 8747 markings/sec, 145 secs
lola: 1729361 markings, 3509260 edges, 8869 markings/sec, 150 secs
lola: 1787474 markings, 3632482 edges, 11623 markings/sec, 155 secs
lola: 1826240 markings, 3708450 edges, 7753 markings/sec, 160 secs
lola: 1879743 markings, 3822107 edges, 10701 markings/sec, 165 secs
lola: 1937388 markings, 3948216 edges, 11529 markings/sec, 170 secs
lola: 1997325 markings, 4078804 edges, 11987 markings/sec, 175 secs
lola: 2061024 markings, 4218156 edges, 12740 markings/sec, 180 secs
lola: 2108149 markings, 4314053 edges, 9425 markings/sec, 185 secs
lola: 2146836 markings, 4393456 edges, 7737 markings/sec, 190 secs
lola: 2183591 markings, 4465783 edges, 7351 markings/sec, 195 secs
lola: 2222284 markings, 4542134 edges, 7739 markings/sec, 200 secs
lola: 2278380 markings, 4638771 edges, 11219 markings/sec, 205 secs
lola: 2319339 markings, 4722226 edges, 8192 markings/sec, 210 secs
lola: 2378177 markings, 4848911 edges, 11768 markings/sec, 215 secs
lola: 2436822 markings, 4977771 edges, 11729 markings/sec, 220 secs
lola: 2500845 markings, 5117722 edges, 12805 markings/sec, 225 secs
lola: 2561851 markings, 5251680 edges, 12201 markings/sec, 230 secs
lola: 2622639 markings, 5384947 edges, 12158 markings/sec, 235 secs
lola: 2678273 markings, 5487652 edges, 11127 markings/sec, 240 secs
lola: 2715854 markings, 5564891 edges, 7516 markings/sec, 245 secs
lola: 2761573 markings, 5647309 edges, 9144 markings/sec, 250 secs
lola: 2805809 markings, 5731437 edges, 8847 markings/sec, 255 secs
lola: 2852505 markings, 5827032 edges, 9339 markings/sec, 260 secs
lola: 2909178 markings, 5945701 edges, 11335 markings/sec, 265 secs
lola: 2949076 markings, 6027906 edges, 7980 markings/sec, 270 secs
lola: 2994523 markings, 6122351 edges, 9089 markings/sec, 275 secs
lola: 3058710 markings, 6263906 edges, 12837 markings/sec, 280 secs
lola: 3125005 markings, 6409095 edges, 13259 markings/sec, 285 secs
lola: 3190857 markings, 6554282 edges, 13170 markings/sec, 290 secs
lola: 3255556 markings, 6696553 edges, 12940 markings/sec, 295 secs
lola: 3305638 markings, 6801258 edges, 10016 markings/sec, 300 secs
lola: 3345270 markings, 6882719 edges, 7926 markings/sec, 305 secs
lola: 3384876 markings, 6960388 edges, 7921 markings/sec, 310 secs
lola: 3425910 markings, 7044906 edges, 8207 markings/sec, 315 secs
lola: 3464930 markings, 7123028 edges, 7804 markings/sec, 320 secs
lola: 3519749 markings, 7235324 edges, 10964 markings/sec, 325 secs
lola: 3571599 markings, 7344696 edges, 10370 markings/sec, 330 secs
lola: 3611362 markings, 7426156 edges, 7953 markings/sec, 335 secs
lola: 3650174 markings, 7505049 edges, 7762 markings/sec, 340 secs
lola: 3713272 markings, 7644356 edges, 12620 markings/sec, 345 secs
lola: 3778119 markings, 7787786 edges, 12969 markings/sec, 350 secs
lola: 3845117 markings, 7935663 edges, 13400 markings/sec, 355 secs
lola: 3911901 markings, 8082436 edges, 13357 markings/sec, 360 secs
lola: 3976849 markings, 8227770 edges, 12990 markings/sec, 365 secs
lola: 4018131 markings, 8309318 edges, 8256 markings/sec, 370 secs
lola: 4059138 markings, 8392952 edges, 8201 markings/sec, 375 secs
lola: 4096153 markings, 8465277 edges, 7403 markings/sec, 380 secs
lola: 4134650 markings, 8544392 edges, 7699 markings/sec, 385 secs
lola: 4172852 markings, 8620200 edges, 7640 markings/sec, 390 secs
lola: 4222218 markings, 8721251 edges, 9873 markings/sec, 395 secs
lola: 4280733 markings, 8849849 edges, 11703 markings/sec, 400 secs
lola: 4316933 markings, 8920617 edges, 7240 markings/sec, 405 secs
lola: 4353770 markings, 8995742 edges, 7367 markings/sec, 410 secs
lola: 4393540 markings, 9076829 edges, 7954 markings/sec, 415 secs
lola: 4452791 markings, 9209084 edges, 11850 markings/sec, 420 secs
lola: 4511902 markings, 9339995 edges, 11822 markings/sec, 425 secs
lola: 4580070 markings, 9492066 edges, 13634 markings/sec, 430 secs
lola: 4646494 markings, 9638658 edges, 13285 markings/sec, 435 secs
lola: 4713717 markings, 9787760 edges, 13445 markings/sec, 440 secs
lola: 4764587 markings, 9893692 edges, 10174 markings/sec, 445 secs
lola: 4803427 markings, 9973806 edges, 7768 markings/sec, 450 secs
lola: 4843822 markings, 10056013 edges, 8079 markings/sec, 455 secs
lola: 4880944 markings, 10128854 edges, 7424 markings/sec, 460 secs
lola: 4920447 markings, 10209841 edges, 7901 markings/sec, 465 secs
lola: 4955901 markings, 10280008 edges, 7091 markings/sec, 470 secs
lola: 4999190 markings, 10368974 edges, 8658 markings/sec, 475 secs
lola: 5055093 markings, 10488379 edges, 11181 markings/sec, 480 secs
lola: 5100762 markings, 10583636 edges, 9134 markings/sec, 485 secs
lola: 5140143 markings, 10663582 edges, 7876 markings/sec, 490 secs
lola: 5179055 markings, 10742493 edges, 7782 markings/sec, 495 secs
lola: 5233629 markings, 10861123 edges, 10915 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown 50 50 unknown 1 50 unknown unknown 1 50 50 unknown 50 unknown unknown
lola: memory consumption: 301684 KB
lola: time consumption: 513 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p53 + p54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p53 + p54)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P20N10-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: 4 markings, 3 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P20N10-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 611 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p126 + p127)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p126 + p127)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P20N10-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: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P20N10-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 764 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p124 + p125)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p124 + p125)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P20N10-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 BridgeAndVehicles-COL-V50P20N10-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1019 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p124 + p125)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p124 + p125)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P20N10-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 BridgeAndVehicles-COL-V50P20N10-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1528 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p126 + p127)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p126 + p127)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P20N10-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: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P20N10-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3057 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p126 + p127)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p126 + p127)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P20N10-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: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P20N10-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p122)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P20N10-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: 20
lola: 72113 markings, 126105 edges, 14423 markings/sec, 0 secs
lola: 137797 markings, 247277 edges, 13137 markings/sec, 5 secs
lola: 209219 markings, 384957 edges, 14284 markings/sec, 10 secs
lola: 267461 markings, 496918 edges, 11648 markings/sec, 15 secs
lola: 331115 markings, 625020 edges, 12731 markings/sec, 20 secs
lola: 389931 markings, 742898 edges, 11763 markings/sec, 25 secs
lola: 441849 markings, 845892 edges, 10384 markings/sec, 30 secs
lola: 497828 markings, 958903 edges, 11196 markings/sec, 35 secs
lola: 564290 markings, 1096596 edges, 13292 markings/sec, 40 secs
lola: 621024 markings, 1212204 edges, 11347 markings/sec, 45 secs
lola: 669410 markings, 1307901 edges, 9677 markings/sec, 50 secs
lola: 722228 markings, 1414976 edges, 10564 markings/sec, 55 secs
lola: 789837 markings, 1557975 edges, 13522 markings/sec, 60 secs
lola: 854732 markings, 1694872 edges, 12979 markings/sec, 65 secs
lola: 905817 markings, 1799435 edges, 10217 markings/sec, 70 secs
lola: 943965 markings, 1873599 edges, 7630 markings/sec, 75 secs
lola: 997011 markings, 1981089 edges, 10609 markings/sec, 80 secs
lola: 1040447 markings, 2071428 edges, 8687 markings/sec, 85 secs
lola: 1106512 markings, 2213546 edges, 13213 markings/sec, 90 secs
lola: 1168600 markings, 2345920 edges, 12418 markings/sec, 95 secs
lola: 1227616 markings, 2468789 edges, 11803 markings/sec, 100 secs
lola: 1267415 markings, 2547627 edges, 7960 markings/sec, 105 secs
lola: 1307177 markings, 2626877 edges, 7952 markings/sec, 110 secs
lola: 1363437 markings, 2742252 edges, 11252 markings/sec, 115 secs
lola: 1406144 markings, 2830438 edges, 8541 markings/sec, 120 secs
lola: 1470261 markings, 2969387 edges, 12823 markings/sec, 125 secs
lola: 1533776 markings, 3106651 edges, 12703 markings/sec, 130 secs
lola: 1598927 markings, 3247098 edges, 13030 markings/sec, 135 secs
lola: 1646687 markings, 3344805 edges, 9552 markings/sec, 140 secs
lola: 1686880 markings, 3424112 edges, 8039 markings/sec, 145 secs
lola: 1728105 markings, 3507081 edges, 8245 markings/sec, 150 secs
lola: 1786421 markings, 3630940 edges, 11663 markings/sec, 155 secs
lola: 1826239 markings, 3708448 edges, 7964 markings/sec, 160 secs
lola: 1881753 markings, 3826359 edges, 11103 markings/sec, 165 secs
lola: 1946231 markings, 3967528 edges, 12896 markings/sec, 170 secs
lola: 2008659 markings, 4102730 edges, 12486 markings/sec, 175 secs
lola: 2071310 markings, 4240028 edges, 12530 markings/sec, 180 secs
lola: 2117902 markings, 4334205 edges, 9318 markings/sec, 185 secs
lola: 2158841 markings, 4414495 edges, 8188 markings/sec, 190 secs
lola: 2198867 markings, 4494188 edges, 8005 markings/sec, 195 secs
lola: 2248139 markings, 4588305 edges, 9854 markings/sec, 200 secs
lola: 2293931 markings, 4670623 edges, 9158 markings/sec, 205 secs
lola: 2336758 markings, 4758170 edges, 8565 markings/sec, 210 secs
lola: 2401368 markings, 4900345 edges, 12922 markings/sec, 215 secs
lola: 2468486 markings, 5047202 edges, 13424 markings/sec, 220 secs
lola: 2534953 markings, 5192798 edges, 13293 markings/sec, 225 secs
lola: 2600092 markings, 5335305 edges, 13028 markings/sec, 230 secs
lola: 2661164 markings, 5463032 edges, 12214 markings/sec, 235 secs
lola: 2704905 markings, 5542274 edges, 8748 markings/sec, 240 secs
lola: 2750114 markings, 5624487 edges, 9042 markings/sec, 245 secs
lola: 2789617 markings, 5705117 edges, 7901 markings/sec, 250 secs
lola: 2830789 markings, 5783289 edges, 8234 markings/sec, 255 secs
lola: 2882575 markings, 5891968 edges, 10357 markings/sec, 260 secs
lola: 2928877 markings, 5986938 edges, 9260 markings/sec, 265 secs
lola: 2967504 markings, 6065590 edges, 7725 markings/sec, 270 secs
lola: 3019850 markings, 6178561 edges, 10469 markings/sec, 275 secs
lola: 3084782 markings, 6320430 edges, 12986 markings/sec, 280 secs
lola: 3149720 markings, 6463556 edges, 12988 markings/sec, 285 secs
lola: 3211789 markings, 6601133 edges, 12414 markings/sec, 290 secs
lola: 3276182 markings, 6742978 edges, 12879 markings/sec, 295 secs
lola: 3318307 markings, 6827454 edges, 8425 markings/sec, 300 secs
lola: 3358965 markings, 6910568 edges, 8132 markings/sec, 305 secs
lola: 3397055 markings, 6985694 edges, 7618 markings/sec, 310 secs
lola: 3437394 markings, 7065458 edges, 8068 markings/sec, 315 secs
lola: 3475905 markings, 7144318 edges, 7702 markings/sec, 320 secs
lola: 3536366 markings, 7272307 edges, 12092 markings/sec, 325 secs
lola: 3584337 markings, 7370976 edges, 9594 markings/sec, 330 secs
lola: 3623978 markings, 7451717 edges, 7928 markings/sec, 335 secs
lola: 3671220 markings, 7550727 edges, 9448 markings/sec, 340 secs
lola: 3734719 markings, 7691734 edges, 12700 markings/sec, 345 secs
lola: 3800881 markings, 7837909 edges, 13232 markings/sec, 350 secs
lola: 3863888 markings, 7977623 edges, 12601 markings/sec, 355 secs
lola: 3929392 markings, 8122187 edges, 13101 markings/sec, 360 secs
lola: 3990059 markings, 8254772 edges, 12133 markings/sec, 365 secs
lola: 4026996 markings, 8327315 edges, 7387 markings/sec, 370 secs
lola: 4068596 markings, 8412305 edges, 8320 markings/sec, 375 secs
lola: 4107007 markings, 8487615 edges, 7682 markings/sec, 380 secs
lola: 4149537 markings, 8574515 edges, 8506 markings/sec, 385 secs
lola: 4188740 markings, 8653088 edges, 7841 markings/sec, 390 secs
lola: 4240606 markings, 8760274 edges, 10373 markings/sec, 395 secs
lola: 4295028 markings, 8875120 edges, 10884 markings/sec, 400 secs
lola: 4334473 markings, 8956412 edges, 7889 markings/sec, 405 secs
lola: 4374807 markings, 9038261 edges, 8067 markings/sec, 410 secs
lola: 4430328 markings, 9159733 edges, 11104 markings/sec, 415 secs
lola: 4497984 markings, 9308839 edges, 13531 markings/sec, 420 secs
lola: 4562342 markings, 9452329 edges, 12872 markings/sec, 425 secs
lola: 4628279 markings, 9597466 edges, 13187 markings/sec, 430 secs
lola: 4691069 markings, 9737876 edges, 12558 markings/sec, 435 secs
lola: 4752539 markings, 9872615 edges, 12294 markings/sec, 440 secs
lola: 4788572 markings, 9943466 edges, 7207 markings/sec, 445 secs
lola: 4827699 markings, 10022965 edges, 7825 markings/sec, 450 secs
lola: 4866734 markings, 10099292 edges, 7807 markings/sec, 455 secs
lola: 4904450 markings, 10177014 edges, 7543 markings/sec, 460 secs
lola: 4943376 markings, 10253877 edges, 7785 markings/sec, 465 secs
lola: 4984199 markings, 10337043 edges, 8165 markings/sec, 470 secs
lola: 5037105 markings, 10448399 edges, 10581 markings/sec, 475 secs
lola: 5088847 markings, 10558129 edges, 10348 markings/sec, 480 secs
lola: 5124805 markings, 10632646 edges, 7192 markings/sec, 485 secs
lola: 5162718 markings, 10709449 edges, 7583 markings/sec, 490 secs
lola: 5209812 markings, 10807918 edges, 9419 markings/sec, 495 secs
lola: 5275841 markings, 10954573 edges, 13206 markings/sec, 500 secs
lola: 5341724 markings, 11101786 edges, 13177 markings/sec, 505 secs
lola: 5410243 markings, 11253100 edges, 13704 markings/sec, 510 secs
lola: 5475677 markings, 11399557 edges, 13087 markings/sec, 515 secs
lola: 5543462 markings, 11549704 edges, 13557 markings/sec, 520 secs
lola: 5597332 markings, 11663093 edges, 10774 markings/sec, 525 secs
lola: 5635228 markings, 11741480 edges, 7579 markings/sec, 530 secs
lola: 5676639 markings, 11825981 edges, 8282 markings/sec, 535 secs
lola: 5715860 markings, 11902407 edges, 7844 markings/sec, 540 secs
lola: 5754324 markings, 11981710 edges, 7693 markings/sec, 545 secs
lola: 5794847 markings, 12061542 edges, 8105 markings/sec, 550 secs
lola: 5833744 markings, 12142417 edges, 7779 markings/sec, 555 secs
lola: 5881494 markings, 12239193 edges, 9550 markings/sec, 560 secs
lola: 5945650 markings, 12381759 edges, 12831 markings/sec, 565 secs
lola: 5981424 markings, 12452223 edges, 7155 markings/sec, 570 secs
lola: 6021014 markings, 12533135 edges, 7918 markings/sec, 575 secs
lola: 6060228 markings, 12612212 edges, 7843 markings/sec, 580 secs
lola: 6115027 markings, 12731674 edges, 10960 markings/sec, 585 secs
lola: 6181035 markings, 12879325 edges, 13202 markings/sec, 590 secs
lola: 6249601 markings, 13030569 edges, 13713 markings/sec, 595 secs
lola: 6315345 markings, 13178467 edges, 13149 markings/sec, 600 secs
lola: 6380434 markings, 13323493 edges, 13018 markings/sec, 605 secs
lola: 6448229 markings, 13474217 edges, 13559 markings/sec, 610 secs
lola: 6503217 markings, 13592983 edges, 10998 markings/sec, 615 secs
lola: 6540292 markings, 13667527 edges, 7415 markings/sec, 620 secs
lola: 6581046 markings, 13750366 edges, 8151 markings/sec, 625 secs
lola: 6623681 markings, 13836917 edges, 8527 markings/sec, 630 secs
lola: 6659580 markings, 13907971 edges, 7180 markings/sec, 635 secs
lola: 6702251 markings, 13995234 edges, 8534 markings/sec, 640 secs
lola: 6739029 markings, 14068060 edges, 7356 markings/sec, 645 secs
lola: 6780720 markings, 14152630 edges, 8338 markings/sec, 650 secs
lola: 6835352 markings, 14267450 edges, 10926 markings/sec, 655 secs
lola: 6894710 markings, 14394525 edges, 11872 markings/sec, 660 secs
lola: 6934251 markings, 14477238 edges, 7908 markings/sec, 665 secs
lola: 6975795 markings, 14561451 edges, 8309 markings/sec, 670 secs
lola: 7017121 markings, 14645333 edges, 8265 markings/sec, 675 secs
lola: 7075150 markings, 14773225 edges, 11606 markings/sec, 680 secs
lola: 7141928 markings, 14922742 edges, 13356 markings/sec, 685 secs
lola: 7211542 markings, 15077663 edges, 13923 markings/sec, 690 secs
lola: 7277503 markings, 15224517 edges, 13192 markings/sec, 695 secs
lola: 7342968 markings, 15371051 edges, 13093 markings/sec, 700 secs
lola: 7408824 markings, 15519108 edges, 13171 markings/sec, 705 secs
lola: 7473423 markings, 15661922 edges, 12920 markings/sec, 710 secs
lola: 7507902 markings, 15729692 edges, 6896 markings/sec, 715 secs
lola: 7547401 markings, 15810103 edges, 7900 markings/sec, 720 secs
lola: 7588074 markings, 15892885 edges, 8135 markings/sec, 725 secs
lola: 7626312 markings, 15967353 edges, 7648 markings/sec, 730 secs
lola: 7662188 markings, 16041551 edges, 7175 markings/sec, 735 secs
lola: 7703818 markings, 16126595 edges, 8326 markings/sec, 740 secs
lola: 7738932 markings, 16196049 edges, 7023 markings/sec, 745 secs
lola: 7781215 markings, 16281710 edges, 8457 markings/sec, 750 secs
lola: 7827867 markings, 16377484 edges, 9330 markings/sec, 755 secs
lola: 7895141 markings, 16528917 edges, 13455 markings/sec, 760 secs
lola: 7931358 markings, 16600822 edges, 7243 markings/sec, 765 secs
lola: 7972200 markings, 16683901 edges, 8168 markings/sec, 770 secs
lola: 8012651 markings, 16765872 edges, 8090 markings/sec, 775 secs
lola: 8054838 markings, 16850842 edges, 8437 markings/sec, 780 secs
lola: 8121859 markings, 17001291 edges, 13404 markings/sec, 785 secs
lola: 8188578 markings, 17150327 edges, 13344 markings/sec, 790 secs
lola: 8256069 markings, 17301970 edges, 13498 markings/sec, 795 secs
lola: 8322730 markings, 17451890 edges, 13332 markings/sec, 800 secs
lola: 8389168 markings, 17600612 edges, 13288 markings/sec, 805 secs
lola: 8455586 markings, 17750142 edges, 13284 markings/sec, 810 secs
lola: 8522785 markings, 17899511 edges, 13440 markings/sec, 815 secs
lola: 8558637 markings, 17969705 edges, 7170 markings/sec, 820 secs
lola: 8598794 markings, 18052231 edges, 8031 markings/sec, 825 secs
lola: 8640030 markings, 18135647 edges, 8247 markings/sec, 830 secs
lola: 8682177 markings, 18220953 edges, 8429 markings/sec, 835 secs
lola: 8717256 markings, 18290712 edges, 7016 markings/sec, 840 secs
lola: 8758642 markings, 18375255 edges, 8277 markings/sec, 845 secs
lola: 8798786 markings, 18454285 edges, 8029 markings/sec, 850 secs
lola: 8833921 markings, 18526975 edges, 7027 markings/sec, 855 secs
lola: 8870764 markings, 18601657 edges, 7369 markings/sec, 860 secs
lola: 8919780 markings, 18703745 edges, 9803 markings/sec, 865 secs
lola: 8981936 markings, 18843758 edges, 12431 markings/sec, 870 secs
lola: 9015289 markings, 18909906 edges, 6671 markings/sec, 875 secs
lola: 9053818 markings, 18989130 edges, 7706 markings/sec, 880 secs
lola: 9091060 markings, 19064167 edges, 7448 markings/sec, 885 secs
lola: 9129087 markings, 19140957 edges, 7605 markings/sec, 890 secs
lola: 9180001 markings, 19250931 edges, 10183 markings/sec, 895 secs
lola: 9244109 markings, 19395001 edges, 12822 markings/sec, 900 secs
lola: 9308798 markings, 19540132 edges, 12938 markings/sec, 905 secs
lola: 9373236 markings, 19684703 edges, 12888 markings/sec, 910 secs
lola: 9437654 markings, 19828987 edges, 12884 markings/sec, 915 secs
lola: 9501863 markings, 19972817 edges, 12842 markings/sec, 920 secs
lola: 9566443 markings, 20118523 edges, 12916 markings/sec, 925 secs
lola: 9630617 markings, 20263008 edges, 12835 markings/sec, 930 secs
lola: 9673151 markings, 20347886 edges, 8507 markings/sec, 935 secs
lola: 9709602 markings, 20423846 edges, 7290 markings/sec, 940 secs
lola: 9748708 markings, 20503026 edges, 7821 markings/sec, 945 secs
lola: 9789059 markings, 20584895 edges, 8070 markings/sec, 950 secs
lola: 9827835 markings, 20660524 edges, 7755 markings/sec, 955 secs
lola: 9863040 markings, 20733733 edges, 7041 markings/sec, 960 secs
lola: 9903691 markings, 20816488 edges, 8130 markings/sec, 965 secs
lola: 9942896 markings, 20893569 edges, 7841 markings/sec, 970 secs
lola: 9978650 markings, 20967770 edges, 7151 markings/sec, 975 secs
lola: 10018783 markings, 21049038 edges, 8027 markings/sec, 980 secs
lola: 10070222 markings, 21155875 edges, 10288 markings/sec, 985 secs
lola: 10136382 markings, 21305527 edges, 13232 markings/sec, 990 secs
lola: 10171078 markings, 21374412 edges, 6939 markings/sec, 995 secs
lola: 10209786 markings, 21453970 edges, 7742 markings/sec, 1000 secs
lola: 10248821 markings, 21533187 edges, 7807 markings/sec, 1005 secs
lola: 10287981 markings, 21612239 edges, 7832 markings/sec, 1010 secs
lola: 10333921 markings, 21708811 edges, 9188 markings/sec, 1015 secs
lola: 10399373 markings, 21855091 edges, 13090 markings/sec, 1020 secs
lola: 10465082 markings, 22003845 edges, 13142 markings/sec, 1025 secs
lola: 10527087 markings, 22144134 edges, 12401 markings/sec, 1030 secs
lola: 10590712 markings, 22287111 edges, 12725 markings/sec, 1035 secs
lola: 10655138 markings, 22431901 edges, 12885 markings/sec, 1040 secs
lola: 10722837 markings, 22583249 edges, 13540 markings/sec, 1045 secs
lola: 10785792 markings, 22723532 edges, 12591 markings/sec, 1050 secs
lola: 10845949 markings, 22857938 edges, 12031 markings/sec, 1055 secs
lola: 10879340 markings, 22923051 edges, 6678 markings/sec, 1060 secs
lola: 10916336 markings, 22999664 edges, 7399 markings/sec, 1065 secs
lola: 10954939 markings, 23077776 edges, 7721 markings/sec, 1070 secs
lola: 10993595 markings, 23156254 edges, 7731 markings/sec, 1075 secs
lola: 11032625 markings, 23232128 edges, 7806 markings/sec, 1080 secs
lola: 11065792 markings, 23301569 edges, 6633 markings/sec, 1085 secs
lola: 11102846 markings, 23376897 edges, 7411 markings/sec, 1090 secs
lola: 11143106 markings, 23459009 edges, 8052 markings/sec, 1095 secs
lola: 11173592 markings, 23519014 edges, 6097 markings/sec, 1100 secs
lola: 11215853 markings, 23606040 edges, 8452 markings/sec, 1105 secs
lola: 11263674 markings, 23704133 edges, 9564 markings/sec, 1110 secs
lola: 11298010 markings, 23772323 edges, 6867 markings/sec, 1115 secs
lola: 11334012 markings, 23846745 edges, 7200 markings/sec, 1120 secs
lola: 11370125 markings, 23919994 edges, 7223 markings/sec, 1125 secs
lola: 11407108 markings, 23994684 edges, 7397 markings/sec, 1130 secs
lola: 11446714 markings, 24074753 edges, 7921 markings/sec, 1135 secs
lola: 11493671 markings, 24173553 edges, 9391 markings/sec, 1140 secs
lola: 11560159 markings, 24323453 edges, 13298 markings/sec, 1145 secs
lola: 11623235 markings, 24466200 edges, 12615 markings/sec, 1150 secs
lola: 11689579 markings, 24614860 edges, 13269 markings/sec, 1155 secs
lola: 11756002 markings, 24764319 edges, 13285 markings/sec, 1160 secs
lola: 11823866 markings, 24916790 edges, 13573 markings/sec, 1165 secs
lola: 11891519 markings, 25068901 edges, 13531 markings/sec, 1170 secs
lola: 11958889 markings, 25220623 edges, 13474 markings/sec, 1175 secs
lola: 12025864 markings, 25371449 edges, 13395 markings/sec, 1180 secs
lola: 12092948 markings, 25523146 edges, 13417 markings/sec, 1185 secs
lola: 12137350 markings, 25611236 edges, 8880 markings/sec, 1190 secs
lola: 12171785 markings, 25684074 edges, 6887 markings/sec, 1195 secs
lola: 12211428 markings, 25764427 edges, 7929 markings/sec, 1200 secs
lola: 12251311 markings, 25845196 edges, 7977 markings/sec, 1205 secs
lola: 12291371 markings, 25925913 edges, 8012 markings/sec, 1210 secs
lola: 12326598 markings, 25995354 edges, 7045 markings/sec, 1215 secs
lola: 12361749 markings, 26068134 edges, 7030 markings/sec, 1220 secs
lola: 12401628 markings, 26149327 edges, 7976 markings/sec, 1225 secs
lola: 12441634 markings, 26228690 edges, 8001 markings/sec, 1230 secs
lola: 12473559 markings, 26294142 edges, 6385 markings/sec, 1235 secs
lola: 12516534 markings, 26382439 edges, 8595 markings/sec, 1240 secs
lola: 12559684 markings, 26470863 edges, 8630 markings/sec, 1245 secs
lola: 12604964 markings, 26567782 edges, 9056 markings/sec, 1250 secs
lola: 12667043 markings, 26706346 edges, 12416 markings/sec, 1255 secs
lola: 12702178 markings, 26777539 edges, 7027 markings/sec, 1260 secs
lola: 12741104 markings, 26857995 edges, 7785 markings/sec, 1265 secs
lola: 12779673 markings, 26935940 edges, 7714 markings/sec, 1270 secs
lola: 12819246 markings, 27015766 edges, 7915 markings/sec, 1275 secs
lola: 12859695 markings, 27097571 edges, 8090 markings/sec, 1280 secs
lola: 12918133 markings, 27227677 edges, 11688 markings/sec, 1285 secs
lola: 12985258 markings, 27378355 edges, 13425 markings/sec, 1290 secs
lola: 13052667 markings, 27530443 edges, 13482 markings/sec, 1295 secs
lola: 13121045 markings, 27683921 edges, 13676 markings/sec, 1300 secs
lola: 13189239 markings, 27837214 edges, 13639 markings/sec, 1305 secs
lola: 13257119 markings, 27990035 edges, 13576 markings/sec, 1310 secs
lola: 13325029 markings, 28143244 edges, 13582 markings/sec, 1315 secs
lola: 13392593 markings, 28295886 edges, 13513 markings/sec, 1320 secs
lola: 13453805 markings, 28431983 edges, 12242 markings/sec, 1325 secs
lola: 13488853 markings, 28500816 edges, 7010 markings/sec, 1330 secs
lola: 13524828 markings, 28575470 edges, 7195 markings/sec, 1335 secs
lola: 13562620 markings, 28652096 edges, 7558 markings/sec, 1340 secs
lola: 13601864 markings, 28731617 edges, 7849 markings/sec, 1345 secs
lola: 13642719 markings, 28814048 edges, 8171 markings/sec, 1350 secs
lola: 13676282 markings, 28880116 edges, 6713 markings/sec, 1355 secs
lola: 13710788 markings, 28951870 edges, 6901 markings/sec, 1360 secs
lola: 13749583 markings, 29030630 edges, 7759 markings/sec, 1365 secs
lola: 13791312 markings, 29115450 edges, 8346 markings/sec, 1370 secs
lola: 13823352 markings, 29178844 edges, 6408 markings/sec, 1375 secs
lola: 13861976 markings, 29258353 edges, 7725 markings/sec, 1380 secs
lola: 13900775 markings, 29336894 edges, 7760 markings/sec, 1385 secs
lola: 13961425 markings, 29460050 edges, 12130 markings/sec, 1390 secs
lola: 14021102 markings, 29593800 edges, 11935 markings/sec, 1395 secs
lola: 14073844 markings, 29705508 edges, 10548 markings/sec, 1400 secs
lola: 14108384 markings, 29778735 edges, 6908 markings/sec, 1405 secs
lola: 14148462 markings, 29860579 edges, 8016 markings/sec, 1410 secs
lola: 14185469 markings, 29935269 edges, 7401 markings/sec, 1415 secs
lola: 14222763 markings, 30010600 edges, 7459 markings/sec, 1420 secs
lola: 14260017 markings, 30085990 edges, 7451 markings/sec, 1425 secs
lola: 14314562 markings, 30206330 edges, 10909 markings/sec, 1430 secs
lola: 14382010 markings, 30358340 edges, 13490 markings/sec, 1435 secs
lola: 14449087 markings, 30508383 edges, 13415 markings/sec, 1440 secs
lola: 14513135 markings, 30655538 edges, 12810 markings/sec, 1445 secs
lola: 14580329 markings, 30806356 edges, 13439 markings/sec, 1450 secs
lola: 14646459 markings, 30955324 edges, 13226 markings/sec, 1455 secs
lola: 14713577 markings, 31106466 edges, 13424 markings/sec, 1460 secs
lola: 14775778 markings, 31246366 edges, 12440 markings/sec, 1465 secs
lola: 14837502 markings, 31385434 edges, 12345 markings/sec, 1470 secs
lola: 14889919 markings, 31500376 edges, 10483 markings/sec, 1475 secs
lola: 14923707 markings, 31566850 edges, 6758 markings/sec, 1480 secs
lola: 14960011 markings, 31642482 edges, 7261 markings/sec, 1485 secs
lola: 14998785 markings, 31721145 edges, 7755 markings/sec, 1490 secs
lola: 15037778 markings, 31800169 edges, 7799 markings/sec, 1495 secs
lola: 15077826 markings, 31880947 edges, 8010 markings/sec, 1500 secs
lola: 15114091 markings, 31951804 edges, 7253 markings/sec, 1505 secs
lola: 15146202 markings, 32019482 edges, 6422 markings/sec, 1510 secs
lola: 15184709 markings, 32097419 edges, 7701 markings/sec, 1515 secs
lola: 15225375 markings, 32179992 edges, 8133 markings/sec, 1520 secs
lola: 15262131 markings, 32252363 edges, 7351 markings/sec, 1525 secs
lola: 15295031 markings, 32320696 edges, 6580 markings/sec, 1530 secs
lola: 15339501 markings, 32411701 edges, 8894 markings/sec, 1535 secs
lola: 15388195 markings, 32511487 edges, 9739 markings/sec, 1540 secs
lola: 15435617 markings, 32611023 edges, 9484 markings/sec, 1545 secs
lola: 15500653 markings, 32759675 edges, 13007 markings/sec, 1550 secs
lola: 15540990 markings, 32840269 edges, 8067 markings/sec, 1555 secs
lola: 15577088 markings, 32916764 edges, 7220 markings/sec, 1560 secs
lola: 15617368 markings, 32998226 edges, 8056 markings/sec, 1565 secs
lola: 15656618 markings, 33077390 edges, 7850 markings/sec, 1570 secs
lola: 15696448 markings, 33157853 edges, 7966 markings/sec, 1575 secs
lola: 15736305 markings, 33238005 edges, 7971 markings/sec, 1580 secs
lola: 15800197 markings, 33382732 edges, 12778 markings/sec, 1585 secs
lola: 15867963 markings, 33534894 edges, 13553 markings/sec, 1590 secs
lola: 15935911 markings, 33688026 edges, 13590 markings/sec, 1595 secs
lola: 16002500 markings, 33838006 edges, 13318 markings/sec, 1600 secs
lola: 16067411 markings, 33986543 edges, 12982 markings/sec, 1605 secs
lola: 16134697 markings, 34137749 edges, 13457 markings/sec, 1610 secs
lola: 16201547 markings, 34288685 edges, 13370 markings/sec, 1615 secs
lola: 16268439 markings, 34439486 edges, 13378 markings/sec, 1620 secs
lola: 16335166 markings, 34590162 edges, 13345 markings/sec, 1625 secs
lola: 16388534 markings, 34705400 edges, 10674 markings/sec, 1630 secs
lola: 16422434 markings, 34772595 edges, 6780 markings/sec, 1635 secs
lola: 16458724 markings, 34848203 edges, 7258 markings/sec, 1640 secs
lola: 16497484 markings, 34926844 edges, 7752 markings/sec, 1645 secs
lola: 16536403 markings, 35005293 edges, 7784 markings/sec, 1650 secs
lola: 16577255 markings, 35088162 edges, 8170 markings/sec, 1655 secs
lola: 16614637 markings, 35160760 edges, 7476 markings/sec, 1660 secs
lola: 16646706 markings, 35228047 edges, 6414 markings/sec, 1665 secs
lola: 16684085 markings, 35304538 edges, 7476 markings/sec, 1670 secs
lola: 16723774 markings, 35385076 edges, 7938 markings/sec, 1675 secs
lola: 16764306 markings, 35466993 edges, 8106 markings/sec, 1680 secs
lola: 16795553 markings, 35529566 edges, 6249 markings/sec, 1685 secs
lola: 16834443 markings, 35609464 edges, 7778 markings/sec, 1690 secs
lola: 16874134 markings, 35689665 edges, 7938 markings/sec, 1695 secs
lola: 16926693 markings, 35797260 edges, 10512 markings/sec, 1700 secs
lola: 16983830 markings, 35923940 edges, 11427 markings/sec, 1705 secs
lola: 17043943 markings, 36053779 edges, 12023 markings/sec, 1710 secs
lola: 17079131 markings, 36128432 edges, 7038 markings/sec, 1715 secs
lola: 17117318 markings, 36207983 edges, 7637 markings/sec, 1720 secs
lola: 17156258 markings, 36286788 edges, 7788 markings/sec, 1725 secs
lola: 17195717 markings, 36366386 edges, 7892 markings/sec, 1730 secs
lola: 17235462 markings, 36446692 edges, 7949 markings/sec, 1735 secs
lola: 17275134 markings, 36526518 edges, 7934 markings/sec, 1740 secs
lola: 17340613 markings, 36675263 edges, 13096 markings/sec, 1745 secs
lola: 17408385 markings, 36827335 edges, 13554 markings/sec, 1750 secs
lola: 17477648 markings, 36983501 edges, 13853 markings/sec, 1755 secs
lola: 17545271 markings, 37137926 edges, 13525 markings/sec, 1760 secs
lola: 17610235 markings, 37284510 edges, 12993 markings/sec, 1765 secs
lola: 17676700 markings, 37434232 edges, 13293 markings/sec, 1770 secs
lola: 17743038 markings, 37583546 edges, 13268 markings/sec, 1775 secs
lola: 17810858 markings, 37737087 edges, 13564 markings/sec, 1780 secs
lola: 17879169 markings, 37891361 edges, 13662 markings/sec, 1785 secs
lola: 17942675 markings, 38033159 edges, 12701 markings/sec, 1790 secs
lola: 17978954 markings, 38103995 edges, 7256 markings/sec, 1795 secs
lola: 18013659 markings, 38177279 edges, 6941 markings/sec, 1800 secs
lola: 18055080 markings, 38261475 edges, 8284 markings/sec, 1805 secs
lola: 18094531 markings, 38340910 edges, 7890 markings/sec, 1810 secs
lola: 18136379 markings, 38425736 edges, 8370 markings/sec, 1815 secs
lola: 18177559 markings, 38509075 edges, 8236 markings/sec, 1820 secs
lola: 18211628 markings, 38576360 edges, 6814 markings/sec, 1825 secs
lola: 18247343 markings, 38650685 edges, 7143 markings/sec, 1830 secs
lola: 18287664 markings, 38732352 edges, 8064 markings/sec, 1835 secs
lola: 18331003 markings, 38820254 edges, 8668 markings/sec, 1840 secs
lola: 18367479 markings, 38892395 edges, 7295 markings/sec, 1845 secs
lola: 18402138 markings, 38964273 edges, 6932 markings/sec, 1850 secs
lola: 18448583 markings, 39059239 edges, 9289 markings/sec, 1855 secs
lola: 18494922 markings, 39154568 edges, 9268 markings/sec, 1860 secs
lola: 18544967 markings, 39257575 edges, 10009 markings/sec, 1865 secs
lola: 18611772 markings, 39410647 edges, 13361 markings/sec, 1870 secs
lola: 18659410 markings, 39508657 edges, 9528 markings/sec, 1875 secs
lola: 18695456 markings, 39585202 edges, 7209 markings/sec, 1880 secs
lola: 18737325 markings, 39670817 edges, 8374 markings/sec, 1885 secs
lola: 18777227 markings, 39751446 edges, 7980 markings/sec, 1890 secs
lola: 18817771 markings, 39833224 edges, 8109 markings/sec, 1895 secs
lola: 18858714 markings, 39915423 edges, 8189 markings/sec, 1900 secs
lola: 18910551 markings, 40026363 edges, 10367 markings/sec, 1905 secs
lola: 18981194 markings, 40187449 edges, 14129 markings/sec, 1910 secs
lola: 19047921 markings, 40337697 edges, 13345 markings/sec, 1915 secs
lola: 19118451 markings, 40496374 edges, 14106 markings/sec, 1920 secs
lola: 19189170 markings, 40656110 edges, 14144 markings/sec, 1925 secs
lola: 19258762 markings, 40813899 edges, 13918 markings/sec, 1930 secs
lola: 19325286 markings, 40965542 edges, 13305 markings/sec, 1935 secs
lola: 19395051 markings, 41122732 edges, 13953 markings/sec, 1940 secs
lola: 19464878 markings, 41280748 edges, 13965 markings/sec, 1945 secs
lola: 19534259 markings, 41437527 edges, 13876 markings/sec, 1950 secs
lola: 19589984 markings, 41558401 edges, 11145 markings/sec, 1955 secs
lola: 19625794 markings, 41629383 edges, 7162 markings/sec, 1960 secs
lola: 19660776 markings, 41703340 edges, 6996 markings/sec, 1965 secs
lola: 19701593 markings, 41785705 edges, 8163 markings/sec, 1970 secs
lola: 19741906 markings, 41867075 edges, 8063 markings/sec, 1975 secs
lola: 19782931 markings, 41950077 edges, 8205 markings/sec, 1980 secs
lola: 19824595 markings, 42034462 edges, 8333 markings/sec, 1985 secs
lola: 19859262 markings, 42102854 edges, 6933 markings/sec, 1990 secs
lola: 19894004 markings, 42175473 edges, 6948 markings/sec, 1995 secs
lola: 19935008 markings, 42258655 edges, 8201 markings/sec, 2000 secs
lola: 19977338 markings, 42344305 edges, 8466 markings/sec, 2005 secs
lola: 20017001 markings, 42422425 edges, 7933 markings/sec, 2010 secs
lola: 20049743 markings, 42490572 edges, 6548 markings/sec, 2015 secs
lola: 20093819 markings, 42580912 edges, 8815 markings/sec, 2020 secs
lola: 20132759 markings, 42659583 edges, 7788 markings/sec, 2025 secs
lola: 20186948 markings, 42770272 edges, 10838 markings/sec, 2030 secs
lola: 20247758 markings, 42906261 edges, 12162 markings/sec, 2035 secs
lola: 20310435 markings, 43041854 edges, 12535 markings/sec, 2040 secs
lola: 20347434 markings, 43120471 edges, 7400 markings/sec, 2045 secs
lola: 20384799 markings, 43199199 edges, 7473 markings/sec, 2050 secs
lola: 20427138 markings, 43284817 edges, 8468 markings/sec, 2055 secs
lola: 20466895 markings, 43364507 edges, 7951 markings/sec, 2060 secs
lola: 20508476 markings, 43448436 edges, 8316 markings/sec, 2065 secs
lola: 20550388 markings, 43533126 edges, 8382 markings/sec, 2070 secs
lola: 20606560 markings, 43655916 edges, 11234 markings/sec, 2075 secs
lola: 20677311 markings, 43815170 edges, 14150 markings/sec, 2080 secs
lola: 20744346 markings, 43969395 edges, 13407 markings/sec, 2085 secs
lola: 20814762 markings, 44127605 edges, 14083 markings/sec, 2090 secs
lola: 20885119 markings, 44286401 edges, 14071 markings/sec, 2095 secs
lola: 20954930 markings, 44444661 edges, 13962 markings/sec, 2100 secs
lola: 21021163 markings, 44595868 edges, 13247 markings/sec, 2105 secs
lola: 21090448 markings, 44752182 edges, 13857 markings/sec, 2110 secs
lola: 21157660 markings, 44903434 edges, 13442 markings/sec, 2115 secs
lola: 21224772 markings, 45055720 edges, 13422 markings/sec, 2120 secs
lola: 21287077 markings, 45195086 edges, 12461 markings/sec, 2125 secs
lola: 21321480 markings, 45261359 edges, 6881 markings/sec, 2130 secs
lola: 21354969 markings, 45332210 edges, 6698 markings/sec, 2135 secs
lola: 21392268 markings, 45409378 edges, 7460 markings/sec, 2140 secs
lola: 21430263 markings, 45486110 edges, 7599 markings/sec, 2145 secs
lola: 21468035 markings, 45562257 edges, 7554 markings/sec, 2150 secs
lola: 21506031 markings, 45639041 edges, 7599 markings/sec, 2155 secs
lola: 21544404 markings, 45716874 edges, 7675 markings/sec, 2160 secs
lola: 21576858 markings, 45780502 edges, 6491 markings/sec, 2165 secs
lola: 21610446 markings, 45851001 edges, 6718 markings/sec, 2170 secs
lola: 21652273 markings, 45936040 edges, 8365 markings/sec, 2175 secs
lola: 21694848 markings, 46022089 edges, 8515 markings/sec, 2180 secs
lola: 21737548 markings, 46107966 edges, 8540 markings/sec, 2185 secs
lola: 21770851 markings, 46175367 edges, 6661 markings/sec, 2190 secs
lola: 21810239 markings, 46256433 edges, 7878 markings/sec, 2195 secs
lola: 21855011 markings, 46346753 edges, 8954 markings/sec, 2200 secs
lola: 21907347 markings, 46454805 edges, 10467 markings/sec, 2205 secs
lola: 21955160 markings, 46556410 edges, 9563 markings/sec, 2210 secs
lola: 22020349 markings, 46705784 edges, 13038 markings/sec, 2215 secs
lola: 22067941 markings, 46803796 edges, 9518 markings/sec, 2220 secs
lola: 22103116 markings, 46878419 edges, 7035 markings/sec, 2225 secs
lola: 22142354 markings, 46959560 edges, 7848 markings/sec, 2230 secs
lola: 22182067 markings, 47039955 edges, 7943 markings/sec, 2235 secs
lola: 22221460 markings, 47119455 edges, 7879 markings/sec, 2240 secs
lola: 22260678 markings, 47198153 edges, 7844 markings/sec, 2245 secs
lola: 22301075 markings, 47279837 edges, 8079 markings/sec, 2250 secs
lola: 22354998 markings, 47397271 edges, 10785 markings/sec, 2255 secs
lola: 22426002 markings, 47558657 edges, 14201 markings/sec, 2260 secs
lola: 22489002 markings, 47701486 edges, 12600 markings/sec, 2265 secs
lola: 22558037 markings, 47857291 edges, 13807 markings/sec, 2270 secs
lola: 22627759 markings, 48015369 edges, 13944 markings/sec, 2275 secs
lola: 22690562 markings, 48157974 edges, 12561 markings/sec, 2280 secs
lola: 22758961 markings, 48311968 edges, 13680 markings/sec, 2285 secs
lola: 22829146 markings, 48470778 edges, 14037 markings/sec, 2290 secs
lola: 22897504 markings, 48626255 edges, 13672 markings/sec, 2295 secs
lola: 22961572 markings, 48772677 edges, 12814 markings/sec, 2300 secs
lola: 23028307 markings, 48923303 edges, 13347 markings/sec, 2305 secs
lola: 23080714 markings, 49035950 edges, 10481 markings/sec, 2310 secs
lola: 23115562 markings, 49104989 edges, 6970 markings/sec, 2315 secs
lola: 23148867 markings, 49175146 edges, 6661 markings/sec, 2320 secs
lola: 23188780 markings, 49256706 edges, 7983 markings/sec, 2325 secs
lola: 23227613 markings, 49334996 edges, 7767 markings/sec, 2330 secs
lola: 23268840 markings, 49418542 edges, 8245 markings/sec, 2335 secs
lola: 23309463 markings, 49500556 edges, 8125 markings/sec, 2340 secs
lola: 23349030 markings, 49580404 edges, 7913 markings/sec, 2345 secs
lola: 23383021 markings, 49648448 edges, 6798 markings/sec, 2350 secs
lola: 23419692 markings, 49724585 edges, 7334 markings/sec, 2355 secs
lola: 23462056 markings, 49810495 edges, 8473 markings/sec, 2360 secs
lola: 23505429 markings, 49898236 edges, 8675 markings/sec, 2365 secs
lola: 23545268 markings, 49976563 edges, 7968 markings/sec, 2370 secs
lola: 23576943 markings, 50042640 edges, 6335 markings/sec, 2375 secs
lola: 23617006 markings, 50124877 edges, 8013 markings/sec, 2380 secs
lola: 23662956 markings, 50217727 edges, 9190 markings/sec, 2385 secs
lola: 23716023 markings, 50327171 edges, 10613 markings/sec, 2390 secs
lola: 23767676 markings, 50437807 edges, 10331 markings/sec, 2395 secs
lola: 23837341 markings, 50597668 edges, 13933 markings/sec, 2400 secs
lola: 23884756 markings, 50694281 edges, 9483 markings/sec, 2405 secs
lola: 23921668 markings, 50772448 edges, 7382 markings/sec, 2410 secs
lola: 23963791 markings, 50859251 edges, 8425 markings/sec, 2415 secs
lola: 24004302 markings, 50941242 edges, 8102 markings/sec, 2420 secs
lola: 24045289 markings, 51023935 edges, 8197 markings/sec, 2425 secs
lola: 24085314 markings, 51104272 edges, 8005 markings/sec, 2430 secs
lola: 24126773 markings, 51188083 edges, 8292 markings/sec, 2435 secs
lola: 24181088 markings, 51306703 edges, 10863 markings/sec, 2440 secs
lola: 24252659 markings, 51470061 edges, 14314 markings/sec, 2445 secs
lola: 24318156 markings, 51618151 edges, 13099 markings/sec, 2450 secs
lola: 24389137 markings, 51778342 edges, 14196 markings/sec, 2455 secs
lola: 24459142 markings, 51938293 edges, 14001 markings/sec, 2460 secs
lola: 24525341 markings, 52088074 edges, 13240 markings/sec, 2465 secs
lola: 24595841 markings, 52246927 edges, 14100 markings/sec, 2470 secs
lola: 24667262 markings, 52407980 edges, 14284 markings/sec, 2475 secs
lola: 24735428 markings, 52564885 edges, 13633 markings/sec, 2480 secs
lola: 24804767 markings, 52721572 edges, 13868 markings/sec, 2485 secs
lola: 24874953 markings, 52880403 edges, 14037 markings/sec, 2490 secs
lola: 24931219 markings, 53002289 edges, 11253 markings/sec, 2495 secs
lola: 24967356 markings, 53073523 edges, 7227 markings/sec, 2500 secs
lola: 25003189 markings, 53149434 edges, 7167 markings/sec, 2505 secs
lola: 25044129 markings, 53233133 edges, 8188 markings/sec, 2510 secs
lola: 25085250 markings, 53316028 edges, 8224 markings/sec, 2515 secs
lola: 25126818 markings, 53399826 edges, 8314 markings/sec, 2520 secs
lola: 25170988 markings, 53489361 edges, 8834 markings/sec, 2525 secs
lola: 25212169 markings, 53572321 edges, 8236 markings/sec, 2530 secs
lola: 25247529 markings, 53643274 edges, 7072 markings/sec, 2535 secs
lola: 25283457 markings, 53718249 edges, 7186 markings/sec, 2540 secs
lola: 25325908 markings, 53804051 edges, 8490 markings/sec, 2545 secs
lola: 25369901 markings, 53893240 edges, 8799 markings/sec, 2550 secs
lola: 25412183 markings, 53976786 edges, 8456 markings/sec, 2555 secs
lola: 25445773 markings, 54046093 edges, 6718 markings/sec, 2560 secs
lola: 25484221 markings, 54125449 edges, 7690 markings/sec, 2565 secs
lola: 25531507 markings, 54221565 edges, 9457 markings/sec, 2570 secs
lola: 25572261 markings, 54305144 edges, 8151 markings/sec, 2575 secs
lola: 25618632 markings, 54398695 edges, 9274 markings/sec, 2580 secs
lola: 25686950 markings, 54554383 edges, 13664 markings/sec, 2585 secs
lola: 25748593 markings, 54687325 edges, 12329 markings/sec, 2590 secs
lola: 25784953 markings, 54764647 edges, 7272 markings/sec, 2595 secs
lola: 25820053 markings, 54839062 edges, 7020 markings/sec, 2600 secs
lola: 25862005 markings, 54924572 edges, 8390 markings/sec, 2605 secs
lola: 25901336 markings, 55003667 edges, 7866 markings/sec, 2610 secs
lola: 25937789 markings, 55077330 edges, 7291 markings/sec, 2615 secs
lola: 25973856 markings, 55149771 edges, 7213 markings/sec, 2620 secs
lola: 26010018 markings, 55222436 edges, 7232 markings/sec, 2625 secs
lola: 26056843 markings, 55320861 edges, 9365 markings/sec, 2630 secs
lola: 26123651 markings, 55474490 edges, 13362 markings/sec, 2635 secs
lola: 26194646 markings, 55633979 edges, 14199 markings/sec, 2640 secs
lola: 26266452 markings, 55796725 edges, 14361 markings/sec, 2645 secs
lola: 26334881 markings, 55952840 edges, 13686 markings/sec, 2650 secs
lola: 26406198 markings, 56113605 edges, 14263 markings/sec, 2655 secs
lola: 26477349 markings, 56273885 edges, 14230 markings/sec, 2660 secs
lola: 26544275 markings, 56428262 edges, 13385 markings/sec, 2665 secs
lola: 26613162 markings, 56583417 edges, 13777 markings/sec, 2670 secs
lola: 26682203 markings, 56739683 edges, 13808 markings/sec, 2675 secs
lola: 26749548 markings, 56891532 edges, 13469 markings/sec, 2680 secs
lola: 26815928 markings, 57044973 edges, 13276 markings/sec, 2685 secs
lola: 26863328 markings, 57143285 edges, 9480 markings/sec, 2690 secs
lola: 26898173 markings, 57212862 edges, 6969 markings/sec, 2695 secs
lola: 26932450 markings, 57285283 edges, 6855 markings/sec, 2700 secs
lola: 26972730 markings, 57367623 edges, 8056 markings/sec, 2705 secs
lola: 27012452 markings, 57447728 edges, 7944 markings/sec, 2710 secs
lola: 27052434 markings, 57528337 edges, 7996 markings/sec, 2715 secs
lola: 27093521 markings, 57611292 edges, 8217 markings/sec, 2720 secs
lola: 27134912 markings, 57695285 edges, 8278 markings/sec, 2725 secs
lola: 27169321 markings, 57762854 edges, 6882 markings/sec, 2730 secs
lola: 27202357 markings, 57832255 edges, 6607 markings/sec, 2735 secs
lola: 27239854 markings, 57909075 edges, 7499 markings/sec, 2740 secs
lola: 27280488 markings, 57991178 edges, 8127 markings/sec, 2745 secs
lola: 27321956 markings, 58075181 edges, 8294 markings/sec, 2750 secs
lola: 27359924 markings, 58149727 edges, 7594 markings/sec, 2755 secs
lola: 27391299 markings, 58215061 edges, 6275 markings/sec, 2760 secs
lola: 27426670 markings, 58288083 edges, 7074 markings/sec, 2765 secs
lola: 27473234 markings, 58383223 edges, 9313 markings/sec, 2770 secs
lola: 27506053 markings, 58449584 edges, 6564 markings/sec, 2775 secs
lola: 27555488 markings, 58548141 edges, 9887 markings/sec, 2780 secs
lola: 27591472 markings, 58624819 edges, 7197 markings/sec, 2785 secs
lola: 27625913 markings, 58697900 edges, 6888 markings/sec, 2790 secs
lola: 27667028 markings, 58781866 edges, 8223 markings/sec, 2795 secs
lola: 27706317 markings, 58861588 edges, 7858 markings/sec, 2800 secs
lola: 27744970 markings, 58939178 edges, 7731 markings/sec, 2805 secs
lola: 27784057 markings, 59017648 edges, 7817 markings/sec, 2810 secs
lola: 27824543 markings, 59099623 edges, 8097 markings/sec, 2815 secs
lola: 27864410 markings, 59179748 edges, 7973 markings/sec, 2820 secs
lola: 27915924 markings, 59290981 edges, 10303 markings/sec, 2825 secs
lola: 27981554 markings, 59441789 edges, 13126 markings/sec, 2830 secs
lola: 28051423 markings, 59598563 edges, 13974 markings/sec, 2835 secs
lola: 28120686 markings, 59757641 edges, 13853 markings/sec, 2840 secs
lola: 28189010 markings, 59911357 edges, 13665 markings/sec, 2845 secs
lola: 28259161 markings, 60069078 edges, 14030 markings/sec, 2850 secs
lola: 28325252 markings, 60221280 edges, 13218 markings/sec, 2855 secs
lola: 28394055 markings, 60375630 edges, 13761 markings/sec, 2860 secs
lola: 28463673 markings, 60532770 edges, 13924 markings/sec, 2865 secs
lola: 28530488 markings, 60686854 edges, 13363 markings/sec, 2870 secs
lola: 28599166 markings, 60841418 edges, 13736 markings/sec, 2875 secs
lola: 28668667 markings, 60998734 edges, 13900 markings/sec, 2880 secs
lola: 28735420 markings, 61152602 edges, 13351 markings/sec, 2885 secs
lola: 28801582 markings, 61301963 edges, 13232 markings/sec, 2890 secs
lola: 28853173 markings, 61411592 edges, 10318 markings/sec, 2895 secs
lola: 28887657 markings, 61479530 edges, 6897 markings/sec, 2900 secs
lola: 28922163 markings, 61552443 edges, 6901 markings/sec, 2905 secs
lola: 28958894 markings, 61628528 edges, 7346 markings/sec, 2910 secs
lola: 28999704 markings, 61710937 edges, 8162 markings/sec, 2915 secs
lola: 29039820 markings, 61791761 edges, 8023 markings/sec, 2920 secs
lola: 29080735 markings, 61874298 edges, 8183 markings/sec, 2925 secs
lola: 29122431 markings, 61958431 edges, 8339 markings/sec, 2930 secs
lola: 29161879 markings, 62035374 edges, 7890 markings/sec, 2935 secs
lola: 29196692 markings, 62108414 edges, 6963 markings/sec, 2940 secs
lola: 29232267 markings, 62182928 edges, 7115 markings/sec, 2945 secs
lola: 29274586 markings, 62268468 edges, 8464 markings/sec, 2950 secs
lola: 29317689 markings, 62355574 edges, 8621 markings/sec, 2955 secs
lola: 29361966 markings, 62445405 edges, 8855 markings/sec, 2960 secs
lola: 29395768 markings, 62512466 edges, 6760 markings/sec, 2965 secs
lola: 29427356 markings, 62578236 edges, 6318 markings/sec, 2970 secs
lola: 29471913 markings, 62669252 edges, 8911 markings/sec, 2975 secs
lola: 29514191 markings, 62754539 edges, 8456 markings/sec, 2980 secs
lola: 29565307 markings, 62860225 edges, 10223 markings/sec, 2985 secs
lola: 29612176 markings, 62959391 edges, 9374 markings/sec, 2990 secs
lola: 29678491 markings, 63111826 edges, 13263 markings/sec, 2995 secs
lola: 29734147 markings, 63229783 edges, 11131 markings/sec, 3000 secs
lola: 29769834 markings, 63305448 edges, 7137 markings/sec, 3005 secs
lola: 29802667 markings, 63375193 edges, 6567 markings/sec, 3010 secs
lola: 29840749 markings, 63453107 edges, 7616 markings/sec, 3015 secs
lola: 29881497 markings, 63535637 edges, 8150 markings/sec, 3020 secs
lola: 29921458 markings, 63615786 edges, 7992 markings/sec, 3025 secs
lola: 29962931 markings, 63699488 edges, 8295 markings/sec, 3030 secs
lola: 30004322 markings, 63782650 edges, 8278 markings/sec, 3035 secs
lola: 30045092 markings, 63865042 edges, 8154 markings/sec, 3040 secs
lola: 30108932 markings, 64011055 edges, 12768 markings/sec, 3045 secs
lola: 30174103 markings, 64156918 edges, 13034 markings/sec, 3050 secs
lola: time limit reached - aborting
lola:
preliminary result: 50 1 50 50 1 1 50 1 1 1 50 50 1 50 unknown 1
lola:
preliminary result: 50 1 50 50 1 1 50 1 1 1 50 50 1 50 unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 1 50 50 1 1 50 1 1 1 50 50 1 50 unknown 1
lola: memory consumption: 1609552 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 1609552 KB
lola: time consumption: 3570 seconds

BK_STOP 1552407675756

--------------------
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="BridgeAndVehicles-COL-V50P20N10"
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 BridgeAndVehicles-COL-V50P20N10, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r022-csrt-155225094600130"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V50P20N10.tgz
mv BridgeAndVehicles-COL-V50P20N10 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 ;