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

About the Execution of LoLA for BridgeAndVehicles-COL-V80P50N20

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
368.510 3570493.00 3639686.00 472.60 1 ? 1 1 80 80 80 1 80 80 50 80 80 1 80 80 normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..................
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K 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.1K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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-V80P50N20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306300240
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526552699045

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P50N20 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P50N20 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-COL-V80P50N20 @ 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: 3926/65536 symbol table entries, 711 collisions
lola: preprocessing...
lola: Size of bit vector: 6336
lola: finding significant places
lola: 198 places, 3728 transitions, 191 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4253 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V80P50N20-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(p87 + p88) : MAX(p90) : MAX(p87 + p88) : MAX(0) : MAX(p1) : MAX(p3) : MAX(p89) : MAX(0) : MAX(p197) : MAX(p172) : MAX(p2) : MAX(p197) : MAX(p3) : MAX(p4 + p5) : MAX(p89) : MAX(p197)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 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-V80P50N20-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: ========================================
check_solution: Constraint R4 = 0 is above its equality of -50
check_solution: Constraint R5 = 0 is above its equality of -80
check_solution: Constraint R8 = 0 is above its equality of -1
check_solution: Constraint R85 = 0 is above its equality of -1
check_solution: Constraint R87 = 0 is above its equality of -1
check_solution: Constraint R109 = 0 is above its equality of -80
check_solution: Constraint R191 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 80 (rel. error 1)
check_solution: Constraint R4 = 0 is above its equality of -50
check_solution: Constraint R5 = 0 is above its equality of -80
check_solution: Constraint R8 = 0 is above its equality of -1
check_solution: Constraint R85 = 0 is above its equality of -1
check_solution: Constraint R87 = 0 is above its equality of -1
check_solution: Constraint R109 = 0 is above its equality of -80
check_solution: Constraint R191 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 80 (rel. error 1)

FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 235 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-V80P50N20-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-V80P50N20-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 252 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-V80P50N20-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: 339 markings, 338 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-4 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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-V80P50N20-UpperBounds-5 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 294 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p89)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p89)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: 81 markings, 80 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-6 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p90)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p90)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: 20106 markings, 23392 edges, 4021 markings/sec, 30 secs
lola: 47536 markings, 54357 edges, 5486 markings/sec, 35 secs
lola: 76306 markings, 87529 edges, 5754 markings/sec, 40 secs
lola: 104984 markings, 120543 edges, 5736 markings/sec, 45 secs
lola: 132144 markings, 151275 edges, 5432 markings/sec, 50 secs
lola: 160358 markings, 183703 edges, 5643 markings/sec, 55 secs
lola: 188132 markings, 215494 edges, 5555 markings/sec, 60 secs
lola: 215236 markings, 246585 edges, 5421 markings/sec, 65 secs
lola: 241908 markings, 277005 edges, 5334 markings/sec, 70 secs
lola: 269948 markings, 309171 edges, 5608 markings/sec, 75 secs
lola: 296366 markings, 339303 edges, 5284 markings/sec, 80 secs
lola: 322650 markings, 369212 edges, 5257 markings/sec, 85 secs
lola: 350692 markings, 401359 edges, 5608 markings/sec, 90 secs
lola: 367858 markings, 420768 edges, 3433 markings/sec, 95 secs
lola: 369612 markings, 423399 edges, 351 markings/sec, 100 secs
lola: 371366 markings, 426030 edges, 351 markings/sec, 105 secs
lola: 373126 markings, 428670 edges, 352 markings/sec, 110 secs
lola: 374886 markings, 431308 edges, 352 markings/sec, 115 secs
lola: 376640 markings, 433933 edges, 351 markings/sec, 120 secs
lola: 378394 markings, 436549 edges, 351 markings/sec, 125 secs
lola: 380152 markings, 439096 edges, 352 markings/sec, 130 secs
lola: 384248 markings, 443926 edges, 819 markings/sec, 135 secs
lola: 386004 markings, 446560 edges, 351 markings/sec, 140 secs
lola: 387762 markings, 449197 edges, 352 markings/sec, 145 secs
lola: 389524 markings, 451840 edges, 352 markings/sec, 150 secs
lola: 391280 markings, 454468 edges, 351 markings/sec, 155 secs
lola: 393034 markings, 457093 edges, 351 markings/sec, 160 secs
lola: 394770 markings, 459690 edges, 347 markings/sec, 165 secs
lola: 398832 markings, 464394 edges, 812 markings/sec, 170 secs
lola: 400584 markings, 467022 edges, 350 markings/sec, 175 secs
lola: 402336 markings, 469650 edges, 350 markings/sec, 180 secs
lola: 404094 markings, 472287 edges, 352 markings/sec, 185 secs
lola: 405852 markings, 474920 edges, 352 markings/sec, 190 secs
lola: 407608 markings, 477548 edges, 351 markings/sec, 195 secs
lola: 409332 markings, 480128 edges, 345 markings/sec, 200 secs
lola: 413338 markings, 484764 edges, 801 markings/sec, 205 secs
lola: 415094 markings, 487398 edges, 351 markings/sec, 210 secs
lola: 416850 markings, 490032 edges, 351 markings/sec, 215 secs
lola: 418610 markings, 492672 edges, 352 markings/sec, 220 secs
lola: 420368 markings, 495307 edges, 352 markings/sec, 225 secs
lola: 422122 markings, 497931 edges, 351 markings/sec, 230 secs
lola: 423876 markings, 500556 edges, 351 markings/sec, 235 secs
lola: 427754 markings, 505128 edges, 776 markings/sec, 240 secs
lola: 429614 markings, 507808 edges, 372 markings/sec, 245 secs
lola: 431370 markings, 510442 edges, 351 markings/sec, 250 secs
lola: 433128 markings, 513079 edges, 352 markings/sec, 255 secs
lola: 434888 markings, 515718 edges, 352 markings/sec, 260 secs
lola: 436644 markings, 518344 edges, 351 markings/sec, 265 secs
lola: 438400 markings, 520972 edges, 351 markings/sec, 270 secs
lola: 441426 markings, 524698 edges, 605 markings/sec, 275 secs
lola: 444098 markings, 528183 edges, 534 markings/sec, 280 secs
lola: 445856 markings, 530820 edges, 352 markings/sec, 285 secs
lola: 447616 markings, 533460 edges, 352 markings/sec, 290 secs
lola: 449374 markings, 536095 edges, 352 markings/sec, 295 secs
lola: 451128 markings, 538719 edges, 351 markings/sec, 300 secs
lola: 452884 markings, 541341 edges, 351 markings/sec, 305 secs
lola: 456686 markings, 545802 edges, 760 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 80 80 80 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 86292 KB
lola: time consumption: 362 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p197)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p197)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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-V80P50N20-UpperBounds-8 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p172)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p172)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: 336 markings, 335 edges
lola: ========================================

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

FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-10 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p197)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p197)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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-V80P50N20-UpperBounds-11 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 534 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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-V80P50N20-UpperBounds-12 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 641 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p89)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p89)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: 81 markings, 80 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-14 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 800 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p197)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p197)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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-V80P50N20-UpperBounds-15 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 1067 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-V80P50N20-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-V80P50N20-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1600 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p87 + p88)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p87 + p88)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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-V80P50N20-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 3201 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p87 + p88)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p87 + p88)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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-V80P50N20-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p90)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p90)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N20-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: 20116 markings, 23403 edges, 4023 markings/sec, 30 secs
lola: 47466 markings, 54285 edges, 5470 markings/sec, 35 secs
lola: 76216 markings, 87416 edges, 5750 markings/sec, 40 secs
lola: 104850 markings, 120375 edges, 5727 markings/sec, 45 secs
lola: 131966 markings, 151053 edges, 5423 markings/sec, 50 secs
lola: 159684 markings, 183015 edges, 5544 markings/sec, 55 secs
lola: 187598 markings, 214947 edges, 5583 markings/sec, 60 secs
lola: 213659 markings, 244831 edges, 5212 markings/sec, 65 secs
lola: 241708 markings, 276801 edges, 5610 markings/sec, 70 secs
lola: 268040 markings, 306786 edges, 5266 markings/sec, 75 secs
lola: 293664 markings, 336181 edges, 5125 markings/sec, 80 secs
lola: 321566 markings, 368117 edges, 5580 markings/sec, 85 secs
lola: 347342 markings, 397741 edges, 5155 markings/sec, 90 secs
lola: 367642 markings, 420444 edges, 4060 markings/sec, 95 secs
lola: 369378 markings, 423048 edges, 347 markings/sec, 100 secs
lola: 371114 markings, 425652 edges, 347 markings/sec, 105 secs
lola: 372818 markings, 428208 edges, 341 markings/sec, 110 secs
lola: 374562 markings, 430824 edges, 349 markings/sec, 115 secs
lola: 376294 markings, 433415 edges, 346 markings/sec, 120 secs
lola: 378028 markings, 436010 edges, 347 markings/sec, 125 secs
lola: 379760 markings, 438602 edges, 346 markings/sec, 130 secs
lola: 383842 markings, 443317 edges, 816 markings/sec, 135 secs
lola: 385580 markings, 445924 edges, 348 markings/sec, 140 secs
lola: 387312 markings, 448522 edges, 346 markings/sec, 145 secs
lola: 389050 markings, 451129 edges, 348 markings/sec, 150 secs
lola: 390782 markings, 453723 edges, 346 markings/sec, 155 secs
lola: 392504 markings, 456300 edges, 344 markings/sec, 160 secs
lola: 394190 markings, 458823 edges, 337 markings/sec, 165 secs
lola: 398104 markings, 463348 edges, 783 markings/sec, 170 secs
lola: 399944 markings, 466062 edges, 368 markings/sec, 175 secs
lola: 401700 markings, 468696 edges, 351 markings/sec, 180 secs
lola: 403458 markings, 471333 edges, 352 markings/sec, 185 secs
lola: 405218 markings, 473972 edges, 352 markings/sec, 190 secs
lola: 406974 markings, 476599 edges, 351 markings/sec, 195 secs
lola: 408730 markings, 479227 edges, 351 markings/sec, 200 secs
lola: 410470 markings, 481751 edges, 348 markings/sec, 205 secs
lola: 414488 markings, 486489 edges, 804 markings/sec, 210 secs
lola: 416244 markings, 489123 edges, 351 markings/sec, 215 secs
lola: 418002 markings, 491760 edges, 352 markings/sec, 220 secs
lola: 419762 markings, 494400 edges, 352 markings/sec, 225 secs
lola: 421518 markings, 497027 edges, 351 markings/sec, 230 secs
lola: 423272 markings, 499652 edges, 351 markings/sec, 235 secs
lola: 425026 markings, 502277 edges, 351 markings/sec, 240 secs
lola: 429006 markings, 506896 edges, 796 markings/sec, 245 secs
lola: 430762 markings, 509530 edges, 351 markings/sec, 250 secs
lola: 432518 markings, 512164 edges, 351 markings/sec, 255 secs
lola: 434276 markings, 514801 edges, 352 markings/sec, 260 secs
lola: 436030 markings, 517426 edges, 351 markings/sec, 265 secs
lola: 437784 markings, 520050 edges, 351 markings/sec, 270 secs
lola: 439536 markings, 522672 edges, 350 markings/sec, 275 secs
lola: 443478 markings, 527253 edges, 788 markings/sec, 280 secs
lola: 445234 markings, 529887 edges, 351 markings/sec, 285 secs
lola: 446990 markings, 532521 edges, 351 markings/sec, 290 secs
lola: 448748 markings, 535158 edges, 352 markings/sec, 295 secs
lola: 450502 markings, 537783 edges, 351 markings/sec, 300 secs
lola: 452256 markings, 540407 edges, 351 markings/sec, 305 secs
lola: 454006 markings, 543026 edges, 350 markings/sec, 310 secs
lola: 457908 markings, 547566 edges, 780 markings/sec, 315 secs
lola: 459650 markings, 550179 edges, 348 markings/sec, 320 secs
lola: 461406 markings, 552813 edges, 351 markings/sec, 325 secs
lola: 463162 markings, 555447 edges, 351 markings/sec, 330 secs
lola: 464898 markings, 558044 edges, 347 markings/sec, 335 secs
lola: 466624 markings, 560626 edges, 345 markings/sec, 340 secs
lola: 468382 markings, 563158 edges, 352 markings/sec, 345 secs
lola: 472220 markings, 567721 edges, 768 markings/sec, 350 secs
lola: 473974 markings, 570352 edges, 351 markings/sec, 355 secs
lola: 475732 markings, 572989 edges, 352 markings/sec, 360 secs
lola: 477490 markings, 575624 edges, 352 markings/sec, 365 secs
lola: 479208 markings, 578194 edges, 344 markings/sec, 370 secs
lola: 480964 markings, 580821 edges, 351 markings/sec, 375 secs
lola: 484718 markings, 585201 edges, 751 markings/sec, 380 secs
lola: 486526 markings, 587886 edges, 362 markings/sec, 385 secs
lola: 488274 markings, 590508 edges, 350 markings/sec, 390 secs
lola: 490016 markings, 593121 edges, 348 markings/sec, 395 secs
lola: 491772 markings, 595751 edges, 351 markings/sec, 400 secs
lola: 493528 markings, 598377 edges, 351 markings/sec, 405 secs
lola: 495282 markings, 601002 edges, 351 markings/sec, 410 secs
lola: 499068 markings, 605424 edges, 757 markings/sec, 415 secs
lola: 500824 markings, 608058 edges, 351 markings/sec, 420 secs
lola: 502580 markings, 610692 edges, 351 markings/sec, 425 secs
lola: 504340 markings, 613332 edges, 352 markings/sec, 430 secs
lola: 506086 markings, 615943 edges, 349 markings/sec, 435 secs
lola: 507838 markings, 618564 edges, 350 markings/sec, 440 secs
lola: 511490 markings, 622890 edges, 730 markings/sec, 445 secs
lola: 513338 markings, 625573 edges, 370 markings/sec, 450 secs
lola: 515094 markings, 628207 edges, 351 markings/sec, 455 secs
lola: 516854 markings, 630847 edges, 352 markings/sec, 460 secs
lola: 518610 markings, 633476 edges, 351 markings/sec, 465 secs
lola: 520366 markings, 636102 edges, 351 markings/sec, 470 secs
lola: 522120 markings, 638727 edges, 351 markings/sec, 475 secs
lola: 525826 markings, 643068 edges, 741 markings/sec, 480 secs
lola: 527582 markings, 645702 edges, 351 markings/sec, 485 secs
lola: 529338 markings, 648336 edges, 351 markings/sec, 490 secs
lola: 531094 markings, 650967 edges, 351 markings/sec, 495 secs
lola: 532846 markings, 653587 edges, 350 markings/sec, 500 secs
lola: 534596 markings, 656205 edges, 350 markings/sec, 505 secs
lola: 538242 markings, 660474 edges, 729 markings/sec, 510 secs
lola: 539982 markings, 663084 edges, 348 markings/sec, 515 secs
lola: 541724 markings, 665697 edges, 348 markings/sec, 520 secs
lola: 543466 markings, 668309 edges, 348 markings/sec, 525 secs
lola: 545202 markings, 670905 edges, 347 markings/sec, 530 secs
lola: 546940 markings, 673505 edges, 348 markings/sec, 535 secs
lola: 550546 markings, 677731 edges, 721 markings/sec, 540 secs
lola: 552282 markings, 680335 edges, 347 markings/sec, 545 secs
lola: 554020 markings, 682942 edges, 348 markings/sec, 550 secs
lola: 555762 markings, 685555 edges, 348 markings/sec, 555 secs
lola: 557470 markings, 688109 edges, 342 markings/sec, 560 secs
lola: 559198 markings, 690694 edges, 346 markings/sec, 565 secs
lola: 562716 markings, 694826 edges, 704 markings/sec, 570 secs
lola: 564482 markings, 697455 edges, 353 markings/sec, 575 secs
lola: 566210 markings, 700047 edges, 346 markings/sec, 580 secs
lola: 567942 markings, 702645 edges, 346 markings/sec, 585 secs
lola: 569632 markings, 705172 edges, 338 markings/sec, 590 secs
lola: 571360 markings, 707757 edges, 346 markings/sec, 595 secs
lola: 574810 markings, 711823 edges, 690 markings/sec, 600 secs
lola: 576610 markings, 714486 edges, 360 markings/sec, 605 secs
lola: 578340 markings, 717081 edges, 346 markings/sec, 610 secs
lola: 580078 markings, 719688 edges, 348 markings/sec, 615 secs
lola: 581812 markings, 722281 edges, 347 markings/sec, 620 secs
lola: 583546 markings, 724874 edges, 347 markings/sec, 625 secs
lola: 587032 markings, 728977 edges, 697 markings/sec, 630 secs
lola: 588766 markings, 731578 edges, 347 markings/sec, 635 secs
lola: 590500 markings, 734179 edges, 347 markings/sec, 640 secs
lola: 592238 markings, 736784 edges, 348 markings/sec, 645 secs
lola: 593972 markings, 739377 edges, 347 markings/sec, 650 secs
lola: 595708 markings, 741973 edges, 347 markings/sec, 655 secs
lola: 599166 markings, 746055 edges, 692 markings/sec, 660 secs
lola: 600910 markings, 748671 edges, 349 markings/sec, 665 secs
lola: 602658 markings, 751293 edges, 350 markings/sec, 670 secs
lola: 604404 markings, 753907 edges, 349 markings/sec, 675 secs
lola: 606146 markings, 756512 edges, 348 markings/sec, 680 secs
lola: 607902 markings, 759023 edges, 351 markings/sec, 685 secs
lola: 611324 markings, 763188 edges, 684 markings/sec, 690 secs
lola: 613080 markings, 765822 edges, 351 markings/sec, 695 secs
lola: 614840 markings, 768462 edges, 352 markings/sec, 700 secs
lola: 616596 markings, 771087 edges, 351 markings/sec, 705 secs
lola: 618350 markings, 773710 edges, 351 markings/sec, 710 secs
lola: 621740 markings, 777727 edges, 678 markings/sec, 715 secs
lola: 623496 markings, 780361 edges, 351 markings/sec, 720 secs
lola: 625252 markings, 782995 edges, 351 markings/sec, 725 secs
lola: 627008 markings, 785623 edges, 351 markings/sec, 730 secs
lola: 628762 markings, 788245 edges, 351 markings/sec, 735 secs
lola: 632034 markings, 792144 edges, 654 markings/sec, 740 secs
lola: 633864 markings, 794848 edges, 366 markings/sec, 745 secs
lola: 635606 markings, 797461 edges, 348 markings/sec, 750 secs
lola: 637364 markings, 800095 edges, 352 markings/sec, 755 secs
lola: 639122 markings, 802722 edges, 352 markings/sec, 760 secs
lola: 640876 markings, 805262 edges, 351 markings/sec, 765 secs
lola: 642638 markings, 807905 edges, 352 markings/sec, 770 secs
lola: 644396 markings, 810542 edges, 352 markings/sec, 775 secs
lola: 646154 markings, 813179 edges, 352 markings/sec, 780 secs
lola: 647910 markings, 815813 edges, 351 markings/sec, 785 secs
lola: 649672 markings, 818456 edges, 352 markings/sec, 790 secs
lola: 651432 markings, 821094 edges, 352 markings/sec, 795 secs
lola: 653188 markings, 823721 edges, 351 markings/sec, 800 secs
lola: 654942 markings, 826346 edges, 351 markings/sec, 805 secs
lola: 656704 markings, 828811 edges, 352 markings/sec, 810 secs
lola: 660012 markings, 832815 edges, 662 markings/sec, 815 secs
lola: 661768 markings, 835449 edges, 351 markings/sec, 820 secs
lola: 663528 markings, 838088 edges, 352 markings/sec, 825 secs
lola: 665258 markings, 840673 edges, 346 markings/sec, 830 secs
lola: 667012 markings, 843296 edges, 351 markings/sec, 835 secs
lola: 668770 markings, 845848 edges, 352 markings/sec, 840 secs
lola: 670530 markings, 848488 edges, 352 markings/sec, 845 secs
lola: 672288 markings, 851125 edges, 352 markings/sec, 850 secs
lola: 674042 markings, 853756 edges, 351 markings/sec, 855 secs
lola: 675798 markings, 856390 edges, 351 markings/sec, 860 secs
lola: 677556 markings, 859025 edges, 352 markings/sec, 865 secs
lola: 679310 markings, 861649 edges, 351 markings/sec, 870 secs
lola: 681062 markings, 864271 edges, 350 markings/sec, 875 secs
lola: 682820 markings, 866761 edges, 352 markings/sec, 880 secs
lola: 686086 markings, 870690 edges, 653 markings/sec, 885 secs
lola: 687838 markings, 873318 edges, 350 markings/sec, 890 secs
lola: 689594 markings, 875950 edges, 351 markings/sec, 895 secs
lola: 691326 markings, 878539 edges, 346 markings/sec, 900 secs
lola: 693064 markings, 881127 edges, 348 markings/sec, 905 secs
lola: 694808 markings, 883669 edges, 349 markings/sec, 910 secs
lola: 696550 markings, 886282 edges, 348 markings/sec, 915 secs
lola: 698288 markings, 888889 edges, 348 markings/sec, 920 secs
lola: 700022 markings, 891490 edges, 347 markings/sec, 925 secs
lola: 701760 markings, 894097 edges, 348 markings/sec, 930 secs
lola: 703500 markings, 896704 edges, 348 markings/sec, 935 secs
lola: 705234 markings, 899299 edges, 347 markings/sec, 940 secs
lola: 706970 markings, 901890 edges, 347 markings/sec, 945 secs
lola: 708714 markings, 904282 edges, 349 markings/sec, 950 secs
lola: 711930 markings, 908239 edges, 643 markings/sec, 955 secs
lola: 713676 markings, 910858 edges, 349 markings/sec, 960 secs
lola: 715426 markings, 913479 edges, 350 markings/sec, 965 secs
lola: 717140 markings, 916041 edges, 343 markings/sec, 970 secs
lola: 718874 markings, 918551 edges, 347 markings/sec, 975 secs
lola: 720584 markings, 921116 edges, 342 markings/sec, 980 secs
lola: 722302 markings, 923693 edges, 344 markings/sec, 985 secs
lola: 724034 markings, 926291 edges, 346 markings/sec, 990 secs
lola: 725756 markings, 928874 edges, 344 markings/sec, 995 secs
lola: 727504 markings, 931496 edges, 350 markings/sec, 1000 secs
lola: 729254 markings, 934116 edges, 350 markings/sec, 1005 secs
lola: 731006 markings, 936738 edges, 350 markings/sec, 1010 secs
lola: 732754 markings, 939354 edges, 350 markings/sec, 1015 secs
lola: 735926 markings, 943035 edges, 634 markings/sec, 1020 secs
lola: 737680 markings, 945666 edges, 351 markings/sec, 1025 secs
lola: 739436 markings, 948300 edges, 351 markings/sec, 1030 secs
lola: 741190 markings, 950923 edges, 351 markings/sec, 1035 secs
lola: 742944 markings, 953545 edges, 351 markings/sec, 1040 secs
lola: 744686 markings, 956071 edges, 348 markings/sec, 1045 secs
lola: 746418 markings, 958669 edges, 346 markings/sec, 1050 secs
lola: 748172 markings, 961300 edges, 351 markings/sec, 1055 secs
lola: 749926 markings, 963931 edges, 351 markings/sec, 1060 secs
lola: 751684 markings, 966568 edges, 352 markings/sec, 1065 secs
lola: 753422 markings, 969173 edges, 348 markings/sec, 1070 secs
lola: 755160 markings, 971773 edges, 348 markings/sec, 1075 secs
lola: 756890 markings, 974362 edges, 346 markings/sec, 1080 secs
lola: 758642 markings, 976758 edges, 350 markings/sec, 1085 secs
lola: 761784 markings, 980643 edges, 628 markings/sec, 1090 secs
lola: 763536 markings, 983271 edges, 350 markings/sec, 1095 secs
lola: 765276 markings, 985876 edges, 348 markings/sec, 1100 secs
lola: 767032 markings, 988500 edges, 351 markings/sec, 1105 secs
lola: 768744 markings, 990979 edges, 342 markings/sec, 1110 secs
lola: 770498 markings, 993610 edges, 351 markings/sec, 1115 secs
lola: 772248 markings, 996235 edges, 350 markings/sec, 1120 secs
lola: 774000 markings, 998863 edges, 350 markings/sec, 1125 secs
lola: 775738 markings, 1001470 edges, 348 markings/sec, 1130 secs
lola: 777496 markings, 1004106 edges, 352 markings/sec, 1135 secs
lola: 779212 markings, 1006673 edges, 343 markings/sec, 1140 secs
lola: 780940 markings, 1009258 edges, 346 markings/sec, 1145 secs
lola: 782700 markings, 1011737 edges, 352 markings/sec, 1150 secs
lola: 785798 markings, 1015504 edges, 620 markings/sec, 1155 secs
lola: 787554 markings, 1018138 edges, 351 markings/sec, 1160 secs
lola: 789310 markings, 1020767 edges, 351 markings/sec, 1165 secs
lola: 791062 markings, 1023385 edges, 350 markings/sec, 1170 secs
lola: 792816 markings, 1025927 edges, 351 markings/sec, 1175 secs
lola: 794564 markings, 1028549 edges, 350 markings/sec, 1180 secs
lola: 796318 markings, 1031180 edges, 351 markings/sec, 1185 secs
lola: 798074 markings, 1033814 edges, 351 markings/sec, 1190 secs
lola: 799828 markings, 1036445 edges, 351 markings/sec, 1195 secs
lola: 801584 markings, 1039077 edges, 351 markings/sec, 1200 secs
lola: 803338 markings, 1041701 edges, 351 markings/sec, 1205 secs
lola: 805092 markings, 1044325 edges, 351 markings/sec, 1210 secs
lola: 808106 markings, 1047911 edges, 603 markings/sec, 1215 secs
lola: 809904 markings, 1050522 edges, 360 markings/sec, 1220 secs
lola: 811642 markings, 1053129 edges, 348 markings/sec, 1225 secs
lola: 813386 markings, 1055736 edges, 349 markings/sec, 1230 secs
lola: 815136 markings, 1058352 edges, 350 markings/sec, 1235 secs
lola: 816892 markings, 1060900 edges, 351 markings/sec, 1240 secs
lola: 818648 markings, 1063534 edges, 351 markings/sec, 1245 secs
lola: 820400 markings, 1066162 edges, 350 markings/sec, 1250 secs
lola: 822154 markings, 1068793 edges, 351 markings/sec, 1255 secs
lola: 823910 markings, 1071427 edges, 351 markings/sec, 1260 secs
lola: 825664 markings, 1074053 edges, 351 markings/sec, 1265 secs
lola: 827416 markings, 1076674 edges, 350 markings/sec, 1270 secs
lola: 829168 markings, 1079295 edges, 350 markings/sec, 1275 secs
lola: 832202 markings, 1082847 edges, 607 markings/sec, 1280 secs
lola: 833954 markings, 1085475 edges, 350 markings/sec, 1285 secs
lola: 835708 markings, 1088102 edges, 351 markings/sec, 1290 secs
lola: 837460 markings, 1090720 edges, 350 markings/sec, 1295 secs
lola: 839214 markings, 1093261 edges, 351 markings/sec, 1300 secs
lola: 840972 markings, 1095898 edges, 352 markings/sec, 1305 secs
lola: 842730 markings, 1098535 edges, 352 markings/sec, 1310 secs
lola: 844486 markings, 1101169 edges, 351 markings/sec, 1315 secs
lola: 846246 markings, 1103809 edges, 352 markings/sec, 1320 secs
lola: 848006 markings, 1106446 edges, 352 markings/sec, 1325 secs
lola: 849760 markings, 1109069 edges, 351 markings/sec, 1330 secs
lola: 851516 markings, 1111697 edges, 351 markings/sec, 1335 secs
lola: 854516 markings, 1115215 edges, 600 markings/sec, 1340 secs
lola: 856274 markings, 1117852 edges, 352 markings/sec, 1345 secs
lola: 858034 markings, 1120490 edges, 352 markings/sec, 1350 secs
lola: 859790 markings, 1123113 edges, 351 markings/sec, 1355 secs
lola: 861546 markings, 1125656 edges, 351 markings/sec, 1360 secs
lola: 863308 markings, 1128299 edges, 352 markings/sec, 1365 secs
lola: 865064 markings, 1130933 edges, 351 markings/sec, 1370 secs
lola: 866820 markings, 1133567 edges, 351 markings/sec, 1375 secs
lola: 868582 markings, 1136210 edges, 352 markings/sec, 1380 secs
lola: 870342 markings, 1138847 edges, 352 markings/sec, 1385 secs
lola: 872098 markings, 1141473 edges, 351 markings/sec, 1390 secs
lola: 873830 markings, 1144065 edges, 346 markings/sec, 1395 secs
lola: 876786 markings, 1147536 edges, 591 markings/sec, 1400 secs
lola: 878542 markings, 1150170 edges, 351 markings/sec, 1405 secs
lola: 880300 markings, 1152804 edges, 352 markings/sec, 1410 secs
lola: 882056 markings, 1155427 edges, 351 markings/sec, 1415 secs
lola: 883814 markings, 1157974 edges, 352 markings/sec, 1420 secs
lola: 885574 markings, 1160614 edges, 352 markings/sec, 1425 secs
lola: 887332 markings, 1163251 edges, 352 markings/sec, 1430 secs
lola: 889088 markings, 1165885 edges, 351 markings/sec, 1435 secs
lola: 890848 markings, 1168525 edges, 352 markings/sec, 1440 secs
lola: 892608 markings, 1171160 edges, 352 markings/sec, 1445 secs
lola: 894364 markings, 1173787 edges, 351 markings/sec, 1450 secs
lola: 896120 markings, 1176414 edges, 351 markings/sec, 1455 secs
lola: 899040 markings, 1179852 edges, 584 markings/sec, 1460 secs
lola: 900800 markings, 1182492 edges, 352 markings/sec, 1465 secs
lola: 902558 markings, 1185122 edges, 352 markings/sec, 1470 secs
lola: 904312 markings, 1187742 edges, 351 markings/sec, 1475 secs
lola: 906072 markings, 1190296 edges, 352 markings/sec, 1480 secs
lola: 907830 markings, 1192933 edges, 352 markings/sec, 1485 secs
lola: 909588 markings, 1195570 edges, 352 markings/sec, 1490 secs
lola: 911346 markings, 1198207 edges, 352 markings/sec, 1495 secs
lola: 913106 markings, 1200846 edges, 352 markings/sec, 1500 secs
lola: 914862 markings, 1203472 edges, 351 markings/sec, 1505 secs
lola: 916616 markings, 1206096 edges, 351 markings/sec, 1510 secs
lola: 919444 markings, 1209454 edges, 566 markings/sec, 1515 secs
lola: 921250 markings, 1212121 edges, 361 markings/sec, 1520 secs
lola: 923010 markings, 1214759 edges, 352 markings/sec, 1525 secs
lola: 924764 markings, 1217378 edges, 351 markings/sec, 1530 secs
lola: 926520 markings, 1219922 edges, 351 markings/sec, 1535 secs
lola: 928278 markings, 1222559 edges, 352 markings/sec, 1540 secs
lola: 930036 markings, 1225196 edges, 352 markings/sec, 1545 secs
lola: 931792 markings, 1227830 edges, 351 markings/sec, 1550 secs
lola: 933554 markings, 1230473 edges, 352 markings/sec, 1555 secs
lola: 935312 markings, 1233103 edges, 352 markings/sec, 1560 secs
lola: 937068 markings, 1235730 edges, 351 markings/sec, 1565 secs
lola: 938832 markings, 1238165 edges, 353 markings/sec, 1570 secs
lola: 941664 markings, 1241715 edges, 566 markings/sec, 1575 secs
lola: 943404 markings, 1244325 edges, 348 markings/sec, 1580 secs
lola: 945160 markings, 1246946 edges, 351 markings/sec, 1585 secs
lola: 946898 markings, 1249462 edges, 348 markings/sec, 1590 secs
lola: 948658 markings, 1252102 edges, 352 markings/sec, 1595 secs
lola: 950416 markings, 1254739 edges, 352 markings/sec, 1600 secs
lola: 952172 markings, 1257373 edges, 351 markings/sec, 1605 secs
lola: 953932 markings, 1260013 edges, 352 markings/sec, 1610 secs
lola: 955688 markings, 1262640 edges, 351 markings/sec, 1615 secs
lola: 957444 markings, 1265266 edges, 351 markings/sec, 1620 secs
lola: 959208 markings, 1267691 edges, 353 markings/sec, 1625 secs
lola: 961996 markings, 1271205 edges, 558 markings/sec, 1630 secs
lola: 963752 markings, 1273838 edges, 351 markings/sec, 1635 secs
lola: 965508 markings, 1276459 edges, 351 markings/sec, 1640 secs
lola: 967264 markings, 1279003 edges, 351 markings/sec, 1645 secs
lola: 969024 markings, 1281643 edges, 352 markings/sec, 1650 secs
lola: 970782 markings, 1284280 edges, 352 markings/sec, 1655 secs
lola: 972540 markings, 1286917 edges, 352 markings/sec, 1660 secs
lola: 974302 markings, 1289560 edges, 352 markings/sec, 1665 secs
lola: 976058 markings, 1292185 edges, 351 markings/sec, 1670 secs
lola: 977814 markings, 1294812 edges, 351 markings/sec, 1675 secs
lola: 980574 markings, 1298083 edges, 552 markings/sec, 1680 secs
lola: 982332 markings, 1300720 edges, 352 markings/sec, 1685 secs
lola: 984090 markings, 1303350 edges, 352 markings/sec, 1690 secs
lola: 985844 markings, 1305970 edges, 351 markings/sec, 1695 secs
lola: 987606 markings, 1308527 edges, 352 markings/sec, 1700 secs
lola: 989366 markings, 1311167 edges, 352 markings/sec, 1705 secs
lola: 991124 markings, 1313804 edges, 352 markings/sec, 1710 secs
lola: 992884 markings, 1316444 edges, 352 markings/sec, 1715 secs
lola: 994642 markings, 1319076 edges, 352 markings/sec, 1720 secs
lola: 996398 markings, 1321702 edges, 351 markings/sec, 1725 secs
lola: 998158 markings, 1324241 edges, 352 markings/sec, 1730 secs
lola: 1000874 markings, 1327563 edges, 543 markings/sec, 1735 secs
lola: 1002630 markings, 1330196 edges, 351 markings/sec, 1740 secs
lola: 1004380 markings, 1332807 edges, 350 markings/sec, 1745 secs
lola: 1006134 markings, 1335349 edges, 351 markings/sec, 1750 secs
lola: 1007890 markings, 1337983 edges, 351 markings/sec, 1755 secs
lola: 1009642 markings, 1340611 edges, 350 markings/sec, 1760 secs
lola: 1011396 markings, 1343242 edges, 351 markings/sec, 1765 secs
lola: 1013154 markings, 1345876 edges, 352 markings/sec, 1770 secs
lola: 1014906 markings, 1348496 edges, 350 markings/sec, 1775 secs
lola: 1016658 markings, 1351116 edges, 350 markings/sec, 1780 secs
lola: 1019344 markings, 1354317 edges, 537 markings/sec, 1785 secs
lola: 1021104 markings, 1356957 edges, 352 markings/sec, 1790 secs
lola: 1022862 markings, 1359581 edges, 352 markings/sec, 1795 secs
lola: 1024622 markings, 1362130 edges, 352 markings/sec, 1800 secs
lola: 1026384 markings, 1364773 edges, 352 markings/sec, 1805 secs
lola: 1028138 markings, 1367404 edges, 351 markings/sec, 1810 secs
lola: 1029882 markings, 1370020 edges, 349 markings/sec, 1815 secs
lola: 1031636 markings, 1372648 edges, 351 markings/sec, 1820 secs
lola: 1033378 markings, 1375252 edges, 348 markings/sec, 1825 secs
lola: 1035116 markings, 1377852 edges, 348 markings/sec, 1830 secs
lola: 1037740 markings, 1380979 edges, 525 markings/sec, 1835 secs
lola: 1039484 markings, 1383595 edges, 349 markings/sec, 1840 secs
lola: 1041224 markings, 1386190 edges, 348 markings/sec, 1845 secs
lola: 1042962 markings, 1388708 edges, 348 markings/sec, 1850 secs
lola: 1044686 markings, 1391294 edges, 345 markings/sec, 1855 secs
lola: 1046400 markings, 1393865 edges, 343 markings/sec, 1860 secs
lola: 1048138 markings, 1396472 edges, 348 markings/sec, 1865 secs
lola: 1049880 markings, 1399081 edges, 348 markings/sec, 1870 secs
lola: 1051616 markings, 1401676 edges, 347 markings/sec, 1875 secs
lola: 1053356 markings, 1404187 edges, 348 markings/sec, 1880 secs
lola: 1055934 markings, 1407357 edges, 516 markings/sec, 1885 secs
lola: 1057674 markings, 1409963 edges, 348 markings/sec, 1890 secs
lola: 1059410 markings, 1412553 edges, 347 markings/sec, 1895 secs
lola: 1061150 markings, 1415077 edges, 348 markings/sec, 1900 secs
lola: 1062888 markings, 1417684 edges, 348 markings/sec, 1905 secs
lola: 1064628 markings, 1420294 edges, 348 markings/sec, 1910 secs
lola: 1066370 markings, 1422907 edges, 348 markings/sec, 1915 secs
lola: 1068104 markings, 1425500 edges, 347 markings/sec, 1920 secs
lola: 1069840 markings, 1428096 edges, 347 markings/sec, 1925 secs
lola: 1072372 markings, 1431121 edges, 506 markings/sec, 1930 secs
lola: 1074126 markings, 1433752 edges, 351 markings/sec, 1935 secs
lola: 1075880 markings, 1436370 edges, 351 markings/sec, 1940 secs
lola: 1077634 markings, 1438910 edges, 351 markings/sec, 1945 secs
lola: 1079390 markings, 1441544 edges, 351 markings/sec, 1950 secs
lola: 1081144 markings, 1444175 edges, 351 markings/sec, 1955 secs
lola: 1082904 markings, 1446815 edges, 352 markings/sec, 1960 secs
lola: 1084660 markings, 1449443 edges, 351 markings/sec, 1965 secs
lola: 1086414 markings, 1452065 edges, 351 markings/sec, 1970 secs
lola: 1088170 markings, 1454610 edges, 351 markings/sec, 1975 secs
lola: 1089932 markings, 1457253 edges, 352 markings/sec, 1980 secs
lola: 1091692 markings, 1459893 edges, 352 markings/sec, 1985 secs
lola: 1093450 markings, 1462530 edges, 352 markings/sec, 1990 secs
lola: 1095200 markings, 1465155 edges, 350 markings/sec, 1995 secs
lola: 1096964 markings, 1467801 edges, 353 markings/sec, 2000 secs
lola: 1098722 markings, 1470434 edges, 352 markings/sec, 2005 secs
lola: 1100478 markings, 1473061 edges, 351 markings/sec, 2010 secs
lola: 1102234 markings, 1475677 edges, 351 markings/sec, 2015 secs
lola: 1104004 markings, 1477987 edges, 354 markings/sec, 2020 secs
lola: 1106520 markings, 1481260 edges, 503 markings/sec, 2025 secs
lola: 1108278 markings, 1483886 edges, 352 markings/sec, 2030 secs
lola: 1110034 markings, 1486427 edges, 351 markings/sec, 2035 secs
lola: 1111794 markings, 1489067 edges, 352 markings/sec, 2040 secs
lola: 1113550 markings, 1491701 edges, 351 markings/sec, 2045 secs
lola: 1115308 markings, 1494338 edges, 352 markings/sec, 2050 secs
lola: 1117064 markings, 1496966 edges, 351 markings/sec, 2055 secs
lola: 1118818 markings, 1499588 edges, 351 markings/sec, 2060 secs
lola: 1120574 markings, 1502133 edges, 351 markings/sec, 2065 secs
lola: 1122334 markings, 1504773 edges, 352 markings/sec, 2070 secs
lola: 1124090 markings, 1507407 edges, 351 markings/sec, 2075 secs
lola: 1125846 markings, 1510041 edges, 351 markings/sec, 2080 secs
lola: 1127602 markings, 1512675 edges, 351 markings/sec, 2085 secs
lola: 1129362 markings, 1515315 edges, 352 markings/sec, 2090 secs
lola: 1131118 markings, 1517944 edges, 351 markings/sec, 2095 secs
lola: 1132872 markings, 1520569 edges, 351 markings/sec, 2100 secs
lola: 1134626 markings, 1523191 edges, 351 markings/sec, 2105 secs
lola: 1137084 markings, 1526056 edges, 492 markings/sec, 2110 secs
lola: 1138866 markings, 1528715 edges, 356 markings/sec, 2115 secs
lola: 1140622 markings, 1531334 edges, 351 markings/sec, 2120 secs
lola: 1142378 markings, 1533879 edges, 351 markings/sec, 2125 secs
lola: 1144136 markings, 1536516 edges, 352 markings/sec, 2130 secs
lola: 1145870 markings, 1539117 edges, 347 markings/sec, 2135 secs
lola: 1147624 markings, 1541748 edges, 351 markings/sec, 2140 secs
lola: 1149358 markings, 1544340 edges, 347 markings/sec, 2145 secs
lola: 1151092 markings, 1546932 edges, 347 markings/sec, 2150 secs
lola: 1152846 markings, 1549477 edges, 351 markings/sec, 2155 secs
lola: 1154580 markings, 1552078 edges, 347 markings/sec, 2160 secs
lola: 1156310 markings, 1554673 edges, 346 markings/sec, 2165 secs
lola: 1158062 markings, 1557301 edges, 350 markings/sec, 2170 secs
lola: 1159816 markings, 1559932 edges, 351 markings/sec, 2175 secs
lola: 1161570 markings, 1562562 edges, 351 markings/sec, 2180 secs
lola: 1163322 markings, 1565183 edges, 350 markings/sec, 2185 secs
lola: 1165072 markings, 1567802 edges, 350 markings/sec, 2190 secs
lola: 1166828 markings, 1570344 edges, 351 markings/sec, 2195 secs
lola: 1169266 markings, 1573270 edges, 488 markings/sec, 2200 secs
lola: 1170996 markings, 1575857 edges, 346 markings/sec, 2205 secs
lola: 1172724 markings, 1578353 edges, 346 markings/sec, 2210 secs
lola: 1174482 markings, 1580990 edges, 352 markings/sec, 2215 secs
lola: 1176238 markings, 1583624 edges, 351 markings/sec, 2220 secs
lola: 1177966 markings, 1586216 edges, 346 markings/sec, 2225 secs
lola: 1179690 markings, 1588796 edges, 345 markings/sec, 2230 secs
lola: 1181444 markings, 1591418 edges, 351 markings/sec, 2235 secs
lola: 1183200 markings, 1593963 edges, 351 markings/sec, 2240 secs
lola: 1184962 markings, 1596606 edges, 352 markings/sec, 2245 secs
lola: 1186720 markings, 1599243 edges, 352 markings/sec, 2250 secs
lola: 1188474 markings, 1601874 edges, 351 markings/sec, 2255 secs
lola: 1190232 markings, 1604511 edges, 352 markings/sec, 2260 secs
lola: 1191992 markings, 1607151 edges, 352 markings/sec, 2265 secs
lola: 1193746 markings, 1609775 edges, 351 markings/sec, 2270 secs
lola: 1195500 markings, 1612395 edges, 351 markings/sec, 2275 secs
lola: 1197254 markings, 1615013 edges, 351 markings/sec, 2280 secs
lola: 1199662 markings, 1617838 edges, 482 markings/sec, 2285 secs
lola: 1201418 markings, 1620464 edges, 351 markings/sec, 2290 secs
lola: 1203172 markings, 1622999 edges, 351 markings/sec, 2295 secs
lola: 1204910 markings, 1625606 edges, 348 markings/sec, 2300 secs
lola: 1206672 markings, 1628249 edges, 352 markings/sec, 2305 secs
lola: 1208434 markings, 1630892 edges, 352 markings/sec, 2310 secs
lola: 1210186 markings, 1633512 edges, 350 markings/sec, 2315 secs
lola: 1211938 markings, 1636131 edges, 350 markings/sec, 2320 secs
lola: 1213682 markings, 1638660 edges, 349 markings/sec, 2325 secs
lola: 1215424 markings, 1641273 edges, 348 markings/sec, 2330 secs
lola: 1217148 markings, 1643859 edges, 345 markings/sec, 2335 secs
lola: 1218864 markings, 1646433 edges, 343 markings/sec, 2340 secs
lola: 1220602 markings, 1649040 edges, 348 markings/sec, 2345 secs
lola: 1222346 markings, 1651655 edges, 349 markings/sec, 2350 secs
lola: 1224068 markings, 1654231 edges, 344 markings/sec, 2355 secs
lola: 1225802 markings, 1656825 edges, 347 markings/sec, 2360 secs
lola: 1227546 markings, 1659265 edges, 349 markings/sec, 2365 secs
lola: 1229886 markings, 1662167 edges, 468 markings/sec, 2370 secs
lola: 1231608 markings, 1664738 edges, 344 markings/sec, 2375 secs
lola: 1233340 markings, 1667244 edges, 346 markings/sec, 2380 secs
lola: 1235078 markings, 1669851 edges, 348 markings/sec, 2385 secs
lola: 1236810 markings, 1672449 edges, 346 markings/sec, 2390 secs
lola: 1238552 markings, 1675061 edges, 348 markings/sec, 2395 secs
lola: 1240292 markings, 1677661 edges, 348 markings/sec, 2400 secs
lola: 1242024 markings, 1680201 edges, 346 markings/sec, 2405 secs
lola: 1243764 markings, 1682776 edges, 348 markings/sec, 2410 secs
lola: 1245504 markings, 1685386 edges, 348 markings/sec, 2415 secs
lola: 1247244 markings, 1687996 edges, 348 markings/sec, 2420 secs
lola: 1248984 markings, 1690606 edges, 348 markings/sec, 2425 secs
lola: 1250742 markings, 1693243 edges, 352 markings/sec, 2430 secs
lola: 1252496 markings, 1695869 edges, 351 markings/sec, 2435 secs
lola: 1254250 markings, 1698493 edges, 351 markings/sec, 2440 secs
lola: 1256002 markings, 1701114 edges, 350 markings/sec, 2445 secs
lola: 1258332 markings, 1703848 edges, 466 markings/sec, 2450 secs
lola: 1260088 markings, 1706475 edges, 351 markings/sec, 2455 secs
lola: 1261844 markings, 1709012 edges, 351 markings/sec, 2460 secs
lola: 1263604 markings, 1711652 edges, 352 markings/sec, 2465 secs
lola: 1265362 markings, 1714289 edges, 352 markings/sec, 2470 secs
lola: 1267122 markings, 1716929 edges, 352 markings/sec, 2475 secs
lola: 1268878 markings, 1719552 edges, 351 markings/sec, 2480 secs
lola: 1270634 markings, 1722161 edges, 351 markings/sec, 2485 secs
lola: 1272392 markings, 1724730 edges, 352 markings/sec, 2490 secs
lola: 1274154 markings, 1727373 edges, 352 markings/sec, 2495 secs
lola: 1275912 markings, 1730010 edges, 352 markings/sec, 2500 secs
lola: 1277670 markings, 1732647 edges, 352 markings/sec, 2505 secs
lola: 1279432 markings, 1735290 edges, 352 markings/sec, 2510 secs
lola: 1281190 markings, 1737921 edges, 352 markings/sec, 2515 secs
lola: 1282946 markings, 1740548 edges, 351 markings/sec, 2520 secs
lola: 1284702 markings, 1743176 edges, 351 markings/sec, 2525 secs
lola: 1286990 markings, 1745866 edges, 458 markings/sec, 2530 secs
lola: 1288744 markings, 1748485 edges, 351 markings/sec, 2535 secs
lola: 1290500 markings, 1751027 edges, 351 markings/sec, 2540 secs
lola: 1292260 markings, 1753667 edges, 352 markings/sec, 2545 secs
lola: 1294016 markings, 1756301 edges, 351 markings/sec, 2550 secs
lola: 1295774 markings, 1758934 edges, 352 markings/sec, 2555 secs
lola: 1297526 markings, 1761552 edges, 350 markings/sec, 2560 secs
lola: 1299284 markings, 1764099 edges, 352 markings/sec, 2565 secs
lola: 1301036 markings, 1766727 edges, 350 markings/sec, 2570 secs
lola: 1302792 markings, 1769361 edges, 351 markings/sec, 2575 secs
lola: 1304528 markings, 1771965 edges, 347 markings/sec, 2580 secs
lola: 1306280 markings, 1774593 edges, 350 markings/sec, 2585 secs
lola: 1308038 markings, 1777228 edges, 352 markings/sec, 2590 secs
lola: 1309792 markings, 1779851 edges, 351 markings/sec, 2595 secs
lola: 1311530 markings, 1782452 edges, 348 markings/sec, 2600 secs
lola: 1313296 markings, 1784733 edges, 353 markings/sec, 2605 secs
lola: 1315532 markings, 1787726 edges, 447 markings/sec, 2610 secs
lola: 1317286 markings, 1790256 edges, 351 markings/sec, 2615 secs
lola: 1319046 markings, 1792896 edges, 352 markings/sec, 2620 secs
lola: 1320802 markings, 1795530 edges, 351 markings/sec, 2625 secs
lola: 1322560 markings, 1798166 edges, 352 markings/sec, 2630 secs
lola: 1324316 markings, 1800789 edges, 351 markings/sec, 2635 secs
lola: 1326070 markings, 1803328 edges, 351 markings/sec, 2640 secs
lola: 1327832 markings, 1805971 edges, 352 markings/sec, 2645 secs
lola: 1329588 markings, 1808605 edges, 351 markings/sec, 2650 secs
lola: 1331344 markings, 1811239 edges, 351 markings/sec, 2655 secs
lola: 1333102 markings, 1813876 edges, 352 markings/sec, 2660 secs
lola: 1334864 markings, 1816518 edges, 352 markings/sec, 2665 secs
lola: 1336618 markings, 1819141 edges, 351 markings/sec, 2670 secs
lola: 1338374 markings, 1821768 edges, 351 markings/sec, 2675 secs
lola: 1340142 markings, 1824091 edges, 354 markings/sec, 2680 secs
lola: 1342318 markings, 1826974 edges, 435 markings/sec, 2685 secs
lola: 1344070 markings, 1829501 edges, 350 markings/sec, 2690 secs
lola: 1345828 markings, 1832138 edges, 352 markings/sec, 2695 secs
lola: 1347582 markings, 1834769 edges, 351 markings/sec, 2700 secs
lola: 1349340 markings, 1837404 edges, 352 markings/sec, 2705 secs
lola: 1351094 markings, 1840023 edges, 351 markings/sec, 2710 secs
lola: 1352848 markings, 1842564 edges, 351 markings/sec, 2715 secs
lola: 1354604 markings, 1845198 edges, 351 markings/sec, 2720 secs
lola: 1356360 markings, 1847832 edges, 351 markings/sec, 2725 secs
lola: 1358114 markings, 1850463 edges, 351 markings/sec, 2730 secs
lola: 1359854 markings, 1853073 edges, 348 markings/sec, 2735 secs
lola: 1361610 markings, 1855704 edges, 351 markings/sec, 2740 secs
lola: 1363366 markings, 1858330 edges, 351 markings/sec, 2745 secs
lola: 1365118 markings, 1860951 edges, 350 markings/sec, 2750 secs
lola: 1367278 markings, 1863505 edges, 432 markings/sec, 2755 secs
lola: 1369030 markings, 1866121 edges, 350 markings/sec, 2760 secs
lola: 1370788 markings, 1868666 edges, 352 markings/sec, 2765 secs
lola: 1372544 markings, 1871300 edges, 351 markings/sec, 2770 secs
lola: 1374300 markings, 1873934 edges, 351 markings/sec, 2775 secs
lola: 1376056 markings, 1876559 edges, 351 markings/sec, 2780 secs
lola: 1377808 markings, 1879177 edges, 350 markings/sec, 2785 secs
lola: 1379566 markings, 1881729 edges, 352 markings/sec, 2790 secs
lola: 1381322 markings, 1884363 edges, 351 markings/sec, 2795 secs
lola: 1383078 markings, 1886997 edges, 351 markings/sec, 2800 secs
lola: 1384834 markings, 1889631 edges, 351 markings/sec, 2805 secs
lola: 1386592 markings, 1892267 edges, 352 markings/sec, 2810 secs
lola: 1388344 markings, 1894887 edges, 350 markings/sec, 2815 secs
lola: 1390098 markings, 1897511 edges, 351 markings/sec, 2820 secs
lola: 1391864 markings, 1899829 edges, 353 markings/sec, 2825 secs
lola: 1393980 markings, 1902657 edges, 423 markings/sec, 2830 secs
lola: 1395734 markings, 1905192 edges, 351 markings/sec, 2835 secs
lola: 1397496 markings, 1907835 edges, 352 markings/sec, 2840 secs
lola: 1399252 markings, 1910469 edges, 351 markings/sec, 2845 secs
lola: 1401010 markings, 1913098 edges, 352 markings/sec, 2850 secs
lola: 1402762 markings, 1915716 edges, 350 markings/sec, 2855 secs
lola: 1404520 markings, 1918267 edges, 352 markings/sec, 2860 secs
lola: 1406276 markings, 1920901 edges, 351 markings/sec, 2865 secs
lola: 1408032 markings, 1923535 edges, 351 markings/sec, 2870 secs
lola: 1409788 markings, 1926169 edges, 351 markings/sec, 2875 secs
lola: 1411548 markings, 1928808 edges, 352 markings/sec, 2880 secs
lola: 1413304 markings, 1931434 edges, 351 markings/sec, 2885 secs
lola: 1415060 markings, 1934061 edges, 351 markings/sec, 2890 secs
lola: 1416832 markings, 1936301 edges, 354 markings/sec, 2895 secs
lola: 1418908 markings, 1939170 edges, 415 markings/sec, 2900 secs
lola: 1420668 markings, 1941719 edges, 352 markings/sec, 2905 secs
lola: 1422428 markings, 1944359 edges, 352 markings/sec, 2910 secs
lola: 1424184 markings, 1946993 edges, 351 markings/sec, 2915 secs
lola: 1425940 markings, 1949615 edges, 351 markings/sec, 2920 secs
lola: 1427694 markings, 1952154 edges, 351 markings/sec, 2925 secs
lola: 1429450 markings, 1954788 edges, 351 markings/sec, 2930 secs
lola: 1431208 markings, 1957425 edges, 352 markings/sec, 2935 secs
lola: 1432962 markings, 1960056 edges, 351 markings/sec, 2940 secs
lola: 1434720 markings, 1962693 edges, 352 markings/sec, 2945 secs
lola: 1436476 markings, 1965322 edges, 351 markings/sec, 2950 secs
lola: 1438230 markings, 1967945 edges, 351 markings/sec, 2955 secs
lola: 1439986 markings, 1970533 edges, 351 markings/sec, 2960 secs
lola: 1442034 markings, 1973016 edges, 410 markings/sec, 2965 secs
lola: 1443788 markings, 1975544 edges, 351 markings/sec, 2970 secs
lola: 1445546 markings, 1978181 edges, 352 markings/sec, 2975 secs
lola: 1447300 markings, 1980812 edges, 351 markings/sec, 2980 secs
lola: 1449058 markings, 1983440 edges, 352 markings/sec, 2985 secs
lola: 1450810 markings, 1986043 edges, 350 markings/sec, 2990 secs
lola: 1452568 markings, 1988610 edges, 352 markings/sec, 2995 secs
lola: 1454326 markings, 1991247 edges, 352 markings/sec, 3000 secs
lola: 1456080 markings, 1993878 edges, 351 markings/sec, 3005 secs
lola: 1457838 markings, 1996515 edges, 352 markings/sec, 3010 secs
lola: 1459596 markings, 1999148 edges, 352 markings/sec, 3015 secs
lola: 1461350 markings, 2001771 edges, 351 markings/sec, 3020 secs
lola: 1463104 markings, 2004395 edges, 351 markings/sec, 3025 secs
lola: 1465116 markings, 2006804 edges, 402 markings/sec, 3030 secs
lola: 1466872 markings, 2009334 edges, 351 markings/sec, 3035 secs
lola: 1468632 markings, 2011974 edges, 352 markings/sec, 3040 secs
lola: 1470392 markings, 2014614 edges, 352 markings/sec, 3045 secs
lola: 1472150 markings, 2017240 edges, 352 markings/sec, 3050 secs
lola: 1473908 markings, 2019784 edges, 352 markings/sec, 3055 secs
lola: 1475672 markings, 2022430 edges, 353 markings/sec, 3060 secs
lola: 1477432 markings, 2025070 edges, 352 markings/sec, 3065 secs
lola: 1479190 markings, 2027707 edges, 352 markings/sec, 3070 secs
lola: 1480954 markings, 2030353 edges, 353 markings/sec, 3075 secs
lola: 1482712 markings, 2032983 edges, 352 markings/sec, 3080 secs
lola: 1484468 markings, 2035610 edges, 351 markings/sec, 3085 secs
lola: 1486232 markings, 2038036 edges, 353 markings/sec, 3090 secs
lola: 1488194 markings, 2040590 edges, 392 markings/sec, 3095 secs
lola: 1489954 markings, 2043140 edges, 352 markings/sec, 3100 secs
lola: 1491714 markings, 2045780 edges, 352 markings/sec, 3105 secs
lola: 1493474 markings, 2048415 edges, 352 markings/sec, 3110 secs
lola: 1495232 markings, 2051040 edges, 352 markings/sec, 3115 secs
lola: 1496992 markings, 2053593 edges, 352 markings/sec, 3120 secs
lola: 1498750 markings, 2056230 edges, 352 markings/sec, 3125 secs
lola: 1500510 markings, 2058870 edges, 352 markings/sec, 3130 secs
lola: 1502270 markings, 2061510 edges, 352 markings/sec, 3135 secs
lola: 1504032 markings, 2064149 edges, 352 markings/sec, 3140 secs
lola: 1505790 markings, 2066778 edges, 352 markings/sec, 3145 secs
lola: 1507546 markings, 2069405 edges, 351 markings/sec, 3150 secs
lola: 1509478 markings, 2071724 edges, 386 markings/sec, 3155 secs
lola: 1511238 markings, 2074268 edges, 352 markings/sec, 3160 secs
lola: 1512972 markings, 2076869 edges, 347 markings/sec, 3165 secs
lola: 1514714 markings, 2079479 edges, 348 markings/sec, 3170 secs
lola: 1516470 markings, 2082100 edges, 351 markings/sec, 3175 secs
lola: 1518230 markings, 2084652 edges, 352 markings/sec, 3180 secs
lola: 1519956 markings, 2087241 edges, 345 markings/sec, 3185 secs
lola: 1521714 markings, 2089878 edges, 352 markings/sec, 3190 secs
lola: 1523474 markings, 2092518 edges, 352 markings/sec, 3195 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown 1 1 80 80 80 1 80 80 50 80 80 1 80 80
lola:
preliminary result: 1 unknown 1 1 80 80 80 1 80 80 50 80 80 1 80 80
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown 1 1 80 80 80 1 80 80 50 80 80 1 80 80
lola: memory consumption: 152544 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown 1 1 80 80 80 1 80 80 50 80 80 1 80 80
lola: memory consumption: 152544 KB
lola: time consumption: 3569 seconds

BK_STOP 1526556269538

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