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-155225094700217.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-V80P50N10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094700217
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.8M
-rw-r--r-- 1 mcc users 14K Feb 9 08:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 46K Feb 9 08:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 116K Feb 5 06:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 341K Feb 5 06:23 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 15K Feb 4 23:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Feb 4 23:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 50K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 134K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 2 01:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 47K Feb 2 01:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 162K Jan 29 14:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 471K Jan 29 14:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 5.1K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 11K 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 2.3M 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-V80P50N10-UpperBounds-00
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-UpperBounds-01
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-UpperBounds-02
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-UpperBounds-03
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-UpperBounds-04
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-UpperBounds-05
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-UpperBounds-06
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-UpperBounds-07
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-UpperBounds-08
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-UpperBounds-09
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-PT-V80P50N10-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552411358883

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-PT-V80P50N10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-PT-V80P50N10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-PT-V80P50N10 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2296/65536 symbol table entries, 25 collisions
lola: preprocessing...
lola: Size of bit vector: 6016
lola: finding significant places
lola: 188 places, 2108 transitions, 181 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2613 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-PT-V80P50N10-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (COMPTEUR_10 + COMPTEUR_0 + COMPTEUR_1 + COMPTEUR_2 + COMPTEUR_3 + COMPTEUR_4 + COMPTEUR_5 + COMPTEUR_6 + COMPTEUR_7 + COMPTEUR_8 + COMPTEUR_9 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: 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: (NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 + NB_ATTENTE_B_51 + NB_ATTENTE_B_52 + NB_ATTENTE_B_53 + NB_ATTENTE_B_54 + NB_ATTENTE_B_55 + NB_ATTENTE_B_56 + NB_ATTENTE_B_57 + NB_ATTENTE_B_58 + NB_ATTENTE_B_59 + NB_ATTENTE_B_60 + NB_ATTENTE_B_61 + NB_ATTENTE_B_62 + NB_ATTENTE_B_63 + NB_ATTENTE_B_64 + NB_ATTENTE_B_65 + NB_ATTENTE_B_66 + NB_ATTENTE_B_67 + NB_ATTENTE_B_68 + NB_ATTENTE_B_69 + NB_ATTENTE_B_70 + NB_ATTENTE_B_71 + NB_ATTENTE_B_72 + NB_ATTENTE_B_73 + NB_ATTENTE_B_74 + NB_ATTENTE_B_75 + NB_ATTENTE_B_76 + NB_ATTENTE_B_77 + NB_ATTENTE_B_78 + NB_ATTENTE_B_79 + NB_ATTENTE_B_80 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(CONTROLEUR_1 + CONTROLEUR_2) : MAX(SUR_PONT_A) : MAX(SUR_PONT_A) : MAX(0) : MAX(0) : MAX(SORTI_A) : MAX(0) : MAX(CONTROLEUR_1 + CONTROLEUR_2) : MAX(NB_ATTENTE_B_28) : MAX(NB_ATTENTE_A_30) : MAX(NB_ATTENTE_B_22) : MAX(NB_ATTENTE_A_55) : MAX(COMPTEUR_5) : MAX(NB_ATTENTE_A_77) : MAX(NB_ATTENTE_A_69) : MAX(NB_ATTENTE_B_64)
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-V80P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

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

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

FORMULA BridgeAndVehicles-PT-V80P50N10-UpperBounds-6 1 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(SUR_PONT_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_A)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: ========================================
lola: Structural Bound: 50
lola: 26166 markings, 54941 edges, 5233 markings/sec, 0 secs
lola: 65869 markings, 158860 edges, 7941 markings/sec, 5 secs
lola: 106818 markings, 267875 edges, 8190 markings/sec, 10 secs
lola: 137141 markings, 337323 edges, 6065 markings/sec, 15 secs
lola: 185805 markings, 477692 edges, 9733 markings/sec, 20 secs
lola: 212274 markings, 534035 edges, 5294 markings/sec, 25 secs
lola: 254251 markings, 651987 edges, 8395 markings/sec, 30 secs
lola: 287954 markings, 736525 edges, 6741 markings/sec, 35 secs
lola: 328371 markings, 844710 edges, 8083 markings/sec, 40 secs
lola: 367558 markings, 946208 edges, 7837 markings/sec, 45 secs
lola: 409382 markings, 1059899 edges, 8365 markings/sec, 50 secs
lola: 445509 markings, 1151361 edges, 7225 markings/sec, 55 secs
lola: 491025 markings, 1277942 edges, 9103 markings/sec, 60 secs
lola: 524331 markings, 1357095 edges, 6661 markings/sec, 65 secs
lola: 574169 markings, 1498708 edges, 9968 markings/sec, 70 secs
lola: 602631 markings, 1561313 edges, 5692 markings/sec, 75 secs
lola: 651540 markings, 1700922 edges, 9782 markings/sec, 80 secs
lola: 683289 markings, 1774650 edges, 6350 markings/sec, 85 secs
lola: 728665 markings, 1900392 edges, 9075 markings/sec, 90 secs
lola: 772365 markings, 2019348 edges, 8740 markings/sec, 95 secs
lola: 801689 markings, 2098899 edges, 5865 markings/sec, 100 secs
lola: 825837 markings, 2157886 edges, 4830 markings/sec, 105 secs
lola: 847825 markings, 2215175 edges, 4398 markings/sec, 110 secs
lola: 869721 markings, 2268009 edges, 4379 markings/sec, 115 secs
lola: 911387 markings, 2391965 edges, 8333 markings/sec, 120 secs
lola: 941662 markings, 2471595 edges, 6055 markings/sec, 125 secs
lola: 967949 markings, 2545943 edges, 5257 markings/sec, 130 secs
lola: 994423 markings, 2616187 edges, 5295 markings/sec, 135 secs
lola: 1030214 markings, 2719285 edges, 7158 markings/sec, 140 secs
lola: 1070464 markings, 2829228 edges, 8050 markings/sec, 145 secs
lola: 1092598 markings, 2887502 edges, 4427 markings/sec, 150 secs
lola: 1114586 markings, 2945214 edges, 4398 markings/sec, 155 secs
lola: 1138464 markings, 3011550 edges, 4776 markings/sec, 160 secs
lola: 1163444 markings, 3078814 edges, 4996 markings/sec, 165 secs
lola: 1214165 markings, 3229207 edges, 10144 markings/sec, 170 secs
lola: 1238191 markings, 3293151 edges, 4805 markings/sec, 175 secs
lola: 1263077 markings, 3359911 edges, 4977 markings/sec, 180 secs
lola: 1288835 markings, 3431902 edges, 5152 markings/sec, 185 secs
lola: 1336842 markings, 3571624 edges, 9601 markings/sec, 190 secs
lola: 1360157 markings, 3637051 edges, 4663 markings/sec, 195 secs
lola: 1384419 markings, 3701448 edges, 4852 markings/sec, 200 secs
lola: 1416774 markings, 3794554 edges, 6471 markings/sec, 205 secs
lola: 1456027 markings, 3906320 edges, 7851 markings/sec, 210 secs
lola: 1482185 markings, 3977919 edges, 5232 markings/sec, 215 secs
lola: 1506791 markings, 4043385 edges, 4921 markings/sec, 220 secs
lola: 1551720 markings, 4179244 edges, 8986 markings/sec, 225 secs
lola: 1579581 markings, 4253266 edges, 5572 markings/sec, 230 secs
lola: 1604143 markings, 4320973 edges, 4912 markings/sec, 235 secs
lola: 1629591 markings, 4388568 edges, 5090 markings/sec, 240 secs
lola: 1676609 markings, 4525363 edges, 9404 markings/sec, 245 secs
lola: 1700956 markings, 4594664 edges, 4869 markings/sec, 250 secs
lola: 1726541 markings, 4661402 edges, 5117 markings/sec, 255 secs
lola: 1771172 markings, 4795811 edges, 8926 markings/sec, 260 secs
lola: 1798103 markings, 4865997 edges, 5386 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 123668 KB
lola: time consumption: 274 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SORTI_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SORTI_A)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 356 markings, 355 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P50N10-UpperBounds-5 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_A)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 27081 markings, 56939 edges, 5416 markings/sec, 0 secs
lola: 68585 markings, 167794 edges, 8301 markings/sec, 5 secs
lola: 108242 markings, 271111 edges, 7931 markings/sec, 10 secs
lola: 141870 markings, 352162 edges, 6726 markings/sec, 15 secs
lola: 187843 markings, 480805 edges, 9195 markings/sec, 20 secs
lola: 213911 markings, 538092 edges, 5214 markings/sec, 25 secs
lola: 258173 markings, 663870 edges, 8852 markings/sec, 30 secs
lola: 289729 markings, 740584 edges, 6311 markings/sec, 35 secs
lola: 332216 markings, 856722 edges, 8497 markings/sec, 40 secs
lola: 368964 markings, 949470 edges, 7350 markings/sec, 45 secs
lola: 414351 markings, 1075285 edges, 9077 markings/sec, 50 secs
lola: 448403 markings, 1157345 edges, 6810 markings/sec, 55 secs
lola: 498419 markings, 1301735 edges, 10003 markings/sec, 60 secs
lola: 527342 markings, 1364031 edges, 5785 markings/sec, 65 secs
lola: 577232 markings, 1506119 edges, 9978 markings/sec, 70 secs
lola: 605732 markings, 1568063 edges, 5700 markings/sec, 75 secs
lola: 655033 markings, 1707817 edges, 9860 markings/sec, 80 secs
lola: 691582 markings, 1800220 edges, 7310 markings/sec, 85 secs
lola: 732347 markings, 1908048 edges, 8153 markings/sec, 90 secs
lola: 779701 markings, 2042596 edges, 9471 markings/sec, 95 secs
lola: 804424 markings, 2104327 edges, 4945 markings/sec, 100 secs
lola: 827793 markings, 2162498 edges, 4674 markings/sec, 105 secs
lola: 852483 markings, 2226231 edges, 4938 markings/sec, 110 secs
lola: 875526 markings, 2282751 edges, 4609 markings/sec, 115 secs
lola: 924025 markings, 2430627 edges, 9700 markings/sec, 120 secs
lola: 944348 markings, 2480515 edges, 4065 markings/sec, 125 secs
lola: 967755 markings, 2545642 edges, 4681 markings/sec, 130 secs
lola: 992424 markings, 2611642 edges, 4934 markings/sec, 135 secs
lola: 1023617 markings, 2698978 edges, 6239 markings/sec, 140 secs
lola: 1066869 markings, 2821825 edges, 8650 markings/sec, 145 secs
lola: 1089959 markings, 2881266 edges, 4618 markings/sec, 150 secs
lola: 1114202 markings, 2944286 edges, 4849 markings/sec, 155 secs
lola: 1139640 markings, 3014279 edges, 5088 markings/sec, 160 secs
lola: 1163564 markings, 3079104 edges, 4785 markings/sec, 165 secs
lola: 1214078 markings, 3228990 edges, 10103 markings/sec, 170 secs
lola: 1238221 markings, 3293241 edges, 4829 markings/sec, 175 secs
lola: 1263792 markings, 3361636 edges, 5114 markings/sec, 180 secs
lola: 1292922 markings, 3444530 edges, 5826 markings/sec, 185 secs
lola: 1338129 markings, 3574767 edges, 9041 markings/sec, 190 secs
lola: 1363338 markings, 3646112 edges, 5042 markings/sec, 195 secs
lola: 1388766 markings, 3713385 edges, 5086 markings/sec, 200 secs
lola: 1428510 markings, 3830448 edges, 7949 markings/sec, 205 secs
lola: 1461318 markings, 3924005 edges, 6562 markings/sec, 210 secs
lola: 1486248 markings, 3987250 edges, 4986 markings/sec, 215 secs
lola: 1511822 markings, 4057995 edges, 5115 markings/sec, 220 secs
lola: 1559961 markings, 4201216 edges, 9628 markings/sec, 225 secs
lola: 1584763 markings, 4265216 edges, 4960 markings/sec, 230 secs
lola: 1609910 markings, 4333676 edges, 5029 markings/sec, 235 secs
lola: 1641163 markings, 4424425 edges, 6251 markings/sec, 240 secs
lola: 1681525 markings, 4540487 edges, 8072 markings/sec, 245 secs
lola: 1707701 markings, 4609391 edges, 5235 markings/sec, 250 secs
lola: 1732880 markings, 4678777 edges, 5036 markings/sec, 255 secs
lola: 1779102 markings, 4815583 edges, 9244 markings/sec, 260 secs
lola: 1803401 markings, 4880220 edges, 4860 markings/sec, 265 secs
lola: 1829051 markings, 4950586 edges, 5130 markings/sec, 270 secs
lola: 1865445 markings, 5057301 edges, 7279 markings/sec, 275 secs
lola: 1895892 markings, 5143836 edges, 6089 markings/sec, 280 secs
lola: 1918965 markings, 5202386 edges, 4615 markings/sec, 285 secs
lola: 1943926 markings, 5271815 edges, 4992 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 1 80 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 132132 KB
lola: time consumption: 573 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_28)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 33 markings, 32 edges
lola: ========================================

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

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

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

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

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

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

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

FORMULA BridgeAndVehicles-PT-V80P50N10-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2991 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CONTROLEUR_1 + CONTROLEUR_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CONTROLEUR_1 + CONTROLEUR_2)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 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

FORMULA BridgeAndVehicles-PT-V80P50N10-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_A)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 25512 markings, 53447 edges, 5102 markings/sec, 0 secs
lola: 59532 markings, 139134 edges, 6804 markings/sec, 5 secs
lola: 103848 markings, 260914 edges, 8863 markings/sec, 10 secs
lola: 131830 markings, 322032 edges, 5596 markings/sec, 15 secs
lola: 181793 markings, 468484 edges, 9993 markings/sec, 20 secs
lola: 207963 markings, 525198 edges, 5234 markings/sec, 25 secs
lola: 244055 markings, 620074 edges, 7218 markings/sec, 30 secs
lola: 283963 markings, 728314 edges, 7982 markings/sec, 35 secs
lola: 318567 markings, 814198 edges, 6921 markings/sec, 40 secs
lola: 362404 markings, 935337 edges, 8767 markings/sec, 45 secs
lola: 397108 markings, 1021912 edges, 6941 markings/sec, 50 secs
lola: 440117 markings, 1139948 edges, 8602 markings/sec, 55 secs
lola: 477505 markings, 1236044 edges, 7478 markings/sec, 60 secs
lola: 518577 markings, 1344651 edges, 8214 markings/sec, 65 secs
lola: 562713 markings, 1466386 edges, 8827 markings/sec, 70 secs
lola: 596807 markings, 1548321 edges, 6819 markings/sec, 75 secs
lola: 645946 markings, 1687961 edges, 9828 markings/sec, 80 secs
lola: 674978 markings, 1751231 edges, 5806 markings/sec, 85 secs
lola: 724420 markings, 1890713 edges, 9888 markings/sec, 90 secs
lola: 763552 markings, 1992109 edges, 7826 markings/sec, 95 secs
lola: 798580 markings, 2092434 edges, 7006 markings/sec, 100 secs
lola: 822883 markings, 2151926 edges, 4861 markings/sec, 105 secs
lola: 846332 markings, 2210162 edges, 4690 markings/sec, 110 secs
lola: 870611 markings, 2271053 edges, 4856 markings/sec, 115 secs
lola: 919058 markings, 2415200 edges, 9689 markings/sec, 120 secs
lola: 944027 markings, 2479548 edges, 4994 markings/sec, 125 secs
lola: 970396 markings, 2551191 edges, 5274 markings/sec, 130 secs
lola: 995845 markings, 2619509 edges, 5090 markings/sec, 135 secs
lola: 1033274 markings, 2729142 edges, 7486 markings/sec, 140 secs
lola: 1070915 markings, 2830371 edges, 7528 markings/sec, 145 secs
lola: 1095195 markings, 2893206 edges, 4856 markings/sec, 150 secs
lola: 1119797 markings, 2962844 edges, 4920 markings/sec, 155 secs
lola: 1145467 markings, 3031142 edges, 5134 markings/sec, 160 secs
lola: 1179605 markings, 3128653 edges, 6828 markings/sec, 165 secs
lola: 1221273 markings, 3247967 edges, 8334 markings/sec, 170 secs
lola: 1248436 markings, 3321175 edges, 5433 markings/sec, 175 secs
lola: 1274091 markings, 3390174 edges, 5131 markings/sec, 180 secs
lola: 1322176 markings, 3535175 edges, 9617 markings/sec, 185 secs
lola: 1350606 markings, 3610479 edges, 5686 markings/sec, 190 secs
lola: 1375481 markings, 3678893 edges, 4975 markings/sec, 195 secs
lola: 1401412 markings, 3747677 edges, 5186 markings/sec, 200 secs
lola: 1450882 markings, 3893139 edges, 9894 markings/sec, 205 secs
lola: 1475505 markings, 3960600 edges, 4925 markings/sec, 210 secs
lola: 1500714 markings, 4028417 edges, 5042 markings/sec, 215 secs
lola: 1537175 markings, 4134511 edges, 7292 markings/sec, 220 secs
lola: 1573689 markings, 4239047 edges, 7303 markings/sec, 225 secs
lola: 1599154 markings, 4304274 edges, 5093 markings/sec, 230 secs
lola: 1625057 markings, 4375318 edges, 5181 markings/sec, 235 secs
lola: 1673206 markings, 4517726 edges, 9630 markings/sec, 240 secs
lola: 1697802 markings, 4584326 edges, 4919 markings/sec, 245 secs
lola: 1723433 markings, 4654286 edges, 5126 markings/sec, 250 secs
lola: 1764145 markings, 4774513 edges, 8142 markings/sec, 255 secs
lola: 1795300 markings, 4859411 edges, 6231 markings/sec, 260 secs
lola: 1820358 markings, 4928029 edges, 5012 markings/sec, 265 secs
lola: 1849933 markings, 5009605 edges, 5915 markings/sec, 270 secs
lola: 1891888 markings, 5130474 edges, 8391 markings/sec, 275 secs
lola: 1918130 markings, 5200343 edges, 5248 markings/sec, 280 secs
lola: 1943124 markings, 5269165 edges, 4999 markings/sec, 285 secs
lola: 1987469 markings, 5405154 edges, 8869 markings/sec, 290 secs
lola: 2011102 markings, 5459955 edges, 4727 markings/sec, 295 secs
lola: 2031114 markings, 5517585 edges, 4002 markings/sec, 300 secs
lola: 2053899 markings, 5572198 edges, 4557 markings/sec, 305 secs
lola: 2075156 markings, 5633688 edges, 4251 markings/sec, 310 secs
lola: 2096891 markings, 5687088 edges, 4347 markings/sec, 315 secs
lola: 2119197 markings, 5745442 edges, 4461 markings/sec, 320 secs
lola: 2140443 markings, 5800554 edges, 4249 markings/sec, 325 secs
lola: 2163664 markings, 5861988 edges, 4644 markings/sec, 330 secs
lola: 2209319 markings, 6001041 edges, 9131 markings/sec, 335 secs
lola: 2232412 markings, 6060587 edges, 4619 markings/sec, 340 secs
lola: 2256418 markings, 6127264 edges, 4801 markings/sec, 345 secs
lola: 2280353 markings, 6195916 edges, 4787 markings/sec, 350 secs
lola: 2305135 markings, 6268509 edges, 4956 markings/sec, 355 secs
lola: 2330772 markings, 6342263 edges, 5127 markings/sec, 360 secs
lola: 2381363 markings, 6496392 edges, 10118 markings/sec, 365 secs
lola: 2404160 markings, 6544541 edges, 4559 markings/sec, 370 secs
lola: 2424192 markings, 6602933 edges, 4006 markings/sec, 375 secs
lola: 2447097 markings, 6664720 edges, 4581 markings/sec, 380 secs
lola: 2467757 markings, 6728373 edges, 4132 markings/sec, 385 secs
lola: 2489931 markings, 6791220 edges, 4435 markings/sec, 390 secs
lola: 2512135 markings, 6854461 edges, 4441 markings/sec, 395 secs
lola: 2534839 markings, 6915859 edges, 4541 markings/sec, 400 secs
lola: 2556426 markings, 6979532 edges, 4317 markings/sec, 405 secs
lola: 2605520 markings, 7125493 edges, 9819 markings/sec, 410 secs
lola: 2628717 markings, 7193961 edges, 4639 markings/sec, 415 secs
lola: 2652858 markings, 7261851 edges, 4828 markings/sec, 420 secs
lola: 2677779 markings, 7331219 edges, 4984 markings/sec, 425 secs
lola: 2701440 markings, 7398184 edges, 4732 markings/sec, 430 secs
lola: 2737102 markings, 7504769 edges, 7132 markings/sec, 435 secs
lola: 2774386 markings, 7610292 edges, 7457 markings/sec, 440 secs
lola: 2798837 markings, 7679097 edges, 4890 markings/sec, 445 secs
lola: 2823046 markings, 7749243 edges, 4842 markings/sec, 450 secs
lola: 2847060 markings, 7819938 edges, 4803 markings/sec, 455 secs
lola: 2872083 markings, 7891118 edges, 5005 markings/sec, 460 secs
lola: 2920109 markings, 8034296 edges, 9605 markings/sec, 465 secs
lola: 2943646 markings, 8103918 edges, 4707 markings/sec, 470 secs
lola: 2968131 markings, 8173122 edges, 4897 markings/sec, 475 secs
lola: 2993420 markings, 8241265 edges, 5058 markings/sec, 480 secs
lola: 3017596 markings, 8311774 edges, 4835 markings/sec, 485 secs
lola: 3063181 markings, 8450598 edges, 9117 markings/sec, 490 secs
lola: 3087930 markings, 8517587 edges, 4950 markings/sec, 495 secs
lola: 3112347 markings, 8586946 edges, 4883 markings/sec, 500 secs
lola: 3137211 markings, 8660156 edges, 4973 markings/sec, 505 secs
lola: 3161663 markings, 8728124 edges, 4890 markings/sec, 510 secs
lola: 3201480 markings, 8848336 edges, 7963 markings/sec, 515 secs
lola: 3232174 markings, 8934708 edges, 6139 markings/sec, 520 secs
lola: 3254109 markings, 8995824 edges, 4387 markings/sec, 525 secs
lola: 3276226 markings, 9059690 edges, 4423 markings/sec, 530 secs
lola: 3297982 markings, 9123550 edges, 4351 markings/sec, 535 secs
lola: 3320393 markings, 9187197 edges, 4482 markings/sec, 540 secs
lola: 3364619 markings, 9316844 edges, 8845 markings/sec, 545 secs
lola: 3385807 markings, 9380319 edges, 4238 markings/sec, 550 secs
lola: 3407694 markings, 9442849 edges, 4377 markings/sec, 555 secs
lola: 3431205 markings, 9506373 edges, 4702 markings/sec, 560 secs
lola: 3452741 markings, 9569531 edges, 4307 markings/sec, 565 secs
lola: 3495853 markings, 9701700 edges, 8622 markings/sec, 570 secs
lola: 3516498 markings, 9755746 edges, 4129 markings/sec, 575 secs
lola: 3539205 markings, 9820764 edges, 4541 markings/sec, 580 secs
lola: 3560796 markings, 9882905 edges, 4318 markings/sec, 585 secs
lola: 3583645 markings, 9947013 edges, 4570 markings/sec, 590 secs
lola: 3618852 markings, 10053802 edges, 7041 markings/sec, 595 secs
lola: 3646530 markings, 10136552 edges, 5536 markings/sec, 600 secs
lola: 3667362 markings, 10181245 edges, 4166 markings/sec, 605 secs
lola: 3686713 markings, 10237111 edges, 3870 markings/sec, 610 secs
lola: 3705121 markings, 10288836 edges, 3682 markings/sec, 615 secs
lola: 3725218 markings, 10340832 edges, 4019 markings/sec, 620 secs
lola: 3747170 markings, 10398342 edges, 4390 markings/sec, 625 secs
lola: 3765530 markings, 10450028 edges, 3672 markings/sec, 630 secs
lola: 3784201 markings, 10498284 edges, 3734 markings/sec, 635 secs
lola: 3805835 markings, 10554549 edges, 4327 markings/sec, 640 secs
lola: 3823782 markings, 10604362 edges, 3589 markings/sec, 645 secs
lola: 3845571 markings, 10659687 edges, 4358 markings/sec, 650 secs
lola: 3863521 markings, 10709023 edges, 3590 markings/sec, 655 secs
lola: 3884970 markings, 10764963 edges, 4290 markings/sec, 660 secs
lola: 3905481 markings, 10819370 edges, 4102 markings/sec, 665 secs
lola: 3937112 markings, 10910763 edges, 6326 markings/sec, 670 secs
lola: 3972357 markings, 11015063 edges, 7049 markings/sec, 675 secs
lola: 3995432 markings, 11074815 edges, 4615 markings/sec, 680 secs
lola: 4019848 markings, 11148858 edges, 4883 markings/sec, 685 secs
lola: 4043424 markings, 11217679 edges, 4715 markings/sec, 690 secs
lola: 4067498 markings, 11286225 edges, 4815 markings/sec, 695 secs
lola: 4092003 markings, 11358379 edges, 4901 markings/sec, 700 secs
lola: 4115559 markings, 11428498 edges, 4711 markings/sec, 705 secs
lola: 4139343 markings, 11498537 edges, 4757 markings/sec, 710 secs
lola: 4187828 markings, 11646387 edges, 9697 markings/sec, 715 secs
lola: 4208970 markings, 11690965 edges, 4228 markings/sec, 720 secs
lola: 4228981 markings, 11747954 edges, 4002 markings/sec, 725 secs
lola: 4246287 markings, 11797151 edges, 3461 markings/sec, 730 secs
lola: 4263688 markings, 11846495 edges, 3480 markings/sec, 735 secs
lola: 4285494 markings, 11906140 edges, 4361 markings/sec, 740 secs
lola: 4307883 markings, 11974029 edges, 4478 markings/sec, 745 secs
lola: 4332848 markings, 12044900 edges, 4993 markings/sec, 750 secs
lola: 4357070 markings, 12115162 edges, 4844 markings/sec, 755 secs
lola: 4380387 markings, 12185924 edges, 4663 markings/sec, 760 secs
lola: 4404630 markings, 12255848 edges, 4849 markings/sec, 765 secs
lola: 4428621 markings, 12327294 edges, 4798 markings/sec, 770 secs
lola: 4475211 markings, 12468634 edges, 9318 markings/sec, 775 secs
lola: 4502842 markings, 12544596 edges, 5526 markings/sec, 780 secs
lola: 4528148 markings, 12618317 edges, 5061 markings/sec, 785 secs
lola: 4551534 markings, 12690721 edges, 4677 markings/sec, 790 secs
lola: 4576065 markings, 12760508 edges, 4906 markings/sec, 795 secs
lola: 4601139 markings, 12834824 edges, 5015 markings/sec, 800 secs
lola: 4626654 markings, 12908484 edges, 5103 markings/sec, 805 secs
lola: 4668567 markings, 13036564 edges, 8383 markings/sec, 810 secs
lola: 4699947 markings, 13123675 edges, 6276 markings/sec, 815 secs
lola: 4724669 markings, 13197178 edges, 4944 markings/sec, 820 secs
lola: 4748839 markings, 13269794 edges, 4834 markings/sec, 825 secs
lola: 4771731 markings, 13335654 edges, 4578 markings/sec, 830 secs
lola: 4794114 markings, 13400812 edges, 4477 markings/sec, 835 secs
lola: 4817607 markings, 13471140 edges, 4699 markings/sec, 840 secs
lola: 4850868 markings, 13569703 edges, 6652 markings/sec, 845 secs
lola: 4888116 markings, 13673806 edges, 7450 markings/sec, 850 secs
lola: 4911750 markings, 13749987 edges, 4727 markings/sec, 855 secs
lola: 4934506 markings, 13813422 edges, 4551 markings/sec, 860 secs
lola: 4956457 markings, 13876134 edges, 4390 markings/sec, 865 secs
lola: 4978462 markings, 13940344 edges, 4401 markings/sec, 870 secs
lola: 5000212 markings, 14005416 edges, 4350 markings/sec, 875 secs
lola: 5021860 markings, 14070084 edges, 4330 markings/sec, 880 secs
lola: 5065573 markings, 14203802 edges, 8743 markings/sec, 885 secs
lola: 5086855 markings, 14260458 edges, 4256 markings/sec, 890 secs
lola: 5109651 markings, 14326638 edges, 4559 markings/sec, 895 secs
lola: 5129721 markings, 14388519 edges, 4014 markings/sec, 900 secs
lola: 5152107 markings, 14453035 edges, 4477 markings/sec, 905 secs
lola: 5173820 markings, 14516438 edges, 4343 markings/sec, 910 secs
lola: 5195560 markings, 14581607 edges, 4348 markings/sec, 915 secs
lola: 5228169 markings, 14678984 edges, 6522 markings/sec, 920 secs
lola: 5261250 markings, 14770178 edges, 6616 markings/sec, 925 secs
lola: 5282280 markings, 14837784 edges, 4206 markings/sec, 930 secs
lola: 5304469 markings, 14899742 edges, 4438 markings/sec, 935 secs
lola: 5326653 markings, 14963630 edges, 4437 markings/sec, 940 secs
lola: 5348530 markings, 15027712 edges, 4375 markings/sec, 945 secs
lola: 5370369 markings, 15093402 edges, 4368 markings/sec, 950 secs
lola: 5394292 markings, 15165316 edges, 4785 markings/sec, 955 secs
lola: 5435817 markings, 15286009 edges, 8305 markings/sec, 960 secs
lola: 5456471 markings, 15348546 edges, 4131 markings/sec, 965 secs
lola: 5478875 markings, 15411878 edges, 4481 markings/sec, 970 secs
lola: 5500777 markings, 15475996 edges, 4380 markings/sec, 975 secs
lola: 5523295 markings, 15543058 edges, 4504 markings/sec, 980 secs
lola: 5544778 markings, 15605355 edges, 4297 markings/sec, 985 secs
lola: 5567549 markings, 15674116 edges, 4554 markings/sec, 990 secs
lola: 5609399 markings, 15796501 edges, 8370 markings/sec, 995 secs
lola: 5631177 markings, 15861508 edges, 4356 markings/sec, 1000 secs
lola: 5656358 markings, 15933858 edges, 5036 markings/sec, 1005 secs
lola: 5680204 markings, 16003688 edges, 4769 markings/sec, 1010 secs
lola: 5703661 markings, 16072704 edges, 4691 markings/sec, 1015 secs
lola: 5725009 markings, 16137323 edges, 4270 markings/sec, 1020 secs
lola: 5762098 markings, 16249533 edges, 7418 markings/sec, 1025 secs
lola: 5787004 markings, 16322502 edges, 4981 markings/sec, 1030 secs
lola: 5805862 markings, 16364126 edges, 3772 markings/sec, 1035 secs
lola: 5825441 markings, 16417579 edges, 3916 markings/sec, 1040 secs
lola: 5840271 markings, 16458473 edges, 2966 markings/sec, 1045 secs
lola: 5856895 markings, 16506912 edges, 3325 markings/sec, 1050 secs
lola: 5873881 markings, 16555953 edges, 3397 markings/sec, 1055 secs
lola: 5891439 markings, 16604183 edges, 3512 markings/sec, 1060 secs
lola: 5908718 markings, 16643653 edges, 3456 markings/sec, 1065 secs
lola: 5928020 markings, 16694913 edges, 3860 markings/sec, 1070 secs
lola: 5944051 markings, 16741245 edges, 3206 markings/sec, 1075 secs
lola: 5959516 markings, 16783526 edges, 3093 markings/sec, 1080 secs
lola: 5975325 markings, 16827338 edges, 3162 markings/sec, 1085 secs
lola: 5992151 markings, 16873353 edges, 3365 markings/sec, 1090 secs
lola: 6011391 markings, 16918686 edges, 3848 markings/sec, 1095 secs
lola: 6030884 markings, 16976331 edges, 3899 markings/sec, 1100 secs
lola: 6048333 markings, 17024876 edges, 3490 markings/sec, 1105 secs
lola: 6066375 markings, 17073128 edges, 3608 markings/sec, 1110 secs
lola: 6086586 markings, 17123305 edges, 4042 markings/sec, 1115 secs
lola: 6104234 markings, 17173068 edges, 3530 markings/sec, 1120 secs
lola: 6123177 markings, 17226107 edges, 3789 markings/sec, 1125 secs
lola: 6142585 markings, 17274539 edges, 3882 markings/sec, 1130 secs
lola: 6159808 markings, 17322569 edges, 3445 markings/sec, 1135 secs
lola: 6179466 markings, 17374358 edges, 3932 markings/sec, 1140 secs
lola: 6198270 markings, 17424595 edges, 3761 markings/sec, 1145 secs
lola: 6246409 markings, 17570623 edges, 9628 markings/sec, 1150 secs
lola: 6259830 markings, 17605282 edges, 2684 markings/sec, 1155 secs
lola: 6280507 markings, 17659697 edges, 4135 markings/sec, 1160 secs
lola: 6300846 markings, 17724245 edges, 4068 markings/sec, 1165 secs
lola: 6322448 markings, 17782758 edges, 4320 markings/sec, 1170 secs
lola: 6343531 markings, 17850382 edges, 4217 markings/sec, 1175 secs
lola: 6365432 markings, 17911897 edges, 4380 markings/sec, 1180 secs
lola: 6385831 markings, 17976573 edges, 4080 markings/sec, 1185 secs
lola: 6407927 markings, 18040314 edges, 4419 markings/sec, 1190 secs
lola: 6429501 markings, 18104063 edges, 4315 markings/sec, 1195 secs
lola: 6451105 markings, 18169258 edges, 4321 markings/sec, 1200 secs
lola: 6479145 markings, 18254090 edges, 5608 markings/sec, 1205 secs
lola: 6517117 markings, 18366408 edges, 7594 markings/sec, 1210 secs
lola: 6536060 markings, 18406250 edges, 3789 markings/sec, 1215 secs
lola: 6554188 markings, 18456030 edges, 3626 markings/sec, 1220 secs
lola: 6570052 markings, 18502003 edges, 3173 markings/sec, 1225 secs
lola: 6587715 markings, 18555272 edges, 3533 markings/sec, 1230 secs
lola: 6601344 markings, 18592813 edges, 2726 markings/sec, 1235 secs
lola: 6618449 markings, 18644198 edges, 3421 markings/sec, 1240 secs
lola: 6632008 markings, 18679977 edges, 2712 markings/sec, 1245 secs
lola: 6647588 markings, 18724768 edges, 3116 markings/sec, 1250 secs
lola: 6669996 markings, 18785857 edges, 4482 markings/sec, 1255 secs
lola: 6689983 markings, 18848515 edges, 3997 markings/sec, 1260 secs
lola: 6713778 markings, 18916403 edges, 4759 markings/sec, 1265 secs
lola: 6733695 markings, 18978789 edges, 3983 markings/sec, 1270 secs
lola: 6756061 markings, 19042286 edges, 4473 markings/sec, 1275 secs
lola: 6778149 markings, 19109689 edges, 4418 markings/sec, 1280 secs
lola: 6798719 markings, 19171522 edges, 4114 markings/sec, 1285 secs
lola: 6820886 markings, 19237848 edges, 4433 markings/sec, 1290 secs
lola: 6842632 markings, 19301661 edges, 4349 markings/sec, 1295 secs
lola: 6882903 markings, 19425056 edges, 8054 markings/sec, 1300 secs
lola: 6909272 markings, 19495408 edges, 5274 markings/sec, 1305 secs
lola: 6930434 markings, 19562827 edges, 4232 markings/sec, 1310 secs
lola: 6952719 markings, 19624452 edges, 4457 markings/sec, 1315 secs
lola: 6973224 markings, 19689803 edges, 4101 markings/sec, 1320 secs
lola: 6995011 markings, 19751294 edges, 4357 markings/sec, 1325 secs
lola: 7015474 markings, 19816396 edges, 4093 markings/sec, 1330 secs
lola: 7037268 markings, 19879299 edges, 4359 markings/sec, 1335 secs
lola: 7059532 markings, 19945881 edges, 4453 markings/sec, 1340 secs
lola: 7080718 markings, 20010045 edges, 4237 markings/sec, 1345 secs
lola: 7118316 markings, 20123643 edges, 7520 markings/sec, 1350 secs
lola: 7146764 markings, 20199812 edges, 5690 markings/sec, 1355 secs
lola: 7167859 markings, 20267514 edges, 4219 markings/sec, 1360 secs
lola: 7190754 markings, 20331990 edges, 4579 markings/sec, 1365 secs
lola: 7211024 markings, 20395852 edges, 4054 markings/sec, 1370 secs
lola: 7233121 markings, 20458754 edges, 4419 markings/sec, 1375 secs
lola: 7255595 markings, 20530494 edges, 4495 markings/sec, 1380 secs
lola: 7278134 markings, 20596074 edges, 4508 markings/sec, 1385 secs
lola: 7299847 markings, 20660603 edges, 4343 markings/sec, 1390 secs
lola: 7321780 markings, 20725697 edges, 4387 markings/sec, 1395 secs
lola: 7366483 markings, 20862222 edges, 8941 markings/sec, 1400 secs
lola: 7388715 markings, 20920396 edges, 4446 markings/sec, 1405 secs
lola: 7410700 markings, 20991044 edges, 4397 markings/sec, 1410 secs
lola: 7432650 markings, 21051404 edges, 4390 markings/sec, 1415 secs
lola: 7454123 markings, 21120612 edges, 4295 markings/sec, 1420 secs
lola: 7475733 markings, 21181181 edges, 4322 markings/sec, 1425 secs
lola: 7498360 markings, 21248185 edges, 4525 markings/sec, 1430 secs
lola: 7519672 markings, 21311217 edges, 4262 markings/sec, 1435 secs
lola: 7541347 markings, 21377582 edges, 4335 markings/sec, 1440 secs
lola: 7575030 markings, 21479921 edges, 6737 markings/sec, 1445 secs
lola: 7606470 markings, 21565609 edges, 6288 markings/sec, 1450 secs
lola: 7627843 markings, 21634029 edges, 4275 markings/sec, 1455 secs
lola: 7650172 markings, 21696492 edges, 4466 markings/sec, 1460 secs
lola: 7670798 markings, 21762247 edges, 4125 markings/sec, 1465 secs
lola: 7692905 markings, 21825508 edges, 4421 markings/sec, 1470 secs
lola: 7713424 markings, 21890123 edges, 4104 markings/sec, 1475 secs
lola: 7736267 markings, 21957419 edges, 4569 markings/sec, 1480 secs
lola: 7761317 markings, 22030200 edges, 5010 markings/sec, 1485 secs
lola: 7799082 markings, 22145275 edges, 7553 markings/sec, 1490 secs
lola: 7831146 markings, 22234565 edges, 6413 markings/sec, 1495 secs
lola: 7853567 markings, 22305260 edges, 4484 markings/sec, 1500 secs
lola: 7878249 markings, 22375473 edges, 4936 markings/sec, 1505 secs
lola: 7901949 markings, 22448835 edges, 4740 markings/sec, 1510 secs
lola: 7925599 markings, 22519504 edges, 4730 markings/sec, 1515 secs
lola: 7949388 markings, 22589377 edges, 4758 markings/sec, 1520 secs
lola: 7973194 markings, 22661095 edges, 4761 markings/sec, 1525 secs
lola: 8004963 markings, 22756672 edges, 6354 markings/sec, 1530 secs
lola: 8042126 markings, 22860175 edges, 7433 markings/sec, 1535 secs
lola: 8065358 markings, 22934627 edges, 4646 markings/sec, 1540 secs
lola: 8089903 markings, 23004338 edges, 4909 markings/sec, 1545 secs
lola: 8112819 markings, 23077220 edges, 4583 markings/sec, 1550 secs
lola: 8136955 markings, 23146967 edges, 4827 markings/sec, 1555 secs
lola: 8160738 markings, 23216679 edges, 4757 markings/sec, 1560 secs
lola: 8184687 markings, 23289355 edges, 4790 markings/sec, 1565 secs
lola: 8220037 markings, 23396264 edges, 7070 markings/sec, 1570 secs
lola: 8254352 markings, 23491786 edges, 6863 markings/sec, 1575 secs
lola: 8277390 markings, 23564140 edges, 4608 markings/sec, 1580 secs
lola: 8302905 markings, 23637798 edges, 5103 markings/sec, 1585 secs
lola: 8328541 markings, 23713049 edges, 5127 markings/sec, 1590 secs
lola: 8351066 markings, 23784691 edges, 4505 markings/sec, 1595 secs
lola: 8375735 markings, 23857886 edges, 4934 markings/sec, 1600 secs
lola: 8397658 markings, 23921412 edges, 4385 markings/sec, 1605 secs
lola: 8436322 markings, 24039285 edges, 7733 markings/sec, 1610 secs
lola: 8458524 markings, 24104373 edges, 4440 markings/sec, 1615 secs
lola: 8473206 markings, 24138941 edges, 2936 markings/sec, 1620 secs
lola: 8495100 markings, 24189072 edges, 4379 markings/sec, 1625 secs
lola: 8513421 markings, 24243736 edges, 3664 markings/sec, 1630 secs
lola: 8530471 markings, 24295338 edges, 3410 markings/sec, 1635 secs
lola: 8544322 markings, 24333195 edges, 2770 markings/sec, 1640 secs
lola: 8560634 markings, 24381388 edges, 3262 markings/sec, 1645 secs
lola: 8574338 markings, 24417417 edges, 2741 markings/sec, 1650 secs
lola: 8590827 markings, 24464782 edges, 3298 markings/sec, 1655 secs
lola: 8603655 markings, 24496303 edges, 2566 markings/sec, 1660 secs
lola: 8622345 markings, 24548630 edges, 3738 markings/sec, 1665 secs
lola: 8643193 markings, 24593690 edges, 4170 markings/sec, 1670 secs
lola: 8662043 markings, 24649781 edges, 3770 markings/sec, 1675 secs
lola: 8680506 markings, 24704340 edges, 3693 markings/sec, 1680 secs
lola: 8698493 markings, 24756504 edges, 3597 markings/sec, 1685 secs
lola: 8713431 markings, 24795997 edges, 2988 markings/sec, 1690 secs
lola: 8730791 markings, 24843880 edges, 3472 markings/sec, 1695 secs
lola: 8749347 markings, 24895543 edges, 3711 markings/sec, 1700 secs
lola: 8769161 markings, 24938653 edges, 3963 markings/sec, 1705 secs
lola: 8787623 markings, 24992698 edges, 3692 markings/sec, 1710 secs
lola: 8805253 markings, 25043830 edges, 3526 markings/sec, 1715 secs
lola: 8822453 markings, 25092674 edges, 3440 markings/sec, 1720 secs
lola: 8839542 markings, 25139780 edges, 3418 markings/sec, 1725 secs
lola: 8857789 markings, 25189152 edges, 3649 markings/sec, 1730 secs
lola: 8878305 markings, 25238914 edges, 4103 markings/sec, 1735 secs
lola: 8896613 markings, 25292118 edges, 3662 markings/sec, 1740 secs
lola: 8913587 markings, 25339897 edges, 3395 markings/sec, 1745 secs
lola: 8930409 markings, 25385000 edges, 3364 markings/sec, 1750 secs
lola: 8950387 markings, 25434008 edges, 3996 markings/sec, 1755 secs
lola: 8969420 markings, 25489667 edges, 3807 markings/sec, 1760 secs
lola: 8987040 markings, 25539816 edges, 3524 markings/sec, 1765 secs
lola: 9003938 markings, 25581152 edges, 3380 markings/sec, 1770 secs
lola: 9023407 markings, 25636399 edges, 3894 markings/sec, 1775 secs
lola: 9041844 markings, 25685031 edges, 3687 markings/sec, 1780 secs
lola: 9089184 markings, 25827695 edges, 9468 markings/sec, 1785 secs
lola: 9106599 markings, 25873537 edges, 3483 markings/sec, 1790 secs
lola: 9126528 markings, 25922597 edges, 3986 markings/sec, 1795 secs
lola: 9150254 markings, 25997934 edges, 4745 markings/sec, 1800 secs
lola: 9174160 markings, 26073871 edges, 4781 markings/sec, 1805 secs
lola: 9199187 markings, 26144252 edges, 5005 markings/sec, 1810 secs
lola: 9222435 markings, 26217789 edges, 4650 markings/sec, 1815 secs
lola: 9247565 markings, 26289718 edges, 5026 markings/sec, 1820 secs
lola: 9272089 markings, 26363991 edges, 4905 markings/sec, 1825 secs
lola: 9295852 markings, 26436670 edges, 4753 markings/sec, 1830 secs
lola: 9320587 markings, 26510347 edges, 4947 markings/sec, 1835 secs
lola: 9345046 markings, 26584544 edges, 4892 markings/sec, 1840 secs
lola: 9379435 markings, 26688794 edges, 6878 markings/sec, 1845 secs
lola: 9415002 markings, 26790015 edges, 7113 markings/sec, 1850 secs
lola: 9436419 markings, 26835992 edges, 4283 markings/sec, 1855 secs
lola: 9457227 markings, 26895062 edges, 4162 markings/sec, 1860 secs
lola: 9474283 markings, 26944254 edges, 3411 markings/sec, 1865 secs
lola: 9493408 markings, 27002277 edges, 3825 markings/sec, 1870 secs
lola: 9508832 markings, 27045532 edges, 3085 markings/sec, 1875 secs
lola: 9527342 markings, 27101410 edges, 3702 markings/sec, 1880 secs
lola: 9542580 markings, 27143063 edges, 3048 markings/sec, 1885 secs
lola: 9557483 markings, 27183804 edges, 2981 markings/sec, 1890 secs
lola: 9575697 markings, 27237257 edges, 3643 markings/sec, 1895 secs
lola: 9590130 markings, 27274929 edges, 2887 markings/sec, 1900 secs
lola: 9613156 markings, 27336407 edges, 4605 markings/sec, 1905 secs
lola: 9637412 markings, 27414159 edges, 4851 markings/sec, 1910 secs
lola: 9661430 markings, 27488268 edges, 4804 markings/sec, 1915 secs
lola: 9685748 markings, 27558061 edges, 4864 markings/sec, 1920 secs
lola: 9709370 markings, 27633528 edges, 4724 markings/sec, 1925 secs
lola: 9733540 markings, 27701891 edges, 4834 markings/sec, 1930 secs
lola: 9758603 markings, 27775696 edges, 5013 markings/sec, 1935 secs
lola: 9781432 markings, 27847586 edges, 4566 markings/sec, 1940 secs
lola: 9806258 markings, 27922181 edges, 4965 markings/sec, 1945 secs
lola: 9830796 markings, 27996294 edges, 4908 markings/sec, 1950 secs
lola: 9872250 markings, 28121848 edges, 8291 markings/sec, 1955 secs
lola: 9902356 markings, 28203134 edges, 6021 markings/sec, 1960 secs
lola: 9926523 markings, 28280317 edges, 4833 markings/sec, 1965 secs
lola: 9951278 markings, 28353098 edges, 4951 markings/sec, 1970 secs
lola: 9974597 markings, 28423373 edges, 4664 markings/sec, 1975 secs
lola: 9999665 markings, 28498862 edges, 5014 markings/sec, 1980 secs
lola: 10023394 markings, 28570846 edges, 4746 markings/sec, 1985 secs
lola: 10048239 markings, 28643916 edges, 4969 markings/sec, 1990 secs
lola: 10072460 markings, 28718197 edges, 4844 markings/sec, 1995 secs
lola: 10096862 markings, 28791905 edges, 4880 markings/sec, 2000 secs
lola: 10121336 markings, 28866532 edges, 4895 markings/sec, 2005 secs
lola: 10167833 markings, 29006249 edges, 9299 markings/sec, 2010 secs
lola: 10192162 markings, 29072869 edges, 4866 markings/sec, 2015 secs
lola: 10215678 markings, 29147218 edges, 4703 markings/sec, 2020 secs
lola: 10241306 markings, 29220265 edges, 5126 markings/sec, 2025 secs
lola: 10265156 markings, 29295771 edges, 4770 markings/sec, 2030 secs
lola: 10290556 markings, 29368905 edges, 5080 markings/sec, 2035 secs
lola: 10315696 markings, 29446531 edges, 5028 markings/sec, 2040 secs
lola: 10339584 markings, 29518794 edges, 4778 markings/sec, 2045 secs
lola: 10362950 markings, 29588293 edges, 4673 markings/sec, 2050 secs
lola: 10384953 markings, 29655235 edges, 4401 markings/sec, 2055 secs
lola: 10420884 markings, 29763374 edges, 7186 markings/sec, 2060 secs
lola: 10451239 markings, 29845759 edges, 6071 markings/sec, 2065 secs
lola: 10472263 markings, 29912601 edges, 4205 markings/sec, 2070 secs
lola: 10494647 markings, 29984388 edges, 4477 markings/sec, 2075 secs
lola: 10520331 markings, 30056985 edges, 5137 markings/sec, 2080 secs
lola: 10544410 markings, 30132851 edges, 4816 markings/sec, 2085 secs
lola: 10569687 markings, 30206494 edges, 5055 markings/sec, 2090 secs
lola: 10594817 markings, 30280252 edges, 5026 markings/sec, 2095 secs
lola: 10619886 markings, 30355522 edges, 5014 markings/sec, 2100 secs
lola: 10644640 markings, 30431153 edges, 4951 markings/sec, 2105 secs
lola: 10679127 markings, 30536375 edges, 6897 markings/sec, 2110 secs
lola: 10716179 markings, 30639045 edges, 7410 markings/sec, 2115 secs
lola: 10740731 markings, 30717678 edges, 4910 markings/sec, 2120 secs
lola: 10766353 markings, 30792792 edges, 5124 markings/sec, 2125 secs
lola: 10790045 markings, 30865563 edges, 4738 markings/sec, 2130 secs
lola: 10814868 markings, 30937026 edges, 4965 markings/sec, 2135 secs
lola: 10838622 markings, 31012746 edges, 4751 markings/sec, 2140 secs
lola: 10862954 markings, 31083671 edges, 4866 markings/sec, 2145 secs
lola: 10887922 markings, 31159393 edges, 4994 markings/sec, 2150 secs
lola: 10912247 markings, 31233869 edges, 4865 markings/sec, 2155 secs
lola: 10956169 markings, 31366908 edges, 8784 markings/sec, 2160 secs
lola: 10982070 markings, 31437249 edges, 5180 markings/sec, 2165 secs
lola: 11005353 markings, 31511023 edges, 4657 markings/sec, 2170 secs
lola: 11030884 markings, 31583716 edges, 5106 markings/sec, 2175 secs
lola: 11055346 markings, 31661507 edges, 4892 markings/sec, 2180 secs
lola: 11080740 markings, 31735041 edges, 5079 markings/sec, 2185 secs
lola: 11106141 markings, 31811602 edges, 5080 markings/sec, 2190 secs
lola: 11130399 markings, 31887367 edges, 4852 markings/sec, 2195 secs
lola: 11156157 markings, 31962896 edges, 5152 markings/sec, 2200 secs
lola: 11190111 markings, 32066456 edges, 6791 markings/sec, 2205 secs
lola: 11225258 markings, 32163308 edges, 7029 markings/sec, 2210 secs
lola: 11249289 markings, 32240537 edges, 4806 markings/sec, 2215 secs
lola: 11273907 markings, 32312456 edges, 4924 markings/sec, 2220 secs
lola: 11297344 markings, 32384819 edges, 4687 markings/sec, 2225 secs
lola: 11321242 markings, 32452977 edges, 4780 markings/sec, 2230 secs
lola: 11344808 markings, 32528171 edges, 4713 markings/sec, 2235 secs
lola: 11369702 markings, 32602325 edges, 4979 markings/sec, 2240 secs
lola: 11393992 markings, 32675508 edges, 4858 markings/sec, 2245 secs
lola: 11418597 markings, 32750410 edges, 4921 markings/sec, 2250 secs
lola: 11462207 markings, 32877729 edges, 8722 markings/sec, 2255 secs
lola: 11485980 markings, 32947385 edges, 4755 markings/sec, 2260 secs
lola: 11509839 markings, 33023878 edges, 4772 markings/sec, 2265 secs
lola: 11534482 markings, 33093293 edges, 4929 markings/sec, 2270 secs
lola: 11559268 markings, 33168757 edges, 4957 markings/sec, 2275 secs
lola: 11582852 markings, 33240408 edges, 4717 markings/sec, 2280 secs
lola: 11607391 markings, 33312916 edges, 4908 markings/sec, 2285 secs
lola: 11632037 markings, 33387792 edges, 4929 markings/sec, 2290 secs
lola: 11657021 markings, 33464351 edges, 4997 markings/sec, 2295 secs
lola: 11698353 markings, 33586861 edges, 8266 markings/sec, 2300 secs
lola: 11718352 markings, 33645222 edges, 4000 markings/sec, 2305 secs
lola: 11733727 markings, 33679386 edges, 3075 markings/sec, 2310 secs
lola: 11756315 markings, 33731876 edges, 4518 markings/sec, 2315 secs
lola: 11774926 markings, 33787900 edges, 3722 markings/sec, 2320 secs
lola: 11793158 markings, 33842585 edges, 3646 markings/sec, 2325 secs
lola: 11809474 markings, 33889566 edges, 3263 markings/sec, 2330 secs
lola: 11827827 markings, 33944077 edges, 3671 markings/sec, 2335 secs
lola: 11842579 markings, 33984337 edges, 2950 markings/sec, 2340 secs
lola: 11860592 markings, 34037303 edges, 3603 markings/sec, 2345 secs
lola: 11875054 markings, 34075232 edges, 2892 markings/sec, 2350 secs
lola: 11892685 markings, 34126052 edges, 3526 markings/sec, 2355 secs
lola: 11906950 markings, 34161218 edges, 2853 markings/sec, 2360 secs
lola: 11925940 markings, 34214545 edges, 3798 markings/sec, 2365 secs
lola: 11940981 markings, 34250562 edges, 3008 markings/sec, 2370 secs
lola: 11962255 markings, 34299435 edges, 4255 markings/sec, 2375 secs
lola: 11980453 markings, 34353930 edges, 3640 markings/sec, 2380 secs
lola: 11998611 markings, 34408254 edges, 3632 markings/sec, 2385 secs
lola: 12013443 markings, 34450224 edges, 2966 markings/sec, 2390 secs
lola: 12030860 markings, 34500903 edges, 3483 markings/sec, 2395 secs
lola: 12046779 markings, 34546338 edges, 3184 markings/sec, 2400 secs
lola: 12062477 markings, 34589217 edges, 3140 markings/sec, 2405 secs
lola: 12079518 markings, 34637479 edges, 3408 markings/sec, 2410 secs
lola: 12093669 markings, 34672264 edges, 2830 markings/sec, 2415 secs
lola: 12112159 markings, 34724982 edges, 3698 markings/sec, 2420 secs
lola: 12131388 markings, 34766188 edges, 3846 markings/sec, 2425 secs
lola: 12150193 markings, 34820627 edges, 3761 markings/sec, 2430 secs
lola: 12167950 markings, 34873316 edges, 3551 markings/sec, 2435 secs
lola: 12185307 markings, 34924425 edges, 3471 markings/sec, 2440 secs
lola: 12199986 markings, 34964602 edges, 2936 markings/sec, 2445 secs
lola: 12216751 markings, 35012032 edges, 3353 markings/sec, 2450 secs
lola: 12233403 markings, 35058217 edges, 3330 markings/sec, 2455 secs
lola: 12250896 markings, 35105096 edges, 3499 markings/sec, 2460 secs
lola: 12266937 markings, 35141943 edges, 3208 markings/sec, 2465 secs
lola: 12287204 markings, 35197082 edges, 4053 markings/sec, 2470 secs
lola: 12304496 markings, 35248100 edges, 3458 markings/sec, 2475 secs
lola: 12321137 markings, 35296086 edges, 3328 markings/sec, 2480 secs
lola: 12337591 markings, 35342429 edges, 3291 markings/sec, 2485 secs
lola: 12353799 markings, 35386700 edges, 3242 markings/sec, 2490 secs
lola: 12370754 markings, 35432570 edges, 3391 markings/sec, 2495 secs
lola: 12389382 markings, 35476560 edges, 3726 markings/sec, 2500 secs
lola: 12406831 markings, 35528152 edges, 3490 markings/sec, 2505 secs
lola: 12422990 markings, 35573883 edges, 3232 markings/sec, 2510 secs
lola: 12438655 markings, 35618202 edges, 3133 markings/sec, 2515 secs
lola: 12455449 markings, 35660802 edges, 3359 markings/sec, 2520 secs
lola: 12474463 markings, 35712312 edges, 3803 markings/sec, 2525 secs
lola: 12490766 markings, 35758158 edges, 3261 markings/sec, 2530 secs
lola: 12508755 markings, 35805443 edges, 3598 markings/sec, 2535 secs
lola: 12544529 markings, 35910737 edges, 7155 markings/sec, 2540 secs
lola: 12572130 markings, 35989460 edges, 5520 markings/sec, 2545 secs
lola: 12587587 markings, 36032998 edges, 3091 markings/sec, 2550 secs
lola: 12608713 markings, 36087166 edges, 4225 markings/sec, 2555 secs
lola: 12632288 markings, 36161989 edges, 4715 markings/sec, 2560 secs
lola: 12655152 markings, 36234141 edges, 4573 markings/sec, 2565 secs
lola: 12680457 markings, 36304587 edges, 5061 markings/sec, 2570 secs
lola: 12704497 markings, 36381460 edges, 4808 markings/sec, 2575 secs
lola: 12729554 markings, 36453038 edges, 5011 markings/sec, 2580 secs
lola: 12753030 markings, 36527542 edges, 4695 markings/sec, 2585 secs
lola: 12778133 markings, 36600805 edges, 5021 markings/sec, 2590 secs
lola: 12801594 markings, 36675040 edges, 4692 markings/sec, 2595 secs
lola: 12826366 markings, 36748643 edges, 4954 markings/sec, 2600 secs
lola: 12851135 markings, 36824160 edges, 4954 markings/sec, 2605 secs
lola: 12875885 markings, 36900748 edges, 4950 markings/sec, 2610 secs
lola: 12925930 markings, 37052606 edges, 10009 markings/sec, 2615 secs
lola: 12941843 markings, 37085970 edges, 3183 markings/sec, 2620 secs
lola: 12964841 markings, 37138080 edges, 4600 markings/sec, 2625 secs
lola: 12984481 markings, 37195772 edges, 3928 markings/sec, 2630 secs
lola: 13001545 markings, 37246311 edges, 3413 markings/sec, 2635 secs
lola: 13020868 markings, 37305514 edges, 3865 markings/sec, 2640 secs
lola: 13036120 markings, 37348873 edges, 3050 markings/sec, 2645 secs
lola: 13051582 markings, 37393385 edges, 3092 markings/sec, 2650 secs
lola: 13069596 markings, 37447556 edges, 3603 markings/sec, 2655 secs
lola: 13084369 markings, 37488429 edges, 2955 markings/sec, 2660 secs
lola: 13099491 markings, 37531513 edges, 3024 markings/sec, 2665 secs
lola: 13117149 markings, 37583472 edges, 3532 markings/sec, 2670 secs
lola: 13131356 markings, 37622167 edges, 2841 markings/sec, 2675 secs
lola: 13149076 markings, 37674818 edges, 3544 markings/sec, 2680 secs
lola: 13163569 markings, 37712955 edges, 2899 markings/sec, 2685 secs
lola: 13177443 markings, 37749391 edges, 2775 markings/sec, 2690 secs
lola: 13199187 markings, 37808384 edges, 4349 markings/sec, 2695 secs
lola: 13220992 markings, 37875064 edges, 4361 markings/sec, 2700 secs
lola: 13243982 markings, 37948781 edges, 4598 markings/sec, 2705 secs
lola: 13268273 markings, 38016191 edges, 4858 markings/sec, 2710 secs
lola: 13291627 markings, 38091059 edges, 4671 markings/sec, 2715 secs
lola: 13314123 markings, 38162370 edges, 4499 markings/sec, 2720 secs
lola: 13338336 markings, 38231284 edges, 4843 markings/sec, 2725 secs
lola: 13360673 markings, 38301720 edges, 4467 markings/sec, 2730 secs
lola: 13384773 markings, 38371926 edges, 4820 markings/sec, 2735 secs
lola: 13408994 markings, 38446000 edges, 4844 markings/sec, 2740 secs
lola: 13431854 markings, 38516841 edges, 4572 markings/sec, 2745 secs
lola: 13456216 markings, 38591119 edges, 4872 markings/sec, 2750 secs
lola: 13491804 markings, 38698192 edges, 7118 markings/sec, 2755 secs
lola: 13527248 markings, 38796216 edges, 7089 markings/sec, 2760 secs
lola: 13550723 markings, 38868903 edges, 4695 markings/sec, 2765 secs
lola: 13575425 markings, 38947579 edges, 4940 markings/sec, 2770 secs
lola: 13601575 markings, 39021732 edges, 5230 markings/sec, 2775 secs
lola: 13625683 markings, 39098215 edges, 4822 markings/sec, 2780 secs
lola: 13651086 markings, 39170667 edges, 5081 markings/sec, 2785 secs
lola: 13675568 markings, 39248779 edges, 4896 markings/sec, 2790 secs
lola: 13701127 markings, 39323755 edges, 5112 markings/sec, 2795 secs
lola: 13725048 markings, 39399036 edges, 4784 markings/sec, 2800 secs
lola: 13750920 markings, 39477111 edges, 5174 markings/sec, 2805 secs
lola: 13775675 markings, 39552590 edges, 4951 markings/sec, 2810 secs
lola: 13809216 markings, 39653422 edges, 6708 markings/sec, 2815 secs
lola: 13847188 markings, 39759231 edges, 7594 markings/sec, 2820 secs
lola: 13870739 markings, 39832839 edges, 4710 markings/sec, 2825 secs
lola: 13894788 markings, 39908882 edges, 4810 markings/sec, 2830 secs
lola: 13920935 markings, 39983239 edges, 5229 markings/sec, 2835 secs
lola: 13944954 markings, 40059160 edges, 4804 markings/sec, 2840 secs
lola: 13970206 markings, 40131972 edges, 5050 markings/sec, 2845 secs
lola: 13994660 markings, 40209664 edges, 4891 markings/sec, 2850 secs
lola: 14019746 markings, 40283076 edges, 5017 markings/sec, 2855 secs
lola: 14044236 markings, 40361422 edges, 4898 markings/sec, 2860 secs
lola: 14069520 markings, 40437137 edges, 5057 markings/sec, 2865 secs
lola: 14094908 markings, 40512901 edges, 5078 markings/sec, 2870 secs
lola: 14138552 markings, 40645265 edges, 8729 markings/sec, 2875 secs
lola: 14166484 markings, 40721519 edges, 5586 markings/sec, 2880 secs
lola: 14190181 markings, 40796047 edges, 4739 markings/sec, 2885 secs
lola: 14215194 markings, 40874518 edges, 5003 markings/sec, 2890 secs
lola: 14240068 markings, 40945335 edges, 4975 markings/sec, 2895 secs
lola: 14264418 markings, 41022879 edges, 4870 markings/sec, 2900 secs
lola: 14290454 markings, 41098274 edges, 5207 markings/sec, 2905 secs
lola: 14314972 markings, 41176568 edges, 4904 markings/sec, 2910 secs
lola: 14340424 markings, 41251277 edges, 5090 markings/sec, 2915 secs
lola: 14365631 markings, 41326611 edges, 5041 markings/sec, 2920 secs
lola: 14391013 markings, 41404692 edges, 5076 markings/sec, 2925 secs
lola: 14425530 markings, 41509495 edges, 6903 markings/sec, 2930 secs
lola: 14462178 markings, 41610567 edges, 7330 markings/sec, 2935 secs
lola: 14486346 markings, 41687475 edges, 4834 markings/sec, 2940 secs
lola: 14510153 markings, 41762484 edges, 4761 markings/sec, 2945 secs
lola: 14536444 markings, 41837468 edges, 5258 markings/sec, 2950 secs
lola: 14560912 markings, 41915363 edges, 4894 markings/sec, 2955 secs
lola: 14586241 markings, 41988066 edges, 5066 markings/sec, 2960 secs
lola: 14610538 markings, 42065057 edges, 4859 markings/sec, 2965 secs
lola: 14636599 markings, 42142771 edges, 5212 markings/sec, 2970 secs
lola: 14661447 markings, 42217129 edges, 4970 markings/sec, 2975 secs
lola: 14686653 markings, 42294473 edges, 5041 markings/sec, 2980 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 1 80 1 1 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 unknown unknown 1 1 80 1 1 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown unknown 1 1 80 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 779564 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown unknown 1 1 80 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 779564 KB
lola: time consumption: 3569 seconds

BK_STOP 1552414928270

--------------------
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-V80P50N10"
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-V80P50N10, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r022-csrt-155225094700217"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V80P50N10.tgz
mv BridgeAndVehicles-PT-V80P50N10 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 ;