Analysing control-flow refined program

All Bounds

Timebounds

Overall timebound:55⋅X₄⋅X₄+2⋅X₆+40⋅X₄+X₁+15 {O(n^2)}
t₀: 1 {O(1)}
t₁: 1 {O(1)}
t₂: X₄+1 {O(n)}
t₃: 1 {O(1)}
t₄: 8⋅X₄⋅X₄+X₄+3 {O(n^2)}
t₅: X₄ {O(n)}
t₆: 6⋅X₄⋅X₄+X₄+2 {O(n^2)}
t₈: 20⋅X₄⋅X₄+10⋅X₄+1 {O(n^2)}
t₉: 6⋅X₄⋅X₄+3⋅X₄ {O(n^2)}
t₁₀: 6⋅X₄⋅X₄+3⋅X₄ {O(n^2)}
t₁₁: X₄ {O(n)}
t₁₂: 2⋅X₄⋅X₄+X₄ {O(n^2)}
t₁₃: X₄⋅X₄+X₄ {O(n^2)}
t₁₄: 2⋅X₄⋅X₄+3⋅X₄ {O(n^2)}
t₁₅: X₄⋅X₄+X₄ {O(n^2)}
t₁₇: X₄⋅X₄+X₄ {O(n^2)}
t₁₈: X₄⋅X₄+X₄ {O(n^2)}
t₁₉: X₄⋅X₄+X₄ {O(n^2)}
t₂₀: 2⋅X₆+6⋅X₄+X₁+3 {O(n)}
t₂₁: 4⋅X₄+1 {O(n)}
t₂₂: 1 {O(1)}

Costbounds

Overall costbound: 55⋅X₄⋅X₄+2⋅X₆+40⋅X₄+X₁+15 {O(n^2)}
t₀: 1 {O(1)}
t₁: 1 {O(1)}
t₂: X₄+1 {O(n)}
t₃: 1 {O(1)}
t₄: 8⋅X₄⋅X₄+X₄+3 {O(n^2)}
t₅: X₄ {O(n)}
t₆: 6⋅X₄⋅X₄+X₄+2 {O(n^2)}
t₈: 20⋅X₄⋅X₄+10⋅X₄+1 {O(n^2)}
t₉: 6⋅X₄⋅X₄+3⋅X₄ {O(n^2)}
t₁₀: 6⋅X₄⋅X₄+3⋅X₄ {O(n^2)}
t₁₁: X₄ {O(n)}
t₁₂: 2⋅X₄⋅X₄+X₄ {O(n^2)}
t₁₃: X₄⋅X₄+X₄ {O(n^2)}
t₁₄: 2⋅X₄⋅X₄+3⋅X₄ {O(n^2)}
t₁₅: X₄⋅X₄+X₄ {O(n^2)}
t₁₇: X₄⋅X₄+X₄ {O(n^2)}
t₁₈: X₄⋅X₄+X₄ {O(n^2)}
t₁₉: X₄⋅X₄+X₄ {O(n^2)}
t₂₀: 2⋅X₆+6⋅X₄+X₁+3 {O(n)}
t₂₁: 4⋅X₄+1 {O(n)}
t₂₂: 1 {O(1)}

Sizebounds

t₀, X₀: X₀ {O(n)}
t₀, X₁: X₁ {O(n)}
t₀, X₂: X₂ {O(n)}
t₀, X₃: X₃ {O(n)}
t₀, X₄: X₄ {O(n)}
t₀, X₅: X₅ {O(n)}
t₀, X₆: X₆ {O(n)}
t₁, X₀: X₀ {O(n)}
t₁, X₁: X₁ {O(n)}
t₁, X₂: X₂ {O(n)}
t₁, X₃: X₄ {O(n)}
t₁, X₄: X₄ {O(n)}
t₁, X₅: X₅ {O(n)}
t₁, X₆: X₆ {O(n)}
t₂, X₁: 4⋅X₄⋅X₄+2⋅X₄+X₁+1 {O(n^2)}
t₂, X₃: 5⋅X₄+1 {O(n)}
t₂, X₄: X₄ {O(n)}
t₂, X₅: 0 {O(1)}
t₂, X₆: 12⋅X₄⋅X₄+6⋅X₄+X₆+1 {O(n^2)}
t₃, X₁: 4⋅X₄⋅X₄+2⋅X₄+X₁+1 {O(n^2)}
t₃, X₃: 6⋅X₄+1 {O(n)}
t₃, X₄: 2⋅X₄ {O(n)}
t₃, X₅: 16⋅X₄⋅X₄+8⋅X₄+X₅ {O(n^2)}
t₃, X₆: 12⋅X₄⋅X₄+6⋅X₄+X₆+1 {O(n^2)}
t₄, X₁: 4⋅X₄⋅X₄+2⋅X₄+X₁+1 {O(n^2)}
t₄, X₃: 5⋅X₄+1 {O(n)}
t₄, X₄: X₄ {O(n)}
t₄, X₅: 2⋅X₄⋅X₄+X₄ {O(n^2)}
t₄, X₆: 12⋅X₄⋅X₄+6⋅X₄+X₆+1 {O(n^2)}
t₅, X₁: 4⋅X₄⋅X₄+2⋅X₄+X₁+1 {O(n^2)}
t₅, X₃: 5⋅X₄+1 {O(n)}
t₅, X₄: X₄ {O(n)}
t₅, X₅: 2⋅X₄⋅X₄+X₄ {O(n^2)}
t₅, X₆: 2⋅X₄⋅X₄+X₄ {O(n^2)}
t₆, X₁: 4⋅X₄⋅X₄+2⋅X₄+X₁+1 {O(n^2)}
t₆, X₃: 5⋅X₄+1 {O(n)}
t₆, X₄: X₄ {O(n)}
t₆, X₅: 2⋅X₄⋅X₄+X₄ {O(n^2)}
t₆, X₆: 12⋅X₄⋅X₄+6⋅X₄+X₆+1 {O(n^2)}
t₈, X₁: 4⋅X₄⋅X₄+2⋅X₄+X₁+1 {O(n^2)}
t₈, X₃: 5⋅X₄+1 {O(n)}
t₈, X₄: X₄ {O(n)}
t₈, X₅: 2⋅X₄⋅X₄+X₄ {O(n^2)}
t₈, X₆: 12⋅X₄⋅X₄+6⋅X₄+X₆+1 {O(n^2)}
t₉, X₁: 4⋅X₄⋅X₄+2⋅X₄+X₁+1 {O(n^2)}
t₉, X₃: 5⋅X₄+1 {O(n)}
t₉, X₄: X₄ {O(n)}
t₉, X₅: 2⋅X₄⋅X₄+X₄ {O(n^2)}
t₉, X₆: 12⋅X₄⋅X₄+6⋅X₄+X₆+1 {O(n^2)}
t₁₀, X₁: 4⋅X₄⋅X₄+2⋅X₄+X₁+1 {O(n^2)}
t₁₀, X₃: 5⋅X₄+1 {O(n)}
t₁₀, X₄: X₄ {O(n)}
t₁₀, X₅: 2⋅X₄⋅X₄+X₄ {O(n^2)}
t₁₀, X₆: 12⋅X₄⋅X₄+6⋅X₄+X₆+1 {O(n^2)}
t₁₁, X₀: 0 {O(1)}
t₁₁, X₁: 4⋅X₄⋅X₄+2⋅X₄+X₁+1 {O(n^2)}
t₁₁, X₃: 5⋅X₄+1 {O(n)}
t₁₁, X₄: X₄ {O(n)}
t₁₁, X₅: 2⋅X₄⋅X₄+X₄ {O(n^2)}
t₁₁, X₆: 2⋅X₄⋅X₄+X₄ {O(n^2)}
t₁₂, X₁: 4⋅X₄⋅X₄+2⋅X₄+X₁+1 {O(n^2)}
t₁₂, X₃: 5⋅X₄+1 {O(n)}
t₁₂, X₄: X₄ {O(n)}
t₁₂, X₅: 2⋅X₄⋅X₄+X₄ {O(n^2)}
t₁₂, X₆: 12⋅X₄⋅X₄+6⋅X₄+X₆+1 {O(n^2)}
t₁₃, X₁: 4⋅X₄⋅X₄+2⋅X₄ {O(n^2)}
t₁₃, X₃: 5⋅X₄+1 {O(n)}
t₁₃, X₄: X₄ {O(n)}
t₁₃, X₅: 4⋅X₄⋅X₄+2⋅X₄ {O(n^2)}
t₁₃, X₆: 12⋅X₄⋅X₄+6⋅X₄ {O(n^2)}
t₁₄, X₁: 1 {O(1)}
t₁₄, X₃: 5⋅X₄+1 {O(n)}
t₁₄, X₄: X₄ {O(n)}
t₁₄, X₅: 12⋅X₄⋅X₄+6⋅X₄ {O(n^2)}
t₁₄, X₆: 1 {O(1)}
t₁₅, X₁: 4⋅X₄⋅X₄+2⋅X₄ {O(n^2)}
t₁₅, X₃: 5⋅X₄+1 {O(n)}
t₁₅, X₄: X₄ {O(n)}
t₁₅, X₅: 4⋅X₄⋅X₄+2⋅X₄ {O(n^2)}
t₁₅, X₆: 12⋅X₄⋅X₄+6⋅X₄ {O(n^2)}
t₁₇, X₁: 4⋅X₄⋅X₄+2⋅X₄ {O(n^2)}
t₁₇, X₃: 5⋅X₄+1 {O(n)}
t₁₇, X₄: X₄ {O(n)}
t₁₇, X₅: 4⋅X₄⋅X₄+2⋅X₄ {O(n^2)}
t₁₇, X₆: 12⋅X₄⋅X₄+6⋅X₄ {O(n^2)}
t₁₈, X₁: 4⋅X₄⋅X₄+2⋅X₄ {O(n^2)}
t₁₈, X₃: 5⋅X₄+1 {O(n)}
t₁₈, X₄: X₄ {O(n)}
t₁₈, X₅: 4⋅X₄⋅X₄+2⋅X₄ {O(n^2)}
t₁₈, X₆: 4⋅X₄⋅X₄+2⋅X₄ {O(n^2)}
t₁₉, X₁: 4⋅X₄⋅X₄+2⋅X₄ {O(n^2)}
t₁₉, X₃: 5⋅X₄+1 {O(n)}
t₁₉, X₄: X₄ {O(n)}
t₁₉, X₅: 4⋅X₄⋅X₄+2⋅X₄ {O(n^2)}
t₁₉, X₆: 4⋅X₄⋅X₄+2⋅X₄ {O(n^2)}
t₂₀, X₁: 4⋅X₄⋅X₄+2⋅X₄ {O(n^2)}
t₂₀, X₂: 0 {O(1)}
t₂₀, X₃: 5⋅X₄+1 {O(n)}
t₂₀, X₄: X₄ {O(n)}
t₂₀, X₅: 4⋅X₄⋅X₄+2⋅X₄ {O(n^2)}
t₂₀, X₆: 12⋅X₄⋅X₄+6⋅X₄ {O(n^2)}
t₂₁, X₁: 4⋅X₄⋅X₄+2⋅X₄+1 {O(n^2)}
t₂₁, X₃: 5⋅X₄+1 {O(n)}
t₂₁, X₄: X₄ {O(n)}
t₂₁, X₅: 16⋅X₄⋅X₄+8⋅X₄ {O(n^2)}
t₂₁, X₆: 12⋅X₄⋅X₄+6⋅X₄+1 {O(n^2)}
t₂₂, X₁: 4⋅X₄⋅X₄+2⋅X₄+X₁+1 {O(n^2)}
t₂₂, X₃: 6⋅X₄+1 {O(n)}
t₂₂, X₄: 2⋅X₄ {O(n)}
t₂₂, X₅: 16⋅X₄⋅X₄+8⋅X₄+X₅ {O(n^2)}
t₂₂, X₆: 12⋅X₄⋅X₄+6⋅X₄+X₆+1 {O(n^2)}