fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r028-ebro-152646306400341
Last Updated
June 26, 2018

About the Execution of LoLA for BridgeAndVehicles-PT-V50P50N20

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
526.390 3570579.00 7195671.00 492.20 ??FFFFFFFFTFFTTT normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
....................
/home/mcc/execution
total 4.3M
-rw-r--r-- 1 mcc users 13K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 47K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 110K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 319K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K 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 211K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 30K 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 208K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 589K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K 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 2.6M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BridgeAndVehicles-PT-V50P50N20, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306400341
=====================================================================


--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-00
FORMULA_NAME BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-01
FORMULA_NAME BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-02
FORMULA_NAME BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-03
FORMULA_NAME BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-04
FORMULA_NAME BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-05
FORMULA_NAME BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-06
FORMULA_NAME BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-07
FORMULA_NAME BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-08
FORMULA_NAME BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-09
FORMULA_NAME BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-10
FORMULA_NAME BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-11
FORMULA_NAME BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-12
FORMULA_NAME BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-13
FORMULA_NAME BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-14
FORMULA_NAME BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-15

=== Now, execution of the tool begins

BK_START 1526577340275

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-PT-V50P50N20 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-PT-V50P50N20 formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ BridgeAndVehicles-PT-V50P50N20 @ 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: 2486/65536 symbol table entries, 36 collisions
lola: preprocessing...
lola: Size of bit vector: 4416
lola: finding significant places
lola: 138 places, 2348 transitions, 131 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2693 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (3 <= CONTROLEUR_1 + CONTROLEUR_2)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (ATTENTE_A <= NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9)
lola: after: (ATTENTE_A <= 1)
lola: place invariant simplifies atomic proposition
lola: before: (SORTI_B <= NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9)
lola: after: (SORTI_B <= 1)
lola: place invariant simplifies atomic proposition
lola: before: (CONTROLEUR_1 + CONTROLEUR_2 <= NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9)
lola: after: (CONTROLEUR_1 + CONTROLEUR_2 <= 1)
lola: LP says that atomic proposition is always true: (CONTROLEUR_1 + CONTROLEUR_2 <= 1)
lola: place invariant simplifies atomic proposition
lola: before: (1 <= 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)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (CONTROLEUR_1 + CONTROLEUR_2 <= 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)
lola: after: (CONTROLEUR_1 + CONTROLEUR_2 <= 1)
lola: LP says that atomic proposition is always true: (CONTROLEUR_1 + CONTROLEUR_2 <= 1)
lola: LP says that atomic proposition is always false: (2 <= CONTROLEUR_1 + CONTROLEUR_2)
lola: LP says that atomic proposition is always false: (2 <= NB_ATTENTE_B_46)
lola: LP says that atomic proposition is always false: (3 <= NB_ATTENTE_A_5)
lola: LP says that atomic proposition is always false: (3 <= NB_ATTENTE_A_0)
lola: LP says that atomic proposition is always false: (3 <= NB_ATTENTE_A_36)
lola: LP says that atomic proposition is always false: (3 <= NB_ATTENTE_A_33)
lola: LP says that atomic proposition is always false: (2 <= NB_ATTENTE_A_10)
lola: LP says that atomic proposition is always false: (2 <= NB_ATTENTE_A_21)
lola: E (F ((CAPACITE <= 0))) : E (F (((2 <= CAPACITE) AND (SUR_PONT_B + 1 <= ATTENTE_B) AND (3 <= SUR_PONT_B)))) : E (F (())) : A (G ((((CAPACITE <= SUR_PONT_B) OR (1 <= ROUTE_A)) AND ((2 <= SORTI_B) OR ((1 <= ROUTE_B)))))) : A (G ((((1 <= CHOIX_1 + CHOIX_2)) OR (3 <= ROUTE_B)))) : A (G ((((SUR_PONT_B <= ROUTE_A) OR ((1 <= ATTENTE_B) AND (SORTI_A <= ATTENTE_B))) AND ((2 <= ROUTE_B) OR (SUR_PONT_B <= CHOIX_1 + CHOIX_2) OR (3 <= ROUTE_B))))) : A (G ((3 <= ROUTE_A))) : E (F (())) : E (F (FALSE)) : A (G (((NB_ATTENTE_A_44 <= NB_ATTENTE_B_29)))) : A (G (TRUE)) : E (F (())) : A (G ((COMPTEUR_9 <= SORTI_B))) : E (F (((1 <= NB_ATTENTE_B_22) AND ((NB_ATTENTE_A_47 + 1 <= COMPTEUR_0) OR (COMPTEUR_11 + 1 <= NB_ATTENTE_A_47))))) : E (F ((1 <= NB_ATTENTE_A_20))) : A (G (()))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges

FORMULA BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges

FORMULA BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 2 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 18 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges

FORMULA BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 18 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 354 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((3 <= ROUTE_A)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((3 <= ROUTE_A)))
lola: processed formula length: 22
lola: 20 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (ROUTE_A <= 2)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-6-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 49 markings, 48 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 394 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((1 <= NB_ATTENTE_A_20)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((1 <= NB_ATTENTE_A_20)))
lola: processed formula length: 30
lola: 19 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (1 <= NB_ATTENTE_A_20)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-7-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 21 markings, 20 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 443 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((CAPACITE <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((CAPACITE <= 0)))
lola: processed formula length: 23
lola: 19 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (CAPACITE <= 0)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 6382 markings, 13253 edges, 1276 markings/sec, 0 secs
lola: sara is running 5 secs || 12958 markings, 29605 edges, 1315 markings/sec, 5 secs
lola: sara is running 10 secs || 19149 markings, 45467 edges, 1238 markings/sec, 10 secs
lola: sara is running 15 secs || 25897 markings, 63035 edges, 1350 markings/sec, 15 secs
lola: sara is running 20 secs || 32160 markings, 79537 edges, 1253 markings/sec, 20 secs
lola: sara is running 25 secs || 38512 markings, 96332 edges, 1270 markings/sec, 25 secs
lola: sara is running 30 secs || 44804 markings, 113132 edges, 1258 markings/sec, 30 secs
lola: sara is running 35 secs || 50858 markings, 129598 edges, 1211 markings/sec, 35 secs
lola: sara is running 40 secs || 57108 markings, 146168 edges, 1250 markings/sec, 40 secs
lola: sara is running 45 secs || 63841 markings, 164335 edges, 1347 markings/sec, 45 secs
lola: sara is running 50 secs || 70380 markings, 182174 edges, 1308 markings/sec, 50 secs
lola: sara is running 55 secs || 76435 markings, 199037 edges, 1211 markings/sec, 55 secs
lola: sara is running 60 secs || 83382 markings, 217205 edges, 1389 markings/sec, 60 secs
lola: sara is running 65 secs || 90408 markings, 236322 edges, 1405 markings/sec, 65 secs
lola: sara is running 70 secs || 96982 markings, 254329 edges, 1315 markings/sec, 70 secs
lola: sara is running 75 secs || 103667 markings, 272692 edges, 1337 markings/sec, 75 secs
lola: sara is running 80 secs || 109750 markings, 289272 edges, 1217 markings/sec, 80 secs
lola: sara is running 85 secs || 116789 markings, 308343 edges, 1408 markings/sec, 85 secs
lola: sara is running 90 secs || 123859 markings, 327678 edges, 1414 markings/sec, 90 secs
lola: sara is running 95 secs || 130256 markings, 345535 edges, 1279 markings/sec, 95 secs
lola: sara is running 100 secs || 136736 markings, 363555 edges, 1296 markings/sec, 100 secs
lola: sara is running 105 secs || 143199 markings, 381923 edges, 1293 markings/sec, 105 secs
lola: sara is running 110 secs || 150229 markings, 400131 edges, 1406 markings/sec, 110 secs
lola: sara is running 115 secs || 157196 markings, 419219 edges, 1393 markings/sec, 115 secs
lola: sara is running 120 secs || 164739 markings, 439738 edges, 1509 markings/sec, 120 secs
lola: sara is running 125 secs || 171676 markings, 459022 edges, 1387 markings/sec, 125 secs
lola: sara is running 130 secs || 178561 markings, 478046 edges, 1377 markings/sec, 130 secs
lola: sara is running 135 secs || 185536 markings, 497278 edges, 1395 markings/sec, 135 secs
lola: sara is running 140 secs || 191146 markings, 513397 edges, 1122 markings/sec, 140 secs
lola: sara is running 145 secs || 197510 markings, 529820 edges, 1273 markings/sec, 145 secs
lola: sara is running 150 secs || 202427 markings, 543121 edges, 983 markings/sec, 150 secs
lola: sara is running 155 secs || 208358 markings, 559398 edges, 1186 markings/sec, 155 secs
lola: sara is running 160 secs || 214466 markings, 576403 edges, 1222 markings/sec, 160 secs
lola: sara is running 165 secs || 220445 markings, 593422 edges, 1196 markings/sec, 165 secs
lola: sara is running 170 secs || 226087 markings, 609983 edges, 1128 markings/sec, 170 secs
lola: sara is running 175 secs || 232523 markings, 627989 edges, 1287 markings/sec, 175 secs
lola: sara is running 180 secs || 238452 markings, 645125 edges, 1186 markings/sec, 180 secs
lola: sara is running 185 secs || 243905 markings, 661360 edges, 1091 markings/sec, 185 secs
lola: sara is running 190 secs || 250623 markings, 680031 edges, 1344 markings/sec, 190 secs
lola: sara is running 195 secs || 255928 markings, 696292 edges, 1061 markings/sec, 195 secs
lola: sara is running 200 secs || 262866 markings, 715833 edges, 1388 markings/sec, 200 secs
lola: sara is running 205 secs || 268405 markings, 732959 edges, 1108 markings/sec, 205 secs
lola: sara is running 210 secs || 273996 markings, 747187 edges, 1118 markings/sec, 210 secs
lola: sara is running 215 secs || 279925 markings, 763547 edges, 1186 markings/sec, 215 secs
lola: sara is running 220 secs || 285740 markings, 780211 edges, 1163 markings/sec, 220 secs
lola: sara is running 225 secs || 291788 markings, 797531 edges, 1210 markings/sec, 225 secs
lola: sara is running 230 secs || 297972 markings, 814761 edges, 1237 markings/sec, 230 secs
lola: sara is running 235 secs || 303483 markings, 831287 edges, 1102 markings/sec, 235 secs
lola: sara is running 240 secs || 309554 markings, 848607 edges, 1214 markings/sec, 240 secs
lola: sara is running 245 secs || 315431 markings, 865800 edges, 1175 markings/sec, 245 secs
lola: sara is running 250 secs || 321264 markings, 882719 edges, 1167 markings/sec, 250 secs
lola: sara is running 255 secs || 327051 markings, 900061 edges, 1157 markings/sec, 255 secs
lola: sara is running 260 secs || 333236 markings, 917455 edges, 1237 markings/sec, 260 secs
lola: sara is running 265 secs || 338210 markings, 933115 edges, 995 markings/sec, 265 secs
lola: sara is running 270 secs || 345545 markings, 953295 edges, 1467 markings/sec, 270 secs
lola: sara is running 275 secs || 350877 markings, 970172 edges, 1066 markings/sec, 275 secs
lola: sara is running 280 secs || 356572 markings, 984407 edges, 1139 markings/sec, 280 secs
lola: sara is running 285 secs || 362404 markings, 1000755 edges, 1166 markings/sec, 285 secs
lola: sara is running 290 secs || 368419 markings, 1017695 edges, 1203 markings/sec, 290 secs
lola: sara is running 295 secs || 374257 markings, 1034120 edges, 1168 markings/sec, 295 secs
lola: sara is running 300 secs || 379609 markings, 1050380 edges, 1070 markings/sec, 300 secs
lola: sara is running 305 secs || 385960 markings, 1068098 edges, 1270 markings/sec, 305 secs
lola: sara is running 310 secs || 390983 markings, 1083524 edges, 1005 markings/sec, 310 secs
lola: sara is running 315 secs || 397559 markings, 1101899 edges, 1315 markings/sec, 315 secs
lola: sara is running 320 secs || 402456 markings, 1117337 edges, 979 markings/sec, 320 secs
lola: sara is running 325 secs || 409233 markings, 1135856 edges, 1355 markings/sec, 325 secs
lola: sara is running 330 secs || 414468 markings, 1152345 edges, 1047 markings/sec, 330 secs
lola: sara is running 335 secs || 420514 markings, 1170294 edges, 1209 markings/sec, 335 secs
lola: sara is running 340 secs || 426685 markings, 1187585 edges, 1234 markings/sec, 340 secs
lola: sara is running 345 secs || 431611 markings, 1203275 edges, 985 markings/sec, 345 secs
lola: sara is running 350 secs || 438406 markings, 1222930 edges, 1359 markings/sec, 350 secs
lola: sara is running 355 secs || 445515 markings, 1243036 edges, 1422 markings/sec, 355 secs
lola: sara is running 360 secs || 449354 markings, 1254001 edges, 768 markings/sec, 360 secs
lola: sara is running 365 secs || 455081 markings, 1269363 edges, 1145 markings/sec, 365 secs
lola: sara is running 370 secs || 460947 markings, 1286051 edges, 1173 markings/sec, 370 secs
lola: sara is running 375 secs || 467124 markings, 1303409 edges, 1235 markings/sec, 375 secs
lola: sara is running 380 secs || 472413 markings, 1318836 edges, 1058 markings/sec, 380 secs
lola: sara is running 385 secs || 478180 markings, 1335804 edges, 1153 markings/sec, 385 secs
lola: sara is running 390 secs || 483806 markings, 1352157 edges, 1125 markings/sec, 390 secs
lola: sara is running 395 secs || 489505 markings, 1368960 edges, 1140 markings/sec, 395 secs
lola: sara is running 400 secs || 494931 markings, 1385230 edges, 1085 markings/sec, 400 secs
lola: sara is running 405 secs || 501324 markings, 1403206 edges, 1279 markings/sec, 405 secs
lola: sara is running 410 secs || 506074 markings, 1418404 edges, 950 markings/sec, 410 secs
lola: sara is running 415 secs || 512467 markings, 1436533 edges, 1279 markings/sec, 415 secs
lola: sara is running 420 secs || 518193 markings, 1453445 edges, 1145 markings/sec, 420 secs
lola: sara is running 425 secs || 523088 markings, 1468959 edges, 979 markings/sec, 425 secs
lola: sara is running 430 secs || 529657 markings, 1487937 edges, 1314 markings/sec, 430 secs
lola: sara is running 435 secs || 535497 markings, 1504708 edges, 1168 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no unknown unknown unknown no no no unknown yes no unknown unknown yes yes
lola: memory consumption: 63152 KB
lola: time consumption: 467 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 443 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NB_ATTENTE_A_44 <= NB_ATTENTE_B_29))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((NB_ATTENTE_A_44 <= NB_ATTENTE_B_29))))
lola: processed formula length: 46
lola: 20 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((NB_ATTENTE_B_29 + 1 <= NB_ATTENTE_A_44))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-9-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 168 markings, 167 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 517 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((COMPTEUR_9 <= SORTI_B)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((COMPTEUR_9 <= SORTI_B)))
lola: processed formula length: 31
lola: 20 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (SORTI_B + 1 <= COMPTEUR_9)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 26 markings, 25 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 620 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((1 <= CHOIX_1 + CHOIX_2)) OR (3 <= ROUTE_B))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((((1 <= CHOIX_1 + CHOIX_2)) OR (3 <= ROUTE_B))))
lola: processed formula length: 55
lola: 20 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((CHOIX_1 + CHOIX_2 <= 0)) AND (ROUTE_B <= 2))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-11-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 50 markings, 49 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 775 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= CAPACITE) AND (SUR_PONT_B + 1 <= ATTENTE_B) AND (3 <= SUR_PONT_B))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((2 <= CAPACITE) AND (SUR_PONT_B + 1 <= ATTENTE_B) AND (3 <= SUR_PONT_B))))
lola: processed formula length: 81
lola: 19 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((2 <= CAPACITE) AND (SUR_PONT_B + 1 <= ATTENTE_B) AND (3 <= SUR_PONT_B))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 9411 markings, 15997 edges, 1882 markings/sec, 0 secs
lola: sara is running 5 secs || 19336 markings, 35007 edges, 1985 markings/sec, 5 secs
lola: sara is running 10 secs || 39093 markings, 91694 edges, 3951 markings/sec, 10 secs
lola: sara is running 15 secs || 48183 markings, 111726 edges, 1818 markings/sec, 15 secs
lola: sara is running 20 secs || 66214 markings, 163613 edges, 3606 markings/sec, 20 secs
lola: sara is running 25 secs || 76648 markings, 187521 edges, 2087 markings/sec, 25 secs
lola: sara is running 30 secs || 93230 markings, 234210 edges, 3316 markings/sec, 30 secs
lola: sara is running 35 secs || 104497 markings, 261234 edges, 2253 markings/sec, 35 secs
lola: sara is running 40 secs || 121114 markings, 308330 edges, 3323 markings/sec, 40 secs
lola: sara is running 45 secs || 131579 markings, 332760 edges, 2093 markings/sec, 45 secs
lola: sara is running 50 secs || 149262 markings, 383300 edges, 3537 markings/sec, 50 secs
lola: sara is running 55 secs || 158438 markings, 403074 edges, 1835 markings/sec, 55 secs
lola: sara is running 60 secs || 175787 markings, 452142 edges, 3470 markings/sec, 60 secs
lola: sara is running 65 secs || 184978 markings, 472350 edges, 1838 markings/sec, 65 secs
lola: sara is running 70 secs || 201718 markings, 519637 edges, 3348 markings/sec, 70 secs
lola: sara is running 75 secs || 215725 markings, 556918 edges, 2801 markings/sec, 75 secs
lola: sara is running 80 secs || 227631 markings, 586564 edges, 2381 markings/sec, 80 secs
lola: sara is running 85 secs || 243945 markings, 631877 edges, 3263 markings/sec, 85 secs
lola: sara is running 90 secs || 255567 markings, 660751 edges, 2324 markings/sec, 90 secs
lola: sara is running 95 secs || 268711 markings, 695280 edges, 2629 markings/sec, 95 secs
lola: sara is running 100 secs || 284114 markings, 737659 edges, 3081 markings/sec, 100 secs
lola: sara is running 105 secs || 299567 markings, 779770 edges, 3091 markings/sec, 105 secs
lola: sara is running 110 secs || 308998 markings, 800676 edges, 1886 markings/sec, 110 secs
lola: sara is running 115 secs || 323433 markings, 839605 edges, 2887 markings/sec, 115 secs
lola: sara is running 120 secs || 338158 markings, 879052 edges, 2945 markings/sec, 120 secs
lola: sara is running 125 secs || 352180 markings, 916614 edges, 2804 markings/sec, 125 secs
lola: sara is running 130 secs || 366204 markings, 953881 edges, 2805 markings/sec, 130 secs
lola: sara is running 135 secs || 379999 markings, 990186 edges, 2759 markings/sec, 135 secs
lola: sara is running 140 secs || 393396 markings, 1025340 edges, 2679 markings/sec, 140 secs
lola: sara is running 145 secs || 406881 markings, 1060062 edges, 2697 markings/sec, 145 secs
lola: sara is running 150 secs || 420134 markings, 1094096 edges, 2651 markings/sec, 150 secs
lola: sara is running 155 secs || 429956 markings, 1116164 edges, 1964 markings/sec, 155 secs
lola: sara is running 160 secs || 439259 markings, 1137220 edges, 1861 markings/sec, 160 secs
lola: sara is running 165 secs || 449429 markings, 1157956 edges, 2034 markings/sec, 165 secs
lola: sara is running 170 secs || 463604 markings, 1195498 edges, 2835 markings/sec, 170 secs
lola: sara is running 175 secs || 478452 markings, 1236584 edges, 2970 markings/sec, 175 secs
lola: sara is running 180 secs || 488087 markings, 1258835 edges, 1927 markings/sec, 180 secs
lola: sara is running 185 secs || 496496 markings, 1278311 edges, 1682 markings/sec, 185 secs
lola: sara is running 190 secs || 513105 markings, 1325907 edges, 3322 markings/sec, 190 secs
lola: sara is running 195 secs || 524460 markings, 1354729 edges, 2271 markings/sec, 195 secs
lola: sara is running 200 secs || 534175 markings, 1377535 edges, 1943 markings/sec, 200 secs
lola: sara is running 205 secs || 543149 markings, 1398199 edges, 1795 markings/sec, 205 secs
lola: sara is running 210 secs || 560938 markings, 1451059 edges, 3558 markings/sec, 210 secs
lola: sara is running 215 secs || 569592 markings, 1470702 edges, 1731 markings/sec, 215 secs
lola: sara is running 220 secs || 579174 markings, 1493087 edges, 1916 markings/sec, 220 secs
lola: sara is running 225 secs || 589737 markings, 1519072 edges, 2113 markings/sec, 225 secs
lola: sara is running 230 secs || 606196 markings, 1565913 edges, 3292 markings/sec, 230 secs
lola: sara is running 235 secs || 615667 markings, 1587870 edges, 1894 markings/sec, 235 secs
lola: sara is running 240 secs || 624599 markings, 1608603 edges, 1786 markings/sec, 240 secs
lola: sara is running 245 secs || 641722 markings, 1658730 edges, 3425 markings/sec, 245 secs
lola: sara is running 250 secs || 650565 markings, 1678510 edges, 1769 markings/sec, 250 secs
lola: sara is running 255 secs || 660006 markings, 1701030 edges, 1888 markings/sec, 255 secs
lola: sara is running 260 secs || 676293 markings, 1747760 edges, 3257 markings/sec, 260 secs
lola: sara is running 265 secs || 685946 markings, 1770721 edges, 1931 markings/sec, 265 secs
lola: sara is running 270 secs || 695322 markings, 1792776 edges, 1875 markings/sec, 270 secs
lola: sara is running 275 secs || 709495 markings, 1831678 edges, 2835 markings/sec, 275 secs
lola: sara is running 280 secs || 720950 markings, 1861124 edges, 2291 markings/sec, 280 secs
lola: sara is running 285 secs || 730362 markings, 1883275 edges, 1882 markings/sec, 285 secs
lola: sara is running 290 secs || 744834 markings, 1923283 edges, 2894 markings/sec, 290 secs
lola: sara is running 295 secs || 755513 markings, 1950077 edges, 2136 markings/sec, 295 secs
lola: sara is running 300 secs || 764922 markings, 1972011 edges, 1882 markings/sec, 300 secs
lola: sara is running 305 secs || 781056 markings, 2018124 edges, 3227 markings/sec, 305 secs
lola: sara is running 310 secs || 789846 markings, 2037559 edges, 1758 markings/sec, 310 secs
lola: sara is running 315 secs || 799270 markings, 2059905 edges, 1885 markings/sec, 315 secs
lola: sara is running 320 secs || 814654 markings, 2103550 edges, 3077 markings/sec, 320 secs
lola: sara is running 325 secs || 824048 markings, 2125439 edges, 1879 markings/sec, 325 secs
lola: sara is running 330 secs || 835385 markings, 2155040 edges, 2267 markings/sec, 330 secs
lola: sara is running 335 secs || 847778 markings, 2188034 edges, 2479 markings/sec, 335 secs
lola: sara is running 340 secs || 857023 markings, 2209433 edges, 1849 markings/sec, 340 secs
lola: sara is running 345 secs || 872199 markings, 2251745 edges, 3035 markings/sec, 345 secs
lola: sara is running 350 secs || 881506 markings, 2273680 edges, 1861 markings/sec, 350 secs
lola: sara is running 355 secs || 896044 markings, 2314255 edges, 2908 markings/sec, 355 secs
lola: sara is running 360 secs || 905304 markings, 2335043 edges, 1852 markings/sec, 360 secs
lola: sara is running 365 secs || 917059 markings, 2366607 edges, 2351 markings/sec, 365 secs
lola: sara is running 370 secs || 928266 markings, 2394596 edges, 2241 markings/sec, 370 secs
lola: sara is running 375 secs || 938568 markings, 2420483 edges, 2060 markings/sec, 375 secs
lola: sara is running 380 secs || 951003 markings, 2453530 edges, 2487 markings/sec, 380 secs
lola: sara is running 385 secs || 961816 markings, 2480761 edges, 2163 markings/sec, 385 secs
lola: sara is running 390 secs || 974250 markings, 2513025 edges, 2487 markings/sec, 390 secs
lola: sara is running 395 secs || 987226 markings, 2548608 edges, 2595 markings/sec, 395 secs
lola: sara is running 400 secs || 997027 markings, 2571664 edges, 1960 markings/sec, 400 secs
lola: sara is running 405 secs || 1009991 markings, 2606901 edges, 2593 markings/sec, 405 secs
lola: sara is running 410 secs || 1018972 markings, 2628011 edges, 1796 markings/sec, 410 secs
lola: sara is running 415 secs || 1031687 markings, 2661992 edges, 2543 markings/sec, 415 secs
lola: sara is running 420 secs || 1044262 markings, 2695415 edges, 2515 markings/sec, 420 secs
lola: sara is running 425 secs || 1054175 markings, 2718430 edges, 1983 markings/sec, 425 secs
lola: sara is running 430 secs || 1062323 markings, 2738063 edges, 1630 markings/sec, 430 secs
lola: sara is running 435 secs || 1073360 markings, 2764092 edges, 2207 markings/sec, 435 secs
lola: sara is running 440 secs || 1081617 markings, 2783189 edges, 1651 markings/sec, 440 secs
lola: sara is running 445 secs || 1089634 markings, 2800619 edges, 1603 markings/sec, 445 secs
lola: sara is running 450 secs || 1098467 markings, 2819838 edges, 1767 markings/sec, 450 secs
lola: sara is running 455 secs || 1108593 markings, 2843550 edges, 2025 markings/sec, 455 secs
lola: sara is running 460 secs || 1120742 markings, 2874871 edges, 2430 markings/sec, 460 secs
lola: sara is running 465 secs || 1135985 markings, 2918519 edges, 3049 markings/sec, 465 secs
lola: sara is running 470 secs || 1144477 markings, 2939408 edges, 1698 markings/sec, 470 secs
lola: sara is running 475 secs || 1154427 markings, 2962703 edges, 1990 markings/sec, 475 secs
lola: sara is running 480 secs || 1162876 markings, 2983757 edges, 1690 markings/sec, 480 secs
lola: sara is running 485 secs || 1172247 markings, 3006255 edges, 1874 markings/sec, 485 secs
lola: sara is running 490 secs || 1188975 markings, 3055627 edges, 3346 markings/sec, 490 secs
lola: sara is running 495 secs || 1198946 markings, 3080684 edges, 1994 markings/sec, 495 secs
lola: sara is running 500 secs || 1206873 markings, 3100551 edges, 1585 markings/sec, 500 secs
lola: sara is running 505 secs || 1217334 markings, 3125452 edges, 2092 markings/sec, 505 secs
lola: sara is running 510 secs || 1225533 markings, 3145344 edges, 1640 markings/sec, 510 secs
lola: sara is running 515 secs || 1234803 markings, 3167706 edges, 1854 markings/sec, 515 secs
lola: sara is running 520 secs || 1252253 markings, 3219683 edges, 3490 markings/sec, 520 secs
lola: sara is running 525 secs || 1260953 markings, 3240362 edges, 1740 markings/sec, 525 secs
lola: sara is running 530 secs || 1270686 markings, 3263431 edges, 1947 markings/sec, 530 secs
lola: sara is running 535 secs || 1279174 markings, 3284572 edges, 1698 markings/sec, 535 secs
lola: sara is running 540 secs || 1288498 markings, 3307116 edges, 1865 markings/sec, 540 secs
lola: sara is running 545 secs || 1305789 markings, 3358648 edges, 3458 markings/sec, 545 secs
lola: sara is running 550 secs || 1314108 markings, 3377914 edges, 1664 markings/sec, 550 secs
lola: sara is running 555 secs || 1323195 markings, 3399166 edges, 1817 markings/sec, 555 secs
lola: sara is running 560 secs || 1332186 markings, 3422382 edges, 1798 markings/sec, 560 secs
lola: sara is running 565 secs || 1341373 markings, 3444001 edges, 1837 markings/sec, 565 secs
lola: sara is running 570 secs || 1358451 markings, 3494714 edges, 3416 markings/sec, 570 secs
lola: sara is running 575 secs || 1366624 markings, 3513743 edges, 1635 markings/sec, 575 secs
lola: sara is running 580 secs || 1375911 markings, 3535300 edges, 1857 markings/sec, 580 secs
lola: sara is running 585 secs || 1384639 markings, 3557947 edges, 1746 markings/sec, 585 secs
lola: sara is running 590 secs || 1393751 markings, 3579590 edges, 1822 markings/sec, 590 secs
lola: sara is running 595 secs || 1409949 markings, 3627499 edges, 3240 markings/sec, 595 secs
lola: sara is running 600 secs || 1418496 markings, 3647719 edges, 1709 markings/sec, 600 secs
lola: sara is running 605 secs || 1428175 markings, 3670496 edges, 1936 markings/sec, 605 secs
lola: sara is running 610 secs || 1436595 markings, 3691559 edges, 1684 markings/sec, 610 secs
lola: sara is running 615 secs || 1446228 markings, 3715576 edges, 1927 markings/sec, 615 secs
lola: sara is running 620 secs || 1461637 markings, 3759888 edges, 3082 markings/sec, 620 secs
lola: sara is running 625 secs || 1469734 markings, 3779977 edges, 1619 markings/sec, 625 secs
lola: sara is running 630 secs || 1479816 markings, 3804381 edges, 2016 markings/sec, 630 secs
lola: sara is running 635 secs || 1488573 markings, 3825093 edges, 1751 markings/sec, 635 secs
lola: sara is running 640 secs || 1504355 markings, 3871441 edges, 3156 markings/sec, 640 secs
lola: sara is running 645 secs || 1512593 markings, 3890867 edges, 1648 markings/sec, 645 secs
lola: sara is running 650 secs || 1522320 markings, 3914261 edges, 1945 markings/sec, 650 secs
lola: sara is running 655 secs || 1530501 markings, 3934433 edges, 1636 markings/sec, 655 secs
lola: sara is running 660 secs || 1546208 markings, 3979499 edges, 3141 markings/sec, 660 secs
lola: sara is running 665 secs || 1554791 markings, 4000183 edges, 1717 markings/sec, 665 secs
lola: sara is running 670 secs || 1564046 markings, 4022131 edges, 1851 markings/sec, 670 secs
lola: sara is running 675 secs || 1572553 markings, 4043390 edges, 1701 markings/sec, 675 secs
lola: sara is running 680 secs || 1586995 markings, 4084131 edges, 2888 markings/sec, 680 secs
lola: sara is running 685 secs || 1596414 markings, 4107822 edges, 1884 markings/sec, 685 secs
lola: sara is running 690 secs || 1605705 markings, 4130079 edges, 1858 markings/sec, 690 secs
lola: sara is running 695 secs || 1613929 markings, 4150489 edges, 1645 markings/sec, 695 secs
lola: sara is running 700 secs || 1629412 markings, 4194834 edges, 3097 markings/sec, 700 secs
lola: sara is running 705 secs || 1637259 markings, 4213330 edges, 1569 markings/sec, 705 secs
lola: sara is running 710 secs || 1646944 markings, 4236746 edges, 1937 markings/sec, 710 secs
lola: sara is running 715 secs || 1655526 markings, 4257683 edges, 1716 markings/sec, 715 secs
lola: sara is running 720 secs || 1669649 markings, 4297899 edges, 2825 markings/sec, 720 secs
lola: sara is running 725 secs || 1677657 markings, 4317544 edges, 1602 markings/sec, 725 secs
lola: sara is running 730 secs || 1687454 markings, 4341516 edges, 1959 markings/sec, 730 secs
lola: sara is running 735 secs || 1701158 markings, 4379634 edges, 2741 markings/sec, 735 secs
lola: sara is running 740 secs || 1710016 markings, 4401589 edges, 1772 markings/sec, 740 secs
lola: sara is running 745 secs || 1719550 markings, 4424664 edges, 1907 markings/sec, 745 secs
lola: sara is running 750 secs || 1728078 markings, 4445477 edges, 1706 markings/sec, 750 secs
lola: sara is running 755 secs || 1741731 markings, 4483690 edges, 2731 markings/sec, 755 secs
lola: sara is running 760 secs || 1750994 markings, 4505775 edges, 1853 markings/sec, 760 secs
lola: sara is running 765 secs || 1759676 markings, 4527380 edges, 1736 markings/sec, 765 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no unknown no unknown no no no no yes no no unknown yes yes
lola: memory consumption: 119188 KB
lola: time consumption: 1243 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 775 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= NB_ATTENTE_B_22) AND ((NB_ATTENTE_A_47 + 1 <= COMPTEUR_0) OR (COMPTEUR_11 + 1 <= NB_ATTENTE_A_47)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((1 <= NB_ATTENTE_B_22) AND ((NB_ATTENTE_A_47 + 1 <= COMPTEUR_0) OR (COMPTEUR_11 + 1 <= NB_ATTENTE_A_47)))))
lola: processed formula length: 115
lola: 19 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((1 <= NB_ATTENTE_B_22) AND ((NB_ATTENTE_A_47 + 1 <= COMPTEUR_0) OR (COMPTEUR_11 + 1 <= NB_ATTENTE_A_47)))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-13-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.

FORMULA BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1162 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((CAPACITE <= SUR_PONT_B) OR (1 <= ROUTE_A)) AND ((2 <= SORTI_B) OR ((1 <= ROUTE_B))))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((((CAPACITE <= SUR_PONT_B) OR (1 <= ROUTE_A)) AND ((2 <= SORTI_B) OR ((1 <= ROUTE_B))))))
lola: processed formula length: 97
lola: 20 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: ========================================
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((SUR_PONT_B + 1 <= CAPACITE) AND (ROUTE_A <= 0)) OR ((SORTI_B <= 1) AND ((ROUTE_B <= 0))))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-14-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 51 markings, 50 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2325 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((SUR_PONT_B <= ROUTE_A) OR ((1 <= ATTENTE_B) AND (SORTI_A <= ATTENTE_B))) AND ((2 <= ROUTE_B) OR (SUR_PONT_B <= CHOIX_1 + CHOIX_2) OR (3 <= ROUTE_B)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((((SUR_PONT_B <= ROUTE_A) OR ((1 <= ATTENTE_B) AND (SORTI_A <= ATTENTE_B))) AND ((2 <= ROUTE_B) OR (SUR_PONT_B <= CHOIX_1 + CHOIX_2) OR (3 <= ROUTE_B)))))
lola: processed formula length: 163
lola: 20 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((ROUTE_A + 1 <= SUR_PONT_B) AND ((ATTENTE_B <= 0) OR (ATTENTE_B + 1 <= SORTI_A))) OR ((ROUTE_B <= 1) AND (CHOIX_1 + CHOIX_2 + 1 <= SUR_PONT_B) AND (ROUTE_B <= 2)))
lola: state equation: Generated DNF with 7 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-15-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 166 markings, 165 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F ((CAPACITE <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((CAPACITE <= 0)))
lola: processed formula length: 23
lola: 19 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (CAPACITE <= 0)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V50P50N20-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 6686 markings, 14024 edges, 1337 markings/sec, 0 secs
lola: sara is running 5 secs || 13291 markings, 30415 edges, 1321 markings/sec, 5 secs
lola: sara is running 10 secs || 19454 markings, 46211 edges, 1233 markings/sec, 10 secs
lola: sara is running 15 secs || 26305 markings, 64068 edges, 1370 markings/sec, 15 secs
lola: sara is running 20 secs || 32563 markings, 80705 edges, 1252 markings/sec, 20 secs
lola: sara is running 25 secs || 39233 markings, 98258 edges, 1334 markings/sec, 25 secs
lola: sara is running 30 secs || 45618 markings, 115462 edges, 1277 markings/sec, 30 secs
lola: sara is running 35 secs || 51841 markings, 132465 edges, 1245 markings/sec, 35 secs
lola: sara is running 40 secs || 58724 markings, 150490 edges, 1377 markings/sec, 40 secs
lola: sara is running 45 secs || 65342 markings, 168345 edges, 1324 markings/sec, 45 secs
lola: sara is running 50 secs || 71536 markings, 185518 edges, 1239 markings/sec, 50 secs
lola: sara is running 55 secs || 77838 markings, 202581 edges, 1260 markings/sec, 55 secs
lola: sara is running 60 secs || 84990 markings, 221482 edges, 1430 markings/sec, 60 secs
lola: sara is running 65 secs || 91783 markings, 240002 edges, 1359 markings/sec, 65 secs
lola: sara is running 70 secs || 98571 markings, 258642 edges, 1358 markings/sec, 70 secs
lola: sara is running 75 secs || 104835 markings, 276272 edges, 1253 markings/sec, 75 secs
lola: sara is running 80 secs || 111272 markings, 293370 edges, 1287 markings/sec, 80 secs
lola: sara is running 85 secs || 118300 markings, 312467 edges, 1406 markings/sec, 85 secs
lola: sara is running 90 secs || 125113 markings, 331134 edges, 1363 markings/sec, 90 secs
lola: sara is running 95 secs || 131950 markings, 350057 edges, 1367 markings/sec, 95 secs
lola: sara is running 100 secs || 138636 markings, 368718 edges, 1337 markings/sec, 100 secs
lola: sara is running 105 secs || 144676 markings, 385758 edges, 1208 markings/sec, 105 secs
lola: sara is running 110 secs || 152052 markings, 405161 edges, 1475 markings/sec, 110 secs
lola: sara is running 115 secs || 159335 markings, 425020 edges, 1457 markings/sec, 115 secs
lola: sara is running 120 secs || 166118 markings, 443733 edges, 1357 markings/sec, 120 secs
lola: sara is running 125 secs || 172939 markings, 462592 edges, 1364 markings/sec, 125 secs
lola: sara is running 130 secs || 179865 markings, 482037 edges, 1385 markings/sec, 130 secs
lola: sara is running 135 secs || 187102 markings, 501887 edges, 1447 markings/sec, 135 secs
lola: sara is running 140 secs || 193089 markings, 517852 edges, 1197 markings/sec, 140 secs
lola: sara is running 145 secs || 198186 markings, 532440 edges, 1019 markings/sec, 145 secs
lola: sara is running 150 secs || 203794 markings, 546705 edges, 1122 markings/sec, 150 secs
lola: sara is running 155 secs || 210271 markings, 564569 edges, 1295 markings/sec, 155 secs
lola: sara is running 160 secs || 216267 markings, 581422 edges, 1199 markings/sec, 160 secs
lola: sara is running 165 secs || 222272 markings, 598379 edges, 1201 markings/sec, 165 secs
lola: sara is running 170 secs || 228007 markings, 615301 edges, 1147 markings/sec, 170 secs
lola: sara is running 175 secs || 233786 markings, 631983 edges, 1156 markings/sec, 175 secs
lola: sara is running 180 secs || 240274 markings, 649889 edges, 1298 markings/sec, 180 secs
lola: sara is running 185 secs || 245420 markings, 665863 edges, 1029 markings/sec, 185 secs
lola: sara is running 190 secs || 252358 markings, 685072 edges, 1388 markings/sec, 190 secs
lola: sara is running 195 secs || 257516 markings, 700804 edges, 1032 markings/sec, 195 secs
lola: sara is running 200 secs || 265702 markings, 723543 edges, 1637 markings/sec, 200 secs
lola: sara is running 205 secs || 269689 markings, 736188 edges, 797 markings/sec, 205 secs
lola: sara is running 210 secs || 275631 markings, 751763 edges, 1188 markings/sec, 210 secs
lola: sara is running 215 secs || 282141 markings, 769585 edges, 1302 markings/sec, 215 secs
lola: sara is running 220 secs || 287711 markings, 785512 edges, 1114 markings/sec, 220 secs
lola: sara is running 225 secs || 293386 markings, 802147 edges, 1135 markings/sec, 225 secs
lola: sara is running 230 secs || 299571 markings, 819754 edges, 1237 markings/sec, 230 secs
lola: sara is running 235 secs || 305398 markings, 836506 edges, 1165 markings/sec, 235 secs
lola: sara is running 240 secs || 311019 markings, 853246 edges, 1124 markings/sec, 240 secs
lola: sara is running 245 secs || 317417 markings, 871031 edges, 1280 markings/sec, 245 secs
lola: sara is running 250 secs || 322847 markings, 887704 edges, 1086 markings/sec, 250 secs
lola: sara is running 255 secs || 329327 markings, 906141 edges, 1296 markings/sec, 255 secs
lola: sara is running 260 secs || 334920 markings, 922803 edges, 1119 markings/sec, 260 secs
lola: sara is running 265 secs || 340911 markings, 940647 edges, 1198 markings/sec, 265 secs
lola: sara is running 270 secs || 349003 markings, 962955 edges, 1618 markings/sec, 270 secs
lola: sara is running 275 secs || 352475 markings, 973811 edges, 694 markings/sec, 275 secs
lola: sara is running 280 secs || 358297 markings, 988944 edges, 1164 markings/sec, 280 secs
lola: sara is running 285 secs || 364215 markings, 1005762 edges, 1184 markings/sec, 285 secs
lola: sara is running 290 secs || 370081 markings, 1022705 edges, 1173 markings/sec, 290 secs
lola: sara is running 295 secs || 376167 markings, 1039803 edges, 1217 markings/sec, 295 secs
lola: sara is running 300 secs || 381677 markings, 1055954 edges, 1102 markings/sec, 300 secs
lola: sara is running 305 secs || 387342 markings, 1072516 edges, 1133 markings/sec, 305 secs
lola: sara is running 310 secs || 393124 markings, 1089305 edges, 1156 markings/sec, 310 secs
lola: sara is running 315 secs || 398959 markings, 1106333 edges, 1167 markings/sec, 315 secs
lola: sara is running 320 secs || 404138 markings, 1122155 edges, 1036 markings/sec, 320 secs
lola: sara is running 325 secs || 410521 markings, 1139877 edges, 1277 markings/sec, 325 secs
lola: sara is running 330 secs || 415519 markings, 1155692 edges, 1000 markings/sec, 330 secs
lola: sara is running 335 secs || 422176 markings, 1174567 edges, 1331 markings/sec, 335 secs
lola: sara is running 340 secs || 427802 markings, 1191253 edges, 1125 markings/sec, 340 secs
lola: sara is running 345 secs || 432713 markings, 1206842 edges, 982 markings/sec, 345 secs
lola: sara is running 350 secs || 440109 markings, 1227324 edges, 1479 markings/sec, 350 secs
lola: sara is running 355 secs || 446201 markings, 1245670 edges, 1218 markings/sec, 355 secs
lola: sara is running 360 secs || 450664 markings, 1257265 edges, 893 markings/sec, 360 secs
lola: sara is running 365 secs || 454806 markings, 1268639 edges, 828 markings/sec, 365 secs
lola: sara is running 370 secs || 458166 markings, 1277894 edges, 672 markings/sec, 370 secs
lola: sara is running 375 secs || 460740 markings, 1285435 edges, 515 markings/sec, 375 secs
lola: sara is running 380 secs || 463539 markings, 1293302 edges, 560 markings/sec, 380 secs
lola: sara is running 385 secs || 469111 markings, 1309506 edges, 1114 markings/sec, 385 secs
lola: sara is running 390 secs || 475075 markings, 1326117 edges, 1193 markings/sec, 390 secs
lola: sara is running 395 secs || 480066 markings, 1341652 edges, 998 markings/sec, 395 secs
lola: sara is running 400 secs || 486510 markings, 1359480 edges, 1289 markings/sec, 400 secs
lola: sara is running 405 secs || 491405 markings, 1374764 edges, 979 markings/sec, 405 secs
lola: sara is running 410 secs || 497169 markings, 1391425 edges, 1153 markings/sec, 410 secs
lola: sara is running 415 secs || 503029 markings, 1408637 edges, 1172 markings/sec, 415 secs
lola: sara is running 420 secs || 507976 markings, 1424159 edges, 989 markings/sec, 420 secs
lola: sara is running 425 secs || 514649 markings, 1442467 edges, 1335 markings/sec, 425 secs
lola: sara is running 430 secs || 520058 markings, 1459331 edges, 1082 markings/sec, 430 secs
lola: sara is running 435 secs || 524864 markings, 1474534 edges, 961 markings/sec, 435 secs
lola: sara is running 440 secs || 531809 markings, 1493972 edges, 1389 markings/sec, 440 secs
lola: sara is running 445 secs || 537492 markings, 1511050 edges, 1137 markings/sec, 445 secs
lola: sara is running 450 secs || 542236 markings, 1526308 edges, 949 markings/sec, 450 secs
lola: sara is running 455 secs || 549359 markings, 1546736 edges, 1425 markings/sec, 455 secs
lola: sara is running 460 secs || 556640 markings, 1567126 edges, 1456 markings/sec, 460 secs
lola: sara is running 465 secs || 560215 markings, 1577943 edges, 715 markings/sec, 465 secs
lola: sara is running 470 secs || 566121 markings, 1593307 edges, 1181 markings/sec, 470 secs
lola: sara is running 475 secs || 572172 markings, 1610153 edges, 1210 markings/sec, 475 secs
lola: sara is running 480 secs || 577380 markings, 1625223 edges, 1042 markings/sec, 480 secs
lola: sara is running 485 secs || 583291 markings, 1642489 edges, 1182 markings/sec, 485 secs
lola: sara is running 490 secs || 588662 markings, 1658252 edges, 1074 markings/sec, 490 secs
lola: sara is running 495 secs || 594424 markings, 1675151 edges, 1152 markings/sec, 495 secs
lola: sara is running 500 secs || 600011 markings, 1691661 edges, 1117 markings/sec, 500 secs
lola: sara is running 505 secs || 606082 markings, 1709092 edges, 1214 markings/sec, 505 secs
lola: sara is running 510 secs || 610856 markings, 1724248 edges, 955 markings/sec, 510 secs
lola: sara is running 515 secs || 616944 markings, 1741662 edges, 1218 markings/sec, 515 secs
lola: sara is running 520 secs || 622786 markings, 1758872 edges, 1168 markings/sec, 520 secs
lola: sara is running 525 secs || 627625 markings, 1774269 edges, 968 markings/sec, 525 secs
lola: sara is running 530 secs || 634045 markings, 1792565 edges, 1284 markings/sec, 530 secs
lola: sara is running 535 secs || 639831 markings, 1809407 edges, 1157 markings/sec, 535 secs
lola: sara is running 540 secs || 644859 markings, 1825508 edges, 1006 markings/sec, 540 secs
lola: sara is running 545 secs || 649830 markings, 1840961 edges, 994 markings/sec, 545 secs
lola: sara is running 550 secs || 656706 markings, 1860507 edges, 1375 markings/sec, 550 secs
lola: sara is running 555 secs || 662336 markings, 1877307 edges, 1126 markings/sec, 555 secs
lola: sara is running 560 secs || 667195 markings, 1892853 edges, 972 markings/sec, 560 secs
lola: sara is running 565 secs || 672324 markings, 1908668 edges, 1026 markings/sec, 565 secs
lola: sara is running 570 secs || 679937 markings, 1929873 edges, 1523 markings/sec, 570 secs
lola: sara is running 575 secs || 685968 markings, 1947943 edges, 1206 markings/sec, 575 secs
lola: sara is running 580 secs || 690319 markings, 1958978 edges, 870 markings/sec, 580 secs
lola: sara is running 585 secs || 696130 markings, 1974820 edges, 1162 markings/sec, 585 secs
lola: sara is running 590 secs || 702137 markings, 1991617 edges, 1201 markings/sec, 590 secs
lola: sara is running 595 secs || 707085 markings, 2006361 edges, 990 markings/sec, 595 secs
lola: sara is running 600 secs || 713392 markings, 2024204 edges, 1261 markings/sec, 600 secs
lola: sara is running 605 secs || 718277 markings, 2039201 edges, 977 markings/sec, 605 secs
lola: sara is running 610 secs || 724539 markings, 2056681 edges, 1252 markings/sec, 610 secs
lola: sara is running 615 secs || 729524 markings, 2072230 edges, 997 markings/sec, 615 secs
lola: sara is running 620 secs || 734906 markings, 2088207 edges, 1076 markings/sec, 620 secs
lola: sara is running 625 secs || 741074 markings, 2105782 edges, 1234 markings/sec, 625 secs
lola: sara is running 630 secs || 745779 markings, 2120730 edges, 941 markings/sec, 630 secs
lola: sara is running 635 secs || 750757 markings, 2135929 edges, 996 markings/sec, 635 secs
lola: sara is running 640 secs || 757389 markings, 2154239 edges, 1326 markings/sec, 640 secs
lola: sara is running 645 secs || 762447 markings, 2170275 edges, 1012 markings/sec, 645 secs
lola: sara is running 650 secs || 767151 markings, 2185381 edges, 941 markings/sec, 650 secs
lola: sara is running 655 secs || 773359 markings, 2203415 edges, 1242 markings/sec, 655 secs
lola: sara is running 660 secs || 779500 markings, 2220691 edges, 1228 markings/sec, 660 secs
lola: sara is running 665 secs || 784191 markings, 2235872 edges, 938 markings/sec, 665 secs
lola: sara is running 670 secs || 789182 markings, 2251784 edges, 998 markings/sec, 670 secs
lola: sara is running 675 secs || 795140 markings, 2269562 edges, 1192 markings/sec, 675 secs
lola: sara is running 680 secs || 801634 markings, 2287478 edges, 1299 markings/sec, 680 secs
lola: sara is running 685 secs || 807108 markings, 2304592 edges, 1095 markings/sec, 685 secs
lola: sara is running 690 secs || 811729 markings, 2319675 edges, 924 markings/sec, 690 secs
lola: sara is running 695 secs || 816851 markings, 2335873 edges, 1024 markings/sec, 695 secs
lola: sara is running 700 secs || 824025 markings, 2356387 edges, 1435 markings/sec, 700 secs
lola: sara is running 705 secs || 831223 markings, 2376300 edges, 1440 markings/sec, 705 secs
lola: sara is running 710 secs || 834959 markings, 2388420 edges, 747 markings/sec, 710 secs
lola: sara is running 715 secs || 840111 markings, 2400863 edges, 1030 markings/sec, 715 secs
lola: sara is running 720 secs || 845900 markings, 2416931 edges, 1158 markings/sec, 720 secs
lola: sara is running 725 secs || 851937 markings, 2434030 edges, 1207 markings/sec, 725 secs
lola: sara is running 730 secs || 856904 markings, 2448917 edges, 993 markings/sec, 730 secs
lola: sara is running 735 secs || 863101 markings, 2466331 edges, 1239 markings/sec, 735 secs
lola: sara is running 740 secs || 868080 markings, 2481765 edges, 996 markings/sec, 740 secs
lola: sara is running 745 secs || 873571 markings, 2497679 edges, 1098 markings/sec, 745 secs
lola: sara is running 750 secs || 879480 markings, 2514978 edges, 1182 markings/sec, 750 secs
lola: sara is running 755 secs || 884540 markings, 2530800 edges, 1012 markings/sec, 755 secs
lola: sara is running 760 secs || 890169 markings, 2546997 edges, 1126 markings/sec, 760 secs
lola: sara is running 765 secs || 896258 markings, 2564775 edges, 1218 markings/sec, 765 secs
lola: sara is running 770 secs || 901206 markings, 2580474 edges, 990 markings/sec, 770 secs
lola: sara is running 775 secs || 906131 markings, 2595954 edges, 985 markings/sec, 775 secs
lola: sara is running 780 secs || 912000 markings, 2612879 edges, 1174 markings/sec, 780 secs
lola: sara is running 785 secs || 918115 markings, 2630632 edges, 1223 markings/sec, 785 secs
lola: sara is running 790 secs || 922968 markings, 2646189 edges, 971 markings/sec, 790 secs
lola: sara is running 795 secs || 927857 markings, 2661790 edges, 978 markings/sec, 795 secs
lola: sara is running 800 secs || 934136 markings, 2679786 edges, 1256 markings/sec, 800 secs
lola: sara is running 805 secs || 939747 markings, 2695705 edges, 1122 markings/sec, 805 secs
lola: sara is running 810 secs || 945045 markings, 2712560 edges, 1060 markings/sec, 810 secs
lola: sara is running 815 secs || 949656 markings, 2727565 edges, 922 markings/sec, 815 secs
lola: sara is running 820 secs || 954679 markings, 2743443 edges, 1005 markings/sec, 820 secs
lola: sara is running 825 secs || 961655 markings, 2763255 edges, 1395 markings/sec, 825 secs
lola: sara is running 830 secs || 967689 markings, 2780515 edges, 1207 markings/sec, 830 secs
lola: sara is running 835 secs || 972300 markings, 2795573 edges, 922 markings/sec, 835 secs
lola: sara is running 840 secs || 976964 markings, 2810632 edges, 933 markings/sec, 840 secs
lola: sara is running 845 secs || 982191 markings, 2827228 edges, 1045 markings/sec, 845 secs
lola: sara is running 850 secs || 988109 markings, 2844672 edges, 1184 markings/sec, 850 secs
lola: sara is running 855 secs || 994812 markings, 2863567 edges, 1341 markings/sec, 855 secs
lola: sara is running 860 secs || 1000997 markings, 2881895 edges, 1237 markings/sec, 860 secs
lola: sara is running 865 secs || 1005164 markings, 2892680 edges, 833 markings/sec, 865 secs
lola: sara is running 870 secs || 1010205 markings, 2906456 edges, 1008 markings/sec, 870 secs
lola: sara is running 875 secs || 1015862 markings, 2921753 edges, 1131 markings/sec, 875 secs
lola: sara is running 880 secs || 1021948 markings, 2938939 edges, 1217 markings/sec, 880 secs
lola: sara is running 885 secs || 1026845 markings, 2953781 edges, 979 markings/sec, 885 secs
lola: sara is running 890 secs || 1032096 markings, 2969175 edges, 1050 markings/sec, 890 secs
lola: sara is running 895 secs || 1038114 markings, 2986591 edges, 1204 markings/sec, 895 secs
lola: sara is running 900 secs || 1042880 markings, 3001408 edges, 953 markings/sec, 900 secs
lola: sara is running 905 secs || 1048343 markings, 3017409 edges, 1093 markings/sec, 905 secs
lola: sara is running 910 secs || 1054430 markings, 3035007 edges, 1217 markings/sec, 910 secs
lola: sara is running 915 secs || 1059304 markings, 3050386 edges, 975 markings/sec, 915 secs
lola: sara is running 920 secs || 1063991 markings, 3064824 edges, 937 markings/sec, 920 secs
lola: sara is running 925 secs || 1070295 markings, 3082442 edges, 1261 markings/sec, 925 secs
lola: sara is running 930 secs || 1075628 markings, 3099004 edges, 1067 markings/sec, 930 secs
lola: sara is running 935 secs || 1080530 markings, 3114538 edges, 980 markings/sec, 935 secs
lola: sara is running 940 secs || 1085280 markings, 3129515 edges, 950 markings/sec, 940 secs
lola: sara is running 945 secs || 1091416 markings, 3147072 edges, 1227 markings/sec, 945 secs
lola: sara is running 950 secs || 1097166 markings, 3163782 edges, 1150 markings/sec, 950 secs
lola: sara is running 955 secs || 1102073 markings, 3179536 edges, 981 markings/sec, 955 secs
lola: sara is running 960 secs || 1107026 markings, 3195247 edges, 991 markings/sec, 960 secs
lola: sara is running 965 secs || 1111770 markings, 3210140 edges, 949 markings/sec, 965 secs
lola: sara is running 970 secs || 1118283 markings, 3228554 edges, 1303 markings/sec, 970 secs
lola: sara is running 975 secs || 1124110 markings, 3245509 edges, 1165 markings/sec, 975 secs
lola: sara is running 980 secs || 1128776 markings, 3260634 edges, 933 markings/sec, 980 secs
lola: sara is running 985 secs || 1133553 markings, 3276060 edges, 955 markings/sec, 985 secs
lola: sara is running 990 secs || 1138408 markings, 3291636 edges, 971 markings/sec, 990 secs
lola: sara is running 995 secs || 1144371 markings, 3309352 edges, 1193 markings/sec, 995 secs
lola: sara is running 1000 secs || 1150644 markings, 3327456 edges, 1255 markings/sec, 1000 secs
lola: sara is running 1005 secs || 1156292 markings, 3343967 edges, 1130 markings/sec, 1005 secs
lola: sara is running 1010 secs || 1161057 markings, 3359521 edges, 953 markings/sec, 1010 secs
lola: sara is running 1015 secs || 1166124 markings, 3375789 edges, 1013 markings/sec, 1015 secs
lola: sara is running 1020 secs || 1171123 markings, 3391784 edges, 1000 markings/sec, 1020 secs
lola: sara is running 1025 secs || 1175953 markings, 3406782 edges, 966 markings/sec, 1025 secs
lola: sara is running 1030 secs || 1184005 markings, 3428997 edges, 1610 markings/sec, 1030 secs
lola: sara is running 1035 secs || 1190821 markings, 3448447 edges, 1363 markings/sec, 1035 secs
lola: sara is running 1040 secs || 1194230 markings, 3459247 edges, 682 markings/sec, 1040 secs
lola: sara is running 1045 secs || 1199251 markings, 3470640 edges, 1004 markings/sec, 1045 secs
lola: sara is running 1050 secs || 1205093 markings, 3487251 edges, 1168 markings/sec, 1050 secs
lola: sara is running 1055 secs || 1210007 markings, 3501067 edges, 983 markings/sec, 1055 secs
lola: sara is running 1060 secs || 1216169 markings, 3518904 edges, 1232 markings/sec, 1060 secs
lola: sara is running 1065 secs || 1220965 markings, 3533426 edges, 959 markings/sec, 1065 secs
lola: sara is running 1070 secs || 1226120 markings, 3548375 edges, 1031 markings/sec, 1070 secs
lola: sara is running 1075 secs || 1232193 markings, 3566113 edges, 1215 markings/sec, 1075 secs
lola: sara is running 1080 secs || 1237115 markings, 3581403 edges, 984 markings/sec, 1080 secs
lola: sara is running 1085 secs || 1241922 markings, 3596016 edges, 961 markings/sec, 1085 secs
lola: sara is running 1090 secs || 1247963 markings, 3613142 edges, 1208 markings/sec, 1090 secs
lola: sara is running 1095 secs || 1253334 markings, 3629624 edges, 1074 markings/sec, 1095 secs
lola: sara is running 1100 secs || 1257952 markings, 3644383 edges, 924 markings/sec, 1100 secs
lola: sara is running 1105 secs || 1263023 markings, 3659886 edges, 1014 markings/sec, 1105 secs
lola: sara is running 1110 secs || 1268601 markings, 3676306 edges, 1116 markings/sec, 1110 secs
lola: sara is running 1115 secs || 1274594 markings, 3693566 edges, 1199 markings/sec, 1115 secs
lola: sara is running 1120 secs || 1279455 markings, 3709108 edges, 972 markings/sec, 1120 secs
lola: sara is running 1125 secs || 1284546 markings, 3725256 edges, 1018 markings/sec, 1125 secs
lola: sara is running 1130 secs || 1289492 markings, 3740351 edges, 989 markings/sec, 1130 secs
lola: sara is running 1135 secs || 1295567 markings, 3758251 edges, 1215 markings/sec, 1135 secs
lola: sara is running 1140 secs || 1301658 markings, 3775776 edges, 1218 markings/sec, 1140 secs
lola: sara is running 1145 secs || 1306228 markings, 3790741 edges, 914 markings/sec, 1145 secs
lola: sara is running 1150 secs || 1311474 markings, 3807427 edges, 1049 markings/sec, 1150 secs
lola: sara is running 1155 secs || 1316246 markings, 3822647 edges, 954 markings/sec, 1155 secs
lola: sara is running 1160 secs || 1322699 markings, 3841234 edges, 1291 markings/sec, 1160 secs
lola: sara is running 1165 secs || 1328603 markings, 3857952 edges, 1181 markings/sec, 1165 secs
lola: sara is running 1170 secs || 1334046 markings, 3875101 edges, 1089 markings/sec, 1170 secs
lola: sara is running 1175 secs || 1338770 markings, 3890482 edges, 945 markings/sec, 1175 secs
lola: sara is running 1180 secs || 1343549 markings, 3905994 edges, 956 markings/sec, 1180 secs
lola: sara is running 1185 secs || 1348489 markings, 3921814 edges, 988 markings/sec, 1185 secs
lola: sara is running 1190 secs || 1354365 markings, 3939298 edges, 1175 markings/sec, 1190 secs
lola: sara is running 1195 secs || 1360975 markings, 3958174 edges, 1322 markings/sec, 1195 secs
lola: sara is running 1200 secs || 1366874 markings, 3975470 edges, 1180 markings/sec, 1200 secs
lola: sara is running 1205 secs || 1372163 markings, 3992407 edges, 1058 markings/sec, 1205 secs
lola: sara is running 1210 secs || 1376571 markings, 4006950 edges, 882 markings/sec, 1210 secs
lola: sara is running 1215 secs || 1381992 markings, 4024241 edges, 1084 markings/sec, 1215 secs
lola: sara is running 1220 secs || 1386386 markings, 4038746 edges, 879 markings/sec, 1220 secs
lola: sara is running 1225 secs || 1391936 markings, 4055121 edges, 1110 markings/sec, 1225 secs
lola: sara is running 1230 secs || 1399777 markings, 4076957 edges, 1568 markings/sec, 1230 secs
lola: sara is running 1235 secs || 1406743 markings, 4097073 edges, 1393 markings/sec, 1235 secs
lola: sara is running 1240 secs || 1410215 markings, 4107941 edges, 694 markings/sec, 1240 secs
lola: sara is running 1245 secs || 1415329 markings, 4119576 edges, 1023 markings/sec, 1245 secs
lola: sara is running 1250 secs || 1421199 markings, 4136063 edges, 1174 markings/sec, 1250 secs
lola: sara is running 1255 secs || 1426204 markings, 4150369 edges, 1001 markings/sec, 1255 secs
lola: sara is running 1260 secs || 1431375 markings, 4165663 edges, 1034 markings/sec, 1260 secs
lola: sara is running 1265 secs || 1437385 markings, 4182918 edges, 1202 markings/sec, 1265 secs
lola: sara is running 1270 secs || 1442297 markings, 4197795 edges, 982 markings/sec, 1270 secs
lola: sara is running 1275 secs || 1447614 markings, 4213551 edges, 1063 markings/sec, 1275 secs
lola: sara is running 1280 secs || 1453668 markings, 4231074 edges, 1211 markings/sec, 1280 secs
lola: sara is running 1285 secs || 1458471 markings, 4246172 edges, 961 markings/sec, 1285 secs
lola: sara is running 1290 secs || 1463413 markings, 4261290 edges, 988 markings/sec, 1290 secs
lola: sara is running 1295 secs || 1469007 markings, 4277881 edges, 1119 markings/sec, 1295 secs
lola: sara is running 1300 secs || 1475266 markings, 4295912 edges, 1252 markings/sec, 1300 secs
lola: sara is running 1305 secs || 1480036 markings, 4311092 edges, 954 markings/sec, 1305 secs
lola: sara is running 1310 secs || 1484880 markings, 4326450 edges, 969 markings/sec, 1310 secs
lola: sara is running 1315 secs || 1490492 markings, 4342916 edges, 1122 markings/sec, 1315 secs
lola: sara is running 1320 secs || 1496316 markings, 4359708 edges, 1165 markings/sec, 1320 secs
lola: sara is running 1325 secs || 1501720 markings, 4376371 edges, 1081 markings/sec, 1325 secs
lola: sara is running 1330 secs || 1506652 markings, 4392174 edges, 986 markings/sec, 1330 secs
lola: sara is running 1335 secs || 1511553 markings, 4407843 edges, 980 markings/sec, 1335 secs
lola: sara is running 1340 secs || 1516365 markings, 4422971 edges, 962 markings/sec, 1340 secs
lola: sara is running 1345 secs || 1522703 markings, 4440911 edges, 1268 markings/sec, 1345 secs
lola: sara is running 1350 secs || 1528712 markings, 4458310 edges, 1202 markings/sec, 1350 secs
lola: sara is running 1355 secs || 1533777 markings, 4474550 edges, 1013 markings/sec, 1355 secs
lola: sara is running 1360 secs || 1538690 markings, 4490404 edges, 983 markings/sec, 1360 secs
lola: sara is running 1365 secs || 1543668 markings, 4506390 edges, 996 markings/sec, 1365 secs
lola: sara is running 1370 secs || 1548322 markings, 4521327 edges, 931 markings/sec, 1370 secs
lola: sara is running 1375 secs || 1554637 markings, 4539644 edges, 1263 markings/sec, 1375 secs
lola: sara is running 1380 secs || 1560302 markings, 4556152 edges, 1133 markings/sec, 1380 secs
lola: sara is running 1385 secs || 1566193 markings, 4573753 edges, 1178 markings/sec, 1385 secs
lola: sara is running 1390 secs || 1571166 markings, 4589845 edges, 995 markings/sec, 1390 secs
lola: sara is running 1395 secs || 1575603 markings, 4604556 edges, 887 markings/sec, 1395 secs
lola: sara is running 1400 secs || 1580909 markings, 4621456 edges, 1061 markings/sec, 1400 secs
lola: sara is running 1405 secs || 1585827 markings, 4637118 edges, 984 markings/sec, 1405 secs
lola: sara is running 1410 secs || 1591545 markings, 4654187 edges, 1144 markings/sec, 1410 secs
lola: sara is running 1415 secs || 1598104 markings, 4672978 edges, 1312 markings/sec, 1415 secs
lola: sara is running 1420 secs || 1603821 markings, 4689620 edges, 1143 markings/sec, 1420 secs
lola: sara is running 1425 secs || 1608716 markings, 4705624 edges, 979 markings/sec, 1425 secs
lola: sara is running 1430 secs || 1614094 markings, 4722868 edges, 1076 markings/sec, 1430 secs
lola: sara is running 1435 secs || 1618798 markings, 4738259 edges, 941 markings/sec, 1435 secs
lola: sara is running 1440 secs || 1623415 markings, 4753411 edges, 923 markings/sec, 1440 secs
lola: sara is running 1445 secs || 1628613 markings, 4769838 edges, 1040 markings/sec, 1445 secs
lola: sara is running 1450 secs || 1634292 markings, 4786672 edges, 1136 markings/sec, 1450 secs
lola: sara is running 1455 secs || 1641856 markings, 4807659 edges, 1513 markings/sec, 1455 secs
lola: sara is running 1460 secs || 1648412 markings, 4826758 edges, 1311 markings/sec, 1460 secs
lola: sara is running 1465 secs || 1652360 markings, 4838823 edges, 790 markings/sec, 1465 secs
lola: sara is running 1470 secs || 1657431 markings, 4850364 edges, 1014 markings/sec, 1470 secs
lola: sara is running 1475 secs || 1662526 markings, 4864952 edges, 1019 markings/sec, 1475 secs
lola: sara is running 1480 secs || 1668355 markings, 4880896 edges, 1166 markings/sec, 1480 secs
lola: sara is running 1485 secs || 1673520 markings, 4895157 edges, 1033 markings/sec, 1485 secs
lola: sara is running 1490 secs || 1679550 markings, 4913098 edges, 1206 markings/sec, 1490 secs
lola: sara is running 1495 secs || 1684325 markings, 4927722 edges, 955 markings/sec, 1495 secs
lola: sara is running 1500 secs || 1689331 markings, 4942759 edges, 1001 markings/sec, 1500 secs
lola: sara is running 1505 secs || 1694588 markings, 4958487 edges, 1051 markings/sec, 1505 secs
lola: sara is running 1510 secs || 1700726 markings, 4976076 edges, 1228 markings/sec, 1510 secs
lola: sara is running 1515 secs || 1705662 markings, 4991472 edges, 987 markings/sec, 1515 secs
lola: sara is running 1520 secs || 1710560 markings, 5006636 edges, 980 markings/sec, 1520 secs
lola: sara is running 1525 secs || 1715900 markings, 5022058 edges, 1068 markings/sec, 1525 secs
lola: sara is running 1530 secs || 1722043 markings, 5039899 edges, 1229 markings/sec, 1530 secs
lola: sara is running 1535 secs || 1726999 markings, 5055557 edges, 991 markings/sec, 1535 secs
lola: sara is running 1540 secs || 1731563 markings, 5070240 edges, 913 markings/sec, 1540 secs
lola: sara is running 1545 secs || 1736525 markings, 5085826 edges, 992 markings/sec, 1545 secs
lola: sara is running 1550 secs || 1742001 markings, 5101935 edges, 1095 markings/sec, 1550 secs
lola: sara is running 1555 secs || 1747427 markings, 5118239 edges, 1085 markings/sec, 1555 secs
lola: sara is running 1560 secs || 1753193 markings, 5135046 edges, 1153 markings/sec, 1560 secs
lola: sara is running 1565 secs || 1758320 markings, 5151244 edges, 1025 markings/sec, 1565 secs
lola: sara is running 1570 secs || 1763186 markings, 5166893 edges, 973 markings/sec, 1570 secs
lola: sara is running 1575 secs || 1767822 markings, 5181729 edges, 927 markings/sec, 1575 secs
lola: sara is running 1580 secs || 1772670 markings, 5196699 edges, 970 markings/sec, 1580 secs
lola: sara is running 1585 secs || 1778760 markings, 5214194 edges, 1218 markings/sec, 1585 secs
lola: sara is running 1590 secs || 1784663 markings, 5231028 edges, 1181 markings/sec, 1590 secs
lola: sara is running 1595 secs || 1789812 markings, 5247461 edges, 1030 markings/sec, 1595 secs
lola: sara is running 1600 secs || 1794169 markings, 5261940 edges, 871 markings/sec, 1600 secs
lola: sara is running 1605 secs || 1799264 markings, 5278222 edges, 1019 markings/sec, 1605 secs
lola: sara is running 1610 secs || 1804264 markings, 5294106 edges, 1000 markings/sec, 1610 secs
lola: sara is running 1615 secs || 1808904 markings, 5308815 edges, 928 markings/sec, 1615 secs
lola: sara is running 1620 secs || 1815760 markings, 5327772 edges, 1371 markings/sec, 1620 secs
lola: sara is running 1625 secs || 1821288 markings, 5344253 edges, 1106 markings/sec, 1625 secs
lola: sara is running 1630 secs || 1826495 markings, 5360332 edges, 1041 markings/sec, 1630 secs
lola: sara is running 1635 secs || 1831612 markings, 5376766 edges, 1023 markings/sec, 1635 secs
lola: sara is running 1640 secs || 1836159 markings, 5391786 edges, 909 markings/sec, 1640 secs
lola: sara is running 1645 secs || 1841243 markings, 5408224 edges, 1017 markings/sec, 1645 secs
lola: sara is running 1650 secs || 1846186 markings, 5424083 edges, 989 markings/sec, 1650 secs
lola: sara is running 1655 secs || 1850990 markings, 5439278 edges, 961 markings/sec, 1655 secs
lola: sara is running 1660 secs || 1857927 markings, 5459319 edges, 1387 markings/sec, 1660 secs
lola: sara is running 1665 secs || 1863538 markings, 5476053 edges, 1122 markings/sec, 1665 secs
lola: sara is running 1670 secs || 1869391 markings, 5492596 edges, 1171 markings/sec, 1670 secs
lola: sara is running 1675 secs || 1874566 markings, 5509439 edges, 1035 markings/sec, 1675 secs
lola: sara is running 1680 secs || 1879323 markings, 5524919 edges, 951 markings/sec, 1680 secs
lola: sara is running 1685 secs || 1884212 markings, 5540952 edges, 978 markings/sec, 1685 secs
lola: sara is running 1690 secs || 1889063 markings, 5556789 edges, 970 markings/sec, 1690 secs
lola: sara is running 1695 secs || 1893748 markings, 5572086 edges, 937 markings/sec, 1695 secs
lola: sara is running 1700 secs || 1898835 markings, 5588059 edges, 1017 markings/sec, 1700 secs
lola: sara is running 1705 secs || 1905806 markings, 5608211 edges, 1394 markings/sec, 1705 secs
lola: sara is running 1710 secs || 1912263 markings, 5626263 edges, 1291 markings/sec, 1710 secs
lola: sara is running 1715 secs || 1918864 markings, 5645346 edges, 1320 markings/sec, 1715 secs
lola: sara is running 1720 secs || 1922446 markings, 5655804 edges, 716 markings/sec, 1720 secs
lola: sara is running 1725 secs || 1927411 markings, 5667096 edges, 993 markings/sec, 1725 secs
lola: sara is running 1730 secs || 1932446 markings, 5681094 edges, 1007 markings/sec, 1730 secs
lola: sara is running 1735 secs || 1938303 markings, 5697409 edges, 1171 markings/sec, 1735 secs
lola: sara is running 1740 secs || 1943215 markings, 5711513 edges, 982 markings/sec, 1740 secs
lola: sara is running 1745 secs || 1948453 markings, 5727264 edges, 1048 markings/sec, 1745 secs
lola: sara is running 1750 secs || 1954451 markings, 5744463 edges, 1200 markings/sec, 1750 secs
lola: sara is running 1755 secs || 1959387 markings, 5759463 edges, 987 markings/sec, 1755 secs
lola: sara is running 1760 secs || 1964371 markings, 5774159 edges, 997 markings/sec, 1760 secs
lola: sara is running 1765 secs || 1969713 markings, 5790667 edges, 1068 markings/sec, 1765 secs
lola: sara is running 1770 secs || 1975859 markings, 5808012 edges, 1229 markings/sec, 1770 secs
lola: sara is running 1775 secs || 1980484 markings, 5822636 edges, 925 markings/sec, 1775 secs
lola: sara is running 1780 secs || 1985452 markings, 5837996 edges, 994 markings/sec, 1780 secs
lola: sara is running 1785 secs || 1990630 markings, 5853148 edges, 1036 markings/sec, 1785 secs
lola: sara is running 1790 secs || 1995957 markings, 5869394 edges, 1065 markings/sec, 1790 secs
lola: sara is running 1795 secs || 2001832 markings, 5886485 edges, 1175 markings/sec, 1795 secs
lola: sara is running 1800 secs || 2006892 markings, 5902460 edges, 1012 markings/sec, 1800 secs
lola: sara is running 1805 secs || 2011575 markings, 5917540 edges, 937 markings/sec, 1805 secs
lola: sara is running 1810 secs || 2016586 markings, 5933191 edges, 1002 markings/sec, 1810 secs
lola: sara is running 1815 secs || 2022381 markings, 5949703 edges, 1159 markings/sec, 1815 secs
lola: sara is running 1820 secs || 2027784 markings, 5966231 edges, 1081 markings/sec, 1820 secs
lola: sara is running 1825 secs || 2033670 markings, 5983385 edges, 1177 markings/sec, 1825 secs
lola: sara is running 1830 secs || 2038419 markings, 5998719 edges, 950 markings/sec, 1830 secs
lola: sara is running 1835 secs || 2043485 markings, 6014949 edges, 1013 markings/sec, 1835 secs
lola: sara is running 1840 secs || 2048432 markings, 6030721 edges, 989 markings/sec, 1840 secs
lola: sara is running 1845 secs || 2053005 markings, 6045339 edges, 915 markings/sec, 1845 secs
lola: sara is running 1850 secs || 2059373 markings, 6063284 edges, 1274 markings/sec, 1850 secs
lola: sara is running 1855 secs || 2064697 markings, 6079557 edges, 1065 markings/sec, 1855 secs
lola: sara is running 1860 secs || 2070246 markings, 6095835 edges, 1110 markings/sec, 1860 secs
lola: sara is running 1865 secs || 2075202 markings, 6111805 edges, 991 markings/sec, 1865 secs
lola: sara is running 1870 secs || 2080546 markings, 6128844 edges, 1069 markings/sec, 1870 secs
lola: sara is running 1875 secs || 2085111 markings, 6143851 edges, 913 markings/sec, 1875 secs
lola: sara is running 1880 secs || 2090306 markings, 6160281 edges, 1039 markings/sec, 1880 secs
lola: sara is running 1885 secs || 2094968 markings, 6175092 edges, 932 markings/sec, 1885 secs
lola: sara is running 1890 secs || 2101571 markings, 6193941 edges, 1321 markings/sec, 1890 secs
lola: sara is running 1895 secs || 2106783 markings, 6210169 edges, 1042 markings/sec, 1895 secs
lola: sara is running 1900 secs || 2112988 markings, 6227450 edges, 1241 markings/sec, 1900 secs
lola: sara is running 1905 secs || 2117374 markings, 6242066 edges, 877 markings/sec, 1905 secs
lola: sara is running 1910 secs || 2122631 markings, 6258952 edges, 1051 markings/sec, 1910 secs
lola: sara is running 1915 secs || 2127807 markings, 6275631 edges, 1035 markings/sec, 1915 secs
lola: sara is running 1920 secs || 2132554 markings, 6291146 edges, 949 markings/sec, 1920 secs
lola: sara is running 1925 secs || 2137023 markings, 6305682 edges, 894 markings/sec, 1925 secs
lola: sara is running 1930 secs || 2141964 markings, 6321231 edges, 988 markings/sec, 1930 secs
lola: sara is running 1935 secs || 2148942 markings, 6341452 edges, 1396 markings/sec, 1935 secs
lola: sara is running 1940 secs || 2154739 markings, 6358513 edges, 1159 markings/sec, 1940 secs
lola: sara is running 1945 secs || 2160674 markings, 6375060 edges, 1187 markings/sec, 1945 secs
lola: sara is running 1950 secs || 2165412 markings, 6390832 edges, 948 markings/sec, 1950 secs
lola: sara is running 1955 secs || 2170400 markings, 6407008 edges, 998 markings/sec, 1955 secs
lola: sara is running 1960 secs || 2175052 markings, 6422421 edges, 930 markings/sec, 1960 secs
lola: sara is running 1965 secs || 2179859 markings, 6438140 edges, 961 markings/sec, 1965 secs
lola: sara is running 1970 secs || 2184857 markings, 6454346 edges, 1000 markings/sec, 1970 secs
lola: sara is running 1975 secs || 2189927 markings, 6470597 edges, 1014 markings/sec, 1975 secs
lola: sara is running 1980 secs || 2194869 markings, 6486153 edges, 988 markings/sec, 1980 secs
lola: sara is running 1985 secs || 2202033 markings, 6506781 edges, 1433 markings/sec, 1985 secs
lola: sara is running 1990 secs || 2208689 markings, 6525333 edges, 1331 markings/sec, 1990 secs
lola: sara is running 1995 secs || 2215305 markings, 6544475 edges, 1323 markings/sec, 1995 secs
lola: sara is running 2000 secs || 2219263 markings, 6556015 edges, 792 markings/sec, 2000 secs
lola: sara is running 2005 secs || 2224320 markings, 6567469 edges, 1011 markings/sec, 2005 secs
lola: sara is running 2010 secs || 2229373 markings, 6580730 edges, 1011 markings/sec, 2010 secs
lola: sara is running 2015 secs || 2235356 markings, 6597831 edges, 1197 markings/sec, 2015 secs
lola: sara is running 2020 secs || 2240201 markings, 6611896 edges, 969 markings/sec, 2020 secs
lola: sara is running 2025 secs || 2245437 markings, 6626555 edges, 1047 markings/sec, 2025 secs
lola: sara is running 2030 secs || 2251625 markings, 6644762 edges, 1238 markings/sec, 2030 secs
lola: sara is running 2035 secs || 2256438 markings, 6659529 edges, 963 markings/sec, 2035 secs
lola: sara is running 2040 secs || 2261184 markings, 6674063 edges, 949 markings/sec, 2040 secs
lola: sara is running 2045 secs || 2266417 markings, 6688951 edges, 1047 markings/sec, 2045 secs
lola: sara is running 2050 secs || 2271280 markings, 6704620 edges, 973 markings/sec, 2050 secs
lola: sara is running 2055 secs || 2277414 markings, 6721841 edges, 1227 markings/sec, 2055 secs
lola: sara is running 2060 secs || 2282217 markings, 6736972 edges, 961 markings/sec, 2060 secs
lola: sara is running 2065 secs || 2287115 markings, 6752267 edges, 980 markings/sec, 2065 secs
lola: sara is running 2070 secs || 2291898 markings, 6766872 edges, 957 markings/sec, 2070 secs
lola: sara is running 2075 secs || 2297476 markings, 6783293 edges, 1116 markings/sec, 2075 secs
lola: sara is running 2080 secs || 2303615 markings, 6800736 edges, 1228 markings/sec, 2080 secs
lola: sara is running 2085 secs || 2308315 markings, 6815692 edges, 940 markings/sec, 2085 secs
lola: sara is running 2090 secs || 2313217 markings, 6831352 edges, 980 markings/sec, 2090 secs
lola: sara is running 2095 secs || 2318360 markings, 6847420 edges, 1029 markings/sec, 2095 secs
lola: sara is running 2100 secs || 2322904 markings, 6861850 edges, 909 markings/sec, 2100 secs
lola: sara is running 2105 secs || 2328625 markings, 6878323 edges, 1144 markings/sec, 2105 secs
lola: sara is running 2110 secs || 2333696 markings, 6894394 edges, 1014 markings/sec, 2110 secs
lola: sara is running 2115 secs || 2340099 markings, 6912142 edges, 1281 markings/sec, 2115 secs
lola: sara is running 2120 secs || 2343601 markings, 6923453 edges, 700 markings/sec, 2120 secs
lola: sara is running 2125 secs || 2348575 markings, 6939401 edges, 995 markings/sec, 2125 secs
lola: sara is running 2130 secs || 2353090 markings, 6954164 edges, 903 markings/sec, 2130 secs
lola: sara is running 2135 secs || 2358150 markings, 6970169 edges, 1012 markings/sec, 2135 secs
lola: sara is running 2140 secs || 2362694 markings, 6984542 edges, 909 markings/sec, 2140 secs
lola: sara is running 2145 secs || 2368748 markings, 7001921 edges, 1211 markings/sec, 2145 secs
lola: sara is running 2150 secs || 2373933 markings, 7018179 edges, 1037 markings/sec, 2150 secs
lola: sara is running 2155 secs || 2379990 markings, 7034789 edges, 1211 markings/sec, 2155 secs
lola: sara is running 2160 secs || 2385085 markings, 7051150 edges, 1019 markings/sec, 2160 secs
lola: sara is running 2165 secs || 2389669 markings, 7066263 edges, 917 markings/sec, 2165 secs
lola: sara is running 2170 secs || 2394538 markings, 7082185 edges, 974 markings/sec, 2170 secs
lola: sara is running 2175 secs || 2399951 markings, 7099229 edges, 1083 markings/sec, 2175 secs
lola: sara is running 2180 secs || 2404384 markings, 7113732 edges, 887 markings/sec, 2180 secs
lola: sara is running 2185 secs || 2409417 markings, 7129336 edges, 1007 markings/sec, 2185 secs
lola: sara is running 2190 secs || 2416369 markings, 7148781 edges, 1390 markings/sec, 2190 secs
lola: sara is running 2195 secs || 2421293 markings, 7164639 edges, 985 markings/sec, 2195 secs
lola: sara is running 2200 secs || 2427237 markings, 7180940 edges, 1189 markings/sec, 2200 secs
lola: sara is running 2205 secs || 2432381 markings, 7197625 edges, 1029 markings/sec, 2205 secs
lola: sara is running 2210 secs || 2437286 markings, 7213516 edges, 981 markings/sec, 2210 secs
lola: sara is running 2215 secs || 2442337 markings, 7229925 edges, 1010 markings/sec, 2215 secs
lola: sara is running 2220 secs || 2447040 markings, 7245338 edges, 941 markings/sec, 2220 secs
lola: sara is running 2225 secs || 2451949 markings, 7261129 edges, 982 markings/sec, 2225 secs
lola: sara is running 2230 secs || 2456643 markings, 7276246 edges, 939 markings/sec, 2230 secs
lola: sara is running 2235 secs || 2461385 markings, 7291124 edges, 948 markings/sec, 2235 secs
lola: sara is running 2240 secs || 2468745 markings, 7312103 edges, 1472 markings/sec, 2240 secs
lola: sara is running 2245 secs || 2474144 markings, 7328585 edges, 1080 markings/sec, 2245 secs
lola: sara is running 2250 secs || 2480423 markings, 7345844 edges, 1256 markings/sec, 2250 secs
lola: sara is running 2255 secs || 2485126 markings, 7361187 edges, 941 markings/sec, 2255 secs
lola: sara is running 2260 secs || 2490066 markings, 7377286 edges, 988 markings/sec, 2260 secs
lola: sara is running 2265 secs || 2494978 markings, 7393486 edges, 982 markings/sec, 2265 secs
lola: sara is running 2270 secs || 2499330 markings, 7408117 edges, 870 markings/sec, 2270 secs
lola: sara is running 2275 secs || 2504504 markings, 7424779 edges, 1035 markings/sec, 2275 secs
lola: sara is running 2280 secs || 2509549 markings, 7441023 edges, 1009 markings/sec, 2280 secs
lola: sara is running 2285 secs || 2514297 markings, 7456341 edges, 950 markings/sec, 2285 secs
lola: sara is running 2290 secs || 2519259 markings, 7471778 edges, 992 markings/sec, 2290 secs
lola: sara is running 2295 secs || 2526612 markings, 7492921 edges, 1471 markings/sec, 2295 secs
lola: sara is running 2300 secs || 2532984 markings, 7510692 edges, 1274 markings/sec, 2300 secs
lola: sara is running 2305 secs || 2539267 markings, 7528966 edges, 1257 markings/sec, 2305 secs
lola: sara is running 2310 secs || 2543545 markings, 7541218 edges, 856 markings/sec, 2310 secs
lola: sara is running 2315 secs || 2548640 markings, 7552687 edges, 1019 markings/sec, 2315 secs
lola: sara is running 2320 secs || 2553785 markings, 7565424 edges, 1029 markings/sec, 2320 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown no no no no no no no no yes no no yes yes yes
lola:
preliminary result: unknown unknown no no no no no no no no yes no no yes yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no no no no no no no yes no no yes yes yes
lola: memory consumption: 151560 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown no no no no no no no no yes no no yes yes yes
lola: memory consumption: 151812 KB
lola: time consumption: 3570 seconds

BK_STOP 1526580910854

--------------------
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-V50P50N20"
export BK_EXAMINATION="ReachabilityCardinality"
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-V50P50N20.tgz
mv BridgeAndVehicles-PT-V50P50N20 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-V50P50N20, examination is ReachabilityCardinality"
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-152646306400341"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 '' ReachabilityCardinality.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 ;