Initial Problem

Start: eval_relation1_start
Program_Vars: X₀, X₁
Temp_Vars:
Locations: eval_relation1_0, eval_relation1_1, eval_relation1_2, eval_relation1_3, eval_relation1_4, eval_relation1_5, eval_relation1_6, eval_relation1_7, eval_relation1_bb0_in, eval_relation1_bb1_in, eval_relation1_bb2_in, eval_relation1_start, eval_relation1_stop
Transitions:
t₂: eval_relation1_0(X₀, X₁) → eval_relation1_1(X₀, X₁)
t₃: eval_relation1_1(X₀, X₁) → eval_relation1_2(X₀, X₁)
t₄: eval_relation1_2(X₀, X₁) → eval_relation1_3(X₀, X₁)
t₅: eval_relation1_3(X₀, X₁) → eval_relation1_4(X₀, X₁)
t₆: eval_relation1_4(X₀, X₁) → eval_relation1_5(X₀, X₁)
t₇: eval_relation1_5(X₀, X₁) → eval_relation1_bb1_in(X₀, X₁)
t₉: eval_relation1_6(X₀, X₁) → eval_relation1_7(X₀, X₁)
t₁₀: eval_relation1_7(X₀, X₁) → eval_relation1_bb2_in(X₀, X₁)
t₁: eval_relation1_bb0_in(X₀, X₁) → eval_relation1_0(X₀, X₁)
t₈: eval_relation1_bb1_in(X₀, X₁) → eval_relation1_6(X₀, X₁)
t₁₁: eval_relation1_bb2_in(X₀, X₁) → eval_relation1_stop(X₀, X₁)
t₀: eval_relation1_start(X₀, X₁) → eval_relation1_bb0_in(X₀, X₁)

Preprocessing

Eliminate variables [X₀; X₁] that do not contribute to the problem

Problem after Preprocessing

Start: eval_relation1_start
Program_Vars:
Temp_Vars:
Locations: eval_relation1_0, eval_relation1_1, eval_relation1_2, eval_relation1_3, eval_relation1_4, eval_relation1_5, eval_relation1_6, eval_relation1_7, eval_relation1_bb0_in, eval_relation1_bb1_in, eval_relation1_bb2_in, eval_relation1_start, eval_relation1_stop
Transitions:
t₂₃: eval_relation1_0 → eval_relation1_1
t₂₄: eval_relation1_1 → eval_relation1_2
t₂₅: eval_relation1_2 → eval_relation1_3
t₂₆: eval_relation1_3 → eval_relation1_4
t₂₇: eval_relation1_4 → eval_relation1_5
t₂₈: eval_relation1_5 → eval_relation1_bb1_in
t₂₉: eval_relation1_6 → eval_relation1_7
t₃₀: eval_relation1_7 → eval_relation1_bb2_in
t₃₁: eval_relation1_bb0_in → eval_relation1_0
t₃₂: eval_relation1_bb1_in → eval_relation1_6
t₃₃: eval_relation1_bb2_in → eval_relation1_stop
t₃₄: eval_relation1_start → eval_relation1_bb0_in

All Bounds

Timebounds

Overall timebound:12 {O(1)}
t₂₃: 1 {O(1)}
t₂₄: 1 {O(1)}
t₂₅: 1 {O(1)}
t₂₆: 1 {O(1)}
t₂₇: 1 {O(1)}
t₂₈: 1 {O(1)}
t₂₉: 1 {O(1)}
t₃₀: 1 {O(1)}
t₃₁: 1 {O(1)}
t₃₂: 1 {O(1)}
t₃₃: 1 {O(1)}
t₃₄: 1 {O(1)}

Costbounds

Overall costbound: 12 {O(1)}
t₂₃: 1 {O(1)}
t₂₄: 1 {O(1)}
t₂₅: 1 {O(1)}
t₂₆: 1 {O(1)}
t₂₇: 1 {O(1)}
t₂₈: 1 {O(1)}
t₂₉: 1 {O(1)}
t₃₀: 1 {O(1)}
t₃₁: 1 {O(1)}
t₃₂: 1 {O(1)}
t₃₃: 1 {O(1)}
t₃₄: 1 {O(1)}

Sizebounds