About the Execution of LoLA for S_PermAdmissibility-COL-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15941.210 | 3540757.00 | 6847364.00 | 16206.80 | FTTTTFF?TFTFFFTF | 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)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_PermAdmissibility-COL-20, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441650200385
=====================================================================
--------------------
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 PermAdmissibility-COL-20-ReachabilityCardinality-0
FORMULA_NAME PermAdmissibility-COL-20-ReachabilityCardinality-1
FORMULA_NAME PermAdmissibility-COL-20-ReachabilityCardinality-10
FORMULA_NAME PermAdmissibility-COL-20-ReachabilityCardinality-11
FORMULA_NAME PermAdmissibility-COL-20-ReachabilityCardinality-12
FORMULA_NAME PermAdmissibility-COL-20-ReachabilityCardinality-13
FORMULA_NAME PermAdmissibility-COL-20-ReachabilityCardinality-14
FORMULA_NAME PermAdmissibility-COL-20-ReachabilityCardinality-15
FORMULA_NAME PermAdmissibility-COL-20-ReachabilityCardinality-2
FORMULA_NAME PermAdmissibility-COL-20-ReachabilityCardinality-3
FORMULA_NAME PermAdmissibility-COL-20-ReachabilityCardinality-4
FORMULA_NAME PermAdmissibility-COL-20-ReachabilityCardinality-5
FORMULA_NAME PermAdmissibility-COL-20-ReachabilityCardinality-6
FORMULA_NAME PermAdmissibility-COL-20-ReachabilityCardinality-7
FORMULA_NAME PermAdmissibility-COL-20-ReachabilityCardinality-8
FORMULA_NAME PermAdmissibility-COL-20-ReachabilityCardinality-9
=== Now, execution of the tool begins
BK_START 1496384517246
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PermAdmissibility-COL-20: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PermAdmissibility-COL-20: translating COL formula ReachabilityCardinality into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
ReachabilityCardinality @ S_PermAdmissibility-COL-20 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1232/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 208 places, 1024 transitions, 177 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1460 transition conflict sets
lola: TASK
lola: reading formula from PermAdmissibility-COL-20-ReachabilityCardinality.task
lola: A (G (((((1 <= p36) OR (p182 <= p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15)) AND ((2 <= p147) OR (p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 <= p69 + p63 + p64 + p65 + p66 + p67 + p68 + p70))) OR ((p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 <= p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15) AND (p17 <= p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45) AND (p113 <= p100 + p101 + p102 + p103 + p104 + p97 + p98 + p99))))) : E (F ((p182 + 1 <= p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62))) : E (F (((p79 <= 1) AND (p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 <= 0) AND (p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 <= 2)))) : A (G ((p35 <= 1))) : E (F ((3 <= p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138))) : A (G (((2 <= p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34) OR (p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 <= p182)))) : A (G ((p16 <= p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45))) : A (G (((p90 + p89 + p91 + p92 + p93 + p94 + p95 + p96 <= p80) OR (p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 <= 1)))) : E (F ((((p87 + p86 + p85 + p84 + p83 + p82 + p81 + p88 <= p80) OR (p18 <= p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122)) AND (p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + 1 <= p164) AND (1 <= p16)))) : A (G (((p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + 1 <= p35) OR (p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 <= 2) OR ((p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 <= 1) AND (p37 <= 0))))) : E (F ((2 <= p79))) : E (F ((((1 <= p77 + p76 + p75 + p74 + p73 + p72 + p71 + p78) OR (p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 <= p165) OR (p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 <= 0)) AND (1 <= p113)))) : E (F (((p165 + 1 <= p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138) AND (p35 <= p79)))) : A (G (((p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 <= 0) OR (p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + 1 <= p79) OR (p87 + p86 + p85 + p84 + p83 + p82 + p81 + p88 <= p164)))) : E (F ((p90 + p89 + p91 + p92 + p93 + p94 + p95 + p96 + 1 <= p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207))) : A (G (((p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 <= p16) OR ((3 <= p79) AND (p165 <= p37)) OR (p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 <= p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((((1 <= p36) OR (p182 <= p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15)) AND ((2 <= p147) OR (p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 <= p69 + p63 + p64 + p65 + p66 + p67 + p68 + p70))) OR ((p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 <= p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15) AND (p17 <= p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45) AND (p113 <= p100 + p101 + p102 + ... (shortened)
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 708 bytes per marking, with 0 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 18 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to PermAdmissibility-COL-20-ReachabilityCardinality.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: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((p182 + 1 <= p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62)))
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 708 bytes per marking, with 0 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 PermAdmissibility-COL-20-ReachabilityCardinality.sara
lola: state equation: calling and running sara
sara: try reading problem file PermAdmissibility-COL-20-ReachabilityCardinality.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((p79 <= 1) AND (p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 <= 0) AND (p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 <= 2))))
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 708 bytes per marking, with 0 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 PermAdmissibility-COL-20-ReachabilityCardinality-2.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((p35 <= 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 708 bytes per marking, with 0 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 PermAdmissibility-COL-20-ReachabilityCardinality-3.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: ========================================
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138)))
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 708 bytes per marking, with 0 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 PermAdmissibility-COL-20-ReachabilityCardinality-4.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 5 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((2 <= p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34) OR (p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 <= p182))))
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 708 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to PermAdmissibility-COL-20-ReachabilityCardinality-5.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: ========================================
lola: subprocess 6 will run for 354 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((p16 <= p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45)))
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 708 bytes per marking, with 0 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 PermAdmissibility-COL-20-ReachabilityCardinality-6.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: ========================================
lola: subprocess 7 will run for 393 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((p90 + p89 + p91 + p92 + p93 + p94 + p95 + p96 <= p80) OR (p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 <= 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 708 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to PermAdmissibility-COL-20-ReachabilityCardinality-7.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: lola: ========================================
subprocess 8 will run for 442 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((p87 + p86 + p85 + p84 + p83 + p82 + p81 + p88 <= p80) OR (p18 <= p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122)) AND (p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + 1 <= p164) AND (1 <= p16))))
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 708 bytes per marking, with 0 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 2 conjunctive subformulas
lola: state equation: write sara problem file to PermAdmissibility-COL-20-ReachabilityCardinality-8.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 9 will run for 505 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + 1 <= p35) OR (p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 <= 2) OR ((p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 <= 1) AND (p37 <= 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 708 bytes per marking, with 0 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 2 conjunctive subformulas
lola: state equation: write sara problem file to PermAdmissibility-COL-20-ReachabilityCardinality-9.sara
lola: state equation: calling and running sara
sara: try reading problem file PermAdmissibility-COL-20-ReachabilityCardinality-9.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 10 will run for 590 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((2 <= p79)))
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 708 bytes per marking, with 0 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 PermAdmissibility-COL-20-ReachabilityCardinality-10.sara
lola: ========================================
lola: subprocess 11 will run for 708 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p77 + p76 + p75 + p74 + p73 + p72 + p71 + p78) OR (p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 <= p165) OR (p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 <= 0)) AND (1 <= p113))))
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 708 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 6 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to PermAdmissibility-COL-20-ReachabilityCardinality-11.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 12 will run for 885 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((p165 + 1 <= p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138) AND (p35 <= p79))))
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 708 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to PermAdmissibility-COL-20-ReachabilityCardinality-12.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 13 will run for 1180 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 <= 0) OR (p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + 1 <= p79) OR (p87 + p86 + p85 + p84 + p83 + p82 + p81 + p88 <= p164))))
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 708 bytes per marking, with 0 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 PermAdmissibility-COL-20-ReachabilityCardinality-13.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: lola: subprocess 14 will run for 1770 seconds at most (--localtimelimit=-1)
========================================
lola: ========================================
lola: ...considering subproblem: E (F ((p90 + p89 + p91 + p92 + p93 + p94 + p95 + p96 + 1 <= p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207)))
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 708 bytes per marking, with 0 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 PermAdmissibility-COL-20-ReachabilityCardinality-14.sara
lola: state equation: calling and running sara
sara: try reading problem file PermAdmissibility-COL-20-ReachabilityCardinality-14.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 15 will run for 3540 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 <= p16) OR ((3 <= p79) AND (p165 <= p37)) OR (p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 <= p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112))))
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 708 bytes per marking, with 0 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 2 conjunctive subformulas
lola: state equation: write sara problem file to PermAdmissibility-COL-20-ReachabilityCardinality-15.sara
lola: state equation: calling and running sara
sara: try reading problem file PermAdmissibility-COL-20-ReachabilityCardinality-15.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 110063 markings, 358912 edges, 22013 markings/sec, 0 secs
lola: sara is running 5 secs || 223508 markings, 753911 edges, 22689 markings/sec, 5 secs
lola: sara is running 10 secs || 335701 markings, 1170030 edges, 22439 markings/sec, 10 secs
lola: sara is running 15 secs || 451392 markings, 1574388 edges, 23138 markings/sec, 15 secs
lola: sara is running 20 secs || 568277 markings, 1961453 edges, 23377 markings/sec, 20 secs
lola: sara is running 25 secs || 679294 markings, 2393909 edges, 22203 markings/sec, 25 secs
lola: sara is running 30 secs || 788617 markings, 2852469 edges, 21865 markings/sec, 30 secs
lola: sara is running 35 secs || 900056 markings, 3337181 edges, 22288 markings/sec, 35 secs
lola: sara is running 40 secs || 1008933 markings, 3937850 edges, 21775 markings/sec, 40 secs
lola: sara is running 45 secs || 1115766 markings, 4555862 edges, 21367 markings/sec, 45 secs
lola: sara is running 50 secs || 1227537 markings, 5083606 edges, 22354 markings/sec, 50 secs
lola: sara is running 55 secs || 1339270 markings, 5557472 edges, 22347 markings/sec, 55 secs
lola: sara is running 60 secs || 1447065 markings, 6087750 edges, 21559 markings/sec, 60 secs
lola: sara is running 65 secs || 1558084 markings, 6503649 edges, 22204 markings/sec, 65 secs
lola: sara is running 70 secs || 1670622 markings, 6933127 edges, 22508 markings/sec, 70 secs
lola: sara is running 75 secs || 1782316 markings, 7389321 edges, 22339 markings/sec, 75 secs
lola: sara is running 80 secs || 1891019 markings, 7985245 edges, 21741 markings/sec, 80 secs
lola: sara is running 85 secs || 1999945 markings, 8516527 edges, 21785 markings/sec, 85 secs
lola: sara is running 90 secs || 2109579 markings, 9061063 edges, 21927 markings/sec, 90 secs
lola: sara is running 95 secs || 2218370 markings, 9588443 edges, 21758 markings/sec, 95 secs
lola: sara is running 100 secs || 2328253 markings, 10099684 edges, 21977 markings/sec, 100 secs
lola: sara is running 105 secs || 2439487 markings, 10506404 edges, 22247 markings/sec, 105 secs
lola: sara is running 110 secs || 2550894 markings, 10923946 edges, 22281 markings/sec, 110 secs
lola: sara is running 115 secs || 2661677 markings, 11367899 edges, 22157 markings/sec, 115 secs
lola: sara is running 120 secs || 2770661 markings, 11859472 edges, 21797 markings/sec, 120 secs
lola: sara is running 125 secs || 2876040 markings, 12482736 edges, 21076 markings/sec, 125 secs
lola: sara is running 130 secs || 2987036 markings, 12997965 edges, 22199 markings/sec, 130 secs
lola: sara is running 135 secs || 3096240 markings, 13442633 edges, 21841 markings/sec, 135 secs
lola: sara is running 140 secs || 3202660 markings, 14026361 edges, 21284 markings/sec, 140 secs
lola: sara is running 145 secs || 3309560 markings, 14573598 edges, 21380 markings/sec, 145 secs
lola: sara is running 150 secs || 3417328 markings, 15071324 edges, 21554 markings/sec, 150 secs
lola: sara is running 155 secs || 3523776 markings, 15585478 edges, 21290 markings/sec, 155 secs
lola: sara is running 160 secs || 3629647 markings, 16123217 edges, 21174 markings/sec, 160 secs
lola: sara is running 165 secs || 3734132 markings, 16696020 edges, 20897 markings/sec, 165 secs
lola: sara is running 170 secs || 3840915 markings, 17131570 edges, 21357 markings/sec, 170 secs
lola: sara is running 175 secs || 3944702 markings, 17526827 edges, 20757 markings/sec, 175 secs
lola: sara is running 180 secs || 4051103 markings, 18000231 edges, 21280 markings/sec, 180 secs
lola: sara is running 185 secs || 4154168 markings, 18536980 edges, 20613 markings/sec, 185 secs
lola: sara is running 190 secs || 4250725 markings, 18974563 edges, 19311 markings/sec, 190 secs
lola: sara is running 195 secs || 4351474 markings, 19493019 edges, 20150 markings/sec, 195 secs
lola: sara is running 200 secs || 4456407 markings, 19988349 edges, 20987 markings/sec, 200 secs
lola: sara is running 205 secs || 4551736 markings, 20468130 edges, 19066 markings/sec, 205 secs
lola: sara is running 210 secs || 4655529 markings, 20976306 edges, 20759 markings/sec, 210 secs
lola: sara is running 215 secs || 4768421 markings, 21387429 edges, 22578 markings/sec, 215 secs
lola: sara is running 220 secs || 4877406 markings, 21796135 edges, 21797 markings/sec, 220 secs
lola: sara is running 225 secs || 4985952 markings, 22343015 edges, 21709 markings/sec, 225 secs
lola: sara is running 230 secs || 5096029 markings, 22859896 edges, 22015 markings/sec, 230 secs
lola: sara is running 235 secs || 5206262 markings, 23317138 edges, 22047 markings/sec, 235 secs
lola: sara is running 240 secs || 5307743 markings, 23829114 edges, 20296 markings/sec, 240 secs
lola: sara is running 245 secs || 5416961 markings, 24368851 edges, 21844 markings/sec, 245 secs
lola: sara is running 250 secs || 5526249 markings, 24862914 edges, 21858 markings/sec, 250 secs
lola: sara is running 255 secs || 5633274 markings, 25371579 edges, 21405 markings/sec, 255 secs
lola: sara is running 260 secs || 5740772 markings, 25858907 edges, 21500 markings/sec, 260 secs
lola: sara is running 265 secs || 5849397 markings, 26257589 edges, 21725 markings/sec, 265 secs
lola: sara is running 270 secs || 5960479 markings, 26662779 edges, 22216 markings/sec, 270 secs
lola: sara is running 275 secs || 6071979 markings, 27058030 edges, 22300 markings/sec, 275 secs
lola: sara is running 280 secs || 6178751 markings, 27508350 edges, 21354 markings/sec, 280 secs
lola: sara is running 285 secs || 6284379 markings, 28039976 edges, 21126 markings/sec, 285 secs
lola: sara is running 290 secs || 6387138 markings, 28604872 edges, 20552 markings/sec, 290 secs
lola: sara is running 295 secs || 6494646 markings, 29115726 edges, 21502 markings/sec, 295 secs
lola: sara is running 300 secs || 6600517 markings, 29602717 edges, 21174 markings/sec, 300 secs
lola: sara is running 305 secs || 6709544 markings, 30022506 edges, 21805 markings/sec, 305 secs
lola: sara is running 310 secs || 6815597 markings, 30556796 edges, 21211 markings/sec, 310 secs
lola: sara is running 315 secs || 6920968 markings, 31078056 edges, 21074 markings/sec, 315 secs
lola: sara is running 320 secs || 7027619 markings, 31621680 edges, 21330 markings/sec, 320 secs
lola: sara is running 325 secs || 7134257 markings, 32114722 edges, 21328 markings/sec, 325 secs
lola: sara is running 330 secs || 7242873 markings, 32528946 edges, 21723 markings/sec, 330 secs
lola: sara is running 335 secs || 7350271 markings, 32982006 edges, 21480 markings/sec, 335 secs
lola: sara is running 340 secs || 7452080 markings, 33571491 edges, 20362 markings/sec, 340 secs
lola: sara is running 345 secs || 7560068 markings, 34039140 edges, 21598 markings/sec, 345 secs
lola: sara is running 350 secs || 7663588 markings, 34599434 edges, 20704 markings/sec, 350 secs
lola: sara is running 355 secs || 7767757 markings, 35122737 edges, 20834 markings/sec, 355 secs
lola: sara is running 360 secs || 7869296 markings, 35634857 edges, 20308 markings/sec, 360 secs
lola: sara is running 365 secs || 7969810 markings, 36187098 edges, 20103 markings/sec, 365 secs
lola: sara is running 370 secs || 8070684 markings, 36766631 edges, 20175 markings/sec, 370 secs
lola: sara is running 375 secs || 8172085 markings, 37317065 edges, 20280 markings/sec, 375 secs
lola: sara is running 380 secs || 8272549 markings, 37883006 edges, 20093 markings/sec, 380 secs
lola: sara is running 385 secs || 8372559 markings, 38465511 edges, 20002 markings/sec, 385 secs
lola: sara is running 390 secs || 8474611 markings, 39010282 edges, 20410 markings/sec, 390 secs
lola: sara is running 395 secs || 8580471 markings, 39466278 edges, 21172 markings/sec, 395 secs
lola: sara is running 400 secs || 8685156 markings, 39940360 edges, 20937 markings/sec, 400 secs
lola: sara is running 405 secs || 8788296 markings, 40460077 edges, 20628 markings/sec, 405 secs
lola: sara is running 410 secs || 8891594 markings, 40964449 edges, 20660 markings/sec, 410 secs
lola: sara is running 415 secs || 8992048 markings, 41491494 edges, 20091 markings/sec, 415 secs
lola: sara is running 420 secs || 9092388 markings, 42023535 edges, 20068 markings/sec, 420 secs
lola: sara is running 425 secs || 9191977 markings, 42580823 edges, 19918 markings/sec, 425 secs
lola: sara is running 430 secs || 9294310 markings, 43087205 edges, 20467 markings/sec, 430 secs
lola: sara is running 435 secs || 9404660 markings, 43512169 edges, 22070 markings/sec, 435 secs
lola: sara is running 440 secs || 9510168 markings, 44062268 edges, 21102 markings/sec, 440 secs
lola: sara is running 445 secs || 9617490 markings, 44539308 edges, 21464 markings/sec, 445 secs
lola: sara is running 450 secs || 9722688 markings, 45086347 edges, 21040 markings/sec, 450 secs
lola: sara is running 455 secs || 9823357 markings, 45549752 edges, 20134 markings/sec, 455 secs
lola: sara is running 460 secs || 9925369 markings, 46101740 edges, 20402 markings/sec, 460 secs
lola: sara is running 465 secs || 10026425 markings, 46659011 edges, 20211 markings/sec, 465 secs
lola: sara is running 470 secs || 10129860 markings, 47184577 edges, 20687 markings/sec, 470 secs
lola: sara is running 475 secs || 10236764 markings, 47737361 edges, 21381 markings/sec, 475 secs
lola: sara is running 480 secs || 10343812 markings, 48240516 edges, 21410 markings/sec, 480 secs
lola: sara is running 485 secs || 10450988 markings, 48771624 edges, 21435 markings/sec, 485 secs
lola: sara is running 490 secs || 10556031 markings, 49283543 edges, 21009 markings/sec, 490 secs
lola: sara is running 495 secs || 10658886 markings, 49826899 edges, 20571 markings/sec, 495 secs
lola: sara is running 500 secs || 10773850 markings, 50309680 edges, 22993 markings/sec, 500 secs
lola: sara is running 505 secs || 10886283 markings, 50793776 edges, 22487 markings/sec, 505 secs
lola: sara is running 510 secs || 10995232 markings, 51280591 edges, 21790 markings/sec, 510 secs
lola: sara is running 515 secs || 11103978 markings, 51795297 edges, 21749 markings/sec, 515 secs
lola: sara is running 520 secs || 11219367 markings, 52288143 edges, 23078 markings/sec, 520 secs
lola: sara is running 525 secs || 11334691 markings, 52769331 edges, 23065 markings/sec, 525 secs
lola: sara is running 530 secs || 11446618 markings, 53257402 edges, 22385 markings/sec, 530 secs
lola: sara is running 535 secs || 11558942 markings, 53781730 edges, 22465 markings/sec, 535 secs
lola: sara is running 540 secs || 11670139 markings, 54290110 edges, 22239 markings/sec, 540 secs
lola: sara is running 545 secs || 11777837 markings, 54821846 edges, 21540 markings/sec, 545 secs
lola: sara is running 550 secs || 11881494 markings, 55429009 edges, 20731 markings/sec, 550 secs
lola: sara is running 555 secs || 11991268 markings, 55932108 edges, 21955 markings/sec, 555 secs
lola: sara is running 560 secs || 12103255 markings, 56449164 edges, 22397 markings/sec, 560 secs
lola: sara is running 565 secs || 12213160 markings, 56995968 edges, 21981 markings/sec, 565 secs
lola: sara is running 570 secs || 12324998 markings, 57495341 edges, 22368 markings/sec, 570 secs
lola: sara is running 575 secs || 12434399 markings, 58004989 edges, 21880 markings/sec, 575 secs
lola: sara is running 580 secs || 12543002 markings, 58471253 edges, 21721 markings/sec, 580 secs
lola: sara is running 585 secs || 12647253 markings, 58957250 edges, 20850 markings/sec, 585 secs
lola: sara is running 590 secs || 12751600 markings, 59518909 edges, 20869 markings/sec, 590 secs
lola: sara is running 595 secs || 12860698 markings, 60044687 edges, 21820 markings/sec, 595 secs
lola: sara is running 600 secs || 12967214 markings, 60425193 edges, 21303 markings/sec, 600 secs
lola: sara is running 605 secs || 13073736 markings, 60938532 edges, 21304 markings/sec, 605 secs
lola: sara is running 610 secs || 13181137 markings, 61413840 edges, 21480 markings/sec, 610 secs
lola: sara is running 615 secs || 13290808 markings, 61920998 edges, 21934 markings/sec, 615 secs
lola: sara is running 620 secs || 13397945 markings, 62419341 edges, 21427 markings/sec, 620 secs
lola: sara is running 625 secs || 13504109 markings, 62912924 edges, 21233 markings/sec, 625 secs
lola: sara is running 630 secs || 13609546 markings, 63427234 edges, 21087 markings/sec, 630 secs
lola: sara is running 635 secs || 13711134 markings, 63881118 edges, 20318 markings/sec, 635 secs
lola: sara is running 640 secs || 13815941 markings, 64375504 edges, 20961 markings/sec, 640 secs
lola: sara is running 645 secs || 13924048 markings, 64851819 edges, 21621 markings/sec, 645 secs
lola: sara is running 650 secs || 14030890 markings, 65367658 edges, 21368 markings/sec, 650 secs
lola: sara is running 655 secs || 14141927 markings, 65837573 edges, 22207 markings/sec, 655 secs
lola: sara is running 660 secs || 14253498 markings, 66315312 edges, 22314 markings/sec, 660 secs
lola: sara is running 665 secs || 14360292 markings, 66795248 edges, 21359 markings/sec, 665 secs
lola: sara is running 670 secs || 14469946 markings, 67293165 edges, 21931 markings/sec, 670 secs
lola: sara is running 675 secs || 14576045 markings, 67806363 edges, 21220 markings/sec, 675 secs
lola: sara is running 680 secs || 14686892 markings, 68304657 edges, 22169 markings/sec, 680 secs
lola: sara is running 685 secs || 14799507 markings, 68818689 edges, 22523 markings/sec, 685 secs
lola: sara is running 690 secs || 14899974 markings, 69217752 edges, 20093 markings/sec, 690 secs
lola: sara is running 695 secs || 15004892 markings, 69651420 edges, 20984 markings/sec, 695 secs
lola: sara is running 700 secs || 15109542 markings, 70081842 edges, 20930 markings/sec, 700 secs
lola: sara is running 705 secs || 15218655 markings, 70541413 edges, 21823 markings/sec, 705 secs
lola: sara is running 710 secs || 15326859 markings, 71003229 edges, 21641 markings/sec, 710 secs
lola: sara is running 715 secs || 15432982 markings, 71459276 edges, 21225 markings/sec, 715 secs
lola: sara is running 720 secs || 15537223 markings, 71937891 edges, 20848 markings/sec, 720 secs
lola: sara is running 725 secs || 15642100 markings, 72426190 edges, 20975 markings/sec, 725 secs
lola: sara is running 730 secs || 15753723 markings, 72902104 edges, 22325 markings/sec, 730 secs
lola: sara is running 735 secs || 15861872 markings, 73381646 edges, 21630 markings/sec, 735 secs
lola: sara is running 740 secs || 15971573 markings, 73828828 edges, 21940 markings/sec, 740 secs
lola: sara is running 745 secs || 16080037 markings, 74252507 edges, 21693 markings/sec, 745 secs
lola: sara is running 750 secs || 16186864 markings, 74699611 edges, 21365 markings/sec, 750 secs
lola: sara is running 755 secs || 16294333 markings, 75177366 edges, 21494 markings/sec, 755 secs
lola: sara is running 760 secs || 16396641 markings, 75784461 edges, 20462 markings/sec, 760 secs
lola: sara is running 765 secs || 16499224 markings, 76374122 edges, 20517 markings/sec, 765 secs
lola: sara is running 770 secs || 16610826 markings, 76865975 edges, 22320 markings/sec, 770 secs
lola: sara is running 775 secs || 16717701 markings, 77306257 edges, 21375 markings/sec, 775 secs
lola: sara is running 780 secs || 16823225 markings, 77884653 edges, 21105 markings/sec, 780 secs
lola: sara is running 785 secs || 16928399 markings, 78427602 edges, 21035 markings/sec, 785 secs
lola: sara is running 790 secs || 17035960 markings, 78989015 edges, 21512 markings/sec, 790 secs
lola: sara is running 795 secs || 17142343 markings, 79549071 edges, 21277 markings/sec, 795 secs
lola: sara is running 800 secs || 17247804 markings, 80090098 edges, 21092 markings/sec, 800 secs
lola: sara is running 805 secs || 17352424 markings, 80622621 edges, 20924 markings/sec, 805 secs
lola: sara is running 810 secs || 17456817 markings, 81149468 edges, 20879 markings/sec, 810 secs
lola: sara is running 815 secs || 17560792 markings, 81696293 edges, 20795 markings/sec, 815 secs
lola: sara is running 820 secs || 17666682 markings, 82158414 edges, 21178 markings/sec, 820 secs
lola: sara is running 825 secs || 17769220 markings, 82765025 edges, 20508 markings/sec, 825 secs
lola: sara is running 830 secs || 17872515 markings, 83309511 edges, 20659 markings/sec, 830 secs
lola: sara is running 835 secs || 17975228 markings, 83874143 edges, 20543 markings/sec, 835 secs
lola: sara is running 840 secs || 18081014 markings, 84425278 edges, 21157 markings/sec, 840 secs
lola: sara is running 845 secs || 18188885 markings, 85028114 edges, 21574 markings/sec, 845 secs
lola: sara is running 850 secs || 18294282 markings, 85458589 edges, 21079 markings/sec, 850 secs
lola: sara is running 855 secs || 18388562 markings, 85997548 edges, 18856 markings/sec, 855 secs
lola: sara is running 860 secs || 18491290 markings, 86476984 edges, 20546 markings/sec, 860 secs
lola: sara is running 865 secs || 18592772 markings, 87045101 edges, 20296 markings/sec, 865 secs
lola: sara is running 870 secs || 18695575 markings, 87588001 edges, 20561 markings/sec, 870 secs
lola: sara is running 875 secs || 18796191 markings, 88133683 edges, 20123 markings/sec, 875 secs
lola: sara is running 880 secs || 18899019 markings, 88656361 edges, 20566 markings/sec, 880 secs
lola: sara is running 885 secs || 19006041 markings, 89143972 edges, 21404 markings/sec, 885 secs
lola: sara is running 890 secs || 19112409 markings, 89688322 edges, 21274 markings/sec, 890 secs
lola: sara is running 895 secs || 19218537 markings, 90230246 edges, 21226 markings/sec, 895 secs
lola: sara is running 900 secs || 19325862 markings, 90789761 edges, 21465 markings/sec, 900 secs
lola: sara is running 905 secs || 19431148 markings, 91337437 edges, 21057 markings/sec, 905 secs
lola: sara is running 910 secs || 19536164 markings, 91886652 edges, 21003 markings/sec, 910 secs
lola: sara is running 915 secs || 19641320 markings, 92337656 edges, 21031 markings/sec, 915 secs
lola: sara is running 920 secs || 19747530 markings, 92803394 edges, 21242 markings/sec, 920 secs
lola: sara is running 925 secs || 19847691 markings, 93397165 edges, 20032 markings/sec, 925 secs
lola: sara is running 930 secs || 19953540 markings, 93902174 edges, 21170 markings/sec, 930 secs
lola: sara is running 935 secs || 20057010 markings, 94430478 edges, 20694 markings/sec, 935 secs
lola: sara is running 940 secs || 20159924 markings, 94981831 edges, 20583 markings/sec, 940 secs
lola: sara is running 945 secs || 20263499 markings, 95545636 edges, 20715 markings/sec, 945 secs
lola: sara is running 950 secs || 20365509 markings, 96083903 edges, 20402 markings/sec, 950 secs
lola: sara is running 955 secs || 20467862 markings, 96627575 edges, 20471 markings/sec, 955 secs
lola: sara is running 960 secs || 20570710 markings, 97123597 edges, 20570 markings/sec, 960 secs
lola: sara is running 965 secs || 20670682 markings, 97711972 edges, 19994 markings/sec, 965 secs
lola: sara is running 970 secs || 20768699 markings, 98278444 edges, 19603 markings/sec, 970 secs
lola: sara is running 975 secs || 20866821 markings, 98876664 edges, 19624 markings/sec, 975 secs
lola: sara is running 980 secs || 20964408 markings, 99463628 edges, 19517 markings/sec, 980 secs
lola: sara is running 985 secs || 21061665 markings, 100068924 edges, 19451 markings/sec, 985 secs
lola: sara is running 990 secs || 21165094 markings, 100653568 edges, 20686 markings/sec, 990 secs
lola: sara is running 995 secs || 21267496 markings, 101147702 edges, 20480 markings/sec, 995 secs
lola: sara is running 1000 secs || 21367171 markings, 101694497 edges, 19935 markings/sec, 1000 secs
lola: sara is running 1005 secs || 21467705 markings, 102229422 edges, 20107 markings/sec, 1005 secs
lola: sara is running 1010 secs || 21565688 markings, 102778367 edges, 19597 markings/sec, 1010 secs
lola: sara is running 1015 secs || 21662267 markings, 103344828 edges, 19316 markings/sec, 1015 secs
lola: sara is running 1020 secs || 21757421 markings, 103941328 edges, 19031 markings/sec, 1020 secs
lola: sara is running 1025 secs || 21861298 markings, 104459192 edges, 20775 markings/sec, 1025 secs
lola: sara is running 1030 secs || 21965749 markings, 104993903 edges, 20890 markings/sec, 1030 secs
lola: sara is running 1035 secs || 22069714 markings, 105556484 edges, 20793 markings/sec, 1035 secs
lola: sara is running 1040 secs || 22170092 markings, 106122701 edges, 20076 markings/sec, 1040 secs
lola: sara is running 1045 secs || 22269881 markings, 106702128 edges, 19958 markings/sec, 1045 secs
lola: sara is running 1050 secs || 22371491 markings, 107275020 edges, 20322 markings/sec, 1050 secs
lola: sara is running 1055 secs || 22476472 markings, 107828552 edges, 20996 markings/sec, 1055 secs
lola: sara is running 1060 secs || 22579670 markings, 108382543 edges, 20640 markings/sec, 1060 secs
lola: sara is running 1065 secs || 22679534 markings, 108949172 edges, 19973 markings/sec, 1065 secs
lola: sara is running 1070 secs || 22786369 markings, 109485063 edges, 21367 markings/sec, 1070 secs
lola: sara is running 1075 secs || 22894552 markings, 110033122 edges, 21637 markings/sec, 1075 secs
lola: sara is running 1080 secs || 23002769 markings, 110560480 edges, 21643 markings/sec, 1080 secs
lola: sara is running 1085 secs || 23107029 markings, 111150928 edges, 20852 markings/sec, 1085 secs
lola: sara is running 1090 secs || 23211653 markings, 111734377 edges, 20925 markings/sec, 1090 secs
lola: sara is running 1095 secs || 23318086 markings, 112297356 edges, 21287 markings/sec, 1095 secs
lola: sara is running 1100 secs || 23429446 markings, 112832819 edges, 22272 markings/sec, 1100 secs
lola: sara is running 1105 secs || 23540486 markings, 113416571 edges, 22208 markings/sec, 1105 secs
lola: sara is running 1110 secs || 23651972 markings, 113982022 edges, 22297 markings/sec, 1110 secs
lola: sara is running 1115 secs || 23757950 markings, 114524459 edges, 21196 markings/sec, 1115 secs
lola: sara is running 1120 secs || 23864685 markings, 115054035 edges, 21347 markings/sec, 1120 secs
lola: sara is running 1125 secs || 23966735 markings, 115619667 edges, 20410 markings/sec, 1125 secs
lola: sara is running 1130 secs || 24071870 markings, 116181375 edges, 21027 markings/sec, 1130 secs
lola: sara is running 1135 secs || 24178513 markings, 116683755 edges, 21329 markings/sec, 1135 secs
lola: sara is running 1140 secs || 24283706 markings, 117214864 edges, 21039 markings/sec, 1140 secs
lola: sara is running 1145 secs || 24387193 markings, 117774676 edges, 20697 markings/sec, 1145 secs
lola: sara is running 1150 secs || 24489833 markings, 118310992 edges, 20528 markings/sec, 1150 secs
lola: sara is running 1155 secs || 24593019 markings, 118846393 edges, 20637 markings/sec, 1155 secs
lola: sara is running 1160 secs || 24694520 markings, 119378700 edges, 20300 markings/sec, 1160 secs
lola: sara is running 1165 secs || 24798456 markings, 119923529 edges, 20787 markings/sec, 1165 secs
lola: sara is running 1170 secs || 24904051 markings, 120438077 edges, 21119 markings/sec, 1170 secs
lola: sara is running 1175 secs || 25013124 markings, 121024574 edges, 21815 markings/sec, 1175 secs
lola: sara is running 1180 secs || 25121028 markings, 121651759 edges, 21581 markings/sec, 1180 secs
lola: sara is running 1185 secs || 25228252 markings, 122264084 edges, 21445 markings/sec, 1185 secs
lola: sara is running 1190 secs || 25336153 markings, 122853544 edges, 21580 markings/sec, 1190 secs
lola: sara is running 1195 secs || 25441984 markings, 123466448 edges, 21166 markings/sec, 1195 secs
lola: sara is running 1200 secs || 25543857 markings, 124115017 edges, 20375 markings/sec, 1200 secs
lola: sara is running 1205 secs || 25647101 markings, 124742483 edges, 20649 markings/sec, 1205 secs
lola: sara is running 1210 secs || 25750955 markings, 125379027 edges, 20771 markings/sec, 1210 secs
lola: sara is running 1215 secs || 25854569 markings, 126012344 edges, 20723 markings/sec, 1215 secs
lola: sara is running 1220 secs || 25962627 markings, 126635888 edges, 21612 markings/sec, 1220 secs
lola: sara is running 1225 secs || 26070980 markings, 127299407 edges, 21671 markings/sec, 1225 secs
lola: sara is running 1230 secs || 26177605 markings, 127918322 edges, 21325 markings/sec, 1230 secs
lola: sara is running 1235 secs || 26281219 markings, 128541148 edges, 20723 markings/sec, 1235 secs
lola: sara is running 1240 secs || 26386079 markings, 129136253 edges, 20972 markings/sec, 1240 secs
lola: sara is running 1245 secs || 26486117 markings, 129781515 edges, 20008 markings/sec, 1245 secs
lola: sara is running 1250 secs || 26586290 markings, 130426410 edges, 20035 markings/sec, 1250 secs
lola: sara is running 1255 secs || 26690744 markings, 131020527 edges, 20891 markings/sec, 1255 secs
lola: sara is running 1260 secs || 26796528 markings, 131656226 edges, 21157 markings/sec, 1260 secs
lola: sara is running 1265 secs || 26903889 markings, 132285000 edges, 21472 markings/sec, 1265 secs
lola: sara is running 1270 secs || 27009574 markings, 132925675 edges, 21137 markings/sec, 1270 secs
lola: sara is running 1275 secs || 27116682 markings, 133552649 edges, 21422 markings/sec, 1275 secs
lola: sara is running 1280 secs || 27221182 markings, 134171612 edges, 20900 markings/sec, 1280 secs
lola: sara is running 1285 secs || 27325078 markings, 134812222 edges, 20779 markings/sec, 1285 secs
lola: sara is running 1290 secs || 27423538 markings, 135505187 edges, 19692 markings/sec, 1290 secs
lola: sara is running 1295 secs || 27526216 markings, 136146531 edges, 20536 markings/sec, 1295 secs
lola: sara is running 1300 secs || 27628196 markings, 136803204 edges, 20396 markings/sec, 1300 secs
lola: sara is running 1305 secs || 27731039 markings, 137429884 edges, 20569 markings/sec, 1305 secs
lola: sara is running 1310 secs || 27834193 markings, 138045980 edges, 20631 markings/sec, 1310 secs
lola: sara is running 1315 secs || 27933073 markings, 138705019 edges, 19776 markings/sec, 1315 secs
lola: sara is running 1320 secs || 28035886 markings, 139331642 edges, 20563 markings/sec, 1320 secs
lola: sara is running 1325 secs || 28140328 markings, 139983097 edges, 20888 markings/sec, 1325 secs
lola: sara is running 1330 secs || 28241133 markings, 140645772 edges, 20161 markings/sec, 1330 secs
lola: sara is running 1335 secs || 28343057 markings, 141299390 edges, 20385 markings/sec, 1335 secs
lola: sara is running 1340 secs || 28447176 markings, 141884108 edges, 20824 markings/sec, 1340 secs
lola: sara is running 1345 secs || 28551637 markings, 142465539 edges, 20892 markings/sec, 1345 secs
lola: sara is running 1350 secs || 28654738 markings, 143082840 edges, 20620 markings/sec, 1350 secs
lola: sara is running 1355 secs || 28754845 markings, 143798961 edges, 20021 markings/sec, 1355 secs
lola: sara is running 1360 secs || 28856569 markings, 144495764 edges, 20345 markings/sec, 1360 secs
lola: sara is running 1365 secs || 28956288 markings, 145157759 edges, 19944 markings/sec, 1365 secs
lola: sara is running 1370 secs || 29052926 markings, 145868132 edges, 19328 markings/sec, 1370 secs
lola: sara is running 1375 secs || 29150901 markings, 146587786 edges, 19595 markings/sec, 1375 secs
lola: sara is running 1380 secs || 29251928 markings, 147273787 edges, 20205 markings/sec, 1380 secs
lola: sara is running 1385 secs || 29353916 markings, 147967658 edges, 20398 markings/sec, 1385 secs
lola: sara is running 1390 secs || 29456054 markings, 148760363 edges, 20428 markings/sec, 1390 secs
lola: sara is running 1395 secs || 29556079 markings, 149640213 edges, 20005 markings/sec, 1395 secs
lola: sara is running 1400 secs || 29658267 markings, 150455711 edges, 20438 markings/sec, 1400 secs
lola: sara is running 1405 secs || 29754317 markings, 151294336 edges, 19210 markings/sec, 1405 secs
lola: sara is running 1410 secs || 29850112 markings, 152174531 edges, 19159 markings/sec, 1410 secs
lola: sara is running 1415 secs || 29948558 markings, 153038639 edges, 19689 markings/sec, 1415 secs
lola: sara is running 1420 secs || 30048118 markings, 153863711 edges, 19912 markings/sec, 1420 secs
lola: sara is running 1425 secs || 30150152 markings, 154626068 edges, 20407 markings/sec, 1425 secs
lola: sara is running 1430 secs || 30253376 markings, 155376168 edges, 20645 markings/sec, 1430 secs
lola: sara is running 1435 secs || 30356234 markings, 156005372 edges, 20572 markings/sec, 1435 secs
lola: sara is running 1440 secs || 30458859 markings, 156597271 edges, 20525 markings/sec, 1440 secs
lola: sara is running 1445 secs || 30561007 markings, 157177628 edges, 20430 markings/sec, 1445 secs
lola: sara is running 1450 secs || 30658821 markings, 157811348 edges, 19563 markings/sec, 1450 secs
lola: sara is running 1455 secs || 30759227 markings, 158411361 edges, 20081 markings/sec, 1455 secs
lola: sara is running 1460 secs || 30860003 markings, 159009703 edges, 20155 markings/sec, 1460 secs
lola: sara is running 1465 secs || 30958283 markings, 159701111 edges, 19656 markings/sec, 1465 secs
lola: sara is running 1470 secs || 31057867 markings, 160357040 edges, 19917 markings/sec, 1470 secs
lola: sara is running 1475 secs || 31153995 markings, 161023942 edges, 19226 markings/sec, 1475 secs
lola: sara is running 1480 secs || 31249488 markings, 161714580 edges, 19099 markings/sec, 1480 secs
lola: sara is running 1485 secs || 31346333 markings, 162383720 edges, 19369 markings/sec, 1485 secs
lola: sara is running 1490 secs || 31445302 markings, 163082983 edges, 19794 markings/sec, 1490 secs
lola: sara is running 1495 secs || 31542195 markings, 163938549 edges, 19379 markings/sec, 1495 secs
lola: sara is running 1500 secs || 31636876 markings, 164749789 edges, 18936 markings/sec, 1500 secs
lola: sara is running 1505 secs || 31731058 markings, 165604913 edges, 18836 markings/sec, 1505 secs
lola: sara is running 1510 secs || 31830174 markings, 166331440 edges, 19823 markings/sec, 1510 secs
lola: sara is running 1515 secs || 31934377 markings, 166926585 edges, 20841 markings/sec, 1515 secs
lola: sara is running 1520 secs || 32036878 markings, 167531440 edges, 20500 markings/sec, 1520 secs
lola: sara is running 1525 secs || 32140620 markings, 168232527 edges, 20748 markings/sec, 1525 secs
lola: sara is running 1530 secs || 32245077 markings, 168948360 edges, 20891 markings/sec, 1530 secs
lola: sara is running 1535 secs || 32346486 markings, 169538240 edges, 20282 markings/sec, 1535 secs
lola: sara is running 1540 secs || 32448294 markings, 170104749 edges, 20362 markings/sec, 1540 secs
lola: sara is running 1545 secs || 32547767 markings, 170728494 edges, 19895 markings/sec, 1545 secs
lola: sara is running 1550 secs || 32649513 markings, 171398353 edges, 20349 markings/sec, 1550 secs
lola: sara is running 1555 secs || 32752118 markings, 171970375 edges, 20521 markings/sec, 1555 secs
lola: sara is running 1560 secs || 32853886 markings, 172542592 edges, 20354 markings/sec, 1560 secs
lola: sara is running 1565 secs || 32954714 markings, 173122806 edges, 20166 markings/sec, 1565 secs
lola: sara is running 1570 secs || 33055479 markings, 173710032 edges, 20153 markings/sec, 1570 secs
lola: sara is running 1575 secs || 33154916 markings, 174317016 edges, 19887 markings/sec, 1575 secs
lola: sara is running 1580 secs || 33254191 markings, 174940384 edges, 19855 markings/sec, 1580 secs
lola: sara is running 1585 secs || 33351489 markings, 175644281 edges, 19460 markings/sec, 1585 secs
lola: sara is running 1590 secs || 33448390 markings, 176349831 edges, 19380 markings/sec, 1590 secs
lola: sara is running 1595 secs || 33543788 markings, 177030806 edges, 19080 markings/sec, 1595 secs
lola: sara is running 1600 secs || 33640734 markings, 177730401 edges, 19389 markings/sec, 1600 secs
lola: sara is running 1605 secs || 33750855 markings, 178244636 edges, 22024 markings/sec, 1605 secs
lola: sara is running 1610 secs || 33859298 markings, 178773837 edges, 21689 markings/sec, 1610 secs
lola: sara is running 1615 secs || 33966542 markings, 179321428 edges, 21449 markings/sec, 1615 secs
lola: sara is running 1620 secs || 34074207 markings, 179829463 edges, 21533 markings/sec, 1620 secs
lola: sara is running 1625 secs || 34176211 markings, 180390403 edges, 20401 markings/sec, 1625 secs
lola: sara is running 1630 secs || 34282895 markings, 180952659 edges, 21337 markings/sec, 1630 secs
lola: sara is running 1635 secs || 34393212 markings, 181495777 edges, 22063 markings/sec, 1635 secs
lola: sara is running 1640 secs || 34501517 markings, 182061006 edges, 21661 markings/sec, 1640 secs
lola: sara is running 1645 secs || 34610192 markings, 182584866 edges, 21735 markings/sec, 1645 secs
lola: sara is running 1650 secs || 34718223 markings, 183136784 edges, 21606 markings/sec, 1650 secs
lola: sara is running 1655 secs || 34823583 markings, 183738231 edges, 21072 markings/sec, 1655 secs
lola: sara is running 1660 secs || 34925251 markings, 184346664 edges, 20334 markings/sec, 1660 secs
lola: sara is running 1665 secs || 35030455 markings, 184964543 edges, 21041 markings/sec, 1665 secs
lola: sara is running 1670 secs || 35135112 markings, 185574299 edges, 20931 markings/sec, 1670 secs
lola: sara is running 1675 secs || 35241641 markings, 186178777 edges, 21306 markings/sec, 1675 secs
lola: sara is running 1680 secs || 35347146 markings, 186802500 edges, 21101 markings/sec, 1680 secs
lola: sara is running 1685 secs || 35451992 markings, 187439029 edges, 20969 markings/sec, 1685 secs
lola: sara is running 1690 secs || 35554950 markings, 188078277 edges, 20592 markings/sec, 1690 secs
lola: sara is running 1695 secs || 35651708 markings, 188858406 edges, 19352 markings/sec, 1695 secs
lola: sara is running 1700 secs || 35747035 markings, 189639285 edges, 19065 markings/sec, 1700 secs
lola: sara is running 1705 secs || 35849710 markings, 190258711 edges, 20535 markings/sec, 1705 secs
lola: sara is running 1710 secs || 35953016 markings, 190761278 edges, 20661 markings/sec, 1710 secs
lola: sara is running 1715 secs || 36053240 markings, 191263455 edges, 20045 markings/sec, 1715 secs
lola: sara is running 1720 secs || 36158271 markings, 191752305 edges, 21006 markings/sec, 1720 secs
lola: sara is running 1725 secs || 36263577 markings, 192257442 edges, 21061 markings/sec, 1725 secs
lola: sara is running 1730 secs || 36368672 markings, 192735682 edges, 21019 markings/sec, 1730 secs
lola: sara is running 1735 secs || 36473587 markings, 193252290 edges, 20983 markings/sec, 1735 secs
lola: sara is running 1740 secs || 36575389 markings, 193727000 edges, 20360 markings/sec, 1740 secs
lola: sara is running 1745 secs || 36678834 markings, 194229253 edges, 20689 markings/sec, 1745 secs
lola: sara is running 1750 secs || 36772804 markings, 194711772 edges, 18794 markings/sec, 1750 secs
lola: sara is running 1755 secs || 36871835 markings, 195221202 edges, 19806 markings/sec, 1755 secs
lola: sara is running 1760 secs || 36973792 markings, 195735294 edges, 20391 markings/sec, 1760 secs
lola: sara is running 1765 secs || 37078657 markings, 196252393 edges, 20973 markings/sec, 1765 secs
lola: sara is running 1770 secs || 37184629 markings, 196764595 edges, 21194 markings/sec, 1770 secs
lola: sara is running 1775 secs || 37288502 markings, 197265740 edges, 20775 markings/sec, 1775 secs
lola: sara is running 1780 secs || 37390058 markings, 197794916 edges, 20311 markings/sec, 1780 secs
lola: sara is running 1785 secs || 37492248 markings, 198369031 edges, 20438 markings/sec, 1785 secs
lola: sara is running 1790 secs || 37594042 markings, 198927627 edges, 20359 markings/sec, 1790 secs
lola: sara is running 1795 secs || 37692789 markings, 199505669 edges, 19749 markings/sec, 1795 secs
lola: sara is running 1800 secs || 37792585 markings, 200094286 edges, 19959 markings/sec, 1800 secs
lola: sara is running 1805 secs || 37894942 markings, 200682247 edges, 20471 markings/sec, 1805 secs
lola: sara is running 1810 secs || 37998085 markings, 201254751 edges, 20629 markings/sec, 1810 secs
lola: sara is running 1815 secs || 38100507 markings, 201849632 edges, 20484 markings/sec, 1815 secs
lola: sara is running 1820 secs || 38203056 markings, 202446675 edges, 20510 markings/sec, 1820 secs
lola: sara is running 1825 secs || 38303836 markings, 203058567 edges, 20156 markings/sec, 1825 secs
lola: sara is running 1830 secs || 38405362 markings, 203668886 edges, 20305 markings/sec, 1830 secs
lola: sara is running 1835 secs || 38503955 markings, 204427087 edges, 19719 markings/sec, 1835 secs
lola: sara is running 1840 secs || 38599190 markings, 205243553 edges, 19047 markings/sec, 1840 secs
lola: sara is running 1845 secs || 38701105 markings, 205863791 edges, 20383 markings/sec, 1845 secs
lola: sara is running 1850 secs || 38801582 markings, 206463490 edges, 20095 markings/sec, 1850 secs
lola: sara is running 1855 secs || 38909992 markings, 206869218 edges, 21682 markings/sec, 1855 secs
lola: sara is running 1860 secs || 39021092 markings, 207283488 edges, 22220 markings/sec, 1860 secs
lola: sara is running 1865 secs || 39129386 markings, 207742762 edges, 21659 markings/sec, 1865 secs
lola: sara is running 1870 secs || 39234398 markings, 208328305 edges, 21002 markings/sec, 1870 secs
lola: sara is running 1875 secs || 39340128 markings, 208835598 edges, 21146 markings/sec, 1875 secs
lola: sara is running 1880 secs || 39446749 markings, 209370113 edges, 21324 markings/sec, 1880 secs
lola: sara is running 1885 secs || 39551581 markings, 209872758 edges, 20966 markings/sec, 1885 secs
lola: sara is running 1890 secs || 39658657 markings, 210306070 edges, 21415 markings/sec, 1890 secs
lola: sara is running 1895 secs || 39764881 markings, 210799519 edges, 21245 markings/sec, 1895 secs
lola: sara is running 1900 secs || 39868065 markings, 211340748 edges, 20637 markings/sec, 1900 secs
lola: sara is running 1905 secs || 39972251 markings, 211885662 edges, 20837 markings/sec, 1905 secs
lola: sara is running 1910 secs || 40075523 markings, 212411653 edges, 20654 markings/sec, 1910 secs
lola: sara is running 1915 secs || 40175731 markings, 212913140 edges, 20042 markings/sec, 1915 secs
lola: sara is running 1920 secs || 40279814 markings, 213378422 edges, 20817 markings/sec, 1920 secs
lola: sara is running 1925 secs || 40380890 markings, 213905600 edges, 20215 markings/sec, 1925 secs
lola: sara is running 1930 secs || 40481652 markings, 214433647 edges, 20152 markings/sec, 1930 secs
lola: sara is running 1935 secs || 40588096 markings, 214845463 edges, 21289 markings/sec, 1935 secs
lola: sara is running 1940 secs || 40694156 markings, 215384883 edges, 21212 markings/sec, 1940 secs
lola: sara is running 1945 secs || 40800745 markings, 215910919 edges, 21318 markings/sec, 1945 secs
lola: sara is running 1950 secs || 40905509 markings, 216433709 edges, 20953 markings/sec, 1950 secs
lola: sara is running 1955 secs || 41012095 markings, 216858530 edges, 21317 markings/sec, 1955 secs
lola: sara is running 1960 secs || 41118438 markings, 217299567 edges, 21269 markings/sec, 1960 secs
lola: sara is running 1965 secs || 41219327 markings, 217854227 edges, 20178 markings/sec, 1965 secs
lola: sara is running 1970 secs || 41322385 markings, 218375817 edges, 20612 markings/sec, 1970 secs
lola: sara is running 1975 secs || 41425329 markings, 218846379 edges, 20589 markings/sec, 1975 secs
lola: sara is running 1980 secs || 41528218 markings, 219360500 edges, 20578 markings/sec, 1980 secs
lola: sara is running 1985 secs || 41629543 markings, 219882168 edges, 20265 markings/sec, 1985 secs
lola: sara is running 1990 secs || 41726535 markings, 220431366 edges, 19398 markings/sec, 1990 secs
lola: sara is running 1995 secs || 41824066 markings, 220997604 edges, 19506 markings/sec, 1995 secs
lola: sara is running 2000 secs || 41921705 markings, 221561542 edges, 19528 markings/sec, 2000 secs
lola: sara is running 2005 secs || 42023700 markings, 222041088 edges, 20399 markings/sec, 2005 secs
lola: sara is running 2010 secs || 42105949 markings, 222491016 edges, 16450 markings/sec, 2010 secs
lola: sara is running 2015 secs || 42200943 markings, 223022933 edges, 18999 markings/sec, 2015 secs
lola: sara is running 2020 secs || 42304459 markings, 223507125 edges, 20703 markings/sec, 2020 secs
lola: sara is running 2025 secs || 42407090 markings, 224031779 edges, 20526 markings/sec, 2025 secs
lola: sara is running 2030 secs || 42500669 markings, 224537584 edges, 18716 markings/sec, 2030 secs
lola: sara is running 2035 secs || 42600717 markings, 225077309 edges, 20010 markings/sec, 2035 secs
lola: sara is running 2040 secs || 42703167 markings, 225600476 edges, 20490 markings/sec, 2040 secs
lola: sara is running 2045 secs || 42805070 markings, 226133920 edges, 20381 markings/sec, 2045 secs
lola: sara is running 2050 secs || 42910676 markings, 226630493 edges, 21121 markings/sec, 2050 secs
lola: sara is running 2055 secs || 43017094 markings, 227138637 edges, 21284 markings/sec, 2055 secs
lola: sara is running 2060 secs || 43120230 markings, 227592200 edges, 20627 markings/sec, 2060 secs
lola: sara is running 2065 secs || 43224514 markings, 228094901 edges, 20857 markings/sec, 2065 secs
lola: sara is running 2070 secs || 43326397 markings, 228665601 edges, 20377 markings/sec, 2070 secs
lola: sara is running 2075 secs || 43432059 markings, 229186067 edges, 21132 markings/sec, 2075 secs
lola: sara is running 2080 secs || 43537015 markings, 229691316 edges, 20991 markings/sec, 2080 secs
lola: sara is running 2085 secs || 43631123 markings, 230129535 edges, 18822 markings/sec, 2085 secs
lola: sara is running 2090 secs || 43730528 markings, 230651721 edges, 19881 markings/sec, 2090 secs
lola: sara is running 2095 secs || 43833682 markings, 231123159 edges, 20631 markings/sec, 2095 secs
lola: sara is running 2100 secs || 43938519 markings, 231623470 edges, 20967 markings/sec, 2100 secs
lola: sara is running 2105 secs || 44041331 markings, 232131101 edges, 20562 markings/sec, 2105 secs
lola: sara is running 2110 secs || 44144207 markings, 232631778 edges, 20575 markings/sec, 2110 secs
lola: sara is running 2115 secs || 44250003 markings, 233112248 edges, 21159 markings/sec, 2115 secs
lola: sara is running 2120 secs || 44355755 markings, 233612185 edges, 21150 markings/sec, 2120 secs
lola: sara is running 2125 secs || 44462207 markings, 234134869 edges, 21290 markings/sec, 2125 secs
lola: sara is running 2130 secs || 44563979 markings, 234572859 edges, 20354 markings/sec, 2130 secs
lola: sara is running 2135 secs || 44668604 markings, 235053801 edges, 20925 markings/sec, 2135 secs
lola: sara is running 2140 secs || 44770865 markings, 235521803 edges, 20452 markings/sec, 2140 secs
lola: sara is running 2145 secs || 44875385 markings, 236015591 edges, 20904 markings/sec, 2145 secs
lola: sara is running 2150 secs || 44982051 markings, 236519928 edges, 21333 markings/sec, 2150 secs
lola: sara is running 2155 secs || 45091206 markings, 237070386 edges, 21831 markings/sec, 2155 secs
lola: sara is running 2160 secs || 45198297 markings, 237627828 edges, 21418 markings/sec, 2160 secs
lola: sara is running 2165 secs || 45301693 markings, 238208404 edges, 20679 markings/sec, 2165 secs
lola: sara is running 2170 secs || 45407219 markings, 238761595 edges, 21105 markings/sec, 2170 secs
lola: sara is running 2175 secs || 45513433 markings, 239325278 edges, 21243 markings/sec, 2175 secs
lola: sara is running 2180 secs || 45618235 markings, 239874917 edges, 20960 markings/sec, 2180 secs
lola: sara is running 2185 secs || 45719754 markings, 240467247 edges, 20304 markings/sec, 2185 secs
lola: sara is running 2190 secs || 45819488 markings, 241068499 edges, 19947 markings/sec, 2190 secs
lola: sara is running 2195 secs || 45921722 markings, 241652147 edges, 20447 markings/sec, 2195 secs
lola: sara is running 2200 secs || 46024145 markings, 242249778 edges, 20485 markings/sec, 2200 secs
lola: sara is running 2205 secs || 46133180 markings, 242823628 edges, 21807 markings/sec, 2205 secs
lola: sara is running 2210 secs || 46238802 markings, 243425101 edges, 21124 markings/sec, 2210 secs
lola: sara is running 2215 secs || 46335638 markings, 243956322 edges, 19367 markings/sec, 2215 secs
lola: sara is running 2220 secs || 46440514 markings, 244519723 edges, 20975 markings/sec, 2220 secs
lola: sara is running 2225 secs || 46546694 markings, 245117186 edges, 21236 markings/sec, 2225 secs
lola: sara is running 2230 secs || 46651737 markings, 245722029 edges, 21009 markings/sec, 2230 secs
lola: sara is running 2235 secs || 46755757 markings, 246304040 edges, 20804 markings/sec, 2235 secs
lola: sara is running 2240 secs || 46854524 markings, 246948418 edges, 19753 markings/sec, 2240 secs
lola: sara is running 2245 secs || 46956211 markings, 247565040 edges, 20337 markings/sec, 2245 secs
lola: sara is running 2250 secs || 47058435 markings, 248156198 edges, 20445 markings/sec, 2250 secs
lola: sara is running 2255 secs || 47158048 markings, 248756316 edges, 19923 markings/sec, 2255 secs
lola: sara is running 2260 secs || 47263716 markings, 249366782 edges, 21134 markings/sec, 2260 secs
lola: sara is running 2265 secs || 47371549 markings, 249977158 edges, 21567 markings/sec, 2265 secs
lola: sara is running 2270 secs || 47475056 markings, 250619278 edges, 20701 markings/sec, 2270 secs
lola: sara is running 2275 secs || 47579936 markings, 251231300 edges, 20976 markings/sec, 2275 secs
lola: sara is running 2280 secs || 47684966 markings, 251846889 edges, 21006 markings/sec, 2280 secs
lola: sara is running 2285 secs || 47789536 markings, 252478690 edges, 20914 markings/sec, 2285 secs
lola: sara is running 2290 secs || 47895293 markings, 253076546 edges, 21151 markings/sec, 2290 secs
lola: sara is running 2295 secs || 47998892 markings, 253750944 edges, 20720 markings/sec, 2295 secs
lola: sara is running 2300 secs || 48099370 markings, 254460131 edges, 20096 markings/sec, 2300 secs
lola: sara is running 2305 secs || 48202555 markings, 255155905 edges, 20637 markings/sec, 2305 secs
lola: sara is running 2310 secs || 48302567 markings, 256024406 edges, 20002 markings/sec, 2310 secs
lola: sara is running 2315 secs || 48399126 markings, 256844856 edges, 19312 markings/sec, 2315 secs
lola: sara is running 2320 secs || 48497251 markings, 257707720 edges, 19625 markings/sec, 2320 secs
lola: sara is running 2325 secs || 48597613 markings, 258504793 edges, 20072 markings/sec, 2325 secs
lola: sara is running 2330 secs || 48701188 markings, 259132246 edges, 20715 markings/sec, 2330 secs
lola: sara is running 2335 secs || 48803249 markings, 259728568 edges, 20412 markings/sec, 2335 secs
lola: sara is running 2340 secs || 48904926 markings, 260380085 edges, 20335 markings/sec, 2340 secs
lola: sara is running 2345 secs || 49004266 markings, 261051566 edges, 19868 markings/sec, 2345 secs
lola: sara is running 2350 secs || 49101433 markings, 261854530 edges, 19433 markings/sec, 2350 secs
lola: sara is running 2355 secs || 49198634 markings, 262660098 edges, 19440 markings/sec, 2355 secs
lola: sara is running 2360 secs || 49303783 markings, 263274607 edges, 21030 markings/sec, 2360 secs
lola: sara is running 2365 secs || 49406125 markings, 263990260 edges, 20468 markings/sec, 2365 secs
lola: sara is running 2370 secs || 49510488 markings, 264608487 edges, 20873 markings/sec, 2370 secs
lola: sara is running 2375 secs || 49612241 markings, 265264835 edges, 20351 markings/sec, 2375 secs
lola: sara is running 2380 secs || 49712751 markings, 265832262 edges, 20102 markings/sec, 2380 secs
lola: sara is running 2385 secs || 49813802 markings, 266430059 edges, 20210 markings/sec, 2385 secs
lola: sara is running 2390 secs || 49910801 markings, 267131430 edges, 19400 markings/sec, 2390 secs
lola: sara is running 2395 secs || 50005034 markings, 267720973 edges, 18847 markings/sec, 2395 secs
lola: sara is running 2400 secs || 50106853 markings, 268282315 edges, 20364 markings/sec, 2400 secs
lola: sara is running 2405 secs || 50207172 markings, 268942478 edges, 20064 markings/sec, 2405 secs
lola: sara is running 2410 secs || 50306509 markings, 269529707 edges, 19867 markings/sec, 2410 secs
lola: sara is running 2415 secs || 50407596 markings, 270062807 edges, 20217 markings/sec, 2415 secs
lola: sara is running 2420 secs || 50511267 markings, 270614618 edges, 20734 markings/sec, 2420 secs
lola: sara is running 2425 secs || 50611408 markings, 271308105 edges, 20028 markings/sec, 2425 secs
lola: sara is running 2430 secs || 50715257 markings, 271853032 edges, 20770 markings/sec, 2430 secs
lola: sara is running 2435 secs || 50818208 markings, 272387840 edges, 20590 markings/sec, 2435 secs
lola: sara is running 2440 secs || 50918555 markings, 272919253 edges, 20069 markings/sec, 2440 secs
lola: sara is running 2445 secs || 51022041 markings, 273456264 edges, 20697 markings/sec, 2445 secs
lola: sara is running 2450 secs || 51123450 markings, 273986713 edges, 20282 markings/sec, 2450 secs
lola: sara is running 2455 secs || 51218707 markings, 274556371 edges, 19051 markings/sec, 2455 secs
lola: sara is running 2460 secs || 51317720 markings, 275092690 edges, 19803 markings/sec, 2460 secs
lola: sara is running 2465 secs || 51418703 markings, 275648476 edges, 20197 markings/sec, 2465 secs
lola: sara is running 2470 secs || 51523450 markings, 276210951 edges, 20949 markings/sec, 2470 secs
lola: sara is running 2475 secs || 51621572 markings, 276735018 edges, 19624 markings/sec, 2475 secs
lola: sara is running 2480 secs || 51725957 markings, 277278145 edges, 20877 markings/sec, 2480 secs
lola: sara is running 2485 secs || 51829889 markings, 277850697 edges, 20786 markings/sec, 2485 secs
lola: sara is running 2490 secs || 51931177 markings, 278435195 edges, 20258 markings/sec, 2490 secs
lola: sara is running 2495 secs || 52032962 markings, 279040982 edges, 20357 markings/sec, 2495 secs
lola: sara is running 2500 secs || 52138976 markings, 279646343 edges, 21203 markings/sec, 2500 secs
lola: sara is running 2505 secs || 52242220 markings, 280232490 edges, 20649 markings/sec, 2505 secs
lola: sara is running 2510 secs || 52344242 markings, 280851197 edges, 20404 markings/sec, 2510 secs
lola: sara is running 2515 secs || 52449053 markings, 281466338 edges, 20962 markings/sec, 2515 secs
lola: sara is running 2520 secs || 52552129 markings, 282106576 edges, 20615 markings/sec, 2520 secs
lola: sara is running 2525 secs || 52655094 markings, 282788941 edges, 20593 markings/sec, 2525 secs
lola: sara is running 2530 secs || 52750812 markings, 283682110 edges, 19144 markings/sec, 2530 secs
lola: sara is running 2535 secs || 52848249 markings, 284530347 edges, 19487 markings/sec, 2535 secs
lola: sara is running 2540 secs || 52950610 markings, 285247980 edges, 20472 markings/sec, 2540 secs
lola: sara is running 2545 secs || 53049226 markings, 285876057 edges, 19723 markings/sec, 2545 secs
lola: sara is running 2550 secs || 53157475 markings, 286402004 edges, 21650 markings/sec, 2550 secs
lola: sara is running 2555 secs || 53265473 markings, 286926767 edges, 21600 markings/sec, 2555 secs
lola: sara is running 2560 secs || 53370097 markings, 287475465 edges, 20925 markings/sec, 2560 secs
lola: sara is running 2565 secs || 53472600 markings, 288051041 edges, 20501 markings/sec, 2565 secs
lola: sara is running 2570 secs || 53577195 markings, 288629125 edges, 20919 markings/sec, 2570 secs
lola: sara is running 2575 secs || 53685639 markings, 289182900 edges, 21689 markings/sec, 2575 secs
lola: sara is running 2580 secs || 53792950 markings, 289732627 edges, 21462 markings/sec, 2580 secs
lola: sara is running 2585 secs || 53897057 markings, 290287467 edges, 20821 markings/sec, 2585 secs
lola: sara is running 2590 secs || 53998603 markings, 290888270 edges, 20309 markings/sec, 2590 secs
lola: sara is running 2595 secs || 54105011 markings, 291483656 edges, 21282 markings/sec, 2595 secs
lola: sara is running 2600 secs || 54207655 markings, 292110601 edges, 20529 markings/sec, 2600 secs
lola: sara is running 2605 secs || 54311552 markings, 292780329 edges, 20779 markings/sec, 2605 secs
lola: sara is running 2610 secs || 54414394 markings, 293572719 edges, 20568 markings/sec, 2610 secs
lola: sara is running 2615 secs || 54519642 markings, 294358995 edges, 21050 markings/sec, 2615 secs
lola: sara is running 2620 secs || 54625523 markings, 294953894 edges, 21176 markings/sec, 2620 secs
lola: sara is running 2625 secs || 54732120 markings, 295465714 edges, 21319 markings/sec, 2625 secs
lola: sara is running 2630 secs || 54833886 markings, 296037510 edges, 20353 markings/sec, 2630 secs
lola: sara is running 2635 secs || 54942036 markings, 296579541 edges, 21630 markings/sec, 2635 secs
lola: sara is running 2640 secs || 55046826 markings, 297174057 edges, 20958 markings/sec, 2640 secs
lola: sara is running 2645 secs || 55152833 markings, 297807204 edges, 21201 markings/sec, 2645 secs
lola: sara is running 2650 secs || 55257461 markings, 298588285 edges, 20926 markings/sec, 2650 secs
lola: sara is running 2655 secs || 55363915 markings, 299161578 edges, 21291 markings/sec, 2655 secs
lola: sara is running 2660 secs || 55466068 markings, 299733800 edges, 20431 markings/sec, 2660 secs
lola: sara is running 2665 secs || 55571605 markings, 300293897 edges, 21107 markings/sec, 2665 secs
lola: sara is running 2670 secs || 55677326 markings, 300894083 edges, 21144 markings/sec, 2670 secs
lola: sara is running 2675 secs || 55779179 markings, 301692218 edges, 20371 markings/sec, 2675 secs
lola: sara is running 2680 secs || 55885133 markings, 302260887 edges, 21191 markings/sec, 2680 secs
lola: sara is running 2685 secs || 55987027 markings, 302757960 edges, 20379 markings/sec, 2685 secs
lola: sara is running 2690 secs || 56087447 markings, 303277910 edges, 20084 markings/sec, 2690 secs
lola: sara is running 2695 secs || 56186490 markings, 303892579 edges, 19809 markings/sec, 2695 secs
lola: sara is running 2700 secs || 56286428 markings, 304475373 edges, 19988 markings/sec, 2700 secs
lola: sara is running 2705 secs || 56386294 markings, 305064102 edges, 19973 markings/sec, 2705 secs
lola: sara is running 2710 secs || 56486037 markings, 305646270 edges, 19949 markings/sec, 2710 secs
lola: sara is running 2715 secs || 56594070 markings, 306170720 edges, 21607 markings/sec, 2715 secs
lola: sara is running 2720 secs || 56700916 markings, 306781789 edges, 21369 markings/sec, 2720 secs
lola: sara is running 2725 secs || 56806486 markings, 307378378 edges, 21114 markings/sec, 2725 secs
lola: sara is running 2730 secs || 56908915 markings, 307872505 edges, 20486 markings/sec, 2730 secs
lola: sara is running 2735 secs || 57010456 markings, 308388210 edges, 20308 markings/sec, 2735 secs
lola: sara is running 2740 secs || 57109656 markings, 308893677 edges, 19840 markings/sec, 2740 secs
lola: sara is running 2745 secs || 57212130 markings, 309412364 edges, 20495 markings/sec, 2745 secs
lola: sara is running 2750 secs || 57314877 markings, 309937934 edges, 20549 markings/sec, 2750 secs
lola: sara is running 2755 secs || 57415760 markings, 310511325 edges, 20177 markings/sec, 2755 secs
lola: sara is running 2760 secs || 57516725 markings, 311125837 edges, 20193 markings/sec, 2760 secs
lola: sara is running 2765 secs || 57612154 markings, 311887022 edges, 19086 markings/sec, 2765 secs
lola: sara is running 2770 secs || 57714803 markings, 312436477 edges, 20530 markings/sec, 2770 secs
lola: sara is running 2775 secs || 57819636 markings, 313001347 edges, 20967 markings/sec, 2775 secs
lola: sara is running 2780 secs || 57923234 markings, 313597092 edges, 20720 markings/sec, 2780 secs
lola: sara is running 2785 secs || 58027569 markings, 314221480 edges, 20867 markings/sec, 2785 secs
lola: sara is running 2790 secs || 58129339 markings, 314747730 edges, 20354 markings/sec, 2790 secs
lola: sara is running 2795 secs || 58238668 markings, 315152262 edges, 21866 markings/sec, 2795 secs
lola: sara is running 2800 secs || 58350995 markings, 315563113 edges, 22465 markings/sec, 2800 secs
lola: sara is running 2805 secs || 58457848 markings, 316004898 edges, 21371 markings/sec, 2805 secs
lola: sara is running 2810 secs || 58565631 markings, 316504633 edges, 21557 markings/sec, 2810 secs
lola: sara is running 2815 secs || 58668545 markings, 317107609 edges, 20583 markings/sec, 2815 secs
lola: sara is running 2820 secs || 58777906 markings, 317607790 edges, 21872 markings/sec, 2820 secs
lola: sara is running 2825 secs || 58886202 markings, 318051229 edges, 21659 markings/sec, 2825 secs
lola: sara is running 2830 secs || 58990963 markings, 318628712 edges, 20952 markings/sec, 2830 secs
lola: sara is running 2835 secs || 59096148 markings, 319167896 edges, 21037 markings/sec, 2835 secs
lola: sara is running 2840 secs || 59201904 markings, 319677835 edges, 21151 markings/sec, 2840 secs
lola: sara is running 2845 secs || 59305196 markings, 320201523 edges, 20658 markings/sec, 2845 secs
lola: sara is running 2850 secs || 59407525 markings, 320760848 edges, 20466 markings/sec, 2850 secs
lola: sara is running 2855 secs || 59516512 markings, 321181524 edges, 21797 markings/sec, 2855 secs
lola: sara is running 2860 secs || 59623739 markings, 321600138 edges, 21445 markings/sec, 2860 secs
lola: sara is running 2865 secs || 59727974 markings, 322096280 edges, 20847 markings/sec, 2865 secs
lola: sara is running 2870 secs || 59831937 markings, 322614719 edges, 20793 markings/sec, 2870 secs
lola: sara is running 2875 secs || 59933953 markings, 323130042 edges, 20403 markings/sec, 2875 secs
lola: sara is running 2880 secs || 60038749 markings, 323604312 edges, 20959 markings/sec, 2880 secs
lola: sara is running 2885 secs || 60140007 markings, 324111081 edges, 20252 markings/sec, 2885 secs
lola: sara is running 2890 secs || 60240172 markings, 324624341 edges, 20033 markings/sec, 2890 secs
lola: sara is running 2895 secs || 60344679 markings, 325075449 edges, 20901 markings/sec, 2895 secs
lola: sara is running 2900 secs || 60452334 markings, 325502703 edges, 21531 markings/sec, 2900 secs
lola: sara is running 2905 secs || 60555480 markings, 326049223 edges, 20629 markings/sec, 2905 secs
lola: sara is running 2910 secs || 60660046 markings, 326559062 edges, 20913 markings/sec, 2910 secs
lola: sara is running 2915 secs || 60764427 markings, 327067948 edges, 20876 markings/sec, 2915 secs
lola: sara is running 2920 secs || 60867409 markings, 327612871 edges, 20596 markings/sec, 2920 secs
lola: sara is running 2925 secs || 60967289 markings, 328131077 edges, 19976 markings/sec, 2925 secs
lola: sara is running 2930 secs || 61065961 markings, 328707807 edges, 19734 markings/sec, 2930 secs
lola: sara is running 2935 secs || 61164524 markings, 329258081 edges, 19713 markings/sec, 2935 secs
lola: sara is running 2940 secs || 61263199 markings, 329824813 edges, 19735 markings/sec, 2940 secs
lola: sara is running 2945 secs || 61369323 markings, 330250045 edges, 21225 markings/sec, 2945 secs
lola: sara is running 2950 secs || 61470852 markings, 330775588 edges, 20306 markings/sec, 2950 secs
lola: sara is running 2955 secs || 61572526 markings, 331268578 edges, 20335 markings/sec, 2955 secs
lola: sara is running 2960 secs || 61674006 markings, 331763795 edges, 20296 markings/sec, 2960 secs
lola: sara is running 2965 secs || 61771949 markings, 332273605 edges, 19589 markings/sec, 2965 secs
lola: sara is running 2970 secs || 61868662 markings, 332828725 edges, 19343 markings/sec, 2970 secs
lola: sara is running 2975 secs || 61968289 markings, 333344505 edges, 19925 markings/sec, 2975 secs
lola: sara is running 2980 secs || 62069784 markings, 333857152 edges, 20299 markings/sec, 2980 secs
lola: sara is running 2985 secs || 62175165 markings, 334366728 edges, 21076 markings/sec, 2985 secs
lola: sara is running 2990 secs || 62277591 markings, 334915481 edges, 20485 markings/sec, 2990 secs
lola: sara is running 2995 secs || 62379546 markings, 335449580 edges, 20391 markings/sec, 2995 secs
lola: sara is running 3000 secs || 62483995 markings, 335959147 edges, 20890 markings/sec, 3000 secs
lola: sara is running 3005 secs || 62585703 markings, 336456053 edges, 20342 markings/sec, 3005 secs
lola: sara is running 3010 secs || 62685596 markings, 336981063 edges, 19979 markings/sec, 3010 secs
lola: sara is running 3015 secs || 62790532 markings, 337511477 edges, 20987 markings/sec, 3015 secs
lola: sara is running 3020 secs || 62891539 markings, 338009549 edges, 20201 markings/sec, 3020 secs
lola: sara is running 3025 secs || 62988447 markings, 338557796 edges, 19382 markings/sec, 3025 secs
lola: sara is running 3030 secs || 63088391 markings, 339114433 edges, 19989 markings/sec, 3030 secs
lola: sara is running 3035 secs || 63200048 markings, 339618233 edges, 22331 markings/sec, 3035 secs
lola: sara is running 3040 secs || 63312295 markings, 340112451 edges, 22449 markings/sec, 3040 secs
lola: sara is running 3045 secs || 63423408 markings, 340644735 edges, 22223 markings/sec, 3045 secs
lola: sara is running 3050 secs || 63531921 markings, 341171432 edges, 21703 markings/sec, 3050 secs
lola: sara is running 3055 secs || 63641761 markings, 341692637 edges, 21968 markings/sec, 3055 secs
lola: sara is running 3060 secs || 63748642 markings, 342259520 edges, 21376 markings/sec, 3060 secs
lola: sara is running 3065 secs || 63857317 markings, 342745754 edges, 21735 markings/sec, 3065 secs
lola: sara is running 3070 secs || 63966496 markings, 343242202 edges, 21836 markings/sec, 3070 secs
lola: sara is running 3075 secs || 64069654 markings, 343775503 edges, 20632 markings/sec, 3075 secs
lola: sara is running 3080 secs || 64175218 markings, 344309395 edges, 21113 markings/sec, 3080 secs
lola: sara is running 3085 secs || 64282179 markings, 344783267 edges, 21392 markings/sec, 3085 secs
lola: sara is running 3090 secs || 64387794 markings, 345286965 edges, 21123 markings/sec, 3090 secs
lola: sara is running 3095 secs || 64492390 markings, 345774973 edges, 20919 markings/sec, 3095 secs
lola: sara is running 3100 secs || 64595757 markings, 346270929 edges, 20673 markings/sec, 3100 secs
lola: sara is running 3105 secs || 64699003 markings, 346759602 edges, 20649 markings/sec, 3105 secs
lola: sara is running 3110 secs || 64805221 markings, 347236348 edges, 21244 markings/sec, 3110 secs
lola: sara is running 3115 secs || 64913867 markings, 347739169 edges, 21729 markings/sec, 3115 secs
lola: sara is running 3120 secs || 65020436 markings, 348247289 edges, 21314 markings/sec, 3120 secs
lola: sara is running 3125 secs || 65126424 markings, 348784823 edges, 21198 markings/sec, 3125 secs
lola: sara is running 3130 secs || 65236896 markings, 349308379 edges, 22094 markings/sec, 3130 secs
lola: sara is running 3135 secs || 65343678 markings, 349817044 edges, 21356 markings/sec, 3135 secs
lola: sara is running 3140 secs || 65446923 markings, 350337078 edges, 20649 markings/sec, 3140 secs
lola: sara is running 3145 secs || 65550325 markings, 350860703 edges, 20680 markings/sec, 3145 secs
lola: sara is running 3150 secs || 65654872 markings, 351322583 edges, 20909 markings/sec, 3150 secs
lola: sara is running 3155 secs || 65756177 markings, 351923126 edges, 20261 markings/sec, 3155 secs
lola: sara is running 3160 secs || 65857588 markings, 352481585 edges, 20282 markings/sec, 3160 secs
lola: sara is running 3165 secs || 65957822 markings, 353052640 edges, 20047 markings/sec, 3165 secs
lola: sara is running 3170 secs || 66066537 markings, 353610971 edges, 21743 markings/sec, 3170 secs
lola: sara is running 3175 secs || 66171081 markings, 354075893 edges, 20909 markings/sec, 3175 secs
lola: sara is running 3180 secs || 66272814 markings, 354621667 edges, 20347 markings/sec, 3180 secs
lola: sara is running 3185 secs || 66375199 markings, 355102528 edges, 20477 markings/sec, 3185 secs
lola: sara is running 3190 secs || 66476103 markings, 355643452 edges, 20181 markings/sec, 3190 secs
lola: sara is running 3195 secs || 66577415 markings, 356181331 edges, 20262 markings/sec, 3195 secs
lola: sara is running 3200 secs || 66676080 markings, 356734631 edges, 19733 markings/sec, 3200 secs
lola: sara is running 3205 secs || 66775855 markings, 357273890 edges, 19955 markings/sec, 3205 secs
lola: sara is running 3210 secs || 66877577 markings, 357814229 edges, 20344 markings/sec, 3210 secs
lola: sara is running 3215 secs || 66978839 markings, 358334043 edges, 20252 markings/sec, 3215 secs
lola: sara is running 3220 secs || 67078073 markings, 358902987 edges, 19847 markings/sec, 3220 secs
lola: sara is running 3225 secs || 67174607 markings, 359501691 edges, 19307 markings/sec, 3225 secs
lola: sara is running 3230 secs || 67272417 markings, 360081369 edges, 19562 markings/sec, 3230 secs
lola: sara is running 3235 secs || 67374837 markings, 360641841 edges, 20484 markings/sec, 3235 secs
lola: sara is running 3240 secs || 67475161 markings, 361176695 edges, 20065 markings/sec, 3240 secs
lola: sara is running 3245 secs || 67575203 markings, 361682748 edges, 20008 markings/sec, 3245 secs
lola: sara is running 3250 secs || 67673853 markings, 362224431 edges, 19730 markings/sec, 3250 secs
lola: sara is running 3255 secs || 67769311 markings, 362785037 edges, 19092 markings/sec, 3255 secs
lola: sara is running 3260 secs || 67862479 markings, 363377398 edges, 18634 markings/sec, 3260 secs
lola: sara is running 3265 secs || 67965974 markings, 363932215 edges, 20699 markings/sec, 3265 secs
lola: sara is running 3270 secs || 68066164 markings, 364514138 edges, 20038 markings/sec, 3270 secs
lola: sara is running 3275 secs || 68167438 markings, 365080248 edges, 20255 markings/sec, 3275 secs
lola: sara is running 3280 secs || 68269705 markings, 365619325 edges, 20453 markings/sec, 3280 secs
lola: sara is running 3285 secs || 68368733 markings, 366163677 edges, 19806 markings/sec, 3285 secs
lola: sara is running 3290 secs || 68470187 markings, 366737893 edges, 20291 markings/sec, 3290 secs
lola: sara is running 3295 secs || 68567061 markings, 367294480 edges, 19375 markings/sec, 3295 secs
lola: sara is running 3300 secs || 68664582 markings, 367858971 edges, 19504 markings/sec, 3300 secs
lola: sara is running 3305 secs || 68761882 markings, 368412409 edges, 19460 markings/sec, 3305 secs
lola: sara is running 3310 secs || 68867953 markings, 368954949 edges, 21214 markings/sec, 3310 secs
lola: sara is running 3315 secs || 68971215 markings, 369519733 edges, 20652 markings/sec, 3315 secs
lola: sara is running 3320 secs || 69078638 markings, 370083544 edges, 21485 markings/sec, 3320 secs
lola: sara is running 3325 secs || 69185665 markings, 370642873 edges, 21405 markings/sec, 3325 secs
lola: sara is running 3330 secs || 69290495 markings, 371177185 edges, 20966 markings/sec, 3330 secs
lola: sara is running 3335 secs || 69391967 markings, 371739041 edges, 20294 markings/sec, 3335 secs
lola: sara is running 3340 secs || 69495446 markings, 372304763 edges, 20696 markings/sec, 3340 secs
lola: sara is running 3345 secs || 69597496 markings, 372839318 edges, 20410 markings/sec, 3345 secs
lola: sara is running 3350 secs || 69699548 markings, 373366431 edges, 20410 markings/sec, 3350 secs
lola: sara is running 3355 secs || 69799859 markings, 373899190 edges, 20062 markings/sec, 3355 secs
lola: sara is running 3360 secs || 69902000 markings, 374427790 edges, 20428 markings/sec, 3360 secs
lola: sara is running 3365 secs || 70006933 markings, 375033696 edges, 20987 markings/sec, 3365 secs
lola: sara is running 3370 secs || 70110781 markings, 375653413 edges, 20770 markings/sec, 3370 secs
lola: sara is running 3375 secs || 70211980 markings, 376286640 edges, 20240 markings/sec, 3375 secs
lola: sara is running 3380 secs || 70313588 markings, 376932853 edges, 20322 markings/sec, 3380 secs
lola: sara is running 3385 secs || 70418969 markings, 377573521 edges, 21076 markings/sec, 3385 secs
lola: sara is running 3390 secs || 70510662 markings, 378128584 edges, 18339 markings/sec, 3390 secs
lola: sara is running 3395 secs || 70525630 markings, 378227089 edges, 2994 markings/sec, 3395 secs
lola: sara is running 3400 secs || 70534602 markings, 378282837 edges, 1794 markings/sec, 3400 secs
lola: sara is running 3405 secs || 70536533 markings, 378295584 edges, 386 markings/sec, 3405 secs
lola: sara is running 3410 secs || 70537832 markings, 378303869 edges, 260 markings/sec, 3410 secs
lola: sara is running 3415 secs || 70538125 markings, 378305634 edges, 59 markings/sec, 3415 secs
lola: sara is running 3420 secs || 70538393 markings, 378307090 edges, 54 markings/sec, 3420 secs
lola: sara is running 3425 secs || 70538527 markings, 378308105 edges, 27 markings/sec, 3425 secs
lola: sara is running 3430 secs || 70539000 markings, 378311147 edges, 95 markings/sec, 3430 secs
lola: sara is running 3435 secs || 70540071 markings, 378316956 edges, 214 markings/sec, 3435 secs
lola: sara is running 3440 secs || 70540455 markings, 378318784 edges, 77 markings/sec, 3440 secs
lola: sara is running 3445 secs || 70541156 markings, 378322375 edges, 140 markings/sec, 3445 secs
lola: sara is running 3450 secs || 70541215 markings, 378322658 edges, 12 markings/sec, 3450 secs
lola: sara is running 3455 secs || 70541507 markings, 378324141 edges, 58 markings/sec, 3455 secs
lola: sara is running 3460 secs || 70541992 markings, 378326685 edges, 97 markings/sec, 3460 secs
lola: sara is running 3465 secs || 70543860 markings, 378340379 edges, 374 markings/sec, 3465 secs
lola: sara is running 3470 secs || 70544343 markings, 378343111 edges, 97 markings/sec, 3470 secs
lola: sara is running 3475 secs || 70544411 markings, 378343505 edges, 14 markings/sec, 3475 secs
lola: sara is running 3480 secs || 70544921 markings, 378346048 edges, 102 markings/sec, 3480 secs
lola: sara is running 3485 secs || 70544965 markings, 378346259 edges, 9 markings/sec, 3485 secs
lola: sara is running 3490 secs || 70546068 markings, 378352268 edges, 221 markings/sec, 3490 secs
lola: sara is running 3495 secs || 70546638 markings, 378357167 edges, 114 markings/sec, 3495 secs
lola: sara is running 3500 secs || 70546778 markings, 378358049 edges, 28 markings/sec, 3500 secs
lola: sara is running 3505 secs || 70547625 markings, 378363328 edges, 169 markings/sec, 3505 secs
lola: sara is running 3510 secs || 70548082 markings, 378365585 edges, 91 markings/sec, 3510 secs
lola: sara is running 3515 secs || 70548250 markings, 378366340 edges, 34 markings/sec, 3515 secs
lola: sara is running 3520 secs || 70548308 markings, 378366577 edges, 12 markings/sec, 3520 secs
lola: sara is running 3525 secs || 70548404 markings, 378367027 edges, 19 markings/sec, 3525 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: no yes yes no yes no no no yes no yes yes yes no no
FORMULA PermAdmissibility-COL-20-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-ReachabilityCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-ReachabilityCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-ReachabilityCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-ReachabilityCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-ReachabilityCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-ReachabilityCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-ReachabilityCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-ReachabilityCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-ReachabilityCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-ReachabilityCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496388058003
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- 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="S_PermAdmissibility-COL-20"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_PermAdmissibility-COL-20.tgz
mv S_PermAdmissibility-COL-20 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_PermAdmissibility-COL-20, 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 r118-blw7-149441650200385"
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 ;