Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..................
/home/mcc/execution
total 264K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.1K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 6.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 111 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 349 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 111K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is MultiwaySync-PT-none, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r119-csrt-152666479600201
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527320348637


BK_STOP 1527323932382

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

Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using MultiwaySync-PT-none as instance name.
Using MultiwaySync as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 1335, 'Memory': 118.8, 'Tool': 'lola'}, {'Time': 1468, 'Memory': 122.84, 'Tool': 'lola'}, {'Time': 3221, 'Memory': 315.5, 'Tool': 'itstools'}, {'Time': 3247, 'Memory': 337.1, 'Tool': 'itstools'}, {'Time': 26940, 'Memory': 2637.8, 'Tool': 'marcie'}, {'Time': 31504, 'Memory': 2638.17, 'Tool': 'marcie'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
ReachabilityCardinality lola MultiwaySync-PT-none...
----- Start make prepare stderr -----

Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
MultiwaySync-PT-none: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
MultiwaySync-PT-none: translating PT formula ReachabilityCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
ReachabilityCardinality @ MultiwaySync-PT-none @ 3540 seconds
----- Start make result stdout -----
----- Start make result stderr -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 694/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 222 places, 472 transitions, 197 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 547 transition conflict sets
lola: TASK
lola: reading formula from MultiwaySync-PT-none-ReachabilityCardinality.task
lola: E (F ((2 <= p187))) : E (F ((3 <= p196))) : E (F (((2 <= p168) OR (2 <= p200) OR (2 <= p212) OR (2 <= p112) OR (p105 + 1 <= p150) OR (p66 + 1 <= p30)))) : A (G ((p212 <= 1))) : E (F (((p218 <= p204) AND (p181 <= p43) AND (p205 + 1 <= p92) AND ((1 <= p151) OR (p112 <= p6) OR ((p150 <= p75) AND (p107 <= p213)))))) : E (F (((p80 + 1 <= p23) OR (p160 + 1 <= p60) OR (3 <= p210)))) : E (F ((((2 <= p9) OR (p70 <= p31) OR (p103 <= 0)) AND (3 <= p117)))) : E (F (((2 <= p158) OR (2 <= p197)))) : A (G (((1 <= p64) OR (2 <= p144) OR (p172 + 1 <= p149) OR (p83 <= 2) OR (p55 <= 0)))) : E (F ((3 <= p70))) : E (F ((3 <= p158))) : A (G (((p193 <= 2) OR (p168 + 1 <= p89) OR (p91 <= p148)))) : A (G ((p80 <= p4))) : E (F (((((2 <= p163) OR (3 <= p50)) AND (p84 <= 1)) OR ((2 <= p165) AND (1 <= p65) AND (3 <= p146))))) : E (F ((1 <= p161))) : A (G (((2 <= p34) OR (p122 <= p217))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((2 <= p187)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality.sara
lola: state equation: calling and running sara
sara: try reading problem file MultiwaySync-PT-none-ReachabilityCardinality.sara.
sara: place or transition ordering is non-deterministic

lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= p196)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality.sara
lola: state equation: calling and running sara
sara: try reading problem file MultiwaySync-PT-none-ReachabilityCardinality.sara.
sara: place or transition ordering is non-deterministic

lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= p168) OR (2 <= p200) OR (2 <= p212) OR (2 <= p112) OR (p105 + 1 <= p150) OR (p66 + 1 <= p30))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 6 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality-2.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 743 markings, 1693 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((p212 <= 1)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality-3.sara
lola: state equation: calling and running sara
sara: try reading problem file MultiwaySync-PT-none-ReachabilityCardinality-3.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: subprocess 4 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((p218 <= p204) AND (p181 <= p43) AND (p205 + 1 <= p92) AND ((1 <= p151) OR (p112 <= p6) OR ((p150 <= p75) AND (p107 <= p213))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 13 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality-4.sara
lola: state equation: calling and running sara
sara: try reading problem file MultiwaySync-PT-none-ReachabilityCardinality-4.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 657 markings, 1150 edges
lola: ========================================
lola: subprocess 5 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((p80 + 1 <= p23) OR (p160 + 1 <= p60) OR (3 <= p210))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality-5.sara
lola: state equation: calling and running sara
sara: try reading problem file MultiwaySync-PT-none-ReachabilityCardinality-5.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: ========================================
lola: subprocess 6 will run for 354 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((2 <= p9) OR (p70 <= p31) OR (p103 <= 0)) AND (3 <= p117))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 6 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality-6.sara
lola: ========================================
lola: state equation: calling and running sara
sara: try reading problem file MultiwaySync-PT-none-ReachabilityCardinality-6.sara.
sara: place or transition ordering is non-deterministic

lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 7 will run for 393 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= p158) OR (2 <= p197))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality-7.sara
lola: state equation: calling and running sara
sara: try reading problem file MultiwaySync-PT-none-ReachabilityCardinality-7.sara.
sara: place or transition ordering is non-deterministic

lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 8 will run for 442 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= p64) OR (2 <= p144) OR (p172 + 1 <= p149) OR (p83 <= 2) OR (p55 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality-8.sara
lola: state equation: calling and running sara
sara: try reading problem file MultiwaySync-PT-none-ReachabilityCardinality-8.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 9 will run for 505 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= p70)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality-9.sara
lola: state equation: calling and running sara
sara: try reading problem file MultiwaySync-PT-none-ReachabilityCardinality-9.sara.
sara: place or transition ordering is non-deterministic

lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 10 will run for 589 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= p158)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality-10.sara
lola: state equation: calling and running sara
sara: try reading problem file MultiwaySync-PT-none-ReachabilityCardinality-10.sara.
sara: place or transition ordering is non-deterministic

lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 11 will run for 707 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((p193 <= 2) OR (p168 + 1 <= p89) OR (p91 <= p148))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality-11.sara
lola: state equation: calling and running sara
sara: try reading problem file MultiwaySync-PT-none-ReachabilityCardinality-11.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 12 will run for 884 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((p80 <= p4)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality-12.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 56 markings, 58 edges
lola: ========================================
lola: subprocess 13 will run for 1179 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((((2 <= p163) OR (3 <= p50)) AND (p84 <= 1)) OR ((2 <= p165) AND (1 <= p65) AND (3 <= p146)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 7 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality-13.sara
lola: state equation: calling and running sara
sara: try reading problem file MultiwaySync-PT-none-ReachabilityCardinality-13.sara.
sara: place or transition ordering is non-deterministic

lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: subprocess 14 will run for 1769 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((1 <= p161)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality-14.sara
lola: state equation: calling and running sara
sara: try reading problem file MultiwaySync-PT-none-ReachabilityCardinality-14.sara.
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: ========================================
lola: subprocess 15 will run for 3539 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((2 <= p34) OR (p122 <= p217))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality-15.sara
lola: state equation: calling and running sara
sara: try reading problem file MultiwaySync-PT-none-ReachabilityCardinality-15.sara.
sara: place or transition ordering is non-deterministic
sara: warning, failure of lp_solve (at job 85)
lola: sara is running 0 secs || 603831 markings, 2002360 edges, 120766 markings/sec, 0 secs
lola: sara is running 5 secs || 1162542 markings, 3906983 edges, 111742 markings/sec, 5 secs
lola: sara is running 10 secs || 1715754 markings, 5847605 edges, 110642 markings/sec, 10 secs
lola: sara is running 15 secs || 2243943 markings, 7739280 edges, 105638 markings/sec, 15 secs
lola: sara is running 20 secs || 2768639 markings, 9614899 edges, 104939 markings/sec, 20 secs
lola: sara is running 25 secs || 3292667 markings, 11504780 edges, 104806 markings/sec, 25 secs
lola: sara is running 30 secs || 3807639 markings, 13385348 edges, 102994 markings/sec, 30 secs
lola: sara is running 35 secs || 4316424 markings, 15254618 edges, 101757 markings/sec, 35 secs
lola: sara is running 40 secs || 4819230 markings, 17121708 edges, 100561 markings/sec, 40 secs
lola: sara is running 45 secs || 5312910 markings, 18967453 edges, 98736 markings/sec, 45 secs
lola: sara is running 50 secs || 5800779 markings, 20807145 edges, 97574 markings/sec, 50 secs
lola: sara is running 55 secs || 6283470 markings, 22645024 edges, 96538 markings/sec, 55 secs
lola: sara is running 60 secs || 6729409 markings, 24366443 edges, 89188 markings/sec, 60 secs
lola: sara is running 65 secs || 7179286 markings, 26125978 edges, 89975 markings/sec, 65 secs
lola: sara is running 70 secs || 7629975 markings, 27923617 edges, 90138 markings/sec, 70 secs
lola: sara is running 75 secs || 8064653 markings, 29728386 edges, 86936 markings/sec, 75 secs
lola: sara is running 80 secs || 8473246 markings, 31609571 edges, 81719 markings/sec, 80 secs
lola: sara is running 85 secs || 8690469 markings, 34243597 edges, 43445 markings/sec, 85 secs
lola: sara is running 90 secs || 8740311 markings, 37435987 edges, 9968 markings/sec, 90 secs
lola: sara is running 95 secs || 8781958 markings, 40739988 edges, 8329 markings/sec, 95 secs
lola: sara is running 100 secs || 8820679 markings, 44124995 edges, 7744 markings/sec, 100 secs
lola: sara is running 105 secs || 8857368 markings, 47540048 edges, 7338 markings/sec, 105 secs
lola: sara is running 110 secs || 8893236 markings, 51059396 edges, 7174 markings/sec, 110 secs
lola: sara is running 115 secs || 8927384 markings, 54491749 edges, 6830 markings/sec, 115 secs
lola: sara is running 120 secs || 8960475 markings, 57902630 edges, 6618 markings/sec, 120 secs
lola: sara is running 125 secs || 8992735 markings, 61321485 edges, 6452 markings/sec, 125 secs
lola: sara is running 130 secs || 9024586 markings, 64757294 edges, 6370 markings/sec, 130 secs
lola: sara is running 135 secs || 9055982 markings, 68251367 edges, 6279 markings/sec, 135 secs
lola: sara is running 140 secs || 9086926 markings, 71761161 edges, 6189 markings/sec, 140 secs
lola: sara is running 145 secs || 9117791 markings, 75291145 edges, 6173 markings/sec, 145 secs
lola: sara is running 150 secs || 9148887 markings, 78862631 edges, 6219 markings/sec, 150 secs
lola: sara is running 155 secs || 9179590 markings, 82461829 edges, 6141 markings/sec, 155 secs
lola: sara is running 160 secs || 9209384 markings, 86106069 edges, 5959 markings/sec, 160 secs
lola: sara is running 165 secs || 9239551 markings, 89750611 edges, 6033 markings/sec, 165 secs
lola: sara is running 170 secs || 9269525 markings, 93448825 edges, 5995 markings/sec, 170 secs
lola: sara is running 175 secs || 9299527 markings, 97209501 edges, 6000 markings/sec, 175 secs
lola: sara is running 180 secs || 9328758 markings, 100887658 edges, 5846 markings/sec, 180 secs
lola: sara is running 185 secs || 9358632 markings, 104723500 edges, 5975 markings/sec, 185 secs
lola: sara is running 190 secs || 9387394 markings, 108522266 edges, 5752 markings/sec, 190 secs
lola: sara is running 195 secs || 9417823 markings, 112532145 edges, 6086 markings/sec, 195 secs
lola: sara is running 200 secs || 9448420 markings, 116636296 edges, 6119 markings/sec, 200 secs
lola: sara is running 205 secs || 9478675 markings, 120794334 edges, 6051 markings/sec, 205 secs
lola: sara is running 210 secs || 9508273 markings, 125079037 edges, 5920 markings/sec, 210 secs
lola: sara is running 215 secs || 9538004 markings, 129379665 edges, 5946 markings/sec, 215 secs
lola: sara is running 220 secs || 9602514 markings, 133509722 edges, 12902 markings/sec, 220 secs
lola: sara is running 225 secs || 10050018 markings, 135039581 edges, 89501 markings/sec, 225 secs
lola: sara is running 230 secs || 10500398 markings, 136538552 edges, 90076 markings/sec, 230 secs
lola: sara is running 235 secs || 10962794 markings, 138098357 edges, 92479 markings/sec, 235 secs
lola: sara is running 240 secs || 11396893 markings, 139608471 edges, 86820 markings/sec, 240 secs
lola: sara is running 245 secs || 11838121 markings, 141162453 edges, 88246 markings/sec, 245 secs
lola: sara is running 250 secs || 12252797 markings, 142649286 edges, 82935 markings/sec, 250 secs
lola: sara is running 255 secs || 12675341 markings, 144156131 edges, 84509 markings/sec, 255 secs
lola: sara is running 260 secs || 13103386 markings, 145699882 edges, 85609 markings/sec, 260 secs
lola: sara is running 265 secs || 13581610 markings, 147439214 edges, 95645 markings/sec, 265 secs
lola: sara is running 270 secs || 14034187 markings, 149097468 edges, 90515 markings/sec, 270 secs
lola: sara is running 275 secs || 14516375 markings, 150875873 edges, 96438 markings/sec, 275 secs
lola: sara is running 280 secs || 14989737 markings, 152639004 edges, 94672 markings/sec, 280 secs
lola: sara is running 285 secs || 15458563 markings, 154392296 edges, 93765 markings/sec, 285 secs
lola: sara is running 290 secs || 15921578 markings, 156144493 edges, 92603 markings/sec, 290 secs
lola: sara is running 295 secs || 16372789 markings, 157868818 edges, 90242 markings/sec, 295 secs
lola: sara is running 300 secs || 16791900 markings, 159488367 edges, 83822 markings/sec, 300 secs
lola: sara is running 305 secs || 17229095 markings, 161201893 edges, 87439 markings/sec, 305 secs
lola: sara is running 310 secs || 17641346 markings, 162850004 edges, 82450 markings/sec, 310 secs
lola: sara is running 315 secs || 18052310 markings, 164555269 edges, 82193 markings/sec, 315 secs
lola: sara is running 320 secs || 18431075 markings, 166271139 edges, 75753 markings/sec, 320 secs
lola: sara is running 325 secs || 18676651 markings, 168508137 edges, 49115 markings/sec, 325 secs
lola: sara is running 330 secs || 18726904 markings, 171403276 edges, 10051 markings/sec, 330 secs
lola: sara is running 335 secs || 18766214 markings, 174385486 edges, 7862 markings/sec, 335 secs
lola: sara is running 340 secs || 18801190 markings, 177353236 edges, 6995 markings/sec, 340 secs
lola: sara is running 345 secs || 18836310 markings, 180527091 edges, 7024 markings/sec, 345 secs
lola: sara is running 350 secs || 18869505 markings, 183656953 edges, 6639 markings/sec, 350 secs
lola: sara is running 355 secs || 18901798 markings, 186840821 edges, 6459 markings/sec, 355 secs
lola: sara is running 360 secs || 18933243 markings, 190040924 edges, 6289 markings/sec, 360 secs
lola: sara is running 365 secs || 18964287 markings, 193269838 edges, 6209 markings/sec, 365 secs
lola: sara is running 370 secs || 18994304 markings, 196444011 edges, 6003 markings/sec, 370 secs
lola: sara is running 375 secs || 19024113 markings, 199665406 edges, 5962 markings/sec, 375 secs
lola: sara is running 380 secs || 19053669 markings, 202955166 edges, 5911 markings/sec, 380 secs
lola: sara is running 385 secs || 19083374 markings, 206328459 edges, 5941 markings/sec, 385 secs
lola: sara is running 390 secs || 19113317 markings, 209727861 edges, 5989 markings/sec, 390 secs
lola: sara is running 395 secs || 19142988 markings, 213142863 edges, 5934 markings/sec, 395 secs
lola: sara is running 400 secs || 19172079 markings, 216565913 edges, 5818 markings/sec, 400 secs
lola: sara is running 405 secs || 19201613 markings, 220104113 edges, 5907 markings/sec, 405 secs
lola: sara is running 410 secs || 19230811 markings, 223666529 edges, 5840 markings/sec, 410 secs
lola: sara is running 415 secs || 19259880 markings, 227233124 edges, 5814 markings/sec, 415 secs
lola: sara is running 420 secs || 19288519 markings, 230811718 edges, 5728 markings/sec, 420 secs
lola: sara is running 425 secs || 19316819 markings, 234349747 edges, 5660 markings/sec, 425 secs
lola: sara is running 430 secs || 19345115 markings, 237945894 edges, 5659 markings/sec, 430 secs
lola: sara is running 435 secs || 19372405 markings, 241519177 edges, 5458 markings/sec, 435 secs
lola: sara is running 440 secs || 19399799 markings, 245117331 edges, 5479 markings/sec, 440 secs
lola: sara is running 445 secs || 19427771 markings, 248784408 edges, 5594 markings/sec, 445 secs
lola: sara is running 450 secs || 19454610 markings, 252482325 edges, 5368 markings/sec, 450 secs
lola: sara is running 455 secs || 19482122 markings, 256277807 edges, 5502 markings/sec, 455 secs
lola: sara is running 460 secs || 19509164 markings, 260204513 edges, 5408 markings/sec, 460 secs
lola: sara is running 465 secs || 19536664 markings, 264184068 edges, 5500 markings/sec, 465 secs
lola: sara is running 470 secs || 19563471 markings, 267966240 edges, 5361 markings/sec, 470 secs
lola: sara is running 475 secs || 19946180 markings, 269573283 edges, 76542 markings/sec, 475 secs
lola: sara is running 480 secs || 20383449 markings, 271095695 edges, 87454 markings/sec, 480 secs
lola: sara is running 485 secs || 20803475 markings, 272599261 edges, 84005 markings/sec, 485 secs
lola: sara is running 490 secs || 21216015 markings, 274097397 edges, 82508 markings/sec, 490 secs
lola: sara is running 495 secs || 21633286 markings, 275635819 edges, 83454 markings/sec, 495 secs
lola: sara is running 500 secs || 22068747 markings, 277240273 edges, 87092 markings/sec, 500 secs
lola: sara is running 505 secs || 22489518 markings, 278810474 edges, 84154 markings/sec, 505 secs
lola: sara is running 510 secs || 22919966 markings, 280418215 edges, 86090 markings/sec, 510 secs
lola: sara is running 515 secs || 23374168 markings, 282134905 edges, 90840 markings/sec, 515 secs
lola: sara is running 520 secs || 23835721 markings, 283889916 edges, 92311 markings/sec, 520 secs
lola: sara is running 525 secs || 24296242 markings, 285648999 edges, 92104 markings/sec, 525 secs
lola: sara is running 530 secs || 24744095 markings, 287377994 edges, 89571 markings/sec, 530 secs
lola: sara is running 535 secs || 25191581 markings, 289116649 edges, 89497 markings/sec, 535 secs
lola: sara is running 540 secs || 25624850 markings, 290812827 edges, 86654 markings/sec, 540 secs
lola: sara is running 545 secs || 26054307 markings, 292511214 edges, 85891 markings/sec, 545 secs
lola: sara is running 550 secs || 26482283 markings, 294221424 edges, 85595 markings/sec, 550 secs
lola: sara is running 555 secs || 26900088 markings, 295917235 edges, 83561 markings/sec, 555 secs
lola: sara is running 560 secs || 27302693 markings, 297589273 edges, 80521 markings/sec, 560 secs
lola: sara is running 565 secs || 27689842 markings, 299261833 edges, 77430 markings/sec, 565 secs
lola: sara is running 570 secs || 28050463 markings, 300993703 edges, 72124 markings/sec, 570 secs
lola: sara is running 575 secs || 28248142 markings, 303273490 edges, 39536 markings/sec, 575 secs
lola: sara is running 580 secs || 28293207 markings, 306029005 edges, 9013 markings/sec, 580 secs
lola: sara is running 585 secs || 28330124 markings, 308890106 edges, 7383 markings/sec, 585 secs
lola: sara is running 590 secs || 28363922 markings, 311814507 edges, 6760 markings/sec, 590 secs
lola: sara is running 595 secs || 28395811 markings, 314742711 edges, 6378 markings/sec, 595 secs
lola: sara is running 600 secs || 28426991 markings, 317729613 edges, 6236 markings/sec, 600 secs
lola: sara is running 605 secs || 28457317 markings, 320774577 edges, 6065 markings/sec, 605 secs
lola: sara is running 610 secs || 28486249 markings, 323755695 edges, 5786 markings/sec, 610 secs
lola: sara is running 615 secs || 28515867 markings, 326848250 edges, 5924 markings/sec, 615 secs
lola: sara is running 620 secs || 28544928 markings, 329986223 edges, 5812 markings/sec, 620 secs
lola: sara is running 625 secs || 28573276 markings, 333073984 edges, 5670 markings/sec, 625 secs
lola: sara is running 630 secs || 28601287 markings, 336210307 edges, 5602 markings/sec, 630 secs
lola: sara is running 635 secs || 28629704 markings, 339475238 edges, 5683 markings/sec, 635 secs
lola: sara is running 640 secs || 28657313 markings, 342635540 edges, 5522 markings/sec, 640 secs
lola: sara is running 645 secs || 28685191 markings, 345918915 edges, 5576 markings/sec, 645 secs
lola: sara is running 650 secs || 28713410 markings, 349219185 edges, 5644 markings/sec, 650 secs
lola: sara is running 655 secs || 28741062 markings, 352530273 edges, 5530 markings/sec, 655 secs
lola: sara is running 660 secs || 28768073 markings, 355870253 edges, 5402 markings/sec, 660 secs
lola: sara is running 665 secs || 28794773 markings, 359197930 edges, 5340 markings/sec, 665 secs
lola: sara is running 670 secs || 28821877 markings, 362562322 edges, 5421 markings/sec, 670 secs
lola: sara is running 675 secs || 28848235 markings, 365925036 edges, 5272 markings/sec, 675 secs
lola: sara is running 680 secs || 28874363 markings, 369270225 edges, 5226 markings/sec, 680 secs
lola: sara is running 685 secs || 28900240 markings, 372602985 edges, 5175 markings/sec, 685 secs
lola: sara is running 690 secs || 28926128 markings, 375977941 edges, 5178 markings/sec, 690 secs
lola: sara is running 695 secs || 28951289 markings, 379363907 edges, 5032 markings/sec, 695 secs
lola: sara is running 700 secs || 28977325 markings, 382833433 edges, 5207 markings/sec, 700 secs
lola: sara is running 705 secs || 29003025 markings, 386303627 edges, 5140 markings/sec, 705 secs
lola: sara is running 710 secs || 29028387 markings, 389841508 edges, 5072 markings/sec, 710 secs
lola: sara is running 715 secs || 29053454 markings, 393411163 edges, 5013 markings/sec, 715 secs
lola: sara is running 720 secs || 29077258 markings, 396959390 edges, 4761 markings/sec, 720 secs
lola: sara is running 725 secs || 29101104 markings, 400468892 edges, 4769 markings/sec, 725 secs
lola: sara is running 730 secs || 29125272 markings, 403956222 edges, 4834 markings/sec, 730 secs
lola: sara is running 735 secs || 29464506 markings, 405991671 edges, 67847 markings/sec, 735 secs
lola: sara is running 740 secs || 29931786 markings, 407543694 edges, 93456 markings/sec, 740 secs
lola: sara is running 745 secs || 30385766 markings, 409085661 edges, 90796 markings/sec, 745 secs
lola: sara is running 750 secs || 30825042 markings, 410614340 edges, 87855 markings/sec, 750 secs
lola: sara is running 755 secs || 31254567 markings, 412136822 edges, 85905 markings/sec, 755 secs
lola: sara is running 760 secs || 31678841 markings, 413651083 edges, 84855 markings/sec, 760 secs
lola: sara is running 765 secs || 32098209 markings, 415157048 edges, 83874 markings/sec, 765 secs
lola: sara is running 770 secs || 32518186 markings, 416670539 edges, 83995 markings/sec, 770 secs
lola: sara is running 775 secs || 32973723 markings, 418329925 edges, 91107 markings/sec, 775 secs
lola: sara is running 780 secs || 33466040 markings, 420133774 edges, 98463 markings/sec, 780 secs
lola: sara is running 785 secs || 33949895 markings, 421919769 edges, 96771 markings/sec, 785 secs
lola: sara is running 790 secs || 34439057 markings, 423745446 edges, 97832 markings/sec, 790 secs
lola: sara is running 795 secs || 34915008 markings, 425529969 edges, 95190 markings/sec, 795 secs
lola: sara is running 800 secs || 35375454 markings, 427277229 edges, 92089 markings/sec, 800 secs
lola: sara is running 805 secs || 35847193 markings, 429084870 edges, 94348 markings/sec, 805 secs
lola: sara is running 810 secs || 36308404 markings, 430872742 edges, 92242 markings/sec, 810 secs
lola: sara is running 815 secs || 36760891 markings, 432659883 edges, 90497 markings/sec, 815 secs
lola: sara is running 820 secs || 37202425 markings, 434453620 edges, 88307 markings/sec, 820 secs
lola: sara is running 825 secs || 37622710 markings, 436262690 edges, 84057 markings/sec, 825 secs
lola: sara is running 830 secs || 37985795 markings, 438286030 edges, 72617 markings/sec, 830 secs
lola: sara is running 835 secs || 38061733 markings, 441366535 edges, 15188 markings/sec, 835 secs
lola: sara is running 840 secs || 38106575 markings, 444646975 edges, 8968 markings/sec, 840 secs
lola: sara is running 845 secs || 38145172 markings, 447893027 edges, 7719 markings/sec, 845 secs
lola: sara is running 850 secs || 38182012 markings, 451209932 edges, 7368 markings/sec, 850 secs
lola: sara is running 855 secs || 38217661 markings, 454581522 edges, 7130 markings/sec, 855 secs
lola: sara is running 860 secs || 38252143 markings, 457999673 edges, 6896 markings/sec, 860 secs
lola: sara is running 865 secs || 38285941 markings, 461445684 edges, 6760 markings/sec, 865 secs
lola: sara is running 870 secs || 38319401 markings, 464931290 edges, 6692 markings/sec, 870 secs
lola: sara is running 875 secs || 38352162 markings, 468436647 edges, 6552 markings/sec, 875 secs
lola: sara is running 880 secs || 38384443 markings, 471978469 edges, 6456 markings/sec, 880 secs
lola: sara is running 885 secs || 38416098 markings, 475551446 edges, 6331 markings/sec, 885 secs
lola: sara is running 890 secs || 38447746 markings, 479107375 edges, 6330 markings/sec, 890 secs
lola: sara is running 895 secs || 38480398 markings, 482869872 edges, 6530 markings/sec, 895 secs
lola: sara is running 900 secs || 38512130 markings, 486588046 edges, 6346 markings/sec, 900 secs
lola: sara is running 905 secs || 38542269 markings, 490171625 edges, 6028 markings/sec, 905 secs
lola: sara is running 910 secs || 38572086 markings, 493825557 edges, 5963 markings/sec, 910 secs
lola: sara is running 915 secs || 38602907 markings, 497577495 edges, 6164 markings/sec, 915 secs
lola: sara is running 920 secs || 38633120 markings, 501357896 edges, 6043 markings/sec, 920 secs
lola: sara is running 925 secs || 38662609 markings, 505038430 edges, 5898 markings/sec, 925 secs
lola: sara is running 930 secs || 38690922 markings, 508634240 edges, 5663 markings/sec, 930 secs
lola: sara is running 935 secs || 38717885 markings, 512163132 edges, 5393 markings/sec, 935 secs
lola: sara is running 940 secs || 38745900 markings, 515843558 edges, 5603 markings/sec, 940 secs
lola: sara is running 945 secs || 38775345 markings, 519698984 edges, 5889 markings/sec, 945 secs
lola: sara is running 950 secs || 38803621 markings, 523595406 edges, 5655 markings/sec, 950 secs
lola: sara is running 955 secs || 38831460 markings, 527460825 edges, 5568 markings/sec, 955 secs
lola: sara is running 960 secs || 38858583 markings, 531429654 edges, 5425 markings/sec, 960 secs
lola: sara is running 965 secs || 38885591 markings, 535289251 edges, 5402 markings/sec, 965 secs
lola: sara is running 970 secs || 38915885 markings, 539004482 edges, 6059 markings/sec, 970 secs
lola: sara is running 975 secs || 39329639 markings, 540396948 edges, 82751 markings/sec, 975 secs
lola: sara is running 980 secs || 39756106 markings, 541814148 edges, 85293 markings/sec, 980 secs
lola: sara is running 985 secs || 40191946 markings, 543289265 edges, 87168 markings/sec, 985 secs
lola: sara is running 990 secs || 40608725 markings, 544740210 edges, 83356 markings/sec, 990 secs
lola: sara is running 995 secs || 41016799 markings, 546176768 edges, 81615 markings/sec, 995 secs
lola: sara is running 1000 secs || 41414437 markings, 547605024 edges, 79528 markings/sec, 1000 secs
lola: sara is running 1005 secs || 41832695 markings, 549094009 edges, 83652 markings/sec, 1005 secs
lola: sara is running 1010 secs || 42235865 markings, 550547338 edges, 80634 markings/sec, 1010 secs
lola: sara is running 1015 secs || 42664000 markings, 552098926 edges, 85627 markings/sec, 1015 secs
lola: sara is running 1020 secs || 43103241 markings, 553705767 edges, 87848 markings/sec, 1020 secs
lola: sara is running 1025 secs || 43538418 markings, 555307864 edges, 87035 markings/sec, 1025 secs
lola: sara is running 1030 secs || 43972761 markings, 556917964 edges, 86869 markings/sec, 1030 secs
lola: sara is running 1035 secs || 44400222 markings, 558514311 edges, 85492 markings/sec, 1035 secs
lola: sara is running 1040 secs || 44834779 markings, 560151223 edges, 86911 markings/sec, 1040 secs
lola: sara is running 1045 secs || 45244371 markings, 561704468 edges, 81918 markings/sec, 1045 secs
lola: sara is running 1050 secs || 45662544 markings, 563306396 edges, 83635 markings/sec, 1050 secs
lola: sara is running 1055 secs || 46076320 markings, 564908543 edges, 82755 markings/sec, 1055 secs
lola: sara is running 1060 secs || 46495443 markings, 566556686 edges, 83825 markings/sec, 1060 secs
lola: sara is running 1065 secs || 46906921 markings, 568209412 edges, 82296 markings/sec, 1065 secs
lola: sara is running 1070 secs || 47293916 markings, 569830267 edges, 77399 markings/sec, 1070 secs
lola: sara is running 1075 secs || 47660411 markings, 571519992 edges, 73299 markings/sec, 1075 secs
lola: sara is running 1080 secs || 47875061 markings, 573688401 edges, 42930 markings/sec, 1080 secs
lola: sara is running 1085 secs || 47923501 markings, 576517240 edges, 9688 markings/sec, 1085 secs
lola: sara is running 1090 secs || 47961458 markings, 579397646 edges, 7591 markings/sec, 1090 secs
lola: sara is running 1095 secs || 47997135 markings, 582416448 edges, 7135 markings/sec, 1095 secs
lola: sara is running 1100 secs || 48031241 markings, 585496696 edges, 6821 markings/sec, 1100 secs
lola: sara is running 1105 secs || 48064152 markings, 588592366 edges, 6582 markings/sec, 1105 secs
lola: sara is running 1110 secs || 48096209 markings, 591758360 edges, 6411 markings/sec, 1110 secs
lola: sara is running 1115 secs || 48127440 markings, 594921627 edges, 6246 markings/sec, 1115 secs
lola: sara is running 1120 secs || 48158383 markings, 598128477 edges, 6189 markings/sec, 1120 secs
lola: sara is running 1125 secs || 48187248 markings, 601193011 edges, 5773 markings/sec, 1125 secs
lola: sara is running 1130 secs || 48215872 markings, 604265397 edges, 5725 markings/sec, 1130 secs
lola: sara is running 1135 secs || 48243959 markings, 607371387 edges, 5617 markings/sec, 1135 secs
lola: sara is running 1140 secs || 48272486 markings, 610621932 edges, 5705 markings/sec, 1140 secs
lola: sara is running 1145 secs || 48301928 markings, 613959394 edges, 5888 markings/sec, 1145 secs
lola: sara is running 1150 secs || 48330233 markings, 617205490 edges, 5661 markings/sec, 1150 secs
lola: sara is running 1155 secs || 48358070 markings, 620454673 edges, 5567 markings/sec, 1155 secs
lola: sara is running 1160 secs || 48385703 markings, 623721405 edges, 5527 markings/sec, 1160 secs
lola: sara is running 1165 secs || 48412537 markings, 627016611 edges, 5367 markings/sec, 1165 secs
lola: sara is running 1170 secs || 48439599 markings, 630291363 edges, 5412 markings/sec, 1170 secs
lola: sara is running 1175 secs || 48466466 markings, 633592552 edges, 5373 markings/sec, 1175 secs
lola: sara is running 1180 secs || 48492928 markings, 636920196 edges, 5292 markings/sec, 1180 secs
lola: sara is running 1185 secs || 48519065 markings, 640207047 edges, 5227 markings/sec, 1185 secs
lola: sara is running 1190 secs || 48545630 markings, 643609042 edges, 5313 markings/sec, 1190 secs
lola: sara is running 1195 secs || 48571110 markings, 646953994 edges, 5096 markings/sec, 1195 secs
lola: sara is running 1200 secs || 48596764 markings, 650311275 edges, 5131 markings/sec, 1200 secs
lola: sara is running 1205 secs || 48622858 markings, 653734336 edges, 5219 markings/sec, 1205 secs
lola: sara is running 1210 secs || 48648038 markings, 657188552 edges, 5036 markings/sec, 1210 secs
lola: sara is running 1215 secs || 48673672 markings, 660704652 edges, 5127 markings/sec, 1215 secs
lola: sara is running 1220 secs || 48698549 markings, 664279723 edges, 4975 markings/sec, 1220 secs
lola: sara is running 1225 secs || 48723610 markings, 667890692 edges, 5012 markings/sec, 1225 secs
lola: sara is running 1230 secs || 48748283 markings, 671505121 edges, 4935 markings/sec, 1230 secs
lola: sara is running 1235 secs || 48934662 markings, 673936653 edges, 37276 markings/sec, 1235 secs
lola: sara is running 1240 secs || 49342491 markings, 675348072 edges, 81566 markings/sec, 1240 secs
lola: sara is running 1245 secs || 49754932 markings, 676796810 edges, 82488 markings/sec, 1245 secs
lola: sara is running 1250 secs || 50153966 markings, 678236553 edges, 79807 markings/sec, 1250 secs
lola: sara is running 1255 secs || 50547511 markings, 679668693 edges, 78709 markings/sec, 1255 secs
lola: sara is running 1260 secs || 50931660 markings, 681093720 edges, 76830 markings/sec, 1260 secs
lola: sara is running 1265 secs || 51326979 markings, 682547840 edges, 79064 markings/sec, 1265 secs
lola: sara is running 1270 secs || 51715453 markings, 683998515 edges, 77695 markings/sec, 1270 secs
lola: sara is running 1275 secs || 52116175 markings, 685496150 edges, 80144 markings/sec, 1275 secs
lola: sara is running 1280 secs || 52538358 markings, 687091813 edges, 84437 markings/sec, 1280 secs
lola: sara is running 1285 secs || 52972343 markings, 688739612 edges, 86797 markings/sec, 1285 secs
lola: sara is running 1290 secs || 53400397 markings, 690374541 edges, 85611 markings/sec, 1290 secs
lola: sara is running 1295 secs || 53823764 markings, 692007339 edges, 84673 markings/sec, 1295 secs
lola: sara is running 1300 secs || 54244688 markings, 693635767 edges, 84185 markings/sec, 1300 secs
lola: sara is running 1305 secs || 54658957 markings, 695254940 edges, 82854 markings/sec, 1305 secs
lola: sara is running 1310 secs || 55071241 markings, 696876851 edges, 82457 markings/sec, 1310 secs
lola: sara is running 1315 secs || 55475928 markings, 698489484 edges, 80937 markings/sec, 1315 secs
lola: sara is running 1320 secs || 55876468 markings, 700101884 edges, 80108 markings/sec, 1320 secs
lola: sara is running 1325 secs || 56269360 markings, 701708693 edges, 78578 markings/sec, 1325 secs
lola: sara is running 1330 secs || 56650220 markings, 703309227 edges, 76172 markings/sec, 1330 secs
lola: sara is running 1335 secs || 57015810 markings, 704927397 edges, 73118 markings/sec, 1335 secs
lola: sara is running 1340 secs || 57344808 markings, 706670797 edges, 65800 markings/sec, 1340 secs
lola: sara is running 1345 secs || 57457071 markings, 709024067 edges, 22453 markings/sec, 1345 secs
lola: sara is running 1350 secs || 57496761 markings, 711656785 edges, 7938 markings/sec, 1350 secs
lola: sara is running 1355 secs || 57530930 markings, 714358598 edges, 6834 markings/sec, 1355 secs
lola: sara is running 1360 secs || 57561885 markings, 717065312 edges, 6191 markings/sec, 1360 secs
lola: sara is running 1365 secs || 57592181 markings, 719845595 edges, 6059 markings/sec, 1365 secs
lola: sara is running 1370 secs || 57621216 markings, 722617537 edges, 5807 markings/sec, 1370 secs
lola: sara is running 1375 secs || 57649328 markings, 725429076 edges, 5622 markings/sec, 1375 secs
lola: sara is running 1380 secs || 57677247 markings, 728295146 edges, 5584 markings/sec, 1380 secs
lola: sara is running 1385 secs || 57704475 markings, 731131681 edges, 5446 markings/sec, 1385 secs
lola: sara is running 1390 secs || 57731458 markings, 734025471 edges, 5397 markings/sec, 1390 secs
lola: sara is running 1395 secs || 57758391 markings, 736945702 edges, 5387 markings/sec, 1395 secs
lola: sara is running 1400 secs || 57785540 markings, 739937880 edges, 5430 markings/sec, 1400 secs
lola: sara is running 1405 secs || 57811797 markings, 742904964 edges, 5251 markings/sec, 1405 secs
lola: sara is running 1410 secs || 57837482 markings, 745900292 edges, 5137 markings/sec, 1410 secs
lola: sara is running 1415 secs || 57863483 markings, 748874454 edges, 5200 markings/sec, 1415 secs
lola: sara is running 1420 secs || 57889095 markings, 751897242 edges, 5122 markings/sec, 1420 secs
lola: sara is running 1425 secs || 57914712 markings, 754922150 edges, 5123 markings/sec, 1425 secs
lola: sara is running 1430 secs || 57940201 markings, 757966770 edges, 5098 markings/sec, 1430 secs
lola: sara is running 1435 secs || 57965055 markings, 761061133 edges, 4971 markings/sec, 1435 secs
lola: sara is running 1440 secs || 57989436 markings, 764105925 edges, 4876 markings/sec, 1440 secs
lola: sara is running 1445 secs || 58014529 markings, 767214464 edges, 5019 markings/sec, 1445 secs
lola: sara is running 1450 secs || 58038855 markings, 770286681 edges, 4865 markings/sec, 1450 secs
lola: sara is running 1455 secs || 58063229 markings, 773391179 edges, 4875 markings/sec, 1455 secs
lola: sara is running 1460 secs || 58087641 markings, 776507841 edges, 4882 markings/sec, 1460 secs
lola: sara is running 1465 secs || 58112771 markings, 779817150 edges, 5026 markings/sec, 1465 secs
lola: sara is running 1470 secs || 58136958 markings, 783046133 edges, 4837 markings/sec, 1470 secs
lola: sara is running 1475 secs || 58161908 markings, 786362577 edges, 4990 markings/sec, 1475 secs
lola: sara is running 1480 secs || 58186553 markings, 789666346 edges, 4929 markings/sec, 1480 secs
lola: sara is running 1485 secs || 58209892 markings, 792901027 edges, 4668 markings/sec, 1485 secs
lola: sara is running 1490 secs || 58233136 markings, 796170696 edges, 4649 markings/sec, 1490 secs
lola: sara is running 1495 secs || 58256437 markings, 799505174 edges, 4660 markings/sec, 1495 secs
lola: sara is running 1500 secs || 58280100 markings, 803016977 edges, 4733 markings/sec, 1500 secs
lola: sara is running 1505 secs || 58304365 markings, 806559642 edges, 4853 markings/sec, 1505 secs
lola: sara is running 1510 secs || 58328515 markings, 809930660 edges, 4830 markings/sec, 1510 secs
lola: sara is running 1515 secs || 58795161 markings, 811570932 edges, 93329 markings/sec, 1515 secs
lola: sara is running 1520 secs || 59301265 markings, 813254301 edges, 101221 markings/sec, 1520 secs
lola: sara is running 1525 secs || 59794205 markings, 814940434 edges, 98588 markings/sec, 1525 secs
lola: sara is running 1530 secs || 60246414 markings, 816528524 edges, 90442 markings/sec, 1530 secs
lola: sara is running 1535 secs || 60689416 markings, 818103890 edges, 88600 markings/sec, 1535 secs
lola: sara is running 1540 secs || 61131868 markings, 819676983 edges, 88490 markings/sec, 1540 secs
lola: sara is running 1545 secs || 61566743 markings, 821245791 edges, 86975 markings/sec, 1545 secs
lola: sara is running 1550 secs || 62039293 markings, 822953878 edges, 94510 markings/sec, 1550 secs
lola: sara is running 1555 secs || 62540477 markings, 824786437 edges, 100237 markings/sec, 1555 secs
lola: sara is running 1560 secs || 63035569 markings, 826610192 edges, 99018 markings/sec, 1560 secs
lola: sara is running 1565 secs || 63524573 markings, 828428988 edges, 97801 markings/sec, 1565 secs
lola: sara is running 1570 secs || 64008950 markings, 830239396 edges, 96875 markings/sec, 1570 secs
lola: sara is running 1575 secs || 64485047 markings, 832037431 edges, 95219 markings/sec, 1575 secs
lola: sara is running 1580 secs || 64954735 markings, 833827822 edges, 93938 markings/sec, 1580 secs
lola: sara is running 1585 secs || 65418052 markings, 835617469 edges, 92663 markings/sec, 1585 secs
lola: sara is running 1590 secs || 65873334 markings, 837401104 edges, 91056 markings/sec, 1590 secs
lola: sara is running 1595 secs || 66320396 markings, 839189932 edges, 89412 markings/sec, 1595 secs
lola: sara is running 1600 secs || 66748928 markings, 840983220 edges, 85706 markings/sec, 1600 secs
lola: sara is running 1605 secs || 67148743 markings, 842866494 edges, 79963 markings/sec, 1605 secs
lola: sara is running 1610 secs || 67333317 markings, 845517611 edges, 36915 markings/sec, 1610 secs
lola: sara is running 1615 secs || 67380912 markings, 848630401 edges, 9519 markings/sec, 1615 secs
lola: sara is running 1620 secs || 67421144 markings, 851832443 edges, 8046 markings/sec, 1620 secs
lola: sara is running 1625 secs || 67458357 markings, 855092981 edges, 7443 markings/sec, 1625 secs
lola: sara is running 1630 secs || 67494076 markings, 858413070 edges, 7144 markings/sec, 1630 secs
lola: sara is running 1635 secs || 67528621 markings, 861775892 edges, 6909 markings/sec, 1635 secs
lola: sara is running 1640 secs || 67562272 markings, 865168985 edges, 6730 markings/sec, 1640 secs
lola: sara is running 1645 secs || 67595546 markings, 868595700 edges, 6655 markings/sec, 1645 secs
lola: sara is running 1650 secs || 67628282 markings, 872052823 edges, 6547 markings/sec, 1650 secs
lola: sara is running 1655 secs || 67660838 markings, 875540392 edges, 6511 markings/sec, 1655 secs
lola: sara is running 1660 secs || 67692694 markings, 879077538 edges, 6371 markings/sec, 1660 secs
lola: sara is running 1665 secs || 67724903 markings, 882722370 edges, 6442 markings/sec, 1665 secs
lola: sara is running 1670 secs || 67756145 markings, 886292823 edges, 6248 markings/sec, 1670 secs
lola: sara is running 1675 secs || 67787529 markings, 889897452 edges, 6277 markings/sec, 1675 secs
lola: sara is running 1680 secs || 67818443 markings, 893526422 edges, 6183 markings/sec, 1680 secs
lola: sara is running 1685 secs || 67848428 markings, 897192138 edges, 5997 markings/sec, 1685 secs
lola: sara is running 1690 secs || 67878835 markings, 900856961 edges, 6081 markings/sec, 1690 secs
lola: sara is running 1695 secs || 67908938 markings, 904570270 edges, 6021 markings/sec, 1695 secs
lola: sara is running 1700 secs || 67938689 markings, 908300385 edges, 5950 markings/sec, 1700 secs
lola: sara is running 1705 secs || 67968216 markings, 912010725 edges, 5905 markings/sec, 1705 secs
lola: sara is running 1710 secs || 67997718 markings, 915797153 edges, 5900 markings/sec, 1710 secs
lola: sara is running 1715 secs || 68026251 markings, 919564615 edges, 5707 markings/sec, 1715 secs
lola: sara is running 1720 secs || 68055260 markings, 923379084 edges, 5802 markings/sec, 1720 secs
lola: sara is running 1725 secs || 68084158 markings, 927240684 edges, 5780 markings/sec, 1725 secs
lola: sara is running 1730 secs || 68112442 markings, 931135621 edges, 5657 markings/sec, 1730 secs
lola: sara is running 1735 secs || 68140501 markings, 935124211 edges, 5612 markings/sec, 1735 secs
lola: sara is running 1740 secs || 68168487 markings, 939164080 edges, 5597 markings/sec, 1740 secs
lola: sara is running 1745 secs || 68196489 markings, 943196871 edges, 5600 markings/sec, 1745 secs
lola: sara is running 1750 secs || 68486004 markings, 945402748 edges, 57903 markings/sec, 1750 secs
lola: sara is running 1755 secs || 68913189 markings, 946812756 edges, 85437 markings/sec, 1755 secs
lola: sara is running 1760 secs || 69357438 markings, 948309850 edges, 88850 markings/sec, 1760 secs
lola: sara is running 1765 secs || 69785632 markings, 949789806 edges, 85639 markings/sec, 1765 secs
lola: sara is running 1770 secs || 70205387 markings, 951263668 edges, 83951 markings/sec, 1770 secs
lola: sara is running 1775 secs || 70613397 markings, 952724918 edges, 81602 markings/sec, 1775 secs
lola: sara is running 1780 secs || 71033892 markings, 954218962 edges, 84099 markings/sec, 1780 secs
lola: sara is running 1785 secs || 71444949 markings, 955702864 edges, 82211 markings/sec, 1785 secs
lola: sara is running 1790 secs || 71866365 markings, 957225540 edges, 84283 markings/sec, 1790 secs
lola: sara is running 1795 secs || 72328242 markings, 958915281 edges, 92375 markings/sec, 1795 secs
lola: sara is running 1800 secs || 72793065 markings, 960623567 edges, 92965 markings/sec, 1800 secs
lola: sara is running 1805 secs || 73253229 markings, 962328169 edges, 92033 markings/sec, 1805 secs
lola: sara is running 1810 secs || 73707861 markings, 964027242 edges, 90926 markings/sec, 1810 secs
lola: sara is running 1815 secs || 74160287 markings, 965730521 edges, 90485 markings/sec, 1815 secs
lola: sara is running 1820 secs || 74608120 markings, 967431827 edges, 89567 markings/sec, 1820 secs
lola: sara is running 1825 secs || 75049263 markings, 969125383 edges, 88229 markings/sec, 1825 secs
lola: sara is running 1830 secs || 75484864 markings, 970816300 edges, 87120 markings/sec, 1830 secs
lola: sara is running 1835 secs || 75911876 markings, 972504270 edges, 85402 markings/sec, 1835 secs
lola: sara is running 1840 secs || 76325833 markings, 974183855 edges, 82791 markings/sec, 1840 secs
lola: sara is running 1845 secs || 76723830 markings, 975885908 edges, 79599 markings/sec, 1845 secs
lola: sara is running 1850 secs || 77080687 markings, 977728200 edges, 71371 markings/sec, 1850 secs
lola: sara is running 1855 secs || 77191821 markings, 980351532 edges, 22227 markings/sec, 1855 secs
lola: sara is running 1860 secs || 77233173 markings, 983161646 edges, 8270 markings/sec, 1860 secs
lola: sara is running 1865 secs || 77269342 markings, 986035098 edges, 7234 markings/sec, 1865 secs
lola: sara is running 1870 secs || 77302982 markings, 988977109 edges, 6728 markings/sec, 1870 secs
lola: sara is running 1875 secs || 77335520 markings, 991974739 edges, 6508 markings/sec, 1875 secs
lola: sara is running 1880 secs || 77367256 markings, 995000892 edges, 6347 markings/sec, 1880 secs
lola: sara is running 1885 secs || 77398218 markings, 998075636 edges, 6192 markings/sec, 1885 secs
lola: sara is running 1890 secs || 77429820 markings, 1001310096 edges, 6320 markings/sec, 1890 secs
lola: sara is running 1895 secs || 77459764 markings, 1004440716 edges, 5989 markings/sec, 1895 secs
lola: sara is running 1900 secs || 77489635 markings, 1007598825 edges, 5974 markings/sec, 1900 secs
lola: sara is running 1905 secs || 77518583 markings, 1010772964 edges, 5790 markings/sec, 1905 secs
lola: sara is running 1910 secs || 77547462 markings, 1013986474 edges, 5776 markings/sec, 1910 secs
lola: sara is running 1915 secs || 77576114 markings, 1017206115 edges, 5730 markings/sec, 1915 secs
lola: sara is running 1920 secs || 77604395 markings, 1020437042 edges, 5656 markings/sec, 1920 secs
lola: sara is running 1925 secs || 77632890 markings, 1023718488 edges, 5699 markings/sec, 1925 secs
lola: sara is running 1930 secs || 77660894 markings, 1027010566 edges, 5601 markings/sec, 1930 secs
lola: sara is running 1935 secs || 77688544 markings, 1030309707 edges, 5530 markings/sec, 1935 secs
lola: sara is running 1940 secs || 77715357 markings, 1033611543 edges, 5363 markings/sec, 1940 secs
lola: sara is running 1945 secs || 77742895 markings, 1036956839 edges, 5508 markings/sec, 1945 secs
lola: sara is running 1950 secs || 77769789 markings, 1040303628 edges, 5379 markings/sec, 1950 secs
lola: sara is running 1955 secs || 77796593 markings, 1043664927 edges, 5361 markings/sec, 1955 secs
lola: sara is running 1960 secs || 77823300 markings, 1047041585 edges, 5341 markings/sec, 1960 secs
lola: sara is running 1965 secs || 77850085 markings, 1050466009 edges, 5357 markings/sec, 1965 secs
lola: sara is running 1970 secs || 77876180 markings, 1053907271 edges, 5219 markings/sec, 1970 secs
lola: sara is running 1975 secs || 77902686 markings, 1057387401 edges, 5301 markings/sec, 1975 secs
lola: sara is running 1980 secs || 77928840 markings, 1060855273 edges, 5231 markings/sec, 1980 secs
lola: sara is running 1985 secs || 77954598 markings, 1064393142 edges, 5152 markings/sec, 1985 secs
lola: sara is running 1990 secs || 77980243 markings, 1067972021 edges, 5129 markings/sec, 1990 secs
lola: sara is running 1995 secs || 78005348 markings, 1071673823 edges, 5021 markings/sec, 1995 secs
lola: sara is running 2000 secs || 78030737 markings, 1075292623 edges, 5078 markings/sec, 2000 secs
lola: sara is running 2005 secs || 78055537 markings, 1078807397 edges, 4960 markings/sec, 2005 secs
lola: sara is running 2010 secs || 78448446 markings, 1080153235 edges, 78582 markings/sec, 2010 secs
lola: sara is running 2015 secs || 78861800 markings, 1081592593 edges, 82671 markings/sec, 2015 secs
lola: sara is running 2020 secs || 79267376 markings, 1083041612 edges, 81115 markings/sec, 2020 secs
lola: sara is running 2025 secs || 79662930 markings, 1084480680 edges, 79111 markings/sec, 2025 secs
lola: sara is running 2030 secs || 80050930 markings, 1085907720 edges, 77600 markings/sec, 2030 secs
lola: sara is running 2035 secs || 80441953 markings, 1087347438 edges, 78205 markings/sec, 2035 secs
lola: sara is running 2040 secs || 80829923 markings, 1088791843 edges, 77594 markings/sec, 2040 secs
lola: sara is running 2045 secs || 81222435 markings, 1090254637 edges, 78502 markings/sec, 2045 secs
lola: sara is running 2050 secs || 81612737 markings, 1091722662 edges, 78060 markings/sec, 2050 secs
lola: sara is running 2055 secs || 82038884 markings, 1093335408 edges, 85229 markings/sec, 2055 secs
lola: sara is running 2060 secs || 82471937 markings, 1094984651 edges, 86611 markings/sec, 2060 secs
lola: sara is running 2065 secs || 82899932 markings, 1096627838 edges, 85599 markings/sec, 2065 secs
lola: sara is running 2070 secs || 83324541 markings, 1098266630 edges, 84922 markings/sec, 2070 secs
lola: sara is running 2075 secs || 83744903 markings, 1099900945 edges, 84072 markings/sec, 2075 secs
lola: sara is running 2080 secs || 84159823 markings, 1101528347 edges, 82984 markings/sec, 2080 secs
lola: sara is running 2085 secs || 84569262 markings, 1103148454 edges, 81888 markings/sec, 2085 secs
lola: sara is running 2090 secs || 84974145 markings, 1104766955 edges, 80977 markings/sec, 2090 secs
lola: sara is running 2095 secs || 85370043 markings, 1106374305 edges, 79180 markings/sec, 2095 secs
lola: sara is running 2100 secs || 85756942 markings, 1107975362 edges, 77380 markings/sec, 2100 secs
lola: sara is running 2105 secs || 86133320 markings, 1109592663 edges, 75276 markings/sec, 2105 secs
lola: sara is running 2110 secs || 86485424 markings, 1111237574 edges, 70421 markings/sec, 2110 secs
lola: sara is running 2115 secs || 86725841 markings, 1113268982 edges, 48083 markings/sec, 2115 secs
lola: sara is running 2120 secs || 86772524 markings, 1115805589 edges, 9337 markings/sec, 2120 secs
lola: sara is running 2125 secs || 86807674 markings, 1118407872 edges, 7030 markings/sec, 2125 secs
lola: sara is running 2130 secs || 86840097 markings, 1121096334 edges, 6485 markings/sec, 2130 secs
lola: sara is running 2135 secs || 86870669 markings, 1123829847 edges, 6114 markings/sec, 2135 secs
lola: sara is running 2140 secs || 86899820 markings, 1126596931 edges, 5830 markings/sec, 2140 secs
lola: sara is running 2145 secs || 86928810 markings, 1129404450 edges, 5798 markings/sec, 2145 secs
lola: sara is running 2150 secs || 86956853 markings, 1132244447 edges, 5609 markings/sec, 2150 secs
lola: sara is running 2155 secs || 86984383 markings, 1135099490 edges, 5506 markings/sec, 2155 secs
lola: sara is running 2160 secs || 87011866 markings, 1138008571 edges, 5497 markings/sec, 2160 secs
lola: sara is running 2165 secs || 87038786 markings, 1140913715 edges, 5384 markings/sec, 2165 secs
lola: sara is running 2170 secs || 87065747 markings, 1143840335 edges, 5392 markings/sec, 2170 secs
lola: sara is running 2175 secs || 87092150 markings, 1146820437 edges, 5281 markings/sec, 2175 secs
lola: sara is running 2180 secs || 87118215 markings, 1149818477 edges, 5213 markings/sec, 2180 secs
lola: sara is running 2185 secs || 87144335 markings, 1152810963 edges, 5224 markings/sec, 2185 secs
lola: sara is running 2190 secs || 87170118 markings, 1155827905 edges, 5157 markings/sec, 2190 secs
lola: sara is running 2195 secs || 87195943 markings, 1158859526 edges, 5165 markings/sec, 2195 secs
lola: sara is running 2200 secs || 87221456 markings, 1161920266 edges, 5103 markings/sec, 2200 secs
lola: sara is running 2205 secs || 87247141 markings, 1165005992 edges, 5137 markings/sec, 2205 secs
lola: sara is running 2210 secs || 87271748 markings, 1168105532 edges, 4921 markings/sec, 2210 secs
lola: sara is running 2215 secs || 87296630 markings, 1171157452 edges, 4976 markings/sec, 2215 secs
lola: sara is running 2220 secs || 87320938 markings, 1174260991 edges, 4862 markings/sec, 2220 secs
lola: sara is running 2225 secs || 87345696 markings, 1177378638 edges, 4952 markings/sec, 2225 secs
lola: sara is running 2230 secs || 87370254 markings, 1180530926 edges, 4912 markings/sec, 2230 secs
lola: sara is running 2235 secs || 87396159 markings, 1183867524 edges, 5181 markings/sec, 2235 secs
lola: sara is running 2240 secs || 87420572 markings, 1187116072 edges, 4883 markings/sec, 2240 secs
lola: sara is running 2245 secs || 87443819 markings, 1190241305 edges, 4649 markings/sec, 2245 secs
lola: sara is running 2250 secs || 87467815 markings, 1193447186 edges, 4799 markings/sec, 2250 secs
lola: sara is running 2255 secs || 87491912 markings, 1196699324 edges, 4819 markings/sec, 2255 secs
lola: sara is running 2260 secs || 87515325 markings, 1199969398 edges, 4683 markings/sec, 2260 secs
lola: sara is running 2265 secs || 87538697 markings, 1203290097 edges, 4674 markings/sec, 2265 secs
lola: sara is running 2270 secs || 87561987 markings, 1206730396 edges, 4658 markings/sec, 2270 secs
lola: sara is running 2275 secs || 87585216 markings, 1210132750 edges, 4646 markings/sec, 2275 secs
lola: sara is running 2280 secs || 87608454 markings, 1213587016 edges, 4648 markings/sec, 2280 secs
lola: sara is running 2285 secs || 87809875 markings, 1216061305 edges, 40284 markings/sec, 2285 secs
lola: sara is running 2290 secs || 88244651 markings, 1217501014 edges, 86955 markings/sec, 2290 secs
lola: sara is running 2295 secs || 88663752 markings, 1218914874 edges, 83820 markings/sec, 2295 secs
lola: sara is running 2300 secs || 89071911 markings, 1220327000 edges, 81632 markings/sec, 2300 secs
lola: sara is running 2305 secs || 89488160 markings, 1221787630 edges, 83250 markings/sec, 2305 secs
lola: sara is running 2310 secs || 89868227 markings, 1223144980 edges, 76013 markings/sec, 2310 secs
lola: sara is running 2315 secs || 90267182 markings, 1224562953 edges, 79791 markings/sec, 2315 secs
lola: sara is running 2320 secs || 90666430 markings, 1226000546 edges, 79850 markings/sec, 2320 secs
lola: sara is running 2325 secs || 91077698 markings, 1227487973 edges, 82254 markings/sec, 2325 secs
lola: sara is running 2330 secs || 91520780 markings, 1229106086 edges, 88616 markings/sec, 2330 secs
lola: sara is running 2335 secs || 91976092 markings, 1230777921 edges, 91062 markings/sec, 2335 secs
lola: sara is running 2340 secs || 92426842 markings, 1232443007 edges, 90150 markings/sec, 2340 secs
lola: sara is running 2345 secs || 92865874 markings, 1234081998 edges, 87806 markings/sec, 2345 secs
lola: sara is running 2350 secs || 93291149 markings, 1235676040 edges, 85055 markings/sec, 2350 secs
lola: sara is running 2355 secs || 93703909 markings, 1237237493 edges, 82552 markings/sec, 2355 secs
lola: sara is running 2360 secs || 94108854 markings, 1238783567 edges, 80989 markings/sec, 2360 secs
lola: sara is running 2365 secs || 94508431 markings, 1240326651 edges, 79915 markings/sec, 2365 secs
lola: sara is running 2370 secs || 94920113 markings, 1241935005 edges, 82336 markings/sec, 2370 secs
lola: sara is running 2375 secs || 95322294 markings, 1243532821 edges, 80436 markings/sec, 2375 secs
lola: sara is running 2380 secs || 95704373 markings, 1245095578 edges, 76416 markings/sec, 2380 secs
lola: sara is running 2385 secs || 96062195 markings, 1246645438 edges, 71564 markings/sec, 2385 secs
lola: sara is running 2390 secs || 96380778 markings, 1248324648 edges, 63717 markings/sec, 2390 secs
lola: sara is running 2395 secs || 96482210 markings, 1250554143 edges, 20286 markings/sec, 2395 secs
lola: sara is running 2400 secs || 96519315 markings, 1252941618 edges, 7421 markings/sec, 2400 secs
lola: sara is running 2405 secs || 96551634 markings, 1255406515 edges, 6464 markings/sec, 2405 secs
lola: sara is running 2410 secs || 96581495 markings, 1257899841 edges, 5972 markings/sec, 2410 secs
lola: sara is running 2415 secs || 96609830 markings, 1260424725 edges, 5667 markings/sec, 2415 secs
lola: sara is running 2420 secs || 96637279 markings, 1262985978 edges, 5490 markings/sec, 2420 secs
lola: sara is running 2425 secs || 96664282 markings, 1265567288 edges, 5401 markings/sec, 2425 secs
lola: sara is running 2430 secs || 96690942 markings, 1268213601 edges, 5332 markings/sec, 2430 secs
lola: sara is running 2435 secs || 96717025 markings, 1270865732 edges, 5217 markings/sec, 2435 secs
lola: sara is running 2440 secs || 96742975 markings, 1273553509 edges, 5190 markings/sec, 2440 secs
lola: sara is running 2445 secs || 96768387 markings, 1276232740 edges, 5082 markings/sec, 2445 secs
lola: sara is running 2450 secs || 96794155 markings, 1278970600 edges, 5154 markings/sec, 2450 secs
lola: sara is running 2455 secs || 96819269 markings, 1281737809 edges, 5023 markings/sec, 2455 secs
lola: sara is running 2460 secs || 96844174 markings, 1284520896 edges, 4981 markings/sec, 2460 secs
lola: sara is running 2465 secs || 96868749 markings, 1287303125 edges, 4915 markings/sec, 2465 secs
lola: sara is running 2470 secs || 96893200 markings, 1290083497 edges, 4890 markings/sec, 2470 secs
lola: sara is running 2475 secs || 96917882 markings, 1292911146 edges, 4936 markings/sec, 2475 secs
lola: sara is running 2480 secs || 96942322 markings, 1295749867 edges, 4888 markings/sec, 2480 secs
lola: sara is running 2485 secs || 96966439 markings, 1298578438 edges, 4823 markings/sec, 2485 secs
lola: sara is running 2490 secs || 96989358 markings, 1301365229 edges, 4584 markings/sec, 2490 secs
lola: sara is running 2495 secs || 97012356 markings, 1304182984 edges, 4600 markings/sec, 2495 secs
lola: sara is running 2500 secs || 97036634 markings, 1307133416 edges, 4856 markings/sec, 2500 secs
lola: sara is running 2505 secs || 97061118 markings, 1310156468 edges, 4897 markings/sec, 2505 secs
lola: sara is running 2510 secs || 97085197 markings, 1313177210 edges, 4816 markings/sec, 2510 secs
lola: sara is running 2515 secs || 97109471 markings, 1316229510 edges, 4855 markings/sec, 2515 secs
lola: sara is running 2520 secs || 97133010 markings, 1319227317 edges, 4708 markings/sec, 2520 secs
lola: sara is running 2525 secs || 97155392 markings, 1322167759 edges, 4476 markings/sec, 2525 secs
lola: sara is running 2530 secs || 97177572 markings, 1325069686 edges, 4436 markings/sec, 2530 secs
lola: sara is running 2535 secs || 97200185 markings, 1328057789 edges, 4523 markings/sec, 2535 secs
lola: sara is running 2540 secs || 97222766 markings, 1331036775 edges, 4516 markings/sec, 2540 secs
lola: sara is running 2545 secs || 97245167 markings, 1334115732 edges, 4480 markings/sec, 2545 secs
lola: sara is running 2550 secs || 97267632 markings, 1337235601 edges, 4493 markings/sec, 2550 secs
lola: sara is running 2555 secs || 97289469 markings, 1340378650 edges, 4367 markings/sec, 2555 secs
lola: sara is running 2560 secs || 97311699 markings, 1343588015 edges, 4446 markings/sec, 2560 secs
lola: sara is running 2565 secs || 97333368 markings, 1346718938 edges, 4334 markings/sec, 2565 secs
lola: sara is running 2570 secs || 97382911 markings, 1349482657 edges, 9909 markings/sec, 2570 secs
lola: sara is running 2575 secs || 97758902 markings, 1350799415 edges, 75198 markings/sec, 2575 secs
lola: sara is running 2580 secs || 98157818 markings, 1352213238 edges, 79783 markings/sec, 2580 secs
lola: sara is running 2585 secs || 98559272 markings, 1353672109 edges, 80291 markings/sec, 2585 secs
lola: sara is running 2590 secs || 98953143 markings, 1355129363 edges, 78774 markings/sec, 2590 secs
lola: sara is running 2595 secs || 99345897 markings, 1356598219 edges, 78551 markings/sec, 2595 secs
lola: sara is running 2600 secs || 99751311 markings, 1358116771 edges, 81083 markings/sec, 2600 secs
lola: sara is running 2605 secs || 100142783 markings, 1359599117 edges, 78294 markings/sec, 2605 secs
lola: sara is running 2610 secs || 100537807 markings, 1361095974 edges, 79005 markings/sec, 2610 secs
lola: sara is running 2615 secs || 100927585 markings, 1362586690 edges, 77956 markings/sec, 2615 secs
lola: sara is running 2620 secs || 101333603 markings, 1364148156 edges, 81204 markings/sec, 2620 secs
lola: sara is running 2625 secs || 101749993 markings, 1365759162 edges, 83278 markings/sec, 2625 secs
lola: sara is running 2630 secs || 102159732 markings, 1367356184 edges, 81948 markings/sec, 2630 secs
lola: sara is running 2635 secs || 102571709 markings, 1368970318 edges, 82395 markings/sec, 2635 secs
lola: sara is running 2640 secs || 102972604 markings, 1370553765 edges, 80179 markings/sec, 2640 secs
lola: sara is running 2645 secs || 103369364 markings, 1372130185 edges, 79352 markings/sec, 2645 secs
lola: sara is running 2650 secs || 103760655 markings, 1373699820 edges, 78258 markings/sec, 2650 secs
lola: sara is running 2655 secs || 104148979 markings, 1375272257 edges, 77665 markings/sec, 2655 secs
lola: sara is running 2660 secs || 104529337 markings, 1376832293 edges, 76072 markings/sec, 2660 secs
lola: sara is running 2665 secs || 104902096 markings, 1378384646 edges, 74552 markings/sec, 2665 secs
lola: sara is running 2670 secs || 105263354 markings, 1379929511 edges, 72252 markings/sec, 2670 secs
lola: sara is running 2675 secs || 105609189 markings, 1381486450 edges, 69167 markings/sec, 2675 secs
lola: sara is running 2680 secs || 105917992 markings, 1383128333 edges, 61761 markings/sec, 2680 secs
lola: sara is running 2685 secs || 106039011 markings, 1385194264 edges, 24204 markings/sec, 2685 secs
lola: sara is running 2690 secs || 106074612 markings, 1387439488 edges, 7120 markings/sec, 2690 secs
lola: sara is running 2695 secs || 106104131 markings, 1389717631 edges, 5904 markings/sec, 2695 secs
lola: sara is running 2700 secs || 106132576 markings, 1392134830 edges, 5689 markings/sec, 2700 secs
lola: sara is running 2705 secs || 106158941 markings, 1394556608 edges, 5273 markings/sec, 2705 secs
lola: sara is running 2710 secs || 106184558 markings, 1396999888 edges, 5123 markings/sec, 2710 secs
lola: sara is running 2715 secs || 106209595 markings, 1399460261 edges, 5007 markings/sec, 2715 secs
lola: sara is running 2720 secs || 106234114 markings, 1401957561 edges, 4904 markings/sec, 2720 secs
lola: sara is running 2725 secs || 106258119 markings, 1404471686 edges, 4801 markings/sec, 2725 secs
lola: sara is running 2730 secs || 106281736 markings, 1407001921 edges, 4723 markings/sec, 2730 secs
lola: sara is running 2735 secs || 106305810 markings, 1409615684 edges, 4815 markings/sec, 2735 secs
lola: sara is running 2740 secs || 106329320 markings, 1412209155 edges, 4702 markings/sec, 2740 secs
lola: sara is running 2745 secs || 106352870 markings, 1414827753 edges, 4710 markings/sec, 2745 secs
lola: sara is running 2750 secs || 106375926 markings, 1417449731 edges, 4611 markings/sec, 2750 secs
lola: sara is running 2755 secs || 106399005 markings, 1420132269 edges, 4616 markings/sec, 2755 secs
lola: sara is running 2760 secs || 106421561 markings, 1422819907 edges, 4511 markings/sec, 2760 secs
lola: sara is running 2765 secs || 106444751 markings, 1425539098 edges, 4638 markings/sec, 2765 secs
lola: sara is running 2770 secs || 106467470 markings, 1428271779 edges, 4544 markings/sec, 2770 secs
lola: sara is running 2775 secs || 106490191 markings, 1431004683 edges, 4544 markings/sec, 2775 secs
lola: sara is running 2780 secs || 106513145 markings, 1433817266 edges, 4591 markings/sec, 2780 secs
lola: sara is running 2785 secs || 106535972 markings, 1436635005 edges, 4565 markings/sec, 2785 secs
lola: sara is running 2790 secs || 106557834 markings, 1439426051 edges, 4372 markings/sec, 2790 secs
lola: sara is running 2795 secs || 106579409 markings, 1442186019 edges, 4315 markings/sec, 2795 secs
lola: sara is running 2800 secs || 106600962 markings, 1444932514 edges, 4311 markings/sec, 2800 secs
lola: sara is running 2805 secs || 106622814 markings, 1447719893 edges, 4370 markings/sec, 2805 secs
lola: sara is running 2810 secs || 106643868 markings, 1450473315 edges, 4211 markings/sec, 2810 secs
lola: sara is running 2815 secs || 106664316 markings, 1453183178 edges, 4090 markings/sec, 2815 secs
lola: sara is running 2820 secs || 106685200 markings, 1455940872 edges, 4177 markings/sec, 2820 secs
lola: sara is running 2825 secs || 106706364 markings, 1458767529 edges, 4233 markings/sec, 2825 secs
lola: sara is running 2830 secs || 106726956 markings, 1461588011 edges, 4118 markings/sec, 2830 secs
lola: sara is running 2835 secs || 106747710 markings, 1464408199 edges, 4151 markings/sec, 2835 secs
lola: sara is running 2840 secs || 106768631 markings, 1467304554 edges, 4184 markings/sec, 2840 secs
lola: sara is running 2845 secs || 106789868 markings, 1470218514 edges, 4247 markings/sec, 2845 secs
lola: sara is running 2850 secs || 106810491 markings, 1473190806 edges, 4125 markings/sec, 2850 secs
lola: sara is running 2855 secs || 106831497 markings, 1476201126 edges, 4201 markings/sec, 2855 secs
lola: sara is running 2860 secs || 106851920 markings, 1479252660 edges, 4085 markings/sec, 2860 secs
lola: sara is running 2865 secs || 106872522 markings, 1482353569 edges, 4120 markings/sec, 2865 secs
lola: sara is running 2870 secs || 106892744 markings, 1485396534 edges, 4044 markings/sec, 2870 secs
lola: sara is running 2875 secs || 106912947 markings, 1488381243 edges, 4041 markings/sec, 2875 secs
lola: sara is running 2880 secs || 107174709 markings, 1490021665 edges, 52352 markings/sec, 2880 secs
lola: sara is running 2885 secs || 107540992 markings, 1491297809 edges, 73257 markings/sec, 2885 secs
lola: sara is running 2890 secs || 107911212 markings, 1492602530 edges, 74044 markings/sec, 2890 secs
lola: sara is running 2895 secs || 108272988 markings, 1493905044 edges, 72355 markings/sec, 2895 secs
lola: sara is running 2900 secs || 108628621 markings, 1495199881 edges, 71127 markings/sec, 2900 secs
lola: sara is running 2905 secs || 108977746 markings, 1496487361 edges, 69825 markings/sec, 2905 secs
lola: sara is running 2910 secs || 109331474 markings, 1497781611 edges, 70746 markings/sec, 2910 secs
lola: sara is running 2915 secs || 109674923 markings, 1499057463 edges, 68690 markings/sec, 2915 secs
lola: sara is running 2920 secs || 110014816 markings, 1500334239 edges, 67979 markings/sec, 2920 secs
lola: sara is running 2925 secs || 110360858 markings, 1501633171 edges, 69208 markings/sec, 2925 secs
lola: sara is running 2930 secs || 110728706 markings, 1503020604 edges, 73570 markings/sec, 2930 secs
lola: sara is running 2935 secs || 111110921 markings, 1504474315 edges, 76443 markings/sec, 2935 secs
lola: sara is running 2940 secs || 111491983 markings, 1505931364 edges, 76212 markings/sec, 2940 secs
lola: sara is running 2945 secs || 111870378 markings, 1507389050 edges, 75679 markings/sec, 2945 secs
lola: sara is running 2950 secs || 112249750 markings, 1508853272 edges, 75874 markings/sec, 2950 secs
lola: sara is running 2955 secs || 112626016 markings, 1510316133 edges, 75253 markings/sec, 2955 secs
lola: sara is running 2960 secs || 112998515 markings, 1511773623 edges, 74500 markings/sec, 2960 secs
lola: sara is running 2965 secs || 113364198 markings, 1513219867 edges, 73137 markings/sec, 2965 secs
lola: sara is running 2970 secs || 113723187 markings, 1514651916 edges, 71798 markings/sec, 2970 secs
lola: sara is running 2975 secs || 114080275 markings, 1516094463 edges, 71418 markings/sec, 2975 secs
lola: sara is running 2980 secs || 114426838 markings, 1517516641 edges, 69313 markings/sec, 2980 secs
lola: sara is running 2985 secs || 114764034 markings, 1518930648 edges, 67439 markings/sec, 2985 secs
lola: sara is running 2990 secs || 115087856 markings, 1520346109 edges, 64764 markings/sec, 2990 secs
lola: sara is running 2995 secs || 115387348 markings, 1521797866 edges, 59898 markings/sec, 2995 secs
lola: sara is running 3000 secs || 115587466 markings, 1523531872 edges, 40024 markings/sec, 3000 secs
lola: sara is running 3005 secs || 115627930 markings, 1525562421 edges, 8093 markings/sec, 3005 secs
lola: sara is running 3010 secs || 115657855 markings, 1527665680 edges, 5985 markings/sec, 3010 secs
lola: sara is running 3015 secs || 115685253 markings, 1529827615 edges, 5480 markings/sec, 3015 secs
lola: sara is running 3020 secs || 115710975 markings, 1532033422 edges, 5144 markings/sec, 3020 secs
lola: sara is running 3025 secs || 115735941 markings, 1534262169 edges, 4993 markings/sec, 3025 secs
lola: sara is running 3030 secs || 115759964 markings, 1536542876 edges, 4805 markings/sec, 3030 secs
lola: sara is running 3035 secs || 115783652 markings, 1538850663 edges, 4738 markings/sec, 3035 secs
lola: sara is running 3040 secs || 115807044 markings, 1541182865 edges, 4678 markings/sec, 3040 secs
lola: sara is running 3045 secs || 115830153 markings, 1543551751 edges, 4622 markings/sec, 3045 secs
lola: sara is running 3050 secs || 115853039 markings, 1545932217 edges, 4577 markings/sec, 3050 secs
lola: sara is running 3055 secs || 115876033 markings, 1548351879 edges, 4599 markings/sec, 3055 secs
lola: sara is running 3060 secs || 115898307 markings, 1550785633 edges, 4455 markings/sec, 3060 secs
lola: sara is running 3065 secs || 115920637 markings, 1553242455 edges, 4466 markings/sec, 3065 secs
lola: sara is running 3070 secs || 115942532 markings, 1555709286 edges, 4379 markings/sec, 3070 secs
lola: sara is running 3075 secs || 115965048 markings, 1558189806 edges, 4503 markings/sec, 3075 secs
lola: sara is running 3080 secs || 115986990 markings, 1560701417 edges, 4388 markings/sec, 3080 secs
lola: sara is running 3085 secs || 116008477 markings, 1563211222 edges, 4297 markings/sec, 3085 secs
lola: sara is running 3090 secs || 116029721 markings, 1565712364 edges, 4249 markings/sec, 3090 secs
lola: sara is running 3095 secs || 116051438 markings, 1568244858 edges, 4343 markings/sec, 3095 secs
lola: sara is running 3100 secs || 116072688 markings, 1570777905 edges, 4250 markings/sec, 3100 secs
lola: sara is running 3105 secs || 116093763 markings, 1573323172 edges, 4215 markings/sec, 3105 secs
lola: sara is running 3110 secs || 116114653 markings, 1575877091 edges, 4178 markings/sec, 3110 secs
lola: sara is running 3115 secs || 116135600 markings, 1578445553 edges, 4189 markings/sec, 3115 secs
lola: sara is running 3120 secs || 116156571 markings, 1581002940 edges, 4194 markings/sec, 3120 secs
lola: sara is running 3125 secs || 116176942 markings, 1583581259 edges, 4074 markings/sec, 3125 secs
lola: sara is running 3130 secs || 116196778 markings, 1586123434 edges, 3967 markings/sec, 3130 secs
lola: sara is running 3135 secs || 116216812 markings, 1588697010 edges, 4007 markings/sec, 3135 secs
lola: sara is running 3140 secs || 116236962 markings, 1591297019 edges, 4030 markings/sec, 3140 secs
lola: sara is running 3145 secs || 116256743 markings, 1593887143 edges, 3956 markings/sec, 3145 secs
lola: sara is running 3150 secs || 116277205 markings, 1596566063 edges, 4092 markings/sec, 3150 secs
lola: sara is running 3155 secs || 116297266 markings, 1599256675 edges, 4012 markings/sec, 3155 secs
lola: sara is running 3160 secs || 116316585 markings, 1601863589 edges, 3864 markings/sec, 3160 secs
lola: sara is running 3165 secs || 116336698 markings, 1604553331 edges, 4023 markings/sec, 3165 secs
lola: sara is running 3170 secs || 116355884 markings, 1607224712 edges, 3837 markings/sec, 3170 secs
lola: sara is running 3175 secs || 116375568 markings, 1609967030 edges, 3937 markings/sec, 3175 secs
lola: sara is running 3180 secs || 116395430 markings, 1612769448 edges, 3972 markings/sec, 3180 secs
lola: sara is running 3185 secs || 116415572 markings, 1615674375 edges, 4028 markings/sec, 3185 secs
lola: sara is running 3190 secs || 116434557 markings, 1618497398 edges, 3797 markings/sec, 3190 secs
lola: sara is running 3195 secs || 116453970 markings, 1621324693 edges, 3883 markings/sec, 3195 secs
lola: sara is running 3200 secs || 116473102 markings, 1624184642 edges, 3826 markings/sec, 3200 secs
lola: sara is running 3205 secs || 116654383 markings, 1626303348 edges, 36256 markings/sec, 3205 secs
lola: sara is running 3210 secs || 117066036 markings, 1627718761 edges, 82331 markings/sec, 3210 secs
lola: sara is running 3215 secs || 117469499 markings, 1629129970 edges, 80693 markings/sec, 3215 secs
lola: sara is running 3220 secs || 117889772 markings, 1630602319 edges, 84055 markings/sec, 3220 secs
lola: sara is running 3225 secs || 118308525 markings, 1632086604 edges, 83751 markings/sec, 3225 secs
lola: sara is running 3230 secs || 118725801 markings, 1633559344 edges, 83455 markings/sec, 3230 secs
lola: sara is running 3235 secs || 119142440 markings, 1635048267 edges, 83328 markings/sec, 3235 secs
lola: sara is running 3240 secs || 119579073 markings, 1636588347 edges, 87327 markings/sec, 3240 secs
lola: sara is running 3245 secs || 119993123 markings, 1638078751 edges, 82810 markings/sec, 3245 secs
lola: sara is running 3250 secs || 120404096 markings, 1639567213 edges, 82195 markings/sec, 3250 secs
lola: sara is running 3255 secs || 120846736 markings, 1641131602 edges, 88528 markings/sec, 3255 secs
lola: sara is running 3260 secs || 121291439 markings, 1642726752 edges, 88941 markings/sec, 3260 secs
lola: sara is running 3265 secs || 121728371 markings, 1644309689 edges, 87386 markings/sec, 3265 secs
lola: sara is running 3270 secs || 122204771 markings, 1645987813 edges, 95280 markings/sec, 3270 secs
lola: sara is running 3275 secs || 122631994 markings, 1647552158 edges, 85445 markings/sec, 3275 secs
lola: sara is running 3280 secs || 123066402 markings, 1649130234 edges, 86882 markings/sec, 3280 secs
lola: sara is running 3285 secs || 123495479 markings, 1650699721 edges, 85815 markings/sec, 3285 secs
lola: sara is running 3290 secs || 123932738 markings, 1652288614 edges, 87452 markings/sec, 3290 secs
lola: sara is running 3295 secs || 124362771 markings, 1653862494 edges, 86007 markings/sec, 3295 secs
lola: sara is running 3300 secs || 124800086 markings, 1655452637 edges, 87463 markings/sec, 3300 secs
lola: sara is running 3305 secs || 125229823 markings, 1657024417 edges, 85947 markings/sec, 3305 secs
lola: sara is running 3310 secs || 125651724 markings, 1658577931 edges, 84380 markings/sec, 3310 secs
lola: sara is running 3315 secs || 126082208 markings, 1660153628 edges, 86097 markings/sec, 3315 secs
lola: sara is running 3320 secs || 126519679 markings, 1661738018 edges, 87494 markings/sec, 3320 secs
lola: sara is running 3325 secs || 126936598 markings, 1663279842 edges, 83384 markings/sec, 3325 secs
lola: sara is running 3330 secs || 127358416 markings, 1664835213 edges, 84364 markings/sec, 3330 secs
lola: sara is running 3335 secs || 127795136 markings, 1666425516 edges, 87344 markings/sec, 3335 secs
lola: sara is running 3340 secs || 128219049 markings, 1667985355 edges, 84783 markings/sec, 3340 secs
lola: sara is running 3345 secs || 128645765 markings, 1669553753 edges, 85343 markings/sec, 3345 secs
lola: sara is running 3350 secs || 129061912 markings, 1671102923 edges, 83229 markings/sec, 3350 secs
lola: sara is running 3355 secs || 129480080 markings, 1672656427 edges, 83634 markings/sec, 3355 secs
lola: sara is running 3360 secs || 129896763 markings, 1674207734 edges, 83337 markings/sec, 3360 secs
lola: sara is running 3365 secs || 130313008 markings, 1675758998 edges, 83249 markings/sec, 3365 secs
lola: sara is running 3370 secs || 130766202 markings, 1677385223 edges, 90639 markings/sec, 3370 secs
lola: sara is running 3375 secs || 131183175 markings, 1678936947 edges, 83395 markings/sec, 3375 secs
lola: sara is running 3380 secs || 131689945 markings, 1680671469 edges, 101354 markings/sec, 3380 secs
lola: sara is running 3385 secs || 132140894 markings, 1682276574 edges, 90190 markings/sec, 3385 secs
lola: sara is running 3390 secs || 132659689 markings, 1684016891 edges, 103759 markings/sec, 3390 secs
lola: sara is running 3395 secs || 133167635 markings, 1685752919 edges, 101589 markings/sec, 3395 secs
lola: sara is running 3400 secs || 133629737 markings, 1687396345 edges, 92420 markings/sec, 3400 secs
lola: sara is running 3405 secs || 134054498 markings, 1688951566 edges, 84952 markings/sec, 3405 secs
lola: sara is running 3410 secs || 134612819 markings, 1690839302 edges, 111664 markings/sec, 3410 secs
lola: sara is running 3415 secs || 135180162 markings, 1692760626 edges, 113469 markings/sec, 3415 secs
lola: sara is running 3420 secs || 135726170 markings, 1694666596 edges, 109202 markings/sec, 3420 secs
lola: sara is running 3425 secs || 136252857 markings, 1696539251 edges, 105337 markings/sec, 3425 secs
lola: sara is running 3430 secs || 136775716 markings, 1698420905 edges, 104572 markings/sec, 3430 secs
lola: sara is running 3435 secs || 137292575 markings, 1700293786 edges, 103372 markings/sec, 3435 secs
lola: sara is running 3440 secs || 137791501 markings, 1702121097 edges, 99785 markings/sec, 3440 secs
lola: sara is running 3445 secs || 138226437 markings, 1703711559 edges, 86987 markings/sec, 3445 secs
lola: sara is running 3450 secs || 138810796 markings, 1705680333 edges, 116872 markings/sec, 3450 secs
lola: sara is running 3455 secs || 139387418 markings, 1707633197 edges, 115324 markings/sec, 3455 secs
lola: sara is running 3460 secs || 139941502 markings, 1709567573 edges, 110817 markings/sec, 3460 secs
lola: sara is running 3465 secs || 140472902 markings, 1711459529 edges, 106280 markings/sec, 3465 secs
lola: sara is running 3470 secs || 141006284 markings, 1713361551 edges, 106676 markings/sec, 3470 secs
lola: sara is running 3475 secs || 141532013 markings, 1715257928 edges, 105146 markings/sec, 3475 secs
lola: sara is running 3480 secs || 142049120 markings, 1717143021 edges, 103421 markings/sec, 3480 secs
lola: sara is running 3485 secs || 142562076 markings, 1719024557 edges, 102591 markings/sec, 3485 secs
lola: sara is running 3490 secs || 143071455 markings, 1720906033 edges, 101876 markings/sec, 3490 secs
lola: sara is running 3495 secs || 143571403 markings, 1722772408 edges, 99990 markings/sec, 3495 secs
lola: sara is running 3500 secs || 144064209 markings, 1724629019 edges, 98561 markings/sec, 3500 secs
lola: sara is running 3505 secs || 144549898 markings, 1726474243 edges, 97138 markings/sec, 3505 secs
lola: sara is running 3510 secs || 145028556 markings, 1728317848 edges, 95732 markings/sec, 3510 secs
lola: sara is running 3515 secs || 145496719 markings, 1730144289 edges, 93633 markings/sec, 3515 secs
lola: sara is running 3520 secs || 145956453 markings, 1731972841 edges, 91947 markings/sec, 3520 secs
lola: sara is running 3525 secs || 146400167 markings, 1733806847 edges, 88743 markings/sec, 3525 secs
lola: sara is running 3530 secs || 146813790 markings, 1735679388 edges, 82725 markings/sec, 3530 secs
lola: time limit reached - aborting
lola:
preliminary result: no no yes yes yes yes no no yes no no yes no no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: no no yes yes yes yes no no yes no no yes no no yes unknown
FORMULA MultiwaySync-PT-none-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA MultiwaySync-PT-none-ReachabilityCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA MultiwaySync-PT-none-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA MultiwaySync-PT-none-ReachabilityCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA MultiwaySync-PT-none-ReachabilityCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA MultiwaySync-PT-none-ReachabilityCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA MultiwaySync-PT-none-ReachabilityCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA MultiwaySync-PT-none-ReachabilityCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA MultiwaySync-PT-none-ReachabilityCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA MultiwaySync-PT-none-ReachabilityCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA MultiwaySync-PT-none-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA MultiwaySync-PT-none-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA MultiwaySync-PT-none-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA MultiwaySync-PT-none-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA MultiwaySync-PT-none-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA MultiwaySync-PT-none-ReachabilityCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stdout -----
----- Finished 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="MultiwaySync-PT-none"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="mcc4mcc-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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