Initial Problem

Start: f3
Program_Vars: X₀, X₁
Temp_Vars:
Locations: f0, f3
Transitions:
t₁: f0(X₀, X₁) → f0(1+X₀, X₁)
t₀: f3(X₀, X₁) → f0(1, 1)

Preprocessing

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

Problem after Preprocessing

Start: f3
Program_Vars:
Temp_Vars:
Locations: f0, f3
Transitions:
t₃: f0 → f0
t₄: f3 → f0

All Bounds

Timebounds

Overall timebound:inf {Infinity}
t₃: inf {Infinity}
t₄: 1 {O(1)}

Costbounds

Overall costbound: inf {Infinity}
t₃: inf {Infinity}
t₄: 1 {O(1)}

Sizebounds