Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r022-csrt-155225094700220.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is BridgeAndVehicles-PT-V80P50N20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094700220
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.4M
-rw-r--r-- 1 mcc users 14K Feb 9 08:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Feb 9 08:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 323K Feb 5 06:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 914K Feb 5 06:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 117 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 355 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 8.5K Feb 4 23:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 4 23:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 48K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 132K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 2 01:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 38K Feb 2 01:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 430K Jan 29 14:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.3M Jan 29 14:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.7K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 4.1M Mar 10 17:31 model.pnml

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

=== Now, execution of the tool begins

BK_START 1552411519238

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-PT-V80P50N20 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-PT-V80P50N20 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-PT-V80P50N20 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3926/65536 symbol table entries, 230 collisions
lola: preprocessing...
lola: Size of bit vector: 6336
lola: finding significant places
lola: 198 places, 3728 transitions, 191 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4253 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-PT-V80P50N20-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE_A_22 + NB_ATTENTE_A_23 + NB_ATTENTE_A_24 + NB_ATTENTE_A_25 + NB_ATTENTE_A_26 + NB_ATTENTE_A_27 + NB_ATTENTE_A_28 + NB_ATTENTE_A_29 + NB_ATTENTE_A_30 + NB_ATTENTE_A_31 + NB_ATTENTE_A_32 + NB_ATTENTE_A_33 + NB_ATTENTE_A_34 + NB_ATTENTE_A_35 + NB_ATTENTE_A_36 + NB_ATTENTE_A_37 + NB_ATTENTE_A_38 + NB_ATTENTE_A_39 + NB_ATTENTE_A_40 + NB_ATTENTE_A_41 + NB_ATTENTE_A_42 + NB_ATTENTE_A_43 + NB_ATTENTE_A_44 + NB_ATTENTE_A_45 + NB_ATTENTE_A_46 + NB_ATTENTE_A_47 + NB_ATTENTE_A_48 + NB_ATTENTE_A_49 + NB_ATTENTE_A_50 + 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: 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_A) : MAX(SUR_PONT_B) : MAX(CONTROLEUR_1 + CONTROLEUR_2) : MAX(0) : MAX(SORTI_B) : MAX(0) : MAX(SORTI_A) : MAX(ROUTE_B) : MAX(COMPTEUR_6) : MAX(NB_ATTENTE_A_10) : MAX(NB_ATTENTE_A_40) : MAX(NB_ATTENTE_B_52) : MAX(NB_ATTENTE_B_18) : MAX(NB_ATTENTE_B_30) : MAX(NB_ATTENTE_B_41) : MAX(NB_ATTENTE_B_36)
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-V80P50N20-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-V80P50N20-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N20-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-V80P50N20-UpperBounds-5 1 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_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-V80P50N20-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-V80P50N20-UpperBounds-0 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SORTI_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SORTI_B)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N20-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: 339 markings, 338 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P50N20-UpperBounds-4 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_B)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N20-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: 9689 markings, 20636 edges, 1938 markings/sec, 0 secs
lola: 18724 markings, 40212 edges, 1807 markings/sec, 5 secs
lola: 25988 markings, 51513 edges, 1453 markings/sec, 10 secs
lola: 33331 markings, 68250 edges, 1469 markings/sec, 15 secs
lola: 41420 markings, 85711 edges, 1618 markings/sec, 20 secs
lola: 50013 markings, 100083 edges, 1719 markings/sec, 25 secs
lola: 57416 markings, 116399 edges, 1481 markings/sec, 30 secs
lola: 65200 markings, 129445 edges, 1557 markings/sec, 35 secs
lola: 73095 markings, 144763 edges, 1579 markings/sec, 40 secs
lola: 83175 markings, 170387 edges, 2016 markings/sec, 45 secs
lola: 94147 markings, 199094 edges, 2194 markings/sec, 50 secs
lola: 105442 markings, 228281 edges, 2259 markings/sec, 55 secs
lola: 113976 markings, 249506 edges, 1707 markings/sec, 60 secs
lola: 119130 markings, 264902 edges, 1031 markings/sec, 65 secs
lola: 126715 markings, 281682 edges, 1517 markings/sec, 70 secs
lola: 134782 markings, 299299 edges, 1613 markings/sec, 75 secs
lola: 141794 markings, 314580 edges, 1402 markings/sec, 80 secs
lola: 149546 markings, 331179 edges, 1550 markings/sec, 85 secs
lola: 157450 markings, 348469 edges, 1581 markings/sec, 90 secs
lola: 168841 markings, 377622 edges, 2278 markings/sec, 95 secs
lola: 180055 markings, 406548 edges, 2243 markings/sec, 100 secs
lola: 191283 markings, 436074 edges, 2246 markings/sec, 105 secs
lola: 200015 markings, 455933 edges, 1746 markings/sec, 110 secs
lola: 207938 markings, 473290 edges, 1585 markings/sec, 115 secs
lola: 215197 markings, 489197 edges, 1452 markings/sec, 120 secs
lola: 222901 markings, 506306 edges, 1541 markings/sec, 125 secs
lola: 230026 markings, 521789 edges, 1425 markings/sec, 130 secs
lola: 238348 markings, 541793 edges, 1664 markings/sec, 135 secs
lola: 247694 markings, 566060 edges, 1869 markings/sec, 140 secs
lola: 257214 markings, 590836 edges, 1904 markings/sec, 145 secs
lola: 267206 markings, 617069 edges, 1998 markings/sec, 150 secs
lola: 275370 markings, 634958 edges, 1633 markings/sec, 155 secs
lola: 283306 markings, 652377 edges, 1587 markings/sec, 160 secs
lola: 290521 markings, 668163 edges, 1443 markings/sec, 165 secs
lola: 298123 markings, 684572 edges, 1520 markings/sec, 170 secs
lola: 305706 markings, 701145 edges, 1517 markings/sec, 175 secs
lola: 316466 markings, 728796 edges, 2152 markings/sec, 180 secs
lola: 327357 markings, 756883 edges, 2178 markings/sec, 185 secs
lola: 338187 markings, 785248 edges, 2166 markings/sec, 190 secs
lola: 346851 markings, 804741 edges, 1733 markings/sec, 195 secs
lola: 354880 markings, 822517 edges, 1606 markings/sec, 200 secs
lola: 362136 markings, 838377 edges, 1451 markings/sec, 205 secs
lola: 369809 markings, 855016 edges, 1535 markings/sec, 210 secs
lola: 377613 markings, 872121 edges, 1561 markings/sec, 215 secs
lola: 388518 markings, 900585 edges, 2181 markings/sec, 220 secs
lola: 399161 markings, 927873 edges, 2129 markings/sec, 225 secs
lola: 408945 markings, 953412 edges, 1957 markings/sec, 230 secs
lola: 416687 markings, 970851 edges, 1548 markings/sec, 235 secs
lola: 423973 markings, 986736 edges, 1457 markings/sec, 240 secs
lola: 430986 markings, 1002184 edges, 1403 markings/sec, 245 secs
lola: 438364 markings, 1018542 edges, 1476 markings/sec, 250 secs
lola: 445586 markings, 1033987 edges, 1444 markings/sec, 255 secs
lola: 455712 markings, 1059689 edges, 2025 markings/sec, 260 secs
lola: 466267 markings, 1086944 edges, 2111 markings/sec, 265 secs
lola: 476680 markings, 1114306 edges, 2083 markings/sec, 270 secs
lola: 485385 markings, 1133994 edges, 1741 markings/sec, 275 secs
lola: 493281 markings, 1151421 edges, 1579 markings/sec, 280 secs
lola: 500384 markings, 1167106 edges, 1421 markings/sec, 285 secs
lola: 507908 markings, 1183360 edges, 1505 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 80 unknown unknown 1 80 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 80044 KB
lola: time consumption: 300 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 297 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-V80P50N20-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: 336 markings, 335 edges
lola: ========================================

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

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

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

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

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

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

lola: ========================================
FORMULA BridgeAndVehicles-PT-V80P50N20-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1634 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-V80P50N20-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-V80P50N20-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 15 will run for 3268 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-V80P50N20-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-V80P50N20-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_B)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N20-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: 10170 markings, 21593 edges, 2034 markings/sec, 0 secs
lola: 18720 markings, 40204 edges, 1710 markings/sec, 5 secs
lola: 25461 markings, 50403 edges, 1348 markings/sec, 10 secs
lola: 32979 markings, 67546 edges, 1504 markings/sec, 15 secs
lola: 40861 markings, 84558 edges, 1576 markings/sec, 20 secs
lola: 48983 markings, 97790 edges, 1624 markings/sec, 25 secs
lola: 56904 markings, 115263 edges, 1584 markings/sec, 30 secs
lola: 64919 markings, 128792 edges, 1603 markings/sec, 35 secs
lola: 73090 markings, 144751 edges, 1634 markings/sec, 40 secs
lola: 83696 markings, 171650 edges, 2121 markings/sec, 45 secs
lola: 94617 markings, 200509 edges, 2184 markings/sec, 50 secs
lola: 105622 markings, 228714 edges, 2201 markings/sec, 55 secs
lola: 114002 markings, 249570 edges, 1676 markings/sec, 60 secs
lola: 118953 markings, 264369 edges, 990 markings/sec, 65 secs
lola: 125665 markings, 279094 edges, 1342 markings/sec, 70 secs
lola: 133888 markings, 297308 edges, 1645 markings/sec, 75 secs
lola: 141069 markings, 312911 edges, 1436 markings/sec, 80 secs
lola: 148134 markings, 328371 edges, 1413 markings/sec, 85 secs
lola: 155244 markings, 343839 edges, 1422 markings/sec, 90 secs
lola: 164204 markings, 365682 edges, 1792 markings/sec, 95 secs
lola: 174730 markings, 392984 edges, 2105 markings/sec, 100 secs
lola: 185649 markings, 421970 edges, 2184 markings/sec, 105 secs
lola: 195603 markings, 446848 edges, 1991 markings/sec, 110 secs
lola: 202721 markings, 462307 edges, 1424 markings/sec, 115 secs
lola: 210074 markings, 478245 edges, 1471 markings/sec, 120 secs
lola: 216627 markings, 492501 edges, 1311 markings/sec, 125 secs
lola: 224018 markings, 508682 edges, 1478 markings/sec, 130 secs
lola: 231872 markings, 525590 edges, 1571 markings/sec, 135 secs
lola: 241762 markings, 550573 edges, 1978 markings/sec, 140 secs
lola: 251112 markings, 575170 edges, 1870 markings/sec, 145 secs
lola: 260362 markings, 599750 edges, 1850 markings/sec, 150 secs
lola: 269705 markings, 622930 edges, 1869 markings/sec, 155 secs
lola: 276961 markings, 638609 edges, 1451 markings/sec, 160 secs
lola: 284722 markings, 655567 edges, 1552 markings/sec, 165 secs
lola: 291662 markings, 670878 edges, 1388 markings/sec, 170 secs
lola: 299187 markings, 686978 edges, 1505 markings/sec, 175 secs
lola: 306792 markings, 703745 edges, 1521 markings/sec, 180 secs
lola: 317696 markings, 732132 edges, 2181 markings/sec, 185 secs
lola: 328651 markings, 760267 edges, 2191 markings/sec, 190 secs
lola: 339395 markings, 788603 edges, 2149 markings/sec, 195 secs
lola: 347640 markings, 806715 edges, 1649 markings/sec, 200 secs
lola: 355771 markings, 824595 edges, 1626 markings/sec, 205 secs
lola: 363200 markings, 840903 edges, 1486 markings/sec, 210 secs
lola: 371152 markings, 858078 edges, 1590 markings/sec, 215 secs
lola: 379605 markings, 877260 edges, 1691 markings/sec, 220 secs
lola: 390570 markings, 905685 edges, 2193 markings/sec, 225 secs
lola: 401470 markings, 934293 edges, 2180 markings/sec, 230 secs
lola: 412096 markings, 961322 edges, 2125 markings/sec, 235 secs
lola: 419669 markings, 977742 edges, 1515 markings/sec, 240 secs
lola: 427513 markings, 994844 edges, 1569 markings/sec, 245 secs
lola: 435250 markings, 1011327 edges, 1547 markings/sec, 250 secs
lola: 442751 markings, 1027803 edges, 1500 markings/sec, 255 secs
lola: 451860 markings, 1049748 edges, 1822 markings/sec, 260 secs
lola: 462678 markings, 1077954 edges, 2164 markings/sec, 265 secs
lola: 473661 markings, 1106296 edges, 2197 markings/sec, 270 secs
lola: 483065 markings, 1128726 edges, 1881 markings/sec, 275 secs
lola: 490881 markings, 1145907 edges, 1563 markings/sec, 280 secs
lola: 498194 markings, 1161997 edges, 1463 markings/sec, 285 secs
lola: 505614 markings, 1178577 edges, 1484 markings/sec, 290 secs
lola: 512582 markings, 1193650 edges, 1394 markings/sec, 295 secs
lola: 522278 markings, 1217903 edges, 1939 markings/sec, 300 secs
lola: 532474 markings, 1244241 edges, 2039 markings/sec, 305 secs
lola: 543166 markings, 1272268 edges, 2138 markings/sec, 310 secs
lola: 551521 markings, 1291338 edges, 1671 markings/sec, 315 secs
lola: 559330 markings, 1308584 edges, 1562 markings/sec, 320 secs
lola: 566375 markings, 1324014 edges, 1409 markings/sec, 325 secs
lola: 573995 markings, 1340528 edges, 1524 markings/sec, 330 secs
lola: 582293 markings, 1359843 edges, 1660 markings/sec, 335 secs
lola: 593119 markings, 1387682 edges, 2165 markings/sec, 340 secs
lola: 604009 markings, 1416225 edges, 2178 markings/sec, 345 secs
lola: 613826 markings, 1439678 edges, 1963 markings/sec, 350 secs
lola: 621591 markings, 1456733 edges, 1553 markings/sec, 355 secs
lola: 629007 markings, 1473108 edges, 1483 markings/sec, 360 secs
lola: 636617 markings, 1490019 edges, 1522 markings/sec, 365 secs
lola: 644610 markings, 1507693 edges, 1599 markings/sec, 370 secs
lola: 655400 markings, 1535557 edges, 2158 markings/sec, 375 secs
lola: 666049 markings, 1563934 edges, 2130 markings/sec, 380 secs
lola: 676279 markings, 1588168 edges, 2046 markings/sec, 385 secs
lola: 684064 markings, 1605385 edges, 1557 markings/sec, 390 secs
lola: 691570 markings, 1621918 edges, 1501 markings/sec, 395 secs
lola: 699133 markings, 1638711 edges, 1513 markings/sec, 400 secs
lola: 707298 markings, 1657222 edges, 1633 markings/sec, 405 secs
lola: 718225 markings, 1685390 edges, 2185 markings/sec, 410 secs
lola: 729244 markings, 1713909 edges, 2204 markings/sec, 415 secs
lola: 738643 markings, 1736311 edges, 1880 markings/sec, 420 secs
lola: 746513 markings, 1753670 edges, 1574 markings/sec, 425 secs
lola: 753671 markings, 1769537 edges, 1432 markings/sec, 430 secs
lola: 761173 markings, 1785938 edges, 1500 markings/sec, 435 secs
lola: 770050 markings, 1807157 edges, 1775 markings/sec, 440 secs
lola: 780606 markings, 1834223 edges, 2111 markings/sec, 445 secs
lola: 791168 markings, 1861837 edges, 2112 markings/sec, 450 secs
lola: 799516 markings, 1881013 edges, 1670 markings/sec, 455 secs
lola: 807292 markings, 1898245 edges, 1555 markings/sec, 460 secs
lola: 814228 markings, 1913332 edges, 1387 markings/sec, 465 secs
lola: 821924 markings, 1930131 edges, 1539 markings/sec, 470 secs
lola: 831864 markings, 1955220 edges, 1988 markings/sec, 475 secs
lola: 843040 markings, 1984272 edges, 2235 markings/sec, 480 secs
lola: 853427 markings, 2009733 edges, 2077 markings/sec, 485 secs
lola: 861401 markings, 2027292 edges, 1595 markings/sec, 490 secs
lola: 869021 markings, 2044135 edges, 1524 markings/sec, 495 secs
lola: 876284 markings, 2059962 edges, 1453 markings/sec, 500 secs
lola: 884254 markings, 2078908 edges, 1594 markings/sec, 505 secs
lola: 894160 markings, 2104415 edges, 1981 markings/sec, 510 secs
lola: 904100 markings, 2130334 edges, 1988 markings/sec, 515 secs
lola: 912002 markings, 2148611 edges, 1580 markings/sec, 520 secs
lola: 918957 markings, 2163933 edges, 1391 markings/sec, 525 secs
lola: 925849 markings, 2179229 edges, 1378 markings/sec, 530 secs
lola: 933472 markings, 2195632 edges, 1525 markings/sec, 535 secs
lola: 942992 markings, 2219609 edges, 1904 markings/sec, 540 secs
lola: 953766 markings, 2247756 edges, 2155 markings/sec, 545 secs
lola: 963936 markings, 2272383 edges, 2034 markings/sec, 550 secs
lola: 971860 markings, 2289738 edges, 1585 markings/sec, 555 secs
lola: 979122 markings, 2305930 edges, 1452 markings/sec, 560 secs
lola: 986730 markings, 2322446 edges, 1522 markings/sec, 565 secs
lola: 996480 markings, 2347066 edges, 1950 markings/sec, 570 secs
lola: 1007359 markings, 2375435 edges, 2176 markings/sec, 575 secs
lola: 1017196 markings, 2398788 edges, 1967 markings/sec, 580 secs
lola: 1025116 markings, 2416309 edges, 1584 markings/sec, 585 secs
lola: 1032204 markings, 2432105 edges, 1418 markings/sec, 590 secs
lola: 1039870 markings, 2448704 edges, 1533 markings/sec, 595 secs
lola: 1049973 markings, 2474260 edges, 2021 markings/sec, 600 secs
lola: 1060568 markings, 2501788 edges, 2119 markings/sec, 605 secs
lola: 1069484 markings, 2522887 edges, 1783 markings/sec, 610 secs
lola: 1077279 markings, 2540273 edges, 1559 markings/sec, 615 secs
lola: 1084631 markings, 2556078 edges, 1470 markings/sec, 620 secs
lola: 1092321 markings, 2573385 edges, 1538 markings/sec, 625 secs
lola: 1102904 markings, 2600578 edges, 2117 markings/sec, 630 secs
lola: 1113699 markings, 2629044 edges, 2159 markings/sec, 635 secs
lola: 1121458 markings, 2646226 edges, 1552 markings/sec, 640 secs
lola: 1128463 markings, 2661550 edges, 1401 markings/sec, 645 secs
lola: 1135469 markings, 2676847 edges, 1401 markings/sec, 650 secs
lola: 1143207 markings, 2694717 edges, 1548 markings/sec, 655 secs
lola: 1152958 markings, 2720031 edges, 1950 markings/sec, 660 secs
lola: 1162635 markings, 2745546 edges, 1935 markings/sec, 665 secs
lola: 1169644 markings, 2760720 edges, 1402 markings/sec, 670 secs
lola: 1176616 markings, 2775685 edges, 1394 markings/sec, 675 secs
lola: 1183797 markings, 2791516 edges, 1436 markings/sec, 680 secs
lola: 1192248 markings, 2812036 edges, 1690 markings/sec, 685 secs
lola: 1202058 markings, 2837638 edges, 1962 markings/sec, 690 secs
lola: 1211303 markings, 2860003 edges, 1849 markings/sec, 695 secs
lola: 1218530 markings, 2875849 edges, 1445 markings/sec, 700 secs
lola: 1225058 markings, 2890402 edges, 1306 markings/sec, 705 secs
lola: 1231986 markings, 2905460 edges, 1386 markings/sec, 710 secs
lola: 1241460 markings, 2929640 edges, 1895 markings/sec, 715 secs
lola: 1251363 markings, 2955189 edges, 1981 markings/sec, 720 secs
lola: 1259678 markings, 2973866 edges, 1663 markings/sec, 725 secs
lola: 1267519 markings, 2991873 edges, 1568 markings/sec, 730 secs
lola: 1274337 markings, 3008279 edges, 1364 markings/sec, 735 secs
lola: 1283737 markings, 3028085 edges, 1880 markings/sec, 740 secs
lola: 1290500 markings, 3043101 edges, 1353 markings/sec, 745 secs
lola: 1297036 markings, 3054561 edges, 1307 markings/sec, 750 secs
lola: 1303447 markings, 3065632 edges, 1282 markings/sec, 755 secs
lola: 1310711 markings, 3079579 edges, 1453 markings/sec, 760 secs
lola: 1318245 markings, 3097037 edges, 1507 markings/sec, 765 secs
lola: 1326875 markings, 3115788 edges, 1726 markings/sec, 770 secs
lola: 1333612 markings, 3130241 edges, 1347 markings/sec, 775 secs
lola: 1340207 markings, 3141598 edges, 1319 markings/sec, 780 secs
lola: 1347701 markings, 3156259 edges, 1499 markings/sec, 785 secs
lola: 1356345 markings, 3175366 edges, 1729 markings/sec, 790 secs
lola: 1363238 markings, 3188788 edges, 1379 markings/sec, 795 secs
lola: 1371728 markings, 3206989 edges, 1698 markings/sec, 800 secs
lola: 1382741 markings, 3235603 edges, 2203 markings/sec, 805 secs
lola: 1393835 markings, 3264026 edges, 2219 markings/sec, 810 secs
lola: 1404681 markings, 3292589 edges, 2169 markings/sec, 815 secs
lola: 1411209 markings, 3308409 edges, 1306 markings/sec, 820 secs
lola: 1416207 markings, 3323783 edges, 1000 markings/sec, 825 secs
lola: 1421643 markings, 3335751 edges, 1087 markings/sec, 830 secs
lola: 1429592 markings, 3354038 edges, 1590 markings/sec, 835 secs
lola: 1436409 markings, 3370994 edges, 1363 markings/sec, 840 secs
lola: 1445654 markings, 3390395 edges, 1849 markings/sec, 845 secs
lola: 1452390 markings, 3405549 edges, 1347 markings/sec, 850 secs
lola: 1460262 markings, 3422814 edges, 1574 markings/sec, 855 secs
lola: 1468325 markings, 3440650 edges, 1613 markings/sec, 860 secs
lola: 1475538 markings, 3457314 edges, 1443 markings/sec, 865 secs
lola: 1482787 markings, 3473600 edges, 1450 markings/sec, 870 secs
lola: 1490551 markings, 3490554 edges, 1553 markings/sec, 875 secs
lola: 1499367 markings, 3511482 edges, 1763 markings/sec, 880 secs
lola: 1510209 markings, 3539447 edges, 2168 markings/sec, 885 secs
lola: 1521158 markings, 3568068 edges, 2190 markings/sec, 890 secs
lola: 1532034 markings, 3596560 edges, 2175 markings/sec, 895 secs
lola: 1539633 markings, 3612375 edges, 1520 markings/sec, 900 secs
lola: 1547242 markings, 3630317 edges, 1522 markings/sec, 905 secs
lola: 1555497 markings, 3648301 edges, 1651 markings/sec, 910 secs
lola: 1563382 markings, 3666436 edges, 1577 markings/sec, 915 secs
lola: 1570662 markings, 3681907 edges, 1456 markings/sec, 920 secs
lola: 1578094 markings, 3699654 edges, 1486 markings/sec, 925 secs
lola: 1586773 markings, 3718632 edges, 1736 markings/sec, 930 secs
lola: 1594087 markings, 3734579 edges, 1463 markings/sec, 935 secs
lola: 1602106 markings, 3752697 edges, 1604 markings/sec, 940 secs
lola: 1609456 markings, 3769129 edges, 1470 markings/sec, 945 secs
lola: 1620524 markings, 3798011 edges, 2214 markings/sec, 950 secs
lola: 1631812 markings, 3827057 edges, 2258 markings/sec, 955 secs
lola: 1642454 markings, 3854979 edges, 2128 markings/sec, 960 secs
lola: 1649991 markings, 3871336 edges, 1507 markings/sec, 965 secs
lola: 1657140 markings, 3888068 edges, 1430 markings/sec, 970 secs
lola: 1663447 markings, 3903117 edges, 1261 markings/sec, 975 secs
lola: 1672469 markings, 3922499 edges, 1804 markings/sec, 980 secs
lola: 1678419 markings, 3935765 edges, 1190 markings/sec, 985 secs
lola: 1685596 markings, 3951565 edges, 1435 markings/sec, 990 secs
lola: 1692914 markings, 3967882 edges, 1464 markings/sec, 995 secs
lola: 1699663 markings, 3983330 edges, 1350 markings/sec, 1000 secs
lola: 1706143 markings, 3997771 edges, 1296 markings/sec, 1005 secs
lola: 1713304 markings, 4013646 edges, 1432 markings/sec, 1010 secs
lola: 1720877 markings, 4031054 edges, 1515 markings/sec, 1015 secs
lola: 1730565 markings, 4056505 edges, 1938 markings/sec, 1020 secs
lola: 1740583 markings, 4082012 edges, 2004 markings/sec, 1025 secs
lola: 1750266 markings, 4107349 edges, 1937 markings/sec, 1030 secs
lola: 1757389 markings, 4123372 edges, 1425 markings/sec, 1035 secs
lola: 1764379 markings, 4139453 edges, 1398 markings/sec, 1040 secs
lola: 1770810 markings, 4155261 edges, 1286 markings/sec, 1045 secs
lola: 1778788 markings, 4171967 edges, 1596 markings/sec, 1050 secs
lola: 1785086 markings, 4186461 edges, 1260 markings/sec, 1055 secs
lola: 1791646 markings, 4200477 edges, 1312 markings/sec, 1060 secs
lola: 1797860 markings, 4215549 edges, 1243 markings/sec, 1065 secs
lola: 1805632 markings, 4232248 edges, 1554 markings/sec, 1070 secs
lola: 1811917 markings, 4245876 edges, 1257 markings/sec, 1075 secs
lola: 1819058 markings, 4262065 edges, 1428 markings/sec, 1080 secs
lola: 1825744 markings, 4276841 edges, 1337 markings/sec, 1085 secs
lola: 1835463 markings, 4302061 edges, 1944 markings/sec, 1090 secs
lola: 1845336 markings, 4327353 edges, 1975 markings/sec, 1095 secs
lola: 1855612 markings, 4354243 edges, 2055 markings/sec, 1100 secs
lola: 1862811 markings, 4370888 edges, 1440 markings/sec, 1105 secs
lola: 1869937 markings, 4387245 edges, 1425 markings/sec, 1110 secs
lola: 1876337 markings, 4402774 edges, 1280 markings/sec, 1115 secs
lola: 1884946 markings, 4421160 edges, 1722 markings/sec, 1120 secs
lola: 1891993 markings, 4437015 edges, 1409 markings/sec, 1125 secs
lola: 1899604 markings, 4453931 edges, 1522 markings/sec, 1130 secs
lola: 1907900 markings, 4472363 edges, 1659 markings/sec, 1135 secs
lola: 1914109 markings, 4486361 edges, 1242 markings/sec, 1140 secs
lola: 1921336 markings, 4502211 edges, 1445 markings/sec, 1145 secs
lola: 1928032 markings, 4517116 edges, 1339 markings/sec, 1150 secs
lola: 1938193 markings, 4542840 edges, 2032 markings/sec, 1155 secs
lola: 1948539 markings, 4569469 edges, 2069 markings/sec, 1160 secs
lola: 1958319 markings, 4595147 edges, 1956 markings/sec, 1165 secs
lola: 1965628 markings, 4612206 edges, 1462 markings/sec, 1170 secs
lola: 1973013 markings, 4629060 edges, 1477 markings/sec, 1175 secs
lola: 1980043 markings, 4646321 edges, 1406 markings/sec, 1180 secs
lola: 1988482 markings, 4664100 edges, 1688 markings/sec, 1185 secs
lola: 1994518 markings, 4677692 edges, 1207 markings/sec, 1190 secs
lola: 2001385 markings, 4692713 edges, 1373 markings/sec, 1195 secs
lola: 2008864 markings, 4709324 edges, 1496 markings/sec, 1200 secs
lola: 2015315 markings, 4724223 edges, 1290 markings/sec, 1205 secs
lola: 2021560 markings, 4738135 edges, 1249 markings/sec, 1210 secs
lola: 2028966 markings, 4754192 edges, 1481 markings/sec, 1215 secs
lola: 2039071 markings, 4779788 edges, 2021 markings/sec, 1220 secs
lola: 2049985 markings, 4807973 edges, 2183 markings/sec, 1225 secs
lola: 2060868 markings, 4836688 edges, 2177 markings/sec, 1230 secs
lola: 2068542 markings, 4853288 edges, 1535 markings/sec, 1235 secs
lola: 2076267 markings, 4871587 edges, 1545 markings/sec, 1240 secs
lola: 2084675 markings, 4889843 edges, 1682 markings/sec, 1245 secs
lola: 2092212 markings, 4907335 edges, 1507 markings/sec, 1250 secs
lola: 2099161 markings, 4922298 edges, 1390 markings/sec, 1255 secs
lola: 2106524 markings, 4939281 edges, 1473 markings/sec, 1260 secs
lola: 2114456 markings, 4957005 edges, 1586 markings/sec, 1265 secs
lola: 2122167 markings, 4973846 edges, 1542 markings/sec, 1270 secs
lola: 2128610 markings, 4988108 edges, 1289 markings/sec, 1275 secs
lola: 2138222 markings, 5013109 edges, 1922 markings/sec, 1280 secs
lola: 2147930 markings, 5038090 edges, 1942 markings/sec, 1285 secs
lola: 2157669 markings, 5063428 edges, 1948 markings/sec, 1290 secs
lola: 2164633 markings, 5079069 edges, 1393 markings/sec, 1295 secs
lola: 2171477 markings, 5094966 edges, 1369 markings/sec, 1300 secs
lola: 2177356 markings, 5109396 edges, 1176 markings/sec, 1305 secs
lola: 2185606 markings, 5126899 edges, 1650 markings/sec, 1310 secs
lola: 2191484 markings, 5140055 edges, 1176 markings/sec, 1315 secs
lola: 2198210 markings, 5154984 edges, 1345 markings/sec, 1320 secs
lola: 2205395 markings, 5170838 edges, 1437 markings/sec, 1325 secs
lola: 2211617 markings, 5185036 edges, 1244 markings/sec, 1330 secs
lola: 2218571 markings, 5200311 edges, 1391 markings/sec, 1335 secs
lola: 2225273 markings, 5215453 edges, 1340 markings/sec, 1340 secs
lola: 2234818 markings, 5240483 edges, 1909 markings/sec, 1345 secs
lola: 2244376 markings, 5265101 edges, 1912 markings/sec, 1350 secs
lola: 2253693 markings, 5289352 edges, 1863 markings/sec, 1355 secs
lola: 2260211 markings, 5303444 edges, 1304 markings/sec, 1360 secs
lola: 2266934 markings, 5319217 edges, 1345 markings/sec, 1365 secs
lola: 2273197 markings, 5333629 edges, 1253 markings/sec, 1370 secs
lola: 2281049 markings, 5350874 edges, 1570 markings/sec, 1375 secs
lola: 2286885 markings, 5363428 edges, 1167 markings/sec, 1380 secs
lola: 2293667 markings, 5379320 edges, 1356 markings/sec, 1385 secs
lola: 2301049 markings, 5395551 edges, 1476 markings/sec, 1390 secs
lola: 2307142 markings, 5408913 edges, 1219 markings/sec, 1395 secs
lola: 2314000 markings, 5424467 edges, 1372 markings/sec, 1400 secs
lola: 2321849 markings, 5443394 edges, 1570 markings/sec, 1405 secs
lola: 2331492 markings, 5468449 edges, 1929 markings/sec, 1410 secs
lola: 2341353 markings, 5493950 edges, 1972 markings/sec, 1415 secs
lola: 2349075 markings, 5512906 edges, 1544 markings/sec, 1420 secs
lola: 2356102 markings, 5528499 edges, 1405 markings/sec, 1425 secs
lola: 2362408 markings, 5543779 edges, 1261 markings/sec, 1430 secs
lola: 2370270 markings, 5560603 edges, 1572 markings/sec, 1435 secs
lola: 2376588 markings, 5574916 edges, 1264 markings/sec, 1440 secs
lola: 2383349 markings, 5589837 edges, 1352 markings/sec, 1445 secs
lola: 2390714 markings, 5606255 edges, 1473 markings/sec, 1450 secs
lola: 2396950 markings, 5620082 edges, 1247 markings/sec, 1455 secs
lola: 2404113 markings, 5636311 edges, 1433 markings/sec, 1460 secs
lola: 2412087 markings, 5655719 edges, 1595 markings/sec, 1465 secs
lola: 2421881 markings, 5681027 edges, 1959 markings/sec, 1470 secs
lola: 2431820 markings, 5706614 edges, 1988 markings/sec, 1475 secs
lola: 2439198 markings, 5724190 edges, 1476 markings/sec, 1480 secs
lola: 2446340 markings, 5740463 edges, 1428 markings/sec, 1485 secs
lola: 2452409 markings, 5755425 edges, 1214 markings/sec, 1490 secs
lola: 2460648 markings, 5772869 edges, 1648 markings/sec, 1495 secs
lola: 2466983 markings, 5786672 edges, 1267 markings/sec, 1500 secs
lola: 2473955 markings, 5802886 edges, 1394 markings/sec, 1505 secs
lola: 2481452 markings, 5819427 edges, 1499 markings/sec, 1510 secs
lola: 2487557 markings, 5833017 edges, 1221 markings/sec, 1515 secs
lola: 2494305 markings, 5847891 edges, 1350 markings/sec, 1520 secs
lola: 2504356 markings, 5873709 edges, 2010 markings/sec, 1525 secs
lola: 2514364 markings, 5900005 edges, 2002 markings/sec, 1530 secs
lola: 2523488 markings, 5923217 edges, 1825 markings/sec, 1535 secs
lola: 2530215 markings, 5937561 edges, 1345 markings/sec, 1540 secs
lola: 2536551 markings, 5952775 edges, 1267 markings/sec, 1545 secs
lola: 2544451 markings, 5969837 edges, 1580 markings/sec, 1550 secs
lola: 2550942 markings, 5984810 edges, 1298 markings/sec, 1555 secs
lola: 2557551 markings, 5999116 edges, 1322 markings/sec, 1560 secs
lola: 2564804 markings, 6015355 edges, 1451 markings/sec, 1565 secs
lola: 2571187 markings, 6029549 edges, 1277 markings/sec, 1570 secs
lola: 2578316 markings, 6045712 edges, 1426 markings/sec, 1575 secs
lola: 2587198 markings, 6067962 edges, 1776 markings/sec, 1580 secs
lola: 2597097 markings, 6093515 edges, 1980 markings/sec, 1585 secs
lola: 2606903 markings, 6119455 edges, 1961 markings/sec, 1590 secs
lola: 2613578 markings, 6133356 edges, 1335 markings/sec, 1595 secs
lola: 2620515 markings, 6150002 edges, 1387 markings/sec, 1600 secs
lola: 2629386 markings, 6169386 edges, 1774 markings/sec, 1605 secs
lola: 2636365 markings, 6185007 edges, 1396 markings/sec, 1610 secs
lola: 2644011 markings, 6202525 edges, 1529 markings/sec, 1615 secs
lola: 2652098 markings, 6220344 edges, 1617 markings/sec, 1620 secs
lola: 2659543 markings, 6236755 edges, 1489 markings/sec, 1625 secs
lola: 2668633 markings, 6259025 edges, 1818 markings/sec, 1630 secs
lola: 2679420 markings, 6287105 edges, 2157 markings/sec, 1635 secs
lola: 2689561 markings, 6313306 edges, 2028 markings/sec, 1640 secs
lola: 2697062 markings, 6329351 edges, 1500 markings/sec, 1645 secs
lola: 2703959 markings, 6346291 edges, 1379 markings/sec, 1650 secs
lola: 2712675 markings, 6364957 edges, 1743 markings/sec, 1655 secs
lola: 2719521 markings, 6379678 edges, 1369 markings/sec, 1660 secs
lola: 2726698 markings, 6396351 edges, 1435 markings/sec, 1665 secs
lola: 2734402 markings, 6413413 edges, 1541 markings/sec, 1670 secs
lola: 2741804 markings, 6429833 edges, 1480 markings/sec, 1675 secs
lola: 2752025 markings, 6455661 edges, 2044 markings/sec, 1680 secs
lola: 2762701 markings, 6483458 edges, 2135 markings/sec, 1685 secs
lola: 2771400 markings, 6504291 edges, 1740 markings/sec, 1690 secs
lola: 2779245 markings, 6522447 edges, 1569 markings/sec, 1695 secs
lola: 2787732 markings, 6541220 edges, 1697 markings/sec, 1700 secs
lola: 2795016 markings, 6557930 edges, 1457 markings/sec, 1705 secs
lola: 2802396 markings, 6574387 edges, 1476 markings/sec, 1710 secs
lola: 2810597 markings, 6592749 edges, 1640 markings/sec, 1715 secs
lola: 2818186 markings, 6609419 edges, 1518 markings/sec, 1720 secs
lola: 2826674 markings, 6630591 edges, 1698 markings/sec, 1725 secs
lola: 2836606 markings, 6656295 edges, 1986 markings/sec, 1730 secs
lola: 2845781 markings, 6679938 edges, 1835 markings/sec, 1735 secs
lola: 2853086 markings, 6695623 edges, 1461 markings/sec, 1740 secs
lola: 2860123 markings, 6712737 edges, 1407 markings/sec, 1745 secs
lola: 2869171 markings, 6732263 edges, 1810 markings/sec, 1750 secs
lola: 2875513 markings, 6745907 edges, 1268 markings/sec, 1755 secs
lola: 2882940 markings, 6762629 edges, 1485 markings/sec, 1760 secs
lola: 2889234 markings, 6776732 edges, 1259 markings/sec, 1765 secs
lola: 2896495 markings, 6793199 edges, 1452 markings/sec, 1770 secs
lola: 2906561 markings, 6819350 edges, 2013 markings/sec, 1775 secs
lola: 2916301 markings, 6844421 edges, 1948 markings/sec, 1780 secs
lola: 2924225 markings, 6862728 edges, 1585 markings/sec, 1785 secs
lola: 2931772 markings, 6880690 edges, 1509 markings/sec, 1790 secs
lola: 2940425 markings, 6899622 edges, 1731 markings/sec, 1795 secs
lola: 2947412 markings, 6915011 edges, 1397 markings/sec, 1800 secs
lola: 2955091 markings, 6932611 edges, 1536 markings/sec, 1805 secs
lola: 2963047 markings, 6949988 edges, 1591 markings/sec, 1810 secs
lola: 2971453 markings, 6969653 edges, 1681 markings/sec, 1815 secs
lola: 2982313 markings, 6997615 edges, 2172 markings/sec, 1820 secs
lola: 2992615 markings, 7024374 edges, 2060 markings/sec, 1825 secs
lola: 3000181 markings, 7040846 edges, 1513 markings/sec, 1830 secs
lola: 3007286 markings, 7057486 edges, 1421 markings/sec, 1835 secs
lola: 3016047 markings, 7076917 edges, 1752 markings/sec, 1840 secs
lola: 3023176 markings, 7092562 edges, 1426 markings/sec, 1845 secs
lola: 3030985 markings, 7110116 edges, 1562 markings/sec, 1850 secs
lola: 3038359 markings, 7126398 edges, 1475 markings/sec, 1855 secs
lola: 3048827 markings, 7152969 edges, 2094 markings/sec, 1860 secs
lola: 3060220 markings, 7182377 edges, 2279 markings/sec, 1865 secs
lola: 3068324 markings, 7200632 edges, 1621 markings/sec, 1870 secs
lola: 3075592 markings, 7218290 edges, 1454 markings/sec, 1875 secs
lola: 3084379 markings, 7237320 edges, 1757 markings/sec, 1880 secs
lola: 3091418 markings, 7252611 edges, 1408 markings/sec, 1885 secs
lola: 3099290 markings, 7270476 edges, 1574 markings/sec, 1890 secs
lola: 3106542 markings, 7286477 edges, 1450 markings/sec, 1895 secs
lola: 3116596 markings, 7311783 edges, 2011 markings/sec, 1900 secs
lola: 3127702 markings, 7340610 edges, 2221 markings/sec, 1905 secs
lola: 3135307 markings, 7357311 edges, 1521 markings/sec, 1910 secs
lola: 3143465 markings, 7376606 edges, 1632 markings/sec, 1915 secs
lola: 3150802 markings, 7394765 edges, 1467 markings/sec, 1920 secs
lola: 3157854 markings, 7412061 edges, 1410 markings/sec, 1925 secs
lola: 3166936 markings, 7431436 edges, 1816 markings/sec, 1930 secs
lola: 3175406 markings, 7452033 edges, 1694 markings/sec, 1935 secs
lola: 3182598 markings, 7469308 edges, 1438 markings/sec, 1940 secs
lola: 3188840 markings, 7482267 edges, 1248 markings/sec, 1945 secs
lola: 3194765 markings, 7494295 edges, 1185 markings/sec, 1950 secs
lola: 3200639 markings, 7506199 edges, 1175 markings/sec, 1955 secs
lola: 3206476 markings, 7518101 edges, 1167 markings/sec, 1960 secs
lola: 3212078 markings, 7529609 edges, 1120 markings/sec, 1965 secs
lola: 3217838 markings, 7541120 edges, 1152 markings/sec, 1970 secs
lola: 3224828 markings, 7555652 edges, 1398 markings/sec, 1975 secs
lola: 3232822 markings, 7574670 edges, 1599 markings/sec, 1980 secs
lola: 3240024 markings, 7592829 edges, 1440 markings/sec, 1985 secs
lola: 3249451 markings, 7613282 edges, 1885 markings/sec, 1990 secs
lola: 3256976 markings, 7631299 edges, 1505 markings/sec, 1995 secs
lola: 3263249 markings, 7644403 edges, 1255 markings/sec, 2000 secs
lola: 3269263 markings, 7656390 edges, 1203 markings/sec, 2005 secs
lola: 3275126 markings, 7667968 edges, 1173 markings/sec, 2010 secs
lola: 3280895 markings, 7679594 edges, 1154 markings/sec, 2015 secs
lola: 3288454 markings, 7695866 edges, 1512 markings/sec, 2020 secs
lola: 3296302 markings, 7713984 edges, 1570 markings/sec, 2025 secs
lola: 3305251 markings, 7734833 edges, 1790 markings/sec, 2030 secs
lola: 3311576 markings, 7747775 edges, 1265 markings/sec, 2035 secs
lola: 3318329 markings, 7761288 edges, 1351 markings/sec, 2040 secs
lola: 3327645 markings, 7782669 edges, 1863 markings/sec, 2045 secs
lola: 3338849 markings, 7812154 edges, 2241 markings/sec, 2050 secs
lola: 3350364 markings, 7841705 edges, 2303 markings/sec, 2055 secs
lola: 3361623 markings, 7871082 edges, 2252 markings/sec, 2060 secs
lola: 3367092 markings, 7884005 edges, 1094 markings/sec, 2065 secs
lola: 3372178 markings, 7899388 edges, 1017 markings/sec, 2070 secs
lola: 3376405 markings, 7909669 edges, 845 markings/sec, 2075 secs
lola: 3383430 markings, 7924983 edges, 1405 markings/sec, 2080 secs
lola: 3391351 markings, 7944323 edges, 1584 markings/sec, 2085 secs
lola: 3398565 markings, 7962586 edges, 1443 markings/sec, 2090 secs
lola: 3404873 markings, 7978448 edges, 1262 markings/sec, 2095 secs
lola: 3415296 markings, 8001221 edges, 2085 markings/sec, 2100 secs
lola: 3422833 markings, 8019681 edges, 1507 markings/sec, 2105 secs
lola: 3429270 markings, 8034569 edges, 1287 markings/sec, 2110 secs
lola: 3437454 markings, 8053421 edges, 1637 markings/sec, 2115 secs
lola: 3444486 markings, 8071179 edges, 1406 markings/sec, 2120 secs
lola: 3453347 markings, 8090851 edges, 1772 markings/sec, 2125 secs
lola: 3460854 markings, 8109497 edges, 1501 markings/sec, 2130 secs
lola: 3468075 markings, 8125783 edges, 1444 markings/sec, 2135 secs
lola: 3475164 markings, 8142915 edges, 1418 markings/sec, 2140 secs
lola: 3483544 markings, 8162736 edges, 1676 markings/sec, 2145 secs
lola: 3490928 markings, 8179723 edges, 1477 markings/sec, 2150 secs
lola: 3501614 markings, 8206715 edges, 2137 markings/sec, 2155 secs
lola: 3512913 markings, 8236066 edges, 2260 markings/sec, 2160 secs
lola: 3524437 markings, 8266158 edges, 2305 markings/sec, 2165 secs
lola: 3532330 markings, 8285098 edges, 1579 markings/sec, 2170 secs
lola: 3539826 markings, 8301742 edges, 1499 markings/sec, 2175 secs
lola: 3547317 markings, 8320178 edges, 1498 markings/sec, 2180 secs
lola: 3554331 markings, 8338140 edges, 1403 markings/sec, 2185 secs
lola: 3562218 markings, 8355783 edges, 1577 markings/sec, 2190 secs
lola: 3571518 markings, 8377787 edges, 1860 markings/sec, 2195 secs
lola: 3578525 markings, 8394851 edges, 1401 markings/sec, 2200 secs
lola: 3585446 markings, 8410018 edges, 1384 markings/sec, 2205 secs
lola: 3592972 markings, 8428356 edges, 1505 markings/sec, 2210 secs
lola: 3599557 markings, 8445500 edges, 1317 markings/sec, 2215 secs
lola: 3608781 markings, 8465601 edges, 1845 markings/sec, 2220 secs
lola: 3615689 markings, 8482482 edges, 1382 markings/sec, 2225 secs
lola: 3622932 markings, 8499149 edges, 1449 markings/sec, 2230 secs
lola: 3630846 markings, 8517539 edges, 1583 markings/sec, 2235 secs
lola: 3637737 markings, 8533999 edges, 1378 markings/sec, 2240 secs
lola: 3646213 markings, 8554129 edges, 1695 markings/sec, 2245 secs
lola: 3657316 markings, 8583337 edges, 2221 markings/sec, 2250 secs
lola: 3668533 markings, 8612359 edges, 2243 markings/sec, 2255 secs
lola: 3679410 markings, 8640763 edges, 2175 markings/sec, 2260 secs
lola: 3685332 markings, 8653057 edges, 1184 markings/sec, 2265 secs
lola: 3693559 markings, 8672427 edges, 1645 markings/sec, 2270 secs
lola: 3700658 markings, 8690159 edges, 1420 markings/sec, 2275 secs
lola: 3707608 markings, 8708158 edges, 1390 markings/sec, 2280 secs
lola: 3717079 markings, 8727885 edges, 1894 markings/sec, 2285 secs
lola: 3724877 markings, 8747686 edges, 1560 markings/sec, 2290 secs
lola: 3731591 markings, 8763398 edges, 1343 markings/sec, 2295 secs
lola: 3739582 markings, 8781414 edges, 1598 markings/sec, 2300 secs
lola: 3746935 markings, 8799951 edges, 1471 markings/sec, 2305 secs
lola: 3756057 markings, 8820502 edges, 1824 markings/sec, 2310 secs
lola: 3763673 markings, 8839162 edges, 1523 markings/sec, 2315 secs
lola: 3771139 markings, 8856271 edges, 1493 markings/sec, 2320 secs
lola: 3779588 markings, 8876160 edges, 1690 markings/sec, 2325 secs
lola: 3786615 markings, 8892757 edges, 1405 markings/sec, 2330 secs
lola: 3796232 markings, 8916220 edges, 1923 markings/sec, 2335 secs
lola: 3807474 markings, 8945439 edges, 2248 markings/sec, 2340 secs
lola: 3818830 markings, 8975107 edges, 2271 markings/sec, 2345 secs
lola: 3828031 markings, 8997828 edges, 1840 markings/sec, 2350 secs
lola: 3835139 markings, 9013496 edges, 1422 markings/sec, 2355 secs
lola: 3842878 markings, 9032519 edges, 1548 markings/sec, 2360 secs
lola: 3850001 markings, 9050707 edges, 1425 markings/sec, 2365 secs
lola: 3857043 markings, 9066909 edges, 1408 markings/sec, 2370 secs
lola: 3867032 markings, 9089809 edges, 1998 markings/sec, 2375 secs
lola: 3874286 markings, 9107485 edges, 1451 markings/sec, 2380 secs
lola: 3881481 markings, 9123484 edges, 1439 markings/sec, 2385 secs
lola: 3888972 markings, 9142036 edges, 1498 markings/sec, 2390 secs
lola: 3895934 markings, 9158675 edges, 1392 markings/sec, 2395 secs
lola: 3905301 markings, 9180512 edges, 1873 markings/sec, 2400 secs
lola: 3912173 markings, 9196288 edges, 1374 markings/sec, 2405 secs
lola: 3919365 markings, 9214274 edges, 1438 markings/sec, 2410 secs
lola: 3927818 markings, 9233674 edges, 1691 markings/sec, 2415 secs
lola: 3935484 markings, 9251351 edges, 1533 markings/sec, 2420 secs
lola: 3946314 markings, 9279618 edges, 2166 markings/sec, 2425 secs
lola: 3957245 markings, 9307696 edges, 2186 markings/sec, 2430 secs
lola: 3967869 markings, 9335644 edges, 2125 markings/sec, 2435 secs
lola: 3973809 markings, 9348650 edges, 1188 markings/sec, 2440 secs
lola: 3982084 markings, 9367783 edges, 1655 markings/sec, 2445 secs
lola: 3989209 markings, 9385526 edges, 1425 markings/sec, 2450 secs
lola: 3996163 markings, 9403684 edges, 1391 markings/sec, 2455 secs
lola: 4005851 markings, 9424195 edges, 1938 markings/sec, 2460 secs
lola: 4013545 markings, 9443315 edges, 1539 markings/sec, 2465 secs
lola: 4020094 markings, 9458482 edges, 1310 markings/sec, 2470 secs
lola: 4028131 markings, 9477279 edges, 1607 markings/sec, 2475 secs
lola: 4035129 markings, 9495150 edges, 1400 markings/sec, 2480 secs
lola: 4044339 markings, 9515576 edges, 1842 markings/sec, 2485 secs
lola: 4051346 markings, 9532565 edges, 1401 markings/sec, 2490 secs
lola: 4058633 markings, 9549744 edges, 1457 markings/sec, 2495 secs
lola: 4067080 markings, 9569447 edges, 1689 markings/sec, 2500 secs
lola: 4074545 markings, 9586614 edges, 1493 markings/sec, 2505 secs
lola: 4085697 markings, 9615862 edges, 2230 markings/sec, 2510 secs
lola: 4097038 markings, 9645097 edges, 2268 markings/sec, 2515 secs
lola: 4107832 markings, 9672916 edges, 2159 markings/sec, 2520 secs
lola: 4114201 markings, 9686319 edges, 1274 markings/sec, 2525 secs
lola: 4122186 markings, 9705460 edges, 1597 markings/sec, 2530 secs
lola: 4129468 markings, 9723948 edges, 1456 markings/sec, 2535 secs
lola: 4135698 markings, 9739428 edges, 1246 markings/sec, 2540 secs
lola: 4146132 markings, 9762518 edges, 2087 markings/sec, 2545 secs
lola: 4153460 markings, 9780739 edges, 1466 markings/sec, 2550 secs
lola: 4160554 markings, 9796236 edges, 1419 markings/sec, 2555 secs
lola: 4168018 markings, 9814780 edges, 1493 markings/sec, 2560 secs
lola: 4175323 markings, 9831846 edges, 1461 markings/sec, 2565 secs
lola: 4184185 markings, 9853143 edges, 1772 markings/sec, 2570 secs
lola: 4191058 markings, 9868704 edges, 1375 markings/sec, 2575 secs
lola: 4198689 markings, 9886779 edges, 1526 markings/sec, 2580 secs
lola: 4205984 markings, 9904302 edges, 1459 markings/sec, 2585 secs
lola: 4215279 markings, 9926966 edges, 1859 markings/sec, 2590 secs
lola: 4226162 markings, 9955364 edges, 2177 markings/sec, 2595 secs
lola: 4237397 markings, 9984321 edges, 2247 markings/sec, 2600 secs
lola: 4245485 markings, 10003862 edges, 1618 markings/sec, 2605 secs
lola: 4252920 markings, 10020727 edges, 1487 markings/sec, 2610 secs
lola: 4260403 markings, 10039209 edges, 1497 markings/sec, 2615 secs
lola: 4267330 markings, 10056904 edges, 1385 markings/sec, 2620 secs
lola: 4276353 markings, 10076396 edges, 1805 markings/sec, 2625 secs
lola: 4284394 markings, 10096456 edges, 1608 markings/sec, 2630 secs
lola: 4290785 markings, 10111647 edges, 1278 markings/sec, 2635 secs
lola: 4298499 markings, 10129040 edges, 1543 markings/sec, 2640 secs
lola: 4305564 markings, 10147048 edges, 1413 markings/sec, 2645 secs
lola: 4314337 markings, 10166676 edges, 1755 markings/sec, 2650 secs
lola: 4321292 markings, 10183651 edges, 1391 markings/sec, 2655 secs
lola: 4328271 markings, 10200097 edges, 1396 markings/sec, 2660 secs
lola: 4336579 markings, 10219641 edges, 1662 markings/sec, 2665 secs
lola: 4344995 markings, 10239701 edges, 1683 markings/sec, 2670 secs
lola: 4356272 markings, 10268854 edges, 2255 markings/sec, 2675 secs
lola: 4367584 markings, 10298240 edges, 2262 markings/sec, 2680 secs
lola: 4376282 markings, 10319332 edges, 1740 markings/sec, 2685 secs
lola: 4383471 markings, 10335560 edges, 1438 markings/sec, 2690 secs
lola: 4391022 markings, 10354291 edges, 1510 markings/sec, 2695 secs
lola: 4398008 markings, 10372126 edges, 1397 markings/sec, 2700 secs
lola: 4407087 markings, 10391818 edges, 1816 markings/sec, 2705 secs
lola: 4415026 markings, 10411693 edges, 1588 markings/sec, 2710 secs
lola: 4421662 markings, 10427165 edges, 1327 markings/sec, 2715 secs
lola: 4429466 markings, 10445282 edges, 1561 markings/sec, 2720 secs
lola: 4436284 markings, 10462784 edges, 1364 markings/sec, 2725 secs
lola: 4445468 markings, 10483352 edges, 1837 markings/sec, 2730 secs
lola: 4452478 markings, 10499611 edges, 1402 markings/sec, 2735 secs
lola: 4460298 markings, 10518055 edges, 1564 markings/sec, 2740 secs
lola: 4467843 markings, 10535816 edges, 1509 markings/sec, 2745 secs
lola: 4477883 markings, 10561159 edges, 2008 markings/sec, 2750 secs
lola: 4488938 markings, 10589786 edges, 2211 markings/sec, 2755 secs
lola: 4499951 markings, 10618827 edges, 2203 markings/sec, 2760 secs
lola: 4506252 markings, 10632306 edges, 1260 markings/sec, 2765 secs
lola: 4514199 markings, 10651135 edges, 1589 markings/sec, 2770 secs
lola: 4521425 markings, 10669398 edges, 1445 markings/sec, 2775 secs
lola: 4527751 markings, 10684969 edges, 1265 markings/sec, 2780 secs
lola: 4538112 markings, 10708269 edges, 2072 markings/sec, 2785 secs
lola: 4545346 markings, 10725997 edges, 1447 markings/sec, 2790 secs
lola: 4552660 markings, 10742390 edges, 1463 markings/sec, 2795 secs
lola: 4559885 markings, 10760622 edges, 1445 markings/sec, 2800 secs
lola: 4568520 markings, 10780082 edges, 1727 markings/sec, 2805 secs
lola: 4575871 markings, 10798162 edges, 1470 markings/sec, 2810 secs
lola: 4582654 markings, 10814079 edges, 1357 markings/sec, 2815 secs
lola: 4590626 markings, 10832789 edges, 1594 markings/sec, 2820 secs
lola: 4599253 markings, 10853781 edges, 1725 markings/sec, 2825 secs
lola: 4610197 markings, 10881979 edges, 2189 markings/sec, 2830 secs
lola: 4621309 markings, 10910950 edges, 2222 markings/sec, 2835 secs
lola: 4628256 markings, 10927410 edges, 1389 markings/sec, 2840 secs
lola: 4635933 markings, 10944857 edges, 1535 markings/sec, 2845 secs
lola: 4642978 markings, 10962663 edges, 1409 markings/sec, 2850 secs
lola: 4649634 markings, 10979965 edges, 1331 markings/sec, 2855 secs
lola: 4658977 markings, 11000065 edges, 1869 markings/sec, 2860 secs
lola: 4666296 markings, 11017994 edges, 1464 markings/sec, 2865 secs
lola: 4673057 markings, 11033062 edges, 1352 markings/sec, 2870 secs
lola: 4680399 markings, 11051267 edges, 1468 markings/sec, 2875 secs
lola: 4688001 markings, 11068776 edges, 1520 markings/sec, 2880 secs
lola: 4696437 markings, 11089319 edges, 1687 markings/sec, 2885 secs
lola: 4703455 markings, 11105677 edges, 1404 markings/sec, 2890 secs
lola: 4711623 markings, 11125030 edges, 1634 markings/sec, 2895 secs
lola: 4720577 markings, 11147038 edges, 1791 markings/sec, 2900 secs
lola: 4732135 markings, 11176669 edges, 2312 markings/sec, 2905 secs
lola: 4743592 markings, 11206786 edges, 2291 markings/sec, 2910 secs
lola: 4750274 markings, 11221356 edges, 1336 markings/sec, 2915 secs
lola: 4758506 markings, 11241045 edges, 1646 markings/sec, 2920 secs
lola: 4765770 markings, 11259797 edges, 1453 markings/sec, 2925 secs
lola: 4774167 markings, 11278360 edges, 1679 markings/sec, 2930 secs
lola: 4783130 markings, 11299978 edges, 1793 markings/sec, 2935 secs
lola: 4790102 markings, 11316625 edges, 1394 markings/sec, 2940 secs
lola: 4797967 markings, 11334810 edges, 1573 markings/sec, 2945 secs
lola: 4805221 markings, 11352545 edges, 1451 markings/sec, 2950 secs
lola: 4814525 markings, 11374337 edges, 1861 markings/sec, 2955 secs
lola: 4821646 markings, 11391097 edges, 1424 markings/sec, 2960 secs
lola: 4829903 markings, 11410696 edges, 1651 markings/sec, 2965 secs
lola: 4839536 markings, 11434466 edges, 1927 markings/sec, 2970 secs
lola: 4851191 markings, 11464753 edges, 2331 markings/sec, 2975 secs
lola: 4861984 markings, 11492569 edges, 2159 markings/sec, 2980 secs
lola: 4868951 markings, 11507563 edges, 1393 markings/sec, 2985 secs
lola: 4876784 markings, 11526720 edges, 1567 markings/sec, 2990 secs
lola: 4884129 markings, 11545555 edges, 1469 markings/sec, 2995 secs
lola: 4893436 markings, 11565836 edges, 1861 markings/sec, 3000 secs
lola: 4901414 markings, 11585639 edges, 1596 markings/sec, 3005 secs
lola: 4908581 markings, 11601889 edges, 1433 markings/sec, 3010 secs
lola: 4916269 markings, 11620857 edges, 1538 markings/sec, 3015 secs
lola: 4924839 markings, 11640484 edges, 1714 markings/sec, 3020 secs
lola: 4932367 markings, 11658846 edges, 1506 markings/sec, 3025 secs
lola: 4939779 markings, 11675968 edges, 1482 markings/sec, 3030 secs
lola: 4947687 markings, 11694705 edges, 1582 markings/sec, 3035 secs
lola: 4958767 markings, 11723445 edges, 2216 markings/sec, 3040 secs
lola: 4970076 markings, 11752734 edges, 2262 markings/sec, 3045 secs
lola: 4977969 markings, 11771700 edges, 1579 markings/sec, 3050 secs
lola: 4985883 markings, 11789947 edges, 1583 markings/sec, 3055 secs
lola: 4993387 markings, 11808738 edges, 1501 markings/sec, 3060 secs
lola: 5000232 markings, 11825337 edges, 1369 markings/sec, 3065 secs
lola: 5010407 markings, 11848918 edges, 2035 markings/sec, 3070 secs
lola: 5017615 markings, 11866114 edges, 1442 markings/sec, 3075 secs
lola: 5025382 markings, 11883990 edges, 1553 markings/sec, 3080 secs
lola: 5032379 markings, 11901211 edges, 1399 markings/sec, 3085 secs
lola: 5041773 markings, 11923080 edges, 1879 markings/sec, 3090 secs
lola: 5048911 markings, 11939999 edges, 1428 markings/sec, 3095 secs
lola: 5056964 markings, 11958846 edges, 1611 markings/sec, 3100 secs
lola: 5068351 markings, 11987774 edges, 2277 markings/sec, 3105 secs
lola: 5080362 markings, 12018837 edges, 2402 markings/sec, 3110 secs
lola: 5088004 markings, 12037232 edges, 1528 markings/sec, 3115 secs
lola: 5094813 markings, 12052779 edges, 1362 markings/sec, 3120 secs
lola: 5102620 markings, 12072261 edges, 1561 markings/sec, 3125 secs
lola: 5109157 markings, 12088534 edges, 1307 markings/sec, 3130 secs
lola: 5119812 markings, 12112933 edges, 2131 markings/sec, 3135 secs
lola: 5127164 markings, 12130659 edges, 1470 markings/sec, 3140 secs
lola: 5135192 markings, 12149039 edges, 1606 markings/sec, 3145 secs
lola: 5143520 markings, 12168574 edges, 1666 markings/sec, 3150 secs
lola: 5151891 markings, 12189004 edges, 1674 markings/sec, 3155 secs
lola: 5159796 markings, 12207050 edges, 1581 markings/sec, 3160 secs
lola: 5168568 markings, 12228428 edges, 1754 markings/sec, 3165 secs
lola: 5180392 markings, 12258983 edges, 2365 markings/sec, 3170 secs
lola: 5191674 markings, 12288352 edges, 2256 markings/sec, 3175 secs
lola: 5198584 markings, 12303195 edges, 1382 markings/sec, 3180 secs
lola: 5206658 markings, 12323065 edges, 1615 markings/sec, 3185 secs
lola: 5213913 markings, 12341890 edges, 1451 markings/sec, 3190 secs
lola: 5223616 markings, 12363202 edges, 1941 markings/sec, 3195 secs
lola: 5231376 markings, 12382145 edges, 1552 markings/sec, 3200 secs
lola: 5239086 markings, 12399696 edges, 1542 markings/sec, 3205 secs
lola: 5246278 markings, 12417737 edges, 1438 markings/sec, 3210 secs
lola: 5255812 markings, 12439767 edges, 1907 markings/sec, 3215 secs
lola: 5262969 markings, 12456690 edges, 1431 markings/sec, 3220 secs
lola: 5272141 markings, 12478288 edges, 1834 markings/sec, 3225 secs
lola: 5283999 markings, 12508863 edges, 2372 markings/sec, 3230 secs
lola: 5295345 markings, 12538389 edges, 2269 markings/sec, 3235 secs
lola: 5302552 markings, 12554153 edges, 1441 markings/sec, 3240 secs
lola: 5310644 markings, 12574136 edges, 1618 markings/sec, 3245 secs
lola: 5317773 markings, 12592412 edges, 1426 markings/sec, 3250 secs
lola: 5328084 markings, 12615306 edges, 2062 markings/sec, 3255 secs
lola: 5335647 markings, 12633591 edges, 1513 markings/sec, 3260 secs
lola: time limit reached - aborting
lola:
preliminary result: 80 unknown 1 1 80 1 80 80 1 1 1 1 1 1 1 1
lola:
preliminary result: 80 unknown 1 1 80 1 80 80 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 80 unknown 1 1 80 1 80 80 1 1 1 1 1 1 1 1
lola: memory consumption: 329712 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 50212 KB
lola: time consumption: 3570 seconds

BK_STOP 1552415089750

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory

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-V80P50N20"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is BridgeAndVehicles-PT-V80P50N20, 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 r022-csrt-155225094700220"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V80P50N20.tgz
mv BridgeAndVehicles-PT-V80P50N20 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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 ;