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

About the Execution of LoLA for BridgeAndVehicles-PT-V50P20N50

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
387.230 3570805.00 3669596.00 681.90 1 ? 1 20 1 50 50 50 1 1 1 1 1 1 1 1 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 11M
-rw-r--r-- 1 mcc users 13K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 43K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 303K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 831K 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 5.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 179K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 492K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 44K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 121 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 359 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 587K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.7M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 10 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 6.0M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BridgeAndVehicles-PT-V50P20N50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306400324
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526572133067

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-PT-V50P20N50 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-PT-V50P20N50 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-PT-V50P20N50 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5576/65536 symbol table entries, 632 collisions
lola: preprocessing...
lola: Size of bit vector: 5376
lola: finding significant places
lola: 168 places, 5408 transitions, 161 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 5813 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-PT-V50P20N50-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE_A_22 + NB_ATTENTE_A_23 + NB_ATTENTE_A_24 + NB_ATTENTE_A_25 + NB_ATTENTE_A_26 + NB_ATTENTE_A_27 + NB_ATTENTE_A_28 + NB_ATTENTE_A_29 + NB_ATTENTE_A_30 + NB_ATTENTE_A_31 + NB_ATTENTE_A_32 + NB_ATTENTE_A_33 + NB_ATTENTE_A_34 + NB_ATTENTE_A_35 + NB_ATTENTE_A_36 + NB_ATTENTE_A_37 + NB_ATTENTE_A_38 + NB_ATTENTE_A_39 + NB_ATTENTE_A_40 + NB_ATTENTE_A_41 + NB_ATTENTE_A_42 + NB_ATTENTE_A_43 + NB_ATTENTE_A_44 + NB_ATTENTE_A_45 + NB_ATTENTE_A_46 + NB_ATTENTE_A_47 + NB_ATTENTE_A_48 + NB_ATTENTE_A_49 + NB_ATTENTE_A_50 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(CONTROLEUR_1 + CONTROLEUR_2) : MAX(ATTENTE_B) : MAX(VIDANGE_1 + VIDANGE_2) : MAX(SUR_PONT_B) : MAX(0) : MAX(SORTI_B) : MAX(SORTI_A) : MAX(ROUTE_B) : MAX(COMPTEUR_26) : MAX(COMPTEUR_31) : MAX(COMPTEUR_0) : MAX(NB_ATTENTE_A_15) : MAX(NB_ATTENTE_B_10) : MAX(NB_ATTENTE_B_17) : MAX(COMPTEUR_19) : MAX(NB_ATTENTE_A_9)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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-PT-V50P20N50-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_B)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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-PT-V50P20N50-UpperBounds-3 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATTENTE_B)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 6732 markings, 10513 edges, 1346 markings/sec, 30 secs
lola: 19362 markings, 31741 edges, 2526 markings/sec, 35 secs
lola: 31990 markings, 52958 edges, 2526 markings/sec, 40 secs
lola: 44622 markings, 73909 edges, 2526 markings/sec, 45 secs
lola: 56920 markings, 93735 edges, 2460 markings/sec, 50 secs
lola: 58862 markings, 97218 edges, 388 markings/sec, 55 secs
lola: 59616 markings, 98349 edges, 151 markings/sec, 60 secs
lola: 60382 markings, 99498 edges, 153 markings/sec, 65 secs
lola: 61150 markings, 100650 edges, 154 markings/sec, 70 secs
lola: 68630 markings, 112470 edges, 1496 markings/sec, 75 secs
lola: 81244 markings, 133584 edges, 2523 markings/sec, 80 secs
lola: 93852 markings, 154880 edges, 2522 markings/sec, 85 secs
lola: 106454 markings, 175354 edges, 2520 markings/sec, 90 secs
lola: 116588 markings, 192236 edges, 2027 markings/sec, 95 secs
lola: 117352 markings, 193382 edges, 153 markings/sec, 100 secs
lola: 118116 markings, 194528 edges, 153 markings/sec, 105 secs
lola: 118874 markings, 195665 edges, 152 markings/sec, 110 secs
lola: 119644 markings, 196740 edges, 154 markings/sec, 115 secs
lola: 130780 markings, 214764 edges, 2227 markings/sec, 120 secs
lola: 143546 markings, 236241 edges, 2553 markings/sec, 125 secs
lola: 156296 markings, 257737 edges, 2550 markings/sec, 130 secs
lola: 169042 markings, 277757 edges, 2549 markings/sec, 135 secs
lola: 172470 markings, 283982 edges, 686 markings/sec, 140 secs
lola: 173244 markings, 285143 edges, 155 markings/sec, 145 secs
lola: 174020 markings, 286307 edges, 155 markings/sec, 150 secs
lola: 174794 markings, 287468 edges, 155 markings/sec, 155 secs
lola: 181456 markings, 297925 edges, 1332 markings/sec, 160 secs
lola: 194230 markings, 319360 edges, 2555 markings/sec, 165 secs
lola: 206989 markings, 340805 edges, 2552 markings/sec, 170 secs
lola: 219704 markings, 361294 edges, 2543 markings/sec, 175 secs
lola: 225046 markings, 370280 edges, 1068 markings/sec, 180 secs
lola: 225822 markings, 371444 edges, 155 markings/sec, 185 secs
lola: 226596 markings, 372605 edges, 155 markings/sec, 190 secs
lola: 227370 markings, 373766 edges, 155 markings/sec, 195 secs
lola: 232122 markings, 380991 edges, 950 markings/sec, 200 secs
lola: 244898 markings, 402403 edges, 2555 markings/sec, 205 secs
lola: 257654 markings, 423872 edges, 2551 markings/sec, 210 secs
lola: 270380 markings, 444264 edges, 2545 markings/sec, 215 secs
lola: 275128 markings, 452365 edges, 950 markings/sec, 220 secs
lola: 275902 markings, 453526 edges, 155 markings/sec, 225 secs
lola: 276676 markings, 454687 edges, 155 markings/sec, 230 secs
lola: 277450 markings, 455848 edges, 155 markings/sec, 235 secs
lola: 282764 markings, 464022 edges, 1063 markings/sec, 240 secs
lola: 295528 markings, 485406 edges, 2553 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 20 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 105836 KB
lola: time consumption: 257 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SORTI_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SORTI_B)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 204 markings, 203 edges
lola: ========================================

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

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

FORMULA BridgeAndVehicles-PT-V50P20N50-UpperBounds-7 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(COMPTEUR_26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(COMPTEUR_26)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 101 markings, 100 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N50-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(COMPTEUR_31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(COMPTEUR_31)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 121 markings, 120 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N50-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 413 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(COMPTEUR_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(COMPTEUR_0)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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-PT-V50P20N50-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 472 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_15)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 16 markings, 15 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N50-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 551 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_10)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 15 markings, 14 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N50-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 662 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_17)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 22 markings, 21 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N50-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 827 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(COMPTEUR_19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(COMPTEUR_19)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 73 markings, 72 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N50-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1103 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_9)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 10 markings, 9 edges

FORMULA BridgeAndVehicles-PT-V50P20N50-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1654 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(VIDANGE_1 + VIDANGE_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(VIDANGE_1 + VIDANGE_2)
lola: processed formula length: 26
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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-PT-V50P20N50-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 3309 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CONTROLEUR_1 + CONTROLEUR_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CONTROLEUR_1 + CONTROLEUR_2)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N50-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATTENTE_B)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N50-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: 7234 markings, 11363 edges, 1447 markings/sec, 30 secs
lola: 20060 markings, 32848 edges, 2565 markings/sec, 35 secs
lola: 32900 markings, 54551 edges, 2568 markings/sec, 40 secs
lola: 45724 markings, 75591 edges, 2565 markings/sec, 45 secs
lola: 58028 markings, 95920 edges, 2461 markings/sec, 50 secs
lola: 58966 markings, 97374 edges, 188 markings/sec, 55 secs
lola: 59744 markings, 98541 edges, 156 markings/sec, 60 secs
lola: 60522 markings, 99708 edges, 156 markings/sec, 65 secs
lola: 61302 markings, 100838 edges, 156 markings/sec, 70 secs
lola: 71326 markings, 116942 edges, 2005 markings/sec, 75 secs
lola: 84156 markings, 138562 edges, 2566 markings/sec, 80 secs
lola: 96988 markings, 160224 edges, 2566 markings/sec, 85 secs
lola: 109786 markings, 180782 edges, 2560 markings/sec, 90 secs
lola: 116804 markings, 192560 edges, 1404 markings/sec, 95 secs
lola: 117582 markings, 193727 edges, 156 markings/sec, 100 secs
lola: 118362 markings, 194897 edges, 156 markings/sec, 105 secs
lola: 119140 markings, 196064 edges, 156 markings/sec, 110 secs
lola: 122548 markings, 201078 edges, 682 markings/sec, 115 secs
lola: 135382 markings, 222524 edges, 2567 markings/sec, 120 secs
lola: 148206 markings, 244140 edges, 2565 markings/sec, 125 secs
lola: 160992 markings, 265015 edges, 2557 markings/sec, 130 secs
lola: 171984 markings, 283253 edges, 2198 markings/sec, 135 secs
lola: 172764 markings, 284423 edges, 156 markings/sec, 140 secs
lola: 173542 markings, 285590 edges, 156 markings/sec, 145 secs
lola: 174320 markings, 286757 edges, 156 markings/sec, 150 secs
lola: 175098 markings, 287836 edges, 156 markings/sec, 155 secs
lola: 186476 markings, 306300 edges, 2276 markings/sec, 160 secs
lola: 199252 markings, 327794 edges, 2555 markings/sec, 165 secs
lola: 212026 markings, 348913 edges, 2555 markings/sec, 170 secs
lola: 224282 markings, 369015 edges, 2451 markings/sec, 175 secs
lola: 225352 markings, 370739 edges, 214 markings/sec, 180 secs
lola: 226126 markings, 371900 edges, 155 markings/sec, 185 secs
lola: 226902 markings, 373064 edges, 155 markings/sec, 190 secs
lola: 227680 markings, 374201 edges, 156 markings/sec, 195 secs
lola: 237234 markings, 389528 edges, 1911 markings/sec, 200 secs
lola: 250028 markings, 411038 edges, 2559 markings/sec, 205 secs
lola: 262832 markings, 432124 edges, 2561 markings/sec, 210 secs
lola: 274668 markings, 451675 edges, 2367 markings/sec, 215 secs
lola: 275442 markings, 452836 edges, 155 markings/sec, 220 secs
lola: 276214 markings, 453994 edges, 154 markings/sec, 225 secs
lola: 276980 markings, 455143 edges, 153 markings/sec, 230 secs
lola: 277746 markings, 456250 edges, 153 markings/sec, 235 secs
lola: 287497 markings, 471898 edges, 1950 markings/sec, 240 secs
lola: 300166 markings, 493236 edges, 2534 markings/sec, 245 secs
lola: 312762 markings, 513735 edges, 2519 markings/sec, 250 secs
lola: 322278 markings, 529597 edges, 1903 markings/sec, 255 secs
lola: 323042 markings, 530743 edges, 153 markings/sec, 260 secs
lola: 323808 markings, 531892 edges, 153 markings/sec, 265 secs
lola: 324574 markings, 533041 edges, 153 markings/sec, 270 secs
lola: 325340 markings, 534086 edges, 153 markings/sec, 275 secs
lola: 336968 markings, 553025 edges, 2326 markings/sec, 280 secs
lola: 349570 markings, 574215 edges, 2520 markings/sec, 285 secs
lola: 362138 markings, 594450 edges, 2514 markings/sec, 290 secs
lola: 367530 markings, 603544 edges, 1078 markings/sec, 295 secs
lola: 368296 markings, 604693 edges, 153 markings/sec, 300 secs
lola: 369062 markings, 605842 edges, 153 markings/sec, 305 secs
lola: 369826 markings, 606988 edges, 153 markings/sec, 310 secs
lola: 373750 markings, 612888 edges, 785 markings/sec, 315 secs
lola: 386378 markings, 633977 edges, 2526 markings/sec, 320 secs
lola: 398994 markings, 654736 edges, 2523 markings/sec, 325 secs
lola: 409762 markings, 672540 edges, 2154 markings/sec, 330 secs
lola: 410536 markings, 673701 edges, 155 markings/sec, 335 secs
lola: 411310 markings, 674862 edges, 155 markings/sec, 340 secs
lola: 412084 markings, 676023 edges, 155 markings/sec, 345 secs
lola: 412860 markings, 677103 edges, 155 markings/sec, 350 secs
lola: 423968 markings, 695111 edges, 2222 markings/sec, 355 secs
lola: 436743 markings, 716603 edges, 2555 markings/sec, 360 secs
lola: 449136 markings, 736519 edges, 2479 markings/sec, 365 secs
lola: 450650 markings, 739116 edges, 303 markings/sec, 370 secs
lola: 451424 markings, 740277 edges, 155 markings/sec, 375 secs
lola: 452198 markings, 741438 edges, 155 markings/sec, 380 secs
lola: 452972 markings, 742588 edges, 155 markings/sec, 385 secs
lola: 461732 markings, 756558 edges, 1752 markings/sec, 390 secs
lola: 474496 markings, 777977 edges, 2553 markings/sec, 395 secs
lola: 486958 markings, 798009 edges, 2492 markings/sec, 400 secs
lola: 488656 markings, 800982 edges, 340 markings/sec, 405 secs
lola: 489432 markings, 802146 edges, 155 markings/sec, 410 secs
lola: 490206 markings, 803307 edges, 155 markings/sec, 415 secs
lola: 490982 markings, 804466 edges, 155 markings/sec, 420 secs
lola: 499550 markings, 818116 edges, 1714 markings/sec, 425 secs
lola: 512320 markings, 839538 edges, 2554 markings/sec, 430 secs
lola: 523872 markings, 858293 edges, 2310 markings/sec, 435 secs
lola: 524646 markings, 859454 edges, 155 markings/sec, 440 secs
lola: 525420 markings, 860615 edges, 155 markings/sec, 445 secs
lola: 526196 markings, 861779 edges, 155 markings/sec, 450 secs
lola: 526970 markings, 862876 edges, 155 markings/sec, 455 secs
lola: 537342 markings, 879671 edges, 2074 markings/sec, 460 secs
lola: 550096 markings, 900423 edges, 2551 markings/sec, 465 secs
lola: 557916 markings, 913493 edges, 1564 markings/sec, 470 secs
lola: 558690 markings, 914654 edges, 155 markings/sec, 475 secs
lola: 559466 markings, 915818 edges, 155 markings/sec, 480 secs
lola: 560240 markings, 916979 edges, 155 markings/sec, 485 secs
lola: 562356 markings, 919908 edges, 423 markings/sec, 490 secs
lola: 575116 markings, 941180 edges, 2552 markings/sec, 495 secs
lola: 587776 markings, 961319 edges, 2532 markings/sec, 500 secs
lola: 590096 markings, 965561 edges, 464 markings/sec, 505 secs
lola: 590870 markings, 966722 edges, 155 markings/sec, 510 secs
lola: 591646 markings, 967886 edges, 155 markings/sec, 515 secs
lola: 592420 markings, 969047 edges, 155 markings/sec, 520 secs
lola: 600124 markings, 981242 edges, 1541 markings/sec, 525 secs
lola: 612874 markings, 1002057 edges, 2550 markings/sec, 530 secs
lola: 619716 markings, 1013470 edges, 1368 markings/sec, 535 secs
lola: 620490 markings, 1014631 edges, 155 markings/sec, 540 secs
lola: 621266 markings, 1015795 edges, 155 markings/sec, 545 secs
lola: 622040 markings, 1016956 edges, 155 markings/sec, 550 secs
lola: 625102 markings, 1021445 edges, 612 markings/sec, 555 secs
lola: 637870 markings, 1042470 edges, 2554 markings/sec, 560 secs
lola: 647630 markings, 1058518 edges, 1952 markings/sec, 565 secs
lola: 648404 markings, 1059679 edges, 155 markings/sec, 570 secs
lola: 649178 markings, 1060840 edges, 155 markings/sec, 575 secs
lola: 649954 markings, 1062004 edges, 155 markings/sec, 580 secs
lola: 650728 markings, 1063042 edges, 155 markings/sec, 585 secs
lola: 662794 markings, 1082723 edges, 2413 markings/sec, 590 secs
lola: 673912 markings, 1100833 edges, 2224 markings/sec, 595 secs
lola: 674686 markings, 1101994 edges, 155 markings/sec, 600 secs
lola: 675462 markings, 1103158 edges, 155 markings/sec, 605 secs
lola: 676236 markings, 1104319 edges, 155 markings/sec, 610 secs
lola: 677010 markings, 1105401 edges, 155 markings/sec, 615 secs
lola: 687458 markings, 1122373 edges, 2090 markings/sec, 620 secs
lola: 698610 markings, 1140504 edges, 2230 markings/sec, 625 secs
lola: 699386 markings, 1141668 edges, 155 markings/sec, 630 secs
lola: 700164 markings, 1142835 edges, 156 markings/sec, 635 secs
lola: 700940 markings, 1143999 edges, 155 markings/sec, 640 secs
lola: 701720 markings, 1145096 edges, 156 markings/sec, 645 secs
lola: 712174 markings, 1162074 edges, 2091 markings/sec, 650 secs
lola: 721884 markings, 1177788 edges, 1942 markings/sec, 655 secs
lola: 722658 markings, 1178949 edges, 155 markings/sec, 660 secs
lola: 723418 markings, 1180089 edges, 152 markings/sec, 665 secs
lola: 724184 markings, 1181238 edges, 153 markings/sec, 670 secs
lola: 724954 markings, 1182282 edges, 154 markings/sec, 675 secs
lola: 736412 markings, 1200542 edges, 2292 markings/sec, 680 secs
lola: 743712 markings, 1212669 edges, 1460 markings/sec, 685 secs
lola: 744472 markings, 1213809 edges, 152 markings/sec, 690 secs
lola: 745236 markings, 1214955 edges, 153 markings/sec, 695 secs
lola: 745998 markings, 1216098 edges, 152 markings/sec, 700 secs
lola: 747608 markings, 1218242 edges, 322 markings/sec, 705 secs
lola: 760160 markings, 1238540 edges, 2510 markings/sec, 710 secs
lola: 764200 markings, 1245323 edges, 808 markings/sec, 715 secs
lola: 764974 markings, 1246484 edges, 155 markings/sec, 720 secs
lola: 765746 markings, 1247642 edges, 154 markings/sec, 725 secs
lola: 766504 markings, 1248779 edges, 152 markings/sec, 730 secs
lola: 771490 markings, 1256501 edges, 997 markings/sec, 735 secs
lola: 782704 markings, 1274801 edges, 2243 markings/sec, 740 secs
lola: 783464 markings, 1275941 edges, 152 markings/sec, 745 secs
lola: 784230 markings, 1277090 edges, 153 markings/sec, 750 secs
lola: 784996 markings, 1278239 edges, 153 markings/sec, 755 secs
lola: 785756 markings, 1279332 edges, 152 markings/sec, 760 secs
lola: 795052 markings, 1293888 edges, 1859 markings/sec, 765 secs
lola: 800800 markings, 1303484 edges, 1150 markings/sec, 770 secs
lola: 801568 markings, 1304636 edges, 154 markings/sec, 775 secs
lola: 802326 markings, 1305773 edges, 152 markings/sec, 780 secs
lola: 803078 markings, 1306901 edges, 150 markings/sec, 785 secs
lola: 805682 markings, 1310672 edges, 521 markings/sec, 790 secs
lola: 817028 markings, 1329200 edges, 2269 markings/sec, 795 secs
lola: 817786 markings, 1330337 edges, 152 markings/sec, 800 secs
lola: 818544 markings, 1331474 edges, 152 markings/sec, 805 secs
lola: 819306 markings, 1332617 edges, 152 markings/sec, 810 secs
lola: 820070 markings, 1333728 edges, 153 markings/sec, 815 secs
lola: 828982 markings, 1347605 edges, 1782 markings/sec, 820 secs
lola: 833038 markings, 1354440 edges, 811 markings/sec, 825 secs
lola: 833800 markings, 1355583 edges, 152 markings/sec, 830 secs
lola: 834562 markings, 1356726 edges, 152 markings/sec, 835 secs
lola: 835324 markings, 1357869 edges, 152 markings/sec, 840 secs
lola: 839979 markings, 1364958 edges, 931 markings/sec, 845 secs
lola: 847362 markings, 1377017 edges, 1477 markings/sec, 850 secs
lola: 848124 markings, 1378160 edges, 152 markings/sec, 855 secs
lola: 848884 markings, 1379300 edges, 152 markings/sec, 860 secs
lola: 849646 markings, 1380443 edges, 152 markings/sec, 865 secs
lola: 850928 markings, 1382094 edges, 256 markings/sec, 870 secs
lola: 860822 markings, 1398178 edges, 1979 markings/sec, 875 secs
lola: 861578 markings, 1399312 edges, 151 markings/sec, 880 secs
lola: 862330 markings, 1400440 edges, 150 markings/sec, 885 secs
lola: 863088 markings, 1401577 edges, 152 markings/sec, 890 secs
lola: 863862 markings, 1402653 edges, 155 markings/sec, 895 secs
lola: 873486 markings, 1418038 edges, 1925 markings/sec, 900 secs
lola: 874256 markings, 1419193 edges, 154 markings/sec, 905 secs
lola: 875028 markings, 1420351 edges, 154 markings/sec, 910 secs
lola: 875788 markings, 1421491 edges, 152 markings/sec, 915 secs
lola: 876560 markings, 1422601 edges, 154 markings/sec, 920 secs
lola: 885440 markings, 1436738 edges, 1776 markings/sec, 925 secs
lola: 886192 markings, 1437866 edges, 150 markings/sec, 930 secs
lola: 886940 markings, 1438988 edges, 150 markings/sec, 935 secs
lola: 887716 markings, 1440152 edges, 155 markings/sec, 940 secs
lola: 888482 markings, 1441285 edges, 153 markings/sec, 945 secs
lola: 896694 markings, 1454304 edges, 1642 markings/sec, 950 secs
lola: 897462 markings, 1455456 edges, 154 markings/sec, 955 secs
lola: 898238 markings, 1456620 edges, 155 markings/sec, 960 secs
lola: 899014 markings, 1457784 edges, 155 markings/sec, 965 secs
lola: 899792 markings, 1458910 edges, 156 markings/sec, 970 secs
lola: 907378 markings, 1470941 edges, 1517 markings/sec, 975 secs
lola: 908154 markings, 1472105 edges, 155 markings/sec, 980 secs
lola: 908926 markings, 1473263 edges, 154 markings/sec, 985 secs
lola: 909704 markings, 1474430 edges, 156 markings/sec, 990 secs
lola: 910482 markings, 1475506 edges, 156 markings/sec, 995 secs
lola: 917488 markings, 1486652 edges, 1401 markings/sec, 1000 secs
lola: 918264 markings, 1487816 edges, 155 markings/sec, 1005 secs
lola: 919042 markings, 1488983 edges, 156 markings/sec, 1010 secs
lola: 919820 markings, 1490150 edges, 156 markings/sec, 1015 secs
lola: 920948 markings, 1491589 edges, 226 markings/sec, 1020 secs
lola: 927062 markings, 1501502 edges, 1223 markings/sec, 1025 secs
lola: 927840 markings, 1502669 edges, 156 markings/sec, 1030 secs
lola: 928618 markings, 1503836 edges, 156 markings/sec, 1035 secs
lola: 929390 markings, 1504994 edges, 154 markings/sec, 1040 secs
lola: 932906 markings, 1510174 edges, 703 markings/sec, 1045 secs
lola: 936126 markings, 1515537 edges, 644 markings/sec, 1050 secs
lola: 936890 markings, 1516683 edges, 153 markings/sec, 1055 secs
lola: 937668 markings, 1517850 edges, 156 markings/sec, 1060 secs
lola: 938442 markings, 1519011 edges, 155 markings/sec, 1065 secs
lola: 943960 markings, 1527683 edges, 1104 markings/sec, 1070 secs
lola: 944738 markings, 1528850 edges, 156 markings/sec, 1075 secs
lola: 945514 markings, 1530014 edges, 155 markings/sec, 1080 secs
lola: 946288 markings, 1531175 edges, 155 markings/sec, 1085 secs
lola: 947064 markings, 1532277 edges, 155 markings/sec, 1090 secs
lola: 952166 markings, 1540348 edges, 1020 markings/sec, 1095 secs
lola: 952942 markings, 1541512 edges, 155 markings/sec, 1100 secs
lola: 953716 markings, 1542673 edges, 155 markings/sec, 1105 secs
lola: 954492 markings, 1543837 edges, 155 markings/sec, 1110 secs
lola: 956503 markings, 1546629 edges, 402 markings/sec, 1115 secs
lola: 959972 markings, 1552378 edges, 694 markings/sec, 1120 secs
lola: 960734 markings, 1553521 edges, 152 markings/sec, 1125 secs
lola: 961502 markings, 1554673 edges, 154 markings/sec, 1130 secs
lola: 962270 markings, 1555825 edges, 154 markings/sec, 1135 secs
lola: 966606 markings, 1562618 edges, 867 markings/sec, 1140 secs
lola: 967376 markings, 1563773 edges, 154 markings/sec, 1145 secs
lola: 968142 markings, 1564922 edges, 153 markings/sec, 1150 secs
lola: 968910 markings, 1566074 edges, 154 markings/sec, 1155 secs
lola: 969676 markings, 1567152 edges, 153 markings/sec, 1160 secs
lola: 973658 markings, 1573455 edges, 796 markings/sec, 1165 secs
lola: 974420 markings, 1574598 edges, 152 markings/sec, 1170 secs
lola: 975170 markings, 1575723 edges, 150 markings/sec, 1175 secs
lola: 975930 markings, 1576863 edges, 152 markings/sec, 1180 secs
lola: 977990 markings, 1579798 edges, 412 markings/sec, 1185 secs
lola: 980348 markings, 1583720 edges, 472 markings/sec, 1190 secs
lola: 981100 markings, 1584848 edges, 150 markings/sec, 1195 secs
lola: 981872 markings, 1586006 edges, 154 markings/sec, 1200 secs
lola: 982636 markings, 1587152 edges, 153 markings/sec, 1205 secs
lola: 985984 markings, 1592375 edges, 670 markings/sec, 1210 secs
lola: 986746 markings, 1593518 edges, 152 markings/sec, 1215 secs
lola: 987504 markings, 1594655 edges, 152 markings/sec, 1220 secs
lola: 988254 markings, 1595780 edges, 150 markings/sec, 1225 secs
lola: 989028 markings, 1596832 edges, 155 markings/sec, 1230 secs
lola: 992092 markings, 1601728 edges, 613 markings/sec, 1235 secs
lola: 992866 markings, 1602889 edges, 155 markings/sec, 1240 secs
lola: 993640 markings, 1604050 edges, 155 markings/sec, 1245 secs
lola: 994414 markings, 1605211 edges, 155 markings/sec, 1250 secs
lola: 997152 markings, 1609457 edges, 548 markings/sec, 1255 secs
lola: 997928 markings, 1610621 edges, 155 markings/sec, 1260 secs
lola: 998702 markings, 1611782 edges, 155 markings/sec, 1265 secs
lola: 999476 markings, 1612943 edges, 155 markings/sec, 1270 secs
lola: 1000252 markings, 1613982 edges, 155 markings/sec, 1275 secs
lola: 1002662 markings, 1617807 edges, 482 markings/sec, 1280 secs
lola: 1003434 markings, 1618965 edges, 154 markings/sec, 1285 secs
lola: 1004192 markings, 1620102 edges, 152 markings/sec, 1290 secs
lola: 1004966 markings, 1621263 edges, 155 markings/sec, 1295 secs
lola: 1007094 markings, 1624492 edges, 426 markings/sec, 1300 secs
lola: 1007872 markings, 1625659 edges, 156 markings/sec, 1305 secs
lola: 1008648 markings, 1626823 edges, 155 markings/sec, 1310 secs
lola: 1009416 markings, 1627975 edges, 154 markings/sec, 1315 secs
lola: 1010760 markings, 1629785 edges, 269 markings/sec, 1320 secs
lola: 1012058 markings, 1631932 edges, 260 markings/sec, 1325 secs
lola: 1012834 markings, 1633096 edges, 155 markings/sec, 1330 secs
lola: 1013608 markings, 1634257 edges, 155 markings/sec, 1335 secs
lola: 1014386 markings, 1635402 edges, 156 markings/sec, 1340 secs
lola: 1016040 markings, 1637860 edges, 331 markings/sec, 1345 secs
lola: 1016816 markings, 1639024 edges, 155 markings/sec, 1350 secs
lola: 1017592 markings, 1640188 edges, 155 markings/sec, 1355 secs
lola: 1018368 markings, 1641352 edges, 155 markings/sec, 1360 secs
lola: 1019826 markings, 1643458 edges, 292 markings/sec, 1365 secs
lola: 1020602 markings, 1644622 edges, 155 markings/sec, 1370 secs
lola: 1021378 markings, 1645786 edges, 155 markings/sec, 1375 secs
lola: 1022154 markings, 1646950 edges, 155 markings/sec, 1380 secs
lola: 1022932 markings, 1647977 edges, 156 markings/sec, 1385 secs
lola: 1024212 markings, 1649922 edges, 256 markings/sec, 1390 secs
lola: 1024988 markings, 1651086 edges, 155 markings/sec, 1395 secs
lola: 1025764 markings, 1652250 edges, 155 markings/sec, 1400 secs
lola: 1026540 markings, 1653402 edges, 155 markings/sec, 1405 secs
lola: 1027664 markings, 1654952 edges, 225 markings/sec, 1410 secs
lola: 1028440 markings, 1656116 edges, 155 markings/sec, 1415 secs
lola: 1029216 markings, 1657280 edges, 155 markings/sec, 1420 secs
lola: 1029992 markings, 1658444 edges, 155 markings/sec, 1425 secs
lola: 1030976 markings, 1659739 edges, 197 markings/sec, 1430 secs
lola: 1031752 markings, 1660903 edges, 155 markings/sec, 1435 secs
lola: 1032528 markings, 1662067 edges, 155 markings/sec, 1440 secs
lola: 1033304 markings, 1663231 edges, 155 markings/sec, 1445 secs
lola: 1034062 markings, 1664218 edges, 152 markings/sec, 1450 secs
lola: 1034894 markings, 1665423 edges, 166 markings/sec, 1455 secs
lola: 1035660 markings, 1666572 edges, 153 markings/sec, 1460 secs
lola: 1036436 markings, 1667736 edges, 155 markings/sec, 1465 secs
lola: 1037212 markings, 1668900 edges, 155 markings/sec, 1470 secs
lola: 1038018 markings, 1670247 edges, 161 markings/sec, 1475 secs
lola: 1038792 markings, 1671556 edges, 155 markings/sec, 1480 secs
lola: 1039530 markings, 1672821 edges, 148 markings/sec, 1485 secs
lola: 1040268 markings, 1674082 edges, 148 markings/sec, 1490 secs
lola: 1041006 markings, 1675341 edges, 148 markings/sec, 1495 secs
lola: 1041746 markings, 1676600 edges, 148 markings/sec, 1500 secs
lola: 1042482 markings, 1677849 edges, 147 markings/sec, 1505 secs
lola: 1043220 markings, 1679119 edges, 148 markings/sec, 1510 secs
lola: 1043922 markings, 1680327 edges, 140 markings/sec, 1515 secs
lola: 1044660 markings, 1681573 edges, 148 markings/sec, 1520 secs
lola: 1045396 markings, 1682836 edges, 147 markings/sec, 1525 secs
lola: 1046098 markings, 1684042 edges, 140 markings/sec, 1530 secs
lola: 1046834 markings, 1685279 edges, 147 markings/sec, 1535 secs
lola: 1047536 markings, 1686507 edges, 140 markings/sec, 1540 secs
lola: 1048272 markings, 1687741 edges, 147 markings/sec, 1545 secs
lola: 1048972 markings, 1688966 edges, 140 markings/sec, 1550 secs
lola: 1049710 markings, 1690201 edges, 148 markings/sec, 1555 secs
lola: 1050410 markings, 1691426 edges, 140 markings/sec, 1560 secs
lola: 1051148 markings, 1692657 edges, 148 markings/sec, 1565 secs
lola: 1051848 markings, 1693882 edges, 140 markings/sec, 1570 secs
lola: 1052578 markings, 1695097 edges, 146 markings/sec, 1575 secs
lola: 1053280 markings, 1696325 edges, 140 markings/sec, 1580 secs
lola: 1054018 markings, 1697551 edges, 148 markings/sec, 1585 secs
lola: 1054720 markings, 1698779 edges, 140 markings/sec, 1590 secs
lola: 1055418 markings, 1700009 edges, 140 markings/sec, 1595 secs
lola: 1056160 markings, 1701230 edges, 148 markings/sec, 1600 secs
lola: 1056862 markings, 1702459 edges, 140 markings/sec, 1605 secs
lola: 1057590 markings, 1703661 edges, 146 markings/sec, 1610 secs
lola: 1058290 markings, 1704886 edges, 140 markings/sec, 1615 secs
lola: 1058990 markings, 1706111 edges, 140 markings/sec, 1620 secs
lola: 1059720 markings, 1707313 edges, 146 markings/sec, 1625 secs
lola: 1060424 markings, 1708545 edges, 141 markings/sec, 1630 secs
lola: 1061160 markings, 1709836 edges, 147 markings/sec, 1635 secs
lola: 1061858 markings, 1710977 edges, 140 markings/sec, 1640 secs
lola: 1062550 markings, 1712188 edges, 138 markings/sec, 1645 secs
lola: 1063284 markings, 1713455 edges, 147 markings/sec, 1650 secs
lola: 1063982 markings, 1714613 edges, 140 markings/sec, 1655 secs
lola: 1064686 markings, 1715845 edges, 141 markings/sec, 1660 secs
lola: 1065422 markings, 1717114 edges, 147 markings/sec, 1665 secs
lola: 1066126 markings, 1718281 edges, 141 markings/sec, 1670 secs
lola: 1066830 markings, 1719513 edges, 141 markings/sec, 1675 secs
lola: 1067556 markings, 1720786 edges, 145 markings/sec, 1680 secs
lola: 1068264 markings, 1721935 edges, 142 markings/sec, 1685 secs
lola: 1068966 markings, 1723164 edges, 140 markings/sec, 1690 secs
lola: 1069654 markings, 1724368 edges, 138 markings/sec, 1695 secs
lola: 1070394 markings, 1725573 edges, 148 markings/sec, 1700 secs
lola: 1071094 markings, 1726798 edges, 140 markings/sec, 1705 secs
lola: 1071786 markings, 1728009 edges, 138 markings/sec, 1710 secs
lola: 1072524 markings, 1729207 edges, 148 markings/sec, 1715 secs
lola: 1073226 markings, 1730436 edges, 140 markings/sec, 1720 secs
lola: 1073926 markings, 1731661 edges, 140 markings/sec, 1725 secs
lola: 1074622 markings, 1732883 edges, 139 markings/sec, 1730 secs
lola: 1075366 markings, 1734085 edges, 149 markings/sec, 1735 secs
lola: 1076070 markings, 1735317 edges, 141 markings/sec, 1740 secs
lola: 1076772 markings, 1736544 edges, 140 markings/sec, 1745 secs
lola: 1077508 markings, 1737750 edges, 147 markings/sec, 1750 secs
lola: 1078212 markings, 1738966 edges, 141 markings/sec, 1755 secs
lola: 1078914 markings, 1740195 edges, 140 markings/sec, 1760 secs
lola: 1079616 markings, 1741422 edges, 140 markings/sec, 1765 secs
lola: 1080358 markings, 1742635 edges, 148 markings/sec, 1770 secs
lola: 1081060 markings, 1743863 edges, 140 markings/sec, 1775 secs
lola: 1081762 markings, 1745093 edges, 140 markings/sec, 1780 secs
lola: 1082498 markings, 1746356 edges, 147 markings/sec, 1785 secs
lola: 1083204 markings, 1747528 edges, 141 markings/sec, 1790 secs
lola: 1083906 markings, 1748757 edges, 140 markings/sec, 1795 secs
lola: 1084606 markings, 1749981 edges, 140 markings/sec, 1800 secs
lola: 1085346 markings, 1751186 edges, 148 markings/sec, 1805 secs
lola: 1086046 markings, 1752412 edges, 140 markings/sec, 1810 secs
lola: 1086748 markings, 1753640 edges, 140 markings/sec, 1815 secs
lola: 1087484 markings, 1754851 edges, 147 markings/sec, 1820 secs
lola: 1088190 markings, 1756072 edges, 141 markings/sec, 1825 secs
lola: 1088892 markings, 1757300 edges, 140 markings/sec, 1830 secs
lola: 1089624 markings, 1758582 edges, 146 markings/sec, 1835 secs
lola: 1090328 markings, 1759719 edges, 141 markings/sec, 1840 secs
lola: 1091028 markings, 1760944 edges, 140 markings/sec, 1845 secs
lola: 1091728 markings, 1762169 edges, 140 markings/sec, 1850 secs
lola: 1092450 markings, 1763337 edges, 144 markings/sec, 1855 secs
lola: 1093152 markings, 1764565 edges, 140 markings/sec, 1860 secs
lola: 1093856 markings, 1765797 edges, 141 markings/sec, 1865 secs
lola: 1094588 markings, 1766980 edges, 146 markings/sec, 1870 secs
lola: 1095292 markings, 1768211 edges, 141 markings/sec, 1875 secs
lola: 1095992 markings, 1769431 edges, 140 markings/sec, 1880 secs
lola: 1096726 markings, 1770622 edges, 147 markings/sec, 1885 secs
lola: 1097430 markings, 1771854 edges, 141 markings/sec, 1890 secs
lola: 1098154 markings, 1773092 edges, 145 markings/sec, 1895 secs
lola: 1098864 markings, 1774261 edges, 142 markings/sec, 1900 secs
lola: 1099566 markings, 1775490 edges, 140 markings/sec, 1905 secs
lola: 1100292 markings, 1776653 edges, 145 markings/sec, 1910 secs
lola: 1100998 markings, 1777892 edges, 141 markings/sec, 1915 secs
lola: 1101718 markings, 1779131 edges, 144 markings/sec, 1920 secs
lola: 1102426 markings, 1780285 edges, 142 markings/sec, 1925 secs
lola: 1103130 markings, 1781517 edges, 141 markings/sec, 1930 secs
lola: 1103856 markings, 1782679 edges, 145 markings/sec, 1935 secs
lola: 1104558 markings, 1783908 edges, 140 markings/sec, 1940 secs
lola: 1105276 markings, 1785054 edges, 144 markings/sec, 1945 secs
lola: 1105978 markings, 1786283 edges, 140 markings/sec, 1950 secs
lola: 1106698 markings, 1787431 edges, 144 markings/sec, 1955 secs
lola: 1107416 markings, 1788611 edges, 144 markings/sec, 1960 secs
lola: 1108120 markings, 1789805 edges, 141 markings/sec, 1965 secs
lola: 1108840 markings, 1790949 edges, 144 markings/sec, 1970 secs
lola: 1109558 markings, 1792088 edges, 144 markings/sec, 1975 secs
lola: 1110276 markings, 1793208 edges, 144 markings/sec, 1980 secs
lola: 1111898 markings, 1795813 edges, 324 markings/sec, 1985 secs
lola: 1115336 markings, 1801351 edges, 688 markings/sec, 1990 secs
lola: 1117732 markings, 1804989 edges, 479 markings/sec, 1995 secs
lola: 1119618 markings, 1807703 edges, 377 markings/sec, 2000 secs
lola: 1120526 markings, 1808969 edges, 182 markings/sec, 2005 secs
lola: 1121246 markings, 1810182 edges, 144 markings/sec, 2010 secs
lola: 1121964 markings, 1811415 edges, 144 markings/sec, 2015 secs
lola: 1122680 markings, 1812654 edges, 143 markings/sec, 2020 secs
lola: 1123400 markings, 1813887 edges, 144 markings/sec, 2025 secs
lola: 1124110 markings, 1815084 edges, 142 markings/sec, 2030 secs
lola: 1124826 markings, 1816297 edges, 143 markings/sec, 2035 secs
lola: 1125544 markings, 1817515 edges, 144 markings/sec, 2040 secs
lola: 1126264 markings, 1818733 edges, 144 markings/sec, 2045 secs
lola: 1126978 markings, 1819986 edges, 143 markings/sec, 2050 secs
lola: 1127698 markings, 1821197 edges, 144 markings/sec, 2055 secs
lola: 1128414 markings, 1822402 edges, 143 markings/sec, 2060 secs
lola: 1129130 markings, 1823655 edges, 143 markings/sec, 2065 secs
lola: 1129850 markings, 1824864 edges, 144 markings/sec, 2070 secs
lola: 1130566 markings, 1826117 edges, 143 markings/sec, 2075 secs
lola: 1131284 markings, 1827320 edges, 144 markings/sec, 2080 secs
lola: 1131996 markings, 1828574 edges, 142 markings/sec, 2085 secs
lola: 1132718 markings, 1829772 edges, 144 markings/sec, 2090 secs
lola: 1133432 markings, 1831024 edges, 143 markings/sec, 2095 secs
lola: 1134152 markings, 1832222 edges, 144 markings/sec, 2100 secs
lola: 1134868 markings, 1833475 edges, 143 markings/sec, 2105 secs
lola: 1135586 markings, 1834668 edges, 144 markings/sec, 2110 secs
lola: 1136302 markings, 1835921 edges, 143 markings/sec, 2115 secs
lola: 1137024 markings, 1837119 edges, 144 markings/sec, 2120 secs
lola: 1137738 markings, 1838368 edges, 143 markings/sec, 2125 secs
lola: 1138454 markings, 1839624 edges, 143 markings/sec, 2130 secs
lola: 1139164 markings, 1840795 edges, 142 markings/sec, 2135 secs
lola: 1139880 markings, 1842048 edges, 143 markings/sec, 2140 secs
lola: 1140600 markings, 1843236 edges, 144 markings/sec, 2145 secs
lola: 1141318 markings, 1844492 edges, 144 markings/sec, 2150 secs
lola: 1142030 markings, 1845746 edges, 142 markings/sec, 2155 secs
lola: 1142754 markings, 1846930 edges, 145 markings/sec, 2160 secs
lola: 1143470 markings, 1848183 edges, 143 markings/sec, 2165 secs
lola: 1144186 markings, 1849415 edges, 143 markings/sec, 2170 secs
lola: 1144898 markings, 1850604 edges, 142 markings/sec, 2175 secs
lola: 1145612 markings, 1851854 edges, 143 markings/sec, 2180 secs
lola: 1146328 markings, 1853047 edges, 143 markings/sec, 2185 secs
lola: 1147044 markings, 1854279 edges, 143 markings/sec, 2190 secs
lola: 1147760 markings, 1855532 edges, 143 markings/sec, 2195 secs
lola: 1148478 markings, 1856722 edges, 144 markings/sec, 2200 secs
lola: 1149186 markings, 1857943 edges, 142 markings/sec, 2205 secs
lola: 1149890 markings, 1859175 edges, 141 markings/sec, 2210 secs
lola: 1150606 markings, 1860399 edges, 143 markings/sec, 2215 secs
lola: 1151324 markings, 1861598 edges, 144 markings/sec, 2220 secs
lola: 1152038 markings, 1862847 edges, 143 markings/sec, 2225 secs
lola: 1152746 markings, 1864086 edges, 142 markings/sec, 2230 secs
lola: 1153470 markings, 1865263 edges, 145 markings/sec, 2235 secs
lola: 1154174 markings, 1866495 edges, 141 markings/sec, 2240 secs
lola: 1154886 markings, 1867741 edges, 142 markings/sec, 2245 secs
lola: 1155598 markings, 1868894 edges, 142 markings/sec, 2250 secs
lola: 1156314 markings, 1870147 edges, 143 markings/sec, 2255 secs
lola: 1157030 markings, 1871400 edges, 143 markings/sec, 2260 secs
lola: 1157746 markings, 1872629 edges, 143 markings/sec, 2265 secs
lola: 1158466 markings, 1873816 edges, 144 markings/sec, 2270 secs
lola: 1159182 markings, 1875070 edges, 143 markings/sec, 2275 secs
lola: 1159898 markings, 1876323 edges, 143 markings/sec, 2280 secs
lola: 1160618 markings, 1877484 edges, 144 markings/sec, 2285 secs
lola: 1161334 markings, 1878737 edges, 143 markings/sec, 2290 secs
lola: 1162050 markings, 1879990 edges, 143 markings/sec, 2295 secs
lola: 1162768 markings, 1881264 edges, 144 markings/sec, 2300 secs
lola: 1163490 markings, 1882424 edges, 144 markings/sec, 2305 secs
lola: 1164206 markings, 1883677 edges, 143 markings/sec, 2310 secs
lola: 1164922 markings, 1884930 edges, 143 markings/sec, 2315 secs
lola: 1165646 markings, 1886109 edges, 145 markings/sec, 2320 secs
lola: 1166360 markings, 1887359 edges, 143 markings/sec, 2325 secs
lola: 1167074 markings, 1888608 edges, 143 markings/sec, 2330 secs
lola: 1167794 markings, 1889877 edges, 144 markings/sec, 2335 secs
lola: 1168516 markings, 1891042 edges, 144 markings/sec, 2340 secs
lola: 1169234 markings, 1892298 edges, 144 markings/sec, 2345 secs
lola: 1169948 markings, 1893546 edges, 143 markings/sec, 2350 secs
lola: 1170672 markings, 1894723 edges, 145 markings/sec, 2355 secs
lola: 1171386 markings, 1895972 edges, 143 markings/sec, 2360 secs
lola: 1172102 markings, 1897225 edges, 143 markings/sec, 2365 secs
lola: 1172824 markings, 1898395 edges, 144 markings/sec, 2370 secs
lola: 1173538 markings, 1899644 edges, 143 markings/sec, 2375 secs
lola: 1174252 markings, 1900894 edges, 143 markings/sec, 2380 secs
lola: 1174970 markings, 1902090 edges, 144 markings/sec, 2385 secs
lola: 1175686 markings, 1903307 edges, 143 markings/sec, 2390 secs
lola: 1176400 markings, 1904557 edges, 143 markings/sec, 2395 secs
lola: 1177120 markings, 1905762 edges, 144 markings/sec, 2400 secs
lola: 1177836 markings, 1906972 edges, 143 markings/sec, 2405 secs
lola: 1178550 markings, 1908221 edges, 143 markings/sec, 2410 secs
lola: 1179270 markings, 1909388 edges, 144 markings/sec, 2415 secs
lola: 1179986 markings, 1910633 edges, 143 markings/sec, 2420 secs
lola: 1180700 markings, 1911884 edges, 143 markings/sec, 2425 secs
lola: 1181422 markings, 1913045 edges, 144 markings/sec, 2430 secs
lola: 1182136 markings, 1914290 edges, 143 markings/sec, 2435 secs
lola: 1182854 markings, 1915553 edges, 144 markings/sec, 2440 secs
lola: 1183574 markings, 1916704 edges, 144 markings/sec, 2445 secs
lola: 1184290 markings, 1917960 edges, 143 markings/sec, 2450 secs
lola: 1185012 markings, 1919118 edges, 144 markings/sec, 2455 secs
lola: 1185726 markings, 1920366 edges, 143 markings/sec, 2460 secs
lola: 1186444 markings, 1921524 edges, 144 markings/sec, 2465 secs
lola: 1187150 markings, 1922751 edges, 141 markings/sec, 2470 secs
lola: 1187872 markings, 1923931 edges, 144 markings/sec, 2475 secs
lola: 1188582 markings, 1925147 edges, 142 markings/sec, 2480 secs
lola: 1189306 markings, 1926302 edges, 145 markings/sec, 2485 secs
lola: 1190022 markings, 1927555 edges, 143 markings/sec, 2490 secs
lola: 1190746 markings, 1928708 edges, 145 markings/sec, 2495 secs
lola: 1191470 markings, 1929859 edges, 145 markings/sec, 2500 secs
lola: 1192190 markings, 1931049 edges, 144 markings/sec, 2505 secs
lola: 1192916 markings, 1932177 edges, 145 markings/sec, 2510 secs
lola: 1195098 markings, 1937981 edges, 436 markings/sec, 2515 secs
lola: 1201602 markings, 1959679 edges, 1301 markings/sec, 2520 secs
lola: 1208111 markings, 1981606 edges, 1302 markings/sec, 2525 secs
lola: 1214623 markings, 2003668 edges, 1302 markings/sec, 2530 secs
lola: 1220218 markings, 2021031 edges, 1119 markings/sec, 2535 secs
lola: 1222540 markings, 2025269 edges, 464 markings/sec, 2540 secs
lola: 1223768 markings, 2027300 edges, 246 markings/sec, 2545 secs
lola: 1224872 markings, 2029140 edges, 221 markings/sec, 2550 secs
lola: 1225782 markings, 2030557 edges, 182 markings/sec, 2555 secs
lola: 1226592 markings, 2031754 edges, 162 markings/sec, 2560 secs
lola: 1228317 markings, 2036995 edges, 345 markings/sec, 2565 secs
lola: 1228977 markings, 2038735 edges, 132 markings/sec, 2570 secs
lola: 1229366 markings, 2039902 edges, 78 markings/sec, 2575 secs
lola: 1229754 markings, 2041066 edges, 78 markings/sec, 2580 secs
lola: 1230143 markings, 2042233 edges, 78 markings/sec, 2585 secs
lola: 1230722 markings, 2043103 edges, 116 markings/sec, 2590 secs
lola: 1231454 markings, 2044299 edges, 146 markings/sec, 2595 secs
lola: 1232172 markings, 2045517 edges, 144 markings/sec, 2600 secs
lola: 1232898 markings, 2046740 edges, 145 markings/sec, 2605 secs
lola: 1233616 markings, 2047956 edges, 144 markings/sec, 2610 secs
lola: 1234336 markings, 2049183 edges, 144 markings/sec, 2615 secs
lola: 1235044 markings, 2050392 edges, 142 markings/sec, 2620 secs
lola: 1235760 markings, 2051654 edges, 143 markings/sec, 2625 secs
lola: 1236476 markings, 2052853 edges, 143 markings/sec, 2630 secs
lola: 1237192 markings, 2054064 edges, 143 markings/sec, 2635 secs
lola: 1237908 markings, 2055290 edges, 143 markings/sec, 2640 secs
lola: 1238616 markings, 2056511 edges, 142 markings/sec, 2645 secs
lola: 1239326 markings, 2057706 edges, 142 markings/sec, 2650 secs
lola: 1240030 markings, 2058947 edges, 141 markings/sec, 2655 secs
lola: 1240732 markings, 2060115 edges, 140 markings/sec, 2660 secs
lola: 1241432 markings, 2061343 edges, 140 markings/sec, 2665 secs
lola: 1242150 markings, 2062543 edges, 144 markings/sec, 2670 secs
lola: 1242868 markings, 2063786 edges, 144 markings/sec, 2675 secs
lola: 1243586 markings, 2064999 edges, 144 markings/sec, 2680 secs
lola: 1244304 markings, 2066248 edges, 144 markings/sec, 2685 secs
lola: 1245020 markings, 2067448 edges, 143 markings/sec, 2690 secs
lola: 1245732 markings, 2068697 edges, 142 markings/sec, 2695 secs
lola: 1246456 markings, 2069898 edges, 145 markings/sec, 2700 secs
lola: 1247172 markings, 2071151 edges, 143 markings/sec, 2705 secs
lola: 1247892 markings, 2072345 edges, 144 markings/sec, 2710 secs
lola: 1248608 markings, 2073598 edges, 143 markings/sec, 2715 secs
lola: 1249326 markings, 2074799 edges, 144 markings/sec, 2720 secs
lola: 1250030 markings, 2076018 edges, 141 markings/sec, 2725 secs
lola: 1250744 markings, 2077267 edges, 143 markings/sec, 2730 secs
lola: 1251454 markings, 2078438 edges, 142 markings/sec, 2735 secs
lola: 1252166 markings, 2079684 edges, 142 markings/sec, 2740 secs
lola: 1252884 markings, 2080928 edges, 144 markings/sec, 2745 secs
lola: 1253584 markings, 2082090 edges, 140 markings/sec, 2750 secs
lola: 1254288 markings, 2083322 edges, 141 markings/sec, 2755 secs
lola: 1254996 markings, 2084494 edges, 142 markings/sec, 2760 secs
lola: 1255700 markings, 2085715 edges, 141 markings/sec, 2765 secs
lola: 1256402 markings, 2086944 edges, 140 markings/sec, 2770 secs
lola: 1257108 markings, 2088098 edges, 141 markings/sec, 2775 secs
lola: 1257826 markings, 2089355 edges, 144 markings/sec, 2780 secs
lola: 1258528 markings, 2090583 edges, 140 markings/sec, 2785 secs
lola: 1259238 markings, 2091742 edges, 142 markings/sec, 2790 secs
lola: 1259954 markings, 2092995 edges, 143 markings/sec, 2795 secs
lola: 1260672 markings, 2094251 edges, 144 markings/sec, 2800 secs
lola: 1261390 markings, 2095442 edges, 144 markings/sec, 2805 secs
lola: 1262086 markings, 2096639 edges, 139 markings/sec, 2810 secs
lola: 1262794 markings, 2097878 edges, 142 markings/sec, 2815 secs
lola: 1263506 markings, 2099122 edges, 142 markings/sec, 2820 secs
lola: 1264226 markings, 2100294 edges, 144 markings/sec, 2825 secs
lola: 1264942 markings, 2101547 edges, 143 markings/sec, 2830 secs
lola: 1265656 markings, 2102796 edges, 143 markings/sec, 2835 secs
lola: 1266376 markings, 2103963 edges, 144 markings/sec, 2840 secs
lola: 1267090 markings, 2105213 edges, 143 markings/sec, 2845 secs
lola: 1267806 markings, 2106466 edges, 143 markings/sec, 2850 secs
lola: 1268522 markings, 2107663 edges, 143 markings/sec, 2855 secs
lola: 1269240 markings, 2108879 edges, 144 markings/sec, 2860 secs
lola: 1269956 markings, 2110131 edges, 143 markings/sec, 2865 secs
lola: 1270672 markings, 2111385 edges, 143 markings/sec, 2870 secs
lola: 1271394 markings, 2112565 edges, 144 markings/sec, 2875 secs
lola: 1272110 markings, 2113818 edges, 143 markings/sec, 2880 secs
lola: 1272826 markings, 2115071 edges, 143 markings/sec, 2885 secs
lola: 1273548 markings, 2116253 edges, 144 markings/sec, 2890 secs
lola: 1274264 markings, 2117500 edges, 143 markings/sec, 2895 secs
lola: 1274980 markings, 2118754 edges, 143 markings/sec, 2900 secs
lola: 1275698 markings, 2120022 edges, 144 markings/sec, 2905 secs
lola: 1276420 markings, 2121188 edges, 144 markings/sec, 2910 secs
lola: 1277134 markings, 2122437 edges, 143 markings/sec, 2915 secs
lola: 1277850 markings, 2123690 edges, 143 markings/sec, 2920 secs
lola: 1278574 markings, 2124868 edges, 145 markings/sec, 2925 secs
lola: 1279288 markings, 2126117 edges, 143 markings/sec, 2930 secs
lola: 1280004 markings, 2127370 edges, 143 markings/sec, 2935 secs
lola: 1280728 markings, 2128546 edges, 145 markings/sec, 2940 secs
lola: 1281444 markings, 2129799 edges, 143 markings/sec, 2945 secs
lola: 1282160 markings, 2131052 edges, 143 markings/sec, 2950 secs
lola: 1282882 markings, 2132218 edges, 144 markings/sec, 2955 secs
lola: 1283598 markings, 2133475 edges, 143 markings/sec, 2960 secs
lola: 1284316 markings, 2134731 edges, 144 markings/sec, 2965 secs
lola: 1285040 markings, 2135903 edges, 145 markings/sec, 2970 secs
lola: 1285754 markings, 2137152 edges, 143 markings/sec, 2975 secs
lola: 1286470 markings, 2138405 edges, 143 markings/sec, 2980 secs
lola: 1287192 markings, 2139571 edges, 144 markings/sec, 2985 secs
lola: 1287908 markings, 2140824 edges, 143 markings/sec, 2990 secs
lola: 1288626 markings, 2142057 edges, 144 markings/sec, 2995 secs
lola: 1289346 markings, 2143241 edges, 144 markings/sec, 3000 secs
lola: 1290062 markings, 2144494 edges, 143 markings/sec, 3005 secs
lola: 1290786 markings, 2145660 edges, 145 markings/sec, 3010 secs
lola: 1291500 markings, 2146902 edges, 143 markings/sec, 3015 secs
lola: 1292224 markings, 2148109 edges, 145 markings/sec, 3020 secs
lola: 1292942 markings, 2149328 edges, 144 markings/sec, 3025 secs
lola: 1293660 markings, 2150573 edges, 144 markings/sec, 3030 secs
lola: 1294382 markings, 2151744 edges, 144 markings/sec, 3035 secs
lola: 1295100 markings, 2152984 edges, 144 markings/sec, 3040 secs
lola: 1295820 markings, 2154153 edges, 144 markings/sec, 3045 secs
lola: 1296542 markings, 2155338 edges, 144 markings/sec, 3050 secs
lola: 1297256 markings, 2156556 edges, 143 markings/sec, 3055 secs
lola: 1297972 markings, 2157698 edges, 143 markings/sec, 3060 secs
lola: 1298686 markings, 2158865 edges, 143 markings/sec, 3065 secs
lola: 1299400 markings, 2160048 edges, 143 markings/sec, 3070 secs
lola: 1300120 markings, 2161164 edges, 144 markings/sec, 3075 secs
lola: 1301788 markings, 2165173 edges, 334 markings/sec, 3080 secs
lola: 1308348 markings, 2187047 edges, 1312 markings/sec, 3085 secs
lola: 1314908 markings, 2209181 edges, 1312 markings/sec, 3090 secs
lola: 1321468 markings, 2230962 edges, 1312 markings/sec, 3095 secs
lola: 1326230 markings, 2245623 edges, 952 markings/sec, 3100 secs
lola: 1328651 markings, 2250028 edges, 484 markings/sec, 3105 secs
lola: 1329747 markings, 2251825 edges, 219 markings/sec, 3110 secs
lola: 1330839 markings, 2253645 edges, 218 markings/sec, 3115 secs
lola: 1331681 markings, 2254920 edges, 168 markings/sec, 3120 secs
lola: 1332483 markings, 2256105 edges, 160 markings/sec, 3125 secs
lola: 1334248 markings, 2261569 edges, 353 markings/sec, 3130 secs
lola: 1334740 markings, 2262974 edges, 98 markings/sec, 3135 secs
lola: 1335123 markings, 2264123 edges, 77 markings/sec, 3140 secs
lola: 1335506 markings, 2265272 edges, 77 markings/sec, 3145 secs
lola: 1335890 markings, 2266404 edges, 77 markings/sec, 3150 secs
lola: 1336522 markings, 2267260 edges, 126 markings/sec, 3155 secs
lola: 1337238 markings, 2268451 edges, 143 markings/sec, 3160 secs
lola: 1337954 markings, 2269687 edges, 143 markings/sec, 3165 secs
lola: 1338672 markings, 2270888 edges, 144 markings/sec, 3170 secs
lola: 1339388 markings, 2272111 edges, 143 markings/sec, 3175 secs
lola: 1340106 markings, 2273335 edges, 144 markings/sec, 3180 secs
lola: 1340824 markings, 2274555 edges, 144 markings/sec, 3185 secs
lola: 1341542 markings, 2275799 edges, 144 markings/sec, 3190 secs
lola: 1342254 markings, 2277019 edges, 142 markings/sec, 3195 secs
lola: 1342972 markings, 2278233 edges, 144 markings/sec, 3200 secs
lola: 1343690 markings, 2279445 edges, 144 markings/sec, 3205 secs
lola: 1344404 markings, 2280694 edges, 143 markings/sec, 3210 secs
lola: 1345122 markings, 2281903 edges, 144 markings/sec, 3215 secs
lola: 1345842 markings, 2283157 edges, 144 markings/sec, 3220 secs
lola: 1346556 markings, 2284361 edges, 143 markings/sec, 3225 secs
lola: 1347274 markings, 2285564 edges, 144 markings/sec, 3230 secs
lola: 1347990 markings, 2286817 edges, 143 markings/sec, 3235 secs
lola: 1348708 markings, 2288016 edges, 144 markings/sec, 3240 secs
lola: 1349422 markings, 2289266 edges, 143 markings/sec, 3245 secs
lola: 1350140 markings, 2290462 edges, 144 markings/sec, 3250 secs
lola: 1350854 markings, 2291712 edges, 143 markings/sec, 3255 secs
lola: 1351562 markings, 2292933 edges, 142 markings/sec, 3260 secs
lola: 1352278 markings, 2294141 edges, 143 markings/sec, 3265 secs
lola: 1352990 markings, 2295393 edges, 142 markings/sec, 3270 secs
lola: 1353712 markings, 2296584 edges, 144 markings/sec, 3275 secs
lola: 1354426 markings, 2297834 edges, 143 markings/sec, 3280 secs
lola: 1355146 markings, 2299025 edges, 144 markings/sec, 3285 secs
lola: 1355862 markings, 2300278 edges, 143 markings/sec, 3290 secs
lola: 1356562 markings, 2301505 edges, 140 markings/sec, 3295 secs
lola: 1357278 markings, 2302684 edges, 143 markings/sec, 3300 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown 1 20 1 50 50 50 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 unknown 1 20 1 50 50 50 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown 1 20 1 50 50 50 1 1 1 1 1 1 1 1
lola: memory consumption: 153584 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown 1 20 1 50 50 50 1 1 1 1 1 1 1 1
lola: memory consumption: 153584 KB
lola: time consumption: 3570 seconds

BK_STOP 1526575703872

--------------------
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-PT-V50P20N50"
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-PT-V50P20N50.tgz
mv BridgeAndVehicles-PT-V50P20N50 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-PT-V50P20N50, 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-152646306400324"
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 ;