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

About the Execution of LoLA for BridgeAndVehicles-COL-V80P20N20

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
379.150 3570640.00 3664566.00 548.90 1 80 20 ? ? 20 1 1 20 20 80 80 20 80 80 20 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.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K 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.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.2K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K 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-V80P20N20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306200219
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526545246275

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P20N20 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P20N20 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-COL-V80P20N20 @ 3568 seconds
lola: LoLA will run for 3568 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-V80P20N20-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(p196 + p197) : MAX(p168) : MAX(p2) : MAX(p193) : MAX(p193) : MAX(p2) : MAX(p169 + p170) : MAX(0) : MAX(p166) : MAX(p166) : MAX(p84) : MAX(p194) : MAX(p167) : MAX(p84) : MAX(p192) : MAX(p166)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 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-V80P20N20-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-V80P20N20-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 236 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-V80P20N20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: ========================================
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-2 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p193)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p193)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N20-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: 2763 markings, 4870 edges, 553 markings/sec, 30 secs
lola: 5346 markings, 9821 edges, 517 markings/sec, 35 secs
lola: 7865 markings, 14497 edges, 504 markings/sec, 40 secs
lola: 10371 markings, 19151 edges, 501 markings/sec, 45 secs
lola: 12815 markings, 23829 edges, 489 markings/sec, 50 secs
lola: 15333 markings, 28496 edges, 504 markings/sec, 55 secs
lola: 17714 markings, 33067 edges, 476 markings/sec, 60 secs
lola: 20230 markings, 37735 edges, 503 markings/sec, 65 secs
lola: 22646 markings, 42207 edges, 483 markings/sec, 70 secs
lola: 25039 markings, 46806 edges, 479 markings/sec, 75 secs
lola: 27465 markings, 51304 edges, 485 markings/sec, 80 secs
lola: 29887 markings, 55797 edges, 484 markings/sec, 85 secs
lola: 33729 markings, 62095 edges, 768 markings/sec, 90 secs
lola: 35324 markings, 65273 edges, 319 markings/sec, 95 secs
lola: 36339 markings, 67271 edges, 203 markings/sec, 100 secs
lola: 37365 markings, 69324 edges, 205 markings/sec, 105 secs
lola: 39436 markings, 73382 edges, 414 markings/sec, 110 secs
lola: 41966 markings, 78158 edges, 506 markings/sec, 115 secs
lola: 45393 markings, 83813 edges, 685 markings/sec, 120 secs
lola: 46494 markings, 85986 edges, 220 markings/sec, 125 secs
lola: 47523 markings, 88044 edges, 206 markings/sec, 130 secs
lola: 49313 markings, 91539 edges, 358 markings/sec, 135 secs
lola: 51938 markings, 96506 edges, 525 markings/sec, 140 secs
lola: 55463 markings, 102376 edges, 705 markings/sec, 145 secs
lola: 56624 markings, 104690 edges, 232 markings/sec, 150 secs
lola: 57655 markings, 106729 edges, 206 markings/sec, 155 secs
lola: 59280 markings, 109897 edges, 325 markings/sec, 160 secs
lola: 61933 markings, 114921 edges, 531 markings/sec, 165 secs
lola: 65486 markings, 120866 edges, 711 markings/sec, 170 secs
lola: 66685 markings, 123255 edges, 240 markings/sec, 175 secs
lola: 67707 markings, 125276 edges, 204 markings/sec, 180 secs
lola: 69230 markings, 128242 edges, 305 markings/sec, 185 secs
lola: 71826 markings, 133255 edges, 519 markings/sec, 190 secs
lola: 75429 markings, 139217 edges, 721 markings/sec, 195 secs
lola: 76656 markings, 141662 edges, 245 markings/sec, 200 secs
lola: 77678 markings, 143683 edges, 204 markings/sec, 205 secs
lola: 79199 markings, 146646 edges, 304 markings/sec, 210 secs
lola: 81803 markings, 151632 edges, 521 markings/sec, 215 secs
lola: 85345 markings, 157536 edges, 708 markings/sec, 220 secs
lola: 86548 markings, 159933 edges, 241 markings/sec, 225 secs
lola: 87568 markings, 161950 edges, 204 markings/sec, 230 secs
lola: 89143 markings, 165021 edges, 315 markings/sec, 235 secs
lola: 91677 markings, 169810 edges, 507 markings/sec, 240 secs
lola: 95131 markings, 175616 edges, 691 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 20 unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 59436 KB
lola: time consumption: 276 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p193)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p193)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N20-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: 2753 markings, 4850 edges, 551 markings/sec, 30 secs
lola: 5197 markings, 9540 edges, 489 markings/sec, 35 secs
lola: 7710 markings, 14188 edges, 503 markings/sec, 40 secs
lola: 10122 markings, 18817 edges, 482 markings/sec, 45 secs
lola: 12665 markings, 23530 edges, 509 markings/sec, 50 secs
lola: 15188 markings, 28207 edges, 505 markings/sec, 55 secs
lola: 17562 markings, 32764 edges, 475 markings/sec, 60 secs
lola: 20049 markings, 37374 edges, 497 markings/sec, 65 secs
lola: 22515 markings, 41946 edges, 493 markings/sec, 70 secs
lola: 24868 markings, 46465 edges, 471 markings/sec, 75 secs
lola: 27287 markings, 50949 edges, 484 markings/sec, 80 secs
lola: 29732 markings, 55488 edges, 489 markings/sec, 85 secs
lola: 33526 markings, 61690 edges, 759 markings/sec, 90 secs
lola: 35242 markings, 65110 edges, 343 markings/sec, 95 secs
lola: 36291 markings, 67181 edges, 210 markings/sec, 100 secs
lola: 37315 markings, 69229 edges, 205 markings/sec, 105 secs
lola: 39411 markings, 73332 edges, 419 markings/sec, 110 secs
lola: 42002 markings, 78229 edges, 518 markings/sec, 115 secs
lola: 45393 markings, 83813 edges, 678 markings/sec, 120 secs
lola: 46495 markings, 85988 edges, 220 markings/sec, 125 secs
lola: 47522 markings, 88042 edges, 205 markings/sec, 130 secs
lola: 49331 markings, 91575 edges, 362 markings/sec, 135 secs
lola: 51947 markings, 96524 edges, 523 markings/sec, 140 secs
lola: 55471 markings, 102392 edges, 705 markings/sec, 145 secs
lola: 56615 markings, 104672 edges, 229 markings/sec, 150 secs
lola: 57643 markings, 106705 edges, 206 markings/sec, 155 secs
lola: 59266 markings, 109869 edges, 325 markings/sec, 160 secs
lola: 61914 markings, 114883 edges, 530 markings/sec, 165 secs
lola: 65478 markings, 120850 edges, 713 markings/sec, 170 secs
lola: 66685 markings, 123255 edges, 241 markings/sec, 175 secs
lola: 67712 markings, 125282 edges, 205 markings/sec, 180 secs
lola: 69250 markings, 128282 edges, 308 markings/sec, 185 secs
lola: 71874 markings, 133303 edges, 525 markings/sec, 190 secs
lola: 75455 markings, 139269 edges, 716 markings/sec, 195 secs
lola: 76673 markings, 141696 edges, 244 markings/sec, 200 secs
lola: 77699 markings, 143720 edges, 205 markings/sec, 205 secs
lola: 79263 markings, 146773 edges, 313 markings/sec, 210 secs
lola: 81849 markings, 151678 edges, 517 markings/sec, 215 secs
lola: 85382 markings, 157609 edges, 707 markings/sec, 220 secs
lola: 86576 markings, 159989 edges, 239 markings/sec, 225 secs
lola: 87607 markings, 162028 edges, 206 markings/sec, 230 secs
lola: 89286 markings, 165306 edges, 336 markings/sec, 235 secs
lola: 91845 markings, 170145 edges, 512 markings/sec, 240 secs
lola: 95267 markings, 175887 edges, 684 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 20 unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 59372 KB
lola: time consumption: 529 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 253 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-V80P20N20-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges

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

FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-1 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p166)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p166)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N20-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 64 markings, 63 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-8 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p166)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p166)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N20-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 64 markings, 63 edges

FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-9 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 379 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p84)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p84)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N20-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-V80P20N20-UpperBounds-10 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 434 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p194)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p194)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N20-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: 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-V80P20N20-UpperBounds-11 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 505 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p167)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p167)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N20-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 61 markings, 60 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-12 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 606 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p84)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p84)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N20-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-V80P20N20-UpperBounds-13 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 12 will run for 757 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p192)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p192)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N20-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-V80P20N20-UpperBounds-14 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 1010 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p166)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p166)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N20-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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 64 markings, 63 edges

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

FORMULA BridgeAndVehicles-COL-V80P20N20-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p193)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p193)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N20-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: 2764 markings, 4872 edges, 553 markings/sec, 30 secs
lola: 5352 markings, 9827 edges, 518 markings/sec, 35 secs
lola: 7876 markings, 14519 edges, 505 markings/sec, 40 secs
lola: 10462 markings, 19316 edges, 517 markings/sec, 45 secs
lola: 12838 markings, 23875 edges, 475 markings/sec, 50 secs
lola: 15343 markings, 28516 edges, 501 markings/sec, 55 secs
lola: 17735 markings, 33108 edges, 478 markings/sec, 60 secs
lola: 20218 markings, 37711 edges, 497 markings/sec, 65 secs
lola: 22676 markings, 42267 edges, 492 markings/sec, 70 secs
lola: 25006 markings, 46740 edges, 466 markings/sec, 75 secs
lola: 27445 markings, 51264 edges, 488 markings/sec, 80 secs
lola: 29877 markings, 55777 edges, 486 markings/sec, 85 secs
lola: 33661 markings, 61959 edges, 757 markings/sec, 90 secs
lola: 35303 markings, 65232 edges, 328 markings/sec, 95 secs
lola: 36340 markings, 67272 edges, 207 markings/sec, 100 secs
lola: 37363 markings, 69322 edges, 205 markings/sec, 105 secs
lola: 39540 markings, 73589 edges, 435 markings/sec, 110 secs
lola: 42072 markings, 78369 edges, 506 markings/sec, 115 secs
lola: 45448 markings, 83923 edges, 675 markings/sec, 120 secs
lola: 46534 markings, 86057 edges, 217 markings/sec, 125 secs
lola: 47559 markings, 88116 edges, 205 markings/sec, 130 secs
lola: 49392 markings, 91696 edges, 367 markings/sec, 135 secs
lola: 52019 markings, 96667 edges, 525 markings/sec, 140 secs
lola: 55518 markings, 102485 edges, 700 markings/sec, 145 secs
lola: 56660 markings, 104752 edges, 228 markings/sec, 150 secs
lola: 57687 markings, 106793 edges, 205 markings/sec, 155 secs
lola: 59384 markings, 110104 edges, 339 markings/sec, 160 secs
lola: 61968 markings, 114990 edges, 517 markings/sec, 165 secs
lola: 65529 markings, 120951 edges, 712 markings/sec, 170 secs
lola: 66713 markings, 123299 edges, 237 markings/sec, 175 secs
lola: 67736 markings, 125334 edges, 205 markings/sec, 180 secs
lola: 69333 markings, 128447 edges, 319 markings/sec, 185 secs
lola: 71906 markings, 133335 edges, 515 markings/sec, 190 secs
lola: 75472 markings, 139303 edges, 713 markings/sec, 195 secs
lola: 76679 markings, 141708 edges, 241 markings/sec, 200 secs
lola: 77700 markings, 143721 edges, 204 markings/sec, 205 secs
lola: 79203 markings, 146654 edges, 301 markings/sec, 210 secs
lola: 81801 markings, 151630 edges, 520 markings/sec, 215 secs
lola: 85345 markings, 157536 edges, 709 markings/sec, 220 secs
lola: 86550 markings, 159937 edges, 241 markings/sec, 225 secs
lola: 87575 markings, 161964 edges, 205 markings/sec, 230 secs
lola: 89170 markings, 165075 edges, 319 markings/sec, 235 secs
lola: 91753 markings, 169962 edges, 517 markings/sec, 240 secs
lola: 95208 markings, 175770 edges, 691 markings/sec, 245 secs
lola: 96363 markings, 178059 edges, 231 markings/sec, 250 secs
lola: 97389 markings, 180092 edges, 205 markings/sec, 255 secs
lola: 99136 markings, 183515 edges, 349 markings/sec, 260 secs
lola: 101698 markings, 188360 edges, 512 markings/sec, 265 secs
lola: 104998 markings, 193879 edges, 660 markings/sec, 270 secs
lola: 106096 markings, 196046 edges, 220 markings/sec, 275 secs
lola: 107124 markings, 198102 edges, 206 markings/sec, 280 secs
lola: 109106 markings, 201984 edges, 396 markings/sec, 285 secs
lola: 111639 markings, 206770 edges, 507 markings/sec, 290 secs
lola: 114709 markings, 211852 edges, 614 markings/sec, 295 secs
lola: 115756 markings, 213919 edges, 209 markings/sec, 300 secs
lola: 116783 markings, 215973 edges, 205 markings/sec, 305 secs
lola: 119086 markings, 220493 edges, 461 markings/sec, 310 secs
lola: 122895 markings, 226808 edges, 762 markings/sec, 315 secs
lola: 124313 markings, 229633 edges, 284 markings/sec, 320 secs
lola: 125335 markings, 231641 edges, 204 markings/sec, 325 secs
lola: 126727 markings, 234363 edges, 278 markings/sec, 330 secs
lola: 129198 markings, 239189 edges, 494 markings/sec, 335 secs
lola: 132649 markings, 244908 edges, 690 markings/sec, 340 secs
lola: 133805 markings, 247189 edges, 231 markings/sec, 345 secs
lola: 134833 markings, 249245 edges, 206 markings/sec, 350 secs
lola: 136731 markings, 252962 edges, 380 markings/sec, 355 secs
lola: 139226 markings, 257675 edges, 499 markings/sec, 360 secs
lola: 142187 markings, 262599 edges, 592 markings/sec, 365 secs
lola: 143217 markings, 264632 edges, 206 markings/sec, 370 secs
lola: 144353 markings, 266855 edges, 227 markings/sec, 375 secs
lola: 146689 markings, 271491 edges, 467 markings/sec, 380 secs
lola: 150280 markings, 277432 edges, 718 markings/sec, 385 secs
lola: 151507 markings, 279876 edges, 245 markings/sec, 390 secs
lola: 152522 markings, 281883 edges, 203 markings/sec, 395 secs
lola: 154264 markings, 285292 edges, 348 markings/sec, 400 secs
lola: 156755 markings, 289999 edges, 498 markings/sec, 405 secs
lola: 159699 markings, 294927 edges, 589 markings/sec, 410 secs
lola: 160736 markings, 296974 edges, 207 markings/sec, 415 secs
lola: 161905 markings, 299245 edges, 234 markings/sec, 420 secs
lola: 164164 markings, 303747 edges, 452 markings/sec, 425 secs
lola: 167704 markings, 309627 edges, 708 markings/sec, 430 secs
lola: 168876 markings, 311939 edges, 234 markings/sec, 435 secs
lola: 169893 markings, 313973 edges, 203 markings/sec, 440 secs
lola: 171824 markings, 317759 edges, 386 markings/sec, 445 secs
lola: 175377 markings, 323687 edges, 711 markings/sec, 450 secs
lola: 176938 markings, 326795 edges, 312 markings/sec, 455 secs
lola: 177948 markings, 328790 edges, 202 markings/sec, 460 secs
lola: 179437 markings, 331699 edges, 298 markings/sec, 465 secs
lola: 181884 markings, 336322 edges, 489 markings/sec, 470 secs
lola: 184879 markings, 341409 edges, 599 markings/sec, 475 secs
lola: 185927 markings, 343477 edges, 210 markings/sec, 480 secs
lola: 187134 markings, 345827 edges, 241 markings/sec, 485 secs
lola: 189351 markings, 350244 edges, 443 markings/sec, 490 secs
lola: 192727 markings, 355858 edges, 675 markings/sec, 495 secs
lola: 193837 markings, 358048 edges, 222 markings/sec, 500 secs
lola: 194852 markings, 360078 edges, 203 markings/sec, 505 secs
lola: 197019 markings, 364335 edges, 433 markings/sec, 510 secs
lola: 200487 markings, 370154 edges, 694 markings/sec, 515 secs
lola: 201677 markings, 372501 edges, 238 markings/sec, 520 secs
lola: 202695 markings, 374537 edges, 204 markings/sec, 525 secs
lola: 204703 markings, 378479 edges, 402 markings/sec, 530 secs
lola: 208203 markings, 384382 edges, 700 markings/sec, 535 secs
lola: 209446 markings, 386857 edges, 249 markings/sec, 540 secs
lola: 210463 markings, 388868 edges, 203 markings/sec, 545 secs
lola: 212401 markings, 392671 edges, 388 markings/sec, 550 secs
lola: 215898 markings, 398590 edges, 699 markings/sec, 555 secs
lola: 217155 markings, 401093 edges, 251 markings/sec, 560 secs
lola: 218183 markings, 403126 edges, 206 markings/sec, 565 secs
lola: 220234 markings, 407155 edges, 410 markings/sec, 570 secs
lola: 224091 markings, 413647 edges, 771 markings/sec, 575 secs
lola: 225544 markings, 416511 edges, 291 markings/sec, 580 secs
lola: 227263 markings, 419881 edges, 344 markings/sec, 585 secs
lola: 229856 markings, 425051 edges, 519 markings/sec, 590 secs
lola: 233177 markings, 430535 edges, 664 markings/sec, 595 secs
lola: 234264 markings, 432680 edges, 217 markings/sec, 600 secs
lola: 235527 markings, 435146 edges, 253 markings/sec, 605 secs
lola: 239237 markings, 441363 edges, 742 markings/sec, 610 secs
lola: 241339 markings, 445552 edges, 420 markings/sec, 615 secs
lola: 242720 markings, 448290 edges, 276 markings/sec, 620 secs
lola: 244890 markings, 452543 edges, 434 markings/sec, 625 secs
lola: 248130 markings, 458272 edges, 648 markings/sec, 630 secs
lola: 250196 markings, 462003 edges, 413 markings/sec, 635 secs
lola: 251219 markings, 464025 edges, 205 markings/sec, 640 secs
lola: 253044 markings, 467607 edges, 365 markings/sec, 645 secs
lola: 256921 markings, 474178 edges, 775 markings/sec, 650 secs
lola: 258412 markings, 477130 edges, 298 markings/sec, 655 secs
lola: 260094 markings, 480415 edges, 336 markings/sec, 660 secs
lola: 262612 markings, 485435 edges, 504 markings/sec, 665 secs
lola: 265925 markings, 490944 edges, 663 markings/sec, 670 secs
lola: 267001 markings, 493067 edges, 215 markings/sec, 675 secs
lola: 268312 markings, 495630 edges, 262 markings/sec, 680 secs
lola: 272127 markings, 502095 edges, 763 markings/sec, 685 secs
lola: 273971 markings, 505767 edges, 369 markings/sec, 690 secs
lola: 275370 markings, 508530 edges, 280 markings/sec, 695 secs
lola: 277716 markings, 513149 edges, 469 markings/sec, 700 secs
lola: 281356 markings, 519333 edges, 728 markings/sec, 705 secs
lola: 282616 markings, 521818 edges, 252 markings/sec, 710 secs
lola: 283640 markings, 523866 edges, 205 markings/sec, 715 secs
lola: 285832 markings, 528177 edges, 438 markings/sec, 720 secs
lola: 289424 markings, 534221 edges, 718 markings/sec, 725 secs
lola: 290824 markings, 536995 edges, 280 markings/sec, 730 secs
lola: 292882 markings, 541028 edges, 412 markings/sec, 735 secs
lola: 295664 markings, 546223 edges, 556 markings/sec, 740 secs
lola: 298085 markings, 550344 edges, 484 markings/sec, 745 secs
lola: 299105 markings, 552360 edges, 204 markings/sec, 750 secs
lola: 301066 markings, 556214 edges, 392 markings/sec, 755 secs
lola: 304734 markings, 562427 edges, 734 markings/sec, 760 secs
lola: 306146 markings, 565224 edges, 282 markings/sec, 765 secs
lola: 307981 markings, 568815 edges, 367 markings/sec, 770 secs
lola: 310747 markings, 573982 edges, 553 markings/sec, 775 secs
lola: 313346 markings, 578474 edges, 520 markings/sec, 780 secs
lola: 314358 markings, 580473 edges, 202 markings/sec, 785 secs
lola: 316114 markings, 583921 edges, 351 markings/sec, 790 secs
lola: 319815 markings, 590219 edges, 740 markings/sec, 795 secs
lola: 321260 markings, 593068 edges, 289 markings/sec, 800 secs
lola: 323013 markings, 596509 edges, 351 markings/sec, 805 secs
lola: 325695 markings, 601594 edges, 536 markings/sec, 810 secs
lola: 328415 markings, 606263 edges, 544 markings/sec, 815 secs
lola: 329433 markings, 608273 edges, 204 markings/sec, 820 secs
lola: 331116 markings, 611577 edges, 337 markings/sec, 825 secs
lola: 334813 markings, 617886 edges, 739 markings/sec, 830 secs
lola: 336268 markings, 620762 edges, 291 markings/sec, 835 secs
lola: 338032 markings, 624219 edges, 353 markings/sec, 840 secs
lola: 340719 markings, 629248 edges, 537 markings/sec, 845 secs
lola: 343346 markings, 633818 edges, 525 markings/sec, 850 secs
lola: 344358 markings, 635816 edges, 202 markings/sec, 855 secs
lola: 346136 markings, 639309 edges, 356 markings/sec, 860 secs
lola: 349741 markings, 645455 edges, 721 markings/sec, 865 secs
lola: 351179 markings, 648303 edges, 288 markings/sec, 870 secs
lola: 353064 markings, 651996 edges, 377 markings/sec, 875 secs
lola: 355828 markings, 657159 edges, 553 markings/sec, 880 secs
lola: 358177 markings, 661214 edges, 470 markings/sec, 885 secs
lola: 359198 markings, 663232 edges, 204 markings/sec, 890 secs
lola: 361321 markings, 667410 edges, 425 markings/sec, 895 secs
lola: 364702 markings, 673131 edges, 676 markings/sec, 900 secs
lola: 366095 markings, 675892 edges, 279 markings/sec, 905 secs
lola: 368331 markings, 680282 edges, 447 markings/sec, 910 secs
lola: 371745 markings, 686137 edges, 683 markings/sec, 915 secs
lola: 372897 markings, 688409 edges, 230 markings/sec, 920 secs
lola: 374278 markings, 691117 edges, 276 markings/sec, 925 secs
lola: 377940 markings, 697414 edges, 732 markings/sec, 930 secs
lola: 379519 markings, 700540 edges, 316 markings/sec, 935 secs
lola: 381157 markings, 703745 edges, 328 markings/sec, 940 secs
lola: 383716 markings, 708753 edges, 512 markings/sec, 945 secs
lola: 386455 markings, 713372 edges, 548 markings/sec, 950 secs
lola: 387478 markings, 715393 edges, 205 markings/sec, 955 secs
lola: 389494 markings, 719360 edges, 403 markings/sec, 960 secs
lola: 392846 markings, 725062 edges, 670 markings/sec, 965 secs
lola: 394241 markings, 727827 edges, 279 markings/sec, 970 secs
lola: 396445 markings, 732155 edges, 441 markings/sec, 975 secs
lola: 399787 markings, 737907 edges, 668 markings/sec, 980 secs
lola: 400892 markings, 740086 edges, 221 markings/sec, 985 secs
lola: 402424 markings, 743094 edges, 306 markings/sec, 990 secs
lola: 406011 markings, 749282 edges, 717 markings/sec, 995 secs
lola: 407468 markings, 752167 edges, 291 markings/sec, 1000 secs
lola: 409378 markings, 755913 edges, 382 markings/sec, 1005 secs
lola: 412794 markings, 761837 edges, 683 markings/sec, 1010 secs
lola: 414158 markings, 764526 edges, 273 markings/sec, 1015 secs
lola: 415427 markings, 767015 edges, 254 markings/sec, 1020 secs
lola: 419009 markings, 773211 edges, 716 markings/sec, 1025 secs
lola: 420592 markings, 776344 edges, 317 markings/sec, 1030 secs
lola: 422323 markings, 779736 edges, 346 markings/sec, 1035 secs
lola: 425011 markings, 784753 edges, 538 markings/sec, 1040 secs
lola: 427283 markings, 788750 edges, 454 markings/sec, 1045 secs
lola: 428391 markings, 790909 edges, 222 markings/sec, 1050 secs
lola: 431956 markings, 797079 edges, 713 markings/sec, 1055 secs
lola: 433627 markings, 800386 edges, 334 markings/sec, 1060 secs
lola: 435282 markings, 803628 edges, 331 markings/sec, 1065 secs
lola: 437968 markings, 808644 edges, 537 markings/sec, 1070 secs
lola: 440272 markings, 812722 edges, 461 markings/sec, 1075 secs
lola: 441392 markings, 814894 edges, 224 markings/sec, 1080 secs
lola: 444939 markings, 821059 edges, 709 markings/sec, 1085 secs
lola: 446564 markings, 824275 edges, 325 markings/sec, 1090 secs
lola: 448277 markings, 827633 edges, 343 markings/sec, 1095 secs
lola: 450984 markings, 832688 edges, 541 markings/sec, 1100 secs
lola: 453112 markings, 836416 edges, 426 markings/sec, 1105 secs
lola: 454390 markings, 838925 edges, 256 markings/sec, 1110 secs
lola: 457897 markings, 845030 edges, 701 markings/sec, 1115 secs
lola: 459404 markings, 848010 edges, 301 markings/sec, 1120 secs
lola: 461276 markings, 851687 edges, 374 markings/sec, 1125 secs
lola: 464620 markings, 857547 edges, 669 markings/sec, 1130 secs
lola: 465814 markings, 859900 edges, 239 markings/sec, 1135 secs
lola: 467392 markings, 863004 edges, 316 markings/sec, 1140 secs
lola: 470745 markings, 868822 edges, 671 markings/sec, 1145 secs
lola: 472153 markings, 871612 edges, 282 markings/sec, 1150 secs
lola: 474330 markings, 875891 edges, 435 markings/sec, 1155 secs
lola: 477343 markings, 881108 edges, 603 markings/sec, 1160 secs
lola: 478381 markings, 883157 edges, 208 markings/sec, 1165 secs
lola: 481504 markings, 888497 edges, 625 markings/sec, 1170 secs
lola: 483414 markings, 892278 edges, 382 markings/sec, 1175 secs
lola: 485020 markings, 895427 edges, 321 markings/sec, 1180 secs
lola: 487744 markings, 900518 edges, 545 markings/sec, 1185 secs
lola: 489767 markings, 904095 edges, 405 markings/sec, 1190 secs
lola: 491189 markings, 906892 edges, 284 markings/sec, 1195 secs
lola: 494545 markings, 912754 edges, 671 markings/sec, 1200 secs
lola: 495966 markings, 915569 edges, 284 markings/sec, 1205 secs
lola: 498114 markings, 919792 edges, 430 markings/sec, 1210 secs
lola: 501022 markings, 924841 edges, 582 markings/sec, 1215 secs
lola: 502052 markings, 926875 edges, 206 markings/sec, 1220 secs
lola: 505435 markings, 932772 edges, 677 markings/sec, 1225 secs
lola: 507038 markings, 935944 edges, 321 markings/sec, 1230 secs
lola: 508881 markings, 939564 edges, 369 markings/sec, 1235 secs
lola: 513234 markings, 947044 edges, 871 markings/sec, 1240 secs
lola: 515572 markings, 951679 edges, 468 markings/sec, 1245 secs
lola: 518249 markings, 956952 edges, 535 markings/sec, 1250 secs
lola: 526807 markings, 970129 edges, 1712 markings/sec, 1255 secs
lola: 542907 markings, 994306 edges, 3220 markings/sec, 1260 secs
lola: 558409 markings, 1017267 edges, 3100 markings/sec, 1265 secs
lola: 573744 markings, 1039945 edges, 3067 markings/sec, 1270 secs
lola: 589524 markings, 1063304 edges, 3156 markings/sec, 1275 secs
lola: 605105 markings, 1086723 edges, 3116 markings/sec, 1280 secs
lola: 621023 markings, 1110278 edges, 3184 markings/sec, 1285 secs
lola: 636582 markings, 1133349 edges, 3112 markings/sec, 1290 secs
lola: 652250 markings, 1156541 edges, 3134 markings/sec, 1295 secs
lola: 667768 markings, 1179857 edges, 3104 markings/sec, 1300 secs
lola: 683808 markings, 1203649 edges, 3208 markings/sec, 1305 secs
lola: 698833 markings, 1225868 edges, 3005 markings/sec, 1310 secs
lola: 714252 markings, 1248708 edges, 3084 markings/sec, 1315 secs
lola: 730082 markings, 1272177 edges, 3166 markings/sec, 1320 secs
lola: 745960 markings, 1296021 edges, 3176 markings/sec, 1325 secs
lola: 761018 markings, 1318338 edges, 3012 markings/sec, 1330 secs
lola: 776721 markings, 1341626 edges, 3141 markings/sec, 1335 secs
lola: 792075 markings, 1364391 edges, 3071 markings/sec, 1340 secs
lola: 807594 markings, 1387379 edges, 3104 markings/sec, 1345 secs
lola: 822898 markings, 1410044 edges, 3061 markings/sec, 1350 secs
lola: 838287 markings, 1432860 edges, 3078 markings/sec, 1355 secs
lola: 853815 markings, 1455886 edges, 3106 markings/sec, 1360 secs
lola: 869197 markings, 1478733 edges, 3076 markings/sec, 1365 secs
lola: 884380 markings, 1501240 edges, 3037 markings/sec, 1370 secs
lola: 893070 markings, 1514254 edges, 1738 markings/sec, 1375 secs
lola: 894670 markings, 1517323 edges, 320 markings/sec, 1380 secs
lola: 900588 markings, 1533460 edges, 1184 markings/sec, 1385 secs
lola: 903758 markings, 1538226 edges, 634 markings/sec, 1390 secs
lola: 905340 markings, 1542279 edges, 316 markings/sec, 1395 secs
lola: 912668 markings, 1559408 edges, 1466 markings/sec, 1400 secs
lola: 914279 markings, 1562155 edges, 322 markings/sec, 1405 secs
lola: 919193 markings, 1576836 edges, 983 markings/sec, 1410 secs
lola: 923199 markings, 1582900 edges, 801 markings/sec, 1415 secs
lola: 924726 markings, 1586668 edges, 305 markings/sec, 1420 secs
lola: 931866 markings, 1603473 edges, 1428 markings/sec, 1425 secs
lola: 933482 markings, 1606221 edges, 323 markings/sec, 1430 secs
lola: 938392 markings, 1620732 edges, 982 markings/sec, 1435 secs
lola: 942254 markings, 1626505 edges, 772 markings/sec, 1440 secs
lola: 944343 markings, 1632202 edges, 418 markings/sec, 1445 secs
lola: 950829 markings, 1646695 edges, 1297 markings/sec, 1450 secs
lola: 952451 markings, 1650037 edges, 324 markings/sec, 1455 secs
lola: 959329 markings, 1666650 edges, 1376 markings/sec, 1460 secs
lola: 960980 markings, 1669248 edges, 330 markings/sec, 1465 secs
lola: 965634 markings, 1683138 edges, 931 markings/sec, 1470 secs
lola: 969468 markings, 1688941 edges, 767 markings/sec, 1475 secs
lola: 971966 markings, 1695943 edges, 500 markings/sec, 1480 secs
lola: 977786 markings, 1708378 edges, 1164 markings/sec, 1485 secs
lola: 979400 markings, 1712095 edges, 323 markings/sec, 1490 secs
lola: 986019 markings, 1727565 edges, 1324 markings/sec, 1495 secs
lola: 987661 markings, 1730841 edges, 328 markings/sec, 1500 secs
lola: 994165 markings, 1746499 edges, 1301 markings/sec, 1505 secs
lola: 995808 markings, 1749358 edges, 329 markings/sec, 1510 secs
lola: 1002206 markings, 1765157 edges, 1280 markings/sec, 1515 secs
lola: 1003881 markings, 1767766 edges, 335 markings/sec, 1520 secs
lola: 1009247 markings, 1782173 edges, 1073 markings/sec, 1525 secs
lola: 1011935 markings, 1786230 edges, 538 markings/sec, 1530 secs
lola: 1016327 markings, 1799170 edges, 878 markings/sec, 1535 secs
lola: 1019851 markings, 1804438 edges, 705 markings/sec, 1540 secs
lola: 1024189 markings, 1817194 edges, 868 markings/sec, 1545 secs
lola: 1027675 markings, 1822399 edges, 697 markings/sec, 1550 secs
lola: 1032439 markings, 1835638 edges, 953 markings/sec, 1555 secs
lola: 1035368 markings, 1840113 edges, 586 markings/sec, 1560 secs
lola: 1041332 markings, 1854978 edges, 1193 markings/sec, 1565 secs
lola: 1043015 markings, 1857808 edges, 337 markings/sec, 1570 secs
lola: 1048899 markings, 1872175 edges, 1177 markings/sec, 1575 secs
lola: 1050536 markings, 1875238 edges, 327 markings/sec, 1580 secs
lola: 1056367 markings, 1889112 edges, 1166 markings/sec, 1585 secs
lola: 1058001 markings, 1892613 edges, 327 markings/sec, 1590 secs
lola: 1063757 markings, 1905809 edges, 1151 markings/sec, 1595 secs
lola: 1066477 markings, 1913129 edges, 544 markings/sec, 1600 secs
lola: 1070445 markings, 1924931 edges, 794 markings/sec, 1605 secs
lola: 1073480 markings, 1934032 edges, 607 markings/sec, 1610 secs
lola: 1078835 markings, 1945626 edges, 1071 markings/sec, 1615 secs
lola: 1082946 markings, 1957428 edges, 822 markings/sec, 1620 secs
lola: 1085404 markings, 1964802 edges, 492 markings/sec, 1625 secs
lola: 1090382 markings, 1979686 edges, 996 markings/sec, 1630 secs
lola: 1093706 markings, 1984923 edges, 665 markings/sec, 1635 secs
lola: 1098636 markings, 1999605 edges, 986 markings/sec, 1640 secs
lola: 1100250 markings, 2004447 edges, 323 markings/sec, 1645 secs
lola: 1106814 markings, 2021069 edges, 1313 markings/sec, 1650 secs
lola: 1108445 markings, 2024360 edges, 326 markings/sec, 1655 secs
lola: 1113309 markings, 2038844 edges, 973 markings/sec, 1660 secs
lola: 1115320 markings, 2044877 edges, 402 markings/sec, 1665 secs
lola: 1121387 markings, 2059203 edges, 1213 markings/sec, 1670 secs
lola: 1125117 markings, 2069690 edges, 746 markings/sec, 1675 secs
lola: 1127738 markings, 2077464 edges, 524 markings/sec, 1680 secs
lola: 1132631 markings, 2091972 edges, 979 markings/sec, 1685 secs
lola: 1135727 markings, 2096985 edges, 619 markings/sec, 1690 secs
lola: 1140427 markings, 2110977 edges, 940 markings/sec, 1695 secs
lola: 1142042 markings, 2115822 edges, 323 markings/sec, 1700 secs
lola: 1148336 markings, 2131250 edges, 1259 markings/sec, 1705 secs
lola: 1151618 markings, 2140202 edges, 656 markings/sec, 1710 secs
lola: 1154559 markings, 2148932 edges, 588 markings/sec, 1715 secs
lola: 1159438 markings, 2163278 edges, 976 markings/sec, 1720 secs
lola: 1162394 markings, 2168217 edges, 591 markings/sec, 1725 secs
lola: 1166930 markings, 2181717 edges, 907 markings/sec, 1730 secs
lola: 1169409 markings, 2189154 edges, 496 markings/sec, 1735 secs
lola: 1174691 markings, 2201172 edges, 1056 markings/sec, 1740 secs
lola: 1179142 markings, 2214138 edges, 890 markings/sec, 1745 secs
lola: 1180760 markings, 2218992 edges, 324 markings/sec, 1750 secs
lola: 1186771 markings, 2234024 edges, 1202 markings/sec, 1755 secs
lola: 1190172 markings, 2243216 edges, 680 markings/sec, 1760 secs
lola: 1192854 markings, 2251172 edges, 536 markings/sec, 1765 secs
lola: 1198750 markings, 2266416 edges, 1179 markings/sec, 1770 secs
lola: 1200931 markings, 2271522 edges, 436 markings/sec, 1775 secs
lola: 1204745 markings, 2282856 edges, 763 markings/sec, 1780 secs
lola: 1209442 markings, 2296586 edges, 939 markings/sec, 1785 secs
lola: 1212240 markings, 2301573 edges, 560 markings/sec, 1790 secs
lola: 1216514 markings, 2314287 edges, 855 markings/sec, 1795 secs
lola: 1221069 markings, 2327760 edges, 911 markings/sec, 1800 secs
lola: 1223907 markings, 2332811 edges, 568 markings/sec, 1805 secs
lola: 1228161 markings, 2345465 edges, 851 markings/sec, 1810 secs
lola: 1232707 markings, 2358800 edges, 909 markings/sec, 1815 secs
lola: 1235699 markings, 2364537 edges, 598 markings/sec, 1820 secs
lola: 1239583 markings, 2376081 edges, 777 markings/sec, 1825 secs
lola: 1245146 markings, 2390619 edges, 1113 markings/sec, 1830 secs
lola: 1248223 markings, 2398555 edges, 615 markings/sec, 1835 secs
lola: 1250883 markings, 2406444 edges, 532 markings/sec, 1840 secs
lola: 1256384 markings, 2420357 edges, 1100 markings/sec, 1845 secs
lola: 1260394 markings, 2431554 edges, 802 markings/sec, 1850 secs
lola: 1262043 markings, 2436500 edges, 330 markings/sec, 1855 secs
lola: 1267462 markings, 2449554 edges, 1084 markings/sec, 1860 secs
lola: 1271386 markings, 2461218 edges, 785 markings/sec, 1865 secs
lola: 1275409 markings, 2473269 edges, 805 markings/sec, 1870 secs
lola: 1278771 markings, 2480282 edges, 672 markings/sec, 1875 secs
lola: 1282229 markings, 2490549 edges, 692 markings/sec, 1880 secs
lola: 1287446 markings, 2503742 edges, 1043 markings/sec, 1885 secs
lola: 1291246 markings, 2514515 edges, 760 markings/sec, 1890 secs
lola: 1294234 markings, 2523471 edges, 598 markings/sec, 1895 secs
lola: 1298384 markings, 2533065 edges, 830 markings/sec, 1900 secs
lola: 1301759 markings, 2543082 edges, 675 markings/sec, 1905 secs
lola: 1306828 markings, 2555800 edges, 1014 markings/sec, 1910 secs
lola: 1310514 markings, 2566489 edges, 737 markings/sec, 1915 secs
lola: 1315180 markings, 2580379 edges, 933 markings/sec, 1920 secs
lola: 1317203 markings, 2586448 edges, 405 markings/sec, 1925 secs
lola: 1322217 markings, 2601400 edges, 1003 markings/sec, 1930 secs
lola: 1328172 markings, 2610091 edges, 1191 markings/sec, 1935 secs
lola: 1330612 markings, 2613659 edges, 488 markings/sec, 1940 secs
lola: 1332420 markings, 2616369 edges, 362 markings/sec, 1945 secs
lola: 1334232 markings, 2619080 edges, 362 markings/sec, 1950 secs
lola: 1336044 markings, 2621792 edges, 362 markings/sec, 1955 secs
lola: 1337858 markings, 2624509 edges, 363 markings/sec, 1960 secs
lola: 1339680 markings, 2627242 edges, 364 markings/sec, 1965 secs
lola: 1344025 markings, 2633590 edges, 869 markings/sec, 1970 secs
lola: 1346809 markings, 2637590 edges, 557 markings/sec, 1975 secs
lola: 1348619 markings, 2640298 edges, 362 markings/sec, 1980 secs
lola: 1350431 markings, 2643007 edges, 362 markings/sec, 1985 secs
lola: 1353792 markings, 2647873 edges, 672 markings/sec, 1990 secs
lola: 1356162 markings, 2651241 edges, 474 markings/sec, 1995 secs
lola: 1357972 markings, 2653942 edges, 362 markings/sec, 2000 secs
lola: 1360903 markings, 2657970 edges, 586 markings/sec, 2005 secs
lola: 1370387 markings, 2686192 edges, 1897 markings/sec, 2010 secs
lola: 1373827 markings, 2694120 edges, 688 markings/sec, 2015 secs
lola: 1375641 markings, 2696841 edges, 363 markings/sec, 2020 secs
lola: 1377449 markings, 2699546 edges, 362 markings/sec, 2025 secs
lola: 1379265 markings, 2702263 edges, 363 markings/sec, 2030 secs
lola: 1381075 markings, 2704973 edges, 362 markings/sec, 2035 secs
lola: 1382889 markings, 2707683 edges, 363 markings/sec, 2040 secs
lola: 1384778 markings, 2710493 edges, 378 markings/sec, 2045 secs
lola: 1386588 markings, 2713207 edges, 362 markings/sec, 2050 secs
lola: 1388396 markings, 2715909 edges, 362 markings/sec, 2055 secs
lola: 1390206 markings, 2718616 edges, 362 markings/sec, 2060 secs
lola: 1392081 markings, 2721380 edges, 375 markings/sec, 2065 secs
lola: 1393888 markings, 2724076 edges, 361 markings/sec, 2070 secs
lola: 1398830 markings, 2737069 edges, 988 markings/sec, 2075 secs
lola: 1406638 markings, 2759554 edges, 1562 markings/sec, 2080 secs
lola: 1408444 markings, 2762257 edges, 361 markings/sec, 2085 secs
lola: 1410250 markings, 2764962 edges, 361 markings/sec, 2090 secs
lola: 1412058 markings, 2767667 edges, 362 markings/sec, 2095 secs
lola: 1413866 markings, 2770373 edges, 362 markings/sec, 2100 secs
lola: 1415666 markings, 2773071 edges, 360 markings/sec, 2105 secs
lola: 1417464 markings, 2775768 edges, 360 markings/sec, 2110 secs
lola: 1419357 markings, 2778574 edges, 379 markings/sec, 2115 secs
lola: 1421167 markings, 2781282 edges, 362 markings/sec, 2120 secs
lola: 1422979 markings, 2783991 edges, 362 markings/sec, 2125 secs
lola: 1424857 markings, 2786762 edges, 376 markings/sec, 2130 secs
lola: 1426664 markings, 2789458 edges, 361 markings/sec, 2135 secs
lola: 1429448 markings, 2795274 edges, 557 markings/sec, 2140 secs
lola: 1439205 markings, 2824329 edges, 1951 markings/sec, 2145 secs
lola: 1441013 markings, 2826941 edges, 362 markings/sec, 2150 secs
lola: 1442807 markings, 2829630 edges, 359 markings/sec, 2155 secs
lola: 1444619 markings, 2832341 edges, 362 markings/sec, 2160 secs
lola: 1446429 markings, 2835049 edges, 362 markings/sec, 2165 secs
lola: 1448241 markings, 2837761 edges, 362 markings/sec, 2170 secs
lola: 1450055 markings, 2840485 edges, 363 markings/sec, 2175 secs
lola: 1451944 markings, 2843286 edges, 378 markings/sec, 2180 secs
lola: 1453742 markings, 2845977 edges, 360 markings/sec, 2185 secs
lola: 1455536 markings, 2848658 edges, 359 markings/sec, 2190 secs
lola: 1457342 markings, 2851322 edges, 361 markings/sec, 2195 secs
lola: 1459121 markings, 2853976 edges, 356 markings/sec, 2200 secs
lola: 1461813 markings, 2859519 edges, 538 markings/sec, 2205 secs
lola: 1471384 markings, 2888049 edges, 1914 markings/sec, 2210 secs
lola: 1473160 markings, 2890614 edges, 355 markings/sec, 2215 secs
lola: 1474948 markings, 2893294 edges, 358 markings/sec, 2220 secs
lola: 1476720 markings, 2895945 edges, 354 markings/sec, 2225 secs
lola: 1478510 markings, 2898623 edges, 358 markings/sec, 2230 secs
lola: 1480298 markings, 2901302 edges, 358 markings/sec, 2235 secs
lola: 1482088 markings, 2903987 edges, 358 markings/sec, 2240 secs
lola: 1483953 markings, 2906753 edges, 373 markings/sec, 2245 secs
lola: 1485739 markings, 2909425 edges, 357 markings/sec, 2250 secs
lola: 1487473 markings, 2912017 edges, 347 markings/sec, 2255 secs
lola: 1489274 markings, 2914675 edges, 360 markings/sec, 2260 secs
lola: 1491042 markings, 2917311 edges, 354 markings/sec, 2265 secs
lola: 1494736 markings, 2926201 edges, 739 markings/sec, 2270 secs
lola: 1503099 markings, 2950661 edges, 1673 markings/sec, 2275 secs
lola: 1504833 markings, 2953201 edges, 347 markings/sec, 2280 secs
lola: 1506567 markings, 2955799 edges, 347 markings/sec, 2285 secs
lola: 1508331 markings, 2958438 edges, 353 markings/sec, 2290 secs
lola: 1510141 markings, 2961145 edges, 362 markings/sec, 2295 secs
lola: 1511925 markings, 2963820 edges, 357 markings/sec, 2300 secs
lola: 1513731 markings, 2966529 edges, 361 markings/sec, 2305 secs
lola: 1515620 markings, 2969332 edges, 378 markings/sec, 2310 secs
lola: 1517430 markings, 2972037 edges, 362 markings/sec, 2315 secs
lola: 1519242 markings, 2974746 edges, 362 markings/sec, 2320 secs
lola: 1521121 markings, 2977518 edges, 376 markings/sec, 2325 secs
lola: 1523002 markings, 2980329 edges, 376 markings/sec, 2330 secs
lola: 1531371 markings, 3004855 edges, 1674 markings/sec, 2335 secs
lola: 1534854 markings, 3012938 edges, 697 markings/sec, 2340 secs
lola: 1536666 markings, 3015655 edges, 362 markings/sec, 2345 secs
lola: 1538476 markings, 3018362 edges, 362 markings/sec, 2350 secs
lola: 1540288 markings, 3021073 edges, 362 markings/sec, 2355 secs
lola: 1542102 markings, 3023791 edges, 363 markings/sec, 2360 secs
lola: 1543918 markings, 3026515 edges, 363 markings/sec, 2365 secs
lola: 1545811 markings, 3029325 edges, 379 markings/sec, 2370 secs
lola: 1547621 markings, 3032032 edges, 362 markings/sec, 2375 secs
lola: 1549433 markings, 3034740 edges, 362 markings/sec, 2380 secs
lola: 1551312 markings, 3037513 edges, 376 markings/sec, 2385 secs
lola: 1553191 markings, 3040323 edges, 376 markings/sec, 2390 secs
lola: 1561627 markings, 3065091 edges, 1687 markings/sec, 2395 secs
lola: 1564837 markings, 3072249 edges, 642 markings/sec, 2400 secs
lola: 1566649 markings, 3074965 edges, 362 markings/sec, 2405 secs
lola: 1568461 markings, 3077676 edges, 362 markings/sec, 2410 secs
lola: 1570271 markings, 3080384 edges, 362 markings/sec, 2415 secs
lola: 1572083 markings, 3083099 edges, 362 markings/sec, 2420 secs
lola: 1573899 markings, 3085823 edges, 363 markings/sec, 2425 secs
lola: 1575790 markings, 3088631 edges, 378 markings/sec, 2430 secs
lola: 1577600 markings, 3091336 edges, 362 markings/sec, 2435 secs
lola: 1579410 markings, 3094042 edges, 362 markings/sec, 2440 secs
lola: 1581285 markings, 3096806 edges, 375 markings/sec, 2445 secs
lola: 1583978 markings, 3102349 edges, 539 markings/sec, 2450 secs
lola: 1592792 markings, 3128222 edges, 1763 markings/sec, 2455 secs
lola: 1594602 markings, 3130868 edges, 362 markings/sec, 2460 secs
lola: 1596412 markings, 3133578 edges, 362 markings/sec, 2465 secs
lola: 1598222 markings, 3136286 edges, 362 markings/sec, 2470 secs
lola: 1600032 markings, 3138994 edges, 362 markings/sec, 2475 secs
lola: 1601848 markings, 3141718 edges, 363 markings/sec, 2480 secs
lola: 1603741 markings, 3144530 edges, 379 markings/sec, 2485 secs
lola: 1605551 markings, 3147241 edges, 362 markings/sec, 2490 secs
lola: 1607363 markings, 3149948 edges, 362 markings/sec, 2495 secs
lola: 1609242 markings, 3152726 edges, 376 markings/sec, 2500 secs
lola: 1611052 markings, 3155422 edges, 362 markings/sec, 2505 secs
lola: 1618962 markings, 3178320 edges, 1582 markings/sec, 2510 secs
lola: 1622353 markings, 3186103 edges, 678 markings/sec, 2515 secs
lola: 1624163 markings, 3188816 edges, 362 markings/sec, 2520 secs
lola: 1625971 markings, 3191520 edges, 362 markings/sec, 2525 secs
lola: 1627779 markings, 3194225 edges, 362 markings/sec, 2530 secs
lola: 1629591 markings, 3196941 edges, 362 markings/sec, 2535 secs
lola: 1631465 markings, 3199791 edges, 375 markings/sec, 2540 secs
lola: 1633296 markings, 3202471 edges, 366 markings/sec, 2545 secs
lola: 1635110 markings, 3205180 edges, 363 markings/sec, 2550 secs
lola: 1636989 markings, 3207957 edges, 376 markings/sec, 2555 secs
lola: 1638801 markings, 3210657 edges, 362 markings/sec, 2560 secs
lola: 1646018 markings, 3231233 edges, 1443 markings/sec, 2565 secs
lola: 1649896 markings, 3240666 edges, 776 markings/sec, 2570 secs
lola: 1651704 markings, 3243376 edges, 362 markings/sec, 2575 secs
lola: 1653512 markings, 3246080 edges, 362 markings/sec, 2580 secs
lola: 1655322 markings, 3248788 edges, 362 markings/sec, 2585 secs
lola: 1657136 markings, 3251504 edges, 363 markings/sec, 2590 secs
lola: 1659033 markings, 3254396 edges, 379 markings/sec, 2595 secs
lola: 1660843 markings, 3257040 edges, 362 markings/sec, 2600 secs
lola: 1662653 markings, 3259743 edges, 362 markings/sec, 2605 secs
lola: 1664532 markings, 3262522 edges, 376 markings/sec, 2610 secs
lola: 1666392 markings, 3265323 edges, 372 markings/sec, 2615 secs
lola: 1675453 markings, 3291978 edges, 1812 markings/sec, 2620 secs
lola: 1677245 markings, 3294581 edges, 358 markings/sec, 2625 secs
lola: 1679053 markings, 3297289 edges, 362 markings/sec, 2630 secs
lola: 1680863 markings, 3299996 edges, 362 markings/sec, 2635 secs
lola: 1682653 markings, 3302674 edges, 358 markings/sec, 2640 secs
lola: 1684467 markings, 3305395 edges, 363 markings/sec, 2645 secs
lola: 1686356 markings, 3308204 edges, 378 markings/sec, 2650 secs
lola: 1688167 markings, 3310913 edges, 362 markings/sec, 2655 secs
lola: 1689978 markings, 3313619 edges, 362 markings/sec, 2660 secs
lola: 1691855 markings, 3316389 edges, 375 markings/sec, 2665 secs
lola: 1696183 markings, 3327405 edges, 866 markings/sec, 2670 secs
lola: 1702560 markings, 3345091 edges, 1275 markings/sec, 2675 secs
lola: 1704376 markings, 3347815 edges, 363 markings/sec, 2680 secs
lola: 1706190 markings, 3350528 edges, 363 markings/sec, 2685 secs
lola: 1708002 markings, 3353238 edges, 362 markings/sec, 2690 secs
lola: 1709818 markings, 3355959 edges, 363 markings/sec, 2695 secs
lola: 1711702 markings, 3358824 edges, 377 markings/sec, 2700 secs
lola: 1713533 markings, 3361506 edges, 366 markings/sec, 2705 secs
lola: 1715351 markings, 3364220 edges, 364 markings/sec, 2710 secs
lola: 1717232 markings, 3367002 edges, 376 markings/sec, 2715 secs
lola: 1719939 markings, 3372619 edges, 541 markings/sec, 2720 secs
lola: 1727745 markings, 3395055 edges, 1561 markings/sec, 2725 secs
lola: 1729565 markings, 3397785 edges, 364 markings/sec, 2730 secs
lola: 1731375 markings, 3400493 edges, 362 markings/sec, 2735 secs
lola: 1733187 markings, 3403203 edges, 362 markings/sec, 2740 secs
lola: 1735003 markings, 3405923 edges, 363 markings/sec, 2745 secs
lola: 1736819 markings, 3408647 edges, 363 markings/sec, 2750 secs
lola: 1738712 markings, 3411463 edges, 379 markings/sec, 2755 secs
lola: 1740526 markings, 3414171 edges, 363 markings/sec, 2760 secs
lola: 1742407 markings, 3416951 edges, 376 markings/sec, 2765 secs
lola: 1746009 markings, 3425525 edges, 720 markings/sec, 2770 secs
lola: 1752728 markings, 3444368 edges, 1344 markings/sec, 2775 secs
lola: 1754544 markings, 3447092 edges, 363 markings/sec, 2780 secs
lola: 1756356 markings, 3449801 edges, 362 markings/sec, 2785 secs
lola: 1758170 markings, 3452515 edges, 363 markings/sec, 2790 secs
lola: 1759988 markings, 3455239 edges, 364 markings/sec, 2795 secs
lola: 1761889 markings, 3458083 edges, 380 markings/sec, 2800 secs
lola: 1763703 markings, 3460785 edges, 363 markings/sec, 2805 secs
lola: 1765515 markings, 3463491 edges, 362 markings/sec, 2810 secs
lola: 1767396 markings, 3466266 edges, 376 markings/sec, 2815 secs
lola: 1774182 markings, 3485454 edges, 1357 markings/sec, 2820 secs
lola: 1777513 markings, 3493039 edges, 666 markings/sec, 2825 secs
lola: 1779325 markings, 3495753 edges, 362 markings/sec, 2830 secs
lola: 1781117 markings, 3498433 edges, 358 markings/sec, 2835 secs
lola: 1782922 markings, 3501133 edges, 361 markings/sec, 2840 secs
lola: 1784743 markings, 3503865 edges, 364 markings/sec, 2845 secs
lola: 1786640 markings, 3506690 edges, 379 markings/sec, 2850 secs
lola: 1788454 markings, 3509399 edges, 363 markings/sec, 2855 secs
lola: 1790337 markings, 3512187 edges, 377 markings/sec, 2860 secs
lola: 1794030 markings, 3521095 edges, 739 markings/sec, 2865 secs
lola: 1800258 markings, 3538308 edges, 1246 markings/sec, 2870 secs
lola: 1802074 markings, 3541031 edges, 363 markings/sec, 2875 secs
lola: 1803888 markings, 3543743 edges, 363 markings/sec, 2880 secs
lola: 1805702 markings, 3546456 edges, 363 markings/sec, 2885 secs
lola: 1807522 markings, 3549185 edges, 364 markings/sec, 2890 secs
lola: 1809417 markings, 3552008 edges, 379 markings/sec, 2895 secs
lola: 1811229 markings, 3554716 edges, 362 markings/sec, 2900 secs
lola: 1813108 markings, 3557538 edges, 376 markings/sec, 2905 secs
lola: 1816326 markings, 3564812 edges, 644 markings/sec, 2910 secs
lola: 1822837 markings, 3582989 edges, 1302 markings/sec, 2915 secs
lola: 1824651 markings, 3585709 edges, 363 markings/sec, 2920 secs
lola: 1826465 markings, 3588421 edges, 363 markings/sec, 2925 secs
lola: 1828279 markings, 3591134 edges, 363 markings/sec, 2930 secs
lola: 1830099 markings, 3593863 edges, 364 markings/sec, 2935 secs
lola: 1831996 markings, 3596690 edges, 379 markings/sec, 2940 secs
lola: 1833788 markings, 3599367 edges, 358 markings/sec, 2945 secs
lola: 1835669 markings, 3602152 edges, 376 markings/sec, 2950 secs
lola: 1840747 markings, 3615622 edges, 1016 markings/sec, 2955 secs
lola: 1845198 markings, 3627007 edges, 890 markings/sec, 2960 secs
lola: 1846992 markings, 3629695 edges, 359 markings/sec, 2965 secs
lola: 1848806 markings, 3632407 edges, 363 markings/sec, 2970 secs
lola: 1850622 markings, 3635124 edges, 363 markings/sec, 2975 secs
lola: 1852440 markings, 3637851 edges, 364 markings/sec, 2980 secs
lola: 1854337 markings, 3640678 edges, 379 markings/sec, 2985 secs
lola: 1856149 markings, 3643381 edges, 362 markings/sec, 2990 secs
lola: 1858028 markings, 3646152 edges, 376 markings/sec, 2995 secs
lola: 1865571 markings, 3667773 edges, 1509 markings/sec, 3000 secs
lola: 1867387 markings, 3670435 edges, 363 markings/sec, 3005 secs
lola: 1869199 markings, 3673144 edges, 362 markings/sec, 3010 secs
lola: 1871011 markings, 3675854 edges, 362 markings/sec, 3015 secs
lola: 1872827 markings, 3678576 edges, 363 markings/sec, 3020 secs
lola: 1874706 markings, 3681378 edges, 376 markings/sec, 3025 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 80 20 unknown unknown 20 1 1 20 20 80 80 20 80 80 20
lola:
preliminary result: 1 80 20 unknown unknown 20 1 1 20 20 80 80 20 80 80 20
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 80 20 unknown unknown 20 1 1 20 20 80 80 20 80 80 20
lola: memory consumption: 162092 KB
lola: time consumption: 3568 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 80 20 unknown unknown 20 1 1 20 20 80 80 20 80 80 20
lola: memory consumption: 162092 KB
lola: time consumption: 3568 seconds

BK_STOP 1526548816915

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