Analysing control-flow refined program

All Bounds

Timebounds

Overall timebound:2^(X₄)⋅4⋅X₅+2^(X₄)⋅8⋅X₅+12⋅X₅+16⋅X₆+18⋅X₄+58 {O(EXP)}
t₀: 1 {O(1)}
t₁: 1 {O(1)}
t₂: X₄ {O(n)}
t₃: 1 {O(1)}
t₄: X₄ {O(n)}
t₅: 2⋅2^(X₄)⋅X₅+2^(X₄)⋅4⋅X₅+6⋅X₅+8⋅X₄+8⋅X₆+26 {O(EXP)}
t₆: 1 {O(1)}
t₇: 1 {O(1)}
t₈: 2⋅2^(X₄)⋅X₅+2^(X₄)⋅4⋅X₅+6⋅X₅+8⋅X₄+8⋅X₆+26 {O(EXP)}
t₉: 1 {O(1)}

Costbounds

Overall costbound: 2^(X₄)⋅4⋅X₅+2^(X₄)⋅8⋅X₅+12⋅X₅+16⋅X₆+18⋅X₄+58 {O(EXP)}
t₀: 1 {O(1)}
t₁: 1 {O(1)}
t₂: X₄ {O(n)}
t₃: 1 {O(1)}
t₄: X₄ {O(n)}
t₅: 2⋅2^(X₄)⋅X₅+2^(X₄)⋅4⋅X₅+6⋅X₅+8⋅X₄+8⋅X₆+26 {O(EXP)}
t₆: 1 {O(1)}
t₇: 1 {O(1)}
t₈: 2⋅2^(X₄)⋅X₅+2^(X₄)⋅4⋅X₅+6⋅X₅+8⋅X₄+8⋅X₆+26 {O(EXP)}
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₀: X₄ {O(n)}
t₂, X₁: 2^(X₄)⋅X₅ {O(EXP)}
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₀: 2⋅X₄ {O(n)}
t₃, X₁: 2^(X₄)⋅X₅+X₅ {O(EXP)}
t₃, X₂: 2⋅X₆ {O(n)}
t₃, X₃: 2^(X₄)⋅X₅+X₅ {O(EXP)}
t₃, X₄: 2⋅X₄ {O(n)}
t₃, X₅: 2⋅X₅ {O(n)}
t₃, X₆: 2⋅X₆ {O(n)}
t₄, X₀: X₄ {O(n)}
t₄, X₁: 2^(X₄)⋅X₅ {O(EXP)}
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₀: 2⋅X₄ {O(n)}
t₅, X₁: 2^(X₄)⋅X₅+X₅ {O(EXP)}
t₅, X₂: 3^(2⋅2^(X₄)⋅X₅)⋅3^(2^(X₄)⋅4⋅X₅)⋅3^(6⋅X₅)⋅3^(8⋅X₄)⋅3^(8⋅X₆)⋅5083731656658⋅X₆ {O(EXP^O(EXP))}
t₅, X₃: 2^(2⋅2^(X₄)⋅X₅)⋅2^(2^(X₄)⋅4⋅X₅)⋅2^(6⋅X₅)⋅2^(8⋅X₄)⋅2^(8⋅X₆)⋅2^(X₄)⋅67108864⋅X₅+2^(2⋅2^(X₄)⋅X₅)⋅2^(2^(X₄)⋅4⋅X₅)⋅2^(6⋅X₅)⋅2^(8⋅X₄)⋅2^(8⋅X₆)⋅67108864⋅X₅ {O(EXP^O(EXP))}
t₅, X₄: 2⋅X₄ {O(n)}
t₅, X₅: 2⋅X₅ {O(n)}
t₅, X₆: 2⋅X₆ {O(n)}
t₆, X₀: 4⋅X₄ {O(n)}
t₆, X₁: 2⋅2^(X₄)⋅X₅+2⋅X₅ {O(EXP)}
t₆, X₂: 3^(2⋅2^(X₄)⋅X₅)⋅3^(2^(X₄)⋅4⋅X₅)⋅3^(6⋅X₅)⋅3^(8⋅X₄)⋅3^(8⋅X₆)⋅5083731656658⋅X₆+2⋅X₆ {O(EXP^O(EXP))}
t₆, X₃: 2^(2⋅2^(X₄)⋅X₅)⋅2^(2^(X₄)⋅4⋅X₅)⋅2^(6⋅X₅)⋅2^(8⋅X₄)⋅2^(8⋅X₆)⋅2^(X₄)⋅67108864⋅X₅+2^(2⋅2^(X₄)⋅X₅)⋅2^(2^(X₄)⋅4⋅X₅)⋅2^(6⋅X₅)⋅2^(8⋅X₄)⋅2^(8⋅X₆)⋅67108864⋅X₅+2^(X₄)⋅X₅+X₅ {O(EXP^O(EXP))}
t₆, X₄: 4⋅X₄ {O(n)}
t₆, X₅: 4⋅X₅ {O(n)}
t₆, X₆: 4⋅X₆ {O(n)}
t₇, X₀: 2⋅X₄ {O(n)}
t₇, X₁: 2^(X₄)⋅X₅+X₅ {O(EXP)}
t₇, X₂: 2⋅X₆ {O(n)}
t₇, X₃: 2^(X₄)⋅X₅+X₅ {O(EXP)}
t₇, X₄: 2⋅X₄ {O(n)}
t₇, X₅: 2⋅X₅ {O(n)}
t₇, X₆: 2⋅X₆ {O(n)}
t₈, X₀: 2⋅X₄ {O(n)}
t₈, X₁: 2^(X₄)⋅X₅+X₅ {O(EXP)}
t₈, X₂: 3^(2⋅2^(X₄)⋅X₅)⋅3^(2^(X₄)⋅4⋅X₅)⋅3^(6⋅X₅)⋅3^(8⋅X₄)⋅3^(8⋅X₆)⋅5083731656658⋅X₆ {O(EXP^O(EXP))}
t₈, X₃: 2^(2⋅2^(X₄)⋅X₅)⋅2^(2^(X₄)⋅4⋅X₅)⋅2^(6⋅X₅)⋅2^(8⋅X₄)⋅2^(8⋅X₆)⋅2^(X₄)⋅67108864⋅X₅+2^(2⋅2^(X₄)⋅X₅)⋅2^(2^(X₄)⋅4⋅X₅)⋅2^(6⋅X₅)⋅2^(8⋅X₄)⋅2^(8⋅X₆)⋅67108864⋅X₅ {O(EXP^O(EXP))}
t₈, X₄: 2⋅X₄ {O(n)}
t₈, X₅: 2⋅X₅ {O(n)}
t₈, X₆: 2⋅X₆ {O(n)}
t₉, X₀: 6⋅X₄ {O(n)}
t₉, X₁: 2^(X₄)⋅3⋅X₅+3⋅X₅ {O(EXP)}
t₉, X₂: 3^(2⋅2^(X₄)⋅X₅)⋅3^(2^(X₄)⋅4⋅X₅)⋅3^(6⋅X₅)⋅3^(8⋅X₄)⋅3^(8⋅X₆)⋅5083731656658⋅X₆+4⋅X₆ {O(EXP^O(EXP))}
t₉, X₃: 2^(2⋅2^(X₄)⋅X₅)⋅2^(2^(X₄)⋅4⋅X₅)⋅2^(6⋅X₅)⋅2^(8⋅X₄)⋅2^(8⋅X₆)⋅2^(X₄)⋅67108864⋅X₅+2^(2⋅2^(X₄)⋅X₅)⋅2^(2^(X₄)⋅4⋅X₅)⋅2^(6⋅X₅)⋅2^(8⋅X₄)⋅2^(8⋅X₆)⋅67108864⋅X₅+2⋅2^(X₄)⋅X₅+2⋅X₅ {O(EXP^O(EXP))}
t₉, X₄: 6⋅X₄ {O(n)}
t₉, X₅: 6⋅X₅ {O(n)}
t₉, X₆: 6⋅X₆ {O(n)}