Found invariant 0 ≤ X₀ for location l1
Found invariant 0 ≤ X₀ for location l2
Overall timebound:inf {Infinity}
g₀: 1 {O(1)}
g₂: inf {Infinity}
g₅: inf {Infinity}
g₈: inf {Infinity}
Overall costbound: inf {Infinity}
g₀: inf {Infinity}
g₂: inf {Infinity}
g₅: inf {Infinity}
g₈: inf {Infinity}
(g₀,l1), X₁: X₁ {O(n)}
Overall timebound:inf {Infinity}
g₀: 1 {O(1)}
g₂: inf {Infinity}
g₅: inf {Infinity}
g₈: inf {Infinity}
Overall costbound: inf {Infinity}
g₀: inf {Infinity}
g₂: inf {Infinity}
g₅: inf {Infinity}
g₈: inf {Infinity}
(g₀,l1), X₁: X₁ {O(n)}
(g₂,l1), X₁: 3⋅X₁ {O(n)}
(g₈,l1), X₀: 0 {O(1)}
Overall timebound:inf {Infinity}
g₀: 1 {O(1)}
g₂: inf {Infinity}
g₅: inf {Infinity}
g₈: inf {Infinity}
Overall costbound: inf {Infinity}
g₀: 1 {O(1)}
g₂: inf {Infinity}
g₅: inf {Infinity}
g₈: inf {Infinity}
(g₀,l1), X₁: X₁ {O(n)}
(g₂,l1), X₁: 3⋅X₁ {O(n)}
(g₈,l1), X₀: 0 {O(1)}