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 4.3M
-rw-r--r-- 1 mcc users 13K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 47K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 110K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 319K 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 3.1K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 76K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 211K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 30K 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 208K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 589K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K 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 2.6M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BridgeAndVehicles-PT-V50P50N20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306400338
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526576023015

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-PT-V50P50N20 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-PT-V50P50N20 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-PT-V50P50N20 @ 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: 2486/65536 symbol table entries, 36 collisions
lola: preprocessing...
lola: Size of bit vector: 4416
lola: finding significant places
lola: 138 places, 2348 transitions, 131 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2693 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-PT-V50P50N20-UpperBounds.task
lola: MAX(ROUTE_A) : MAX(SUR_PONT_A) : MAX(SORTI_A) : MAX(VIDANGE_1 + VIDANGE_2) : MAX(CHOIX_1 + CHOIX_2) : MAX(ROUTE_B) : MAX(CONTROLEUR_1 + CONTROLEUR_2) : MAX(CHOIX_1 + CHOIX_2) : MAX(NB_ATTENTE_A_29) : MAX(NB_ATTENTE_A_11) : MAX(COMPTEUR_17) : MAX(NB_ATTENTE_B_12) : MAX(NB_ATTENTE_B_41) : MAX(CHOIX_1) : MAX(NB_ATTENTE_A_30) : MAX(SORTI_B)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 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-V50P50N20-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-V50P50N20-UpperBounds-0 50 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_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_A)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-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: 11479 markings, 25818 edges, 2296 markings/sec, 0 secs
lola: 21831 markings, 49174 edges, 2070 markings/sec, 5 secs
lola: 38409 markings, 97397 edges, 3316 markings/sec, 10 secs
lola: 57642 markings, 155254 edges, 3847 markings/sec, 15 secs
lola: 68762 markings, 182364 edges, 2224 markings/sec, 20 secs
lola: 79207 markings, 206423 edges, 2089 markings/sec, 25 secs
lola: 100075 markings, 272284 edges, 4174 markings/sec, 30 secs
lola: 115361 markings, 313034 edges, 3057 markings/sec, 35 secs
lola: 125456 markings, 336304 edges, 2019 markings/sec, 40 secs
lola: 137041 markings, 363709 edges, 2317 markings/sec, 45 secs
lola: 147434 markings, 387672 edges, 2079 markings/sec, 50 secs
lola: 168795 markings, 455631 edges, 4272 markings/sec, 55 secs
lola: 183004 markings, 492891 edges, 2842 markings/sec, 60 secs
lola: 193401 markings, 516920 edges, 2079 markings/sec, 65 secs
lola: 212541 markings, 575786 edges, 3828 markings/sec, 70 secs
lola: 228434 markings, 619941 edges, 3179 markings/sec, 75 secs
lola: 238818 markings, 644017 edges, 2077 markings/sec, 80 secs
lola: 257211 markings, 700084 edges, 3679 markings/sec, 85 secs
lola: 273137 markings, 744495 edges, 3185 markings/sec, 90 secs
lola: 283500 markings, 768534 edges, 2073 markings/sec, 95 secs
lola: 303469 markings, 830865 edges, 3994 markings/sec, 100 secs
lola: 317350 markings, 867070 edges, 2776 markings/sec, 105 secs
lola: 327541 markings, 890646 edges, 2038 markings/sec, 110 secs
lola: 349690 markings, 960313 edges, 4430 markings/sec, 115 secs
lola: 360773 markings, 986851 edges, 2217 markings/sec, 120 secs
lola: 374892 markings, 1025251 edges, 2824 markings/sec, 125 secs
lola: 393359 markings, 1080089 edges, 3693 markings/sec, 130 secs
lola: 403653 markings, 1104155 edges, 2059 markings/sec, 135 secs
lola: 424239 markings, 1169369 edges, 4117 markings/sec, 140 secs
lola: 435607 markings, 1195674 edges, 2274 markings/sec, 145 secs
lola: 450839 markings, 1238572 edges, 3046 markings/sec, 150 secs
lola: 467041 markings, 1284617 edges, 3240 markings/sec, 155 secs
lola: 478225 markings, 1312285 edges, 2237 markings/sec, 160 secs
lola: 497573 markings, 1370580 edges, 3870 markings/sec, 165 secs
lola: 507754 markings, 1394377 edges, 2036 markings/sec, 170 secs
lola: 527522 markings, 1454322 edges, 3954 markings/sec, 175 secs
lola: 537842 markings, 1478550 edges, 2064 markings/sec, 180 secs
lola: 557094 markings, 1536495 edges, 3850 markings/sec, 185 secs
lola: 567292 markings, 1560374 edges, 2040 markings/sec, 190 secs
lola: 586225 markings, 1616920 edges, 3787 markings/sec, 195 secs
lola: 598536 markings, 1648695 edges, 2462 markings/sec, 200 secs
lola: 614755 markings, 1695219 edges, 3244 markings/sec, 205 secs
lola: 631136 markings, 1743512 edges, 3276 markings/sec, 210 secs
lola: 642443 markings, 1770543 edges, 2261 markings/sec, 215 secs
lola: 659871 markings, 1821268 edges, 3486 markings/sec, 220 secs
lola: 674689 markings, 1863317 edges, 2964 markings/sec, 225 secs
lola: 686783 markings, 1893477 edges, 2419 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 64072 KB
lola: time consumption: 238 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 238 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-V50P50N20-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: 211 markings, 210 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N20-UpperBounds-2 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 256 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-V50P50N20-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-V50P50N20-UpperBounds-5 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_29)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_29)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-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: 30 markings, 29 edges
lola: ========================================
FORMULA BridgeAndVehicles-PT-V50P50N20-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_11)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-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: 12 markings, 11 edges
lola: ========================================

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

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

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

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

FORMULA BridgeAndVehicles-PT-V50P50N20-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 666 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-V50P50N20-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: 214 markings, 213 edges
lola: ========================================
FORMULA BridgeAndVehicles-PT-V50P50N20-UpperBounds-15 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

lola: subprocess 12 will run for 832 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-V50P50N20-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-V50P50N20-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1110 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-V50P50N20-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-V50P50N20-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1665 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-V50P50N20-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-V50P50N20-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3331 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-V50P50N20-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-V50P50N20-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_A)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-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: 11922 markings, 26823 edges, 2384 markings/sec, 0 secs
lola: 22551 markings, 50926 edges, 2126 markings/sec, 5 secs
lola: 40079 markings, 102801 edges, 3506 markings/sec, 10 secs
lola: 58452 markings, 157438 edges, 3675 markings/sec, 15 secs
lola: 69408 markings, 183878 edges, 2191 markings/sec, 20 secs
lola: 79832 markings, 207868 edges, 2085 markings/sec, 25 secs
lola: 101940 markings, 278449 edges, 4422 markings/sec, 30 secs
lola: 116183 markings, 314993 edges, 2849 markings/sec, 35 secs
lola: 126715 markings, 338704 edges, 2106 markings/sec, 40 secs
lola: 137726 markings, 365320 edges, 2202 markings/sec, 45 secs
lola: 148050 markings, 389095 edges, 2065 markings/sec, 50 secs
lola: 170790 markings, 462432 edges, 4548 markings/sec, 55 secs
lola: 183839 markings, 494886 edges, 2610 markings/sec, 60 secs
lola: 194201 markings, 518828 edges, 2072 markings/sec, 65 secs
lola: 214249 markings, 581450 edges, 4010 markings/sec, 70 secs
lola: 229154 markings, 621652 edges, 2981 markings/sec, 75 secs
lola: 239491 markings, 645621 edges, 2067 markings/sec, 80 secs
lola: 258877 markings, 705753 edges, 3877 markings/sec, 85 secs
lola: 273807 markings, 746085 edges, 2986 markings/sec, 90 secs
lola: 284098 markings, 769947 edges, 2058 markings/sec, 95 secs
lola: 304869 markings, 835596 edges, 4154 markings/sec, 100 secs
lola: 317892 markings, 868349 edges, 2605 markings/sec, 105 secs
lola: 327986 markings, 891653 edges, 2019 markings/sec, 110 secs
lola: 350409 markings, 961961 edges, 4485 markings/sec, 115 secs
lola: 361198 markings, 987872 edges, 2158 markings/sec, 120 secs
lola: 375982 markings, 1028821 edges, 2957 markings/sec, 125 secs
lola: 393797 markings, 1081184 edges, 3563 markings/sec, 130 secs
lola: 404018 markings, 1105036 edges, 2044 markings/sec, 135 secs
lola: 424390 markings, 1169589 edges, 4074 markings/sec, 140 secs
lola: 435594 markings, 1195640 edges, 2241 markings/sec, 145 secs
lola: 450460 markings, 1237361 edges, 2973 markings/sec, 150 secs
lola: 466641 markings, 1283636 edges, 3236 markings/sec, 155 secs
lola: 476939 markings, 1308054 edges, 2060 markings/sec, 160 secs
lola: 496789 markings, 1368693 edges, 3970 markings/sec, 165 secs
lola: 506989 markings, 1392592 edges, 2040 markings/sec, 170 secs
lola: 526527 markings, 1451895 edges, 3908 markings/sec, 175 secs
lola: 536686 markings, 1475818 edges, 2032 markings/sec, 180 secs
lola: 555611 markings, 1532901 edges, 3785 markings/sec, 185 secs
lola: 565993 markings, 1557341 edges, 2076 markings/sec, 190 secs
lola: 584605 markings, 1612987 edges, 3722 markings/sec, 195 secs
lola: 594804 markings, 1636892 edges, 2040 markings/sec, 200 secs
lola: 613065 markings, 1691137 edges, 3652 markings/sec, 205 secs
lola: 626896 markings, 1729302 edges, 2766 markings/sec, 210 secs
lola: 640538 markings, 1766240 edges, 2728 markings/sec, 215 secs
lola: 657424 markings, 1815355 edges, 3377 markings/sec, 220 secs
lola: 668862 markings, 1843922 edges, 2288 markings/sec, 225 secs
lola: 684332 markings, 1888035 edges, 3094 markings/sec, 230 secs
lola: 700326 markings, 1933943 edges, 3199 markings/sec, 235 secs
lola: 714393 markings, 1973258 edges, 2813 markings/sec, 240 secs
lola: 725902 markings, 2010753 edges, 2302 markings/sec, 245 secs
lola: 736177 markings, 2041971 edges, 2055 markings/sec, 250 secs
lola: 745611 markings, 2063379 edges, 1887 markings/sec, 255 secs
lola: 755343 markings, 2093333 edges, 1946 markings/sec, 260 secs
lola: 777120 markings, 2163088 edges, 4355 markings/sec, 265 secs
lola: 788141 markings, 2195084 edges, 2204 markings/sec, 270 secs
lola: 799610 markings, 2222187 edges, 2294 markings/sec, 275 secs
lola: 809197 markings, 2248500 edges, 1917 markings/sec, 280 secs
lola: 819774 markings, 2284473 edges, 2115 markings/sec, 285 secs
lola: 830009 markings, 2309838 edges, 2047 markings/sec, 290 secs
lola: 843784 markings, 2354580 edges, 2755 markings/sec, 295 secs
lola: 864733 markings, 2421519 edges, 4190 markings/sec, 300 secs
lola: 876115 markings, 2447468 edges, 2276 markings/sec, 305 secs
lola: 884759 markings, 2466801 edges, 1729 markings/sec, 310 secs
lola: 891525 markings, 2480926 edges, 1353 markings/sec, 315 secs
lola: 902124 markings, 2516477 edges, 2120 markings/sec, 320 secs
lola: 913152 markings, 2547795 edges, 2206 markings/sec, 325 secs
lola: 923537 markings, 2572575 edges, 2077 markings/sec, 330 secs
lola: 933754 markings, 2604893 edges, 2043 markings/sec, 335 secs
lola: 944325 markings, 2636909 edges, 2114 markings/sec, 340 secs
lola: 954539 markings, 2666553 edges, 2043 markings/sec, 345 secs
lola: 975486 markings, 2734238 edges, 4189 markings/sec, 350 secs
lola: 989757 markings, 2772699 edges, 2854 markings/sec, 355 secs
lola: 998996 markings, 2794466 edges, 1848 markings/sec, 360 secs
lola: 1010081 markings, 2832436 edges, 2217 markings/sec, 365 secs
lola: 1020446 markings, 2860038 edges, 2073 markings/sec, 370 secs
lola: 1034117 markings, 2904068 edges, 2734 markings/sec, 375 secs
lola: 1054562 markings, 2967363 edges, 4089 markings/sec, 380 secs
lola: 1065362 markings, 2993288 edges, 2160 markings/sec, 385 secs
lola: 1075429 markings, 3024053 edges, 2013 markings/sec, 390 secs
lola: 1085935 markings, 3056208 edges, 2101 markings/sec, 395 secs
lola: 1096011 markings, 3085879 edges, 2015 markings/sec, 400 secs
lola: 1118763 markings, 3159984 edges, 4550 markings/sec, 405 secs
lola: 1130119 markings, 3186334 edges, 2271 markings/sec, 410 secs
lola: 1139903 markings, 3213932 edges, 1957 markings/sec, 415 secs
lola: 1150322 markings, 3247895 edges, 2084 markings/sec, 420 secs
lola: 1160696 markings, 3277309 edges, 2075 markings/sec, 425 secs
lola: 1182984 markings, 3350007 edges, 4458 markings/sec, 430 secs
lola: 1194128 markings, 3375837 edges, 2229 markings/sec, 435 secs
lola: 1203968 markings, 3403854 edges, 1968 markings/sec, 440 secs
lola: 1214380 markings, 3437142 edges, 2082 markings/sec, 445 secs
lola: 1224843 markings, 3467208 edges, 2093 markings/sec, 450 secs
lola: 1246406 markings, 3535238 edges, 4313 markings/sec, 455 secs
lola: 1257271 markings, 3561550 edges, 2173 markings/sec, 460 secs
lola: 1267431 markings, 3593032 edges, 2032 markings/sec, 465 secs
lola: 1277739 markings, 3622992 edges, 2062 markings/sec, 470 secs
lola: 1293732 markings, 3673907 edges, 3199 markings/sec, 475 secs
lola: 1309876 markings, 3720525 edges, 3229 markings/sec, 480 secs
lola: 1319433 markings, 3744291 edges, 1911 markings/sec, 485 secs
lola: 1330163 markings, 3780724 edges, 2146 markings/sec, 490 secs
lola: 1340613 markings, 3810129 edges, 2090 markings/sec, 495 secs
lola: 1361362 markings, 3874961 edges, 4150 markings/sec, 500 secs
lola: 1371884 markings, 3900066 edges, 2104 markings/sec, 505 secs
lola: 1382216 markings, 3933772 edges, 2066 markings/sec, 510 secs
lola: 1392457 markings, 3963441 edges, 2048 markings/sec, 515 secs
lola: 1412242 markings, 4027004 edges, 3957 markings/sec, 520 secs
lola: 1423374 markings, 4053121 edges, 2226 markings/sec, 525 secs
lola: 1433562 markings, 4085440 edges, 2038 markings/sec, 530 secs
lola: 1443706 markings, 4115357 edges, 2029 markings/sec, 535 secs
lola: 1463394 markings, 4176989 edges, 3938 markings/sec, 540 secs
lola: 1473923 markings, 4202050 edges, 2106 markings/sec, 545 secs
lola: 1484274 markings, 4236233 edges, 2070 markings/sec, 550 secs
lola: 1496392 markings, 4272164 edges, 2424 markings/sec, 555 secs
lola: 1514062 markings, 4324799 edges, 3534 markings/sec, 560 secs
lola: 1523941 markings, 4350554 edges, 1976 markings/sec, 565 secs
lola: 1534397 markings, 4383894 edges, 2091 markings/sec, 570 secs
lola: 1552781 markings, 4442962 edges, 3677 markings/sec, 575 secs
lola: 1563515 markings, 4467921 edges, 2147 markings/sec, 580 secs
lola: 1573736 markings, 4500486 edges, 2044 markings/sec, 585 secs
lola: 1587523 markings, 4542570 edges, 2757 markings/sec, 590 secs
lola: 1602413 markings, 4584459 edges, 2978 markings/sec, 595 secs
lola: 1612530 markings, 4614109 edges, 2023 markings/sec, 600 secs
lola: 1624064 markings, 4649345 edges, 2307 markings/sec, 605 secs
lola: 1640623 markings, 4697858 edges, 3312 markings/sec, 610 secs
lola: 1650615 markings, 4726312 edges, 1998 markings/sec, 615 secs
lola: 1662622 markings, 4763408 edges, 2401 markings/sec, 620 secs
lola: 1678187 markings, 4808279 edges, 3113 markings/sec, 625 secs
lola: 1688255 markings, 4838003 edges, 2014 markings/sec, 630 secs
lola: 1702780 markings, 4883712 edges, 2905 markings/sec, 635 secs
lola: 1715160 markings, 4915973 edges, 2476 markings/sec, 640 secs
lola: 1725215 markings, 4948170 edges, 2011 markings/sec, 645 secs
lola: 1741493 markings, 4997094 edges, 3256 markings/sec, 650 secs
lola: 1751657 markings, 5023833 edges, 2033 markings/sec, 655 secs
lola: 1764557 markings, 5064866 edges, 2580 markings/sec, 660 secs
lola: 1777833 markings, 5100932 edges, 2655 markings/sec, 665 secs
lola: 1787894 markings, 5132619 edges, 2012 markings/sec, 670 secs
lola: 1802597 markings, 5178841 edges, 2941 markings/sec, 675 secs
lola: 1813370 markings, 5215596 edges, 2155 markings/sec, 680 secs
lola: 1823191 markings, 5240329 edges, 1964 markings/sec, 685 secs
lola: 1830848 markings, 5256817 edges, 1531 markings/sec, 690 secs
lola: 1840132 markings, 5286569 edges, 1857 markings/sec, 695 secs
lola: 1846830 markings, 5304451 edges, 1340 markings/sec, 700 secs
lola: 1856123 markings, 5332236 edges, 1859 markings/sec, 705 secs
lola: 1878852 markings, 5406439 edges, 4546 markings/sec, 710 secs
lola: 1887053 markings, 5430190 edges, 1640 markings/sec, 715 secs
lola: 1897291 markings, 5454341 edges, 2048 markings/sec, 720 secs
lola: 1906821 markings, 5476721 edges, 1906 markings/sec, 725 secs
lola: 1917393 markings, 5512206 edges, 2114 markings/sec, 730 secs
lola: 1926989 markings, 5543408 edges, 1919 markings/sec, 735 secs
lola: 1937739 markings, 5579980 edges, 2150 markings/sec, 740 secs
lola: 1948141 markings, 5606204 edges, 2080 markings/sec, 745 secs
lola: 1958419 markings, 5640095 edges, 2056 markings/sec, 750 secs
lola: 1973288 markings, 5688027 edges, 2974 markings/sec, 755 secs
lola: 1992336 markings, 5748201 edges, 3810 markings/sec, 760 secs
lola: 2003315 markings, 5772902 edges, 2196 markings/sec, 765 secs
lola: 2012170 markings, 5793046 edges, 1771 markings/sec, 770 secs
lola: 2018728 markings, 5806844 edges, 1312 markings/sec, 775 secs
lola: 2026884 markings, 5830146 edges, 1631 markings/sec, 780 secs
lola: 2037446 markings, 5866018 edges, 2112 markings/sec, 785 secs
lola: 2043655 markings, 5883214 edges, 1242 markings/sec, 790 secs
lola: 2049151 markings, 5897592 edges, 1099 markings/sec, 795 secs
lola: 2055027 markings, 5912907 edges, 1175 markings/sec, 800 secs
lola: 2066090 markings, 5950687 edges, 2213 markings/sec, 805 secs
lola: 2077350 markings, 5981470 edges, 2252 markings/sec, 810 secs
lola: 2087456 markings, 6005389 edges, 2021 markings/sec, 815 secs
lola: 2097851 markings, 6039546 edges, 2079 markings/sec, 820 secs
lola: 2107474 markings, 6070794 edges, 1925 markings/sec, 825 secs
lola: 2118150 markings, 6107150 edges, 2135 markings/sec, 830 secs
lola: 2128347 markings, 6132918 edges, 2039 markings/sec, 835 secs
lola: 2138815 markings, 6167847 edges, 2094 markings/sec, 840 secs
lola: 2155882 markings, 6222347 edges, 3413 markings/sec, 845 secs
lola: 2173205 markings, 6274353 edges, 3465 markings/sec, 850 secs
lola: 2183659 markings, 6299360 edges, 2091 markings/sec, 855 secs
lola: 2193768 markings, 6330994 edges, 2022 markings/sec, 860 secs
lola: 2203225 markings, 6361715 edges, 1891 markings/sec, 865 secs
lola: 2214223 markings, 6399257 edges, 2200 markings/sec, 870 secs
lola: 2224442 markings, 6425569 edges, 2044 markings/sec, 875 secs
lola: 2234853 markings, 6460355 edges, 2082 markings/sec, 880 secs
lola: 2253443 markings, 6520203 edges, 3718 markings/sec, 885 secs
lola: 2268814 markings, 6564047 edges, 3074 markings/sec, 890 secs
lola: 2278712 markings, 6587379 edges, 1980 markings/sec, 895 secs
lola: 2289152 markings, 6622202 edges, 2088 markings/sec, 900 secs
lola: 2299015 markings, 6654458 edges, 1973 markings/sec, 905 secs
lola: 2309374 markings, 6689325 edges, 2072 markings/sec, 910 secs
lola: 2319834 markings, 6717259 edges, 2092 markings/sec, 915 secs
lola: 2330482 markings, 6751707 edges, 2130 markings/sec, 920 secs
lola: 2352192 markings, 6822781 edges, 4342 markings/sec, 925 secs
lola: 2363551 markings, 6849012 edges, 2272 markings/sec, 930 secs
lola: 2373245 markings, 6876334 edges, 1939 markings/sec, 935 secs
lola: 2383321 markings, 6909847 edges, 2015 markings/sec, 940 secs
lola: 2393948 markings, 6945598 edges, 2125 markings/sec, 945 secs
lola: 2404170 markings, 6973187 edges, 2044 markings/sec, 950 secs
lola: 2414452 markings, 7007391 edges, 2056 markings/sec, 955 secs
lola: 2435611 markings, 7076252 edges, 4232 markings/sec, 960 secs
lola: 2447276 markings, 7105027 edges, 2333 markings/sec, 965 secs
lola: 2456749 markings, 7129943 edges, 1895 markings/sec, 970 secs
lola: 2467191 markings, 7165298 edges, 2088 markings/sec, 975 secs
lola: 2477451 markings, 7199248 edges, 2052 markings/sec, 980 secs
lola: 2487606 markings, 7227786 edges, 2031 markings/sec, 985 secs
lola: 2497807 markings, 7261136 edges, 2040 markings/sec, 990 secs
lola: 2519420 markings, 7331565 edges, 4323 markings/sec, 995 secs
lola: 2530045 markings, 7356198 edges, 2125 markings/sec, 1000 secs
lola: 2539749 markings, 7383311 edges, 1941 markings/sec, 1005 secs
lola: 2549533 markings, 7415510 edges, 1957 markings/sec, 1010 secs
lola: 2560109 markings, 7451393 edges, 2115 markings/sec, 1015 secs
lola: 2570316 markings, 7479832 edges, 2041 markings/sec, 1020 secs
lola: 2583146 markings, 7521838 edges, 2566 markings/sec, 1025 secs
lola: 2601445 markings, 7577488 edges, 3660 markings/sec, 1030 secs
lola: 2611732 markings, 7602036 edges, 2057 markings/sec, 1035 secs
lola: 2621822 markings, 7634882 edges, 2018 markings/sec, 1040 secs
lola: 2631808 markings, 7667786 edges, 1997 markings/sec, 1045 secs
lola: 2641997 markings, 7699341 edges, 2038 markings/sec, 1050 secs
lola: 2652148 markings, 7730774 edges, 2030 markings/sec, 1055 secs
lola: 2672149 markings, 7795679 edges, 4000 markings/sec, 1060 secs
lola: 2683316 markings, 7821540 edges, 2233 markings/sec, 1065 secs
lola: 2693405 markings, 7852203 edges, 2018 markings/sec, 1070 secs
lola: 2703385 markings, 7885022 edges, 1996 markings/sec, 1075 secs
lola: 2713868 markings, 7918585 edges, 2097 markings/sec, 1080 secs
lola: 2724117 markings, 7949914 edges, 2050 markings/sec, 1085 secs
lola: 2743708 markings, 8011805 edges, 3918 markings/sec, 1090 secs
lola: 2754695 markings, 8037899 edges, 2197 markings/sec, 1095 secs
lola: 2764935 markings, 8070594 edges, 2048 markings/sec, 1100 secs
lola: 2775087 markings, 8104123 edges, 2030 markings/sec, 1105 secs
lola: 2785166 markings, 8133782 edges, 2016 markings/sec, 1110 secs
lola: 2799783 markings, 8181151 edges, 2923 markings/sec, 1115 secs
lola: 2815360 markings, 8226214 edges, 3115 markings/sec, 1120 secs
lola: 2825142 markings, 8251764 edges, 1956 markings/sec, 1125 secs
lola: 2835061 markings, 8284433 edges, 1984 markings/sec, 1130 secs
lola: 2845768 markings, 8320814 edges, 2141 markings/sec, 1135 secs
lola: 2855960 markings, 8350986 edges, 2038 markings/sec, 1140 secs
lola: 2874938 markings, 8409294 edges, 3796 markings/sec, 1145 secs
lola: 2884955 markings, 8433065 edges, 2003 markings/sec, 1150 secs
lola: 2895498 markings, 8468648 edges, 2109 markings/sec, 1155 secs
lola: 2905793 markings, 8502889 edges, 2059 markings/sec, 1160 secs
lola: 2915869 markings, 8533113 edges, 2015 markings/sec, 1165 secs
lola: 2934332 markings, 8589610 edges, 3693 markings/sec, 1170 secs
lola: 2944124 markings, 8612840 edges, 1958 markings/sec, 1175 secs
lola: 2954713 markings, 8648586 edges, 2118 markings/sec, 1180 secs
lola: 2965073 markings, 8683324 edges, 2072 markings/sec, 1185 secs
lola: 2977920 markings, 8722050 edges, 2569 markings/sec, 1190 secs
lola: 2993443 markings, 8766988 edges, 3105 markings/sec, 1195 secs
lola: 3003461 markings, 8794922 edges, 2004 markings/sec, 1200 secs
lola: 3013623 markings, 8828599 edges, 2032 markings/sec, 1205 secs
lola: 3023792 markings, 8860248 edges, 2034 markings/sec, 1210 secs
lola: 3040733 markings, 8914057 edges, 3388 markings/sec, 1215 secs
lola: 3051252 markings, 8938709 edges, 2104 markings/sec, 1220 secs
lola: 3061518 markings, 8972892 edges, 2053 markings/sec, 1225 secs
lola: 3071874 markings, 9007314 edges, 2071 markings/sec, 1230 secs
lola: 3088959 markings, 9061425 edges, 3417 markings/sec, 1235 secs
lola: 3099161 markings, 9085160 edges, 2040 markings/sec, 1240 secs
lola: 3109322 markings, 9118146 edges, 2032 markings/sec, 1245 secs
lola: 3119515 markings, 9151981 edges, 2039 markings/sec, 1250 secs
lola: 3135802 markings, 9203086 edges, 3257 markings/sec, 1255 secs
lola: 3146132 markings, 9227003 edges, 2066 markings/sec, 1260 secs
lola: 3156090 markings, 9259655 edges, 1992 markings/sec, 1265 secs
lola: 3166629 markings, 9293680 edges, 2108 markings/sec, 1270 secs
lola: 3182826 markings, 9342868 edges, 3239 markings/sec, 1275 secs
lola: 3193029 markings, 9370473 edges, 2041 markings/sec, 1280 secs
lola: 3203312 markings, 9404766 edges, 2057 markings/sec, 1285 secs
lola: 3217443 markings, 9449578 edges, 2826 markings/sec, 1290 secs
lola: 3229111 markings, 9479489 edges, 2334 markings/sec, 1295 secs
lola: 3239027 markings, 9511439 edges, 1983 markings/sec, 1300 secs
lola: 3249727 markings, 9545875 edges, 2140 markings/sec, 1305 secs
lola: 3264105 markings, 9591645 edges, 2876 markings/sec, 1310 secs
lola: 3274764 markings, 9627882 edges, 2132 markings/sec, 1315 secs
lola: 3283594 markings, 9649208 edges, 1766 markings/sec, 1320 secs
lola: 3291724 markings, 9667413 edges, 1626 markings/sec, 1325 secs
lola: 3300543 markings, 9693940 edges, 1764 markings/sec, 1330 secs
lola: 3306842 markings, 9711611 edges, 1260 markings/sec, 1335 secs
lola: 3314644 markings, 9735335 edges, 1560 markings/sec, 1340 secs
lola: 3321470 markings, 9754878 edges, 1365 markings/sec, 1345 secs
lola: 3327988 markings, 9772659 edges, 1304 markings/sec, 1350 secs
lola: 3337118 markings, 9799736 edges, 1826 markings/sec, 1355 secs
lola: 3354273 markings, 9853497 edges, 3431 markings/sec, 1360 secs
lola: 3368289 markings, 9899321 edges, 2803 markings/sec, 1365 secs
lola: 3374118 markings, 9913359 edges, 1166 markings/sec, 1370 secs
lola: 3384982 markings, 9938971 edges, 2173 markings/sec, 1375 secs
lola: 3394098 markings, 9961339 edges, 1823 markings/sec, 1380 secs
lola: 3405148 markings, 9999104 edges, 2210 markings/sec, 1385 secs
lola: 3415008 markings, 10031221 edges, 1972 markings/sec, 1390 secs
lola: 3425295 markings, 10065904 edges, 2057 markings/sec, 1395 secs
lola: 3435637 markings, 10100084 edges, 2068 markings/sec, 1400 secs
lola: 3446134 markings, 10131322 edges, 2099 markings/sec, 1405 secs
lola: 3456299 markings, 10160534 edges, 2033 markings/sec, 1410 secs
lola: 3466257 markings, 10193294 edges, 1992 markings/sec, 1415 secs
lola: 3477381 markings, 10228863 edges, 2225 markings/sec, 1420 secs
lola: 3501131 markings, 10307093 edges, 4750 markings/sec, 1425 secs
lola: 3509514 markings, 10324316 edges, 1677 markings/sec, 1430 secs
lola: 3520102 markings, 10349681 edges, 2118 markings/sec, 1435 secs
lola: 3527072 markings, 10364628 edges, 1394 markings/sec, 1440 secs
lola: 3533390 markings, 10378191 edges, 1264 markings/sec, 1445 secs
lola: 3541462 markings, 10401880 edges, 1614 markings/sec, 1450 secs
lola: 3552006 markings, 10437684 edges, 2109 markings/sec, 1455 secs
lola: 3557921 markings, 10454535 edges, 1183 markings/sec, 1460 secs
lola: 3563314 markings, 10469268 edges, 1079 markings/sec, 1465 secs
lola: 3568750 markings, 10484091 edges, 1087 markings/sec, 1470 secs
lola: 3575021 markings, 10502011 edges, 1254 markings/sec, 1475 secs
lola: 3586052 markings, 10539700 edges, 2206 markings/sec, 1480 secs
lola: 3592854 markings, 10559882 edges, 1360 markings/sec, 1485 secs
lola: 3597960 markings, 10573296 edges, 1021 markings/sec, 1490 secs
lola: 3602992 markings, 10586645 edges, 1006 markings/sec, 1495 secs
lola: 3608107 markings, 10599995 edges, 1023 markings/sec, 1500 secs
lola: 3616078 markings, 10624448 edges, 1594 markings/sec, 1505 secs
lola: 3626528 markings, 10659810 edges, 2090 markings/sec, 1510 secs
lola: 3638081 markings, 10687624 edges, 2311 markings/sec, 1515 secs
lola: 3647430 markings, 10711817 edges, 1870 markings/sec, 1520 secs
lola: 3658202 markings, 10748512 edges, 2154 markings/sec, 1525 secs
lola: 3668267 markings, 10781442 edges, 2013 markings/sec, 1530 secs
lola: 3677838 markings, 10812693 edges, 1914 markings/sec, 1535 secs
lola: 3688758 markings, 10849840 edges, 2184 markings/sec, 1540 secs
lola: 3699211 markings, 10878684 edges, 2091 markings/sec, 1545 secs
lola: 3709064 markings, 10909054 edges, 1971 markings/sec, 1550 secs
lola: 3719584 markings, 10944306 edges, 2104 markings/sec, 1555 secs
lola: 3736576 markings, 10998313 edges, 3398 markings/sec, 1560 secs
lola: 3753259 markings, 11048687 edges, 3337 markings/sec, 1565 secs
lola: 3763922 markings, 11074240 edges, 2133 markings/sec, 1570 secs
lola: 3773928 markings, 11104757 edges, 2001 markings/sec, 1575 secs
lola: 3783330 markings, 11135145 edges, 1880 markings/sec, 1580 secs
lola: 3794375 markings, 11172973 edges, 2209 markings/sec, 1585 secs
lola: 3804323 markings, 11205566 edges, 1990 markings/sec, 1590 secs
lola: 3814477 markings, 11239155 edges, 2031 markings/sec, 1595 secs
lola: 3825130 markings, 11267681 edges, 2131 markings/sec, 1600 secs
lola: 3835043 markings, 11300224 edges, 1983 markings/sec, 1605 secs
lola: 3849048 markings, 11345832 edges, 2801 markings/sec, 1610 secs
lola: 3867650 markings, 11405246 edges, 3720 markings/sec, 1615 secs
lola: 3879188 markings, 11432163 edges, 2308 markings/sec, 1620 secs
lola: 3888979 markings, 11460238 edges, 1958 markings/sec, 1625 secs
lola: 3898977 markings, 11493404 edges, 2000 markings/sec, 1630 secs
lola: 3909569 markings, 11528971 edges, 2118 markings/sec, 1635 secs
lola: 3919361 markings, 11560988 edges, 1958 markings/sec, 1640 secs
lola: 3929615 markings, 11595326 edges, 2051 markings/sec, 1645 secs
lola: 3940118 markings, 11623544 edges, 2101 markings/sec, 1650 secs
lola: 3950221 markings, 11656878 edges, 2021 markings/sec, 1655 secs
lola: 3966084 markings, 11707702 edges, 3173 markings/sec, 1660 secs
lola: 3982923 markings, 11758651 edges, 3368 markings/sec, 1665 secs
lola: 3993466 markings, 11783939 edges, 2109 markings/sec, 1670 secs
lola: 4003639 markings, 11815996 edges, 2035 markings/sec, 1675 secs
lola: 4013326 markings, 11847578 edges, 1937 markings/sec, 1680 secs
lola: 4023926 markings, 11883539 edges, 2120 markings/sec, 1685 secs
lola: 4033984 markings, 11916699 edges, 2012 markings/sec, 1690 secs
lola: 4044337 markings, 11946844 edges, 2071 markings/sec, 1695 secs
lola: 4054491 markings, 11978443 edges, 2031 markings/sec, 1700 secs
lola: 4064927 markings, 12012291 edges, 2087 markings/sec, 1705 secs
lola: 4086188 markings, 12081691 edges, 4252 markings/sec, 1710 secs
lola: 4096992 markings, 12106745 edges, 2161 markings/sec, 1715 secs
lola: 4106505 markings, 12133076 edges, 1903 markings/sec, 1720 secs
lola: 4116657 markings, 12166867 edges, 2030 markings/sec, 1725 secs
lola: 4127218 markings, 12202303 edges, 2112 markings/sec, 1730 secs
lola: 4137292 markings, 12235432 edges, 2015 markings/sec, 1735 secs
lola: 4147653 markings, 12267777 edges, 2072 markings/sec, 1740 secs
lola: 4157799 markings, 12297741 edges, 2029 markings/sec, 1745 secs
lola: 4167884 markings, 12330794 edges, 2017 markings/sec, 1750 secs
lola: 4188764 markings, 12398750 edges, 4176 markings/sec, 1755 secs
lola: 4199861 markings, 12424432 edges, 2219 markings/sec, 1760 secs
lola: 4209767 markings, 12453069 edges, 1981 markings/sec, 1765 secs
lola: 4219339 markings, 12484334 edges, 1914 markings/sec, 1770 secs
lola: 4230107 markings, 12521041 edges, 2154 markings/sec, 1775 secs
lola: 4240361 markings, 12554839 edges, 2051 markings/sec, 1780 secs
lola: 4250611 markings, 12584382 edges, 2050 markings/sec, 1785 secs
lola: 4260827 markings, 12617505 edges, 2043 markings/sec, 1790 secs
lola: 4277248 markings, 12670481 edges, 3284 markings/sec, 1795 secs
lola: 4292198 markings, 12713478 edges, 2990 markings/sec, 1800 secs
lola: 4301759 markings, 12736053 edges, 1912 markings/sec, 1805 secs
lola: 4312626 markings, 12773142 edges, 2173 markings/sec, 1810 secs
lola: 4322883 markings, 12807004 edges, 2051 markings/sec, 1815 secs
lola: 4332858 markings, 12839769 edges, 1995 markings/sec, 1820 secs
lola: 4343311 markings, 12873156 edges, 2091 markings/sec, 1825 secs
lola: 4353609 markings, 12904123 edges, 2060 markings/sec, 1830 secs
lola: 4368577 markings, 12952386 edges, 2994 markings/sec, 1835 secs
lola: 4384297 markings, 12998583 edges, 3144 markings/sec, 1840 secs
lola: 4393945 markings, 13021418 edges, 1930 markings/sec, 1845 secs
lola: 4404731 markings, 13058101 edges, 2157 markings/sec, 1850 secs
lola: 4414994 markings, 13092067 edges, 2053 markings/sec, 1855 secs
lola: 4425087 markings, 13125335 edges, 2019 markings/sec, 1860 secs
lola: 4435445 markings, 13157140 edges, 2072 markings/sec, 1865 secs
lola: 4445695 markings, 13189461 edges, 2050 markings/sec, 1870 secs
lola: 4465063 markings, 13252785 edges, 3874 markings/sec, 1875 secs
lola: 4476057 markings, 13279638 edges, 2199 markings/sec, 1880 secs
lola: 4486000 markings, 13307855 edges, 1989 markings/sec, 1885 secs
lola: 4495897 markings, 13340396 edges, 1979 markings/sec, 1890 secs
lola: 4506253 markings, 13375079 edges, 2071 markings/sec, 1895 secs
lola: 4516762 markings, 13410351 edges, 2102 markings/sec, 1900 secs
lola: 4526980 markings, 13440118 edges, 2044 markings/sec, 1905 secs
lola: 4542369 markings, 13489978 edges, 3078 markings/sec, 1910 secs
lola: 4556746 markings, 13530787 edges, 2875 markings/sec, 1915 secs
lola: 4566539 markings, 13556353 edges, 1959 markings/sec, 1920 secs
lola: 4576470 markings, 13589047 edges, 1986 markings/sec, 1925 secs
lola: 4587192 markings, 13625467 edges, 2144 markings/sec, 1930 secs
lola: 4597518 markings, 13659763 edges, 2065 markings/sec, 1935 secs
lola: 4607682 markings, 13689851 edges, 2033 markings/sec, 1940 secs
lola: 4624247 markings, 13743744 edges, 3313 markings/sec, 1945 secs
lola: 4636691 markings, 13776830 edges, 2489 markings/sec, 1950 secs
lola: 4646668 markings, 13804929 edges, 1995 markings/sec, 1955 secs
lola: 4656718 markings, 13838097 edges, 2010 markings/sec, 1960 secs
lola: 4666677 markings, 13870972 edges, 1992 markings/sec, 1965 secs
lola: 4677232 markings, 13906252 edges, 2111 markings/sec, 1970 secs
lola: 4687493 markings, 13937467 edges, 2052 markings/sec, 1975 secs
lola: 4705466 markings, 13992748 edges, 3595 markings/sec, 1980 secs
lola: 4715675 markings, 14016979 edges, 2042 markings/sec, 1985 secs
lola: 4726149 markings, 14052244 edges, 2095 markings/sec, 1990 secs
lola: 4736427 markings, 14086365 edges, 2056 markings/sec, 1995 secs
lola: 4746680 markings, 14120432 edges, 2051 markings/sec, 2000 secs
lola: 4756701 markings, 14150657 edges, 2004 markings/sec, 2005 secs
lola: 4773740 markings, 14205066 edges, 3408 markings/sec, 2010 secs
lola: 4784207 markings, 14229485 edges, 2093 markings/sec, 2015 secs
lola: 4794429 markings, 14262992 edges, 2044 markings/sec, 2020 secs
lola: 4804689 markings, 14297027 edges, 2052 markings/sec, 2025 secs
lola: 4814848 markings, 14330726 edges, 2032 markings/sec, 2030 secs
lola: 4824850 markings, 14361296 edges, 2000 markings/sec, 2035 secs
lola: 4842043 markings, 14413436 edges, 3439 markings/sec, 2040 secs
lola: 4852088 markings, 14438695 edges, 2009 markings/sec, 2045 secs
lola: 4862299 markings, 14472581 edges, 2042 markings/sec, 2050 secs
lola: 4872519 markings, 14506557 edges, 2044 markings/sec, 2055 secs
lola: 4882871 markings, 14539615 edges, 2070 markings/sec, 2060 secs
lola: 4899324 markings, 14592827 edges, 3291 markings/sec, 2065 secs
lola: 4909727 markings, 14618041 edges, 2081 markings/sec, 2070 secs
lola: 4919891 markings, 14650055 edges, 2033 markings/sec, 2075 secs
lola: 4930118 markings, 14684000 edges, 2045 markings/sec, 2080 secs
lola: 4940351 markings, 14717981 edges, 2047 markings/sec, 2085 secs
lola: 4954719 markings, 14762639 edges, 2874 markings/sec, 2090 secs
lola: 4966911 markings, 14794919 edges, 2438 markings/sec, 2095 secs
lola: 4977062 markings, 14826329 edges, 2030 markings/sec, 2100 secs
lola: 4987256 markings, 14860180 edges, 2039 markings/sec, 2105 secs
lola: 4997318 markings, 14893574 edges, 2012 markings/sec, 2110 secs
lola: 5013252 markings, 14943739 edges, 3187 markings/sec, 2115 secs
lola: 5023202 markings, 14966892 edges, 1990 markings/sec, 2120 secs
lola: 5032988 markings, 14998621 edges, 1957 markings/sec, 2125 secs
lola: 5043491 markings, 15033772 edges, 2101 markings/sec, 2130 secs
lola: 5053731 markings, 15066529 edges, 2048 markings/sec, 2135 secs
lola: 5069406 markings, 15112737 edges, 3135 markings/sec, 2140 secs
lola: 5079489 markings, 15141662 edges, 2017 markings/sec, 2145 secs
lola: 5089707 markings, 15175673 edges, 2044 markings/sec, 2150 secs
lola: 5099833 markings, 15209003 edges, 2025 markings/sec, 2155 secs
lola: 5114134 markings, 15252951 edges, 2860 markings/sec, 2160 secs
lola: 5124789 markings, 15288808 edges, 2131 markings/sec, 2165 secs
lola: 5133331 markings, 15314970 edges, 1708 markings/sec, 2170 secs
lola: 5141780 markings, 15333737 edges, 1690 markings/sec, 2175 secs
lola: 5149007 markings, 15349713 edges, 1445 markings/sec, 2180 secs
lola: 5157563 markings, 15375445 edges, 1711 markings/sec, 2185 secs
lola: 5163835 markings, 15393625 edges, 1254 markings/sec, 2190 secs
lola: 5169264 markings, 15408311 edges, 1086 markings/sec, 2195 secs
lola: 5178231 markings, 15437471 edges, 1793 markings/sec, 2200 secs
lola: 5183125 markings, 15450268 edges, 979 markings/sec, 2205 secs
lola: 5188351 markings, 15464151 edges, 1045 markings/sec, 2210 secs
lola: 5197012 markings, 15492067 edges, 1732 markings/sec, 2215 secs
lola: 5202163 markings, 15504672 edges, 1030 markings/sec, 2220 secs
lola: 5209387 markings, 15525847 edges, 1445 markings/sec, 2225 secs
lola: 5217728 markings, 15549361 edges, 1668 markings/sec, 2230 secs
lola: 5228541 markings, 15581843 edges, 2163 markings/sec, 2235 secs
lola: 5249628 markings, 15650664 edges, 4217 markings/sec, 2240 secs
lola: 5254770 markings, 15663643 edges, 1028 markings/sec, 2245 secs
lola: 5259975 markings, 15677175 edges, 1041 markings/sec, 2250 secs
lola: 5270933 markings, 15702889 edges, 2192 markings/sec, 2255 secs
lola: 5280127 markings, 15725843 edges, 1839 markings/sec, 2260 secs
lola: 5291170 markings, 15763544 edges, 2209 markings/sec, 2265 secs
lola: 5301109 markings, 15795993 edges, 1988 markings/sec, 2270 secs
lola: 5311359 markings, 15830421 edges, 2050 markings/sec, 2275 secs
lola: 5321770 markings, 15864871 edges, 2082 markings/sec, 2280 secs
lola: 5331266 markings, 15895700 edges, 1899 markings/sec, 2285 secs
lola: 5342160 markings, 15932804 edges, 2179 markings/sec, 2290 secs
lola: 5352259 markings, 15959181 edges, 2020 markings/sec, 2295 secs
lola: 5362010 markings, 15989788 edges, 1950 markings/sec, 2300 secs
lola: 5372555 markings, 16025093 edges, 2109 markings/sec, 2305 secs
lola: 5382782 markings, 16059216 edges, 2045 markings/sec, 2310 secs
lola: 5400718 markings, 16115798 edges, 3587 markings/sec, 2315 secs
lola: 5415360 markings, 16160753 edges, 2928 markings/sec, 2320 secs
lola: 5424971 markings, 16181652 edges, 1922 markings/sec, 2325 secs
lola: 5434863 markings, 16204896 edges, 1978 markings/sec, 2330 secs
lola: 5440972 markings, 16217922 edges, 1222 markings/sec, 2335 secs
lola: 5447298 markings, 16231909 edges, 1265 markings/sec, 2340 secs
lola: 5453905 markings, 16249574 edges, 1321 markings/sec, 2345 secs
lola: 5464935 markings, 16287233 edges, 2206 markings/sec, 2350 secs
lola: 5471771 markings, 16307914 edges, 1367 markings/sec, 2355 secs
lola: 5477085 markings, 16322926 edges, 1063 markings/sec, 2360 secs
lola: 5482271 markings, 16337430 edges, 1037 markings/sec, 2365 secs
lola: 5487564 markings, 16352467 edges, 1059 markings/sec, 2370 secs
lola: 5493300 markings, 16368532 edges, 1147 markings/sec, 2375 secs
lola: 5504376 markings, 16406503 edges, 2215 markings/sec, 2380 secs
lola: 5511345 markings, 16427794 edges, 1394 markings/sec, 2385 secs
lola: 5516236 markings, 16441176 edges, 978 markings/sec, 2390 secs
lola: 5521183 markings, 16454722 edges, 989 markings/sec, 2395 secs
lola: 5526200 markings, 16468267 edges, 1003 markings/sec, 2400 secs
lola: 5531095 markings, 16481605 edges, 979 markings/sec, 2405 secs
lola: 5536961 markings, 16498173 edges, 1173 markings/sec, 2410 secs
lola: 5548076 markings, 16536156 edges, 2223 markings/sec, 2415 secs
lola: 5554834 markings, 16556494 edges, 1352 markings/sec, 2420 secs
lola: 5559735 markings, 16569353 edges, 980 markings/sec, 2425 secs
lola: 5564571 markings, 16582165 edges, 967 markings/sec, 2430 secs
lola: 5569536 markings, 16595029 edges, 993 markings/sec, 2435 secs
lola: 5574443 markings, 16608034 edges, 981 markings/sec, 2440 secs
lola: 5579753 markings, 16621691 edges, 1062 markings/sec, 2445 secs
lola: 5590986 markings, 16660323 edges, 2247 markings/sec, 2450 secs
lola: 5602271 markings, 16690743 edges, 2257 markings/sec, 2455 secs
lola: 5612200 markings, 16714089 edges, 1986 markings/sec, 2460 secs
lola: 5622668 markings, 16748976 edges, 2094 markings/sec, 2465 secs
lola: 5632289 markings, 16780228 edges, 1924 markings/sec, 2470 secs
lola: 5642988 markings, 16816554 edges, 2140 markings/sec, 2475 secs
lola: 5653136 markings, 16849886 edges, 2030 markings/sec, 2480 secs
lola: 5662509 markings, 16880068 edges, 1875 markings/sec, 2485 secs
lola: 5673644 markings, 16918236 edges, 2227 markings/sec, 2490 secs
lola: 5684093 markings, 16946571 edges, 2090 markings/sec, 2495 secs
lola: 5694081 markings, 16977862 edges, 1998 markings/sec, 2500 secs
lola: 5704545 markings, 17012868 edges, 2093 markings/sec, 2505 secs
lola: 5714664 markings, 17046017 edges, 2024 markings/sec, 2510 secs
lola: 5736052 markings, 17115004 edges, 4278 markings/sec, 2515 secs
lola: 5748399 markings, 17148008 edges, 2469 markings/sec, 2520 secs
lola: 5758493 markings, 17171901 edges, 2019 markings/sec, 2525 secs
lola: 5768868 markings, 17206127 edges, 2075 markings/sec, 2530 secs
lola: 5778322 markings, 17236818 edges, 1891 markings/sec, 2535 secs
lola: 5788855 markings, 17272603 edges, 2107 markings/sec, 2540 secs
lola: 5799049 markings, 17306064 edges, 2039 markings/sec, 2545 secs
lola: 5808492 markings, 17336739 edges, 1889 markings/sec, 2550 secs
lola: 5819426 markings, 17374053 edges, 2187 markings/sec, 2555 secs
lola: 5829682 markings, 17400774 edges, 2051 markings/sec, 2560 secs
lola: 5839897 markings, 17434437 edges, 2043 markings/sec, 2565 secs
lola: 5849987 markings, 17467854 edges, 2018 markings/sec, 2570 secs
lola: 5862776 markings, 17509017 edges, 2558 markings/sec, 2575 secs
lola: 5882492 markings, 17573087 edges, 3943 markings/sec, 2580 secs
lola: 5893639 markings, 17598730 edges, 2229 markings/sec, 2585 secs
lola: 5903231 markings, 17624534 edges, 1918 markings/sec, 2590 secs
lola: 5913540 markings, 17659534 edges, 2062 markings/sec, 2595 secs
lola: 5923842 markings, 17693456 edges, 2060 markings/sec, 2600 secs
lola: 5933521 markings, 17725030 edges, 1936 markings/sec, 2605 secs
lola: 5944190 markings, 17761208 edges, 2134 markings/sec, 2610 secs
lola: 5954462 markings, 17795141 edges, 2054 markings/sec, 2615 secs
lola: 5964892 markings, 17825911 edges, 2086 markings/sec, 2620 secs
lola: 5974846 markings, 17855653 edges, 1991 markings/sec, 2625 secs
lola: 5985215 markings, 17890431 edges, 2074 markings/sec, 2630 secs
lola: 5996930 markings, 17928035 edges, 2343 markings/sec, 2635 secs
lola: 6017226 markings, 17994062 edges, 4059 markings/sec, 2640 secs
lola: 6028175 markings, 18019321 edges, 2190 markings/sec, 2645 secs
lola: 6037838 markings, 18045666 edges, 1933 markings/sec, 2650 secs
lola: 6048232 markings, 18080743 edges, 2079 markings/sec, 2655 secs
lola: 6058601 markings, 18115126 edges, 2074 markings/sec, 2660 secs
lola: 6068489 markings, 18147425 edges, 1978 markings/sec, 2665 secs
lola: 6078660 markings, 18181444 edges, 2034 markings/sec, 2670 secs
lola: 6089205 markings, 18216737 edges, 2109 markings/sec, 2675 secs
lola: 6099458 markings, 18244840 edges, 2051 markings/sec, 2680 secs
lola: 6109775 markings, 18278566 edges, 2063 markings/sec, 2685 secs
lola: 6120049 markings, 18312603 edges, 2055 markings/sec, 2690 secs
lola: 6138256 markings, 18371183 edges, 3641 markings/sec, 2695 secs
lola: 6151927 markings, 18409723 edges, 2734 markings/sec, 2700 secs
lola: 6161955 markings, 18433348 edges, 2006 markings/sec, 2705 secs
lola: 6172442 markings, 18468461 edges, 2097 markings/sec, 2710 secs
lola: 6182465 markings, 18501321 edges, 2005 markings/sec, 2715 secs
lola: 6191987 markings, 18532199 edges, 1904 markings/sec, 2720 secs
lola: 6202993 markings, 18569926 edges, 2201 markings/sec, 2725 secs
lola: 6213199 markings, 18603487 edges, 2041 markings/sec, 2730 secs
lola: 6223591 markings, 18634555 edges, 2078 markings/sec, 2735 secs
lola: 6233804 markings, 18666044 edges, 2043 markings/sec, 2740 secs
lola: 6244088 markings, 18700155 edges, 2057 markings/sec, 2745 secs
lola: 6262546 markings, 18759832 edges, 3692 markings/sec, 2750 secs
lola: 6275550 markings, 18795530 edges, 2601 markings/sec, 2755 secs
lola: 6285105 markings, 18818057 edges, 1911 markings/sec, 2760 secs
lola: 6295968 markings, 18855082 edges, 2173 markings/sec, 2765 secs
lola: 6306166 markings, 18888671 edges, 2040 markings/sec, 2770 secs
lola: 6315991 markings, 18920886 edges, 1965 markings/sec, 2775 secs
lola: 6326425 markings, 18956032 edges, 2087 markings/sec, 2780 secs
lola: 6336856 markings, 18990770 edges, 2086 markings/sec, 2785 secs
lola: 6347023 markings, 19018759 edges, 2033 markings/sec, 2790 secs
lola: 6357397 markings, 19053263 edges, 2075 markings/sec, 2795 secs
lola: 6369745 markings, 19093610 edges, 2470 markings/sec, 2800 secs
lola: 6387354 markings, 19149298 edges, 3522 markings/sec, 2805 secs
lola: 6398628 markings, 19175696 edges, 2255 markings/sec, 2810 secs
lola: 6408755 markings, 19206874 edges, 2025 markings/sec, 2815 secs
lola: 6418659 markings, 19239427 edges, 1981 markings/sec, 2820 secs
lola: 6428664 markings, 19272495 edges, 2001 markings/sec, 2825 secs
lola: 6439345 markings, 19308664 edges, 2136 markings/sec, 2830 secs
lola: 6449558 markings, 19342348 edges, 2043 markings/sec, 2835 secs
lola: 6459754 markings, 19371951 edges, 2039 markings/sec, 2840 secs
lola: 6470022 markings, 19405212 edges, 2054 markings/sec, 2845 secs
lola: 6482837 markings, 19447149 edges, 2563 markings/sec, 2850 secs
lola: 6499962 markings, 19499541 edges, 3425 markings/sec, 2855 secs
lola: 6510639 markings, 19525097 edges, 2135 markings/sec, 2860 secs
lola: 6520665 markings, 19557266 edges, 2005 markings/sec, 2865 secs
lola: 6530675 markings, 19590225 edges, 2002 markings/sec, 2870 secs
lola: 6540379 markings, 19622068 edges, 1941 markings/sec, 2875 secs
lola: 6550908 markings, 19657671 edges, 2106 markings/sec, 2880 secs
lola: 6561282 markings, 19692156 edges, 2075 markings/sec, 2885 secs
lola: 6571472 markings, 19721377 edges, 2038 markings/sec, 2890 secs
lola: 6581562 markings, 19754757 edges, 2018 markings/sec, 2895 secs
lola: 6600600 markings, 19816927 edges, 3808 markings/sec, 2900 secs
lola: 6611316 markings, 19843451 edges, 2143 markings/sec, 2905 secs
lola: 6620886 markings, 19869387 edges, 1914 markings/sec, 2910 secs
lola: 6630469 markings, 19900690 edges, 1917 markings/sec, 2915 secs
lola: 6641202 markings, 19937295 edges, 2147 markings/sec, 2920 secs
lola: 6651401 markings, 19971120 edges, 2040 markings/sec, 2925 secs
lola: 6661444 markings, 20004238 edges, 2009 markings/sec, 2930 secs
lola: 6671464 markings, 20033883 edges, 2004 markings/sec, 2935 secs
lola: 6681743 markings, 20067761 edges, 2056 markings/sec, 2940 secs
lola: 6699928 markings, 20126930 edges, 3637 markings/sec, 2945 secs
lola: 6711022 markings, 20155123 edges, 2219 markings/sec, 2950 secs
lola: 6720709 markings, 20181723 edges, 1937 markings/sec, 2955 secs
lola: 6730372 markings, 20213505 edges, 1933 markings/sec, 2960 secs
lola: 6740739 markings, 20248533 edges, 2073 markings/sec, 2965 secs
lola: 6751009 markings, 20282706 edges, 2054 markings/sec, 2970 secs
lola: 6761173 markings, 20316413 edges, 2033 markings/sec, 2975 secs
lola: 6771158 markings, 20345928 edges, 1997 markings/sec, 2980 secs
lola: 6781530 markings, 20379861 edges, 2074 markings/sec, 2985 secs
lola: 6799229 markings, 20434807 edges, 3540 markings/sec, 2990 secs
lola: 6809739 markings, 20459962 edges, 2102 markings/sec, 2995 secs
lola: 6820039 markings, 20493673 edges, 2060 markings/sec, 3000 secs
lola: 6830277 markings, 20527618 edges, 2048 markings/sec, 3005 secs
lola: 6840470 markings, 20561311 edges, 2039 markings/sec, 3010 secs
lola: 6850584 markings, 20594816 edges, 2023 markings/sec, 3015 secs
lola: 6860713 markings, 20625307 edges, 2026 markings/sec, 3020 secs
lola: 6870860 markings, 20658954 edges, 2029 markings/sec, 3025 secs
lola: 6888242 markings, 20712518 edges, 3476 markings/sec, 3030 secs
lola: 6898797 markings, 20737651 edges, 2111 markings/sec, 3035 secs
lola: 6909115 markings, 20772088 edges, 2064 markings/sec, 3040 secs
lola: 6919400 markings, 20806248 edges, 2057 markings/sec, 3045 secs
lola: 6929641 markings, 20840190 edges, 2048 markings/sec, 3050 secs
lola: 6939881 markings, 20874130 edges, 2048 markings/sec, 3055 secs
lola: 6949924 markings, 20904554 edges, 2009 markings/sec, 3060 secs
lola: 6965535 markings, 20955146 edges, 3122 markings/sec, 3065 secs
lola: 6977713 markings, 20987697 edges, 2436 markings/sec, 3070 secs
lola: 6987787 markings, 21016597 edges, 2015 markings/sec, 3075 secs
lola: 6997971 markings, 21050355 edges, 2037 markings/sec, 3080 secs
lola: 7008138 markings, 21084051 edges, 2033 markings/sec, 3085 secs
lola: 7018313 markings, 21117792 edges, 2035 markings/sec, 3090 secs
lola: 7028532 markings, 21149454 edges, 2044 markings/sec, 3095 secs
lola: 7042368 markings, 21194068 edges, 2767 markings/sec, 3100 secs
lola: 7055434 markings, 21230880 edges, 2613 markings/sec, 3105 secs
lola: 7065353 markings, 21258449 edges, 1984 markings/sec, 3110 secs
lola: 7075568 markings, 21292384 edges, 2043 markings/sec, 3115 secs
lola: 7085788 markings, 21326312 edges, 2044 markings/sec, 3120 secs
lola: 7096023 markings, 21360285 edges, 2047 markings/sec, 3125 secs
lola: 7106133 markings, 21391690 edges, 2022 markings/sec, 3130 secs
lola: 7123118 markings, 21447032 edges, 3397 markings/sec, 3135 secs
lola: 7132889 markings, 21469812 edges, 1954 markings/sec, 3140 secs
lola: 7143034 markings, 21501894 edges, 2029 markings/sec, 3145 secs
lola: 7153219 markings, 21535692 edges, 2037 markings/sec, 3150 secs
lola: 7163363 markings, 21569346 edges, 2029 markings/sec, 3155 secs
lola: 7173456 markings, 21602910 edges, 2019 markings/sec, 3160 secs
lola: 7185555 markings, 21639766 edges, 2420 markings/sec, 3165 secs
lola: 7199210 markings, 21678909 edges, 2731 markings/sec, 3170 secs
lola: 7209152 markings, 21707239 edges, 1988 markings/sec, 3175 secs
lola: 7219254 markings, 21740850 edges, 2020 markings/sec, 3180 secs
lola: 7229331 markings, 21774371 edges, 2015 markings/sec, 3185 secs
lola: 7239426 markings, 21807970 edges, 2019 markings/sec, 3190 secs
lola: 7250868 markings, 21842993 edges, 2288 markings/sec, 3195 secs
lola: 7264882 markings, 21883282 edges, 2803 markings/sec, 3200 secs
lola: 7274795 markings, 21912136 edges, 1983 markings/sec, 3205 secs
lola: 7284866 markings, 21945639 edges, 2014 markings/sec, 3210 secs
lola: 7294972 markings, 21979239 edges, 2021 markings/sec, 3215 secs
lola: 7305052 markings, 22012421 edges, 2016 markings/sec, 3220 secs
lola: 7320363 markings, 22060621 edges, 3062 markings/sec, 3225 secs
lola: 7330139 markings, 22083302 edges, 1955 markings/sec, 3230 secs
lola: 7340192 markings, 22116548 edges, 2011 markings/sec, 3235 secs
lola: 7350488 markings, 22150945 edges, 2059 markings/sec, 3240 secs
lola: 7360653 markings, 22184824 edges, 2033 markings/sec, 3245 secs
lola: 7372755 markings, 22222712 edges, 2420 markings/sec, 3250 secs
lola: 7384182 markings, 22258574 edges, 2285 markings/sec, 3255 secs
lola: 7394687 markings, 22294270 edges, 2101 markings/sec, 3260 secs
lola: 7401103 markings, 22311912 edges, 1283 markings/sec, 3265 secs
lola: 7409600 markings, 22330293 edges, 1699 markings/sec, 3270 secs
lola: 7416689 markings, 22346009 edges, 1418 markings/sec, 3275 secs
lola: 7423868 markings, 22365381 edges, 1436 markings/sec, 3280 secs
lola: 7431595 markings, 22389933 edges, 1545 markings/sec, 3285 secs
lola: 7436685 markings, 22404010 edges, 1018 markings/sec, 3290 secs
lola: 7443081 markings, 22423003 edges, 1279 markings/sec, 3295 secs
lola: 7450863 markings, 22447646 edges, 1556 markings/sec, 3300 secs
lola: 7455780 markings, 22461081 edges, 983 markings/sec, 3305 secs
lola: 7460668 markings, 22474232 edges, 978 markings/sec, 3310 secs
lola: 7469539 markings, 22503200 edges, 1774 markings/sec, 3315 secs
lola: 7474466 markings, 22516195 edges, 985 markings/sec, 3320 secs
lola: 7479230 markings, 22528538 edges, 953 markings/sec, 3325 secs
lola: time limit reached - aborting
lola:
preliminary result: 50 unknown 50 1 1 50 1 1 1 1 1 1 1 1 1 50
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 unknown 50 1 1 50 1 1 1 1 1 1 1 1 1 50
lola:
preliminary result: 50 unknown 50 1 1 50 1 1 1 1 1 1 1 1 1 50
lola: memory consumption: 358132 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 unknown 50 1 1 50 1 1 1 1 1 1 1 1 1 50
lola: memory consumption: 358132 KB
lola: time consumption: 3570 seconds

BK_STOP 1526579593625

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