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 2.3M
-rw-r--r-- 1 mcc users 8.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 34K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 69K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 205K 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 4.9K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 19K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 56K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 31K 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 72K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 216K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.3K 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 1.5M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BridgeAndVehicles-PT-V50P20N10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306300310
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526568415620

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-PT-V50P20N10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-PT-V50P20N10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-PT-V50P20N10 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1456/65536 symbol table entries, 11 collisions
lola: preprocessing...
lola: Size of bit vector: 4096
lola: finding significant places
lola: 128 places, 1328 transitions, 121 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1653 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-PT-V50P20N10-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (COMPTEUR_10 + COMPTEUR_0 + COMPTEUR_1 + COMPTEUR_2 + COMPTEUR_3 + COMPTEUR_4 + COMPTEUR_5 + COMPTEUR_6 + COMPTEUR_7 + COMPTEUR_8 + COMPTEUR_9 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(VIDANGE_1 + VIDANGE_2) : MAX(SUR_PONT_B) : MAX(0) : MAX(CHOIX_1 + CHOIX_2) : MAX(0) : MAX(CONTROLEUR_1 + CONTROLEUR_2) : MAX(ROUTE_A) : MAX(ATTENTE_A) : MAX(NB_ATTENTE_A_1) : MAX(NB_ATTENTE_A_8) : MAX(NB_ATTENTE_A_41) : MAX(NB_ATTENTE_A_9) : MAX(NB_ATTENTE_A_47) : MAX(ATTENTE_A) : MAX(NB_ATTENTE_B_6) : MAX(NB_ATTENTE_B_10)
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-V50P20N10-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-V50P20N10-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-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-PT-V50P20N10-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 2 will run for 254 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-V50P20N10-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: 17120 markings, 32481 edges, 3424 markings/sec, 0 secs
lola: 34259 markings, 68027 edges, 3428 markings/sec, 5 secs
lola: 52233 markings, 113000 edges, 3595 markings/sec, 10 secs
lola: 67888 markings, 148246 edges, 3131 markings/sec, 15 secs
lola: 85895 markings, 192325 edges, 3601 markings/sec, 20 secs
lola: 102175 markings, 229763 edges, 3256 markings/sec, 25 secs
lola: 119838 markings, 271598 edges, 3533 markings/sec, 30 secs
lola: 137581 markings, 314558 edges, 3549 markings/sec, 35 secs
lola: 153376 markings, 349761 edges, 3159 markings/sec, 40 secs
lola: 172074 markings, 395457 edges, 3740 markings/sec, 45 secs
lola: 188259 markings, 433110 edges, 3237 markings/sec, 50 secs
lola: 205329 markings, 472594 edges, 3414 markings/sec, 55 secs
lola: 223486 markings, 516642 edges, 3631 markings/sec, 60 secs
lola: 239848 markings, 555150 edges, 3272 markings/sec, 65 secs
lola: 256533 markings, 593063 edges, 3337 markings/sec, 70 secs
lola: 274713 markings, 636634 edges, 3636 markings/sec, 75 secs
lola: 292334 markings, 678797 edges, 3524 markings/sec, 80 secs
lola: 307886 markings, 711827 edges, 3110 markings/sec, 85 secs
lola: 323667 markings, 743857 edges, 3156 markings/sec, 90 secs
lola: 339399 markings, 776860 edges, 3146 markings/sec, 95 secs
lola: 357807 markings, 824382 edges, 3682 markings/sec, 100 secs
lola: 373548 markings, 859296 edges, 3148 markings/sec, 105 secs
lola: 388586 markings, 894181 edges, 3008 markings/sec, 110 secs
lola: 406970 markings, 940656 edges, 3677 markings/sec, 115 secs
lola: 423229 markings, 976765 edges, 3252 markings/sec, 120 secs
lola: 437737 markings, 1010427 edges, 2902 markings/sec, 125 secs
lola: 457339 markings, 1058064 edges, 3920 markings/sec, 130 secs
lola: 472353 markings, 1093064 edges, 3003 markings/sec, 135 secs
lola: 489108 markings, 1133040 edges, 3351 markings/sec, 140 secs
lola: 506839 markings, 1175189 edges, 3546 markings/sec, 145 secs
lola: 521910 markings, 1209678 edges, 3014 markings/sec, 150 secs
lola: 540316 markings, 1255129 edges, 3681 markings/sec, 155 secs
lola: 556476 markings, 1291681 edges, 3232 markings/sec, 160 secs
lola: 572928 markings, 1331260 edges, 3290 markings/sec, 165 secs
lola: 590128 markings, 1372012 edges, 3440 markings/sec, 170 secs
lola: 605377 markings, 1406710 edges, 3050 markings/sec, 175 secs
lola: 624525 markings, 1452901 edges, 3830 markings/sec, 180 secs
lola: 639587 markings, 1487676 edges, 3012 markings/sec, 185 secs
lola: 657574 markings, 1531515 edges, 3597 markings/sec, 190 secs
lola: 672916 markings, 1566847 edges, 3068 markings/sec, 195 secs
lola: 690793 markings, 1610927 edges, 3575 markings/sec, 200 secs
lola: 706712 markings, 1646741 edges, 3184 markings/sec, 205 secs
lola: 724174 markings, 1689799 edges, 3492 markings/sec, 210 secs
lola: 740775 markings, 1728198 edges, 3320 markings/sec, 215 secs
lola: 754958 markings, 1757564 edges, 2837 markings/sec, 220 secs
lola: 770662 markings, 1794048 edges, 3141 markings/sec, 225 secs
lola: 786498 markings, 1827071 edges, 3167 markings/sec, 230 secs
lola: 801483 markings, 1860175 edges, 2997 markings/sec, 235 secs
lola: 819543 markings, 1903566 edges, 3612 markings/sec, 240 secs
lola: 836068 markings, 1943118 edges, 3305 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 61364 KB
lola: time consumption: 259 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(ROUTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ROUTE_A)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-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-V50P20N10-UpperBounds-6 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATTENTE_A)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N10-UpperBounds-7 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 300 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_1)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-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-V50P20N10-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 330 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_8)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-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
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N10-UpperBounds-9 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(NB_ATTENTE_A_41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_41)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-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: 42 markings, 41 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N10-UpperBounds-10 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(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-V50P20N10-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
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N10-UpperBounds-11 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_47)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_47)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-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: 48 markings, 47 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P20N10-UpperBounds-12 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(ATTENTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATTENTE_A)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================

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

FORMULA BridgeAndVehicles-PT-V50P20N10-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 826 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-V50P20N10-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-V50P20N10-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1102 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-V50P20N10-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-PT-V50P20N10-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1653 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-V50P20N10-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-V50P20N10-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CHOIX_1 + CHOIX_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CHOIX_1 + CHOIX_2)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P20N10-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-PT-V50P20N10-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
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-V50P20N10-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: 17504 markings, 33232 edges, 3501 markings/sec, 0 secs
lola: 34283 markings, 68075 edges, 3356 markings/sec, 5 secs
lola: 52280 markings, 113118 edges, 3599 markings/sec, 10 secs
lola: 68064 markings, 148734 edges, 3157 markings/sec, 15 secs
lola: 86435 markings, 193444 edges, 3674 markings/sec, 20 secs
lola: 103613 markings, 233627 edges, 3436 markings/sec, 25 secs
lola: 120894 markings, 273913 edges, 3456 markings/sec, 30 secs
lola: 138944 markings, 318297 edges, 3610 markings/sec, 35 secs
lola: 155043 markings, 353566 edges, 3220 markings/sec, 40 secs
lola: 173686 markings, 399067 edges, 3729 markings/sec, 45 secs
lola: 191422 markings, 441086 edges, 3547 markings/sec, 50 secs
lola: 207766 markings, 477996 edges, 3269 markings/sec, 55 secs
lola: 226203 markings, 522602 edges, 3687 markings/sec, 60 secs
lola: 244225 markings, 566297 edges, 3604 markings/sec, 65 secs
lola: 260914 markings, 603927 edges, 3338 markings/sec, 70 secs
lola: 278321 markings, 644683 edges, 3481 markings/sec, 75 secs
lola: 297238 markings, 689384 edges, 3783 markings/sec, 80 secs
lola: 312954 markings, 721689 edges, 3143 markings/sec, 85 secs
lola: 328490 markings, 754671 edges, 3107 markings/sec, 90 secs
lola: 345212 markings, 791731 edges, 3344 markings/sec, 95 secs
lola: 363081 markings, 835352 edges, 3574 markings/sec, 100 secs
lola: 378399 markings, 871065 edges, 3064 markings/sec, 105 secs
lola: 394092 markings, 907686 edges, 3139 markings/sec, 110 secs
lola: 413299 markings, 954022 edges, 3841 markings/sec, 115 secs
lola: 428125 markings, 988186 edges, 2965 markings/sec, 120 secs
lola: 445116 markings, 1029305 edges, 3398 markings/sec, 125 secs
lola: 462851 markings, 1071325 edges, 3547 markings/sec, 130 secs
lola: 478081 markings, 1106082 edges, 3046 markings/sec, 135 secs
lola: 496445 markings, 1152219 edges, 3673 markings/sec, 140 secs
lola: 512799 markings, 1188376 edges, 3271 markings/sec, 145 secs
lola: 528259 markings, 1224930 edges, 3092 markings/sec, 150 secs
lola: 546965 markings, 1269640 edges, 3741 markings/sec, 155 secs
lola: 562088 markings, 1304507 edges, 3025 markings/sec, 160 secs
lola: 580044 markings, 1349130 edges, 3591 markings/sec, 165 secs
lola: 596207 markings, 1385565 edges, 3233 markings/sec, 170 secs
lola: 612698 markings, 1425581 edges, 3298 markings/sec, 175 secs
lola: 629531 markings, 1464802 edges, 3367 markings/sec, 180 secs
lola: 645508 markings, 1501962 edges, 3195 markings/sec, 185 secs
lola: 663776 markings, 1545776 edges, 3654 markings/sec, 190 secs
lola: 678572 markings, 1579776 edges, 2959 markings/sec, 195 secs
lola: 697137 markings, 1624420 edges, 3713 markings/sec, 200 secs
lola: 711756 markings, 1658311 edges, 2924 markings/sec, 205 secs
lola: 730680 markings, 1702982 edges, 3785 markings/sec, 210 secs
lola: 745001 markings, 1737773 edges, 2864 markings/sec, 215 secs
lola: 760605 markings, 1769128 edges, 3121 markings/sec, 220 secs
lola: 774794 markings, 1802055 edges, 2838 markings/sec, 225 secs
lola: 790003 markings, 1835813 edges, 3042 markings/sec, 230 secs
lola: 804704 markings, 1866836 edges, 2940 markings/sec, 235 secs
lola: 823343 markings, 1913934 edges, 3728 markings/sec, 240 secs
lola: 838654 markings, 1949591 edges, 3062 markings/sec, 245 secs
lola: 853756 markings, 1985686 edges, 3020 markings/sec, 250 secs
lola: 868219 markings, 2021154 edges, 2893 markings/sec, 255 secs
lola: 885342 markings, 2063708 edges, 3425 markings/sec, 260 secs
lola: 903164 markings, 2105756 edges, 3564 markings/sec, 265 secs
lola: 918227 markings, 2141955 edges, 3013 markings/sec, 270 secs
lola: 932628 markings, 2176775 edges, 2880 markings/sec, 275 secs
lola: 950534 markings, 2221730 edges, 3581 markings/sec, 280 secs
lola: 967380 markings, 2261567 edges, 3369 markings/sec, 285 secs
lola: 982266 markings, 2297527 edges, 2977 markings/sec, 290 secs
lola: 996892 markings, 2332544 edges, 2925 markings/sec, 295 secs
lola: 1015054 markings, 2377747 edges, 3632 markings/sec, 300 secs
lola: 1030850 markings, 2415565 edges, 3159 markings/sec, 305 secs
lola: 1046896 markings, 2453237 edges, 3209 markings/sec, 310 secs
lola: 1063137 markings, 2493746 edges, 3248 markings/sec, 315 secs
lola: 1081210 markings, 2536658 edges, 3615 markings/sec, 320 secs
lola: 1096319 markings, 2573451 edges, 3022 markings/sec, 325 secs
lola: 1110928 markings, 2608640 edges, 2922 markings/sec, 330 secs
lola: 1129795 markings, 2654238 edges, 3773 markings/sec, 335 secs
lola: 1145550 markings, 2691920 edges, 3151 markings/sec, 340 secs
lola: 1160346 markings, 2728374 edges, 2959 markings/sec, 345 secs
lola: 1178394 markings, 2773042 edges, 3610 markings/sec, 350 secs
lola: 1193852 markings, 2810117 edges, 3092 markings/sec, 355 secs
lola: 1209762 markings, 2847870 edges, 3182 markings/sec, 360 secs
lola: 1227240 markings, 2891888 edges, 3496 markings/sec, 365 secs
lola: 1242922 markings, 2928949 edges, 3136 markings/sec, 370 secs
lola: 1258484 markings, 2965929 edges, 3112 markings/sec, 375 secs
lola: 1275319 markings, 3007916 edges, 3367 markings/sec, 380 secs
lola: 1290781 markings, 3044763 edges, 3092 markings/sec, 385 secs
lola: 1306350 markings, 3081944 edges, 3114 markings/sec, 390 secs
lola: 1323513 markings, 3123937 edges, 3433 markings/sec, 395 secs
lola: 1340642 markings, 3165040 edges, 3426 markings/sec, 400 secs
lola: 1354028 markings, 3195793 edges, 2677 markings/sec, 405 secs
lola: 1367645 markings, 3224710 edges, 2723 markings/sec, 410 secs
lola: 1383635 markings, 3262113 edges, 3198 markings/sec, 415 secs
lola: 1396925 markings, 3292313 edges, 2658 markings/sec, 420 secs
lola: 1412526 markings, 3325988 edges, 3120 markings/sec, 425 secs
lola: 1426508 markings, 3358584 edges, 2796 markings/sec, 430 secs
lola: 1441523 markings, 3392063 edges, 3003 markings/sec, 435 secs
lola: 1460144 markings, 3438056 edges, 3724 markings/sec, 440 secs
lola: 1476011 markings, 3474764 edges, 3173 markings/sec, 445 secs
lola: 1490657 markings, 3512740 edges, 2929 markings/sec, 450 secs
lola: 1506533 markings, 3551149 edges, 3175 markings/sec, 455 secs
lola: 1521396 markings, 3587748 edges, 2973 markings/sec, 460 secs
lola: 1537418 markings, 3627366 edges, 3204 markings/sec, 465 secs
lola: 1555205 markings, 3669855 edges, 3557 markings/sec, 470 secs
lola: 1571074 markings, 3710083 edges, 3174 markings/sec, 475 secs
lola: 1586639 markings, 3747924 edges, 3113 markings/sec, 480 secs
lola: 1601445 markings, 3784320 edges, 2961 markings/sec, 485 secs
lola: 1617622 markings, 3824459 edges, 3235 markings/sec, 490 secs
lola: 1635795 markings, 3867284 edges, 3635 markings/sec, 495 secs
lola: 1650657 markings, 3905523 edges, 2972 markings/sec, 500 secs
lola: 1666420 markings, 3943910 edges, 3153 markings/sec, 505 secs
lola: 1681479 markings, 3980346 edges, 3012 markings/sec, 510 secs
lola: 1699158 markings, 4025277 edges, 3536 markings/sec, 515 secs
lola: 1716394 markings, 4065763 edges, 3447 markings/sec, 520 secs
lola: 1731309 markings, 4102001 edges, 2983 markings/sec, 525 secs
lola: 1746588 markings, 4139799 edges, 3056 markings/sec, 530 secs
lola: 1761263 markings, 4176709 edges, 2935 markings/sec, 535 secs
lola: 1778992 markings, 4220597 edges, 3546 markings/sec, 540 secs
lola: 1795721 markings, 4261547 edges, 3346 markings/sec, 545 secs
lola: 1811035 markings, 4298844 edges, 3063 markings/sec, 550 secs
lola: 1825761 markings, 4334694 edges, 2945 markings/sec, 555 secs
lola: 1843664 markings, 4380372 edges, 3581 markings/sec, 560 secs
lola: 1860049 markings, 4418862 edges, 3277 markings/sec, 565 secs
lola: 1875240 markings, 4455958 edges, 3038 markings/sec, 570 secs
lola: 1890048 markings, 4492825 edges, 2962 markings/sec, 575 secs
lola: 1906922 markings, 4535137 edges, 3375 markings/sec, 580 secs
lola: 1923946 markings, 4575558 edges, 3405 markings/sec, 585 secs
lola: 1938582 markings, 4611141 edges, 2927 markings/sec, 590 secs
lola: 1953660 markings, 4648835 edges, 3016 markings/sec, 595 secs
lola: 1970278 markings, 4690675 edges, 3324 markings/sec, 600 secs
lola: 1987487 markings, 4731624 edges, 3442 markings/sec, 605 secs
lola: 2002364 markings, 4767892 edges, 2975 markings/sec, 610 secs
lola: 2017149 markings, 4805160 edges, 2957 markings/sec, 615 secs
lola: 2034328 markings, 4848559 edges, 3436 markings/sec, 620 secs
lola: 2050489 markings, 4886674 edges, 3232 markings/sec, 625 secs
lola: 2065633 markings, 4923970 edges, 3029 markings/sec, 630 secs
lola: 2080076 markings, 4959794 edges, 2889 markings/sec, 635 secs
lola: 2097060 markings, 5001268 edges, 3397 markings/sec, 640 secs
lola: 2115225 markings, 5044998 edges, 3633 markings/sec, 645 secs
lola: 2128638 markings, 5077696 edges, 2683 markings/sec, 650 secs
lola: 2142023 markings, 5107943 edges, 2677 markings/sec, 655 secs
lola: 2155753 markings, 5138167 edges, 2746 markings/sec, 660 secs
lola: 2171497 markings, 5172621 edges, 3149 markings/sec, 665 secs
lola: 2186390 markings, 5211009 edges, 2979 markings/sec, 670 secs
lola: 2199752 markings, 5240883 edges, 2672 markings/sec, 675 secs
lola: 2213412 markings, 5271261 edges, 2732 markings/sec, 680 secs
lola: 2229592 markings, 5309573 edges, 3236 markings/sec, 685 secs
lola: 2243032 markings, 5340071 edges, 2688 markings/sec, 690 secs
lola: 2258244 markings, 5374694 edges, 3042 markings/sec, 695 secs
lola: 2272894 markings, 5408014 edges, 2930 markings/sec, 700 secs
lola: 2290685 markings, 5453381 edges, 3558 markings/sec, 705 secs
lola: 2307266 markings, 5491317 edges, 3316 markings/sec, 710 secs
lola: 2321981 markings, 5530131 edges, 2943 markings/sec, 715 secs
lola: 2337987 markings, 5568511 edges, 3201 markings/sec, 720 secs
lola: 2352893 markings, 5605259 edges, 2981 markings/sec, 725 secs
lola: 2367916 markings, 5643393 edges, 3005 markings/sec, 730 secs
lola: 2384689 markings, 5686214 edges, 3355 markings/sec, 735 secs
lola: 2400907 markings, 5724061 edges, 3244 markings/sec, 740 secs
lola: 2417732 markings, 5767209 edges, 3365 markings/sec, 745 secs
lola: 2433186 markings, 5804158 edges, 3091 markings/sec, 750 secs
lola: 2446875 markings, 5839533 edges, 2738 markings/sec, 755 secs
lola: 2462613 markings, 5878002 edges, 3148 markings/sec, 760 secs
lola: 2479266 markings, 5920500 edges, 3331 markings/sec, 765 secs
lola: 2495470 markings, 5959111 edges, 3241 markings/sec, 770 secs
lola: 2512690 markings, 6002314 edges, 3444 markings/sec, 775 secs
lola: 2527997 markings, 6039089 edges, 3061 markings/sec, 780 secs
lola: 2541953 markings, 6074840 edges, 2791 markings/sec, 785 secs
lola: 2557899 markings, 6114315 edges, 3189 markings/sec, 790 secs
lola: 2575062 markings, 6157988 edges, 3433 markings/sec, 795 secs
lola: 2591824 markings, 6196487 edges, 3352 markings/sec, 800 secs
lola: 2607100 markings, 6236847 edges, 3055 markings/sec, 805 secs
lola: 2622941 markings, 6274749 edges, 3168 markings/sec, 810 secs
lola: 2637904 markings, 6312134 edges, 2993 markings/sec, 815 secs
lola: 2652125 markings, 6348401 edges, 2844 markings/sec, 820 secs
lola: 2670161 markings, 6393018 edges, 3607 markings/sec, 825 secs
lola: 2687081 markings, 6433697 edges, 3384 markings/sec, 830 secs
lola: 2700501 markings, 6467648 edges, 2684 markings/sec, 835 secs
lola: 2716606 markings, 6508185 edges, 3221 markings/sec, 840 secs
lola: 2731310 markings, 6544478 edges, 2941 markings/sec, 845 secs
lola: 2748453 markings, 6587524 edges, 3429 markings/sec, 850 secs
lola: 2765065 markings, 6625798 edges, 3322 markings/sec, 855 secs
lola: 2779860 markings, 6664712 edges, 2959 markings/sec, 860 secs
lola: 2795576 markings, 6702905 edges, 3143 markings/sec, 865 secs
lola: 2810387 markings, 6740191 edges, 2962 markings/sec, 870 secs
lola: 2825938 markings, 6779273 edges, 3110 markings/sec, 875 secs
lola: 2842430 markings, 6818236 edges, 3298 markings/sec, 880 secs
lola: 2858726 markings, 6860053 edges, 3259 markings/sec, 885 secs
lola: 2874148 markings, 6897519 edges, 3084 markings/sec, 890 secs
lola: 2889036 markings, 6934914 edges, 2978 markings/sec, 895 secs
lola: 2904769 markings, 6974882 edges, 3147 markings/sec, 900 secs
lola: 2921786 markings, 7014500 edges, 3403 markings/sec, 905 secs
lola: 2937162 markings, 7054551 edges, 3075 markings/sec, 910 secs
lola: 2952823 markings, 7093130 edges, 3132 markings/sec, 915 secs
lola: 2967424 markings, 7129819 edges, 2920 markings/sec, 920 secs
lola: 2984376 markings, 7172934 edges, 3390 markings/sec, 925 secs
lola: 3000708 markings, 7210358 edges, 3266 markings/sec, 930 secs
lola: 3014320 markings, 7245790 edges, 2722 markings/sec, 935 secs
lola: 3030094 markings, 7285061 edges, 3155 markings/sec, 940 secs
lola: 3044574 markings, 7321007 edges, 2896 markings/sec, 945 secs
lola: 3061272 markings, 7362441 edges, 3340 markings/sec, 950 secs
lola: 3079684 markings, 7405241 edges, 3682 markings/sec, 955 secs
lola: 3093916 markings, 7442433 edges, 2846 markings/sec, 960 secs
lola: 3107056 markings, 7472420 edges, 2628 markings/sec, 965 secs
lola: 3120081 markings, 7502467 edges, 2605 markings/sec, 970 secs
lola: 3133340 markings, 7533260 edges, 2652 markings/sec, 975 secs
lola: 3146488 markings, 7563150 edges, 2630 markings/sec, 980 secs
lola: 3161544 markings, 7596176 edges, 3011 markings/sec, 985 secs
lola: 3177641 markings, 7637215 edges, 3219 markings/sec, 990 secs
lola: 3190460 markings, 7667954 edges, 2564 markings/sec, 995 secs
lola: 3203635 markings, 7698119 edges, 2635 markings/sec, 1000 secs
lola: 3216823 markings, 7728009 edges, 2638 markings/sec, 1005 secs
lola: 3231607 markings, 7760772 edges, 2957 markings/sec, 1010 secs
lola: 3246538 markings, 7798914 edges, 2986 markings/sec, 1015 secs
lola: 3259746 markings, 7828765 edges, 2642 markings/sec, 1020 secs
lola: 3272790 markings, 7857900 edges, 2609 markings/sec, 1025 secs
lola: 3287616 markings, 7893243 edges, 2965 markings/sec, 1030 secs
lola: 3302243 markings, 7926614 edges, 2925 markings/sec, 1035 secs
lola: 3319636 markings, 7970660 edges, 3479 markings/sec, 1040 secs
lola: 3333997 markings, 8003290 edges, 2872 markings/sec, 1045 secs
lola: 3351250 markings, 8047583 edges, 3451 markings/sec, 1050 secs
lola: 3364186 markings, 8080780 edges, 2587 markings/sec, 1055 secs
lola: 3381819 markings, 8124321 edges, 3527 markings/sec, 1060 secs
lola: 3396914 markings, 8161447 edges, 3019 markings/sec, 1065 secs
lola: 3411614 markings, 8198553 edges, 2940 markings/sec, 1070 secs
lola: 3427103 markings, 8238667 edges, 3098 markings/sec, 1075 secs
lola: 3444117 markings, 8280887 edges, 3403 markings/sec, 1080 secs
lola: 3461414 markings, 8321144 edges, 3459 markings/sec, 1085 secs
lola: 3476029 markings, 8359844 edges, 2923 markings/sec, 1090 secs
lola: 3492132 markings, 8398207 edges, 3221 markings/sec, 1095 secs
lola: 3505895 markings, 8434789 edges, 2753 markings/sec, 1100 secs
lola: 3521884 markings, 8474332 edges, 3198 markings/sec, 1105 secs
lola: 3536210 markings, 8510349 edges, 2865 markings/sec, 1110 secs
lola: 3554744 markings, 8556206 edges, 3707 markings/sec, 1115 secs
lola: 3570642 markings, 8592731 edges, 3180 markings/sec, 1120 secs
lola: 3586121 markings, 8634119 edges, 3096 markings/sec, 1125 secs
lola: 3601094 markings, 8669506 edges, 2995 markings/sec, 1130 secs
lola: 3616060 markings, 8709226 edges, 2993 markings/sec, 1135 secs
lola: 3631486 markings, 8747631 edges, 3085 markings/sec, 1140 secs
lola: 3645467 markings, 8782808 edges, 2796 markings/sec, 1145 secs
lola: 3663597 markings, 8827429 edges, 3626 markings/sec, 1150 secs
lola: 3679319 markings, 8863818 edges, 3144 markings/sec, 1155 secs
lola: 3694726 markings, 8904998 edges, 3081 markings/sec, 1160 secs
lola: 3709561 markings, 8940058 edges, 2967 markings/sec, 1165 secs
lola: 3724262 markings, 8979184 edges, 2940 markings/sec, 1170 secs
lola: 3739338 markings, 9016485 edges, 3015 markings/sec, 1175 secs
lola: 3752770 markings, 9050312 edges, 2686 markings/sec, 1180 secs
lola: 3770419 markings, 9094022 edges, 3530 markings/sec, 1185 secs
lola: 3786679 markings, 9131679 edges, 3252 markings/sec, 1190 secs
lola: 3801336 markings, 9171066 edges, 2931 markings/sec, 1195 secs
lola: 3816690 markings, 9207867 edges, 3071 markings/sec, 1200 secs
lola: 3830391 markings, 9243767 edges, 2740 markings/sec, 1205 secs
lola: 3845704 markings, 9282064 edges, 3063 markings/sec, 1210 secs
lola: 3862448 markings, 9324171 edges, 3349 markings/sec, 1215 secs
lola: 3877089 markings, 9359948 edges, 2928 markings/sec, 1220 secs
lola: 3894939 markings, 9403169 edges, 3570 markings/sec, 1225 secs
lola: 3907879 markings, 9436601 edges, 2588 markings/sec, 1230 secs
lola: 3924753 markings, 9478781 edges, 3375 markings/sec, 1235 secs
lola: 3939812 markings, 9516493 edges, 3012 markings/sec, 1240 secs
lola: 3954542 markings, 9553650 edges, 2946 markings/sec, 1245 secs
lola: 3970947 markings, 9594280 edges, 3281 markings/sec, 1250 secs
lola: 3988162 markings, 9635450 edges, 3443 markings/sec, 1255 secs
lola: 4001530 markings, 9670700 edges, 2674 markings/sec, 1260 secs
lola: 4018052 markings, 9711276 edges, 3304 markings/sec, 1265 secs
lola: 4033039 markings, 9748642 edges, 2997 markings/sec, 1270 secs
lola: 4047482 markings, 9785530 edges, 2889 markings/sec, 1275 secs
lola: 4063516 markings, 9825098 edges, 3207 markings/sec, 1280 secs
lola: 4080889 markings, 9866892 edges, 3475 markings/sec, 1285 secs
lola: 4094191 markings, 9901651 edges, 2660 markings/sec, 1290 secs
lola: 4110794 markings, 9942947 edges, 3321 markings/sec, 1295 secs
lola: 4125664 markings, 9980217 edges, 2974 markings/sec, 1300 secs
lola: 4142173 markings, 10021981 edges, 3302 markings/sec, 1305 secs
lola: 4157063 markings, 10056437 edges, 2978 markings/sec, 1310 secs
lola: 4173907 markings, 10100014 edges, 3369 markings/sec, 1315 secs
lola: 4189125 markings, 10137020 edges, 3044 markings/sec, 1320 secs
lola: 4203421 markings, 10173307 edges, 2859 markings/sec, 1325 secs
lola: 4218081 markings, 10211045 edges, 2932 markings/sec, 1330 secs
lola: 4234991 markings, 10252932 edges, 3382 markings/sec, 1335 secs
lola: 4252607 markings, 10291983 edges, 3523 markings/sec, 1340 secs
lola: 4268201 markings, 10333466 edges, 3119 markings/sec, 1345 secs
lola: 4280949 markings, 10365978 edges, 2550 markings/sec, 1350 secs
lola: 4294178 markings, 10396395 edges, 2646 markings/sec, 1355 secs
lola: 4306741 markings, 10426045 edges, 2513 markings/sec, 1360 secs
lola: 4319879 markings, 10455873 edges, 2628 markings/sec, 1365 secs
lola: 4332662 markings, 10486455 edges, 2557 markings/sec, 1370 secs
lola: 4345809 markings, 10516617 edges, 2629 markings/sec, 1375 secs
lola: 4358740 markings, 10546062 edges, 2586 markings/sec, 1380 secs
lola: 4375465 markings, 10584228 edges, 3345 markings/sec, 1385 secs
lola: 4390729 markings, 10624521 edges, 3053 markings/sec, 1390 secs
lola: 4403620 markings, 10655605 edges, 2578 markings/sec, 1395 secs
lola: 4416600 markings, 10685748 edges, 2596 markings/sec, 1400 secs
lola: 4429447 markings, 10715532 edges, 2569 markings/sec, 1405 secs
lola: 4442428 markings, 10745706 edges, 2596 markings/sec, 1410 secs
lola: 4455564 markings, 10775504 edges, 2627 markings/sec, 1415 secs
lola: 4472294 markings, 10815516 edges, 3346 markings/sec, 1420 secs
lola: 4485562 markings, 10848392 edges, 2654 markings/sec, 1425 secs
lola: 4498354 markings, 10877740 edges, 2558 markings/sec, 1430 secs
lola: 4511329 markings, 10907773 edges, 2595 markings/sec, 1435 secs
lola: 4526426 markings, 10942694 edges, 3019 markings/sec, 1440 secs
lola: 4540105 markings, 10975143 edges, 2736 markings/sec, 1445 secs
lola: 4554745 markings, 11008774 edges, 2928 markings/sec, 1450 secs
lola: 4572531 markings, 11053530 edges, 3557 markings/sec, 1455 secs
lola: 4585307 markings, 11084772 edges, 2555 markings/sec, 1460 secs
lola: 4604121 markings, 11129054 edges, 3763 markings/sec, 1465 secs
lola: 4618546 markings, 11168229 edges, 2885 markings/sec, 1470 secs
lola: 4634184 markings, 11204401 edges, 3128 markings/sec, 1475 secs
lola: 4649579 markings, 11245605 edges, 3079 markings/sec, 1480 secs
lola: 4664948 markings, 11283197 edges, 3074 markings/sec, 1485 secs
lola: 4678673 markings, 11319002 edges, 2745 markings/sec, 1490 secs
lola: 4693726 markings, 11357254 edges, 3011 markings/sec, 1495 secs
lola: 4712500 markings, 11403191 edges, 3755 markings/sec, 1500 secs
lola: 4724938 markings, 11434301 edges, 2488 markings/sec, 1505 secs
lola: 4743897 markings, 11480105 edges, 3792 markings/sec, 1510 secs
lola: 4757833 markings, 11517058 edges, 2787 markings/sec, 1515 secs
lola: 4774036 markings, 11555448 edges, 3241 markings/sec, 1520 secs
lola: 4788694 markings, 11594504 edges, 2932 markings/sec, 1525 secs
lola: 4804310 markings, 11632760 edges, 3123 markings/sec, 1530 secs
lola: 4818783 markings, 11669769 edges, 2895 markings/sec, 1535 secs
lola: 4834473 markings, 11709893 edges, 3138 markings/sec, 1540 secs
lola: 4850597 markings, 11749972 edges, 3225 markings/sec, 1545 secs
lola: 4866833 markings, 11786421 edges, 3247 markings/sec, 1550 secs
lola: 4882707 markings, 11828627 edges, 3175 markings/sec, 1555 secs
lola: 4895508 markings, 11862065 edges, 2560 markings/sec, 1560 secs
lola: 4913295 markings, 11905918 edges, 3557 markings/sec, 1565 secs
lola: 4927352 markings, 11940603 edges, 2811 markings/sec, 1570 secs
lola: 4942581 markings, 11980559 edges, 3046 markings/sec, 1575 secs
lola: 4957303 markings, 12017374 edges, 2944 markings/sec, 1580 secs
lola: 4975240 markings, 12061768 edges, 3587 markings/sec, 1585 secs
lola: 4989045 markings, 12093741 edges, 2761 markings/sec, 1590 secs
lola: 5006862 markings, 12139287 edges, 3563 markings/sec, 1595 secs
lola: 5020175 markings, 12174787 edges, 2663 markings/sec, 1600 secs
lola: 5037387 markings, 12215977 edges, 3442 markings/sec, 1605 secs
lola: 5050550 markings, 12250440 edges, 2633 markings/sec, 1610 secs
lola: 5066734 markings, 12291585 edges, 3237 markings/sec, 1615 secs
lola: 5081494 markings, 12328422 edges, 2952 markings/sec, 1620 secs
lola: 5098995 markings, 12371969 edges, 3500 markings/sec, 1625 secs
lola: 5113588 markings, 12405253 edges, 2919 markings/sec, 1630 secs
lola: 5130483 markings, 12449379 edges, 3379 markings/sec, 1635 secs
lola: 5143425 markings, 12483232 edges, 2588 markings/sec, 1640 secs
lola: 5160842 markings, 12525874 edges, 3483 markings/sec, 1645 secs
lola: 5175363 markings, 12561635 edges, 2904 markings/sec, 1650 secs
lola: 5189907 markings, 12599321 edges, 2909 markings/sec, 1655 secs
lola: 5206662 markings, 12642224 edges, 3351 markings/sec, 1660 secs
lola: 5221251 markings, 12678254 edges, 2918 markings/sec, 1665 secs
lola: 5238641 markings, 12718949 edges, 3478 markings/sec, 1670 secs
lola: 5253111 markings, 12757716 edges, 2894 markings/sec, 1675 secs
lola: 5268521 markings, 12794100 edges, 3082 markings/sec, 1680 secs
lola: 5282727 markings, 12832306 edges, 2841 markings/sec, 1685 secs
lola: 5297882 markings, 12870170 edges, 3031 markings/sec, 1690 secs
lola: 5311504 markings, 12904648 edges, 2724 markings/sec, 1695 secs
lola: 5329033 markings, 12948226 edges, 3506 markings/sec, 1700 secs
lola: 5343514 markings, 12981270 edges, 2896 markings/sec, 1705 secs
lola: 5360180 markings, 13024746 edges, 3333 markings/sec, 1710 secs
lola: 5373363 markings, 13058157 edges, 2637 markings/sec, 1715 secs
lola: 5390395 markings, 13101481 edges, 3406 markings/sec, 1720 secs
lola: 5405192 markings, 13138330 edges, 2959 markings/sec, 1725 secs
lola: 5418981 markings, 13174131 edges, 2758 markings/sec, 1730 secs
lola: 5436269 markings, 13216578 edges, 3458 markings/sec, 1735 secs
lola: 5450556 markings, 13249673 edges, 2857 markings/sec, 1740 secs
lola: 5467268 markings, 13293092 edges, 3342 markings/sec, 1745 secs
lola: 5480590 markings, 13326455 edges, 2664 markings/sec, 1750 secs
lola: 5497288 markings, 13369532 edges, 3340 markings/sec, 1755 secs
lola: 5512114 markings, 13406607 edges, 2965 markings/sec, 1760 secs
lola: 5526417 markings, 13443272 edges, 2861 markings/sec, 1765 secs
lola: 5542731 markings, 13483745 edges, 3263 markings/sec, 1770 secs
lola: 5558944 markings, 13521051 edges, 3243 markings/sec, 1775 secs
lola: 5573757 markings, 13560957 edges, 2963 markings/sec, 1780 secs
lola: 5589187 markings, 13598332 edges, 3086 markings/sec, 1785 secs
lola: 5603154 markings, 13635252 edges, 2793 markings/sec, 1790 secs
lola: 5618127 markings, 13672973 edges, 2995 markings/sec, 1795 secs
lola: 5635320 markings, 13716172 edges, 3439 markings/sec, 1800 secs
lola: 5647657 markings, 13745729 edges, 2467 markings/sec, 1805 secs
lola: 5666952 markings, 13790188 edges, 3859 markings/sec, 1810 secs
lola: 5681952 markings, 13830098 edges, 3000 markings/sec, 1815 secs
lola: 5695019 markings, 13862921 edges, 2613 markings/sec, 1820 secs
lola: 5707703 markings, 13893408 edges, 2537 markings/sec, 1825 secs
lola: 5720575 markings, 13923862 edges, 2574 markings/sec, 1830 secs
lola: 5733396 markings, 13953809 edges, 2564 markings/sec, 1835 secs
lola: 5746052 markings, 13983613 edges, 2531 markings/sec, 1840 secs
lola: 5758943 markings, 14013191 edges, 2578 markings/sec, 1845 secs
lola: 5771916 markings, 14043780 edges, 2595 markings/sec, 1850 secs
lola: 5784561 markings, 14074062 edges, 2529 markings/sec, 1855 secs
lola: 5797350 markings, 14104580 edges, 2558 markings/sec, 1860 secs
lola: 5809935 markings, 14134031 edges, 2517 markings/sec, 1865 secs
lola: 5828315 markings, 14176621 edges, 3676 markings/sec, 1870 secs
lola: 5842939 markings, 14215143 edges, 2925 markings/sec, 1875 secs
lola: 5855175 markings, 14244876 edges, 2447 markings/sec, 1880 secs
lola: 5867816 markings, 14274790 edges, 2528 markings/sec, 1885 secs
lola: 5880897 markings, 14304888 edges, 2616 markings/sec, 1890 secs
lola: 5893091 markings, 14334029 edges, 2439 markings/sec, 1895 secs
lola: 5905994 markings, 14363659 edges, 2581 markings/sec, 1900 secs
lola: 5918612 markings, 14393846 edges, 2524 markings/sec, 1905 secs
lola: 5931459 markings, 14423970 edges, 2569 markings/sec, 1910 secs
lola: 5948813 markings, 14465361 edges, 3471 markings/sec, 1915 secs
lola: 5962366 markings, 14498720 edges, 2711 markings/sec, 1920 secs
lola: 5975153 markings, 14528769 edges, 2557 markings/sec, 1925 secs
lola: 5987930 markings, 14558994 edges, 2555 markings/sec, 1930 secs
lola: 6000828 markings, 14588676 edges, 2580 markings/sec, 1935 secs
lola: 6014733 markings, 14620594 edges, 2781 markings/sec, 1940 secs
lola: 6029669 markings, 14657409 edges, 2987 markings/sec, 1945 secs
lola: 6042533 markings, 14687075 edges, 2573 markings/sec, 1950 secs
lola: 6058783 markings, 14725643 edges, 3250 markings/sec, 1955 secs
lola: 6075589 markings, 14767567 edges, 3361 markings/sec, 1960 secs
lola: 6087692 markings, 14797610 edges, 2421 markings/sec, 1965 secs
lola: 6106046 markings, 14839283 edges, 3671 markings/sec, 1970 secs
lola: 6121414 markings, 14880753 edges, 3074 markings/sec, 1975 secs
lola: 6134340 markings, 14914804 edges, 2585 markings/sec, 1980 secs
lola: 6152261 markings, 14957585 edges, 3584 markings/sec, 1985 secs
lola: 6166234 markings, 14995125 edges, 2795 markings/sec, 1990 secs
lola: 6182316 markings, 15034217 edges, 3216 markings/sec, 1995 secs
lola: 6195813 markings, 15069739 edges, 2699 markings/sec, 2000 secs
lola: 6210921 markings, 15107962 edges, 3022 markings/sec, 2005 secs
lola: 6229269 markings, 15155084 edges, 3670 markings/sec, 2010 secs
lola: 6242043 markings, 15186187 edges, 2555 markings/sec, 2015 secs
lola: 6256555 markings, 15218108 edges, 2902 markings/sec, 2020 secs
lola: 6273433 markings, 15261711 edges, 3376 markings/sec, 2025 secs
lola: 6286839 markings, 15297648 edges, 2681 markings/sec, 2030 secs
lola: 6302227 markings, 15333509 edges, 3078 markings/sec, 2035 secs
lola: 6317920 markings, 15375889 edges, 3139 markings/sec, 2040 secs
lola: 6331966 markings, 15409978 edges, 2809 markings/sec, 2045 secs
lola: 6347618 markings, 15451314 edges, 3130 markings/sec, 2050 secs
lola: 6362363 markings, 15488877 edges, 2949 markings/sec, 2055 secs
lola: 6379699 markings, 15532762 edges, 3467 markings/sec, 2060 secs
lola: 6393664 markings, 15567410 edges, 2793 markings/sec, 2065 secs
lola: 6408131 markings, 15599411 edges, 2893 markings/sec, 2070 secs
lola: 6426030 markings, 15645175 edges, 3580 markings/sec, 2075 secs
lola: 6439840 markings, 15682682 edges, 2762 markings/sec, 2080 secs
lola: 6456011 markings, 15720248 edges, 3234 markings/sec, 2085 secs
lola: 6471131 markings, 15761212 edges, 3024 markings/sec, 2090 secs
lola: 6486140 markings, 15797668 edges, 3002 markings/sec, 2095 secs
lola: 6500240 markings, 15835169 edges, 2820 markings/sec, 2100 secs
lola: 6514913 markings, 15872211 edges, 2935 markings/sec, 2105 secs
lola: 6533384 markings, 15917530 edges, 3694 markings/sec, 2110 secs
lola: 6545356 markings, 15947953 edges, 2394 markings/sec, 2115 secs
lola: 6562838 markings, 15987553 edges, 3496 markings/sec, 2120 secs
lola: 6578227 markings, 16029324 edges, 3078 markings/sec, 2125 secs
lola: 6590855 markings, 16062335 edges, 2526 markings/sec, 2130 secs
lola: 6608869 markings, 16105896 edges, 3603 markings/sec, 2135 secs
lola: 6622076 markings, 16141080 edges, 2641 markings/sec, 2140 secs
lola: 6638578 markings, 16182490 edges, 3300 markings/sec, 2145 secs
lola: 6653016 markings, 16219458 edges, 2888 markings/sec, 2150 secs
lola: 6670604 markings, 16264372 edges, 3518 markings/sec, 2155 secs
lola: 6683563 markings, 16295526 edges, 2592 markings/sec, 2160 secs
lola: 6700212 markings, 16332613 edges, 3330 markings/sec, 2165 secs
lola: 6716120 markings, 16375452 edges, 3182 markings/sec, 2170 secs
lola: 6729194 markings, 16410174 edges, 2615 markings/sec, 2175 secs
lola: 6746473 markings, 16451926 edges, 3456 markings/sec, 2180 secs
lola: 6760069 markings, 16488021 edges, 2719 markings/sec, 2185 secs
lola: 6776229 markings, 16528480 edges, 3232 markings/sec, 2190 secs
lola: 6790449 markings, 16564811 edges, 2844 markings/sec, 2195 secs
lola: 6807849 markings, 16608242 edges, 3480 markings/sec, 2200 secs
lola: 6820673 markings, 16639972 edges, 2565 markings/sec, 2205 secs
lola: 6838028 markings, 16679269 edges, 3471 markings/sec, 2210 secs
lola: 6853051 markings, 16720127 edges, 3005 markings/sec, 2215 secs
lola: 6865423 markings, 16752085 edges, 2474 markings/sec, 2220 secs
lola: 6883194 markings, 16796094 edges, 3554 markings/sec, 2225 secs
lola: 6896471 markings, 16829683 edges, 2655 markings/sec, 2230 secs
lola: 6912152 markings, 16870521 edges, 3136 markings/sec, 2235 secs
lola: 6927104 markings, 16908180 edges, 2990 markings/sec, 2240 secs
lola: 6943539 markings, 16948789 edges, 3287 markings/sec, 2245 secs
lola: 6955989 markings, 16978489 edges, 2490 markings/sec, 2250 secs
lola: 6974669 markings, 17024770 edges, 3736 markings/sec, 2255 secs
lola: 6988414 markings, 17061280 edges, 2749 markings/sec, 2260 secs
lola: 7004561 markings, 17100065 edges, 3229 markings/sec, 2265 secs
lola: 7018893 markings, 17138465 edges, 2866 markings/sec, 2270 secs
lola: 7034475 markings, 17177290 edges, 3116 markings/sec, 2275 secs
lola: 7048269 markings, 17212800 edges, 2759 markings/sec, 2280 secs
lola: 7065666 markings, 17255422 edges, 3479 markings/sec, 2285 secs
lola: 7077891 markings, 17285826 edges, 2445 markings/sec, 2290 secs
lola: 7096406 markings, 17330123 edges, 3703 markings/sec, 2295 secs
lola: 7110679 markings, 17368346 edges, 2855 markings/sec, 2300 secs
lola: 7126417 markings, 17406167 edges, 3148 markings/sec, 2305 secs
lola: 7140900 markings, 17445151 edges, 2897 markings/sec, 2310 secs
lola: 7156321 markings, 17483895 edges, 3084 markings/sec, 2315 secs
lola: 7170481 markings, 17519830 edges, 2832 markings/sec, 2320 secs
lola: 7186996 markings, 17560833 edges, 3303 markings/sec, 2325 secs
lola: 7199939 markings, 17591021 edges, 2589 markings/sec, 2330 secs
lola: 7218106 markings, 17636638 edges, 3633 markings/sec, 2335 secs
lola: 7231680 markings, 17672939 edges, 2715 markings/sec, 2340 secs
lola: 7248365 markings, 17713762 edges, 3337 markings/sec, 2345 secs
lola: 7261613 markings, 17748346 edges, 2650 markings/sec, 2350 secs
lola: 7277055 markings, 17787869 edges, 3088 markings/sec, 2355 secs
lola: 7294340 markings, 17831770 edges, 3457 markings/sec, 2360 secs
lola: 7307179 markings, 17862983 edges, 2568 markings/sec, 2365 secs
lola: 7324896 markings, 17900991 edges, 3543 markings/sec, 2370 secs
lola: 7341851 markings, 17945071 edges, 3391 markings/sec, 2375 secs
lola: 7356079 markings, 17983733 edges, 2846 markings/sec, 2380 secs
lola: 7368954 markings, 18013705 edges, 2575 markings/sec, 2385 secs
lola: 7381408 markings, 18045234 edges, 2491 markings/sec, 2390 secs
lola: 7394196 markings, 18075795 edges, 2558 markings/sec, 2395 secs
lola: 7407092 markings, 18106196 edges, 2579 markings/sec, 2400 secs
lola: 7419684 markings, 18134796 edges, 2518 markings/sec, 2405 secs
lola: 7431984 markings, 18165757 edges, 2460 markings/sec, 2410 secs
lola: 7444767 markings, 18196112 edges, 2557 markings/sec, 2415 secs
lola: 7457578 markings, 18226342 edges, 2562 markings/sec, 2420 secs
lola: 7470316 markings, 18256447 edges, 2548 markings/sec, 2425 secs
lola: 7483059 markings, 18286230 edges, 2549 markings/sec, 2430 secs
lola: 7495737 markings, 18315767 edges, 2536 markings/sec, 2435 secs
lola: 7507987 markings, 18345536 edges, 2450 markings/sec, 2440 secs
lola: 7520686 markings, 18375875 edges, 2540 markings/sec, 2445 secs
lola: 7539762 markings, 18420363 edges, 3815 markings/sec, 2450 secs
lola: 7554513 markings, 18459725 edges, 2950 markings/sec, 2455 secs
lola: 7567530 markings, 18491162 edges, 2603 markings/sec, 2460 secs
lola: 7580205 markings, 18521225 edges, 2535 markings/sec, 2465 secs
lola: 7592835 markings, 18551190 edges, 2526 markings/sec, 2470 secs
lola: 7605411 markings, 18581034 edges, 2515 markings/sec, 2475 secs
lola: 7618064 markings, 18611454 edges, 2531 markings/sec, 2480 secs
lola: 7630559 markings, 18641153 edges, 2499 markings/sec, 2485 secs
lola: 7643188 markings, 18671345 edges, 2526 markings/sec, 2490 secs
lola: 7655691 markings, 18700803 edges, 2501 markings/sec, 2495 secs
lola: 7668577 markings, 18730536 edges, 2577 markings/sec, 2500 secs
lola: 7684502 markings, 18766939 edges, 3185 markings/sec, 2505 secs
lola: 7699803 markings, 18807594 edges, 3060 markings/sec, 2510 secs
lola: 7712537 markings, 18838117 edges, 2547 markings/sec, 2515 secs
lola: 7725298 markings, 18867602 edges, 2552 markings/sec, 2520 secs
lola: 7737818 markings, 18897761 edges, 2504 markings/sec, 2525 secs
lola: 7750610 markings, 18927919 edges, 2558 markings/sec, 2530 secs
lola: 7763322 markings, 18957894 edges, 2542 markings/sec, 2535 secs
lola: 7776911 markings, 18988747 edges, 2718 markings/sec, 2540 secs
lola: 7792493 markings, 19027610 edges, 3116 markings/sec, 2545 secs
lola: 7805253 markings, 19057346 edges, 2552 markings/sec, 2550 secs
lola: 7818427 markings, 19087117 edges, 2635 markings/sec, 2555 secs
lola: 7836544 markings, 19132099 edges, 3623 markings/sec, 2560 secs
lola: 7852491 markings, 19169922 edges, 3189 markings/sec, 2565 secs
lola: 7864712 markings, 19201331 edges, 2444 markings/sec, 2570 secs
lola: 7878881 markings, 19232214 edges, 2834 markings/sec, 2575 secs
lola: 7897850 markings, 19280435 edges, 3794 markings/sec, 2580 secs
lola: 7912391 markings, 19319457 edges, 2908 markings/sec, 2585 secs
lola: 7924758 markings, 19351613 edges, 2473 markings/sec, 2590 secs
lola: 7943691 markings, 19397389 edges, 3787 markings/sec, 2595 secs
lola: 7957923 markings, 19435377 edges, 2846 markings/sec, 2600 secs
lola: 7973709 markings, 19473490 edges, 3157 markings/sec, 2605 secs
lola: 7988220 markings, 19512668 edges, 2902 markings/sec, 2610 secs
lola: 8003356 markings, 19550769 edges, 3027 markings/sec, 2615 secs
lola: 8018898 markings, 19590376 edges, 3108 markings/sec, 2620 secs
lola: 8036518 markings, 19631670 edges, 3524 markings/sec, 2625 secs
lola: 8048902 markings, 19664386 edges, 2477 markings/sec, 2630 secs
lola: 8061377 markings, 19693282 edges, 2495 markings/sec, 2635 secs
lola: 8081283 markings, 19740804 edges, 3981 markings/sec, 2640 secs
lola: 8096070 markings, 19781737 edges, 2957 markings/sec, 2645 secs
lola: 8108749 markings, 19814230 edges, 2536 markings/sec, 2650 secs
lola: 8127060 markings, 19858044 edges, 3662 markings/sec, 2655 secs
lola: 8141401 markings, 19896969 edges, 2868 markings/sec, 2660 secs
lola: 8156944 markings, 19934204 edges, 3109 markings/sec, 2665 secs
lola: 8171373 markings, 19973318 edges, 2886 markings/sec, 2670 secs
lola: 8186415 markings, 20011177 edges, 3008 markings/sec, 2675 secs
lola: 8203100 markings, 20053458 edges, 3337 markings/sec, 2680 secs
lola: 8219296 markings, 20092334 edges, 3239 markings/sec, 2685 secs
lola: 8231262 markings, 20122589 edges, 2393 markings/sec, 2690 secs
lola: 8246359 markings, 20155752 edges, 3019 markings/sec, 2695 secs
lola: 8264342 markings, 20202714 edges, 3597 markings/sec, 2700 secs
lola: 8278479 markings, 20240872 edges, 2827 markings/sec, 2705 secs
lola: 8292375 markings, 20273420 edges, 2779 markings/sec, 2710 secs
lola: 8309924 markings, 20319049 edges, 3510 markings/sec, 2715 secs
lola: 8323074 markings, 20354183 edges, 2630 markings/sec, 2720 secs
lola: 8339889 markings, 20395628 edges, 3363 markings/sec, 2725 secs
lola: 8354256 markings, 20431902 edges, 2873 markings/sec, 2730 secs
lola: 8368962 markings, 20470002 edges, 2941 markings/sec, 2735 secs
lola: 8387804 markings, 20515019 edges, 3768 markings/sec, 2740 secs
lola: 8399993 markings, 20546928 edges, 2438 markings/sec, 2745 secs
lola: 8412087 markings, 20575421 edges, 2419 markings/sec, 2750 secs
lola: 8431905 markings, 20622374 edges, 3964 markings/sec, 2755 secs
lola: 8446685 markings, 20662781 edges, 2956 markings/sec, 2760 secs
lola: 8458981 markings, 20694595 edges, 2459 markings/sec, 2765 secs
lola: 8477255 markings, 20739284 edges, 3655 markings/sec, 2770 secs
lola: 8490932 markings, 20775997 edges, 2735 markings/sec, 2775 secs
lola: 8506988 markings, 20815274 edges, 3211 markings/sec, 2780 secs
lola: 8520949 markings, 20850817 edges, 2792 markings/sec, 2785 secs
lola: 8536146 markings, 20890259 edges, 3039 markings/sec, 2790 secs
lola: 8554386 markings, 20933428 edges, 3648 markings/sec, 2795 secs
lola: 8566560 markings, 20965324 edges, 2435 markings/sec, 2800 secs
lola: 8579286 markings, 20994497 edges, 2545 markings/sec, 2805 secs
lola: 8598545 markings, 21041891 edges, 3852 markings/sec, 2810 secs
lola: 8612892 markings, 21080656 edges, 2869 markings/sec, 2815 secs
lola: 8625436 markings, 21111617 edges, 2509 markings/sec, 2820 secs
lola: 8643117 markings, 21156181 edges, 3536 markings/sec, 2825 secs
lola: 8656007 markings, 21190780 edges, 2578 markings/sec, 2830 secs
lola: 8671895 markings, 21230302 edges, 3178 markings/sec, 2835 secs
lola: 8686029 markings, 21266298 edges, 2827 markings/sec, 2840 secs
lola: 8702444 markings, 21308204 edges, 3283 markings/sec, 2845 secs
lola: 8718365 markings, 21346410 edges, 3184 markings/sec, 2850 secs
lola: 8730522 markings, 21376923 edges, 2431 markings/sec, 2855 secs
lola: 8747568 markings, 21414731 edges, 3409 markings/sec, 2860 secs
lola: 8763619 markings, 21458387 edges, 3210 markings/sec, 2865 secs
lola: 8777149 markings, 21494176 edges, 2706 markings/sec, 2870 secs
lola: 8794046 markings, 21534657 edges, 3379 markings/sec, 2875 secs
lola: 8808706 markings, 21574177 edges, 2932 markings/sec, 2880 secs
lola: 8824223 markings, 21612199 edges, 3103 markings/sec, 2885 secs
lola: 8838276 markings, 21648430 edges, 2811 markings/sec, 2890 secs
lola: 8854599 markings, 21690814 edges, 3265 markings/sec, 2895 secs
lola: 8870988 markings, 21730022 edges, 3278 markings/sec, 2900 secs
lola: 8883118 markings, 21760502 edges, 2426 markings/sec, 2905 secs
lola: 8900088 markings, 21798175 edges, 3394 markings/sec, 2910 secs
lola: 8916054 markings, 21841765 edges, 3193 markings/sec, 2915 secs
lola: 8929447 markings, 21877019 edges, 2679 markings/sec, 2920 secs
lola: 8946534 markings, 21917846 edges, 3417 markings/sec, 2925 secs
lola: 8960747 markings, 21956465 edges, 2843 markings/sec, 2930 secs
lola: 8976480 markings, 21995489 edges, 3147 markings/sec, 2935 secs
lola: 8990663 markings, 22032267 edges, 2837 markings/sec, 2940 secs
lola: 9007789 markings, 22075567 edges, 3425 markings/sec, 2945 secs
lola: 9022002 markings, 22109801 edges, 2843 markings/sec, 2950 secs
lola: 9034096 markings, 22139119 edges, 2419 markings/sec, 2955 secs
lola: 9053034 markings, 22183661 edges, 3788 markings/sec, 2960 secs
lola: 9067754 markings, 22223791 edges, 2944 markings/sec, 2965 secs
lola: 9081131 markings, 22256277 edges, 2675 markings/sec, 2970 secs
lola: 9098178 markings, 22300563 edges, 3409 markings/sec, 2975 secs
lola: 9111950 markings, 22335035 edges, 2754 markings/sec, 2980 secs
lola: 9126861 markings, 22374657 edges, 2982 markings/sec, 2985 secs
lola: 9142378 markings, 22414148 edges, 3103 markings/sec, 2990 secs
lola: 9158401 markings, 22452356 edges, 3205 markings/sec, 2995 secs
lola: 9170093 markings, 22481697 edges, 2338 markings/sec, 3000 secs
lola: 9186487 markings, 22518020 edges, 3279 markings/sec, 3005 secs
lola: 9201927 markings, 22560031 edges, 3088 markings/sec, 3010 secs
lola: 9214823 markings, 22594626 edges, 2579 markings/sec, 3015 secs
lola: 9231875 markings, 22636224 edges, 3410 markings/sec, 3020 secs
lola: 9244926 markings, 22670996 edges, 2610 markings/sec, 3025 secs
lola: 9260485 markings, 22710277 edges, 3112 markings/sec, 3030 secs
lola: 9275001 markings, 22747140 edges, 2903 markings/sec, 3035 secs
lola: 9291729 markings, 22787261 edges, 3346 markings/sec, 3040 secs
lola: 9303950 markings, 22818381 edges, 2444 markings/sec, 3045 secs
lola: 9319653 markings, 22851577 edges, 3141 markings/sec, 3050 secs
lola: 9338232 markings, 22898603 edges, 3716 markings/sec, 3055 secs
lola: 9352675 markings, 22937453 edges, 2889 markings/sec, 3060 secs
lola: 9365598 markings, 22970673 edges, 2585 markings/sec, 3065 secs
lola: 9379408 markings, 23002415 edges, 2762 markings/sec, 3070 secs
lola: 9391373 markings, 23033272 edges, 2393 markings/sec, 3075 secs
lola: 9405148 markings, 23063400 edges, 2755 markings/sec, 3080 secs
lola: 9417246 markings, 23094981 edges, 2420 markings/sec, 3085 secs
lola: 9431020 markings, 23125199 edges, 2755 markings/sec, 3090 secs
lola: 9443360 markings, 23157209 edges, 2468 markings/sec, 3095 secs
lola: 9457290 markings, 23188369 edges, 2786 markings/sec, 3100 secs
lola: 9469497 markings, 23219580 edges, 2441 markings/sec, 3105 secs
lola: 9483208 markings, 23250509 edges, 2742 markings/sec, 3110 secs
lola: 9495425 markings, 23281381 edges, 2443 markings/sec, 3115 secs
lola: 9509231 markings, 23313215 edges, 2761 markings/sec, 3120 secs
lola: 9521366 markings, 23342991 edges, 2427 markings/sec, 3125 secs
lola: 9535137 markings, 23375439 edges, 2754 markings/sec, 3130 secs
lola: 9547609 markings, 23404063 edges, 2494 markings/sec, 3135 secs
lola: 9561075 markings, 23437502 edges, 2693 markings/sec, 3140 secs
lola: 9574609 markings, 23468061 edges, 2707 markings/sec, 3145 secs
lola: 9586776 markings, 23498913 edges, 2433 markings/sec, 3150 secs
lola: 9599979 markings, 23529540 edges, 2641 markings/sec, 3155 secs
lola: 9611943 markings, 23557633 edges, 2393 markings/sec, 3160 secs
lola: 9631648 markings, 23604173 edges, 3941 markings/sec, 3165 secs
lola: 9646505 markings, 23643469 edges, 2971 markings/sec, 3170 secs
lola: 9659172 markings, 23675042 edges, 2533 markings/sec, 3175 secs
lola: 9672631 markings, 23708039 edges, 2692 markings/sec, 3180 secs
lola: 9685893 markings, 23738561 edges, 2652 markings/sec, 3185 secs
lola: 9697790 markings, 23767500 edges, 2379 markings/sec, 3190 secs
lola: 9711195 markings, 23799810 edges, 2681 markings/sec, 3195 secs
lola: 9724526 markings, 23830965 edges, 2666 markings/sec, 3200 secs
lola: 9737082 markings, 23860059 edges, 2511 markings/sec, 3205 secs
lola: 9749541 markings, 23891209 edges, 2492 markings/sec, 3210 secs
lola: 9762751 markings, 23922473 edges, 2642 markings/sec, 3215 secs
lola: 9775914 markings, 23953357 edges, 2633 markings/sec, 3220 secs
lola: 9788835 markings, 23983058 edges, 2584 markings/sec, 3225 secs
lola: 9801098 markings, 24013158 edges, 2453 markings/sec, 3230 secs
lola: 9814073 markings, 24044564 edges, 2595 markings/sec, 3235 secs
lola: 9827021 markings, 24075506 edges, 2590 markings/sec, 3240 secs
lola: 9844964 markings, 24117795 edges, 3589 markings/sec, 3245 secs
lola: 9859280 markings, 24154858 edges, 2863 markings/sec, 3250 secs
lola: 9872283 markings, 24185946 edges, 2601 markings/sec, 3255 secs
lola: 9885168 markings, 24216607 edges, 2577 markings/sec, 3260 secs
lola: 9898024 markings, 24247235 edges, 2571 markings/sec, 3265 secs
lola: 9910808 markings, 24277445 edges, 2557 markings/sec, 3270 secs
lola: 9924042 markings, 24308006 edges, 2647 markings/sec, 3275 secs
lola: 9936769 markings, 24339027 edges, 2545 markings/sec, 3280 secs
lola: 9949300 markings, 24368617 edges, 2506 markings/sec, 3285 secs
lola: 9962153 markings, 24399206 edges, 2571 markings/sec, 3290 secs
lola: 9978793 markings, 24439365 edges, 3328 markings/sec, 3295 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown 1 1 1 1 50 50 1 1 1 1 1 50 1 1
lola:
preliminary result: 1 unknown 1 1 1 1 50 50 1 1 1 1 1 50 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown 1 1 1 1 50 50 1 1 1 1 1 50 1 1
lola: memory consumption: 461980 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown 1 1 1 1 50 50 1 1 1 1 1 50 1 1
lola: memory consumption: 462172 KB
lola: time consumption: 3569 seconds

BK_STOP 1526571985317

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