Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
....................
/home/mcc/execution
total 3.0M
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 38K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 172K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 506K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 6.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 76K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 213K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 28K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 121 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 359 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 105K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 308K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.2K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 10 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 1.5M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BridgeAndVehicles-PT-V50P50N10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306400331
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526573313704

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-PT-V50P50N10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-PT-V50P50N10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-PT-V50P50N10 @ 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: 1456/65536 symbol table entries, 11 collisions
lola: preprocessing...
lola: Size of bit vector: 4096
lola: finding significant places
lola: 128 places, 1328 transitions, 121 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1653 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-PT-V50P50N10-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 <= 0)
lola: after: (1 <= 0)
lola: always false
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: MAX(ATTENTE_B) : MAX(ROUTE_A) : MAX(0) : MAX(ROUTE_A) : MAX(0) : MAX(ROUTE_A) : MAX(SUR_PONT_B) : MAX(CHOIX_1 + CHOIX_2) : MAX(NB_ATTENTE_B_24) : MAX(NB_ATTENTE_A_5) : MAX(NB_ATTENTE_A_5) : MAX(NB_ATTENTE_B_13) : MAX(NB_ATTENTE_B_26) : MAX(NB_ATTENTE_B_14) : MAX(NB_ATTENTE_A_26) : MAX(NB_ATTENTE_B_21)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: ========================================
check_solution: Constraint R1 = 6.93754973738e-310 is below its lower bound 1
check_solution: Constraint R100 = 1e+30 is above its equality of 0
check_solution: Constraint R101 = 1e+30 is above its equality of 0

Seriously low accuracy found ||*|| = 1e+30 (rel. error 0.333333)
check_solution: Constraint R1 = 6.93754973738e-310 is below its lower bound 1
check_solution: Constraint R2 = 4.6585262397e-310 is above its equality of -1
check_solution: Constraint R5 = 0 is above its equality of -1
check_solution: Constraint R6 = 5 is above its equality of 0
check_solution: Constraint R7 = 5 is above its equality of 0
check_solution: Constraint R8 = 5 is above its equality of 0
check_solution: Constraint R9 = 5 is above its equality of 0
check_solution: Constraint R10 = 5 is above its equality of 0
check_solution: Constraint R11 = 5 is above its equality of 0
check_solution: Constraint R12 = 5 is above its equality of 0

Seriously low accuracy found ||*|| = 100 (rel. error 24.5)

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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-V50P50N10-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATTENTE_B)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-0 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ROUTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ROUTE_A)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola:
FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-3 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ROUTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ROUTE_A)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-1 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ROUTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ROUTE_A)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-5 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_B)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 17502 markings, 33227 edges, 3500 markings/sec, 0 secs
lola: 34755 markings, 69342 edges, 3451 markings/sec, 5 secs
lola: 52772 markings, 114323 edges, 3603 markings/sec, 10 secs
lola: 68545 markings, 149972 edges, 3155 markings/sec, 15 secs
lola: 86657 markings, 193821 edges, 3622 markings/sec, 20 secs
lola: 104053 markings, 234898 edges, 3479 markings/sec, 25 secs
lola: 121383 markings, 274791 edges, 3466 markings/sec, 30 secs
lola: 139991 markings, 321051 edges, 3722 markings/sec, 35 secs
lola: 156063 markings, 356118 edges, 3214 markings/sec, 40 secs
lola: 174375 markings, 400324 edges, 3662 markings/sec, 45 secs
lola: 192183 markings, 443153 edges, 3562 markings/sec, 50 secs
lola: 208480 markings, 479643 edges, 3259 markings/sec, 55 secs
lola: 227072 markings, 524335 edges, 3718 markings/sec, 60 secs
lola: 244945 markings, 568190 edges, 3575 markings/sec, 65 secs
lola: 261686 markings, 605981 edges, 3348 markings/sec, 70 secs
lola: 278834 markings, 645834 edges, 3430 markings/sec, 75 secs
lola: 297882 markings, 690894 edges, 3810 markings/sec, 80 secs
lola: 313651 markings, 723280 edges, 3154 markings/sec, 85 secs
lola: 329069 markings, 756071 edges, 3084 markings/sec, 90 secs
lola: 346199 markings, 793947 edges, 3426 markings/sec, 95 secs
lola: 363895 markings, 837276 edges, 3539 markings/sec, 100 secs
lola: 378859 markings, 872123 edges, 2993 markings/sec, 105 secs
lola: 394824 markings, 909673 edges, 3193 markings/sec, 110 secs
lola: 413891 markings, 955407 edges, 3813 markings/sec, 115 secs
lola: 429028 markings, 989970 edges, 3027 markings/sec, 120 secs
lola: 445914 markings, 1031417 edges, 3377 markings/sec, 125 secs
lola: 463382 markings, 1072680 edges, 3494 markings/sec, 130 secs
lola: 478454 markings, 1106956 edges, 3014 markings/sec, 135 secs
lola: 496942 markings, 1153272 edges, 3698 markings/sec, 140 secs
lola: 513292 markings, 1189527 edges, 3270 markings/sec, 145 secs
lola: 528923 markings, 1226691 edges, 3126 markings/sec, 150 secs
lola: 547473 markings, 1271027 edges, 3710 markings/sec, 155 secs
lola: 562601 markings, 1305799 edges, 3026 markings/sec, 160 secs
lola: 580704 markings, 1350503 edges, 3621 markings/sec, 165 secs
lola: 596776 markings, 1386988 edges, 3214 markings/sec, 170 secs
lola: 613642 markings, 1427547 edges, 3373 markings/sec, 175 secs
lola: 630462 markings, 1466559 edges, 3364 markings/sec, 180 secs
lola: 646169 markings, 1503746 edges, 3141 markings/sec, 185 secs
lola: 664154 markings, 1546828 edges, 3597 markings/sec, 190 secs
lola: 678969 markings, 1580686 edges, 2963 markings/sec, 195 secs
lola: 697644 markings, 1625583 edges, 3735 markings/sec, 200 secs
lola: 712397 markings, 1659714 edges, 2951 markings/sec, 205 secs
lola: 731414 markings, 1704604 edges, 3803 markings/sec, 210 secs
lola: 745592 markings, 1738992 edges, 2836 markings/sec, 215 secs
lola: 761612 markings, 1771597 edges, 3204 markings/sec, 220 secs
lola: 775629 markings, 1803763 edges, 2803 markings/sec, 225 secs
lola: 790656 markings, 1837288 edges, 3005 markings/sec, 230 secs
lola: 805859 markings, 1869165 edges, 3041 markings/sec, 235 secs
lola: 824271 markings, 1915829 edges, 3682 markings/sec, 240 secs
lola: 839916 markings, 1952833 edges, 3129 markings/sec, 245 secs
lola: 855108 markings, 1989154 edges, 3038 markings/sec, 250 secs
lola: 869868 markings, 2024508 edges, 2952 markings/sec, 255 secs
lola: 887506 markings, 2069034 edges, 3528 markings/sec, 260 secs
lola: 904772 markings, 2109688 edges, 3453 markings/sec, 265 secs
lola: 919889 markings, 2146343 edges, 3023 markings/sec, 270 secs
lola: 934733 markings, 2181740 edges, 2969 markings/sec, 275 secs
lola: 952787 markings, 2228025 edges, 3611 markings/sec, 280 secs
lola: 968972 markings, 2265740 edges, 3237 markings/sec, 285 secs
lola: 983865 markings, 2301464 edges, 2979 markings/sec, 290 secs
lola: 998992 markings, 2337498 edges, 3025 markings/sec, 295 secs
lola: 1017885 markings, 2383478 edges, 3779 markings/sec, 300 secs
lola: 1033410 markings, 2420707 edges, 3105 markings/sec, 305 secs
lola: 1048976 markings, 2458601 edges, 3113 markings/sec, 310 secs
lola: 1065973 markings, 2500822 edges, 3399 markings/sec, 315 secs
lola: 1083195 markings, 2541844 edges, 3444 markings/sec, 320 secs
lola: 1098103 markings, 2577958 edges, 2982 markings/sec, 325 secs
lola: 1113388 markings, 2614628 edges, 3057 markings/sec, 330 secs
lola: 1132309 markings, 2660142 edges, 3784 markings/sec, 335 secs
lola: 1147439 markings, 2696742 edges, 3026 markings/sec, 340 secs
lola: 1162040 markings, 2732237 edges, 2920 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 50 1 50 1 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 75140 KB
lola: time consumption: 372 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_24)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 29 markings, 28 edges
lola: ========================================

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

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

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

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 639 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_26)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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-V50P50N10-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 799 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_14)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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-V50P50N10-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1065 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_26)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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-V50P50N10-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1598 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_21)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 26 markings, 25 edges
lola:
FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 15 will run for 3197 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CHOIX_1 + CHOIX_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CHOIX_1 + CHOIX_2)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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-V50P50N10-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_B)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 17507 markings, 33238 edges, 3501 markings/sec, 0 secs
lola: 34723 markings, 69270 edges, 3443 markings/sec, 5 secs
lola: 52670 markings, 114093 edges, 3589 markings/sec, 10 secs
lola: 68571 markings, 150050 edges, 3180 markings/sec, 15 secs
lola: 86616 markings, 193762 edges, 3609 markings/sec, 20 secs
lola: 103994 markings, 234720 edges, 3476 markings/sec, 25 secs
lola: 121032 markings, 274203 edges, 3408 markings/sec, 30 secs
lola: 139491 markings, 319854 edges, 3692 markings/sec, 35 secs
lola: 155469 markings, 354727 edges, 3196 markings/sec, 40 secs
lola: 173941 markings, 399556 edges, 3694 markings/sec, 45 secs
lola: 191842 markings, 442145 edges, 3580 markings/sec, 50 secs
lola: 208146 markings, 478761 edges, 3261 markings/sec, 55 secs
lola: 226769 markings, 523691 edges, 3725 markings/sec, 60 secs
lola: 244683 markings, 567677 edges, 3583 markings/sec, 65 secs
lola: 261451 markings, 605295 edges, 3354 markings/sec, 70 secs
lola: 278590 markings, 645280 edges, 3428 markings/sec, 75 secs
lola: 297551 markings, 690166 edges, 3792 markings/sec, 80 secs
lola: 313272 markings, 722412 edges, 3144 markings/sec, 85 secs
lola: 328758 markings, 755356 edges, 3097 markings/sec, 90 secs
lola: 345668 markings, 792645 edges, 3382 markings/sec, 95 secs
lola: 363405 markings, 836162 edges, 3547 markings/sec, 100 secs
lola: 378644 markings, 871535 edges, 3048 markings/sec, 105 secs
lola: 394463 markings, 908678 edges, 3164 markings/sec, 110 secs
lola: 413605 markings, 954740 edges, 3828 markings/sec, 115 secs
lola: 428575 markings, 989033 edges, 2994 markings/sec, 120 secs
lola: 445534 markings, 1030432 edges, 3392 markings/sec, 125 secs
lola: 462997 markings, 1071632 edges, 3493 markings/sec, 130 secs
lola: 478220 markings, 1106445 edges, 3045 markings/sec, 135 secs
lola: 496646 markings, 1152579 edges, 3685 markings/sec, 140 secs
lola: 512993 markings, 1188861 edges, 3269 markings/sec, 145 secs
lola: 528543 markings, 1225668 edges, 3110 markings/sec, 150 secs
lola: 547192 markings, 1270251 edges, 3730 markings/sec, 155 secs
lola: 562318 markings, 1305142 edges, 3025 markings/sec, 160 secs
lola: 580322 markings, 1349630 edges, 3601 markings/sec, 165 secs
lola: 596449 markings, 1386098 edges, 3225 markings/sec, 170 secs
lola: 613046 markings, 1426234 edges, 3319 markings/sec, 175 secs
lola: 629865 markings, 1465430 edges, 3364 markings/sec, 180 secs
lola: 645777 markings, 1502670 edges, 3182 markings/sec, 185 secs
lola: 663967 markings, 1546305 edges, 3638 markings/sec, 190 secs
lola: 678875 markings, 1580497 edges, 2982 markings/sec, 195 secs
lola: 697499 markings, 1625329 edges, 3725 markings/sec, 200 secs
lola: 712352 markings, 1659614 edges, 2971 markings/sec, 205 secs
lola: 731485 markings, 1704816 edges, 3827 markings/sec, 210 secs
lola: 745814 markings, 1739282 edges, 2866 markings/sec, 215 secs
lola: 761942 markings, 1772495 edges, 3226 markings/sec, 220 secs
lola: 776260 markings, 1805203 edges, 2864 markings/sec, 225 secs
lola: 791693 markings, 1839312 edges, 3087 markings/sec, 230 secs
lola: 807156 markings, 1872178 edges, 3093 markings/sec, 235 secs
lola: 825693 markings, 1919911 edges, 3707 markings/sec, 240 secs
lola: 841835 markings, 1957727 edges, 3228 markings/sec, 245 secs
lola: 857027 markings, 1994320 edges, 3038 markings/sec, 250 secs
lola: 872214 markings, 2030425 edges, 3037 markings/sec, 255 secs
lola: 890540 markings, 2077309 edges, 3665 markings/sec, 260 secs
lola: 907030 markings, 2115697 edges, 3298 markings/sec, 265 secs
lola: 922112 markings, 2151914 edges, 3016 markings/sec, 270 secs
lola: 937146 markings, 2187817 edges, 3007 markings/sec, 275 secs
lola: 955682 markings, 2234213 edges, 3707 markings/sec, 280 secs
lola: 971535 markings, 2272088 edges, 3171 markings/sec, 285 secs
lola: 987517 markings, 2309413 edges, 3196 markings/sec, 290 secs
lola: 1003241 markings, 2348346 edges, 3145 markings/sec, 295 secs
lola: 1021994 markings, 2393271 edges, 3751 markings/sec, 300 secs
lola: 1037294 markings, 2430197 edges, 3060 markings/sec, 305 secs
lola: 1051868 markings, 2465452 edges, 2915 markings/sec, 310 secs
lola: 1070088 markings, 2511647 edges, 3644 markings/sec, 315 secs
lola: 1086121 markings, 2549419 edges, 3207 markings/sec, 320 secs
lola: 1101629 markings, 2585684 edges, 3102 markings/sec, 325 secs
lola: 1117929 markings, 2626319 edges, 3260 markings/sec, 330 secs
lola: 1135952 markings, 2669257 edges, 3605 markings/sec, 335 secs
lola: 1150999 markings, 2705867 edges, 3009 markings/sec, 340 secs
lola: 1165879 markings, 2741668 edges, 2976 markings/sec, 345 secs
lola: 1184742 markings, 2787169 edges, 3773 markings/sec, 350 secs
lola: 1199982 markings, 2823996 edges, 3048 markings/sec, 355 secs
lola: 1214389 markings, 2859218 edges, 2881 markings/sec, 360 secs
lola: 1233294 markings, 2904575 edges, 3781 markings/sec, 365 secs
lola: 1248738 markings, 2942133 edges, 3089 markings/sec, 370 secs
lola: 1263225 markings, 2977346 edges, 2897 markings/sec, 375 secs
lola: 1282210 markings, 3023260 edges, 3797 markings/sec, 380 secs
lola: 1297415 markings, 3060098 edges, 3041 markings/sec, 385 secs
lola: 1312778 markings, 3097798 edges, 3073 markings/sec, 390 secs
lola: 1331554 markings, 3141747 edges, 3755 markings/sec, 395 secs
lola: 1345876 markings, 3178229 edges, 2864 markings/sec, 400 secs
lola: 1359709 markings, 3208008 edges, 2767 markings/sec, 405 secs
lola: 1375255 markings, 3240740 edges, 3109 markings/sec, 410 secs
lola: 1389608 markings, 3276715 edges, 2871 markings/sec, 415 secs
lola: 1403712 markings, 3306730 edges, 2821 markings/sec, 420 secs
lola: 1419405 markings, 3343496 edges, 3139 markings/sec, 425 secs
lola: 1434137 markings, 3374934 edges, 2946 markings/sec, 430 secs
lola: 1449467 markings, 3410477 edges, 3066 markings/sec, 435 secs
lola: 1466686 markings, 3454176 edges, 3444 markings/sec, 440 secs
lola: 1483628 markings, 3494406 edges, 3388 markings/sec, 445 secs
lola: 1498834 markings, 3531071 edges, 3041 markings/sec, 450 secs
lola: 1513954 markings, 3568266 edges, 3024 markings/sec, 455 secs
lola: 1528803 markings, 3605893 edges, 2970 markings/sec, 460 secs
lola: 1547303 markings, 3653048 edges, 3700 markings/sec, 465 secs
lola: 1563911 markings, 3691525 edges, 3322 markings/sec, 470 secs
lola: 1578897 markings, 3727645 edges, 2997 markings/sec, 475 secs
lola: 1593943 markings, 3764898 edges, 3009 markings/sec, 480 secs
lola: 1608580 markings, 3801806 edges, 2927 markings/sec, 485 secs
lola: 1626765 markings, 3847874 edges, 3637 markings/sec, 490 secs
lola: 1643591 markings, 3887255 edges, 3365 markings/sec, 495 secs
lola: 1658795 markings, 3924237 edges, 3041 markings/sec, 500 secs
lola: 1673686 markings, 3960894 edges, 2978 markings/sec, 505 secs
lola: 1688174 markings, 3997206 edges, 2898 markings/sec, 510 secs
lola: 1706083 markings, 4041915 edges, 3582 markings/sec, 515 secs
lola: 1722607 markings, 4081911 edges, 3305 markings/sec, 520 secs
lola: 1738065 markings, 4119389 edges, 3092 markings/sec, 525 secs
lola: 1752777 markings, 4156037 edges, 2942 markings/sec, 530 secs
lola: 1769833 markings, 4198394 edges, 3411 markings/sec, 535 secs
lola: 1787240 markings, 4239429 edges, 3481 markings/sec, 540 secs
lola: 1801602 markings, 4274877 edges, 2872 markings/sec, 545 secs
lola: 1817257 markings, 4313391 edges, 3131 markings/sec, 550 secs
lola: 1832303 markings, 4351146 edges, 3009 markings/sec, 555 secs
lola: 1850265 markings, 4394440 edges, 3592 markings/sec, 560 secs
lola: 1865986 markings, 4434228 edges, 3144 markings/sec, 565 secs
lola: 1881377 markings, 4471795 edges, 3078 markings/sec, 570 secs
lola: 1896333 markings, 4508447 edges, 2991 markings/sec, 575 secs
lola: 1913890 markings, 4552065 edges, 3511 markings/sec, 580 secs
lola: 1930398 markings, 4592209 edges, 3302 markings/sec, 585 secs
lola: 1945677 markings, 4629530 edges, 3056 markings/sec, 590 secs
lola: 1960386 markings, 4665780 edges, 2942 markings/sec, 595 secs
lola: 1977725 markings, 4708629 edges, 3468 markings/sec, 600 secs
lola: 1994117 markings, 4748891 edges, 3278 markings/sec, 605 secs
lola: 2009277 markings, 4785870 edges, 3032 markings/sec, 610 secs
lola: 2024524 markings, 4823324 edges, 3049 markings/sec, 615 secs
lola: 2042868 markings, 4866991 edges, 3669 markings/sec, 620 secs
lola: 2057174 markings, 4903305 edges, 2861 markings/sec, 625 secs
lola: 2073022 markings, 4941876 edges, 3170 markings/sec, 630 secs
lola: 2089406 markings, 4983453 edges, 3277 markings/sec, 635 secs
lola: 2107216 markings, 5024062 edges, 3562 markings/sec, 640 secs
lola: 2122037 markings, 5062290 edges, 2964 markings/sec, 645 secs
lola: 2135000 markings, 5092310 edges, 2593 markings/sec, 650 secs
lola: 2148635 markings, 5122332 edges, 2727 markings/sec, 655 secs
lola: 2162040 markings, 5152375 edges, 2681 markings/sec, 660 secs
lola: 2179150 markings, 5192653 edges, 3422 markings/sec, 665 secs
lola: 2192583 markings, 5224784 edges, 2687 markings/sec, 670 secs
lola: 2206149 markings, 5255243 edges, 2713 markings/sec, 675 secs
lola: 2221398 markings, 5288336 edges, 3050 markings/sec, 680 secs
lola: 2235745 markings, 5324065 edges, 2869 markings/sec, 685 secs
lola: 2249428 markings, 5354075 edges, 2737 markings/sec, 690 secs
lola: 2264486 markings, 5388977 edges, 3012 markings/sec, 695 secs
lola: 2282320 markings, 5431950 edges, 3567 markings/sec, 700 secs
lola: 2296808 markings, 5467996 edges, 2898 markings/sec, 705 secs
lola: 2314562 markings, 5510567 edges, 3551 markings/sec, 710 secs
lola: 2328345 markings, 5544517 edges, 2757 markings/sec, 715 secs
lola: 2344599 markings, 5585954 edges, 3251 markings/sec, 720 secs
lola: 2360005 markings, 5624147 edges, 3081 markings/sec, 725 secs
lola: 2374296 markings, 5659804 edges, 2858 markings/sec, 730 secs
lola: 2393074 markings, 5706445 edges, 3756 markings/sec, 735 secs
lola: 2409960 markings, 5746233 edges, 3377 markings/sec, 740 secs
lola: 2423780 markings, 5782789 edges, 2764 markings/sec, 745 secs
lola: 2440348 markings, 5823057 edges, 3314 markings/sec, 750 secs
lola: 2455527 markings, 5860546 edges, 3036 markings/sec, 755 secs
lola: 2469724 markings, 5896172 edges, 2839 markings/sec, 760 secs
lola: 2488198 markings, 5942095 edges, 3695 markings/sec, 765 secs
lola: 2505021 markings, 5981742 edges, 3365 markings/sec, 770 secs
lola: 2518948 markings, 6018538 edges, 2785 markings/sec, 775 secs
lola: 2535349 markings, 6058575 edges, 3280 markings/sec, 780 secs
lola: 2550458 markings, 6095845 edges, 3022 markings/sec, 785 secs
lola: 2564614 markings, 6131315 edges, 2831 markings/sec, 790 secs
lola: 2582716 markings, 6176533 edges, 3620 markings/sec, 795 secs
lola: 2599783 markings, 6217268 edges, 3413 markings/sec, 800 secs
lola: 2613334 markings, 6251464 edges, 2710 markings/sec, 805 secs
lola: 2629503 markings, 6292321 edges, 3234 markings/sec, 810 secs
lola: 2644511 markings, 6329535 edges, 3002 markings/sec, 815 secs
lola: 2661155 markings, 6371443 edges, 3329 markings/sec, 820 secs
lola: 2677846 markings, 6410157 edges, 3338 markings/sec, 825 secs
lola: 2694041 markings, 6451926 edges, 3239 markings/sec, 830 secs
lola: 2709703 markings, 6489969 edges, 3132 markings/sec, 835 secs
lola: 2724666 markings, 6527227 edges, 2993 markings/sec, 840 secs
lola: 2738892 markings, 6563162 edges, 2845 markings/sec, 845 secs
lola: 2756622 markings, 6607591 edges, 3546 markings/sec, 850 secs
lola: 2773723 markings, 6648654 edges, 3420 markings/sec, 855 secs
lola: 2788661 markings, 6684792 edges, 2988 markings/sec, 860 secs
lola: 2803004 markings, 6721651 edges, 2869 markings/sec, 865 secs
lola: 2818507 markings, 6760655 edges, 3101 markings/sec, 870 secs
lola: 2836047 markings, 6804059 edges, 3508 markings/sec, 875 secs
lola: 2852930 markings, 6844418 edges, 3377 markings/sec, 880 secs
lola: 2867353 markings, 6880072 edges, 2885 markings/sec, 885 secs
lola: 2881968 markings, 6917762 edges, 2923 markings/sec, 890 secs
lola: 2897356 markings, 6956180 edges, 3078 markings/sec, 895 secs
lola: 2914709 markings, 6999157 edges, 3471 markings/sec, 900 secs
lola: 2931627 markings, 7040143 edges, 3384 markings/sec, 905 secs
lola: 2946685 markings, 7076843 edges, 3012 markings/sec, 910 secs
lola: 2961646 markings, 7114567 edges, 2992 markings/sec, 915 secs
lola: 2976860 markings, 7153197 edges, 3043 markings/sec, 920 secs
lola: 2993609 markings, 7193073 edges, 3350 markings/sec, 925 secs
lola: 3009825 markings, 7234811 edges, 3243 markings/sec, 930 secs
lola: 3025330 markings, 7272768 edges, 3101 markings/sec, 935 secs
lola: 3039810 markings, 7309200 edges, 2896 markings/sec, 940 secs
lola: 3057008 markings, 7351626 edges, 3440 markings/sec, 945 secs
lola: 3074138 markings, 7390404 edges, 3426 markings/sec, 950 secs
lola: 3089111 markings, 7429856 edges, 2995 markings/sec, 955 secs
lola: 3101900 markings, 7460969 edges, 2558 markings/sec, 960 secs
lola: 3115044 markings, 7491264 edges, 2629 markings/sec, 965 secs
lola: 3128193 markings, 7521498 edges, 2630 markings/sec, 970 secs
lola: 3141370 markings, 7551310 edges, 2635 markings/sec, 975 secs
lola: 3154731 markings, 7581895 edges, 2672 markings/sec, 980 secs
lola: 3172337 markings, 7623247 edges, 3521 markings/sec, 985 secs
lola: 3185823 markings, 7657055 edges, 2697 markings/sec, 990 secs
lola: 3199051 markings, 7687720 edges, 2646 markings/sec, 995 secs
lola: 3212305 markings, 7717818 edges, 2651 markings/sec, 1000 secs
lola: 3225710 markings, 7748131 edges, 2681 markings/sec, 1005 secs
lola: 3242304 markings, 7788071 edges, 3319 markings/sec, 1010 secs
lola: 3255494 markings, 7818811 edges, 2638 markings/sec, 1015 secs
lola: 3268787 markings, 7848943 edges, 2659 markings/sec, 1020 secs
lola: 3284118 markings, 7885199 edges, 3066 markings/sec, 1025 secs
lola: 3298037 markings, 7916338 edges, 2784 markings/sec, 1030 secs
lola: 3316734 markings, 7963661 edges, 3739 markings/sec, 1035 secs
lola: 3329571 markings, 7994551 edges, 2567 markings/sec, 1040 secs
lola: 3348092 markings, 8038954 edges, 3704 markings/sec, 1045 secs
lola: 3361625 markings, 8074882 edges, 2707 markings/sec, 1050 secs
lola: 3378701 markings, 8115854 edges, 3415 markings/sec, 1055 secs
lola: 3392765 markings, 8150948 edges, 2813 markings/sec, 1060 secs
lola: 3407746 markings, 8189846 edges, 2996 markings/sec, 1065 secs
lola: 3422697 markings, 8227120 edges, 2990 markings/sec, 1070 secs
lola: 3441201 markings, 8273174 edges, 3701 markings/sec, 1075 secs
lola: 3457472 markings, 8310299 edges, 3254 markings/sec, 1080 secs
lola: 3472960 markings, 8351797 edges, 3098 markings/sec, 1085 secs
lola: 3488095 markings, 8387615 edges, 3027 markings/sec, 1090 secs
lola: 3503176 markings, 8427543 edges, 3016 markings/sec, 1095 secs
lola: 3518783 markings, 8466158 edges, 3121 markings/sec, 1100 secs
lola: 3533216 markings, 8503002 edges, 2887 markings/sec, 1105 secs
lola: 3551273 markings, 8549168 edges, 3611 markings/sec, 1110 secs
lola: 3565512 markings, 8581030 edges, 2848 markings/sec, 1115 secs
lola: 3583051 markings, 8625686 edges, 3508 markings/sec, 1120 secs
lola: 3596383 markings, 8659223 edges, 2666 markings/sec, 1125 secs
lola: 3613401 markings, 8702071 edges, 3404 markings/sec, 1130 secs
lola: 3628692 markings, 8739899 edges, 3058 markings/sec, 1135 secs
lola: 3643143 markings, 8776999 edges, 2890 markings/sec, 1140 secs
lola: 3660773 markings, 8822086 edges, 3526 markings/sec, 1145 secs
lola: 3675110 markings, 8854285 edges, 2867 markings/sec, 1150 secs
lola: 3692449 markings, 8898348 edges, 3468 markings/sec, 1155 secs
lola: 3706192 markings, 8932330 edges, 2749 markings/sec, 1160 secs
lola: 3722434 markings, 8974427 edges, 3248 markings/sec, 1165 secs
lola: 3737766 markings, 9012279 edges, 3066 markings/sec, 1170 secs
lola: 3751781 markings, 9047892 edges, 2803 markings/sec, 1175 secs
lola: 3769846 markings, 9092541 edges, 3613 markings/sec, 1180 secs
lola: 3785802 markings, 9129151 edges, 3191 markings/sec, 1185 secs
lola: 3800550 markings, 9168753 edges, 2950 markings/sec, 1190 secs
lola: 3815676 markings, 9205079 edges, 3025 markings/sec, 1195 secs
lola: 3829772 markings, 9242306 edges, 2819 markings/sec, 1200 secs
lola: 3844934 markings, 9280229 edges, 3032 markings/sec, 1205 secs
lola: 3861193 markings, 9321208 edges, 3252 markings/sec, 1210 secs
lola: 3876374 markings, 9358256 edges, 3036 markings/sec, 1215 secs
lola: 3894064 markings, 9400635 edges, 3538 markings/sec, 1220 secs
lola: 3906806 markings, 9434157 edges, 2548 markings/sec, 1225 secs
lola: 3923556 markings, 9475791 edges, 3350 markings/sec, 1230 secs
lola: 3938430 markings, 9512832 edges, 2975 markings/sec, 1235 secs
lola: 3952731 markings, 9548909 edges, 2860 markings/sec, 1240 secs
lola: 3969924 markings, 9591882 edges, 3439 markings/sec, 1245 secs
lola: 3986963 markings, 9631969 edges, 3408 markings/sec, 1250 secs
lola: 4000856 markings, 9668799 edges, 2779 markings/sec, 1255 secs
lola: 4017268 markings, 9708987 edges, 3282 markings/sec, 1260 secs
lola: 4032207 markings, 9746515 edges, 2988 markings/sec, 1265 secs
lola: 4046770 markings, 9783592 edges, 2913 markings/sec, 1270 secs
lola: 4063154 markings, 9824283 edges, 3277 markings/sec, 1275 secs
lola: 4080494 markings, 9865905 edges, 3468 markings/sec, 1280 secs
lola: 4093528 markings, 9899874 edges, 2607 markings/sec, 1285 secs
lola: 4109991 markings, 9940604 edges, 3293 markings/sec, 1290 secs
lola: 4124819 markings, 9978017 edges, 2966 markings/sec, 1295 secs
lola: 4140815 markings, 10018413 edges, 3199 markings/sec, 1300 secs
lola: 4155414 markings, 10053301 edges, 2920 markings/sec, 1305 secs
lola: 4172762 markings, 10096701 edges, 3470 markings/sec, 1310 secs
lola: 4187675 markings, 10132826 edges, 2983 markings/sec, 1315 secs
lola: 4201693 markings, 10169854 edges, 2804 markings/sec, 1320 secs
lola: 4216895 markings, 10208099 edges, 3040 markings/sec, 1325 secs
lola: 4233831 markings, 10250107 edges, 3387 markings/sec, 1330 secs
lola: 4251296 markings, 10288141 edges, 3493 markings/sec, 1335 secs
lola: 4267159 markings, 10330440 edges, 3173 markings/sec, 1340 secs
lola: 4280257 markings, 10363995 edges, 2620 markings/sec, 1345 secs
lola: 4293400 markings, 10394176 edges, 2629 markings/sec, 1350 secs
lola: 4306283 markings, 10425166 edges, 2577 markings/sec, 1355 secs
lola: 4319486 markings, 10454905 edges, 2641 markings/sec, 1360 secs
lola: 4332155 markings, 10485244 edges, 2534 markings/sec, 1365 secs
lola: 4345323 markings, 10515457 edges, 2634 markings/sec, 1370 secs
lola: 4358061 markings, 10545054 edges, 2548 markings/sec, 1375 secs
lola: 4374720 markings, 10582056 edges, 3332 markings/sec, 1380 secs
lola: 4390167 markings, 10622901 edges, 3089 markings/sec, 1385 secs
lola: 4403106 markings, 10654616 edges, 2588 markings/sec, 1390 secs
lola: 4416123 markings, 10684537 edges, 2603 markings/sec, 1395 secs
lola: 4429078 markings, 10714548 edges, 2591 markings/sec, 1400 secs
lola: 4441581 markings, 10743706 edges, 2501 markings/sec, 1405 secs
lola: 4453991 markings, 10772297 edges, 2482 markings/sec, 1410 secs
lola: 4470240 markings, 10810399 edges, 3250 markings/sec, 1415 secs
lola: 4484145 markings, 10844651 edges, 2781 markings/sec, 1420 secs
lola: 4497138 markings, 10874635 edges, 2599 markings/sec, 1425 secs
lola: 4510214 markings, 10905188 edges, 2615 markings/sec, 1430 secs
lola: 4524783 markings, 10938318 edges, 2914 markings/sec, 1435 secs
lola: 4538699 markings, 10972064 edges, 2783 markings/sec, 1440 secs
lola: 4552596 markings, 11003460 edges, 2779 markings/sec, 1445 secs
lola: 4571166 markings, 11050549 edges, 3714 markings/sec, 1450 secs
lola: 4584006 markings, 11081786 edges, 2568 markings/sec, 1455 secs
lola: 4602340 markings, 11124624 edges, 3667 markings/sec, 1460 secs
lola: 4617137 markings, 11164104 edges, 2959 markings/sec, 1465 secs
lola: 4631843 markings, 11198933 edges, 2941 markings/sec, 1470 secs
lola: 4647939 markings, 11241477 edges, 3219 markings/sec, 1475 secs
lola: 4662953 markings, 11277469 edges, 3003 markings/sec, 1480 secs
lola: 4677077 markings, 11315442 edges, 2825 markings/sec, 1485 secs
lola: 4692033 markings, 11352829 edges, 2991 markings/sec, 1490 secs
lola: 4710463 markings, 11399742 edges, 3686 markings/sec, 1495 secs
lola: 4723340 markings, 11430798 edges, 2575 markings/sec, 1500 secs
lola: 4742021 markings, 11474657 edges, 3736 markings/sec, 1505 secs
lola: 4756446 markings, 11513837 edges, 2885 markings/sec, 1510 secs
lola: 4772237 markings, 11550220 edges, 3158 markings/sec, 1515 secs
lola: 4787290 markings, 11591088 edges, 3011 markings/sec, 1520 secs
lola: 4802654 markings, 11628508 edges, 3073 markings/sec, 1525 secs
lola: 4817115 markings, 11665201 edges, 2892 markings/sec, 1530 secs
lola: 4832332 markings, 11704686 edges, 3043 markings/sec, 1535 secs
lola: 4849217 markings, 11746422 edges, 3377 markings/sec, 1540 secs
lola: 4864342 markings, 11780680 edges, 3025 markings/sec, 1545 secs
lola: 4881113 markings, 11824797 edges, 3354 markings/sec, 1550 secs
lola: 4894230 markings, 11858951 edges, 2623 markings/sec, 1555 secs
lola: 4911650 markings, 11901124 edges, 3484 markings/sec, 1560 secs
lola: 4924738 markings, 11935311 edges, 2618 markings/sec, 1565 secs
lola: 4941094 markings, 11976725 edges, 3271 markings/sec, 1570 secs
lola: 4955381 markings, 12012638 edges, 2857 markings/sec, 1575 secs
lola: 4973816 markings, 12058126 edges, 3687 markings/sec, 1580 secs
lola: 4986262 markings, 12088407 edges, 2489 markings/sec, 1585 secs
lola: 5004986 markings, 12134206 edges, 3745 markings/sec, 1590 secs
lola: 5018645 markings, 12170638 edges, 2732 markings/sec, 1595 secs
lola: 5035316 markings, 12210713 edges, 3334 markings/sec, 1600 secs
lola: 5048923 markings, 12246760 edges, 2721 markings/sec, 1605 secs
lola: 5064927 markings, 12286931 edges, 3201 markings/sec, 1610 secs
lola: 5079008 markings, 12322309 edges, 2816 markings/sec, 1615 secs
lola: 5097118 markings, 12366881 edges, 3622 markings/sec, 1620 secs
lola: 5110279 markings, 12397929 edges, 2632 markings/sec, 1625 secs
lola: 5128388 markings, 12443561 edges, 3622 markings/sec, 1630 secs
lola: 5141718 markings, 12479190 edges, 2666 markings/sec, 1635 secs
lola: 5158797 markings, 12520315 edges, 3416 markings/sec, 1640 secs
lola: 5172414 markings, 12554863 edges, 2723 markings/sec, 1645 secs
lola: 5187768 markings, 12594710 edges, 3071 markings/sec, 1650 secs
lola: 5203826 markings, 12635080 edges, 3212 markings/sec, 1655 secs
lola: 5219452 markings, 12673834 edges, 3125 markings/sec, 1660 secs
lola: 5236151 markings, 12711792 edges, 3340 markings/sec, 1665 secs
lola: 5251276 markings, 12752507 edges, 3025 markings/sec, 1670 secs
lola: 5266144 markings, 12788058 edges, 2974 markings/sec, 1675 secs
lola: 5281442 markings, 12829075 edges, 3060 markings/sec, 1680 secs
lola: 5296788 markings, 12867006 edges, 3069 markings/sec, 1685 secs
lola: 5310676 markings, 12902769 edges, 2778 markings/sec, 1690 secs
lola: 5327997 markings, 12945311 edges, 3464 markings/sec, 1695 secs
lola: 5342046 markings, 12977955 edges, 2810 markings/sec, 1700 secs
lola: 5359239 markings, 13022485 edges, 3439 markings/sec, 1705 secs
lola: 5372146 markings, 13055859 edges, 2581 markings/sec, 1710 secs
lola: 5389463 markings, 13099197 edges, 3463 markings/sec, 1715 secs
lola: 5404446 markings, 13136541 edges, 2997 markings/sec, 1720 secs
lola: 5418573 markings, 13173154 edges, 2825 markings/sec, 1725 secs
lola: 5435723 markings, 13215158 edges, 3430 markings/sec, 1730 secs
lola: 5449639 markings, 13247604 edges, 2783 markings/sec, 1735 secs
lola: 5466820 markings, 13291844 edges, 3436 markings/sec, 1740 secs
lola: 5479917 markings, 13325308 edges, 2619 markings/sec, 1745 secs
lola: 5496698 markings, 13367800 edges, 3356 markings/sec, 1750 secs
lola: 5511660 markings, 13405592 edges, 2992 markings/sec, 1755 secs
lola: 5526019 markings, 13442170 edges, 2872 markings/sec, 1760 secs
lola: 5542148 markings, 13482400 edges, 3226 markings/sec, 1765 secs
lola: 5558145 markings, 13518727 edges, 3199 markings/sec, 1770 secs
lola: 5573175 markings, 13559267 edges, 3006 markings/sec, 1775 secs
lola: 5588249 markings, 13595626 edges, 3015 markings/sec, 1780 secs
lola: 5602402 markings, 13633407 edges, 2831 markings/sec, 1785 secs
lola: 5617261 markings, 13671016 edges, 2972 markings/sec, 1790 secs
lola: 5634255 markings, 13714138 edges, 3399 markings/sec, 1795 secs
lola: 5646986 markings, 13744196 edges, 2546 markings/sec, 1800 secs
lola: 5666204 markings, 13788514 edges, 3844 markings/sec, 1805 secs
lola: 5681324 markings, 13828265 edges, 3024 markings/sec, 1810 secs
lola: 5694301 markings, 13861473 edges, 2595 markings/sec, 1815 secs
lola: 5706898 markings, 13891477 edges, 2519 markings/sec, 1820 secs
lola: 5719557 markings, 13921363 edges, 2532 markings/sec, 1825 secs
lola: 5732065 markings, 13950904 edges, 2502 markings/sec, 1830 secs
lola: 5744702 markings, 13980768 edges, 2527 markings/sec, 1835 secs
lola: 5757376 markings, 14010328 edges, 2535 markings/sec, 1840 secs
lola: 5770125 markings, 14039680 edges, 2550 markings/sec, 1845 secs
lola: 5783024 markings, 14069970 edges, 2580 markings/sec, 1850 secs
lola: 5795739 markings, 14100559 edges, 2543 markings/sec, 1855 secs
lola: 5808286 markings, 14130120 edges, 2509 markings/sec, 1860 secs
lola: 5825950 markings, 14170752 edges, 3533 markings/sec, 1865 secs
lola: 5840837 markings, 14209810 edges, 2977 markings/sec, 1870 secs
lola: 5853583 markings, 14240822 edges, 2549 markings/sec, 1875 secs
lola: 5866247 markings, 14271010 edges, 2533 markings/sec, 1880 secs
lola: 5879082 markings, 14300259 edges, 2567 markings/sec, 1885 secs
lola: 5891929 markings, 14331218 edges, 2569 markings/sec, 1890 secs
lola: 5904780 markings, 14360559 edges, 2570 markings/sec, 1895 secs
lola: 5917570 markings, 14391490 edges, 2558 markings/sec, 1900 secs
lola: 5930444 markings, 14421505 edges, 2575 markings/sec, 1905 secs
lola: 5947651 markings, 14461978 edges, 3441 markings/sec, 1910 secs
lola: 5961207 markings, 14496205 edges, 2711 markings/sec, 1915 secs
lola: 5974074 markings, 14526263 edges, 2573 markings/sec, 1920 secs
lola: 5987062 markings, 14556778 edges, 2598 markings/sec, 1925 secs
lola: 5999817 markings, 14586711 edges, 2551 markings/sec, 1930 secs
lola: 6013198 markings, 14617116 edges, 2676 markings/sec, 1935 secs
lola: 6028729 markings, 14655292 edges, 3106 markings/sec, 1940 secs
lola: 6041683 markings, 14685273 edges, 2591 markings/sec, 1945 secs
lola: 6057479 markings, 14722570 edges, 3159 markings/sec, 1950 secs
lola: 6074601 markings, 14764521 edges, 3424 markings/sec, 1955 secs
lola: 6086799 markings, 14795421 edges, 2440 markings/sec, 1960 secs
lola: 6104915 markings, 14835983 edges, 3623 markings/sec, 1965 secs
lola: 6120444 markings, 14877895 edges, 3106 markings/sec, 1970 secs
lola: 6133329 markings, 14912490 edges, 2577 markings/sec, 1975 secs
lola: 6150969 markings, 14953820 edges, 3528 markings/sec, 1980 secs
lola: 6165229 markings, 14992394 edges, 2852 markings/sec, 1985 secs
lola: 6181027 markings, 15030528 edges, 3160 markings/sec, 1990 secs
lola: 6194869 markings, 15067449 edges, 2768 markings/sec, 1995 secs
lola: 6209843 markings, 15105309 edges, 2995 markings/sec, 2000 secs
lola: 6228199 markings, 15152399 edges, 3671 markings/sec, 2005 secs
lola: 6241503 markings, 15184771 edges, 2661 markings/sec, 2010 secs
lola: 6256510 markings, 15218003 edges, 3001 markings/sec, 2015 secs
lola: 6274083 markings, 15263293 edges, 3515 markings/sec, 2020 secs
lola: 6287811 markings, 15300463 edges, 2746 markings/sec, 2025 secs
lola: 6303799 markings, 15337189 edges, 3198 markings/sec, 2030 secs
lola: 6318990 markings, 15378615 edges, 3038 markings/sec, 2035 secs
lola: 6333591 markings, 15413798 edges, 2920 markings/sec, 2040 secs
lola: 6348292 markings, 15453287 edges, 2940 markings/sec, 2045 secs
lola: 6362881 markings, 15490228 edges, 2918 markings/sec, 2050 secs
lola: 6380213 markings, 15534283 edges, 3466 markings/sec, 2055 secs
lola: 6393840 markings, 15567732 edges, 2725 markings/sec, 2060 secs
lola: 6408155 markings, 15599459 edges, 2863 markings/sec, 2065 secs
lola: 6425870 markings, 15644790 edges, 3543 markings/sec, 2070 secs
lola: 6439571 markings, 15681877 edges, 2740 markings/sec, 2075 secs
lola: 6455551 markings, 15718902 edges, 3196 markings/sec, 2080 secs
lola: 6470602 markings, 15759660 edges, 3010 markings/sec, 2085 secs
lola: 6485429 markings, 15795608 edges, 2965 markings/sec, 2090 secs
lola: 6499553 markings, 15833579 edges, 2825 markings/sec, 2095 secs
lola: 6513976 markings, 15869821 edges, 2885 markings/sec, 2100 secs
lola: 6531915 markings, 15913950 edges, 3588 markings/sec, 2105 secs
lola: 6544337 markings, 15945590 edges, 2484 markings/sec, 2110 secs
lola: 6561501 markings, 15983657 edges, 3433 markings/sec, 2115 secs
lola: 6576907 markings, 16025458 edges, 3081 markings/sec, 2120 secs
lola: 6589642 markings, 16059307 edges, 2547 markings/sec, 2125 secs
lola: 6606810 markings, 16100721 edges, 3434 markings/sec, 2130 secs
lola: 6620360 markings, 16136648 edges, 2710 markings/sec, 2135 secs
lola: 6636246 markings, 16176237 edges, 3177 markings/sec, 2140 secs
lola: 6650538 markings, 16212707 edges, 2858 markings/sec, 2145 secs
lola: 6666917 markings, 16254373 edges, 3276 markings/sec, 2150 secs
lola: 6681067 markings, 16289361 edges, 2830 markings/sec, 2155 secs
lola: 6695032 markings, 16320687 edges, 2793 markings/sec, 2160 secs
lola: 6712557 markings, 16365430 edges, 3505 markings/sec, 2165 secs
lola: 6726009 markings, 16401995 edges, 2690 markings/sec, 2170 secs
lola: 6741975 markings, 16439619 edges, 3193 markings/sec, 2175 secs
lola: 6756521 markings, 16478797 edges, 2909 markings/sec, 2180 secs
lola: 6771828 markings, 16516604 edges, 3061 markings/sec, 2185 secs
lola: 6785730 markings, 16552086 edges, 2780 markings/sec, 2190 secs
lola: 6801704 markings, 16593060 edges, 3195 markings/sec, 2195 secs
lola: 6816056 markings, 16628525 edges, 2870 markings/sec, 2200 secs
lola: 6829010 markings, 16657732 edges, 2591 markings/sec, 2205 secs
lola: 6846609 markings, 16702508 edges, 3520 markings/sec, 2210 secs
lola: 6859741 markings, 16737876 edges, 2626 markings/sec, 2215 secs
lola: 6875553 markings, 16775350 edges, 3162 markings/sec, 2220 secs
lola: 6889620 markings, 16813371 edges, 2813 markings/sec, 2225 secs
lola: 6904847 markings, 16850884 edges, 3045 markings/sec, 2230 secs
lola: 6918746 markings, 16886781 edges, 2780 markings/sec, 2235 secs
lola: 6935780 markings, 16930570 edges, 3407 markings/sec, 2240 secs
lola: 6948709 markings, 16961853 edges, 2586 markings/sec, 2245 secs
lola: 6964865 markings, 16997978 edges, 3231 markings/sec, 2250 secs
lola: 6980329 markings, 17039411 edges, 3093 markings/sec, 2255 secs
lola: 6993077 markings, 17073031 edges, 2550 markings/sec, 2260 secs
lola: 7010397 markings, 17115570 edges, 3464 markings/sec, 2265 secs
lola: 7023063 markings, 17148524 edges, 2533 markings/sec, 2270 secs
lola: 7038924 markings, 17189035 edges, 3172 markings/sec, 2275 secs
lola: 7054363 markings, 17228055 edges, 3088 markings/sec, 2280 secs
lola: 7069631 markings, 17265937 edges, 3054 markings/sec, 2285 secs
lola: 7083398 markings, 17297066 edges, 2753 markings/sec, 2290 secs
lola: 7100739 markings, 17341754 edges, 3468 markings/sec, 2295 secs
lola: 7114091 markings, 17377346 edges, 2670 markings/sec, 2300 secs
lola: 7130851 markings, 17418326 edges, 3352 markings/sec, 2305 secs
lola: 7144170 markings, 17453324 edges, 2664 markings/sec, 2310 secs
lola: 7159683 markings, 17492774 edges, 3103 markings/sec, 2315 secs
lola: 7175601 markings, 17532931 edges, 3184 markings/sec, 2320 secs
lola: 7190240 markings, 17569253 edges, 2928 markings/sec, 2325 secs
lola: 7205672 markings, 17603746 edges, 3086 markings/sec, 2330 secs
lola: 7221525 markings, 17645797 edges, 3171 markings/sec, 2335 secs
lola: 7234377 markings, 17679786 edges, 2570 markings/sec, 2340 secs
lola: 7251754 markings, 17722713 edges, 3475 markings/sec, 2345 secs
lola: 7266121 markings, 17758768 edges, 2873 markings/sec, 2350 secs
lola: 7280281 markings, 17795940 edges, 2832 markings/sec, 2355 secs
lola: 7297379 markings, 17837940 edges, 3420 markings/sec, 2360 secs
lola: 7309574 markings, 17868595 edges, 2439 markings/sec, 2365 secs
lola: 7328613 markings, 17909701 edges, 3808 markings/sec, 2370 secs
lola: 7344674 markings, 17953256 edges, 3212 markings/sec, 2375 secs
lola: 7358697 markings, 17989906 edges, 2805 markings/sec, 2380 secs
lola: 7371574 markings, 18021016 edges, 2575 markings/sec, 2385 secs
lola: 7383699 markings, 18050423 edges, 2425 markings/sec, 2390 secs
lola: 7396494 markings, 18081350 edges, 2559 markings/sec, 2395 secs
lola: 7409378 markings, 18111974 edges, 2577 markings/sec, 2400 secs
lola: 7422135 markings, 18141383 edges, 2551 markings/sec, 2405 secs
lola: 7434393 markings, 18170492 edges, 2452 markings/sec, 2410 secs
lola: 7447090 markings, 18201595 edges, 2539 markings/sec, 2415 secs
lola: 7459933 markings, 18232090 edges, 2569 markings/sec, 2420 secs
lola: 7472722 markings, 18262325 edges, 2558 markings/sec, 2425 secs
lola: 7485465 markings, 18292338 edges, 2549 markings/sec, 2430 secs
lola: 7498160 markings, 18322142 edges, 2539 markings/sec, 2435 secs
lola: 7510938 markings, 18352381 edges, 2556 markings/sec, 2440 secs
lola: 7524134 markings, 18382249 edges, 2639 markings/sec, 2445 secs
lola: 7543051 markings, 18429473 edges, 3783 markings/sec, 2450 secs
lola: 7557287 markings, 18466611 edges, 2847 markings/sec, 2455 secs
lola: 7570030 markings, 18497568 edges, 2549 markings/sec, 2460 secs
lola: 7582743 markings, 18527667 edges, 2543 markings/sec, 2465 secs
lola: 7595392 markings, 18557716 edges, 2530 markings/sec, 2470 secs
lola: 7608095 markings, 18588066 edges, 2541 markings/sec, 2475 secs
lola: 7620668 markings, 18617829 edges, 2515 markings/sec, 2480 secs
lola: 7633287 markings, 18647777 edges, 2524 markings/sec, 2485 secs
lola: 7645760 markings, 18677321 edges, 2495 markings/sec, 2490 secs
lola: 7658486 markings, 18706463 edges, 2545 markings/sec, 2495 secs
lola: 7670851 markings, 18736473 edges, 2473 markings/sec, 2500 secs
lola: 7687652 markings, 18775239 edges, 3360 markings/sec, 2505 secs
lola: 7702071 markings, 18813224 edges, 2884 markings/sec, 2510 secs
lola: 7714551 markings, 18842862 edges, 2496 markings/sec, 2515 secs
lola: 7727326 markings, 18872922 edges, 2555 markings/sec, 2520 secs
lola: 7739813 markings, 18901718 edges, 2497 markings/sec, 2525 secs
lola: 7752390 markings, 18931991 edges, 2515 markings/sec, 2530 secs
lola: 7765229 markings, 18961639 edges, 2568 markings/sec, 2535 secs
lola: 7779831 markings, 18995672 edges, 2920 markings/sec, 2540 secs
lola: 7794398 markings, 19031647 edges, 2913 markings/sec, 2545 secs
lola: 7806954 markings, 19061275 edges, 2511 markings/sec, 2550 secs
lola: 7820458 markings, 19092007 edges, 2701 markings/sec, 2555 secs
lola: 7838914 markings, 19138528 edges, 3691 markings/sec, 2560 secs
lola: 7854101 markings, 19174290 edges, 3037 markings/sec, 2565 secs
lola: 7866122 markings, 19204654 edges, 2404 markings/sec, 2570 secs
lola: 7881749 markings, 19238771 edges, 3125 markings/sec, 2575 secs
lola: 7899699 markings, 19285886 edges, 3590 markings/sec, 2580 secs
lola: 7913968 markings, 19324078 edges, 2854 markings/sec, 2585 secs
lola: 7926848 markings, 19355545 edges, 2576 markings/sec, 2590 secs
lola: 7945556 markings, 19402304 edges, 3742 markings/sec, 2595 secs
lola: 7959371 markings, 19439639 edges, 2763 markings/sec, 2600 secs
lola: 7975670 markings, 19478539 edges, 3260 markings/sec, 2605 secs
lola: 7989629 markings, 19516126 edges, 2792 markings/sec, 2610 secs
lola: 8004893 markings, 19554866 edges, 3053 markings/sec, 2615 secs
lola: 8020855 markings, 19595614 edges, 3192 markings/sec, 2620 secs
lola: 8037906 markings, 19635680 edges, 3410 markings/sec, 2625 secs
lola: 8050054 markings, 19667289 edges, 2430 markings/sec, 2630 secs
lola: 8062947 markings, 19696061 edges, 2579 markings/sec, 2635 secs
lola: 8082440 markings, 19744181 edges, 3899 markings/sec, 2640 secs
lola: 8097178 markings, 19784131 edges, 2948 markings/sec, 2645 secs
lola: 8109600 markings, 19816527 edges, 2484 markings/sec, 2650 secs
lola: 8128298 markings, 19861643 edges, 3740 markings/sec, 2655 secs
lola: 8142431 markings, 19899508 edges, 2827 markings/sec, 2660 secs
lola: 8158320 markings, 19938044 edges, 3178 markings/sec, 2665 secs
lola: 8172409 markings, 19975684 edges, 2818 markings/sec, 2670 secs
lola: 8187450 markings, 20014000 edges, 3008 markings/sec, 2675 secs
lola: 8204751 markings, 20057784 edges, 3460 markings/sec, 2680 secs
lola: 8220243 markings, 20094671 edges, 3098 markings/sec, 2685 secs
lola: 8232371 markings, 20125539 edges, 2426 markings/sec, 2690 secs
lola: 8248416 markings, 20160423 edges, 3209 markings/sec, 2695 secs
lola: 8265696 markings, 20205552 edges, 3456 markings/sec, 2700 secs
lola: 8279677 markings, 20243670 edges, 2796 markings/sec, 2705 secs
lola: 8294475 markings, 20278221 edges, 2960 markings/sec, 2710 secs
lola: 8311160 markings, 20322463 edges, 3337 markings/sec, 2715 secs
lola: 8324091 markings, 20356253 edges, 2586 markings/sec, 2720 secs
lola: 8340433 markings, 20397103 edges, 3268 markings/sec, 2725 secs
lola: 8354494 markings, 20432593 edges, 2812 markings/sec, 2730 secs
lola: 8368947 markings, 20469967 edges, 2891 markings/sec, 2735 secs
lola: 8387431 markings, 20514352 edges, 3697 markings/sec, 2740 secs
lola: 8399646 markings, 20546036 edges, 2443 markings/sec, 2745 secs
lola: 8411654 markings, 20574320 edges, 2402 markings/sec, 2750 secs
lola: 8430947 markings, 20619900 edges, 3859 markings/sec, 2755 secs
lola: 8445652 markings, 20660346 edges, 2941 markings/sec, 2760 secs
lola: 8458198 markings, 20692686 edges, 2509 markings/sec, 2765 secs
lola: 8475902 markings, 20735374 edges, 3541 markings/sec, 2770 secs
lola: 8489861 markings, 20772908 edges, 2792 markings/sec, 2775 secs
lola: 8505606 markings, 20811359 edges, 3149 markings/sec, 2780 secs
lola: 8518775 markings, 20846372 edges, 2634 markings/sec, 2785 secs
lola: 8533426 markings, 20883234 edges, 2930 markings/sec, 2790 secs
lola: 8552007 markings, 20928197 edges, 3716 markings/sec, 2795 secs
lola: 8564437 markings, 20960168 edges, 2486 markings/sec, 2800 secs
lola: 8576197 markings, 20988347 edges, 2352 markings/sec, 2805 secs
lola: 8595246 markings, 21033246 edges, 3810 markings/sec, 2810 secs
lola: 8610075 markings, 21073426 edges, 2966 markings/sec, 2815 secs
lola: 8622674 markings, 21106045 edges, 2520 markings/sec, 2820 secs
lola: 8640659 markings, 21149894 edges, 3597 markings/sec, 2825 secs
lola: 8654395 markings, 21186707 edges, 2747 markings/sec, 2830 secs
lola: 8670172 markings, 21225228 edges, 3155 markings/sec, 2835 secs
lola: 8684330 markings, 21261702 edges, 2832 markings/sec, 2840 secs
lola: 8700170 markings, 21302693 edges, 3168 markings/sec, 2845 secs
lola: 8716739 markings, 21341884 edges, 3314 markings/sec, 2850 secs
lola: 8728807 markings, 21372905 edges, 2414 markings/sec, 2855 secs
lola: 8744335 markings, 21407155 edges, 3106 markings/sec, 2860 secs
lola: 8761500 markings, 21452164 edges, 3433 markings/sec, 2865 secs
lola: 8775270 markings, 21489498 edges, 2754 markings/sec, 2870 secs
lola: 8791427 markings, 21527030 edges, 3231 markings/sec, 2875 secs
lola: 8806623 markings, 21568329 edges, 3039 markings/sec, 2880 secs
lola: 8821522 markings, 21604839 edges, 2980 markings/sec, 2885 secs
lola: 8835561 markings, 21642443 edges, 2808 markings/sec, 2890 secs
lola: 8851024 markings, 21681456 edges, 3093 markings/sec, 2895 secs
lola: 8868565 markings, 21723319 edges, 3508 markings/sec, 2900 secs
lola: 8880621 markings, 21754483 edges, 2411 markings/sec, 2905 secs
lola: 8895118 markings, 21786572 edges, 2899 markings/sec, 2910 secs
lola: 8912672 markings, 21831834 edges, 3511 markings/sec, 2915 secs
lola: 8926531 markings, 21869497 edges, 2772 markings/sec, 2920 secs
lola: 8942526 markings, 21906939 edges, 3199 markings/sec, 2925 secs
lola: 8957659 markings, 21948168 edges, 3027 markings/sec, 2930 secs
lola: 8972754 markings, 21985372 edges, 3019 markings/sec, 2935 secs
lola: 8986755 markings, 22021705 edges, 2800 markings/sec, 2940 secs
lola: 9003587 markings, 22065084 edges, 3366 markings/sec, 2945 secs
lola: 9018996 markings, 22102029 edges, 3082 markings/sec, 2950 secs
lola: 9031107 markings, 22132287 edges, 2422 markings/sec, 2955 secs
lola: 9048887 markings, 22172643 edges, 3556 markings/sec, 2960 secs
lola: 9064329 markings, 22214683 edges, 3088 markings/sec, 2965 secs
lola: 9077127 markings, 22248180 edges, 2560 markings/sec, 2970 secs
lola: 9094904 markings, 22291627 edges, 3555 markings/sec, 2975 secs
lola: 9108219 markings, 22326960 edges, 2663 markings/sec, 2980 secs
lola: 9124302 markings, 22368100 edges, 3217 markings/sec, 2985 secs
lola: 9138760 markings, 22404719 edges, 2892 markings/sec, 2990 secs
lola: 9156275 markings, 22446513 edges, 3503 markings/sec, 2995 secs
lola: 9168328 markings, 22477608 edges, 2411 markings/sec, 3000 secs
lola: 9184169 markings, 22512671 edges, 3168 markings/sec, 3005 secs
lola: 9200089 markings, 22555449 edges, 3184 markings/sec, 3010 secs
lola: 9213541 markings, 22591089 edges, 2690 markings/sec, 3015 secs
lola: 9230258 markings, 22631571 edges, 3343 markings/sec, 3020 secs
lola: 9244178 markings, 22668788 edges, 2784 markings/sec, 3025 secs
lola: 9259636 markings, 22707876 edges, 3092 markings/sec, 3030 secs
lola: 9273478 markings, 22743359 edges, 2768 markings/sec, 3035 secs
lola: 9290949 markings, 22785134 edges, 3494 markings/sec, 3040 secs
lola: 9303018 markings, 22816166 edges, 2414 markings/sec, 3045 secs
lola: 9318336 markings, 22848573 edges, 3064 markings/sec, 3050 secs
lola: 9337566 markings, 22896632 edges, 3846 markings/sec, 3055 secs
lola: 9352674 markings, 22937449 edges, 3022 markings/sec, 3060 secs
lola: 9366015 markings, 22971552 edges, 2668 markings/sec, 3065 secs
lola: 9379915 markings, 23003919 edges, 2780 markings/sec, 3070 secs
lola: 9392193 markings, 23035126 edges, 2456 markings/sec, 3075 secs
lola: 9405967 markings, 23065867 edges, 2755 markings/sec, 3080 secs
lola: 9417695 markings, 23096006 edges, 2346 markings/sec, 3085 secs
lola: 9431673 markings, 23127266 edges, 2796 markings/sec, 3090 secs
lola: 9443848 markings, 23158611 edges, 2435 markings/sec, 3095 secs
lola: 9457647 markings, 23189261 edges, 2760 markings/sec, 3100 secs
lola: 9469754 markings, 23220022 edges, 2421 markings/sec, 3105 secs
lola: 9483519 markings, 23251660 edges, 2753 markings/sec, 3110 secs
lola: 9495557 markings, 23281661 edges, 2408 markings/sec, 3115 secs
lola: 9509230 markings, 23313213 edges, 2735 markings/sec, 3120 secs
lola: 9521279 markings, 23342806 edges, 2410 markings/sec, 3125 secs
lola: 9534901 markings, 23374873 edges, 2724 markings/sec, 3130 secs
lola: 9547102 markings, 23403303 edges, 2440 markings/sec, 3135 secs
lola: 9560749 markings, 23436938 edges, 2729 markings/sec, 3140 secs
lola: 9574165 markings, 23466956 edges, 2683 markings/sec, 3145 secs
lola: 9586312 markings, 23497729 edges, 2429 markings/sec, 3150 secs
lola: 9599823 markings, 23529124 edges, 2702 markings/sec, 3155 secs
lola: 9611445 markings, 23556785 edges, 2324 markings/sec, 3160 secs
lola: 9631261 markings, 23603027 edges, 3963 markings/sec, 3165 secs
lola: 9646339 markings, 23642974 edges, 3016 markings/sec, 3170 secs
lola: 9658849 markings, 23674396 edges, 2502 markings/sec, 3175 secs
lola: 9672339 markings, 23707281 edges, 2698 markings/sec, 3180 secs
lola: 9685794 markings, 23738358 edges, 2691 markings/sec, 3185 secs
lola: 9697891 markings, 23767756 edges, 2419 markings/sec, 3190 secs
lola: time limit reached - aborting
lola:
preliminary result: 50 50 1 50 1 50 unknown 1 1 1 1 1 1 1 1 1
lola:
preliminary result: 50 50 1 50 1 50 unknown 1 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 50 1 50 1 50 unknown 1 1 1 1 1 1 1 1 1
lola: memory consumption: 453060 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 50 1 50 1 50 unknown 1 1 1 1 1 1 1 1 1
lola: memory consumption: 453060 KB
lola: time consumption: 3569 seconds

BK_STOP 1526576883220

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-PT-V50P50N10"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V50P50N10.tgz
mv BridgeAndVehicles-PT-V50P50N10 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is BridgeAndVehicles-PT-V50P50N10, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r028-ebro-152646306400331"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;