About the Execution of LoLA for BridgeAndVehicles-PT-V50P20N20
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
4335.100 | 3570197.00 | 7261624.00 | 555.60 | TFTFFF?FFFTFTFFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2019-input.r016-csrt-155225065700584.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is BridgeAndVehicles-PT-V50P20N20, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-csrt-155225065700584
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.7M
-rw-r--r-- 1 mcc users 8.6K Feb 9 07:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 34K Feb 9 07:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 277K Feb 5 05:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 799K Feb 5 05:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 117 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 355 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Feb 4 22:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 22:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 120K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 344K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 2 01:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 2 01:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112K Jan 29 12:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 324K Jan 29 12:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.4K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 2.6M Mar 10 17:31 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-00
FORMULA_NAME BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-01
FORMULA_NAME BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-02
FORMULA_NAME BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-03
FORMULA_NAME BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-04
FORMULA_NAME BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-05
FORMULA_NAME BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-06
FORMULA_NAME BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-07
FORMULA_NAME BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-08
FORMULA_NAME BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-09
FORMULA_NAME BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-10
FORMULA_NAME BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-11
FORMULA_NAME BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-12
FORMULA_NAME BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-13
FORMULA_NAME BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-14
FORMULA_NAME BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1552527491677
info: Time: 3600 - MCC
vrfy: Checking ReachabilityCardinality @ BridgeAndVehicles-PT-V50P20N20 @ 3570 seconds
FORMULA BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA BridgeAndVehicles-PT-V50P20N20-ReachabilityCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for ReachabilityCardinality @ BridgeAndVehicles-PT-V50P20N20
{
"exit":
{
"memory": 1655576,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "A (G ((((2 <= SUR_PONT_B) OR (CONTROLEUR_1 + CONTROLEUR_2 <= CAPACITE) OR ((3 <= ROUTE_B) AND (SORTI_B <= ROUTE_B))))))",
"processed_size": 121,
"rewrites": 20
},
"result":
{
"preliminary_value": "yes no yes no no no unknown no no no yes no yes no no yes "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 6,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 2486/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 4416
lola: finding significant places
lola: 138 places, 2348 transitions, 131 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from ReachabilityCardinality.xml
lola: place invariant simplifies atomic proposition
lola: before: (3 <= NB_ATTENTE_B_49 + NB_ATTENTE_B_48 + NB_ATTENTE_B_47 + 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 + NB_ATTENTE_B_46 + 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_50)
lola: after: (2 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (3 <= NB_ATTENTE_B_49 + NB_ATTENTE_B_48 + NB_ATTENTE_B_47 + 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 + NB_ATTENTE_B_46 + 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_50)
lola: after: (2 <= 0)
lola: LP says that atomic proposition is always false: (3 <= CHOIX_1 + CHOIX_2)
lola: place invariant simplifies atomic proposition
lola: before: (ROUTE_B <= COMPTEUR_0 + COMPTEUR_1 + COMPTEUR_2 + COMPTEUR_3 + COMPTEUR_4 + COMPTEUR_5 + COMPTEUR_6 + COMPTEUR_7 + COMPTEUR_8 + COMPTEUR_9 + COMPTEUR_10 + COMPTEUR_11 + COMPTEUR_12 + COMPTEUR_13 + COMPTEUR_14 + COMPTEUR_15 + COMPTEUR_16 + COMPTEUR_17 + COMPTEUR_18 + COMPTEUR_19 + COMPTEUR_20)
lola: after: (ROUTE_B <= 1)
lola: place invariant simplifies atomic proposition
lola: before: (COMPTEUR_0 + COMPTEUR_1 + COMPTEUR_2 + COMPTEUR_3 + COMPTEUR_4 + COMPTEUR_5 + COMPTEUR_6 + COMPTEUR_7 + COMPTEUR_8 + COMPTEUR_9 + COMPTEUR_10 + COMPTEUR_11 + COMPTEUR_12 + COMPTEUR_13 + COMPTEUR_14 + COMPTEUR_15 + COMPTEUR_16 + COMPTEUR_17 + COMPTEUR_18 + COMPTEUR_19 + COMPTEUR_20 <= VIDANGE_1 + VIDANGE_2)
lola: after: (1 <= VIDANGE_1 + VIDANGE_2)
lola: LP says that atomic proposition is always false: (3 <= VIDANGE_1 + VIDANGE_2)
lola: LP says that atomic proposition is always false: (3 <= CONTROLEUR_1 + CONTROLEUR_2)
lola: place invariant simplifies atomic proposition
lola: before: (1 <= NB_ATTENTE_B_49 + NB_ATTENTE_B_48 + NB_ATTENTE_B_47 + 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 + NB_ATTENTE_B_46 + 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_50)
lola: after: (0 <= 0)
lola: LP says that atomic proposition is always false: (2 <= NB_ATTENTE_A_20)
lola: LP says that atomic proposition is always false: (2 <= NB_ATTENTE_B_9)
lola: LP says that atomic proposition is always false: (3 <= NB_ATTENTE_B_5)
lola: LP says that atomic proposition is always false: (2 <= NB_ATTENTE_A_37)
lola: LP says that atomic proposition is always false: (2 <= NB_ATTENTE_B_36)
lola: LP says that atomic proposition is always false: (2 <= NB_ATTENTE_B_23)
lola: LP says that atomic proposition is always false: (3 <= NB_ATTENTE_B_36)
lola: LP says that atomic proposition is always false: (3 <= NB_ATTENTE_B_15)
lola: LP says that atomic proposition is always false: (2 <= NB_ATTENTE_A_28)
lola: LP says that atomic proposition is always false: (2 <= NB_ATTENTE_B_38)
lola: A (G ((0 <= 1))) : A (G ((2 <= CAPACITE))) : A (G (())) : E (F ((3 <= VIDANGE_1 + VIDANGE_2))) : E (F (())) : A (G (((SUR_PONT_A <= 1) OR (ATTENTE_B <= 0) OR (SUR_PONT_A + 1 <= ROUTE_B) OR (ROUTE_A + 1 <= ATTENTE_B)))) : A (G ((((2 <= SUR_PONT_B) OR (CONTROLEUR_1 + CONTROLEUR_2 <= CAPACITE) OR ((3 <= ROUTE_B) AND (SORTI_B <= ROUTE_B)))))) : A (G ((ATTENTE_A <= CAPACITE))) : E (F (())) : A (G (((1 <= NB_ATTENTE_B_34) OR (1 <= NB_ATTENTE_B_40) OR (((NB_ATTENTE_A_44 <= NB_ATTENTE_B_2)))))) : E (F (((1 <= NB_ATTENTE_B_45) AND (NB_ATTENTE_A_36 <= NB_ATTENTE_A_30)))) : A (G ((((COMPTEUR_16 <= COMPTEUR_3) AND (COMPTEUR_8 <= NB_ATTENTE_B_24)) OR (NB_ATTENTE_B_50 <= NB_ATTENTE_B_29)))) : A (G (((NB_ATTENTE_B_2 <= 0) OR (NB_ATTENTE_B_4 <= 0)))) : E (F ((3 <= NB_ATTENTE_B_15))) : A (G (((NB_ATTENTE_A_29 <= NB_ATTENTE_A_6)))) : E (F (((1 <= NB_ATTENTE_B_18) AND (VIDANGE_1 <= NB_ATTENTE_B_47) AND (NB_ATTENTE_A_47 <= 0) AND (NB_ATTENTE_A_15 <= NB_ATTENTE_A_24))))
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: 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 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 18 rewrites
lola: closed formula file ReachabilityCardinality.xml
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: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 18 rewrites
lola: closed formula file ReachabilityCardinality.xml
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: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file ReachabilityCardinality.xml
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: ========================================
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file ReachabilityCardinality.xml
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: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file ReachabilityCardinality.xml
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: ========================================
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file ReachabilityCardinality.xml
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: ========================================
lola: subprocess 6 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((2 <= CAPACITE)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((2 <= CAPACITE)))
lola: processed formula length: 23
lola: 20 rewrites
lola: closed formula file ReachabilityCardinality.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (CAPACITE <= 1)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 58 markings, 57 edges
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NB_ATTENTE_B_2 <= 0) OR (NB_ATTENTE_B_4 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((NB_ATTENTE_B_2 <= 0) OR (NB_ATTENTE_B_4 <= 0))))
lola: processed formula length: 57
lola: 20 rewrites
lola: closed formula file ReachabilityCardinality.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= NB_ATTENTE_B_2) AND (1 <= NB_ATTENTE_B_4))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: ========================================
lola: state equation: write sara problem file to ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: subprocess 8 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((ATTENTE_A <= CAPACITE)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((ATTENTE_A <= CAPACITE)))
lola: processed formula length: 31
lola: 20 rewrites
lola: closed formula file ReachabilityCardinality.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (CAPACITE + 1 <= ATTENTE_A)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 22 markings, 21 edges
lola: subprocess 9 will run for 507 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NB_ATTENTE_A_29 <= NB_ATTENTE_A_6))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((NB_ATTENTE_A_29 <= NB_ATTENTE_A_6))))
lola: processed formula length: 45
lola: 20 rewrites
lola: closed formula file ReachabilityCardinality.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((NB_ATTENTE_A_6 + 1 <= NB_ATTENTE_A_29))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: ========================================
lola: state equation: write sara problem file to ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityCardinality-9-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: subprocess 10 will run for 592 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= NB_ATTENTE_B_45) AND (NB_ATTENTE_A_36 <= NB_ATTENTE_A_30))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= NB_ATTENTE_B_45) AND (NB_ATTENTE_A_36 <= NB_ATTENTE_A_30))))
lola: processed formula length: 73
lola: 19 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: ========================================
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= NB_ATTENTE_B_45) AND (NB_ATTENTE_A_36 <= NB_ATTENTE_A_30))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 46 markings, 45 edges
lola: ========================================
lola: subprocess 11 will run for 710 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((SUR_PONT_A <= 1) OR (ATTENTE_B <= 0) OR (SUR_PONT_A + 1 <= ROUTE_B) OR (ROUTE_A + 1 <= ATTENTE_B))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((SUR_PONT_A <= 1) OR (ATTENTE_B <= 0) OR (SUR_PONT_A + 1 <= ROUTE_B) OR (ROUTE_A + 1 <= ATTENTE_B))))
lola: processed formula length: 111
lola: 20 rewrites
lola: closed formula file ReachabilityCardinality.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((2 <= SUR_PONT_A) AND (1 <= ATTENTE_B) AND (ROUTE_B <= SUR_PONT_A) AND (ATTENTE_B <= ROUTE_A))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 126 markings, 125 edges
lola: ========================================
lola: subprocess 12 will run for 888 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= NB_ATTENTE_B_34) OR (1 <= NB_ATTENTE_B_40) OR (((NB_ATTENTE_A_44 <= NB_ATTENTE_B_2))))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((1 <= NB_ATTENTE_B_34) OR (1 <= NB_ATTENTE_B_40) OR (((NB_ATTENTE_A_44 <= NB_ATTENTE_B_2))))))
lola: processed formula length: 103
lola: 20 rewrites
lola: closed formula file ReachabilityCardinality.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((NB_ATTENTE_B_34 <= 0) AND (NB_ATTENTE_B_40 <= 0) AND (((NB_ATTENTE_B_2 + 1 <= NB_ATTENTE_A_44))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 13 will run for 1184 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((COMPTEUR_16 <= COMPTEUR_3) AND (COMPTEUR_8 <= NB_ATTENTE_B_24)) OR (NB_ATTENTE_B_50 <= NB_ATTENTE_B_29))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((((COMPTEUR_16 <= COMPTEUR_3) AND (COMPTEUR_8 <= NB_ATTENTE_B_24)) OR (NB_ATTENTE_B_50 <= NB_ATTENTE_B_29))))
lola: processed formula length: 116
lola: 20 rewrites
lola: closed formula file ReachabilityCardinality.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((COMPTEUR_3 + 1 <= COMPTEUR_16) OR (NB_ATTENTE_B_24 + 1 <= COMPTEUR_8)) AND (NB_ATTENTE_B_29 + 1 <= NB_ATTENTE_B_50))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityCardinality-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 14 will run for 1775 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((2 <= SUR_PONT_B) OR (CONTROLEUR_1 + CONTROLEUR_2 <= CAPACITE) OR ((3 <= ROUTE_B) AND (SORTI_B <= 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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((((2 <= SUR_PONT_B) OR (CONTROLEUR_1 + CONTROLEUR_2 <= CAPACITE) OR ((3 <= ROUTE_B) AND (SORTI_B <= ROUTE_B))))))
lola: processed formula length: 121
lola: 20 rewrites
lola: closed formula file ReachabilityCardinality.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((SUR_PONT_B <= 1) AND (CAPACITE + 1 <= CONTROLEUR_1 + CONTROLEUR_2) AND ((ROUTE_B <= 2) OR (ROUTE_B + 1 <= SORTI_B))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityCardinality-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 78190 markings, 198281 edges, 15638 markings/sec, 0 secs
lola: sara is running 5 secs || 158484 markings, 429139 edges, 16059 markings/sec, 5 secs
lola: sara is running 10 secs || 240621 markings, 650043 edges, 16427 markings/sec, 10 secs
lola: sara is running 15 secs || 323587 markings, 875086 edges, 16593 markings/sec, 15 secs
lola: sara is running 20 secs || 402497 markings, 1082729 edges, 15782 markings/sec, 20 secs
lola: sara is running 25 secs || 483036 markings, 1294896 edges, 16108 markings/sec, 25 secs
lola: sara is running 30 secs || 564198 markings, 1511771 edges, 16232 markings/sec, 30 secs
lola: sara is running 35 secs || 644022 markings, 1720872 edges, 15965 markings/sec, 35 secs
lola: sara is running 40 secs || 723006 markings, 1925495 edges, 15797 markings/sec, 40 secs
lola: sara is running 45 secs || 800759 markings, 2128228 edges, 15551 markings/sec, 45 secs
lola: sara is running 50 secs || 877368 markings, 2328266 edges, 15322 markings/sec, 50 secs
lola: sara is running 55 secs || 955400 markings, 2535005 edges, 15606 markings/sec, 55 secs
lola: sara is running 60 secs || 1032444 markings, 2727831 edges, 15409 markings/sec, 60 secs
lola: sara is running 65 secs || 1110239 markings, 2929281 edges, 15559 markings/sec, 65 secs
lola: sara is running 70 secs || 1189814 markings, 3141470 edges, 15915 markings/sec, 70 secs
lola: sara is running 75 secs || 1269190 markings, 3339191 edges, 15875 markings/sec, 75 secs
lola: sara is running 80 secs || 1349572 markings, 3546473 edges, 16076 markings/sec, 80 secs
lola: sara is running 85 secs || 1429304 markings, 3753871 edges, 15946 markings/sec, 85 secs
lola: sara is running 90 secs || 1509098 markings, 3950769 edges, 15959 markings/sec, 90 secs
lola: sara is running 95 secs || 1589927 markings, 4167677 edges, 16166 markings/sec, 95 secs
lola: sara is running 100 secs || 1668227 markings, 4356253 edges, 15660 markings/sec, 100 secs
lola: sara is running 105 secs || 1748098 markings, 4573627 edges, 15974 markings/sec, 105 secs
lola: sara is running 110 secs || 1826819 markings, 4764533 edges, 15744 markings/sec, 110 secs
lola: sara is running 115 secs || 1904719 markings, 4972809 edges, 15580 markings/sec, 115 secs
lola: sara is running 120 secs || 1982985 markings, 5165812 edges, 15653 markings/sec, 120 secs
lola: sara is running 125 secs || 2060958 markings, 5365005 edges, 15595 markings/sec, 125 secs
lola: sara is running 130 secs || 2139823 markings, 5573327 edges, 15773 markings/sec, 130 secs
lola: sara is running 135 secs || 2215724 markings, 5753361 edges, 15180 markings/sec, 135 secs
lola: sara is running 140 secs || 2293286 markings, 5987959 edges, 15512 markings/sec, 140 secs
lola: sara is running 145 secs || 2376451 markings, 6235349 edges, 16633 markings/sec, 145 secs
lola: sara is running 150 secs || 2459277 markings, 6476333 edges, 16565 markings/sec, 150 secs
lola: sara is running 155 secs || 2541530 markings, 6712131 edges, 16451 markings/sec, 155 secs
lola: sara is running 160 secs || 2623227 markings, 6943106 edges, 16339 markings/sec, 160 secs
lola: sara is running 165 secs || 2705249 markings, 7173117 edges, 16404 markings/sec, 165 secs
lola: sara is running 170 secs || 2784771 markings, 7396929 edges, 15904 markings/sec, 170 secs
lola: sara is running 175 secs || 2865282 markings, 7627673 edges, 16102 markings/sec, 175 secs
lola: sara is running 180 secs || 2947284 markings, 7873193 edges, 16400 markings/sec, 180 secs
lola: sara is running 185 secs || 3030791 markings, 8125171 edges, 16701 markings/sec, 185 secs
lola: sara is running 190 secs || 3113831 markings, 8372376 edges, 16608 markings/sec, 190 secs
lola: sara is running 195 secs || 3195627 markings, 8608478 edges, 16359 markings/sec, 195 secs
lola: sara is running 200 secs || 3278824 markings, 8856730 edges, 16639 markings/sec, 200 secs
lola: sara is running 205 secs || 3364884 markings, 9108512 edges, 17212 markings/sec, 205 secs
lola: sara is running 210 secs || 3447274 markings, 9338134 edges, 16478 markings/sec, 210 secs
lola: sara is running 215 secs || 3527170 markings, 9562875 edges, 15979 markings/sec, 215 secs
lola: sara is running 220 secs || 3606155 markings, 9794241 edges, 15797 markings/sec, 220 secs
lola: sara is running 225 secs || 3692193 markings, 10060542 edges, 17208 markings/sec, 225 secs
lola: sara is running 230 secs || 3779677 markings, 10331045 edges, 17497 markings/sec, 230 secs
lola: sara is running 235 secs || 3866054 markings, 10595511 edges, 17275 markings/sec, 235 secs
lola: sara is running 240 secs || 3949758 markings, 10836228 edges, 16741 markings/sec, 240 secs
lola: sara is running 245 secs || 4032721 markings, 11081584 edges, 16593 markings/sec, 245 secs
lola: sara is running 250 secs || 4116706 markings, 11335281 edges, 16797 markings/sec, 250 secs
lola: sara is running 255 secs || 4200613 markings, 11581020 edges, 16781 markings/sec, 255 secs
lola: sara is running 260 secs || 4281235 markings, 11821034 edges, 16124 markings/sec, 260 secs
lola: sara is running 265 secs || 4359872 markings, 12040447 edges, 15727 markings/sec, 265 secs
lola: sara is running 270 secs || 4441259 markings, 12287300 edges, 16277 markings/sec, 270 secs
lola: sara is running 275 secs || 4527261 markings, 12557519 edges, 17200 markings/sec, 275 secs
lola: sara is running 280 secs || 4617359 markings, 12842006 edges, 18020 markings/sec, 280 secs
lola: sara is running 285 secs || 4703746 markings, 13108616 edges, 17277 markings/sec, 285 secs
lola: sara is running 290 secs || 4790551 markings, 13377114 edges, 17361 markings/sec, 290 secs
lola: sara is running 295 secs || 4876959 markings, 13641010 edges, 17282 markings/sec, 295 secs
lola: sara is running 300 secs || 4960767 markings, 13885609 edges, 16762 markings/sec, 300 secs
lola: sara is running 305 secs || 5045841 markings, 14138526 edges, 17015 markings/sec, 305 secs
lola: sara is running 310 secs || 5130547 markings, 14393064 edges, 16941 markings/sec, 310 secs
lola: sara is running 315 secs || 5216533 markings, 14662780 edges, 17197 markings/sec, 315 secs
lola: sara is running 320 secs || 5294945 markings, 14892432 edges, 15682 markings/sec, 320 secs
lola: sara is running 325 secs || 5376332 markings, 15126262 edges, 16277 markings/sec, 325 secs
lola: sara is running 330 secs || 5459604 markings, 15388495 edges, 16654 markings/sec, 330 secs
lola: sara is running 335 secs || 5546691 markings, 15666650 edges, 17417 markings/sec, 335 secs
lola: sara is running 340 secs || 5635765 markings, 15946891 edges, 17815 markings/sec, 340 secs
lola: sara is running 345 secs || 5724612 markings, 16230670 edges, 17769 markings/sec, 345 secs
lola: sara is running 350 secs || 5811922 markings, 16501684 edges, 17462 markings/sec, 350 secs
lola: sara is running 355 secs || 5899558 markings, 16765169 edges, 17527 markings/sec, 355 secs
lola: sara is running 360 secs || 5988125 markings, 17040645 edges, 17713 markings/sec, 360 secs
lola: sara is running 365 secs || 6075728 markings, 17305827 edges, 17521 markings/sec, 365 secs
lola: sara is running 370 secs || 6167874 markings, 17602041 edges, 18429 markings/sec, 370 secs
lola: sara is running 375 secs || 6249177 markings, 17844837 edges, 16261 markings/sec, 375 secs
lola: sara is running 380 secs || 6331560 markings, 18087642 edges, 16477 markings/sec, 380 secs
lola: sara is running 385 secs || 6413678 markings, 18332601 edges, 16424 markings/sec, 385 secs
lola: sara is running 390 secs || 6496240 markings, 18581290 edges, 16512 markings/sec, 390 secs
lola: sara is running 395 secs || 6580806 markings, 18851495 edges, 16913 markings/sec, 395 secs
lola: sara is running 400 secs || 6672737 markings, 19153111 edges, 18386 markings/sec, 400 secs
lola: sara is running 405 secs || 6761115 markings, 19433136 edges, 17676 markings/sec, 405 secs
lola: sara is running 410 secs || 6850597 markings, 19722030 edges, 17896 markings/sec, 410 secs
lola: sara is running 415 secs || 6938691 markings, 19998284 edges, 17619 markings/sec, 415 secs
lola: sara is running 420 secs || 7027257 markings, 20273134 edges, 17713 markings/sec, 420 secs
lola: sara is running 425 secs || 7115357 markings, 20555752 edges, 17620 markings/sec, 425 secs
lola: sara is running 430 secs || 7202713 markings, 20823721 edges, 17471 markings/sec, 430 secs
lola: sara is running 435 secs || 7290632 markings, 21090847 edges, 17584 markings/sec, 435 secs
lola: sara is running 440 secs || 7379144 markings, 21370589 edges, 17702 markings/sec, 440 secs
lola: sara is running 445 secs || 7465574 markings, 21639655 edges, 17286 markings/sec, 445 secs
lola: sara is running 450 secs || 7549969 markings, 21900575 edges, 16879 markings/sec, 450 secs
lola: sara is running 455 secs || 7633019 markings, 22154609 edges, 16610 markings/sec, 455 secs
lola: sara is running 460 secs || 7714799 markings, 22402493 edges, 16356 markings/sec, 460 secs
lola: sara is running 465 secs || 7797532 markings, 22654369 edges, 16547 markings/sec, 465 secs
lola: sara is running 470 secs || 7877109 markings, 22915281 edges, 15915 markings/sec, 470 secs
lola: sara is running 475 secs || 7965894 markings, 23205638 edges, 17757 markings/sec, 475 secs
lola: sara is running 480 secs || 8057154 markings, 23507488 edges, 18252 markings/sec, 480 secs
lola: sara is running 485 secs || 8146703 markings, 23799168 edges, 17910 markings/sec, 485 secs
lola: sara is running 490 secs || 8236227 markings, 24082876 edges, 17905 markings/sec, 490 secs
lola: sara is running 495 secs || 8324654 markings, 24361308 edges, 17685 markings/sec, 495 secs
lola: sara is running 500 secs || 8413368 markings, 24645856 edges, 17743 markings/sec, 500 secs
lola: sara is running 505 secs || 8502018 markings, 24936282 edges, 17730 markings/sec, 505 secs
lola: sara is running 510 secs || 8587828 markings, 25204102 edges, 17162 markings/sec, 510 secs
lola: sara is running 515 secs || 8672840 markings, 25465049 edges, 17002 markings/sec, 515 secs
lola: sara is running 520 secs || 8758248 markings, 25730144 edges, 17082 markings/sec, 520 secs
lola: sara is running 525 secs || 8844614 markings, 26014205 edges, 17273 markings/sec, 525 secs
lola: sara is running 530 secs || 8929300 markings, 26285630 edges, 16937 markings/sec, 530 secs
lola: sara is running 535 secs || 9015604 markings, 26557689 edges, 17261 markings/sec, 535 secs
lola: sara is running 540 secs || 9095497 markings, 26799264 edges, 15979 markings/sec, 540 secs
lola: sara is running 545 secs || 9172862 markings, 27027681 edges, 15473 markings/sec, 545 secs
lola: sara is running 550 secs || 9253574 markings, 27276847 edges, 16142 markings/sec, 550 secs
lola: sara is running 555 secs || 9334664 markings, 27544720 edges, 16218 markings/sec, 555 secs
lola: sara is running 560 secs || 9420613 markings, 27830661 edges, 17190 markings/sec, 560 secs
lola: sara is running 565 secs || 9508215 markings, 28116097 edges, 17520 markings/sec, 565 secs
lola: sara is running 570 secs || 9596459 markings, 28405459 edges, 17649 markings/sec, 570 secs
lola: sara is running 575 secs || 9682869 markings, 28690140 edges, 17282 markings/sec, 575 secs
lola: sara is running 580 secs || 9773668 markings, 28986810 edges, 18160 markings/sec, 580 secs
lola: sara is running 585 secs || 9864368 markings, 29283383 edges, 18140 markings/sec, 585 secs
lola: sara is running 590 secs || 9952745 markings, 29561318 edges, 17675 markings/sec, 590 secs
lola: sara is running 595 secs || 10040602 markings, 29841546 edges, 17571 markings/sec, 595 secs
lola: sara is running 600 secs || 10129578 markings, 30128980 edges, 17795 markings/sec, 600 secs
lola: sara is running 605 secs || 10217894 markings, 30412536 edges, 17663 markings/sec, 605 secs
lola: sara is running 610 secs || 10304849 markings, 30687838 edges, 17391 markings/sec, 610 secs
lola: sara is running 615 secs || 10393398 markings, 30967123 edges, 17710 markings/sec, 615 secs
lola: sara is running 620 secs || 10480787 markings, 31240712 edges, 17478 markings/sec, 620 secs
lola: sara is running 625 secs || 10566790 markings, 31530496 edges, 17201 markings/sec, 625 secs
lola: sara is running 630 secs || 10656468 markings, 31824859 edges, 17936 markings/sec, 630 secs
lola: sara is running 635 secs || 10736223 markings, 32063310 edges, 15951 markings/sec, 635 secs
lola: sara is running 640 secs || 10814503 markings, 32294478 edges, 15656 markings/sec, 640 secs
lola: sara is running 645 secs || 10899790 markings, 32590803 edges, 17057 markings/sec, 645 secs
lola: sara is running 650 secs || 10981815 markings, 32839387 edges, 16405 markings/sec, 650 secs
lola: sara is running 655 secs || 11064085 markings, 33110629 edges, 16454 markings/sec, 655 secs
lola: sara is running 660 secs || 11153552 markings, 33411344 edges, 17893 markings/sec, 660 secs
lola: sara is running 665 secs || 11244020 markings, 33712149 edges, 18094 markings/sec, 665 secs
lola: sara is running 670 secs || 11333865 markings, 34011245 edges, 17969 markings/sec, 670 secs
lola: sara is running 675 secs || 11423521 markings, 34302920 edges, 17931 markings/sec, 675 secs
lola: sara is running 680 secs || 11510140 markings, 34588209 edges, 17324 markings/sec, 680 secs
lola: sara is running 685 secs || 11599916 markings, 34889114 edges, 17955 markings/sec, 685 secs
lola: sara is running 690 secs || 11690272 markings, 35189852 edges, 18071 markings/sec, 690 secs
lola: sara is running 695 secs || 11778736 markings, 35477384 edges, 17693 markings/sec, 695 secs
lola: sara is running 700 secs || 11867096 markings, 35765564 edges, 17672 markings/sec, 700 secs
lola: sara is running 705 secs || 11956871 markings, 36057020 edges, 17955 markings/sec, 705 secs
lola: sara is running 710 secs || 12045879 markings, 36340987 edges, 17802 markings/sec, 710 secs
lola: sara is running 715 secs || 12135238 markings, 36623805 edges, 17872 markings/sec, 715 secs
lola: sara is running 720 secs || 12224362 markings, 36902848 edges, 17825 markings/sec, 720 secs
lola: sara is running 725 secs || 12310525 markings, 37177166 edges, 17233 markings/sec, 725 secs
lola: sara is running 730 secs || 12400850 markings, 37494179 edges, 18065 markings/sec, 730 secs
lola: sara is running 735 secs || 12490237 markings, 37768885 edges, 17877 markings/sec, 735 secs
lola: sara is running 740 secs || 12573314 markings, 38016235 edges, 16615 markings/sec, 740 secs
lola: sara is running 745 secs || 12660090 markings, 38314916 edges, 17355 markings/sec, 745 secs
lola: sara is running 750 secs || 12751183 markings, 38608086 edges, 18219 markings/sec, 750 secs
lola: sara is running 755 secs || 12828919 markings, 38836880 edges, 15547 markings/sec, 755 secs
lola: sara is running 760 secs || 12911156 markings, 39112050 edges, 16447 markings/sec, 760 secs
lola: sara is running 765 secs || 12998734 markings, 39409036 edges, 17516 markings/sec, 765 secs
lola: sara is running 770 secs || 13090279 markings, 39713357 edges, 18309 markings/sec, 770 secs
lola: sara is running 775 secs || 13184936 markings, 40031571 edges, 18931 markings/sec, 775 secs
lola: sara is running 780 secs || 13276931 markings, 40343257 edges, 18399 markings/sec, 780 secs
lola: sara is running 785 secs || 13371267 markings, 40653072 edges, 18867 markings/sec, 785 secs
lola: sara is running 790 secs || 13465545 markings, 40964982 edges, 18856 markings/sec, 790 secs
lola: sara is running 795 secs || 13558014 markings, 41274103 edges, 18494 markings/sec, 795 secs
lola: sara is running 800 secs || 13650221 markings, 41580531 edges, 18441 markings/sec, 800 secs
lola: sara is running 805 secs || 13741916 markings, 41881158 edges, 18339 markings/sec, 805 secs
lola: sara is running 810 secs || 13834125 markings, 42182323 edges, 18442 markings/sec, 810 secs
lola: sara is running 815 secs || 13925551 markings, 42477778 edges, 18285 markings/sec, 815 secs
lola: sara is running 820 secs || 14018747 markings, 42782374 edges, 18639 markings/sec, 820 secs
lola: sara is running 825 secs || 14110547 markings, 43087244 edges, 18360 markings/sec, 825 secs
lola: sara is running 830 secs || 14206044 markings, 43417507 edges, 19099 markings/sec, 830 secs
lola: sara is running 835 secs || 14296181 markings, 43697504 edges, 18027 markings/sec, 835 secs
lola: sara is running 840 secs || 14382774 markings, 43961667 edges, 17319 markings/sec, 840 secs
lola: sara is running 845 secs || 14477300 markings, 44303316 edges, 18905 markings/sec, 845 secs
lola: sara is running 850 secs || 14567261 markings, 44580353 edges, 17992 markings/sec, 850 secs
lola: sara is running 855 secs || 14648980 markings, 44823830 edges, 16344 markings/sec, 855 secs
lola: sara is running 860 secs || 14746735 markings, 45179182 edges, 19551 markings/sec, 860 secs
lola: sara is running 865 secs || 14826631 markings, 45410284 edges, 15979 markings/sec, 865 secs
lola: sara is running 870 secs || 14912531 markings, 45704854 edges, 17180 markings/sec, 870 secs
lola: sara is running 875 secs || 15000375 markings, 45980316 edges, 17569 markings/sec, 875 secs
lola: sara is running 880 secs || 15080988 markings, 46247283 edges, 16123 markings/sec, 880 secs
lola: sara is running 885 secs || 15171472 markings, 46554136 edges, 18097 markings/sec, 885 secs
lola: sara is running 890 secs || 15266170 markings, 46876563 edges, 18940 markings/sec, 890 secs
lola: sara is running 895 secs || 15360868 markings, 47191002 edges, 18940 markings/sec, 895 secs
lola: sara is running 900 secs || 15455473 markings, 47516022 edges, 18921 markings/sec, 900 secs
lola: sara is running 905 secs || 15551144 markings, 47842110 edges, 19134 markings/sec, 905 secs
lola: sara is running 910 secs || 15642691 markings, 48137823 edges, 18309 markings/sec, 910 secs
lola: sara is running 915 secs || 15738531 markings, 48458469 edges, 19168 markings/sec, 915 secs
lola: sara is running 920 secs || 15833712 markings, 48775290 edges, 19036 markings/sec, 920 secs
lola: sara is running 925 secs || 15927454 markings, 49083272 edges, 18748 markings/sec, 925 secs
lola: sara is running 930 secs || 16023504 markings, 49412938 edges, 19210 markings/sec, 930 secs
lola: sara is running 935 secs || 16120396 markings, 49744132 edges, 19378 markings/sec, 935 secs
lola: sara is running 940 secs || 16212405 markings, 50039248 edges, 18402 markings/sec, 940 secs
lola: sara is running 945 secs || 16305385 markings, 50335537 edges, 18596 markings/sec, 945 secs
lola: sara is running 950 secs || 16399862 markings, 50643027 edges, 18895 markings/sec, 950 secs
lola: sara is running 955 secs || 16496083 markings, 50984768 edges, 19244 markings/sec, 955 secs
lola: sara is running 960 secs || 16586414 markings, 51266661 edges, 18066 markings/sec, 960 secs
lola: sara is running 965 secs || 16671960 markings, 51539331 edges, 17109 markings/sec, 965 secs
lola: sara is running 970 secs || 16773143 markings, 51896919 edges, 20237 markings/sec, 970 secs
lola: sara is running 975 secs || 16849462 markings, 52116206 edges, 15264 markings/sec, 975 secs
lola: sara is running 980 secs || 16941076 markings, 52449659 edges, 18323 markings/sec, 980 secs
lola: sara is running 985 secs || 17026895 markings, 52706230 edges, 17164 markings/sec, 985 secs
lola: sara is running 990 secs || 17110848 markings, 52991644 edges, 16791 markings/sec, 990 secs
lola: sara is running 995 secs || 17201836 markings, 53284727 edges, 18198 markings/sec, 995 secs
lola: sara is running 1000 secs || 17280669 markings, 53540562 edges, 15767 markings/sec, 1000 secs
lola: sara is running 1005 secs || 17368876 markings, 53827189 edges, 17641 markings/sec, 1005 secs
lola: sara is running 1010 secs || 17448404 markings, 54090411 edges, 15906 markings/sec, 1010 secs
lola: sara is running 1015 secs || 17538501 markings, 54395542 edges, 18019 markings/sec, 1015 secs
lola: sara is running 1020 secs || 17631269 markings, 54713704 edges, 18554 markings/sec, 1020 secs
lola: sara is running 1025 secs || 17723356 markings, 55028404 edges, 18417 markings/sec, 1025 secs
lola: sara is running 1030 secs || 17817474 markings, 55354531 edges, 18824 markings/sec, 1030 secs
lola: sara is running 1035 secs || 17908976 markings, 55654737 edges, 18300 markings/sec, 1035 secs
lola: sara is running 1040 secs || 18001565 markings, 55965694 edges, 18518 markings/sec, 1040 secs
lola: sara is running 1045 secs || 18094703 markings, 56279055 edges, 18628 markings/sec, 1045 secs
lola: sara is running 1050 secs || 18190227 markings, 56602309 edges, 19105 markings/sec, 1050 secs
lola: sara is running 1055 secs || 18284621 markings, 56916634 edges, 18879 markings/sec, 1055 secs
lola: sara is running 1060 secs || 18382149 markings, 57256046 edges, 19506 markings/sec, 1060 secs
lola: sara is running 1065 secs || 18478905 markings, 57585302 edges, 19351 markings/sec, 1065 secs
lola: sara is running 1070 secs || 18572164 markings, 57886760 edges, 18652 markings/sec, 1070 secs
lola: sara is running 1075 secs || 18666056 markings, 58189195 edges, 18778 markings/sec, 1075 secs
lola: sara is running 1080 secs || 18760064 markings, 58506919 edges, 18802 markings/sec, 1080 secs
lola: sara is running 1085 secs || 18855452 markings, 58837831 edges, 19078 markings/sec, 1085 secs
lola: sara is running 1090 secs || 18945678 markings, 59119492 edges, 18045 markings/sec, 1090 secs
lola: sara is running 1095 secs || 19039524 markings, 59434773 edges, 18769 markings/sec, 1095 secs
lola: sara is running 1100 secs || 19138842 markings, 59776781 edges, 19864 markings/sec, 1100 secs
lola: sara is running 1105 secs || 19221435 markings, 60023424 edges, 16519 markings/sec, 1105 secs
lola: sara is running 1110 secs || 19325139 markings, 60403536 edges, 20741 markings/sec, 1110 secs
lola: sara is running 1115 secs || 19400683 markings, 60617335 edges, 15109 markings/sec, 1115 secs
lola: sara is running 1120 secs || 19501954 markings, 60990965 edges, 20254 markings/sec, 1120 secs
lola: sara is running 1125 secs || 19578888 markings, 61208222 edges, 15387 markings/sec, 1125 secs
lola: sara is running 1130 secs || 19676319 markings, 61568222 edges, 19486 markings/sec, 1130 secs
lola: sara is running 1135 secs || 19754697 markings, 61788634 edges, 15676 markings/sec, 1135 secs
lola: sara is running 1140 secs || 19850922 markings, 62143878 edges, 19245 markings/sec, 1140 secs
lola: sara is running 1145 secs || 19926791 markings, 62355903 edges, 15174 markings/sec, 1145 secs
lola: sara is running 1150 secs || 20009095 markings, 62637052 edges, 16461 markings/sec, 1150 secs
lola: sara is running 1155 secs || 20094978 markings, 62927568 edges, 17177 markings/sec, 1155 secs
lola: sara is running 1160 secs || 20186783 markings, 63243673 edges, 18361 markings/sec, 1160 secs
lola: sara is running 1165 secs || 20280445 markings, 63562058 edges, 18732 markings/sec, 1165 secs
lola: sara is running 1170 secs || 20375312 markings, 63891832 edges, 18973 markings/sec, 1170 secs
lola: sara is running 1175 secs || 20470550 markings, 64223023 edges, 19048 markings/sec, 1175 secs
lola: sara is running 1180 secs || 20563132 markings, 64530187 edges, 18516 markings/sec, 1180 secs
lola: sara is running 1185 secs || 20656967 markings, 64847820 edges, 18767 markings/sec, 1185 secs
lola: sara is running 1190 secs || 20752169 markings, 65175937 edges, 19040 markings/sec, 1190 secs
lola: sara is running 1195 secs || 20849823 markings, 65517112 edges, 19531 markings/sec, 1195 secs
lola: sara is running 1200 secs || 20942362 markings, 65824553 edges, 18508 markings/sec, 1200 secs
lola: sara is running 1205 secs || 21035031 markings, 66130093 edges, 18534 markings/sec, 1205 secs
lola: sara is running 1210 secs || 21128141 markings, 66433679 edges, 18622 markings/sec, 1210 secs
lola: sara is running 1215 secs || 21222808 markings, 66759747 edges, 18933 markings/sec, 1215 secs
lola: sara is running 1220 secs || 21318521 markings, 67091768 edges, 19143 markings/sec, 1220 secs
lola: sara is running 1225 secs || 21409659 markings, 67381479 edges, 18228 markings/sec, 1225 secs
lola: sara is running 1230 secs || 21503467 markings, 67695891 edges, 18762 markings/sec, 1230 secs
lola: sara is running 1235 secs || 21600717 markings, 68036895 edges, 19450 markings/sec, 1235 secs
lola: sara is running 1240 secs || 21691298 markings, 68318326 edges, 18116 markings/sec, 1240 secs
lola: sara is running 1245 secs || 21790408 markings, 68675806 edges, 19822 markings/sec, 1245 secs
lola: sara is running 1250 secs || 21882205 markings, 68964187 edges, 18359 markings/sec, 1250 secs
lola: sara is running 1255 secs || 21974502 markings, 69289981 edges, 18459 markings/sec, 1255 secs
lola: sara is running 1260 secs || 22067454 markings, 69584235 edges, 18590 markings/sec, 1260 secs
lola: sara is running 1265 secs || 22155178 markings, 69882453 edges, 17545 markings/sec, 1265 secs
lola: sara is running 1270 secs || 22248949 markings, 70189563 edges, 18754 markings/sec, 1270 secs
lola: sara is running 1275 secs || 22333738 markings, 70478767 edges, 16958 markings/sec, 1275 secs
lola: sara is running 1280 secs || 22425689 markings, 70773732 edges, 18390 markings/sec, 1280 secs
lola: sara is running 1285 secs || 22511897 markings, 71082276 edges, 17242 markings/sec, 1285 secs
lola: sara is running 1290 secs || 22599210 markings, 71343755 edges, 17463 markings/sec, 1290 secs
lola: sara is running 1295 secs || 22694633 markings, 71697264 edges, 19085 markings/sec, 1295 secs
lola: sara is running 1300 secs || 22772111 markings, 71912290 edges, 15496 markings/sec, 1300 secs
lola: sara is running 1305 secs || 22856260 markings, 72201689 edges, 16830 markings/sec, 1305 secs
lola: sara is running 1310 secs || 22942301 markings, 72492586 edges, 17208 markings/sec, 1310 secs
lola: sara is running 1315 secs || 23034991 markings, 72809913 edges, 18538 markings/sec, 1315 secs
lola: sara is running 1320 secs || 23132558 markings, 73151566 edges, 19513 markings/sec, 1320 secs
lola: sara is running 1325 secs || 23226916 markings, 73468976 edges, 18872 markings/sec, 1325 secs
lola: sara is running 1330 secs || 23321591 markings, 73796087 edges, 18935 markings/sec, 1330 secs
lola: sara is running 1335 secs || 23419480 markings, 74133852 edges, 19578 markings/sec, 1335 secs
lola: sara is running 1340 secs || 23519977 markings, 74478565 edges, 20099 markings/sec, 1340 secs
lola: sara is running 1345 secs || 23618730 markings, 74814759 edges, 19751 markings/sec, 1345 secs
lola: sara is running 1350 secs || 23717514 markings, 75148117 edges, 19757 markings/sec, 1350 secs
lola: sara is running 1355 secs || 23818415 markings, 75487906 edges, 20180 markings/sec, 1355 secs
lola: sara is running 1360 secs || 23916616 markings, 75822776 edges, 19640 markings/sec, 1360 secs
lola: sara is running 1365 secs || 24020456 markings, 76195061 edges, 20768 markings/sec, 1365 secs
lola: sara is running 1370 secs || 24116941 markings, 76507306 edges, 19297 markings/sec, 1370 secs
lola: sara is running 1375 secs || 24214707 markings, 76826112 edges, 19553 markings/sec, 1375 secs
lola: sara is running 1380 secs || 24317111 markings, 77193960 edges, 20481 markings/sec, 1380 secs
lola: sara is running 1385 secs || 24410875 markings, 77500052 edges, 18753 markings/sec, 1385 secs
lola: sara is running 1390 secs || 24507450 markings, 77814511 edges, 19315 markings/sec, 1390 secs
lola: sara is running 1395 secs || 24606958 markings, 78174497 edges, 19902 markings/sec, 1395 secs
lola: sara is running 1400 secs || 24696530 markings, 78448309 edges, 17914 markings/sec, 1400 secs
lola: sara is running 1405 secs || 24796772 markings, 78812544 edges, 20048 markings/sec, 1405 secs
lola: sara is running 1410 secs || 24888503 markings, 79097613 edges, 18346 markings/sec, 1410 secs
lola: sara is running 1415 secs || 24986088 markings, 79459158 edges, 19517 markings/sec, 1415 secs
lola: sara is running 1420 secs || 25073718 markings, 79715224 edges, 17526 markings/sec, 1420 secs
lola: sara is running 1425 secs || 25172011 markings, 80080876 edges, 19659 markings/sec, 1425 secs
lola: sara is running 1430 secs || 25258555 markings, 80331332 edges, 17309 markings/sec, 1430 secs
lola: sara is running 1435 secs || 25363172 markings, 80719925 edges, 20923 markings/sec, 1435 secs
lola: sara is running 1440 secs || 25442179 markings, 80939836 edges, 15801 markings/sec, 1440 secs
lola: sara is running 1445 secs || 25548099 markings, 81332897 edges, 21184 markings/sec, 1445 secs
lola: sara is running 1450 secs || 25621605 markings, 81532197 edges, 14701 markings/sec, 1450 secs
lola: sara is running 1455 secs || 25730260 markings, 81933848 edges, 21731 markings/sec, 1455 secs
lola: sara is running 1460 secs || 25805001 markings, 82173835 edges, 14948 markings/sec, 1460 secs
lola: sara is running 1465 secs || 25901181 markings, 82488875 edges, 19236 markings/sec, 1465 secs
lola: sara is running 1470 secs || 25982070 markings, 82755674 edges, 16178 markings/sec, 1470 secs
lola: sara is running 1475 secs || 26074589 markings, 83075799 edges, 18504 markings/sec, 1475 secs
lola: sara is running 1480 secs || 26169839 markings, 83403970 edges, 19050 markings/sec, 1480 secs
lola: sara is running 1485 secs || 26266948 markings, 83735183 edges, 19422 markings/sec, 1485 secs
lola: sara is running 1490 secs || 26365054 markings, 84075355 edges, 19621 markings/sec, 1490 secs
lola: sara is running 1495 secs || 26460414 markings, 84405243 edges, 19072 markings/sec, 1495 secs
lola: sara is running 1500 secs || 26555572 markings, 84732741 edges, 19032 markings/sec, 1500 secs
lola: sara is running 1505 secs || 26650691 markings, 85057444 edges, 19024 markings/sec, 1505 secs
lola: sara is running 1510 secs || 26748904 markings, 85391537 edges, 19643 markings/sec, 1510 secs
lola: sara is running 1515 secs || 26848134 markings, 85734171 edges, 19846 markings/sec, 1515 secs
lola: sara is running 1520 secs || 26947994 markings, 86091859 edges, 19972 markings/sec, 1520 secs
lola: sara is running 1525 secs || 27043728 markings, 86412286 edges, 19147 markings/sec, 1525 secs
lola: sara is running 1530 secs || 27138748 markings, 86723687 edges, 19004 markings/sec, 1530 secs
lola: sara is running 1535 secs || 27237602 markings, 87058601 edges, 19771 markings/sec, 1535 secs
lola: sara is running 1540 secs || 27341077 markings, 87427457 edges, 20695 markings/sec, 1540 secs
lola: sara is running 1545 secs || 27437799 markings, 87738483 edges, 19344 markings/sec, 1545 secs
lola: sara is running 1550 secs || 27537848 markings, 88084774 edges, 20010 markings/sec, 1550 secs
lola: sara is running 1555 secs || 27636182 markings, 88421333 edges, 19667 markings/sec, 1555 secs
lola: sara is running 1560 secs || 27732451 markings, 88733049 edges, 19254 markings/sec, 1560 secs
lola: sara is running 1565 secs || 27835260 markings, 89105124 edges, 20562 markings/sec, 1565 secs
lola: sara is running 1570 secs || 27930109 markings, 89397583 edges, 18970 markings/sec, 1570 secs
lola: sara is running 1575 secs || 28038111 markings, 89799602 edges, 21600 markings/sec, 1575 secs
lola: sara is running 1580 secs || 28129790 markings, 90074007 edges, 18336 markings/sec, 1580 secs
lola: sara is running 1585 secs || 28241218 markings, 90488841 edges, 22286 markings/sec, 1585 secs
lola: sara is running 1590 secs || 28316737 markings, 90695983 edges, 15104 markings/sec, 1590 secs
lola: sara is running 1595 secs || 28429238 markings, 91116463 edges, 22500 markings/sec, 1595 secs
lola: sara is running 1600 secs || 28504298 markings, 91321884 edges, 15012 markings/sec, 1600 secs
lola: sara is running 1605 secs || 28615184 markings, 91733742 edges, 22177 markings/sec, 1605 secs
lola: sara is running 1610 secs || 28693882 markings, 91972752 edges, 15740 markings/sec, 1610 secs
lola: sara is running 1615 secs || 28798112 markings, 92335589 edges, 20846 markings/sec, 1615 secs
lola: sara is running 1620 secs || 28885292 markings, 92648264 edges, 17436 markings/sec, 1620 secs
lola: sara is running 1625 secs || 28973753 markings, 92907991 edges, 17692 markings/sec, 1625 secs
lola: sara is running 1630 secs || 29077291 markings, 93293889 edges, 20708 markings/sec, 1630 secs
lola: sara is running 1635 secs || 29149794 markings, 93494915 edges, 14501 markings/sec, 1635 secs
lola: sara is running 1640 secs || 29248167 markings, 93843881 edges, 19675 markings/sec, 1640 secs
lola: sara is running 1645 secs || 29329855 markings, 94113473 edges, 16338 markings/sec, 1645 secs
lola: sara is running 1650 secs || 29423177 markings, 94437622 edges, 18664 markings/sec, 1650 secs
lola: sara is running 1655 secs || 29517977 markings, 94763817 edges, 18960 markings/sec, 1655 secs
lola: sara is running 1660 secs || 29616057 markings, 95103302 edges, 19616 markings/sec, 1660 secs
lola: sara is running 1665 secs || 29715102 markings, 95441744 edges, 19809 markings/sec, 1665 secs
lola: sara is running 1670 secs || 29812983 markings, 95780633 edges, 19576 markings/sec, 1670 secs
lola: sara is running 1675 secs || 29910479 markings, 96116787 edges, 19499 markings/sec, 1675 secs
lola: sara is running 1680 secs || 30011017 markings, 96463911 edges, 20108 markings/sec, 1680 secs
lola: sara is running 1685 secs || 30111592 markings, 96814089 edges, 20115 markings/sec, 1685 secs
lola: sara is running 1690 secs || 30212474 markings, 97174056 edges, 20176 markings/sec, 1690 secs
lola: sara is running 1695 secs || 30309542 markings, 97498491 edges, 19414 markings/sec, 1695 secs
lola: sara is running 1700 secs || 30407273 markings, 97823684 edges, 19546 markings/sec, 1700 secs
lola: sara is running 1705 secs || 30508149 markings, 98179969 edges, 20175 markings/sec, 1705 secs
lola: sara is running 1710 secs || 30609622 markings, 98531172 edges, 20295 markings/sec, 1710 secs
lola: sara is running 1715 secs || 30708438 markings, 98851144 edges, 19763 markings/sec, 1715 secs
lola: sara is running 1720 secs || 30811976 markings, 99225643 edges, 20708 markings/sec, 1720 secs
lola: sara is running 1725 secs || 30910000 markings, 99548684 edges, 19605 markings/sec, 1725 secs
lola: sara is running 1730 secs || 31006664 markings, 99864823 edges, 19333 markings/sec, 1730 secs
lola: sara is running 1735 secs || 31106199 markings, 100223219 edges, 19907 markings/sec, 1735 secs
lola: sara is running 1740 secs || 31203915 markings, 100531697 edges, 19543 markings/sec, 1740 secs
lola: sara is running 1745 secs || 31309625 markings, 100920994 edges, 21142 markings/sec, 1745 secs
lola: sara is running 1750 secs || 31401820 markings, 101202223 edges, 18439 markings/sec, 1750 secs
lola: sara is running 1755 secs || 31505270 markings, 101585961 edges, 20690 markings/sec, 1755 secs
lola: sara is running 1760 secs || 31595232 markings, 101855441 edges, 17992 markings/sec, 1760 secs
lola: sara is running 1765 secs || 31704606 markings, 102260246 edges, 21875 markings/sec, 1765 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no yes no no no unknown no no no yes no yes no no unknown
lola: memory consumption: 1664152 KB
lola: time consumption: 1795 seconds
lola: print data as JSON (--json)
lola: writing JSON to ReachabilityCardinality.json
lola: closed JSON file ReachabilityCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1775 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= NB_ATTENTE_B_18) AND (VIDANGE_1 <= NB_ATTENTE_B_47) AND (NB_ATTENTE_A_47 <= 0) AND (NB_ATTENTE_A_15 <= NB_ATTENTE_A_24))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= NB_ATTENTE_B_18) AND (VIDANGE_1 <= NB_ATTENTE_B_47) AND (NB_ATTENTE_A_47 <= 0) AND (NB_ATTENTE_A_15 <= NB_ATTENTE_A_24))))
lola: processed formula length: 135
lola: 19 rewrites
lola: closed formula file ReachabilityCardinality.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= NB_ATTENTE_B_18) AND (VIDANGE_1 <= NB_ATTENTE_B_47) AND (NB_ATTENTE_A_47 <= 0) AND (NB_ATTENTE_A_15 <= NB_ATTENTE_A_24))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 19 markings, 18 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G ((((2 <= SUR_PONT_B) OR (CONTROLEUR_1 + CONTROLEUR_2 <= CAPACITE) OR ((3 <= ROUTE_B) AND (SORTI_B <= 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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((((2 <= SUR_PONT_B) OR (CONTROLEUR_1 + CONTROLEUR_2 <= CAPACITE) OR ((3 <= ROUTE_B) AND (SORTI_B <= ROUTE_B))))))
lola: processed formula length: 121
lola: 20 rewrites
lola: closed formula file ReachabilityCardinality.xml
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: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((SUR_PONT_B <= 1) AND (CAPACITE + 1 <= CONTROLEUR_1 + CONTROLEUR_2) AND ((ROUTE_B <= 2) OR (ROUTE_B + 1 <= SORTI_B))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 75737 markings, 191607 edges, 15147 markings/sec, 0 secs
lola: sara is running 5 secs || 156667 markings, 423091 edges, 16186 markings/sec, 5 secs
lola: sara is running 10 secs || 241776 markings, 653584 edges, 17022 markings/sec, 10 secs
lola: sara is running 15 secs || 325246 markings, 878987 edges, 16694 markings/sec, 15 secs
lola: sara is running 20 secs || 407892 markings, 1097754 edges, 16529 markings/sec, 20 secs
lola: sara is running 25 secs || 489724 markings, 1316099 edges, 16366 markings/sec, 25 secs
lola: sara is running 30 secs || 572250 markings, 1531364 edges, 16505 markings/sec, 30 secs
lola: sara is running 35 secs || 656053 markings, 1751104 edges, 16761 markings/sec, 35 secs
lola: sara is running 40 secs || 737814 markings, 1967280 edges, 16352 markings/sec, 40 secs
lola: sara is running 45 secs || 818848 markings, 2174726 edges, 16207 markings/sec, 45 secs
lola: sara is running 50 secs || 900370 markings, 2385835 edges, 16304 markings/sec, 50 secs
lola: sara is running 55 secs || 982097 markings, 2599460 edges, 16345 markings/sec, 55 secs
lola: sara is running 60 secs || 1062977 markings, 2808855 edges, 16176 markings/sec, 60 secs
lola: sara is running 65 secs || 1145061 markings, 3020211 edges, 16417 markings/sec, 65 secs
lola: sara is running 70 secs || 1228452 markings, 3233557 edges, 16678 markings/sec, 70 secs
lola: sara is running 75 secs || 1312015 markings, 3452030 edges, 16713 markings/sec, 75 secs
lola: sara is running 80 secs || 1395112 markings, 3659144 edges, 16619 markings/sec, 80 secs
lola: sara is running 85 secs || 1479488 markings, 3881937 edges, 16875 markings/sec, 85 secs
lola: sara is running 90 secs || 1563223 markings, 4085040 edges, 16747 markings/sec, 90 secs
lola: sara is running 95 secs || 1643456 markings, 4297894 edges, 16047 markings/sec, 95 secs
lola: sara is running 100 secs || 1726049 markings, 4505974 edges, 16519 markings/sec, 100 secs
lola: sara is running 105 secs || 1806053 markings, 4713853 edges, 16001 markings/sec, 105 secs
lola: sara is running 110 secs || 1887293 markings, 4918380 edges, 16248 markings/sec, 110 secs
lola: sara is running 115 secs || 1966736 markings, 5127127 edges, 15889 markings/sec, 115 secs
lola: sara is running 120 secs || 2047825 markings, 5322453 edges, 16218 markings/sec, 120 secs
lola: sara is running 125 secs || 2128558 markings, 5544956 edges, 16147 markings/sec, 125 secs
lola: sara is running 130 secs || 2209059 markings, 5737180 edges, 16100 markings/sec, 130 secs
lola: sara is running 135 secs || 2289283 markings, 5976365 edges, 16045 markings/sec, 135 secs
lola: sara is running 140 secs || 2375621 markings, 6233538 edges, 17268 markings/sec, 140 secs
lola: sara is running 145 secs || 2461282 markings, 6482461 edges, 17132 markings/sec, 145 secs
lola: sara is running 150 secs || 2547714 markings, 6733501 edges, 17286 markings/sec, 150 secs
lola: sara is running 155 secs || 2634253 markings, 6974316 edges, 17308 markings/sec, 155 secs
lola: sara is running 160 secs || 2719101 markings, 7219694 edges, 16970 markings/sec, 160 secs
lola: sara is running 165 secs || 2803041 markings, 7456707 edges, 16788 markings/sec, 165 secs
lola: sara is running 170 secs || 2885028 markings, 7681745 edges, 16397 markings/sec, 170 secs
lola: sara is running 175 secs || 2971166 markings, 7945002 edges, 17228 markings/sec, 175 secs
lola: sara is running 180 secs || 3058043 markings, 8209081 edges, 17375 markings/sec, 180 secs
lola: sara is running 185 secs || 3145101 markings, 8463018 edges, 17412 markings/sec, 185 secs
lola: sara is running 190 secs || 3232236 markings, 8715796 edges, 17427 markings/sec, 190 secs
lola: sara is running 195 secs || 3320063 markings, 8975175 edges, 17565 markings/sec, 195 secs
lola: sara is running 200 secs || 3407230 markings, 9228130 edges, 17433 markings/sec, 200 secs
lola: sara is running 205 secs || 3489456 markings, 9454499 edges, 16445 markings/sec, 205 secs
lola: sara is running 210 secs || 3573031 markings, 9698989 edges, 16715 markings/sec, 210 secs
lola: sara is running 215 secs || 3658706 markings, 9957998 edges, 17135 markings/sec, 215 secs
lola: sara is running 220 secs || 3746757 markings, 10230202 edges, 17610 markings/sec, 220 secs
lola: sara is running 225 secs || 3833571 markings, 10497386 edges, 17363 markings/sec, 225 secs
lola: sara is running 230 secs || 3919166 markings, 10745587 edges, 17119 markings/sec, 230 secs
lola: sara is running 235 secs || 4004457 markings, 11001113 edges, 17058 markings/sec, 235 secs
lola: sara is running 240 secs || 4091225 markings, 11256102 edges, 17354 markings/sec, 240 secs
lola: sara is running 245 secs || 4178635 markings, 11515883 edges, 17482 markings/sec, 245 secs
lola: sara is running 250 secs || 4267460 markings, 11784662 edges, 17765 markings/sec, 250 secs
lola: sara is running 255 secs || 4348176 markings, 12010807 edges, 16143 markings/sec, 255 secs
lola: sara is running 260 secs || 4434128 markings, 12265537 edges, 17190 markings/sec, 260 secs
lola: sara is running 265 secs || 4519742 markings, 12537176 edges, 17123 markings/sec, 265 secs
lola: sara is running 270 secs || 4609450 markings, 12816924 edges, 17942 markings/sec, 270 secs
lola: sara is running 275 secs || 4698251 markings, 13089048 edges, 17760 markings/sec, 275 secs
lola: sara is running 280 secs || 4787998 markings, 13370989 edges, 17949 markings/sec, 280 secs
lola: sara is running 285 secs || 4875944 markings, 13637116 edges, 17589 markings/sec, 285 secs
lola: sara is running 290 secs || 4961914 markings, 13889665 edges, 17194 markings/sec, 290 secs
lola: sara is running 295 secs || 5046931 markings, 14140858 edges, 17003 markings/sec, 295 secs
lola: sara is running 300 secs || 5134808 markings, 14408502 edges, 17575 markings/sec, 300 secs
lola: sara is running 305 secs || 5220962 markings, 14677175 edges, 17231 markings/sec, 305 secs
lola: sara is running 310 secs || 5304178 markings, 14912710 edges, 16643 markings/sec, 310 secs
lola: sara is running 315 secs || 5389415 markings, 15162269 edges, 17047 markings/sec, 315 secs
lola: sara is running 320 secs || 5475512 markings, 15439215 edges, 17219 markings/sec, 320 secs
lola: sara is running 325 secs || 5566762 markings, 15729863 edges, 18250 markings/sec, 325 secs
lola: sara is running 330 secs || 5655924 markings, 16014168 edges, 17832 markings/sec, 330 secs
lola: sara is running 335 secs || 5745792 markings, 16291273 edges, 17974 markings/sec, 335 secs
lola: sara is running 340 secs || 5834061 markings, 16561945 edges, 17654 markings/sec, 340 secs
lola: sara is running 345 secs || 5923867 markings, 16850493 edges, 17961 markings/sec, 345 secs
lola: sara is running 350 secs || 6009535 markings, 17101374 edges, 17134 markings/sec, 350 secs
lola: sara is running 355 secs || 6098312 markings, 17387287 edges, 17755 markings/sec, 355 secs
lola: sara is running 360 secs || 6183060 markings, 17640372 edges, 16950 markings/sec, 360 secs
lola: sara is running 365 secs || 6266533 markings, 17882926 edges, 16695 markings/sec, 365 secs
lola: sara is running 370 secs || 6353125 markings, 18144644 edges, 17318 markings/sec, 370 secs
lola: sara is running 375 secs || 6438706 markings, 18407646 edges, 17116 markings/sec, 375 secs
lola: sara is running 380 secs || 6522075 markings, 18662588 edges, 16674 markings/sec, 380 secs
lola: sara is running 385 secs || 6605023 markings, 18932253 edges, 16590 markings/sec, 385 secs
lola: sara is running 390 secs || 6693859 markings, 19217870 edges, 17767 markings/sec, 390 secs
lola: sara is running 395 secs || 6782348 markings, 19501043 edges, 17698 markings/sec, 395 secs
lola: sara is running 400 secs || 6869062 markings, 19775003 edges, 17343 markings/sec, 400 secs
lola: sara is running 405 secs || 6958025 markings, 20064952 edges, 17793 markings/sec, 405 secs
lola: sara is running 410 secs || 7046480 markings, 20335539 edges, 17691 markings/sec, 410 secs
lola: sara is running 415 secs || 7136668 markings, 20619240 edges, 18038 markings/sec, 415 secs
lola: sara is running 420 secs || 7226425 markings, 20893328 edges, 17951 markings/sec, 420 secs
lola: sara is running 425 secs || 7316497 markings, 21182379 edges, 18014 markings/sec, 425 secs
lola: sara is running 430 secs || 7410894 markings, 21485208 edges, 18879 markings/sec, 430 secs
lola: sara is running 435 secs || 7494810 markings, 21743582 edges, 16783 markings/sec, 435 secs
lola: sara is running 440 secs || 7577253 markings, 21998800 edges, 16489 markings/sec, 440 secs
lola: sara is running 445 secs || 7659892 markings, 22251376 edges, 16528 markings/sec, 445 secs
lola: sara is running 450 secs || 7740474 markings, 22494864 edges, 16116 markings/sec, 450 secs
lola: sara is running 455 secs || 7820365 markings, 22735038 edges, 15978 markings/sec, 455 secs
lola: sara is running 460 secs || 7899772 markings, 22990268 edges, 15881 markings/sec, 460 secs
lola: sara is running 465 secs || 7989588 markings, 23287480 edges, 17963 markings/sec, 465 secs
lola: sara is running 470 secs || 8078649 markings, 23571497 edges, 17812 markings/sec, 470 secs
lola: sara is running 475 secs || 8167806 markings, 23860512 edges, 17831 markings/sec, 475 secs
lola: sara is running 480 secs || 8257157 markings, 24155176 edges, 17870 markings/sec, 480 secs
lola: sara is running 485 secs || 8345160 markings, 24428742 edges, 17601 markings/sec, 485 secs
lola: sara is running 490 secs || 8438175 markings, 24736153 edges, 18603 markings/sec, 490 secs
lola: sara is running 495 secs || 8523625 markings, 24991955 edges, 17090 markings/sec, 495 secs
lola: sara is running 500 secs || 8609821 markings, 25264075 edges, 17239 markings/sec, 500 secs
lola: sara is running 505 secs || 8695385 markings, 25531825 edges, 17113 markings/sec, 505 secs
lola: sara is running 510 secs || 8785232 markings, 25815646 edges, 17969 markings/sec, 510 secs
lola: sara is running 515 secs || 8870495 markings, 26079079 edges, 17053 markings/sec, 515 secs
lola: sara is running 520 secs || 8955510 markings, 26343445 edges, 17003 markings/sec, 520 secs
lola: sara is running 525 secs || 9038840 markings, 26615163 edges, 16666 markings/sec, 525 secs
lola: sara is running 530 secs || 9122878 markings, 26892734 edges, 16808 markings/sec, 530 secs
lola: sara is running 535 secs || 9207592 markings, 27153471 edges, 16943 markings/sec, 535 secs
lola: sara is running 540 secs || 9284821 markings, 27381868 edges, 15446 markings/sec, 540 secs
lola: sara is running 545 secs || 9364394 markings, 27641907 edges, 15915 markings/sec, 545 secs
lola: sara is running 550 secs || 9452372 markings, 27937026 edges, 17596 markings/sec, 550 secs
lola: sara is running 555 secs || 9540440 markings, 28222938 edges, 17614 markings/sec, 555 secs
lola: sara is running 560 secs || 9629063 markings, 28514776 edges, 17725 markings/sec, 560 secs
lola: sara is running 565 secs || 9716099 markings, 28800698 edges, 17407 markings/sec, 565 secs
lola: sara is running 570 secs || 9803661 markings, 29081244 edges, 17512 markings/sec, 570 secs
lola: sara is running 575 secs || 9891420 markings, 29363235 edges, 17552 markings/sec, 575 secs
lola: sara is running 580 secs || 9978633 markings, 29647964 edges, 17443 markings/sec, 580 secs
lola: sara is running 585 secs || 10066181 markings, 29934080 edges, 17510 markings/sec, 585 secs
lola: sara is running 590 secs || 10153052 markings, 30214636 edges, 17374 markings/sec, 590 secs
lola: sara is running 595 secs || 10240131 markings, 30493533 edges, 17416 markings/sec, 595 secs
lola: sara is running 600 secs || 10327138 markings, 30769006 edges, 17401 markings/sec, 600 secs
lola: sara is running 605 secs || 10416285 markings, 31049574 edges, 17829 markings/sec, 605 secs
lola: sara is running 610 secs || 10500193 markings, 31305819 edges, 16782 markings/sec, 610 secs
lola: sara is running 615 secs || 10586513 markings, 31574203 edges, 17264 markings/sec, 615 secs
lola: sara is running 620 secs || 10672976 markings, 31869048 edges, 17293 markings/sec, 620 secs
lola: sara is running 625 secs || 10762426 markings, 32158039 edges, 17890 markings/sec, 625 secs
lola: sara is running 630 secs || 10842296 markings, 32394562 edges, 15974 markings/sec, 630 secs
lola: sara is running 635 secs || 10922083 markings, 32639986 edges, 15957 markings/sec, 635 secs
lola: sara is running 640 secs || 11005872 markings, 32916420 edges, 16758 markings/sec, 640 secs
lola: sara is running 645 secs || 11092936 markings, 33207094 edges, 17413 markings/sec, 645 secs
lola: sara is running 650 secs || 11182336 markings, 33507177 edges, 17880 markings/sec, 650 secs
lola: sara is running 655 secs || 11271166 markings, 33800554 edges, 17766 markings/sec, 655 secs
lola: sara is running 660 secs || 11362155 markings, 34100697 edges, 18198 markings/sec, 660 secs
lola: sara is running 665 secs || 11450673 markings, 34395400 edges, 17704 markings/sec, 665 secs
lola: sara is running 670 secs || 11540891 markings, 34699809 edges, 18044 markings/sec, 670 secs
lola: sara is running 675 secs || 11627157 markings, 34969607 edges, 17253 markings/sec, 675 secs
lola: sara is running 680 secs || 11717850 markings, 35265196 edges, 18139 markings/sec, 680 secs
lola: sara is running 685 secs || 11809003 markings, 35557200 edges, 18231 markings/sec, 685 secs
lola: sara is running 690 secs || 11899575 markings, 35850549 edges, 18114 markings/sec, 690 secs
lola: sara is running 695 secs || 11989002 markings, 36140785 edges, 17885 markings/sec, 695 secs
lola: sara is running 700 secs || 12077623 markings, 36429295 edges, 17724 markings/sec, 700 secs
lola: sara is running 705 secs || 12169666 markings, 36739197 edges, 18409 markings/sec, 705 secs
lola: sara is running 710 secs || 12261034 markings, 37036703 edges, 18274 markings/sec, 710 secs
lola: sara is running 715 secs || 12343341 markings, 37284317 edges, 16461 markings/sec, 715 secs
lola: sara is running 720 secs || 12428950 markings, 37555597 edges, 17122 markings/sec, 720 secs
lola: sara is running 725 secs || 12520020 markings, 37876881 edges, 18214 markings/sec, 725 secs
lola: sara is running 730 secs || 12603940 markings, 38128226 edges, 16784 markings/sec, 730 secs
lola: sara is running 735 secs || 12684228 markings, 38368984 edges, 16058 markings/sec, 735 secs
lola: sara is running 740 secs || 12775290 markings, 38695692 edges, 18212 markings/sec, 740 secs
lola: sara is running 745 secs || 12855482 markings, 38929854 edges, 16038 markings/sec, 745 secs
lola: sara is running 750 secs || 12934441 markings, 39190079 edges, 15792 markings/sec, 750 secs
lola: sara is running 755 secs || 13021392 markings, 39483181 edges, 17390 markings/sec, 755 secs
lola: sara is running 760 secs || 13111098 markings, 39787863 edges, 17941 markings/sec, 760 secs
lola: sara is running 765 secs || 13200505 markings, 40083469 edges, 17881 markings/sec, 765 secs
lola: sara is running 770 secs || 13291811 markings, 40398238 edges, 18261 markings/sec, 770 secs
lola: sara is running 775 secs || 13380203 markings, 40683584 edges, 17678 markings/sec, 775 secs
lola: sara is running 780 secs || 13468713 markings, 40976375 edges, 17702 markings/sec, 780 secs
lola: sara is running 785 secs || 13557884 markings, 41273661 edges, 17834 markings/sec, 785 secs
lola: sara is running 790 secs || 13647485 markings, 41570918 edges, 17920 markings/sec, 790 secs
lola: sara is running 795 secs || 13736598 markings, 41861985 edges, 17823 markings/sec, 795 secs
lola: sara is running 800 secs || 13825737 markings, 42151985 edges, 17828 markings/sec, 800 secs
lola: sara is running 805 secs || 13915246 markings, 42441960 edges, 17902 markings/sec, 805 secs
lola: sara is running 810 secs || 14004067 markings, 42733779 edges, 17764 markings/sec, 810 secs
lola: sara is running 815 secs || 14096642 markings, 43056948 edges, 18515 markings/sec, 815 secs
lola: sara is running 820 secs || 14184227 markings, 43336210 edges, 17517 markings/sec, 820 secs
lola: sara is running 825 secs || 14272645 markings, 43611681 edges, 17684 markings/sec, 825 secs
lola: sara is running 830 secs || 14360096 markings, 43908748 edges, 17490 markings/sec, 830 secs
lola: sara is running 835 secs || 14453577 markings, 44220720 edges, 18696 markings/sec, 835 secs
lola: sara is running 840 secs || 14531138 markings, 44447451 edges, 15512 markings/sec, 840 secs
lola: sara is running 845 secs || 14619374 markings, 44758095 edges, 17647 markings/sec, 845 secs
lola: sara is running 850 secs || 14707268 markings, 45034661 edges, 17579 markings/sec, 850 secs
lola: sara is running 855 secs || 14785470 markings, 45271480 edges, 15640 markings/sec, 855 secs
lola: sara is running 860 secs || 14879063 markings, 45602853 edges, 18719 markings/sec, 860 secs
lola: sara is running 865 secs || 14954845 markings, 45820661 edges, 15156 markings/sec, 865 secs
lola: sara is running 870 secs || 15034865 markings, 46092640 edges, 16004 markings/sec, 870 secs
lola: sara is running 875 secs || 15120078 markings, 46377466 edges, 17043 markings/sec, 875 secs
lola: sara is running 880 secs || 15209615 markings, 46682878 edges, 17907 markings/sec, 880 secs
lola: sara is running 885 secs || 15300431 markings, 46987194 edges, 18163 markings/sec, 885 secs
lola: sara is running 890 secs || 15391654 markings, 47301977 edges, 18245 markings/sec, 890 secs
lola: sara is running 895 secs || 15481646 markings, 47600422 edges, 17998 markings/sec, 895 secs
lola: sara is running 900 secs || 15571970 markings, 47900012 edges, 18065 markings/sec, 900 secs
lola: sara is running 905 secs || 15661034 markings, 48197987 edges, 17813 markings/sec, 905 secs
lola: sara is running 910 secs || 15750680 markings, 48496965 edges, 17929 markings/sec, 910 secs
lola: sara is running 915 secs || 15840885 markings, 48796471 edges, 18041 markings/sec, 915 secs
lola: sara is running 920 secs || 15930706 markings, 49095195 edges, 17964 markings/sec, 920 secs
lola: sara is running 925 secs || 16021936 markings, 49409500 edges, 18246 markings/sec, 925 secs
lola: sara is running 930 secs || 16113156 markings, 49717579 edges, 18244 markings/sec, 930 secs
lola: sara is running 935 secs || 16200590 markings, 49995336 edges, 17487 markings/sec, 935 secs
lola: sara is running 940 secs || 16290215 markings, 50281161 edges, 17925 markings/sec, 940 secs
lola: sara is running 945 secs || 16381266 markings, 50589976 edges, 18210 markings/sec, 945 secs
lola: sara is running 950 secs || 16473016 markings, 50902384 edges, 18350 markings/sec, 950 secs
lola: sara is running 955 secs || 16561188 markings, 51174521 edges, 17634 markings/sec, 955 secs
lola: sara is running 960 secs || 16652587 markings, 51496962 edges, 18280 markings/sec, 960 secs
lola: sara is running 965 secs || 16742594 markings, 51782679 edges, 18001 markings/sec, 965 secs
lola: sara is running 970 secs || 16825357 markings, 52033043 edges, 16553 markings/sec, 970 secs
lola: sara is running 975 secs || 16923107 markings, 52386841 edges, 19550 markings/sec, 975 secs
lola: sara is running 980 secs || 16999396 markings, 52604953 edges, 15258 markings/sec, 980 secs
lola: sara is running 985 secs || 17092701 markings, 52948133 edges, 18661 markings/sec, 985 secs
lola: sara is running 990 secs || 17172635 markings, 53176660 edges, 15987 markings/sec, 990 secs
lola: sara is running 995 secs || 17259150 markings, 53493433 edges, 17303 markings/sec, 995 secs
lola: sara is running 1000 secs || 17343932 markings, 53740889 edges, 16956 markings/sec, 1000 secs
lola: sara is running 1005 secs || 17422521 markings, 54002996 edges, 15718 markings/sec, 1005 secs
lola: sara is running 1010 secs || 17509598 markings, 54298068 edges, 17415 markings/sec, 1010 secs
lola: sara is running 1015 secs || 17600134 markings, 54607611 edges, 18107 markings/sec, 1015 secs
lola: sara is running 1020 secs || 17693426 markings, 54924711 edges, 18658 markings/sec, 1020 secs
lola: sara is running 1025 secs || 17784306 markings, 55233812 edges, 18176 markings/sec, 1025 secs
lola: sara is running 1030 secs || 17876960 markings, 55553303 edges, 18531 markings/sec, 1030 secs
lola: sara is running 1035 secs || 17969065 markings, 55868904 edges, 18421 markings/sec, 1035 secs
lola: sara is running 1040 secs || 18060467 markings, 56178876 edges, 18280 markings/sec, 1040 secs
lola: sara is running 1045 secs || 18151703 markings, 56486299 edges, 18247 markings/sec, 1045 secs
lola: sara is running 1050 secs || 18241722 markings, 56785282 edges, 18004 markings/sec, 1050 secs
lola: sara is running 1055 secs || 18331771 markings, 57082402 edges, 18010 markings/sec, 1055 secs
lola: sara is running 1060 secs || 18421356 markings, 57373734 edges, 17917 markings/sec, 1060 secs
lola: sara is running 1065 secs || 18511093 markings, 57672740 edges, 17947 markings/sec, 1065 secs
lola: sara is running 1070 secs || 18606503 markings, 58013891 edges, 19082 markings/sec, 1070 secs
lola: sara is running 1075 secs || 18693720 markings, 58289525 edges, 17443 markings/sec, 1075 secs
lola: sara is running 1080 secs || 18784565 markings, 58580488 edges, 18169 markings/sec, 1080 secs
lola: sara is running 1085 secs || 18879332 markings, 58922825 edges, 18953 markings/sec, 1085 secs
lola: sara is running 1090 secs || 18968363 markings, 59202021 edges, 17806 markings/sec, 1090 secs
lola: sara is running 1095 secs || 19062237 markings, 59504189 edges, 18775 markings/sec, 1095 secs
lola: sara is running 1100 secs || 19165131 markings, 59874397 edges, 20579 markings/sec, 1100 secs
lola: sara is running 1105 secs || 19243672 markings, 60100714 edges, 15708 markings/sec, 1105 secs
lola: sara is running 1110 secs || 19340621 markings, 60458596 edges, 19390 markings/sec, 1110 secs
lola: sara is running 1115 secs || 19422958 markings, 60699081 edges, 16467 markings/sec, 1115 secs
lola: sara is running 1120 secs || 19512533 markings, 61022541 edges, 17915 markings/sec, 1120 secs
lola: sara is running 1125 secs || 19598860 markings, 61281855 edges, 17265 markings/sec, 1125 secs
lola: sara is running 1130 secs || 19685441 markings, 61593037 edges, 17316 markings/sec, 1130 secs
lola: sara is running 1135 secs || 19771936 markings, 61851987 edges, 17299 markings/sec, 1135 secs
lola: sara is running 1140 secs || 19858287 markings, 62170949 edges, 17270 markings/sec, 1140 secs
lola: sara is running 1145 secs || 19942974 markings, 62413935 edges, 16937 markings/sec, 1145 secs
lola: sara is running 1150 secs || 20023091 markings, 62684591 edges, 16023 markings/sec, 1150 secs
lola: sara is running 1155 secs || 20109742 markings, 62980541 edges, 17330 markings/sec, 1155 secs
lola: sara is running 1160 secs || 20201271 markings, 63296747 edges, 18306 markings/sec, 1160 secs
lola: sara is running 1165 secs || 20292736 markings, 63606654 edges, 18293 markings/sec, 1165 secs
lola: sara is running 1170 secs || 20385873 markings, 63930582 edges, 18627 markings/sec, 1170 secs
lola: sara is running 1175 secs || 20477330 markings, 64237581 edges, 18291 markings/sec, 1175 secs
lola: sara is running 1180 secs || 20569490 markings, 64548106 edges, 18432 markings/sec, 1180 secs
lola: sara is running 1185 secs || 20662971 markings, 64865614 edges, 18696 markings/sec, 1185 secs
lola: sara is running 1190 secs || 20756740 markings, 65185919 edges, 18754 markings/sec, 1190 secs
lola: sara is running 1195 secs || 20852590 markings, 65523023 edges, 19170 markings/sec, 1195 secs
lola: sara is running 1200 secs || 20945611 markings, 65836861 edges, 18604 markings/sec, 1200 secs
lola: sara is running 1205 secs || 21036272 markings, 66134233 edges, 18132 markings/sec, 1205 secs
lola: sara is running 1210 secs || 21128197 markings, 66433900 edges, 18385 markings/sec, 1210 secs
lola: sara is running 1215 secs || 21223168 markings, 66760561 edges, 18994 markings/sec, 1215 secs
lola: sara is running 1220 secs || 21320445 markings, 67098717 edges, 19455 markings/sec, 1220 secs
lola: sara is running 1225 secs || 21412268 markings, 67390919 edges, 18365 markings/sec, 1225 secs
lola: sara is running 1230 secs || 21508183 markings, 67706214 edges, 19183 markings/sec, 1230 secs
lola: sara is running 1235 secs || 21610140 markings, 68071788 edges, 20391 markings/sec, 1235 secs
lola: sara is running 1240 secs || 21704009 markings, 68364265 edges, 18774 markings/sec, 1240 secs
lola: sara is running 1245 secs || 21796452 markings, 68688980 edges, 18489 markings/sec, 1245 secs
lola: sara is running 1250 secs || 21892896 markings, 69004050 edges, 19289 markings/sec, 1250 secs
lola: sara is running 1255 secs || 21981193 markings, 69304585 edges, 17659 markings/sec, 1255 secs
lola: sara is running 1260 secs || 22074193 markings, 69608960 edges, 18600 markings/sec, 1260 secs
lola: sara is running 1265 secs || 22160553 markings, 69894155 edges, 17272 markings/sec, 1265 secs
lola: sara is running 1270 secs || 22260167 markings, 70231599 edges, 19923 markings/sec, 1270 secs
lola: sara is running 1275 secs || 22345427 markings, 70504326 edges, 17052 markings/sec, 1275 secs
lola: sara is running 1280 secs || 22445308 markings, 70846947 edges, 19976 markings/sec, 1280 secs
lola: sara is running 1285 secs || 22528719 markings, 71118984 edges, 16682 markings/sec, 1285 secs
lola: sara is running 1290 secs || 22628414 markings, 71452976 edges, 19939 markings/sec, 1290 secs
lola: sara is running 1295 secs || 22713643 markings, 71745771 edges, 17046 markings/sec, 1295 secs
lola: sara is running 1300 secs || 22807057 markings, 72039470 edges, 18683 markings/sec, 1300 secs
lola: sara is running 1305 secs || 22887303 markings, 72305067 edges, 16049 markings/sec, 1305 secs
lola: sara is running 1310 secs || 22977924 markings, 72615151 edges, 18124 markings/sec, 1310 secs
lola: sara is running 1315 secs || 23072765 markings, 72946446 edges, 18968 markings/sec, 1315 secs
lola: sara is running 1320 secs || 23167426 markings, 73267684 edges, 18932 markings/sec, 1320 secs
lola: sara is running 1325 secs || 23264946 markings, 73607674 edges, 19504 markings/sec, 1325 secs
lola: sara is running 1330 secs || 23361911 markings, 73944726 edges, 19393 markings/sec, 1330 secs
lola: sara is running 1335 secs || 23457036 markings, 74272941 edges, 19025 markings/sec, 1335 secs
lola: sara is running 1340 secs || 23553472 markings, 74603072 edges, 19287 markings/sec, 1340 secs
lola: sara is running 1345 secs || 23648667 markings, 74925566 edges, 19039 markings/sec, 1345 secs
lola: sara is running 1350 secs || 23740924 markings, 75234237 edges, 18451 markings/sec, 1350 secs
lola: sara is running 1355 secs || 23834477 markings, 75545570 edges, 18711 markings/sec, 1355 secs
lola: sara is running 1360 secs || 23931457 markings, 75873937 edges, 19396 markings/sec, 1360 secs
lola: sara is running 1365 secs || 24030421 markings, 76228632 edges, 19793 markings/sec, 1365 secs
lola: sara is running 1370 secs || 24125310 markings, 76538298 edges, 18978 markings/sec, 1370 secs
lola: sara is running 1375 secs || 24220599 markings, 76847140 edges, 19058 markings/sec, 1375 secs
lola: sara is running 1380 secs || 24316744 markings, 77193138 edges, 19229 markings/sec, 1380 secs
lola: sara is running 1385 secs || 24409942 markings, 77496450 edges, 18640 markings/sec, 1385 secs
lola: sara is running 1390 secs || 24505377 markings, 77808217 edges, 19087 markings/sec, 1390 secs
lola: sara is running 1395 secs || 24601542 markings, 78153523 edges, 19233 markings/sec, 1395 secs
lola: sara is running 1400 secs || 24690118 markings, 78425475 edges, 17715 markings/sec, 1400 secs
lola: sara is running 1405 secs || 24790249 markings, 78797018 edges, 20026 markings/sec, 1405 secs
lola: sara is running 1410 secs || 24879271 markings, 79063420 edges, 17804 markings/sec, 1410 secs
lola: sara is running 1415 secs || 24983629 markings, 79451450 edges, 20872 markings/sec, 1415 secs
lola: sara is running 1420 secs || 25071117 markings, 79705878 edges, 17498 markings/sec, 1420 secs
lola: sara is running 1425 secs || 25172653 markings, 80083317 edges, 20307 markings/sec, 1425 secs
lola: sara is running 1430 secs || 25264742 markings, 80354013 edges, 18418 markings/sec, 1430 secs
lola: sara is running 1435 secs || 25365581 markings, 80728934 edges, 20168 markings/sec, 1435 secs
lola: sara is running 1440 secs || 25448528 markings, 80963094 edges, 16589 markings/sec, 1440 secs
lola: sara is running 1445 secs || 25553967 markings, 81354803 edges, 21088 markings/sec, 1445 secs
lola: sara is running 1450 secs || 25629728 markings, 81560595 edges, 15152 markings/sec, 1450 secs
lola: sara is running 1455 secs || 25735480 markings, 81952387 edges, 21150 markings/sec, 1455 secs
lola: sara is running 1460 secs || 25812765 markings, 82190919 edges, 15457 markings/sec, 1460 secs
lola: sara is running 1465 secs || 25913448 markings, 82533920 edges, 20137 markings/sec, 1465 secs
lola: sara is running 1470 secs || 25992733 markings, 82793205 edges, 15857 markings/sec, 1470 secs
lola: sara is running 1475 secs || 26086947 markings, 83115871 edges, 18843 markings/sec, 1475 secs
lola: sara is running 1480 secs || 26181300 markings, 83446066 edges, 18871 markings/sec, 1480 secs
lola: sara is running 1485 secs || 26275093 markings, 83763997 edges, 18759 markings/sec, 1485 secs
lola: sara is running 1490 secs || 26370594 markings, 84095205 edges, 19100 markings/sec, 1490 secs
lola: sara is running 1495 secs || 26464137 markings, 84419228 edges, 18709 markings/sec, 1495 secs
lola: sara is running 1500 secs || 26556149 markings, 84734582 edges, 18402 markings/sec, 1500 secs
lola: sara is running 1505 secs || 26648817 markings, 85050969 edges, 18534 markings/sec, 1505 secs
lola: sara is running 1510 secs || 26742673 markings, 85369710 edges, 18771 markings/sec, 1510 secs
lola: sara is running 1515 secs || 26836699 markings, 85695032 edges, 18805 markings/sec, 1515 secs
lola: sara is running 1520 secs || 26934981 markings, 86046302 edges, 19656 markings/sec, 1520 secs
lola: sara is running 1525 secs || 27025859 markings, 86345891 edges, 18176 markings/sec, 1525 secs
lola: sara is running 1530 secs || 27117833 markings, 86649257 edges, 18395 markings/sec, 1530 secs
lola: sara is running 1535 secs || 27216358 markings, 87012308 edges, 19705 markings/sec, 1535 secs
lola: sara is running 1540 secs || 27305842 markings, 87296704 edges, 17897 markings/sec, 1540 secs
lola: sara is running 1545 secs || 27399489 markings, 87607202 edges, 18729 markings/sec, 1545 secs
lola: sara is running 1550 secs || 27496779 markings, 87956826 edges, 19458 markings/sec, 1550 secs
lola: sara is running 1555 secs || 27588820 markings, 88247342 edges, 18408 markings/sec, 1555 secs
lola: sara is running 1560 secs || 27688167 markings, 88611889 edges, 19869 markings/sec, 1560 secs
lola: sara is running 1565 secs || 27778219 markings, 88892425 edges, 18010 markings/sec, 1565 secs
lola: sara is running 1570 secs || 27876324 markings, 89230605 edges, 19621 markings/sec, 1570 secs
lola: sara is running 1575 secs || 27971350 markings, 89549764 edges, 19005 markings/sec, 1575 secs
lola: sara is running 1580 secs || 28063994 markings, 89857387 edges, 18529 markings/sec, 1580 secs
lola: sara is running 1585 secs || 28162647 markings, 90195197 edges, 19731 markings/sec, 1585 secs
lola: sara is running 1590 secs || 28255966 markings, 90530386 edges, 18664 markings/sec, 1590 secs
lola: sara is running 1595 secs || 28347612 markings, 90810210 edges, 18329 markings/sec, 1595 secs
lola: sara is running 1600 secs || 28447492 markings, 91182392 edges, 19976 markings/sec, 1600 secs
lola: sara is running 1605 secs || 28529580 markings, 91413261 edges, 16418 markings/sec, 1605 secs
lola: sara is running 1610 secs || 28637661 markings, 91815594 edges, 21616 markings/sec, 1610 secs
lola: sara is running 1615 secs || 28710940 markings, 92014460 edges, 14656 markings/sec, 1615 secs
lola: sara is running 1620 secs || 28813885 markings, 92395232 edges, 20589 markings/sec, 1620 secs
lola: sara is running 1625 secs || 28893347 markings, 92665856 edges, 15892 markings/sec, 1625 secs
lola: sara is running 1630 secs || 28981961 markings, 92938464 edges, 17723 markings/sec, 1630 secs
lola: sara is running 1635 secs || 29081162 markings, 93308240 edges, 19840 markings/sec, 1635 secs
lola: sara is running 1640 secs || 29151600 markings, 93499066 edges, 14088 markings/sec, 1640 secs
lola: sara is running 1645 secs || 29249730 markings, 93848243 edges, 19626 markings/sec, 1645 secs
lola: sara is running 1650 secs || 29331643 markings, 94120055 edges, 16383 markings/sec, 1650 secs
lola: sara is running 1655 secs || 29423034 markings, 94437064 edges, 18278 markings/sec, 1655 secs
lola: sara is running 1660 secs || 29516032 markings, 94757090 edges, 18600 markings/sec, 1660 secs
lola: sara is running 1665 secs || 29611234 markings, 95085232 edges, 19040 markings/sec, 1665 secs
lola: sara is running 1670 secs || 29707313 markings, 95415084 edges, 19216 markings/sec, 1670 secs
lola: sara is running 1675 secs || 29803224 markings, 95746232 edges, 19182 markings/sec, 1675 secs
lola: sara is running 1680 secs || 29899822 markings, 96082778 edges, 19320 markings/sec, 1680 secs
lola: sara is running 1685 secs || 29995728 markings, 96413946 edges, 19181 markings/sec, 1685 secs
lola: sara is running 1690 secs || 30094115 markings, 96766934 edges, 19677 markings/sec, 1690 secs
lola: sara is running 1695 secs || 30186753 markings, 97078066 edges, 18528 markings/sec, 1695 secs
lola: sara is running 1700 secs || 30279925 markings, 97389333 edges, 18634 markings/sec, 1700 secs
lola: sara is running 1705 secs || 30374522 markings, 97711663 edges, 18919 markings/sec, 1705 secs
lola: sara is running 1710 secs || 30471740 markings, 98062320 edges, 19444 markings/sec, 1710 secs
lola: sara is running 1715 secs || 30562724 markings, 98357304 edges, 18197 markings/sec, 1715 secs
lola: sara is running 1720 secs || 30658839 markings, 98695197 edges, 19223 markings/sec, 1720 secs
lola: sara is running 1725 secs || 30751082 markings, 99008232 edges, 18449 markings/sec, 1725 secs
lola: sara is running 1730 secs || 30846135 markings, 99323131 edges, 19011 markings/sec, 1730 secs
lola: sara is running 1735 secs || 30943480 markings, 99673672 edges, 19469 markings/sec, 1735 secs
lola: sara is running 1740 secs || 31037896 markings, 99970520 edges, 18883 markings/sec, 1740 secs
lola: sara is running 1745 secs || 31140859 markings, 100352946 edges, 20593 markings/sec, 1745 secs
lola: sara is running 1750 secs || 31231383 markings, 100630343 edges, 18105 markings/sec, 1750 secs
lola: sara is running 1755 secs || 31334193 markings, 101013018 edges, 20562 markings/sec, 1755 secs
lola: sara is running 1760 secs || 31422568 markings, 101277809 edges, 17675 markings/sec, 1760 secs
lola: sara is running 1765 secs || 31526408 markings, 101666113 edges, 20768 markings/sec, 1765 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no yes no no no unknown no no no yes no yes no no yes
lola:
preliminary result: yes no yes no no no unknown no no no yes no yes no no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes no no no unknown no no no yes no yes no no yes
lola: memory consumption: 1655576 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to ReachabilityCardinality.json
lola: closed JSON file ReachabilityCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes no no no unknown no no no yes no yes no no yes
lola: memory consumption: 1655576 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to ReachabilityCardinality.json
lola: closed JSON file ReachabilityCardinality.json
rslt: finished
BK_STOP 1552531061874
--------------------
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-V50P20N20"
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
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is BridgeAndVehicles-PT-V50P20N20, 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 r016-csrt-155225065700584"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V50P20N20.tgz
mv BridgeAndVehicles-PT-V50P20N20 execution
cd execution
if [ "ReachabilityCardinality" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "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 '
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 ;