Initial Problem
Start: f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4
Temp_Vars: F
Locations: f0, f10, f13, f16, f31, f7
Transitions:
0:f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f7(400,0,Arg_2,Arg_3,Arg_4)
2:f10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f13(Arg_0,Arg_1,Arg_2,0,Arg_4):|:Arg_2<=4
9:f10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f7(Arg_0,Arg_1+1,Arg_2,Arg_3,Arg_4):|:5<=Arg_2
8:f13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f10(Arg_0,Arg_1,Arg_2+1,Arg_3,Arg_4):|:5<=Arg_3
3:f13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f16(Arg_0,Arg_1,Arg_2,Arg_3,0):|:Arg_3<=4
7:f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f13(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4):|:5<=Arg_4
4:f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1):|:Arg_4<=4 && F+1<=Arg_0
5:f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1):|:Arg_4<=4
6:f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f31(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:Arg_4<=4
1:f7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f10(Arg_0,Arg_1,0,Arg_3,Arg_4):|:Arg_1<=4
10:f7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f31(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:5<=Arg_1
Preprocessing
Found invariant Arg_3<=5 && Arg_3<=5+Arg_2 && Arg_3<=5+Arg_1 && 395+Arg_3<=Arg_0 && Arg_0+Arg_3<=405 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 0<=Arg_1+Arg_3 && 400<=Arg_0+Arg_3 && Arg_0<=400+Arg_3 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 for location f13
Found invariant 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 for location f31
Found invariant 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 for location f7
Found invariant 0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 for location f10
Found invariant Arg_4<=5 && Arg_4<=5+Arg_3 && Arg_3+Arg_4<=9 && Arg_4<=5+Arg_2 && Arg_4<=5+Arg_1 && 395+Arg_4<=Arg_0 && Arg_0+Arg_4<=405 && 0<=Arg_4 && 0<=Arg_3+Arg_4 && Arg_3<=4+Arg_4 && 0<=Arg_2+Arg_4 && 0<=Arg_1+Arg_4 && 400<=Arg_0+Arg_4 && Arg_0<=400+Arg_4 && Arg_3<=4 && Arg_3<=4+Arg_2 && Arg_3<=4+Arg_1 && 396+Arg_3<=Arg_0 && Arg_0+Arg_3<=404 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 0<=Arg_1+Arg_3 && 400<=Arg_0+Arg_3 && Arg_0<=400+Arg_3 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 for location f16
Problem after Preprocessing
Start: f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4
Temp_Vars: F
Locations: f0, f10, f13, f16, f31, f7
Transitions:
0:f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f7(400,0,Arg_2,Arg_3,Arg_4)
2:f10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f13(Arg_0,Arg_1,Arg_2,0,Arg_4):|:0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && Arg_2<=4
9:f10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f7(Arg_0,Arg_1+1,Arg_2,Arg_3,Arg_4):|:0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && 5<=Arg_2
8:f13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f10(Arg_0,Arg_1,Arg_2+1,Arg_3,Arg_4):|:Arg_3<=5 && Arg_3<=5+Arg_2 && Arg_3<=5+Arg_1 && 395+Arg_3<=Arg_0 && Arg_0+Arg_3<=405 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 0<=Arg_1+Arg_3 && 400<=Arg_0+Arg_3 && Arg_0<=400+Arg_3 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && 5<=Arg_3
3:f13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f16(Arg_0,Arg_1,Arg_2,Arg_3,0):|:Arg_3<=5 && Arg_3<=5+Arg_2 && Arg_3<=5+Arg_1 && 395+Arg_3<=Arg_0 && Arg_0+Arg_3<=405 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 0<=Arg_1+Arg_3 && 400<=Arg_0+Arg_3 && Arg_0<=400+Arg_3 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && Arg_3<=4
7:f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f13(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4):|:Arg_4<=5 && Arg_4<=5+Arg_3 && Arg_3+Arg_4<=9 && Arg_4<=5+Arg_2 && Arg_4<=5+Arg_1 && 395+Arg_4<=Arg_0 && Arg_0+Arg_4<=405 && 0<=Arg_4 && 0<=Arg_3+Arg_4 && Arg_3<=4+Arg_4 && 0<=Arg_2+Arg_4 && 0<=Arg_1+Arg_4 && 400<=Arg_0+Arg_4 && Arg_0<=400+Arg_4 && Arg_3<=4 && Arg_3<=4+Arg_2 && Arg_3<=4+Arg_1 && 396+Arg_3<=Arg_0 && Arg_0+Arg_3<=404 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 0<=Arg_1+Arg_3 && 400<=Arg_0+Arg_3 && Arg_0<=400+Arg_3 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && 5<=Arg_4
4:f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1):|:Arg_4<=5 && Arg_4<=5+Arg_3 && Arg_3+Arg_4<=9 && Arg_4<=5+Arg_2 && Arg_4<=5+Arg_1 && 395+Arg_4<=Arg_0 && Arg_0+Arg_4<=405 && 0<=Arg_4 && 0<=Arg_3+Arg_4 && Arg_3<=4+Arg_4 && 0<=Arg_2+Arg_4 && 0<=Arg_1+Arg_4 && 400<=Arg_0+Arg_4 && Arg_0<=400+Arg_4 && Arg_3<=4 && Arg_3<=4+Arg_2 && Arg_3<=4+Arg_1 && 396+Arg_3<=Arg_0 && Arg_0+Arg_3<=404 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 0<=Arg_1+Arg_3 && 400<=Arg_0+Arg_3 && Arg_0<=400+Arg_3 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && Arg_4<=4 && F+1<=Arg_0
5:f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1):|:Arg_4<=5 && Arg_4<=5+Arg_3 && Arg_3+Arg_4<=9 && Arg_4<=5+Arg_2 && Arg_4<=5+Arg_1 && 395+Arg_4<=Arg_0 && Arg_0+Arg_4<=405 && 0<=Arg_4 && 0<=Arg_3+Arg_4 && Arg_3<=4+Arg_4 && 0<=Arg_2+Arg_4 && 0<=Arg_1+Arg_4 && 400<=Arg_0+Arg_4 && Arg_0<=400+Arg_4 && Arg_3<=4 && Arg_3<=4+Arg_2 && Arg_3<=4+Arg_1 && 396+Arg_3<=Arg_0 && Arg_0+Arg_3<=404 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 0<=Arg_1+Arg_3 && 400<=Arg_0+Arg_3 && Arg_0<=400+Arg_3 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && Arg_4<=4
6:f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f31(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:Arg_4<=5 && Arg_4<=5+Arg_3 && Arg_3+Arg_4<=9 && Arg_4<=5+Arg_2 && Arg_4<=5+Arg_1 && 395+Arg_4<=Arg_0 && Arg_0+Arg_4<=405 && 0<=Arg_4 && 0<=Arg_3+Arg_4 && Arg_3<=4+Arg_4 && 0<=Arg_2+Arg_4 && 0<=Arg_1+Arg_4 && 400<=Arg_0+Arg_4 && Arg_0<=400+Arg_4 && Arg_3<=4 && Arg_3<=4+Arg_2 && Arg_3<=4+Arg_1 && 396+Arg_3<=Arg_0 && Arg_0+Arg_3<=404 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 0<=Arg_1+Arg_3 && 400<=Arg_0+Arg_3 && Arg_0<=400+Arg_3 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && Arg_4<=4
1:f7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f10(Arg_0,Arg_1,0,Arg_3,Arg_4):|:0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && Arg_1<=4
10:f7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f31(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4):|:0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && 5<=Arg_1
MPRF for transition 1:f7(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f10(Arg_0,Arg_1,0,Arg_3,Arg_4):|:0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && Arg_1<=4 of depth 1:
new bound:
2000 {O(1)}
MPRF:
f16 [4*Arg_0-400*Arg_1 ]
f13 [4*Arg_0-400*Arg_1 ]
f7 [2000-400*Arg_1 ]
f10 [1600-400*Arg_1 ]
MPRF for transition 2:f10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f13(Arg_0,Arg_1,Arg_2,0,Arg_4):|:0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && Arg_2<=4 of depth 1:
new bound:
4000000 {O(1)}
MPRF:
f7 [-400*Arg_2 ]
f10 [2000-400*Arg_2 ]
f16 [4*Arg_0-400*Arg_2 ]
f13 [1600-400*Arg_2 ]
MPRF for transition 9:f10(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f7(Arg_0,Arg_1+1,Arg_2,Arg_3,Arg_4):|:0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && 5<=Arg_2 of depth 1:
new bound:
800000 {O(1)}
MPRF:
f7 [400-400*Arg_1 ]
f10 [400 ]
f16 [Arg_0 ]
f13 [Arg_0 ]
MPRF for transition 3:f13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f16(Arg_0,Arg_1,Arg_2,Arg_3,0):|:Arg_3<=5 && Arg_3<=5+Arg_2 && Arg_3<=5+Arg_1 && 395+Arg_3<=Arg_0 && Arg_0+Arg_3<=405 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 0<=Arg_1+Arg_3 && 400<=Arg_0+Arg_3 && Arg_0<=400+Arg_3 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && Arg_3<=4 of depth 1:
new bound:
Arg_3+1604000000 {O(n)}
MPRF:
f16 [400-Arg_3 ]
f13 [401-Arg_3 ]
f7 [-Arg_3 ]
f10 [-Arg_3 ]
MPRF for transition 8:f13(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f10(Arg_0,Arg_1,Arg_2+1,Arg_3,Arg_4):|:Arg_3<=5 && Arg_3<=5+Arg_2 && Arg_3<=5+Arg_1 && 395+Arg_3<=Arg_0 && Arg_0+Arg_3<=405 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 0<=Arg_1+Arg_3 && 400<=Arg_0+Arg_3 && Arg_0<=400+Arg_3 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && 5<=Arg_3 of depth 1:
new bound:
1604000400 {O(1)}
MPRF:
f16 [Arg_0+1 ]
f13 [401 ]
f7 [Arg_0 ]
f10 [400 ]
MPRF for transition 4:f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1):|:Arg_4<=5 && Arg_4<=5+Arg_3 && Arg_3+Arg_4<=9 && Arg_4<=5+Arg_2 && Arg_4<=5+Arg_1 && 395+Arg_4<=Arg_0 && Arg_0+Arg_4<=405 && 0<=Arg_4 && 0<=Arg_3+Arg_4 && Arg_3<=4+Arg_4 && 0<=Arg_2+Arg_4 && 0<=Arg_1+Arg_4 && 400<=Arg_0+Arg_4 && Arg_0<=400+Arg_4 && Arg_3<=4 && Arg_3<=4+Arg_2 && Arg_3<=4+Arg_1 && 396+Arg_3<=Arg_0 && Arg_0+Arg_3<=404 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 0<=Arg_1+Arg_3 && 400<=Arg_0+Arg_3 && Arg_0<=400+Arg_3 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && Arg_4<=4 && F+1<=Arg_0 of depth 1:
new bound:
5*Arg_3+1700000000 {O(n)}
MPRF:
f16 [425-5*Arg_3-Arg_4 ]
f13 [425-5*Arg_3 ]
f7 [-5*Arg_3 ]
f10 [-5*Arg_3 ]
MPRF for transition 5:f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1):|:Arg_4<=5 && Arg_4<=5+Arg_3 && Arg_3+Arg_4<=9 && Arg_4<=5+Arg_2 && Arg_4<=5+Arg_1 && 395+Arg_4<=Arg_0 && Arg_0+Arg_4<=405 && 0<=Arg_4 && 0<=Arg_3+Arg_4 && Arg_3<=4+Arg_4 && 0<=Arg_2+Arg_4 && 0<=Arg_1+Arg_4 && 400<=Arg_0+Arg_4 && Arg_0<=400+Arg_4 && Arg_3<=4 && Arg_3<=4+Arg_2 && Arg_3<=4+Arg_1 && 396+Arg_3<=Arg_0 && Arg_0+Arg_3<=404 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 0<=Arg_1+Arg_3 && 400<=Arg_0+Arg_3 && Arg_0<=400+Arg_3 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && Arg_4<=4 of depth 1:
new bound:
5*Arg_3+104000000 {O(n)}
MPRF:
f16 [26-5*Arg_3-Arg_4 ]
f13 [26-5*Arg_3 ]
f7 [-5*Arg_3 ]
f10 [-5*Arg_3 ]
MPRF for transition 7:f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4) -> f13(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4):|:Arg_4<=5 && Arg_4<=5+Arg_3 && Arg_3+Arg_4<=9 && Arg_4<=5+Arg_2 && Arg_4<=5+Arg_1 && 395+Arg_4<=Arg_0 && Arg_0+Arg_4<=405 && 0<=Arg_4 && 0<=Arg_3+Arg_4 && Arg_3<=4+Arg_4 && 0<=Arg_2+Arg_4 && 0<=Arg_1+Arg_4 && 400<=Arg_0+Arg_4 && Arg_0<=400+Arg_4 && Arg_3<=4 && Arg_3<=4+Arg_2 && Arg_3<=4+Arg_1 && 396+Arg_3<=Arg_0 && Arg_0+Arg_3<=404 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 0<=Arg_1+Arg_3 && 400<=Arg_0+Arg_3 && Arg_0<=400+Arg_3 && 0<=Arg_2 && 0<=Arg_1+Arg_2 && 400<=Arg_0+Arg_2 && Arg_0<=400+Arg_2 && 0<=Arg_1 && 400<=Arg_0+Arg_1 && Arg_0<=400+Arg_1 && Arg_0<=400 && 400<=Arg_0 && 5<=Arg_4 of depth 1:
new bound:
Arg_3+20000000 {O(n)}
MPRF:
f16 [5-Arg_3 ]
f13 [5-Arg_3 ]
f7 [-Arg_3 ]
f10 [-Arg_3 ]
All Bounds
Timebounds
Overall timebound:12*Arg_3+5036802403 {O(n)}
0: f0->f7: 1 {O(1)}
2: f10->f13: 4000000 {O(1)}
9: f10->f7: 800000 {O(1)}
3: f13->f16: Arg_3+1604000000 {O(n)}
8: f13->f10: 1604000400 {O(1)}
4: f16->f16: 5*Arg_3+1700000000 {O(n)}
5: f16->f16: 5*Arg_3+104000000 {O(n)}
6: f16->f31: 1 {O(1)}
7: f16->f13: Arg_3+20000000 {O(n)}
1: f7->f10: 2000 {O(1)}
10: f7->f31: 1 {O(1)}
Costbounds
Overall costbound: 12*Arg_3+5036802403 {O(n)}
0: f0->f7: 1 {O(1)}
2: f10->f13: 4000000 {O(1)}
9: f10->f7: 800000 {O(1)}
3: f13->f16: Arg_3+1604000000 {O(n)}
8: f13->f10: 1604000400 {O(1)}
4: f16->f16: 5*Arg_3+1700000000 {O(n)}
5: f16->f16: 5*Arg_3+104000000 {O(n)}
6: f16->f31: 1 {O(1)}
7: f16->f13: Arg_3+20000000 {O(n)}
1: f7->f10: 2000 {O(1)}
10: f7->f31: 1 {O(1)}
Sizebounds
0: f0->f7, Arg_0: 400 {O(1)}
0: f0->f7, Arg_1: 0 {O(1)}
0: f0->f7, Arg_2: Arg_2 {O(n)}
0: f0->f7, Arg_3: Arg_3 {O(n)}
0: f0->f7, Arg_4: Arg_4 {O(n)}
2: f10->f13, Arg_0: 400 {O(1)}
2: f10->f13, Arg_1: 4 {O(1)}
2: f10->f13, Arg_2: 4 {O(1)}
2: f10->f13, Arg_3: 0 {O(1)}
2: f10->f13, Arg_4: Arg_4+10 {O(n)}
9: f10->f7, Arg_0: 400 {O(1)}
9: f10->f7, Arg_1: 5 {O(1)}
9: f10->f7, Arg_2: 5 {O(1)}
9: f10->f7, Arg_3: 5 {O(1)}
9: f10->f7, Arg_4: 5 {O(1)}
3: f13->f16, Arg_0: 400 {O(1)}
3: f13->f16, Arg_1: 4 {O(1)}
3: f13->f16, Arg_2: 4 {O(1)}
3: f13->f16, Arg_3: 4 {O(1)}
3: f13->f16, Arg_4: 0 {O(1)}
8: f13->f10, Arg_0: 400 {O(1)}
8: f13->f10, Arg_1: 4 {O(1)}
8: f13->f10, Arg_2: 5 {O(1)}
8: f13->f10, Arg_3: 5 {O(1)}
8: f13->f10, Arg_4: 5 {O(1)}
4: f16->f16, Arg_0: 400 {O(1)}
4: f16->f16, Arg_1: 4 {O(1)}
4: f16->f16, Arg_2: 4 {O(1)}
4: f16->f16, Arg_3: 4 {O(1)}
4: f16->f16, Arg_4: 5 {O(1)}
5: f16->f16, Arg_0: 400 {O(1)}
5: f16->f16, Arg_1: 4 {O(1)}
5: f16->f16, Arg_2: 4 {O(1)}
5: f16->f16, Arg_3: 4 {O(1)}
5: f16->f16, Arg_4: 5 {O(1)}
6: f16->f31, Arg_0: 400 {O(1)}
6: f16->f31, Arg_1: 12 {O(1)}
6: f16->f31, Arg_2: 12 {O(1)}
6: f16->f31, Arg_3: 4 {O(1)}
6: f16->f31, Arg_4: 4 {O(1)}
7: f16->f13, Arg_0: 400 {O(1)}
7: f16->f13, Arg_1: 4 {O(1)}
7: f16->f13, Arg_2: 4 {O(1)}
7: f16->f13, Arg_3: 5 {O(1)}
7: f16->f13, Arg_4: 5 {O(1)}
1: f7->f10, Arg_0: 400 {O(1)}
1: f7->f10, Arg_1: 4 {O(1)}
1: f7->f10, Arg_2: 0 {O(1)}
1: f7->f10, Arg_3: Arg_3+5 {O(n)}
1: f7->f10, Arg_4: Arg_4+5 {O(n)}
10: f7->f31, Arg_0: 400 {O(1)}
10: f7->f31, Arg_1: 5 {O(1)}
10: f7->f31, Arg_2: 5 {O(1)}
10: f7->f31, Arg_3: 5 {O(1)}
10: f7->f31, Arg_4: 5 {O(1)}