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 208K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K 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 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K 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.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K 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 4.0K 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-V50P50N10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306200191
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526535144049

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-COL-V50P50N10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-COL-V50P50N10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-COL-V50P50N10 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1456/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 4096
lola: finding significant places
lola: 128 places, 1328 transitions, 121 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1653 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V50P50N10-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p98 + p97 + p96 + p95 + p94 + p93 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p99 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(p53) : MAX(p126) : MAX(0) : MAX(p126) : MAX(0) : MAX(p126) : MAX(p119) : MAX(p51 + p52) : MAX(p120) : MAX(p126) : MAX(p121 + p122) : MAX(p121 + p122) : MAX(0) : MAX(p126) : MAX(p124) : MAX(p119)
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-V50P50N10-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-V50P50N10-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-V50P50N10-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-V50P50N10-UpperBounds-4 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-V50P50N10-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-V50P50N10-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(p126)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p126)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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-V50P50N10-UpperBounds-3 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p126)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p126)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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-V50P50N10-UpperBounds-1 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p126)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p126)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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-V50P50N10-UpperBounds-5 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p119)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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: 16139 markings, 36344 edges, 3228 markings/sec, 0 secs
lola: 42643 markings, 123626 edges, 5301 markings/sec, 5 secs
lola: 56304 markings, 159790 edges, 2732 markings/sec, 10 secs
lola: 81094 markings, 241086 edges, 4958 markings/sec, 15 secs
lola: 104422 markings, 318621 edges, 4666 markings/sec, 20 secs
lola: 118409 markings, 355055 edges, 2797 markings/sec, 25 secs
lola: 142462 markings, 433333 edges, 4811 markings/sec, 30 secs
lola: 165951 markings, 509306 edges, 4698 markings/sec, 35 secs
lola: 185676 markings, 571489 edges, 3945 markings/sec, 40 secs
lola: 201635 markings, 616663 edges, 3192 markings/sec, 45 secs
lola: 224141 markings, 688811 edges, 4501 markings/sec, 50 secs
lola: 246762 markings, 760751 edges, 4524 markings/sec, 55 secs
lola: 267992 markings, 828474 edges, 4246 markings/sec, 60 secs
lola: 291729 markings, 901478 edges, 4747 markings/sec, 65 secs
lola: 307688 markings, 941937 edges, 3192 markings/sec, 70 secs
lola: 322600 markings, 980368 edges, 2982 markings/sec, 75 secs
lola: 349350 markings, 1066362 edges, 5350 markings/sec, 80 secs
lola: 364147 markings, 1107665 edges, 2959 markings/sec, 85 secs
lola: 378522 markings, 1145743 edges, 2875 markings/sec, 90 secs
lola: 404677 markings, 1230192 edges, 5231 markings/sec, 95 secs
lola: 418274 markings, 1267170 edges, 2719 markings/sec, 100 secs
lola: 432685 markings, 1307309 edges, 2882 markings/sec, 105 secs
lola: 456552 markings, 1384207 edges, 4773 markings/sec, 110 secs
lola: 470473 markings, 1420969 edges, 2784 markings/sec, 115 secs
lola: 496027 markings, 1502935 edges, 5111 markings/sec, 120 secs
lola: 508578 markings, 1536839 edges, 2510 markings/sec, 125 secs
lola: 531550 markings, 1611711 edges, 4594 markings/sec, 130 secs
lola: 547386 markings, 1653423 edges, 3167 markings/sec, 135 secs
lola: 563265 markings, 1700100 edges, 3176 markings/sec, 140 secs
lola: 583995 markings, 1763820 edges, 4146 markings/sec, 145 secs
lola: 597490 markings, 1799735 edges, 2699 markings/sec, 150 secs
lola: 620921 markings, 1875015 edges, 4686 markings/sec, 155 secs
lola: 634697 markings, 1911210 edges, 2755 markings/sec, 160 secs
lola: 657537 markings, 1984312 edges, 4568 markings/sec, 165 secs
lola: 671702 markings, 2022184 edges, 2833 markings/sec, 170 secs
lola: 693886 markings, 2091724 edges, 4437 markings/sec, 175 secs
lola: 712151 markings, 2147487 edges, 3653 markings/sec, 180 secs
lola: 732082 markings, 2204160 edges, 3986 markings/sec, 185 secs
lola: 748587 markings, 2247432 edges, 3301 markings/sec, 190 secs
lola: 763652 markings, 2286935 edges, 3013 markings/sec, 195 secs
lola: 781128 markings, 2332619 edges, 3495 markings/sec, 200 secs
lola: 799886 markings, 2382971 edges, 3752 markings/sec, 205 secs
lola: 827087 markings, 2471387 edges, 5440 markings/sec, 210 secs
lola: 840403 markings, 2506743 edges, 2663 markings/sec, 215 secs
lola: 854171 markings, 2544051 edges, 2754 markings/sec, 220 secs
lola: 870495 markings, 2592959 edges, 3265 markings/sec, 225 secs
lola: 894839 markings, 2668577 edges, 4869 markings/sec, 230 secs
lola: 908475 markings, 2704978 edges, 2727 markings/sec, 235 secs
lola: 920862 markings, 2738099 edges, 2477 markings/sec, 240 secs
lola: 946693 markings, 2821507 edges, 5166 markings/sec, 245 secs
lola: 960360 markings, 2858916 edges, 2733 markings/sec, 250 secs
lola: 975221 markings, 2897607 edges, 2972 markings/sec, 255 secs
lola: 991397 markings, 2945665 edges, 3235 markings/sec, 260 secs
lola: 1015179 markings, 3019376 edges, 4756 markings/sec, 265 secs
lola: 1028581 markings, 3055189 edges, 2680 markings/sec, 270 secs
lola: 1041706 markings, 3089803 edges, 2625 markings/sec, 275 secs
lola: 1067825 markings, 3173141 edges, 5224 markings/sec, 280 secs
lola: 1081193 markings, 3208938 edges, 2674 markings/sec, 285 secs
lola: 1093675 markings, 3242609 edges, 2496 markings/sec, 290 secs
lola: 1118844 markings, 3321943 edges, 5034 markings/sec, 295 secs
lola: 1132256 markings, 3357977 edges, 2682 markings/sec, 300 secs
lola: 1145613 markings, 3394337 edges, 2671 markings/sec, 305 secs
lola: 1169908 markings, 3470758 edges, 4859 markings/sec, 310 secs
lola: 1183383 markings, 3507059 edges, 2695 markings/sec, 315 secs
lola: 1196633 markings, 3543126 edges, 2650 markings/sec, 320 secs
lola: 1221035 markings, 3619563 edges, 4880 markings/sec, 325 secs
lola: 1234512 markings, 3655903 edges, 2695 markings/sec, 330 secs
lola: 1246982 markings, 3689174 edges, 2494 markings/sec, 335 secs
lola: 1271399 markings, 3765987 edges, 4883 markings/sec, 340 secs
lola: 1284333 markings, 3800736 edges, 2587 markings/sec, 345 secs
lola: 1302710 markings, 3857705 edges, 3675 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 50 1 50 1 50 unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown
lola: memory consumption: 80084 KB
lola: time consumption: 357 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p120)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p120)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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: 28874 markings, 71812 edges, 5775 markings/sec, 0 secs
lola: 58891 markings, 146844 edges, 6003 markings/sec, 5 secs
lola: 86325 markings, 214030 edges, 5487 markings/sec, 10 secs
lola: 117446 markings, 295340 edges, 6224 markings/sec, 15 secs
lola: 148090 markings, 374873 edges, 6129 markings/sec, 20 secs
lola: 181323 markings, 464614 edges, 6647 markings/sec, 25 secs
lola: 215172 markings, 556606 edges, 6770 markings/sec, 30 secs
lola: 244677 markings, 631418 edges, 5901 markings/sec, 35 secs
lola: 273854 markings, 705266 edges, 5835 markings/sec, 40 secs
lola: 303111 markings, 780675 edges, 5851 markings/sec, 45 secs
lola: 334334 markings, 862085 edges, 6245 markings/sec, 50 secs
lola: 358695 markings, 919816 edges, 4872 markings/sec, 55 secs
lola: 390177 markings, 1006082 edges, 6296 markings/sec, 60 secs
lola: 413722 markings, 1061620 edges, 4709 markings/sec, 65 secs
lola: 437452 markings, 1120905 edges, 4746 markings/sec, 70 secs
lola: 467846 markings, 1201552 edges, 6079 markings/sec, 75 secs
lola: 498546 markings, 1285320 edges, 6140 markings/sec, 80 secs
lola: 521331 markings, 1339935 edges, 4557 markings/sec, 85 secs
lola: 551565 markings, 1421323 edges, 6047 markings/sec, 90 secs
lola: 581791 markings, 1502590 edges, 6045 markings/sec, 95 secs
lola: 605075 markings, 1558999 edges, 4657 markings/sec, 100 secs
lola: 634515 markings, 1636994 edges, 5888 markings/sec, 105 secs
lola: 664044 markings, 1716075 edges, 5906 markings/sec, 110 secs
lola: 692720 markings, 1792320 edges, 5735 markings/sec, 115 secs
lola: 717799 markings, 1856712 edges, 5016 markings/sec, 120 secs
lola: 744382 markings, 1924129 edges, 5317 markings/sec, 125 secs
lola: 767768 markings, 1978914 edges, 4677 markings/sec, 130 secs
lola: 799749 markings, 2066868 edges, 6396 markings/sec, 135 secs
lola: 822819 markings, 2125548 edges, 4614 markings/sec, 140 secs
lola: 845321 markings, 2184304 edges, 4500 markings/sec, 145 secs
lola: 877316 markings, 2271739 edges, 6399 markings/sec, 150 secs
lola: 901359 markings, 2334251 edges, 4809 markings/sec, 155 secs
lola: 924191 markings, 2392796 edges, 4566 markings/sec, 160 secs
lola: 946774 markings, 2454262 edges, 4517 markings/sec, 165 secs
lola: 977859 markings, 2541662 edges, 6217 markings/sec, 170 secs
lola: 1000545 markings, 2601680 edges, 4537 markings/sec, 175 secs
lola: 1031352 markings, 2688192 edges, 6161 markings/sec, 180 secs
lola: 1053986 markings, 2747897 edges, 4527 markings/sec, 185 secs
lola: 1084634 markings, 2833410 edges, 6130 markings/sec, 190 secs
lola: 1107164 markings, 2894695 edges, 4506 markings/sec, 195 secs
lola: 1137050 markings, 2977491 edges, 5977 markings/sec, 200 secs
lola: 1159875 markings, 3038566 edges, 4565 markings/sec, 205 secs
lola: 1189779 markings, 3121301 edges, 5981 markings/sec, 210 secs
lola: 1212477 markings, 3182298 edges, 4540 markings/sec, 215 secs
lola: 1241949 markings, 3263986 edges, 5894 markings/sec, 220 secs
lola: 1264529 markings, 3324868 edges, 4516 markings/sec, 225 secs
lola: 1293679 markings, 3405829 edges, 5830 markings/sec, 230 secs
lola: 1317623 markings, 3470880 edges, 4789 markings/sec, 235 secs
lola: 1346405 markings, 3541677 edges, 5756 markings/sec, 240 secs
lola: 1368885 markings, 3600527 edges, 4496 markings/sec, 245 secs
lola: 1392697 markings, 3659711 edges, 4762 markings/sec, 250 secs
lola: 1416177 markings, 3715668 edges, 4696 markings/sec, 255 secs
lola: 1447843 markings, 3802475 edges, 6333 markings/sec, 260 secs
lola: 1470440 markings, 3865211 edges, 4519 markings/sec, 265 secs
lola: 1493237 markings, 3929192 edges, 4559 markings/sec, 270 secs
lola: 1524882 markings, 4021634 edges, 6329 markings/sec, 275 secs
lola: 1550263 markings, 4080925 edges, 5076 markings/sec, 280 secs
lola: 1573813 markings, 4142963 edges, 4710 markings/sec, 285 secs
lola: 1596399 markings, 4206718 edges, 4517 markings/sec, 290 secs
lola: 1618863 markings, 4268067 edges, 4493 markings/sec, 295 secs
lola: 1646676 markings, 4349027 edges, 5563 markings/sec, 300 secs
lola: 1672975 markings, 4422251 edges, 5260 markings/sec, 305 secs
lola: 1695208 markings, 4482825 edges, 4447 markings/sec, 310 secs
lola: 1724733 markings, 4569332 edges, 5905 markings/sec, 315 secs
lola: 1748756 markings, 4635484 edges, 4805 markings/sec, 320 secs
lola: 1771358 markings, 4697401 edges, 4520 markings/sec, 325 secs
lola: 1801865 markings, 4784270 edges, 6101 markings/sec, 330 secs
lola: 1824618 markings, 4846397 edges, 4551 markings/sec, 335 secs
lola: 1847053 markings, 4910370 edges, 4487 markings/sec, 340 secs
lola: 1877497 markings, 4997276 edges, 6089 markings/sec, 345 secs
lola: 1899980 markings, 5060287 edges, 4497 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 50 1 50 1 50 unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown
lola: memory consumption: 105892 KB
lola: time consumption: 714 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p126)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p126)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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-V50P50N10-UpperBounds-9 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 9 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p53)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges

FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-0 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 475 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p126)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p126)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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-V50P50N10-UpperBounds-13 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 571 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p124)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p124)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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: 221 markings, 220 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-14 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p119)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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: 16708 markings, 37811 edges, 3342 markings/sec, 0 secs
lola: 43681 markings, 126135 edges, 5395 markings/sec, 5 secs
lola: 56961 markings, 161589 edges, 2656 markings/sec, 10 secs
lola: 82272 markings, 244451 edges, 5062 markings/sec, 15 secs
lola: 106655 markings, 323806 edges, 4877 markings/sec, 20 secs
lola: 120442 markings, 361353 edges, 2757 markings/sec, 25 secs
lola: 143585 markings, 436376 edges, 4629 markings/sec, 30 secs
lola: 167259 markings, 512898 edges, 4735 markings/sec, 35 secs
lola: 190677 markings, 587433 edges, 4684 markings/sec, 40 secs
lola: 207707 markings, 638431 edges, 3406 markings/sec, 45 secs
lola: 226588 markings, 695229 edges, 3776 markings/sec, 50 secs
lola: 249015 markings, 766562 edges, 4485 markings/sec, 55 secs
lola: 270881 markings, 836026 edges, 4373 markings/sec, 60 secs
lola: 294273 markings, 908567 edges, 4678 markings/sec, 65 secs
lola: 310258 markings, 949142 edges, 3197 markings/sec, 70 secs
lola: 325515 markings, 987153 edges, 3051 markings/sec, 75 secs
lola: 351994 markings, 1075316 edges, 5296 markings/sec, 80 secs
lola: 368097 markings, 1117542 edges, 3221 markings/sec, 85 secs
lola: 381305 markings, 1152866 edges, 2642 markings/sec, 90 secs
lola: 407706 markings, 1238868 edges, 5280 markings/sec, 95 secs
lola: 420160 markings, 1272301 edges, 2491 markings/sec, 100 secs
lola: 441623 markings, 1340416 edges, 4293 markings/sec, 105 secs
lola: 459834 markings, 1392068 edges, 3642 markings/sec, 110 secs
lola: 473188 markings, 1427962 edges, 2671 markings/sec, 115 secs
lola: 498463 markings, 1509812 edges, 5055 markings/sec, 120 secs
lola: 511935 markings, 1545411 edges, 2694 markings/sec, 125 secs
lola: 536395 markings, 1623737 edges, 4892 markings/sec, 130 secs
lola: 549586 markings, 1659575 edges, 2638 markings/sec, 135 secs
lola: 571676 markings, 1731426 edges, 4418 markings/sec, 140 secs
lola: 587488 markings, 1773262 edges, 3162 markings/sec, 145 secs
lola: 605385 markings, 1828393 edges, 3579 markings/sec, 150 secs
lola: 624407 markings, 1883767 edges, 3804 markings/sec, 155 secs
lola: 641417 markings, 1935311 edges, 3402 markings/sec, 160 secs
lola: 660943 markings, 1992840 edges, 3905 markings/sec, 165 secs
lola: 679714 markings, 2051749 edges, 3754 markings/sec, 170 secs
lola: 697026 markings, 2100363 edges, 3462 markings/sec, 175 secs
lola: 717862 markings, 2166649 edges, 4167 markings/sec, 180 secs
lola: 733865 markings, 2208981 edges, 3201 markings/sec, 185 secs
lola: 753278 markings, 2258906 edges, 3883 markings/sec, 190 secs
lola: 767294 markings, 2296487 edges, 2803 markings/sec, 195 secs
lola: 783990 markings, 2339885 edges, 3339 markings/sec, 200 secs
lola: 806508 markings, 2407610 edges, 4504 markings/sec, 205 secs
lola: 829190 markings, 2477324 edges, 4536 markings/sec, 210 secs
lola: 842743 markings, 2513396 edges, 2711 markings/sec, 215 secs
lola: 855864 markings, 2548780 edges, 2624 markings/sec, 220 secs
lola: 876444 markings, 2615005 edges, 4116 markings/sec, 225 secs
lola: 896289 markings, 2672675 edges, 3969 markings/sec, 230 secs
lola: 909883 markings, 2708926 edges, 2719 markings/sec, 235 secs
lola: 923223 markings, 2743987 edges, 2668 markings/sec, 240 secs
lola: 949858 markings, 2829464 edges, 5327 markings/sec, 245 secs
lola: 962514 markings, 2863813 edges, 2531 markings/sec, 250 secs
lola: 977186 markings, 2903147 edges, 2934 markings/sec, 255 secs
lola: 996263 markings, 2963580 edges, 3815 markings/sec, 260 secs
lola: 1016318 markings, 3022569 edges, 4011 markings/sec, 265 secs
lola: 1029629 markings, 3058051 edges, 2662 markings/sec, 270 secs
lola: 1042784 markings, 3092712 edges, 2631 markings/sec, 275 secs
lola: 1069403 markings, 3177593 edges, 5324 markings/sec, 280 secs
lola: 1082817 markings, 3213551 edges, 2683 markings/sec, 285 secs
lola: 1095491 markings, 3247046 edges, 2535 markings/sec, 290 secs
lola: 1121355 markings, 3329096 edges, 5173 markings/sec, 295 secs
lola: 1134832 markings, 3365314 edges, 2695 markings/sec, 300 secs
lola: 1147123 markings, 3398395 edges, 2458 markings/sec, 305 secs
lola: 1172810 markings, 3478996 edges, 5137 markings/sec, 310 secs
lola: 1186275 markings, 3515231 edges, 2693 markings/sec, 315 secs
lola: 1198855 markings, 3548728 edges, 2516 markings/sec, 320 secs
lola: 1223760 markings, 3627280 edges, 4981 markings/sec, 325 secs
lola: 1236965 markings, 3662794 edges, 2641 markings/sec, 330 secs
lola: 1250821 markings, 3701379 edges, 2771 markings/sec, 335 secs
lola: 1273661 markings, 3772328 edges, 4568 markings/sec, 340 secs
lola: 1286151 markings, 3805608 edges, 2498 markings/sec, 345 secs
lola: 1308218 markings, 3875431 edges, 4413 markings/sec, 350 secs
lola: 1326308 markings, 3922935 edges, 3618 markings/sec, 355 secs
lola: 1339957 markings, 3959969 edges, 2730 markings/sec, 360 secs
lola: 1361681 markings, 4018305 edges, 4345 markings/sec, 365 secs
lola: 1374254 markings, 4052633 edges, 2515 markings/sec, 370 secs
lola: 1394713 markings, 4107699 edges, 4092 markings/sec, 375 secs
lola: 1409001 markings, 4146269 edges, 2858 markings/sec, 380 secs
lola: 1426434 markings, 4192162 edges, 3487 markings/sec, 385 secs
lola: 1453764 markings, 4284371 edges, 5466 markings/sec, 390 secs
lola: 1470962 markings, 4330368 edges, 3440 markings/sec, 395 secs
lola: 1485123 markings, 4367526 edges, 2832 markings/sec, 400 secs
lola: 1498224 markings, 4402422 edges, 2620 markings/sec, 405 secs
lola: 1511117 markings, 4437271 edges, 2579 markings/sec, 410 secs
lola: 1537826 markings, 4524315 edges, 5342 markings/sec, 415 secs
lola: 1552925 markings, 4565938 edges, 3020 markings/sec, 420 secs
lola: 1567406 markings, 4604176 edges, 2896 markings/sec, 425 secs
lola: 1580680 markings, 4639587 edges, 2655 markings/sec, 430 secs
lola: 1592630 markings, 4671101 edges, 2390 markings/sec, 435 secs
lola: 1621921 markings, 4764763 edges, 5858 markings/sec, 440 secs
lola: 1633127 markings, 4796059 edges, 2241 markings/sec, 445 secs
lola: 1648011 markings, 4835633 edges, 2977 markings/sec, 450 secs
lola: 1660760 markings, 4869473 edges, 2550 markings/sec, 455 secs
lola: 1684890 markings, 4948127 edges, 4826 markings/sec, 460 secs
lola: 1702287 markings, 4995501 edges, 3479 markings/sec, 465 secs
lola: 1715962 markings, 5031546 edges, 2735 markings/sec, 470 secs
lola: 1728961 markings, 5066329 edges, 2600 markings/sec, 475 secs
lola: 1742873 markings, 5106127 edges, 2782 markings/sec, 480 secs
lola: 1769001 markings, 5187493 edges, 5226 markings/sec, 485 secs
lola: 1780267 markings, 5217751 edges, 2253 markings/sec, 490 secs
lola: 1793608 markings, 5254034 edges, 2668 markings/sec, 495 secs
lola: 1807692 markings, 5291119 edges, 2817 markings/sec, 500 secs
lola: 1834519 markings, 5375856 edges, 5365 markings/sec, 505 secs
lola: 1845853 markings, 5407573 edges, 2267 markings/sec, 510 secs
lola: 1860041 markings, 5445334 edges, 2838 markings/sec, 515 secs
lola: 1873558 markings, 5480840 edges, 2703 markings/sec, 520 secs
lola: 1899754 markings, 5563340 edges, 5239 markings/sec, 525 secs
lola: 1911014 markings, 5594792 edges, 2252 markings/sec, 530 secs
lola: 1925009 markings, 5632069 edges, 2799 markings/sec, 535 secs
lola: 1938228 markings, 5666730 edges, 2644 markings/sec, 540 secs
lola: 1964749 markings, 5750085 edges, 5304 markings/sec, 545 secs
lola: 1977314 markings, 5783183 edges, 2513 markings/sec, 550 secs
lola: 1990684 markings, 5819415 edges, 2674 markings/sec, 555 secs
lola: 2010935 markings, 5885163 edges, 4050 markings/sec, 560 secs
lola: 2028664 markings, 5933451 edges, 3546 markings/sec, 565 secs
lola: 2042271 markings, 5969663 edges, 2721 markings/sec, 570 secs
lola: 2054687 markings, 6002440 edges, 2483 markings/sec, 575 secs
lola: 2081650 markings, 6083821 edges, 5393 markings/sec, 580 secs
lola: 2095927 markings, 6123559 edges, 2855 markings/sec, 585 secs
lola: 2108885 markings, 6158798 edges, 2592 markings/sec, 590 secs
lola: 2128342 markings, 6215436 edges, 3891 markings/sec, 595 secs
lola: 2149744 markings, 6273885 edges, 4280 markings/sec, 600 secs
lola: 2162422 markings, 6308633 edges, 2536 markings/sec, 605 secs
lola: 2179413 markings, 6356948 edges, 3398 markings/sec, 610 secs
lola: 2200003 markings, 6413301 edges, 4118 markings/sec, 615 secs
lola: 2213188 markings, 6449237 edges, 2637 markings/sec, 620 secs
lola: 2232452 markings, 6502040 edges, 3853 markings/sec, 625 secs
lola: 2253443 markings, 6565490 edges, 4198 markings/sec, 630 secs
lola: 2278712 markings, 6643137 edges, 5054 markings/sec, 635 secs
lola: 2293244 markings, 6684413 edges, 2906 markings/sec, 640 secs
lola: 2306793 markings, 6719097 edges, 2710 markings/sec, 645 secs
lola: 2319414 markings, 6754648 edges, 2524 markings/sec, 650 secs
lola: 2333749 markings, 6792621 edges, 2867 markings/sec, 655 secs
lola: 2346251 markings, 6825416 edges, 2500 markings/sec, 660 secs
lola: 2374434 markings, 6917665 edges, 5637 markings/sec, 665 secs
lola: 2390645 markings, 6962264 edges, 3242 markings/sec, 670 secs
lola: 2403836 markings, 6996000 edges, 2638 markings/sec, 675 secs
lola: 2416624 markings, 7032020 edges, 2558 markings/sec, 680 secs
lola: 2430720 markings, 7069393 edges, 2819 markings/sec, 685 secs
lola: 2443929 markings, 7105088 edges, 2642 markings/sec, 690 secs
lola: 2473023 markings, 7197286 edges, 5819 markings/sec, 695 secs
lola: 2486593 markings, 7235744 edges, 2714 markings/sec, 700 secs
lola: 2501062 markings, 7273359 edges, 2894 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 50 1 50 1 50 unknown unknown unknown 50 unknown unknown 1 50 50 unknown
lola: memory consumption: 133160 KB
lola: time consumption: 1428 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 714 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p121 + p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p121 + p122)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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-V50P50N10-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1071 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p121 + p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p121 + p122)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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-V50P50N10-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2142 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p51 + p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p51 + p52)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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-V50P50N10-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p119)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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: 16552 markings, 37347 edges, 3310 markings/sec, 0 secs
lola: 43529 markings, 125712 edges, 5395 markings/sec, 5 secs
lola: 56860 markings, 161326 edges, 2666 markings/sec, 10 secs
lola: 82121 markings, 244000 edges, 5052 markings/sec, 15 secs
lola: 106126 markings, 322263 edges, 4801 markings/sec, 20 secs
lola: 119217 markings, 357060 edges, 2618 markings/sec, 25 secs
lola: 143347 markings, 435765 edges, 4826 markings/sec, 30 secs
lola: 166992 markings, 512189 edges, 4729 markings/sec, 35 secs
lola: 189711 markings, 585175 edges, 4544 markings/sec, 40 secs
lola: 206057 markings, 632192 edges, 3269 markings/sec, 45 secs
lola: 226021 markings, 693911 edges, 3993 markings/sec, 50 secs
lola: 248152 markings, 764538 edges, 4426 markings/sec, 55 secs
lola: 270314 markings, 834459 edges, 4432 markings/sec, 60 secs
lola: 293490 markings, 906456 edges, 4635 markings/sec, 65 secs
lola: 309344 markings, 946593 edges, 3171 markings/sec, 70 secs
lola: 323825 markings, 983370 edges, 2896 markings/sec, 75 secs
lola: 351032 markings, 1071907 edges, 5441 markings/sec, 80 secs
lola: 366557 markings, 1113126 edges, 3105 markings/sec, 85 secs
lola: 379689 markings, 1148549 edges, 2626 markings/sec, 90 secs
lola: 406368 markings, 1235058 edges, 5336 markings/sec, 95 secs
lola: 419306 markings, 1270021 edges, 2588 markings/sec, 100 secs
lola: 437358 markings, 1324712 edges, 3610 markings/sec, 105 secs
lola: 457317 markings, 1386207 edges, 3992 markings/sec, 110 secs
lola: 471248 markings, 1423037 edges, 2786 markings/sec, 115 secs
lola: 496875 markings, 1505335 edges, 5125 markings/sec, 120 secs
lola: 509154 markings, 1538304 edges, 2456 markings/sec, 125 secs
lola: 532961 markings, 1615240 edges, 4761 markings/sec, 130 secs
lola: 548088 markings, 1655454 edges, 3025 markings/sec, 135 secs
lola: 565163 markings, 1707218 edges, 3415 markings/sec, 140 secs
lola: 584975 markings, 1766104 edges, 3962 markings/sec, 145 secs
lola: 597917 markings, 1800917 edges, 2588 markings/sec, 150 secs
lola: 621086 markings, 1875459 edges, 4634 markings/sec, 155 secs
lola: 634760 markings, 1911379 edges, 2735 markings/sec, 160 secs
lola: 657597 markings, 1984483 edges, 4567 markings/sec, 165 secs
lola: 671124 markings, 2020083 edges, 2705 markings/sec, 170 secs
lola: 693151 markings, 2090068 edges, 4405 markings/sec, 175 secs
lola: 710688 markings, 2142257 edges, 3507 markings/sec, 180 secs
lola: 731660 markings, 2203061 edges, 4194 markings/sec, 185 secs
lola: 747908 markings, 2245635 edges, 3250 markings/sec, 190 secs
lola: 763007 markings, 2285068 edges, 3020 markings/sec, 195 secs
lola: 780791 markings, 2331747 edges, 3557 markings/sec, 200 secs
lola: 798187 markings, 2376800 edges, 3479 markings/sec, 205 secs
lola: 826493 markings, 2469635 edges, 5661 markings/sec, 210 secs
lola: 839456 markings, 2504036 edges, 2593 markings/sec, 215 secs
lola: 853382 markings, 2541806 edges, 2785 markings/sec, 220 secs
lola: 868016 markings, 2583869 edges, 2927 markings/sec, 225 secs
lola: 894186 markings, 2666775 edges, 5234 markings/sec, 230 secs
lola: 907728 markings, 2702876 edges, 2708 markings/sec, 235 secs
lola: 920243 markings, 2736468 edges, 2503 markings/sec, 240 secs
lola: 944667 markings, 2816789 edges, 4885 markings/sec, 245 secs
lola: 959754 markings, 2857314 edges, 3017 markings/sec, 250 secs
lola: 972964 markings, 2892400 edges, 2642 markings/sec, 255 secs
lola: 987271 markings, 2930512 edges, 2861 markings/sec, 260 secs
lola: 1013873 markings, 3015727 edges, 5320 markings/sec, 265 secs
lola: 1027239 markings, 3051421 edges, 2673 markings/sec, 270 secs
lola: 1039592 markings, 3084128 edges, 2471 markings/sec, 275 secs
lola: 1065862 markings, 3167538 edges, 5254 markings/sec, 280 secs
lola: 1078736 markings, 3201915 edges, 2575 markings/sec, 285 secs
lola: 1092059 markings, 3238173 edges, 2665 markings/sec, 290 secs
lola: 1114496 markings, 3311459 edges, 4487 markings/sec, 295 secs
lola: 1128791 markings, 3349834 edges, 2859 markings/sec, 300 secs
lola: 1143638 markings, 3388815 edges, 2969 markings/sec, 305 secs
lola: 1165506 markings, 3460042 edges, 4374 markings/sec, 310 secs
lola: 1180009 markings, 3499097 edges, 2901 markings/sec, 315 secs
lola: 1194681 markings, 3537676 edges, 2934 markings/sec, 320 secs
lola: 1217324 markings, 3609805 edges, 4529 markings/sec, 325 secs
lola: 1231306 markings, 3647111 edges, 2796 markings/sec, 330 secs
lola: 1244978 markings, 3684137 edges, 2734 markings/sec, 335 secs
lola: 1269042 markings, 3759289 edges, 4813 markings/sec, 340 secs
lola: 1282401 markings, 3795343 edges, 2672 markings/sec, 345 secs
lola: 1294298 markings, 3826801 edges, 2379 markings/sec, 350 secs
lola: 1321093 markings, 3908500 edges, 5359 markings/sec, 355 secs
lola: 1332215 markings, 3938545 edges, 2224 markings/sec, 360 secs
lola: 1351715 markings, 3992880 edges, 3900 markings/sec, 365 secs
lola: 1369941 markings, 4041241 edges, 3645 markings/sec, 370 secs
lola: 1385046 markings, 4082445 edges, 3021 markings/sec, 375 secs
lola: 1402697 markings, 4129535 edges, 3530 markings/sec, 380 secs
lola: 1420163 markings, 4175952 edges, 3493 markings/sec, 385 secs
lola: 1446341 markings, 4261427 edges, 5236 markings/sec, 390 secs
lola: 1465509 markings, 4314943 edges, 3834 markings/sec, 395 secs
lola: 1476102 markings, 4344365 edges, 2119 markings/sec, 400 secs
lola: 1491540 markings, 4385519 edges, 3088 markings/sec, 405 secs
lola: 1504804 markings, 4420737 edges, 2653 markings/sec, 410 secs
lola: 1525811 markings, 4487690 edges, 4201 markings/sec, 415 secs
lola: 1547922 markings, 4551870 edges, 4422 markings/sec, 420 secs
lola: 1560493 markings, 4584544 edges, 2514 markings/sec, 425 secs
lola: 1573000 markings, 4619542 edges, 2501 markings/sec, 430 secs
lola: 1587754 markings, 4658189 edges, 2951 markings/sec, 435 secs
lola: 1612279 markings, 4739980 edges, 4905 markings/sec, 440 secs
lola: 1628932 markings, 4784608 edges, 3331 markings/sec, 445 secs
lola: 1643058 markings, 4821793 edges, 2825 markings/sec, 450 secs
lola: 1656305 markings, 4857248 edges, 2649 markings/sec, 455 secs
lola: 1668935 markings, 4891669 edges, 2526 markings/sec, 460 secs
lola: 1696845 markings, 4980131 edges, 5582 markings/sec, 465 secs
lola: 1707640 markings, 5010105 edges, 2159 markings/sec, 470 secs
lola: 1722394 markings, 5049453 edges, 2951 markings/sec, 475 secs
lola: 1736463 markings, 5086311 edges, 2814 markings/sec, 480 secs
lola: 1762345 markings, 5168905 edges, 5176 markings/sec, 485 secs
lola: 1775961 markings, 5207035 edges, 2723 markings/sec, 490 secs
lola: 1790187 markings, 5244782 edges, 2845 markings/sec, 495 secs
lola: 1802760 markings, 5278297 edges, 2515 markings/sec, 500 secs
lola: 1825853 markings, 5353591 edges, 4619 markings/sec, 505 secs
lola: 1842613 markings, 5398727 edges, 3352 markings/sec, 510 secs
lola: 1856619 markings, 5435910 edges, 2801 markings/sec, 515 secs
lola: 1869320 markings, 5469858 edges, 2540 markings/sec, 520 secs
lola: 1892211 markings, 5544332 edges, 4578 markings/sec, 525 secs
lola: 1908386 markings, 5587717 edges, 3235 markings/sec, 530 secs
lola: 1922350 markings, 5624791 edges, 2793 markings/sec, 535 secs
lola: 1934557 markings, 5657234 edges, 2441 markings/sec, 540 secs
lola: 1960573 markings, 5738143 edges, 5203 markings/sec, 545 secs
lola: 1972734 markings, 5772296 edges, 2432 markings/sec, 550 secs
lola: 1986633 markings, 5809239 edges, 2780 markings/sec, 555 secs
lola: 2002684 markings, 5854986 edges, 3210 markings/sec, 560 secs
lola: 2026124 markings, 5926325 edges, 4688 markings/sec, 565 secs
lola: 2039538 markings, 5961999 edges, 2683 markings/sec, 570 secs
lola: 2052244 markings, 5996238 edges, 2541 markings/sec, 575 secs
lola: 2076106 markings, 6070107 edges, 4772 markings/sec, 580 secs
lola: 2093535 markings, 6116978 edges, 3486 markings/sec, 585 secs
lola: 2105099 markings, 6147936 edges, 2313 markings/sec, 590 secs
lola: 2124484 markings, 6204123 edges, 3877 markings/sec, 595 secs
lola: 2145716 markings, 6262899 edges, 4246 markings/sec, 600 secs
lola: 2160501 markings, 6303523 edges, 2957 markings/sec, 605 secs
lola: 2175704 markings, 6346062 edges, 3041 markings/sec, 610 secs
lola: 2196502 markings, 6403646 edges, 4160 markings/sec, 615 secs
lola: 2209644 markings, 6438901 edges, 2628 markings/sec, 620 secs
lola: 2229621 markings, 6494358 edges, 3995 markings/sec, 625 secs
lola: 2244469 markings, 6532850 edges, 2970 markings/sec, 630 secs
lola: 2272059 markings, 6627760 edges, 5518 markings/sec, 635 secs
lola: 2290749 markings, 6677439 edges, 3738 markings/sec, 640 secs
lola: 2300553 markings, 6703963 edges, 1961 markings/sec, 645 secs
lola: 2317271 markings, 6748734 edges, 3344 markings/sec, 650 secs
lola: 2331260 markings, 6785701 edges, 2798 markings/sec, 655 secs
lola: 2343763 markings, 6819064 edges, 2501 markings/sec, 660 secs
lola: 2369095 markings, 6904144 edges, 5066 markings/sec, 665 secs
lola: 2387992 markings, 6954782 edges, 3779 markings/sec, 670 secs
lola: 2397840 markings, 6981885 edges, 1970 markings/sec, 675 secs
lola: 2414464 markings, 7026091 edges, 3325 markings/sec, 680 secs
lola: 2428346 markings, 7062793 edges, 2776 markings/sec, 685 secs
lola: 2440512 markings, 7095195 edges, 2433 markings/sec, 690 secs
lola: 2466903 markings, 7182433 edges, 5278 markings/sec, 695 secs
lola: 2484292 markings, 7229331 edges, 3478 markings/sec, 700 secs
lola: 2497256 markings, 7262512 edges, 2593 markings/sec, 705 secs
lola: 2510058 markings, 7298568 edges, 2560 markings/sec, 710 secs
lola: 2523962 markings, 7335440 edges, 2781 markings/sec, 715 secs
lola: 2542019 markings, 7390963 edges, 3611 markings/sec, 720 secs
lola: 2566710 markings, 7464494 edges, 4938 markings/sec, 725 secs
lola: 2578759 markings, 7498411 edges, 2410 markings/sec, 730 secs
lola: 2594052 markings, 7538625 edges, 3059 markings/sec, 735 secs
lola: 2607147 markings, 7573256 edges, 2619 markings/sec, 740 secs
lola: 2619717 markings, 7607128 edges, 2514 markings/sec, 745 secs
lola: 2645501 markings, 7691031 edges, 5157 markings/sec, 750 secs
lola: 2661859 markings, 7735670 edges, 3272 markings/sec, 755 secs
lola: 2675695 markings, 7771609 edges, 2767 markings/sec, 760 secs
lola: 2686899 markings, 7802746 edges, 2241 markings/sec, 765 secs
lola: 2701740 markings, 7841634 edges, 2968 markings/sec, 770 secs
lola: 2725557 markings, 7920687 edges, 4763 markings/sec, 775 secs
lola: 2743410 markings, 7968312 edges, 3571 markings/sec, 780 secs
lola: 2756565 markings, 8002352 edges, 2631 markings/sec, 785 secs
lola: 2768434 markings, 8035541 edges, 2374 markings/sec, 790 secs
lola: 2782708 markings, 8072900 edges, 2855 markings/sec, 795 secs
lola: 2806059 markings, 8150307 edges, 4670 markings/sec, 800 secs
lola: 2823735 markings, 8197364 edges, 3535 markings/sec, 805 secs
lola: 2837442 markings, 8233103 edges, 2741 markings/sec, 810 secs
lola: 2849994 markings, 8266569 edges, 2510 markings/sec, 815 secs
lola: 2862835 markings, 8301342 edges, 2568 markings/sec, 820 secs
lola: 2889995 markings, 8386404 edges, 5432 markings/sec, 825 secs
lola: 2902678 markings, 8422233 edges, 2537 markings/sec, 830 secs
lola: 2917359 markings, 8461029 edges, 2936 markings/sec, 835 secs
lola: 2930284 markings, 8495496 edges, 2585 markings/sec, 840 secs
lola: 2951593 markings, 8563904 edges, 4262 markings/sec, 845 secs
lola: 2969967 markings, 8614424 edges, 3675 markings/sec, 850 secs
lola: 2982777 markings, 8647826 edges, 2562 markings/sec, 855 secs
lola: 2994949 markings, 8681173 edges, 2434 markings/sec, 860 secs
lola: 3010402 markings, 8724955 edges, 3091 markings/sec, 865 secs
lola: 3037097 markings, 8803436 edges, 5339 markings/sec, 870 secs
lola: 3051947 markings, 8844816 edges, 2970 markings/sec, 875 secs
lola: 3062161 markings, 8871794 edges, 2043 markings/sec, 880 secs
lola: 3080642 markings, 8926939 edges, 3696 markings/sec, 885 secs
lola: 3099145 markings, 8982051 edges, 3701 markings/sec, 890 secs
lola: 3118402 markings, 9039375 edges, 3851 markings/sec, 895 secs
lola: 3137837 markings, 9090364 edges, 3887 markings/sec, 900 secs
lola: 3148603 markings, 9118974 edges, 2153 markings/sec, 905 secs
lola: 3167128 markings, 9174000 edges, 3705 markings/sec, 910 secs
lola: 3186367 markings, 9230877 edges, 3848 markings/sec, 915 secs
lola: 3204810 markings, 9280091 edges, 3689 markings/sec, 920 secs
lola: 3219089 markings, 9320103 edges, 2856 markings/sec, 925 secs
lola: 3239109 markings, 9376502 edges, 4004 markings/sec, 930 secs
lola: 3254175 markings, 9417380 edges, 3013 markings/sec, 935 secs
lola: 3280604 markings, 9504962 edges, 5286 markings/sec, 940 secs
lola: 3301911 markings, 9563758 edges, 4261 markings/sec, 945 secs
lola: 3315955 markings, 9603741 edges, 2809 markings/sec, 950 secs
lola: 3325861 markings, 9630052 edges, 1981 markings/sec, 955 secs
lola: 3343312 markings, 9676842 edges, 3490 markings/sec, 960 secs
lola: 3355980 markings, 9709488 edges, 2534 markings/sec, 965 secs
lola: 3367885 markings, 9742607 edges, 2381 markings/sec, 970 secs
lola: 3381531 markings, 9778476 edges, 2729 markings/sec, 975 secs
lola: 3407983 markings, 9869134 edges, 5290 markings/sec, 980 secs
lola: 3427697 markings, 9921069 edges, 3943 markings/sec, 985 secs
lola: 3438171 markings, 9950289 edges, 2095 markings/sec, 990 secs
lola: 3454796 markings, 9993540 edges, 3325 markings/sec, 995 secs
lola: 3465159 markings, 10022193 edges, 2073 markings/sec, 1000 secs
lola: 3480451 markings, 10062794 edges, 3058 markings/sec, 1005 secs
lola: 3493112 markings, 10095928 edges, 2532 markings/sec, 1010 secs
lola: 3518839 markings, 10183569 edges, 5145 markings/sec, 1015 secs
lola: 3538577 markings, 10235865 edges, 3948 markings/sec, 1020 secs
lola: 3549380 markings, 10266048 edges, 2161 markings/sec, 1025 secs
lola: 3565758 markings, 10308722 edges, 3276 markings/sec, 1030 secs
lola: 3576045 markings, 10337070 edges, 2057 markings/sec, 1035 secs
lola: 3591117 markings, 10377150 edges, 3014 markings/sec, 1040 secs
lola: 3606553 markings, 10421353 edges, 3087 markings/sec, 1045 secs
lola: 3631404 markings, 10501380 edges, 4970 markings/sec, 1050 secs
lola: 3648658 markings, 10548413 edges, 3451 markings/sec, 1055 secs
lola: 3658410 markings, 10575202 edges, 1950 markings/sec, 1060 secs
lola: 3675531 markings, 10620451 edges, 3424 markings/sec, 1065 secs
lola: 3688810 markings, 10655246 edges, 2656 markings/sec, 1070 secs
lola: 3701594 markings, 10689617 edges, 2557 markings/sec, 1075 secs
lola: 3724499 markings, 10765325 edges, 4581 markings/sec, 1080 secs
lola: 3744691 markings, 10821073 edges, 4038 markings/sec, 1085 secs
lola: 3756789 markings, 10855191 edges, 2420 markings/sec, 1090 secs
lola: 3771838 markings, 10894123 edges, 3010 markings/sec, 1095 secs
lola: 3782991 markings, 10925209 edges, 2231 markings/sec, 1100 secs
lola: 3797329 markings, 10963228 edges, 2868 markings/sec, 1105 secs
lola: 3817660 markings, 11028048 edges, 4066 markings/sec, 1110 secs
lola: 3839391 markings, 11089938 edges, 4346 markings/sec, 1115 secs
lola: 3852874 markings, 11128230 edges, 2697 markings/sec, 1120 secs
lola: 3866169 markings, 11162122 edges, 2659 markings/sec, 1125 secs
lola: 3878792 markings, 11197629 edges, 2525 markings/sec, 1130 secs
lola: 3892537 markings, 11234020 edges, 2749 markings/sec, 1135 secs
lola: 3909247 markings, 11285115 edges, 3342 markings/sec, 1140 secs
lola: 3932571 markings, 11354568 edges, 4665 markings/sec, 1145 secs
lola: 3946468 markings, 11394069 edges, 2779 markings/sec, 1150 secs
lola: 3959482 markings, 11427280 edges, 2603 markings/sec, 1155 secs
lola: 3972196 markings, 11463046 edges, 2543 markings/sec, 1160 secs
lola: 3985798 markings, 11499106 edges, 2720 markings/sec, 1165 secs
lola: 4006376 markings, 11565677 edges, 4116 markings/sec, 1170 secs
lola: 4026619 markings, 11621831 edges, 4049 markings/sec, 1175 secs
lola: 4039033 markings, 11656844 edges, 2483 markings/sec, 1180 secs
lola: 4053658 markings, 11694951 edges, 2925 markings/sec, 1185 secs
lola: 4064299 markings, 11723993 edges, 2128 markings/sec, 1190 secs
lola: 4078661 markings, 11761902 edges, 2872 markings/sec, 1195 secs
lola: 4100962 markings, 11836151 edges, 4460 markings/sec, 1200 secs
lola: 4119544 markings, 11885791 edges, 3716 markings/sec, 1205 secs
lola: 4129334 markings, 11912693 edges, 1958 markings/sec, 1210 secs
lola: 4145301 markings, 11955176 edges, 3193 markings/sec, 1215 secs
lola: 4158332 markings, 11989743 edges, 2606 markings/sec, 1220 secs
lola: 4179064 markings, 12056171 edges, 4146 markings/sec, 1225 secs
lola: 4201180 markings, 12114880 edges, 4423 markings/sec, 1230 secs
lola: 4215868 markings, 12155677 edges, 2938 markings/sec, 1235 secs
lola: 4226475 markings, 12184198 edges, 2121 markings/sec, 1240 secs
lola: 4241952 markings, 12229455 edges, 3095 markings/sec, 1245 secs
lola: 4258963 markings, 12281173 edges, 3402 markings/sec, 1250 secs
lola: 4276085 markings, 12333298 edges, 3424 markings/sec, 1255 secs
lola: 4293454 markings, 12386415 edges, 3474 markings/sec, 1260 secs
lola: 4310473 markings, 12438271 edges, 3404 markings/sec, 1265 secs
lola: 4330818 markings, 12491258 edges, 4069 markings/sec, 1270 secs
lola: 4342525 markings, 12523079 edges, 2341 markings/sec, 1275 secs
lola: 4357769 markings, 12567563 edges, 3049 markings/sec, 1280 secs
lola: 4375564 markings, 12621391 edges, 3559 markings/sec, 1285 secs
lola: 4393287 markings, 12674892 edges, 3545 markings/sec, 1290 secs
lola: 4413410 markings, 12730830 edges, 4025 markings/sec, 1295 secs
lola: 4426610 markings, 12766811 edges, 2640 markings/sec, 1300 secs
lola: 4442269 markings, 12812449 edges, 3132 markings/sec, 1305 secs
lola: 4460199 markings, 12865830 edges, 3586 markings/sec, 1310 secs
lola: 4477547 markings, 12912394 edges, 3470 markings/sec, 1315 secs
lola: 4494602 markings, 12958404 edges, 3411 markings/sec, 1320 secs
lola: 4519719 markings, 13043405 edges, 5023 markings/sec, 1325 secs
lola: 4539954 markings, 13100567 edges, 4047 markings/sec, 1330 secs
lola: 4556170 markings, 13146444 edges, 3243 markings/sec, 1335 secs
lola: 4566744 markings, 13176002 edges, 2115 markings/sec, 1340 secs
lola: 4583131 markings, 13217710 edges, 3277 markings/sec, 1345 secs
lola: 4595445 markings, 13252419 edges, 2463 markings/sec, 1350 secs
lola: 4609678 markings, 13289144 edges, 2847 markings/sec, 1355 secs
lola: 4620665 markings, 13319672 edges, 2197 markings/sec, 1360 secs
lola: 4634202 markings, 13355038 edges, 2707 markings/sec, 1365 secs
lola: 4659814 markings, 13442031 edges, 5122 markings/sec, 1370 secs
lola: 4679929 markings, 13496833 edges, 4023 markings/sec, 1375 secs
lola: 4694118 markings, 13537279 edges, 2838 markings/sec, 1380 secs
lola: 4703897 markings, 13564315 edges, 1956 markings/sec, 1385 secs
lola: 4721576 markings, 13610161 edges, 3536 markings/sec, 1390 secs
lola: 4732391 markings, 13640267 edges, 2163 markings/sec, 1395 secs
lola: 4747877 markings, 13680935 edges, 3097 markings/sec, 1400 secs
lola: 4760004 markings, 13712985 edges, 2425 markings/sec, 1405 secs
lola: 4780154 markings, 13779040 edges, 4030 markings/sec, 1410 secs
lola: 4797989 markings, 13835918 edges, 3567 markings/sec, 1415 secs
lola: 4818420 markings, 13889479 edges, 4086 markings/sec, 1420 secs
lola: 4829825 markings, 13921578 edges, 2281 markings/sec, 1425 secs
lola: 4844628 markings, 13958874 edges, 2961 markings/sec, 1430 secs
lola: 4857831 markings, 13996198 edges, 2641 markings/sec, 1435 secs
lola: 4871648 markings, 14032001 edges, 2763 markings/sec, 1440 secs
lola: 4882574 markings, 14062146 edges, 2185 markings/sec, 1445 secs
lola: 4899647 markings, 14111997 edges, 3415 markings/sec, 1450 secs
lola: 4921707 markings, 14186123 edges, 4412 markings/sec, 1455 secs
lola: 4942100 markings, 14239974 edges, 4079 markings/sec, 1460 secs
lola: 4953905 markings, 14273205 edges, 2361 markings/sec, 1465 secs
lola: 4968323 markings, 14309554 edges, 2884 markings/sec, 1470 secs
lola: 4981796 markings, 14347583 edges, 2695 markings/sec, 1475 secs
lola: 4995878 markings, 14384311 edges, 2816 markings/sec, 1480 secs
lola: 5008203 markings, 14417230 edges, 2465 markings/sec, 1485 secs
lola: 5030258 markings, 14490112 edges, 4411 markings/sec, 1490 secs
lola: 5048200 markings, 14542751 edges, 3588 markings/sec, 1495 secs
lola: 5066223 markings, 14591774 edges, 3605 markings/sec, 1500 secs
lola: 5076657 markings, 14620804 edges, 2087 markings/sec, 1505 secs
lola: 5093383 markings, 14664226 edges, 3345 markings/sec, 1510 secs
lola: 5104247 markings, 14694395 edges, 2173 markings/sec, 1515 secs
lola: 5119350 markings, 14734323 edges, 3021 markings/sec, 1520 secs
lola: 5131259 markings, 14765680 edges, 2382 markings/sec, 1525 secs
lola: 5155728 markings, 14848810 edges, 4894 markings/sec, 1530 secs
lola: 5176093 markings, 14903201 edges, 4073 markings/sec, 1535 secs
lola: 5188154 markings, 14937213 edges, 2412 markings/sec, 1540 secs
lola: 5202380 markings, 14973250 edges, 2845 markings/sec, 1545 secs
lola: 5215262 markings, 15009584 edges, 2576 markings/sec, 1550 secs
lola: 5229470 markings, 15046950 edges, 2842 markings/sec, 1555 secs
lola: 5241530 markings, 15079082 edges, 2412 markings/sec, 1560 secs
lola: 5264958 markings, 15157857 edges, 4686 markings/sec, 1565 secs
lola: 5284705 markings, 15211133 edges, 3949 markings/sec, 1570 secs
lola: 5297288 markings, 15246654 edges, 2517 markings/sec, 1575 secs
lola: 5311172 markings, 15281915 edges, 2777 markings/sec, 1580 secs
lola: 5324315 markings, 15318944 edges, 2629 markings/sec, 1585 secs
lola: 5338078 markings, 15355177 edges, 2753 markings/sec, 1590 secs
lola: 5349680 markings, 15385936 edges, 2320 markings/sec, 1595 secs
lola: 5373359 markings, 15465924 edges, 4736 markings/sec, 1600 secs
lola: 5393064 markings, 15518523 edges, 3941 markings/sec, 1605 secs
lola: 5404515 markings, 15550639 edges, 2290 markings/sec, 1610 secs
lola: 5419860 markings, 15590313 edges, 3069 markings/sec, 1615 secs
lola: 5431054 markings, 15621451 edges, 2239 markings/sec, 1620 secs
lola: 5445161 markings, 15658840 edges, 2821 markings/sec, 1625 secs
lola: 5465730 markings, 15724034 edges, 4114 markings/sec, 1630 secs
lola: 5485424 markings, 15780336 edges, 3939 markings/sec, 1635 secs
lola: 5500158 markings, 15822155 edges, 2947 markings/sec, 1640 secs
lola: 5510124 markings, 15848811 edges, 1993 markings/sec, 1645 secs
lola: 5526738 markings, 15893420 edges, 3323 markings/sec, 1650 secs
lola: 5540148 markings, 15928850 edges, 2682 markings/sec, 1655 secs
lola: 5554860 markings, 15972362 edges, 2942 markings/sec, 1660 secs
lola: 5574937 markings, 16038136 edges, 4015 markings/sec, 1665 secs
lola: 5597999 markings, 16096394 edges, 4612 markings/sec, 1670 secs
lola: 5611469 markings, 16133685 edges, 2694 markings/sec, 1675 secs
lola: 5621882 markings, 16161426 edges, 2083 markings/sec, 1680 secs
lola: 5636170 markings, 16204182 edges, 2858 markings/sec, 1685 secs
lola: 5652220 markings, 16252749 edges, 3210 markings/sec, 1690 secs
lola: 5668584 markings, 16304275 edges, 3273 markings/sec, 1695 secs
lola: 5684593 markings, 16353956 edges, 3202 markings/sec, 1700 secs
lola: 5700854 markings, 16403347 edges, 3252 markings/sec, 1705 secs
lola: 5716940 markings, 16453675 edges, 3217 markings/sec, 1710 secs
lola: 5733056 markings, 16502884 edges, 3223 markings/sec, 1715 secs
lola: 5754326 markings, 16559725 edges, 4254 markings/sec, 1720 secs
lola: 5768202 markings, 16598020 edges, 2775 markings/sec, 1725 secs
lola: 5778629 markings, 16624527 edges, 2085 markings/sec, 1730 secs
lola: 5795098 markings, 16676484 edges, 3294 markings/sec, 1735 secs
lola: 5811650 markings, 16727150 edges, 3310 markings/sec, 1740 secs
lola: 5828110 markings, 16777710 edges, 3292 markings/sec, 1745 secs
lola: 5844281 markings, 16827415 edges, 3234 markings/sec, 1750 secs
lola: 5860588 markings, 16877125 edges, 3261 markings/sec, 1755 secs
lola: 5879440 markings, 16925814 edges, 3770 markings/sec, 1760 secs
lola: 5891478 markings, 16958913 edges, 2408 markings/sec, 1765 secs
lola: 5907637 markings, 17007737 edges, 3232 markings/sec, 1770 secs
lola: 5924428 markings, 17058910 edges, 3358 markings/sec, 1775 secs
lola: 5942731 markings, 17110702 edges, 3661 markings/sec, 1780 secs
lola: 5956141 markings, 17146705 edges, 2682 markings/sec, 1785 secs
lola: 5973898 markings, 17195847 edges, 3551 markings/sec, 1790 secs
lola: 5999327 markings, 17281000 edges, 5086 markings/sec, 1795 secs
lola: 6014655 markings, 17331049 edges, 3066 markings/sec, 1800 secs
lola: 6036337 markings, 17387083 edges, 4336 markings/sec, 1805 secs
lola: 6049310 markings, 17423860 edges, 2595 markings/sec, 1810 secs
lola: 6058848 markings, 17450112 edges, 1908 markings/sec, 1815 secs
lola: 6077569 markings, 17498193 edges, 3744 markings/sec, 1820 secs
lola: 6089390 markings, 17531455 edges, 2364 markings/sec, 1825 secs
lola: 6103984 markings, 17568767 edges, 2919 markings/sec, 1830 secs
lola: 6116116 markings, 17602709 edges, 2426 markings/sec, 1835 secs
lola: 6129816 markings, 17638785 edges, 2740 markings/sec, 1840 secs
lola: 6152643 markings, 17715255 edges, 4565 markings/sec, 1845 secs
lola: 6168799 markings, 17766683 edges, 3231 markings/sec, 1850 secs
lola: 6189941 markings, 17822082 edges, 4228 markings/sec, 1855 secs
lola: 6203438 markings, 17860423 edges, 2699 markings/sec, 1860 secs
lola: 6213248 markings, 17887496 edges, 1962 markings/sec, 1865 secs
lola: 6231167 markings, 17933366 edges, 3584 markings/sec, 1870 secs
lola: 6243231 markings, 17967318 edges, 2413 markings/sec, 1875 secs
lola: 6257500 markings, 18003899 edges, 2854 markings/sec, 1880 secs
lola: 6269475 markings, 18037322 edges, 2395 markings/sec, 1885 secs
lola: 6282865 markings, 18072585 edges, 2678 markings/sec, 1890 secs
lola: 6306610 markings, 18151344 edges, 4749 markings/sec, 1895 secs
lola: 6321968 markings, 18201030 edges, 3072 markings/sec, 1900 secs
lola: 6343182 markings, 18256222 edges, 4243 markings/sec, 1905 secs
lola: 6355542 markings, 18291149 edges, 2472 markings/sec, 1910 secs
lola: 6364658 markings, 18315856 edges, 1823 markings/sec, 1915 secs
lola: 6384103 markings, 18366747 edges, 3889 markings/sec, 1920 secs
lola: 6394672 markings, 18396113 edges, 2114 markings/sec, 1925 secs
lola: 6410700 markings, 18438086 edges, 3206 markings/sec, 1930 secs
lola: 6423042 markings, 18470595 edges, 2468 markings/sec, 1935 secs
lola: 6441265 markings, 18528335 edges, 3645 markings/sec, 1940 secs
lola: 6460942 markings, 18593051 edges, 3935 markings/sec, 1945 secs
lola: 6481355 markings, 18647550 edges, 4083 markings/sec, 1950 secs
lola: 6495403 markings, 18687482 edges, 2810 markings/sec, 1955 secs
lola: 6505387 markings, 18715122 edges, 1997 markings/sec, 1960 secs
lola: 6522976 markings, 18760335 edges, 3518 markings/sec, 1965 secs
lola: 6534623 markings, 18793021 edges, 2329 markings/sec, 1970 secs
lola: 6549239 markings, 18830961 edges, 2923 markings/sec, 1975 secs
lola: 6559866 markings, 18860135 edges, 2125 markings/sec, 1980 secs
lola: 6577937 markings, 18913834 edges, 3614 markings/sec, 1985 secs
lola: 6598904 markings, 18983924 edges, 4193 markings/sec, 1990 secs
lola: 6619239 markings, 19038278 edges, 4067 markings/sec, 1995 secs
lola: 6633293 markings, 19078269 edges, 2811 markings/sec, 2000 secs
lola: 6643209 markings, 19105658 edges, 1983 markings/sec, 2005 secs
lola: 6660896 markings, 19151356 edges, 3537 markings/sec, 2010 secs
lola: 6672212 markings, 19183015 edges, 2263 markings/sec, 2015 secs
lola: 6687353 markings, 19222620 edges, 3028 markings/sec, 2020 secs
lola: 6699641 markings, 19255219 edges, 2458 markings/sec, 2025 secs
lola: 6721609 markings, 19326572 edges, 4394 markings/sec, 2030 secs
lola: 6736868 markings, 19376494 edges, 3052 markings/sec, 2035 secs
lola: 6757735 markings, 19431029 edges, 4173 markings/sec, 2040 secs
lola: 6769734 markings, 19464815 edges, 2400 markings/sec, 2045 secs
lola: 6782048 markings, 19495820 edges, 2463 markings/sec, 2050 secs
lola: 6797779 markings, 19539413 edges, 3146 markings/sec, 2055 secs
lola: 6809455 markings, 19569540 edges, 2335 markings/sec, 2060 secs
lola: 6823069 markings, 19607214 edges, 2723 markings/sec, 2065 secs
lola: 6839488 markings, 19655808 edges, 3284 markings/sec, 2070 secs
lola: 6860221 markings, 19724580 edges, 4147 markings/sec, 2075 secs
lola: 6880370 markings, 19778683 edges, 4030 markings/sec, 2080 secs
lola: 6893713 markings, 19816504 edges, 2669 markings/sec, 2085 secs
lola: 6903041 markings, 19841942 edges, 1866 markings/sec, 2090 secs
lola: 6921133 markings, 19889442 edges, 3618 markings/sec, 2095 secs
lola: 6931095 markings, 19916761 edges, 1992 markings/sec, 2100 secs
lola: 6946380 markings, 19957304 edges, 3057 markings/sec, 2105 secs
lola: 6961254 markings, 20000456 edges, 2975 markings/sec, 2110 secs
lola: 6982346 markings, 20070866 edges, 4218 markings/sec, 2115 secs
lola: 7002319 markings, 20124609 edges, 3995 markings/sec, 2120 secs
lola: 7015452 markings, 20161779 edges, 2627 markings/sec, 2125 secs
lola: 7024635 markings, 20186628 edges, 1837 markings/sec, 2130 secs
lola: 7042962 markings, 20235087 edges, 3665 markings/sec, 2135 secs
lola: time limit reached - aborting
lola:
preliminary result: 50 50 1 50 1 50 unknown 1 unknown 50 1 1 1 50 50 unknown
lola:
preliminary result: 50 50 1 50 1 50 unknown 1 unknown 50 1 1 1 50 50 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 50 1 50 1 50 unknown 1 unknown 50 1 1 1 50 50 unknown
lola: memory consumption: 330024 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 50 1 50 1 50 unknown 1 unknown 50 1 1 1 50 50 unknown
lola: memory consumption: 330476 KB
lola: time consumption: 3570 seconds

BK_STOP 1526538714653

--------------------
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-V50P50N10"
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-V50P50N10.tgz
mv BridgeAndVehicles-COL-V50P50N10 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-V50P50N10, 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-152646306200191"
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 ;