fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r028-ebro-152646306100135
Last Updated
June 26, 2018

About the Execution of LoLA for BridgeAndVehicles-COL-V20P10N20

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
487.950 3569559.00 3658496.00 459.80 ? 20 1 20 20 1 20 1 1 10 10 1 1 ? 1 1 normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...................
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 122 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 360 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 4.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_pt
-rw-r--r-- 1 mcc users 10 May 15 18:49 instance
-rw-r--r-- 1 mcc users 5 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 40K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BridgeAndVehicles-COL-V20P10N20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306100135
=====================================================================


--------------------
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-V20P10N20-UpperBounds-00
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-UpperBounds-01
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-UpperBounds-02
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-UpperBounds-03
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-UpperBounds-04
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-UpperBounds-05
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-UpperBounds-06
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-UpperBounds-07
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-UpperBounds-08
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-UpperBounds-09
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V20P10N20-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1526522578867

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-COL-V20P10N20 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-COL-V20P10N20 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-COL-V20P10N20 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1046/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2496
lola: finding significant places
lola: 78 places, 968 transitions, 71 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1133 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V20P10N20-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (p71 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p72 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p71 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p72 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p71 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p72 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p71 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p72 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(p76) : MAX(p0) : MAX(0) : MAX(p0) : MAX(p46) : MAX(p73 + p74) : MAX(p0) : MAX(p47 + p48) : MAX(p47 + p48) : MAX(p51) : MAX(p24) : MAX(0) : MAX(0) : MAX(p2) : MAX(p49 + p50) : MAX(0)
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-V20P10N20-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-V20P10N20-UpperBounds-2 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-V20P10N20-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-V20P10N20-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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-V20P10N20-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-V20P10N20-UpperBounds-12 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-V20P10N20-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-V20P10N20-UpperBounds-15 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(p46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p46)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N20-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: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges
lola: ========================================

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

FORMULA BridgeAndVehicles-COL-V20P10N20-UpperBounds-6 20 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(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-V20P10N20-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 31 markings, 30 edges
lola: ========================================

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

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

FORMULA BridgeAndVehicles-COL-V20P10N20-UpperBounds-1 20 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(p76)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p76)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N20-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 32101 markings, 66979 edges, 6420 markings/sec, 30 secs
lola: 52213 markings, 118671 edges, 4022 markings/sec, 35 secs
lola: 71337 markings, 166345 edges, 3825 markings/sec, 40 secs
lola: 89635 markings, 209004 edges, 3660 markings/sec, 45 secs
lola: 103206 markings, 243283 edges, 2714 markings/sec, 50 secs
lola: 121226 markings, 294008 edges, 3604 markings/sec, 55 secs
lola: 137959 markings, 340766 edges, 3347 markings/sec, 60 secs
lola: 153710 markings, 384384 edges, 3150 markings/sec, 65 secs
lola: 171058 markings, 430776 edges, 3470 markings/sec, 70 secs
lola: 186090 markings, 471606 edges, 3006 markings/sec, 75 secs
lola: 200154 markings, 508250 edges, 2813 markings/sec, 80 secs
lola: 217771 markings, 559593 edges, 3523 markings/sec, 85 secs
lola: 232841 markings, 601460 edges, 3014 markings/sec, 90 secs
lola: 246758 markings, 641429 edges, 2783 markings/sec, 95 secs
lola: 262670 markings, 686248 edges, 3182 markings/sec, 100 secs
lola: 278633 markings, 731264 edges, 3193 markings/sec, 105 secs
lola: 293964 markings, 772467 edges, 3066 markings/sec, 110 secs
lola: 307940 markings, 809213 edges, 2795 markings/sec, 115 secs
lola: 323387 markings, 850195 edges, 3089 markings/sec, 120 secs
lola: 339252 markings, 894987 edges, 3173 markings/sec, 125 secs
lola: 354452 markings, 939262 edges, 3040 markings/sec, 130 secs
lola: 369379 markings, 983071 edges, 2985 markings/sec, 135 secs
lola: 384039 markings, 1026381 edges, 2932 markings/sec, 140 secs
lola: 399683 markings, 1072983 edges, 3129 markings/sec, 145 secs
lola: 414057 markings, 1112974 edges, 2875 markings/sec, 150 secs
lola: 429544 markings, 1156959 edges, 3097 markings/sec, 155 secs
lola: 444079 markings, 1196212 edges, 2907 markings/sec, 160 secs
lola: 457783 markings, 1232195 edges, 2741 markings/sec, 165 secs
lola: 473273 markings, 1272832 edges, 3098 markings/sec, 170 secs
lola: 487594 markings, 1312049 edges, 2864 markings/sec, 175 secs
lola: 503046 markings, 1356268 edges, 3090 markings/sec, 180 secs
lola: 518388 markings, 1401913 edges, 3068 markings/sec, 185 secs
lola: 532802 markings, 1446511 edges, 2883 markings/sec, 190 secs
lola: 545663 markings, 1484456 edges, 2572 markings/sec, 195 secs
lola: 560213 markings, 1527009 edges, 2910 markings/sec, 200 secs
lola: 576116 markings, 1572975 edges, 3181 markings/sec, 205 secs
lola: 590339 markings, 1612857 edges, 2845 markings/sec, 210 secs
lola: 604938 markings, 1655251 edges, 2920 markings/sec, 215 secs
lola: 619040 markings, 1694423 edges, 2820 markings/sec, 220 secs
lola: 633479 markings, 1733291 edges, 2888 markings/sec, 225 secs
lola: 647688 markings, 1768015 edges, 2842 markings/sec, 230 secs
lola: 662402 markings, 1809409 edges, 2943 markings/sec, 235 secs
lola: 677351 markings, 1850146 edges, 2990 markings/sec, 240 secs
lola: 693369 markings, 1896623 edges, 3204 markings/sec, 245 secs
lola: 706237 markings, 1933584 edges, 2574 markings/sec, 250 secs
lola: 721499 markings, 1978338 edges, 3052 markings/sec, 255 secs
lola: 733894 markings, 2017797 edges, 2479 markings/sec, 260 secs
lola: 748786 markings, 2060633 edges, 2978 markings/sec, 265 secs
lola: 763425 markings, 2103143 edges, 2928 markings/sec, 270 secs
lola: 777845 markings, 2145563 edges, 2884 markings/sec, 275 secs
lola: 792025 markings, 2187333 edges, 2836 markings/sec, 280 secs
lola: 805975 markings, 2228314 edges, 2790 markings/sec, 285 secs
lola: 819531 markings, 2268571 edges, 2711 markings/sec, 290 secs
lola: 833982 markings, 2309142 edges, 2890 markings/sec, 295 secs
lola: 848429 markings, 2348734 edges, 2889 markings/sec, 300 secs
lola: 862416 markings, 2387233 edges, 2797 markings/sec, 305 secs
lola: 878324 markings, 2425117 edges, 3182 markings/sec, 310 secs
lola: 894090 markings, 2468697 edges, 3153 markings/sec, 315 secs
lola: 908233 markings, 2509668 edges, 2829 markings/sec, 320 secs
lola: 922436 markings, 2548143 edges, 2841 markings/sec, 325 secs
lola: 938565 markings, 2592456 edges, 3226 markings/sec, 330 secs
lola: 951103 markings, 2632494 edges, 2508 markings/sec, 335 secs
lola: 966489 markings, 2676159 edges, 3077 markings/sec, 340 secs
lola: 979074 markings, 2717292 edges, 2517 markings/sec, 345 secs
lola: 994149 markings, 2760304 edges, 3015 markings/sec, 350 secs
lola: 1008825 markings, 2804683 edges, 2935 markings/sec, 355 secs
lola: 1021384 markings, 2843515 edges, 2512 markings/sec, 360 secs
lola: 1035924 markings, 2885570 edges, 2908 markings/sec, 365 secs
lola: 1050219 markings, 2927364 edges, 2859 markings/sec, 370 secs
lola: 1064292 markings, 2968716 edges, 2815 markings/sec, 375 secs
lola: 1078943 markings, 3011561 edges, 2930 markings/sec, 380 secs
lola: 1092763 markings, 3050222 edges, 2764 markings/sec, 385 secs
lola: 1107116 markings, 3090253 edges, 2871 markings/sec, 390 secs
lola: 1121359 markings, 3127682 edges, 2849 markings/sec, 395 secs
lola: 1136978 markings, 3164779 edges, 3124 markings/sec, 400 secs
lola: 1152353 markings, 3208799 edges, 3075 markings/sec, 405 secs
lola: 1167552 markings, 3251302 edges, 3040 markings/sec, 410 secs
lola: 1182095 markings, 3291942 edges, 2909 markings/sec, 415 secs
lola: 1196271 markings, 3331136 edges, 2835 markings/sec, 420 secs
lola: 1210084 markings, 3369004 edges, 2763 markings/sec, 425 secs
lola: 1225801 markings, 3412777 edges, 3143 markings/sec, 430 secs
lola: 1238340 markings, 3453756 edges, 2508 markings/sec, 435 secs
lola: 1253733 markings, 3497379 edges, 3079 markings/sec, 440 secs
lola: 1266270 markings, 3537925 edges, 2507 markings/sec, 445 secs
lola: 1281354 markings, 3580708 edges, 3017 markings/sec, 450 secs
lola: 1293895 markings, 3621558 edges, 2508 markings/sec, 455 secs
lola: 1308682 markings, 3663762 edges, 2957 markings/sec, 460 secs
lola: 1323029 markings, 3707027 edges, 2869 markings/sec, 465 secs
lola: 1335718 markings, 3746235 edges, 2538 markings/sec, 470 secs
lola: 1350010 markings, 3787647 edges, 2858 markings/sec, 475 secs
lola: 1364070 markings, 3828558 edges, 2812 markings/sec, 480 secs
lola: 1377911 markings, 3869167 edges, 2768 markings/sec, 485 secs
lola: 1392297 markings, 3910241 edges, 2877 markings/sec, 490 secs
lola: 1406199 markings, 3949833 edges, 2780 markings/sec, 495 secs
lola: 1420186 markings, 3987724 edges, 2797 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 20 1 unknown 20 unknown 20 unknown unknown 10 10 1 1 unknown unknown 1
lola: memory consumption: 74544 KB
lola: time consumption: 510 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(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N20-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 57206 markings, 94839 edges, 11441 markings/sec, 30 secs
lola: 79733 markings, 139717 edges, 4505 markings/sec, 35 secs
lola: 103997 markings, 190707 edges, 4853 markings/sec, 40 secs
lola: 125753 markings, 242091 edges, 4351 markings/sec, 45 secs
lola: 145812 markings, 280140 edges, 4012 markings/sec, 50 secs
lola: 162126 markings, 321048 edges, 3263 markings/sec, 55 secs
lola: 180694 markings, 366228 edges, 3714 markings/sec, 60 secs
lola: 198639 markings, 407921 edges, 3589 markings/sec, 65 secs
lola: 215670 markings, 448474 edges, 3406 markings/sec, 70 secs
lola: 239704 markings, 498493 edges, 4807 markings/sec, 75 secs
lola: 254674 markings, 534142 edges, 2994 markings/sec, 80 secs
lola: 270167 markings, 572901 edges, 3099 markings/sec, 85 secs
lola: 284161 markings, 610759 edges, 2799 markings/sec, 90 secs
lola: 300024 markings, 652540 edges, 3173 markings/sec, 95 secs
lola: 315387 markings, 691429 edges, 3073 markings/sec, 100 secs
lola: 330643 markings, 729872 edges, 3051 markings/sec, 105 secs
lola: 346952 markings, 774143 edges, 3262 markings/sec, 110 secs
lola: 370175 markings, 818713 edges, 4645 markings/sec, 115 secs
lola: 386973 markings, 858673 edges, 3360 markings/sec, 120 secs
lola: 400363 markings, 891257 edges, 2678 markings/sec, 125 secs
lola: 414897 markings, 929746 edges, 2907 markings/sec, 130 secs
lola: 428871 markings, 967350 edges, 2795 markings/sec, 135 secs
lola: 442304 markings, 1004211 edges, 2687 markings/sec, 140 secs
lola: 455252 markings, 1040287 edges, 2590 markings/sec, 145 secs
lola: 470202 markings, 1079012 edges, 2990 markings/sec, 150 secs
lola: 483624 markings, 1115466 edges, 2684 markings/sec, 155 secs
lola: 498369 markings, 1152933 edges, 2949 markings/sec, 160 secs
lola: 518968 markings, 1199819 edges, 4120 markings/sec, 165 secs
lola: 540106 markings, 1244753 edges, 4228 markings/sec, 170 secs
lola: 555627 markings, 1283552 edges, 3104 markings/sec, 175 secs
lola: 569698 markings, 1319207 edges, 2814 markings/sec, 180 secs
lola: 581821 markings, 1351035 edges, 2425 markings/sec, 185 secs
lola: 596490 markings, 1389715 edges, 2934 markings/sec, 190 secs
lola: 609769 markings, 1427393 edges, 2656 markings/sec, 195 secs
lola: 621852 markings, 1464088 edges, 2417 markings/sec, 200 secs
lola: 634421 markings, 1498089 edges, 2514 markings/sec, 205 secs
lola: 648850 markings, 1536057 edges, 2886 markings/sec, 210 secs
lola: 661799 markings, 1571018 edges, 2590 markings/sec, 215 secs
lola: 675316 markings, 1607522 edges, 2703 markings/sec, 220 secs
lola: 688974 markings, 1644103 edges, 2732 markings/sec, 225 secs
lola: 704449 markings, 1685839 edges, 3095 markings/sec, 230 secs
lola: 729868 markings, 1734344 edges, 5084 markings/sec, 235 secs
lola: 747215 markings, 1776592 edges, 3469 markings/sec, 240 secs
lola: 763791 markings, 1817121 edges, 3315 markings/sec, 245 secs
lola: 779133 markings, 1855059 edges, 3068 markings/sec, 250 secs
lola: 793484 markings, 1889136 edges, 2870 markings/sec, 255 secs
lola: 803244 markings, 1921048 edges, 1952 markings/sec, 260 secs
lola: 818079 markings, 1960276 edges, 2967 markings/sec, 265 secs
lola: 830454 markings, 1997774 edges, 2475 markings/sec, 270 secs
lola: 841840 markings, 2029644 edges, 2277 markings/sec, 275 secs
lola: 855509 markings, 2066921 edges, 2734 markings/sec, 280 secs
lola: 868685 markings, 2103513 edges, 2635 markings/sec, 285 secs
lola: 881484 markings, 2139540 edges, 2560 markings/sec, 290 secs
lola: 893820 markings, 2174881 edges, 2467 markings/sec, 295 secs
lola: 907540 markings, 2211878 edges, 2744 markings/sec, 300 secs
lola: 920973 markings, 2248052 edges, 2687 markings/sec, 305 secs
lola: 933686 markings, 2283268 edges, 2543 markings/sec, 310 secs
lola: 959997 markings, 2335004 edges, 5262 markings/sec, 315 secs
lola: 981155 markings, 2383506 edges, 4232 markings/sec, 320 secs
lola: 997890 markings, 2425190 edges, 3347 markings/sec, 325 secs
lola: 1014015 markings, 2465307 edges, 3225 markings/sec, 330 secs
lola: 1029024 markings, 2503048 edges, 3002 markings/sec, 335 secs
lola: 1043581 markings, 2539695 edges, 2911 markings/sec, 340 secs
lola: 1056778 markings, 2572922 edges, 2639 markings/sec, 345 secs
lola: 1066557 markings, 2605083 edges, 1956 markings/sec, 350 secs
lola: 1081578 markings, 2644636 edges, 3004 markings/sec, 355 secs
lola: 1091363 markings, 2676684 edges, 1957 markings/sec, 360 secs
lola: 1105868 markings, 2715648 edges, 2901 markings/sec, 365 secs
lola: 1119007 markings, 2753032 edges, 2628 markings/sec, 370 secs
lola: 1129521 markings, 2785376 edges, 2103 markings/sec, 375 secs
lola: 1142906 markings, 2822566 edges, 2677 markings/sec, 380 secs
lola: 1155800 markings, 2858800 edges, 2579 markings/sec, 385 secs
lola: 1168009 markings, 2893616 edges, 2442 markings/sec, 390 secs
lola: 1181061 markings, 2930691 edges, 2610 markings/sec, 395 secs
lola: 1194000 markings, 2966155 edges, 2588 markings/sec, 400 secs
lola: 1206950 markings, 3000173 edges, 2590 markings/sec, 405 secs
lola: 1222316 markings, 3041944 edges, 3073 markings/sec, 410 secs
lola: 1250336 markings, 3094009 edges, 5604 markings/sec, 415 secs
lola: 1268263 markings, 3138161 edges, 3585 markings/sec, 420 secs
lola: 1285661 markings, 3180574 edges, 3480 markings/sec, 425 secs
lola: 1302748 markings, 3222081 edges, 3417 markings/sec, 430 secs
lola: 1317786 markings, 3260324 edges, 3008 markings/sec, 435 secs
lola: 1332358 markings, 3297868 edges, 2914 markings/sec, 440 secs
lola: 1346539 markings, 3334264 edges, 2836 markings/sec, 445 secs
lola: 1361110 markings, 3369509 edges, 2914 markings/sec, 450 secs
lola: 1372643 markings, 3402601 edges, 2307 markings/sec, 455 secs
lola: 1382244 markings, 3434202 edges, 1920 markings/sec, 460 secs
lola: 1397361 markings, 3473889 edges, 3023 markings/sec, 465 secs
lola: 1406944 markings, 3505265 edges, 1917 markings/sec, 470 secs
lola: 1421321 markings, 3543672 edges, 2875 markings/sec, 475 secs
lola: 1431011 markings, 3575450 edges, 1938 markings/sec, 480 secs
lola: 1445017 markings, 3613567 edges, 2801 markings/sec, 485 secs
lola: 1457944 markings, 3649072 edges, 2585 markings/sec, 490 secs
lola: 1467466 markings, 3680064 edges, 1904 markings/sec, 495 secs
lola: 1480136 markings, 3715444 edges, 2534 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 20 1 unknown 20 unknown 20 unknown unknown 10 10 1 1 unknown unknown 1
lola: memory consumption: 75796 KB
lola: time consumption: 1019 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 510 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N20-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: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V20P10N20-UpperBounds-3 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 637 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p73 + p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p73 + p74)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N20-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-V20P10N20-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 850 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p47 + p48)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p47 + p48)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N20-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-V20P10N20-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p49 + p50)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p49 + p50)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N20-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-V20P10N20-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2550 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p47 + p48)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p47 + p48)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N20-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-V20P10N20-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p76)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p76)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N20-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 32049 markings, 66849 edges, 6410 markings/sec, 30 secs
lola: 52208 markings, 118661 edges, 4032 markings/sec, 35 secs
lola: 71564 markings, 166750 edges, 3871 markings/sec, 40 secs
lola: 90069 markings, 210008 edges, 3701 markings/sec, 45 secs
lola: 103834 markings, 245384 edges, 2753 markings/sec, 50 secs
lola: 121940 markings, 295666 edges, 3621 markings/sec, 55 secs
lola: 138854 markings, 342839 edges, 3383 markings/sec, 60 secs
lola: 156278 markings, 391402 edges, 3485 markings/sec, 65 secs
lola: 172205 markings, 433837 edges, 3185 markings/sec, 70 secs
lola: 187308 markings, 473937 edges, 3021 markings/sec, 75 secs
lola: 204210 markings, 520489 edges, 3380 markings/sec, 80 secs
lola: 219859 markings, 564678 edges, 3130 markings/sec, 85 secs
lola: 234600 markings, 605927 edges, 2948 markings/sec, 90 secs
lola: 250864 markings, 653799 edges, 3253 markings/sec, 95 secs
lola: 266425 markings, 697699 edges, 3112 markings/sec, 100 secs
lola: 281481 markings, 739158 edges, 3011 markings/sec, 105 secs
lola: 297501 markings, 781615 edges, 3204 markings/sec, 110 secs
lola: 312120 markings, 818208 edges, 2924 markings/sec, 115 secs
lola: 326670 markings, 859695 edges, 2910 markings/sec, 120 secs
lola: 342089 markings, 904276 edges, 3084 markings/sec, 125 secs
lola: 357346 markings, 948713 edges, 3051 markings/sec, 130 secs
lola: 372328 markings, 992754 edges, 2996 markings/sec, 135 secs
lola: 387023 markings, 1036165 edges, 2939 markings/sec, 140 secs
lola: 403116 markings, 1081198 edges, 3219 markings/sec, 145 secs
lola: 418176 markings, 1124675 edges, 3012 markings/sec, 150 secs
lola: 432822 markings, 1165668 edges, 2929 markings/sec, 155 secs
lola: 448145 markings, 1206652 edges, 3065 markings/sec, 160 secs
lola: 462997 markings, 1242977 edges, 2970 markings/sec, 165 secs
lola: 477989 markings, 1285236 edges, 2998 markings/sec, 170 secs
lola: 494356 markings, 1332586 edges, 3273 markings/sec, 175 secs
lola: 507222 markings, 1370061 edges, 2573 markings/sec, 180 secs
lola: 522390 markings, 1413706 edges, 3034 markings/sec, 185 secs
lola: 537339 markings, 1457326 edges, 2990 markings/sec, 190 secs
lola: 551879 markings, 1501151 edges, 2908 markings/sec, 195 secs
lola: 566327 markings, 1543287 edges, 2890 markings/sec, 200 secs
lola: 580514 markings, 1584593 edges, 2837 markings/sec, 205 secs
lola: 595161 markings, 1628283 edges, 2929 markings/sec, 210 secs
lola: 609139 markings, 1667392 edges, 2796 markings/sec, 215 secs
lola: 624014 markings, 1708309 edges, 2975 markings/sec, 220 secs
lola: 638606 markings, 1747447 edges, 2918 markings/sec, 225 secs
lola: 653541 markings, 1784481 edges, 2987 markings/sec, 230 secs
lola: 668994 markings, 1827376 edges, 3091 markings/sec, 235 secs
lola: 683140 markings, 1866796 edges, 2829 markings/sec, 240 secs
lola: 699115 markings, 1910440 edges, 3195 markings/sec, 245 secs
lola: 711692 markings, 1951446 edges, 2515 markings/sec, 250 secs
lola: 727012 markings, 1995292 edges, 3064 markings/sec, 255 secs
lola: 742133 markings, 2040169 edges, 3024 markings/sec, 260 secs
lola: 756419 markings, 2084916 edges, 2857 markings/sec, 265 secs
lola: 769352 markings, 2122324 edges, 2587 markings/sec, 270 secs
lola: 783637 markings, 2164091 edges, 2857 markings/sec, 275 secs
lola: 797950 markings, 2206183 edges, 2863 markings/sec, 280 secs
lola: 813152 markings, 2249624 edges, 3040 markings/sec, 285 secs
lola: 827014 markings, 2289551 edges, 2772 markings/sec, 290 secs
lola: 841811 markings, 2330653 edges, 2959 markings/sec, 295 secs
lola: 856088 markings, 2368793 edges, 2855 markings/sec, 300 secs
lola: 870605 markings, 2403940 edges, 2903 markings/sec, 305 secs
lola: 886007 markings, 2447215 edges, 3080 markings/sec, 310 secs
lola: 901192 markings, 2489211 edges, 3037 markings/sec, 315 secs
lola: 915679 markings, 2528897 edges, 2897 markings/sec, 320 secs
lola: 931687 markings, 2575763 edges, 3202 markings/sec, 325 secs
lola: 944839 markings, 2612042 edges, 2630 markings/sec, 330 secs
lola: 959713 markings, 2659570 edges, 2975 markings/sec, 335 secs
lola: 972728 markings, 2696598 edges, 2603 markings/sec, 340 secs
lola: 987798 markings, 2741790 edges, 3014 markings/sec, 345 secs
lola: 1000275 markings, 2780380 edges, 2495 markings/sec, 350 secs
lola: 1014903 markings, 2822330 edges, 2926 markings/sec, 355 secs
lola: 1029403 markings, 2864714 edges, 2900 markings/sec, 360 secs
lola: 1043488 markings, 2907463 edges, 2817 markings/sec, 365 secs
lola: 1057486 markings, 2948704 edges, 2800 markings/sec, 370 secs
lola: 1071316 markings, 2988381 edges, 2766 markings/sec, 375 secs
lola: 1084828 markings, 3027789 edges, 2702 markings/sec, 380 secs
lola: 1099122 markings, 3067939 edges, 2859 markings/sec, 385 secs
lola: 1112920 markings, 3105709 edges, 2760 markings/sec, 390 secs
lola: 1126202 markings, 3141600 edges, 2656 markings/sec, 395 secs
lola: 1142591 markings, 3181098 edges, 3278 markings/sec, 400 secs
lola: 1158005 markings, 3223986 edges, 3083 markings/sec, 405 secs
lola: 1172847 markings, 3265466 edges, 2968 markings/sec, 410 secs
lola: 1187150 markings, 3305599 edges, 2861 markings/sec, 415 secs
lola: 1200944 markings, 3344899 edges, 2759 markings/sec, 420 secs
lola: 1217062 markings, 3390146 edges, 3224 markings/sec, 425 secs
lola: 1230160 markings, 3426971 edges, 2620 markings/sec, 430 secs
lola: 1242461 markings, 3467354 edges, 2460 markings/sec, 435 secs
lola: 1257904 markings, 3510690 edges, 3089 markings/sec, 440 secs
lola: 1270488 markings, 3551859 edges, 2517 markings/sec, 445 secs
lola: 1285513 markings, 3594225 edges, 3005 markings/sec, 450 secs
lola: 1299976 markings, 3639278 edges, 2893 markings/sec, 455 secs
lola: 1312909 markings, 3677567 edges, 2587 markings/sec, 460 secs
lola: 1327496 markings, 3719515 edges, 2917 markings/sec, 465 secs
lola: 1341659 markings, 3762220 edges, 2833 markings/sec, 470 secs
lola: 1355570 markings, 3804405 edges, 2782 markings/sec, 475 secs
lola: 1369484 markings, 3844973 edges, 2783 markings/sec, 480 secs
lola: 1383291 markings, 3884018 edges, 2761 markings/sec, 485 secs
lola: 1396949 markings, 3923470 edges, 2732 markings/sec, 490 secs
lola: 1410993 markings, 3962852 edges, 2809 markings/sec, 495 secs
lola: 1425225 markings, 4000760 edges, 2846 markings/sec, 500 secs
lola: 1438797 markings, 4034137 edges, 2714 markings/sec, 505 secs
lola: 1456617 markings, 4080167 edges, 3564 markings/sec, 510 secs
lola: 1472016 markings, 4123545 edges, 3080 markings/sec, 515 secs
lola: 1486847 markings, 4165312 edges, 2966 markings/sec, 520 secs
lola: 1501192 markings, 4205816 edges, 2869 markings/sec, 525 secs
lola: 1515290 markings, 4245365 edges, 2820 markings/sec, 530 secs
lola: 1529048 markings, 4283479 edges, 2752 markings/sec, 535 secs
lola: 1542632 markings, 4320875 edges, 2717 markings/sec, 540 secs
lola: 1558362 markings, 4364163 edges, 3146 markings/sec, 545 secs
lola: 1570485 markings, 4403931 edges, 2425 markings/sec, 550 secs
lola: 1585259 markings, 4449036 edges, 2955 markings/sec, 555 secs
lola: 1597938 markings, 4486008 edges, 2536 markings/sec, 560 secs
lola: 1612481 markings, 4533123 edges, 2909 markings/sec, 565 secs
lola: 1625671 markings, 4569724 edges, 2638 markings/sec, 570 secs
lola: 1639724 markings, 4614902 edges, 2811 markings/sec, 575 secs
lola: 1652664 markings, 4651273 edges, 2588 markings/sec, 580 secs
lola: 1667036 markings, 4694592 edges, 2874 markings/sec, 585 secs
lola: 1679811 markings, 4733700 edges, 2555 markings/sec, 590 secs
lola: 1694152 markings, 4774921 edges, 2868 markings/sec, 595 secs
lola: 1708269 markings, 4815916 edges, 2823 markings/sec, 600 secs
lola: 1721953 markings, 4856722 edges, 2737 markings/sec, 605 secs
lola: 1735684 markings, 4896117 edges, 2746 markings/sec, 610 secs
lola: 1749212 markings, 4935946 edges, 2706 markings/sec, 615 secs
lola: 1762991 markings, 4974214 edges, 2756 markings/sec, 620 secs
lola: 1776662 markings, 5011637 edges, 2734 markings/sec, 625 secs
lola: 1791235 markings, 5049582 edges, 2915 markings/sec, 630 secs
lola: 1810988 markings, 5091101 edges, 3951 markings/sec, 635 secs
lola: 1825667 markings, 5132459 edges, 2936 markings/sec, 640 secs
lola: 1840305 markings, 5174011 edges, 2928 markings/sec, 645 secs
lola: 1854657 markings, 5214897 edges, 2870 markings/sec, 650 secs
lola: 1868945 markings, 5255357 edges, 2858 markings/sec, 655 secs
lola: 1883212 markings, 5294318 edges, 2853 markings/sec, 660 secs
lola: 1896906 markings, 5332947 edges, 2739 markings/sec, 665 secs
lola: 1910497 markings, 5370815 edges, 2718 markings/sec, 670 secs
lola: 1923630 markings, 5406694 edges, 2627 markings/sec, 675 secs
lola: 1939828 markings, 5450893 edges, 3240 markings/sec, 680 secs
lola: 1955179 markings, 5491881 edges, 3070 markings/sec, 685 secs
lola: 1967584 markings, 5532609 edges, 2481 markings/sec, 690 secs
lola: 1985671 markings, 5577635 edges, 3617 markings/sec, 695 secs
lola: 1998100 markings, 5618300 edges, 2486 markings/sec, 700 secs
lola: 2015457 markings, 5662308 edges, 3471 markings/sec, 705 secs
lola: 2027865 markings, 5702770 edges, 2482 markings/sec, 710 secs
lola: 2044747 markings, 5746534 edges, 3376 markings/sec, 715 secs
lola: 2057146 markings, 5786849 edges, 2480 markings/sec, 720 secs
lola: 2073457 markings, 5829798 edges, 3262 markings/sec, 725 secs
lola: 2087514 markings, 5871189 edges, 2811 markings/sec, 730 secs
lola: 2101303 markings, 5911049 edges, 2758 markings/sec, 735 secs
lola: 2116733 markings, 5952969 edges, 3086 markings/sec, 740 secs
lola: 2131630 markings, 5994008 edges, 2979 markings/sec, 745 secs
lola: 2146267 markings, 6034919 edges, 2927 markings/sec, 750 secs
lola: 2161970 markings, 6075478 edges, 3141 markings/sec, 755 secs
lola: 2176499 markings, 6114507 edges, 2906 markings/sec, 760 secs
lola: 2191116 markings, 6152136 edges, 2923 markings/sec, 765 secs
lola: 2209604 markings, 6195033 edges, 3698 markings/sec, 770 secs
lola: 2225729 markings, 6238533 edges, 3225 markings/sec, 775 secs
lola: 2240831 markings, 6281357 edges, 3020 markings/sec, 780 secs
lola: 2255532 markings, 6323341 edges, 2940 markings/sec, 785 secs
lola: 2269948 markings, 6364513 edges, 2883 markings/sec, 790 secs
lola: 2284647 markings, 6405241 edges, 2940 markings/sec, 795 secs
lola: 2298392 markings, 6444455 edges, 2749 markings/sec, 800 secs
lola: 2312109 markings, 6483648 edges, 2743 markings/sec, 805 secs
lola: 2325947 markings, 6522735 edges, 2768 markings/sec, 810 secs
lola: 2339818 markings, 6560500 edges, 2774 markings/sec, 815 secs
lola: 2353226 markings, 6597956 edges, 2682 markings/sec, 820 secs
lola: 2366656 markings, 6634349 edges, 2686 markings/sec, 825 secs
lola: 2382620 markings, 6678835 edges, 3193 markings/sec, 830 secs
lola: 2396933 markings, 6721977 edges, 2863 markings/sec, 835 secs
lola: 2409364 markings, 6762610 edges, 2486 markings/sec, 840 secs
lola: 2426248 markings, 6810553 edges, 3377 markings/sec, 845 secs
lola: 2438789 markings, 6851444 edges, 2508 markings/sec, 850 secs
lola: 2453341 markings, 6898499 edges, 2910 markings/sec, 855 secs
lola: 2467812 markings, 6939453 edges, 2894 markings/sec, 860 secs
lola: 2480087 markings, 6979593 edges, 2455 markings/sec, 865 secs
lola: 2495742 markings, 7024409 edges, 3131 markings/sec, 870 secs
lola: 2508284 markings, 7065247 edges, 2508 markings/sec, 875 secs
lola: 2523867 markings, 7110261 edges, 3117 markings/sec, 880 secs
lola: 2537615 markings, 7153899 edges, 2750 markings/sec, 885 secs
lola: 2551042 markings, 7193183 edges, 2685 markings/sec, 890 secs
lola: 2565886 markings, 7236631 edges, 2969 markings/sec, 895 secs
lola: 2579671 markings, 7278133 edges, 2757 markings/sec, 900 secs
lola: 2593832 markings, 7320414 edges, 2832 markings/sec, 905 secs
lola: 2607793 markings, 7360943 edges, 2792 markings/sec, 910 secs
lola: 2621765 markings, 7401823 edges, 2794 markings/sec, 915 secs
lola: 2635994 markings, 7442050 edges, 2846 markings/sec, 920 secs
lola: 2650463 markings, 7480688 edges, 2894 markings/sec, 925 secs
lola: 2669948 markings, 7524857 edges, 3897 markings/sec, 930 secs
lola: 2686095 markings, 7568779 edges, 3229 markings/sec, 935 secs
lola: 2701371 markings, 7612118 edges, 3055 markings/sec, 940 secs
lola: 2716230 markings, 7654483 edges, 2972 markings/sec, 945 secs
lola: 2731077 markings, 7696912 edges, 2969 markings/sec, 950 secs
lola: 2745490 markings, 7737087 edges, 2883 markings/sec, 955 secs
lola: 2759597 markings, 7777731 edges, 2821 markings/sec, 960 secs
lola: 2774122 markings, 7818019 edges, 2905 markings/sec, 965 secs
lola: 2787958 markings, 7857663 edges, 2767 markings/sec, 970 secs
lola: 2801836 markings, 7897492 edges, 2776 markings/sec, 975 secs
lola: 2815926 markings, 7936112 edges, 2818 markings/sec, 980 secs
lola: 2829569 markings, 7974846 edges, 2729 markings/sec, 985 secs
lola: 2843246 markings, 8013208 edges, 2735 markings/sec, 990 secs
lola: 2857368 markings, 8051346 edges, 2824 markings/sec, 995 secs
lola: 2871051 markings, 8088775 edges, 2737 markings/sec, 1000 secs
lola: 2888362 markings, 8137458 edges, 3462 markings/sec, 1005 secs
lola: 2900729 markings, 8178012 edges, 2473 markings/sec, 1010 secs
lola: 2913144 markings, 8218660 edges, 2483 markings/sec, 1015 secs
lola: 2929907 markings, 8266188 edges, 3353 markings/sec, 1020 secs
lola: 2942260 markings, 8306598 edges, 2471 markings/sec, 1025 secs
lola: 2956767 markings, 8352608 edges, 2901 markings/sec, 1030 secs
lola: 2970793 markings, 8393067 edges, 2805 markings/sec, 1035 secs
lola: 2983218 markings, 8433590 edges, 2485 markings/sec, 1040 secs
lola: 2999012 markings, 8478963 edges, 3159 markings/sec, 1045 secs
lola: 3011385 markings, 8519216 edges, 2475 markings/sec, 1050 secs
lola: 3026602 markings, 8563229 edges, 3043 markings/sec, 1055 secs
lola: 3038593 markings, 8602138 edges, 2398 markings/sec, 1060 secs
lola: 3053672 markings, 8646005 edges, 3016 markings/sec, 1065 secs
lola: 3067379 markings, 8689438 edges, 2741 markings/sec, 1070 secs
lola: 3080978 markings, 8729686 edges, 2720 markings/sec, 1075 secs
lola: 3095408 markings, 8772150 edges, 2886 markings/sec, 1080 secs
lola: 3109541 markings, 8813925 edges, 2827 markings/sec, 1085 secs
lola: 3123037 markings, 8853818 edges, 2699 markings/sec, 1090 secs
lola: 3136939 markings, 8894102 edges, 2780 markings/sec, 1095 secs
lola: 3150694 markings, 8932535 edges, 2751 markings/sec, 1100 secs
lola: 3164617 markings, 8970402 edges, 2785 markings/sec, 1105 secs
lola: 3184926 markings, 9014736 edges, 4062 markings/sec, 1110 secs
lola: 3200678 markings, 9057786 edges, 3150 markings/sec, 1115 secs
lola: 3215955 markings, 9101031 edges, 3055 markings/sec, 1120 secs
lola: 3230671 markings, 9142891 edges, 2943 markings/sec, 1125 secs
lola: 3245404 markings, 9183576 edges, 2947 markings/sec, 1130 secs
lola: 3259684 markings, 9224905 edges, 2856 markings/sec, 1135 secs
lola: 3273818 markings, 9265228 edges, 2827 markings/sec, 1140 secs
lola: 3288138 markings, 9305675 edges, 2864 markings/sec, 1145 secs
lola: 3302121 markings, 9346004 edges, 2797 markings/sec, 1150 secs
lola: 3316452 markings, 9385999 edges, 2866 markings/sec, 1155 secs
lola: 3330147 markings, 9425455 edges, 2739 markings/sec, 1160 secs
lola: 3344229 markings, 9464527 edges, 2816 markings/sec, 1165 secs
lola: 3357818 markings, 9503546 edges, 2718 markings/sec, 1170 secs
lola: 3371690 markings, 9541614 edges, 2774 markings/sec, 1175 secs
lola: 3385593 markings, 9580332 edges, 2781 markings/sec, 1180 secs
lola: 3399205 markings, 9618385 edges, 2722 markings/sec, 1185 secs
lola: 3412750 markings, 9656125 edges, 2709 markings/sec, 1190 secs
lola: 3426195 markings, 9692718 edges, 2689 markings/sec, 1195 secs
lola: 3443599 markings, 9741800 edges, 3481 markings/sec, 1200 secs
lola: 3456027 markings, 9782628 edges, 2486 markings/sec, 1205 secs
lola: 3468131 markings, 9822193 edges, 2421 markings/sec, 1210 secs
lola: 3485004 markings, 9870385 edges, 3375 markings/sec, 1215 secs
lola: 3497476 markings, 9910981 edges, 2494 markings/sec, 1220 secs
lola: 3509902 markings, 9951673 edges, 2485 markings/sec, 1225 secs
lola: 3526292 markings, 9998663 edges, 3278 markings/sec, 1230 secs
lola: 3538737 markings, 10039287 edges, 2489 markings/sec, 1235 secs
lola: 3553088 markings, 10084992 edges, 2870 markings/sec, 1240 secs
lola: 3567124 markings, 10125697 edges, 2807 markings/sec, 1245 secs
lola: 3579643 markings, 10166442 edges, 2504 markings/sec, 1250 secs
lola: 3595080 markings, 10211181 edges, 3087 markings/sec, 1255 secs
lola: 3607452 markings, 10251337 edges, 2474 markings/sec, 1260 secs
lola: 3622223 markings, 10294301 edges, 2954 markings/sec, 1265 secs
lola: 3635657 markings, 10336160 edges, 2687 markings/sec, 1270 secs
lola: 3649082 markings, 10376669 edges, 2685 markings/sec, 1275 secs
lola: 3663440 markings, 10418898 edges, 2872 markings/sec, 1280 secs
lola: 3677522 markings, 10460594 edges, 2816 markings/sec, 1285 secs
lola: 3691347 markings, 10501637 edges, 2765 markings/sec, 1290 secs
lola: 3704872 markings, 10541729 edges, 2705 markings/sec, 1295 secs
lola: 3718901 markings, 10581436 edges, 2806 markings/sec, 1300 secs
lola: 3733076 markings, 10619605 edges, 2835 markings/sec, 1305 secs
lola: 3753897 markings, 10665960 edges, 4164 markings/sec, 1310 secs
lola: 3769762 markings, 10707342 edges, 3173 markings/sec, 1315 secs
lola: 3784950 markings, 10750197 edges, 3038 markings/sec, 1320 secs
lola: 3800213 markings, 10793203 edges, 3053 markings/sec, 1325 secs
lola: 3815389 markings, 10835077 edges, 3035 markings/sec, 1330 secs
lola: 3829719 markings, 10876072 edges, 2866 markings/sec, 1335 secs
lola: 3844687 markings, 10917988 edges, 2994 markings/sec, 1340 secs
lola: 3858619 markings, 10958331 edges, 2786 markings/sec, 1345 secs
lola: 3873103 markings, 10998970 edges, 2897 markings/sec, 1350 secs
lola: 3886788 markings, 11038719 edges, 2737 markings/sec, 1355 secs
lola: 3901090 markings, 11078761 edges, 2860 markings/sec, 1360 secs
lola: 3914935 markings, 11118970 edges, 2769 markings/sec, 1365 secs
lola: 3928998 markings, 11158162 edges, 2813 markings/sec, 1370 secs
lola: 3942717 markings, 11197821 edges, 2744 markings/sec, 1375 secs
lola: 3956683 markings, 11236673 edges, 2793 markings/sec, 1380 secs
lola: 3970549 markings, 11276282 edges, 2773 markings/sec, 1385 secs
lola: 3985023 markings, 11315026 edges, 2895 markings/sec, 1390 secs
lola: 3998816 markings, 11354519 edges, 2759 markings/sec, 1395 secs
lola: 4012570 markings, 11393798 edges, 2751 markings/sec, 1400 secs
lola: 4026201 markings, 11431548 edges, 2726 markings/sec, 1405 secs
lola: 4039635 markings, 11469025 edges, 2687 markings/sec, 1410 secs
lola: 4055550 markings, 11513964 edges, 3183 markings/sec, 1415 secs
lola: 4069844 markings, 11557250 edges, 2859 markings/sec, 1420 secs
lola: 4082394 markings, 11598316 edges, 2510 markings/sec, 1425 secs
lola: 4094964 markings, 11639574 edges, 2514 markings/sec, 1430 secs
lola: 4111757 markings, 11687348 edges, 3359 markings/sec, 1435 secs
lola: 4124238 markings, 11728204 edges, 2496 markings/sec, 1440 secs
lola: 4136799 markings, 11769358 edges, 2512 markings/sec, 1445 secs
lola: 4153009 markings, 11815765 edges, 3242 markings/sec, 1450 secs
lola: 4165484 markings, 11856486 edges, 2495 markings/sec, 1455 secs
lola: 4179954 markings, 11901607 edges, 2894 markings/sec, 1460 secs
lola: 4193800 markings, 11942848 edges, 2769 markings/sec, 1465 secs
lola: 4206312 markings, 11983675 edges, 2502 markings/sec, 1470 secs
lola: 4221690 markings, 12028268 edges, 3076 markings/sec, 1475 secs
lola: 4234202 markings, 12068901 edges, 2502 markings/sec, 1480 secs
lola: 4249206 markings, 12112794 edges, 3001 markings/sec, 1485 secs
lola: 4262605 markings, 12156019 edges, 2680 markings/sec, 1490 secs
lola: 4276381 markings, 12196266 edges, 2755 markings/sec, 1495 secs
lola: 4290590 markings, 12238195 edges, 2842 markings/sec, 1500 secs
lola: 4304074 markings, 12279457 edges, 2697 markings/sec, 1505 secs
lola: 4317896 markings, 12320836 edges, 2764 markings/sec, 1510 secs
lola: 4331963 markings, 12361451 edges, 2813 markings/sec, 1515 secs
lola: 4345576 markings, 12401831 edges, 2723 markings/sec, 1520 secs
lola: 4359289 markings, 12439635 edges, 2743 markings/sec, 1525 secs
lola: 4378163 markings, 12484889 edges, 3775 markings/sec, 1530 secs
lola: 4395968 markings, 12524774 edges, 3561 markings/sec, 1535 secs
lola: 4412240 markings, 12569368 edges, 3254 markings/sec, 1540 secs
lola: 4427378 markings, 12612303 edges, 3028 markings/sec, 1545 secs
lola: 4441978 markings, 12653709 edges, 2920 markings/sec, 1550 secs
lola: 4457335 markings, 12695972 edges, 3071 markings/sec, 1555 secs
lola: 4471545 markings, 12736796 edges, 2842 markings/sec, 1560 secs
lola: 4486439 markings, 12778006 edges, 2979 markings/sec, 1565 secs
lola: 4500365 markings, 12818353 edges, 2785 markings/sec, 1570 secs
lola: 4514942 markings, 12859334 edges, 2915 markings/sec, 1575 secs
lola: 4528835 markings, 12899763 edges, 2779 markings/sec, 1580 secs
lola: 4543132 markings, 12940013 edges, 2859 markings/sec, 1585 secs
lola: 4557019 markings, 12980491 edges, 2777 markings/sec, 1590 secs
lola: 4571078 markings, 13020022 edges, 2812 markings/sec, 1595 secs
lola: 4585003 markings, 13060019 edges, 2785 markings/sec, 1600 secs
lola: 4598804 markings, 13099183 edges, 2760 markings/sec, 1605 secs
lola: 4612776 markings, 13138233 edges, 2794 markings/sec, 1610 secs
lola: 4626370 markings, 13176872 edges, 2719 markings/sec, 1615 secs
lola: 4640865 markings, 13216116 edges, 2899 markings/sec, 1620 secs
lola: 4654613 markings, 13255942 edges, 2750 markings/sec, 1625 secs
lola: 4668540 markings, 13295249 edges, 2785 markings/sec, 1630 secs
lola: 4681985 markings, 13334391 edges, 2689 markings/sec, 1635 secs
lola: 4695563 markings, 13373481 edges, 2716 markings/sec, 1640 secs
lola: 4709078 markings, 13410934 edges, 2703 markings/sec, 1645 secs
lola: 4722458 markings, 13448441 edges, 2676 markings/sec, 1650 secs
lola: 4738265 markings, 13493362 edges, 3161 markings/sec, 1655 secs
lola: 4752790 markings, 13535508 edges, 2905 markings/sec, 1660 secs
lola: 4765246 markings, 13576444 edges, 2491 markings/sec, 1665 secs
lola: 4777788 markings, 13617469 edges, 2508 markings/sec, 1670 secs
lola: 4794605 markings, 13665715 edges, 3363 markings/sec, 1675 secs
lola: 4806908 markings, 13706009 edges, 2461 markings/sec, 1680 secs
lola: 4819317 markings, 13746637 edges, 2482 markings/sec, 1685 secs
lola: 4834066 markings, 13791253 edges, 2950 markings/sec, 1690 secs
lola: 4847745 markings, 13833120 edges, 2736 markings/sec, 1695 secs
lola: 4860124 markings, 13873627 edges, 2476 markings/sec, 1700 secs
lola: 4875643 markings, 13918514 edges, 3104 markings/sec, 1705 secs
lola: 4887587 markings, 13957454 edges, 2389 markings/sec, 1710 secs
lola: 4899654 markings, 13996703 edges, 2413 markings/sec, 1715 secs
lola: 4914783 markings, 14040784 edges, 3026 markings/sec, 1720 secs
lola: 4927116 markings, 14080838 edges, 2467 markings/sec, 1725 secs
lola: 4942055 markings, 14124557 edges, 2988 markings/sec, 1730 secs
lola: 4954456 markings, 14164759 edges, 2480 markings/sec, 1735 secs
lola: 4968734 markings, 14206711 edges, 2856 markings/sec, 1740 secs
lola: 4982369 markings, 14248389 edges, 2727 markings/sec, 1745 secs
lola: 4995467 markings, 14289076 edges, 2620 markings/sec, 1750 secs
lola: 5009430 markings, 14330501 edges, 2793 markings/sec, 1755 secs
lola: 5023137 markings, 14371240 edges, 2741 markings/sec, 1760 secs
lola: 5037238 markings, 14411691 edges, 2820 markings/sec, 1765 secs
lola: 5051065 markings, 14451091 edges, 2765 markings/sec, 1770 secs
lola: 5064681 markings, 14488747 edges, 2723 markings/sec, 1775 secs
lola: 5088728 markings, 14540004 edges, 4809 markings/sec, 1780 secs
lola: 5104263 markings, 14580350 edges, 3107 markings/sec, 1785 secs
lola: 5119583 markings, 14623636 edges, 3064 markings/sec, 1790 secs
lola: 5135224 markings, 14666496 edges, 3128 markings/sec, 1795 secs
lola: 5149787 markings, 14707826 edges, 2913 markings/sec, 1800 secs
lola: 5164210 markings, 14749144 edges, 2885 markings/sec, 1805 secs
lola: 5179020 markings, 14790095 edges, 2962 markings/sec, 1810 secs
lola: 5193188 markings, 14830883 edges, 2834 markings/sec, 1815 secs
lola: 5207735 markings, 14871369 edges, 2909 markings/sec, 1820 secs
lola: 5222206 markings, 14911437 edges, 2894 markings/sec, 1825 secs
lola: 5235939 markings, 14951522 edges, 2747 markings/sec, 1830 secs
lola: 5250235 markings, 14991883 edges, 2859 markings/sec, 1835 secs
lola: 5263966 markings, 15031801 edges, 2746 markings/sec, 1840 secs
lola: 5278106 markings, 15071901 edges, 2828 markings/sec, 1845 secs
lola: 5292183 markings, 15111553 edges, 2815 markings/sec, 1850 secs
lola: 5305828 markings, 15151448 edges, 2729 markings/sec, 1855 secs
lola: 5319605 markings, 15190236 edges, 2755 markings/sec, 1860 secs
lola: 5333163 markings, 15229624 edges, 2712 markings/sec, 1865 secs
lola: 5347629 markings, 15269057 edges, 2893 markings/sec, 1870 secs
lola: 5362178 markings, 15308754 edges, 2910 markings/sec, 1875 secs
lola: 5375764 markings, 15348710 edges, 2717 markings/sec, 1880 secs
lola: 5389710 markings, 15388570 edges, 2789 markings/sec, 1885 secs
lola: 5403188 markings, 15428213 edges, 2696 markings/sec, 1890 secs
lola: 5416937 markings, 15467365 edges, 2750 markings/sec, 1895 secs
lola: 5430382 markings, 15506647 edges, 2689 markings/sec, 1900 secs
lola: 5443989 markings, 15544722 edges, 2721 markings/sec, 1905 secs
lola: 5457233 markings, 15582739 edges, 2649 markings/sec, 1910 secs
lola: 5470350 markings, 15620217 edges, 2623 markings/sec, 1915 secs
lola: 5483778 markings, 15655288 edges, 2686 markings/sec, 1920 secs
lola: 5501099 markings, 15704510 edges, 3464 markings/sec, 1925 secs
lola: 5513391 markings, 15744715 edges, 2458 markings/sec, 1930 secs
lola: 5525798 markings, 15785477 edges, 2481 markings/sec, 1935 secs
lola: 5538371 markings, 15826661 edges, 2515 markings/sec, 1940 secs
lola: 5555079 markings, 15874676 edges, 3342 markings/sec, 1945 secs
lola: 5567297 markings, 15914681 edges, 2444 markings/sec, 1950 secs
lola: 5579702 markings, 15955290 edges, 2481 markings/sec, 1955 secs
lola: 5596004 markings, 16002618 edges, 3260 markings/sec, 1960 secs
lola: 5608395 markings, 16043010 edges, 2478 markings/sec, 1965 secs
lola: 5620973 markings, 16084086 edges, 2516 markings/sec, 1970 secs
lola: 5636791 markings, 16130321 edges, 3164 markings/sec, 1975 secs
lola: 5649203 markings, 16170742 edges, 2482 markings/sec, 1980 secs
lola: 5661780 markings, 16211710 edges, 2515 markings/sec, 1985 secs
lola: 5677075 markings, 16256475 edges, 3059 markings/sec, 1990 secs
lola: 5689604 markings, 16297190 edges, 2506 markings/sec, 1995 secs
lola: 5704551 markings, 16341213 edges, 2989 markings/sec, 2000 secs
lola: 5716766 markings, 16380804 edges, 2443 markings/sec, 2005 secs
lola: 5731160 markings, 16423379 edges, 2879 markings/sec, 2010 secs
lola: 5744437 markings, 16465498 edges, 2655 markings/sec, 2015 secs
lola: 5757571 markings, 16504902 edges, 2627 markings/sec, 2020 secs
lola: 5771351 markings, 16545915 edges, 2756 markings/sec, 2025 secs
lola: 5785082 markings, 16587047 edges, 2746 markings/sec, 2030 secs
lola: 5798595 markings, 16627453 edges, 2703 markings/sec, 2035 secs
lola: 5812508 markings, 16667328 edges, 2783 markings/sec, 2040 secs
lola: 5826320 markings, 16705393 edges, 2762 markings/sec, 2045 secs
lola: 5850494 markings, 16759313 edges, 4835 markings/sec, 2050 secs
lola: 5866568 markings, 16797591 edges, 3215 markings/sec, 2055 secs
lola: 5882957 markings, 16842161 edges, 3278 markings/sec, 2060 secs
lola: 5898171 markings, 16884926 edges, 3043 markings/sec, 2065 secs
lola: 5912741 markings, 16926441 edges, 2914 markings/sec, 2070 secs
lola: 5928022 markings, 16968544 edges, 3056 markings/sec, 2075 secs
lola: 5942175 markings, 17009141 edges, 2831 markings/sec, 2080 secs
lola: 5957038 markings, 17050326 edges, 2973 markings/sec, 2085 secs
lola: 5970931 markings, 17090332 edges, 2779 markings/sec, 2090 secs
lola: 5985486 markings, 17130835 edges, 2911 markings/sec, 2095 secs
lola: 5999324 markings, 17170748 edges, 2768 markings/sec, 2100 secs
lola: 6013609 markings, 17210612 edges, 2857 markings/sec, 2105 secs
lola: 6027964 markings, 17250728 edges, 2871 markings/sec, 2110 secs
lola: 6041631 markings, 17290617 edges, 2733 markings/sec, 2115 secs
lola: 6055709 markings, 17330444 edges, 2816 markings/sec, 2120 secs
lola: 6069826 markings, 17370304 edges, 2823 markings/sec, 2125 secs
lola: 6083460 markings, 17410356 edges, 2727 markings/sec, 2130 secs
lola: 6097353 markings, 17449608 edges, 2779 markings/sec, 2135 secs
lola: 6111199 markings, 17489480 edges, 2769 markings/sec, 2140 secs
lola: 6125440 markings, 17529337 edges, 2848 markings/sec, 2145 secs
lola: 6139908 markings, 17568953 edges, 2894 markings/sec, 2150 secs
lola: 6153735 markings, 17608756 edges, 2765 markings/sec, 2155 secs
lola: 6167635 markings, 17648924 edges, 2780 markings/sec, 2160 secs
lola: 6181537 markings, 17688894 edges, 2780 markings/sec, 2165 secs
lola: 6194937 markings, 17728641 edges, 2680 markings/sec, 2170 secs
lola: 6208656 markings, 17768071 edges, 2744 markings/sec, 2175 secs
lola: 6222090 markings, 17807716 edges, 2687 markings/sec, 2180 secs
lola: 6235734 markings, 17846572 edges, 2729 markings/sec, 2185 secs
lola: 6249120 markings, 17885788 edges, 2677 markings/sec, 2190 secs
lola: 6262665 markings, 17923759 edges, 2709 markings/sec, 2195 secs
lola: 6276003 markings, 17962397 edges, 2668 markings/sec, 2200 secs
lola: 6289496 markings, 17999314 edges, 2699 markings/sec, 2205 secs
lola: 6302787 markings, 18036585 edges, 2658 markings/sec, 2210 secs
lola: 6318501 markings, 18081512 edges, 3143 markings/sec, 2215 secs
lola: 6333148 markings, 18123090 edges, 2929 markings/sec, 2220 secs
lola: 6345503 markings, 18163516 edges, 2471 markings/sec, 2225 secs
lola: 6358051 markings, 18204753 edges, 2510 markings/sec, 2230 secs
lola: 6372843 markings, 18252532 edges, 2958 markings/sec, 2235 secs
lola: 6387157 markings, 18293770 edges, 2863 markings/sec, 2240 secs
lola: 6399439 markings, 18333999 edges, 2456 markings/sec, 2245 secs
lola: 6411904 markings, 18374843 edges, 2493 markings/sec, 2250 secs
lola: 6428087 markings, 18422084 edges, 3237 markings/sec, 2255 secs
lola: 6440235 markings, 18461725 edges, 2430 markings/sec, 2260 secs
lola: 6452626 markings, 18502188 edges, 2478 markings/sec, 2265 secs
lola: 6468017 markings, 18547241 edges, 3078 markings/sec, 2270 secs
lola: 6480314 markings, 18587349 edges, 2459 markings/sec, 2275 secs
lola: 6492860 markings, 18628241 edges, 2509 markings/sec, 2280 secs
lola: 6508136 markings, 18673302 edges, 3055 markings/sec, 2285 secs
lola: 6520543 markings, 18713609 edges, 2481 markings/sec, 2290 secs
lola: 6535371 markings, 18757535 edges, 2966 markings/sec, 2295 secs
lola: 6547786 markings, 18797795 edges, 2483 markings/sec, 2300 secs
lola: 6562370 markings, 18841270 edges, 2917 markings/sec, 2305 secs
lola: 6574819 markings, 18881372 edges, 2490 markings/sec, 2310 secs
lola: 6589029 markings, 18923887 edges, 2842 markings/sec, 2315 secs
lola: 6603002 markings, 18965854 edges, 2795 markings/sec, 2320 secs
lola: 6616155 markings, 19006999 edges, 2631 markings/sec, 2325 secs
lola: 6629764 markings, 19047127 edges, 2722 markings/sec, 2330 secs
lola: 6643316 markings, 19087192 edges, 2710 markings/sec, 2335 secs
lola: 6657029 markings, 19126426 edges, 2743 markings/sec, 2340 secs
lola: 6673092 markings, 19168163 edges, 3213 markings/sec, 2345 secs
lola: 6699000 markings, 19222312 edges, 5182 markings/sec, 2350 secs
lola: 6714402 markings, 19262650 edges, 3080 markings/sec, 2355 secs
lola: 6729553 markings, 19305441 edges, 3030 markings/sec, 2360 secs
lola: 6745397 markings, 19348859 edges, 3169 markings/sec, 2365 secs
lola: 6759819 markings, 19390090 edges, 2884 markings/sec, 2370 secs
lola: 6774575 markings, 19431729 edges, 2951 markings/sec, 2375 secs
lola: 6789136 markings, 19472735 edges, 2912 markings/sec, 2380 secs
lola: 6803731 markings, 19513382 edges, 2919 markings/sec, 2385 secs
lola: 6817775 markings, 19553626 edges, 2809 markings/sec, 2390 secs
lola: 6832272 markings, 19593902 edges, 2899 markings/sec, 2395 secs
lola: 6846040 markings, 19633623 edges, 2754 markings/sec, 2400 secs
lola: 6860423 markings, 19673899 edges, 2877 markings/sec, 2405 secs
lola: 6874752 markings, 19713828 edges, 2866 markings/sec, 2410 secs
lola: 6888430 markings, 19753594 edges, 2736 markings/sec, 2415 secs
lola: 6902528 markings, 19793022 edges, 2820 markings/sec, 2420 secs
lola: 6916632 markings, 19832603 edges, 2821 markings/sec, 2425 secs
lola: 6930244 markings, 19872455 edges, 2722 markings/sec, 2430 secs
lola: 6944156 markings, 19911806 edges, 2782 markings/sec, 2435 secs
lola: 6958184 markings, 19951592 edges, 2806 markings/sec, 2440 secs
lola: 6972108 markings, 19991558 edges, 2785 markings/sec, 2445 secs
lola: 6985993 markings, 20029881 edges, 2777 markings/sec, 2450 secs
lola: 7000156 markings, 20068843 edges, 2833 markings/sec, 2455 secs
lola: 7013677 markings, 20108909 edges, 2704 markings/sec, 2460 secs
lola: 7027548 markings, 20149137 edges, 2774 markings/sec, 2465 secs
lola: 7041507 markings, 20189693 edges, 2792 markings/sec, 2470 secs
lola: 7054962 markings, 20229664 edges, 2691 markings/sec, 2475 secs
lola: 7068737 markings, 20269570 edges, 2755 markings/sec, 2480 secs
lola: 7082242 markings, 20309700 edges, 2701 markings/sec, 2485 secs
lola: 7095906 markings, 20349024 edges, 2733 markings/sec, 2490 secs
lola: 7109593 markings, 20388295 edges, 2737 markings/sec, 2495 secs
lola: 7122992 markings, 20427736 edges, 2680 markings/sec, 2500 secs
lola: 7136628 markings, 20466521 edges, 2727 markings/sec, 2505 secs
lola: 7149991 markings, 20505623 edges, 2673 markings/sec, 2510 secs
lola: 7163507 markings, 20543511 edges, 2703 markings/sec, 2515 secs
lola: 7176829 markings, 20582159 edges, 2664 markings/sec, 2520 secs
lola: 7190264 markings, 20618901 edges, 2687 markings/sec, 2525 secs
lola: 7203532 markings, 20656369 edges, 2654 markings/sec, 2530 secs
lola: 7216914 markings, 20691728 edges, 2676 markings/sec, 2535 secs
lola: 7234048 markings, 20741668 edges, 3427 markings/sec, 2540 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 20 1 20 20 1 20 1 1 10 10 1 1 unknown 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 20 1 20 20 1 20 1 1 10 10 1 1 unknown 1 1
lola:
preliminary result: unknown 20 1 20 20 1 20 1 1 10 10 1 1 unknown 1 1
lola: memory consumption: 285764 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 20 1 20 20 1 20 1 1 10 10 1 1 unknown 1 1
lola: memory consumption: 285764 KB
lola: time consumption: 3569 seconds

BK_STOP 1526526148426

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

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-V20P10N20"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
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

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V20P10N20.tgz
mv BridgeAndVehicles-COL-V20P10N20 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is BridgeAndVehicles-COL-V20P10N20, 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 r028-ebro-152646306100135"
echo "====================================================================="
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 ;