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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.0M
-rw-r--r-- 1 mcc users 17K Feb 9 08:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Feb 9 08:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 120K Feb 5 05:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 353K Feb 5 05:48 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 7.4K Feb 4 23:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 4 23:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 71K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 206K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.8K Feb 2 01:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 2 01:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 189K Jan 29 13:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 540K Jan 29 13:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.0K 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-V80P20N10-UpperBounds-00
FORMULA_NAME BridgeAndVehicles-PT-V80P20N10-UpperBounds-01
FORMULA_NAME BridgeAndVehicles-PT-V80P20N10-UpperBounds-02
FORMULA_NAME BridgeAndVehicles-PT-V80P20N10-UpperBounds-03
FORMULA_NAME BridgeAndVehicles-PT-V80P20N10-UpperBounds-04
FORMULA_NAME BridgeAndVehicles-PT-V80P20N10-UpperBounds-05
FORMULA_NAME BridgeAndVehicles-PT-V80P20N10-UpperBounds-06
FORMULA_NAME BridgeAndVehicles-PT-V80P20N10-UpperBounds-07
FORMULA_NAME BridgeAndVehicles-PT-V80P20N10-UpperBounds-08
FORMULA_NAME BridgeAndVehicles-PT-V80P20N10-UpperBounds-09
FORMULA_NAME BridgeAndVehicles-PT-V80P20N10-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-PT-V80P20N10-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-PT-V80P20N10-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-PT-V80P20N10-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-PT-V80P20N10-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-PT-V80P20N10-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552410860642

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-PT-V80P20N10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-PT-V80P20N10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-PT-V80P20N10 @ 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: 2296/65536 symbol table entries, 15 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-V80P20N10-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: MAX(0) : MAX(VIDANGE_1 + VIDANGE_2) : MAX(SUR_PONT_A) : MAX(SORTI_A) : MAX(ATTENTE_A) : MAX(ROUTE_B) : MAX(ROUTE_B) : MAX(ROUTE_B) : MAX(NB_ATTENTE_A_35) : MAX(VIDANGE_1) : MAX(NB_ATTENTE_A_18) : MAX(NB_ATTENTE_A_75) : MAX(NB_ATTENTE_B_29) : MAX(NB_ATTENTE_A_0) : MAX(NB_ATTENTE_A_44) : MAX(NB_ATTENTE_B_16)
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-V80P20N10-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-V80P20N10-UpperBounds-0 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(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-V80P20N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 20
lola: 26911 markings, 52428 edges, 5382 markings/sec, 0 secs
lola: 69882 markings, 164559 edges, 8594 markings/sec, 5 secs
lola: 108093 markings, 257569 edges, 7642 markings/sec, 10 secs
lola: 141752 markings, 334148 edges, 6732 markings/sec, 15 secs
lola: 185435 markings, 446776 edges, 8737 markings/sec, 20 secs
lola: 221711 markings, 532988 edges, 7255 markings/sec, 25 secs
lola: 256932 markings, 614242 edges, 7044 markings/sec, 30 secs
lola: 299677 markings, 723301 edges, 8549 markings/sec, 35 secs
lola: 341614 markings, 830658 edges, 8387 markings/sec, 40 secs
lola: 378597 markings, 919502 edges, 7397 markings/sec, 45 secs
lola: 410597 markings, 991511 edges, 6400 markings/sec, 50 secs
lola: 451299 markings, 1095101 edges, 8140 markings/sec, 55 secs
lola: 492472 markings, 1198763 edges, 8235 markings/sec, 60 secs
lola: 532698 markings, 1302682 edges, 8045 markings/sec, 65 secs
lola: 556950 markings, 1361764 edges, 4850 markings/sec, 70 secs
lola: 580742 markings, 1420673 edges, 4758 markings/sec, 75 secs
lola: 604953 markings, 1479907 edges, 4842 markings/sec, 80 secs
lola: 628358 markings, 1537160 edges, 4681 markings/sec, 85 secs
lola: 667757 markings, 1646211 edges, 7880 markings/sec, 90 secs
lola: 692439 markings, 1708646 edges, 4936 markings/sec, 95 secs
lola: 716179 markings, 1772938 edges, 4748 markings/sec, 100 secs
lola: 740854 markings, 1835651 edges, 4935 markings/sec, 105 secs
lola: 780783 markings, 1946917 edges, 7986 markings/sec, 110 secs
lola: 803141 markings, 2000109 edges, 4472 markings/sec, 115 secs
lola: 827622 markings, 2063992 edges, 4896 markings/sec, 120 secs
lola: 852059 markings, 2126411 edges, 4887 markings/sec, 125 secs
lola: 876557 markings, 2191696 edges, 4900 markings/sec, 130 secs
lola: 916702 markings, 2304335 edges, 8029 markings/sec, 135 secs
lola: 941876 markings, 2366422 edges, 5035 markings/sec, 140 secs
lola: 965894 markings, 2431554 edges, 4804 markings/sec, 145 secs
lola: 990430 markings, 2494375 edges, 4907 markings/sec, 150 secs
lola: 1030929 markings, 2604660 edges, 8100 markings/sec, 155 secs
lola: 1055238 markings, 2669062 edges, 4862 markings/sec, 160 secs
lola: 1080096 markings, 2733499 edges, 4972 markings/sec, 165 secs
lola: 1113290 markings, 2825343 edges, 6639 markings/sec, 170 secs
lola: 1146554 markings, 2915397 edges, 6653 markings/sec, 175 secs
lola: 1172751 markings, 2981207 edges, 5239 markings/sec, 180 secs
lola: 1198897 markings, 3050221 edges, 5229 markings/sec, 185 secs
lola: 1240128 markings, 3162208 edges, 8246 markings/sec, 190 secs
lola: 1266222 markings, 3230920 edges, 5219 markings/sec, 195 secs
lola: 1291898 markings, 3297782 edges, 5135 markings/sec, 200 secs
lola: 1332020 markings, 3408217 edges, 8024 markings/sec, 205 secs
lola: 1356815 markings, 3472289 edges, 4959 markings/sec, 210 secs
lola: 1381864 markings, 3537852 edges, 5010 markings/sec, 215 secs
lola: 1417688 markings, 3637870 edges, 7165 markings/sec, 220 secs
lola: 1446275 markings, 3711298 edges, 5717 markings/sec, 225 secs
lola: 1471038 markings, 3776756 edges, 4953 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 106460 KB
lola: time consumption: 238 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SORTI_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SORTI_A)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P20N10-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-V80P20N10-UpperBounds-3 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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-V80P20N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 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-V80P20N10-UpperBounds-4 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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-V80P20N10-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-V80P20N10-UpperBounds-5 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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-V80P20N10-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-V80P20N10-UpperBounds-6 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 332 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-V80P20N10-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-V80P20N10-UpperBounds-7 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 369 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_35)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P20N10-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: 36 markings, 35 edges

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

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

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

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

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

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

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

FORMULA BridgeAndVehicles-PT-V80P20N10-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_A)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P20N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 20
lola: 28219 markings, 54881 edges, 5644 markings/sec, 0 secs
lola: 72323 markings, 169496 edges, 8821 markings/sec, 5 secs
lola: 112848 markings, 271530 edges, 8105 markings/sec, 10 secs
lola: 144271 markings, 338760 edges, 6285 markings/sec, 15 secs
lola: 188542 markings, 452536 edges, 8854 markings/sec, 20 secs
lola: 228894 markings, 553246 edges, 8070 markings/sec, 25 secs
lola: 261633 markings, 624758 edges, 6548 markings/sec, 30 secs
lola: 304843 markings, 733697 edges, 8642 markings/sec, 35 secs
lola: 348208 markings, 844024 edges, 8673 markings/sec, 40 secs
lola: 391342 markings, 952834 edges, 8627 markings/sec, 45 secs
lola: 430578 markings, 1048792 edges, 7847 markings/sec, 50 secs
lola: 467837 markings, 1135836 edges, 7452 markings/sec, 55 secs
lola: 506475 markings, 1227450 edges, 7728 markings/sec, 60 secs
lola: 544484 markings, 1335345 edges, 7602 markings/sec, 65 secs
lola: 569726 markings, 1394997 edges, 5048 markings/sec, 70 secs
lola: 594670 markings, 1453878 edges, 4989 markings/sec, 75 secs
lola: 619872 markings, 1515918 edges, 5040 markings/sec, 80 secs
lola: 660621 markings, 1630545 edges, 8150 markings/sec, 85 secs
lola: 685868 markings, 1694497 edges, 5049 markings/sec, 90 secs
lola: 712218 markings, 1760558 edges, 5270 markings/sec, 95 secs
lola: 739092 markings, 1831284 edges, 5375 markings/sec, 100 secs
lola: 780786 markings, 1946922 edges, 8339 markings/sec, 105 secs
lola: 804449 markings, 2004278 edges, 4733 markings/sec, 110 secs
lola: 831039 markings, 2071433 edges, 5318 markings/sec, 115 secs
lola: 856467 markings, 2140000 edges, 5086 markings/sec, 120 secs
lola: 882017 markings, 2205341 edges, 5110 markings/sec, 125 secs
lola: 924093 markings, 2319962 edges, 8415 markings/sec, 130 secs
lola: 949206 markings, 2386825 edges, 5023 markings/sec, 135 secs
lola: 973264 markings, 2448817 edges, 4812 markings/sec, 140 secs
lola: 999518 markings, 2519548 edges, 5251 markings/sec, 145 secs
lola: 1036309 markings, 2619148 edges, 7358 markings/sec, 150 secs
lola: 1062962 markings, 2688576 edges, 5331 markings/sec, 155 secs
lola: 1089257 markings, 2757641 edges, 5259 markings/sec, 160 secs
lola: 1131439 markings, 2873840 edges, 8436 markings/sec, 165 secs
lola: 1156970 markings, 2939814 edges, 5106 markings/sec, 170 secs
lola: 1181515 markings, 3003750 edges, 4909 markings/sec, 175 secs
lola: 1209911 markings, 3081209 edges, 5679 markings/sec, 180 secs
lola: 1245414 markings, 3177827 edges, 7101 markings/sec, 185 secs
lola: 1270448 markings, 3241329 edges, 5007 markings/sec, 190 secs
lola: 1294655 markings, 3306079 edges, 4841 markings/sec, 195 secs
lola: 1333415 markings, 3411354 edges, 7752 markings/sec, 200 secs
lola: 1357069 markings, 3473013 edges, 4731 markings/sec, 205 secs
lola: 1380982 markings, 3535467 edges, 4783 markings/sec, 210 secs
lola: 1413369 markings, 3625073 edges, 6477 markings/sec, 215 secs
lola: 1442762 markings, 3704358 edges, 5879 markings/sec, 220 secs
lola: 1466935 markings, 3765233 edges, 4835 markings/sec, 225 secs
lola: 1490884 markings, 3828684 edges, 4790 markings/sec, 230 secs
lola: 1529375 markings, 3933122 edges, 7698 markings/sec, 235 secs
lola: 1553424 markings, 3996306 edges, 4810 markings/sec, 240 secs
lola: 1576974 markings, 4057796 edges, 4710 markings/sec, 245 secs
lola: 1613013 markings, 4160927 edges, 7208 markings/sec, 250 secs
lola: 1634074 markings, 4211199 edges, 4212 markings/sec, 255 secs
lola: 1653994 markings, 4265163 edges, 3984 markings/sec, 260 secs
lola: 1675168 markings, 4317846 edges, 4235 markings/sec, 265 secs
lola: 1695121 markings, 4372455 edges, 3991 markings/sec, 270 secs
lola: 1716881 markings, 4427253 edges, 4352 markings/sec, 275 secs
lola: 1736771 markings, 4478298 edges, 3978 markings/sec, 280 secs
lola: 1756387 markings, 4530274 edges, 3923 markings/sec, 285 secs
lola: 1777517 markings, 4584364 edges, 4226 markings/sec, 290 secs
lola: 1816411 markings, 4695144 edges, 7779 markings/sec, 295 secs
lola: 1838975 markings, 4749398 edges, 4513 markings/sec, 300 secs
lola: 1863185 markings, 4817520 edges, 4842 markings/sec, 305 secs
lola: 1887359 markings, 4885302 edges, 4835 markings/sec, 310 secs
lola: 1911739 markings, 4954491 edges, 4876 markings/sec, 315 secs
lola: 1935855 markings, 5021837 edges, 4823 markings/sec, 320 secs
lola: 1977242 markings, 5142292 edges, 8277 markings/sec, 325 secs
lola: 1999791 markings, 5190797 edges, 4510 markings/sec, 330 secs
lola: 2020345 markings, 5248039 edges, 4111 markings/sec, 335 secs
lola: 2043818 markings, 5311629 edges, 4695 markings/sec, 340 secs
lola: 2068161 markings, 5380105 edges, 4869 markings/sec, 345 secs
lola: 2092255 markings, 5447699 edges, 4819 markings/sec, 350 secs
lola: 2116416 markings, 5514908 edges, 4832 markings/sec, 355 secs
lola: 2140562 markings, 5583896 edges, 4829 markings/sec, 360 secs
lola: 2175335 markings, 5684600 edges, 6955 markings/sec, 365 secs
lola: 2202017 markings, 5754500 edges, 5336 markings/sec, 370 secs
lola: 2224901 markings, 5817029 edges, 4577 markings/sec, 375 secs
lola: 2248671 markings, 5883910 edges, 4754 markings/sec, 380 secs
lola: 2271750 markings, 5950376 edges, 4616 markings/sec, 385 secs
lola: 2294858 markings, 6015196 edges, 4622 markings/sec, 390 secs
lola: 2335541 markings, 6127882 edges, 8137 markings/sec, 395 secs
lola: 2358655 markings, 6195419 edges, 4623 markings/sec, 400 secs
lola: 2381427 markings, 6257698 edges, 4554 markings/sec, 405 secs
lola: 2403738 markings, 6320436 edges, 4462 markings/sec, 410 secs
lola: 2426691 markings, 6381758 edges, 4591 markings/sec, 415 secs
lola: 2458914 markings, 6474835 edges, 6445 markings/sec, 420 secs
lola: 2492187 markings, 6564530 edges, 6655 markings/sec, 425 secs
lola: 2515848 markings, 6629764 edges, 4732 markings/sec, 430 secs
lola: 2540675 markings, 6700277 edges, 4965 markings/sec, 435 secs
lola: 2565245 markings, 6769122 edges, 4914 markings/sec, 440 secs
lola: 2592780 markings, 6847787 edges, 5507 markings/sec, 445 secs
lola: 2628533 markings, 6943696 edges, 7151 markings/sec, 450 secs
lola: 2652851 markings, 7011893 edges, 4864 markings/sec, 455 secs
lola: 2677402 markings, 7081598 edges, 4910 markings/sec, 460 secs
lola: 2701742 markings, 7151150 edges, 4868 markings/sec, 465 secs
lola: 2729725 markings, 7230012 edges, 5597 markings/sec, 470 secs
lola: 2765003 markings, 7324979 edges, 7056 markings/sec, 475 secs
lola: 2789539 markings, 7393519 edges, 4907 markings/sec, 480 secs
lola: 2814555 markings, 7465010 edges, 5003 markings/sec, 485 secs
lola: 2838239 markings, 7531024 edges, 4737 markings/sec, 490 secs
lola: 2871534 markings, 7626749 edges, 6659 markings/sec, 495 secs
lola: 2902277 markings, 7709848 edges, 6149 markings/sec, 500 secs
lola: 2926757 markings, 7778561 edges, 4896 markings/sec, 505 secs
lola: 2950754 markings, 7847663 edges, 4799 markings/sec, 510 secs
lola: 2974525 markings, 7912681 edges, 4754 markings/sec, 515 secs
lola: 3010591 markings, 8016502 edges, 7213 markings/sec, 520 secs
lola: 3032852 markings, 8075505 edges, 4452 markings/sec, 525 secs
lola: 3055251 markings, 8137556 edges, 4480 markings/sec, 530 secs
lola: 3077060 markings, 8199762 edges, 4362 markings/sec, 535 secs
lola: 3100944 markings, 8265537 edges, 4777 markings/sec, 540 secs
lola: 3137684 markings, 8370477 edges, 7348 markings/sec, 545 secs
lola: 3157533 markings, 8422750 edges, 3970 markings/sec, 550 secs
lola: 3178080 markings, 8474401 edges, 4109 markings/sec, 555 secs
lola: 3194696 markings, 8520945 edges, 3323 markings/sec, 560 secs
lola: 3212385 markings, 8568860 edges, 3538 markings/sec, 565 secs
lola: 3233595 markings, 8620678 edges, 4242 markings/sec, 570 secs
lola: 3253630 markings, 8675072 edges, 4007 markings/sec, 575 secs
lola: 3271834 markings, 8725439 edges, 3641 markings/sec, 580 secs
lola: 3293625 markings, 8779596 edges, 4358 markings/sec, 585 secs
lola: 3314024 markings, 8838169 edges, 4080 markings/sec, 590 secs
lola: 3333299 markings, 8888327 edges, 3855 markings/sec, 595 secs
lola: 3354026 markings, 8942562 edges, 4145 markings/sec, 600 secs
lola: 3374374 markings, 8994820 edges, 4070 markings/sec, 605 secs
lola: 3394204 markings, 9050475 edges, 3966 markings/sec, 610 secs
lola: 3414724 markings, 9102786 edges, 4104 markings/sec, 615 secs
lola: 3452059 markings, 9210392 edges, 7467 markings/sec, 620 secs
lola: 3474748 markings, 9263806 edges, 4538 markings/sec, 625 secs
lola: 3496960 markings, 9333628 edges, 4442 markings/sec, 630 secs
lola: 3521721 markings, 9401655 edges, 4952 markings/sec, 635 secs
lola: 3545984 markings, 9469914 edges, 4853 markings/sec, 640 secs
lola: 3567787 markings, 9534358 edges, 4361 markings/sec, 645 secs
lola: 3588959 markings, 9596675 edges, 4234 markings/sec, 650 secs
lola: 3610520 markings, 9658211 edges, 4312 markings/sec, 655 secs
lola: 3642227 markings, 9751367 edges, 6341 markings/sec, 660 secs
lola: 3672849 markings, 9825921 edges, 6124 markings/sec, 665 secs
lola: 3694728 markings, 9884481 edges, 4376 markings/sec, 670 secs
lola: 3712968 markings, 9935659 edges, 3648 markings/sec, 675 secs
lola: 3731176 markings, 9987826 edges, 3642 markings/sec, 680 secs
lola: 3752255 markings, 10045635 edges, 4216 markings/sec, 685 secs
lola: 3775667 markings, 10114664 edges, 4682 markings/sec, 690 secs
lola: 3800400 markings, 10182644 edges, 4947 markings/sec, 695 secs
lola: 3823600 markings, 10251411 edges, 4640 markings/sec, 700 secs
lola: 3846035 markings, 10318835 edges, 4487 markings/sec, 705 secs
lola: 3869522 markings, 10386363 edges, 4697 markings/sec, 710 secs
lola: 3893954 markings, 10454761 edges, 4886 markings/sec, 715 secs
lola: 3930417 markings, 10561403 edges, 7293 markings/sec, 720 secs
lola: 3959160 markings, 10637062 edges, 5749 markings/sec, 725 secs
lola: 3982581 markings, 10705980 edges, 4684 markings/sec, 730 secs
lola: 4005402 markings, 10773623 edges, 4564 markings/sec, 735 secs
lola: 4028929 markings, 10839984 edges, 4705 markings/sec, 740 secs
lola: 4052802 markings, 10908817 edges, 4775 markings/sec, 745 secs
lola: 4076488 markings, 10978976 edges, 4737 markings/sec, 750 secs
lola: 4106744 markings, 11066360 edges, 6051 markings/sec, 755 secs
lola: 4140961 markings, 11156405 edges, 6843 markings/sec, 760 secs
lola: 4162825 markings, 11226000 edges, 4373 markings/sec, 765 secs
lola: 4187177 markings, 11293076 edges, 4870 markings/sec, 770 secs
lola: 4210911 markings, 11360168 edges, 4747 markings/sec, 775 secs
lola: 4233928 markings, 11426404 edges, 4603 markings/sec, 780 secs
lola: 4257492 markings, 11496158 edges, 4713 markings/sec, 785 secs
lola: 4281890 markings, 11567298 edges, 4880 markings/sec, 790 secs
lola: 4320899 markings, 11672224 edges, 7802 markings/sec, 795 secs
lola: 4341808 markings, 11737149 edges, 4182 markings/sec, 800 secs
lola: 4365110 markings, 11801134 edges, 4660 markings/sec, 805 secs
lola: 4386591 markings, 11862651 edges, 4296 markings/sec, 810 secs
lola: 4408150 markings, 11926670 edges, 4312 markings/sec, 815 secs
lola: 4431608 markings, 11993459 edges, 4692 markings/sec, 820 secs
lola: 4454893 markings, 12062054 edges, 4657 markings/sec, 825 secs
lola: 4493512 markings, 12167994 edges, 7724 markings/sec, 830 secs
lola: 4515550 markings, 12233476 edges, 4408 markings/sec, 835 secs
lola: 4537887 markings, 12295141 edges, 4467 markings/sec, 840 secs
lola: 4561175 markings, 12362996 edges, 4658 markings/sec, 845 secs
lola: 4584605 markings, 12431951 edges, 4686 markings/sec, 850 secs
lola: 4608696 markings, 12500744 edges, 4818 markings/sec, 855 secs
lola: 4629991 markings, 12563816 edges, 4259 markings/sec, 860 secs
lola: 4666755 markings, 12664073 edges, 7353 markings/sec, 865 secs
lola: 4687669 markings, 12726698 edges, 4183 markings/sec, 870 secs
lola: 4712467 markings, 12795882 edges, 4960 markings/sec, 875 secs
lola: 4736156 markings, 12863717 edges, 4738 markings/sec, 880 secs
lola: 4760052 markings, 12933281 edges, 4779 markings/sec, 885 secs
lola: 4783846 markings, 13003906 edges, 4759 markings/sec, 890 secs
lola: 4815825 markings, 13096533 edges, 6396 markings/sec, 895 secs
lola: 4846754 markings, 13179750 edges, 6186 markings/sec, 900 secs
lola: 4870234 markings, 13247697 edges, 4696 markings/sec, 905 secs
lola: 4893045 markings, 13317226 edges, 4562 markings/sec, 910 secs
lola: 4916842 markings, 13384962 edges, 4759 markings/sec, 915 secs
lola: 4941170 markings, 13454286 edges, 4866 markings/sec, 920 secs
lola: 4964344 markings, 13521664 edges, 4635 markings/sec, 925 secs
lola: 5002251 markings, 13624470 edges, 7581 markings/sec, 930 secs
lola: 5023775 markings, 13690681 edges, 4305 markings/sec, 935 secs
lola: 5047833 markings, 13758038 edges, 4812 markings/sec, 940 secs
lola: 5071562 markings, 13825601 edges, 4746 markings/sec, 945 secs
lola: 5094128 markings, 13891601 edges, 4513 markings/sec, 950 secs
lola: 5118219 markings, 13961373 edges, 4818 markings/sec, 955 secs
lola: 5155438 markings, 14068685 edges, 7444 markings/sec, 960 secs
lola: 5176672 markings, 14123774 edges, 4247 markings/sec, 965 secs
lola: 5198755 markings, 14178275 edges, 4417 markings/sec, 970 secs
lola: 5218004 markings, 14233036 edges, 3850 markings/sec, 975 secs
lola: 5236306 markings, 14284767 edges, 3660 markings/sec, 980 secs
lola: 5255035 markings, 14337404 edges, 3746 markings/sec, 985 secs
lola: 5274850 markings, 14392332 edges, 3963 markings/sec, 990 secs
lola: 5296278 markings, 14440539 edges, 4286 markings/sec, 995 secs
lola: 5315777 markings, 14495642 edges, 3900 markings/sec, 1000 secs
lola: 5333736 markings, 14546659 edges, 3592 markings/sec, 1005 secs
lola: 5352144 markings, 14597593 edges, 3682 markings/sec, 1010 secs
lola: 5373082 markings, 14651204 edges, 4188 markings/sec, 1015 secs
lola: 5393572 markings, 14704885 edges, 4098 markings/sec, 1020 secs
lola: 5412057 markings, 14757242 edges, 3697 markings/sec, 1025 secs
lola: 5430024 markings, 14806231 edges, 3593 markings/sec, 1030 secs
lola: 5451396 markings, 14859576 edges, 4274 markings/sec, 1035 secs
lola: 5471386 markings, 14917022 edges, 3998 markings/sec, 1040 secs
lola: 5488751 markings, 14963928 edges, 3473 markings/sec, 1045 secs
lola: 5510267 markings, 15019534 edges, 4303 markings/sec, 1050 secs
lola: 5528600 markings, 15071420 edges, 3667 markings/sec, 1055 secs
lola: 5548167 markings, 15121679 edges, 3913 markings/sec, 1060 secs
lola: 5567521 markings, 15174008 edges, 3871 markings/sec, 1065 secs
lola: 5605508 markings, 15282730 edges, 7597 markings/sec, 1070 secs
lola: 5625382 markings, 15329450 edges, 3975 markings/sec, 1075 secs
lola: 5648872 markings, 15399156 edges, 4698 markings/sec, 1080 secs
lola: 5672316 markings, 15468703 edges, 4689 markings/sec, 1085 secs
lola: 5695623 markings, 15536333 edges, 4661 markings/sec, 1090 secs
lola: 5719277 markings, 15604342 edges, 4731 markings/sec, 1095 secs
lola: 5741868 markings, 15674369 edges, 4518 markings/sec, 1100 secs
lola: 5766378 markings, 15744874 edges, 4902 markings/sec, 1105 secs
lola: 5790698 markings, 15816376 edges, 4864 markings/sec, 1110 secs
lola: 5814191 markings, 15887331 edges, 4699 markings/sec, 1115 secs
lola: 5856168 markings, 16008421 edges, 8395 markings/sec, 1120 secs
lola: 5877457 markings, 16052719 edges, 4258 markings/sec, 1125 secs
lola: 5898799 markings, 16110872 edges, 4268 markings/sec, 1130 secs
lola: 5916290 markings, 16160630 edges, 3498 markings/sec, 1135 secs
lola: 5934950 markings, 16215938 edges, 3732 markings/sec, 1140 secs
lola: 5952106 markings, 16263313 edges, 3431 markings/sec, 1145 secs
lola: 5970340 markings, 16316289 edges, 3647 markings/sec, 1150 secs
lola: 5987479 markings, 16363696 edges, 3428 markings/sec, 1155 secs
lola: 6013568 markings, 16434991 edges, 5218 markings/sec, 1160 secs
lola: 6035320 markings, 16504238 edges, 4350 markings/sec, 1165 secs
lola: 6060856 markings, 16574765 edges, 5107 markings/sec, 1170 secs
lola: 6084430 markings, 16647411 edges, 4715 markings/sec, 1175 secs
lola: 6107987 markings, 16715727 edges, 4711 markings/sec, 1180 secs
lola: 6132470 markings, 16786309 edges, 4897 markings/sec, 1185 secs
lola: 6154566 markings, 16851129 edges, 4419 markings/sec, 1190 secs
lola: 6175962 markings, 16915097 edges, 4279 markings/sec, 1195 secs
lola: 6205352 markings, 17001645 edges, 5878 markings/sec, 1200 secs
lola: 6239148 markings, 17090626 edges, 6759 markings/sec, 1205 secs
lola: 6261155 markings, 17160014 edges, 4401 markings/sec, 1210 secs
lola: 6285006 markings, 17226082 edges, 4770 markings/sec, 1215 secs
lola: 6304841 markings, 17288363 edges, 3967 markings/sec, 1220 secs
lola: 6326390 markings, 17348007 edges, 4310 markings/sec, 1225 secs
lola: 6346264 markings, 17410944 edges, 3975 markings/sec, 1230 secs
lola: 6368366 markings, 17474096 edges, 4420 markings/sec, 1235 secs
lola: 6389383 markings, 17535764 edges, 4203 markings/sec, 1240 secs
lola: 6411529 markings, 17602280 edges, 4429 markings/sec, 1245 secs
lola: 6451893 markings, 17718536 edges, 8073 markings/sec, 1250 secs
lola: 6476288 markings, 17782786 edges, 4879 markings/sec, 1255 secs
lola: 6499353 markings, 17856456 edges, 4613 markings/sec, 1260 secs
lola: 6524396 markings, 17925803 edges, 5009 markings/sec, 1265 secs
lola: 6548674 markings, 17995589 edges, 4856 markings/sec, 1270 secs
lola: 6571662 markings, 18066978 edges, 4598 markings/sec, 1275 secs
lola: 6596303 markings, 18138608 edges, 4928 markings/sec, 1280 secs
lola: 6620190 markings, 18209082 edges, 4777 markings/sec, 1285 secs
lola: 6644948 markings, 18281894 edges, 4952 markings/sec, 1290 secs
lola: 6685205 markings, 18390041 edges, 8051 markings/sec, 1295 secs
lola: 6707434 markings, 18458286 edges, 4446 markings/sec, 1300 secs
lola: 6732744 markings, 18529561 edges, 5062 markings/sec, 1305 secs
lola: 6756002 markings, 18602330 edges, 4652 markings/sec, 1310 secs
lola: 6780817 markings, 18673229 edges, 4963 markings/sec, 1315 secs
lola: 6805193 markings, 18743984 edges, 4875 markings/sec, 1320 secs
lola: 6828704 markings, 18813559 edges, 4702 markings/sec, 1325 secs
lola: 6849497 markings, 18876090 edges, 4159 markings/sec, 1330 secs
lola: 6884685 markings, 18978033 edges, 7038 markings/sec, 1335 secs
lola: 6909214 markings, 19042571 edges, 4906 markings/sec, 1340 secs
lola: 6930196 markings, 19108408 edges, 4196 markings/sec, 1345 secs
lola: 6953246 markings, 19172226 edges, 4610 markings/sec, 1350 secs
lola: 6973727 markings, 19237242 edges, 4096 markings/sec, 1355 secs
lola: 6996942 markings, 19302449 edges, 4643 markings/sec, 1360 secs
lola: 7018680 markings, 19365461 edges, 4348 markings/sec, 1365 secs
lola: 7039291 markings, 19426579 edges, 4122 markings/sec, 1370 secs
lola: 7059985 markings, 19488439 edges, 4139 markings/sec, 1375 secs
lola: 7093846 markings, 19586945 edges, 6772 markings/sec, 1380 secs
lola: 7119449 markings, 19654675 edges, 5121 markings/sec, 1385 secs
lola: 7139093 markings, 19716295 edges, 3929 markings/sec, 1390 secs
lola: 7161106 markings, 19777243 edges, 4403 markings/sec, 1395 secs
lola: 7181179 markings, 19840589 edges, 4015 markings/sec, 1400 secs
lola: 7202957 markings, 19901934 edges, 4356 markings/sec, 1405 secs
lola: 7225111 markings, 19965879 edges, 4431 markings/sec, 1410 secs
lola: 7247371 markings, 20032263 edges, 4452 markings/sec, 1415 secs
lola: 7268141 markings, 20094823 edges, 4154 markings/sec, 1420 secs
lola: 7304291 markings, 20199863 edges, 7230 markings/sec, 1425 secs
lola: 7326655 markings, 20258193 edges, 4473 markings/sec, 1430 secs
lola: 7345872 markings, 20319389 edges, 3843 markings/sec, 1435 secs
lola: 7369034 markings, 20383390 edges, 4632 markings/sec, 1440 secs
lola: 7393432 markings, 20455427 edges, 4880 markings/sec, 1445 secs
lola: 7416405 markings, 20526053 edges, 4595 markings/sec, 1450 secs
lola: 7440919 markings, 20597711 edges, 4903 markings/sec, 1455 secs
lola: 7465558 markings, 20668824 edges, 4928 markings/sec, 1460 secs
lola: 7503473 markings, 20779682 edges, 7583 markings/sec, 1465 secs
lola: 7527700 markings, 20844465 edges, 4845 markings/sec, 1470 secs
lola: 7551588 markings, 20916721 edges, 4778 markings/sec, 1475 secs
lola: 7574649 markings, 20984168 edges, 4612 markings/sec, 1480 secs
lola: 7599150 markings, 21054171 edges, 4900 markings/sec, 1485 secs
lola: 7622160 markings, 21122367 edges, 4602 markings/sec, 1490 secs
lola: 7645175 markings, 21190608 edges, 4603 markings/sec, 1495 secs
lola: 7668306 markings, 21260632 edges, 4626 markings/sec, 1500 secs
lola: 7703566 markings, 21361412 edges, 7052 markings/sec, 1505 secs
lola: 7722538 markings, 21413140 edges, 3794 markings/sec, 1510 secs
lola: 7743516 markings, 21459035 edges, 4196 markings/sec, 1515 secs
lola: 7763587 markings, 21516062 edges, 4014 markings/sec, 1520 secs
lola: 7782469 markings, 21572416 edges, 3776 markings/sec, 1525 secs
lola: 7798377 markings, 21615894 edges, 3182 markings/sec, 1530 secs
lola: 7816751 markings, 21669090 edges, 3675 markings/sec, 1535 secs
lola: 7833991 markings, 21717465 edges, 3448 markings/sec, 1540 secs
lola: 7850872 markings, 21761339 edges, 3376 markings/sec, 1545 secs
lola: 7870874 markings, 21817897 edges, 4000 markings/sec, 1550 secs
lola: 7891553 markings, 21863153 edges, 4136 markings/sec, 1555 secs
lola: 7910944 markings, 21917970 edges, 3878 markings/sec, 1560 secs
lola: 7929265 markings, 21972035 edges, 3664 markings/sec, 1565 secs
lola: 7947784 markings, 22025672 edges, 3704 markings/sec, 1570 secs
lola: 7963767 markings, 22067856 edges, 3197 markings/sec, 1575 secs
lola: 7981225 markings, 22116016 edges, 3492 markings/sec, 1580 secs
lola: 7999672 markings, 22167532 edges, 3689 markings/sec, 1585 secs
lola: 8019573 markings, 22212400 edges, 3980 markings/sec, 1590 secs
lola: 8038271 markings, 22265857 edges, 3740 markings/sec, 1595 secs
lola: 8054960 markings, 22313765 edges, 3338 markings/sec, 1600 secs
lola: 8072119 markings, 22362364 edges, 3432 markings/sec, 1605 secs
lola: 8088939 markings, 22408755 edges, 3364 markings/sec, 1610 secs
lola: 8106587 markings, 22457078 edges, 3530 markings/sec, 1615 secs
lola: 8126406 markings, 22504969 edges, 3964 markings/sec, 1620 secs
lola: 8143316 markings, 22553800 edges, 3382 markings/sec, 1625 secs
lola: 8159704 markings, 22599984 edges, 3278 markings/sec, 1630 secs
lola: 8176009 markings, 22644201 edges, 3261 markings/sec, 1635 secs
lola: 8194693 markings, 22691162 edges, 3737 markings/sec, 1640 secs
lola: 8212607 markings, 22741885 edges, 3583 markings/sec, 1645 secs
lola: 8228181 markings, 22785191 edges, 3115 markings/sec, 1650 secs
lola: 8245411 markings, 22832581 edges, 3446 markings/sec, 1655 secs
lola: 8263271 markings, 22879144 edges, 3572 markings/sec, 1660 secs
lola: 8280411 markings, 22926152 edges, 3428 markings/sec, 1665 secs
lola: 8314185 markings, 23020052 edges, 6755 markings/sec, 1670 secs
lola: 8335170 markings, 23075445 edges, 4197 markings/sec, 1675 secs
lola: 8352971 markings, 23119777 edges, 3560 markings/sec, 1680 secs
lola: 8373102 markings, 23179634 edges, 4026 markings/sec, 1685 secs
lola: 8393259 markings, 23243620 edges, 4031 markings/sec, 1690 secs
lola: 8416578 markings, 23307437 edges, 4664 markings/sec, 1695 secs
lola: 8435810 markings, 23367514 edges, 3846 markings/sec, 1700 secs
lola: 8456173 markings, 23432046 edges, 4073 markings/sec, 1705 secs
lola: 8477867 markings, 23492206 edges, 4339 markings/sec, 1710 secs
lola: 8497318 markings, 23553801 edges, 3890 markings/sec, 1715 secs
lola: 8518629 markings, 23613636 edges, 4262 markings/sec, 1720 secs
lola: 8539258 markings, 23674810 edges, 4126 markings/sec, 1725 secs
lola: 8559120 markings, 23736608 edges, 3972 markings/sec, 1730 secs
lola: 8579989 markings, 23798914 edges, 4174 markings/sec, 1735 secs
lola: 8612197 markings, 23891573 edges, 6442 markings/sec, 1740 secs
lola: 8636259 markings, 23951750 edges, 4812 markings/sec, 1745 secs
lola: 8655739 markings, 23995451 edges, 3896 markings/sec, 1750 secs
lola: 8673142 markings, 24045023 edges, 3481 markings/sec, 1755 secs
lola: 8688921 markings, 24090268 edges, 3156 markings/sec, 1760 secs
lola: 8705621 markings, 24141877 edges, 3340 markings/sec, 1765 secs
lola: 8719354 markings, 24179959 edges, 2747 markings/sec, 1770 secs
lola: 8733545 markings, 24219986 edges, 2838 markings/sec, 1775 secs
lola: 8749543 markings, 24268066 edges, 3200 markings/sec, 1780 secs
lola: 8762642 markings, 24303924 edges, 2620 markings/sec, 1785 secs
lola: 8778555 markings, 24350630 edges, 3183 markings/sec, 1790 secs
lola: 8793198 markings, 24390392 edges, 2929 markings/sec, 1795 secs
lola: 8806773 markings, 24426249 edges, 2715 markings/sec, 1800 secs
lola: 8827949 markings, 24483382 edges, 4235 markings/sec, 1805 secs
lola: 8848001 markings, 24544362 edges, 4010 markings/sec, 1810 secs
lola: 8867978 markings, 24607737 edges, 3995 markings/sec, 1815 secs
lola: 8890595 markings, 24669516 edges, 4523 markings/sec, 1820 secs
lola: 8910497 markings, 24732027 edges, 3980 markings/sec, 1825 secs
lola: 8931914 markings, 24794020 edges, 4283 markings/sec, 1830 secs
lola: 8951050 markings, 24852157 edges, 3827 markings/sec, 1835 secs
lola: 8972541 markings, 24915829 edges, 4298 markings/sec, 1840 secs
lola: 8992961 markings, 24977742 edges, 4084 markings/sec, 1845 secs
lola: 9013988 markings, 25039036 edges, 4205 markings/sec, 1850 secs
lola: 9034890 markings, 25101700 edges, 4180 markings/sec, 1855 secs
lola: 9054914 markings, 25163045 edges, 4005 markings/sec, 1860 secs
lola: 9091799 markings, 25268080 edges, 7377 markings/sec, 1865 secs
lola: 9114692 markings, 25327811 edges, 4579 markings/sec, 1870 secs
lola: 9134829 markings, 25391783 edges, 4027 markings/sec, 1875 secs
lola: 9157495 markings, 25456078 edges, 4533 markings/sec, 1880 secs
lola: 9177352 markings, 25516204 edges, 3971 markings/sec, 1885 secs
lola: 9197074 markings, 25579146 edges, 3944 markings/sec, 1890 secs
lola: 9221413 markings, 25647238 edges, 4868 markings/sec, 1895 secs
lola: 9243227 markings, 25713909 edges, 4363 markings/sec, 1900 secs
lola: 9263558 markings, 25774062 edges, 4066 markings/sec, 1905 secs
lola: 9284299 markings, 25834476 edges, 4148 markings/sec, 1910 secs
lola: 9305125 markings, 25897127 edges, 4165 markings/sec, 1915 secs
lola: 9325445 markings, 25959606 edges, 4064 markings/sec, 1920 secs
lola: 9362055 markings, 26060950 edges, 7322 markings/sec, 1925 secs
lola: 9383096 markings, 26118256 edges, 4208 markings/sec, 1930 secs
lola: 9405165 markings, 26188608 edges, 4414 markings/sec, 1935 secs
lola: 9429264 markings, 26254846 edges, 4820 markings/sec, 1940 secs
lola: 9451539 markings, 26325048 edges, 4455 markings/sec, 1945 secs
lola: 9475380 markings, 26392918 edges, 4768 markings/sec, 1950 secs
lola: 9497918 markings, 26464028 edges, 4508 markings/sec, 1955 secs
lola: 9519470 markings, 26525319 edges, 4310 markings/sec, 1960 secs
lola: 9540279 markings, 26589965 edges, 4162 markings/sec, 1965 secs
lola: 9561802 markings, 26654650 edges, 4305 markings/sec, 1970 secs
lola: 9583402 markings, 26717804 edges, 4320 markings/sec, 1975 secs
lola: 9619579 markings, 26822216 edges, 7235 markings/sec, 1980 secs
lola: 9641415 markings, 26878102 edges, 4367 markings/sec, 1985 secs
lola: 9661026 markings, 26940295 edges, 3922 markings/sec, 1990 secs
lola: 9682618 markings, 27002876 edges, 4318 markings/sec, 1995 secs
lola: 9702380 markings, 27061466 edges, 3952 markings/sec, 2000 secs
lola: 9721508 markings, 27122436 edges, 3826 markings/sec, 2005 secs
lola: 9742778 markings, 27181636 edges, 4254 markings/sec, 2010 secs
lola: 9762743 markings, 27245023 edges, 3993 markings/sec, 2015 secs
lola: 9783640 markings, 27304502 edges, 4179 markings/sec, 2020 secs
lola: 9805827 markings, 27369733 edges, 4437 markings/sec, 2025 secs
lola: 9826509 markings, 27432136 edges, 4136 markings/sec, 2030 secs
lola: 9849777 markings, 27502414 edges, 4654 markings/sec, 2035 secs
lola: 9883435 markings, 27591252 edges, 6732 markings/sec, 2040 secs
lola: 9903337 markings, 27651216 edges, 3980 markings/sec, 2045 secs
lola: 9923073 markings, 27713673 edges, 3947 markings/sec, 2050 secs
lola: 9944589 markings, 27772597 edges, 4303 markings/sec, 2055 secs
lola: 9964344 markings, 27834758 edges, 3951 markings/sec, 2060 secs
lola: 9985642 markings, 27895421 edges, 4260 markings/sec, 2065 secs
lola: 10005497 markings, 27957232 edges, 3971 markings/sec, 2070 secs
lola: 10026631 markings, 28018187 edges, 4227 markings/sec, 2075 secs
lola: 10046636 markings, 28081631 edges, 4001 markings/sec, 2080 secs
lola: 10067334 markings, 28142183 edges, 4140 markings/sec, 2085 secs
lola: 10088024 markings, 28203346 edges, 4138 markings/sec, 2090 secs
lola: 10122709 markings, 28302164 edges, 6937 markings/sec, 2095 secs
lola: 10144178 markings, 28358913 edges, 4294 markings/sec, 2100 secs
lola: 10163249 markings, 28419536 edges, 3814 markings/sec, 2105 secs
lola: 10185174 markings, 28481215 edges, 4385 markings/sec, 2110 secs
lola: 10204374 markings, 28540248 edges, 3840 markings/sec, 2115 secs
lola: 10225008 markings, 28603522 edges, 4127 markings/sec, 2120 secs
lola: 10245257 markings, 28661900 edges, 4050 markings/sec, 2125 secs
lola: 10266352 markings, 28724135 edges, 4219 markings/sec, 2130 secs
lola: 10286296 markings, 28786123 edges, 3989 markings/sec, 2135 secs
lola: 10306960 markings, 28846684 edges, 4133 markings/sec, 2140 secs
lola: 10328735 markings, 28911989 edges, 4355 markings/sec, 2145 secs
lola: 10364140 markings, 29012267 edges, 7081 markings/sec, 2150 secs
lola: 10385384 markings, 29069446 edges, 4249 markings/sec, 2155 secs
lola: 10405080 markings, 29132203 edges, 3939 markings/sec, 2160 secs
lola: 10426821 markings, 29192304 edges, 4348 markings/sec, 2165 secs
lola: 10446773 markings, 29255042 edges, 3990 markings/sec, 2170 secs
lola: 10468164 markings, 29316706 edges, 4278 markings/sec, 2175 secs
lola: 10489445 markings, 29382168 edges, 4256 markings/sec, 2180 secs
lola: 10511700 markings, 29446673 edges, 4451 markings/sec, 2185 secs
lola: 10532473 markings, 29509244 edges, 4155 markings/sec, 2190 secs
lola: 10552907 markings, 29570676 edges, 4087 markings/sec, 2195 secs
lola: 10583775 markings, 29661511 edges, 6174 markings/sec, 2200 secs
lola: 10611965 markings, 29735272 edges, 5638 markings/sec, 2205 secs
lola: 10631989 markings, 29798980 edges, 4005 markings/sec, 2210 secs
lola: 10653400 markings, 29862399 edges, 4282 markings/sec, 2215 secs
lola: 10674859 markings, 29925108 edges, 4292 markings/sec, 2220 secs
lola: 10695920 markings, 29990742 edges, 4212 markings/sec, 2225 secs
lola: 10716313 markings, 30049141 edges, 4079 markings/sec, 2230 secs
lola: 10738003 markings, 30112456 edges, 4338 markings/sec, 2235 secs
lola: 10758375 markings, 30176820 edges, 4074 markings/sec, 2240 secs
lola: 10780327 markings, 30241968 edges, 4390 markings/sec, 2245 secs
lola: 10805857 markings, 30316352 edges, 5106 markings/sec, 2250 secs
lola: 10833939 markings, 30397184 edges, 5616 markings/sec, 2255 secs
lola: 10849504 markings, 30439420 edges, 3113 markings/sec, 2260 secs
lola: 10866107 markings, 30474843 edges, 3321 markings/sec, 2265 secs
lola: 10883437 markings, 30517795 edges, 3466 markings/sec, 2270 secs
lola: 10900374 markings, 30567273 edges, 3387 markings/sec, 2275 secs
lola: 10915121 markings, 30610272 edges, 2949 markings/sec, 2280 secs
lola: 10930340 markings, 30655010 edges, 3044 markings/sec, 2285 secs
lola: 10945201 markings, 30696977 edges, 2972 markings/sec, 2290 secs
lola: 10960389 markings, 30741959 edges, 3038 markings/sec, 2295 secs
lola: 10973743 markings, 30778214 edges, 2671 markings/sec, 2300 secs
lola: 10990064 markings, 30826169 edges, 3264 markings/sec, 2305 secs
lola: 11003391 markings, 30861254 edges, 2665 markings/sec, 2310 secs
lola: 11019743 markings, 30908838 edges, 3270 markings/sec, 2315 secs
lola: 11035201 markings, 30947017 edges, 3092 markings/sec, 2320 secs
lola: 11054724 markings, 31002287 edges, 3905 markings/sec, 2325 secs
lola: 11072731 markings, 31042683 edges, 3601 markings/sec, 2330 secs
lola: 11093251 markings, 31096654 edges, 4104 markings/sec, 2335 secs
lola: 11110307 markings, 31145902 edges, 3411 markings/sec, 2340 secs
lola: 11127251 markings, 31195761 edges, 3389 markings/sec, 2345 secs
lola: 11144720 markings, 31247252 edges, 3494 markings/sec, 2350 secs
lola: 11160074 markings, 31289434 edges, 3071 markings/sec, 2355 secs
lola: 11177747 markings, 31340390 edges, 3535 markings/sec, 2360 secs
lola: 11192894 markings, 31380260 edges, 3029 markings/sec, 2365 secs
lola: 11210566 markings, 31428939 edges, 3534 markings/sec, 2370 secs
lola: 11229280 markings, 31480338 edges, 3743 markings/sec, 2375 secs
lola: 11246953 markings, 31521525 edges, 3535 markings/sec, 2380 secs
lola: 11266618 markings, 31573570 edges, 3933 markings/sec, 2385 secs
lola: 11284361 markings, 31626600 edges, 3549 markings/sec, 2390 secs
lola: 11299407 markings, 31668586 edges, 3009 markings/sec, 2395 secs
lola: 11316174 markings, 31716984 edges, 3353 markings/sec, 2400 secs
lola: 11332814 markings, 31764705 edges, 3328 markings/sec, 2405 secs
lola: 11347713 markings, 31804664 edges, 2980 markings/sec, 2410 secs
lola: 11362943 markings, 31845243 edges, 3046 markings/sec, 2415 secs
lola: 11379558 markings, 31891769 edges, 3323 markings/sec, 2420 secs
lola: 11396803 markings, 31930693 edges, 3449 markings/sec, 2425 secs
lola: 11413726 markings, 31979343 edges, 3385 markings/sec, 2430 secs
lola: 11430034 markings, 32026616 edges, 3262 markings/sec, 2435 secs
lola: 11445217 markings, 32070038 edges, 3037 markings/sec, 2440 secs
lola: 11460111 markings, 32111889 edges, 2979 markings/sec, 2445 secs
lola: 11474974 markings, 32152711 edges, 2973 markings/sec, 2450 secs
lola: 11490933 markings, 32196275 edges, 3192 markings/sec, 2455 secs
lola: 11509728 markings, 32242074 edges, 3759 markings/sec, 2460 secs
lola: 11526322 markings, 32290038 edges, 3319 markings/sec, 2465 secs
lola: 11541246 markings, 32332302 edges, 2985 markings/sec, 2470 secs
lola: 11557180 markings, 32377523 edges, 3187 markings/sec, 2475 secs
lola: 11572603 markings, 32418487 edges, 3085 markings/sec, 2480 secs
lola: 11589640 markings, 32462815 edges, 3407 markings/sec, 2485 secs
lola: 11605713 markings, 32508172 edges, 3215 markings/sec, 2490 secs
lola: 11621425 markings, 32549146 edges, 3142 markings/sec, 2495 secs
lola: 11645083 markings, 32614617 edges, 4732 markings/sec, 2500 secs
lola: 11676821 markings, 32700499 edges, 6348 markings/sec, 2505 secs
lola: 11692913 markings, 32746053 edges, 3218 markings/sec, 2510 secs
lola: 11715587 markings, 32804479 edges, 4535 markings/sec, 2515 secs
lola: 11737482 markings, 32872950 edges, 4379 markings/sec, 2520 secs
lola: 11759552 markings, 32943383 edges, 4414 markings/sec, 2525 secs
lola: 11784718 markings, 33012120 edges, 5033 markings/sec, 2530 secs
lola: 11805922 markings, 33079775 edges, 4241 markings/sec, 2535 secs
lola: 11829891 markings, 33150378 edges, 4794 markings/sec, 2540 secs
lola: 11850987 markings, 33213390 edges, 4219 markings/sec, 2545 secs
lola: 11873521 markings, 33285075 edges, 4507 markings/sec, 2550 secs
lola: 11896167 markings, 33349262 edges, 4529 markings/sec, 2555 secs
lola: 11919659 markings, 33420193 edges, 4698 markings/sec, 2560 secs
lola: 11940561 markings, 33484250 edges, 4180 markings/sec, 2565 secs
lola: 11963219 markings, 33552287 edges, 4532 markings/sec, 2570 secs
lola: 11986282 markings, 33621922 edges, 4613 markings/sec, 2575 secs
lola: 12023762 markings, 33723909 edges, 7496 markings/sec, 2580 secs
lola: 12043653 markings, 33765901 edges, 3978 markings/sec, 2585 secs
lola: 12061891 markings, 33813153 edges, 3648 markings/sec, 2590 secs
lola: 12080201 markings, 33867077 edges, 3662 markings/sec, 2595 secs
lola: 12097002 markings, 33916528 edges, 3360 markings/sec, 2600 secs
lola: 12114063 markings, 33968146 edges, 3412 markings/sec, 2605 secs
lola: 12129744 markings, 34012807 edges, 3136 markings/sec, 2610 secs
lola: 12146432 markings, 34062891 edges, 3338 markings/sec, 2615 secs
lola: 12162730 markings, 34109181 edges, 3260 markings/sec, 2620 secs
lola: 12177957 markings, 34152025 edges, 3045 markings/sec, 2625 secs
lola: 12196002 markings, 34205780 edges, 3609 markings/sec, 2630 secs
lola: 12210770 markings, 34246193 edges, 2954 markings/sec, 2635 secs
lola: 12225380 markings, 34285999 edges, 2922 markings/sec, 2640 secs
lola: 12243921 markings, 34340041 edges, 3708 markings/sec, 2645 secs
lola: 12258809 markings, 34379233 edges, 2978 markings/sec, 2650 secs
lola: 12274716 markings, 34423510 edges, 3181 markings/sec, 2655 secs
lola: 12299396 markings, 34490543 edges, 4936 markings/sec, 2660 secs
lola: 12320755 markings, 34558127 edges, 4272 markings/sec, 2665 secs
lola: 12343347 markings, 34630185 edges, 4518 markings/sec, 2670 secs
lola: 12367518 markings, 34695910 edges, 4834 markings/sec, 2675 secs
lola: 12390181 markings, 34767597 edges, 4533 markings/sec, 2680 secs
lola: 12413434 markings, 34834506 edges, 4651 markings/sec, 2685 secs
lola: 12435236 markings, 34901618 edges, 4360 markings/sec, 2690 secs
lola: 12457953 markings, 34970696 edges, 4543 markings/sec, 2695 secs
lola: 12479444 markings, 35034589 edges, 4298 markings/sec, 2700 secs
lola: 12502449 markings, 35102153 edges, 4601 markings/sec, 2705 secs
lola: 12524392 markings, 35171895 edges, 4389 markings/sec, 2710 secs
lola: 12547510 markings, 35240517 edges, 4624 markings/sec, 2715 secs
lola: 12582482 markings, 35342023 edges, 6994 markings/sec, 2720 secs
lola: 12609446 markings, 35410354 edges, 5393 markings/sec, 2725 secs
lola: 12630515 markings, 35476703 edges, 4214 markings/sec, 2730 secs
lola: 12653038 markings, 35547818 edges, 4505 markings/sec, 2735 secs
lola: 12676695 markings, 35612724 edges, 4731 markings/sec, 2740 secs
lola: 12698042 markings, 35680079 edges, 4269 markings/sec, 2745 secs
lola: 12720529 markings, 35751267 edges, 4497 markings/sec, 2750 secs
lola: 12743247 markings, 35814614 edges, 4544 markings/sec, 2755 secs
lola: 12764970 markings, 35883784 edges, 4345 markings/sec, 2760 secs
lola: 12788084 markings, 35949926 edges, 4623 markings/sec, 2765 secs
lola: 12811487 markings, 36020275 edges, 4681 markings/sec, 2770 secs
lola: 12833404 markings, 36088218 edges, 4383 markings/sec, 2775 secs
lola: 12855946 markings, 36156169 edges, 4508 markings/sec, 2780 secs
lola: 12891871 markings, 36260559 edges, 7185 markings/sec, 2785 secs
lola: 12918020 markings, 36326061 edges, 5230 markings/sec, 2790 secs
lola: 12938410 markings, 36390741 edges, 4078 markings/sec, 2795 secs
lola: 12959993 markings, 36458984 edges, 4317 markings/sec, 2800 secs
lola: 12982836 markings, 36521147 edges, 4569 markings/sec, 2805 secs
lola: 13003973 markings, 36587845 edges, 4227 markings/sec, 2810 secs
lola: 13025538 markings, 36656952 edges, 4313 markings/sec, 2815 secs
lola: 13048111 markings, 36719335 edges, 4515 markings/sec, 2820 secs
lola: 13069246 markings, 36786481 edges, 4227 markings/sec, 2825 secs
lola: 13091761 markings, 36850862 edges, 4503 markings/sec, 2830 secs
lola: 13113841 markings, 36918940 edges, 4416 markings/sec, 2835 secs
lola: 13135062 markings, 36983276 edges, 4244 markings/sec, 2840 secs
lola: 13157888 markings, 37052085 edges, 4565 markings/sec, 2845 secs
lola: 13193528 markings, 37154765 edges, 7128 markings/sec, 2850 secs
lola: 13219605 markings, 37221665 edges, 5215 markings/sec, 2855 secs
lola: 13241260 markings, 37289915 edges, 4331 markings/sec, 2860 secs
lola: 13262897 markings, 37358616 edges, 4327 markings/sec, 2865 secs
lola: 13287032 markings, 37424853 edges, 4827 markings/sec, 2870 secs
lola: 13308474 markings, 37493478 edges, 4288 markings/sec, 2875 secs
lola: 13330550 markings, 37557017 edges, 4415 markings/sec, 2880 secs
lola: 13351800 markings, 37622020 edges, 4250 markings/sec, 2885 secs
lola: 13373812 markings, 37688913 edges, 4402 markings/sec, 2890 secs
lola: 13395245 markings, 37753171 edges, 4287 markings/sec, 2895 secs
lola: 13418241 markings, 37821084 edges, 4599 markings/sec, 2900 secs
lola: 13441011 markings, 37890101 edges, 4554 markings/sec, 2905 secs
lola: 13463859 markings, 37960487 edges, 4570 markings/sec, 2910 secs
lola: 13502988 markings, 38064388 edges, 7826 markings/sec, 2915 secs
lola: 13525231 markings, 38131139 edges, 4449 markings/sec, 2920 secs
lola: 13547118 markings, 38201030 edges, 4377 markings/sec, 2925 secs
lola: 13571917 markings, 38269879 edges, 4960 markings/sec, 2930 secs
lola: 13594246 markings, 38340256 edges, 4466 markings/sec, 2935 secs
lola: 13618334 markings, 38412928 edges, 4818 markings/sec, 2940 secs
lola: 13640953 markings, 38480539 edges, 4524 markings/sec, 2945 secs
lola: 13665032 markings, 38551945 edges, 4816 markings/sec, 2950 secs
lola: 13687552 markings, 38621351 edges, 4504 markings/sec, 2955 secs
lola: 13710769 markings, 38690336 edges, 4643 markings/sec, 2960 secs
lola: 13734292 markings, 38761751 edges, 4705 markings/sec, 2965 secs
lola: 13769697 markings, 38865648 edges, 7081 markings/sec, 2970 secs
lola: 13796537 markings, 38934525 edges, 5368 markings/sec, 2975 secs
lola: 13818530 markings, 39003719 edges, 4399 markings/sec, 2980 secs
lola: 13841142 markings, 39076090 edges, 4522 markings/sec, 2985 secs
lola: 13865124 markings, 39142224 edges, 4796 markings/sec, 2990 secs
lola: 13887603 markings, 39213485 edges, 4496 markings/sec, 2995 secs
lola: 13912138 markings, 39282820 edges, 4907 markings/sec, 3000 secs
lola: 13934239 markings, 39353302 edges, 4420 markings/sec, 3005 secs
lola: 13958216 markings, 39422666 edges, 4795 markings/sec, 3010 secs
lola: 13981621 markings, 39493178 edges, 4681 markings/sec, 3015 secs
lola: 14004675 markings, 39563862 edges, 4611 markings/sec, 3020 secs
lola: 14029325 markings, 39638460 edges, 4930 markings/sec, 3025 secs
lola: 14065821 markings, 39734805 edges, 7299 markings/sec, 3030 secs
lola: 14087466 markings, 39800830 edges, 4329 markings/sec, 3035 secs
lola: 14110397 markings, 39873530 edges, 4586 markings/sec, 3040 secs
lola: 14135045 markings, 39942415 edges, 4930 markings/sec, 3045 secs
lola: 14156806 markings, 40011566 edges, 4352 markings/sec, 3050 secs
lola: 14180656 markings, 40079867 edges, 4770 markings/sec, 3055 secs
lola: 14203078 markings, 40150327 edges, 4484 markings/sec, 3060 secs
lola: 14227138 markings, 40219982 edges, 4812 markings/sec, 3065 secs
lola: 14249438 markings, 40291187 edges, 4460 markings/sec, 3070 secs
lola: 14272807 markings, 40360568 edges, 4674 markings/sec, 3075 secs
lola: 14296508 markings, 40431826 edges, 4740 markings/sec, 3080 secs
lola: 14334324 markings, 40532104 edges, 7563 markings/sec, 3085 secs
lola: 14356095 markings, 40598345 edges, 4354 markings/sec, 3090 secs
lola: 14378828 markings, 40670392 edges, 4547 markings/sec, 3095 secs
lola: 14403148 markings, 40738327 edges, 4864 markings/sec, 3100 secs
lola: 14424497 markings, 40806244 edges, 4270 markings/sec, 3105 secs
lola: 14446918 markings, 40870530 edges, 4484 markings/sec, 3110 secs
lola: 14467417 markings, 40934316 edges, 4100 markings/sec, 3115 secs
lola: 14490467 markings, 41001516 edges, 4610 markings/sec, 3120 secs
lola: 14511977 markings, 41069608 edges, 4302 markings/sec, 3125 secs
lola: 14534049 markings, 41135376 edges, 4414 markings/sec, 3130 secs
lola: 14556476 markings, 41203007 edges, 4485 markings/sec, 3135 secs
lola: 14591620 markings, 41301474 edges, 7029 markings/sec, 3140 secs
lola: 14610388 markings, 41355609 edges, 3754 markings/sec, 3145 secs
lola: 14625447 markings, 41394197 edges, 3012 markings/sec, 3150 secs
lola: 14645643 markings, 41437627 edges, 4039 markings/sec, 3155 secs
lola: 14665356 markings, 41492019 edges, 3943 markings/sec, 3160 secs
lola: 14682308 markings, 41541497 edges, 3390 markings/sec, 3165 secs
lola: 14700356 markings, 41596287 edges, 3610 markings/sec, 3170 secs
lola: 14716083 markings, 41641080 edges, 3145 markings/sec, 3175 secs
lola: 14733277 markings, 41692934 edges, 3439 markings/sec, 3180 secs
lola: 14748987 markings, 41736780 edges, 3142 markings/sec, 3185 secs
lola: 14764553 markings, 41780333 edges, 3113 markings/sec, 3190 secs
lola: 14781643 markings, 41830376 edges, 3418 markings/sec, 3195 secs
lola: 14796508 markings, 41871125 edges, 2973 markings/sec, 3200 secs
lola: 14814830 markings, 41924427 edges, 3664 markings/sec, 3205 secs
lola: 14829871 markings, 41963905 edges, 3008 markings/sec, 3210 secs
lola: 14847944 markings, 42015915 edges, 3615 markings/sec, 3215 secs
lola: 14863517 markings, 42054539 edges, 3115 markings/sec, 3220 secs
lola: 14883224 markings, 42108809 edges, 3941 markings/sec, 3225 secs
lola: 14898676 markings, 42151446 edges, 3090 markings/sec, 3230 secs
lola: 14918098 markings, 42193005 edges, 3884 markings/sec, 3235 secs
lola: 14937022 markings, 42244848 edges, 3785 markings/sec, 3240 secs
lola: 14954080 markings, 42294808 edges, 3412 markings/sec, 3245 secs
lola: 14970737 markings, 42344425 edges, 3331 markings/sec, 3250 secs
lola: 14986565 markings, 42389903 edges, 3166 markings/sec, 3255 secs
lola: 15003707 markings, 42440354 edges, 3428 markings/sec, 3260 secs
lola: 15019505 markings, 42484506 edges, 3160 markings/sec, 3265 secs
lola: 15036837 markings, 42534666 edges, 3466 markings/sec, 3270 secs
lola: 15052492 markings, 42577394 edges, 3131 markings/sec, 3275 secs
lola: 15069955 markings, 42627227 edges, 3493 markings/sec, 3280 secs
lola: 15086369 markings, 42672158 edges, 3283 markings/sec, 3285 secs
lola: 15103496 markings, 42717033 edges, 3425 markings/sec, 3290 secs
lola: 15122721 markings, 42770138 edges, 3845 markings/sec, 3295 secs
lola: 15138455 markings, 42809933 edges, 3147 markings/sec, 3300 secs
lola: 15158847 markings, 42858103 edges, 4078 markings/sec, 3305 secs
lola: 15176958 markings, 42910897 edges, 3622 markings/sec, 3310 secs
lola: 15194144 markings, 42961925 edges, 3437 markings/sec, 3315 secs
lola: 15211429 markings, 43013477 edges, 3457 markings/sec, 3320 secs
lola: time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 80 80 80 80 80 1 1 1 1 1 1 1 1 lola:

preliminary result: 1 1 unknown 80 80 80 80 80 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 unknown 80 80 80 80 80 1 1 1 1 1 1 1 1
lola: memory consumption: 805988 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 80 80 80 80 80 1 1 1 1 1 1 1 1
lola: memory consumption: 805988 KB
lola: time consumption: 3570 seconds

BK_STOP 1552414430989

--------------------
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-V80P20N10"
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-V80P20N10, 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-155225094700208"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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