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 220K
-rw-r--r-- 1 mcc users 4.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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 3.0K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.6K 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 3.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K 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 42K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
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 r028-ebro-152646306200198
=====================================================================

--------------------
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 1526537826540

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 @ 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: 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: MAX(p0) : MAX(p59) : MAX(p57) : MAX(p54 + p55) : MAX(p52 + p53) : MAX(p115) : MAX(p61 + p62) : MAX(p52 + p53) : MAX(p52 + p53) : MAX(p114) : MAX(p116) : MAX(p57) : MAX(p61 + p62) : MAX(p52 + p53) : MAX(p57) : MAX(p58)
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(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-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-0 50 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(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: 10525 markings, 17585 edges, 2105 markings/sec, 0 secs
lola: 21349 markings, 37050 edges, 2165 markings/sec, 5 secs
lola: 31641 markings, 54546 edges, 2058 markings/sec, 10 secs
lola: 44782 markings, 78913 edges, 2628 markings/sec, 15 secs
lola: 56855 markings, 101302 edges, 2415 markings/sec, 20 secs
lola: 66863 markings, 117733 edges, 2002 markings/sec, 25 secs
lola: 78668 markings, 139022 edges, 2361 markings/sec, 30 secs
lola: 90128 markings, 159620 edges, 2292 markings/sec, 35 secs
lola: 102609 markings, 182589 edges, 2496 markings/sec, 40 secs
lola: 113458 markings, 201616 edges, 2170 markings/sec, 45 secs
lola: 124958 markings, 221444 edges, 2300 markings/sec, 50 secs
lola: 132217 markings, 232110 edges, 1452 markings/sec, 55 secs
lola: 141741 markings, 252134 edges, 1905 markings/sec, 60 secs
lola: 149518 markings, 262934 edges, 1555 markings/sec, 65 secs
lola: 159912 markings, 281442 edges, 2079 markings/sec, 70 secs
lola: 170573 markings, 300203 edges, 2132 markings/sec, 75 secs
lola: 180174 markings, 317367 edges, 1920 markings/sec, 80 secs
lola: 190315 markings, 334397 edges, 2028 markings/sec, 85 secs
lola: 197992 markings, 345483 edges, 1535 markings/sec, 90 secs
lola: 208005 markings, 362816 edges, 2003 markings/sec, 95 secs
lola: 217328 markings, 379085 edges, 1865 markings/sec, 100 secs
lola: 226959 markings, 395624 edges, 1926 markings/sec, 105 secs
lola: 236490 markings, 411896 edges, 1906 markings/sec, 110 secs
lola: 245833 markings, 427764 edges, 1869 markings/sec, 115 secs
lola: 255178 markings, 443541 edges, 1869 markings/sec, 120 secs
lola: 264109 markings, 458572 edges, 1786 markings/sec, 125 secs
lola: 274530 markings, 477771 edges, 2084 markings/sec, 130 secs
lola: 283583 markings, 492993 edges, 1811 markings/sec, 135 secs
lola: 292164 markings, 507019 edges, 1716 markings/sec, 140 secs
lola: 301950 markings, 524650 edges, 1957 markings/sec, 145 secs
lola: 310579 markings, 538549 edges, 1726 markings/sec, 150 secs
lola: 319801 markings, 553902 edges, 1844 markings/sec, 155 secs
lola: 325930 markings, 565016 edges, 1226 markings/sec, 160 secs
lola: 332108 markings, 577207 edges, 1236 markings/sec, 165 secs
lola: 342130 markings, 596012 edges, 2004 markings/sec, 170 secs
lola: 347870 markings, 608695 edges, 1148 markings/sec, 175 secs
lola: 355958 markings, 620400 edges, 1618 markings/sec, 180 secs
lola: 365185 markings, 638447 edges, 1845 markings/sec, 185 secs
lola: 373094 markings, 650277 edges, 1582 markings/sec, 190 secs
lola: 382466 markings, 668352 edges, 1874 markings/sec, 195 secs
lola: 390533 markings, 680438 edges, 1613 markings/sec, 200 secs
lola: 399669 markings, 698382 edges, 1827 markings/sec, 205 secs
lola: 407847 markings, 710236 edges, 1636 markings/sec, 210 secs
lola: 417413 markings, 728631 edges, 1913 markings/sec, 215 secs
lola: 424513 markings, 738943 edges, 1420 markings/sec, 220 secs
lola: 434475 markings, 757740 edges, 1992 markings/sec, 225 secs
lola: 443546 markings, 773825 edges, 1814 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 56560 KB
lola: time consumption: 238 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p57)
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: 211 markings, 210 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-2 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p115)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p115)
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: 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 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p114)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p114)
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: 51 markings, 50 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 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p116)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p116)
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: 214 markings, 213 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-10 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p57)
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: 211 markings, 210 edges
lola:
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-11 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 7 will run for 369 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p57)
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: 211 markings, 210 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-14 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 415 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p58)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p58)
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: 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: 2313 markings, 3689 edges, 463 markings/sec, 30 secs
lola: 4628 markings, 7511 edges, 463 markings/sec, 35 secs
lola: 6898 markings, 11154 edges, 454 markings/sec, 40 secs
lola: 8799 markings, 13688 edges, 380 markings/sec, 45 secs
lola: 11155 markings, 17630 edges, 471 markings/sec, 50 secs
lola: 13504 markings, 21390 edges, 470 markings/sec, 55 secs
lola: 15448 markings, 24089 edges, 389 markings/sec, 60 secs
lola: 17815 markings, 28010 edges, 473 markings/sec, 65 secs
lola: 20122 markings, 31603 edges, 461 markings/sec, 70 secs
lola: 22090 markings, 34469 edges, 394 markings/sec, 75 secs
lola: 24490 markings, 38415 edges, 480 markings/sec, 80 secs
lola: 26663 markings, 41673 edges, 435 markings/sec, 85 secs
lola: 28671 markings, 44697 edges, 402 markings/sec, 90 secs
lola: 30998 markings, 48563 edges, 465 markings/sec, 95 secs
lola: 33098 markings, 51562 edges, 420 markings/sec, 100 secs
lola: 35274 markings, 55024 edges, 435 markings/sec, 105 secs
lola: 37648 markings, 58899 edges, 475 markings/sec, 110 secs
lola: 39601 markings, 61617 edges, 391 markings/sec, 115 secs
lola: 41961 markings, 65522 edges, 472 markings/sec, 120 secs
lola: 44169 markings, 68823 edges, 442 markings/sec, 125 secs
lola: 46268 markings, 72076 edges, 420 markings/sec, 130 secs
lola: 48652 markings, 75991 edges, 477 markings/sec, 135 secs
lola: 50572 markings, 78656 edges, 384 markings/sec, 140 secs
lola: 52910 markings, 82519 edges, 468 markings/sec, 145 secs
lola: 55072 markings, 85702 edges, 432 markings/sec, 150 secs
lola: 57254 markings, 89178 edges, 436 markings/sec, 155 secs
lola: 59559 markings, 92795 edges, 461 markings/sec, 160 secs
lola: 61605 markings, 95877 edges, 409 markings/sec, 165 secs
lola: 63994 markings, 99780 edges, 478 markings/sec, 170 secs
lola: 65989 markings, 102689 edges, 399 markings/sec, 175 secs
lola: 68385 markings, 106593 edges, 479 markings/sec, 180 secs
lola: 70391 markings, 109460 edges, 401 markings/sec, 185 secs
lola: 72756 markings, 113363 edges, 473 markings/sec, 190 secs
lola: 74791 markings, 116254 edges, 407 markings/sec, 195 secs
lola: 77156 markings, 120173 edges, 473 markings/sec, 200 secs
lola: 79188 markings, 123123 edges, 406 markings/sec, 205 secs
lola: 81554 markings, 127042 edges, 473 markings/sec, 210 secs
lola: 83583 markings, 130047 edges, 406 markings/sec, 215 secs
lola: 85942 markings, 133806 edges, 472 markings/sec, 220 secs
lola: 87999 markings, 136884 edges, 411 markings/sec, 225 secs
lola: 90237 markings, 140366 edges, 448 markings/sec, 230 secs
lola: 92394 markings, 143777 edges, 431 markings/sec, 235 secs
lola: 94490 markings, 146837 edges, 419 markings/sec, 240 secs
lola: 96820 markings, 150691 edges, 466 markings/sec, 245 secs
lola: 98904 markings, 153848 edges, 417 markings/sec, 250 secs
lola: 101043 markings, 157036 edges, 428 markings/sec, 255 secs
lola: 103327 markings, 160756 edges, 457 markings/sec, 260 secs
lola: 105401 markings, 164211 edges, 415 markings/sec, 265 secs
lola: 107616 markings, 168311 edges, 443 markings/sec, 270 secs
lola: 109830 markings, 172409 edges, 443 markings/sec, 275 secs
lola: 112043 markings, 176569 edges, 443 markings/sec, 280 secs
lola: 114257 markings, 180669 edges, 443 markings/sec, 285 secs
lola: 116470 markings, 184765 edges, 443 markings/sec, 290 secs
lola: 118683 markings, 188857 edges, 443 markings/sec, 295 secs
lola: 120775 markings, 191647 edges, 418 markings/sec, 300 secs
lola: 123059 markings, 194924 edges, 457 markings/sec, 305 secs
lola: 125213 markings, 197781 edges, 431 markings/sec, 310 secs
lola: 132553 markings, 212671 edges, 1468 markings/sec, 315 secs
lola: 134713 markings, 215478 edges, 432 markings/sec, 320 secs
lola: 139893 markings, 225622 edges, 1036 markings/sec, 325 secs
lola: 144138 markings, 232955 edges, 849 markings/sec, 330 secs
lola: 146242 markings, 235796 edges, 421 markings/sec, 335 secs
lola: 153139 markings, 249675 edges, 1379 markings/sec, 340 secs
lola: 155305 markings, 252584 edges, 433 markings/sec, 345 secs
lola: 160878 markings, 263461 edges, 1115 markings/sec, 350 secs
lola: 164345 markings, 269208 edges, 693 markings/sec, 355 secs
lola: 166430 markings, 272029 edges, 417 markings/sec, 360 secs
lola: 173117 markings, 285310 edges, 1337 markings/sec, 365 secs
lola: 175162 markings, 288079 edges, 409 markings/sec, 370 secs
lola: 181591 markings, 300908 edges, 1286 markings/sec, 375 secs
lola: 183670 markings, 303624 edges, 416 markings/sec, 380 secs
lola: 189449 markings, 314288 edges, 1156 markings/sec, 385 secs
lola: 192149 markings, 319013 edges, 540 markings/sec, 390 secs
lola: 197575 markings, 329094 edges, 1085 markings/sec, 395 secs
lola: 200465 markings, 334029 edges, 578 markings/sec, 400 secs
lola: 205799 markings, 343855 edges, 1067 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown 50 unknown unknown 50 unknown unknown unknown 50 50 50 unknown unknown 50 unknown
lola: memory consumption: 45620 KB
lola: time consumption: 657 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 416 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p52 + p53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p52 + p53)
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
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 485 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p54 + p55)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p54 + p55)
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: 4 markings, 3 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 582 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p61 + p62)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p61 + p62)
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: 2 markings, 1 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 728 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p61 + p62)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p61 + p62)
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: 2 markings, 1 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 970 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p52 + p53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p52 + p53)
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
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1456 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p52 + p53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p52 + p53)
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
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2911 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p52 + p53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p52 + p53)
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
lola:
FORMULA BridgeAndVehicles-COL-V50P50N20-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
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: 10740 markings, 17860 edges, 2148 markings/sec, 0 secs
lola: 21739 markings, 37570 edges, 2200 markings/sec, 5 secs
lola: 33174 markings, 57948 edges, 2287 markings/sec, 10 secs
lola: 45184 markings, 79449 edges, 2402 markings/sec, 15 secs
lola: 57654 markings, 102435 edges, 2494 markings/sec, 20 secs
lola: 69158 markings, 122967 edges, 2301 markings/sec, 25 secs
lola: 80584 markings, 143173 edges, 2285 markings/sec, 30 secs
lola: 92555 markings, 164865 edges, 2394 markings/sec, 35 secs
lola: 103539 markings, 183829 edges, 2197 markings/sec, 40 secs
lola: 115407 markings, 205305 edges, 2374 markings/sec, 45 secs
lola: 125910 markings, 222714 edges, 2101 markings/sec, 50 secs
lola: 133111 markings, 233302 edges, 1440 markings/sec, 55 secs
lola: 142656 markings, 253681 edges, 1909 markings/sec, 60 secs
lola: 151252 markings, 266372 edges, 1719 markings/sec, 65 secs
lola: 161132 markings, 283138 edges, 1976 markings/sec, 70 secs
lola: 171507 markings, 301451 edges, 2075 markings/sec, 75 secs
lola: 181751 markings, 319484 edges, 2049 markings/sec, 80 secs
lola: 191275 markings, 336104 edges, 1905 markings/sec, 85 secs
lola: 201349 markings, 353137 edges, 2015 markings/sec, 90 secs
lola: 209598 markings, 365786 edges, 1650 markings/sec, 95 secs
lola: 218856 markings, 381166 edges, 1852 markings/sec, 100 secs
lola: 228613 markings, 397894 edges, 1951 markings/sec, 105 secs
lola: 238177 markings, 414209 edges, 1913 markings/sec, 110 secs
lola: 248208 markings, 431743 edges, 2006 markings/sec, 115 secs
lola: 258710 markings, 450790 edges, 2100 markings/sec, 120 secs
lola: 267824 markings, 466429 edges, 1823 markings/sec, 125 secs
lola: 277257 markings, 481855 edges, 1887 markings/sec, 130 secs
lola: 285959 markings, 496225 edges, 1740 markings/sec, 135 secs
lola: 295940 markings, 514285 edges, 1996 markings/sec, 140 secs
lola: 304790 markings, 528627 edges, 1770 markings/sec, 145 secs
lola: 314219 markings, 545866 edges, 1886 markings/sec, 150 secs
lola: 322151 markings, 557522 edges, 1586 markings/sec, 155 secs
lola: 328363 markings, 569788 edges, 1242 markings/sec, 160 secs
lola: 335369 markings, 581931 edges, 1401 markings/sec, 165 secs
lola: 344299 markings, 600690 edges, 1786 markings/sec, 170 secs
lola: 351998 markings, 614628 edges, 1540 markings/sec, 175 secs
lola: 359131 markings, 625243 edges, 1427 markings/sec, 180 secs
lola: 369499 markings, 645038 edges, 2074 markings/sec, 185 secs
lola: 376571 markings, 655495 edges, 1414 markings/sec, 190 secs
lola: 386863 markings, 675100 edges, 2058 markings/sec, 195 secs
lola: 395329 markings, 689152 edges, 1693 markings/sec, 200 secs
lola: 404067 markings, 704736 edges, 1748 markings/sec, 205 secs
lola: 413391 markings, 721464 edges, 1865 markings/sec, 210 secs
lola: 421001 markings, 733819 edges, 1522 markings/sec, 215 secs
lola: 430150 markings, 750878 edges, 1830 markings/sec, 220 secs
lola: 438016 markings, 762894 edges, 1573 markings/sec, 225 secs
lola: 447547 markings, 780897 edges, 1906 markings/sec, 230 secs
lola: 455743 markings, 794061 edges, 1639 markings/sec, 235 secs
lola: 464280 markings, 809212 edges, 1707 markings/sec, 240 secs
lola: 472840 markings, 825201 edges, 1712 markings/sec, 245 secs
lola: 480566 markings, 836777 edges, 1545 markings/sec, 250 secs
lola: 489862 markings, 853985 edges, 1859 markings/sec, 255 secs
lola: 498093 markings, 869177 edges, 1646 markings/sec, 260 secs
lola: 505544 markings, 880374 edges, 1490 markings/sec, 265 secs
lola: 514589 markings, 896903 edges, 1809 markings/sec, 270 secs
lola: 523329 markings, 912920 edges, 1748 markings/sec, 275 secs
lola: 531537 markings, 927407 edges, 1642 markings/sec, 280 secs
lola: 539814 markings, 941291 edges, 1655 markings/sec, 285 secs
lola: 547328 markings, 953994 edges, 1503 markings/sec, 290 secs
lola: 555849 markings, 969229 edges, 1704 markings/sec, 295 secs
lola: 564260 markings, 984235 edges, 1682 markings/sec, 300 secs
lola: 572503 markings, 998845 edges, 1649 markings/sec, 305 secs
lola: 580639 markings, 1013188 edges, 1627 markings/sec, 310 secs
lola: 588727 markings, 1027789 edges, 1618 markings/sec, 315 secs
lola: 596254 markings, 1039055 edges, 1505 markings/sec, 320 secs
lola: 601937 markings, 1050609 edges, 1137 markings/sec, 325 secs
lola: 607482 markings, 1062374 edges, 1109 markings/sec, 330 secs
lola: 613063 markings, 1074244 edges, 1116 markings/sec, 335 secs
lola: 618826 markings, 1086135 edges, 1153 markings/sec, 340 secs
lola: 625678 markings, 1097649 edges, 1370 markings/sec, 345 secs
lola: 634123 markings, 1115965 edges, 1689 markings/sec, 350 secs
lola: 640340 markings, 1129057 edges, 1243 markings/sec, 355 secs
lola: 647888 markings, 1140405 edges, 1510 markings/sec, 360 secs
lola: 657849 markings, 1158613 edges, 1992 markings/sec, 365 secs
lola: 664318 markings, 1171287 edges, 1294 markings/sec, 370 secs
lola: 671536 markings, 1182147 edges, 1444 markings/sec, 375 secs
lola: 681293 markings, 1200204 edges, 1951 markings/sec, 380 secs
lola: 688394 markings, 1213439 edges, 1420 markings/sec, 385 secs
lola: 695610 markings, 1224322 edges, 1443 markings/sec, 390 secs
lola: 704535 markings, 1241597 edges, 1785 markings/sec, 395 secs
lola: 712090 markings, 1254895 edges, 1511 markings/sec, 400 secs
lola: 718989 markings, 1265266 edges, 1380 markings/sec, 405 secs
lola: 727206 markings, 1282716 edges, 1643 markings/sec, 410 secs
lola: 735178 markings, 1295197 edges, 1594 markings/sec, 415 secs
lola: 744357 markings, 1311924 edges, 1836 markings/sec, 420 secs
lola: 751541 markings, 1325228 edges, 1437 markings/sec, 425 secs
lola: 758715 markings, 1336046 edges, 1435 markings/sec, 430 secs
lola: 766820 markings, 1352989 edges, 1621 markings/sec, 435 secs
lola: 774740 markings, 1365359 edges, 1584 markings/sec, 440 secs
lola: 783561 markings, 1381487 edges, 1764 markings/sec, 445 secs
lola: 791112 markings, 1395081 edges, 1510 markings/sec, 450 secs
lola: 799920 markings, 1410653 edges, 1762 markings/sec, 455 secs
lola: 806915 markings, 1423739 edges, 1399 markings/sec, 460 secs
lola: 813891 markings, 1434268 edges, 1395 markings/sec, 465 secs
lola: 822211 markings, 1451492 edges, 1664 markings/sec, 470 secs
lola: 829782 markings, 1462914 edges, 1514 markings/sec, 475 secs
lola: 837433 markings, 1478989 edges, 1530 markings/sec, 480 secs
lola: 845418 markings, 1490997 edges, 1597 markings/sec, 485 secs
lola: 853020 markings, 1506835 edges, 1520 markings/sec, 490 secs
lola: 860920 markings, 1518725 edges, 1580 markings/sec, 495 secs
lola: 868845 markings, 1534850 edges, 1585 markings/sec, 500 secs
lola: 876177 markings, 1545913 edges, 1466 markings/sec, 505 secs
lola: 884674 markings, 1562754 edges, 1699 markings/sec, 510 secs
lola: 892803 markings, 1576942 edges, 1626 markings/sec, 515 secs
lola: 899935 markings, 1589631 edges, 1426 markings/sec, 520 secs
lola: 907457 markings, 1603715 edges, 1504 markings/sec, 525 secs
lola: 914736 markings, 1615715 edges, 1456 markings/sec, 530 secs
lola: 922762 markings, 1631375 edges, 1605 markings/sec, 535 secs
lola: 930592 markings, 1644959 edges, 1566 markings/sec, 540 secs
lola: 937575 markings, 1657157 edges, 1397 markings/sec, 545 secs
lola: 945402 markings, 1672257 edges, 1565 markings/sec, 550 secs
lola: 952930 markings, 1685706 edges, 1506 markings/sec, 555 secs
lola: 961326 markings, 1699925 edges, 1679 markings/sec, 560 secs
lola: 967783 markings, 1709727 edges, 1291 markings/sec, 565 secs
lola: 973066 markings, 1721442 edges, 1057 markings/sec, 570 secs
lola: 978411 markings, 1733245 edges, 1069 markings/sec, 575 secs
lola: 983685 markings, 1744969 edges, 1055 markings/sec, 580 secs
lola: 988937 markings, 1756401 edges, 1050 markings/sec, 585 secs
lola: 994157 markings, 1767929 edges, 1044 markings/sec, 590 secs
lola: 999483 markings, 1779473 edges, 1065 markings/sec, 595 secs
lola: 1004672 markings, 1790867 edges, 1038 markings/sec, 600 secs
lola: 1011983 markings, 1802711 edges, 1462 markings/sec, 605 secs
lola: 1018273 markings, 1815787 edges, 1258 markings/sec, 610 secs
lola: 1025642 markings, 1832570 edges, 1474 markings/sec, 615 secs
lola: 1030708 markings, 1844192 edges, 1013 markings/sec, 620 secs
lola: 1039317 markings, 1857868 edges, 1722 markings/sec, 625 secs
lola: 1046406 markings, 1868752 edges, 1418 markings/sec, 630 secs
lola: 1055303 markings, 1886022 edges, 1779 markings/sec, 635 secs
lola: 1060375 markings, 1897594 edges, 1014 markings/sec, 640 secs
lola: 1068847 markings, 1911155 edges, 1694 markings/sec, 645 secs
lola: 1075829 markings, 1921881 edges, 1396 markings/sec, 650 secs
lola: 1084546 markings, 1938784 edges, 1743 markings/sec, 655 secs
lola: 1089537 markings, 1950351 edges, 998 markings/sec, 660 secs
lola: 1098276 markings, 1964044 edges, 1748 markings/sec, 665 secs
lola: 1105337 markings, 1974915 edges, 1412 markings/sec, 670 secs
lola: 1113732 markings, 1992053 edges, 1679 markings/sec, 675 secs
lola: 1119970 markings, 2004865 edges, 1248 markings/sec, 680 secs
lola: 1127512 markings, 2016419 edges, 1508 markings/sec, 685 secs
lola: 1135938 markings, 2030851 edges, 1685 markings/sec, 690 secs
lola: 1142309 markings, 2044906 edges, 1274 markings/sec, 695 secs
lola: 1149821 markings, 2057971 edges, 1502 markings/sec, 700 secs
lola: 1156787 markings, 2068695 edges, 1393 markings/sec, 705 secs
lola: 1165219 markings, 2084645 edges, 1686 markings/sec, 710 secs
lola: 1170327 markings, 2096632 edges, 1022 markings/sec, 715 secs
lola: 1178837 markings, 2109617 edges, 1702 markings/sec, 720 secs
lola: 1187906 markings, 2125867 edges, 1814 markings/sec, 725 secs
lola: 1193185 markings, 2137580 edges, 1056 markings/sec, 730 secs
lola: 1201130 markings, 2150724 edges, 1589 markings/sec, 735 secs
lola: 1207914 markings, 2161151 edges, 1357 markings/sec, 740 secs
lola: 1215700 markings, 2177773 edges, 1557 markings/sec, 745 secs
lola: 1223065 markings, 2191061 edges, 1473 markings/sec, 750 secs
lola: 1230054 markings, 2201815 edges, 1398 markings/sec, 755 secs
lola: 1237902 markings, 2217658 edges, 1570 markings/sec, 760 secs
lola: 1244994 markings, 2231178 edges, 1418 markings/sec, 765 secs
lola: 1252027 markings, 2242009 edges, 1407 markings/sec, 770 secs
lola: 1259811 markings, 2257643 edges, 1557 markings/sec, 775 secs
lola: 1266938 markings, 2271109 edges, 1425 markings/sec, 780 secs
lola: 1273867 markings, 2281809 edges, 1386 markings/sec, 785 secs
lola: 1281390 markings, 2297616 edges, 1505 markings/sec, 790 secs
lola: 1288800 markings, 2310769 edges, 1482 markings/sec, 795 secs
lola: 1295362 markings, 2320894 edges, 1312 markings/sec, 800 secs
lola: 1302560 markings, 2336987 edges, 1440 markings/sec, 805 secs
lola: 1310343 markings, 2349686 edges, 1557 markings/sec, 810 secs
lola: 1318313 markings, 2364259 edges, 1594 markings/sec, 815 secs
lola: 1324129 markings, 2376523 edges, 1163 markings/sec, 820 secs
lola: 1331617 markings, 2388062 edges, 1498 markings/sec, 825 secs
lola: 1339012 markings, 2403239 edges, 1479 markings/sec, 830 secs
lola: 1346342 markings, 2416101 edges, 1466 markings/sec, 835 secs
lola: 1354106 markings, 2430058 edges, 1553 markings/sec, 840 secs
lola: 1360029 markings, 2442400 edges, 1185 markings/sec, 845 secs
lola: 1367302 markings, 2453609 edges, 1455 markings/sec, 850 secs
lola: 1374182 markings, 2468529 edges, 1376 markings/sec, 855 secs
lola: 1381636 markings, 2480670 edges, 1491 markings/sec, 860 secs
lola: 1388890 markings, 2495053 edges, 1451 markings/sec, 865 secs
lola: 1395948 markings, 2507540 edges, 1412 markings/sec, 870 secs
lola: 1403249 markings, 2521067 edges, 1460 markings/sec, 875 secs
lola: 1410018 markings, 2533868 edges, 1354 markings/sec, 880 secs
lola: 1417219 markings, 2546539 edges, 1440 markings/sec, 885 secs
lola: 1423903 markings, 2559746 edges, 1337 markings/sec, 890 secs
lola: 1431184 markings, 2572895 edges, 1456 markings/sec, 895 secs
lola: 1437678 markings, 2585693 edges, 1299 markings/sec, 900 secs
lola: 1446151 markings, 2598853 edges, 1695 markings/sec, 905 secs
lola: 1451885 markings, 2609061 edges, 1147 markings/sec, 910 secs
lola: 1456797 markings, 2620228 edges, 982 markings/sec, 915 secs
lola: 1461776 markings, 2631421 edges, 996 markings/sec, 920 secs
lola: 1466796 markings, 2642177 edges, 1004 markings/sec, 925 secs
lola: 1471863 markings, 2653910 edges, 1013 markings/sec, 930 secs
lola: 1476828 markings, 2665139 edges, 993 markings/sec, 935 secs
lola: 1481918 markings, 2676464 edges, 1018 markings/sec, 940 secs
lola: 1486874 markings, 2687550 edges, 991 markings/sec, 945 secs
lola: 1491911 markings, 2698971 edges, 1007 markings/sec, 950 secs
lola: 1496928 markings, 2710137 edges, 1003 markings/sec, 955 secs
lola: 1501958 markings, 2721350 edges, 1006 markings/sec, 960 secs
lola: 1507036 markings, 2732722 edges, 1016 markings/sec, 965 secs
lola: 1514304 markings, 2745399 edges, 1454 markings/sec, 970 secs
lola: 1519859 markings, 2756003 edges, 1111 markings/sec, 975 secs
lola: 1524868 markings, 2767022 edges, 1002 markings/sec, 980 secs
lola: 1533177 markings, 2784957 edges, 1662 markings/sec, 985 secs
lola: 1538271 markings, 2796805 edges, 1019 markings/sec, 990 secs
lola: 1542982 markings, 2807961 edges, 942 markings/sec, 995 secs
lola: 1552398 markings, 2822561 edges, 1883 markings/sec, 1000 secs
lola: 1559132 markings, 2833010 edges, 1347 markings/sec, 1005 secs
lola: 1568000 markings, 2848777 edges, 1774 markings/sec, 1010 secs
lola: 1574260 markings, 2862597 edges, 1252 markings/sec, 1015 secs
lola: 1578854 markings, 2873436 edges, 919 markings/sec, 1020 secs
lola: 1587669 markings, 2887835 edges, 1763 markings/sec, 1025 secs
lola: 1593957 markings, 2897637 edges, 1258 markings/sec, 1030 secs
lola: 1601985 markings, 2910648 edges, 1606 markings/sec, 1035 secs
lola: 1609730 markings, 2927871 edges, 1549 markings/sec, 1040 secs
lola: 1614373 markings, 2938821 edges, 929 markings/sec, 1045 secs
lola: 1623117 markings, 2953108 edges, 1749 markings/sec, 1050 secs
lola: 1629413 markings, 2962956 edges, 1259 markings/sec, 1055 secs
lola: 1639272 markings, 2980759 edges, 1972 markings/sec, 1060 secs
lola: 1644686 markings, 2992615 edges, 1083 markings/sec, 1065 secs
lola: 1649328 markings, 3003480 edges, 928 markings/sec, 1070 secs
lola: 1658331 markings, 3017820 edges, 1801 markings/sec, 1075 secs
lola: 1665399 markings, 3028808 edges, 1414 markings/sec, 1080 secs
lola: 1674134 markings, 3045520 edges, 1747 markings/sec, 1085 secs
lola: 1679184 markings, 3057260 edges, 1010 markings/sec, 1090 secs
lola: 1684987 markings, 3068876 edges, 1161 markings/sec, 1095 secs
lola: 1693170 markings, 3081639 edges, 1637 markings/sec, 1100 secs
lola: 1700235 markings, 3092648 edges, 1413 markings/sec, 1105 secs
lola: 1708291 markings, 3109235 edges, 1611 markings/sec, 1110 secs
lola: 1713062 markings, 3120924 edges, 954 markings/sec, 1115 secs
lola: 1721269 markings, 3134705 edges, 1641 markings/sec, 1120 secs
lola: 1727898 markings, 3145035 edges, 1326 markings/sec, 1125 secs
lola: 1736820 markings, 3161724 edges, 1784 markings/sec, 1130 secs
lola: 1741927 markings, 3173523 edges, 1021 markings/sec, 1135 secs
lola: 1748433 markings, 3186076 edges, 1301 markings/sec, 1140 secs
lola: 1755951 markings, 3197796 edges, 1504 markings/sec, 1145 secs
lola: 1763725 markings, 3210826 edges, 1555 markings/sec, 1150 secs
lola: 1770215 markings, 3225251 edges, 1298 markings/sec, 1155 secs
lola: 1774958 markings, 3236268 edges, 949 markings/sec, 1160 secs
lola: 1783827 markings, 3249981 edges, 1774 markings/sec, 1165 secs
lola: 1790616 markings, 3260621 edges, 1358 markings/sec, 1170 secs
lola: 1798220 markings, 3277203 edges, 1521 markings/sec, 1175 secs
lola: 1802808 markings, 3287899 edges, 918 markings/sec, 1180 secs
lola: 1811546 markings, 3301727 edges, 1748 markings/sec, 1185 secs
lola: 1818130 markings, 3312021 edges, 1317 markings/sec, 1190 secs
lola: 1825594 markings, 3328291 edges, 1493 markings/sec, 1195 secs
lola: 1830220 markings, 3339189 edges, 925 markings/sec, 1200 secs
lola: 1838892 markings, 3352604 edges, 1734 markings/sec, 1205 secs
lola: 1846818 markings, 3366304 edges, 1585 markings/sec, 1210 secs
lola: 1852540 markings, 3378961 edges, 1144 markings/sec, 1215 secs
lola: 1858601 markings, 3391356 edges, 1212 markings/sec, 1220 secs
lola: 1866031 markings, 3402943 edges, 1486 markings/sec, 1225 secs
lola: 1874117 markings, 3417931 edges, 1617 markings/sec, 1230 secs
lola: 1879100 markings, 3429485 edges, 997 markings/sec, 1235 secs
lola: 1886666 markings, 3442900 edges, 1513 markings/sec, 1240 secs
lola: 1893411 markings, 3453442 edges, 1349 markings/sec, 1245 secs
lola: 1900710 markings, 3468826 edges, 1460 markings/sec, 1250 secs
lola: 1905443 markings, 3479771 edges, 947 markings/sec, 1255 secs
lola: 1913824 markings, 3492783 edges, 1676 markings/sec, 1260 secs
lola: 1921626 markings, 3507167 edges, 1560 markings/sec, 1265 secs
lola: 1926514 markings, 3518608 edges, 978 markings/sec, 1270 secs
lola: 1934288 markings, 3531950 edges, 1555 markings/sec, 1275 secs
lola: 1942244 markings, 3545944 edges, 1591 markings/sec, 1280 secs
lola: 1947368 markings, 3557469 edges, 1025 markings/sec, 1285 secs
lola: 1954364 markings, 3570324 edges, 1399 markings/sec, 1290 secs
lola: 1960980 markings, 3580667 edges, 1323 markings/sec, 1295 secs
lola: 1967711 markings, 3595366 edges, 1346 markings/sec, 1300 secs
lola: 1974290 markings, 3608192 edges, 1316 markings/sec, 1305 secs
lola: 1981078 markings, 3618819 edges, 1358 markings/sec, 1310 secs
lola: 1987749 markings, 3633259 edges, 1334 markings/sec, 1315 secs
lola: 1994357 markings, 3646091 edges, 1322 markings/sec, 1320 secs
lola: 2000965 markings, 3656427 edges, 1322 markings/sec, 1325 secs
lola: 2007472 markings, 3671096 edges, 1301 markings/sec, 1330 secs
lola: 2014415 markings, 3683718 edges, 1389 markings/sec, 1335 secs
lola: 2021787 markings, 3696749 edges, 1474 markings/sec, 1340 secs
lola: 2026763 markings, 3708270 edges, 995 markings/sec, 1345 secs
lola: 2034135 markings, 3720594 edges, 1474 markings/sec, 1350 secs
lola: 2041004 markings, 3733688 edges, 1374 markings/sec, 1355 secs
lola: 2045743 markings, 3744879 edges, 948 markings/sec, 1360 secs
lola: 2055487 markings, 3760250 edges, 1949 markings/sec, 1365 secs
lola: 2062129 markings, 3770655 edges, 1328 markings/sec, 1370 secs
lola: 2067329 markings, 3781501 edges, 1040 markings/sec, 1375 secs
lola: 2072197 markings, 3792434 edges, 974 markings/sec, 1380 secs
lola: 2077054 markings, 3803259 edges, 971 markings/sec, 1385 secs
lola: 2081734 markings, 3814339 edges, 936 markings/sec, 1390 secs
lola: 2086621 markings, 3825532 edges, 977 markings/sec, 1395 secs
lola: 2091494 markings, 3836570 edges, 975 markings/sec, 1400 secs
lola: 2096408 markings, 3847795 edges, 983 markings/sec, 1405 secs
lola: 2101247 markings, 3858670 edges, 968 markings/sec, 1410 secs
lola: 2106130 markings, 3869798 edges, 977 markings/sec, 1415 secs
lola: 2110963 markings, 3880811 edges, 967 markings/sec, 1420 secs
lola: 2115837 markings, 3892050 edges, 975 markings/sec, 1425 secs
lola: 2120644 markings, 3902964 edges, 961 markings/sec, 1430 secs
lola: 2125446 markings, 3913937 edges, 960 markings/sec, 1435 secs
lola: 2130109 markings, 3924478 edges, 933 markings/sec, 1440 secs
lola: 2135046 markings, 3935615 edges, 987 markings/sec, 1445 secs
lola: 2139821 markings, 3946590 edges, 955 markings/sec, 1450 secs
lola: 2144656 markings, 3957443 edges, 967 markings/sec, 1455 secs
lola: 2149486 markings, 3968297 edges, 966 markings/sec, 1460 secs
lola: 2156975 markings, 3981406 edges, 1498 markings/sec, 1465 secs
lola: 2162607 markings, 3991805 edges, 1126 markings/sec, 1470 secs
lola: 2167457 markings, 4002859 edges, 970 markings/sec, 1475 secs
lola: 2172503 markings, 4013693 edges, 1009 markings/sec, 1480 secs
lola: 2180662 markings, 4031402 edges, 1632 markings/sec, 1485 secs
lola: 2185726 markings, 4043250 edges, 1013 markings/sec, 1490 secs
lola: 2190327 markings, 4054457 edges, 920 markings/sec, 1495 secs
lola: 2195286 markings, 4064983 edges, 992 markings/sec, 1500 secs
lola: 2205038 markings, 4080231 edges, 1950 markings/sec, 1505 secs
lola: 2211032 markings, 4089660 edges, 1199 markings/sec, 1510 secs
lola: 2218841 markings, 4101915 edges, 1562 markings/sec, 1515 secs
lola: 2227516 markings, 4119789 edges, 1735 markings/sec, 1520 secs
lola: 2232225 markings, 4131577 edges, 942 markings/sec, 1525 secs
lola: 2236717 markings, 4142261 edges, 898 markings/sec, 1530 secs
lola: 2244535 markings, 4155854 edges, 1564 markings/sec, 1535 secs
lola: 2251990 markings, 4167586 edges, 1491 markings/sec, 1540 secs
lola: 2259337 markings, 4179132 edges, 1469 markings/sec, 1545 secs
lola: 2268221 markings, 4196091 edges, 1777 markings/sec, 1550 secs
lola: 2273355 markings, 4207519 edges, 1027 markings/sec, 1555 secs
lola: 2277898 markings, 4218616 edges, 909 markings/sec, 1560 secs
lola: 2282457 markings, 4228846 edges, 912 markings/sec, 1565 secs
lola: 2292098 markings, 4243847 edges, 1928 markings/sec, 1570 secs
lola: 2298181 markings, 4253444 edges, 1217 markings/sec, 1575 secs
lola: 2305782 markings, 4265441 edges, 1520 markings/sec, 1580 secs
lola: 2313808 markings, 4282584 edges, 1605 markings/sec, 1585 secs
lola: 2318433 markings, 4294085 edges, 925 markings/sec, 1590 secs
lola: 2322949 markings, 4304669 edges, 903 markings/sec, 1595 secs
lola: 2331888 markings, 4319293 edges, 1788 markings/sec, 1600 secs
lola: 2338401 markings, 4329595 edges, 1303 markings/sec, 1605 secs
lola: 2345756 markings, 4341161 edges, 1471 markings/sec, 1610 secs
lola: 2353861 markings, 4357967 edges, 1621 markings/sec, 1615 secs
lola: 2358490 markings, 4369483 edges, 926 markings/sec, 1620 secs
lola: 2362989 markings, 4380052 edges, 900 markings/sec, 1625 secs
lola: 2371686 markings, 4394472 edges, 1739 markings/sec, 1630 secs
lola: 2378191 markings, 4404719 edges, 1301 markings/sec, 1635 secs
lola: 2385352 markings, 4415973 edges, 1432 markings/sec, 1640 secs
lola: 2393277 markings, 4432641 edges, 1585 markings/sec, 1645 secs
lola: 2397929 markings, 4444168 edges, 930 markings/sec, 1650 secs
lola: 2402475 markings, 4454762 edges, 909 markings/sec, 1655 secs
lola: 2411636 markings, 4469540 edges, 1832 markings/sec, 1660 secs
lola: 2417928 markings, 4479443 edges, 1258 markings/sec, 1665 secs
lola: 2427426 markings, 4496807 edges, 1900 markings/sec, 1670 secs
lola: 2432559 markings, 4508186 edges, 1027 markings/sec, 1675 secs
lola: 2437099 markings, 4519175 edges, 908 markings/sec, 1680 secs
lola: 2443397 markings, 4531381 edges, 1260 markings/sec, 1685 secs
lola: 2451513 markings, 4544141 edges, 1623 markings/sec, 1690 secs
lola: 2458405 markings, 4555031 edges, 1378 markings/sec, 1695 secs
lola: 2466094 markings, 4569810 edges, 1538 markings/sec, 1700 secs
lola: 2470818 markings, 4581940 edges, 945 markings/sec, 1705 secs
lola: 2475212 markings, 4592266 edges, 879 markings/sec, 1710 secs
lola: 2483503 markings, 4606054 edges, 1658 markings/sec, 1715 secs
lola: 2489947 markings, 4616218 edges, 1289 markings/sec, 1720 secs
lola: 2498988 markings, 4632796 edges, 1808 markings/sec, 1725 secs
lola: 2504028 markings, 4644085 edges, 1008 markings/sec, 1730 secs
lola: 2508587 markings, 4655046 edges, 912 markings/sec, 1735 secs
lola: 2516087 markings, 4668595 edges, 1500 markings/sec, 1740 secs
lola: 2523107 markings, 4679635 edges, 1404 markings/sec, 1745 secs
lola: 2531964 markings, 4695601 edges, 1771 markings/sec, 1750 secs
lola: 2537081 markings, 4706870 edges, 1023 markings/sec, 1755 secs
lola: 2541628 markings, 4717815 edges, 909 markings/sec, 1760 secs
lola: 2548772 markings, 4730993 edges, 1429 markings/sec, 1765 secs
lola: 2555901 markings, 4742179 edges, 1426 markings/sec, 1770 secs
lola: 2564479 markings, 4757724 edges, 1716 markings/sec, 1775 secs
lola: 2569486 markings, 4768837 edges, 1001 markings/sec, 1780 secs
lola: 2574029 markings, 4779728 edges, 909 markings/sec, 1785 secs
lola: 2581525 markings, 4793158 edges, 1499 markings/sec, 1790 secs
lola: 2588245 markings, 4803718 edges, 1344 markings/sec, 1795 secs
lola: 2596470 markings, 4819013 edges, 1645 markings/sec, 1800 secs
lola: 2601488 markings, 4830808 edges, 1004 markings/sec, 1805 secs
lola: 2605988 markings, 4841334 edges, 900 markings/sec, 1810 secs
lola: 2614363 markings, 4855162 edges, 1675 markings/sec, 1815 secs
lola: 2620910 markings, 4865519 edges, 1309 markings/sec, 1820 secs
lola: 2628074 markings, 4879877 edges, 1433 markings/sec, 1825 secs
lola: 2632767 markings, 4891607 edges, 939 markings/sec, 1830 secs
lola: 2638348 markings, 4902933 edges, 1116 markings/sec, 1835 secs
lola: 2646205 markings, 4915300 edges, 1571 markings/sec, 1840 secs
lola: 2654107 markings, 4929649 edges, 1580 markings/sec, 1845 secs
lola: 2659164 markings, 4941342 edges, 1011 markings/sec, 1850 secs
lola: 2663586 markings, 4951683 edges, 884 markings/sec, 1855 secs
lola: 2671603 markings, 4965004 edges, 1603 markings/sec, 1860 secs
lola: 2677974 markings, 4975074 edges, 1274 markings/sec, 1865 secs
lola: 2684821 markings, 4989847 edges, 1369 markings/sec, 1870 secs
lola: 2689331 markings, 5000647 edges, 902 markings/sec, 1875 secs
lola: 2696551 markings, 5013673 edges, 1444 markings/sec, 1880 secs
lola: 2703212 markings, 5024196 edges, 1332 markings/sec, 1885 secs
lola: 2710226 markings, 5038297 edges, 1403 markings/sec, 1890 secs
lola: 2714871 markings, 5049778 edges, 929 markings/sec, 1895 secs
lola: 2721886 markings, 5062643 edges, 1403 markings/sec, 1900 secs
lola: 2728396 markings, 5072941 edges, 1302 markings/sec, 1905 secs
lola: 2735230 markings, 5086735 edges, 1367 markings/sec, 1910 secs
lola: 2739822 markings, 5098052 edges, 918 markings/sec, 1915 secs
lola: 2747029 markings, 5111048 edges, 1441 markings/sec, 1920 secs
lola: 2753520 markings, 5121310 edges, 1298 markings/sec, 1925 secs
lola: 2760027 markings, 5135559 edges, 1301 markings/sec, 1930 secs
lola: 2764607 markings, 5146537 edges, 916 markings/sec, 1935 secs
lola: 2772390 markings, 5159485 edges, 1557 markings/sec, 1940 secs
lola: 2779550 markings, 5172452 edges, 1432 markings/sec, 1945 secs
lola: 2784414 markings, 5183855 edges, 973 markings/sec, 1950 secs
lola: 2790244 markings, 5195792 edges, 1166 markings/sec, 1955 secs
lola: 2797306 markings, 5206960 edges, 1412 markings/sec, 1960 secs
lola: 2803871 markings, 5220813 edges, 1313 markings/sec, 1965 secs
lola: 2808433 markings, 5231725 edges, 912 markings/sec, 1970 secs
lola: 2816709 markings, 5245874 edges, 1655 markings/sec, 1975 secs
lola: 2824842 markings, 5258690 edges, 1627 markings/sec, 1980 secs
lola: 2830864 markings, 5268146 edges, 1204 markings/sec, 1985 secs
lola: 2835638 markings, 5279728 edges, 955 markings/sec, 1990 secs
lola: 2840274 markings, 5289387 edges, 927 markings/sec, 1995 secs
lola: 2844955 markings, 5301180 edges, 936 markings/sec, 2000 secs
lola: 2849716 markings, 5311527 edges, 952 markings/sec, 2005 secs
lola: 2854312 markings, 5322686 edges, 919 markings/sec, 2010 secs
lola: 2859149 markings, 5333579 edges, 967 markings/sec, 2015 secs
lola: 2863684 markings, 5344277 edges, 907 markings/sec, 2020 secs
lola: 2868464 markings, 5355258 edges, 956 markings/sec, 2025 secs
lola: 2873087 markings, 5365388 edges, 925 markings/sec, 2030 secs
lola: 2877814 markings, 5376894 edges, 945 markings/sec, 2035 secs
lola: 2882634 markings, 5387743 edges, 964 markings/sec, 2040 secs
lola: 2887227 markings, 5398418 edges, 919 markings/sec, 2045 secs
lola: 2892006 markings, 5409601 edges, 956 markings/sec, 2050 secs
lola: 2896777 markings, 5420351 edges, 954 markings/sec, 2055 secs
lola: 2901460 markings, 5430679 edges, 937 markings/sec, 2060 secs
lola: 2906140 markings, 5442142 edges, 936 markings/sec, 2065 secs
lola: 2910889 markings, 5453114 edges, 950 markings/sec, 2070 secs
lola: 2915628 markings, 5463929 edges, 948 markings/sec, 2075 secs
lola: 2920330 markings, 5474599 edges, 940 markings/sec, 2080 secs
lola: 2924860 markings, 5484680 edges, 906 markings/sec, 2085 secs
lola: 2929477 markings, 5495706 edges, 923 markings/sec, 2090 secs
lola: 2934156 markings, 5506511 edges, 936 markings/sec, 2095 secs
lola: 2938850 markings, 5517253 edges, 939 markings/sec, 2100 secs
lola: 2943635 markings, 5528067 edges, 957 markings/sec, 2105 secs
lola: 2948315 markings, 5538951 edges, 936 markings/sec, 2110 secs
lola: 2952960 markings, 5549733 edges, 929 markings/sec, 2115 secs
lola: 2960976 markings, 5562922 edges, 1603 markings/sec, 2120 secs
lola: 2966404 markings, 5573277 edges, 1086 markings/sec, 2125 secs
lola: 2971147 markings, 5584106 edges, 949 markings/sec, 2130 secs
lola: 2975818 markings, 5594717 edges, 934 markings/sec, 2135 secs
lola: 2980530 markings, 5605204 edges, 942 markings/sec, 2140 secs
lola: 2988900 markings, 5622843 edges, 1674 markings/sec, 2145 secs
lola: 2993957 markings, 5634625 edges, 1011 markings/sec, 2150 secs
lola: 2998355 markings, 5645312 edges, 880 markings/sec, 2155 secs
lola: 3002840 markings, 5656247 edges, 897 markings/sec, 2160 secs
lola: 3007246 markings, 5666141 edges, 881 markings/sec, 2165 secs
lola: 3017210 markings, 5682104 edges, 1993 markings/sec, 2170 secs
lola: 3024024 markings, 5692892 edges, 1363 markings/sec, 2175 secs
lola: 3031771 markings, 5705147 edges, 1549 markings/sec, 2180 secs
lola: 3040858 markings, 5722185 edges, 1817 markings/sec, 2185 secs
lola: 3046128 markings, 5733097 edges, 1054 markings/sec, 2190 secs
lola: 3050777 markings, 5744969 edges, 930 markings/sec, 2195 secs
lola: 3055159 markings, 5755404 edges, 876 markings/sec, 2200 secs
lola: 3059666 markings, 5765978 edges, 901 markings/sec, 2205 secs
lola: 3068398 markings, 5780670 edges, 1746 markings/sec, 2210 secs
lola: 3075832 markings, 5792440 edges, 1487 markings/sec, 2215 secs
lola: 3082882 markings, 5803620 edges, 1410 markings/sec, 2220 secs
lola: 3089583 markings, 5814295 edges, 1340 markings/sec, 2225 secs
lola: 3097759 markings, 5831802 edges, 1635 markings/sec, 2230 secs
lola: 3102463 markings, 5843802 edges, 941 markings/sec, 2235 secs
lola: 3106851 markings, 5854260 edges, 878 markings/sec, 2240 secs
lola: 3111353 markings, 5864842 edges, 900 markings/sec, 2245 secs
lola: 3119753 markings, 5879104 edges, 1680 markings/sec, 2250 secs
lola: 3127225 markings, 5890952 edges, 1494 markings/sec, 2255 secs
lola: 3134380 markings, 5902306 edges, 1431 markings/sec, 2260 secs
lola: 3142539 markings, 5916778 edges, 1632 markings/sec, 2265 secs
lola: 3148761 markings, 5929966 edges, 1244 markings/sec, 2270 secs
lola: 3153441 markings, 5941859 edges, 936 markings/sec, 2275 secs
lola: 3157954 markings, 5952883 edges, 903 markings/sec, 2280 secs
lola: 3162353 markings, 5962812 edges, 880 markings/sec, 2285 secs
lola: 3171633 markings, 5978007 edges, 1856 markings/sec, 2290 secs
lola: 3178506 markings, 5988924 edges, 1375 markings/sec, 2295 secs
lola: 3186022 markings, 6000840 edges, 1503 markings/sec, 2300 secs
lola: 3194357 markings, 6017123 edges, 1667 markings/sec, 2305 secs
lola: 3199400 markings, 6028690 edges, 1009 markings/sec, 2310 secs
lola: 3203948 markings, 6040053 edges, 910 markings/sec, 2315 secs
lola: 3208316 markings, 6050207 edges, 874 markings/sec, 2320 secs
lola: 3214520 markings, 6062230 edges, 1241 markings/sec, 2325 secs
lola: 3223373 markings, 6076275 edges, 1771 markings/sec, 2330 secs
lola: 3229829 markings, 6086501 edges, 1291 markings/sec, 2335 secs
lola: 3238001 markings, 6100408 edges, 1634 markings/sec, 2340 secs
lola: 3244609 markings, 6114552 edges, 1322 markings/sec, 2345 secs
lola: 3249248 markings, 6126302 edges, 928 markings/sec, 2350 secs
lola: 3253738 markings, 6137217 edges, 898 markings/sec, 2355 secs
lola: 3258150 markings, 6147114 edges, 882 markings/sec, 2360 secs
lola: 3267822 markings, 6162570 edges, 1934 markings/sec, 2365 secs
lola: 3274218 markings, 6172719 edges, 1279 markings/sec, 2370 secs
lola: 3281561 markings, 6184379 edges, 1469 markings/sec, 2375 secs
lola: 3289340 markings, 6200669 edges, 1556 markings/sec, 2380 secs
lola: 3293991 markings, 6212454 edges, 930 markings/sec, 2385 secs
lola: 3298467 markings, 6223363 edges, 895 markings/sec, 2390 secs
lola: 3302803 markings, 6233116 edges, 867 markings/sec, 2395 secs
lola: 3311989 markings, 6248055 edges, 1837 markings/sec, 2400 secs
lola: 3318530 markings, 6258448 edges, 1308 markings/sec, 2405 secs
lola: 3325655 markings, 6269735 edges, 1425 markings/sec, 2410 secs
lola: 3333273 markings, 6285774 edges, 1524 markings/sec, 2415 secs
lola: 3337912 markings, 6297492 edges, 928 markings/sec, 2420 secs
lola: 3342395 markings, 6308370 edges, 897 markings/sec, 2425 secs
lola: 3346857 markings, 6318522 edges, 892 markings/sec, 2430 secs
lola: 3356434 markings, 6333544 edges, 1915 markings/sec, 2435 secs
lola: 3362616 markings, 6343392 edges, 1236 markings/sec, 2440 secs
lola: 3371856 markings, 6360249 edges, 1848 markings/sec, 2445 secs
lola: 3376972 markings, 6371635 edges, 1023 markings/sec, 2450 secs
lola: 3381506 markings, 6382905 edges, 907 markings/sec, 2455 secs
lola: 3385864 markings, 6393011 edges, 872 markings/sec, 2460 secs
lola: 3392990 markings, 6406170 edges, 1425 markings/sec, 2465 secs
lola: 3400723 markings, 6418443 edges, 1547 markings/sec, 2470 secs
lola: 3407645 markings, 6429449 edges, 1384 markings/sec, 2475 secs
lola: 3415174 markings, 6444389 edges, 1506 markings/sec, 2480 secs
lola: 3419751 markings, 6456029 edges, 915 markings/sec, 2485 secs
lola: 3424049 markings, 6466218 edges, 860 markings/sec, 2490 secs
lola: 3428486 markings, 6476474 edges, 887 markings/sec, 2495 secs
lola: 3437670 markings, 6491281 edges, 1837 markings/sec, 2500 secs
lola: 3443715 markings, 6500885 edges, 1209 markings/sec, 2505 secs
lola: 3452225 markings, 6516679 edges, 1702 markings/sec, 2510 secs
lola: 3457212 markings, 6528021 edges, 997 markings/sec, 2515 secs
lola: 3461730 markings, 6539159 edges, 904 markings/sec, 2520 secs
lola: 3466189 markings, 6549582 edges, 892 markings/sec, 2525 secs
lola: 3474533 markings, 6563608 edges, 1669 markings/sec, 2530 secs
lola: 3481102 markings, 6574012 edges, 1314 markings/sec, 2535 secs
lola: 3489504 markings, 6589456 edges, 1680 markings/sec, 2540 secs
lola: 3494526 markings, 6600792 edges, 1004 markings/sec, 2545 secs
lola: 3499046 markings, 6611926 edges, 904 markings/sec, 2550 secs
lola: 3503507 markings, 6622325 edges, 892 markings/sec, 2555 secs
lola: 3511990 markings, 6636527 edges, 1697 markings/sec, 2560 secs
lola: 3518354 markings, 6646617 edges, 1273 markings/sec, 2565 secs
lola: 3526414 markings, 6661706 edges, 1612 markings/sec, 2570 secs
lola: 3531364 markings, 6673374 edges, 990 markings/sec, 2575 secs
lola: 3535804 markings, 6684042 edges, 888 markings/sec, 2580 secs
lola: 3540282 markings, 6694355 edges, 896 markings/sec, 2585 secs
lola: 3549259 markings, 6708703 edges, 1795 markings/sec, 2590 secs
lola: 3555616 markings, 6718828 edges, 1271 markings/sec, 2595 secs
lola: 3562767 markings, 6733137 edges, 1430 markings/sec, 2600 secs
lola: 3567253 markings, 6744370 edges, 897 markings/sec, 2605 secs
lola: 3571674 markings, 6754955 edges, 884 markings/sec, 2610 secs
lola: 3578248 markings, 6767391 edges, 1315 markings/sec, 2615 secs
lola: 3585644 markings, 6779139 edges, 1479 markings/sec, 2620 secs
lola: 3593292 markings, 6793007 edges, 1530 markings/sec, 2625 secs
lola: 3598202 markings, 6804063 edges, 982 markings/sec, 2630 secs
lola: 3602693 markings, 6815044 edges, 898 markings/sec, 2635 secs
lola: 3607136 markings, 6825297 edges, 889 markings/sec, 2640 secs
lola: 3615825 markings, 6839331 edges, 1738 markings/sec, 2645 secs
lola: 3622125 markings, 6849360 edges, 1260 markings/sec, 2650 secs
lola: 3628907 markings, 6864182 edges, 1356 markings/sec, 2655 secs
lola: 3633400 markings, 6875207 edges, 899 markings/sec, 2660 secs
lola: 3637784 markings, 6885411 edges, 877 markings/sec, 2665 secs
lola: 3645939 markings, 6899018 edges, 1631 markings/sec, 2670 secs
lola: 3652359 markings, 6909249 edges, 1284 markings/sec, 2675 secs
lola: 3659120 markings, 6923799 edges, 1352 markings/sec, 2680 secs
lola: 3663462 markings, 6934459 edges, 868 markings/sec, 2685 secs
lola: 3667875 markings, 6944718 edges, 883 markings/sec, 2690 secs
lola: 3675883 markings, 6958099 edges, 1602 markings/sec, 2695 secs
lola: 3682192 markings, 6968139 edges, 1262 markings/sec, 2700 secs
lola: 3688669 markings, 6982488 edges, 1295 markings/sec, 2705 secs
lola: 3693126 markings, 6993366 edges, 891 markings/sec, 2710 secs
lola: 3697578 markings, 7003589 edges, 890 markings/sec, 2715 secs
lola: 3706071 markings, 7017168 edges, 1699 markings/sec, 2720 secs
lola: 3713169 markings, 7030119 edges, 1420 markings/sec, 2725 secs
lola: 3718079 markings, 7041769 edges, 982 markings/sec, 2730 secs
lola: 3722498 markings, 7052300 edges, 884 markings/sec, 2735 secs
lola: 3729468 markings, 7065084 edges, 1394 markings/sec, 2740 secs
lola: 3736015 markings, 7075516 edges, 1309 markings/sec, 2745 secs
lola: 3742465 markings, 7089326 edges, 1290 markings/sec, 2750 secs
lola: 3746930 markings, 7100187 edges, 893 markings/sec, 2755 secs
lola: 3751429 markings, 7110540 edges, 900 markings/sec, 2760 secs
lola: 3760915 markings, 7125850 edges, 1897 markings/sec, 2765 secs
lola: 3768568 markings, 7137995 edges, 1531 markings/sec, 2770 secs
lola: 3774577 markings, 7147575 edges, 1202 markings/sec, 2775 secs
lola: 3779569 markings, 7159082 edges, 998 markings/sec, 2780 secs
lola: 3783929 markings, 7169424 edges, 872 markings/sec, 2785 secs
lola: 3788719 markings, 7179769 edges, 958 markings/sec, 2790 secs
lola: 3793322 markings, 7191282 edges, 921 markings/sec, 2795 secs
lola: 3797713 markings, 7201363 edges, 878 markings/sec, 2800 secs
lola: 3802582 markings, 7212523 edges, 974 markings/sec, 2805 secs
lola: 3807032 markings, 7223227 edges, 890 markings/sec, 2810 secs
lola: 3811756 markings, 7233425 edges, 945 markings/sec, 2815 secs
lola: 3816252 markings, 7244633 edges, 899 markings/sec, 2820 secs
lola: 3820682 markings, 7254788 edges, 886 markings/sec, 2825 secs
lola: 3825468 markings, 7265901 edges, 957 markings/sec, 2830 secs
lola: 3829908 markings, 7276449 edges, 888 markings/sec, 2835 secs
lola: 3834705 markings, 7287157 edges, 959 markings/sec, 2840 secs
lola: 3839125 markings, 7297876 edges, 884 markings/sec, 2845 secs
lola: 3843836 markings, 7308131 edges, 942 markings/sec, 2850 secs
lola: 3848435 markings, 7319577 edges, 920 markings/sec, 2855 secs
lola: 3853112 markings, 7329713 edges, 935 markings/sec, 2860 secs
lola: 3857656 markings, 7340877 edges, 909 markings/sec, 2865 secs
lola: 3862376 markings, 7351270 edges, 944 markings/sec, 2870 secs
lola: 3866934 markings, 7362562 edges, 912 markings/sec, 2875 secs
lola: 3871616 markings, 7372778 edges, 936 markings/sec, 2880 secs
lola: 3876170 markings, 7383995 edges, 911 markings/sec, 2885 secs
lola: 3880857 markings, 7394508 edges, 937 markings/sec, 2890 secs
lola: 3885329 markings, 7405284 edges, 894 markings/sec, 2895 secs
lola: 3890068 markings, 7416096 edges, 948 markings/sec, 2900 secs
lola: 3894510 markings, 7426380 edges, 888 markings/sec, 2905 secs
lola: time limit reached - aborting
lola:
preliminary result: 50 unknown 50 1 1 50 1 1 1 50 50 50 1 1 50 unknown
lola:
preliminary result: 50 unknown 50 1 1 50 1 1 1 50 50 50 1 1 50 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 unknown 50 1 1 50 1 1 1 50 50 50 1 1 50 unknown
lola: memory consumption: 207596 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 unknown 50 1 1 50 1 1 1 50 50 50 1 1 50 unknown
lola: memory consumption: 207888 KB
lola: time consumption: 3569 seconds

BK_STOP 1526541396562

--------------------
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-V50P50N20"
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-V50P50N20.tgz
mv BridgeAndVehicles-COL-V50P50N20 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-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 r028-ebro-152646306200198"
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 ;