Initial Problem

Start: eval_relation1_start
Program_Vars: X₀, X₁
Temp_Vars:
Locations: eval_relation1_0, eval_relation1_1, 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_bb2_in(X₀, X₁)
t₁: eval_relation1_bb0_in(X₀, X₁) → eval_relation1_bb1_in(X₀, X₁)
t₂: eval_relation1_bb1_in(X₀, X₁) → eval_relation1_0(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_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_bb2_in
t₁₄: eval_relation1_bb0_in → eval_relation1_bb1_in
t₁₅: eval_relation1_bb1_in → eval_relation1_0
t₁₆: eval_relation1_bb2_in → eval_relation1_stop
t₁₇: eval_relation1_start → eval_relation1_bb0_in

All Bounds

Timebounds

Overall timebound:6 {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: 6 {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