Initial Problem

Start: f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6, Arg_7, Arg_8, Arg_9, Arg_10
Temp_Vars: L, M
Locations: f0, f12, f20, f5
Transitions:
1:f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10) -> f12(M,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10):|:L<=15
0:f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10) -> f5(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10)
4:f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10) -> f5(Arg_0,Arg_1,Arg_2,1,1,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10):|:M<=15
2:f12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10) -> f20(Arg_0,M,M,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10):|:Arg_0+1<=0
3:f12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10) -> f20(Arg_0,M,M,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10):|:1<=Arg_0
6:f12(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10) -> f5(0,Arg_1,Arg_2,0,0,Arg_5,Arg_6,M,M,0,0):|:Arg_0<=0 && 0<=Arg_0
5:f20(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10) -> f12(Arg_0-1,Arg_1,Arg_2,Arg_3,Arg_4,0,0,Arg_7,Arg_8,Arg_9,Arg_10)

Preprocessing

Eliminate variables {Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10} that do not contribute to the problem

Problem after Preprocessing

Start: f0
Program_Vars: Arg_0
Temp_Vars: L, M
Locations: f0, f12, f20, f5
Transitions:
13:f0(Arg_0) -> f12(M):|:L<=15
12:f0(Arg_0) -> f5(Arg_0)
14:f0(Arg_0) -> f5(Arg_0):|:M<=15
15:f12(Arg_0) -> f20(Arg_0):|:Arg_0+1<=0
16:f12(Arg_0) -> f20(Arg_0):|:1<=Arg_0
17:f12(Arg_0) -> f5(0):|:Arg_0<=0 && 0<=Arg_0
18:f20(Arg_0) -> f12(Arg_0-1)

All Bounds

Timebounds

Overall timebound:inf {Infinity}
12: f0->f5: 1 {O(1)}
13: f0->f12: 1 {O(1)}
14: f0->f5: 1 {O(1)}
15: f12->f20: inf {Infinity}
16: f12->f20: inf {Infinity}
17: f12->f5: 1 {O(1)}
18: f20->f12: inf {Infinity}

Costbounds

Overall costbound: inf {Infinity}
12: f0->f5: 1 {O(1)}
13: f0->f12: 1 {O(1)}
14: f0->f5: 1 {O(1)}
15: f12->f20: inf {Infinity}
16: f12->f20: inf {Infinity}
17: f12->f5: 1 {O(1)}
18: f20->f12: inf {Infinity}

Sizebounds

12: f0->f5, Arg_0: Arg_0 {O(n)}
14: f0->f5, Arg_0: Arg_0 {O(n)}
17: f12->f5, Arg_0: 0 {O(1)}