Initial Problem

Start: f0
Program_Vars: Arg_0, Arg_1, Arg_2
Temp_Vars: D, E
Locations: f0, f16, f5
Transitions:
0:f0(Arg_0,Arg_1,Arg_2) -> f5(0,0,Arg_2)
2:f5(Arg_0,Arg_1,Arg_2) -> f16(Arg_0,Arg_1,Arg_2)
1:f5(Arg_0,Arg_1,Arg_2) -> f5(Arg_0+1,Arg_1+2,D+E)

Preprocessing

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

Problem after Preprocessing

Start: f0
Program_Vars:
Temp_Vars:
Locations: f0, f16, f5
Transitions:
7:f0 -> f5
9:f5 -> f16
8:f5 -> f5

All Bounds

Timebounds

Overall timebound:inf {Infinity}
7: f0->f5: 1 {O(1)}
8: f5->f5: inf {Infinity}
9: f5->f16: 1 {O(1)}

Costbounds

Overall costbound: inf {Infinity}
7: f0->f5: 1 {O(1)}
8: f5->f5: inf {Infinity}
9: f5->f16: 1 {O(1)}

Sizebounds