Initial Problem

Start: f0
Program_Vars: Arg_0, Arg_1, Arg_2
Temp_Vars:
Locations: f0, f12, f8
Transitions:
3:f0(Arg_0,Arg_1,Arg_2) -> f12(1,1,1)
0:f8(Arg_0,Arg_1,Arg_2) -> f12(2,1,Arg_2):|:Arg_0<=2 && 2<=Arg_0
1:f8(Arg_0,Arg_1,Arg_2) -> f12(Arg_0,0,Arg_2):|:Arg_0<=1
2:f8(Arg_0,Arg_1,Arg_2) -> f12(Arg_0,0,Arg_2):|:3<=Arg_0

Preprocessing

Cut unreachable locations [f8] from the program graph

Eliminate variables {Arg_0,Arg_1,Arg_2} that do not contribute to the problem

Problem after Preprocessing

Start: f0
Program_Vars:
Temp_Vars:
Locations: f0, f12
Transitions:
5:f0 -> f12

All Bounds

Timebounds

Overall timebound:1 {O(1)}
5: f0->f12: 1 {O(1)}

Costbounds

Overall costbound: 1 {O(1)}
5: f0->f12: 1 {O(1)}

Sizebounds