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
Temp_Vars: K
Locations: f0, f16, f19, f33, f36, f52, f55, f59, f73
Transitions:
14:f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> f16(0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,0,Arg_8,Arg_9)
0:f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> f19(Arg_0,0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_0<=19
13:f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> f33(Arg_0,Arg_1,0,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:20<=Arg_0
12:f19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> f16(Arg_0+1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:20<=Arg_1
11:f19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> f19(Arg_0,Arg_1+1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,K,Arg_8,K):|:Arg_1<=19
1:f33(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> f36(Arg_0,Arg_1,Arg_2,0,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_2<=19
10:f33(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> f52(Arg_0,Arg_1,Arg_2,Arg_3,0,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:20<=Arg_2
9:f36(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> f33(Arg_0,Arg_1,Arg_2+1,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:20<=Arg_3
8:f36(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> f36(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5,Arg_6,K,K,Arg_9):|:Arg_3<=19
2:f52(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> f55(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,0,Arg_6,Arg_7,Arg_8,Arg_9):|:Arg_4<=19
7:f52(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> f73(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:20<=Arg_4
6:f55(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> f52(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9):|:20<=Arg_5
3:f55(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> f59(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,0,Arg_7,Arg_8,Arg_9):|:Arg_5<=19
5:f59(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> f55(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5+1,Arg_6,Arg_7,Arg_8,Arg_9):|:20<=Arg_6
4:f59(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9) -> f59(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6+1,Arg_7,Arg_8,Arg_9):|:Arg_6<=19

Preprocessing

Eliminate variables {K,Arg_7,Arg_8,Arg_9} that do not contribute to the problem

Found invariant Arg_1<=20 && Arg_1<=20+Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 for location f19

Found invariant 0<=Arg_5 && 0<=Arg_4+Arg_5 && 20<=Arg_2+Arg_5 && 20<=Arg_0+Arg_5 && 0<=Arg_4 && 20<=Arg_2+Arg_4 && 20<=Arg_0+Arg_4 && 20<=Arg_2 && 40<=Arg_0+Arg_2 && 20<=Arg_0 for location f55

Found invariant 0<=Arg_2 && 20<=Arg_0+Arg_2 && 20<=Arg_0 for location f33

Found invariant 20<=Arg_4 && 40<=Arg_2+Arg_4 && 40<=Arg_0+Arg_4 && 20<=Arg_2 && 40<=Arg_0+Arg_2 && 20<=Arg_0 for location f73

Found invariant 0<=Arg_4 && 20<=Arg_2+Arg_4 && 20<=Arg_0+Arg_4 && 20<=Arg_2 && 40<=Arg_0+Arg_2 && 20<=Arg_0 for location f52

Found invariant Arg_6<=20 && Arg_6<=20+Arg_5 && Arg_6<=20+Arg_4 && Arg_6<=Arg_2 && Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && 0<=Arg_4+Arg_6 && 20<=Arg_2+Arg_6 && 20<=Arg_0+Arg_6 && 0<=Arg_5 && 0<=Arg_4+Arg_5 && 20<=Arg_2+Arg_5 && 20<=Arg_0+Arg_5 && 0<=Arg_4 && 20<=Arg_2+Arg_4 && 20<=Arg_0+Arg_4 && 20<=Arg_2 && 40<=Arg_0+Arg_2 && 20<=Arg_0 for location f59

Found invariant Arg_3<=20 && Arg_3<=20+Arg_2 && Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 20<=Arg_0+Arg_3 && 0<=Arg_2 && 20<=Arg_0+Arg_2 && 20<=Arg_0 for location f36

Found invariant 0<=Arg_0 for location f16

Problem after Preprocessing

Start: f0
Program_Vars: Arg_0, Arg_1, Arg_2, Arg_3, Arg_4, Arg_5, Arg_6
Temp_Vars:
Locations: f0, f16, f19, f33, f36, f52, f55, f59, f73
Transitions:
33:f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f16(0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6)
34:f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f19(Arg_0,0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:0<=Arg_0 && Arg_0<=19
35:f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f33(Arg_0,Arg_1,0,Arg_3,Arg_4,Arg_5,Arg_6):|:0<=Arg_0 && 20<=Arg_0
37:f19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f16(Arg_0+1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_1<=20 && Arg_1<=20+Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && 20<=Arg_1
36:f19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f19(Arg_0,Arg_1+1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_1<=20 && Arg_1<=20+Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_1<=19
38:f33(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f36(Arg_0,Arg_1,Arg_2,0,Arg_4,Arg_5,Arg_6):|:0<=Arg_2 && 20<=Arg_0+Arg_2 && 20<=Arg_0 && Arg_2<=19
39:f33(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f52(Arg_0,Arg_1,Arg_2,Arg_3,0,Arg_5,Arg_6):|:0<=Arg_2 && 20<=Arg_0+Arg_2 && 20<=Arg_0 && 20<=Arg_2
41:f36(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f33(Arg_0,Arg_1,Arg_2+1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_3<=20 && Arg_3<=20+Arg_2 && Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 20<=Arg_0+Arg_3 && 0<=Arg_2 && 20<=Arg_0+Arg_2 && 20<=Arg_0 && 20<=Arg_3
40:f36(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f36(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5,Arg_6):|:Arg_3<=20 && Arg_3<=20+Arg_2 && Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 20<=Arg_0+Arg_3 && 0<=Arg_2 && 20<=Arg_0+Arg_2 && 20<=Arg_0 && Arg_3<=19
42:f52(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f55(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,0,Arg_6):|:0<=Arg_4 && 20<=Arg_2+Arg_4 && 20<=Arg_0+Arg_4 && 20<=Arg_2 && 40<=Arg_0+Arg_2 && 20<=Arg_0 && Arg_4<=19
43:f52(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f73(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:0<=Arg_4 && 20<=Arg_2+Arg_4 && 20<=Arg_0+Arg_4 && 20<=Arg_2 && 40<=Arg_0+Arg_2 && 20<=Arg_0 && 20<=Arg_4
45:f55(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f52(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1,Arg_5,Arg_6):|:0<=Arg_5 && 0<=Arg_4+Arg_5 && 20<=Arg_2+Arg_5 && 20<=Arg_0+Arg_5 && 0<=Arg_4 && 20<=Arg_2+Arg_4 && 20<=Arg_0+Arg_4 && 20<=Arg_2 && 40<=Arg_0+Arg_2 && 20<=Arg_0 && 20<=Arg_5
44:f55(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f59(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:0<=Arg_5 && 0<=Arg_4+Arg_5 && 20<=Arg_2+Arg_5 && 20<=Arg_0+Arg_5 && 0<=Arg_4 && 20<=Arg_2+Arg_4 && 20<=Arg_0+Arg_4 && 20<=Arg_2 && 40<=Arg_0+Arg_2 && 20<=Arg_0 && Arg_5<=19
47:f59(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f55(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5+1,Arg_6):|:Arg_6<=20 && Arg_6<=20+Arg_5 && Arg_6<=20+Arg_4 && Arg_6<=Arg_2 && Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && 0<=Arg_4+Arg_6 && 20<=Arg_2+Arg_6 && 20<=Arg_0+Arg_6 && 0<=Arg_5 && 0<=Arg_4+Arg_5 && 20<=Arg_2+Arg_5 && 20<=Arg_0+Arg_5 && 0<=Arg_4 && 20<=Arg_2+Arg_4 && 20<=Arg_0+Arg_4 && 20<=Arg_2 && 40<=Arg_0+Arg_2 && 20<=Arg_0 && 20<=Arg_6
46:f59(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f59(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6+1):|:Arg_6<=20 && Arg_6<=20+Arg_5 && Arg_6<=20+Arg_4 && Arg_6<=Arg_2 && Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && 0<=Arg_4+Arg_6 && 20<=Arg_2+Arg_6 && 20<=Arg_0+Arg_6 && 0<=Arg_5 && 0<=Arg_4+Arg_5 && 20<=Arg_2+Arg_5 && 20<=Arg_0+Arg_5 && 0<=Arg_4 && 20<=Arg_2+Arg_4 && 20<=Arg_0+Arg_4 && 20<=Arg_2 && 40<=Arg_0+Arg_2 && 20<=Arg_0 && Arg_6<=19

MPRF for transition 34:f16(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f19(Arg_0,0,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:0<=Arg_0 && Arg_0<=19 of depth 1:

new bound:

20 {O(1)}

MPRF:

f19 [19-Arg_0 ]
f16 [20-Arg_0 ]

MPRF for transition 36:f19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f19(Arg_0,Arg_1+1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_1<=20 && Arg_1<=20+Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && Arg_1<=19 of depth 1:

new bound:

400 {O(1)}

MPRF:

f19 [20-Arg_1 ]
f16 [-Arg_1 ]

MPRF for transition 37:f19(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f16(Arg_0+1,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_1<=20 && Arg_1<=20+Arg_0 && 0<=Arg_1 && 0<=Arg_0+Arg_1 && 0<=Arg_0 && 20<=Arg_1 of depth 1:

new bound:

20 {O(1)}

MPRF:

f19 [1 ]
f16 [0 ]

MPRF for transition 38:f33(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f36(Arg_0,Arg_1,Arg_2,0,Arg_4,Arg_5,Arg_6):|:0<=Arg_2 && 20<=Arg_0+Arg_2 && 20<=Arg_0 && Arg_2<=19 of depth 1:

new bound:

20 {O(1)}

MPRF:

f36 [19-Arg_2 ]
f33 [20-Arg_2 ]

MPRF for transition 40:f36(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f36(Arg_0,Arg_1,Arg_2,Arg_3+1,Arg_4,Arg_5,Arg_6):|:Arg_3<=20 && Arg_3<=20+Arg_2 && Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 20<=Arg_0+Arg_3 && 0<=Arg_2 && 20<=Arg_0+Arg_2 && 20<=Arg_0 && Arg_3<=19 of depth 1:

new bound:

400 {O(1)}

MPRF:

f36 [20-Arg_3 ]
f33 [-Arg_3 ]

MPRF for transition 41:f36(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f33(Arg_0,Arg_1,Arg_2+1,Arg_3,Arg_4,Arg_5,Arg_6):|:Arg_3<=20 && Arg_3<=20+Arg_2 && Arg_3<=Arg_0 && 0<=Arg_3 && 0<=Arg_2+Arg_3 && 20<=Arg_0+Arg_3 && 0<=Arg_2 && 20<=Arg_0+Arg_2 && 20<=Arg_0 && 20<=Arg_3 of depth 1:

new bound:

20 {O(1)}

MPRF:

f36 [1 ]
f33 [0 ]

MPRF for transition 42:f52(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f55(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,0,Arg_6):|:0<=Arg_4 && 20<=Arg_2+Arg_4 && 20<=Arg_0+Arg_4 && 20<=Arg_2 && 40<=Arg_0+Arg_2 && 20<=Arg_0 && Arg_4<=19 of depth 1:

new bound:

20 {O(1)}

MPRF:

f52 [20-Arg_4 ]
f59 [19-Arg_4 ]
f55 [19-Arg_4 ]

MPRF for transition 44:f55(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f59(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,0):|:0<=Arg_5 && 0<=Arg_4+Arg_5 && 20<=Arg_2+Arg_5 && 20<=Arg_0+Arg_5 && 0<=Arg_4 && 20<=Arg_2+Arg_4 && 20<=Arg_0+Arg_4 && 20<=Arg_2 && 40<=Arg_0+Arg_2 && 20<=Arg_0 && Arg_5<=19 of depth 1:

new bound:

400 {O(1)}

MPRF:

f52 [-Arg_5 ]
f59 [19-Arg_5 ]
f55 [20-Arg_5 ]

MPRF for transition 45:f55(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f52(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4+1,Arg_5,Arg_6):|:0<=Arg_5 && 0<=Arg_4+Arg_5 && 20<=Arg_2+Arg_5 && 20<=Arg_0+Arg_5 && 0<=Arg_4 && 20<=Arg_2+Arg_4 && 20<=Arg_0+Arg_4 && 20<=Arg_2 && 40<=Arg_0+Arg_2 && 20<=Arg_0 && 20<=Arg_5 of depth 1:

new bound:

20 {O(1)}

MPRF:

f52 [0 ]
f59 [1 ]
f55 [1 ]

MPRF for transition 46:f59(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f59(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6+1):|:Arg_6<=20 && Arg_6<=20+Arg_5 && Arg_6<=20+Arg_4 && Arg_6<=Arg_2 && Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && 0<=Arg_4+Arg_6 && 20<=Arg_2+Arg_6 && 20<=Arg_0+Arg_6 && 0<=Arg_5 && 0<=Arg_4+Arg_5 && 20<=Arg_2+Arg_5 && 20<=Arg_0+Arg_5 && 0<=Arg_4 && 20<=Arg_2+Arg_4 && 20<=Arg_0+Arg_4 && 20<=Arg_2 && 40<=Arg_0+Arg_2 && 20<=Arg_0 && Arg_6<=19 of depth 1:

new bound:

Arg_6+8421 {O(n)}

MPRF:

f52 [21-Arg_6 ]
f59 [21-Arg_6 ]
f55 [21-Arg_6 ]

MPRF for transition 47:f59(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6) -> f55(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5+1,Arg_6):|:Arg_6<=20 && Arg_6<=20+Arg_5 && Arg_6<=20+Arg_4 && Arg_6<=Arg_2 && Arg_6<=Arg_0 && 0<=Arg_6 && 0<=Arg_5+Arg_6 && 0<=Arg_4+Arg_6 && 20<=Arg_2+Arg_6 && 20<=Arg_0+Arg_6 && 0<=Arg_5 && 0<=Arg_4+Arg_5 && 20<=Arg_2+Arg_5 && 20<=Arg_0+Arg_5 && 0<=Arg_4 && 20<=Arg_2+Arg_4 && 20<=Arg_0+Arg_4 && 20<=Arg_2 && 40<=Arg_0+Arg_2 && 20<=Arg_0 && 20<=Arg_6 of depth 1:

new bound:

400 {O(1)}

MPRF:

f52 [0 ]
f59 [1 ]
f55 [0 ]

All Bounds

Timebounds

Overall timebound:Arg_6+10145 {O(n)}
33: f0->f16: 1 {O(1)}
34: f16->f19: 20 {O(1)}
35: f16->f33: 1 {O(1)}
36: f19->f19: 400 {O(1)}
37: f19->f16: 20 {O(1)}
38: f33->f36: 20 {O(1)}
39: f33->f52: 1 {O(1)}
40: f36->f36: 400 {O(1)}
41: f36->f33: 20 {O(1)}
42: f52->f55: 20 {O(1)}
43: f52->f73: 1 {O(1)}
44: f55->f59: 400 {O(1)}
45: f55->f52: 20 {O(1)}
46: f59->f59: Arg_6+8421 {O(n)}
47: f59->f55: 400 {O(1)}

Costbounds

Overall costbound: Arg_6+10145 {O(n)}
33: f0->f16: 1 {O(1)}
34: f16->f19: 20 {O(1)}
35: f16->f33: 1 {O(1)}
36: f19->f19: 400 {O(1)}
37: f19->f16: 20 {O(1)}
38: f33->f36: 20 {O(1)}
39: f33->f52: 1 {O(1)}
40: f36->f36: 400 {O(1)}
41: f36->f33: 20 {O(1)}
42: f52->f55: 20 {O(1)}
43: f52->f73: 1 {O(1)}
44: f55->f59: 400 {O(1)}
45: f55->f52: 20 {O(1)}
46: f59->f59: Arg_6+8421 {O(n)}
47: f59->f55: 400 {O(1)}

Sizebounds

33: f0->f16, Arg_0: 0 {O(1)}
33: f0->f16, Arg_1: Arg_1 {O(n)}
33: f0->f16, Arg_2: Arg_2 {O(n)}
33: f0->f16, Arg_3: Arg_3 {O(n)}
33: f0->f16, Arg_4: Arg_4 {O(n)}
33: f0->f16, Arg_5: Arg_5 {O(n)}
33: f0->f16, Arg_6: Arg_6 {O(n)}
34: f16->f19, Arg_0: 19 {O(1)}
34: f16->f19, Arg_1: 0 {O(1)}
34: f16->f19, Arg_2: Arg_2 {O(n)}
34: f16->f19, Arg_3: Arg_3 {O(n)}
34: f16->f19, Arg_4: Arg_4 {O(n)}
34: f16->f19, Arg_5: Arg_5 {O(n)}
34: f16->f19, Arg_6: Arg_6 {O(n)}
35: f16->f33, Arg_0: 20 {O(1)}
35: f16->f33, Arg_1: 20 {O(1)}
35: f16->f33, Arg_2: 0 {O(1)}
35: f16->f33, Arg_3: Arg_3 {O(n)}
35: f16->f33, Arg_4: Arg_4 {O(n)}
35: f16->f33, Arg_5: Arg_5 {O(n)}
35: f16->f33, Arg_6: Arg_6 {O(n)}
36: f19->f19, Arg_0: 19 {O(1)}
36: f19->f19, Arg_1: 20 {O(1)}
36: f19->f19, Arg_2: Arg_2 {O(n)}
36: f19->f19, Arg_3: Arg_3 {O(n)}
36: f19->f19, Arg_4: Arg_4 {O(n)}
36: f19->f19, Arg_5: Arg_5 {O(n)}
36: f19->f19, Arg_6: Arg_6 {O(n)}
37: f19->f16, Arg_0: 20 {O(1)}
37: f19->f16, Arg_1: 20 {O(1)}
37: f19->f16, Arg_2: Arg_2 {O(n)}
37: f19->f16, Arg_3: Arg_3 {O(n)}
37: f19->f16, Arg_4: Arg_4 {O(n)}
37: f19->f16, Arg_5: Arg_5 {O(n)}
37: f19->f16, Arg_6: Arg_6 {O(n)}
38: f33->f36, Arg_0: 20 {O(1)}
38: f33->f36, Arg_1: 20 {O(1)}
38: f33->f36, Arg_2: 19 {O(1)}
38: f33->f36, Arg_3: 0 {O(1)}
38: f33->f36, Arg_4: Arg_4 {O(n)}
38: f33->f36, Arg_5: Arg_5 {O(n)}
38: f33->f36, Arg_6: Arg_6 {O(n)}
39: f33->f52, Arg_0: 20 {O(1)}
39: f33->f52, Arg_1: 20 {O(1)}
39: f33->f52, Arg_2: 20 {O(1)}
39: f33->f52, Arg_3: 20 {O(1)}
39: f33->f52, Arg_4: 0 {O(1)}
39: f33->f52, Arg_5: Arg_5 {O(n)}
39: f33->f52, Arg_6: Arg_6 {O(n)}
40: f36->f36, Arg_0: 20 {O(1)}
40: f36->f36, Arg_1: 20 {O(1)}
40: f36->f36, Arg_2: 19 {O(1)}
40: f36->f36, Arg_3: 20 {O(1)}
40: f36->f36, Arg_4: Arg_4 {O(n)}
40: f36->f36, Arg_5: Arg_5 {O(n)}
40: f36->f36, Arg_6: Arg_6 {O(n)}
41: f36->f33, Arg_0: 20 {O(1)}
41: f36->f33, Arg_1: 20 {O(1)}
41: f36->f33, Arg_2: 20 {O(1)}
41: f36->f33, Arg_3: 20 {O(1)}
41: f36->f33, Arg_4: Arg_4 {O(n)}
41: f36->f33, Arg_5: Arg_5 {O(n)}
41: f36->f33, Arg_6: Arg_6 {O(n)}
42: f52->f55, Arg_0: 20 {O(1)}
42: f52->f55, Arg_1: 20 {O(1)}
42: f52->f55, Arg_2: 20 {O(1)}
42: f52->f55, Arg_3: 20 {O(1)}
42: f52->f55, Arg_4: 19 {O(1)}
42: f52->f55, Arg_5: 0 {O(1)}
42: f52->f55, Arg_6: Arg_6+20 {O(n)}
43: f52->f73, Arg_0: 20 {O(1)}
43: f52->f73, Arg_1: 20 {O(1)}
43: f52->f73, Arg_2: 20 {O(1)}
43: f52->f73, Arg_3: 20 {O(1)}
43: f52->f73, Arg_4: 20 {O(1)}
43: f52->f73, Arg_5: 20 {O(1)}
43: f52->f73, Arg_6: 20 {O(1)}
44: f55->f59, Arg_0: 20 {O(1)}
44: f55->f59, Arg_1: 20 {O(1)}
44: f55->f59, Arg_2: 20 {O(1)}
44: f55->f59, Arg_3: 20 {O(1)}
44: f55->f59, Arg_4: 19 {O(1)}
44: f55->f59, Arg_5: 19 {O(1)}
44: f55->f59, Arg_6: 0 {O(1)}
45: f55->f52, Arg_0: 20 {O(1)}
45: f55->f52, Arg_1: 20 {O(1)}
45: f55->f52, Arg_2: 20 {O(1)}
45: f55->f52, Arg_3: 20 {O(1)}
45: f55->f52, Arg_4: 20 {O(1)}
45: f55->f52, Arg_5: 20 {O(1)}
45: f55->f52, Arg_6: 20 {O(1)}
46: f59->f59, Arg_0: 20 {O(1)}
46: f59->f59, Arg_1: 20 {O(1)}
46: f59->f59, Arg_2: 20 {O(1)}
46: f59->f59, Arg_3: 20 {O(1)}
46: f59->f59, Arg_4: 19 {O(1)}
46: f59->f59, Arg_5: 19 {O(1)}
46: f59->f59, Arg_6: 20 {O(1)}
47: f59->f55, Arg_0: 20 {O(1)}
47: f59->f55, Arg_1: 20 {O(1)}
47: f59->f55, Arg_2: 20 {O(1)}
47: f59->f55, Arg_3: 20 {O(1)}
47: f59->f55, Arg_4: 19 {O(1)}
47: f59->f55, Arg_5: 20 {O(1)}
47: f59->f55, Arg_6: 20 {O(1)}