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 232K
-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 3.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K 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.4K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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 45K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BridgeAndVehicles-COL-V80P50N10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306200233
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526549996615

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P50N10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P50N10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-COL-V80P50N10 @ 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: 2296/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 6016
lola: finding significant places
lola: 188 places, 2108 transitions, 181 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2613 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V80P50N10-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p98 + p100 + p101 + p102 + p97 + p96 + p95 + p94 + p93 + p92 + p99 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(p0 + p1) : MAX(p184) : MAX(p9) : MAX(p187) : MAX(0) : MAX(0) : MAX(p2 + p3) : MAX(p91) : MAX(p0 + p1) : MAX(0) : MAX(p91) : MAX(p7 + p8) : MAX(p185) : MAX(p6) : MAX(p7 + p8) : MAX(p2 + p3)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 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-V80P50N10-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-V80P50N10-UpperBounds-4 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-V80P50N10-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-V80P50N10-UpperBounds-5 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-V80P50N10-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-V80P50N10-UpperBounds-9 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(p184)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p184)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================

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

FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-2 80 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(p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p91)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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: 25372 markings, 45200 edges, 5074 markings/sec, 30 secs
lola: 51386 markings, 93318 edges, 5203 markings/sec, 35 secs
lola: 77130 markings, 141242 edges, 5149 markings/sec, 40 secs
lola: 103142 markings, 188188 edges, 5202 markings/sec, 45 secs
lola: 129212 markings, 236464 edges, 5214 markings/sec, 50 secs
lola: 154574 markings, 283404 edges, 5072 markings/sec, 55 secs
lola: 180698 markings, 330822 edges, 5225 markings/sec, 60 secs
lola: 206984 markings, 379260 edges, 5257 markings/sec, 65 secs
lola: 232878 markings, 427548 edges, 5179 markings/sec, 70 secs
lola: 259312 markings, 475639 edges, 5287 markings/sec, 75 secs
lola: 285198 markings, 523218 edges, 5177 markings/sec, 80 secs
lola: 311470 markings, 571773 edges, 5254 markings/sec, 85 secs
lola: 338066 markings, 621097 edges, 5319 markings/sec, 90 secs
lola: 363909 markings, 667692 edges, 5169 markings/sec, 95 secs
lola: 390112 markings, 716229 edges, 5241 markings/sec, 100 secs
lola: 415926 markings, 764622 edges, 5163 markings/sec, 105 secs
lola: 442504 markings, 812130 edges, 5316 markings/sec, 110 secs
lola: 468754 markings, 860651 edges, 5250 markings/sec, 115 secs
lola: 495150 markings, 909739 edges, 5279 markings/sec, 120 secs
lola: 520978 markings, 956385 edges, 5166 markings/sec, 125 secs
lola: 547210 markings, 1004929 edges, 5246 markings/sec, 130 secs
lola: 573418 markings, 1052963 edges, 5242 markings/sec, 135 secs
lola: 599776 markings, 1100840 edges, 5272 markings/sec, 140 secs
lola: 625690 markings, 1149204 edges, 5183 markings/sec, 145 secs
lola: 651960 markings, 1196680 edges, 5254 markings/sec, 150 secs
lola: 678156 markings, 1244984 edges, 5239 markings/sec, 155 secs
lola: 704414 markings, 1293578 edges, 5252 markings/sec, 160 secs
lola: 730320 markings, 1340564 edges, 5181 markings/sec, 165 secs
lola: 756666 markings, 1389044 edges, 5269 markings/sec, 170 secs
lola: 782462 markings, 1437212 edges, 5159 markings/sec, 175 secs
lola: 796020 markings, 1460632 edges, 2712 markings/sec, 180 secs
lola: 802242 markings, 1471190 edges, 1244 markings/sec, 185 secs
lola: 808466 markings, 1482200 edges, 1245 markings/sec, 190 secs
lola: 814681 markings, 1494219 edges, 1243 markings/sec, 195 secs
lola: 820894 markings, 1506063 edges, 1243 markings/sec, 200 secs
lola: 830356 markings, 1522019 edges, 1892 markings/sec, 205 secs
lola: 836578 markings, 1532641 edges, 1244 markings/sec, 210 secs
lola: 842802 markings, 1543497 edges, 1245 markings/sec, 215 secs
lola: 849016 markings, 1555504 edges, 1243 markings/sec, 220 secs
lola: 855158 markings, 1567222 edges, 1228 markings/sec, 225 secs
lola: 864552 markings, 1583002 edges, 1879 markings/sec, 230 secs
lola: 870806 markings, 1593840 edges, 1251 markings/sec, 235 secs
lola: 877062 markings, 1604645 edges, 1251 markings/sec, 240 secs
lola: 883310 markings, 1616725 edges, 1250 markings/sec, 245 secs
lola: 889554 markings, 1628654 edges, 1249 markings/sec, 250 secs
lola: 898958 markings, 1644475 edges, 1881 markings/sec, 255 secs
lola: 905112 markings, 1655083 edges, 1231 markings/sec, 260 secs
lola: 911162 markings, 1665567 edges, 1210 markings/sec, 265 secs
lola: 917324 markings, 1677480 edges, 1232 markings/sec, 270 secs
lola: 923494 markings, 1689268 edges, 1234 markings/sec, 275 secs
lola: 932652 markings, 1704630 edges, 1832 markings/sec, 280 secs
lola: 938780 markings, 1715224 edges, 1226 markings/sec, 285 secs
lola: 944954 markings, 1725967 edges, 1235 markings/sec, 290 secs
lola: 951120 markings, 1737893 edges, 1233 markings/sec, 295 secs
lola: 957280 markings, 1749587 edges, 1232 markings/sec, 300 secs
lola: 966520 markings, 1765227 edges, 1848 markings/sec, 305 secs
lola: 972690 markings, 1775773 edges, 1234 markings/sec, 310 secs
lola: 978868 markings, 1786619 edges, 1236 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 80 80 unknown 1 1 unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 100940 KB
lola: time consumption: 326 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p187)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p187)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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: 9435 markings, 18928 edges, 1887 markings/sec, 0 secs
lola: 15699 markings, 34107 edges, 1253 markings/sec, 5 secs
lola: 23771 markings, 54856 edges, 1614 markings/sec, 10 secs
lola: 31623 markings, 73138 edges, 1570 markings/sec, 15 secs
lola: 39065 markings, 90837 edges, 1488 markings/sec, 20 secs
lola: 46222 markings, 108385 edges, 1431 markings/sec, 25 secs
lola: 53359 markings, 125184 edges, 1427 markings/sec, 30 secs
lola: 64989 markings, 165917 edges, 2326 markings/sec, 35 secs
lola: 77716 markings, 213429 edges, 2545 markings/sec, 40 secs
lola: 90532 markings, 260589 edges, 2563 markings/sec, 45 secs
lola: 101770 markings, 298806 edges, 2248 markings/sec, 50 secs
lola: 110078 markings, 320458 edges, 1662 markings/sec, 55 secs
lola: 117514 markings, 339957 edges, 1487 markings/sec, 60 secs
lola: 124752 markings, 359176 edges, 1448 markings/sec, 65 secs
lola: 131839 markings, 378039 edges, 1417 markings/sec, 70 secs
lola: 138916 markings, 396473 edges, 1415 markings/sec, 75 secs
lola: 147679 markings, 423675 edges, 1753 markings/sec, 80 secs
lola: 160792 markings, 471981 edges, 2623 markings/sec, 85 secs
lola: 173587 markings, 519838 edges, 2559 markings/sec, 90 secs
lola: 186064 markings, 563682 edges, 2495 markings/sec, 95 secs
lola: 193900 markings, 585066 edges, 1567 markings/sec, 100 secs
lola: 201552 markings, 605247 edges, 1530 markings/sec, 105 secs
lola: 208840 markings, 624560 edges, 1458 markings/sec, 110 secs
lola: 215740 markings, 642901 edges, 1380 markings/sec, 115 secs
lola: 223132 markings, 662269 edges, 1478 markings/sec, 120 secs
lola: 233924 markings, 698886 edges, 2158 markings/sec, 125 secs
lola: 247002 markings, 747469 edges, 2616 markings/sec, 130 secs
lola: 260261 markings, 796260 edges, 2652 markings/sec, 135 secs
lola: 271148 markings, 830393 edges, 2177 markings/sec, 140 secs
lola: 278175 markings, 848707 edges, 1405 markings/sec, 145 secs
lola: 285016 markings, 867333 edges, 1368 markings/sec, 150 secs
lola: 292799 markings, 887754 edges, 1557 markings/sec, 155 secs
lola: 300068 markings, 907507 edges, 1454 markings/sec, 160 secs
lola: 308075 markings, 930329 edges, 1601 markings/sec, 165 secs
lola: 321265 markings, 978928 edges, 2638 markings/sec, 170 secs
lola: 334232 markings, 1027382 edges, 2593 markings/sec, 175 secs
lola: 346729 markings, 1070773 edges, 2499 markings/sec, 180 secs
lola: 354212 markings, 1091319 edges, 1497 markings/sec, 185 secs
lola: 361834 markings, 1111469 edges, 1524 markings/sec, 190 secs
lola: 369041 markings, 1130620 edges, 1441 markings/sec, 195 secs
lola: 376408 markings, 1149553 edges, 1473 markings/sec, 200 secs
lola: 383455 markings, 1168375 edges, 1409 markings/sec, 205 secs
lola: 396146 markings, 1214379 edges, 2538 markings/sec, 210 secs
lola: 409276 markings, 1263047 edges, 2626 markings/sec, 215 secs
lola: 422135 markings, 1310656 edges, 2572 markings/sec, 220 secs
lola: 430389 markings, 1332169 edges, 1651 markings/sec, 225 secs
lola: 437892 markings, 1351986 edges, 1501 markings/sec, 230 secs
lola: 445091 markings, 1371165 edges, 1440 markings/sec, 235 secs
lola: 451836 markings, 1388979 edges, 1349 markings/sec, 240 secs
lola: 459379 markings, 1408643 edges, 1509 markings/sec, 245 secs
lola: 471836 markings, 1453740 edges, 2491 markings/sec, 250 secs
lola: 484992 markings, 1502316 edges, 2631 markings/sec, 255 secs
lola: 497590 markings, 1548470 edges, 2520 markings/sec, 260 secs
lola: 505652 markings, 1569760 edges, 1612 markings/sec, 265 secs
lola: 513156 markings, 1589602 edges, 1501 markings/sec, 270 secs
lola: 520268 markings, 1608475 edges, 1422 markings/sec, 275 secs
lola: 527631 markings, 1627523 edges, 1473 markings/sec, 280 secs
lola: 535132 markings, 1648312 edges, 1500 markings/sec, 285 secs
lola: 548292 markings, 1696661 edges, 2632 markings/sec, 290 secs
lola: 561456 markings, 1745511 edges, 2633 markings/sec, 295 secs
lola: 573486 markings, 1785475 edges, 2406 markings/sec, 300 secs
lola: 579921 markings, 1803376 edges, 1287 markings/sec, 305 secs
lola: 587389 markings, 1823324 edges, 1494 markings/sec, 310 secs
lola: 595255 markings, 1843564 edges, 1573 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 80 80 unknown 1 1 unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 74732 KB
lola: time consumption: 650 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p91)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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: 26060 markings, 46481 edges, 5212 markings/sec, 30 secs
lola: 52436 markings, 95191 edges, 5275 markings/sec, 35 secs
lola: 78352 markings, 143667 edges, 5183 markings/sec, 40 secs
lola: 104782 markings, 191207 edges, 5286 markings/sec, 45 secs
lola: 130930 markings, 239708 edges, 5230 markings/sec, 50 secs
lola: 157328 markings, 288521 edges, 5280 markings/sec, 55 secs
lola: 183113 markings, 335323 edges, 5157 markings/sec, 60 secs
lola: 209326 markings, 383586 edges, 5243 markings/sec, 65 secs
lola: 234936 markings, 431548 edges, 5122 markings/sec, 70 secs
lola: 261346 markings, 479226 edges, 5282 markings/sec, 75 secs
lola: 287072 markings, 526796 edges, 5145 markings/sec, 80 secs
lola: 313262 markings, 575113 edges, 5238 markings/sec, 85 secs
lola: 339428 markings, 623541 edges, 5233 markings/sec, 90 secs
lola: 364958 markings, 669662 edges, 5106 markings/sec, 95 secs
lola: 390954 markings, 717765 edges, 5199 markings/sec, 100 secs
lola: 416249 markings, 765224 edges, 5059 markings/sec, 105 secs
lola: 442821 markings, 812748 edges, 5314 markings/sec, 110 secs
lola: 469034 markings, 861187 edges, 5243 markings/sec, 115 secs
lola: 495748 markings, 910636 edges, 5343 markings/sec, 120 secs
lola: 521246 markings, 956806 edges, 5100 markings/sec, 125 secs
lola: 547432 markings, 1005317 edges, 5237 markings/sec, 130 secs
lola: 573640 markings, 1053185 edges, 5242 markings/sec, 135 secs
lola: 599938 markings, 1101173 edges, 5260 markings/sec, 140 secs
lola: 625262 markings, 1148564 edges, 5065 markings/sec, 145 secs
lola: 651658 markings, 1196129 edges, 5279 markings/sec, 150 secs
lola: 677833 markings, 1244405 edges, 5235 markings/sec, 155 secs
lola: 704114 markings, 1292931 edges, 5256 markings/sec, 160 secs
lola: 730050 markings, 1340021 edges, 5187 markings/sec, 165 secs
lola: 756438 markings, 1388588 edges, 5278 markings/sec, 170 secs
lola: 782240 markings, 1436767 edges, 5160 markings/sec, 175 secs
lola: 795962 markings, 1460546 edges, 2744 markings/sec, 180 secs
lola: 802184 markings, 1471103 edges, 1244 markings/sec, 185 secs
lola: 808244 markings, 1481756 edges, 1212 markings/sec, 190 secs
lola: 814464 markings, 1493844 edges, 1244 markings/sec, 195 secs
lola: 820688 markings, 1505652 edges, 1245 markings/sec, 200 secs
lola: 830168 markings, 1521643 edges, 1896 markings/sec, 205 secs
lola: 836404 markings, 1532305 edges, 1247 markings/sec, 210 secs
lola: 842586 markings, 1543065 edges, 1236 markings/sec, 215 secs
lola: 848818 markings, 1555108 edges, 1246 markings/sec, 220 secs
lola: 855052 markings, 1567007 edges, 1247 markings/sec, 225 secs
lola: 864434 markings, 1582825 edges, 1876 markings/sec, 230 secs
lola: 870674 markings, 1593642 edges, 1248 markings/sec, 235 secs
lola: 876922 markings, 1604365 edges, 1250 markings/sec, 240 secs
lola: 883156 markings, 1616417 edges, 1247 markings/sec, 245 secs
lola: 889382 markings, 1628310 edges, 1245 markings/sec, 250 secs
lola: 898774 markings, 1644142 edges, 1878 markings/sec, 255 secs
lola: 905014 markings, 1654936 edges, 1248 markings/sec, 260 secs
lola: 911260 markings, 1665763 edges, 1249 markings/sec, 265 secs
lola: 917484 markings, 1677800 edges, 1245 markings/sec, 270 secs
lola: 923710 markings, 1689673 edges, 1245 markings/sec, 275 secs
lola: 933060 markings, 1705446 edges, 1870 markings/sec, 280 secs
lola: 939250 markings, 1716082 edges, 1238 markings/sec, 285 secs
lola: 945432 markings, 1726841 edges, 1236 markings/sec, 290 secs
lola: 951526 markings, 1738631 edges, 1219 markings/sec, 295 secs
lola: 957722 markings, 1750449 edges, 1239 markings/sec, 300 secs
lola: 966946 markings, 1766024 edges, 1845 markings/sec, 305 secs
lola: 973072 markings, 1776351 edges, 1225 markings/sec, 310 secs
lola: 979262 markings, 1787407 edges, 1238 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 80 80 unknown 1 1 unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 101024 KB
lola: time consumption: 975 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p185)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p185)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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: 10697 markings, 20168 edges, 2139 markings/sec, 0 secs
lola: 15262 markings, 30843 edges, 913 markings/sec, 5 secs
lola: 24260 markings, 48998 edges, 1800 markings/sec, 10 secs
lola: 32282 markings, 65305 edges, 1604 markings/sec, 15 secs
lola: 39776 markings, 80706 edges, 1499 markings/sec, 20 secs
lola: 46859 markings, 95726 edges, 1417 markings/sec, 25 secs
lola: 54046 markings, 110485 edges, 1437 markings/sec, 30 secs
lola: 72296 markings, 169084 edges, 3650 markings/sec, 35 secs
lola: 94628 markings, 243654 edges, 4466 markings/sec, 40 secs
lola: 104210 markings, 269392 edges, 1916 markings/sec, 45 secs
lola: 110321 markings, 283034 edges, 1222 markings/sec, 50 secs
lola: 116145 markings, 296796 edges, 1165 markings/sec, 55 secs
lola: 123303 markings, 312842 edges, 1432 markings/sec, 60 secs
lola: 130422 markings, 329139 edges, 1424 markings/sec, 65 secs
lola: 136399 markings, 342639 edges, 1195 markings/sec, 70 secs
lola: 156499 markings, 408690 edges, 4020 markings/sec, 75 secs
lola: 176347 markings, 473095 edges, 3970 markings/sec, 80 secs
lola: 184551 markings, 488313 edges, 1641 markings/sec, 85 secs
lola: 190162 markings, 501911 edges, 1122 markings/sec, 90 secs
lola: 197816 markings, 519286 edges, 1531 markings/sec, 95 secs
lola: 204739 markings, 534986 edges, 1385 markings/sec, 100 secs
lola: 211311 markings, 549807 edges, 1314 markings/sec, 105 secs
lola: 217548 markings, 564049 edges, 1247 markings/sec, 110 secs
lola: 224163 markings, 578888 edges, 1323 markings/sec, 115 secs
lola: 237428 markings, 619396 edges, 2653 markings/sec, 120 secs
lola: 260035 markings, 694792 edges, 4521 markings/sec, 125 secs
lola: 271054 markings, 724489 edges, 2204 markings/sec, 130 secs
lola: 277817 markings, 739644 edges, 1353 markings/sec, 135 secs
lola: 284416 markings, 754579 edges, 1320 markings/sec, 140 secs
lola: 290866 markings, 769457 edges, 1290 markings/sec, 145 secs
lola: 297275 markings, 783784 edges, 1282 markings/sec, 150 secs
lola: 310314 markings, 823425 edges, 2608 markings/sec, 155 secs
lola: 332846 markings, 898555 edges, 4506 markings/sec, 160 secs
lola: 343507 markings, 926905 edges, 2132 markings/sec, 165 secs
lola: 350333 markings, 942363 edges, 1365 markings/sec, 170 secs
lola: 356926 markings, 957346 edges, 1319 markings/sec, 175 secs
lola: 363223 markings, 971740 edges, 1259 markings/sec, 180 secs
lola: 369720 markings, 986316 edges, 1299 markings/sec, 185 secs
lola: 384300 markings, 1032172 edges, 2916 markings/sec, 190 secs
lola: 406526 markings, 1106455 edges, 4445 markings/sec, 195 secs
lola: 414751 markings, 1125813 edges, 1645 markings/sec, 200 secs
lola: 421632 markings, 1141276 edges, 1376 markings/sec, 205 secs
lola: 428086 markings, 1156035 edges, 1291 markings/sec, 210 secs
lola: 434028 markings, 1169495 edges, 1188 markings/sec, 215 secs
lola: 440848 markings, 1184702 edges, 1364 markings/sec, 220 secs
lola: 459680 markings, 1246384 edges, 3766 markings/sec, 225 secs
lola: 479258 markings, 1307762 edges, 3916 markings/sec, 230 secs
lola: 484468 markings, 1320051 edges, 1042 markings/sec, 235 secs
lola: 491429 markings, 1335903 edges, 1392 markings/sec, 240 secs
lola: 498491 markings, 1351523 edges, 1412 markings/sec, 245 secs
lola: 505175 markings, 1366904 edges, 1337 markings/sec, 250 secs
lola: 515671 markings, 1397126 edges, 2099 markings/sec, 255 secs
lola: 538484 markings, 1473080 edges, 4563 markings/sec, 260 secs
lola: 549205 markings, 1501892 edges, 2144 markings/sec, 265 secs
lola: 555900 markings, 1516997 edges, 1339 markings/sec, 270 secs
lola: 562377 markings, 1531864 edges, 1295 markings/sec, 275 secs
lola: 568347 markings, 1545451 edges, 1194 markings/sec, 280 secs
lola: 574862 markings, 1559963 edges, 1303 markings/sec, 285 secs
lola: 595795 markings, 1628984 edges, 4187 markings/sec, 290 secs
lola: 612243 markings, 1678863 edges, 3290 markings/sec, 295 secs
lola: 618555 markings, 1693013 edges, 1262 markings/sec, 300 secs
lola: 625105 markings, 1708029 edges, 1310 markings/sec, 305 secs
lola: 631682 markings, 1723104 edges, 1315 markings/sec, 310 secs
lola: 637875 markings, 1737137 edges, 1239 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 80 80 unknown 1 1 unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 69760 KB
lola: time consumption: 1299 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges

FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-13 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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-V80P50N10-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 11 will run for 454 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7 + p8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7 + p8)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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: 7 markings, 6 edges
lola: ========================================

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

FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 756 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2 + p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2 + p3)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges

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

FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2 + p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2 + p3)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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-V80P50N10-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p91)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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: 26072 markings, 46505 edges, 5214 markings/sec, 30 secs
lola: 52460 markings, 95227 edges, 5278 markings/sec, 35 secs
lola: 78458 markings, 143902 edges, 5200 markings/sec, 40 secs
lola: 104864 markings, 191373 edges, 5281 markings/sec, 45 secs
lola: 131032 markings, 239954 edges, 5234 markings/sec, 50 secs
lola: 156880 markings, 287564 edges, 5170 markings/sec, 55 secs
lola: 182926 markings, 334996 edges, 5209 markings/sec, 60 secs
lola: 209296 markings, 383526 edges, 5274 markings/sec, 65 secs
lola: 235114 markings, 431943 edges, 5164 markings/sec, 70 secs
lola: 261620 markings, 479701 edges, 5301 markings/sec, 75 secs
lola: 287774 markings, 527980 edges, 5231 markings/sec, 80 secs
lola: 313954 markings, 576514 edges, 5236 markings/sec, 85 secs
lola: 340260 markings, 624993 edges, 5261 markings/sec, 90 secs
lola: 366450 markings, 672480 edges, 5238 markings/sec, 95 secs
lola: 392714 markings, 721062 edges, 5253 markings/sec, 100 secs
lola: 419483 markings, 770698 edges, 5354 markings/sec, 105 secs
lola: 444836 markings, 816473 edges, 5071 markings/sec, 110 secs
lola: 471080 markings, 865088 edges, 5249 markings/sec, 115 secs
lola: 497400 markings, 913739 edges, 5264 markings/sec, 120 secs
lola: 523594 markings, 961091 edges, 5239 markings/sec, 125 secs
lola: 549450 markings, 1009187 edges, 5171 markings/sec, 130 secs
lola: 575286 markings, 1055991 edges, 5167 markings/sec, 135 secs
lola: 601534 markings, 1104077 edges, 5250 markings/sec, 140 secs
lola: 627706 markings, 1152655 edges, 5234 markings/sec, 145 secs
lola: 653672 markings, 1199735 edges, 5193 markings/sec, 150 secs
lola: 679530 markings, 1247617 edges, 5172 markings/sec, 155 secs
lola: 705444 markings, 1295366 edges, 5183 markings/sec, 160 secs
lola: 731088 markings, 1341945 edges, 5129 markings/sec, 165 secs
lola: 757484 markings, 1390445 edges, 5279 markings/sec, 170 secs
lola: 783202 markings, 1438694 edges, 5144 markings/sec, 175 secs
lola: 796126 markings, 1460791 edges, 2585 markings/sec, 180 secs
lola: 802290 markings, 1471272 edges, 1233 markings/sec, 185 secs
lola: 808538 markings, 1482344 edges, 1250 markings/sec, 190 secs
lola: 814764 markings, 1494384 edges, 1245 markings/sec, 195 secs
lola: 820878 markings, 1506031 edges, 1223 markings/sec, 200 secs
lola: 830348 markings, 1522003 edges, 1894 markings/sec, 205 secs
lola: 836406 markings, 1532308 edges, 1212 markings/sec, 210 secs
lola: 842630 markings, 1543153 edges, 1245 markings/sec, 215 secs
lola: 848860 markings, 1555192 edges, 1246 markings/sec, 220 secs
lola: 855092 markings, 1567090 edges, 1246 markings/sec, 225 secs
lola: 864530 markings, 1582969 edges, 1888 markings/sec, 230 secs
lola: 870774 markings, 1593792 edges, 1249 markings/sec, 235 secs
lola: 876946 markings, 1604413 edges, 1234 markings/sec, 240 secs
lola: 883102 markings, 1616309 edges, 1231 markings/sec, 245 secs
lola: 889320 markings, 1628186 edges, 1244 markings/sec, 250 secs
lola: 898708 markings, 1644043 edges, 1878 markings/sec, 255 secs
lola: 904946 markings, 1654835 edges, 1248 markings/sec, 260 secs
lola: 911182 markings, 1665607 edges, 1247 markings/sec, 265 secs
lola: 917380 markings, 1677592 edges, 1240 markings/sec, 270 secs
lola: 923518 markings, 1689316 edges, 1228 markings/sec, 275 secs
lola: 932796 markings, 1704918 edges, 1856 markings/sec, 280 secs
lola: 939014 markings, 1715610 edges, 1244 markings/sec, 285 secs
lola: 945174 markings, 1726407 edges, 1232 markings/sec, 290 secs
lola: 951250 markings, 1738153 edges, 1215 markings/sec, 295 secs
lola: 957404 markings, 1749835 edges, 1231 markings/sec, 300 secs
lola: 966708 markings, 1765603 edges, 1861 markings/sec, 305 secs
lola: 972940 markings, 1776147 edges, 1246 markings/sec, 310 secs
lola: 979172 markings, 1787227 edges, 1246 markings/sec, 315 secs
lola: 985398 markings, 1799263 edges, 1245 markings/sec, 320 secs
lola: 991622 markings, 1810981 edges, 1245 markings/sec, 325 secs
lola: 1000886 markings, 1826392 edges, 1853 markings/sec, 330 secs
lola: 1007124 markings, 1836955 edges, 1248 markings/sec, 335 secs
lola: 1013360 markings, 1848536 edges, 1247 markings/sec, 340 secs
lola: 1019584 markings, 1860519 edges, 1245 markings/sec, 345 secs
lola: 1028144 markings, 1875499 edges, 1712 markings/sec, 350 secs
lola: 1035032 markings, 1887292 edges, 1378 markings/sec, 355 secs
lola: 1041270 markings, 1897682 edges, 1248 markings/sec, 360 secs
lola: 1047490 markings, 1909742 edges, 1244 markings/sec, 365 secs
lola: 1053710 markings, 1921647 edges, 1244 markings/sec, 370 secs
lola: 1062840 markings, 1937086 edges, 1826 markings/sec, 375 secs
lola: 1069006 markings, 1947706 edges, 1233 markings/sec, 380 secs
lola: 1075176 markings, 1958532 edges, 1234 markings/sec, 385 secs
lola: 1081336 markings, 1970479 edges, 1232 markings/sec, 390 secs
lola: 1087488 markings, 1982071 edges, 1230 markings/sec, 395 secs
lola: 1096566 markings, 1997205 edges, 1816 markings/sec, 400 secs
lola: 1102738 markings, 2007523 edges, 1234 markings/sec, 405 secs
lola: 1108896 markings, 2019109 edges, 1232 markings/sec, 410 secs
lola: 1115046 markings, 2030965 edges, 1230 markings/sec, 415 secs
lola: 1124020 markings, 2046521 edges, 1795 markings/sec, 420 secs
lola: 1130238 markings, 2057096 edges, 1244 markings/sec, 425 secs
lola: 1136410 markings, 2067751 edges, 1234 markings/sec, 430 secs
lola: 1142568 markings, 2079623 edges, 1232 markings/sec, 435 secs
lola: 1148726 markings, 2091287 edges, 1232 markings/sec, 440 secs
lola: 1156148 markings, 2103358 edges, 1484 markings/sec, 445 secs
lola: 1166510 markings, 2121106 edges, 2072 markings/sec, 450 secs
lola: 1193026 markings, 2169109 edges, 5303 markings/sec, 455 secs
lola: 1199200 markings, 2179657 edges, 1235 markings/sec, 460 secs
lola: 1205376 markings, 2190738 edges, 1235 markings/sec, 465 secs
lola: 1211542 markings, 2202635 edges, 1233 markings/sec, 470 secs
lola: 1217856 markings, 2213827 edges, 1263 markings/sec, 475 secs
lola: 1226940 markings, 2229055 edges, 1817 markings/sec, 480 secs
lola: 1252154 markings, 2275301 edges, 5043 markings/sec, 485 secs
lola: 1261896 markings, 2291469 edges, 1948 markings/sec, 490 secs
lola: 1268142 markings, 2301888 edges, 1249 markings/sec, 495 secs
lola: 1274370 markings, 2313989 edges, 1246 markings/sec, 500 secs
lola: 1280576 markings, 2325814 edges, 1241 markings/sec, 505 secs
lola: 1286940 markings, 2336345 edges, 1273 markings/sec, 510 secs
lola: 1298176 markings, 2355479 edges, 2247 markings/sec, 515 secs
lola: 1324358 markings, 2402688 edges, 5236 markings/sec, 520 secs
lola: 1330598 markings, 2413428 edges, 1248 markings/sec, 525 secs
lola: 1336798 markings, 2424599 edges, 1240 markings/sec, 530 secs
lola: 1342902 markings, 2436384 edges, 1221 markings/sec, 535 secs
lola: 1349258 markings, 2447443 edges, 1271 markings/sec, 540 secs
lola: 1358266 markings, 2462801 edges, 1802 markings/sec, 545 secs
lola: 1385608 markings, 2512099 edges, 5468 markings/sec, 550 secs
lola: 1392520 markings, 2523839 edges, 1382 markings/sec, 555 secs
lola: 1398750 markings, 2534457 edges, 1246 markings/sec, 560 secs
lola: 1404978 markings, 2546493 edges, 1246 markings/sec, 565 secs
lola: 1411200 markings, 2558202 edges, 1244 markings/sec, 570 secs
lola: 1419560 markings, 2571806 edges, 1672 markings/sec, 575 secs
lola: 1438692 markings, 2606323 edges, 3826 markings/sec, 580 secs
lola: 1454386 markings, 2634013 edges, 3139 markings/sec, 585 secs
lola: 1460624 markings, 2644282 edges, 1248 markings/sec, 590 secs
lola: 1466848 markings, 2656347 edges, 1245 markings/sec, 595 secs
lola: 1473072 markings, 2668226 edges, 1245 markings/sec, 600 secs
lola: 1480476 markings, 2680309 edges, 1481 markings/sec, 605 secs
lola: 1492688 markings, 2700991 edges, 2442 markings/sec, 610 secs
lola: 1515866 markings, 2743269 edges, 4636 markings/sec, 615 secs
lola: 1522094 markings, 2753708 edges, 1246 markings/sec, 620 secs
lola: 1528310 markings, 2765535 edges, 1243 markings/sec, 625 secs
lola: 1534516 markings, 2777413 edges, 1241 markings/sec, 630 secs
lola: 1541140 markings, 2788409 edges, 1325 markings/sec, 635 secs
lola: 1552036 markings, 2806967 edges, 2179 markings/sec, 640 secs
lola: 1576948 markings, 2851962 edges, 4982 markings/sec, 645 secs
lola: 1583172 markings, 2862372 edges, 1245 markings/sec, 650 secs
lola: 1589394 markings, 2874127 edges, 1244 markings/sec, 655 secs
lola: 1595552 markings, 2885917 edges, 1232 markings/sec, 660 secs
lola: 1602434 markings, 2897286 edges, 1376 markings/sec, 665 secs
lola: 1612844 markings, 2915096 edges, 2082 markings/sec, 670 secs
lola: 1637188 markings, 2959101 edges, 4869 markings/sec, 675 secs
lola: 1643432 markings, 2969518 edges, 1249 markings/sec, 680 secs
lola: 1649676 markings, 2981318 edges, 1249 markings/sec, 685 secs
lola: 1655908 markings, 2993197 edges, 1246 markings/sec, 690 secs
lola: 1663222 markings, 3005214 edges, 1463 markings/sec, 695 secs
lola: 1677156 markings, 3029358 edges, 2787 markings/sec, 700 secs
lola: 1697606 markings, 3066383 edges, 4090 markings/sec, 705 secs
lola: 1703846 markings, 3076808 edges, 1248 markings/sec, 710 secs
lola: 1710080 markings, 3088886 edges, 1247 markings/sec, 715 secs
lola: 1716304 markings, 3100598 edges, 1245 markings/sec, 720 secs
lola: 1724510 markings, 3114107 edges, 1641 markings/sec, 725 secs
lola: 1749184 markings, 3158762 edges, 4935 markings/sec, 730 secs
lola: 1757692 markings, 3173066 edges, 1702 markings/sec, 735 secs
lola: 1763930 markings, 3183877 edges, 1248 markings/sec, 740 secs
lola: 1770164 markings, 3195906 edges, 1247 markings/sec, 745 secs
lola: 1776532 markings, 3206983 edges, 1274 markings/sec, 750 secs
lola: 1785898 markings, 3223055 edges, 1873 markings/sec, 755 secs
lola: 1812654 markings, 3270643 edges, 5351 markings/sec, 760 secs
lola: 1822684 markings, 3287931 edges, 2006 markings/sec, 765 secs
lola: 1849054 markings, 3335590 edges, 5274 markings/sec, 770 secs
lola: 1855236 markings, 3345929 edges, 1236 markings/sec, 775 secs
lola: 1861476 markings, 3357747 edges, 1248 markings/sec, 780 secs
lola: 1867632 markings, 3369444 edges, 1231 markings/sec, 785 secs
lola: 1875780 markings, 3382783 edges, 1630 markings/sec, 790 secs
lola: 1898195 markings, 3423724 edges, 4483 markings/sec, 795 secs
lola: 1912336 markings, 3447441 edges, 2828 markings/sec, 800 secs
lola: 1939724 markings, 3496789 edges, 5478 markings/sec, 805 secs
lola: 1946246 markings, 3507921 edges, 1304 markings/sec, 810 secs
lola: 1952486 markings, 3519167 edges, 1248 markings/sec, 815 secs
lola: 1958714 markings, 3531070 edges, 1246 markings/sec, 820 secs
lola: 1965280 markings, 3542103 edges, 1313 markings/sec, 825 secs
lola: 1979378 markings, 3566367 edges, 2820 markings/sec, 830 secs
lola: 2002286 markings, 3607281 edges, 4582 markings/sec, 835 secs
lola: 2028432 markings, 3654578 edges, 5229 markings/sec, 840 secs
lola: 2036600 markings, 3668429 edges, 1634 markings/sec, 845 secs
lola: 2042838 markings, 3679468 edges, 1248 markings/sec, 850 secs
lola: 2049062 markings, 3691423 edges, 1245 markings/sec, 855 secs
lola: 2055438 markings, 3702158 edges, 1275 markings/sec, 860 secs
lola: 2066154 markings, 3720479 edges, 2143 markings/sec, 865 secs
lola: 2092036 markings, 3766733 edges, 5176 markings/sec, 870 secs
lola: 2117552 markings, 3813328 edges, 5103 markings/sec, 875 secs
lola: 2126232 markings, 3827561 edges, 1736 markings/sec, 880 secs
lola: 2132474 markings, 3838651 edges, 1248 markings/sec, 885 secs
lola: 2138700 markings, 3850605 edges, 1245 markings/sec, 890 secs
lola: 2145074 markings, 3861367 edges, 1275 markings/sec, 895 secs
lola: 2158026 markings, 3883449 edges, 2590 markings/sec, 900 secs
lola: 2181500 markings, 3925543 edges, 4695 markings/sec, 905 secs
lola: 2208180 markings, 3973677 edges, 5336 markings/sec, 910 secs
lola: 2215182 markings, 3985487 edges, 1400 markings/sec, 915 secs
lola: 2221416 markings, 3996721 edges, 1247 markings/sec, 920 secs
lola: 2227600 markings, 4008518 edges, 1237 markings/sec, 925 secs
lola: 2234844 markings, 4020592 edges, 1449 markings/sec, 930 secs
lola: 2255394 markings, 4057772 edges, 4110 markings/sec, 935 secs
lola: 2270684 markings, 4083833 edges, 3058 markings/sec, 940 secs
lola: 2296936 markings, 4131041 edges, 5250 markings/sec, 945 secs
lola: 2303234 markings, 4141703 edges, 1260 markings/sec, 950 secs
lola: 2309366 markings, 4153027 edges, 1226 markings/sec, 955 secs
lola: 2315550 markings, 4164747 edges, 1237 markings/sec, 960 secs
lola: 2324210 markings, 4178993 edges, 1732 markings/sec, 965 secs
lola: 2348636 markings, 4222661 edges, 4885 markings/sec, 970 secs
lola: 2359580 markings, 4241357 edges, 2189 markings/sec, 975 secs
lola: 2384394 markings, 4286034 edges, 4963 markings/sec, 980 secs
lola: 2390634 markings, 4296679 edges, 1248 markings/sec, 985 secs
lola: 2396852 markings, 4308661 edges, 1244 markings/sec, 990 secs
lola: 2403220 markings, 4319609 edges, 1274 markings/sec, 995 secs
lola: 2413334 markings, 4336926 edges, 2023 markings/sec, 1000 secs
lola: 2437646 markings, 4380440 edges, 4862 markings/sec, 1005 secs
lola: 2463014 markings, 4426153 edges, 5074 markings/sec, 1010 secs
lola: 2471170 markings, 4439834 edges, 1631 markings/sec, 1015 secs
lola: 2477412 markings, 4451153 edges, 1248 markings/sec, 1020 secs
lola: 2483630 markings, 4462994 edges, 1244 markings/sec, 1025 secs
lola: 2491554 markings, 4476181 edges, 1585 markings/sec, 1030 secs
lola: 2516000 markings, 4519665 edges, 4889 markings/sec, 1035 secs
lola: 2526840 markings, 4538224 edges, 2168 markings/sec, 1040 secs
lola: 2551040 markings, 4581744 edges, 4840 markings/sec, 1045 secs
lola: 2557276 markings, 4592512 edges, 1247 markings/sec, 1050 secs
lola: 2563502 markings, 4604468 edges, 1245 markings/sec, 1055 secs
lola: 2569870 markings, 4615324 edges, 1274 markings/sec, 1060 secs
lola: 2587406 markings, 4646502 edges, 3507 markings/sec, 1065 secs
lola: 2604952 markings, 4677057 edges, 3509 markings/sec, 1070 secs
lola: 2630198 markings, 4722269 edges, 5049 markings/sec, 1075 secs
lola: 2636434 markings, 4732692 edges, 1247 markings/sec, 1080 secs
lola: 2642586 markings, 4744558 edges, 1230 markings/sec, 1085 secs
lola: 2648928 markings, 4755605 edges, 1268 markings/sec, 1090 secs
lola: 2658836 markings, 4772561 edges, 1982 markings/sec, 1095 secs
lola: 2682978 markings, 4815491 edges, 4828 markings/sec, 1100 secs
lola: 2709160 markings, 4862217 edges, 5236 markings/sec, 1105 secs
lola: 2719682 markings, 4880411 edges, 2104 markings/sec, 1110 secs
lola: 2746716 markings, 4928959 edges, 5407 markings/sec, 1115 secs
lola: 2752958 markings, 4939501 edges, 1248 markings/sec, 1120 secs
lola: 2758916 markings, 4950995 edges, 1192 markings/sec, 1125 secs
lola: 2765130 markings, 4961692 edges, 1243 markings/sec, 1130 secs
lola: 2775144 markings, 4978835 edges, 2003 markings/sec, 1135 secs
lola: 2798628 markings, 5020776 edges, 4697 markings/sec, 1140 secs
lola: 2824376 markings, 5066716 edges, 5150 markings/sec, 1145 secs
lola: 2835284 markings, 5085373 edges, 2182 markings/sec, 1150 secs
lola: 2861520 markings, 5132702 edges, 5247 markings/sec, 1155 secs
lola: 2867700 markings, 5143167 edges, 1236 markings/sec, 1160 secs
lola: 2873754 markings, 5154835 edges, 1211 markings/sec, 1165 secs
lola: 2880086 markings, 5165686 edges, 1266 markings/sec, 1170 secs
lola: 2899954 markings, 5201420 edges, 3974 markings/sec, 1175 secs
lola: 2914318 markings, 5225794 edges, 2873 markings/sec, 1180 secs
lola: 2939710 markings, 5271178 edges, 5078 markings/sec, 1185 secs
lola: 2949962 markings, 5288665 edges, 2050 markings/sec, 1190 secs
lola: 2975218 markings, 5334258 edges, 5051 markings/sec, 1195 secs
lola: 2981380 markings, 5345074 edges, 1232 markings/sec, 1200 secs
lola: 2987556 markings, 5356874 edges, 1235 markings/sec, 1205 secs
lola: 2995734 markings, 5370512 edges, 1636 markings/sec, 1210 secs
lola: 3018998 markings, 5411740 edges, 4653 markings/sec, 1215 secs
lola: 3034260 markings, 5438693 edges, 3052 markings/sec, 1220 secs
lola: 3054734 markings, 5474984 edges, 4095 markings/sec, 1225 secs
lola: 3081704 markings, 5523466 edges, 5394 markings/sec, 1230 secs
lola: 3088414 markings, 5534724 edges, 1342 markings/sec, 1235 secs
lola: 3094640 markings, 5546445 edges, 1245 markings/sec, 1240 secs
lola: 3100998 markings, 5557367 edges, 1272 markings/sec, 1245 secs
lola: 3116314 markings, 5584517 edges, 3063 markings/sec, 1250 secs
lola: 3134528 markings, 5616315 edges, 3643 markings/sec, 1255 secs
lola: 3159492 markings, 5661001 edges, 4993 markings/sec, 1260 secs
lola: 3173844 markings, 5685745 edges, 2870 markings/sec, 1265 secs
lola: 3194420 markings, 5722965 edges, 4115 markings/sec, 1270 secs
lola: 3200582 markings, 5733990 edges, 1232 markings/sec, 1275 secs
lola: 3206874 markings, 5745668 edges, 1258 markings/sec, 1280 secs
lola: 3215796 markings, 5760592 edges, 1784 markings/sec, 1285 secs
lola: 3238122 markings, 5800364 edges, 4465 markings/sec, 1290 secs
lola: 3263462 markings, 5845366 edges, 5068 markings/sec, 1295 secs
lola: 3274060 markings, 5863583 edges, 2120 markings/sec, 1300 secs
lola: 3299080 markings, 5908592 edges, 5004 markings/sec, 1305 secs
lola: 3305234 markings, 5919306 edges, 1231 markings/sec, 1310 secs
lola: 3311382 markings, 5931041 edges, 1230 markings/sec, 1315 secs
lola: 3319480 markings, 5944540 edges, 1620 markings/sec, 1320 secs
lola: 3341572 markings, 5983844 edges, 4418 markings/sec, 1325 secs
lola: 3364098 markings, 6024713 edges, 4505 markings/sec, 1330 secs
lola: 3377416 markings, 6046896 edges, 2664 markings/sec, 1335 secs
lola: 3402596 markings, 6092069 edges, 5036 markings/sec, 1340 secs
lola: 3408768 markings, 6102763 edges, 1234 markings/sec, 1345 secs
lola: 3414922 markings, 6114519 edges, 1231 markings/sec, 1350 secs
lola: 3423042 markings, 6128066 edges, 1624 markings/sec, 1355 secs
lola: 3444818 markings, 6166830 edges, 4355 markings/sec, 1360 secs
lola: 3467621 markings, 6208139 edges, 4561 markings/sec, 1365 secs
lola: 3480322 markings, 6229282 edges, 2540 markings/sec, 1370 secs
lola: 3505278 markings, 6274139 edges, 4991 markings/sec, 1375 secs
lola: 3511506 markings, 6284941 edges, 1246 markings/sec, 1380 secs
lola: 3517712 markings, 6296745 edges, 1241 markings/sec, 1385 secs
lola: 3526266 markings, 6311035 edges, 1711 markings/sec, 1390 secs
lola: 3548648 markings, 6350587 edges, 4476 markings/sec, 1395 secs
lola: 3572488 markings, 6393197 edges, 4768 markings/sec, 1400 secs
lola: 3583498 markings, 6411937 edges, 2202 markings/sec, 1405 secs
lola: 3607182 markings, 6454591 edges, 4737 markings/sec, 1410 secs
lola: 3613416 markings, 6465809 edges, 1247 markings/sec, 1415 secs
lola: 3619790 markings, 6477065 edges, 1275 markings/sec, 1420 secs
lola: 3635760 markings, 6505481 edges, 3194 markings/sec, 1425 secs
lola: 3651610 markings, 6532840 edges, 3170 markings/sec, 1430 secs
lola: 3675478 markings, 6575427 edges, 4774 markings/sec, 1435 secs
lola: 3700388 markings, 6620181 edges, 4982 markings/sec, 1440 secs
lola: 3707998 markings, 6632791 edges, 1522 markings/sec, 1445 secs
lola: 3714158 markings, 6644638 edges, 1232 markings/sec, 1450 secs
lola: 3722208 markings, 6658161 edges, 1610 markings/sec, 1455 secs
lola: 3743778 markings, 6696305 edges, 4314 markings/sec, 1460 secs
lola: 3767552 markings, 6738618 edges, 4755 markings/sec, 1465 secs
lola: 3778164 markings, 6756846 edges, 2122 markings/sec, 1470 secs
lola: 3804574 markings, 6804012 edges, 5282 markings/sec, 1475 secs
lola: 3820726 markings, 6832633 edges, 3230 markings/sec, 1480 secs
lola: 3839510 markings, 6866195 edges, 3757 markings/sec, 1485 secs
lola: 3845716 markings, 6877630 edges, 1241 markings/sec, 1490 secs
lola: 3852678 markings, 6889571 edges, 1392 markings/sec, 1495 secs
lola: 3873502 markings, 6926517 edges, 4165 markings/sec, 1500 secs
lola: 3893932 markings, 6963351 edges, 4086 markings/sec, 1505 secs
lola: 3908092 markings, 6987293 edges, 2832 markings/sec, 1510 secs
lola: 3933994 markings, 7033618 edges, 5180 markings/sec, 1515 secs
lola: 3945622 markings, 7053123 edges, 2326 markings/sec, 1520 secs
lola: 3969560 markings, 7096692 edges, 4788 markings/sec, 1525 secs
lola: 3975702 markings, 7107931 edges, 1228 markings/sec, 1530 secs
lola: 3982626 markings, 7119794 edges, 1385 markings/sec, 1535 secs
lola: 4002982 markings, 7156004 edges, 4071 markings/sec, 1540 secs
lola: 4023032 markings, 7192102 edges, 4010 markings/sec, 1545 secs
lola: 4037142 markings, 7215968 edges, 2822 markings/sec, 1550 secs
lola: 4062690 markings, 7261664 edges, 5110 markings/sec, 1555 secs
lola: 4075728 markings, 7283827 edges, 2608 markings/sec, 1560 secs
lola: 4097934 markings, 7324114 edges, 4441 markings/sec, 1565 secs
lola: 4104002 markings, 7335298 edges, 1214 markings/sec, 1570 secs
lola: 4111326 markings, 7347821 edges, 1465 markings/sec, 1575 secs
lola: 4131790 markings, 7384092 edges, 4093 markings/sec, 1580 secs
lola: 4155274 markings, 7425667 edges, 4697 markings/sec, 1585 secs
lola: 4165890 markings, 7443879 edges, 2123 markings/sec, 1590 secs
lola: 4191246 markings, 7489345 edges, 5071 markings/sec, 1595 secs
lola: 4216508 markings, 7535352 edges, 5052 markings/sec, 1600 secs
lola: 4225412 markings, 7549779 edges, 1781 markings/sec, 1605 secs
lola: 4231632 markings, 7561627 edges, 1244 markings/sec, 1610 secs
lola: 4240656 markings, 7576652 edges, 1805 markings/sec, 1615 secs
lola: 4261162 markings, 7612916 edges, 4101 markings/sec, 1620 secs
lola: 4283876 markings, 7653376 edges, 4543 markings/sec, 1625 secs
lola: 4309608 markings, 7699072 edges, 5146 markings/sec, 1630 secs
lola: 4320342 markings, 7717516 edges, 2147 markings/sec, 1635 secs
lola: 4345406 markings, 7762563 edges, 5013 markings/sec, 1640 secs
lola: 4351644 markings, 7773841 edges, 1248 markings/sec, 1645 secs
lola: 4358568 markings, 7785839 edges, 1385 markings/sec, 1650 secs
lola: 4379062 markings, 7821959 edges, 4099 markings/sec, 1655 secs
lola: 4401526 markings, 7861891 edges, 4493 markings/sec, 1660 secs
lola: 4415718 markings, 7886400 edges, 2838 markings/sec, 1665 secs
lola: 4437534 markings, 7925367 edges, 4363 markings/sec, 1670 secs
lola: 4463800 markings, 7972364 edges, 5253 markings/sec, 1675 secs
lola: 4470240 markings, 7983586 edges, 1288 markings/sec, 1680 secs
lola: 4476610 markings, 7994917 edges, 1274 markings/sec, 1685 secs
lola: 4496252 markings, 8029548 edges, 3928 markings/sec, 1690 secs
lola: 4516614 markings, 8066365 edges, 4072 markings/sec, 1695 secs
lola: 4529324 markings, 8087658 edges, 2542 markings/sec, 1700 secs
lola: 4554230 markings, 8132072 edges, 4981 markings/sec, 1705 secs
lola: 4578544 markings, 8176391 edges, 4863 markings/sec, 1710 secs
lola: 4587394 markings, 8190860 edges, 1770 markings/sec, 1715 secs
lola: 4593752 markings, 8202438 edges, 1272 markings/sec, 1720 secs
lola: 4613036 markings, 8236226 edges, 3857 markings/sec, 1725 secs
lola: 4631178 markings, 8268928 edges, 3628 markings/sec, 1730 secs
lola: 4645674 markings, 8293588 edges, 2899 markings/sec, 1735 secs
lola: 4670262 markings, 8337449 edges, 4918 markings/sec, 1740 secs
lola: 4694718 markings, 8382029 edges, 4891 markings/sec, 1745 secs
lola: 4703086 markings, 8395694 edges, 1674 markings/sec, 1750 secs
lola: 4709450 markings, 8407057 edges, 1273 markings/sec, 1755 secs
lola: 4728374 markings, 8440474 edges, 3785 markings/sec, 1760 secs
lola: 4750830 markings, 8480054 edges, 4491 markings/sec, 1765 secs
lola: 4762168 markings, 8499291 edges, 2268 markings/sec, 1770 secs
lola: 4785632 markings, 8541526 edges, 4693 markings/sec, 1775 secs
lola: 4811124 markings, 8587083 edges, 5098 markings/sec, 1780 secs
lola: 4817382 markings, 8598147 edges, 1252 markings/sec, 1785 secs
lola: 4824668 markings, 8610726 edges, 1457 markings/sec, 1790 secs
lola: 4844042 markings, 8644812 edges, 3875 markings/sec, 1795 secs
lola: 4865738 markings, 8683285 edges, 4339 markings/sec, 1800 secs
lola: 4890034 markings, 8726394 edges, 4859 markings/sec, 1805 secs
lola: 4900418 markings, 8744363 edges, 2077 markings/sec, 1810 secs
lola: 4924026 markings, 8786616 edges, 4722 markings/sec, 1815 secs
lola: 4930232 markings, 8798099 edges, 1241 markings/sec, 1820 secs
lola: 4942556 markings, 8819390 edges, 2465 markings/sec, 1825 secs
lola: 4961944 markings, 8853470 edges, 3878 markings/sec, 1830 secs
lola: 4979306 markings, 8883978 edges, 3472 markings/sec, 1835 secs
lola: 5003238 markings, 8926522 edges, 4786 markings/sec, 1840 secs
lola: 5027346 markings, 8970395 edges, 4822 markings/sec, 1845 secs
lola: 5040074 markings, 8991642 edges, 2546 markings/sec, 1850 secs
lola: 5067006 markings, 9039897 edges, 5386 markings/sec, 1855 secs
lola: 5073170 markings, 9050948 edges, 1233 markings/sec, 1860 secs
lola: 5080996 markings, 9064331 edges, 1565 markings/sec, 1865 secs
lola: 5099668 markings, 9097180 edges, 3734 markings/sec, 1870 secs
lola: 5121154 markings, 9135114 edges, 4297 markings/sec, 1875 secs
lola: 5144386 markings, 9176522 edges, 4646 markings/sec, 1880 secs
lola: 5162517 markings, 9208945 edges, 3626 markings/sec, 1885 secs
lola: 5180892 markings, 9241054 edges, 3675 markings/sec, 1890 secs
lola: 5208000 markings, 9289649 edges, 5422 markings/sec, 1895 secs
lola: 5214374 markings, 9300838 edges, 1275 markings/sec, 1900 secs
lola: 5222020 markings, 9313962 edges, 1529 markings/sec, 1905 secs
lola: 5240440 markings, 9346327 edges, 3684 markings/sec, 1910 secs
lola: 5261608 markings, 9383684 edges, 4234 markings/sec, 1915 secs
lola: 5284474 markings, 9424489 edges, 4573 markings/sec, 1920 secs
lola: 5304094 markings, 9459760 edges, 3924 markings/sec, 1925 secs
lola: 5321230 markings, 9489259 edges, 3427 markings/sec, 1930 secs
lola: 5347516 markings, 9536422 edges, 5257 markings/sec, 1935 secs
lola: 5353798 markings, 9547658 edges, 1256 markings/sec, 1940 secs
lola: 5362224 markings, 9561929 edges, 1685 markings/sec, 1945 secs
lola: 5383536 markings, 9599613 edges, 4262 markings/sec, 1950 secs
lola: 5401448 markings, 9631006 edges, 3582 markings/sec, 1955 secs
lola: 5424604 markings, 9672188 edges, 4631 markings/sec, 1960 secs
lola: 5449942 markings, 9717472 edges, 5068 markings/sec, 1965 secs
lola: 5460744 markings, 9736007 edges, 2160 markings/sec, 1970 secs
lola: 5485764 markings, 9780817 edges, 5004 markings/sec, 1975 secs
lola: 5492130 markings, 9792155 edges, 1273 markings/sec, 1980 secs
lola: 5510018 markings, 9823416 edges, 3578 markings/sec, 1985 secs
lola: 5530502 markings, 9859619 edges, 4097 markings/sec, 1990 secs
lola: 5553136 markings, 9899886 edges, 4527 markings/sec, 1995 secs
lola: 5565531 markings, 9920872 edges, 2479 markings/sec, 2000 secs
lola: 5589518 markings, 9963974 edges, 4797 markings/sec, 2005 secs
lola: 5615528 markings, 10010654 edges, 5202 markings/sec, 2010 secs
lola: 5622156 markings, 10022379 edges, 1326 markings/sec, 2015 secs
lola: 5634660 markings, 10044303 edges, 2501 markings/sec, 2020 secs
lola: 5658202 markings, 10085731 edges, 4708 markings/sec, 2025 secs
lola: 5674316 markings, 10114183 edges, 3223 markings/sec, 2030 secs
lola: 5691814 markings, 10144690 edges, 3500 markings/sec, 2035 secs
lola: 5716484 markings, 10188867 edges, 4934 markings/sec, 2040 secs
lola: 5734162 markings, 10220091 edges, 3536 markings/sec, 2045 secs
lola: 5750548 markings, 10249281 edges, 3277 markings/sec, 2050 secs
lola: 5758544 markings, 10262983 edges, 1599 markings/sec, 2055 secs
lola: 5780836 markings, 10302672 edges, 4458 markings/sec, 2060 secs
lola: 5797120 markings, 10330440 edges, 3257 markings/sec, 2065 secs
lola: 5818622 markings, 10369013 edges, 4300 markings/sec, 2070 secs
lola: 5843474 markings, 10413303 edges, 4970 markings/sec, 2075 secs
lola: 5858924 markings, 10440289 edges, 3090 markings/sec, 2080 secs
lola: 5877206 markings, 10473177 edges, 3656 markings/sec, 2085 secs
lola: 5885372 markings, 10487143 edges, 1633 markings/sec, 2090 secs
lola: 5910690 markings, 10532494 edges, 5064 markings/sec, 2095 secs
lola: 5928432 markings, 10563605 edges, 3548 markings/sec, 2100 secs
lola: 5945012 markings, 10592257 edges, 3316 markings/sec, 2105 secs
lola: 5969592 markings, 10636055 edges, 4916 markings/sec, 2110 secs
lola: 5991906 markings, 10676719 edges, 4463 markings/sec, 2115 secs
lola: 6002098 markings, 10694066 edges, 2038 markings/sec, 2120 secs
lola: 6017646 markings, 10721106 edges, 3110 markings/sec, 2125 secs
lola: 6037234 markings, 10755606 edges, 3918 markings/sec, 2130 secs
lola: 6059018 markings, 10794276 edges, 4357 markings/sec, 2135 secs
lola: 6077208 markings, 10826665 edges, 3638 markings/sec, 2140 secs
lola: 6094476 markings, 10856618 edges, 3454 markings/sec, 2145 secs
lola: 6119022 markings, 10900400 edges, 4909 markings/sec, 2150 secs
lola: 6125720 markings, 10912109 edges, 1340 markings/sec, 2155 secs
lola: 6142714 markings, 10941703 edges, 3399 markings/sec, 2160 secs
lola: 6162024 markings, 10975700 edges, 3862 markings/sec, 2165 secs
lola: 6183794 markings, 11014304 edges, 4354 markings/sec, 2170 secs
lola: 6207694 markings, 11056945 edges, 4780 markings/sec, 2175 secs
lola: 6227322 markings, 11092089 edges, 3926 markings/sec, 2180 secs
lola: 6240410 markings, 11115080 edges, 2618 markings/sec, 2185 secs
lola: 6256150 markings, 11142231 edges, 3148 markings/sec, 2190 secs
lola: 6275162 markings, 11175711 edges, 3802 markings/sec, 2195 secs
lola: 6296718 markings, 11213849 edges, 4311 markings/sec, 2200 secs
lola: 6320480 markings, 11256145 edges, 4752 markings/sec, 2205 secs
lola: 6331316 markings, 11274649 edges, 2167 markings/sec, 2210 secs
lola: 6357580 markings, 11321695 edges, 5253 markings/sec, 2215 secs
lola: 6378512 markings, 11359504 edges, 4186 markings/sec, 2220 secs
lola: 6394362 markings, 11387137 edges, 3170 markings/sec, 2225 secs
lola: 6400576 markings, 11399228 edges, 1243 markings/sec, 2230 secs
lola: 6406786 markings, 11411150 edges, 1242 markings/sec, 2235 secs
lola: 6413006 markings, 11422294 edges, 1244 markings/sec, 2240 secs
lola: 6421325 markings, 11436678 edges, 1664 markings/sec, 2245 secs
lola: 6427539 markings, 11448665 edges, 1243 markings/sec, 2250 secs
lola: 6433751 markings, 11460187 edges, 1242 markings/sec, 2255 secs
lola: 6441750 markings, 11474346 edges, 1600 markings/sec, 2260 secs
lola: 6447952 markings, 11486244 edges, 1240 markings/sec, 2265 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 80 80 unknown 1 1 1 unknown 1 1 unknown 1 unknown 80 1 1
lola: lola:
preliminary result: 1 80 80 unknown 1 1 1 unknown 1 1 unknown 1 unknown 80 1 1
caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 80 80 unknown 1 1 1 unknown 1 1 unknown 1 unknown 80 1 1
lola: memory consumption: 471532 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 80 80 unknown 1 1 1 unknown 1 1 unknown 1 unknown 80 1 1
lola: memory consumption: 472044 KB
lola: time consumption: 3569 seconds

BK_STOP 1526553566942

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