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

About the Execution of LoLA for BridgeAndVehicles-PT-V80P50N50

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15917.560 3570076.00 6378041.00 4412.80 FFTTTFFTFTFFT?FF 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 14M
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 36K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 477K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.3M 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 9.8K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 32K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 100K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 261K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 43K 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 593K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.7M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K 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 9.5M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BridgeAndVehicles-PT-V80P50N50, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306500390
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526594378225

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-PT-V80P50N50 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-PT-V80P50N50 formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ BridgeAndVehicles-PT-V80P50N50 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 8816/65536 symbol table entries, 2413 collisions
lola: preprocessing...
lola: Size of bit vector: 7296
lola: finding significant places
lola: 228 places, 8588 transitions, 221 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 9173 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality.task
lola: place invariant simplifies atomic proposition
lola: before: (NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE_A_22 + NB_ATTENTE_A_23 + NB_ATTENTE_A_24 + NB_ATTENTE_A_25 + NB_ATTENTE_A_26 + NB_ATTENTE_A_27 + NB_ATTENTE_A_28 + NB_ATTENTE_A_29 + NB_ATTENTE_A_30 + NB_ATTENTE_A_31 + NB_ATTENTE_A_32 + NB_ATTENTE_A_33 + NB_ATTENTE_A_34 + NB_ATTENTE_A_35 + NB_ATTENTE_A_36 + NB_ATTENTE_A_37 + NB_ATTENTE_A_38 + NB_ATTENTE_A_39 + NB_ATTENTE_A_40 + NB_ATTENTE_A_41 + NB_ATTENTE_A_42 + NB_ATTENTE_A_43 + NB_ATTENTE_A_44 + NB_ATTENTE_A_45 + NB_ATTENTE_A_46 + NB_ATTENTE_A_47 + NB_ATTENTE_A_48 + NB_ATTENTE_A_49 + NB_ATTENTE_A_50 + NB_ATTENTE_A_51 + NB_ATTENTE_A_52 + NB_ATTENTE_A_53 + NB_ATTENTE_A_54 + NB_ATTENTE_A_55 + NB_ATTENTE_A_56 + NB_ATTENTE_A_57 + NB_ATTENTE_A_58 + NB_ATTENTE_A_59 + NB_ATTENTE_A_60 + NB_ATTENTE_A_61 + NB_ATTENTE_A_62 + NB_ATTENTE_A_63 + NB_ATTENTE_A_64 + NB_ATTENTE_A_65 + NB_ATTENTE_A_66 + NB_ATTENTE_A_67 + NB_ATTENTE_A_68 + NB_ATTENTE_A_69 + NB_ATTENTE_A_70 + NB_ATTENTE_A_71 + NB_ATTENTE_A_72 + NB_ATTENTE_A_73 + NB_ATTENTE_A_74 + NB_ATTENTE_A_75 + NB_ATTENTE_A_76 + NB_ATTENTE_A_77 + NB_ATTENTE_A_78 + NB_ATTENTE_A_79 + NB_ATTENTE_A_80 <= CONTROLEUR_1 + CONTROLEUR_2)
lola: after: (1 <= CONTROLEUR_1 + CONTROLEUR_2)
lola: place invariant simplifies atomic proposition
lola: before: (COMPTEUR_10 + COMPTEUR_11 + COMPTEUR_12 + COMPTEUR_13 + COMPTEUR_14 + COMPTEUR_15 + COMPTEUR_16 + COMPTEUR_17 + COMPTEUR_18 + COMPTEUR_19 + COMPTEUR_20 + COMPTEUR_21 + COMPTEUR_22 + COMPTEUR_23 + COMPTEUR_24 + COMPTEUR_25 + COMPTEUR_26 + COMPTEUR_27 + COMPTEUR_28 + COMPTEUR_29 + COMPTEUR_30 + COMPTEUR_31 + COMPTEUR_32 + COMPTEUR_33 + COMPTEUR_34 + COMPTEUR_35 + COMPTEUR_36 + COMPTEUR_37 + COMPTEUR_38 + COMPTEUR_39 + COMPTEUR_40 + COMPTEUR_41 + COMPTEUR_42 + COMPTEUR_43 + COMPTEUR_44 + COMPTEUR_45 + COMPTEUR_46 + COMPTEUR_47 + COMPTEUR_48 + COMPTEUR_49 + COMPTEUR_50 + COMPTEUR_0 + COMPTEUR_1 + COMPTEUR_2 + COMPTEUR_3 + COMPTEUR_4 + COMPTEUR_5 + COMPTEUR_6 + COMPTEUR_7 + COMPTEUR_8 + COMPTEUR_9 <= SUR_PONT_A)
lola: after: (1 <= SUR_PONT_A)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (1 <= NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_21 + NB_ATTENTE_B_22 + NB_ATTENTE_B_23 + NB_ATTENTE_B_24 + NB_ATTENTE_B_25 + NB_ATTENTE_B_26 + NB_ATTENTE_B_27 + NB_ATTENTE_B_28 + NB_ATTENTE_B_29 + NB_ATTENTE_B_30 + NB_ATTENTE_B_31 + NB_ATTENTE_B_32 + NB_ATTENTE_B_33 + NB_ATTENTE_B_34 + NB_ATTENTE_B_35 + NB_ATTENTE_B_36 + NB_ATTENTE_B_37 + NB_ATTENTE_B_38 + NB_ATTENTE_B_39 + NB_ATTENTE_B_40 + NB_ATTENTE_B_41 + NB_ATTENTE_B_42 + NB_ATTENTE_B_43 + NB_ATTENTE_B_44 + NB_ATTENTE_B_45 + NB_ATTENTE_B_46 + NB_ATTENTE_B_47 + NB_ATTENTE_B_48 + NB_ATTENTE_B_49 + NB_ATTENTE_B_50 + NB_ATTENTE_B_51 + NB_ATTENTE_B_52 + NB_ATTENTE_B_53 + NB_ATTENTE_B_54 + NB_ATTENTE_B_55 + NB_ATTENTE_B_56 + NB_ATTENTE_B_57 + NB_ATTENTE_B_58 + NB_ATTENTE_B_59 + NB_ATTENTE_B_60 + NB_ATTENTE_B_61 + NB_ATTENTE_B_62 + NB_ATTENTE_B_63 + NB_ATTENTE_B_64 + NB_ATTENTE_B_65 + NB_ATTENTE_B_66 + NB_ATTENTE_B_67 + NB_ATTENTE_B_68 + NB_ATTENTE_B_69 + NB_ATTENTE_B_70 + NB_ATTENTE_B_71 + NB_ATTENTE_B_72 + NB_ATTENTE_B_73 + NB_ATTENTE_B_74 + NB_ATTENTE_B_75 + NB_ATTENTE_B_76 + NB_ATTENTE_B_77 + NB_ATTENTE_B_78 + NB_ATTENTE_B_79 + NB_ATTENTE_B_80 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (3 <= NB_ATTENTE_A_0 + NB_ATTENTE_A_1 + NB_ATTENTE_A_2 + NB_ATTENTE_A_3 + NB_ATTENTE_A_4 + NB_ATTENTE_A_5 + NB_ATTENTE_A_6 + NB_ATTENTE_A_7 + NB_ATTENTE_A_8 + NB_ATTENTE_A_9 + NB_ATTENTE_A_10 + NB_ATTENTE_A_11 + NB_ATTENTE_A_12 + NB_ATTENTE_A_13 + NB_ATTENTE_A_14 + NB_ATTENTE_A_15 + NB_ATTENTE_A_16 + NB_ATTENTE_A_17 + NB_ATTENTE_A_18 + NB_ATTENTE_A_19 + NB_ATTENTE_A_20 + NB_ATTENTE_A_21 + NB_ATTENTE_A_22 + NB_ATTENTE_A_23 + NB_ATTENTE_A_24 + NB_ATTENTE_A_25 + NB_ATTENTE_A_26 + NB_ATTENTE_A_27 + NB_ATTENTE_A_28 + NB_ATTENTE_A_29 + NB_ATTENTE_A_30 + NB_ATTENTE_A_31 + NB_ATTENTE_A_32 + NB_ATTENTE_A_33 + NB_ATTENTE_A_34 + NB_ATTENTE_A_35 + NB_ATTENTE_A_36 + NB_ATTENTE_A_37 + NB_ATTENTE_A_38 + NB_ATTENTE_A_39 + NB_ATTENTE_A_40 + NB_ATTENTE_A_41 + NB_ATTENTE_A_42 + NB_ATTENTE_A_43 + NB_ATTENTE_A_44 + NB_ATTENTE_A_45 + NB_ATTENTE_A_46 + NB_ATTENTE_A_47 + NB_ATTENTE_A_48 + NB_ATTENTE_A_49 + NB_ATTENTE_A_50 + NB_ATTENTE_A_51 + NB_ATTENTE_A_52 + NB_ATTENTE_A_53 + NB_ATTENTE_A_54 + NB_ATTENTE_A_55 + NB_ATTENTE_A_56 + NB_ATTENTE_A_57 + NB_ATTENTE_A_58 + NB_ATTENTE_A_59 + NB_ATTENTE_A_60 + NB_ATTENTE_A_61 + NB_ATTENTE_A_62 + NB_ATTENTE_A_63 + NB_ATTENTE_A_64 + NB_ATTENTE_A_65 + NB_ATTENTE_A_66 + NB_ATTENTE_A_67 + NB_ATTENTE_A_68 + NB_ATTENTE_A_69 + NB_ATTENTE_A_70 + NB_ATTENTE_A_71 + NB_ATTENTE_A_72 + NB_ATTENTE_A_73 + NB_ATTENTE_A_74 + NB_ATTENTE_A_75 + NB_ATTENTE_A_76 + NB_ATTENTE_A_77 + NB_ATTENTE_A_78 + NB_ATTENTE_A_79 + NB_ATTENTE_A_80)
lola: after: (2 <= 0)
lola: always false
lola: LP says that atomic proposition is always false: (2 <= CHOIX_1 + CHOIX_2)
lola: always true
lola: LP says that atomic proposition is always false: (2 <= CONTROLEUR_1 + CONTROLEUR_2)
lola: place invariant simplifies atomic proposition
lola: before: (ROUTE_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_51 + NB_ATTENTE_B_52 + NB_ATTENTE_B_53 + NB_ATTENTE_B_54 + NB_ATTENTE_B_55 + NB_ATTENTE_B_56 + NB_ATTENTE_B_57 + NB_ATTENTE_B_58 + NB_ATTENTE_B_59 + NB_ATTENTE_B_60 + NB_ATTENTE_B_61 + NB_ATTENTE_B_62 + NB_ATTENTE_B_63 + NB_ATTENTE_B_64 + NB_ATTENTE_B_65 + NB_ATTENTE_B_66 + NB_ATTENTE_B_67 + NB_ATTENTE_B_68 + NB_ATTENTE_B_69 + NB_ATTENTE_B_70 + NB_ATTENTE_B_71 + NB_ATTENTE_B_72 + NB_ATTENTE_B_73 + NB_ATTENTE_B_74 + NB_ATTENTE_B_75 + NB_ATTENTE_B_76 + NB_ATTENTE_B_77 + NB_ATTENTE_B_78 + NB_ATTENTE_B_79 + NB_ATTENTE_B_80 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9)
lola: after: (ROUTE_A <= 1)
lola: LP says that atomic proposition is always false: (3 <= NB_ATTENTE_B_11)
lola: LP says that atomic proposition is always false: (3 <= NB_ATTENTE_B_62)
lola: LP says that atomic proposition is always false: (3 <= NB_ATTENTE_B_17)
lola: LP says that atomic proposition is always false: (2 <= NB_ATTENTE_A_53)
lola: LP says that atomic proposition is always false: (3 <= COMPTEUR_15)
lola: A (G (((SORTI_B + 1 <= ROUTE_B) OR (SUR_PONT_B + 1 <= CHOIX_1 + CHOIX_2)))) : A (G ((((ROUTE_A + 1 <= ROUTE_B) AND (SORTI_B + 1 <= CAPACITE)) OR (CAPACITE <= ROUTE_B)))) : A (G (((1 <= CONTROLEUR_1 + CONTROLEUR_2) OR (1 <= SUR_PONT_A) OR (ATTENTE_B <= SUR_PONT_B) OR (SUR_PONT_A <= SUR_PONT_B)))) : A (G (TRUE)) : A (G (())) : E (F (FALSE)) : E (F (())) : E (F ((ROUTE_A <= 1))) : E (F (((NB_ATTENTE_B_70 + 1 <= NB_ATTENTE_A_32) AND (NB_ATTENTE_A_28 + 1 <= NB_ATTENTE_A_37)))) : E (F ((COMPTEUR_50 + 1 <= NB_ATTENTE_A_56))) : E (F (((NB_ATTENTE_A_33 + 1 <= NB_ATTENTE_B_68) AND (NB_ATTENTE_B_28 + 1 <= NB_ATTENTE_B_32) AND (NB_ATTENTE_B_20 <= NB_ATTENTE_A_51)))) : E (F (())) : E (F ((1 <= NB_ATTENTE_B_70))) : E (F ((((NB_ATTENTE_A_59 <= COMPTEUR_43) OR (1 <= NB_ATTENTE_B_61) OR ((1 <= COMPTEUR_14) AND (NB_ATTENTE_B_42 <= NB_ATTENTE_B_70))) AND (NB_ATTENTE_A_36 + 1 <= NB_ATTENTE_A_68)))) : A (G ((NB_ATTENTE_B_57 <= NB_ATTENTE_A_57))) : A (G (((1 <= NB_ATTENTE_B_13) OR (NB_ATTENTE_A_63 <= NB_ATTENTE_B_57))))
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: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: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: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 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: 15 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N50-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-V80P50N50-ReachabilityCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 235 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: 15 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N50-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-V80P50N50-ReachabilityCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 252 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: 15 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N50-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-V80P50N50-ReachabilityCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 271 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: 15 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N50-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-V80P50N50-ReachabilityCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 294 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: 15 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N50-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-V80P50N50-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((ROUTE_A <= 1)))
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 ((ROUTE_A <= 1)))
lola: processed formula length: 22
lola: 16 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N50-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: (ROUTE_A <= 1)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-5-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 80 markings, 79 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((1 <= NB_ATTENTE_B_70)))
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_70)))
lola: processed formula length: 30
lola: 16 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N50-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_70)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-6-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 75 markings, 74 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((COMPTEUR_50 + 1 <= NB_ATTENTE_A_56)))
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 ((COMPTEUR_50 + 1 <= NB_ATTENTE_A_56)))
lola: processed formula length: 44
lola: 16 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N50-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: (COMPTEUR_50 + 1 <= NB_ATTENTE_A_56)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-7-0.sara.
lola: sara is running 0 secs || 803 markings, 870 edges, 161 markings/sec, 0 secs
lola: sara is running 5 secs || 1205 markings, 1743 edges, 80 markings/sec, 5 secs
lola: sara is running 10 secs || 1595 markings, 2600 edges, 78 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic

lola: sara is running 15 secs || 1963 markings, 3464 edges, 74 markings/sec, 15 secs
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 438 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NB_ATTENTE_B_57 <= NB_ATTENTE_A_57)))
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_B_57 <= NB_ATTENTE_A_57)))
lola: processed formula length: 44
lola: 17 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N50-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_A_57 + 1 <= NB_ATTENTE_B_57)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-8-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 62 markings, 61 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 500 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= NB_ATTENTE_B_13) OR (NB_ATTENTE_A_63 <= NB_ATTENTE_B_57))))
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 <= NB_ATTENTE_B_13) OR (NB_ATTENTE_A_63 <= NB_ATTENTE_B_57))))
lola: processed formula length: 73
lola: 17 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N50-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_13 <= 0) AND (NB_ATTENTE_B_57 + 1 <= NB_ATTENTE_A_63))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-9-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 339 markings, 338 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 583 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((NB_ATTENTE_B_70 + 1 <= NB_ATTENTE_A_32) AND (NB_ATTENTE_A_28 + 1 <= NB_ATTENTE_A_37))))
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 (((NB_ATTENTE_B_70 + 1 <= NB_ATTENTE_A_32) AND (NB_ATTENTE_A_28 + 1 <= NB_ATTENTE_A_37))))
lola: processed formula length: 95
lola: 16 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N50-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: ((NB_ATTENTE_B_70 + 1 <= NB_ATTENTE_A_32) AND (NB_ATTENTE_A_28 + 1 <= NB_ATTENTE_A_37))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-10-0.sara.
lola: sara is running 0 secs || 825 markings, 966 edges, 165 markings/sec, 0 secs
lola: sara is running 5 secs || 2213 markings, 4206 edges, 278 markings/sec, 5 secs
lola: sara is running 10 secs || 3700 markings, 7080 edges, 297 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic

lola: sara is running 15 secs || 4351 markings, 8432 edges, 130 markings/sec, 15 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 696 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((ROUTE_A + 1 <= ROUTE_B) AND (SORTI_B + 1 <= CAPACITE)) OR (CAPACITE <= 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 ((((ROUTE_A + 1 <= ROUTE_B) AND (SORTI_B + 1 <= CAPACITE)) OR (CAPACITE <= ROUTE_B))))
lola: processed formula length: 92
lola: 17 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N50-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_B <= ROUTE_A) OR (CAPACITE <= SORTI_B)) AND (ROUTE_B + 1 <= CAPACITE))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-11-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 32 markings, 31 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 869 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= CONTROLEUR_1 + CONTROLEUR_2) OR (1 <= SUR_PONT_A) OR (ATTENTE_B <= SUR_PONT_B) OR (SUR_PONT_A <= SUR_PONT_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 <= CONTROLEUR_1 + CONTROLEUR_2) OR (1 <= SUR_PONT_A) OR (ATTENTE_B <= SUR_PONT_B) OR (SUR_PONT_A <= SUR_PONT_B))))
lola: processed formula length: 127
lola: 17 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N50-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: ((CONTROLEUR_1 + CONTROLEUR_2 <= 0) AND (SUR_PONT_A <= 0) AND (SUR_PONT_B + 1 <= ATTENTE_B) AND (SUR_PONT_B + 1 <= SUR_PONT_A))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-12-0.sara.
lola: sara is running 0 secs || 346 markings, 345 edges, 69 markings/sec, 0 secs
lola: sara is running 5 secs || 847 markings, 1072 edges, 100 markings/sec, 5 secs
lola: sara is running 10 secs || 1170 markings, 1790 edges, 65 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic

lola: sara is running 15 secs || 1471 markings, 2496 edges, 60 markings/sec, 15 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1151 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((SORTI_B + 1 <= ROUTE_B) OR (SUR_PONT_B + 1 <= CHOIX_1 + CHOIX_2))))
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 (((SORTI_B + 1 <= ROUTE_B) OR (SUR_PONT_B + 1 <= CHOIX_1 + CHOIX_2))))
lola: processed formula length: 76
lola: 17 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N50-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_B <= SORTI_B) AND (CHOIX_1 + CHOIX_2 <= SUR_PONT_B))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-13-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 82 markings, 81 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1726 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((NB_ATTENTE_A_33 + 1 <= NB_ATTENTE_B_68) AND (NB_ATTENTE_B_28 + 1 <= NB_ATTENTE_B_32) AND (NB_ATTENTE_B_20 <= NB_ATTENTE_A_51))))
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 (((NB_ATTENTE_A_33 + 1 <= NB_ATTENTE_B_68) AND (NB_ATTENTE_B_28 + 1 <= NB_ATTENTE_B_32) AND (NB_ATTENTE_B_20 <= NB_ATTENTE_A_51))))
lola: processed formula length: 136
lola: 16 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N50-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: ((NB_ATTENTE_A_33 + 1 <= NB_ATTENTE_B_68) AND (NB_ATTENTE_B_28 + 1 <= NB_ATTENTE_B_32) AND (NB_ATTENTE_B_20 <= NB_ATTENTE_A_51))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-14-0.sara.
lola: sara is running 0 secs || 485 markings, 494 edges, 97 markings/sec, 0 secs
lola: sara is running 5 secs || 1011 markings, 1328 edges, 105 markings/sec, 5 secs
lola: sara is running 10 secs || 1518 markings, 2170 edges, 101 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic

lola: sara is running 15 secs || 2010 markings, 2987 edges, 98 markings/sec, 15 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================

FORMULA BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3430 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((NB_ATTENTE_A_59 <= COMPTEUR_43) OR (1 <= NB_ATTENTE_B_61) OR ((1 <= COMPTEUR_14) AND (NB_ATTENTE_B_42 <= NB_ATTENTE_B_70))) AND (NB_ATTENTE_A_36 + 1 <= NB_ATTENTE_A_68))))
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 ((((NB_ATTENTE_A_59 <= COMPTEUR_43) OR (1 <= NB_ATTENTE_B_61) OR ((1 <= COMPTEUR_14) AND (NB_ATTENTE_B_42 <= NB_ATTENTE_B_70))) AND (NB_ATTENTE_A_36 + 1 <= NB_ATTENTE_A_68))))
lola: processed formula length: 182
lola: 16 rewrites
lola: closed formula file BridgeAndVehicles-PT-V80P50N50-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: (((NB_ATTENTE_A_59 <= COMPTEUR_43) OR (1 <= NB_ATTENTE_B_61) OR ((1 <= COMPTEUR_14) AND (NB_ATTENTE_B_42 <= NB_ATTENTE_B_70))) AND (NB_ATTENTE_A_36 + 1 <= NB_ATTENTE_A_68))
lola: state equation: Generated DNF with 7 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BridgeAndVehicles-PT-V80P50N50-ReachabilityCardinality-15-0.sara.
lola: sara is running 0 secs || 486 markings, 588 edges, 97 markings/sec, 0 secs
lola: sara is running 5 secs || 808 markings, 1071 edges, 64 markings/sec, 5 secs
lola: sara is running 10 secs || 1276 markings, 1830 edges, 94 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 1582 markings, 2564 edges, 61 markings/sec, 15 secs
lola: sara is running 20 secs || 1891 markings, 3335 edges, 62 markings/sec, 20 secs
lola: sara is running 25 secs || 3098 markings, 4980 edges, 241 markings/sec, 25 secs
lola: sara is running 30 secs || 9396 markings, 15243 edges, 1260 markings/sec, 30 secs
lola: sara is running 35 secs || 15686 markings, 25820 edges, 1258 markings/sec, 35 secs
lola: sara is running 40 secs || 22037 markings, 36518 edges, 1270 markings/sec, 40 secs
lola: sara is running 45 secs || 28286 markings, 46371 edges, 1250 markings/sec, 45 secs
lola: sara is running 50 secs || 34488 markings, 56484 edges, 1240 markings/sec, 50 secs
lola: sara is running 55 secs || 40730 markings, 66910 edges, 1248 markings/sec, 55 secs
lola: sara is running 60 secs || 46758 markings, 77058 edges, 1206 markings/sec, 60 secs
lola: sara is running 65 secs || 53058 markings, 87543 edges, 1260 markings/sec, 65 secs
lola: sara is running 70 secs || 59307 markings, 98247 edges, 1250 markings/sec, 70 secs
lola: sara is running 75 secs || 65746 markings, 109184 edges, 1288 markings/sec, 75 secs
lola: sara is running 80 secs || 72169 markings, 120007 edges, 1285 markings/sec, 80 secs
lola: sara is running 85 secs || 78372 markings, 130649 edges, 1241 markings/sec, 85 secs
lola: sara is running 90 secs || 84623 markings, 141216 edges, 1250 markings/sec, 90 secs
lola: sara is running 95 secs || 90730 markings, 151610 edges, 1221 markings/sec, 95 secs
lola: sara is running 100 secs || 97032 markings, 162408 edges, 1260 markings/sec, 100 secs
lola: sara is running 105 secs || 103353 markings, 173235 edges, 1264 markings/sec, 105 secs
lola: sara is running 110 secs || 109608 markings, 183944 edges, 1251 markings/sec, 110 secs
lola: sara is running 115 secs || 115796 markings, 194531 edges, 1238 markings/sec, 115 secs
lola: sara is running 120 secs || 122214 markings, 205517 edges, 1284 markings/sec, 120 secs
lola: sara is running 125 secs || 128554 markings, 216362 edges, 1268 markings/sec, 125 secs
lola: sara is running 130 secs || 134794 markings, 227028 edges, 1248 markings/sec, 130 secs
lola: sara is running 135 secs || 141132 markings, 237861 edges, 1268 markings/sec, 135 secs
lola: sara is running 140 secs || 146911 markings, 247712 edges, 1156 markings/sec, 140 secs
lola: sara is running 145 secs || 153268 markings, 258556 edges, 1271 markings/sec, 145 secs
lola: sara is running 150 secs || 159588 markings, 269631 edges, 1264 markings/sec, 150 secs
lola: sara is running 155 secs || 165964 markings, 280519 edges, 1275 markings/sec, 155 secs
lola: sara is running 160 secs || 172368 markings, 291452 edges, 1281 markings/sec, 160 secs
lola: sara is running 165 secs || 178792 markings, 302416 edges, 1285 markings/sec, 165 secs
lola: sara is running 170 secs || 184513 markings, 312427 edges, 1144 markings/sec, 170 secs
lola: sara is running 175 secs || 189983 markings, 321718 edges, 1094 markings/sec, 175 secs
lola: sara is running 180 secs || 196431 markings, 332716 edges, 1290 markings/sec, 180 secs
lola: sara is running 185 secs || 202881 markings, 344003 edges, 1290 markings/sec, 185 secs
lola: sara is running 190 secs || 209336 markings, 355010 edges, 1291 markings/sec, 190 secs
lola: sara is running 195 secs || 215790 markings, 366011 edges, 1291 markings/sec, 195 secs
lola: sara is running 200 secs || 222244 markings, 377305 edges, 1291 markings/sec, 200 secs
lola: sara is running 205 secs || 228706 markings, 388316 edges, 1292 markings/sec, 205 secs
lola: sara is running 210 secs || 235153 markings, 399295 edges, 1289 markings/sec, 210 secs
lola: sara is running 215 secs || 241599 markings, 410577 edges, 1289 markings/sec, 215 secs
lola: sara is running 220 secs || 248002 markings, 421476 edges, 1281 markings/sec, 220 secs
lola: sara is running 225 secs || 254362 markings, 432536 edges, 1272 markings/sec, 225 secs
lola: sara is running 230 secs || 260706 markings, 443398 edges, 1269 markings/sec, 230 secs
lola: sara is running 235 secs || 267075 markings, 454229 edges, 1274 markings/sec, 235 secs
lola: sara is running 240 secs || 273528 markings, 465522 edges, 1291 markings/sec, 240 secs
lola: sara is running 245 secs || 279947 markings, 474511 edges, 1284 markings/sec, 245 secs
lola: sara is running 250 secs || 285808 markings, 483971 edges, 1172 markings/sec, 250 secs
lola: sara is running 255 secs || 287618 markings, 487181 edges, 362 markings/sec, 255 secs
lola: sara is running 260 secs || 288390 markings, 488339 edges, 154 markings/sec, 260 secs
lola: sara is running 265 secs || 293466 markings, 496031 edges, 1015 markings/sec, 265 secs
lola: sara is running 270 secs || 299902 markings, 506748 edges, 1287 markings/sec, 270 secs
lola: sara is running 275 secs || 306346 markings, 517625 edges, 1289 markings/sec, 275 secs
lola: sara is running 280 secs || 312812 markings, 527759 edges, 1293 markings/sec, 280 secs
lola: sara is running 285 secs || 319295 markings, 538516 edges, 1297 markings/sec, 285 secs
lola: sara is running 290 secs || 325773 markings, 549218 edges, 1296 markings/sec, 290 secs
lola: sara is running 295 secs || 332247 markings, 560174 edges, 1295 markings/sec, 295 secs
lola: sara is running 300 secs || 338720 markings, 571134 edges, 1295 markings/sec, 300 secs
lola: sara is running 305 secs || 345104 markings, 581922 edges, 1277 markings/sec, 305 secs
lola: sara is running 310 secs || 351520 markings, 592750 edges, 1283 markings/sec, 310 secs
lola: sara is running 315 secs || 357953 markings, 603801 edges, 1287 markings/sec, 315 secs
lola: sara is running 320 secs || 364393 markings, 614650 edges, 1288 markings/sec, 320 secs
lola: sara is running 325 secs || 370823 markings, 625682 edges, 1286 markings/sec, 325 secs
lola: sara is running 330 secs || 377240 markings, 636575 edges, 1283 markings/sec, 330 secs
lola: sara is running 335 secs || 383592 markings, 647350 edges, 1270 markings/sec, 335 secs
lola: sara is running 340 secs || 389886 markings, 658131 edges, 1259 markings/sec, 340 secs
lola: sara is running 345 secs || 396256 markings, 669040 edges, 1274 markings/sec, 345 secs
lola: sara is running 350 secs || 402626 markings, 679946 edges, 1274 markings/sec, 350 secs
lola: sara is running 355 secs || 409032 markings, 690910 edges, 1281 markings/sec, 355 secs
lola: sara is running 360 secs || 415408 markings, 701818 edges, 1275 markings/sec, 360 secs
lola: sara is running 365 secs || 421794 markings, 712740 edges, 1277 markings/sec, 365 secs
lola: sara is running 370 secs || 428134 markings, 723577 edges, 1268 markings/sec, 370 secs
lola: sara is running 375 secs || 434524 markings, 734515 edges, 1278 markings/sec, 375 secs
lola: sara is running 380 secs || 440879 markings, 745618 edges, 1271 markings/sec, 380 secs
lola: sara is running 385 secs || 446117 markings, 754518 edges, 1048 markings/sec, 385 secs
lola: sara is running 390 secs || 452573 markings, 765546 edges, 1291 markings/sec, 390 secs
lola: sara is running 395 secs || 459019 markings, 776553 edges, 1289 markings/sec, 395 secs
lola: sara is running 400 secs || 465481 markings, 787861 edges, 1292 markings/sec, 400 secs
lola: sara is running 405 secs || 471908 markings, 798831 edges, 1285 markings/sec, 405 secs
lola: sara is running 410 secs || 478141 markings, 809456 edges, 1247 markings/sec, 410 secs
lola: sara is running 415 secs || 484552 markings, 820422 edges, 1282 markings/sec, 415 secs
lola: sara is running 420 secs || 490918 markings, 831531 edges, 1273 markings/sec, 420 secs
lola: sara is running 425 secs || 497330 markings, 842462 edges, 1282 markings/sec, 425 secs
lola: sara is running 430 secs || 503728 markings, 853364 edges, 1280 markings/sec, 430 secs
lola: sara is running 435 secs || 510124 markings, 864557 edges, 1279 markings/sec, 435 secs
lola: sara is running 440 secs || 516437 markings, 875306 edges, 1263 markings/sec, 440 secs
lola: sara is running 445 secs || 522778 markings, 886404 edges, 1268 markings/sec, 445 secs
lola: sara is running 450 secs || 529153 markings, 897257 edges, 1275 markings/sec, 450 secs
lola: sara is running 455 secs || 535546 markings, 908140 edges, 1279 markings/sec, 455 secs
lola: sara is running 460 secs || 541031 markings, 917738 edges, 1097 markings/sec, 460 secs
lola: sara is running 465 secs || 547290 markings, 928382 edges, 1252 markings/sec, 465 secs
lola: sara is running 470 secs || 553681 markings, 939565 edges, 1278 markings/sec, 470 secs
lola: sara is running 475 secs || 560177 markings, 947790 edges, 1299 markings/sec, 475 secs
lola: sara is running 480 secs || 565574 markings, 957594 edges, 1079 markings/sec, 480 secs
lola: sara is running 485 secs || 566656 markings, 959269 edges, 216 markings/sec, 485 secs
lola: sara is running 490 secs || 567526 markings, 960549 edges, 174 markings/sec, 490 secs
lola: sara is running 495 secs || 573262 markings, 969423 edges, 1147 markings/sec, 495 secs
lola: sara is running 500 secs || 579620 markings, 980070 edges, 1272 markings/sec, 500 secs
lola: sara is running 505 secs || 585916 markings, 990655 edges, 1259 markings/sec, 505 secs
lola: sara is running 510 secs || 592281 markings, 1000513 edges, 1273 markings/sec, 510 secs
lola: sara is running 515 secs || 598667 markings, 1011081 edges, 1277 markings/sec, 515 secs
lola: sara is running 520 secs || 604223 markings, 1020476 edges, 1111 markings/sec, 520 secs
lola: sara is running 525 secs || 610684 markings, 1031261 edges, 1292 markings/sec, 525 secs
lola: sara is running 530 secs || 617169 markings, 1042241 edges, 1297 markings/sec, 530 secs
lola: sara is running 535 secs || 623660 markings, 1053217 edges, 1298 markings/sec, 535 secs
lola: sara is running 540 secs || 630044 markings, 1064038 edges, 1277 markings/sec, 540 secs
lola: sara is running 545 secs || 636526 markings, 1075127 edges, 1296 markings/sec, 545 secs
lola: sara is running 550 secs || 643000 markings, 1086077 edges, 1295 markings/sec, 550 secs
lola: sara is running 555 secs || 649472 markings, 1097140 edges, 1294 markings/sec, 555 secs
lola: sara is running 560 secs || 655944 markings, 1108244 edges, 1294 markings/sec, 560 secs
lola: sara is running 565 secs || 662402 markings, 1119320 edges, 1292 markings/sec, 565 secs
lola: sara is running 570 secs || 668838 markings, 1130243 edges, 1287 markings/sec, 570 secs
lola: sara is running 575 secs || 675266 markings, 1141130 edges, 1286 markings/sec, 575 secs
lola: sara is running 580 secs || 681725 markings, 1152190 edges, 1292 markings/sec, 580 secs
lola: sara is running 585 secs || 688206 markings, 1163287 edges, 1296 markings/sec, 585 secs
lola: sara is running 590 secs || 694676 markings, 1174359 edges, 1294 markings/sec, 590 secs
lola: sara is running 595 secs || 701154 markings, 1185523 edges, 1296 markings/sec, 595 secs
lola: sara is running 600 secs || 707628 markings, 1196771 edges, 1295 markings/sec, 600 secs
lola: sara is running 605 secs || 714105 markings, 1207849 edges, 1295 markings/sec, 605 secs
lola: sara is running 610 secs || 720583 markings, 1218922 edges, 1296 markings/sec, 610 secs
lola: sara is running 615 secs || 727060 markings, 1229991 edges, 1295 markings/sec, 615 secs
lola: sara is running 620 secs || 733519 markings, 1241024 edges, 1292 markings/sec, 620 secs
lola: sara is running 625 secs || 739996 markings, 1252156 edges, 1295 markings/sec, 625 secs
lola: sara is running 630 secs || 746476 markings, 1263425 edges, 1296 markings/sec, 630 secs
lola: sara is running 635 secs || 752870 markings, 1274337 edges, 1279 markings/sec, 635 secs
lola: sara is running 640 secs || 759345 markings, 1285385 edges, 1295 markings/sec, 640 secs
lola: sara is running 645 secs || 765822 markings, 1296721 edges, 1295 markings/sec, 645 secs
lola: sara is running 650 secs || 772272 markings, 1307722 edges, 1290 markings/sec, 650 secs
lola: sara is running 655 secs || 778715 markings, 1318707 edges, 1289 markings/sec, 655 secs
lola: sara is running 660 secs || 785063 markings, 1329816 edges, 1270 markings/sec, 660 secs
lola: sara is running 665 secs || 791518 markings, 1340819 edges, 1291 markings/sec, 665 secs
lola: sara is running 670 secs || 797964 markings, 1351801 edges, 1289 markings/sec, 670 secs
lola: sara is running 675 secs || 804411 markings, 1363083 edges, 1289 markings/sec, 675 secs
lola: sara is running 680 secs || 810709 markings, 1373802 edges, 1260 markings/sec, 680 secs
lola: sara is running 685 secs || 817009 markings, 1384603 edges, 1260 markings/sec, 685 secs
lola: sara is running 690 secs || 823204 markings, 1395363 edges, 1239 markings/sec, 690 secs
lola: sara is running 695 secs || 829425 markings, 1404920 edges, 1244 markings/sec, 695 secs
lola: sara is running 700 secs || 835394 markings, 1413503 edges, 1194 markings/sec, 700 secs
lola: sara is running 705 secs || 837914 markings, 1418221 edges, 504 markings/sec, 705 secs
lola: sara is running 710 secs || 838720 markings, 1419430 edges, 161 markings/sec, 710 secs
lola: sara is running 715 secs || 842479 markings, 1424929 edges, 752 markings/sec, 715 secs
lola: sara is running 720 secs || 848886 markings, 1435576 edges, 1281 markings/sec, 720 secs
lola: sara is running 725 secs || 855190 markings, 1446195 edges, 1261 markings/sec, 725 secs
lola: sara is running 730 secs || 861514 markings, 1456023 edges, 1265 markings/sec, 730 secs
lola: sara is running 735 secs || 867849 markings, 1466485 edges, 1267 markings/sec, 735 secs
lola: sara is running 740 secs || 874227 markings, 1477161 edges, 1276 markings/sec, 740 secs
lola: sara is running 745 secs || 880561 markings, 1487901 edges, 1267 markings/sec, 745 secs
lola: sara is running 750 secs || 886854 markings, 1498555 edges, 1259 markings/sec, 750 secs
lola: sara is running 755 secs || 893187 markings, 1509261 edges, 1267 markings/sec, 755 secs
lola: sara is running 760 secs || 899653 markings, 1520184 edges, 1293 markings/sec, 760 secs
lola: sara is running 765 secs || 903150 markings, 1526103 edges, 699 markings/sec, 765 secs
lola: sara is running 770 secs || 909517 markings, 1537038 edges, 1273 markings/sec, 770 secs
lola: sara is running 775 secs || 915826 markings, 1547737 edges, 1262 markings/sec, 775 secs
lola: sara is running 780 secs || 922297 markings, 1558761 edges, 1294 markings/sec, 780 secs
lola: sara is running 785 secs || 928768 markings, 1569864 edges, 1294 markings/sec, 785 secs
lola: sara is running 790 secs || 935235 markings, 1580955 edges, 1293 markings/sec, 790 secs
lola: sara is running 795 secs || 941721 markings, 1592075 edges, 1297 markings/sec, 795 secs
lola: sara is running 800 secs || 948184 markings, 1603136 edges, 1293 markings/sec, 800 secs
lola: sara is running 805 secs || 954639 markings, 1614122 edges, 1291 markings/sec, 805 secs
lola: sara is running 810 secs || 961098 markings, 1625217 edges, 1292 markings/sec, 810 secs
lola: sara is running 815 secs || 967584 markings, 1636376 edges, 1297 markings/sec, 815 secs
lola: sara is running 820 secs || 974070 markings, 1647477 edges, 1297 markings/sec, 820 secs
lola: sara is running 825 secs || 980562 markings, 1658584 edges, 1298 markings/sec, 825 secs
lola: sara is running 830 secs || 987054 markings, 1669687 edges, 1298 markings/sec, 830 secs
lola: sara is running 835 secs || 993520 markings, 1680740 edges, 1293 markings/sec, 835 secs
lola: sara is running 840 secs || 999982 markings, 1691783 edges, 1292 markings/sec, 840 secs
lola: sara is running 845 secs || 1006462 markings, 1702843 edges, 1296 markings/sec, 845 secs
lola: sara is running 850 secs || 1012944 markings, 1714196 edges, 1296 markings/sec, 850 secs
lola: sara is running 855 secs || 1019426 markings, 1725266 edges, 1296 markings/sec, 855 secs
lola: sara is running 860 secs || 1025901 markings, 1736318 edges, 1295 markings/sec, 860 secs
lola: sara is running 865 secs || 1032370 markings, 1747425 edges, 1294 markings/sec, 865 secs
lola: sara is running 870 secs || 1038835 markings, 1758671 edges, 1293 markings/sec, 870 secs
lola: sara is running 875 secs || 1045304 markings, 1769706 edges, 1294 markings/sec, 875 secs
lola: sara is running 880 secs || 1051588 markings, 1780413 edges, 1257 markings/sec, 880 secs
lola: sara is running 885 secs || 1058050 markings, 1791722 edges, 1292 markings/sec, 885 secs
lola: sara is running 890 secs || 1064510 markings, 1802733 edges, 1292 markings/sec, 890 secs
lola: sara is running 895 secs || 1070896 markings, 1813821 edges, 1277 markings/sec, 895 secs
lola: sara is running 900 secs || 1077287 markings, 1824794 edges, 1278 markings/sec, 900 secs
lola: sara is running 905 secs || 1083738 markings, 1835782 edges, 1290 markings/sec, 905 secs
lola: sara is running 910 secs || 1090192 markings, 1847076 edges, 1291 markings/sec, 910 secs
lola: sara is running 915 secs || 1096753 markings, 1855187 edges, 1312 markings/sec, 915 secs
lola: sara is running 920 secs || 1101890 markings, 1864810 edges, 1027 markings/sec, 920 secs
lola: sara is running 925 secs || 1102763 markings, 1866119 edges, 175 markings/sec, 925 secs
lola: sara is running 930 secs || 1103658 markings, 1867379 edges, 179 markings/sec, 930 secs
lola: sara is running 935 secs || 1109860 markings, 1877095 edges, 1240 markings/sec, 935 secs
lola: sara is running 940 secs || 1116108 markings, 1887525 edges, 1250 markings/sec, 940 secs
lola: sara is running 945 secs || 1122522 markings, 1897688 edges, 1283 markings/sec, 945 secs
lola: sara is running 950 secs || 1129017 markings, 1908363 edges, 1299 markings/sec, 950 secs
lola: sara is running 955 secs || 1135472 markings, 1919198 edges, 1291 markings/sec, 955 secs
lola: sara is running 960 secs || 1141916 markings, 1929977 edges, 1289 markings/sec, 960 secs
lola: sara is running 965 secs || 1148340 markings, 1940867 edges, 1285 markings/sec, 965 secs
lola: sara is running 970 secs || 1154774 markings, 1951759 edges, 1287 markings/sec, 970 secs
lola: sara is running 975 secs || 1161191 markings, 1962604 edges, 1283 markings/sec, 975 secs
lola: sara is running 980 secs || 1167610 markings, 1973640 edges, 1284 markings/sec, 980 secs
lola: sara is running 985 secs || 1174030 markings, 1984467 edges, 1284 markings/sec, 985 secs
lola: sara is running 990 secs || 1180446 markings, 1995485 edges, 1283 markings/sec, 990 secs
lola: sara is running 995 secs || 1186865 markings, 2006332 edges, 1284 markings/sec, 995 secs
lola: sara is running 1000 secs || 1193280 markings, 2017290 edges, 1283 markings/sec, 1000 secs
lola: sara is running 1005 secs || 1199698 markings, 2028296 edges, 1284 markings/sec, 1005 secs
lola: sara is running 1010 secs || 1206105 markings, 2039277 edges, 1281 markings/sec, 1010 secs
lola: sara is running 1015 secs || 1212350 markings, 2049973 edges, 1249 markings/sec, 1015 secs
lola: sara is running 1020 secs || 1218490 markings, 2060480 edges, 1228 markings/sec, 1020 secs
lola: sara is running 1025 secs || 1224774 markings, 2071235 edges, 1257 markings/sec, 1025 secs
lola: sara is running 1030 secs || 1231095 markings, 2082050 edges, 1264 markings/sec, 1030 secs
lola: sara is running 1035 secs || 1237489 markings, 2092989 edges, 1279 markings/sec, 1035 secs
lola: sara is running 1040 secs || 1243822 markings, 2103819 edges, 1267 markings/sec, 1040 secs
lola: sara is running 1045 secs || 1250116 markings, 2114575 edges, 1259 markings/sec, 1045 secs
lola: sara is running 1050 secs || 1256489 markings, 2125727 edges, 1275 markings/sec, 1050 secs
lola: sara is running 1055 secs || 1262838 markings, 2136577 edges, 1270 markings/sec, 1055 secs
lola: sara is running 1060 secs || 1269261 markings, 2147550 edges, 1285 markings/sec, 1060 secs
lola: sara is running 1065 secs || 1275728 markings, 2158598 edges, 1293 markings/sec, 1065 secs
lola: sara is running 1070 secs || 1282196 markings, 2169713 edges, 1294 markings/sec, 1070 secs
lola: sara is running 1075 secs || 1288670 markings, 2180973 edges, 1295 markings/sec, 1075 secs
lola: sara is running 1080 secs || 1295142 markings, 2192021 edges, 1294 markings/sec, 1080 secs
lola: sara is running 1085 secs || 1301599 markings, 2203039 edges, 1291 markings/sec, 1085 secs
lola: sara is running 1090 secs || 1307989 markings, 2214220 edges, 1278 markings/sec, 1090 secs
lola: sara is running 1095 secs || 1314390 markings, 2225137 edges, 1280 markings/sec, 1095 secs
lola: sara is running 1100 secs || 1320854 markings, 2236159 edges, 1293 markings/sec, 1100 secs
lola: sara is running 1105 secs || 1327316 markings, 2247467 edges, 1292 markings/sec, 1105 secs
lola: sara is running 1110 secs || 1333794 markings, 2258510 edges, 1296 markings/sec, 1110 secs
lola: sara is running 1115 secs || 1340272 markings, 2269548 edges, 1296 markings/sec, 1115 secs
lola: sara is running 1120 secs || 1346744 markings, 2280874 edges, 1294 markings/sec, 1120 secs
lola: sara is running 1125 secs || 1353294 markings, 2289668 edges, 1310 markings/sec, 1125 secs
lola: sara is running 1130 secs || 1358840 markings, 2299332 edges, 1109 markings/sec, 1130 secs
lola: sara is running 1135 secs || 1360038 markings, 2301242 edges, 240 markings/sec, 1135 secs
lola: sara is running 1140 secs || 1360924 markings, 2302541 edges, 177 markings/sec, 1140 secs
lola: sara is running 1145 secs || 1366838 markings, 2311699 edges, 1183 markings/sec, 1145 secs
lola: sara is running 1150 secs || 1373292 markings, 2322468 edges, 1291 markings/sec, 1150 secs
lola: sara is running 1155 secs || 1379699 markings, 2332565 edges, 1281 markings/sec, 1155 secs
lola: sara is running 1160 secs || 1386180 markings, 2343277 edges, 1296 markings/sec, 1160 secs
lola: sara is running 1165 secs || 1392674 markings, 2354180 edges, 1299 markings/sec, 1165 secs
lola: sara is running 1170 secs || 1399175 markings, 2365058 edges, 1300 markings/sec, 1170 secs
lola: sara is running 1175 secs || 1405674 markings, 2376080 edges, 1300 markings/sec, 1175 secs
lola: sara is running 1180 secs || 1412171 markings, 2387081 edges, 1299 markings/sec, 1180 secs
lola: sara is running 1185 secs || 1418664 markings, 2398125 edges, 1299 markings/sec, 1185 secs
lola: sara is running 1190 secs || 1425146 markings, 2409206 edges, 1296 markings/sec, 1190 secs
lola: sara is running 1195 secs || 1431617 markings, 2420121 edges, 1294 markings/sec, 1195 secs
lola: sara is running 1200 secs || 1438088 markings, 2431236 edges, 1294 markings/sec, 1200 secs
lola: sara is running 1205 secs || 1444562 markings, 2442352 edges, 1295 markings/sec, 1205 secs
lola: sara is running 1210 secs || 1451040 markings, 2453354 edges, 1296 markings/sec, 1210 secs
lola: sara is running 1215 secs || 1457517 markings, 2464356 edges, 1295 markings/sec, 1215 secs
lola: sara is running 1220 secs || 1464007 markings, 2475484 edges, 1298 markings/sec, 1220 secs
lola: sara is running 1225 secs || 1470494 markings, 2486603 edges, 1297 markings/sec, 1225 secs
lola: sara is running 1230 secs || 1476979 markings, 2497713 edges, 1297 markings/sec, 1230 secs
lola: sara is running 1235 secs || 1483459 markings, 2508811 edges, 1296 markings/sec, 1235 secs
lola: sara is running 1240 secs || 1489941 markings, 2519908 edges, 1296 markings/sec, 1240 secs
lola: sara is running 1245 secs || 1496424 markings, 2531004 edges, 1297 markings/sec, 1245 secs
lola: sara is running 1250 secs || 1502907 markings, 2542095 edges, 1297 markings/sec, 1250 secs
lola: sara is running 1255 secs || 1509378 markings, 2553406 edges, 1294 markings/sec, 1255 secs
lola: sara is running 1260 secs || 1515850 markings, 2564488 edges, 1294 markings/sec, 1260 secs
lola: sara is running 1265 secs || 1522314 markings, 2575538 edges, 1293 markings/sec, 1265 secs
lola: sara is running 1270 secs || 1528764 markings, 2586559 edges, 1290 markings/sec, 1270 secs
lola: sara is running 1275 secs || 1535133 markings, 2597434 edges, 1274 markings/sec, 1275 secs
lola: sara is running 1280 secs || 1541573 markings, 2608704 edges, 1288 markings/sec, 1280 secs
lola: sara is running 1285 secs || 1548029 markings, 2619730 edges, 1291 markings/sec, 1285 secs
lola: sara is running 1290 secs || 1554475 markings, 2630731 edges, 1289 markings/sec, 1290 secs
lola: sara is running 1295 secs || 1560922 markings, 2641784 edges, 1289 markings/sec, 1295 secs
lola: sara is running 1300 secs || 1567316 markings, 2652921 edges, 1279 markings/sec, 1300 secs
lola: sara is running 1305 secs || 1573712 markings, 2663828 edges, 1279 markings/sec, 1305 secs
lola: sara is running 1310 secs || 1580091 markings, 2674785 edges, 1276 markings/sec, 1310 secs
lola: sara is running 1315 secs || 1586488 markings, 2685896 edges, 1279 markings/sec, 1315 secs
lola: sara is running 1320 secs || 1592878 markings, 2696785 edges, 1278 markings/sec, 1320 secs
lola: sara is running 1325 secs || 1599267 markings, 2707965 edges, 1278 markings/sec, 1325 secs
lola: sara is running 1330 secs || 1605728 markings, 2715711 edges, 1292 markings/sec, 1330 secs
lola: sara is running 1335 secs || 1609844 markings, 2723770 edges, 823 markings/sec, 1335 secs
lola: sara is running 1340 secs || 1610702 markings, 2725057 edges, 172 markings/sec, 1340 secs
lola: sara is running 1345 secs || 1612654 markings, 2727614 edges, 390 markings/sec, 1345 secs
lola: sara is running 1350 secs || 1619030 markings, 2738096 edges, 1275 markings/sec, 1350 secs
lola: sara is running 1355 secs || 1625418 markings, 2748336 edges, 1278 markings/sec, 1355 secs
lola: sara is running 1360 secs || 1631836 markings, 2758823 edges, 1284 markings/sec, 1360 secs
lola: sara is running 1365 secs || 1638259 markings, 2769487 edges, 1285 markings/sec, 1365 secs
lola: sara is running 1370 secs || 1644674 markings, 2780243 edges, 1283 markings/sec, 1370 secs
lola: sara is running 1375 secs || 1651090 markings, 2791132 edges, 1283 markings/sec, 1375 secs
lola: sara is running 1380 secs || 1657474 markings, 2801952 edges, 1277 markings/sec, 1380 secs
lola: sara is running 1385 secs || 1663868 markings, 2812773 edges, 1279 markings/sec, 1385 secs
lola: sara is running 1390 secs || 1670268 markings, 2823657 edges, 1280 markings/sec, 1390 secs
lola: sara is running 1395 secs || 1676667 markings, 2834589 edges, 1280 markings/sec, 1395 secs
lola: sara is running 1400 secs || 1683067 markings, 2845494 edges, 1280 markings/sec, 1400 secs
lola: sara is running 1405 secs || 1689470 markings, 2856377 edges, 1281 markings/sec, 1405 secs
lola: sara is running 1410 secs || 1695930 markings, 2867468 edges, 1292 markings/sec, 1410 secs
lola: sara is running 1415 secs || 1702400 markings, 2878572 edges, 1294 markings/sec, 1415 secs
lola: sara is running 1420 secs || 1708874 markings, 2889610 edges, 1295 markings/sec, 1420 secs
lola: sara is running 1425 secs || 1715208 markings, 2900304 edges, 1267 markings/sec, 1425 secs
lola: sara is running 1430 secs || 1721670 markings, 2911383 edges, 1292 markings/sec, 1430 secs
lola: sara is running 1435 secs || 1728135 markings, 2922458 edges, 1293 markings/sec, 1435 secs
lola: sara is running 1440 secs || 1734589 markings, 2933510 edges, 1291 markings/sec, 1440 secs
lola: sara is running 1445 secs || 1741046 markings, 2944605 edges, 1291 markings/sec, 1445 secs
lola: sara is running 1450 secs || 1747503 markings, 2955864 edges, 1291 markings/sec, 1450 secs
lola: sara is running 1455 secs || 1753957 markings, 2966908 edges, 1291 markings/sec, 1455 secs
lola: sara is running 1460 secs || 1760419 markings, 2977963 edges, 1292 markings/sec, 1460 secs
lola: sara is running 1465 secs || 1766878 markings, 2989009 edges, 1292 markings/sec, 1465 secs
lola: sara is running 1470 secs || 1773339 markings, 3000053 edges, 1292 markings/sec, 1470 secs
lola: sara is running 1475 secs || 1779704 markings, 3010926 edges, 1273 markings/sec, 1475 secs
lola: sara is running 1480 secs || 1786167 markings, 3022236 edges, 1293 markings/sec, 1480 secs
lola: sara is running 1485 secs || 1792629 markings, 3033274 edges, 1292 markings/sec, 1485 secs
lola: sara is running 1490 secs || 1799103 markings, 3044330 edges, 1295 markings/sec, 1490 secs
lola: sara is running 1495 secs || 1805589 markings, 3055395 edges, 1297 markings/sec, 1495 secs
lola: sara is running 1500 secs || 1812057 markings, 3066721 edges, 1294 markings/sec, 1500 secs
lola: sara is running 1505 secs || 1818528 markings, 3077764 edges, 1294 markings/sec, 1505 secs
lola: sara is running 1510 secs || 1824976 markings, 3088762 edges, 1290 markings/sec, 1510 secs
lola: sara is running 1515 secs || 1831426 markings, 3100050 edges, 1290 markings/sec, 1515 secs
lola: sara is running 1520 secs || 1837870 markings, 3111037 edges, 1289 markings/sec, 1520 secs
lola: sara is running 1525 secs || 1844320 markings, 3122048 edges, 1290 markings/sec, 1525 secs
lola: sara is running 1530 secs || 1850633 markings, 3130171 edges, 1263 markings/sec, 1530 secs
lola: sara is running 1535 secs || 1853698 markings, 3136002 edges, 613 markings/sec, 1535 secs
lola: sara is running 1540 secs || 1854492 markings, 3137193 edges, 159 markings/sec, 1540 secs
lola: sara is running 1545 secs || 1857915 markings, 3142143 edges, 685 markings/sec, 1545 secs
lola: sara is running 1550 secs || 1864358 markings, 3152875 edges, 1289 markings/sec, 1550 secs
lola: sara is running 1555 secs || 1870832 markings, 3163020 edges, 1295 markings/sec, 1555 secs
lola: sara is running 1560 secs || 1877239 markings, 3173702 edges, 1281 markings/sec, 1560 secs
lola: sara is running 1565 secs || 1883708 markings, 3184520 edges, 1294 markings/sec, 1565 secs
lola: sara is running 1570 secs || 1890178 markings, 3195434 edges, 1294 markings/sec, 1570 secs
lola: sara is running 1575 secs || 1896640 markings, 3206406 edges, 1292 markings/sec, 1575 secs
lola: sara is running 1580 secs || 1903098 markings, 3217356 edges, 1292 markings/sec, 1580 secs
lola: sara is running 1585 secs || 1909562 markings, 3228300 edges, 1293 markings/sec, 1585 secs
lola: sara is running 1590 secs || 1916021 markings, 3239218 edges, 1292 markings/sec, 1590 secs
lola: sara is running 1595 secs || 1922458 markings, 3250286 edges, 1287 markings/sec, 1595 secs
lola: sara is running 1600 secs || 1928918 markings, 3261183 edges, 1292 markings/sec, 1600 secs
lola: sara is running 1605 secs || 1935364 markings, 3272253 edges, 1289 markings/sec, 1605 secs
lola: sara is running 1610 secs || 1941843 markings, 3283377 edges, 1296 markings/sec, 1610 secs
lola: sara is running 1615 secs || 1948332 markings, 3294515 edges, 1298 markings/sec, 1615 secs
lola: sara is running 1620 secs || 1954822 markings, 3305478 edges, 1298 markings/sec, 1620 secs
lola: sara is running 1625 secs || 1961311 markings, 3316550 edges, 1298 markings/sec, 1625 secs
lola: sara is running 1630 secs || 1967784 markings, 3327644 edges, 1295 markings/sec, 1630 secs
lola: sara is running 1635 secs || 1974241 markings, 3338705 edges, 1291 markings/sec, 1635 secs
lola: sara is running 1640 secs || 1980702 markings, 3349771 edges, 1292 markings/sec, 1640 secs
lola: sara is running 1645 secs || 1987151 markings, 3360856 edges, 1290 markings/sec, 1645 secs
lola: sara is running 1650 secs || 1993608 markings, 3372110 edges, 1291 markings/sec, 1650 secs
lola: sara is running 1655 secs || 2000063 markings, 3383156 edges, 1291 markings/sec, 1655 secs
lola: sara is running 1660 secs || 2006543 markings, 3394242 edges, 1296 markings/sec, 1660 secs
lola: sara is running 1665 secs || 2013020 markings, 3405319 edges, 1295 markings/sec, 1665 secs
lola: sara is running 1670 secs || 2019500 markings, 3416397 edges, 1296 markings/sec, 1670 secs
lola: sara is running 1675 secs || 2025978 markings, 3427464 edges, 1296 markings/sec, 1675 secs
lola: sara is running 1680 secs || 2032441 markings, 3438777 edges, 1293 markings/sec, 1680 secs
lola: sara is running 1685 secs || 2038924 markings, 3449853 edges, 1297 markings/sec, 1685 secs
lola: sara is running 1690 secs || 2045399 markings, 3460910 edges, 1295 markings/sec, 1690 secs
lola: sara is running 1695 secs || 2051865 markings, 3472155 edges, 1293 markings/sec, 1695 secs
lola: sara is running 1700 secs || 2058336 markings, 3483272 edges, 1294 markings/sec, 1700 secs
lola: sara is running 1705 secs || 2064818 markings, 3494334 edges, 1296 markings/sec, 1705 secs
lola: sara is running 1710 secs || 2071294 markings, 3505466 edges, 1295 markings/sec, 1710 secs
lola: sara is running 1715 secs || 2077770 markings, 3516714 edges, 1295 markings/sec, 1715 secs
lola: sara is running 1720 secs || 2084312 markings, 3525686 edges, 1308 markings/sec, 1720 secs
lola: sara is running 1725 secs || 2089828 markings, 3535231 edges, 1103 markings/sec, 1725 secs
lola: sara is running 1730 secs || 2090958 markings, 3536997 edges, 226 markings/sec, 1730 secs
lola: sara is running 1735 secs || 2091853 markings, 3538297 edges, 179 markings/sec, 1735 secs
lola: sara is running 1740 secs || 2097936 markings, 3547762 edges, 1217 markings/sec, 1740 secs
lola: sara is running 1745 secs || 2104413 markings, 3558076 edges, 1295 markings/sec, 1745 secs
lola: sara is running 1750 secs || 2110911 markings, 3568800 edges, 1300 markings/sec, 1750 secs
lola: sara is running 1755 secs || 2117404 markings, 3579601 edges, 1299 markings/sec, 1755 secs
lola: sara is running 1760 secs || 2123896 markings, 3590500 edges, 1298 markings/sec, 1760 secs
lola: sara is running 1765 secs || 2130384 markings, 3601526 edges, 1298 markings/sec, 1765 secs
lola: sara is running 1770 secs || 2136870 markings, 3612533 edges, 1297 markings/sec, 1770 secs
lola: sara is running 1775 secs || 2143352 markings, 3623516 edges, 1296 markings/sec, 1775 secs
lola: sara is running 1780 secs || 2149796 markings, 3634417 edges, 1289 markings/sec, 1780 secs
lola: sara is running 1785 secs || 2156217 markings, 3645459 edges, 1284 markings/sec, 1785 secs
lola: sara is running 1790 secs || 2162700 markings, 3656405 edges, 1297 markings/sec, 1790 secs
lola: sara is running 1795 secs || 2169188 markings, 3667553 edges, 1298 markings/sec, 1795 secs
lola: sara is running 1800 secs || 2175676 markings, 3678697 edges, 1298 markings/sec, 1800 secs
lola: sara is running 1805 secs || 2182163 markings, 3689736 edges, 1297 markings/sec, 1805 secs
lola: sara is running 1810 secs || 2188646 markings, 3700741 edges, 1297 markings/sec, 1810 secs
lola: sara is running 1815 secs || 2195128 markings, 3711858 edges, 1296 markings/sec, 1815 secs
lola: sara is running 1820 secs || 2201613 markings, 3722976 edges, 1297 markings/sec, 1820 secs
lola: sara is running 1825 secs || 2208096 markings, 3734088 edges, 1297 markings/sec, 1825 secs
lola: sara is running 1830 secs || 2214583 markings, 3745202 edges, 1297 markings/sec, 1830 secs
lola: sara is running 1835 secs || 2221065 markings, 3756303 edges, 1296 markings/sec, 1835 secs
lola: sara is running 1840 secs || 2227544 markings, 3767396 edges, 1296 markings/sec, 1840 secs
lola: sara is running 1845 secs || 2234018 markings, 3778472 edges, 1295 markings/sec, 1845 secs
lola: sara is running 1850 secs || 2240497 markings, 3789813 edges, 1296 markings/sec, 1850 secs
lola: sara is running 1855 secs || 2246977 markings, 3800899 edges, 1296 markings/sec, 1855 secs
lola: sara is running 1860 secs || 2253452 markings, 3811973 edges, 1295 markings/sec, 1860 secs
lola: sara is running 1865 secs || 2259934 markings, 3823055 edges, 1296 markings/sec, 1865 secs
lola: sara is running 1870 secs || 2266416 markings, 3834132 edges, 1296 markings/sec, 1870 secs
lola: sara is running 1875 secs || 2272892 markings, 3845465 edges, 1295 markings/sec, 1875 secs
lola: sara is running 1880 secs || 2279365 markings, 3856522 edges, 1295 markings/sec, 1880 secs
lola: sara is running 1885 secs || 2285839 markings, 3867578 edges, 1295 markings/sec, 1885 secs
lola: sara is running 1890 secs || 2292310 markings, 3878723 edges, 1294 markings/sec, 1890 secs
lola: sara is running 1895 secs || 2298783 markings, 3889952 edges, 1295 markings/sec, 1895 secs
lola: sara is running 1900 secs || 2305260 markings, 3901005 edges, 1295 markings/sec, 1900 secs
lola: sara is running 1905 secs || 2311740 markings, 3912029 edges, 1296 markings/sec, 1905 secs
lola: sara is running 1910 secs || 2318020 markings, 3920273 edges, 1256 markings/sec, 1910 secs
lola: sara is running 1915 secs || 2320842 markings, 3925603 edges, 564 markings/sec, 1915 secs
lola: sara is running 1920 secs || 2321656 markings, 3926824 edges, 163 markings/sec, 1920 secs
lola: sara is running 1925 secs || 2325452 markings, 3932397 edges, 759 markings/sec, 1925 secs
lola: sara is running 1930 secs || 2331912 markings, 3942806 edges, 1292 markings/sec, 1930 secs
lola: sara is running 1935 secs || 2338405 markings, 3953398 edges, 1299 markings/sec, 1935 secs
lola: sara is running 1940 secs || 2344891 markings, 3964221 edges, 1297 markings/sec, 1940 secs
lola: sara is running 1945 secs || 2351366 markings, 3975115 edges, 1295 markings/sec, 1945 secs
lola: sara is running 1950 secs || 2357840 markings, 3985970 edges, 1295 markings/sec, 1950 secs
lola: sara is running 1955 secs || 2364315 markings, 3996965 edges, 1295 markings/sec, 1955 secs
lola: sara is running 1960 secs || 2370788 markings, 4007941 edges, 1295 markings/sec, 1960 secs
lola: sara is running 1965 secs || 2377261 markings, 4018900 edges, 1295 markings/sec, 1965 secs
lola: sara is running 1970 secs || 2383726 markings, 4030025 edges, 1293 markings/sec, 1970 secs
lola: sara is running 1975 secs || 2390141 markings, 4040858 edges, 1283 markings/sec, 1975 secs
lola: sara is running 1980 secs || 2396634 markings, 4052020 edges, 1299 markings/sec, 1980 secs
lola: sara is running 1985 secs || 2403117 markings, 4063158 edges, 1297 markings/sec, 1985 secs
lola: sara is running 1990 secs || 2409612 markings, 4074101 edges, 1299 markings/sec, 1990 secs
lola: sara is running 1995 secs || 2416107 markings, 4085249 edges, 1299 markings/sec, 1995 secs
lola: sara is running 2000 secs || 2422540 markings, 4096285 edges, 1287 markings/sec, 2000 secs
lola: sara is running 2005 secs || 2429014 markings, 4107389 edges, 1295 markings/sec, 2005 secs
lola: sara is running 2010 secs || 2435480 markings, 4118474 edges, 1293 markings/sec, 2010 secs
lola: sara is running 2015 secs || 2441946 markings, 4129556 edges, 1293 markings/sec, 2015 secs
lola: sara is running 2020 secs || 2448415 markings, 4140638 edges, 1294 markings/sec, 2020 secs
lola: sara is running 2025 secs || 2454892 markings, 4151731 edges, 1295 markings/sec, 2025 secs
lola: sara is running 2030 secs || 2461368 markings, 4162818 edges, 1295 markings/sec, 2030 secs
lola: sara is running 2035 secs || 2467842 markings, 4173898 edges, 1295 markings/sec, 2035 secs
lola: sara is running 2040 secs || 2474303 markings, 4185033 edges, 1292 markings/sec, 2040 secs
lola: sara is running 2045 secs || 2480770 markings, 4196268 edges, 1293 markings/sec, 2045 secs
lola: sara is running 2050 secs || 2487239 markings, 4207330 edges, 1294 markings/sec, 2050 secs
lola: sara is running 2055 secs || 2493698 markings, 4218372 edges, 1292 markings/sec, 2055 secs
lola: sara is running 2060 secs || 2500166 markings, 4229425 edges, 1294 markings/sec, 2060 secs
lola: sara is running 2065 secs || 2506631 markings, 4240740 edges, 1293 markings/sec, 2065 secs
lola: sara is running 2070 secs || 2513096 markings, 4251782 edges, 1293 markings/sec, 2070 secs
lola: sara is running 2075 secs || 2519552 markings, 4262806 edges, 1291 markings/sec, 2075 secs
lola: sara is running 2080 secs || 2526007 markings, 4273880 edges, 1291 markings/sec, 2080 secs
lola: sara is running 2085 secs || 2532470 markings, 4285135 edges, 1293 markings/sec, 2085 secs
lola: sara is running 2090 secs || 2538956 markings, 4293688 edges, 1297 markings/sec, 2090 secs
lola: sara is running 2095 secs || 2544122 markings, 4302998 edges, 1033 markings/sec, 2095 secs
lola: sara is running 2100 secs || 2544996 markings, 4304309 edges, 175 markings/sec, 2100 secs
lola: sara is running 2105 secs || 2546097 markings, 4305774 edges, 220 markings/sec, 2105 secs
lola: sara is running 2110 secs || 2552550 markings, 4316047 edges, 1291 markings/sec, 2110 secs
lola: sara is running 2115 secs || 2559036 markings, 4326301 edges, 1297 markings/sec, 2115 secs
lola: sara is running 2120 secs || 2565528 markings, 4337145 edges, 1298 markings/sec, 2120 secs
lola: sara is running 2125 secs || 2572022 markings, 4347971 edges, 1299 markings/sec, 2125 secs
lola: sara is running 2130 secs || 2578506 markings, 4359014 edges, 1297 markings/sec, 2130 secs
lola: sara is running 2135 secs || 2584996 markings, 4369885 edges, 1298 markings/sec, 2135 secs
lola: sara is running 2140 secs || 2591470 markings, 4380871 edges, 1295 markings/sec, 2140 secs
lola: sara is running 2145 secs || 2597943 markings, 4391970 edges, 1295 markings/sec, 2145 secs
lola: sara is running 2150 secs || 2604426 markings, 4402998 edges, 1297 markings/sec, 2150 secs
lola: sara is running 2155 secs || 2610905 markings, 4413951 edges, 1296 markings/sec, 2155 secs
lola: sara is running 2160 secs || 2617381 markings, 4425086 edges, 1295 markings/sec, 2160 secs
lola: sara is running 2165 secs || 2623859 markings, 4436221 edges, 1296 markings/sec, 2165 secs
lola: sara is running 2170 secs || 2630346 markings, 4447158 edges, 1297 markings/sec, 2170 secs
lola: sara is running 2175 secs || 2636828 markings, 4458287 edges, 1296 markings/sec, 2175 secs
lola: sara is running 2180 secs || 2643305 markings, 4469403 edges, 1295 markings/sec, 2180 secs
lola: sara is running 2185 secs || 2649779 markings, 4480511 edges, 1295 markings/sec, 2185 secs
lola: sara is running 2190 secs || 2656256 markings, 4491620 edges, 1295 markings/sec, 2190 secs
lola: sara is running 2195 secs || 2662733 markings, 4502724 edges, 1295 markings/sec, 2195 secs
lola: sara is running 2200 secs || 2669206 markings, 4513819 edges, 1295 markings/sec, 2200 secs
lola: sara is running 2205 secs || 2675686 markings, 4524921 edges, 1296 markings/sec, 2205 secs
lola: sara is running 2210 secs || 2682164 markings, 4536015 edges, 1296 markings/sec, 2210 secs
lola: sara is running 2215 secs || 2688643 markings, 4547107 edges, 1296 markings/sec, 2215 secs
lola: sara is running 2220 secs || 2695117 markings, 4558186 edges, 1295 markings/sec, 2220 secs
lola: sara is running 2225 secs || 2701592 markings, 4569264 edges, 1295 markings/sec, 2225 secs
lola: sara is running 2230 secs || 2708062 markings, 4580587 edges, 1294 markings/sec, 2230 secs
lola: sara is running 2235 secs || 2714537 markings, 4591659 edges, 1295 markings/sec, 2235 secs
lola: sara is running 2240 secs || 2720927 markings, 4602580 edges, 1278 markings/sec, 2240 secs
lola: sara is running 2245 secs || 2727406 markings, 4613653 edges, 1296 markings/sec, 2245 secs
lola: sara is running 2250 secs || 2733886 markings, 4624993 edges, 1296 markings/sec, 2250 secs
lola: sara is running 2255 secs || 2740363 markings, 4636057 edges, 1295 markings/sec, 2255 secs
lola: sara is running 2260 secs || 2746838 markings, 4647115 edges, 1295 markings/sec, 2260 secs
lola: sara is running 2265 secs || 2753318 markings, 4657887 edges, 1296 markings/sec, 2265 secs
lola: sara is running 2270 secs || 2759472 markings, 4666349 edges, 1231 markings/sec, 2270 secs
lola: sara is running 2275 secs || 2761908 markings, 4670866 edges, 487 markings/sec, 2275 secs
lola: sara is running 2280 secs || 2762696 markings, 4672048 edges, 158 markings/sec, 2280 secs
lola: sara is running 2285 secs || 2766942 markings, 4678379 edges, 849 markings/sec, 2285 secs
lola: sara is running 2290 secs || 2773429 markings, 4688700 edges, 1297 markings/sec, 2290 secs
lola: sara is running 2295 secs || 2779936 markings, 4699440 edges, 1301 markings/sec, 2295 secs
lola: sara is running 2300 secs || 2786441 markings, 4710373 edges, 1301 markings/sec, 2300 secs
lola: sara is running 2305 secs || 2792869 markings, 4721184 edges, 1286 markings/sec, 2305 secs
lola: sara is running 2310 secs || 2799333 markings, 4732184 edges, 1293 markings/sec, 2310 secs
lola: sara is running 2315 secs || 2805821 markings, 4743180 edges, 1298 markings/sec, 2315 secs
lola: sara is running 2320 secs || 2812307 markings, 4754217 edges, 1297 markings/sec, 2320 secs
lola: sara is running 2325 secs || 2818790 markings, 4765203 edges, 1297 markings/sec, 2325 secs
lola: sara is running 2330 secs || 2825268 markings, 4776163 edges, 1296 markings/sec, 2330 secs
lola: sara is running 2335 secs || 2831745 markings, 4787303 edges, 1295 markings/sec, 2335 secs
lola: sara is running 2340 secs || 2838224 markings, 4798367 edges, 1296 markings/sec, 2340 secs
lola: sara is running 2345 secs || 2844698 markings, 4809366 edges, 1295 markings/sec, 2345 secs
lola: sara is running 2350 secs || 2851178 markings, 4820496 edges, 1296 markings/sec, 2350 secs
lola: sara is running 2355 secs || 2857661 markings, 4831626 edges, 1297 markings/sec, 2355 secs
lola: sara is running 2360 secs || 2864118 markings, 4842709 edges, 1291 markings/sec, 2360 secs
lola: sara is running 2365 secs || 2870594 markings, 4853820 edges, 1295 markings/sec, 2365 secs
lola: sara is running 2370 secs || 2877056 markings, 4864902 edges, 1292 markings/sec, 2370 secs
lola: sara is running 2375 secs || 2883452 markings, 4875865 edges, 1279 markings/sec, 2375 secs
lola: sara is running 2380 secs || 2889928 markings, 4886964 edges, 1295 markings/sec, 2380 secs
lola: sara is running 2385 secs || 2896413 markings, 4898074 edges, 1297 markings/sec, 2385 secs
lola: sara is running 2390 secs || 2902895 markings, 4909176 edges, 1296 markings/sec, 2390 secs
lola: sara is running 2395 secs || 2909352 markings, 4920230 edges, 1291 markings/sec, 2395 secs
lola: sara is running 2400 secs || 2915812 markings, 4931285 edges, 1292 markings/sec, 2400 secs
lola: sara is running 2405 secs || 2922224 markings, 4942252 edges, 1282 markings/sec, 2405 secs
lola: sara is running 2410 secs || 2928702 markings, 4953471 edges, 1296 markings/sec, 2410 secs
lola: sara is running 2415 secs || 2935190 markings, 4964685 edges, 1298 markings/sec, 2415 secs
lola: sara is running 2420 secs || 2941680 markings, 4975780 edges, 1298 markings/sec, 2420 secs
lola: sara is running 2425 secs || 2948168 markings, 4986868 edges, 1298 markings/sec, 2425 secs
lola: sara is running 2430 secs || 2954649 markings, 4998043 edges, 1296 markings/sec, 2430 secs
lola: sara is running 2435 secs || 2961130 markings, 5009282 edges, 1296 markings/sec, 2435 secs
lola: sara is running 2440 secs || 2967700 markings, 5017761 edges, 1314 markings/sec, 2440 secs
lola: sara is running 2445 secs || 2972410 markings, 5026540 edges, 942 markings/sec, 2445 secs
lola: sara is running 2450 secs || 2973260 markings, 5027815 edges, 170 markings/sec, 2450 secs
lola: sara is running 2455 secs || 2974874 markings, 5029851 edges, 323 markings/sec, 2455 secs
lola: sara is running 2460 secs || 2981348 markings, 5040145 edges, 1295 markings/sec, 2460 secs
lola: sara is running 2465 secs || 2987854 markings, 5050817 edges, 1301 markings/sec, 2465 secs
lola: sara is running 2470 secs || 2994362 markings, 5061710 edges, 1302 markings/sec, 2470 secs
lola: sara is running 2475 secs || 3000866 markings, 5072648 edges, 1301 markings/sec, 2475 secs
lola: sara is running 2480 secs || 3007359 markings, 5083590 edges, 1299 markings/sec, 2480 secs
lola: sara is running 2485 secs || 3013841 markings, 5094613 edges, 1296 markings/sec, 2485 secs
lola: sara is running 2490 secs || 3020323 markings, 5105621 edges, 1296 markings/sec, 2490 secs
lola: sara is running 2495 secs || 3026802 markings, 5116608 edges, 1296 markings/sec, 2495 secs
lola: sara is running 2500 secs || 3033280 markings, 5127576 edges, 1296 markings/sec, 2500 secs
lola: sara is running 2505 secs || 3039754 markings, 5138716 edges, 1295 markings/sec, 2505 secs
lola: sara is running 2510 secs || 3046238 markings, 5149730 edges, 1297 markings/sec, 2510 secs
lola: sara is running 2515 secs || 3052634 markings, 5160662 edges, 1279 markings/sec, 2515 secs
lola: sara is running 2520 secs || 3059112 markings, 5171792 edges, 1296 markings/sec, 2520 secs
lola: sara is running 2525 secs || 3065588 markings, 5182915 edges, 1295 markings/sec, 2525 secs
lola: sara is running 2530 secs || 3072062 markings, 5194031 edges, 1295 markings/sec, 2530 secs
lola: sara is running 2535 secs || 3078538 markings, 5204959 edges, 1295 markings/sec, 2535 secs
lola: sara is running 2540 secs || 3085016 markings, 5216034 edges, 1296 markings/sec, 2540 secs
lola: sara is running 2545 secs || 3091490 markings, 5227134 edges, 1295 markings/sec, 2545 secs
lola: sara is running 2550 secs || 3097962 markings, 5238226 edges, 1294 markings/sec, 2550 secs
lola: sara is running 2555 secs || 3104412 markings, 5249356 edges, 1290 markings/sec, 2555 secs
lola: sara is running 2560 secs || 3110754 markings, 5260374 edges, 1268 markings/sec, 2560 secs
lola: sara is running 2565 secs || 3117075 markings, 5271193 edges, 1264 markings/sec, 2565 secs
lola: sara is running 2570 secs || 3123400 markings, 5282016 edges, 1265 markings/sec, 2570 secs
lola: sara is running 2575 secs || 3129790 markings, 5292949 edges, 1278 markings/sec, 2575 secs
lola: sara is running 2580 secs || 3136102 markings, 5303741 edges, 1262 markings/sec, 2580 secs
lola: sara is running 2585 secs || 3142474 markings, 5314752 edges, 1274 markings/sec, 2585 secs
lola: sara is running 2590 secs || 3148937 markings, 5325943 edges, 1293 markings/sec, 2590 secs
lola: sara is running 2595 secs || 3155406 markings, 5337003 edges, 1294 markings/sec, 2595 secs
lola: sara is running 2600 secs || 3161875 markings, 5348057 edges, 1294 markings/sec, 2600 secs
lola: sara is running 2605 secs || 3168344 markings, 5359316 edges, 1294 markings/sec, 2605 secs
lola: sara is running 2610 secs || 3174620 markings, 5367450 edges, 1255 markings/sec, 2610 secs
lola: sara is running 2615 secs || 3177402 markings, 5372698 edges, 556 markings/sec, 2615 secs
lola: sara is running 2620 secs || 3178214 markings, 5373916 edges, 162 markings/sec, 2620 secs
lola: sara is running 2625 secs || 3181852 markings, 5379272 edges, 728 markings/sec, 2625 secs
lola: sara is running 2630 secs || 3188285 markings, 5389480 edges, 1287 markings/sec, 2630 secs
lola: sara is running 2635 secs || 3188573 markings, 5389925 edges, 58 markings/sec, 2635 secs
lola: sara is running 2640 secs || 3188930 markings, 5390549 edges, 71 markings/sec, 2640 secs
lola: sara is running 2645 secs || 3189185 markings, 5390995 edges, 51 markings/sec, 2645 secs
lola: sara is running 2650 secs || 3190229 markings, 5392714 edges, 209 markings/sec, 2650 secs
lola: sara is running 2655 secs || 3194984 markings, 5400572 edges, 951 markings/sec, 2655 secs
lola: sara is running 2660 secs || 3201472 markings, 5411536 edges, 1298 markings/sec, 2660 secs
lola: sara is running 2665 secs || 3207966 markings, 5422475 edges, 1299 markings/sec, 2665 secs
lola: sara is running 2670 secs || 3214456 markings, 5433412 edges, 1298 markings/sec, 2670 secs
lola: sara is running 2675 secs || 3220948 markings, 5444403 edges, 1298 markings/sec, 2675 secs
lola: sara is running 2680 secs || 3227424 markings, 5455450 edges, 1295 markings/sec, 2680 secs
lola: sara is running 2685 secs || 3233904 markings, 5466554 edges, 1296 markings/sec, 2685 secs
lola: sara is running 2690 secs || 3240391 markings, 5477538 edges, 1297 markings/sec, 2690 secs
lola: sara is running 2695 secs || 3246870 markings, 5488687 edges, 1296 markings/sec, 2695 secs
lola: sara is running 2700 secs || 3253357 markings, 5499646 edges, 1297 markings/sec, 2700 secs
lola: sara is running 2705 secs || 3259842 markings, 5510794 edges, 1297 markings/sec, 2705 secs
lola: sara is running 2710 secs || 3266323 markings, 5521929 edges, 1296 markings/sec, 2710 secs
lola: sara is running 2715 secs || 3272806 markings, 5533065 edges, 1297 markings/sec, 2715 secs
lola: sara is running 2720 secs || 3279224 markings, 5543919 edges, 1284 markings/sec, 2720 secs
lola: sara is running 2725 secs || 3285641 markings, 5554871 edges, 1283 markings/sec, 2725 secs
lola: sara is running 2730 secs || 3292102 markings, 5565953 edges, 1292 markings/sec, 2730 secs
lola: sara is running 2735 secs || 3298556 markings, 5577017 edges, 1291 markings/sec, 2735 secs
lola: sara is running 2740 secs || 3305014 markings, 5588085 edges, 1292 markings/sec, 2740 secs
lola: sara is running 2745 secs || 3311466 markings, 5599217 edges, 1290 markings/sec, 2745 secs
lola: sara is running 2750 secs || 3317914 markings, 5610422 edges, 1290 markings/sec, 2750 secs
lola: sara is running 2755 secs || 3324370 markings, 5621478 edges, 1291 markings/sec, 2755 secs
lola: sara is running 2760 secs || 3330827 markings, 5632531 edges, 1291 markings/sec, 2760 secs
lola: sara is running 2765 secs || 3337282 markings, 5643578 edges, 1291 markings/sec, 2765 secs
lola: sara is running 2770 secs || 3343733 markings, 5654614 edges, 1290 markings/sec, 2770 secs
lola: sara is running 2775 secs || 3350185 markings, 5665680 edges, 1290 markings/sec, 2775 secs
lola: sara is running 2780 secs || 3356648 markings, 5676956 edges, 1293 markings/sec, 2780 secs
lola: sara is running 2785 secs || 3363026 markings, 5687856 edges, 1276 markings/sec, 2785 secs
lola: sara is running 2790 secs || 3369507 markings, 5697325 edges, 1296 markings/sec, 2790 secs
lola: sara is running 2795 secs || 3375052 markings, 5706517 edges, 1109 markings/sec, 2795 secs
lola: sara is running 2800 secs || 3376212 markings, 5708348 edges, 232 markings/sec, 2800 secs
lola: sara is running 2805 secs || 3377110 markings, 5709656 edges, 180 markings/sec, 2805 secs
lola: sara is running 2810 secs || 3383066 markings, 5718634 edges, 1191 markings/sec, 2810 secs
lola: sara is running 2815 secs || 3389574 markings, 5729289 edges, 1302 markings/sec, 2815 secs
lola: sara is running 2820 secs || 3396076 markings, 5740187 edges, 1300 markings/sec, 2820 secs
lola: sara is running 2825 secs || 3402580 markings, 5751167 edges, 1301 markings/sec, 2825 secs
lola: sara is running 2830 secs || 3409083 markings, 5762109 edges, 1301 markings/sec, 2830 secs
lola: sara is running 2835 secs || 3415584 markings, 5773174 edges, 1300 markings/sec, 2835 secs
lola: sara is running 2840 secs || 3422068 markings, 5784193 edges, 1297 markings/sec, 2840 secs
lola: sara is running 2845 secs || 3428557 markings, 5795204 edges, 1298 markings/sec, 2845 secs
lola: sara is running 2850 secs || 3435015 markings, 5806176 edges, 1292 markings/sec, 2850 secs
lola: sara is running 2855 secs || 3441495 markings, 5817300 edges, 1296 markings/sec, 2855 secs
lola: sara is running 2860 secs || 3447957 markings, 5828284 edges, 1292 markings/sec, 2860 secs
lola: sara is running 2865 secs || 3454430 markings, 5839355 edges, 1295 markings/sec, 2865 secs
lola: sara is running 2870 secs || 3460908 markings, 5850489 edges, 1296 markings/sec, 2870 secs
lola: sara is running 2875 secs || 3467391 markings, 5861628 edges, 1297 markings/sec, 2875 secs
lola: sara is running 2880 secs || 3473880 markings, 5872614 edges, 1298 markings/sec, 2880 secs
lola: sara is running 2885 secs || 3480368 markings, 5883696 edges, 1298 markings/sec, 2885 secs
lola: sara is running 2890 secs || 3486851 markings, 5894821 edges, 1297 markings/sec, 2890 secs
lola: sara is running 2895 secs || 3493320 markings, 5905914 edges, 1294 markings/sec, 2895 secs
lola: sara is running 2900 secs || 3499798 markings, 5917021 edges, 1296 markings/sec, 2900 secs
lola: sara is running 2905 secs || 3506271 markings, 5928114 edges, 1295 markings/sec, 2905 secs
lola: sara is running 2910 secs || 3512730 markings, 5939180 edges, 1292 markings/sec, 2910 secs
lola: sara is running 2915 secs || 3519184 markings, 5950458 edges, 1291 markings/sec, 2915 secs
lola: sara is running 2920 secs || 3525661 markings, 5961566 edges, 1295 markings/sec, 2920 secs
lola: sara is running 2925 secs || 3532140 markings, 5972659 edges, 1296 markings/sec, 2925 secs
lola: sara is running 2930 secs || 3538600 markings, 5983714 edges, 1292 markings/sec, 2930 secs
lola: sara is running 2935 secs || 3545066 markings, 5994776 edges, 1293 markings/sec, 2935 secs
lola: sara is running 2940 secs || 3551528 markings, 6005826 edges, 1292 markings/sec, 2940 secs
lola: sara is running 2945 secs || 3557993 markings, 6017139 edges, 1293 markings/sec, 2945 secs
lola: sara is running 2950 secs || 3564462 markings, 6025376 edges, 1294 markings/sec, 2950 secs
lola: sara is running 2955 secs || 3568070 markings, 6032350 edges, 722 markings/sec, 2955 secs
lola: sara is running 2960 secs || 3568906 markings, 6033604 edges, 167 markings/sec, 2960 secs
lola: sara is running 2965 secs || 3571636 markings, 6037455 edges, 546 markings/sec, 2965 secs
lola: sara is running 2970 secs || 3578054 markings, 6047683 edges, 1284 markings/sec, 2970 secs
lola: sara is running 2975 secs || 3584495 markings, 6058395 edges, 1288 markings/sec, 2975 secs
lola: sara is running 2980 secs || 3590958 markings, 6069239 edges, 1293 markings/sec, 2980 secs
lola: sara is running 2985 secs || 3597397 markings, 6080092 edges, 1288 markings/sec, 2985 secs
lola: sara is running 2990 secs || 3603819 markings, 6091035 edges, 1284 markings/sec, 2990 secs
lola: sara is running 2995 secs || 3610322 markings, 6102020 edges, 1301 markings/sec, 2995 secs
lola: sara is running 3000 secs || 3616820 markings, 6113147 edges, 1300 markings/sec, 3000 secs
lola: sara is running 3005 secs || 3623316 markings, 6124171 edges, 1299 markings/sec, 3005 secs
lola: sara is running 3010 secs || 3629654 markings, 6134903 edges, 1268 markings/sec, 3010 secs
lola: sara is running 3015 secs || 3636140 markings, 6146067 edges, 1297 markings/sec, 3015 secs
lola: sara is running 3020 secs || 3642624 markings, 6157030 edges, 1297 markings/sec, 3020 secs
lola: sara is running 3025 secs || 3649112 markings, 6168186 edges, 1298 markings/sec, 3025 secs
lola: sara is running 3030 secs || 3655418 markings, 6179020 edges, 1261 markings/sec, 3030 secs
lola: sara is running 3035 secs || 3661829 markings, 6190032 edges, 1282 markings/sec, 3035 secs
lola: sara is running 3040 secs || 3668236 markings, 6200858 edges, 1281 markings/sec, 3040 secs
lola: sara is running 3045 secs || 3674656 markings, 6211838 edges, 1284 markings/sec, 3045 secs
lola: sara is running 3050 secs || 3681021 markings, 6222754 edges, 1273 markings/sec, 3050 secs
lola: sara is running 3055 secs || 3687497 markings, 6233861 edges, 1295 markings/sec, 3055 secs
lola: sara is running 3060 secs || 3693974 markings, 6244967 edges, 1295 markings/sec, 3060 secs
lola: sara is running 3065 secs || 3700451 markings, 6256067 edges, 1295 markings/sec, 3065 secs
lola: sara is running 3070 secs || 3706918 markings, 6267237 edges, 1293 markings/sec, 3070 secs
lola: sara is running 3075 secs || 3713375 markings, 6278446 edges, 1291 markings/sec, 3075 secs
lola: sara is running 3080 secs || 3719843 markings, 6289523 edges, 1294 markings/sec, 3080 secs
lola: sara is running 3085 secs || 3726314 markings, 6300602 edges, 1294 markings/sec, 3085 secs
lola: sara is running 3090 secs || 3732781 markings, 6311668 edges, 1293 markings/sec, 3090 secs
lola: sara is running 3095 secs || 3739254 markings, 6322743 edges, 1295 markings/sec, 3095 secs
lola: sara is running 3100 secs || 3745720 markings, 6334052 edges, 1293 markings/sec, 3100 secs
lola: sara is running 3105 secs || 3751962 markings, 6342229 edges, 1248 markings/sec, 3105 secs
lola: sara is running 3110 secs || 3754588 markings, 6347136 edges, 525 markings/sec, 3110 secs
lola: sara is running 3115 secs || 3755378 markings, 6348321 edges, 158 markings/sec, 3115 secs
lola: sara is running 3120 secs || 3759388 markings, 6354149 edges, 802 markings/sec, 3120 secs
lola: sara is running 3125 secs || 3765885 markings, 6364669 edges, 1299 markings/sec, 3125 secs
lola: sara is running 3130 secs || 3772376 markings, 6375540 edges, 1298 markings/sec, 3130 secs
lola: sara is running 3135 secs || 3778865 markings, 6386455 edges, 1298 markings/sec, 3135 secs
lola: sara is running 3140 secs || 3785352 markings, 6397456 edges, 1297 markings/sec, 3140 secs
lola: sara is running 3145 secs || 3791823 markings, 6408319 edges, 1294 markings/sec, 3145 secs
lola: sara is running 3150 secs || 3798246 markings, 6419251 edges, 1285 markings/sec, 3150 secs
lola: sara is running 3155 secs || 3804726 markings, 6430309 edges, 1296 markings/sec, 3155 secs
lola: sara is running 3160 secs || 3811204 markings, 6441417 edges, 1296 markings/sec, 3160 secs
lola: sara is running 3165 secs || 3817678 markings, 6452387 edges, 1295 markings/sec, 3165 secs
lola: sara is running 3170 secs || 3824154 markings, 6463534 edges, 1295 markings/sec, 3170 secs
lola: sara is running 3175 secs || 3830632 markings, 6474486 edges, 1296 markings/sec, 3175 secs
lola: sara is running 3180 secs || 3837110 markings, 6485625 edges, 1296 markings/sec, 3180 secs
lola: sara is running 3185 secs || 3843589 markings, 6496760 edges, 1296 markings/sec, 3185 secs
lola: sara is running 3190 secs || 3850068 markings, 6507893 edges, 1296 markings/sec, 3190 secs
lola: sara is running 3195 secs || 3856529 markings, 6518787 edges, 1292 markings/sec, 3195 secs
lola: sara is running 3200 secs || 3863000 markings, 6529882 edges, 1294 markings/sec, 3200 secs
lola: sara is running 3205 secs || 3869432 markings, 6540916 edges, 1286 markings/sec, 3205 secs
lola: sara is running 3210 secs || 3875857 markings, 6551933 edges, 1285 markings/sec, 3210 secs
lola: sara is running 3215 secs || 3882274 markings, 6562934 edges, 1283 markings/sec, 3215 secs
lola: sara is running 3220 secs || 3888643 markings, 6573860 edges, 1274 markings/sec, 3220 secs
lola: sara is running 3225 secs || 3895054 markings, 6585065 edges, 1282 markings/sec, 3225 secs
lola: sara is running 3230 secs || 3901470 markings, 6596055 edges, 1283 markings/sec, 3230 secs
lola: sara is running 3235 secs || 3907885 markings, 6607038 edges, 1283 markings/sec, 3235 secs
lola: sara is running 3240 secs || 3914207 markings, 6617856 edges, 1264 markings/sec, 3240 secs
lola: sara is running 3245 secs || 3920541 markings, 6628690 edges, 1267 markings/sec, 3245 secs
lola: sara is running 3250 secs || 3926966 markings, 6639473 edges, 1285 markings/sec, 3250 secs
lola: sara is running 3255 secs || 3932961 markings, 6647872 edges, 1199 markings/sec, 3255 secs
lola: sara is running 3260 secs || 3935028 markings, 6651612 edges, 413 markings/sec, 3260 secs
lola: sara is running 3265 secs || 3935778 markings, 6652737 edges, 150 markings/sec, 3265 secs
lola: sara is running 3270 secs || 3940133 markings, 6659071 edges, 871 markings/sec, 3270 secs
lola: sara is running 3275 secs || 3946501 markings, 6669495 edges, 1274 markings/sec, 3275 secs
lola: sara is running 3280 secs || 3952841 markings, 6680095 edges, 1268 markings/sec, 3280 secs
lola: sara is running 3285 secs || 3959278 markings, 6690983 edges, 1287 markings/sec, 3285 secs
lola: sara is running 3290 secs || 3965700 markings, 6701807 edges, 1284 markings/sec, 3290 secs
lola: sara is running 3295 secs || 3972136 markings, 6712774 edges, 1287 markings/sec, 3295 secs
lola: sara is running 3300 secs || 3978552 markings, 6723690 edges, 1283 markings/sec, 3300 secs
lola: sara is running 3305 secs || 3984972 markings, 6734597 edges, 1284 markings/sec, 3305 secs
lola: sara is running 3310 secs || 3991446 markings, 6745583 edges, 1295 markings/sec, 3310 secs
lola: sara is running 3315 secs || 3997922 markings, 6756708 edges, 1295 markings/sec, 3315 secs
lola: sara is running 3320 secs || 4004406 markings, 6767717 edges, 1297 markings/sec, 3320 secs
lola: sara is running 3325 secs || 4010881 markings, 6778857 edges, 1295 markings/sec, 3325 secs
lola: sara is running 3330 secs || 4017374 markings, 6789830 edges, 1299 markings/sec, 3330 secs
lola: sara is running 3335 secs || 4023868 markings, 6800991 edges, 1299 markings/sec, 3335 secs
lola: sara is running 3340 secs || 4030347 markings, 6812123 edges, 1296 markings/sec, 3340 secs
lola: sara is running 3345 secs || 4036829 markings, 6823256 edges, 1296 markings/sec, 3345 secs
lola: sara is running 3350 secs || 4043312 markings, 6834388 edges, 1297 markings/sec, 3350 secs
lola: sara is running 3355 secs || 4049795 markings, 6845515 edges, 1297 markings/sec, 3355 secs
lola: sara is running 3360 secs || 4056275 markings, 6856633 edges, 1296 markings/sec, 3360 secs
lola: sara is running 3365 secs || 4062756 markings, 6867749 edges, 1296 markings/sec, 3365 secs
lola: sara is running 3370 secs || 4069236 markings, 6878859 edges, 1296 markings/sec, 3370 secs
lola: sara is running 3375 secs || 4075718 markings, 6889969 edges, 1296 markings/sec, 3375 secs
lola: sara is running 3380 secs || 4082194 markings, 6901064 edges, 1295 markings/sec, 3380 secs
lola: sara is running 3385 secs || 4088664 markings, 6912144 edges, 1294 markings/sec, 3385 secs
lola: sara is running 3390 secs || 4095129 markings, 6923211 edges, 1293 markings/sec, 3390 secs
lola: sara is running 3395 secs || 4101474 markings, 6933890 edges, 1269 markings/sec, 3395 secs
lola: sara is running 3400 secs || 4107392 markings, 6942154 edges, 1184 markings/sec, 3400 secs
lola: sara is running 3405 secs || 4109468 markings, 6945907 edges, 415 markings/sec, 3405 secs
lola: sara is running 3410 secs || 4110246 markings, 6947074 edges, 156 markings/sec, 3410 secs
lola: sara is running 3415 secs || 4115034 markings, 6954105 edges, 958 markings/sec, 3415 secs
lola: sara is running 3420 secs || 4121535 markings, 6964796 edges, 1300 markings/sec, 3420 secs
lola: time limit reached - aborting
lola:
preliminary result: no no yes yes yes no no yes no yes no no yes unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes yes yes no no yes no yes no no yes unknown no no
lola:
preliminary result: no no yes yes yes no no yes no yes no no yes unknown no no
lola: memory consumption: 397708 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 397708 KB
lola: time consumption: 3569 seconds

BK_STOP 1526597948301

--------------------
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-V80P50N50"
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-V80P50N50.tgz
mv BridgeAndVehicles-PT-V80P50N50 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-V80P50N50, 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-152646306500390"
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 ;