About the Execution of LoLA for CloudReconfiguration-PT-302
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15950.100 | 3540392.00 | 6228070.00 | 8946.20 | FTFTTFF?FTTFTTTF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is CloudReconfiguration-PT-302, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961200018
=====================================================================
--------------------
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 CloudReconfiguration-PT-302-ReachabilityFireability-0
FORMULA_NAME CloudReconfiguration-PT-302-ReachabilityFireability-1
FORMULA_NAME CloudReconfiguration-PT-302-ReachabilityFireability-10
FORMULA_NAME CloudReconfiguration-PT-302-ReachabilityFireability-11
FORMULA_NAME CloudReconfiguration-PT-302-ReachabilityFireability-12
FORMULA_NAME CloudReconfiguration-PT-302-ReachabilityFireability-13
FORMULA_NAME CloudReconfiguration-PT-302-ReachabilityFireability-14
FORMULA_NAME CloudReconfiguration-PT-302-ReachabilityFireability-15
FORMULA_NAME CloudReconfiguration-PT-302-ReachabilityFireability-2
FORMULA_NAME CloudReconfiguration-PT-302-ReachabilityFireability-3
FORMULA_NAME CloudReconfiguration-PT-302-ReachabilityFireability-4
FORMULA_NAME CloudReconfiguration-PT-302-ReachabilityFireability-5
FORMULA_NAME CloudReconfiguration-PT-302-ReachabilityFireability-6
FORMULA_NAME CloudReconfiguration-PT-302-ReachabilityFireability-7
FORMULA_NAME CloudReconfiguration-PT-302-ReachabilityFireability-8
FORMULA_NAME CloudReconfiguration-PT-302-ReachabilityFireability-9
=== Now, execution of the tool begins
BK_START 1496529513625
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
CloudReconfiguration-PT-302: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-302: translating PT formula ReachabilityFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
ReachabilityFireability @ CloudReconfiguration-PT-302 @ 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: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2709 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-302-ReachabilityFireability.task
lola: A (G ((NOT FIREABLE(t1156) AND NOT FIREABLE(t1493) AND (NOT FIREABLE(t1988) OR NOT FIREABLE(t3073)) AND NOT FIREABLE(t708)))) : E (F ((FIREABLE(t169) AND FIREABLE(t1482)))) : E (F ((FIREABLE(t1990) AND FIREABLE(t3025)))) : E (F (FIREABLE(t1952))) : E (F (FIREABLE(t1933))) : E (F (((FIREABLE(t1613) OR FIREABLE(t2738)) AND FIREABLE(t1659) AND FIREABLE(t1830) AND NOT FIREABLE(t1155)))) : A (G ((NOT FIREABLE(t3051) OR NOT FIREABLE(t2292) OR (NOT FIREABLE(t2721) AND NOT FIREABLE(t90)) OR NOT FIREABLE(t689)))) : E (F (FIREABLE(t763))) : E (F ((((NOT FIREABLE(t1925) AND NOT FIREABLE(t1629)) OR FIREABLE(t589)) AND (FIREABLE(t2055) OR FIREABLE(t2638))))) : A (G ((NOT FIREABLE(t2329) OR NOT FIREABLE(t2911)))) : A (G (((NOT FIREABLE(t2464) AND NOT FIREABLE(t2838) AND NOT FIREABLE(t2083)) OR (FIREABLE(t1054) AND (FIREABLE(t1920) OR FIREABLE(t964)) AND FIREABLE(t2746))))) : E (F (FIREABLE(t2100))) : E (F (((FIREABLE(t1276) AND FIREABLE(t258) AND NOT FIREABLE(t2888)) OR (FIREABLE(t932) AND FIREABLE(t2360) AND FIREABLE(t902)) OR (FIREABLE(t1486) AND FIREABLE(t495) AND (FIREABLE(t2456) OR FIREABLE(t548)) AND FIREABLE(t547))))) : A (G ((NOT FIREABLE(t1939) OR NOT FIREABLE(t1089) OR FIREABLE(t1588) OR (FIREABLE(t2095) AND FIREABLE(t2717))))) : A (G (NOT FIREABLE(t1264))) : E (F ((FIREABLE(t2787) AND (FIREABLE(t207) OR FIREABLE(t881)) AND NOT FIREABLE(t493) AND (FIREABLE(t2601) OR FIREABLE(t2030)) AND FIREABLE(t1065))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t1156) AND NOT FIREABLE(t1493) AND (NOT FIREABLE(t1988) OR NOT FIREABLE(t3073)) AND NOT FIREABLE(t708))))
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 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 6 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-302-ReachabilityFireability.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t169) AND FIREABLE(t1482))))
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 324 bytes per marking, with 11 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 CloudReconfiguration-PT-302-ReachabilityFireability.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
========================================
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t1990) AND FIREABLE(t3025))))
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 324 bytes per marking, with 11 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 CloudReconfiguration-PT-302-ReachabilityFireability-2.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-302-ReachabilityFireability-2.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 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1952)))
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 324 bytes per marking, with 11 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 CloudReconfiguration-PT-302-ReachabilityFireability-3.sara
lola: lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 4 will run for 294 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1933)))
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 324 bytes per marking, with 11 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 CloudReconfiguration-PT-302-ReachabilityFireability-4.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 5 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t1613) OR FIREABLE(t2738)) AND FIREABLE(t1659) AND FIREABLE(t1830) AND NOT FIREABLE(t1155))))
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 324 bytes per marking, with 11 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 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-302-ReachabilityFireability-5.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-302-ReachabilityFireability-5.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 6 will run for 353 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t3051) OR NOT FIREABLE(t2292) OR (NOT FIREABLE(t2721) AND NOT FIREABLE(t90)) OR NOT FIREABLE(t689))))
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 324 bytes per marking, with 11 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 CloudReconfiguration-PT-302-ReachabilityFireability-6.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-302-ReachabilityFireability-6.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 103437 markings, 129052 edges, 20687 markings/sec, 0 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: subprocess 7 will run for 391 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t763)))
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 324 bytes per marking, with 11 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 CloudReconfiguration-PT-302-ReachabilityFireability-7.sara
lola: lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 8 will run for 440 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((NOT FIREABLE(t1925) AND NOT FIREABLE(t1629)) OR FIREABLE(t589)) AND (FIREABLE(t2055) OR FIREABLE(t2638)))))
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 324 bytes per marking, with 11 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 4 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-302-ReachabilityFireability-8.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 9 will run for 503 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t2329) OR NOT FIREABLE(t2911))))
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 324 bytes per marking, with 11 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 CloudReconfiguration-PT-302-ReachabilityFireability-9.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-302-ReachabilityFireability-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 587 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t2464) AND NOT FIREABLE(t2838) AND NOT FIREABLE(t2083)) OR (FIREABLE(t1054) AND (FIREABLE(t1920) OR FIREABLE(t964)) AND FIREABLE(t2746)))))
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 324 bytes per marking, with 11 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 21 literals and 9 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-302-ReachabilityFireability-10.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-302-ReachabilityFireability-10.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 11 will run for 705 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2100)))
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 324 bytes per marking, with 11 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 CloudReconfiguration-PT-302-ReachabilityFireability-11.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-302-ReachabilityFireability-11.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: lola: subprocess 12 will run for 881 seconds at most (--localtimelimit=-1)
========================================
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t1276) AND FIREABLE(t258) AND NOT FIREABLE(t2888)) OR (FIREABLE(t932) AND FIREABLE(t2360) AND FIREABLE(t902)) OR (FIREABLE(t1486) AND FIREABLE(t495) AND (FIREABLE(t2456) OR FIREABLE(t548)) AND FIREABLE(t547)))))
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 324 bytes per marking, with 11 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 14 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-302-ReachabilityFireability-12.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-302-ReachabilityFireability-12.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 13 will run for 1175 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t1939) OR NOT FIREABLE(t1089) OR FIREABLE(t1588) OR (FIREABLE(t2095) AND FIREABLE(t2717)))))
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 324 bytes per marking, with 11 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 8 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-302-ReachabilityFireability-13.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-302-ReachabilityFireability-13.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 14 will run for 1762 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t1264)))
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 324 bytes per marking, with 11 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 CloudReconfiguration-PT-302-ReachabilityFireability-14.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: subprocess 15 will run for 3525 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t2787) AND (FIREABLE(t207) OR FIREABLE(t881)) AND NOT FIREABLE(t493) AND (FIREABLE(t2601) OR FIREABLE(t2030)) AND FIREABLE(t1065))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: lola: ========================================
Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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 CloudReconfiguration-PT-302-ReachabilityFireability-15.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-302-ReachabilityFireability-15.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 94476 markings, 119025 edges, 18895 markings/sec, 0 secs
lola: sara is running 5 secs || 181527 markings, 255780 edges, 17410 markings/sec, 5 secs
lola: sara is running 10 secs || 278735 markings, 401228 edges, 19442 markings/sec, 10 secs
lola: sara is running 15 secs || 369627 markings, 546151 edges, 18178 markings/sec, 15 secs
lola: sara is running 20 secs || 462242 markings, 680390 edges, 18523 markings/sec, 20 secs
lola: sara is running 25 secs || 561630 markings, 834734 edges, 19878 markings/sec, 25 secs
lola: sara is running 30 secs || 652920 markings, 971977 edges, 18258 markings/sec, 30 secs
lola: sara is running 35 secs || 743522 markings, 1103023 edges, 18120 markings/sec, 35 secs
lola: sara is running 40 secs || 846230 markings, 1272559 edges, 20542 markings/sec, 40 secs
lola: sara is running 45 secs || 937749 markings, 1387059 edges, 18304 markings/sec, 45 secs
lola: sara is running 50 secs || 1036608 markings, 1536559 edges, 19772 markings/sec, 50 secs
lola: sara is running 55 secs || 1134426 markings, 1673383 edges, 19564 markings/sec, 55 secs
lola: sara is running 60 secs || 1245410 markings, 1818863 edges, 22197 markings/sec, 60 secs
lola: sara is running 65 secs || 1360002 markings, 2012727 edges, 22918 markings/sec, 65 secs
lola: sara is running 70 secs || 1452239 markings, 2157353 edges, 18447 markings/sec, 70 secs
lola: sara is running 75 secs || 1542718 markings, 2289572 edges, 18096 markings/sec, 75 secs
lola: sara is running 80 secs || 1639679 markings, 2447766 edges, 19392 markings/sec, 80 secs
lola: sara is running 85 secs || 1736894 markings, 2598271 edges, 19443 markings/sec, 85 secs
lola: sara is running 90 secs || 1833493 markings, 2750141 edges, 19320 markings/sec, 90 secs
lola: sara is running 95 secs || 1951370 markings, 2911773 edges, 23575 markings/sec, 95 secs
lola: sara is running 100 secs || 2044589 markings, 3053243 edges, 18644 markings/sec, 100 secs
lola: sara is running 105 secs || 2134930 markings, 3212853 edges, 18068 markings/sec, 105 secs
lola: sara is running 110 secs || 2224642 markings, 3361031 edges, 17942 markings/sec, 110 secs
lola: sara is running 115 secs || 2316174 markings, 3531658 edges, 18306 markings/sec, 115 secs
lola: sara is running 120 secs || 2410574 markings, 3706465 edges, 18880 markings/sec, 120 secs
lola: sara is running 125 secs || 2512765 markings, 3885494 edges, 20438 markings/sec, 125 secs
lola: sara is running 130 secs || 2606461 markings, 4062182 edges, 18739 markings/sec, 130 secs
lola: sara is running 135 secs || 2708779 markings, 4223698 edges, 20464 markings/sec, 135 secs
lola: sara is running 140 secs || 2805325 markings, 4372390 edges, 19309 markings/sec, 140 secs
lola: sara is running 145 secs || 2902796 markings, 4583652 edges, 19494 markings/sec, 145 secs
lola: sara is running 150 secs || 2998727 markings, 4776499 edges, 19186 markings/sec, 150 secs
lola: sara is running 155 secs || 3089696 markings, 4970554 edges, 18194 markings/sec, 155 secs
lola: sara is running 160 secs || 3179927 markings, 5175578 edges, 18046 markings/sec, 160 secs
lola: sara is running 165 secs || 3274074 markings, 5381753 edges, 18829 markings/sec, 165 secs
lola: sara is running 170 secs || 3365487 markings, 5585572 edges, 18283 markings/sec, 170 secs
lola: sara is running 175 secs || 3462867 markings, 5808315 edges, 19476 markings/sec, 175 secs
lola: sara is running 180 secs || 3555747 markings, 6017825 edges, 18576 markings/sec, 180 secs
lola: sara is running 185 secs || 3645313 markings, 6249788 edges, 17913 markings/sec, 185 secs
lola: sara is running 190 secs || 3724414 markings, 6471660 edges, 15820 markings/sec, 190 secs
lola: sara is running 195 secs || 3809979 markings, 6667608 edges, 17113 markings/sec, 195 secs
lola: sara is running 200 secs || 3893687 markings, 6871675 edges, 16742 markings/sec, 200 secs
lola: sara is running 205 secs || 3984814 markings, 7055845 edges, 18225 markings/sec, 205 secs
lola: sara is running 210 secs || 4076928 markings, 7240775 edges, 18423 markings/sec, 210 secs
lola: sara is running 215 secs || 4159537 markings, 7425471 edges, 16522 markings/sec, 215 secs
lola: sara is running 220 secs || 4239309 markings, 7607844 edges, 15954 markings/sec, 220 secs
lola: sara is running 225 secs || 4319518 markings, 7789317 edges, 16042 markings/sec, 225 secs
lola: sara is running 230 secs || 4406204 markings, 7980904 edges, 17337 markings/sec, 230 secs
lola: sara is running 235 secs || 4488853 markings, 8203031 edges, 16530 markings/sec, 235 secs
lola: sara is running 240 secs || 4576941 markings, 8398771 edges, 17618 markings/sec, 240 secs
lola: sara is running 245 secs || 4671722 markings, 8598494 edges, 18956 markings/sec, 245 secs
lola: sara is running 250 secs || 4760341 markings, 8775671 edges, 17724 markings/sec, 250 secs
lola: sara is running 255 secs || 4847057 markings, 8940734 edges, 17343 markings/sec, 255 secs
lola: sara is running 260 secs || 4939002 markings, 9114207 edges, 18389 markings/sec, 260 secs
lola: sara is running 265 secs || 5054216 markings, 9346645 edges, 23043 markings/sec, 265 secs
lola: sara is running 270 secs || 5187328 markings, 9582617 edges, 26622 markings/sec, 270 secs
lola: sara is running 275 secs || 5277787 markings, 9733080 edges, 18092 markings/sec, 275 secs
lola: sara is running 280 secs || 5365911 markings, 9904805 edges, 17625 markings/sec, 280 secs
lola: sara is running 285 secs || 5455934 markings, 10076595 edges, 18005 markings/sec, 285 secs
lola: sara is running 290 secs || 5544440 markings, 10248635 edges, 17701 markings/sec, 290 secs
lola: sara is running 295 secs || 5633972 markings, 10433609 edges, 17906 markings/sec, 295 secs
lola: sara is running 300 secs || 5723711 markings, 10625529 edges, 17948 markings/sec, 300 secs
lola: sara is running 305 secs || 5810674 markings, 10823930 edges, 17393 markings/sec, 305 secs
lola: sara is running 310 secs || 5892937 markings, 11014192 edges, 16453 markings/sec, 310 secs
lola: sara is running 315 secs || 5977514 markings, 11205364 edges, 16915 markings/sec, 315 secs
lola: sara is running 320 secs || 6068051 markings, 11407743 edges, 18107 markings/sec, 320 secs
lola: sara is running 325 secs || 6148634 markings, 11640628 edges, 16117 markings/sec, 325 secs
lola: sara is running 330 secs || 6228662 markings, 11823321 edges, 16006 markings/sec, 330 secs
lola: sara is running 335 secs || 6317285 markings, 12024852 edges, 17725 markings/sec, 335 secs
lola: sara is running 340 secs || 6393117 markings, 12201375 edges, 15166 markings/sec, 340 secs
lola: sara is running 345 secs || 6473827 markings, 12385178 edges, 16142 markings/sec, 345 secs
lola: sara is running 350 secs || 6557741 markings, 12588856 edges, 16783 markings/sec, 350 secs
lola: sara is running 355 secs || 6640034 markings, 12779015 edges, 16459 markings/sec, 355 secs
lola: sara is running 360 secs || 6734397 markings, 12981029 edges, 18873 markings/sec, 360 secs
lola: sara is running 365 secs || 6828157 markings, 13184894 edges, 18752 markings/sec, 365 secs
lola: sara is running 370 secs || 6918960 markings, 13353086 edges, 18161 markings/sec, 370 secs
lola: sara is running 375 secs || 7008348 markings, 13545819 edges, 17878 markings/sec, 375 secs
lola: sara is running 380 secs || 7095762 markings, 13722290 edges, 17483 markings/sec, 380 secs
lola: sara is running 385 secs || 7187983 markings, 13897544 edges, 18444 markings/sec, 385 secs
lola: sara is running 390 secs || 7320463 markings, 14133898 edges, 26496 markings/sec, 390 secs
lola: sara is running 395 secs || 7471744 markings, 14411269 edges, 30256 markings/sec, 395 secs
lola: sara is running 400 secs || 7618525 markings, 14684097 edges, 29356 markings/sec, 400 secs
lola: sara is running 405 secs || 7731107 markings, 14899179 edges, 22516 markings/sec, 405 secs
lola: sara is running 410 secs || 7847255 markings, 15128245 edges, 23230 markings/sec, 410 secs
lola: sara is running 415 secs || 7927318 markings, 15306025 edges, 16013 markings/sec, 415 secs
lola: sara is running 420 secs || 8002990 markings, 15476191 edges, 15134 markings/sec, 420 secs
lola: sara is running 425 secs || 8112746 markings, 15695643 edges, 21951 markings/sec, 425 secs
lola: sara is running 430 secs || 8222706 markings, 15915742 edges, 21992 markings/sec, 430 secs
lola: sara is running 435 secs || 8339012 markings, 16142750 edges, 23261 markings/sec, 435 secs
lola: sara is running 440 secs || 8437157 markings, 16343902 edges, 19629 markings/sec, 440 secs
lola: sara is running 445 secs || 8529798 markings, 16518319 edges, 18528 markings/sec, 445 secs
lola: sara is running 450 secs || 8624317 markings, 16654891 edges, 18904 markings/sec, 450 secs
lola: sara is running 455 secs || 8715541 markings, 16821494 edges, 18245 markings/sec, 455 secs
lola: sara is running 460 secs || 8798025 markings, 16987512 edges, 16497 markings/sec, 460 secs
lola: sara is running 465 secs || 8881719 markings, 17139717 edges, 16739 markings/sec, 465 secs
lola: sara is running 470 secs || 8967947 markings, 17311384 edges, 17246 markings/sec, 470 secs
lola: sara is running 475 secs || 9050019 markings, 17482610 edges, 16414 markings/sec, 475 secs
lola: sara is running 480 secs || 9119018 markings, 17629498 edges, 13800 markings/sec, 480 secs
lola: sara is running 485 secs || 9185381 markings, 17783846 edges, 13273 markings/sec, 485 secs
lola: sara is running 490 secs || 9255012 markings, 17932632 edges, 13926 markings/sec, 490 secs
lola: sara is running 495 secs || 9331994 markings, 18089687 edges, 15396 markings/sec, 495 secs
lola: sara is running 500 secs || 9416071 markings, 18251334 edges, 16815 markings/sec, 500 secs
lola: sara is running 505 secs || 9495165 markings, 18429624 edges, 15819 markings/sec, 505 secs
lola: sara is running 510 secs || 9570783 markings, 18603678 edges, 15124 markings/sec, 510 secs
lola: sara is running 515 secs || 9647079 markings, 18780797 edges, 15259 markings/sec, 515 secs
lola: sara is running 520 secs || 9723936 markings, 18953217 edges, 15371 markings/sec, 520 secs
lola: sara is running 525 secs || 9807339 markings, 19139423 edges, 16681 markings/sec, 525 secs
lola: sara is running 530 secs || 9882823 markings, 19310092 edges, 15097 markings/sec, 530 secs
lola: sara is running 535 secs || 9957147 markings, 19476539 edges, 14865 markings/sec, 535 secs
lola: sara is running 540 secs || 10026632 markings, 19692616 edges, 13897 markings/sec, 540 secs
lola: sara is running 545 secs || 10100503 markings, 19878806 edges, 14774 markings/sec, 545 secs
lola: sara is running 550 secs || 10185391 markings, 20071698 edges, 16978 markings/sec, 550 secs
lola: sara is running 555 secs || 10262358 markings, 20249164 edges, 15393 markings/sec, 555 secs
lola: sara is running 560 secs || 10337852 markings, 20420969 edges, 15099 markings/sec, 560 secs
lola: sara is running 565 secs || 10416081 markings, 20596985 edges, 15646 markings/sec, 565 secs
lola: sara is running 570 secs || 10492647 markings, 20782237 edges, 15313 markings/sec, 570 secs
lola: sara is running 575 secs || 10569124 markings, 20982542 edges, 15295 markings/sec, 575 secs
lola: sara is running 580 secs || 10664504 markings, 21176820 edges, 19076 markings/sec, 580 secs
lola: sara is running 585 secs || 10750832 markings, 21366548 edges, 17266 markings/sec, 585 secs
lola: sara is running 590 secs || 10834414 markings, 21548908 edges, 16716 markings/sec, 590 secs
lola: sara is running 595 secs || 10922315 markings, 21736639 edges, 17580 markings/sec, 595 secs
lola: sara is running 600 secs || 11009723 markings, 21936843 edges, 17482 markings/sec, 600 secs
lola: sara is running 605 secs || 11098418 markings, 22121081 edges, 17739 markings/sec, 605 secs
lola: sara is running 610 secs || 11174328 markings, 22277687 edges, 15182 markings/sec, 610 secs
lola: sara is running 615 secs || 11253854 markings, 22449807 edges, 15905 markings/sec, 615 secs
lola: sara is running 620 secs || 11331670 markings, 22627527 edges, 15563 markings/sec, 620 secs
lola: sara is running 625 secs || 11413406 markings, 22804245 edges, 16347 markings/sec, 625 secs
lola: sara is running 630 secs || 11504078 markings, 22987494 edges, 18134 markings/sec, 630 secs
lola: sara is running 635 secs || 11587085 markings, 23174031 edges, 16601 markings/sec, 635 secs
lola: sara is running 640 secs || 11683221 markings, 23353760 edges, 19227 markings/sec, 640 secs
lola: sara is running 645 secs || 11770398 markings, 23525381 edges, 17435 markings/sec, 645 secs
lola: sara is running 650 secs || 11853949 markings, 23708902 edges, 16710 markings/sec, 650 secs
lola: sara is running 655 secs || 11930771 markings, 23856310 edges, 15364 markings/sec, 655 secs
lola: sara is running 660 secs || 12002554 markings, 24016877 edges, 14357 markings/sec, 660 secs
lola: sara is running 665 secs || 12079797 markings, 24190894 edges, 15449 markings/sec, 665 secs
lola: sara is running 670 secs || 12176900 markings, 24358495 edges, 19421 markings/sec, 670 secs
lola: sara is running 675 secs || 12306367 markings, 24589537 edges, 25893 markings/sec, 675 secs
lola: sara is running 680 secs || 12418066 markings, 24795166 edges, 22340 markings/sec, 680 secs
lola: sara is running 685 secs || 12497140 markings, 24940873 edges, 15815 markings/sec, 685 secs
lola: sara is running 690 secs || 12583306 markings, 25091445 edges, 17233 markings/sec, 690 secs
lola: sara is running 695 secs || 12658375 markings, 25210936 edges, 15014 markings/sec, 695 secs
lola: sara is running 700 secs || 12740229 markings, 25347660 edges, 16371 markings/sec, 700 secs
lola: sara is running 705 secs || 12827542 markings, 25529861 edges, 17463 markings/sec, 705 secs
lola: sara is running 710 secs || 12905869 markings, 25706595 edges, 15665 markings/sec, 710 secs
lola: sara is running 715 secs || 12987550 markings, 25888166 edges, 16336 markings/sec, 715 secs
lola: sara is running 720 secs || 13062334 markings, 26052774 edges, 14957 markings/sec, 720 secs
lola: sara is running 725 secs || 13142109 markings, 26235509 edges, 15955 markings/sec, 725 secs
lola: sara is running 730 secs || 13218683 markings, 26410375 edges, 15315 markings/sec, 730 secs
lola: sara is running 735 secs || 13294950 markings, 26577180 edges, 15253 markings/sec, 735 secs
lola: sara is running 740 secs || 13373930 markings, 26753539 edges, 15796 markings/sec, 740 secs
lola: sara is running 745 secs || 13438320 markings, 26896166 edges, 12878 markings/sec, 745 secs
lola: sara is running 750 secs || 13518515 markings, 27079587 edges, 16039 markings/sec, 750 secs
lola: sara is running 755 secs || 13597782 markings, 27261093 edges, 15853 markings/sec, 755 secs
lola: sara is running 760 secs || 13691937 markings, 27470007 edges, 18831 markings/sec, 760 secs
lola: sara is running 765 secs || 13777838 markings, 27657186 edges, 17180 markings/sec, 765 secs
lola: sara is running 770 secs || 13867653 markings, 27862860 edges, 17963 markings/sec, 770 secs
lola: sara is running 775 secs || 13959239 markings, 28068253 edges, 18317 markings/sec, 775 secs
lola: sara is running 780 secs || 14037673 markings, 28242183 edges, 15687 markings/sec, 780 secs
lola: sara is running 785 secs || 14107014 markings, 28372167 edges, 13868 markings/sec, 785 secs
lola: sara is running 790 secs || 14183274 markings, 28488613 edges, 15252 markings/sec, 790 secs
lola: sara is running 795 secs || 14258674 markings, 28636061 edges, 15080 markings/sec, 795 secs
lola: sara is running 800 secs || 14335960 markings, 28783032 edges, 15457 markings/sec, 800 secs
lola: sara is running 805 secs || 14403855 markings, 28910742 edges, 13579 markings/sec, 805 secs
lola: sara is running 810 secs || 14489686 markings, 29071992 edges, 17166 markings/sec, 810 secs
lola: sara is running 815 secs || 14573001 markings, 29216149 edges, 16663 markings/sec, 815 secs
lola: sara is running 820 secs || 14642736 markings, 29329837 edges, 13947 markings/sec, 820 secs
lola: sara is running 825 secs || 14745936 markings, 29503451 edges, 20640 markings/sec, 825 secs
lola: sara is running 830 secs || 14824484 markings, 29615718 edges, 15710 markings/sec, 830 secs
lola: sara is running 835 secs || 14899218 markings, 29758699 edges, 14947 markings/sec, 835 secs
lola: sara is running 840 secs || 14970201 markings, 29897447 edges, 14197 markings/sec, 840 secs
lola: sara is running 845 secs || 15033548 markings, 30018561 edges, 12669 markings/sec, 845 secs
lola: sara is running 850 secs || 15095080 markings, 30152541 edges, 12306 markings/sec, 850 secs
lola: sara is running 855 secs || 15156670 markings, 30286134 edges, 12318 markings/sec, 855 secs
lola: sara is running 860 secs || 15217849 markings, 30417461 edges, 12236 markings/sec, 860 secs
lola: sara is running 865 secs || 15274495 markings, 30547772 edges, 11329 markings/sec, 865 secs
lola: sara is running 870 secs || 15332931 markings, 30676051 edges, 11687 markings/sec, 870 secs
lola: sara is running 875 secs || 15390787 markings, 30803632 edges, 11571 markings/sec, 875 secs
lola: sara is running 880 secs || 15443680 markings, 30923723 edges, 10579 markings/sec, 880 secs
lola: sara is running 885 secs || 15499201 markings, 31044080 edges, 11104 markings/sec, 885 secs
lola: sara is running 890 secs || 15552602 markings, 31157707 edges, 10680 markings/sec, 890 secs
lola: sara is running 895 secs || 15600073 markings, 31269066 edges, 9494 markings/sec, 895 secs
lola: sara is running 900 secs || 15670626 markings, 31379849 edges, 14111 markings/sec, 900 secs
lola: sara is running 905 secs || 15736655 markings, 31522748 edges, 13206 markings/sec, 905 secs
lola: sara is running 910 secs || 15797261 markings, 31659922 edges, 12121 markings/sec, 910 secs
lola: sara is running 915 secs || 15864300 markings, 31810378 edges, 13408 markings/sec, 915 secs
lola: sara is running 920 secs || 15950628 markings, 32002438 edges, 17266 markings/sec, 920 secs
lola: sara is running 925 secs || 16020745 markings, 32153754 edges, 14023 markings/sec, 925 secs
lola: sara is running 930 secs || 16084601 markings, 32300290 edges, 12771 markings/sec, 930 secs
lola: sara is running 935 secs || 16159862 markings, 32467850 edges, 15052 markings/sec, 935 secs
lola: sara is running 940 secs || 16227132 markings, 32617813 edges, 13454 markings/sec, 940 secs
lola: sara is running 945 secs || 16301405 markings, 32783210 edges, 14855 markings/sec, 945 secs
lola: sara is running 950 secs || 16389088 markings, 32961193 edges, 17537 markings/sec, 950 secs
lola: sara is running 955 secs || 16464284 markings, 33125099 edges, 15039 markings/sec, 955 secs
lola: sara is running 960 secs || 16531904 markings, 33249642 edges, 13524 markings/sec, 960 secs
lola: sara is running 965 secs || 16595994 markings, 33380105 edges, 12818 markings/sec, 965 secs
lola: sara is running 970 secs || 16660250 markings, 33524694 edges, 12851 markings/sec, 970 secs
lola: sara is running 975 secs || 16731285 markings, 33671282 edges, 14207 markings/sec, 975 secs
lola: sara is running 980 secs || 16794168 markings, 33799889 edges, 12577 markings/sec, 980 secs
lola: sara is running 985 secs || 16843505 markings, 33910041 edges, 9867 markings/sec, 985 secs
lola: sara is running 990 secs || 16890112 markings, 34016424 edges, 9321 markings/sec, 990 secs
lola: sara is running 995 secs || 16951524 markings, 34141754 edges, 12282 markings/sec, 995 secs
lola: sara is running 1000 secs || 17015998 markings, 34269237 edges, 12895 markings/sec, 1000 secs
lola: sara is running 1005 secs || 17091809 markings, 34390944 edges, 15162 markings/sec, 1005 secs
lola: sara is running 1010 secs || 17162013 markings, 34515398 edges, 14041 markings/sec, 1010 secs
lola: sara is running 1015 secs || 17247936 markings, 34649925 edges, 17185 markings/sec, 1015 secs
lola: sara is running 1020 secs || 17335709 markings, 34789297 edges, 17555 markings/sec, 1020 secs
lola: sara is running 1025 secs || 17423843 markings, 34931289 edges, 17627 markings/sec, 1025 secs
lola: sara is running 1030 secs || 17491159 markings, 35065204 edges, 13463 markings/sec, 1030 secs
lola: sara is running 1035 secs || 17570753 markings, 35178200 edges, 15919 markings/sec, 1035 secs
lola: sara is running 1040 secs || 17634999 markings, 35298628 edges, 12849 markings/sec, 1040 secs
lola: sara is running 1045 secs || 17697909 markings, 35423168 edges, 12582 markings/sec, 1045 secs
lola: sara is running 1050 secs || 17768934 markings, 35581530 edges, 14205 markings/sec, 1050 secs
lola: sara is running 1055 secs || 17837414 markings, 35732207 edges, 13696 markings/sec, 1055 secs
lola: sara is running 1060 secs || 17900368 markings, 35867187 edges, 12591 markings/sec, 1060 secs
lola: sara is running 1065 secs || 17966611 markings, 36015916 edges, 13249 markings/sec, 1065 secs
lola: sara is running 1070 secs || 18030291 markings, 36156697 edges, 12736 markings/sec, 1070 secs
lola: sara is running 1075 secs || 18093612 markings, 36299582 edges, 12664 markings/sec, 1075 secs
lola: sara is running 1080 secs || 18156557 markings, 36440148 edges, 12589 markings/sec, 1080 secs
lola: sara is running 1085 secs || 18217214 markings, 36570815 edges, 12131 markings/sec, 1085 secs
lola: sara is running 1090 secs || 18275291 markings, 36699452 edges, 11615 markings/sec, 1090 secs
lola: sara is running 1095 secs || 18333346 markings, 36829118 edges, 11611 markings/sec, 1095 secs
lola: sara is running 1100 secs || 18390789 markings, 36955645 edges, 11489 markings/sec, 1100 secs
lola: sara is running 1105 secs || 18446813 markings, 37083405 edges, 11205 markings/sec, 1105 secs
lola: sara is running 1110 secs || 18511136 markings, 37227449 edges, 12865 markings/sec, 1110 secs
lola: sara is running 1115 secs || 18578495 markings, 37360853 edges, 13472 markings/sec, 1115 secs
lola: sara is running 1120 secs || 18639021 markings, 37468074 edges, 12105 markings/sec, 1120 secs
lola: sara is running 1125 secs || 18712486 markings, 37614219 edges, 14693 markings/sec, 1125 secs
lola: sara is running 1130 secs || 18784094 markings, 37731362 edges, 14322 markings/sec, 1130 secs
lola: sara is running 1135 secs || 18856346 markings, 37845162 edges, 14450 markings/sec, 1135 secs
lola: sara is running 1140 secs || 18919815 markings, 37961462 edges, 12694 markings/sec, 1140 secs
lola: sara is running 1145 secs || 18988438 markings, 38095610 edges, 13725 markings/sec, 1145 secs
lola: sara is running 1150 secs || 19068827 markings, 38236963 edges, 16078 markings/sec, 1150 secs
lola: sara is running 1155 secs || 19170113 markings, 38426972 edges, 20257 markings/sec, 1155 secs
lola: sara is running 1160 secs || 19266466 markings, 38634464 edges, 19271 markings/sec, 1160 secs
lola: sara is running 1165 secs || 19363031 markings, 38834710 edges, 19313 markings/sec, 1165 secs
lola: sara is running 1170 secs || 19454378 markings, 39031893 edges, 18269 markings/sec, 1170 secs
lola: sara is running 1175 secs || 19544134 markings, 39219722 edges, 17951 markings/sec, 1175 secs
lola: sara is running 1180 secs || 19634170 markings, 39417039 edges, 18007 markings/sec, 1180 secs
lola: sara is running 1185 secs || 19722300 markings, 39604895 edges, 17626 markings/sec, 1185 secs
lola: sara is running 1190 secs || 19806985 markings, 39789914 edges, 16937 markings/sec, 1190 secs
lola: sara is running 1195 secs || 19891495 markings, 39973646 edges, 16902 markings/sec, 1195 secs
lola: sara is running 1200 secs || 19976131 markings, 40156568 edges, 16927 markings/sec, 1200 secs
lola: sara is running 1205 secs || 20060658 markings, 40337696 edges, 16905 markings/sec, 1205 secs
lola: sara is running 1210 secs || 20146109 markings, 40530960 edges, 17090 markings/sec, 1210 secs
lola: sara is running 1215 secs || 20240644 markings, 40716193 edges, 18907 markings/sec, 1215 secs
lola: sara is running 1220 secs || 20322593 markings, 40899199 edges, 16390 markings/sec, 1220 secs
lola: sara is running 1225 secs || 20402692 markings, 41078586 edges, 16020 markings/sec, 1225 secs
lola: sara is running 1230 secs || 20499375 markings, 41247517 edges, 19337 markings/sec, 1230 secs
lola: sara is running 1235 secs || 20585094 markings, 41426958 edges, 17144 markings/sec, 1235 secs
lola: sara is running 1240 secs || 20666904 markings, 41601319 edges, 16362 markings/sec, 1240 secs
lola: sara is running 1245 secs || 20751900 markings, 41772028 edges, 16999 markings/sec, 1245 secs
lola: sara is running 1250 secs || 20834344 markings, 41944381 edges, 16489 markings/sec, 1250 secs
lola: sara is running 1255 secs || 20911864 markings, 42109467 edges, 15504 markings/sec, 1255 secs
lola: sara is running 1260 secs || 20989466 markings, 42284349 edges, 15520 markings/sec, 1260 secs
lola: sara is running 1265 secs || 21060996 markings, 42435303 edges, 14306 markings/sec, 1265 secs
lola: sara is running 1270 secs || 21124660 markings, 42573815 edges, 12733 markings/sec, 1270 secs
lola: sara is running 1275 secs || 21180776 markings, 42690640 edges, 11223 markings/sec, 1275 secs
lola: sara is running 1280 secs || 21239507 markings, 42820806 edges, 11746 markings/sec, 1280 secs
lola: sara is running 1285 secs || 21315353 markings, 42994395 edges, 15169 markings/sec, 1285 secs
lola: sara is running 1290 secs || 21376383 markings, 43134646 edges, 12206 markings/sec, 1290 secs
lola: sara is running 1295 secs || 21423944 markings, 43245553 edges, 9512 markings/sec, 1295 secs
lola: sara is running 1300 secs || 21476140 markings, 43362836 edges, 10439 markings/sec, 1300 secs
lola: sara is running 1305 secs || 21523252 markings, 43472190 edges, 9422 markings/sec, 1305 secs
lola: sara is running 1310 secs || 21594008 markings, 43631209 edges, 14151 markings/sec, 1310 secs
lola: sara is running 1315 secs || 21666502 markings, 43789975 edges, 14499 markings/sec, 1315 secs
lola: sara is running 1320 secs || 21750906 markings, 43978411 edges, 16881 markings/sec, 1320 secs
lola: sara is running 1325 secs || 21812025 markings, 44115974 edges, 12224 markings/sec, 1325 secs
lola: sara is running 1330 secs || 21876062 markings, 44248333 edges, 12807 markings/sec, 1330 secs
lola: sara is running 1335 secs || 21942381 markings, 44396758 edges, 13264 markings/sec, 1335 secs
lola: sara is running 1340 secs || 22023829 markings, 44581823 edges, 16290 markings/sec, 1340 secs
lola: sara is running 1345 secs || 22083919 markings, 44721616 edges, 12018 markings/sec, 1345 secs
lola: sara is running 1350 secs || 22142091 markings, 44853097 edges, 11634 markings/sec, 1350 secs
lola: sara is running 1355 secs || 22197860 markings, 44983186 edges, 11154 markings/sec, 1355 secs
lola: sara is running 1360 secs || 22284369 markings, 45176670 edges, 17302 markings/sec, 1360 secs
lola: sara is running 1365 secs || 22364959 markings, 45357803 edges, 16118 markings/sec, 1365 secs
lola: sara is running 1370 secs || 22431344 markings, 45505154 edges, 13277 markings/sec, 1370 secs
lola: sara is running 1375 secs || 22521084 markings, 45705834 edges, 17948 markings/sec, 1375 secs
lola: sara is running 1380 secs || 22605412 markings, 45895601 edges, 16866 markings/sec, 1380 secs
lola: sara is running 1385 secs || 22684615 markings, 46081466 edges, 15841 markings/sec, 1385 secs
lola: sara is running 1390 secs || 22767501 markings, 46254880 edges, 16577 markings/sec, 1390 secs
lola: sara is running 1395 secs || 22847077 markings, 46430463 edges, 15915 markings/sec, 1395 secs
lola: sara is running 1400 secs || 22924782 markings, 46600614 edges, 15541 markings/sec, 1400 secs
lola: sara is running 1405 secs || 23003698 markings, 46778691 edges, 15783 markings/sec, 1405 secs
lola: sara is running 1410 secs || 23079048 markings, 46932177 edges, 15070 markings/sec, 1410 secs
lola: sara is running 1415 secs || 23153216 markings, 47098493 edges, 14834 markings/sec, 1415 secs
lola: sara is running 1420 secs || 23236765 markings, 47251650 edges, 16710 markings/sec, 1420 secs
lola: sara is running 1425 secs || 23345968 markings, 47429920 edges, 21841 markings/sec, 1425 secs
lola: sara is running 1430 secs || 23463789 markings, 47642434 edges, 23564 markings/sec, 1430 secs
lola: sara is running 1435 secs || 23587776 markings, 47873634 edges, 24797 markings/sec, 1435 secs
lola: sara is running 1440 secs || 23692366 markings, 48067113 edges, 20918 markings/sec, 1440 secs
lola: sara is running 1445 secs || 23786566 markings, 48245266 edges, 18840 markings/sec, 1445 secs
lola: sara is running 1450 secs || 23872601 markings, 48427441 edges, 17207 markings/sec, 1450 secs
lola: sara is running 1455 secs || 23962479 markings, 48599847 edges, 17976 markings/sec, 1455 secs
lola: sara is running 1460 secs || 24048696 markings, 48765177 edges, 17243 markings/sec, 1460 secs
lola: sara is running 1465 secs || 24124822 markings, 48928620 edges, 15225 markings/sec, 1465 secs
lola: sara is running 1470 secs || 24198890 markings, 49092051 edges, 14814 markings/sec, 1470 secs
lola: sara is running 1475 secs || 24270862 markings, 49253636 edges, 14394 markings/sec, 1475 secs
lola: sara is running 1480 secs || 24335558 markings, 49402502 edges, 12939 markings/sec, 1480 secs
lola: sara is running 1485 secs || 24399184 markings, 49540509 edges, 12725 markings/sec, 1485 secs
lola: sara is running 1490 secs || 24477912 markings, 49718723 edges, 15746 markings/sec, 1490 secs
lola: sara is running 1495 secs || 24543704 markings, 49869643 edges, 13158 markings/sec, 1495 secs
lola: sara is running 1500 secs || 24601597 markings, 50000581 edges, 11579 markings/sec, 1500 secs
lola: sara is running 1505 secs || 24659636 markings, 50131617 edges, 11608 markings/sec, 1505 secs
lola: sara is running 1510 secs || 24728588 markings, 50284735 edges, 13790 markings/sec, 1510 secs
lola: sara is running 1515 secs || 24787677 markings, 50417962 edges, 11818 markings/sec, 1515 secs
lola: sara is running 1520 secs || 24843521 markings, 50545436 edges, 11169 markings/sec, 1520 secs
lola: sara is running 1525 secs || 24899177 markings, 50672178 edges, 11131 markings/sec, 1525 secs
lola: sara is running 1530 secs || 24971720 markings, 50831329 edges, 14509 markings/sec, 1530 secs
lola: sara is running 1535 secs || 25042068 markings, 50993082 edges, 14070 markings/sec, 1535 secs
lola: sara is running 1540 secs || 25100418 markings, 51121536 edges, 11670 markings/sec, 1540 secs
lola: sara is running 1545 secs || 25163654 markings, 51263562 edges, 12647 markings/sec, 1545 secs
lola: sara is running 1550 secs || 25227180 markings, 51405941 edges, 12705 markings/sec, 1550 secs
lola: sara is running 1555 secs || 25321780 markings, 51597539 edges, 18920 markings/sec, 1555 secs
lola: sara is running 1560 secs || 25384838 markings, 51776250 edges, 12612 markings/sec, 1560 secs
lola: sara is running 1565 secs || 25457101 markings, 51903379 edges, 14453 markings/sec, 1565 secs
lola: sara is running 1570 secs || 25517464 markings, 52024011 edges, 12073 markings/sec, 1570 secs
lola: sara is running 1575 secs || 25573492 markings, 52141729 edges, 11206 markings/sec, 1575 secs
lola: sara is running 1580 secs || 25633290 markings, 52260069 edges, 11960 markings/sec, 1580 secs
lola: sara is running 1585 secs || 25698311 markings, 52388607 edges, 13004 markings/sec, 1585 secs
lola: sara is running 1590 secs || 25779216 markings, 52544448 edges, 16181 markings/sec, 1590 secs
lola: sara is running 1595 secs || 25854110 markings, 52690443 edges, 14979 markings/sec, 1595 secs
lola: sara is running 1600 secs || 25933340 markings, 52843974 edges, 15846 markings/sec, 1600 secs
lola: sara is running 1605 secs || 25997844 markings, 52978253 edges, 12901 markings/sec, 1605 secs
lola: sara is running 1610 secs || 26060582 markings, 53106581 edges, 12548 markings/sec, 1610 secs
lola: sara is running 1615 secs || 26121224 markings, 53234843 edges, 12128 markings/sec, 1615 secs
lola: sara is running 1620 secs || 26183182 markings, 53364325 edges, 12392 markings/sec, 1620 secs
lola: sara is running 1625 secs || 26245029 markings, 53505894 edges, 12369 markings/sec, 1625 secs
lola: sara is running 1630 secs || 26307466 markings, 53638256 edges, 12487 markings/sec, 1630 secs
lola: sara is running 1635 secs || 26365024 markings, 53768023 edges, 11512 markings/sec, 1635 secs
lola: sara is running 1640 secs || 26422278 markings, 53890038 edges, 11451 markings/sec, 1640 secs
lola: sara is running 1645 secs || 26481379 markings, 54008868 edges, 11820 markings/sec, 1645 secs
lola: sara is running 1650 secs || 26539911 markings, 54125845 edges, 11706 markings/sec, 1650 secs
lola: sara is running 1655 secs || 26596357 markings, 54238547 edges, 11289 markings/sec, 1655 secs
lola: sara is running 1660 secs || 26651299 markings, 54355845 edges, 10988 markings/sec, 1660 secs
lola: sara is running 1665 secs || 26725728 markings, 54514341 edges, 14886 markings/sec, 1665 secs
lola: sara is running 1670 secs || 26804874 markings, 54684786 edges, 15829 markings/sec, 1670 secs
lola: sara is running 1675 secs || 26882754 markings, 54851361 edges, 15576 markings/sec, 1675 secs
lola: sara is running 1680 secs || 26958137 markings, 55012685 edges, 15077 markings/sec, 1680 secs
lola: sara is running 1685 secs || 27029865 markings, 55165800 edges, 14346 markings/sec, 1685 secs
lola: sara is running 1690 secs || 27099718 markings, 55315942 edges, 13971 markings/sec, 1690 secs
lola: sara is running 1695 secs || 27160249 markings, 55447141 edges, 12106 markings/sec, 1695 secs
lola: sara is running 1700 secs || 27218080 markings, 55572736 edges, 11566 markings/sec, 1700 secs
lola: sara is running 1705 secs || 27274391 markings, 55694337 edges, 11262 markings/sec, 1705 secs
lola: sara is running 1710 secs || 27332992 markings, 55821628 edges, 11720 markings/sec, 1710 secs
lola: sara is running 1715 secs || 27393905 markings, 55954331 edges, 12183 markings/sec, 1715 secs
lola: sara is running 1720 secs || 27454883 markings, 56108023 edges, 12196 markings/sec, 1720 secs
lola: sara is running 1725 secs || 27518485 markings, 56251048 edges, 12720 markings/sec, 1725 secs
lola: sara is running 1730 secs || 27575041 markings, 56383939 edges, 11311 markings/sec, 1730 secs
lola: sara is running 1735 secs || 27631872 markings, 56503808 edges, 11366 markings/sec, 1735 secs
lola: sara is running 1740 secs || 27689630 markings, 56619452 edges, 11552 markings/sec, 1740 secs
lola: sara is running 1745 secs || 27747342 markings, 56735141 edges, 11542 markings/sec, 1745 secs
lola: sara is running 1750 secs || 27822466 markings, 56880918 edges, 15025 markings/sec, 1750 secs
lola: sara is running 1755 secs || 27906025 markings, 57043647 edges, 16712 markings/sec, 1755 secs
lola: sara is running 1760 secs || 27980243 markings, 57186337 edges, 14844 markings/sec, 1760 secs
lola: sara is running 1765 secs || 28050387 markings, 57324688 edges, 14029 markings/sec, 1765 secs
lola: sara is running 1770 secs || 28107526 markings, 57448482 edges, 11428 markings/sec, 1770 secs
lola: sara is running 1775 secs || 28167739 markings, 57573747 edges, 12043 markings/sec, 1775 secs
lola: sara is running 1780 secs || 28224837 markings, 57689787 edges, 11420 markings/sec, 1780 secs
lola: sara is running 1785 secs || 28284066 markings, 57815164 edges, 11846 markings/sec, 1785 secs
lola: sara is running 1790 secs || 28342818 markings, 57951804 edges, 11750 markings/sec, 1790 secs
lola: sara is running 1795 secs || 28402719 markings, 58091834 edges, 11980 markings/sec, 1795 secs
lola: sara is running 1800 secs || 28462149 markings, 58213223 edges, 11886 markings/sec, 1800 secs
lola: sara is running 1805 secs || 28518384 markings, 58325691 edges, 11247 markings/sec, 1805 secs
lola: sara is running 1810 secs || 28574875 markings, 58443101 edges, 11298 markings/sec, 1810 secs
lola: sara is running 1815 secs || 28632716 markings, 58561950 edges, 11568 markings/sec, 1815 secs
lola: sara is running 1820 secs || 28689409 markings, 58675877 edges, 11339 markings/sec, 1820 secs
lola: sara is running 1825 secs || 28743816 markings, 58783551 edges, 10881 markings/sec, 1825 secs
lola: sara is running 1830 secs || 28799848 markings, 58903211 edges, 11206 markings/sec, 1830 secs
lola: sara is running 1835 secs || 28858379 markings, 59019856 edges, 11706 markings/sec, 1835 secs
lola: sara is running 1840 secs || 28910529 markings, 59124577 edges, 10430 markings/sec, 1840 secs
lola: sara is running 1845 secs || 28963344 markings, 59237486 edges, 10563 markings/sec, 1845 secs
lola: sara is running 1850 secs || 29019692 markings, 59349293 edges, 11270 markings/sec, 1850 secs
lola: sara is running 1855 secs || 29085228 markings, 59473554 edges, 13107 markings/sec, 1855 secs
lola: sara is running 1860 secs || 29161178 markings, 59595733 edges, 15190 markings/sec, 1860 secs
lola: sara is running 1865 secs || 29235466 markings, 59720462 edges, 14858 markings/sec, 1865 secs
lola: sara is running 1870 secs || 29296723 markings, 59797844 edges, 12251 markings/sec, 1870 secs
lola: sara is running 1875 secs || 29372254 markings, 59909394 edges, 15106 markings/sec, 1875 secs
lola: sara is running 1880 secs || 29445738 markings, 60018938 edges, 14697 markings/sec, 1880 secs
lola: sara is running 1885 secs || 29524714 markings, 60138884 edges, 15795 markings/sec, 1885 secs
lola: sara is running 1890 secs || 29597734 markings, 60253888 edges, 14604 markings/sec, 1890 secs
lola: sara is running 1895 secs || 29669996 markings, 60367744 edges, 14452 markings/sec, 1895 secs
lola: sara is running 1900 secs || 29751487 markings, 60494091 edges, 16298 markings/sec, 1900 secs
lola: sara is running 1905 secs || 29816992 markings, 60619080 edges, 13101 markings/sec, 1905 secs
lola: sara is running 1910 secs || 29881666 markings, 60761286 edges, 12935 markings/sec, 1910 secs
lola: sara is running 1915 secs || 29940373 markings, 60885753 edges, 11741 markings/sec, 1915 secs
lola: sara is running 1920 secs || 29994186 markings, 60996356 edges, 10763 markings/sec, 1920 secs
lola: sara is running 1925 secs || 30047493 markings, 61108808 edges, 10661 markings/sec, 1925 secs
lola: sara is running 1930 secs || 30103639 markings, 61206922 edges, 11229 markings/sec, 1930 secs
lola: sara is running 1935 secs || 30159734 markings, 61307761 edges, 11219 markings/sec, 1935 secs
lola: sara is running 1940 secs || 30212210 markings, 61414499 edges, 10495 markings/sec, 1940 secs
lola: sara is running 1945 secs || 30255798 markings, 61507098 edges, 8718 markings/sec, 1945 secs
lola: sara is running 1950 secs || 30308413 markings, 61616041 edges, 10523 markings/sec, 1950 secs
lola: sara is running 1955 secs || 30356071 markings, 61723886 edges, 9532 markings/sec, 1955 secs
lola: sara is running 1960 secs || 30408512 markings, 61838448 edges, 10488 markings/sec, 1960 secs
lola: sara is running 1965 secs || 30453400 markings, 61938617 edges, 8978 markings/sec, 1965 secs
lola: sara is running 1970 secs || 30499458 markings, 62048016 edges, 9212 markings/sec, 1970 secs
lola: sara is running 1975 secs || 30550063 markings, 62167235 edges, 10121 markings/sec, 1975 secs
lola: sara is running 1980 secs || 30605797 markings, 62287167 edges, 11147 markings/sec, 1980 secs
lola: sara is running 1985 secs || 30654172 markings, 62395602 edges, 9675 markings/sec, 1985 secs
lola: sara is running 1990 secs || 30701833 markings, 62512608 edges, 9532 markings/sec, 1990 secs
lola: sara is running 1995 secs || 30751099 markings, 62616520 edges, 9853 markings/sec, 1995 secs
lola: sara is running 2000 secs || 30793958 markings, 62714161 edges, 8572 markings/sec, 2000 secs
lola: sara is running 2005 secs || 30835949 markings, 62809282 edges, 8398 markings/sec, 2005 secs
lola: sara is running 2010 secs || 30886907 markings, 62922215 edges, 10192 markings/sec, 2010 secs
lola: sara is running 2015 secs || 30936204 markings, 63021586 edges, 9859 markings/sec, 2015 secs
lola: sara is running 2020 secs || 30978749 markings, 63115658 edges, 8509 markings/sec, 2020 secs
lola: sara is running 2025 secs || 31019131 markings, 63206037 edges, 8076 markings/sec, 2025 secs
lola: sara is running 2030 secs || 31060167 markings, 63306181 edges, 8207 markings/sec, 2030 secs
lola: sara is running 2035 secs || 31117117 markings, 63430904 edges, 11390 markings/sec, 2035 secs
lola: sara is running 2040 secs || 31167892 markings, 63541853 edges, 10155 markings/sec, 2040 secs
lola: sara is running 2045 secs || 31229826 markings, 63675068 edges, 12387 markings/sec, 2045 secs
lola: sara is running 2050 secs || 31289069 markings, 63805263 edges, 11849 markings/sec, 2050 secs
lola: sara is running 2055 secs || 31342452 markings, 63920045 edges, 10677 markings/sec, 2055 secs
lola: sara is running 2060 secs || 31404586 markings, 64060838 edges, 12427 markings/sec, 2060 secs
lola: sara is running 2065 secs || 31463035 markings, 64192087 edges, 11690 markings/sec, 2065 secs
lola: sara is running 2070 secs || 31497869 markings, 64274067 edges, 6967 markings/sec, 2070 secs
lola: sara is running 2075 secs || 31544894 markings, 64379768 edges, 9405 markings/sec, 2075 secs
lola: sara is running 2080 secs || 31595434 markings, 64506734 edges, 10108 markings/sec, 2080 secs
lola: sara is running 2085 secs || 31656382 markings, 64643007 edges, 12190 markings/sec, 2085 secs
lola: sara is running 2090 secs || 31716149 markings, 64756562 edges, 11953 markings/sec, 2090 secs
lola: sara is running 2095 secs || 31779400 markings, 64896589 edges, 12650 markings/sec, 2095 secs
lola: sara is running 2100 secs || 31864248 markings, 65096559 edges, 16970 markings/sec, 2100 secs
lola: sara is running 2105 secs || 31940225 markings, 65249616 edges, 15195 markings/sec, 2105 secs
lola: sara is running 2110 secs || 31997677 markings, 65458177 edges, 11490 markings/sec, 2110 secs
lola: sara is running 2115 secs || 32085340 markings, 65656997 edges, 17533 markings/sec, 2115 secs
lola: sara is running 2120 secs || 32161956 markings, 65802551 edges, 15323 markings/sec, 2120 secs
lola: sara is running 2125 secs || 32250675 markings, 65974376 edges, 17744 markings/sec, 2125 secs
lola: sara is running 2130 secs || 32326242 markings, 66137536 edges, 15113 markings/sec, 2130 secs
lola: sara is running 2135 secs || 32417988 markings, 66315837 edges, 18349 markings/sec, 2135 secs
lola: sara is running 2140 secs || 32483802 markings, 66469748 edges, 13163 markings/sec, 2140 secs
lola: sara is running 2145 secs || 32548161 markings, 66624279 edges, 12872 markings/sec, 2145 secs
lola: sara is running 2150 secs || 32608978 markings, 66762335 edges, 12163 markings/sec, 2150 secs
lola: sara is running 2155 secs || 32707104 markings, 66934622 edges, 19625 markings/sec, 2155 secs
lola: sara is running 2160 secs || 32805846 markings, 67105271 edges, 19748 markings/sec, 2160 secs
lola: sara is running 2165 secs || 32907268 markings, 67290125 edges, 20284 markings/sec, 2165 secs
lola: sara is running 2170 secs || 33011480 markings, 67492923 edges, 20842 markings/sec, 2170 secs
lola: sara is running 2175 secs || 33102156 markings, 67657022 edges, 18135 markings/sec, 2175 secs
lola: sara is running 2180 secs || 33185046 markings, 67828265 edges, 16578 markings/sec, 2180 secs
lola: sara is running 2185 secs || 33277507 markings, 67987851 edges, 18492 markings/sec, 2185 secs
lola: sara is running 2190 secs || 33381786 markings, 68199897 edges, 20856 markings/sec, 2190 secs
lola: sara is running 2195 secs || 33487471 markings, 68418496 edges, 21137 markings/sec, 2195 secs
lola: sara is running 2200 secs || 33579986 markings, 68590193 edges, 18503 markings/sec, 2200 secs
lola: sara is running 2205 secs || 33674874 markings, 68748150 edges, 18978 markings/sec, 2205 secs
lola: sara is running 2210 secs || 33767449 markings, 68943753 edges, 18515 markings/sec, 2210 secs
lola: sara is running 2215 secs || 33858253 markings, 69135025 edges, 18161 markings/sec, 2215 secs
lola: sara is running 2220 secs || 33948130 markings, 69299666 edges, 17975 markings/sec, 2220 secs
lola: sara is running 2225 secs || 34055410 markings, 69480095 edges, 21456 markings/sec, 2225 secs
lola: sara is running 2230 secs || 34152651 markings, 69640872 edges, 19448 markings/sec, 2230 secs
lola: sara is running 2235 secs || 34263823 markings, 69815489 edges, 22234 markings/sec, 2235 secs
lola: sara is running 2240 secs || 34363819 markings, 69965173 edges, 19999 markings/sec, 2240 secs
lola: sara is running 2245 secs || 34444478 markings, 70135922 edges, 16132 markings/sec, 2245 secs
lola: sara is running 2250 secs || 34525858 markings, 70292178 edges, 16276 markings/sec, 2250 secs
lola: sara is running 2255 secs || 34622107 markings, 70420859 edges, 19250 markings/sec, 2255 secs
lola: sara is running 2260 secs || 34700691 markings, 70565050 edges, 15717 markings/sec, 2260 secs
lola: sara is running 2265 secs || 34785749 markings, 70753575 edges, 17012 markings/sec, 2265 secs
lola: sara is running 2270 secs || 34872390 markings, 70938850 edges, 17328 markings/sec, 2270 secs
lola: sara is running 2275 secs || 34959664 markings, 71129920 edges, 17455 markings/sec, 2275 secs
lola: sara is running 2280 secs || 35056028 markings, 71321542 edges, 19273 markings/sec, 2280 secs
lola: sara is running 2285 secs || 35163426 markings, 71536131 edges, 21480 markings/sec, 2285 secs
lola: sara is running 2290 secs || 35262824 markings, 71720088 edges, 19880 markings/sec, 2290 secs
lola: sara is running 2295 secs || 35348135 markings, 71852035 edges, 17062 markings/sec, 2295 secs
lola: sara is running 2300 secs || 35438288 markings, 71975134 edges, 18031 markings/sec, 2300 secs
lola: sara is running 2305 secs || 35532033 markings, 72128722 edges, 18749 markings/sec, 2305 secs
lola: sara is running 2310 secs || 35628237 markings, 72346765 edges, 19241 markings/sec, 2310 secs
lola: sara is running 2315 secs || 35716562 markings, 72545060 edges, 17665 markings/sec, 2315 secs
lola: sara is running 2320 secs || 35804104 markings, 72730373 edges, 17508 markings/sec, 2320 secs
lola: sara is running 2325 secs || 35888398 markings, 72892693 edges, 16859 markings/sec, 2325 secs
lola: sara is running 2330 secs || 35977986 markings, 73089943 edges, 17918 markings/sec, 2330 secs
lola: sara is running 2335 secs || 36069285 markings, 73292782 edges, 18260 markings/sec, 2335 secs
lola: sara is running 2340 secs || 36155725 markings, 73488212 edges, 17288 markings/sec, 2340 secs
lola: sara is running 2345 secs || 36244657 markings, 73671710 edges, 17786 markings/sec, 2345 secs
lola: sara is running 2350 secs || 36331077 markings, 73857332 edges, 17284 markings/sec, 2350 secs
lola: sara is running 2355 secs || 36423690 markings, 74064630 edges, 18523 markings/sec, 2355 secs
lola: sara is running 2360 secs || 36517308 markings, 74254165 edges, 18724 markings/sec, 2360 secs
lola: sara is running 2365 secs || 36612365 markings, 74436554 edges, 19011 markings/sec, 2365 secs
lola: sara is running 2370 secs || 36703050 markings, 74578288 edges, 18137 markings/sec, 2370 secs
lola: sara is running 2375 secs || 36795948 markings, 74730843 edges, 18580 markings/sec, 2375 secs
lola: sara is running 2380 secs || 36889829 markings, 74872995 edges, 18776 markings/sec, 2380 secs
lola: sara is running 2385 secs || 36987701 markings, 75017149 edges, 19574 markings/sec, 2385 secs
lola: sara is running 2390 secs || 37084649 markings, 75163012 edges, 19390 markings/sec, 2390 secs
lola: sara is running 2395 secs || 37180414 markings, 75322733 edges, 19153 markings/sec, 2395 secs
lola: sara is running 2400 secs || 37292977 markings, 75469471 edges, 22513 markings/sec, 2400 secs
lola: sara is running 2405 secs || 37394578 markings, 75687924 edges, 20320 markings/sec, 2405 secs
lola: sara is running 2410 secs || 37494008 markings, 75919296 edges, 19886 markings/sec, 2410 secs
lola: sara is running 2415 secs || 37591532 markings, 76139708 edges, 19505 markings/sec, 2415 secs
lola: sara is running 2420 secs || 37685100 markings, 76347795 edges, 18714 markings/sec, 2420 secs
lola: sara is running 2425 secs || 37772778 markings, 76526622 edges, 17536 markings/sec, 2425 secs
lola: sara is running 2430 secs || 37861528 markings, 76731747 edges, 17750 markings/sec, 2430 secs
lola: sara is running 2435 secs || 37950175 markings, 76932160 edges, 17729 markings/sec, 2435 secs
lola: sara is running 2440 secs || 38047233 markings, 77141428 edges, 19412 markings/sec, 2440 secs
lola: sara is running 2445 secs || 38153358 markings, 77286159 edges, 21225 markings/sec, 2445 secs
lola: sara is running 2450 secs || 38260035 markings, 77423082 edges, 21335 markings/sec, 2450 secs
lola: sara is running 2455 secs || 38355093 markings, 77609797 edges, 19012 markings/sec, 2455 secs
lola: sara is running 2460 secs || 38446536 markings, 77822785 edges, 18289 markings/sec, 2460 secs
lola: sara is running 2465 secs || 38542831 markings, 78043048 edges, 19259 markings/sec, 2465 secs
lola: sara is running 2470 secs || 38638965 markings, 78256922 edges, 19227 markings/sec, 2470 secs
lola: sara is running 2475 secs || 38733676 markings, 78453078 edges, 18942 markings/sec, 2475 secs
lola: sara is running 2480 secs || 38828025 markings, 78671967 edges, 18870 markings/sec, 2480 secs
lola: sara is running 2485 secs || 38923376 markings, 78889124 edges, 19070 markings/sec, 2485 secs
lola: sara is running 2490 secs || 39020069 markings, 79070551 edges, 19339 markings/sec, 2490 secs
lola: sara is running 2495 secs || 39132526 markings, 79248536 edges, 22491 markings/sec, 2495 secs
lola: sara is running 2500 secs || 39246937 markings, 79473342 edges, 22882 markings/sec, 2500 secs
lola: sara is running 2505 secs || 39356538 markings, 79726455 edges, 21920 markings/sec, 2505 secs
lola: sara is running 2510 secs || 39477320 markings, 79902305 edges, 24156 markings/sec, 2510 secs
lola: sara is running 2515 secs || 39583917 markings, 80036100 edges, 21319 markings/sec, 2515 secs
lola: sara is running 2520 secs || 39706631 markings, 80195626 edges, 24543 markings/sec, 2520 secs
lola: sara is running 2525 secs || 39822653 markings, 80366573 edges, 23204 markings/sec, 2525 secs
lola: sara is running 2530 secs || 39933560 markings, 80614080 edges, 22181 markings/sec, 2530 secs
lola: sara is running 2535 secs || 40043078 markings, 80864605 edges, 21904 markings/sec, 2535 secs
lola: sara is running 2540 secs || 40149502 markings, 81099135 edges, 21285 markings/sec, 2540 secs
lola: sara is running 2545 secs || 40253982 markings, 81321499 edges, 20896 markings/sec, 2545 secs
lola: sara is running 2550 secs || 40355802 markings, 81558260 edges, 20364 markings/sec, 2550 secs
lola: sara is running 2555 secs || 40460677 markings, 81794464 edges, 20975 markings/sec, 2555 secs
lola: sara is running 2560 secs || 40571899 markings, 81965999 edges, 22244 markings/sec, 2560 secs
lola: sara is running 2565 secs || 40688729 markings, 82115068 edges, 23366 markings/sec, 2565 secs
lola: sara is running 2570 secs || 40794500 markings, 82249640 edges, 21154 markings/sec, 2570 secs
lola: sara is running 2575 secs || 40911019 markings, 82401727 edges, 23304 markings/sec, 2575 secs
lola: sara is running 2580 secs || 41026859 markings, 82562364 edges, 23168 markings/sec, 2580 secs
lola: sara is running 2585 secs || 41139050 markings, 82717294 edges, 22438 markings/sec, 2585 secs
lola: sara is running 2590 secs || 41244181 markings, 82851268 edges, 21026 markings/sec, 2590 secs
lola: sara is running 2595 secs || 41348267 markings, 82982924 edges, 20817 markings/sec, 2595 secs
lola: sara is running 2600 secs || 41455993 markings, 83125295 edges, 21545 markings/sec, 2600 secs
lola: sara is running 2605 secs || 41549088 markings, 83241684 edges, 18619 markings/sec, 2605 secs
lola: sara is running 2610 secs || 41657541 markings, 83383683 edges, 21691 markings/sec, 2610 secs
lola: sara is running 2615 secs || 41754809 markings, 83517420 edges, 19454 markings/sec, 2615 secs
lola: sara is running 2620 secs || 41856095 markings, 83644341 edges, 20257 markings/sec, 2620 secs
lola: sara is running 2625 secs || 41953151 markings, 83767346 edges, 19411 markings/sec, 2625 secs
lola: sara is running 2630 secs || 42053642 markings, 83900847 edges, 20098 markings/sec, 2630 secs
lola: sara is running 2635 secs || 42150776 markings, 84021768 edges, 19427 markings/sec, 2635 secs
lola: sara is running 2640 secs || 42252307 markings, 84156433 edges, 20306 markings/sec, 2640 secs
lola: sara is running 2645 secs || 42349396 markings, 84290505 edges, 19418 markings/sec, 2645 secs
lola: sara is running 2650 secs || 42440795 markings, 84408890 edges, 18280 markings/sec, 2650 secs
lola: sara is running 2655 secs || 42544044 markings, 84537114 edges, 20650 markings/sec, 2655 secs
lola: sara is running 2660 secs || 42647156 markings, 84669190 edges, 20622 markings/sec, 2660 secs
lola: sara is running 2665 secs || 42738544 markings, 84788012 edges, 18278 markings/sec, 2665 secs
lola: sara is running 2670 secs || 42836799 markings, 84909827 edges, 19651 markings/sec, 2670 secs
lola: sara is running 2675 secs || 42872288 markings, 84957631 edges, 7098 markings/sec, 2675 secs
lola: sara is running 2680 secs || 42873639 markings, 84959375 edges, 270 markings/sec, 2680 secs
lola: sara is running 2685 secs || 42874704 markings, 84960775 edges, 213 markings/sec, 2685 secs
lola: sara is running 2690 secs || 42875110 markings, 84961284 edges, 81 markings/sec, 2690 secs
lola: sara is running 2695 secs || 42875695 markings, 84962123 edges, 117 markings/sec, 2695 secs
lola: sara is running 2700 secs || 42875887 markings, 84962551 edges, 38 markings/sec, 2700 secs
lola: sara is running 2705 secs || 42876614 markings, 84964173 edges, 145 markings/sec, 2705 secs
lola: sara is running 2710 secs || 42876869 markings, 84964741 edges, 51 markings/sec, 2710 secs
lola: sara is running 2715 secs || 42877811 markings, 84966182 edges, 188 markings/sec, 2715 secs
lola: sara is running 2720 secs || 42931881 markings, 85040419 edges, 10814 markings/sec, 2720 secs
lola: sara is running 2725 secs || 43003354 markings, 85136542 edges, 14295 markings/sec, 2725 secs
lola: sara is running 2730 secs || 43100499 markings, 85257252 edges, 19429 markings/sec, 2730 secs
lola: sara is running 2735 secs || 43199668 markings, 85379030 edges, 19834 markings/sec, 2735 secs
lola: sara is running 2740 secs || 43289521 markings, 85501352 edges, 17971 markings/sec, 2740 secs
lola: sara is running 2745 secs || 43385283 markings, 85618817 edges, 19152 markings/sec, 2745 secs
lola: sara is running 2750 secs || 43480051 markings, 85745216 edges, 18954 markings/sec, 2750 secs
lola: sara is running 2755 secs || 43570895 markings, 85871054 edges, 18169 markings/sec, 2755 secs
lola: sara is running 2760 secs || 43674560 markings, 86001268 edges, 20733 markings/sec, 2760 secs
lola: sara is running 2765 secs || 43785686 markings, 86149259 edges, 22225 markings/sec, 2765 secs
lola: sara is running 2770 secs || 43886918 markings, 86292239 edges, 20246 markings/sec, 2770 secs
lola: sara is running 2775 secs || 43974827 markings, 86408130 edges, 17582 markings/sec, 2775 secs
lola: sara is running 2780 secs || 44049212 markings, 86511506 edges, 14877 markings/sec, 2780 secs
lola: sara is running 2785 secs || 44122795 markings, 86672689 edges, 14717 markings/sec, 2785 secs
lola: sara is running 2790 secs || 44195716 markings, 86836832 edges, 14584 markings/sec, 2790 secs
lola: sara is running 2795 secs || 44268840 markings, 86999383 edges, 14625 markings/sec, 2795 secs
lola: sara is running 2800 secs || 44341100 markings, 87158430 edges, 14452 markings/sec, 2800 secs
lola: sara is running 2805 secs || 44416368 markings, 87329925 edges, 15054 markings/sec, 2805 secs
lola: sara is running 2810 secs || 44490366 markings, 87493740 edges, 14800 markings/sec, 2810 secs
lola: sara is running 2815 secs || 44563074 markings, 87662532 edges, 14542 markings/sec, 2815 secs
lola: sara is running 2820 secs || 44634554 markings, 87820511 edges, 14296 markings/sec, 2820 secs
lola: sara is running 2825 secs || 44702718 markings, 87971232 edges, 13633 markings/sec, 2825 secs
lola: sara is running 2830 secs || 44773976 markings, 88132676 edges, 14252 markings/sec, 2830 secs
lola: sara is running 2835 secs || 44846418 markings, 88293999 edges, 14488 markings/sec, 2835 secs
lola: sara is running 2840 secs || 44916428 markings, 88453856 edges, 14002 markings/sec, 2840 secs
lola: sara is running 2845 secs || 44990322 markings, 88616850 edges, 14779 markings/sec, 2845 secs
lola: sara is running 2850 secs || 45063768 markings, 88783451 edges, 14689 markings/sec, 2850 secs
lola: sara is running 2855 secs || 45137296 markings, 88947042 edges, 14706 markings/sec, 2855 secs
lola: sara is running 2860 secs || 45210005 markings, 89115723 edges, 14542 markings/sec, 2860 secs
lola: sara is running 2865 secs || 45284983 markings, 89283787 edges, 14996 markings/sec, 2865 secs
lola: sara is running 2870 secs || 45362398 markings, 89441761 edges, 15483 markings/sec, 2870 secs
lola: sara is running 2875 secs || 45448789 markings, 89639489 edges, 17278 markings/sec, 2875 secs
lola: sara is running 2880 secs || 45536234 markings, 89843089 edges, 17489 markings/sec, 2880 secs
lola: sara is running 2885 secs || 45626558 markings, 90047714 edges, 18065 markings/sec, 2885 secs
lola: sara is running 2890 secs || 45711712 markings, 90223633 edges, 17031 markings/sec, 2890 secs
lola: sara is running 2895 secs || 45794575 markings, 90416559 edges, 16573 markings/sec, 2895 secs
lola: sara is running 2900 secs || 45879149 markings, 90608122 edges, 16915 markings/sec, 2900 secs
lola: sara is running 2905 secs || 45965887 markings, 90809580 edges, 17348 markings/sec, 2905 secs
lola: sara is running 2910 secs || 46065293 markings, 91017551 edges, 19881 markings/sec, 2910 secs
lola: sara is running 2915 secs || 46167196 markings, 91254909 edges, 20381 markings/sec, 2915 secs
lola: sara is running 2920 secs || 46269628 markings, 91488534 edges, 20486 markings/sec, 2920 secs
lola: sara is running 2925 secs || 46366878 markings, 91693754 edges, 19450 markings/sec, 2925 secs
lola: sara is running 2930 secs || 46462999 markings, 91918137 edges, 19224 markings/sec, 2930 secs
lola: sara is running 2935 secs || 46560569 markings, 92140120 edges, 19514 markings/sec, 2935 secs
lola: sara is running 2940 secs || 46636963 markings, 92294476 edges, 15279 markings/sec, 2940 secs
lola: sara is running 2945 secs || 46720682 markings, 92417007 edges, 16744 markings/sec, 2945 secs
lola: sara is running 2950 secs || 46793192 markings, 92554800 edges, 14502 markings/sec, 2950 secs
lola: sara is running 2955 secs || 46869845 markings, 92725372 edges, 15331 markings/sec, 2955 secs
lola: sara is running 2960 secs || 46944961 markings, 92892341 edges, 15023 markings/sec, 2960 secs
lola: sara is running 2965 secs || 47018405 markings, 93055796 edges, 14689 markings/sec, 2965 secs
lola: sara is running 2970 secs || 47086348 markings, 93206923 edges, 13589 markings/sec, 2970 secs
lola: sara is running 2975 secs || 47155776 markings, 93361456 edges, 13886 markings/sec, 2975 secs
lola: sara is running 2980 secs || 47228701 markings, 93523818 edges, 14585 markings/sec, 2980 secs
lola: sara is running 2985 secs || 47306967 markings, 93698179 edges, 15653 markings/sec, 2985 secs
lola: sara is running 2990 secs || 47394212 markings, 93892586 edges, 17449 markings/sec, 2990 secs
lola: sara is running 2995 secs || 47477754 markings, 94079306 edges, 16708 markings/sec, 2995 secs
lola: sara is running 3000 secs || 47562426 markings, 94268013 edges, 16934 markings/sec, 3000 secs
lola: sara is running 3005 secs || 47662756 markings, 94492107 edges, 20066 markings/sec, 3005 secs
lola: sara is running 3010 secs || 47760441 markings, 94710139 edges, 19537 markings/sec, 3010 secs
lola: sara is running 3015 secs || 47846223 markings, 94880806 edges, 17156 markings/sec, 3015 secs
lola: sara is running 3020 secs || 47923679 markings, 94988810 edges, 15491 markings/sec, 3020 secs
lola: sara is running 3025 secs || 48012361 markings, 95110948 edges, 17736 markings/sec, 3025 secs
lola: sara is running 3030 secs || 48086398 markings, 95221673 edges, 14807 markings/sec, 3030 secs
lola: sara is running 3035 secs || 48157637 markings, 95335849 edges, 14248 markings/sec, 3035 secs
lola: sara is running 3040 secs || 48234231 markings, 95508352 edges, 15319 markings/sec, 3040 secs
lola: sara is running 3045 secs || 48310152 markings, 95677874 edges, 15184 markings/sec, 3045 secs
lola: sara is running 3050 secs || 48383220 markings, 95842964 edges, 14614 markings/sec, 3050 secs
lola: sara is running 3055 secs || 48457182 markings, 96003343 edges, 14792 markings/sec, 3055 secs
lola: sara is running 3060 secs || 48533566 markings, 96181391 edges, 15277 markings/sec, 3060 secs
lola: sara is running 3065 secs || 48609702 markings, 96352775 edges, 15227 markings/sec, 3065 secs
lola: sara is running 3070 secs || 48683113 markings, 96514438 edges, 14682 markings/sec, 3070 secs
lola: sara is running 3075 secs || 48751396 markings, 96667699 edges, 13657 markings/sec, 3075 secs
lola: sara is running 3080 secs || 48819354 markings, 96821178 edges, 13592 markings/sec, 3080 secs
lola: sara is running 3085 secs || 48888513 markings, 96974989 edges, 13832 markings/sec, 3085 secs
lola: sara is running 3090 secs || 48955412 markings, 97128106 edges, 13380 markings/sec, 3090 secs
lola: sara is running 3095 secs || 49027030 markings, 97285166 edges, 14324 markings/sec, 3095 secs
lola: sara is running 3100 secs || 49097506 markings, 97446548 edges, 14095 markings/sec, 3100 secs
lola: sara is running 3105 secs || 49167966 markings, 97601498 edges, 14092 markings/sec, 3105 secs
lola: sara is running 3110 secs || 49237403 markings, 97763380 edges, 13887 markings/sec, 3110 secs
lola: sara is running 3115 secs || 49309733 markings, 97925126 edges, 14466 markings/sec, 3115 secs
lola: sara is running 3120 secs || 49384794 markings, 98079400 edges, 15012 markings/sec, 3120 secs
lola: sara is running 3125 secs || 49469363 markings, 98271604 edges, 16914 markings/sec, 3125 secs
lola: sara is running 3130 secs || 49553429 markings, 98467150 edges, 16813 markings/sec, 3130 secs
lola: sara is running 3135 secs || 49635020 markings, 98650671 edges, 16318 markings/sec, 3135 secs
lola: sara is running 3140 secs || 49712840 markings, 98811023 edges, 15564 markings/sec, 3140 secs
lola: sara is running 3145 secs || 49787567 markings, 98983176 edges, 14945 markings/sec, 3145 secs
lola: sara is running 3150 secs || 49864501 markings, 99162398 edges, 15387 markings/sec, 3150 secs
lola: sara is running 3155 secs || 49946554 markings, 99348311 edges, 16411 markings/sec, 3155 secs
lola: sara is running 3160 secs || 50027494 markings, 99523091 edges, 16188 markings/sec, 3160 secs
lola: sara is running 3165 secs || 50117958 markings, 99725258 edges, 18093 markings/sec, 3165 secs
lola: sara is running 3170 secs || 50207380 markings, 99933562 edges, 17884 markings/sec, 3170 secs
lola: sara is running 3175 secs || 50297311 markings, 100137175 edges, 17986 markings/sec, 3175 secs
lola: sara is running 3180 secs || 50383828 markings, 100317245 edges, 17303 markings/sec, 3180 secs
lola: sara is running 3185 secs || 50471509 markings, 100521601 edges, 17536 markings/sec, 3185 secs
lola: sara is running 3190 secs || 50563030 markings, 100730210 edges, 18304 markings/sec, 3190 secs
lola: sara is running 3195 secs || 50646030 markings, 100920855 edges, 16600 markings/sec, 3195 secs
lola: sara is running 3200 secs || 50710936 markings, 101053144 edges, 12981 markings/sec, 3200 secs
lola: sara is running 3205 secs || 50790977 markings, 101162982 edges, 16008 markings/sec, 3205 secs
lola: sara is running 3210 secs || 50855519 markings, 101259399 edges, 12908 markings/sec, 3210 secs
lola: sara is running 3215 secs || 50923714 markings, 101354731 edges, 13639 markings/sec, 3215 secs
lola: sara is running 3220 secs || 50998303 markings, 101456345 edges, 14918 markings/sec, 3220 secs
lola: sara is running 3225 secs || 51068618 markings, 101563703 edges, 14063 markings/sec, 3225 secs
lola: sara is running 3230 secs || 51131526 markings, 101651880 edges, 12582 markings/sec, 3230 secs
lola: sara is running 3235 secs || 51195454 markings, 101742333 edges, 12786 markings/sec, 3235 secs
lola: sara is running 3240 secs || 51287673 markings, 101919467 edges, 18444 markings/sec, 3240 secs
lola: sara is running 3245 secs || 51388744 markings, 102143081 edges, 20214 markings/sec, 3245 secs
lola: sara is running 3250 secs || 51489800 markings, 102366199 edges, 20211 markings/sec, 3250 secs
lola: sara is running 3255 secs || 51581304 markings, 102558120 edges, 18301 markings/sec, 3255 secs
lola: sara is running 3260 secs || 51669362 markings, 102758518 edges, 17612 markings/sec, 3260 secs
lola: sara is running 3265 secs || 51757625 markings, 102956694 edges, 17653 markings/sec, 3265 secs
lola: sara is running 3270 secs || 51847769 markings, 103151946 edges, 18029 markings/sec, 3270 secs
lola: sara is running 3275 secs || 51936476 markings, 103345819 edges, 17741 markings/sec, 3275 secs
lola: sara is running 3280 secs || 52021908 markings, 103524240 edges, 17086 markings/sec, 3280 secs
lola: sara is running 3285 secs || 52108111 markings, 103715683 edges, 17241 markings/sec, 3285 secs
lola: sara is running 3290 secs || 52198585 markings, 103905391 edges, 18095 markings/sec, 3290 secs
lola: sara is running 3295 secs || 52282799 markings, 104087431 edges, 16843 markings/sec, 3295 secs
lola: sara is running 3300 secs || 52357626 markings, 104244182 edges, 14965 markings/sec, 3300 secs
lola: sara is running 3305 secs || 52433974 markings, 104410897 edges, 15270 markings/sec, 3305 secs
lola: sara is running 3310 secs || 52509630 markings, 104575111 edges, 15131 markings/sec, 3310 secs
lola: sara is running 3315 secs || 52581142 markings, 104732524 edges, 14302 markings/sec, 3315 secs
lola: sara is running 3320 secs || 52655902 markings, 104895619 edges, 14952 markings/sec, 3320 secs
lola: sara is running 3325 secs || 52729747 markings, 105051546 edges, 14769 markings/sec, 3325 secs
lola: sara is running 3330 secs || 52804412 markings, 105213248 edges, 14933 markings/sec, 3330 secs
lola: sara is running 3335 secs || 52877215 markings, 105367914 edges, 14561 markings/sec, 3335 secs
lola: sara is running 3340 secs || 52950084 markings, 105521428 edges, 14574 markings/sec, 3340 secs
lola: sara is running 3345 secs || 53025707 markings, 105685640 edges, 15125 markings/sec, 3345 secs
lola: sara is running 3350 secs || 53099536 markings, 105840604 edges, 14766 markings/sec, 3350 secs
lola: sara is running 3355 secs || 53173436 markings, 105999869 edges, 14780 markings/sec, 3355 secs
lola: sara is running 3360 secs || 53244926 markings, 106151205 edges, 14298 markings/sec, 3360 secs
lola: sara is running 3365 secs || 53318756 markings, 106312426 edges, 14766 markings/sec, 3365 secs
lola: sara is running 3370 secs || 53390565 markings, 106471790 edges, 14362 markings/sec, 3370 secs
lola: sara is running 3375 secs || 53460013 markings, 106622631 edges, 13890 markings/sec, 3375 secs
lola: sara is running 3380 secs || 53531810 markings, 106778828 edges, 14359 markings/sec, 3380 secs
lola: sara is running 3385 secs || 53602536 markings, 106927593 edges, 14145 markings/sec, 3385 secs
lola: sara is running 3390 secs || 53674913 markings, 107085071 edges, 14475 markings/sec, 3390 secs
lola: sara is running 3395 secs || 53743688 markings, 107229047 edges, 13755 markings/sec, 3395 secs
lola: sara is running 3400 secs || 53808730 markings, 107365158 edges, 13008 markings/sec, 3400 secs
lola: sara is running 3405 secs || 53873345 markings, 107505356 edges, 12923 markings/sec, 3405 secs
lola: sara is running 3410 secs || 53937335 markings, 107645207 edges, 12798 markings/sec, 3410 secs
lola: sara is running 3415 secs || 54002655 markings, 107781874 edges, 13064 markings/sec, 3415 secs
lola: sara is running 3420 secs || 54067246 markings, 107922172 edges, 12918 markings/sec, 3420 secs
lola: sara is running 3425 secs || 54130551 markings, 108055932 edges, 12661 markings/sec, 3425 secs
lola: sara is running 3430 secs || 54198532 markings, 108204747 edges, 13596 markings/sec, 3430 secs
lola: sara is running 3435 secs || 54279203 markings, 108375854 edges, 16134 markings/sec, 3435 secs
lola: sara is running 3440 secs || 54359580 markings, 108548800 edges, 16075 markings/sec, 3440 secs
lola: sara is running 3445 secs || 54438060 markings, 108719493 edges, 15696 markings/sec, 3445 secs
lola: sara is running 3450 secs || 54514163 markings, 108884968 edges, 15221 markings/sec, 3450 secs
lola: sara is running 3455 secs || 54589053 markings, 109051985 edges, 14978 markings/sec, 3455 secs
lola: sara is running 3460 secs || 54656304 markings, 109205922 edges, 13450 markings/sec, 3460 secs
lola: sara is running 3465 secs || 54730969 markings, 109377764 edges, 14933 markings/sec, 3465 secs
lola: sara is running 3470 secs || 54799418 markings, 109530188 edges, 13690 markings/sec, 3470 secs
lola: sara is running 3475 secs || 54873588 markings, 109694934 edges, 14834 markings/sec, 3475 secs
lola: sara is running 3480 secs || 54940454 markings, 109844612 edges, 13373 markings/sec, 3480 secs
lola: sara is running 3485 secs || 55000689 markings, 109974786 edges, 12047 markings/sec, 3485 secs
lola: sara is running 3490 secs || 55068398 markings, 110090286 edges, 13542 markings/sec, 3490 secs
lola: sara is running 3495 secs || 55142204 markings, 110206716 edges, 14761 markings/sec, 3495 secs
lola: sara is running 3500 secs || 55222821 markings, 110373632 edges, 16123 markings/sec, 3500 secs
lola: sara is running 3505 secs || 55317723 markings, 110543933 edges, 18980 markings/sec, 3505 secs
lola: sara is running 3510 secs || 55409590 markings, 110688421 edges, 18373 markings/sec, 3510 secs
lola: sara is running 3515 secs || 55489472 markings, 110870849 edges, 15976 markings/sec, 3515 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: no yes no yes yes no yes yes yes no no yes yes no no
FORMULA CloudReconfiguration-PT-302-ReachabilityFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-302-ReachabilityFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-302-ReachabilityFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-302-ReachabilityFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-302-ReachabilityFireability-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-302-ReachabilityFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-302-ReachabilityFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-302-ReachabilityFireability-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-302-ReachabilityFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-302-ReachabilityFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-302-ReachabilityFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-302-ReachabilityFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-302-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-302-ReachabilityFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-302-ReachabilityFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA CloudReconfiguration-PT-302-ReachabilityFireability-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496533054017
--------------------
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="CloudReconfiguration-PT-302"
export BK_EXAMINATION="ReachabilityFireability"
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/CloudReconfiguration-PT-302.tgz
mv CloudReconfiguration-PT-302 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-302, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r178-csrt-149580961200018"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 ;