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-155225094600142.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-V50P50N20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094600142
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 3.6K Feb 9 08:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 9 08:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 5 05:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 05:28 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.7K Feb 4 23:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 2 01:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 2 01:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Jan 29 13:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 29 13:04 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-V50P50N20-UpperBounds-00
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-01
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-02
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-03
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-04
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-05
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-06
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-07
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-08
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-09
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V50P50N20-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552404340429

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-COL-V50P50N20 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-COL-V50P50N20 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-COL-V50P50N20 @ 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: 2486/65536 symbol table entries, 22 collisions
lola: preprocessing...
lola: Size of bit vector: 4416
lola: finding significant places
lola: 138 places, 2348 transitions, 131 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2693 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V50P50N20-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (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 + p51 + p52 + p53 + p54 + p55 + p56 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (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 + p51 + p52 + p53 + p54 + p55 + p56 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(0) : MAX(p85) : MAX(p4 + p5) : MAX(p85) : MAX(0) : MAX(p60) : MAX(p137) : MAX(0) : MAX(0) : MAX(p60) : MAX(p61) : MAX(0) : MAX(p137) : MAX(p62 + p63) : MAX(p59) : MAX(p4 + p5)
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-V50P50N20-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-V50P50N20-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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-V50P50N20-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-V50P50N20-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 2 will run for 254 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-V50P50N20-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-V50P50N20-UpperBounds-7 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(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-V50P50N20-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-V50P50N20-UpperBounds-8 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(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-V50P50N20-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-V50P50N20-UpperBounds-11 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(p137)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p137)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N20-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: 211 markings, 210 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-6 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(p85)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p85)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N20-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-V50P50N20-UpperBounds-3 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(p85)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p85)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N20-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-V50P50N20-UpperBounds-1 50 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(p60)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p60)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N20-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-V50P50N20-UpperBounds-9 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(p61)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p61)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N20-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: 10301 markings, 22197 edges, 2060 markings/sec, 0 secs
lola: 20049 markings, 50249 edges, 1950 markings/sec, 5 secs
lola: 29540 markings, 73774 edges, 1898 markings/sec, 10 secs
lola: 50504 markings, 148357 edges, 4193 markings/sec, 15 secs
lola: 67822 markings, 206267 edges, 3464 markings/sec, 20 secs
lola: 77712 markings, 234735 edges, 1978 markings/sec, 25 secs
lola: 87295 markings, 260943 edges, 1917 markings/sec, 30 secs
lola: 114367 markings, 360174 edges, 5414 markings/sec, 35 secs
lola: 125301 markings, 383871 edges, 2187 markings/sec, 40 secs
lola: 135702 markings, 413791 edges, 2080 markings/sec, 45 secs
lola: 144386 markings, 437509 edges, 1737 markings/sec, 50 secs
lola: 155698 markings, 469008 edges, 2262 markings/sec, 55 secs
lola: 174784 markings, 534728 edges, 3817 markings/sec, 60 secs
lola: 191906 markings, 593336 edges, 3424 markings/sec, 65 secs
lola: 202857 markings, 623909 edges, 2190 markings/sec, 70 secs
lola: 219642 markings, 680225 edges, 3357 markings/sec, 75 secs
lola: 238170 markings, 744662 edges, 3706 markings/sec, 80 secs
lola: 249054 markings, 775087 edges, 2177 markings/sec, 85 secs
lola: 268130 markings, 840760 edges, 3815 markings/sec, 90 secs
lola: 283662 markings, 892943 edges, 3106 markings/sec, 95 secs
lola: 295127 markings, 924922 edges, 2293 markings/sec, 100 secs
lola: 319938 markings, 1014657 edges, 4962 markings/sec, 105 secs
lola: 330977 markings, 1045590 edges, 2208 markings/sec, 110 secs
lola: 341733 markings, 1076192 edges, 2151 markings/sec, 115 secs
lola: 364731 markings, 1158343 edges, 4600 markings/sec, 120 secs
lola: 374547 markings, 1186356 edges, 1963 markings/sec, 125 secs
lola: 395038 markings, 1257364 edges, 4098 markings/sec, 130 secs
lola: 408278 markings, 1298474 edges, 2648 markings/sec, 135 secs
lola: 419227 markings, 1329631 edges, 2190 markings/sec, 140 secs
lola: 440658 markings, 1405571 edges, 4286 markings/sec, 145 secs
lola: 450634 markings, 1433446 edges, 1995 markings/sec, 150 secs
lola: 473797 markings, 1514074 edges, 4633 markings/sec, 155 secs
lola: 483235 markings, 1541112 edges, 1888 markings/sec, 160 secs
lola: 504293 markings, 1615128 edges, 4212 markings/sec, 165 secs
lola: 515150 markings, 1645368 edges, 2171 markings/sec, 170 secs
lola: 533266 markings, 1708026 edges, 3623 markings/sec, 175 secs
lola: 544819 markings, 1742378 edges, 2311 markings/sec, 180 secs
lola: 561431 markings, 1798577 edges, 3322 markings/sec, 185 secs
lola: 573837 markings, 1836771 edges, 2481 markings/sec, 190 secs
lola: 591493 markings, 1897416 edges, 3531 markings/sec, 195 secs
lola: 602620 markings, 1929671 edges, 2225 markings/sec, 200 secs
lola: 621568 markings, 1993770 edges, 3790 markings/sec, 205 secs
lola: 631147 markings, 2020483 edges, 1916 markings/sec, 210 secs
lola: 648939 markings, 2081415 edges, 3558 markings/sec, 215 secs
lola: 666372 markings, 2140499 edges, 3487 markings/sec, 220 secs
lola: 676613 markings, 2168735 edges, 2048 markings/sec, 225 secs
lola: 693649 markings, 2226020 edges, 3407 markings/sec, 230 secs
lola: 710892 markings, 2282841 edges, 3449 markings/sec, 235 secs
lola: 725375 markings, 2329572 edges, 2897 markings/sec, 240 secs
lola: 735997 markings, 2362718 edges, 2124 markings/sec, 245 secs
lola: 747632 markings, 2394861 edges, 2327 markings/sec, 250 secs
lola: 758901 markings, 2423754 edges, 2254 markings/sec, 255 secs
lola: 770593 markings, 2456121 edges, 2338 markings/sec, 260 secs
lola: 800121 markings, 2565274 edges, 5906 markings/sec, 265 secs
lola: 809902 markings, 2592582 edges, 1956 markings/sec, 270 secs
lola: 822937 markings, 2629937 edges, 2607 markings/sec, 275 secs
lola: 832383 markings, 2658429 edges, 1889 markings/sec, 280 secs
lola: 842407 markings, 2686086 edges, 2005 markings/sec, 285 secs
lola: 852420 markings, 2714470 edges, 2003 markings/sec, 290 secs
lola: 879038 markings, 2813108 edges, 5324 markings/sec, 295 secs
lola: 888595 markings, 2831618 edges, 1911 markings/sec, 300 secs
lola: 897464 markings, 2854549 edges, 1774 markings/sec, 305 secs
lola: 909353 markings, 2889135 edges, 2378 markings/sec, 310 secs
lola: 922828 markings, 2934133 edges, 2695 markings/sec, 315 secs
lola: 932623 markings, 2972185 edges, 1959 markings/sec, 320 secs
lola: 941880 markings, 3000454 edges, 1851 markings/sec, 325 secs
lola: 953845 markings, 3034628 edges, 2393 markings/sec, 330 secs
lola: 963150 markings, 3062773 edges, 1861 markings/sec, 335 secs
lola: 973311 markings, 3090867 edges, 2032 markings/sec, 340 secs
lola: 983934 markings, 3121059 edges, 2125 markings/sec, 345 secs
lola: 1011049 markings, 3219613 edges, 5423 markings/sec, 350 secs
lola: 1019723 markings, 3244759 edges, 1735 markings/sec, 355 secs
lola: 1029045 markings, 3271423 edges, 1864 markings/sec, 360 secs
lola: 1039294 markings, 3301891 edges, 2050 markings/sec, 365 secs
lola: 1049473 markings, 3330301 edges, 2036 markings/sec, 370 secs
lola: 1071892 markings, 3410262 edges, 4484 markings/sec, 375 secs
lola: 1084433 markings, 3450200 edges, 2508 markings/sec, 380 secs
lola: 1096871 markings, 3485847 edges, 2488 markings/sec, 385 secs
lola: 1106986 markings, 3516033 edges, 2023 markings/sec, 390 secs
lola: 1116789 markings, 3542924 edges, 1961 markings/sec, 395 secs
lola: 1140770 markings, 3629239 edges, 4796 markings/sec, 400 secs
lola: 1153466 markings, 3667236 edges, 2539 markings/sec, 405 secs
lola: 1163740 markings, 3696673 edges, 2055 markings/sec, 410 secs
lola: 1174536 markings, 3727921 edges, 2159 markings/sec, 415 secs
lola: 1184960 markings, 3757634 edges, 2085 markings/sec, 420 secs
lola: 1210459 markings, 3848642 edges, 5100 markings/sec, 425 secs
lola: 1220452 markings, 3877331 edges, 1999 markings/sec, 430 secs
lola: 1230852 markings, 3908211 edges, 2080 markings/sec, 435 secs
lola: 1241328 markings, 3937208 edges, 2095 markings/sec, 440 secs
lola: 1261545 markings, 4007731 edges, 4043 markings/sec, 445 secs
lola: 1276100 markings, 4054093 edges, 2911 markings/sec, 450 secs
lola: 1286460 markings, 4083750 edges, 2072 markings/sec, 455 secs
lola: 1297002 markings, 4114204 edges, 2108 markings/sec, 460 secs
lola: 1312055 markings, 4161920 edges, 3011 markings/sec, 465 secs
lola: 1330519 markings, 4226219 edges, 3693 markings/sec, 470 secs
lola: 1342253 markings, 4259821 edges, 2347 markings/sec, 475 secs
lola: 1352089 markings, 4288902 edges, 1967 markings/sec, 480 secs
lola: 1365045 markings, 4327781 edges, 2591 markings/sec, 485 secs
lola: 1385023 markings, 4397718 edges, 3996 markings/sec, 490 secs
lola: 1396584 markings, 4430833 edges, 2312 markings/sec, 495 secs
lola: 1406579 markings, 4459858 edges, 1999 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 50 unknown 50 1 unknown 50 1 1 50 unknown 1 unknown unknown unknown unknown
lola: memory consumption: 87596 KB
lola: time consumption: 511 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(p60)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p60)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N20-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-V50P50N20-UpperBounds-5 50 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(p137)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p137)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N20-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: 211 markings, 210 edges

FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-12 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 764 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p59)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N20-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

FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-14 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 1019 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p62 + p63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p62 + p63)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N20-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-V50P50N20-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1528 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4 + p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4 + p5)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N20-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-V50P50N20-UpperBounds-2 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(p4 + p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4 + p5)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N20-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-V50P50N20-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: ========================================
lola: ...considering subproblem: MAX(p61)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p61)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N20-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: 11282 markings, 25053 edges, 2256 markings/sec, 0 secs
lola: 21913 markings, 55333 edges, 2126 markings/sec, 5 secs
lola: 33029 markings, 82710 edges, 2223 markings/sec, 10 secs
lola: 61265 markings, 188522 edges, 5647 markings/sec, 15 secs
lola: 70230 markings, 213261 edges, 1793 markings/sec, 20 secs
lola: 81680 markings, 245136 edges, 2290 markings/sec, 25 secs
lola: 99820 markings, 306600 edges, 3628 markings/sec, 30 secs
lola: 119121 markings, 368238 edges, 3860 markings/sec, 35 secs
lola: 128136 markings, 392038 edges, 1803 markings/sec, 40 secs
lola: 140889 markings, 427357 edges, 2551 markings/sec, 45 secs
lola: 150413 markings, 454841 edges, 1905 markings/sec, 50 secs
lola: 160090 markings, 481479 edges, 1935 markings/sec, 55 secs
lola: 186668 markings, 578725 edges, 5316 markings/sec, 60 secs
lola: 196616 markings, 606931 edges, 1990 markings/sec, 65 secs
lola: 206784 markings, 635017 edges, 2034 markings/sec, 70 secs
lola: 231773 markings, 727055 edges, 4998 markings/sec, 75 secs
lola: 242695 markings, 757712 edges, 2184 markings/sec, 80 secs
lola: 253083 markings, 786477 edges, 2078 markings/sec, 85 secs
lola: 279463 markings, 880776 edges, 5276 markings/sec, 90 secs
lola: 289249 markings, 908997 edges, 1957 markings/sec, 95 secs
lola: 300871 markings, 942734 edges, 2324 markings/sec, 100 secs
lola: 324298 markings, 1026357 edges, 4685 markings/sec, 105 secs
lola: 334441 markings, 1055212 edges, 2029 markings/sec, 110 secs
lola: 354664 markings, 1125016 edges, 4045 markings/sec, 115 secs
lola: 369054 markings, 1170812 edges, 2878 markings/sec, 120 secs
lola: 379606 markings, 1199961 edges, 2110 markings/sec, 125 secs
lola: 403343 markings, 1284254 edges, 4747 markings/sec, 130 secs
lola: 413685 markings, 1313234 edges, 2068 markings/sec, 135 secs
lola: 436477 markings, 1394204 edges, 4558 markings/sec, 140 secs
lola: 447391 markings, 1424925 edges, 2183 markings/sec, 145 secs
lola: 464951 markings, 1483762 edges, 3512 markings/sec, 150 secs
lola: 479830 markings, 1531504 edges, 2976 markings/sec, 155 secs
lola: 494773 markings, 1578815 edges, 2989 markings/sec, 160 secs
lola: 510565 markings, 1632257 edges, 3158 markings/sec, 165 secs
lola: 523606 markings, 1671268 edges, 2608 markings/sec, 170 secs
lola: 540727 markings, 1730681 edges, 3424 markings/sec, 175 secs
lola: 554927 markings, 1773783 edges, 2840 markings/sec, 180 secs
lola: 571903 markings, 1831224 edges, 3395 markings/sec, 185 secs
lola: 587846 markings, 1883495 edges, 3189 markings/sec, 190 secs
lola: 601765 markings, 1927258 edges, 2784 markings/sec, 195 secs
lola: 620922 markings, 1991916 edges, 3831 markings/sec, 200 secs
lola: 630946 markings, 2019947 edges, 2005 markings/sec, 205 secs
lola: 650137 markings, 2084849 edges, 3838 markings/sec, 210 secs
lola: 668781 markings, 2146819 edges, 3729 markings/sec, 215 secs
lola: 681135 markings, 2184020 edges, 2471 markings/sec, 220 secs
lola: 696906 markings, 2235243 edges, 3154 markings/sec, 225 secs
lola: 714140 markings, 2292125 edges, 3447 markings/sec, 230 secs
lola: 732171 markings, 2351546 edges, 3606 markings/sec, 235 secs
lola: 741573 markings, 2379921 edges, 1880 markings/sec, 240 secs
lola: 751438 markings, 2402669 edges, 1973 markings/sec, 245 secs
lola: 762824 markings, 2434636 edges, 2277 markings/sec, 250 secs
lola: 775139 markings, 2471563 edges, 2463 markings/sec, 255 secs
lola: 802224 markings, 2571558 edges, 5417 markings/sec, 260 secs
lola: 812930 markings, 2601332 edges, 2141 markings/sec, 265 secs
lola: 824197 markings, 2633617 edges, 2253 markings/sec, 270 secs
lola: 834530 markings, 2664573 edges, 2067 markings/sec, 275 secs
lola: 845225 markings, 2693921 edges, 2139 markings/sec, 280 secs
lola: 860373 markings, 2743938 edges, 3030 markings/sec, 285 secs
lola: 882403 markings, 2819580 edges, 4406 markings/sec, 290 secs
lola: 893771 markings, 2843821 edges, 2274 markings/sec, 295 secs
lola: 902888 markings, 2870253 edges, 1823 markings/sec, 300 secs
lola: 914889 markings, 2906524 edges, 2400 markings/sec, 305 secs
lola: 925709 markings, 2945304 edges, 2164 markings/sec, 310 secs
lola: 938955 markings, 2991915 edges, 2649 markings/sec, 315 secs
lola: 949062 markings, 3021139 edges, 2021 markings/sec, 320 secs
lola: 958594 markings, 3048485 edges, 1906 markings/sec, 325 secs
lola: 970184 markings, 3081974 edges, 2318 markings/sec, 330 secs
lola: 981348 markings, 3114059 edges, 2233 markings/sec, 335 secs
lola: 1007912 markings, 3211824 edges, 5313 markings/sec, 340 secs
lola: 1019024 markings, 3242707 edges, 2222 markings/sec, 345 secs
lola: 1029320 markings, 3272216 edges, 2059 markings/sec, 350 secs
lola: 1039793 markings, 3303140 edges, 2095 markings/sec, 355 secs
lola: 1050832 markings, 3334216 edges, 2208 markings/sec, 360 secs
lola: 1075352 markings, 3423496 edges, 4904 markings/sec, 365 secs
lola: 1087435 markings, 3458860 edges, 2417 markings/sec, 370 secs
lola: 1097872 markings, 3488758 edges, 2087 markings/sec, 375 secs
lola: 1108231 markings, 3519314 edges, 2072 markings/sec, 380 secs
lola: 1119429 markings, 3550837 edges, 2240 markings/sec, 385 secs
lola: 1145649 markings, 3644628 edges, 5244 markings/sec, 390 secs
lola: 1155737 markings, 3673750 edges, 2018 markings/sec, 395 secs
lola: 1164933 markings, 3700158 edges, 1839 markings/sec, 400 secs
lola: 1176289 markings, 3732848 edges, 2271 markings/sec, 405 secs
lola: 1190098 markings, 3775715 edges, 2762 markings/sec, 410 secs
lola: 1211960 markings, 3852944 edges, 4372 markings/sec, 415 secs
lola: 1224241 markings, 3888103 edges, 2456 markings/sec, 420 secs
lola: 1233952 markings, 3917152 edges, 1942 markings/sec, 425 secs
lola: 1244088 markings, 3945264 edges, 2027 markings/sec, 430 secs
lola: 1268594 markings, 4032682 edges, 4901 markings/sec, 435 secs
lola: 1278584 markings, 4061205 edges, 1998 markings/sec, 440 secs
lola: 1287474 markings, 4086704 edges, 1778 markings/sec, 445 secs
lola: 1298818 markings, 4119299 edges, 2269 markings/sec, 450 secs
lola: 1315390 markings, 4174591 edges, 3314 markings/sec, 455 secs
lola: 1331047 markings, 4227793 edges, 3131 markings/sec, 460 secs
lola: 1342681 markings, 4261097 edges, 2327 markings/sec, 465 secs
lola: 1352483 markings, 4289803 edges, 1960 markings/sec, 470 secs
lola: 1365743 markings, 4330441 edges, 2652 markings/sec, 475 secs
lola: 1384956 markings, 4397557 edges, 3843 markings/sec, 480 secs
lola: 1396376 markings, 4430213 edges, 2284 markings/sec, 485 secs
lola: 1405995 markings, 4458638 edges, 1924 markings/sec, 490 secs
lola: 1420469 markings, 4503868 edges, 2895 markings/sec, 495 secs
lola: 1437312 markings, 4562015 edges, 3369 markings/sec, 500 secs
lola: 1448558 markings, 4594155 edges, 2249 markings/sec, 505 secs
lola: 1458727 markings, 4623469 edges, 2034 markings/sec, 510 secs
lola: 1478122 markings, 4690696 edges, 3879 markings/sec, 515 secs
lola: 1490732 markings, 4728566 edges, 2522 markings/sec, 520 secs
lola: 1500604 markings, 4757673 edges, 1974 markings/sec, 525 secs
lola: 1511143 markings, 4786835 edges, 2108 markings/sec, 530 secs
lola: 1531433 markings, 4857806 edges, 4058 markings/sec, 535 secs
lola: 1542302 markings, 4888867 edges, 2174 markings/sec, 540 secs
lola: 1552293 markings, 4917642 edges, 1998 markings/sec, 545 secs
lola: 1573235 markings, 4989358 edges, 4188 markings/sec, 550 secs
lola: 1582769 markings, 5016464 edges, 1907 markings/sec, 555 secs
lola: 1593021 markings, 5046761 edges, 2050 markings/sec, 560 secs
lola: 1612491 markings, 5113572 edges, 3894 markings/sec, 565 secs
lola: 1622876 markings, 5142575 edges, 2077 markings/sec, 570 secs
lola: 1633458 markings, 5173611 edges, 2116 markings/sec, 575 secs
lola: 1653417 markings, 5240515 edges, 3992 markings/sec, 580 secs
lola: 1663971 markings, 5270630 edges, 2111 markings/sec, 585 secs
lola: 1674384 markings, 5300337 edges, 2083 markings/sec, 590 secs
lola: 1692790 markings, 5362933 edges, 3681 markings/sec, 595 secs
lola: 1703836 markings, 5395120 edges, 2209 markings/sec, 600 secs
lola: 1721519 markings, 5454741 edges, 3537 markings/sec, 605 secs
lola: 1733160 markings, 5487343 edges, 2328 markings/sec, 610 secs
lola: 1743169 markings, 5515827 edges, 2002 markings/sec, 615 secs
lola: 1760973 markings, 5575518 edges, 3561 markings/sec, 620 secs
lola: 1770608 markings, 5603548 edges, 1927 markings/sec, 625 secs
lola: 1786658 markings, 5656860 edges, 3210 markings/sec, 630 secs
lola: 1795977 markings, 5683339 edges, 1864 markings/sec, 635 secs
lola: 1814137 markings, 5743381 edges, 3632 markings/sec, 640 secs
lola: 1823934 markings, 5772999 edges, 1959 markings/sec, 645 secs
lola: 1834315 markings, 5799325 edges, 2076 markings/sec, 650 secs
lola: 1845438 markings, 5827195 edges, 2225 markings/sec, 655 secs
lola: 1857986 markings, 5870590 edges, 2510 markings/sec, 660 secs
lola: 1870085 markings, 5906517 edges, 2420 markings/sec, 665 secs
lola: 1893921 markings, 5990270 edges, 4767 markings/sec, 670 secs
lola: 1911806 markings, 6049357 edges, 3577 markings/sec, 675 secs
lola: 1922105 markings, 6079044 edges, 2060 markings/sec, 680 secs
lola: 1931301 markings, 6111599 edges, 1839 markings/sec, 685 secs
lola: 1944260 markings, 6158595 edges, 2592 markings/sec, 690 secs
lola: 1953570 markings, 6186717 edges, 1862 markings/sec, 695 secs
lola: 1964050 markings, 6215648 edges, 2096 markings/sec, 700 secs
lola: 1974783 markings, 6253143 edges, 2147 markings/sec, 705 secs
lola: 1989896 markings, 6303041 edges, 3023 markings/sec, 710 secs
lola: 2012027 markings, 6380109 edges, 4426 markings/sec, 715 secs
lola: 2022050 markings, 6401412 edges, 2005 markings/sec, 720 secs
lola: 2032747 markings, 6427218 edges, 2139 markings/sec, 725 secs
lola: 2043665 markings, 6458553 edges, 2184 markings/sec, 730 secs
lola: 2055833 markings, 6498453 edges, 2434 markings/sec, 735 secs
lola: 2067233 markings, 6538857 edges, 2280 markings/sec, 740 secs
lola: 2078014 markings, 6580576 edges, 2156 markings/sec, 745 secs
lola: 2092847 markings, 6629288 edges, 2967 markings/sec, 750 secs
lola: 2102002 markings, 6665008 edges, 1831 markings/sec, 755 secs
lola: 2112044 markings, 6697111 edges, 2008 markings/sec, 760 secs
lola: 2122681 markings, 6727590 edges, 2127 markings/sec, 765 secs
lola: 2133077 markings, 6767098 edges, 2079 markings/sec, 770 secs
lola: 2144096 markings, 6804808 edges, 2204 markings/sec, 775 secs
lola: 2154642 markings, 6836209 edges, 2109 markings/sec, 780 secs
lola: 2165089 markings, 6866830 edges, 2089 markings/sec, 785 secs
lola: 2176443 markings, 6904388 edges, 2271 markings/sec, 790 secs
lola: 2203864 markings, 7003930 edges, 5484 markings/sec, 795 secs
lola: 2214654 markings, 7034727 edges, 2158 markings/sec, 800 secs
lola: 2224299 markings, 7067457 edges, 1929 markings/sec, 805 secs
lola: 2236133 markings, 7111394 edges, 2367 markings/sec, 810 secs
lola: 2245910 markings, 7140781 edges, 1955 markings/sec, 815 secs
lola: 2256270 markings, 7169403 edges, 2072 markings/sec, 820 secs
lola: 2266220 markings, 7203751 edges, 1990 markings/sec, 825 secs
lola: 2289072 markings, 7285167 edges, 4570 markings/sec, 830 secs
lola: 2302973 markings, 7329263 edges, 2780 markings/sec, 835 secs
lola: 2314490 markings, 7365986 edges, 2303 markings/sec, 840 secs
lola: 2324735 markings, 7405648 edges, 2049 markings/sec, 845 secs
lola: 2334496 markings, 7435509 edges, 1952 markings/sec, 850 secs
lola: 2344179 markings, 7462403 edges, 1937 markings/sec, 855 secs
lola: 2354395 markings, 7496937 edges, 2043 markings/sec, 860 secs
lola: 2370601 markings, 7552055 edges, 3241 markings/sec, 865 secs
lola: 2388441 markings, 7613732 edges, 3568 markings/sec, 870 secs
lola: 2400484 markings, 7650319 edges, 2409 markings/sec, 875 secs
lola: 2409759 markings, 7686411 edges, 1855 markings/sec, 880 secs
lola: 2418363 markings, 7713898 edges, 1721 markings/sec, 885 secs
lola: 2428645 markings, 7743614 edges, 2056 markings/sec, 890 secs
lola: 2438655 markings, 7776613 edges, 2002 markings/sec, 895 secs
lola: 2456319 markings, 7836801 edges, 3533 markings/sec, 900 secs
lola: 2473054 markings, 7893841 edges, 3347 markings/sec, 905 secs
lola: 2485193 markings, 7931811 edges, 2428 markings/sec, 910 secs
lola: 2495274 markings, 7970833 edges, 2016 markings/sec, 915 secs
lola: 2506023 markings, 8003275 edges, 2150 markings/sec, 920 secs
lola: 2516485 markings, 8032552 edges, 2092 markings/sec, 925 secs
lola: 2527505 markings, 8068697 edges, 2204 markings/sec, 930 secs
lola: 2551313 markings, 8153813 edges, 4762 markings/sec, 935 secs
lola: 2562575 markings, 8186899 edges, 2252 markings/sec, 940 secs
lola: 2572577 markings, 8225737 edges, 2000 markings/sec, 945 secs
lola: 2581444 markings, 8253715 edges, 1773 markings/sec, 950 secs
lola: 2593205 markings, 8287397 edges, 2352 markings/sec, 955 secs
lola: 2603652 markings, 8321412 edges, 2089 markings/sec, 960 secs
lola: 2627238 markings, 8405210 edges, 4717 markings/sec, 965 secs
lola: 2636828 markings, 8432660 edges, 1918 markings/sec, 970 secs
lola: 2646783 markings, 8470461 edges, 1991 markings/sec, 975 secs
lola: 2655708 markings, 8499847 edges, 1785 markings/sec, 980 secs
lola: 2665594 markings, 8528340 edges, 1977 markings/sec, 985 secs
lola: 2676282 markings, 8562477 edges, 2138 markings/sec, 990 secs
lola: 2699466 markings, 8644205 edges, 4637 markings/sec, 995 secs
lola: 2710510 markings, 8676465 edges, 2209 markings/sec, 1000 secs
lola: 2720576 markings, 8715465 edges, 2013 markings/sec, 1005 secs
lola: 2729433 markings, 8743478 edges, 1771 markings/sec, 1010 secs
lola: 2739499 markings, 8771378 edges, 2013 markings/sec, 1015 secs
lola: 2753779 markings, 8820140 edges, 2856 markings/sec, 1020 secs
lola: 2771503 markings, 8880850 edges, 3545 markings/sec, 1025 secs
lola: 2782373 markings, 8915975 edges, 2174 markings/sec, 1030 secs
lola: 2793680 markings, 8956283 edges, 2261 markings/sec, 1035 secs
lola: 2803608 markings, 8985078 edges, 1986 markings/sec, 1040 secs
lola: 2815745 markings, 9023505 edges, 2427 markings/sec, 1045 secs
lola: 2835314 markings, 9092007 edges, 3914 markings/sec, 1050 secs
lola: 2846479 markings, 9127315 edges, 2233 markings/sec, 1055 secs
lola: 2857636 markings, 9167450 edges, 2231 markings/sec, 1060 secs
lola: 2867327 markings, 9195554 edges, 1938 markings/sec, 1065 secs
lola: 2880763 markings, 9239312 edges, 2687 markings/sec, 1070 secs
lola: 2897972 markings, 9298188 edges, 3442 markings/sec, 1075 secs
lola: 2908103 markings, 9331065 edges, 2026 markings/sec, 1080 secs
lola: 2918920 markings, 9369240 edges, 2163 markings/sec, 1085 secs
lola: 2929266 markings, 9398933 edges, 2069 markings/sec, 1090 secs
lola: 2948135 markings, 9466275 edges, 3774 markings/sec, 1095 secs
lola: 2960042 markings, 9501016 edges, 2381 markings/sec, 1100 secs
lola: 2970196 markings, 9538563 edges, 2031 markings/sec, 1105 secs
lola: 2980652 markings, 9571423 edges, 2091 markings/sec, 1110 secs
lola: 2992298 markings, 9606542 edges, 2329 markings/sec, 1115 secs
lola: 3011107 markings, 9670800 edges, 3762 markings/sec, 1120 secs
lola: 3021545 markings, 9706244 edges, 2088 markings/sec, 1125 secs
lola: 3031870 markings, 9741073 edges, 2065 markings/sec, 1130 secs
lola: 3043257 markings, 9774241 edges, 2277 markings/sec, 1135 secs
lola: 3062367 markings, 9839574 edges, 3822 markings/sec, 1140 secs
lola: 3073087 markings, 9876434 edges, 2144 markings/sec, 1145 secs
lola: 3083797 markings, 9911285 edges, 2142 markings/sec, 1150 secs
lola: 3099314 markings, 9961958 edges, 3103 markings/sec, 1155 secs
lola: 3113673 markings, 10006943 edges, 2872 markings/sec, 1160 secs
lola: 3124052 markings, 10045809 edges, 2076 markings/sec, 1165 secs
lola: 3134737 markings, 10076651 edges, 2137 markings/sec, 1170 secs
lola: 3152946 markings, 10138741 edges, 3642 markings/sec, 1175 secs
lola: 3162794 markings, 10169892 edges, 1970 markings/sec, 1180 secs
lola: 3172319 markings, 10202908 edges, 1905 markings/sec, 1185 secs
lola: 3184815 markings, 10241588 edges, 2499 markings/sec, 1190 secs
lola: 3200072 markings, 10291566 edges, 3051 markings/sec, 1195 secs
lola: 3210110 markings, 10328333 edges, 2008 markings/sec, 1200 secs
lola: 3220304 markings, 10357739 edges, 2039 markings/sec, 1205 secs
lola: 3237547 markings, 10415577 edges, 3449 markings/sec, 1210 secs
lola: 3248059 markings, 10452280 edges, 2102 markings/sec, 1215 secs
lola: 3257917 markings, 10482013 edges, 1972 markings/sec, 1220 secs
lola: 3275106 markings, 10539609 edges, 3438 markings/sec, 1225 secs
lola: 3284727 markings, 10568541 edges, 1924 markings/sec, 1230 secs
lola: 3293800 markings, 10590535 edges, 1815 markings/sec, 1235 secs
lola: 3303993 markings, 10614828 edges, 2039 markings/sec, 1240 secs
lola: 3315881 markings, 10651881 edges, 2378 markings/sec, 1245 secs
lola: 3327710 markings, 10694213 edges, 2366 markings/sec, 1250 secs
lola: 3340212 markings, 10737603 edges, 2500 markings/sec, 1255 secs
lola: 3351851 markings, 10769502 edges, 2328 markings/sec, 1260 secs
lola: 3378098 markings, 10865787 edges, 5249 markings/sec, 1265 secs
lola: 3393630 markings, 10915315 edges, 3106 markings/sec, 1270 secs
lola: 3403227 markings, 10943096 edges, 1919 markings/sec, 1275 secs
lola: 3412990 markings, 10976241 edges, 1953 markings/sec, 1280 secs
lola: 3423519 markings, 11017009 edges, 2106 markings/sec, 1285 secs
lola: 3433208 markings, 11053972 edges, 1938 markings/sec, 1290 secs
lola: 3444737 markings, 11094339 edges, 2306 markings/sec, 1295 secs
lola: 3454467 markings, 11123592 edges, 1946 markings/sec, 1300 secs
lola: 3464498 markings, 11151177 edges, 2006 markings/sec, 1305 secs
lola: 3474774 markings, 11189126 edges, 2055 markings/sec, 1310 secs
lola: 3485347 markings, 11225143 edges, 2115 markings/sec, 1315 secs
lola: 3506237 markings, 11299376 edges, 4178 markings/sec, 1320 secs
lola: 3521924 markings, 11348942 edges, 3137 markings/sec, 1325 secs
lola: 3531526 markings, 11370621 edges, 1920 markings/sec, 1330 secs
lola: 3541147 markings, 11391762 edges, 1924 markings/sec, 1335 secs
lola: 3550378 markings, 11416294 edges, 1846 markings/sec, 1340 secs
lola: 3562570 markings, 11452467 edges, 2438 markings/sec, 1345 secs
lola: 3573867 markings, 11491022 edges, 2259 markings/sec, 1350 secs
lola: 3584791 markings, 11528085 edges, 2185 markings/sec, 1355 secs
lola: 3594927 markings, 11566994 edges, 2027 markings/sec, 1360 secs
lola: 3606096 markings, 11607733 edges, 2234 markings/sec, 1365 secs
lola: 3618185 markings, 11647489 edges, 2418 markings/sec, 1370 secs
lola: 3627016 markings, 11680790 edges, 1766 markings/sec, 1375 secs
lola: 3639503 markings, 11726663 edges, 2497 markings/sec, 1380 secs
lola: 3652265 markings, 11769784 edges, 2552 markings/sec, 1385 secs
lola: 3662316 markings, 11808866 edges, 2010 markings/sec, 1390 secs
lola: 3671358 markings, 11835656 edges, 1808 markings/sec, 1395 secs
lola: 3684056 markings, 11874603 edges, 2540 markings/sec, 1400 secs
lola: 3693457 markings, 11911245 edges, 1880 markings/sec, 1405 secs
lola: 3702874 markings, 11946881 edges, 1883 markings/sec, 1410 secs
lola: 3713144 markings, 11986556 edges, 2054 markings/sec, 1415 secs
lola: 3723505 markings, 12017827 edges, 2072 markings/sec, 1420 secs
lola: 3734555 markings, 12048493 edges, 2210 markings/sec, 1425 secs
lola: 3745710 markings, 12087965 edges, 2231 markings/sec, 1430 secs
lola: 3756774 markings, 12125339 edges, 2213 markings/sec, 1435 secs
lola: 3782093 markings, 12218054 edges, 5064 markings/sec, 1440 secs
lola: 3794983 markings, 12255818 edges, 2578 markings/sec, 1445 secs
lola: 3805630 markings, 12291167 edges, 2129 markings/sec, 1450 secs
lola: 3817826 markings, 12337589 edges, 2439 markings/sec, 1455 secs
lola: 3828010 markings, 12377278 edges, 2037 markings/sec, 1460 secs
lola: 3837816 markings, 12409088 edges, 1961 markings/sec, 1465 secs
lola: 3849285 markings, 12442183 edges, 2294 markings/sec, 1470 secs
lola: 3860615 markings, 12480011 edges, 2266 markings/sec, 1475 secs
lola: 3871562 markings, 12518134 edges, 2189 markings/sec, 1480 secs
lola: 3895811 markings, 12605772 edges, 4850 markings/sec, 1485 secs
lola: 3909322 markings, 12646307 edges, 2702 markings/sec, 1490 secs
lola: 3919881 markings, 12681462 edges, 2112 markings/sec, 1495 secs
lola: 3932527 markings, 12729652 edges, 2529 markings/sec, 1500 secs
lola: 3942508 markings, 12768479 edges, 1996 markings/sec, 1505 secs
lola: 3951759 markings, 12797534 edges, 1850 markings/sec, 1510 secs
lola: 3963864 markings, 12832347 edges, 2421 markings/sec, 1515 secs
lola: 3974491 markings, 12869267 edges, 2125 markings/sec, 1520 secs
lola: 3984412 markings, 12902411 edges, 1984 markings/sec, 1525 secs
lola: 4008583 markings, 12991565 edges, 4834 markings/sec, 1530 secs
lola: 4019030 markings, 13020589 edges, 2089 markings/sec, 1535 secs
lola: 4028635 markings, 13052512 edges, 1921 markings/sec, 1540 secs
lola: 4038973 markings, 13092088 edges, 2068 markings/sec, 1545 secs
lola: 4048804 markings, 13130029 edges, 1966 markings/sec, 1550 secs
lola: 4058320 markings, 13161799 edges, 1903 markings/sec, 1555 secs
lola: 4068042 markings, 13190663 edges, 1944 markings/sec, 1560 secs
lola: 4078458 markings, 13223234 edges, 2083 markings/sec, 1565 secs
lola: 4087842 markings, 13256563 edges, 1877 markings/sec, 1570 secs
lola: 4109961 markings, 13336108 edges, 4424 markings/sec, 1575 secs
lola: 4122278 markings, 13373566 edges, 2463 markings/sec, 1580 secs
lola: 4132558 markings, 13406990 edges, 2056 markings/sec, 1585 secs
lola: 4142306 markings, 13444573 edges, 1950 markings/sec, 1590 secs
lola: 4152569 markings, 13483875 edges, 2053 markings/sec, 1595 secs
lola: 4161899 markings, 13514807 edges, 1866 markings/sec, 1600 secs
lola: 4172174 markings, 13544544 edges, 2055 markings/sec, 1605 secs
lola: 4182516 markings, 13578638 edges, 2068 markings/sec, 1610 secs
lola: 4192398 markings, 13611555 edges, 1976 markings/sec, 1615 secs
lola: 4216685 markings, 13698245 edges, 4857 markings/sec, 1620 secs
lola: 4226407 markings, 13726147 edges, 1944 markings/sec, 1625 secs
lola: 4236284 markings, 13762770 edges, 1975 markings/sec, 1630 secs
lola: 4246013 markings, 13799638 edges, 1946 markings/sec, 1635 secs
lola: 4255964 markings, 13837421 edges, 1990 markings/sec, 1640 secs
lola: 4265831 markings, 13866985 edges, 1973 markings/sec, 1645 secs
lola: 4275393 markings, 13893838 edges, 1912 markings/sec, 1650 secs
lola: 4285420 markings, 13930293 edges, 2005 markings/sec, 1655 secs
lola: 4308683 markings, 14014291 edges, 4653 markings/sec, 1660 secs
lola: 4319754 markings, 14045158 edges, 2214 markings/sec, 1665 secs
lola: 4328988 markings, 14077722 edges, 1847 markings/sec, 1670 secs
lola: 4339999 markings, 14119676 edges, 2202 markings/sec, 1675 secs
lola: 4351189 markings, 14160940 edges, 2238 markings/sec, 1680 secs
lola: 4360638 markings, 14189114 edges, 1890 markings/sec, 1685 secs
lola: 4370953 markings, 14220598 edges, 2063 markings/sec, 1690 secs
lola: 4381795 markings, 14256587 edges, 2168 markings/sec, 1695 secs
lola: 4403636 markings, 14334074 edges, 4368 markings/sec, 1700 secs
lola: 4415107 markings, 14369038 edges, 2294 markings/sec, 1705 secs
lola: 4424733 markings, 14406280 edges, 1925 markings/sec, 1710 secs
lola: 4434986 markings, 14445466 edges, 2051 markings/sec, 1715 secs
lola: 4443932 markings, 14474577 edges, 1789 markings/sec, 1720 secs
lola: 4455148 markings, 14506714 edges, 2243 markings/sec, 1725 secs
lola: 4465689 markings, 14543375 edges, 2108 markings/sec, 1730 secs
lola: 4488066 markings, 14621915 edges, 4475 markings/sec, 1735 secs
lola: 4498152 markings, 14650747 edges, 2017 markings/sec, 1740 secs
lola: 4508811 markings, 14691796 edges, 2132 markings/sec, 1745 secs
lola: 4518805 markings, 14729916 edges, 1999 markings/sec, 1750 secs
lola: 4528077 markings, 14760627 edges, 1854 markings/sec, 1755 secs
lola: 4539136 markings, 14792271 edges, 2212 markings/sec, 1760 secs
lola: 4549601 markings, 14827792 edges, 2093 markings/sec, 1765 secs
lola: 4570646 markings, 14901796 edges, 4209 markings/sec, 1770 secs
lola: 4581766 markings, 14936163 edges, 2224 markings/sec, 1775 secs
lola: 4592473 markings, 14976962 edges, 2141 markings/sec, 1780 secs
lola: 4602010 markings, 15013880 edges, 1907 markings/sec, 1785 secs
lola: 4612369 markings, 15045355 edges, 2072 markings/sec, 1790 secs
lola: 4622720 markings, 15077499 edges, 2070 markings/sec, 1795 secs
lola: 4643193 markings, 15151014 edges, 4095 markings/sec, 1800 secs
lola: 4654087 markings, 15181504 edges, 2179 markings/sec, 1805 secs
lola: 4664581 markings, 15220740 edges, 2099 markings/sec, 1810 secs
lola: 4674682 markings, 15259227 edges, 2020 markings/sec, 1815 secs
lola: 4683929 markings, 15289869 edges, 1849 markings/sec, 1820 secs
lola: 4695126 markings, 15323123 edges, 2239 markings/sec, 1825 secs
lola: 4715022 markings, 15395026 edges, 3979 markings/sec, 1830 secs
lola: 4726077 markings, 15425876 edges, 2211 markings/sec, 1835 secs
lola: 4736554 markings, 15465239 edges, 2095 markings/sec, 1840 secs
lola: 4746707 markings, 15503907 edges, 2031 markings/sec, 1845 secs
lola: 4756760 markings, 15535880 edges, 2011 markings/sec, 1850 secs
lola: 4767217 markings, 15568444 edges, 2091 markings/sec, 1855 secs
lola: 4786884 markings, 15635958 edges, 3933 markings/sec, 1860 secs
lola: 4797479 markings, 15668936 edges, 2119 markings/sec, 1865 secs
lola: 4807914 markings, 15708653 edges, 2087 markings/sec, 1870 secs
lola: 4818298 markings, 15746253 edges, 2077 markings/sec, 1875 secs
lola: 4828195 markings, 15774671 edges, 1979 markings/sec, 1880 secs
lola: 4847173 markings, 15842950 edges, 3796 markings/sec, 1885 secs
lola: 4858267 markings, 15873954 edges, 2219 markings/sec, 1890 secs
lola: 4869319 markings, 15915886 edges, 2210 markings/sec, 1895 secs
lola: 4879994 markings, 15955590 edges, 2135 markings/sec, 1900 secs
lola: 4889882 markings, 15984062 edges, 1978 markings/sec, 1905 secs
lola: 4909622 markings, 16052579 edges, 3948 markings/sec, 1910 secs
lola: 4919829 markings, 16083377 edges, 2041 markings/sec, 1915 secs
lola: 4929701 markings, 16120962 edges, 1974 markings/sec, 1920 secs
lola: 4939438 markings, 16156395 edges, 1947 markings/sec, 1925 secs
lola: 4948631 markings, 16182777 edges, 1839 markings/sec, 1930 secs
lola: 4967246 markings, 16247033 edges, 3723 markings/sec, 1935 secs
lola: 4977556 markings, 16279740 edges, 2062 markings/sec, 1940 secs
lola: 4988938 markings, 16323115 edges, 2276 markings/sec, 1945 secs
lola: 4999734 markings, 16358255 edges, 2159 markings/sec, 1950 secs
lola: 5016980 markings, 16417460 edges, 3449 markings/sec, 1955 secs
lola: 5028575 markings, 16451674 edges, 2319 markings/sec, 1960 secs
lola: 5038602 markings, 16489852 edges, 2005 markings/sec, 1965 secs
lola: 5049664 markings, 16527707 edges, 2212 markings/sec, 1970 secs
lola: 5066367 markings, 16584094 edges, 3341 markings/sec, 1975 secs
lola: 5077970 markings, 16618932 edges, 2321 markings/sec, 1980 secs
lola: 5088346 markings, 16658422 edges, 2075 markings/sec, 1985 secs
lola: 5099527 markings, 16695147 edges, 2236 markings/sec, 1990 secs
lola: 5117601 markings, 16755415 edges, 3615 markings/sec, 1995 secs
lola: 5127216 markings, 16784426 edges, 1923 markings/sec, 2000 secs
lola: 5137393 markings, 16811557 edges, 2035 markings/sec, 2005 secs
lola: 5147841 markings, 16834333 edges, 2090 markings/sec, 2010 secs
lola: 5159259 markings, 16867257 edges, 2284 markings/sec, 2015 secs
lola: 5171307 markings, 16908262 edges, 2410 markings/sec, 2020 secs
lola: 5183051 markings, 16949843 edges, 2349 markings/sec, 2025 secs
lola: 5194660 markings, 16991691 edges, 2322 markings/sec, 2030 secs
lola: 5206961 markings, 17034864 edges, 2460 markings/sec, 2035 secs
lola: 5218971 markings, 17069784 edges, 2402 markings/sec, 2040 secs
lola: 5237512 markings, 17129906 edges, 3708 markings/sec, 2045 secs
lola: 5260587 markings, 17214363 edges, 4615 markings/sec, 2050 secs
lola: 5271624 markings, 17247021 edges, 2207 markings/sec, 2055 secs
lola: 5282465 markings, 17278047 edges, 2168 markings/sec, 2060 secs
lola: 5292976 markings, 17318169 edges, 2102 markings/sec, 2065 secs
lola: 5304054 markings, 17360201 edges, 2216 markings/sec, 2070 secs
lola: 5314248 markings, 17399815 edges, 2039 markings/sec, 2075 secs
lola: 5323099 markings, 17433341 edges, 1770 markings/sec, 2080 secs
lola: 5335798 markings, 17479483 edges, 2540 markings/sec, 2085 secs
lola: 5344749 markings, 17506505 edges, 1790 markings/sec, 2090 secs
lola: 5355043 markings, 17534999 edges, 2059 markings/sec, 2095 secs
lola: 5365991 markings, 17573760 edges, 2190 markings/sec, 2100 secs
lola: 5375393 markings, 17609441 edges, 1880 markings/sec, 2105 secs
lola: 5386479 markings, 17646151 edges, 2217 markings/sec, 2110 secs
lola: 5409325 markings, 17729071 edges, 4569 markings/sec, 2115 secs
lola: 5423002 markings, 17770524 edges, 2735 markings/sec, 2120 secs
lola: 5432912 markings, 17793250 edges, 1982 markings/sec, 2125 secs
lola: 5442585 markings, 17815753 edges, 1935 markings/sec, 2130 secs
lola: 5452236 markings, 17838030 edges, 1930 markings/sec, 2135 secs
lola: 5462025 markings, 17864864 edges, 1958 markings/sec, 2140 secs
lola: 5474388 markings, 17902641 edges, 2473 markings/sec, 2145 secs
lola: 5485908 markings, 17942781 edges, 2304 markings/sec, 2150 secs
lola: 5496903 markings, 17981124 edges, 2199 markings/sec, 2155 secs
lola: 5508879 markings, 18023987 edges, 2395 markings/sec, 2160 secs
lola: 5519643 markings, 18065821 edges, 2153 markings/sec, 2165 secs
lola: 5531032 markings, 18105464 edges, 2278 markings/sec, 2170 secs
lola: 5542127 markings, 18143066 edges, 2219 markings/sec, 2175 secs
lola: 5552627 markings, 18181415 edges, 2100 markings/sec, 2180 secs
lola: 5563868 markings, 18224542 edges, 2248 markings/sec, 2185 secs
lola: 5575812 markings, 18263944 edges, 2389 markings/sec, 2190 secs
lola: 5586781 markings, 18303195 edges, 2194 markings/sec, 2195 secs
lola: 5598008 markings, 18346318 edges, 2245 markings/sec, 2200 secs
lola: 5612441 markings, 18393834 edges, 2887 markings/sec, 2205 secs
lola: 5622234 markings, 18431994 edges, 1959 markings/sec, 2210 secs
lola: 5632149 markings, 18462694 edges, 1983 markings/sec, 2215 secs
lola: 5645234 markings, 18502554 edges, 2617 markings/sec, 2220 secs
lola: 5655229 markings, 18541444 edges, 1999 markings/sec, 2225 secs
lola: 5664859 markings, 18578002 edges, 1926 markings/sec, 2230 secs
lola: 5677374 markings, 18625695 edges, 2503 markings/sec, 2235 secs
lola: 5686725 markings, 18662122 edges, 1870 markings/sec, 2240 secs
lola: 5696702 markings, 18694865 edges, 1995 markings/sec, 2245 secs
lola: 5707245 markings, 18726087 edges, 2109 markings/sec, 2250 secs
lola: 5718433 markings, 18760562 edges, 2238 markings/sec, 2255 secs
lola: 5729777 markings, 18803259 edges, 2269 markings/sec, 2260 secs
lola: 5739797 markings, 18838236 edges, 2004 markings/sec, 2265 secs
lola: 5761474 markings, 18915112 edges, 4335 markings/sec, 2270 secs
lola: 5776104 markings, 18963322 edges, 2926 markings/sec, 2275 secs
lola: 5789034 markings, 19003701 edges, 2586 markings/sec, 2280 secs
lola: 5799439 markings, 19044052 edges, 2081 markings/sec, 2285 secs
lola: 5808250 markings, 19077438 edges, 1762 markings/sec, 2290 secs
lola: 5820832 markings, 19125404 edges, 2516 markings/sec, 2295 secs
lola: 5830878 markings, 19164445 edges, 2009 markings/sec, 2300 secs
lola: 5839696 markings, 19191457 edges, 1764 markings/sec, 2305 secs
lola: 5851101 markings, 19224305 edges, 2281 markings/sec, 2310 secs
lola: 5862625 markings, 19263457 edges, 2305 markings/sec, 2315 secs
lola: 5872768 markings, 19301929 edges, 2029 markings/sec, 2320 secs
lola: 5882835 markings, 19333206 edges, 2013 markings/sec, 2325 secs
lola: 5909835 markings, 19430618 edges, 5400 markings/sec, 2330 secs
lola: 5919879 markings, 19459596 edges, 2009 markings/sec, 2335 secs
lola: 5928551 markings, 19490380 edges, 1734 markings/sec, 2340 secs
lola: 5940760 markings, 19536890 edges, 2442 markings/sec, 2345 secs
lola: 5950401 markings, 19574342 edges, 1928 markings/sec, 2350 secs
lola: 5959122 markings, 19607395 edges, 1744 markings/sec, 2355 secs
lola: 5971320 markings, 19651234 edges, 2440 markings/sec, 2360 secs
lola: 5981113 markings, 19680551 edges, 1959 markings/sec, 2365 secs
lola: 5991435 markings, 19710146 edges, 2064 markings/sec, 2370 secs
lola: 6002830 markings, 19752994 edges, 2279 markings/sec, 2375 secs
lola: 6012826 markings, 19787253 edges, 1999 markings/sec, 2380 secs
lola: 6035079 markings, 19868419 edges, 4451 markings/sec, 2385 secs
lola: 6047037 markings, 19904305 edges, 2392 markings/sec, 2390 secs
lola: 6057526 markings, 19938316 edges, 2098 markings/sec, 2395 secs
lola: 6068599 markings, 19980637 edges, 2215 markings/sec, 2400 secs
lola: 6079137 markings, 20021363 edges, 2108 markings/sec, 2405 secs
lola: 6088550 markings, 20057084 edges, 1883 markings/sec, 2410 secs
lola: 6100740 markings, 20101053 edges, 2438 markings/sec, 2415 secs
lola: 6110637 markings, 20130625 edges, 1979 markings/sec, 2420 secs
lola: 6121554 markings, 20163382 edges, 2183 markings/sec, 2425 secs
lola: 6131938 markings, 20202301 edges, 2077 markings/sec, 2430 secs
lola: 6144466 markings, 20243370 edges, 2506 markings/sec, 2435 secs
lola: 6168062 markings, 20327591 edges, 4719 markings/sec, 2440 secs
lola: 6180034 markings, 20363207 edges, 2394 markings/sec, 2445 secs
lola: 6190303 markings, 20403096 edges, 2054 markings/sec, 2450 secs
lola: 6199846 markings, 20439430 edges, 1909 markings/sec, 2455 secs
lola: 6211330 markings, 20483148 edges, 2297 markings/sec, 2460 secs
lola: 6222240 markings, 20524243 edges, 2182 markings/sec, 2465 secs
lola: 6232552 markings, 20555126 edges, 2062 markings/sec, 2470 secs
lola: 6242793 markings, 20584444 edges, 2048 markings/sec, 2475 secs
lola: 6253550 markings, 20624726 edges, 2151 markings/sec, 2480 secs
lola: 6267348 markings, 20671112 edges, 2760 markings/sec, 2485 secs
lola: 6288422 markings, 20745273 edges, 4215 markings/sec, 2490 secs
lola: 6300574 markings, 20782689 edges, 2430 markings/sec, 2495 secs
lola: 6310739 markings, 20822015 edges, 2033 markings/sec, 2500 secs
lola: 6321658 markings, 20863757 edges, 2184 markings/sec, 2505 secs
lola: 6330995 markings, 20899157 edges, 1867 markings/sec, 2510 secs
lola: 6342886 markings, 20941494 edges, 2378 markings/sec, 2515 secs
lola: 6352840 markings, 20971008 edges, 1991 markings/sec, 2520 secs
lola: 6363917 markings, 21006413 edges, 2215 markings/sec, 2525 secs
lola: 6374310 markings, 21044001 edges, 2079 markings/sec, 2530 secs
lola: 6398809 markings, 21130607 edges, 4900 markings/sec, 2535 secs
lola: 6409544 markings, 21161417 edges, 2147 markings/sec, 2540 secs
lola: 6420413 markings, 21201441 edges, 2174 markings/sec, 2545 secs
lola: 6430039 markings, 21238012 edges, 1925 markings/sec, 2550 secs
lola: 6441795 markings, 21282835 edges, 2351 markings/sec, 2555 secs
lola: 6452668 markings, 21323625 edges, 2175 markings/sec, 2560 secs
lola: 6462894 markings, 21354080 edges, 2045 markings/sec, 2565 secs
lola: 6473606 markings, 21387101 edges, 2142 markings/sec, 2570 secs
lola: 6484007 markings, 21424570 edges, 2080 markings/sec, 2575 secs
lola: 6508129 markings, 21509175 edges, 4824 markings/sec, 2580 secs
lola: 6518295 markings, 21538279 edges, 2033 markings/sec, 2585 secs
lola: 6529365 markings, 21579887 edges, 2214 markings/sec, 2590 secs
lola: 6539206 markings, 21617380 edges, 1968 markings/sec, 2595 secs
lola: 6549709 markings, 21657353 edges, 2101 markings/sec, 2600 secs
lola: 6561210 markings, 21698711 edges, 2300 markings/sec, 2605 secs
lola: 6570998 markings, 21727626 edges, 1958 markings/sec, 2610 secs
lola: 6582214 markings, 21764520 edges, 2243 markings/sec, 2615 secs
lola: 6595493 markings, 21809784 edges, 2656 markings/sec, 2620 secs
lola: 6614198 markings, 21874821 edges, 3741 markings/sec, 2625 secs
lola: 6625833 markings, 21912003 edges, 2327 markings/sec, 2630 secs
lola: 6637357 markings, 21955911 edges, 2305 markings/sec, 2635 secs
lola: 6648495 markings, 21998375 edges, 2228 markings/sec, 2640 secs
lola: 6658298 markings, 22036327 edges, 1961 markings/sec, 2645 secs
lola: 6669001 markings, 22068818 edges, 2141 markings/sec, 2650 secs
lola: 6679503 markings, 22100979 edges, 2100 markings/sec, 2655 secs
lola: 6692082 markings, 22144150 edges, 2516 markings/sec, 2660 secs
lola: 6711313 markings, 22211208 edges, 3846 markings/sec, 2665 secs
lola: 6722808 markings, 22248106 edges, 2299 markings/sec, 2670 secs
lola: 6734059 markings, 22291033 edges, 2250 markings/sec, 2675 secs
lola: 6745242 markings, 22333633 edges, 2237 markings/sec, 2680 secs
lola: 6755823 markings, 22373238 edges, 2116 markings/sec, 2685 secs
lola: 6765887 markings, 22403035 edges, 2013 markings/sec, 2690 secs
lola: 6776575 markings, 22437848 edges, 2138 markings/sec, 2695 secs
lola: 6797552 markings, 22513692 edges, 4195 markings/sec, 2700 secs
lola: 6809024 markings, 22545717 edges, 2294 markings/sec, 2705 secs
lola: 6820029 markings, 22587183 edges, 2201 markings/sec, 2710 secs
lola: 6830749 markings, 22628061 edges, 2144 markings/sec, 2715 secs
lola: 6841062 markings, 22667343 edges, 2063 markings/sec, 2720 secs
lola: 6851232 markings, 22700795 edges, 2034 markings/sec, 2725 secs
lola: 6862440 markings, 22734476 edges, 2242 markings/sec, 2730 secs
lola: 6880644 markings, 22799701 edges, 3641 markings/sec, 2735 secs
lola: 6894668 markings, 22842464 edges, 2805 markings/sec, 2740 secs
lola: 6905638 markings, 22883274 edges, 2194 markings/sec, 2745 secs
lola: 6916291 markings, 22923874 edges, 2131 markings/sec, 2750 secs
lola: 6926792 markings, 22963957 edges, 2100 markings/sec, 2755 secs
lola: 6937242 markings, 22997156 edges, 2090 markings/sec, 2760 secs
lola: 6948285 markings, 23031903 edges, 2209 markings/sec, 2765 secs
lola: 6968661 markings, 23102660 edges, 4075 markings/sec, 2770 secs
lola: 6979000 markings, 23133941 edges, 2068 markings/sec, 2775 secs
lola: 6989001 markings, 23172014 edges, 2000 markings/sec, 2780 secs
lola: 6998062 markings, 23206962 edges, 1812 markings/sec, 2785 secs
lola: 7008517 markings, 23246831 edges, 2091 markings/sec, 2790 secs
lola: 7019065 markings, 23278300 edges, 2110 markings/sec, 2795 secs
lola: 7031815 markings, 23319607 edges, 2550 markings/sec, 2800 secs
lola: 7050350 markings, 23381903 edges, 3707 markings/sec, 2805 secs
lola: 7060541 markings, 23418027 edges, 2038 markings/sec, 2810 secs
lola: 7070272 markings, 23455075 edges, 1946 markings/sec, 2815 secs
lola: 7079678 markings, 23490888 edges, 1881 markings/sec, 2820 secs
lola: 7089385 markings, 23523510 edges, 1941 markings/sec, 2825 secs
lola: 7100505 markings, 23557946 edges, 2224 markings/sec, 2830 secs
lola: 7118781 markings, 23620284 edges, 3655 markings/sec, 2835 secs
lola: 7130475 markings, 23659010 edges, 2339 markings/sec, 2840 secs
lola: 7141585 markings, 23701371 edges, 2222 markings/sec, 2845 secs
lola: 7152280 markings, 23742110 edges, 2139 markings/sec, 2850 secs
lola: 7162374 markings, 23773490 edges, 2019 markings/sec, 2855 secs
lola: 7175153 markings, 23815208 edges, 2556 markings/sec, 2860 secs
lola: 7190376 markings, 23864913 edges, 3045 markings/sec, 2865 secs
lola: 7200345 markings, 23901299 edges, 1994 markings/sec, 2870 secs
lola: 7210755 markings, 23940681 edges, 2082 markings/sec, 2875 secs
lola: 7220761 markings, 23978201 edges, 2001 markings/sec, 2880 secs
lola: 7230057 markings, 24005020 edges, 1859 markings/sec, 2885 secs
lola: 7247736 markings, 24066267 edges, 3536 markings/sec, 2890 secs
lola: 7257924 markings, 24097782 edges, 2038 markings/sec, 2895 secs
lola: 7268433 markings, 24137798 edges, 2102 markings/sec, 2900 secs
lola: 7279372 markings, 24179482 edges, 2188 markings/sec, 2905 secs
lola: 7289857 markings, 24212345 edges, 2097 markings/sec, 2910 secs
lola: 7307476 markings, 24271896 edges, 3524 markings/sec, 2915 secs
lola: 7317785 markings, 24304576 edges, 2062 markings/sec, 2920 secs
lola: 7329458 markings, 24349046 edges, 2335 markings/sec, 2925 secs
lola: 7339965 markings, 24388385 edges, 2101 markings/sec, 2930 secs
lola: 7350424 markings, 24419348 edges, 2092 markings/sec, 2935 secs
lola: 7367269 markings, 24476249 edges, 3369 markings/sec, 2940 secs
lola: 7377177 markings, 24505965 edges, 1982 markings/sec, 2945 secs
lola: 7386511 markings, 24531822 edges, 1867 markings/sec, 2950 secs
lola: 7395828 markings, 24553137 edges, 1863 markings/sec, 2955 secs
lola: 7406723 markings, 24579482 edges, 2179 markings/sec, 2960 secs
lola: 7418315 markings, 24616968 edges, 2318 markings/sec, 2965 secs
lola: 7430004 markings, 24657491 edges, 2338 markings/sec, 2970 secs
lola: 7441456 markings, 24698785 edges, 2290 markings/sec, 2975 secs
lola: 7453233 markings, 24740179 edges, 2355 markings/sec, 2980 secs
lola: 7465391 markings, 24781314 edges, 2432 markings/sec, 2985 secs
lola: 7477003 markings, 24822890 edges, 2322 markings/sec, 2990 secs
lola: 7488167 markings, 24862623 edges, 2233 markings/sec, 2995 secs
lola: 7498999 markings, 24893352 edges, 2166 markings/sec, 3000 secs
lola: 7511406 markings, 24929513 edges, 2481 markings/sec, 3005 secs
lola: 7538999 markings, 25033073 edges, 5519 markings/sec, 3010 secs
lola: 7550768 markings, 25071470 edges, 2354 markings/sec, 3015 secs
lola: 7561445 markings, 25101676 edges, 2135 markings/sec, 3020 secs
lola: 7573586 markings, 25140556 edges, 2428 markings/sec, 3025 secs
lola: 7584426 markings, 25182632 edges, 2168 markings/sec, 3030 secs
lola: 7594135 markings, 25219596 edges, 1942 markings/sec, 3035 secs
lola: 7605951 markings, 25264486 edges, 2363 markings/sec, 3040 secs
lola: 7614959 markings, 25299535 edges, 1802 markings/sec, 3045 secs
lola: 7624293 markings, 25334907 edges, 1867 markings/sec, 3050 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 50 1 50 1 50 50 1 1 50 unknown 1 50 1 50 1
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: 1 50 1 50 1 50 50 1 1 50 unknown 1 50 1 50 1

lola:
preliminary result: 1 50 1 50 1 50 50 1 1 50 unknown 1 50 1 50 1
lola: memory consumption: 325092 KB
lola: time consumption: 3571 seconds
lola: memory consumption: 325092 KB
lola: time consumption: 3571 seconds

BK_STOP 1552407911056

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

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