About the Execution of LoLA for BridgeAndVehicles-PT-V20P10N20
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
526.180 | 3219955.00 | 3288272.00 | 474.70 | 20 20 1 20 20 1 20 1 1 1 1 1 1 1 1 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
....................
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 6.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 28K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 86K 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.8K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 50K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 142K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 77K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 230K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 10 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 1.1M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BridgeAndVehicles-PT-V20P10N20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306300275
=====================================================================
--------------------
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-V20P10N20-UpperBounds-00
FORMULA_NAME BridgeAndVehicles-PT-V20P10N20-UpperBounds-01
FORMULA_NAME BridgeAndVehicles-PT-V20P10N20-UpperBounds-02
FORMULA_NAME BridgeAndVehicles-PT-V20P10N20-UpperBounds-03
FORMULA_NAME BridgeAndVehicles-PT-V20P10N20-UpperBounds-04
FORMULA_NAME BridgeAndVehicles-PT-V20P10N20-UpperBounds-05
FORMULA_NAME BridgeAndVehicles-PT-V20P10N20-UpperBounds-06
FORMULA_NAME BridgeAndVehicles-PT-V20P10N20-UpperBounds-07
FORMULA_NAME BridgeAndVehicles-PT-V20P10N20-UpperBounds-08
FORMULA_NAME BridgeAndVehicles-PT-V20P10N20-UpperBounds-09
FORMULA_NAME BridgeAndVehicles-PT-V20P10N20-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-PT-V20P10N20-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-PT-V20P10N20-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-PT-V20P10N20-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-PT-V20P10N20-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-PT-V20P10N20-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1526558209810
info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-PT-V20P10N20 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-PT-V20P10N20 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-PT-V20P10N20 @ 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: 1046/65536 symbol table entries, 1 collisions
lola: preprocessing...
lola: Size of bit vector: 2496
lola: finding significant places
lola: 78 places, 968 transitions, 71 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1133 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-PT-V20P10N20-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (COMPTEUR_10 + COMPTEUR_11 + COMPTEUR_12 + COMPTEUR_13 + COMPTEUR_14 + COMPTEUR_15 + COMPTEUR_16 + COMPTEUR_17 + COMPTEUR_18 + COMPTEUR_19 + COMPTEUR_20 + COMPTEUR_0 + COMPTEUR_1 + COMPTEUR_2 + COMPTEUR_3 + COMPTEUR_4 + COMPTEUR_5 + COMPTEUR_6 + COMPTEUR_7 + COMPTEUR_8 + COMPTEUR_9 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(ATTENTE_B) : MAX(ROUTE_B) : MAX(0) : MAX(ROUTE_B) : MAX(ROUTE_A) : MAX(VIDANGE_1 + VIDANGE_2) : MAX(ROUTE_B) : MAX(CONTROLEUR_1 + CONTROLEUR_2) : MAX(COMPTEUR_12) : MAX(NB_ATTENTE_B_17) : MAX(NB_ATTENTE_B_15) : MAX(COMPTEUR_10) : MAX(NB_ATTENTE_A_9) : MAX(NB_ATTENTE_B_4) : MAX(CONTROLEUR_1) : MAX(COMPTEUR_7)
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(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-V20P10N20-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-V20P10N20-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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-V20P10N20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges
lola: ========================================
FORMULA BridgeAndVehicles-PT-V20P10N20-UpperBounds-1 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATTENTE_B)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P10N20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 58856 markings, 90629 edges, 11771 markings/sec, 30 secs
lola: 84167 markings, 139015 edges, 5062 markings/sec, 35 secs
lola: 110118 markings, 191864 edges, 5190 markings/sec, 40 secs
lola: 136101 markings, 246183 edges, 5197 markings/sec, 45 secs
lola: 156562 markings, 291480 edges, 4092 markings/sec, 50 secs
lola: 176769 markings, 335915 edges, 4041 markings/sec, 55 secs
lola: 195937 markings, 383456 edges, 3834 markings/sec, 60 secs
lola: 215420 markings, 428649 edges, 3897 markings/sec, 65 secs
lola: 235034 markings, 474148 edges, 3923 markings/sec, 70 secs
lola: 255037 markings, 520285 edges, 4001 markings/sec, 75 secs
lola: 274300 markings, 563747 edges, 3853 markings/sec, 80 secs
lola: 290993 markings, 604262 edges, 3339 markings/sec, 85 secs
lola: 308460 markings, 648223 edges, 3493 markings/sec, 90 secs
lola: 326617 markings, 693250 edges, 3631 markings/sec, 95 secs
lola: 344536 markings, 734983 edges, 3584 markings/sec, 100 secs
lola: 360827 markings, 778193 edges, 3258 markings/sec, 105 secs
lola: 378351 markings, 821162 edges, 3505 markings/sec, 110 secs
lola: 395895 markings, 864047 edges, 3509 markings/sec, 115 secs
lola: 413266 markings, 905683 edges, 3474 markings/sec, 120 secs
lola: 434349 markings, 951039 edges, 4217 markings/sec, 125 secs
lola: 449602 markings, 991181 edges, 3051 markings/sec, 130 secs
lola: 466770 markings, 1034008 edges, 3434 markings/sec, 135 secs
lola: 483271 markings, 1075960 edges, 3300 markings/sec, 140 secs
lola: 499099 markings, 1116767 edges, 3166 markings/sec, 145 secs
lola: 514520 markings, 1157475 edges, 3084 markings/sec, 150 secs
lola: 529498 markings, 1197696 edges, 2996 markings/sec, 155 secs
lola: 545500 markings, 1239735 edges, 3200 markings/sec, 160 secs
lola: 561570 markings, 1281095 edges, 3214 markings/sec, 165 secs
lola: 577880 markings, 1321562 edges, 3262 markings/sec, 170 secs
lola: 594331 markings, 1361912 edges, 3290 markings/sec, 175 secs
lola: 617205 markings, 1409318 edges, 4575 markings/sec, 180 secs
lola: 632964 markings, 1451485 edges, 3152 markings/sec, 185 secs
lola: 647293 markings, 1489847 edges, 2866 markings/sec, 190 secs
lola: 664662 markings, 1532826 edges, 3474 markings/sec, 195 secs
lola: 679708 markings, 1574190 edges, 3009 markings/sec, 200 secs
lola: 692203 markings, 1610389 edges, 2499 markings/sec, 205 secs
lola: 708273 markings, 1651672 edges, 3214 markings/sec, 210 secs
lola: 723835 markings, 1692362 edges, 3112 markings/sec, 215 secs
lola: 738900 markings, 1732497 edges, 3013 markings/sec, 220 secs
lola: 753516 markings, 1772076 edges, 2923 markings/sec, 225 secs
lola: 769269 markings, 1813620 edges, 3151 markings/sec, 230 secs
lola: 784388 markings, 1853467 edges, 3024 markings/sec, 235 secs
lola: 800176 markings, 1892958 edges, 3158 markings/sec, 240 secs
lola: 815967 markings, 1932248 edges, 3158 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 20 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 52332 KB
lola: time consumption: 254 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 255 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-V20P10N20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges
lola: ========================================
FORMULA BridgeAndVehicles-PT-V20P10N20-UpperBounds-3 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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-V20P10N20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges
lola: ========================================
FORMULA BridgeAndVehicles-PT-V20P10N20-UpperBounds-4 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ROUTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ROUTE_B)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P10N20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges
lola: ========================================
FORMULA BridgeAndVehicles-PT-V20P10N20-UpperBounds-6 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(COMPTEUR_12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(COMPTEUR_12)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P10N20-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: 45 markings, 44 edges
lola: ========================================
FORMULA BridgeAndVehicles-PT-V20P10N20-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_17)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P10N20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 22 markings, 21 edges
lola: ========================================
FORMULA BridgeAndVehicles-PT-V20P10N20-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 414 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_15)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P10N20-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: 20 markings, 19 edges
lola: ========================================
FORMULA BridgeAndVehicles-PT-V20P10N20-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 473 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(COMPTEUR_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(COMPTEUR_10)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P10N20-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: 29 markings, 28 edges
lola: ========================================
FORMULA BridgeAndVehicles-PT-V20P10N20-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 552 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_9)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P10N20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 10 markings, 9 edges
lola: ========================================
FORMULA BridgeAndVehicles-PT-V20P10N20-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 663 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_4)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P10N20-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: 5 markings, 4 edges
lola: ========================================
FORMULA BridgeAndVehicles-PT-V20P10N20-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 828 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CONTROLEUR_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CONTROLEUR_1)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P10N20-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-V20P10N20-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1105 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(COMPTEUR_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(COMPTEUR_7)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P10N20-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: 20 markings, 19 edges
lola: ========================================
FORMULA BridgeAndVehicles-PT-V20P10N20-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1657 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-V20P10N20-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-V20P10N20-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3315 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-V20P10N20-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-V20P10N20-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATTENTE_B)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P10N20-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 59222 markings, 91232 edges, 11844 markings/sec, 30 secs
lola: 85425 markings, 141069 edges, 5241 markings/sec, 35 secs
lola: 111030 markings, 193382 edges, 5121 markings/sec, 40 secs
lola: 137022 markings, 247725 edges, 5198 markings/sec, 45 secs
lola: 157312 markings, 292728 edges, 4058 markings/sec, 50 secs
lola: 177144 markings, 337178 edges, 3966 markings/sec, 55 secs
lola: 196697 markings, 384722 edges, 3911 markings/sec, 60 secs
lola: 216178 markings, 429908 edges, 3896 markings/sec, 65 secs
lola: 235853 markings, 476047 edges, 3935 markings/sec, 70 secs
lola: 255768 markings, 521977 edges, 3983 markings/sec, 75 secs
lola: 275000 markings, 564905 edges, 3846 markings/sec, 80 secs
lola: 292418 markings, 608528 edges, 3484 markings/sec, 85 secs
lola: 310023 markings, 652884 edges, 3521 markings/sec, 90 secs
lola: 327356 markings, 695333 edges, 3467 markings/sec, 95 secs
lola: 344871 markings, 736092 edges, 3503 markings/sec, 100 secs
lola: 361357 markings, 779227 edges, 3297 markings/sec, 105 secs
lola: 378785 markings, 822342 edges, 3486 markings/sec, 110 secs
lola: 396350 markings, 864823 edges, 3513 markings/sec, 115 secs
lola: 413504 markings, 906470 edges, 3431 markings/sec, 120 secs
lola: 434578 markings, 951805 edges, 4215 markings/sec, 125 secs
lola: 449825 markings, 991927 edges, 3049 markings/sec, 130 secs
lola: 466991 markings, 1034746 edges, 3433 markings/sec, 135 secs
lola: 483495 markings, 1076717 edges, 3301 markings/sec, 140 secs
lola: 499408 markings, 1117802 edges, 3183 markings/sec, 145 secs
lola: 514812 markings, 1158450 edges, 3081 markings/sec, 150 secs
lola: 529655 markings, 1198221 edges, 2969 markings/sec, 155 secs
lola: 545530 markings, 1239821 edges, 3175 markings/sec, 160 secs
lola: 561405 markings, 1280790 edges, 3175 markings/sec, 165 secs
lola: 577654 markings, 1320834 edges, 3250 markings/sec, 170 secs
lola: 594038 markings, 1361111 edges, 3277 markings/sec, 175 secs
lola: 616589 markings, 1407930 edges, 4510 markings/sec, 180 secs
lola: 632258 markings, 1449829 edges, 3134 markings/sec, 185 secs
lola: 646792 markings, 1488169 edges, 2907 markings/sec, 190 secs
lola: 663975 markings, 1530512 edges, 3437 markings/sec, 195 secs
lola: 678128 markings, 1571551 edges, 2831 markings/sec, 200 secs
lola: 691308 markings, 1607507 edges, 2636 markings/sec, 205 secs
lola: 707305 markings, 1648440 edges, 3199 markings/sec, 210 secs
lola: 722725 markings, 1688701 edges, 3084 markings/sec, 215 secs
lola: 737637 markings, 1728310 edges, 2982 markings/sec, 220 secs
lola: 752089 markings, 1767476 edges, 2890 markings/sec, 225 secs
lola: 766648 markings, 1807507 edges, 2912 markings/sec, 230 secs
lola: 782186 markings, 1846669 edges, 3108 markings/sec, 235 secs
lola: 797545 markings, 1886492 edges, 3072 markings/sec, 240 secs
lola: 812947 markings, 1924765 edges, 3080 markings/sec, 245 secs
lola: 834923 markings, 1969935 edges, 4395 markings/sec, 250 secs
lola: 853182 markings, 2016376 edges, 3652 markings/sec, 255 secs
lola: 868512 markings, 2056986 edges, 3066 markings/sec, 260 secs
lola: 883148 markings, 2094720 edges, 2927 markings/sec, 265 secs
lola: 900561 markings, 2137518 edges, 3483 markings/sec, 270 secs
lola: 911540 markings, 2173484 edges, 2196 markings/sec, 275 secs
lola: 928290 markings, 2215318 edges, 3350 markings/sec, 280 secs
lola: 941274 markings, 2253781 edges, 2597 markings/sec, 285 secs
lola: 955159 markings, 2291445 edges, 2777 markings/sec, 290 secs
lola: 970852 markings, 2332175 edges, 3139 markings/sec, 295 secs
lola: 986005 markings, 2372189 edges, 3031 markings/sec, 300 secs
lola: 1000117 markings, 2411726 edges, 2822 markings/sec, 305 secs
lola: 1014986 markings, 2450854 edges, 2974 markings/sec, 310 secs
lola: 1028946 markings, 2489664 edges, 2792 markings/sec, 315 secs
lola: 1043647 markings, 2529121 edges, 2940 markings/sec, 320 secs
lola: 1058372 markings, 2566821 edges, 2945 markings/sec, 325 secs
lola: 1072892 markings, 2603878 edges, 2904 markings/sec, 330 secs
lola: 1094370 markings, 2647862 edges, 4296 markings/sec, 335 secs
lola: 1115466 markings, 2698993 edges, 4219 markings/sec, 340 secs
lola: 1131566 markings, 2741756 edges, 3220 markings/sec, 345 secs
lola: 1146286 markings, 2781562 edges, 2944 markings/sec, 350 secs
lola: 1161280 markings, 2820088 edges, 2999 markings/sec, 355 secs
lola: 1178064 markings, 2862382 edges, 3357 markings/sec, 360 secs
lola: 1191004 markings, 2899798 edges, 2588 markings/sec, 365 secs
lola: 1205215 markings, 2940924 edges, 2842 markings/sec, 370 secs
lola: 1219084 markings, 2978308 edges, 2774 markings/sec, 375 secs
lola: 1234428 markings, 3019121 edges, 3069 markings/sec, 380 secs
lola: 1246567 markings, 3055971 edges, 2428 markings/sec, 385 secs
lola: 1262281 markings, 3096432 edges, 3143 markings/sec, 390 secs
lola: 1275613 markings, 3135647 edges, 2666 markings/sec, 395 secs
lola: 1288597 markings, 3172387 edges, 2597 markings/sec, 400 secs
lola: 1303369 markings, 3211769 edges, 2954 markings/sec, 405 secs
lola: 1317668 markings, 3250528 edges, 2860 markings/sec, 410 secs
lola: 1332322 markings, 3290970 edges, 2931 markings/sec, 415 secs
lola: 1347299 markings, 3328882 edges, 2995 markings/sec, 420 secs
lola: 1361670 markings, 3367077 edges, 2874 markings/sec, 425 secs
lola: 1376188 markings, 3404587 edges, 2904 markings/sec, 430 secs
lola: 1397288 markings, 3449656 edges, 4220 markings/sec, 435 secs
lola: 1418636 markings, 3498940 edges, 4270 markings/sec, 440 secs
lola: 1436573 markings, 3544937 edges, 3587 markings/sec, 445 secs
lola: 1452869 markings, 3587663 edges, 3259 markings/sec, 450 secs
lola: 1468279 markings, 3628359 edges, 3082 markings/sec, 455 secs
lola: 1483047 markings, 3667148 edges, 2954 markings/sec, 460 secs
lola: 1496365 markings, 3702680 edges, 2664 markings/sec, 465 secs
lola: 1514092 markings, 3745521 edges, 3545 markings/sec, 470 secs
lola: 1525474 markings, 3782831 edges, 2276 markings/sec, 475 secs
lola: 1539764 markings, 3823769 edges, 2858 markings/sec, 480 secs
lola: 1553809 markings, 3861690 edges, 2809 markings/sec, 485 secs
lola: 1567232 markings, 3901175 edges, 2685 markings/sec, 490 secs
lola: 1581517 markings, 3939716 edges, 2857 markings/sec, 495 secs
lola: 1595222 markings, 3979445 edges, 2741 markings/sec, 500 secs
lola: 1608649 markings, 4016867 edges, 2685 markings/sec, 505 secs
lola: 1624036 markings, 4057012 edges, 3077 markings/sec, 510 secs
lola: 1636814 markings, 4095655 edges, 2556 markings/sec, 515 secs
lola: 1650194 markings, 4133009 edges, 2676 markings/sec, 520 secs
lola: 1664765 markings, 4172329 edges, 2914 markings/sec, 525 secs
lola: 1678870 markings, 4211036 edges, 2821 markings/sec, 530 secs
lola: 1693410 markings, 4250322 edges, 2908 markings/sec, 535 secs
lola: 1707735 markings, 4288199 edges, 2865 markings/sec, 540 secs
lola: 1722212 markings, 4326101 edges, 2895 markings/sec, 545 secs
lola: 1736586 markings, 4363043 edges, 2875 markings/sec, 550 secs
lola: 1764422 markings, 4417638 edges, 5567 markings/sec, 555 secs
lola: 1783714 markings, 4466321 edges, 3858 markings/sec, 560 secs
lola: 1800878 markings, 4511121 edges, 3433 markings/sec, 565 secs
lola: 1817008 markings, 4553958 edges, 3226 markings/sec, 570 secs
lola: 1832452 markings, 4595266 edges, 3089 markings/sec, 575 secs
lola: 1847367 markings, 4635157 edges, 2983 markings/sec, 580 secs
lola: 1861855 markings, 4673706 edges, 2898 markings/sec, 585 secs
lola: 1875933 markings, 4710373 edges, 2816 markings/sec, 590 secs
lola: 1891395 markings, 4751651 edges, 3092 markings/sec, 595 secs
lola: 1905949 markings, 4790267 edges, 2911 markings/sec, 600 secs
lola: 1917018 markings, 4826552 edges, 2214 markings/sec, 605 secs
lola: 1934198 markings, 4868561 edges, 3436 markings/sec, 610 secs
lola: 1945542 markings, 4905566 edges, 2269 markings/sec, 615 secs
lola: 1959364 markings, 4945279 edges, 2764 markings/sec, 620 secs
lola: 1973390 markings, 4983613 edges, 2805 markings/sec, 625 secs
lola: 1986019 markings, 5021722 edges, 2526 markings/sec, 630 secs
lola: 2000250 markings, 5059608 edges, 2846 markings/sec, 635 secs
lola: 2013466 markings, 5098144 edges, 2643 markings/sec, 640 secs
lola: 2026781 markings, 5135646 edges, 2663 markings/sec, 645 secs
lola: 2041386 markings, 5173841 edges, 2921 markings/sec, 650 secs
lola: 2054050 markings, 5212037 edges, 2533 markings/sec, 655 secs
lola: 2067186 markings, 5249190 edges, 2627 markings/sec, 660 secs
lola: 2081389 markings, 5287851 edges, 2841 markings/sec, 665 secs
lola: 2095733 markings, 5327264 edges, 2869 markings/sec, 670 secs
lola: 2110252 markings, 5364841 edges, 2904 markings/sec, 675 secs
lola: 2124131 markings, 5402333 edges, 2776 markings/sec, 680 secs
lola: 2138469 markings, 5438894 edges, 2868 markings/sec, 685 secs
lola: 2160858 markings, 5484958 edges, 4478 markings/sec, 690 secs
lola: 2181667 markings, 5532994 edges, 4162 markings/sec, 695 secs
lola: 2200362 markings, 5580783 edges, 3739 markings/sec, 700 secs
lola: 2218132 markings, 5626259 edges, 3554 markings/sec, 705 secs
lola: 2234718 markings, 5669449 edges, 3317 markings/sec, 710 secs
lola: 2249957 markings, 5710526 edges, 3048 markings/sec, 715 secs
lola: 2264800 markings, 5750702 edges, 2969 markings/sec, 720 secs
lola: 2279268 markings, 5789924 edges, 2894 markings/sec, 725 secs
lola: 2294397 markings, 5828910 edges, 3026 markings/sec, 730 secs
lola: 2308468 markings, 5865798 edges, 2814 markings/sec, 735 secs
lola: 2321896 markings, 5901340 edges, 2686 markings/sec, 740 secs
lola: 2338644 markings, 5941570 edges, 3350 markings/sec, 745 secs
lola: 2350682 markings, 5980136 edges, 2408 markings/sec, 750 secs
lola: 2361754 markings, 6016420 edges, 2214 markings/sec, 755 secs
lola: 2378191 markings, 6056148 edges, 3287 markings/sec, 760 secs
lola: 2389940 markings, 6094540 edges, 2350 markings/sec, 765 secs
lola: 2402730 markings, 6134169 edges, 2558 markings/sec, 770 secs
lola: 2417246 markings, 6171168 edges, 2903 markings/sec, 775 secs
lola: 2428520 markings, 6207982 edges, 2255 markings/sec, 780 secs
lola: 2444084 markings, 6247374 edges, 3113 markings/sec, 785 secs
lola: 2455622 markings, 6284855 edges, 2308 markings/sec, 790 secs
lola: 2470513 markings, 6323278 edges, 2978 markings/sec, 795 secs
lola: 2481950 markings, 6360286 edges, 2287 markings/sec, 800 secs
lola: 2496784 markings, 6399459 edges, 2967 markings/sec, 805 secs
lola: 2509875 markings, 6438006 edges, 2618 markings/sec, 810 secs
lola: 2522453 markings, 6474604 edges, 2516 markings/sec, 815 secs
lola: 2536550 markings, 6513126 edges, 2819 markings/sec, 820 secs
lola: 2550233 markings, 6551020 edges, 2737 markings/sec, 825 secs
lola: 2564199 markings, 6589162 edges, 2793 markings/sec, 830 secs
lola: 2578169 markings, 6626806 edges, 2794 markings/sec, 835 secs
lola: 2592497 markings, 6664250 edges, 2866 markings/sec, 840 secs
lola: 2611414 markings, 6708800 edges, 3783 markings/sec, 845 secs
lola: 2638011 markings, 6760868 edges, 5319 markings/sec, 850 secs
lola: 2655697 markings, 6806396 edges, 3537 markings/sec, 855 secs
lola: 2673294 markings, 6852619 edges, 3519 markings/sec, 860 secs
lola: 2689913 markings, 6896977 edges, 3324 markings/sec, 865 secs
lola: 2706376 markings, 6940549 edges, 3293 markings/sec, 870 secs
lola: 2722699 markings, 6983219 edges, 3265 markings/sec, 875 secs
lola: 2737713 markings, 7024120 edges, 3003 markings/sec, 880 secs
lola: 2752586 markings, 7064752 edges, 2975 markings/sec, 885 secs
lola: 2768148 markings, 7104995 edges, 3112 markings/sec, 890 secs
lola: 2782374 markings, 7143740 edges, 2845 markings/sec, 895 secs
lola: 2796426 markings, 7181726 edges, 2810 markings/sec, 900 secs
lola: 2810247 markings, 7218646 edges, 2764 markings/sec, 905 secs
lola: 2825525 markings, 7258788 edges, 3056 markings/sec, 910 secs
lola: 2839704 markings, 7291978 edges, 2836 markings/sec, 915 secs
lola: 2851377 markings, 7330138 edges, 2335 markings/sec, 920 secs
lola: 2862489 markings, 7366560 edges, 2222 markings/sec, 925 secs
lola: 2878782 markings, 7405965 edges, 3259 markings/sec, 930 secs
lola: 2890208 markings, 7443375 edges, 2285 markings/sec, 935 secs
lola: 2901336 markings, 7479795 edges, 2226 markings/sec, 940 secs
lola: 2916874 markings, 7517998 edges, 3108 markings/sec, 945 secs
lola: 2928626 markings, 7556363 edges, 2350 markings/sec, 950 secs
lola: 2941925 markings, 7595173 edges, 2660 markings/sec, 955 secs
lola: 2955224 markings, 7631816 edges, 2660 markings/sec, 960 secs
lola: 2967745 markings, 7670965 edges, 2504 markings/sec, 965 secs
lola: 2981449 markings, 7707187 edges, 2741 markings/sec, 970 secs
lola: 2993870 markings, 7745486 edges, 2484 markings/sec, 975 secs
lola: 3007116 markings, 7781512 edges, 2649 markings/sec, 980 secs
lola: 3020778 markings, 7819979 edges, 2732 markings/sec, 985 secs
lola: 3032604 markings, 7856162 edges, 2365 markings/sec, 990 secs
lola: 3046574 markings, 7894377 edges, 2794 markings/sec, 995 secs
lola: 3060143 markings, 7932068 edges, 2714 markings/sec, 1000 secs
lola: 3073418 markings, 7969411 edges, 2655 markings/sec, 1005 secs
lola: 3087387 markings, 8007256 edges, 2794 markings/sec, 1010 secs
lola: 3101241 markings, 8044035 edges, 2771 markings/sec, 1015 secs
lola: 3114966 markings, 8080202 edges, 2745 markings/sec, 1020 secs
lola: 3142849 markings, 8132302 edges, 5577 markings/sec, 1025 secs
lola: 3161765 markings, 8179593 edges, 3783 markings/sec, 1030 secs
lola: 3178725 markings, 8223651 edges, 3392 markings/sec, 1035 secs
lola: 3197812 markings, 8271685 edges, 3817 markings/sec, 1040 secs
lola: 3214078 markings, 8315464 edges, 3253 markings/sec, 1045 secs
lola: 3230007 markings, 8358693 edges, 3186 markings/sec, 1050 secs
lola: 3246674 markings, 8401899 edges, 3333 markings/sec, 1055 secs
lola: 3261733 markings, 8443235 edges, 3012 markings/sec, 1060 secs
lola: 3277360 markings, 8484656 edges, 3125 markings/sec, 1065 secs
lola: 3292237 markings, 8524988 edges, 2975 markings/sec, 1070 secs
lola: 3306559 markings, 8564417 edges, 2864 markings/sec, 1075 secs
lola: 3321724 markings, 8604008 edges, 3033 markings/sec, 1080 secs
lola: 3335635 markings, 8642087 edges, 2782 markings/sec, 1085 secs
lola: 3349432 markings, 8679735 edges, 2759 markings/sec, 1090 secs
lola: 3363635 markings, 8716562 edges, 2841 markings/sec, 1095 secs
lola: 3377117 markings, 8751336 edges, 2696 markings/sec, 1100 secs
lola: 3393857 markings, 8790991 edges, 3348 markings/sec, 1105 secs
lola: 3404486 markings, 8825957 edges, 2126 markings/sec, 1110 secs
lola: 3415943 markings, 8863361 edges, 2291 markings/sec, 1115 secs
lola: 3429193 markings, 8903592 edges, 2650 markings/sec, 1120 secs
lola: 3442484 markings, 8936551 edges, 2658 markings/sec, 1125 secs
lola: 3454263 markings, 8975080 edges, 2356 markings/sec, 1130 secs
lola: 3466985 markings, 9014697 edges, 2544 markings/sec, 1135 secs
lola: 3480391 markings, 9048119 edges, 2681 markings/sec, 1140 secs
lola: 3492090 markings, 9086413 edges, 2340 markings/sec, 1145 secs
lola: 3505440 markings, 9125503 edges, 2670 markings/sec, 1150 secs
lola: 3518250 markings, 9160597 edges, 2562 markings/sec, 1155 secs
lola: 3529506 markings, 9197285 edges, 2251 markings/sec, 1160 secs
lola: 3543920 markings, 9234310 edges, 2883 markings/sec, 1165 secs
lola: 3555415 markings, 9271679 edges, 2299 markings/sec, 1170 secs
lola: 3569454 markings, 9308499 edges, 2808 markings/sec, 1175 secs
lola: 3580871 markings, 9345505 edges, 2283 markings/sec, 1180 secs
lola: 3594872 markings, 9383102 edges, 2800 markings/sec, 1185 secs
lola: 3608581 markings, 9420722 edges, 2742 markings/sec, 1190 secs
lola: 3620720 markings, 9457792 edges, 2428 markings/sec, 1195 secs
lola: 3633819 markings, 9495100 edges, 2620 markings/sec, 1200 secs
lola: 3646969 markings, 9530962 edges, 2630 markings/sec, 1205 secs
lola: 3660354 markings, 9567707 edges, 2677 markings/sec, 1210 secs
lola: 3673949 markings, 9604014 edges, 2719 markings/sec, 1215 secs
lola: 3688042 markings, 9641647 edges, 2819 markings/sec, 1220 secs
lola: 3717754 markings, 9695741 edges, 5942 markings/sec, 1225 secs
lola: 3735694 markings, 9741578 edges, 3588 markings/sec, 1230 secs
lola: 3752283 markings, 9784846 edges, 3318 markings/sec, 1235 secs
lola: 3771121 markings, 9831982 edges, 3768 markings/sec, 1240 secs
lola: 3786067 markings, 9872352 edges, 2989 markings/sec, 1245 secs
lola: 3802917 markings, 9916899 edges, 3370 markings/sec, 1250 secs
lola: 3818986 markings, 9959917 edges, 3214 markings/sec, 1255 secs
lola: 3834198 markings, 10001607 edges, 3042 markings/sec, 1260 secs
lola: 3850278 markings, 10043949 edges, 3216 markings/sec, 1265 secs
lola: 3865062 markings, 10084859 edges, 2957 markings/sec, 1270 secs
lola: 3880587 markings, 10125770 edges, 3105 markings/sec, 1275 secs
lola: 3894994 markings, 10165719 edges, 2881 markings/sec, 1280 secs
lola: 3910185 markings, 10205832 edges, 3038 markings/sec, 1285 secs
lola: 3924258 markings, 10244847 edges, 2815 markings/sec, 1290 secs
lola: 3939157 markings, 10283902 edges, 2980 markings/sec, 1295 secs
lola: 3952939 markings, 10321853 edges, 2756 markings/sec, 1300 secs
lola: 3966614 markings, 10359278 edges, 2735 markings/sec, 1305 secs
lola: 3981038 markings, 10395972 edges, 2885 markings/sec, 1310 secs
lola: 3994473 markings, 10430772 edges, 2687 markings/sec, 1315 secs
lola: 4010332 markings, 10471016 edges, 3172 markings/sec, 1320 secs
lola: 4021218 markings, 10502811 edges, 2177 markings/sec, 1325 secs
lola: 4033026 markings, 10541578 edges, 2362 markings/sec, 1330 secs
lola: 4044090 markings, 10577871 edges, 2213 markings/sec, 1335 secs
lola: 4059997 markings, 10616508 edges, 3181 markings/sec, 1340 secs
lola: 4070619 markings, 10651181 edges, 2124 markings/sec, 1345 secs
lola: 4082030 markings, 10688607 edges, 2282 markings/sec, 1350 secs
lola: 4096212 markings, 10727909 edges, 2836 markings/sec, 1355 secs
lola: 4107942 markings, 10761066 edges, 2346 markings/sec, 1360 secs
lola: 4119429 markings, 10798652 edges, 2297 markings/sec, 1365 secs
lola: 4133856 markings, 10837362 edges, 2885 markings/sec, 1370 secs
lola: 4145167 markings, 10871746 edges, 2262 markings/sec, 1375 secs
lola: 4156390 markings, 10908311 edges, 2245 markings/sec, 1380 secs
lola: 4170647 markings, 10945073 edges, 2851 markings/sec, 1385 secs
lola: 4182036 markings, 10982095 edges, 2278 markings/sec, 1390 secs
lola: 4196125 markings, 11019338 edges, 2818 markings/sec, 1395 secs
lola: 4207333 markings, 11055623 edges, 2242 markings/sec, 1400 secs
lola: 4220895 markings, 11092114 edges, 2712 markings/sec, 1405 secs
lola: 4233088 markings, 11129718 edges, 2439 markings/sec, 1410 secs
lola: 4245664 markings, 11165433 edges, 2515 markings/sec, 1415 secs
lola: 4258842 markings, 11202162 edges, 2636 markings/sec, 1420 secs
lola: 4271740 markings, 11238613 edges, 2580 markings/sec, 1425 secs
lola: 4284203 markings, 11274170 edges, 2493 markings/sec, 1430 secs
lola: 4297725 markings, 11310647 edges, 2704 markings/sec, 1435 secs
lola: 4311205 markings, 11346639 edges, 2696 markings/sec, 1440 secs
lola: 4335330 markings, 11394494 edges, 4825 markings/sec, 1445 secs
lola: 4357507 markings, 11442519 edges, 4435 markings/sec, 1450 secs
lola: 4375262 markings, 11488069 edges, 3551 markings/sec, 1455 secs
lola: 4391274 markings, 11530469 edges, 3202 markings/sec, 1460 secs
lola: 4408412 markings, 11574719 edges, 3428 markings/sec, 1465 secs
lola: 4424504 markings, 11616806 edges, 3218 markings/sec, 1470 secs
lola: 4439850 markings, 11658151 edges, 3069 markings/sec, 1475 secs
lola: 4455901 markings, 11700423 edges, 3210 markings/sec, 1480 secs
lola: 4471671 markings, 11743482 edges, 3154 markings/sec, 1485 secs
lola: 4487476 markings, 11785634 edges, 3161 markings/sec, 1490 secs
lola: 4502997 markings, 11827461 edges, 3104 markings/sec, 1495 secs
lola: 4517987 markings, 11868338 edges, 2998 markings/sec, 1500 secs
lola: 4533468 markings, 11909459 edges, 3096 markings/sec, 1505 secs
lola: 4547724 markings, 11949221 edges, 2851 markings/sec, 1510 secs
lola: 4562701 markings, 11989106 edges, 2995 markings/sec, 1515 secs
lola: 4576604 markings, 12027899 edges, 2781 markings/sec, 1520 secs
lola: 4590790 markings, 12065583 edges, 2837 markings/sec, 1525 secs
lola: 4604322 markings, 12103348 edges, 2706 markings/sec, 1530 secs
lola: 4618888 markings, 12141758 edges, 2913 markings/sec, 1535 secs
lola: 4632199 markings, 12178634 edges, 2662 markings/sec, 1540 secs
lola: 4646199 markings, 12215953 edges, 2800 markings/sec, 1545 secs
lola: 4659879 markings, 12252119 edges, 2736 markings/sec, 1550 secs
lola: 4673088 markings, 12287336 edges, 2642 markings/sec, 1555 secs
lola: 4687844 markings, 12326824 edges, 2951 markings/sec, 1560 secs
lola: 4701562 markings, 12360016 edges, 2744 markings/sec, 1565 secs
lola: 4711870 markings, 12393748 edges, 2062 markings/sec, 1570 secs
lola: 4723139 markings, 12430724 edges, 2254 markings/sec, 1575 secs
lola: 4735883 markings, 12470510 edges, 2549 markings/sec, 1580 secs
lola: 4749373 markings, 12503559 edges, 2698 markings/sec, 1585 secs
lola: 4759981 markings, 12538152 edges, 2122 markings/sec, 1590 secs
lola: 4771170 markings, 12574873 edges, 2238 markings/sec, 1595 secs
lola: 4785499 markings, 12613827 edges, 2866 markings/sec, 1600 secs
lola: 4796472 markings, 12645673 edges, 2195 markings/sec, 1605 secs
lola: 4808107 markings, 12683754 edges, 2327 markings/sec, 1610 secs
lola: 4820808 markings, 12721248 edges, 2540 markings/sec, 1615 secs
lola: 4832735 markings, 12753574 edges, 2385 markings/sec, 1620 secs
lola: 4844390 markings, 12791504 edges, 2331 markings/sec, 1625 secs
lola: 4858935 markings, 12829534 edges, 2909 markings/sec, 1630 secs
lola: 4869509 markings, 12863842 edges, 2115 markings/sec, 1635 secs
lola: 4882092 markings, 12902461 edges, 2517 markings/sec, 1640 secs
lola: 4894539 markings, 12936939 edges, 2489 markings/sec, 1645 secs
lola: 4907092 markings, 12975456 edges, 2511 markings/sec, 1650 secs
lola: 4919542 markings, 13010580 edges, 2490 markings/sec, 1655 secs
lola: 4933092 markings, 13048146 edges, 2710 markings/sec, 1660 secs
lola: 4944850 markings, 13085608 edges, 2352 markings/sec, 1665 secs
lola: 4957413 markings, 13120753 edges, 2513 markings/sec, 1670 secs
lola: 4970199 markings, 13156975 edges, 2557 markings/sec, 1675 secs
lola: 4983281 markings, 13193272 edges, 2616 markings/sec, 1680 secs
lola: 4996340 markings, 13229518 edges, 2612 markings/sec, 1685 secs
lola: 5009937 markings, 13264616 edges, 2719 markings/sec, 1690 secs
lola: 5035520 markings, 13312283 edges, 5117 markings/sec, 1695 secs
lola: 5056151 markings, 13360906 edges, 4126 markings/sec, 1700 secs
lola: 5075289 markings, 13408650 edges, 3828 markings/sec, 1705 secs
lola: 5090855 markings, 13450096 edges, 3113 markings/sec, 1710 secs
lola: 5106960 markings, 13492346 edges, 3221 markings/sec, 1715 secs
lola: 5123589 markings, 13535599 edges, 3326 markings/sec, 1720 secs
lola: 5138470 markings, 13575772 edges, 2976 markings/sec, 1725 secs
lola: 5154788 markings, 13618376 edges, 3264 markings/sec, 1730 secs
lola: 5170979 markings, 13660751 edges, 3238 markings/sec, 1735 secs
lola: 5185088 markings, 13699898 edges, 2822 markings/sec, 1740 secs
lola: 5200994 markings, 13742089 edges, 3181 markings/sec, 1745 secs
lola: 5215733 markings, 13783236 edges, 2948 markings/sec, 1750 secs
lola: 5231248 markings, 13824615 edges, 3103 markings/sec, 1755 secs
lola: 5245696 markings, 13864997 edges, 2890 markings/sec, 1760 secs
lola: 5260860 markings, 13905581 edges, 3033 markings/sec, 1765 secs
lola: 5275801 markings, 13945595 edges, 2988 markings/sec, 1770 secs
lola: 5289735 markings, 13984695 edges, 2787 markings/sec, 1775 secs
lola: 5304695 markings, 14024806 edges, 2992 markings/sec, 1780 secs
lola: 5318627 markings, 14063812 edges, 2786 markings/sec, 1785 secs
lola: 5333352 markings, 14103179 edges, 2945 markings/sec, 1790 secs
lola: 5347182 markings, 14141901 edges, 2766 markings/sec, 1795 secs
lola: 5361702 markings, 14180470 edges, 2904 markings/sec, 1800 secs
lola: 5375159 markings, 14218014 edges, 2691 markings/sec, 1805 secs
lola: 5389530 markings, 14255706 edges, 2874 markings/sec, 1810 secs
lola: 5402479 markings, 14291364 edges, 2590 markings/sec, 1815 secs
lola: 5416691 markings, 14327698 edges, 2842 markings/sec, 1820 secs
lola: 5429921 markings, 14362607 edges, 2646 markings/sec, 1825 secs
lola: 5444577 markings, 14402051 edges, 2931 markings/sec, 1830 secs
lola: 5457343 markings, 14434794 edges, 2553 markings/sec, 1835 secs
lola: 5467448 markings, 14467851 edges, 2021 markings/sec, 1840 secs
lola: 5479088 markings, 14506055 edges, 2328 markings/sec, 1845 secs
lola: 5491955 markings, 14546306 edges, 2573 markings/sec, 1850 secs
lola: 5505581 markings, 14580053 edges, 2725 markings/sec, 1855 secs
lola: 5515941 markings, 14614012 edges, 2072 markings/sec, 1860 secs
lola: 5527518 markings, 14651860 edges, 2315 markings/sec, 1865 secs
lola: 5540957 markings, 14691365 edges, 2688 markings/sec, 1870 secs
lola: 5553100 markings, 14724177 edges, 2429 markings/sec, 1875 secs
lola: 5564402 markings, 14760990 edges, 2260 markings/sec, 1880 secs
lola: 5576942 markings, 14800565 edges, 2508 markings/sec, 1885 secs
lola: 5589970 markings, 14834265 edges, 2606 markings/sec, 1890 secs
lola: 5601071 markings, 14870438 edges, 2220 markings/sec, 1895 secs
lola: 5613845 markings, 14909234 edges, 2555 markings/sec, 1900 secs
lola: 5625957 markings, 14942521 edges, 2422 markings/sec, 1905 secs
lola: 5637509 markings, 14979987 edges, 2310 markings/sec, 1910 secs
lola: 5651377 markings, 15017152 edges, 2774 markings/sec, 1915 secs
lola: 5662482 markings, 15053128 edges, 2221 markings/sec, 1920 secs
lola: 5676040 markings, 15090079 edges, 2712 markings/sec, 1925 secs
lola: 5687044 markings, 15125580 edges, 2201 markings/sec, 1930 secs
lola: 5700115 markings, 15161785 edges, 2614 markings/sec, 1935 secs
lola: 5713452 markings, 15199559 edges, 2667 markings/sec, 1940 secs
lola: 5725392 markings, 15235984 edges, 2388 markings/sec, 1945 secs
lola: 5738050 markings, 15271972 edges, 2532 markings/sec, 1950 secs
lola: 5750827 markings, 15307389 edges, 2555 markings/sec, 1955 secs
lola: 5763791 markings, 15343328 edges, 2593 markings/sec, 1960 secs
lola: 5776807 markings, 15378577 edges, 2603 markings/sec, 1965 secs
lola: 5805627 markings, 15428620 edges, 5764 markings/sec, 1970 secs
lola: 5823307 markings, 15473693 edges, 3536 markings/sec, 1975 secs
lola: 5843166 markings, 15522905 edges, 3972 markings/sec, 1980 secs
lola: 5859338 markings, 15565765 edges, 3234 markings/sec, 1985 secs
lola: 5874459 markings, 15606424 edges, 3024 markings/sec, 1990 secs
lola: 5891942 markings, 15651100 edges, 3497 markings/sec, 1995 secs
lola: 5906490 markings, 15690883 edges, 2910 markings/sec, 2000 secs
lola: 5923218 markings, 15734489 edges, 3346 markings/sec, 2005 secs
lola: 5938540 markings, 15775389 edges, 3064 markings/sec, 2010 secs
lola: 5953050 markings, 15814617 edges, 2902 markings/sec, 2015 secs
lola: 5968830 markings, 15856067 edges, 3156 markings/sec, 2020 secs
lola: 5982545 markings, 15894421 edges, 2743 markings/sec, 2025 secs
lola: 5998076 markings, 15935957 edges, 3106 markings/sec, 2030 secs
lola: 6013571 markings, 15977507 edges, 3099 markings/sec, 2035 secs
lola: 6028110 markings, 16018383 edges, 2908 markings/sec, 2040 secs
lola: 6043321 markings, 16059292 edges, 3042 markings/sec, 2045 secs
lola: 6057730 markings, 16099833 edges, 2882 markings/sec, 2050 secs
lola: 6072617 markings, 16139972 edges, 2977 markings/sec, 2055 secs
lola: 6087351 markings, 16179688 edges, 2947 markings/sec, 2060 secs
lola: 6101306 markings, 16218962 edges, 2791 markings/sec, 2065 secs
lola: 6116006 markings, 16258621 edges, 2940 markings/sec, 2070 secs
lola: 6130333 markings, 16297582 edges, 2865 markings/sec, 2075 secs
lola: 6144253 markings, 16336357 edges, 2784 markings/sec, 2080 secs
lola: 6158762 markings, 16375270 edges, 2902 markings/sec, 2085 secs
lola: 6172403 markings, 16413546 edges, 2728 markings/sec, 2090 secs
lola: 6186742 markings, 16451742 edges, 2868 markings/sec, 2095 secs
lola: 6200262 markings, 16489491 edges, 2704 markings/sec, 2100 secs
lola: 6214496 markings, 16526940 edges, 2847 markings/sec, 2105 secs
lola: 6227852 markings, 16563709 edges, 2671 markings/sec, 2110 secs
lola: 6241967 markings, 16599887 edges, 2823 markings/sec, 2115 secs
lola: 6255101 markings, 16634670 edges, 2627 markings/sec, 2120 secs
lola: 6269824 markings, 16674065 edges, 2945 markings/sec, 2125 secs
lola: 6282901 markings, 16707557 edges, 2615 markings/sec, 2130 secs
lola: 6292600 markings, 16739268 edges, 1940 markings/sec, 2135 secs
lola: 6304398 markings, 16778020 edges, 2360 markings/sec, 2140 secs
lola: 6315436 markings, 16814210 edges, 2208 markings/sec, 2145 secs
lola: 6330997 markings, 16852885 edges, 3112 markings/sec, 2150 secs
lola: 6340827 markings, 16885064 edges, 1966 markings/sec, 2155 secs
lola: 6352191 markings, 16922362 edges, 2273 markings/sec, 2160 secs
lola: 6363281 markings, 16958639 edges, 2218 markings/sec, 2165 secs
lola: 6378247 markings, 16996639 edges, 2993 markings/sec, 2170 secs
lola: 6388255 markings, 17029293 edges, 2002 markings/sec, 2175 secs
lola: 6399877 markings, 17067165 edges, 2324 markings/sec, 2180 secs
lola: 6414118 markings, 17105819 edges, 2848 markings/sec, 2185 secs
lola: 6424681 markings, 17138362 edges, 2113 markings/sec, 2190 secs
lola: 6436048 markings, 17175463 edges, 2273 markings/sec, 2195 secs
lola: 6450144 markings, 17213625 edges, 2819 markings/sec, 2200 secs
lola: 6460381 markings, 17246013 edges, 2047 markings/sec, 2205 secs
lola: 6471557 markings, 17282348 edges, 2235 markings/sec, 2210 secs
lola: 6485102 markings, 17318797 edges, 2709 markings/sec, 2215 secs
lola: 6495687 markings, 17353011 edges, 2117 markings/sec, 2220 secs
lola: 6509043 markings, 17389770 edges, 2671 markings/sec, 2225 secs
lola: 6519866 markings, 17424689 edges, 2165 markings/sec, 2230 secs
lola: 6532830 markings, 17460862 edges, 2593 markings/sec, 2235 secs
lola: 6544277 markings, 17496610 edges, 2289 markings/sec, 2240 secs
lola: 6556159 markings, 17530852 edges, 2376 markings/sec, 2245 secs
lola: 6568716 markings, 17566790 edges, 2511 markings/sec, 2250 secs
lola: 6581097 markings, 17602637 edges, 2476 markings/sec, 2255 secs
lola: 6594100 markings, 17638342 edges, 2601 markings/sec, 2260 secs
lola: 6607220 markings, 17673360 edges, 2624 markings/sec, 2265 secs
lola: 6631914 markings, 17720057 edges, 4939 markings/sec, 2270 secs
lola: 6653913 markings, 17767685 edges, 4400 markings/sec, 2275 secs
lola: 6670928 markings, 17812048 edges, 3403 markings/sec, 2280 secs
lola: 6686796 markings, 17854196 edges, 3174 markings/sec, 2285 secs
lola: 6704859 markings, 17899862 edges, 3613 markings/sec, 2290 secs
lola: 6719635 markings, 17939718 edges, 2955 markings/sec, 2295 secs
lola: 6736652 markings, 17983701 edges, 3403 markings/sec, 2300 secs
lola: 6750968 markings, 18023066 edges, 2863 markings/sec, 2305 secs
lola: 6767296 markings, 18065523 edges, 3266 markings/sec, 2310 secs
lola: 6781285 markings, 18104292 edges, 2798 markings/sec, 2315 secs
lola: 6797221 markings, 18146038 edges, 3187 markings/sec, 2320 secs
lola: 6813122 markings, 18188090 edges, 3180 markings/sec, 2325 secs
lola: 6826730 markings, 18225961 edges, 2722 markings/sec, 2330 secs
lola: 6842393 markings, 18267680 edges, 3133 markings/sec, 2335 secs
lola: 6857711 markings, 18308541 edges, 3064 markings/sec, 2340 secs
lola: 6871211 markings, 18346660 edges, 2700 markings/sec, 2345 secs
lola: 6886389 markings, 18387641 edges, 3036 markings/sec, 2350 secs
lola: 6901401 markings, 18428487 edges, 3002 markings/sec, 2355 secs
lola: 6915720 markings, 18468649 edges, 2864 markings/sec, 2360 secs
lola: 6930670 markings, 18509163 edges, 2990 markings/sec, 2365 secs
lola: 6945147 markings, 18549334 edges, 2895 markings/sec, 2370 secs
lola: 6959487 markings, 18588974 edges, 2868 markings/sec, 2375 secs
lola: 6974097 markings, 18628484 edges, 2922 markings/sec, 2380 secs
lola: 6988015 markings, 18667958 edges, 2784 markings/sec, 2385 secs
lola: 7002448 markings, 18706961 edges, 2887 markings/sec, 2390 secs
lola: 7016952 markings, 18746249 edges, 2901 markings/sec, 2395 secs
lola: 7030308 markings, 18784069 edges, 2671 markings/sec, 2400 secs
lola: 7044038 markings, 18821072 edges, 2746 markings/sec, 2405 secs
lola: 7057753 markings, 18857971 edges, 2743 markings/sec, 2410 secs
lola: 7070748 markings, 18894561 edges, 2599 markings/sec, 2415 secs
lola: 7084438 markings, 18931254 edges, 2738 markings/sec, 2420 secs
lola: 7097190 markings, 18966964 edges, 2550 markings/sec, 2425 secs
lola: 7110994 markings, 19003472 edges, 2761 markings/sec, 2430 secs
lola: 7124277 markings, 19040235 edges, 2657 markings/sec, 2435 secs
lola: 7138064 markings, 19075901 edges, 2757 markings/sec, 2440 secs
lola: 7151081 markings, 19111094 edges, 2603 markings/sec, 2445 secs
lola: 7164415 markings, 19144868 edges, 2667 markings/sec, 2450 secs
lola: 7180374 markings, 19184104 edges, 3192 markings/sec, 2455 secs
lola: 7190311 markings, 19216825 edges, 1987 markings/sec, 2460 secs
lola: 7200738 markings, 19250971 edges, 2085 markings/sec, 2465 secs
lola: 7212228 markings, 19288676 edges, 2298 markings/sec, 2470 secs
lola: 7225110 markings, 19328548 edges, 2576 markings/sec, 2475 secs
lola: 7238159 markings, 19361924 edges, 2610 markings/sec, 2480 secs
lola: 7247673 markings, 19393074 edges, 1903 markings/sec, 2485 secs
lola: 7259258 markings, 19430962 edges, 2317 markings/sec, 2490 secs
lola: 7271274 markings, 19469957 edges, 2403 markings/sec, 2495 secs
lola: 7285038 markings, 19504855 edges, 2753 markings/sec, 2500 secs
lola: 7295014 markings, 19537402 edges, 1995 markings/sec, 2505 secs
lola: 7306572 markings, 19575204 edges, 2312 markings/sec, 2510 secs
lola: 7320560 markings, 19613167 edges, 2798 markings/sec, 2515 secs
lola: 7331192 markings, 19646210 edges, 2126 markings/sec, 2520 secs
lola: 7342286 markings, 19682399 edges, 2219 markings/sec, 2525 secs
lola: 7354897 markings, 19720414 edges, 2522 markings/sec, 2530 secs
lola: 7366491 markings, 19753036 edges, 2319 markings/sec, 2535 secs
lola: 7377677 markings, 19789412 edges, 2237 markings/sec, 2540 secs
lola: 7391314 markings, 19826543 edges, 2727 markings/sec, 2545 secs
lola: 7401754 markings, 19860359 edges, 2088 markings/sec, 2550 secs
lola: 7414566 markings, 19898568 edges, 2562 markings/sec, 2555 secs
lola: 7426016 markings, 19932716 edges, 2290 markings/sec, 2560 secs
lola: 7439359 markings, 19970474 edges, 2669 markings/sec, 2565 secs
lola: 7449962 markings, 20004521 edges, 2121 markings/sec, 2570 secs
lola: 7462525 markings, 20040361 edges, 2513 markings/sec, 2575 secs
lola: 7475239 markings, 20077185 edges, 2543 markings/sec, 2580 secs
lola: 7487562 markings, 20113153 edges, 2465 markings/sec, 2585 secs
lola: 7499794 markings, 20149023 edges, 2446 markings/sec, 2590 secs
lola: 7512930 markings, 20184621 edges, 2627 markings/sec, 2595 secs
lola: 7532694 markings, 20227751 edges, 3953 markings/sec, 2600 secs
lola: 7558525 markings, 20276056 edges, 5166 markings/sec, 2605 secs
lola: 7575866 markings, 20321190 edges, 3468 markings/sec, 2610 secs
lola: 7592996 markings, 20365729 edges, 3426 markings/sec, 2615 secs
lola: 7610669 markings, 20410925 edges, 3535 markings/sec, 2620 secs
lola: 7625659 markings, 20451476 edges, 2998 markings/sec, 2625 secs
lola: 7643042 markings, 20496146 edges, 3477 markings/sec, 2630 secs
lola: 7657521 markings, 20535947 edges, 2896 markings/sec, 2635 secs
lola: 7674001 markings, 20578659 edges, 3296 markings/sec, 2640 secs
lola: 7689222 markings, 20619827 edges, 3044 markings/sec, 2645 secs
lola: 7704165 markings, 20659941 edges, 2989 markings/sec, 2650 secs
lola: 7720003 markings, 20701683 edges, 3168 markings/sec, 2655 secs
lola: 7733394 markings, 20739114 edges, 2678 markings/sec, 2660 secs
lola: 7748639 markings, 20779527 edges, 3049 markings/sec, 2665 secs
lola: 7763935 markings, 20820323 edges, 3059 markings/sec, 2670 secs
lola: 7777331 markings, 20857843 edges, 2679 markings/sec, 2675 secs
lola: 7792341 markings, 20897997 edges, 3002 markings/sec, 2680 secs
lola: 7807135 markings, 20937543 edges, 2959 markings/sec, 2685 secs
lola: 7820623 markings, 20975377 edges, 2698 markings/sec, 2690 secs
lola: 7835045 markings, 21014642 edges, 2884 markings/sec, 2695 secs
lola: 7849992 markings, 21055340 edges, 2989 markings/sec, 2700 secs
lola: 7864764 markings, 21095496 edges, 2954 markings/sec, 2705 secs
lola: 7878757 markings, 21135204 edges, 2799 markings/sec, 2710 secs
lola: 7893504 markings, 21175460 edges, 2949 markings/sec, 2715 secs
lola: 7907942 markings, 21214719 edges, 2888 markings/sec, 2720 secs
lola: 7921771 markings, 21254041 edges, 2766 markings/sec, 2725 secs
lola: 7936157 markings, 21293248 edges, 2877 markings/sec, 2730 secs
lola: 7950400 markings, 21331946 edges, 2849 markings/sec, 2735 secs
lola: 7964089 markings, 21370773 edges, 2738 markings/sec, 2740 secs
lola: 7978469 markings, 21409945 edges, 2876 markings/sec, 2745 secs
lola: 7992784 markings, 21448789 edges, 2863 markings/sec, 2750 secs
lola: 8006315 markings, 21487149 edges, 2706 markings/sec, 2755 secs
lola: 8020519 markings, 21525572 edges, 2841 markings/sec, 2760 secs
lola: 8034693 markings, 21563867 edges, 2835 markings/sec, 2765 secs
lola: 8048058 markings, 21601565 edges, 2673 markings/sec, 2770 secs
lola: 8061887 markings, 21638696 edges, 2766 markings/sec, 2775 secs
lola: 8075073 markings, 21675639 edges, 2637 markings/sec, 2780 secs
lola: 8089039 markings, 21712716 edges, 2793 markings/sec, 2785 secs
lola: 8102026 markings, 21747544 edges, 2597 markings/sec, 2790 secs
lola: 8115097 markings, 21782797 edges, 2614 markings/sec, 2795 secs
lola: 8128212 markings, 21818305 edges, 2623 markings/sec, 2800 secs
lola: 8141875 markings, 21852017 edges, 2733 markings/sec, 2805 secs
lola: 8158346 markings, 21891559 edges, 3294 markings/sec, 2810 secs
lola: 8168350 markings, 21924486 edges, 2001 markings/sec, 2815 secs
lola: 8178144 markings, 21956543 edges, 1959 markings/sec, 2820 secs
lola: 8189601 markings, 21994159 edges, 2291 markings/sec, 2825 secs
lola: 8200714 markings, 22030633 edges, 2223 markings/sec, 2830 secs
lola: 8215990 markings, 22069587 edges, 3055 markings/sec, 2835 secs
lola: 8226149 markings, 22102722 edges, 2032 markings/sec, 2840 secs
lola: 8236086 markings, 22135281 edges, 1987 markings/sec, 2845 secs
lola: 8247657 markings, 22173136 edges, 2314 markings/sec, 2850 secs
lola: 8261883 markings, 22212306 edges, 2845 markings/sec, 2855 secs
lola: 8272850 markings, 22245733 edges, 2193 markings/sec, 2860 secs
lola: 8283172 markings, 22279439 edges, 2064 markings/sec, 2865 secs
lola: 8294639 markings, 22316956 edges, 2293 markings/sec, 2870 secs
lola: 8309038 markings, 22355157 edges, 2880 markings/sec, 2875 secs
lola: 8318890 markings, 22387339 edges, 1970 markings/sec, 2880 secs
lola: 8330128 markings, 22423928 edges, 2248 markings/sec, 2885 secs
lola: 8344198 markings, 22462070 edges, 2814 markings/sec, 2890 secs
lola: 8354427 markings, 22495404 edges, 2046 markings/sec, 2895 secs
lola: 8365637 markings, 22531843 edges, 2242 markings/sec, 2900 secs
lola: 8379068 markings, 22568744 edges, 2686 markings/sec, 2905 secs
lola: 8389446 markings, 22602422 edges, 2076 markings/sec, 2910 secs
lola: 8401835 markings, 22640048 edges, 2478 markings/sec, 2915 secs
lola: 8413292 markings, 22673841 edges, 2291 markings/sec, 2920 secs
lola: 8426266 markings, 22711812 edges, 2595 markings/sec, 2925 secs
lola: 8437284 markings, 22746236 edges, 2204 markings/sec, 2930 secs
lola: 8449781 markings, 22782183 edges, 2499 markings/sec, 2935 secs
lola: 8462311 markings, 22818814 edges, 2506 markings/sec, 2940 secs
lola: 8474515 markings, 22854745 edges, 2441 markings/sec, 2945 secs
lola: 8486427 markings, 22889889 edges, 2382 markings/sec, 2950 secs
lola: 8498824 markings, 22924949 edges, 2479 markings/sec, 2955 secs
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 8511809 markings, 22961589 edges
lola: ========================================
FORMULA BridgeAndVehicles-PT-V20P10N20-UpperBounds-0 20 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola:
SUMMARY: 20 20 1 20 20 1 20 1 1 1 1 1 1 1 1 1
lola:
preliminary result: 20 20 1 20 20 1 20 1 1 1 1 1 1 1 1 1
lola: memory consumption: 22168 KB
lola: time consumption: 3219 seconds
BK_STOP 1526561429765
--------------------
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-V20P10N20"
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-V20P10N20.tgz
mv BridgeAndVehicles-PT-V20P10N20 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-V20P10N20, 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-152646306300275"
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 '
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 ;