About the Execution of Irma.struct for MultiwaySync-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15416.430 | 3582213.00 | 7125427.00 | 315.00 | FFTTTTFFTFFTFFT? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.....................
/home/mcc/execution
total 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 irma4mcc-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 r115-csrt-152666473700201
=====================================================================
--------------------
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 1527151750484
BK_STOP 1527155332697
--------------------
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...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
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 @ 3539 seconds
----- Start make result stderr -----
----- Start make result stdout -----
lola: LoLA will run for 3539 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 235 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
sara: try reading problem file MultiwaySync-PT-none-ReachabilityCardinality-2.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: ========================================
lola: subprocess 4 will run for 294 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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality-5.sara
lola: subprocess 6 will run for 353 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: ========================================
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: 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: ========================================
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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: state equation: write sara problem file to MultiwaySync-PT-none-ReachabilityCardinality-14.sara
lola: 6 markings, 5 edges
lola: state equation: calling and running sara
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)
sara: try reading problem file MultiwaySync-PT-none-ReachabilityCardinality-14.sara.
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: place or transition ordering is non-deterministic
sara: warning, failure of lp_solve (at job 85)
lola: sara is running 0 secs || 643465 markings, 2132771 edges, 128693 markings/sec, 0 secs
lola: sara is running 5 secs || 1257434 markings, 4240976 edges, 122794 markings/sec, 5 secs
lola: sara is running 10 secs || 1842019 markings, 6296519 edges, 116917 markings/sec, 10 secs
lola: sara is running 15 secs || 2416073 markings, 8344759 edges, 114811 markings/sec, 15 secs
lola: sara is running 20 secs || 2983928 markings, 10391211 edges, 113571 markings/sec, 20 secs
lola: sara is running 25 secs || 3547997 markings, 12436111 edges, 112814 markings/sec, 25 secs
lola: sara is running 30 secs || 4096598 markings, 14444872 edges, 109720 markings/sec, 30 secs
lola: sara is running 35 secs || 4638609 markings, 16447854 edges, 108402 markings/sec, 35 secs
lola: sara is running 40 secs || 5203588 markings, 18554690 edges, 112996 markings/sec, 40 secs
lola: sara is running 45 secs || 5727220 markings, 20527692 edges, 104726 markings/sec, 45 secs
lola: sara is running 50 secs || 6245359 markings, 22499780 edges, 103628 markings/sec, 50 secs
lola: sara is running 55 secs || 6753598 markings, 24459444 edges, 101648 markings/sec, 55 secs
lola: sara is running 60 secs || 7256753 markings, 26431411 edges, 100631 markings/sec, 60 secs
lola: sara is running 65 secs || 7748704 markings, 28407956 edges, 98390 markings/sec, 65 secs
lola: sara is running 70 secs || 8261340 markings, 30588697 edges, 102527 markings/sec, 70 secs
lola: sara is running 75 secs || 8659758 markings, 33007473 edges, 79684 markings/sec, 75 secs
lola: sara is running 80 secs || 8726569 markings, 36450232 edges, 13362 markings/sec, 80 secs
lola: sara is running 85 secs || 8775230 markings, 40175158 edges, 9732 markings/sec, 85 secs
lola: sara is running 90 secs || 8818652 markings, 43944071 edges, 8684 markings/sec, 90 secs
lola: sara is running 95 secs || 8861640 markings, 47951204 edges, 8598 markings/sec, 95 secs
lola: sara is running 100 secs || 8899187 markings, 51643526 edges, 7509 markings/sec, 100 secs
lola: sara is running 105 secs || 8936782 markings, 55452685 edges, 7519 markings/sec, 105 secs
lola: sara is running 110 secs || 8973737 markings, 59295932 edges, 7391 markings/sec, 110 secs
lola: sara is running 115 secs || 9010559 markings, 63218814 edges, 7364 markings/sec, 115 secs
lola: sara is running 120 secs || 9045834 markings, 67122993 edges, 7055 markings/sec, 120 secs
lola: sara is running 125 secs || 9079689 markings, 70951380 edges, 6771 markings/sec, 125 secs
lola: sara is running 130 secs || 9113593 markings, 74793202 edges, 6781 markings/sec, 130 secs
lola: sara is running 135 secs || 9147061 markings, 78673185 edges, 6694 markings/sec, 135 secs
lola: sara is running 140 secs || 9180586 markings, 82587042 edges, 6705 markings/sec, 140 secs
lola: sara is running 145 secs || 9216289 markings, 86950635 edges, 7141 markings/sec, 145 secs
lola: sara is running 150 secs || 9252820 markings, 91392890 edges, 7306 markings/sec, 150 secs
lola: sara is running 155 secs || 9284873 markings, 95386083 edges, 6411 markings/sec, 155 secs
lola: sara is running 160 secs || 9317170 markings, 99420900 edges, 6459 markings/sec, 160 secs
lola: sara is running 165 secs || 9349526 markings, 103552573 edges, 6471 markings/sec, 165 secs
lola: sara is running 170 secs || 9382977 markings, 107943336 edges, 6690 markings/sec, 170 secs
lola: sara is running 175 secs || 9417832 markings, 112533474 edges, 6971 markings/sec, 175 secs
lola: sara is running 180 secs || 9449607 markings, 116798232 edges, 6355 markings/sec, 180 secs
lola: sara is running 185 secs || 9481773 markings, 121243081 edges, 6433 markings/sec, 185 secs
lola: sara is running 190 secs || 9515407 markings, 126155392 edges, 6727 markings/sec, 190 secs
lola: sara is running 195 secs || 9546224 markings, 130549653 edges, 6163 markings/sec, 195 secs
lola: sara is running 200 secs || 9735029 markings, 133960498 edges, 37761 markings/sec, 200 secs
lola: sara is running 205 secs || 10199649 markings, 135534547 edges, 92924 markings/sec, 205 secs
lola: sara is running 210 secs || 10684298 markings, 137149305 edges, 96930 markings/sec, 210 secs
lola: sara is running 215 secs || 11142907 markings, 138718826 edges, 91722 markings/sec, 215 secs
lola: sara is running 220 secs || 11651016 markings, 140500754 edges, 101622 markings/sec, 220 secs
lola: sara is running 225 secs || 12190304 markings, 142426079 edges, 107858 markings/sec, 225 secs
lola: sara is running 230 secs || 12729778 markings, 144354797 edges, 107895 markings/sec, 230 secs
lola: sara is running 235 secs || 13277603 markings, 146329745 edges, 109565 markings/sec, 235 secs
lola: sara is running 240 secs || 13789632 markings, 148199369 edges, 102406 markings/sec, 240 secs
lola: sara is running 245 secs || 14296639 markings, 150062127 edges, 101401 markings/sec, 245 secs
lola: sara is running 250 secs || 14799644 markings, 151928128 edges, 100601 markings/sec, 250 secs
lola: sara is running 255 secs || 15325583 markings, 153894469 edges, 105188 markings/sec, 255 secs
lola: sara is running 260 secs || 15855702 markings, 155895633 edges, 106024 markings/sec, 260 secs
lola: sara is running 265 secs || 16381049 markings, 157901167 edges, 105069 markings/sec, 265 secs
lola: sara is running 270 secs || 16865522 markings, 159773733 edges, 96895 markings/sec, 270 secs
lola: sara is running 275 secs || 17334333 markings, 161617239 edges, 93762 markings/sec, 275 secs
lola: sara is running 280 secs || 17831879 markings, 163629256 edges, 99509 markings/sec, 280 secs
lola: sara is running 285 secs || 18268510 markings, 165502267 edges, 87326 markings/sec, 285 secs
lola: sara is running 290 secs || 18646294 markings, 167628609 edges, 75557 markings/sec, 290 secs
lola: sara is running 295 secs || 18721495 markings, 171035795 edges, 15040 markings/sec, 295 secs
lola: sara is running 300 secs || 18764941 markings, 174289208 edges, 8689 markings/sec, 300 secs
lola: sara is running 305 secs || 18803696 markings, 177568821 edges, 7751 markings/sec, 305 secs
lola: sara is running 310 secs || 18842096 markings, 181071662 edges, 7680 markings/sec, 310 secs
lola: sara is running 315 secs || 18880688 markings, 184751047 edges, 7718 markings/sec, 315 secs
lola: sara is running 320 secs || 18916772 markings, 188364937 edges, 7217 markings/sec, 320 secs
lola: sara is running 325 secs || 18952808 markings, 192057479 edges, 7207 markings/sec, 325 secs
lola: sara is running 330 secs || 18987670 markings, 195738731 edges, 6972 markings/sec, 330 secs
lola: sara is running 335 secs || 19021623 markings, 199387926 edges, 6791 markings/sec, 335 secs
lola: sara is running 340 secs || 19052492 markings, 202815834 edges, 6174 markings/sec, 340 secs
lola: sara is running 345 secs || 19083031 markings, 206288491 edges, 6108 markings/sec, 345 secs
lola: sara is running 350 secs || 19113487 markings, 209748345 edges, 6091 markings/sec, 350 secs
lola: sara is running 355 secs || 19144747 markings, 213369474 edges, 6252 markings/sec, 355 secs
lola: sara is running 360 secs || 19177921 markings, 217229773 edges, 6635 markings/sec, 360 secs
lola: sara is running 365 secs || 19209754 markings, 221110566 edges, 6367 markings/sec, 365 secs
lola: sara is running 370 secs || 19242322 markings, 225066734 edges, 6514 markings/sec, 370 secs
lola: sara is running 375 secs || 19274829 markings, 229085237 edges, 6501 markings/sec, 375 secs
lola: sara is running 380 secs || 19306572 markings, 233084398 edges, 6349 markings/sec, 380 secs
lola: sara is running 385 secs || 19335789 markings, 236775735 edges, 5843 markings/sec, 385 secs
lola: sara is running 390 secs || 19364446 markings, 240472706 edges, 5731 markings/sec, 390 secs
lola: sara is running 395 secs || 19392477 markings, 244155357 edges, 5606 markings/sec, 395 secs
lola: sara is running 400 secs || 19420977 markings, 247909678 edges, 5700 markings/sec, 400 secs
lola: sara is running 405 secs || 19450154 markings, 251861051 edges, 5835 markings/sec, 405 secs
lola: sara is running 410 secs || 19478488 markings, 255754258 edges, 5667 markings/sec, 410 secs
lola: sara is running 415 secs || 19505872 markings, 259721466 edges, 5477 markings/sec, 415 secs
lola: sara is running 420 secs || 19533547 markings, 263745095 edges, 5535 markings/sec, 420 secs
lola: sara is running 425 secs || 19561060 markings, 267618404 edges, 5503 markings/sec, 425 secs
lola: sara is running 430 secs || 19932736 markings, 269528240 edges, 74335 markings/sec, 430 secs
lola: sara is running 435 secs || 20427527 markings, 271253065 edges, 98958 markings/sec, 435 secs
lola: sara is running 440 secs || 20913139 markings, 272993780 edges, 97122 markings/sec, 440 secs
lola: sara is running 445 secs || 21374900 markings, 274677565 edges, 92352 markings/sec, 445 secs
lola: sara is running 450 secs || 21827772 markings, 276357398 edges, 90574 markings/sec, 450 secs
lola: sara is running 455 secs || 22253868 markings, 277930356 edges, 85219 markings/sec, 455 secs
lola: sara is running 460 secs || 22678061 markings, 279511985 edges, 84839 markings/sec, 460 secs
lola: sara is running 465 secs || 23104816 markings, 281116918 edges, 85351 markings/sec, 465 secs
lola: sara is running 470 secs || 23623676 markings, 283080672 edges, 103772 markings/sec, 470 secs
lola: sara is running 475 secs || 24137203 markings, 285040110 edges, 102705 markings/sec, 475 secs
lola: sara is running 480 secs || 24644371 markings, 286994382 edges, 101434 markings/sec, 480 secs
lola: sara is running 485 secs || 25142166 markings, 288921745 edges, 99559 markings/sec, 485 secs
lola: sara is running 490 secs || 25636006 markings, 290856933 edges, 98768 markings/sec, 490 secs
lola: sara is running 495 secs || 26116126 markings, 292756981 edges, 96024 markings/sec, 495 secs
lola: sara is running 500 secs || 26584606 markings, 294634150 edges, 93696 markings/sec, 500 secs
lola: sara is running 505 secs || 27048484 markings, 296528146 edges, 92776 markings/sec, 505 secs
lola: sara is running 510 secs || 27498946 markings, 298425148 edges, 90092 markings/sec, 510 secs
lola: sara is running 515 secs || 27926651 markings, 300358409 edges, 85541 markings/sec, 515 secs
lola: sara is running 520 secs || 28232184 markings, 302608323 edges, 61107 markings/sec, 520 secs
lola: sara is running 525 secs || 28284673 markings, 305429484 edges, 10498 markings/sec, 525 secs
lola: sara is running 530 secs || 28323363 markings, 308324864 edges, 7738 markings/sec, 530 secs
lola: sara is running 535 secs || 28358826 markings, 311350235 edges, 7093 markings/sec, 535 secs
lola: sara is running 540 secs || 28391595 markings, 314349723 edges, 6554 markings/sec, 540 secs
lola: sara is running 545 secs || 28423342 markings, 317370741 edges, 6349 markings/sec, 545 secs
lola: sara is running 550 secs || 28454803 markings, 320512570 edges, 6292 markings/sec, 550 secs
lola: sara is running 555 secs || 28487369 markings, 323866051 edges, 6513 markings/sec, 555 secs
lola: sara is running 560 secs || 28518959 markings, 327188893 edges, 6318 markings/sec, 560 secs
lola: sara is running 565 secs || 28549123 markings, 330441008 edges, 6033 markings/sec, 565 secs
lola: sara is running 570 secs || 28581124 markings, 333925072 edges, 6400 markings/sec, 570 secs
lola: sara is running 575 secs || 28609605 markings, 337146334 edges, 5696 markings/sec, 575 secs
lola: sara is running 580 secs || 28637441 markings, 340368387 edges, 5567 markings/sec, 580 secs
lola: sara is running 585 secs || 28665388 markings, 343561870 edges, 5589 markings/sec, 585 secs
lola: sara is running 590 secs || 28693385 markings, 346865431 edges, 5599 markings/sec, 590 secs
lola: sara is running 595 secs || 28721120 markings, 350143209 edges, 5547 markings/sec, 595 secs
lola: sara is running 600 secs || 28748435 markings, 353428121 edges, 5463 markings/sec, 600 secs
lola: sara is running 605 secs || 28775583 markings, 356805503 edges, 5430 markings/sec, 605 secs
lola: sara is running 610 secs || 28805203 markings, 360459480 edges, 5924 markings/sec, 610 secs
lola: sara is running 615 secs || 28833900 markings, 364080202 edges, 5739 markings/sec, 615 secs
lola: sara is running 620 secs || 28861455 markings, 367582997 edges, 5511 markings/sec, 620 secs
lola: sara is running 625 secs || 28889904 markings, 371226545 edges, 5690 markings/sec, 625 secs
lola: sara is running 630 secs || 28916474 markings, 374711561 edges, 5314 markings/sec, 630 secs
lola: sara is running 635 secs || 28944072 markings, 378396882 edges, 5520 markings/sec, 635 secs
lola: sara is running 640 secs || 28972564 markings, 382188360 edges, 5698 markings/sec, 640 secs
lola: sara is running 645 secs || 28999517 markings, 385821392 edges, 5391 markings/sec, 645 secs
lola: sara is running 650 secs || 29025710 markings, 389477132 edges, 5239 markings/sec, 650 secs
lola: sara is running 655 secs || 29052826 markings, 393328766 edges, 5423 markings/sec, 655 secs
lola: sara is running 660 secs || 29078050 markings, 397081195 edges, 5045 markings/sec, 660 secs
lola: sara is running 665 secs || 29106256 markings, 401195301 edges, 5641 markings/sec, 665 secs
lola: sara is running 670 secs || 29217695 markings, 405139983 edges, 22288 markings/sec, 670 secs
lola: sara is running 675 secs || 29725789 markings, 406852600 edges, 101619 markings/sec, 675 secs
lola: sara is running 680 secs || 30268979 markings, 408684599 edges, 108638 markings/sec, 680 secs
lola: sara is running 685 secs || 30766238 markings, 410410741 edges, 99452 markings/sec, 685 secs
lola: sara is running 690 secs || 31217589 markings, 412004545 edges, 90270 markings/sec, 690 secs
lola: sara is running 695 secs || 31662722 markings, 413593795 edges, 89027 markings/sec, 695 secs
lola: sara is running 700 secs || 32172033 markings, 415420444 edges, 101862 markings/sec, 700 secs
lola: sara is running 705 secs || 32662289 markings, 417190873 edges, 98051 markings/sec, 705 secs
lola: sara is running 710 secs || 33188935 markings, 419115894 edges, 105329 markings/sec, 710 secs
lola: sara is running 715 secs || 33716094 markings, 421054940 edges, 105432 markings/sec, 715 secs
lola: sara is running 720 secs || 34246657 markings, 423028408 edges, 106113 markings/sec, 720 secs
lola: sara is running 725 secs || 34750731 markings, 424913882 edges, 100815 markings/sec, 725 secs
lola: sara is running 730 secs || 35275446 markings, 426895564 edges, 104943 markings/sec, 730 secs
lola: sara is running 735 secs || 35799587 markings, 428901770 edges, 104828 markings/sec, 735 secs
lola: sara is running 740 secs || 36306651 markings, 430865794 edges, 101413 markings/sec, 740 secs
lola: sara is running 745 secs || 36798309 markings, 432809981 edges, 98332 markings/sec, 745 secs
lola: sara is running 750 secs || 37300211 markings, 434862120 edges, 100380 markings/sec, 750 secs
lola: sara is running 755 secs || 37743224 markings, 436825558 edges, 88603 markings/sec, 755 secs
lola: sara is running 760 secs || 38023823 markings, 439276741 edges, 56120 markings/sec, 760 secs
lola: sara is running 765 secs || 38078250 markings, 442513651 edges, 10885 markings/sec, 765 secs
lola: sara is running 770 secs || 38121864 markings, 445888298 edges, 8723 markings/sec, 770 secs
lola: sara is running 775 secs || 38163633 markings, 449512028 edges, 8354 markings/sec, 775 secs
lola: sara is running 780 secs || 38203061 markings, 453179311 edges, 7886 markings/sec, 780 secs
lola: sara is running 785 secs || 38240947 markings, 456890059 edges, 7577 markings/sec, 785 secs
lola: sara is running 790 secs || 38277602 markings, 460587944 edges, 7331 markings/sec, 790 secs
lola: sara is running 795 secs || 38313085 markings, 464271197 edges, 7097 markings/sec, 795 secs
lola: sara is running 800 secs || 38347287 markings, 467889418 edges, 6840 markings/sec, 800 secs
lola: sara is running 805 secs || 38380192 markings, 471500880 edges, 6581 markings/sec, 805 secs
lola: sara is running 810 secs || 38412548 markings, 475137687 edges, 6471 markings/sec, 810 secs
lola: sara is running 815 secs || 38447538 markings, 479083022 edges, 6998 markings/sec, 815 secs
lola: sara is running 820 secs || 38480417 markings, 482871709 edges, 6576 markings/sec, 820 secs
lola: sara is running 825 secs || 38511888 markings, 486560053 edges, 6294 markings/sec, 825 secs
lola: sara is running 830 secs || 38543481 markings, 490321181 edges, 6319 markings/sec, 830 secs
lola: sara is running 835 secs || 38574346 markings, 494101956 edges, 6173 markings/sec, 835 secs
lola: sara is running 840 secs || 38605351 markings, 497882850 edges, 6201 markings/sec, 840 secs
lola: sara is running 845 secs || 38636687 markings, 501778827 edges, 6267 markings/sec, 845 secs
lola: sara is running 850 secs || 38670714 markings, 506053893 edges, 6805 markings/sec, 850 secs
lola: sara is running 855 secs || 38702098 markings, 510104178 edges, 6277 markings/sec, 855 secs
lola: sara is running 860 secs || 38732622 markings, 514110945 edges, 6105 markings/sec, 860 secs
lola: sara is running 865 secs || 38762008 markings, 517981909 edges, 5877 markings/sec, 865 secs
lola: sara is running 870 secs || 38791962 markings, 521993575 edges, 5991 markings/sec, 870 secs
lola: sara is running 875 secs || 38823332 markings, 526305584 edges, 6274 markings/sec, 875 secs
lola: sara is running 880 secs || 38854177 markings, 530766916 edges, 6169 markings/sec, 880 secs
lola: sara is running 885 secs || 38882896 markings, 534925790 edges, 5744 markings/sec, 885 secs
lola: sara is running 890 secs || 38911681 markings, 538991716 edges, 5757 markings/sec, 890 secs
lola: sara is running 895 secs || 39349833 markings, 540461366 edges, 87630 markings/sec, 895 secs
lola: sara is running 900 secs || 39795621 markings, 541945268 edges, 89158 markings/sec, 900 secs
lola: sara is running 905 secs || 40243259 markings, 543467349 edges, 89528 markings/sec, 905 secs
lola: sara is running 910 secs || 40705549 markings, 545077995 edges, 92458 markings/sec, 910 secs
lola: sara is running 915 secs || 41185878 markings, 546785246 edges, 96066 markings/sec, 915 secs
lola: sara is running 920 secs || 41674527 markings, 548523609 edges, 97730 markings/sec, 920 secs
lola: sara is running 925 secs || 42159641 markings, 550273856 edges, 97023 markings/sec, 925 secs
lola: sara is running 930 secs || 42669563 markings, 552119361 edges, 101984 markings/sec, 930 secs
lola: sara is running 935 secs || 43202297 markings, 554071492 edges, 106547 markings/sec, 935 secs
lola: sara is running 940 secs || 43710414 markings, 555945736 edges, 101623 markings/sec, 940 secs
lola: sara is running 945 secs || 44191749 markings, 557738391 edges, 96267 markings/sec, 945 secs
lola: sara is running 950 secs || 44676419 markings, 559552453 edges, 96934 markings/sec, 950 secs
lola: sara is running 955 secs || 45170049 markings, 561421480 edges, 98726 markings/sec, 955 secs
lola: sara is running 960 secs || 45635507 markings, 563202878 edges, 93092 markings/sec, 960 secs
lola: sara is running 965 secs || 46092151 markings, 564970205 edges, 91329 markings/sec, 965 secs
lola: sara is running 970 secs || 46557682 markings, 566802701 edges, 93106 markings/sec, 970 secs
lola: sara is running 975 secs || 47039873 markings, 568756070 edges, 96438 markings/sec, 975 secs
lola: sara is running 980 secs || 47499101 markings, 570739036 edges, 91846 markings/sec, 980 secs
lola: sara is running 985 secs || 47859256 markings, 573087175 edges, 72031 markings/sec, 985 secs
lola: sara is running 990 secs || 47918692 markings, 576185081 edges, 11887 markings/sec, 990 secs
lola: sara is running 995 secs || 47958356 markings, 579147698 edges, 7933 markings/sec, 995 secs
lola: sara is running 1000 secs || 47994553 markings, 582183140 edges, 7239 markings/sec, 1000 secs
lola: sara is running 1005 secs || 48028791 markings, 585271766 edges, 6848 markings/sec, 1005 secs
lola: sara is running 1010 secs || 48062185 markings, 588403695 edges, 6679 markings/sec, 1010 secs
lola: sara is running 1015 secs || 48094190 markings, 591565136 edges, 6401 markings/sec, 1015 secs
lola: sara is running 1020 secs || 48127901 markings, 594973278 edges, 6742 markings/sec, 1020 secs
lola: sara is running 1025 secs || 48160881 markings, 598396684 edges, 6596 markings/sec, 1025 secs
lola: sara is running 1030 secs || 48192178 markings, 601711884 edges, 6259 markings/sec, 1030 secs
lola: sara is running 1035 secs || 48222072 markings, 604962618 edges, 5979 markings/sec, 1035 secs
lola: sara is running 1040 secs || 48251608 markings, 608239869 edges, 5907 markings/sec, 1040 secs
lola: sara is running 1045 secs || 48282727 markings, 611758040 edges, 6224 markings/sec, 1045 secs
lola: sara is running 1050 secs || 48313918 markings, 615341178 edges, 6238 markings/sec, 1050 secs
lola: sara is running 1055 secs || 48345378 markings, 618954976 edges, 6292 markings/sec, 1055 secs
lola: sara is running 1060 secs || 48376275 markings, 622582769 edges, 6179 markings/sec, 1060 secs
lola: sara is running 1065 secs || 48406229 markings, 626227766 edges, 5991 markings/sec, 1065 secs
lola: sara is running 1070 secs || 48436118 markings, 629850798 edges, 5978 markings/sec, 1070 secs
lola: sara is running 1075 secs || 48465405 markings, 633466798 edges, 5857 markings/sec, 1075 secs
lola: sara is running 1080 secs || 48493869 markings, 637041526 edges, 5693 markings/sec, 1080 secs
lola: sara is running 1085 secs || 48523373 markings, 640744052 edges, 5901 markings/sec, 1085 secs
lola: sara is running 1090 secs || 48550725 markings, 644282339 edges, 5470 markings/sec, 1090 secs
lola: sara is running 1095 secs || 48577208 markings, 647754832 edges, 5297 markings/sec, 1095 secs
lola: sara is running 1100 secs || 48604261 markings, 651286992 edges, 5411 markings/sec, 1100 secs
lola: sara is running 1105 secs || 48632738 markings, 655068177 edges, 5695 markings/sec, 1105 secs
lola: sara is running 1110 secs || 48659243 markings, 658696427 edges, 5301 markings/sec, 1110 secs
lola: sara is running 1115 secs || 48685463 markings, 662363770 edges, 5244 markings/sec, 1115 secs
lola: sara is running 1120 secs || 48712364 markings, 666337536 edges, 5380 markings/sec, 1120 secs
lola: sara is running 1125 secs || 48739241 markings, 670155714 edges, 5375 markings/sec, 1125 secs
lola: sara is running 1130 secs || 48803085 markings, 673484461 edges, 12769 markings/sec, 1130 secs
lola: sara is running 1135 secs || 49216232 markings, 674906799 edges, 82629 markings/sec, 1135 secs
lola: sara is running 1140 secs || 49635490 markings, 676373636 edges, 83852 markings/sec, 1140 secs
lola: sara is running 1145 secs || 50046903 markings, 677848119 edges, 82283 markings/sec, 1145 secs
lola: sara is running 1150 secs || 50450994 markings, 679315829 edges, 80818 markings/sec, 1150 secs
lola: sara is running 1155 secs || 50848957 markings, 680786867 edges, 79593 markings/sec, 1155 secs
lola: sara is running 1160 secs || 51253911 markings, 682276757 edges, 80991 markings/sec, 1160 secs
lola: sara is running 1165 secs || 51654961 markings, 683771941 edges, 80210 markings/sec, 1165 secs
lola: sara is running 1170 secs || 52081259 markings, 685364422 edges, 85260 markings/sec, 1170 secs
lola: sara is running 1175 secs || 52523712 markings, 687037319 edges, 88491 markings/sec, 1175 secs
lola: sara is running 1180 secs || 52980591 markings, 688771361 edges, 91376 markings/sec, 1180 secs
lola: sara is running 1185 secs || 53430310 markings, 690486476 edges, 89944 markings/sec, 1185 secs
lola: sara is running 1190 secs || 53869776 markings, 692184470 edges, 87893 markings/sec, 1190 secs
lola: sara is running 1195 secs || 54326583 markings, 693953699 edges, 91361 markings/sec, 1195 secs
lola: sara is running 1200 secs || 54777418 markings, 695718874 edges, 90167 markings/sec, 1200 secs
lola: sara is running 1205 secs || 55240294 markings, 697548622 edges, 92575 markings/sec, 1205 secs
lola: sara is running 1210 secs || 55665479 markings, 699247614 edges, 85037 markings/sec, 1210 secs
lola: sara is running 1215 secs || 56091426 markings, 700975856 edges, 85189 markings/sec, 1215 secs
lola: sara is running 1220 secs || 56510347 markings, 702715051 edges, 83784 markings/sec, 1220 secs
lola: sara is running 1225 secs || 56920734 markings, 704495970 edges, 82077 markings/sec, 1225 secs
lola: sara is running 1230 secs || 57305403 markings, 706415320 edges, 76934 markings/sec, 1230 secs
lola: sara is running 1235 secs || 57459243 markings, 709146645 edges, 30768 markings/sec, 1235 secs
lola: sara is running 1240 secs || 57502574 markings, 712086136 edges, 8666 markings/sec, 1240 secs
lola: sara is running 1245 secs || 57539460 markings, 715081544 edges, 7377 markings/sec, 1245 secs
lola: sara is running 1250 secs || 57574976 markings, 718242245 edges, 7103 markings/sec, 1250 secs
lola: sara is running 1255 secs || 57606608 markings, 721224587 edges, 6326 markings/sec, 1255 secs
lola: sara is running 1260 secs || 57638784 markings, 724363719 edges, 6435 markings/sec, 1260 secs
lola: sara is running 1265 secs || 57671213 markings, 727661006 edges, 6486 markings/sec, 1265 secs
lola: sara is running 1270 secs || 57703077 markings, 730989335 edges, 6373 markings/sec, 1270 secs
lola: sara is running 1275 secs || 57734267 markings, 734322070 edges, 6238 markings/sec, 1275 secs
lola: sara is running 1280 secs || 57764693 markings, 737641185 edges, 6085 markings/sec, 1280 secs
lola: sara is running 1285 secs || 57793851 markings, 740893253 edges, 5832 markings/sec, 1285 secs
lola: sara is running 1290 secs || 57823339 markings, 744261098 edges, 5898 markings/sec, 1290 secs
lola: sara is running 1295 secs || 57852654 markings, 747629043 edges, 5863 markings/sec, 1295 secs
lola: sara is running 1300 secs || 57882536 markings, 751129720 edges, 5976 markings/sec, 1300 secs
lola: sara is running 1305 secs || 57911779 markings, 754570612 edges, 5849 markings/sec, 1305 secs
lola: sara is running 1310 secs || 57940759 markings, 758037727 edges, 5796 markings/sec, 1310 secs
lola: sara is running 1315 secs || 57968506 markings, 761499276 edges, 5549 markings/sec, 1315 secs
lola: sara is running 1320 secs || 57994641 markings, 764714181 edges, 5227 markings/sec, 1320 secs
lola: sara is running 1325 secs || 58021587 markings, 768095162 edges, 5389 markings/sec, 1325 secs
lola: sara is running 1330 secs || 58049168 markings, 771612410 edges, 5516 markings/sec, 1330 secs
lola: sara is running 1335 secs || 58076667 markings, 775109425 edges, 5500 markings/sec, 1335 secs
lola: sara is running 1340 secs || 58104176 markings, 778655686 edges, 5502 markings/sec, 1340 secs
lola: sara is running 1345 secs || 58130708 markings, 782203624 edges, 5306 markings/sec, 1345 secs
lola: sara is running 1350 secs || 58156805 markings, 785680634 edges, 5219 markings/sec, 1350 secs
lola: sara is running 1355 secs || 58182940 markings, 789192548 edges, 5227 markings/sec, 1355 secs
lola: sara is running 1360 secs || 58208778 markings, 792743747 edges, 5168 markings/sec, 1360 secs
lola: sara is running 1365 secs || 58235439 markings, 796472662 edges, 5332 markings/sec, 1365 secs
lola: sara is running 1370 secs || 58260811 markings, 800154070 edges, 5074 markings/sec, 1370 secs
lola: sara is running 1375 secs || 58285344 markings, 803752257 edges, 4907 markings/sec, 1375 secs
lola: sara is running 1380 secs || 58311569 markings, 807636127 edges, 5245 markings/sec, 1380 secs
lola: sara is running 1385 secs || 58552537 markings, 810743946 edges, 48194 markings/sec, 1385 secs
lola: sara is running 1390 secs || 59040175 markings, 812381262 edges, 97528 markings/sec, 1390 secs
lola: sara is running 1395 secs || 59550653 markings, 814102795 edges, 102096 markings/sec, 1395 secs
lola: sara is running 1400 secs || 60094953 markings, 815991164 edges, 108860 markings/sec, 1400 secs
lola: sara is running 1405 secs || 60547627 markings, 817594250 edges, 90535 markings/sec, 1405 secs
lola: sara is running 1410 secs || 61040578 markings, 819352601 edges, 98590 markings/sec, 1410 secs
lola: sara is running 1415 secs || 61548342 markings, 821178773 edges, 101553 markings/sec, 1415 secs
lola: sara is running 1420 secs || 62083314 markings, 823115245 edges, 106994 markings/sec, 1420 secs
lola: sara is running 1425 secs || 62628504 markings, 825111142 edges, 109038 markings/sec, 1425 secs
lola: sara is running 1430 secs || 63150174 markings, 827035168 edges, 104334 markings/sec, 1430 secs
lola: sara is running 1435 secs || 63671700 markings, 828977574 edges, 104305 markings/sec, 1435 secs
lola: sara is running 1440 secs || 64210455 markings, 830996409 edges, 107751 markings/sec, 1440 secs
lola: sara is running 1445 secs || 64713636 markings, 832906901 edges, 100636 markings/sec, 1445 secs
lola: sara is running 1450 secs || 65209018 markings, 834807575 edges, 99076 markings/sec, 1450 secs
lola: sara is running 1455 secs || 65725567 markings, 836818394 edges, 103310 markings/sec, 1455 secs
lola: sara is running 1460 secs || 66198690 markings, 838698277 edges, 94625 markings/sec, 1460 secs
lola: sara is running 1465 secs || 66646300 markings, 840544187 edges, 89522 markings/sec, 1465 secs
lola: sara is running 1470 secs || 67073088 markings, 842465051 edges, 85358 markings/sec, 1470 secs
lola: sara is running 1475 secs || 67323809 markings, 845039278 edges, 50144 markings/sec, 1475 secs
lola: sara is running 1480 secs || 67375580 markings, 848242700 edges, 10354 markings/sec, 1480 secs
lola: sara is running 1485 secs || 67417020 markings, 851497904 edges, 8288 markings/sec, 1485 secs
lola: sara is running 1490 secs || 67455087 markings, 854814725 edges, 7613 markings/sec, 1490 secs
lola: sara is running 1495 secs || 67491486 markings, 858175748 edges, 7280 markings/sec, 1495 secs
lola: sara is running 1500 secs || 67526843 markings, 861598160 edges, 7071 markings/sec, 1500 secs
lola: sara is running 1505 secs || 67560893 markings, 865027530 edges, 6810 markings/sec, 1505 secs
lola: sara is running 1510 secs || 67594599 markings, 868497784 edges, 6741 markings/sec, 1510 secs
lola: sara is running 1515 secs || 67628435 markings, 872070867 edges, 6767 markings/sec, 1515 secs
lola: sara is running 1520 secs || 67664741 markings, 875982140 edges, 7261 markings/sec, 1520 secs
lola: sara is running 1525 secs || 67698493 markings, 879757569 edges, 6750 markings/sec, 1525 secs
lola: sara is running 1530 secs || 67730706 markings, 883375995 edges, 6443 markings/sec, 1530 secs
lola: sara is running 1535 secs || 67762995 markings, 887069547 edges, 6458 markings/sec, 1535 secs
lola: sara is running 1540 secs || 67796138 markings, 890921127 edges, 6629 markings/sec, 1540 secs
lola: sara is running 1545 secs || 67828527 markings, 894753556 edges, 6478 markings/sec, 1545 secs
lola: sara is running 1550 secs || 67858780 markings, 898458483 edges, 6051 markings/sec, 1550 secs
lola: sara is running 1555 secs || 67889466 markings, 902182921 edges, 6137 markings/sec, 1555 secs
lola: sara is running 1560 secs || 67922378 markings, 906277118 edges, 6582 markings/sec, 1560 secs
lola: sara is running 1565 secs || 67953233 markings, 910134625 edges, 6171 markings/sec, 1565 secs
lola: sara is running 1570 secs || 67983258 markings, 913929741 edges, 6005 markings/sec, 1570 secs
lola: sara is running 1575 secs || 68013855 markings, 917938004 edges, 6119 markings/sec, 1575 secs
lola: sara is running 1580 secs || 68044793 markings, 921999828 edges, 6188 markings/sec, 1580 secs
lola: sara is running 1585 secs || 68074189 markings, 925871695 edges, 5879 markings/sec, 1585 secs
lola: sara is running 1590 secs || 68103280 markings, 929851630 edges, 5818 markings/sec, 1590 secs
lola: sara is running 1595 secs || 68131718 markings, 933837834 edges, 5688 markings/sec, 1595 secs
lola: sara is running 1600 secs || 68159968 markings, 937940864 edges, 5650 markings/sec, 1600 secs
lola: sara is running 1605 secs || 68191327 markings, 942498169 edges, 6272 markings/sec, 1605 secs
lola: sara is running 1610 secs || 68489945 markings, 945416650 edges, 59724 markings/sec, 1610 secs
lola: sara is running 1615 secs || 68944525 markings, 946918022 edges, 90916 markings/sec, 1615 secs
lola: sara is running 1620 secs || 69391102 markings, 948425674 edges, 89315 markings/sec, 1620 secs
lola: sara is running 1625 secs || 69822880 markings, 949918730 edges, 86356 markings/sec, 1625 secs
lola: sara is running 1630 secs || 70246002 markings, 951406221 edges, 84624 markings/sec, 1630 secs
lola: sara is running 1635 secs || 70658924 markings, 952887104 edges, 82584 markings/sec, 1635 secs
lola: sara is running 1640 secs || 71123601 markings, 954543363 edges, 92935 markings/sec, 1640 secs
lola: sara is running 1645 secs || 71595788 markings, 956246093 edges, 94437 markings/sec, 1645 secs
lola: sara is running 1650 secs || 72102482 markings, 958090561 edges, 101339 markings/sec, 1650 secs
lola: sara is running 1655 secs || 72607496 markings, 959940596 edges, 101003 markings/sec, 1655 secs
lola: sara is running 1660 secs || 73092394 markings, 961730354 edges, 96980 markings/sec, 1660 secs
lola: sara is running 1665 secs || 73568519 markings, 963508137 edges, 95225 markings/sec, 1665 secs
lola: sara is running 1670 secs || 74059247 markings, 965347169 edges, 98146 markings/sec, 1670 secs
lola: sara is running 1675 secs || 74561176 markings, 967252738 edges, 100386 markings/sec, 1675 secs
lola: sara is running 1680 secs || 75022261 markings, 969020285 edges, 92217 markings/sec, 1680 secs
lola: sara is running 1685 secs || 75473279 markings, 970770790 edges, 90204 markings/sec, 1685 secs
lola: sara is running 1690 secs || 75917146 markings, 972525377 edges, 88773 markings/sec, 1690 secs
lola: sara is running 1695 secs || 76370946 markings, 974371185 edges, 90760 markings/sec, 1695 secs
lola: sara is running 1700 secs || 76818448 markings, 976316478 edges, 89500 markings/sec, 1700 secs
lola: sara is running 1705 secs || 77158652 markings, 978745362 edges, 68041 markings/sec, 1705 secs
lola: sara is running 1710 secs || 77214831 markings, 981833585 edges, 11236 markings/sec, 1710 secs
lola: sara is running 1715 secs || 77254269 markings, 984804001 edges, 7888 markings/sec, 1715 secs
lola: sara is running 1720 secs || 77290512 markings, 987879599 edges, 7249 markings/sec, 1720 secs
lola: sara is running 1725 secs || 77324759 markings, 990960368 edges, 6849 markings/sec, 1725 secs
lola: sara is running 1730 secs || 77357493 markings, 994048846 edges, 6547 markings/sec, 1730 secs
lola: sara is running 1735 secs || 77388973 markings, 997156403 edges, 6296 markings/sec, 1735 secs
lola: sara is running 1740 secs || 77419757 markings, 1000280284 edges, 6157 markings/sec, 1740 secs
lola: sara is running 1745 secs || 77450412 markings, 1003453325 edges, 6131 markings/sec, 1745 secs
lola: sara is running 1750 secs || 77481368 markings, 1006731514 edges, 6191 markings/sec, 1750 secs
lola: sara is running 1755 secs || 77513340 markings, 1010170124 edges, 6394 markings/sec, 1755 secs
lola: sara is running 1760 secs || 77544049 markings, 1013587613 edges, 6142 markings/sec, 1760 secs
lola: sara is running 1765 secs || 77573103 markings, 1016878195 edges, 5811 markings/sec, 1765 secs
lola: sara is running 1770 secs || 77602159 markings, 1020176849 edges, 5811 markings/sec, 1770 secs
lola: sara is running 1775 secs || 77633804 markings, 1023832762 edges, 6329 markings/sec, 1775 secs
lola: sara is running 1780 secs || 77666077 markings, 1027598862 edges, 6455 markings/sec, 1780 secs
lola: sara is running 1785 secs || 77695293 markings, 1031157489 edges, 5843 markings/sec, 1785 secs
lola: sara is running 1790 secs || 77724899 markings, 1034738215 edges, 5921 markings/sec, 1790 secs
lola: sara is running 1795 secs || 77753933 markings, 1038336133 edges, 5807 markings/sec, 1795 secs
lola: sara is running 1800 secs || 77782355 markings, 1041845453 edges, 5684 markings/sec, 1800 secs
lola: sara is running 1805 secs || 77809283 markings, 1045252039 edges, 5386 markings/sec, 1805 secs
lola: sara is running 1810 secs || 77837358 markings, 1048812598 edges, 5615 markings/sec, 1810 secs
lola: sara is running 1815 secs || 77864424 markings, 1052368149 edges, 5413 markings/sec, 1815 secs
lola: sara is running 1820 secs || 77891194 markings, 1055869502 edges, 5354 markings/sec, 1820 secs
lola: sara is running 1825 secs || 77919112 markings, 1059516399 edges, 5584 markings/sec, 1825 secs
lola: sara is running 1830 secs || 77945801 markings, 1063204809 edges, 5338 markings/sec, 1830 secs
lola: sara is running 1835 secs || 77972492 markings, 1066890134 edges, 5338 markings/sec, 1835 secs
lola: sara is running 1840 secs || 77999806 markings, 1070848184 edges, 5463 markings/sec, 1840 secs
lola: sara is running 1845 secs || 78029858 markings, 1075169954 edges, 6010 markings/sec, 1845 secs
lola: sara is running 1850 secs || 78082506 markings, 1078896094 edges, 10530 markings/sec, 1850 secs
lola: sara is running 1855 secs || 78503796 markings, 1080345527 edges, 84258 markings/sec, 1855 secs
lola: sara is running 1860 secs || 78924594 markings, 1081816556 edges, 84160 markings/sec, 1860 secs
lola: sara is running 1865 secs || 79343172 markings, 1083316793 edges, 83716 markings/sec, 1865 secs
lola: sara is running 1870 secs || 79757708 markings, 1084823736 edges, 82907 markings/sec, 1870 secs
lola: sara is running 1875 secs || 80151474 markings, 1086279660 edges, 78753 markings/sec, 1875 secs
lola: sara is running 1880 secs || 80558043 markings, 1087775517 edges, 81314 markings/sec, 1880 secs
lola: sara is running 1885 secs || 80968295 markings, 1089305461 edges, 82050 markings/sec, 1885 secs
lola: sara is running 1890 secs || 81414812 markings, 1090973821 edges, 89303 markings/sec, 1890 secs
lola: sara is running 1895 secs || 81874557 markings, 1092711910 edges, 91949 markings/sec, 1895 secs
lola: sara is running 1900 secs || 82365250 markings, 1094575658 edges, 98139 markings/sec, 1900 secs
lola: sara is running 1905 secs || 82851594 markings, 1096440558 edges, 97269 markings/sec, 1905 secs
lola: sara is running 1910 secs || 83333776 markings, 1098302461 edges, 96436 markings/sec, 1910 secs
lola: sara is running 1915 secs || 83809654 markings, 1100153841 edges, 95176 markings/sec, 1915 secs
lola: sara is running 1920 secs || 84284660 markings, 1102019398 edges, 95001 markings/sec, 1920 secs
lola: sara is running 1925 secs || 84730609 markings, 1103792512 edges, 89190 markings/sec, 1925 secs
lola: sara is running 1930 secs || 85156529 markings, 1105505972 edges, 85184 markings/sec, 1930 secs
lola: sara is running 1935 secs || 85572194 markings, 1107206073 edges, 83133 markings/sec, 1935 secs
lola: sara is running 1940 secs || 85979396 markings, 1108920981 edges, 81440 markings/sec, 1940 secs
lola: sara is running 1945 secs || 86408592 markings, 1110856814 edges, 85839 markings/sec, 1945 secs
lola: sara is running 1950 secs || 86724103 markings, 1113205302 edges, 63102 markings/sec, 1950 secs
lola: sara is running 1955 secs || 86779068 markings, 1116252117 edges, 10993 markings/sec, 1955 secs
lola: sara is running 1960 secs || 86819333 markings, 1119353595 edges, 8053 markings/sec, 1960 secs
lola: sara is running 1965 secs || 86852372 markings, 1122176500 edges, 6608 markings/sec, 1965 secs
lola: sara is running 1970 secs || 86883148 markings, 1125009643 edges, 6155 markings/sec, 1970 secs
lola: sara is running 1975 secs || 86913352 markings, 1127885335 edges, 6041 markings/sec, 1975 secs
lola: sara is running 1980 secs || 86944503 markings, 1130998758 edges, 6230 markings/sec, 1980 secs
lola: sara is running 1985 secs || 86975647 markings, 1134196489 edges, 6229 markings/sec, 1985 secs
lola: sara is running 1990 secs || 87004228 markings, 1137178897 edges, 5716 markings/sec, 1990 secs
lola: sara is running 1995 secs || 87032040 markings, 1140172713 edges, 5562 markings/sec, 1995 secs
lola: sara is running 2000 secs || 87061842 markings, 1143426325 edges, 5960 markings/sec, 2000 secs
lola: sara is running 2005 secs || 87091744 markings, 1146776536 edges, 5980 markings/sec, 2005 secs
lola: sara is running 2010 secs || 87121188 markings, 1150156998 edges, 5889 markings/sec, 2010 secs
lola: sara is running 2015 secs || 87150792 markings, 1153539831 edges, 5921 markings/sec, 2015 secs
lola: sara is running 2020 secs || 87178975 markings, 1156866177 edges, 5637 markings/sec, 2020 secs
lola: sara is running 2025 secs || 87207172 markings, 1160195733 edges, 5639 markings/sec, 2025 secs
lola: sara is running 2030 secs || 87235011 markings, 1163522516 edges, 5568 markings/sec, 2030 secs
lola: sara is running 2035 secs || 87262718 markings, 1166979002 edges, 5541 markings/sec, 2035 secs
lola: sara is running 2040 secs || 87289295 markings, 1170253882 edges, 5315 markings/sec, 2040 secs
lola: sara is running 2045 secs || 87314352 markings, 1173404958 edges, 5011 markings/sec, 2045 secs
lola: sara is running 2050 secs || 87339255 markings, 1176578211 edges, 4981 markings/sec, 2050 secs
lola: sara is running 2055 secs || 87365339 markings, 1179923960 edges, 5217 markings/sec, 2055 secs
lola: sara is running 2060 secs || 87390295 markings, 1183146435 edges, 4991 markings/sec, 2060 secs
lola: sara is running 2065 secs || 87415229 markings, 1186393847 edges, 4987 markings/sec, 2065 secs
lola: sara is running 2070 secs || 87439012 markings, 1189602739 edges, 4757 markings/sec, 2070 secs
lola: sara is running 2075 secs || 87464796 markings, 1193035074 edges, 5157 markings/sec, 2075 secs
lola: sara is running 2080 secs || 87491279 markings, 1196618837 edges, 5297 markings/sec, 2080 secs
lola: sara is running 2085 secs || 87517208 markings, 1200223366 edges, 5186 markings/sec, 2085 secs
lola: sara is running 2090 secs || 87542924 markings, 1203895157 edges, 5143 markings/sec, 2090 secs
lola: sara is running 2095 secs || 87567636 markings, 1207581958 edges, 4942 markings/sec, 2095 secs
lola: sara is running 2100 secs || 87592227 markings, 1211197031 edges, 4918 markings/sec, 2100 secs
lola: sara is running 2105 secs || 87616718 markings, 1214704568 edges, 4898 markings/sec, 2105 secs
lola: sara is running 2110 secs || 87952935 markings, 1216533909 edges, 67243 markings/sec, 2110 secs
lola: sara is running 2115 secs || 88363815 markings, 1217903058 edges, 82176 markings/sec, 2115 secs
lola: sara is running 2120 secs || 88783045 markings, 1219323026 edges, 83846 markings/sec, 2120 secs
lola: sara is running 2125 secs || 89245430 markings, 1220931245 edges, 92477 markings/sec, 2125 secs
lola: sara is running 2130 secs || 89640572 markings, 1222328440 edges, 79028 markings/sec, 2130 secs
lola: sara is running 2135 secs || 90026061 markings, 1223712094 edges, 77098 markings/sec, 2135 secs
lola: sara is running 2140 secs || 90445956 markings, 1225207753 edges, 83979 markings/sec, 2140 secs
lola: sara is running 2145 secs || 90858553 markings, 1226695977 edges, 82519 markings/sec, 2145 secs
lola: sara is running 2150 secs || 91270900 markings, 1228190908 edges, 82469 markings/sec, 2150 secs
lola: sara is running 2155 secs || 91727560 markings, 1229862188 edges, 91332 markings/sec, 2155 secs
lola: sara is running 2160 secs || 92179856 markings, 1231528100 edges, 90459 markings/sec, 2160 secs
lola: sara is running 2165 secs || 92637393 markings, 1233229054 edges, 91507 markings/sec, 2165 secs
lola: sara is running 2170 secs || 93086368 markings, 1234907391 edges, 89795 markings/sec, 2170 secs
lola: sara is running 2175 secs || 93526851 markings, 1236566184 edges, 88097 markings/sec, 2175 secs
lola: sara is running 2180 secs || 93960053 markings, 1238212707 edges, 86640 markings/sec, 2180 secs
lola: sara is running 2185 secs || 94385252 markings, 1239849296 edges, 85040 markings/sec, 2185 secs
lola: sara is running 2190 secs || 94822517 markings, 1241548600 edges, 87453 markings/sec, 2190 secs
lola: sara is running 2195 secs || 95244824 markings, 1243221071 edges, 84461 markings/sec, 2195 secs
lola: sara is running 2200 secs || 95646571 markings, 1244855627 edges, 80349 markings/sec, 2200 secs
lola: sara is running 2205 secs || 96031555 markings, 1246506291 edges, 76997 markings/sec, 2205 secs
lola: sara is running 2210 secs || 96378405 markings, 1248306816 edges, 69370 markings/sec, 2210 secs
lola: sara is running 2215 secs || 96486649 markings, 1250800044 edges, 21649 markings/sec, 2215 secs
lola: sara is running 2220 secs || 96528114 markings, 1253570023 edges, 8293 markings/sec, 2220 secs
lola: sara is running 2225 secs || 96561745 markings, 1256218045 edges, 6726 markings/sec, 2225 secs
lola: sara is running 2230 secs || 96592352 markings, 1258860154 edges, 6121 markings/sec, 2230 secs
lola: sara is running 2235 secs || 96622062 markings, 1261558012 edges, 5942 markings/sec, 2235 secs
lola: sara is running 2240 secs || 96651600 markings, 1264328577 edges, 5908 markings/sec, 2240 secs
lola: sara is running 2245 secs || 96679252 markings, 1267066045 edges, 5530 markings/sec, 2245 secs
lola: sara is running 2250 secs || 96708071 markings, 1269959393 edges, 5764 markings/sec, 2250 secs
lola: sara is running 2255 secs || 96735708 markings, 1272778004 edges, 5527 markings/sec, 2255 secs
lola: sara is running 2260 secs || 96762451 markings, 1275590726 edges, 5349 markings/sec, 2260 secs
lola: sara is running 2265 secs || 96789901 markings, 1278520166 edges, 5490 markings/sec, 2265 secs
lola: sara is running 2270 secs || 96818370 markings, 1281641403 edges, 5694 markings/sec, 2270 secs
lola: sara is running 2275 secs || 96844215 markings, 1284525324 edges, 5169 markings/sec, 2275 secs
lola: sara is running 2280 secs || 96870913 markings, 1287537438 edges, 5340 markings/sec, 2280 secs
lola: sara is running 2285 secs || 96896180 markings, 1290415510 edges, 5053 markings/sec, 2285 secs
lola: sara is running 2290 secs || 96922710 markings, 1293458844 edges, 5306 markings/sec, 2290 secs
lola: sara is running 2295 secs || 96950323 markings, 1296685464 edges, 5523 markings/sec, 2295 secs
lola: sara is running 2300 secs || 96977183 markings, 1299859846 edges, 5372 markings/sec, 2300 secs
lola: sara is running 2305 secs || 97002921 markings, 1303035644 edges, 5148 markings/sec, 2305 secs
lola: sara is running 2310 secs || 97029137 markings, 1306204499 edges, 5243 markings/sec, 2310 secs
lola: sara is running 2315 secs || 97055510 markings, 1309454090 edges, 5275 markings/sec, 2315 secs
lola: sara is running 2320 secs || 97081268 markings, 1312677776 edges, 5152 markings/sec, 2320 secs
lola: sara is running 2325 secs || 97104987 markings, 1315667812 edges, 4744 markings/sec, 2325 secs
lola: sara is running 2330 secs || 97129183 markings, 1318727102 edges, 4839 markings/sec, 2330 secs
lola: sara is running 2335 secs || 97152497 markings, 1321785188 edges, 4663 markings/sec, 2335 secs
lola: sara is running 2340 secs || 97176201 markings, 1324890778 edges, 4741 markings/sec, 2340 secs
lola: sara is running 2345 secs || 97199851 markings, 1328012293 edges, 4730 markings/sec, 2345 secs
lola: sara is running 2350 secs || 97224590 markings, 1331277191 edges, 4948 markings/sec, 2350 secs
lola: sara is running 2355 secs || 97250199 markings, 1334796940 edges, 5122 markings/sec, 2355 secs
lola: sara is running 2360 secs || 97275094 markings, 1338272776 edges, 4979 markings/sec, 2360 secs
lola: sara is running 2365 secs || 97297560 markings, 1341585110 edges, 4493 markings/sec, 2365 secs
lola: sara is running 2370 secs || 97320442 markings, 1344895590 edges, 4576 markings/sec, 2370 secs
lola: sara is running 2375 secs || 97342839 markings, 1348078192 edges, 4479 markings/sec, 2375 secs
lola: sara is running 2380 secs || 97594896 markings, 1350222555 edges, 50411 markings/sec, 2380 secs
lola: sara is running 2385 secs || 98098736 markings, 1352001110 edges, 100768 markings/sec, 2385 secs
lola: sara is running 2390 secs || 98505729 markings, 1353474964 edges, 81399 markings/sec, 2390 secs
lola: sara is running 2395 secs || 98950168 markings, 1355118146 edges, 88888 markings/sec, 2395 secs
lola: sara is running 2400 secs || 99408186 markings, 1356831557 edges, 91604 markings/sec, 2400 secs
lola: sara is running 2405 secs || 99861040 markings, 1358528603 edges, 90571 markings/sec, 2405 secs
lola: sara is running 2410 secs || 100310699 markings, 1360233472 edges, 89932 markings/sec, 2410 secs
lola: sara is running 2415 secs || 100778744 markings, 1362013847 edges, 93609 markings/sec, 2415 secs
lola: sara is running 2420 secs || 101231608 markings, 1363754405 edges, 90573 markings/sec, 2420 secs
lola: sara is running 2425 secs || 101683581 markings, 1365500102 edges, 90395 markings/sec, 2425 secs
lola: sara is running 2430 secs || 102130908 markings, 1367241688 edges, 89465 markings/sec, 2430 secs
lola: sara is running 2435 secs || 102574104 markings, 1368979992 edges, 88639 markings/sec, 2435 secs
lola: sara is running 2440 secs || 103017957 markings, 1370732704 edges, 88771 markings/sec, 2440 secs
lola: sara is running 2445 secs || 103449523 markings, 1372451470 edges, 86313 markings/sec, 2445 secs
lola: sara is running 2450 secs || 103875998 markings, 1374164901 edges, 85295 markings/sec, 2450 secs
lola: sara is running 2455 secs || 104299917 markings, 1375886649 edges, 84784 markings/sec, 2455 secs
lola: sara is running 2460 secs || 104704017 markings, 1377553657 edges, 80820 markings/sec, 2460 secs
lola: sara is running 2465 secs || 105098256 markings, 1379216822 edges, 78848 markings/sec, 2465 secs
lola: sara is running 2470 secs || 105478766 markings, 1380886714 edges, 76102 markings/sec, 2470 secs
lola: sara is running 2475 secs || 105842588 markings, 1382666010 edges, 72764 markings/sec, 2475 secs
lola: sara is running 2480 secs || 106031312 markings, 1384811438 edges, 37745 markings/sec, 2480 secs
lola: sara is running 2485 secs || 106070526 markings, 1387151353 edges, 7843 markings/sec, 2485 secs
lola: sara is running 2490 secs || 106103028 markings, 1389632284 edges, 6500 markings/sec, 2490 secs
lola: sara is running 2495 secs || 106135303 markings, 1392384383 edges, 6455 markings/sec, 2495 secs
lola: sara is running 2500 secs || 106165796 markings, 1395198051 edges, 6099 markings/sec, 2500 secs
lola: sara is running 2505 secs || 106196067 markings, 1398129738 edges, 6054 markings/sec, 2505 secs
lola: sara is running 2510 secs || 106225302 markings, 1401045841 edges, 5847 markings/sec, 2510 secs
lola: sara is running 2515 secs || 106253635 markings, 1403991350 edges, 5667 markings/sec, 2515 secs
lola: sara is running 2520 secs || 106281326 markings, 1406958737 edges, 5538 markings/sec, 2520 secs
lola: sara is running 2525 secs || 106309163 markings, 1409980199 edges, 5567 markings/sec, 2525 secs
lola: sara is running 2530 secs || 106336513 markings, 1413019162 edges, 5470 markings/sec, 2530 secs
lola: sara is running 2535 secs || 106363972 markings, 1416082392 edges, 5492 markings/sec, 2535 secs
lola: sara is running 2540 secs || 106389847 markings, 1419076780 edges, 5175 markings/sec, 2540 secs
lola: sara is running 2545 secs || 106413071 markings, 1421809209 edges, 4645 markings/sec, 2545 secs
lola: sara is running 2550 secs || 106436554 markings, 1424571814 edges, 4697 markings/sec, 2550 secs
lola: sara is running 2555 secs || 106459486 markings, 1427322799 edges, 4586 markings/sec, 2555 secs
lola: sara is running 2560 secs || 106484286 markings, 1430298514 edges, 4960 markings/sec, 2560 secs
lola: sara is running 2565 secs || 106509161 markings, 1433332168 edges, 4975 markings/sec, 2565 secs
lola: sara is running 2570 secs || 106534006 markings, 1436377880 edges, 4969 markings/sec, 2570 secs
lola: sara is running 2575 secs || 106557975 markings, 1439444407 edges, 4794 markings/sec, 2575 secs
lola: sara is running 2580 secs || 106582039 markings, 1442505461 edges, 4813 markings/sec, 2580 secs
lola: sara is running 2585 secs || 106606487 markings, 1445627599 edges, 4890 markings/sec, 2585 secs
lola: sara is running 2590 secs || 106630804 markings, 1448791757 edges, 4863 markings/sec, 2590 secs
lola: sara is running 2595 secs || 106655158 markings, 1451963194 edges, 4871 markings/sec, 2595 secs
lola: sara is running 2600 secs || 106679339 markings, 1455122147 edges, 4836 markings/sec, 2600 secs
lola: sara is running 2605 secs || 106703447 markings, 1458372663 edges, 4822 markings/sec, 2605 secs
lola: sara is running 2610 secs || 106724515 markings, 1461238166 edges, 4214 markings/sec, 2610 secs
lola: sara is running 2615 secs || 106745469 markings, 1464115458 edges, 4191 markings/sec, 2615 secs
lola: sara is running 2620 secs || 106767217 markings, 1467106470 edges, 4350 markings/sec, 2620 secs
lola: sara is running 2625 secs || 106790631 markings, 1470323048 edges, 4683 markings/sec, 2625 secs
lola: sara is running 2630 secs || 106812604 markings, 1473471230 edges, 4395 markings/sec, 2630 secs
lola: sara is running 2635 secs || 106833523 markings, 1476505329 edges, 4184 markings/sec, 2635 secs
lola: sara is running 2640 secs || 106854946 markings, 1479708386 edges, 4285 markings/sec, 2640 secs
lola: sara is running 2645 secs || 106876305 markings, 1482906466 edges, 4272 markings/sec, 2645 secs
lola: sara is running 2650 secs || 106897351 markings, 1486084234 edges, 4209 markings/sec, 2650 secs
lola: sara is running 2655 secs || 106941100 markings, 1489222670 edges, 8750 markings/sec, 2655 secs
lola: sara is running 2660 secs || 107337767 markings, 1490583635 edges, 79333 markings/sec, 2660 secs
lola: sara is running 2665 secs || 107728584 markings, 1491956972 edges, 78163 markings/sec, 2665 secs
lola: sara is running 2670 secs || 108103547 markings, 1493288282 edges, 74993 markings/sec, 2670 secs
lola: sara is running 2675 secs || 108466305 markings, 1494607666 edges, 72552 markings/sec, 2675 secs
lola: sara is running 2680 secs || 108822144 markings, 1495917137 edges, 71168 markings/sec, 2680 secs
lola: sara is running 2685 secs || 109184796 markings, 1497239434 edges, 72530 markings/sec, 2685 secs
lola: sara is running 2690 secs || 109539121 markings, 1498552587 edges, 70865 markings/sec, 2690 secs
lola: sara is running 2695 secs || 109888163 markings, 1499856188 edges, 69808 markings/sec, 2695 secs
lola: sara is running 2700 secs || 110237337 markings, 1501168880 edges, 69835 markings/sec, 2700 secs
lola: sara is running 2705 secs || 110602191 markings, 1502543251 edges, 72971 markings/sec, 2705 secs
lola: sara is running 2710 secs || 111007246 markings, 1504080863 edges, 81011 markings/sec, 2710 secs
lola: sara is running 2715 secs || 111410981 markings, 1505621902 edges, 80747 markings/sec, 2715 secs
lola: sara is running 2720 secs || 111820191 markings, 1507193950 edges, 81842 markings/sec, 2720 secs
lola: sara is running 2725 secs || 112227901 markings, 1508768877 edges, 81542 markings/sec, 2725 secs
lola: sara is running 2730 secs || 112634733 markings, 1510350263 edges, 81366 markings/sec, 2730 secs
lola: sara is running 2735 secs || 113025428 markings, 1511878845 edges, 78139 markings/sec, 2735 secs
lola: sara is running 2740 secs || 113409053 markings, 1513398155 edges, 76725 markings/sec, 2740 secs
lola: sara is running 2745 secs || 113788268 markings, 1514913781 edges, 75843 markings/sec, 2745 secs
lola: sara is running 2750 secs || 114160346 markings, 1516419265 edges, 74416 markings/sec, 2750 secs
lola: sara is running 2755 secs || 114530900 markings, 1517949369 edges, 74111 markings/sec, 2755 secs
lola: sara is running 2760 secs || 114883759 markings, 1519447002 edges, 70572 markings/sec, 2760 secs
lola: sara is running 2765 secs || 115223395 markings, 1520975297 edges, 67927 markings/sec, 2765 secs
lola: sara is running 2770 secs || 115529259 markings, 1522689738 edges, 61173 markings/sec, 2770 secs
lola: sara is running 2775 secs || 115614992 markings, 1524800914 edges, 17147 markings/sec, 2775 secs
lola: sara is running 2780 secs || 115648848 markings, 1526986108 edges, 6771 markings/sec, 2780 secs
lola: sara is running 2785 secs || 115680590 markings, 1529439329 edges, 6348 markings/sec, 2785 secs
lola: sara is running 2790 secs || 115709933 markings, 1531943672 edges, 5869 markings/sec, 2790 secs
lola: sara is running 2795 secs || 115738284 markings, 1534485321 edges, 5670 markings/sec, 2795 secs
lola: sara is running 2800 secs || 115765578 markings, 1537088170 edges, 5459 markings/sec, 2800 secs
lola: sara is running 2805 secs || 115790742 markings, 1539549912 edges, 5033 markings/sec, 2805 secs
lola: sara is running 2810 secs || 115815520 markings, 1542048838 edges, 4956 markings/sec, 2810 secs
lola: sara is running 2815 secs || 115839564 markings, 1544533272 edges, 4809 markings/sec, 2815 secs
lola: sara is running 2820 secs || 115864246 markings, 1547102560 edges, 4936 markings/sec, 2820 secs
lola: sara is running 2825 secs || 115889014 markings, 1549763465 edges, 4954 markings/sec, 2825 secs
lola: sara is running 2830 secs || 115913325 markings, 1552443363 edges, 4862 markings/sec, 2830 secs
lola: sara is running 2835 secs || 115936543 markings, 1555024471 edges, 4644 markings/sec, 2835 secs
lola: sara is running 2840 secs || 115960634 markings, 1557697527 edges, 4818 markings/sec, 2840 secs
lola: sara is running 2845 secs || 115984097 markings, 1560364663 edges, 4693 markings/sec, 2845 secs
lola: sara is running 2850 secs || 116007678 markings, 1563119369 edges, 4716 markings/sec, 2850 secs
lola: sara is running 2855 secs || 116030560 markings, 1565815789 edges, 4576 markings/sec, 2855 secs
lola: sara is running 2860 secs || 116053243 markings, 1568467210 edges, 4537 markings/sec, 2860 secs
lola: sara is running 2865 secs || 116075307 markings, 1571076961 edges, 4413 markings/sec, 2865 secs
lola: sara is running 2870 secs || 116096771 markings, 1573706838 edges, 4293 markings/sec, 2870 secs
lola: sara is running 2875 secs || 116118324 markings, 1576318464 edges, 4311 markings/sec, 2875 secs
lola: sara is running 2880 secs || 116139765 markings, 1578968598 edges, 4288 markings/sec, 2880 secs
lola: sara is running 2885 secs || 116163645 markings, 1581907576 edges, 4776 markings/sec, 2885 secs
lola: sara is running 2890 secs || 116186948 markings, 1584849387 edges, 4661 markings/sec, 2890 secs
lola: sara is running 2895 secs || 116209463 markings, 1587754820 edges, 4503 markings/sec, 2895 secs
lola: sara is running 2900 secs || 116230130 markings, 1590423618 edges, 4133 markings/sec, 2900 secs
lola: sara is running 2905 secs || 116250933 markings, 1593122716 edges, 4161 markings/sec, 2905 secs
lola: sara is running 2910 secs || 116271789 markings, 1595886959 edges, 4171 markings/sec, 2910 secs
lola: sara is running 2915 secs || 116292743 markings, 1598668167 edges, 4191 markings/sec, 2915 secs
lola: sara is running 2920 secs || 116313217 markings, 1601398218 edges, 4095 markings/sec, 2920 secs
lola: sara is running 2925 secs || 116333442 markings, 1604119843 edges, 4045 markings/sec, 2925 secs
lola: sara is running 2930 secs || 116353384 markings, 1606888120 edges, 3988 markings/sec, 2930 secs
lola: sara is running 2935 secs || 116373879 markings, 1609713328 edges, 4099 markings/sec, 2935 secs
lola: sara is running 2940 secs || 116393609 markings, 1612519971 edges, 3946 markings/sec, 2940 secs
lola: sara is running 2945 secs || 116414020 markings, 1615436640 edges, 4082 markings/sec, 2945 secs
lola: sara is running 2950 secs || 116433515 markings, 1618337739 edges, 3899 markings/sec, 2950 secs
lola: sara is running 2955 secs || 116454058 markings, 1621338103 edges, 4109 markings/sec, 2955 secs
lola: sara is running 2960 secs || 116475286 markings, 1624474135 edges, 4246 markings/sec, 2960 secs
lola: sara is running 2965 secs || 116729395 markings, 1626557789 edges, 50822 markings/sec, 2965 secs
lola: sara is running 2970 secs || 117171502 markings, 1628093131 edges, 88421 markings/sec, 2970 secs
lola: sara is running 2975 secs || 117628665 markings, 1629695127 edges, 91433 markings/sec, 2975 secs
lola: sara is running 2980 secs || 118102808 markings, 1631353931 edges, 94829 markings/sec, 2980 secs
lola: sara is running 2985 secs || 118567256 markings, 1632994254 edges, 92890 markings/sec, 2985 secs
lola: sara is running 2990 secs || 119019478 markings, 1634610356 edges, 90444 markings/sec, 2990 secs
lola: sara is running 2995 secs || 119499216 markings, 1636306396 edges, 95948 markings/sec, 2995 secs
lola: sara is running 3000 secs || 119966424 markings, 1637980999 edges, 93442 markings/sec, 3000 secs
lola: sara is running 3005 secs || 120422629 markings, 1639635858 edges, 91241 markings/sec, 3005 secs
lola: sara is running 3010 secs || 120900221 markings, 1641322755 edges, 95518 markings/sec, 3010 secs
lola: sara is running 3015 secs || 121384846 markings, 1643060368 edges, 96925 markings/sec, 3015 secs
lola: sara is running 3020 secs || 121898257 markings, 1644881098 edges, 102682 markings/sec, 3020 secs
lola: sara is running 3025 secs || 122360036 markings, 1646562063 edges, 92356 markings/sec, 3025 secs
lola: sara is running 3030 secs || 122817695 markings, 1648226851 edges, 91532 markings/sec, 3030 secs
lola: sara is running 3035 secs || 123278805 markings, 1649906235 edges, 92222 markings/sec, 3035 secs
lola: sara is running 3040 secs || 123740516 markings, 1651588752 edges, 92342 markings/sec, 3040 secs
lola: sara is running 3045 secs || 124202715 markings, 1653271554 edges, 92440 markings/sec, 3045 secs
lola: sara is running 3050 secs || 124662194 markings, 1654947612 edges, 91896 markings/sec, 3050 secs
lola: sara is running 3055 secs || 125118310 markings, 1656615799 edges, 91223 markings/sec, 3055 secs
lola: sara is running 3060 secs || 125569564 markings, 1658275221 edges, 90251 markings/sec, 3060 secs
lola: sara is running 3065 secs || 126037870 markings, 1659991858 edges, 93661 markings/sec, 3065 secs
lola: sara is running 3070 secs || 126501179 markings, 1661669163 edges, 92662 markings/sec, 3070 secs
lola: sara is running 3075 secs || 126939340 markings, 1663290489 edges, 87632 markings/sec, 3075 secs
lola: sara is running 3080 secs || 127402338 markings, 1664997925 edges, 92600 markings/sec, 3080 secs
lola: sara is running 3085 secs || 127873814 markings, 1666710607 edges, 94295 markings/sec, 3085 secs
lola: sara is running 3090 secs || 128339528 markings, 1668423148 edges, 93143 markings/sec, 3090 secs
lola: sara is running 3095 secs || 128781438 markings, 1670060006 edges, 88382 markings/sec, 3095 secs
lola: sara is running 3100 secs || 129223304 markings, 1671701173 edges, 88373 markings/sec, 3100 secs
lola: sara is running 3105 secs || 129675182 markings, 1673378898 edges, 90376 markings/sec, 3105 secs
lola: sara is running 3110 secs || 130118104 markings, 1675032450 edges, 88584 markings/sec, 3110 secs
lola: sara is running 3115 secs || 130615439 markings, 1676818421 edges, 99467 markings/sec, 3115 secs
lola: sara is running 3120 secs || 131054706 markings, 1678459771 edges, 87853 markings/sec, 3120 secs
lola: sara is running 3125 secs || 131589488 markings, 1680295108 edges, 106956 markings/sec, 3125 secs
lola: sara is running 3130 secs || 132045656 markings, 1681961743 edges, 91234 markings/sec, 3130 secs
lola: sara is running 3135 secs || 132608198 markings, 1683842684 edges, 112508 markings/sec, 3135 secs
lola: sara is running 3140 secs || 133168187 markings, 1685754640 edges, 111998 markings/sec, 3140 secs
lola: sara is running 3145 secs || 133657677 markings, 1687501216 edges, 97898 markings/sec, 3145 secs
lola: sara is running 3150 secs || 134132770 markings, 1689207073 edges, 95019 markings/sec, 3150 secs
lola: sara is running 3155 secs || 134722763 markings, 1691207935 edges, 117999 markings/sec, 3155 secs
lola: sara is running 3160 secs || 135325187 markings, 1693263138 edges, 120485 markings/sec, 3160 secs
lola: sara is running 3165 secs || 135900028 markings, 1695283999 edges, 114968 markings/sec, 3165 secs
lola: sara is running 3170 secs || 136463093 markings, 1697292928 edges, 112613 markings/sec, 3170 secs
lola: sara is running 3175 secs || 137013078 markings, 1699278638 edges, 109997 markings/sec, 3175 secs
lola: sara is running 3180 secs || 137557434 markings, 1701261513 edges, 108871 markings/sec, 3180 secs
lola: sara is running 3185 secs || 138049225 markings, 1703082908 edges, 98358 markings/sec, 3185 secs
lola: sara is running 3190 secs || 138672606 markings, 1705225433 edges, 124676 markings/sec, 3190 secs
lola: sara is running 3195 secs || 139313144 markings, 1707377370 edges, 128108 markings/sec, 3195 secs
lola: sara is running 3200 secs || 139909019 markings, 1709452123 edges, 119175 markings/sec, 3200 secs
lola: sara is running 3205 secs || 140486304 markings, 1711507692 edges, 115457 markings/sec, 3205 secs
lola: sara is running 3210 secs || 141053229 markings, 1713530384 edges, 113385 markings/sec, 3210 secs
lola: sara is running 3215 secs || 141624276 markings, 1715591606 edges, 114209 markings/sec, 3215 secs
lola: sara is running 3220 secs || 142197927 markings, 1717685041 edges, 114730 markings/sec, 3220 secs
lola: sara is running 3225 secs || 142761830 markings, 1719759441 edges, 112781 markings/sec, 3225 secs
lola: sara is running 3230 secs || 143294903 markings, 1721743836 edges, 106615 markings/sec, 3230 secs
lola: sara is running 3235 secs || 143829167 markings, 1723740362 edges, 106853 markings/sec, 3235 secs
lola: sara is running 3240 secs || 144376116 markings, 1725812105 edges, 109390 markings/sec, 3240 secs
lola: sara is running 3245 secs || 144887084 markings, 1727770213 edges, 102194 markings/sec, 3245 secs
lola: sara is running 3250 secs || 145380864 markings, 1729686420 edges, 98756 markings/sec, 3250 secs
lola: sara is running 3255 secs || 145865696 markings, 1731608118 edges, 96966 markings/sec, 3255 secs
lola: sara is running 3260 secs || 146334538 markings, 1733528689 edges, 93768 markings/sec, 3260 secs
lola: sara is running 3265 secs || 146779166 markings, 1735504507 edges, 88926 markings/sec, 3265 secs
lola: sara is running 3270 secs || 147054298 markings, 1738129143 edges, 55026 markings/sec, 3270 secs
lola: sara is running 3275 secs || 147108716 markings, 1741483856 edges, 10884 markings/sec, 3275 secs
lola: sara is running 3280 secs || 147152132 markings, 1744905333 edges, 8683 markings/sec, 3280 secs
lola: sara is running 3285 secs || 147192287 markings, 1748417162 edges, 8031 markings/sec, 3285 secs
lola: sara is running 3290 secs || 147230009 markings, 1751938150 edges, 7544 markings/sec, 3290 secs
lola: sara is running 3295 secs || 147266425 markings, 1755507643 edges, 7283 markings/sec, 3295 secs
lola: sara is running 3300 secs || 147302277 markings, 1759125330 edges, 7170 markings/sec, 3300 secs
lola: sara is running 3305 secs || 147337570 markings, 1762790342 edges, 7059 markings/sec, 3305 secs
lola: sara is running 3310 secs || 147372471 markings, 1766477416 edges, 6980 markings/sec, 3310 secs
lola: sara is running 3315 secs || 147406557 markings, 1770214858 edges, 6817 markings/sec, 3315 secs
lola: sara is running 3320 secs || 147441131 markings, 1774113449 edges, 6915 markings/sec, 3320 secs
lola: sara is running 3325 secs || 147474747 markings, 1777894674 edges, 6723 markings/sec, 3325 secs
lola: sara is running 3330 secs || 147507889 markings, 1781714108 edges, 6628 markings/sec, 3330 secs
lola: sara is running 3335 secs || 147540831 markings, 1785566247 edges, 6588 markings/sec, 3335 secs
lola: sara is running 3340 secs || 147573156 markings, 1789440515 edges, 6465 markings/sec, 3340 secs
lola: sara is running 3345 secs || 147606675 markings, 1793518846 edges, 6704 markings/sec, 3345 secs
lola: sara is running 3350 secs || 147640188 markings, 1797651425 edges, 6703 markings/sec, 3350 secs
lola: sara is running 3355 secs || 147672597 markings, 1801708286 edges, 6482 markings/sec, 3355 secs
lola: sara is running 3360 secs || 147704102 markings, 1805702643 edges, 6301 markings/sec, 3360 secs
lola: sara is running 3365 secs || 147735733 markings, 1809773075 edges, 6326 markings/sec, 3365 secs
lola: sara is running 3370 secs || 147766681 markings, 1813831540 edges, 6190 markings/sec, 3370 secs
lola: sara is running 3375 secs || 147797774 markings, 1817927833 edges, 6219 markings/sec, 3375 secs
lola: sara is running 3380 secs || 147828268 markings, 1822097153 edges, 6099 markings/sec, 3380 secs
lola: sara is running 3385 secs || 147860294 markings, 1826529774 edges, 6405 markings/sec, 3385 secs
lola: sara is running 3390 secs || 147891475 markings, 1831075262 edges, 6236 markings/sec, 3390 secs
lola: sara is running 3395 secs || 147923171 markings, 1835672791 edges, 6339 markings/sec, 3395 secs
lola: sara is running 3400 secs || 148243753 markings, 1838656025 edges, 64116 markings/sec, 3400 secs
lola: sara is running 3405 secs || 148767247 markings, 1840396985 edges, 104699 markings/sec, 3405 secs
lola: sara is running 3410 secs || 149281735 markings, 1842142791 edges, 102898 markings/sec, 3410 secs
lola: sara is running 3415 secs || 149763948 markings, 1843825348 edges, 96443 markings/sec, 3415 secs
lola: sara is running 3420 secs || 150197457 markings, 1845364414 edges, 86702 markings/sec, 3420 secs
lola: sara is running 3425 secs || 150639337 markings, 1846937986 edges, 88376 markings/sec, 3425 secs
lola: sara is running 3430 secs || 151078915 markings, 1848516594 edges, 87916 markings/sec, 3430 secs
lola: sara is running 3435 secs || 151542977 markings, 1850194942 edges, 92812 markings/sec, 3435 secs
lola: sara is running 3440 secs || 152061555 markings, 1852090791 edges, 103716 markings/sec, 3440 secs
lola: sara is running 3445 secs || 152578069 markings, 1853990135 edges, 103303 markings/sec, 3445 secs
lola: sara is running 3450 secs || 153093158 markings, 1855905063 edges, 103018 markings/sec, 3450 secs
lola: sara is running 3455 secs || 153604251 markings, 1857816656 edges, 102219 markings/sec, 3455 secs
lola: sara is running 3460 secs || 154101815 markings, 1859696454 edges, 99513 markings/sec, 3460 secs
lola: sara is running 3465 secs || 154592099 markings, 1861567193 edges, 98057 markings/sec, 3465 secs
lola: sara is running 3470 secs || 155072926 markings, 1863426036 edges, 96165 markings/sec, 3470 secs
lola: sara is running 3475 secs || 155543654 markings, 1865276802 edges, 94146 markings/sec, 3475 secs
lola: sara is running 3480 secs || 156001437 markings, 1867122348 edges, 91557 markings/sec, 3480 secs
lola: sara is running 3485 secs || 156432124 markings, 1868950661 edges, 86137 markings/sec, 3485 secs
lola: sara is running 3490 secs || 156815301 markings, 1870919130 edges, 76635 markings/sec, 3490 secs
lola: sara is running 3495 secs || 156927497 markings, 1873726399 edges, 22439 markings/sec, 3495 secs
lola: sara is running 3500 secs || 156973103 markings, 1876926284 edges, 9121 markings/sec, 3500 secs
lola: sara is running 3505 secs || 157012240 markings, 1880124544 edges, 7827 markings/sec, 3505 secs
lola: sara is running 3510 secs || 157048280 markings, 1883340586 edges, 7208 markings/sec, 3510 secs
lola: sara is running 3515 secs || 157084317 markings, 1886699512 edges, 7207 markings/sec, 3515 secs
lola: sara is running 3520 secs || 157119159 markings, 1890128027 edges, 6968 markings/sec, 3520 secs
lola: sara is running 3525 secs || 157151483 markings, 1893392867 edges, 6465 markings/sec, 3525 secs
lola: sara is running 3530 secs || 157183299 markings, 1896685464 edges, 6363 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="irma4mcc-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 irma4mcc-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 r115-csrt-152666473700201"
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 '
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 ;