Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r022-csrt-155225094600145.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is BridgeAndVehicles-COL-V50P50N50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094600145
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 220K
-rw-r--r-- 1 mcc users 3.9K Feb 9 08:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 9 08:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Feb 5 05:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 5 05:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 118 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 356 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Feb 4 23:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Feb 2 01:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 2 01:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Jan 29 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Jan 29 13:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 44K Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-00
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-01
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-02
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-03
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-04
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-05
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-06
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-07
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-08
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-09
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V50P50N50-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552404524656

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-COL-V50P50N50 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-COL-V50P50N50 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-COL-V50P50N50 @ 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: 5576/65536 symbol table entries, 1422 collisions
lola: preprocessing...
lola: Size of bit vector: 5376
lola: finding significant places
lola: 168 places, 5408 transitions, 161 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 5813 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V50P50N50-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (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 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p98 + p97 + p96 + p95 + p94 + p93 + 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 + p91 + p92 + p99 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(p57) : MAX(p61) : MAX(p4 + p5) : MAX(p0) : MAX(p60) : MAX(p114) : MAX(p60) : MAX(p2 + p3) : MAX(0) : MAX(p0) : MAX(p1) : MAX(p114) : MAX(p2 + p3) : MAX(p59) : MAX(p57) : MAX(0)
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-V50P50N50-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-V50P50N50-UpperBounds-8 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-V50P50N50-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-V50P50N50-UpperBounds-15 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(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N50-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: 201 markings, 200 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-3 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p60)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p60)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N50-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-V50P50N50-UpperBounds-4 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p114)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p114)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N50-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: 204 markings, 203 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-5 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p60)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p60)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N50-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-V50P50N50-UpperBounds-6 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p57)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-0 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 394 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N50-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: 201 markings, 200 edges
lola: ========================================

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

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

FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-11 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 592 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p59)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N50-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: 2532 markings, 5081 edges, 506 markings/sec, 30 secs
lola: 5123 markings, 10420 edges, 518 markings/sec, 35 secs
lola: 7628 markings, 15296 edges, 501 markings/sec, 40 secs
lola: 10099 markings, 20493 edges, 494 markings/sec, 45 secs
lola: 12767 markings, 25973 edges, 534 markings/sec, 50 secs
lola: 15325 markings, 31117 edges, 512 markings/sec, 55 secs
lola: 17783 markings, 36102 edges, 492 markings/sec, 60 secs
lola: 20485 markings, 41637 edges, 540 markings/sec, 65 secs
lola: 23183 markings, 47189 edges, 540 markings/sec, 70 secs
lola: 25787 markings, 52380 edges, 521 markings/sec, 75 secs
lola: 28257 markings, 57490 edges, 494 markings/sec, 80 secs
lola: 30924 markings, 62893 edges, 533 markings/sec, 85 secs
lola: 33568 markings, 68334 edges, 529 markings/sec, 90 secs
lola: 35975 markings, 73035 edges, 481 markings/sec, 95 secs
lola: 38368 markings, 78028 edges, 479 markings/sec, 100 secs
lola: 40882 markings, 83207 edges, 503 markings/sec, 105 secs
lola: 43362 markings, 88125 edges, 496 markings/sec, 110 secs
lola: 45802 markings, 93163 edges, 488 markings/sec, 115 secs
lola: 48479 markings, 98613 edges, 535 markings/sec, 120 secs
lola: 51104 markings, 103981 edges, 525 markings/sec, 125 secs
lola: 53592 markings, 108836 edges, 498 markings/sec, 130 secs
lola: 56078 markings, 114048 edges, 497 markings/sec, 135 secs
lola: 58736 markings, 119510 edges, 532 markings/sec, 140 secs
lola: 61350 markings, 124732 edges, 523 markings/sec, 145 secs
lola: 63676 markings, 129534 edges, 465 markings/sec, 150 secs
lola: 66201 markings, 134642 edges, 505 markings/sec, 155 secs
lola: 68687 markings, 139695 edges, 497 markings/sec, 160 secs
lola: 71093 markings, 144394 edges, 481 markings/sec, 165 secs
lola: 73741 markings, 149949 edges, 530 markings/sec, 170 secs
lola: 76395 markings, 155398 edges, 531 markings/sec, 175 secs
lola: 78935 markings, 160428 edges, 508 markings/sec, 180 secs
lola: 81399 markings, 165537 edges, 493 markings/sec, 185 secs
lola: 84136 markings, 171072 edges, 547 markings/sec, 190 secs
lola: 86856 markings, 176650 edges, 544 markings/sec, 195 secs
lola: 89465 markings, 181780 edges, 522 markings/sec, 200 secs
lola: 91957 markings, 186960 edges, 498 markings/sec, 205 secs
lola: 94734 markings, 192592 edges, 555 markings/sec, 210 secs
lola: 97422 markings, 198103 edges, 538 markings/sec, 215 secs
lola: 99999 markings, 203130 edges, 515 markings/sec, 220 secs
lola: 102524 markings, 208404 edges, 505 markings/sec, 225 secs
lola: 105260 markings, 213959 edges, 547 markings/sec, 230 secs
lola: 107975 markings, 219506 edges, 543 markings/sec, 235 secs
lola: 110553 markings, 224529 edges, 516 markings/sec, 240 secs
lola: 113126 markings, 229926 edges, 515 markings/sec, 245 secs
lola: 115873 markings, 235491 edges, 549 markings/sec, 250 secs
lola: 118583 markings, 241010 edges, 542 markings/sec, 255 secs
lola: 121197 markings, 246098 edges, 523 markings/sec, 260 secs
lola: 123734 markings, 251428 edges, 507 markings/sec, 265 secs
lola: 126432 markings, 256935 edges, 540 markings/sec, 270 secs
lola: 129101 markings, 262293 edges, 534 markings/sec, 275 secs
lola: 131645 markings, 267250 edges, 509 markings/sec, 280 secs
lola: 134258 markings, 272751 edges, 523 markings/sec, 285 secs
lola: 137003 markings, 278365 edges, 549 markings/sec, 290 secs
lola: 139656 markings, 283640 edges, 531 markings/sec, 295 secs
lola: 142177 markings, 288736 edges, 504 markings/sec, 300 secs
lola: 144875 markings, 294267 edges, 540 markings/sec, 305 secs
lola: 147643 markings, 299924 edges, 554 markings/sec, 310 secs
lola: 150344 markings, 305290 edges, 540 markings/sec, 315 secs
lola: 152858 markings, 310409 edges, 503 markings/sec, 320 secs
lola: 155513 markings, 315816 edges, 531 markings/sec, 325 secs
lola: 158212 markings, 321332 edges, 540 markings/sec, 330 secs
lola: 160723 markings, 326247 edges, 502 markings/sec, 335 secs
lola: 163198 markings, 331384 edges, 495 markings/sec, 340 secs
lola: 165906 markings, 336866 edges, 542 markings/sec, 345 secs
lola: 168537 markings, 342198 edges, 526 markings/sec, 350 secs
lola: 171065 markings, 347077 edges, 506 markings/sec, 355 secs
lola: 173571 markings, 352367 edges, 501 markings/sec, 360 secs
lola: 176222 markings, 357782 edges, 530 markings/sec, 365 secs
lola: 178790 markings, 362738 edges, 514 markings/sec, 370 secs
lola: 182390 markings, 371074 edges, 720 markings/sec, 375 secs
lola: 188889 markings, 387010 edges, 1300 markings/sec, 380 secs
lola: 194744 markings, 401365 edges, 1171 markings/sec, 385 secs
lola: 199953 markings, 414125 edges, 1042 markings/sec, 390 secs
lola: 204762 markings, 425854 edges, 962 markings/sec, 395 secs
lola: 209290 markings, 436932 edges, 906 markings/sec, 400 secs
lola: 213173 markings, 446377 edges, 777 markings/sec, 405 secs
lola: 218307 markings, 458743 edges, 1027 markings/sec, 410 secs
lola: 223620 markings, 471392 edges, 1063 markings/sec, 415 secs
lola: 230799 markings, 484593 edges, 1436 markings/sec, 420 secs
lola: 237525 markings, 501060 edges, 1345 markings/sec, 425 secs
lola: 243451 markings, 515592 edges, 1185 markings/sec, 430 secs
lola: 248800 markings, 528703 edges, 1070 markings/sec, 435 secs
lola: 253758 markings, 540804 edges, 992 markings/sec, 440 secs
lola: 258171 markings, 551595 edges, 883 markings/sec, 445 secs
lola: 261980 markings, 560858 edges, 762 markings/sec, 450 secs
lola: 267268 markings, 573658 edges, 1058 markings/sec, 455 secs
lola: 273235 markings, 587880 edges, 1193 markings/sec, 460 secs
lola: 283663 markings, 619688 edges, 2086 markings/sec, 465 secs
lola: 296246 markings, 662379 edges, 2517 markings/sec, 470 secs
lola: 308445 markings, 703941 edges, 2440 markings/sec, 475 secs
lola: 320470 markings, 745099 edges, 2405 markings/sec, 480 secs
lola: 332718 markings, 770048 edges, 2450 markings/sec, 485 secs
lola: 334244 markings, 774500 edges, 305 markings/sec, 490 secs
lola: 337792 markings, 782045 edges, 710 markings/sec, 495 secs
lola: 344512 markings, 798501 edges, 1344 markings/sec, 500 secs
lola: 350081 markings, 812143 edges, 1114 markings/sec, 505 secs
lola: 355090 markings, 824406 edges, 1002 markings/sec, 510 secs
lola: 359898 markings, 836210 edges, 962 markings/sec, 515 secs
lola: 364160 markings, 846549 edges, 852 markings/sec, 520 secs
lola: 368567 markings, 857308 edges, 881 markings/sec, 525 secs
lola: 373320 markings, 868721 edges, 951 markings/sec, 530 secs
lola: 380888 markings, 886761 edges, 1514 markings/sec, 535 secs
lola: 393302 markings, 928394 edges, 2483 markings/sec, 540 secs
lola: 405741 markings, 970779 edges, 2488 markings/sec, 545 secs
lola: 418109 markings, 1013035 edges, 2474 markings/sec, 550 secs
lola: 431692 markings, 1046228 edges, 2717 markings/sec, 555 secs
lola: 435071 markings, 1053981 edges, 676 markings/sec, 560 secs
lola: 437091 markings, 1059034 edges, 404 markings/sec, 565 secs
lola: 443471 markings, 1073871 edges, 1276 markings/sec, 570 secs
lola: 449455 markings, 1088528 edges, 1197 markings/sec, 575 secs
lola: 454591 markings, 1101126 edges, 1027 markings/sec, 580 secs
lola: 459151 markings, 1112252 edges, 912 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown unknown 50 50 50 50 unknown 1 50 50 50 unknown unknown unknown 1
lola: memory consumption: 112488 KB
lola: time consumption: 608 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 592 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p57)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================

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

FORMULA BridgeAndVehicles-COL-V50P50N50-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1479 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-V50P50N50-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-V50P50N50-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 2959 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-V50P50N50-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-V50P50N50-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p59)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N50-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: 2684 markings, 5385 edges, 537 markings/sec, 30 secs
lola: 5350 markings, 10878 edges, 533 markings/sec, 35 secs
lola: 7943 markings, 15999 edges, 519 markings/sec, 40 secs
lola: 10454 markings, 21218 edges, 502 markings/sec, 45 secs
lola: 13193 markings, 26796 edges, 548 markings/sec, 50 secs
lola: 15889 markings, 32346 edges, 539 markings/sec, 55 secs
lola: 18434 markings, 37366 edges, 509 markings/sec, 60 secs
lola: 20990 markings, 42668 edges, 511 markings/sec, 65 secs
lola: 23731 markings, 48256 edges, 548 markings/sec, 70 secs
lola: 26402 markings, 53753 edges, 534 markings/sec, 75 secs
lola: 28999 markings, 58840 edges, 519 markings/sec, 80 secs
lola: 31529 markings, 64124 edges, 506 markings/sec, 85 secs
lola: 34250 markings, 69669 edges, 544 markings/sec, 90 secs
lola: 36943 markings, 75190 edges, 539 markings/sec, 95 secs
lola: 39497 markings, 80181 edges, 511 markings/sec, 100 secs
lola: 42059 markings, 85562 edges, 512 markings/sec, 105 secs
lola: 44763 markings, 91061 edges, 541 markings/sec, 110 secs
lola: 47449 markings, 96540 edges, 537 markings/sec, 115 secs
lola: 50034 markings, 101603 edges, 517 markings/sec, 120 secs
lola: 52612 markings, 107013 edges, 516 markings/sec, 125 secs
lola: 55310 markings, 112541 edges, 540 markings/sec, 130 secs
lola: 58009 markings, 117994 edges, 540 markings/sec, 135 secs
lola: 60571 markings, 122989 edges, 512 markings/sec, 140 secs
lola: 63150 markings, 128425 edges, 516 markings/sec, 145 secs
lola: 65880 markings, 134029 edges, 546 markings/sec, 150 secs
lola: 68497 markings, 139284 edges, 523 markings/sec, 155 secs
lola: 70959 markings, 144238 edges, 492 markings/sec, 160 secs
lola: 73600 markings, 149667 edges, 528 markings/sec, 165 secs
lola: 76245 markings, 155098 edges, 529 markings/sec, 170 secs
lola: 78786 markings, 160095 edges, 508 markings/sec, 175 secs
lola: 81214 markings, 165139 edges, 486 markings/sec, 180 secs
lola: 83904 markings, 170608 edges, 538 markings/sec, 185 secs
lola: 86549 markings, 176005 edges, 529 markings/sec, 190 secs
lola: 89015 markings, 180769 edges, 493 markings/sec, 195 secs
lola: 91540 markings, 186097 edges, 505 markings/sec, 200 secs
lola: 94219 markings, 191591 edges, 536 markings/sec, 205 secs
lola: 96800 markings, 196733 edges, 516 markings/sec, 210 secs
lola: 99235 markings, 201761 edges, 487 markings/sec, 215 secs
lola: 101909 markings, 207153 edges, 535 markings/sec, 220 secs
lola: 104539 markings, 212546 edges, 526 markings/sec, 225 secs
lola: 107096 markings, 217531 edges, 511 markings/sec, 230 secs
lola: 109545 markings, 222662 edges, 490 markings/sec, 235 secs
lola: 112210 markings, 228093 edges, 533 markings/sec, 240 secs
lola: 114835 markings, 233363 edges, 525 markings/sec, 245 secs
lola: 117307 markings, 238220 edges, 494 markings/sec, 250 secs
lola: 119911 markings, 243667 edges, 521 markings/sec, 255 secs
lola: 122576 markings, 249125 edges, 533 markings/sec, 260 secs
lola: 125107 markings, 254102 edges, 506 markings/sec, 265 secs
lola: 127538 markings, 259139 edges, 486 markings/sec, 270 secs
lola: 130249 markings, 264637 edges, 542 markings/sec, 275 secs
lola: 132899 markings, 270031 edges, 530 markings/sec, 280 secs
lola: 135370 markings, 274823 edges, 494 markings/sec, 285 secs
lola: 137926 markings, 280182 edges, 511 markings/sec, 290 secs
lola: 140682 markings, 285817 edges, 551 markings/sec, 295 secs
lola: 143365 markings, 291185 edges, 537 markings/sec, 300 secs
lola: 145936 markings, 296204 edges, 514 markings/sec, 305 secs
lola: 148541 markings, 301691 edges, 521 markings/sec, 310 secs
lola: 151301 markings, 307331 edges, 552 markings/sec, 315 secs
lola: 153958 markings, 312622 edges, 531 markings/sec, 320 secs
lola: 156469 markings, 317684 edges, 502 markings/sec, 325 secs
lola: 159174 markings, 323227 edges, 541 markings/sec, 330 secs
lola: 161900 markings, 328796 edges, 545 markings/sec, 335 secs
lola: 164354 markings, 333595 edges, 491 markings/sec, 340 secs
lola: 166650 markings, 338384 edges, 459 markings/sec, 345 secs
lola: 169193 markings, 343555 edges, 509 markings/sec, 350 secs
lola: 171830 markings, 348788 edges, 527 markings/sec, 355 secs
lola: 174399 markings, 353934 edges, 514 markings/sec, 360 secs
lola: 177075 markings, 359459 edges, 535 markings/sec, 365 secs
lola: 179855 markings, 364917 edges, 556 markings/sec, 370 secs
lola: 184832 markings, 377057 edges, 995 markings/sec, 375 secs
lola: 191514 markings, 393409 edges, 1336 markings/sec, 380 secs
lola: 197033 markings, 406960 edges, 1104 markings/sec, 385 secs
lola: 202102 markings, 419355 edges, 1014 markings/sec, 390 secs
lola: 206761 markings, 430773 edges, 932 markings/sec, 395 secs
lola: 210912 markings, 440901 edges, 830 markings/sec, 400 secs
lola: 214494 markings, 449592 edges, 716 markings/sec, 405 secs
lola: 219624 markings, 461935 edges, 1026 markings/sec, 410 secs
lola: 225668 markings, 476050 edges, 1209 markings/sec, 415 secs
lola: 232115 markings, 487808 edges, 1289 markings/sec, 420 secs
lola: 239017 markings, 504737 edges, 1380 markings/sec, 425 secs
lola: 244611 markings, 518430 edges, 1119 markings/sec, 430 secs
lola: 249604 markings, 530642 edges, 999 markings/sec, 435 secs
lola: 254410 markings, 542434 edges, 961 markings/sec, 440 secs
lola: 258437 markings, 552260 edges, 805 markings/sec, 445 secs
lola: 262164 markings, 561318 edges, 745 markings/sec, 450 secs
lola: 267463 markings, 574093 edges, 1060 markings/sec, 455 secs
lola: 273548 markings, 588560 edges, 1217 markings/sec, 460 secs
lola: 284127 markings, 621242 edges, 2116 markings/sec, 465 secs
lola: 296567 markings, 663502 edges, 2488 markings/sec, 470 secs
lola: 309011 markings, 705922 edges, 2489 markings/sec, 475 secs
lola: 321418 markings, 748417 edges, 2481 markings/sec, 480 secs
lola: 332825 markings, 770369 edges, 2281 markings/sec, 485 secs
lola: 334445 markings, 775103 edges, 324 markings/sec, 490 secs
lola: 339138 markings, 785336 edges, 939 markings/sec, 495 secs
lola: 346102 markings, 802424 edges, 1393 markings/sec, 500 secs
lola: 351851 markings, 816506 edges, 1150 markings/sec, 505 secs
lola: 357076 markings, 829301 edges, 1045 markings/sec, 510 secs
lola: 361840 markings, 840911 edges, 953 markings/sec, 515 secs
lola: 365788 markings, 850534 edges, 790 markings/sec, 520 secs
lola: 370833 markings, 862796 edges, 1009 markings/sec, 525 secs
lola: 375839 markings, 874712 edges, 1001 markings/sec, 530 secs
lola: 384896 markings, 900053 edges, 1811 markings/sec, 535 secs
lola: 397283 markings, 941926 edges, 2477 markings/sec, 540 secs
lola: 409724 markings, 984391 edges, 2488 markings/sec, 545 secs
lola: 422116 markings, 1026683 edges, 2478 markings/sec, 550 secs
lola: 434382 markings, 1052040 edges, 2453 markings/sec, 555 secs
lola: 435968 markings, 1056672 edges, 317 markings/sec, 560 secs
lola: 440440 markings, 1066468 edges, 894 markings/sec, 565 secs
lola: 446535 markings, 1081402 edges, 1219 markings/sec, 570 secs
lola: 451613 markings, 1093806 edges, 1016 markings/sec, 575 secs
lola: 456275 markings, 1105203 edges, 932 markings/sec, 580 secs
lola: 460692 markings, 1116031 edges, 883 markings/sec, 585 secs
lola: 464630 markings, 1125562 edges, 788 markings/sec, 590 secs
lola: 469498 markings, 1137386 edges, 974 markings/sec, 595 secs
lola: 473059 markings, 1146008 edges, 712 markings/sec, 600 secs
lola: 480494 markings, 1164159 edges, 1487 markings/sec, 605 secs
lola: 491921 markings, 1202570 edges, 2285 markings/sec, 610 secs
lola: 504096 markings, 1243904 edges, 2435 markings/sec, 615 secs
lola: 516512 markings, 1286328 edges, 2483 markings/sec, 620 secs
lola: 530559 markings, 1318171 edges, 2809 markings/sec, 625 secs
lola: 532071 markings, 1322581 edges, 302 markings/sec, 630 secs
lola: 536027 markings, 1331235 edges, 791 markings/sec, 635 secs
lola: 542617 markings, 1347374 edges, 1318 markings/sec, 640 secs
lola: 548047 markings, 1360674 edges, 1086 markings/sec, 645 secs
lola: 553013 markings, 1372764 edges, 993 markings/sec, 650 secs
lola: 557355 markings, 1383400 edges, 868 markings/sec, 655 secs
lola: 561081 markings, 1392473 edges, 745 markings/sec, 660 secs
lola: 566181 markings, 1404793 edges, 1020 markings/sec, 665 secs
lola: 572777 markings, 1420150 edges, 1319 markings/sec, 670 secs
lola: 584929 markings, 1460222 edges, 2430 markings/sec, 675 secs
lola: 596637 markings, 1499985 edges, 2342 markings/sec, 680 secs
lola: 608246 markings, 1539609 edges, 2322 markings/sec, 685 secs
lola: 621765 markings, 1569982 edges, 2704 markings/sec, 690 secs
lola: 623123 markings, 1573930 edges, 272 markings/sec, 695 secs
lola: 625855 markings, 1579726 edges, 546 markings/sec, 700 secs
lola: 632143 markings, 1595061 edges, 1258 markings/sec, 705 secs
lola: 637437 markings, 1608034 edges, 1059 markings/sec, 710 secs
lola: 642329 markings, 1620018 edges, 978 markings/sec, 715 secs
lola: 646737 markings, 1630760 edges, 882 markings/sec, 720 secs
lola: 650102 markings, 1638943 edges, 673 markings/sec, 725 secs
lola: 654835 markings, 1650353 edges, 947 markings/sec, 730 secs
lola: 660462 markings, 1663640 edges, 1125 markings/sec, 735 secs
lola: 671485 markings, 1698498 edges, 2205 markings/sec, 740 secs
lola: 683925 markings, 1740718 edges, 2488 markings/sec, 745 secs
lola: 696224 markings, 1782781 edges, 2460 markings/sec, 750 secs
lola: 708299 markings, 1808363 edges, 2415 markings/sec, 755 secs
lola: 709895 markings, 1813025 edges, 319 markings/sec, 760 secs
lola: 715122 markings, 1824639 edges, 1045 markings/sec, 765 secs
lola: 720832 markings, 1838610 edges, 1142 markings/sec, 770 secs
lola: 725874 markings, 1850969 edges, 1008 markings/sec, 775 secs
lola: 730428 markings, 1862075 edges, 911 markings/sec, 780 secs
lola: 734077 markings, 1870924 edges, 730 markings/sec, 785 secs
lola: 738950 markings, 1882697 edges, 975 markings/sec, 790 secs
lola: 744962 markings, 1896901 edges, 1202 markings/sec, 795 secs
lola: 755987 markings, 1932158 edges, 2205 markings/sec, 800 secs
lola: 768024 markings, 1973074 edges, 2407 markings/sec, 805 secs
lola: 780093 markings, 2014332 edges, 2414 markings/sec, 810 secs
lola: 790077 markings, 2033055 edges, 1997 markings/sec, 815 secs
lola: 791677 markings, 2037729 edges, 320 markings/sec, 820 secs
lola: 797361 markings, 2050376 edges, 1137 markings/sec, 825 secs
lola: 802912 markings, 2063975 edges, 1110 markings/sec, 830 secs
lola: 807839 markings, 2076005 edges, 985 markings/sec, 835 secs
lola: 812023 markings, 2086199 edges, 837 markings/sec, 840 secs
lola: 816866 markings, 2097929 edges, 969 markings/sec, 845 secs
lola: 821755 markings, 2109632 edges, 978 markings/sec, 850 secs
lola: 831145 markings, 2136675 edges, 1878 markings/sec, 855 secs
lola: 843522 markings, 2178602 edges, 2475 markings/sec, 860 secs
lola: 855977 markings, 2220947 edges, 2491 markings/sec, 865 secs
lola: 867118 markings, 2244108 edges, 2228 markings/sec, 870 secs
lola: 868755 markings, 2248893 edges, 327 markings/sec, 875 secs
lola: 874419 markings, 2261512 edges, 1133 markings/sec, 880 secs
lola: 879807 markings, 2274706 edges, 1078 markings/sec, 885 secs
lola: 884562 markings, 2286308 edges, 951 markings/sec, 890 secs
lola: 888530 markings, 2295964 edges, 794 markings/sec, 895 secs
lola: 893043 markings, 2306872 edges, 903 markings/sec, 900 secs
lola: 898083 markings, 2318863 edges, 1008 markings/sec, 905 secs
lola: 907236 markings, 2346387 edges, 1831 markings/sec, 910 secs
lola: 919130 markings, 2386675 edges, 2379 markings/sec, 915 secs
lola: 931491 markings, 2427459 edges, 2472 markings/sec, 920 secs
lola: 940047 markings, 2443390 edges, 1711 markings/sec, 925 secs
lola: 941686 markings, 2448182 edges, 328 markings/sec, 930 secs
lola: 947608 markings, 2461330 edges, 1184 markings/sec, 935 secs
lola: 952688 markings, 2473745 edges, 1016 markings/sec, 940 secs
lola: 956989 markings, 2484267 edges, 860 markings/sec, 945 secs
lola: 960476 markings, 2492723 edges, 697 markings/sec, 950 secs
lola: 965046 markings, 2503775 edges, 914 markings/sec, 955 secs
lola: 970977 markings, 2517620 edges, 1186 markings/sec, 960 secs
lola: 983194 markings, 2557868 edges, 2443 markings/sec, 965 secs
lola: 995665 markings, 2600323 edges, 2494 markings/sec, 970 secs
lola: 1008343 markings, 2629331 edges, 2536 markings/sec, 975 secs
lola: 1009928 markings, 2633960 edges, 317 markings/sec, 980 secs
lola: 1014455 markings, 2643926 edges, 905 markings/sec, 985 secs
lola: 1019635 markings, 2656582 edges, 1036 markings/sec, 990 secs
lola: 1024140 markings, 2667575 edges, 901 markings/sec, 995 secs
lola: 1027841 markings, 2676575 edges, 740 markings/sec, 1000 secs
lola: 1032618 markings, 2688080 edges, 955 markings/sec, 1005 secs
lola: 1040560 markings, 2708693 edges, 1588 markings/sec, 1010 secs
lola: 1052625 markings, 2749321 edges, 2413 markings/sec, 1015 secs
lola: 1064838 markings, 2790075 edges, 2443 markings/sec, 1020 secs
lola: 1073278 markings, 2805740 edges, 1688 markings/sec, 1025 secs
lola: 1074940 markings, 2810600 edges, 332 markings/sec, 1030 secs
lola: 1080567 markings, 2823017 edges, 1125 markings/sec, 1035 secs
lola: 1085370 markings, 2834745 edges, 961 markings/sec, 1040 secs
lola: 1089401 markings, 2844590 edges, 806 markings/sec, 1045 secs
lola: 1094013 markings, 2855728 edges, 922 markings/sec, 1050 secs
lola: 1099480 markings, 2868707 edges, 1093 markings/sec, 1055 secs
lola: 1110082 markings, 2902257 edges, 2120 markings/sec, 1060 secs
lola: 1122128 markings, 2943126 edges, 2409 markings/sec, 1065 secs
lola: 1133808 markings, 2969478 edges, 2336 markings/sec, 1070 secs
lola: 1135329 markings, 2973915 edges, 304 markings/sec, 1075 secs
lola: 1139583 markings, 2983231 edges, 851 markings/sec, 1080 secs
lola: 1144493 markings, 2995219 edges, 982 markings/sec, 1085 secs
lola: 1148621 markings, 3005274 edges, 826 markings/sec, 1090 secs
lola: 1153211 markings, 3016365 edges, 918 markings/sec, 1095 secs
lola: 1158722 markings, 3029431 edges, 1102 markings/sec, 1100 secs
lola: 1169679 markings, 3064436 edges, 2191 markings/sec, 1105 secs
lola: 1181702 markings, 3105197 edges, 2405 markings/sec, 1110 secs
lola: 1191167 markings, 3124240 edges, 1893 markings/sec, 1115 secs
lola: 1192766 markings, 3128911 edges, 320 markings/sec, 1120 secs
lola: 1197763 markings, 3139887 edges, 999 markings/sec, 1125 secs
lola: 1202404 markings, 3151234 edges, 928 markings/sec, 1130 secs
lola: 1206168 markings, 3160366 edges, 753 markings/sec, 1135 secs
lola: 1210969 markings, 3171903 edges, 960 markings/sec, 1140 secs
lola: 1220221 markings, 3197796 edges, 1850 markings/sec, 1145 secs
lola: 1232629 markings, 3239742 edges, 2482 markings/sec, 1150 secs
lola: 1244654 markings, 3267916 edges, 2405 markings/sec, 1155 secs
lola: 1246227 markings, 3272509 edges, 315 markings/sec, 1160 secs
lola: 1250620 markings, 3282134 edges, 879 markings/sec, 1165 secs
lola: 1255421 markings, 3293842 edges, 960 markings/sec, 1170 secs
lola: 1259740 markings, 3304310 edges, 864 markings/sec, 1175 secs
lola: 1265048 markings, 3317028 edges, 1062 markings/sec, 1180 secs
lola: 1275270 markings, 3348133 edges, 2044 markings/sec, 1185 secs
lola: 1287754 markings, 3389486 edges, 2497 markings/sec, 1190 secs
lola: 1295387 markings, 3403853 edges, 1527 markings/sec, 1195 secs
lola: 1297076 markings, 3408794 edges, 338 markings/sec, 1200 secs
lola: 1302693 markings, 3421135 edges, 1123 markings/sec, 1205 secs
lola: 1306920 markings, 3431424 edges, 845 markings/sec, 1210 secs
lola: 1311478 markings, 3442468 edges, 912 markings/sec, 1215 secs
lola: 1319082 markings, 3462400 edges, 1521 markings/sec, 1220 secs
lola: 1330967 markings, 3502398 edges, 2377 markings/sec, 1225 secs
lola: 1342244 markings, 3528678 edges, 2255 markings/sec, 1230 secs
lola: 1343766 markings, 3533118 edges, 304 markings/sec, 1235 secs
lola: 1347613 markings, 3541447 edges, 769 markings/sec, 1240 secs
lola: 1351905 markings, 3551904 edges, 858 markings/sec, 1245 secs
lola: 1356153 markings, 3562212 edges, 850 markings/sec, 1250 secs
lola: 1361506 markings, 3574835 edges, 1071 markings/sec, 1255 secs
lola: 1372399 markings, 3610075 edges, 2179 markings/sec, 1260 secs
lola: 1385888 markings, 3644513 edges, 2698 markings/sec, 1265 secs
lola: 1387525 markings, 3649158 edges, 327 markings/sec, 1270 secs
lola: 1390454 markings, 3655537 edges, 586 markings/sec, 1275 secs
lola: 1394965 markings, 3666471 edges, 902 markings/sec, 1280 secs
lola: 1399294 markings, 3676993 edges, 866 markings/sec, 1285 secs
lola: 1404726 markings, 3689766 edges, 1086 markings/sec, 1290 secs
lola: 1415990 markings, 3726677 edges, 2253 markings/sec, 1295 secs
lola: 1427698 markings, 3755068 edges, 2342 markings/sec, 1300 secs
lola: 1429150 markings, 3759298 edges, 290 markings/sec, 1305 secs
lola: 1432712 markings, 3767033 edges, 712 markings/sec, 1310 secs
lola: 1436846 markings, 3777072 edges, 827 markings/sec, 1315 secs
lola: 1441146 markings, 3787458 edges, 860 markings/sec, 1320 secs
lola: 1449938 markings, 3812249 edges, 1758 markings/sec, 1325 secs
lola: 1462960 markings, 3849628 edges, 2604 markings/sec, 1330 secs
lola: 1466983 markings, 3858557 edges, 805 markings/sec, 1335 secs
lola: 1468921 markings, 3863766 edges, 388 markings/sec, 1340 secs
lola: 1473871 markings, 3874819 edges, 990 markings/sec, 1345 secs
lola: 1478126 markings, 3885103 edges, 851 markings/sec, 1350 secs
lola: 1485463 markings, 3904653 edges, 1467 markings/sec, 1355 secs
lola: 1497702 markings, 3942016 edges, 2448 markings/sec, 1360 secs
lola: 1502878 markings, 3952553 edges, 1035 markings/sec, 1365 secs
lola: 1504581 markings, 3957599 edges, 341 markings/sec, 1370 secs
lola: 1509495 markings, 3968173 edges, 983 markings/sec, 1375 secs
lola: 1513818 markings, 3978612 edges, 865 markings/sec, 1380 secs
lola: 1523173 markings, 4005681 edges, 1871 markings/sec, 1385 secs
lola: 1535880 markings, 4038351 edges, 2541 markings/sec, 1390 secs
lola: 1537346 markings, 4042623 edges, 293 markings/sec, 1395 secs
lola: 1540802 markings, 4050138 edges, 691 markings/sec, 1400 secs
lola: 1545250 markings, 4060883 edges, 890 markings/sec, 1405 secs
lola: 1552029 markings, 4078331 edges, 1356 markings/sec, 1410 secs
lola: 1565269 markings, 4115335 edges, 2648 markings/sec, 1415 secs
lola: 1568210 markings, 4122418 edges, 588 markings/sec, 1420 secs
lola: 1570998 markings, 4128551 edges, 558 markings/sec, 1425 secs
lola: 1575520 markings, 4139504 edges, 904 markings/sec, 1430 secs
lola: 1581998 markings, 4155944 edges, 1296 markings/sec, 1435 secs
lola: 1595345 markings, 4192255 edges, 2669 markings/sec, 1440 secs
lola: 1597467 markings, 4197859 edges, 424 markings/sec, 1445 secs
lola: 1600425 markings, 4204322 edges, 592 markings/sec, 1450 secs
lola: 1604810 markings, 4214916 edges, 877 markings/sec, 1455 secs
lola: 1613536 markings, 4239921 edges, 1745 markings/sec, 1460 secs
lola: 1623540 markings, 4264334 edges, 2001 markings/sec, 1465 secs
lola: 1625131 markings, 4268981 edges, 318 markings/sec, 1470 secs
lola: 1628993 markings, 4277263 edges, 772 markings/sec, 1475 secs
lola: 1634555 markings, 4290395 edges, 1112 markings/sec, 1480 secs
lola: 1647796 markings, 4326009 edges, 2648 markings/sec, 1485 secs
lola: 1649649 markings, 4331118 edges, 371 markings/sec, 1490 secs
lola: 1652605 markings, 4337555 edges, 591 markings/sec, 1495 secs
lola: 1657532 markings, 4349383 edges, 985 markings/sec, 1500 secs
lola: 1669225 markings, 4381173 edges, 2339 markings/sec, 1505 secs
lola: 1672679 markings, 4389237 edges, 691 markings/sec, 1510 secs
lola: 1675327 markings, 4395084 edges, 530 markings/sec, 1515 secs
lola: 1680293 markings, 4406971 edges, 993 markings/sec, 1520 secs
lola: 1692379 markings, 4438515 edges, 2417 markings/sec, 1525 secs
lola: 1694470 markings, 4444078 edges, 418 markings/sec, 1530 secs
lola: 1697349 markings, 4450358 edges, 576 markings/sec, 1535 secs
lola: 1703264 markings, 4464892 edges, 1183 markings/sec, 1540 secs
lola: 1713401 markings, 4490897 edges, 2027 markings/sec, 1545 secs
lola: 1714973 markings, 4495487 edges, 314 markings/sec, 1550 secs
lola: 1718845 markings, 4503831 edges, 774 markings/sec, 1555 secs
lola: 1729098 markings, 4530653 edges, 2051 markings/sec, 1560 secs
lola: 1732635 markings, 4538798 edges, 707 markings/sec, 1565 secs
lola: 1735219 markings, 4544520 edges, 517 markings/sec, 1570 secs
lola: 1742165 markings, 4563102 edges, 1389 markings/sec, 1575 secs
lola: 1749204 markings, 4579374 edges, 1408 markings/sec, 1580 secs
lola: 1750877 markings, 4584267 edges, 335 markings/sec, 1585 secs
lola: 1756862 markings, 4597734 edges, 1197 markings/sec, 1590 secs
lola: 1764866 markings, 4617514 edges, 1601 markings/sec, 1595 secs
lola: 1766480 markings, 4622230 edges, 323 markings/sec, 1600 secs
lola: 1772201 markings, 4635265 edges, 1144 markings/sec, 1605 secs
lola: 1779508 markings, 4652998 edges, 1461 markings/sec, 1610 secs
lola: 1781222 markings, 4658014 edges, 343 markings/sec, 1615 secs
lola: 1789848 markings, 4678594 edges, 1725 markings/sec, 1620 secs
lola: 1793529 markings, 4686890 edges, 736 markings/sec, 1625 secs
lola: 1796389 markings, 4693231 edges, 572 markings/sec, 1630 secs
lola: 1804955 markings, 4713639 edges, 1713 markings/sec, 1635 secs
lola: 1806415 markings, 4717893 edges, 292 markings/sec, 1640 secs
lola: 1810036 markings, 4725699 edges, 724 markings/sec, 1645 secs
lola: 1816735 markings, 4741707 edges, 1340 markings/sec, 1650 secs
lola: 1818452 markings, 4746732 edges, 343 markings/sec, 1655 secs
lola: 1826919 markings, 4765363 edges, 1693 markings/sec, 1660 secs
lola: 1828488 markings, 4769944 edges, 314 markings/sec, 1665 secs
lola: 1834721 markings, 4783919 edges, 1247 markings/sec, 1670 secs
lola: 1837742 markings, 4791179 edges, 604 markings/sec, 1675 secs
lola: 1841089 markings, 4798552 edges, 669 markings/sec, 1680 secs
lola: 1846238 markings, 4810505 edges, 1030 markings/sec, 1685 secs
lola: 1848758 markings, 4816439 edges, 504 markings/sec, 1690 secs
lola: 1854396 markings, 4829292 edges, 1128 markings/sec, 1695 secs
lola: 1856216 markings, 4834605 edges, 364 markings/sec, 1700 secs
lola: 1862039 markings, 4846759 edges, 1165 markings/sec, 1705 secs
lola: 1863755 markings, 4851781 edges, 343 markings/sec, 1710 secs
lola: 1869177 markings, 4863052 edges, 1084 markings/sec, 1715 secs
lola: 1870895 markings, 4868080 edges, 344 markings/sec, 1720 secs
lola: 1875847 markings, 4878275 edges, 990 markings/sec, 1725 secs
lola: 1877673 markings, 4883597 edges, 365 markings/sec, 1730 secs
lola: 1882136 markings, 4892559 edges, 893 markings/sec, 1735 secs
lola: 1884324 markings, 4898207 edges, 438 markings/sec, 1740 secs
lola: 1888189 markings, 4906575 edges, 773 markings/sec, 1745 secs
lola: 1891054 markings, 4913033 edges, 573 markings/sec, 1750 secs
lola: 1893789 markings, 4919548 edges, 547 markings/sec, 1755 secs
lola: 1897602 markings, 4927592 edges, 763 markings/sec, 1760 secs
lola: 1899124 markings, 4932032 edges, 304 markings/sec, 1765 secs
lola: 1902513 markings, 4939103 edges, 678 markings/sec, 1770 secs
lola: 1904089 markings, 4943705 edges, 315 markings/sec, 1775 secs
lola: 1907098 markings, 4949928 edges, 602 markings/sec, 1780 secs
lola: 1908716 markings, 4954656 edges, 324 markings/sec, 1785 secs
lola: 1911450 markings, 4960333 edges, 547 markings/sec, 1790 secs
lola: 1913236 markings, 4965545 edges, 357 markings/sec, 1795 secs
lola: 1915834 markings, 4970998 edges, 520 markings/sec, 1800 secs
lola: 1918488 markings, 4976990 edges, 531 markings/sec, 1805 secs
lola: 1919937 markings, 4981211 edges, 290 markings/sec, 1810 secs
lola: 1922111 markings, 4986032 edges, 435 markings/sec, 1815 secs
lola: 1923687 markings, 4990634 edges, 315 markings/sec, 1820 secs
lola: 1925144 markings, 4995305 edges, 291 markings/sec, 1825 secs
lola: 1926273 markings, 4999191 edges, 226 markings/sec, 1830 secs
lola: 1927293 markings, 5002687 edges, 204 markings/sec, 1835 secs
lola: 1929282 markings, 5009566 edges, 398 markings/sec, 1840 secs
lola: 1931973 markings, 5018847 edges, 538 markings/sec, 1845 secs
lola: 1934149 markings, 5026361 edges, 435 markings/sec, 1850 secs
lola: 1936069 markings, 5032971 edges, 384 markings/sec, 1855 secs
lola: 1937831 markings, 5039080 edges, 352 markings/sec, 1860 secs
lola: 1939582 markings, 5045178 edges, 350 markings/sec, 1865 secs
lola: 1941245 markings, 5050843 edges, 333 markings/sec, 1870 secs
lola: 1942847 markings, 5056384 edges, 320 markings/sec, 1875 secs
lola: 1944396 markings, 5061737 edges, 310 markings/sec, 1880 secs
lola: 1945899 markings, 5066928 edges, 301 markings/sec, 1885 secs
lola: 1947359 markings, 5071966 edges, 292 markings/sec, 1890 secs
lola: 1948776 markings, 5076851 edges, 283 markings/sec, 1895 secs
lola: 1950156 markings, 5081605 edges, 276 markings/sec, 1900 secs
lola: 1951512 markings, 5086274 edges, 271 markings/sec, 1905 secs
lola: 1952797 markings, 5090691 edges, 257 markings/sec, 1910 secs
lola: 1954023 markings, 5094900 edges, 245 markings/sec, 1915 secs
lola: 1955159 markings, 5098792 edges, 227 markings/sec, 1920 secs
lola: 1956254 markings, 5102538 edges, 219 markings/sec, 1925 secs
lola: 1957292 markings, 5106083 edges, 208 markings/sec, 1930 secs
lola: 1958285 markings, 5109469 edges, 199 markings/sec, 1935 secs
lola: 1959522 markings, 5113705 edges, 247 markings/sec, 1940 secs
lola: 1962043 markings, 5122340 edges, 504 markings/sec, 1945 secs
lola: 1963189 markings, 5126253 edges, 229 markings/sec, 1950 secs
lola: 1964233 markings, 5129807 edges, 209 markings/sec, 1955 secs
lola: 1965256 markings, 5133285 edges, 205 markings/sec, 1960 secs
lola: 1968442 markings, 5144008 edges, 637 markings/sec, 1965 secs
lola: 1970767 markings, 5151494 edges, 465 markings/sec, 1970 secs
lola: 1976691 markings, 5163187 edges, 1185 markings/sec, 1975 secs
lola: 1983625 markings, 5180183 edges, 1387 markings/sec, 1980 secs
lola: 1989493 markings, 5194603 edges, 1174 markings/sec, 1985 secs
lola: 1994669 markings, 5207285 edges, 1035 markings/sec, 1990 secs
lola: 1999415 markings, 5218848 edges, 949 markings/sec, 1995 secs
lola: 2003541 markings, 5228915 edges, 825 markings/sec, 2000 secs
lola: 2008230 markings, 5240280 edges, 938 markings/sec, 2005 secs
lola: 2012612 markings, 5250845 edges, 876 markings/sec, 2010 secs
lola: 2019406 markings, 5266589 edges, 1359 markings/sec, 2015 secs
lola: 2024575 markings, 5275828 edges, 1034 markings/sec, 2020 secs
lola: 2026535 markings, 5279537 edges, 392 markings/sec, 2025 secs
lola: 2027477 markings, 5282684 edges, 188 markings/sec, 2030 secs
lola: 2028392 markings, 5285821 edges, 183 markings/sec, 2035 secs
lola: 2029306 markings, 5288984 edges, 183 markings/sec, 2040 secs
lola: 2030227 markings, 5292180 edges, 184 markings/sec, 2045 secs
lola: 2031151 markings, 5295321 edges, 185 markings/sec, 2050 secs
lola: 2032080 markings, 5298529 edges, 186 markings/sec, 2055 secs
lola: 2032954 markings, 5301542 edges, 175 markings/sec, 2060 secs
lola: 2033881 markings, 5304752 edges, 185 markings/sec, 2065 secs
lola: 2034793 markings, 5307964 edges, 182 markings/sec, 2070 secs
lola: 2035708 markings, 5311083 edges, 183 markings/sec, 2075 secs
lola: 2036645 markings, 5314310 edges, 187 markings/sec, 2080 secs
lola: 2037595 markings, 5317581 edges, 190 markings/sec, 2085 secs
lola: 2038556 markings, 5320889 edges, 192 markings/sec, 2090 secs
lola: 2039506 markings, 5324166 edges, 190 markings/sec, 2095 secs
lola: 2040375 markings, 5327197 edges, 174 markings/sec, 2100 secs
lola: 2041247 markings, 5330189 edges, 174 markings/sec, 2105 secs
lola: 2042119 markings, 5333179 edges, 174 markings/sec, 2110 secs
lola: 2043050 markings, 5336438 edges, 186 markings/sec, 2115 secs
lola: 2043994 markings, 5339678 edges, 189 markings/sec, 2120 secs
lola: 2044943 markings, 5342933 edges, 190 markings/sec, 2125 secs
lola: 2045886 markings, 5346209 edges, 189 markings/sec, 2130 secs
lola: 2046839 markings, 5349501 edges, 191 markings/sec, 2135 secs
lola: 2047817 markings, 5352854 edges, 196 markings/sec, 2140 secs
lola: 2048780 markings, 5356153 edges, 193 markings/sec, 2145 secs
lola: 2049730 markings, 5359478 edges, 190 markings/sec, 2150 secs
lola: 2050679 markings, 5362725 edges, 190 markings/sec, 2155 secs
lola: 2051638 markings, 5366006 edges, 192 markings/sec, 2160 secs
lola: 2052587 markings, 5369308 edges, 190 markings/sec, 2165 secs
lola: 2053534 markings, 5372564 edges, 189 markings/sec, 2170 secs
lola: 2054489 markings, 5375826 edges, 191 markings/sec, 2175 secs
lola: 2055448 markings, 5379101 edges, 192 markings/sec, 2180 secs
lola: 2056391 markings, 5382401 edges, 189 markings/sec, 2185 secs
lola: 2057341 markings, 5385642 edges, 190 markings/sec, 2190 secs
lola: 2058294 markings, 5388892 edges, 191 markings/sec, 2195 secs
lola: 2059227 markings, 5392068 edges, 187 markings/sec, 2200 secs
lola: 2060167 markings, 5395358 edges, 188 markings/sec, 2205 secs
lola: 2061120 markings, 5398605 edges, 191 markings/sec, 2210 secs
lola: 2062073 markings, 5401848 edges, 191 markings/sec, 2215 secs
lola: 2063032 markings, 5405111 edges, 192 markings/sec, 2220 secs
lola: 2063981 markings, 5408336 edges, 190 markings/sec, 2225 secs
lola: 2064931 markings, 5411619 edges, 190 markings/sec, 2230 secs
lola: 2065881 markings, 5414898 edges, 190 markings/sec, 2235 secs
lola: 2066833 markings, 5418120 edges, 190 markings/sec, 2240 secs
lola: 2067792 markings, 5421382 edges, 192 markings/sec, 2245 secs
lola: 2068752 markings, 5424576 edges, 192 markings/sec, 2250 secs
lola: 2069708 markings, 5427763 edges, 191 markings/sec, 2255 secs
lola: 2070669 markings, 5431016 edges, 192 markings/sec, 2260 secs
lola: 2071631 markings, 5434157 edges, 192 markings/sec, 2265 secs
lola: 2072586 markings, 5437266 edges, 191 markings/sec, 2270 secs
lola: 2078749 markings, 5457159 edges, 1233 markings/sec, 2275 secs
lola: 2091246 markings, 5499507 edges, 2499 markings/sec, 2280 secs
lola: 2103658 markings, 5541701 edges, 2482 markings/sec, 2285 secs
lola: 2116088 markings, 5584296 edges, 2486 markings/sec, 2290 secs
lola: 2122136 markings, 5601607 edges, 1210 markings/sec, 2295 secs
lola: 2125148 markings, 5607154 edges, 602 markings/sec, 2300 secs
lola: 2128281 markings, 5612961 edges, 627 markings/sec, 2305 secs
lola: 2131397 markings, 5618734 edges, 623 markings/sec, 2310 secs
lola: 2134484 markings, 5624493 edges, 617 markings/sec, 2315 secs
lola: 2138581 markings, 5635262 edges, 819 markings/sec, 2320 secs
lola: 2140827 markings, 5642886 edges, 449 markings/sec, 2325 secs
lola: 2143195 markings, 5648841 edges, 474 markings/sec, 2330 secs
lola: 2149332 markings, 5663850 edges, 1227 markings/sec, 2335 secs
lola: 2155222 markings, 5678257 edges, 1178 markings/sec, 2340 secs
lola: 2160422 markings, 5691005 edges, 1040 markings/sec, 2345 secs
lola: 2165280 markings, 5702866 edges, 972 markings/sec, 2350 secs
lola: 2169580 markings, 5713382 edges, 860 markings/sec, 2355 secs
lola: 2173294 markings, 5722415 edges, 743 markings/sec, 2360 secs
lola: 2178496 markings, 5734960 edges, 1040 markings/sec, 2365 secs
lola: 2184440 markings, 5749092 edges, 1189 markings/sec, 2370 secs
lola: 2187049 markings, 5755366 edges, 522 markings/sec, 2375 secs
lola: 2188004 markings, 5758598 edges, 191 markings/sec, 2380 secs
lola: 2188959 markings, 5761874 edges, 191 markings/sec, 2385 secs
lola: 2189912 markings, 5765169 edges, 191 markings/sec, 2390 secs
lola: 2190868 markings, 5768476 edges, 191 markings/sec, 2395 secs
lola: 2191821 markings, 5771807 edges, 191 markings/sec, 2400 secs
lola: 2192785 markings, 5775106 edges, 193 markings/sec, 2405 secs
lola: 2193736 markings, 5778392 edges, 190 markings/sec, 2410 secs
lola: 2194686 markings, 5781695 edges, 190 markings/sec, 2415 secs
lola: 2195638 markings, 5784943 edges, 190 markings/sec, 2420 secs
lola: 2196586 markings, 5788210 edges, 190 markings/sec, 2425 secs
lola: 2197541 markings, 5791499 edges, 191 markings/sec, 2430 secs
lola: 2198472 markings, 5794702 edges, 186 markings/sec, 2435 secs
lola: 2199425 markings, 5797980 edges, 191 markings/sec, 2440 secs
lola: 2200384 markings, 5801347 edges, 192 markings/sec, 2445 secs
lola: 2201338 markings, 5804616 edges, 191 markings/sec, 2450 secs
lola: 2202287 markings, 5807876 edges, 190 markings/sec, 2455 secs
lola: 2203259 markings, 5811214 edges, 194 markings/sec, 2460 secs
lola: 2204209 markings, 5814489 edges, 190 markings/sec, 2465 secs
lola: 2205135 markings, 5817715 edges, 185 markings/sec, 2470 secs
lola: 2206084 markings, 5820969 edges, 190 markings/sec, 2475 secs
lola: 2207032 markings, 5824217 edges, 190 markings/sec, 2480 secs
lola: 2207979 markings, 5827539 edges, 189 markings/sec, 2485 secs
lola: 2208886 markings, 5830635 edges, 181 markings/sec, 2490 secs
lola: 2209756 markings, 5833606 edges, 174 markings/sec, 2495 secs
lola: 2210624 markings, 5836617 edges, 174 markings/sec, 2500 secs
lola: 2211519 markings, 5839701 edges, 179 markings/sec, 2505 secs
lola: 2212465 markings, 5842935 edges, 189 markings/sec, 2510 secs
lola: 2213421 markings, 5846201 edges, 191 markings/sec, 2515 secs
lola: 2214373 markings, 5849552 edges, 190 markings/sec, 2520 secs
lola: 2215300 markings, 5852696 edges, 185 markings/sec, 2525 secs
lola: 2216160 markings, 5855621 edges, 172 markings/sec, 2530 secs
lola: 2217027 markings, 5858572 edges, 173 markings/sec, 2535 secs
lola: 2217904 markings, 5861641 edges, 175 markings/sec, 2540 secs
lola: 2218810 markings, 5864725 edges, 181 markings/sec, 2545 secs
lola: 2219744 markings, 5867904 edges, 187 markings/sec, 2550 secs
lola: 2220698 markings, 5871152 edges, 191 markings/sec, 2555 secs
lola: 2221657 markings, 5874415 edges, 192 markings/sec, 2560 secs
lola: 2222615 markings, 5877695 edges, 192 markings/sec, 2565 secs
lola: 2223566 markings, 5880974 edges, 190 markings/sec, 2570 secs
lola: 2224431 markings, 5883931 edges, 173 markings/sec, 2575 secs
lola: 2225319 markings, 5886938 edges, 178 markings/sec, 2580 secs
lola: 2226192 markings, 5889893 edges, 175 markings/sec, 2585 secs
lola: 2227116 markings, 5892944 edges, 185 markings/sec, 2590 secs
lola: 2228025 markings, 5895992 edges, 182 markings/sec, 2595 secs
lola: 2228894 markings, 5898924 edges, 174 markings/sec, 2600 secs
lola: 2229768 markings, 5901758 edges, 175 markings/sec, 2605 secs
lola: 2232156 markings, 5909004 edges, 478 markings/sec, 2610 secs
lola: 2244286 markings, 5949803 edges, 2426 markings/sec, 2615 secs
lola: 2255900 markings, 5989300 edges, 2323 markings/sec, 2620 secs
lola: 2268230 markings, 6031425 edges, 2466 markings/sec, 2625 secs
lola: 2276279 markings, 6056668 edges, 1610 markings/sec, 2630 secs
lola: 2279426 markings, 6062500 edges, 629 markings/sec, 2635 secs
lola: 2282563 markings, 6068317 edges, 627 markings/sec, 2640 secs
lola: 2285696 markings, 6074128 edges, 627 markings/sec, 2645 secs
lola: 2288833 markings, 6079945 edges, 627 markings/sec, 2650 secs
lola: 2292682 markings, 6089466 edges, 770 markings/sec, 2655 secs
lola: 2295048 markings, 6097751 edges, 473 markings/sec, 2660 secs
lola: 2296807 markings, 6102394 edges, 352 markings/sec, 2665 secs
lola: 2302532 markings, 6116308 edges, 1145 markings/sec, 2670 secs
lola: 2308285 markings, 6130388 edges, 1151 markings/sec, 2675 secs
lola: 2313621 markings, 6143486 edges, 1067 markings/sec, 2680 secs
lola: 2318511 markings, 6155437 edges, 978 markings/sec, 2685 secs
lola: 2322801 markings, 6165856 edges, 858 markings/sec, 2690 secs
lola: 2327144 markings, 6176466 edges, 869 markings/sec, 2695 secs
lola: 2331691 markings, 6187373 edges, 909 markings/sec, 2700 secs
lola: 2338272 markings, 6202620 edges, 1316 markings/sec, 2705 secs
lola: 2339224 markings, 6205647 edges, 190 markings/sec, 2710 secs
lola: 2340095 markings, 6208645 edges, 174 markings/sec, 2715 secs
lola: 2340970 markings, 6211615 edges, 175 markings/sec, 2720 secs
lola: 2341844 markings, 6214637 edges, 175 markings/sec, 2725 secs
lola: 2342776 markings, 6217871 edges, 186 markings/sec, 2730 secs
lola: 2343736 markings, 6221136 edges, 192 markings/sec, 2735 secs
lola: 2344696 markings, 6224451 edges, 192 markings/sec, 2740 secs
lola: 2345657 markings, 6227768 edges, 192 markings/sec, 2745 secs
lola: 2346614 markings, 6231068 edges, 191 markings/sec, 2750 secs
lola: 2347521 markings, 6234192 edges, 181 markings/sec, 2755 secs
lola: 2348387 markings, 6237231 edges, 173 markings/sec, 2760 secs
lola: 2349260 markings, 6240225 edges, 175 markings/sec, 2765 secs
lola: 2350132 markings, 6243222 edges, 174 markings/sec, 2770 secs
lola: 2351004 markings, 6246217 edges, 174 markings/sec, 2775 secs
lola: 2351930 markings, 6249438 edges, 185 markings/sec, 2780 secs
lola: 2352832 markings, 6252556 edges, 180 markings/sec, 2785 secs
lola: 2353730 markings, 6255638 edges, 180 markings/sec, 2790 secs
lola: 2354672 markings, 6258872 edges, 188 markings/sec, 2795 secs
lola: 2355615 markings, 6262108 edges, 189 markings/sec, 2800 secs
lola: 2356482 markings, 6265142 edges, 173 markings/sec, 2805 secs
lola: 2357346 markings, 6268099 edges, 173 markings/sec, 2810 secs
lola: 2358225 markings, 6271107 edges, 176 markings/sec, 2815 secs
lola: 2359105 markings, 6274187 edges, 176 markings/sec, 2820 secs
lola: 2360027 markings, 6277343 edges, 184 markings/sec, 2825 secs
lola: 2360897 markings, 6280315 edges, 174 markings/sec, 2830 secs
lola: 2361781 markings, 6283350 edges, 177 markings/sec, 2835 secs
lola: 2362694 markings, 6286529 edges, 183 markings/sec, 2840 secs
lola: 2363564 markings, 6289497 edges, 174 markings/sec, 2845 secs
lola: 2364434 markings, 6292463 edges, 174 markings/sec, 2850 secs
lola: 2365299 markings, 6295499 edges, 173 markings/sec, 2855 secs
lola: 2366288 markings, 6298871 edges, 198 markings/sec, 2860 secs
lola: 2367265 markings, 6302208 edges, 195 markings/sec, 2865 secs
lola: 2368168 markings, 6305282 edges, 181 markings/sec, 2870 secs
lola: 2369042 markings, 6308255 edges, 175 markings/sec, 2875 secs
lola: 2369915 markings, 6311321 edges, 175 markings/sec, 2880 secs
lola: 2370820 markings, 6314389 edges, 181 markings/sec, 2885 secs
lola: 2371777 markings, 6317648 edges, 191 markings/sec, 2890 secs
lola: 2372734 markings, 6320904 edges, 191 markings/sec, 2895 secs
lola: 2373691 markings, 6324159 edges, 191 markings/sec, 2900 secs
lola: 2374654 markings, 6327431 edges, 193 markings/sec, 2905 secs
lola: 2375619 markings, 6330719 edges, 193 markings/sec, 2910 secs
lola: 2376596 markings, 6333926 edges, 195 markings/sec, 2915 secs
lola: 2377563 markings, 6337206 edges, 193 markings/sec, 2920 secs
lola: 2378529 markings, 6340371 edges, 193 markings/sec, 2925 secs
lola: 2379490 markings, 6343508 edges, 192 markings/sec, 2930 secs
lola: 2387368 markings, 6369139 edges, 1576 markings/sec, 2935 secs
lola: 2399871 markings, 6411512 edges, 2501 markings/sec, 2940 secs
lola: 2412318 markings, 6454014 edges, 2489 markings/sec, 2945 secs
lola: 2422389 markings, 6487142 edges, 2014 markings/sec, 2950 secs
lola: time limit reached - aborting
lola:
preliminary result: 50 50 1 50 50 50 50 1 1 50 50 50 1 unknown 50 1
lola:
preliminary result: 50 50 1 50 50 50 50 1 1 50 50 50 1 unknown 50 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 50 1 50 50 50 50 1 1 50 50 50 1 unknown 50 1
lola: memory consumption: 207556 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 50 1 50 50 50 50 1 1 50 50 50 1 unknown 50 1
lola: memory consumption: 207556 KB
lola: time consumption: 3569 seconds

BK_STOP 1552408094717

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

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-COL-V50P50N50"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is BridgeAndVehicles-COL-V50P50N50, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r022-csrt-155225094600145"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V50P50N50.tgz
mv BridgeAndVehicles-COL-V50P50N50 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;