Initial Problem

Start: f0
Program_Vars: X₀, X₁, X₂
Temp_Vars: D, E
Locations: f0, f16, f5
Transitions:
t₀: f0(X₀, X₁, X₂) → f5(0, 0, X₂)
t₂: f5(X₀, X₁, X₂) → f16(X₀, X₁, X₂)
t₁: f5(X₀, X₁, X₂) → f5(1+X₀, 2+X₁, D+E)

Preprocessing

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

Problem after Preprocessing

Start: f0
Program_Vars:
Temp_Vars:
Locations: f0, f16, f5
Transitions:
t₆: f0 → f5
t₇: f5 → f16
t₈: f5 → f5

All Bounds

Timebounds

Overall timebound:inf {Infinity}
t₆: 1 {O(1)}
t₇: 1 {O(1)}
t₈: inf {Infinity}

Costbounds

Overall costbound: inf {Infinity}
t₆: 1 {O(1)}
t₇: 1 {O(1)}
t₈: inf {Infinity}

Sizebounds