About the Execution of LoLA for S_DES-PT-40b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15952.870 | 3217123.00 | 6032914.00 | 15934.30 | FFFTTTT?TFFTFFFF | 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-3253
Executing tool lola
Input is S_DES-PT-40b, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455700313
=====================================================================
--------------------
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 DES-PT-40b-ReachabilityCardinality-0
FORMULA_NAME DES-PT-40b-ReachabilityCardinality-1
FORMULA_NAME DES-PT-40b-ReachabilityCardinality-10
FORMULA_NAME DES-PT-40b-ReachabilityCardinality-11
FORMULA_NAME DES-PT-40b-ReachabilityCardinality-12
FORMULA_NAME DES-PT-40b-ReachabilityCardinality-13
FORMULA_NAME DES-PT-40b-ReachabilityCardinality-14
FORMULA_NAME DES-PT-40b-ReachabilityCardinality-15
FORMULA_NAME DES-PT-40b-ReachabilityCardinality-2
FORMULA_NAME DES-PT-40b-ReachabilityCardinality-3
FORMULA_NAME DES-PT-40b-ReachabilityCardinality-4
FORMULA_NAME DES-PT-40b-ReachabilityCardinality-5
FORMULA_NAME DES-PT-40b-ReachabilityCardinality-6
FORMULA_NAME DES-PT-40b-ReachabilityCardinality-7
FORMULA_NAME DES-PT-40b-ReachabilityCardinality-8
FORMULA_NAME DES-PT-40b-ReachabilityCardinality-9
=== Now, execution of the tool begins
BK_START 1496455352554
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_DES-PT-40b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_DES-PT-40b: translating PT formula ReachabilityCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
ReachabilityCardinality @ S_DES-PT-40b @ 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: 829/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 439 places, 390 transitions, 374 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 487 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-40b-ReachabilityCardinality.task
lola: E (F (((p171 <= 0) AND ((1 <= p115) OR (2 <= p230)) AND (p366 <= p274) AND (2 <= p12) AND ((p124 <= p55) OR (p209 <= p247))))) : E (F (((2 <= p150) AND (2 <= p437)))) : E (F (((2 <= p227) OR (1 <= p385)))) : A (G ((p78 <= p283))) : A (G (((p421 <= 0) AND (p399 <= 1) AND ((p304 <= 1) OR (p295 + 1 <= p277))))) : E (F (((p284 <= 0) AND (p356 + 1 <= p300)))) : A (G (((p292 <= 1) AND (p8 <= 0) AND ((p164 <= p75) OR (3 <= p331) OR (2 <= p99))))) : E (F (((3 <= p176) AND (2 <= p423)))) : E (F ((((p374 + 1 <= p322) OR ((p176 <= p103) AND (2 <= p311))) AND (2 <= p24)))) : A (G (((p322 <= p236) OR (p35 + 1 <= p280) OR (p405 <= p235)))) : A (G ((p247 <= p252))) : A (G (((p78 <= 1) OR (p427 <= 0) OR (3 <= p256) OR (3 <= p131) OR ((1 <= p41) AND (p225 <= p91))))) : A (G (((p57 + 1 <= p347) OR (p308 + 1 <= p297) OR (p287 + 1 <= p329) OR (p193 <= 2)))) : A (G (((p402 <= 1) OR (p379 <= 2) OR (p343 + 1 <= p148) OR (p206 <= 1)))) : A (G ((p175 <= 2))) : E (F (((p420 + 1 <= p31) AND (p352 + 1 <= p252) AND (p223 + 1 <= p98) AND (p299 <= 2))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((p171 <= 0) AND ((1 <= p115) OR (2 <= p230)) AND (p366 <= p274) AND (2 <= p12) AND ((p124 <= p55) OR (p209 <= p247)))))
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 48 bytes per marking, with 10 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 20 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-40b-ReachabilityCardinality.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-40b-ReachabilityCardinality.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= p150) AND (2 <= p437))))
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 48 bytes per marking, with 10 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 DES-PT-40b-ReachabilityCardinality.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-40b-ReachabilityCardinality.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= p227) OR (1 <= p385))))
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 48 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-40b-ReachabilityCardinality-2.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-40b-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 ((p78 <= p283)))
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 48 bytes per marking, with 10 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 DES-PT-40b-ReachabilityCardinality-3.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-40b-ReachabilityCardinality-3.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 4 will run for 294 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((p421 <= 0) AND (p399 <= 1) AND ((p304 <= 1) OR (p295 + 1 <= p277)))))
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 48 bytes per marking, with 10 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 4 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-40b-ReachabilityCardinality-4.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: lola: state equation: calling and running sara
lola: ========================================
subprocess 5 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((p284 <= 0) AND (p356 + 1 <= p300))))
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 48 bytes per marking, with 10 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
sara: try reading problem file DES-PT-40b-ReachabilityCardinality-4.sara.
lola: state equation: write sara problem file to DES-PT-40b-ReachabilityCardinality-5.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-40b-ReachabilityCardinality-5.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 6 will run for 353 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((p292 <= 1) AND (p8 <= 0) AND ((p164 <= p75) OR (3 <= p331) OR (2 <= p99)))))
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 48 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 5 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-40b-ReachabilityCardinality-6.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-40b-ReachabilityCardinality-6.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 423629 markings, 1240884 edges, 84726 markings/sec, 0 secs
lola: sara is running 5 secs || 837022 markings, 2482370 edges, 82679 markings/sec, 5 secs
lola: sara is running 10 secs || 1258196 markings, 3707236 edges, 84235 markings/sec, 10 secs
lola: sara is running 15 secs || 1662129 markings, 4974267 edges, 80787 markings/sec, 15 secs
lola: sara is running 20 secs || 2060858 markings, 6188687 edges, 79746 markings/sec, 20 secs
lola: sara is running 25 secs || 2475586 markings, 7404741 edges, 82946 markings/sec, 25 secs
lola: sara is running 30 secs || 2864756 markings, 8644637 edges, 77834 markings/sec, 30 secs
lola: sara is running 35 secs || 3267454 markings, 9932140 edges, 80540 markings/sec, 35 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 7 will run for 388 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= p176) AND (2 <= p423))))
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 48 bytes per marking, with 10 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 DES-PT-40b-ReachabilityCardinality-7.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-40b-ReachabilityCardinality-7.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 8 will run for 436 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((p374 + 1 <= p322) OR ((p176 <= p103) AND (2 <= p311))) AND (2 <= p24))))
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 48 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-40b-ReachabilityCardinality-8.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-40b-ReachabilityCardinality-8.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 9 will run for 499 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((p322 <= p236) OR (p35 + 1 <= p280) OR (p405 <= p235))))
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 48 bytes per marking, with 10 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 DES-PT-40b-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 582 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((p247 <= p252)))
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 48 bytes per marking, with 10 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 DES-PT-40b-ReachabilityCardinality-10.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-40b-ReachabilityCardinality-10.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 11 will run for 698 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((p78 <= 1) OR (p427 <= 0) OR (3 <= p256) OR (3 <= p131) OR ((1 <= p41) AND (p225 <= p91)))))
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 48 bytes per marking, with 10 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 10 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-40b-ReachabilityCardinality-11.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-40b-ReachabilityCardinality-11.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: subprocess 12 will run for 873 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((p57 + 1 <= p347) OR (p308 + 1 <= p297) OR (p287 + 1 <= p329) OR (p193 <= 2))))
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 48 bytes per marking, with 10 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 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-40b-ReachabilityCardinality-12.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-40b-ReachabilityCardinality-12.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: subprocess 13 will run for 1164 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((p402 <= 1) OR (p379 <= 2) OR (p343 + 1 <= p148) OR (p206 <= 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 48 bytes per marking, with 10 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 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-40b-ReachabilityCardinality-13.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-40b-ReachabilityCardinality-13.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: subprocess 14 will run for 1746 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((p175 <= 2)))
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 48 bytes per marking, with 10 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 DES-PT-40b-ReachabilityCardinality-14.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-40b-ReachabilityCardinality-14.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: subprocess 15 will run for 3492 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((p420 + 1 <= p31) AND (p352 + 1 <= p252) AND (p223 + 1 <= p98) AND (p299 <= 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 48 bytes per marking, with 10 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 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-40b-ReachabilityCardinality-15.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-40b-ReachabilityCardinality-15.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 500525 markings, 1284297 edges, 100105 markings/sec, 0 secs
lola: sara is running 5 secs || 916413 markings, 2505385 edges, 83178 markings/sec, 5 secs
lola: sara is running 10 secs || 1275441 markings, 3806978 edges, 71806 markings/sec, 10 secs
lola: sara is running 15 secs || 1651682 markings, 5076905 edges, 75248 markings/sec, 15 secs
lola: sara is running 20 secs || 2045841 markings, 6402404 edges, 78832 markings/sec, 20 secs
lola: sara is running 25 secs || 2519240 markings, 7660002 edges, 94680 markings/sec, 25 secs
lola: sara is running 30 secs || 2964408 markings, 8852529 edges, 89034 markings/sec, 30 secs
lola: sara is running 35 secs || 3451329 markings, 10090779 edges, 97384 markings/sec, 35 secs
lola: sara is running 40 secs || 3849828 markings, 11333176 edges, 79700 markings/sec, 40 secs
lola: sara is running 45 secs || 4321112 markings, 12611404 edges, 94257 markings/sec, 45 secs
lola: sara is running 50 secs || 4766411 markings, 13845125 edges, 89060 markings/sec, 50 secs
lola: sara is running 55 secs || 5150921 markings, 15064651 edges, 76902 markings/sec, 55 secs
lola: sara is running 60 secs || 5600637 markings, 16280771 edges, 89943 markings/sec, 60 secs
lola: sara is running 65 secs || 6020848 markings, 17537055 edges, 84042 markings/sec, 65 secs
lola: sara is running 70 secs || 6418735 markings, 18766885 edges, 79577 markings/sec, 70 secs
lola: sara is running 75 secs || 6799951 markings, 19946741 edges, 76243 markings/sec, 75 secs
lola: sara is running 80 secs || 7194999 markings, 21184115 edges, 79010 markings/sec, 80 secs
lola: sara is running 85 secs || 7620348 markings, 22414277 edges, 85070 markings/sec, 85 secs
lola: sara is running 90 secs || 8106655 markings, 23691444 edges, 97261 markings/sec, 90 secs
lola: sara is running 95 secs || 8521823 markings, 24954864 edges, 83034 markings/sec, 95 secs
lola: sara is running 100 secs || 8922099 markings, 26185884 edges, 80055 markings/sec, 100 secs
lola: sara is running 105 secs || 9339207 markings, 27417015 edges, 83422 markings/sec, 105 secs
lola: sara is running 110 secs || 9759104 markings, 28636391 edges, 83979 markings/sec, 110 secs
lola: sara is running 115 secs || 10137666 markings, 29874800 edges, 75712 markings/sec, 115 secs
lola: sara is running 120 secs || 10503962 markings, 31087851 edges, 73259 markings/sec, 120 secs
lola: sara is running 125 secs || 10835627 markings, 32336401 edges, 66333 markings/sec, 125 secs
lola: sara is running 130 secs || 11271500 markings, 33536805 edges, 87175 markings/sec, 130 secs
lola: sara is running 135 secs || 11626426 markings, 34794361 edges, 70985 markings/sec, 135 secs
lola: sara is running 140 secs || 11971470 markings, 36009951 edges, 69009 markings/sec, 140 secs
lola: sara is running 145 secs || 12363691 markings, 37279252 edges, 78444 markings/sec, 145 secs
lola: sara is running 150 secs || 12799381 markings, 38515522 edges, 87138 markings/sec, 150 secs
lola: sara is running 155 secs || 13241195 markings, 39720737 edges, 88363 markings/sec, 155 secs
lola: sara is running 160 secs || 13665120 markings, 40896942 edges, 84785 markings/sec, 160 secs
lola: sara is running 165 secs || 13982797 markings, 42159052 edges, 63535 markings/sec, 165 secs
lola: sara is running 170 secs || 14351063 markings, 43334543 edges, 73653 markings/sec, 170 secs
lola: sara is running 175 secs || 14807387 markings, 44499826 edges, 91265 markings/sec, 175 secs
lola: sara is running 180 secs || 15235008 markings, 45607361 edges, 85524 markings/sec, 180 secs
lola: sara is running 185 secs || 15563952 markings, 46783459 edges, 65789 markings/sec, 185 secs
lola: sara is running 190 secs || 15952705 markings, 48004149 edges, 77751 markings/sec, 190 secs
lola: sara is running 195 secs || 16341738 markings, 49251538 edges, 77807 markings/sec, 195 secs
lola: sara is running 200 secs || 16725485 markings, 50471032 edges, 76749 markings/sec, 200 secs
lola: sara is running 205 secs || 17095819 markings, 51675879 edges, 74067 markings/sec, 205 secs
lola: sara is running 210 secs || 17427758 markings, 52982237 edges, 66388 markings/sec, 210 secs
lola: sara is running 215 secs || 17776749 markings, 54271513 edges, 69798 markings/sec, 215 secs
lola: sara is running 220 secs || 18261146 markings, 55387922 edges, 96879 markings/sec, 220 secs
lola: sara is running 225 secs || 18714611 markings, 56573247 edges, 90693 markings/sec, 225 secs
lola: sara is running 230 secs || 19170124 markings, 57682991 edges, 91103 markings/sec, 230 secs
lola: sara is running 235 secs || 19626815 markings, 58706077 edges, 91338 markings/sec, 235 secs
lola: sara is running 240 secs || 20055189 markings, 59990921 edges, 85675 markings/sec, 240 secs
lola: sara is running 245 secs || 20493930 markings, 61305520 edges, 87748 markings/sec, 245 secs
lola: sara is running 250 secs || 20917205 markings, 62592834 edges, 84655 markings/sec, 250 secs
lola: sara is running 255 secs || 21330493 markings, 63787637 edges, 82658 markings/sec, 255 secs
lola: sara is running 260 secs || 21730533 markings, 64973024 edges, 80008 markings/sec, 260 secs
lola: sara is running 265 secs || 22129375 markings, 66119160 edges, 79768 markings/sec, 265 secs
lola: sara is running 270 secs || 22576659 markings, 67290574 edges, 89457 markings/sec, 270 secs
lola: sara is running 275 secs || 23053967 markings, 68558080 edges, 95462 markings/sec, 275 secs
lola: sara is running 280 secs || 23438907 markings, 69795243 edges, 76988 markings/sec, 280 secs
lola: sara is running 285 secs || 23826487 markings, 71026969 edges, 77516 markings/sec, 285 secs
lola: sara is running 290 secs || 24264500 markings, 72255951 edges, 87603 markings/sec, 290 secs
lola: sara is running 295 secs || 24654031 markings, 73505808 edges, 77906 markings/sec, 295 secs
lola: sara is running 300 secs || 25061107 markings, 74689628 edges, 81415 markings/sec, 300 secs
lola: sara is running 305 secs || 25393508 markings, 75946305 edges, 66480 markings/sec, 305 secs
lola: sara is running 310 secs || 25732110 markings, 77224627 edges, 67720 markings/sec, 310 secs
lola: sara is running 315 secs || 26061532 markings, 78573910 edges, 65884 markings/sec, 315 secs
lola: sara is running 320 secs || 26389478 markings, 79917946 edges, 65589 markings/sec, 320 secs
lola: sara is running 325 secs || 26714895 markings, 81250294 edges, 65083 markings/sec, 325 secs
lola: sara is running 330 secs || 27040728 markings, 82581326 edges, 65167 markings/sec, 330 secs
lola: sara is running 335 secs || 27388154 markings, 83883753 edges, 69485 markings/sec, 335 secs
lola: sara is running 340 secs || 27800351 markings, 85089065 edges, 82439 markings/sec, 340 secs
lola: sara is running 345 secs || 28251753 markings, 86333941 edges, 90280 markings/sec, 345 secs
lola: sara is running 350 secs || 28651136 markings, 87583311 edges, 79877 markings/sec, 350 secs
lola: sara is running 355 secs || 29022860 markings, 88863257 edges, 74345 markings/sec, 355 secs
lola: sara is running 360 secs || 29385038 markings, 90075323 edges, 72436 markings/sec, 360 secs
lola: sara is running 365 secs || 29714637 markings, 91372465 edges, 65920 markings/sec, 365 secs
lola: sara is running 370 secs || 30080095 markings, 92595389 edges, 73092 markings/sec, 370 secs
lola: sara is running 375 secs || 30405344 markings, 93878708 edges, 65050 markings/sec, 375 secs
lola: sara is running 380 secs || 30769626 markings, 95100581 edges, 72856 markings/sec, 380 secs
lola: sara is running 385 secs || 31085087 markings, 96343169 edges, 63092 markings/sec, 385 secs
lola: sara is running 390 secs || 31452683 markings, 97579772 edges, 73519 markings/sec, 390 secs
lola: sara is running 395 secs || 31770766 markings, 98828239 edges, 63617 markings/sec, 395 secs
lola: sara is running 400 secs || 32128928 markings, 100028594 edges, 71632 markings/sec, 400 secs
lola: sara is running 405 secs || 32443803 markings, 101269770 edges, 62975 markings/sec, 405 secs
lola: sara is running 410 secs || 32790364 markings, 102525794 edges, 69312 markings/sec, 410 secs
lola: sara is running 415 secs || 33183617 markings, 103707189 edges, 78651 markings/sec, 415 secs
lola: sara is running 420 secs || 33632952 markings, 104869693 edges, 89867 markings/sec, 420 secs
lola: sara is running 425 secs || 34039940 markings, 105991259 edges, 81398 markings/sec, 425 secs
lola: sara is running 430 secs || 34366714 markings, 107214196 edges, 65355 markings/sec, 430 secs
lola: sara is running 435 secs || 34686175 markings, 108505583 edges, 63892 markings/sec, 435 secs
lola: sara is running 440 secs || 35005412 markings, 109768867 edges, 63847 markings/sec, 440 secs
lola: sara is running 445 secs || 35347464 markings, 110950614 edges, 68410 markings/sec, 445 secs
lola: sara is running 450 secs || 35717609 markings, 112148459 edges, 74029 markings/sec, 450 secs
lola: sara is running 455 secs || 36067392 markings, 113396390 edges, 69957 markings/sec, 455 secs
lola: sara is running 460 secs || 36394176 markings, 114684275 edges, 65357 markings/sec, 460 secs
lola: sara is running 465 secs || 36712074 markings, 115982055 edges, 63580 markings/sec, 465 secs
lola: sara is running 470 secs || 37091299 markings, 117231316 edges, 75845 markings/sec, 470 secs
lola: sara is running 475 secs || 37434152 markings, 118475764 edges, 68571 markings/sec, 475 secs
lola: sara is running 480 secs || 37767015 markings, 119708527 edges, 66573 markings/sec, 480 secs
lola: sara is running 485 secs || 38083595 markings, 120916116 edges, 63316 markings/sec, 485 secs
lola: sara is running 490 secs || 38449362 markings, 122101417 edges, 73153 markings/sec, 490 secs
lola: sara is running 495 secs || 38783300 markings, 123303041 edges, 66788 markings/sec, 495 secs
lola: sara is running 500 secs || 39142214 markings, 124497960 edges, 71783 markings/sec, 500 secs
lola: sara is running 505 secs || 39475486 markings, 125691861 edges, 66654 markings/sec, 505 secs
lola: sara is running 510 secs || 39817397 markings, 126912130 edges, 68382 markings/sec, 510 secs
lola: sara is running 515 secs || 40160585 markings, 128097552 edges, 68638 markings/sec, 515 secs
lola: sara is running 520 secs || 40494927 markings, 129250122 edges, 66868 markings/sec, 520 secs
lola: sara is running 525 secs || 40834686 markings, 130404190 edges, 67952 markings/sec, 525 secs
lola: sara is running 530 secs || 41177690 markings, 131566506 edges, 68601 markings/sec, 530 secs
lola: sara is running 535 secs || 41520903 markings, 132728096 edges, 68643 markings/sec, 535 secs
lola: sara is running 540 secs || 41918648 markings, 133832922 edges, 79549 markings/sec, 540 secs
lola: sara is running 545 secs || 42322929 markings, 134873872 edges, 80856 markings/sec, 545 secs
lola: sara is running 550 secs || 42719620 markings, 135887242 edges, 79338 markings/sec, 550 secs
lola: sara is running 555 secs || 43158641 markings, 136956825 edges, 87804 markings/sec, 555 secs
lola: sara is running 560 secs || 43587092 markings, 138101712 edges, 85690 markings/sec, 560 secs
lola: sara is running 565 secs || 43968214 markings, 139204162 edges, 76224 markings/sec, 565 secs
lola: sara is running 570 secs || 44352047 markings, 140272557 edges, 76767 markings/sec, 570 secs
lola: sara is running 575 secs || 44743851 markings, 141380562 edges, 78361 markings/sec, 575 secs
lola: sara is running 580 secs || 45117664 markings, 142467451 edges, 74763 markings/sec, 580 secs
lola: sara is running 585 secs || 45484735 markings, 143538307 edges, 73414 markings/sec, 585 secs
lola: sara is running 590 secs || 45855526 markings, 144576705 edges, 74158 markings/sec, 590 secs
lola: sara is running 595 secs || 46251792 markings, 145602480 edges, 79253 markings/sec, 595 secs
lola: sara is running 600 secs || 46642578 markings, 146632804 edges, 78157 markings/sec, 600 secs
lola: sara is running 605 secs || 47023323 markings, 147632164 edges, 76149 markings/sec, 605 secs
lola: sara is running 610 secs || 47385778 markings, 148591478 edges, 72491 markings/sec, 610 secs
lola: sara is running 615 secs || 47739149 markings, 149597721 edges, 70674 markings/sec, 615 secs
lola: sara is running 620 secs || 48094926 markings, 150566594 edges, 71155 markings/sec, 620 secs
lola: sara is running 625 secs || 48399481 markings, 151755433 edges, 60911 markings/sec, 625 secs
lola: sara is running 630 secs || 48675668 markings, 152871065 edges, 55237 markings/sec, 630 secs
lola: sara is running 635 secs || 48960408 markings, 153955150 edges, 56948 markings/sec, 635 secs
lola: sara is running 640 secs || 49252837 markings, 155169873 edges, 58486 markings/sec, 640 secs
lola: sara is running 645 secs || 49520548 markings, 156272460 edges, 53542 markings/sec, 645 secs
lola: sara is running 650 secs || 49823380 markings, 157382085 edges, 60566 markings/sec, 650 secs
lola: sara is running 655 secs || 50153526 markings, 158519079 edges, 66029 markings/sec, 655 secs
lola: sara is running 660 secs || 50472408 markings, 159581171 edges, 63776 markings/sec, 660 secs
lola: sara is running 665 secs || 50801773 markings, 160661627 edges, 65873 markings/sec, 665 secs
lola: sara is running 670 secs || 51122821 markings, 161784598 edges, 64210 markings/sec, 670 secs
lola: sara is running 675 secs || 51442604 markings, 162866242 edges, 63957 markings/sec, 675 secs
lola: sara is running 680 secs || 51782565 markings, 163948047 edges, 67992 markings/sec, 680 secs
lola: sara is running 685 secs || 52091081 markings, 165062906 edges, 61703 markings/sec, 685 secs
lola: sara is running 690 secs || 52421360 markings, 166179054 edges, 66056 markings/sec, 690 secs
lola: sara is running 695 secs || 52763693 markings, 167220342 edges, 68467 markings/sec, 695 secs
lola: sara is running 700 secs || 53090262 markings, 168295262 edges, 65314 markings/sec, 700 secs
lola: sara is running 705 secs || 53480174 markings, 169414692 edges, 77982 markings/sec, 705 secs
lola: sara is running 710 secs || 53853498 markings, 170528331 edges, 74665 markings/sec, 710 secs
lola: sara is running 715 secs || 54214384 markings, 171585195 edges, 72177 markings/sec, 715 secs
lola: sara is running 720 secs || 54554453 markings, 172602459 edges, 68014 markings/sec, 720 secs
lola: sara is running 725 secs || 54849792 markings, 173766309 edges, 59068 markings/sec, 725 secs
lola: sara is running 730 secs || 55186944 markings, 174886593 edges, 67430 markings/sec, 730 secs
lola: sara is running 735 secs || 55521769 markings, 175995488 edges, 66965 markings/sec, 735 secs
lola: sara is running 740 secs || 55824694 markings, 177131621 edges, 60585 markings/sec, 740 secs
lola: sara is running 745 secs || 56128127 markings, 178275241 edges, 60687 markings/sec, 745 secs
lola: sara is running 750 secs || 56544965 markings, 179325300 edges, 83368 markings/sec, 750 secs
lola: sara is running 755 secs || 56900819 markings, 180585264 edges, 71171 markings/sec, 755 secs
lola: sara is running 760 secs || 57260175 markings, 181835226 edges, 71871 markings/sec, 760 secs
lola: sara is running 765 secs || 57614603 markings, 183105627 edges, 70886 markings/sec, 765 secs
lola: sara is running 770 secs || 57920749 markings, 184405260 edges, 61229 markings/sec, 770 secs
lola: sara is running 775 secs || 58224938 markings, 185693972 edges, 60838 markings/sec, 775 secs
lola: sara is running 780 secs || 58534218 markings, 186981956 edges, 61856 markings/sec, 780 secs
lola: sara is running 785 secs || 58823293 markings, 188206064 edges, 57815 markings/sec, 785 secs
lola: sara is running 790 secs || 59118514 markings, 189442049 edges, 59044 markings/sec, 790 secs
lola: sara is running 795 secs || 59414827 markings, 190695442 edges, 59263 markings/sec, 795 secs
lola: sara is running 800 secs || 59702869 markings, 191917910 edges, 57608 markings/sec, 800 secs
lola: sara is running 805 secs || 59991768 markings, 193123979 edges, 57780 markings/sec, 805 secs
lola: sara is running 810 secs || 60313162 markings, 194290007 edges, 64279 markings/sec, 810 secs
lola: sara is running 815 secs || 60774968 markings, 195389485 edges, 92361 markings/sec, 815 secs
lola: sara is running 820 secs || 61237238 markings, 196456266 edges, 92454 markings/sec, 820 secs
lola: sara is running 825 secs || 61635967 markings, 197563147 edges, 79746 markings/sec, 825 secs
lola: sara is running 830 secs || 62012729 markings, 198712530 edges, 75352 markings/sec, 830 secs
lola: sara is running 835 secs || 62378540 markings, 199859500 edges, 73162 markings/sec, 835 secs
lola: sara is running 840 secs || 62752368 markings, 200956130 edges, 74766 markings/sec, 840 secs
lola: sara is running 845 secs || 63160442 markings, 202000978 edges, 81615 markings/sec, 845 secs
lola: sara is running 850 secs || 63531886 markings, 203010099 edges, 74289 markings/sec, 850 secs
lola: sara is running 855 secs || 63853733 markings, 204125888 edges, 64369 markings/sec, 855 secs
lola: sara is running 860 secs || 64160889 markings, 205242492 edges, 61431 markings/sec, 860 secs
lola: sara is running 865 secs || 64483838 markings, 206374498 edges, 64590 markings/sec, 865 secs
lola: sara is running 870 secs || 64813571 markings, 207507716 edges, 65947 markings/sec, 870 secs
lola: sara is running 875 secs || 65188964 markings, 208640503 edges, 75079 markings/sec, 875 secs
lola: sara is running 880 secs || 65536584 markings, 209737355 edges, 69524 markings/sec, 880 secs
lola: sara is running 885 secs || 65917799 markings, 210773281 edges, 76243 markings/sec, 885 secs
lola: sara is running 890 secs || 66267927 markings, 211794758 edges, 70026 markings/sec, 890 secs
lola: sara is running 895 secs || 66606929 markings, 212885300 edges, 67800 markings/sec, 895 secs
lola: sara is running 900 secs || 66931299 markings, 214091752 edges, 64874 markings/sec, 900 secs
lola: sara is running 905 secs || 67250929 markings, 215243524 edges, 63926 markings/sec, 905 secs
lola: sara is running 910 secs || 67590193 markings, 216336075 edges, 67853 markings/sec, 910 secs
lola: sara is running 915 secs || 67935882 markings, 217458923 edges, 69138 markings/sec, 915 secs
lola: sara is running 920 secs || 68284392 markings, 218516471 edges, 69702 markings/sec, 920 secs
lola: sara is running 925 secs || 68529485 markings, 219740024 edges, 49019 markings/sec, 925 secs
lola: sara is running 930 secs || 68804785 markings, 220906985 edges, 55060 markings/sec, 930 secs
lola: sara is running 935 secs || 69104092 markings, 222010923 edges, 59861 markings/sec, 935 secs
lola: sara is running 940 secs || 69412634 markings, 223087775 edges, 61708 markings/sec, 940 secs
lola: sara is running 945 secs || 69722220 markings, 224170124 edges, 61917 markings/sec, 945 secs
lola: sara is running 950 secs || 70053060 markings, 225267696 edges, 66168 markings/sec, 950 secs
lola: sara is running 955 secs || 70347100 markings, 226396163 edges, 58808 markings/sec, 955 secs
lola: sara is running 960 secs || 70668221 markings, 227482380 edges, 64224 markings/sec, 960 secs
lola: sara is running 965 secs || 70954948 markings, 228595419 edges, 57345 markings/sec, 965 secs
lola: sara is running 970 secs || 71215670 markings, 229676147 edges, 52144 markings/sec, 970 secs
lola: sara is running 975 secs || 71563155 markings, 230774563 edges, 69497 markings/sec, 975 secs
lola: sara is running 980 secs || 71843123 markings, 231917529 edges, 55994 markings/sec, 980 secs
lola: sara is running 985 secs || 72159781 markings, 233008344 edges, 63332 markings/sec, 985 secs
lola: sara is running 990 secs || 72447186 markings, 234129514 edges, 57481 markings/sec, 990 secs
lola: sara is running 995 secs || 72708997 markings, 235215913 edges, 52362 markings/sec, 995 secs
lola: sara is running 1000 secs || 73062768 markings, 236327860 edges, 70754 markings/sec, 1000 secs
lola: sara is running 1005 secs || 73342819 markings, 237480245 edges, 56010 markings/sec, 1005 secs
lola: sara is running 1010 secs || 73666360 markings, 238579357 edges, 64708 markings/sec, 1010 secs
lola: sara is running 1015 secs || 73949986 markings, 239708574 edges, 56725 markings/sec, 1015 secs
lola: sara is running 1020 secs || 74218475 markings, 240801629 edges, 53698 markings/sec, 1020 secs
lola: sara is running 1025 secs || 74528876 markings, 241871573 edges, 62080 markings/sec, 1025 secs
lola: sara is running 1030 secs || 74855104 markings, 242980951 edges, 65246 markings/sec, 1030 secs
lola: sara is running 1035 secs || 75201308 markings, 244085612 edges, 69241 markings/sec, 1035 secs
lola: sara is running 1040 secs || 75553939 markings, 245193731 edges, 70526 markings/sec, 1040 secs
lola: sara is running 1045 secs || 75879120 markings, 246341558 edges, 65036 markings/sec, 1045 secs
lola: sara is running 1050 secs || 76198389 markings, 247470746 edges, 63854 markings/sec, 1050 secs
lola: sara is running 1055 secs || 76509519 markings, 248593390 edges, 62226 markings/sec, 1055 secs
lola: sara is running 1060 secs || 76817971 markings, 249729456 edges, 61690 markings/sec, 1060 secs
lola: sara is running 1065 secs || 77123410 markings, 250835075 edges, 61088 markings/sec, 1065 secs
lola: sara is running 1070 secs || 77427777 markings, 251965186 edges, 60873 markings/sec, 1070 secs
lola: sara is running 1075 secs || 77730914 markings, 253080622 edges, 60627 markings/sec, 1075 secs
lola: sara is running 1080 secs || 78066131 markings, 254166994 edges, 67043 markings/sec, 1080 secs
lola: sara is running 1085 secs || 78459768 markings, 255223190 edges, 78727 markings/sec, 1085 secs
lola: sara is running 1090 secs || 78877954 markings, 256280439 edges, 83637 markings/sec, 1090 secs
lola: sara is running 1095 secs || 79183198 markings, 257353845 edges, 61049 markings/sec, 1095 secs
lola: sara is running 1100 secs || 79603195 markings, 258384150 edges, 83999 markings/sec, 1100 secs
lola: sara is running 1105 secs || 79910216 markings, 259430039 edges, 61404 markings/sec, 1105 secs
lola: sara is running 1110 secs || 80267304 markings, 260454750 edges, 71418 markings/sec, 1110 secs
lola: sara is running 1115 secs || 80639655 markings, 261488697 edges, 74470 markings/sec, 1115 secs
lola: sara is running 1120 secs || 80920100 markings, 262498628 edges, 56089 markings/sec, 1120 secs
lola: sara is running 1125 secs || 81334803 markings, 263521734 edges, 82941 markings/sec, 1125 secs
lola: sara is running 1130 secs || 81651662 markings, 264564424 edges, 63372 markings/sec, 1130 secs
lola: sara is running 1135 secs || 82001227 markings, 265597966 edges, 69913 markings/sec, 1135 secs
lola: sara is running 1140 secs || 82377761 markings, 266611517 edges, 75307 markings/sec, 1140 secs
lola: sara is running 1145 secs || 82658109 markings, 267620363 edges, 56070 markings/sec, 1145 secs
lola: sara is running 1150 secs || 83053696 markings, 268622740 edges, 79117 markings/sec, 1150 secs
lola: sara is running 1155 secs || 83409898 markings, 269596437 edges, 71240 markings/sec, 1155 secs
lola: sara is running 1160 secs || 83753368 markings, 270620310 edges, 68694 markings/sec, 1160 secs
lola: sara is running 1165 secs || 84079909 markings, 271818403 edges, 65308 markings/sec, 1165 secs
lola: sara is running 1170 secs || 84445424 markings, 272950932 edges, 73103 markings/sec, 1170 secs
lola: sara is running 1175 secs || 84792513 markings, 274198219 edges, 69418 markings/sec, 1175 secs
lola: sara is running 1180 secs || 85145058 markings, 275416614 edges, 70509 markings/sec, 1180 secs
lola: sara is running 1185 secs || 85446587 markings, 276635467 edges, 60306 markings/sec, 1185 secs
lola: sara is running 1190 secs || 85742179 markings, 277829644 edges, 59118 markings/sec, 1190 secs
lola: sara is running 1195 secs || 86080379 markings, 278930480 edges, 67640 markings/sec, 1195 secs
lola: sara is running 1200 secs || 86539975 markings, 279963396 edges, 91919 markings/sec, 1200 secs
lola: sara is running 1205 secs || 86982260 markings, 280977785 edges, 88457 markings/sec, 1205 secs
lola: sara is running 1210 secs || 87362249 markings, 282016387 edges, 75998 markings/sec, 1210 secs
lola: sara is running 1215 secs || 87729087 markings, 283160146 edges, 73368 markings/sec, 1215 secs
lola: sara is running 1220 secs || 88145529 markings, 284192922 edges, 83288 markings/sec, 1220 secs
lola: sara is running 1225 secs || 88620100 markings, 285219412 edges, 94914 markings/sec, 1225 secs
lola: sara is running 1230 secs || 89071677 markings, 286214106 edges, 90315 markings/sec, 1230 secs
lola: sara is running 1235 secs || 89526469 markings, 287212194 edges, 90958 markings/sec, 1235 secs
lola: sara is running 1240 secs || 89970385 markings, 288189319 edges, 88783 markings/sec, 1240 secs
lola: sara is running 1245 secs || 90405358 markings, 289141839 edges, 86995 markings/sec, 1245 secs
lola: sara is running 1250 secs || 90801882 markings, 290050300 edges, 79305 markings/sec, 1250 secs
lola: sara is running 1255 secs || 91136182 markings, 291194144 edges, 66860 markings/sec, 1255 secs
lola: sara is running 1260 secs || 91567163 markings, 292506204 edges, 86196 markings/sec, 1260 secs
lola: sara is running 1265 secs || 91966068 markings, 293830479 edges, 79781 markings/sec, 1265 secs
lola: sara is running 1270 secs || 92357944 markings, 295148594 edges, 78375 markings/sec, 1270 secs
lola: sara is running 1275 secs || 92732348 markings, 296469064 edges, 74881 markings/sec, 1275 secs
lola: sara is running 1280 secs || 93100061 markings, 297800935 edges, 73543 markings/sec, 1280 secs
lola: sara is running 1285 secs || 93477173 markings, 299097849 edges, 75422 markings/sec, 1285 secs
lola: sara is running 1290 secs || 93919418 markings, 300302741 edges, 88449 markings/sec, 1290 secs
lola: sara is running 1295 secs || 94306145 markings, 301477616 edges, 77345 markings/sec, 1295 secs
lola: sara is running 1300 secs || 94685643 markings, 302709569 edges, 75900 markings/sec, 1300 secs
lola: sara is running 1305 secs || 95061525 markings, 303916106 edges, 75176 markings/sec, 1305 secs
lola: sara is running 1310 secs || 95429686 markings, 305228532 edges, 73632 markings/sec, 1310 secs
lola: sara is running 1315 secs || 95806029 markings, 306485313 edges, 75269 markings/sec, 1315 secs
lola: sara is running 1320 secs || 96196984 markings, 307685847 edges, 78191 markings/sec, 1320 secs
lola: sara is running 1325 secs || 96566660 markings, 308882103 edges, 73935 markings/sec, 1325 secs
lola: sara is running 1330 secs || 96914721 markings, 310102338 edges, 69612 markings/sec, 1330 secs
lola: sara is running 1335 secs || 97253103 markings, 311319771 edges, 67676 markings/sec, 1335 secs
lola: sara is running 1340 secs || 97623558 markings, 312555719 edges, 74091 markings/sec, 1340 secs
lola: sara is running 1345 secs || 98027435 markings, 313721949 edges, 80775 markings/sec, 1345 secs
lola: sara is running 1350 secs || 98387848 markings, 314890937 edges, 72083 markings/sec, 1350 secs
lola: sara is running 1355 secs || 98754170 markings, 316144301 edges, 73264 markings/sec, 1355 secs
lola: sara is running 1360 secs || 99124629 markings, 317293186 edges, 74092 markings/sec, 1360 secs
lola: sara is running 1365 secs || 99563525 markings, 318428985 edges, 87779 markings/sec, 1365 secs
lola: sara is running 1370 secs || 99991926 markings, 319611007 edges, 85680 markings/sec, 1370 secs
lola: sara is running 1375 secs || 100368933 markings, 320796832 edges, 75401 markings/sec, 1375 secs
lola: sara is running 1380 secs || 100786108 markings, 321961019 edges, 83435 markings/sec, 1380 secs
lola: sara is running 1385 secs || 101234016 markings, 323163047 edges, 89582 markings/sec, 1385 secs
lola: sara is running 1390 secs || 101668042 markings, 324322132 edges, 86805 markings/sec, 1390 secs
lola: sara is running 1395 secs || 102047542 markings, 325490549 edges, 75900 markings/sec, 1395 secs
lola: sara is running 1400 secs || 102474046 markings, 326659611 edges, 85301 markings/sec, 1400 secs
lola: sara is running 1405 secs || 102899257 markings, 327840226 edges, 85042 markings/sec, 1405 secs
lola: sara is running 1410 secs || 103336840 markings, 328985049 edges, 87517 markings/sec, 1410 secs
lola: sara is running 1415 secs || 103692779 markings, 330096362 edges, 71188 markings/sec, 1415 secs
lola: sara is running 1420 secs || 104047957 markings, 331202258 edges, 71036 markings/sec, 1420 secs
lola: sara is running 1425 secs || 104399886 markings, 332298010 edges, 70386 markings/sec, 1425 secs
lola: sara is running 1430 secs || 104777148 markings, 333442321 edges, 75452 markings/sec, 1430 secs
lola: sara is running 1435 secs || 105137241 markings, 334611902 edges, 72019 markings/sec, 1435 secs
lola: sara is running 1440 secs || 105552439 markings, 335811743 edges, 83040 markings/sec, 1440 secs
lola: sara is running 1445 secs || 105932377 markings, 336979208 edges, 75988 markings/sec, 1445 secs
lola: sara is running 1450 secs || 106338967 markings, 338208859 edges, 81318 markings/sec, 1450 secs
lola: sara is running 1455 secs || 106746191 markings, 339376420 edges, 81445 markings/sec, 1455 secs
lola: sara is running 1460 secs || 107145273 markings, 340518935 edges, 79816 markings/sec, 1460 secs
lola: sara is running 1465 secs || 107535824 markings, 341627217 edges, 78110 markings/sec, 1465 secs
lola: sara is running 1470 secs || 107975455 markings, 342773000 edges, 87926 markings/sec, 1470 secs
lola: sara is running 1475 secs || 108452960 markings, 344040800 edges, 95501 markings/sec, 1475 secs
lola: sara is running 1480 secs || 108835931 markings, 345272348 edges, 76594 markings/sec, 1480 secs
lola: sara is running 1485 secs || 109221196 markings, 346495289 edges, 77053 markings/sec, 1485 secs
lola: sara is running 1490 secs || 109655890 markings, 347719513 edges, 86939 markings/sec, 1490 secs
lola: sara is running 1495 secs || 110046207 markings, 348966599 edges, 78063 markings/sec, 1495 secs
lola: sara is running 1500 secs || 110451636 markings, 350143029 edges, 81086 markings/sec, 1500 secs
lola: sara is running 1505 secs || 110780886 markings, 351382454 edges, 65850 markings/sec, 1505 secs
lola: sara is running 1510 secs || 111116415 markings, 352648642 edges, 67106 markings/sec, 1510 secs
lola: sara is running 1515 secs || 111445483 markings, 353996195 edges, 65814 markings/sec, 1515 secs
lola: sara is running 1520 secs || 111773457 markings, 355334684 edges, 65595 markings/sec, 1520 secs
lola: sara is running 1525 secs || 112097125 markings, 356666177 edges, 64734 markings/sec, 1525 secs
lola: sara is running 1530 secs || 112420416 markings, 357989675 edges, 64658 markings/sec, 1530 secs
lola: sara is running 1535 secs || 112757428 markings, 359292038 edges, 67402 markings/sec, 1535 secs
lola: sara is running 1540 secs || 113176963 markings, 360497651 edges, 83907 markings/sec, 1540 secs
lola: sara is running 1545 secs || 113616217 markings, 361726826 edges, 87851 markings/sec, 1545 secs
lola: sara is running 1550 secs || 114016278 markings, 362947009 edges, 80012 markings/sec, 1550 secs
lola: sara is running 1555 secs || 114386904 markings, 364212978 edges, 74125 markings/sec, 1555 secs
lola: sara is running 1560 secs || 114749548 markings, 365427313 edges, 72529 markings/sec, 1560 secs
lola: sara is running 1565 secs || 115069430 markings, 366687784 edges, 63976 markings/sec, 1565 secs
lola: sara is running 1570 secs || 115416793 markings, 367848508 edges, 69473 markings/sec, 1570 secs
lola: sara is running 1575 secs || 115724118 markings, 369077972 edges, 61465 markings/sec, 1575 secs
lola: sara is running 1580 secs || 116083816 markings, 370262622 edges, 71940 markings/sec, 1580 secs
lola: sara is running 1585 secs || 116378632 markings, 371462341 edges, 58963 markings/sec, 1585 secs
lola: sara is running 1590 secs || 116749043 markings, 372657939 edges, 74082 markings/sec, 1590 secs
lola: sara is running 1595 secs || 117048243 markings, 373884379 edges, 59840 markings/sec, 1595 secs
lola: sara is running 1600 secs || 117408269 markings, 375028628 edges, 72005 markings/sec, 1600 secs
lola: sara is running 1605 secs || 117696274 markings, 376216403 edges, 57601 markings/sec, 1605 secs
lola: sara is running 1610 secs || 118028297 markings, 377425139 edges, 66405 markings/sec, 1610 secs
lola: sara is running 1615 secs || 118364772 markings, 378644781 edges, 67295 markings/sec, 1615 secs
lola: sara is running 1620 secs || 118803000 markings, 379773482 edges, 87646 markings/sec, 1620 secs
lola: sara is running 1625 secs || 119229121 markings, 380861388 edges, 85224 markings/sec, 1625 secs
lola: sara is running 1630 secs || 119566626 markings, 382026601 edges, 67501 markings/sec, 1630 secs
lola: sara is running 1635 secs || 119901952 markings, 383249946 edges, 67065 markings/sec, 1635 secs
lola: sara is running 1640 secs || 120208592 markings, 384491234 edges, 61328 markings/sec, 1640 secs
lola: sara is running 1645 secs || 120539404 markings, 385672157 edges, 66162 markings/sec, 1645 secs
lola: sara is running 1650 secs || 120862057 markings, 386835788 edges, 64531 markings/sec, 1650 secs
lola: sara is running 1655 secs || 121234011 markings, 388055750 edges, 74391 markings/sec, 1655 secs
lola: sara is running 1660 secs || 121572221 markings, 389267330 edges, 67642 markings/sec, 1660 secs
lola: sara is running 1665 secs || 121889084 markings, 390559063 edges, 63373 markings/sec, 1665 secs
lola: sara is running 1670 secs || 122213906 markings, 391827075 edges, 64964 markings/sec, 1670 secs
lola: sara is running 1675 secs || 122590382 markings, 393039915 edges, 75295 markings/sec, 1675 secs
lola: sara is running 1680 secs || 122917527 markings, 394280879 edges, 65429 markings/sec, 1680 secs
lola: sara is running 1685 secs || 123238007 markings, 395486379 edges, 64096 markings/sec, 1685 secs
lola: sara is running 1690 secs || 123557735 markings, 396670554 edges, 63946 markings/sec, 1690 secs
lola: sara is running 1695 secs || 123931348 markings, 397829305 edges, 74723 markings/sec, 1695 secs
lola: sara is running 1700 secs || 124245314 markings, 399040414 edges, 62793 markings/sec, 1700 secs
lola: sara is running 1705 secs || 124617971 markings, 400237509 edges, 74531 markings/sec, 1705 secs
lola: sara is running 1710 secs || 124950732 markings, 401491443 edges, 66552 markings/sec, 1710 secs
lola: sara is running 1715 secs || 125319073 markings, 402728447 edges, 73668 markings/sec, 1715 secs
lola: sara is running 1720 secs || 125662045 markings, 403943151 edges, 68594 markings/sec, 1720 secs
lola: sara is running 1725 secs || 126021574 markings, 405105253 edges, 71906 markings/sec, 1725 secs
lola: sara is running 1730 secs || 126356178 markings, 406287517 edges, 66921 markings/sec, 1730 secs
lola: sara is running 1735 secs || 126710533 markings, 407488932 edges, 70871 markings/sec, 1735 secs
lola: sara is running 1740 secs || 127054024 markings, 408657931 edges, 68698 markings/sec, 1740 secs
lola: sara is running 1745 secs || 127470630 markings, 409705140 edges, 83321 markings/sec, 1745 secs
lola: sara is running 1750 secs || 127869161 markings, 410728583 edges, 79706 markings/sec, 1750 secs
lola: sara is running 1755 secs || 128281839 markings, 411808329 edges, 82536 markings/sec, 1755 secs
lola: sara is running 1760 secs || 128731819 markings, 412870234 edges, 89996 markings/sec, 1760 secs
lola: sara is running 1765 secs || 129151489 markings, 414008061 edges, 83934 markings/sec, 1765 secs
lola: sara is running 1770 secs || 129546768 markings, 415144104 edges, 79056 markings/sec, 1770 secs
lola: sara is running 1775 secs || 129936890 markings, 416269294 edges, 78024 markings/sec, 1775 secs
lola: sara is running 1780 secs || 130315140 markings, 417374547 edges, 75650 markings/sec, 1780 secs
lola: sara is running 1785 secs || 130693048 markings, 418478516 edges, 75582 markings/sec, 1785 secs
lola: sara is running 1790 secs || 131064756 markings, 419564498 edges, 74342 markings/sec, 1790 secs
lola: sara is running 1795 secs || 131455435 markings, 420567396 edges, 78136 markings/sec, 1795 secs
lola: sara is running 1800 secs || 131860577 markings, 421634907 edges, 81028 markings/sec, 1800 secs
lola: sara is running 1805 secs || 132249248 markings, 422669800 edges, 77734 markings/sec, 1805 secs
lola: sara is running 1810 secs || 132623743 markings, 423642638 edges, 74899 markings/sec, 1810 secs
lola: sara is running 1815 secs || 132980523 markings, 424664172 edges, 71356 markings/sec, 1815 secs
lola: sara is running 1820 secs || 133352235 markings, 425598020 edges, 74342 markings/sec, 1820 secs
lola: sara is running 1825 secs || 133682764 markings, 426736402 edges, 66106 markings/sec, 1825 secs
lola: sara is running 1830 secs || 133961188 markings, 427910447 edges, 55685 markings/sec, 1830 secs
lola: sara is running 1835 secs || 134232235 markings, 429013446 edges, 54209 markings/sec, 1835 secs
lola: sara is running 1840 secs || 134551920 markings, 430219691 edges, 63937 markings/sec, 1840 secs
lola: sara is running 1845 secs || 134832051 markings, 431362992 edges, 56026 markings/sec, 1845 secs
lola: sara is running 1850 secs || 135119847 markings, 432474510 edges, 57559 markings/sec, 1850 secs
lola: sara is running 1855 secs || 135434635 markings, 433614826 edges, 62958 markings/sec, 1855 secs
lola: sara is running 1860 secs || 135769015 markings, 434748495 edges, 66876 markings/sec, 1860 secs
lola: sara is running 1865 secs || 136122917 markings, 435846945 edges, 70780 markings/sec, 1865 secs
lola: sara is running 1870 secs || 136441382 markings, 437001122 edges, 63693 markings/sec, 1870 secs
lola: sara is running 1875 secs || 136775197 markings, 438146381 edges, 66763 markings/sec, 1875 secs
lola: sara is running 1880 secs || 137133507 markings, 439246854 edges, 71662 markings/sec, 1880 secs
lola: sara is running 1885 secs || 137456758 markings, 440420582 edges, 64650 markings/sec, 1885 secs
lola: sara is running 1890 secs || 137793623 markings, 441581364 edges, 67373 markings/sec, 1890 secs
lola: sara is running 1895 secs || 138147166 markings, 442657803 edges, 70709 markings/sec, 1895 secs
lola: sara is running 1900 secs || 138476564 markings, 443741216 edges, 65880 markings/sec, 1900 secs
lola: sara is running 1905 secs || 138876291 markings, 444843501 edges, 79945 markings/sec, 1905 secs
lola: sara is running 1910 secs || 139257582 markings, 445984412 edges, 76258 markings/sec, 1910 secs
lola: sara is running 1915 secs || 139623033 markings, 447064477 edges, 73090 markings/sec, 1915 secs
lola: sara is running 1920 secs || 139971924 markings, 448094892 edges, 69778 markings/sec, 1920 secs
lola: sara is running 1925 secs || 140278324 markings, 449204294 edges, 61280 markings/sec, 1925 secs
lola: sara is running 1930 secs || 140563951 markings, 450342808 edges, 57125 markings/sec, 1930 secs
lola: sara is running 1935 secs || 140863748 markings, 451462085 edges, 59959 markings/sec, 1935 secs
lola: sara is running 1940 secs || 141196378 markings, 452565071 edges, 66526 markings/sec, 1940 secs
lola: sara is running 1945 secs || 141531920 markings, 453679664 edges, 67108 markings/sec, 1945 secs
lola: sara is running 1950 secs || 141866108 markings, 454829265 edges, 66838 markings/sec, 1950 secs
lola: sara is running 1955 secs || 142232940 markings, 455891172 edges, 73366 markings/sec, 1955 secs
lola: sara is running 1960 secs || 142607458 markings, 456992012 edges, 74904 markings/sec, 1960 secs
lola: sara is running 1965 secs || 142957615 markings, 458030174 edges, 70031 markings/sec, 1965 secs
lola: sara is running 1970 secs || 143297175 markings, 459036761 edges, 67912 markings/sec, 1970 secs
lola: sara is running 1975 secs || 143597247 markings, 460099245 edges, 60014 markings/sec, 1975 secs
lola: sara is running 1980 secs || 143898372 markings, 461174305 edges, 60225 markings/sec, 1980 secs
lola: sara is running 1985 secs || 144218148 markings, 462252563 edges, 63955 markings/sec, 1985 secs
lola: sara is running 1990 secs || 144577694 markings, 463313507 edges, 71909 markings/sec, 1990 secs
lola: sara is running 1995 secs || 144931776 markings, 464341386 edges, 70816 markings/sec, 1995 secs
lola: sara is running 2000 secs || 145241098 markings, 465440967 edges, 61864 markings/sec, 2000 secs
lola: sara is running 2005 secs || 145524808 markings, 466497743 edges, 56742 markings/sec, 2005 secs
lola: sara is running 2010 secs || 145811684 markings, 467569617 edges, 57375 markings/sec, 2010 secs
lola: sara is running 2015 secs || 146096098 markings, 468644393 edges, 56883 markings/sec, 2015 secs
lola: sara is running 2020 secs || 146475170 markings, 469681401 edges, 75814 markings/sec, 2020 secs
lola: sara is running 2025 secs || 146843763 markings, 470745562 edges, 73719 markings/sec, 2025 secs
lola: sara is running 2030 secs || 147201979 markings, 471799987 edges, 71643 markings/sec, 2030 secs
lola: sara is running 2035 secs || 147520281 markings, 472912411 edges, 63660 markings/sec, 2035 secs
lola: sara is running 2040 secs || 147876534 markings, 474003549 edges, 71251 markings/sec, 2040 secs
lola: sara is running 2045 secs || 148222407 markings, 475019157 edges, 69175 markings/sec, 2045 secs
lola: sara is running 2050 secs || 148612873 markings, 476034961 edges, 78093 markings/sec, 2050 secs
lola: sara is running 2055 secs || 148990435 markings, 477062257 edges, 75512 markings/sec, 2055 secs
lola: sara is running 2060 secs || 149363410 markings, 478079115 edges, 74595 markings/sec, 2060 secs
lola: sara is running 2065 secs || 149734388 markings, 479095656 edges, 74196 markings/sec, 2065 secs
lola: sara is running 2070 secs || 150106593 markings, 480118087 edges, 74441 markings/sec, 2070 secs
lola: sara is running 2075 secs || 150478850 markings, 481134710 edges, 74451 markings/sec, 2075 secs
lola: sara is running 2080 secs || 150857482 markings, 482140577 edges, 75726 markings/sec, 2080 secs
lola: sara is running 2085 secs || 151231783 markings, 483133236 edges, 74860 markings/sec, 2085 secs
lola: sara is running 2090 secs || 151576009 markings, 484117639 edges, 68845 markings/sec, 2090 secs
lola: sara is running 2095 secs || 151841682 markings, 485247461 edges, 53135 markings/sec, 2095 secs
lola: sara is running 2100 secs || 152115141 markings, 486365394 edges, 54692 markings/sec, 2100 secs
lola: sara is running 2105 secs || 152380057 markings, 487464243 edges, 52983 markings/sec, 2105 secs
lola: sara is running 2110 secs || 152745164 markings, 488590461 edges, 73021 markings/sec, 2110 secs
lola: sara is running 2115 secs || 153114027 markings, 489742331 edges, 73773 markings/sec, 2115 secs
lola: sara is running 2120 secs || 153476785 markings, 490853945 edges, 72552 markings/sec, 2120 secs
lola: sara is running 2125 secs || 153877114 markings, 491900032 edges, 80066 markings/sec, 2125 secs
lola: sara is running 2130 secs || 154260387 markings, 492932777 edges, 76655 markings/sec, 2130 secs
lola: sara is running 2135 secs || 154600840 markings, 494043142 edges, 68091 markings/sec, 2135 secs
lola: sara is running 2140 secs || 154912823 markings, 495124987 edges, 62397 markings/sec, 2140 secs
lola: sara is running 2145 secs || 155243389 markings, 496267225 edges, 66113 markings/sec, 2145 secs
lola: sara is running 2150 secs || 155555062 markings, 497429589 edges, 62335 markings/sec, 2150 secs
lola: sara is running 2155 secs || 155942308 markings, 498573381 edges, 77449 markings/sec, 2155 secs
lola: sara is running 2160 secs || 156299063 markings, 499692433 edges, 71351 markings/sec, 2160 secs
lola: sara is running 2165 secs || 156676544 markings, 500754441 edges, 75496 markings/sec, 2165 secs
lola: sara is running 2170 secs || 157035565 markings, 501775873 edges, 71804 markings/sec, 2170 secs
lola: sara is running 2175 secs || 157376268 markings, 502856074 edges, 68141 markings/sec, 2175 secs
lola: sara is running 2180 secs || 157701614 markings, 504038899 edges, 65069 markings/sec, 2180 secs
lola: sara is running 2185 secs || 158025244 markings, 505256552 edges, 64726 markings/sec, 2185 secs
lola: sara is running 2190 secs || 158376623 markings, 506380566 edges, 70276 markings/sec, 2190 secs
lola: sara is running 2195 secs || 158727359 markings, 507519491 edges, 70147 markings/sec, 2195 secs
lola: sara is running 2200 secs || 159087121 markings, 508600716 edges, 71952 markings/sec, 2200 secs
lola: sara is running 2205 secs || 159353267 markings, 509845657 edges, 53229 markings/sec, 2205 secs
lola: sara is running 2210 secs || 159629336 markings, 511076538 edges, 55214 markings/sec, 2210 secs
lola: sara is running 2215 secs || 159942429 markings, 512211804 edges, 62619 markings/sec, 2215 secs
lola: sara is running 2220 secs || 160257095 markings, 513315168 edges, 62933 markings/sec, 2220 secs
lola: sara is running 2225 secs || 160580721 markings, 514434889 edges, 64725 markings/sec, 2225 secs
lola: sara is running 2230 secs || 160915715 markings, 515565020 edges, 66999 markings/sec, 2230 secs
lola: sara is running 2235 secs || 161217750 markings, 516721446 edges, 60407 markings/sec, 2235 secs
lola: sara is running 2240 secs || 161552029 markings, 517827080 edges, 66856 markings/sec, 2240 secs
lola: sara is running 2245 secs || 161830976 markings, 518952005 edges, 55789 markings/sec, 2245 secs
lola: sara is running 2250 secs || 162112475 markings, 520070797 edges, 56300 markings/sec, 2250 secs
lola: sara is running 2255 secs || 162460416 markings, 521206537 edges, 69588 markings/sec, 2255 secs
lola: sara is running 2260 secs || 162744541 markings, 522378184 edges, 56825 markings/sec, 2260 secs
lola: sara is running 2265 secs || 163083325 markings, 523491362 edges, 67757 markings/sec, 2265 secs
lola: sara is running 2270 secs || 163356070 markings, 524623624 edges, 54549 markings/sec, 2270 secs
lola: sara is running 2275 secs || 163652224 markings, 525750007 edges, 59231 markings/sec, 2275 secs
lola: sara is running 2280 secs || 163992370 markings, 526906273 edges, 68029 markings/sec, 2280 secs
lola: sara is running 2285 secs || 164276834 markings, 528075874 edges, 56893 markings/sec, 2285 secs
lola: sara is running 2290 secs || 164618474 markings, 529201624 edges, 68328 markings/sec, 2290 secs
lola: sara is running 2295 secs || 164892073 markings, 530338757 edges, 54720 markings/sec, 2295 secs
lola: sara is running 2300 secs || 165196459 markings, 531447412 edges, 60877 markings/sec, 2300 secs
lola: sara is running 2305 secs || 165496498 markings, 532526465 edges, 60008 markings/sec, 2305 secs
lola: sara is running 2310 secs || 165852219 markings, 533653138 edges, 71144 markings/sec, 2310 secs
lola: sara is running 2315 secs || 166175897 markings, 534757483 edges, 64736 markings/sec, 2315 secs
lola: sara is running 2320 secs || 166499912 markings, 535909007 edges, 64803 markings/sec, 2320 secs
lola: sara is running 2325 secs || 166845180 markings, 536970842 edges, 69054 markings/sec, 2325 secs
lola: sara is running 2330 secs || 167184332 markings, 538090215 edges, 67830 markings/sec, 2330 secs
lola: sara is running 2335 secs || 167451175 markings, 539289045 edges, 53369 markings/sec, 2335 secs
lola: sara is running 2340 secs || 167771932 markings, 540398453 edges, 64151 markings/sec, 2340 secs
lola: sara is running 2345 secs || 168084577 markings, 541520184 edges, 62529 markings/sec, 2345 secs
lola: sara is running 2350 secs || 168384787 markings, 542627002 edges, 60042 markings/sec, 2350 secs
lola: sara is running 2355 secs || 168694568 markings, 543766464 edges, 61956 markings/sec, 2355 secs
lola: sara is running 2360 secs || 168999419 markings, 544883545 edges, 60970 markings/sec, 2360 secs
lola: sara is running 2365 secs || 169307846 markings, 546028809 edges, 61685 markings/sec, 2365 secs
lola: sara is running 2370 secs || 169620072 markings, 547149399 edges, 62445 markings/sec, 2370 secs
lola: sara is running 2375 secs || 169950164 markings, 548205283 edges, 66018 markings/sec, 2375 secs
lola: sara is running 2380 secs || 170287947 markings, 549269134 edges, 67557 markings/sec, 2380 secs
lola: sara is running 2385 secs || 170601539 markings, 550349275 edges, 62718 markings/sec, 2385 secs
lola: sara is running 2390 secs || 170901351 markings, 551414461 edges, 59962 markings/sec, 2390 secs
lola: sara is running 2395 secs || 171192121 markings, 552476578 edges, 58154 markings/sec, 2395 secs
lola: sara is running 2400 secs || 171481863 markings, 553549606 edges, 57948 markings/sec, 2400 secs
lola: sara is running 2405 secs || 171784333 markings, 554615185 edges, 60494 markings/sec, 2405 secs
lola: sara is running 2410 secs || 172126015 markings, 555673462 edges, 68336 markings/sec, 2410 secs
lola: sara is running 2415 secs || 172425431 markings, 556755057 edges, 59883 markings/sec, 2415 secs
lola: sara is running 2420 secs || 172715831 markings, 557816617 edges, 58080 markings/sec, 2420 secs
lola: sara is running 2425 secs || 172999375 markings, 558869218 edges, 56709 markings/sec, 2425 secs
lola: sara is running 2430 secs || 173289099 markings, 559938522 edges, 57945 markings/sec, 2430 secs
lola: sara is running 2435 secs || 173580165 markings, 561003619 edges, 58213 markings/sec, 2435 secs
lola: sara is running 2440 secs || 173905354 markings, 562054542 edges, 65038 markings/sec, 2440 secs
lola: sara is running 2445 secs || 174250196 markings, 563112121 edges, 68968 markings/sec, 2445 secs
lola: sara is running 2450 secs || 174625464 markings, 564156354 edges, 75054 markings/sec, 2450 secs
lola: sara is running 2455 secs || 175023829 markings, 565183288 edges, 79673 markings/sec, 2455 secs
lola: sara is running 2460 secs || 175430847 markings, 566225031 edges, 81404 markings/sec, 2460 secs
lola: sara is running 2465 secs || 175805182 markings, 567193884 edges, 74867 markings/sec, 2465 secs
lola: sara is running 2470 secs || 176114756 markings, 568269863 edges, 61915 markings/sec, 2470 secs
lola: sara is running 2475 secs || 176411671 markings, 569302032 edges, 59383 markings/sec, 2475 secs
lola: sara is running 2480 secs || 176777623 markings, 570342337 edges, 73190 markings/sec, 2480 secs
lola: sara is running 2485 secs || 177124505 markings, 571328245 edges, 69376 markings/sec, 2485 secs
lola: sara is running 2490 secs || 177489453 markings, 572310584 edges, 72990 markings/sec, 2490 secs
lola: sara is running 2495 secs || 177823650 markings, 573299624 edges, 66839 markings/sec, 2495 secs
lola: sara is running 2500 secs || 178127435 markings, 574356019 edges, 60757 markings/sec, 2500 secs
lola: sara is running 2505 secs || 178422642 markings, 575393829 edges, 59041 markings/sec, 2505 secs
lola: sara is running 2510 secs || 178786858 markings, 576391697 edges, 72843 markings/sec, 2510 secs
lola: sara is running 2515 secs || 179144194 markings, 577407689 edges, 71467 markings/sec, 2515 secs
lola: sara is running 2520 secs || 179510151 markings, 578398101 edges, 73191 markings/sec, 2520 secs
lola: sara is running 2525 secs || 179836648 markings, 579386885 edges, 65299 markings/sec, 2525 secs
lola: sara is running 2530 secs || 180128924 markings, 580403227 edges, 58455 markings/sec, 2530 secs
lola: sara is running 2535 secs || 180418161 markings, 581417894 edges, 57847 markings/sec, 2535 secs
lola: sara is running 2540 secs || 180780242 markings, 582400432 edges, 72416 markings/sec, 2540 secs
lola: sara is running 2545 secs || 181153089 markings, 583456250 edges, 74569 markings/sec, 2545 secs
lola: sara is running 2550 secs || 181516016 markings, 584477963 edges, 72585 markings/sec, 2550 secs
lola: sara is running 2555 secs || 181845630 markings, 585460047 edges, 65923 markings/sec, 2555 secs
lola: sara is running 2560 secs || 182148325 markings, 586512093 edges, 60539 markings/sec, 2560 secs
lola: sara is running 2565 secs || 182452983 markings, 587540648 edges, 60932 markings/sec, 2565 secs
lola: sara is running 2570 secs || 182814117 markings, 588512158 edges, 72227 markings/sec, 2570 secs
lola: sara is running 2575 secs || 183180834 markings, 589552183 edges, 73343 markings/sec, 2575 secs
lola: sara is running 2580 secs || 183531713 markings, 590548666 edges, 70176 markings/sec, 2580 secs
lola: sara is running 2585 secs || 183851611 markings, 591521426 edges, 63980 markings/sec, 2585 secs
lola: sara is running 2590 secs || 184142750 markings, 592534455 edges, 58228 markings/sec, 2590 secs
lola: sara is running 2595 secs || 184446977 markings, 593550693 edges, 60845 markings/sec, 2595 secs
lola: sara is running 2600 secs || 184798541 markings, 594498422 edges, 70313 markings/sec, 2600 secs
lola: sara is running 2605 secs || 185158275 markings, 595520549 edges, 71947 markings/sec, 2605 secs
lola: sara is running 2610 secs || 185503592 markings, 596502950 edges, 69063 markings/sec, 2610 secs
lola: sara is running 2615 secs || 185826375 markings, 597459921 edges, 64557 markings/sec, 2615 secs
lola: sara is running 2620 secs || 186172018 markings, 598396575 edges, 69129 markings/sec, 2620 secs
lola: sara is running 2625 secs || 186507861 markings, 599301170 edges, 67169 markings/sec, 2625 secs
lola: sara is running 2630 secs || 186839387 markings, 600174777 edges, 66305 markings/sec, 2630 secs
lola: sara is running 2635 secs || 187109246 markings, 601332803 edges, 53972 markings/sec, 2635 secs
lola: sara is running 2640 secs || 187347603 markings, 602459735 edges, 47671 markings/sec, 2640 secs
lola: sara is running 2645 secs || 187579530 markings, 603577174 edges, 46385 markings/sec, 2645 secs
lola: sara is running 2650 secs || 187806554 markings, 604674397 edges, 45405 markings/sec, 2650 secs
lola: sara is running 2655 secs || 188070780 markings, 605747788 edges, 52845 markings/sec, 2655 secs
lola: sara is running 2660 secs || 188313717 markings, 606920386 edges, 48587 markings/sec, 2660 secs
lola: sara is running 2665 secs || 188545924 markings, 608037599 edges, 46441 markings/sec, 2665 secs
lola: sara is running 2670 secs || 188781792 markings, 609153317 edges, 47174 markings/sec, 2670 secs
lola: sara is running 2675 secs || 189036889 markings, 610193242 edges, 51019 markings/sec, 2675 secs
lola: sara is running 2680 secs || 189330967 markings, 611308082 edges, 58816 markings/sec, 2680 secs
lola: sara is running 2685 secs || 189593671 markings, 612371799 edges, 52541 markings/sec, 2685 secs
lola: sara is running 2690 secs || 189853301 markings, 613423403 edges, 51926 markings/sec, 2690 secs
lola: sara is running 2695 secs || 190182422 markings, 614499045 edges, 65824 markings/sec, 2695 secs
lola: sara is running 2700 secs || 190456703 markings, 615607988 edges, 54856 markings/sec, 2700 secs
lola: sara is running 2705 secs || 190712862 markings, 616646499 edges, 51232 markings/sec, 2705 secs
lola: sara is running 2710 secs || 190971516 markings, 617689223 edges, 51731 markings/sec, 2710 secs
lola: sara is running 2715 secs || 191287881 markings, 618808218 edges, 63273 markings/sec, 2715 secs
lola: sara is running 2720 secs || 191561966 markings, 619919320 edges, 54817 markings/sec, 2720 secs
lola: sara is running 2725 secs || 191825855 markings, 620987558 edges, 52778 markings/sec, 2725 secs
lola: sara is running 2730 secs || 192161959 markings, 621988220 edges, 67221 markings/sec, 2730 secs
lola: sara is running 2735 secs || 192574193 markings, 622987943 edges, 82447 markings/sec, 2735 secs
lola: sara is running 2740 secs || 192961247 markings, 623958350 edges, 77411 markings/sec, 2740 secs
lola: sara is running 2745 secs || 193350384 markings, 624936263 edges, 77827 markings/sec, 2745 secs
lola: sara is running 2750 secs || 193749755 markings, 625951780 edges, 79874 markings/sec, 2750 secs
lola: sara is running 2755 secs || 194131025 markings, 626940130 edges, 76254 markings/sec, 2755 secs
lola: sara is running 2760 secs || 194510859 markings, 627913020 edges, 75967 markings/sec, 2760 secs
lola: sara is running 2765 secs || 194886601 markings, 628907127 edges, 75148 markings/sec, 2765 secs
lola: sara is running 2770 secs || 195252079 markings, 629892797 edges, 73096 markings/sec, 2770 secs
lola: sara is running 2775 secs || 195625038 markings, 630881847 edges, 74592 markings/sec, 2775 secs
lola: sara is running 2780 secs || 195997647 markings, 631870706 edges, 74522 markings/sec, 2780 secs
lola: sara is running 2785 secs || 196384155 markings, 632887728 edges, 77302 markings/sec, 2785 secs
lola: sara is running 2790 secs || 196757656 markings, 633857966 edges, 74700 markings/sec, 2790 secs
lola: sara is running 2795 secs || 197135870 markings, 634861709 edges, 75643 markings/sec, 2795 secs
lola: sara is running 2800 secs || 197480320 markings, 635794895 edges, 68890 markings/sec, 2800 secs
lola: sara is running 2805 secs || 197848415 markings, 636751948 edges, 73619 markings/sec, 2805 secs
lola: sara is running 2810 secs || 198214463 markings, 637697211 edges, 73210 markings/sec, 2810 secs
lola: sara is running 2815 secs || 198570715 markings, 638604881 edges, 71250 markings/sec, 2815 secs
lola: sara is running 2820 secs || 198905197 markings, 639468939 edges, 66896 markings/sec, 2820 secs
lola: sara is running 2825 secs || 199257363 markings, 640447333 edges, 70433 markings/sec, 2825 secs
lola: sara is running 2830 secs || 199605228 markings, 641364922 edges, 69573 markings/sec, 2830 secs
lola: sara is running 2835 secs || 199873638 markings, 642461285 edges, 53682 markings/sec, 2835 secs
lola: sara is running 2840 secs || 200097732 markings, 643563922 edges, 44819 markings/sec, 2840 secs
lola: sara is running 2845 secs || 200320384 markings, 644610075 edges, 44530 markings/sec, 2845 secs
lola: sara is running 2850 secs || 200596799 markings, 645706090 edges, 55283 markings/sec, 2850 secs
lola: sara is running 2855 secs || 200822848 markings, 646815963 edges, 45210 markings/sec, 2855 secs
lola: sara is running 2860 secs || 201044780 markings, 647873217 edges, 44386 markings/sec, 2860 secs
lola: sara is running 2865 secs || 201380691 markings, 648886630 edges, 67182 markings/sec, 2865 secs
lola: sara is running 2870 secs || 201713751 markings, 649896751 edges, 66612 markings/sec, 2870 secs
lola: sara is running 2875 secs || 202044111 markings, 650913564 edges, 66072 markings/sec, 2875 secs
lola: sara is running 2880 secs || 202373277 markings, 651945582 edges, 65833 markings/sec, 2880 secs
lola: sara is running 2885 secs || 202672792 markings, 652994854 edges, 59903 markings/sec, 2885 secs
lola: sara is running 2890 secs || 202978726 markings, 654024748 edges, 61187 markings/sec, 2890 secs
lola: sara is running 2895 secs || 203337084 markings, 655127113 edges, 71672 markings/sec, 2895 secs
lola: sara is running 2900 secs || 203693419 markings, 656233578 edges, 71267 markings/sec, 2900 secs
lola: sara is running 2905 secs || 204041081 markings, 657260180 edges, 69532 markings/sec, 2905 secs
lola: sara is running 2910 secs || 204088183 markings, 657397483 edges, 9420 markings/sec, 2910 secs
lola: sara is running 2915 secs || 204118745 markings, 657488302 edges, 6112 markings/sec, 2915 secs
lola: sara is running 2920 secs || 204118769 markings, 657488421 edges, 5 markings/sec, 2920 secs
lola: sara is running 2925 secs || 204119355 markings, 657490298 edges, 117 markings/sec, 2925 secs
lola: sara is running 2930 secs || 204135598 markings, 657534043 edges, 3249 markings/sec, 2930 secs
lola: sara is running 2935 secs || 204144079 markings, 657559105 edges, 1696 markings/sec, 2935 secs
lola: sara is running 2940 secs || 204144129 markings, 657559191 edges, 10 markings/sec, 2940 secs
lola: sara is running 2945 secs || 204144171 markings, 657559274 edges, 8 markings/sec, 2945 secs
lola: sara is running 2950 secs || 204145530 markings, 657565099 edges, 272 markings/sec, 2950 secs
lola: sara is running 2955 secs || 204145550 markings, 657565196 edges, 4 markings/sec, 2955 secs
lola: sara is running 2960 secs || 204191416 markings, 657700113 edges, 9173 markings/sec, 2960 secs
lola: sara is running 2965 secs || 204191447 markings, 657700257 edges, 6 markings/sec, 2965 secs
lola: sara is running 2970 secs || 204207041 markings, 657748453 edges, 3119 markings/sec, 2970 secs
lola: sara is running 2975 secs || 204207097 markings, 657748527 edges, 11 markings/sec, 2975 secs
lola: sara is running 2980 secs || 204207173 markings, 657748625 edges, 15 markings/sec, 2980 secs
lola: sara is running 2985 secs || 204207254 markings, 657748730 edges, 16 markings/sec, 2985 secs
lola: sara is running 2990 secs || 204215959 markings, 657772931 edges, 1741 markings/sec, 2990 secs
lola: sara is running 2995 secs || 204223643 markings, 657795632 edges, 1537 markings/sec, 2995 secs
lola: sara is running 3000 secs || 204223673 markings, 657795751 edges, 6 markings/sec, 3000 secs
lola: sara is running 3005 secs || 204223699 markings, 657795851 edges, 5 markings/sec, 3005 secs
lola: sara is running 3010 secs || 204223726 markings, 657795957 edges, 5 markings/sec, 3010 secs
lola: sara is running 3015 secs || 204226209 markings, 657803604 edges, 497 markings/sec, 3015 secs
lola: sara is running 3020 secs || 204228564 markings, 657808068 edges, 471 markings/sec, 3020 secs
lola: sara is running 3025 secs || 204228957 markings, 657810085 edges, 79 markings/sec, 3025 secs
lola: sara is running 3030 secs || 204229001 markings, 657810188 edges, 9 markings/sec, 3030 secs
lola: sara is running 3035 secs || 204229053 markings, 657810306 edges, 10 markings/sec, 3035 secs
lola: sara is running 3040 secs || 204240060 markings, 657839996 edges, 2201 markings/sec, 3040 secs
lola: sara is running 3045 secs || 204241984 markings, 657846362 edges, 385 markings/sec, 3045 secs
lola: sara is running 3050 secs || 204245109 markings, 657857681 edges, 625 markings/sec, 3050 secs
lola: sara is running 3055 secs || 204245233 markings, 657858042 edges, 25 markings/sec, 3055 secs
lola: sara is running 3060 secs || 204245275 markings, 657858170 edges, 8 markings/sec, 3060 secs
lola: sara is running 3065 secs || 204250255 markings, 657871370 edges, 996 markings/sec, 3065 secs
lola: sara is running 3070 secs || 204252346 markings, 657881682 edges, 418 markings/sec, 3070 secs
lola: sara is running 3075 secs || 204264718 markings, 657918333 edges, 2474 markings/sec, 3075 secs
lola: sara is running 3080 secs || 204269775 markings, 657932856 edges, 1011 markings/sec, 3080 secs
lola: sara is running 3085 secs || 204270286 markings, 657934408 edges, 102 markings/sec, 3085 secs
lola: sara is running 3090 secs || 204375277 markings, 658354242 edges, 20998 markings/sec, 3090 secs
lola: sara is running 3095 secs || 204731311 markings, 659465402 edges, 71207 markings/sec, 3095 secs
lola: sara is running 3100 secs || 205086381 markings, 660519818 edges, 71014 markings/sec, 3100 secs
lola: sara is running 3105 secs || 205439809 markings, 661577505 edges, 70686 markings/sec, 3105 secs
lola: sara is running 3110 secs || 205807096 markings, 662674787 edges, 73457 markings/sec, 3110 secs
lola: sara is running 3115 secs || 206165905 markings, 663747849 edges, 71762 markings/sec, 3115 secs
lola: sara is running 3120 secs || 206517331 markings, 664800247 edges, 70285 markings/sec, 3120 secs
lola: sara is running 3125 secs || 206848794 markings, 665777277 edges, 66293 markings/sec, 3125 secs
lola: sara is running 3130 secs || 207110097 markings, 666959185 edges, 52261 markings/sec, 3130 secs
lola: sara is running 3135 secs || 207375771 markings, 668089185 edges, 53135 markings/sec, 3135 secs
lola: sara is running 3140 secs || 207527664 markings, 668647757 edges, 30379 markings/sec, 3140 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: no no yes no no yes no no no no no yes yes yes yes unknown
FORMULA DES-PT-40b-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-ReachabilityCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-ReachabilityCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-ReachabilityCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-ReachabilityCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-ReachabilityCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-ReachabilityCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-ReachabilityCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-ReachabilityCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496458569677
--------------------
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_DES-PT-40b"
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_DES-PT-40b.tgz
mv S_DES-PT-40b execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_DES-PT-40b, 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 r098-ebro-149488455700313"
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 ;