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.0M
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 138K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 400K 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 7.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 90K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 254K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 34K 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 157K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 456K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.9K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 11K 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.3M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BridgeAndVehicles-PT-V80P50N10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306400373
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526587642816

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-PT-V80P50N10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-PT-V80P50N10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-PT-V80P50N10 @ 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: 2296/65536 symbol table entries, 25 collisions
lola: preprocessing...
lola: Size of bit vector: 6016
lola: finding significant places
lola: 188 places, 2108 transitions, 181 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2613 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-PT-V80P50N10-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_51 + NB_ATTENTE_B_52 + NB_ATTENTE_B_53 + NB_ATTENTE_B_54 + NB_ATTENTE_B_55 + NB_ATTENTE_B_56 + NB_ATTENTE_B_57 + NB_ATTENTE_B_58 + NB_ATTENTE_B_59 + NB_ATTENTE_B_60 + NB_ATTENTE_B_61 + NB_ATTENTE_B_62 + NB_ATTENTE_B_63 + NB_ATTENTE_B_64 + NB_ATTENTE_B_65 + NB_ATTENTE_B_66 + NB_ATTENTE_B_67 + NB_ATTENTE_B_68 + NB_ATTENTE_B_69 + NB_ATTENTE_B_70 + NB_ATTENTE_B_71 + NB_ATTENTE_B_72 + NB_ATTENTE_B_73 + NB_ATTENTE_B_74 + NB_ATTENTE_B_75 + NB_ATTENTE_B_76 + NB_ATTENTE_B_77 + NB_ATTENTE_B_78 + NB_ATTENTE_B_79 + NB_ATTENTE_B_80 + 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: (NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE_A_22 + NB_ATTENTE_A_23 + NB_ATTENTE_A_24 + NB_ATTENTE_A_25 + NB_ATTENTE_A_26 + NB_ATTENTE_A_27 + NB_ATTENTE_A_28 + NB_ATTENTE_A_29 + NB_ATTENTE_A_30 + NB_ATTENTE_A_31 + NB_ATTENTE_A_32 + NB_ATTENTE_A_33 + NB_ATTENTE_A_34 + NB_ATTENTE_A_35 + NB_ATTENTE_A_36 + NB_ATTENTE_A_37 + NB_ATTENTE_A_38 + NB_ATTENTE_A_39 + NB_ATTENTE_A_40 + NB_ATTENTE_A_41 + NB_ATTENTE_A_42 + NB_ATTENTE_A_43 + NB_ATTENTE_A_44 + NB_ATTENTE_A_45 + NB_ATTENTE_A_46 + NB_ATTENTE_A_47 + NB_ATTENTE_A_48 + NB_ATTENTE_A_49 + NB_ATTENTE_A_50 + NB_ATTENTE_A_51 + NB_ATTENTE_A_52 + NB_ATTENTE_A_53 + NB_ATTENTE_A_54 + NB_ATTENTE_A_55 + NB_ATTENTE_A_56 + NB_ATTENTE_A_57 + NB_ATTENTE_A_58 + NB_ATTENTE_A_59 + NB_ATTENTE_A_60 + NB_ATTENTE_A_61 + NB_ATTENTE_A_62 + NB_ATTENTE_A_63 + NB_ATTENTE_A_64 + NB_ATTENTE_A_65 + NB_ATTENTE_A_66 + NB_ATTENTE_A_67 + NB_ATTENTE_A_68 + NB_ATTENTE_A_69 + NB_ATTENTE_A_70 + NB_ATTENTE_A_71 + NB_ATTENTE_A_72 + NB_ATTENTE_A_73 + NB_ATTENTE_A_74 + NB_ATTENTE_A_75 + NB_ATTENTE_A_76 + NB_ATTENTE_A_77 + NB_ATTENTE_A_78 + NB_ATTENTE_A_79 + NB_ATTENTE_A_80 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(CONTROLEUR_1 + CONTROLEUR_2) : MAX(ROUTE_A) : MAX(SORTI_A) : MAX(SUR_PONT_A) : MAX(0) : MAX(0) : MAX(CHOIX_1 + CHOIX_2) : MAX(ATTENTE_A) : MAX(NB_ATTENTE_B_36) : MAX(NB_ATTENTE_B_79) : MAX(NB_ATTENTE_A_74) : MAX(NB_ATTENTE_B_44) : MAX(ROUTE_B) : MAX(NB_ATTENTE_B_29) : MAX(NB_ATTENTE_B_71) : MAX(NB_ATTENTE_A_61)
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-V80P50N10-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-V80P50N10-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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-V80P50N10-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-V80P50N10-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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-V80P50N10-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: 11500 markings, 23262 edges, 2300 markings/sec, 0 secs
lola: 23705 markings, 49342 edges, 2441 markings/sec, 5 secs
lola: 35395 markings, 73834 edges, 2338 markings/sec, 10 secs
lola: 50466 markings, 111117 edges, 3014 markings/sec, 15 secs
lola: 84482 markings, 216829 edges, 6803 markings/sec, 20 secs
lola: 98555 markings, 250079 edges, 2815 markings/sec, 25 secs
lola: 110150 markings, 275249 edges, 2319 markings/sec, 30 secs
lola: 122269 markings, 301447 edges, 2424 markings/sec, 35 secs
lola: 136103 markings, 333983 edges, 2767 markings/sec, 40 secs
lola: 169950 markings, 439339 edges, 6769 markings/sec, 45 secs
lola: 184452 markings, 474722 edges, 2900 markings/sec, 50 secs
lola: 196247 markings, 499872 edges, 2359 markings/sec, 55 secs
lola: 208354 markings, 526175 edges, 2421 markings/sec, 60 secs
lola: 220162 markings, 551827 edges, 2362 markings/sec, 65 secs
lola: 242473 markings, 614999 edges, 4462 markings/sec, 70 secs
lola: 270695 markings, 698923 edges, 5644 markings/sec, 75 secs
lola: 282482 markings, 724927 edges, 2357 markings/sec, 80 secs
lola: 294464 markings, 750613 edges, 2396 markings/sec, 85 secs
lola: 306168 markings, 776285 edges, 2341 markings/sec, 90 secs
lola: 339187 markings, 878214 edges, 6604 markings/sec, 95 secs
lola: 355652 markings, 920899 edges, 3293 markings/sec, 100 secs
lola: 367923 markings, 946995 edges, 2454 markings/sec, 105 secs
lola: 379686 markings, 972733 edges, 2353 markings/sec, 110 secs
lola: 403536 markings, 1041930 edges, 4770 markings/sec, 115 secs
lola: 428656 markings, 1114784 edges, 5024 markings/sec, 120 secs
lola: 440152 markings, 1140036 edges, 2299 markings/sec, 125 secs
lola: 452062 markings, 1165728 edges, 2382 markings/sec, 130 secs
lola: 469173 markings, 1210138 edges, 3422 markings/sec, 135 secs
lola: 500432 markings, 1304928 edges, 6252 markings/sec, 140 secs
lola: 512447 markings, 1331513 edges, 2403 markings/sec, 145 secs
lola: 524328 markings, 1357087 edges, 2376 markings/sec, 150 secs
lola: 537429 markings, 1387656 edges, 2620 markings/sec, 155 secs
lola: 571197 markings, 1493499 edges, 6754 markings/sec, 160 secs
lola: 583891 markings, 1520278 edges, 2539 markings/sec, 165 secs
lola: 595414 markings, 1545749 edges, 2305 markings/sec, 170 secs
lola: 607387 markings, 1571652 edges, 2395 markings/sec, 175 secs
lola: 640975 markings, 1676367 edges, 6718 markings/sec, 180 secs
lola: 654605 markings, 1706746 edges, 2726 markings/sec, 185 secs
lola: 666150 markings, 1732412 edges, 2309 markings/sec, 190 secs
lola: 678824 markings, 1760670 edges, 2535 markings/sec, 195 secs
lola: 712171 markings, 1864891 edges, 6669 markings/sec, 200 secs
lola: 724629 markings, 1891145 edges, 2492 markings/sec, 205 secs
lola: 736476 markings, 1916796 edges, 2369 markings/sec, 210 secs
lola: 751998 markings, 1956537 edges, 3104 markings/sec, 215 secs
lola: 781223 markings, 2046158 edges, 5845 markings/sec, 220 secs
lola: 791052 markings, 2076869 edges, 1966 markings/sec, 225 secs
lola: 802055 markings, 2099675 edges, 2201 markings/sec, 230 secs
lola: 811604 markings, 2126332 edges, 1910 markings/sec, 235 secs
lola: 822539 markings, 2151323 edges, 2187 markings/sec, 240 secs
lola: 832127 markings, 2177259 edges, 1918 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 72996 KB
lola: time consumption: 268 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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-V80P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P50N10-UpperBounds-1 80 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(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-V80P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 356 markings, 355 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P50N10-UpperBounds-2 80 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(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-V80P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 81 markings, 80 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P50N10-UpperBounds-7 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_36)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_36)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N10-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: 41 markings, 40 edges
lola: ========================================

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

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

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

FORMULA BridgeAndVehicles-PT-V80P50N10-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 549 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-V80P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================

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

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

FORMULA BridgeAndVehicles-PT-V80P50N10-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1098 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_61)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_61)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N10-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: 62 markings, 61 edges
lola:
FORMULA BridgeAndVehicles-PT-V80P50N10-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 14 will run for 1648 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-V80P50N10-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-V80P50N10-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3296 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-V80P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 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-V80P50N10-UpperBounds-0 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-V80P50N10-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: 11494 markings, 23256 edges, 2299 markings/sec, 0 secs
lola: 23674 markings, 49265 edges, 2436 markings/sec, 5 secs
lola: 35353 markings, 73729 edges, 2336 markings/sec, 10 secs
lola: 50073 markings, 109794 edges, 2944 markings/sec, 15 secs
lola: 84025 markings, 215565 edges, 6790 markings/sec, 20 secs
lola: 98418 markings, 249737 edges, 2879 markings/sec, 25 secs
lola: 110041 markings, 275068 edges, 2325 markings/sec, 30 secs
lola: 122147 markings, 301161 edges, 2421 markings/sec, 35 secs
lola: 134978 markings, 330665 edges, 2566 markings/sec, 40 secs
lola: 168805 markings, 435611 edges, 6765 markings/sec, 45 secs
lola: 183901 markings, 473365 edges, 3019 markings/sec, 50 secs
lola: 195442 markings, 498506 edges, 2308 markings/sec, 55 secs
lola: 207763 markings, 524828 edges, 2464 markings/sec, 60 secs
lola: 219587 markings, 550524 edges, 2365 markings/sec, 65 secs
lola: 240735 markings, 610194 edges, 4230 markings/sec, 70 secs
lola: 270061 markings, 697413 edges, 5865 markings/sec, 75 secs
lola: 281878 markings, 723572 edges, 2363 markings/sec, 80 secs
lola: 293817 markings, 749098 edges, 2388 markings/sec, 85 secs
lola: 305582 markings, 774957 edges, 2353 markings/sec, 90 secs
lola: 337277 markings, 872241 edges, 6339 markings/sec, 95 secs
lola: 354893 markings, 919234 edges, 3523 markings/sec, 100 secs
lola: 367079 markings, 945011 edges, 2437 markings/sec, 105 secs
lola: 378876 markings, 970866 edges, 2359 markings/sec, 110 secs
lola: 401248 markings, 1034552 edges, 4474 markings/sec, 115 secs
lola: 427874 markings, 1112829 edges, 5325 markings/sec, 120 secs
lola: 439471 markings, 1138487 edges, 2319 markings/sec, 125 secs
lola: 451321 markings, 1163977 edges, 2370 markings/sec, 130 secs
lola: 466440 markings, 1201621 edges, 3024 markings/sec, 135 secs
lola: 498637 markings, 1302015 edges, 6439 markings/sec, 140 secs
lola: 511221 markings, 1328662 edges, 2517 markings/sec, 145 secs
lola: 522700 markings, 1353892 edges, 2296 markings/sec, 150 secs
lola: 534613 markings, 1379681 edges, 2383 markings/sec, 155 secs
lola: 566610 markings, 1478302 edges, 6399 markings/sec, 160 secs
lola: 581779 markings, 1516024 edges, 3034 markings/sec, 165 secs
lola: 593763 markings, 1542162 edges, 2397 markings/sec, 170 secs
lola: 605510 markings, 1567542 edges, 2349 markings/sec, 175 secs
lola: 634924 markings, 1656821 edges, 5883 markings/sec, 180 secs
lola: 651942 markings, 1701825 edges, 3404 markings/sec, 185 secs
lola: 663996 markings, 1727610 edges, 2411 markings/sec, 190 secs
lola: 675711 markings, 1752981 edges, 2343 markings/sec, 195 secs
lola: 705074 markings, 1842103 edges, 5873 markings/sec, 200 secs
lola: 721504 markings, 1884899 edges, 3286 markings/sec, 205 secs
lola: 733592 markings, 1910928 edges, 2418 markings/sec, 210 secs
lola: 745272 markings, 1936233 edges, 2336 markings/sec, 215 secs
lola: 776980 markings, 2034170 edges, 6342 markings/sec, 220 secs
lola: 788240 markings, 2068867 edges, 2252 markings/sec, 225 secs
lola: 799265 markings, 2093982 edges, 2205 markings/sec, 230 secs
lola: 808480 markings, 2115898 edges, 1843 markings/sec, 235 secs
lola: 819461 markings, 2144338 edges, 2196 markings/sec, 240 secs
lola: 828929 markings, 2166569 edges, 1894 markings/sec, 245 secs
lola: 839834 markings, 2194567 edges, 2181 markings/sec, 250 secs
lola: 849581 markings, 2220864 edges, 1949 markings/sec, 255 secs
lola: 859473 markings, 2242424 edges, 1978 markings/sec, 260 secs
lola: 869648 markings, 2267710 edges, 2035 markings/sec, 265 secs
lola: 879953 markings, 2294358 edges, 2061 markings/sec, 270 secs
lola: 911173 markings, 2391220 edges, 6244 markings/sec, 275 secs
lola: 927382 markings, 2439248 edges, 3242 markings/sec, 280 secs
lola: 938498 markings, 2464354 edges, 2223 markings/sec, 285 secs
lola: 947911 markings, 2492440 edges, 1883 markings/sec, 290 secs
lola: 959117 markings, 2518938 edges, 2241 markings/sec, 295 secs
lola: 969600 markings, 2549333 edges, 2097 markings/sec, 300 secs
lola: 979567 markings, 2576765 edges, 1993 markings/sec, 305 secs
lola: 990078 markings, 2603866 edges, 2102 markings/sec, 310 secs
lola: 1000741 markings, 2633304 edges, 2133 markings/sec, 315 secs
lola: 1011354 markings, 2661895 edges, 2123 markings/sec, 320 secs
lola: 1039901 markings, 2749442 edges, 5709 markings/sec, 325 secs
lola: 1059025 markings, 2804491 edges, 3825 markings/sec, 330 secs
lola: 1070308 markings, 2828995 edges, 2257 markings/sec, 335 secs
lola: 1078975 markings, 2850478 edges, 1733 markings/sec, 340 secs
lola: 1090804 markings, 2883198 edges, 2366 markings/sec, 345 secs
lola: 1100180 markings, 2908757 edges, 1875 markings/sec, 350 secs
lola: 1111794 markings, 2938809 edges, 2323 markings/sec, 355 secs
lola: 1121355 markings, 2967728 edges, 1912 markings/sec, 360 secs
lola: 1131837 markings, 2993413 edges, 2096 markings/sec, 365 secs
lola: 1142355 markings, 3020527 edges, 2104 markings/sec, 370 secs
lola: 1153080 markings, 3050553 edges, 2145 markings/sec, 375 secs
lola: 1163813 markings, 3079952 edges, 2147 markings/sec, 380 secs
lola: 1191766 markings, 3165909 edges, 5591 markings/sec, 385 secs
lola: 1212880 markings, 3226173 edges, 4223 markings/sec, 390 secs
lola: 1222385 markings, 3251726 edges, 1901 markings/sec, 395 secs
lola: 1234000 markings, 3281912 edges, 2323 markings/sec, 400 secs
lola: 1243619 markings, 3310782 edges, 1924 markings/sec, 405 secs
lola: 1254128 markings, 3337018 edges, 2102 markings/sec, 410 secs
lola: 1264623 markings, 3364301 edges, 2099 markings/sec, 415 secs
lola: 1275361 markings, 3394470 edges, 2148 markings/sec, 420 secs
lola: 1286118 markings, 3423736 edges, 2151 markings/sec, 425 secs
lola: 1316818 markings, 3518675 edges, 6140 markings/sec, 430 secs
lola: 1334353 markings, 3566131 edges, 3507 markings/sec, 435 secs
lola: 1343727 markings, 3593330 edges, 1875 markings/sec, 440 secs
lola: 1354852 markings, 3620105 edges, 2225 markings/sec, 445 secs
lola: 1365221 markings, 3650064 edges, 2074 markings/sec, 450 secs
lola: 1375104 markings, 3677660 edges, 1977 markings/sec, 455 secs
lola: 1385578 markings, 3705296 edges, 2095 markings/sec, 460 secs
lola: 1396341 markings, 3733896 edges, 2153 markings/sec, 465 secs
lola: 1412307 markings, 3780678 edges, 3193 markings/sec, 470 secs
lola: 1442875 markings, 3875557 edges, 6114 markings/sec, 475 secs
lola: 1453756 markings, 3899572 edges, 2176 markings/sec, 480 secs
lola: 1463578 markings, 3929370 edges, 1964 markings/sec, 485 secs
lola: 1473700 markings, 3954590 edges, 2024 markings/sec, 490 secs
lola: 1485097 markings, 3984461 edges, 2279 markings/sec, 495 secs
lola: 1495444 markings, 4013337 edges, 2069 markings/sec, 500 secs
lola: 1505849 markings, 4041245 edges, 2081 markings/sec, 505 secs
lola: 1516172 markings, 4070005 edges, 2065 markings/sec, 510 secs
lola: 1543352 markings, 4153407 edges, 5436 markings/sec, 515 secs
lola: 1562935 markings, 4208202 edges, 3917 markings/sec, 520 secs
lola: 1572318 markings, 4234522 edges, 1877 markings/sec, 525 secs
lola: 1583662 markings, 4262536 edges, 2269 markings/sec, 530 secs
lola: 1593803 markings, 4291779 edges, 2028 markings/sec, 535 secs
lola: 1603825 markings, 4319988 edges, 2004 markings/sec, 540 secs
lola: 1614432 markings, 4348323 edges, 2121 markings/sec, 545 secs
lola: 1625090 markings, 4375403 edges, 2132 markings/sec, 550 secs
lola: 1648103 markings, 4445999 edges, 4603 markings/sec, 555 secs
lola: 1671294 markings, 4513280 edges, 4638 markings/sec, 560 secs
lola: 1680971 markings, 4538651 edges, 1935 markings/sec, 565 secs
lola: 1692559 markings, 4568929 edges, 2318 markings/sec, 570 secs
lola: 1702756 markings, 4597921 edges, 2039 markings/sec, 575 secs
lola: 1712891 markings, 4625979 edges, 2027 markings/sec, 580 secs
lola: 1723528 markings, 4654616 edges, 2127 markings/sec, 585 secs
lola: 1734088 markings, 4681696 edges, 2112 markings/sec, 590 secs
lola: 1758076 markings, 4754770 edges, 4798 markings/sec, 595 secs
lola: 1779673 markings, 4817010 edges, 4319 markings/sec, 600 secs
lola: 1789324 markings, 4843509 edges, 1930 markings/sec, 605 secs
lola: 1800668 markings, 4871783 edges, 2269 markings/sec, 610 secs
lola: 1811197 markings, 4901770 edges, 2106 markings/sec, 615 secs
lola: 1821566 markings, 4930042 edges, 2074 markings/sec, 620 secs
lola: 1832217 markings, 4958446 edges, 2130 markings/sec, 625 secs
lola: 1842621 markings, 4986780 edges, 2081 markings/sec, 630 secs
lola: 1872138 markings, 5077747 edges, 5903 markings/sec, 635 secs
lola: 1887483 markings, 5117890 edges, 3069 markings/sec, 640 secs
lola: 1897045 markings, 5147120 edges, 1912 markings/sec, 645 secs
lola: 1907515 markings, 5172493 edges, 2094 markings/sec, 650 secs
lola: 1918549 markings, 5201379 edges, 2207 markings/sec, 655 secs
lola: 1929152 markings, 5230307 edges, 2121 markings/sec, 660 secs
lola: 1939504 markings, 5259876 edges, 2070 markings/sec, 665 secs
lola: 1958552 markings, 5315933 edges, 3810 markings/sec, 670 secs
lola: 1982381 markings, 5388710 edges, 4766 markings/sec, 675 secs
lola: 1992301 markings, 5419724 edges, 1984 markings/sec, 680 secs
lola: 2002117 markings, 5440184 edges, 1963 markings/sec, 685 secs
lola: 2011388 markings, 5460665 edges, 1854 markings/sec, 690 secs
lola: 2020746 markings, 5489609 edges, 1872 markings/sec, 695 secs
lola: 2028013 markings, 5507525 edges, 1453 markings/sec, 700 secs
lola: 2037772 markings, 5537147 edges, 1952 markings/sec, 705 secs
lola: 2047760 markings, 5557545 edges, 1998 markings/sec, 710 secs
lola: 2056999 markings, 5582620 edges, 1848 markings/sec, 715 secs
lola: 2065047 markings, 5604176 edges, 1610 markings/sec, 720 secs
lola: 2074344 markings, 5631819 edges, 1859 markings/sec, 725 secs
lola: 2083919 markings, 5651594 edges, 1915 markings/sec, 730 secs
lola: 2093252 markings, 5678270 edges, 1867 markings/sec, 735 secs
lola: 2101027 markings, 5699134 edges, 1555 markings/sec, 740 secs
lola: 2110873 markings, 5722912 edges, 1969 markings/sec, 745 secs
lola: 2120196 markings, 5748155 edges, 1865 markings/sec, 750 secs
lola: 2128729 markings, 5772100 edges, 1707 markings/sec, 755 secs
lola: 2137728 markings, 5792210 edges, 1800 markings/sec, 760 secs
lola: 2146667 markings, 5817889 edges, 1788 markings/sec, 765 secs
lola: 2155442 markings, 5839305 edges, 1755 markings/sec, 770 secs
lola: 2173933 markings, 5893598 edges, 3698 markings/sec, 775 secs
lola: 2204341 markings, 5988325 edges, 6082 markings/sec, 780 secs
lola: 2210307 markings, 6002805 edges, 1193 markings/sec, 785 secs
lola: 2220136 markings, 6025726 edges, 1966 markings/sec, 790 secs
lola: 2229733 markings, 6051695 edges, 1919 markings/sec, 795 secs
lola: 2239185 markings, 6081710 edges, 1890 markings/sec, 800 secs
lola: 2250849 markings, 6112102 edges, 2333 markings/sec, 805 secs
lola: 2260594 markings, 6141116 edges, 1949 markings/sec, 810 secs
lola: 2270372 markings, 6171083 edges, 1956 markings/sec, 815 secs
lola: 2280749 markings, 6197290 edges, 2075 markings/sec, 820 secs
lola: 2290618 markings, 6228957 edges, 1974 markings/sec, 825 secs
lola: 2301298 markings, 6256641 edges, 2136 markings/sec, 830 secs
lola: 2311749 markings, 6286627 edges, 2090 markings/sec, 835 secs
lola: 2321464 markings, 6316042 edges, 1943 markings/sec, 840 secs
lola: 2331966 markings, 6345315 edges, 2100 markings/sec, 845 secs
lola: 2349700 markings, 6398303 edges, 3547 markings/sec, 850 secs
lola: 2380109 markings, 6493043 edges, 6082 markings/sec, 855 secs
lola: 2388517 markings, 6509368 edges, 1682 markings/sec, 860 secs
lola: 2398861 markings, 6532930 edges, 2069 markings/sec, 865 secs
lola: 2407130 markings, 6552489 edges, 1654 markings/sec, 870 secs
lola: 2416709 markings, 6583085 edges, 1916 markings/sec, 875 secs
lola: 2423810 markings, 6601784 edges, 1420 markings/sec, 880 secs
lola: 2431116 markings, 6621952 edges, 1461 markings/sec, 885 secs
lola: 2442911 markings, 6655177 edges, 2359 markings/sec, 890 secs
lola: 2452484 markings, 6680778 edges, 1915 markings/sec, 895 secs
lola: 2461417 markings, 6708969 edges, 1787 markings/sec, 900 secs
lola: 2472909 markings, 6739698 edges, 2298 markings/sec, 905 secs
lola: 2482464 markings, 6767558 edges, 1911 markings/sec, 910 secs
lola: 2491963 markings, 6797556 edges, 1900 markings/sec, 915 secs
lola: 2502499 markings, 6823446 edges, 2107 markings/sec, 920 secs
lola: 2512004 markings, 6854001 edges, 1901 markings/sec, 925 secs
lola: 2522636 markings, 6881638 edges, 2126 markings/sec, 930 secs
lola: 2533069 markings, 6911900 edges, 2087 markings/sec, 935 secs
lola: 2542828 markings, 6941341 edges, 1952 markings/sec, 940 secs
lola: 2553392 markings, 6970476 edges, 2113 markings/sec, 945 secs
lola: 2573772 markings, 7032759 edges, 4076 markings/sec, 950 secs
lola: 2600625 markings, 7115327 edges, 5371 markings/sec, 955 secs
lola: 2611593 markings, 7139343 edges, 2194 markings/sec, 960 secs
lola: 2621099 markings, 7169402 edges, 1901 markings/sec, 965 secs
lola: 2631027 markings, 7200067 edges, 1986 markings/sec, 970 secs
lola: 2641396 markings, 7224879 edges, 2074 markings/sec, 975 secs
lola: 2651169 markings, 7256225 edges, 1955 markings/sec, 980 secs
lola: 2662357 markings, 7284652 edges, 2238 markings/sec, 985 secs
lola: 2671452 markings, 7313368 edges, 1819 markings/sec, 990 secs
lola: 2682046 markings, 7341057 edges, 2119 markings/sec, 995 secs
lola: 2691920 markings, 7372943 edges, 1975 markings/sec, 1000 secs
lola: 2701954 markings, 7399965 edges, 2007 markings/sec, 1005 secs
lola: 2712475 markings, 7430643 edges, 2104 markings/sec, 1010 secs
lola: 2730512 markings, 7484420 edges, 3607 markings/sec, 1015 secs
lola: 2759538 markings, 7574539 edges, 5805 markings/sec, 1020 secs
lola: 2770345 markings, 7598393 edges, 2161 markings/sec, 1025 secs
lola: 2779923 markings, 7628364 edges, 1916 markings/sec, 1030 secs
lola: 2789476 markings, 7658350 edges, 1911 markings/sec, 1035 secs
lola: 2799944 markings, 7682715 edges, 2094 markings/sec, 1040 secs
lola: 2809761 markings, 7714381 edges, 1963 markings/sec, 1045 secs
lola: 2820983 markings, 7742949 edges, 2244 markings/sec, 1050 secs
lola: 2830289 markings, 7772391 edges, 1861 markings/sec, 1055 secs
lola: 2840928 markings, 7800370 edges, 2128 markings/sec, 1060 secs
lola: 2851443 markings, 7832569 edges, 2103 markings/sec, 1065 secs
lola: 2861413 markings, 7861547 edges, 1994 markings/sec, 1070 secs
lola: 2872006 markings, 7890950 edges, 2119 markings/sec, 1075 secs
lola: 2895480 markings, 7963236 edges, 4695 markings/sec, 1080 secs
lola: 2917810 markings, 8029238 edges, 4466 markings/sec, 1085 secs
lola: 2927885 markings, 8052666 edges, 2015 markings/sec, 1090 secs
lola: 2937433 markings, 8083288 edges, 1910 markings/sec, 1095 secs
lola: 2949115 markings, 8115940 edges, 2336 markings/sec, 1100 secs
lola: 2958986 markings, 8144207 edges, 1974 markings/sec, 1105 secs
lola: 2968687 markings, 8174426 edges, 1940 markings/sec, 1110 secs
lola: 2979207 markings, 8201263 edges, 2104 markings/sec, 1115 secs
lola: 2989377 markings, 8231808 edges, 2034 markings/sec, 1120 secs
lola: 2999231 markings, 8259092 edges, 1971 markings/sec, 1125 secs
lola: 3009647 markings, 8288096 edges, 2083 markings/sec, 1130 secs
lola: 3019996 markings, 8318438 edges, 2070 markings/sec, 1135 secs
lola: 3035211 markings, 8364494 edges, 3043 markings/sec, 1140 secs
lola: 3065022 markings, 8456750 edges, 5962 markings/sec, 1145 secs
lola: 3076287 markings, 8482601 edges, 2253 markings/sec, 1150 secs
lola: 3085900 markings, 8512236 edges, 1923 markings/sec, 1155 secs
lola: 3095444 markings, 8542126 edges, 1909 markings/sec, 1160 secs
lola: 3105958 markings, 8567122 edges, 2103 markings/sec, 1165 secs
lola: 3115800 markings, 8598874 edges, 1968 markings/sec, 1170 secs
lola: 3126449 markings, 8625219 edges, 2130 markings/sec, 1175 secs
lola: 3136387 markings, 8657492 edges, 1988 markings/sec, 1180 secs
lola: 3147068 markings, 8685963 edges, 2136 markings/sec, 1185 secs
lola: 3157548 markings, 8715424 edges, 2096 markings/sec, 1190 secs
lola: 3167698 markings, 8744914 edges, 2030 markings/sec, 1195 secs
lola: 3181147 markings, 8785443 edges, 2690 markings/sec, 1200 secs
lola: 3211174 markings, 8878480 edges, 6005 markings/sec, 1205 secs
lola: 3223262 markings, 8907368 edges, 2418 markings/sec, 1210 secs
lola: 3232916 markings, 8936959 edges, 1931 markings/sec, 1215 secs
lola: 3242461 markings, 8966785 edges, 1909 markings/sec, 1220 secs
lola: 3253017 markings, 8992296 edges, 2111 markings/sec, 1225 secs
lola: 3262864 markings, 9023917 edges, 1969 markings/sec, 1230 secs
lola: 3273366 markings, 9050151 edges, 2100 markings/sec, 1235 secs
lola: 3283441 markings, 9082725 edges, 2015 markings/sec, 1240 secs
lola: 3294133 markings, 9111394 edges, 2138 markings/sec, 1245 secs
lola: 3304193 markings, 9139115 edges, 2012 markings/sec, 1250 secs
lola: 3314607 markings, 9170062 edges, 2083 markings/sec, 1255 secs
lola: 3333018 markings, 9225944 edges, 3682 markings/sec, 1260 secs
lola: 3358233 markings, 9303084 edges, 5043 markings/sec, 1265 secs
lola: 3368723 markings, 9326264 edges, 2098 markings/sec, 1270 secs
lola: 3378074 markings, 9356037 edges, 1870 markings/sec, 1275 secs
lola: 3389736 markings, 9388888 edges, 2332 markings/sec, 1280 secs
lola: 3399639 markings, 9417504 edges, 1981 markings/sec, 1285 secs
lola: 3409878 markings, 9447232 edges, 2048 markings/sec, 1290 secs
lola: 3420016 markings, 9475695 edges, 2028 markings/sec, 1295 secs
lola: 3430429 markings, 9504628 edges, 2083 markings/sec, 1300 secs
lola: 3439918 markings, 9533786 edges, 1898 markings/sec, 1305 secs
lola: 3450116 markings, 9562380 edges, 2040 markings/sec, 1310 secs
lola: 3460668 markings, 9592725 edges, 2110 markings/sec, 1315 secs
lola: 3489403 markings, 9680485 edges, 5747 markings/sec, 1320 secs
lola: 3504509 markings, 9720741 edges, 3021 markings/sec, 1325 secs
lola: 3514002 markings, 9748786 edges, 1899 markings/sec, 1330 secs
lola: 3523376 markings, 9778655 edges, 1875 markings/sec, 1335 secs
lola: 3533841 markings, 9803334 edges, 2093 markings/sec, 1340 secs
lola: 3543732 markings, 9835226 edges, 1978 markings/sec, 1345 secs
lola: 3554104 markings, 9861442 edges, 2074 markings/sec, 1350 secs
lola: 3564203 markings, 9894075 edges, 2020 markings/sec, 1355 secs
lola: 3574523 markings, 9921478 edges, 2064 markings/sec, 1360 secs
lola: 3585073 markings, 9951776 edges, 2110 markings/sec, 1365 secs
lola: 3595296 markings, 9981802 edges, 2045 markings/sec, 1370 secs
lola: 3621425 markings, 10062108 edges, 5226 markings/sec, 1375 secs
lola: 3635791 markings, 10103642 edges, 2873 markings/sec, 1380 secs
lola: 3646044 markings, 10135295 edges, 2051 markings/sec, 1385 secs
lola: 3653447 markings, 10150070 edges, 1481 markings/sec, 1390 secs
lola: 3663664 markings, 10173103 edges, 2043 markings/sec, 1395 secs
lola: 3671769 markings, 10194117 edges, 1621 markings/sec, 1400 secs
lola: 3680650 markings, 10221070 edges, 1776 markings/sec, 1405 secs
lola: 3687863 markings, 10240303 edges, 1443 markings/sec, 1410 secs
lola: 3697092 markings, 10269093 edges, 1846 markings/sec, 1415 secs
lola: 3703600 markings, 10285088 edges, 1302 markings/sec, 1420 secs
lola: 3710662 markings, 10304288 edges, 1412 markings/sec, 1425 secs
lola: 3719914 markings, 10331150 edges, 1850 markings/sec, 1430 secs
lola: 3729179 markings, 10350061 edges, 1853 markings/sec, 1435 secs
lola: 3737903 markings, 10370115 edges, 1745 markings/sec, 1440 secs
lola: 3746718 markings, 10397161 edges, 1763 markings/sec, 1445 secs
lola: 3753876 markings, 10416194 edges, 1432 markings/sec, 1450 secs
lola: 3762604 markings, 10442715 edges, 1746 markings/sec, 1455 secs
lola: 3769073 markings, 10458586 edges, 1294 markings/sec, 1460 secs
lola: 3778201 markings, 10485922 edges, 1826 markings/sec, 1465 secs
lola: 3786161 markings, 10502468 edges, 1592 markings/sec, 1470 secs
lola: 3795450 markings, 10523895 edges, 1858 markings/sec, 1475 secs
lola: 3803876 markings, 10549395 edges, 1685 markings/sec, 1480 secs
lola: 3811403 markings, 10570525 edges, 1505 markings/sec, 1485 secs
lola: 3819075 markings, 10591853 edges, 1534 markings/sec, 1490 secs
lola: 3827075 markings, 10615301 edges, 1600 markings/sec, 1495 secs
lola: 3835277 markings, 10632840 edges, 1640 markings/sec, 1500 secs
lola: 3844127 markings, 10654872 edges, 1770 markings/sec, 1505 secs
lola: 3851988 markings, 10677302 edges, 1572 markings/sec, 1510 secs
lola: 3860071 markings, 10700472 edges, 1617 markings/sec, 1515 secs
lola: 3868356 markings, 10723809 edges, 1657 markings/sec, 1520 secs
lola: 3876770 markings, 10741682 edges, 1683 markings/sec, 1525 secs
lola: 3884893 markings, 10764803 edges, 1625 markings/sec, 1530 secs
lola: 3892518 markings, 10785806 edges, 1525 markings/sec, 1535 secs
lola: 3901049 markings, 10806850 edges, 1706 markings/sec, 1540 secs
lola: 3909662 markings, 10831391 edges, 1723 markings/sec, 1545 secs
lola: 3917895 markings, 10852424 edges, 1647 markings/sec, 1550 secs
lola: 3941293 markings, 10923467 edges, 4680 markings/sec, 1555 secs
lola: 3965125 markings, 10996490 edges, 4766 markings/sec, 1560 secs
lola: 3970639 markings, 11010491 edges, 1103 markings/sec, 1565 secs
lola: 3977485 markings, 11028019 edges, 1369 markings/sec, 1570 secs
lola: 3988279 markings, 11052104 edges, 2159 markings/sec, 1575 secs
lola: 3997595 markings, 11081800 edges, 1863 markings/sec, 1580 secs
lola: 4007151 markings, 11112087 edges, 1911 markings/sec, 1585 secs
lola: 4016297 markings, 11141180 edges, 1829 markings/sec, 1590 secs
lola: 4026926 markings, 11165261 edges, 2126 markings/sec, 1595 secs
lola: 4035985 markings, 11193413 edges, 1812 markings/sec, 1600 secs
lola: 4045625 markings, 11224533 edges, 1928 markings/sec, 1605 secs
lola: 4057195 markings, 11255888 edges, 2314 markings/sec, 1610 secs
lola: 4066470 markings, 11283213 edges, 1855 markings/sec, 1615 secs
lola: 4075857 markings, 11313056 edges, 1877 markings/sec, 1620 secs
lola: 4086743 markings, 11341398 edges, 2177 markings/sec, 1625 secs
lola: 4096536 markings, 11372927 edges, 1959 markings/sec, 1630 secs
lola: 4106920 markings, 11402245 edges, 2077 markings/sec, 1635 secs
lola: 4116560 markings, 11431735 edges, 1928 markings/sec, 1640 secs
lola: 4126594 markings, 11460117 edges, 2007 markings/sec, 1645 secs
lola: 4136658 markings, 11490153 edges, 2013 markings/sec, 1650 secs
lola: 4153780 markings, 11542221 edges, 3424 markings/sec, 1655 secs
lola: 4182531 markings, 11630955 edges, 5750 markings/sec, 1660 secs
lola: 4191795 markings, 11653855 edges, 1853 markings/sec, 1665 secs
lola: 4201704 markings, 11674779 edges, 1982 markings/sec, 1670 secs
lola: 4210628 markings, 11694457 edges, 1785 markings/sec, 1675 secs
lola: 4218004 markings, 11713119 edges, 1475 markings/sec, 1680 secs
lola: 4227860 markings, 11744868 edges, 1971 markings/sec, 1685 secs
lola: 4234598 markings, 11763472 edges, 1348 markings/sec, 1690 secs
lola: 4241794 markings, 11783410 edges, 1439 markings/sec, 1695 secs
lola: 4251009 markings, 11812745 edges, 1843 markings/sec, 1700 secs
lola: 4257442 markings, 11830107 edges, 1287 markings/sec, 1705 secs
lola: 4263674 markings, 11846467 edges, 1246 markings/sec, 1710 secs
lola: 4270186 markings, 11863545 edges, 1302 markings/sec, 1715 secs
lola: 4281366 markings, 11896405 edges, 2236 markings/sec, 1720 secs
lola: 4290777 markings, 11919403 edges, 1882 markings/sec, 1725 secs
lola: 4300350 markings, 11949676 edges, 1915 markings/sec, 1730 secs
lola: 4309787 markings, 11979686 edges, 1887 markings/sec, 1735 secs
lola: 4321384 markings, 12012459 edges, 2319 markings/sec, 1740 secs
lola: 4330899 markings, 12038550 edges, 1903 markings/sec, 1745 secs
lola: 4340641 markings, 12069657 edges, 1948 markings/sec, 1750 secs
lola: 4350239 markings, 12100100 edges, 1920 markings/sec, 1755 secs
lola: 4360544 markings, 12124880 edges, 2061 markings/sec, 1760 secs
lola: 4370421 markings, 12156691 edges, 1975 markings/sec, 1765 secs
lola: 4380478 markings, 12186197 edges, 2011 markings/sec, 1770 secs
lola: 4390395 markings, 12213831 edges, 1983 markings/sec, 1775 secs
lola: 4399955 markings, 12244306 edges, 1912 markings/sec, 1780 secs
lola: 4410372 markings, 12272653 edges, 2083 markings/sec, 1785 secs
lola: 4420483 markings, 12303036 edges, 2022 markings/sec, 1790 secs
lola: 4430263 markings, 12332770 edges, 1956 markings/sec, 1795 secs
lola: 4443946 markings, 12373236 edges, 2737 markings/sec, 1800 secs
lola: 4471212 markings, 12456580 edges, 5453 markings/sec, 1805 secs
lola: 4487570 markings, 12501326 edges, 3272 markings/sec, 1810 secs
lola: 4496568 markings, 12524570 edges, 1800 markings/sec, 1815 secs
lola: 4506164 markings, 12554904 edges, 1919 markings/sec, 1820 secs
lola: 4515661 markings, 12585105 edges, 1899 markings/sec, 1825 secs
lola: 4527295 markings, 12616341 edges, 2327 markings/sec, 1830 secs
lola: 4536926 markings, 12644505 edges, 1926 markings/sec, 1835 secs
lola: 4546376 markings, 12674155 edges, 1890 markings/sec, 1840 secs
lola: 4556887 markings, 12704560 edges, 2102 markings/sec, 1845 secs
lola: 4566705 markings, 12731589 edges, 1964 markings/sec, 1850 secs
lola: 4575827 markings, 12759930 edges, 1824 markings/sec, 1855 secs
lola: 4586975 markings, 12790824 edges, 2230 markings/sec, 1860 secs
lola: 4596334 markings, 12819610 edges, 1872 markings/sec, 1865 secs
lola: 4606778 markings, 12850062 edges, 2089 markings/sec, 1870 secs
lola: 4616553 markings, 12879496 edges, 1955 markings/sec, 1875 secs
lola: 4626722 markings, 12908667 edges, 2034 markings/sec, 1880 secs
lola: 4636743 markings, 12938901 edges, 2004 markings/sec, 1885 secs
lola: 4660537 markings, 13011738 edges, 4759 markings/sec, 1890 secs
lola: 4682252 markings, 13077508 edges, 4343 markings/sec, 1895 secs
lola: 4692984 markings, 13101001 edges, 2146 markings/sec, 1900 secs
lola: 4702355 markings, 13130590 edges, 1874 markings/sec, 1905 secs
lola: 4711777 markings, 13160363 edges, 1884 markings/sec, 1910 secs
lola: 4722691 markings, 13192428 edges, 2183 markings/sec, 1915 secs
lola: 4732484 markings, 13217832 edges, 1959 markings/sec, 1920 secs
lola: 4742340 markings, 13249469 edges, 1971 markings/sec, 1925 secs
lola: 4752015 markings, 13280328 edges, 1935 markings/sec, 1930 secs
lola: 4762431 markings, 13305745 edges, 2083 markings/sec, 1935 secs
lola: 4772448 markings, 13337908 edges, 2003 markings/sec, 1940 secs
lola: 4782788 markings, 13367439 edges, 2068 markings/sec, 1945 secs
lola: 4792131 markings, 13394133 edges, 1869 markings/sec, 1950 secs
lola: 4802586 markings, 13426143 edges, 2091 markings/sec, 1955 secs
lola: 4812522 markings, 13455006 edges, 1987 markings/sec, 1960 secs
lola: 4822743 markings, 13484572 edges, 2044 markings/sec, 1965 secs
lola: 4832789 markings, 13514883 edges, 2009 markings/sec, 1970 secs
lola: 4856754 markings, 13588031 edges, 4793 markings/sec, 1975 secs
lola: 4877420 markings, 13650148 edges, 4133 markings/sec, 1980 secs
lola: 4887870 markings, 13673218 edges, 2090 markings/sec, 1985 secs
lola: 4897240 markings, 13702709 edges, 1874 markings/sec, 1990 secs
lola: 4906738 markings, 13733151 edges, 1900 markings/sec, 1995 secs
lola: 4918420 markings, 13766387 edges, 2336 markings/sec, 2000 secs
lola: 4928182 markings, 13793711 edges, 1952 markings/sec, 2005 secs
lola: 4937964 markings, 13824726 edges, 1956 markings/sec, 2010 secs
lola: 4948180 markings, 13854384 edges, 2043 markings/sec, 2015 secs
lola: 4958219 markings, 13882050 edges, 2008 markings/sec, 2020 secs
lola: 4967189 markings, 13909726 edges, 1794 markings/sec, 2025 secs
lola: 4978355 markings, 13940085 edges, 2233 markings/sec, 2030 secs
lola: 4988071 markings, 13971210 edges, 1943 markings/sec, 2035 secs
lola: 4998196 markings, 13998770 edges, 2025 markings/sec, 2040 secs
lola: 5007927 markings, 14029945 edges, 1946 markings/sec, 2045 secs
lola: 5018090 markings, 14059377 edges, 2033 markings/sec, 2050 secs
lola: 5033953 markings, 14106783 edges, 3173 markings/sec, 2055 secs
lola: 5063014 markings, 14196822 edges, 5812 markings/sec, 2060 secs
lola: 5073683 markings, 14221287 edges, 2134 markings/sec, 2065 secs
lola: 5083144 markings, 14249450 edges, 1892 markings/sec, 2070 secs
lola: 5092485 markings, 14279142 edges, 1868 markings/sec, 2075 secs
lola: 5101931 markings, 14309144 edges, 1889 markings/sec, 2080 secs
lola: 5112301 markings, 14332657 edges, 2074 markings/sec, 2085 secs
lola: 5122152 markings, 14364511 edges, 1970 markings/sec, 2090 secs
lola: 5131933 markings, 14395953 edges, 1956 markings/sec, 2095 secs
lola: 5142128 markings, 14420546 edges, 2039 markings/sec, 2100 secs
lola: 5152277 markings, 14453632 edges, 2030 markings/sec, 2105 secs
lola: 5162422 markings, 14483192 edges, 2029 markings/sec, 2110 secs
lola: 5171601 markings, 14508950 edges, 1836 markings/sec, 2115 secs
lola: 5182057 markings, 14540987 edges, 2091 markings/sec, 2120 secs
lola: 5192019 markings, 14570312 edges, 1992 markings/sec, 2125 secs
lola: 5202070 markings, 14599490 edges, 2010 markings/sec, 2130 secs
lola: 5215540 markings, 14639992 edges, 2694 markings/sec, 2135 secs
lola: 5243753 markings, 14726651 edges, 5643 markings/sec, 2140 secs
lola: 5256764 markings, 14759825 edges, 2602 markings/sec, 2145 secs
lola: 5266248 markings, 14787205 edges, 1897 markings/sec, 2150 secs
lola: 5275918 markings, 14817906 edges, 1934 markings/sec, 2155 secs
lola: 5285461 markings, 14848239 edges, 1909 markings/sec, 2160 secs
lola: 5295804 markings, 14871872 edges, 2069 markings/sec, 2165 secs
lola: 5305681 markings, 14903825 edges, 1975 markings/sec, 2170 secs
lola: 5315472 markings, 14935303 edges, 1958 markings/sec, 2175 secs
lola: 5325847 markings, 14960938 edges, 2075 markings/sec, 2180 secs
lola: 5335960 markings, 14993621 edges, 2023 markings/sec, 2185 secs
lola: 5346410 markings, 15022886 edges, 2090 markings/sec, 2190 secs
lola: 5355953 markings, 15051612 edges, 1909 markings/sec, 2195 secs
lola: 5366431 markings, 15081279 edges, 2096 markings/sec, 2200 secs
lola: 5375932 markings, 15111179 edges, 1900 markings/sec, 2205 secs
lola: 5386211 markings, 15141491 edges, 2056 markings/sec, 2210 secs
lola: 5406739 markings, 15203373 edges, 4106 markings/sec, 2215 secs
lola: 5429249 markings, 15271952 edges, 4502 markings/sec, 2220 secs
lola: 5439698 markings, 15294876 edges, 2090 markings/sec, 2225 secs
lola: 5448907 markings, 15323687 edges, 1842 markings/sec, 2230 secs
lola: 5458367 markings, 15354127 edges, 1892 markings/sec, 2235 secs
lola: 5469992 markings, 15386531 edges, 2325 markings/sec, 2240 secs
lola: 5479732 markings, 15414681 edges, 1948 markings/sec, 2245 secs
lola: 5488766 markings, 15442559 edges, 1807 markings/sec, 2250 secs
lola: 5499945 markings, 15474036 edges, 2236 markings/sec, 2255 secs
lola: 5509056 markings, 15500280 edges, 1822 markings/sec, 2260 secs
lola: 5519126 markings, 15533081 edges, 2014 markings/sec, 2265 secs
lola: 5529697 markings, 15561489 edges, 2114 markings/sec, 2270 secs
lola: 5539296 markings, 15591989 edges, 1920 markings/sec, 2275 secs
lola: 5549605 markings, 15620917 edges, 2062 markings/sec, 2280 secs
lola: 5559739 markings, 15650771 edges, 2027 markings/sec, 2285 secs
lola: 5577119 markings, 15703731 edges, 3476 markings/sec, 2290 secs
lola: 5602630 markings, 15781791 edges, 5102 markings/sec, 2295 secs
lola: 5613080 markings, 15804823 edges, 2090 markings/sec, 2300 secs
lola: 5622182 markings, 15833262 edges, 1820 markings/sec, 2305 secs
lola: 5631342 markings, 15861911 edges, 1832 markings/sec, 2310 secs
lola: 5642651 markings, 15894498 edges, 2262 markings/sec, 2315 secs
lola: 5652474 markings, 15922091 edges, 1965 markings/sec, 2320 secs
lola: 5661796 markings, 15951181 edges, 1864 markings/sec, 2325 secs
lola: 5672684 markings, 15981964 edges, 2178 markings/sec, 2330 secs
lola: 5681892 markings, 16008260 edges, 1842 markings/sec, 2335 secs
lola: 5691910 markings, 16040851 edges, 2004 markings/sec, 2340 secs
lola: 5702341 markings, 16068952 edges, 2086 markings/sec, 2345 secs
lola: 5711943 markings, 16099194 edges, 1920 markings/sec, 2350 secs
lola: 5722167 markings, 16128160 edges, 2045 markings/sec, 2355 secs
lola: 5732119 markings, 16157574 edges, 1990 markings/sec, 2360 secs
lola: 5753428 markings, 16222780 edges, 4262 markings/sec, 2365 secs
lola: 5773481 markings, 16282834 edges, 4011 markings/sec, 2370 secs
lola: 5782110 markings, 16309696 edges, 1726 markings/sec, 2375 secs
lola: 5790006 markings, 16330645 edges, 1579 markings/sec, 2380 secs
lola: 5796617 markings, 16343966 edges, 1322 markings/sec, 2385 secs
lola: 5806871 markings, 16366586 edges, 2051 markings/sec, 2390 secs
lola: 5815419 markings, 16386571 edges, 1710 markings/sec, 2395 secs
lola: 5824125 markings, 16414005 edges, 1741 markings/sec, 2400 secs
lola: 5830816 markings, 16432651 edges, 1338 markings/sec, 2405 secs
lola: 5837544 markings, 16451336 edges, 1346 markings/sec, 2410 secs
lola: 5846427 markings, 16479214 edges, 1777 markings/sec, 2415 secs
lola: 5852946 markings, 16496552 edges, 1304 markings/sec, 2420 secs
lola: 5859095 markings, 16512945 edges, 1230 markings/sec, 2425 secs
lola: 5866953 markings, 16536082 edges, 1572 markings/sec, 2430 secs
lola: 5874479 markings, 16557255 edges, 1505 markings/sec, 2435 secs
lola: 5880369 markings, 16571872 edges, 1178 markings/sec, 2440 secs
lola: 5886745 markings, 16588482 edges, 1275 markings/sec, 2445 secs
lola: 5896235 markings, 16616766 edges, 1898 markings/sec, 2450 secs
lola: 5902571 markings, 16631010 edges, 1267 markings/sec, 2455 secs
lola: 5912026 markings, 16650724 edges, 1891 markings/sec, 2460 secs
lola: 5920394 markings, 16670997 edges, 1674 markings/sec, 2465 secs
lola: 5929007 markings, 16697796 edges, 1723 markings/sec, 2470 secs
lola: 5935687 markings, 16716114 edges, 1336 markings/sec, 2475 secs
lola: 5942850 markings, 16737128 edges, 1433 markings/sec, 2480 secs
lola: 5950638 markings, 16760021 edges, 1558 markings/sec, 2485 secs
lola: 5956865 markings, 16776422 edges, 1245 markings/sec, 2490 secs
lola: 5965299 markings, 16802119 edges, 1687 markings/sec, 2495 secs
lola: 5971703 markings, 16818606 edges, 1281 markings/sec, 2500 secs
lola: 5977748 markings, 16833316 edges, 1209 markings/sec, 2505 secs
lola: 5987096 markings, 16861120 edges, 1870 markings/sec, 2510 secs
lola: 5993528 markings, 16875862 edges, 1286 markings/sec, 2515 secs
lola: 6002910 markings, 16895882 edges, 1876 markings/sec, 2520 secs
lola: 6010979 markings, 16917235 edges, 1614 markings/sec, 2525 secs
lola: 6019060 markings, 16941226 edges, 1616 markings/sec, 2530 secs
lola: 6026214 markings, 16961814 edges, 1431 markings/sec, 2535 secs
lola: 6033972 markings, 16984298 edges, 1552 markings/sec, 2540 secs
lola: 6040343 markings, 17001190 edges, 1274 markings/sec, 2545 secs
lola: 6048552 markings, 17025413 edges, 1642 markings/sec, 2550 secs
lola: 6054619 markings, 17040387 edges, 1213 markings/sec, 2555 secs
lola: 6063463 markings, 17066245 edges, 1769 markings/sec, 2560 secs
lola: 6069979 markings, 17079613 edges, 1303 markings/sec, 2565 secs
lola: 6079520 markings, 17102034 edges, 1908 markings/sec, 2570 secs
lola: 6087473 markings, 17125762 edges, 1591 markings/sec, 2575 secs
lola: 6095245 markings, 17148827 edges, 1554 markings/sec, 2580 secs
lola: 6101988 markings, 17167186 edges, 1349 markings/sec, 2585 secs
lola: 6109844 markings, 17190021 edges, 1571 markings/sec, 2590 secs
lola: 6115948 markings, 17204974 edges, 1221 markings/sec, 2595 secs
lola: 6124256 markings, 17228511 edges, 1662 markings/sec, 2600 secs
lola: 6132554 markings, 17245800 edges, 1660 markings/sec, 2605 secs
lola: 6140614 markings, 17269162 edges, 1612 markings/sec, 2610 secs
lola: 6148188 markings, 17291149 edges, 1515 markings/sec, 2615 secs
lola: 6155540 markings, 17312202 edges, 1470 markings/sec, 2620 secs
lola: 6162530 markings, 17331127 edges, 1398 markings/sec, 2625 secs
lola: 6169838 markings, 17347042 edges, 1462 markings/sec, 2630 secs
lola: 6178046 markings, 17369934 edges, 1642 markings/sec, 2635 secs
lola: 6185675 markings, 17391945 edges, 1526 markings/sec, 2640 secs
lola: 6193314 markings, 17410668 edges, 1528 markings/sec, 2645 secs
lola: 6206308 markings, 17448615 edges, 2599 markings/sec, 2650 secs
lola: 6233379 markings, 17532051 edges, 5414 markings/sec, 2655 secs
lola: 6247263 markings, 17573289 edges, 2777 markings/sec, 2660 secs
lola: 6252806 markings, 17586919 edges, 1109 markings/sec, 2665 secs
lola: 6259659 markings, 17604855 edges, 1371 markings/sec, 2670 secs
lola: 6268779 markings, 17625910 edges, 1824 markings/sec, 2675 secs
lola: 6278026 markings, 17651437 edges, 1849 markings/sec, 2680 secs
lola: 6287286 markings, 17680754 edges, 1852 markings/sec, 2685 secs
lola: 6296705 markings, 17710625 edges, 1884 markings/sec, 2690 secs
lola: 6305982 markings, 17740013 edges, 1855 markings/sec, 2695 secs
lola: 6317486 markings, 17770599 edges, 2301 markings/sec, 2700 secs
lola: 6326996 markings, 17797955 edges, 1902 markings/sec, 2705 secs
lola: 6336456 markings, 17828017 edges, 1892 markings/sec, 2710 secs
lola: 6345739 markings, 17857099 edges, 1857 markings/sec, 2715 secs
lola: 6356169 markings, 17887469 edges, 2086 markings/sec, 2720 secs
lola: 6366101 markings, 17914208 edges, 1986 markings/sec, 2725 secs
lola: 6375698 markings, 17944651 edges, 1919 markings/sec, 2730 secs
lola: 6384657 markings, 17972637 edges, 1792 markings/sec, 2735 secs
lola: 6396039 markings, 18003071 edges, 2276 markings/sec, 2740 secs
lola: 6405211 markings, 18032042 edges, 1834 markings/sec, 2745 secs
lola: 6414400 markings, 18060857 edges, 1838 markings/sec, 2750 secs
lola: 6424968 markings, 18089579 edges, 2114 markings/sec, 2755 secs
lola: 6434555 markings, 18120273 edges, 1917 markings/sec, 2760 secs
lola: 6444818 markings, 18149479 edges, 2053 markings/sec, 2765 secs
lola: 6454109 markings, 18178822 edges, 1858 markings/sec, 2770 secs
lola: 6464156 markings, 18208913 edges, 2009 markings/sec, 2775 secs
lola: 6484761 markings, 18271832 edges, 4121 markings/sec, 2780 secs
lola: 6511802 markings, 18354968 edges, 5408 markings/sec, 2785 secs
lola: 6518121 markings, 18368299 edges, 1264 markings/sec, 2790 secs
lola: 6525893 markings, 18383495 edges, 1554 markings/sec, 2795 secs
lola: 6535692 markings, 18405698 edges, 1960 markings/sec, 2800 secs
lola: 6543831 markings, 18423934 edges, 1628 markings/sec, 2805 secs
lola: 6551289 markings, 18446437 edges, 1492 markings/sec, 2810 secs
lola: 6560079 markings, 18473518 edges, 1758 markings/sec, 2815 secs
lola: 6566808 markings, 18492655 edges, 1346 markings/sec, 2820 secs
lola: 6573454 markings, 18511493 edges, 1329 markings/sec, 2825 secs
lola: 6580587 markings, 18532740 edges, 1427 markings/sec, 2830 secs
lola: 6589421 markings, 18560337 edges, 1767 markings/sec, 2835 secs
lola: 6595478 markings, 18576623 edges, 1211 markings/sec, 2840 secs
lola: 6601567 markings, 18593535 edges, 1218 markings/sec, 2845 secs
lola: 6607921 markings, 18610975 edges, 1271 markings/sec, 2850 secs
lola: 6616522 markings, 18638026 edges, 1720 markings/sec, 2855 secs
lola: 6623279 markings, 18657058 edges, 1351 markings/sec, 2860 secs
lola: 6629321 markings, 18672910 edges, 1208 markings/sec, 2865 secs
lola: 6635249 markings, 18688230 edges, 1186 markings/sec, 2870 secs
lola: 6641311 markings, 18704353 edges, 1212 markings/sec, 2875 secs
lola: 6652065 markings, 18735998 edges, 2151 markings/sec, 2880 secs
lola: 6661435 markings, 18758024 edges, 1874 markings/sec, 2885 secs
lola: 6670731 markings, 18787638 edges, 1859 markings/sec, 2890 secs
lola: 6679983 markings, 18817131 edges, 1850 markings/sec, 2895 secs
lola: 6689216 markings, 18846660 edges, 1847 markings/sec, 2900 secs
lola: 6699242 markings, 18877738 edges, 2005 markings/sec, 2905 secs
lola: 6709160 markings, 18900988 edges, 1984 markings/sec, 2910 secs
lola: 6718338 markings, 18930290 edges, 1836 markings/sec, 2915 secs
lola: 6727901 markings, 18960752 edges, 1913 markings/sec, 2920 secs
lola: 6737353 markings, 18991056 edges, 1890 markings/sec, 2925 secs
lola: 6748049 markings, 19017111 edges, 2139 markings/sec, 2930 secs
lola: 6756943 markings, 19045256 edges, 1779 markings/sec, 2935 secs
lola: 6766649 markings, 19076502 edges, 1941 markings/sec, 2940 secs
lola: 6776516 markings, 19105973 edges, 1973 markings/sec, 2945 secs
lola: 6786712 markings, 19134052 edges, 2039 markings/sec, 2950 secs
lola: 6795957 markings, 19163251 edges, 1849 markings/sec, 2955 secs
lola: 6806273 markings, 19193339 edges, 2063 markings/sec, 2960 secs
lola: 6815867 markings, 19221897 edges, 1919 markings/sec, 2965 secs
lola: 6825498 markings, 19252195 edges, 1926 markings/sec, 2970 secs
lola: 6835424 markings, 19280567 edges, 1985 markings/sec, 2975 secs
lola: 6845409 markings, 19310466 edges, 1997 markings/sec, 2980 secs
lola: 6864344 markings, 19368324 edges, 3787 markings/sec, 2985 secs
lola: 6891032 markings, 19450252 edges, 5338 markings/sec, 2990 secs
lola: 6901333 markings, 19474528 edges, 2060 markings/sec, 2995 secs
lola: 6910651 markings, 19499912 edges, 1864 markings/sec, 3000 secs
lola: 6919986 markings, 19529514 edges, 1867 markings/sec, 3005 secs
lola: 6929513 markings, 19559767 edges, 1905 markings/sec, 3010 secs
lola: 6938900 markings, 19589583 edges, 1877 markings/sec, 3015 secs
lola: 6950364 markings, 19619135 edges, 2293 markings/sec, 3020 secs
lola: 6959863 markings, 19647638 edges, 1900 markings/sec, 3025 secs
lola: 6968843 markings, 19675525 edges, 1796 markings/sec, 3030 secs
lola: 6977746 markings, 19703255 edges, 1781 markings/sec, 3035 secs
lola: 6989317 markings, 19736081 edges, 2314 markings/sec, 3040 secs
lola: 6998891 markings, 19763805 edges, 1915 markings/sec, 3045 secs
lola: 7008060 markings, 19792655 edges, 1834 markings/sec, 3050 secs
lola: 7017965 markings, 19824619 edges, 1981 markings/sec, 3055 secs
lola: 7028367 markings, 19851458 edges, 2080 markings/sec, 3060 secs
lola: 7037671 markings, 19880702 edges, 1861 markings/sec, 3065 secs
lola: 7048057 markings, 19912259 edges, 2077 markings/sec, 3070 secs
lola: 7057747 markings, 19940133 edges, 1938 markings/sec, 3075 secs
lola: 7067530 markings, 19971359 edges, 1957 markings/sec, 3080 secs
lola: 7077600 markings, 20000039 edges, 2014 markings/sec, 3085 secs
lola: 7087802 markings, 20030924 edges, 2040 markings/sec, 3090 secs
lola: 7109386 markings, 20096215 edges, 4317 markings/sec, 3095 secs
lola: 7133446 markings, 20169902 edges, 4812 markings/sec, 3100 secs
lola: 7143646 markings, 20192428 edges, 2040 markings/sec, 3105 secs
lola: 7153062 markings, 20221119 edges, 1883 markings/sec, 3110 secs
lola: 7162476 markings, 20250981 edges, 1883 markings/sec, 3115 secs
lola: 7172080 markings, 20281449 edges, 1921 markings/sec, 3120 secs
lola: 7181576 markings, 20311530 edges, 1899 markings/sec, 3125 secs
lola: 7192036 markings, 20335048 edges, 2092 markings/sec, 3130 secs
lola: 7201506 markings, 20365464 edges, 1894 markings/sec, 3135 secs
lola: 7211389 markings, 20397128 edges, 1977 markings/sec, 3140 secs
lola: 7221096 markings, 20428238 edges, 1941 markings/sec, 3145 secs
lola: 7231411 markings, 20452884 edges, 2063 markings/sec, 3150 secs
lola: 7241391 markings, 20485315 edges, 1996 markings/sec, 3155 secs
lola: 7250588 markings, 20513831 edges, 1839 markings/sec, 3160 secs
lola: 7261747 markings, 20544732 edges, 2232 markings/sec, 3165 secs
lola: 7271055 markings, 20573487 edges, 1862 markings/sec, 3170 secs
lola: 7280472 markings, 20603237 edges, 1883 markings/sec, 3175 secs
lola: 7291148 markings, 20632993 edges, 2135 markings/sec, 3180 secs
lola: 7300431 markings, 20662014 edges, 1857 markings/sec, 3185 secs
lola: 7310846 markings, 20692484 edges, 2083 markings/sec, 3190 secs
lola: 7320733 markings, 20722331 edges, 1977 markings/sec, 3195 secs
lola: 7340002 markings, 20781460 edges, 3854 markings/sec, 3200 secs
lola: 7366087 markings, 20861255 edges, 5217 markings/sec, 3205 secs
lola: 7375771 markings, 20882819 edges, 1937 markings/sec, 3210 secs
lola: 7385193 markings, 20910371 edges, 1884 markings/sec, 3215 secs
lola: 7394568 markings, 20940205 edges, 1875 markings/sec, 3220 secs
lola: 7404179 markings, 20970685 edges, 1922 markings/sec, 3225 secs
lola: 7413650 markings, 21000754 edges, 1894 markings/sec, 3230 secs
lola: 7424248 markings, 21025058 edges, 2120 markings/sec, 3235 secs
lola: 7433434 markings, 21054199 edges, 1837 markings/sec, 3240 secs
lola: 7443220 markings, 21085650 edges, 1957 markings/sec, 3245 secs
lola: 7452817 markings, 21116463 edges, 1919 markings/sec, 3250 secs
lola: 7462972 markings, 21140606 edges, 2031 markings/sec, 3255 secs
lola: 7472766 markings, 21172533 edges, 1959 markings/sec, 3260 secs
lola: 7481917 markings, 21201028 edges, 1830 markings/sec, 3265 secs
lola: 7492811 markings, 21231220 edges, 2179 markings/sec, 3270 secs
lola: 7502157 markings, 21260118 edges, 1869 markings/sec, 3275 secs
lola: 7511619 markings, 21290033 edges, 1892 markings/sec, 3280 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 80 80 unknown 1 1 1 80 1 1 1 1 80 1 1 1
lola:
preliminary result: 1 80 80 unknown 1 1 1 80 1 1 1 1 80 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 80 80 unknown 1 1 1 80 1 1 1 1 80 1 1 1
lola: memory consumption: 413504 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 80 80 unknown 1 1 1 80 1 1 1 1 80 1 1 1
lola: memory consumption: 413728 KB
lola: time consumption: 3569 seconds

BK_STOP 1526591212397

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